7.075 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.066 * * * [progress]: [2/2] Setting up program.
0.071 * [progress]: [Phase 2 of 3] Improving.
0.071 * [simplify]: Simplifying:
  (/ (* 6.0 (- x 1.0)) (+ (+ x 1.0) (* 4.0 (sqrt x))))
0.071 * * [simplify]: Extracting # 0 : cost  0
0.071 * * [simplify]: Extracting # 1 : cost  0
0.072 * * [simplify]: Extracting # 2 : cost  0
0.072 * * [simplify]: Extracting # 3 : cost  0
0.072 * * [simplify]: Extracting # 4 : cost  0
0.072 * * [simplify]: Extracting # 5 : cost  0
0.072 * * [simplify]: iteration  0 :  11  enodes  (cost  14 )
0.076 * * [simplify]: Extracting # 0 : cost  0
0.076 * * [simplify]: Extracting # 1 : cost  0
0.076 * * [simplify]: Extracting # 2 : cost  0
0.076 * * [simplify]: iteration  1 :  21  enodes  (cost  14 )
0.085 * * [simplify]: Extracting # 0 : cost  0
0.085 * * [simplify]: Extracting # 1 : cost  0
0.085 * * [simplify]: Extracting # 2 : cost  0
0.085 * * [simplify]: iteration  2 :  41  enodes  (cost  13 )
0.102 * * [simplify]: Extracting # 0 : cost  0
0.103 * * [simplify]: Extracting # 1 : cost  0
0.103 * * [simplify]: Extracting # 2 : cost  0
0.103 * * [simplify]: iteration  3 :  69  enodes  (cost  13 )
0.130 * * [simplify]: Extracting # 0 : cost  0
0.130 * * [simplify]: Extracting # 1 : cost  0
0.130 * * [simplify]: Extracting # 2 : cost  0
0.131 * * [simplify]: iteration  4 :  94  enodes  (cost  13 )
0.165 * * [simplify]: Extracting # 0 : cost  0
0.165 * * [simplify]: Extracting # 1 : cost  0
0.165 * * [simplify]: Extracting # 2 : cost  0
0.166 * * [simplify]: iteration  5 :  118  enodes  (cost  13 )
0.207 * * [simplify]: Extracting # 0 : cost  0
0.207 * * [simplify]: iteration  6 :  131  enodes  (cost  13 )
0.231 * * [simplify]: Extracting # 0 : cost  0
0.231 * * [simplify]: iteration  7 :  133  enodes  (cost  13 )
0.259 * * [simplify]: Extracting # 0 : cost  0
0.260 * * [simplify]: iteration done:  133  enodes  (cost  13 )
0.260 * [simplify]: Simplified to:
  (/ 6.0 (/ (fma (sqrt x) 4.0 (+ x 1.0)) (- x 1.0)))
