7.523 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.044 * * * [progress]: [2/2] Setting up program.
0.046 * [progress]: [Phase 2 of 3] Improving.
0.046 * [simplify]: Simplifying:
  (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))
0.046 * * [simplify]: Extracting # 0 : cost  0
0.046 * * [simplify]: Extracting # 1 : cost  0
0.046 * * [simplify]: Extracting # 2 : cost  0
0.046 * * [simplify]: Extracting # 3 : cost  0
0.046 * * [simplify]: Extracting # 4 : cost  0
0.046 * * [simplify]: Extracting # 5 : cost  0
0.046 * * [simplify]: Extracting # 6 : cost  0
0.046 * * [simplify]: iteration  0 :  11  enodes  (cost  19 )
0.049 * * [simplify]: Extracting # 0 : cost  0
0.049 * * [simplify]: Extracting # 1 : cost  0
0.049 * * [simplify]: Extracting # 2 : cost  0
0.049 * * [simplify]: iteration  1 :  27  enodes  (cost  19 )
0.060 * * [simplify]: Extracting # 0 : cost  0
0.060 * * [simplify]: Extracting # 1 : cost  0
0.060 * * [simplify]: Extracting # 2 : cost  0
0.061 * * [simplify]: iteration  2 :  84  enodes  (cost  19 )
0.114 * * [simplify]: Extracting # 0 : cost  0
0.115 * * [simplify]: Extracting # 1 : cost  0
0.115 * * [simplify]: Extracting # 2 : cost  0
0.116 * * [simplify]: iteration  3 :  245  enodes  (cost  19 )
0.303 * * [simplify]: Extracting # 0 : cost  0
0.304 * * [simplify]: Extracting # 1 : cost  0
0.306 * * [simplify]: Extracting # 2 : cost  0
0.307 * * [simplify]: Extracting # 3 : cost  0
0.308 * * [simplify]: Extracting # 4 : cost  0
0.309 * * [simplify]: iteration  4 :  625  enodes  (cost  19 )
0.911 * * [simplify]: Extracting # 0 : cost  0
0.915 * * [simplify]: Extracting # 1 : cost  0
0.917 * * [simplify]: Extracting # 2 : cost  0
0.919 * * [simplify]: Extracting # 3 : cost  0
0.921 * * [simplify]: Extracting # 4 : cost  0
0.923 * * [simplify]: iteration  5 :  1546  enodes  (cost  19 )
2.707 * * [simplify]: Extracting # 0 : cost  0
2.710 * * [simplify]: Extracting # 1 : cost  0
2.712 * * [simplify]: Extracting # 2 : cost  0
2.716 * * [simplify]: Extracting # 3 : cost  0
2.719 * * [simplify]: iteration  6 :  3017  enodes  (cost  19 )
6.603 * * [simplify]: Extracting # 0 : cost  0
6.609 * * [simplify]: Extracting # 1 : cost  0
6.612 * * [simplify]: Extracting # 2 : cost  0
6.622 * * [simplify]: Extracting # 3 : cost  0
6.626 * * [simplify]: Extracting # 4 : cost  0
6.630 * * [simplify]: iteration done:  5000  enodes  (cost  19 )
6.630 * [simplify]: Simplified to:
  (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))
6.630 * * [progress]: iteration 1 / 4
6.631 * * * [progress]: picking best candidate
6.633 * * * * [pick]: Picked  #<alt (λ (t) (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16)))))>
6.633 * * * [progress]: localizing error
6.651 * * * [progress]: generating rewritten candidates
6.651 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
6.682 * * * [progress]: generating series expansions
6.682 * * * * [progress]: [ 1 / 1 ] generating series at (2)