5.309 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.375 * * * [progress]: [2/2] Setting up program.
0.378 * [progress]: [Phase 2 of 3] Improving.
0.379 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (*.f64 (-.f64 2.0 (/.f64 (/.f64 2.0 t) (+.f64 1.0 (/.f64 1.0 t)))) (-.f64 2.0 (/.f64 (/.f64 2.0 t) (+.f64 1.0 (/.f64 1.0 t))))))))
0.434 * * [simplify]: iteration  0 :  5018  enodes  (cost  25 )
0.435 * [simplify]: Simplified to:
   (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))))
0.439 * * [progress]: iteration 1 / 4
0.439 * * * [progress]: picking best candidate
0.441 * * * * [pick]: Picked  #<alt (λ (t) (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))))))>
0.441 * * * [progress]: localizing error
0.451 * * * [progress]: generating rewritten candidates
0.451 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2)
0.460 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1)
0.469 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2)
0.492 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.504 * * * [progress]: generating series expansions
0.504 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2)
0.504 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0
0.504 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t
0.504 * [taylor]: Taking taylor expansion of 2.0 in t
0.504 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t
0.505 * [taylor]: Taking taylor expansion of 2.0 in t
0.505 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t
0.505 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.505 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.505 * [taylor]: Taking taylor expansion of 1.0 in t
0.505 * [taylor]: Taking taylor expansion of t in t
0.505 * [taylor]: Taking taylor expansion of 1.0 in t
0.505 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t
0.505 * [taylor]: Taking taylor expansion of 2.0 in t
0.505 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t
0.505 * [taylor]: Taking taylor expansion of 2.0 in t
0.505 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t
0.505 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.505 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.505 * [taylor]: Taking taylor expansion of 1.0 in t
0.505 * [taylor]: Taking taylor expansion of t in t
0.505 * [taylor]: Taking taylor expansion of 1.0 in t
0.506 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0
0.506 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t
0.506 * [taylor]: Taking taylor expansion of 2.0 in t
0.506 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t
0.506 * [taylor]: Taking taylor expansion of 2.0 in t
0.506 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t
0.506 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.506 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.506 * [taylor]: Taking taylor expansion of 1.0 in t
0.506 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.506 * [taylor]: Taking taylor expansion of t in t
0.506 * [taylor]: Taking taylor expansion of 1.0 in t
0.506 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t
0.506 * [taylor]: Taking taylor expansion of 2.0 in t
0.506 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t
0.506 * [taylor]: Taking taylor expansion of 2.0 in t
0.506 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t
0.506 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.506 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.506 * [taylor]: Taking taylor expansion of 1.0 in t
0.506 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.506 * [taylor]: Taking taylor expansion of t in t
0.507 * [taylor]: Taking taylor expansion of 1.0 in t
0.507 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0
0.507 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t
0.507 * [taylor]: Taking taylor expansion of 2.0 in t
0.507 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t
0.507 * [taylor]: Taking taylor expansion of 2.0 in t
0.507 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t
0.507 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.507 * [taylor]: Taking taylor expansion of 1.0 in t
0.507 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.507 * [taylor]: Taking taylor expansion of 1.0 in t
0.507 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.507 * [taylor]: Taking taylor expansion of t in t
0.507 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t
0.507 * [taylor]: Taking taylor expansion of 2.0 in t
0.507 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t
0.507 * [taylor]: Taking taylor expansion of 2.0 in t
0.507 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t
0.508 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.508 * [taylor]: Taking taylor expansion of 1.0 in t
0.508 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.508 * [taylor]: Taking taylor expansion of 1.0 in t
0.508 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.508 * [taylor]: Taking taylor expansion of t in t
0.508 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1)
0.508 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0
0.508 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t
0.508 * [taylor]: Taking taylor expansion of 2.0 in t
0.508 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t
0.508 * [taylor]: Taking taylor expansion of 2.0 in t
0.508 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t
0.508 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.508 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.508 * [taylor]: Taking taylor expansion of 1.0 in t
0.508 * [taylor]: Taking taylor expansion of t in t
0.508 * [taylor]: Taking taylor expansion of 1.0 in t
0.508 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t
0.509 * [taylor]: Taking taylor expansion of 2.0 in t
0.509 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t
0.509 * [taylor]: Taking taylor expansion of 2.0 in t
0.509 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t
0.509 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.509 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.509 * [taylor]: Taking taylor expansion of 1.0 in t
0.509 * [taylor]: Taking taylor expansion of t in t
0.509 * [taylor]: Taking taylor expansion of 1.0 in t
0.510 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0
0.510 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t
0.510 * [taylor]: Taking taylor expansion of 2.0 in t
0.510 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t
0.510 * [taylor]: Taking taylor expansion of 2.0 in t
0.510 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t
0.510 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.510 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.510 * [taylor]: Taking taylor expansion of 1.0 in t
0.510 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.510 * [taylor]: Taking taylor expansion of t in t
0.510 * [taylor]: Taking taylor expansion of 1.0 in t
0.510 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t
0.510 * [taylor]: Taking taylor expansion of 2.0 in t
0.510 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t
0.510 * [taylor]: Taking taylor expansion of 2.0 in t
0.510 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t
0.510 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.510 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.510 * [taylor]: Taking taylor expansion of 1.0 in t
0.510 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.510 * [taylor]: Taking taylor expansion of t in t
0.510 * [taylor]: Taking taylor expansion of 1.0 in t
0.511 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0
0.511 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t
0.511 * [taylor]: Taking taylor expansion of 2.0 in t
0.511 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t
0.511 * [taylor]: Taking taylor expansion of 2.0 in t
0.511 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t
0.511 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.511 * [taylor]: Taking taylor expansion of 1.0 in t
0.511 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.511 * [taylor]: Taking taylor expansion of 1.0 in t
0.511 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.511 * [taylor]: Taking taylor expansion of t in t
0.511 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t
0.511 * [taylor]: Taking taylor expansion of 2.0 in t
0.511 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t
0.511 * [taylor]: Taking taylor expansion of 2.0 in t
0.511 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t
0.511 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.511 * [taylor]: Taking taylor expansion of 1.0 in t
0.511 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.511 * [taylor]: Taking taylor expansion of 1.0 in t
0.511 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.511 * [taylor]: Taking taylor expansion of t in t
0.512 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2)
0.512 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) 2) in (t) around 0
0.512 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) 2) in t
0.512 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t
0.512 * [taylor]: Taking taylor expansion of 2.0 in t
0.512 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t
0.512 * [taylor]: Taking taylor expansion of 2.0 in t
0.512 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t
0.512 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.512 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.512 * [taylor]: Taking taylor expansion of 1.0 in t
0.512 * [taylor]: Taking taylor expansion of t in t
0.512 * [taylor]: Taking taylor expansion of 1.0 in t
0.512 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) 2) in t
0.513 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t
0.513 * [taylor]: Taking taylor expansion of 2.0 in t
0.513 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t
0.513 * [taylor]: Taking taylor expansion of 2.0 in t
0.513 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t
0.513 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.513 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.513 * [taylor]: Taking taylor expansion of 1.0 in t
0.513 * [taylor]: Taking taylor expansion of t in t
0.513 * [taylor]: Taking taylor expansion of 1.0 in t
0.514 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) 2) in (t) around 0
0.514 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) 2) in t
0.514 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t
0.514 * [taylor]: Taking taylor expansion of 2.0 in t
0.514 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t
0.514 * [taylor]: Taking taylor expansion of 2.0 in t
0.514 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t
0.514 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.514 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.514 * [taylor]: Taking taylor expansion of 1.0 in t
0.514 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.514 * [taylor]: Taking taylor expansion of t in t
0.514 * [taylor]: Taking taylor expansion of 1.0 in t
0.514 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) 2) in t
0.514 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t
0.514 * [taylor]: Taking taylor expansion of 2.0 in t
0.514 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t
0.514 * [taylor]: Taking taylor expansion of 2.0 in t
0.514 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t
0.514 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.514 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.514 * [taylor]: Taking taylor expansion of 1.0 in t
0.514 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.514 * [taylor]: Taking taylor expansion of t in t
0.515 * [taylor]: Taking taylor expansion of 1.0 in t
0.515 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) 2) in (t) around 0
0.515 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) 2) in t
0.515 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t
0.515 * [taylor]: Taking taylor expansion of 2.0 in t
0.515 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t
0.515 * [taylor]: Taking taylor expansion of 2.0 in t
0.515 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t
0.515 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.515 * [taylor]: Taking taylor expansion of 1.0 in t
0.516 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.516 * [taylor]: Taking taylor expansion of 1.0 in t
0.516 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.516 * [taylor]: Taking taylor expansion of t in t
0.516 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) 2) in t
0.516 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t
0.516 * [taylor]: Taking taylor expansion of 2.0 in t
0.516 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t
0.516 * [taylor]: Taking taylor expansion of 2.0 in t
0.516 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t
0.516 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.516 * [taylor]: Taking taylor expansion of 1.0 in t
0.516 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.516 * [taylor]: Taking taylor expansion of 1.0 in t
0.516 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.516 * [taylor]: Taking taylor expansion of t in t
0.516 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.517 * [approximate]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))))))) in (t) around 0
0.517 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))))))) in t
0.517 * [taylor]: Taking taylor expansion of 1.0 in t
0.517 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0)))))) in t
0.517 * [taylor]: Taking taylor expansion of 1.0 in t
0.517 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))))) in t
0.517 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t
0.517 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) in t
0.517 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) in t
0.517 * [taylor]: Taking taylor expansion of 4.0 in t
0.517 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 t) 1.0) 2)) in t
0.517 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 t) 1.0) 2) in t
0.517 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.517 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.517 * [taylor]: Taking taylor expansion of 1.0 in t
0.517 * [taylor]: Taking taylor expansion of t in t
0.517 * [taylor]: Taking taylor expansion of 1.0 in t
0.517 * [taylor]: Taking taylor expansion of 6.0 in t
0.517 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))) in t
0.517 * [taylor]: Taking taylor expansion of 8.0 in t
0.517 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t
0.517 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.517 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.517 * [taylor]: Taking taylor expansion of 1.0 in t
0.517 * [taylor]: Taking taylor expansion of t in t
0.517 * [taylor]: Taking taylor expansion of 1.0 in t
0.518 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))))))) in t
0.518 * [taylor]: Taking taylor expansion of 1.0 in t
0.518 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0)))))) in t
0.518 * [taylor]: Taking taylor expansion of 1.0 in t
0.518 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))))) in t
0.518 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t
0.518 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) in t
0.518 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) in t
0.518 * [taylor]: Taking taylor expansion of 4.0 in t
0.518 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 t) 1.0) 2)) in t
0.518 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 t) 1.0) 2) in t
0.518 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.518 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.518 * [taylor]: Taking taylor expansion of 1.0 in t
0.518 * [taylor]: Taking taylor expansion of t in t
0.518 * [taylor]: Taking taylor expansion of 1.0 in t
0.518 * [taylor]: Taking taylor expansion of 6.0 in t
0.518 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))) in t
0.518 * [taylor]: Taking taylor expansion of 8.0 in t
0.518 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t
0.518 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.518 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.518 * [taylor]: Taking taylor expansion of 1.0 in t
0.518 * [taylor]: Taking taylor expansion of t in t
0.518 * [taylor]: Taking taylor expansion of 1.0 in t
0.520 * [approximate]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))))))) in (t) around 0
0.520 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))))))) in t
0.520 * [taylor]: Taking taylor expansion of 1.0 in t
0.520 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))))) in t
0.520 * [taylor]: Taking taylor expansion of 1.0 in t
0.520 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))))) in t
0.520 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t
0.520 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) in t
0.520 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) in t
0.520 * [taylor]: Taking taylor expansion of 4.0 in t
0.521 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)) in t
0.521 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 (/ 1 t)) 1.0) 2) in t
0.521 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.521 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.521 * [taylor]: Taking taylor expansion of 1.0 in t
0.521 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.521 * [taylor]: Taking taylor expansion of t in t
0.521 * [taylor]: Taking taylor expansion of 1.0 in t
0.521 * [taylor]: Taking taylor expansion of 6.0 in t
0.521 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t
0.521 * [taylor]: Taking taylor expansion of 8.0 in t
0.521 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t
0.521 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.521 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.521 * [taylor]: Taking taylor expansion of 1.0 in t
0.521 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.521 * [taylor]: Taking taylor expansion of t in t
0.521 * [taylor]: Taking taylor expansion of 1.0 in t
0.521 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))))))) in t
0.521 * [taylor]: Taking taylor expansion of 1.0 in t
0.521 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))))) in t
0.521 * [taylor]: Taking taylor expansion of 1.0 in t
0.521 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))))) in t
0.521 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t
0.521 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) in t
0.521 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) in t
0.521 * [taylor]: Taking taylor expansion of 4.0 in t
0.521 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)) in t
0.521 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 (/ 1 t)) 1.0) 2) in t
0.521 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.521 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.521 * [taylor]: Taking taylor expansion of 1.0 in t
0.521 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.521 * [taylor]: Taking taylor expansion of t in t
0.521 * [taylor]: Taking taylor expansion of 1.0 in t
0.521 * [taylor]: Taking taylor expansion of 6.0 in t
0.521 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t
0.521 * [taylor]: Taking taylor expansion of 8.0 in t
0.521 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t
0.521 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.521 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.522 * [taylor]: Taking taylor expansion of 1.0 in t
0.522 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.522 * [taylor]: Taking taylor expansion of t in t
0.522 * [taylor]: Taking taylor expansion of 1.0 in t
0.523 * [approximate]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))))))) in (t) around 0
0.523 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))))))) in t
0.523 * [taylor]: Taking taylor expansion of 1.0 in t
0.523 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))))) in t
0.523 * [taylor]: Taking taylor expansion of 1.0 in t
0.523 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))))) in t
0.523 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t
0.523 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) in t
0.523 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) in t
0.523 * [taylor]: Taking taylor expansion of 4.0 in t
0.523 * [taylor]: Taking taylor expansion of (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2)) in t
0.523 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 t))) 2) in t
0.523 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.523 * [taylor]: Taking taylor expansion of 1.0 in t
0.523 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.523 * [taylor]: Taking taylor expansion of 1.0 in t
0.523 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.523 * [taylor]: Taking taylor expansion of t in t
0.523 * [taylor]: Taking taylor expansion of 6.0 in t
0.523 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t
0.523 * [taylor]: Taking taylor expansion of 8.0 in t
0.523 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t
0.523 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.523 * [taylor]: Taking taylor expansion of 1.0 in t
0.523 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.523 * [taylor]: Taking taylor expansion of 1.0 in t
0.523 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.523 * [taylor]: Taking taylor expansion of t in t
0.523 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))))))) in t
0.523 * [taylor]: Taking taylor expansion of 1.0 in t
0.523 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))))) in t
0.524 * [taylor]: Taking taylor expansion of 1.0 in t
0.524 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))))) in t
0.524 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t
0.524 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) in t
0.524 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) in t
0.524 * [taylor]: Taking taylor expansion of 4.0 in t
0.524 * [taylor]: Taking taylor expansion of (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2)) in t
0.524 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 t))) 2) in t
0.524 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.524 * [taylor]: Taking taylor expansion of 1.0 in t
0.524 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.524 * [taylor]: Taking taylor expansion of 1.0 in t
0.524 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.524 * [taylor]: Taking taylor expansion of t in t
0.524 * [taylor]: Taking taylor expansion of 6.0 in t
0.524 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t
0.524 * [taylor]: Taking taylor expansion of 8.0 in t
0.524 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t
0.524 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.524 * [taylor]: Taking taylor expansion of 1.0 in t
0.524 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.524 * [taylor]: Taking taylor expansion of 1.0 in t
0.524 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.524 * [taylor]: Taking taylor expansion of t in t
0.525 * * * [progress]: simplifying candidates
0.527 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/.f64 (exp.f64 2.0) (exp.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (log.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (exp.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (*.f64 (cbrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) (cbrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (cbrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (*.f64 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (sqrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (sqrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (-.f64 (pow.f64 2.0 3) (pow.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) 3))
  (+.f64 (*.f64 2.0 2.0) (+.f64 (*.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (*.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (neg.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))
  (-.f64 (*.f64 2.0 2.0) (*.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (+.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))
  (+.f64 (sqrt.f64 2.0) (sqrt.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (-.f64 (sqrt.f64 2.0) (sqrt.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (+.f64 (sqrt.f64 2.0) (/.f64 (sqrt.f64 2.0) (sqrt.f64 (+.f64 1.0 (*.f64 1.0 t)))))
  (-.f64 (sqrt.f64 2.0) (/.f64 (sqrt.f64 2.0) (sqrt.f64 (+.f64 1.0 (*.f64 1.0 t)))))
  (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))
  (/.f64 (exp.f64 2.0) (exp.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (log.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (exp.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (*.f64 (cbrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) (cbrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (cbrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (*.f64 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (sqrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (sqrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (-.f64 (pow.f64 2.0 3) (pow.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) 3))
  (+.f64 (*.f64 2.0 2.0) (+.f64 (*.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (*.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (neg.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))
  (-.f64 (*.f64 2.0 2.0) (*.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (+.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))
  (+.f64 (sqrt.f64 2.0) (sqrt.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (-.f64 (sqrt.f64 2.0) (sqrt.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (+.f64 (sqrt.f64 2.0) (/.f64 (sqrt.f64 2.0) (sqrt.f64 (+.f64 1.0 (*.f64 1.0 t)))))
  (-.f64 (sqrt.f64 2.0) (/.f64 (sqrt.f64 2.0) (sqrt.f64 (+.f64 1.0 (*.f64 1.0 t)))))
  (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))
  (+.f64 1 1)
  (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (+.f64 1 1)
  (+.f64 (log.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) (log.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (log.f64 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (exp.f64 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (*.f64 (*.f64 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) (*.f64 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (*.f64 (cbrt.f64 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))) (cbrt.f64 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))))
  (cbrt.f64 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (*.f64 (*.f64 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))) (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (sqrt.f64 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (sqrt.f64 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (*.f64 (-.f64 (pow.f64 2.0 3) (pow.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) 3)) (-.f64 (pow.f64 2.0 3) (pow.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) 3)))
  (*.f64 (+.f64 (*.f64 2.0 2.0) (+.f64 (*.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (*.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))) (+.f64 (*.f64 2.0 2.0) (+.f64 (*.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (*.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))))
  (*.f64 (-.f64 (pow.f64 2.0 3) (pow.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) 3)) (-.f64 (*.f64 2.0 2.0) (*.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (*.f64 (+.f64 (*.f64 2.0 2.0) (+.f64 (*.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (*.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))) (+.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (*.f64 (-.f64 (*.f64 2.0 2.0) (*.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) (-.f64 (pow.f64 2.0 3) (pow.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) 3)))
  (*.f64 (+.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (+.f64 (*.f64 2.0 2.0) (+.f64 (*.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (*.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))))
  (*.f64 (-.f64 (*.f64 2.0 2.0) (*.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) (-.f64 (*.f64 2.0 2.0) (*.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (*.f64 (+.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (+.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (*.f64 (*.f64 (cbrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) (cbrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))) (*.f64 (cbrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) (cbrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))))
  (*.f64 (cbrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) (cbrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (*.f64 (sqrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) (sqrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (*.f64 (sqrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) (sqrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (*.f64 1 1)
  (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (*.f64 1 1)
  (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (*.f64 (+.f64 (sqrt.f64 2.0) (sqrt.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) (+.f64 (sqrt.f64 2.0) (sqrt.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (*.f64 (-.f64 (sqrt.f64 2.0) (sqrt.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) (-.f64 (sqrt.f64 2.0) (sqrt.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (*.f64 (+.f64 (sqrt.f64 2.0) (/.f64 (sqrt.f64 2.0) (sqrt.f64 (+.f64 1.0 (*.f64 1.0 t))))) (+.f64 (sqrt.f64 2.0) (/.f64 (sqrt.f64 2.0) (sqrt.f64 (+.f64 1.0 (*.f64 1.0 t))))))
  (*.f64 (-.f64 (sqrt.f64 2.0) (/.f64 (sqrt.f64 2.0) (sqrt.f64 (+.f64 1.0 (*.f64 1.0 t))))) (-.f64 (sqrt.f64 2.0) (/.f64 (sqrt.f64 2.0) (sqrt.f64 (+.f64 1.0 (*.f64 1.0 t))))))
  (*.f64 1 1)
  (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (*.f64 1 1)
  (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (*.f64 (sqrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) (sqrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (*.f64 (sqrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) (sqrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (*.f64 2 1)
  (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2.0)
  (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (neg.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (*.f64 2.0 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (*.f64 (neg.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (*.f64 (cbrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) (cbrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))))
  (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (sqrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 1)
  (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (+.f64 (sqrt.f64 2.0) (sqrt.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (+.f64 (sqrt.f64 2.0) (/.f64 (sqrt.f64 2.0) (sqrt.f64 (+.f64 1.0 (*.f64 1.0 t))))))
  (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 1)
  (*.f64 (cbrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (*.f64 (sqrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (*.f64 (-.f64 (sqrt.f64 2.0) (sqrt.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (*.f64 (-.f64 (sqrt.f64 2.0) (/.f64 (sqrt.f64 2.0) (sqrt.f64 (+.f64 1.0 (*.f64 1.0 t))))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 (pow.f64 2.0 3) (pow.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) 3)))
  (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 (*.f64 2.0 2.0) (*.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (*.f64 (-.f64 (pow.f64 2.0 3) (pow.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) 3)) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (*.f64 (-.f64 (*.f64 2.0 2.0) (*.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (/.f64 (exp.f64 1.0) (exp.f64 (/.f64 1.0 (+.f64 2.0 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))))))
  (log.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))))))
  (exp.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))))))
  (*.f64 (cbrt.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))))) (cbrt.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))))))
  (cbrt.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))))))
  (*.f64 (*.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))))) (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))))) (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))))))
  (sqrt.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))))))
  (sqrt.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))))))
  (-.f64 (pow.f64 1.0 3) (pow.f64 (/.f64 1.0 (+.f64 2.0 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))) 3))
  (+.f64 (*.f64 1.0 1.0) (+.f64 (*.f64 (/.f64 1.0 (+.f64 2.0 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))) (/.f64 1.0 (+.f64 2.0 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))))) (*.f64 1.0 (/.f64 1.0 (+.f64 2.0 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))))))
  (neg.f64 (/.f64 1.0 (+.f64 2.0 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))))
  (-.f64 (*.f64 1.0 1.0) (*.f64 (/.f64 1.0 (+.f64 2.0 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))) (/.f64 1.0 (+.f64 2.0 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))))))
  (+.f64 1.0 (/.f64 1.0 (+.f64 2.0 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))))
  (+.f64 (sqrt.f64 1.0) (sqrt.f64 (/.f64 1.0 (+.f64 2.0 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))))))
  (-.f64 (sqrt.f64 1.0) (sqrt.f64 (/.f64 1.0 (+.f64 2.0 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))))))
  (+.f64 (sqrt.f64 1.0) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (+.f64 2.0 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))))))
  (-.f64 (sqrt.f64 1.0) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (+.f64 2.0 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))))))
  (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))))
  (-.f64 (+.f64 (*.f64 2.0 (pow.f64 t 3)) (*.f64 2.0 t)) (*.f64 2.0 (pow.f64 t 2)))
  (-.f64 (+.f64 (*.f64 2.0 (/.f64 1 (pow.f64 t 2))) 2.0) (*.f64 2.0 (/.f64 1 t)))
  (-.f64 (+.f64 (*.f64 2.0 (/.f64 1 (pow.f64 t 2))) 2.0) (*.f64 2.0 (/.f64 1 t)))
  (-.f64 (+.f64 (*.f64 2.0 (pow.f64 t 3)) (*.f64 2.0 t)) (*.f64 2.0 (pow.f64 t 2)))
  (-.f64 (+.f64 (*.f64 2.0 (/.f64 1 (pow.f64 t 2))) 2.0) (*.f64 2.0 (/.f64 1 t)))
  (-.f64 (+.f64 (*.f64 2.0 (/.f64 1 (pow.f64 t 2))) 2.0) (*.f64 2.0 (/.f64 1 t)))
  (-.f64 (+.f64 (*.f64 4.0 (pow.f64 t 2)) (*.f64 12.0 (pow.f64 t 4))) (*.f64 8.0 (pow.f64 t 3)))
  (-.f64 (+.f64 (*.f64 12.0 (/.f64 1 (pow.f64 t 2))) 4.0) (*.f64 8.0 (/.f64 1 t)))
  (-.f64 (+.f64 (*.f64 12.0 (/.f64 1 (pow.f64 t 2))) 4.0) (*.f64 8.0 (/.f64 1 t)))
  (-.f64 (+.f64 (*.f64 1.0 (pow.f64 t 2)) 0.5) (*.f64 2.0 (pow.f64 t 3)))
  (-.f64 (+.f64 (*.f64 0.037037037037037035 (/.f64 1 (pow.f64 t 2))) 0.8333333333333334) (*.f64 0.2222222222222222 (/.f64 1 t)))
  (-.f64 (+.f64 (*.f64 0.037037037037037035 (/.f64 1 (pow.f64 t 2))) 0.8333333333333334) (*.f64 0.2222222222222222 (/.f64 1 t)))
0.575 * * [simplify]: iteration  0 :  4926  enodes  (cost  1836 )
0.576 * * [simplify]: iteration  1 :  4926  enodes  (cost  1836 )
0.582 * [simplify]: Simplified to:
   (exp.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (log.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (exp.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (pow.f64 (cbrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) 2)
  (cbrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 3)
  (sqrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (sqrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (-.f64 (pow.f64 2.0 3) (pow.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) 3))
  (+.f64 (*.f64 2.0 2.0) (*.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) (+.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (neg.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))
  (-.f64 (*.f64 2.0 2.0) (*.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (+.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))
  (+.f64 (sqrt.f64 2.0) (sqrt.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (-.f64 (sqrt.f64 2.0) (sqrt.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (+.f64 (sqrt.f64 2.0) (/.f64 (sqrt.f64 2.0) (sqrt.f64 (+.f64 1.0 (*.f64 1.0 t)))))
  (-.f64 (sqrt.f64 2.0) (/.f64 (sqrt.f64 2.0) (sqrt.f64 (+.f64 1.0 (*.f64 1.0 t)))))
  (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))
  (exp.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (log.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (exp.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (pow.f64 (cbrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) 2)
  (cbrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 3)
  (sqrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (sqrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (-.f64 (pow.f64 2.0 3) (pow.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) 3))
  (+.f64 (*.f64 2.0 2.0) (*.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) (+.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (neg.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))
  (-.f64 (*.f64 2.0 2.0) (*.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (+.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))
  (+.f64 (sqrt.f64 2.0) (sqrt.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (-.f64 (sqrt.f64 2.0) (sqrt.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (+.f64 (sqrt.f64 2.0) (/.f64 (sqrt.f64 2.0) (sqrt.f64 (+.f64 1.0 (*.f64 1.0 t)))))
  (-.f64 (sqrt.f64 2.0) (/.f64 (sqrt.f64 2.0) (sqrt.f64 (+.f64 1.0 (*.f64 1.0 t)))))
  (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))
  2
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)
  2
  (*.f64 (log.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) 2)
  (*.f64 (log.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) 2)
  (exp.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2))
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)
  (*.f64 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)) (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)))
  (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2))
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)
  (fabs.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (fabs.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (*.f64 (-.f64 (pow.f64 2.0 3) (pow.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) 3)) (-.f64 (pow.f64 2.0 3) (pow.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) 3)))
  (*.f64 (+.f64 (*.f64 2.0 2.0) (*.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) (+.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))) (+.f64 (*.f64 2.0 2.0) (*.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) (+.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))))
  (*.f64 (-.f64 (pow.f64 2.0 3) (pow.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) 3)) (-.f64 (*.f64 2.0 2.0) (*.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (*.f64 (+.f64 (*.f64 2.0 2.0) (*.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) (+.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))) (+.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (*.f64 (-.f64 (pow.f64 2.0 3) (pow.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) 3)) (-.f64 (*.f64 2.0 2.0) (*.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (*.f64 (+.f64 (*.f64 2.0 2.0) (*.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) (+.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))) (+.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (*.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2) (*.f64 (+.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (+.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (*.f64 (+.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (+.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (pow.f64 (cbrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) 4)
  (pow.f64 (cbrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) 2)
  (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))
  (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))
  1
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)
  1
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)
  (*.f64 (+.f64 (sqrt.f64 2.0) (sqrt.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) (+.f64 (sqrt.f64 2.0) (sqrt.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (*.f64 (-.f64 (sqrt.f64 2.0) (sqrt.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) (-.f64 (sqrt.f64 2.0) (sqrt.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (*.f64 (+.f64 (sqrt.f64 2.0) (/.f64 (sqrt.f64 2.0) (sqrt.f64 (+.f64 1.0 (*.f64 1.0 t))))) (+.f64 (sqrt.f64 2.0) (/.f64 (sqrt.f64 2.0) (sqrt.f64 (+.f64 1.0 (*.f64 1.0 t))))))
  (*.f64 (-.f64 (sqrt.f64 2.0) (/.f64 (sqrt.f64 2.0) (sqrt.f64 (+.f64 1.0 (*.f64 1.0 t))))) (-.f64 (sqrt.f64 2.0) (/.f64 (sqrt.f64 2.0) (sqrt.f64 (+.f64 1.0 (*.f64 1.0 t))))))
  1
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)
  1
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)
  (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))
  (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))
  2
  (*.f64 2.0 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (*.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) (-.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) 2.0))
  (*.f64 2.0 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (*.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) (-.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) 2.0))
  (pow.f64 (cbrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) 5)
  (pow.f64 (sqrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) 3)
  (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))
  (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (+.f64 (sqrt.f64 2.0) (sqrt.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (+.f64 (sqrt.f64 2.0) (/.f64 (sqrt.f64 2.0) (sqrt.f64 (+.f64 1.0 (*.f64 1.0 t))))))
  (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))
  (pow.f64 (cbrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) 4)
  (pow.f64 (sqrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) 3)
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)
  (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 (sqrt.f64 2.0) (sqrt.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 (sqrt.f64 2.0) (/.f64 (sqrt.f64 2.0) (sqrt.f64 (+.f64 1.0 (*.f64 1.0 t))))))
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)
  (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 (pow.f64 2.0 3) (pow.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) 3)))
  (*.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2) (+.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 (pow.f64 2.0 3) (pow.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) 3)))
  (*.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2) (+.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (exp.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)))))
  (log.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)))))
  (exp.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)))))
  (*.f64 (cbrt.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2))))) (cbrt.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2))))))
  (cbrt.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)))))
  (pow.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)))) 3)
  (sqrt.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)))))
  (sqrt.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)))))
  (-.f64 (pow.f64 1.0 3) (pow.f64 (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2))) 3))
  (+.f64 (*.f64 1.0 1.0) (*.f64 (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2))) (+.f64 1.0 (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2))))))
  (/.f64 (neg.f64 1.0) (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)))
  (-.f64 (*.f64 1.0 1.0) (*.f64 (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2))) (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)))))
  (+.f64 1.0 (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2))))
  (+.f64 (sqrt.f64 1.0) (sqrt.f64 (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)))))
  (-.f64 (sqrt.f64 1.0) (sqrt.f64 (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)))))
  (+.f64 (sqrt.f64 1.0) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)))))
  (-.f64 (sqrt.f64 1.0) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)))))
  (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2))))
  (*.f64 2.0 (-.f64 (+.f64 t (pow.f64 t 3)) (*.f64 t t)))
  (-.f64 (+.f64 2.0 (/.f64 2.0 (*.f64 t t))) (/.f64 2.0 t))
  (-.f64 (+.f64 2.0 (/.f64 2.0 (*.f64 t t))) (/.f64 2.0 t))
  (*.f64 2.0 (-.f64 (+.f64 t (pow.f64 t 3)) (*.f64 t t)))
  (-.f64 (+.f64 2.0 (/.f64 2.0 (*.f64 t t))) (/.f64 2.0 t))
  (-.f64 (+.f64 2.0 (/.f64 2.0 (*.f64 t t))) (/.f64 2.0 t))
  (+.f64 (*.f64 12.0 (pow.f64 t 4)) (*.f64 (*.f64 t t) (-.f64 4.0 (*.f64 t 8.0))))
  (-.f64 (+.f64 4.0 (/.f64 12.0 (*.f64 t t))) (/.f64 8.0 t))
  (-.f64 (+.f64 4.0 (/.f64 12.0 (*.f64 t t))) (/.f64 8.0 t))
  (+.f64 0.5 (*.f64 (*.f64 t t) (-.f64 1.0 (*.f64 2.0 t))))
  (-.f64 (+.f64 (/.f64 0.037037037037037035 (*.f64 t t)) 0.8333333333333334) (/.f64 0.2222222222222222 t))
  (-.f64 (+.f64 (/.f64 0.037037037037037035 (*.f64 t t)) 0.8333333333333334) (/.f64 0.2222222222222222 t))
