0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.065 * * * [progress]: [2/2] Setting up program.
0.068 * [progress]: [Phase 2 of 3] Improving.
0.068 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (t) (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16)))))>
0.068 * [simplify]: Simplifying:
  (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16))))
0.068 * * [simplify]: iteration 1: (11 enodes)
0.072 * * [simplify]: iteration 2: (52 enodes)
0.084 * * [simplify]: iteration 3: (117 enodes)
0.129 * * [simplify]: iteration 4: (300 enodes)
0.238 * * [simplify]: iteration 5: (824 enodes)
1.039 * * [simplify]: Extracting #0: cost 1 inf + 0
1.040 * * [simplify]: Extracting #1: cost 131 inf + 0
1.044 * * [simplify]: Extracting #2: cost 516 inf + 1059
1.066 * * [simplify]: Extracting #3: cost 213 inf + 50262
1.102 * * [simplify]: Extracting #4: cost 3 inf + 85069
1.130 * * [simplify]: Extracting #5: cost 0 inf + 84878
1.160 * [simplify]: Simplified to:
  (fma (fma t 2e-16 1) (fma t 2e-16 1) (- -1 (* (* 2e-16 t) 2)))
1.168 * * [progress]: iteration 1 / 4
1.168 * * * [progress]: picking best candidate
1.171 * * * * [pick]: Picked  #<alt (λ (t) (fma (fma t 2e-16 1) (fma t 2e-16 1) (- -1 (* (* 2e-16 t) 2))))>
1.171 * * * [progress]: localizing error
1.194 * * * [progress]: generating rewritten candidates
1.194 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.195 * * * [progress]: generating series expansions
1.195 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.195 * [backup-simplify]: Simplify (fma (fma t 2e-16 1) (fma t 2e-16 1) (- -1 (* (* 2e-16 t) 2))) into (fma (fma t 2e-16 1) (fma t 2e-16 1) (- (+ (* 4e-16 t) 1)))
1.195 * [approximate]: Taking taylor expansion of (fma (fma t 2e-16 1) (fma t 2e-16 1) (- (+ (* 4e-16 t) 1))) in (t) around 0
1.195 * [taylor]: Taking taylor expansion of (fma (fma t 2e-16 1) (fma t 2e-16 1) (- (+ (* 4e-16 t) 1))) in t
1.195 * [taylor]: Rewrote expression to (+ (* (fma t 2e-16 1) (fma t 2e-16 1)) (- (+ (* 4e-16 t) 1)))
1.195 * [taylor]: Taking taylor expansion of (* (fma t 2e-16 1) (fma t 2e-16 1)) in t
1.195 * [taylor]: Taking taylor expansion of (fma t 2e-16 1) in t
1.195 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1)
1.195 * [taylor]: Taking taylor expansion of (* t 2e-16) in t
1.195 * [taylor]: Taking taylor expansion of t in t
1.195 * [backup-simplify]: Simplify 0 into 0
1.195 * [backup-simplify]: Simplify 1 into 1
1.195 * [taylor]: Taking taylor expansion of 2e-16 in t
1.195 * [backup-simplify]: Simplify 2e-16 into 2e-16
1.195 * [taylor]: Taking taylor expansion of 1 in t
1.195 * [backup-simplify]: Simplify 1 into 1
1.195 * [taylor]: Taking taylor expansion of (fma t 2e-16 1) in t
1.195 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1)
1.195 * [taylor]: Taking taylor expansion of (* t 2e-16) in t
1.195 * [taylor]: Taking taylor expansion of t in t
1.195 * [backup-simplify]: Simplify 0 into 0
1.195 * [backup-simplify]: Simplify 1 into 1
1.195 * [taylor]: Taking taylor expansion of 2e-16 in t
1.195 * [backup-simplify]: Simplify 2e-16 into 2e-16
1.195 * [taylor]: Taking taylor expansion of 1 in t
1.195 * [backup-simplify]: Simplify 1 into 1
1.195 * [taylor]: Taking taylor expansion of (- (+ (* 4e-16 t) 1)) in t
1.195 * [taylor]: Taking taylor expansion of (+ (* 4e-16 t) 1) in t
1.195 * [taylor]: Taking taylor expansion of (* 4e-16 t) in t
1.195 * [taylor]: Taking taylor expansion of 4e-16 in t
1.195 * [backup-simplify]: Simplify 4e-16 into 4e-16
1.195 * [taylor]: Taking taylor expansion of t in t
1.195 * [backup-simplify]: Simplify 0 into 0
1.195 * [backup-simplify]: Simplify 1 into 1
1.195 * [taylor]: Taking taylor expansion of 1 in t
1.195 * [backup-simplify]: Simplify 1 into 1
1.195 * [taylor]: Taking taylor expansion of (fma (fma t 2e-16 1) (fma t 2e-16 1) (- (+ (* 4e-16 t) 1))) in t
1.195 * [taylor]: Rewrote expression to (+ (* (fma t 2e-16 1) (fma t 2e-16 1)) (- (+ (* 4e-16 t) 1)))
1.196 * [taylor]: Taking taylor expansion of (* (fma t 2e-16 1) (fma t 2e-16 1)) in t
1.196 * [taylor]: Taking taylor expansion of (fma t 2e-16 1) in t
1.196 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1)
1.196 * [taylor]: Taking taylor expansion of (* t 2e-16) in t
1.196 * [taylor]: Taking taylor expansion of t in t
1.196 * [backup-simplify]: Simplify 0 into 0
1.196 * [backup-simplify]: Simplify 1 into 1
1.196 * [taylor]: Taking taylor expansion of 2e-16 in t
1.196 * [backup-simplify]: Simplify 2e-16 into 2e-16
1.196 * [taylor]: Taking taylor expansion of 1 in t
1.196 * [backup-simplify]: Simplify 1 into 1
1.196 * [taylor]: Taking taylor expansion of (fma t 2e-16 1) in t
1.196 * [taylor]: Rewrote expression to (+ (* t 2e-16) 1)
1.196 * [taylor]: Taking taylor expansion of (* t 2e-16) in t
1.196 * [taylor]: Taking taylor expansion of t in t
1.196 * [backup-simplify]: Simplify 0 into 0
1.196 * [backup-simplify]: Simplify 1 into 1
1.196 * [taylor]: Taking taylor expansion of 2e-16 in t
1.196 * [backup-simplify]: Simplify 2e-16 into 2e-16
1.196 * [taylor]: Taking taylor expansion of 1 in t
1.196 * [backup-simplify]: Simplify 1 into 1
1.196 * [taylor]: Taking taylor expansion of (- (+ (* 4e-16 t) 1)) in t
1.196 * [taylor]: Taking taylor expansion of (+ (* 4e-16 t) 1) in t
1.196 * [taylor]: Taking taylor expansion of (* 4e-16 t) in t
1.196 * [taylor]: Taking taylor expansion of 4e-16 in t
1.196 * [backup-simplify]: Simplify 4e-16 into 4e-16
1.196 * [taylor]: Taking taylor expansion of t in t
1.196 * [backup-simplify]: Simplify 0 into 0
1.196 * [backup-simplify]: Simplify 1 into 1
1.196 * [taylor]: Taking taylor expansion of 1 in t
1.196 * [backup-simplify]: Simplify 1 into 1
1.197 * [backup-simplify]: Simplify (* 0 2e-16) into 0
1.197 * [backup-simplify]: Simplify (+ 0 1) into 1
1.197 * [backup-simplify]: Simplify (* 0 2e-16) into 0
1.197 * [backup-simplify]: Simplify (+ 0 1) into 1
1.198 * [backup-simplify]: Simplify (* 1 1) into 1
1.198 * [backup-simplify]: Simplify (* 4e-16 0) into 0
1.198 * [backup-simplify]: Simplify (+ 0 1) into 1
1.199 * [backup-simplify]: Simplify (- 1) into -1
1.199 * [backup-simplify]: Simplify (+ 1 -1) into 0
1.199 * [backup-simplify]: Simplify 0 into 0
1.200 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 2e-16)) into 2e-16
1.200 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16
1.201 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 2e-16)) into 2e-16
1.201 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16
1.203 * [backup-simplify]: Simplify (+ (* 1 2e-16) (* 2e-16 1)) into 4e-16
1.204 * [backup-simplify]: Simplify (+ (* 4e-16 1) (* 0 0)) into 4e-16
1.205 * [backup-simplify]: Simplify (+ 4e-16 0) into 4e-16
1.205 * [backup-simplify]: Simplify (- 4e-16) into (- 4e-16)
1.206 * [backup-simplify]: Simplify (+ 4e-16 (- 4e-16)) into 0
1.206 * [backup-simplify]: Simplify 0 into 0
1.207 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 2e-16))) into 0
1.207 * [backup-simplify]: Simplify (+ 0 0) into 0
1.208 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 2e-16))) into 0
1.209 * [backup-simplify]: Simplify (+ 0 0) into 0
1.211 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 2e-16 2e-16) (* 0 1))) into 3.9999999999999997e-32
1.212 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 1) (* 0 0))) into 0
1.213 * [backup-simplify]: Simplify (+ 0 0) into 0
1.213 * [backup-simplify]: Simplify (- 0) into 0
1.213 * [backup-simplify]: Simplify (+ 3.9999999999999997e-32 0) into 3.9999999999999997e-32
1.213 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
1.214 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 2e-16)))) into 0
1.215 * [backup-simplify]: Simplify (+ 0 0) into 0
1.216 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 2e-16)))) into 0
1.216 * [backup-simplify]: Simplify (+ 0 0) into 0
1.218 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 2e-16 0) (+ (* 0 2e-16) (* 0 1)))) into 0
1.219 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.219 * [backup-simplify]: Simplify (+ 0 0) into 0
1.219 * [backup-simplify]: Simplify (- 0) into 0
1.220 * [backup-simplify]: Simplify (+ 0 0) into 0
1.220 * [backup-simplify]: Simplify 0 into 0
1.221 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
1.221 * [backup-simplify]: Simplify (+ 0 0) into 0
1.223 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
1.223 * [backup-simplify]: Simplify (+ 0 0) into 0
1.224 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1))))) into 0
1.226 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1.226 * [backup-simplify]: Simplify (+ 0 0) into 0
1.226 * [backup-simplify]: Simplify (- 0) into 0
1.227 * [backup-simplify]: Simplify (+ 0 0) into 0
1.227 * [backup-simplify]: Simplify 0 into 0
1.228 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
1.228 * [backup-simplify]: Simplify (+ 0 0) into 0
1.230 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
1.230 * [backup-simplify]: Simplify (+ 0 0) into 0
1.231 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1)))))) into 0
1.232 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1.232 * [backup-simplify]: Simplify (+ 0 0) into 0
1.232 * [backup-simplify]: Simplify (- 0) into 0
1.233 * [backup-simplify]: Simplify (+ 0 0) into 0
1.233 * [backup-simplify]: Simplify 0 into 0
1.234 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0
1.234 * [backup-simplify]: Simplify (+ 0 0) into 0
1.235 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0
1.235 * [backup-simplify]: Simplify (+ 0 0) into 0
1.236 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1))))))) into 0
1.237 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
1.237 * [backup-simplify]: Simplify (+ 0 0) into 0
1.238 * [backup-simplify]: Simplify (- 0) into 0
1.238 * [backup-simplify]: Simplify (+ 0 0) into 0
1.238 * [backup-simplify]: Simplify 0 into 0
1.239 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))))) into 0
1.239 * [backup-simplify]: Simplify (+ 0 0) into 0
1.240 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))))) into 0
1.240 * [backup-simplify]: Simplify (+ 0 0) into 0
1.242 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1)))))))) into 0
1.243 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
1.243 * [backup-simplify]: Simplify (+ 0 0) into 0
1.243 * [backup-simplify]: Simplify (- 0) into 0
1.246 * [backup-simplify]: Simplify (+ 0 0) into 0
1.247 * [backup-simplify]: Simplify 0 into 0
1.248 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))))) into 0
1.248 * [backup-simplify]: Simplify (+ 0 0) into 0
1.249 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))))) into 0
1.250 * [backup-simplify]: Simplify (+ 0 0) into 0
1.251 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2e-16) (* 0 1))))))))) into 0
1.252 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
1.252 * [backup-simplify]: Simplify (+ 0 0) into 0
1.253 * [backup-simplify]: Simplify (- 0) into 0
1.253 * [backup-simplify]: Simplify (+ 0 0) into 0
1.253 * [backup-simplify]: Simplify 0 into 0
1.253 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
1.253 * [backup-simplify]: Simplify (fma (fma (/ 1 t) 2e-16 1) (fma (/ 1 t) 2e-16 1) (- -1 (* (* 2e-16 (/ 1 t)) 2))) into (fma (fma (/ 1 t) 2e-16 1) (fma (/ 1 t) 2e-16 1) (- (+ (* 4e-16 (/ 1 t)) 1)))
1.253 * [approximate]: Taking taylor expansion of (fma (fma (/ 1 t) 2e-16 1) (fma (/ 1 t) 2e-16 1) (- (+ (* 4e-16 (/ 1 t)) 1))) in (t) around 0
1.253 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 t) 2e-16 1) (fma (/ 1 t) 2e-16 1) (- (+ (* 4e-16 (/ 1 t)) 1))) in t
1.253 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 t) 2e-16 1) (fma (/ 1 t) 2e-16 1)) (- (+ (* 4e-16 (/ 1 t)) 1)))
1.253 * [taylor]: Taking taylor expansion of (* (fma (/ 1 t) 2e-16 1) (fma (/ 1 t) 2e-16 1)) in t
1.253 * [taylor]: Taking taylor expansion of (fma (/ 1 t) 2e-16 1) in t
1.253 * [taylor]: Rewrote expression to (+ (* (/ 1 t) 2e-16) 1)
1.253 * [taylor]: Taking taylor expansion of (* (/ 1 t) 2e-16) in t
1.253 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.253 * [taylor]: Taking taylor expansion of t in t
1.253 * [backup-simplify]: Simplify 0 into 0
1.253 * [backup-simplify]: Simplify 1 into 1
1.254 * [backup-simplify]: Simplify (/ 1 1) into 1
1.254 * [taylor]: Taking taylor expansion of 2e-16 in t
1.254 * [backup-simplify]: Simplify 2e-16 into 2e-16
1.254 * [taylor]: Taking taylor expansion of 1 in t
1.254 * [backup-simplify]: Simplify 1 into 1
1.254 * [taylor]: Taking taylor expansion of (fma (/ 1 t) 2e-16 1) in t
1.254 * [taylor]: Rewrote expression to (+ (* (/ 1 t) 2e-16) 1)
1.254 * [taylor]: Taking taylor expansion of (* (/ 1 t) 2e-16) in t
1.254 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.254 * [taylor]: Taking taylor expansion of t in t
1.254 * [backup-simplify]: Simplify 0 into 0
1.254 * [backup-simplify]: Simplify 1 into 1
1.254 * [backup-simplify]: Simplify (/ 1 1) into 1
1.254 * [taylor]: Taking taylor expansion of 2e-16 in t
1.254 * [backup-simplify]: Simplify 2e-16 into 2e-16
1.254 * [taylor]: Taking taylor expansion of 1 in t
1.254 * [backup-simplify]: Simplify 1 into 1
1.254 * [taylor]: Taking taylor expansion of (- (+ (* 4e-16 (/ 1 t)) 1)) in t
1.254 * [taylor]: Taking taylor expansion of (+ (* 4e-16 (/ 1 t)) 1) in t
1.254 * [taylor]: Taking taylor expansion of (* 4e-16 (/ 1 t)) in t
1.254 * [taylor]: Taking taylor expansion of 4e-16 in t
1.254 * [backup-simplify]: Simplify 4e-16 into 4e-16
1.254 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.254 * [taylor]: Taking taylor expansion of t in t
1.254 * [backup-simplify]: Simplify 0 into 0
1.254 * [backup-simplify]: Simplify 1 into 1
1.255 * [backup-simplify]: Simplify (/ 1 1) into 1
1.255 * [taylor]: Taking taylor expansion of 1 in t
1.255 * [backup-simplify]: Simplify 1 into 1
1.255 * [taylor]: Taking taylor expansion of (fma (fma (/ 1 t) 2e-16 1) (fma (/ 1 t) 2e-16 1) (- (+ (* 4e-16 (/ 1 t)) 1))) in t
1.255 * [taylor]: Rewrote expression to (+ (* (fma (/ 1 t) 2e-16 1) (fma (/ 1 t) 2e-16 1)) (- (+ (* 4e-16 (/ 1 t)) 1)))
1.255 * [taylor]: Taking taylor expansion of (* (fma (/ 1 t) 2e-16 1) (fma (/ 1 t) 2e-16 1)) in t
1.255 * [taylor]: Taking taylor expansion of (fma (/ 1 t) 2e-16 1) in t
1.255 * [taylor]: Rewrote expression to (+ (* (/ 1 t) 2e-16) 1)
1.255 * [taylor]: Taking taylor expansion of (* (/ 1 t) 2e-16) in t
1.255 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.255 * [taylor]: Taking taylor expansion of t in t
1.255 * [backup-simplify]: Simplify 0 into 0
1.255 * [backup-simplify]: Simplify 1 into 1
1.255 * [backup-simplify]: Simplify (/ 1 1) into 1
1.255 * [taylor]: Taking taylor expansion of 2e-16 in t
1.255 * [backup-simplify]: Simplify 2e-16 into 2e-16
1.255 * [taylor]: Taking taylor expansion of 1 in t
1.255 * [backup-simplify]: Simplify 1 into 1
1.255 * [taylor]: Taking taylor expansion of (fma (/ 1 t) 2e-16 1) in t
1.255 * [taylor]: Rewrote expression to (+ (* (/ 1 t) 2e-16) 1)
1.255 * [taylor]: Taking taylor expansion of (* (/ 1 t) 2e-16) in t
1.255 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.255 * [taylor]: Taking taylor expansion of t in t
1.255 * [backup-simplify]: Simplify 0 into 0
1.255 * [backup-simplify]: Simplify 1 into 1
1.256 * [backup-simplify]: Simplify (/ 1 1) into 1
1.256 * [taylor]: Taking taylor expansion of 2e-16 in t
1.256 * [backup-simplify]: Simplify 2e-16 into 2e-16
1.256 * [taylor]: Taking taylor expansion of 1 in t
1.256 * [backup-simplify]: Simplify 1 into 1
1.256 * [taylor]: Taking taylor expansion of (- (+ (* 4e-16 (/ 1 t)) 1)) in t
1.256 * [taylor]: Taking taylor expansion of (+ (* 4e-16 (/ 1 t)) 1) in t
1.256 * [taylor]: Taking taylor expansion of (* 4e-16 (/ 1 t)) in t
1.256 * [taylor]: Taking taylor expansion of 4e-16 in t
1.256 * [backup-simplify]: Simplify 4e-16 into 4e-16
1.256 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.256 * [taylor]: Taking taylor expansion of t in t
1.256 * [backup-simplify]: Simplify 0 into 0
1.256 * [backup-simplify]: Simplify 1 into 1
1.256 * [backup-simplify]: Simplify (/ 1 1) into 1
1.256 * [taylor]: Taking taylor expansion of 1 in t
1.256 * [backup-simplify]: Simplify 1 into 1
1.256 * [backup-simplify]: Simplify (* 1 2e-16) into 2e-16
1.257 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16
1.257 * [backup-simplify]: Simplify (* 1 2e-16) into 2e-16
1.258 * [backup-simplify]: Simplify (+ 2e-16 0) into 2e-16
1.258 * [backup-simplify]: Simplify (* 2e-16 2e-16) into 3.9999999999999997e-32
1.258 * [backup-simplify]: Simplify (+ 3.9999999999999997e-32 0) into 3.9999999999999997e-32
1.258 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
1.259 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.259 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 2e-16)) into 0
1.259 * [backup-simplify]: Simplify (+ 0 1) into 1
1.260 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.260 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 2e-16)) into 0
1.261 * [backup-simplify]: Simplify (+ 0 1) into 1
1.261 * [backup-simplify]: Simplify (+ (* 2e-16 1) (* 1 2e-16)) into 4e-16
1.262 * [backup-simplify]: Simplify (* 4e-16 1) into 4e-16
1.262 * [backup-simplify]: Simplify (+ 4e-16 0) into 4e-16
1.263 * [backup-simplify]: Simplify (- 4e-16) into (- 4e-16)
1.263 * [backup-simplify]: Simplify (+ 4e-16 (- 4e-16)) into 0
1.263 * [backup-simplify]: Simplify 0 into 0
1.264 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.265 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 2e-16))) into 0
1.266 * [backup-simplify]: Simplify (+ 0 0) into 0
1.267 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.267 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 2e-16))) into 0
1.268 * [backup-simplify]: Simplify (+ 0 0) into 0
1.269 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1 1) (* 0 2e-16))) into 1
1.270 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.270 * [backup-simplify]: Simplify (+ (* 4e-16 0) (* 0 1)) into 0
1.271 * [backup-simplify]: Simplify (+ 0 1) into 1
1.271 * [backup-simplify]: Simplify (- 1) into -1
1.271 * [backup-simplify]: Simplify (+ 1 -1) into 0
1.271 * [backup-simplify]: Simplify 0 into 0
1.272 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.273 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))) into 0
1.274 * [backup-simplify]: Simplify (+ 0 0) into 0
1.274 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.275 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))) into 0
1.275 * [backup-simplify]: Simplify (+ 0 0) into 0
1.276 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1 0) (+ (* 0 1) (* 0 2e-16)))) into 0
1.276 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.277 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (* 0 1))) into 0
1.277 * [backup-simplify]: Simplify (+ 0 0) into 0
1.278 * [backup-simplify]: Simplify (- 0) into 0
1.278 * [backup-simplify]: Simplify (+ 0 0) into 0
1.278 * [backup-simplify]: Simplify 0 into 0
1.278 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.279 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
1.279 * [backup-simplify]: Simplify (+ 0 0) into 0
1.280 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.281 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
1.281 * [backup-simplify]: Simplify (+ 0 0) into 0
1.282 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 2e-16))))) into 0
1.282 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.283 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.283 * [backup-simplify]: Simplify (+ 0 0) into 0
1.284 * [backup-simplify]: Simplify (- 0) into 0
1.284 * [backup-simplify]: Simplify (+ 0 0) into 0
1.284 * [backup-simplify]: Simplify 0 into 0
1.284 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.285 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
1.286 * [backup-simplify]: Simplify (+ 0 0) into 0
1.286 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.287 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
1.287 * [backup-simplify]: Simplify (+ 0 0) into 0
1.289 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 2e-16)))))) into 0
1.290 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.291 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.291 * [backup-simplify]: Simplify (+ 0 0) into 0
1.292 * [backup-simplify]: Simplify (- 0) into 0
1.292 * [backup-simplify]: Simplify (+ 0 0) into 0
1.292 * [backup-simplify]: Simplify 0 into 0
1.293 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.294 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0
1.295 * [backup-simplify]: Simplify (+ 0 0) into 0
1.296 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.297 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0
1.298 * [backup-simplify]: Simplify (+ 0 0) into 0
1.300 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 2e-16))))))) into 0
1.301 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.302 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.302 * [backup-simplify]: Simplify (+ 0 0) into 0
1.303 * [backup-simplify]: Simplify (- 0) into 0
1.303 * [backup-simplify]: Simplify (+ 0 0) into 0
1.303 * [backup-simplify]: Simplify 0 into 0
1.303 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
1.304 * [backup-simplify]: Simplify (fma (fma (/ 1 (- t)) 2e-16 1) (fma (/ 1 (- t)) 2e-16 1) (- -1 (* (* 2e-16 (/ 1 (- t))) 2))) into (fma (fma (/ -1 t) 2e-16 1) (fma (/ -1 t) 2e-16 1) (- (* 4e-16 (/ 1 t)) 1))
1.304 * [approximate]: Taking taylor expansion of (fma (fma (/ -1 t) 2e-16 1) (fma (/ -1 t) 2e-16 1) (- (* 4e-16 (/ 1 t)) 1)) in (t) around 0
1.304 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 t) 2e-16 1) (fma (/ -1 t) 2e-16 1) (- (* 4e-16 (/ 1 t)) 1)) in t
1.304 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 t) 2e-16 1) (fma (/ -1 t) 2e-16 1)) (- (* 4e-16 (/ 1 t)) 1))
1.304 * [taylor]: Taking taylor expansion of (* (fma (/ -1 t) 2e-16 1) (fma (/ -1 t) 2e-16 1)) in t
1.304 * [taylor]: Taking taylor expansion of (fma (/ -1 t) 2e-16 1) in t
1.304 * [taylor]: Rewrote expression to (+ (* (/ -1 t) 2e-16) 1)
1.304 * [taylor]: Taking taylor expansion of (* (/ -1 t) 2e-16) in t
1.304 * [taylor]: Taking taylor expansion of (/ -1 t) in t
1.304 * [taylor]: Taking taylor expansion of -1 in t
1.304 * [backup-simplify]: Simplify -1 into -1
1.304 * [taylor]: Taking taylor expansion of t in t
1.304 * [backup-simplify]: Simplify 0 into 0
1.304 * [backup-simplify]: Simplify 1 into 1
1.305 * [backup-simplify]: Simplify (/ -1 1) into -1
1.305 * [taylor]: Taking taylor expansion of 2e-16 in t
1.305 * [backup-simplify]: Simplify 2e-16 into 2e-16
1.305 * [taylor]: Taking taylor expansion of 1 in t
1.305 * [backup-simplify]: Simplify 1 into 1
1.305 * [taylor]: Taking taylor expansion of (fma (/ -1 t) 2e-16 1) in t
1.305 * [taylor]: Rewrote expression to (+ (* (/ -1 t) 2e-16) 1)
1.305 * [taylor]: Taking taylor expansion of (* (/ -1 t) 2e-16) in t
1.305 * [taylor]: Taking taylor expansion of (/ -1 t) in t
1.305 * [taylor]: Taking taylor expansion of -1 in t
1.305 * [backup-simplify]: Simplify -1 into -1
1.305 * [taylor]: Taking taylor expansion of t in t
1.305 * [backup-simplify]: Simplify 0 into 0
1.305 * [backup-simplify]: Simplify 1 into 1
1.305 * [backup-simplify]: Simplify (/ -1 1) into -1
1.305 * [taylor]: Taking taylor expansion of 2e-16 in t
1.305 * [backup-simplify]: Simplify 2e-16 into 2e-16
1.306 * [taylor]: Taking taylor expansion of 1 in t
1.306 * [backup-simplify]: Simplify 1 into 1
1.306 * [taylor]: Taking taylor expansion of (- (* 4e-16 (/ 1 t)) 1) in t
1.306 * [taylor]: Taking taylor expansion of (* 4e-16 (/ 1 t)) in t
1.306 * [taylor]: Taking taylor expansion of 4e-16 in t
1.306 * [backup-simplify]: Simplify 4e-16 into 4e-16
1.306 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.306 * [taylor]: Taking taylor expansion of t in t
1.306 * [backup-simplify]: Simplify 0 into 0
1.306 * [backup-simplify]: Simplify 1 into 1
1.306 * [backup-simplify]: Simplify (/ 1 1) into 1
1.306 * [taylor]: Taking taylor expansion of 1 in t
1.306 * [backup-simplify]: Simplify 1 into 1
1.306 * [taylor]: Taking taylor expansion of (fma (fma (/ -1 t) 2e-16 1) (fma (/ -1 t) 2e-16 1) (- (* 4e-16 (/ 1 t)) 1)) in t
1.306 * [taylor]: Rewrote expression to (+ (* (fma (/ -1 t) 2e-16 1) (fma (/ -1 t) 2e-16 1)) (- (* 4e-16 (/ 1 t)) 1))
1.306 * [taylor]: Taking taylor expansion of (* (fma (/ -1 t) 2e-16 1) (fma (/ -1 t) 2e-16 1)) in t
1.306 * [taylor]: Taking taylor expansion of (fma (/ -1 t) 2e-16 1) in t
1.306 * [taylor]: Rewrote expression to (+ (* (/ -1 t) 2e-16) 1)
1.306 * [taylor]: Taking taylor expansion of (* (/ -1 t) 2e-16) in t
1.306 * [taylor]: Taking taylor expansion of (/ -1 t) in t
1.306 * [taylor]: Taking taylor expansion of -1 in t
1.306 * [backup-simplify]: Simplify -1 into -1
1.307 * [taylor]: Taking taylor expansion of t in t
1.307 * [backup-simplify]: Simplify 0 into 0
1.307 * [backup-simplify]: Simplify 1 into 1
1.307 * [backup-simplify]: Simplify (/ -1 1) into -1
1.307 * [taylor]: Taking taylor expansion of 2e-16 in t
1.307 * [backup-simplify]: Simplify 2e-16 into 2e-16
1.307 * [taylor]: Taking taylor expansion of 1 in t
1.307 * [backup-simplify]: Simplify 1 into 1
1.307 * [taylor]: Taking taylor expansion of (fma (/ -1 t) 2e-16 1) in t
1.307 * [taylor]: Rewrote expression to (+ (* (/ -1 t) 2e-16) 1)
1.308 * [taylor]: Taking taylor expansion of (* (/ -1 t) 2e-16) in t
1.308 * [taylor]: Taking taylor expansion of (/ -1 t) in t
1.308 * [taylor]: Taking taylor expansion of -1 in t
1.308 * [backup-simplify]: Simplify -1 into -1
1.308 * [taylor]: Taking taylor expansion of t in t
1.308 * [backup-simplify]: Simplify 0 into 0
1.308 * [backup-simplify]: Simplify 1 into 1
1.308 * [backup-simplify]: Simplify (/ -1 1) into -1
1.308 * [taylor]: Taking taylor expansion of 2e-16 in t
1.308 * [backup-simplify]: Simplify 2e-16 into 2e-16
1.308 * [taylor]: Taking taylor expansion of 1 in t
1.308 * [backup-simplify]: Simplify 1 into 1
1.308 * [taylor]: Taking taylor expansion of (- (* 4e-16 (/ 1 t)) 1) in t
1.308 * [taylor]: Taking taylor expansion of (* 4e-16 (/ 1 t)) in t
1.308 * [taylor]: Taking taylor expansion of 4e-16 in t
1.308 * [backup-simplify]: Simplify 4e-16 into 4e-16
1.308 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.308 * [taylor]: Taking taylor expansion of t in t
1.308 * [backup-simplify]: Simplify 0 into 0
1.308 * [backup-simplify]: Simplify 1 into 1
1.309 * [backup-simplify]: Simplify (/ 1 1) into 1
1.309 * [taylor]: Taking taylor expansion of 1 in t
1.309 * [backup-simplify]: Simplify 1 into 1
1.309 * [backup-simplify]: Simplify (* -1 2e-16) into -2e-16
1.310 * [backup-simplify]: Simplify (+ -2e-16 0) into (- 2e-16)
1.310 * [backup-simplify]: Simplify (* -1 2e-16) into -2e-16
1.311 * [backup-simplify]: Simplify (+ -2e-16 0) into (- 2e-16)
1.312 * [backup-simplify]: Simplify (* (- 2e-16) (- 2e-16)) into 3.9999999999999997e-32
1.312 * [backup-simplify]: Simplify (+ 3.9999999999999997e-32 0) into 3.9999999999999997e-32
1.312 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
1.313 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1.314 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 2e-16)) into 0
1.314 * [backup-simplify]: Simplify (+ 0 1) into 1
1.316 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1.316 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 2e-16)) into 0
1.317 * [backup-simplify]: Simplify (+ 0 1) into 1
1.319 * [backup-simplify]: Simplify (+ (* (- 2e-16) 1) (* 1 (- 2e-16))) into (- 4e-16)
1.320 * [backup-simplify]: Simplify (* 4e-16 1) into 4e-16
1.320 * [backup-simplify]: Simplify (+ 4e-16 0) into 4e-16
1.321 * [backup-simplify]: Simplify (+ (- 4e-16) 4e-16) into 0
1.321 * [backup-simplify]: Simplify 0 into 0
1.322 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.323 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 2e-16))) into 0
1.323 * [backup-simplify]: Simplify (+ 0 0) into 0
1.324 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.325 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 2e-16))) into 0
1.326 * [backup-simplify]: Simplify (+ 0 0) into 0
1.327 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1 1) (* 0 (- 2e-16)))) into 1
1.327 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.328 * [backup-simplify]: Simplify (+ (* 4e-16 0) (* 0 1)) into 0
1.328 * [backup-simplify]: Simplify (- 1) into -1
1.329 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.329 * [backup-simplify]: Simplify (+ 1 -1) into 0
1.329 * [backup-simplify]: Simplify 0 into 0
1.330 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.331 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))) into 0
1.331 * [backup-simplify]: Simplify (+ 0 0) into 0
1.332 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.332 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))) into 0
1.333 * [backup-simplify]: Simplify (+ 0 0) into 0
1.333 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1 0) (+ (* 0 1) (* 0 (- 2e-16))))) into 0
1.334 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.335 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (* 0 1))) into 0
1.335 * [backup-simplify]: Simplify (- 0) into 0
1.335 * [backup-simplify]: Simplify (+ 0 0) into 0
1.336 * [backup-simplify]: Simplify (+ 0 0) into 0
1.336 * [backup-simplify]: Simplify 0 into 0
1.336 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.337 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
1.337 * [backup-simplify]: Simplify (+ 0 0) into 0
1.338 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.339 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))) into 0
1.339 * [backup-simplify]: Simplify (+ 0 0) into 0
1.340 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- 2e-16)))))) into 0
1.341 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.341 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.342 * [backup-simplify]: Simplify (- 0) into 0
1.342 * [backup-simplify]: Simplify (+ 0 0) into 0
1.342 * [backup-simplify]: Simplify (+ 0 0) into 0
1.342 * [backup-simplify]: Simplify 0 into 0
1.343 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.344 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
1.344 * [backup-simplify]: Simplify (+ 0 0) into 0
1.345 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.345 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16)))))) into 0
1.346 * [backup-simplify]: Simplify (+ 0 0) into 0
1.347 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- 2e-16))))))) into 0
1.347 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.348 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.348 * [backup-simplify]: Simplify (- 0) into 0
1.349 * [backup-simplify]: Simplify (+ 0 0) into 0
1.349 * [backup-simplify]: Simplify (+ 0 0) into 0
1.349 * [backup-simplify]: Simplify 0 into 0
1.350 * [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
1.350 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0
1.351 * [backup-simplify]: Simplify (+ 0 0) into 0
1.353 * [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
1.354 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2e-16))))))) into 0
1.354 * [backup-simplify]: Simplify (+ 0 0) into 0
1.356 * [backup-simplify]: Simplify (+ (* (- 2e-16) 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (- 2e-16)))))))) into 0
1.356 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.357 * [backup-simplify]: Simplify (+ (* 4e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.358 * [backup-simplify]: Simplify (- 0) into 0
1.358 * [backup-simplify]: Simplify (+ 0 0) into 0
1.358 * [backup-simplify]: Simplify (+ 0 0) into 0
1.358 * [backup-simplify]: Simplify 0 into 0
1.358 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
1.358 * * * [progress]: simplifying candidates
1.358 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (t) (log1p (expm1 (fma (fma t 2e-16 1) (fma t 2e-16 1) (- -1 (* (* 2e-16 t) 2))))))>
1.358 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (t) (expm1 (log1p (fma (fma t 2e-16 1) (fma t 2e-16 1) (- -1 (* (* 2e-16 t) 2))))))>
1.358 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (t) (+ (* (fma t 2e-16 1) (fma t 2e-16 1)) (- -1 (* (* 2e-16 t) 2))))>
1.358 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (t) (pow (fma (fma t 2e-16 1) (fma t 2e-16 1) (- -1 (* (* 2e-16 t) 2))) 1))>
1.358 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (t) (exp (log (fma (fma t 2e-16 1) (fma t 2e-16 1) (- -1 (* (* 2e-16 t) 2))))))>
1.359 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (t) (log (exp (fma (fma t 2e-16 1) (fma t 2e-16 1) (- -1 (* (* 2e-16 t) 2))))))>
1.359 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt (fma (fma t 2e-16 1) (fma t 2e-16 1) (- -1 (* (* 2e-16 t) 2)))) (cbrt (fma (fma t 2e-16 1) (fma t 2e-16 1) (- -1 (* (* 2e-16 t) 2))))) (cbrt (fma (fma t 2e-16 1) (fma t 2e-16 1) (- -1 (* (* 2e-16 t) 2))))))>
1.359 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (fma (fma t 2e-16 1) (fma t 2e-16 1) (- -1 (* (* 2e-16 t) 2))) (fma (fma t 2e-16 1) (fma t 2e-16 1) (- -1 (* (* 2e-16 t) 2)))) (fma (fma t 2e-16 1) (fma t 2e-16 1) (- -1 (* (* 2e-16 t) 2))))))>
1.359 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (t) (* (sqrt (fma (fma t 2e-16 1) (fma t 2e-16 1) (- -1 (* (* 2e-16 t) 2)))) (sqrt (fma (fma t 2e-16 1) (fma t 2e-16 1) (- -1 (* (* 2e-16 t) 2))))))>
1.359 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (t) (* 1 (fma (fma t 2e-16 1) (fma t 2e-16 1) (- -1 (* (* 2e-16 t) 2)))))>
1.359 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (fma (fma t 2e-16 1) (fma t 2e-16 1) (- -1 (* (* 2e-16 t) 2))))))>
1.359 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
1.359 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
1.359 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
1.359 * [simplify]: Simplifying:
  (expm1 (fma (fma t 2e-16 1) (fma t 2e-16 1) (- -1 (* (* 2e-16 t) 2))))
  (log1p (fma (fma t 2e-16 1) (fma t 2e-16 1) (- -1 (* (* 2e-16 t) 2))))
  (* (fma t 2e-16 1) (fma t 2e-16 1))
  (log (fma (fma t 2e-16 1) (fma t 2e-16 1) (- -1 (* (* 2e-16 t) 2))))
  (exp (fma (fma t 2e-16 1) (fma t 2e-16 1) (- -1 (* (* 2e-16 t) 2))))
  (* (cbrt (fma (fma t 2e-16 1) (fma t 2e-16 1) (- -1 (* (* 2e-16 t) 2)))) (cbrt (fma (fma t 2e-16 1) (fma t 2e-16 1) (- -1 (* (* 2e-16 t) 2)))))
  (cbrt (fma (fma t 2e-16 1) (fma t 2e-16 1) (- -1 (* (* 2e-16 t) 2))))
  (* (* (fma (fma t 2e-16 1) (fma t 2e-16 1) (- -1 (* (* 2e-16 t) 2))) (fma (fma t 2e-16 1) (fma t 2e-16 1) (- -1 (* (* 2e-16 t) 2)))) (fma (fma t 2e-16 1) (fma t 2e-16 1) (- -1 (* (* 2e-16 t) 2))))
  (sqrt (fma (fma t 2e-16 1) (fma t 2e-16 1) (- -1 (* (* 2e-16 t) 2))))
  (sqrt (fma (fma t 2e-16 1) (fma t 2e-16 1) (- -1 (* (* 2e-16 t) 2))))
  (real->posit16 (fma (fma t 2e-16 1) (fma t 2e-16 1) (- -1 (* (* 2e-16 t) 2))))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
