0.250 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.025 * * * [progress]: [2/2] Setting up program. 0.028 * [progress]: [Phase 2 of 3] Improving. 0.028 * [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.029 * * [simplify]: iteration 0 : 12 enodes (cost 29 ) 0.030 * * [simplify]: iteration 1 : 20 enodes (cost 29 ) 0.033 * * [simplify]: iteration 2 : 37 enodes (cost 29 ) 0.038 * * [simplify]: iteration 3 : 80 enodes (cost 29 ) 0.051 * * [simplify]: iteration 4 : 216 enodes (cost 29 ) 0.090 * * [simplify]: iteration 5 : 537 enodes (cost 29 ) 0.190 * * [simplify]: iteration 6 : 1213 enodes (cost 29 ) 0.547 * * [simplify]: iteration 7 : 3224 enodes (cost 25 ) 1.273 * * [simplify]: iteration done : 5000 enodes (cost 25 ) 1.273 * [simplify]: Simplified to: (- 1.0 (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) 1.277 * * [progress]: iteration 1 / 4 1.277 * * * [progress]: picking best candidate 1.279 * * * * [pick]: Picked # 1.279 * * * [progress]: localizing error 1.290 * * * [progress]: generating rewritten candidates 1.290 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2) 1.301 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1) 1.317 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1) 1.341 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 1.370 * * * [progress]: generating series expansions 1.371 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2) 1.371 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 1.371 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.371 * [taylor]: Taking taylor expansion of 2.0 in t 1.371 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.371 * [taylor]: Taking taylor expansion of 2.0 in t 1.371 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.371 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.371 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.371 * [taylor]: Taking taylor expansion of 1.0 in t 1.371 * [taylor]: Taking taylor expansion of t in t 1.371 * [taylor]: Taking taylor expansion of 1.0 in t 1.371 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.371 * [taylor]: Taking taylor expansion of 2.0 in t 1.371 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.371 * [taylor]: Taking taylor expansion of 2.0 in t 1.371 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.371 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.371 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.371 * [taylor]: Taking taylor expansion of 1.0 in t 1.371 * [taylor]: Taking taylor expansion of t in t 1.371 * [taylor]: Taking taylor expansion of 1.0 in t 1.372 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 1.372 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.372 * [taylor]: Taking taylor expansion of 2.0 in t 1.372 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.372 * [taylor]: Taking taylor expansion of 2.0 in t 1.372 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.372 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.372 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.372 * [taylor]: Taking taylor expansion of 1.0 in t 1.372 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.372 * [taylor]: Taking taylor expansion of t in t 1.372 * [taylor]: Taking taylor expansion of 1.0 in t 1.372 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.372 * [taylor]: Taking taylor expansion of 2.0 in t 1.372 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.372 * [taylor]: Taking taylor expansion of 2.0 in t 1.372 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.372 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.373 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.373 * [taylor]: Taking taylor expansion of 1.0 in t 1.373 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.373 * [taylor]: Taking taylor expansion of t in t 1.373 * [taylor]: Taking taylor expansion of 1.0 in t 1.373 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 1.373 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.373 * [taylor]: Taking taylor expansion of 2.0 in t 1.373 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.373 * [taylor]: Taking taylor expansion of 2.0 in t 1.373 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.373 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.373 * [taylor]: Taking taylor expansion of 1.0 in t 1.373 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.373 * [taylor]: Taking taylor expansion of 1.0 in t 1.373 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.373 * [taylor]: Taking taylor expansion of t in t 1.373 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.373 * [taylor]: Taking taylor expansion of 2.0 in t 1.373 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.373 * [taylor]: Taking taylor expansion of 2.0 in t 1.374 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.374 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.374 * [taylor]: Taking taylor expansion of 1.0 in t 1.374 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.374 * [taylor]: Taking taylor expansion of 1.0 in t 1.374 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.374 * [taylor]: Taking taylor expansion of t in t 1.374 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1) 1.374 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 1.374 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.374 * [taylor]: Taking taylor expansion of 2.0 in t 1.374 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.375 * [taylor]: Taking taylor expansion of 2.0 in t 1.375 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.375 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.375 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.375 * [taylor]: Taking taylor expansion of 1.0 in t 1.375 * [taylor]: Taking taylor expansion of t in t 1.375 * [taylor]: Taking taylor expansion of 1.0 in t 1.375 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.375 * [taylor]: Taking taylor expansion of 2.0 in t 1.375 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.375 * [taylor]: Taking taylor expansion of 2.0 in t 1.375 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.375 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.375 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.375 * [taylor]: Taking taylor expansion of 1.0 in t 1.375 * [taylor]: Taking taylor expansion of t in t 1.375 * [taylor]: Taking taylor expansion of 1.0 in t 1.376 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 1.376 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.376 * [taylor]: Taking taylor expansion of 2.0 in t 1.376 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.376 * [taylor]: Taking taylor expansion of 2.0 in t 1.376 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.376 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.376 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.376 * [taylor]: Taking taylor expansion of 1.0 in t 1.376 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.376 * [taylor]: Taking taylor expansion of t in t 1.376 * [taylor]: Taking taylor expansion of 1.0 in t 1.376 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.376 * [taylor]: Taking taylor expansion of 2.0 in t 1.376 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.376 * [taylor]: Taking taylor expansion of 2.0 in t 1.376 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.376 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.376 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.376 * [taylor]: Taking taylor expansion of 1.0 in t 1.376 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.376 * [taylor]: Taking taylor expansion of t in t 1.376 * [taylor]: Taking taylor expansion of 1.0 in t 1.377 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 1.377 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.377 * [taylor]: Taking taylor expansion of 2.0 in t 1.377 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.377 * [taylor]: Taking taylor expansion of 2.0 in t 1.377 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.377 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.377 * [taylor]: Taking taylor expansion of 1.0 in t 1.377 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.377 * [taylor]: Taking taylor expansion of 1.0 in t 1.377 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.377 * [taylor]: Taking taylor expansion of t in t 1.377 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.377 * [taylor]: Taking taylor expansion of 2.0 in t 1.377 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.377 * [taylor]: Taking taylor expansion of 2.0 in t 1.377 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.377 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.377 * [taylor]: Taking taylor expansion of 1.0 in t 1.377 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.377 * [taylor]: Taking taylor expansion of 1.0 in t 1.377 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.377 * [taylor]: Taking taylor expansion of t in t 1.378 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1) 1.378 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) 2) in (t) around 0 1.378 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) 2) in t 1.378 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.378 * [taylor]: Taking taylor expansion of 2.0 in t 1.378 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.378 * [taylor]: Taking taylor expansion of 2.0 in t 1.378 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.378 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.378 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.378 * [taylor]: Taking taylor expansion of 1.0 in t 1.378 * [taylor]: Taking taylor expansion of t in t 1.378 * [taylor]: Taking taylor expansion of 1.0 in t 1.378 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) 2) in t 1.378 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.378 * [taylor]: Taking taylor expansion of 2.0 in t 1.378 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.378 * [taylor]: Taking taylor expansion of 2.0 in t 1.378 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.379 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.379 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.379 * [taylor]: Taking taylor expansion of 1.0 in t 1.379 * [taylor]: Taking taylor expansion of t in t 1.379 * [taylor]: Taking taylor expansion of 1.0 in t 1.380 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) 2) in (t) around 0 1.380 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) 2) in t 1.380 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.380 * [taylor]: Taking taylor expansion of 2.0 in t 1.380 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.380 * [taylor]: Taking taylor expansion of 2.0 in t 1.380 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.380 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.380 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.380 * [taylor]: Taking taylor expansion of 1.0 in t 1.380 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.380 * [taylor]: Taking taylor expansion of t in t 1.380 * [taylor]: Taking taylor expansion of 1.0 in t 1.380 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) 2) in t 1.380 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.380 * [taylor]: Taking taylor expansion of 2.0 in t 1.380 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.380 * [taylor]: Taking taylor expansion of 2.0 in t 1.380 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.380 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.380 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.380 * [taylor]: Taking taylor expansion of 1.0 in t 1.380 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.380 * [taylor]: Taking taylor expansion of t in t 1.380 * [taylor]: Taking taylor expansion of 1.0 in t 1.381 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) 2) in (t) around 0 1.381 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) 2) in t 1.381 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.381 * [taylor]: Taking taylor expansion of 2.0 in t 1.381 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.381 * [taylor]: Taking taylor expansion of 2.0 in t 1.381 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.381 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.381 * [taylor]: Taking taylor expansion of 1.0 in t 1.381 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.381 * [taylor]: Taking taylor expansion of 1.0 in t 1.381 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.381 * [taylor]: Taking taylor expansion of t in t 1.381 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) 2) in t 1.381 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.381 * [taylor]: Taking taylor expansion of 2.0 in t 1.381 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.381 * [taylor]: Taking taylor expansion of 2.0 in t 1.381 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.381 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.381 * [taylor]: Taking taylor expansion of 1.0 in t 1.381 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.381 * [taylor]: Taking taylor expansion of 1.0 in t 1.382 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.382 * [taylor]: Taking taylor expansion of t in t 1.382 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 1.382 * [approximate]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))))) in (t) around 0 1.382 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))))) in t 1.382 * [taylor]: Taking taylor expansion of 1.0 in t 1.382 * [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 1.383 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) in t 1.383 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) in t 1.383 * [taylor]: Taking taylor expansion of 4.0 in t 1.383 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 t) 1.0) 2)) in t 1.383 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 t) 1.0) 2) in t 1.383 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.383 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.383 * [taylor]: Taking taylor expansion of 1.0 in t 1.383 * [taylor]: Taking taylor expansion of t in t 1.383 * [taylor]: Taking taylor expansion of 1.0 in t 1.383 * [taylor]: Taking taylor expansion of 6.0 in t 1.383 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.383 * [taylor]: Taking taylor expansion of 8.0 in t 1.383 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.383 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.383 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.383 * [taylor]: Taking taylor expansion of 1.0 in t 1.383 * [taylor]: Taking taylor expansion of t in t 1.383 * [taylor]: Taking taylor expansion of 1.0 in t 1.383 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))))) in t 1.383 * [taylor]: Taking taylor expansion of 1.0 in t 1.383 * [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 1.383 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) in t 1.383 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) in t 1.383 * [taylor]: Taking taylor expansion of 4.0 in t 1.383 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 t) 1.0) 2)) in t 1.383 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 t) 1.0) 2) in t 1.383 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.383 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.383 * [taylor]: Taking taylor expansion of 1.0 in t 1.383 * [taylor]: Taking taylor expansion of t in t 1.383 * [taylor]: Taking taylor expansion of 1.0 in t 1.383 * [taylor]: Taking taylor expansion of 6.0 in t 1.383 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.383 * [taylor]: Taking taylor expansion of 8.0 in t 1.383 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.383 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.383 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.383 * [taylor]: Taking taylor expansion of 1.0 in t 1.383 * [taylor]: Taking taylor expansion of t in t 1.383 * [taylor]: Taking taylor expansion of 1.0 in t 1.385 * [approximate]: Taking taylor expansion of (/ 1.0 (- (+ (* 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 1.385 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))))) in t 1.385 * [taylor]: Taking taylor expansion of 1.0 in t 1.385 * [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 1.385 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) in t 1.385 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) in t 1.385 * [taylor]: Taking taylor expansion of 4.0 in t 1.385 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)) in t 1.385 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 (/ 1 t)) 1.0) 2) in t 1.385 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.385 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.385 * [taylor]: Taking taylor expansion of 1.0 in t 1.385 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.385 * [taylor]: Taking taylor expansion of t in t 1.386 * [taylor]: Taking taylor expansion of 1.0 in t 1.386 * [taylor]: Taking taylor expansion of 6.0 in t 1.386 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.386 * [taylor]: Taking taylor expansion of 8.0 in t 1.386 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.386 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.386 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.386 * [taylor]: Taking taylor expansion of 1.0 in t 1.386 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.386 * [taylor]: Taking taylor expansion of t in t 1.386 * [taylor]: Taking taylor expansion of 1.0 in t 1.386 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))))) in t 1.386 * [taylor]: Taking taylor expansion of 1.0 in t 1.386 * [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 1.386 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) in t 1.386 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) in t 1.386 * [taylor]: Taking taylor expansion of 4.0 in t 1.386 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)) in t 1.386 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 (/ 1 t)) 1.0) 2) in t 1.386 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.386 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.386 * [taylor]: Taking taylor expansion of 1.0 in t 1.386 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.386 * [taylor]: Taking taylor expansion of t in t 1.386 * [taylor]: Taking taylor expansion of 1.0 in t 1.386 * [taylor]: Taking taylor expansion of 6.0 in t 1.386 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.386 * [taylor]: Taking taylor expansion of 8.0 in t 1.386 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.386 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.386 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.386 * [taylor]: Taking taylor expansion of 1.0 in t 1.386 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.386 * [taylor]: Taking taylor expansion of t in t 1.386 * [taylor]: Taking taylor expansion of 1.0 in t 1.387 * [approximate]: Taking taylor expansion of (/ 1.0 (- (+ (* 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 1.387 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))))) in t 1.387 * [taylor]: Taking taylor expansion of 1.0 in t 1.387 * [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 1.387 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) in t 1.387 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) in t 1.387 * [taylor]: Taking taylor expansion of 4.0 in t 1.387 * [taylor]: Taking taylor expansion of (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2)) in t 1.387 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 t))) 2) in t 1.387 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.388 * [taylor]: Taking taylor expansion of 1.0 in t 1.388 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.388 * [taylor]: Taking taylor expansion of 1.0 in t 1.388 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.388 * [taylor]: Taking taylor expansion of t in t 1.388 * [taylor]: Taking taylor expansion of 6.0 in t 1.388 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.388 * [taylor]: Taking taylor expansion of 8.0 in t 1.388 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.388 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.388 * [taylor]: Taking taylor expansion of 1.0 in t 1.388 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.388 * [taylor]: Taking taylor expansion of 1.0 in t 1.388 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.388 * [taylor]: Taking taylor expansion of t in t 1.388 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))))) in t 1.388 * [taylor]: Taking taylor expansion of 1.0 in t 1.388 * [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 1.388 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) in t 1.388 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) in t 1.388 * [taylor]: Taking taylor expansion of 4.0 in t 1.388 * [taylor]: Taking taylor expansion of (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2)) in t 1.388 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 t))) 2) in t 1.388 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.388 * [taylor]: Taking taylor expansion of 1.0 in t 1.388 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.388 * [taylor]: Taking taylor expansion of 1.0 in t 1.388 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.388 * [taylor]: Taking taylor expansion of t in t 1.388 * [taylor]: Taking taylor expansion of 6.0 in t 1.388 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.388 * [taylor]: Taking taylor expansion of 8.0 in t 1.388 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.388 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.388 * [taylor]: Taking taylor expansion of 1.0 in t 1.388 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.388 * [taylor]: Taking taylor expansion of 1.0 in t 1.389 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.389 * [taylor]: Taking taylor expansion of t in t 1.389 * * * [progress]: simplifying candidates 1.391 * [simplify]: Simplifying using # : (/ (exp 2.0) (exp (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (/ (exp 2.0) (exp (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (+ 1 1) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (+ 1 1) (+ (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (log (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (exp (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (* (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (cbrt (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))))) (cbrt (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (* (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (sqrt (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (sqrt (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3))) (* (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))))) (* (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3))) (* (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))))) (* (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0))))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (* 1 1) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* 1 1) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0)))))) (* (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0)))))) (* 1 1) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* 1 1) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (* 2 1) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 2.0) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 2.0) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0))))) (* 2.0 (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* 2.0 (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 1) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0)))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 1) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (log 1.0) (log (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (log (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ (* (* 1.0 1.0) 1.0) (* (* (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0) (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (* (cbrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (cbrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (cbrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (* (* (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (sqrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (sqrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (neg 1.0) (neg (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (/ (cbrt 1.0) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ (cbrt 1.0) (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (/ (cbrt 1.0) (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (/ (sqrt 1.0) (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (/ (sqrt 1.0) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ (sqrt 1.0) (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ (sqrt 1.0) (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ (sqrt 1.0) 1) (/ (sqrt 1.0) (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (/ 1 (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (/ 1.0 (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ 1 (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ 1.0 (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ 1 1) (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (/ 1 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (/ (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0) 1.0) (/ 1.0 (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (/ 1.0 (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ 1.0 1) (/ (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0) (cbrt 1.0)) (/ (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0) (sqrt 1.0)) (/ (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0) 1.0) (/ 1.0 (+ (pow (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 3) (pow 2.0 3))) (/ 1.0 (- (* (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (* 2.0 2.0))) (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 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 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 4.0 (pow t 2)) (* 12.0 (pow t 4))) (* 8.0 (pow t 3))) (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t))) (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t))) (- (+ (* 2.0 (pow t 3)) 0.5) (* 1.0 (pow t 2))) (- (+ (* 0.2222222222222222 (/ 1 t)) 0.16666666666666666) (* 0.037037037037037035 (/ 1 (pow t 2)))) (- (+ (* 0.2222222222222222 (/ 1 t)) 0.16666666666666666) (* 0.037037037037037035 (/ 1 (pow t 2)))) 1.402 * * [simplify]: iteration 0 : 172 enodes (cost 3148 ) 1.428 * * [simplify]: iteration 1 : 414 enodes (cost 2915 ) 1.504 * * [simplify]: iteration 2 : 1410 enodes (cost 2660 ) 1.817 * * [simplify]: iteration done : 5002 enodes (cost 2654 ) 1.818 * [simplify]: Simplified to: (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 3) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 2.0)) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 3) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 2.0)) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) 2 (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2 (* 2 (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (* 2 (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (exp (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 6) (* (cbrt (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))))) (cbrt (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 6) (fabs (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (fabs (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3))) (* (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))))) (* (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0))))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (pow (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 3)) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 1 (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 1 (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0)))))) (* (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0)))))) 1 (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 1 (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 2 (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 2.0) (* (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 2.0) (* (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 2.0) (* (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 2.0) (* (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))))) (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 3) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0)))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 3) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))))) (log (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (log (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (pow (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) 3) (* (cbrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (cbrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (cbrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (pow (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) 3) (sqrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (sqrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (neg 1.0) (neg (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (/ (cbrt 1.0) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ (cbrt 1.0) (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (* (cbrt 1.0) (cbrt 1.0)) (/ (cbrt 1.0) (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (/ (sqrt 1.0) (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (/ (sqrt 1.0) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ (sqrt 1.0) (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ (sqrt 1.0) (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (sqrt 1.0) (/ (sqrt 1.0) (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (/ 1 (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (/ 1.0 (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ 1 (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ 1.0 (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) 1 (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (/ 1 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (/ (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0) 1.0) (/ 1.0 (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (/ 1.0 (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) 1.0 (/ (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0) (cbrt 1.0)) (/ (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0) (sqrt 1.0)) (/ (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0) 1.0) (/ 1.0 (+ (pow 2.0 3) (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 6))) (/ 1.0 (- (* (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 3) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* 2.0 2.0))) (* 2.0 (- (+ t (pow t 3)) (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2))) (* 2.0 (- (+ t (pow t 3)) (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2))) (+ (* 12.0 (pow t 4)) (* (* t t) (- 4.0 (* 8.0 t)))) (- (+ 4.0 (/ 12.0 (pow t 2))) (/ 8.0 t)) (- (+ 4.0 (/ 12.0 (pow t 2))) (/ 8.0 t)) (+ 0.5 (* (* t t) (- (* 2.0 t) 1.0))) (+ (/ 0.2222222222222222 t) (- 0.16666666666666666 (/ 0.037037037037037035 (pow t 2)))) (+ (/ 0.2222222222222222 t) (- 0.16666666666666666 (/ 0.037037037037037035 (pow t 2)))) 1.820 * * * [progress]: adding candidates to table 2.053 * * [progress]: iteration 2 / 4 2.053 * * * [progress]: picking best candidate 2.066 * * * * [pick]: Picked # 2.066 * * * [progress]: localizing error 2.088 * * * [progress]: generating rewritten candidates 2.088 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1 2) 2.098 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 2 1 1) 2.112 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 2) 2.122 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2 1) 2.134 * * * [progress]: generating series expansions 2.134 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1 2) 2.134 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 2.134 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 2.134 * [taylor]: Taking taylor expansion of 2.0 in t 2.134 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 2.134 * [taylor]: Taking taylor expansion of 2.0 in t 2.134 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 2.134 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 2.134 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 2.134 * [taylor]: Taking taylor expansion of 1.0 in t 2.134 * [taylor]: Taking taylor expansion of t in t 2.134 * [taylor]: Taking taylor expansion of 1.0 in t 2.134 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 2.134 * [taylor]: Taking taylor expansion of 2.0 in t 2.134 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 2.134 * [taylor]: Taking taylor expansion of 2.0 in t 2.134 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 2.135 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 2.135 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 2.135 * [taylor]: Taking taylor expansion of 1.0 in t 2.135 * [taylor]: Taking taylor expansion of t in t 2.135 * [taylor]: Taking taylor expansion of 1.0 in t 2.135 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 2.135 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 2.135 * [taylor]: Taking taylor expansion of 2.0 in t 2.136 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 2.136 * [taylor]: Taking taylor expansion of 2.0 in t 2.136 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 2.136 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 2.136 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.136 * [taylor]: Taking taylor expansion of 1.0 in t 2.136 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.136 * [taylor]: Taking taylor expansion of t in t 2.136 * [taylor]: Taking taylor expansion of 1.0 in t 2.136 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 2.136 * [taylor]: Taking taylor expansion of 2.0 in t 2.136 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 2.136 * [taylor]: Taking taylor expansion of 2.0 in t 2.136 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 2.136 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 2.136 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.136 * [taylor]: Taking taylor expansion of 1.0 in t 2.136 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.136 * [taylor]: Taking taylor expansion of t in t 2.136 * [taylor]: Taking taylor expansion of 1.0 in t 2.136 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 2.136 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 2.137 * [taylor]: Taking taylor expansion of 2.0 in t 2.137 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 2.137 * [taylor]: Taking taylor expansion of 2.0 in t 2.137 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 2.137 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 2.137 * [taylor]: Taking taylor expansion of 1.0 in t 2.137 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.137 * [taylor]: Taking taylor expansion of 1.0 in t 2.137 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.137 * [taylor]: Taking taylor expansion of t in t 2.137 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 2.137 * [taylor]: Taking taylor expansion of 2.0 in t 2.137 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 2.137 * [taylor]: Taking taylor expansion of 2.0 in t 2.137 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 2.137 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 2.137 * [taylor]: Taking taylor expansion of 1.0 in t 2.137 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.137 * [taylor]: Taking taylor expansion of 1.0 in t 2.137 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.137 * [taylor]: Taking taylor expansion of t in t 2.137 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 2 1 1) 2.138 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 2.138 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 2.138 * [taylor]: Taking taylor expansion of 2.0 in t 2.138 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 2.138 * [taylor]: Taking taylor expansion of 2.0 in t 2.138 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 2.138 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 2.138 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 2.138 * [taylor]: Taking taylor expansion of 1.0 in t 2.138 * [taylor]: Taking taylor expansion of t in t 2.138 * [taylor]: Taking taylor expansion of 1.0 in t 2.138 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 2.138 * [taylor]: Taking taylor expansion of 2.0 in t 2.138 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 2.138 * [taylor]: Taking taylor expansion of 2.0 in t 2.138 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 2.138 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 2.138 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 2.138 * [taylor]: Taking taylor expansion of 1.0 in t 2.138 * [taylor]: Taking taylor expansion of t in t 2.138 * [taylor]: Taking taylor expansion of 1.0 in t 2.139 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 2.139 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 2.139 * [taylor]: Taking taylor expansion of 2.0 in t 2.139 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 2.139 * [taylor]: Taking taylor expansion of 2.0 in t 2.139 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 2.139 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 2.139 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.139 * [taylor]: Taking taylor expansion of 1.0 in t 2.139 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.139 * [taylor]: Taking taylor expansion of t in t 2.139 * [taylor]: Taking taylor expansion of 1.0 in t 2.139 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 2.139 * [taylor]: Taking taylor expansion of 2.0 in t 2.139 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 2.139 * [taylor]: Taking taylor expansion of 2.0 in t 2.139 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 2.139 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 2.139 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.139 * [taylor]: Taking taylor expansion of 1.0 in t 2.139 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.140 * [taylor]: Taking taylor expansion of t in t 2.140 * [taylor]: Taking taylor expansion of 1.0 in t 2.140 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 2.140 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 2.140 * [taylor]: Taking taylor expansion of 2.0 in t 2.140 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 2.140 * [taylor]: Taking taylor expansion of 2.0 in t 2.140 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 2.140 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 2.140 * [taylor]: Taking taylor expansion of 1.0 in t 2.140 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.140 * [taylor]: Taking taylor expansion of 1.0 in t 2.140 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.140 * [taylor]: Taking taylor expansion of t in t 2.140 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 2.140 * [taylor]: Taking taylor expansion of 2.0 in t 2.140 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 2.140 * [taylor]: Taking taylor expansion of 2.0 in t 2.140 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 2.140 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 2.140 * [taylor]: Taking taylor expansion of 1.0 in t 2.140 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.140 * [taylor]: Taking taylor expansion of 1.0 in t 2.141 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.141 * [taylor]: Taking taylor expansion of t in t 2.141 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 2) 2.141 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 2.141 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 2.141 * [taylor]: Taking taylor expansion of 2.0 in t 2.141 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 2.141 * [taylor]: Taking taylor expansion of 2.0 in t 2.141 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 2.141 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 2.141 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 2.141 * [taylor]: Taking taylor expansion of 1.0 in t 2.141 * [taylor]: Taking taylor expansion of t in t 2.141 * [taylor]: Taking taylor expansion of 1.0 in t 2.141 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 2.141 * [taylor]: Taking taylor expansion of 2.0 in t 2.141 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 2.141 * [taylor]: Taking taylor expansion of 2.0 in t 2.141 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 2.141 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 2.141 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 2.141 * [taylor]: Taking taylor expansion of 1.0 in t 2.142 * [taylor]: Taking taylor expansion of t in t 2.142 * [taylor]: Taking taylor expansion of 1.0 in t 2.142 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 2.142 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 2.142 * [taylor]: Taking taylor expansion of 2.0 in t 2.142 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 2.142 * [taylor]: Taking taylor expansion of 2.0 in t 2.142 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 2.142 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 2.142 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.143 * [taylor]: Taking taylor expansion of 1.0 in t 2.143 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.143 * [taylor]: Taking taylor expansion of t in t 2.143 * [taylor]: Taking taylor expansion of 1.0 in t 2.143 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 2.143 * [taylor]: Taking taylor expansion of 2.0 in t 2.143 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 2.143 * [taylor]: Taking taylor expansion of 2.0 in t 2.143 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 2.143 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 2.143 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.143 * [taylor]: Taking taylor expansion of 1.0 in t 2.143 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.143 * [taylor]: Taking taylor expansion of t in t 2.143 * [taylor]: Taking taylor expansion of 1.0 in t 2.143 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 2.143 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 2.143 * [taylor]: Taking taylor expansion of 2.0 in t 2.143 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 2.143 * [taylor]: Taking taylor expansion of 2.0 in t 2.143 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 2.143 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 2.144 * [taylor]: Taking taylor expansion of 1.0 in t 2.144 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.144 * [taylor]: Taking taylor expansion of 1.0 in t 2.144 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.144 * [taylor]: Taking taylor expansion of t in t 2.144 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 2.144 * [taylor]: Taking taylor expansion of 2.0 in t 2.144 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 2.144 * [taylor]: Taking taylor expansion of 2.0 in t 2.144 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 2.144 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 2.144 * [taylor]: Taking taylor expansion of 1.0 in t 2.144 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.144 * [taylor]: Taking taylor expansion of 1.0 in t 2.144 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.144 * [taylor]: Taking taylor expansion of t in t 2.144 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2 1) 2.144 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 2.144 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 2.144 * [taylor]: Taking taylor expansion of 2.0 in t 2.144 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 2.145 * [taylor]: Taking taylor expansion of 2.0 in t 2.145 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 2.145 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 2.145 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 2.145 * [taylor]: Taking taylor expansion of 1.0 in t 2.145 * [taylor]: Taking taylor expansion of t in t 2.145 * [taylor]: Taking taylor expansion of 1.0 in t 2.145 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 2.145 * [taylor]: Taking taylor expansion of 2.0 in t 2.145 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 2.145 * [taylor]: Taking taylor expansion of 2.0 in t 2.145 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 2.145 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 2.145 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 2.145 * [taylor]: Taking taylor expansion of 1.0 in t 2.145 * [taylor]: Taking taylor expansion of t in t 2.145 * [taylor]: Taking taylor expansion of 1.0 in t 2.146 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 2.146 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 2.146 * [taylor]: Taking taylor expansion of 2.0 in t 2.146 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 2.146 * [taylor]: Taking taylor expansion of 2.0 in t 2.146 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 2.146 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 2.146 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.146 * [taylor]: Taking taylor expansion of 1.0 in t 2.146 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.146 * [taylor]: Taking taylor expansion of t in t 2.146 * [taylor]: Taking taylor expansion of 1.0 in t 2.146 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 2.146 * [taylor]: Taking taylor expansion of 2.0 in t 2.146 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 2.146 * [taylor]: Taking taylor expansion of 2.0 in t 2.146 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 2.146 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 2.146 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.146 * [taylor]: Taking taylor expansion of 1.0 in t 2.146 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.146 * [taylor]: Taking taylor expansion of t in t 2.146 * [taylor]: Taking taylor expansion of 1.0 in t 2.147 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 2.147 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 2.147 * [taylor]: Taking taylor expansion of 2.0 in t 2.147 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 2.147 * [taylor]: Taking taylor expansion of 2.0 in t 2.147 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 2.147 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 2.147 * [taylor]: Taking taylor expansion of 1.0 in t 2.147 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.147 * [taylor]: Taking taylor expansion of 1.0 in t 2.147 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.147 * [taylor]: Taking taylor expansion of t in t 2.147 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 2.147 * [taylor]: Taking taylor expansion of 2.0 in t 2.147 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 2.147 * [taylor]: Taking taylor expansion of 2.0 in t 2.147 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 2.147 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 2.147 * [taylor]: Taking taylor expansion of 1.0 in t 2.147 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.147 * [taylor]: Taking taylor expansion of 1.0 in t 2.147 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.147 * [taylor]: Taking taylor expansion of t in t 2.148 * * * [progress]: simplifying candidates 2.149 * [simplify]: Simplifying using # : (/ (exp 2.0) (exp (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (/ (exp 2.0) (exp (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (/ (exp 2.0) (exp (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (/ (exp 2.0) (exp (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 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 t) (* 2.0 (pow t 3))) (* 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 t) (* 2.0 (pow t 3))) (* 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 t) (* 2.0 (pow t 3))) (* 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.152 * * [simplify]: iteration 0 : 52 enodes (cost 1188 ) 2.159 * * [simplify]: iteration 1 : 122 enodes (cost 1144 ) 2.176 * * [simplify]: iteration 2 : 327 enodes (cost 1032 ) 2.240 * * [simplify]: iteration 3 : 1037 enodes (cost 1032 ) 2.549 * * [simplify]: iteration 4 : 4683 enodes (cost 1024 ) 3.352 * * [simplify]: iteration done : 5000 enodes (cost 1024 ) 3.353 * [simplify]: Simplified to: (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 3) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 (- 2.0 (/ 2.0 (* (+ 1.0 (* t 1.0)) (+ 1.0 (* t 1.0)))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 3) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 (- 2.0 (/ 2.0 (* (+ 1.0 (* t 1.0)) (+ 1.0 (* t 1.0)))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 3) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 (- 2.0 (/ 2.0 (* (+ 1.0 (* t 1.0)) (+ 1.0 (* t 1.0)))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 3) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 (- 2.0 (/ 2.0 (* (+ 1.0 (* t 1.0)) (+ 1.0 (* t 1.0)))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 (- (+ t (pow t 3)) (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2))) (* 2.0 (- (+ t (pow t 3)) (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2))) (* 2.0 (- (+ t (pow t 3)) (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2))) (* 2.0 (- (+ t (pow t 3)) (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2))) 3.354 * * * [progress]: adding candidates to table 3.703 * * [progress]: iteration 3 / 4 3.703 * * * [progress]: picking best candidate 3.706 * * * * [pick]: Picked # 3.706 * * * [progress]: localizing error 3.720 * * * [progress]: generating rewritten candidates 3.720 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 2 1 2) 3.731 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2 1 1) 3.744 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 3.772 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 3.800 * * * [progress]: generating series expansions 3.800 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 2 1 2) 3.800 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 3.800 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 3.800 * [taylor]: Taking taylor expansion of 2.0 in t 3.800 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 3.800 * [taylor]: Taking taylor expansion of 2.0 in t 3.800 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 3.800 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.800 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.800 * [taylor]: Taking taylor expansion of 1.0 in t 3.800 * [taylor]: Taking taylor expansion of t in t 3.800 * [taylor]: Taking taylor expansion of 1.0 in t 3.800 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 3.800 * [taylor]: Taking taylor expansion of 2.0 in t 3.801 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 3.801 * [taylor]: Taking taylor expansion of 2.0 in t 3.801 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 3.801 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.801 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.801 * [taylor]: Taking taylor expansion of 1.0 in t 3.801 * [taylor]: Taking taylor expansion of t in t 3.801 * [taylor]: Taking taylor expansion of 1.0 in t 3.802 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 3.802 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 3.802 * [taylor]: Taking taylor expansion of 2.0 in t 3.802 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 3.802 * [taylor]: Taking taylor expansion of 2.0 in t 3.802 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 3.802 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.802 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.802 * [taylor]: Taking taylor expansion of 1.0 in t 3.802 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.802 * [taylor]: Taking taylor expansion of t in t 3.802 * [taylor]: Taking taylor expansion of 1.0 in t 3.802 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 3.802 * [taylor]: Taking taylor expansion of 2.0 in t 3.802 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 3.802 * [taylor]: Taking taylor expansion of 2.0 in t 3.802 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 3.802 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.802 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.802 * [taylor]: Taking taylor expansion of 1.0 in t 3.802 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.802 * [taylor]: Taking taylor expansion of t in t 3.802 * [taylor]: Taking taylor expansion of 1.0 in t 3.803 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 3.803 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 3.803 * [taylor]: Taking taylor expansion of 2.0 in t 3.803 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 3.803 * [taylor]: Taking taylor expansion of 2.0 in t 3.803 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 3.803 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 3.803 * [taylor]: Taking taylor expansion of 1.0 in t 3.803 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.803 * [taylor]: Taking taylor expansion of 1.0 in t 3.803 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.803 * [taylor]: Taking taylor expansion of t in t 3.803 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 3.803 * [taylor]: Taking taylor expansion of 2.0 in t 3.803 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 3.803 * [taylor]: Taking taylor expansion of 2.0 in t 3.803 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 3.803 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 3.803 * [taylor]: Taking taylor expansion of 1.0 in t 3.803 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.803 * [taylor]: Taking taylor expansion of 1.0 in t 3.803 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.803 * [taylor]: Taking taylor expansion of t in t 3.803 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2 1 1) 3.804 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 3.804 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 3.804 * [taylor]: Taking taylor expansion of 2.0 in t 3.804 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 3.804 * [taylor]: Taking taylor expansion of 2.0 in t 3.804 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 3.804 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.804 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.804 * [taylor]: Taking taylor expansion of 1.0 in t 3.804 * [taylor]: Taking taylor expansion of t in t 3.804 * [taylor]: Taking taylor expansion of 1.0 in t 3.804 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 3.804 * [taylor]: Taking taylor expansion of 2.0 in t 3.804 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 3.804 * [taylor]: Taking taylor expansion of 2.0 in t 3.804 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 3.804 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.804 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.804 * [taylor]: Taking taylor expansion of 1.0 in t 3.804 * [taylor]: Taking taylor expansion of t in t 3.804 * [taylor]: Taking taylor expansion of 1.0 in t 3.805 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 3.805 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 3.805 * [taylor]: Taking taylor expansion of 2.0 in t 3.805 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 3.805 * [taylor]: Taking taylor expansion of 2.0 in t 3.805 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 3.805 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.805 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.805 * [taylor]: Taking taylor expansion of 1.0 in t 3.805 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.805 * [taylor]: Taking taylor expansion of t in t 3.805 * [taylor]: Taking taylor expansion of 1.0 in t 3.805 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 3.805 * [taylor]: Taking taylor expansion of 2.0 in t 3.805 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 3.805 * [taylor]: Taking taylor expansion of 2.0 in t 3.805 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 3.805 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.805 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.805 * [taylor]: Taking taylor expansion of 1.0 in t 3.805 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.805 * [taylor]: Taking taylor expansion of t in t 3.805 * [taylor]: Taking taylor expansion of 1.0 in t 3.806 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 3.806 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 3.806 * [taylor]: Taking taylor expansion of 2.0 in t 3.806 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 3.806 * [taylor]: Taking taylor expansion of 2.0 in t 3.806 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 3.806 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 3.806 * [taylor]: Taking taylor expansion of 1.0 in t 3.806 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.806 * [taylor]: Taking taylor expansion of 1.0 in t 3.806 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.806 * [taylor]: Taking taylor expansion of t in t 3.806 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 3.806 * [taylor]: Taking taylor expansion of 2.0 in t 3.806 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 3.806 * [taylor]: Taking taylor expansion of 2.0 in t 3.806 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 3.806 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 3.806 * [taylor]: Taking taylor expansion of 1.0 in t 3.806 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.806 * [taylor]: Taking taylor expansion of 1.0 in t 3.806 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.806 * [taylor]: Taking taylor expansion of t in t 3.807 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 3.807 * [approximate]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))))) in (t) around 0 3.807 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))))) in t 3.807 * [taylor]: Taking taylor expansion of 1.0 in t 3.807 * [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 3.807 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) in t 3.807 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) in t 3.807 * [taylor]: Taking taylor expansion of 4.0 in t 3.807 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 t) 1.0) 2)) in t 3.807 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 t) 1.0) 2) in t 3.807 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.807 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.807 * [taylor]: Taking taylor expansion of 1.0 in t 3.807 * [taylor]: Taking taylor expansion of t in t 3.807 * [taylor]: Taking taylor expansion of 1.0 in t 3.808 * [taylor]: Taking taylor expansion of 6.0 in t 3.808 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 3.808 * [taylor]: Taking taylor expansion of 8.0 in t 3.808 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 3.808 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.808 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.808 * [taylor]: Taking taylor expansion of 1.0 in t 3.808 * [taylor]: Taking taylor expansion of t in t 3.808 * [taylor]: Taking taylor expansion of 1.0 in t 3.808 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))))) in t 3.808 * [taylor]: Taking taylor expansion of 1.0 in t 3.808 * [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 3.808 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) in t 3.808 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) in t 3.808 * [taylor]: Taking taylor expansion of 4.0 in t 3.808 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 t) 1.0) 2)) in t 3.808 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 t) 1.0) 2) in t 3.808 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.808 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.808 * [taylor]: Taking taylor expansion of 1.0 in t 3.808 * [taylor]: Taking taylor expansion of t in t 3.808 * [taylor]: Taking taylor expansion of 1.0 in t 3.808 * [taylor]: Taking taylor expansion of 6.0 in t 3.808 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 3.808 * [taylor]: Taking taylor expansion of 8.0 in t 3.808 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 3.808 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.808 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.808 * [taylor]: Taking taylor expansion of 1.0 in t 3.808 * [taylor]: Taking taylor expansion of t in t 3.808 * [taylor]: Taking taylor expansion of 1.0 in t 3.810 * [approximate]: Taking taylor expansion of (/ 1.0 (- (+ (* 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 3.810 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))))) in t 3.810 * [taylor]: Taking taylor expansion of 1.0 in t 3.810 * [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 3.810 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) in t 3.810 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) in t 3.810 * [taylor]: Taking taylor expansion of 4.0 in t 3.810 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)) in t 3.810 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 (/ 1 t)) 1.0) 2) in t 3.810 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.810 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.810 * [taylor]: Taking taylor expansion of 1.0 in t 3.810 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.810 * [taylor]: Taking taylor expansion of t in t 3.810 * [taylor]: Taking taylor expansion of 1.0 in t 3.811 * [taylor]: Taking taylor expansion of 6.0 in t 3.811 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 3.811 * [taylor]: Taking taylor expansion of 8.0 in t 3.811 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 3.811 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.811 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.811 * [taylor]: Taking taylor expansion of 1.0 in t 3.811 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.811 * [taylor]: Taking taylor expansion of t in t 3.811 * [taylor]: Taking taylor expansion of 1.0 in t 3.811 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))))) in t 3.811 * [taylor]: Taking taylor expansion of 1.0 in t 3.811 * [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 3.811 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) in t 3.811 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) in t 3.811 * [taylor]: Taking taylor expansion of 4.0 in t 3.811 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)) in t 3.811 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 (/ 1 t)) 1.0) 2) in t 3.811 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.811 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.811 * [taylor]: Taking taylor expansion of 1.0 in t 3.811 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.811 * [taylor]: Taking taylor expansion of t in t 3.811 * [taylor]: Taking taylor expansion of 1.0 in t 3.811 * [taylor]: Taking taylor expansion of 6.0 in t 3.811 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 3.811 * [taylor]: Taking taylor expansion of 8.0 in t 3.811 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 3.811 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.811 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.811 * [taylor]: Taking taylor expansion of 1.0 in t 3.811 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.811 * [taylor]: Taking taylor expansion of t in t 3.811 * [taylor]: Taking taylor expansion of 1.0 in t 3.812 * [approximate]: Taking taylor expansion of (/ 1.0 (- (+ (* 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 3.812 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))))) in t 3.812 * [taylor]: Taking taylor expansion of 1.0 in t 3.812 * [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 3.812 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) in t 3.812 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) in t 3.812 * [taylor]: Taking taylor expansion of 4.0 in t 3.812 * [taylor]: Taking taylor expansion of (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2)) in t 3.812 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 t))) 2) in t 3.812 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 3.812 * [taylor]: Taking taylor expansion of 1.0 in t 3.812 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.812 * [taylor]: Taking taylor expansion of 1.0 in t 3.813 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.813 * [taylor]: Taking taylor expansion of t in t 3.813 * [taylor]: Taking taylor expansion of 6.0 in t 3.813 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 3.813 * [taylor]: Taking taylor expansion of 8.0 in t 3.813 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 3.813 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 3.813 * [taylor]: Taking taylor expansion of 1.0 in t 3.813 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.813 * [taylor]: Taking taylor expansion of 1.0 in t 3.813 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.813 * [taylor]: Taking taylor expansion of t in t 3.813 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))))) in t 3.813 * [taylor]: Taking taylor expansion of 1.0 in t 3.813 * [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 3.813 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) in t 3.813 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) in t 3.813 * [taylor]: Taking taylor expansion of 4.0 in t 3.813 * [taylor]: Taking taylor expansion of (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2)) in t 3.813 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 t))) 2) in t 3.813 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 3.813 * [taylor]: Taking taylor expansion of 1.0 in t 3.813 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.813 * [taylor]: Taking taylor expansion of 1.0 in t 3.813 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.813 * [taylor]: Taking taylor expansion of t in t 3.813 * [taylor]: Taking taylor expansion of 6.0 in t 3.813 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 3.813 * [taylor]: Taking taylor expansion of 8.0 in t 3.813 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 3.813 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 3.813 * [taylor]: Taking taylor expansion of 1.0 in t 3.813 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.813 * [taylor]: Taking taylor expansion of 1.0 in t 3.813 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.813 * [taylor]: Taking taylor expansion of t in t 3.814 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 3.814 * [approximate]: Taking taylor expansion of (exp (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0)))))) in (t) around 0 3.814 * [taylor]: Taking taylor expansion of (exp (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0)))))) in t 3.814 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))))) in t 3.814 * [taylor]: Taking taylor expansion of 1.0 in t 3.814 * [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 3.814 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) in t 3.815 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) in t 3.815 * [taylor]: Taking taylor expansion of 4.0 in t 3.815 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 t) 1.0) 2)) in t 3.815 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 t) 1.0) 2) in t 3.815 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.815 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.815 * [taylor]: Taking taylor expansion of 1.0 in t 3.815 * [taylor]: Taking taylor expansion of t in t 3.815 * [taylor]: Taking taylor expansion of 1.0 in t 3.815 * [taylor]: Taking taylor expansion of 6.0 in t 3.815 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 3.815 * [taylor]: Taking taylor expansion of 8.0 in t 3.815 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 3.815 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.815 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.815 * [taylor]: Taking taylor expansion of 1.0 in t 3.815 * [taylor]: Taking taylor expansion of t in t 3.815 * [taylor]: Taking taylor expansion of 1.0 in t 3.815 * [taylor]: Taking taylor expansion of (exp (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0)))))) in t 3.815 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))))) in t 3.815 * [taylor]: Taking taylor expansion of 1.0 in t 3.815 * [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 3.815 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) in t 3.815 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) in t 3.815 * [taylor]: Taking taylor expansion of 4.0 in t 3.815 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 t) 1.0) 2)) in t 3.815 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 t) 1.0) 2) in t 3.815 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.815 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.815 * [taylor]: Taking taylor expansion of 1.0 in t 3.815 * [taylor]: Taking taylor expansion of t in t 3.815 * [taylor]: Taking taylor expansion of 1.0 in t 3.815 * [taylor]: Taking taylor expansion of 6.0 in t 3.815 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 3.815 * [taylor]: Taking taylor expansion of 8.0 in t 3.815 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 3.815 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.815 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.815 * [taylor]: Taking taylor expansion of 1.0 in t 3.816 * [taylor]: Taking taylor expansion of t in t 3.816 * [taylor]: Taking taylor expansion of 1.0 in t 3.818 * [approximate]: Taking taylor expansion of (exp (/ 1.0 (- (+ (* 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 3.818 * [taylor]: Taking taylor expansion of (exp (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))))) in t 3.818 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))))) in t 3.818 * [taylor]: Taking taylor expansion of 1.0 in t 3.818 * [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 3.818 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) in t 3.818 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) in t 3.818 * [taylor]: Taking taylor expansion of 4.0 in t 3.818 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)) in t 3.818 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 (/ 1 t)) 1.0) 2) in t 3.818 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.818 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.818 * [taylor]: Taking taylor expansion of 1.0 in t 3.818 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.818 * [taylor]: Taking taylor expansion of t in t 3.818 * [taylor]: Taking taylor expansion of 1.0 in t 3.818 * [taylor]: Taking taylor expansion of 6.0 in t 3.818 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 3.818 * [taylor]: Taking taylor expansion of 8.0 in t 3.818 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 3.818 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.818 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.818 * [taylor]: Taking taylor expansion of 1.0 in t 3.819 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.819 * [taylor]: Taking taylor expansion of t in t 3.819 * [taylor]: Taking taylor expansion of 1.0 in t 3.819 * [taylor]: Taking taylor expansion of (exp (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))))) in t 3.819 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))))) in t 3.819 * [taylor]: Taking taylor expansion of 1.0 in t 3.819 * [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 3.819 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) in t 3.819 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) in t 3.819 * [taylor]: Taking taylor expansion of 4.0 in t 3.819 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)) in t 3.819 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 (/ 1 t)) 1.0) 2) in t 3.819 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.819 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.819 * [taylor]: Taking taylor expansion of 1.0 in t 3.819 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.819 * [taylor]: Taking taylor expansion of t in t 3.819 * [taylor]: Taking taylor expansion of 1.0 in t 3.819 * [taylor]: Taking taylor expansion of 6.0 in t 3.819 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 3.819 * [taylor]: Taking taylor expansion of 8.0 in t 3.819 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 3.819 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.819 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.819 * [taylor]: Taking taylor expansion of 1.0 in t 3.819 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.819 * [taylor]: Taking taylor expansion of t in t 3.819 * [taylor]: Taking taylor expansion of 1.0 in t 3.820 * [approximate]: Taking taylor expansion of (exp (/ 1.0 (- (+ (* 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 3.820 * [taylor]: Taking taylor expansion of (exp (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))))) in t 3.821 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))))) in t 3.821 * [taylor]: Taking taylor expansion of 1.0 in t 3.821 * [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 3.821 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) in t 3.821 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) in t 3.821 * [taylor]: Taking taylor expansion of 4.0 in t 3.821 * [taylor]: Taking taylor expansion of (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2)) in t 3.821 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 t))) 2) in t 3.821 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 3.821 * [taylor]: Taking taylor expansion of 1.0 in t 3.821 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.821 * [taylor]: Taking taylor expansion of 1.0 in t 3.821 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.821 * [taylor]: Taking taylor expansion of t in t 3.821 * [taylor]: Taking taylor expansion of 6.0 in t 3.821 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 3.821 * [taylor]: Taking taylor expansion of 8.0 in t 3.821 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 3.821 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 3.821 * [taylor]: Taking taylor expansion of 1.0 in t 3.821 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.821 * [taylor]: Taking taylor expansion of 1.0 in t 3.821 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.821 * [taylor]: Taking taylor expansion of t in t 3.821 * [taylor]: Taking taylor expansion of (exp (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))))) in t 3.821 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))))) in t 3.821 * [taylor]: Taking taylor expansion of 1.0 in t 3.821 * [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 3.821 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) in t 3.821 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) in t 3.821 * [taylor]: Taking taylor expansion of 4.0 in t 3.821 * [taylor]: Taking taylor expansion of (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2)) in t 3.821 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 t))) 2) in t 3.821 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 3.821 * [taylor]: Taking taylor expansion of 1.0 in t 3.821 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.821 * [taylor]: Taking taylor expansion of 1.0 in t 3.821 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.821 * [taylor]: Taking taylor expansion of t in t 3.822 * [taylor]: Taking taylor expansion of 6.0 in t 3.822 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 3.822 * [taylor]: Taking taylor expansion of 8.0 in t 3.822 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 3.822 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 3.822 * [taylor]: Taking taylor expansion of 1.0 in t 3.822 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.822 * [taylor]: Taking taylor expansion of 1.0 in t 3.822 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.822 * [taylor]: Taking taylor expansion of t in t 3.823 * * * [progress]: simplifying candidates 3.824 * [simplify]: Simplifying using # : (/ (exp 2.0) (exp (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (/ (exp 2.0) (exp (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (log (* (cbrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (cbrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))))) (log (cbrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (log (sqrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (log (sqrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (log 1) (log (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (log (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (log (exp (* (cbrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (cbrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))))) (log (exp (sqrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (log (exp (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))))) (log (exp (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (log (exp (/ (* (cbrt 1.0) (cbrt 1.0)) 1))) (log (exp (/ (sqrt 1.0) (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))))) (log (exp (/ (sqrt 1.0) (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (log (exp (/ (sqrt 1.0) 1))) (log (exp (/ 1 (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))))) (log (exp (/ 1 (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (log (exp (/ 1 1))) (log (exp 1)) (log (exp 1.0)) (log (exp (/ 1.0 (+ (pow (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 3) (pow 2.0 3))))) (log (exp (/ 1.0 (- (* (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (* 2.0 2.0))))) (log (log (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (exp (log (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (* (cbrt (log (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (cbrt (log (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))))) (cbrt (log (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (* (* (log (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (log (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (log (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (sqrt (log (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (sqrt (log (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (exp (* (cbrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (cbrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (exp (sqrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (exp (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (exp (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (exp (/ (* (cbrt 1.0) (cbrt 1.0)) 1)) (exp (/ (sqrt 1.0) (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (exp (/ (sqrt 1.0) (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (exp (/ (sqrt 1.0) 1)) (exp (/ 1 (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (exp (/ 1 (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (exp (/ 1 1)) (exp 1) (exp 1.0) (exp (/ 1.0 (+ (pow (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 3) (pow 2.0 3)))) (exp (/ 1.0 (- (* (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (* 2.0 2.0)))) (log (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (exp (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (* (cbrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (cbrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (cbrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (* (* (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (sqrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (sqrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 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 t) (* 2.0 (pow t 3))) (* 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)) 0.5) (* 1.0 (pow t 2))) (- (+ (* 0.2222222222222222 (/ 1 t)) 0.16666666666666666) (* 0.037037037037037035 (/ 1 (pow t 2)))) (- (+ (* 0.2222222222222222 (/ 1 t)) 0.16666666666666666) (* 0.037037037037037035 (/ 1 (pow t 2)))) (- (+ (* 2.0 (* (pow t 3) (exp 0.5))) (exp 0.5)) (* 1.0 (* (pow t 2) (exp 0.5)))) (- (+ (* 0.2222222222222222 (/ (exp 0.16666666666666666) t)) (exp 0.16666666666666666)) (* 0.012345679012345678 (/ (exp 0.16666666666666666) (pow t 2)))) (- (+ (* 0.2222222222222222 (/ (exp 0.16666666666666666) t)) (exp 0.16666666666666666)) (* 0.012345679012345678 (/ (exp 0.16666666666666666) (pow t 2)))) 3.833 * * [simplify]: iteration 0 : 153 enodes (cost 2198 ) 3.853 * * [simplify]: iteration 1 : 298 enodes (cost 2105 ) 3.898 * * [simplify]: iteration 2 : 723 enodes (cost 1866 ) 4.028 * * [simplify]: iteration 3 : 2074 enodes (cost 1830 ) 4.436 * * [simplify]: iteration done : 5000 enodes (cost 1830 ) 4.437 * [simplify]: Simplified to: (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 3) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 3) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2 (log (cbrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))))) (log (cbrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (log (sqrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (log (sqrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) 0 (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (* (cbrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (cbrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (sqrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (* (cbrt 1.0) (cbrt 1.0)) (/ (sqrt 1.0) (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (/ (sqrt 1.0) (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (sqrt 1.0) (/ 1 (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (/ 1 (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) 1 1 1.0 (/ 1.0 (+ (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 6) (pow 2.0 3))) (/ 1.0 (- (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 4) (* 2.0 2.0))) (log (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (* (cbrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (cbrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (cbrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (pow (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) 3) (sqrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (sqrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (exp (* (cbrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (cbrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (exp (sqrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (exp (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (exp (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (exp (* (cbrt 1.0) (cbrt 1.0))) (exp (/ (sqrt 1.0) (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (exp (/ (sqrt 1.0) (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (exp (sqrt 1.0)) (exp (/ 1 (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (exp (/ 1 (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) E E (exp 1.0) (exp (/ 1.0 (+ (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 6) (pow 2.0 3)))) (exp (/ 1.0 (- (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 4) (* 2.0 2.0)))) (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (exp (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (* (cbrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (cbrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (cbrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (pow (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) 3) (sqrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (sqrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (* 2.0 (- (+ t (pow t 3)) (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ (/ 2.0 t) t)) (+ (- 2.0 (/ 2.0 t)) (/ (/ 2.0 t) t)) (* 2.0 (- (+ t (pow t 3)) (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ (/ 2.0 t) t)) (+ (- 2.0 (/ 2.0 t)) (/ (/ 2.0 t) t)) (+ (* (* t t) (- (* 2.0 t) 1.0)) 0.5) (+ (/ 0.2222222222222222 t) (- 0.16666666666666666 (/ 0.037037037037037035 (pow t 2)))) (+ (/ 0.2222222222222222 t) (- 0.16666666666666666 (/ 0.037037037037037035 (pow t 2)))) (+ (exp 0.5) (* (exp 0.5) (* (* t t) (- (* 2.0 t) 1.0)))) (+ (* (/ (exp 0.16666666666666666) t) (- 0.2222222222222222 (/ 0.012345679012345678 t))) (exp 0.16666666666666666)) (+ (* (/ (exp 0.16666666666666666) t) (- 0.2222222222222222 (/ 0.012345679012345678 t))) (exp 0.16666666666666666)) 4.437 * * * [progress]: adding candidates to table 4.688 * [progress]: [Phase 3 of 3] Extracting. 4.688 * * [regime]: Finding splitpoints for: (# #) 4.690 * * * [regime-changes]: Trying 1 branch expressions: (t) 4.690 * * * * [regimes]: Trying to branch on t from (# #) 4.719 * * * [regime]: Found split indices: #