0.583 * * * [progress]: adding candidates to table
0.718 * * [progress]: iteration 2 / 4
0.718 * * * [progress]: picking best candidate
0.720 * * * * [pick]: Picked  #<alt (λ (t) (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6))))))>
0.720 * * * [progress]: localizing error
0.732 * * * [progress]: generating rewritten candidates
0.732 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 1)
0.741 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1)
0.752 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2)
0.762 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
0.787 * * * [progress]: generating series expansions
0.787 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 1)
0.787 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0
0.787 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t
0.787 * [taylor]: Taking taylor expansion of 2.0 in t
0.787 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t
0.787 * [taylor]: Taking taylor expansion of 2.0 in t
0.787 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t
0.787 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.787 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.787 * [taylor]: Taking taylor expansion of 1.0 in t
0.787 * [taylor]: Taking taylor expansion of t in t
0.787 * [taylor]: Taking taylor expansion of 1.0 in t
0.787 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t
0.787 * [taylor]: Taking taylor expansion of 2.0 in t
0.787 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t
0.787 * [taylor]: Taking taylor expansion of 2.0 in t
0.787 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t
0.787 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.787 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.787 * [taylor]: Taking taylor expansion of 1.0 in t
0.787 * [taylor]: Taking taylor expansion of t in t
0.787 * [taylor]: Taking taylor expansion of 1.0 in t
0.789 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0
0.789 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t
0.789 * [taylor]: Taking taylor expansion of 2.0 in t
0.789 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t
0.789 * [taylor]: Taking taylor expansion of 2.0 in t
0.789 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t
0.789 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.789 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.789 * [taylor]: Taking taylor expansion of 1.0 in t
0.789 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.789 * [taylor]: Taking taylor expansion of t in t
0.789 * [taylor]: Taking taylor expansion of 1.0 in t
0.789 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t
0.789 * [taylor]: Taking taylor expansion of 2.0 in t
0.789 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t
0.789 * [taylor]: Taking taylor expansion of 2.0 in t
0.789 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t
0.789 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.789 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.789 * [taylor]: Taking taylor expansion of 1.0 in t
0.789 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.789 * [taylor]: Taking taylor expansion of t in t
0.789 * [taylor]: Taking taylor expansion of 1.0 in t
0.790 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0
0.790 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t
0.790 * [taylor]: Taking taylor expansion of 2.0 in t
0.790 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t
0.790 * [taylor]: Taking taylor expansion of 2.0 in t
0.790 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t
0.790 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.790 * [taylor]: Taking taylor expansion of 1.0 in t
0.790 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.790 * [taylor]: Taking taylor expansion of 1.0 in t
0.790 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.790 * [taylor]: Taking taylor expansion of t in t
0.790 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t
0.790 * [taylor]: Taking taylor expansion of 2.0 in t
0.790 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t
0.790 * [taylor]: Taking taylor expansion of 2.0 in t
0.790 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t
0.790 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.790 * [taylor]: Taking taylor expansion of 1.0 in t
0.790 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.790 * [taylor]: Taking taylor expansion of 1.0 in t
0.790 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.790 * [taylor]: Taking taylor expansion of t in t
0.791 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1)
0.791 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) 6) in (t) around 0
0.791 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) 6) in t
0.791 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t
0.791 * [taylor]: Taking taylor expansion of 2.0 in t
0.791 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t
0.791 * [taylor]: Taking taylor expansion of 2.0 in t
0.791 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t
0.791 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.791 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.791 * [taylor]: Taking taylor expansion of 1.0 in t
0.791 * [taylor]: Taking taylor expansion of t in t
0.791 * [taylor]: Taking taylor expansion of 1.0 in t
0.791 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) 6) in t
0.791 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t
0.791 * [taylor]: Taking taylor expansion of 2.0 in t
0.791 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t
0.791 * [taylor]: Taking taylor expansion of 2.0 in t
0.791 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t
0.791 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.791 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.791 * [taylor]: Taking taylor expansion of 1.0 in t
0.791 * [taylor]: Taking taylor expansion of t in t
0.791 * [taylor]: Taking taylor expansion of 1.0 in t
0.793 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) 6) in (t) around 0
0.793 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) 6) in t
0.793 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t
0.793 * [taylor]: Taking taylor expansion of 2.0 in t
0.793 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t
0.793 * [taylor]: Taking taylor expansion of 2.0 in t
0.793 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t
0.793 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.793 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.793 * [taylor]: Taking taylor expansion of 1.0 in t
0.793 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.793 * [taylor]: Taking taylor expansion of t in t
0.793 * [taylor]: Taking taylor expansion of 1.0 in t
0.793 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) 6) in t
0.793 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t
0.793 * [taylor]: Taking taylor expansion of 2.0 in t
0.793 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t
0.793 * [taylor]: Taking taylor expansion of 2.0 in t
0.793 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t
0.793 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.793 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.793 * [taylor]: Taking taylor expansion of 1.0 in t
0.793 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.793 * [taylor]: Taking taylor expansion of t in t
0.793 * [taylor]: Taking taylor expansion of 1.0 in t
0.794 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) 6) in (t) around 0
0.794 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) 6) in t
0.794 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t
0.795 * [taylor]: Taking taylor expansion of 2.0 in t
0.795 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t
0.795 * [taylor]: Taking taylor expansion of 2.0 in t
0.795 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t
0.795 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.795 * [taylor]: Taking taylor expansion of 1.0 in t
0.795 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.795 * [taylor]: Taking taylor expansion of 1.0 in t
0.795 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.795 * [taylor]: Taking taylor expansion of t in t
0.795 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) 6) in t
0.795 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t
0.795 * [taylor]: Taking taylor expansion of 2.0 in t
0.795 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t
0.795 * [taylor]: Taking taylor expansion of 2.0 in t
0.795 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t
0.795 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.795 * [taylor]: Taking taylor expansion of 1.0 in t
0.795 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.795 * [taylor]: Taking taylor expansion of 1.0 in t
0.795 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.795 * [taylor]: Taking taylor expansion of t in t
0.796 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2)
0.796 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) 2) in (t) around 0
0.796 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) 2) in t
0.796 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t
0.796 * [taylor]: Taking taylor expansion of 2.0 in t
0.796 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t
0.796 * [taylor]: Taking taylor expansion of 2.0 in t
0.796 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t
0.796 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.796 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.796 * [taylor]: Taking taylor expansion of 1.0 in t
0.796 * [taylor]: Taking taylor expansion of t in t
0.796 * [taylor]: Taking taylor expansion of 1.0 in t
0.796 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) 2) in t
0.796 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t
0.796 * [taylor]: Taking taylor expansion of 2.0 in t
0.796 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t
0.797 * [taylor]: Taking taylor expansion of 2.0 in t
0.797 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t
0.797 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.797 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.797 * [taylor]: Taking taylor expansion of 1.0 in t
0.797 * [taylor]: Taking taylor expansion of t in t
0.797 * [taylor]: Taking taylor expansion of 1.0 in t
0.798 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) 2) in (t) around 0
0.798 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) 2) in t
0.798 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t
0.798 * [taylor]: Taking taylor expansion of 2.0 in t
0.798 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t
0.798 * [taylor]: Taking taylor expansion of 2.0 in t
0.798 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t
0.798 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.798 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.798 * [taylor]: Taking taylor expansion of 1.0 in t
0.798 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.798 * [taylor]: Taking taylor expansion of t in t
0.798 * [taylor]: Taking taylor expansion of 1.0 in t
0.798 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) 2) in t
0.798 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t
0.798 * [taylor]: Taking taylor expansion of 2.0 in t
0.798 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t
0.798 * [taylor]: Taking taylor expansion of 2.0 in t
0.798 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t
0.798 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.798 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.798 * [taylor]: Taking taylor expansion of 1.0 in t
0.798 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.798 * [taylor]: Taking taylor expansion of t in t
0.798 * [taylor]: Taking taylor expansion of 1.0 in t
0.799 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) 2) in (t) around 0
0.799 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) 2) in t
0.799 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t
0.799 * [taylor]: Taking taylor expansion of 2.0 in t
0.799 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t
0.799 * [taylor]: Taking taylor expansion of 2.0 in t
0.799 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t
0.799 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.799 * [taylor]: Taking taylor expansion of 1.0 in t
0.799 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.799 * [taylor]: Taking taylor expansion of 1.0 in t
0.799 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.799 * [taylor]: Taking taylor expansion of t in t
0.800 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) 2) in t
0.800 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t
0.800 * [taylor]: Taking taylor expansion of 2.0 in t
0.800 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t
0.800 * [taylor]: Taking taylor expansion of 2.0 in t
0.800 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t
0.800 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.800 * [taylor]: Taking taylor expansion of 1.0 in t
0.800 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.800 * [taylor]: Taking taylor expansion of 1.0 in t
0.800 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.800 * [taylor]: Taking taylor expansion of t in t
0.800 * * * * [progress]: [ 4 / 4 ] generating series at (2)
0.801 * [approximate]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))))))) in (t) around 0
0.801 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))))))) in t
0.801 * [taylor]: Taking taylor expansion of 1.0 in t
0.801 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0)))))) in t
0.801 * [taylor]: Taking taylor expansion of 1.0 in t
0.801 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))))) in t
0.801 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t
0.801 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) in t
0.801 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) in t
0.801 * [taylor]: Taking taylor expansion of 4.0 in t
0.801 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 t) 1.0) 2)) in t
0.801 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 t) 1.0) 2) in t
0.801 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.801 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.801 * [taylor]: Taking taylor expansion of 1.0 in t
0.801 * [taylor]: Taking taylor expansion of t in t
0.801 * [taylor]: Taking taylor expansion of 1.0 in t
0.801 * [taylor]: Taking taylor expansion of 6.0 in t
0.801 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))) in t
0.801 * [taylor]: Taking taylor expansion of 8.0 in t
0.801 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t
0.801 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.801 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.801 * [taylor]: Taking taylor expansion of 1.0 in t
0.801 * [taylor]: Taking taylor expansion of t in t
0.801 * [taylor]: Taking taylor expansion of 1.0 in t
0.801 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))))))) in t
0.801 * [taylor]: Taking taylor expansion of 1.0 in t
0.801 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0)))))) in t
0.802 * [taylor]: Taking taylor expansion of 1.0 in t
0.802 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))))) in t
0.802 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t
0.802 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) in t
0.802 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) in t
0.802 * [taylor]: Taking taylor expansion of 4.0 in t
0.802 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 t) 1.0) 2)) in t
0.802 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 t) 1.0) 2) in t
0.802 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.802 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.802 * [taylor]: Taking taylor expansion of 1.0 in t
0.802 * [taylor]: Taking taylor expansion of t in t
0.802 * [taylor]: Taking taylor expansion of 1.0 in t
0.802 * [taylor]: Taking taylor expansion of 6.0 in t
0.802 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))) in t
0.802 * [taylor]: Taking taylor expansion of 8.0 in t
0.802 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t
0.802 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t
0.802 * [taylor]: Taking taylor expansion of (* 1.0 t) in t
0.802 * [taylor]: Taking taylor expansion of 1.0 in t
0.802 * [taylor]: Taking taylor expansion of t in t
0.802 * [taylor]: Taking taylor expansion of 1.0 in t
0.804 * [approximate]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))))))) in (t) around 0
0.804 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))))))) in t
0.804 * [taylor]: Taking taylor expansion of 1.0 in t
0.804 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))))) in t
0.804 * [taylor]: Taking taylor expansion of 1.0 in t
0.804 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))))) in t
0.804 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t
0.804 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) in t
0.805 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) in t
0.805 * [taylor]: Taking taylor expansion of 4.0 in t
0.805 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)) in t
0.805 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 (/ 1 t)) 1.0) 2) in t
0.805 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.805 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.805 * [taylor]: Taking taylor expansion of 1.0 in t
0.805 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.805 * [taylor]: Taking taylor expansion of t in t
0.805 * [taylor]: Taking taylor expansion of 1.0 in t
0.805 * [taylor]: Taking taylor expansion of 6.0 in t
0.805 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t
0.805 * [taylor]: Taking taylor expansion of 8.0 in t
0.805 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t
0.805 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.805 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.805 * [taylor]: Taking taylor expansion of 1.0 in t
0.805 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.805 * [taylor]: Taking taylor expansion of t in t
0.805 * [taylor]: Taking taylor expansion of 1.0 in t
0.805 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))))))) in t
0.805 * [taylor]: Taking taylor expansion of 1.0 in t
0.805 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))))) in t
0.805 * [taylor]: Taking taylor expansion of 1.0 in t
0.805 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))))) in t
0.805 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t
0.805 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) in t
0.805 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) in t
0.805 * [taylor]: Taking taylor expansion of 4.0 in t
0.805 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)) in t
0.805 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 (/ 1 t)) 1.0) 2) in t
0.805 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.805 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.805 * [taylor]: Taking taylor expansion of 1.0 in t
0.805 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.805 * [taylor]: Taking taylor expansion of t in t
0.805 * [taylor]: Taking taylor expansion of 1.0 in t
0.805 * [taylor]: Taking taylor expansion of 6.0 in t
0.805 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t
0.805 * [taylor]: Taking taylor expansion of 8.0 in t
0.806 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t
0.806 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t
0.806 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.806 * [taylor]: Taking taylor expansion of 1.0 in t
0.806 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.806 * [taylor]: Taking taylor expansion of t in t
0.806 * [taylor]: Taking taylor expansion of 1.0 in t
0.807 * [approximate]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))))))) in (t) around 0
0.807 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))))))) in t
0.807 * [taylor]: Taking taylor expansion of 1.0 in t
0.807 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))))) in t
0.807 * [taylor]: Taking taylor expansion of 1.0 in t
0.807 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))))) in t
0.807 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t
0.807 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) in t
0.807 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) in t
0.807 * [taylor]: Taking taylor expansion of 4.0 in t
0.807 * [taylor]: Taking taylor expansion of (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2)) in t
0.807 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 t))) 2) in t
0.807 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.807 * [taylor]: Taking taylor expansion of 1.0 in t
0.807 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.807 * [taylor]: Taking taylor expansion of 1.0 in t
0.807 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.807 * [taylor]: Taking taylor expansion of t in t
0.807 * [taylor]: Taking taylor expansion of 6.0 in t
0.807 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t
0.807 * [taylor]: Taking taylor expansion of 8.0 in t
0.807 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t
0.807 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.807 * [taylor]: Taking taylor expansion of 1.0 in t
0.807 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.807 * [taylor]: Taking taylor expansion of 1.0 in t
0.807 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.807 * [taylor]: Taking taylor expansion of t in t
0.807 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))))))) in t
0.808 * [taylor]: Taking taylor expansion of 1.0 in t
0.808 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))))) in t
0.808 * [taylor]: Taking taylor expansion of 1.0 in t
0.808 * [taylor]: Taking taylor expansion of (/ 1 (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))))) in t
0.808 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t
0.808 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) in t
0.808 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) in t
0.808 * [taylor]: Taking taylor expansion of 4.0 in t
0.808 * [taylor]: Taking taylor expansion of (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2)) in t
0.808 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 t))) 2) in t
0.808 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.808 * [taylor]: Taking taylor expansion of 1.0 in t
0.808 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.808 * [taylor]: Taking taylor expansion of 1.0 in t
0.808 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.808 * [taylor]: Taking taylor expansion of t in t
0.808 * [taylor]: Taking taylor expansion of 6.0 in t
0.808 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t
0.808 * [taylor]: Taking taylor expansion of 8.0 in t
0.808 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t
0.808 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t
0.808 * [taylor]: Taking taylor expansion of 1.0 in t
0.808 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t
0.808 * [taylor]: Taking taylor expansion of 1.0 in t
0.808 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.808 * [taylor]: Taking taylor expansion of t in t
0.809 * * * [progress]: simplifying candidates
0.810 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/.f64 (exp.f64 2.0) (exp.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (log.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (exp.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (*.f64 (cbrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) (cbrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (cbrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (*.f64 (*.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (sqrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (sqrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (-.f64 (pow.f64 2.0 3) (pow.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) 3))
  (+.f64 (*.f64 2.0 2.0) (+.f64 (*.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (*.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (neg.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))
  (-.f64 (*.f64 2.0 2.0) (*.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (+.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))
  (+.f64 (sqrt.f64 2.0) (sqrt.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (-.f64 (sqrt.f64 2.0) (sqrt.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (+.f64 (sqrt.f64 2.0) (/.f64 (sqrt.f64 2.0) (sqrt.f64 (+.f64 1.0 (*.f64 1.0 t)))))
  (-.f64 (sqrt.f64 2.0) (/.f64 (sqrt.f64 2.0) (sqrt.f64 (+.f64 1.0 (*.f64 1.0 t)))))
  (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))
  (*.f64 (log.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) 6)
  (*.f64 (log.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) 6)
  (*.f64 1 6)
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (*.f64 (cbrt.f64 6) (cbrt.f64 6)))
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (sqrt.f64 6))
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 1)
  (pow.f64 (*.f64 (cbrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) (cbrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))) 6)
  (pow.f64 (cbrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) 6)
  (pow.f64 (sqrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) 6)
  (pow.f64 (sqrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) 6)
  (pow.f64 1 6)
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)
  (pow.f64 (+.f64 (sqrt.f64 2.0) (sqrt.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) 6)
  (pow.f64 (-.f64 (sqrt.f64 2.0) (sqrt.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) 6)
  (pow.f64 (+.f64 (sqrt.f64 2.0) (/.f64 (sqrt.f64 2.0) (sqrt.f64 (+.f64 1.0 (*.f64 1.0 t))))) 6)
  (pow.f64 (-.f64 (sqrt.f64 2.0) (/.f64 (sqrt.f64 2.0) (sqrt.f64 (+.f64 1.0 (*.f64 1.0 t))))) 6)
  (pow.f64 1 6)
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)
  (log.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6))
  (exp.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6))
  (*.f64 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)) (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)))
  (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6))
  (*.f64 (*.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6) (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)) (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6))
  (sqrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6))
  (sqrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6))
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (/.f64 6 2))
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (/.f64 6 2))
  (log.f64 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)))
  (exp.f64 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)))
  (cbrt.f64 (pow.f64 (*.f64 (cbrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) (cbrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))) 6))
  (cbrt.f64 (pow.f64 (cbrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) 6))
  (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) 6))
  (cbrt.f64 (pow.f64 (sqrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) 6))
  (cbrt.f64 (pow.f64 1 6))
  (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6))
  (cbrt.f64 (pow.f64 (+.f64 (sqrt.f64 2.0) (sqrt.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) 6))
  (cbrt.f64 (pow.f64 (-.f64 (sqrt.f64 2.0) (sqrt.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) 6))
  (cbrt.f64 (pow.f64 (+.f64 (sqrt.f64 2.0) (/.f64 (sqrt.f64 2.0) (sqrt.f64 (+.f64 1.0 (*.f64 1.0 t))))) 6))
  (cbrt.f64 (pow.f64 (-.f64 (sqrt.f64 2.0) (/.f64 (sqrt.f64 2.0) (sqrt.f64 (+.f64 1.0 (*.f64 1.0 t))))) 6))
  (cbrt.f64 (pow.f64 1 6))
  (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6))
  (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)) (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6))))
  (cbrt.f64 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)))
  (cbrt.f64 (sqrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)))
  (cbrt.f64 (sqrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)))
  (cbrt.f64 1)
  (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6))
  (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (/.f64 6 2)))
  (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (/.f64 6 2)))
  (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6))) (cbrt.f64 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6))))
  (cbrt.f64 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)))
  (*.f64 (*.f64 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)) (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6))) (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)))
  (sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)))
  (sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)))
  (/.f64 (exp.f64 1.0) (exp.f64 (/.f64 1.0 (+.f64 2.0 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6))))))
  (log.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6))))))
  (exp.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6))))))
  (*.f64 (cbrt.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)))))) (cbrt.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)))))))
  (cbrt.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6))))))
  (*.f64 (*.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6))))) (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)))))) (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6))))))
  (sqrt.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6))))))
  (sqrt.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6))))))
  (-.f64 (pow.f64 1.0 3) (pow.f64 (/.f64 1.0 (+.f64 2.0 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)))) 3))
  (+.f64 (*.f64 1.0 1.0) (+.f64 (*.f64 (/.f64 1.0 (+.f64 2.0 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)))) (/.f64 1.0 (+.f64 2.0 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6))))) (*.f64 1.0 (/.f64 1.0 (+.f64 2.0 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)))))))
  (neg.f64 (/.f64 1.0 (+.f64 2.0 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)))))
  (-.f64 (*.f64 1.0 1.0) (*.f64 (/.f64 1.0 (+.f64 2.0 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)))) (/.f64 1.0 (+.f64 2.0 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6))))))
  (+.f64 1.0 (/.f64 1.0 (+.f64 2.0 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)))))
  (+.f64 (sqrt.f64 1.0) (sqrt.f64 (/.f64 1.0 (+.f64 2.0 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6))))))
  (-.f64 (sqrt.f64 1.0) (sqrt.f64 (/.f64 1.0 (+.f64 2.0 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6))))))
  (+.f64 (sqrt.f64 1.0) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (+.f64 2.0 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6))))))
  (-.f64 (sqrt.f64 1.0) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (+.f64 2.0 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6))))))
  (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)))))
  (-.f64 (+.f64 (*.f64 2.0 (pow.f64 t 3)) (*.f64 2.0 t)) (*.f64 2.0 (pow.f64 t 2)))
  (-.f64 (+.f64 (*.f64 2.0 (/.f64 1 (pow.f64 t 2))) 2.0) (*.f64 2.0 (/.f64 1 t)))
  (-.f64 (+.f64 (*.f64 2.0 (/.f64 1 (pow.f64 t 2))) 2.0) (*.f64 2.0 (/.f64 1 t)))
  (-.f64 (+.f64 (*.f64 64.0 (pow.f64 t 6)) (*.f64 1344.0 (pow.f64 t 8))) (*.f64 384.0 (pow.f64 t 7)))
  (-.f64 (+.f64 (*.f64 1344.0 (/.f64 1 (pow.f64 t 2))) 64.0) (*.f64 384.0 (/.f64 1 t)))
  (-.f64 (+.f64 (*.f64 1344.0 (/.f64 1 (pow.f64 t 2))) 64.0) (*.f64 384.0 (/.f64 1 t)))
  (-.f64 (+.f64 (*.f64 4.0 (pow.f64 t 2)) (*.f64 12.0 (pow.f64 t 4))) (*.f64 8.0 (pow.f64 t 3)))
  (-.f64 (+.f64 (*.f64 12.0 (/.f64 1 (pow.f64 t 2))) 4.0) (*.f64 8.0 (/.f64 1 t)))
  (-.f64 (+.f64 (*.f64 12.0 (/.f64 1 (pow.f64 t 2))) 4.0) (*.f64 8.0 (/.f64 1 t)))
  (-.f64 (+.f64 (*.f64 1.0 (pow.f64 t 2)) 0.5) (*.f64 2.0 (pow.f64 t 3)))
  (-.f64 (+.f64 (*.f64 0.037037037037037035 (/.f64 1 (pow.f64 t 2))) 0.8333333333333334) (*.f64 0.2222222222222222 (/.f64 1 t)))
  (-.f64 (+.f64 (*.f64 0.037037037037037035 (/.f64 1 (pow.f64 t 2))) 0.8333333333333334) (*.f64 0.2222222222222222 (/.f64 1 t)))
