34.172 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.049 * * * [progress]: [2/2] Setting up program.
0.055 * [progress]: [Phase 2 of 3] Improving.
0.056 * [simplify]: Simplifying:
  (* (* (/ PI 2.0) (/ 1.0 (- (* b b) (* a a)))) (- (/ 1.0 a) (/ 1.0 b)))
0.056 * * [simplify]: iteration 0: 15 enodes
0.063 * * [simplify]: iteration 1: 31 enodes
0.077 * * [simplify]: iteration 2: 89 enodes
0.168 * * [simplify]: iteration 3: 370 enodes
0.654 * * [simplify]: iteration 4: 1566 enodes