1.359 * * [simplify]: iteration 1: (24 enodes)
1.365 * * [simplify]: iteration 2: (85 enodes)
1.380 * * [simplify]: iteration 3: (147 enodes)
1.416 * * [simplify]: iteration 4: (363 enodes)
1.578 * * [simplify]: iteration 5: (1528 enodes)
5.107 * * [simplify]: Extracting #0: cost 11 inf + 0
5.107 * * [simplify]: Extracting #1: cost 174 inf + 0
5.114 * * [simplify]: Extracting #2: cost 2193 inf + 1600
5.209 * * [simplify]: Extracting #3: cost 1822 inf + 314299
5.518 * * [simplify]: Extracting #4: cost 105 inf + 924206
5.913 * * [simplify]: Extracting #5: cost 2 inf + 924498
6.346 * * [simplify]: Extracting #6: cost 0 inf + 919127
6.768 * [simplify]: Simplified to:
  (expm1 (fma (fma 2e-16 t 1) (fma 2e-16 t 1) (- -1 (* (* t 2) 2e-16))))
  (log1p (fma (fma 2e-16 t 1) (fma 2e-16 t 1) (- -1 (* (* t 2) 2e-16))))
  (* (fma 2e-16 t 1) (fma 2e-16 t 1))
  (log (fma (fma 2e-16 t 1) (fma 2e-16 t 1) (- -1 (* (* t 2) 2e-16))))
  (exp (fma (fma 2e-16 t 1) (fma 2e-16 t 1) (- -1 (* (* t 2) 2e-16))))
  (* (cbrt (fma (fma 2e-16 t 1) (fma 2e-16 t 1) (- -1 (* (* t 2) 2e-16)))) (cbrt (fma (fma 2e-16 t 1) (fma 2e-16 t 1) (- -1 (* (* t 2) 2e-16)))))
  (cbrt (fma (fma 2e-16 t 1) (fma 2e-16 t 1) (- -1 (* (* t 2) 2e-16))))
  (* (* (fma (fma 2e-16 t 1) (fma 2e-16 t 1) (- -1 (* (* t 2) 2e-16))) (fma (fma 2e-16 t 1) (fma 2e-16 t 1) (- -1 (* (* t 2) 2e-16)))) (fma (fma 2e-16 t 1) (fma 2e-16 t 1) (- -1 (* (* t 2) 2e-16))))
  (sqrt (fma (fma 2e-16 t 1) (fma 2e-16 t 1) (- -1 (* (* t 2) 2e-16))))
  (sqrt (fma (fma 2e-16 t 1) (fma 2e-16 t 1) (- -1 (* (* t 2) 2e-16))))
  (real->posit16 (fma (fma 2e-16 t 1) (fma 2e-16 t 1) (- -1 (* (* t 2) 2e-16))))
  (* 3.9999999999999997e-32 (* t t))
  (* 3.9999999999999997e-32 (* t t))
  (* 3.9999999999999997e-32 (* t t))
