0.933 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.251 * * * [progress]: [2/2] Setting up program. 0.261 * [progress]: [Phase 2 of 3] Improving. 0.297 * [simplify]: Simplifying: (- (- (+ 3.0 (/ 2.0 (* r r))) (/ (* (* 0.125 (- 3.0 (* 2.0 v))) (* (* (* w w) r) r)) (- 1.0 v))) 4.5) 0.297 * [simplify]: Sending expressions to egg_math: (- (- (+ 3.0 (/ 2.0 (* h1 h1))) (/ (* (* (/ 1.0 8.0) (- 3.0 (* 2.0 h0))) (* (* (* h2 h2) h1) h1)) (- 1.0 h0))) (/ 9.0 2.0))