0.256 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.128 * * * [progress]: [2/2] Setting up program.
0.136 * [progress]: [Phase 2 of 3] Improving.
0.136 * [simplify]: Simplifying:
  (/ x (+ x (* y (exp (* 2.0 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5.0 6.0)) (/ 2.0 (* t 3.0))))))))))
0.136 * * [simplify]: iteration 0: 28 enodes
0.145 * * [simplify]: iteration 1: 50 enodes
0.159 * * [simplify]: iteration 2: 106 enodes
0.218 * * [simplify]: iteration 3: 373 enodes
0.461 * * [simplify]: iteration 4: 1817 enodes
1.102 * * [simplify]: iteration complete: 5001 enodes
1.102 * * [simplify]: Extracting #0: cost 1 inf + 0
1.103 * * [simplify]: Extracting #1: cost 3 inf + 0
1.103 * * [simplify]: Extracting #2: cost 3 inf + 1
1.103 * * [simplify]: Extracting #3: cost 17 inf + 1
1.103 * * [simplify]: Extracting #4: cost 200 inf + 2
1.105 * * [simplify]: Extracting #5: cost 995 inf + 5
1.110 * * [simplify]: Extracting #6: cost 1875 inf + 106
1.117 * * [simplify]: Extracting #7: cost 1691 inf + 1270
1.123 * * [simplify]: Extracting #8: cost 811 inf + 11530
1.130 * * [simplify]: Extracting #9: cost 84 inf + 23377
1.140 * * [simplify]: Extracting #10: cost 3 inf + 25028
1.146 * * [simplify]: Extracting #11: cost 0 inf + 25135
1.151 * [simplify]: Simplified to:
  (/ x (+ (* y (exp (* 2.0 (+ (* z (/ (sqrt (+ a t)) t)) (* (- c b) (+ (- a (/ (/ 2.0 3.0) t)) (/ 5.0 6.0))))))) x))
1.160 * * [progress]: iteration 1 / 4
1.160 * * * [progress]: picking best candidate