0.244 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.028 * * * [progress]: [2/2] Setting up program. 0.031 * [progress]: [Phase 2 of 3] Improving. 0.031 * [simplify]: Simplifying using # : (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))))) 0.032 * * [simplify]: iteration 0 : 12 enodes (cost 29 ) 0.033 * * [simplify]: iteration 1 : 20 enodes (cost 29 ) 0.036 * * [simplify]: iteration 2 : 37 enodes (cost 29 ) 0.041 * * [simplify]: iteration 3 : 80 enodes (cost 29 ) 0.054 * * [simplify]: iteration 4 : 216 enodes (cost 29 ) 0.094 * * [simplify]: iteration 5 : 537 enodes (cost 29 ) 0.200 * * [simplify]: iteration 6 : 1209 enodes (cost 29 ) 0.500 * * [simplify]: iteration 7 : 2867 enodes (cost 25 ) 1.037 * * [simplify]: iteration done : 5000 enodes (cost 25 ) 1.037 * [simplify]: Simplified to: (- 1.0 (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) 1.041 * * [progress]: iteration 1 / 4 1.041 * * * [progress]: picking best candidate 1.043 * * * * [pick]: Picked # 1.043 * * * [progress]: localizing error 1.053 * * * [progress]: generating rewritten candidates 1.053 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2) 1.069 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1) 1.080 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1) 1.103 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 1.131 * * * [progress]: generating series expansions 1.131 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2) 1.131 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 1.131 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.132 * [taylor]: Taking taylor expansion of 2.0 in t 1.132 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.132 * [taylor]: Taking taylor expansion of 2.0 in t 1.132 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.132 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.132 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.132 * [taylor]: Taking taylor expansion of 1.0 in t 1.132 * [taylor]: Taking taylor expansion of t in t 1.132 * [taylor]: Taking taylor expansion of 1.0 in t 1.132 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.132 * [taylor]: Taking taylor expansion of 2.0 in t 1.132 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.132 * [taylor]: Taking taylor expansion of 2.0 in t 1.132 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.132 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.132 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.132 * [taylor]: Taking taylor expansion of 1.0 in t 1.132 * [taylor]: Taking taylor expansion of t in t 1.132 * [taylor]: Taking taylor expansion of 1.0 in t 1.133 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 1.133 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.133 * [taylor]: Taking taylor expansion of 2.0 in t 1.133 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.133 * [taylor]: Taking taylor expansion of 2.0 in t 1.133 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.133 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.133 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.133 * [taylor]: Taking taylor expansion of 1.0 in t 1.133 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.133 * [taylor]: Taking taylor expansion of t in t 1.133 * [taylor]: Taking taylor expansion of 1.0 in t 1.133 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.133 * [taylor]: Taking taylor expansion of 2.0 in t 1.133 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.133 * [taylor]: Taking taylor expansion of 2.0 in t 1.133 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.133 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.133 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.133 * [taylor]: Taking taylor expansion of 1.0 in t 1.133 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.133 * [taylor]: Taking taylor expansion of t in t 1.133 * [taylor]: Taking taylor expansion of 1.0 in t 1.134 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 1.134 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.134 * [taylor]: Taking taylor expansion of 2.0 in t 1.134 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.134 * [taylor]: Taking taylor expansion of 2.0 in t 1.134 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.134 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.134 * [taylor]: Taking taylor expansion of 1.0 in t 1.134 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.134 * [taylor]: Taking taylor expansion of 1.0 in t 1.134 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.134 * [taylor]: Taking taylor expansion of t in t 1.134 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.134 * [taylor]: Taking taylor expansion of 2.0 in t 1.134 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.134 * [taylor]: Taking taylor expansion of 2.0 in t 1.134 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.134 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.134 * [taylor]: Taking taylor expansion of 1.0 in t 1.134 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.134 * [taylor]: Taking taylor expansion of 1.0 in t 1.134 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.134 * [taylor]: Taking taylor expansion of t in t 1.135 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1) 1.135 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 1.135 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.135 * [taylor]: Taking taylor expansion of 2.0 in t 1.135 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.135 * [taylor]: Taking taylor expansion of 2.0 in t 1.135 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.135 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.135 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.135 * [taylor]: Taking taylor expansion of 1.0 in t 1.135 * [taylor]: Taking taylor expansion of t in t 1.135 * [taylor]: Taking taylor expansion of 1.0 in t 1.135 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.135 * [taylor]: Taking taylor expansion of 2.0 in t 1.135 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.135 * [taylor]: Taking taylor expansion of 2.0 in t 1.135 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.135 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.135 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.135 * [taylor]: Taking taylor expansion of 1.0 in t 1.135 * [taylor]: Taking taylor expansion of t in t 1.135 * [taylor]: Taking taylor expansion of 1.0 in t 1.136 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 1.136 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.136 * [taylor]: Taking taylor expansion of 2.0 in t 1.136 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.136 * [taylor]: Taking taylor expansion of 2.0 in t 1.136 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.136 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.136 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.136 * [taylor]: Taking taylor expansion of 1.0 in t 1.136 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.136 * [taylor]: Taking taylor expansion of t in t 1.136 * [taylor]: Taking taylor expansion of 1.0 in t 1.136 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.136 * [taylor]: Taking taylor expansion of 2.0 in t 1.136 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.136 * [taylor]: Taking taylor expansion of 2.0 in t 1.136 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.136 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.136 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.136 * [taylor]: Taking taylor expansion of 1.0 in t 1.136 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.136 * [taylor]: Taking taylor expansion of t in t 1.136 * [taylor]: Taking taylor expansion of 1.0 in t 1.137 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 1.137 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.137 * [taylor]: Taking taylor expansion of 2.0 in t 1.137 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.137 * [taylor]: Taking taylor expansion of 2.0 in t 1.137 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.137 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.137 * [taylor]: Taking taylor expansion of 1.0 in t 1.137 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.137 * [taylor]: Taking taylor expansion of 1.0 in t 1.137 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.137 * [taylor]: Taking taylor expansion of t in t 1.137 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.137 * [taylor]: Taking taylor expansion of 2.0 in t 1.137 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.137 * [taylor]: Taking taylor expansion of 2.0 in t 1.137 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.137 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.137 * [taylor]: Taking taylor expansion of 1.0 in t 1.137 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.137 * [taylor]: Taking taylor expansion of 1.0 in t 1.137 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.137 * [taylor]: Taking taylor expansion of t in t 1.138 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1) 1.138 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) 2) in (t) around 0 1.138 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) 2) in t 1.138 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.138 * [taylor]: Taking taylor expansion of 2.0 in t 1.138 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.138 * [taylor]: Taking taylor expansion of 2.0 in t 1.138 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.138 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.138 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.138 * [taylor]: Taking taylor expansion of 1.0 in t 1.138 * [taylor]: Taking taylor expansion of t in t 1.138 * [taylor]: Taking taylor expansion of 1.0 in t 1.138 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) 2) in t 1.138 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.138 * [taylor]: Taking taylor expansion of 2.0 in t 1.138 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.138 * [taylor]: Taking taylor expansion of 2.0 in t 1.139 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.139 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.139 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.139 * [taylor]: Taking taylor expansion of 1.0 in t 1.139 * [taylor]: Taking taylor expansion of t in t 1.139 * [taylor]: Taking taylor expansion of 1.0 in t 1.140 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) 2) in (t) around 0 1.140 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) 2) in t 1.140 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.140 * [taylor]: Taking taylor expansion of 2.0 in t 1.140 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.140 * [taylor]: Taking taylor expansion of 2.0 in t 1.140 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.140 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.140 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.140 * [taylor]: Taking taylor expansion of 1.0 in t 1.140 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.140 * [taylor]: Taking taylor expansion of t in t 1.140 * [taylor]: Taking taylor expansion of 1.0 in t 1.140 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) 2) in t 1.140 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.140 * [taylor]: Taking taylor expansion of 2.0 in t 1.140 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.140 * [taylor]: Taking taylor expansion of 2.0 in t 1.140 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.140 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.140 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.140 * [taylor]: Taking taylor expansion of 1.0 in t 1.140 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.140 * [taylor]: Taking taylor expansion of t in t 1.140 * [taylor]: Taking taylor expansion of 1.0 in t 1.141 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) 2) in (t) around 0 1.141 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) 2) in t 1.141 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.141 * [taylor]: Taking taylor expansion of 2.0 in t 1.141 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.141 * [taylor]: Taking taylor expansion of 2.0 in t 1.141 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.141 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.141 * [taylor]: Taking taylor expansion of 1.0 in t 1.141 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.141 * [taylor]: Taking taylor expansion of 1.0 in t 1.141 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.141 * [taylor]: Taking taylor expansion of t in t 1.141 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) 2) in t 1.141 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.141 * [taylor]: Taking taylor expansion of 2.0 in t 1.141 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.141 * [taylor]: Taking taylor expansion of 2.0 in t 1.141 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.141 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.141 * [taylor]: Taking taylor expansion of 1.0 in t 1.141 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.141 * [taylor]: Taking taylor expansion of 1.0 in t 1.141 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.141 * [taylor]: Taking taylor expansion of t in t 1.142 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 1.142 * [approximate]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))))) in (t) around 0 1.142 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))))) in t 1.142 * [taylor]: Taking taylor expansion of 1.0 in t 1.142 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.142 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) in t 1.142 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) in t 1.142 * [taylor]: Taking taylor expansion of 4.0 in t 1.142 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 t) 1.0) 2)) in t 1.142 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 t) 1.0) 2) in t 1.142 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.142 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.142 * [taylor]: Taking taylor expansion of 1.0 in t 1.142 * [taylor]: Taking taylor expansion of t in t 1.142 * [taylor]: Taking taylor expansion of 1.0 in t 1.142 * [taylor]: Taking taylor expansion of 6.0 in t 1.142 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.142 * [taylor]: Taking taylor expansion of 8.0 in t 1.142 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.142 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.142 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.143 * [taylor]: Taking taylor expansion of 1.0 in t 1.143 * [taylor]: Taking taylor expansion of t in t 1.143 * [taylor]: Taking taylor expansion of 1.0 in t 1.143 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))))) in t 1.143 * [taylor]: Taking taylor expansion of 1.0 in t 1.143 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.143 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) in t 1.143 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) in t 1.143 * [taylor]: Taking taylor expansion of 4.0 in t 1.143 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 t) 1.0) 2)) in t 1.143 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 t) 1.0) 2) in t 1.143 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.143 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.143 * [taylor]: Taking taylor expansion of 1.0 in t 1.143 * [taylor]: Taking taylor expansion of t in t 1.143 * [taylor]: Taking taylor expansion of 1.0 in t 1.143 * [taylor]: Taking taylor expansion of 6.0 in t 1.143 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.143 * [taylor]: Taking taylor expansion of 8.0 in t 1.143 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.143 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.143 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.143 * [taylor]: Taking taylor expansion of 1.0 in t 1.143 * [taylor]: Taking taylor expansion of t in t 1.143 * [taylor]: Taking taylor expansion of 1.0 in t 1.145 * [approximate]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0 1.145 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))))) in t 1.145 * [taylor]: Taking taylor expansion of 1.0 in t 1.145 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.145 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) in t 1.145 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) in t 1.145 * [taylor]: Taking taylor expansion of 4.0 in t 1.145 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)) in t 1.145 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 (/ 1 t)) 1.0) 2) in t 1.145 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.145 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.145 * [taylor]: Taking taylor expansion of 1.0 in t 1.145 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.145 * [taylor]: Taking taylor expansion of t in t 1.145 * [taylor]: Taking taylor expansion of 1.0 in t 1.145 * [taylor]: Taking taylor expansion of 6.0 in t 1.145 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.145 * [taylor]: Taking taylor expansion of 8.0 in t 1.145 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.145 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.145 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.145 * [taylor]: Taking taylor expansion of 1.0 in t 1.145 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.145 * [taylor]: Taking taylor expansion of t in t 1.145 * [taylor]: Taking taylor expansion of 1.0 in t 1.145 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))))) in t 1.145 * [taylor]: Taking taylor expansion of 1.0 in t 1.145 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.145 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) in t 1.145 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) in t 1.145 * [taylor]: Taking taylor expansion of 4.0 in t 1.145 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)) in t 1.145 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 (/ 1 t)) 1.0) 2) in t 1.146 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.146 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.146 * [taylor]: Taking taylor expansion of 1.0 in t 1.146 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.146 * [taylor]: Taking taylor expansion of t in t 1.146 * [taylor]: Taking taylor expansion of 1.0 in t 1.146 * [taylor]: Taking taylor expansion of 6.0 in t 1.146 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.146 * [taylor]: Taking taylor expansion of 8.0 in t 1.146 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.146 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.146 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.146 * [taylor]: Taking taylor expansion of 1.0 in t 1.146 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.146 * [taylor]: Taking taylor expansion of t in t 1.146 * [taylor]: Taking taylor expansion of 1.0 in t 1.147 * [approximate]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))))) in (t) around 0 1.147 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))))) in t 1.147 * [taylor]: Taking taylor expansion of 1.0 in t 1.147 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.147 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) in t 1.147 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) in t 1.147 * [taylor]: Taking taylor expansion of 4.0 in t 1.147 * [taylor]: Taking taylor expansion of (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2)) in t 1.147 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 t))) 2) in t 1.147 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.147 * [taylor]: Taking taylor expansion of 1.0 in t 1.147 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.147 * [taylor]: Taking taylor expansion of 1.0 in t 1.147 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.147 * [taylor]: Taking taylor expansion of t in t 1.147 * [taylor]: Taking taylor expansion of 6.0 in t 1.147 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.147 * [taylor]: Taking taylor expansion of 8.0 in t 1.147 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.147 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.147 * [taylor]: Taking taylor expansion of 1.0 in t 1.147 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.147 * [taylor]: Taking taylor expansion of 1.0 in t 1.147 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.147 * [taylor]: Taking taylor expansion of t in t 1.147 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))))) in t 1.147 * [taylor]: Taking taylor expansion of 1.0 in t 1.147 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.147 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) in t 1.147 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) in t 1.147 * [taylor]: Taking taylor expansion of 4.0 in t 1.147 * [taylor]: Taking taylor expansion of (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2)) in t 1.147 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 t))) 2) in t 1.147 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.147 * [taylor]: Taking taylor expansion of 1.0 in t 1.147 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.147 * [taylor]: Taking taylor expansion of 1.0 in t 1.148 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.148 * [taylor]: Taking taylor expansion of t in t 1.148 * [taylor]: Taking taylor expansion of 6.0 in t 1.148 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.148 * [taylor]: Taking taylor expansion of 8.0 in t 1.148 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.148 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.148 * [taylor]: Taking taylor expansion of 1.0 in t 1.148 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.148 * [taylor]: Taking taylor expansion of 1.0 in t 1.148 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.148 * [taylor]: Taking taylor expansion of t in t 1.148 * * * [progress]: simplifying candidates 1.154 * [simplify]: Simplifying using # : (/ (exp 2.0) (exp (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (/ (exp 2.0) (exp (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (+ 1 1) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (+ 1 1) (+ (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (log (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (exp (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (* (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (cbrt (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))))) (cbrt (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (* (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (sqrt (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (sqrt (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3))) (* (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))))) (* (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3))) (* (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))))) (* (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0))))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (* 1 1) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* 1 1) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0)))))) (* (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0)))))) (* 1 1) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* 1 1) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (* 2 1) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 2.0) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 2.0) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0))))) (* 2.0 (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* 2.0 (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 1) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0)))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 1) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (log 1.0) (log (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (log (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ (* (* 1.0 1.0) 1.0) (* (* (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0) (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (* (cbrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (cbrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (cbrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (* (* (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (sqrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (sqrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (neg 1.0) (neg (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (/ (cbrt 1.0) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ (cbrt 1.0) (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (/ (cbrt 1.0) (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (/ (sqrt 1.0) (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (/ (sqrt 1.0) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ (sqrt 1.0) (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ (sqrt 1.0) (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ (sqrt 1.0) 1) (/ (sqrt 1.0) (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (/ 1 (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (/ 1.0 (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ 1 (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ 1.0 (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ 1 1) (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (/ 1 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (/ (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0) 1.0) (/ 1.0 (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (/ 1.0 (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ 1.0 1) (/ (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0) (cbrt 1.0)) (/ (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0) (sqrt 1.0)) (/ (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0) 1.0) (/ 1.0 (+ (pow (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 3) (pow 2.0 3))) (/ 1.0 (- (* (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (* 2.0 2.0))) (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 4.0 (pow t 2)) (* 12.0 (pow t 4))) (* 8.0 (pow t 3))) (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t))) (- (+ (* 12.0 (/ 1 (pow t 2))) 4.0) (* 8.0 (/ 1 t))) (- (+ (* 2.0 (pow t 3)) 0.5) (* 1.0 (pow t 2))) (- (+ (* 0.2222222222222222 (/ 1 t)) 0.16666666666666666) (* 0.037037037037037035 (/ 1 (pow t 2)))) (- (+ (* 0.2222222222222222 (/ 1 t)) 0.16666666666666666) (* 0.037037037037037035 (/ 1 (pow t 2)))) 1.160 * * [simplify]: iteration 0 : 172 enodes (cost 3148 ) 1.188 * * [simplify]: iteration 1 : 414 enodes (cost 2906 ) 1.277 * * [simplify]: iteration 2 : 1415 enodes (cost 2658 ) 1.597 * * [simplify]: iteration done : 5001 enodes (cost 2654 ) 1.604 * [simplify]: Simplified to: (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 3) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (* (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 3) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (* (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) 2 (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2 (* 2 (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (* 2 (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (exp (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 6) (* (cbrt (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))))) (cbrt (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 6) (fabs (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (fabs (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3))) (* (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))))) (* (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0))))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (pow (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 3)) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 1 (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 1 (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0)))))) (* (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0)))))) 1 (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 1 (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 2 (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 2.0) (* (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 2.0) (* (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 2.0) (* (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 2.0) (* (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))))) (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 3) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0)))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (pow (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 3) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))))) (log (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (log (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (pow (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) 3) (* (cbrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (cbrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (cbrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (pow (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) 3) (sqrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (sqrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (neg 1.0) (neg (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (/ (cbrt 1.0) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ (cbrt 1.0) (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (* (cbrt 1.0) (cbrt 1.0)) (/ (cbrt 1.0) (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (/ (sqrt 1.0) (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (/ (sqrt 1.0) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ (sqrt 1.0) (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ (sqrt 1.0) (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (sqrt 1.0) (/ (sqrt 1.0) (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (/ 1 (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (/ 1.0 (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ 1 (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ 1.0 (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) 1 (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (/ 1 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (/ (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0) 1.0) (/ 1.0 (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (/ 1.0 (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) 1.0 (/ (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0) (cbrt 1.0)) (/ (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0) (sqrt 1.0)) (/ (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0) 1.0) (/ 1.0 (+ (pow 2.0 3) (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 6))) (/ 1.0 (- (* (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 3) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* 2.0 2.0))) (* 2.0 (- (+ t (pow t 3)) (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2))) (* 2.0 (- (+ t (pow t 3)) (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2))) (+ (* (pow t 2) (- 4.0 (* 8.0 t))) (* 12.0 (pow t 4))) (- (+ 4.0 (/ 12.0 (pow t 2))) (/ 8.0 t)) (- (+ 4.0 (/ 12.0 (pow t 2))) (/ 8.0 t)) (+ 0.5 (* (pow t 2) (- (* 2.0 t) 1.0))) (+ (/ 0.2222222222222222 t) (- 0.16666666666666666 (/ 0.037037037037037035 (pow t 2)))) (+ (/ 0.2222222222222222 t) (- 0.16666666666666666 (/ 0.037037037037037035 (pow t 2)))) 1.606 * * * [progress]: adding candidates to table 1.840 * * [progress]: iteration 2 / 4 1.840 * * * [progress]: picking best candidate 1.848 * * * * [pick]: Picked # 1.848 * * * [progress]: localizing error 1.872 * * * [progress]: generating rewritten candidates 1.872 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1 2) 1.885 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 2 1 1) 1.895 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 2) 1.905 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2 1) 1.917 * * * [progress]: generating series expansions 1.917 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1 2) 1.917 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 1.918 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.918 * [taylor]: Taking taylor expansion of 2.0 in t 1.918 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.918 * [taylor]: Taking taylor expansion of 2.0 in t 1.918 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.918 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.918 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.918 * [taylor]: Taking taylor expansion of 1.0 in t 1.918 * [taylor]: Taking taylor expansion of t in t 1.918 * [taylor]: Taking taylor expansion of 1.0 in t 1.918 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.918 * [taylor]: Taking taylor expansion of 2.0 in t 1.918 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.918 * [taylor]: Taking taylor expansion of 2.0 in t 1.918 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.918 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.918 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.918 * [taylor]: Taking taylor expansion of 1.0 in t 1.918 * [taylor]: Taking taylor expansion of t in t 1.918 * [taylor]: Taking taylor expansion of 1.0 in t 1.919 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 1.919 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.919 * [taylor]: Taking taylor expansion of 2.0 in t 1.919 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.919 * [taylor]: Taking taylor expansion of 2.0 in t 1.919 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.919 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.919 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.919 * [taylor]: Taking taylor expansion of 1.0 in t 1.919 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.919 * [taylor]: Taking taylor expansion of t in t 1.919 * [taylor]: Taking taylor expansion of 1.0 in t 1.919 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.919 * [taylor]: Taking taylor expansion of 2.0 in t 1.919 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.919 * [taylor]: Taking taylor expansion of 2.0 in t 1.919 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.919 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.919 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.919 * [taylor]: Taking taylor expansion of 1.0 in t 1.919 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.919 * [taylor]: Taking taylor expansion of t in t 1.919 * [taylor]: Taking taylor expansion of 1.0 in t 1.920 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 1.920 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.920 * [taylor]: Taking taylor expansion of 2.0 in t 1.920 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.920 * [taylor]: Taking taylor expansion of 2.0 in t 1.920 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.920 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.920 * [taylor]: Taking taylor expansion of 1.0 in t 1.920 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.920 * [taylor]: Taking taylor expansion of 1.0 in t 1.920 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.920 * [taylor]: Taking taylor expansion of t in t 1.920 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.920 * [taylor]: Taking taylor expansion of 2.0 in t 1.920 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.920 * [taylor]: Taking taylor expansion of 2.0 in t 1.920 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.920 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.920 * [taylor]: Taking taylor expansion of 1.0 in t 1.920 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.920 * [taylor]: Taking taylor expansion of 1.0 in t 1.920 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.920 * [taylor]: Taking taylor expansion of t in t 1.921 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 2 1 1) 1.921 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 1.921 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.921 * [taylor]: Taking taylor expansion of 2.0 in t 1.921 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.921 * [taylor]: Taking taylor expansion of 2.0 in t 1.921 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.921 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.921 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.921 * [taylor]: Taking taylor expansion of 1.0 in t 1.921 * [taylor]: Taking taylor expansion of t in t 1.921 * [taylor]: Taking taylor expansion of 1.0 in t 1.921 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.921 * [taylor]: Taking taylor expansion of 2.0 in t 1.921 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.921 * [taylor]: Taking taylor expansion of 2.0 in t 1.921 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.921 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.921 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.921 * [taylor]: Taking taylor expansion of 1.0 in t 1.921 * [taylor]: Taking taylor expansion of t in t 1.921 * [taylor]: Taking taylor expansion of 1.0 in t 1.922 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 1.922 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.922 * [taylor]: Taking taylor expansion of 2.0 in t 1.922 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.922 * [taylor]: Taking taylor expansion of 2.0 in t 1.922 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.922 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.922 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.922 * [taylor]: Taking taylor expansion of 1.0 in t 1.922 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.922 * [taylor]: Taking taylor expansion of t in t 1.922 * [taylor]: Taking taylor expansion of 1.0 in t 1.922 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.922 * [taylor]: Taking taylor expansion of 2.0 in t 1.922 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.922 * [taylor]: Taking taylor expansion of 2.0 in t 1.922 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.922 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.922 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.923 * [taylor]: Taking taylor expansion of 1.0 in t 1.923 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.923 * [taylor]: Taking taylor expansion of t in t 1.923 * [taylor]: Taking taylor expansion of 1.0 in t 1.923 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 1.923 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.923 * [taylor]: Taking taylor expansion of 2.0 in t 1.923 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.923 * [taylor]: Taking taylor expansion of 2.0 in t 1.923 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.923 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.923 * [taylor]: Taking taylor expansion of 1.0 in t 1.923 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.923 * [taylor]: Taking taylor expansion of 1.0 in t 1.923 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.923 * [taylor]: Taking taylor expansion of t in t 1.923 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.923 * [taylor]: Taking taylor expansion of 2.0 in t 1.923 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.923 * [taylor]: Taking taylor expansion of 2.0 in t 1.923 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.923 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.923 * [taylor]: Taking taylor expansion of 1.0 in t 1.923 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.924 * [taylor]: Taking taylor expansion of 1.0 in t 1.924 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.924 * [taylor]: Taking taylor expansion of t in t 1.924 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 2) 1.924 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 1.924 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.924 * [taylor]: Taking taylor expansion of 2.0 in t 1.924 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.924 * [taylor]: Taking taylor expansion of 2.0 in t 1.924 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.924 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.924 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.924 * [taylor]: Taking taylor expansion of 1.0 in t 1.924 * [taylor]: Taking taylor expansion of t in t 1.924 * [taylor]: Taking taylor expansion of 1.0 in t 1.924 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.924 * [taylor]: Taking taylor expansion of 2.0 in t 1.924 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.924 * [taylor]: Taking taylor expansion of 2.0 in t 1.924 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.924 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.924 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.924 * [taylor]: Taking taylor expansion of 1.0 in t 1.924 * [taylor]: Taking taylor expansion of t in t 1.925 * [taylor]: Taking taylor expansion of 1.0 in t 1.925 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 1.925 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.925 * [taylor]: Taking taylor expansion of 2.0 in t 1.925 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.925 * [taylor]: Taking taylor expansion of 2.0 in t 1.925 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.925 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.925 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.925 * [taylor]: Taking taylor expansion of 1.0 in t 1.925 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.926 * [taylor]: Taking taylor expansion of t in t 1.926 * [taylor]: Taking taylor expansion of 1.0 in t 1.926 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.926 * [taylor]: Taking taylor expansion of 2.0 in t 1.926 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.926 * [taylor]: Taking taylor expansion of 2.0 in t 1.926 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.926 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.926 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.926 * [taylor]: Taking taylor expansion of 1.0 in t 1.926 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.926 * [taylor]: Taking taylor expansion of t in t 1.926 * [taylor]: Taking taylor expansion of 1.0 in t 1.926 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 1.926 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.926 * [taylor]: Taking taylor expansion of 2.0 in t 1.926 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.926 * [taylor]: Taking taylor expansion of 2.0 in t 1.926 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.926 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.926 * [taylor]: Taking taylor expansion of 1.0 in t 1.926 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.926 * [taylor]: Taking taylor expansion of 1.0 in t 1.926 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.926 * [taylor]: Taking taylor expansion of t in t 1.927 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.927 * [taylor]: Taking taylor expansion of 2.0 in t 1.927 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.927 * [taylor]: Taking taylor expansion of 2.0 in t 1.927 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.927 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.927 * [taylor]: Taking taylor expansion of 1.0 in t 1.927 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.927 * [taylor]: Taking taylor expansion of 1.0 in t 1.927 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.927 * [taylor]: Taking taylor expansion of t in t 1.927 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2 1) 1.927 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 1.927 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.927 * [taylor]: Taking taylor expansion of 2.0 in t 1.927 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.927 * [taylor]: Taking taylor expansion of 2.0 in t 1.927 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.927 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.927 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.927 * [taylor]: Taking taylor expansion of 1.0 in t 1.927 * [taylor]: Taking taylor expansion of t in t 1.927 * [taylor]: Taking taylor expansion of 1.0 in t 1.928 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.928 * [taylor]: Taking taylor expansion of 2.0 in t 1.928 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.928 * [taylor]: Taking taylor expansion of 2.0 in t 1.928 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.928 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.928 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.928 * [taylor]: Taking taylor expansion of 1.0 in t 1.928 * [taylor]: Taking taylor expansion of t in t 1.928 * [taylor]: Taking taylor expansion of 1.0 in t 1.929 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 1.929 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.929 * [taylor]: Taking taylor expansion of 2.0 in t 1.929 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.929 * [taylor]: Taking taylor expansion of 2.0 in t 1.929 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.929 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.929 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.929 * [taylor]: Taking taylor expansion of 1.0 in t 1.929 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.929 * [taylor]: Taking taylor expansion of t in t 1.929 * [taylor]: Taking taylor expansion of 1.0 in t 1.929 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.929 * [taylor]: Taking taylor expansion of 2.0 in t 1.929 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.929 * [taylor]: Taking taylor expansion of 2.0 in t 1.929 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.929 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.929 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.929 * [taylor]: Taking taylor expansion of 1.0 in t 1.929 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.929 * [taylor]: Taking taylor expansion of t in t 1.929 * [taylor]: Taking taylor expansion of 1.0 in t 1.930 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 1.930 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.930 * [taylor]: Taking taylor expansion of 2.0 in t 1.930 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.930 * [taylor]: Taking taylor expansion of 2.0 in t 1.930 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.930 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.930 * [taylor]: Taking taylor expansion of 1.0 in t 1.930 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.930 * [taylor]: Taking taylor expansion of 1.0 in t 1.930 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.930 * [taylor]: Taking taylor expansion of t in t 1.930 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.930 * [taylor]: Taking taylor expansion of 2.0 in t 1.930 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.930 * [taylor]: Taking taylor expansion of 2.0 in t 1.930 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.930 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.930 * [taylor]: Taking taylor expansion of 1.0 in t 1.930 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.930 * [taylor]: Taking taylor expansion of 1.0 in t 1.930 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.930 * [taylor]: Taking taylor expansion of t in t 1.931 * * * [progress]: simplifying candidates 1.932 * [simplify]: Simplifying using # : (/ (exp 2.0) (exp (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (/ (exp 2.0) (exp (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (/ (exp 2.0) (exp (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (/ (exp 2.0) (exp (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) 1.934 * * [simplify]: iteration 0 : 52 enodes (cost 1188 ) 1.942 * * [simplify]: iteration 1 : 122 enodes (cost 1144 ) 1.965 * * [simplify]: iteration 2 : 325 enodes (cost 1032 ) 2.028 * * [simplify]: iteration 3 : 1084 enodes (cost 1032 ) 2.377 * * [simplify]: iteration 4 : 4662 enodes (cost 1024 ) 2.993 * * [simplify]: iteration done : 5000 enodes (cost 1024 ) 2.994 * [simplify]: Simplified to: (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 3) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 (- 2.0 (/ 2.0 (* (+ 1.0 (* t 1.0)) (+ 1.0 (* t 1.0)))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 3) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 (- 2.0 (/ 2.0 (* (+ 1.0 (* t 1.0)) (+ 1.0 (* t 1.0)))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 3) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 (- 2.0 (/ 2.0 (* (+ 1.0 (* t 1.0)) (+ 1.0 (* t 1.0)))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 3) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 (- 2.0 (/ 2.0 (* (+ 1.0 (* t 1.0)) (+ 1.0 (* t 1.0)))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 (- (+ t (pow t 3)) (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2))) (* 2.0 (- (+ t (pow t 3)) (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2))) (* 2.0 (- (+ t (pow t 3)) (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2))) (* 2.0 (- (+ t (pow t 3)) (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ 2.0 (pow t 2))) 2.995 * * * [progress]: adding candidates to table 3.353 * * [progress]: iteration 3 / 4 3.353 * * * [progress]: picking best candidate 3.356 * * * * [pick]: Picked # 3.356 * * * [progress]: localizing error 3.370 * * * [progress]: generating rewritten candidates 3.370 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 2 1 2) 3.380 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2 1 1) 3.391 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 3.421 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 3.449 * * * [progress]: generating series expansions 3.449 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 2 1 2) 3.449 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 3.449 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 3.449 * [taylor]: Taking taylor expansion of 2.0 in t 3.449 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 3.449 * [taylor]: Taking taylor expansion of 2.0 in t 3.449 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 3.449 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.449 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.449 * [taylor]: Taking taylor expansion of 1.0 in t 3.449 * [taylor]: Taking taylor expansion of t in t 3.449 * [taylor]: Taking taylor expansion of 1.0 in t 3.449 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 3.449 * [taylor]: Taking taylor expansion of 2.0 in t 3.449 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 3.449 * [taylor]: Taking taylor expansion of 2.0 in t 3.449 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 3.449 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.449 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.449 * [taylor]: Taking taylor expansion of 1.0 in t 3.449 * [taylor]: Taking taylor expansion of t in t 3.449 * [taylor]: Taking taylor expansion of 1.0 in t 3.450 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 3.450 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 3.450 * [taylor]: Taking taylor expansion of 2.0 in t 3.450 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 3.450 * [taylor]: Taking taylor expansion of 2.0 in t 3.450 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 3.450 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.450 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.450 * [taylor]: Taking taylor expansion of 1.0 in t 3.450 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.450 * [taylor]: Taking taylor expansion of t in t 3.450 * [taylor]: Taking taylor expansion of 1.0 in t 3.451 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 3.451 * [taylor]: Taking taylor expansion of 2.0 in t 3.451 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 3.451 * [taylor]: Taking taylor expansion of 2.0 in t 3.451 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 3.451 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.451 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.451 * [taylor]: Taking taylor expansion of 1.0 in t 3.451 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.451 * [taylor]: Taking taylor expansion of t in t 3.451 * [taylor]: Taking taylor expansion of 1.0 in t 3.451 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 3.451 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 3.451 * [taylor]: Taking taylor expansion of 2.0 in t 3.451 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 3.451 * [taylor]: Taking taylor expansion of 2.0 in t 3.451 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 3.451 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 3.451 * [taylor]: Taking taylor expansion of 1.0 in t 3.451 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.451 * [taylor]: Taking taylor expansion of 1.0 in t 3.451 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.451 * [taylor]: Taking taylor expansion of t in t 3.452 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 3.452 * [taylor]: Taking taylor expansion of 2.0 in t 3.452 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 3.452 * [taylor]: Taking taylor expansion of 2.0 in t 3.452 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 3.452 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 3.452 * [taylor]: Taking taylor expansion of 1.0 in t 3.452 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.452 * [taylor]: Taking taylor expansion of 1.0 in t 3.452 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.452 * [taylor]: Taking taylor expansion of t in t 3.452 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2 1 1) 3.452 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 3.452 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 3.452 * [taylor]: Taking taylor expansion of 2.0 in t 3.452 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 3.452 * [taylor]: Taking taylor expansion of 2.0 in t 3.452 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 3.452 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.452 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.452 * [taylor]: Taking taylor expansion of 1.0 in t 3.452 * [taylor]: Taking taylor expansion of t in t 3.452 * [taylor]: Taking taylor expansion of 1.0 in t 3.453 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 3.453 * [taylor]: Taking taylor expansion of 2.0 in t 3.453 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 3.453 * [taylor]: Taking taylor expansion of 2.0 in t 3.453 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 3.453 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.453 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.453 * [taylor]: Taking taylor expansion of 1.0 in t 3.453 * [taylor]: Taking taylor expansion of t in t 3.453 * [taylor]: Taking taylor expansion of 1.0 in t 3.453 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 3.454 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 3.454 * [taylor]: Taking taylor expansion of 2.0 in t 3.454 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 3.454 * [taylor]: Taking taylor expansion of 2.0 in t 3.454 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 3.454 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.454 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.454 * [taylor]: Taking taylor expansion of 1.0 in t 3.454 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.454 * [taylor]: Taking taylor expansion of t in t 3.454 * [taylor]: Taking taylor expansion of 1.0 in t 3.454 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 3.454 * [taylor]: Taking taylor expansion of 2.0 in t 3.454 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 3.454 * [taylor]: Taking taylor expansion of 2.0 in t 3.454 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 3.454 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.454 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.454 * [taylor]: Taking taylor expansion of 1.0 in t 3.454 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.454 * [taylor]: Taking taylor expansion of t in t 3.454 * [taylor]: Taking taylor expansion of 1.0 in t 3.454 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 3.454 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 3.454 * [taylor]: Taking taylor expansion of 2.0 in t 3.454 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 3.455 * [taylor]: Taking taylor expansion of 2.0 in t 3.455 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 3.455 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 3.455 * [taylor]: Taking taylor expansion of 1.0 in t 3.455 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.455 * [taylor]: Taking taylor expansion of 1.0 in t 3.455 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.455 * [taylor]: Taking taylor expansion of t in t 3.455 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 3.455 * [taylor]: Taking taylor expansion of 2.0 in t 3.455 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 3.455 * [taylor]: Taking taylor expansion of 2.0 in t 3.455 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 3.455 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 3.455 * [taylor]: Taking taylor expansion of 1.0 in t 3.455 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.455 * [taylor]: Taking taylor expansion of 1.0 in t 3.455 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.455 * [taylor]: Taking taylor expansion of t in t 3.455 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 3.456 * [approximate]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))))) in (t) around 0 3.456 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))))) in t 3.456 * [taylor]: Taking taylor expansion of 1.0 in t 3.456 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 3.456 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) in t 3.456 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) in t 3.456 * [taylor]: Taking taylor expansion of 4.0 in t 3.456 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 t) 1.0) 2)) in t 3.456 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 t) 1.0) 2) in t 3.456 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.456 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.456 * [taylor]: Taking taylor expansion of 1.0 in t 3.456 * [taylor]: Taking taylor expansion of t in t 3.456 * [taylor]: Taking taylor expansion of 1.0 in t 3.456 * [taylor]: Taking taylor expansion of 6.0 in t 3.456 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 3.456 * [taylor]: Taking taylor expansion of 8.0 in t 3.456 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 3.456 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.456 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.456 * [taylor]: Taking taylor expansion of 1.0 in t 3.456 * [taylor]: Taking taylor expansion of t in t 3.456 * [taylor]: Taking taylor expansion of 1.0 in t 3.456 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))))) in t 3.456 * [taylor]: Taking taylor expansion of 1.0 in t 3.456 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 3.456 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) in t 3.456 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) in t 3.456 * [taylor]: Taking taylor expansion of 4.0 in t 3.456 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 t) 1.0) 2)) in t 3.456 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 t) 1.0) 2) in t 3.456 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.456 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.456 * [taylor]: Taking taylor expansion of 1.0 in t 3.456 * [taylor]: Taking taylor expansion of t in t 3.456 * [taylor]: Taking taylor expansion of 1.0 in t 3.457 * [taylor]: Taking taylor expansion of 6.0 in t 3.457 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 3.457 * [taylor]: Taking taylor expansion of 8.0 in t 3.457 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 3.457 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.457 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.457 * [taylor]: Taking taylor expansion of 1.0 in t 3.457 * [taylor]: Taking taylor expansion of t in t 3.457 * [taylor]: Taking taylor expansion of 1.0 in t 3.459 * [approximate]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))))) in (t) around 0 3.459 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))))) in t 3.459 * [taylor]: Taking taylor expansion of 1.0 in t 3.459 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 3.459 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) in t 3.459 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) in t 3.459 * [taylor]: Taking taylor expansion of 4.0 in t 3.459 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)) in t 3.459 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 (/ 1 t)) 1.0) 2) in t 3.459 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.459 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.459 * [taylor]: Taking taylor expansion of 1.0 in t 3.459 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.459 * [taylor]: Taking taylor expansion of t in t 3.459 * [taylor]: Taking taylor expansion of 1.0 in t 3.459 * [taylor]: Taking taylor expansion of 6.0 in t 3.459 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 3.459 * [taylor]: Taking taylor expansion of 8.0 in t 3.459 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 3.459 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.459 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.459 * [taylor]: Taking taylor expansion of 1.0 in t 3.459 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.459 * [taylor]: Taking taylor expansion of t in t 3.459 * [taylor]: Taking taylor expansion of 1.0 in t 3.459 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))))) in t 3.459 * [taylor]: Taking taylor expansion of 1.0 in t 3.459 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 3.459 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) in t 3.459 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) in t 3.459 * [taylor]: Taking taylor expansion of 4.0 in t 3.459 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)) in t 3.459 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 (/ 1 t)) 1.0) 2) in t 3.459 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.459 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.459 * [taylor]: Taking taylor expansion of 1.0 in t 3.459 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.459 * [taylor]: Taking taylor expansion of t in t 3.459 * [taylor]: Taking taylor expansion of 1.0 in t 3.460 * [taylor]: Taking taylor expansion of 6.0 in t 3.460 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 3.460 * [taylor]: Taking taylor expansion of 8.0 in t 3.460 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 3.460 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.460 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.460 * [taylor]: Taking taylor expansion of 1.0 in t 3.460 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.460 * [taylor]: Taking taylor expansion of t in t 3.460 * [taylor]: Taking taylor expansion of 1.0 in t 3.461 * [approximate]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))))) in (t) around 0 3.461 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))))) in t 3.461 * [taylor]: Taking taylor expansion of 1.0 in t 3.461 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 3.461 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) in t 3.461 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) in t 3.461 * [taylor]: Taking taylor expansion of 4.0 in t 3.461 * [taylor]: Taking taylor expansion of (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2)) in t 3.461 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 t))) 2) in t 3.461 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 3.461 * [taylor]: Taking taylor expansion of 1.0 in t 3.461 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.461 * [taylor]: Taking taylor expansion of 1.0 in t 3.461 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.461 * [taylor]: Taking taylor expansion of t in t 3.461 * [taylor]: Taking taylor expansion of 6.0 in t 3.461 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 3.461 * [taylor]: Taking taylor expansion of 8.0 in t 3.461 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 3.461 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 3.461 * [taylor]: Taking taylor expansion of 1.0 in t 3.461 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.461 * [taylor]: Taking taylor expansion of 1.0 in t 3.461 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.461 * [taylor]: Taking taylor expansion of t in t 3.461 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))))) in t 3.461 * [taylor]: Taking taylor expansion of 1.0 in t 3.461 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 3.461 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) in t 3.461 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) in t 3.461 * [taylor]: Taking taylor expansion of 4.0 in t 3.461 * [taylor]: Taking taylor expansion of (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2)) in t 3.461 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 t))) 2) in t 3.461 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 3.461 * [taylor]: Taking taylor expansion of 1.0 in t 3.461 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.461 * [taylor]: Taking taylor expansion of 1.0 in t 3.461 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.461 * [taylor]: Taking taylor expansion of t in t 3.462 * [taylor]: Taking taylor expansion of 6.0 in t 3.462 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 3.462 * [taylor]: Taking taylor expansion of 8.0 in t 3.462 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 3.462 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 3.462 * [taylor]: Taking taylor expansion of 1.0 in t 3.462 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.462 * [taylor]: Taking taylor expansion of 1.0 in t 3.462 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.462 * [taylor]: Taking taylor expansion of t in t 3.462 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 3.463 * [approximate]: Taking taylor expansion of (exp (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0)))))) in (t) around 0 3.463 * [taylor]: Taking taylor expansion of (exp (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0)))))) in t 3.463 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))))) in t 3.463 * [taylor]: Taking taylor expansion of 1.0 in t 3.463 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 3.463 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) in t 3.463 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) in t 3.463 * [taylor]: Taking taylor expansion of 4.0 in t 3.463 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 t) 1.0) 2)) in t 3.463 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 t) 1.0) 2) in t 3.463 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.463 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.463 * [taylor]: Taking taylor expansion of 1.0 in t 3.463 * [taylor]: Taking taylor expansion of t in t 3.463 * [taylor]: Taking taylor expansion of 1.0 in t 3.463 * [taylor]: Taking taylor expansion of 6.0 in t 3.463 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 3.463 * [taylor]: Taking taylor expansion of 8.0 in t 3.463 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 3.463 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.463 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.463 * [taylor]: Taking taylor expansion of 1.0 in t 3.463 * [taylor]: Taking taylor expansion of t in t 3.463 * [taylor]: Taking taylor expansion of 1.0 in t 3.463 * [taylor]: Taking taylor expansion of (exp (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0)))))) in t 3.463 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))))) in t 3.463 * [taylor]: Taking taylor expansion of 1.0 in t 3.463 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 3.463 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) 6.0) in t 3.463 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 t) 1.0) 2))) in t 3.463 * [taylor]: Taking taylor expansion of 4.0 in t 3.463 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 t) 1.0) 2)) in t 3.463 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 t) 1.0) 2) in t 3.463 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.463 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.463 * [taylor]: Taking taylor expansion of 1.0 in t 3.463 * [taylor]: Taking taylor expansion of t in t 3.463 * [taylor]: Taking taylor expansion of 1.0 in t 3.464 * [taylor]: Taking taylor expansion of 6.0 in t 3.464 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 3.464 * [taylor]: Taking taylor expansion of 8.0 in t 3.464 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 3.464 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 3.464 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 3.464 * [taylor]: Taking taylor expansion of 1.0 in t 3.464 * [taylor]: Taking taylor expansion of t in t 3.464 * [taylor]: Taking taylor expansion of 1.0 in t 3.466 * [approximate]: Taking taylor expansion of (exp (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))))) in (t) around 0 3.466 * [taylor]: Taking taylor expansion of (exp (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))))) in t 3.466 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))))) in t 3.466 * [taylor]: Taking taylor expansion of 1.0 in t 3.466 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 3.466 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) in t 3.466 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) in t 3.466 * [taylor]: Taking taylor expansion of 4.0 in t 3.466 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)) in t 3.466 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 (/ 1 t)) 1.0) 2) in t 3.466 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.466 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.466 * [taylor]: Taking taylor expansion of 1.0 in t 3.466 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.466 * [taylor]: Taking taylor expansion of t in t 3.466 * [taylor]: Taking taylor expansion of 1.0 in t 3.466 * [taylor]: Taking taylor expansion of 6.0 in t 3.466 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 3.466 * [taylor]: Taking taylor expansion of 8.0 in t 3.466 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 3.466 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.466 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.466 * [taylor]: Taking taylor expansion of 1.0 in t 3.466 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.466 * [taylor]: Taking taylor expansion of t in t 3.466 * [taylor]: Taking taylor expansion of 1.0 in t 3.467 * [taylor]: Taking taylor expansion of (exp (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))))) in t 3.467 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))))) in t 3.467 * [taylor]: Taking taylor expansion of 1.0 in t 3.467 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 3.467 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) 6.0) in t 3.467 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2))) in t 3.467 * [taylor]: Taking taylor expansion of 4.0 in t 3.467 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (* 1.0 (/ 1 t)) 1.0) 2)) in t 3.467 * [taylor]: Taking taylor expansion of (pow (+ (* 1.0 (/ 1 t)) 1.0) 2) in t 3.467 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.467 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.467 * [taylor]: Taking taylor expansion of 1.0 in t 3.467 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.467 * [taylor]: Taking taylor expansion of t in t 3.467 * [taylor]: Taking taylor expansion of 1.0 in t 3.467 * [taylor]: Taking taylor expansion of 6.0 in t 3.467 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 3.467 * [taylor]: Taking taylor expansion of 8.0 in t 3.467 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 3.467 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 3.467 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.467 * [taylor]: Taking taylor expansion of 1.0 in t 3.467 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.467 * [taylor]: Taking taylor expansion of t in t 3.467 * [taylor]: Taking taylor expansion of 1.0 in t 3.468 * [approximate]: Taking taylor expansion of (exp (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))))) in (t) around 0 3.468 * [taylor]: Taking taylor expansion of (exp (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))))) in t 3.468 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))))) in t 3.468 * [taylor]: Taking taylor expansion of 1.0 in t 3.468 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 3.468 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) in t 3.468 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) in t 3.468 * [taylor]: Taking taylor expansion of 4.0 in t 3.468 * [taylor]: Taking taylor expansion of (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2)) in t 3.468 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 t))) 2) in t 3.468 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 3.468 * [taylor]: Taking taylor expansion of 1.0 in t 3.469 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.469 * [taylor]: Taking taylor expansion of 1.0 in t 3.469 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.469 * [taylor]: Taking taylor expansion of t in t 3.469 * [taylor]: Taking taylor expansion of 6.0 in t 3.469 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 3.469 * [taylor]: Taking taylor expansion of 8.0 in t 3.469 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 3.469 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 3.469 * [taylor]: Taking taylor expansion of 1.0 in t 3.469 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.469 * [taylor]: Taking taylor expansion of 1.0 in t 3.469 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.469 * [taylor]: Taking taylor expansion of t in t 3.469 * [taylor]: Taking taylor expansion of (exp (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))))) in t 3.469 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))))) in t 3.469 * [taylor]: Taking taylor expansion of 1.0 in t 3.469 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 3.469 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) 6.0) in t 3.469 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2))) in t 3.469 * [taylor]: Taking taylor expansion of 4.0 in t 3.469 * [taylor]: Taking taylor expansion of (/ 1 (pow (- 1.0 (* 1.0 (/ 1 t))) 2)) in t 3.469 * [taylor]: Taking taylor expansion of (pow (- 1.0 (* 1.0 (/ 1 t))) 2) in t 3.469 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 3.469 * [taylor]: Taking taylor expansion of 1.0 in t 3.469 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.469 * [taylor]: Taking taylor expansion of 1.0 in t 3.469 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.469 * [taylor]: Taking taylor expansion of t in t 3.469 * [taylor]: Taking taylor expansion of 6.0 in t 3.469 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 3.469 * [taylor]: Taking taylor expansion of 8.0 in t 3.469 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 3.469 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 3.469 * [taylor]: Taking taylor expansion of 1.0 in t 3.469 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 3.469 * [taylor]: Taking taylor expansion of 1.0 in t 3.469 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.470 * [taylor]: Taking taylor expansion of t in t 3.470 * * * [progress]: simplifying candidates 3.472 * [simplify]: Simplifying using # : (/ (exp 2.0) (exp (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (/ (exp 2.0) (exp (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (log (* (cbrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (cbrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))))) (log (cbrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (log (sqrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (log (sqrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (log 1) (log (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (log (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (log (exp (* (cbrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (cbrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))))) (log (exp (sqrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (log (exp (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))))) (log (exp (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (log (exp (/ (* (cbrt 1.0) (cbrt 1.0)) 1))) (log (exp (/ (sqrt 1.0) (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))))) (log (exp (/ (sqrt 1.0) (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (log (exp (/ (sqrt 1.0) 1))) (log (exp (/ 1 (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))))) (log (exp (/ 1 (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (log (exp (/ 1 1))) (log (exp 1)) (log (exp 1.0)) (log (exp (/ 1.0 (+ (pow (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 3) (pow 2.0 3))))) (log (exp (/ 1.0 (- (* (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (* 2.0 2.0))))) (log (log (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (exp (log (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (* (cbrt (log (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (cbrt (log (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))))) (cbrt (log (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (* (* (log (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (log (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (log (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (sqrt (log (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (sqrt (log (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (exp (* (cbrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (cbrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (exp (sqrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (exp (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (exp (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (exp (/ (* (cbrt 1.0) (cbrt 1.0)) 1)) (exp (/ (sqrt 1.0) (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (exp (/ (sqrt 1.0) (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (exp (/ (sqrt 1.0) 1)) (exp (/ 1 (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (exp (/ 1 (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (exp (/ 1 1)) (exp 1) (exp 1.0) (exp (/ 1.0 (+ (pow (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 3) (pow 2.0 3)))) (exp (/ 1.0 (- (* (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (* 2.0 2.0)))) (log (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (exp (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (* (cbrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (cbrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (cbrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (* (* (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (sqrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (sqrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (pow t 3)) 0.5) (* 1.0 (pow t 2))) (- (+ (* 0.2222222222222222 (/ 1 t)) 0.16666666666666666) (* 0.037037037037037035 (/ 1 (pow t 2)))) (- (+ (* 0.2222222222222222 (/ 1 t)) 0.16666666666666666) (* 0.037037037037037035 (/ 1 (pow t 2)))) (- (+ (* 2.0 (* (pow t 3) (exp 0.5))) (exp 0.5)) (* 1.0 (* (pow t 2) (exp 0.5)))) (- (+ (* 0.2222222222222222 (/ (exp 0.16666666666666666) t)) (exp 0.16666666666666666)) (* 0.012345679012345678 (/ (exp 0.16666666666666666) (pow t 2)))) (- (+ (* 0.2222222222222222 (/ (exp 0.16666666666666666) t)) (exp 0.16666666666666666)) (* 0.012345679012345678 (/ (exp 0.16666666666666666) (pow t 2)))) 3.477 * * [simplify]: iteration 0 : 153 enodes (cost 2198 ) 3.502 * * [simplify]: iteration 1 : 298 enodes (cost 2104 ) 3.551 * * [simplify]: iteration 2 : 737 enodes (cost 1866 ) 3.684 * * [simplify]: iteration 3 : 2135 enodes (cost 1830 ) 4.062 * * [simplify]: iteration done : 5000 enodes (cost 1830 ) 4.063 * [simplify]: Simplified to: (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 3) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (log (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (exp (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (* (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (cbrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 3) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (sqrt (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) (- (pow 2.0 3) (pow (/ 2.0 (+ 1.0 (* t 1.0))) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (- (* 2.0 2.0) (* (/ 2.0 (+ 1.0 (* t 1.0))) (/ 2.0 (+ 1.0 (* t 1.0))))) (+ 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ 1.0 (* t 1.0))))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ 1.0 (* t 1.0))))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (neg (/ 2.0 (+ 1.0 (* t 1.0)))) (* 2 (log (cbrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))))) (log (cbrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (log (sqrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (log (sqrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) 0 (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (* (cbrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (cbrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (sqrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (* (cbrt 1.0) (cbrt 1.0)) (/ (sqrt 1.0) (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (/ (sqrt 1.0) (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (sqrt 1.0) (/ 1 (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (/ 1 (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) 1 1 1.0 (/ 1.0 (+ (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 6) (pow 2.0 3))) (/ 1.0 (- (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 4) (* 2.0 2.0))) (log (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (* (cbrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (cbrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (cbrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (pow (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) 3) (sqrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (sqrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (exp (* (cbrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) (cbrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (exp (sqrt (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (exp (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (exp (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (exp (* (cbrt 1.0) (cbrt 1.0))) (exp (/ (sqrt 1.0) (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (exp (/ (sqrt 1.0) (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (exp (sqrt 1.0)) (exp (/ 1 (* (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (cbrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (exp (/ 1 (sqrt (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) E E (exp 1.0) (exp (/ 1.0 (+ (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 6) (pow 2.0 3)))) (exp (/ 1.0 (- (pow (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) 4) (* 2.0 2.0)))) (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)) (exp (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (* (cbrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (cbrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))))) (cbrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (pow (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0))) 3) (sqrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (sqrt (exp (/ 1.0 (+ (* (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0)))) (- 2.0 (/ 2.0 (+ 1.0 (* t 1.0))))) 2.0)))) (* 2.0 (- (+ t (pow t 3)) (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ (/ 2.0 t) t)) (+ (- 2.0 (/ 2.0 t)) (/ (/ 2.0 t) t)) (* 2.0 (- (+ t (pow t 3)) (pow t 2))) (+ (- 2.0 (/ 2.0 t)) (/ (/ 2.0 t) t)) (+ (- 2.0 (/ 2.0 t)) (/ (/ 2.0 t) t)) (+ 0.5 (* (pow t 2) (- (* 2.0 t) 1.0))) (- (+ 0.16666666666666666 (/ 0.2222222222222222 t)) (/ 0.037037037037037035 (pow t 2))) (- (+ 0.16666666666666666 (/ 0.2222222222222222 t)) (/ 0.037037037037037035 (pow t 2))) (+ (exp 0.5) (* (exp 0.5) (* (pow t 2) (- (* 2.0 t) 1.0)))) (+ (exp 0.16666666666666666) (* (/ (exp 0.16666666666666666) t) (- 0.2222222222222222 (/ 0.012345679012345678 t)))) (+ (exp 0.16666666666666666) (* (/ (exp 0.16666666666666666) t) (- 0.2222222222222222 (/ 0.012345679012345678 t)))) 4.063 * * * [progress]: adding candidates to table 4.315 * [progress]: [Phase 3 of 3] Extracting. 4.315 * * [regime]: Finding splitpoints for: (# #) 4.316 * * * [regime-changes]: Trying 1 branch expressions: (t) 4.316 * * * * [regimes]: Trying to branch on t from (# #) 4.344 * * * [regime]: Found split indices: #