0.162 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.028 * * * [progress]: [2/2] Setting up program. 0.031 * [progress]: [Phase 2 of 3] Improving. 0.031 * [simplify]: Simplifying: (+ x (/ (* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))) 0.031 * [simplify]: Sending expressions to egg_math: (+ h2 (/ (* h1 (+ (* (+ (* h0 (/ 4992947066835229.0 7.205759403792794e+16)) (/ 4429125951667411.0 9007199254740992.0)) h0) (/ 5029535718965825.0 18014398509481984.0))) (+ (* (+ h0 (/ 1692356830115869.0 281474976710656.0)) h0) (/ 7544303578448747.0 2251799813685248.0))))