0.263 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.024 * * * [progress]: [2/2] Setting up program. 0.026 * [progress]: [Phase 2 of 3] Improving. 0.027 * [simplify]: Simplifying: (* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x)) 0.027 * [simplify]: Sending expressions to egg_math: (* (/ 6369080665019903.0 9007199254740992.0) (- (/ (+ (/ 162377988252285.0 70368744177664.0) (* h0 (/ 609359547581365.0 2251799813685248.0))) (+ 1.0 (* h0 (+ (/ 8937753748486939.0 9007199254740992.0) (* h0 (/ 3228900788839551.0 7.205759403792794e+16)))))) h0))