19.964 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.033 * * * [progress]: [2/2] Setting up program.
0.035 * [progress]: [Phase 2 of 3] Improving.
0.035 * [simplify]: Simplifying:
  (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))
0.035 * * [simplify]: Extracting # 0 : cost  0
0.035 * * [simplify]: Extracting # 1 : cost  0
0.035 * * [simplify]: Extracting # 2 : cost  0
0.036 * * [simplify]: Extracting # 3 : cost  0
0.036 * * [simplify]: Extracting # 4 : cost  0
0.036 * * [simplify]: Extracting # 5 : cost  0
0.036 * * [simplify]: Extracting # 6 : cost  0
0.036 * * [simplify]: iteration  0 :  11  enodes  (cost  19 )
0.038 * * [simplify]: Extracting # 0 : cost  0
0.038 * * [simplify]: Extracting # 1 : cost  0
0.038 * * [simplify]: Extracting # 2 : cost  0
0.038 * * [simplify]: iteration  1 :  28  enodes  (cost  18 )
0.046 * * [simplify]: Extracting # 0 : cost  0
0.047 * * [simplify]: Extracting # 1 : cost  0
0.047 * * [simplify]: Extracting # 2 : cost  0
0.047 * * [simplify]: iteration  2 :  91  enodes  (cost  16 )
0.094 * * [simplify]: Extracting # 0 : cost  0
0.094 * * [simplify]: Extracting # 1 : cost  0
0.095 * * [simplify]: Extracting # 2 : cost  0
0.095 * * [simplify]: iteration  3 :  300  enodes  (cost  16 )
0.358 * * [simplify]: Extracting # 0 : cost  0
0.360 * * [simplify]: Extracting # 1 : cost  0
0.361 * * [simplify]: Extracting # 2 : cost  0
0.363 * * [simplify]: Extracting # 3 : cost  0
0.370 * * [simplify]: Extracting # 4 : cost  0
0.372 * * [simplify]: iteration  4 :  946  enodes  (cost  16 )
1.611 * * [simplify]: Extracting # 0 : cost  0
1.615 * * [simplify]: Extracting # 1 : cost  0
1.617 * * [simplify]: Extracting # 2 : cost  0
1.618 * * [simplify]: Extracting # 3 : cost  0
1.622 * * [simplify]: Extracting # 4 : cost  0
1.625 * * [simplify]: iteration  5 :  2331  enodes  (cost  16 )
6.636 * * [simplify]: Extracting # 0 : cost  0
6.644 * * [simplify]: Extracting # 1 : cost  0
6.649 * * [simplify]: Extracting # 2 : cost  0
6.654 * * [simplify]: Extracting # 3 : cost  0
6.658 * * [simplify]: iteration done:  5000  enodes  (cost  16 )
6.658 * [simplify]: Simplified to:
  (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16))))