6.769 * * * [progress]: adding candidates to table
6.871 * * [progress]: iteration 2 / 4
6.871 * * * [progress]: picking best candidate
6.873 * * * * [pick]: Picked  #<alt (λ (t) (* 3.9999999999999997e-32 (* t t)))>
6.873 * * * [progress]: localizing error
6.881 * * * [progress]: generating rewritten candidates
6.881 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
6.895 * * * [progress]: generating series expansions
6.895 * * * * [progress]: [ 1 / 1 ] generating series at (2)
6.895 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (* t t)) into (* 3.9999999999999997e-32 (pow t 2))
6.895 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
6.895 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
6.895 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
6.895 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
6.895 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.895 * [taylor]: Taking taylor expansion of t in t
6.895 * [backup-simplify]: Simplify 0 into 0
6.895 * [backup-simplify]: Simplify 1 into 1
6.895 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
6.895 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
6.895 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
6.895 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.895 * [taylor]: Taking taylor expansion of t in t
6.895 * [backup-simplify]: Simplify 0 into 0
6.895 * [backup-simplify]: Simplify 1 into 1
6.896 * [backup-simplify]: Simplify (* 1 1) into 1
6.896 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
6.896 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
6.897 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.897 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
6.897 * [backup-simplify]: Simplify 0 into 0
6.898 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.899 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
6.899 * [backup-simplify]: Simplify 0 into 0
6.899 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.900 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.900 * [backup-simplify]: Simplify 0 into 0
6.901 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.901 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.902 * [backup-simplify]: Simplify 0 into 0
6.902 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.903 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.903 * [backup-simplify]: Simplify 0 into 0
6.904 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.905 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.905 * [backup-simplify]: Simplify 0 into 0
6.905 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
6.905 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (* (/ 1 t) (/ 1 t))) into (/ 3.9999999999999997e-32 (pow t 2))
6.905 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
6.905 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
6.905 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
6.905 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
6.905 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.906 * [taylor]: Taking taylor expansion of t in t
6.906 * [backup-simplify]: Simplify 0 into 0
6.906 * [backup-simplify]: Simplify 1 into 1
6.906 * [backup-simplify]: Simplify (* 1 1) into 1
6.906 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
6.906 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
6.906 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
6.906 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
6.906 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.906 * [taylor]: Taking taylor expansion of t in t
6.906 * [backup-simplify]: Simplify 0 into 0
6.906 * [backup-simplify]: Simplify 1 into 1
6.906 * [backup-simplify]: Simplify (* 1 1) into 1
6.907 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
6.907 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
6.907 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.908 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
6.908 * [backup-simplify]: Simplify 0 into 0
6.908 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.909 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.909 * [backup-simplify]: Simplify 0 into 0
6.910 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.910 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.910 * [backup-simplify]: Simplify 0 into 0
6.911 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.912 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.912 * [backup-simplify]: Simplify 0 into 0
6.913 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.913 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.913 * [backup-simplify]: Simplify 0 into 0
6.914 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.915 * [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
6.915 * [backup-simplify]: Simplify 0 into 0
6.915 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
6.915 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (* (/ 1 (- t)) (/ 1 (- t)))) into (/ 3.9999999999999997e-32 (pow t 2))
6.915 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
6.915 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
6.915 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
6.915 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
6.915 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.915 * [taylor]: Taking taylor expansion of t in t
6.915 * [backup-simplify]: Simplify 0 into 0
6.915 * [backup-simplify]: Simplify 1 into 1
6.916 * [backup-simplify]: Simplify (* 1 1) into 1
6.916 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
6.916 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
6.916 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
6.916 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
6.916 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.916 * [taylor]: Taking taylor expansion of t in t
6.916 * [backup-simplify]: Simplify 0 into 0
6.916 * [backup-simplify]: Simplify 1 into 1
6.916 * [backup-simplify]: Simplify (* 1 1) into 1
6.916 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
6.917 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
6.917 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.918 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
6.918 * [backup-simplify]: Simplify 0 into 0
6.918 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.919 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.919 * [backup-simplify]: Simplify 0 into 0
6.919 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.920 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.920 * [backup-simplify]: Simplify 0 into 0
6.921 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.921 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.922 * [backup-simplify]: Simplify 0 into 0
6.922 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.923 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.923 * [backup-simplify]: Simplify 0 into 0
6.924 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.925 * [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
6.925 * [backup-simplify]: Simplify 0 into 0
6.925 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
6.925 * * * [progress]: simplifying candidates
6.925 * * * * [progress]: [ 1 / 25 ] simplifiying candidate #<alt (λ (t) (log1p (expm1 (* 3.9999999999999997e-32 (* t t)))))>
6.925 * * * * [progress]: [ 2 / 25 ] simplifiying candidate #<alt (λ (t) (expm1 (log1p (* 3.9999999999999997e-32 (* t t)))))>
6.925 * * * * [progress]: [ 3 / 25 ] simplifiying candidate #<alt (λ (t) (pow (* 3.9999999999999997e-32 (* t t)) 1))>
6.925 * * * * [progress]: [ 4 / 25 ] simplifiying candidate #<alt (λ (t) (pow (* 3.9999999999999997e-32 (* t t)) 1))>
6.925 * * * * [progress]: [ 5 / 25 ] simplifiying candidate #<alt (λ (t) (pow (* 3.9999999999999997e-32 (* t t)) 1))>
6.925 * * * * [progress]: [ 6 / 25 ] simplifiying candidate #<alt (λ (t) (exp (+ (log 3.9999999999999997e-32) (+ (log t) (log t)))))>
6.925 * * * * [progress]: [ 7 / 25 ] simplifiying candidate #<alt (λ (t) (exp (+ (log 3.9999999999999997e-32) (log (* t t)))))>
6.925 * * * * [progress]: [ 8 / 25 ] simplifiying candidate #<alt (λ (t) (exp (log (* 3.9999999999999997e-32 (* t t)))))>
6.925 * * * * [progress]: [ 9 / 25 ] simplifiying candidate #<alt (λ (t) (log (exp (* 3.9999999999999997e-32 (* t t)))))>
6.925 * * * * [progress]: [ 10 / 25 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* (* t t) t) (* (* t t) t)))))>
6.925 * * * * [progress]: [ 11 / 25 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* (* t t) (* t t)) (* t t)))))>
6.925 * * * * [progress]: [ 12 / 25 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt (* 3.9999999999999997e-32 (* t t))) (cbrt (* 3.9999999999999997e-32 (* t t)))) (cbrt (* 3.9999999999999997e-32 (* t t)))))>
6.925 * * * * [progress]: [ 13 / 25 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* 3.9999999999999997e-32 (* t t)) (* 3.9999999999999997e-32 (* t t))) (* 3.9999999999999997e-32 (* t t)))))>
6.925 * * * * [progress]: [ 14 / 25 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* 3.9999999999999997e-32 (* t t))) (sqrt (* 3.9999999999999997e-32 (* t t)))))>
6.925 * * * * [progress]: [ 15 / 25 ] simplifiying candidate #<alt (λ (t) (* 1 (* 3.9999999999999997e-32 (* t t))))>
6.925 * * * * [progress]: [ 16 / 25 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt 3.9999999999999997e-32) t) (* (sqrt 3.9999999999999997e-32) t)))>
6.925 * * * * [progress]: [ 17 / 25 ] simplifiying candidate #<alt (λ (t) (* (* 3.9999999999999997e-32 t) t))>
6.925 * * * * [progress]: [ 18 / 25 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt 3.9999999999999997e-32) (cbrt 3.9999999999999997e-32)) (* (cbrt 3.9999999999999997e-32) (* t t))))>
6.926 * * * * [progress]: [ 19 / 25 ] simplifiying candidate #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))))>
6.926 * * * * [progress]: [ 20 / 25 ] simplifiying candidate #<alt (λ (t) (* 1 (* 3.9999999999999997e-32 (* t t))))>
6.926 * * * * [progress]: [ 21 / 25 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* 3.9999999999999997e-32 (* t t)))))>
6.926 * * * * [progress]: [ 22 / 25 ] simplifiying candidate #<alt (λ (t) (* (* t t) 3.9999999999999997e-32))>
6.926 * * * * [progress]: [ 23 / 25 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
6.926 * * * * [progress]: [ 24 / 25 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
6.926 * * * * [progress]: [ 25 / 25 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
6.926 * [simplify]: Simplifying:
  (expm1 (* 3.9999999999999997e-32 (* t t)))
  (log1p (* 3.9999999999999997e-32 (* t t)))
  (* 3.9999999999999997e-32 (* t t))
  (* 3.9999999999999997e-32 (* t t))
  (+ (log 3.9999999999999997e-32) (+ (log t) (log t)))
  (+ (log 3.9999999999999997e-32) (log (* t t)))
  (log (* 3.9999999999999997e-32 (* t t)))
  (exp (* 3.9999999999999997e-32 (* t t)))
  (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* (* t t) t) (* (* t t) t)))
  (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* (* t t) (* t t)) (* t t)))
  (* (cbrt (* 3.9999999999999997e-32 (* t t))) (cbrt (* 3.9999999999999997e-32 (* t t))))
  (cbrt (* 3.9999999999999997e-32 (* t t)))
  (* (* (* 3.9999999999999997e-32 (* t t)) (* 3.9999999999999997e-32 (* t t))) (* 3.9999999999999997e-32 (* t t)))
  (sqrt (* 3.9999999999999997e-32 (* t t)))
  (sqrt (* 3.9999999999999997e-32 (* t t)))
  (* (sqrt 3.9999999999999997e-32) t)
  (* (sqrt 3.9999999999999997e-32) t)
  (* 3.9999999999999997e-32 t)
  (* (cbrt 3.9999999999999997e-32) (* t t))
  (* (sqrt 3.9999999999999997e-32) (* t t))
  (* 3.9999999999999997e-32 (* t t))
  (real->posit16 (* 3.9999999999999997e-32 (* t t)))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
