16.889 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.037 * * * [progress]: [2/2] Setting up program.
0.040 * [progress]: [Phase 2 of 3] Improving.
0.041 * [simplify]: Simplifying:
  (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))
0.041 * * [simplify]: Extracting # 0 : cost  0
0.041 * * [simplify]: Extracting # 1 : cost  0
0.041 * * [simplify]: Extracting # 2 : cost  0
0.041 * * [simplify]: Extracting # 3 : cost  0
0.041 * * [simplify]: Extracting # 4 : cost  0
0.041 * * [simplify]: Extracting # 5 : cost  0
0.041 * * [simplify]: Extracting # 6 : cost  0
0.041 * * [simplify]: iteration  0 :  11  enodes  (cost  19 )
0.045 * * [simplify]: Extracting # 0 : cost  0
0.045 * * [simplify]: Extracting # 1 : cost  0
0.045 * * [simplify]: Extracting # 2 : cost  0
0.045 * * [simplify]: iteration  1 :  28  enodes  (cost  18 )
0.060 * * [simplify]: Extracting # 0 : cost  0
0.060 * * [simplify]: Extracting # 1 : cost  0
0.061 * * [simplify]: Extracting # 2 : cost  0
0.061 * * [simplify]: iteration  2 :  91  enodes  (cost  16 )
0.123 * * [simplify]: Extracting # 0 : cost  0
0.123 * * [simplify]: Extracting # 1 : cost  0
0.124 * * [simplify]: Extracting # 2 : cost  0
0.124 * * [simplify]: iteration  3 :  300  enodes  (cost  16 )
0.361 * * [simplify]: Extracting # 0 : cost  0
0.362 * * [simplify]: Extracting # 1 : cost  0
0.363 * * [simplify]: Extracting # 2 : cost  0
0.364 * * [simplify]: Extracting # 3 : cost  0
0.364 * * [simplify]: Extracting # 4 : cost  0
0.365 * * [simplify]: iteration  4 :  946  enodes  (cost  16 )
1.633 * * [simplify]: Extracting # 0 : cost  0
1.636 * * [simplify]: Extracting # 1 : cost  0
1.638 * * [simplify]: Extracting # 2 : cost  0
1.640 * * [simplify]: Extracting # 3 : cost  0
1.642 * * [simplify]: Extracting # 4 : cost  0
1.644 * * [simplify]: iteration  5 :  2331  enodes  (cost  16 )
5.682 * * [simplify]: Extracting # 0 : cost  0
5.696 * * [simplify]: Extracting # 1 : cost  0
5.705 * * [simplify]: Extracting # 2 : cost  0
5.713 * * [simplify]: Extracting # 3 : cost  0
5.726 * * [simplify]: iteration done:  5000  enodes  (cost  16 )
5.727 * [simplify]: Simplified to:
  (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16))))
