7.316 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.014 * * * [progress]: [2/2] Setting up program. 0.016 * [progress]: [Phase 2 of 3] Improving. 0.016 * [simplify]: Simplifying using # : (/ (+ 1.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)))) (+ 2.0 (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))))) 0.017 * * [simplify]: iteration 0 : 10 enodes (cost 35 ) 0.018 * * [simplify]: iteration 1 : 20 enodes (cost 35 ) 0.021 * * [simplify]: iteration 2 : 46 enodes (cost 33 ) 0.031 * * [simplify]: iteration 3 : 121 enodes (cost 33 ) 0.051 * * [simplify]: iteration 4 : 308 enodes (cost 33 ) 0.112 * * [simplify]: iteration 5 : 524 enodes (cost 33 ) 0.204 * * [simplify]: iteration 6 : 681 enodes (cost 33 ) 0.325 * * [simplify]: iteration 7 : 932 enodes (cost 33 ) 0.549 * * [simplify]: iteration 8 : 1323 enodes (cost 33 ) 1.713 * * [simplify]: iteration 9 : 4783 enodes (cost 33 ) 4.227 * * [simplify]: iteration done : 5000 enodes (cost 33 ) 4.227 * [simplify]: Simplified to: (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) 4.230 * * [progress]: iteration 1 / 4 4.230 * * * [progress]: picking best candidate 4.232 * * * * [pick]: Picked # 4.232 * * * [progress]: localizing error 4.245 * * * [progress]: generating rewritten candidates 4.245 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 4.246 * * * * [progress]: [ 2 / 4 ] rewriting at (2) 4.248 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 4.248 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 4.256 * * * [progress]: generating series expansions 4.256 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 4.256 * [approximate]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) in (t) around 0 4.256 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) in t 4.256 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 1.0) 4.256 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 4.256 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 4.256 * [taylor]: Taking taylor expansion of 2.0 in t 4.256 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 4.256 * [taylor]: Taking taylor expansion of t in t 4.256 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 4.256 * [taylor]: Taking taylor expansion of t in t 4.256 * [taylor]: Taking taylor expansion of 1.0 in t 4.257 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 4.257 * [taylor]: Taking taylor expansion of 2.0 in t 4.257 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 4.257 * [taylor]: Taking taylor expansion of t in t 4.257 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 4.257 * [taylor]: Taking taylor expansion of t in t 4.257 * [taylor]: Taking taylor expansion of 1.0 in t 4.258 * [taylor]: Taking taylor expansion of 1.0 in t 4.258 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) in t 4.258 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 1.0) 4.258 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 4.258 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 4.258 * [taylor]: Taking taylor expansion of 2.0 in t 4.258 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 4.258 * [taylor]: Taking taylor expansion of t in t 4.258 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 4.258 * [taylor]: Taking taylor expansion of t in t 4.258 * [taylor]: Taking taylor expansion of 1.0 in t 4.259 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 4.259 * [taylor]: Taking taylor expansion of 2.0 in t 4.259 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 4.259 * [taylor]: Taking taylor expansion of t in t 4.259 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 4.259 * [taylor]: Taking taylor expansion of t in t 4.259 * [taylor]: Taking taylor expansion of 1.0 in t 4.259 * [taylor]: Taking taylor expansion of 1.0 in t 4.270 * [approximate]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) in (t) around 0 4.270 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) in t 4.270 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 1.0) 4.270 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 4.270 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 4.270 * [taylor]: Taking taylor expansion of 2.0 in t 4.270 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 4.270 * [taylor]: Taking taylor expansion of t in t 4.270 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 4.270 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.270 * [taylor]: Taking taylor expansion of t in t 4.270 * [taylor]: Taking taylor expansion of 1.0 in t 4.272 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 4.272 * [taylor]: Taking taylor expansion of 2.0 in t 4.272 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 4.272 * [taylor]: Taking taylor expansion of t in t 4.272 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 4.272 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.272 * [taylor]: Taking taylor expansion of t in t 4.272 * [taylor]: Taking taylor expansion of 1.0 in t 4.274 * [taylor]: Taking taylor expansion of 1.0 in t 4.274 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) in t 4.274 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 1.0) 4.274 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 4.274 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 4.274 * [taylor]: Taking taylor expansion of 2.0 in t 4.274 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 4.274 * [taylor]: Taking taylor expansion of t in t 4.274 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 4.274 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.274 * [taylor]: Taking taylor expansion of t in t 4.275 * [taylor]: Taking taylor expansion of 1.0 in t 4.276 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 4.277 * [taylor]: Taking taylor expansion of 2.0 in t 4.277 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 4.277 * [taylor]: Taking taylor expansion of t in t 4.277 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 4.277 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.277 * [taylor]: Taking taylor expansion of t in t 4.277 * [taylor]: Taking taylor expansion of 1.0 in t 4.279 * [taylor]: Taking taylor expansion of 1.0 in t 4.300 * [approximate]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) in (t) around 0 4.300 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) in t 4.300 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 1.0) 4.300 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 4.300 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 4.300 * [taylor]: Taking taylor expansion of -2.0 in t 4.300 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 4.300 * [taylor]: Taking taylor expansion of t in t 4.300 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 4.300 * [taylor]: Taking taylor expansion of 1.0 in t 4.300 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.300 * [taylor]: Taking taylor expansion of t in t 4.303 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 4.303 * [taylor]: Taking taylor expansion of -2.0 in t 4.303 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 4.303 * [taylor]: Taking taylor expansion of t in t 4.303 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 4.303 * [taylor]: Taking taylor expansion of 1.0 in t 4.303 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.303 * [taylor]: Taking taylor expansion of t in t 4.305 * [taylor]: Taking taylor expansion of 1.0 in t 4.305 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) in t 4.305 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 1.0) 4.305 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 4.306 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 4.306 * [taylor]: Taking taylor expansion of -2.0 in t 4.306 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 4.306 * [taylor]: Taking taylor expansion of t in t 4.306 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 4.306 * [taylor]: Taking taylor expansion of 1.0 in t 4.306 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.306 * [taylor]: Taking taylor expansion of t in t 4.308 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 4.308 * [taylor]: Taking taylor expansion of -2.0 in t 4.308 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 4.308 * [taylor]: Taking taylor expansion of t in t 4.308 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 4.308 * [taylor]: Taking taylor expansion of 1.0 in t 4.308 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.308 * [taylor]: Taking taylor expansion of t in t 4.311 * [taylor]: Taking taylor expansion of 1.0 in t 4.333 * * * * [progress]: [ 2 / 4 ] generating series at (2) 4.333 * [approximate]: Taking taylor expansion of (/ (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 2.0)) in (t) around 0 4.333 * [taylor]: Taking taylor expansion of (/ (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 2.0)) in t 4.333 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) in t 4.333 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 1.0) 4.333 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 4.333 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 4.334 * [taylor]: Taking taylor expansion of 2.0 in t 4.334 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 4.334 * [taylor]: Taking taylor expansion of t in t 4.334 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 4.334 * [taylor]: Taking taylor expansion of t in t 4.334 * [taylor]: Taking taylor expansion of 1.0 in t 4.334 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 4.334 * [taylor]: Taking taylor expansion of 2.0 in t 4.334 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 4.334 * [taylor]: Taking taylor expansion of t in t 4.334 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 4.334 * [taylor]: Taking taylor expansion of t in t 4.334 * [taylor]: Taking taylor expansion of 1.0 in t 4.335 * [taylor]: Taking taylor expansion of 1.0 in t 4.335 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 2.0) in t 4.335 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 2.0) 4.335 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 4.335 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 4.335 * [taylor]: Taking taylor expansion of 2.0 in t 4.335 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 4.335 * [taylor]: Taking taylor expansion of t in t 4.335 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 4.335 * [taylor]: Taking taylor expansion of t in t 4.335 * [taylor]: Taking taylor expansion of 1.0 in t 4.336 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 4.336 * [taylor]: Taking taylor expansion of 2.0 in t 4.336 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 4.336 * [taylor]: Taking taylor expansion of t in t 4.336 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 4.336 * [taylor]: Taking taylor expansion of t in t 4.336 * [taylor]: Taking taylor expansion of 1.0 in t 4.336 * [taylor]: Taking taylor expansion of 2.0 in t 4.337 * [taylor]: Taking taylor expansion of (/ (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 2.0)) in t 4.337 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) in t 4.337 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 1.0) 4.337 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 4.337 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 4.337 * [taylor]: Taking taylor expansion of 2.0 in t 4.337 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 4.337 * [taylor]: Taking taylor expansion of t in t 4.337 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 4.337 * [taylor]: Taking taylor expansion of t in t 4.337 * [taylor]: Taking taylor expansion of 1.0 in t 4.338 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 4.338 * [taylor]: Taking taylor expansion of 2.0 in t 4.338 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 4.338 * [taylor]: Taking taylor expansion of t in t 4.338 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 4.338 * [taylor]: Taking taylor expansion of t in t 4.338 * [taylor]: Taking taylor expansion of 1.0 in t 4.339 * [taylor]: Taking taylor expansion of 1.0 in t 4.339 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 2.0) in t 4.339 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 2.0) 4.339 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 4.339 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 4.339 * [taylor]: Taking taylor expansion of 2.0 in t 4.339 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 4.339 * [taylor]: Taking taylor expansion of t in t 4.339 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 4.339 * [taylor]: Taking taylor expansion of t in t 4.339 * [taylor]: Taking taylor expansion of 1.0 in t 4.339 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 4.339 * [taylor]: Taking taylor expansion of 2.0 in t 4.339 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 4.339 * [taylor]: Taking taylor expansion of t in t 4.339 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 4.339 * [taylor]: Taking taylor expansion of t in t 4.339 * [taylor]: Taking taylor expansion of 1.0 in t 4.340 * [taylor]: Taking taylor expansion of 2.0 in t 4.366 * [approximate]: Taking taylor expansion of (/ (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 2.0)) in (t) around 0 4.367 * [taylor]: Taking taylor expansion of (/ (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 2.0)) in t 4.367 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) in t 4.367 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 1.0) 4.367 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 4.367 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 4.367 * [taylor]: Taking taylor expansion of 2.0 in t 4.367 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 4.367 * [taylor]: Taking taylor expansion of t in t 4.367 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 4.367 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.367 * [taylor]: Taking taylor expansion of t in t 4.367 * [taylor]: Taking taylor expansion of 1.0 in t 4.369 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 4.369 * [taylor]: Taking taylor expansion of 2.0 in t 4.369 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 4.369 * [taylor]: Taking taylor expansion of t in t 4.369 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 4.369 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.369 * [taylor]: Taking taylor expansion of t in t 4.369 * [taylor]: Taking taylor expansion of 1.0 in t 4.371 * [taylor]: Taking taylor expansion of 1.0 in t 4.371 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 2.0) in t 4.371 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 2.0) 4.371 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 4.371 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 4.371 * [taylor]: Taking taylor expansion of 2.0 in t 4.371 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 4.371 * [taylor]: Taking taylor expansion of t in t 4.371 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 4.371 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.371 * [taylor]: Taking taylor expansion of t in t 4.372 * [taylor]: Taking taylor expansion of 1.0 in t 4.373 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 4.373 * [taylor]: Taking taylor expansion of 2.0 in t 4.373 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 4.373 * [taylor]: Taking taylor expansion of t in t 4.373 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 4.373 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.374 * [taylor]: Taking taylor expansion of t in t 4.374 * [taylor]: Taking taylor expansion of 1.0 in t 4.375 * [taylor]: Taking taylor expansion of 2.0 in t 4.377 * [taylor]: Taking taylor expansion of (/ (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 2.0)) in t 4.377 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) in t 4.377 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 1.0) 4.377 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 4.377 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 4.377 * [taylor]: Taking taylor expansion of 2.0 in t 4.377 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 4.377 * [taylor]: Taking taylor expansion of t in t 4.377 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 4.377 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.377 * [taylor]: Taking taylor expansion of t in t 4.377 * [taylor]: Taking taylor expansion of 1.0 in t 4.379 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 4.379 * [taylor]: Taking taylor expansion of 2.0 in t 4.379 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 4.379 * [taylor]: Taking taylor expansion of t in t 4.379 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 4.379 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.379 * [taylor]: Taking taylor expansion of t in t 4.380 * [taylor]: Taking taylor expansion of 1.0 in t 4.381 * [taylor]: Taking taylor expansion of 1.0 in t 4.381 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 2.0) in t 4.381 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 2.0) 4.381 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 4.381 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 4.382 * [taylor]: Taking taylor expansion of 2.0 in t 4.382 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 4.382 * [taylor]: Taking taylor expansion of t in t 4.382 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 4.382 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.382 * [taylor]: Taking taylor expansion of t in t 4.382 * [taylor]: Taking taylor expansion of 1.0 in t 4.384 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 4.384 * [taylor]: Taking taylor expansion of 2.0 in t 4.384 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 4.384 * [taylor]: Taking taylor expansion of t in t 4.384 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 4.384 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.384 * [taylor]: Taking taylor expansion of t in t 4.384 * [taylor]: Taking taylor expansion of 1.0 in t 4.386 * [taylor]: Taking taylor expansion of 2.0 in t 4.435 * [approximate]: Taking taylor expansion of (/ (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 2.0)) in (t) around 0 4.435 * [taylor]: Taking taylor expansion of (/ (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 2.0)) in t 4.435 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) in t 4.435 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 1.0) 4.435 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 4.435 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 4.435 * [taylor]: Taking taylor expansion of -2.0 in t 4.435 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 4.435 * [taylor]: Taking taylor expansion of t in t 4.435 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 4.436 * [taylor]: Taking taylor expansion of 1.0 in t 4.436 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.436 * [taylor]: Taking taylor expansion of t in t 4.438 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 4.438 * [taylor]: Taking taylor expansion of -2.0 in t 4.438 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 4.438 * [taylor]: Taking taylor expansion of t in t 4.438 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 4.438 * [taylor]: Taking taylor expansion of 1.0 in t 4.438 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.438 * [taylor]: Taking taylor expansion of t in t 4.441 * [taylor]: Taking taylor expansion of 1.0 in t 4.441 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 2.0) in t 4.441 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 2.0) 4.441 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 4.441 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 4.441 * [taylor]: Taking taylor expansion of -2.0 in t 4.441 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 4.441 * [taylor]: Taking taylor expansion of t in t 4.441 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 4.441 * [taylor]: Taking taylor expansion of 1.0 in t 4.441 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.441 * [taylor]: Taking taylor expansion of t in t 4.444 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 4.444 * [taylor]: Taking taylor expansion of -2.0 in t 4.444 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 4.444 * [taylor]: Taking taylor expansion of t in t 4.444 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 4.444 * [taylor]: Taking taylor expansion of 1.0 in t 4.444 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.444 * [taylor]: Taking taylor expansion of t in t 4.446 * [taylor]: Taking taylor expansion of 2.0 in t 4.447 * [taylor]: Taking taylor expansion of (/ (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 2.0)) in t 4.447 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) in t 4.448 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 1.0) 4.448 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 4.448 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 4.448 * [taylor]: Taking taylor expansion of -2.0 in t 4.448 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 4.448 * [taylor]: Taking taylor expansion of t in t 4.448 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 4.448 * [taylor]: Taking taylor expansion of 1.0 in t 4.448 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.448 * [taylor]: Taking taylor expansion of t in t 4.450 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 4.450 * [taylor]: Taking taylor expansion of -2.0 in t 4.450 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 4.450 * [taylor]: Taking taylor expansion of t in t 4.450 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 4.450 * [taylor]: Taking taylor expansion of 1.0 in t 4.450 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.450 * [taylor]: Taking taylor expansion of t in t 4.453 * [taylor]: Taking taylor expansion of 1.0 in t 4.453 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 2.0) in t 4.453 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 2.0) 4.453 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 4.453 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 4.453 * [taylor]: Taking taylor expansion of -2.0 in t 4.453 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 4.453 * [taylor]: Taking taylor expansion of t in t 4.453 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 4.453 * [taylor]: Taking taylor expansion of 1.0 in t 4.453 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.453 * [taylor]: Taking taylor expansion of t in t 4.456 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 4.456 * [taylor]: Taking taylor expansion of -2.0 in t 4.456 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 4.456 * [taylor]: Taking taylor expansion of t in t 4.456 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 4.456 * [taylor]: Taking taylor expansion of 1.0 in t 4.456 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.456 * [taylor]: Taking taylor expansion of t in t 4.458 * [taylor]: Taking taylor expansion of 2.0 in t 4.503 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 4.504 * [approximate]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 2.0) in (t) around 0 4.504 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 2.0) in t 4.504 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 2.0) 4.504 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 4.504 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 4.504 * [taylor]: Taking taylor expansion of 2.0 in t 4.504 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 4.504 * [taylor]: Taking taylor expansion of t in t 4.504 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 4.504 * [taylor]: Taking taylor expansion of t in t 4.504 * [taylor]: Taking taylor expansion of 1.0 in t 4.505 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 4.505 * [taylor]: Taking taylor expansion of 2.0 in t 4.505 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 4.505 * [taylor]: Taking taylor expansion of t in t 4.505 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 4.505 * [taylor]: Taking taylor expansion of t in t 4.505 * [taylor]: Taking taylor expansion of 1.0 in t 4.505 * [taylor]: Taking taylor expansion of 2.0 in t 4.505 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 2.0) in t 4.505 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 2.0) 4.505 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 4.505 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 4.506 * [taylor]: Taking taylor expansion of 2.0 in t 4.506 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 4.506 * [taylor]: Taking taylor expansion of t in t 4.506 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 4.506 * [taylor]: Taking taylor expansion of t in t 4.506 * [taylor]: Taking taylor expansion of 1.0 in t 4.506 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 4.506 * [taylor]: Taking taylor expansion of 2.0 in t 4.506 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 4.506 * [taylor]: Taking taylor expansion of t in t 4.506 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 4.506 * [taylor]: Taking taylor expansion of t in t 4.506 * [taylor]: Taking taylor expansion of 1.0 in t 4.507 * [taylor]: Taking taylor expansion of 2.0 in t 4.517 * [approximate]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 2.0) in (t) around 0 4.517 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 2.0) in t 4.517 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 2.0) 4.517 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 4.517 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 4.517 * [taylor]: Taking taylor expansion of 2.0 in t 4.517 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 4.517 * [taylor]: Taking taylor expansion of t in t 4.517 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 4.517 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.517 * [taylor]: Taking taylor expansion of t in t 4.518 * [taylor]: Taking taylor expansion of 1.0 in t 4.519 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 4.519 * [taylor]: Taking taylor expansion of 2.0 in t 4.519 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 4.519 * [taylor]: Taking taylor expansion of t in t 4.520 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 4.520 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.520 * [taylor]: Taking taylor expansion of t in t 4.520 * [taylor]: Taking taylor expansion of 1.0 in t 4.522 * [taylor]: Taking taylor expansion of 2.0 in t 4.522 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 2.0) in t 4.522 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 2.0) 4.522 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 4.522 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 4.522 * [taylor]: Taking taylor expansion of 2.0 in t 4.522 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 4.522 * [taylor]: Taking taylor expansion of t in t 4.522 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 4.522 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.522 * [taylor]: Taking taylor expansion of t in t 4.522 * [taylor]: Taking taylor expansion of 1.0 in t 4.524 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 4.524 * [taylor]: Taking taylor expansion of 2.0 in t 4.524 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 4.524 * [taylor]: Taking taylor expansion of t in t 4.524 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 4.524 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.524 * [taylor]: Taking taylor expansion of t in t 4.524 * [taylor]: Taking taylor expansion of 1.0 in t 4.526 * [taylor]: Taking taylor expansion of 2.0 in t 4.549 * [approximate]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 2.0) in (t) around 0 4.549 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 2.0) in t 4.550 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 2.0) 4.550 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 4.550 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 4.550 * [taylor]: Taking taylor expansion of -2.0 in t 4.550 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 4.550 * [taylor]: Taking taylor expansion of t in t 4.550 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 4.550 * [taylor]: Taking taylor expansion of 1.0 in t 4.550 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.550 * [taylor]: Taking taylor expansion of t in t 4.552 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 4.552 * [taylor]: Taking taylor expansion of -2.0 in t 4.552 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 4.552 * [taylor]: Taking taylor expansion of t in t 4.552 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 4.552 * [taylor]: Taking taylor expansion of 1.0 in t 4.553 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.553 * [taylor]: Taking taylor expansion of t in t 4.555 * [taylor]: Taking taylor expansion of 2.0 in t 4.555 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 2.0) in t 4.555 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 2.0) 4.555 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 4.555 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 4.555 * [taylor]: Taking taylor expansion of -2.0 in t 4.555 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 4.555 * [taylor]: Taking taylor expansion of t in t 4.555 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 4.555 * [taylor]: Taking taylor expansion of 1.0 in t 4.555 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.555 * [taylor]: Taking taylor expansion of t in t 4.558 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 4.558 * [taylor]: Taking taylor expansion of -2.0 in t 4.558 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 4.558 * [taylor]: Taking taylor expansion of t in t 4.558 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 4.558 * [taylor]: Taking taylor expansion of 1.0 in t 4.558 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.558 * [taylor]: Taking taylor expansion of t in t 4.561 * [taylor]: Taking taylor expansion of 2.0 in t 4.580 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 4.580 * [approximate]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in (t) around 0 4.580 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 4.580 * [taylor]: Taking taylor expansion of 2.0 in t 4.580 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 4.580 * [taylor]: Taking taylor expansion of t in t 4.580 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 4.580 * [taylor]: Taking taylor expansion of t in t 4.580 * [taylor]: Taking taylor expansion of 1.0 in t 4.581 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 4.581 * [taylor]: Taking taylor expansion of 2.0 in t 4.581 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 4.581 * [taylor]: Taking taylor expansion of t in t 4.581 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 4.581 * [taylor]: Taking taylor expansion of t in t 4.581 * [taylor]: Taking taylor expansion of 1.0 in t 4.589 * [approximate]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in (t) around 0 4.589 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 4.589 * [taylor]: Taking taylor expansion of 2.0 in t 4.589 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 4.589 * [taylor]: Taking taylor expansion of t in t 4.589 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 4.589 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.589 * [taylor]: Taking taylor expansion of t in t 4.590 * [taylor]: Taking taylor expansion of 1.0 in t 4.591 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 4.591 * [taylor]: Taking taylor expansion of 2.0 in t 4.591 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 4.591 * [taylor]: Taking taylor expansion of t in t 4.591 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 4.591 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.591 * [taylor]: Taking taylor expansion of t in t 4.592 * [taylor]: Taking taylor expansion of 1.0 in t 4.602 * [approximate]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in (t) around 0 4.603 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 4.603 * [taylor]: Taking taylor expansion of -2.0 in t 4.603 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 4.603 * [taylor]: Taking taylor expansion of t in t 4.603 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 4.603 * [taylor]: Taking taylor expansion of 1.0 in t 4.603 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.603 * [taylor]: Taking taylor expansion of t in t 4.605 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 4.605 * [taylor]: Taking taylor expansion of -2.0 in t 4.605 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 4.605 * [taylor]: Taking taylor expansion of t in t 4.605 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 4.605 * [taylor]: Taking taylor expansion of 1.0 in t 4.605 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.605 * [taylor]: Taking taylor expansion of t in t 4.616 * * * [progress]: simplifying candidates 4.618 * [simplify]: Simplifying using # : (expm1 (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (log1p (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (log (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (exp (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (* (* (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (expm1 (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (log1p (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (- (log (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (log (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (log (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (exp (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (* (* (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (* (* (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (* (cbrt (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (cbrt (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (cbrt (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (* (* (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (sqrt (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (sqrt (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (- (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (- (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) 1) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 1) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ 1 (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ 1 (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ 1 1) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ 1 (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 1) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (expm1 (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (log1p (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (log (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (exp (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (* (* (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (expm1 (/ (* 2.0 t) (+ 1.0 t))) (log1p (/ (* 2.0 t) (+ 1.0 t))) (- (+ (log 2.0) (log t)) (log (+ 1.0 t))) (- (log (* 2.0 t)) (log (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (exp (/ (* 2.0 t) (+ 1.0 t))) (/ (* (* (* 2.0 2.0) 2.0) (* (* t t) t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (/ (* (* (* 2.0 t) (* 2.0 t)) (* 2.0 t)) (* (* (+ 1.0 t) (+ 1.0 t)) (+ 1.0 t))) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (/ (* 2.0 t) (+ 1.0 t))) (* (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (- (* 2.0 t)) (- (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ t (cbrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))) (/ 2.0 1) (/ t (+ 1.0 t)) (/ 2.0 1) (/ t (+ 1.0 t)) (/ 1 (+ 1.0 t)) (/ (+ 1.0 t) (* 2.0 t)) (/ (* 2.0 t) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ (* 2.0 t) (sqrt (+ 1.0 t))) (/ (* 2.0 t) 1) (/ (* 2.0 t) 1) (/ (+ 1.0 t) t) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (- (+ (* 4.0 (pow t 2)) 1.0) (* 8.0 (pow t 3))) (- (+ (* 12.0 (/ 1 (pow t 2))) 5.0) (* 8.0 (/ 1 t))) (- (+ (* 12.0 (/ 1 (pow t 2))) 5.0) (* 8.0 (/ 1 t))) (- (+ (* 1.0 (pow t 2)) 0.5) (* 2.0 (pow t 3))) (- (+ (* 0.0370370370370372 (/ 1 (pow t 2))) 0.8333333333333334) (* 0.2222222222222221 (/ 1 t))) (- (+ (* 0.0370370370370372 (/ 1 (pow t 2))) 0.8333333333333334) (* 0.2222222222222221 (/ 1 t))) (- (+ (* 4.0 (pow t 2)) 2.0) (* 8.0 (pow t 3))) (- (+ (* 12.0 (/ 1 (pow t 2))) 6.0) (* 8.0 (/ 1 t))) (- (+ (* 12.0 (/ 1 (pow t 2))) 6.0) (* 8.0 (/ 1 t))) (- (+ (* 2.0 (pow t 3)) (* 2.0 t)) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 4.625 * * [simplify]: iteration 0 : 155 enodes (cost 2366 ) 4.650 * * [simplify]: iteration 1 : 355 enodes (cost 2331 ) 4.727 * * [simplify]: iteration 2 : 1152 enodes (cost 2069 ) 5.126 * * [simplify]: iteration done : 5000 enodes (cost 2069 ) 5.127 * [simplify]: Simplified to: (expm1 (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (log1p (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) (log (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (exp (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (expm1 (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (log1p (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (log (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (log (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (exp (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (pow (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) 3) (* (cbrt (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (cbrt (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (cbrt (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (pow (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) 3) (sqrt (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (sqrt (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (- (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (- (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ 1 (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ 1 (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) 1 (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ 1 (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (expm1 (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (log1p (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (* (* 2.0 t) (* 2.0 t)) (* (+ 1.0 t) (+ 1.0 t))) (log (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (exp (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) 3) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (expm1 (/ (* 2.0 t) (+ 1.0 t))) (log1p (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (log (/ (* 2.0 t) (+ 1.0 t))) (exp (/ (* 2.0 t) (+ 1.0 t))) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (* (cbrt (/ (* 2.0 t) (+ 1.0 t))) (cbrt (/ (* 2.0 t) (+ 1.0 t)))) (cbrt (/ (* 2.0 t) (+ 1.0 t))) (pow (/ (* 2.0 t) (+ 1.0 t)) 3) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (sqrt (/ (* 2.0 t) (+ 1.0 t))) (- (* 2.0 t)) (- (+ 1.0 t)) (/ 2.0 (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ t (cbrt (+ 1.0 t))) (/ 2.0 (sqrt (+ 1.0 t))) (/ t (sqrt (+ 1.0 t))) 2.0 (/ t (+ 1.0 t)) 2.0 (/ t (+ 1.0 t)) (/ 1 (+ 1.0 t)) (/ (+ 1.0 t) (* 2.0 t)) (/ (* 2.0 t) (* (cbrt (+ 1.0 t)) (cbrt (+ 1.0 t)))) (/ (* 2.0 t) (sqrt (+ 1.0 t))) (* 2.0 t) (* 2.0 t) (/ (+ 1.0 t) t) (/ (* 2.0 t) (+ (pow 1.0 3) (pow t 3))) (/ (* 2.0 t) (- (* 1.0 1.0) (* t t))) (- (fma 4.0 (pow t 2) 1.0) (* 8.0 (pow t 3))) (+ (/ 12.0 (* t t)) (- 5.0 (/ 8.0 t))) (+ (/ 12.0 (* t t)) (- 5.0 (/ 8.0 t))) (- (fma 1.0 (pow t 2) 0.5) (* 2.0 (pow t 3))) (- (+ (/ 0.0370370370370372 (* t t)) 0.8333333333333334) (/ 0.2222222222222221 t)) (- (+ (/ 0.0370370370370372 (* t t)) 0.8333333333333334) (/ 0.2222222222222221 t)) (- (fma 4.0 (pow t 2) 2.0) (* 8.0 (pow t 3))) (+ (/ 12.0 (* t t)) (- 6.0 (/ 8.0 t))) (+ (/ 12.0 (* t t)) (- 6.0 (/ 8.0 t))) (* 2.0 (- (+ (pow t 3) t) (* t t))) (- (+ 2.0 (/ 2.0 (* t t))) (/ 2.0 t)) (- (+ 2.0 (/ 2.0 (* t t))) (/ 2.0 t)) 5.128 * * * [progress]: adding candidates to table 5.472 * * [progress]: iteration 2 / 4 5.472 * * * [progress]: picking best candidate 5.474 * * * * [pick]: Picked # 5.474 * * * [progress]: localizing error 5.486 * * * [progress]: generating rewritten candidates 5.486 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 5.488 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 5.489 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 5.489 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 5.500 * * * [progress]: generating series expansions 5.500 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 5.501 * [approximate]: Taking taylor expansion of (pow (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) 3) in (t) around 0 5.501 * [taylor]: Taking taylor expansion of (pow (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) 3) in t 5.501 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) in t 5.501 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 1.0) 5.501 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 5.501 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 5.501 * [taylor]: Taking taylor expansion of 2.0 in t 5.501 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 5.501 * [taylor]: Taking taylor expansion of t in t 5.501 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.501 * [taylor]: Taking taylor expansion of t in t 5.501 * [taylor]: Taking taylor expansion of 1.0 in t 5.502 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 5.502 * [taylor]: Taking taylor expansion of 2.0 in t 5.502 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 5.502 * [taylor]: Taking taylor expansion of t in t 5.502 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.502 * [taylor]: Taking taylor expansion of t in t 5.502 * [taylor]: Taking taylor expansion of 1.0 in t 5.503 * [taylor]: Taking taylor expansion of 1.0 in t 5.503 * [taylor]: Taking taylor expansion of (pow (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) 3) in t 5.503 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) in t 5.503 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 1.0) 5.503 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 5.503 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 5.503 * [taylor]: Taking taylor expansion of 2.0 in t 5.503 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 5.503 * [taylor]: Taking taylor expansion of t in t 5.503 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.503 * [taylor]: Taking taylor expansion of t in t 5.503 * [taylor]: Taking taylor expansion of 1.0 in t 5.504 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 5.504 * [taylor]: Taking taylor expansion of 2.0 in t 5.504 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 5.504 * [taylor]: Taking taylor expansion of t in t 5.504 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.504 * [taylor]: Taking taylor expansion of t in t 5.504 * [taylor]: Taking taylor expansion of 1.0 in t 5.505 * [taylor]: Taking taylor expansion of 1.0 in t 5.530 * [approximate]: Taking taylor expansion of (pow (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) 3) in (t) around 0 5.530 * [taylor]: Taking taylor expansion of (pow (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) 3) in t 5.530 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) in t 5.530 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 1.0) 5.530 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 5.530 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 5.530 * [taylor]: Taking taylor expansion of 2.0 in t 5.530 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 5.530 * [taylor]: Taking taylor expansion of t in t 5.530 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 5.530 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.530 * [taylor]: Taking taylor expansion of t in t 5.531 * [taylor]: Taking taylor expansion of 1.0 in t 5.532 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 5.532 * [taylor]: Taking taylor expansion of 2.0 in t 5.532 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 5.532 * [taylor]: Taking taylor expansion of t in t 5.532 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 5.532 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.532 * [taylor]: Taking taylor expansion of t in t 5.533 * [taylor]: Taking taylor expansion of 1.0 in t 5.535 * [taylor]: Taking taylor expansion of 1.0 in t 5.535 * [taylor]: Taking taylor expansion of (pow (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) 3) in t 5.535 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) in t 5.535 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 1.0) 5.535 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 5.535 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 5.535 * [taylor]: Taking taylor expansion of 2.0 in t 5.535 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 5.535 * [taylor]: Taking taylor expansion of t in t 5.535 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 5.535 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.535 * [taylor]: Taking taylor expansion of t in t 5.536 * [taylor]: Taking taylor expansion of 1.0 in t 5.538 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 5.538 * [taylor]: Taking taylor expansion of 2.0 in t 5.538 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 5.538 * [taylor]: Taking taylor expansion of t in t 5.538 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 5.538 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.538 * [taylor]: Taking taylor expansion of t in t 5.538 * [taylor]: Taking taylor expansion of 1.0 in t 5.540 * [taylor]: Taking taylor expansion of 1.0 in t 5.569 * [approximate]: Taking taylor expansion of (pow (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) 3) in (t) around 0 5.569 * [taylor]: Taking taylor expansion of (pow (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) 3) in t 5.569 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) in t 5.569 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 1.0) 5.569 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 5.569 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 5.569 * [taylor]: Taking taylor expansion of -2.0 in t 5.569 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 5.569 * [taylor]: Taking taylor expansion of t in t 5.569 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.569 * [taylor]: Taking taylor expansion of 1.0 in t 5.569 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.569 * [taylor]: Taking taylor expansion of t in t 5.572 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 5.572 * [taylor]: Taking taylor expansion of -2.0 in t 5.572 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 5.572 * [taylor]: Taking taylor expansion of t in t 5.572 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.572 * [taylor]: Taking taylor expansion of 1.0 in t 5.572 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.572 * [taylor]: Taking taylor expansion of t in t 5.575 * [taylor]: Taking taylor expansion of 1.0 in t 5.575 * [taylor]: Taking taylor expansion of (pow (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) 3) in t 5.575 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) in t 5.576 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 1.0) 5.576 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 5.576 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 5.576 * [taylor]: Taking taylor expansion of -2.0 in t 5.576 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 5.576 * [taylor]: Taking taylor expansion of t in t 5.576 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.576 * [taylor]: Taking taylor expansion of 1.0 in t 5.576 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.576 * [taylor]: Taking taylor expansion of t in t 5.578 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 5.578 * [taylor]: Taking taylor expansion of -2.0 in t 5.578 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 5.578 * [taylor]: Taking taylor expansion of t in t 5.578 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.578 * [taylor]: Taking taylor expansion of 1.0 in t 5.578 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.578 * [taylor]: Taking taylor expansion of t in t 5.581 * [taylor]: Taking taylor expansion of 1.0 in t 5.609 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 5.609 * [approximate]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) in (t) around 0 5.610 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) in t 5.610 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 1.0) 5.610 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 5.610 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 5.610 * [taylor]: Taking taylor expansion of 2.0 in t 5.610 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 5.610 * [taylor]: Taking taylor expansion of t in t 5.610 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.610 * [taylor]: Taking taylor expansion of t in t 5.610 * [taylor]: Taking taylor expansion of 1.0 in t 5.610 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 5.610 * [taylor]: Taking taylor expansion of 2.0 in t 5.610 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 5.610 * [taylor]: Taking taylor expansion of t in t 5.610 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.610 * [taylor]: Taking taylor expansion of t in t 5.611 * [taylor]: Taking taylor expansion of 1.0 in t 5.611 * [taylor]: Taking taylor expansion of 1.0 in t 5.611 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) in t 5.611 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 1.0) 5.611 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 5.611 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 5.611 * [taylor]: Taking taylor expansion of 2.0 in t 5.611 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 5.611 * [taylor]: Taking taylor expansion of t in t 5.611 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.611 * [taylor]: Taking taylor expansion of t in t 5.611 * [taylor]: Taking taylor expansion of 1.0 in t 5.612 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 5.612 * [taylor]: Taking taylor expansion of 2.0 in t 5.612 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 5.612 * [taylor]: Taking taylor expansion of t in t 5.612 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.612 * [taylor]: Taking taylor expansion of t in t 5.612 * [taylor]: Taking taylor expansion of 1.0 in t 5.613 * [taylor]: Taking taylor expansion of 1.0 in t 5.624 * [approximate]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) in (t) around 0 5.624 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) in t 5.624 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 1.0) 5.624 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 5.624 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 5.624 * [taylor]: Taking taylor expansion of 2.0 in t 5.624 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 5.624 * [taylor]: Taking taylor expansion of t in t 5.624 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 5.624 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.624 * [taylor]: Taking taylor expansion of t in t 5.624 * [taylor]: Taking taylor expansion of 1.0 in t 5.626 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 5.626 * [taylor]: Taking taylor expansion of 2.0 in t 5.626 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 5.626 * [taylor]: Taking taylor expansion of t in t 5.626 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 5.626 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.626 * [taylor]: Taking taylor expansion of t in t 5.626 * [taylor]: Taking taylor expansion of 1.0 in t 5.628 * [taylor]: Taking taylor expansion of 1.0 in t 5.628 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) in t 5.628 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 1.0) 5.628 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 5.628 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 5.628 * [taylor]: Taking taylor expansion of 2.0 in t 5.628 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 5.628 * [taylor]: Taking taylor expansion of t in t 5.628 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 5.628 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.629 * [taylor]: Taking taylor expansion of t in t 5.629 * [taylor]: Taking taylor expansion of 1.0 in t 5.631 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 5.631 * [taylor]: Taking taylor expansion of 2.0 in t 5.631 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 5.631 * [taylor]: Taking taylor expansion of t in t 5.631 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 5.631 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.631 * [taylor]: Taking taylor expansion of t in t 5.631 * [taylor]: Taking taylor expansion of 1.0 in t 5.633 * [taylor]: Taking taylor expansion of 1.0 in t 5.654 * [approximate]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) in (t) around 0 5.654 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) in t 5.655 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 1.0) 5.655 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 5.655 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 5.655 * [taylor]: Taking taylor expansion of -2.0 in t 5.655 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 5.655 * [taylor]: Taking taylor expansion of t in t 5.655 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.655 * [taylor]: Taking taylor expansion of 1.0 in t 5.655 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.655 * [taylor]: Taking taylor expansion of t in t 5.657 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 5.657 * [taylor]: Taking taylor expansion of -2.0 in t 5.657 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 5.657 * [taylor]: Taking taylor expansion of t in t 5.657 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.657 * [taylor]: Taking taylor expansion of 1.0 in t 5.657 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.657 * [taylor]: Taking taylor expansion of t in t 5.660 * [taylor]: Taking taylor expansion of 1.0 in t 5.660 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) in t 5.660 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 1.0) 5.660 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 5.660 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 5.660 * [taylor]: Taking taylor expansion of -2.0 in t 5.660 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 5.660 * [taylor]: Taking taylor expansion of t in t 5.660 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.660 * [taylor]: Taking taylor expansion of 1.0 in t 5.660 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.660 * [taylor]: Taking taylor expansion of t in t 5.663 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 5.663 * [taylor]: Taking taylor expansion of -2.0 in t 5.663 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 5.663 * [taylor]: Taking taylor expansion of t in t 5.663 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.663 * [taylor]: Taking taylor expansion of 1.0 in t 5.663 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.663 * [taylor]: Taking taylor expansion of t in t 5.665 * [taylor]: Taking taylor expansion of 1.0 in t 5.688 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 5.689 * [approximate]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) in (t) around 0 5.689 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) in t 5.689 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 1.0) 5.689 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 5.689 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 5.689 * [taylor]: Taking taylor expansion of 2.0 in t 5.689 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 5.689 * [taylor]: Taking taylor expansion of t in t 5.689 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.689 * [taylor]: Taking taylor expansion of t in t 5.689 * [taylor]: Taking taylor expansion of 1.0 in t 5.690 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 5.690 * [taylor]: Taking taylor expansion of 2.0 in t 5.690 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 5.690 * [taylor]: Taking taylor expansion of t in t 5.690 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.690 * [taylor]: Taking taylor expansion of t in t 5.690 * [taylor]: Taking taylor expansion of 1.0 in t 5.690 * [taylor]: Taking taylor expansion of 1.0 in t 5.690 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) in t 5.690 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 1.0) 5.690 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 5.690 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 5.690 * [taylor]: Taking taylor expansion of 2.0 in t 5.690 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 5.690 * [taylor]: Taking taylor expansion of t in t 5.690 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.691 * [taylor]: Taking taylor expansion of t in t 5.691 * [taylor]: Taking taylor expansion of 1.0 in t 5.691 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 5.691 * [taylor]: Taking taylor expansion of 2.0 in t 5.691 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 5.691 * [taylor]: Taking taylor expansion of t in t 5.691 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.691 * [taylor]: Taking taylor expansion of t in t 5.691 * [taylor]: Taking taylor expansion of 1.0 in t 5.692 * [taylor]: Taking taylor expansion of 1.0 in t 5.702 * [approximate]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) in (t) around 0 5.702 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) in t 5.702 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 1.0) 5.702 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 5.702 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 5.702 * [taylor]: Taking taylor expansion of 2.0 in t 5.702 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 5.702 * [taylor]: Taking taylor expansion of t in t 5.702 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 5.702 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.703 * [taylor]: Taking taylor expansion of t in t 5.703 * [taylor]: Taking taylor expansion of 1.0 in t 5.705 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 5.705 * [taylor]: Taking taylor expansion of 2.0 in t 5.705 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 5.705 * [taylor]: Taking taylor expansion of t in t 5.705 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 5.705 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.705 * [taylor]: Taking taylor expansion of t in t 5.705 * [taylor]: Taking taylor expansion of 1.0 in t 5.707 * [taylor]: Taking taylor expansion of 1.0 in t 5.707 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) in t 5.707 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 1.0) 5.707 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 5.707 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 5.707 * [taylor]: Taking taylor expansion of 2.0 in t 5.707 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 5.707 * [taylor]: Taking taylor expansion of t in t 5.707 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 5.707 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.707 * [taylor]: Taking taylor expansion of t in t 5.707 * [taylor]: Taking taylor expansion of 1.0 in t 5.709 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 5.709 * [taylor]: Taking taylor expansion of 2.0 in t 5.709 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 5.709 * [taylor]: Taking taylor expansion of t in t 5.709 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 5.709 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.709 * [taylor]: Taking taylor expansion of t in t 5.710 * [taylor]: Taking taylor expansion of 1.0 in t 5.711 * [taylor]: Taking taylor expansion of 1.0 in t 5.734 * [approximate]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) in (t) around 0 5.734 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) in t 5.734 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 1.0) 5.734 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 5.734 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 5.734 * [taylor]: Taking taylor expansion of -2.0 in t 5.734 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 5.734 * [taylor]: Taking taylor expansion of t in t 5.734 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.734 * [taylor]: Taking taylor expansion of 1.0 in t 5.734 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.734 * [taylor]: Taking taylor expansion of t in t 5.737 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 5.737 * [taylor]: Taking taylor expansion of -2.0 in t 5.737 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 5.737 * [taylor]: Taking taylor expansion of t in t 5.737 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.737 * [taylor]: Taking taylor expansion of 1.0 in t 5.737 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.737 * [taylor]: Taking taylor expansion of t in t 5.740 * [taylor]: Taking taylor expansion of 1.0 in t 5.740 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) in t 5.740 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 1.0) 5.740 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 5.740 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 5.740 * [taylor]: Taking taylor expansion of -2.0 in t 5.740 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 5.740 * [taylor]: Taking taylor expansion of t in t 5.740 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.740 * [taylor]: Taking taylor expansion of 1.0 in t 5.740 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.740 * [taylor]: Taking taylor expansion of t in t 5.743 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 5.743 * [taylor]: Taking taylor expansion of -2.0 in t 5.743 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 5.743 * [taylor]: Taking taylor expansion of t in t 5.743 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.743 * [taylor]: Taking taylor expansion of 1.0 in t 5.743 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.743 * [taylor]: Taking taylor expansion of t in t 5.745 * [taylor]: Taking taylor expansion of 1.0 in t 5.767 * * * * [progress]: [ 4 / 4 ] generating series at (2) 5.768 * [approximate]: Taking taylor expansion of (/ (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 2.0)) in (t) around 0 5.768 * [taylor]: Taking taylor expansion of (/ (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 2.0)) in t 5.768 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) in t 5.768 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 1.0) 5.768 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 5.768 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 5.768 * [taylor]: Taking taylor expansion of 2.0 in t 5.768 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 5.768 * [taylor]: Taking taylor expansion of t in t 5.768 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.768 * [taylor]: Taking taylor expansion of t in t 5.768 * [taylor]: Taking taylor expansion of 1.0 in t 5.769 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 5.769 * [taylor]: Taking taylor expansion of 2.0 in t 5.769 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 5.769 * [taylor]: Taking taylor expansion of t in t 5.769 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.769 * [taylor]: Taking taylor expansion of t in t 5.769 * [taylor]: Taking taylor expansion of 1.0 in t 5.769 * [taylor]: Taking taylor expansion of 1.0 in t 5.770 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 2.0) in t 5.770 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 2.0) 5.770 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 5.770 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 5.770 * [taylor]: Taking taylor expansion of 2.0 in t 5.770 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 5.770 * [taylor]: Taking taylor expansion of t in t 5.770 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.770 * [taylor]: Taking taylor expansion of t in t 5.770 * [taylor]: Taking taylor expansion of 1.0 in t 5.770 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 5.770 * [taylor]: Taking taylor expansion of 2.0 in t 5.770 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 5.770 * [taylor]: Taking taylor expansion of t in t 5.770 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.770 * [taylor]: Taking taylor expansion of t in t 5.770 * [taylor]: Taking taylor expansion of 1.0 in t 5.771 * [taylor]: Taking taylor expansion of 2.0 in t 5.772 * [taylor]: Taking taylor expansion of (/ (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 2.0)) in t 5.772 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 1.0) in t 5.772 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 1.0) 5.772 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 5.772 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 5.772 * [taylor]: Taking taylor expansion of 2.0 in t 5.772 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 5.772 * [taylor]: Taking taylor expansion of t in t 5.772 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.772 * [taylor]: Taking taylor expansion of t in t 5.772 * [taylor]: Taking taylor expansion of 1.0 in t 5.773 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 5.773 * [taylor]: Taking taylor expansion of 2.0 in t 5.773 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 5.773 * [taylor]: Taking taylor expansion of t in t 5.773 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.773 * [taylor]: Taking taylor expansion of t in t 5.773 * [taylor]: Taking taylor expansion of 1.0 in t 5.773 * [taylor]: Taking taylor expansion of 1.0 in t 5.773 * [taylor]: Taking taylor expansion of (fma (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0))) 2.0) in t 5.773 * [taylor]: Rewrote expression to (+ (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) 2.0) 5.773 * [taylor]: Taking taylor expansion of (* (* 2.0 (/ t (+ t 1.0))) (* 2.0 (/ t (+ t 1.0)))) in t 5.773 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 5.773 * [taylor]: Taking taylor expansion of 2.0 in t 5.774 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 5.774 * [taylor]: Taking taylor expansion of t in t 5.774 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.774 * [taylor]: Taking taylor expansion of t in t 5.774 * [taylor]: Taking taylor expansion of 1.0 in t 5.774 * [taylor]: Taking taylor expansion of (* 2.0 (/ t (+ t 1.0))) in t 5.774 * [taylor]: Taking taylor expansion of 2.0 in t 5.774 * [taylor]: Taking taylor expansion of (/ t (+ t 1.0)) in t 5.774 * [taylor]: Taking taylor expansion of t in t 5.774 * [taylor]: Taking taylor expansion of (+ t 1.0) in t 5.774 * [taylor]: Taking taylor expansion of t in t 5.774 * [taylor]: Taking taylor expansion of 1.0 in t 5.775 * [taylor]: Taking taylor expansion of 2.0 in t 5.802 * [approximate]: Taking taylor expansion of (/ (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 2.0)) in (t) around 0 5.802 * [taylor]: Taking taylor expansion of (/ (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 2.0)) in t 5.802 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) in t 5.802 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 1.0) 5.802 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 5.802 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 5.802 * [taylor]: Taking taylor expansion of 2.0 in t 5.802 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 5.802 * [taylor]: Taking taylor expansion of t in t 5.802 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 5.802 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.802 * [taylor]: Taking taylor expansion of t in t 5.803 * [taylor]: Taking taylor expansion of 1.0 in t 5.804 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 5.805 * [taylor]: Taking taylor expansion of 2.0 in t 5.805 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 5.805 * [taylor]: Taking taylor expansion of t in t 5.805 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 5.805 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.805 * [taylor]: Taking taylor expansion of t in t 5.805 * [taylor]: Taking taylor expansion of 1.0 in t 5.807 * [taylor]: Taking taylor expansion of 1.0 in t 5.807 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 2.0) in t 5.807 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 2.0) 5.807 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 5.807 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 5.807 * [taylor]: Taking taylor expansion of 2.0 in t 5.807 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 5.807 * [taylor]: Taking taylor expansion of t in t 5.807 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 5.807 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.807 * [taylor]: Taking taylor expansion of t in t 5.807 * [taylor]: Taking taylor expansion of 1.0 in t 5.809 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 5.809 * [taylor]: Taking taylor expansion of 2.0 in t 5.809 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 5.809 * [taylor]: Taking taylor expansion of t in t 5.809 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 5.809 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.809 * [taylor]: Taking taylor expansion of t in t 5.809 * [taylor]: Taking taylor expansion of 1.0 in t 5.811 * [taylor]: Taking taylor expansion of 2.0 in t 5.812 * [taylor]: Taking taylor expansion of (/ (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 2.0)) in t 5.812 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 1.0) in t 5.813 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 1.0) 5.813 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 5.813 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 5.813 * [taylor]: Taking taylor expansion of 2.0 in t 5.813 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 5.813 * [taylor]: Taking taylor expansion of t in t 5.813 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 5.813 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.813 * [taylor]: Taking taylor expansion of t in t 5.813 * [taylor]: Taking taylor expansion of 1.0 in t 5.815 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 5.815 * [taylor]: Taking taylor expansion of 2.0 in t 5.815 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 5.815 * [taylor]: Taking taylor expansion of t in t 5.815 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 5.815 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.815 * [taylor]: Taking taylor expansion of t in t 5.815 * [taylor]: Taking taylor expansion of 1.0 in t 5.817 * [taylor]: Taking taylor expansion of 1.0 in t 5.817 * [taylor]: Taking taylor expansion of (fma (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0))) 2.0) in t 5.817 * [taylor]: Rewrote expression to (+ (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) 2.0) 5.817 * [taylor]: Taking taylor expansion of (* (/ 2.0 (* t (+ (/ 1 t) 1.0))) (/ 2.0 (* t (+ (/ 1 t) 1.0)))) in t 5.817 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 5.817 * [taylor]: Taking taylor expansion of 2.0 in t 5.817 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 5.817 * [taylor]: Taking taylor expansion of t in t 5.817 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 5.817 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.817 * [taylor]: Taking taylor expansion of t in t 5.818 * [taylor]: Taking taylor expansion of 1.0 in t 5.820 * [taylor]: Taking taylor expansion of (/ 2.0 (* t (+ (/ 1 t) 1.0))) in t 5.820 * [taylor]: Taking taylor expansion of 2.0 in t 5.820 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 t) 1.0)) in t 5.820 * [taylor]: Taking taylor expansion of t in t 5.820 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1.0) in t 5.820 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.820 * [taylor]: Taking taylor expansion of t in t 5.820 * [taylor]: Taking taylor expansion of 1.0 in t 5.822 * [taylor]: Taking taylor expansion of 2.0 in t 5.873 * [approximate]: Taking taylor expansion of (/ (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 2.0)) in (t) around 0 5.873 * [taylor]: Taking taylor expansion of (/ (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 2.0)) in t 5.873 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) in t 5.873 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 1.0) 5.873 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 5.873 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 5.873 * [taylor]: Taking taylor expansion of -2.0 in t 5.874 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 5.874 * [taylor]: Taking taylor expansion of t in t 5.874 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.874 * [taylor]: Taking taylor expansion of 1.0 in t 5.874 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.874 * [taylor]: Taking taylor expansion of t in t 5.876 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 5.876 * [taylor]: Taking taylor expansion of -2.0 in t 5.876 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 5.876 * [taylor]: Taking taylor expansion of t in t 5.876 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.876 * [taylor]: Taking taylor expansion of 1.0 in t 5.876 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.876 * [taylor]: Taking taylor expansion of t in t 5.879 * [taylor]: Taking taylor expansion of 1.0 in t 5.879 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 2.0) in t 5.879 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 2.0) 5.879 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 5.879 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 5.879 * [taylor]: Taking taylor expansion of -2.0 in t 5.879 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 5.879 * [taylor]: Taking taylor expansion of t in t 5.879 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.879 * [taylor]: Taking taylor expansion of 1.0 in t 5.879 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.879 * [taylor]: Taking taylor expansion of t in t 5.882 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 5.882 * [taylor]: Taking taylor expansion of -2.0 in t 5.882 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 5.882 * [taylor]: Taking taylor expansion of t in t 5.882 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.882 * [taylor]: Taking taylor expansion of 1.0 in t 5.882 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.882 * [taylor]: Taking taylor expansion of t in t 5.884 * [taylor]: Taking taylor expansion of 2.0 in t 5.886 * [taylor]: Taking taylor expansion of (/ (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 2.0)) in t 5.886 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 1.0) in t 5.886 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 1.0) 5.886 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 5.886 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 5.886 * [taylor]: Taking taylor expansion of -2.0 in t 5.886 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 5.886 * [taylor]: Taking taylor expansion of t in t 5.886 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.886 * [taylor]: Taking taylor expansion of 1.0 in t 5.886 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.886 * [taylor]: Taking taylor expansion of t in t 5.889 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 5.889 * [taylor]: Taking taylor expansion of -2.0 in t 5.889 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 5.889 * [taylor]: Taking taylor expansion of t in t 5.889 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.889 * [taylor]: Taking taylor expansion of 1.0 in t 5.889 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.889 * [taylor]: Taking taylor expansion of t in t 5.891 * [taylor]: Taking taylor expansion of 1.0 in t 5.891 * [taylor]: Taking taylor expansion of (fma (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t)))) 2.0) in t 5.892 * [taylor]: Rewrote expression to (+ (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) 2.0) 5.892 * [taylor]: Taking taylor expansion of (* (/ -2.0 (* t (- 1.0 (/ 1 t)))) (/ -2.0 (* t (- 1.0 (/ 1 t))))) in t 5.892 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 5.892 * [taylor]: Taking taylor expansion of -2.0 in t 5.892 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 5.892 * [taylor]: Taking taylor expansion of t in t 5.892 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.892 * [taylor]: Taking taylor expansion of 1.0 in t 5.892 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.892 * [taylor]: Taking taylor expansion of t in t 5.894 * [taylor]: Taking taylor expansion of (/ -2.0 (* t (- 1.0 (/ 1 t)))) in t 5.894 * [taylor]: Taking taylor expansion of -2.0 in t 5.894 * [taylor]: Taking taylor expansion of (* t (- 1.0 (/ 1 t))) in t 5.894 * [taylor]: Taking taylor expansion of t in t 5.894 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 t)) in t 5.894 * [taylor]: Taking taylor expansion of 1.0 in t 5.894 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.894 * [taylor]: Taking taylor expansion of t in t 5.897 * [taylor]: Taking taylor expansion of 2.0 in t 5.943 * * * [progress]: simplifying candidates 5.946 * [simplify]: Simplifying using # : (expm1 (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (log1p (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (* (log (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3) (* (log (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3) (* 1 3) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (* (cbrt 3) (cbrt 3))) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (sqrt 3)) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 1) (pow (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) 3) (pow (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3) (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3) (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3) (pow 1 3) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3) (* (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (log (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (exp (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (* (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (* (* (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (pow (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) 3) (pow (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3) (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3) (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3) (pow 1 3) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3) (* (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (/ 3 2)) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (/ 3 2)) (expm1 (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (log1p (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (log (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (exp (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (cbrt (pow (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) 3)) (cbrt (pow (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (cbrt (pow 1 3)) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (cbrt (* (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (* (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)))) (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (cbrt (pow (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) 3)) (cbrt (pow (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (cbrt (pow 1 3)) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (* (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (cbrt 1) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (/ 3 2))) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (/ 3 2))) (* (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)))) (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (* (* (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (sqrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (sqrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (expm1 (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (log1p (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (log (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (exp (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (* (* (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (expm1 (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (log1p (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (- (log (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (log (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (log (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (exp (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3) (* (* (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (* (cbrt (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (cbrt (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (cbrt (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (* (* (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (sqrt (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (sqrt (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (- (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (- (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (pow (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) 3)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (pow (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) 3)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) 3)) 1) (/ (cbrt (pow (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) 1) (/ (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (pow 1 3)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow 1 3)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow 1 3)) 1) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (* (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (* (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (* (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) 1) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (* (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)))) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (* (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (* (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)))) 1) (/ (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (pow (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) 3)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (pow (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) 3)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) 3)) 1) (/ (cbrt (pow (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) 1) (/ (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (pow 1 3)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow 1 3)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow 1 3)) 1) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (* (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (* (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 1) (/ (cbrt (* (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) 1) (/ (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt 1) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt 1) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt 1) 1) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (/ 3 2))) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (/ 3 2))) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (/ 3 2))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (/ 3 2))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (/ 3 2))) 1) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (/ 3 2))) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (* (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)))) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (* (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (* (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)))) 1) (/ (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (sqrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (sqrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (sqrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (sqrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (sqrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) 1) (/ (sqrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ 1 (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ 1 (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ 1 1) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ 1 (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) 1) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (pow (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (pow (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (* (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (/ 3 2)))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (sqrt (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (- (+ (* 12.0 (pow t 2)) 1.0) (* 24.0 (pow t 3))) (- (+ (* 1860.0 (/ 1 (pow t 2))) 125.0) (* 600.0 (/ 1 t))) (- (+ (* 1860.0 (/ 1 (pow t 2))) 125.0) (* 600.0 (/ 1 t))) (- (+ (* 4.0 (pow t 2)) 1.0) (* 8.0 (pow t 3))) (- (+ (* 12.0 (/ 1 (pow t 2))) 5.0) (* 8.0 (/ 1 t))) (- (+ (* 12.0 (/ 1 (pow t 2))) 5.0) (* 8.0 (/ 1 t))) (- (+ (* 4.0 (pow t 2)) 1.0) (* 8.0 (pow t 3))) (- (+ (* 12.0 (/ 1 (pow t 2))) 5.0) (* 8.0 (/ 1 t))) (- (+ (* 12.0 (/ 1 (pow t 2))) 5.0) (* 8.0 (/ 1 t))) (- (+ (* 1.0 (pow t 2)) 0.5) (* 2.0 (pow t 3))) (- (+ (* 0.0370370370370372 (/ 1 (pow t 2))) 0.8333333333333334) (* 0.2222222222222221 (/ 1 t))) (- (+ (* 0.0370370370370372 (/ 1 (pow t 2))) 0.8333333333333334) (* 0.2222222222222221 (/ 1 t))) 5.957 * * [simplify]: iteration 0 : 190 enodes (cost 6639 ) 5.997 * * [simplify]: iteration 1 : 351 enodes (cost 6072 ) 6.092 * * [simplify]: iteration 2 : 1112 enodes (cost 5466 ) 6.478 * * [simplify]: iteration done : 5000 enodes (cost 5466 ) 6.481 * [simplify]: Simplified to: (expm1 (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (log1p (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (log (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (log (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) 3 (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (* (cbrt 3) (cbrt 3))) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (sqrt 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3) (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3) 1 (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2) (log (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (exp (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (pow (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3) 3) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3) (pow (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 3) 1 (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2) (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3/2) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3/2) (expm1 (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (log1p (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (log (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (exp (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 1 (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) 1 (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) 1 (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3/2)) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3/2)) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (expm1 (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (log1p (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (* (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t))) (log (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (exp (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (expm1 (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (log1p (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (log (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (log (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (exp (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (pow (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) 3) (* (cbrt (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (cbrt (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (cbrt (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (pow (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) 3) (sqrt (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (sqrt (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (- (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (- (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ 1 (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ 1 (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) 1 (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ 1 (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ 1 (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) 1 (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (/ (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3))) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ 1 (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ 1 (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) 1 (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3/2)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3/2)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3/2)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3/2)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3/2)) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3/2)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2)) (/ (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (/ (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ 1 (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ 1 (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) 1 (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ 1 (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (* (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0))) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 2))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (sqrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3/2))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (cbrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (sqrt (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0))) (/ (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0)) (- (fma 12.0 (pow t 2) 1.0) (* 24.0 (pow t 3))) (+ (/ (/ 1860.0 t) t) (- 125.0 (/ 600.0 t))) (+ (/ (/ 1860.0 t) t) (- 125.0 (/ 600.0 t))) (- (fma 4.0 (pow t 2) 1.0) (* 8.0 (pow t 3))) (+ (/ 12.0 (pow t 2)) (- 5.0 (/ 8.0 t))) (+ (/ 12.0 (pow t 2)) (- 5.0 (/ 8.0 t))) (- (fma 4.0 (pow t 2) 1.0) (* 8.0 (pow t 3))) (+ (/ 12.0 (pow t 2)) (- 5.0 (/ 8.0 t))) (+ (/ 12.0 (pow t 2)) (- 5.0 (/ 8.0 t))) (- (fma 1.0 (pow t 2) 0.5) (* 2.0 (pow t 3))) (- (+ (/ 0.0370370370370372 (pow t 2)) 0.8333333333333334) (/ 0.2222222222222221 t)) (- (+ (/ 0.0370370370370372 (pow t 2)) 0.8333333333333334) (/ 0.2222222222222221 t)) 6.482 * * * [progress]: adding candidates to table 6.771 * [progress]: [Phase 3 of 3] Extracting. 6.774 * [simplify]: Simplifying using # : (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) 6.774 * * [simplify]: iteration 0 : 12 enodes (cost 36 ) 6.775 * * [simplify]: iteration 1 : 14 enodes (cost 36 ) 6.775 * * [simplify]: iteration done : 14 enodes (cost 36 ) 6.775 * [simplify]: Simplified to: (/ (cbrt (pow (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 1.0) 3)) (fma (/ (* 2.0 t) (+ 1.0 t)) (/ (* 2.0 t) (+ 1.0 t)) 2.0)) 7.213 * [regime-testing]: End program error score: 0.03490549131375798