6.707 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.049 * * * [progress]: [2/2] Setting up program.
0.051 * [progress]: [Phase 2 of 3] Improving.
0.051 * [simplify]: Simplifying:
  (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))
0.051 * * [simplify]: Extracting # 0 : cost  0
0.051 * * [simplify]: Extracting # 1 : cost  0
0.051 * * [simplify]: Extracting # 2 : cost  0
0.051 * * [simplify]: Extracting # 3 : cost  0
0.051 * * [simplify]: Extracting # 4 : cost  0
0.051 * * [simplify]: Extracting # 5 : cost  0
0.051 * * [simplify]: Extracting # 6 : cost  0
0.051 * * [simplify]: iteration  0 :  11  enodes  (cost  19 )
0.053 * * [simplify]: Extracting # 0 : cost  0
0.054 * * [simplify]: Extracting # 1 : cost  0
0.054 * * [simplify]: Extracting # 2 : cost  0
0.054 * * [simplify]: iteration  1 :  28  enodes  (cost  18 )
0.061 * * [simplify]: Extracting # 0 : cost  0
0.062 * * [simplify]: Extracting # 1 : cost  0
0.062 * * [simplify]: Extracting # 2 : cost  0
0.062 * * [simplify]: iteration  2 :  91  enodes  (cost  16 )
0.105 * * [simplify]: Extracting # 0 : cost  0
0.105 * * [simplify]: Extracting # 1 : cost  0
0.106 * * [simplify]: Extracting # 2 : cost  0
0.106 * * [simplify]: iteration  3 :  300  enodes  (cost  16 )
0.819 * * [simplify]: Extracting # 0 : cost  0
0.820 * * [simplify]: Extracting # 1 : cost  0
0.821 * * [simplify]: Extracting # 2 : cost  0
0.822 * * [simplify]: Extracting # 3 : cost  0
0.823 * * [simplify]: Extracting # 4 : cost  0
0.824 * * [simplify]: iteration  4 :  946  enodes  (cost  16 )
2.079 * * [simplify]: Extracting # 0 : cost  0
2.082 * * [simplify]: Extracting # 1 : cost  0
2.089 * * [simplify]: Extracting # 2 : cost  0
2.091 * * [simplify]: Extracting # 3 : cost  0
2.092 * * [simplify]: Extracting # 4 : cost  0
2.094 * * [simplify]: iteration  5 :  2331  enodes  (cost  16 )
6.270 * * [simplify]: Extracting # 0 : cost  0
6.283 * * [simplify]: Extracting # 1 : cost  0
6.288 * * [simplify]: Extracting # 2 : cost  0
6.292 * * [simplify]: Extracting # 3 : cost  0
6.296 * * [simplify]: iteration done:  5000  enodes  (cost  16 )
6.296 * [simplify]: Simplified to:
  (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16))))
