11.852 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.040 * * * [progress]: [2/2] Setting up program. 0.043 * [progress]: [Phase 2 of 3] Improving. 0.043 * [simplify]: Simplifying using # : (/ (+ 1.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))) (+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))) 0.044 * * [simplify]: iteration 0 : 12 enodes (cost 51 ) 0.046 * * [simplify]: iteration 1 : 19 enodes (cost 51 ) 0.048 * * [simplify]: iteration 2 : 33 enodes (cost 51 ) 0.053 * * [simplify]: iteration 3 : 81 enodes (cost 51 ) 0.071 * * [simplify]: iteration 4 : 240 enodes (cost 51 ) 0.116 * * [simplify]: iteration 5 : 615 enodes (cost 51 ) 0.246 * * [simplify]: iteration 6 : 1454 enodes (cost 51 ) 0.654 * * [simplify]: iteration 7 : 3817 enodes (cost 43 ) 1.268 * * [simplify]: iteration done : 5001 enodes (cost 43 ) 1.269 * [simplify]: Simplified to: (/ (+ (* (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) 1.0) (+ 2.0 (* (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))))) 1.273 * * [progress]: iteration 1 / 4 1.273 * * * [progress]: picking best candidate 1.276 * * * * [pick]: Picked # 1.276 * * * [progress]: localizing error 1.287 * * * [progress]: generating rewritten candidates 1.287 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 1.299 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1) 1.310 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 1.325 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 1.338 * * * [progress]: generating series expansions 1.339 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 1.339 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 1.339 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.339 * [taylor]: Taking taylor expansion of 2.0 in t 1.339 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.339 * [taylor]: Taking taylor expansion of 2.0 in t 1.339 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.339 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.339 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.339 * [taylor]: Taking taylor expansion of 1.0 in t 1.339 * [taylor]: Taking taylor expansion of t in t 1.339 * [taylor]: Taking taylor expansion of 1.0 in t 1.339 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.339 * [taylor]: Taking taylor expansion of 2.0 in t 1.339 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.339 * [taylor]: Taking taylor expansion of 2.0 in t 1.339 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.339 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.339 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.339 * [taylor]: Taking taylor expansion of 1.0 in t 1.339 * [taylor]: Taking taylor expansion of t in t 1.339 * [taylor]: Taking taylor expansion of 1.0 in t 1.340 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 1.340 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.340 * [taylor]: Taking taylor expansion of 2.0 in t 1.340 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.340 * [taylor]: Taking taylor expansion of 2.0 in t 1.340 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.340 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.340 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.340 * [taylor]: Taking taylor expansion of 1.0 in t 1.340 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.340 * [taylor]: Taking taylor expansion of t in t 1.340 * [taylor]: Taking taylor expansion of 1.0 in t 1.340 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.340 * [taylor]: Taking taylor expansion of 2.0 in t 1.340 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.340 * [taylor]: Taking taylor expansion of 2.0 in t 1.340 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.340 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.340 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.340 * [taylor]: Taking taylor expansion of 1.0 in t 1.341 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.341 * [taylor]: Taking taylor expansion of t in t 1.341 * [taylor]: Taking taylor expansion of 1.0 in t 1.341 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 1.341 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.341 * [taylor]: Taking taylor expansion of 2.0 in t 1.341 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.341 * [taylor]: Taking taylor expansion of 2.0 in t 1.341 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.341 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.341 * [taylor]: Taking taylor expansion of 1.0 in t 1.341 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.341 * [taylor]: Taking taylor expansion of 1.0 in t 1.341 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.341 * [taylor]: Taking taylor expansion of t in t 1.341 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.341 * [taylor]: Taking taylor expansion of 2.0 in t 1.341 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.341 * [taylor]: Taking taylor expansion of 2.0 in t 1.341 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.342 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.342 * [taylor]: Taking taylor expansion of 1.0 in t 1.342 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.342 * [taylor]: Taking taylor expansion of 1.0 in t 1.342 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.342 * [taylor]: Taking taylor expansion of t in t 1.342 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1) 1.342 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 1.342 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.342 * [taylor]: Taking taylor expansion of 2.0 in t 1.342 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.342 * [taylor]: Taking taylor expansion of 2.0 in t 1.342 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.342 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.342 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.342 * [taylor]: Taking taylor expansion of 1.0 in t 1.342 * [taylor]: Taking taylor expansion of t in t 1.342 * [taylor]: Taking taylor expansion of 1.0 in t 1.342 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.342 * [taylor]: Taking taylor expansion of 2.0 in t 1.342 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.343 * [taylor]: Taking taylor expansion of 2.0 in t 1.343 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.343 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.343 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.343 * [taylor]: Taking taylor expansion of 1.0 in t 1.343 * [taylor]: Taking taylor expansion of t in t 1.343 * [taylor]: Taking taylor expansion of 1.0 in t 1.344 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 1.344 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.344 * [taylor]: Taking taylor expansion of 2.0 in t 1.344 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.344 * [taylor]: Taking taylor expansion of 2.0 in t 1.344 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.344 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.344 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.344 * [taylor]: Taking taylor expansion of 1.0 in t 1.344 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.344 * [taylor]: Taking taylor expansion of t in t 1.344 * [taylor]: Taking taylor expansion of 1.0 in t 1.344 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.344 * [taylor]: Taking taylor expansion of 2.0 in t 1.344 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.344 * [taylor]: Taking taylor expansion of 2.0 in t 1.344 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.344 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.344 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.344 * [taylor]: Taking taylor expansion of 1.0 in t 1.344 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.344 * [taylor]: Taking taylor expansion of t in t 1.344 * [taylor]: Taking taylor expansion of 1.0 in t 1.345 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 1.345 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.345 * [taylor]: Taking taylor expansion of 2.0 in t 1.345 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.345 * [taylor]: Taking taylor expansion of 2.0 in t 1.345 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.345 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.345 * [taylor]: Taking taylor expansion of 1.0 in t 1.345 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.345 * [taylor]: Taking taylor expansion of 1.0 in t 1.345 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.345 * [taylor]: Taking taylor expansion of t in t 1.345 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.345 * [taylor]: Taking taylor expansion of 2.0 in t 1.345 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.345 * [taylor]: Taking taylor expansion of 2.0 in t 1.345 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.345 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.345 * [taylor]: Taking taylor expansion of 1.0 in t 1.345 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.345 * [taylor]: Taking taylor expansion of 1.0 in t 1.345 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.345 * [taylor]: Taking taylor expansion of t in t 1.345 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 1.346 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 1.346 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.346 * [taylor]: Taking taylor expansion of 2.0 in t 1.346 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.346 * [taylor]: Taking taylor expansion of 2.0 in t 1.346 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.346 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.346 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.346 * [taylor]: Taking taylor expansion of 1.0 in t 1.346 * [taylor]: Taking taylor expansion of t in t 1.346 * [taylor]: Taking taylor expansion of 1.0 in t 1.346 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.346 * [taylor]: Taking taylor expansion of 2.0 in t 1.346 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.346 * [taylor]: Taking taylor expansion of 2.0 in t 1.346 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.346 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.346 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.346 * [taylor]: Taking taylor expansion of 1.0 in t 1.346 * [taylor]: Taking taylor expansion of t in t 1.346 * [taylor]: Taking taylor expansion of 1.0 in t 1.347 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 1.347 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.347 * [taylor]: Taking taylor expansion of 2.0 in t 1.347 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.347 * [taylor]: Taking taylor expansion of 2.0 in t 1.347 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.347 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.347 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.347 * [taylor]: Taking taylor expansion of 1.0 in t 1.347 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.347 * [taylor]: Taking taylor expansion of t in t 1.347 * [taylor]: Taking taylor expansion of 1.0 in t 1.347 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.347 * [taylor]: Taking taylor expansion of 2.0 in t 1.347 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.347 * [taylor]: Taking taylor expansion of 2.0 in t 1.347 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.347 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.347 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.347 * [taylor]: Taking taylor expansion of 1.0 in t 1.347 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.347 * [taylor]: Taking taylor expansion of t in t 1.347 * [taylor]: Taking taylor expansion of 1.0 in t 1.348 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 1.348 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.348 * [taylor]: Taking taylor expansion of 2.0 in t 1.348 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.348 * [taylor]: Taking taylor expansion of 2.0 in t 1.348 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.348 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.348 * [taylor]: Taking taylor expansion of 1.0 in t 1.348 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.348 * [taylor]: Taking taylor expansion of 1.0 in t 1.348 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.348 * [taylor]: Taking taylor expansion of t in t 1.348 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.348 * [taylor]: Taking taylor expansion of 2.0 in t 1.348 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.348 * [taylor]: Taking taylor expansion of 2.0 in t 1.348 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.348 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.348 * [taylor]: Taking taylor expansion of 1.0 in t 1.348 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.348 * [taylor]: Taking taylor expansion of 1.0 in t 1.348 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.348 * [taylor]: Taking taylor expansion of t in t 1.349 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 1.349 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 1.349 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.349 * [taylor]: Taking taylor expansion of 2.0 in t 1.349 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.349 * [taylor]: Taking taylor expansion of 2.0 in t 1.349 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.349 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.349 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.349 * [taylor]: Taking taylor expansion of 1.0 in t 1.349 * [taylor]: Taking taylor expansion of t in t 1.349 * [taylor]: Taking taylor expansion of 1.0 in t 1.349 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 1.349 * [taylor]: Taking taylor expansion of 2.0 in t 1.349 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 1.349 * [taylor]: Taking taylor expansion of 2.0 in t 1.349 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 1.349 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 1.349 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 1.349 * [taylor]: Taking taylor expansion of 1.0 in t 1.349 * [taylor]: Taking taylor expansion of t in t 1.349 * [taylor]: Taking taylor expansion of 1.0 in t 1.350 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 1.350 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.350 * [taylor]: Taking taylor expansion of 2.0 in t 1.350 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.350 * [taylor]: Taking taylor expansion of 2.0 in t 1.350 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.350 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.350 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.350 * [taylor]: Taking taylor expansion of 1.0 in t 1.350 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.350 * [taylor]: Taking taylor expansion of t in t 1.350 * [taylor]: Taking taylor expansion of 1.0 in t 1.350 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 1.350 * [taylor]: Taking taylor expansion of 2.0 in t 1.351 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 1.351 * [taylor]: Taking taylor expansion of 2.0 in t 1.351 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 1.351 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 1.351 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.351 * [taylor]: Taking taylor expansion of 1.0 in t 1.351 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.351 * [taylor]: Taking taylor expansion of t in t 1.351 * [taylor]: Taking taylor expansion of 1.0 in t 1.351 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 1.351 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.351 * [taylor]: Taking taylor expansion of 2.0 in t 1.351 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.351 * [taylor]: Taking taylor expansion of 2.0 in t 1.351 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.351 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.351 * [taylor]: Taking taylor expansion of 1.0 in t 1.351 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.351 * [taylor]: Taking taylor expansion of 1.0 in t 1.351 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.351 * [taylor]: Taking taylor expansion of t in t 1.351 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 1.351 * [taylor]: Taking taylor expansion of 2.0 in t 1.352 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 1.352 * [taylor]: Taking taylor expansion of 2.0 in t 1.352 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 1.352 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 1.352 * [taylor]: Taking taylor expansion of 1.0 in t 1.352 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 1.352 * [taylor]: Taking taylor expansion of 1.0 in t 1.352 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.352 * [taylor]: Taking taylor expansion of t in t 1.352 * * * [progress]: simplifying candidates 1.353 * [simplify]: Simplifying using # : (/ (exp 2.0) (exp (/ 2.0 (+ (* t 1.0) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (* (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* t 1.0) 1.0)) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ (* t 1.0) 1.0)) (/ 2.0 (+ (* t 1.0) 1.0))) (* 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (- (* 2.0 2.0) (* (/ 2.0 (+ (* t 1.0) 1.0)) (/ 2.0 (+ (* t 1.0) 1.0)))) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (/ (exp 2.0) (exp (/ 2.0 (+ (* t 1.0) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (* (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* t 1.0) 1.0)) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ (* t 1.0) 1.0)) (/ 2.0 (+ (* t 1.0) 1.0))) (* 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (- (* 2.0 2.0) (* (/ 2.0 (+ (* t 1.0) 1.0)) (/ 2.0 (+ (* t 1.0) 1.0)))) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (/ (exp 2.0) (exp (/ 2.0 (+ (* t 1.0) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (* (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* t 1.0) 1.0)) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ (* t 1.0) 1.0)) (/ 2.0 (+ (* t 1.0) 1.0))) (* 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (- (* 2.0 2.0) (* (/ 2.0 (+ (* t 1.0) 1.0)) (/ 2.0 (+ (* t 1.0) 1.0)))) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (/ (exp 2.0) (exp (/ 2.0 (+ (* t 1.0) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (* (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* t 1.0) 1.0)) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ (* t 1.0) 1.0)) (/ 2.0 (+ (* t 1.0) 1.0))) (* 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (- (* 2.0 2.0) (* (/ 2.0 (+ (* t 1.0) 1.0)) (/ 2.0 (+ (* t 1.0) 1.0)))) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (neg (/ 2.0 (+ (* t 1.0) 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.356 * * [simplify]: iteration 0 : 52 enodes (cost 1188 ) 1.363 * * [simplify]: iteration 1 : 122 enodes (cost 1144 ) 1.383 * * [simplify]: iteration 2 : 325 enodes (cost 1032 ) 1.448 * * [simplify]: iteration 3 : 1084 enodes (cost 1032 ) 1.797 * * [simplify]: iteration 4 : 4676 enodes (cost 1024 ) 2.401 * * [simplify]: iteration done : 5000 enodes (cost 1024 ) 2.401 * [simplify]: Simplified to: (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (pow (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) 3) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* t 1.0) 1.0)) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ (* t 1.0) 1.0)) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (* 2.0 (- 2.0 (/ 2.0 (* (+ (* t 1.0) 1.0) (+ (* t 1.0) 1.0))))) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (pow (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) 3) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* t 1.0) 1.0)) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ (* t 1.0) 1.0)) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (* 2.0 (- 2.0 (/ 2.0 (* (+ (* t 1.0) 1.0) (+ (* t 1.0) 1.0))))) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (pow (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) 3) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* t 1.0) 1.0)) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ (* t 1.0) 1.0)) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (* 2.0 (- 2.0 (/ 2.0 (* (+ (* t 1.0) 1.0) (+ (* t 1.0) 1.0))))) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (pow (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) 3) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* t 1.0) 1.0)) 3)) (+ (* 2.0 2.0) (* (/ 2.0 (+ (* t 1.0) 1.0)) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (* 2.0 (- 2.0 (/ 2.0 (* (+ (* t 1.0) 1.0) (+ (* t 1.0) 1.0))))) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (neg (/ 2.0 (+ (* t 1.0) 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.402 * * * [progress]: adding candidates to table 2.583 * * [progress]: iteration 2 / 4 2.583 * * * [progress]: picking best candidate 2.586 * * * * [pick]: Picked # 2.586 * * * [progress]: localizing error 2.605 * * * [progress]: generating rewritten candidates 2.605 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2) 2.618 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1) 2.629 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 2.640 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 2.657 * * * [progress]: generating series expansions 2.657 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2) 2.657 * [approximate]: Taking taylor expansion of (- (+ t (pow t 3)) (pow t 2)) in (t) around 0 2.657 * [taylor]: Taking taylor expansion of (- (+ t (pow t 3)) (pow t 2)) in t 2.657 * [taylor]: Taking taylor expansion of (+ t (pow t 3)) in t 2.657 * [taylor]: Taking taylor expansion of t in t 2.657 * [taylor]: Taking taylor expansion of (pow t 3) in t 2.657 * [taylor]: Taking taylor expansion of t in t 2.657 * [taylor]: Taking taylor expansion of (pow t 2) in t 2.657 * [taylor]: Taking taylor expansion of t in t 2.657 * [taylor]: Taking taylor expansion of (- (+ t (pow t 3)) (pow t 2)) in t 2.657 * [taylor]: Taking taylor expansion of (+ t (pow t 3)) in t 2.657 * [taylor]: Taking taylor expansion of t in t 2.657 * [taylor]: Taking taylor expansion of (pow t 3) in t 2.657 * [taylor]: Taking taylor expansion of t in t 2.657 * [taylor]: Taking taylor expansion of (pow t 2) in t 2.657 * [taylor]: Taking taylor expansion of t in t 2.658 * [approximate]: Taking taylor expansion of (- (+ (/ 1 t) (/ 1 (pow t 3))) (/ 1 (pow t 2))) in (t) around 0 2.658 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ 1 (pow t 3))) (/ 1 (pow t 2))) in t 2.658 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (pow t 3))) in t 2.658 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.658 * [taylor]: Taking taylor expansion of t in t 2.658 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t 2.658 * [taylor]: Taking taylor expansion of (pow t 3) in t 2.658 * [taylor]: Taking taylor expansion of t in t 2.658 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 2.658 * [taylor]: Taking taylor expansion of (pow t 2) in t 2.658 * [taylor]: Taking taylor expansion of t in t 2.658 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ 1 (pow t 3))) (/ 1 (pow t 2))) in t 2.658 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ 1 (pow t 3))) in t 2.658 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.658 * [taylor]: Taking taylor expansion of t in t 2.658 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t 2.658 * [taylor]: Taking taylor expansion of (pow t 3) in t 2.658 * [taylor]: Taking taylor expansion of t in t 2.658 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 2.658 * [taylor]: Taking taylor expansion of (pow t 2) in t 2.658 * [taylor]: Taking taylor expansion of t in t 2.659 * [approximate]: Taking taylor expansion of (neg (+ (/ 1 t) (+ (/ 1 (pow t 3)) (/ 1 (pow t 2))))) in (t) around 0 2.659 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 t) (+ (/ 1 (pow t 3)) (/ 1 (pow t 2))))) in t 2.659 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (+ (/ 1 (pow t 3)) (/ 1 (pow t 2)))) in t 2.659 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.659 * [taylor]: Taking taylor expansion of t in t 2.659 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow t 3)) (/ 1 (pow t 2))) in t 2.659 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t 2.659 * [taylor]: Taking taylor expansion of (pow t 3) in t 2.659 * [taylor]: Taking taylor expansion of t in t 2.659 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 2.659 * [taylor]: Taking taylor expansion of (pow t 2) in t 2.659 * [taylor]: Taking taylor expansion of t in t 2.660 * [taylor]: Taking taylor expansion of (neg (+ (/ 1 t) (+ (/ 1 (pow t 3)) (/ 1 (pow t 2))))) in t 2.660 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (+ (/ 1 (pow t 3)) (/ 1 (pow t 2)))) in t 2.660 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.660 * [taylor]: Taking taylor expansion of t in t 2.660 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow t 3)) (/ 1 (pow t 2))) in t 2.660 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t 2.660 * [taylor]: Taking taylor expansion of (pow t 3) in t 2.660 * [taylor]: Taking taylor expansion of t in t 2.660 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 2.660 * [taylor]: Taking taylor expansion of (pow t 2) in t 2.660 * [taylor]: Taking taylor expansion of t in t 2.660 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1) 2.661 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 2.661 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 2.661 * [taylor]: Taking taylor expansion of 2.0 in t 2.661 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 2.661 * [taylor]: Taking taylor expansion of 2.0 in t 2.661 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 2.661 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 2.661 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 2.661 * [taylor]: Taking taylor expansion of 1.0 in t 2.661 * [taylor]: Taking taylor expansion of t in t 2.661 * [taylor]: Taking taylor expansion of 1.0 in t 2.661 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 2.661 * [taylor]: Taking taylor expansion of 2.0 in t 2.661 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 2.661 * [taylor]: Taking taylor expansion of 2.0 in t 2.661 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 2.661 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 2.661 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 2.661 * [taylor]: Taking taylor expansion of 1.0 in t 2.661 * [taylor]: Taking taylor expansion of t in t 2.661 * [taylor]: Taking taylor expansion of 1.0 in t 2.662 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 2.662 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 2.662 * [taylor]: Taking taylor expansion of 2.0 in t 2.662 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 2.662 * [taylor]: Taking taylor expansion of 2.0 in t 2.662 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 2.662 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 2.662 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.662 * [taylor]: Taking taylor expansion of 1.0 in t 2.662 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.662 * [taylor]: Taking taylor expansion of t in t 2.662 * [taylor]: Taking taylor expansion of 1.0 in t 2.662 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 2.662 * [taylor]: Taking taylor expansion of 2.0 in t 2.662 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 2.662 * [taylor]: Taking taylor expansion of 2.0 in t 2.662 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 2.662 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 2.662 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.662 * [taylor]: Taking taylor expansion of 1.0 in t 2.662 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.662 * [taylor]: Taking taylor expansion of t in t 2.662 * [taylor]: Taking taylor expansion of 1.0 in t 2.663 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 2.663 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 2.663 * [taylor]: Taking taylor expansion of 2.0 in t 2.663 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 2.663 * [taylor]: Taking taylor expansion of 2.0 in t 2.663 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 2.663 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 2.663 * [taylor]: Taking taylor expansion of 1.0 in t 2.663 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.663 * [taylor]: Taking taylor expansion of 1.0 in t 2.663 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.663 * [taylor]: Taking taylor expansion of t in t 2.663 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 2.663 * [taylor]: Taking taylor expansion of 2.0 in t 2.663 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 2.663 * [taylor]: Taking taylor expansion of 2.0 in t 2.663 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 2.663 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 2.663 * [taylor]: Taking taylor expansion of 1.0 in t 2.663 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.663 * [taylor]: Taking taylor expansion of 1.0 in t 2.663 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.663 * [taylor]: Taking taylor expansion of t in t 2.664 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 2.664 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 2.664 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 2.664 * [taylor]: Taking taylor expansion of 2.0 in t 2.664 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 2.664 * [taylor]: Taking taylor expansion of 2.0 in t 2.664 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 2.664 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 2.664 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 2.664 * [taylor]: Taking taylor expansion of 1.0 in t 2.664 * [taylor]: Taking taylor expansion of t in t 2.664 * [taylor]: Taking taylor expansion of 1.0 in t 2.664 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 2.664 * [taylor]: Taking taylor expansion of 2.0 in t 2.664 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 2.664 * [taylor]: Taking taylor expansion of 2.0 in t 2.664 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 2.664 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 2.664 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 2.664 * [taylor]: Taking taylor expansion of 1.0 in t 2.664 * [taylor]: Taking taylor expansion of t in t 2.664 * [taylor]: Taking taylor expansion of 1.0 in t 2.665 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 2.665 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 2.665 * [taylor]: Taking taylor expansion of 2.0 in t 2.665 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 2.665 * [taylor]: Taking taylor expansion of 2.0 in t 2.665 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 2.665 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 2.665 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.665 * [taylor]: Taking taylor expansion of 1.0 in t 2.665 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.665 * [taylor]: Taking taylor expansion of t in t 2.665 * [taylor]: Taking taylor expansion of 1.0 in t 2.665 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 2.665 * [taylor]: Taking taylor expansion of 2.0 in t 2.665 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 2.665 * [taylor]: Taking taylor expansion of 2.0 in t 2.665 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 2.665 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 2.666 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.666 * [taylor]: Taking taylor expansion of 1.0 in t 2.666 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.666 * [taylor]: Taking taylor expansion of t in t 2.666 * [taylor]: Taking taylor expansion of 1.0 in t 2.666 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 2.666 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 2.666 * [taylor]: Taking taylor expansion of 2.0 in t 2.666 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 2.666 * [taylor]: Taking taylor expansion of 2.0 in t 2.666 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 2.666 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 2.666 * [taylor]: Taking taylor expansion of 1.0 in t 2.666 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.666 * [taylor]: Taking taylor expansion of 1.0 in t 2.666 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.666 * [taylor]: Taking taylor expansion of t in t 2.666 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 2.666 * [taylor]: Taking taylor expansion of 2.0 in t 2.666 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 2.666 * [taylor]: Taking taylor expansion of 2.0 in t 2.666 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 2.666 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 2.666 * [taylor]: Taking taylor expansion of 1.0 in t 2.667 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.667 * [taylor]: Taking taylor expansion of 1.0 in t 2.667 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.667 * [taylor]: Taking taylor expansion of t in t 2.667 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 2.667 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in (t) around 0 2.667 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 2.667 * [taylor]: Taking taylor expansion of 2.0 in t 2.667 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 2.667 * [taylor]: Taking taylor expansion of 2.0 in t 2.667 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 2.667 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 2.667 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 2.667 * [taylor]: Taking taylor expansion of 1.0 in t 2.667 * [taylor]: Taking taylor expansion of t in t 2.667 * [taylor]: Taking taylor expansion of 1.0 in t 2.667 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 t) 1.0)))) in t 2.667 * [taylor]: Taking taylor expansion of 2.0 in t 2.667 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 t) 1.0))) in t 2.667 * [taylor]: Taking taylor expansion of 2.0 in t 2.667 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 t) 1.0)) in t 2.667 * [taylor]: Taking taylor expansion of (+ (* 1.0 t) 1.0) in t 2.667 * [taylor]: Taking taylor expansion of (* 1.0 t) in t 2.668 * [taylor]: Taking taylor expansion of 1.0 in t 2.668 * [taylor]: Taking taylor expansion of t in t 2.668 * [taylor]: Taking taylor expansion of 1.0 in t 2.668 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in (t) around 0 2.668 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 2.668 * [taylor]: Taking taylor expansion of 2.0 in t 2.668 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 2.668 * [taylor]: Taking taylor expansion of 2.0 in t 2.668 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 2.668 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 2.669 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.669 * [taylor]: Taking taylor expansion of 1.0 in t 2.669 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.669 * [taylor]: Taking taylor expansion of t in t 2.669 * [taylor]: Taking taylor expansion of 1.0 in t 2.669 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)))) in t 2.669 * [taylor]: Taking taylor expansion of 2.0 in t 2.669 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (+ (* 1.0 (/ 1 t)) 1.0))) in t 2.669 * [taylor]: Taking taylor expansion of 2.0 in t 2.669 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 1.0 (/ 1 t)) 1.0)) in t 2.669 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 t)) 1.0) in t 2.669 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.669 * [taylor]: Taking taylor expansion of 1.0 in t 2.669 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.669 * [taylor]: Taking taylor expansion of t in t 2.669 * [taylor]: Taking taylor expansion of 1.0 in t 2.669 * [approximate]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in (t) around 0 2.669 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 2.669 * [taylor]: Taking taylor expansion of 2.0 in t 2.669 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 2.669 * [taylor]: Taking taylor expansion of 2.0 in t 2.669 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 2.669 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 2.669 * [taylor]: Taking taylor expansion of 1.0 in t 2.670 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.670 * [taylor]: Taking taylor expansion of 1.0 in t 2.670 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.670 * [taylor]: Taking taylor expansion of t in t 2.670 * [taylor]: Taking taylor expansion of (- 2.0 (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t)))))) in t 2.670 * [taylor]: Taking taylor expansion of 2.0 in t 2.670 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (- 1.0 (* 1.0 (/ 1 t))))) in t 2.670 * [taylor]: Taking taylor expansion of 2.0 in t 2.670 * [taylor]: Taking taylor expansion of (/ 1 (- 1.0 (* 1.0 (/ 1 t)))) in t 2.670 * [taylor]: Taking taylor expansion of (- 1.0 (* 1.0 (/ 1 t))) in t 2.670 * [taylor]: Taking taylor expansion of 1.0 in t 2.670 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 t)) in t 2.670 * [taylor]: Taking taylor expansion of 1.0 in t 2.670 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.670 * [taylor]: Taking taylor expansion of t in t 2.670 * * * [progress]: simplifying candidates 2.671 * [simplify]: Simplifying using # : (/ (* (exp t) (exp (pow t 3))) (exp (pow t 2))) (/ (exp (+ t (pow t 3))) (exp (pow t 2))) (log (- (+ t (pow t 3)) (pow t 2))) (exp (- (+ t (pow t 3)) (pow t 2))) (* (cbrt (- (+ t (pow t 3)) (pow t 2))) (cbrt (- (+ t (pow t 3)) (pow t 2)))) (cbrt (- (+ t (pow t 3)) (pow t 2))) (* (* (- (+ t (pow t 3)) (pow t 2)) (- (+ t (pow t 3)) (pow t 2))) (- (+ t (pow t 3)) (pow t 2))) (sqrt (- (+ t (pow t 3)) (pow t 2))) (sqrt (- (+ t (pow t 3)) (pow t 2))) (- (pow (+ t (pow t 3)) 3) (pow (pow t 2) 3)) (+ (* (+ t (pow t 3)) (+ t (pow t 3))) (+ (* (pow t 2) (pow t 2)) (* (+ t (pow t 3)) (pow t 2)))) (neg (pow t 2)) (- (* (+ t (pow t 3)) (+ t (pow t 3))) (* (pow t 2) (pow t 2))) (+ (+ t (pow t 3)) (pow t 2)) (+ (sqrt (+ t (pow t 3))) (pow (sqrt t) 2)) (- (sqrt (+ t (pow t 3))) (pow (sqrt t) 2)) (+ (sqrt (+ t (pow t 3))) t) (- (sqrt (+ t (pow t 3))) t) (+ (sqrt (+ t (pow t 3))) (sqrt (pow t 2))) (- (sqrt (+ t (pow t 3))) (sqrt (pow t 2))) (+ (sqrt (+ t (pow t 3))) (pow t (/ 2 2))) (- (sqrt (+ t (pow t 3))) (pow t (/ 2 2))) (- (+ t (pow t 3)) (pow t 2)) (- (+ t (pow t 3)) (pow t 2)) (- (+ 1 (* t t)) t) (- (+ (* t t) 1) t) (- (pow t 3) (pow t 2)) (neg (pow t 2)) (/ (exp 2.0) (exp (/ 2.0 (+ (* t 1.0) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (* (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* t 1.0) 1.0)) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ (* t 1.0) 1.0)) (/ 2.0 (+ (* t 1.0) 1.0))) (* 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (- (* 2.0 2.0) (* (/ 2.0 (+ (* t 1.0) 1.0)) (/ 2.0 (+ (* t 1.0) 1.0)))) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (/ (exp 2.0) (exp (/ 2.0 (+ (* t 1.0) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (* (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* t 1.0) 1.0)) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ (* t 1.0) 1.0)) (/ 2.0 (+ (* t 1.0) 1.0))) (* 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (- (* 2.0 2.0) (* (/ 2.0 (+ (* t 1.0) 1.0)) (/ 2.0 (+ (* t 1.0) 1.0)))) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (/ (exp 2.0) (exp (/ 2.0 (+ (* t 1.0) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (* (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* t 1.0) 1.0)) 3)) (+ (* 2.0 2.0) (+ (* (/ 2.0 (+ (* t 1.0) 1.0)) (/ 2.0 (+ (* t 1.0) 1.0))) (* 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (- (* 2.0 2.0) (* (/ 2.0 (+ (* t 1.0) 1.0)) (/ 2.0 (+ (* t 1.0) 1.0)))) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (- (+ t (pow t 3)) (pow t 2)) (- (+ t (pow t 3)) (pow t 2)) (- (+ t (pow t 3)) (pow t 2)) (- (+ (* 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.675 * * [simplify]: iteration 0 : 99 enodes (cost 1242 ) 2.689 * * [simplify]: iteration 1 : 228 enodes (cost 1194 ) 2.732 * * [simplify]: iteration 2 : 675 enodes (cost 1078 ) 2.875 * * [simplify]: iteration 3 : 2463 enodes (cost 1070 ) 3.377 * * [simplify]: iteration done : 5000 enodes (cost 1070 ) 3.378 * [simplify]: Simplified to: (exp (- (+ t (pow t 3)) (pow t 2))) (exp (- (+ t (pow t 3)) (pow t 2))) (log (- (+ t (pow t 3)) (pow t 2))) (exp (- (+ t (pow t 3)) (pow t 2))) (* (cbrt (- (+ t (pow t 3)) (pow t 2))) (cbrt (- (+ t (pow t 3)) (pow t 2)))) (cbrt (- (+ t (pow t 3)) (pow t 2))) (pow (- (+ t (pow t 3)) (pow t 2)) 3) (sqrt (- (+ t (pow t 3)) (pow t 2))) (sqrt (- (+ t (pow t 3)) (pow t 2))) (- (pow (+ t (pow t 3)) 3) (pow t 6)) (+ (pow t 4) (* (+ (+ t (pow t 3)) (pow t 2)) (+ t (pow t 3)))) (neg (pow t 2)) (- (* (+ t (pow t 3)) (+ t (pow t 3))) (pow t 4)) (+ (+ t (pow t 3)) (pow t 2)) (+ t (sqrt (+ t (pow t 3)))) (- (sqrt (+ t (pow t 3))) t) (+ t (sqrt (+ t (pow t 3)))) (- (sqrt (+ t (pow t 3))) t) (+ (fabs t) (sqrt (+ t (pow t 3)))) (- (sqrt (+ t (pow t 3))) (fabs t)) (+ t (sqrt (+ t (pow t 3)))) (- (sqrt (+ t (pow t 3))) t) (- (+ t (pow t 3)) (pow t 2)) (- (+ t (pow t 3)) (pow t 2)) (- (+ (* t t) 1) t) (- (+ (* t t) 1) t) (- (pow t 3) (pow t 2)) (neg (pow t 2)) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (pow (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) 3) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* t 1.0) 1.0)) 3)) (+ (* (/ 2.0 (+ (* t 1.0) 1.0)) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* 2.0 2.0)) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (- (* 2.0 2.0) (* (/ 2.0 (+ (* t 1.0) 1.0)) (/ 2.0 (+ (* t 1.0) 1.0)))) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (pow (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) 3) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* t 1.0) 1.0)) 3)) (+ (* (/ 2.0 (+ (* t 1.0) 1.0)) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* 2.0 2.0)) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (- (* 2.0 2.0) (* (/ 2.0 (+ (* t 1.0) 1.0)) (/ 2.0 (+ (* t 1.0) 1.0)))) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (log (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (exp (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))))) (cbrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (pow (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) 3) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (sqrt (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (- (pow 2.0 3) (pow (/ 2.0 (+ (* t 1.0) 1.0)) 3)) (+ (* (/ 2.0 (+ (* t 1.0) 1.0)) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0)))) (* 2.0 2.0)) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (- (* 2.0 2.0) (* (/ 2.0 (+ (* t 1.0) 1.0)) (/ 2.0 (+ (* t 1.0) 1.0)))) (+ 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (+ (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (sqrt (/ 2.0 (+ (* t 1.0) 1.0)))) (+ (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- (sqrt 2.0) (/ (sqrt 2.0) (sqrt (+ (* t 1.0) 1.0)))) (- 2.0 (/ 2.0 (+ (* t 1.0) 1.0))) (neg (/ 2.0 (+ (* t 1.0) 1.0))) (- (+ t (pow t 3)) (pow t 2)) (- (+ t (pow t 3)) (pow t 2)) (- (+ t (pow t 3)) (pow t 2)) (* 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))) (* 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))) 3.379 * * * [progress]: adding candidates to table 3.582 * [progress]: [Phase 3 of 3] Extracting. 3.582 * * [regime]: Finding splitpoints for: (# #) 3.583 * * * [regime-changes]: Trying 1 branch expressions: (t) 3.583 * * * * [regimes]: Trying to branch on t from (# #) 3.611 * * * [regime]: Found split indices: #