5.735 * * [progress]: iteration 1 / 4
5.735 * * * [progress]: picking best candidate
5.739 * * * * [pick]: Picked  #<alt (λ (t) (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16)))))>
5.739 * * * [progress]: localizing error
5.758 * * * [progress]: generating rewritten candidates
5.758 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
5.759 * * * [progress]: generating series expansions
5.759 * * * * [progress]: [ 1 / 1 ] generating series at (2)
5.759 * [backup-simplify]: Simplify (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16)))) into (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- (+ (* 4e-16 t) 1.0)))
5.759 * [approximate]: Taking taylor expansion of (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- (+ (* 4e-16 t) 1.0))) in (t) around 0
5.759 * [taylor]: Taking taylor expansion of (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- (+ (* 4e-16 t) 1.0))) in t
5.762 * [taylor]: Rewrote expression to (+ (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) (- (+ (* 4e-16 t) 1.0)))
5.762 * [taylor]: Taking taylor expansion of (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) in t
5.762 * [taylor]: Taking taylor expansion of (fma t 2e-16 1.0) in t
5.762 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1.0)
5.762 * [taylor]: Taking taylor expansion of (* t 2e-16) in t
5.762 * [taylor]: Taking taylor expansion of t in t
5.762 * [backup-simplify]: Simplify 0 into 0
5.762 * [backup-simplify]: Simplify 1 into 1
5.762 * [taylor]: Taking taylor expansion of 2e-16 in t
5.762 * [backup-simplify]: Simplify 2e-16 into 2e-16
5.762 * [taylor]: Taking taylor expansion of 1.0 in t
5.762 * [backup-simplify]: Simplify 1.0 into 1.0
5.762 * [taylor]: Taking taylor expansion of (fma t 2e-16 1.0) in t
5.763 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1.0)
5.763 * [taylor]: Taking taylor expansion of (* t 2e-16) in t
5.763 * [taylor]: Taking taylor expansion of t in t
5.763 * [backup-simplify]: Simplify 0 into 0
5.763 * [backup-simplify]: Simplify 1 into 1
5.763 * [taylor]: Taking taylor expansion of 2e-16 in t
5.763 * [backup-simplify]: Simplify 2e-16 into 2e-16
5.763 * [taylor]: Taking taylor expansion of 1.0 in t
5.763 * [backup-simplify]: Simplify 1.0 into 1.0
5.763 * [taylor]: Taking taylor expansion of (- (+ (* 4e-16 t) 1.0)) in t
5.763 * [taylor]: Taking taylor expansion of (+ (* 4e-16 t) 1.0) in t
5.763 * [taylor]: Taking taylor expansion of (* 4e-16 t) in t
5.763 * [taylor]: Taking taylor expansion of 4e-16 in t
5.763 * [backup-simplify]: Simplify 4e-16 into 4e-16
5.763 * [taylor]: Taking taylor expansion of t in t
5.763 * [backup-simplify]: Simplify 0 into 0
5.763 * [backup-simplify]: Simplify 1 into 1
5.763 * [taylor]: Taking taylor expansion of 1.0 in t
5.763 * [backup-simplify]: Simplify 1.0 into 1.0
5.763 * [taylor]: Taking taylor expansion of (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- (+ (* 4e-16 t) 1.0))) in t
5.763 * [taylor]: Rewrote expression to (+ (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) (- (+ (* 4e-16 t) 1.0)))
5.763 * [taylor]: Taking taylor expansion of (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) in t
5.763 * [taylor]: Taking taylor expansion of (fma t 2e-16 1.0) in t
5.764 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1.0)
5.764 * [taylor]: Taking taylor expansion of (* t 2e-16) in t
5.764 * [taylor]: Taking taylor expansion of t in t
5.764 * [backup-simplify]: Simplify 0 into 0
5.764 * [backup-simplify]: Simplify 1 into 1
5.764 * [taylor]: Taking taylor expansion of 2e-16 in t
5.764 * [backup-simplify]: Simplify 2e-16 into 2e-16
5.764 * [taylor]: Taking taylor expansion of 1.0 in t
5.764 * [backup-simplify]: Simplify 1.0 into 1.0
5.764 * [taylor]: Taking taylor expansion of (fma t 2e-16 1.0) in t
5.764 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1.0)
5.764 * [taylor]: Taking taylor expansion of (* t 2e-16) in t
5.764 * [taylor]: Taking taylor expansion of t in t
5.764 * [backup-simplify]: Simplify 0 into 0
5.764 * [backup-simplify]: Simplify 1 into 1
5.764 * [taylor]: Taking taylor expansion of 2e-16 in t
5.764 * [backup-simplify]: Simplify 2e-16 into 2e-16
5.764 * [taylor]: Taking taylor expansion of 1.0 in t
5.764 * [backup-simplify]: Simplify 1.0 into 1.0
5.764 * [taylor]: Taking taylor expansion of (- (+ (* 4e-16 t) 1.0)) in t
5.764 * [taylor]: Taking taylor expansion of (+ (* 4e-16 t) 1.0) in t
5.764 * [taylor]: Taking taylor expansion of (* 4e-16 t) in t
5.764 * [taylor]: Taking taylor expansion of 4e-16 in t
5.764 * [backup-simplify]: Simplify 4e-16 into 4e-16
5.764 * [taylor]: Taking taylor expansion of t in t
5.764 * [backup-simplify]: Simplify 0 into 0
5.765 * [backup-simplify]: Simplify 1 into 1
5.765 * [taylor]: Taking taylor expansion of 1.0 in t
5.765 * [backup-simplify]: Simplify 1.0 into 1.0
5.765 * [backup-simplify]: Simplify (* 0 2e-16) into 0
5.766 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.766 * [backup-simplify]: Simplify (* 0 2e-16) into 0
5.767 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.767 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
5.768 * [backup-simplify]: Simplify (* 4e-16 0) into 0
5.769 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.769 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
5.770 * [backup-simplify]: Simplify (+ 1.0 (- 1.0)) into 0
5.770 * [backup-simplify]: Simplify 0 into 0
5.772 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 2e-16)) into 2e-16
5.772 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16
5.774 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 2e-16)) into 2e-16
5.774 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16
5.775 * [backup-simplify]: Simplify (+ (* 1.0 2e-16) (* 2e-16 1.0)) into 4e-16
5.777 * [backup-simplify]: Simplify (+ (* 4e-16 1) (* 0 0)) into 4e-16
5.777 * [backup-simplify]: Simplify (+ 4e-16 0) into 4e-16
5.778 * [backup-simplify]: Simplify (- 4e-16) into (- 4e-16)
5.779 * [backup-simplify]: Simplify (+ 4e-16 (- 4e-16)) into 0
5.779 * [backup-simplify]: Simplify 0 into 0
5.780 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 2e-16))) into 0
5.780 * [backup-simplify]: Simplify (+ 0 0) into 0
5.781 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 2e-16))) into 0
5.781 * [backup-simplify]: Simplify (+ 0 0) into 0
5.784 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 2e-16) (* 0 1.0))) into 3.9999999999999997e-32
5.785 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 1) (* 0 0))) into 0
5.786 * [backup-simplify]: Simplify (+ 0 0) into 0
5.786 * [backup-simplify]: Simplify (- 0) into 0
5.787 * [backup-simplify]: Simplify (+ 3.9999999999999997e-32 0) into 3.9999999999999997e-32
5.787 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.788 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 2e-16)))) into 0
5.788 * [backup-simplify]: Simplify (+ 0 0) into 0
5.790 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 2e-16)))) into 0
5.790 * [backup-simplify]: Simplify (+ 0 0) into 0
5.791 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 2e-16) (* 0 1.0)))) into 0
5.792 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.793 * [backup-simplify]: Simplify (+ 0 0) into 0
5.793 * [backup-simplify]: Simplify (- 0) into 0
5.793 * [backup-simplify]: Simplify (+ 0 0) into 0
5.793 * [backup-simplify]: Simplify 0 into 0
5.794 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
5.795 * [backup-simplify]: Simplify (+ 0 0) into 0
5.796 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
5.796 * [backup-simplify]: Simplify (+ 0 0) into 0
5.798 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0))))) into 0
5.799 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.799 * [backup-simplify]: Simplify (+ 0 0) into 0
5.799 * [backup-simplify]: Simplify (- 0) into 0
5.800 * [backup-simplify]: Simplify (+ 0 0) into 0
5.800 * [backup-simplify]: Simplify 0 into 0
5.801 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
5.802 * [backup-simplify]: Simplify (+ 0 0) into 0
5.803 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
5.803 * [backup-simplify]: Simplify (+ 0 0) into 0
5.805 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0)))))) into 0
5.806 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
5.806 * [backup-simplify]: Simplify (+ 0 0) into 0
5.806 * [backup-simplify]: Simplify (- 0) into 0
5.807 * [backup-simplify]: Simplify (+ 0 0) into 0
5.807 * [backup-simplify]: Simplify 0 into 0
5.808 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0
5.808 * [backup-simplify]: Simplify (+ 0 0) into 0
5.809 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0
5.809 * [backup-simplify]: Simplify (+ 0 0) into 0
5.810 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0))))))) into 0
5.811 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
5.811 * [backup-simplify]: Simplify (+ 0 0) into 0
5.811 * [backup-simplify]: Simplify (- 0) into 0
5.812 * [backup-simplify]: Simplify (+ 0 0) into 0
5.812 * [backup-simplify]: Simplify 0 into 0
5.813 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))))) into 0
5.813 * [backup-simplify]: Simplify (+ 0 0) into 0
5.814 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))))) into 0
5.814 * [backup-simplify]: Simplify (+ 0 0) into 0
5.815 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0)))))))) into 0
5.816 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
5.817 * [backup-simplify]: Simplify (+ 0 0) into 0
5.817 * [backup-simplify]: Simplify (- 0) into 0
5.817 * [backup-simplify]: Simplify (+ 0 0) into 0
5.817 * [backup-simplify]: Simplify 0 into 0
5.818 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))))) into 0
5.818 * [backup-simplify]: Simplify (+ 0 0) into 0
5.819 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))))) into 0
5.820 * [backup-simplify]: Simplify (+ 0 0) into 0
5.821 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0))))))))) into 0
5.822 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
5.823 * [backup-simplify]: Simplify (+ 0 0) into 0
5.823 * [backup-simplify]: Simplify (- 0) into 0
5.823 * [backup-simplify]: Simplify (+ 0 0) into 0
5.823 * [backup-simplify]: Simplify 0 into 0
5.823 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
5.823 * [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)))
5.823 * [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
5.823 * [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
5.824 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0)) (- (+ (* 4e-16 (/ 1 t)) 1.0)))
5.824 * [taylor]: Taking taylor expansion of (* (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0)) in t
5.824 * [taylor]: Taking taylor expansion of (fma (/ 1 t) 2e-16 1.0) in t
5.824 * [taylor]: Rewrote expression to (+ (* (/ 1 t) 2e-16) 1.0)
5.824 * [taylor]: Taking taylor expansion of (* (/ 1 t) 2e-16) in t
5.824 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.824 * [taylor]: Taking taylor expansion of t in t
5.824 * [backup-simplify]: Simplify 0 into 0
5.824 * [backup-simplify]: Simplify 1 into 1
5.824 * [backup-simplify]: Simplify (/ 1 1) into 1
5.824 * [taylor]: Taking taylor expansion of 2e-16 in t
5.824 * [backup-simplify]: Simplify 2e-16 into 2e-16
5.824 * [taylor]: Taking taylor expansion of 1.0 in t
5.824 * [backup-simplify]: Simplify 1.0 into 1.0
5.824 * [taylor]: Taking taylor expansion of (fma (/ 1 t) 2e-16 1.0) in t
5.824 * [taylor]: Rewrote expression to (+ (* (/ 1 t) 2e-16) 1.0)
5.824 * [taylor]: Taking taylor expansion of (* (/ 1 t) 2e-16) in t
5.824 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.824 * [taylor]: Taking taylor expansion of t in t
5.824 * [backup-simplify]: Simplify 0 into 0
5.824 * [backup-simplify]: Simplify 1 into 1
5.825 * [backup-simplify]: Simplify (/ 1 1) into 1
5.825 * [taylor]: Taking taylor expansion of 2e-16 in t
5.825 * [backup-simplify]: Simplify 2e-16 into 2e-16
5.825 * [taylor]: Taking taylor expansion of 1.0 in t
5.825 * [backup-simplify]: Simplify 1.0 into 1.0
5.825 * [taylor]: Taking taylor expansion of (- (+ (* 4e-16 (/ 1 t)) 1.0)) in t
5.825 * [taylor]: Taking taylor expansion of (+ (* 4e-16 (/ 1 t)) 1.0) in t
5.825 * [taylor]: Taking taylor expansion of (* 4e-16 (/ 1 t)) in t
5.825 * [taylor]: Taking taylor expansion of 4e-16 in t
5.825 * [backup-simplify]: Simplify 4e-16 into 4e-16
5.825 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.825 * [taylor]: Taking taylor expansion of t in t
5.825 * [backup-simplify]: Simplify 0 into 0
5.825 * [backup-simplify]: Simplify 1 into 1
5.825 * [backup-simplify]: Simplify (/ 1 1) into 1
5.825 * [taylor]: Taking taylor expansion of 1.0 in t
5.825 * [backup-simplify]: Simplify 1.0 into 1.0
5.825 * [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
5.825 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0)) (- (+ (* 4e-16 (/ 1 t)) 1.0)))
5.825 * [taylor]: Taking taylor expansion of (* (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0)) in t
5.825 * [taylor]: Taking taylor expansion of (fma (/ 1 t) 2e-16 1.0) in t
5.825 * [taylor]: Rewrote expression to (+ (* (/ 1 t) 2e-16) 1.0)
5.825 * [taylor]: Taking taylor expansion of (* (/ 1 t) 2e-16) in t
5.825 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.825 * [taylor]: Taking taylor expansion of t in t
5.825 * [backup-simplify]: Simplify 0 into 0
5.826 * [backup-simplify]: Simplify 1 into 1
5.826 * [backup-simplify]: Simplify (/ 1 1) into 1
5.826 * [taylor]: Taking taylor expansion of 2e-16 in t
5.826 * [backup-simplify]: Simplify 2e-16 into 2e-16
5.826 * [taylor]: Taking taylor expansion of 1.0 in t
5.826 * [backup-simplify]: Simplify 1.0 into 1.0
5.826 * [taylor]: Taking taylor expansion of (fma (/ 1 t) 2e-16 1.0) in t
5.826 * [taylor]: Rewrote expression to (+ (* (/ 1 t) 2e-16) 1.0)
5.826 * [taylor]: Taking taylor expansion of (* (/ 1 t) 2e-16) in t
5.826 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.826 * [taylor]: Taking taylor expansion of t in t
5.826 * [backup-simplify]: Simplify 0 into 0
5.826 * [backup-simplify]: Simplify 1 into 1
5.826 * [backup-simplify]: Simplify (/ 1 1) into 1
5.826 * [taylor]: Taking taylor expansion of 2e-16 in t
5.826 * [backup-simplify]: Simplify 2e-16 into 2e-16
5.826 * [taylor]: Taking taylor expansion of 1.0 in t
5.826 * [backup-simplify]: Simplify 1.0 into 1.0
5.826 * [taylor]: Taking taylor expansion of (- (+ (* 4e-16 (/ 1 t)) 1.0)) in t
5.826 * [taylor]: Taking taylor expansion of (+ (* 4e-16 (/ 1 t)) 1.0) in t
5.826 * [taylor]: Taking taylor expansion of (* 4e-16 (/ 1 t)) in t
5.826 * [taylor]: Taking taylor expansion of 4e-16 in t
5.826 * [backup-simplify]: Simplify 4e-16 into 4e-16
5.826 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.827 * [taylor]: Taking taylor expansion of t in t
5.827 * [backup-simplify]: Simplify 0 into 0
5.827 * [backup-simplify]: Simplify 1 into 1
5.827 * [backup-simplify]: Simplify (/ 1 1) into 1
5.827 * [taylor]: Taking taylor expansion of 1.0 in t
5.827 * [backup-simplify]: Simplify 1.0 into 1.0
5.827 * [backup-simplify]: Simplify (* 1 2e-16) into 2e-16
5.827 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16
5.828 * [backup-simplify]: Simplify (* 1 2e-16) into 2e-16
5.828 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16
5.828 * [backup-simplify]: Simplify (* 2e-16 2e-16) into 3.9999999999999997e-32
5.828 * [backup-simplify]: Simplify (+ 3.9999999999999997e-32 0) into 3.9999999999999997e-32
5.828 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.829 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.829 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 2e-16)) into 0
5.830 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.830 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.830 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 2e-16)) into 0
5.831 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.832 * [backup-simplify]: Simplify (+ (* 2e-16 1.0) (* 1.0 2e-16)) into 4e-16
5.832 * [backup-simplify]: Simplify (* 4e-16 1) into 4e-16
5.832 * [backup-simplify]: Simplify (+ 4e-16 0) into 4e-16
5.832 * [backup-simplify]: Simplify (- 4e-16) into (- 4e-16)
5.833 * [backup-simplify]: Simplify (+ 4e-16 (- 4e-16)) into 0
5.833 * [backup-simplify]: Simplify 0 into 0
5.834 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.835 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 2e-16))) into 0
5.835 * [backup-simplify]: Simplify (+ 0 0) into 0
5.836 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.837 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 2e-16))) into 0
5.837 * [backup-simplify]: Simplify (+ 0 0) into 0
5.840 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 1.0) (* 0 2e-16))) into 1.0
5.841 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.842 * [backup-simplify]: Simplify (+ (* 4e-16 0) (* 0 1)) into 0
5.842 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.843 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
5.843 * [backup-simplify]: Simplify (+ 1.0 (- 1.0)) into 0
5.843 * [backup-simplify]: Simplify 0 into 0
5.844 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.845 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))) into 0
5.846 * [backup-simplify]: Simplify (+ 0 0) into 0
5.847 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.848 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))) into 0
5.848 * [backup-simplify]: Simplify (+ 0 0) into 0
5.849 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 0) (+ (* 0 1.0) (* 0 2e-16)))) into 0
5.858 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.859 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (* 0 1))) into 0
5.860 * [backup-simplify]: Simplify (+ 0 0) into 0
5.860 * [backup-simplify]: Simplify (- 0) into 0
5.861 * [backup-simplify]: Simplify (+ 0 0) into 0
5.861 * [backup-simplify]: Simplify 0 into 0
5.862 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.863 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
5.864 * [backup-simplify]: Simplify (+ 0 0) into 0
5.865 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.866 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
5.866 * [backup-simplify]: Simplify (+ 0 0) into 0
5.868 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 2e-16))))) into 0
5.869 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.870 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.870 * [backup-simplify]: Simplify (+ 0 0) into 0
5.870 * [backup-simplify]: Simplify (- 0) into 0
5.870 * [backup-simplify]: Simplify (+ 0 0) into 0
5.870 * [backup-simplify]: Simplify 0 into 0
5.871 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.872 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
5.872 * [backup-simplify]: Simplify (+ 0 0) into 0
5.873 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.873 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
5.874 * [backup-simplify]: Simplify (+ 0 0) into 0
5.875 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 2e-16)))))) into 0
5.875 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.876 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.876 * [backup-simplify]: Simplify (+ 0 0) into 0
5.876 * [backup-simplify]: Simplify (- 0) into 0
5.877 * [backup-simplify]: Simplify (+ 0 0) into 0
5.877 * [backup-simplify]: Simplify 0 into 0
5.877 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.878 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0
5.878 * [backup-simplify]: Simplify (+ 0 0) into 0
5.879 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.880 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0
5.880 * [backup-simplify]: Simplify (+ 0 0) into 0
5.881 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 2e-16))))))) into 0
5.881 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.882 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.882 * [backup-simplify]: Simplify (+ 0 0) into 0
5.883 * [backup-simplify]: Simplify (- 0) into 0
5.883 * [backup-simplify]: Simplify (+ 0 0) into 0
5.883 * [backup-simplify]: Simplify 0 into 0
5.883 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
5.883 * [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))
5.883 * [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
5.883 * [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
5.884 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 t) 2e-16 1.0) (fma (/ -1 t) 2e-16 1.0)) (- (* 4e-16 (/ 1 t)) 1.0))
5.884 * [taylor]: Taking taylor expansion of (* (fma (/ -1 t) 2e-16 1.0) (fma (/ -1 t) 2e-16 1.0)) in t
5.884 * [taylor]: Taking taylor expansion of (fma (/ -1 t) 2e-16 1.0) in t
5.884 * [taylor]: Rewrote expression to (+ (* (/ -1 t) 2e-16) 1.0)
5.884 * [taylor]: Taking taylor expansion of (* (/ -1 t) 2e-16) in t
5.884 * [taylor]: Taking taylor expansion of (/ -1 t) in t
5.884 * [taylor]: Taking taylor expansion of -1 in t
5.884 * [backup-simplify]: Simplify -1 into -1
5.884 * [taylor]: Taking taylor expansion of t in t
5.884 * [backup-simplify]: Simplify 0 into 0
5.884 * [backup-simplify]: Simplify 1 into 1
5.884 * [backup-simplify]: Simplify (/ -1 1) into -1
5.884 * [taylor]: Taking taylor expansion of 2e-16 in t
5.884 * [backup-simplify]: Simplify 2e-16 into 2e-16
5.884 * [taylor]: Taking taylor expansion of 1.0 in t
5.884 * [backup-simplify]: Simplify 1.0 into 1.0
5.884 * [taylor]: Taking taylor expansion of (fma (/ -1 t) 2e-16 1.0) in t
5.884 * [taylor]: Rewrote expression to (+ (* (/ -1 t) 2e-16) 1.0)
5.884 * [taylor]: Taking taylor expansion of (* (/ -1 t) 2e-16) in t
5.884 * [taylor]: Taking taylor expansion of (/ -1 t) in t
5.884 * [taylor]: Taking taylor expansion of -1 in t
5.884 * [backup-simplify]: Simplify -1 into -1
5.884 * [taylor]: Taking taylor expansion of t in t
5.884 * [backup-simplify]: Simplify 0 into 0
5.885 * [backup-simplify]: Simplify 1 into 1
5.885 * [backup-simplify]: Simplify (/ -1 1) into -1
5.885 * [taylor]: Taking taylor expansion of 2e-16 in t
5.885 * [backup-simplify]: Simplify 2e-16 into 2e-16
5.885 * [taylor]: Taking taylor expansion of 1.0 in t
5.885 * [backup-simplify]: Simplify 1.0 into 1.0
5.885 * [taylor]: Taking taylor expansion of (- (* 4e-16 (/ 1 t)) 1.0) in t
5.885 * [taylor]: Taking taylor expansion of (* 4e-16 (/ 1 t)) in t
5.885 * [taylor]: Taking taylor expansion of 4e-16 in t
5.885 * [backup-simplify]: Simplify 4e-16 into 4e-16
5.885 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.885 * [taylor]: Taking taylor expansion of t in t
5.885 * [backup-simplify]: Simplify 0 into 0
5.885 * [backup-simplify]: Simplify 1 into 1
5.885 * [backup-simplify]: Simplify (/ 1 1) into 1
5.885 * [taylor]: Taking taylor expansion of 1.0 in t
5.885 * [backup-simplify]: Simplify 1.0 into 1.0
5.885 * [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
5.885 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 t) 2e-16 1.0) (fma (/ -1 t) 2e-16 1.0)) (- (* 4e-16 (/ 1 t)) 1.0))
5.885 * [taylor]: Taking taylor expansion of (* (fma (/ -1 t) 2e-16 1.0) (fma (/ -1 t) 2e-16 1.0)) in t
5.885 * [taylor]: Taking taylor expansion of (fma (/ -1 t) 2e-16 1.0) in t
5.886 * [taylor]: Rewrote expression to (+ (* (/ -1 t) 2e-16) 1.0)
5.886 * [taylor]: Taking taylor expansion of (* (/ -1 t) 2e-16) in t
5.886 * [taylor]: Taking taylor expansion of (/ -1 t) in t
5.886 * [taylor]: Taking taylor expansion of -1 in t
5.886 * [backup-simplify]: Simplify -1 into -1
5.886 * [taylor]: Taking taylor expansion of t in t
5.886 * [backup-simplify]: Simplify 0 into 0
5.886 * [backup-simplify]: Simplify 1 into 1
5.886 * [backup-simplify]: Simplify (/ -1 1) into -1
5.886 * [taylor]: Taking taylor expansion of 2e-16 in t
5.886 * [backup-simplify]: Simplify 2e-16 into 2e-16
5.886 * [taylor]: Taking taylor expansion of 1.0 in t
5.886 * [backup-simplify]: Simplify 1.0 into 1.0
5.886 * [taylor]: Taking taylor expansion of (fma (/ -1 t) 2e-16 1.0) in t
5.886 * [taylor]: Rewrote expression to (+ (* (/ -1 t) 2e-16) 1.0)
5.886 * [taylor]: Taking taylor expansion of (* (/ -1 t) 2e-16) in t
5.886 * [taylor]: Taking taylor expansion of (/ -1 t) in t
5.886 * [taylor]: Taking taylor expansion of -1 in t
5.886 * [backup-simplify]: Simplify -1 into -1
5.886 * [taylor]: Taking taylor expansion of t in t
5.886 * [backup-simplify]: Simplify 0 into 0
5.886 * [backup-simplify]: Simplify 1 into 1
5.887 * [backup-simplify]: Simplify (/ -1 1) into -1
5.887 * [taylor]: Taking taylor expansion of 2e-16 in t
5.887 * [backup-simplify]: Simplify 2e-16 into 2e-16
5.887 * [taylor]: Taking taylor expansion of 1.0 in t
5.887 * [backup-simplify]: Simplify 1.0 into 1.0
5.887 * [taylor]: Taking taylor expansion of (- (* 4e-16 (/ 1 t)) 1.0) in t
5.887 * [taylor]: Taking taylor expansion of (* 4e-16 (/ 1 t)) in t
5.887 * [taylor]: Taking taylor expansion of 4e-16 in t
5.887 * [backup-simplify]: Simplify 4e-16 into 4e-16
5.887 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.887 * [taylor]: Taking taylor expansion of t in t
5.887 * [backup-simplify]: Simplify 0 into 0
5.887 * [backup-simplify]: Simplify 1 into 1
5.887 * [backup-simplify]: Simplify (/ 1 1) into 1
5.887 * [taylor]: Taking taylor expansion of 1.0 in t
5.887 * [backup-simplify]: Simplify 1.0 into 1.0
5.887 * [backup-simplify]: Simplify (* -1 2e-16) into -2e-16
5.888 * [backup-simplify]: Simplify (+ -2e-16 0) into (- 2e-16)
5.888 * [backup-simplify]: Simplify (* -1 2e-16) into -2e-16
5.888 * [backup-simplify]: Simplify (+ -2e-16 0) into (- 2e-16)
5.889 * [backup-simplify]: Simplify (* (- 2e-16) (- 2e-16)) into 3.9999999999999997e-32
5.889 * [backup-simplify]: Simplify (+ 3.9999999999999997e-32 0) into 3.9999999999999997e-32
5.889 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.890 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
5.890 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 2e-16)) into 0
5.890 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.891 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
5.891 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 2e-16)) into 0
5.892 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
5.893 * [backup-simplify]: Simplify (+ (* (- 2e-16) 1.0) (* 1.0 (- 2e-16))) into (- 4e-16)
5.893 * [backup-simplify]: Simplify (* 4e-16 1) into 4e-16
5.894 * [backup-simplify]: Simplify (+ 4e-16 0) into 4e-16
5.894 * [backup-simplify]: Simplify (+ (- 4e-16) 4e-16) into 0
5.894 * [backup-simplify]: Simplify 0 into 0
5.895 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.895 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 2e-16))) into 0
5.895 * [backup-simplify]: Simplify (+ 0 0) into 0
5.896 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.897 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 2e-16))) into 0
5.897 * [backup-simplify]: Simplify (+ 0 0) into 0
5.900 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 1.0) (* 0 (- 2e-16)))) into 1.0
5.901 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.901 * [backup-simplify]: Simplify (+ (* 4e-16 0) (* 0 1)) into 0
5.902 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
5.903 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
5.903 * [backup-simplify]: Simplify (+ 1.0 (- 1.0)) into 0
5.903 * [backup-simplify]: Simplify 0 into 0
5.904 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.905 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))) into 0
5.906 * [backup-simplify]: Simplify (+ 0 0) into 0
5.907 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.908 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))) into 0
5.908 * [backup-simplify]: Simplify (+ 0 0) into 0
5.910 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 0) (+ (* 0 1.0) (* 0 (- 2e-16))))) into 0
5.911 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.912 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (* 0 1))) into 0
5.912 * [backup-simplify]: Simplify (- 0) into 0
5.912 * [backup-simplify]: Simplify (+ 0 0) into 0
5.913 * [backup-simplify]: Simplify (+ 0 0) into 0
5.913 * [backup-simplify]: Simplify 0 into 0
5.914 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.915 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
5.915 * [backup-simplify]: Simplify (+ 0 0) into 0
5.916 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.918 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
5.918 * [backup-simplify]: Simplify (+ 0 0) into 0
5.920 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 (- 2e-16)))))) into 0
5.921 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.922 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.923 * [backup-simplify]: Simplify (- 0) into 0
5.923 * [backup-simplify]: Simplify (+ 0 0) into 0
5.923 * [backup-simplify]: Simplify (+ 0 0) into 0
5.923 * [backup-simplify]: Simplify 0 into 0
5.925 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.926 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
5.926 * [backup-simplify]: Simplify (+ 0 0) into 0
5.928 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.929 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
5.929 * [backup-simplify]: Simplify (+ 0 0) into 0
5.930 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 (- 2e-16))))))) into 0
5.931 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.932 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.932 * [backup-simplify]: Simplify (- 0) into 0
5.932 * [backup-simplify]: Simplify (+ 0 0) into 0
5.932 * [backup-simplify]: Simplify (+ 0 0) into 0
5.932 * [backup-simplify]: Simplify 0 into 0
5.933 * [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
5.934 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0
5.934 * [backup-simplify]: Simplify (+ 0 0) into 0
5.935 * [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
5.936 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0
5.936 * [backup-simplify]: Simplify (+ 0 0) into 0
5.937 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 (- 2e-16)))))))) into 0
5.938 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.939 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.939 * [backup-simplify]: Simplify (- 0) into 0
5.939 * [backup-simplify]: Simplify (+ 0 0) into 0
5.939 * [backup-simplify]: Simplify (+ 0 0) into 0
5.939 * [backup-simplify]: Simplify 0 into 0
5.940 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
5.940 * * * [progress]: simplifying candidates
5.940 * [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))
5.940 * * [simplify]: Extracting # 0 : cost  0
5.940 * * [simplify]: Extracting # 1 : cost  0
5.940 * * [simplify]: Extracting # 2 : cost  0
5.941 * * [simplify]: Extracting # 3 : cost  0
5.941 * * [simplify]: Extracting # 4 : cost  0
5.941 * * [simplify]: Extracting # 5 : cost  0
5.941 * * [simplify]: Extracting # 6 : cost  0
5.941 * * [simplify]: Extracting # 7 : cost  0
5.941 * * [simplify]: Extracting # 8 : cost  0
5.941 * * [simplify]: iteration  0 :  24  enodes  (cost  228 )
5.945 * * [simplify]: Extracting # 0 : cost  0
5.945 * * [simplify]: Extracting # 1 : cost  0
5.945 * * [simplify]: Extracting # 2 : cost  0
5.945 * * [simplify]: Extracting # 3 : cost  0
5.945 * * [simplify]: iteration  1 :  39  enodes  (cost  228 )
5.954 * * [simplify]: Extracting # 0 : cost  0
5.954 * * [simplify]: Extracting # 1 : cost  0
5.954 * * [simplify]: Extracting # 2 : cost  0
5.955 * * [simplify]: Extracting # 3 : cost  0
5.955 * * [simplify]: iteration  2 :  98  enodes  (cost  196 )
5.990 * * [simplify]: Extracting # 0 : cost  0
5.990 * * [simplify]: Extracting # 1 : cost  0
5.991 * * [simplify]: Extracting # 2 : cost  0
5.991 * * [simplify]: Extracting # 3 : cost  0
5.991 * * [simplify]: Extracting # 4 : cost  0
5.992 * * [simplify]: iteration  3 :  327  enodes  (cost  196 )
6.323 * * [simplify]: Extracting # 0 : cost  0
6.325 * * [simplify]: Extracting # 1 : cost  0
6.327 * * [simplify]: Extracting # 2 : cost  0
6.329 * * [simplify]: Extracting # 3 : cost  0
6.331 * * [simplify]: Extracting # 4 : cost  0
6.333 * * [simplify]: iteration  4 :  1914  enodes  (cost  196 )
7.352 * * [simplify]: Extracting # 0 : cost  0
7.363 * * [simplify]: Extracting # 1 : cost  0
7.374 * * [simplify]: Extracting # 2 : cost  0
7.381 * * [simplify]: Extracting # 3 : cost  0
7.387 * * [simplify]: Extracting # 4 : cost  0
7.394 * * [simplify]: iteration done:  5002  enodes  (cost  196 )
7.394 * [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))
7.394 * * * [progress]: adding candidates to table
7.445 * * [progress]: iteration 2 / 4
7.445 * * * [progress]: picking best candidate
7.446 * * * * [pick]: Picked  #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
7.446 * * * [progress]: localizing error
7.450 * * * [progress]: generating rewritten candidates
7.451 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
7.464 * * * [progress]: generating series expansions
7.465 * * * * [progress]: [ 1 / 1 ] generating series at (2)
7.465 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
7.465 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
7.465 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
7.465 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
7.465 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
7.465 * [taylor]: Taking taylor expansion of (pow t 2) in t
7.465 * [taylor]: Taking taylor expansion of t in t
7.465 * [backup-simplify]: Simplify 0 into 0
7.465 * [backup-simplify]: Simplify 1 into 1
7.465 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
7.465 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
7.465 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
7.465 * [taylor]: Taking taylor expansion of (pow t 2) in t
7.465 * [taylor]: Taking taylor expansion of t in t
7.465 * [backup-simplify]: Simplify 0 into 0
7.465 * [backup-simplify]: Simplify 1 into 1
7.466 * [backup-simplify]: Simplify (* 1 1) into 1
7.466 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
7.467 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
7.467 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.468 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
7.468 * [backup-simplify]: Simplify 0 into 0
7.469 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.470 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
7.470 * [backup-simplify]: Simplify 0 into 0
7.472 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.473 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.473 * [backup-simplify]: Simplify 0 into 0
7.474 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.475 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.475 * [backup-simplify]: Simplify 0 into 0
7.477 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.478 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.478 * [backup-simplify]: Simplify 0 into 0
7.480 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.482 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.482 * [backup-simplify]: Simplify 0 into 0
7.482 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
7.482 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 t) 2)) into (/ 3.9999999999999997e-32 (pow t 2))
7.482 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
7.482 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
7.482 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
7.482 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
7.482 * [taylor]: Taking taylor expansion of (pow t 2) in t
7.482 * [taylor]: Taking taylor expansion of t in t
7.482 * [backup-simplify]: Simplify 0 into 0
7.482 * [backup-simplify]: Simplify 1 into 1
7.483 * [backup-simplify]: Simplify (* 1 1) into 1
7.483 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
7.483 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
7.483 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
7.483 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
7.483 * [taylor]: Taking taylor expansion of (pow t 2) in t
7.483 * [taylor]: Taking taylor expansion of t in t
7.483 * [backup-simplify]: Simplify 0 into 0
7.483 * [backup-simplify]: Simplify 1 into 1
7.484 * [backup-simplify]: Simplify (* 1 1) into 1
7.484 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
7.484 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
7.485 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.485 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
7.485 * [backup-simplify]: Simplify 0 into 0
7.486 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.487 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.487 * [backup-simplify]: Simplify 0 into 0
7.487 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.488 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.488 * [backup-simplify]: Simplify 0 into 0
7.488 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.489 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.489 * [backup-simplify]: Simplify 0 into 0
7.490 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.490 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.490 * [backup-simplify]: Simplify 0 into 0
7.491 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.492 * [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
7.492 * [backup-simplify]: Simplify 0 into 0
7.492 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
7.492 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (- t)) 2)) into (/ 3.9999999999999997e-32 (pow t 2))
7.492 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
7.492 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
7.492 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
7.492 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
7.492 * [taylor]: Taking taylor expansion of (pow t 2) in t
7.492 * [taylor]: Taking taylor expansion of t in t
7.492 * [backup-simplify]: Simplify 0 into 0
7.492 * [backup-simplify]: Simplify 1 into 1
7.493 * [backup-simplify]: Simplify (* 1 1) into 1
7.493 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
7.493 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
7.493 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
7.493 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
7.493 * [taylor]: Taking taylor expansion of (pow t 2) in t
7.493 * [taylor]: Taking taylor expansion of t in t
7.493 * [backup-simplify]: Simplify 0 into 0
7.493 * [backup-simplify]: Simplify 1 into 1
7.493 * [backup-simplify]: Simplify (* 1 1) into 1
7.494 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
7.494 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
7.494 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.494 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
7.495 * [backup-simplify]: Simplify 0 into 0
7.495 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.496 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.496 * [backup-simplify]: Simplify 0 into 0
7.496 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.497 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.497 * [backup-simplify]: Simplify 0 into 0
7.497 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.498 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.498 * [backup-simplify]: Simplify 0 into 0
7.499 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.499 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.499 * [backup-simplify]: Simplify 0 into 0
7.500 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.501 * [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
7.501 * [backup-simplify]: Simplify 0 into 0
7.501 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
7.501 * * * [progress]: simplifying candidates
7.502 * [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))
7.502 * * [simplify]: Extracting # 0 : cost  0
7.502 * * [simplify]: Extracting # 1 : cost  0
7.502 * * [simplify]: Extracting # 2 : cost  0
7.502 * * [simplify]: Extracting # 3 : cost  0
7.502 * * [simplify]: Extracting # 4 : cost  0
7.502 * * [simplify]: Extracting # 5 : cost  0
7.503 * * [simplify]: Extracting # 6 : cost  0
7.503 * * [simplify]: iteration  0 :  53  enodes  (cost  244 )
7.526 * * [simplify]: Extracting # 0 : cost  0
7.526 * * [simplify]: Extracting # 1 : cost  0
7.527 * * [simplify]: Extracting # 2 : cost  0
7.527 * * [simplify]: Extracting # 3 : cost  0
7.527 * * [simplify]: Extracting # 4 : cost  0
7.527 * * [simplify]: iteration  1 :  109  enodes  (cost  221 )
7.556 * * [simplify]: Extracting # 0 : cost  0
7.557 * * [simplify]: Extracting # 1 : cost  0
7.557 * * [simplify]: Extracting # 2 : cost  0
7.557 * * [simplify]: Extracting # 3 : cost  0
7.557 * * [simplify]: Extracting # 4 : cost  0
7.557 * * [simplify]: iteration  2 :  237  enodes  (cost  188 )
7.695 * * [simplify]: Extracting # 0 : cost  0
7.695 * * [simplify]: Extracting # 1 : cost  0
7.696 * * [simplify]: Extracting # 2 : cost  0
7.697 * * [simplify]: Extracting # 3 : cost  0
7.697 * * [simplify]: Extracting # 4 : cost  0
7.698 * * [simplify]: iteration  3 :  672  enodes  (cost  188 )
9.079 * * [simplify]: Extracting # 0 : cost  0
9.084 * * [simplify]: Extracting # 1 : cost  0
9.090 * * [simplify]: Extracting # 2 : cost  0
9.097 * * [simplify]: Extracting # 3 : cost  0
9.103 * * [simplify]: Extracting # 4 : cost  0
9.110 * * [simplify]: iteration  4 :  3356  enodes  (cost  185 )
11.018 * * [simplify]: Extracting # 0 : cost  0
11.032 * * [simplify]: Extracting # 1 : cost  0
11.041 * * [simplify]: Extracting # 2 : cost  0
11.049 * * [simplify]: Extracting # 3 : cost  0
11.058 * * [simplify]: iteration done:  5001  enodes  (cost  185 )
11.058 * [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))
11.058 * * * [progress]: adding candidates to table
11.135 * * [progress]: iteration 3 / 4
11.135 * * * [progress]: picking best candidate
11.153 * * * * [pick]: Picked  #<alt (λ (t) (* (* (fabs t) 3.9999999999999997e-32) (sqrt (pow t 2))))>
11.153 * * * [progress]: localizing error
11.162 * * * [progress]: generating rewritten candidates
11.162 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
11.190 * * * [progress]: generating series expansions
11.190 * * * * [progress]: [ 1 / 1 ] generating series at (2)
11.190 * [backup-simplify]: Simplify (* (* (fabs t) 3.9999999999999997e-32) (sqrt (pow t 2))) into (* 3.9999999999999997e-32 (* (fabs t) t))
11.190 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (* (fabs t) t)) in (t) around 0
11.190 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (* (fabs t) t)) in t
11.190 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
11.190 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
11.190 * [taylor]: Taking taylor expansion of (* (fabs t) t) in t
11.190 * [taylor]: Taking taylor expansion of (fabs t) in t
11.190 * [backup-simplify]: Simplify (fabs t) into (fabs t)
11.190 * [taylor]: Taking taylor expansion of t in t
11.190 * [backup-simplify]: Simplify 0 into 0
11.190 * [backup-simplify]: Simplify 1 into 1
11.190 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (* (fabs t) t)) in t
11.190 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
11.190 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
11.190 * [taylor]: Taking taylor expansion of (* (fabs t) t) in t
11.190 * [taylor]: Taking taylor expansion of (fabs t) in t
11.190 * [backup-simplify]: Simplify (fabs t) into (fabs t)
11.190 * [taylor]: Taking taylor expansion of t in t
11.191 * [backup-simplify]: Simplify 0 into 0
11.191 * [backup-simplify]: Simplify 1 into 1
11.191 * [backup-simplify]: Simplify (* (fabs t) 0) into 0
11.191 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 0) into 0
11.191 * [backup-simplify]: Simplify 0 into 0
11.191 * [backup-simplify]: Simplify (+ (* (fabs t) 1) (* 0 0)) into (fabs t)
11.192 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 (fabs t)) (* 0 0)) into (* 3.9999999999999997e-32 (fabs t))
11.192 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (fabs t)) into (* 3.9999999999999997e-32 (fabs t))
11.192 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 1) (* 0 0))) into 0
11.193 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 (fabs t)) (* 0 0))) into 0
11.193 * [backup-simplify]: Simplify 0 into 0
11.193 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
11.198 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 (fabs t)) (* 0 0)))) into 0
11.198 * [backup-simplify]: Simplify 0 into 0
11.199 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
11.200 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs t)) (* 0 0))))) into 0
11.200 * [backup-simplify]: Simplify 0 into 0
11.200 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
11.201 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs t)) (* 0 0)))))) into 0
11.201 * [backup-simplify]: Simplify 0 into 0
11.202 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
11.204 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs t)) (* 0 0))))))) into 0
11.204 * [backup-simplify]: Simplify 0 into 0
11.204 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
11.206 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs t)) (* 0 0)))))))) into 0
11.206 * [backup-simplify]: Simplify 0 into 0
11.206 * [backup-simplify]: Simplify (* (* 3.9999999999999997e-32 (fabs t)) t) into (* 3.9999999999999997e-32 (* (fabs t) t))
11.206 * [backup-simplify]: Simplify (* (* (fabs (/ 1 t)) 3.9999999999999997e-32) (sqrt (pow (/ 1 t) 2))) into (* 3.9999999999999997e-32 (/ (fabs (/ 1 t)) t))
11.206 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ (fabs (/ 1 t)) t)) in (t) around 0
11.206 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ (fabs (/ 1 t)) t)) in t
11.206 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
11.206 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
11.206 * [taylor]: Taking taylor expansion of (/ (fabs (/ 1 t)) t) in t
11.207 * [taylor]: Taking taylor expansion of (fabs (/ 1 t)) in t
11.207 * [backup-simplify]: Simplify (fabs (/ 1 t)) into (fabs (/ 1 t))
11.207 * [taylor]: Taking taylor expansion of t in t
11.207 * [backup-simplify]: Simplify 0 into 0
11.207 * [backup-simplify]: Simplify 1 into 1
11.207 * [backup-simplify]: Simplify (/ (fabs (/ 1 t)) 1) into (fabs (/ 1 t))
11.207 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ (fabs (/ 1 t)) t)) in t
11.207 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
11.207 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
11.207 * [taylor]: Taking taylor expansion of (/ (fabs (/ 1 t)) t) in t
11.207 * [taylor]: Taking taylor expansion of (fabs (/ 1 t)) in t
11.207 * [backup-simplify]: Simplify (fabs (/ 1 t)) into (fabs (/ 1 t))
11.207 * [taylor]: Taking taylor expansion of t in t
11.207 * [backup-simplify]: Simplify 0 into 0
11.207 * [backup-simplify]: Simplify 1 into 1
11.207 * [backup-simplify]: Simplify (/ (fabs (/ 1 t)) 1) into (fabs (/ 1 t))
11.207 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (fabs (/ 1 t))) into (* 3.9999999999999997e-32 (fabs (/ 1 t)))
11.207 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (fabs (/ 1 t))) into (* 3.9999999999999997e-32 (fabs (/ 1 t)))
11.208 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs (/ 1 t)) (/ 0 1)))) into 0
11.208 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 (fabs (/ 1 t)))) into 0
11.208 * [backup-simplify]: Simplify 0 into 0
11.209 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs (/ 1 t)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.209 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 (fabs (/ 1 t))))) into 0
11.210 * [backup-simplify]: Simplify 0 into 0
11.211 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs (/ 1 t)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.211 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 t)))))) into 0
11.211 * [backup-simplify]: Simplify 0 into 0
11.213 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs (/ 1 t)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.214 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 t))))))) into 0
11.214 * [backup-simplify]: Simplify 0 into 0
11.216 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs (/ 1 t)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.217 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 t)))))))) into 0
11.217 * [backup-simplify]: Simplify 0 into 0
11.219 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs (/ 1 t)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.221 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 t))))))))) into 0
11.221 * [backup-simplify]: Simplify 0 into 0
11.221 * [backup-simplify]: Simplify (* (* 3.9999999999999997e-32 (fabs (/ 1 (/ 1 t)))) (/ 1 (/ 1 t))) into (* 3.9999999999999997e-32 (* (fabs t) t))
11.221 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- t))) 3.9999999999999997e-32) (sqrt (pow (/ 1 (- t)) 2))) into (* 3.9999999999999997e-32 (/ (fabs (/ -1 t)) t))
11.221 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ (fabs (/ -1 t)) t)) in (t) around 0
11.221 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ (fabs (/ -1 t)) t)) in t
11.221 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
11.221 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
11.221 * [taylor]: Taking taylor expansion of (/ (fabs (/ -1 t)) t) in t
11.221 * [taylor]: Taking taylor expansion of (fabs (/ -1 t)) in t
11.221 * [backup-simplify]: Simplify (fabs (/ -1 t)) into (fabs (/ -1 t))
11.221 * [taylor]: Taking taylor expansion of t in t
11.221 * [backup-simplify]: Simplify 0 into 0
11.221 * [backup-simplify]: Simplify 1 into 1
11.221 * [backup-simplify]: Simplify (/ (fabs (/ -1 t)) 1) into (fabs (/ -1 t))
11.221 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ (fabs (/ -1 t)) t)) in t
11.221 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
11.221 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
11.221 * [taylor]: Taking taylor expansion of (/ (fabs (/ -1 t)) t) in t
11.221 * [taylor]: Taking taylor expansion of (fabs (/ -1 t)) in t
11.221 * [backup-simplify]: Simplify (fabs (/ -1 t)) into (fabs (/ -1 t))
11.221 * [taylor]: Taking taylor expansion of t in t
11.221 * [backup-simplify]: Simplify 0 into 0
11.221 * [backup-simplify]: Simplify 1 into 1
11.222 * [backup-simplify]: Simplify (/ (fabs (/ -1 t)) 1) into (fabs (/ -1 t))
11.222 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (fabs (/ -1 t))) into (* 3.9999999999999997e-32 (fabs (/ -1 t)))
11.222 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (fabs (/ -1 t))) into (* 3.9999999999999997e-32 (fabs (/ -1 t)))
11.222 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs (/ -1 t)) (/ 0 1)))) into 0
11.223 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 (fabs (/ -1 t)))) into 0
11.223 * [backup-simplify]: Simplify 0 into 0
11.224 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs (/ -1 t)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.224 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 (fabs (/ -1 t))))) into 0
11.224 * [backup-simplify]: Simplify 0 into 0
11.225 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs (/ -1 t)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.226 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 t)))))) into 0
11.226 * [backup-simplify]: Simplify 0 into 0
11.227 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs (/ -1 t)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.228 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 t))))))) into 0
11.228 * [backup-simplify]: Simplify 0 into 0
11.230 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs (/ -1 t)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.232 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 t)))))))) into 0
11.232 * [backup-simplify]: Simplify 0 into 0
11.235 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs (/ -1 t)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.237 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 t))))))))) into 0
11.237 * [backup-simplify]: Simplify 0 into 0
11.238 * [backup-simplify]: Simplify (* (* 3.9999999999999997e-32 (fabs (/ -1 (/ 1 (- t))))) (/ 1 (/ 1 (- t)))) into (* -3.9999999999999997e-32 (* (fabs t) t))
11.238 * * * [progress]: simplifying candidates
11.239 * [simplify]: Simplifying:
  (expm1 (* (* (fabs t) 3.9999999999999997e-32) (sqrt (pow t 2))))
  (log1p (* (* (fabs t) 3.9999999999999997e-32) (sqrt (pow t 2))))
  (* (* (fabs t) 3.9999999999999997e-32) (sqrt (pow t 2)))
  (* (* (fabs t) 3.9999999999999997e-32) (sqrt (pow t 2)))
  (+ (+ (log (fabs t)) (log 3.9999999999999997e-32)) (log (sqrt (pow t 2))))
  (+ (log (* (fabs t) 3.9999999999999997e-32)) (log (sqrt (pow t 2))))
  (log (* (* (fabs t) 3.9999999999999997e-32) (sqrt (pow t 2))))
  (exp (* (* (fabs t) 3.9999999999999997e-32) (sqrt (pow t 2))))
  (* (* (* (* (fabs t) (fabs t)) (fabs t)) (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32)) (* (* (sqrt (pow t 2)) (sqrt (pow t 2))) (sqrt (pow t 2))))
  (* (* (* (* (fabs t) 3.9999999999999997e-32) (* (fabs t) 3.9999999999999997e-32)) (* (fabs t) 3.9999999999999997e-32)) (* (* (sqrt (pow t 2)) (sqrt (pow t 2))) (sqrt (pow t 2))))
  (* (cbrt (* (* (fabs t) 3.9999999999999997e-32) (sqrt (pow t 2)))) (cbrt (* (* (fabs t) 3.9999999999999997e-32) (sqrt (pow t 2)))))
  (cbrt (* (* (fabs t) 3.9999999999999997e-32) (sqrt (pow t 2))))
  (* (* (* (* (fabs t) 3.9999999999999997e-32) (sqrt (pow t 2))) (* (* (fabs t) 3.9999999999999997e-32) (sqrt (pow t 2)))) (* (* (fabs t) 3.9999999999999997e-32) (sqrt (pow t 2))))
  (sqrt (* (* (fabs t) 3.9999999999999997e-32) (sqrt (pow t 2))))
  (sqrt (* (* (fabs t) 3.9999999999999997e-32) (sqrt (pow t 2))))
  (* (* (fabs t) 3.9999999999999997e-32) (* (cbrt (sqrt (pow t 2))) (cbrt (sqrt (pow t 2)))))
  (* (* (fabs t) 3.9999999999999997e-32) (sqrt (pow (* (cbrt t) (cbrt t)) 2)))
  (* (* (fabs t) 3.9999999999999997e-32) (sqrt (pow (sqrt t) 2)))
  (* (* (fabs t) 3.9999999999999997e-32) (sqrt (pow 1 2)))
  (* (* (fabs t) 3.9999999999999997e-32) (sqrt t))
  (* (* (fabs t) 3.9999999999999997e-32) (sqrt (* (cbrt (pow t 2)) (cbrt (pow t 2)))))
  (* (* (fabs t) 3.9999999999999997e-32) (sqrt (sqrt (pow t 2))))
  (* (* (fabs t) 3.9999999999999997e-32) (sqrt 1))
  (* (* (fabs t) 3.9999999999999997e-32) (sqrt (pow t (/ 2 2))))
  (* (* (fabs t) 3.9999999999999997e-32) (sqrt (sqrt (pow t 2))))
  (* (* (fabs t) 3.9999999999999997e-32) 1)
  (* 3.9999999999999997e-32 (sqrt (pow t 2)))
  (* 3.9999999999999997e-32 (* (fabs t) t))
  (* 3.9999999999999997e-32 (* (fabs t) t))
  (* -3.9999999999999997e-32 (* (fabs t) t))