6.300 * * [progress]: iteration 1 / 4
6.300 * * * [progress]: picking best candidate
6.302 * * * * [pick]: Picked  #<alt (λ (t) (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16)))))>
6.302 * * * [progress]: localizing error
6.312 * * * [progress]: generating rewritten candidates
6.312 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
6.312 * * * [progress]: generating series expansions
6.312 * * * * [progress]: [ 1 / 1 ] generating series at (2)
6.313 * [backup-simplify]: Simplify (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16)))) into (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- (+ (* 4e-16 t) 1.0)))
6.313 * [approximate]: Taking taylor expansion of (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- (+ (* 4e-16 t) 1.0))) in (t) around 0
6.313 * [taylor]: Taking taylor expansion of (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- (+ (* 4e-16 t) 1.0))) in t
6.314 * [taylor]: Rewrote expression to (+ (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) (- (+ (* 4e-16 t) 1.0)))
6.314 * [taylor]: Taking taylor expansion of (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) in t
6.314 * [taylor]: Taking taylor expansion of (fma t 2e-16 1.0) in t
6.314 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1.0)
6.314 * [taylor]: Taking taylor expansion of (* t 2e-16) in t
6.314 * [taylor]: Taking taylor expansion of t in t
6.314 * [backup-simplify]: Simplify 0 into 0
6.314 * [backup-simplify]: Simplify 1 into 1
6.314 * [taylor]: Taking taylor expansion of 2e-16 in t
6.314 * [backup-simplify]: Simplify 2e-16 into 2e-16
6.314 * [taylor]: Taking taylor expansion of 1.0 in t
6.314 * [backup-simplify]: Simplify 1.0 into 1.0
6.314 * [taylor]: Taking taylor expansion of (fma t 2e-16 1.0) in t
6.314 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1.0)
6.314 * [taylor]: Taking taylor expansion of (* t 2e-16) in t
6.314 * [taylor]: Taking taylor expansion of t in t
6.314 * [backup-simplify]: Simplify 0 into 0
6.314 * [backup-simplify]: Simplify 1 into 1
6.314 * [taylor]: Taking taylor expansion of 2e-16 in t
6.314 * [backup-simplify]: Simplify 2e-16 into 2e-16
6.314 * [taylor]: Taking taylor expansion of 1.0 in t
6.314 * [backup-simplify]: Simplify 1.0 into 1.0
6.314 * [taylor]: Taking taylor expansion of (- (+ (* 4e-16 t) 1.0)) in t
6.314 * [taylor]: Taking taylor expansion of (+ (* 4e-16 t) 1.0) in t
6.314 * [taylor]: Taking taylor expansion of (* 4e-16 t) in t
6.314 * [taylor]: Taking taylor expansion of 4e-16 in t
6.314 * [backup-simplify]: Simplify 4e-16 into 4e-16
6.314 * [taylor]: Taking taylor expansion of t in t
6.314 * [backup-simplify]: Simplify 0 into 0
6.314 * [backup-simplify]: Simplify 1 into 1
6.314 * [taylor]: Taking taylor expansion of 1.0 in t
6.314 * [backup-simplify]: Simplify 1.0 into 1.0
6.314 * [taylor]: Taking taylor expansion of (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- (+ (* 4e-16 t) 1.0))) in t
6.314 * [taylor]: Rewrote expression to (+ (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) (- (+ (* 4e-16 t) 1.0)))
6.314 * [taylor]: Taking taylor expansion of (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) in t
6.314 * [taylor]: Taking taylor expansion of (fma t 2e-16 1.0) in t
6.315 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1.0)
6.315 * [taylor]: Taking taylor expansion of (* t 2e-16) in t
6.315 * [taylor]: Taking taylor expansion of t in t
6.315 * [backup-simplify]: Simplify 0 into 0
6.315 * [backup-simplify]: Simplify 1 into 1
6.315 * [taylor]: Taking taylor expansion of 2e-16 in t
6.315 * [backup-simplify]: Simplify 2e-16 into 2e-16
6.315 * [taylor]: Taking taylor expansion of 1.0 in t
6.315 * [backup-simplify]: Simplify 1.0 into 1.0
6.315 * [taylor]: Taking taylor expansion of (fma t 2e-16 1.0) in t
6.315 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1.0)
6.315 * [taylor]: Taking taylor expansion of (* t 2e-16) in t
6.315 * [taylor]: Taking taylor expansion of t in t
6.315 * [backup-simplify]: Simplify 0 into 0
6.315 * [backup-simplify]: Simplify 1 into 1
6.315 * [taylor]: Taking taylor expansion of 2e-16 in t
6.315 * [backup-simplify]: Simplify 2e-16 into 2e-16
6.315 * [taylor]: Taking taylor expansion of 1.0 in t
6.315 * [backup-simplify]: Simplify 1.0 into 1.0
6.315 * [taylor]: Taking taylor expansion of (- (+ (* 4e-16 t) 1.0)) in t
6.315 * [taylor]: Taking taylor expansion of (+ (* 4e-16 t) 1.0) in t
6.315 * [taylor]: Taking taylor expansion of (* 4e-16 t) in t
6.315 * [taylor]: Taking taylor expansion of 4e-16 in t
6.315 * [backup-simplify]: Simplify 4e-16 into 4e-16
6.315 * [taylor]: Taking taylor expansion of t in t
6.315 * [backup-simplify]: Simplify 0 into 0
6.315 * [backup-simplify]: Simplify 1 into 1
6.315 * [taylor]: Taking taylor expansion of 1.0 in t
6.315 * [backup-simplify]: Simplify 1.0 into 1.0
6.316 * [backup-simplify]: Simplify (* 0 2e-16) into 0
6.316 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.316 * [backup-simplify]: Simplify (* 0 2e-16) into 0
6.316 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.317 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
6.317 * [backup-simplify]: Simplify (* 4e-16 0) into 0
6.317 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.318 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.318 * [backup-simplify]: Simplify (+ 1.0 (- 1.0)) into 0
6.318 * [backup-simplify]: Simplify 0 into 0
6.319 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 2e-16)) into 2e-16
6.319 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16
6.320 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 2e-16)) into 2e-16
6.320 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16
6.321 * [backup-simplify]: Simplify (+ (* 1.0 2e-16) (* 2e-16 1.0)) into 4e-16
6.322 * [backup-simplify]: Simplify (+ (* 4e-16 1) (* 0 0)) into 4e-16
6.322 * [backup-simplify]: Simplify (+ 4e-16 0) into 4e-16
6.322 * [backup-simplify]: Simplify (- 4e-16) into (- 4e-16)
6.323 * [backup-simplify]: Simplify (+ 4e-16 (- 4e-16)) into 0
6.323 * [backup-simplify]: Simplify 0 into 0
6.324 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 2e-16))) into 0
6.324 * [backup-simplify]: Simplify (+ 0 0) into 0
6.324 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 2e-16))) into 0
6.325 * [backup-simplify]: Simplify (+ 0 0) into 0
6.326 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 2e-16) (* 0 1.0))) into 3.9999999999999997e-32
6.327 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 1) (* 0 0))) into 0
6.327 * [backup-simplify]: Simplify (+ 0 0) into 0
6.327 * [backup-simplify]: Simplify (- 0) into 0
6.327 * [backup-simplify]: Simplify (+ 3.9999999999999997e-32 0) into 3.9999999999999997e-32
6.327 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
6.328 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 2e-16)))) into 0
6.329 * [backup-simplify]: Simplify (+ 0 0) into 0
6.329 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 2e-16)))) into 0
6.330 * [backup-simplify]: Simplify (+ 0 0) into 0
6.330 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 2e-16) (* 0 1.0)))) into 0
6.331 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
6.331 * [backup-simplify]: Simplify (+ 0 0) into 0
6.331 * [backup-simplify]: Simplify (- 0) into 0
6.331 * [backup-simplify]: Simplify (+ 0 0) into 0
6.332 * [backup-simplify]: Simplify 0 into 0
6.332 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
6.333 * [backup-simplify]: Simplify (+ 0 0) into 0
6.333 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
6.334 * [backup-simplify]: Simplify (+ 0 0) into 0
6.334 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0))))) into 0
6.335 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
6.335 * [backup-simplify]: Simplify (+ 0 0) into 0
6.335 * [backup-simplify]: Simplify (- 0) into 0
6.336 * [backup-simplify]: Simplify (+ 0 0) into 0
6.336 * [backup-simplify]: Simplify 0 into 0
6.337 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
6.337 * [backup-simplify]: Simplify (+ 0 0) into 0
6.338 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
6.338 * [backup-simplify]: Simplify (+ 0 0) into 0
6.339 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0)))))) into 0
6.340 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
6.340 * [backup-simplify]: Simplify (+ 0 0) into 0
6.340 * [backup-simplify]: Simplify (- 0) into 0
6.340 * [backup-simplify]: Simplify (+ 0 0) into 0
6.340 * [backup-simplify]: Simplify 0 into 0
6.341 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0
6.341 * [backup-simplify]: Simplify (+ 0 0) into 0
6.347 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0
6.348 * [backup-simplify]: Simplify (+ 0 0) into 0
6.349 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0))))))) into 0
6.350 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
6.350 * [backup-simplify]: Simplify (+ 0 0) into 0
6.350 * [backup-simplify]: Simplify (- 0) into 0
6.351 * [backup-simplify]: Simplify (+ 0 0) into 0
6.351 * [backup-simplify]: Simplify 0 into 0
6.352 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))))) into 0
6.352 * [backup-simplify]: Simplify (+ 0 0) into 0
6.353 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))))) into 0
6.353 * [backup-simplify]: Simplify (+ 0 0) into 0
6.354 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0)))))))) into 0
6.355 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
6.355 * [backup-simplify]: Simplify (+ 0 0) into 0
6.356 * [backup-simplify]: Simplify (- 0) into 0
6.356 * [backup-simplify]: Simplify (+ 0 0) into 0
6.356 * [backup-simplify]: Simplify 0 into 0
6.357 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))))) into 0
6.357 * [backup-simplify]: Simplify (+ 0 0) into 0
6.358 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))))) into 0
6.359 * [backup-simplify]: Simplify (+ 0 0) into 0
6.360 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0))))))))) into 0
6.362 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
6.362 * [backup-simplify]: Simplify (+ 0 0) into 0
6.363 * [backup-simplify]: Simplify (- 0) into 0
6.363 * [backup-simplify]: Simplify (+ 0 0) into 0
6.363 * [backup-simplify]: Simplify 0 into 0