7.792 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.040 * * * [progress]: [2/2] Setting up program.
0.041 * [progress]: [Phase 2 of 3] Improving.
0.042 * [simplify]: Simplifying:
  (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))
0.042 * * [simplify]: Extracting # 0 : cost  0
0.042 * * [simplify]: Extracting # 1 : cost  0
0.042 * * [simplify]: Extracting # 2 : cost  0
0.042 * * [simplify]: Extracting # 3 : cost  0
0.042 * * [simplify]: Extracting # 4 : cost  0
0.042 * * [simplify]: Extracting # 5 : cost  0
0.042 * * [simplify]: Extracting # 6 : cost  0
0.042 * * [simplify]: iteration  0 :  11  enodes  (cost  19 )
0.044 * * [simplify]: Extracting # 0 : cost  0
0.044 * * [simplify]: Extracting # 1 : cost  0
0.044 * * [simplify]: Extracting # 2 : cost  0
0.044 * * [simplify]: iteration  1 :  28  enodes  (cost  18 )
0.064 * * [simplify]: Extracting # 0 : cost  0
0.064 * * [simplify]: Extracting # 1 : cost  0
0.064 * * [simplify]: Extracting # 2 : cost  0
0.064 * * [simplify]: iteration  2 :  91  enodes  (cost  16 )
0.108 * * [simplify]: Extracting # 0 : cost  0
0.109 * * [simplify]: Extracting # 1 : cost  0
0.110 * * [simplify]: Extracting # 2 : cost  0
0.110 * * [simplify]: iteration  3 :  326  enodes  (cost  16 )
0.368 * * [simplify]: Extracting # 0 : cost  0
0.370 * * [simplify]: Extracting # 1 : cost  0
0.372 * * [simplify]: Extracting # 2 : cost  0
0.374 * * [simplify]: Extracting # 3 : cost  0
0.376 * * [simplify]: Extracting # 4 : cost  0
0.379 * * [simplify]: iteration  4 :  1257  enodes  (cost  16 )
2.182 * * [simplify]: Extracting # 0 : cost  0
2.199 * * [simplify]: Extracting # 1 : cost  0
2.207 * * [simplify]: Extracting # 2 : cost  0
2.214 * * [simplify]: Extracting # 3 : cost  0
2.229 * * [simplify]: Extracting # 4 : cost  0
2.234 * * [simplify]: iteration done:  5000  enodes  (cost  16 )
2.234 * [simplify]: Simplified to:
  (fma (fma t 2e-16 1.0) (fma t 2e-16 1.0) (- -1.0 (* 2.0 (* t 2e-16))))