11.240 * * [simplify]: Extracting # 0 : cost  0
11.240 * * [simplify]: Extracting # 1 : cost  0
11.240 * * [simplify]: Extracting # 2 : cost  0
11.240 * * [simplify]: Extracting # 3 : cost  0
11.241 * * [simplify]: Extracting # 4 : cost  0
11.241 * * [simplify]: Extracting # 5 : cost  0
11.241 * * [simplify]: Extracting # 6 : cost  0
11.241 * * [simplify]: Extracting # 7 : cost  0
11.241 * * [simplify]: iteration  0 :  70  enodes  (cost  357 )
11.274 * * [simplify]: Extracting # 0 : cost  0
11.275 * * [simplify]: Extracting # 1 : cost  0
11.275 * * [simplify]: Extracting # 2 : cost  0
11.275 * * [simplify]: Extracting # 3 : cost  0
11.276 * * [simplify]: iteration  1 :  167  enodes  (cost  319 )
11.384 * * [simplify]: Extracting # 0 : cost  0
11.386 * * [simplify]: Extracting # 1 : cost  0
11.386 * * [simplify]: Extracting # 2 : cost  0
11.387 * * [simplify]: Extracting # 3 : cost  0
11.388 * * [simplify]: Extracting # 4 : cost  0
11.388 * * [simplify]: iteration  2 :  474  enodes  (cost  202 )
11.943 * * [simplify]: Extracting # 0 : cost  0
11.946 * * [simplify]: Extracting # 1 : cost  0
11.948 * * [simplify]: Extracting # 2 : cost  0
11.950 * * [simplify]: Extracting # 3 : cost  0
11.952 * * [simplify]: Extracting # 4 : cost  0
11.953 * * [simplify]: iteration  3 :  1271  enodes  (cost  202 )
15.382 * * [simplify]: Extracting # 0 : cost  0
15.393 * * [simplify]: Extracting # 1 : cost  0
15.397 * * [simplify]: Extracting # 2 : cost  0
15.401 * * [simplify]: Extracting # 3 : cost  0
15.405 * * [simplify]: Extracting # 4 : cost  0
15.410 * * [simplify]: Extracting # 5 : cost  0
15.414 * * [simplify]: iteration  4 :  4908  enodes  (cost  201 )
18.870 * * [simplify]: Extracting # 0 : cost  0
18.877 * * [simplify]: Extracting # 1 : cost  0
18.884 * * [simplify]: Extracting # 2 : cost  0
18.892 * * [simplify]: iteration done:  5000  enodes  (cost  201 )
18.893 * [simplify]: Simplified to:
  (expm1 (* (pow t 2) 3.9999999999999997e-32))
  (log1p (* (pow t 2) 3.9999999999999997e-32))
  (* (pow t 2) 3.9999999999999997e-32)
  (* (pow t 2) 3.9999999999999997e-32)
  (log (* (pow t 2) 3.9999999999999997e-32))
  (log (* (pow t 2) 3.9999999999999997e-32))
  (log (* (pow t 2) 3.9999999999999997e-32))
  (exp (* (pow t 2) 3.9999999999999997e-32))
  (pow (* (pow t 2) 3.9999999999999997e-32) 3)
  (pow (* (pow t 2) 3.9999999999999997e-32) 3)
  (* (cbrt (* (pow t 2) 3.9999999999999997e-32)) (cbrt (* (pow t 2) 3.9999999999999997e-32)))
  (cbrt (* (pow t 2) 3.9999999999999997e-32))
  (pow (* (pow t 2) 3.9999999999999997e-32) 3)
  (sqrt (* (pow t 2) 3.9999999999999997e-32))
  (sqrt (* (pow t 2) 3.9999999999999997e-32))
  (* (* (fabs t) 3.9999999999999997e-32) (* (cbrt (fabs t)) (cbrt (fabs t))))
  (* (* (fabs t) 3.9999999999999997e-32) (sqrt (* (cbrt t) t)))
  (* (* (fabs t) 3.9999999999999997e-32) (sqrt t))
  (* (fabs t) 3.9999999999999997e-32)
  (* (* (fabs t) 3.9999999999999997e-32) (sqrt t))
  (* (* 3.9999999999999997e-32 (fabs t)) (fabs (cbrt (pow t 2))))
  (* (* (fabs t) 3.9999999999999997e-32) (sqrt (fabs t)))
  (* (fabs t) 3.9999999999999997e-32)
  (* (* (fabs t) 3.9999999999999997e-32) (sqrt t))
  (* (* (fabs t) 3.9999999999999997e-32) (sqrt (fabs t)))
  (* (fabs t) 3.9999999999999997e-32)
  (* (fabs t) 3.9999999999999997e-32)
  (* 3.9999999999999997e-32 (* (fabs t) t))
  (* 3.9999999999999997e-32 (* (fabs t) t))
  (* -3.9999999999999997e-32 (* (fabs t) t))