6.926 * * [simplify]: iteration 1: (37 enodes)
6.944 * * [simplify]: iteration 2: (151 enodes)
6.991 * * [simplify]: iteration 3: (347 enodes)
7.157 * * [simplify]: iteration 4: (651 enodes)
7.593 * * [simplify]: iteration 5: (1565 enodes)
10.622 * * [simplify]: Extracting #0: cost 14 inf + 0
10.623 * * [simplify]: Extracting #1: cost 259 inf + 0
10.631 * * [simplify]: Extracting #2: cost 892 inf + 3501
10.648 * * [simplify]: Extracting #3: cost 800 inf + 28088
10.699 * * [simplify]: Extracting #4: cost 402 inf + 178075
10.777 * * [simplify]: Extracting #5: cost 39 inf + 360841
10.858 * * [simplify]: Extracting #6: cost 2 inf + 372351
10.936 * * [simplify]: Extracting #7: cost 0 inf + 372457
11.041 * [simplify]: Simplified to:
  (expm1 (* (* t t) 3.9999999999999997e-32))
  (log1p (* (* t t) 3.9999999999999997e-32))
  (* (* t t) 3.9999999999999997e-32)
  (* (* t t) 3.9999999999999997e-32)
  (log (* (* t t) 3.9999999999999997e-32))
  (log (* (* t t) 3.9999999999999997e-32))
  (log (* (* t t) 3.9999999999999997e-32))
  (exp (* (* t t) 3.9999999999999997e-32))
  (* (* (* t t) 3.9999999999999997e-32) (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)))
  (* (* (* t t) 3.9999999999999997e-32) (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)))
  (* (cbrt (* (* t t) 3.9999999999999997e-32)) (cbrt (* (* t t) 3.9999999999999997e-32)))
  (cbrt (* (* t t) 3.9999999999999997e-32))
  (* (* (* t t) 3.9999999999999997e-32) (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)))
  (sqrt (* (* t t) 3.9999999999999997e-32))
  (sqrt (* (* t t) 3.9999999999999997e-32))
  (* t (sqrt 3.9999999999999997e-32))
  (* t (sqrt 3.9999999999999997e-32))
  (* 3.9999999999999997e-32 t)
  (* (cbrt 3.9999999999999997e-32) (* t t))
  (* (sqrt 3.9999999999999997e-32) (* t t))
  (* (* t t) 3.9999999999999997e-32)
  (real->posit16 (* (* t t) 3.9999999999999997e-32))
  (* (* t t) 3.9999999999999997e-32)
  (* (* t t) 3.9999999999999997e-32)
  (* (* t t) 3.9999999999999997e-32)