6.663 * * [progress]: iteration 1 / 4
6.663 * * * [progress]: picking best candidate
6.665 * * * * [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.665 * * * [progress]: localizing error
6.675 * * * [progress]: generating rewritten candidates
6.675 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
6.676 * * * [progress]: generating series expansions
6.676 * * * * [progress]: [ 1 / 1 ] generating series at (2)
6.676 * [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.676 * [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.676 * [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.676 * [taylor]: Rewrote expression to (+ (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) (- (+ (* 4e-16 t) 1.0)))
6.676 * [taylor]: Taking taylor expansion of (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) in t
6.676 * [taylor]: Taking taylor expansion of (fma t 2e-16 1.0) in t
6.676 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1.0)
6.676 * [taylor]: Taking taylor expansion of (* t 2e-16) in t
6.676 * [taylor]: Taking taylor expansion of t in t
6.676 * [backup-simplify]: Simplify 0 into 0
6.676 * [backup-simplify]: Simplify 1 into 1
6.676 * [taylor]: Taking taylor expansion of 2e-16 in t
6.676 * [backup-simplify]: Simplify 2e-16 into 2e-16
6.676 * [taylor]: Taking taylor expansion of 1.0 in t
6.676 * [backup-simplify]: Simplify 1.0 into 1.0
6.676 * [taylor]: Taking taylor expansion of (fma t 2e-16 1.0) in t
6.677 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1.0)
6.677 * [taylor]: Taking taylor expansion of (* t 2e-16) in t
6.677 * [taylor]: Taking taylor expansion of t in t
6.677 * [backup-simplify]: Simplify 0 into 0
6.677 * [backup-simplify]: Simplify 1 into 1
6.677 * [taylor]: Taking taylor expansion of 2e-16 in t
6.677 * [backup-simplify]: Simplify 2e-16 into 2e-16
6.677 * [taylor]: Taking taylor expansion of 1.0 in t
6.677 * [backup-simplify]: Simplify 1.0 into 1.0
6.677 * [taylor]: Taking taylor expansion of (- (+ (* 4e-16 t) 1.0)) in t
6.677 * [taylor]: Taking taylor expansion of (+ (* 4e-16 t) 1.0) in t
6.677 * [taylor]: Taking taylor expansion of (* 4e-16 t) in t
6.677 * [taylor]: Taking taylor expansion of 4e-16 in t
6.677 * [backup-simplify]: Simplify 4e-16 into 4e-16
6.677 * [taylor]: Taking taylor expansion of t in t
6.677 * [backup-simplify]: Simplify 0 into 0
6.677 * [backup-simplify]: Simplify 1 into 1
6.677 * [taylor]: Taking taylor expansion of 1.0 in t
6.677 * [backup-simplify]: Simplify 1.0 into 1.0
6.677 * [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.677 * [taylor]: Rewrote expression to (+ (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) (- (+ (* 4e-16 t) 1.0)))
6.677 * [taylor]: Taking taylor expansion of (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) in t
6.677 * [taylor]: Taking taylor expansion of (fma t 2e-16 1.0) in t
6.677 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1.0)
6.677 * [taylor]: Taking taylor expansion of (* t 2e-16) in t
6.677 * [taylor]: Taking taylor expansion of t in t
6.677 * [backup-simplify]: Simplify 0 into 0
6.677 * [backup-simplify]: Simplify 1 into 1
6.677 * [taylor]: Taking taylor expansion of 2e-16 in t
6.677 * [backup-simplify]: Simplify 2e-16 into 2e-16
6.677 * [taylor]: Taking taylor expansion of 1.0 in t
6.677 * [backup-simplify]: Simplify 1.0 into 1.0
6.677 * [taylor]: Taking taylor expansion of (fma t 2e-16 1.0) in t
6.677 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1.0)
6.677 * [taylor]: Taking taylor expansion of (* t 2e-16) in t
6.677 * [taylor]: Taking taylor expansion of t in t
6.677 * [backup-simplify]: Simplify 0 into 0
6.677 * [backup-simplify]: Simplify 1 into 1
6.678 * [taylor]: Taking taylor expansion of 2e-16 in t
6.678 * [backup-simplify]: Simplify 2e-16 into 2e-16
6.678 * [taylor]: Taking taylor expansion of 1.0 in t
6.678 * [backup-simplify]: Simplify 1.0 into 1.0
6.678 * [taylor]: Taking taylor expansion of (- (+ (* 4e-16 t) 1.0)) in t
6.678 * [taylor]: Taking taylor expansion of (+ (* 4e-16 t) 1.0) in t
6.678 * [taylor]: Taking taylor expansion of (* 4e-16 t) in t
6.678 * [taylor]: Taking taylor expansion of 4e-16 in t
6.678 * [backup-simplify]: Simplify 4e-16 into 4e-16
6.678 * [taylor]: Taking taylor expansion of t in t
6.678 * [backup-simplify]: Simplify 0 into 0
6.678 * [backup-simplify]: Simplify 1 into 1
6.678 * [taylor]: Taking taylor expansion of 1.0 in t
6.678 * [backup-simplify]: Simplify 1.0 into 1.0
6.678 * [backup-simplify]: Simplify (* 0 2e-16) into 0
6.679 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.679 * [backup-simplify]: Simplify (* 0 2e-16) into 0
6.679 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.680 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
6.680 * [backup-simplify]: Simplify (* 4e-16 0) into 0
6.680 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.681 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.681 * [backup-simplify]: Simplify (+ 1.0 (- 1.0)) into 0
6.681 * [backup-simplify]: Simplify 0 into 0
6.682 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 2e-16)) into 2e-16
6.682 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16
6.690 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 2e-16)) into 2e-16
6.691 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16
6.692 * [backup-simplify]: Simplify (+ (* 1.0 2e-16) (* 2e-16 1.0)) into 4e-16
6.693 * [backup-simplify]: Simplify (+ (* 4e-16 1) (* 0 0)) into 4e-16
6.693 * [backup-simplify]: Simplify (+ 4e-16 0) into 4e-16
6.693 * [backup-simplify]: Simplify (- 4e-16) into (- 4e-16)
6.694 * [backup-simplify]: Simplify (+ 4e-16 (- 4e-16)) into 0
6.694 * [backup-simplify]: Simplify 0 into 0
6.694 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 2e-16))) into 0
6.695 * [backup-simplify]: Simplify (+ 0 0) into 0
6.695 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 2e-16))) into 0
6.696 * [backup-simplify]: Simplify (+ 0 0) into 0
6.699 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 2e-16) (* 0 1.0))) into 3.9999999999999997e-32
6.700 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 1) (* 0 0))) into 0
6.700 * [backup-simplify]: Simplify (+ 0 0) into 0
6.701 * [backup-simplify]: Simplify (- 0) into 0
6.701 * [backup-simplify]: Simplify (+ 3.9999999999999997e-32 0) into 3.9999999999999997e-32
6.701 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
6.702 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 2e-16)))) into 0
6.703 * [backup-simplify]: Simplify (+ 0 0) into 0
6.704 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 2e-16)))) into 0
6.704 * [backup-simplify]: Simplify (+ 0 0) into 0
6.706 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 2e-16) (* 0 1.0)))) into 0
6.707 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
6.707 * [backup-simplify]: Simplify (+ 0 0) into 0
6.708 * [backup-simplify]: Simplify (- 0) into 0
6.708 * [backup-simplify]: Simplify (+ 0 0) into 0
6.708 * [backup-simplify]: Simplify 0 into 0
6.709 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
6.710 * [backup-simplify]: Simplify (+ 0 0) into 0
6.711 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
6.712 * [backup-simplify]: Simplify (+ 0 0) into 0
6.713 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0))))) into 0
6.715 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
6.715 * [backup-simplify]: Simplify (+ 0 0) into 0
6.715 * [backup-simplify]: Simplify (- 0) into 0
6.716 * [backup-simplify]: Simplify (+ 0 0) into 0
6.716 * [backup-simplify]: Simplify 0 into 0
6.717 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
6.718 * [backup-simplify]: Simplify (+ 0 0) into 0
6.719 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
6.720 * [backup-simplify]: Simplify (+ 0 0) into 0
6.721 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0)))))) into 0
6.723 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
6.723 * [backup-simplify]: Simplify (+ 0 0) into 0
6.724 * [backup-simplify]: Simplify (- 0) into 0
6.724 * [backup-simplify]: Simplify (+ 0 0) into 0
6.724 * [backup-simplify]: Simplify 0 into 0
6.726 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0
6.726 * [backup-simplify]: Simplify (+ 0 0) into 0
6.728 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0
6.728 * [backup-simplify]: Simplify (+ 0 0) into 0
6.730 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0))))))) into 0
6.732 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
6.732 * [backup-simplify]: Simplify (+ 0 0) into 0
6.732 * [backup-simplify]: Simplify (- 0) into 0
6.732 * [backup-simplify]: Simplify (+ 0 0) into 0
6.732 * [backup-simplify]: Simplify 0 into 0
6.733 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))))) into 0
6.734 * [backup-simplify]: Simplify (+ 0 0) into 0
6.735 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))))) into 0
6.735 * [backup-simplify]: Simplify (+ 0 0) into 0
6.736 * [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.738 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
6.738 * [backup-simplify]: Simplify (+ 0 0) into 0
6.738 * [backup-simplify]: Simplify (- 0) into 0
6.738 * [backup-simplify]: Simplify (+ 0 0) into 0
6.738 * [backup-simplify]: Simplify 0 into 0
6.739 * [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.740 * [backup-simplify]: Simplify (+ 0 0) into 0
6.741 * [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.741 * [backup-simplify]: Simplify (+ 0 0) into 0
6.742 * [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.743 * [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.744 * [backup-simplify]: Simplify (+ 0 0) into 0
6.744 * [backup-simplify]: Simplify (- 0) into 0
6.744 * [backup-simplify]: Simplify (+ 0 0) into 0
6.744 * [backup-simplify]: Simplify 0 into 0
6.744 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
6.745 * [backup-simplify]: Simplify (fma (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0) (- -1.0 (* 2.0 (* (/ 1 t) 2e-16)))) into (fma (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0) (- (+ (* 4e-16 (/ 1 t)) 1.0)))
6.745 * [approximate]: Taking taylor expansion of (fma (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0) (- (+ (* 4e-16 (/ 1 t)) 1.0))) in (t) around 0
6.745 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0) (- (+ (* 4e-16 (/ 1 t)) 1.0))) in t
6.745 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0)) (- (+ (* 4e-16 (/ 1 t)) 1.0)))
6.745 * [taylor]: Taking taylor expansion of (* (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0)) in t
6.745 * [taylor]: Taking taylor expansion of (fma (/ 1 t) 2e-16 1.0) in t
6.745 * [taylor]: Rewrote expression to (+ (* (/ 1 t) 2e-16) 1.0)
6.745 * [taylor]: Taking taylor expansion of (* (/ 1 t) 2e-16) in t
6.745 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.745 * [taylor]: Taking taylor expansion of t in t
6.745 * [backup-simplify]: Simplify 0 into 0
6.745 * [backup-simplify]: Simplify 1 into 1
6.745 * [backup-simplify]: Simplify (/ 1 1) into 1
6.745 * [taylor]: Taking taylor expansion of 2e-16 in t
6.745 * [backup-simplify]: Simplify 2e-16 into 2e-16
6.745 * [taylor]: Taking taylor expansion of 1.0 in t
6.745 * [backup-simplify]: Simplify 1.0 into 1.0
6.745 * [taylor]: Taking taylor expansion of (fma (/ 1 t) 2e-16 1.0) in t
6.746 * [taylor]: Rewrote expression to (+ (* (/ 1 t) 2e-16) 1.0)
6.746 * [taylor]: Taking taylor expansion of (* (/ 1 t) 2e-16) in t
6.746 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.746 * [taylor]: Taking taylor expansion of t in t
6.746 * [backup-simplify]: Simplify 0 into 0
6.746 * [backup-simplify]: Simplify 1 into 1
6.746 * [backup-simplify]: Simplify (/ 1 1) into 1
6.746 * [taylor]: Taking taylor expansion of 2e-16 in t
6.746 * [backup-simplify]: Simplify 2e-16 into 2e-16
6.746 * [taylor]: Taking taylor expansion of 1.0 in t
6.746 * [backup-simplify]: Simplify 1.0 into 1.0
6.746 * [taylor]: Taking taylor expansion of (- (+ (* 4e-16 (/ 1 t)) 1.0)) in t
6.746 * [taylor]: Taking taylor expansion of (+ (* 4e-16 (/ 1 t)) 1.0) in t
6.746 * [taylor]: Taking taylor expansion of (* 4e-16 (/ 1 t)) in t
6.746 * [taylor]: Taking taylor expansion of 4e-16 in t
6.746 * [backup-simplify]: Simplify 4e-16 into 4e-16
6.746 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.746 * [taylor]: Taking taylor expansion of t in t
6.746 * [backup-simplify]: Simplify 0 into 0
6.746 * [backup-simplify]: Simplify 1 into 1
6.746 * [backup-simplify]: Simplify (/ 1 1) into 1
6.746 * [taylor]: Taking taylor expansion of 1.0 in t
6.746 * [backup-simplify]: Simplify 1.0 into 1.0
6.746 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0) (- (+ (* 4e-16 (/ 1 t)) 1.0))) in t
6.747 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0)) (- (+ (* 4e-16 (/ 1 t)) 1.0)))
6.747 * [taylor]: Taking taylor expansion of (* (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0)) in t
6.747 * [taylor]: Taking taylor expansion of (fma (/ 1 t) 2e-16 1.0) in t
6.747 * [taylor]: Rewrote expression to (+ (* (/ 1 t) 2e-16) 1.0)
6.747 * [taylor]: Taking taylor expansion of (* (/ 1 t) 2e-16) in t
6.747 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.747 * [taylor]: Taking taylor expansion of t in t
6.747 * [backup-simplify]: Simplify 0 into 0
6.747 * [backup-simplify]: Simplify 1 into 1
6.747 * [backup-simplify]: Simplify (/ 1 1) into 1
6.747 * [taylor]: Taking taylor expansion of 2e-16 in t
6.747 * [backup-simplify]: Simplify 2e-16 into 2e-16
6.747 * [taylor]: Taking taylor expansion of 1.0 in t
6.747 * [backup-simplify]: Simplify 1.0 into 1.0
6.747 * [taylor]: Taking taylor expansion of (fma (/ 1 t) 2e-16 1.0) in t
6.747 * [taylor]: Rewrote expression to (+ (* (/ 1 t) 2e-16) 1.0)
6.747 * [taylor]: Taking taylor expansion of (* (/ 1 t) 2e-16) in t
6.747 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.747 * [taylor]: Taking taylor expansion of t in t
6.747 * [backup-simplify]: Simplify 0 into 0
6.747 * [backup-simplify]: Simplify 1 into 1
6.748 * [backup-simplify]: Simplify (/ 1 1) into 1
6.748 * [taylor]: Taking taylor expansion of 2e-16 in t
6.748 * [backup-simplify]: Simplify 2e-16 into 2e-16
6.748 * [taylor]: Taking taylor expansion of 1.0 in t
6.748 * [backup-simplify]: Simplify 1.0 into 1.0
6.748 * [taylor]: Taking taylor expansion of (- (+ (* 4e-16 (/ 1 t)) 1.0)) in t
6.748 * [taylor]: Taking taylor expansion of (+ (* 4e-16 (/ 1 t)) 1.0) in t
6.748 * [taylor]: Taking taylor expansion of (* 4e-16 (/ 1 t)) in t
6.748 * [taylor]: Taking taylor expansion of 4e-16 in t
6.748 * [backup-simplify]: Simplify 4e-16 into 4e-16
6.748 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.748 * [taylor]: Taking taylor expansion of t in t
6.748 * [backup-simplify]: Simplify 0 into 0
6.748 * [backup-simplify]: Simplify 1 into 1
6.748 * [backup-simplify]: Simplify (/ 1 1) into 1
6.748 * [taylor]: Taking taylor expansion of 1.0 in t
6.748 * [backup-simplify]: Simplify 1.0 into 1.0
6.749 * [backup-simplify]: Simplify (* 1 2e-16) into 2e-16
6.749 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16
6.749 * [backup-simplify]: Simplify (* 1 2e-16) into 2e-16
6.749 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16
6.750 * [backup-simplify]: Simplify (* 2e-16 2e-16) into 3.9999999999999997e-32
6.750 * [backup-simplify]: Simplify (+ 3.9999999999999997e-32 0) into 3.9999999999999997e-32
6.750 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
6.750 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.751 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 2e-16)) into 0
6.751 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.752 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.752 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 2e-16)) into 0
6.752 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.753 * [backup-simplify]: Simplify (+ (* 2e-16 1.0) (* 1.0 2e-16)) into 4e-16
6.753 * [backup-simplify]: Simplify (* 4e-16 1) into 4e-16
6.754 * [backup-simplify]: Simplify (+ 4e-16 0) into 4e-16
6.754 * [backup-simplify]: Simplify (- 4e-16) into (- 4e-16)
6.754 * [backup-simplify]: Simplify (+ 4e-16 (- 4e-16)) into 0
6.754 * [backup-simplify]: Simplify 0 into 0
6.755 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.756 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 2e-16))) into 0
6.756 * [backup-simplify]: Simplify (+ 0 0) into 0
6.756 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.757 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 2e-16))) into 0
6.757 * [backup-simplify]: Simplify (+ 0 0) into 0
6.759 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 1.0) (* 0 2e-16))) into 1.0
6.759 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.760 * [backup-simplify]: Simplify (+ (* 4e-16 0) (* 0 1)) into 0
6.761 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.761 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.762 * [backup-simplify]: Simplify (+ 1.0 (- 1.0)) into 0
6.762 * [backup-simplify]: Simplify 0 into 0
6.763 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.764 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))) into 0
6.764 * [backup-simplify]: Simplify (+ 0 0) into 0
6.765 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.766 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))) into 0
6.767 * [backup-simplify]: Simplify (+ 0 0) into 0
6.768 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 0) (+ (* 0 1.0) (* 0 2e-16)))) into 0
6.769 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.770 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (* 0 1))) into 0
6.770 * [backup-simplify]: Simplify (+ 0 0) into 0
6.770 * [backup-simplify]: Simplify (- 0) into 0
6.771 * [backup-simplify]: Simplify (+ 0 0) into 0
6.771 * [backup-simplify]: Simplify 0 into 0
6.772 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.773 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
6.773 * [backup-simplify]: Simplify (+ 0 0) into 0
6.774 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.776 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
6.776 * [backup-simplify]: Simplify (+ 0 0) into 0
6.778 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 2e-16))))) into 0
6.779 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.780 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.780 * [backup-simplify]: Simplify (+ 0 0) into 0
6.780 * [backup-simplify]: Simplify (- 0) into 0
6.781 * [backup-simplify]: Simplify (+ 0 0) into 0
6.781 * [backup-simplify]: Simplify 0 into 0
6.782 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.783 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
6.783 * [backup-simplify]: Simplify (+ 0 0) into 0
6.784 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.785 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
6.785 * [backup-simplify]: Simplify (+ 0 0) into 0
6.786 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 2e-16)))))) into 0
6.786 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.787 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.787 * [backup-simplify]: Simplify (+ 0 0) into 0
6.788 * [backup-simplify]: Simplify (- 0) into 0
6.788 * [backup-simplify]: Simplify (+ 0 0) into 0
6.788 * [backup-simplify]: Simplify 0 into 0
6.788 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.789 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0
6.789 * [backup-simplify]: Simplify (+ 0 0) into 0
6.790 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.791 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0
6.792 * [backup-simplify]: Simplify (+ 0 0) into 0
6.793 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 2e-16))))))) into 0
6.793 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.794 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.794 * [backup-simplify]: Simplify (+ 0 0) into 0
6.794 * [backup-simplify]: Simplify (- 0) into 0
6.795 * [backup-simplify]: Simplify (+ 0 0) into 0
6.795 * [backup-simplify]: Simplify 0 into 0
6.795 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
6.795 * [backup-simplify]: Simplify (fma (fma (/ 1 (- t)) 2e-16 1.0) (fma (/ 1 (- t)) 2e-16 1.0) (- -1.0 (* 2.0 (* (/ 1 (- t)) 2e-16)))) into (fma (fma (/ -1 t) 2e-16 1.0) (fma (/ -1 t) 2e-16 1.0) (- (* 4e-16 (/ 1 t)) 1.0))
6.795 * [approximate]: Taking taylor expansion of (fma (fma (/ -1 t) 2e-16 1.0) (fma (/ -1 t) 2e-16 1.0) (- (* 4e-16 (/ 1 t)) 1.0)) in (t) around 0
6.795 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 t) 2e-16 1.0) (fma (/ -1 t) 2e-16 1.0) (- (* 4e-16 (/ 1 t)) 1.0)) in t
6.795 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 t) 2e-16 1.0) (fma (/ -1 t) 2e-16 1.0)) (- (* 4e-16 (/ 1 t)) 1.0))
6.795 * [taylor]: Taking taylor expansion of (* (fma (/ -1 t) 2e-16 1.0) (fma (/ -1 t) 2e-16 1.0)) in t
6.795 * [taylor]: Taking taylor expansion of (fma (/ -1 t) 2e-16 1.0) in t
6.795 * [taylor]: Rewrote expression to (+ (* (/ -1 t) 2e-16) 1.0)
6.795 * [taylor]: Taking taylor expansion of (* (/ -1 t) 2e-16) in t
6.795 * [taylor]: Taking taylor expansion of (/ -1 t) in t
6.795 * [taylor]: Taking taylor expansion of -1 in t
6.796 * [backup-simplify]: Simplify -1 into -1
6.796 * [taylor]: Taking taylor expansion of t in t
6.796 * [backup-simplify]: Simplify 0 into 0
6.796 * [backup-simplify]: Simplify 1 into 1
6.796 * [backup-simplify]: Simplify (/ -1 1) into -1
6.796 * [taylor]: Taking taylor expansion of 2e-16 in t
6.796 * [backup-simplify]: Simplify 2e-16 into 2e-16
6.796 * [taylor]: Taking taylor expansion of 1.0 in t
6.796 * [backup-simplify]: Simplify 1.0 into 1.0
6.796 * [taylor]: Taking taylor expansion of (fma (/ -1 t) 2e-16 1.0) in t
6.796 * [taylor]: Rewrote expression to (+ (* (/ -1 t) 2e-16) 1.0)
6.796 * [taylor]: Taking taylor expansion of (* (/ -1 t) 2e-16) in t
6.796 * [taylor]: Taking taylor expansion of (/ -1 t) in t
6.796 * [taylor]: Taking taylor expansion of -1 in t
6.796 * [backup-simplify]: Simplify -1 into -1
6.796 * [taylor]: Taking taylor expansion of t in t
6.796 * [backup-simplify]: Simplify 0 into 0
6.796 * [backup-simplify]: Simplify 1 into 1
6.796 * [backup-simplify]: Simplify (/ -1 1) into -1
6.796 * [taylor]: Taking taylor expansion of 2e-16 in t
6.797 * [backup-simplify]: Simplify 2e-16 into 2e-16
6.797 * [taylor]: Taking taylor expansion of 1.0 in t
6.797 * [backup-simplify]: Simplify 1.0 into 1.0
6.797 * [taylor]: Taking taylor expansion of (- (* 4e-16 (/ 1 t)) 1.0) in t
6.797 * [taylor]: Taking taylor expansion of (* 4e-16 (/ 1 t)) in t
6.797 * [taylor]: Taking taylor expansion of 4e-16 in t
6.797 * [backup-simplify]: Simplify 4e-16 into 4e-16
6.797 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.797 * [taylor]: Taking taylor expansion of t in t
6.797 * [backup-simplify]: Simplify 0 into 0
6.797 * [backup-simplify]: Simplify 1 into 1
6.797 * [backup-simplify]: Simplify (/ 1 1) into 1
6.797 * [taylor]: Taking taylor expansion of 1.0 in t
6.797 * [backup-simplify]: Simplify 1.0 into 1.0
6.797 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 t) 2e-16 1.0) (fma (/ -1 t) 2e-16 1.0) (- (* 4e-16 (/ 1 t)) 1.0)) in t
6.797 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 t) 2e-16 1.0) (fma (/ -1 t) 2e-16 1.0)) (- (* 4e-16 (/ 1 t)) 1.0))
6.797 * [taylor]: Taking taylor expansion of (* (fma (/ -1 t) 2e-16 1.0) (fma (/ -1 t) 2e-16 1.0)) in t
6.797 * [taylor]: Taking taylor expansion of (fma (/ -1 t) 2e-16 1.0) in t
6.797 * [taylor]: Rewrote expression to (+ (* (/ -1 t) 2e-16) 1.0)
6.797 * [taylor]: Taking taylor expansion of (* (/ -1 t) 2e-16) in t
6.797 * [taylor]: Taking taylor expansion of (/ -1 t) in t
6.797 * [taylor]: Taking taylor expansion of -1 in t
6.797 * [backup-simplify]: Simplify -1 into -1
6.797 * [taylor]: Taking taylor expansion of t in t
6.797 * [backup-simplify]: Simplify 0 into 0
6.797 * [backup-simplify]: Simplify 1 into 1
6.798 * [backup-simplify]: Simplify (/ -1 1) into -1
6.798 * [taylor]: Taking taylor expansion of 2e-16 in t
6.798 * [backup-simplify]: Simplify 2e-16 into 2e-16
6.798 * [taylor]: Taking taylor expansion of 1.0 in t
6.798 * [backup-simplify]: Simplify 1.0 into 1.0
6.798 * [taylor]: Taking taylor expansion of (fma (/ -1 t) 2e-16 1.0) in t
6.798 * [taylor]: Rewrote expression to (+ (* (/ -1 t) 2e-16) 1.0)
6.798 * [taylor]: Taking taylor expansion of (* (/ -1 t) 2e-16) in t
6.798 * [taylor]: Taking taylor expansion of (/ -1 t) in t
6.798 * [taylor]: Taking taylor expansion of -1 in t
6.798 * [backup-simplify]: Simplify -1 into -1
6.798 * [taylor]: Taking taylor expansion of t in t
6.798 * [backup-simplify]: Simplify 0 into 0
6.798 * [backup-simplify]: Simplify 1 into 1
6.798 * [backup-simplify]: Simplify (/ -1 1) into -1
6.798 * [taylor]: Taking taylor expansion of 2e-16 in t
6.798 * [backup-simplify]: Simplify 2e-16 into 2e-16
6.798 * [taylor]: Taking taylor expansion of 1.0 in t
6.798 * [backup-simplify]: Simplify 1.0 into 1.0
6.798 * [taylor]: Taking taylor expansion of (- (* 4e-16 (/ 1 t)) 1.0) in t
6.798 * [taylor]: Taking taylor expansion of (* 4e-16 (/ 1 t)) in t
6.798 * [taylor]: Taking taylor expansion of 4e-16 in t
6.798 * [backup-simplify]: Simplify 4e-16 into 4e-16
6.798 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.798 * [taylor]: Taking taylor expansion of t in t
6.798 * [backup-simplify]: Simplify 0 into 0
6.798 * [backup-simplify]: Simplify 1 into 1
6.799 * [backup-simplify]: Simplify (/ 1 1) into 1
6.799 * [taylor]: Taking taylor expansion of 1.0 in t
6.799 * [backup-simplify]: Simplify 1.0 into 1.0
6.799 * [backup-simplify]: Simplify (* -1 2e-16) into -2e-16
6.799 * [backup-simplify]: Simplify (+ -2e-16 0) into (- 2e-16)
6.800 * [backup-simplify]: Simplify (* -1 2e-16) into -2e-16
6.800 * [backup-simplify]: Simplify (+ -2e-16 0) into (- 2e-16)
6.801 * [backup-simplify]: Simplify (* (- 2e-16) (- 2e-16)) into 3.9999999999999997e-32
6.801 * [backup-simplify]: Simplify (+ 3.9999999999999997e-32 0) into 3.9999999999999997e-32
6.801 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
6.801 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
6.802 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 2e-16)) into 0
6.802 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.805 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
6.806 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 2e-16)) into 0
6.806 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
6.808 * [backup-simplify]: Simplify (+ (* (- 2e-16) 1.0) (* 1.0 (- 2e-16))) into (- 4e-16)
6.808 * [backup-simplify]: Simplify (* 4e-16 1) into 4e-16
6.808 * [backup-simplify]: Simplify (+ 4e-16 0) into 4e-16
6.809 * [backup-simplify]: Simplify (+ (- 4e-16) 4e-16) into 0
6.809 * [backup-simplify]: Simplify 0 into 0
6.809 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.810 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 2e-16))) into 0
6.810 * [backup-simplify]: Simplify (+ 0 0) into 0
6.811 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.811 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 2e-16))) into 0
6.812 * [backup-simplify]: Simplify (+ 0 0) into 0
6.814 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 1.0) (* 0 (- 2e-16)))) into 1.0
6.815 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.816 * [backup-simplify]: Simplify (+ (* 4e-16 0) (* 0 1)) into 0
6.816 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.817 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
6.818 * [backup-simplify]: Simplify (+ 1.0 (- 1.0)) into 0
6.818 * [backup-simplify]: Simplify 0 into 0
6.819 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.820 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))) into 0
6.820 * [backup-simplify]: Simplify (+ 0 0) into 0
6.821 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.822 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))) into 0
6.822 * [backup-simplify]: Simplify (+ 0 0) into 0
6.823 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 0) (+ (* 0 1.0) (* 0 (- 2e-16))))) into 0
6.824 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.825 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (* 0 1))) into 0
6.826 * [backup-simplify]: Simplify (- 0) into 0
6.826 * [backup-simplify]: Simplify (+ 0 0) into 0
6.826 * [backup-simplify]: Simplify (+ 0 0) into 0
6.826 * [backup-simplify]: Simplify 0 into 0
6.828 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.829 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
6.829 * [backup-simplify]: Simplify (+ 0 0) into 0
6.830 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.831 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
6.832 * [backup-simplify]: Simplify (+ 0 0) into 0
6.833 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 (- 2e-16)))))) into 0
6.834 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.835 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.835 * [backup-simplify]: Simplify (- 0) into 0
6.836 * [backup-simplify]: Simplify (+ 0 0) into 0
6.836 * [backup-simplify]: Simplify (+ 0 0) into 0
6.836 * [backup-simplify]: Simplify 0 into 0
6.837 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.838 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
6.839 * [backup-simplify]: Simplify (+ 0 0) into 0
6.840 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.841 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
6.842 * [backup-simplify]: Simplify (+ 0 0) into 0
6.843 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 (- 2e-16))))))) into 0
6.844 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.845 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.846 * [backup-simplify]: Simplify (- 0) into 0
6.846 * [backup-simplify]: Simplify (+ 0 0) into 0
6.846 * [backup-simplify]: Simplify (+ 0 0) into 0
6.846 * [backup-simplify]: Simplify 0 into 0
6.847 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.849 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0
6.849 * [backup-simplify]: Simplify (+ 0 0) into 0
6.850 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.852 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0
6.852 * [backup-simplify]: Simplify (+ 0 0) into 0
6.855 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 (- 2e-16)))))))) into 0
6.855 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.857 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.857 * [backup-simplify]: Simplify (- 0) into 0
6.857 * [backup-simplify]: Simplify (+ 0 0) into 0
6.858 * [backup-simplify]: Simplify (+ 0 0) into 0
6.858 * [backup-simplify]: Simplify 0 into 0
6.858 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
6.858 * * * [progress]: simplifying candidates
6.859 * [simplify]: Simplifying:
  (expm1 (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16)))))
  (log1p (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16)))))
  (* (fma t 2e-16 1.0) (fma t 2e-16 1.0))
  (log (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16)))))
  (exp (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16)))))
  (* (cbrt (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16))))) (cbrt (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16))))))
  (cbrt (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16)))))
  (* (* (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16)))) (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16))))) (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16)))))
  (sqrt (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16)))))
  (sqrt (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16)))))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
