12.686 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.042 * * * [progress]: [2/2] Setting up program.
0.043 * [progress]: [Phase 2 of 3] Improving.
0.044 * [simplify]: Simplifying:
  (+ (* (+ 1.0 (* t 2e-16)) (+ 1.0 (* t 2e-16))) (- -1.0 (* 2.0 (* t 2e-16))))
0.044 * [simplify]: Sending expressions to egg_math:
 (+ (* (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)))) (- -1.0 (* 2.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)))))
1.638 * * [progress]: iteration 1 / 4
1.638 * * * [progress]: picking best candidate
1.640 * * * * [pick]: Picked  #<alt (λ (t) (+ (+ -1.0 (* 1.0 1.0)) (* (* t (/ 2028240960365167.0 1.0141204801825835e+31)) (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0))))>
1.640 * * * [progress]: localizing error
1.657 * * * [progress]: generating rewritten candidates
1.657 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2)
1.905 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
2.225 * * * [progress]: generating series expansions
2.225 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2)
2.226 * [backup-simplify]: Simplify (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0) into (* 2e-16 t)
2.226 * [approximate]: Taking taylor expansion of (* 2e-16 t) in (t) around 0
2.226 * [taylor]: Taking taylor expansion of (* 2e-16 t) in t
2.226 * [taylor]: Taking taylor expansion of 2e-16 in t
2.226 * [backup-simplify]: Simplify 2e-16 into 2e-16
2.226 * [taylor]: Taking taylor expansion of t in t
2.226 * [backup-simplify]: Simplify 0 into 0
2.226 * [backup-simplify]: Simplify 1 into 1
2.226 * [taylor]: Taking taylor expansion of (* 2e-16 t) in t
2.226 * [taylor]: Taking taylor expansion of 2e-16 in t
2.226 * [backup-simplify]: Simplify 2e-16 into 2e-16
2.227 * [taylor]: Taking taylor expansion of t in t
2.227 * [backup-simplify]: Simplify 0 into 0
2.227 * [backup-simplify]: Simplify 1 into 1
2.227 * [backup-simplify]: Simplify (* 2e-16 0) into 0
2.227 * [backup-simplify]: Simplify 0 into 0
2.229 * [backup-simplify]: Simplify (+ (* 2e-16 1) (* 0 0)) into 2e-16
2.229 * [backup-simplify]: Simplify 2e-16 into 2e-16
2.230 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 1) (* 0 0))) into 0
2.230 * [backup-simplify]: Simplify 0 into 0
2.232 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.232 * [backup-simplify]: Simplify 0 into 0
2.233 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.233 * [backup-simplify]: Simplify 0 into 0
2.235 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
2.235 * [backup-simplify]: Simplify 0 into 0
2.236 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
2.236 * [backup-simplify]: Simplify 0 into 0
2.238 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
2.238 * [backup-simplify]: Simplify 0 into 0
2.238 * [backup-simplify]: Simplify (* 2e-16 t) into (* 2e-16 t)
2.239 * [backup-simplify]: Simplify (- (+ (+ 1.0 (* (/ 1 t) (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0) into (* 2e-16 (/ 1 t))
2.239 * [approximate]: Taking taylor expansion of (* 2e-16 (/ 1 t)) in (t) around 0
2.239 * [taylor]: Taking taylor expansion of (* 2e-16 (/ 1 t)) in t
2.239 * [taylor]: Taking taylor expansion of 2e-16 in t
2.239 * [backup-simplify]: Simplify 2e-16 into 2e-16
2.239 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.239 * [taylor]: Taking taylor expansion of t in t
2.239 * [backup-simplify]: Simplify 0 into 0
2.240 * [backup-simplify]: Simplify 1 into 1
2.240 * [backup-simplify]: Simplify (/ 1 1) into 1
2.240 * [taylor]: Taking taylor expansion of (* 2e-16 (/ 1 t)) in t
2.240 * [taylor]: Taking taylor expansion of 2e-16 in t
2.240 * [backup-simplify]: Simplify 2e-16 into 2e-16
2.240 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.240 * [taylor]: Taking taylor expansion of t in t
2.240 * [backup-simplify]: Simplify 0 into 0
2.240 * [backup-simplify]: Simplify 1 into 1
2.241 * [backup-simplify]: Simplify (/ 1 1) into 1
2.241 * [backup-simplify]: Simplify (* 2e-16 1) into 2e-16
2.241 * [backup-simplify]: Simplify 2e-16 into 2e-16
2.242 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.243 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 1)) into 0
2.243 * [backup-simplify]: Simplify 0 into 0
2.244 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.245 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 1))) into 0
2.245 * [backup-simplify]: Simplify 0 into 0
2.246 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.247 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.247 * [backup-simplify]: Simplify 0 into 0
2.248 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.249 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.249 * [backup-simplify]: Simplify 0 into 0
2.250 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.252 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.252 * [backup-simplify]: Simplify 0 into 0
2.253 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.254 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.254 * [backup-simplify]: Simplify 0 into 0
2.254 * [backup-simplify]: Simplify (* 2e-16 (/ 1 (/ 1 t))) into (* 2e-16 t)
2.255 * [backup-simplify]: Simplify (- (+ (+ 1.0 (* (/ 1 (- t)) (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0) into (- (* 2e-16 (/ 1 t)))
2.255 * [approximate]: Taking taylor expansion of (- (* 2e-16 (/ 1 t))) in (t) around 0
2.255 * [taylor]: Taking taylor expansion of (- (* 2e-16 (/ 1 t))) in t
2.255 * [taylor]: Taking taylor expansion of (* 2e-16 (/ 1 t)) in t
2.255 * [taylor]: Taking taylor expansion of 2e-16 in t
2.255 * [backup-simplify]: Simplify 2e-16 into 2e-16
2.255 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.255 * [taylor]: Taking taylor expansion of t in t
2.256 * [backup-simplify]: Simplify 0 into 0
2.256 * [backup-simplify]: Simplify 1 into 1
2.256 * [backup-simplify]: Simplify (/ 1 1) into 1
2.256 * [taylor]: Taking taylor expansion of (- (* 2e-16 (/ 1 t))) in t
2.256 * [taylor]: Taking taylor expansion of (* 2e-16 (/ 1 t)) in t
2.256 * [taylor]: Taking taylor expansion of 2e-16 in t
2.256 * [backup-simplify]: Simplify 2e-16 into 2e-16
2.256 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.256 * [taylor]: Taking taylor expansion of t in t
2.256 * [backup-simplify]: Simplify 0 into 0
2.256 * [backup-simplify]: Simplify 1 into 1
2.257 * [backup-simplify]: Simplify (/ 1 1) into 1
2.257 * [backup-simplify]: Simplify (* 2e-16 1) into 2e-16
2.257 * [backup-simplify]: Simplify (- 2e-16) into (- 2e-16)
2.258 * [backup-simplify]: Simplify (- 2e-16) into (- 2e-16)
2.259 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.260 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 1)) into 0
2.260 * [backup-simplify]: Simplify (- 0) into 0
2.260 * [backup-simplify]: Simplify 0 into 0
2.261 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.262 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 1))) into 0
2.262 * [backup-simplify]: Simplify (- 0) into 0
2.262 * [backup-simplify]: Simplify 0 into 0
2.263 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.265 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.265 * [backup-simplify]: Simplify (- 0) into 0
2.265 * [backup-simplify]: Simplify 0 into 0
2.266 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.267 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.267 * [backup-simplify]: Simplify (- 0) into 0
2.267 * [backup-simplify]: Simplify 0 into 0
2.268 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.271 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.272 * [backup-simplify]: Simplify (- 0) into 0
2.272 * [backup-simplify]: Simplify 0 into 0
2.272 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.273 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.274 * [backup-simplify]: Simplify (- 0) into 0
2.274 * [backup-simplify]: Simplify 0 into 0
2.274 * [backup-simplify]: Simplify (* (- 2e-16) (/ 1 (/ 1 (- t)))) into (* 2e-16 t)
2.274 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
2.275 * [backup-simplify]: Simplify (* (* t (/ 2028240960365167.0 1.0141204801825835e+31)) (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)) into (* 3.9999999999999997e-32 (pow t 2))
2.275 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
2.275 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
2.275 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.275 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.275 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.275 * [taylor]: Taking taylor expansion of t in t
2.275 * [backup-simplify]: Simplify 0 into 0
2.275 * [backup-simplify]: Simplify 1 into 1
2.275 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
2.275 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.275 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.275 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.275 * [taylor]: Taking taylor expansion of t in t
2.275 * [backup-simplify]: Simplify 0 into 0
2.275 * [backup-simplify]: Simplify 1 into 1
2.275 * [backup-simplify]: Simplify (* 1 1) into 1
2.276 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
2.276 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.276 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.276 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
2.276 * [backup-simplify]: Simplify 0 into 0
2.277 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.277 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
2.278 * [backup-simplify]: Simplify 0 into 0
2.278 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.279 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.279 * [backup-simplify]: Simplify 0 into 0
2.279 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.280 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.280 * [backup-simplify]: Simplify 0 into 0
2.281 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.282 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.282 * [backup-simplify]: Simplify 0 into 0
2.283 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.284 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.284 * [backup-simplify]: Simplify 0 into 0
2.284 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
2.284 * [backup-simplify]: Simplify (* (* (/ 1 t) (/ 2028240960365167.0 1.0141204801825835e+31)) (- (+ (+ 1.0 (* (/ 1 t) (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)) into (/ 3.9999999999999997e-32 (pow t 2))
2.285 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
2.285 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
2.285 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.285 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.285 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.285 * [taylor]: Taking taylor expansion of t in t
2.285 * [backup-simplify]: Simplify 0 into 0
2.285 * [backup-simplify]: Simplify 1 into 1
2.285 * [backup-simplify]: Simplify (* 1 1) into 1
2.285 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
2.285 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
2.285 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.285 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.285 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.285 * [taylor]: Taking taylor expansion of t in t
2.285 * [backup-simplify]: Simplify 0 into 0
2.285 * [backup-simplify]: Simplify 1 into 1
2.286 * [backup-simplify]: Simplify (* 1 1) into 1
2.286 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
2.286 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.286 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.287 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
2.287 * [backup-simplify]: Simplify 0 into 0
2.287 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.288 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.288 * [backup-simplify]: Simplify 0 into 0
2.289 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.289 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.289 * [backup-simplify]: Simplify 0 into 0
2.290 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.290 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.291 * [backup-simplify]: Simplify 0 into 0
2.291 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.292 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.292 * [backup-simplify]: Simplify 0 into 0
2.293 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.293 * [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
2.293 * [backup-simplify]: Simplify 0 into 0
2.294 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
2.294 * [backup-simplify]: Simplify (* (* (/ 1 (- t)) (/ 2028240960365167.0 1.0141204801825835e+31)) (- (+ (+ 1.0 (* (/ 1 (- t)) (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)) into (/ 3.9999999999999997e-32 (pow t 2))
2.294 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
2.295 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
2.295 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.295 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.295 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.295 * [taylor]: Taking taylor expansion of t in t
2.295 * [backup-simplify]: Simplify 0 into 0
2.295 * [backup-simplify]: Simplify 1 into 1
2.295 * [backup-simplify]: Simplify (* 1 1) into 1
2.295 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
2.296 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
2.296 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
2.296 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.296 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.296 * [taylor]: Taking taylor expansion of t in t
2.296 * [backup-simplify]: Simplify 0 into 0
2.296 * [backup-simplify]: Simplify 1 into 1
2.296 * [backup-simplify]: Simplify (* 1 1) into 1
2.296 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
2.297 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
2.297 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.298 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
2.298 * [backup-simplify]: Simplify 0 into 0
2.299 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.300 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.300 * [backup-simplify]: Simplify 0 into 0
2.301 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.302 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.302 * [backup-simplify]: Simplify 0 into 0
2.303 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.304 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.304 * [backup-simplify]: Simplify 0 into 0
2.305 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.307 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.307 * [backup-simplify]: Simplify 0 into 0
2.308 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.310 * [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
2.310 * [backup-simplify]: Simplify 0 into 0
2.310 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
2.310 * * * [progress]: simplifying candidates
2.313 * [simplify]: Simplifying:
  (/ (* (* (exp 1.0) (exp (* t (/ 2028240960365167.0 1.0141204801825835e+31)))) (exp 1.0)) (exp 2.0))
  (/ (* (exp (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31)))) (exp 1.0)) (exp 2.0))
  (/ (exp (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0)) (exp 2.0))
  (log (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0))
  (exp (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0))
  (* (cbrt (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)) (cbrt (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)))
  (cbrt (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0))
  (* (* (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0) (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)) (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0))
  (sqrt (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0))
  (sqrt (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0))
  (- (pow (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 3) (pow 2.0 3))
  (+ (* (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0)) (+ (* 2.0 2.0) (* (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)))
  (- 2.0)
  (- (* (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0)) (* 2.0 2.0))
  (+ (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)
  (+ (sqrt (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0)) (sqrt 2.0))
  (- (sqrt (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0)) (sqrt 2.0))
  (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)
  (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)
  (- 1.0 2.0)
  (- 2.0)
  (* (* t (/ 2028240960365167.0 1.0141204801825835e+31)) (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0))
  (* (* t (/ 2028240960365167.0 1.0141204801825835e+31)) (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0))
  (+ (+ (log t) (- (log 2028240960365167.0) (log 1.0141204801825835e+31))) (log (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)))
  (+ (+ (log t) (log (/ 2028240960365167.0 1.0141204801825835e+31))) (log (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)))
  (+ (log (* t (/ 2028240960365167.0 1.0141204801825835e+31))) (log (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)))
  (log (* (* t (/ 2028240960365167.0 1.0141204801825835e+31)) (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)))
  (exp (* (* t (/ 2028240960365167.0 1.0141204801825835e+31)) (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)))
  (* (* (* (* t t) t) (/ (* (* 2028240960365167.0 2028240960365167.0) 2028240960365167.0) (* (* 1.0141204801825835e+31 1.0141204801825835e+31) 1.0141204801825835e+31))) (* (* (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0) (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)) (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)))
  (* (* (* (* t t) t) (* (* (/ 2028240960365167.0 1.0141204801825835e+31) (/ 2028240960365167.0 1.0141204801825835e+31)) (/ 2028240960365167.0 1.0141204801825835e+31))) (* (* (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0) (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)) (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)))
  (* (* (* (* t (/ 2028240960365167.0 1.0141204801825835e+31)) (* t (/ 2028240960365167.0 1.0141204801825835e+31))) (* t (/ 2028240960365167.0 1.0141204801825835e+31))) (* (* (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0) (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)) (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)))
  (* (cbrt (* (* t (/ 2028240960365167.0 1.0141204801825835e+31)) (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0))) (cbrt (* (* t (/ 2028240960365167.0 1.0141204801825835e+31)) (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0))))
  (cbrt (* (* t (/ 2028240960365167.0 1.0141204801825835e+31)) (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)))
  (* (* (* (* t (/ 2028240960365167.0 1.0141204801825835e+31)) (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)) (* (* t (/ 2028240960365167.0 1.0141204801825835e+31)) (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0))) (* (* t (/ 2028240960365167.0 1.0141204801825835e+31)) (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)))
  (sqrt (* (* t (/ 2028240960365167.0 1.0141204801825835e+31)) (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)))
  (sqrt (* (* t (/ 2028240960365167.0 1.0141204801825835e+31)) (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)))
  (* (* t 2028240960365167.0) (- (pow (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 3) (pow 2.0 3)))
  (* 1.0141204801825835e+31 (+ (* (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0)) (+ (* 2.0 2.0) (* (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0))))
  (* (* t 2028240960365167.0) (- (* (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0)) (* 2.0 2.0)))
  (* 1.0141204801825835e+31 (+ (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0))
  (* (* t (/ 2028240960365167.0 1.0141204801825835e+31)) (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0))
  (* (* t (/ 2028240960365167.0 1.0141204801825835e+31)) (- 2.0))
  (* (* t (/ 2028240960365167.0 1.0141204801825835e+31)) (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))))
  (* (* t (/ 2028240960365167.0 1.0141204801825835e+31)) (- 1.0 2.0))
  (* (* t (/ 2028240960365167.0 1.0141204801825835e+31)) (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0))
  (* (* t (/ 2028240960365167.0 1.0141204801825835e+31)) (- 2.0))
  (* (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) (* t (/ 2028240960365167.0 1.0141204801825835e+31)))
  (* (- 2.0) (* t (/ 2028240960365167.0 1.0141204801825835e+31)))
  (* (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) (* t (/ 2028240960365167.0 1.0141204801825835e+31)))
  (* (- 1.0 2.0) (* t (/ 2028240960365167.0 1.0141204801825835e+31)))
  (* (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) (* t (/ 2028240960365167.0 1.0141204801825835e+31)))
  (* (- 2.0) (* t (/ 2028240960365167.0 1.0141204801825835e+31)))
  (* (* t (/ 2028240960365167.0 1.0141204801825835e+31)) (* (cbrt (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)) (cbrt (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0))))
  (* (* t (/ 2028240960365167.0 1.0141204801825835e+31)) (sqrt (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)))
  (* (* t (/ 2028240960365167.0 1.0141204801825835e+31)) 1)
  (* (* t (/ 2028240960365167.0 1.0141204801825835e+31)) (+ (sqrt (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0)) (sqrt 2.0)))
  (* (* t (/ 2028240960365167.0 1.0141204801825835e+31)) 1)
  (* (* t (/ 2028240960365167.0 1.0141204801825835e+31)) 1)
  (* (/ 2028240960365167.0 1.0141204801825835e+31) (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0))
  (* (* t (/ 2028240960365167.0 1.0141204801825835e+31)) (- (pow (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 3) (pow 2.0 3)))
  (* (* t (/ 2028240960365167.0 1.0141204801825835e+31)) (- (* (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0)) (* 2.0 2.0)))
  (* (* t 2028240960365167.0) (- (+ (+ 1.0 (* t (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0))
  (* 2e-16 t)
  (* 2e-16 t)
  (* 2e-16 t)
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
2.315 * [simplify]: Sending expressions to egg_math:
 (/ (* (* (exp 1.0) (exp (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)))) (exp 1.0)) (exp 2.0))
 (/ (* (exp (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)))) (exp 1.0)) (exp 2.0))
 (/ (exp (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0)) (exp 2.0))
 (log (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0))
 (exp (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0))
 (* (cbrt (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)) (cbrt (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)))
 (cbrt (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0))
 (* (* (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0) (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)) (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0))
 (sqrt (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0))
 (sqrt (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0))
 (- (pow (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 3) (pow 2.0 3))
 (+ (* (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0)) (+ (* 2.0 2.0) (* (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)))
 (- 2.0)
 (- (* (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0)) (* 2.0 2.0))
 (+ (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)
 (+ (sqrt (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0)) (sqrt 2.0))
 (- (sqrt (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0)) (sqrt 2.0))
 (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)
 (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)
 (- 1.0 2.0)
 (- 2.0)
 (* (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)) (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0))
 (* (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)) (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0))
 (+ (+ (log h0) (- (log 2028240960365167.0) (log 1.0141204801825835e+31))) (log (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)))
 (+ (+ (log h0) (log (/ 2028240960365167.0 1.0141204801825835e+31))) (log (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)))
 (+ (log (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) (log (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)))
 (log (* (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)) (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)))
 (exp (* (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)) (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)))
 (* (* (* (* h0 h0) h0) (/ (* (* 2028240960365167.0 2028240960365167.0) 2028240960365167.0) (* (* 1.0141204801825835e+31 1.0141204801825835e+31) 1.0141204801825835e+31))) (* (* (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0) (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)) (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)))
 (* (* (* (* h0 h0) h0) (* (* (/ 2028240960365167.0 1.0141204801825835e+31) (/ 2028240960365167.0 1.0141204801825835e+31)) (/ 2028240960365167.0 1.0141204801825835e+31))) (* (* (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0) (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)) (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)))
 (* (* (* (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)) (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) (* (* (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0) (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)) (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)))
 (* (cbrt (* (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)) (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0))) (cbrt (* (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)) (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0))))
 (cbrt (* (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)) (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)))
 (* (* (* (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)) (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)) (* (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)) (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0))) (* (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)) (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)))
 (sqrt (* (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)) (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)))
 (sqrt (* (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)) (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)))
 (* (* h0 2028240960365167.0) (- (pow (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 3) (pow 2.0 3)))
 (* 1.0141204801825835e+31 (+ (* (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0)) (+ (* 2.0 2.0) (* (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0))))
 (* (* h0 2028240960365167.0) (- (* (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0)) (* 2.0 2.0)))
 (* 1.0141204801825835e+31 (+ (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0))
 (* (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)) (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0))
 (* (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)) (- 2.0))
 (* (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)) (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))))
 (* (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)) (- 1.0 2.0))
 (* (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)) (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0))
 (* (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)) (- 2.0))
 (* (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)))
 (* (- 2.0) (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)))
 (* (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)))
 (* (- 1.0 2.0) (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)))
 (* (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)))
 (* (- 2.0) (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)))
 (* (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)) (* (cbrt (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)) (cbrt (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0))))
 (* (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)) (sqrt (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0)))
 (* (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)) 1)
 (* (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)) (+ (sqrt (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0)) (sqrt 2.0)))
 (* (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)) 1)
 (* (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)) 1)
 (* (/ 2028240960365167.0 1.0141204801825835e+31) (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0))
 (* (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)) (- (pow (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 3) (pow 2.0 3)))
 (* (* h0 (/ 2028240960365167.0 1.0141204801825835e+31)) (- (* (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0)) (* 2.0 2.0)))
 (* (* h0 2028240960365167.0) (- (+ (+ 1.0 (* h0 (/ 2028240960365167.0 1.0141204801825835e+31))) 1.0) 2.0))
 (* (/ 2028240960365167.0 1.0141204801825835e+31) h0)
 (* (/ 2028240960365167.0 1.0141204801825835e+31) h0)
 (* (/ 2028240960365167.0 1.0141204801825835e+31) h0)
 (* (/ 3653754093327257.0 9.134385233318143e+46) (pow h0 2))
 (* (/ 3653754093327257.0 9.134385233318143e+46) (pow h0 2))
 (* (/ 3653754093327257.0 9.134385233318143e+46) (pow h0 2))
