Mathematical Astronomy on the Tech Tree