2.238 * * [progress]: iteration 1 / 4
2.238 * * * [progress]: picking best candidate
2.240 * * * * [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.240 * * * [progress]: localizing error
2.249 * * * [progress]: generating rewritten candidates
2.249 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
2.250 * * * [progress]: generating series expansions
2.250 * * * * [progress]: [ 1 / 1 ] generating series at (2)
2.250 * [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.250 * [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.250 * [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.250 * [taylor]: Rewrote expression to (+ (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) (- (+ (* 4e-16 t) 1.0)))
2.250 * [taylor]: Taking taylor expansion of (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) in t
2.250 * [taylor]: Taking taylor expansion of (fma t 2e-16 1.0) in t
2.250 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1.0)
2.250 * [taylor]: Taking taylor expansion of (* t 2e-16) in t
2.250 * [taylor]: Taking taylor expansion of t in t
2.250 * [backup-simplify]: Simplify 0 into 0
2.250 * [backup-simplify]: Simplify 1 into 1
2.250 * [taylor]: Taking taylor expansion of 2e-16 in t
2.250 * [backup-simplify]: Simplify 2e-16 into 2e-16
2.250 * [taylor]: Taking taylor expansion of 1.0 in t
2.250 * [backup-simplify]: Simplify 1.0 into 1.0
2.250 * [taylor]: Taking taylor expansion of (fma t 2e-16 1.0) in t
2.251 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1.0)
2.251 * [taylor]: Taking taylor expansion of (* t 2e-16) in t
2.251 * [taylor]: Taking taylor expansion of t in t
2.251 * [backup-simplify]: Simplify 0 into 0
2.251 * [backup-simplify]: Simplify 1 into 1
2.251 * [taylor]: Taking taylor expansion of 2e-16 in t
2.251 * [backup-simplify]: Simplify 2e-16 into 2e-16
2.251 * [taylor]: Taking taylor expansion of 1.0 in t
2.251 * [backup-simplify]: Simplify 1.0 into 1.0
2.251 * [taylor]: Taking taylor expansion of (- (+ (* 4e-16 t) 1.0)) in t
2.251 * [taylor]: Taking taylor expansion of (+ (* 4e-16 t) 1.0) in t
2.251 * [taylor]: Taking taylor expansion of (* 4e-16 t) in t
2.251 * [taylor]: Taking taylor expansion of 4e-16 in t
2.251 * [backup-simplify]: Simplify 4e-16 into 4e-16
2.251 * [taylor]: Taking taylor expansion of t in t
2.251 * [backup-simplify]: Simplify 0 into 0
2.251 * [backup-simplify]: Simplify 1 into 1
2.251 * [taylor]: Taking taylor expansion of 1.0 in t
2.251 * [backup-simplify]: Simplify 1.0 into 1.0
2.251 * [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.251 * [taylor]: Rewrote expression to (+ (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) (- (+ (* 4e-16 t) 1.0)))
2.251 * [taylor]: Taking taylor expansion of (* (fma t 2e-16 1.0) (fma t 2e-16 1.0)) in t
2.251 * [taylor]: Taking taylor expansion of (fma t 2e-16 1.0) in t
2.251 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1.0)
2.251 * [taylor]: Taking taylor expansion of (* t 2e-16) in t
2.251 * [taylor]: Taking taylor expansion of t in t
2.251 * [backup-simplify]: Simplify 0 into 0
2.251 * [backup-simplify]: Simplify 1 into 1
2.251 * [taylor]: Taking taylor expansion of 2e-16 in t
2.251 * [backup-simplify]: Simplify 2e-16 into 2e-16
2.251 * [taylor]: Taking taylor expansion of 1.0 in t
2.251 * [backup-simplify]: Simplify 1.0 into 1.0
2.251 * [taylor]: Taking taylor expansion of (fma t 2e-16 1.0) in t
2.251 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1.0)
2.251 * [taylor]: Taking taylor expansion of (* t 2e-16) in t
2.251 * [taylor]: Taking taylor expansion of t in t
2.251 * [backup-simplify]: Simplify 0 into 0
2.251 * [backup-simplify]: Simplify 1 into 1
2.251 * [taylor]: Taking taylor expansion of 2e-16 in t
2.251 * [backup-simplify]: Simplify 2e-16 into 2e-16
2.251 * [taylor]: Taking taylor expansion of 1.0 in t
2.251 * [backup-simplify]: Simplify 1.0 into 1.0
2.251 * [taylor]: Taking taylor expansion of (- (+ (* 4e-16 t) 1.0)) in t
2.252 * [taylor]: Taking taylor expansion of (+ (* 4e-16 t) 1.0) in t
2.252 * [taylor]: Taking taylor expansion of (* 4e-16 t) in t
2.252 * [taylor]: Taking taylor expansion of 4e-16 in t
2.252 * [backup-simplify]: Simplify 4e-16 into 4e-16
2.252 * [taylor]: Taking taylor expansion of t in t
2.252 * [backup-simplify]: Simplify 0 into 0
2.252 * [backup-simplify]: Simplify 1 into 1
2.252 * [taylor]: Taking taylor expansion of 1.0 in t
2.252 * [backup-simplify]: Simplify 1.0 into 1.0
2.252 * [backup-simplify]: Simplify (* 0 2e-16) into 0
2.253 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.253 * [backup-simplify]: Simplify (* 0 2e-16) into 0
2.253 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.254 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
2.254 * [backup-simplify]: Simplify (* 4e-16 0) into 0
2.254 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.254 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.255 * [backup-simplify]: Simplify (+ 1.0 (- 1.0)) into 0
2.255 * [backup-simplify]: Simplify 0 into 0
2.256 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 2e-16)) into 2e-16
2.256 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16
2.257 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 2e-16)) into 2e-16
2.257 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16
2.258 * [backup-simplify]: Simplify (+ (* 1.0 2e-16) (* 2e-16 1.0)) into 4e-16
2.259 * [backup-simplify]: Simplify (+ (* 4e-16 1) (* 0 0)) into 4e-16
2.259 * [backup-simplify]: Simplify (+ 4e-16 0) into 4e-16
2.259 * [backup-simplify]: Simplify (- 4e-16) into (- 4e-16)
2.260 * [backup-simplify]: Simplify (+ 4e-16 (- 4e-16)) into 0
2.260 * [backup-simplify]: Simplify 0 into 0
2.260 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 2e-16))) into 0
2.261 * [backup-simplify]: Simplify (+ 0 0) into 0
2.261 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 2e-16))) into 0
2.262 * [backup-simplify]: Simplify (+ 0 0) into 0
2.263 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 2e-16) (* 0 1.0))) into 3.9999999999999997e-32
2.264 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 1) (* 0 0))) into 0
2.264 * [backup-simplify]: Simplify (+ 0 0) into 0
2.264 * [backup-simplify]: Simplify (- 0) into 0
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.265 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 2e-16)))) into 0
2.266 * [backup-simplify]: Simplify (+ 0 0) into 0
2.266 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 2e-16)))) into 0
2.266 * [backup-simplify]: Simplify (+ 0 0) into 0
2.267 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 2e-16) (* 0 1.0)))) into 0
2.268 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.268 * [backup-simplify]: Simplify (+ 0 0) into 0
2.268 * [backup-simplify]: Simplify (- 0) into 0
2.268 * [backup-simplify]: Simplify (+ 0 0) into 0
2.268 * [backup-simplify]: Simplify 0 into 0
2.269 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
2.269 * [backup-simplify]: Simplify (+ 0 0) into 0
2.270 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
2.270 * [backup-simplify]: Simplify (+ 0 0) into 0
2.271 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0))))) into 0
2.273 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.273 * [backup-simplify]: Simplify (+ 0 0) into 0
2.273 * [backup-simplify]: Simplify (- 0) into 0
2.274 * [backup-simplify]: Simplify (+ 0 0) into 0
2.274 * [backup-simplify]: Simplify 0 into 0
2.275 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
2.276 * [backup-simplify]: Simplify (+ 0 0) into 0
2.277 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
2.277 * [backup-simplify]: Simplify (+ 0 0) into 0
2.279 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0)))))) into 0
2.281 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
2.281 * [backup-simplify]: Simplify (+ 0 0) into 0
2.282 * [backup-simplify]: Simplify (- 0) into 0
2.282 * [backup-simplify]: Simplify (+ 0 0) into 0
2.282 * [backup-simplify]: Simplify 0 into 0
2.284 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0
2.284 * [backup-simplify]: Simplify (+ 0 0) into 0
2.286 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 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 (+ (* 1.0 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1.0))))))) into 0
2.289 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
2.289 * [backup-simplify]: Simplify (+ 0 0) into 0
2.289 * [backup-simplify]: Simplify (- 0) into 0
2.289 * [backup-simplify]: Simplify (+ 0 0) into 0
2.289 * [backup-simplify]: Simplify 0 into 0
2.290 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))))) into 0
2.291 * [backup-simplify]: Simplify (+ 0 0) into 0
2.292 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))))) into 0
2.292 * [backup-simplify]: Simplify (+ 0 0) into 0
2.293 * [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.294 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
2.294 * [backup-simplify]: Simplify (+ 0 0) into 0
2.294 * [backup-simplify]: Simplify (- 0) into 0
2.295 * [backup-simplify]: Simplify (+ 0 0) into 0
2.295 * [backup-simplify]: Simplify 0 into 0
2.296 * [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.296 * [backup-simplify]: Simplify (+ 0 0) into 0
2.297 * [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.297 * [backup-simplify]: Simplify (+ 0 0) into 0
2.298 * [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.300 * [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.300 * [backup-simplify]: Simplify (+ 0 0) into 0
2.300 * [backup-simplify]: Simplify (- 0) into 0
2.300 * [backup-simplify]: Simplify (+ 0 0) into 0
2.300 * [backup-simplify]: Simplify 0 into 0
2.300 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
2.301 * [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.301 * [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.301 * [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.301 * [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.301 * [taylor]: Taking taylor expansion of (* (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0)) in t
2.301 * [taylor]: Taking taylor expansion of (fma (/ 1 t) 2e-16 1.0) in t
2.301 * [taylor]: Rewrote expression to (+ (* (/ 1 t) 2e-16) 1.0)
2.301 * [taylor]: Taking taylor expansion of (* (/ 1 t) 2e-16) in t
2.301 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.301 * [taylor]: Taking taylor expansion of t in t
2.301 * [backup-simplify]: Simplify 0 into 0
2.301 * [backup-simplify]: Simplify 1 into 1
2.301 * [backup-simplify]: Simplify (/ 1 1) into 1
2.301 * [taylor]: Taking taylor expansion of 2e-16 in t
2.301 * [backup-simplify]: Simplify 2e-16 into 2e-16
2.301 * [taylor]: Taking taylor expansion of 1.0 in t
2.301 * [backup-simplify]: Simplify 1.0 into 1.0
2.301 * [taylor]: Taking taylor expansion of (fma (/ 1 t) 2e-16 1.0) in t
2.302 * [taylor]: Rewrote expression to (+ (* (/ 1 t) 2e-16) 1.0)
2.302 * [taylor]: Taking taylor expansion of (* (/ 1 t) 2e-16) in t
2.302 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.302 * [taylor]: Taking taylor expansion of t in t
2.302 * [backup-simplify]: Simplify 0 into 0
2.302 * [backup-simplify]: Simplify 1 into 1
2.302 * [backup-simplify]: Simplify (/ 1 1) into 1
2.302 * [taylor]: Taking taylor expansion of 2e-16 in t
2.302 * [backup-simplify]: Simplify 2e-16 into 2e-16
2.302 * [taylor]: Taking taylor expansion of 1.0 in t
2.302 * [backup-simplify]: Simplify 1.0 into 1.0
2.302 * [taylor]: Taking taylor expansion of (- (+ (* 4e-16 (/ 1 t)) 1.0)) in t
2.302 * [taylor]: Taking taylor expansion of (+ (* 4e-16 (/ 1 t)) 1.0) in t
2.302 * [taylor]: Taking taylor expansion of (* 4e-16 (/ 1 t)) in t
2.302 * [taylor]: Taking taylor expansion of 4e-16 in t
2.302 * [backup-simplify]: Simplify 4e-16 into 4e-16
2.302 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.302 * [taylor]: Taking taylor expansion of t in t
2.302 * [backup-simplify]: Simplify 0 into 0
2.302 * [backup-simplify]: Simplify 1 into 1
2.302 * [backup-simplify]: Simplify (/ 1 1) into 1
2.302 * [taylor]: Taking taylor expansion of 1.0 in t
2.302 * [backup-simplify]: Simplify 1.0 into 1.0
2.302 * [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.302 * [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.303 * [taylor]: Taking taylor expansion of (* (fma (/ 1 t) 2e-16 1.0) (fma (/ 1 t) 2e-16 1.0)) in t
2.303 * [taylor]: Taking taylor expansion of (fma (/ 1 t) 2e-16 1.0) in t
2.303 * [taylor]: Rewrote expression to (+ (* (/ 1 t) 2e-16) 1.0)
2.303 * [taylor]: Taking taylor expansion of (* (/ 1 t) 2e-16) in t
2.303 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.303 * [taylor]: Taking taylor expansion of t in t
2.303 * [backup-simplify]: Simplify 0 into 0
2.303 * [backup-simplify]: Simplify 1 into 1
2.303 * [backup-simplify]: Simplify (/ 1 1) into 1
2.303 * [taylor]: Taking taylor expansion of 2e-16 in t
2.303 * [backup-simplify]: Simplify 2e-16 into 2e-16
2.303 * [taylor]: Taking taylor expansion of 1.0 in t
2.303 * [backup-simplify]: Simplify 1.0 into 1.0
2.303 * [taylor]: Taking taylor expansion of (fma (/ 1 t) 2e-16 1.0) in t
2.303 * [taylor]: Rewrote expression to (+ (* (/ 1 t) 2e-16) 1.0)
2.303 * [taylor]: Taking taylor expansion of (* (/ 1 t) 2e-16) in t
2.303 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.303 * [taylor]: Taking taylor expansion of t in t
2.303 * [backup-simplify]: Simplify 0 into 0
2.303 * [backup-simplify]: Simplify 1 into 1
2.303 * [backup-simplify]: Simplify (/ 1 1) into 1
2.304 * [taylor]: Taking taylor expansion of 2e-16 in t
2.304 * [backup-simplify]: Simplify 2e-16 into 2e-16
2.304 * [taylor]: Taking taylor expansion of 1.0 in t
2.304 * [backup-simplify]: Simplify 1.0 into 1.0
2.304 * [taylor]: Taking taylor expansion of (- (+ (* 4e-16 (/ 1 t)) 1.0)) in t
2.304 * [taylor]: Taking taylor expansion of (+ (* 4e-16 (/ 1 t)) 1.0) in t
2.304 * [taylor]: Taking taylor expansion of (* 4e-16 (/ 1 t)) in t
2.304 * [taylor]: Taking taylor expansion of 4e-16 in t
2.304 * [backup-simplify]: Simplify 4e-16 into 4e-16
2.304 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.304 * [taylor]: Taking taylor expansion of t in t
2.304 * [backup-simplify]: Simplify 0 into 0
2.304 * [backup-simplify]: Simplify 1 into 1
2.304 * [backup-simplify]: Simplify (/ 1 1) into 1
2.304 * [taylor]: Taking taylor expansion of 1.0 in t
2.304 * [backup-simplify]: Simplify 1.0 into 1.0
2.304 * [backup-simplify]: Simplify (* 1 2e-16) into 2e-16
2.305 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16
2.305 * [backup-simplify]: Simplify (* 1 2e-16) into 2e-16
2.305 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16
2.306 * [backup-simplify]: Simplify (* 2e-16 2e-16) into 3.9999999999999997e-32
2.306 * [backup-simplify]: Simplify (+ 3.9999999999999997e-32 0) into 3.9999999999999997e-32
2.306 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.306 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.307 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 2e-16)) into 0
2.307 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.307 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.308 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 2e-16)) into 0
2.308 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.309 * [backup-simplify]: Simplify (+ (* 2e-16 1.0) (* 1.0 2e-16)) into 4e-16
2.309 * [backup-simplify]: Simplify (* 4e-16 1) into 4e-16
2.310 * [backup-simplify]: Simplify (+ 4e-16 0) into 4e-16
2.310 * [backup-simplify]: Simplify (- 4e-16) into (- 4e-16)
2.310 * [backup-simplify]: Simplify (+ 4e-16 (- 4e-16)) into 0
2.310 * [backup-simplify]: Simplify 0 into 0
2.318 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.319 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 2e-16))) into 0
2.320 * [backup-simplify]: Simplify (+ 0 0) into 0
2.321 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.322 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 2e-16))) into 0
2.322 * [backup-simplify]: Simplify (+ 0 0) into 0
2.325 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 1.0) (* 0 2e-16))) into 1.0
2.326 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.327 * [backup-simplify]: Simplify (+ (* 4e-16 0) (* 0 1)) into 0
2.328 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.328 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.329 * [backup-simplify]: Simplify (+ 1.0 (- 1.0)) into 0
2.329 * [backup-simplify]: Simplify 0 into 0
2.330 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.331 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))) into 0
2.332 * [backup-simplify]: Simplify (+ 0 0) into 0
2.333 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.334 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))) into 0
2.334 * [backup-simplify]: Simplify (+ 0 0) into 0
2.335 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 0) (+ (* 0 1.0) (* 0 2e-16)))) into 0
2.336 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.337 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (* 0 1))) into 0
2.338 * [backup-simplify]: Simplify (+ 0 0) into 0
2.338 * [backup-simplify]: Simplify (- 0) into 0
2.339 * [backup-simplify]: Simplify (+ 0 0) into 0
2.339 * [backup-simplify]: Simplify 0 into 0
2.340 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.341 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
2.342 * [backup-simplify]: Simplify (+ 0 0) into 0
2.343 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.344 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
2.344 * [backup-simplify]: Simplify (+ 0 0) into 0
2.345 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 2e-16))))) into 0
2.345 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.346 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.346 * [backup-simplify]: Simplify (+ 0 0) into 0
2.346 * [backup-simplify]: Simplify (- 0) into 0
2.346 * [backup-simplify]: Simplify (+ 0 0) into 0
2.346 * [backup-simplify]: Simplify 0 into 0
2.347 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.348 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
2.348 * [backup-simplify]: Simplify (+ 0 0) into 0
2.349 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.349 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
2.350 * [backup-simplify]: Simplify (+ 0 0) into 0
2.351 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 2e-16)))))) into 0
2.351 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.352 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.352 * [backup-simplify]: Simplify (+ 0 0) into 0
2.352 * [backup-simplify]: Simplify (- 0) into 0
2.353 * [backup-simplify]: Simplify (+ 0 0) into 0
2.353 * [backup-simplify]: Simplify 0 into 0
2.353 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.354 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0
2.354 * [backup-simplify]: Simplify (+ 0 0) into 0
2.355 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.356 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0
2.356 * [backup-simplify]: Simplify (+ 0 0) into 0
2.357 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 2e-16))))))) into 0
2.358 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.359 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.359 * [backup-simplify]: Simplify (+ 0 0) into 0
2.359 * [backup-simplify]: Simplify (- 0) into 0
2.359 * [backup-simplify]: Simplify (+ 0 0) into 0
2.359 * [backup-simplify]: Simplify 0 into 0
2.360 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
2.360 * [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.360 * [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.360 * [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.360 * [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.360 * [taylor]: Taking taylor expansion of (* (fma (/ -1 t) 2e-16 1.0) (fma (/ -1 t) 2e-16 1.0)) in t
2.360 * [taylor]: Taking taylor expansion of (fma (/ -1 t) 2e-16 1.0) in t
2.360 * [taylor]: Rewrote expression to (+ (* (/ -1 t) 2e-16) 1.0)
2.360 * [taylor]: Taking taylor expansion of (* (/ -1 t) 2e-16) in t
2.360 * [taylor]: Taking taylor expansion of (/ -1 t) in t
2.360 * [taylor]: Taking taylor expansion of -1 in t
2.360 * [backup-simplify]: Simplify -1 into -1
2.360 * [taylor]: Taking taylor expansion of t in t
2.360 * [backup-simplify]: Simplify 0 into 0
2.360 * [backup-simplify]: Simplify 1 into 1
2.361 * [backup-simplify]: Simplify (/ -1 1) into -1
2.361 * [taylor]: Taking taylor expansion of 2e-16 in t
2.361 * [backup-simplify]: Simplify 2e-16 into 2e-16
2.361 * [taylor]: Taking taylor expansion of 1.0 in t
2.361 * [backup-simplify]: Simplify 1.0 into 1.0
2.361 * [taylor]: Taking taylor expansion of (fma (/ -1 t) 2e-16 1.0) in t
2.361 * [taylor]: Rewrote expression to (+ (* (/ -1 t) 2e-16) 1.0)
2.361 * [taylor]: Taking taylor expansion of (* (/ -1 t) 2e-16) in t
2.361 * [taylor]: Taking taylor expansion of (/ -1 t) in t
2.361 * [taylor]: Taking taylor expansion of -1 in t
2.361 * [backup-simplify]: Simplify -1 into -1
2.361 * [taylor]: Taking taylor expansion of t in t
2.361 * [backup-simplify]: Simplify 0 into 0
2.361 * [backup-simplify]: Simplify 1 into 1
2.361 * [backup-simplify]: Simplify (/ -1 1) into -1
2.361 * [taylor]: Taking taylor expansion of 2e-16 in t
2.361 * [backup-simplify]: Simplify 2e-16 into 2e-16
2.361 * [taylor]: Taking taylor expansion of 1.0 in t
2.361 * [backup-simplify]: Simplify 1.0 into 1.0
2.361 * [taylor]: Taking taylor expansion of (- (* 4e-16 (/ 1 t)) 1.0) in t
2.361 * [taylor]: Taking taylor expansion of (* 4e-16 (/ 1 t)) in t
2.361 * [taylor]: Taking taylor expansion of 4e-16 in t
2.361 * [backup-simplify]: Simplify 4e-16 into 4e-16
2.361 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.361 * [taylor]: Taking taylor expansion of t in t
2.362 * [backup-simplify]: Simplify 0 into 0
2.362 * [backup-simplify]: Simplify 1 into 1
2.362 * [backup-simplify]: Simplify (/ 1 1) into 1
2.362 * [taylor]: Taking taylor expansion of 1.0 in t
2.362 * [backup-simplify]: Simplify 1.0 into 1.0
2.362 * [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.362 * [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.362 * [taylor]: Taking taylor expansion of (* (fma (/ -1 t) 2e-16 1.0) (fma (/ -1 t) 2e-16 1.0)) in t
2.362 * [taylor]: Taking taylor expansion of (fma (/ -1 t) 2e-16 1.0) in t
2.362 * [taylor]: Rewrote expression to (+ (* (/ -1 t) 2e-16) 1.0)
2.362 * [taylor]: Taking taylor expansion of (* (/ -1 t) 2e-16) in t
2.362 * [taylor]: Taking taylor expansion of (/ -1 t) in t
2.362 * [taylor]: Taking taylor expansion of -1 in t
2.362 * [backup-simplify]: Simplify -1 into -1
2.362 * [taylor]: Taking taylor expansion of t in t
2.362 * [backup-simplify]: Simplify 0 into 0
2.362 * [backup-simplify]: Simplify 1 into 1
2.363 * [backup-simplify]: Simplify (/ -1 1) into -1
2.363 * [taylor]: Taking taylor expansion of 2e-16 in t
2.363 * [backup-simplify]: Simplify 2e-16 into 2e-16
2.363 * [taylor]: Taking taylor expansion of 1.0 in t
2.363 * [backup-simplify]: Simplify 1.0 into 1.0
2.363 * [taylor]: Taking taylor expansion of (fma (/ -1 t) 2e-16 1.0) in t
2.363 * [taylor]: Rewrote expression to (+ (* (/ -1 t) 2e-16) 1.0)
2.363 * [taylor]: Taking taylor expansion of (* (/ -1 t) 2e-16) in t
2.363 * [taylor]: Taking taylor expansion of (/ -1 t) in t
2.363 * [taylor]: Taking taylor expansion of -1 in t
2.363 * [backup-simplify]: Simplify -1 into -1
2.363 * [taylor]: Taking taylor expansion of t in t
2.363 * [backup-simplify]: Simplify 0 into 0
2.363 * [backup-simplify]: Simplify 1 into 1
2.364 * [backup-simplify]: Simplify (/ -1 1) into -1
2.364 * [taylor]: Taking taylor expansion of 2e-16 in t
2.364 * [backup-simplify]: Simplify 2e-16 into 2e-16
2.364 * [taylor]: Taking taylor expansion of 1.0 in t
2.364 * [backup-simplify]: Simplify 1.0 into 1.0
2.364 * [taylor]: Taking taylor expansion of (- (* 4e-16 (/ 1 t)) 1.0) in t
2.364 * [taylor]: Taking taylor expansion of (* 4e-16 (/ 1 t)) in t
2.364 * [taylor]: Taking taylor expansion of 4e-16 in t
2.364 * [backup-simplify]: Simplify 4e-16 into 4e-16
2.364 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.364 * [taylor]: Taking taylor expansion of t in t
2.364 * [backup-simplify]: Simplify 0 into 0
2.364 * [backup-simplify]: Simplify 1 into 1
2.364 * [backup-simplify]: Simplify (/ 1 1) into 1
2.364 * [taylor]: Taking taylor expansion of 1.0 in t
2.364 * [backup-simplify]: Simplify 1.0 into 1.0
2.364 * [backup-simplify]: Simplify (* -1 2e-16) into -2e-16
2.365 * [backup-simplify]: Simplify (+ -2e-16 0) into (- 2e-16)
2.365 * [backup-simplify]: Simplify (* -1 2e-16) into -2e-16
2.365 * [backup-simplify]: Simplify (+ -2e-16 0) into (- 2e-16)
2.366 * [backup-simplify]: Simplify (* (- 2e-16) (- 2e-16)) into 3.9999999999999997e-32
2.366 * [backup-simplify]: Simplify (+ 3.9999999999999997e-32 0) into 3.9999999999999997e-32
2.366 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.367 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.367 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 2e-16)) into 0
2.367 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.368 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.368 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 2e-16)) into 0
2.368 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.370 * [backup-simplify]: Simplify (+ (* (- 2e-16) 1.0) (* 1.0 (- 2e-16))) into (- 4e-16)
2.370 * [backup-simplify]: Simplify (* 4e-16 1) into 4e-16
2.370 * [backup-simplify]: Simplify (+ 4e-16 0) into 4e-16
2.371 * [backup-simplify]: Simplify (+ (- 4e-16) 4e-16) into 0
2.371 * [backup-simplify]: Simplify 0 into 0
2.371 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.372 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 2e-16))) into 0
2.372 * [backup-simplify]: Simplify (+ 0 0) into 0
2.373 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.373 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 2e-16))) into 0
2.374 * [backup-simplify]: Simplify (+ 0 0) into 0
2.375 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 1.0) (* 0 (- 2e-16)))) into 1.0
2.376 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.376 * [backup-simplify]: Simplify (+ (* 4e-16 0) (* 0 1)) into 0
2.376 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.377 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
2.377 * [backup-simplify]: Simplify (+ 1.0 (- 1.0)) into 0
2.377 * [backup-simplify]: Simplify 0 into 0
2.378 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.379 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))) into 0
2.379 * [backup-simplify]: Simplify (+ 0 0) into 0
2.379 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.380 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))) into 0
2.380 * [backup-simplify]: Simplify (+ 0 0) into 0
2.381 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 0) (+ (* 0 1.0) (* 0 (- 2e-16))))) into 0
2.382 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.382 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (* 0 1))) into 0
2.382 * [backup-simplify]: Simplify (- 0) into 0
2.383 * [backup-simplify]: Simplify (+ 0 0) into 0
2.383 * [backup-simplify]: Simplify (+ 0 0) into 0
2.383 * [backup-simplify]: Simplify 0 into 0
2.383 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.385 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
2.385 * [backup-simplify]: Simplify (+ 0 0) into 0
2.386 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.387 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
2.388 * [backup-simplify]: Simplify (+ 0 0) into 0
2.390 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 (- 2e-16)))))) into 0
2.390 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.392 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.392 * [backup-simplify]: Simplify (- 0) into 0
2.392 * [backup-simplify]: Simplify (+ 0 0) into 0
2.393 * [backup-simplify]: Simplify (+ 0 0) into 0
2.393 * [backup-simplify]: Simplify 0 into 0
2.394 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.395 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
2.396 * [backup-simplify]: Simplify (+ 0 0) into 0
2.397 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.398 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
2.398 * [backup-simplify]: Simplify (+ 0 0) into 0
2.400 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 (- 2e-16))))))) into 0
2.401 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.403 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.403 * [backup-simplify]: Simplify (- 0) into 0
2.403 * [backup-simplify]: Simplify (+ 0 0) into 0
2.403 * [backup-simplify]: Simplify (+ 0 0) into 0
2.403 * [backup-simplify]: Simplify 0 into 0
2.404 * [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.405 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0
2.405 * [backup-simplify]: Simplify (+ 0 0) into 0
2.406 * [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.407 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0
2.407 * [backup-simplify]: Simplify (+ 0 0) into 0
2.408 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 (- 2e-16)))))))) into 0
2.409 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.410 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.410 * [backup-simplify]: Simplify (- 0) into 0
2.410 * [backup-simplify]: Simplify (+ 0 0) into 0
2.410 * [backup-simplify]: Simplify (+ 0 0) into 0
2.410 * [backup-simplify]: Simplify 0 into 0
2.411 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
2.411 * * * [progress]: simplifying candidates
2.411 * [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.411 * * [simplify]: Extracting # 0 : cost  0
2.411 * * [simplify]: Extracting # 1 : cost  0
2.411 * * [simplify]: Extracting # 2 : cost  0
2.411 * * [simplify]: Extracting # 3 : cost  0
2.412 * * [simplify]: Extracting # 4 : cost  0
2.412 * * [simplify]: Extracting # 5 : cost  0
2.412 * * [simplify]: Extracting # 6 : cost  0
2.412 * * [simplify]: Extracting # 7 : cost  0
2.412 * * [simplify]: Extracting # 8 : cost  0
2.412 * * [simplify]: iteration  0 :  24  enodes  (cost  228 )
2.416 * * [simplify]: Extracting # 0 : cost  0
2.416 * * [simplify]: Extracting # 1 : cost  0
2.416 * * [simplify]: Extracting # 2 : cost  0
2.416 * * [simplify]: Extracting # 3 : cost  0
2.416 * * [simplify]: iteration  1 :  39  enodes  (cost  228 )
2.440 * * [simplify]: Extracting # 0 : cost  0
2.440 * * [simplify]: Extracting # 1 : cost  0
2.440 * * [simplify]: Extracting # 2 : cost  0
2.440 * * [simplify]: Extracting # 3 : cost  0
2.440 * * [simplify]: iteration  2 :  111  enodes  (cost  196 )
2.501 * * [simplify]: Extracting # 0 : cost  0
2.502 * * [simplify]: Extracting # 1 : cost  0
2.502 * * [simplify]: Extracting # 2 : cost  0
2.503 * * [simplify]: Extracting # 3 : cost  0
2.503 * * [simplify]: Extracting # 4 : cost  0
2.504 * * [simplify]: iteration  3 :  458  enodes  (cost  196 )
2.840 * * [simplify]: Extracting # 0 : cost  0
2.854 * * [simplify]: Extracting # 1 : cost  0
2.860 * * [simplify]: Extracting # 2 : cost  0
2.863 * * [simplify]: Extracting # 3 : cost  0
2.867 * * [simplify]: Extracting # 4 : cost  0
2.870 * * [simplify]: iteration  4 :  3154  enodes  (cost  196 )
5.225 * * [simplify]: Extracting # 0 : cost  0
5.240 * * [simplify]: Extracting # 1 : cost  0
5.245 * * [simplify]: iteration done:  5000  enodes  (cost  196 )
5.246 * [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))
5.246 * * * [progress]: adding candidates to table
5.288 * * [progress]: iteration 2 / 4
5.288 * * * [progress]: picking best candidate
5.290 * * * * [pick]: Picked  #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
5.290 * * * [progress]: localizing error
5.294 * * * [progress]: generating rewritten candidates
5.294 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
5.311 * * * [progress]: generating series expansions
5.311 * * * * [progress]: [ 1 / 1 ] generating series at (2)
5.311 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
5.311 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
5.311 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
5.312 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.312 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.312 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.312 * [taylor]: Taking taylor expansion of t in t
5.312 * [backup-simplify]: Simplify 0 into 0
5.312 * [backup-simplify]: Simplify 1 into 1
5.312 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
5.312 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.312 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.312 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.312 * [taylor]: Taking taylor expansion of t in t
5.312 * [backup-simplify]: Simplify 0 into 0
5.312 * [backup-simplify]: Simplify 1 into 1
5.312 * [backup-simplify]: Simplify (* 1 1) into 1
5.313 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
5.313 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.313 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.313 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
5.314 * [backup-simplify]: Simplify 0 into 0
5.314 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.315 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
5.315 * [backup-simplify]: Simplify 0 into 0
5.315 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.316 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.316 * [backup-simplify]: Simplify 0 into 0
5.318 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.319 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.319 * [backup-simplify]: Simplify 0 into 0
5.320 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.322 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.322 * [backup-simplify]: Simplify 0 into 0
5.323 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.325 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.325 * [backup-simplify]: Simplify 0 into 0
5.325 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
5.326 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 t) 2)) into (/ 3.9999999999999997e-32 (pow t 2))
5.326 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
5.326 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
5.326 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.326 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.326 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.326 * [taylor]: Taking taylor expansion of t in t
5.326 * [backup-simplify]: Simplify 0 into 0
5.326 * [backup-simplify]: Simplify 1 into 1
5.326 * [backup-simplify]: Simplify (* 1 1) into 1
5.327 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
5.327 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
5.327 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.327 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.327 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.327 * [taylor]: Taking taylor expansion of t in t
5.327 * [backup-simplify]: Simplify 0 into 0
5.327 * [backup-simplify]: Simplify 1 into 1
5.327 * [backup-simplify]: Simplify (* 1 1) into 1
5.328 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
5.328 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.329 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.329 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
5.329 * [backup-simplify]: Simplify 0 into 0
5.330 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.331 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.331 * [backup-simplify]: Simplify 0 into 0
5.332 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.333 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.333 * [backup-simplify]: Simplify 0 into 0
5.333 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.334 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.334 * [backup-simplify]: Simplify 0 into 0
5.335 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.335 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.335 * [backup-simplify]: Simplify 0 into 0
5.336 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.336 * [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
5.337 * [backup-simplify]: Simplify 0 into 0
5.337 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
5.337 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (- t)) 2)) into (/ 3.9999999999999997e-32 (pow t 2))
5.337 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
5.337 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
5.337 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.337 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.337 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.337 * [taylor]: Taking taylor expansion of t in t
5.337 * [backup-simplify]: Simplify 0 into 0
5.337 * [backup-simplify]: Simplify 1 into 1
5.337 * [backup-simplify]: Simplify (* 1 1) into 1
5.338 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
5.338 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
5.338 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
5.338 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.338 * [taylor]: Taking taylor expansion of (pow t 2) in t
5.338 * [taylor]: Taking taylor expansion of t in t
5.338 * [backup-simplify]: Simplify 0 into 0
5.338 * [backup-simplify]: Simplify 1 into 1
5.338 * [backup-simplify]: Simplify (* 1 1) into 1
5.338 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
5.338 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
5.339 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.339 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
5.339 * [backup-simplify]: Simplify 0 into 0
5.340 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.340 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.340 * [backup-simplify]: Simplify 0 into 0
5.341 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
5.342 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.342 * [backup-simplify]: Simplify 0 into 0
5.342 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
5.343 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.343 * [backup-simplify]: Simplify 0 into 0
5.344 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
5.344 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.344 * [backup-simplify]: Simplify 0 into 0
5.345 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
5.346 * [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
5.346 * [backup-simplify]: Simplify 0 into 0
5.346 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
5.346 * * * [progress]: simplifying candidates
5.347 * [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))
5.348 * * [simplify]: Extracting # 0 : cost  0
5.348 * * [simplify]: Extracting # 1 : cost  0
5.348 * * [simplify]: Extracting # 2 : cost  0
5.348 * * [simplify]: Extracting # 3 : cost  0
5.348 * * [simplify]: Extracting # 4 : cost  0
5.348 * * [simplify]: Extracting # 5 : cost  0
5.348 * * [simplify]: Extracting # 6 : cost  0
5.348 * * [simplify]: iteration  0 :  53  enodes  (cost  244 )
5.364 * * [simplify]: Extracting # 0 : cost  0
5.364 * * [simplify]: Extracting # 1 : cost  0
5.364 * * [simplify]: Extracting # 2 : cost  0
5.364 * * [simplify]: Extracting # 3 : cost  0
5.364 * * [simplify]: Extracting # 4 : cost  0
5.364 * * [simplify]: iteration  1 :  117  enodes  (cost  221 )
5.432 * * [simplify]: Extracting # 0 : cost  0
5.432 * * [simplify]: Extracting # 1 : cost  0
5.433 * * [simplify]: Extracting # 2 : cost  0
5.433 * * [simplify]: Extracting # 3 : cost  0
5.434 * * [simplify]: Extracting # 4 : cost  0
5.434 * * [simplify]: iteration  2 :  432  enodes  (cost  188 )
6.210 * * [simplify]: Extracting # 0 : cost  0
6.214 * * [simplify]: Extracting # 1 : cost  0
6.217 * * [simplify]: Extracting # 2 : cost  0
6.219 * * [simplify]: Extracting # 3 : cost  0
6.222 * * [simplify]: Extracting # 4 : cost  0
6.225 * * [simplify]: iteration  3 :  2931  enodes  (cost  188 )
8.331 * * [simplify]: Extracting # 0 : cost  0
8.340 * * [simplify]: Extracting # 1 : cost  0
8.352 * * [simplify]: Extracting # 2 : cost  0
8.358 * * [simplify]: Extracting # 3 : cost  0
8.364 * * [simplify]: iteration done:  5001  enodes  (cost  185 )
8.364 * [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))
8.364 * * * [progress]: adding candidates to table
8.419 * * [progress]: iteration 3 / 4
8.419 * * * [progress]: picking best candidate
8.434 * * * * [pick]: Picked  #<alt (λ (t) (* (* 3.9999999999999997e-32 t) (pow t (/ 2 2))))>
8.434 * * * [progress]: localizing error
8.446 * * * [progress]: generating rewritten candidates
8.446 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
8.489 * * * [progress]: generating series expansions
8.489 * * * * [progress]: [ 1 / 1 ] generating series at (2)
8.490 * [backup-simplify]: Simplify (* (* 3.9999999999999997e-32 t) (pow t (/ 2 2))) into (* 3.9999999999999997e-32 (pow t 2))
8.490 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
8.490 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
8.490 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.490 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.490 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.490 * [taylor]: Taking taylor expansion of t in t
8.490 * [backup-simplify]: Simplify 0 into 0
8.490 * [backup-simplify]: Simplify 1 into 1
8.490 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
8.490 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.490 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.490 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.490 * [taylor]: Taking taylor expansion of t in t
8.490 * [backup-simplify]: Simplify 0 into 0
8.490 * [backup-simplify]: Simplify 1 into 1
8.491 * [backup-simplify]: Simplify (* 1 1) into 1
8.491 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.491 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.492 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.493 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
8.493 * [backup-simplify]: Simplify 0 into 0
8.494 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.495 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
8.495 * [backup-simplify]: Simplify 0 into 0
8.496 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.496 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.496 * [backup-simplify]: Simplify 0 into 0
8.497 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.498 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.498 * [backup-simplify]: Simplify 0 into 0
8.499 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.500 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.500 * [backup-simplify]: Simplify 0 into 0
8.502 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.503 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.503 * [backup-simplify]: Simplify 0 into 0
8.503 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
8.504 * [backup-simplify]: Simplify (* (* 3.9999999999999997e-32 (/ 1 t)) (pow (/ 1 t) (/ 2 2))) into (/ 3.9999999999999997e-32 (pow t 2))
8.504 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
8.504 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
8.504 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.504 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.504 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.504 * [taylor]: Taking taylor expansion of t in t
8.504 * [backup-simplify]: Simplify 0 into 0
8.504 * [backup-simplify]: Simplify 1 into 1
8.504 * [backup-simplify]: Simplify (* 1 1) into 1
8.505 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.505 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
8.505 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.505 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.505 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.505 * [taylor]: Taking taylor expansion of t in t
8.505 * [backup-simplify]: Simplify 0 into 0
8.505 * [backup-simplify]: Simplify 1 into 1
8.505 * [backup-simplify]: Simplify (* 1 1) into 1
8.506 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.506 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.507 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.508 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
8.508 * [backup-simplify]: Simplify 0 into 0
8.508 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.509 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.509 * [backup-simplify]: Simplify 0 into 0
8.510 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.511 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.511 * [backup-simplify]: Simplify 0 into 0
8.512 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.512 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.512 * [backup-simplify]: Simplify 0 into 0
8.513 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.517 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.518 * [backup-simplify]: Simplify 0 into 0
8.518 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.519 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.519 * [backup-simplify]: Simplify 0 into 0
8.519 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
8.520 * [backup-simplify]: Simplify (* (* 3.9999999999999997e-32 (/ 1 (- t))) (pow (/ 1 (- t)) (/ 2 2))) into (/ 3.9999999999999997e-32 (pow t 2))
8.520 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
8.520 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
8.520 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.520 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.520 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.520 * [taylor]: Taking taylor expansion of t in t
8.520 * [backup-simplify]: Simplify 0 into 0
8.520 * [backup-simplify]: Simplify 1 into 1
8.520 * [backup-simplify]: Simplify (* 1 1) into 1
8.520 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.520 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
8.520 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.520 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.520 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.521 * [taylor]: Taking taylor expansion of t in t
8.521 * [backup-simplify]: Simplify 0 into 0
8.521 * [backup-simplify]: Simplify 1 into 1
8.521 * [backup-simplify]: Simplify (* 1 1) into 1
8.521 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.521 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.521 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.522 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
8.522 * [backup-simplify]: Simplify 0 into 0
8.522 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.523 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.523 * [backup-simplify]: Simplify 0 into 0
8.524 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.524 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.524 * [backup-simplify]: Simplify 0 into 0
8.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.526 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.526 * [backup-simplify]: Simplify 0 into 0
8.526 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.527 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.527 * [backup-simplify]: Simplify 0 into 0
8.528 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.528 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.528 * [backup-simplify]: Simplify 0 into 0
8.529 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
8.529 * * * [progress]: simplifying candidates
8.530 * [simplify]: Simplifying:
  (expm1 (* (* 3.9999999999999997e-32 t) (pow t (/ 2 2))))
  (log1p (* (* 3.9999999999999997e-32 t) (pow t (/ 2 2))))
  (+ (+ (log 3.9999999999999997e-32) (log t)) (* (log t) (/ 2 2)))
  (+ (+ (log 3.9999999999999997e-32) (log t)) (* (log t) (/ 2 2)))
  (+ (+ (log 3.9999999999999997e-32) (log t)) (log (pow t (/ 2 2))))
  (+ (log (* 3.9999999999999997e-32 t)) (* (log t) (/ 2 2)))
  (+ (log (* 3.9999999999999997e-32 t)) (* (log t) (/ 2 2)))
  (+ (log (* 3.9999999999999997e-32 t)) (log (pow t (/ 2 2))))
  (log (* (* 3.9999999999999997e-32 t) (pow t (/ 2 2))))
  (exp (* (* 3.9999999999999997e-32 t) (pow t (/ 2 2))))
  (* (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* t t) t)) (* (* (pow t (/ 2 2)) (pow t (/ 2 2))) (pow t (/ 2 2))))
  (* (* (* (* 3.9999999999999997e-32 t) (* 3.9999999999999997e-32 t)) (* 3.9999999999999997e-32 t)) (* (* (pow t (/ 2 2)) (pow t (/ 2 2))) (pow t (/ 2 2))))
  (* (cbrt (* (* 3.9999999999999997e-32 t) (pow t (/ 2 2)))) (cbrt (* (* 3.9999999999999997e-32 t) (pow t (/ 2 2)))))
  (cbrt (* (* 3.9999999999999997e-32 t) (pow t (/ 2 2))))
  (* (* (* (* 3.9999999999999997e-32 t) (pow t (/ 2 2))) (* (* 3.9999999999999997e-32 t) (pow t (/ 2 2)))) (* (* 3.9999999999999997e-32 t) (pow t (/ 2 2))))
  (sqrt (* (* 3.9999999999999997e-32 t) (pow t (/ 2 2))))
  (sqrt (* (* 3.9999999999999997e-32 t) (pow t (/ 2 2))))
  (* (* 3.9999999999999997e-32 t) (pow (* (cbrt t) (cbrt t)) (/ 2 2)))
  (* (* 3.9999999999999997e-32 t) (pow (sqrt t) (/ 2 2)))
  (* (* 3.9999999999999997e-32 t) (pow 1 (/ 2 2)))
  (* (* 3.9999999999999997e-32 t) (* (cbrt (pow t (/ 2 2))) (cbrt (pow t (/ 2 2)))))
  (* (* 3.9999999999999997e-32 t) (sqrt (pow t (/ 2 2))))
  (* (* 3.9999999999999997e-32 t) 1)
  (* (* 3.9999999999999997e-32 t) (pow t (/ (/ 2 2) 2)))
  (* t (pow t (/ 2 2)))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
