9.942 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.394 * * * [progress]: [2/2] Setting up program. 0.397 * [progress]: [Phase 2 of 3] Improving. 0.397 * [simplify]: Simplifying using # : (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))) 0.453 * * [simplify]: iteration 0 : 5018 enodes (cost 25 ) 0.454 * [simplify]: Simplified to: (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))))) 0.457 * * [progress]: iteration 1 / 4 0.457 * * * [progress]: picking best candidate 0.461 * * * * [pick]: Picked # 0.461 * * * [progress]: localizing error 0.470 * * * [progress]: generating rewritten candidates 0.470 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2) 0.478 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1) 0.486 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2) 0.505 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 0.512 * * * [progress]: generating series expansions 0.512 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2) 0.512 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 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.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 (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 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 (- 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 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 0.514 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) 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.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.515 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.515 * [taylor]: Taking taylor expansion of 1.0 in t 0.515 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.515 * [taylor]: Taking taylor expansion of t 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.515 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.515 * [taylor]: Taking taylor expansion of 1.0 in t 0.515 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.515 * [taylor]: Taking taylor expansion of t in t 0.515 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1) 0.515 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 0.515 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) 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 t) 1.0))) in t 0.515 * [taylor]: Taking taylor expansion of 2.0 in t 0.515 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 0.515 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.515 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.516 * [taylor]: Taking taylor expansion of 1.0 in t 0.516 * [taylor]: Taking taylor expansion of t in t 0.516 * [taylor]: Taking taylor expansion of 1.0 in t 0.516 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) 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 t) 1.0))) in t 0.516 * [taylor]: Taking taylor expansion of 2.0 in t 0.516 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 0.516 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.516 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.516 * [taylor]: Taking taylor expansion of 1.0 in t 0.516 * [taylor]: Taking taylor expansion of t in t 0.516 * [taylor]: Taking taylor expansion of 1.0 in t 0.516 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 0.516 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.517 * [taylor]: Taking taylor expansion of 2.0 in t 0.517 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.517 * [taylor]: Taking taylor expansion of 2.0 in t 0.517 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.517 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.517 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.517 * [taylor]: Taking taylor expansion of 1.0 in t 0.517 * [taylor]: Taking taylor expansion of (/ 1 t) 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 (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.517 * [taylor]: Taking taylor expansion of 2.0 in t 0.517 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.517 * [taylor]: Taking taylor expansion of 2.0 in t 0.517 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.517 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.517 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.517 * [taylor]: Taking taylor expansion of 1.0 in t 0.517 * [taylor]: Taking taylor expansion of (/ 1 t) 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 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 0.517 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 0.517 * [taylor]: Taking taylor expansion of 2.0 in t 0.517 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 0.517 * [taylor]: Taking taylor expansion of 2.0 in t 0.517 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 0.517 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 0.517 * [taylor]: Taking taylor expansion of 1.0 in t 0.518 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.518 * [taylor]: Taking taylor expansion of 1.0 in t 0.518 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.518 * [taylor]: Taking taylor expansion of t in t 0.518 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 0.518 * [taylor]: Taking taylor expansion of 2.0 in t 0.518 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 0.518 * [taylor]: Taking taylor expansion of 2.0 in t 0.518 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 0.518 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 0.518 * [taylor]: Taking taylor expansion of 1.0 in t 0.518 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.518 * [taylor]: Taking taylor expansion of 1.0 in t 0.518 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.518 * [taylor]: Taking taylor expansion of t in t 0.518 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2) 0.518 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) 2) in (t) around 0 0.518 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) 2) in t 0.518 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 0.518 * [taylor]: Taking taylor expansion of 2.0 in t 0.518 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 0.518 * [taylor]: Taking taylor expansion of 2.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.519 * [taylor]: Taking taylor expansion of 1.0 in t 0.519 * [taylor]: Taking taylor expansion of t in t 0.519 * [taylor]: Taking taylor expansion of 1.0 in t 0.519 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) 2) in t 0.519 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 0.519 * [taylor]: Taking taylor expansion of 2.0 in t 0.519 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 0.519 * [taylor]: Taking taylor expansion of 2.0 in t 0.519 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 0.519 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.519 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.519 * [taylor]: Taking taylor expansion of 1.0 in t 0.519 * [taylor]: Taking taylor expansion of t in t 0.519 * [taylor]: Taking taylor expansion of 1.0 in t 0.520 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) 2) in (t) around 0 0.520 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) 2) in t 0.520 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.520 * [taylor]: Taking taylor expansion of 2.0 in t 0.520 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.520 * [taylor]: Taking taylor expansion of 2.0 in t 0.520 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.520 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.520 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.520 * [taylor]: Taking taylor expansion of 1.0 in t 0.520 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.520 * [taylor]: Taking taylor expansion of t in t 0.520 * [taylor]: Taking taylor expansion of 1.0 in t 0.520 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) 2) in t 0.520 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.520 * [taylor]: Taking taylor expansion of 2.0 in t 0.520 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.520 * [taylor]: Taking taylor expansion of 2.0 in t 0.520 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.520 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.520 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.520 * [taylor]: Taking taylor expansion of 1.0 in t 0.520 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.520 * [taylor]: Taking taylor expansion of t in t 0.520 * [taylor]: Taking taylor expansion of 1.0 in t 0.521 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) 2) in (t) around 0 0.521 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) 2) in t 0.521 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 0.521 * [taylor]: Taking taylor expansion of 2.0 in t 0.521 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 0.521 * [taylor]: Taking taylor expansion of 2.0 in t 0.521 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 0.521 * [taylor]: Taking taylor expansion of (- 1.0 (* 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.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 (pow (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) 2) in t 0.521 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 0.521 * [taylor]: Taking taylor expansion of 2.0 in t 0.521 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 0.521 * [taylor]: Taking taylor expansion of 2.0 in t 0.521 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 0.521 * [taylor]: Taking taylor expansion of (- 1.0 (* 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.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.522 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 0.522 * [approximate]: 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) around 0 0.522 * [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.522 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) in t 0.522 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) in t 0.522 * [taylor]: Taking taylor expansion of 4.0 in t 0.522 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 t) 1.0) 2)) in t 0.522 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 t) 1.0) 2) in t 0.522 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.522 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.522 * [taylor]: Taking taylor expansion of 1.0 in t 0.522 * [taylor]: Taking taylor expansion of t in t 0.522 * [taylor]: Taking taylor expansion of 1.0 in t 0.522 * [taylor]: Taking taylor expansion of 6.0 in t 0.522 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 0.522 * [taylor]: Taking taylor expansion of 8.0 in t 0.522 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 0.522 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.522 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.522 * [taylor]: Taking taylor expansion of 1.0 in t 0.522 * [taylor]: Taking taylor expansion of t in t 0.522 * [taylor]: Taking taylor expansion of 1.0 in t 0.522 * [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.522 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) in t 0.522 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) in t 0.522 * [taylor]: Taking taylor expansion of 4.0 in t 0.523 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 t) 1.0) 2)) in t 0.523 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 t) 1.0) 2) in t 0.523 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.523 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.523 * [taylor]: Taking taylor expansion of 1.0 in t 0.523 * [taylor]: Taking taylor expansion of t in t 0.523 * [taylor]: Taking taylor expansion of 1.0 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 t) 1.0))) in t 0.523 * [taylor]: Taking taylor expansion of 8.0 in t 0.523 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 0.523 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.523 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.523 * [taylor]: Taking taylor expansion of 1.0 in t 0.523 * [taylor]: Taking taylor expansion of t in t 0.523 * [taylor]: Taking taylor expansion of 1.0 in t 0.524 * [approximate]: 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) around 0 0.524 * [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.524 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) in t 0.524 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 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 t)) 1.0) 2)) in t 0.524 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 (/ 1 t)) 1.0) 2) in t 0.524 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 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 1.0 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 t)) 1.0))) in t 0.524 * [taylor]: Taking taylor expansion of 8.0 in t 0.524 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.524 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.525 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.525 * [taylor]: Taking taylor expansion of 1.0 in t 0.525 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.525 * [taylor]: Taking taylor expansion of t in t 0.525 * [taylor]: Taking taylor expansion of 1.0 in t 0.525 * [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.525 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) in t 0.525 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) in t 0.525 * [taylor]: Taking taylor expansion of 4.0 in t 0.525 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)) in t 0.525 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 (/ 1 t)) 1.0) 2) in t 0.525 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.525 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.525 * [taylor]: Taking taylor expansion of 1.0 in t 0.525 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.525 * [taylor]: Taking taylor expansion of t in t 0.525 * [taylor]: Taking taylor expansion of 1.0 in t 0.525 * [taylor]: Taking taylor expansion of 6.0 in t 0.525 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.525 * [taylor]: Taking taylor expansion of 8.0 in t 0.525 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.525 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.525 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.525 * [taylor]: Taking taylor expansion of 1.0 in t 0.525 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.525 * [taylor]: Taking taylor expansion of t in t 0.525 * [taylor]: Taking taylor expansion of 1.0 in t 0.526 * [approximate]: 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) around 0 0.526 * [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.526 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) in t 0.526 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) in t 0.526 * [taylor]: Taking taylor expansion of 4.0 in t 0.526 * [taylor]: Taking taylor expansion of (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2)) in t 0.526 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 t))) 2) in t 0.526 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 0.526 * [taylor]: Taking taylor expansion of 1.0 in t 0.526 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.526 * [taylor]: Taking taylor expansion of 1.0 in t 0.526 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.526 * [taylor]: Taking taylor expansion of t in t 0.526 * [taylor]: Taking taylor expansion of 6.0 in t 0.526 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 0.526 * [taylor]: Taking taylor expansion of 8.0 in t 0.526 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 0.526 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 0.526 * [taylor]: Taking taylor expansion of 1.0 in t 0.526 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.526 * [taylor]: Taking taylor expansion of 1.0 in t 0.526 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.526 * [taylor]: Taking taylor expansion of t in t 0.526 * [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.526 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) in t 0.526 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) in t 0.526 * [taylor]: Taking taylor expansion of 4.0 in t 0.526 * [taylor]: Taking taylor expansion of (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2)) in t 0.526 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 t))) 2) in t 0.526 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 0.526 * [taylor]: Taking taylor expansion of 1.0 in t 0.526 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.526 * [taylor]: Taking taylor expansion of 1.0 in t 0.526 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.526 * [taylor]: Taking taylor expansion of t in t 0.527 * [taylor]: Taking taylor expansion of 6.0 in t 0.527 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 0.527 * [taylor]: Taking taylor expansion of 8.0 in t 0.527 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 0.527 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 0.527 * [taylor]: Taking taylor expansion of 1.0 in t 0.527 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.527 * [taylor]: Taking taylor expansion of 1.0 in t 0.527 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.527 * [taylor]: Taking taylor expansion of t in t 0.527 * * * [progress]: simplifying candidates 0.529 * [simplify]: Simplifying using # : (/ (exp 2.0) (exp (/ 2.0 (+ 1.0 (* 1.0 t))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))) (* 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (neg (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (/ (exp 2.0) (exp (/ 2.0 (+ 1.0 (* 1.0 t))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))) (* 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (neg (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (+ 1 1) (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ 1 1) (+ (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (log (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (exp (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (* (* (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (* (cbrt (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (cbrt (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))) (cbrt (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (* (* (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (sqrt (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (sqrt (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (* (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3)) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3))) (* (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))) (* 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))) (* 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))) (* (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3)) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))))) (* (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))) (* 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3))) (* (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))) (* 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))) (* (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))))) (* (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (* (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (* (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (* 1 1) (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* 1 1) (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t)))))) (* (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t)))))) (* (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t)))))) (* (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t)))))) (* 1 1) (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* 1 1) (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (* (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (* 2 1) (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2.0) (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (neg (/ 2.0 (+ 1.0 (* 1.0 t))))) (* 2.0 (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (neg (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 1) (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t)))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t)))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 1) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3))) (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))))) (* (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3)) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (exp 2.0) (exp (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))) (log (+ 2.0 (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))) (exp (+ 2.0 (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))) (* (cbrt (+ 2.0 (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))) (cbrt (+ 2.0 (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))))) (cbrt (+ 2.0 (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))) (* (* (+ 2.0 (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (+ 2.0 (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))) (+ 2.0 (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))) (sqrt (+ 2.0 (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))) (sqrt (+ 2.0 (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))) (+ (pow 2.0 3) (pow (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 3)) (+ (* 2.0 2.0) (- (* (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (* 2.0 (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))))) (- (* 2.0 2.0) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))) (- 2.0 (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (+ 2.0 (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2.0)) (+ 2.0 (* 2.0 (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 4.0 (pow t 2)) (* 12.0 (pow t 4))) (* 8.0 (pow t 3))) (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t))) (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t))) (- (+ (* 4.0 (pow t 2)) 2.0) (* 8.0 (pow t 3))) (- (+ (* 12.0 (/ 1 (pow t 2))) 6.0) (* 8.0 (/ 1 t))) (- (+ (* 12.0 (/ 1 (pow t 2))) 6.0) (* 8.0 (/ 1 t))) 0.563 * * [simplify]: iteration 0 : 5004 enodes (cost 1729 ) 0.568 * [simplify]: Simplified to: (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 3) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (neg (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 3) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (neg (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2 (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 4) 2 (* (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 2) (* (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 2) (exp (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 4)) (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6) (* (cbrt (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 4)) (cbrt (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 4))) (cbrt (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 4)) (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6) (fabs (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (fabs (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3)) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3))) (* (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))))) (* (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3)) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))))) (* (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3)) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))))) (* (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 4) (* (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (* (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (pow (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 4) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 1 (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 4) 1 (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 4) (* (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t)))))) (* (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t)))))) (* (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t)))))) (* (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t)))))) 1 (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 4) 1 (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 4) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2 (* 2.0 (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (neg (/ 2.0 (+ 1.0 (* 1.0 t))))) (* 2.0 (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (neg (/ 2.0 (+ 1.0 (* 1.0 t))))) (pow (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 5) (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 3) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t)))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t)))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (pow (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 4) (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 3) (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 4) (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t)))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t)))))) (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 4) (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3))) (* (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 4) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3))) (* (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 4) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (exp (+ 2.0 (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 4))) (log (+ 2.0 (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 4))) (exp (+ 2.0 (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 4))) (* (cbrt (+ 2.0 (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 4))) (cbrt (+ 2.0 (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 4)))) (cbrt (+ 2.0 (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 4))) (pow (+ 2.0 (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 4)) 3) (sqrt (+ 2.0 (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 4))) (sqrt (+ 2.0 (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 4))) (+ (pow 2.0 3) (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)) (+ (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 4) (* 2.0 (- 2.0 (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 4)))) (- (* 2.0 2.0) (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 4)) (- 2.0 (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 4)) (+ 2.0 (* 2.0 (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (+ 2.0 (* 2.0 (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (* 2.0 (- (+ t (pow t 3)) (* t t))) (- (+ 2.0 (/ 2.0 (* t t))) (/ 2.0 t)) (- (+ 2.0 (/ 2.0 (* t t))) (/ 2.0 t)) (* 2.0 (- (+ t (pow t 3)) (* t t))) (- (+ 2.0 (/ 2.0 (* t t))) (/ 2.0 t)) (- (+ 2.0 (/ 2.0 (* t t))) (/ 2.0 t)) (+ (* 12.0 (pow t 4)) (* (* t t) (- 4.0 (* t 8.0)))) (- (+ 4.0 (/ 12.0 (* t t))) (/ 8.0 t)) (- (+ 4.0 (/ 12.0 (* t t))) (/ 8.0 t)) (+ 2.0 (* (* t t) (- 4.0 (* t 8.0)))) (- (+ (/ 12.0 (* t t)) 6.0) (/ 8.0 t)) (- (+ (/ 12.0 (* t t)) 6.0) (/ 8.0 t)) 0.571 * * * [progress]: adding candidates to table 0.801 * * [progress]: iteration 2 / 4 0.801 * * * [progress]: picking best candidate 0.803 * * * * [pick]: Picked # 0.803 * * * [progress]: localizing error 0.815 * * * [progress]: generating rewritten candidates 0.815 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1 1) 0.823 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1) 0.832 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2) 0.841 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 0.861 * * * [progress]: generating series expansions 0.861 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1 1) 0.861 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 0.861 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 0.861 * [taylor]: Taking taylor expansion of 2.0 in t 0.861 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 0.861 * [taylor]: Taking taylor expansion of 2.0 in t 0.861 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 0.861 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.861 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.861 * [taylor]: Taking taylor expansion of 1.0 in t 0.861 * [taylor]: Taking taylor expansion of t in t 0.861 * [taylor]: Taking taylor expansion of 1.0 in t 0.861 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 0.861 * [taylor]: Taking taylor expansion of 2.0 in t 0.861 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 0.861 * [taylor]: Taking taylor expansion of 2.0 in t 0.861 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 0.861 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.861 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.861 * [taylor]: Taking taylor expansion of 1.0 in t 0.861 * [taylor]: Taking taylor expansion of t in t 0.861 * [taylor]: Taking taylor expansion of 1.0 in t 0.862 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 0.862 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.862 * [taylor]: Taking taylor expansion of 2.0 in t 0.862 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.862 * [taylor]: Taking taylor expansion of 2.0 in t 0.862 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.862 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.862 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.862 * [taylor]: Taking taylor expansion of 1.0 in t 0.862 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.862 * [taylor]: Taking taylor expansion of t in t 0.862 * [taylor]: Taking taylor expansion of 1.0 in t 0.862 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.862 * [taylor]: Taking taylor expansion of 2.0 in t 0.862 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.862 * [taylor]: Taking taylor expansion of 2.0 in t 0.862 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.862 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.862 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.862 * [taylor]: Taking taylor expansion of 1.0 in t 0.862 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.862 * [taylor]: Taking taylor expansion of t in t 0.863 * [taylor]: Taking taylor expansion of 1.0 in t 0.863 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 0.863 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 0.863 * [taylor]: Taking taylor expansion of 2.0 in t 0.863 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 0.863 * [taylor]: Taking taylor expansion of 2.0 in t 0.863 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 0.863 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 0.863 * [taylor]: Taking taylor expansion of 1.0 in t 0.863 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.863 * [taylor]: Taking taylor expansion of 1.0 in t 0.863 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.863 * [taylor]: Taking taylor expansion of t in t 0.863 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 0.863 * [taylor]: Taking taylor expansion of 2.0 in t 0.863 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 0.863 * [taylor]: Taking taylor expansion of 2.0 in t 0.863 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 0.863 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 0.863 * [taylor]: Taking taylor expansion of 1.0 in t 0.863 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.863 * [taylor]: Taking taylor expansion of 1.0 in t 0.863 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.863 * [taylor]: Taking taylor expansion of t in t 0.864 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1) 0.864 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) 6) in (t) around 0 0.864 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) 6) in t 0.864 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 0.864 * [taylor]: Taking taylor expansion of 2.0 in t 0.864 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 0.864 * [taylor]: Taking taylor expansion of 2.0 in t 0.864 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 0.864 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.864 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.864 * [taylor]: Taking taylor expansion of 1.0 in t 0.864 * [taylor]: Taking taylor expansion of t in t 0.864 * [taylor]: Taking taylor expansion of 1.0 in t 0.864 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) 6) in t 0.864 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 0.864 * [taylor]: Taking taylor expansion of 2.0 in t 0.864 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 0.864 * [taylor]: Taking taylor expansion of 2.0 in t 0.864 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 0.864 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.864 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.864 * [taylor]: Taking taylor expansion of 1.0 in t 0.864 * [taylor]: Taking taylor expansion of t in t 0.864 * [taylor]: Taking taylor expansion of 1.0 in t 0.865 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) 6) in (t) around 0 0.865 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) 6) in t 0.866 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.866 * [taylor]: Taking taylor expansion of 2.0 in t 0.866 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.866 * [taylor]: Taking taylor expansion of 2.0 in t 0.866 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.866 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.866 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.866 * [taylor]: Taking taylor expansion of 1.0 in t 0.866 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.866 * [taylor]: Taking taylor expansion of t in t 0.866 * [taylor]: Taking taylor expansion of 1.0 in t 0.866 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) 6) in t 0.866 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.866 * [taylor]: Taking taylor expansion of 2.0 in t 0.866 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.866 * [taylor]: Taking taylor expansion of 2.0 in t 0.866 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.866 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.866 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.866 * [taylor]: Taking taylor expansion of 1.0 in t 0.866 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.866 * [taylor]: Taking taylor expansion of t in t 0.866 * [taylor]: Taking taylor expansion of 1.0 in t 0.867 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) 6) in (t) around 0 0.867 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) 6) in t 0.867 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 0.867 * [taylor]: Taking taylor expansion of 2.0 in t 0.867 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 0.867 * [taylor]: Taking taylor expansion of 2.0 in t 0.867 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 0.867 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 0.867 * [taylor]: Taking taylor expansion of 1.0 in t 0.867 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.867 * [taylor]: Taking taylor expansion of 1.0 in t 0.867 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.867 * [taylor]: Taking taylor expansion of t in t 0.867 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) 6) in t 0.867 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 0.867 * [taylor]: Taking taylor expansion of 2.0 in t 0.867 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 0.867 * [taylor]: Taking taylor expansion of 2.0 in t 0.867 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 0.867 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 0.867 * [taylor]: Taking taylor expansion of 1.0 in t 0.867 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.867 * [taylor]: Taking taylor expansion of 1.0 in t 0.867 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.867 * [taylor]: Taking taylor expansion of t in t 0.868 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2) 0.868 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) 2) in (t) around 0 0.868 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) 2) in t 0.868 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 0.868 * [taylor]: Taking taylor expansion of 2.0 in t 0.868 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 0.868 * [taylor]: Taking taylor expansion of 2.0 in t 0.868 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 0.868 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.868 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.868 * [taylor]: Taking taylor expansion of 1.0 in t 0.868 * [taylor]: Taking taylor expansion of t in t 0.868 * [taylor]: Taking taylor expansion of 1.0 in t 0.868 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) 2) in t 0.868 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 0.868 * [taylor]: Taking taylor expansion of 2.0 in t 0.868 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 0.868 * [taylor]: Taking taylor expansion of 2.0 in t 0.868 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 0.868 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.868 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.868 * [taylor]: Taking taylor expansion of 1.0 in t 0.868 * [taylor]: Taking taylor expansion of t in t 0.868 * [taylor]: Taking taylor expansion of 1.0 in t 0.869 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) 2) in (t) around 0 0.869 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) 2) in t 0.869 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.869 * [taylor]: Taking taylor expansion of 2.0 in t 0.869 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.869 * [taylor]: Taking taylor expansion of 2.0 in t 0.869 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.869 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.869 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.869 * [taylor]: Taking taylor expansion of 1.0 in t 0.869 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.869 * [taylor]: Taking taylor expansion of t in t 0.869 * [taylor]: Taking taylor expansion of 1.0 in t 0.870 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) 2) in t 0.870 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 0.870 * [taylor]: Taking taylor expansion of 2.0 in t 0.870 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.870 * [taylor]: Taking taylor expansion of 2.0 in t 0.870 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.870 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.870 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.870 * [taylor]: Taking taylor expansion of 1.0 in t 0.870 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.870 * [taylor]: Taking taylor expansion of t in t 0.870 * [taylor]: Taking taylor expansion of 1.0 in t 0.870 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) 2) in (t) around 0 0.870 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) 2) in t 0.870 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 0.870 * [taylor]: Taking taylor expansion of 2.0 in t 0.870 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 0.870 * [taylor]: Taking taylor expansion of 2.0 in t 0.870 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 0.870 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 0.870 * [taylor]: Taking taylor expansion of 1.0 in t 0.870 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.870 * [taylor]: Taking taylor expansion of 1.0 in t 0.870 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.870 * [taylor]: Taking taylor expansion of t in t 0.871 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) 2) in t 0.871 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 0.871 * [taylor]: Taking taylor expansion of 2.0 in t 0.871 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 0.871 * [taylor]: Taking taylor expansion of 2.0 in t 0.871 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 0.871 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 0.871 * [taylor]: Taking taylor expansion of 1.0 in t 0.871 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.871 * [taylor]: Taking taylor expansion of 1.0 in t 0.871 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.871 * [taylor]: Taking taylor expansion of t in t 0.871 * * * * [progress]: [ 4 / 4 ] generating series at (2) 0.871 * [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.871 * [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.871 * [taylor]: Taking taylor expansion of 1.0 in t 0.872 * [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.872 * [taylor]: Taking taylor expansion of 1.0 in t 0.872 * [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.872 * [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.872 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) in t 0.872 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) in t 0.872 * [taylor]: Taking taylor expansion of 4.0 in t 0.872 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 t) 1.0) 2)) in t 0.872 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 t) 1.0) 2) in t 0.872 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.872 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.872 * [taylor]: Taking taylor expansion of 1.0 in t 0.872 * [taylor]: Taking taylor expansion of t in t 0.872 * [taylor]: Taking taylor expansion of 1.0 in t 0.872 * [taylor]: Taking taylor expansion of 6.0 in t 0.872 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 0.872 * [taylor]: Taking taylor expansion of 8.0 in t 0.872 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 0.872 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.872 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.872 * [taylor]: Taking taylor expansion of 1.0 in t 0.872 * [taylor]: Taking taylor expansion of t in t 0.872 * [taylor]: Taking taylor expansion of 1.0 in t 0.872 * [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.872 * [taylor]: Taking taylor expansion of 1.0 in t 0.872 * [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.872 * [taylor]: Taking taylor expansion of 1.0 in t 0.872 * [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.872 * [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.872 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) in t 0.872 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) in t 0.872 * [taylor]: Taking taylor expansion of 4.0 in t 0.872 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 t) 1.0) 2)) in t 0.872 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 t) 1.0) 2) in t 0.872 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.872 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.872 * [taylor]: Taking taylor expansion of 1.0 in t 0.872 * [taylor]: Taking taylor expansion of t in t 0.872 * [taylor]: Taking taylor expansion of 1.0 in t 0.872 * [taylor]: Taking taylor expansion of 6.0 in t 0.872 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 0.872 * [taylor]: Taking taylor expansion of 8.0 in t 0.872 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 0.872 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 0.872 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 0.872 * [taylor]: Taking taylor expansion of 1.0 in t 0.872 * [taylor]: Taking taylor expansion of t in t 0.872 * [taylor]: Taking taylor expansion of 1.0 in t 0.874 * [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.874 * [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.874 * [taylor]: Taking taylor expansion of 1.0 in t 0.874 * [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.874 * [taylor]: Taking taylor expansion of 1.0 in t 0.874 * [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.874 * [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.874 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) in t 0.874 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) in t 0.874 * [taylor]: Taking taylor expansion of 4.0 in t 0.874 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)) in t 0.874 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 (/ 1 t)) 1.0) 2) in t 0.874 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.874 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.874 * [taylor]: Taking taylor expansion of 1.0 in t 0.874 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.876 * [taylor]: Taking taylor expansion of t in t 0.877 * [taylor]: Taking taylor expansion of 1.0 in t 0.877 * [taylor]: Taking taylor expansion of 6.0 in t 0.877 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.877 * [taylor]: Taking taylor expansion of 8.0 in t 0.877 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.877 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.877 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.877 * [taylor]: Taking taylor expansion of 1.0 in t 0.877 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.877 * [taylor]: Taking taylor expansion of t in t 0.877 * [taylor]: Taking taylor expansion of 1.0 in t 0.877 * [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.877 * [taylor]: Taking taylor expansion of 1.0 in t 0.877 * [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.877 * [taylor]: Taking taylor expansion of 1.0 in t 0.877 * [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.877 * [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.877 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) in t 0.877 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) in t 0.877 * [taylor]: Taking taylor expansion of 4.0 in t 0.877 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)) in t 0.877 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 (/ 1 t)) 1.0) 2) in t 0.877 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.877 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.877 * [taylor]: Taking taylor expansion of 1.0 in t 0.877 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.877 * [taylor]: Taking taylor expansion of t in t 0.877 * [taylor]: Taking taylor expansion of 1.0 in t 0.877 * [taylor]: Taking taylor expansion of 6.0 in t 0.877 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 0.877 * [taylor]: Taking taylor expansion of 8.0 in t 0.877 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 0.877 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 0.877 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.877 * [taylor]: Taking taylor expansion of 1.0 in t 0.877 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.877 * [taylor]: Taking taylor expansion of t in t 0.877 * [taylor]: Taking taylor expansion of 1.0 in t 0.878 * [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.878 * [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.878 * [taylor]: Taking taylor expansion of 1.0 in t 0.878 * [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.878 * [taylor]: Taking taylor expansion of 1.0 in t 0.878 * [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.878 * [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.878 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) in t 0.878 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) in t 0.878 * [taylor]: Taking taylor expansion of 4.0 in t 0.878 * [taylor]: Taking taylor expansion of (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2)) in t 0.878 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 t))) 2) in t 0.878 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 0.878 * [taylor]: Taking taylor expansion of 1.0 in t 0.878 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.879 * [taylor]: Taking taylor expansion of 1.0 in t 0.879 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.879 * [taylor]: Taking taylor expansion of t in t 0.879 * [taylor]: Taking taylor expansion of 6.0 in t 0.879 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 0.879 * [taylor]: Taking taylor expansion of 8.0 in t 0.879 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 0.879 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 0.879 * [taylor]: Taking taylor expansion of 1.0 in t 0.879 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.879 * [taylor]: Taking taylor expansion of 1.0 in t 0.879 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.879 * [taylor]: Taking taylor expansion of t in t 0.879 * [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.879 * [taylor]: Taking taylor expansion of 1.0 in t 0.879 * [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.879 * [taylor]: Taking taylor expansion of 1.0 in t 0.879 * [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.879 * [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.879 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) in t 0.879 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) in t 0.879 * [taylor]: Taking taylor expansion of 4.0 in t 0.879 * [taylor]: Taking taylor expansion of (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2)) in t 0.879 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 t))) 2) in t 0.879 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 0.879 * [taylor]: Taking taylor expansion of 1.0 in t 0.879 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.879 * [taylor]: Taking taylor expansion of 1.0 in t 0.879 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.879 * [taylor]: Taking taylor expansion of t in t 0.879 * [taylor]: Taking taylor expansion of 6.0 in t 0.879 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 0.879 * [taylor]: Taking taylor expansion of 8.0 in t 0.879 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 0.879 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 0.879 * [taylor]: Taking taylor expansion of 1.0 in t 0.879 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 0.879 * [taylor]: Taking taylor expansion of 1.0 in t 0.879 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.879 * [taylor]: Taking taylor expansion of t in t 0.880 * * * [progress]: simplifying candidates 0.881 * [simplify]: Simplifying using # : (/ (exp 2.0) (exp (/ 2.0 (+ 1.0 (* 1.0 t))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t)))) (* 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (neg (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (* (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 6) (* (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 6) (* 1 6) (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (* (cbrt 6) (cbrt 6))) (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (sqrt 6)) (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 1) (pow (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) 6) (pow (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 6) (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 6) (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 6) (pow 1 6) (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6) (pow (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) 6) (pow (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) 6) (pow (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) 6) (pow (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) 6) (pow 1 6) (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6) (log (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)) (exp (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)) (* (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)) (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6))) (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)) (* (* (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6) (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)) (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)) (sqrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)) (sqrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)) (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (/ 6 2)) (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (/ 6 2)) (log (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6))) (exp (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6))) (cbrt (pow (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) 6)) (cbrt (pow (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 6)) (cbrt (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 6)) (cbrt (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 6)) (cbrt (pow 1 6)) (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)) (cbrt (pow (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) 6)) (cbrt (pow (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) 6)) (cbrt (pow (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) 6)) (cbrt (pow (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) 6)) (cbrt (pow 1 6)) (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)) (cbrt (* (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)) (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)))) (cbrt (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6))) (cbrt (sqrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6))) (cbrt (sqrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6))) (cbrt 1) (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)) (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (/ 6 2))) (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (/ 6 2))) (* (cbrt (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6))) (cbrt (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)))) (cbrt (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6))) (* (* (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)) (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6))) (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6))) (sqrt (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6))) (sqrt (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6))) (/ (exp 1.0) (exp (/ 1.0 (+ 2.0 (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)))))) (log (- 1.0 (/ 1.0 (+ 2.0 (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)))))) (exp (- 1.0 (/ 1.0 (+ 2.0 (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)))))) (* (cbrt (- 1.0 (/ 1.0 (+ 2.0 (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)))))) (cbrt (- 1.0 (/ 1.0 (+ 2.0 (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6))))))) (cbrt (- 1.0 (/ 1.0 (+ 2.0 (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)))))) (* (* (- 1.0 (/ 1.0 (+ 2.0 (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6))))) (- 1.0 (/ 1.0 (+ 2.0 (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)))))) (- 1.0 (/ 1.0 (+ 2.0 (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)))))) (sqrt (- 1.0 (/ 1.0 (+ 2.0 (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)))))) (sqrt (- 1.0 (/ 1.0 (+ 2.0 (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)))))) (- (pow 1.0 3) (pow (/ 1.0 (+ 2.0 (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)))) 3)) (+ (* 1.0 1.0) (+ (* (/ 1.0 (+ 2.0 (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)))) (/ 1.0 (+ 2.0 (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6))))) (* 1.0 (/ 1.0 (+ 2.0 (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6))))))) (neg (/ 1.0 (+ 2.0 (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6))))) (- (* 1.0 1.0) (* (/ 1.0 (+ 2.0 (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)))) (/ 1.0 (+ 2.0 (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)))))) (+ 1.0 (/ 1.0 (+ 2.0 (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6))))) (+ (sqrt 1.0) (sqrt (/ 1.0 (+ 2.0 (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)))))) (- (sqrt 1.0) (sqrt (/ 1.0 (+ 2.0 (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)))))) (+ (sqrt 1.0) (/ (sqrt 1.0) (sqrt (+ 2.0 (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)))))) (- (sqrt 1.0) (/ (sqrt 1.0) (sqrt (+ 2.0 (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)))))) (- 1.0 (/ 1.0 (+ 2.0 (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6))))) (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 64.0 (pow t 6)) (* 1344.0 (pow t 8))) (* 384.0 (pow t 7))) (- (+ (* 1344.0 (/ 1 (pow t 2))) 64.0) (* 384.0 (/ 1 t))) (- (+ (* 1344.0 (/ 1 (pow t 2))) 64.0) (* 384.0 (/ 1 t))) (- (+ (* 4.0 (pow t 2)) (* 12.0 (pow t 4))) (* 8.0 (pow t 3))) (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t))) (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t))) (- (+ (* 1.0 (pow t 2)) 0.5) (* 2.0 (pow t 3))) (- (+ (* 0.037037037037037035 (/ 1 (pow t 2))) 0.8333333333333334) (* 0.2222222222222222 (/ 1 t))) (- (+ (* 0.037037037037037035 (/ 1 (pow t 2))) 0.8333333333333334) (* 0.2222222222222222 (/ 1 t))) 0.913 * * [simplify]: iteration 0 : 5506 enodes (cost 1313 ) 0.918 * [simplify]: Simplified to: (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2)) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 3) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* 1.0 t))) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (neg (/ 2.0 (+ 1.0 (* 1.0 t)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* 1.0 t))) (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (* (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 6) (* (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 6) 6 (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (* (cbrt 6) (cbrt 6))) (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (sqrt 6)) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 4) (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2) (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 3) (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 3) 1 (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6) (pow (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) 6) (pow (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) 6) (pow (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) 6) (pow (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) 6) 1 (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6) (* (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 6) (exp (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)) (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 4) (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2) (pow (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6) 3) (sqrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)) (sqrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6)) (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 3) (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 3) (* 2 (log (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))))) (exp (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2)) (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 4)) (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2)) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (cbrt 1) (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2) (cbrt (pow (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) 6)) (cbrt (pow (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* 1.0 t))))) 6)) (cbrt (pow (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) 6)) (cbrt (pow (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* 1.0 t))))) 6)) (cbrt 1) (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2) (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 4)) (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2)) (cbrt (sqrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6))) (cbrt (sqrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6))) (cbrt 1) (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) (pow (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t))))) 4) (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2)) (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6) (sqrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2)) (sqrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2)) (exp (- 1.0 (/ 1.0 (+ 2.0 (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2))))) (log (- 1.0 (/ 1.0 (+ 2.0 (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2))))) (exp (- 1.0 (/ 1.0 (+ 2.0 (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2))))) (* (cbrt (- 1.0 (/ 1.0 (+ 2.0 (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2))))) (cbrt (- 1.0 (/ 1.0 (+ 2.0 (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2)))))) (cbrt (- 1.0 (/ 1.0 (+ 2.0 (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2))))) (pow (- 1.0 (/ 1.0 (+ 2.0 (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2)))) 3) (sqrt (- 1.0 (/ 1.0 (+ 2.0 (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2))))) (sqrt (- 1.0 (/ 1.0 (+ 2.0 (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2))))) (- (pow 1.0 3) (pow (/ 1.0 (+ 2.0 (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2))) 3)) (+ (* 1.0 1.0) (* (/ 1.0 (+ 2.0 (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2))) (+ 1.0 (/ 1.0 (+ 2.0 (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2)))))) (/ (neg 1.0) (+ 2.0 (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2))) (- (* 1.0 1.0) (* (/ 1.0 (+ 2.0 (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2))) (/ 1.0 (+ 2.0 (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2))))) (+ 1.0 (/ 1.0 (+ 2.0 (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2)))) (+ (sqrt 1.0) (sqrt (/ 1.0 (+ 2.0 (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2))))) (- (sqrt 1.0) (sqrt (/ 1.0 (+ 2.0 (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2))))) (+ (sqrt 1.0) (/ (sqrt 1.0) (sqrt (+ 2.0 (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2))))) (- (sqrt 1.0) (/ (sqrt 1.0) (sqrt (+ 2.0 (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2))))) (- 1.0 (/ 1.0 (+ 2.0 (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 2)))) (* 2.0 (- (+ t (pow t 3)) (* t t))) (- (+ 2.0 (/ 2.0 (* t t))) (/ 2.0 t)) (- (+ 2.0 (/ 2.0 (* t t))) (/ 2.0 t)) (- (+ (* 64.0 (pow t 6)) (* 1344.0 (pow t 8))) (* 384.0 (pow t 7))) (- (+ 64.0 (/ 1344.0 (* t t))) (/ 384.0 t)) (- (+ 64.0 (/ 1344.0 (* t t))) (/ 384.0 t)) (+ (* 12.0 (pow t 4)) (* (* t t) (- 4.0 (* t 8.0)))) (- (+ 4.0 (/ 12.0 (* t t))) (/ 8.0 t)) (- (+ 4.0 (/ 12.0 (* t t))) (/ 8.0 t)) (+ 0.5 (* (* t t) (- 1.0 (* 2.0 t)))) (- (+ (/ 0.037037037037037035 (* t t)) 0.8333333333333334) (/ 0.2222222222222222 t)) (- (+ (/ 0.037037037037037035 (* t t)) 0.8333333333333334) (/ 0.2222222222222222 t)) 0.918 * * * [progress]: adding candidates to table 1.081 * [progress]: [Phase 3 of 3] Extracting. 1.084 * [simplify]: Simplifying using # : (- 1.0 (/ 1.0 (+ 2.0 (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6))))) 1.085 * * [simplify]: iteration 0 : 48 enodes (cost 18 ) 1.085 * * [simplify]: iteration 1 : 48 enodes (cost 18 ) 1.085 * [simplify]: Simplified to: (- 1.0 (/ 1.0 (+ 2.0 (cbrt (pow (- 2.0 (/ 2.0 (+ 1.0 (* 1.0 t)))) 6))))) 1.979 * [regime-testing]: End program error score: 0.006375796974621828