6.933 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.030 * * * [progress]: [2/2] Setting up program.
0.033 * [progress]: [Phase 2 of 3] Improving.
0.033 * [simplify]: Simplifying:
  (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))
0.034 * * [simplify]: Extracting # 0 : cost  0
0.034 * * [simplify]: Extracting # 1 : cost  0
0.034 * * [simplify]: Extracting # 2 : cost  0
0.034 * * [simplify]: Extracting # 3 : cost  0
0.034 * * [simplify]: Extracting # 4 : cost  0
0.034 * * [simplify]: Extracting # 5 : cost  0
0.034 * * [simplify]: Extracting # 6 : cost  0
0.034 * * [simplify]: iteration  0 :  11  enodes  (cost  19 )
0.038 * * [simplify]: Extracting # 0 : cost  0
0.038 * * [simplify]: Extracting # 1 : cost  0
0.039 * * [simplify]: Extracting # 2 : cost  0
0.039 * * [simplify]: iteration  1 :  28  enodes  (cost  18 )
0.054 * * [simplify]: Extracting # 0 : cost  0
0.054 * * [simplify]: Extracting # 1 : cost  0
0.055 * * [simplify]: Extracting # 2 : cost  0
0.055 * * [simplify]: iteration  2 :  91  enodes  (cost  16 )
0.127 * * [simplify]: Extracting # 0 : cost  0
0.128 * * [simplify]: Extracting # 1 : cost  0
0.128 * * [simplify]: Extracting # 2 : cost  0
0.128 * * [simplify]: iteration  3 :  300  enodes  (cost  16 )
0.339 * * [simplify]: Extracting # 0 : cost  0
0.341 * * [simplify]: Extracting # 1 : cost  0
0.343 * * [simplify]: Extracting # 2 : cost  0
0.344 * * [simplify]: Extracting # 3 : cost  0
0.346 * * [simplify]: Extracting # 4 : cost  0
0.348 * * [simplify]: iteration  4 :  946  enodes  (cost  16 )
1.671 * * [simplify]: Extracting # 0 : cost  0
1.677 * * [simplify]: Extracting # 1 : cost  0
1.681 * * [simplify]: Extracting # 2 : cost  0
1.685 * * [simplify]: Extracting # 3 : cost  0
1.689 * * [simplify]: Extracting # 4 : cost  0
1.692 * * [simplify]: iteration  5 :  2331  enodes  (cost  16 )
5.634 * * [simplify]: Extracting # 0 : cost  0
5.645 * * [simplify]: Extracting # 1 : cost  0
5.653 * * [simplify]: Extracting # 2 : cost  0
5.661 * * [simplify]: Extracting # 3 : cost  0
5.667 * * [simplify]: iteration done:  5000  enodes  (cost  16 )
5.667 * [simplify]: Simplified to:
  (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16))))
