There's great work on this called differential dataflow. You have to trace at a finer grain than cells, but can then avoid lots of recalculation.