3.111 * * * [progress]: adding candidates to table
3.265 * * [progress]: iteration 2 / 4
3.265 * * * [progress]: picking best candidate
3.271 * * * * [pick]: Picked  #<alt (λ (t) (+ (+ -1.0 (* 1.0 1.0)) (* (/ 3653754093327257.0 9.134385233318143e+46) (pow t 2))))>
3.271 * * * [progress]: localizing error
3.290 * * * [progress]: generating rewritten candidates
3.290 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
3.313 * * * [progress]: generating series expansions
3.313 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
3.314 * [backup-simplify]: Simplify (* (/ 3653754093327257.0 9.134385233318143e+46) (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
3.314 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
3.314 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
3.314 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
3.314 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
3.314 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.314 * [taylor]: Taking taylor expansion of t in t
3.314 * [backup-simplify]: Simplify 0 into 0
3.314 * [backup-simplify]: Simplify 1 into 1
3.314 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
3.314 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
3.314 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
3.314 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.314 * [taylor]: Taking taylor expansion of t in t
3.315 * [backup-simplify]: Simplify 0 into 0
3.315 * [backup-simplify]: Simplify 1 into 1
3.315 * [backup-simplify]: Simplify (* 1 1) into 1
3.315 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
3.315 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
3.316 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.316 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
3.316 * [backup-simplify]: Simplify 0 into 0
3.317 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.317 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
3.317 * [backup-simplify]: Simplify 0 into 0
3.318 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.318 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.319 * [backup-simplify]: Simplify 0 into 0
3.319 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.320 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.320 * [backup-simplify]: Simplify 0 into 0
3.321 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.322 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.322 * [backup-simplify]: Simplify 0 into 0
3.322 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.323 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.323 * [backup-simplify]: Simplify 0 into 0
3.323 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
3.324 * [backup-simplify]: Simplify (* (/ 3653754093327257.0 9.134385233318143e+46) (pow (/ 1 t) 2)) into (/ 3.9999999999999997e-32 (pow t 2))
3.324 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
3.324 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
3.324 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
3.324 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
3.324 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.324 * [taylor]: Taking taylor expansion of t in t
3.324 * [backup-simplify]: Simplify 0 into 0
3.324 * [backup-simplify]: Simplify 1 into 1
3.324 * [backup-simplify]: Simplify (* 1 1) into 1
3.325 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
3.325 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
3.325 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
3.325 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
3.325 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.325 * [taylor]: Taking taylor expansion of t in t
3.325 * [backup-simplify]: Simplify 0 into 0
3.325 * [backup-simplify]: Simplify 1 into 1
3.325 * [backup-simplify]: Simplify (* 1 1) into 1
3.325 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
3.325 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
3.326 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.326 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
3.326 * [backup-simplify]: Simplify 0 into 0
3.327 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.328 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.328 * [backup-simplify]: Simplify 0 into 0
3.329 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.330 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.330 * [backup-simplify]: Simplify 0 into 0
3.332 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.333 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.333 * [backup-simplify]: Simplify 0 into 0
3.334 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.335 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.335 * [backup-simplify]: Simplify 0 into 0
3.338 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.339 * [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
3.339 * [backup-simplify]: Simplify 0 into 0
3.339 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
3.340 * [backup-simplify]: Simplify (* (/ 3653754093327257.0 9.134385233318143e+46) (pow (/ 1 (- t)) 2)) into (/ 3.9999999999999997e-32 (pow t 2))
3.340 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
3.340 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
3.340 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
3.340 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
3.340 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.340 * [taylor]: Taking taylor expansion of t in t
3.340 * [backup-simplify]: Simplify 0 into 0
3.340 * [backup-simplify]: Simplify 1 into 1
3.340 * [backup-simplify]: Simplify (* 1 1) into 1
3.341 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
3.341 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
3.341 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
3.341 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
3.341 * [taylor]: Taking taylor expansion of (pow t 2) in t
3.341 * [taylor]: Taking taylor expansion of t in t
3.341 * [backup-simplify]: Simplify 0 into 0
3.341 * [backup-simplify]: Simplify 1 into 1
3.341 * [backup-simplify]: Simplify (* 1 1) into 1
3.342 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
3.342 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
3.343 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.344 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
3.344 * [backup-simplify]: Simplify 0 into 0
3.345 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.346 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.346 * [backup-simplify]: Simplify 0 into 0
3.347 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.348 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.348 * [backup-simplify]: Simplify 0 into 0
3.349 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.350 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.350 * [backup-simplify]: Simplify 0 into 0
3.352 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.353 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.353 * [backup-simplify]: Simplify 0 into 0
3.354 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.356 * [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
3.356 * [backup-simplify]: Simplify 0 into 0
3.356 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
3.356 * * * [progress]: simplifying candidates
3.358 * [simplify]: Simplifying:
  (+ (- (log 3653754093327257.0) (log 9.134385233318143e+46)) (* (log t) 2))
  (+ (- (log 3653754093327257.0) (log 9.134385233318143e+46)) (* (log t) 2))
  (+ (- (log 3653754093327257.0) (log 9.134385233318143e+46)) (log (pow t 2)))
  (+ (log (/ 3653754093327257.0 9.134385233318143e+46)) (* (log t) 2))
  (+ (log (/ 3653754093327257.0 9.134385233318143e+46)) (* (log t) 2))
  (+ (log (/ 3653754093327257.0 9.134385233318143e+46)) (log (pow t 2)))
  (log (* (/ 3653754093327257.0 9.134385233318143e+46) (pow t 2)))
  (exp (* (/ 3653754093327257.0 9.134385233318143e+46) (pow t 2)))
  (* (/ (* (* 3653754093327257.0 3653754093327257.0) 3653754093327257.0) (* (* 9.134385233318143e+46 9.134385233318143e+46) 9.134385233318143e+46)) (* (* (pow t 2) (pow t 2)) (pow t 2)))
  (* (* (* (/ 3653754093327257.0 9.134385233318143e+46) (/ 3653754093327257.0 9.134385233318143e+46)) (/ 3653754093327257.0 9.134385233318143e+46)) (* (* (pow t 2) (pow t 2)) (pow t 2)))
  (* (cbrt (* (/ 3653754093327257.0 9.134385233318143e+46) (pow t 2))) (cbrt (* (/ 3653754093327257.0 9.134385233318143e+46) (pow t 2))))
  (cbrt (* (/ 3653754093327257.0 9.134385233318143e+46) (pow t 2)))
  (* (* (* (/ 3653754093327257.0 9.134385233318143e+46) (pow t 2)) (* (/ 3653754093327257.0 9.134385233318143e+46) (pow t 2))) (* (/ 3653754093327257.0 9.134385233318143e+46) (pow t 2)))
  (sqrt (* (/ 3653754093327257.0 9.134385233318143e+46) (pow t 2)))
  (sqrt (* (/ 3653754093327257.0 9.134385233318143e+46) (pow t 2)))
  (* (sqrt (/ 3653754093327257.0 9.134385233318143e+46)) (pow (sqrt t) 2))
  (* (sqrt (/ 3653754093327257.0 9.134385233318143e+46)) (pow (sqrt t) 2))
  (* (sqrt (/ 3653754093327257.0 9.134385233318143e+46)) t)
  (* (sqrt (/ 3653754093327257.0 9.134385233318143e+46)) t)
  (* (sqrt (/ 3653754093327257.0 9.134385233318143e+46)) (sqrt (pow t 2)))
  (* (sqrt (/ 3653754093327257.0 9.134385233318143e+46)) (sqrt (pow t 2)))
  (* (sqrt (/ 3653754093327257.0 9.134385233318143e+46)) (pow t (/ 2 2)))
  (* (sqrt (/ 3653754093327257.0 9.134385233318143e+46)) (pow t (/ 2 2)))
  (* (/ (sqrt 3653754093327257.0) (sqrt 9.134385233318143e+46)) (pow (sqrt t) 2))
  (* (/ (sqrt 3653754093327257.0) (sqrt 9.134385233318143e+46)) (pow (sqrt t) 2))
  (* (/ (sqrt 3653754093327257.0) (sqrt 9.134385233318143e+46)) t)
  (* (/ (sqrt 3653754093327257.0) (sqrt 9.134385233318143e+46)) t)
  (* (/ (sqrt 3653754093327257.0) (sqrt 9.134385233318143e+46)) (sqrt (pow t 2)))
  (* (/ (sqrt 3653754093327257.0) (sqrt 9.134385233318143e+46)) (sqrt (pow t 2)))
  (* (/ (sqrt 3653754093327257.0) (sqrt 9.134385233318143e+46)) (pow t (/ 2 2)))
  (* (/ (sqrt 3653754093327257.0) (sqrt 9.134385233318143e+46)) (pow t (/ 2 2)))
  (* (/ 3653754093327257.0 9.134385233318143e+46) (pow (* (cbrt t) (cbrt t)) 2))
  (* (/ 3653754093327257.0 9.134385233318143e+46) (pow (sqrt t) 2))
  (* (/ 3653754093327257.0 9.134385233318143e+46) (pow 1 2))
  (* (/ 3653754093327257.0 9.134385233318143e+46) t)
  (* (/ 3653754093327257.0 9.134385233318143e+46) (* (cbrt (pow t 2)) (cbrt (pow t 2))))
  (* (/ 3653754093327257.0 9.134385233318143e+46) (sqrt (pow t 2)))
  (* (/ 3653754093327257.0 9.134385233318143e+46) 1)
  (* (/ 3653754093327257.0 9.134385233318143e+46) (pow t (/ 2 2)))
  (* (cbrt (/ 3653754093327257.0 9.134385233318143e+46)) (pow t 2))
  (* (sqrt (/ 3653754093327257.0 9.134385233318143e+46)) (pow t 2))
  (* (/ (cbrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2))
  (* (/ (cbrt 3653754093327257.0) (sqrt 9.134385233318143e+46)) (pow t 2))
  (* (/ (cbrt 3653754093327257.0) 9.134385233318143e+46) (pow t 2))
  (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2))
  (* (/ (sqrt 3653754093327257.0) (sqrt 9.134385233318143e+46)) (pow t 2))
  (* (/ (sqrt 3653754093327257.0) 9.134385233318143e+46) (pow t 2))
  (* (/ 3653754093327257.0 (cbrt 9.134385233318143e+46)) (pow t 2))
  (* (/ 3653754093327257.0 (sqrt 9.134385233318143e+46)) (pow t 2))
  (* (/ 3653754093327257.0 9.134385233318143e+46) (pow t 2))
  (* (/ 3653754093327257.0 9.134385233318143e+46) (pow t 2))
  (* (/ 1 9.134385233318143e+46) (pow t 2))
  (* 3653754093327257.0 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
3.359 * [simplify]: Sending expressions to egg_math:
 (+ (- (log 3653754093327257.0) (log 9.134385233318143e+46)) (* (log h0) 2))
 (+ (- (log 3653754093327257.0) (log 9.134385233318143e+46)) (* (log h0) 2))
 (+ (- (log 3653754093327257.0) (log 9.134385233318143e+46)) (log (pow h0 2)))
 (+ (log (/ 3653754093327257.0 9.134385233318143e+46)) (* (log h0) 2))
 (+ (log (/ 3653754093327257.0 9.134385233318143e+46)) (* (log h0) 2))
 (+ (log (/ 3653754093327257.0 9.134385233318143e+46)) (log (pow h0 2)))
 (log (* (/ 3653754093327257.0 9.134385233318143e+46) (pow h0 2)))
 (exp (* (/ 3653754093327257.0 9.134385233318143e+46) (pow h0 2)))
 (* (/ (* (* 3653754093327257.0 3653754093327257.0) 3653754093327257.0) (* (* 9.134385233318143e+46 9.134385233318143e+46) 9.134385233318143e+46)) (* (* (pow h0 2) (pow h0 2)) (pow h0 2)))
 (* (* (* (/ 3653754093327257.0 9.134385233318143e+46) (/ 3653754093327257.0 9.134385233318143e+46)) (/ 3653754093327257.0 9.134385233318143e+46)) (* (* (pow h0 2) (pow h0 2)) (pow h0 2)))
 (* (cbrt (* (/ 3653754093327257.0 9.134385233318143e+46) (pow h0 2))) (cbrt (* (/ 3653754093327257.0 9.134385233318143e+46) (pow h0 2))))
 (cbrt (* (/ 3653754093327257.0 9.134385233318143e+46) (pow h0 2)))
 (* (* (* (/ 3653754093327257.0 9.134385233318143e+46) (pow h0 2)) (* (/ 3653754093327257.0 9.134385233318143e+46) (pow h0 2))) (* (/ 3653754093327257.0 9.134385233318143e+46) (pow h0 2)))
 (sqrt (* (/ 3653754093327257.0 9.134385233318143e+46) (pow h0 2)))
 (sqrt (* (/ 3653754093327257.0 9.134385233318143e+46) (pow h0 2)))
 (* (sqrt (/ 3653754093327257.0 9.134385233318143e+46)) (pow (sqrt h0) 2))
 (* (sqrt (/ 3653754093327257.0 9.134385233318143e+46)) (pow (sqrt h0) 2))
 (* (sqrt (/ 3653754093327257.0 9.134385233318143e+46)) h0)
 (* (sqrt (/ 3653754093327257.0 9.134385233318143e+46)) h0)
 (* (sqrt (/ 3653754093327257.0 9.134385233318143e+46)) (sqrt (pow h0 2)))
 (* (sqrt (/ 3653754093327257.0 9.134385233318143e+46)) (sqrt (pow h0 2)))
 (* (sqrt (/ 3653754093327257.0 9.134385233318143e+46)) (pow h0 (/ 2 2)))
 (* (sqrt (/ 3653754093327257.0 9.134385233318143e+46)) (pow h0 (/ 2 2)))
 (* (/ (sqrt 3653754093327257.0) (sqrt 9.134385233318143e+46)) (pow (sqrt h0) 2))
 (* (/ (sqrt 3653754093327257.0) (sqrt 9.134385233318143e+46)) (pow (sqrt h0) 2))
 (* (/ (sqrt 3653754093327257.0) (sqrt 9.134385233318143e+46)) h0)
 (* (/ (sqrt 3653754093327257.0) (sqrt 9.134385233318143e+46)) h0)
 (* (/ (sqrt 3653754093327257.0) (sqrt 9.134385233318143e+46)) (sqrt (pow h0 2)))
 (* (/ (sqrt 3653754093327257.0) (sqrt 9.134385233318143e+46)) (sqrt (pow h0 2)))
 (* (/ (sqrt 3653754093327257.0) (sqrt 9.134385233318143e+46)) (pow h0 (/ 2 2)))
 (* (/ (sqrt 3653754093327257.0) (sqrt 9.134385233318143e+46)) (pow h0 (/ 2 2)))
 (* (/ 3653754093327257.0 9.134385233318143e+46) (pow (* (cbrt h0) (cbrt h0)) 2))
 (* (/ 3653754093327257.0 9.134385233318143e+46) (pow (sqrt h0) 2))
 (* (/ 3653754093327257.0 9.134385233318143e+46) (pow 1 2))
 (* (/ 3653754093327257.0 9.134385233318143e+46) h0)
 (* (/ 3653754093327257.0 9.134385233318143e+46) (* (cbrt (pow h0 2)) (cbrt (pow h0 2))))
 (* (/ 3653754093327257.0 9.134385233318143e+46) (sqrt (pow h0 2)))
 (* (/ 3653754093327257.0 9.134385233318143e+46) 1)
 (* (/ 3653754093327257.0 9.134385233318143e+46) (pow h0 (/ 2 2)))
 (* (cbrt (/ 3653754093327257.0 9.134385233318143e+46)) (pow h0 2))
 (* (sqrt (/ 3653754093327257.0 9.134385233318143e+46)) (pow h0 2))
 (* (/ (cbrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2))
 (* (/ (cbrt 3653754093327257.0) (sqrt 9.134385233318143e+46)) (pow h0 2))
 (* (/ (cbrt 3653754093327257.0) 9.134385233318143e+46) (pow h0 2))
 (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2))
 (* (/ (sqrt 3653754093327257.0) (sqrt 9.134385233318143e+46)) (pow h0 2))
 (* (/ (sqrt 3653754093327257.0) 9.134385233318143e+46) (pow h0 2))
 (* (/ 3653754093327257.0 (cbrt 9.134385233318143e+46)) (pow h0 2))
 (* (/ 3653754093327257.0 (sqrt 9.134385233318143e+46)) (pow h0 2))
 (* (/ 3653754093327257.0 9.134385233318143e+46) (pow h0 2))
 (* (/ 3653754093327257.0 9.134385233318143e+46) (pow h0 2))
 (* (/ 1 9.134385233318143e+46) (pow h0 2))
 (* 3653754093327257.0 (pow h0 2))
 (* (/ 3653754093327257.0 9.134385233318143e+46) (pow h0 2))
 (* (/ 3653754093327257.0 9.134385233318143e+46) (pow h0 2))
 (* (/ 3653754093327257.0 9.134385233318143e+46) (pow h0 2))
6.051 * * * [progress]: adding candidates to table
6.192 * * [progress]: iteration 3 / 4
6.192 * * * [progress]: picking best candidate
6.215 * * * * [pick]: Picked  #<alt (λ (t) (+ (+ -1.0 (* 1.0 1.0)) (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2)))))>
6.215 * * * [progress]: localizing error
6.235 * * * [progress]: generating rewritten candidates
6.235 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2)
6.301 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
6.441 * * * [progress]: generating series expansions
6.441 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2)
6.443 * [backup-simplify]: Simplify (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2)) into (/ (* (pow t 2) (sqrt 3653754093327257.0)) (cbrt 9.134385233318143e+46))
6.444 * [approximate]: Taking taylor expansion of (/ (* (pow t 2) (sqrt 3653754093327257.0)) (cbrt 9.134385233318143e+46)) in (t) around 0
6.444 * [taylor]: Taking taylor expansion of (/ (* (pow t 2) (sqrt 3653754093327257.0)) (cbrt 9.134385233318143e+46)) in t
6.444 * [taylor]: Taking taylor expansion of (* (pow t 2) (sqrt 3653754093327257.0)) in t
6.444 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.444 * [taylor]: Taking taylor expansion of t in t
6.444 * [backup-simplify]: Simplify 0 into 0
6.444 * [backup-simplify]: Simplify 1 into 1
6.444 * [taylor]: Taking taylor expansion of (sqrt 3653754093327257.0) in t
6.444 * [taylor]: Taking taylor expansion of 3653754093327257.0 in t
6.444 * [backup-simplify]: Simplify 3653754093327257.0 into 3653754093327257.0
6.444 * [backup-simplify]: Simplify (sqrt 3653754093327257.0) into (sqrt 3653754093327257.0)
6.445 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3653754093327257.0))) into 0
6.445 * [taylor]: Taking taylor expansion of (cbrt 9.134385233318143e+46) in t
6.445 * [taylor]: Taking taylor expansion of 9.134385233318143e+46 in t
6.445 * [backup-simplify]: Simplify 9.134385233318143e+46 into 9.134385233318143e+46
6.446 * [backup-simplify]: Simplify (cbrt 9.134385233318143e+46) into (cbrt 9.134385233318143e+46)
6.447 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 9.134385233318143e+46))) into 0
6.447 * [backup-simplify]: Simplify (* 1 1) into 1
6.448 * [backup-simplify]: Simplify (* 1 (sqrt 3653754093327257.0)) into (sqrt 3653754093327257.0)
6.449 * [backup-simplify]: Simplify (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) into (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))
6.450 * [taylor]: Taking taylor expansion of (/ (* (pow t 2) (sqrt 3653754093327257.0)) (cbrt 9.134385233318143e+46)) in t
6.450 * [taylor]: Taking taylor expansion of (* (pow t 2) (sqrt 3653754093327257.0)) in t
6.450 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.450 * [taylor]: Taking taylor expansion of t in t
6.450 * [backup-simplify]: Simplify 0 into 0
6.450 * [backup-simplify]: Simplify 1 into 1
6.450 * [taylor]: Taking taylor expansion of (sqrt 3653754093327257.0) in t
6.450 * [taylor]: Taking taylor expansion of 3653754093327257.0 in t
6.450 * [backup-simplify]: Simplify 3653754093327257.0 into 3653754093327257.0
6.450 * [backup-simplify]: Simplify (sqrt 3653754093327257.0) into (sqrt 3653754093327257.0)
6.451 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3653754093327257.0))) into 0
6.451 * [taylor]: Taking taylor expansion of (cbrt 9.134385233318143e+46) in t
6.451 * [taylor]: Taking taylor expansion of 9.134385233318143e+46 in t
6.451 * [backup-simplify]: Simplify 9.134385233318143e+46 into 9.134385233318143e+46
6.452 * [backup-simplify]: Simplify (cbrt 9.134385233318143e+46) into (cbrt 9.134385233318143e+46)
6.452 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 9.134385233318143e+46))) into 0
6.453 * [backup-simplify]: Simplify (* 1 1) into 1
6.454 * [backup-simplify]: Simplify (* 1 (sqrt 3653754093327257.0)) into (sqrt 3653754093327257.0)
6.455 * [backup-simplify]: Simplify (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) into (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))
6.457 * [backup-simplify]: Simplify (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) into (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))
6.457 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.458 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (sqrt 3653754093327257.0))) into 0
6.459 * [backup-simplify]: Simplify (- (/ 0 (cbrt 9.134385233318143e+46)) (+ (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (/ 0 (cbrt 9.134385233318143e+46))))) into 0
6.459 * [backup-simplify]: Simplify 0 into 0
6.460 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3653754093327257.0))) into 0
6.460 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.461 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 3653754093327257.0)))) into 0
6.462 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 9.134385233318143e+46))))) (* 3 (cbrt 9.134385233318143e+46))) into 0
6.463 * [backup-simplify]: Simplify (- (/ 0 (cbrt 9.134385233318143e+46)) (+ (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))))) into 0
6.463 * [backup-simplify]: Simplify 0 into 0
6.464 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3653754093327257.0))) into 0
6.464 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.465 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3653754093327257.0))))) into 0
6.466 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 9.134385233318143e+46))) into 0
6.467 * [backup-simplify]: Simplify (- (/ 0 (cbrt 9.134385233318143e+46)) (+ (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))))) into 0
6.467 * [backup-simplify]: Simplify 0 into 0
6.468 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3653754093327257.0))) into 0
6.468 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.469 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3653754093327257.0)))))) into 0
6.470 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 9.134385233318143e+46))))) (* 3 (cbrt 9.134385233318143e+46))) into 0
6.471 * [backup-simplify]: Simplify (- (/ 0 (cbrt 9.134385233318143e+46)) (+ (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))))) into 0
6.471 * [backup-simplify]: Simplify 0 into 0
6.472 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3653754093327257.0))) into 0
6.473 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.474 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3653754093327257.0))))))) into 0
6.475 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 9.134385233318143e+46))) into 0
6.476 * [backup-simplify]: Simplify (- (/ 0 (cbrt 9.134385233318143e+46)) (+ (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))))) into 0
6.476 * [backup-simplify]: Simplify 0 into 0
6.476 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3653754093327257.0))) into 0
6.477 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.478 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3653754093327257.0)))))))) into 0
6.479 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 9.134385233318143e+46))))) (* 3 (cbrt 9.134385233318143e+46))) into 0
6.480 * [backup-simplify]: Simplify (- (/ 0 (cbrt 9.134385233318143e+46)) (+ (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))))) into 0
6.481 * [backup-simplify]: Simplify 0 into 0
6.489 * [backup-simplify]: Simplify (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2)) into (/ (* (pow t 2) (sqrt 3653754093327257.0)) (cbrt 9.134385233318143e+46))
6.490 * [backup-simplify]: Simplify (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow (/ 1 t) 2)) into (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (pow t 2)))
6.490 * [approximate]: Taking taylor expansion of (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (pow t 2))) in (t) around 0
6.490 * [taylor]: Taking taylor expansion of (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (pow t 2))) in t
6.490 * [taylor]: Taking taylor expansion of (sqrt 3653754093327257.0) in t
6.490 * [taylor]: Taking taylor expansion of 3653754093327257.0 in t
6.490 * [backup-simplify]: Simplify 3653754093327257.0 into 3653754093327257.0
6.490 * [backup-simplify]: Simplify (sqrt 3653754093327257.0) into (sqrt 3653754093327257.0)
6.491 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3653754093327257.0))) into 0
6.491 * [taylor]: Taking taylor expansion of (* (cbrt 9.134385233318143e+46) (pow t 2)) in t
6.491 * [taylor]: Taking taylor expansion of (cbrt 9.134385233318143e+46) in t
6.491 * [taylor]: Taking taylor expansion of 9.134385233318143e+46 in t
6.491 * [backup-simplify]: Simplify 9.134385233318143e+46 into 9.134385233318143e+46
6.491 * [backup-simplify]: Simplify (cbrt 9.134385233318143e+46) into (cbrt 9.134385233318143e+46)
6.492 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 9.134385233318143e+46))) into 0
6.492 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.492 * [taylor]: Taking taylor expansion of t in t
6.492 * [backup-simplify]: Simplify 0 into 0
6.492 * [backup-simplify]: Simplify 1 into 1
6.492 * [backup-simplify]: Simplify (* 1 1) into 1
6.492 * [backup-simplify]: Simplify (* (cbrt 9.134385233318143e+46) 1) into (cbrt 9.134385233318143e+46)
6.493 * [backup-simplify]: Simplify (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) into (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))
6.493 * [taylor]: Taking taylor expansion of (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (pow t 2))) in t
6.493 * [taylor]: Taking taylor expansion of (sqrt 3653754093327257.0) in t
6.493 * [taylor]: Taking taylor expansion of 3653754093327257.0 in t
6.493 * [backup-simplify]: Simplify 3653754093327257.0 into 3653754093327257.0
6.494 * [backup-simplify]: Simplify (sqrt 3653754093327257.0) into (sqrt 3653754093327257.0)
6.494 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3653754093327257.0))) into 0
6.494 * [taylor]: Taking taylor expansion of (* (cbrt 9.134385233318143e+46) (pow t 2)) in t
6.494 * [taylor]: Taking taylor expansion of (cbrt 9.134385233318143e+46) in t
6.494 * [taylor]: Taking taylor expansion of 9.134385233318143e+46 in t
6.494 * [backup-simplify]: Simplify 9.134385233318143e+46 into 9.134385233318143e+46
6.495 * [backup-simplify]: Simplify (cbrt 9.134385233318143e+46) into (cbrt 9.134385233318143e+46)
6.495 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 9.134385233318143e+46))) into 0
6.495 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.495 * [taylor]: Taking taylor expansion of t in t
6.495 * [backup-simplify]: Simplify 0 into 0
6.495 * [backup-simplify]: Simplify 1 into 1
6.495 * [backup-simplify]: Simplify (* 1 1) into 1
6.496 * [backup-simplify]: Simplify (* (cbrt 9.134385233318143e+46) 1) into (cbrt 9.134385233318143e+46)
6.497 * [backup-simplify]: Simplify (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) into (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))
6.498 * [backup-simplify]: Simplify (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) into (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))
6.498 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.499 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (* 0 1)) into 0
6.500 * [backup-simplify]: Simplify (- (/ 0 (cbrt 9.134385233318143e+46)) (+ (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (/ 0 (cbrt 9.134385233318143e+46))))) into 0
6.500 * [backup-simplify]: Simplify 0 into 0
6.500 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3653754093327257.0))) into 0
6.501 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.502 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 9.134385233318143e+46))))) (* 3 (cbrt 9.134385233318143e+46))) into 0
6.502 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (* 0 1))) into 0
6.503 * [backup-simplify]: Simplify (- (/ 0 (cbrt 9.134385233318143e+46)) (+ (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))))) into 0
6.503 * [backup-simplify]: Simplify 0 into 0
6.504 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3653754093327257.0))) into 0
6.505 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.505 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 9.134385233318143e+46))) into 0
6.506 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.507 * [backup-simplify]: Simplify (- (/ 0 (cbrt 9.134385233318143e+46)) (+ (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))))) into 0
6.507 * [backup-simplify]: Simplify 0 into 0
6.508 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3653754093327257.0))) into 0
6.509 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.510 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 9.134385233318143e+46))))) (* 3 (cbrt 9.134385233318143e+46))) into 0
6.511 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.512 * [backup-simplify]: Simplify (- (/ 0 (cbrt 9.134385233318143e+46)) (+ (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))))) into 0
6.512 * [backup-simplify]: Simplify 0 into 0
6.512 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3653754093327257.0))) into 0
6.513 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.514 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 9.134385233318143e+46))) into 0
6.515 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.516 * [backup-simplify]: Simplify (- (/ 0 (cbrt 9.134385233318143e+46)) (+ (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))))) into 0
6.516 * [backup-simplify]: Simplify 0 into 0
6.517 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3653754093327257.0))) into 0
6.518 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.520 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 9.134385233318143e+46))))) (* 3 (cbrt 9.134385233318143e+46))) into 0
6.521 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.522 * [backup-simplify]: Simplify (- (/ 0 (cbrt 9.134385233318143e+46)) (+ (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))))) into 0
6.522 * [backup-simplify]: Simplify 0 into 0
6.523 * [backup-simplify]: Simplify (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow (/ 1 (/ 1 t)) 2)) into (/ (* (pow t 2) (sqrt 3653754093327257.0)) (cbrt 9.134385233318143e+46))
6.524 * [backup-simplify]: Simplify (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow (/ 1 (- t)) 2)) into (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (pow t 2)))
6.525 * [approximate]: Taking taylor expansion of (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (pow t 2))) in (t) around 0
6.525 * [taylor]: Taking taylor expansion of (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (pow t 2))) in t
6.525 * [taylor]: Taking taylor expansion of (sqrt 3653754093327257.0) in t
6.525 * [taylor]: Taking taylor expansion of 3653754093327257.0 in t
6.525 * [backup-simplify]: Simplify 3653754093327257.0 into 3653754093327257.0
6.525 * [backup-simplify]: Simplify (sqrt 3653754093327257.0) into (sqrt 3653754093327257.0)
6.525 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3653754093327257.0))) into 0
6.525 * [taylor]: Taking taylor expansion of (* (cbrt 9.134385233318143e+46) (pow t 2)) in t
6.525 * [taylor]: Taking taylor expansion of (cbrt 9.134385233318143e+46) in t
6.525 * [taylor]: Taking taylor expansion of 9.134385233318143e+46 in t
6.525 * [backup-simplify]: Simplify 9.134385233318143e+46 into 9.134385233318143e+46
6.526 * [backup-simplify]: Simplify (cbrt 9.134385233318143e+46) into (cbrt 9.134385233318143e+46)
6.526 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 9.134385233318143e+46))) into 0
6.526 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.526 * [taylor]: Taking taylor expansion of t in t
6.526 * [backup-simplify]: Simplify 0 into 0
6.526 * [backup-simplify]: Simplify 1 into 1
6.526 * [backup-simplify]: Simplify (* 1 1) into 1
6.527 * [backup-simplify]: Simplify (* (cbrt 9.134385233318143e+46) 1) into (cbrt 9.134385233318143e+46)
6.528 * [backup-simplify]: Simplify (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) into (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))
6.528 * [taylor]: Taking taylor expansion of (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (pow t 2))) in t
6.528 * [taylor]: Taking taylor expansion of (sqrt 3653754093327257.0) in t
6.528 * [taylor]: Taking taylor expansion of 3653754093327257.0 in t
6.528 * [backup-simplify]: Simplify 3653754093327257.0 into 3653754093327257.0
6.528 * [backup-simplify]: Simplify (sqrt 3653754093327257.0) into (sqrt 3653754093327257.0)
6.529 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3653754093327257.0))) into 0
6.529 * [taylor]: Taking taylor expansion of (* (cbrt 9.134385233318143e+46) (pow t 2)) in t
6.529 * [taylor]: Taking taylor expansion of (cbrt 9.134385233318143e+46) in t
6.529 * [taylor]: Taking taylor expansion of 9.134385233318143e+46 in t
6.529 * [backup-simplify]: Simplify 9.134385233318143e+46 into 9.134385233318143e+46
6.529 * [backup-simplify]: Simplify (cbrt 9.134385233318143e+46) into (cbrt 9.134385233318143e+46)
6.529 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 9.134385233318143e+46))) into 0
6.529 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.529 * [taylor]: Taking taylor expansion of t in t
6.529 * [backup-simplify]: Simplify 0 into 0
6.530 * [backup-simplify]: Simplify 1 into 1
6.530 * [backup-simplify]: Simplify (* 1 1) into 1
6.530 * [backup-simplify]: Simplify (* (cbrt 9.134385233318143e+46) 1) into (cbrt 9.134385233318143e+46)
6.531 * [backup-simplify]: Simplify (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) into (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))
6.532 * [backup-simplify]: Simplify (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) into (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))
6.532 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.533 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (* 0 1)) into 0
6.534 * [backup-simplify]: Simplify (- (/ 0 (cbrt 9.134385233318143e+46)) (+ (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (/ 0 (cbrt 9.134385233318143e+46))))) into 0
6.534 * [backup-simplify]: Simplify 0 into 0
6.534 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3653754093327257.0))) into 0
6.535 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.536 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 9.134385233318143e+46))))) (* 3 (cbrt 9.134385233318143e+46))) into 0
6.536 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (* 0 1))) into 0
6.537 * [backup-simplify]: Simplify (- (/ 0 (cbrt 9.134385233318143e+46)) (+ (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))))) into 0
6.537 * [backup-simplify]: Simplify 0 into 0
6.538 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3653754093327257.0))) into 0
6.539 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.539 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 9.134385233318143e+46))) into 0
6.540 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.541 * [backup-simplify]: Simplify (- (/ 0 (cbrt 9.134385233318143e+46)) (+ (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))))) into 0
6.541 * [backup-simplify]: Simplify 0 into 0
6.542 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3653754093327257.0))) into 0
6.543 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.544 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 9.134385233318143e+46))))) (* 3 (cbrt 9.134385233318143e+46))) into 0
6.544 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.545 * [backup-simplify]: Simplify (- (/ 0 (cbrt 9.134385233318143e+46)) (+ (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))))) into 0
6.545 * [backup-simplify]: Simplify 0 into 0
6.546 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3653754093327257.0))) into 0
6.547 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.548 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 9.134385233318143e+46))) into 0
6.548 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.549 * [backup-simplify]: Simplify (- (/ 0 (cbrt 9.134385233318143e+46)) (+ (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))))) into 0
6.549 * [backup-simplify]: Simplify 0 into 0
6.550 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3653754093327257.0))) into 0
6.551 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.552 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 9.134385233318143e+46))))) (* 3 (cbrt 9.134385233318143e+46))) into 0
6.553 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.554 * [backup-simplify]: Simplify (- (/ 0 (cbrt 9.134385233318143e+46)) (+ (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))) (* 0 (/ 0 (cbrt 9.134385233318143e+46))))) into 0
6.554 * [backup-simplify]: Simplify 0 into 0
6.555 * [backup-simplify]: Simplify (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow (/ 1 (/ 1 (- t))) 2)) into (/ (* (pow t 2) (sqrt 3653754093327257.0)) (cbrt 9.134385233318143e+46))
6.555 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
6.558 * [backup-simplify]: Simplify (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2))) into (/ (* (pow t 2) (pow (sqrt 3653754093327257.0) 2)) (pow (cbrt 9.134385233318143e+46) 3))
6.558 * [approximate]: Taking taylor expansion of (/ (* (pow t 2) (pow (sqrt 3653754093327257.0) 2)) (pow (cbrt 9.134385233318143e+46) 3)) in (t) around 0
6.558 * [taylor]: Taking taylor expansion of (/ (* (pow t 2) (pow (sqrt 3653754093327257.0) 2)) (pow (cbrt 9.134385233318143e+46) 3)) in t
6.558 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3653754093327257.0) 2)) in t
6.558 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.558 * [taylor]: Taking taylor expansion of t in t
6.558 * [backup-simplify]: Simplify 0 into 0
6.558 * [backup-simplify]: Simplify 1 into 1
6.558 * [taylor]: Taking taylor expansion of (pow (sqrt 3653754093327257.0) 2) in t
6.558 * [taylor]: Taking taylor expansion of (sqrt 3653754093327257.0) in t
6.558 * [taylor]: Taking taylor expansion of 3653754093327257.0 in t
6.558 * [backup-simplify]: Simplify 3653754093327257.0 into 3653754093327257.0
6.558 * [backup-simplify]: Simplify (sqrt 3653754093327257.0) into (sqrt 3653754093327257.0)
6.559 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3653754093327257.0))) into 0
6.559 * [taylor]: Taking taylor expansion of (pow (cbrt 9.134385233318143e+46) 3) in t
6.559 * [taylor]: Taking taylor expansion of (cbrt 9.134385233318143e+46) in t
6.559 * [taylor]: Taking taylor expansion of 9.134385233318143e+46 in t
6.559 * [backup-simplify]: Simplify 9.134385233318143e+46 into 9.134385233318143e+46
6.559 * [backup-simplify]: Simplify (cbrt 9.134385233318143e+46) into (cbrt 9.134385233318143e+46)
6.559 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 9.134385233318143e+46))) into 0
6.560 * [backup-simplify]: Simplify (* 1 1) into 1
6.560 * [backup-simplify]: Simplify (* (sqrt 3653754093327257.0) (sqrt 3653754093327257.0)) into (pow (sqrt 3653754093327257.0) 2)
6.561 * [backup-simplify]: Simplify (* 1 (pow (sqrt 3653754093327257.0) 2)) into (pow (sqrt 3653754093327257.0) 2)
6.562 * [backup-simplify]: Simplify (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)) into (pow (cbrt 9.134385233318143e+46) 2)
6.563 * [backup-simplify]: Simplify (* (cbrt 9.134385233318143e+46) (pow (cbrt 9.134385233318143e+46) 2)) into (pow (cbrt 9.134385233318143e+46) 3)
6.565 * [backup-simplify]: Simplify (/ (pow (sqrt 3653754093327257.0) 2) (pow (cbrt 9.134385233318143e+46) 3)) into (* 1.0947644252537633e-47 (pow (sqrt 3653754093327257.0) 2))
6.565 * [taylor]: Taking taylor expansion of (/ (* (pow t 2) (pow (sqrt 3653754093327257.0) 2)) (pow (cbrt 9.134385233318143e+46) 3)) in t
6.565 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (sqrt 3653754093327257.0) 2)) in t
6.565 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.565 * [taylor]: Taking taylor expansion of t in t
6.565 * [backup-simplify]: Simplify 0 into 0
6.565 * [backup-simplify]: Simplify 1 into 1
6.565 * [taylor]: Taking taylor expansion of (pow (sqrt 3653754093327257.0) 2) in t
6.565 * [taylor]: Taking taylor expansion of (sqrt 3653754093327257.0) in t
6.565 * [taylor]: Taking taylor expansion of 3653754093327257.0 in t
6.565 * [backup-simplify]: Simplify 3653754093327257.0 into 3653754093327257.0
6.566 * [backup-simplify]: Simplify (sqrt 3653754093327257.0) into (sqrt 3653754093327257.0)
6.566 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3653754093327257.0))) into 0
6.566 * [taylor]: Taking taylor expansion of (pow (cbrt 9.134385233318143e+46) 3) in t
6.566 * [taylor]: Taking taylor expansion of (cbrt 9.134385233318143e+46) in t
6.566 * [taylor]: Taking taylor expansion of 9.134385233318143e+46 in t
6.566 * [backup-simplify]: Simplify 9.134385233318143e+46 into 9.134385233318143e+46
6.567 * [backup-simplify]: Simplify (cbrt 9.134385233318143e+46) into (cbrt 9.134385233318143e+46)
6.567 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 9.134385233318143e+46))) into 0
6.567 * [backup-simplify]: Simplify (* 1 1) into 1
6.568 * [backup-simplify]: Simplify (* (sqrt 3653754093327257.0) (sqrt 3653754093327257.0)) into (pow (sqrt 3653754093327257.0) 2)
6.569 * [backup-simplify]: Simplify (* 1 (pow (sqrt 3653754093327257.0) 2)) into (pow (sqrt 3653754093327257.0) 2)
6.570 * [backup-simplify]: Simplify (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)) into (pow (cbrt 9.134385233318143e+46) 2)
6.571 * [backup-simplify]: Simplify (* (cbrt 9.134385233318143e+46) (pow (cbrt 9.134385233318143e+46) 2)) into (pow (cbrt 9.134385233318143e+46) 3)
6.573 * [backup-simplify]: Simplify (/ (pow (sqrt 3653754093327257.0) 2) (pow (cbrt 9.134385233318143e+46) 3)) into (* 1.0947644252537633e-47 (pow (sqrt 3653754093327257.0) 2))
6.574 * [backup-simplify]: Simplify (* 1.0947644252537633e-47 (pow (sqrt 3653754093327257.0) 2)) into (* 1.0947644252537633e-47 (pow (sqrt 3653754093327257.0) 2))
6.575 * [backup-simplify]: Simplify (+ (* (sqrt 3653754093327257.0) 0) (* 0 (sqrt 3653754093327257.0))) into 0
6.575 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.576 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (sqrt 3653754093327257.0) 2))) into 0
6.577 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (* 0 (cbrt 9.134385233318143e+46))) into 0
6.578 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (* 0 (pow (cbrt 9.134385233318143e+46) 2))) into 0
6.581 * [backup-simplify]: Simplify (- (/ 0 (pow (cbrt 9.134385233318143e+46) 3)) (+ (* (* 1.0947644252537633e-47 (pow (sqrt 3653754093327257.0) 2)) (/ 0 (pow (cbrt 9.134385233318143e+46) 3))))) into 0
6.581 * [backup-simplify]: Simplify 0 into 0
6.590 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3653754093327257.0))) into 0
6.592 * [backup-simplify]: Simplify (+ (* (sqrt 3653754093327257.0) 0) (+ (* 0 0) (* 0 (sqrt 3653754093327257.0)))) into 0
6.593 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.594 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (sqrt 3653754093327257.0) 2)))) into 0
6.596 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 9.134385233318143e+46))))) (* 3 (cbrt 9.134385233318143e+46))) into 0
6.597 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (* 0 (cbrt 9.134385233318143e+46)))) into 0
6.598 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (* 0 (pow (cbrt 9.134385233318143e+46) 2)))) into 0
6.600 * [backup-simplify]: Simplify (- (/ 0 (pow (cbrt 9.134385233318143e+46) 3)) (+ (* (* 1.0947644252537633e-47 (pow (sqrt 3653754093327257.0) 2)) (/ 0 (pow (cbrt 9.134385233318143e+46) 3))) (* 0 (/ 0 (pow (cbrt 9.134385233318143e+46) 3))))) into 0
6.600 * [backup-simplify]: Simplify 0 into 0
6.602 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3653754093327257.0))) into 0
6.603 * [backup-simplify]: Simplify (+ (* (sqrt 3653754093327257.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3653754093327257.0))))) into 0
6.604 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.606 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3653754093327257.0) 2))))) into 0
6.607 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 9.134385233318143e+46))) into 0
6.608 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 9.134385233318143e+46))))) into 0
6.610 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 9.134385233318143e+46) 2))))) into 0
6.612 * [backup-simplify]: Simplify (- (/ 0 (pow (cbrt 9.134385233318143e+46) 3)) (+ (* (* 1.0947644252537633e-47 (pow (sqrt 3653754093327257.0) 2)) (/ 0 (pow (cbrt 9.134385233318143e+46) 3))) (* 0 (/ 0 (pow (cbrt 9.134385233318143e+46) 3))) (* 0 (/ 0 (pow (cbrt 9.134385233318143e+46) 3))))) into 0
6.612 * [backup-simplify]: Simplify 0 into 0
6.614 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3653754093327257.0))) into 0
6.615 * [backup-simplify]: Simplify (+ (* (sqrt 3653754093327257.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3653754093327257.0)))))) into 0
6.616 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.618 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3653754093327257.0) 2)))))) into 0
6.620 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 9.134385233318143e+46))))) (* 3 (cbrt 9.134385233318143e+46))) into 0
6.621 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 9.134385233318143e+46)))))) into 0
6.623 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 9.134385233318143e+46) 2)))))) into 0
6.626 * [backup-simplify]: Simplify (- (/ 0 (pow (cbrt 9.134385233318143e+46) 3)) (+ (* (* 1.0947644252537633e-47 (pow (sqrt 3653754093327257.0) 2)) (/ 0 (pow (cbrt 9.134385233318143e+46) 3))) (* 0 (/ 0 (pow (cbrt 9.134385233318143e+46) 3))) (* 0 (/ 0 (pow (cbrt 9.134385233318143e+46) 3))) (* 0 (/ 0 (pow (cbrt 9.134385233318143e+46) 3))))) into 0
6.626 * [backup-simplify]: Simplify 0 into 0
6.627 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3653754093327257.0))) into 0
6.629 * [backup-simplify]: Simplify (+ (* (sqrt 3653754093327257.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3653754093327257.0))))))) into 0
6.630 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.632 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3653754093327257.0) 2))))))) into 0
6.633 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 9.134385233318143e+46))) into 0
6.635 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 9.134385233318143e+46))))))) into 0
6.637 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 9.134385233318143e+46) 2))))))) into 0
6.639 * [backup-simplify]: Simplify (- (/ 0 (pow (cbrt 9.134385233318143e+46) 3)) (+ (* (* 1.0947644252537633e-47 (pow (sqrt 3653754093327257.0) 2)) (/ 0 (pow (cbrt 9.134385233318143e+46) 3))) (* 0 (/ 0 (pow (cbrt 9.134385233318143e+46) 3))) (* 0 (/ 0 (pow (cbrt 9.134385233318143e+46) 3))) (* 0 (/ 0 (pow (cbrt 9.134385233318143e+46) 3))) (* 0 (/ 0 (pow (cbrt 9.134385233318143e+46) 3))))) into 0
6.639 * [backup-simplify]: Simplify 0 into 0
6.641 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3653754093327257.0))) into 0
6.643 * [backup-simplify]: Simplify (+ (* (sqrt 3653754093327257.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3653754093327257.0)))))))) into 0
6.644 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.646 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 3653754093327257.0) 2)))))))) into 0
6.647 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 9.134385233318143e+46))))) (* 3 (cbrt 9.134385233318143e+46))) into 0
6.648 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 9.134385233318143e+46)))))))) into 0
6.650 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 9.134385233318143e+46) 2)))))))) into 0
6.651 * [backup-simplify]: Simplify (- (/ 0 (pow (cbrt 9.134385233318143e+46) 3)) (+ (* (* 1.0947644252537633e-47 (pow (sqrt 3653754093327257.0) 2)) (/ 0 (pow (cbrt 9.134385233318143e+46) 3))) (* 0 (/ 0 (pow (cbrt 9.134385233318143e+46) 3))) (* 0 (/ 0 (pow (cbrt 9.134385233318143e+46) 3))) (* 0 (/ 0 (pow (cbrt 9.134385233318143e+46) 3))) (* 0 (/ 0 (pow (cbrt 9.134385233318143e+46) 3))) (* 0 (/ 0 (pow (cbrt 9.134385233318143e+46) 3))))) into 0
6.651 * [backup-simplify]: Simplify 0 into 0
6.652 * [backup-simplify]: Simplify (* (* 1.0947644252537633e-47 (pow (sqrt 3653754093327257.0) 2)) (pow t 2)) into (* 1.0947644252537633e-47 (* (pow t 2) (pow (sqrt 3653754093327257.0) 2)))
6.655 * [backup-simplify]: Simplify (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow (/ 1 t) 2))) into (/ (pow (sqrt 3653754093327257.0) 2) (* (pow (cbrt 9.134385233318143e+46) 3) (pow t 2)))
6.655 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3653754093327257.0) 2) (* (pow (cbrt 9.134385233318143e+46) 3) (pow t 2))) in (t) around 0
6.655 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3653754093327257.0) 2) (* (pow (cbrt 9.134385233318143e+46) 3) (pow t 2))) in t
6.655 * [taylor]: Taking taylor expansion of (pow (sqrt 3653754093327257.0) 2) in t
6.655 * [taylor]: Taking taylor expansion of (sqrt 3653754093327257.0) in t
6.655 * [taylor]: Taking taylor expansion of 3653754093327257.0 in t
6.655 * [backup-simplify]: Simplify 3653754093327257.0 into 3653754093327257.0
6.655 * [backup-simplify]: Simplify (sqrt 3653754093327257.0) into (sqrt 3653754093327257.0)
6.655 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3653754093327257.0))) into 0
6.655 * [taylor]: Taking taylor expansion of (* (pow (cbrt 9.134385233318143e+46) 3) (pow t 2)) in t
6.655 * [taylor]: Taking taylor expansion of (pow (cbrt 9.134385233318143e+46) 3) in t
6.655 * [taylor]: Taking taylor expansion of (cbrt 9.134385233318143e+46) in t
6.655 * [taylor]: Taking taylor expansion of 9.134385233318143e+46 in t
6.656 * [backup-simplify]: Simplify 9.134385233318143e+46 into 9.134385233318143e+46
6.656 * [backup-simplify]: Simplify (cbrt 9.134385233318143e+46) into (cbrt 9.134385233318143e+46)
6.656 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 9.134385233318143e+46))) into 0
6.656 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.656 * [taylor]: Taking taylor expansion of t in t
6.656 * [backup-simplify]: Simplify 0 into 0
6.656 * [backup-simplify]: Simplify 1 into 1
6.657 * [backup-simplify]: Simplify (* (sqrt 3653754093327257.0) (sqrt 3653754093327257.0)) into (pow (sqrt 3653754093327257.0) 2)
6.658 * [backup-simplify]: Simplify (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)) into (pow (cbrt 9.134385233318143e+46) 2)
6.659 * [backup-simplify]: Simplify (* (cbrt 9.134385233318143e+46) (pow (cbrt 9.134385233318143e+46) 2)) into (pow (cbrt 9.134385233318143e+46) 3)
6.659 * [backup-simplify]: Simplify (* 1 1) into 1
6.660 * [backup-simplify]: Simplify (* (pow (cbrt 9.134385233318143e+46) 3) 1) into 9.134385233318143e+46
6.661 * [backup-simplify]: Simplify (/ (pow (sqrt 3653754093327257.0) 2) 9.134385233318143e+46) into (* 1.0947644252537633e-47 (pow (sqrt 3653754093327257.0) 2))
6.661 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3653754093327257.0) 2) (* (pow (cbrt 9.134385233318143e+46) 3) (pow t 2))) in t
6.661 * [taylor]: Taking taylor expansion of (pow (sqrt 3653754093327257.0) 2) in t
6.661 * [taylor]: Taking taylor expansion of (sqrt 3653754093327257.0) in t
6.661 * [taylor]: Taking taylor expansion of 3653754093327257.0 in t
6.661 * [backup-simplify]: Simplify 3653754093327257.0 into 3653754093327257.0
6.662 * [backup-simplify]: Simplify (sqrt 3653754093327257.0) into (sqrt 3653754093327257.0)
6.662 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3653754093327257.0))) into 0
6.662 * [taylor]: Taking taylor expansion of (* (pow (cbrt 9.134385233318143e+46) 3) (pow t 2)) in t
6.662 * [taylor]: Taking taylor expansion of (pow (cbrt 9.134385233318143e+46) 3) in t
6.662 * [taylor]: Taking taylor expansion of (cbrt 9.134385233318143e+46) in t
6.662 * [taylor]: Taking taylor expansion of 9.134385233318143e+46 in t
6.662 * [backup-simplify]: Simplify 9.134385233318143e+46 into 9.134385233318143e+46
6.662 * [backup-simplify]: Simplify (cbrt 9.134385233318143e+46) into (cbrt 9.134385233318143e+46)
6.663 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 9.134385233318143e+46))) into 0
6.663 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.663 * [taylor]: Taking taylor expansion of t in t
6.663 * [backup-simplify]: Simplify 0 into 0
6.663 * [backup-simplify]: Simplify 1 into 1
6.664 * [backup-simplify]: Simplify (* (sqrt 3653754093327257.0) (sqrt 3653754093327257.0)) into (pow (sqrt 3653754093327257.0) 2)
6.664 * [backup-simplify]: Simplify (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)) into (pow (cbrt 9.134385233318143e+46) 2)
6.666 * [backup-simplify]: Simplify (* (cbrt 9.134385233318143e+46) (pow (cbrt 9.134385233318143e+46) 2)) into (pow (cbrt 9.134385233318143e+46) 3)
6.666 * [backup-simplify]: Simplify (* 1 1) into 1
6.667 * [backup-simplify]: Simplify (* (pow (cbrt 9.134385233318143e+46) 3) 1) into 9.134385233318143e+46
6.668 * [backup-simplify]: Simplify (/ (pow (sqrt 3653754093327257.0) 2) 9.134385233318143e+46) into (* 1.0947644252537633e-47 (pow (sqrt 3653754093327257.0) 2))
6.669 * [backup-simplify]: Simplify (* 1.0947644252537633e-47 (pow (sqrt 3653754093327257.0) 2)) into (* 1.0947644252537633e-47 (pow (sqrt 3653754093327257.0) 2))
6.670 * [backup-simplify]: Simplify (+ (* (sqrt 3653754093327257.0) 0) (* 0 (sqrt 3653754093327257.0))) into 0
6.670 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.670 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (* 0 (cbrt 9.134385233318143e+46))) into 0
6.671 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (* 0 (pow (cbrt 9.134385233318143e+46) 2))) into 0
6.672 * [backup-simplify]: Simplify (+ (* (pow (cbrt 9.134385233318143e+46) 3) 0) (* 0 1)) into 0
6.672 * [backup-simplify]: Simplify (- (/ 0 9.134385233318143e+46) (+ (* (* 1.0947644252537633e-47 (pow (sqrt 3653754093327257.0) 2)) (/ 0 9.134385233318143e+46)))) into 0
6.673 * [backup-simplify]: Simplify 0 into 0
6.673 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3653754093327257.0))) into 0
6.674 * [backup-simplify]: Simplify (+ (* (sqrt 3653754093327257.0) 0) (+ (* 0 0) (* 0 (sqrt 3653754093327257.0)))) into 0
6.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.675 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 9.134385233318143e+46))))) (* 3 (cbrt 9.134385233318143e+46))) into 0
6.676 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (* 0 (cbrt 9.134385233318143e+46)))) into 0
6.676 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (* 0 (pow (cbrt 9.134385233318143e+46) 2)))) into 0
6.677 * [backup-simplify]: Simplify (+ (* (pow (cbrt 9.134385233318143e+46) 3) 0) (+ (* 0 0) (* 0 1))) into 0
6.678 * [backup-simplify]: Simplify (- (/ 0 9.134385233318143e+46) (+ (* (* 1.0947644252537633e-47 (pow (sqrt 3653754093327257.0) 2)) (/ 0 9.134385233318143e+46)) (* 0 (/ 0 9.134385233318143e+46)))) into 0
6.678 * [backup-simplify]: Simplify 0 into 0
6.680 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3653754093327257.0))) into 0
6.681 * [backup-simplify]: Simplify (+ (* (sqrt 3653754093327257.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3653754093327257.0))))) into 0
6.682 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.683 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 9.134385233318143e+46))) into 0
6.684 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 9.134385233318143e+46))))) into 0
6.686 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 9.134385233318143e+46) 2))))) into 0
6.688 * [backup-simplify]: Simplify (+ (* (pow (cbrt 9.134385233318143e+46) 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.689 * [backup-simplify]: Simplify (- (/ 0 9.134385233318143e+46) (+ (* (* 1.0947644252537633e-47 (pow (sqrt 3653754093327257.0) 2)) (/ 0 9.134385233318143e+46)) (* 0 (/ 0 9.134385233318143e+46)) (* 0 (/ 0 9.134385233318143e+46)))) into 0
6.689 * [backup-simplify]: Simplify 0 into 0
6.691 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3653754093327257.0))) into 0
6.693 * [backup-simplify]: Simplify (+ (* (sqrt 3653754093327257.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3653754093327257.0)))))) into 0
6.694 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.696 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 9.134385233318143e+46))))) (* 3 (cbrt 9.134385233318143e+46))) into 0
6.697 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 9.134385233318143e+46)))))) into 0
6.699 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 9.134385233318143e+46) 2)))))) into 0
6.701 * [backup-simplify]: Simplify (+ (* (pow (cbrt 9.134385233318143e+46) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.702 * [backup-simplify]: Simplify (- (/ 0 9.134385233318143e+46) (+ (* (* 1.0947644252537633e-47 (pow (sqrt 3653754093327257.0) 2)) (/ 0 9.134385233318143e+46)) (* 0 (/ 0 9.134385233318143e+46)) (* 0 (/ 0 9.134385233318143e+46)) (* 0 (/ 0 9.134385233318143e+46)))) into 0
6.702 * [backup-simplify]: Simplify 0 into 0
6.703 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3653754093327257.0))) into 0
6.704 * [backup-simplify]: Simplify (+ (* (sqrt 3653754093327257.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3653754093327257.0))))))) into 0
6.705 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.706 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 9.134385233318143e+46))) into 0
6.706 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 9.134385233318143e+46))))))) into 0
6.707 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 9.134385233318143e+46) 2))))))) into 0
6.709 * [backup-simplify]: Simplify (+ (* (pow (cbrt 9.134385233318143e+46) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.715 * [backup-simplify]: Simplify (- (/ 0 9.134385233318143e+46) (+ (* (* 1.0947644252537633e-47 (pow (sqrt 3653754093327257.0) 2)) (/ 0 9.134385233318143e+46)) (* 0 (/ 0 9.134385233318143e+46)) (* 0 (/ 0 9.134385233318143e+46)) (* 0 (/ 0 9.134385233318143e+46)) (* 0 (/ 0 9.134385233318143e+46)))) into 0
6.715 * [backup-simplify]: Simplify 0 into 0
6.716 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3653754093327257.0))) into 0
6.717 * [backup-simplify]: Simplify (+ (* (sqrt 3653754093327257.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3653754093327257.0)))))))) into 0
6.718 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.719 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 9.134385233318143e+46))))) (* 3 (cbrt 9.134385233318143e+46))) into 0
6.720 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 9.134385233318143e+46)))))))) into 0
6.721 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 9.134385233318143e+46) 2)))))))) into 0
6.722 * [backup-simplify]: Simplify (+ (* (pow (cbrt 9.134385233318143e+46) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.723 * [backup-simplify]: Simplify (- (/ 0 9.134385233318143e+46) (+ (* (* 1.0947644252537633e-47 (pow (sqrt 3653754093327257.0) 2)) (/ 0 9.134385233318143e+46)) (* 0 (/ 0 9.134385233318143e+46)) (* 0 (/ 0 9.134385233318143e+46)) (* 0 (/ 0 9.134385233318143e+46)) (* 0 (/ 0 9.134385233318143e+46)) (* 0 (/ 0 9.134385233318143e+46)))) into 0
6.723 * [backup-simplify]: Simplify 0 into 0
6.725 * [backup-simplify]: Simplify (* (* 1.0947644252537633e-47 (pow (sqrt 3653754093327257.0) 2)) (pow (/ 1 (/ 1 t)) 2)) into (* 1.0947644252537633e-47 (* (pow t 2) (pow (sqrt 3653754093327257.0) 2)))
6.727 * [backup-simplify]: Simplify (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow (/ 1 (- t)) 2))) into (/ (pow (sqrt 3653754093327257.0) 2) (* (pow (cbrt 9.134385233318143e+46) 3) (pow t 2)))
6.727 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 3653754093327257.0) 2) (* (pow (cbrt 9.134385233318143e+46) 3) (pow t 2))) in (t) around 0
6.727 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3653754093327257.0) 2) (* (pow (cbrt 9.134385233318143e+46) 3) (pow t 2))) in t
6.727 * [taylor]: Taking taylor expansion of (pow (sqrt 3653754093327257.0) 2) in t
6.727 * [taylor]: Taking taylor expansion of (sqrt 3653754093327257.0) in t
6.727 * [taylor]: Taking taylor expansion of 3653754093327257.0 in t
6.727 * [backup-simplify]: Simplify 3653754093327257.0 into 3653754093327257.0
6.727 * [backup-simplify]: Simplify (sqrt 3653754093327257.0) into (sqrt 3653754093327257.0)
6.728 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3653754093327257.0))) into 0
6.728 * [taylor]: Taking taylor expansion of (* (pow (cbrt 9.134385233318143e+46) 3) (pow t 2)) in t
6.728 * [taylor]: Taking taylor expansion of (pow (cbrt 9.134385233318143e+46) 3) in t
6.728 * [taylor]: Taking taylor expansion of (cbrt 9.134385233318143e+46) in t
6.728 * [taylor]: Taking taylor expansion of 9.134385233318143e+46 in t
6.728 * [backup-simplify]: Simplify 9.134385233318143e+46 into 9.134385233318143e+46
6.728 * [backup-simplify]: Simplify (cbrt 9.134385233318143e+46) into (cbrt 9.134385233318143e+46)
6.729 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 9.134385233318143e+46))) into 0
6.729 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.729 * [taylor]: Taking taylor expansion of t in t
6.729 * [backup-simplify]: Simplify 0 into 0
6.729 * [backup-simplify]: Simplify 1 into 1
6.729 * [backup-simplify]: Simplify (* (sqrt 3653754093327257.0) (sqrt 3653754093327257.0)) into (pow (sqrt 3653754093327257.0) 2)
6.730 * [backup-simplify]: Simplify (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)) into (pow (cbrt 9.134385233318143e+46) 2)
6.732 * [backup-simplify]: Simplify (* (cbrt 9.134385233318143e+46) (pow (cbrt 9.134385233318143e+46) 2)) into (pow (cbrt 9.134385233318143e+46) 3)
6.733 * [backup-simplify]: Simplify (* 1 1) into 1
6.734 * [backup-simplify]: Simplify (* (pow (cbrt 9.134385233318143e+46) 3) 1) into 9.134385233318143e+46
6.736 * [backup-simplify]: Simplify (/ (pow (sqrt 3653754093327257.0) 2) 9.134385233318143e+46) into (* 1.0947644252537633e-47 (pow (sqrt 3653754093327257.0) 2))
6.736 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 3653754093327257.0) 2) (* (pow (cbrt 9.134385233318143e+46) 3) (pow t 2))) in t
6.736 * [taylor]: Taking taylor expansion of (pow (sqrt 3653754093327257.0) 2) in t
6.736 * [taylor]: Taking taylor expansion of (sqrt 3653754093327257.0) in t
6.736 * [taylor]: Taking taylor expansion of 3653754093327257.0 in t
6.736 * [backup-simplify]: Simplify 3653754093327257.0 into 3653754093327257.0
6.737 * [backup-simplify]: Simplify (sqrt 3653754093327257.0) into (sqrt 3653754093327257.0)
6.738 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 3653754093327257.0))) into 0
6.738 * [taylor]: Taking taylor expansion of (* (pow (cbrt 9.134385233318143e+46) 3) (pow t 2)) in t
6.738 * [taylor]: Taking taylor expansion of (pow (cbrt 9.134385233318143e+46) 3) in t
6.738 * [taylor]: Taking taylor expansion of (cbrt 9.134385233318143e+46) in t
6.738 * [taylor]: Taking taylor expansion of 9.134385233318143e+46 in t
6.738 * [backup-simplify]: Simplify 9.134385233318143e+46 into 9.134385233318143e+46
6.738 * [backup-simplify]: Simplify (cbrt 9.134385233318143e+46) into (cbrt 9.134385233318143e+46)
6.739 * [backup-simplify]: Simplify (/ 0 (* 3 (cbrt 9.134385233318143e+46))) into 0
6.739 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.739 * [taylor]: Taking taylor expansion of t in t
6.739 * [backup-simplify]: Simplify 0 into 0
6.739 * [backup-simplify]: Simplify 1 into 1
6.740 * [backup-simplify]: Simplify (* (sqrt 3653754093327257.0) (sqrt 3653754093327257.0)) into (pow (sqrt 3653754093327257.0) 2)
6.742 * [backup-simplify]: Simplify (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)) into (pow (cbrt 9.134385233318143e+46) 2)
6.743 * [backup-simplify]: Simplify (* (cbrt 9.134385233318143e+46) (pow (cbrt 9.134385233318143e+46) 2)) into (pow (cbrt 9.134385233318143e+46) 3)
6.744 * [backup-simplify]: Simplify (* 1 1) into 1
6.746 * [backup-simplify]: Simplify (* (pow (cbrt 9.134385233318143e+46) 3) 1) into 9.134385233318143e+46
6.747 * [backup-simplify]: Simplify (/ (pow (sqrt 3653754093327257.0) 2) 9.134385233318143e+46) into (* 1.0947644252537633e-47 (pow (sqrt 3653754093327257.0) 2))
6.749 * [backup-simplify]: Simplify (* 1.0947644252537633e-47 (pow (sqrt 3653754093327257.0) 2)) into (* 1.0947644252537633e-47 (pow (sqrt 3653754093327257.0) 2))
6.750 * [backup-simplify]: Simplify (+ (* (sqrt 3653754093327257.0) 0) (* 0 (sqrt 3653754093327257.0))) into 0
6.751 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.751 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (* 0 (cbrt 9.134385233318143e+46))) into 0
6.752 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (* 0 (pow (cbrt 9.134385233318143e+46) 2))) into 0
6.753 * [backup-simplify]: Simplify (+ (* (pow (cbrt 9.134385233318143e+46) 3) 0) (* 0 1)) into 0
6.755 * [backup-simplify]: Simplify (- (/ 0 9.134385233318143e+46) (+ (* (* 1.0947644252537633e-47 (pow (sqrt 3653754093327257.0) 2)) (/ 0 9.134385233318143e+46)))) into 0
6.755 * [backup-simplify]: Simplify 0 into 0
6.756 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 3653754093327257.0))) into 0
6.757 * [backup-simplify]: Simplify (+ (* (sqrt 3653754093327257.0) 0) (+ (* 0 0) (* 0 (sqrt 3653754093327257.0)))) into 0
6.758 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.760 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 (cbrt 9.134385233318143e+46))))) (* 3 (cbrt 9.134385233318143e+46))) into 0
6.761 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (* 0 (cbrt 9.134385233318143e+46)))) into 0
6.762 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (* 0 (pow (cbrt 9.134385233318143e+46) 2)))) into 0
6.764 * [backup-simplify]: Simplify (+ (* (pow (cbrt 9.134385233318143e+46) 3) 0) (+ (* 0 0) (* 0 1))) into 0
6.765 * [backup-simplify]: Simplify (- (/ 0 9.134385233318143e+46) (+ (* (* 1.0947644252537633e-47 (pow (sqrt 3653754093327257.0) 2)) (/ 0 9.134385233318143e+46)) (* 0 (/ 0 9.134385233318143e+46)))) into 0
6.765 * [backup-simplify]: Simplify 0 into 0
6.767 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 3653754093327257.0))) into 0
6.768 * [backup-simplify]: Simplify (+ (* (sqrt 3653754093327257.0) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3653754093327257.0))))) into 0
6.769 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.770 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)))) (* 3 (cbrt 9.134385233318143e+46))) into 0
6.772 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 9.134385233318143e+46))))) into 0
6.773 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 9.134385233318143e+46) 2))))) into 0
6.775 * [backup-simplify]: Simplify (+ (* (pow (cbrt 9.134385233318143e+46) 3) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.777 * [backup-simplify]: Simplify (- (/ 0 9.134385233318143e+46) (+ (* (* 1.0947644252537633e-47 (pow (sqrt 3653754093327257.0) 2)) (/ 0 9.134385233318143e+46)) (* 0 (/ 0 9.134385233318143e+46)) (* 0 (/ 0 9.134385233318143e+46)))) into 0
6.777 * [backup-simplify]: Simplify 0 into 0
6.778 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 3653754093327257.0))) into 0
6.780 * [backup-simplify]: Simplify (+ (* (sqrt 3653754093327257.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3653754093327257.0)))))) into 0
6.781 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.783 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 9.134385233318143e+46))))) (* 3 (cbrt 9.134385233318143e+46))) into 0
6.784 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 9.134385233318143e+46)))))) into 0
6.786 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 9.134385233318143e+46) 2)))))) into 0
6.788 * [backup-simplify]: Simplify (+ (* (pow (cbrt 9.134385233318143e+46) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.790 * [backup-simplify]: Simplify (- (/ 0 9.134385233318143e+46) (+ (* (* 1.0947644252537633e-47 (pow (sqrt 3653754093327257.0) 2)) (/ 0 9.134385233318143e+46)) (* 0 (/ 0 9.134385233318143e+46)) (* 0 (/ 0 9.134385233318143e+46)) (* 0 (/ 0 9.134385233318143e+46)))) into 0
6.790 * [backup-simplify]: Simplify 0 into 0
6.791 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3653754093327257.0))) into 0
6.793 * [backup-simplify]: Simplify (+ (* (sqrt 3653754093327257.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3653754093327257.0))))))) into 0
6.794 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.796 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)))) (* 3 (cbrt 9.134385233318143e+46))) into 0
6.797 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 9.134385233318143e+46))))))) into 0
6.799 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 9.134385233318143e+46) 2))))))) into 0
6.801 * [backup-simplify]: Simplify (+ (* (pow (cbrt 9.134385233318143e+46) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.803 * [backup-simplify]: Simplify (- (/ 0 9.134385233318143e+46) (+ (* (* 1.0947644252537633e-47 (pow (sqrt 3653754093327257.0) 2)) (/ 0 9.134385233318143e+46)) (* 0 (/ 0 9.134385233318143e+46)) (* 0 (/ 0 9.134385233318143e+46)) (* 0 (/ 0 9.134385233318143e+46)) (* 0 (/ 0 9.134385233318143e+46)))) into 0
6.803 * [backup-simplify]: Simplify 0 into 0
6.805 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 3653754093327257.0))) into 0
6.806 * [backup-simplify]: Simplify (+ (* (sqrt 3653754093327257.0) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 3653754093327257.0)))))))) into 0
6.808 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.810 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0 0)) (* 2 (* 0 0 0)) (* 2 (* 0 0 (cbrt 9.134385233318143e+46))))) (* 3 (cbrt 9.134385233318143e+46))) into 0
6.812 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (cbrt 9.134385233318143e+46)))))))) into 0
6.814 * [backup-simplify]: Simplify (+ (* (cbrt 9.134385233318143e+46) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (cbrt 9.134385233318143e+46) 2)))))))) into 0
6.816 * [backup-simplify]: Simplify (+ (* (pow (cbrt 9.134385233318143e+46) 3) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.818 * [backup-simplify]: Simplify (- (/ 0 9.134385233318143e+46) (+ (* (* 1.0947644252537633e-47 (pow (sqrt 3653754093327257.0) 2)) (/ 0 9.134385233318143e+46)) (* 0 (/ 0 9.134385233318143e+46)) (* 0 (/ 0 9.134385233318143e+46)) (* 0 (/ 0 9.134385233318143e+46)) (* 0 (/ 0 9.134385233318143e+46)) (* 0 (/ 0 9.134385233318143e+46)))) into 0
6.818 * [backup-simplify]: Simplify 0 into 0
6.820 * [backup-simplify]: Simplify (* (* 1.0947644252537633e-47 (pow (sqrt 3653754093327257.0) 2)) (pow (/ 1 (/ 1 (- t))) 2)) into (* 1.0947644252537633e-47 (* (pow t 2) (pow (sqrt 3653754093327257.0) 2)))
6.820 * * * [progress]: simplifying candidates
6.827 * [simplify]: Simplifying:
  (+ (- (log (sqrt 3653754093327257.0)) (log (cbrt 9.134385233318143e+46))) (* (log t) 2))
  (+ (- (log (sqrt 3653754093327257.0)) (log (cbrt 9.134385233318143e+46))) (* (log t) 2))
  (+ (- (log (sqrt 3653754093327257.0)) (log (cbrt 9.134385233318143e+46))) (log (pow t 2)))
  (+ (log (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (* (log t) 2))
  (+ (log (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (* (log t) 2))
  (+ (log (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (log (pow t 2)))
  (log (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2)))
  (exp (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2)))
  (* (/ (* (* (sqrt 3653754093327257.0) (sqrt 3653754093327257.0)) (sqrt 3653754093327257.0)) 9.134385233318143e+46) (* (* (pow t 2) (pow t 2)) (pow t 2)))
  (* (* (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (* (* (pow t 2) (pow t 2)) (pow t 2)))
  (* (cbrt (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2))) (cbrt (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2))))
  (cbrt (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2)))
  (* (* (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2)) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2)))
  (sqrt (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2)))
  (sqrt (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2)))
  (* (sqrt (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (pow (sqrt t) 2))
  (* (sqrt (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (pow (sqrt t) 2))
  (* (sqrt (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) t)
  (* (sqrt (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) t)
  (* (sqrt (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (sqrt (pow t 2)))
  (* (sqrt (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (sqrt (pow t 2)))
  (* (sqrt (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (pow t (/ 2 2)))
  (* (sqrt (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (pow t (/ 2 2)))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) (pow (sqrt t) 2))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) (pow (sqrt t) 2))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) t)
  (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) t)
  (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) (sqrt (pow t 2)))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) (sqrt (pow t 2)))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) (pow t (/ 2 2)))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) (pow t (/ 2 2)))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) (pow (sqrt t) 2))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) (pow (sqrt t) 2))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) t)
  (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) t)
  (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) (sqrt (pow t 2)))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) (sqrt (pow t 2)))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) (pow t (/ 2 2)))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) (pow t (/ 2 2)))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) (pow (sqrt t) 2))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) (pow (sqrt t) 2))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) t)
  (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) t)
  (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) (sqrt (pow t 2)))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) (sqrt (pow t 2)))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) (pow t (/ 2 2)))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) (pow t (/ 2 2)))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) (pow (sqrt t) 2))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) (pow (sqrt t) 2))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) t)
  (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) t)
  (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) (sqrt (pow t 2)))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) (sqrt (pow t 2)))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) (pow t (/ 2 2)))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) (pow t (/ 2 2)))
  (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow (* (cbrt t) (cbrt t)) 2))
  (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow (sqrt t) 2))
  (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow 1 2))
  (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) t)
  (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (* (cbrt (pow t 2)) (cbrt (pow t 2))))
  (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (sqrt (pow t 2)))
  (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) 1)
  (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t (/ 2 2)))
  (* (cbrt (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (pow t 2))
  (* (sqrt (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (pow t 2))
  (* (/ (cbrt (sqrt 3653754093327257.0)) (cbrt (cbrt 9.134385233318143e+46))) (pow t 2))
  (* (/ (cbrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) (pow t 2))
  (* (/ (cbrt (sqrt 3653754093327257.0)) (cbrt 9.134385233318143e+46)) (pow t 2))
  (* (/ (cbrt (sqrt 3653754093327257.0)) (cbrt (cbrt 9.134385233318143e+46))) (pow t 2))
  (* (/ (cbrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) (pow t 2))
  (* (/ (cbrt (sqrt 3653754093327257.0)) (cbrt 9.134385233318143e+46)) (pow t 2))
  (* (/ (sqrt (cbrt 3653754093327257.0)) (cbrt (cbrt 9.134385233318143e+46))) (pow t 2))
  (* (/ (sqrt (cbrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) (pow t 2))
  (* (/ (sqrt (cbrt 3653754093327257.0)) (cbrt 9.134385233318143e+46)) (pow t 2))
  (* (/ (sqrt (cbrt 3653754093327257.0)) (cbrt (cbrt 9.134385233318143e+46))) (pow t 2))
  (* (/ (sqrt (cbrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) (pow t 2))
  (* (/ (sqrt (cbrt 3653754093327257.0)) (cbrt 9.134385233318143e+46)) (pow t 2))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (cbrt 9.134385233318143e+46))) (pow t 2))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) (pow t 2))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt 9.134385233318143e+46)) (pow t 2))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (cbrt 9.134385233318143e+46))) (pow t 2))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) (pow t 2))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt 9.134385233318143e+46)) (pow t 2))
  (* (/ (sqrt 3653754093327257.0) (cbrt (cbrt 9.134385233318143e+46))) (pow t 2))
  (* (/ (sqrt 3653754093327257.0) (cbrt (sqrt 9.134385233318143e+46))) (pow t 2))
  (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2))
  (* (/ (sqrt 3653754093327257.0) (cbrt (cbrt 9.134385233318143e+46))) (pow t 2))
  (* (/ (sqrt 3653754093327257.0) (sqrt (cbrt 9.134385233318143e+46))) (pow t 2))
  (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (cbrt 9.134385233318143e+46))) (pow t 2))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) (pow t 2))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt 9.134385233318143e+46)) (pow t 2))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (cbrt 9.134385233318143e+46))) (pow t 2))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) (pow t 2))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt 9.134385233318143e+46)) (pow t 2))
  (* (/ (sqrt 3653754093327257.0) (cbrt (cbrt 9.134385233318143e+46))) (pow t 2))
  (* (/ (sqrt 3653754093327257.0) (cbrt (sqrt 9.134385233318143e+46))) (pow t 2))
  (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2))
  (* (/ (sqrt 3653754093327257.0) (cbrt (cbrt 9.134385233318143e+46))) (pow t 2))
  (* (/ (sqrt 3653754093327257.0) (sqrt (cbrt 9.134385233318143e+46))) (pow t 2))
  (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2))
  (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2))
  (* (/ 1 (cbrt 9.134385233318143e+46)) (pow t 2))
  (* (sqrt 3653754093327257.0) (pow t 2))
  (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2)))
  (+ (- (log (sqrt 3653754093327257.0)) (+ (log (cbrt 9.134385233318143e+46)) (log (cbrt 9.134385233318143e+46)))) (+ (- (log (sqrt 3653754093327257.0)) (log (cbrt 9.134385233318143e+46))) (* (log t) 2)))
  (+ (- (log (sqrt 3653754093327257.0)) (+ (log (cbrt 9.134385233318143e+46)) (log (cbrt 9.134385233318143e+46)))) (+ (- (log (sqrt 3653754093327257.0)) (log (cbrt 9.134385233318143e+46))) (* (log t) 2)))
  (+ (- (log (sqrt 3653754093327257.0)) (+ (log (cbrt 9.134385233318143e+46)) (log (cbrt 9.134385233318143e+46)))) (+ (- (log (sqrt 3653754093327257.0)) (log (cbrt 9.134385233318143e+46))) (log (pow t 2))))
  (+ (- (log (sqrt 3653754093327257.0)) (+ (log (cbrt 9.134385233318143e+46)) (log (cbrt 9.134385233318143e+46)))) (+ (log (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (* (log t) 2)))
  (+ (- (log (sqrt 3653754093327257.0)) (+ (log (cbrt 9.134385233318143e+46)) (log (cbrt 9.134385233318143e+46)))) (+ (log (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (* (log t) 2)))
  (+ (- (log (sqrt 3653754093327257.0)) (+ (log (cbrt 9.134385233318143e+46)) (log (cbrt 9.134385233318143e+46)))) (+ (log (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (log (pow t 2))))
  (+ (- (log (sqrt 3653754093327257.0)) (+ (log (cbrt 9.134385233318143e+46)) (log (cbrt 9.134385233318143e+46)))) (log (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2))))
  (+ (- (log (sqrt 3653754093327257.0)) (log (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (+ (- (log (sqrt 3653754093327257.0)) (log (cbrt 9.134385233318143e+46))) (* (log t) 2)))
  (+ (- (log (sqrt 3653754093327257.0)) (log (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (+ (- (log (sqrt 3653754093327257.0)) (log (cbrt 9.134385233318143e+46))) (* (log t) 2)))
  (+ (- (log (sqrt 3653754093327257.0)) (log (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (+ (- (log (sqrt 3653754093327257.0)) (log (cbrt 9.134385233318143e+46))) (log (pow t 2))))
  (+ (- (log (sqrt 3653754093327257.0)) (log (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (+ (log (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (* (log t) 2)))
  (+ (- (log (sqrt 3653754093327257.0)) (log (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (+ (log (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (* (log t) 2)))
  (+ (- (log (sqrt 3653754093327257.0)) (log (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (+ (log (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (log (pow t 2))))
  (+ (- (log (sqrt 3653754093327257.0)) (log (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (log (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2))))
  (+ (log (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (+ (- (log (sqrt 3653754093327257.0)) (log (cbrt 9.134385233318143e+46))) (* (log t) 2)))
  (+ (log (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (+ (- (log (sqrt 3653754093327257.0)) (log (cbrt 9.134385233318143e+46))) (* (log t) 2)))
  (+ (log (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (+ (- (log (sqrt 3653754093327257.0)) (log (cbrt 9.134385233318143e+46))) (log (pow t 2))))
  (+ (log (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (+ (log (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (* (log t) 2)))
  (+ (log (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (+ (log (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (* (log t) 2)))
  (+ (log (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (+ (log (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (log (pow t 2))))
  (+ (log (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (log (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2))))
  (log (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2))))
  (exp (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2))))
  (* (/ (* (* (sqrt 3653754093327257.0) (sqrt 3653754093327257.0)) (sqrt 3653754093327257.0)) (* 9.134385233318143e+46 9.134385233318143e+46)) (* (/ (* (* (sqrt 3653754093327257.0) (sqrt 3653754093327257.0)) (sqrt 3653754093327257.0)) 9.134385233318143e+46) (* (* (pow t 2) (pow t 2)) (pow t 2))))
  (* (/ (* (* (sqrt 3653754093327257.0) (sqrt 3653754093327257.0)) (sqrt 3653754093327257.0)) (* 9.134385233318143e+46 9.134385233318143e+46)) (* (* (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (* (* (pow t 2) (pow t 2)) (pow t 2))))
  (* (/ (* (* (sqrt 3653754093327257.0) (sqrt 3653754093327257.0)) (sqrt 3653754093327257.0)) (* 9.134385233318143e+46 9.134385233318143e+46)) (* (* (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2)) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2))))
  (* (/ (* (* (sqrt 3653754093327257.0) (sqrt 3653754093327257.0)) (sqrt 3653754093327257.0)) (* (* (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (* (/ (* (* (sqrt 3653754093327257.0) (sqrt 3653754093327257.0)) (sqrt 3653754093327257.0)) 9.134385233318143e+46) (* (* (pow t 2) (pow t 2)) (pow t 2))))
  (* (/ (* (* (sqrt 3653754093327257.0) (sqrt 3653754093327257.0)) (sqrt 3653754093327257.0)) (* (* (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (* (* (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (* (* (pow t 2) (pow t 2)) (pow t 2))))
  (* (/ (* (* (sqrt 3653754093327257.0) (sqrt 3653754093327257.0)) (sqrt 3653754093327257.0)) (* (* (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (* (* (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2)) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2))))
  (* (* (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (* (/ (* (* (sqrt 3653754093327257.0) (sqrt 3653754093327257.0)) (sqrt 3653754093327257.0)) 9.134385233318143e+46) (* (* (pow t 2) (pow t 2)) (pow t 2))))
  (* (* (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (* (* (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (* (* (pow t 2) (pow t 2)) (pow t 2))))
  (* (* (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (* (* (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2)) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2))))
  (* (cbrt (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2)))) (cbrt (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2)))))
  (cbrt (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2))))
  (* (* (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2))) (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2)))) (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2))))
  (sqrt (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2))))
  (sqrt (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2))))
  (* (sqrt 3653754093327257.0) (* (sqrt 3653754093327257.0) (pow t 2)))
  (* (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)) (cbrt 9.134385233318143e+46))
  (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)))
  (* (cbrt (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2)))
  (* (sqrt (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2)))
  (* (/ (cbrt (sqrt 3653754093327257.0)) (cbrt 9.134385233318143e+46)) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2)))
  (* (/ (sqrt (cbrt 3653754093327257.0)) (cbrt 9.134385233318143e+46)) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2)))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt 9.134385233318143e+46)) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2)))
  (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2)))
  (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt 9.134385233318143e+46)) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2)))
  (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2)))
  (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2)))
  (* (/ 1 (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2)))
  (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (sqrt 3653754093327257.0) (pow t 2)))
  (* (sqrt 3653754093327257.0) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2)))
  (/ (* (pow t 2) (sqrt 3653754093327257.0)) (cbrt 9.134385233318143e+46))
  (/ (* (pow t 2) (sqrt 3653754093327257.0)) (cbrt 9.134385233318143e+46))
  (/ (* (pow t 2) (sqrt 3653754093327257.0)) (cbrt 9.134385233318143e+46))
  (* 1.0947644252537633e-47 (* (pow t 2) (pow (sqrt 3653754093327257.0) 2)))
  (* 1.0947644252537633e-47 (* (pow t 2) (pow (sqrt 3653754093327257.0) 2)))
  (* 1.0947644252537633e-47 (* (pow t 2) (pow (sqrt 3653754093327257.0) 2)))
6.831 * [simplify]: Sending expressions to egg_math:
 (+ (- (log (sqrt 3653754093327257.0)) (log (cbrt 9.134385233318143e+46))) (* (log h0) 2))
 (+ (- (log (sqrt 3653754093327257.0)) (log (cbrt 9.134385233318143e+46))) (* (log h0) 2))
 (+ (- (log (sqrt 3653754093327257.0)) (log (cbrt 9.134385233318143e+46))) (log (pow h0 2)))
 (+ (log (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (* (log h0) 2))
 (+ (log (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (* (log h0) 2))
 (+ (log (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (log (pow h0 2)))
 (log (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2)))
 (exp (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2)))
 (* (/ (* (* (sqrt 3653754093327257.0) (sqrt 3653754093327257.0)) (sqrt 3653754093327257.0)) 9.134385233318143e+46) (* (* (pow h0 2) (pow h0 2)) (pow h0 2)))
 (* (* (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (* (* (pow h0 2) (pow h0 2)) (pow h0 2)))
 (* (cbrt (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2))) (cbrt (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2))))
 (cbrt (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2)))
 (* (* (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2)) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2)))
 (sqrt (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2)))
 (sqrt (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2)))
 (* (sqrt (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (pow (sqrt h0) 2))
 (* (sqrt (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (pow (sqrt h0) 2))
 (* (sqrt (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) h0)
 (* (sqrt (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) h0)
 (* (sqrt (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (sqrt (pow h0 2)))
 (* (sqrt (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (sqrt (pow h0 2)))
 (* (sqrt (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (pow h0 (/ 2 2)))
 (* (sqrt (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (pow h0 (/ 2 2)))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) (pow (sqrt h0) 2))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) (pow (sqrt h0) 2))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) h0)
 (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) h0)
 (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) (sqrt (pow h0 2)))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) (sqrt (pow h0 2)))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) (pow h0 (/ 2 2)))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) (pow h0 (/ 2 2)))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) (pow (sqrt h0) 2))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) (pow (sqrt h0) 2))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) h0)
 (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) h0)
 (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) (sqrt (pow h0 2)))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) (sqrt (pow h0 2)))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) (pow h0 (/ 2 2)))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) (pow h0 (/ 2 2)))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) (pow (sqrt h0) 2))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) (pow (sqrt h0) 2))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) h0)
 (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) h0)
 (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) (sqrt (pow h0 2)))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) (sqrt (pow h0 2)))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) (pow h0 (/ 2 2)))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) (pow h0 (/ 2 2)))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) (pow (sqrt h0) 2))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) (pow (sqrt h0) 2))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) h0)
 (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) h0)
 (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) (sqrt (pow h0 2)))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) (sqrt (pow h0 2)))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) (pow h0 (/ 2 2)))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) (pow h0 (/ 2 2)))
 (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow (* (cbrt h0) (cbrt h0)) 2))
 (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow (sqrt h0) 2))
 (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow 1 2))
 (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) h0)
 (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (* (cbrt (pow h0 2)) (cbrt (pow h0 2))))
 (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (sqrt (pow h0 2)))
 (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) 1)
 (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 (/ 2 2)))
 (* (cbrt (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (pow h0 2))
 (* (sqrt (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (pow h0 2))
 (* (/ (cbrt (sqrt 3653754093327257.0)) (cbrt (cbrt 9.134385233318143e+46))) (pow h0 2))
 (* (/ (cbrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) (pow h0 2))
 (* (/ (cbrt (sqrt 3653754093327257.0)) (cbrt 9.134385233318143e+46)) (pow h0 2))
 (* (/ (cbrt (sqrt 3653754093327257.0)) (cbrt (cbrt 9.134385233318143e+46))) (pow h0 2))
 (* (/ (cbrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) (pow h0 2))
 (* (/ (cbrt (sqrt 3653754093327257.0)) (cbrt 9.134385233318143e+46)) (pow h0 2))
 (* (/ (sqrt (cbrt 3653754093327257.0)) (cbrt (cbrt 9.134385233318143e+46))) (pow h0 2))
 (* (/ (sqrt (cbrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) (pow h0 2))
 (* (/ (sqrt (cbrt 3653754093327257.0)) (cbrt 9.134385233318143e+46)) (pow h0 2))
 (* (/ (sqrt (cbrt 3653754093327257.0)) (cbrt (cbrt 9.134385233318143e+46))) (pow h0 2))
 (* (/ (sqrt (cbrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) (pow h0 2))
 (* (/ (sqrt (cbrt 3653754093327257.0)) (cbrt 9.134385233318143e+46)) (pow h0 2))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (cbrt 9.134385233318143e+46))) (pow h0 2))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) (pow h0 2))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt 9.134385233318143e+46)) (pow h0 2))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (cbrt 9.134385233318143e+46))) (pow h0 2))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) (pow h0 2))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt 9.134385233318143e+46)) (pow h0 2))
 (* (/ (sqrt 3653754093327257.0) (cbrt (cbrt 9.134385233318143e+46))) (pow h0 2))
 (* (/ (sqrt 3653754093327257.0) (cbrt (sqrt 9.134385233318143e+46))) (pow h0 2))
 (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2))
 (* (/ (sqrt 3653754093327257.0) (cbrt (cbrt 9.134385233318143e+46))) (pow h0 2))
 (* (/ (sqrt 3653754093327257.0) (sqrt (cbrt 9.134385233318143e+46))) (pow h0 2))
 (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (cbrt 9.134385233318143e+46))) (pow h0 2))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (sqrt 9.134385233318143e+46))) (pow h0 2))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt 9.134385233318143e+46)) (pow h0 2))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt (cbrt 9.134385233318143e+46))) (pow h0 2))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (sqrt (cbrt 9.134385233318143e+46))) (pow h0 2))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt 9.134385233318143e+46)) (pow h0 2))
 (* (/ (sqrt 3653754093327257.0) (cbrt (cbrt 9.134385233318143e+46))) (pow h0 2))
 (* (/ (sqrt 3653754093327257.0) (cbrt (sqrt 9.134385233318143e+46))) (pow h0 2))
 (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2))
 (* (/ (sqrt 3653754093327257.0) (cbrt (cbrt 9.134385233318143e+46))) (pow h0 2))
 (* (/ (sqrt 3653754093327257.0) (sqrt (cbrt 9.134385233318143e+46))) (pow h0 2))
 (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2))
 (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2))
 (* (/ 1 (cbrt 9.134385233318143e+46)) (pow h0 2))
 (* (sqrt 3653754093327257.0) (pow h0 2))
 (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2)))
 (+ (- (log (sqrt 3653754093327257.0)) (+ (log (cbrt 9.134385233318143e+46)) (log (cbrt 9.134385233318143e+46)))) (+ (- (log (sqrt 3653754093327257.0)) (log (cbrt 9.134385233318143e+46))) (* (log h0) 2)))
 (+ (- (log (sqrt 3653754093327257.0)) (+ (log (cbrt 9.134385233318143e+46)) (log (cbrt 9.134385233318143e+46)))) (+ (- (log (sqrt 3653754093327257.0)) (log (cbrt 9.134385233318143e+46))) (* (log h0) 2)))
 (+ (- (log (sqrt 3653754093327257.0)) (+ (log (cbrt 9.134385233318143e+46)) (log (cbrt 9.134385233318143e+46)))) (+ (- (log (sqrt 3653754093327257.0)) (log (cbrt 9.134385233318143e+46))) (log (pow h0 2))))
 (+ (- (log (sqrt 3653754093327257.0)) (+ (log (cbrt 9.134385233318143e+46)) (log (cbrt 9.134385233318143e+46)))) (+ (log (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (* (log h0) 2)))
 (+ (- (log (sqrt 3653754093327257.0)) (+ (log (cbrt 9.134385233318143e+46)) (log (cbrt 9.134385233318143e+46)))) (+ (log (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (* (log h0) 2)))
 (+ (- (log (sqrt 3653754093327257.0)) (+ (log (cbrt 9.134385233318143e+46)) (log (cbrt 9.134385233318143e+46)))) (+ (log (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (log (pow h0 2))))
 (+ (- (log (sqrt 3653754093327257.0)) (+ (log (cbrt 9.134385233318143e+46)) (log (cbrt 9.134385233318143e+46)))) (log (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2))))
 (+ (- (log (sqrt 3653754093327257.0)) (log (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (+ (- (log (sqrt 3653754093327257.0)) (log (cbrt 9.134385233318143e+46))) (* (log h0) 2)))
 (+ (- (log (sqrt 3653754093327257.0)) (log (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (+ (- (log (sqrt 3653754093327257.0)) (log (cbrt 9.134385233318143e+46))) (* (log h0) 2)))
 (+ (- (log (sqrt 3653754093327257.0)) (log (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (+ (- (log (sqrt 3653754093327257.0)) (log (cbrt 9.134385233318143e+46))) (log (pow h0 2))))
 (+ (- (log (sqrt 3653754093327257.0)) (log (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (+ (log (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (* (log h0) 2)))
 (+ (- (log (sqrt 3653754093327257.0)) (log (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (+ (log (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (* (log h0) 2)))
 (+ (- (log (sqrt 3653754093327257.0)) (log (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (+ (log (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (log (pow h0 2))))
 (+ (- (log (sqrt 3653754093327257.0)) (log (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (log (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2))))
 (+ (log (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (+ (- (log (sqrt 3653754093327257.0)) (log (cbrt 9.134385233318143e+46))) (* (log h0) 2)))
 (+ (log (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (+ (- (log (sqrt 3653754093327257.0)) (log (cbrt 9.134385233318143e+46))) (* (log h0) 2)))
 (+ (log (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (+ (- (log (sqrt 3653754093327257.0)) (log (cbrt 9.134385233318143e+46))) (log (pow h0 2))))
 (+ (log (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (+ (log (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (* (log h0) 2)))
 (+ (log (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (+ (log (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (* (log h0) 2)))
 (+ (log (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (+ (log (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (log (pow h0 2))))
 (+ (log (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (log (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2))))
 (log (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2))))
 (exp (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2))))
 (* (/ (* (* (sqrt 3653754093327257.0) (sqrt 3653754093327257.0)) (sqrt 3653754093327257.0)) (* 9.134385233318143e+46 9.134385233318143e+46)) (* (/ (* (* (sqrt 3653754093327257.0) (sqrt 3653754093327257.0)) (sqrt 3653754093327257.0)) 9.134385233318143e+46) (* (* (pow h0 2) (pow h0 2)) (pow h0 2))))
 (* (/ (* (* (sqrt 3653754093327257.0) (sqrt 3653754093327257.0)) (sqrt 3653754093327257.0)) (* 9.134385233318143e+46 9.134385233318143e+46)) (* (* (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (* (* (pow h0 2) (pow h0 2)) (pow h0 2))))
 (* (/ (* (* (sqrt 3653754093327257.0) (sqrt 3653754093327257.0)) (sqrt 3653754093327257.0)) (* 9.134385233318143e+46 9.134385233318143e+46)) (* (* (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2)) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2))))
 (* (/ (* (* (sqrt 3653754093327257.0) (sqrt 3653754093327257.0)) (sqrt 3653754093327257.0)) (* (* (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (* (/ (* (* (sqrt 3653754093327257.0) (sqrt 3653754093327257.0)) (sqrt 3653754093327257.0)) 9.134385233318143e+46) (* (* (pow h0 2) (pow h0 2)) (pow h0 2))))
 (* (/ (* (* (sqrt 3653754093327257.0) (sqrt 3653754093327257.0)) (sqrt 3653754093327257.0)) (* (* (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (* (* (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (* (* (pow h0 2) (pow h0 2)) (pow h0 2))))
 (* (/ (* (* (sqrt 3653754093327257.0) (sqrt 3653754093327257.0)) (sqrt 3653754093327257.0)) (* (* (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (* (* (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2)) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2))))
 (* (* (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (* (/ (* (* (sqrt 3653754093327257.0) (sqrt 3653754093327257.0)) (sqrt 3653754093327257.0)) 9.134385233318143e+46) (* (* (pow h0 2) (pow h0 2)) (pow h0 2))))
 (* (* (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (* (* (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46))) (* (* (pow h0 2) (pow h0 2)) (pow h0 2))))
 (* (* (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (* (* (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2)) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2))))
 (* (cbrt (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2)))) (cbrt (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2)))))
 (cbrt (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2))))
 (* (* (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2))) (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2)))) (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2))))
 (sqrt (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2))))
 (sqrt (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2))))
 (* (sqrt 3653754093327257.0) (* (sqrt 3653754093327257.0) (pow h0 2)))
 (* (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)) (cbrt 9.134385233318143e+46))
 (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)))
 (* (cbrt (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2)))
 (* (sqrt (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46)))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2)))
 (* (/ (cbrt (sqrt 3653754093327257.0)) (cbrt 9.134385233318143e+46)) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2)))
 (* (/ (sqrt (cbrt 3653754093327257.0)) (cbrt 9.134385233318143e+46)) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2)))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt 9.134385233318143e+46)) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2)))
 (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2)))
 (* (/ (sqrt (sqrt 3653754093327257.0)) (cbrt 9.134385233318143e+46)) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2)))
 (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2)))
 (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2)))
 (* (/ 1 (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2)))
 (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (sqrt 3653754093327257.0) (pow h0 2)))
 (* (sqrt 3653754093327257.0) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2)))
 (/ (* (pow h0 2) (sqrt 3653754093327257.0)) (cbrt 9.134385233318143e+46))
 (/ (* (pow h0 2) (sqrt 3653754093327257.0)) (cbrt 9.134385233318143e+46))
 (/ (* (pow h0 2) (sqrt 3653754093327257.0)) (cbrt 9.134385233318143e+46))
 (* (/ 1.0 9.134385233318143e+46) (* (pow h0 2) (pow (sqrt 3653754093327257.0) 2)))
 (* (/ 1.0 9.134385233318143e+46) (* (pow h0 2) (pow (sqrt 3653754093327257.0) 2)))
 (* (/ 1.0 9.134385233318143e+46) (* (pow h0 2) (pow (sqrt 3653754093327257.0) 2)))
8.091 * * * [progress]: adding candidates to table
8.581 * * [progress]: iteration 4 / 4
8.581 * * * [progress]: picking best candidate
8.597 * * * * [pick]: Picked  #<alt (λ (t) (+ (+ -1.0 (* 1.0 1.0)) (* (/ (* t 3653754093327257.0) 9.134385233318143e+46) (pow t (/ 2 2)))))>
8.597 * * * [progress]: localizing error
8.610 * * * [progress]: generating rewritten candidates
8.610 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
8.651 * * * [progress]: generating series expansions
8.651 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
8.652 * [backup-simplify]: Simplify (* (/ (* t 3653754093327257.0) 9.134385233318143e+46) (pow t (/ 2 2))) into (* 3.9999999999999997e-32 (pow t 2))
8.652 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0
8.652 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
8.652 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.652 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.652 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.652 * [taylor]: Taking taylor expansion of t in t
8.652 * [backup-simplify]: Simplify 0 into 0
8.652 * [backup-simplify]: Simplify 1 into 1
8.652 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t
8.652 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.652 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.652 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.652 * [taylor]: Taking taylor expansion of t in t
8.652 * [backup-simplify]: Simplify 0 into 0
8.652 * [backup-simplify]: Simplify 1 into 1
8.653 * [backup-simplify]: Simplify (* 1 1) into 1
8.653 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.653 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.653 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.654 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0
8.654 * [backup-simplify]: Simplify 0 into 0
8.655 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.655 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0
8.655 * [backup-simplify]: Simplify 0 into 0
8.656 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.656 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.657 * [backup-simplify]: Simplify 0 into 0
8.657 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.658 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.658 * [backup-simplify]: Simplify 0 into 0
8.659 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.662 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.662 * [backup-simplify]: Simplify 0 into 0
8.664 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.665 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.666 * [backup-simplify]: Simplify 0 into 0
8.666 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2))
8.667 * [backup-simplify]: Simplify (* (/ (* (/ 1 t) 3653754093327257.0) 9.134385233318143e+46) (pow (/ 1 t) (/ 2 2))) into (/ 3.9999999999999997e-32 (pow t 2))
8.667 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
8.667 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
8.667 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.667 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.667 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.667 * [taylor]: Taking taylor expansion of t in t
8.667 * [backup-simplify]: Simplify 0 into 0
8.667 * [backup-simplify]: Simplify 1 into 1
8.667 * [backup-simplify]: Simplify (* 1 1) into 1
8.668 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.668 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
8.668 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.668 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.668 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.668 * [taylor]: Taking taylor expansion of t in t
8.668 * [backup-simplify]: Simplify 0 into 0
8.668 * [backup-simplify]: Simplify 1 into 1
8.668 * [backup-simplify]: Simplify (* 1 1) into 1
8.669 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.669 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.670 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.670 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
8.671 * [backup-simplify]: Simplify 0 into 0
8.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.672 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.672 * [backup-simplify]: Simplify 0 into 0
8.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.674 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.674 * [backup-simplify]: Simplify 0 into 0
8.675 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.676 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.676 * [backup-simplify]: Simplify 0 into 0
8.677 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.677 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.677 * [backup-simplify]: Simplify 0 into 0
8.678 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.679 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.679 * [backup-simplify]: Simplify 0 into 0
8.679 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2))
8.679 * [backup-simplify]: Simplify (* (/ (* (/ 1 (- t)) 3653754093327257.0) 9.134385233318143e+46) (pow (/ 1 (- t)) (/ 2 2))) into (/ 3.9999999999999997e-32 (pow t 2))
8.679 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0
8.679 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
8.679 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.679 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.679 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.679 * [taylor]: Taking taylor expansion of t in t
8.679 * [backup-simplify]: Simplify 0 into 0
8.679 * [backup-simplify]: Simplify 1 into 1
8.680 * [backup-simplify]: Simplify (* 1 1) into 1
8.680 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.680 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t
8.680 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t
8.680 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.680 * [taylor]: Taking taylor expansion of (pow t 2) in t
8.680 * [taylor]: Taking taylor expansion of t in t
8.680 * [backup-simplify]: Simplify 0 into 0
8.680 * [backup-simplify]: Simplify 1 into 1
8.680 * [backup-simplify]: Simplify (* 1 1) into 1
8.681 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32
8.681 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32
8.681 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.682 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0
8.682 * [backup-simplify]: Simplify 0 into 0
8.682 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.683 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.683 * [backup-simplify]: Simplify 0 into 0
8.683 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.684 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.684 * [backup-simplify]: Simplify 0 into 0
8.685 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.685 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.685 * [backup-simplify]: Simplify 0 into 0
8.686 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.687 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.687 * [backup-simplify]: Simplify 0 into 0
8.687 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.688 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.688 * [backup-simplify]: Simplify 0 into 0
8.688 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2))
8.688 * * * [progress]: simplifying candidates
8.689 * [simplify]: Simplifying:
  (+ (- (+ (log t) (log 3653754093327257.0)) (log 9.134385233318143e+46)) (* (log t) (/ 2 2)))
  (+ (- (+ (log t) (log 3653754093327257.0)) (log 9.134385233318143e+46)) (* (log t) (/ 2 2)))
  (+ (- (+ (log t) (log 3653754093327257.0)) (log 9.134385233318143e+46)) (log (pow t (/ 2 2))))
  (+ (- (log (* t 3653754093327257.0)) (log 9.134385233318143e+46)) (* (log t) (/ 2 2)))
  (+ (- (log (* t 3653754093327257.0)) (log 9.134385233318143e+46)) (* (log t) (/ 2 2)))
  (+ (- (log (* t 3653754093327257.0)) (log 9.134385233318143e+46)) (log (pow t (/ 2 2))))
  (+ (log (/ (* t 3653754093327257.0) 9.134385233318143e+46)) (* (log t) (/ 2 2)))
  (+ (log (/ (* t 3653754093327257.0) 9.134385233318143e+46)) (* (log t) (/ 2 2)))
  (+ (log (/ (* t 3653754093327257.0) 9.134385233318143e+46)) (log (pow t (/ 2 2))))
  (log (* (/ (* t 3653754093327257.0) 9.134385233318143e+46) (pow t (/ 2 2))))
  (exp (* (/ (* t 3653754093327257.0) 9.134385233318143e+46) (pow t (/ 2 2))))
  (* (/ (* (* (* t t) t) (* (* 3653754093327257.0 3653754093327257.0) 3653754093327257.0)) (* (* 9.134385233318143e+46 9.134385233318143e+46) 9.134385233318143e+46)) (* (* (pow t (/ 2 2)) (pow t (/ 2 2))) (pow t (/ 2 2))))
  (* (/ (* (* (* t 3653754093327257.0) (* t 3653754093327257.0)) (* t 3653754093327257.0)) (* (* 9.134385233318143e+46 9.134385233318143e+46) 9.134385233318143e+46)) (* (* (pow t (/ 2 2)) (pow t (/ 2 2))) (pow t (/ 2 2))))
  (* (* (* (/ (* t 3653754093327257.0) 9.134385233318143e+46) (/ (* t 3653754093327257.0) 9.134385233318143e+46)) (/ (* t 3653754093327257.0) 9.134385233318143e+46)) (* (* (pow t (/ 2 2)) (pow t (/ 2 2))) (pow t (/ 2 2))))
  (* (cbrt (* (/ (* t 3653754093327257.0) 9.134385233318143e+46) (pow t (/ 2 2)))) (cbrt (* (/ (* t 3653754093327257.0) 9.134385233318143e+46) (pow t (/ 2 2)))))
  (cbrt (* (/ (* t 3653754093327257.0) 9.134385233318143e+46) (pow t (/ 2 2))))
  (* (* (* (/ (* t 3653754093327257.0) 9.134385233318143e+46) (pow t (/ 2 2))) (* (/ (* t 3653754093327257.0) 9.134385233318143e+46) (pow t (/ 2 2)))) (* (/ (* t 3653754093327257.0) 9.134385233318143e+46) (pow t (/ 2 2))))
  (sqrt (* (/ (* t 3653754093327257.0) 9.134385233318143e+46) (pow t (/ 2 2))))
  (sqrt (* (/ (* t 3653754093327257.0) 9.134385233318143e+46) (pow t (/ 2 2))))
  (* (sqrt (/ (* t 3653754093327257.0) 9.134385233318143e+46)) (pow (sqrt t) (/ 2 2)))
  (* (sqrt (/ (* t 3653754093327257.0) 9.134385233318143e+46)) (pow (sqrt t) (/ 2 2)))
  (* (sqrt (/ (* t 3653754093327257.0) 9.134385233318143e+46)) (sqrt (pow t (/ 2 2))))
  (* (sqrt (/ (* t 3653754093327257.0) 9.134385233318143e+46)) (sqrt (pow t (/ 2 2))))
  (* (sqrt (/ (* t 3653754093327257.0) 9.134385233318143e+46)) (pow t (/ (/ 2 2) 2)))
  (* (sqrt (/ (* t 3653754093327257.0) 9.134385233318143e+46)) (pow t (/ (/ 2 2) 2)))
  (* (/ (* t 3653754093327257.0) 9.134385233318143e+46) (pow (* (cbrt t) (cbrt t)) (/ 2 2)))
  (* (/ (* t 3653754093327257.0) 9.134385233318143e+46) (pow (sqrt t) (/ 2 2)))
  (* (/ (* t 3653754093327257.0) 9.134385233318143e+46) (pow 1 (/ 2 2)))
  (* (/ (* t 3653754093327257.0) 9.134385233318143e+46) (* (cbrt (pow t (/ 2 2))) (cbrt (pow t (/ 2 2)))))
  (* (/ (* t 3653754093327257.0) 9.134385233318143e+46) (sqrt (pow t (/ 2 2))))
  (* (/ (* t 3653754093327257.0) 9.134385233318143e+46) 1)
  (* (/ (* t 3653754093327257.0) 9.134385233318143e+46) (pow t (/ (/ 2 2) 2)))
  (* (cbrt (/ (* t 3653754093327257.0) 9.134385233318143e+46)) (pow t (/ 2 2)))
  (* (sqrt (/ (* t 3653754093327257.0) 9.134385233318143e+46)) (pow t (/ 2 2)))
  (* (/ 3653754093327257.0 (cbrt 9.134385233318143e+46)) (pow t (/ 2 2)))
  (* (/ 3653754093327257.0 (sqrt 9.134385233318143e+46)) (pow t (/ 2 2)))
  (* (/ 3653754093327257.0 9.134385233318143e+46) (pow t (/ 2 2)))
  (* (/ (* t 3653754093327257.0) 9.134385233318143e+46) (pow t (/ 2 2)))
  (* (/ 1 9.134385233318143e+46) (pow t (/ 2 2)))
  (* (* t 3653754093327257.0) (pow t (/ 2 2)))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
  (* 3.9999999999999997e-32 (pow t 2))
8.690 * [simplify]: Sending expressions to egg_math:
 (+ (- (+ (log h0) (log 3653754093327257.0)) (log 9.134385233318143e+46)) (* (log h0) (/ 2 2)))
 (+ (- (+ (log h0) (log 3653754093327257.0)) (log 9.134385233318143e+46)) (* (log h0) (/ 2 2)))
 (+ (- (+ (log h0) (log 3653754093327257.0)) (log 9.134385233318143e+46)) (log (pow h0 (/ 2 2))))
 (+ (- (log (* h0 3653754093327257.0)) (log 9.134385233318143e+46)) (* (log h0) (/ 2 2)))
 (+ (- (log (* h0 3653754093327257.0)) (log 9.134385233318143e+46)) (* (log h0) (/ 2 2)))
 (+ (- (log (* h0 3653754093327257.0)) (log 9.134385233318143e+46)) (log (pow h0 (/ 2 2))))
 (+ (log (/ (* h0 3653754093327257.0) 9.134385233318143e+46)) (* (log h0) (/ 2 2)))
 (+ (log (/ (* h0 3653754093327257.0) 9.134385233318143e+46)) (* (log h0) (/ 2 2)))
 (+ (log (/ (* h0 3653754093327257.0) 9.134385233318143e+46)) (log (pow h0 (/ 2 2))))
 (log (* (/ (* h0 3653754093327257.0) 9.134385233318143e+46) (pow h0 (/ 2 2))))
 (exp (* (/ (* h0 3653754093327257.0) 9.134385233318143e+46) (pow h0 (/ 2 2))))
 (* (/ (* (* (* h0 h0) h0) (* (* 3653754093327257.0 3653754093327257.0) 3653754093327257.0)) (* (* 9.134385233318143e+46 9.134385233318143e+46) 9.134385233318143e+46)) (* (* (pow h0 (/ 2 2)) (pow h0 (/ 2 2))) (pow h0 (/ 2 2))))
 (* (/ (* (* (* h0 3653754093327257.0) (* h0 3653754093327257.0)) (* h0 3653754093327257.0)) (* (* 9.134385233318143e+46 9.134385233318143e+46) 9.134385233318143e+46)) (* (* (pow h0 (/ 2 2)) (pow h0 (/ 2 2))) (pow h0 (/ 2 2))))
 (* (* (* (/ (* h0 3653754093327257.0) 9.134385233318143e+46) (/ (* h0 3653754093327257.0) 9.134385233318143e+46)) (/ (* h0 3653754093327257.0) 9.134385233318143e+46)) (* (* (pow h0 (/ 2 2)) (pow h0 (/ 2 2))) (pow h0 (/ 2 2))))
 (* (cbrt (* (/ (* h0 3653754093327257.0) 9.134385233318143e+46) (pow h0 (/ 2 2)))) (cbrt (* (/ (* h0 3653754093327257.0) 9.134385233318143e+46) (pow h0 (/ 2 2)))))
 (cbrt (* (/ (* h0 3653754093327257.0) 9.134385233318143e+46) (pow h0 (/ 2 2))))
 (* (* (* (/ (* h0 3653754093327257.0) 9.134385233318143e+46) (pow h0 (/ 2 2))) (* (/ (* h0 3653754093327257.0) 9.134385233318143e+46) (pow h0 (/ 2 2)))) (* (/ (* h0 3653754093327257.0) 9.134385233318143e+46) (pow h0 (/ 2 2))))
 (sqrt (* (/ (* h0 3653754093327257.0) 9.134385233318143e+46) (pow h0 (/ 2 2))))
 (sqrt (* (/ (* h0 3653754093327257.0) 9.134385233318143e+46) (pow h0 (/ 2 2))))
 (* (sqrt (/ (* h0 3653754093327257.0) 9.134385233318143e+46)) (pow (sqrt h0) (/ 2 2)))
 (* (sqrt (/ (* h0 3653754093327257.0) 9.134385233318143e+46)) (pow (sqrt h0) (/ 2 2)))
 (* (sqrt (/ (* h0 3653754093327257.0) 9.134385233318143e+46)) (sqrt (pow h0 (/ 2 2))))
 (* (sqrt (/ (* h0 3653754093327257.0) 9.134385233318143e+46)) (sqrt (pow h0 (/ 2 2))))
 (* (sqrt (/ (* h0 3653754093327257.0) 9.134385233318143e+46)) (pow h0 (/ (/ 2 2) 2)))
 (* (sqrt (/ (* h0 3653754093327257.0) 9.134385233318143e+46)) (pow h0 (/ (/ 2 2) 2)))
 (* (/ (* h0 3653754093327257.0) 9.134385233318143e+46) (pow (* (cbrt h0) (cbrt h0)) (/ 2 2)))
 (* (/ (* h0 3653754093327257.0) 9.134385233318143e+46) (pow (sqrt h0) (/ 2 2)))
 (* (/ (* h0 3653754093327257.0) 9.134385233318143e+46) (pow 1 (/ 2 2)))
 (* (/ (* h0 3653754093327257.0) 9.134385233318143e+46) (* (cbrt (pow h0 (/ 2 2))) (cbrt (pow h0 (/ 2 2)))))
 (* (/ (* h0 3653754093327257.0) 9.134385233318143e+46) (sqrt (pow h0 (/ 2 2))))
 (* (/ (* h0 3653754093327257.0) 9.134385233318143e+46) 1)
 (* (/ (* h0 3653754093327257.0) 9.134385233318143e+46) (pow h0 (/ (/ 2 2) 2)))
 (* (cbrt (/ (* h0 3653754093327257.0) 9.134385233318143e+46)) (pow h0 (/ 2 2)))
 (* (sqrt (/ (* h0 3653754093327257.0) 9.134385233318143e+46)) (pow h0 (/ 2 2)))
 (* (/ 3653754093327257.0 (cbrt 9.134385233318143e+46)) (pow h0 (/ 2 2)))
 (* (/ 3653754093327257.0 (sqrt 9.134385233318143e+46)) (pow h0 (/ 2 2)))
 (* (/ 3653754093327257.0 9.134385233318143e+46) (pow h0 (/ 2 2)))
 (* (/ (* h0 3653754093327257.0) 9.134385233318143e+46) (pow h0 (/ 2 2)))
 (* (/ 1 9.134385233318143e+46) (pow h0 (/ 2 2)))
 (* (* h0 3653754093327257.0) (pow h0 (/ 2 2)))
 (* (/ 3653754093327257.0 9.134385233318143e+46) (pow h0 2))
 (* (/ 3653754093327257.0 9.134385233318143e+46) (pow h0 2))
 (* (/ 3653754093327257.0 9.134385233318143e+46) (pow h0 2))
9.222 * * * [progress]: adding candidates to table
9.361 * [progress]: [Phase 3 of 3] Extracting.
9.361 * * [regime]: Finding splitpoints for: (#<alt (λ (t) (+ (+ -1.0 (* 1.0 1.0)) (* (/ 3653754093327257.0 9.134385233318143e+46) (pow t 2))))> #<alt (λ (t) (+ (+ -1.0 (* 1.0 1.0)) (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (* t (sqrt (sqrt 3653754093327257.0))) (sqrt (cbrt 9.134385233318143e+46))) (/ (* t (sqrt (sqrt 3653754093327257.0))) (sqrt (cbrt 9.134385233318143e+46)))))))> #<alt (λ (t) (+ (+ -1.0 (* 1.0 1.0)) (* (/ (* (cbrt 3653754093327257.0) (cbrt 3653754093327257.0)) (sqrt 9.134385233318143e+46)) (* (/ (cbrt 3653754093327257.0) (sqrt 9.134385233318143e+46)) (pow t 2)))))> #<alt (λ (t) (+ (+ -1.0 (* 1.0 1.0)) (* (/ (* t 3653754093327257.0) 9.134385233318143e+46) (pow t (/ 2 2)))))> #<alt (λ (t) (+ (+ -1.0 (* 1.0 1.0)) (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2)))))> #<alt (λ (t) (+ (+ -1.0 (* 1.0 1.0)) (* (* t (/ 2028240960365167.0 1.0141204801825835e+31)) (* t (/ 2028240960365167.0 1.0141204801825835e+31)))))>)
9.362 * * * [regime-changes]: Trying 1 branch expressions: (t)
9.362 * * * * [regimes]: Trying to branch on t from (#<alt (λ (t) (+ (+ -1.0 (* 1.0 1.0)) (* (/ 3653754093327257.0 9.134385233318143e+46) (pow t 2))))> #<alt (λ (t) (+ (+ -1.0 (* 1.0 1.0)) (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (* t (sqrt (sqrt 3653754093327257.0))) (sqrt (cbrt 9.134385233318143e+46))) (/ (* t (sqrt (sqrt 3653754093327257.0))) (sqrt (cbrt 9.134385233318143e+46)))))))> #<alt (λ (t) (+ (+ -1.0 (* 1.0 1.0)) (* (/ (* (cbrt 3653754093327257.0) (cbrt 3653754093327257.0)) (sqrt 9.134385233318143e+46)) (* (/ (cbrt 3653754093327257.0) (sqrt 9.134385233318143e+46)) (pow t 2)))))> #<alt (λ (t) (+ (+ -1.0 (* 1.0 1.0)) (* (/ (* t 3653754093327257.0) 9.134385233318143e+46) (pow t (/ 2 2)))))> #<alt (λ (t) (+ (+ -1.0 (* 1.0 1.0)) (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2)))))> #<alt (λ (t) (+ (+ -1.0 (* 1.0 1.0)) (* (* t (/ 2028240960365167.0 1.0141204801825835e+31)) (* t (/ 2028240960365167.0 1.0141204801825835e+31)))))>)
9.411 * * * [regime]: Found split indices: #<option (#s(si 4 255))>
9.412 * [simplify]: Simplifying:
  (+ (+ -1.0 (* 1.0 1.0)) (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow t 2))))
9.412 * [simplify]: Sending expressions to egg_math:
 (+ (+ -1.0 (* 1.0 1.0)) (* (/ (sqrt 3653754093327257.0) (* (cbrt 9.134385233318143e+46) (cbrt 9.134385233318143e+46))) (* (/ (sqrt 3653754093327257.0) (cbrt 9.134385233318143e+46)) (pow h0 2))))
13.907 * [regime-testing]: Baseline error score: 0.3479919958793529
13.912 * [regime-testing]: Oracle error score: 0.014626828353544194
13.920 * [regime-testing]: End program error score: 0.3479919958793529
13.954 * [regime-testing]: Target error score: 50.569913334301184