8.531 * * [simplify]: Extracting # 0 : cost  0
8.531 * * [simplify]: Extracting # 1 : cost  0
8.531 * * [simplify]: Extracting # 2 : cost  0
8.531 * * [simplify]: Extracting # 3 : cost  0
8.531 * * [simplify]: Extracting # 4 : cost  0
8.531 * * [simplify]: Extracting # 5 : cost  0
8.531 * * [simplify]: Extracting # 6 : cost  0
8.531 * * [simplify]: iteration  0 :  59  enodes  (cost  344 )
8.559 * * [simplify]: Extracting # 0 : cost  0
8.559 * * [simplify]: Extracting # 1 : cost  0
8.560 * * [simplify]: Extracting # 2 : cost  0
8.560 * * [simplify]: Extracting # 3 : cost  0
8.560 * * [simplify]: iteration  1 :  172  enodes  (cost  255 )
8.727 * * [simplify]: Extracting # 0 : cost  0
8.728 * * [simplify]: Extracting # 1 : cost  0
8.730 * * [simplify]: Extracting # 2 : cost  0
8.731 * * [simplify]: Extracting # 3 : cost  0
8.732 * * [simplify]: Extracting # 4 : cost  0
8.733 * * [simplify]: iteration  2 :  1228  enodes  (cost  172 )
9.340 * * [simplify]: Extracting # 0 : cost  0
9.380 * * [simplify]: Extracting # 1 : cost  0
9.387 * * [simplify]: Extracting # 2 : cost  0
9.396 * * [simplify]: Extracting # 3 : cost  0
9.407 * * [simplify]: Extracting # 4 : cost  0
9.419 * * [simplify]: iteration done:  5001  enodes  (cost  172 )
9.420 * [simplify]: Simplified to:
  (expm1 (* (pow t 2) 3.9999999999999997e-32))
  (log1p (* (pow t 2) 3.9999999999999997e-32))
  (log (* 3.9999999999999997e-32 (pow t 2)))
  (log (* 3.9999999999999997e-32 (pow t 2)))
  (log (* 3.9999999999999997e-32 (pow t 2)))
  (log (* 3.9999999999999997e-32 (pow t 2)))
  (log (* 3.9999999999999997e-32 (pow t 2)))
  (log (* 3.9999999999999997e-32 (pow t 2)))
  (log (* 3.9999999999999997e-32 (pow t 2)))
  (exp (* t (* 3.9999999999999997e-32 t)))
  (pow (* (pow t 2) 3.9999999999999997e-32) 3)
  (pow (* (pow t 2) 3.9999999999999997e-32) 3)
  (* (cbrt (* (pow t 2) 3.9999999999999997e-32)) (cbrt (* (pow t 2) 3.9999999999999997e-32)))
  (cbrt (* (pow t 2) 3.9999999999999997e-32))
  (pow (* (pow t 2) 3.9999999999999997e-32) 3)
  (sqrt (* t (* 3.9999999999999997e-32 t)))
  (sqrt (* t (* 3.9999999999999997e-32 t)))
  (* (* (cbrt t) (cbrt t)) (* 3.9999999999999997e-32 t))
  (* (sqrt t) (* 3.9999999999999997e-32 t))
  (* t 3.9999999999999997e-32)
  (* (* (cbrt t) (cbrt t)) (* 3.9999999999999997e-32 t))
  (* (sqrt t) (* 3.9999999999999997e-32 t))
  (* t 3.9999999999999997e-32)
  (* (sqrt t) (* 3.9999999999999997e-32 t))
  (pow t 2)
  (* t (* 3.9999999999999997e-32 t))
  (* t (* 3.9999999999999997e-32 t))
  (* t (* 3.9999999999999997e-32 t))
