5.682 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.025 * * * [progress]: [2/2] Setting up program.
0.029 * [progress]: [Phase 2 of 3] Improving.
0.029 * [simplify]: Simplifying:
  (* 0.70711 (- (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* x (+ 0.99229 (* x 0.04481))))) x))
0.029 * * [simplify]: iteration 0: 16 enodes
0.032 * * [simplify]: iteration 1: 31 enodes
0.038 * * [simplify]: iteration 2: 60 enodes
0.047 * * [simplify]: iteration 3: 94 enodes
0.073 * * [simplify]: iteration 4: 126 enodes
0.100 * * [simplify]: iteration 5: 140 enodes
0.118 * * [simplify]: iteration 6: 156 enodes
0.151 * * [simplify]: iteration 7: 201 enodes
0.216 * * [simplify]: iteration 8: 296 enodes
0.278 * * [simplify]: iteration 9: 359 enodes
0.388 * * [simplify]: iteration 10: 458 enodes
0.563 * * [simplify]: iteration 11: 659 enodes
0.807 * * [simplify]: iteration 12: 1018 enodes
2.401 * * [simplify]: iteration 13: 4505 enodes
4.133 * * [simplify]: iteration complete: 5000 enodes
4.133 * * [simplify]: Extracting #0: cost 1 inf + 0
4.134 * * [simplify]: Extracting #1: cost 179 inf + 0
4.141 * * [simplify]: Extracting #2: cost 1254 inf + 25
4.152 * * [simplify]: Extracting #3: cost 915 inf + 1587
4.162 * * [simplify]: Extracting #4: cost 777 inf + 2132
4.172 * * [simplify]: Extracting #5: cost 432 inf + 6102
4.182 * * [simplify]: Extracting #6: cost 12 inf + 12156
4.193 * * [simplify]: Extracting #7: cost 0 inf + 12370
4.202 * [simplify]: Simplified to:
  (* 0.70711 (- (/ (fma 0.27061 x 2.30753) (fma x (fma x 0.04481 0.99229) 1.0)) x))
4.214 * * [progress]: iteration 1 / 4
4.215 * * * [progress]: picking best candidate