6.860 * * [simplify]: Extracting # 0 : cost  0
6.860 * * [simplify]: Extracting # 1 : cost  0
6.860 * * [simplify]: Extracting # 2 : cost  0
6.860 * * [simplify]: Extracting # 3 : cost  0
6.860 * * [simplify]: Extracting # 4 : cost  0
6.860 * * [simplify]: Extracting # 5 : cost  0
6.860 * * [simplify]: Extracting # 6 : cost  0
6.860 * * [simplify]: Extracting # 7 : cost  0
6.860 * * [simplify]: Extracting # 8 : cost  0
6.860 * * [simplify]: iteration  0 :  24  enodes  (cost  228 )
6.867 * * [simplify]: Extracting # 0 : cost  0
6.867 * * [simplify]: Extracting # 1 : cost  0
6.868 * * [simplify]: Extracting # 2 : cost  0
6.868 * * [simplify]: Extracting # 3 : cost  0
6.868 * * [simplify]: iteration  1 :  39  enodes  (cost  228 )
6.884 * * [simplify]: Extracting # 0 : cost  0
6.884 * * [simplify]: Extracting # 1 : cost  0
6.884 * * [simplify]: Extracting # 2 : cost  0
6.884 * * [simplify]: Extracting # 3 : cost  0
6.885 * * [simplify]: iteration  2 :  98  enodes  (cost  196 )
6.933 * * [simplify]: Extracting # 0 : cost  0
6.933 * * [simplify]: Extracting # 1 : cost  0
6.934 * * [simplify]: Extracting # 2 : cost  0
6.935 * * [simplify]: Extracting # 3 : cost  0
6.935 * * [simplify]: Extracting # 4 : cost  0
6.936 * * [simplify]: iteration  3 :  327  enodes  (cost  196 )
7.307 * * [simplify]: Extracting # 0 : cost  0
7.309 * * [simplify]: Extracting # 1 : cost  0
7.311 * * [simplify]: Extracting # 2 : cost  0
7.313 * * [simplify]: Extracting # 3 : cost  0
7.319 * * [simplify]: Extracting # 4 : cost  0
7.321 * * [simplify]: iteration  4 :  1914  enodes  (cost  196 )
8.475 * * [simplify]: Extracting # 0 : cost  0
8.485 * * [simplify]: Extracting # 1 : cost  0
8.502 * * [simplify]: Extracting # 2 : cost  0
8.513 * * [simplify]: Extracting # 3 : cost  0
8.525 * * [simplify]: Extracting # 4 : cost  0
8.537 * * [simplify]: iteration done:  5002  enodes  (cost  196 )
8.537 * [simplify]: Simplified to:
  (expm1 (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16)))))
  (log1p (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16)))))
  (* (fma t 2e-16 1.0) (fma t 2e-16 1.0))
  (log (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16)))))
  (exp (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16)))))
  (* (cbrt (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16))))) (cbrt (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16))))))
  (cbrt (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16)))))
  (pow (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16)))) 3)
  (sqrt (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16)))))
  (sqrt (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16)))))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