9.420 * * * [progress]: adding candidates to table
9.501 * * [progress]: iteration 4 / 4
9.501 * * * [progress]: picking best candidate
9.516 * * * * [pick]: Picked  #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))))>
9.516 * * * [progress]: localizing error
9.523 * * * [progress]: generating rewritten candidates
9.523 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
9.575 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
9.609 * * * [progress]: generating series expansions
9.609 * * * * [progress]: [ 1 / 2 ] generating series at (2)
9.611 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (pow t 2))) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
9.611 * [approximate]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) in (t) around 0
9.611 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) in t
9.611 * [taylor]: Taking taylor expansion of (pow t 2) in t
9.611 * [taylor]: Taking taylor expansion of t in t
9.611 * [backup-simplify]: Simplify 0 into 0
9.611 * [backup-simplify]: Simplify 1 into 1
9.611 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
9.611 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
9.611 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
9.611 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
9.612 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
9.612 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.612 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) in t
9.612 * [taylor]: Taking taylor expansion of (pow t 2) in t
9.612 * [taylor]: Taking taylor expansion of t in t
9.612 * [backup-simplify]: Simplify 0 into 0
9.612 * [backup-simplify]: Simplify 1 into 1
9.612 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
9.613 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
9.613 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
9.613 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
9.613 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
9.614 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.614 * [backup-simplify]: Simplify (* 1 1) into 1
9.615 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
9.617 * [backup-simplify]: Simplify (* 1 (pow (sqrt 3.9999999999999997e-32) 2)) into (pow (sqrt 3.9999999999999997e-32) 2)
9.618 * [backup-simplify]: Simplify (pow (sqrt 3.9999999999999997e-32) 2) into (pow (sqrt 3.9999999999999997e-32) 2)
9.618 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
9.619 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.620 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))) into 0
9.620 * [backup-simplify]: Simplify 0 into 0
9.622 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.623 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
9.624 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.625 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))) into 0
9.625 * [backup-simplify]: Simplify 0 into 0
9.626 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.628 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
9.629 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.630 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))))) into 0
9.630 * [backup-simplify]: Simplify 0 into 0
9.632 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.633 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
9.634 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.636 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))))) into 0
9.636 * [backup-simplify]: Simplify 0 into 0
9.637 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.639 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
9.640 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.642 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))))))) into 0
9.642 * [backup-simplify]: Simplify 0 into 0
9.644 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.645 * [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
9.647 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.649 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))))))) into 0
9.649 * [backup-simplify]: Simplify 0 into 0
9.651 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
9.651 * [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))
9.652 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in (t) around 0
9.652 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t
9.652 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
9.652 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
9.652 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
9.652 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
9.652 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
9.653 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.653 * [taylor]: Taking taylor expansion of (pow t 2) in t
9.653 * [taylor]: Taking taylor expansion of t in t
9.653 * [backup-simplify]: Simplify 0 into 0
9.653 * [backup-simplify]: Simplify 1 into 1
9.654 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
9.654 * [backup-simplify]: Simplify (* 1 1) into 1
9.656 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2)
9.656 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t
9.656 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
9.656 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
9.656 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
9.656 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
9.657 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
9.657 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.657 * [taylor]: Taking taylor expansion of (pow t 2) in t
9.657 * [taylor]: Taking taylor expansion of t in t
9.657 * [backup-simplify]: Simplify 0 into 0
9.658 * [backup-simplify]: Simplify 1 into 1
9.659 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
9.659 * [backup-simplify]: Simplify (* 1 1) into 1
9.661 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2)
9.662 * [backup-simplify]: Simplify (pow (sqrt 3.9999999999999997e-32) 2) into (pow (sqrt 3.9999999999999997e-32) 2)
9.662 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
9.663 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.664 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)))) into 0
9.664 * [backup-simplify]: Simplify 0 into 0
9.665 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.666 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
9.667 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.669 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.669 * [backup-simplify]: Simplify 0 into 0
9.670 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.671 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
9.672 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.674 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.674 * [backup-simplify]: Simplify 0 into 0
9.675 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.677 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
9.678 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.679 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.679 * [backup-simplify]: Simplify 0 into 0
9.681 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.682 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
9.684 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.685 * [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
9.685 * [backup-simplify]: Simplify 0 into 0
9.687 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.688 * [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
9.690 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.691 * [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
9.691 * [backup-simplify]: Simplify 0 into 0
9.692 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (/ 1 (/ 1 t)) 2)) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
9.694 * [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))
9.694 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in (t) around 0
9.694 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t
9.694 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
9.694 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
9.694 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
9.694 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
9.694 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
9.695 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.695 * [taylor]: Taking taylor expansion of (pow t 2) in t
9.695 * [taylor]: Taking taylor expansion of t in t
9.695 * [backup-simplify]: Simplify 0 into 0
9.695 * [backup-simplify]: Simplify 1 into 1
9.696 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
9.697 * [backup-simplify]: Simplify (* 1 1) into 1
9.698 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2)
9.698 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t
9.698 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
9.698 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
9.698 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
9.698 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
9.699 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
9.699 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.699 * [taylor]: Taking taylor expansion of (pow t 2) in t
9.699 * [taylor]: Taking taylor expansion of t in t
9.699 * [backup-simplify]: Simplify 0 into 0
9.700 * [backup-simplify]: Simplify 1 into 1
9.701 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
9.701 * [backup-simplify]: Simplify (* 1 1) into 1
9.707 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2)
9.708 * [backup-simplify]: Simplify (pow (sqrt 3.9999999999999997e-32) 2) into (pow (sqrt 3.9999999999999997e-32) 2)
9.709 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
9.710 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.711 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)))) into 0
9.711 * [backup-simplify]: Simplify 0 into 0
9.712 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.713 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
9.714 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.716 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.716 * [backup-simplify]: Simplify 0 into 0
9.717 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.718 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
9.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.720 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.720 * [backup-simplify]: Simplify 0 into 0
9.722 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.723 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
9.724 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.726 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.726 * [backup-simplify]: Simplify 0 into 0
9.727 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.728 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
9.728 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.729 * [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
9.729 * [backup-simplify]: Simplify 0 into 0
9.730 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.731 * [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
9.732 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.733 * [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
9.733 * [backup-simplify]: Simplify 0 into 0
9.734 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (/ 1 (/ 1 (- t))) 2)) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
9.734 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
9.734 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow t 2)) into (* (pow t 2) (sqrt 3.9999999999999997e-32))
9.734 * [approximate]: Taking taylor expansion of (* (pow t 2) (sqrt 3.9999999999999997e-32)) in (t) around 0
9.734 * [taylor]: Taking taylor expansion of (* (pow t 2) (sqrt 3.9999999999999997e-32)) in t
9.734 * [taylor]: Taking taylor expansion of (pow t 2) in t
9.734 * [taylor]: Taking taylor expansion of t in t
9.734 * [backup-simplify]: Simplify 0 into 0
9.734 * [backup-simplify]: Simplify 1 into 1
9.734 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
9.734 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
9.734 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
9.735 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
9.735 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.735 * [taylor]: Taking taylor expansion of (* (pow t 2) (sqrt 3.9999999999999997e-32)) in t
9.735 * [taylor]: Taking taylor expansion of (pow t 2) in t
9.735 * [taylor]: Taking taylor expansion of t in t
9.735 * [backup-simplify]: Simplify 0 into 0
9.735 * [backup-simplify]: Simplify 1 into 1
9.735 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
9.735 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
9.735 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
9.736 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
9.736 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.736 * [backup-simplify]: Simplify (* 1 1) into 1
9.737 * [backup-simplify]: Simplify (* 1 (sqrt 3.9999999999999997e-32)) into (sqrt 3.9999999999999997e-32)
9.737 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
9.737 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.738 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
9.738 * [backup-simplify]: Simplify 0 into 0
9.738 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.739 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
9.740 * [backup-simplify]: Simplify 0 into 0
9.740 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.741 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.742 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
9.742 * [backup-simplify]: Simplify 0 into 0
9.742 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.743 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.744 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
9.744 * [backup-simplify]: Simplify 0 into 0
9.745 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.746 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.746 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
9.746 * [backup-simplify]: Simplify 0 into 0
9.747 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.748 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.749 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))))) into 0
9.749 * [backup-simplify]: Simplify 0 into 0
9.749 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow t 2)) into (* (pow t 2) (sqrt 3.9999999999999997e-32))
9.750 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow (/ 1 t) 2)) into (/ (sqrt 3.9999999999999997e-32) (pow t 2))
9.750 * [approximate]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in (t) around 0
9.750 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t
9.750 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
9.750 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
9.750 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
9.750 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
9.751 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.751 * [taylor]: Taking taylor expansion of (pow t 2) in t
9.751 * [taylor]: Taking taylor expansion of t in t
9.751 * [backup-simplify]: Simplify 0 into 0
9.751 * [backup-simplify]: Simplify 1 into 1
9.751 * [backup-simplify]: Simplify (* 1 1) into 1
9.751 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32)
9.751 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t
9.752 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
9.752 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
9.752 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
9.752 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
9.752 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.752 * [taylor]: Taking taylor expansion of (pow t 2) in t
9.752 * [taylor]: Taking taylor expansion of t in t
9.752 * [backup-simplify]: Simplify 0 into 0
9.752 * [backup-simplify]: Simplify 1 into 1
9.753 * [backup-simplify]: Simplify (* 1 1) into 1
9.753 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32)
9.753 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
9.754 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.754 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)))) into 0
9.754 * [backup-simplify]: Simplify 0 into 0
9.755 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.755 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.756 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.756 * [backup-simplify]: Simplify 0 into 0
9.757 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.757 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.758 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.758 * [backup-simplify]: Simplify 0 into 0
9.759 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.759 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.760 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.760 * [backup-simplify]: Simplify 0 into 0
9.761 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.762 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.762 * [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
9.762 * [backup-simplify]: Simplify 0 into 0
9.763 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.764 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.764 * [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
9.764 * [backup-simplify]: Simplify 0 into 0
9.765 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow (/ 1 (/ 1 t)) 2)) into (* (pow t 2) (sqrt 3.9999999999999997e-32))
9.765 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow (/ 1 (- t)) 2)) into (/ (sqrt 3.9999999999999997e-32) (pow t 2))
9.765 * [approximate]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in (t) around 0
9.765 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t
9.765 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
9.765 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
9.765 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
9.766 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
9.766 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.766 * [taylor]: Taking taylor expansion of (pow t 2) in t
9.766 * [taylor]: Taking taylor expansion of t in t
9.766 * [backup-simplify]: Simplify 0 into 0
9.766 * [backup-simplify]: Simplify 1 into 1
9.766 * [backup-simplify]: Simplify (* 1 1) into 1
9.767 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32)
9.767 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t
9.767 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
9.767 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
9.767 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
9.767 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
9.768 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.768 * [taylor]: Taking taylor expansion of (pow t 2) in t
9.768 * [taylor]: Taking taylor expansion of t in t
9.768 * [backup-simplify]: Simplify 0 into 0
9.768 * [backup-simplify]: Simplify 1 into 1
9.768 * [backup-simplify]: Simplify (* 1 1) into 1
9.769 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32)
9.769 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
9.769 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.770 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)))) into 0
9.770 * [backup-simplify]: Simplify 0 into 0
9.770 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.771 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.772 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.772 * [backup-simplify]: Simplify 0 into 0
9.772 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.773 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.774 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.774 * [backup-simplify]: Simplify 0 into 0
9.774 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.775 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.776 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.776 * [backup-simplify]: Simplify 0 into 0
9.777 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.777 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.778 * [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
9.778 * [backup-simplify]: Simplify 0 into 0
9.779 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
9.780 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.780 * [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
9.780 * [backup-simplify]: Simplify 0 into 0
9.781 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow (/ 1 (/ 1 (- t))) 2)) into (* (pow t 2) (sqrt 3.9999999999999997e-32))
9.781 * * * [progress]: simplifying candidates
9.782 * [simplify]: Simplifying:
  (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)))
  (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))
  (* (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))
  (* (pow t 2) (sqrt 3.9999999999999997e-32))
  (* (pow t 2) (sqrt 3.9999999999999997e-32))
  (* (pow t 2) (sqrt 3.9999999999999997e-32))
