How To Solve Function Machines