0.244 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.024 * * * [progress]: [2/2] Setting up program. 0.027 * [progress]: [Phase 2 of 3] Improving. 0.027 * [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.028 * * [simplify]: iteration 0 : 12 enodes (cost 29 ) 0.029 * * [simplify]: iteration 1 : 20 enodes (cost 29 ) 0.032 * * [simplify]: iteration 2 : 37 enodes (cost 29 ) 0.037 * * [simplify]: iteration 3 : 80 enodes (cost 29 ) 0.051 * * [simplify]: iteration 4 : 216 enodes (cost 29 ) 0.106 * * [simplify]: iteration 5 : 529 enodes (cost 29 ) 0.319 * * [simplify]: iteration 6 : 1170 enodes (cost 29 ) 1.368 * * [simplify]: iteration 7 : 2730 enodes (cost 25 ) 3.256 * * [simplify]: iteration 8 : 4570 enodes (cost 25 ) 4.167 * * [simplify]: iteration done : 5000 enodes (cost 25 ) 4.167 * [simplify]: Simplified to: (- 1.0 (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) 4.171 * * [progress]: iteration 1 / 4 4.171 * * * [progress]: picking best candidate 4.173 * * * * [pick]: Picked # 4.173 * * * [progress]: localizing error 4.187 * * * [progress]: generating rewritten candidates 4.187 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2) 4.194 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1) 4.201 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2) 4.216 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 4.225 * * * [progress]: generating series expansions 4.225 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2) 4.225 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in (t) around 0 4.225 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t 4.225 * [taylor]: Taking taylor expansion of 2.0 in t 4.225 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t 4.225 * [taylor]: Taking taylor expansion of 2.0 in t 4.225 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t 4.225 * [taylor]: Taking taylor expansion of (+ t 1) in t 4.225 * [taylor]: Taking taylor expansion of t in t 4.225 * [taylor]: Taking taylor expansion of 1 in t 4.225 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t 4.225 * [taylor]: Taking taylor expansion of 2.0 in t 4.225 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t 4.225 * [taylor]: Taking taylor expansion of 2.0 in t 4.225 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t 4.225 * [taylor]: Taking taylor expansion of (+ t 1) in t 4.225 * [taylor]: Taking taylor expansion of t in t 4.225 * [taylor]: Taking taylor expansion of 1 in t 4.226 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0 4.226 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t 4.226 * [taylor]: Taking taylor expansion of 2.0 in t 4.226 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t 4.226 * [taylor]: Taking taylor expansion of 2.0 in t 4.226 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 4.226 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 4.226 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.226 * [taylor]: Taking taylor expansion of t in t 4.226 * [taylor]: Taking taylor expansion of 1 in t 4.226 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t 4.226 * [taylor]: Taking taylor expansion of 2.0 in t 4.226 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t 4.226 * [taylor]: Taking taylor expansion of 2.0 in t 4.226 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 4.226 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 4.226 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.226 * [taylor]: Taking taylor expansion of t in t 4.226 * [taylor]: Taking taylor expansion of 1 in t 4.227 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in (t) around 0 4.227 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t 4.227 * [taylor]: Taking taylor expansion of 2.0 in t 4.227 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t 4.227 * [taylor]: Taking taylor expansion of 2.0 in t 4.227 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 4.227 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 4.227 * [taylor]: Taking taylor expansion of 1 in t 4.227 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.227 * [taylor]: Taking taylor expansion of t in t 4.227 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t 4.227 * [taylor]: Taking taylor expansion of 2.0 in t 4.227 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t 4.227 * [taylor]: Taking taylor expansion of 2.0 in t 4.227 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 4.227 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 4.227 * [taylor]: Taking taylor expansion of 1 in t 4.227 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.227 * [taylor]: Taking taylor expansion of t in t 4.228 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1) 4.228 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in (t) around 0 4.228 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t 4.228 * [taylor]: Taking taylor expansion of 2.0 in t 4.228 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t 4.228 * [taylor]: Taking taylor expansion of 2.0 in t 4.228 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t 4.228 * [taylor]: Taking taylor expansion of (+ t 1) in t 4.228 * [taylor]: Taking taylor expansion of t in t 4.228 * [taylor]: Taking taylor expansion of 1 in t 4.228 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t 4.228 * [taylor]: Taking taylor expansion of 2.0 in t 4.228 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t 4.228 * [taylor]: Taking taylor expansion of 2.0 in t 4.228 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t 4.228 * [taylor]: Taking taylor expansion of (+ t 1) in t 4.228 * [taylor]: Taking taylor expansion of t in t 4.228 * [taylor]: Taking taylor expansion of 1 in t 4.229 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0 4.229 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t 4.229 * [taylor]: Taking taylor expansion of 2.0 in t 4.229 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t 4.229 * [taylor]: Taking taylor expansion of 2.0 in t 4.229 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 4.229 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 4.229 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.229 * [taylor]: Taking taylor expansion of t in t 4.229 * [taylor]: Taking taylor expansion of 1 in t 4.229 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t 4.229 * [taylor]: Taking taylor expansion of 2.0 in t 4.229 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t 4.229 * [taylor]: Taking taylor expansion of 2.0 in t 4.229 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 4.229 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 4.229 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.229 * [taylor]: Taking taylor expansion of t in t 4.229 * [taylor]: Taking taylor expansion of 1 in t 4.229 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in (t) around 0 4.229 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t 4.230 * [taylor]: Taking taylor expansion of 2.0 in t 4.230 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t 4.230 * [taylor]: Taking taylor expansion of 2.0 in t 4.230 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 4.230 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 4.230 * [taylor]: Taking taylor expansion of 1 in t 4.230 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.230 * [taylor]: Taking taylor expansion of t in t 4.230 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t 4.230 * [taylor]: Taking taylor expansion of 2.0 in t 4.230 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t 4.230 * [taylor]: Taking taylor expansion of 2.0 in t 4.230 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 4.230 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 4.230 * [taylor]: Taking taylor expansion of 1 in t 4.230 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.230 * [taylor]: Taking taylor expansion of t in t 4.230 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2) 4.230 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ t 1)))) 2) in (t) around 0 4.230 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ t 1)))) 2) in t 4.230 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t 4.230 * [taylor]: Taking taylor expansion of 2.0 in t 4.230 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t 4.230 * [taylor]: Taking taylor expansion of 2.0 in t 4.231 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t 4.231 * [taylor]: Taking taylor expansion of (+ t 1) in t 4.231 * [taylor]: Taking taylor expansion of t in t 4.231 * [taylor]: Taking taylor expansion of 1 in t 4.231 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ t 1)))) 2) in t 4.231 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t 4.231 * [taylor]: Taking taylor expansion of 2.0 in t 4.231 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t 4.231 * [taylor]: Taking taylor expansion of 2.0 in t 4.231 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t 4.231 * [taylor]: Taking taylor expansion of (+ t 1) in t 4.231 * [taylor]: Taking taylor expansion of t in t 4.231 * [taylor]: Taking taylor expansion of 1 in t 4.232 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) 2) in (t) around 0 4.232 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) 2) in t 4.232 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t 4.232 * [taylor]: Taking taylor expansion of 2.0 in t 4.232 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t 4.232 * [taylor]: Taking taylor expansion of 2.0 in t 4.232 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 4.232 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 4.232 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.232 * [taylor]: Taking taylor expansion of t in t 4.232 * [taylor]: Taking taylor expansion of 1 in t 4.232 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) 2) in t 4.232 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t 4.232 * [taylor]: Taking taylor expansion of 2.0 in t 4.232 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t 4.232 * [taylor]: Taking taylor expansion of 2.0 in t 4.232 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 4.232 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 4.232 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.232 * [taylor]: Taking taylor expansion of t in t 4.232 * [taylor]: Taking taylor expansion of 1 in t 4.233 * [approximate]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) 2) in (t) around 0 4.233 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) 2) in t 4.233 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t 4.233 * [taylor]: Taking taylor expansion of 2.0 in t 4.233 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t 4.233 * [taylor]: Taking taylor expansion of 2.0 in t 4.233 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 4.233 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 4.233 * [taylor]: Taking taylor expansion of 1 in t 4.233 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.233 * [taylor]: Taking taylor expansion of t in t 4.233 * [taylor]: Taking taylor expansion of (pow (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) 2) in t 4.233 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t 4.233 * [taylor]: Taking taylor expansion of 2.0 in t 4.233 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t 4.233 * [taylor]: Taking taylor expansion of 2.0 in t 4.233 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 4.233 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 4.233 * [taylor]: Taking taylor expansion of 1 in t 4.233 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.233 * [taylor]: Taking taylor expansion of t in t 4.234 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 4.234 * [approximate]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ t 1) 2))) 6.0) (* 8.0 (/ 1 (+ t 1))))) in (t) around 0 4.234 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ t 1) 2))) 6.0) (* 8.0 (/ 1 (+ t 1))))) in t 4.234 * [taylor]: Taking taylor expansion of 1.0 in t 4.234 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (+ t 1) 2))) 6.0) (* 8.0 (/ 1 (+ t 1)))) in t 4.234 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ t 1) 2))) 6.0) in t 4.234 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ t 1) 2))) in t 4.234 * [taylor]: Taking taylor expansion of 4.0 in t 4.234 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ t 1) 2)) in t 4.234 * [taylor]: Taking taylor expansion of (pow (+ t 1) 2) in t 4.234 * [taylor]: Taking taylor expansion of (+ t 1) in t 4.234 * [taylor]: Taking taylor expansion of t in t 4.234 * [taylor]: Taking taylor expansion of 1 in t 4.234 * [taylor]: Taking taylor expansion of 6.0 in t 4.234 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ t 1))) in t 4.234 * [taylor]: Taking taylor expansion of 8.0 in t 4.234 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t 4.234 * [taylor]: Taking taylor expansion of (+ t 1) in t 4.234 * [taylor]: Taking taylor expansion of t in t 4.234 * [taylor]: Taking taylor expansion of 1 in t 4.234 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ t 1) 2))) 6.0) (* 8.0 (/ 1 (+ t 1))))) in t 4.234 * [taylor]: Taking taylor expansion of 1.0 in t 4.234 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (+ t 1) 2))) 6.0) (* 8.0 (/ 1 (+ t 1)))) in t 4.234 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ t 1) 2))) 6.0) in t 4.234 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ t 1) 2))) in t 4.234 * [taylor]: Taking taylor expansion of 4.0 in t 4.234 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ t 1) 2)) in t 4.234 * [taylor]: Taking taylor expansion of (pow (+ t 1) 2) in t 4.234 * [taylor]: Taking taylor expansion of (+ t 1) in t 4.235 * [taylor]: Taking taylor expansion of t in t 4.235 * [taylor]: Taking taylor expansion of 1 in t 4.235 * [taylor]: Taking taylor expansion of 6.0 in t 4.235 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ t 1))) in t 4.235 * [taylor]: Taking taylor expansion of 8.0 in t 4.235 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t 4.235 * [taylor]: Taking taylor expansion of (+ t 1) in t 4.235 * [taylor]: Taking taylor expansion of t in t 4.235 * [taylor]: Taking taylor expansion of 1 in t 4.236 * [approximate]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6.0) (* 8.0 (/ 1 (+ (/ 1 t) 1))))) in (t) around 0 4.236 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6.0) (* 8.0 (/ 1 (+ (/ 1 t) 1))))) in t 4.236 * [taylor]: Taking taylor expansion of 1.0 in t 4.236 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6.0) (* 8.0 (/ 1 (+ (/ 1 t) 1)))) in t 4.236 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6.0) in t 4.236 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (/ 1 t) 1) 2))) in t 4.236 * [taylor]: Taking taylor expansion of 4.0 in t 4.236 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (/ 1 t) 1) 2)) in t 4.236 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1) 2) in t 4.236 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 4.236 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.236 * [taylor]: Taking taylor expansion of t in t 4.236 * [taylor]: Taking taylor expansion of 1 in t 4.236 * [taylor]: Taking taylor expansion of 6.0 in t 4.236 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (/ 1 t) 1))) in t 4.236 * [taylor]: Taking taylor expansion of 8.0 in t 4.236 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 4.236 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 4.236 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.236 * [taylor]: Taking taylor expansion of t in t 4.236 * [taylor]: Taking taylor expansion of 1 in t 4.237 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6.0) (* 8.0 (/ 1 (+ (/ 1 t) 1))))) in t 4.237 * [taylor]: Taking taylor expansion of 1.0 in t 4.237 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6.0) (* 8.0 (/ 1 (+ (/ 1 t) 1)))) in t 4.237 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (+ (/ 1 t) 1) 2))) 6.0) in t 4.237 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (+ (/ 1 t) 1) 2))) in t 4.237 * [taylor]: Taking taylor expansion of 4.0 in t 4.237 * [taylor]: Taking taylor expansion of (/ 1 (pow (+ (/ 1 t) 1) 2)) in t 4.237 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 t) 1) 2) in t 4.237 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 4.237 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.237 * [taylor]: Taking taylor expansion of t in t 4.237 * [taylor]: Taking taylor expansion of 1 in t 4.237 * [taylor]: Taking taylor expansion of 6.0 in t 4.237 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (+ (/ 1 t) 1))) in t 4.237 * [taylor]: Taking taylor expansion of 8.0 in t 4.237 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 4.237 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 4.237 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.237 * [taylor]: Taking taylor expansion of t in t 4.237 * [taylor]: Taking taylor expansion of 1 in t 4.238 * [approximate]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6.0) (* 8.0 (/ 1 (- 1 (/ 1 t)))))) in (t) around 0 4.238 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6.0) (* 8.0 (/ 1 (- 1 (/ 1 t)))))) in t 4.238 * [taylor]: Taking taylor expansion of 1.0 in t 4.238 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6.0) (* 8.0 (/ 1 (- 1 (/ 1 t))))) in t 4.238 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6.0) in t 4.238 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (- 1 (/ 1 t)) 2))) in t 4.238 * [taylor]: Taking taylor expansion of 4.0 in t 4.238 * [taylor]: Taking taylor expansion of (/ 1 (pow (- 1 (/ 1 t)) 2)) in t 4.238 * [taylor]: Taking taylor expansion of (pow (- 1 (/ 1 t)) 2) in t 4.238 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 4.238 * [taylor]: Taking taylor expansion of 1 in t 4.238 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.238 * [taylor]: Taking taylor expansion of t in t 4.238 * [taylor]: Taking taylor expansion of 6.0 in t 4.238 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (- 1 (/ 1 t)))) in t 4.238 * [taylor]: Taking taylor expansion of 8.0 in t 4.238 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 4.238 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 4.238 * [taylor]: Taking taylor expansion of 1 in t 4.238 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.238 * [taylor]: Taking taylor expansion of t in t 4.238 * [taylor]: Taking taylor expansion of (/ 1.0 (- (+ (* 4.0 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6.0) (* 8.0 (/ 1 (- 1 (/ 1 t)))))) in t 4.238 * [taylor]: Taking taylor expansion of 1.0 in t 4.238 * [taylor]: Taking taylor expansion of (- (+ (* 4.0 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6.0) (* 8.0 (/ 1 (- 1 (/ 1 t))))) in t 4.238 * [taylor]: Taking taylor expansion of (+ (* 4.0 (/ 1 (pow (- 1 (/ 1 t)) 2))) 6.0) in t 4.238 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow (- 1 (/ 1 t)) 2))) in t 4.238 * [taylor]: Taking taylor expansion of 4.0 in t 4.238 * [taylor]: Taking taylor expansion of (/ 1 (pow (- 1 (/ 1 t)) 2)) in t 4.238 * [taylor]: Taking taylor expansion of (pow (- 1 (/ 1 t)) 2) in t 4.238 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 4.238 * [taylor]: Taking taylor expansion of 1 in t 4.238 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.238 * [taylor]: Taking taylor expansion of t in t 4.239 * [taylor]: Taking taylor expansion of 6.0 in t 4.239 * [taylor]: Taking taylor expansion of (* 8.0 (/ 1 (- 1 (/ 1 t)))) in t 4.239 * [taylor]: Taking taylor expansion of 8.0 in t 4.239 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 4.239 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 4.239 * [taylor]: Taking taylor expansion of 1 in t 4.239 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.239 * [taylor]: Taking taylor expansion of t in t 4.239 * * * [progress]: simplifying candidates 4.241 * [simplify]: Simplifying using # : (/ (exp 2.0) (exp (/ 2.0 (* 1.0 (+ 1 t))))) (log (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (exp (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ 1 t))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t)))) (* 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (neg (/ 2.0 (* 1.0 (+ 1 t)))) (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t))))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (neg (/ 2.0 (* 1.0 (+ 1 t)))) (/ (exp 2.0) (exp (/ 2.0 (* 1.0 (+ 1 t))))) (log (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (exp (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ 1 t))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t)))) (* 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (neg (/ 2.0 (* 1.0 (+ 1 t)))) (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t))))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (neg (/ 2.0 (* 1.0 (+ 1 t)))) (+ 1 1) (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (+ 1 1) (+ (log (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (log (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (log (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (exp (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (* (* (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (* (cbrt (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (cbrt (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))) (cbrt (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (* (* (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (sqrt (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (sqrt (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (* (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ 1 t))) 3)) (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ 1 t))) 3))) (* (+ (* 2.0 2.0) (+ (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t)))) (* 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (+ (* 2.0 2.0) (+ (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t)))) (* 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))) (* (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ 1 t))) 3)) (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t)))))) (* (+ (* 2.0 2.0) (+ (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t)))) (* 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t))))) (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ 1 t))) 3))) (* (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (+ (* 2.0 2.0) (+ (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t)))) (* 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))) (* (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t))))) (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t)))))) (* (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))) (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (* (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (* (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (* 1 1) (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* 1 1) (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t)))))) (* (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t)))))) (* 1 1) (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* 1 1) (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (* (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (* 2 1) (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) 2.0) (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (neg (/ 2.0 (* 1.0 (+ 1 t))))) (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) 2.0) (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (neg (/ 2.0 (* 1.0 (+ 1 t))))) (* 2.0 (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (neg (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* 2.0 (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (neg (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))) (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) 1) (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t)))))) (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) 1) (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ 1 t))) 3))) (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t)))))) (* (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ 1 t))) 3)) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- (log 1.0) (log (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (log (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (exp (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (/ (* (* 1.0 1.0) 1.0) (* (* (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))) (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (* (cbrt (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (cbrt (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))))) (cbrt (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (* (* (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))) (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (sqrt (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (sqrt (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (neg 1.0) (neg (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))) (cbrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))))) (/ (cbrt 1.0) (cbrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (/ (cbrt 1.0) (sqrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (/ (* (cbrt 1.0) (cbrt 1.0)) 1) (/ (cbrt 1.0) (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))) (/ (sqrt 1.0) (* (cbrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))) (cbrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))))) (/ (sqrt 1.0) (cbrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (/ (sqrt 1.0) (sqrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (/ (sqrt 1.0) (sqrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (/ (sqrt 1.0) 1) (/ (sqrt 1.0) (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))) (/ 1 (* (cbrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))) (cbrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))))) (/ 1.0 (cbrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (/ 1 (sqrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (/ 1.0 (sqrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (/ 1 1) (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))) (/ 1 (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))) (/ (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) 1.0) (/ 1.0 (* (cbrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))) (cbrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))))) (/ 1.0 (sqrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (/ 1.0 1) (/ (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (cbrt 1.0)) (/ (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (sqrt 1.0)) (/ (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) 1.0) (/ 1.0 (+ (pow 2.0 3) (pow (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) 3))) (/ 1.0 (- (* 2.0 2.0) (* (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.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))) (- (+ (* 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)))) 4.248 * * [simplify]: iteration 0 : 164 enodes (cost 3006 ) 4.283 * * [simplify]: iteration 1 : 391 enodes (cost 2764 ) 4.458 * * [simplify]: iteration 2 : 1266 enodes (cost 2516 ) 4.898 * * [simplify]: iteration done : 5000 enodes (cost 2512 ) 4.900 * [simplify]: Simplified to: (exp (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (log (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (exp (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (pow (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) 3) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ 1 t))) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (neg (/ 2.0 (* 1.0 (+ 1 t)))) (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t))))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (neg (/ 2.0 (* 1.0 (+ 1 t)))) (exp (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (log (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (exp (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (pow (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) 3) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ 1 t))) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (neg (/ 2.0 (* 1.0 (+ 1 t)))) (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t))))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (neg (/ 2.0 (* 1.0 (+ 1 t)))) 2 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) 2 (* 2 (log (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (* 2 (log (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (exp (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (pow (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) 6) (* (cbrt (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (cbrt (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))) (cbrt (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (pow (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) 6) (fabs (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (fabs (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ 1 t))) 3)) (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ 1 t))) 3))) (* (+ (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (+ (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))) (* (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ 1 t))) 3)) (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t)))))) (* (+ (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ 1 t))) 3)) (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t)))))) (* (+ (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t))))) (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t)))))) (* (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (pow (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) 3) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) 1 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) 1 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t)))))) (* (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t)))))) 1 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) 1 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) 2 (* 2.0 (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (neg (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* 2.0 (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (neg (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* 2.0 (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (neg (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* 2.0 (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (neg (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))) (pow (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) 3) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t)))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (pow (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) 3) (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ 1 t))) 3)) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ 1 t))) 3)) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (log (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (log (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (exp (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (pow (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))) 3) (* (cbrt (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (cbrt (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))))) (cbrt (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (pow (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))) 3) (sqrt (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (sqrt (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (neg 1.0) (neg (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))) (/ (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))) (cbrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))))) (/ (cbrt 1.0) (cbrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (/ (* (cbrt 1.0) (cbrt 1.0)) (sqrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (/ (cbrt 1.0) (sqrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (* (cbrt 1.0) (cbrt 1.0)) (/ (cbrt 1.0) (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))) (/ (sqrt 1.0) (* (cbrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))) (cbrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))))) (/ (sqrt 1.0) (cbrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (/ (sqrt 1.0) (sqrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (/ (sqrt 1.0) (sqrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (sqrt 1.0) (/ (sqrt 1.0) (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))) (/ 1 (* (cbrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))) (cbrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))))) (/ 1.0 (cbrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (/ 1 (sqrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) (/ 1.0 (sqrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) 1 (/ 1.0 (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))) (/ 1 (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))) (/ (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) 1.0) (/ 1.0 (* (cbrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))) (cbrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))))) (/ 1.0 (sqrt (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))) 1.0 (/ (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (cbrt 1.0)) (/ (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (sqrt 1.0)) (/ (+ 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) 1.0) (/ 1.0 (+ (pow 2.0 3) (pow (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) 6))) (/ 1.0 (- (* 2.0 2.0) (* (pow (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) 3) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))))) (* 2.0 (- (+ t (pow t 3)) (pow t 2))) (+ (/ 2.0 (pow t 2)) (- 2.0 (/ 2.0 t))) (+ (/ 2.0 (pow t 2)) (- 2.0 (/ 2.0 t))) (* 2.0 (- (+ t (pow t 3)) (pow t 2))) (+ (/ 2.0 (pow t 2)) (- 2.0 (/ 2.0 t))) (+ (/ 2.0 (pow t 2)) (- 2.0 (/ 2.0 t))) (+ (* (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.16666666666666666 (- (/ 0.2222222222222222 t) (/ 0.037037037037037035 (pow t 2)))) (+ 0.16666666666666666 (- (/ 0.2222222222222222 t) (/ 0.037037037037037035 (pow t 2)))) 4.901 * * * [progress]: adding candidates to table 5.110 * * [progress]: iteration 2 / 4 5.110 * * * [progress]: picking best candidate 5.114 * * * * [pick]: Picked # 5.115 * * * [progress]: localizing error 5.137 * * * [progress]: generating rewritten candidates 5.137 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 2 2) 5.144 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 2 2 1) 5.150 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 2) 5.157 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2 1) 5.165 * * * [progress]: generating series expansions 5.165 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 2 2) 5.165 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in (t) around 0 5.165 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t 5.165 * [taylor]: Taking taylor expansion of 2.0 in t 5.165 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t 5.165 * [taylor]: Taking taylor expansion of 2.0 in t 5.165 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t 5.165 * [taylor]: Taking taylor expansion of (+ t 1) in t 5.165 * [taylor]: Taking taylor expansion of t in t 5.165 * [taylor]: Taking taylor expansion of 1 in t 5.165 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t 5.165 * [taylor]: Taking taylor expansion of 2.0 in t 5.165 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t 5.165 * [taylor]: Taking taylor expansion of 2.0 in t 5.165 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t 5.165 * [taylor]: Taking taylor expansion of (+ t 1) in t 5.165 * [taylor]: Taking taylor expansion of t in t 5.165 * [taylor]: Taking taylor expansion of 1 in t 5.166 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0 5.166 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t 5.166 * [taylor]: Taking taylor expansion of 2.0 in t 5.166 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t 5.166 * [taylor]: Taking taylor expansion of 2.0 in t 5.166 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 5.166 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 5.166 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.166 * [taylor]: Taking taylor expansion of t in t 5.166 * [taylor]: Taking taylor expansion of 1 in t 5.166 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t 5.166 * [taylor]: Taking taylor expansion of 2.0 in t 5.166 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t 5.166 * [taylor]: Taking taylor expansion of 2.0 in t 5.166 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 5.166 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 5.166 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.166 * [taylor]: Taking taylor expansion of t in t 5.167 * [taylor]: Taking taylor expansion of 1 in t 5.167 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in (t) around 0 5.167 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t 5.167 * [taylor]: Taking taylor expansion of 2.0 in t 5.167 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t 5.167 * [taylor]: Taking taylor expansion of 2.0 in t 5.167 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 5.167 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 5.167 * [taylor]: Taking taylor expansion of 1 in t 5.167 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.167 * [taylor]: Taking taylor expansion of t in t 5.167 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t 5.167 * [taylor]: Taking taylor expansion of 2.0 in t 5.167 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t 5.167 * [taylor]: Taking taylor expansion of 2.0 in t 5.167 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 5.167 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 5.167 * [taylor]: Taking taylor expansion of 1 in t 5.167 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.167 * [taylor]: Taking taylor expansion of t in t 5.168 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 2 2 1) 5.168 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in (t) around 0 5.168 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t 5.168 * [taylor]: Taking taylor expansion of 2.0 in t 5.168 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t 5.168 * [taylor]: Taking taylor expansion of 2.0 in t 5.168 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t 5.168 * [taylor]: Taking taylor expansion of (+ t 1) in t 5.168 * [taylor]: Taking taylor expansion of t in t 5.168 * [taylor]: Taking taylor expansion of 1 in t 5.168 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t 5.168 * [taylor]: Taking taylor expansion of 2.0 in t 5.168 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t 5.168 * [taylor]: Taking taylor expansion of 2.0 in t 5.168 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t 5.168 * [taylor]: Taking taylor expansion of (+ t 1) in t 5.168 * [taylor]: Taking taylor expansion of t in t 5.168 * [taylor]: Taking taylor expansion of 1 in t 5.169 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0 5.169 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t 5.169 * [taylor]: Taking taylor expansion of 2.0 in t 5.169 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t 5.169 * [taylor]: Taking taylor expansion of 2.0 in t 5.169 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 5.169 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 5.169 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.169 * [taylor]: Taking taylor expansion of t in t 5.169 * [taylor]: Taking taylor expansion of 1 in t 5.169 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t 5.169 * [taylor]: Taking taylor expansion of 2.0 in t 5.169 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t 5.169 * [taylor]: Taking taylor expansion of 2.0 in t 5.169 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 5.169 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 5.169 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.169 * [taylor]: Taking taylor expansion of t in t 5.169 * [taylor]: Taking taylor expansion of 1 in t 5.170 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in (t) around 0 5.170 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t 5.170 * [taylor]: Taking taylor expansion of 2.0 in t 5.170 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t 5.170 * [taylor]: Taking taylor expansion of 2.0 in t 5.170 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 5.170 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 5.170 * [taylor]: Taking taylor expansion of 1 in t 5.170 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.170 * [taylor]: Taking taylor expansion of t in t 5.170 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t 5.170 * [taylor]: Taking taylor expansion of 2.0 in t 5.170 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t 5.170 * [taylor]: Taking taylor expansion of 2.0 in t 5.170 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 5.170 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 5.170 * [taylor]: Taking taylor expansion of 1 in t 5.170 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.170 * [taylor]: Taking taylor expansion of t in t 5.170 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 2) 5.171 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in (t) around 0 5.171 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t 5.171 * [taylor]: Taking taylor expansion of 2.0 in t 5.171 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t 5.171 * [taylor]: Taking taylor expansion of 2.0 in t 5.171 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t 5.171 * [taylor]: Taking taylor expansion of (+ t 1) in t 5.171 * [taylor]: Taking taylor expansion of t in t 5.171 * [taylor]: Taking taylor expansion of 1 in t 5.171 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t 5.171 * [taylor]: Taking taylor expansion of 2.0 in t 5.171 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t 5.171 * [taylor]: Taking taylor expansion of 2.0 in t 5.171 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t 5.171 * [taylor]: Taking taylor expansion of (+ t 1) in t 5.171 * [taylor]: Taking taylor expansion of t in t 5.171 * [taylor]: Taking taylor expansion of 1 in t 5.172 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0 5.172 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t 5.172 * [taylor]: Taking taylor expansion of 2.0 in t 5.172 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t 5.172 * [taylor]: Taking taylor expansion of 2.0 in t 5.172 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 5.172 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 5.172 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.172 * [taylor]: Taking taylor expansion of t in t 5.172 * [taylor]: Taking taylor expansion of 1 in t 5.172 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t 5.172 * [taylor]: Taking taylor expansion of 2.0 in t 5.172 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t 5.172 * [taylor]: Taking taylor expansion of 2.0 in t 5.172 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 5.172 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 5.172 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.172 * [taylor]: Taking taylor expansion of t in t 5.172 * [taylor]: Taking taylor expansion of 1 in t 5.172 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in (t) around 0 5.172 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t 5.172 * [taylor]: Taking taylor expansion of 2.0 in t 5.172 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t 5.172 * [taylor]: Taking taylor expansion of 2.0 in t 5.172 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 5.172 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 5.172 * [taylor]: Taking taylor expansion of 1 in t 5.172 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.173 * [taylor]: Taking taylor expansion of t in t 5.173 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t 5.173 * [taylor]: Taking taylor expansion of 2.0 in t 5.173 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t 5.173 * [taylor]: Taking taylor expansion of 2.0 in t 5.173 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 5.173 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 5.173 * [taylor]: Taking taylor expansion of 1 in t 5.173 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.173 * [taylor]: Taking taylor expansion of t in t 5.173 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2 1) 5.173 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in (t) around 0 5.173 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t 5.173 * [taylor]: Taking taylor expansion of 2.0 in t 5.173 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t 5.173 * [taylor]: Taking taylor expansion of 2.0 in t 5.173 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t 5.173 * [taylor]: Taking taylor expansion of (+ t 1) in t 5.173 * [taylor]: Taking taylor expansion of t in t 5.173 * [taylor]: Taking taylor expansion of 1 in t 5.173 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ t 1)))) in t 5.173 * [taylor]: Taking taylor expansion of 2.0 in t 5.173 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ t 1))) in t 5.173 * [taylor]: Taking taylor expansion of 2.0 in t 5.173 * [taylor]: Taking taylor expansion of (/ 1 (+ t 1)) in t 5.173 * [taylor]: Taking taylor expansion of (+ t 1) in t 5.173 * [taylor]: Taking taylor expansion of t in t 5.174 * [taylor]: Taking taylor expansion of 1 in t 5.174 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in (t) around 0 5.174 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t 5.174 * [taylor]: Taking taylor expansion of 2.0 in t 5.174 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t 5.174 * [taylor]: Taking taylor expansion of 2.0 in t 5.174 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 5.174 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 5.174 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.174 * [taylor]: Taking taylor expansion of t in t 5.174 * [taylor]: Taking taylor expansion of 1 in t 5.174 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (/ 1 t) 1)))) in t 5.174 * [taylor]: Taking taylor expansion of 2.0 in t 5.174 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (/ 1 t) 1))) in t 5.174 * [taylor]: Taking taylor expansion of 2.0 in t 5.175 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 t) 1)) in t 5.175 * [taylor]: Taking taylor expansion of (+ (/ 1 t) 1) in t 5.175 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.175 * [taylor]: Taking taylor expansion of t in t 5.175 * [taylor]: Taking taylor expansion of 1 in t 5.175 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in (t) around 0 5.175 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t 5.175 * [taylor]: Taking taylor expansion of 2.0 in t 5.175 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t 5.175 * [taylor]: Taking taylor expansion of 2.0 in t 5.175 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 5.175 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 5.175 * [taylor]: Taking taylor expansion of 1 in t 5.175 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.175 * [taylor]: Taking taylor expansion of t in t 5.175 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1 (/ 1 t))))) in t 5.175 * [taylor]: Taking taylor expansion of 2.0 in t 5.175 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1 (/ 1 t)))) in t 5.175 * [taylor]: Taking taylor expansion of 2.0 in t 5.175 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ 1 t))) in t 5.175 * [taylor]: Taking taylor expansion of (- 1 (/ 1 t)) in t 5.175 * [taylor]: Taking taylor expansion of 1 in t 5.175 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.175 * [taylor]: Taking taylor expansion of t in t 5.176 * * * [progress]: simplifying candidates 5.177 * [simplify]: Simplifying using # : (/ (exp 2.0) (exp (/ 2.0 (* 1.0 (+ 1 t))))) (log (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (exp (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ 1 t))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t)))) (* 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (neg (/ 2.0 (* 1.0 (+ 1 t)))) (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t))))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (neg (/ 2.0 (* 1.0 (+ 1 t)))) (/ (exp 2.0) (exp (/ 2.0 (* 1.0 (+ 1 t))))) (log (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (exp (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ 1 t))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t)))) (* 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (neg (/ 2.0 (* 1.0 (+ 1 t)))) (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t))))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (neg (/ 2.0 (* 1.0 (+ 1 t)))) (/ (exp 2.0) (exp (/ 2.0 (* 1.0 (+ 1 t))))) (log (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (exp (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ 1 t))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t)))) (* 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (neg (/ 2.0 (* 1.0 (+ 1 t)))) (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t))))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (neg (/ 2.0 (* 1.0 (+ 1 t)))) (/ (exp 2.0) (exp (/ 2.0 (* 1.0 (+ 1 t))))) (log (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (exp (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ 1 t))) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t)))) (* 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (neg (/ 2.0 (* 1.0 (+ 1 t)))) (- (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (/ 2.0 (* 1.0 (+ 1 t))))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (neg (/ 2.0 (* 1.0 (+ 1 t)))) (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 t) (* 2.0 (pow t 3))) (* 2.0 (pow t 2))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.0 (/ 1 (pow t 2))) 2.0) (* 2.0 (/ 1 t))) (- (+ (* 2.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))) 5.179 * * [simplify]: iteration 0 : 48 enodes (cost 1092 ) 5.189 * * [simplify]: iteration 1 : 121 enodes (cost 1048 ) 5.221 * * [simplify]: iteration 2 : 328 enodes (cost 936 ) 5.332 * * [simplify]: iteration 3 : 1163 enodes (cost 936 ) 6.536 * * [simplify]: iteration 4 : 4965 enodes (cost 928 ) 7.293 * * [simplify]: iteration done : 5000 enodes (cost 928 ) 7.294 * [simplify]: Simplified to: (exp (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (log (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (exp (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (pow (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) 3) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ 1 t))) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (neg (/ 2.0 (* 1.0 (+ 1 t)))) (* 2.0 (- 2.0 (/ 2.0 (* (* 1.0 (+ 1 t)) (* 1.0 (+ 1 t)))))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (neg (/ 2.0 (* 1.0 (+ 1 t)))) (exp (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (log (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (exp (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (pow (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) 3) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ 1 t))) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (neg (/ 2.0 (* 1.0 (+ 1 t)))) (* 2.0 (- 2.0 (/ 2.0 (* (* 1.0 (+ 1 t)) (* 1.0 (+ 1 t)))))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (neg (/ 2.0 (* 1.0 (+ 1 t)))) (exp (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (log (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (exp (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (pow (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) 3) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ 1 t))) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (neg (/ 2.0 (* 1.0 (+ 1 t)))) (* 2.0 (- 2.0 (/ 2.0 (* (* 1.0 (+ 1 t)) (* 1.0 (+ 1 t)))))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (neg (/ 2.0 (* 1.0 (+ 1 t)))) (exp (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (log (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (exp (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (cbrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (pow (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) 3) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (sqrt (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (- (pow 2.0 3) (pow (/ 2.0 (* 1.0 (+ 1 t))) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (* 1.0 (+ 1 t))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (neg (/ 2.0 (* 1.0 (+ 1 t)))) (* 2.0 (- 2.0 (/ 2.0 (* (* 1.0 (+ 1 t)) (* 1.0 (+ 1 t)))))) (+ 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (+ (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- (sqrt 2.0) (sqrt (/ 2.0 (* 1.0 (+ 1 t))))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (neg (/ 2.0 (* 1.0 (+ 1 t)))) (* 2.0 (- (+ t (pow t 3)) (pow t 2))) (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t)) (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t)) (* 2.0 (- (+ t (pow t 3)) (pow t 2))) (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t)) (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t)) (* 2.0 (- (+ t (pow t 3)) (pow t 2))) (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t)) (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t)) (* 2.0 (- (+ t (pow t 3)) (pow t 2))) (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t)) (- (+ 2.0 (/ 2.0 (pow t 2))) (/ 2.0 t)) 7.295 * * * [progress]: adding candidates to table 7.599 * [progress]: [Phase 3 of 3] Extracting. 7.605 * [simplify]: Simplifying using # : (- 1.0 (* (/ 1.0 (+ (pow 2.0 3) (pow (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) 6))) (+ (* 2.0 2.0) (- (* (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (* 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))))) 7.606 * * [simplify]: iteration 0 : 22 enodes (cost 85 ) 7.607 * * [simplify]: iteration 1 : 30 enodes (cost 85 ) 7.607 * * [simplify]: iteration done : 30 enodes (cost 85 ) 7.607 * [simplify]: Simplified to: (- 1.0 (* (/ 1.0 (+ (pow 2.0 3) (pow (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) 6))) (+ (* 2.0 2.0) (- (* (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t))))) (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))) (* 2.0 (* (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))) (- 2.0 (/ 2.0 (* 1.0 (+ 1 t)))))))))) 8.715 * [regime-testing]: End program error score: 0.00900112514064258