52.014 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.050 * * * [progress]: [2/2] Setting up program.
0.053 * [progress]: [Phase 2 of 3] Improving.
0.053 * [simplify]: Simplifying:
  (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))
0.053 * * [simplify]: Extracting # 0 : cost  0
0.054 * * [simplify]: Extracting # 1 : cost  0
0.054 * * [simplify]: Extracting # 2 : cost  0
0.054 * * [simplify]: Extracting # 3 : cost  0
0.054 * * [simplify]: Extracting # 4 : cost  0
0.054 * * [simplify]: Extracting # 5 : cost  0
0.054 * * [simplify]: Extracting # 6 : cost  0
0.054 * * [simplify]: iteration  0 :  11  enodes  (cost  19 )
0.057 * * [simplify]: Extracting # 0 : cost  0
0.058 * * [simplify]: Extracting # 1 : cost  0
0.058 * * [simplify]: Extracting # 2 : cost  0
0.058 * * [simplify]: iteration  1 :  28  enodes  (cost  18 )
0.072 * * [simplify]: Extracting # 0 : cost  0
0.072 * * [simplify]: Extracting # 1 : cost  0
0.073 * * [simplify]: Extracting # 2 : cost  0
0.073 * * [simplify]: iteration  2 :  91  enodes  (cost  16 )
0.140 * * [simplify]: Extracting # 0 : cost  0
0.141 * * [simplify]: Extracting # 1 : cost  0
0.141 * * [simplify]: Extracting # 2 : cost  0
0.141 * * [simplify]: iteration  3 :  326  enodes  (cost  16 )
0.357 * * [simplify]: Extracting # 0 : cost  0
0.358 * * [simplify]: Extracting # 1 : cost  0
0.359 * * [simplify]: Extracting # 2 : cost  0
0.360 * * [simplify]: Extracting # 3 : cost  0
0.361 * * [simplify]: Extracting # 4 : cost  0
0.362 * * [simplify]: iteration  4 :  1257  enodes  (cost  16 )
2.061 * * [simplify]: Extracting # 0 : cost  0
2.069 * * [simplify]: Extracting # 1 : cost  0
2.073 * * [simplify]: Extracting # 2 : cost  0
2.076 * * [simplify]: Extracting # 3 : cost  0
2.079 * * [simplify]: Extracting # 4 : cost  0
2.082 * * [simplify]: iteration done:  5000  enodes  (cost  16 )
2.083 * [simplify]: Simplified to:
  (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16))))