8.537 * * * [progress]: adding candidates to table
8.575 * * [progress]: iteration 2 / 4
8.576 * * * [progress]: picking best candidate
8.581 * * * * [pick]: Picked  #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
8.582 * * * [progress]: localizing error
8.586 * * * [progress]: generating rewritten candidates
8.586 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
8.608 * * * [progress]: generating series expansions
8.608 * * * * [progress]: [ 1 / 1 ] generating series at (2)
8.609 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
8.609 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
8.609 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
8.609 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.609 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.609 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.609 * [taylor]: Taking taylor expansion of t in t
8.609 * [backup-simplify]: Simplify 0 into 0
8.609 * [backup-simplify]: Simplify 1 into 1
8.609 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
8.609 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.609 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.609 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.609 * [taylor]: Taking taylor expansion of t in t
8.609 * [backup-simplify]: Simplify 0 into 0
8.609 * [backup-simplify]: Simplify 1 into 1
8.609 * [backup-simplify]: Simplify (* 1 1) into 1
8.610 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.610 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.610 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.611 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
8.611 * [backup-simplify]: Simplify 0 into 0
8.611 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.612 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
8.612 * [backup-simplify]: Simplify 0 into 0
8.612 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.613 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.613 * [backup-simplify]: Simplify 0 into 0
8.614 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.614 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.614 * [backup-simplify]: Simplify 0 into 0
8.615 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.616 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.616 * [backup-simplify]: Simplify 0 into 0
8.617 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.618 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.618 * [backup-simplify]: Simplify 0 into 0
8.618 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
8.618 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 t) 2)) into (/ 3.9999999999999997e-32 (pow t 2))
8.618 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
8.618 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
8.618 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.618 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.618 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.618 * [taylor]: Taking taylor expansion of t in t
8.618 * [backup-simplify]: Simplify 0 into 0
8.618 * [backup-simplify]: Simplify 1 into 1
8.618 * [backup-simplify]: Simplify (* 1 1) into 1
8.619 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.619 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
8.619 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.619 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.619 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.619 * [taylor]: Taking taylor expansion of t in t
8.619 * [backup-simplify]: Simplify 0 into 0
8.619 * [backup-simplify]: Simplify 1 into 1
8.619 * [backup-simplify]: Simplify (* 1 1) into 1
8.619 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.619 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.620 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.620 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
8.620 * [backup-simplify]: Simplify 0 into 0
8.621 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.621 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.621 * [backup-simplify]: Simplify 0 into 0
8.622 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.623 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.623 * [backup-simplify]: Simplify 0 into 0
8.623 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.624 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.624 * [backup-simplify]: Simplify 0 into 0
8.625 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.625 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.625 * [backup-simplify]: Simplify 0 into 0
8.626 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.627 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.627 * [backup-simplify]: Simplify 0 into 0
8.627 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
8.627 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (- t)) 2)) into (/ 3.9999999999999997e-32 (pow t 2))
8.627 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
8.627 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
8.627 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.627 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.627 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.627 * [taylor]: Taking taylor expansion of t in t
8.627 * [backup-simplify]: Simplify 0 into 0
8.627 * [backup-simplify]: Simplify 1 into 1
8.627 * [backup-simplify]: Simplify (* 1 1) into 1
8.628 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.628 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
8.628 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.628 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.628 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.628 * [taylor]: Taking taylor expansion of t in t
8.628 * [backup-simplify]: Simplify 0 into 0
8.628 * [backup-simplify]: Simplify 1 into 1
8.628 * [backup-simplify]: Simplify (* 1 1) into 1
8.628 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.628 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.629 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.629 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
8.629 * [backup-simplify]: Simplify 0 into 0
8.630 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.630 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.630 * [backup-simplify]: Simplify 0 into 0
8.631 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.632 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.632 * [backup-simplify]: Simplify 0 into 0
8.633 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.633 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.633 * [backup-simplify]: Simplify 0 into 0
8.634 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.634 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.635 * [backup-simplify]: Simplify 0 into 0
8.636 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.637 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.637 * [backup-simplify]: Simplify 0 into 0
8.637 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
8.637 * * * [progress]: simplifying candidates
8.638 * [simplify]: Simplifying:
  (expm1 (* 3.9999999999999997e-32 (pow t 2)))
  (log1p (* 3.9999999999999997e-32 (pow t 2)))
  (+ (log 3.9999999999999997e-32) (* (log t) 2))
  (+ (log 3.9999999999999997e-32) (* (log t) 2))
  (+ (log 3.9999999999999997e-32) (log (pow t 2)))
  (log (* 3.9999999999999997e-32 (pow t 2)))
  (exp (* 3.9999999999999997e-32 (pow t 2)))
  (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* (pow t 2) (pow t 2)) (pow t 2)))
  (* (cbrt (* 3.9999999999999997e-32 (pow t 2))) (cbrt (* 3.9999999999999997e-32 (pow t 2))))
  (cbrt (* 3.9999999999999997e-32 (pow t 2)))
  (* (* (* 3.9999999999999997e-32 (pow t 2)) (* 3.9999999999999997e-32 (pow t 2))) (* 3.9999999999999997e-32 (pow t 2)))
  (sqrt (* 3.9999999999999997e-32 (pow t 2)))
  (sqrt (* 3.9999999999999997e-32 (pow t 2)))
  (* (sqrt 3.9999999999999997e-32) (pow (sqrt t) 2))
  (* (sqrt 3.9999999999999997e-32) (pow (sqrt t) 2))
  (* (sqrt 3.9999999999999997e-32) t)
  (* (sqrt 3.9999999999999997e-32) t)
  (* (sqrt 3.9999999999999997e-32) (sqrt (pow t 2)))
  (* (sqrt 3.9999999999999997e-32) (sqrt (pow t 2)))
  (* (sqrt 3.9999999999999997e-32) (pow t (/ 2 2)))
  (* (sqrt 3.9999999999999997e-32) (pow t (/ 2 2)))
  (* 3.9999999999999997e-32 (pow (* (cbrt t) (cbrt t)) 2))
  (* 3.9999999999999997e-32 (pow (sqrt t) 2))
  (* 3.9999999999999997e-32 (pow 1 2))
  (* 3.9999999999999997e-32 t)
  (* 3.9999999999999997e-32 (* (cbrt (pow t 2)) (cbrt (pow t 2))))
  (* 3.9999999999999997e-32 (sqrt (pow t 2)))
  (* 3.9999999999999997e-32 1)
  (* 3.9999999999999997e-32 (pow t (/ 2 2)))
  (* (cbrt 3.9999999999999997e-32) (pow t 2))
  (* (sqrt 3.9999999999999997e-32) (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
8.640 * * [simplify]: Extracting # 0 : cost  0
8.640 * * [simplify]: Extracting # 1 : cost  0
8.640 * * [simplify]: Extracting # 2 : cost  0
8.640 * * [simplify]: Extracting # 3 : cost  0
8.640 * * [simplify]: Extracting # 4 : cost  0
8.640 * * [simplify]: Extracting # 5 : cost  0
8.640 * * [simplify]: Extracting # 6 : cost  0
8.641 * * [simplify]: iteration  0 :  53  enodes  (cost  244 )
8.661 * * [simplify]: Extracting # 0 : cost  0
8.661 * * [simplify]: Extracting # 1 : cost  0
8.661 * * [simplify]: Extracting # 2 : cost  0
8.661 * * [simplify]: Extracting # 3 : cost  0
8.661 * * [simplify]: Extracting # 4 : cost  0
8.661 * * [simplify]: iteration  1 :  109  enodes  (cost  221 )
8.701 * * [simplify]: Extracting # 0 : cost  0
8.702 * * [simplify]: Extracting # 1 : cost  0
8.702 * * [simplify]: Extracting # 2 : cost  0
8.703 * * [simplify]: Extracting # 3 : cost  0
8.703 * * [simplify]: Extracting # 4 : cost  0
8.703 * * [simplify]: iteration  2 :  237  enodes  (cost  188 )
8.857 * * [simplify]: Extracting # 0 : cost  0
8.859 * * [simplify]: Extracting # 1 : cost  0
8.860 * * [simplify]: Extracting # 2 : cost  0
8.861 * * [simplify]: Extracting # 3 : cost  0
8.863 * * [simplify]: Extracting # 4 : cost  0
8.864 * * [simplify]: iteration  3 :  672  enodes  (cost  188 )
10.292 * * [simplify]: Extracting # 0 : cost  0
10.297 * * [simplify]: Extracting # 1 : cost  0
10.301 * * [simplify]: Extracting # 2 : cost  0
10.304 * * [simplify]: Extracting # 3 : cost  0
10.307 * * [simplify]: Extracting # 4 : cost  0
10.311 * * [simplify]: iteration  4 :  3356  enodes  (cost  185 )
12.969 * * [simplify]: Extracting # 0 : cost  0
12.977 * * [simplify]: Extracting # 1 : cost  0
12.983 * * [simplify]: Extracting # 2 : cost  0
12.992 * * [simplify]: Extracting # 3 : cost  0
12.998 * * [simplify]: iteration done:  5001  enodes  (cost  185 )
12.998 * [simplify]: Simplified to:
  (expm1 (* 3.9999999999999997e-32 (pow t 2)))
  (log1p (* 3.9999999999999997e-32 (pow t 2)))
  (log (* 3.9999999999999997e-32 (pow t 2)))
  (log (* 3.9999999999999997e-32 (pow t 2)))
  (log (* 3.9999999999999997e-32 (pow t 2)))
  (log (* 3.9999999999999997e-32 (pow t 2)))
  (exp (* 3.9999999999999997e-32 (pow t 2)))
  (pow (* 3.9999999999999997e-32 (pow t 2)) 3)
  (* (cbrt (* 3.9999999999999997e-32 (pow t 2))) (cbrt (* 3.9999999999999997e-32 (pow t 2))))
  (cbrt (* 3.9999999999999997e-32 (pow t 2)))
  (pow (* 3.9999999999999997e-32 (pow t 2)) 3)
  (sqrt (* 3.9999999999999997e-32 (pow t 2)))
  (sqrt (* 3.9999999999999997e-32 (pow t 2)))
  (* t (sqrt 3.9999999999999997e-32))
  (* t (sqrt 3.9999999999999997e-32))
  (* t (sqrt 3.9999999999999997e-32))
  (* t (sqrt 3.9999999999999997e-32))
  (* (sqrt 3.9999999999999997e-32) (fabs t))
  (* (sqrt 3.9999999999999997e-32) (fabs t))
  (* t (sqrt 3.9999999999999997e-32))
  (* t (sqrt 3.9999999999999997e-32))
  (* (* (cbrt t) 3.9999999999999997e-32) t)
  (* t 3.9999999999999997e-32)
  3.9999999999999997e-32
  (* t 3.9999999999999997e-32)
  (* 3.9999999999999997e-32 (* (cbrt (pow t 2)) (cbrt (pow t 2))))
  (* (fabs t) 3.9999999999999997e-32)
  3.9999999999999997e-32
  (* t 3.9999999999999997e-32)
  (* (cbrt 3.9999999999999997e-32) (pow t 2))
  (* (sqrt 3.9999999999999997e-32) (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
12.998 * * * [progress]: adding candidates to table
13.065 * * [progress]: iteration 3 / 4
13.066 * * * [progress]: picking best candidate
13.085 * * * * [pick]: Picked  #<alt (λ (t) (* (* t 3.9999999999999997e-32) (pow t (/ 2 2))))>
13.085 * * * [progress]: localizing error
13.098 * * * [progress]: generating rewritten candidates
13.099 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
13.147 * * * [progress]: generating series expansions
13.147 * * * * [progress]: [ 1 / 1 ] generating series at (2)
13.148 * [backup-simplify]: Simplify (* (* t 3.9999999999999997e-32) (pow t (/ 2 2))) into (* 3.9999999999999997e-32 (pow t 2))
13.148 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
13.148 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
13.148 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
13.148 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
13.148 * [taylor]: Taking taylor expansion of (pow t 2) in t
13.148 * [taylor]: Taking taylor expansion of t in t
13.148 * [backup-simplify]: Simplify 0 into 0
13.148 * [backup-simplify]: Simplify 1 into 1
13.148 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
13.148 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
13.148 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
13.149 * [taylor]: Taking taylor expansion of (pow t 2) in t
13.149 * [taylor]: Taking taylor expansion of t in t
13.149 * [backup-simplify]: Simplify 0 into 0
13.149 * [backup-simplify]: Simplify 1 into 1
13.149 * [backup-simplify]: Simplify (* 1 1) into 1
13.150 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
13.150 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
13.150 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.151 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
13.151 * [backup-simplify]: Simplify 0 into 0
13.152 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.153 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
13.153 * [backup-simplify]: Simplify 0 into 0
13.154 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.155 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.155 * [backup-simplify]: Simplify 0 into 0
13.156 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.158 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.158 * [backup-simplify]: Simplify 0 into 0
13.159 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
13.161 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
13.161 * [backup-simplify]: Simplify 0 into 0
13.163 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
13.164 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
13.164 * [backup-simplify]: Simplify 0 into 0
13.164 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
13.164 * [backup-simplify]: Simplify (* (* (/ 1 t) 3.9999999999999997e-32) (pow (/ 1 t) (/ 2 2))) into (/ 3.9999999999999997e-32 (pow t 2))
13.164 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
13.164 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
13.164 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
13.164 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
13.164 * [taylor]: Taking taylor expansion of (pow t 2) in t
13.164 * [taylor]: Taking taylor expansion of t in t
13.164 * [backup-simplify]: Simplify 0 into 0
13.164 * [backup-simplify]: Simplify 1 into 1
13.165 * [backup-simplify]: Simplify (* 1 1) into 1
13.165 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
13.165 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
13.165 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
13.165 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
13.165 * [taylor]: Taking taylor expansion of (pow t 2) in t
13.165 * [taylor]: Taking taylor expansion of t in t
13.165 * [backup-simplify]: Simplify 0 into 0
13.165 * [backup-simplify]: Simplify 1 into 1
13.165 * [backup-simplify]: Simplify (* 1 1) into 1
13.166 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
13.166 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
13.166 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.167 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
13.167 * [backup-simplify]: Simplify 0 into 0
13.167 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.168 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.168 * [backup-simplify]: Simplify 0 into 0
13.168 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.169 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.169 * [backup-simplify]: Simplify 0 into 0
13.170 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.170 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.170 * [backup-simplify]: Simplify 0 into 0
13.171 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
13.172 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.172 * [backup-simplify]: Simplify 0 into 0
13.172 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
13.173 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.173 * [backup-simplify]: Simplify 0 into 0
13.173 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
13.174 * [backup-simplify]: Simplify (* (* (/ 1 (- t)) 3.9999999999999997e-32) (pow (/ 1 (- t)) (/ 2 2))) into (/ 3.9999999999999997e-32 (pow t 2))
13.174 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
13.174 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
13.174 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
13.174 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
13.174 * [taylor]: Taking taylor expansion of (pow t 2) in t
13.174 * [taylor]: Taking taylor expansion of t in t
13.174 * [backup-simplify]: Simplify 0 into 0
13.174 * [backup-simplify]: Simplify 1 into 1
13.174 * [backup-simplify]: Simplify (* 1 1) into 1
13.174 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
13.174 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
13.174 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
13.175 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
13.175 * [taylor]: Taking taylor expansion of (pow t 2) in t
13.175 * [taylor]: Taking taylor expansion of t in t
13.175 * [backup-simplify]: Simplify 0 into 0
13.175 * [backup-simplify]: Simplify 1 into 1
13.175 * [backup-simplify]: Simplify (* 1 1) into 1
13.175 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
13.175 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
13.176 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
13.176 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
13.176 * [backup-simplify]: Simplify 0 into 0
13.177 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
13.177 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.177 * [backup-simplify]: Simplify 0 into 0
13.178 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
13.178 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.178 * [backup-simplify]: Simplify 0 into 0
13.179 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
13.180 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.180 * [backup-simplify]: Simplify 0 into 0
13.181 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
13.181 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.181 * [backup-simplify]: Simplify 0 into 0
13.182 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
13.183 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
13.183 * [backup-simplify]: Simplify 0 into 0
13.183 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
13.183 * * * [progress]: simplifying candidates
13.183 * [simplify]: Simplifying:
  (expm1 (* (* t 3.9999999999999997e-32) (pow t (/ 2 2))))
  (log1p (* (* t 3.9999999999999997e-32) (pow t (/ 2 2))))
  (+ (+ (log t) (log 3.9999999999999997e-32)) (* (log t) (/ 2 2)))
  (+ (+ (log t) (log 3.9999999999999997e-32)) (* (log t) (/ 2 2)))
  (+ (+ (log t) (log 3.9999999999999997e-32)) (log (pow t (/ 2 2))))
  (+ (log (* t 3.9999999999999997e-32)) (* (log t) (/ 2 2)))
  (+ (log (* t 3.9999999999999997e-32)) (* (log t) (/ 2 2)))
  (+ (log (* t 3.9999999999999997e-32)) (log (pow t (/ 2 2))))
  (log (* (* t 3.9999999999999997e-32) (pow t (/ 2 2))))
  (exp (* (* t 3.9999999999999997e-32) (pow t (/ 2 2))))
  (* (* (* (* t t) t) (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32)) (* (* (pow t (/ 2 2)) (pow t (/ 2 2))) (pow t (/ 2 2))))
  (* (* (* (* t 3.9999999999999997e-32) (* t 3.9999999999999997e-32)) (* t 3.9999999999999997e-32)) (* (* (pow t (/ 2 2)) (pow t (/ 2 2))) (pow t (/ 2 2))))
  (* (cbrt (* (* t 3.9999999999999997e-32) (pow t (/ 2 2)))) (cbrt (* (* t 3.9999999999999997e-32) (pow t (/ 2 2)))))
  (cbrt (* (* t 3.9999999999999997e-32) (pow t (/ 2 2))))
  (* (* (* (* t 3.9999999999999997e-32) (pow t (/ 2 2))) (* (* t 3.9999999999999997e-32) (pow t (/ 2 2)))) (* (* t 3.9999999999999997e-32) (pow t (/ 2 2))))
  (sqrt (* (* t 3.9999999999999997e-32) (pow t (/ 2 2))))
  (sqrt (* (* t 3.9999999999999997e-32) (pow t (/ 2 2))))
  (* (* t 3.9999999999999997e-32) (pow (* (cbrt t) (cbrt t)) (/ 2 2)))
  (* (* t 3.9999999999999997e-32) (pow (sqrt t) (/ 2 2)))
  (* (* t 3.9999999999999997e-32) (pow 1 (/ 2 2)))
  (* (* t 3.9999999999999997e-32) (* (cbrt (pow t (/ 2 2))) (cbrt (pow t (/ 2 2)))))
  (* (* t 3.9999999999999997e-32) (sqrt (pow t (/ 2 2))))
  (* (* t 3.9999999999999997e-32) 1)
  (* (* t 3.9999999999999997e-32) (pow t (/ (/ 2 2) 2)))
  (* 3.9999999999999997e-32 (pow t (/ 2 2)))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
13.184 * * [simplify]: Extracting # 0 : cost  0
13.184 * * [simplify]: Extracting # 1 : cost  0
13.184 * * [simplify]: Extracting # 2 : cost  0
13.184 * * [simplify]: Extracting # 3 : cost  0
13.184 * * [simplify]: Extracting # 4 : cost  0
13.184 * * [simplify]: Extracting # 5 : cost  0
13.185 * * [simplify]: Extracting # 6 : cost  0
13.185 * * [simplify]: iteration  0 :  59  enodes  (cost  344 )
13.208 * * [simplify]: Extracting # 0 : cost  0
13.209 * * [simplify]: Extracting # 1 : cost  0
13.209 * * [simplify]: Extracting # 2 : cost  0
13.209 * * [simplify]: Extracting # 3 : cost  0
13.210 * * [simplify]: iteration  1 :  149  enodes  (cost  251 )
13.314 * * [simplify]: Extracting # 0 : cost  0
13.315 * * [simplify]: Extracting # 1 : cost  0
13.315 * * [simplify]: Extracting # 2 : cost  0
13.315 * * [simplify]: Extracting # 3 : cost  0
13.316 * * [simplify]: Extracting # 4 : cost  0
13.316 * * [simplify]: Extracting # 5 : cost  0
13.317 * * [simplify]: iteration  2 :  438  enodes  (cost  172 )
13.986 * * [simplify]: Extracting # 0 : cost  0
13.990 * * [simplify]: Extracting # 1 : cost  0
13.992 * * [simplify]: Extracting # 2 : cost  0
13.995 * * [simplify]: Extracting # 3 : cost  0
13.997 * * [simplify]: Extracting # 4 : cost  0
13.999 * * [simplify]: iteration  3 :  1545  enodes  (cost  169 )
16.169 * * [simplify]: Extracting # 0 : cost  0
16.182 * * [simplify]: Extracting # 1 : cost  0
16.187 * * [simplify]: Extracting # 2 : cost  0
16.194 * * [simplify]: Extracting # 3 : cost  0
16.199 * * [simplify]: Extracting # 4 : cost  0
16.205 * * [simplify]: Extracting # 5 : cost  0
16.213 * * [simplify]: iteration done:  5001  enodes  (cost  169 )
16.214 * [simplify]: Simplified to:
  (expm1 (* (* t 3.9999999999999997e-32) t))
  (log1p (* (* t 3.9999999999999997e-32) t))
  (log (* (* t 3.9999999999999997e-32) t))
  (log (* (* t 3.9999999999999997e-32) t))
  (log (* (* t 3.9999999999999997e-32) t))
  (log (* (* t 3.9999999999999997e-32) t))
  (log (* (* t 3.9999999999999997e-32) t))
  (log (* (* t 3.9999999999999997e-32) t))
  (log (* (* t 3.9999999999999997e-32) t))
  (pow (exp (* t 3.9999999999999997e-32)) t)
  (pow (* 3.9999999999999997e-32 (pow t 2)) 3)
  (pow (* 3.9999999999999997e-32 (pow t 2)) 3)
  (* (cbrt (* 3.9999999999999997e-32 (pow t 2))) (cbrt (* 3.9999999999999997e-32 (pow t 2))))
  (cbrt (* 3.9999999999999997e-32 (pow t 2)))
  (pow (* 3.9999999999999997e-32 (pow t 2)) 3)
  (sqrt (* 3.9999999999999997e-32 (pow t 2)))
  (sqrt (* 3.9999999999999997e-32 (pow t 2)))
  (* (* (cbrt t) (cbrt t)) (* t 3.9999999999999997e-32))
  (* (pow t 3/2) 3.9999999999999997e-32)
  (* t 3.9999999999999997e-32)
  (* (* (cbrt t) (cbrt t)) (* t 3.9999999999999997e-32))
  (* (pow t 3/2) 3.9999999999999997e-32)
  (* t 3.9999999999999997e-32)
  (* (pow t 3/2) 3.9999999999999997e-32)
  (* t 3.9999999999999997e-32)
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
16.214 * * * [progress]: adding candidates to table
16.274 * * [progress]: iteration 4 / 4
16.274 * * * [progress]: picking best candidate
16.283 * * * * [pick]: Picked  #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))))>
16.283 * * * [progress]: localizing error
16.293 * * * [progress]: generating rewritten candidates
16.293 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
16.326 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
16.371 * * * [progress]: generating series expansions
16.371 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
16.372 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow t 2)) into (* (pow t 2) (sqrt 3.9999999999999997e-32))
16.372 * [approximate]: Taking taylor expansion of (* (pow t 2) (sqrt 3.9999999999999997e-32)) in (t) around 0
16.372 * [taylor]: Taking taylor expansion of (* (pow t 2) (sqrt 3.9999999999999997e-32)) in t
16.372 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.372 * [taylor]: Taking taylor expansion of t in t
16.372 * [backup-simplify]: Simplify 0 into 0
16.372 * [backup-simplify]: Simplify 1 into 1
16.372 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
16.372 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
16.372 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
16.372 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
16.373 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.373 * [taylor]: Taking taylor expansion of (* (pow t 2) (sqrt 3.9999999999999997e-32)) in t
16.373 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.373 * [taylor]: Taking taylor expansion of t in t
16.373 * [backup-simplify]: Simplify 0 into 0
16.373 * [backup-simplify]: Simplify 1 into 1
16.373 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
16.373 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
16.373 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
16.373 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
16.373 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.374 * [backup-simplify]: Simplify (* 1 1) into 1
16.374 * [backup-simplify]: Simplify (* 1 (sqrt 3.9999999999999997e-32)) into (sqrt 3.9999999999999997e-32)
16.375 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
16.375 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.376 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
16.376 * [backup-simplify]: Simplify 0 into 0
16.377 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.377 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.378 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
16.378 * [backup-simplify]: Simplify 0 into 0
16.379 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.379 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.380 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
16.380 * [backup-simplify]: Simplify 0 into 0
16.381 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.382 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.383 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
16.383 * [backup-simplify]: Simplify 0 into 0
16.384 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.385 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.387 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
16.387 * [backup-simplify]: Simplify 0 into 0
16.389 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.390 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.392 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))))) into 0
16.392 * [backup-simplify]: Simplify 0 into 0
16.393 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow t 2)) into (* (pow t 2) (sqrt 3.9999999999999997e-32))
16.393 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow (/ 1 t) 2)) into (/ (sqrt 3.9999999999999997e-32) (pow t 2))
16.393 * [approximate]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in (t) around 0
16.393 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t
16.393 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
16.393 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
16.393 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
16.394 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
16.395 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.395 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.395 * [taylor]: Taking taylor expansion of t in t
16.395 * [backup-simplify]: Simplify 0 into 0
16.395 * [backup-simplify]: Simplify 1 into 1
16.395 * [backup-simplify]: Simplify (* 1 1) into 1
16.396 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32)
16.396 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t
16.396 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
16.396 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
16.396 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
16.397 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
16.398 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.398 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.398 * [taylor]: Taking taylor expansion of t in t
16.398 * [backup-simplify]: Simplify 0 into 0
16.398 * [backup-simplify]: Simplify 1 into 1
16.398 * [backup-simplify]: Simplify (* 1 1) into 1
16.400 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32)
16.400 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
16.401 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.402 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)))) into 0
16.402 * [backup-simplify]: Simplify 0 into 0
16.404 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.405 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.406 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.406 * [backup-simplify]: Simplify 0 into 0
16.407 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.409 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.410 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.410 * [backup-simplify]: Simplify 0 into 0
16.412 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.413 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.414 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.414 * [backup-simplify]: Simplify 0 into 0
16.416 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.417 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.417 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.417 * [backup-simplify]: Simplify 0 into 0
16.418 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.419 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.420 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.420 * [backup-simplify]: Simplify 0 into 0
16.420 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow (/ 1 (/ 1 t)) 2)) into (* (pow t 2) (sqrt 3.9999999999999997e-32))
16.421 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow (/ 1 (- t)) 2)) into (/ (sqrt 3.9999999999999997e-32) (pow t 2))
16.421 * [approximate]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in (t) around 0
16.421 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t
16.421 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
16.421 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
16.421 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
16.421 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
16.422 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.422 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.422 * [taylor]: Taking taylor expansion of t in t
16.422 * [backup-simplify]: Simplify 0 into 0
16.422 * [backup-simplify]: Simplify 1 into 1
16.422 * [backup-simplify]: Simplify (* 1 1) into 1
16.423 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32)
16.423 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t
16.423 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
16.423 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
16.423 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
16.423 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
16.423 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.423 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.423 * [taylor]: Taking taylor expansion of t in t
16.423 * [backup-simplify]: Simplify 0 into 0
16.423 * [backup-simplify]: Simplify 1 into 1
16.424 * [backup-simplify]: Simplify (* 1 1) into 1
16.424 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32)
16.425 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
16.425 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.426 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)))) into 0
16.426 * [backup-simplify]: Simplify 0 into 0
16.426 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.427 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.427 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.428 * [backup-simplify]: Simplify 0 into 0
16.428 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.429 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.430 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.430 * [backup-simplify]: Simplify 0 into 0
16.431 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.431 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.432 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.432 * [backup-simplify]: Simplify 0 into 0
16.433 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.433 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.434 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.434 * [backup-simplify]: Simplify 0 into 0
16.435 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.436 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.437 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.437 * [backup-simplify]: Simplify 0 into 0
16.437 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow (/ 1 (/ 1 (- t))) 2)) into (* (pow t 2) (sqrt 3.9999999999999997e-32))
16.437 * * * * [progress]: [ 2 / 2 ] generating series at (2)
16.438 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
16.438 * [approximate]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) in (t) around 0
16.438 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) in t
16.438 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.438 * [taylor]: Taking taylor expansion of t in t
16.438 * [backup-simplify]: Simplify 0 into 0
16.438 * [backup-simplify]: Simplify 1 into 1
16.438 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
16.438 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
16.438 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
16.438 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
16.438 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
16.439 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.439 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) in t
16.439 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.439 * [taylor]: Taking taylor expansion of t in t
16.439 * [backup-simplify]: Simplify 0 into 0
16.439 * [backup-simplify]: Simplify 1 into 1
16.439 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
16.439 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
16.439 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
16.439 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
16.439 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
16.440 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.440 * [backup-simplify]: Simplify (* 1 1) into 1
16.441 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
16.442 * [backup-simplify]: Simplify (* 1 (pow (sqrt 3.9999999999999997e-32) 2)) into (pow (sqrt 3.9999999999999997e-32) 2)
16.442 * [backup-simplify]: Simplify (pow (sqrt 3.9999999999999997e-32) 2) into (pow (sqrt 3.9999999999999997e-32) 2)
16.443 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
16.443 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.444 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))) into 0
16.445 * [backup-simplify]: Simplify 0 into 0
16.446 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.447 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
16.447 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.449 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))) into 0
16.449 * [backup-simplify]: Simplify 0 into 0
16.450 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.451 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
16.452 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.454 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))))) into 0
16.454 * [backup-simplify]: Simplify 0 into 0
16.455 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.456 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
16.458 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.459 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))))) into 0
16.460 * [backup-simplify]: Simplify 0 into 0
16.461 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.463 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
16.464 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.466 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))))))) into 0
16.466 * [backup-simplify]: Simplify 0 into 0
16.468 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.469 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))))) into 0
16.471 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.473 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))))))) into 0
16.473 * [backup-simplify]: Simplify 0 into 0
16.474 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
16.475 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow (/ 1 t) 2))) into (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2))
16.475 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in (t) around 0
16.475 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t
16.475 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
16.475 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
16.475 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
16.475 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
16.475 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
16.476 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.476 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.476 * [taylor]: Taking taylor expansion of t in t
16.476 * [backup-simplify]: Simplify 0 into 0
16.476 * [backup-simplify]: Simplify 1 into 1
16.477 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
16.477 * [backup-simplify]: Simplify (* 1 1) into 1
16.479 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2)
16.479 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t
16.479 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
16.479 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
16.479 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
16.479 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
16.479 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
16.480 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.480 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.480 * [taylor]: Taking taylor expansion of t in t
16.480 * [backup-simplify]: Simplify 0 into 0
16.480 * [backup-simplify]: Simplify 1 into 1
16.481 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
16.481 * [backup-simplify]: Simplify (* 1 1) into 1
16.483 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2)
16.484 * [backup-simplify]: Simplify (pow (sqrt 3.9999999999999997e-32) 2) into (pow (sqrt 3.9999999999999997e-32) 2)
16.485 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
16.485 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.486 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)))) into 0
16.487 * [backup-simplify]: Simplify 0 into 0
16.488 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.494 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
16.496 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.497 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.497 * [backup-simplify]: Simplify 0 into 0
16.498 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.500 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
16.501 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.502 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.502 * [backup-simplify]: Simplify 0 into 0
16.504 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.505 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
16.506 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.508 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.508 * [backup-simplify]: Simplify 0 into 0
16.509 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.511 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
16.512 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.514 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.514 * [backup-simplify]: Simplify 0 into 0
16.515 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.516 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))))) into 0
16.517 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.518 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.518 * [backup-simplify]: Simplify 0 into 0
16.519 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (/ 1 (/ 1 t)) 2)) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
16.519 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow (/ 1 (- t)) 2))) into (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2))
16.519 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in (t) around 0
16.519 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t
16.519 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
16.520 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
16.520 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
16.520 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
16.520 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
16.520 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.520 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.520 * [taylor]: Taking taylor expansion of t in t
16.520 * [backup-simplify]: Simplify 0 into 0
16.520 * [backup-simplify]: Simplify 1 into 1
16.521 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
16.521 * [backup-simplify]: Simplify (* 1 1) into 1
16.523 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2)
16.523 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t
16.523 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
16.523 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
16.523 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
16.523 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
16.523 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
16.523 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.523 * [taylor]: Taking taylor expansion of (pow t 2) in t
16.523 * [taylor]: Taking taylor expansion of t in t
16.523 * [backup-simplify]: Simplify 0 into 0
16.523 * [backup-simplify]: Simplify 1 into 1
16.524 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
16.524 * [backup-simplify]: Simplify (* 1 1) into 1
16.526 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2)
16.526 * [backup-simplify]: Simplify (pow (sqrt 3.9999999999999997e-32) 2) into (pow (sqrt 3.9999999999999997e-32) 2)
16.527 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
16.527 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
16.528 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)))) into 0
16.528 * [backup-simplify]: Simplify 0 into 0
16.528 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.529 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
16.530 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
16.530 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.530 * [backup-simplify]: Simplify 0 into 0
16.531 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.532 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
16.533 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
16.533 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.533 * [backup-simplify]: Simplify 0 into 0
16.534 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.535 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
16.536 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
16.537 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.537 * [backup-simplify]: Simplify 0 into 0
16.537 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.538 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
16.539 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
16.540 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.540 * [backup-simplify]: Simplify 0 into 0
16.541 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
16.542 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))))) into 0
16.543 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
16.544 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.544 * [backup-simplify]: Simplify 0 into 0
16.545 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (/ 1 (/ 1 (- t))) 2)) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
16.546 * * * [progress]: simplifying candidates
16.548 * [simplify]: Simplifying:
  (expm1 (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (log1p (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (+ (log (sqrt 3.9999999999999997e-32)) (* (log t) 2))
  (+ (log (sqrt 3.9999999999999997e-32)) (* (log t) 2))
  (+ (log (sqrt 3.9999999999999997e-32)) (log (pow t 2)))
  (log (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (exp (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (pow t 2) (pow t 2)) (pow t 2)))
  (* (cbrt (* (sqrt 3.9999999999999997e-32) (pow t 2))) (cbrt (* (sqrt 3.9999999999999997e-32) (pow t 2))))
  (cbrt (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (* (* (* (sqrt 3.9999999999999997e-32) (pow t 2)) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (sqrt (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (sqrt (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (pow (sqrt t) 2))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (pow (sqrt t) 2))
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (pow t 2)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (pow t 2)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (pow t (/ 2 2)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (pow t (/ 2 2)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (pow (sqrt t) 2))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (pow (sqrt t) 2))
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (pow t 2)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (pow t 2)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (pow t (/ 2 2)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (pow t (/ 2 2)))
  (* (sqrt 3.9999999999999997e-32) (pow (* (cbrt t) (cbrt t)) 2))
  (* (sqrt 3.9999999999999997e-32) (pow (sqrt t) 2))
  (* (sqrt 3.9999999999999997e-32) (pow 1 2))
  (* (sqrt 3.9999999999999997e-32) t)
  (* (sqrt 3.9999999999999997e-32) (* (cbrt (pow t 2)) (cbrt (pow t 2))))
  (* (sqrt 3.9999999999999997e-32) (sqrt (pow t 2)))
  (* (sqrt 3.9999999999999997e-32) 1)
  (* (sqrt 3.9999999999999997e-32) (pow t (/ 2 2)))
  (* (cbrt (sqrt 3.9999999999999997e-32)) (pow t 2))
  (* (sqrt (cbrt 3.9999999999999997e-32)) (pow t 2))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (pow t 2))
  (* (sqrt 3.9999999999999997e-32) (pow t 2))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (pow t 2))
  (* (sqrt 3.9999999999999997e-32) (pow t 2))
  (expm1 (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))))
  (log1p (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))))
  (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (+ (log (sqrt 3.9999999999999997e-32)) (+ (log (sqrt 3.9999999999999997e-32)) (* (log t) 2)))
  (+ (log (sqrt 3.9999999999999997e-32)) (+ (log (sqrt 3.9999999999999997e-32)) (* (log t) 2)))
  (+ (log (sqrt 3.9999999999999997e-32)) (+ (log (sqrt 3.9999999999999997e-32)) (log (pow t 2))))
  (+ (log (sqrt 3.9999999999999997e-32)) (log (* (sqrt 3.9999999999999997e-32) (pow t 2))))
  (log (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))))
  (exp (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))))
  (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (pow t 2) (pow t 2)) (pow t 2))))
  (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (* (sqrt 3.9999999999999997e-32) (pow t 2)) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (sqrt 3.9999999999999997e-32) (pow t 2))))
  (* (cbrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))) (cbrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))))
  (cbrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))))
  (* (* (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))))
  (sqrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))))
  (sqrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))))
  (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32))
  (* (cbrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (* (sqrt (cbrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (* (pow t 2) (sqrt 3.9999999999999997e-32))
  (* (pow t 2) (sqrt 3.9999999999999997e-32))
  (* (pow t 2) (sqrt 3.9999999999999997e-32))
  (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
  (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
  (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
16.550 * * [simplify]: Extracting # 0 : cost  0
16.550 * * [simplify]: Extracting # 1 : cost  0
16.550 * * [simplify]: Extracting # 2 : cost  0
16.550 * * [simplify]: Extracting # 3 : cost  0
16.551 * * [simplify]: Extracting # 4 : cost  0
16.551 * * [simplify]: Extracting # 5 : cost  0
16.551 * * [simplify]: Extracting # 6 : cost  0
16.551 * * [simplify]: Extracting # 7 : cost  0
16.552 * * [simplify]: iteration  0 :  78  enodes  (cost  685 )
16.586 * * [simplify]: Extracting # 0 : cost  0
16.586 * * [simplify]: Extracting # 1 : cost  0
16.587 * * [simplify]: Extracting # 2 : cost  0
16.587 * * [simplify]: Extracting # 3 : cost  0
16.587 * * [simplify]: Extracting # 4 : cost  0
16.587 * * [simplify]: Extracting # 5 : cost  0
16.588 * * [simplify]: iteration  1 :  170  enodes  (cost  526 )
16.669 * * [simplify]: Extracting # 0 : cost  0
16.669 * * [simplify]: Extracting # 1 : cost  0
16.670 * * [simplify]: Extracting # 2 : cost  0
16.670 * * [simplify]: Extracting # 3 : cost  0
16.671 * * [simplify]: Extracting # 4 : cost  0
16.671 * * [simplify]: iteration  2 :  521  enodes  (cost  457 )
17.589 * * [simplify]: Extracting # 0 : cost  0
17.591 * * [simplify]: Extracting # 1 : cost  0
17.598 * * [simplify]: Extracting # 2 : cost  0
17.601 * * [simplify]: Extracting # 3 : cost  0
17.604 * * [simplify]: Extracting # 4 : cost  0
17.608 * * [simplify]: iteration  3 :  1792  enodes  (cost  457 )
19.541 * * [simplify]: Extracting # 0 : cost  0
19.553 * * [simplify]: Extracting # 1 : cost  0
19.559 * * [simplify]: Extracting # 2 : cost  0
19.564 * * [simplify]: Extracting # 3 : cost  0
19.570 * * [simplify]: Extracting # 4 : cost  0
19.575 * * [simplify]: iteration done:  5001  enodes  (cost  448 )
19.576 * [simplify]: Simplified to:
  (expm1 (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (log1p (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (log (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (log (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (log (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (log (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (exp (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (pow (* (pow t 2) (sqrt 3.9999999999999997e-32)) 3)
  (* (cbrt (* (sqrt 3.9999999999999997e-32) (pow t 2))) (cbrt (* (sqrt 3.9999999999999997e-32) (pow t 2))))
  (cbrt (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (pow (* (pow t 2) (sqrt 3.9999999999999997e-32)) 3)
  (fabs (* (sqrt (sqrt 3.9999999999999997e-32)) t))
  (fabs (* (sqrt (sqrt 3.9999999999999997e-32)) t))
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (fabs t) (sqrt (sqrt 3.9999999999999997e-32)))
  (* (fabs t) (sqrt (sqrt 3.9999999999999997e-32)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (fabs t) (sqrt (sqrt 3.9999999999999997e-32)))
  (* (fabs t) (sqrt (sqrt 3.9999999999999997e-32)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (* t (sqrt 3.9999999999999997e-32)) (cbrt t))
  (* t (sqrt 3.9999999999999997e-32))
  (sqrt 3.9999999999999997e-32)
  (* t (sqrt 3.9999999999999997e-32))
  (* (sqrt 3.9999999999999997e-32) (* (cbrt (pow t 2)) (cbrt (pow t 2))))
  (* (sqrt 3.9999999999999997e-32) (fabs t))
  (sqrt 3.9999999999999997e-32)
  (* t (sqrt 3.9999999999999997e-32))
  (* t (* t (cbrt (sqrt 3.9999999999999997e-32))))
  (* (* t t) (sqrt (cbrt 3.9999999999999997e-32)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (* t t))
  (* (pow t 2) (sqrt 3.9999999999999997e-32))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (* t t))
  (* (pow t 2) (sqrt 3.9999999999999997e-32))
  (expm1 (* 3.9999999999999997e-32 (pow t 2)))
  (log1p (* 3.9999999999999997e-32 (pow t 2)))
  (* 3.9999999999999997e-32 (pow t 2))
  (log (* 3.9999999999999997e-32 (pow t 2)))
  (log (* 3.9999999999999997e-32 (pow t 2)))
  (log (* 3.9999999999999997e-32 (pow t 2)))
  (log (* 3.9999999999999997e-32 (pow t 2)))
  (log (* 3.9999999999999997e-32 (pow t 2)))
  (exp (* 3.9999999999999997e-32 (pow t 2)))
  (pow (* 3.9999999999999997e-32 (pow t 2)) 3)
  (pow (* 3.9999999999999997e-32 (pow t 2)) 3)
  (* (cbrt (* 3.9999999999999997e-32 (pow t 2))) (cbrt (* 3.9999999999999997e-32 (pow t 2))))
  (cbrt (* 3.9999999999999997e-32 (pow t 2)))
  (pow (* 3.9999999999999997e-32 (pow t 2)) 3)
  (fabs (* t (sqrt 3.9999999999999997e-32)))
  (fabs (* t (sqrt 3.9999999999999997e-32)))
  3.9999999999999997e-32
  (* (cbrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (* (sqrt (cbrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (* (pow (sqrt (sqrt 3.9999999999999997e-32)) 3) (* t t))
  (* 3.9999999999999997e-32 (pow t 2))
  (* (pow (sqrt (sqrt 3.9999999999999997e-32)) 3) (* t t))
  (* 3.9999999999999997e-32 (pow t 2))
  (* (pow t 2) (sqrt 3.9999999999999997e-32))
  (* (pow t 2) (sqrt 3.9999999999999997e-32))
  (* (pow t 2) (sqrt 3.9999999999999997e-32))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
19.576 * * * [progress]: adding candidates to table
19.721 * [progress]: [Phase 3 of 3] Extracting.
19.722 * * [regime]: Finding splitpoints for: (#<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))> #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (* t (sqrt 3.9999999999999997e-32)) (pow (sqrt t) 2))))> #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (* (fabs t) (sqrt (sqrt 3.9999999999999997e-32))) (* (fabs t) (sqrt (sqrt 3.9999999999999997e-32))))))> #<alt (λ (t) (* (* t 3.9999999999999997e-32) (pow t (/ 2 2))))> #<alt (λ (t) (* (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32))))> #<alt (λ (t) (* (* (* (cbrt t) (cbrt t)) (* t 3.9999999999999997e-32)) (cbrt (pow t (/ 2 2)))))> #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))))>)
19.723 * * * [regime-changes]: Trying 1 branch expressions: (t)
19.723 * * * * [regimes]: Trying to branch on t from (#<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))> #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (* t (sqrt 3.9999999999999997e-32)) (pow (sqrt t) 2))))> #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (* (fabs t) (sqrt (sqrt 3.9999999999999997e-32))) (* (fabs t) (sqrt (sqrt 3.9999999999999997e-32))))))> #<alt (λ (t) (* (* t 3.9999999999999997e-32) (pow t (/ 2 2))))> #<alt (λ (t) (* (* t (sqrt 3.9999999999999997e-32)) (* t (sqrt 3.9999999999999997e-32))))> #<alt (λ (t) (* (* (* (cbrt t) (cbrt t)) (* t 3.9999999999999997e-32)) (cbrt (pow t (/ 2 2)))))> #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))))>)
19.748 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
19.748 * [simplify]: Simplifying:
  (* (* t 3.9999999999999997e-32) (pow t (/ 2 2)))
19.748 * * [simplify]: Extracting # 0 : cost  0
19.748 * * [simplify]: Extracting # 1 : cost  0
19.748 * * [simplify]: Extracting # 2 : cost  0
19.748 * * [simplify]: Extracting # 3 : cost  0
19.748 * * [simplify]: Extracting # 4 : cost  0
19.748 * * [simplify]: iteration  0 :  7  enodes  (cost  9 )
19.749 * * [simplify]: Extracting # 0 : cost  0
19.749 * * [simplify]: Extracting # 1 : cost  0
19.749 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
19.750 * * [simplify]: Extracting # 0 : cost  0
19.750 * * [simplify]: Extracting # 1 : cost  0
19.750 * * [simplify]: iteration  2 :  12  enodes  (cost  5 )
19.750 * * [simplify]: Extracting # 0 : cost  0
19.750 * * [simplify]: iteration done:  12  enodes  (cost  5 )
19.751 * [simplify]: Simplified to:
  (* t (* t 3.9999999999999997e-32))
22.192 * [regime-testing]: Baseline error score: 0.3164145518189774
22.197 * [regime-testing]: Oracle error score: 0.017377172146518315
22.206 * [regime-testing]: End program error score: 0.3164145518189774
22.262 * [regime-testing]: Target error score: 50.5660117115436