0.265 * * [progress]: iteration 1 / 4
0.265 * * * [progress]: picking best candidate
0.277 * * * * [pick]: Picked  #<alt (λ (x) (/ 6.0 (/ (fma (sqrt x) 4.0 (+ x 1.0)) (- x 1.0))))>
0.277 * * * [progress]: localizing error
0.297 * * * [progress]: generating rewritten candidates
0.297 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.333 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.353 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1)
0.369 * * * [progress]: generating series expansions
0.369 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.369 * [backup-simplify]: Simplify (/ 6.0 (/ (fma (sqrt x) 4.0 (+ x 1.0)) (- x 1.0))) into (* 6.0 (/ (- x 1.0) (fma (sqrt x) 4.0 (+ x 1.0))))
0.369 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- x 1.0) (fma (sqrt x) 4.0 (+ x 1.0)))) in (x) around 0
0.369 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- x 1.0) (fma (sqrt x) 4.0 (+ x 1.0)))) in x
0.369 * [taylor]: Taking taylor expansion of 6.0 in x
0.369 * [backup-simplify]: Simplify 6.0 into 6.0
0.369 * [taylor]: Taking taylor expansion of (/ (- x 1.0) (fma (sqrt x) 4.0 (+ x 1.0))) in x
0.369 * [taylor]: Taking taylor expansion of (- x 1.0) in x
0.369 * [taylor]: Taking taylor expansion of x in x
0.369 * [backup-simplify]: Simplify 0 into 0
0.369 * [backup-simplify]: Simplify 1 into 1
0.369 * [taylor]: Taking taylor expansion of 1.0 in x
0.370 * [backup-simplify]: Simplify 1.0 into 1.0
0.370 * [taylor]: Taking taylor expansion of (fma (sqrt x) 4.0 (+ x 1.0)) in x
0.370 * [taylor]: Rewrote expression to (+ (* (sqrt x) 4.0) (+ x 1.0))
0.370 * [taylor]: Taking taylor expansion of (* (sqrt x) 4.0) in x
0.370 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.370 * [taylor]: Taking taylor expansion of x in x
0.370 * [backup-simplify]: Simplify 0 into 0
0.370 * [backup-simplify]: Simplify 1 into 1
0.371 * [backup-simplify]: Simplify (sqrt 0) into 0
0.372 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
0.372 * [taylor]: Taking taylor expansion of 4.0 in x
0.372 * [backup-simplify]: Simplify 4.0 into 4.0
0.372 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.372 * [taylor]: Taking taylor expansion of x in x
0.372 * [backup-simplify]: Simplify 0 into 0
0.372 * [backup-simplify]: Simplify 1 into 1
0.372 * [taylor]: Taking taylor expansion of 1.0 in x
0.372 * [backup-simplify]: Simplify 1.0 into 1.0
0.373 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.374 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
0.374 * [backup-simplify]: Simplify (* 0 4.0) into 0
0.374 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.375 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.376 * [backup-simplify]: Simplify (/ (- 1.0) 1.0) into -1.0
0.376 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- x 1.0) (fma (sqrt x) 4.0 (+ x 1.0)))) in x
0.376 * [taylor]: Taking taylor expansion of 6.0 in x
0.376 * [backup-simplify]: Simplify 6.0 into 6.0
0.376 * [taylor]: Taking taylor expansion of (/ (- x 1.0) (fma (sqrt x) 4.0 (+ x 1.0))) in x
0.376 * [taylor]: Taking taylor expansion of (- x 1.0) in x
0.376 * [taylor]: Taking taylor expansion of x in x
0.376 * [backup-simplify]: Simplify 0 into 0
0.376 * [backup-simplify]: Simplify 1 into 1
0.376 * [taylor]: Taking taylor expansion of 1.0 in x
0.376 * [backup-simplify]: Simplify 1.0 into 1.0
0.376 * [taylor]: Taking taylor expansion of (fma (sqrt x) 4.0 (+ x 1.0)) in x
0.376 * [taylor]: Rewrote expression to (+ (* (sqrt x) 4.0) (+ x 1.0))
0.376 * [taylor]: Taking taylor expansion of (* (sqrt x) 4.0) in x
0.376 * [taylor]: Taking taylor expansion of (sqrt x) in x
0.376 * [taylor]: Taking taylor expansion of x in x
0.376 * [backup-simplify]: Simplify 0 into 0
0.376 * [backup-simplify]: Simplify 1 into 1
0.377 * [backup-simplify]: Simplify (sqrt 0) into 0
0.378 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
0.378 * [taylor]: Taking taylor expansion of 4.0 in x
0.378 * [backup-simplify]: Simplify 4.0 into 4.0
0.378 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.378 * [taylor]: Taking taylor expansion of x in x
0.378 * [backup-simplify]: Simplify 0 into 0
0.378 * [backup-simplify]: Simplify 1 into 1
0.378 * [taylor]: Taking taylor expansion of 1.0 in x
0.379 * [backup-simplify]: Simplify 1.0 into 1.0
0.379 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.380 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
0.380 * [backup-simplify]: Simplify (* 0 4.0) into 0
0.381 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.382 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
0.382 * [backup-simplify]: Simplify (/ (- 1.0) 1.0) into -1.0
0.383 * [backup-simplify]: Simplify (* 6.0 -1.0) into -6.0
0.383 * [backup-simplify]: Simplify -6.0 into -6.0
0.383 * [backup-simplify]: Simplify (- 0) into 0
0.383 * [backup-simplify]: Simplify (+ 1 0) into 1
0.384 * [backup-simplify]: Simplify (+ (* 0 0) (* +nan.0 4.0)) into (- +nan.0)
0.385 * [backup-simplify]: Simplify (+ 1 0) into 1
0.385 * [backup-simplify]: Simplify (+ (- +nan.0) 1) into (- +nan.0)
0.387 * [backup-simplify]: Simplify (- (/ 1 1.0) (+ (* -1.0 (/ (- +nan.0) 1.0)))) into (- +nan.0)
0.389 * [backup-simplify]: Simplify (+ (* 6.0 (- +nan.0)) (* 0 -1.0)) into (- +nan.0)
0.389 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
0.389 * [backup-simplify]: Simplify (- 0) into 0
0.389 * [backup-simplify]: Simplify (+ 0 0) into 0
0.391 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
0.393 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 0) (* +nan.0 4.0))) into (- +nan.0)
0.393 * [backup-simplify]: Simplify (+ 0 0) into 0
0.394 * [backup-simplify]: Simplify (+ (- +nan.0) 0) into (- +nan.0)
0.403 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* -1.0 (/ (- +nan.0) 1.0)) (* (- +nan.0) (/ (- +nan.0) 1.0)))) into (- +nan.0)
0.405 * [backup-simplify]: Simplify (+ (* 6.0 (- +nan.0)) (+ (* 0 (- +nan.0)) (* 0 -1.0))) into (- +nan.0)
0.406 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)