5.671 * * [progress]: iteration 1 / 4
5.671 * * * [progress]: picking best candidate
5.673 * * * * [pick]: Picked  #<alt (λ (t) (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16)))))>
5.673 * * * [progress]: localizing error
5.688 * * * [progress]: generating rewritten candidates
5.688 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
5.688 * * * [progress]: generating series expansions
5.688 * * * * [progress]: [ 1 / 1 ] generating series at (2)
5.689 * [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)))
5.689 * [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
5.689 * [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
5.690 * [taylor]: Rewrote expression to (+ (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) (- (+ (* 4e-16 t) 1.0)))
5.691 * [taylor]: Taking taylor expansion of (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) in t
5.691 * [taylor]: Taking taylor expansion of (fma t 2e-16 1.0) in t
5.691 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1.0)
5.691 * [taylor]: Taking taylor expansion of (* t 2e-16) in t
5.691 * [taylor]: Taking taylor expansion of t in t
5.691 * [backup-simplify]: Simplify 0 into 0
5.691 * [backup-simplify]: Simplify 1 into 1
5.691 * [taylor]: Taking taylor expansion of 2e-16 in t
5.691 * [backup-simplify]: Simplify 2e-16 into 2e-16
5.691 * [taylor]: Taking taylor expansion of 1.0 in t
5.691 * [backup-simplify]: Simplify 1.0 into 1.0
5.691 * [taylor]: Taking taylor expansion of (fma t 2e-16 1.0) in t
5.691 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1.0)
5.691 * [taylor]: Taking taylor expansion of (* t 2e-16) in t
5.691 * [taylor]: Taking taylor expansion of t in t
5.691 * [backup-simplify]: Simplify 0 into 0
5.691 * [backup-simplify]: Simplify 1 into 1
5.691 * [taylor]: Taking taylor expansion of 2e-16 in t
5.691 * [backup-simplify]: Simplify 2e-16 into 2e-16
5.691 * [taylor]: Taking taylor expansion of 1.0 in t
5.691 * [backup-simplify]: Simplify 1.0 into 1.0
5.691 * [taylor]: Taking taylor expansion of (- (+ (* 4e-16 t) 1.0)) in t
5.691 * [taylor]: Taking taylor expansion of (+ (* 4e-16 t) 1.0) in t
5.691 * [taylor]: Taking taylor expansion of (* 4e-16 t) in t
5.691 * [taylor]: Taking taylor expansion of 4e-16 in t
5.691 * [backup-simplify]: Simplify 4e-16 into 4e-16
5.691 * [taylor]: Taking taylor expansion of t in t
5.691 * [backup-simplify]: Simplify 0 into 0
5.691 * [backup-simplify]: Simplify 1 into 1
5.691 * [taylor]: Taking taylor expansion of 1.0 in t
5.691 * [backup-simplify]: Simplify 1.0 into 1.0
5.691 * [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
5.691 * [taylor]: Rewrote expression to (+ (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) (- (+ (* 4e-16 t) 1.0)))
5.691 * [taylor]: Taking taylor expansion of (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) in t
5.691 * [taylor]: Taking taylor expansion of (fma t 2e-16 1.0) in t
5.691 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1.0)
5.691 * [taylor]: Taking taylor expansion of (* t 2e-16) in t
5.691 * [taylor]: Taking taylor expansion of t in t
5.692 * [backup-simplify]: Simplify 0 into 0
5.692 * [backup-simplify]: Simplify 1 into 1
5.692 * [taylor]: Taking taylor expansion of 2e-16 in t
5.692 * [backup-simplify]: Simplify 2e-16 into 2e-16
5.692 * [taylor]: Taking taylor expansion of 1.0 in t
5.692 * [backup-simplify]: Simplify 1.0 into 1.0
5.692 * [taylor]: Taking taylor expansion of (fma t 2e-16 1.0) in t
5.692 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1.0)
5.692 * [taylor]: Taking taylor expansion of (* t 2e-16) in t
5.692 * [taylor]: Taking taylor expansion of t in t
5.692 * [backup-simplify]: Simplify 0 into 0
5.692 * [backup-simplify]: Simplify 1 into 1
5.692 * [taylor]: Taking taylor expansion of 2e-16 in t
5.692 * [backup-simplify]: Simplify 2e-16 into 2e-16
5.692 * [taylor]: Taking taylor expansion of 1.0 in t
5.692 * [backup-simplify]: Simplify 1.0 into 1.0
5.692 * [taylor]: Taking taylor expansion of (- (+ (* 4e-16 t) 1.0)) in t
5.692 * [taylor]: Taking taylor expansion of (+ (* 4e-16 t) 1.0) in t
5.692 * [taylor]: Taking taylor expansion of (* 4e-16 t) in t
5.692 * [taylor]: Taking taylor expansion of 4e-16 in t
5.692 * [backup-simplify]: Simplify 4e-16 into 4e-16
5.692 * [taylor]: Taking taylor expansion of t in t
5.692 * [backup-simplify]: Simplify 0 into 0
5.692 * [backup-simplify]: Simplify 1 into 1
5.692 * [taylor]: Taking taylor expansion of 1.0 in t
5.692 * [backup-simplify]: Simplify 1.0 into 1.0
5.693 * [backup-simplify]: Simplify (* 0 2e-16) into 0
5.693 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.693 * [backup-simplify]: Simplify (* 0 2e-16) into 0
5.693 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.694 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
5.694 * [backup-simplify]: Simplify (* 4e-16 0) into 0
5.694 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.695 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
5.695 * [backup-simplify]: Simplify (+ 1.0 (- 1.0)) into 0
5.695 * [backup-simplify]: Simplify 0 into 0
5.696 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 2e-16)) into 2e-16
5.697 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16
5.698 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 2e-16)) into 2e-16
5.698 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16
5.699 * [backup-simplify]: Simplify (+ (* 1.0 2e-16) (* 2e-16 1.0)) into 4e-16
5.700 * [backup-simplify]: Simplify (+ (* 4e-16 1) (* 0 0)) into 4e-16
5.700 * [backup-simplify]: Simplify (+ 4e-16 0) into 4e-16
5.700 * [backup-simplify]: Simplify (- 4e-16) into (- 4e-16)
5.701 * [backup-simplify]: Simplify (+ 4e-16 (- 4e-16)) into 0
5.701 * [backup-simplify]: Simplify 0 into 0
5.701 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 2e-16))) into 0
5.701 * [backup-simplify]: Simplify (+ 0 0) into 0
5.702 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 2e-16))) into 0
5.702 * [backup-simplify]: Simplify (+ 0 0) into 0
5.704 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 2e-16) (* 0 1.0))) into 3.9999999999999997e-32
5.704 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 1) (* 0 0))) into 0
5.705 * [backup-simplify]: Simplify (+ 0 0) into 0
5.705 * [backup-simplify]: Simplify (- 0) into 0
5.706 * [backup-simplify]: Simplify (+ 3.9999999999999997e-32 0) into 3.9999999999999997e-32
5.706 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.707 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 2e-16)))) into 0
5.707 * [backup-simplify]: Simplify (+ 0 0) into 0
5.708 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 2e-16)))) into 0
5.709 * [backup-simplify]: Simplify (+ 0 0) into 0
5.710 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 2e-16) (* 0 1.0)))) into 0
5.711 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.712 * [backup-simplify]: Simplify (+ 0 0) into 0
5.712 * [backup-simplify]: Simplify (- 0) into 0
5.712 * [backup-simplify]: Simplify (+ 0 0) into 0
5.712 * [backup-simplify]: Simplify 0 into 0
5.714 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
5.714 * [backup-simplify]: Simplify (+ 0 0) into 0
5.716 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
5.716 * [backup-simplify]: Simplify (+ 0 0) into 0
5.718 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0))))) into 0
5.719 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.720 * [backup-simplify]: Simplify (+ 0 0) into 0
5.720 * [backup-simplify]: Simplify (- 0) into 0
5.720 * [backup-simplify]: Simplify (+ 0 0) into 0
5.720 * [backup-simplify]: Simplify 0 into 0
5.722 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
5.722 * [backup-simplify]: Simplify (+ 0 0) into 0
5.724 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
5.724 * [backup-simplify]: Simplify (+ 0 0) into 0
5.726 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0)))))) into 0
5.727 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
5.728 * [backup-simplify]: Simplify (+ 0 0) into 0
5.728 * [backup-simplify]: Simplify (- 0) into 0
5.729 * [backup-simplify]: Simplify (+ 0 0) into 0
5.729 * [backup-simplify]: Simplify 0 into 0
5.731 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0
5.731 * [backup-simplify]: Simplify (+ 0 0) into 0
5.733 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0
5.733 * [backup-simplify]: Simplify (+ 0 0) into 0
5.735 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0))))))) into 0
5.737 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
5.737 * [backup-simplify]: Simplify (+ 0 0) into 0
5.738 * [backup-simplify]: Simplify (- 0) into 0
5.738 * [backup-simplify]: Simplify (+ 0 0) into 0
5.738 * [backup-simplify]: Simplify 0 into 0
5.740 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))))) into 0
5.741 * [backup-simplify]: Simplify (+ 0 0) into 0
5.742 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))))) into 0
5.743 * [backup-simplify]: Simplify (+ 0 0) into 0
5.745 * [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
5.747 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
5.747 * [backup-simplify]: Simplify (+ 0 0) into 0
5.748 * [backup-simplify]: Simplify (- 0) into 0
5.748 * [backup-simplify]: Simplify (+ 0 0) into 0
5.748 * [backup-simplify]: Simplify 0 into 0
5.750 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))))) into 0
5.751 * [backup-simplify]: Simplify (+ 0 0) into 0
5.753 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))))) into 0
5.753 * [backup-simplify]: Simplify (+ 0 0) into 0
5.755 * [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
5.758 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
5.758 * [backup-simplify]: Simplify (+ 0 0) into 0
5.759 * [backup-simplify]: Simplify (- 0) into 0
5.759 * [backup-simplify]: Simplify (+ 0 0) into 0
5.759 * [backup-simplify]: Simplify 0 into 0