11.042 * * * [progress]: adding candidates to table
11.225 * * [progress]: iteration 3 / 4
11.225 * * * [progress]: picking best candidate
11.244 * * * * [pick]: Picked  #<alt (λ (t) (* (* 3.9999999999999997e-32 t) t))>
11.244 * * * [progress]: localizing error
11.252 * * * [progress]: generating rewritten candidates
11.252 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
11.267 * * * [progress]: generating series expansions
11.267 * * * * [progress]: [ 1 / 1 ] generating series at (2)
11.267 * [backup-simplify]: Simplify (* (* 3.9999999999999997e-32 t) t) into (* 3.9999999999999997e-32 (pow t 2))
11.267 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
11.267 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
11.267 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
11.267 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
11.267 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.267 * [taylor]: Taking taylor expansion of t in t
11.267 * [backup-simplify]: Simplify 0 into 0
11.267 * [backup-simplify]: Simplify 1 into 1
11.267 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
11.267 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
11.267 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
11.267 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.267 * [taylor]: Taking taylor expansion of t in t
11.267 * [backup-simplify]: Simplify 0 into 0
11.267 * [backup-simplify]: Simplify 1 into 1
11.268 * [backup-simplify]: Simplify (* 1 1) into 1
11.268 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
11.268 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
11.269 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.269 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
11.269 * [backup-simplify]: Simplify 0 into 0
11.270 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.270 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
11.270 * [backup-simplify]: Simplify 0 into 0
11.271 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.272 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.272 * [backup-simplify]: Simplify 0 into 0
11.272 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.273 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.273 * [backup-simplify]: Simplify 0 into 0
11.274 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.276 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.276 * [backup-simplify]: Simplify 0 into 0
11.278 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.279 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.279 * [backup-simplify]: Simplify 0 into 0
11.280 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
11.280 * [backup-simplify]: Simplify (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t)) into (/ 3.9999999999999997e-32 (pow t 2))
11.280 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
11.280 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
11.280 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
11.280 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
11.280 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.280 * [taylor]: Taking taylor expansion of t in t
11.280 * [backup-simplify]: Simplify 0 into 0
11.280 * [backup-simplify]: Simplify 1 into 1
11.280 * [backup-simplify]: Simplify (* 1 1) into 1
11.281 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
11.281 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
11.281 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
11.281 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
11.281 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.281 * [taylor]: Taking taylor expansion of t in t
11.281 * [backup-simplify]: Simplify 0 into 0
11.281 * [backup-simplify]: Simplify 1 into 1
11.281 * [backup-simplify]: Simplify (* 1 1) into 1
11.282 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
11.282 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
11.283 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.284 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
11.284 * [backup-simplify]: Simplify 0 into 0
11.285 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.286 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.286 * [backup-simplify]: Simplify 0 into 0
11.287 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.288 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.288 * [backup-simplify]: Simplify 0 into 0
11.289 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.291 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.291 * [backup-simplify]: Simplify 0 into 0
11.292 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.293 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.293 * [backup-simplify]: Simplify 0 into 0
11.295 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.296 * [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
11.296 * [backup-simplify]: Simplify 0 into 0
11.296 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
11.297 * [backup-simplify]: Simplify (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t))) into (/ 3.9999999999999997e-32 (pow t 2))
11.297 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
11.297 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
11.297 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
11.297 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
11.297 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.297 * [taylor]: Taking taylor expansion of t in t
11.297 * [backup-simplify]: Simplify 0 into 0
11.297 * [backup-simplify]: Simplify 1 into 1
11.297 * [backup-simplify]: Simplify (* 1 1) into 1
11.298 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
11.298 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
11.298 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
11.298 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
11.298 * [taylor]: Taking taylor expansion of (pow t 2) in t
11.298 * [taylor]: Taking taylor expansion of t in t
11.298 * [backup-simplify]: Simplify 0 into 0
11.298 * [backup-simplify]: Simplify 1 into 1
11.298 * [backup-simplify]: Simplify (* 1 1) into 1
11.299 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
11.299 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
11.300 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.301 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
11.301 * [backup-simplify]: Simplify 0 into 0
11.302 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.303 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.303 * [backup-simplify]: Simplify 0 into 0
11.304 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.305 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.305 * [backup-simplify]: Simplify 0 into 0
11.306 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.307 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.307 * [backup-simplify]: Simplify 0 into 0
11.308 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.309 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.309 * [backup-simplify]: Simplify 0 into 0
11.311 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.312 * [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
11.312 * [backup-simplify]: Simplify 0 into 0
11.312 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
11.312 * * * [progress]: simplifying candidates
11.312 * * * * [progress]: [ 1 / 24 ] simplifiying candidate #<alt (λ (t) (log1p (expm1 (* (* 3.9999999999999997e-32 t) t))))>
11.312 * * * * [progress]: [ 2 / 24 ] simplifiying candidate #<alt (λ (t) (expm1 (log1p (* (* 3.9999999999999997e-32 t) t))))>
11.312 * * * * [progress]: [ 3 / 24 ] simplifiying candidate #<alt (λ (t) (pow (* (* 3.9999999999999997e-32 t) t) 1))>
11.313 * * * * [progress]: [ 4 / 24 ] simplifiying candidate #<alt (λ (t) (pow (* (* 3.9999999999999997e-32 t) t) 1))>
11.313 * * * * [progress]: [ 5 / 24 ] simplifiying candidate #<alt (λ (t) (pow (* (* 3.9999999999999997e-32 t) t) 1))>
11.313 * * * * [progress]: [ 6 / 24 ] simplifiying candidate #<alt (λ (t) (exp (+ (+ (log 3.9999999999999997e-32) (log t)) (log t))))>
11.313 * * * * [progress]: [ 7 / 24 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (* 3.9999999999999997e-32 t)) (log t))))>
11.313 * * * * [progress]: [ 8 / 24 ] simplifiying candidate #<alt (λ (t) (exp (log (* (* 3.9999999999999997e-32 t) t))))>
11.313 * * * * [progress]: [ 9 / 24 ] simplifiying candidate #<alt (λ (t) (log (exp (* (* 3.9999999999999997e-32 t) t))))>
11.313 * * * * [progress]: [ 10 / 24 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* t t) t)) (* (* t t) t))))>
11.313 * * * * [progress]: [ 11 / 24 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* 3.9999999999999997e-32 t) (* 3.9999999999999997e-32 t)) (* 3.9999999999999997e-32 t)) (* (* t t) t))))>
11.313 * * * * [progress]: [ 12 / 24 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt (* (* 3.9999999999999997e-32 t) t)) (cbrt (* (* 3.9999999999999997e-32 t) t))) (cbrt (* (* 3.9999999999999997e-32 t) t))))>
11.313 * * * * [progress]: [ 13 / 24 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (* 3.9999999999999997e-32 t) t) (* (* 3.9999999999999997e-32 t) t)) (* (* 3.9999999999999997e-32 t) t))))>
11.313 * * * * [progress]: [ 14 / 24 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* (* 3.9999999999999997e-32 t) t)) (sqrt (* (* 3.9999999999999997e-32 t) t))))>
11.313 * * * * [progress]: [ 15 / 24 ] simplifiying candidate #<alt (λ (t) (* 1 (* (* 3.9999999999999997e-32 t) t)))>
11.313 * * * * [progress]: [ 16 / 24 ] simplifiying candidate #<alt (λ (t) (* (* (* 3.9999999999999997e-32 t) (* (cbrt t) (cbrt t))) (cbrt t)))>
11.313 * * * * [progress]: [ 17 / 24 ] simplifiying candidate #<alt (λ (t) (* (* (* 3.9999999999999997e-32 t) (sqrt t)) (sqrt t)))>
11.313 * * * * [progress]: [ 18 / 24 ] simplifiying candidate #<alt (λ (t) (* (* (* 3.9999999999999997e-32 t) 1) t))>
11.313 * * * * [progress]: [ 19 / 24 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (* t t)))>
11.313 * * * * [progress]: [ 20 / 24 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* (* 3.9999999999999997e-32 t) t))))>
11.313 * * * * [progress]: [ 21 / 24 ] simplifiying candidate #<alt (λ (t) (* t (* 3.9999999999999997e-32 t)))>
11.314 * * * * [progress]: [ 22 / 24 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
11.314 * * * * [progress]: [ 23 / 24 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
11.314 * * * * [progress]: [ 24 / 24 ] simplifiying candidate #<alt (λ (t) (* 3.9999999999999997e-32 (pow t 2)))>
11.314 * [simplify]: Simplifying:
  (expm1 (* (* 3.9999999999999997e-32 t) t))
  (log1p (* (* 3.9999999999999997e-32 t) t))
  (* (* 3.9999999999999997e-32 t) t)
  (* (* 3.9999999999999997e-32 t) t)
  (+ (+ (log 3.9999999999999997e-32) (log t)) (log t))
  (+ (log (* 3.9999999999999997e-32 t)) (log t))
  (log (* (* 3.9999999999999997e-32 t) t))
  (exp (* (* 3.9999999999999997e-32 t) t))
  (* (* (* (* 3.9999999999999997e-32 3.9999999999999997e-32) 3.9999999999999997e-32) (* (* t t) t)) (* (* t t) t))
  (* (* (* (* 3.9999999999999997e-32 t) (* 3.9999999999999997e-32 t)) (* 3.9999999999999997e-32 t)) (* (* t t) t))
  (* (cbrt (* (* 3.9999999999999997e-32 t) t)) (cbrt (* (* 3.9999999999999997e-32 t) t)))
  (cbrt (* (* 3.9999999999999997e-32 t) t))
  (* (* (* (* 3.9999999999999997e-32 t) t) (* (* 3.9999999999999997e-32 t) t)) (* (* 3.9999999999999997e-32 t) t))
  (sqrt (* (* 3.9999999999999997e-32 t) t))
  (sqrt (* (* 3.9999999999999997e-32 t) t))
  (* (* 3.9999999999999997e-32 t) (* (cbrt t) (cbrt t)))
  (* (* 3.9999999999999997e-32 t) (sqrt t))
  (* (* 3.9999999999999997e-32 t) 1)
  (* t t)
  (real->posit16 (* (* 3.9999999999999997e-32 t) t))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
11.315 * * [simplify]: iteration 1: (39 enodes)
11.333 * * [simplify]: iteration 2: (166 enodes)
11.391 * * [simplify]: iteration 3: (427 enodes)
11.597 * * [simplify]: iteration 4: (777 enodes)
12.034 * * [simplify]: iteration 5: (1297 enodes)
13.991 * * [simplify]: Extracting #0: cost 14 inf + 0
13.992 * * [simplify]: Extracting #1: cost 221 inf + 0
13.996 * * [simplify]: Extracting #2: cost 832 inf + 3033
14.004 * * [simplify]: Extracting #3: cost 779 inf + 21643
14.048 * * [simplify]: Extracting #4: cost 427 inf + 142885
14.128 * * [simplify]: Extracting #5: cost 100 inf + 307276
14.198 * * [simplify]: Extracting #6: cost 8 inf + 360107
14.269 * * [simplify]: Extracting #7: cost 0 inf + 363136
14.370 * [simplify]: Simplified to:
  (expm1 (* (* 3.9999999999999997e-32 t) t))
  (log1p (* (* 3.9999999999999997e-32 t) t))
  (* (* 3.9999999999999997e-32 t) t)
  (* (* 3.9999999999999997e-32 t) t)
  (log (* (* 3.9999999999999997e-32 t) t))
  (log (* (* 3.9999999999999997e-32 t) t))
  (log (* (* 3.9999999999999997e-32 t) t))
  (exp (* (* 3.9999999999999997e-32 t) t))
  (* (* (* 3.9999999999999997e-32 t) t) (* (* (* 3.9999999999999997e-32 t) t) (* (* 3.9999999999999997e-32 t) t)))
  (* (* (* 3.9999999999999997e-32 t) t) (* (* (* 3.9999999999999997e-32 t) t) (* (* 3.9999999999999997e-32 t) t)))
  (* (cbrt (* (* 3.9999999999999997e-32 t) t)) (cbrt (* (* 3.9999999999999997e-32 t) t)))
  (cbrt (* (* 3.9999999999999997e-32 t) t))
  (* (* (* 3.9999999999999997e-32 t) t) (* (* (* 3.9999999999999997e-32 t) t) (* (* 3.9999999999999997e-32 t) t)))
  (sqrt (* (* 3.9999999999999997e-32 t) t))
  (sqrt (* (* 3.9999999999999997e-32 t) t))
  (* (* t (cbrt t)) (* 3.9999999999999997e-32 (cbrt t)))
  (* (sqrt t) (* 3.9999999999999997e-32 t))
  (* 3.9999999999999997e-32 t)
  (* t t)
  (real->posit16 (* (* 3.9999999999999997e-32 t) t))
  (* (* 3.9999999999999997e-32 t) t)
  (* (* 3.9999999999999997e-32 t) t)
  (* (* 3.9999999999999997e-32 t) t)
14.372 * * * [progress]: adding candidates to table
14.571 * * [progress]: iteration 4 / 4
14.571 * * * [progress]: picking best candidate
14.593 * * * * [pick]: Picked  #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))))>
14.593 * * * [progress]: localizing error
14.613 * * * [progress]: generating rewritten candidates
14.613 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
14.664 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
14.680 * * * [progress]: generating series expansions
14.680 * * * * [progress]: [ 1 / 2 ] generating series at (2)
14.681 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
14.681 * [approximate]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) in (t) around 0
14.681 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) in t
14.681 * [taylor]: Taking taylor expansion of (pow t 2) in t
14.681 * [taylor]: Taking taylor expansion of t in t
14.681 * [backup-simplify]: Simplify 0 into 0
14.681 * [backup-simplify]: Simplify 1 into 1
14.681 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
14.681 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
14.681 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
14.681 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
14.682 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
14.683 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.683 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)) in t
14.683 * [taylor]: Taking taylor expansion of (pow t 2) in t
14.683 * [taylor]: Taking taylor expansion of t in t
14.683 * [backup-simplify]: Simplify 0 into 0
14.683 * [backup-simplify]: Simplify 1 into 1
14.683 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
14.683 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
14.683 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
14.683 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
14.684 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
14.685 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.685 * [backup-simplify]: Simplify (* 1 1) into 1
14.686 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
14.688 * [backup-simplify]: Simplify (* 1 (pow (sqrt 3.9999999999999997e-32) 2)) into (pow (sqrt 3.9999999999999997e-32) 2)
14.689 * [backup-simplify]: Simplify (pow (sqrt 3.9999999999999997e-32) 2) into (pow (sqrt 3.9999999999999997e-32) 2)
14.690 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
14.691 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.692 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))) into 0
14.692 * [backup-simplify]: Simplify 0 into 0
14.696 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.698 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
14.699 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.700 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))) into 0
14.700 * [backup-simplify]: Simplify 0 into 0
14.702 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.703 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
14.704 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.706 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))))) into 0
14.706 * [backup-simplify]: Simplify 0 into 0
14.707 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.709 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
14.710 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.712 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))))) into 0
14.712 * [backup-simplify]: Simplify 0 into 0
14.713 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.715 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
14.717 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2))))))) into 0
14.719 * [backup-simplify]: Simplify 0 into 0
14.720 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.722 * [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
14.724 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.726 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3.9999999999999997e-32) 2)))))))) into 0
14.727 * [backup-simplify]: Simplify 0 into 0
14.728 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
14.729 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* (/ 1 t) (/ 1 t)))) into (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2))
14.729 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in (t) around 0
14.729 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t
14.729 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
14.729 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
14.729 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
14.729 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
14.730 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
14.731 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.731 * [taylor]: Taking taylor expansion of (pow t 2) in t
14.731 * [taylor]: Taking taylor expansion of t in t
14.731 * [backup-simplify]: Simplify 0 into 0
14.731 * [backup-simplify]: Simplify 1 into 1
14.732 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
14.732 * [backup-simplify]: Simplify (* 1 1) into 1
14.734 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2)
14.734 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t
14.734 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
14.734 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
14.734 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
14.734 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
14.735 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
14.735 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.736 * [taylor]: Taking taylor expansion of (pow t 2) in t
14.736 * [taylor]: Taking taylor expansion of t in t
14.736 * [backup-simplify]: Simplify 0 into 0
14.736 * [backup-simplify]: Simplify 1 into 1
14.737 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
14.737 * [backup-simplify]: Simplify (* 1 1) into 1
14.739 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2)
14.740 * [backup-simplify]: Simplify (pow (sqrt 3.9999999999999997e-32) 2) into (pow (sqrt 3.9999999999999997e-32) 2)
14.741 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
14.742 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.742 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)))) into 0
14.742 * [backup-simplify]: Simplify 0 into 0
14.743 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.744 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
14.744 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.745 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.745 * [backup-simplify]: Simplify 0 into 0
14.746 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.747 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
14.747 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.748 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.748 * [backup-simplify]: Simplify 0 into 0
14.749 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.750 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
14.750 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.751 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.751 * [backup-simplify]: Simplify 0 into 0
14.752 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.753 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
14.754 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.755 * [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
14.755 * [backup-simplify]: Simplify 0 into 0
14.756 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.757 * [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
14.758 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.759 * [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
14.759 * [backup-simplify]: Simplify 0 into 0
14.759 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (/ 1 (/ 1 t)) 2)) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
14.760 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* (/ 1 (- t)) (/ 1 (- t))))) into (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2))
14.760 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in (t) around 0
14.760 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t
14.760 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
14.760 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
14.760 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
14.760 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
14.760 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
14.761 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.761 * [taylor]: Taking taylor expansion of (pow t 2) in t
14.761 * [taylor]: Taking taylor expansion of t in t
14.761 * [backup-simplify]: Simplify 0 into 0
14.761 * [backup-simplify]: Simplify 1 into 1
14.762 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
14.762 * [backup-simplify]: Simplify (* 1 1) into 1
14.763 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2)
14.763 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3.9999999999999997e-32) 2) (pow t 2)) in t
14.763 * [taylor]: Taking taylor expansion of (pow (sqrt 3.9999999999999997e-32) 2) in t
14.763 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
14.763 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
14.763 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
14.763 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
14.764 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.764 * [taylor]: Taking taylor expansion of (pow t 2) in t
14.764 * [taylor]: Taking taylor expansion of t in t
14.764 * [backup-simplify]: Simplify 0 into 0
14.764 * [backup-simplify]: Simplify 1 into 1
14.765 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) into (pow (sqrt 3.9999999999999997e-32) 2)
14.765 * [backup-simplify]: Simplify (* 1 1) into 1
14.766 * [backup-simplify]: Simplify (/ (pow (sqrt 3.9999999999999997e-32) 2) 1) into (pow (sqrt 3.9999999999999997e-32) 2)
14.767 * [backup-simplify]: Simplify (pow (sqrt 3.9999999999999997e-32) 2) into (pow (sqrt 3.9999999999999997e-32) 2)
14.767 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
14.767 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.768 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)))) into 0
14.768 * [backup-simplify]: Simplify 0 into 0
14.769 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.769 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
14.770 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.771 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.771 * [backup-simplify]: Simplify 0 into 0
14.772 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.772 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
14.773 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.774 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.774 * [backup-simplify]: Simplify 0 into 0
14.776 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.777 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
14.778 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.780 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 3.9999999999999997e-32) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.780 * [backup-simplify]: Simplify 0 into 0
14.781 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.783 * [backup-simplify]: Simplify (+ (* (sqrt 3.9999999999999997e-32) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
14.784 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.786 * [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
14.786 * [backup-simplify]: Simplify 0 into 0
14.788 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.789 * [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
14.791 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.793 * [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
14.793 * [backup-simplify]: Simplify 0 into 0
14.794 * [backup-simplify]: Simplify (* (pow (sqrt 3.9999999999999997e-32) 2) (pow (/ 1 (/ 1 (- t))) 2)) into (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2))
14.794 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
14.794 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (* t t)) into (* (pow t 2) (sqrt 3.9999999999999997e-32))
14.794 * [approximate]: Taking taylor expansion of (* (pow t 2) (sqrt 3.9999999999999997e-32)) in (t) around 0
14.794 * [taylor]: Taking taylor expansion of (* (pow t 2) (sqrt 3.9999999999999997e-32)) in t
14.794 * [taylor]: Taking taylor expansion of (pow t 2) in t
14.794 * [taylor]: Taking taylor expansion of t in t
14.795 * [backup-simplify]: Simplify 0 into 0
14.795 * [backup-simplify]: Simplify 1 into 1
14.795 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
14.795 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
14.795 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
14.795 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
14.796 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.796 * [taylor]: Taking taylor expansion of (* (pow t 2) (sqrt 3.9999999999999997e-32)) in t
14.796 * [taylor]: Taking taylor expansion of (pow t 2) in t
14.796 * [taylor]: Taking taylor expansion of t in t
14.796 * [backup-simplify]: Simplify 0 into 0
14.796 * [backup-simplify]: Simplify 1 into 1
14.796 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
14.796 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
14.796 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
14.797 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
14.797 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.798 * [backup-simplify]: Simplify (* 1 1) into 1
14.799 * [backup-simplify]: Simplify (* 1 (sqrt 3.9999999999999997e-32)) into (sqrt 3.9999999999999997e-32)
14.799 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
14.800 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.801 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (sqrt 3.9999999999999997e-32))) into 0
14.801 * [backup-simplify]: Simplify 0 into 0
14.802 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.803 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.804 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))) into 0
14.804 * [backup-simplify]: Simplify 0 into 0
14.806 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.807 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.808 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))) into 0
14.808 * [backup-simplify]: Simplify 0 into 0
14.810 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.811 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.813 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))) into 0
14.813 * [backup-simplify]: Simplify 0 into 0
14.814 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.816 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.818 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32))))))) into 0
14.818 * [backup-simplify]: Simplify 0 into 0
14.821 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.823 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.825 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3.9999999999999997e-32)))))))) into 0
14.825 * [backup-simplify]: Simplify 0 into 0
14.826 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow t 2)) into (* (pow t 2) (sqrt 3.9999999999999997e-32))
14.826 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (* (/ 1 t) (/ 1 t))) into (/ (sqrt 3.9999999999999997e-32) (pow t 2))
14.826 * [approximate]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in (t) around 0
14.826 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t
14.826 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
14.826 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
14.827 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
14.827 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
14.828 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.828 * [taylor]: Taking taylor expansion of (pow t 2) in t
14.828 * [taylor]: Taking taylor expansion of t in t
14.828 * [backup-simplify]: Simplify 0 into 0
14.828 * [backup-simplify]: Simplify 1 into 1
14.828 * [backup-simplify]: Simplify (* 1 1) into 1
14.829 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32)
14.829 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t
14.829 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
14.829 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
14.829 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
14.830 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
14.830 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.831 * [taylor]: Taking taylor expansion of (pow t 2) in t
14.831 * [taylor]: Taking taylor expansion of t in t
14.831 * [backup-simplify]: Simplify 0 into 0
14.831 * [backup-simplify]: Simplify 1 into 1
14.831 * [backup-simplify]: Simplify (* 1 1) into 1
14.832 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32)
14.832 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
14.833 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.834 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)))) into 0
14.834 * [backup-simplify]: Simplify 0 into 0
14.835 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.836 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.838 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.838 * [backup-simplify]: Simplify 0 into 0
14.839 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.840 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.841 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.841 * [backup-simplify]: Simplify 0 into 0
14.843 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.844 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.845 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.845 * [backup-simplify]: Simplify 0 into 0
14.846 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.847 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.848 * [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
14.848 * [backup-simplify]: Simplify 0 into 0
14.849 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.850 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.850 * [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
14.850 * [backup-simplify]: Simplify 0 into 0
14.851 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow (/ 1 (/ 1 t)) 2)) into (* (pow t 2) (sqrt 3.9999999999999997e-32))
14.851 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (* (/ 1 (- t)) (/ 1 (- t)))) into (/ (sqrt 3.9999999999999997e-32) (pow t 2))
14.851 * [approximate]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in (t) around 0
14.851 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t
14.851 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
14.851 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
14.851 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
14.851 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
14.852 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.852 * [taylor]: Taking taylor expansion of (pow t 2) in t
14.852 * [taylor]: Taking taylor expansion of t in t
14.852 * [backup-simplify]: Simplify 0 into 0
14.852 * [backup-simplify]: Simplify 1 into 1
14.852 * [backup-simplify]: Simplify (* 1 1) into 1
14.853 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32)
14.853 * [taylor]: Taking taylor expansion of (/ (sqrt 3.9999999999999997e-32) (pow t 2)) in t
14.853 * [taylor]: Taking taylor expansion of (sqrt 3.9999999999999997e-32) in t
14.853 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
14.853 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
14.853 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
14.854 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.854 * [taylor]: Taking taylor expansion of (pow t 2) in t
14.854 * [taylor]: Taking taylor expansion of t in t
14.854 * [backup-simplify]: Simplify 0 into 0
14.854 * [backup-simplify]: Simplify 1 into 1
14.854 * [backup-simplify]: Simplify (* 1 1) into 1
14.854 * [backup-simplify]: Simplify (/ (sqrt 3.9999999999999997e-32) 1) into (sqrt 3.9999999999999997e-32)
14.855 * [backup-simplify]: Simplify (sqrt 3.9999999999999997e-32) into (sqrt 3.9999999999999997e-32)
14.855 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.856 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)))) into 0
14.856 * [backup-simplify]: Simplify 0 into 0
14.857 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.857 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.858 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.858 * [backup-simplify]: Simplify 0 into 0
14.859 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.859 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.860 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.860 * [backup-simplify]: Simplify 0 into 0
14.861 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.862 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.862 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 3.9999999999999997e-32) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.862 * [backup-simplify]: Simplify 0 into 0
14.863 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.864 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.864 * [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
14.865 * [backup-simplify]: Simplify 0 into 0
14.865 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3.9999999999999997e-32))) into 0
14.867 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.867 * [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
14.867 * [backup-simplify]: Simplify 0 into 0
14.868 * [backup-simplify]: Simplify (* (sqrt 3.9999999999999997e-32) (pow (/ 1 (/ 1 (- t))) 2)) into (* (pow t 2) (sqrt 3.9999999999999997e-32))
14.868 * * * [progress]: simplifying candidates
14.868 * * * * [progress]: [ 1 / 59 ] simplifiying candidate #<alt (λ (t) (log1p (expm1 (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))))))>
14.868 * * * * [progress]: [ 2 / 59 ] simplifiying candidate #<alt (λ (t) (expm1 (log1p (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))))))>
14.868 * * * * [progress]: [ 3 / 59 ] simplifiying candidate #<alt (λ (t) (pow (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))) 1))>
14.868 * * * * [progress]: [ 4 / 59 ] simplifiying candidate #<alt (λ (t) (pow (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))) 1))>
14.868 * * * * [progress]: [ 5 / 59 ] simplifiying candidate #<alt (λ (t) (pow (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))) 1))>
14.868 * * * * [progress]: [ 6 / 59 ] simplifiying candidate #<alt (λ (t) (pow (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))) 1))>
14.868 * * * * [progress]: [ 7 / 59 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (sqrt 3.9999999999999997e-32)) (+ (log (sqrt 3.9999999999999997e-32)) (+ (log t) (log t))))))>
14.868 * * * * [progress]: [ 8 / 59 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (sqrt 3.9999999999999997e-32)) (+ (log (sqrt 3.9999999999999997e-32)) (log (* t t))))))>
14.868 * * * * [progress]: [ 9 / 59 ] simplifiying candidate #<alt (λ (t) (exp (+ (log (sqrt 3.9999999999999997e-32)) (log (* (sqrt 3.9999999999999997e-32) (* t t))))))>
14.868 * * * * [progress]: [ 10 / 59 ] simplifiying candidate #<alt (λ (t) (exp (log (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))))))>
14.868 * * * * [progress]: [ 11 / 59 ] simplifiying candidate #<alt (λ (t) (log (exp (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))))))>
14.868 * * * * [progress]: [ 12 / 59 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (* t t) t) (* (* t t) t))))))>
14.868 * * * * [progress]: [ 13 / 59 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (* t t) (* t t)) (* t t))))))>
14.868 * * * * [progress]: [ 14 / 59 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (* (sqrt 3.9999999999999997e-32) (* t t)) (* (sqrt 3.9999999999999997e-32) (* t t))) (* (sqrt 3.9999999999999997e-32) (* t t))))))>
14.868 * * * * [progress]: [ 15 / 59 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t)))) (cbrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))))) (cbrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))))))>
14.869 * * * * [progress]: [ 16 / 59 ] simplifiying candidate #<alt (λ (t) (cbrt (* (* (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t)))) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))))))>
14.869 * * * * [progress]: [ 17 / 59 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t)))) (sqrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))))))>
14.869 * * * * [progress]: [ 18 / 59 ] simplifiying candidate #<alt (λ (t) (* 1 (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t)))))>
14.869 * * * * [progress]: [ 19 / 59 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (* t t)))>
14.869 * * * * [progress]: [ 20 / 59 ] simplifiying candidate #<alt (λ (t) (* (* (cbrt (sqrt 3.9999999999999997e-32)) (cbrt (sqrt 3.9999999999999997e-32))) (* (cbrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (* t t)))))>
14.869 * * * * [progress]: [ 21 / 59 ] simplifiying candidate #<alt (λ (t) (* (sqrt (* (cbrt 3.9999999999999997e-32) (cbrt 3.9999999999999997e-32))) (* (sqrt (cbrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (* t t)))))>
14.869 * * * * [progress]: [ 22 / 59 ] simplifiying candidate #<alt (λ (t) (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (* t t)))))>
14.869 * * * * [progress]: [ 23 / 59 ] simplifiying candidate #<alt (λ (t) (* (sqrt 1) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t)))))>
14.869 * * * * [progress]: [ 24 / 59 ] simplifiying candidate #<alt (λ (t) (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (* t t)))))>
14.869 * * * * [progress]: [ 25 / 59 ] simplifiying candidate #<alt (λ (t) (* 1 (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t)))))>
14.869 * * * * [progress]: [ 26 / 59 ] simplifiying candidate #<alt (λ (t) (posit16->real (real->posit16 (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))))))>
14.869 * * * * [progress]: [ 27 / 59 ] simplifiying candidate #<alt (λ (t) (* (* (sqrt 3.9999999999999997e-32) (* t t)) (sqrt 3.9999999999999997e-32)))>
14.869 * * * * [progress]: [ 28 / 59 ] simplifiying candidate #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (log1p (expm1 (* (sqrt 3.9999999999999997e-32) (* t t))))))>
14.869 * * * * [progress]: [ 29 / 59 ] simplifiying candidate #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (expm1 (log1p (* (sqrt 3.9999999999999997e-32) (* t t))))))>
14.869 * * * * [progress]: [ 30 / 59 ] simplifiying candidate #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (pow (* (sqrt 3.9999999999999997e-32) (* t t)) 1)))>
14.869 * * * * [progress]: [ 31 / 59 ] simplifiying candidate #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (pow (* (sqrt 3.9999999999999997e-32) (* t t)) 1)))>
14.869 * * * * [progress]: [ 32 / 59 ] simplifiying candidate #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (pow (* (sqrt 3.9999999999999997e-32) (* t t)) 1)))>
14.869 * * * * [progress]: [ 33 / 59 ] simplifiying candidate #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (exp (+ (log (sqrt 3.9999999999999997e-32)) (+ (log t) (log t))))))>
14.869 * * * * [progress]: [ 34 / 59 ] simplifiying candidate #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (exp (+ (log (sqrt 3.9999999999999997e-32)) (log (* t t))))))>
14.869 * * * * [progress]: [ 35 / 59 ] simplifiying candidate #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (exp (log (* (sqrt 3.9999999999999997e-32) (* t t))))))>
14.869 * * * * [progress]: [ 36 / 59 ] simplifiying candidate #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (log (exp (* (sqrt 3.9999999999999997e-32) (* t t))))))>
14.869 * * * * [progress]: [ 37 / 59 ] simplifiying candidate #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (cbrt (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (* t t) t) (* (* t t) t))))))>
14.869 * * * * [progress]: [ 38 / 59 ] simplifiying candidate #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (cbrt (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (* t t) (* t t)) (* t t))))))>
14.869 * * * * [progress]: [ 39 / 59 ] simplifiying candidate #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (* (cbrt (* (sqrt 3.9999999999999997e-32) (* t t))) (cbrt (* (sqrt 3.9999999999999997e-32) (* t t)))) (cbrt (* (sqrt 3.9999999999999997e-32) (* t t))))))>
14.870 * * * * [progress]: [ 40 / 59 ] simplifiying candidate #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (cbrt (* (* (* (sqrt 3.9999999999999997e-32) (* t t)) (* (sqrt 3.9999999999999997e-32) (* t t))) (* (sqrt 3.9999999999999997e-32) (* t t))))))>
14.870 * * * * [progress]: [ 41 / 59 ] simplifiying candidate #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (sqrt (* (sqrt 3.9999999999999997e-32) (* t t))) (sqrt (* (sqrt 3.9999999999999997e-32) (* t t))))))>
14.870 * * * * [progress]: [ 42 / 59 ] simplifiying candidate #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* 1 (* (sqrt 3.9999999999999997e-32) (* t t)))))>
14.870 * * * * [progress]: [ 43 / 59 ] simplifiying candidate #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (* (sqrt (sqrt 3.9999999999999997e-32)) t) (* (sqrt (sqrt 3.9999999999999997e-32)) t))))>
14.870 * * * * [progress]: [ 44 / 59 ] simplifiying candidate #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (* (sqrt (sqrt 3.9999999999999997e-32)) t) (* (sqrt (sqrt 3.9999999999999997e-32)) t))))>
14.870 * * * * [progress]: [ 45 / 59 ] simplifiying candidate #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (* (sqrt 3.9999999999999997e-32) t) t)))>
14.870 * * * * [progress]: [ 46 / 59 ] simplifiying candidate #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (* (cbrt (sqrt 3.9999999999999997e-32)) (cbrt (sqrt 3.9999999999999997e-32))) (* (cbrt (sqrt 3.9999999999999997e-32)) (* t t)))))>
14.870 * * * * [progress]: [ 47 / 59 ] simplifiying candidate #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (sqrt (* (cbrt 3.9999999999999997e-32) (cbrt 3.9999999999999997e-32))) (* (sqrt (cbrt 3.9999999999999997e-32)) (* t t)))))>
14.870 * * * * [progress]: [ 48 / 59 ] simplifiying candidate #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt (sqrt 3.9999999999999997e-32)) (* t t)))))>
14.870 * * * * [progress]: [ 49 / 59 ] simplifiying candidate #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (sqrt 1) (* (sqrt 3.9999999999999997e-32) (* t t)))))>
14.870 * * * * [progress]: [ 50 / 59 ] simplifiying candidate #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt (sqrt 3.9999999999999997e-32)) (* t t)))))>
14.870 * * * * [progress]: [ 51 / 59 ] simplifiying candidate #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* 1 (* (sqrt 3.9999999999999997e-32) (* t t)))))>
14.870 * * * * [progress]: [ 52 / 59 ] simplifiying candidate #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (posit16->real (real->posit16 (* (sqrt 3.9999999999999997e-32) (* t t))))))>
14.870 * * * * [progress]: [ 53 / 59 ] simplifiying candidate #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (* t t) (sqrt 3.9999999999999997e-32))))>
14.870 * * * * [progress]: [ 54 / 59 ] simplifiying candidate #<alt (λ (t) (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)))>
14.870 * * * * [progress]: [ 55 / 59 ] simplifiying candidate #<alt (λ (t) (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)))>
14.870 * * * * [progress]: [ 56 / 59 ] simplifiying candidate #<alt (λ (t) (* (pow t 2) (pow (sqrt 3.9999999999999997e-32) 2)))>
14.870 * * * * [progress]: [ 57 / 59 ] simplifiying candidate #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (pow t 2) (sqrt 3.9999999999999997e-32))))>
14.870 * * * * [progress]: [ 58 / 59 ] simplifiying candidate #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (pow t 2) (sqrt 3.9999999999999997e-32))))>
14.870 * * * * [progress]: [ 59 / 59 ] simplifiying candidate #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (pow t 2) (sqrt 3.9999999999999997e-32))))>
14.871 * [simplify]: Simplifying:
  (expm1 (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))))
  (log1p (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))))
  (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t)))
  (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t)))
  (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t)))
  (+ (log (sqrt 3.9999999999999997e-32)) (+ (log (sqrt 3.9999999999999997e-32)) (+ (log t) (log t))))
  (+ (log (sqrt 3.9999999999999997e-32)) (+ (log (sqrt 3.9999999999999997e-32)) (log (* t t))))
  (+ (log (sqrt 3.9999999999999997e-32)) (log (* (sqrt 3.9999999999999997e-32) (* t t))))
  (log (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))))
  (exp (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))))
  (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (* t t) t) (* (* t t) t))))
  (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (* t t) (* t t)) (* t t))))
  (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (* (sqrt 3.9999999999999997e-32) (* t t)) (* (sqrt 3.9999999999999997e-32) (* t t))) (* (sqrt 3.9999999999999997e-32) (* t t))))
  (* (cbrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t)))) (cbrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t)))))
  (cbrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))))
  (* (* (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t)))) (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))))
  (sqrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))))
  (sqrt (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))))
  (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32))
  (* (cbrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (* t t)))
  (* (sqrt (cbrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (* t t)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (* t t)))
  (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t)))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (* (sqrt 3.9999999999999997e-32) (* t t)))
  (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t)))
  (real->posit16 (* (sqrt 3.9999999999999997e-32) (* (sqrt 3.9999999999999997e-32) (* t t))))
  (expm1 (* (sqrt 3.9999999999999997e-32) (* t t)))
  (log1p (* (sqrt 3.9999999999999997e-32) (* t t)))
  (* (sqrt 3.9999999999999997e-32) (* t t))
  (* (sqrt 3.9999999999999997e-32) (* t t))
  (+ (log (sqrt 3.9999999999999997e-32)) (+ (log t) (log t)))
  (+ (log (sqrt 3.9999999999999997e-32)) (log (* t t)))
  (log (* (sqrt 3.9999999999999997e-32) (* t t)))
  (exp (* (sqrt 3.9999999999999997e-32) (* t t)))
  (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (* t t) t) (* (* t t) t)))
  (* (* (* (sqrt 3.9999999999999997e-32) (sqrt 3.9999999999999997e-32)) (sqrt 3.9999999999999997e-32)) (* (* (* t t) (* t t)) (* t t)))
  (* (cbrt (* (sqrt 3.9999999999999997e-32) (* t t))) (cbrt (* (sqrt 3.9999999999999997e-32) (* t t))))
  (cbrt (* (sqrt 3.9999999999999997e-32) (* t t)))
  (* (* (* (sqrt 3.9999999999999997e-32) (* t t)) (* (sqrt 3.9999999999999997e-32) (* t t))) (* (sqrt 3.9999999999999997e-32) (* t t)))
  (sqrt (* (sqrt 3.9999999999999997e-32) (* t t)))
  (sqrt (* (sqrt 3.9999999999999997e-32) (* t 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 3.9999999999999997e-32) t)
  (* (cbrt (sqrt 3.9999999999999997e-32)) (* t t))
  (* (sqrt (cbrt 3.9999999999999997e-32)) (* t t))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (* t t))
  (* (sqrt 3.9999999999999997e-32) (* t t))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (* t t))
  (* (sqrt 3.9999999999999997e-32) (* t t))
  (real->posit16 (* (sqrt 3.9999999999999997e-32) (* t t)))
  (* (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))