2.089 * * [progress]: iteration 1 / 4
2.089 * * * [progress]: picking best candidate
2.092 * * * * [pick]: Picked  #<alt (λ (t) (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16)))))>
2.092 * * * [progress]: localizing error
2.118 * * * [progress]: generating rewritten candidates
2.118 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
2.119 * * * [progress]: generating series expansions
2.119 * * * * [progress]: [ 1 / 1 ] generating series at (2)
2.119 * [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)))
2.119 * [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
2.119 * [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
2.119 * [taylor]: Rewrote expression to (+ (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) (- (+ (* 4e-16 t) 1.0)))
2.119 * [taylor]: Taking taylor expansion of (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) in t
2.120 * [taylor]: Taking taylor expansion of (fma t 2e-16 1.0) in t
2.120 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1.0)
2.120 * [taylor]: Taking taylor expansion of (* t 2e-16) in t
2.120 * [taylor]: Taking taylor expansion of t in t
2.120 * [backup-simplify]: Simplify 0 into 0
2.120 * [backup-simplify]: Simplify 1 into 1
2.120 * [taylor]: Taking taylor expansion of 2e-16 in t
2.120 * [backup-simplify]: Simplify 2e-16 into 2e-16
2.120 * [taylor]: Taking taylor expansion of 1.0 in t
2.120 * [backup-simplify]: Simplify 1.0 into 1.0
2.120 * [taylor]: Taking taylor expansion of (fma t 2e-16 1.0) in t
2.120 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1.0)
2.120 * [taylor]: Taking taylor expansion of (* t 2e-16) in t
2.120 * [taylor]: Taking taylor expansion of t in t
2.120 * [backup-simplify]: Simplify 0 into 0
2.120 * [backup-simplify]: Simplify 1 into 1
2.120 * [taylor]: Taking taylor expansion of 2e-16 in t
2.120 * [backup-simplify]: Simplify 2e-16 into 2e-16
2.120 * [taylor]: Taking taylor expansion of 1.0 in t
2.120 * [backup-simplify]: Simplify 1.0 into 1.0
2.120 * [taylor]: Taking taylor expansion of (- (+ (* 4e-16 t) 1.0)) in t
2.120 * [taylor]: Taking taylor expansion of (+ (* 4e-16 t) 1.0) in t
2.120 * [taylor]: Taking taylor expansion of (* 4e-16 t) in t
2.120 * [taylor]: Taking taylor expansion of 4e-16 in t
2.120 * [backup-simplify]: Simplify 4e-16 into 4e-16
2.120 * [taylor]: Taking taylor expansion of t in t
2.120 * [backup-simplify]: Simplify 0 into 0
2.120 * [backup-simplify]: Simplify 1 into 1
2.120 * [taylor]: Taking taylor expansion of 1.0 in t
2.121 * [backup-simplify]: Simplify 1.0 into 1.0
2.121 * [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
2.121 * [taylor]: Rewrote expression to (+ (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) (- (+ (* 4e-16 t) 1.0)))
2.121 * [taylor]: Taking taylor expansion of (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) in t
2.121 * [taylor]: Taking taylor expansion of (fma t 2e-16 1.0) in t
2.121 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1.0)
2.121 * [taylor]: Taking taylor expansion of (* t 2e-16) in t
2.121 * [taylor]: Taking taylor expansion of t in t
2.121 * [backup-simplify]: Simplify 0 into 0
2.121 * [backup-simplify]: Simplify 1 into 1
2.121 * [taylor]: Taking taylor expansion of 2e-16 in t
2.121 * [backup-simplify]: Simplify 2e-16 into 2e-16
2.121 * [taylor]: Taking taylor expansion of 1.0 in t
2.121 * [backup-simplify]: Simplify 1.0 into 1.0
2.121 * [taylor]: Taking taylor expansion of (fma t 2e-16 1.0) in t
2.121 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1.0)
2.121 * [taylor]: Taking taylor expansion of (* t 2e-16) in t
2.121 * [taylor]: Taking taylor expansion of t in t
2.121 * [backup-simplify]: Simplify 0 into 0
2.121 * [backup-simplify]: Simplify 1 into 1
2.121 * [taylor]: Taking taylor expansion of 2e-16 in t
2.121 * [backup-simplify]: Simplify 2e-16 into 2e-16
2.121 * [taylor]: Taking taylor expansion of 1.0 in t
2.121 * [backup-simplify]: Simplify 1.0 into 1.0
2.122 * [taylor]: Taking taylor expansion of (- (+ (* 4e-16 t) 1.0)) in t
2.122 * [taylor]: Taking taylor expansion of (+ (* 4e-16 t) 1.0) in t
2.122 * [taylor]: Taking taylor expansion of (* 4e-16 t) in t
2.122 * [taylor]: Taking taylor expansion of 4e-16 in t
2.122 * [backup-simplify]: Simplify 4e-16 into 4e-16
2.122 * [taylor]: Taking taylor expansion of t in t
2.122 * [backup-simplify]: Simplify 0 into 0
2.122 * [backup-simplify]: Simplify 1 into 1
2.122 * [taylor]: Taking taylor expansion of 1.0 in t
2.122 * [backup-simplify]: Simplify 1.0 into 1.0
2.123 * [backup-simplify]: Simplify (* 0 2e-16) into 0
2.123 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.123 * [backup-simplify]: Simplify (* 0 2e-16) into 0
2.124 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.124 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
2.125 * [backup-simplify]: Simplify (* 4e-16 0) into 0
2.125 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.125 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.126 * [backup-simplify]: Simplify (+ 1.0 (- 1.0)) into 0
2.126 * [backup-simplify]: Simplify 0 into 0
2.128 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 2e-16)) into 2e-16
2.128 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16
2.129 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 2e-16)) into 2e-16
2.130 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16
2.131 * [backup-simplify]: Simplify (+ (* 1.0 2e-16) (* 2e-16 1.0)) into 4e-16
2.132 * [backup-simplify]: Simplify (+ (* 4e-16 1) (* 0 0)) into 4e-16
2.133 * [backup-simplify]: Simplify (+ 4e-16 0) into 4e-16
2.133 * [backup-simplify]: Simplify (- 4e-16) into (- 4e-16)
2.134 * [backup-simplify]: Simplify (+ 4e-16 (- 4e-16)) into 0
2.134 * [backup-simplify]: Simplify 0 into 0
2.135 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 2e-16))) into 0
2.135 * [backup-simplify]: Simplify (+ 0 0) into 0
2.136 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 2e-16))) into 0
2.136 * [backup-simplify]: Simplify (+ 0 0) into 0
2.139 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 2e-16) (* 0 1.0))) into 3.9999999999999997e-32
2.140 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 1) (* 0 0))) into 0
2.140 * [backup-simplify]: Simplify (+ 0 0) into 0
2.140 * [backup-simplify]: Simplify (- 0) into 0
2.141 * [backup-simplify]: Simplify (+ 3.9999999999999997e-32 0) into 3.9999999999999997e-32
2.141 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.142 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 2e-16)))) into 0
2.142 * [backup-simplify]: Simplify (+ 0 0) into 0
2.143 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 2e-16)))) into 0
2.143 * [backup-simplify]: Simplify (+ 0 0) into 0
2.145 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 2e-16) (* 0 1.0)))) into 0
2.146 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.146 * [backup-simplify]: Simplify (+ 0 0) into 0
2.146 * [backup-simplify]: Simplify (- 0) into 0
2.147 * [backup-simplify]: Simplify (+ 0 0) into 0
2.147 * [backup-simplify]: Simplify 0 into 0
2.148 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
2.148 * [backup-simplify]: Simplify (+ 0 0) into 0
2.149 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
2.150 * [backup-simplify]: Simplify (+ 0 0) into 0
2.151 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0))))) into 0
2.152 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.153 * [backup-simplify]: Simplify (+ 0 0) into 0
2.153 * [backup-simplify]: Simplify (- 0) into 0
2.153 * [backup-simplify]: Simplify (+ 0 0) into 0
2.153 * [backup-simplify]: Simplify 0 into 0
2.155 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
2.155 * [backup-simplify]: Simplify (+ 0 0) into 0
2.156 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
2.157 * [backup-simplify]: Simplify (+ 0 0) into 0
2.159 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0)))))) into 0
2.160 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
2.160 * [backup-simplify]: Simplify (+ 0 0) into 0
2.161 * [backup-simplify]: Simplify (- 0) into 0
2.161 * [backup-simplify]: Simplify (+ 0 0) into 0
2.161 * [backup-simplify]: Simplify 0 into 0
2.163 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0
2.163 * [backup-simplify]: Simplify (+ 0 0) into 0
2.165 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0
2.165 * [backup-simplify]: Simplify (+ 0 0) into 0
2.167 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0))))))) into 0
2.168 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
2.169 * [backup-simplify]: Simplify (+ 0 0) into 0
2.169 * [backup-simplify]: Simplify (- 0) into 0
2.169 * [backup-simplify]: Simplify (+ 0 0) into 0
2.169 * [backup-simplify]: Simplify 0 into 0
2.171 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))))) into 0
2.171 * [backup-simplify]: Simplify (+ 0 0) into 0
2.173 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))))) into 0
2.173 * [backup-simplify]: Simplify (+ 0 0) into 0
2.175 * [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
2.177 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
2.177 * [backup-simplify]: Simplify (+ 0 0) into 0
2.178 * [backup-simplify]: Simplify (- 0) into 0
2.178 * [backup-simplify]: Simplify (+ 0 0) into 0
2.178 * [backup-simplify]: Simplify 0 into 0
2.180 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))))) into 0
2.180 * [backup-simplify]: Simplify (+ 0 0) into 0
2.182 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))))) into 0
2.182 * [backup-simplify]: Simplify (+ 0 0) into 0
2.185 * [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
2.187 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
2.187 * [backup-simplify]: Simplify (+ 0 0) into 0
2.188 * [backup-simplify]: Simplify (- 0) into 0
2.188 * [backup-simplify]: Simplify (+ 0 0) into 0
2.188 * [backup-simplify]: Simplify 0 into 0
2.188 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
2.189 * [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)))
2.189 * [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
2.189 * [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
2.189 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0)) (- (+ (* 4e-16 (/ 1 t)) 1.0)))
2.189 * [taylor]: Taking taylor expansion of (* (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0)) in t
2.189 * [taylor]: Taking taylor expansion of (fma (/ 1 t) 2e-16 1.0) in t
2.189 * [taylor]: Rewrote expression to (+ (* (/ 1 t) 2e-16) 1.0)
2.189 * [taylor]: Taking taylor expansion of (* (/ 1 t) 2e-16) in t
2.189 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.189 * [taylor]: Taking taylor expansion of t in t
2.189 * [backup-simplify]: Simplify 0 into 0
2.189 * [backup-simplify]: Simplify 1 into 1
2.190 * [backup-simplify]: Simplify (/ 1 1) into 1
2.190 * [taylor]: Taking taylor expansion of 2e-16 in t
2.190 * [backup-simplify]: Simplify 2e-16 into 2e-16
2.190 * [taylor]: Taking taylor expansion of 1.0 in t
2.190 * [backup-simplify]: Simplify 1.0 into 1.0
2.190 * [taylor]: Taking taylor expansion of (fma (/ 1 t) 2e-16 1.0) in t
2.190 * [taylor]: Rewrote expression to (+ (* (/ 1 t) 2e-16) 1.0)
2.190 * [taylor]: Taking taylor expansion of (* (/ 1 t) 2e-16) in t
2.190 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.190 * [taylor]: Taking taylor expansion of t in t
2.190 * [backup-simplify]: Simplify 0 into 0
2.190 * [backup-simplify]: Simplify 1 into 1
2.191 * [backup-simplify]: Simplify (/ 1 1) into 1
2.191 * [taylor]: Taking taylor expansion of 2e-16 in t
2.191 * [backup-simplify]: Simplify 2e-16 into 2e-16
2.191 * [taylor]: Taking taylor expansion of 1.0 in t
2.191 * [backup-simplify]: Simplify 1.0 into 1.0
2.191 * [taylor]: Taking taylor expansion of (- (+ (* 4e-16 (/ 1 t)) 1.0)) in t
2.191 * [taylor]: Taking taylor expansion of (+ (* 4e-16 (/ 1 t)) 1.0) in t
2.191 * [taylor]: Taking taylor expansion of (* 4e-16 (/ 1 t)) in t
2.191 * [taylor]: Taking taylor expansion of 4e-16 in t
2.191 * [backup-simplify]: Simplify 4e-16 into 4e-16
2.191 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.191 * [taylor]: Taking taylor expansion of t in t
2.191 * [backup-simplify]: Simplify 0 into 0
2.191 * [backup-simplify]: Simplify 1 into 1
2.191 * [backup-simplify]: Simplify (/ 1 1) into 1
2.191 * [taylor]: Taking taylor expansion of 1.0 in t
2.191 * [backup-simplify]: Simplify 1.0 into 1.0
2.191 * [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
2.192 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0)) (- (+ (* 4e-16 (/ 1 t)) 1.0)))
2.192 * [taylor]: Taking taylor expansion of (* (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0)) in t
2.192 * [taylor]: Taking taylor expansion of (fma (/ 1 t) 2e-16 1.0) in t
2.192 * [taylor]: Rewrote expression to (+ (* (/ 1 t) 2e-16) 1.0)
2.192 * [taylor]: Taking taylor expansion of (* (/ 1 t) 2e-16) in t
2.192 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.192 * [taylor]: Taking taylor expansion of t in t
2.192 * [backup-simplify]: Simplify 0 into 0
2.192 * [backup-simplify]: Simplify 1 into 1
2.192 * [backup-simplify]: Simplify (/ 1 1) into 1
2.192 * [taylor]: Taking taylor expansion of 2e-16 in t
2.192 * [backup-simplify]: Simplify 2e-16 into 2e-16
2.192 * [taylor]: Taking taylor expansion of 1.0 in t
2.192 * [backup-simplify]: Simplify 1.0 into 1.0
2.193 * [taylor]: Taking taylor expansion of (fma (/ 1 t) 2e-16 1.0) in t
2.193 * [taylor]: Rewrote expression to (+ (* (/ 1 t) 2e-16) 1.0)
2.193 * [taylor]: Taking taylor expansion of (* (/ 1 t) 2e-16) in t
2.193 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.193 * [taylor]: Taking taylor expansion of t in t
2.193 * [backup-simplify]: Simplify 0 into 0
2.193 * [backup-simplify]: Simplify 1 into 1
2.193 * [backup-simplify]: Simplify (/ 1 1) into 1
2.193 * [taylor]: Taking taylor expansion of 2e-16 in t
2.193 * [backup-simplify]: Simplify 2e-16 into 2e-16
2.193 * [taylor]: Taking taylor expansion of 1.0 in t
2.193 * [backup-simplify]: Simplify 1.0 into 1.0
2.193 * [taylor]: Taking taylor expansion of (- (+ (* 4e-16 (/ 1 t)) 1.0)) in t
2.193 * [taylor]: Taking taylor expansion of (+ (* 4e-16 (/ 1 t)) 1.0) in t
2.193 * [taylor]: Taking taylor expansion of (* 4e-16 (/ 1 t)) in t
2.193 * [taylor]: Taking taylor expansion of 4e-16 in t
2.194 * [backup-simplify]: Simplify 4e-16 into 4e-16
2.194 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.194 * [taylor]: Taking taylor expansion of t in t
2.194 * [backup-simplify]: Simplify 0 into 0
2.194 * [backup-simplify]: Simplify 1 into 1
2.194 * [backup-simplify]: Simplify (/ 1 1) into 1
2.194 * [taylor]: Taking taylor expansion of 1.0 in t
2.194 * [backup-simplify]: Simplify 1.0 into 1.0
2.195 * [backup-simplify]: Simplify (* 1 2e-16) into 2e-16
2.195 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16
2.195 * [backup-simplify]: Simplify (* 1 2e-16) into 2e-16
2.196 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16
2.196 * [backup-simplify]: Simplify (* 2e-16 2e-16) into 3.9999999999999997e-32
2.197 * [backup-simplify]: Simplify (+ 3.9999999999999997e-32 0) into 3.9999999999999997e-32
2.197 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.198 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.199 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 2e-16)) into 0
2.199 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.200 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.201 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 2e-16)) into 0
2.201 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.202 * [backup-simplify]: Simplify (+ (* 2e-16 1.0) (* 1.0 2e-16)) into 4e-16
2.203 * [backup-simplify]: Simplify (* 4e-16 1) into 4e-16
2.203 * [backup-simplify]: Simplify (+ 4e-16 0) into 4e-16
2.204 * [backup-simplify]: Simplify (- 4e-16) into (- 4e-16)
2.205 * [backup-simplify]: Simplify (+ 4e-16 (- 4e-16)) into 0
2.205 * [backup-simplify]: Simplify 0 into 0
2.206 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.207 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 2e-16))) into 0
2.208 * [backup-simplify]: Simplify (+ 0 0) into 0
2.209 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.210 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 2e-16))) into 0
2.211 * [backup-simplify]: Simplify (+ 0 0) into 0
2.214 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 1.0) (* 0 2e-16))) into 1.0
2.214 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.215 * [backup-simplify]: Simplify (+ (* 4e-16 0) (* 0 1)) into 0
2.216 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.216 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.217 * [backup-simplify]: Simplify (+ 1.0 (- 1.0)) into 0
2.217 * [backup-simplify]: Simplify 0 into 0
2.218 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.219 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))) into 0
2.219 * [backup-simplify]: Simplify (+ 0 0) into 0
2.220 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.221 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))) into 0
2.222 * [backup-simplify]: Simplify (+ 0 0) into 0
2.223 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 0) (+ (* 0 1.0) (* 0 2e-16)))) into 0
2.224 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.225 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (* 0 1))) into 0
2.225 * [backup-simplify]: Simplify (+ 0 0) into 0
2.225 * [backup-simplify]: Simplify (- 0) into 0
2.226 * [backup-simplify]: Simplify (+ 0 0) into 0
2.226 * [backup-simplify]: Simplify 0 into 0
2.227 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.228 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
2.228 * [backup-simplify]: Simplify (+ 0 0) into 0
2.229 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.230 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
2.231 * [backup-simplify]: Simplify (+ 0 0) into 0
2.232 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 2e-16))))) into 0
2.233 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.234 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.235 * [backup-simplify]: Simplify (+ 0 0) into 0
2.235 * [backup-simplify]: Simplify (- 0) into 0
2.235 * [backup-simplify]: Simplify (+ 0 0) into 0
2.235 * [backup-simplify]: Simplify 0 into 0
2.236 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.238 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
2.238 * [backup-simplify]: Simplify (+ 0 0) into 0
2.239 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.248 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
2.249 * [backup-simplify]: Simplify (+ 0 0) into 0
2.251 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 2e-16)))))) into 0
2.252 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.252 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.252 * [backup-simplify]: Simplify (+ 0 0) into 0
2.253 * [backup-simplify]: Simplify (- 0) into 0
2.253 * [backup-simplify]: Simplify (+ 0 0) into 0
2.253 * [backup-simplify]: Simplify 0 into 0
2.253 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.254 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0
2.254 * [backup-simplify]: Simplify (+ 0 0) into 0
2.255 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.256 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0
2.256 * [backup-simplify]: Simplify (+ 0 0) into 0
2.257 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 2e-16))))))) into 0
2.258 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.258 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.259 * [backup-simplify]: Simplify (+ 0 0) into 0
2.259 * [backup-simplify]: Simplify (- 0) into 0
2.259 * [backup-simplify]: Simplify (+ 0 0) into 0
2.259 * [backup-simplify]: Simplify 0 into 0
2.259 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
2.260 * [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))
2.260 * [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
2.260 * [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
2.260 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 t) 2e-16 1.0) (fma (/ -1 t) 2e-16 1.0)) (- (* 4e-16 (/ 1 t)) 1.0))
2.260 * [taylor]: Taking taylor expansion of (* (fma (/ -1 t) 2e-16 1.0) (fma (/ -1 t) 2e-16 1.0)) in t
2.260 * [taylor]: Taking taylor expansion of (fma (/ -1 t) 2e-16 1.0) in t
2.260 * [taylor]: Rewrote expression to (+ (* (/ -1 t) 2e-16) 1.0)
2.260 * [taylor]: Taking taylor expansion of (* (/ -1 t) 2e-16) in t
2.260 * [taylor]: Taking taylor expansion of (/ -1 t) in t
2.260 * [taylor]: Taking taylor expansion of -1 in t
2.260 * [backup-simplify]: Simplify -1 into -1
2.260 * [taylor]: Taking taylor expansion of t in t
2.260 * [backup-simplify]: Simplify 0 into 0
2.260 * [backup-simplify]: Simplify 1 into 1
2.260 * [backup-simplify]: Simplify (/ -1 1) into -1
2.260 * [taylor]: Taking taylor expansion of 2e-16 in t
2.260 * [backup-simplify]: Simplify 2e-16 into 2e-16
2.260 * [taylor]: Taking taylor expansion of 1.0 in t
2.260 * [backup-simplify]: Simplify 1.0 into 1.0
2.260 * [taylor]: Taking taylor expansion of (fma (/ -1 t) 2e-16 1.0) in t
2.260 * [taylor]: Rewrote expression to (+ (* (/ -1 t) 2e-16) 1.0)
2.260 * [taylor]: Taking taylor expansion of (* (/ -1 t) 2e-16) in t
2.261 * [taylor]: Taking taylor expansion of (/ -1 t) in t
2.261 * [taylor]: Taking taylor expansion of -1 in t
2.261 * [backup-simplify]: Simplify -1 into -1
2.261 * [taylor]: Taking taylor expansion of t in t
2.261 * [backup-simplify]: Simplify 0 into 0
2.261 * [backup-simplify]: Simplify 1 into 1
2.261 * [backup-simplify]: Simplify (/ -1 1) into -1
2.261 * [taylor]: Taking taylor expansion of 2e-16 in t
2.261 * [backup-simplify]: Simplify 2e-16 into 2e-16
2.261 * [taylor]: Taking taylor expansion of 1.0 in t
2.261 * [backup-simplify]: Simplify 1.0 into 1.0
2.261 * [taylor]: Taking taylor expansion of (- (* 4e-16 (/ 1 t)) 1.0) in t
2.261 * [taylor]: Taking taylor expansion of (* 4e-16 (/ 1 t)) in t
2.261 * [taylor]: Taking taylor expansion of 4e-16 in t
2.261 * [backup-simplify]: Simplify 4e-16 into 4e-16
2.261 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.261 * [taylor]: Taking taylor expansion of t in t
2.261 * [backup-simplify]: Simplify 0 into 0
2.261 * [backup-simplify]: Simplify 1 into 1
2.261 * [backup-simplify]: Simplify (/ 1 1) into 1
2.261 * [taylor]: Taking taylor expansion of 1.0 in t
2.261 * [backup-simplify]: Simplify 1.0 into 1.0
2.261 * [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
2.261 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 t) 2e-16 1.0) (fma (/ -1 t) 2e-16 1.0)) (- (* 4e-16 (/ 1 t)) 1.0))
2.261 * [taylor]: Taking taylor expansion of (* (fma (/ -1 t) 2e-16 1.0) (fma (/ -1 t) 2e-16 1.0)) in t
2.262 * [taylor]: Taking taylor expansion of (fma (/ -1 t) 2e-16 1.0) in t
2.262 * [taylor]: Rewrote expression to (+ (* (/ -1 t) 2e-16) 1.0)
2.262 * [taylor]: Taking taylor expansion of (* (/ -1 t) 2e-16) in t
2.262 * [taylor]: Taking taylor expansion of (/ -1 t) in t
2.262 * [taylor]: Taking taylor expansion of -1 in t
2.262 * [backup-simplify]: Simplify -1 into -1
2.262 * [taylor]: Taking taylor expansion of t in t
2.262 * [backup-simplify]: Simplify 0 into 0
2.262 * [backup-simplify]: Simplify 1 into 1
2.262 * [backup-simplify]: Simplify (/ -1 1) into -1
2.262 * [taylor]: Taking taylor expansion of 2e-16 in t
2.262 * [backup-simplify]: Simplify 2e-16 into 2e-16
2.262 * [taylor]: Taking taylor expansion of 1.0 in t
2.262 * [backup-simplify]: Simplify 1.0 into 1.0
2.262 * [taylor]: Taking taylor expansion of (fma (/ -1 t) 2e-16 1.0) in t
2.262 * [taylor]: Rewrote expression to (+ (* (/ -1 t) 2e-16) 1.0)
2.262 * [taylor]: Taking taylor expansion of (* (/ -1 t) 2e-16) in t
2.262 * [taylor]: Taking taylor expansion of (/ -1 t) in t
2.262 * [taylor]: Taking taylor expansion of -1 in t
2.262 * [backup-simplify]: Simplify -1 into -1
2.262 * [taylor]: Taking taylor expansion of t in t
2.262 * [backup-simplify]: Simplify 0 into 0
2.262 * [backup-simplify]: Simplify 1 into 1
2.263 * [backup-simplify]: Simplify (/ -1 1) into -1
2.263 * [taylor]: Taking taylor expansion of 2e-16 in t
2.263 * [backup-simplify]: Simplify 2e-16 into 2e-16
2.263 * [taylor]: Taking taylor expansion of 1.0 in t
2.263 * [backup-simplify]: Simplify 1.0 into 1.0
2.263 * [taylor]: Taking taylor expansion of (- (* 4e-16 (/ 1 t)) 1.0) in t
2.263 * [taylor]: Taking taylor expansion of (* 4e-16 (/ 1 t)) in t
2.263 * [taylor]: Taking taylor expansion of 4e-16 in t
2.263 * [backup-simplify]: Simplify 4e-16 into 4e-16
2.263 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.263 * [taylor]: Taking taylor expansion of t in t
2.263 * [backup-simplify]: Simplify 0 into 0
2.263 * [backup-simplify]: Simplify 1 into 1
2.263 * [backup-simplify]: Simplify (/ 1 1) into 1
2.263 * [taylor]: Taking taylor expansion of 1.0 in t
2.263 * [backup-simplify]: Simplify 1.0 into 1.0
2.263 * [backup-simplify]: Simplify (* -1 2e-16) into -2e-16
2.264 * [backup-simplify]: Simplify (+ -2e-16 0) into (- 2e-16)
2.264 * [backup-simplify]: Simplify (* -1 2e-16) into -2e-16
2.264 * [backup-simplify]: Simplify (+ -2e-16 0) into (- 2e-16)
2.265 * [backup-simplify]: Simplify (* (- 2e-16) (- 2e-16)) into 3.9999999999999997e-32
2.265 * [backup-simplify]: Simplify (+ 3.9999999999999997e-32 0) into 3.9999999999999997e-32
2.265 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.266 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.266 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 2e-16)) into 0
2.266 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.267 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.267 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 2e-16)) into 0
2.267 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.269 * [backup-simplify]: Simplify (+ (* (- 2e-16) 1.0) (* 1.0 (- 2e-16))) into (- 4e-16)
2.269 * [backup-simplify]: Simplify (* 4e-16 1) into 4e-16
2.269 * [backup-simplify]: Simplify (+ 4e-16 0) into 4e-16
2.270 * [backup-simplify]: Simplify (+ (- 4e-16) 4e-16) into 0
2.270 * [backup-simplify]: Simplify 0 into 0
2.270 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.271 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 2e-16))) into 0
2.271 * [backup-simplify]: Simplify (+ 0 0) into 0
2.272 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.272 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 2e-16))) into 0
2.273 * [backup-simplify]: Simplify (+ 0 0) into 0
2.274 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 1.0) (* 0 (- 2e-16)))) into 1.0
2.275 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.275 * [backup-simplify]: Simplify (+ (* 4e-16 0) (* 0 1)) into 0
2.275 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.276 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
2.276 * [backup-simplify]: Simplify (+ 1.0 (- 1.0)) into 0
2.276 * [backup-simplify]: Simplify 0 into 0
2.277 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.277 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))) into 0
2.278 * [backup-simplify]: Simplify (+ 0 0) into 0
2.278 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.279 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))) into 0
2.279 * [backup-simplify]: Simplify (+ 0 0) into 0
2.280 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 0) (+ (* 0 1.0) (* 0 (- 2e-16))))) into 0
2.280 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.281 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (* 0 1))) into 0
2.281 * [backup-simplify]: Simplify (- 0) into 0
2.281 * [backup-simplify]: Simplify (+ 0 0) into 0
2.282 * [backup-simplify]: Simplify (+ 0 0) into 0
2.282 * [backup-simplify]: Simplify 0 into 0
2.282 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.283 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
2.283 * [backup-simplify]: Simplify (+ 0 0) into 0
2.284 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.286 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
2.286 * [backup-simplify]: Simplify (+ 0 0) into 0
2.288 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 (- 2e-16)))))) into 0
2.289 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.290 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.290 * [backup-simplify]: Simplify (- 0) into 0
2.291 * [backup-simplify]: Simplify (+ 0 0) into 0
2.291 * [backup-simplify]: Simplify (+ 0 0) into 0
2.291 * [backup-simplify]: Simplify 0 into 0
2.292 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.294 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
2.294 * [backup-simplify]: Simplify (+ 0 0) into 0
2.296 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.297 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
2.297 * [backup-simplify]: Simplify (+ 0 0) into 0
2.299 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 (- 2e-16))))))) into 0
2.300 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.302 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.302 * [backup-simplify]: Simplify (- 0) into 0
2.302 * [backup-simplify]: Simplify (+ 0 0) into 0
2.303 * [backup-simplify]: Simplify (+ 0 0) into 0
2.303 * [backup-simplify]: Simplify 0 into 0
2.304 * [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
2.306 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0
2.306 * [backup-simplify]: Simplify (+ 0 0) into 0
2.307 * [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
2.309 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0
2.309 * [backup-simplify]: Simplify (+ 0 0) into 0
2.311 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 (- 2e-16)))))))) into 0
2.312 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.314 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.314 * [backup-simplify]: Simplify (- 0) into 0
2.315 * [backup-simplify]: Simplify (+ 0 0) into 0
2.315 * [backup-simplify]: Simplify (+ 0 0) into 0
2.315 * [backup-simplify]: Simplify 0 into 0
2.315 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
2.315 * * * [progress]: simplifying candidates
2.316 * [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))
2.317 * * [simplify]: Extracting # 0 : cost  0
2.317 * * [simplify]: Extracting # 1 : cost  0
2.317 * * [simplify]: Extracting # 2 : cost  0
2.317 * * [simplify]: Extracting # 3 : cost  0
2.317 * * [simplify]: Extracting # 4 : cost  0
2.317 * * [simplify]: Extracting # 5 : cost  0
2.317 * * [simplify]: Extracting # 6 : cost  0
2.317 * * [simplify]: Extracting # 7 : cost  0
2.317 * * [simplify]: Extracting # 8 : cost  0
2.317 * * [simplify]: iteration  0 :  24  enodes  (cost  228 )
2.326 * * [simplify]: Extracting # 0 : cost  0
2.326 * * [simplify]: Extracting # 1 : cost  0
2.326 * * [simplify]: Extracting # 2 : cost  0
2.326 * * [simplify]: Extracting # 3 : cost  0
2.326 * * [simplify]: iteration  1 :  39  enodes  (cost  228 )
2.344 * * [simplify]: Extracting # 0 : cost  0
2.344 * * [simplify]: Extracting # 1 : cost  0
2.345 * * [simplify]: Extracting # 2 : cost  0
2.345 * * [simplify]: Extracting # 3 : cost  0
2.345 * * [simplify]: iteration  2 :  111  enodes  (cost  196 )
2.417 * * [simplify]: Extracting # 0 : cost  0
2.417 * * [simplify]: Extracting # 1 : cost  0
2.418 * * [simplify]: Extracting # 2 : cost  0
2.419 * * [simplify]: Extracting # 3 : cost  0
2.420 * * [simplify]: Extracting # 4 : cost  0
2.421 * * [simplify]: iteration  3 :  458  enodes  (cost  196 )
2.774 * * [simplify]: Extracting # 0 : cost  0
2.779 * * [simplify]: Extracting # 1 : cost  0
2.785 * * [simplify]: Extracting # 2 : cost  0
2.791 * * [simplify]: Extracting # 3 : cost  0
2.799 * * [simplify]: Extracting # 4 : cost  0
2.802 * * [simplify]: iteration  4 :  3154  enodes  (cost  196 )
4.441 * * [simplify]: Extracting # 0 : cost  0
4.448 * * [simplify]: Extracting # 1 : cost  0
4.457 * * [simplify]: iteration done:  5000  enodes  (cost  196 )
4.457 * [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))
4.458 * * * [progress]: adding candidates to table
4.488 * * [progress]: iteration 2 / 4
4.489 * * * [progress]: picking best candidate
4.490 * * * * [pick]: Picked  #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
4.490 * * * [progress]: localizing error
4.494 * * * [progress]: generating rewritten candidates
4.494 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
4.508 * * * [progress]: generating series expansions
4.509 * * * * [progress]: [ 1 / 1 ] generating series at (2)
4.509 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
4.509 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
4.509 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
4.509 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
4.509 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
4.509 * [taylor]: Taking taylor expansion of (pow t 2) in t
4.509 * [taylor]: Taking taylor expansion of t in t
4.509 * [backup-simplify]: Simplify 0 into 0
4.509 * [backup-simplify]: Simplify 1 into 1
4.509 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
4.509 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
4.509 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
4.509 * [taylor]: Taking taylor expansion of (pow t 2) in t
4.509 * [taylor]: Taking taylor expansion of t in t
4.509 * [backup-simplify]: Simplify 0 into 0
4.509 * [backup-simplify]: Simplify 1 into 1
4.510 * [backup-simplify]: Simplify (* 1 1) into 1
4.510 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
4.510 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
4.511 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.511 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
4.512 * [backup-simplify]: Simplify 0 into 0
4.512 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.513 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
4.513 * [backup-simplify]: Simplify 0 into 0
4.514 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.515 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.515 * [backup-simplify]: Simplify 0 into 0
4.516 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.517 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.517 * [backup-simplify]: Simplify 0 into 0
4.519 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.520 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.520 * [backup-simplify]: Simplify 0 into 0
4.520 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.521 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.521 * [backup-simplify]: Simplify 0 into 0
4.521 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
4.522 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 t) 2)) into (/ 3.9999999999999997e-32 (pow t 2))
4.522 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
4.522 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
4.522 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
4.522 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
4.522 * [taylor]: Taking taylor expansion of (pow t 2) in t
4.522 * [taylor]: Taking taylor expansion of t in t
4.522 * [backup-simplify]: Simplify 0 into 0
4.522 * [backup-simplify]: Simplify 1 into 1
4.522 * [backup-simplify]: Simplify (* 1 1) into 1
4.526 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
4.527 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
4.527 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
4.527 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
4.527 * [taylor]: Taking taylor expansion of (pow t 2) in t
4.527 * [taylor]: Taking taylor expansion of t in t
4.527 * [backup-simplify]: Simplify 0 into 0
4.527 * [backup-simplify]: Simplify 1 into 1
4.527 * [backup-simplify]: Simplify (* 1 1) into 1
4.527 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
4.527 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
4.528 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.528 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
4.528 * [backup-simplify]: Simplify 0 into 0
4.529 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.529 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.530 * [backup-simplify]: Simplify 0 into 0
4.530 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.531 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.531 * [backup-simplify]: Simplify 0 into 0
4.531 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.532 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.532 * [backup-simplify]: Simplify 0 into 0
4.533 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.533 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.533 * [backup-simplify]: Simplify 0 into 0
4.534 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.535 * [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
4.535 * [backup-simplify]: Simplify 0 into 0
4.535 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
4.535 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (- t)) 2)) into (/ 3.9999999999999997e-32 (pow t 2))
4.535 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
4.535 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
4.535 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
4.535 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
4.535 * [taylor]: Taking taylor expansion of (pow t 2) in t
4.535 * [taylor]: Taking taylor expansion of t in t
4.535 * [backup-simplify]: Simplify 0 into 0
4.535 * [backup-simplify]: Simplify 1 into 1
4.535 * [backup-simplify]: Simplify (* 1 1) into 1
4.536 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
4.536 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
4.536 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
4.536 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
4.536 * [taylor]: Taking taylor expansion of (pow t 2) in t
4.536 * [taylor]: Taking taylor expansion of t in t
4.536 * [backup-simplify]: Simplify 0 into 0
4.536 * [backup-simplify]: Simplify 1 into 1
4.536 * [backup-simplify]: Simplify (* 1 1) into 1
4.536 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
4.536 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
4.537 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.537 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
4.537 * [backup-simplify]: Simplify 0 into 0
4.538 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.538 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.538 * [backup-simplify]: Simplify 0 into 0
4.539 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.540 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.540 * [backup-simplify]: Simplify 0 into 0
4.540 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.541 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.541 * [backup-simplify]: Simplify 0 into 0
4.542 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.542 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.542 * [backup-simplify]: Simplify 0 into 0
4.543 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.543 * [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
4.544 * [backup-simplify]: Simplify 0 into 0
4.544 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
4.544 * * * [progress]: simplifying candidates
4.544 * [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))
4.545 * * [simplify]: Extracting # 0 : cost  0
4.545 * * [simplify]: Extracting # 1 : cost  0
4.545 * * [simplify]: Extracting # 2 : cost  0
4.545 * * [simplify]: Extracting # 3 : cost  0
4.545 * * [simplify]: Extracting # 4 : cost  0
4.545 * * [simplify]: Extracting # 5 : cost  0
4.545 * * [simplify]: Extracting # 6 : cost  0
4.545 * * [simplify]: iteration  0 :  53  enodes  (cost  244 )
4.571 * * [simplify]: Extracting # 0 : cost  0
4.571 * * [simplify]: Extracting # 1 : cost  0
4.572 * * [simplify]: Extracting # 2 : cost  0
4.572 * * [simplify]: Extracting # 3 : cost  0
4.572 * * [simplify]: Extracting # 4 : cost  0
4.572 * * [simplify]: iteration  1 :  117  enodes  (cost  221 )
4.640 * * [simplify]: Extracting # 0 : cost  0
4.647 * * [simplify]: Extracting # 1 : cost  0
4.647 * * [simplify]: Extracting # 2 : cost  0
4.648 * * [simplify]: Extracting # 3 : cost  0
4.649 * * [simplify]: Extracting # 4 : cost  0
4.649 * * [simplify]: iteration  2 :  432  enodes  (cost  188 )
5.388 * * [simplify]: Extracting # 0 : cost  0
5.394 * * [simplify]: Extracting # 1 : cost  0
5.398 * * [simplify]: Extracting # 2 : cost  0
5.406 * * [simplify]: Extracting # 3 : cost  0
5.410 * * [simplify]: Extracting # 4 : cost  0
5.414 * * [simplify]: iteration  3 :  2931  enodes  (cost  188 )
7.481 * * [simplify]: Extracting # 0 : cost  0
7.494 * * [simplify]: Extracting # 1 : cost  0
7.500 * * [simplify]: Extracting # 2 : cost  0
7.506 * * [simplify]: Extracting # 3 : cost  0
7.515 * * [simplify]: iteration done:  5001  enodes  (cost  185 )
7.515 * [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))
  (* 3.9999999999999997e-32 t)
  3.9999999999999997e-32
  (* 3.9999999999999997e-32 t)
  (* 3.9999999999999997e-32 (* (cbrt (pow t 2)) (cbrt (pow t 2))))
  (* (fabs t) 3.9999999999999997e-32)
  3.9999999999999997e-32
  (* 3.9999999999999997e-32 t)
  (* (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.515 * * * [progress]: adding candidates to table
7.587 * * [progress]: iteration 3 / 4
7.587 * * * [progress]: picking best candidate
7.598 * * * * [pick]: Picked  #<alt (λ (t) (* (* (fabs t) 3.9999999999999997e-32) (sqrt (pow t 2))))>
7.598 * * * [progress]: localizing error
7.611 * * * [progress]: generating rewritten candidates
7.611 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
7.638 * * * [progress]: generating series expansions
7.638 * * * * [progress]: [ 1 / 1 ] generating series at (2)
7.639 * [backup-simplify]: Simplify (* (* (fabs t) 3.9999999999999997e-32) (sqrt (pow t 2))) into (* 3.9999999999999997e-32 (* (fabs t) t))
7.639 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (* (fabs t) t)) in (t) around 0
7.639 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (* (fabs t) t)) in t
7.639 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
7.639 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
7.639 * [taylor]: Taking taylor expansion of (* (fabs t) t) in t
7.639 * [taylor]: Taking taylor expansion of (fabs t) in t
7.639 * [backup-simplify]: Simplify (fabs t) into (fabs t)
7.639 * [taylor]: Taking taylor expansion of t in t
7.639 * [backup-simplify]: Simplify 0 into 0
7.639 * [backup-simplify]: Simplify 1 into 1
7.639 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (* (fabs t) t)) in t
7.639 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
7.639 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
7.639 * [taylor]: Taking taylor expansion of (* (fabs t) t) in t
7.639 * [taylor]: Taking taylor expansion of (fabs t) in t
7.639 * [backup-simplify]: Simplify (fabs t) into (fabs t)
7.639 * [taylor]: Taking taylor expansion of t in t
7.640 * [backup-simplify]: Simplify 0 into 0
7.640 * [backup-simplify]: Simplify 1 into 1
7.640 * [backup-simplify]: Simplify (* (fabs t) 0) into 0
7.640 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 0) into 0
7.640 * [backup-simplify]: Simplify 0 into 0
7.641 * [backup-simplify]: Simplify (+ (* (fabs t) 1) (* 0 0)) into (fabs t)
7.641 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 (fabs t)) (* 0 0)) into (* 3.9999999999999997e-32 (fabs t))
7.641 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (fabs t)) into (* 3.9999999999999997e-32 (fabs t))
7.642 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 1) (* 0 0))) into 0
7.643 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 (fabs t)) (* 0 0))) into 0
7.643 * [backup-simplify]: Simplify 0 into 0
7.644 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.645 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 (fabs t)) (* 0 0)))) into 0
7.645 * [backup-simplify]: Simplify 0 into 0
7.646 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
7.648 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs t)) (* 0 0))))) into 0
7.648 * [backup-simplify]: Simplify 0 into 0
7.649 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
7.651 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs t)) (* 0 0)))))) into 0
7.651 * [backup-simplify]: Simplify 0 into 0
7.652 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
7.653 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs t)) (* 0 0))))))) into 0
7.653 * [backup-simplify]: Simplify 0 into 0
7.654 * [backup-simplify]: Simplify (+ (* (fabs t) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
7.656 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (fabs t)) (* 0 0)))))))) into 0
7.656 * [backup-simplify]: Simplify 0 into 0
7.656 * [backup-simplify]: Simplify (* (* 3.9999999999999997e-32 (fabs t)) t) into (* 3.9999999999999997e-32 (* (fabs t) t))
7.656 * [backup-simplify]: Simplify (* (* (fabs (/ 1 t)) 3.9999999999999997e-32) (sqrt (pow (/ 1 t) 2))) into (* 3.9999999999999997e-32 (/ (fabs (/ 1 t)) t))
7.656 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ (fabs (/ 1 t)) t)) in (t) around 0
7.656 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ (fabs (/ 1 t)) t)) in t
7.656 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
7.656 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
7.656 * [taylor]: Taking taylor expansion of (/ (fabs (/ 1 t)) t) in t
7.656 * [taylor]: Taking taylor expansion of (fabs (/ 1 t)) in t
7.656 * [backup-simplify]: Simplify (fabs (/ 1 t)) into (fabs (/ 1 t))
7.656 * [taylor]: Taking taylor expansion of t in t
7.656 * [backup-simplify]: Simplify 0 into 0
7.656 * [backup-simplify]: Simplify 1 into 1
7.656 * [backup-simplify]: Simplify (/ (fabs (/ 1 t)) 1) into (fabs (/ 1 t))
7.656 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ (fabs (/ 1 t)) t)) in t
7.656 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
7.656 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
7.656 * [taylor]: Taking taylor expansion of (/ (fabs (/ 1 t)) t) in t
7.656 * [taylor]: Taking taylor expansion of (fabs (/ 1 t)) in t
7.656 * [backup-simplify]: Simplify (fabs (/ 1 t)) into (fabs (/ 1 t))
7.656 * [taylor]: Taking taylor expansion of t in t
7.656 * [backup-simplify]: Simplify 0 into 0
7.656 * [backup-simplify]: Simplify 1 into 1
7.656 * [backup-simplify]: Simplify (/ (fabs (/ 1 t)) 1) into (fabs (/ 1 t))
7.657 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (fabs (/ 1 t))) into (* 3.9999999999999997e-32 (fabs (/ 1 t)))
7.657 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (fabs (/ 1 t))) into (* 3.9999999999999997e-32 (fabs (/ 1 t)))
7.657 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs (/ 1 t)) (/ 0 1)))) into 0
7.658 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 (fabs (/ 1 t)))) into 0
7.658 * [backup-simplify]: Simplify 0 into 0
7.658 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs (/ 1 t)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.659 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 (fabs (/ 1 t))))) into 0
7.659 * [backup-simplify]: Simplify 0 into 0
7.660 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs (/ 1 t)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.661 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 t)))))) into 0
7.661 * [backup-simplify]: Simplify 0 into 0
7.662 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs (/ 1 t)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.663 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 t))))))) into 0
7.663 * [backup-simplify]: Simplify 0 into 0
7.665 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs (/ 1 t)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.666 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 t)))))))) into 0
7.666 * [backup-simplify]: Simplify 0 into 0
7.668 * [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
7.670 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 t))))))))) into 0
7.670 * [backup-simplify]: Simplify 0 into 0
7.670 * [backup-simplify]: Simplify (* (* 3.9999999999999997e-32 (fabs (/ 1 (/ 1 t)))) (/ 1 (/ 1 t))) into (* 3.9999999999999997e-32 (* (fabs t) t))
7.670 * [backup-simplify]: Simplify (* (* (fabs (/ 1 (- t))) 3.9999999999999997e-32) (sqrt (pow (/ 1 (- t)) 2))) into (* 3.9999999999999997e-32 (/ (fabs (/ -1 t)) t))
7.670 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ (fabs (/ -1 t)) t)) in (t) around 0
7.670 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ (fabs (/ -1 t)) t)) in t
7.670 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
7.670 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
7.670 * [taylor]: Taking taylor expansion of (/ (fabs (/ -1 t)) t) in t
7.670 * [taylor]: Taking taylor expansion of (fabs (/ -1 t)) in t
7.670 * [backup-simplify]: Simplify (fabs (/ -1 t)) into (fabs (/ -1 t))
7.670 * [taylor]: Taking taylor expansion of t in t
7.670 * [backup-simplify]: Simplify 0 into 0
7.670 * [backup-simplify]: Simplify 1 into 1
7.670 * [backup-simplify]: Simplify (/ (fabs (/ -1 t)) 1) into (fabs (/ -1 t))
7.670 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (/ (fabs (/ -1 t)) t)) in t
7.670 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
7.670 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
7.670 * [taylor]: Taking taylor expansion of (/ (fabs (/ -1 t)) t) in t
7.670 * [taylor]: Taking taylor expansion of (fabs (/ -1 t)) in t
7.670 * [backup-simplify]: Simplify (fabs (/ -1 t)) into (fabs (/ -1 t))
7.670 * [taylor]: Taking taylor expansion of t in t
7.671 * [backup-simplify]: Simplify 0 into 0
7.671 * [backup-simplify]: Simplify 1 into 1
7.671 * [backup-simplify]: Simplify (/ (fabs (/ -1 t)) 1) into (fabs (/ -1 t))
7.671 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (fabs (/ -1 t))) into (* 3.9999999999999997e-32 (fabs (/ -1 t)))
7.671 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (fabs (/ -1 t))) into (* 3.9999999999999997e-32 (fabs (/ -1 t)))
7.671 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs (/ -1 t)) (/ 0 1)))) into 0
7.672 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 (fabs (/ -1 t)))) into 0
7.672 * [backup-simplify]: Simplify 0 into 0
7.673 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs (/ -1 t)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.673 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 (fabs (/ -1 t))))) into 0
7.673 * [backup-simplify]: Simplify 0 into 0
7.674 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs (/ -1 t)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.675 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 t)))))) into 0
7.675 * [backup-simplify]: Simplify 0 into 0
7.676 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs (/ -1 t)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.677 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 t))))))) into 0
7.677 * [backup-simplify]: Simplify 0 into 0
7.679 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (fabs (/ -1 t)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.681 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 t)))))))) into 0
7.681 * [backup-simplify]: Simplify 0 into 0
7.693 * [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
7.694 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 t))))))))) into 0
7.694 * [backup-simplify]: Simplify 0 into 0
7.694 * [backup-simplify]: Simplify (* (* 3.9999999999999997e-32 (fabs (/ -1 (/ 1 (- t))))) (/ 1 (/ 1 (- t)))) into (* -3.9999999999999997e-32 (* (fabs t) t))
7.695 * * * [progress]: simplifying candidates
7.695 * [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))
7.696 * * [simplify]: Extracting # 0 : cost  0
7.696 * * [simplify]: Extracting # 1 : cost  0
7.696 * * [simplify]: Extracting # 2 : cost  0
7.696 * * [simplify]: Extracting # 3 : cost  0
7.696 * * [simplify]: Extracting # 4 : cost  0
7.696 * * [simplify]: Extracting # 5 : cost  0
7.696 * * [simplify]: Extracting # 6 : cost  0
7.697 * * [simplify]: Extracting # 7 : cost  0
7.697 * * [simplify]: iteration  0 :  70  enodes  (cost  357 )
7.715 * * [simplify]: Extracting # 0 : cost  0
7.715 * * [simplify]: Extracting # 1 : cost  0
7.716 * * [simplify]: Extracting # 2 : cost  0
7.716 * * [simplify]: Extracting # 3 : cost  0
7.716 * * [simplify]: Extracting # 4 : cost  0
7.717 * * [simplify]: iteration  1 :  176  enodes  (cost  319 )
7.856 * * [simplify]: Extracting # 0 : cost  0
7.857 * * [simplify]: Extracting # 1 : cost  0
7.858 * * [simplify]: Extracting # 2 : cost  0
7.863 * * [simplify]: Extracting # 3 : cost  0
7.866 * * [simplify]: Extracting # 4 : cost  0
7.868 * * [simplify]: iteration  2 :  997  enodes  (cost  238 )
8.369 * * [simplify]: Extracting # 0 : cost  0
8.380 * * [simplify]: Extracting # 1 : cost  0
8.387 * * [simplify]: Extracting # 2 : cost  0
8.398 * * [simplify]: Extracting # 3 : cost  0
8.411 * * [simplify]: Extracting # 4 : cost  0
8.424 * * [simplify]: iteration done:  5001  enodes  (cost  234 )
8.425 * [simplify]: Simplified to:
  (expm1 (* (fabs t) (* 3.9999999999999997e-32 (fabs t))))
  (log1p (* (fabs t) (* 3.9999999999999997e-32 (fabs t))))
  (* (fabs t) (* 3.9999999999999997e-32 (fabs t)))
  (* (fabs t) (* 3.9999999999999997e-32 (fabs t)))
  (log (* (fabs t) (* 3.9999999999999997e-32 (fabs t))))
  (log (* (fabs t) (* 3.9999999999999997e-32 (fabs t))))
  (log (* (fabs t) (* 3.9999999999999997e-32 (fabs t))))
  (pow (exp (fabs t)) (* (fabs t) 3.9999999999999997e-32))
  (pow (* (fabs t) (* 3.9999999999999997e-32 (fabs t))) 3)
  (pow (* (fabs t) (* 3.9999999999999997e-32 (fabs t))) 3)
  (* (cbrt (* (fabs t) (* 3.9999999999999997e-32 (fabs t)))) (cbrt (* (fabs t) (* 3.9999999999999997e-32 (fabs t)))))
  (cbrt (* (fabs t) (* 3.9999999999999997e-32 (fabs t))))
  (pow (* (fabs t) (* 3.9999999999999997e-32 (fabs t))) 3)
  (sqrt (* (fabs t) (* 3.9999999999999997e-32 (fabs t))))
  (sqrt (* (fabs t) (* 3.9999999999999997e-32 (fabs t))))
  (* (* 3.9999999999999997e-32 (fabs t)) (* (cbrt (fabs t)) (cbrt (fabs t))))
  (* (* 3.9999999999999997e-32 (fabs t)) (fabs (* (cbrt t) (cbrt t))))
  (* (sqrt t) (* 3.9999999999999997e-32 (fabs t)))
  (* (fabs t) 3.9999999999999997e-32)
  (* (sqrt t) (* 3.9999999999999997e-32 (fabs t)))
  (* (* 3.9999999999999997e-32 (fabs t)) (fabs (cbrt (pow t 2))))
  (* (* (sqrt (fabs t)) (fabs t)) 3.9999999999999997e-32)
  (* (fabs t) 3.9999999999999997e-32)
  (* (sqrt t) (* 3.9999999999999997e-32 (fabs t)))
  (* (* (sqrt (fabs t)) (fabs t)) 3.9999999999999997e-32)
  (* (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))
