0.139 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.025 * * * [progress]: [2/2] Setting up program.
0.027 * [progress]: [Phase 2 of 3] Improving.
0.027 * [simplify]: Simplifying:
  (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
0.027 * [simplify]: Sending expressions to egg_math:
 (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))))
1.601 * * [progress]: iteration 1 / 4
1.601 * * * [progress]: picking best candidate
1.604 * * * * [pick]: Picked  #<alt (λ (t) (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))>
1.604 * * * [progress]: localizing error
1.631 * * * [progress]: generating rewritten candidates
1.631 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2)
1.751 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1)
1.815 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2)
2.386 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
2.403 * * * [progress]: generating series expansions
2.403 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2)
2.403 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) into (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))))
2.403 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0
2.403 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
2.403 * [taylor]: Taking taylor expansion of 2.0 in t
2.403 * [backup-simplify]: Simplify 2.0 into 2.0
2.403 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
2.403 * [taylor]: Taking taylor expansion of 2.0 in t
2.403 * [backup-simplify]: Simplify 2.0 into 2.0
2.403 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
2.403 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
2.403 * [taylor]: Taking taylor expansion of t in t
2.403 * [backup-simplify]: Simplify 0 into 0
2.404 * [backup-simplify]: Simplify 1 into 1
2.404 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
2.404 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
2.404 * [taylor]: Taking taylor expansion of 1.0 in t
2.404 * [backup-simplify]: Simplify 1.0 into 1.0
2.404 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.404 * [taylor]: Taking taylor expansion of t in t
2.404 * [backup-simplify]: Simplify 0 into 0
2.404 * [backup-simplify]: Simplify 1 into 1
2.404 * [backup-simplify]: Simplify (/ 1 1) into 1
2.404 * [taylor]: Taking taylor expansion of 1.0 in t
2.404 * [backup-simplify]: Simplify 1.0 into 1.0
2.405 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
2.405 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.405 * [backup-simplify]: Simplify (* 0 1.0) into 0
2.406 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.406 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
2.406 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.408 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
2.408 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.408 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
2.408 * [taylor]: Taking taylor expansion of 2.0 in t
2.408 * [backup-simplify]: Simplify 2.0 into 2.0
2.408 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
2.408 * [taylor]: Taking taylor expansion of 2.0 in t
2.408 * [backup-simplify]: Simplify 2.0 into 2.0
2.408 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
2.408 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
2.408 * [taylor]: Taking taylor expansion of t in t
2.408 * [backup-simplify]: Simplify 0 into 0
2.408 * [backup-simplify]: Simplify 1 into 1
2.408 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
2.408 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
2.408 * [taylor]: Taking taylor expansion of 1.0 in t
2.408 * [backup-simplify]: Simplify 1.0 into 1.0
2.408 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.408 * [taylor]: Taking taylor expansion of t in t
2.408 * [backup-simplify]: Simplify 0 into 0
2.408 * [backup-simplify]: Simplify 1 into 1
2.409 * [backup-simplify]: Simplify (/ 1 1) into 1
2.409 * [taylor]: Taking taylor expansion of 1.0 in t
2.409 * [backup-simplify]: Simplify 1.0 into 1.0
2.409 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
2.409 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.409 * [backup-simplify]: Simplify (* 0 1.0) into 0
2.410 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.410 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
2.411 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.412 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
2.412 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.412 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
2.412 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.413 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0
2.413 * [backup-simplify]: Simplify 0 into 0
2.413 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.414 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
2.414 * [backup-simplify]: Simplify (+ 0 0) into 0
2.416 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0
2.417 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
2.418 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
2.419 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
2.419 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
2.419 * [backup-simplify]: Simplify 2.0 into 2.0
2.420 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.422 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.423 * [backup-simplify]: Simplify (+ 0 0) into 0
2.425 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0
2.429 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0
2.432 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0
2.432 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.433 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
2.433 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.434 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.435 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.436 * [backup-simplify]: Simplify (+ 0 0) into 0
2.437 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0
2.442 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
2.445 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0)
2.445 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
2.446 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
2.446 * [backup-simplify]: Simplify 2.0 into 2.0
2.447 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2)))
2.448 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 (/ 1 t)) (+ 1.0 (/ 1.0 (/ 1 t))))) into (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0))))
2.448 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in (t) around 0
2.448 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
2.448 * [taylor]: Taking taylor expansion of 2.0 in t
2.448 * [backup-simplify]: Simplify 2.0 into 2.0
2.448 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
2.448 * [taylor]: Taking taylor expansion of 2.0 in t
2.448 * [backup-simplify]: Simplify 2.0 into 2.0
2.448 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
2.448 * [taylor]: Taking taylor expansion of t in t
2.448 * [backup-simplify]: Simplify 0 into 0
2.448 * [backup-simplify]: Simplify 1 into 1
2.448 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
2.448 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.448 * [taylor]: Taking taylor expansion of 1.0 in t
2.448 * [backup-simplify]: Simplify 1.0 into 1.0
2.448 * [taylor]: Taking taylor expansion of t in t
2.448 * [backup-simplify]: Simplify 0 into 0
2.448 * [backup-simplify]: Simplify 1 into 1
2.448 * [taylor]: Taking taylor expansion of 1.0 in t
2.448 * [backup-simplify]: Simplify 1.0 into 1.0
2.449 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.449 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.450 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.450 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
2.450 * [taylor]: Taking taylor expansion of 2.0 in t
2.450 * [backup-simplify]: Simplify 2.0 into 2.0
2.450 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
2.450 * [taylor]: Taking taylor expansion of 2.0 in t
2.450 * [backup-simplify]: Simplify 2.0 into 2.0
2.450 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
2.450 * [taylor]: Taking taylor expansion of t in t
2.450 * [backup-simplify]: Simplify 0 into 0
2.450 * [backup-simplify]: Simplify 1 into 1
2.450 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
2.450 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.450 * [taylor]: Taking taylor expansion of 1.0 in t
2.450 * [backup-simplify]: Simplify 1.0 into 1.0
2.450 * [taylor]: Taking taylor expansion of t in t
2.450 * [backup-simplify]: Simplify 0 into 0
2.450 * [backup-simplify]: Simplify 1 into 1
2.450 * [taylor]: Taking taylor expansion of 1.0 in t
2.450 * [backup-simplify]: Simplify 1.0 into 1.0
2.451 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.451 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.452 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.452 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
2.452 * [backup-simplify]: Simplify 2.0 into 2.0
2.453 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
2.453 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.454 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
2.454 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.456 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
2.456 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.459 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
2.461 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
2.462 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
2.462 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
2.462 * [backup-simplify]: Simplify 2.0 into 2.0
2.463 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 t) 2)) (+ (* (- 2.0) (/ 1 t)) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
2.463 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 (/ 1 (- t))) (+ 1.0 (/ 1.0 (/ 1 (- t)))))) into (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0)
2.463 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in (t) around 0
2.463 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
2.464 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
2.464 * [taylor]: Taking taylor expansion of 2.0 in t
2.464 * [backup-simplify]: Simplify 2.0 into 2.0
2.464 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
2.464 * [taylor]: Taking taylor expansion of t in t
2.464 * [backup-simplify]: Simplify 0 into 0
2.464 * [backup-simplify]: Simplify 1 into 1
2.464 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
2.464 * [taylor]: Taking taylor expansion of 1.0 in t
2.464 * [backup-simplify]: Simplify 1.0 into 1.0
2.464 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.464 * [taylor]: Taking taylor expansion of 1.0 in t
2.464 * [backup-simplify]: Simplify 1.0 into 1.0
2.464 * [taylor]: Taking taylor expansion of t in t
2.464 * [backup-simplify]: Simplify 0 into 0
2.464 * [backup-simplify]: Simplify 1 into 1
2.464 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.465 * [backup-simplify]: Simplify (- 0) into 0
2.465 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.465 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.465 * [taylor]: Taking taylor expansion of 2.0 in t
2.466 * [backup-simplify]: Simplify 2.0 into 2.0
2.466 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
2.466 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
2.466 * [taylor]: Taking taylor expansion of 2.0 in t
2.466 * [backup-simplify]: Simplify 2.0 into 2.0
2.466 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
2.466 * [taylor]: Taking taylor expansion of t in t
2.466 * [backup-simplify]: Simplify 0 into 0
2.466 * [backup-simplify]: Simplify 1 into 1
2.466 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
2.466 * [taylor]: Taking taylor expansion of 1.0 in t
2.466 * [backup-simplify]: Simplify 1.0 into 1.0
2.466 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.466 * [taylor]: Taking taylor expansion of 1.0 in t
2.466 * [backup-simplify]: Simplify 1.0 into 1.0
2.466 * [taylor]: Taking taylor expansion of t in t
2.466 * [backup-simplify]: Simplify 0 into 0
2.466 * [backup-simplify]: Simplify 1 into 1
2.466 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.467 * [backup-simplify]: Simplify (- 0) into 0
2.467 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.468 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.468 * [taylor]: Taking taylor expansion of 2.0 in t
2.468 * [backup-simplify]: Simplify 2.0 into 2.0
2.468 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
2.468 * [backup-simplify]: Simplify 2.0 into 2.0
2.469 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
2.469 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
2.469 * [backup-simplify]: Simplify 2.0 into 2.0
2.471 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
2.471 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.472 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
2.475 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0
2.477 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (* 0 1.0)) into 2.0
2.477 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
2.477 * [backup-simplify]: Simplify 2.0 into 2.0
2.478 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 (- t)) 2)) (+ (* 2.0 (/ 1 (- t))) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
2.478 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1)
2.478 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) into (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))))
2.478 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0
2.478 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
2.478 * [taylor]: Taking taylor expansion of 2.0 in t
2.478 * [backup-simplify]: Simplify 2.0 into 2.0
2.478 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
2.478 * [taylor]: Taking taylor expansion of 2.0 in t
2.478 * [backup-simplify]: Simplify 2.0 into 2.0
2.478 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
2.478 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
2.478 * [taylor]: Taking taylor expansion of t in t
2.478 * [backup-simplify]: Simplify 0 into 0
2.478 * [backup-simplify]: Simplify 1 into 1
2.479 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
2.479 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
2.479 * [taylor]: Taking taylor expansion of 1.0 in t
2.479 * [backup-simplify]: Simplify 1.0 into 1.0
2.479 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.479 * [taylor]: Taking taylor expansion of t in t
2.479 * [backup-simplify]: Simplify 0 into 0
2.479 * [backup-simplify]: Simplify 1 into 1
2.479 * [backup-simplify]: Simplify (/ 1 1) into 1
2.479 * [taylor]: Taking taylor expansion of 1.0 in t
2.479 * [backup-simplify]: Simplify 1.0 into 1.0
2.480 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
2.480 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.480 * [backup-simplify]: Simplify (* 0 1.0) into 0
2.481 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.482 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
2.482 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.484 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
2.484 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.484 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
2.484 * [taylor]: Taking taylor expansion of 2.0 in t
2.484 * [backup-simplify]: Simplify 2.0 into 2.0
2.485 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
2.485 * [taylor]: Taking taylor expansion of 2.0 in t
2.485 * [backup-simplify]: Simplify 2.0 into 2.0
2.485 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
2.485 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
2.485 * [taylor]: Taking taylor expansion of t in t
2.485 * [backup-simplify]: Simplify 0 into 0
2.485 * [backup-simplify]: Simplify 1 into 1
2.485 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
2.485 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
2.485 * [taylor]: Taking taylor expansion of 1.0 in t
2.485 * [backup-simplify]: Simplify 1.0 into 1.0
2.485 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.485 * [taylor]: Taking taylor expansion of t in t
2.485 * [backup-simplify]: Simplify 0 into 0
2.485 * [backup-simplify]: Simplify 1 into 1
2.485 * [backup-simplify]: Simplify (/ 1 1) into 1
2.485 * [taylor]: Taking taylor expansion of 1.0 in t
2.485 * [backup-simplify]: Simplify 1.0 into 1.0
2.486 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
2.486 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.487 * [backup-simplify]: Simplify (* 0 1.0) into 0
2.487 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.488 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
2.489 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.490 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
2.491 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.491 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
2.492 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.492 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0
2.492 * [backup-simplify]: Simplify 0 into 0
2.493 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.494 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
2.495 * [backup-simplify]: Simplify (+ 0 0) into 0
2.497 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0
2.499 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
2.501 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
2.502 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
2.503 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
2.503 * [backup-simplify]: Simplify 2.0 into 2.0
2.504 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.505 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.505 * [backup-simplify]: Simplify (+ 0 0) into 0
2.506 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0
2.510 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0
2.513 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0
2.513 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.514 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
2.514 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.515 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.516 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.517 * [backup-simplify]: Simplify (+ 0 0) into 0
2.518 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0
2.522 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
2.529 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0)
2.530 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
2.531 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
2.531 * [backup-simplify]: Simplify 2.0 into 2.0
2.532 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 2.0) (pow t 2)) (* 2.0 t))) into (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2)))
2.532 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 (/ 1 t)) (+ 1.0 (/ 1.0 (/ 1 t))))) into (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0))))
2.532 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in (t) around 0
2.532 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
2.532 * [taylor]: Taking taylor expansion of 2.0 in t
2.532 * [backup-simplify]: Simplify 2.0 into 2.0
2.532 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
2.532 * [taylor]: Taking taylor expansion of 2.0 in t
2.532 * [backup-simplify]: Simplify 2.0 into 2.0
2.532 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
2.532 * [taylor]: Taking taylor expansion of t in t
2.532 * [backup-simplify]: Simplify 0 into 0
2.532 * [backup-simplify]: Simplify 1 into 1
2.532 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
2.532 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.532 * [taylor]: Taking taylor expansion of 1.0 in t
2.532 * [backup-simplify]: Simplify 1.0 into 1.0
2.532 * [taylor]: Taking taylor expansion of t in t
2.532 * [backup-simplify]: Simplify 0 into 0
2.532 * [backup-simplify]: Simplify 1 into 1
2.532 * [taylor]: Taking taylor expansion of 1.0 in t
2.532 * [backup-simplify]: Simplify 1.0 into 1.0
2.532 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.533 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.533 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.533 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
2.533 * [taylor]: Taking taylor expansion of 2.0 in t
2.533 * [backup-simplify]: Simplify 2.0 into 2.0
2.533 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
2.533 * [taylor]: Taking taylor expansion of 2.0 in t
2.533 * [backup-simplify]: Simplify 2.0 into 2.0
2.533 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
2.533 * [taylor]: Taking taylor expansion of t in t
2.533 * [backup-simplify]: Simplify 0 into 0
2.533 * [backup-simplify]: Simplify 1 into 1
2.533 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
2.533 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.533 * [taylor]: Taking taylor expansion of 1.0 in t
2.533 * [backup-simplify]: Simplify 1.0 into 1.0
2.533 * [taylor]: Taking taylor expansion of t in t
2.533 * [backup-simplify]: Simplify 0 into 0
2.533 * [backup-simplify]: Simplify 1 into 1
2.533 * [taylor]: Taking taylor expansion of 1.0 in t
2.533 * [backup-simplify]: Simplify 1.0 into 1.0
2.534 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.534 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.534 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.534 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
2.534 * [backup-simplify]: Simplify 2.0 into 2.0
2.535 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
2.535 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.535 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
2.536 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.536 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
2.537 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.538 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
2.539 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
2.540 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
2.540 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
2.540 * [backup-simplify]: Simplify 2.0 into 2.0
2.541 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 t) 2)) (+ (* (- 2.0) (/ 1 t)) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
2.541 * [backup-simplify]: Simplify (- 2.0 (/ (/ 2.0 (/ 1 (- t))) (+ 1.0 (/ 1.0 (/ 1 (- t)))))) into (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0)
2.541 * [approximate]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in (t) around 0
2.541 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
2.541 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
2.541 * [taylor]: Taking taylor expansion of 2.0 in t
2.541 * [backup-simplify]: Simplify 2.0 into 2.0
2.541 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
2.541 * [taylor]: Taking taylor expansion of t in t
2.541 * [backup-simplify]: Simplify 0 into 0
2.541 * [backup-simplify]: Simplify 1 into 1
2.541 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
2.541 * [taylor]: Taking taylor expansion of 1.0 in t
2.541 * [backup-simplify]: Simplify 1.0 into 1.0
2.541 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.541 * [taylor]: Taking taylor expansion of 1.0 in t
2.541 * [backup-simplify]: Simplify 1.0 into 1.0
2.541 * [taylor]: Taking taylor expansion of t in t
2.541 * [backup-simplify]: Simplify 0 into 0
2.541 * [backup-simplify]: Simplify 1 into 1
2.541 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.542 * [backup-simplify]: Simplify (- 0) into 0
2.542 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.542 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.542 * [taylor]: Taking taylor expansion of 2.0 in t
2.542 * [backup-simplify]: Simplify 2.0 into 2.0
2.542 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
2.542 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
2.542 * [taylor]: Taking taylor expansion of 2.0 in t
2.542 * [backup-simplify]: Simplify 2.0 into 2.0
2.542 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
2.542 * [taylor]: Taking taylor expansion of t in t
2.542 * [backup-simplify]: Simplify 0 into 0
2.542 * [backup-simplify]: Simplify 1 into 1
2.542 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
2.542 * [taylor]: Taking taylor expansion of 1.0 in t
2.542 * [backup-simplify]: Simplify 1.0 into 1.0
2.542 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.542 * [taylor]: Taking taylor expansion of 1.0 in t
2.542 * [backup-simplify]: Simplify 1.0 into 1.0
2.542 * [taylor]: Taking taylor expansion of t in t
2.542 * [backup-simplify]: Simplify 0 into 0
2.542 * [backup-simplify]: Simplify 1 into 1
2.543 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.543 * [backup-simplify]: Simplify (- 0) into 0
2.543 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.543 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.543 * [taylor]: Taking taylor expansion of 2.0 in t
2.545 * [backup-simplify]: Simplify 2.0 into 2.0
2.545 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
2.545 * [backup-simplify]: Simplify 2.0 into 2.0
2.545 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
2.546 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
2.546 * [backup-simplify]: Simplify 2.0 into 2.0
2.546 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
2.547 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.547 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
2.549 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0
2.550 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (* 0 1.0)) into 2.0
2.550 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
2.550 * [backup-simplify]: Simplify 2.0 into 2.0
2.550 * [backup-simplify]: Simplify (+ (* 2.0 (pow (/ 1 (- t)) 2)) (+ (* 2.0 (/ 1 (- t))) 2.0)) into (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
2.551 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2)
2.551 * [backup-simplify]: Simplify (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) into (pow (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) 2)
2.551 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) 2) in (t) around 0
2.551 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) 2) in t
2.551 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
2.551 * [taylor]: Taking taylor expansion of 2.0 in t
2.551 * [backup-simplify]: Simplify 2.0 into 2.0
2.551 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
2.551 * [taylor]: Taking taylor expansion of 2.0 in t
2.551 * [backup-simplify]: Simplify 2.0 into 2.0
2.551 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
2.551 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
2.551 * [taylor]: Taking taylor expansion of t in t
2.551 * [backup-simplify]: Simplify 0 into 0
2.551 * [backup-simplify]: Simplify 1 into 1
2.551 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
2.551 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
2.551 * [taylor]: Taking taylor expansion of 1.0 in t
2.551 * [backup-simplify]: Simplify 1.0 into 1.0
2.551 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.551 * [taylor]: Taking taylor expansion of t in t
2.551 * [backup-simplify]: Simplify 0 into 0
2.551 * [backup-simplify]: Simplify 1 into 1
2.551 * [backup-simplify]: Simplify (/ 1 1) into 1
2.551 * [taylor]: Taking taylor expansion of 1.0 in t
2.552 * [backup-simplify]: Simplify 1.0 into 1.0
2.552 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
2.552 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.552 * [backup-simplify]: Simplify (* 0 1.0) into 0
2.553 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.553 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
2.553 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.554 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
2.555 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.555 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
2.555 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.555 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0
2.556 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.556 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
2.557 * [backup-simplify]: Simplify (+ 0 0) into 0
2.559 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0
2.560 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
2.562 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
2.563 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
2.563 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
2.563 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) 2) in t
2.563 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
2.563 * [taylor]: Taking taylor expansion of 2.0 in t
2.563 * [backup-simplify]: Simplify 2.0 into 2.0
2.563 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
2.563 * [taylor]: Taking taylor expansion of 2.0 in t
2.563 * [backup-simplify]: Simplify 2.0 into 2.0
2.564 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
2.564 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
2.564 * [taylor]: Taking taylor expansion of t in t
2.564 * [backup-simplify]: Simplify 0 into 0
2.564 * [backup-simplify]: Simplify 1 into 1
2.564 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
2.564 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
2.564 * [taylor]: Taking taylor expansion of 1.0 in t
2.564 * [backup-simplify]: Simplify 1.0 into 1.0
2.564 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.564 * [taylor]: Taking taylor expansion of t in t
2.564 * [backup-simplify]: Simplify 0 into 0
2.564 * [backup-simplify]: Simplify 1 into 1
2.564 * [backup-simplify]: Simplify (/ 1 1) into 1
2.564 * [taylor]: Taking taylor expansion of 1.0 in t
2.564 * [backup-simplify]: Simplify 1.0 into 1.0
2.565 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
2.565 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.566 * [backup-simplify]: Simplify (* 0 1.0) into 0
2.566 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.567 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
2.568 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.569 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
2.569 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.570 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
2.570 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.571 * [backup-simplify]: Simplify (+ 2.0 (- 2.0)) into 0
2.572 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.573 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
2.573 * [backup-simplify]: Simplify (+ 0 0) into 0
2.576 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0
2.578 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
2.580 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
2.581 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
2.581 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
2.581 * [backup-simplify]: Simplify (* 2.0 2.0) into 4.0
2.582 * [backup-simplify]: Simplify 4.0 into 4.0
2.582 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.583 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.584 * [backup-simplify]: Simplify (+ 0 0) into 0
2.585 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0
2.588 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0
2.591 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 2.0
2.591 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.592 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
2.594 * [backup-simplify]: Simplify (+ (* 2.0 (- 2.0)) (* (- 2.0) 2.0)) into (- 8.0)
2.594 * [backup-simplify]: Simplify (- 8.0) into (- 8.0)
2.595 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.597 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.597 * [backup-simplify]: Simplify (+ 0 0) into 0
2.598 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0
2.603 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
2.605 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 2.0)
2.606 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
2.607 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
2.610 * [backup-simplify]: Simplify (+ (* 2.0 2.0) (+ (* (- 2.0) (- 2.0)) (* 2.0 2.0))) into 12.0
2.610 * [backup-simplify]: Simplify 12.0 into 12.0
2.611 * [backup-simplify]: Simplify (+ (* 12.0 (pow t 4)) (+ (* (- 8.0) (pow t 3)) (* 4.0 (pow t 2)))) into (- (+ (* 4.0 (pow t 2)) (* 12.0 (pow t 4))) (* 8.0 (pow t 3)))
2.612 * [backup-simplify]: Simplify (* (- 2.0 (/ (/ 2.0 (/ 1 t)) (+ 1.0 (/ 1.0 (/ 1 t))))) (- 2.0 (/ (/ 2.0 (/ 1 t)) (+ 1.0 (/ 1.0 (/ 1 t)))))) into (pow (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) 2)
2.612 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) 2) in (t) around 0
2.612 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) 2) in t
2.612 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
2.612 * [taylor]: Taking taylor expansion of 2.0 in t
2.612 * [backup-simplify]: Simplify 2.0 into 2.0
2.612 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
2.612 * [taylor]: Taking taylor expansion of 2.0 in t
2.612 * [backup-simplify]: Simplify 2.0 into 2.0
2.612 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
2.612 * [taylor]: Taking taylor expansion of t in t
2.612 * [backup-simplify]: Simplify 0 into 0
2.613 * [backup-simplify]: Simplify 1 into 1
2.613 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
2.613 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.613 * [taylor]: Taking taylor expansion of 1.0 in t
2.613 * [backup-simplify]: Simplify 1.0 into 1.0
2.613 * [taylor]: Taking taylor expansion of t in t
2.613 * [backup-simplify]: Simplify 0 into 0
2.613 * [backup-simplify]: Simplify 1 into 1
2.613 * [taylor]: Taking taylor expansion of 1.0 in t
2.613 * [backup-simplify]: Simplify 1.0 into 1.0
2.613 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.614 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.614 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.615 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
2.615 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) 2) in t
2.615 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ t (+ (* 1.0 t) 1.0)))) in t
2.615 * [taylor]: Taking taylor expansion of 2.0 in t
2.615 * [backup-simplify]: Simplify 2.0 into 2.0
2.615 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ (* 1.0 t) 1.0))) in t
2.615 * [taylor]: Taking taylor expansion of 2.0 in t
2.615 * [backup-simplify]: Simplify 2.0 into 2.0
2.615 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
2.615 * [taylor]: Taking taylor expansion of t in t
2.615 * [backup-simplify]: Simplify 0 into 0
2.615 * [backup-simplify]: Simplify 1 into 1
2.615 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
2.615 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.615 * [taylor]: Taking taylor expansion of 1.0 in t
2.615 * [backup-simplify]: Simplify 1.0 into 1.0
2.615 * [taylor]: Taking taylor expansion of t in t
2.615 * [backup-simplify]: Simplify 0 into 0
2.615 * [backup-simplify]: Simplify 1 into 1
2.615 * [taylor]: Taking taylor expansion of 1.0 in t
2.615 * [backup-simplify]: Simplify 1.0 into 1.0
2.616 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.616 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.617 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.617 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
2.618 * [backup-simplify]: Simplify (* 2.0 2.0) into 4.0
2.618 * [backup-simplify]: Simplify 4.0 into 4.0
2.619 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
2.619 * [backup-simplify]: Simplify (- 2.0) into (- 2.0)
2.620 * [backup-simplify]: Simplify (+ 0 (- 2.0)) into (- 2.0)
2.622 * [backup-simplify]: Simplify (+ (* 2.0 (- 2.0)) (* (- 2.0) 2.0)) into (- 8.0)
2.622 * [backup-simplify]: Simplify (- 8.0) into (- 8.0)
2.623 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
2.623 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.625 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
2.626 * [backup-simplify]: Simplify (+ (* 2.0 (- 1.0)) (* 0 1.0)) into (- 2.0)
2.626 * [backup-simplify]: Simplify (- (- 2.0)) into 2.0
2.627 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
2.629 * [backup-simplify]: Simplify (+ (* 2.0 2.0) (+ (* (- 2.0) (- 2.0)) (* 2.0 2.0))) into 12.0
2.629 * [backup-simplify]: Simplify 12.0 into 12.0
2.629 * [backup-simplify]: Simplify (+ (* 12.0 (pow (/ 1 t) 2)) (+ (* (- 8.0) (/ 1 t)) 4.0)) into (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t)))
2.629 * [backup-simplify]: Simplify (* (- 2.0 (/ (/ 2.0 (/ 1 (- t))) (+ 1.0 (/ 1.0 (/ 1 (- t)))))) (- 2.0 (/ (/ 2.0 (/ 1 (- t))) (+ 1.0 (/ 1.0 (/ 1 (- t))))))) into (pow (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) 2)
2.629 * [approximate]: Taking taylor expansion of (pow (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) 2) in (t) around 0
2.629 * [taylor]: Taking taylor expansion of (pow (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) 2) in t
2.629 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
2.630 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
2.630 * [taylor]: Taking taylor expansion of 2.0 in t
2.630 * [backup-simplify]: Simplify 2.0 into 2.0
2.630 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
2.630 * [taylor]: Taking taylor expansion of t in t
2.630 * [backup-simplify]: Simplify 0 into 0
2.630 * [backup-simplify]: Simplify 1 into 1
2.630 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
2.630 * [taylor]: Taking taylor expansion of 1.0 in t
2.630 * [backup-simplify]: Simplify 1.0 into 1.0
2.630 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.630 * [taylor]: Taking taylor expansion of 1.0 in t
2.630 * [backup-simplify]: Simplify 1.0 into 1.0
2.630 * [taylor]: Taking taylor expansion of t in t
2.630 * [backup-simplify]: Simplify 0 into 0
2.630 * [backup-simplify]: Simplify 1 into 1
2.630 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.630 * [backup-simplify]: Simplify (- 0) into 0
2.631 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.631 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.631 * [taylor]: Taking taylor expansion of 2.0 in t
2.631 * [backup-simplify]: Simplify 2.0 into 2.0
2.631 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
2.631 * [taylor]: Taking taylor expansion of (pow (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) 2) in t
2.631 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ t (- 1.0 (* 1.0 t)))) 2.0) in t
2.631 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (- 1.0 (* 1.0 t)))) in t
2.631 * [taylor]: Taking taylor expansion of 2.0 in t
2.631 * [backup-simplify]: Simplify 2.0 into 2.0
2.631 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
2.631 * [taylor]: Taking taylor expansion of t in t
2.631 * [backup-simplify]: Simplify 0 into 0
2.631 * [backup-simplify]: Simplify 1 into 1
2.631 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
2.631 * [taylor]: Taking taylor expansion of 1.0 in t
2.631 * [backup-simplify]: Simplify 1.0 into 1.0
2.631 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.631 * [taylor]: Taking taylor expansion of 1.0 in t
2.631 * [backup-simplify]: Simplify 1.0 into 1.0
2.631 * [taylor]: Taking taylor expansion of t in t
2.631 * [backup-simplify]: Simplify 0 into 0
2.631 * [backup-simplify]: Simplify 1 into 1
2.632 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.632 * [backup-simplify]: Simplify (- 0) into 0
2.632 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.632 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.632 * [taylor]: Taking taylor expansion of 2.0 in t
2.633 * [backup-simplify]: Simplify 2.0 into 2.0
2.633 * [backup-simplify]: Simplify (+ 0 2.0) into 2.0
2.633 * [backup-simplify]: Simplify (* 2.0 2.0) into 4.0
2.633 * [backup-simplify]: Simplify 4.0 into 4.0
2.633 * [backup-simplify]: Simplify (* 2.0 1.0) into 2.0
2.634 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
2.634 * [backup-simplify]: Simplify (+ (* 2.0 2.0) (* 2.0 2.0)) into 8.0
2.634 * [backup-simplify]: Simplify 8.0 into 8.0
2.635 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
2.635 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.636 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
2.638 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0
2.639 * [backup-simplify]: Simplify (+ (* 2.0 1.0) (* 0 1.0)) into 2.0
2.642 * [backup-simplify]: Simplify (+ 2.0 0) into 2.0
2.644 * [backup-simplify]: Simplify (+ (* 2.0 2.0) (+ (* 2.0 2.0) (* 2.0 2.0))) into 12.0
2.644 * [backup-simplify]: Simplify 12.0 into 12.0
2.644 * [backup-simplify]: Simplify (+ (* 12.0 (pow (/ 1 (- t)) 2)) (+ (* 8.0 (/ 1 (- t))) 4.0)) into (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t)))
2.644 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
2.644 * [backup-simplify]: Simplify (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) into (/ 1.0 (- (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) 6.0) (* 8.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))))
2.644 * [approximate]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) 6.0) (* 8.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))))) in (t) around 0
2.644 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) 6.0) (* 8.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))))) in t
2.645 * [taylor]: Taking taylor expansion of 1.0 in t
2.645 * [backup-simplify]: Simplify 1.0 into 1.0
2.645 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) 6.0) (* 8.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
2.645 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) 6.0) in t
2.645 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) in t
2.645 * [taylor]: Taking taylor expansion of 4.0 in t
2.645 * [backup-simplify]: Simplify 4.0 into 4.0
2.645 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) in t
2.645 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)) in t
2.645 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.645 * [taylor]: Taking taylor expansion of t in t
2.645 * [backup-simplify]: Simplify 0 into 0
2.645 * [backup-simplify]: Simplify 1 into 1
2.645 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 (/ 1 t)) 1.0) 2) in t
2.645 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
2.645 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
2.645 * [taylor]: Taking taylor expansion of 1.0 in t
2.645 * [backup-simplify]: Simplify 1.0 into 1.0
2.645 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.645 * [taylor]: Taking taylor expansion of t in t
2.645 * [backup-simplify]: Simplify 0 into 0
2.645 * [backup-simplify]: Simplify 1 into 1
2.645 * [backup-simplify]: Simplify (/ 1 1) into 1
2.645 * [taylor]: Taking taylor expansion of 1.0 in t
2.645 * [backup-simplify]: Simplify 1.0 into 1.0
2.645 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
2.646 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.646 * [backup-simplify]: Simplify (* 1 1) into 1
2.646 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
2.646 * [backup-simplify]: Simplify (* 1 1.0) into 1.0
2.647 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.647 * [taylor]: Taking taylor expansion of 6.0 in t
2.647 * [backup-simplify]: Simplify 6.0 into 6.0
2.647 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
2.647 * [taylor]: Taking taylor expansion of 8.0 in t
2.647 * [backup-simplify]: Simplify 8.0 into 8.0
2.647 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
2.647 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
2.647 * [taylor]: Taking taylor expansion of t in t
2.647 * [backup-simplify]: Simplify 0 into 0
2.647 * [backup-simplify]: Simplify 1 into 1
2.647 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
2.647 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
2.647 * [taylor]: Taking taylor expansion of 1.0 in t
2.647 * [backup-simplify]: Simplify 1.0 into 1.0
2.647 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.647 * [taylor]: Taking taylor expansion of t in t
2.647 * [backup-simplify]: Simplify 0 into 0
2.647 * [backup-simplify]: Simplify 1 into 1
2.647 * [backup-simplify]: Simplify (/ 1 1) into 1
2.647 * [taylor]: Taking taylor expansion of 1.0 in t
2.647 * [backup-simplify]: Simplify 1.0 into 1.0
2.648 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
2.648 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.648 * [backup-simplify]: Simplify (* 0 1.0) into 0
2.649 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.649 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
2.649 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.650 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
2.650 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.651 * [backup-simplify]: Simplify (* 4.0 1.0) into 4.0
2.651 * [backup-simplify]: Simplify (+ 4.0 6.0) into 10.0
2.651 * [backup-simplify]: Simplify (* 8.0 1.0) into 8.0
2.651 * [backup-simplify]: Simplify (- 8.0) into (- 8.0)
2.652 * [backup-simplify]: Simplify (+ 10.0 (- 8.0)) into 2.0
2.652 * [backup-simplify]: Simplify (/ 1.0 2.0) into 0.5
2.652 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) 6.0) (* 8.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))))) in t
2.652 * [taylor]: Taking taylor expansion of 1.0 in t
2.652 * [backup-simplify]: Simplify 1.0 into 1.0
2.652 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) 6.0) (* 8.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))))) in t
2.652 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) 6.0) in t
2.652 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)))) in t
2.652 * [taylor]: Taking taylor expansion of 4.0 in t
2.652 * [backup-simplify]: Simplify 4.0 into 4.0
2.652 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) in t
2.652 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)) in t
2.652 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.652 * [taylor]: Taking taylor expansion of t in t
2.652 * [backup-simplify]: Simplify 0 into 0
2.652 * [backup-simplify]: Simplify 1 into 1
2.652 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 (/ 1 t)) 1.0) 2) in t
2.652 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
2.652 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
2.652 * [taylor]: Taking taylor expansion of 1.0 in t
2.652 * [backup-simplify]: Simplify 1.0 into 1.0
2.652 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.653 * [taylor]: Taking taylor expansion of t in t
2.653 * [backup-simplify]: Simplify 0 into 0
2.653 * [backup-simplify]: Simplify 1 into 1
2.653 * [backup-simplify]: Simplify (/ 1 1) into 1
2.653 * [taylor]: Taking taylor expansion of 1.0 in t
2.653 * [backup-simplify]: Simplify 1.0 into 1.0
2.653 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
2.653 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.654 * [backup-simplify]: Simplify (* 1 1) into 1
2.654 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
2.654 * [backup-simplify]: Simplify (* 1 1.0) into 1.0
2.654 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.654 * [taylor]: Taking taylor expansion of 6.0 in t
2.654 * [backup-simplify]: Simplify 6.0 into 6.0
2.654 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0)))) in t
2.654 * [taylor]: Taking taylor expansion of 8.0 in t
2.654 * [backup-simplify]: Simplify 8.0 into 8.0
2.654 * [taylor]: Taking taylor expansion of (/ 1 (* t (+ (* 1.0 (/ 1 t)) 1.0))) in t
2.654 * [taylor]: Taking taylor expansion of (* t (+ (* 1.0 (/ 1 t)) 1.0)) in t
2.654 * [taylor]: Taking taylor expansion of t in t
2.654 * [backup-simplify]: Simplify 0 into 0
2.655 * [backup-simplify]: Simplify 1 into 1
2.655 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
2.655 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
2.655 * [taylor]: Taking taylor expansion of 1.0 in t
2.655 * [backup-simplify]: Simplify 1.0 into 1.0
2.655 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.655 * [taylor]: Taking taylor expansion of t in t
2.655 * [backup-simplify]: Simplify 0 into 0
2.655 * [backup-simplify]: Simplify 1 into 1
2.655 * [backup-simplify]: Simplify (/ 1 1) into 1
2.655 * [taylor]: Taking taylor expansion of 1.0 in t
2.655 * [backup-simplify]: Simplify 1.0 into 1.0
2.655 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
2.655 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.656 * [backup-simplify]: Simplify (* 0 1.0) into 0
2.656 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.656 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
2.657 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.658 * [backup-simplify]: Simplify (+ (* 0 1.0) (* 1 1.0)) into 1.0
2.658 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.658 * [backup-simplify]: Simplify (* 4.0 1.0) into 4.0
2.658 * [backup-simplify]: Simplify (+ 4.0 6.0) into 10.0
2.659 * [backup-simplify]: Simplify (* 8.0 1.0) into 8.0
2.659 * [backup-simplify]: Simplify (- 8.0) into (- 8.0)
2.659 * [backup-simplify]: Simplify (+ 10.0 (- 8.0)) into 2.0
2.660 * [backup-simplify]: Simplify (/ 1.0 2.0) into 0.5
2.660 * [backup-simplify]: Simplify 0.5 into 0.5
2.660 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.661 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
2.661 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.662 * [backup-simplify]: Simplify (+ (* 1.0 1.0) (* 1.0 1.0)) into 2.0
2.662 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.663 * [backup-simplify]: Simplify (+ (* 1 2.0) (* 0 1.0)) into 2.0
2.664 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 2.0 1.0)))) into (- 2.0)
2.665 * [backup-simplify]: Simplify (+ (* 4.0 (- 2.0)) (* 0 1.0)) into (- 8.0)
2.666 * [backup-simplify]: Simplify (+ (- 8.0) 0) into (- 8.0)
2.666 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.667 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
2.667 * [backup-simplify]: Simplify (+ 0 0) into 0
2.670 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1.0) (* 0 1.0))) into 1.0
2.672 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
2.674 * [backup-simplify]: Simplify (+ (* 8.0 (- 1.0)) (* 0 1.0)) into (- 8.0)
2.674 * [backup-simplify]: Simplify (- (- 8.0)) into 8.0
2.675 * [backup-simplify]: Simplify (+ (- 8.0) 8.0) into 0
2.676 * [backup-simplify]: Simplify (- (/ 0 2.0) (+ (* 0.5 (/ 0 2.0)))) into 0
2.676 * [backup-simplify]: Simplify 0 into 0
2.677 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.678 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
2.678 * [backup-simplify]: Simplify (+ 0 0) into 0
2.681 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1.0 1.0) (* 0 1.0))) into 1.0
2.682 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.684 * [backup-simplify]: Simplify (+ (* 1 1.0) (+ (* 0 2.0) (* 0 1.0))) into 1.0
2.688 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 1.0 1.0)) (* (- 2.0) (/ 2.0 1.0)))) into 3.0
2.691 * [backup-simplify]: Simplify (+ (* 4.0 3.0) (+ (* 0 (- 2.0)) (* 0 1.0))) into 12.0
2.691 * [backup-simplify]: Simplify (+ 12.0 0) into 12.0
2.692 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.693 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.694 * [backup-simplify]: Simplify (+ 0 0) into 0
2.695 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1.0) (* 0 1.0)))) into 0
2.699 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 1.0 1.0)))) into 1.0
2.701 * [backup-simplify]: Simplify (+ (* 8.0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0))) into 8.0
2.702 * [backup-simplify]: Simplify (- 8.0) into (- 8.0)
2.702 * [backup-simplify]: Simplify (+ 12.0 (- 8.0)) into 4.0
2.706 * [backup-simplify]: Simplify (- (/ 0 2.0) (+ (* 0.5 (/ 4.0 2.0)) (* 0 (/ 0 2.0)))) into (- 1.0)
2.707 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.707 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.708 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.709 * [backup-simplify]: Simplify (+ 0 0) into 0
2.710 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1.0 0) (+ (* 0 1.0) (* 0 1.0)))) into 0
2.710 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.712 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1.0) (+ (* 0 2.0) (* 0 1.0)))) into 0
2.718 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 2.0) (/ 1.0 1.0)) (* 3.0 (/ 2.0 1.0)))) into (- 4.0)
2.722 * [backup-simplify]: Simplify (+ (* 4.0 (- 4.0)) (+ (* 0 3.0) (+ (* 0 (- 2.0)) (* 0 1.0)))) into (- 16.0)
2.723 * [backup-simplify]: Simplify (+ (- 16.0) 0) into (- 16.0)
2.724 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.726 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.726 * [backup-simplify]: Simplify (+ 0 0) into 0
2.727 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1.0) (* 0 1.0))))) into 0
2.732 * [backup-simplify]: Simplify (- (+ (* 1.0 (/ 0 1.0)) (* (- 1.0) (/ 0 1.0)) (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
2.735 * [backup-simplify]: Simplify (+ (* 8.0 (- 1.0)) (+ (* 0 1.0) (+ (* 0 (- 1.0)) (* 0 1.0)))) into (- 8.0)
2.736 * [backup-simplify]: Simplify (- (- 8.0)) into 8.0
2.737 * [backup-simplify]: Simplify (+ (- 16.0) 8.0) into (- 8.0)
2.744 * [backup-simplify]: Simplify (- (/ 0 2.0) (+ (* 0.5 (/ (- 8.0) 2.0)) (* 0 (/ 4.0 2.0)) (* (- 1.0) (/ 0 2.0)))) into 2.0
2.744 * [backup-simplify]: Simplify 2.0 into 2.0
2.745 * [backup-simplify]: Simplify (+ (* 2.0 (pow t 3)) (+ (* (- 1.0) (pow t 2)) 0.5)) into (- (+ (* 2.0 (pow t 3)) 0.5) (* 1.0 (pow t 2)))
2.746 * [backup-simplify]: Simplify (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 (/ 1 t)) (+ 1.0 (/ 1.0 (/ 1 t))))) (- 2.0 (/ (/ 2.0 (/ 1 t)) (+ 1.0 (/ 1.0 (/ 1 t)))))))) into (/ 1.0 (- (+ (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ t (+ (* 1.0 t) 1.0)))))
2.746 * [approximate]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ t (+ (* 1.0 t) 1.0))))) in (t) around 0
2.746 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ t (+ (* 1.0 t) 1.0))))) in t
2.746 * [taylor]: Taking taylor expansion of 1.0 in t
2.746 * [backup-simplify]: Simplify 1.0 into 1.0
2.746 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ t (+ (* 1.0 t) 1.0)))) in t
2.746 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) 6.0) in t
2.746 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) in t
2.746 * [taylor]: Taking taylor expansion of 4.0 in t
2.746 * [backup-simplify]: Simplify 4.0 into 4.0
2.746 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2)) in t
2.747 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.747 * [taylor]: Taking taylor expansion of t in t
2.747 * [backup-simplify]: Simplify 0 into 0
2.747 * [backup-simplify]: Simplify 1 into 1
2.747 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 t) 1.0) 2) in t
2.747 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
2.747 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.747 * [taylor]: Taking taylor expansion of 1.0 in t
2.747 * [backup-simplify]: Simplify 1.0 into 1.0
2.747 * [taylor]: Taking taylor expansion of t in t
2.747 * [backup-simplify]: Simplify 0 into 0
2.747 * [backup-simplify]: Simplify 1 into 1
2.747 * [taylor]: Taking taylor expansion of 1.0 in t
2.747 * [backup-simplify]: Simplify 1.0 into 1.0
2.747 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.748 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.748 * [backup-simplify]: Simplify (* 1 1) into 1
2.749 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
2.749 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.749 * [taylor]: Taking taylor expansion of 6.0 in t
2.749 * [backup-simplify]: Simplify 6.0 into 6.0
2.749 * [taylor]: Taking taylor expansion of (* 8.0 (/ t (+ (* 1.0 t) 1.0))) in t
2.749 * [taylor]: Taking taylor expansion of 8.0 in t
2.749 * [backup-simplify]: Simplify 8.0 into 8.0
2.749 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
2.749 * [taylor]: Taking taylor expansion of t in t
2.749 * [backup-simplify]: Simplify 0 into 0
2.749 * [backup-simplify]: Simplify 1 into 1
2.749 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
2.749 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.749 * [taylor]: Taking taylor expansion of 1.0 in t
2.749 * [backup-simplify]: Simplify 1.0 into 1.0
2.750 * [taylor]: Taking taylor expansion of t in t
2.750 * [backup-simplify]: Simplify 0 into 0
2.750 * [backup-simplify]: Simplify 1 into 1
2.750 * [taylor]: Taking taylor expansion of 1.0 in t
2.750 * [backup-simplify]: Simplify 1.0 into 1.0
2.750 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.751 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.751 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.751 * [backup-simplify]: Simplify (+ 0 6.0) into 6.0
2.752 * [backup-simplify]: Simplify (+ 6.0 0) into 6.0
2.752 * [backup-simplify]: Simplify (/ 1.0 6.0) into 0.16666666666666666
2.752 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ t (+ (* 1.0 t) 1.0))))) in t
2.752 * [taylor]: Taking taylor expansion of 1.0 in t
2.752 * [backup-simplify]: Simplify 1.0 into 1.0
2.752 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ t (+ (* 1.0 t) 1.0)))) in t
2.753 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) 6.0) in t
2.753 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2))) in t
2.753 * [taylor]: Taking taylor expansion of 4.0 in t
2.753 * [backup-simplify]: Simplify 4.0 into 4.0
2.753 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (+ (* 1.0 t) 1.0) 2)) in t
2.753 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.753 * [taylor]: Taking taylor expansion of t in t
2.753 * [backup-simplify]: Simplify 0 into 0
2.753 * [backup-simplify]: Simplify 1 into 1
2.753 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 t) 1.0) 2) in t
2.753 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
2.753 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.753 * [taylor]: Taking taylor expansion of 1.0 in t
2.753 * [backup-simplify]: Simplify 1.0 into 1.0
2.753 * [taylor]: Taking taylor expansion of t in t
2.753 * [backup-simplify]: Simplify 0 into 0
2.753 * [backup-simplify]: Simplify 1 into 1
2.753 * [taylor]: Taking taylor expansion of 1.0 in t
2.753 * [backup-simplify]: Simplify 1.0 into 1.0
2.754 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.754 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.754 * [backup-simplify]: Simplify (* 1 1) into 1
2.755 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
2.755 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.755 * [taylor]: Taking taylor expansion of 6.0 in t
2.755 * [backup-simplify]: Simplify 6.0 into 6.0
2.755 * [taylor]: Taking taylor expansion of (* 8.0 (/ t (+ (* 1.0 t) 1.0))) in t
2.755 * [taylor]: Taking taylor expansion of 8.0 in t
2.755 * [backup-simplify]: Simplify 8.0 into 8.0
2.755 * [taylor]: Taking taylor expansion of (/ t (+ (* 1.0 t) 1.0)) in t
2.755 * [taylor]: Taking taylor expansion of t in t
2.755 * [backup-simplify]: Simplify 0 into 0
2.755 * [backup-simplify]: Simplify 1 into 1
2.755 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
2.756 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.756 * [taylor]: Taking taylor expansion of 1.0 in t
2.756 * [backup-simplify]: Simplify 1.0 into 1.0
2.756 * [taylor]: Taking taylor expansion of t in t
2.756 * [backup-simplify]: Simplify 0 into 0
2.756 * [backup-simplify]: Simplify 1 into 1
2.756 * [taylor]: Taking taylor expansion of 1.0 in t
2.756 * [backup-simplify]: Simplify 1.0 into 1.0
2.756 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.757 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
2.757 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.757 * [backup-simplify]: Simplify (+ 0 6.0) into 6.0
2.758 * [backup-simplify]: Simplify (+ 6.0 0) into 6.0
2.758 * [backup-simplify]: Simplify (/ 1.0 6.0) into 0.16666666666666666
2.758 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
2.759 * [backup-simplify]: Simplify (+ 0 0) into 0
2.759 * [backup-simplify]: Simplify (* 8.0 1.0) into 8.0
2.760 * [backup-simplify]: Simplify (- 8.0) into (- 8.0)
2.761 * [backup-simplify]: Simplify (+ 0 (- 8.0)) into (- 8.0)
2.765 * [backup-simplify]: Simplify (- (/ 0 6.0) (+ (* 0.16666666666666666 (/ (- 8.0) 6.0)))) into 0.2222222222222222
2.765 * [backup-simplify]: Simplify 0.2222222222222222 into 0.2222222222222222
2.768 * [backup-simplify]: Simplify (* 4.0 1.0) into 4.0
2.769 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
2.771 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
2.771 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.774 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ 1.0 1.0)))) into (- 1.0)
2.776 * [backup-simplify]: Simplify (+ (* 8.0 (- 1.0)) (* 0 1.0)) into (- 8.0)
2.777 * [backup-simplify]: Simplify (- (- 8.0)) into 8.0
2.777 * [backup-simplify]: Simplify (+ 4.0 8.0) into 12.0
2.784 * [backup-simplify]: Simplify (- (/ 0 6.0) (+ (* 0.16666666666666666 (/ 12.0 6.0)) (* 0.2222222222222222 (/ (- 8.0) 6.0)))) into (- 0.037037037037037035)
2.784 * [backup-simplify]: Simplify (- 0.037037037037037035) into (- 0.037037037037037035)
2.785 * [backup-simplify]: Simplify (+ (* (- 0.037037037037037035) (pow (/ 1 t) 2)) (+ (* 0.2222222222222222 (/ 1 t)) 0.16666666666666666)) into (- (+ (* 0.2222222222222222 (/ 1 t)) 0.16666666666666666) (* 0.037037037037037035 (/ 1 (pow t 2))))
2.786 * [backup-simplify]: Simplify (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 (/ 1 (- t))) (+ 1.0 (/ 1.0 (/ 1 (- t)))))) (- 2.0 (/ (/ 2.0 (/ 1 (- t))) (+ 1.0 (/ 1.0 (/ 1 (- t))))))))) into (/ 1.0 (+ (* 4.0 (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2))) (+ (* 8.0 (/ t (- 1.0 (* 1.0 t)))) 6.0)))
2.786 * [approximate]: Taking taylor expansion of (/ 1.0 (+ (* 4.0 (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2))) (+ (* 8.0 (/ t (- 1.0 (* 1.0 t)))) 6.0))) in (t) around 0
2.786 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (* 4.0 (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2))) (+ (* 8.0 (/ t (- 1.0 (* 1.0 t)))) 6.0))) in t
2.786 * [taylor]: Taking taylor expansion of 1.0 in t
2.786 * [backup-simplify]: Simplify 1.0 into 1.0
2.786 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2))) (+ (* 8.0 (/ t (- 1.0 (* 1.0 t)))) 6.0)) in t
2.786 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2))) in t
2.786 * [taylor]: Taking taylor expansion of 4.0 in t
2.786 * [backup-simplify]: Simplify 4.0 into 4.0
2.786 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2)) in t
2.786 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.787 * [taylor]: Taking taylor expansion of t in t
2.787 * [backup-simplify]: Simplify 0 into 0
2.787 * [backup-simplify]: Simplify 1 into 1
2.787 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 t)) 2) in t
2.787 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
2.787 * [taylor]: Taking taylor expansion of 1.0 in t
2.787 * [backup-simplify]: Simplify 1.0 into 1.0
2.787 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.787 * [taylor]: Taking taylor expansion of 1.0 in t
2.787 * [backup-simplify]: Simplify 1.0 into 1.0
2.787 * [taylor]: Taking taylor expansion of t in t
2.787 * [backup-simplify]: Simplify 0 into 0
2.787 * [backup-simplify]: Simplify 1 into 1
2.787 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.788 * [backup-simplify]: Simplify (- 0) into 0
2.788 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.789 * [backup-simplify]: Simplify (* 1 1) into 1
2.789 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
2.790 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.790 * [taylor]: Taking taylor expansion of (+ (* 8.0 (/ t (- 1.0 (* 1.0 t)))) 6.0) in t
2.790 * [taylor]: Taking taylor expansion of (* 8.0 (/ t (- 1.0 (* 1.0 t)))) in t
2.790 * [taylor]: Taking taylor expansion of 8.0 in t
2.790 * [backup-simplify]: Simplify 8.0 into 8.0
2.790 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
2.790 * [taylor]: Taking taylor expansion of t in t
2.790 * [backup-simplify]: Simplify 0 into 0
2.790 * [backup-simplify]: Simplify 1 into 1
2.790 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
2.790 * [taylor]: Taking taylor expansion of 1.0 in t
2.790 * [backup-simplify]: Simplify 1.0 into 1.0
2.790 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.790 * [taylor]: Taking taylor expansion of 1.0 in t
2.790 * [backup-simplify]: Simplify 1.0 into 1.0
2.790 * [taylor]: Taking taylor expansion of t in t
2.790 * [backup-simplify]: Simplify 0 into 0
2.790 * [backup-simplify]: Simplify 1 into 1
2.791 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.791 * [backup-simplify]: Simplify (- 0) into 0
2.791 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.792 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.792 * [taylor]: Taking taylor expansion of 6.0 in t
2.792 * [backup-simplify]: Simplify 6.0 into 6.0
2.792 * [backup-simplify]: Simplify (+ 0 6.0) into 6.0
2.793 * [backup-simplify]: Simplify (+ 0 6.0) into 6.0
2.793 * [backup-simplify]: Simplify (/ 1.0 6.0) into 0.16666666666666666
2.793 * [taylor]: Taking taylor expansion of (/ 1.0 (+ (* 4.0 (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2))) (+ (* 8.0 (/ t (- 1.0 (* 1.0 t)))) 6.0))) in t
2.794 * [taylor]: Taking taylor expansion of 1.0 in t
2.794 * [backup-simplify]: Simplify 1.0 into 1.0
2.794 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2))) (+ (* 8.0 (/ t (- 1.0 (* 1.0 t)))) 6.0)) in t
2.794 * [taylor]: Taking taylor expansion of (* 4.0 (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2))) in t
2.794 * [taylor]: Taking taylor expansion of 4.0 in t
2.794 * [backup-simplify]: Simplify 4.0 into 4.0
2.794 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow (- 1.0 (* 1.0 t)) 2)) in t
2.794 * [taylor]: Taking taylor expansion of (pow t 2) in t
2.794 * [taylor]: Taking taylor expansion of t in t
2.794 * [backup-simplify]: Simplify 0 into 0
2.794 * [backup-simplify]: Simplify 1 into 1
2.794 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 t)) 2) in t
2.794 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
2.794 * [taylor]: Taking taylor expansion of 1.0 in t
2.794 * [backup-simplify]: Simplify 1.0 into 1.0
2.794 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.794 * [taylor]: Taking taylor expansion of 1.0 in t
2.794 * [backup-simplify]: Simplify 1.0 into 1.0
2.794 * [taylor]: Taking taylor expansion of t in t
2.794 * [backup-simplify]: Simplify 0 into 0
2.794 * [backup-simplify]: Simplify 1 into 1
2.795 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.795 * [backup-simplify]: Simplify (- 0) into 0
2.795 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.796 * [backup-simplify]: Simplify (* 1 1) into 1
2.796 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
2.797 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.797 * [taylor]: Taking taylor expansion of (+ (* 8.0 (/ t (- 1.0 (* 1.0 t)))) 6.0) in t
2.797 * [taylor]: Taking taylor expansion of (* 8.0 (/ t (- 1.0 (* 1.0 t)))) in t
2.797 * [taylor]: Taking taylor expansion of 8.0 in t
2.797 * [backup-simplify]: Simplify 8.0 into 8.0
2.797 * [taylor]: Taking taylor expansion of (/ t (- 1.0 (* 1.0 t))) in t
2.797 * [taylor]: Taking taylor expansion of t in t
2.797 * [backup-simplify]: Simplify 0 into 0
2.797 * [backup-simplify]: Simplify 1 into 1
2.797 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 t)) in t
2.797 * [taylor]: Taking taylor expansion of 1.0 in t
2.797 * [backup-simplify]: Simplify 1.0 into 1.0
2.797 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
2.797 * [taylor]: Taking taylor expansion of 1.0 in t
2.797 * [backup-simplify]: Simplify 1.0 into 1.0
2.797 * [taylor]: Taking taylor expansion of t in t
2.797 * [backup-simplify]: Simplify 0 into 0
2.797 * [backup-simplify]: Simplify 1 into 1
2.798 * [backup-simplify]: Simplify (* 1.0 0) into 0
2.799 * [backup-simplify]: Simplify (- 0) into 0
2.800 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
2.800 * [backup-simplify]: Simplify (/ 1 1.0) into 1.0
2.800 * [taylor]: Taking taylor expansion of 6.0 in t
2.800 * [backup-simplify]: Simplify 6.0 into 6.0
2.801 * [backup-simplify]: Simplify (+ 0 6.0) into 6.0
2.801 * [backup-simplify]: Simplify (+ 0 6.0) into 6.0
2.802 * [backup-simplify]: Simplify (/ 1.0 6.0) into 0.16666666666666666
2.802 * [backup-simplify]: Simplify 0.16666666666666666 into 0.16666666666666666
2.803 * [backup-simplify]: Simplify (* 8.0 1.0) into 8.0
2.803 * [backup-simplify]: Simplify (+ 8.0 0) into 8.0
2.804 * [backup-simplify]: Simplify (+ 0 8.0) into 8.0
2.807 * [backup-simplify]: Simplify (- (/ 0 6.0) (+ (* 0.16666666666666666 (/ 8.0 6.0)))) into (- 0.2222222222222222)
2.807 * [backup-simplify]: Simplify (- 0.2222222222222222) into (- 0.2222222222222222)
2.808 * [backup-simplify]: Simplify (* 4.0 1.0) into 4.0
2.809 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0
2.810 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
2.811 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
2.814 * [backup-simplify]: Simplify (- (/ 0 1.0) (+ (* 1.0 (/ (- 1.0) 1.0)))) into 1.0
2.815 * [backup-simplify]: Simplify (+ (* 8.0 1.0) (* 0 1.0)) into 8.0
2.816 * [backup-simplify]: Simplify (+ 8.0 0) into 8.0
2.816 * [backup-simplify]: Simplify (+ 4.0 8.0) into 12.0
2.822 * [backup-simplify]: Simplify (- (/ 0 6.0) (+ (* 0.16666666666666666 (/ 12.0 6.0)) (* (- 0.2222222222222222) (/ 8.0 6.0)))) into (- 0.037037037037037035)
2.823 * [backup-simplify]: Simplify (- 0.037037037037037035) into (- 0.037037037037037035)
2.824 * [backup-simplify]: Simplify (+ (* (- 0.037037037037037035) (pow (/ 1 (- t)) 2)) (+ (* (- 0.2222222222222222) (/ 1 (- t))) 0.16666666666666666)) into (- (+ (* 0.2222222222222222 (/ 1 t)) 0.16666666666666666) (* 0.037037037037037035 (/ 1 (pow t 2))))
2.824 * * * [progress]: simplifying candidates
2.830 * [simplify]: Simplifying:
  (/ (exp 2.0) (exp (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
  (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (/ (exp 2.0) (exp (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (exp (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3))
  (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t)))))
  (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))
  (+ 1 1)
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (+ 1 1)
  (+ (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (log (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (log (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (exp (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (* (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (* (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (cbrt (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (cbrt (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))
  (cbrt (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (* (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (sqrt (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (sqrt (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)) (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)))
  (* (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))
  (* (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)) (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)))
  (* (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))
  (* (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))
  (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* 1 1)
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* 1 1)
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))))
  (* (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))))
  (* (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))))
  (* (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))))
  (* 1 1)
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* 1 1)
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* 2 1)
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 2.0)
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 2.0)
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* 2.0 (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* 2.0 (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 1)
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) 1)
  (* (cbrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (sqrt (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- (sqrt 2.0) (sqrt (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- (sqrt 2.0) (/ (sqrt (/ 2.0 t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt t)) (sqrt (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)))
  (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
  (* (- (pow 2.0 3) (pow (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) 3)) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (* (- (* 2.0 2.0) (* (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))) (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
  (- (log 1.0) (log (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
  (log (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
  (exp (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
  (/ (* (* 1.0 1.0) 1.0) (* (* (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
  (* (cbrt (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))) (cbrt (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))
  (cbrt (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
  (* (* (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))) (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
  (sqrt (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
  (sqrt (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
  (- 1.0)
  (- (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) (cbrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))
  (/ (cbrt 1.0) (cbrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
  (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
  (/ (cbrt 1.0) (sqrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
  (/ (* (cbrt 1.0) (cbrt 1.0)) 1)
  (/ (cbrt 1.0) (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))
  (/ (sqrt 1.0) (* (cbrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) (cbrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))
  (/ (sqrt 1.0) (cbrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
  (/ (sqrt 1.0) (sqrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
  (/ (sqrt 1.0) (sqrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
  (/ (sqrt 1.0) 1)
  (/ (sqrt 1.0) (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))
  (/ 1 (* (cbrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) (cbrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))
  (/ 1.0 (cbrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
  (/ 1 (sqrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
  (/ 1.0 (sqrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
  (/ 1 1)
  (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))
  (/ 1 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))
  (/ (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) 1.0)
  (/ 1.0 (* (cbrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) (cbrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))))
  (/ 1.0 (sqrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
  (/ 1.0 1)
  (/ (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (cbrt 1.0))
  (/ (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (sqrt 1.0))
  (/ (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) 1.0)
  (/ 1.0 (+ (pow 2.0 3) (pow (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) 3)))
  (/ 1.0 (- (* 2.0 2.0) (* (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))) (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
  (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t)))
  (- (+ (* 4.0 (pow t 2)) (* 12.0 (pow t 4))) (* 8.0 (pow t 3)))
  (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t)))
  (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t)))
  (- (+ (* 2.0 (pow t 3)) 0.5) (* 1.0 (pow t 2)))
  (- (+ (* 0.2222222222222222 (/ 1 t)) 0.16666666666666666) (* 0.037037037037037035 (/ 1 (pow t 2))))
  (- (+ (* 0.2222222222222222 (/ 1 t)) 0.16666666666666666) (* 0.037037037037037035 (/ 1 (pow t 2))))
2.832 * [simplify]: Sending expressions to egg_math:
 (/ (exp 2.0) (exp (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (log (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (exp (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (* (cbrt (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))) (cbrt (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))
 (cbrt (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (* (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (sqrt (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (sqrt (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (- (pow 2.0 3) (pow (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))) 3))
 (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))) (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (* 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))
 (- (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))
 (- (* 2.0 2.0) (* (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))) (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (+ 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))
 (+ (sqrt 2.0) (sqrt (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (- (sqrt 2.0) (sqrt (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (+ (sqrt 2.0) (/ (sqrt (/ 2.0 h0)) (sqrt (+ 1.0 (/ 1.0 h0)))))
 (- (sqrt 2.0) (/ (sqrt (/ 2.0 h0)) (sqrt (+ 1.0 (/ 1.0 h0)))))
 (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt h0)) (sqrt (+ 1.0 (/ 1.0 h0)))))
 (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt h0)) (sqrt (+ 1.0 (/ 1.0 h0)))))
 (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))
 (- (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))
 (/ (exp 2.0) (exp (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (log (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (exp (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (* (cbrt (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))) (cbrt (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))
 (cbrt (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (* (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (sqrt (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (sqrt (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (- (pow 2.0 3) (pow (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))) 3))
 (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))) (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (* 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))
 (- (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))
 (- (* 2.0 2.0) (* (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))) (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (+ 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))
 (+ (sqrt 2.0) (sqrt (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (- (sqrt 2.0) (sqrt (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (+ (sqrt 2.0) (/ (sqrt (/ 2.0 h0)) (sqrt (+ 1.0 (/ 1.0 h0)))))
 (- (sqrt 2.0) (/ (sqrt (/ 2.0 h0)) (sqrt (+ 1.0 (/ 1.0 h0)))))
 (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt h0)) (sqrt (+ 1.0 (/ 1.0 h0)))))
 (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt h0)) (sqrt (+ 1.0 (/ 1.0 h0)))))
 (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))
 (- (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))
 (+ 1 1)
 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (+ 1 1)
 (+ (log (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))) (log (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))
 (log (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))
 (exp (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))
 (* (* (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))) (* (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))
 (* (cbrt (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))) (cbrt (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))))
 (cbrt (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))
 (* (* (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))) (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))) (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))
 (sqrt (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))
 (sqrt (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))
 (* (- (pow 2.0 3) (pow (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))) 3)) (- (pow 2.0 3) (pow (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))) 3)))
 (* (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))) (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (* 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))) (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))) (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (* 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))))
 (* (- (pow 2.0 3) (pow (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))) 3)) (- (* 2.0 2.0) (* (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))) (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))
 (* (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))) (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (* 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))) (+ 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (* (- (* 2.0 2.0) (* (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))) (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))) (- (pow 2.0 3) (pow (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))) 3)))
 (* (+ 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (+ (* 2.0 2.0) (+ (* (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))) (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (* 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))))
 (* (- (* 2.0 2.0) (* (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))) (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))) (- (* 2.0 2.0) (* (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))) (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))
 (* (+ 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (+ 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (* (* (cbrt (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))) (cbrt (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))) (* (cbrt (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))) (cbrt (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))))
 (* (cbrt (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))) (cbrt (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))
 (* (sqrt (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))) (sqrt (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))
 (* (sqrt (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))) (sqrt (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))
 (* 1 1)
 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (* 1 1)
 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (* (+ (sqrt 2.0) (sqrt (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))) (+ (sqrt 2.0) (sqrt (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))
 (* (- (sqrt 2.0) (sqrt (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))) (- (sqrt 2.0) (sqrt (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))
 (* (+ (sqrt 2.0) (/ (sqrt (/ 2.0 h0)) (sqrt (+ 1.0 (/ 1.0 h0))))) (+ (sqrt 2.0) (/ (sqrt (/ 2.0 h0)) (sqrt (+ 1.0 (/ 1.0 h0))))))
 (* (- (sqrt 2.0) (/ (sqrt (/ 2.0 h0)) (sqrt (+ 1.0 (/ 1.0 h0))))) (- (sqrt 2.0) (/ (sqrt (/ 2.0 h0)) (sqrt (+ 1.0 (/ 1.0 h0))))))
 (* (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt h0)) (sqrt (+ 1.0 (/ 1.0 h0))))) (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt h0)) (sqrt (+ 1.0 (/ 1.0 h0))))))
 (* (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt h0)) (sqrt (+ 1.0 (/ 1.0 h0))))) (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt h0)) (sqrt (+ 1.0 (/ 1.0 h0))))))
 (* 1 1)
 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (* 1 1)
 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (* (sqrt (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))) (sqrt (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))
 (* (sqrt (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))) (sqrt (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))
 (* 2 1)
 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) 2.0)
 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) 2.0)
 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (* 2.0 (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (* (- (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (* 2.0 (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (* (- (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (* (cbrt (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))) (cbrt (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))))
 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (sqrt (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))
 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) 1)
 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (+ (sqrt 2.0) (sqrt (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))
 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (+ (sqrt 2.0) (/ (sqrt (/ 2.0 h0)) (sqrt (+ 1.0 (/ 1.0 h0))))))
 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (+ (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt h0)) (sqrt (+ 1.0 (/ 1.0 h0))))))
 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) 1)
 (* (cbrt (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (* (sqrt (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (* (- (sqrt 2.0) (sqrt (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (* (- (sqrt 2.0) (/ (sqrt (/ 2.0 h0)) (sqrt (+ 1.0 (/ 1.0 h0))))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (* (- (sqrt 2.0) (/ (/ (sqrt 2.0) (sqrt h0)) (sqrt (+ 1.0 (/ 1.0 h0))))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- (pow 2.0 3) (pow (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))) 3)))
 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- (* 2.0 2.0) (* (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))) (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))
 (* (- (pow 2.0 3) (pow (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))) 3)) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (* (- (* 2.0 2.0) (* (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))) (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))
 (- (log 1.0) (log (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))))
 (log (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))))
 (exp (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))))
 (/ (* (* 1.0 1.0) 1.0) (* (* (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))) (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))) (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))))
 (* (cbrt (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))))) (cbrt (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))))))
 (cbrt (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))))
 (* (* (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))) (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))))) (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))))
 (sqrt (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))))
 (sqrt (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))))
 (- 1.0)
 (- (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))))
 (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))) (cbrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))))))
 (/ (cbrt 1.0) (cbrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))))
 (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))))
 (/ (cbrt 1.0) (sqrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))))
 (/ (* (cbrt 1.0) (cbrt 1.0)) 1)
 (/ (cbrt 1.0) (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))))
 (/ (sqrt 1.0) (* (cbrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))) (cbrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))))))
 (/ (sqrt 1.0) (cbrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))))
 (/ (sqrt 1.0) (sqrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))))
 (/ (sqrt 1.0) (sqrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))))
 (/ (sqrt 1.0) 1)
 (/ (sqrt 1.0) (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))))
 (/ 1 (* (cbrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))) (cbrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))))))
 (/ 1.0 (cbrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))))
 (/ 1 (sqrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))))
 (/ 1.0 (sqrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))))
 (/ 1 1)
 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))))
 (/ 1 (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))))
 (/ (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))) 1.0)
 (/ 1.0 (* (cbrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))) (cbrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))))))
 (/ 1.0 (sqrt (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))))
 (/ 1.0 1)
 (/ (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))) (cbrt 1.0))
 (/ (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))) (sqrt 1.0))
 (/ (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))))) 1.0)
 (/ 1.0 (+ (pow 2.0 3) (pow (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))) 3)))
 (/ 1.0 (- (* 2.0 2.0) (* (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))) (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))))
 (- (+ (* 2.0 (pow h0 3)) (* 2.0 h0)) (* 2.0 (pow h0 2)))
 (- (+ (* 2.0 (/ 1 (pow h0 2))) 2.0) (* 2.0 (/ 1 h0)))
 (- (+ (* 2.0 (/ 1 (pow h0 2))) 2.0) (* 2.0 (/ 1 h0)))
 (- (+ (* 2.0 (pow h0 3)) (* 2.0 h0)) (* 2.0 (pow h0 2)))
 (- (+ (* 2.0 (/ 1 (pow h0 2))) 2.0) (* 2.0 (/ 1 h0)))
 (- (+ (* 2.0 (/ 1 (pow h0 2))) 2.0) (* 2.0 (/ 1 h0)))
 (- (+ (* 4.0 (pow h0 2)) (* 12.0 (pow h0 4))) (* 8.0 (pow h0 3)))
 (- (+ (* 12.0 (/ 1 (pow h0 2))) 4.0) (* 8.0 (/ 1 h0)))
 (- (+ (* 12.0 (/ 1 (pow h0 2))) 4.0) (* 8.0 (/ 1 h0)))
 (- (+ (* 2.0 (pow h0 3)) h1) (* 1.0 (pow h0 2)))
 (- (+ (* h4 (/ 1 h0)) h3) (* h2 (/ 1 (pow h0 2))))
 (- (+ (* h4 (/ 1 h0)) h3) (* h2 (/ 1 (pow h0 2))))
3.750 * * * [progress]: adding candidates to table
4.213 * [progress]: [Phase 3 of 3] Extracting.
4.216 * [simplify]: Simplifying:
  (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))))
4.216 * [simplify]: Sending expressions to egg_math:
 (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0)))) (- 2.0 (/ (/ 2.0 h0) (+ 1.0 (/ 1.0 h0))))))))
7.185 * [regime-testing]: Baseline error score: 0.01812726590823853
7.188 * [regime-testing]: Oracle error score: 0.01812726590823853
7.188 * [regime-testing]: End program error score: 0.01812726590823853