FunSearch on the Tech Tree