8.425 * * * [progress]: adding candidates to table
8.507 * * [progress]: iteration 4 / 4
8.507 * * * [progress]: picking best candidate
8.516 * * * * [pick]: Picked  #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))))>
8.516 * * * [progress]: localizing error
8.527 * * * [progress]: generating rewritten candidates
8.527 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
8.543 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
8.588 * * * [progress]: generating series expansions
8.588 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
8.589 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow t 2)) into (* (pow t 2) (sqrt 3.9999999999999997e-32))
8.589 * [approximate]: Taking taylor expansion of (* (pow t 2) (sqrt 3.9999999999999997e-32)) in (t) around 0
8.589 * [taylor]: Taking taylor expansion of (* (pow t 2) (sqrt 3.9999999999999997e-32)) in t
8.589 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.589 * [taylor]: Taking taylor expansion of t in t
8.589 * [backup-simplify]: Simplify 0 into 0
8.589 * [backup-simplify]: Simplify 1 into 1
8.589 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
8.589 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.589 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.589 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
8.590 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.590 * [taylor]: Taking taylor expansion of (* (pow t 2) (sqrt 3.9999999999999997e-32)) in t
8.590 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.590 * [taylor]: Taking taylor expansion of t in t
8.590 * [backup-simplify]: Simplify 0 into 0
8.590 * [backup-simplify]: Simplify 1 into 1
8.590 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
8.590 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.590 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.590 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
8.591 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.591 * [backup-simplify]: Simplify (* 1 1) into 1
8.592 * [backup-simplify]: Simplify (* 1 (sqrt 3.9999999999999997e-32)) into (sqrt 3.9999999999999997e-32)
8.592 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
8.592 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.593 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
8.593 * [backup-simplify]: Simplify 0 into 0
8.594 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.594 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.595 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
8.595 * [backup-simplify]: Simplify 0 into 0
8.596 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.596 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.597 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
8.597 * [backup-simplify]: Simplify 0 into 0
8.598 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.598 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.599 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
8.599 * [backup-simplify]: Simplify 0 into 0
8.600 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.601 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.602 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
8.602 * [backup-simplify]: Simplify 0 into 0
8.603 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.608 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.609 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))))) into 0
8.609 * [backup-simplify]: Simplify 0 into 0
8.610 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow t 2)) into (* (pow t 2) (sqrt 3.9999999999999997e-32))
8.610 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow (/ 1 t) 2)) into (/ (sqrt 3.9999999999999997e-32) (pow t 2))
8.610 * [approximate]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in (t) around 0
8.610 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t
8.610 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
8.610 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.610 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.611 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
8.611 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.611 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.611 * [taylor]: Taking taylor expansion of t in t
8.611 * [backup-simplify]: Simplify 0 into 0
8.611 * [backup-simplify]: Simplify 1 into 1
8.611 * [backup-simplify]: Simplify (* 1 1) into 1
8.612 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32)
8.612 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t
8.612 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
8.612 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.612 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.612 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
8.613 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.613 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.613 * [taylor]: Taking taylor expansion of t in t
8.613 * [backup-simplify]: Simplify 0 into 0
8.613 * [backup-simplify]: Simplify 1 into 1
8.613 * [backup-simplify]: Simplify (* 1 1) into 1
8.614 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32)
8.614 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
8.614 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.615 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)))) into 0
8.615 * [backup-simplify]: Simplify 0 into 0
8.615 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.616 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.617 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.617 * [backup-simplify]: Simplify 0 into 0
8.617 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.618 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.618 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.618 * [backup-simplify]: Simplify 0 into 0
8.619 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.620 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.622 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.622 * [backup-simplify]: Simplify 0 into 0
8.623 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.624 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.625 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.626 * [backup-simplify]: Simplify 0 into 0
8.627 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.628 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.630 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.630 * [backup-simplify]: Simplify 0 into 0
8.630 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow (/ 1 (/ 1 t)) 2)) into (* (pow t 2) (sqrt 3.9999999999999997e-32))
8.631 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow (/ 1 (- t)) 2)) into (/ (sqrt 3.9999999999999997e-32) (pow t 2))
8.631 * [approximate]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in (t) around 0
8.631 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t
8.631 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
8.631 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.631 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.631 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
8.632 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.632 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.632 * [taylor]: Taking taylor expansion of t in t
8.632 * [backup-simplify]: Simplify 0 into 0
8.632 * [backup-simplify]: Simplify 1 into 1
8.633 * [backup-simplify]: Simplify (* 1 1) into 1
8.633 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32)
8.633 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t
8.633 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
8.634 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.634 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.634 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
8.635 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.635 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.635 * [taylor]: Taking taylor expansion of t in t
8.635 * [backup-simplify]: Simplify 0 into 0
8.635 * [backup-simplify]: Simplify 1 into 1
8.635 * [backup-simplify]: Simplify (* 1 1) into 1
8.636 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32)
8.637 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
8.637 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.638 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)))) into 0
8.638 * [backup-simplify]: Simplify 0 into 0
8.639 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.640 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.641 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.642 * [backup-simplify]: Simplify 0 into 0
8.643 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.644 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.645 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.645 * [backup-simplify]: Simplify 0 into 0
8.647 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.647 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.648 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.648 * [backup-simplify]: Simplify 0 into 0
8.649 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.650 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.650 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.650 * [backup-simplify]: Simplify 0 into 0
8.651 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.652 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.652 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.652 * [backup-simplify]: Simplify 0 into 0
8.653 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow (/ 1 (/ 1 (- t))) 2)) into (* (pow t 2) (sqrt 3.9999999999999997e-32))
8.653 * * * * [progress]: [ 2 / 2 ] generating series at (2)
8.654 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
8.654 * [approximate]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) in (t) around 0
8.654 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) in t
8.654 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.654 * [taylor]: Taking taylor expansion of t in t
8.654 * [backup-simplify]: Simplify 0 into 0
8.654 * [backup-simplify]: Simplify 1 into 1
8.654 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
8.654 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
8.654 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.654 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.654 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
8.654 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.654 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) in t
8.654 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.655 * [taylor]: Taking taylor expansion of t in t
8.655 * [backup-simplify]: Simplify 0 into 0
8.655 * [backup-simplify]: Simplify 1 into 1
8.655 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
8.655 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
8.655 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.655 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.655 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
8.655 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.656 * [backup-simplify]: Simplify (* 1 1) into 1
8.656 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
8.657 * [backup-simplify]: Simplify (* 1 (pow (sqrt 3.9999999999999997e-32) 2)) into (pow (sqrt 3.9999999999999997e-32) 2)
8.658 * [backup-simplify]: Simplify (pow (sqrt 3.9999999999999997e-32) 2) into (pow (sqrt 3.9999999999999997e-32) 2)
8.658 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
8.659 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.659 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))) into 0
8.659 * [backup-simplify]: Simplify 0 into 0
8.660 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.661 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
8.661 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.662 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))) into 0
8.662 * [backup-simplify]: Simplify 0 into 0
8.663 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.663 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
8.664 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.665 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))))) into 0
8.665 * [backup-simplify]: Simplify 0 into 0
8.666 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.666 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
8.667 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.668 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))))) into 0
8.668 * [backup-simplify]: Simplify 0 into 0
8.669 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.669 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
8.670 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))))))) into 0
8.671 * [backup-simplify]: Simplify 0 into 0
8.672 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.673 * [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
8.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.675 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))))))) into 0
8.675 * [backup-simplify]: Simplify 0 into 0
8.676 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
8.677 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow (/ 1 t) 2))) into (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2))
8.677 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in (t) around 0
8.677 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t
8.677 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
8.677 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
8.677 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.677 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.677 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
8.677 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.677 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.677 * [taylor]: Taking taylor expansion of t in t
8.677 * [backup-simplify]: Simplify 0 into 0
8.677 * [backup-simplify]: Simplify 1 into 1
8.678 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
8.678 * [backup-simplify]: Simplify (* 1 1) into 1
8.679 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2)
8.680 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t
8.680 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
8.680 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
8.680 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.680 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.680 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
8.681 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.681 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.681 * [taylor]: Taking taylor expansion of t in t
8.681 * [backup-simplify]: Simplify 0 into 0
8.681 * [backup-simplify]: Simplify 1 into 1
8.682 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
8.682 * [backup-simplify]: Simplify (* 1 1) into 1
8.684 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2)
8.685 * [backup-simplify]: Simplify (pow (sqrt 3.9999999999999997e-32) 2) into (pow (sqrt 3.9999999999999997e-32) 2)
8.686 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
8.687 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.688 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)))) into 0
8.688 * [backup-simplify]: Simplify 0 into 0
8.689 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.690 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
8.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.693 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.693 * [backup-simplify]: Simplify 0 into 0
8.694 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.695 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
8.696 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.698 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.698 * [backup-simplify]: Simplify 0 into 0
8.699 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.701 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
8.702 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.703 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.704 * [backup-simplify]: Simplify 0 into 0
8.705 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.706 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
8.708 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.709 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.709 * [backup-simplify]: Simplify 0 into 0
8.711 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.713 * [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
8.714 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.716 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.716 * [backup-simplify]: Simplify 0 into 0
8.717 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (/ 1 (/ 1 t)) 2)) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
8.718 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow (/ 1 (- t)) 2))) into (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2))
8.718 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in (t) around 0
8.718 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t
8.718 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
8.718 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
8.718 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.718 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.718 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
8.719 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.719 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.719 * [taylor]: Taking taylor expansion of t in t
8.719 * [backup-simplify]: Simplify 0 into 0
8.719 * [backup-simplify]: Simplify 1 into 1
8.720 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
8.721 * [backup-simplify]: Simplify (* 1 1) into 1
8.730 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2)
8.730 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t
8.730 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
8.730 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
8.730 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.730 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.730 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
8.731 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.731 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.731 * [taylor]: Taking taylor expansion of t in t
8.731 * [backup-simplify]: Simplify 0 into 0
8.731 * [backup-simplify]: Simplify 1 into 1
8.732 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
8.732 * [backup-simplify]: Simplify (* 1 1) into 1
8.733 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2)
8.734 * [backup-simplify]: Simplify (pow (sqrt 3.9999999999999997e-32) 2) into (pow (sqrt 3.9999999999999997e-32) 2)
8.734 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
8.735 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.735 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)))) into 0
8.735 * [backup-simplify]: Simplify 0 into 0
8.736 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.737 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
8.737 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.738 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.738 * [backup-simplify]: Simplify 0 into 0
8.739 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.739 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
8.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.741 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.741 * [backup-simplify]: Simplify 0 into 0
8.741 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.742 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
8.743 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.744 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.744 * [backup-simplify]: Simplify 0 into 0
8.744 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.745 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
8.746 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.747 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.747 * [backup-simplify]: Simplify 0 into 0
8.748 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
8.749 * [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
8.749 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.750 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.750 * [backup-simplify]: Simplify 0 into 0
8.751 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (/ 1 (/ 1 (- t))) 2)) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
8.751 * * * [progress]: simplifying candidates
8.752 * [simplify]: Simplifying:
  (expm1 (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (log1p (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (+ (log (sqrt 3.9999999999999997e-32)) (* (log t) 2))
  (+ (log (sqrt 3.9999999999999997e-32)) (* (log t) 2))
  (+ (log (sqrt 3.9999999999999997e-32)) (log (pow t 2)))
  (log (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (exp (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (pow t 2) (pow t 2)) (pow t 2)))
  (* (cbrt (* (sqrt 3.9999999999999997e-32) (pow t 2))) (cbrt (* (sqrt 3.9999999999999997e-32) (pow t 2))))
  (cbrt (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (* (* (* (sqrt 3.9999999999999997e-32) (pow t 2)) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (sqrt (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (sqrt (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (pow (sqrt t) 2))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (pow (sqrt t) 2))
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (pow t 2)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (pow t 2)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (pow t (/ 2 2)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (pow t (/ 2 2)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (pow (sqrt t) 2))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (pow (sqrt t) 2))
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (pow t 2)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (sqrt (pow t 2)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (pow t (/ 2 2)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (pow t (/ 2 2)))
  (* (sqrt 3.9999999999999997e-32) (pow (* (cbrt t) (cbrt t)) 2))
  (* (sqrt 3.9999999999999997e-32) (pow (sqrt t) 2))
  (* (sqrt 3.9999999999999997e-32) (pow 1 2))
  (* (sqrt 3.9999999999999997e-32) t)
  (* (sqrt 3.9999999999999997e-32) (* (cbrt (pow t 2)) (cbrt (pow t 2))))
  (* (sqrt 3.9999999999999997e-32) (sqrt (pow t 2)))
  (* (sqrt 3.9999999999999997e-32) 1)
  (* (sqrt 3.9999999999999997e-32) (pow t (/ 2 2)))
  (* (cbrt (sqrt 3.9999999999999997e-32)) (pow t 2))
  (* (sqrt (cbrt 3.9999999999999997e-32)) (pow t 2))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (pow t 2))
  (* (sqrt 3.9999999999999997e-32) (pow t 2))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (pow t 2))
  (* (sqrt 3.9999999999999997e-32) (pow t 2))
  (expm1 (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))))
  (log1p (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))))
  (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (+ (log (sqrt 3.9999999999999997e-32)) (+ (log (sqrt 3.9999999999999997e-32)) (* (log t) 2)))
  (+ (log (sqrt 3.9999999999999997e-32)) (+ (log (sqrt 3.9999999999999997e-32)) (* (log t) 2)))
  (+ (log (sqrt 3.9999999999999997e-32)) (+ (log (sqrt 3.9999999999999997e-32)) (log (pow t 2))))
  (+ (log (sqrt 3.9999999999999997e-32)) (log (* (sqrt 3.9999999999999997e-32) (pow t 2))))
  (log (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))))
  (exp (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))))
  (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (pow t 2) (pow t 2)) (pow t 2))))
  (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (* (sqrt 3.9999999999999997e-32) (pow t 2)) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (sqrt 3.9999999999999997e-32) (pow t 2))))
  (* (cbrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))) (cbrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))))
  (cbrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))))
  (* (* (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))))
  (sqrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))))
  (sqrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))))
  (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32))
  (* (cbrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (* (sqrt (cbrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (* (pow t 2) (sqrt 3.9999999999999997e-32))
  (* (pow t 2) (sqrt 3.9999999999999997e-32))
  (* (pow t 2) (sqrt 3.9999999999999997e-32))
  (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
  (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
  (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
8.753 * * [simplify]: Extracting # 0 : cost  0
8.753 * * [simplify]: Extracting # 1 : cost  0
8.753 * * [simplify]: Extracting # 2 : cost  0
8.754 * * [simplify]: Extracting # 3 : cost  0
8.754 * * [simplify]: Extracting # 4 : cost  0
8.754 * * [simplify]: Extracting # 5 : cost  0
8.754 * * [simplify]: Extracting # 6 : cost  0
8.754 * * [simplify]: Extracting # 7 : cost  0
8.754 * * [simplify]: iteration  0 :  78  enodes  (cost  685 )
8.780 * * [simplify]: Extracting # 0 : cost  0
8.780 * * [simplify]: Extracting # 1 : cost  0
8.780 * * [simplify]: Extracting # 2 : cost  0
8.780 * * [simplify]: Extracting # 3 : cost  0
8.780 * * [simplify]: Extracting # 4 : cost  0
8.781 * * [simplify]: Extracting # 5 : cost  0
8.781 * * [simplify]: iteration  1 :  186  enodes  (cost  610 )
8.948 * * [simplify]: Extracting # 0 : cost  0
8.949 * * [simplify]: Extracting # 1 : cost  0
8.952 * * [simplify]: Extracting # 2 : cost  0
8.954 * * [simplify]: Extracting # 3 : cost  0
8.956 * * [simplify]: Extracting # 4 : cost  0
8.958 * * [simplify]: iteration  2 :  1002  enodes  (cost  473 )
9.823 * * [simplify]: Extracting # 0 : cost  0
9.835 * * [simplify]: Extracting # 1 : cost  0
9.840 * * [simplify]: Extracting # 2 : cost  0
9.846 * * [simplify]: Extracting # 3 : cost  0
9.852 * * [simplify]: Extracting # 4 : cost  0
9.858 * * [simplify]: iteration done:  5000  enodes  (cost  455 )
9.858 * [simplify]: Simplified to:
  (expm1 (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (log1p (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (log (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (log (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (log (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (log (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (exp (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (pow (* (pow t 2) (sqrt 3.9999999999999997e-32)) 3)
  (* (cbrt (* (sqrt 3.9999999999999997e-32) (pow t 2))) (cbrt (* (sqrt 3.9999999999999997e-32) (pow t 2))))
  (cbrt (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (pow (* (pow t 2) (sqrt 3.9999999999999997e-32)) 3)
  (sqrt (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (sqrt (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (fabs t) (sqrt (sqrt 3.9999999999999997e-32)))
  (* (fabs t) (sqrt (sqrt 3.9999999999999997e-32)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (fabs t) (sqrt (sqrt 3.9999999999999997e-32)))
  (* (fabs t) (sqrt (sqrt 3.9999999999999997e-32)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (sqrt (sqrt 3.9999999999999997e-32)) t)
  (* (pow (* (cbrt t) (cbrt t)) 2) (sqrt 3.9999999999999997e-32))
  (* t (sqrt 3.9999999999999997e-32))
  (sqrt 3.9999999999999997e-32)
  (* t (sqrt 3.9999999999999997e-32))
  (* (* (cbrt (pow t 2)) (cbrt (pow t 2))) (sqrt 3.9999999999999997e-32))
  (* (fabs t) (sqrt 3.9999999999999997e-32))
  (sqrt 3.9999999999999997e-32)
  (* t (sqrt 3.9999999999999997e-32))
  (* (cbrt (sqrt 3.9999999999999997e-32)) (pow t 2))
  (* (sqrt (cbrt 3.9999999999999997e-32)) (pow t 2))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (pow t 2))
  (* (pow t 2) (sqrt 3.9999999999999997e-32))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (pow t 2))
  (* (pow t 2) (sqrt 3.9999999999999997e-32))
  (expm1 (* (pow t 2) 3.9999999999999997e-32))
  (log1p (* (pow t 2) 3.9999999999999997e-32))
  (* t (* t 3.9999999999999997e-32))
  (log (* (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))
  (log (* (pow t 2) 3.9999999999999997e-32))
  (exp (* (pow t 2) 3.9999999999999997e-32))
  (pow (* t (* t 3.9999999999999997e-32)) 3)
  (pow (* t (* t 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 (* t (* t 3.9999999999999997e-32)) 3)
  (fabs (* (sqrt 3.9999999999999997e-32) t))
  (fabs (* (sqrt 3.9999999999999997e-32) t))
  3.9999999999999997e-32
  (* (cbrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (* (sqrt (cbrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (* t (* t 3.9999999999999997e-32))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (* t (* t 3.9999999999999997e-32))
  (* (pow t 2) (sqrt 3.9999999999999997e-32))
  (* (pow t 2) (sqrt 3.9999999999999997e-32))
  (* (pow t 2) (sqrt 3.9999999999999997e-32))
  (* t (* t 3.9999999999999997e-32))
  (* t (* t 3.9999999999999997e-32))
  (* t (* t 3.9999999999999997e-32))
9.859 * * * [progress]: adding candidates to table
9.974 * [progress]: [Phase 3 of 3] Extracting.
9.974 * * [regime]: Finding splitpoints for: (#<alt (λ (t) (* (* (* (sqrt (fabs t)) (fabs t)) 3.9999999999999997e-32) (sqrt (sqrt (pow t 2)))))> #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* 1 (* (pow t 2) (sqrt 3.9999999999999997e-32)))))> #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (* t (sqrt 3.9999999999999997e-32)) t)))> #<alt (λ (t) (* (* (fabs t) 3.9999999999999997e-32) (sqrt (pow t 2))))> #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))> #<alt (λ (t) (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2)))))> #<alt (λ (t) (* (fabs (* (sqrt 3.9999999999999997e-32) t)) (fabs (* (sqrt 3.9999999999999997e-32) t))))>)
9.975 * * * [regime-changes]: Trying 1 branch expressions: (t)
9.975 * * * * [regimes]: Trying to branch on t from (#<alt (λ (t) (* (* (* (sqrt (fabs t)) (fabs t)) 3.9999999999999997e-32) (sqrt (sqrt (pow t 2)))))> #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* 1 (* (pow t 2) (sqrt 3.9999999999999997e-32)))))> #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (* t (sqrt 3.9999999999999997e-32)) t)))> #<alt (λ (t) (* (* (fabs t) 3.9999999999999997e-32) (sqrt (pow t 2))))> #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))> #<alt (λ (t) (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2)))))> #<alt (λ (t) (* (fabs (* (sqrt 3.9999999999999997e-32) t)) (fabs (* (sqrt 3.9999999999999997e-32) t))))>)
9.999 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
10.000 * [simplify]: Simplifying:
  (* (sqrt 3.9999999999999997e-32) (* (* t (sqrt 3.9999999999999997e-32)) t))
10.000 * * [simplify]: Extracting # 0 : cost  0
10.000 * * [simplify]: Extracting # 1 : cost  0
10.000 * * [simplify]: Extracting # 2 : cost  0
10.000 * * [simplify]: Extracting # 3 : cost  0
10.000 * * [simplify]: Extracting # 4 : cost  0
10.000 * * [simplify]: iteration  0 :  6  enodes  (cost  9 )
10.001 * * [simplify]: Extracting # 0 : cost  0
10.001 * * [simplify]: iteration  1 :  9  enodes  (cost  9 )
10.001 * * [simplify]: Extracting # 0 : cost  0
10.001 * * [simplify]: iteration done:  9  enodes  (cost  9 )
10.001 * [simplify]: Simplified to:
  (* (sqrt 3.9999999999999997e-32) (* (* t (sqrt 3.9999999999999997e-32)) t))
11.883 * [regime-testing]: Baseline error score: 0.32388729060017724
11.890 * [regime-testing]: Oracle error score: 0.018377297162145267
11.898 * [regime-testing]: End program error score: 0.32388729060017724
11.931 * [regime-testing]: Target error score: 50.56699220723839