18.893 * * * [progress]: adding candidates to table
18.995 * * [progress]: iteration 4 / 4
18.995 * * * [progress]: picking best candidate
19.013 * * * * [pick]: Picked  #<alt (λ (t) (* (* (sqrt 3.9999999999999997e-32) (fabs t)) (* (sqrt 3.9999999999999997e-32) (fabs t))))>
19.013 * * * [progress]: localizing error
19.019 * * * [progress]: generating rewritten candidates
19.019 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
19.069 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
19.090 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
19.107 * * * [progress]: generating series expansions
19.107 * * * * [progress]: [ 1 / 3 ] generating series at (2)
19.108 * [backup-simplify]: Simplify (* (* (sqrt 3.9999999999999997e-32) (fabs t)) (* (sqrt 3.9999999999999997e-32) (fabs t))) into (* (pow (fabs t) 2) (pow (sqrt 3.9999999999999997e-32) 2))
19.108 * [approximate]: Taking taylor expansion of (* (pow (fabs t) 2) (pow (sqrt 3.9999999999999997e-32) 2)) in (t) around 0
19.108 * [taylor]: Taking taylor expansion of (* (pow (fabs t) 2) (pow (sqrt 3.9999999999999997e-32) 2)) in t
19.108 * [taylor]: Taking taylor expansion of (pow (fabs t) 2) in t
19.108 * [taylor]: Taking taylor expansion of (fabs t) in t
19.108 * [backup-simplify]: Simplify (fabs t) into (fabs t)
19.108 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
19.108 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
19.108 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
19.108 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
19.108 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
19.109 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.109 * [taylor]: Taking taylor expansion of (* (pow (fabs t) 2) (pow (sqrt 3.9999999999999997e-32) 2)) in t
19.109 * [taylor]: Taking taylor expansion of (pow (fabs t) 2) in t
19.109 * [taylor]: Taking taylor expansion of (fabs t) in t
19.109 * [backup-simplify]: Simplify (fabs t) into (fabs t)
19.109 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
19.109 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
19.109 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
19.109 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
19.109 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
19.110 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.110 * [backup-simplify]: Simplify (* (fabs t) (fabs t)) into (pow (fabs t) 2)
19.111 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
19.112 * [backup-simplify]: Simplify (* (pow (fabs t) 2) (pow (sqrt 3.9999999999999997e-32) 2)) into (* (pow (fabs t) 2) (pow (sqrt 3.9999999999999997e-32) 2))
19.112 * [backup-simplify]: Simplify (* (pow (fabs t) 2) (pow (sqrt 3.9999999999999997e-32) 2)) into (* (pow (fabs t) 2) (pow (sqrt 3.9999999999999997e-32) 2))
19.113 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
19.113 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (* 0 (fabs t))) into 0
19.114 * [backup-simplify]: Simplify (+ (* (pow (fabs t) 2) 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))) into 0
19.114 * [backup-simplify]: Simplify 0 into 0
19.115 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.115 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
19.116 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (* 0 (fabs t)))) into 0
19.116 * [backup-simplify]: Simplify (+ (* (pow (fabs t) 2) 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))) into 0
19.116 * [backup-simplify]: Simplify 0 into 0
19.117 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.119 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
19.119 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs t))))) into 0
19.120 * [backup-simplify]: Simplify (+ (* (pow (fabs t) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))))) into 0
19.120 * [backup-simplify]: Simplify 0 into 0
19.121 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.122 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
19.123 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs t)))))) into 0
19.124 * [backup-simplify]: Simplify (+ (* (pow (fabs t) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))))) into 0
19.124 * [backup-simplify]: Simplify 0 into 0
19.124 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.125 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
19.126 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs t))))))) into 0
19.127 * [backup-simplify]: Simplify (+ (* (pow (fabs t) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))))))) into 0
19.128 * [backup-simplify]: Simplify 0 into 0
19.128 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.130 * [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
19.131 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs t)))))))) into 0
19.132 * [backup-simplify]: Simplify (+ (* (pow (fabs t) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))))))) into 0
19.132 * [backup-simplify]: Simplify 0 into 0
19.133 * [backup-simplify]: Simplify (* (pow (fabs t) 2) (pow (sqrt 3.9999999999999997e-32) 2)) into (* (pow (fabs t) 2) (pow (sqrt 3.9999999999999997e-32) 2))
19.134 * [backup-simplify]: Simplify (* (* (sqrt 3.9999999999999997e-32) (fabs (/ 1 t))) (* (sqrt 3.9999999999999997e-32) (fabs (/ 1 t)))) into (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (fabs (/ 1 t)) 2))
19.134 * [approximate]: Taking taylor expansion of (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (fabs (/ 1 t)) 2)) in (t) around 0
19.134 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (fabs (/ 1 t)) 2)) in t
19.134 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
19.134 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
19.134 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
19.134 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
19.134 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
19.134 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.135 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 t)) 2) in t
19.135 * [taylor]: Taking taylor expansion of (fabs (/ 1 t)) in t
19.135 * [backup-simplify]: Simplify (fabs (/ 1 t)) into (fabs (/ 1 t))
19.135 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (fabs (/ 1 t)) 2)) in t
19.135 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
19.135 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
19.135 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
19.135 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
19.135 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
19.135 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.136 * [taylor]: Taking taylor expansion of (pow (fabs (/ 1 t)) 2) in t
19.136 * [taylor]: Taking taylor expansion of (fabs (/ 1 t)) in t
19.136 * [backup-simplify]: Simplify (fabs (/ 1 t)) into (fabs (/ 1 t))
19.136 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
19.137 * [backup-simplify]: Simplify (* (fabs (/ 1 t)) (fabs (/ 1 t))) into (pow (fabs (/ 1 t)) 2)
19.137 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (fabs (/ 1 t)) 2)) into (* (pow (fabs (/ 1 t)) 2) (pow (sqrt 3.9999999999999997e-32) 2))
19.138 * [backup-simplify]: Simplify (* (pow (fabs (/ 1 t)) 2) (pow (sqrt 3.9999999999999997e-32) 2)) into (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (fabs (/ 1 t)) 2))
19.138 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 t)) 0) (* 0 (fabs (/ 1 t)))) into 0
19.139 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
19.139 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3.9999999999999997e-32) 2) 0) (* 0 (pow (fabs (/ 1 t)) 2))) into 0
19.139 * [backup-simplify]: Simplify 0 into 0
19.140 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 t)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 t))))) into 0
19.141 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.141 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
19.142 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3.9999999999999997e-32) 2) 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 t)) 2)))) into 0
19.142 * [backup-simplify]: Simplify 0 into 0
19.143 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 t)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 t)))))) into 0
19.144 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.144 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
19.145 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3.9999999999999997e-32) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 t)) 2))))) into 0
19.145 * [backup-simplify]: Simplify 0 into 0
19.146 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 t)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 t))))))) into 0
19.147 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.148 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
19.149 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3.9999999999999997e-32) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 t)) 2)))))) into 0
19.149 * [backup-simplify]: Simplify 0 into 0
19.150 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 t)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 t)))))))) into 0
19.151 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.152 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
19.154 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3.9999999999999997e-32) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 t)) 2))))))) into 0
19.154 * [backup-simplify]: Simplify 0 into 0
19.155 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 t)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 t))))))))) into 0
19.157 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.158 * [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
19.160 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3.9999999999999997e-32) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ 1 t)) 2)))))))) into 0
19.160 * [backup-simplify]: Simplify 0 into 0
19.161 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (fabs (/ 1 (/ 1 t))) 2)) into (* (pow (fabs t) 2) (pow (sqrt 3.9999999999999997e-32) 2))
19.162 * [backup-simplify]: Simplify (* (* (sqrt 3.9999999999999997e-32) (fabs (/ 1 (- t)))) (* (sqrt 3.9999999999999997e-32) (fabs (/ 1 (- t))))) into (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (fabs (/ -1 t)) 2))
19.162 * [approximate]: Taking taylor expansion of (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (fabs (/ -1 t)) 2)) in (t) around 0
19.162 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (fabs (/ -1 t)) 2)) in t
19.162 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
19.162 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
19.162 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
19.162 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
19.163 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
19.163 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.163 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 t)) 2) in t
19.163 * [taylor]: Taking taylor expansion of (fabs (/ -1 t)) in t
19.163 * [backup-simplify]: Simplify (fabs (/ -1 t)) into (fabs (/ -1 t))
19.163 * [taylor]: Taking taylor expansion of (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (fabs (/ -1 t)) 2)) in t
19.163 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
19.163 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
19.163 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
19.163 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
19.164 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
19.164 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.164 * [taylor]: Taking taylor expansion of (pow (fabs (/ -1 t)) 2) in t
19.164 * [taylor]: Taking taylor expansion of (fabs (/ -1 t)) in t
19.164 * [backup-simplify]: Simplify (fabs (/ -1 t)) into (fabs (/ -1 t))
19.165 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
19.166 * [backup-simplify]: Simplify (* (fabs (/ -1 t)) (fabs (/ -1 t))) into (pow (fabs (/ -1 t)) 2)
19.166 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (fabs (/ -1 t)) 2)) into (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (fabs (/ -1 t)) 2))
19.167 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (fabs (/ -1 t)) 2)) into (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (fabs (/ -1 t)) 2))
19.167 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 t)) 0) (* 0 (fabs (/ -1 t)))) into 0
19.168 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
19.169 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3.9999999999999997e-32) 2) 0) (* 0 (pow (fabs (/ -1 t)) 2))) into 0
19.169 * [backup-simplify]: Simplify 0 into 0
19.169 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 t)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 t))))) into 0
19.170 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.170 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
19.171 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3.9999999999999997e-32) 2) 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 t)) 2)))) into 0
19.171 * [backup-simplify]: Simplify 0 into 0
19.172 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 t)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 t)))))) into 0
19.173 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.173 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
19.174 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3.9999999999999997e-32) 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 t)) 2))))) into 0
19.174 * [backup-simplify]: Simplify 0 into 0
19.175 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 t)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 t))))))) into 0
19.176 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.177 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
19.179 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3.9999999999999997e-32) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 t)) 2)))))) into 0
19.179 * [backup-simplify]: Simplify 0 into 0
19.180 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 t)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 t)))))))) into 0
19.180 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.181 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
19.183 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3.9999999999999997e-32) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 t)) 2))))))) into 0
19.183 * [backup-simplify]: Simplify 0 into 0
19.184 * [backup-simplify]: Simplify (+ (* (fabs (/ -1 t)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 t))))))))) into 0
19.185 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.190 * [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
19.193 * [backup-simplify]: Simplify (+ (* (pow (sqrt 3.9999999999999997e-32) 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (fabs (/ -1 t)) 2)))))))) into 0
19.193 * [backup-simplify]: Simplify 0 into 0
19.194 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (fabs (/ -1 (/ 1 (- t)))) 2)) into (* (pow (fabs t) 2) (pow (sqrt 3.9999999999999997e-32) 2))
19.194 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
19.194 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (fabs t)) into (* (fabs t) (sqrt 3.9999999999999997e-32))
19.194 * [approximate]: Taking taylor expansion of (* (fabs t) (sqrt 3.9999999999999997e-32)) in (t) around 0
19.194 * [taylor]: Taking taylor expansion of (* (fabs t) (sqrt 3.9999999999999997e-32)) in t
19.194 * [taylor]: Taking taylor expansion of (fabs t) in t
19.194 * [backup-simplify]: Simplify (fabs t) into (fabs t)
19.194 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
19.194 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
19.194 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
19.195 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
19.195 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.195 * [taylor]: Taking taylor expansion of (* (fabs t) (sqrt 3.9999999999999997e-32)) in t
19.195 * [taylor]: Taking taylor expansion of (fabs t) in t
19.195 * [backup-simplify]: Simplify (fabs t) into (fabs t)
19.195 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
19.195 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
19.195 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
19.195 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
19.196 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.196 * [backup-simplify]: Simplify (* (fabs t) (sqrt 3.9999999999999997e-32)) into (* (fabs t) (sqrt 3.9999999999999997e-32))
19.197 * [backup-simplify]: Simplify (* (fabs t) (sqrt 3.9999999999999997e-32)) into (* (fabs t) (sqrt 3.9999999999999997e-32))
19.197 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
19.197 * [backup-simplify]: Simplify 0 into 0
19.198 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.199 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
19.199 * [backup-simplify]: Simplify 0 into 0
19.200 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.200 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
19.200 * [backup-simplify]: Simplify 0 into 0
19.201 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.203 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
19.203 * [backup-simplify]: Simplify 0 into 0
19.204 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.205 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
19.205 * [backup-simplify]: Simplify 0 into 0
19.207 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.208 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))))) into 0
19.208 * [backup-simplify]: Simplify 0 into 0
19.208 * [backup-simplify]: Simplify (* (fabs t) (sqrt 3.9999999999999997e-32)) into (* (fabs t) (sqrt 3.9999999999999997e-32))
19.209 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (fabs (/ 1 t))) into (* (fabs (/ 1 t)) (sqrt 3.9999999999999997e-32))
19.209 * [approximate]: Taking taylor expansion of (* (fabs (/ 1 t)) (sqrt 3.9999999999999997e-32)) in (t) around 0
19.209 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 t)) (sqrt 3.9999999999999997e-32)) in t
19.209 * [taylor]: Taking taylor expansion of (fabs (/ 1 t)) in t
19.209 * [backup-simplify]: Simplify (fabs (/ 1 t)) into (fabs (/ 1 t))
19.209 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
19.209 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
19.209 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
19.210 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
19.211 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.211 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 t)) (sqrt 3.9999999999999997e-32)) in t
19.211 * [taylor]: Taking taylor expansion of (fabs (/ 1 t)) in t
19.211 * [backup-simplify]: Simplify (fabs (/ 1 t)) into (fabs (/ 1 t))
19.211 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
19.211 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
19.211 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
19.211 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
19.212 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.213 * [backup-simplify]: Simplify (* (fabs (/ 1 t)) (sqrt 3.9999999999999997e-32)) into (* (sqrt 3.9999999999999997e-32) (fabs (/ 1 t)))
19.214 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (fabs (/ 1 t))) into (* (fabs (/ 1 t)) (sqrt 3.9999999999999997e-32))
19.215 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 t)) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
19.215 * [backup-simplify]: Simplify 0 into 0
19.216 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.217 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 t)) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
19.217 * [backup-simplify]: Simplify 0 into 0
19.218 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.219 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 t)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
19.219 * [backup-simplify]: Simplify 0 into 0
19.221 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.222 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 t)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
19.222 * [backup-simplify]: Simplify 0 into 0
19.224 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.225 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 t)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
19.225 * [backup-simplify]: Simplify 0 into 0
19.226 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.227 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 t)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))))) into 0
19.227 * [backup-simplify]: Simplify 0 into 0
19.227 * [backup-simplify]: Simplify (* (fabs (/ 1 (/ 1 t))) (sqrt 3.9999999999999997e-32)) into (* (fabs t) (sqrt 3.9999999999999997e-32))
19.228 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (fabs (/ 1 (- t)))) into (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 t)))
19.228 * [approximate]: Taking taylor expansion of (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 t))) in (t) around 0
19.228 * [taylor]: Taking taylor expansion of (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 t))) in t
19.228 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
19.228 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
19.228 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
19.229 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
19.230 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.230 * [taylor]: Taking taylor expansion of (fabs (/ -1 t)) in t
19.230 * [backup-simplify]: Simplify (fabs (/ -1 t)) into (fabs (/ -1 t))
19.230 * [taylor]: Taking taylor expansion of (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 t))) in t
19.230 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
19.230 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
19.230 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
19.230 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
19.230 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.231 * [taylor]: Taking taylor expansion of (fabs (/ -1 t)) in t
19.231 * [backup-simplify]: Simplify (fabs (/ -1 t)) into (fabs (/ -1 t))
19.231 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 t))) into (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 t)))
19.231 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 t))) into (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 t)))
19.232 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (fabs (/ -1 t)))) into 0
19.232 * [backup-simplify]: Simplify 0 into 0
19.232 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.233 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (fabs (/ -1 t))))) into 0
19.233 * [backup-simplify]: Simplify 0 into 0
19.234 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.235 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 t)))))) into 0
19.235 * [backup-simplify]: Simplify 0 into 0
19.236 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.237 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 t))))))) into 0
19.237 * [backup-simplify]: Simplify 0 into 0
19.237 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.239 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 t)))))))) into 0
19.239 * [backup-simplify]: Simplify 0 into 0
19.240 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.241 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 t))))))))) into 0
19.241 * [backup-simplify]: Simplify 0 into 0
19.241 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 (/ 1 (- t))))) into (* (fabs t) (sqrt 3.9999999999999997e-32))
19.241 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
19.242 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (fabs t)) into (* (fabs t) (sqrt 3.9999999999999997e-32))
19.242 * [approximate]: Taking taylor expansion of (* (fabs t) (sqrt 3.9999999999999997e-32)) in (t) around 0
19.242 * [taylor]: Taking taylor expansion of (* (fabs t) (sqrt 3.9999999999999997e-32)) in t
19.242 * [taylor]: Taking taylor expansion of (fabs t) in t
19.242 * [backup-simplify]: Simplify (fabs t) into (fabs t)
19.242 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
19.242 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
19.242 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
19.242 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
19.243 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.243 * [taylor]: Taking taylor expansion of (* (fabs t) (sqrt 3.9999999999999997e-32)) in t
19.243 * [taylor]: Taking taylor expansion of (fabs t) in t
19.243 * [backup-simplify]: Simplify (fabs t) into (fabs t)
19.243 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
19.243 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
19.243 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
19.243 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
19.243 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.244 * [backup-simplify]: Simplify (* (fabs t) (sqrt 3.9999999999999997e-32)) into (* (fabs t) (sqrt 3.9999999999999997e-32))
19.244 * [backup-simplify]: Simplify (* (fabs t) (sqrt 3.9999999999999997e-32)) into (* (fabs t) (sqrt 3.9999999999999997e-32))
19.244 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
19.245 * [backup-simplify]: Simplify 0 into 0
19.245 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.246 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
19.246 * [backup-simplify]: Simplify 0 into 0
19.246 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.247 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
19.247 * [backup-simplify]: Simplify 0 into 0
19.248 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.249 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
19.249 * [backup-simplify]: Simplify 0 into 0
19.249 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.250 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
19.250 * [backup-simplify]: Simplify 0 into 0
19.251 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.252 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))))) into 0
19.252 * [backup-simplify]: Simplify 0 into 0
19.252 * [backup-simplify]: Simplify (* (fabs t) (sqrt 3.9999999999999997e-32)) into (* (fabs t) (sqrt 3.9999999999999997e-32))
19.253 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (fabs (/ 1 t))) into (* (fabs (/ 1 t)) (sqrt 3.9999999999999997e-32))
19.253 * [approximate]: Taking taylor expansion of (* (fabs (/ 1 t)) (sqrt 3.9999999999999997e-32)) in (t) around 0
19.253 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 t)) (sqrt 3.9999999999999997e-32)) in t
19.253 * [taylor]: Taking taylor expansion of (fabs (/ 1 t)) in t
19.253 * [backup-simplify]: Simplify (fabs (/ 1 t)) into (fabs (/ 1 t))
19.253 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
19.253 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
19.253 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
19.253 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
19.253 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.253 * [taylor]: Taking taylor expansion of (* (fabs (/ 1 t)) (sqrt 3.9999999999999997e-32)) in t
19.254 * [taylor]: Taking taylor expansion of (fabs (/ 1 t)) in t
19.254 * [backup-simplify]: Simplify (fabs (/ 1 t)) into (fabs (/ 1 t))
19.254 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
19.254 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
19.254 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
19.254 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
19.254 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.255 * [backup-simplify]: Simplify (* (fabs (/ 1 t)) (sqrt 3.9999999999999997e-32)) into (* (sqrt 3.9999999999999997e-32) (fabs (/ 1 t)))
19.255 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (fabs (/ 1 t))) into (* (fabs (/ 1 t)) (sqrt 3.9999999999999997e-32))
19.255 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 t)) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
19.255 * [backup-simplify]: Simplify 0 into 0
19.256 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.257 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 t)) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
19.257 * [backup-simplify]: Simplify 0 into 0
19.258 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.258 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 t)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
19.258 * [backup-simplify]: Simplify 0 into 0
19.259 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.260 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 t)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
19.260 * [backup-simplify]: Simplify 0 into 0
19.261 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.262 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 t)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
19.263 * [backup-simplify]: Simplify 0 into 0
19.264 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.265 * [backup-simplify]: Simplify (+ (* (fabs (/ 1 t)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))))) into 0
19.266 * [backup-simplify]: Simplify 0 into 0
19.266 * [backup-simplify]: Simplify (* (fabs (/ 1 (/ 1 t))) (sqrt 3.9999999999999997e-32)) into (* (fabs t) (sqrt 3.9999999999999997e-32))
19.267 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (fabs (/ 1 (- t)))) into (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 t)))
19.267 * [approximate]: Taking taylor expansion of (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 t))) in (t) around 0
19.267 * [taylor]: Taking taylor expansion of (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 t))) in t
19.267 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
19.267 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
19.267 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
19.267 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
19.268 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.268 * [taylor]: Taking taylor expansion of (fabs (/ -1 t)) in t
19.268 * [backup-simplify]: Simplify (fabs (/ -1 t)) into (fabs (/ -1 t))
19.268 * [taylor]: Taking taylor expansion of (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 t))) in t
19.268 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
19.268 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
19.268 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
19.269 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
19.269 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.269 * [taylor]: Taking taylor expansion of (fabs (/ -1 t)) in t
19.269 * [backup-simplify]: Simplify (fabs (/ -1 t)) into (fabs (/ -1 t))
19.270 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 t))) into (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 t)))
19.270 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 t))) into (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 t)))
19.271 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (fabs (/ -1 t)))) into 0
19.271 * [backup-simplify]: Simplify 0 into 0
19.272 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.273 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (fabs (/ -1 t))))) into 0
19.273 * [backup-simplify]: Simplify 0 into 0
19.274 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.276 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 t)))))) into 0
19.276 * [backup-simplify]: Simplify 0 into 0
19.277 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.279 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 t))))))) into 0
19.279 * [backup-simplify]: Simplify 0 into 0
19.280 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.282 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 t)))))))) into 0
19.282 * [backup-simplify]: Simplify 0 into 0
19.284 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
19.286 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 t))))))))) into 0
19.286 * [backup-simplify]: Simplify 0 into 0
19.287 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (fabs (/ -1 (/ 1 (- t))))) into (* (fabs t) (sqrt 3.9999999999999997e-32))
19.287 * * * [progress]: simplifying candidates
19.290 * [simplify]: Simplifying:
  (expm1 (* (* (sqrt 3.9999999999999997e-32) (fabs t)) (* (sqrt 3.9999999999999997e-32) (fabs t))))
  (log1p (* (* (sqrt 3.9999999999999997e-32) (fabs t)) (* (sqrt 3.9999999999999997e-32) (fabs t))))
  (+ 1 1)
  (+ 1 1)
  (+ 1 1)
  (+ 1 1)
  (* (* (sqrt 3.9999999999999997e-32) (fabs t)) (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (* (* (sqrt 3.9999999999999997e-32) (fabs t)) (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (* (* (sqrt 3.9999999999999997e-32) (fabs t)) (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (* (* (sqrt 3.9999999999999997e-32) (fabs t)) (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (+ 1 1)
  (+ 1 1)
  (+ (+ (log (sqrt 3.9999999999999997e-32)) (log (fabs t))) (+ (log (sqrt 3.9999999999999997e-32)) (log (fabs t))))
  (+ (+ (log (sqrt 3.9999999999999997e-32)) (log (fabs t))) (log (* (sqrt 3.9999999999999997e-32) (fabs t))))
  (+ (log (* (sqrt 3.9999999999999997e-32) (fabs t))) (+ (log (sqrt 3.9999999999999997e-32)) (log (fabs t))))
  (+ (log (* (sqrt 3.9999999999999997e-32) (fabs t))) (log (* (sqrt 3.9999999999999997e-32) (fabs t))))
  (log (* (* (sqrt 3.9999999999999997e-32) (fabs t)) (* (sqrt 3.9999999999999997e-32) (fabs t))))
  (exp (* (* (sqrt 3.9999999999999997e-32) (fabs t)) (* (sqrt 3.9999999999999997e-32) (fabs t))))
  (* (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (fabs t) (fabs t)) (fabs t))) (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (fabs t) (fabs t)) (fabs t))))
  (* (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (fabs t) (fabs t)) (fabs t))) (* (* (* (sqrt 3.9999999999999997e-32) (fabs t)) (* (sqrt 3.9999999999999997e-32) (fabs t))) (* (sqrt 3.9999999999999997e-32) (fabs t))))
  (* (* (* (* (sqrt 3.9999999999999997e-32) (fabs t)) (* (sqrt 3.9999999999999997e-32) (fabs t))) (* (sqrt 3.9999999999999997e-32) (fabs t))) (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (fabs t) (fabs t)) (fabs t))))
  (* (* (* (* (sqrt 3.9999999999999997e-32) (fabs t)) (* (sqrt 3.9999999999999997e-32) (fabs t))) (* (sqrt 3.9999999999999997e-32) (fabs t))) (* (* (* (sqrt 3.9999999999999997e-32) (fabs t)) (* (sqrt 3.9999999999999997e-32) (fabs t))) (* (sqrt 3.9999999999999997e-32) (fabs t))))
  (* (cbrt (* (* (sqrt 3.9999999999999997e-32) (fabs t)) (* (sqrt 3.9999999999999997e-32) (fabs t)))) (cbrt (* (* (sqrt 3.9999999999999997e-32) (fabs t)) (* (sqrt 3.9999999999999997e-32) (fabs t)))))
  (cbrt (* (* (sqrt 3.9999999999999997e-32) (fabs t)) (* (sqrt 3.9999999999999997e-32) (fabs t))))
  (* (* (* (* (sqrt 3.9999999999999997e-32) (fabs t)) (* (sqrt 3.9999999999999997e-32) (fabs t))) (* (* (sqrt 3.9999999999999997e-32) (fabs t)) (* (sqrt 3.9999999999999997e-32) (fabs t)))) (* (* (sqrt 3.9999999999999997e-32) (fabs t)) (* (sqrt 3.9999999999999997e-32) (fabs t))))
  (sqrt (* (* (sqrt 3.9999999999999997e-32) (fabs t)) (* (sqrt 3.9999999999999997e-32) (fabs t))))
  (sqrt (* (* (sqrt 3.9999999999999997e-32) (fabs t)) (* (sqrt 3.9999999999999997e-32) (fabs t))))
  (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32))
  (* (fabs t) (fabs t))
  (* 2 1)
  (* 2 1)
  (* 2 1)
  (* 2 1)
  (* (* (sqrt 3.9999999999999997e-32) (fabs t)) (sqrt 3.9999999999999997e-32))
  (* (fabs t) (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (expm1 (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (log1p (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (* (sqrt 3.9999999999999997e-32) (fabs t))
  (+ (log (sqrt 3.9999999999999997e-32)) (log (fabs t)))
  (log (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (exp (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (fabs t) (fabs t)) (fabs t)))
  (* (cbrt (* (sqrt 3.9999999999999997e-32) (fabs t))) (cbrt (* (sqrt 3.9999999999999997e-32) (fabs t))))
  (cbrt (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (* (* (* (sqrt 3.9999999999999997e-32) (fabs t)) (* (sqrt 3.9999999999999997e-32) (fabs t))) (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (sqrt (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (sqrt (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (fabs t)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (fabs t)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (fabs t)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (fabs t)))
  (* (sqrt 3.9999999999999997e-32) (* (cbrt (fabs t)) (cbrt (fabs t))))
  (* (sqrt 3.9999999999999997e-32) (sqrt (fabs t)))
  (* (sqrt 3.9999999999999997e-32) 1)
  (* (cbrt (sqrt 3.9999999999999997e-32)) (fabs t))
  (* (sqrt (cbrt 3.9999999999999997e-32)) (fabs t))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (fabs t))
  (* (sqrt 3.9999999999999997e-32) (fabs t))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (fabs t))
  (* (sqrt 3.9999999999999997e-32) (fabs t))
  (expm1 (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (log1p (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (* (sqrt 3.9999999999999997e-32) (fabs t))
  (+ (log (sqrt 3.9999999999999997e-32)) (log (fabs t)))
  (log (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (exp (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (fabs t) (fabs t)) (fabs t)))
  (* (cbrt (* (sqrt 3.9999999999999997e-32) (fabs t))) (cbrt (* (sqrt 3.9999999999999997e-32) (fabs t))))
  (cbrt (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (* (* (* (sqrt 3.9999999999999997e-32) (fabs t)) (* (sqrt 3.9999999999999997e-32) (fabs t))) (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (sqrt (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (sqrt (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (fabs t)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (fabs t)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (fabs t)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (fabs t)))
  (* (sqrt 3.9999999999999997e-32) (* (cbrt (fabs t)) (cbrt (fabs t))))
  (* (sqrt 3.9999999999999997e-32) (sqrt (fabs t)))
  (* (sqrt 3.9999999999999997e-32) 1)
  (* (cbrt (sqrt 3.9999999999999997e-32)) (fabs t))
  (* (sqrt (cbrt 3.9999999999999997e-32)) (fabs t))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (fabs t))
  (* (sqrt 3.9999999999999997e-32) (fabs t))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (fabs t))
  (* (sqrt 3.9999999999999997e-32) (fabs t))
  (* (pow (fabs t) 2) (pow (sqrt 3.9999999999999997e-32) 2))
  (* (pow (fabs t) 2) (pow (sqrt 3.9999999999999997e-32) 2))
  (* (pow (fabs t) 2) (pow (sqrt 3.9999999999999997e-32) 2))
  (* (fabs t) (sqrt 3.9999999999999997e-32))
  (* (fabs t) (sqrt 3.9999999999999997e-32))
  (* (fabs t) (sqrt 3.9999999999999997e-32))
  (* (fabs t) (sqrt 3.9999999999999997e-32))
  (* (fabs t) (sqrt 3.9999999999999997e-32))
  (* (fabs t) (sqrt 3.9999999999999997e-32))
19.293 * * [simplify]: Extracting # 0 : cost  0
19.293 * * [simplify]: Extracting # 1 : cost  0
19.293 * * [simplify]: Extracting # 2 : cost  0
19.293 * * [simplify]: Extracting # 3 : cost  0
19.294 * * [simplify]: Extracting # 4 : cost  0
19.294 * * [simplify]: Extracting # 5 : cost  0
19.294 * * [simplify]: Extracting # 6 : cost  0
19.294 * * [simplify]: iteration  0 :  63  enodes  (cost  863 )
19.324 * * [simplify]: Extracting # 0 : cost  0
19.325 * * [simplify]: Extracting # 1 : cost  0
19.325 * * [simplify]: Extracting # 2 : cost  0
19.325 * * [simplify]: Extracting # 3 : cost  0
19.325 * * [simplify]: iteration  1 :  128  enodes  (cost  648 )
19.380 * * [simplify]: Extracting # 0 : cost  0
19.381 * * [simplify]: Extracting # 1 : cost  0
19.382 * * [simplify]: Extracting # 2 : cost  0
19.382 * * [simplify]: Extracting # 3 : cost  0
19.383 * * [simplify]: Extracting # 4 : cost  0
19.383 * * [simplify]: iteration  2 :  474  enodes  (cost  548 )
20.064 * * [simplify]: Extracting # 0 : cost  0
20.066 * * [simplify]: Extracting # 1 : cost  0
20.067 * * [simplify]: Extracting # 2 : cost  0
20.069 * * [simplify]: Extracting # 3 : cost  0
20.070 * * [simplify]: Extracting # 4 : cost  0
20.071 * * [simplify]: iteration  3 :  1627  enodes  (cost  543 )
23.088 * * [simplify]: Extracting # 0 : cost  0
23.100 * * [simplify]: Extracting # 1 : cost  0
23.109 * * [simplify]: Extracting # 2 : cost  0
23.117 * * [simplify]: Extracting # 3 : cost  0
23.123 * * [simplify]: Extracting # 4 : cost  0
23.128 * * [simplify]: Extracting # 5 : cost  0
23.133 * * [simplify]: iteration done:  5000  enodes  (cost  543 )
23.133 * [simplify]: Simplified to:
  (expm1 (* (pow (fabs t) 2) 3.9999999999999997e-32))
  (log1p (* (pow (fabs t) 2) 3.9999999999999997e-32))
  2
  2
  2
  2
  (* (pow (fabs t) 2) 3.9999999999999997e-32)
  (* (pow (fabs t) 2) 3.9999999999999997e-32)
  (* (pow (fabs t) 2) 3.9999999999999997e-32)
  (* (pow (fabs t) 2) 3.9999999999999997e-32)
  2
  2
  (log (* (pow (fabs t) 2) 3.9999999999999997e-32))
  (log (* (pow (fabs t) 2) 3.9999999999999997e-32))
  (log (* (pow (fabs t) 2) 3.9999999999999997e-32))
  (log (* (pow (fabs t) 2) 3.9999999999999997e-32))
  (log (* (pow (fabs t) 2) 3.9999999999999997e-32))
  (exp (* (pow (fabs t) 2) 3.9999999999999997e-32))
  (pow (* (fabs t) (sqrt 3.9999999999999997e-32)) 6)
  (pow (* (fabs t) (sqrt 3.9999999999999997e-32)) 6)
  (pow (* (fabs t) (sqrt 3.9999999999999997e-32)) 6)
  (pow (* (fabs t) (sqrt 3.9999999999999997e-32)) 6)
  (* (cbrt (* (pow (fabs t) 2) 3.9999999999999997e-32)) (cbrt (* (pow (fabs t) 2) 3.9999999999999997e-32)))
  (cbrt (* (pow (fabs t) 2) 3.9999999999999997e-32))
  (pow (* (fabs t) (sqrt 3.9999999999999997e-32)) 6)
  (fabs (* (fabs t) (sqrt 3.9999999999999997e-32)))
  (fabs (* (fabs t) (sqrt 3.9999999999999997e-32)))
  3.9999999999999997e-32
  (pow (fabs t) 2)
  2
  2
  2
  2
  (* (fabs t) 3.9999999999999997e-32)
  (* (pow (fabs t) 2) (sqrt 3.9999999999999997e-32))
  (expm1 (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (log1p (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (* (fabs t) (sqrt 3.9999999999999997e-32))
  (log (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (log (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (exp (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (pow (* (fabs t) (sqrt 3.9999999999999997e-32)) 3)
  (* (cbrt (* (sqrt 3.9999999999999997e-32) (fabs t))) (cbrt (* (sqrt 3.9999999999999997e-32) (fabs t))))
  (cbrt (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (pow (* (fabs t) (sqrt 3.9999999999999997e-32)) 3)
  (sqrt (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (sqrt (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (fabs t)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (fabs t)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (fabs t)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (fabs t)))
  (* (sqrt 3.9999999999999997e-32) (* (cbrt (fabs t)) (cbrt (fabs t))))
  (* (sqrt 3.9999999999999997e-32) (sqrt (fabs t)))
  (sqrt 3.9999999999999997e-32)
  (* (cbrt (sqrt 3.9999999999999997e-32)) (fabs t))
  (* (sqrt (cbrt 3.9999999999999997e-32)) (fabs t))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (fabs t))
  (* (fabs t) (sqrt 3.9999999999999997e-32))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (fabs t))
  (* (fabs t) (sqrt 3.9999999999999997e-32))
  (expm1 (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (log1p (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (* (fabs t) (sqrt 3.9999999999999997e-32))
  (log (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (log (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (exp (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (pow (* (fabs t) (sqrt 3.9999999999999997e-32)) 3)
  (* (cbrt (* (sqrt 3.9999999999999997e-32) (fabs t))) (cbrt (* (sqrt 3.9999999999999997e-32) (fabs t))))
  (cbrt (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (pow (* (fabs t) (sqrt 3.9999999999999997e-32)) 3)
  (sqrt (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (sqrt (* (sqrt 3.9999999999999997e-32) (fabs t)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (fabs t)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (fabs t)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (fabs t)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (fabs t)))
  (* (sqrt 3.9999999999999997e-32) (* (cbrt (fabs t)) (cbrt (fabs t))))
  (* (sqrt 3.9999999999999997e-32) (sqrt (fabs t)))
  (sqrt 3.9999999999999997e-32)
  (* (cbrt (sqrt 3.9999999999999997e-32)) (fabs t))
  (* (sqrt (cbrt 3.9999999999999997e-32)) (fabs t))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (fabs t))
  (* (fabs t) (sqrt 3.9999999999999997e-32))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (fabs t))
  (* (fabs t) (sqrt 3.9999999999999997e-32))
  (* (pow (fabs t) 2) 3.9999999999999997e-32)
  (* (pow (fabs t) 2) 3.9999999999999997e-32)
  (* (pow (fabs t) 2) 3.9999999999999997e-32)
  (* (fabs t) (sqrt 3.9999999999999997e-32))
  (* (fabs t) (sqrt 3.9999999999999997e-32))
  (* (fabs t) (sqrt 3.9999999999999997e-32))
  (* (fabs t) (sqrt 3.9999999999999997e-32))
  (* (fabs t) (sqrt 3.9999999999999997e-32))
  (* (fabs t) (sqrt 3.9999999999999997e-32))
23.134 * * * [progress]: adding candidates to table
23.306 * [progress]: [Phase 3 of 3] Extracting.
23.306 * * [regime]: Finding splitpoints for: (#<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))> #<alt (λ (t) (* (* (* (fabs t) 3.9999999999999997e-32) (sqrt (* (cbrt t) t))) (sqrt (pow (cbrt t) 2))))> #<alt (λ (t) (* (* (sqrt 3.9999999999999997e-32) (fabs t)) (* (* (sqrt 3.9999999999999997e-32) (sqrt (fabs t))) (sqrt (fabs t)))))> #<alt (λ (t) (cbrt (pow (* (fabs t) (sqrt 3.9999999999999997e-32)) 6)))> #<alt (λ (t) (* (* (fabs t) 3.9999999999999997e-32) (sqrt (pow t 2))))> #<alt (λ (t) (* (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt (sqrt 3.9999999999999997e-32)) (fabs t))) (* (sqrt 3.9999999999999997e-32) (fabs t))))>)
23.307 * * * [regime-changes]: Trying 1 branch expressions: (t)
23.307 * * * * [regimes]: Trying to branch on t from (#<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))> #<alt (λ (t) (* (* (* (fabs t) 3.9999999999999997e-32) (sqrt (* (cbrt t) t))) (sqrt (pow (cbrt t) 2))))> #<alt (λ (t) (* (* (sqrt 3.9999999999999997e-32) (fabs t)) (* (* (sqrt 3.9999999999999997e-32) (sqrt (fabs t))) (sqrt (fabs t)))))> #<alt (λ (t) (cbrt (pow (* (fabs t) (sqrt 3.9999999999999997e-32)) 6)))> #<alt (λ (t) (* (* (fabs t) 3.9999999999999997e-32) (sqrt (pow t 2))))> #<alt (λ (t) (* (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt (sqrt 3.9999999999999997e-32)) (fabs t))) (* (sqrt 3.9999999999999997e-32) (fabs t))))>)
23.327 * * * [regime]: Found split indices: #<option (#s(si 4 255))>
23.327 * [simplify]: Simplifying:
  (* (* (fabs t) 3.9999999999999997e-32) (sqrt (pow t 2)))
23.327 * * [simplify]: Extracting # 0 : cost  0
23.328 * * [simplify]: Extracting # 1 : cost  0
23.328 * * [simplify]: Extracting # 2 : cost  0
23.328 * * [simplify]: Extracting # 3 : cost  0
23.328 * * [simplify]: Extracting # 4 : cost  0
23.328 * * [simplify]: Extracting # 5 : cost  0
23.328 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
23.328 * * [simplify]: Extracting # 0 : cost  0
23.328 * * [simplify]: iteration  1 :  10  enodes  (cost  9 )
23.328 * * [simplify]: Extracting # 0 : cost  0
23.329 * * [simplify]: iteration done:  10  enodes  (cost  9 )
23.329 * [simplify]: Simplified to:
  (* (* (fabs t) 3.9999999999999997e-32) (sqrt (pow t 2)))
25.293 * [regime-testing]: Baseline error score: 0.3191648956119515
25.294 * [regime-testing]: Oracle error score: 0.025378172271533942
25.295 * [regime-testing]: End program error score: 0.3191648956119515
25.323 * [regime-testing]: Target error score: 50.563501987356176