14.872 * * [simplify]: iteration 1: (63 enodes)
14.902 * * [simplify]: iteration 2: (255 enodes)
14.984 * * [simplify]: iteration 3: (636 enodes)
15.383 * * [simplify]: iteration 4: (1495 enodes)
17.484 * * [simplify]: Extracting #0: cost 29 inf + 0
17.485 * * [simplify]: Extracting #1: cost 197 inf + 1
17.491 * * [simplify]: Extracting #2: cost 459 inf + 5527
17.527 * * [simplify]: Extracting #3: cost 273 inf + 44683
17.562 * * [simplify]: Extracting #4: cost 81 inf + 94438
17.598 * * [simplify]: Extracting #5: cost 13 inf + 120072
17.627 * * [simplify]: Extracting #6: cost 2 inf + 123629
17.677 * * [simplify]: Extracting #7: cost 0 inf + 124325
17.729 * [simplify]: Simplified to:
  (expm1 (* (* t t) 3.9999999999999997e-32))
  (log1p (* (* t t) 3.9999999999999997e-32))
  (* (* t t) 3.9999999999999997e-32)
  (* (* t t) 3.9999999999999997e-32)
  (* (* t t) 3.9999999999999997e-32)
  (log (* (* t t) 3.9999999999999997e-32))
  (log (* (* t t) 3.9999999999999997e-32))
  (log (* (* t t) 3.9999999999999997e-32))
  (log (* (* t t) 3.9999999999999997e-32))
  (exp (* (* t t) 3.9999999999999997e-32))
  (* (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)) (* (* t t) 3.9999999999999997e-32))
  (* (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)) (* (* t t) 3.9999999999999997e-32))
  (* (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)) (* (* t t) 3.9999999999999997e-32))
  (* (cbrt (* (* t t) 3.9999999999999997e-32)) (cbrt (* (* t t) 3.9999999999999997e-32)))
  (cbrt (* (* t t) 3.9999999999999997e-32))
  (* (* (* (* t t) 3.9999999999999997e-32) (* (* t t) 3.9999999999999997e-32)) (* (* t t) 3.9999999999999997e-32))
  (sqrt (* (* t t) 3.9999999999999997e-32))
  (sqrt (* (* t t) 3.9999999999999997e-32))
  3.9999999999999997e-32
  (* (* t (sqrt 3.9999999999999997e-32)) (* (cbrt (sqrt 3.9999999999999997e-32)) t))
  (* (sqrt (cbrt 3.9999999999999997e-32)) (* t (* t (sqrt 3.9999999999999997e-32))))
  (* (* (sqrt (sqrt 3.9999999999999997e-32)) (* t t)) (sqrt 3.9999999999999997e-32))
  (* (* t t) 3.9999999999999997e-32)
  (* (* (sqrt (sqrt 3.9999999999999997e-32)) (* t t)) (sqrt 3.9999999999999997e-32))
  (* (* t t) 3.9999999999999997e-32)
  (real->posit16 (* (* t t) 3.9999999999999997e-32))
  (expm1 (* (* t t) (sqrt 3.9999999999999997e-32)))
  (log1p (* (* t t) (sqrt 3.9999999999999997e-32)))
  (* (* t t) (sqrt 3.9999999999999997e-32))
  (* (* t t) (sqrt 3.9999999999999997e-32))
  (log (* (* t t) (sqrt 3.9999999999999997e-32)))
  (log (* (* t t) (sqrt 3.9999999999999997e-32)))
  (log (* (* t t) (sqrt 3.9999999999999997e-32)))
  (exp (* (* t t) (sqrt 3.9999999999999997e-32)))
  (* (* (* (* t t) t) (* (* t t) t)) (* 3.9999999999999997e-32 (sqrt 3.9999999999999997e-32)))
  (* (* (* (* t t) t) (* (* t t) t)) (* 3.9999999999999997e-32 (sqrt 3.9999999999999997e-32)))
  (* (cbrt (* (* t t) (sqrt 3.9999999999999997e-32))) (cbrt (* (* t t) (sqrt 3.9999999999999997e-32))))
  (cbrt (* (* t t) (sqrt 3.9999999999999997e-32)))
  (* (* (* (* t t) t) (* (* t t) t)) (* 3.9999999999999997e-32 (sqrt 3.9999999999999997e-32)))
  (sqrt (* (* t t) (sqrt 3.9999999999999997e-32)))
  (sqrt (* (* t t) (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 3.9999999999999997e-32))
  (* t (* (cbrt (sqrt 3.9999999999999997e-32)) t))
  (* (sqrt (cbrt 3.9999999999999997e-32)) (* t t))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (* t t))
  (* (* t t) (sqrt 3.9999999999999997e-32))
  (* (sqrt (sqrt 3.9999999999999997e-32)) (* t t))
  (* (* t t) (sqrt 3.9999999999999997e-32))
  (real->posit16 (* (* t t) (sqrt 3.9999999999999997e-32)))
  (* (* t t) 3.9999999999999997e-32)
  (* (* t t) 3.9999999999999997e-32)
  (* (* t t) 3.9999999999999997e-32)
  (* (* t t) (sqrt 3.9999999999999997e-32))
  (* (* t t) (sqrt 3.9999999999999997e-32))
  (* (* t t) (sqrt 3.9999999999999997e-32))
