26.476 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.174 * * * [progress]: [2/2] Setting up program.
0.185 * [progress]: [Phase 2 of 3] Improving.
0.186 * [simplify]: Simplifying:
  (+ (cbrt (* (/ 1.0 (* 2.0 a)) (+ (- g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1.0 (* 2.0 a)) (- (- g) (sqrt (- (* g g) (* h h)))))))
0.186 * * [simplify]: iteration 0: 19 enodes
0.194 * * [simplify]: iteration 1: 43 enodes
0.215 * * [simplify]: iteration 2: 121 enodes
0.278 * * [simplify]: iteration 3: 270 enodes
0.438 * * [simplify]: iteration 4: 542 enodes
0.761 * * [simplify]: iteration 5: 849 enodes
1.248 * * [simplify]: iteration 6: 1071 enodes
1.805 * * [simplify]: iteration 7: 1307 enodes
2.906 * * [simplify]: iteration 8: 2118 enodes