2.157 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.211 * * * [progress]: [2/2] Setting up program.
0.215 * [progress]: [Phase 2 of 3] Improving.
0.215 * [simplify]: Simplifying:
  (* 100.0 (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n)))
0.215 * * [simplify]: iteration 0: 10 enodes
0.217 * * [simplify]: iteration 1: 25 enodes
0.221 * * [simplify]: iteration 2: 60 enodes
0.236 * * [simplify]: iteration 3: 144 enodes
0.290 * * [simplify]: iteration 4: 364 enodes
0.452 * * [simplify]: iteration 5: 1593 enodes
1.505 * * [simplify]: iteration complete: 5000 enodes
1.506 * * [simplify]: Extracting #0: cost 1 inf + 0
1.506 * * [simplify]: Extracting #1: cost 126 inf + 0
1.509 * * [simplify]: Extracting #2: cost 1278 inf + 22
1.516 * * [simplify]: Extracting #3: cost 1588 inf + 220
1.528 * * [simplify]: Extracting #4: cost 1264 inf + 4306
1.546 * * [simplify]: Extracting #5: cost 527 inf + 21765
1.558 * * [simplify]: Extracting #6: cost 55 inf + 33554
1.568 * * [simplify]: Extracting #7: cost 0 inf + 32825
1.575 * * [simplify]: Extracting #8: cost 0 inf + 32663
1.581 * [simplify]: Simplified to:
  (/ n (/ (/ i 100.0) (- (pow (+ 1.0 (/ i n)) n) 1.0)))
1.586 * * [progress]: iteration 1 / 4
1.586 * * * [progress]: picking best candidate