0.844 * * [simplify]: iteration  0 :  5506  enodes  (cost  1313 )
0.849 * [simplify]: Simplified to:
   (exp.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (log.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (exp.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2))
  (cbrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 3)
  (sqrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (sqrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (-.f64 (pow.f64 2.0 3) (pow.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) 3))
  (+.f64 (*.f64 2.0 2.0) (*.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) (+.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (neg.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))
  (-.f64 (*.f64 2.0 2.0) (*.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))) (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (+.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))
  (+.f64 (sqrt.f64 2.0) (sqrt.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (-.f64 (sqrt.f64 2.0) (sqrt.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))))
  (+.f64 (sqrt.f64 2.0) (/.f64 (sqrt.f64 2.0) (sqrt.f64 (+.f64 1.0 (*.f64 1.0 t)))))
  (-.f64 (sqrt.f64 2.0) (/.f64 (sqrt.f64 2.0) (sqrt.f64 (+.f64 1.0 (*.f64 1.0 t)))))
  (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))
  (*.f64 (log.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) 6)
  (*.f64 (log.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) 6)
  6
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (*.f64 (cbrt.f64 6) (cbrt.f64 6)))
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) (sqrt.f64 6))
  (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 4)
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 3)
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 3)
  1
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)
  (pow.f64 (+.f64 (sqrt.f64 2.0) (sqrt.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) 6)
  (pow.f64 (-.f64 (sqrt.f64 2.0) (sqrt.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) 6)
  (pow.f64 (+.f64 (sqrt.f64 2.0) (/.f64 (sqrt.f64 2.0) (sqrt.f64 (+.f64 1.0 (*.f64 1.0 t))))) 6)
  (pow.f64 (-.f64 (sqrt.f64 2.0) (/.f64 (sqrt.f64 2.0) (sqrt.f64 (+.f64 1.0 (*.f64 1.0 t))))) 6)
  1
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)
  (*.f64 (log.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) 6)
  (exp.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6))
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 4)
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)
  (pow.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6) 3)
  (sqrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6))
  (sqrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6))
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 3)
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 3)
  (*.f64 2 (log.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))))
  (exp.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2))
  (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 4))
  (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2))
  (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))
  (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))
  (cbrt.f64 1)
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)
  (cbrt.f64 (pow.f64 (+.f64 (sqrt.f64 2.0) (sqrt.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) 6))
  (cbrt.f64 (pow.f64 (-.f64 (sqrt.f64 2.0) (sqrt.f64 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) 6))
  (cbrt.f64 (pow.f64 (+.f64 (sqrt.f64 2.0) (/.f64 (sqrt.f64 2.0) (sqrt.f64 (+.f64 1.0 (*.f64 1.0 t))))) 6))
  (cbrt.f64 (pow.f64 (-.f64 (sqrt.f64 2.0) (/.f64 (sqrt.f64 2.0) (sqrt.f64 (+.f64 1.0 (*.f64 1.0 t))))) 6))
  (cbrt.f64 1)
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)
  (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 4))
  (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2))
  (cbrt.f64 (sqrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)))
  (cbrt.f64 (sqrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)))
  (cbrt.f64 1)
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)
  (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))
  (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))
  (pow.f64 (cbrt.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t))))) 4)
  (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2))
  (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)
  (sqrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2))
  (sqrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2))
  (exp.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)))))
  (log.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)))))
  (exp.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)))))
  (*.f64 (cbrt.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2))))) (cbrt.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2))))))
  (cbrt.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)))))
  (pow.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)))) 3)
  (sqrt.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)))))
  (sqrt.f64 (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)))))
  (-.f64 (pow.f64 1.0 3) (pow.f64 (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2))) 3))
  (+.f64 (*.f64 1.0 1.0) (*.f64 (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2))) (+.f64 1.0 (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2))))))
  (/.f64 (neg.f64 1.0) (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)))
  (-.f64 (*.f64 1.0 1.0) (*.f64 (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2))) (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)))))
  (+.f64 1.0 (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2))))
  (+.f64 (sqrt.f64 1.0) (sqrt.f64 (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)))))
  (-.f64 (sqrt.f64 1.0) (sqrt.f64 (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)))))
  (+.f64 (sqrt.f64 1.0) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)))))
  (-.f64 (sqrt.f64 1.0) (/.f64 (sqrt.f64 1.0) (sqrt.f64 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2)))))
  (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 2))))
  (*.f64 2.0 (-.f64 (+.f64 t (pow.f64 t 3)) (*.f64 t t)))
  (-.f64 (+.f64 2.0 (/.f64 2.0 (*.f64 t t))) (/.f64 2.0 t))
  (-.f64 (+.f64 2.0 (/.f64 2.0 (*.f64 t t))) (/.f64 2.0 t))
  (-.f64 (+.f64 (*.f64 64.0 (pow.f64 t 6)) (*.f64 1344.0 (pow.f64 t 8))) (*.f64 384.0 (pow.f64 t 7)))
  (-.f64 (+.f64 64.0 (/.f64 1344.0 (*.f64 t t))) (/.f64 384.0 t))
  (-.f64 (+.f64 64.0 (/.f64 1344.0 (*.f64 t t))) (/.f64 384.0 t))
  (+.f64 (*.f64 12.0 (pow.f64 t 4)) (*.f64 (*.f64 t t) (-.f64 4.0 (*.f64 t 8.0))))
  (-.f64 (+.f64 4.0 (/.f64 12.0 (*.f64 t t))) (/.f64 8.0 t))
  (-.f64 (+.f64 4.0 (/.f64 12.0 (*.f64 t t))) (/.f64 8.0 t))
  (+.f64 0.5 (*.f64 (*.f64 t t) (-.f64 1.0 (*.f64 2.0 t))))
  (-.f64 (+.f64 (/.f64 0.037037037037037035 (*.f64 t t)) 0.8333333333333334) (/.f64 0.2222222222222222 t))
  (-.f64 (+.f64 (/.f64 0.037037037037037035 (*.f64 t t)) 0.8333333333333334) (/.f64 0.2222222222222222 t))
0.850 * * * [progress]: adding candidates to table
0.940 * [progress]: [Phase 3 of 3] Extracting.
0.942 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)))))
0.944 * * [simplify]: iteration  0 :  48  enodes  (cost  18 )
0.944 * * [simplify]: iteration  1 :  48  enodes  (cost  18 )
0.944 * [simplify]: Simplified to:
   (-.f64 1.0 (/.f64 1.0 (+.f64 2.0 (cbrt.f64 (pow.f64 (-.f64 2.0 (/.f64 2.0 (+.f64 1.0 (*.f64 1.0 t)))) 6)))))
1.800 * [regime-testing]: End program error score: 0.006375796974621828