9.783 * * [simplify]: Extracting # 0 : cost  0
9.783 * * [simplify]: Extracting # 1 : cost  0
9.784 * * [simplify]: Extracting # 2 : cost  0
9.784 * * [simplify]: Extracting # 3 : cost  0
9.784 * * [simplify]: Extracting # 4 : cost  0
9.784 * * [simplify]: Extracting # 5 : cost  0
9.784 * * [simplify]: Extracting # 6 : cost  0
9.784 * * [simplify]: iteration  0 :  78  enodes  (cost  685 )
9.805 * * [simplify]: Extracting # 0 : cost  0
9.805 * * [simplify]: Extracting # 1 : cost  0
9.805 * * [simplify]: Extracting # 2 : cost  0
9.805 * * [simplify]: Extracting # 3 : cost  0
9.806 * * [simplify]: Extracting # 4 : cost  0
9.806 * * [simplify]: iteration  1 :  186  enodes  (cost  610 )
9.952 * * [simplify]: Extracting # 0 : cost  0
9.958 * * [simplify]: Extracting # 1 : cost  0
9.960 * * [simplify]: Extracting # 2 : cost  0
9.961 * * [simplify]: Extracting # 3 : cost  0
9.963 * * [simplify]: Extracting # 4 : cost  0
9.964 * * [simplify]: iteration  2 :  1002  enodes  (cost  473 )
10.509 * * [simplify]: Extracting # 0 : cost  0
10.521 * * [simplify]: Extracting # 1 : cost  0
10.527 * * [simplify]: Extracting # 2 : cost  0
10.537 * * [simplify]: Extracting # 3 : cost  0
10.542 * * [simplify]: Extracting # 4 : cost  0
10.548 * * [simplify]: Extracting # 5 : cost  0
10.553 * * [simplify]: iteration done:  5001  enodes  (cost  455 )
10.554 * [simplify]: Simplified to:
  (expm1 (* (pow t 2) 3.9999999999999997e-32))
  (log1p (* (pow t 2) 3.9999999999999997e-32))
  (* (* 3.9999999999999997e-32 t) t)
  (log (* 3.9999999999999997e-32 (pow t 2)))
  (log (* 3.9999999999999997e-32 (pow t 2)))
  (log (* 3.9999999999999997e-32 (pow t 2)))
  (log (* 3.9999999999999997e-32 (pow t 2)))
  (log (* 3.9999999999999997e-32 (pow t 2)))
  (exp (* 3.9999999999999997e-32 (pow t 2)))
  (pow (* (pow t 2) 3.9999999999999997e-32) 3)
  (pow (* (pow t 2) 3.9999999999999997e-32) 3)
  (* (cbrt (* 3.9999999999999997e-32 (pow t 2))) (cbrt (* 3.9999999999999997e-32 (pow t 2))))
  (cbrt (* 3.9999999999999997e-32 (pow t 2)))
  (pow (* (pow t 2) 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)))
  (* (* 3.9999999999999997e-32 t) t)
  (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2)))
  (* (* 3.9999999999999997e-32 t) t)
  (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)))
  (* t (sqrt (sqrt 3.9999999999999997e-32)))
  (* t (sqrt (sqrt 3.9999999999999997e-32)))
  (* t (sqrt (sqrt 3.9999999999999997e-32)))
  (* t (sqrt (sqrt 3.9999999999999997e-32)))
  (* (fabs t) (sqrt (sqrt 3.9999999999999997e-32)))
  (* (fabs 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 (sqrt (sqrt 3.9999999999999997e-32)))
  (* t (sqrt (sqrt 3.9999999999999997e-32)))
  (* (fabs t) (sqrt (sqrt 3.9999999999999997e-32)))
  (* (fabs t) (sqrt (sqrt 3.9999999999999997e-32)))
  (* t (sqrt (sqrt 3.9999999999999997e-32)))
  (* t (sqrt (sqrt 3.9999999999999997e-32)))
  (* (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))
  (* (* 3.9999999999999997e-32 t) t)
  (* (* 3.9999999999999997e-32 t) t)
  (* (* 3.9999999999999997e-32 t) t)
  (* (pow t 2) (sqrt 3.9999999999999997e-32))
  (* (pow t 2) (sqrt 3.9999999999999997e-32))
  (* (pow t 2) (sqrt 3.9999999999999997e-32))
10.554 * * * [progress]: adding candidates to table
10.701 * [progress]: [Phase 3 of 3] Extracting.
10.701 * * [regime]: Finding splitpoints for: (#<alt (λ (t) (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2)))))> #<alt (λ (t) (* (* 3.9999999999999997e-32 t) (pow t (/ 2 2))))> #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (* t (sqrt (sqrt 3.9999999999999997e-32))) (* t (sqrt (sqrt 3.9999999999999997e-32))))))> #<alt (λ (t) (* (* (* (cbrt t) (cbrt t)) (* 3.9999999999999997e-32 t)) (cbrt (pow t (/ 2 2)))))> #<alt (λ (t) (* (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))))> #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (* (fabs t) (sqrt 3.9999999999999997e-32)) (sqrt (pow t 2)))))>)
10.702 * * * [regime-changes]: Trying 1 branch expressions: (t)
10.702 * * * * [regimes]: Trying to branch on t from (#<alt (λ (t) (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (pow t 2)))))> #<alt (λ (t) (* (* 3.9999999999999997e-32 t) (pow t (/ 2 2))))> #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (* t (sqrt (sqrt 3.9999999999999997e-32))) (* t (sqrt (sqrt 3.9999999999999997e-32))))))> #<alt (λ (t) (* (* (* (cbrt t) (cbrt t)) (* 3.9999999999999997e-32 t)) (cbrt (pow t (/ 2 2)))))> #<alt (λ (t) (* (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))))> #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (* (fabs t) (sqrt 3.9999999999999997e-32)) (sqrt (pow t 2)))))>)
10.723 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
10.724 * [simplify]: Simplifying:
  (* (* 3.9999999999999997e-32 t) (pow t (/ 2 2)))
10.724 * * [simplify]: Extracting # 0 : cost  0
10.724 * * [simplify]: Extracting # 1 : cost  0
10.724 * * [simplify]: Extracting # 2 : cost  0
10.724 * * [simplify]: Extracting # 3 : cost  0
10.724 * * [simplify]: Extracting # 4 : cost  0
10.724 * * [simplify]: iteration  0 :  7  enodes  (cost  9 )
10.725 * * [simplify]: Extracting # 0 : cost  0
10.725 * * [simplify]: Extracting # 1 : cost  0
10.725 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
10.726 * * [simplify]: Extracting # 0 : cost  0
10.726 * * [simplify]: Extracting # 1 : cost  0
10.726 * * [simplify]: iteration  2 :  14  enodes  (cost  5 )
10.727 * * [simplify]: Extracting # 0 : cost  0
10.727 * * [simplify]: iteration  3 :  18  enodes  (cost  5 )
10.728 * * [simplify]: Extracting # 0 : cost  0
10.728 * * [simplify]: iteration  4 :  20  enodes  (cost  5 )
10.729 * * [simplify]: Extracting # 0 : cost  0
10.729 * * [simplify]: iteration done:  20  enodes  (cost  5 )
10.729 * [simplify]: Simplified to:
  (* t (* 3.9999999999999997e-32 t))
12.502 * [regime-testing]: Baseline error score: 0.31703962995374424
12.504 * [regime-testing]: Oracle error score: 0.020502562820352545
12.511 * [regime-testing]: End program error score: 0.31703962995374424
12.563 * [regime-testing]: Target error score: 50.562450748398504