17.732 * * * [progress]: adding candidates to table
18.203 * [progress]: [Phase 3 of 3] Extracting.
18.203 * * [regime]: Finding splitpoints for: (#<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (* (sqrt 3.9999999999999997e-32) t) t)))> #<alt (λ (t) (* (* 3.9999999999999997e-32 t) t))> #<alt (λ (t) (* (* (* 3.9999999999999997e-32 t) (sqrt t)) (sqrt t)))> #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (* (sqrt (sqrt 3.9999999999999997e-32)) t) (* (sqrt (sqrt 3.9999999999999997e-32)) t))))> #<alt (λ (t) (* 3.9999999999999997e-32 (* t t)))>)
18.203 * * * [regime-changes]: Trying 1 branch expressions: (t)
18.203 * * * * [regimes]: Trying to branch on t from (#<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (* (sqrt 3.9999999999999997e-32) t) t)))> #<alt (λ (t) (* (* 3.9999999999999997e-32 t) t))> #<alt (λ (t) (* (* (* 3.9999999999999997e-32 t) (sqrt t)) (sqrt t)))> #<alt (λ (t) (* (sqrt 3.9999999999999997e-32) (* (* (sqrt (sqrt 3.9999999999999997e-32)) t) (* (sqrt (sqrt 3.9999999999999997e-32)) t))))> #<alt (λ (t) (* 3.9999999999999997e-32 (* t t)))>)
18.253 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
18.253 * [simplify]: Simplifying:
  (* (* 3.9999999999999997e-32 t) t)
18.253 * * [simplify]: iteration 1: (4 enodes)
18.254 * * [simplify]: iteration 2: (6 enodes)
18.254 * * [simplify]: Extracting #0: cost 1 inf + 0
18.254 * * [simplify]: Extracting #1: cost 3 inf + 0
18.254 * * [simplify]: Extracting #2: cost 3 inf + 1
18.254 * * [simplify]: Extracting #3: cost 2 inf + 2
18.254 * * [simplify]: Extracting #4: cost 0 inf + 126
18.254 * [simplify]: Simplified to:
  (* (* 3.9999999999999997e-32 t) t)
21.076 * [regime-testing]: Baseline error score: 0.3216652081510189
21.078 * [regime-testing]: Oracle error score: 0.031253906738342295
21.083 * [regime-testing]: End program error score: 0.3216652081510189
21.142 * [regime-testing]: Target error score: 50.563071846038234