17.371 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.197 * * * [progress]: [2/2] Setting up program. 0.199 * [progress]: [Phase 2 of 3] Improving. 0.199 * [simplify]: Simplifying using # : (- (/ 1.0 x) (/ 1.0 (tan x))) 0.201 * * [simplify]: iteration 0 : 8 enodes (cost 4 ) 0.203 * * [simplify]: iteration 1 : 11 enodes (cost 4 ) 0.204 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 0.204 * [simplify]: Simplified to: (- (/ 1.0 x) (/ 1.0 (tan x))) 0.204 * * [progress]: iteration 1 / 4 0.204 * * * [progress]: picking best candidate 0.206 * * * * [pick]: Picked # 0.206 * * * [progress]: localizing error 0.215 * * * [progress]: generating rewritten candidates 0.215 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.220 * * * [progress]: generating series expansions 0.220 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.220 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (* 1.0 (/ 1 (tan x)))) in (x) around 0 0.220 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (* 1.0 (/ 1 (tan x)))) in x 0.220 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.220 * [taylor]: Taking taylor expansion of 1.0 in x 0.220 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.220 * [taylor]: Taking taylor expansion of x in x 0.221 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan x))) in x 0.221 * [taylor]: Taking taylor expansion of 1.0 in x 0.221 * [taylor]: Taking taylor expansion of (/ 1 (tan x)) in x 0.221 * [taylor]: Taking taylor expansion of (tan x) in x 0.222 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.222 * [taylor]: Taking taylor expansion of (sin x) in x 0.222 * [taylor]: Taking taylor expansion of x in x 0.222 * [taylor]: Taking taylor expansion of (cos x) in x 0.222 * [taylor]: Taking taylor expansion of x in x 0.223 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (* 1.0 (/ 1 (tan x)))) in x 0.223 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.223 * [taylor]: Taking taylor expansion of 1.0 in x 0.223 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.223 * [taylor]: Taking taylor expansion of x in x 0.223 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan x))) in x 0.223 * [taylor]: Taking taylor expansion of 1.0 in x 0.223 * [taylor]: Taking taylor expansion of (/ 1 (tan x)) in x 0.223 * [taylor]: Taking taylor expansion of (tan x) in x 0.224 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.224 * [taylor]: Taking taylor expansion of (sin x) in x 0.224 * [taylor]: Taking taylor expansion of x in x 0.224 * [taylor]: Taking taylor expansion of (cos x) in x 0.224 * [taylor]: Taking taylor expansion of x in x 0.270 * [approximate]: Taking taylor expansion of (- (* 1.0 x) (* 1.0 (/ 1 (tan (/ 1 x))))) in (x) around 0 0.270 * [taylor]: Taking taylor expansion of (- (* 1.0 x) (* 1.0 (/ 1 (tan (/ 1 x))))) in x 0.270 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.270 * [taylor]: Taking taylor expansion of 1.0 in x 0.270 * [taylor]: Taking taylor expansion of x in x 0.270 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan (/ 1 x)))) in x 0.270 * [taylor]: Taking taylor expansion of 1.0 in x 0.270 * [taylor]: Taking taylor expansion of (/ 1 (tan (/ 1 x))) in x 0.270 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.271 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.271 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.271 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.271 * [taylor]: Taking taylor expansion of x in x 0.271 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.271 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.271 * [taylor]: Taking taylor expansion of x in x 0.271 * [taylor]: Taking taylor expansion of (- (* 1.0 x) (* 1.0 (/ 1 (tan (/ 1 x))))) in x 0.271 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.271 * [taylor]: Taking taylor expansion of 1.0 in x 0.271 * [taylor]: Taking taylor expansion of x in x 0.271 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan (/ 1 x)))) in x 0.271 * [taylor]: Taking taylor expansion of 1.0 in x 0.272 * [taylor]: Taking taylor expansion of (/ 1 (tan (/ 1 x))) in x 0.272 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.272 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.272 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.272 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.272 * [taylor]: Taking taylor expansion of x in x 0.272 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.272 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.272 * [taylor]: Taking taylor expansion of x in x 0.301 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (tan (/ -1 x)))) (* 1.0 x))) in (x) around 0 0.301 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (tan (/ -1 x)))) (* 1.0 x))) in x 0.301 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (tan (/ -1 x)))) (* 1.0 x)) in x 0.301 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan (/ -1 x)))) in x 0.301 * [taylor]: Taking taylor expansion of 1.0 in x 0.301 * [taylor]: Taking taylor expansion of (/ 1 (tan (/ -1 x))) in x 0.301 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.301 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.301 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.301 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.301 * [taylor]: Taking taylor expansion of -1 in x 0.301 * [taylor]: Taking taylor expansion of x in x 0.301 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.301 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.301 * [taylor]: Taking taylor expansion of -1 in x 0.301 * [taylor]: Taking taylor expansion of x in x 0.302 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.302 * [taylor]: Taking taylor expansion of 1.0 in x 0.302 * [taylor]: Taking taylor expansion of x in x 0.302 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (tan (/ -1 x)))) (* 1.0 x))) in x 0.302 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (tan (/ -1 x)))) (* 1.0 x)) in x 0.302 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan (/ -1 x)))) in x 0.302 * [taylor]: Taking taylor expansion of 1.0 in x 0.302 * [taylor]: Taking taylor expansion of (/ 1 (tan (/ -1 x))) in x 0.302 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.302 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.302 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.302 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.302 * [taylor]: Taking taylor expansion of -1 in x 0.302 * [taylor]: Taking taylor expansion of x in x 0.303 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.303 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.303 * [taylor]: Taking taylor expansion of -1 in x 0.303 * [taylor]: Taking taylor expansion of x in x 0.303 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.303 * [taylor]: Taking taylor expansion of 1.0 in x 0.303 * [taylor]: Taking taylor expansion of x in x 0.326 * * * [progress]: simplifying candidates 0.326 * [simplify]: Simplifying using # : (- (* 1.0 (tan x)) (* x 1.0)) (* x (tan x)) (- (* 1.0 (- (tan x))) (* x (- 1.0))) (* x (- (tan x))) (- (* 1.0 (/ (tan x) 1.0)) (* x 1)) (* x (/ (tan x) 1.0)) (- (* (- 1.0) (tan x)) (* (- x) 1.0)) (* (- x) (tan x)) (- (* (- 1.0) (- (tan x))) (* (- x) (- 1.0))) (* (- x) (- (tan x))) (- (* (- 1.0) (/ (tan x) 1.0)) (* (- x) 1)) (* (- x) (/ (tan x) 1.0)) (- (* 1 (tan x)) (* (/ x 1.0) 1.0)) (* (/ x 1.0) (tan x)) (- (* 1 (- (tan x))) (* (/ x 1.0) (- 1.0))) (* (/ x 1.0) (- (tan x))) (- (* 1 (/ (tan x) 1.0)) (* (/ x 1.0) 1)) (* (/ x 1.0) (/ (tan x) 1.0)) (- (pow (/ 1.0 x) 3) (pow (/ 1.0 (tan x)) 3)) (+ (* (/ 1.0 x) (/ 1.0 x)) (+ (* (/ 1.0 (tan x)) (/ 1.0 (tan x))) (* (/ 1.0 x) (/ 1.0 (tan x))))) (- (/ 1.0 (tan x))) (- (* (/ 1.0 x) (/ 1.0 x)) (* (/ 1.0 (tan x)) (/ 1.0 (tan x)))) (+ (/ 1.0 x) (/ 1.0 (tan x))) (- (/ 1 x) (/ 1 (tan x))) (- (/ 1.0 (tan x))) (+ (* 0.022222222222222223 (pow x 3)) (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) (- (* 1.0 (/ 1 x)) (* 1.0 (/ (cos x) (sin x)))) (- (* 1.0 (/ 1 x)) (* 1.0 (/ (cos x) (sin x)))) 0.330 * * [simplify]: iteration 0 : 204 enodes (cost 142 ) 0.334 * * [simplify]: iteration 1 : 670 enodes (cost 126 ) 0.346 * * [simplify]: iteration 2 : 2489 enodes (cost 111 ) 0.398 * * [simplify]: iteration 3 : 5003 enodes (cost 111 ) 0.398 * [simplify]: Simplified to: (* 1.0 (- (tan x) x)) (* x (tan x)) (* (- x (tan x)) 1.0) (* (- x) (tan x)) (- (tan x) x) (* x (/ (tan x) 1.0)) (* (- x (tan x)) 1.0) (* (- x) (tan x)) (* 1.0 (- (tan x) x)) (* x (tan x)) (- x (tan x)) (* (- x) (/ (tan x) 1.0)) (- (tan x) x) (* x (/ (tan x) 1.0)) (- x (tan x)) (* (- x) (/ (tan x) 1.0)) (+ (/ (tan x) 1.0) (- (/ x 1.0))) (* (/ x 1.0) (/ (tan x) 1.0)) (- (pow (/ 1.0 x) 3) (pow (/ 1.0 (tan x)) 3)) (+ (* (/ 1.0 (tan x)) (+ (/ 1.0 (tan x)) (/ 1.0 x))) (* (/ 1.0 x) (/ 1.0 x))) (- (/ 1.0 (tan x))) (* 1.0 (- (/ (/ 1.0 x) x) (/ (/ 1.0 (tan x)) (tan x)))) (+ (/ 1.0 x) (/ 1.0 (tan x))) (- (/ 1 x) (/ 1 (tan x))) (- (/ 1.0 (tan x))) (+ (* 0.022222222222222223 (pow x 3)) (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) (* 1.0 (- (/ 1 x) (/ (cos x) (sin x)))) (* 1.0 (- (/ 1 x) (/ (cos x) (sin x)))) 0.399 * * * [progress]: adding candidates to table 0.424 * * [progress]: iteration 2 / 4 0.424 * * * [progress]: picking best candidate 0.425 * * * * [pick]: Picked # 0.426 * * * [progress]: localizing error 0.439 * * * [progress]: generating rewritten candidates 0.439 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 0.442 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1) 0.444 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.452 * * * [progress]: generating series expansions 0.452 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 0.452 * [approximate]: Taking taylor expansion of (* 0.022222222222222223 (pow x 3)) in (x) around 0 0.452 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (pow x 3)) in x 0.452 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 0.452 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.452 * [taylor]: Taking taylor expansion of x in x 0.452 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (pow x 3)) in x 0.452 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 0.452 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.452 * [taylor]: Taking taylor expansion of x in x 0.465 * [approximate]: Taking taylor expansion of (/ 0.022222222222222223 (pow x 3)) in (x) around 0 0.465 * [taylor]: Taking taylor expansion of (/ 0.022222222222222223 (pow x 3)) in x 0.465 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 0.465 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.465 * [taylor]: Taking taylor expansion of x in x 0.465 * [taylor]: Taking taylor expansion of (/ 0.022222222222222223 (pow x 3)) in x 0.465 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 0.466 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.466 * [taylor]: Taking taylor expansion of x in x 0.477 * [approximate]: Taking taylor expansion of (/ -0.022222222222222223 (pow x 3)) in (x) around 0 0.477 * [taylor]: Taking taylor expansion of (/ -0.022222222222222223 (pow x 3)) in x 0.477 * [taylor]: Taking taylor expansion of -0.022222222222222223 in x 0.477 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.477 * [taylor]: Taking taylor expansion of x in x 0.478 * [taylor]: Taking taylor expansion of (/ -0.022222222222222223 (pow x 3)) in x 0.478 * [taylor]: Taking taylor expansion of -0.022222222222222223 in x 0.478 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.478 * [taylor]: Taking taylor expansion of x in x 0.489 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1) 0.489 * [approximate]: Taking taylor expansion of (* 0.0021164021164021165 (pow x 5)) in (x) around 0 0.489 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (pow x 5)) in x 0.489 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.489 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.489 * [taylor]: Taking taylor expansion of x in x 0.489 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (pow x 5)) in x 0.489 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.489 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.489 * [taylor]: Taking taylor expansion of x in x 0.505 * [approximate]: Taking taylor expansion of (/ 0.0021164021164021165 (pow x 5)) in (x) around 0 0.505 * [taylor]: Taking taylor expansion of (/ 0.0021164021164021165 (pow x 5)) in x 0.505 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.505 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.505 * [taylor]: Taking taylor expansion of x in x 0.506 * [taylor]: Taking taylor expansion of (/ 0.0021164021164021165 (pow x 5)) in x 0.506 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.506 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.506 * [taylor]: Taking taylor expansion of x in x 0.527 * [approximate]: Taking taylor expansion of (/ -0.0021164021164021165 (pow x 5)) in (x) around 0 0.527 * [taylor]: Taking taylor expansion of (/ -0.0021164021164021165 (pow x 5)) in x 0.527 * [taylor]: Taking taylor expansion of -0.0021164021164021165 in x 0.527 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.527 * [taylor]: Taking taylor expansion of x in x 0.528 * [taylor]: Taking taylor expansion of (/ -0.0021164021164021165 (pow x 5)) in x 0.528 * [taylor]: Taking taylor expansion of -0.0021164021164021165 in x 0.528 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.528 * [taylor]: Taking taylor expansion of x in x 0.543 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.543 * [approximate]: Taking taylor expansion of (+ (* 0.022222222222222223 (pow x 3)) (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) in (x) around 0 0.543 * [taylor]: Taking taylor expansion of (+ (* 0.022222222222222223 (pow x 3)) (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) in x 0.543 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (pow x 3)) in x 0.543 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 0.543 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.543 * [taylor]: Taking taylor expansion of x in x 0.543 * [taylor]: Taking taylor expansion of (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)) in x 0.543 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (pow x 5)) in x 0.543 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.543 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.543 * [taylor]: Taking taylor expansion of x in x 0.543 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 x) in x 0.543 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.543 * [taylor]: Taking taylor expansion of x in x 0.543 * [taylor]: Taking taylor expansion of (+ (* 0.022222222222222223 (pow x 3)) (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) in x 0.543 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (pow x 3)) in x 0.543 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 0.543 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.543 * [taylor]: Taking taylor expansion of x in x 0.543 * [taylor]: Taking taylor expansion of (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)) in x 0.543 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (pow x 5)) in x 0.543 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.543 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.543 * [taylor]: Taking taylor expansion of x in x 0.543 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 x) in x 0.544 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.544 * [taylor]: Taking taylor expansion of x in x 0.555 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ 1 x)) (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3))))) in (x) around 0 0.555 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ 1 x)) (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3))))) in x 0.555 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 x)) in x 0.555 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.555 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.555 * [taylor]: Taking taylor expansion of x in x 0.556 * [taylor]: Taking taylor expansion of (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3)))) in x 0.556 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (/ 1 (pow x 5))) in x 0.556 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.556 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 0.556 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.556 * [taylor]: Taking taylor expansion of x in x 0.557 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (/ 1 (pow x 3))) in x 0.557 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 0.557 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.557 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.557 * [taylor]: Taking taylor expansion of x in x 0.557 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ 1 x)) (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3))))) in x 0.557 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 x)) in x 0.557 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.557 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.557 * [taylor]: Taking taylor expansion of x in x 0.558 * [taylor]: Taking taylor expansion of (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3)))) in x 0.558 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (/ 1 (pow x 5))) in x 0.558 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.558 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 0.558 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.558 * [taylor]: Taking taylor expansion of x in x 0.559 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (/ 1 (pow x 3))) in x 0.559 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 0.559 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.559 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.559 * [taylor]: Taking taylor expansion of x in x 0.577 * [approximate]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ 1 x)) (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3)))))) in (x) around 0 0.578 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ 1 x)) (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3)))))) in x 0.578 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ 1 x)) (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3))))) in x 0.578 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 x)) in x 0.578 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.578 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.578 * [taylor]: Taking taylor expansion of x in x 0.578 * [taylor]: Taking taylor expansion of (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3)))) in x 0.578 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (/ 1 (pow x 5))) in x 0.578 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.578 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 0.578 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.578 * [taylor]: Taking taylor expansion of x in x 0.579 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (/ 1 (pow x 3))) in x 0.579 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 0.579 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.579 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.579 * [taylor]: Taking taylor expansion of x in x 0.580 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ 1 x)) (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3)))))) in x 0.580 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ 1 x)) (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3))))) in x 0.580 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 x)) in x 0.580 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.580 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.580 * [taylor]: Taking taylor expansion of x in x 0.580 * [taylor]: Taking taylor expansion of (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3)))) in x 0.580 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (/ 1 (pow x 5))) in x 0.580 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.580 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 0.580 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.580 * [taylor]: Taking taylor expansion of x in x 0.581 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (/ 1 (pow x 3))) in x 0.581 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 0.581 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.581 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.581 * [taylor]: Taking taylor expansion of x in x 0.602 * * * [progress]: simplifying candidates 0.602 * [simplify]: Simplifying using # : (* 0.022222222222222223 (* x x)) (* 0.022222222222222223 (pow x (/ 3 2))) (* 0.0021164021164021165 (pow x (/ 5 2))) (+ (pow (* 0.022222222222222223 (pow x 3)) 3) (pow (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)) 3)) (+ (* (* 0.022222222222222223 (pow x 3)) (* 0.022222222222222223 (pow x 3))) (- (* (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)) (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) (* (* 0.022222222222222223 (pow x 3)) (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))))) (- (* (* 0.022222222222222223 (pow x 3)) (* 0.022222222222222223 (pow x 3))) (* (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)) (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)))) (- (* 0.022222222222222223 (pow x 3)) (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (+ (* 0.022222222222222223 (pow x 3)) (* 0.3333333333333333 x)) (* 0.022222222222222223 (pow x 3)) (* 0.022222222222222223 (pow x 3)) (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)) (* 0.0021164021164021165 (pow x 5)) (* 0.0021164021164021165 (pow x 5)) (+ (* 0.022222222222222223 (pow x 3)) (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) (+ (* 0.3333333333333333 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))) (+ (* 0.3333333333333333 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))) 0.610 * * [simplify]: iteration 0 : 101 enodes (cost 97 ) 0.613 * * [simplify]: iteration 1 : 358 enodes (cost 96 ) 0.622 * * [simplify]: iteration 2 : 1892 enodes (cost 96 ) 0.693 * * [simplify]: iteration 3 : 5001 enodes (cost 96 ) 0.694 * [simplify]: Simplified to: (* 0.022222222222222223 (* x x)) (* 0.022222222222222223 (pow x 3/2)) (* 0.0021164021164021165 (pow x 5/2)) (+ (pow (* 0.022222222222222223 (pow x 3)) 3) (pow (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)) 3)) (+ (* (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)) (- (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)) (* 0.022222222222222223 (pow x 3)))) (* (* 0.022222222222222223 (pow x 3)) (* 0.022222222222222223 (pow x 3)))) (+ (- (* (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)) (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)))) (* 0.022222222222222223 (* 0.022222222222222223 (pow x 6)))) (- (* 0.022222222222222223 (pow x 3)) (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (+ (* 0.022222222222222223 (pow x 3)) (* 0.3333333333333333 x)) (* 0.022222222222222223 (pow x 3)) (* 0.022222222222222223 (pow x 3)) (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)) (* 0.0021164021164021165 (pow x 5)) (* 0.0021164021164021165 (pow x 5)) (+ (* 0.022222222222222223 (pow x 3)) (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) (+ (* 0.022222222222222223 (pow x 3)) (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) (+ (* 0.022222222222222223 (pow x 3)) (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) 0.694 * * * [progress]: adding candidates to table 0.722 * * [progress]: iteration 3 / 4 0.722 * * * [progress]: picking best candidate 0.730 * * * * [pick]: Picked # 0.730 * * * [progress]: localizing error 0.739 * * * [progress]: generating rewritten candidates 0.739 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 0.742 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 0.745 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 0.750 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 0.763 * * * [progress]: generating series expansions 0.763 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 0.763 * [approximate]: Taking taylor expansion of (* 0.022222222222222223 (pow x 3)) in (x) around 0 0.763 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (pow x 3)) in x 0.763 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 0.763 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.763 * [taylor]: Taking taylor expansion of x in x 0.763 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (pow x 3)) in x 0.763 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 0.763 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.763 * [taylor]: Taking taylor expansion of x in x 0.776 * [approximate]: Taking taylor expansion of (/ 0.022222222222222223 (pow x 3)) in (x) around 0 0.776 * [taylor]: Taking taylor expansion of (/ 0.022222222222222223 (pow x 3)) in x 0.776 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 0.776 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.776 * [taylor]: Taking taylor expansion of x in x 0.777 * [taylor]: Taking taylor expansion of (/ 0.022222222222222223 (pow x 3)) in x 0.777 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 0.777 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.777 * [taylor]: Taking taylor expansion of x in x 0.788 * [approximate]: Taking taylor expansion of (/ -0.022222222222222223 (pow x 3)) in (x) around 0 0.788 * [taylor]: Taking taylor expansion of (/ -0.022222222222222223 (pow x 3)) in x 0.788 * [taylor]: Taking taylor expansion of -0.022222222222222223 in x 0.788 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.788 * [taylor]: Taking taylor expansion of x in x 0.789 * [taylor]: Taking taylor expansion of (/ -0.022222222222222223 (pow x 3)) in x 0.789 * [taylor]: Taking taylor expansion of -0.022222222222222223 in x 0.789 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.789 * [taylor]: Taking taylor expansion of x in x 0.801 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 0.801 * [approximate]: Taking taylor expansion of (* 0.0021164021164021165 (pow x 5)) in (x) around 0 0.801 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (pow x 5)) in x 0.801 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.801 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.801 * [taylor]: Taking taylor expansion of x in x 0.801 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (pow x 5)) in x 0.801 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.801 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.801 * [taylor]: Taking taylor expansion of x in x 0.817 * [approximate]: Taking taylor expansion of (/ 0.0021164021164021165 (pow x 5)) in (x) around 0 0.818 * [taylor]: Taking taylor expansion of (/ 0.0021164021164021165 (pow x 5)) in x 0.818 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.818 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.818 * [taylor]: Taking taylor expansion of x in x 0.819 * [taylor]: Taking taylor expansion of (/ 0.0021164021164021165 (pow x 5)) in x 0.819 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.819 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.819 * [taylor]: Taking taylor expansion of x in x 0.834 * [approximate]: Taking taylor expansion of (/ -0.0021164021164021165 (pow x 5)) in (x) around 0 0.834 * [taylor]: Taking taylor expansion of (/ -0.0021164021164021165 (pow x 5)) in x 0.834 * [taylor]: Taking taylor expansion of -0.0021164021164021165 in x 0.834 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.834 * [taylor]: Taking taylor expansion of x in x 0.835 * [taylor]: Taking taylor expansion of (/ -0.0021164021164021165 (pow x 5)) in x 0.835 * [taylor]: Taking taylor expansion of -0.0021164021164021165 in x 0.835 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.835 * [taylor]: Taking taylor expansion of x in x 0.858 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 0.858 * [approximate]: Taking taylor expansion of (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) in (x) around 0 0.858 * [taylor]: Taking taylor expansion of (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) in x 0.858 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (pow x 3)) in x 0.858 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 0.858 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.858 * [taylor]: Taking taylor expansion of x in x 0.858 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (pow x 5)) in x 0.858 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.858 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.858 * [taylor]: Taking taylor expansion of x in x 0.858 * [taylor]: Taking taylor expansion of (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) in x 0.858 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (pow x 3)) in x 0.858 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 0.858 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.858 * [taylor]: Taking taylor expansion of x in x 0.858 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (pow x 5)) in x 0.858 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.858 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.858 * [taylor]: Taking taylor expansion of x in x 0.895 * [approximate]: Taking taylor expansion of (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3)))) in (x) around 0 0.895 * [taylor]: Taking taylor expansion of (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3)))) in x 0.895 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (/ 1 (pow x 5))) in x 0.895 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.895 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 0.895 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.895 * [taylor]: Taking taylor expansion of x in x 0.896 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (/ 1 (pow x 3))) in x 0.896 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 0.896 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.896 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.896 * [taylor]: Taking taylor expansion of x in x 0.897 * [taylor]: Taking taylor expansion of (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3)))) in x 0.897 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (/ 1 (pow x 5))) in x 0.897 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.897 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 0.897 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.897 * [taylor]: Taking taylor expansion of x in x 0.898 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (/ 1 (pow x 3))) in x 0.898 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 0.898 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.898 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.898 * [taylor]: Taking taylor expansion of x in x 0.948 * [approximate]: Taking taylor expansion of (- (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3))))) in (x) around 0 0.948 * [taylor]: Taking taylor expansion of (- (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3))))) in x 0.948 * [taylor]: Taking taylor expansion of (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3)))) in x 0.948 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (/ 1 (pow x 5))) in x 0.948 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.948 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 0.948 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.948 * [taylor]: Taking taylor expansion of x in x 0.949 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (/ 1 (pow x 3))) in x 0.949 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 0.949 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.949 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.949 * [taylor]: Taking taylor expansion of x in x 0.950 * [taylor]: Taking taylor expansion of (- (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3))))) in x 0.950 * [taylor]: Taking taylor expansion of (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3)))) in x 0.950 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (/ 1 (pow x 5))) in x 0.950 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.950 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 0.950 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.950 * [taylor]: Taking taylor expansion of x in x 0.951 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (/ 1 (pow x 3))) in x 0.951 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 0.951 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.951 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.951 * [taylor]: Taking taylor expansion of x in x 0.997 * * * * [progress]: [ 4 / 4 ] generating series at (2) 0.998 * [approximate]: Taking taylor expansion of (+ (* 0.022222222222222223 (pow x 3)) (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) in (x) around 0 0.998 * [taylor]: Taking taylor expansion of (+ (* 0.022222222222222223 (pow x 3)) (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) in x 0.998 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (pow x 3)) in x 0.998 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 0.998 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.998 * [taylor]: Taking taylor expansion of x in x 0.998 * [taylor]: Taking taylor expansion of (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)) in x 0.998 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (pow x 5)) in x 0.998 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.998 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.998 * [taylor]: Taking taylor expansion of x in x 0.998 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 x) in x 0.998 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.998 * [taylor]: Taking taylor expansion of x in x 0.998 * [taylor]: Taking taylor expansion of (+ (* 0.022222222222222223 (pow x 3)) (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) in x 0.998 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (pow x 3)) in x 0.998 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 0.998 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.998 * [taylor]: Taking taylor expansion of x in x 0.998 * [taylor]: Taking taylor expansion of (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)) in x 0.998 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (pow x 5)) in x 0.998 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.998 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.998 * [taylor]: Taking taylor expansion of x in x 0.998 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 x) in x 0.998 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.998 * [taylor]: Taking taylor expansion of x in x 1.016 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ 1 x)) (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3))))) in (x) around 0 1.016 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ 1 x)) (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3))))) in x 1.016 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 x)) in x 1.016 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.016 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.016 * [taylor]: Taking taylor expansion of x in x 1.017 * [taylor]: Taking taylor expansion of (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3)))) in x 1.017 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (/ 1 (pow x 5))) in x 1.017 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 1.017 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 1.017 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.017 * [taylor]: Taking taylor expansion of x in x 1.018 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (/ 1 (pow x 3))) in x 1.018 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 1.018 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.018 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.018 * [taylor]: Taking taylor expansion of x in x 1.019 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ 1 x)) (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3))))) in x 1.019 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 x)) in x 1.019 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.019 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.019 * [taylor]: Taking taylor expansion of x in x 1.019 * [taylor]: Taking taylor expansion of (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3)))) in x 1.019 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (/ 1 (pow x 5))) in x 1.019 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 1.019 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 1.019 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.019 * [taylor]: Taking taylor expansion of x in x 1.020 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (/ 1 (pow x 3))) in x 1.020 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 1.020 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.020 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.020 * [taylor]: Taking taylor expansion of x in x 1.039 * [approximate]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ 1 x)) (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3)))))) in (x) around 0 1.039 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ 1 x)) (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3)))))) in x 1.039 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ 1 x)) (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3))))) in x 1.039 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 x)) in x 1.039 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.039 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.039 * [taylor]: Taking taylor expansion of x in x 1.040 * [taylor]: Taking taylor expansion of (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3)))) in x 1.040 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (/ 1 (pow x 5))) in x 1.040 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 1.040 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 1.040 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.040 * [taylor]: Taking taylor expansion of x in x 1.041 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (/ 1 (pow x 3))) in x 1.041 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 1.041 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.041 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.041 * [taylor]: Taking taylor expansion of x in x 1.041 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ 1 x)) (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3)))))) in x 1.041 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ 1 x)) (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3))))) in x 1.041 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 x)) in x 1.041 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.041 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.041 * [taylor]: Taking taylor expansion of x in x 1.042 * [taylor]: Taking taylor expansion of (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3)))) in x 1.042 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (/ 1 (pow x 5))) in x 1.042 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 1.042 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 1.042 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.042 * [taylor]: Taking taylor expansion of x in x 1.043 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (/ 1 (pow x 3))) in x 1.043 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 1.043 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.043 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.043 * [taylor]: Taking taylor expansion of x in x 1.064 * * * [progress]: simplifying candidates 1.064 * [simplify]: Simplifying using # : (* 0.022222222222222223 (* x x)) (* 0.022222222222222223 (pow x (/ 3 2))) (* 0.0021164021164021165 (pow x (/ 5 2))) (+ (pow (* 0.022222222222222223 (pow x 3)) 3) (pow (* 0.0021164021164021165 (pow x 5)) 3)) (+ (* (* 0.022222222222222223 (pow x 3)) (* 0.022222222222222223 (pow x 3))) (- (* (* 0.0021164021164021165 (pow x 5)) (* 0.0021164021164021165 (pow x 5))) (* (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))))) (- (* (* 0.022222222222222223 (pow x 3)) (* 0.022222222222222223 (pow x 3))) (* (* 0.0021164021164021165 (pow x 5)) (* 0.0021164021164021165 (pow x 5)))) (- (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (+ (pow (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) 3) (pow (* 0.3333333333333333 x) 3)) (+ (* (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))) (- (* (* 0.3333333333333333 x) (* 0.3333333333333333 x)) (* (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (* 0.3333333333333333 x)))) (- (* (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))) (* (* 0.3333333333333333 x) (* 0.3333333333333333 x))) (- (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (* 0.3333333333333333 x)) (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)) (+ (* 0.022222222222222223 (pow x 3)) (* 0.3333333333333333 x)) (* 0.022222222222222223 (pow x 3)) (* 0.022222222222222223 (pow x 3)) (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)) (* 0.0021164021164021165 (pow x 5)) (* 0.0021164021164021165 (pow x 5)) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (+ (* 0.022222222222222223 (pow x 3)) (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) (+ (* 0.3333333333333333 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))) (+ (* 0.3333333333333333 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))) 1.067 * * [simplify]: iteration 0 : 142 enodes (cost 151 ) 1.070 * * [simplify]: iteration 1 : 511 enodes (cost 148 ) 1.084 * * [simplify]: iteration 2 : 2515 enodes (cost 142 ) 1.186 * * [simplify]: iteration 3 : 5001 enodes (cost 142 ) 1.187 * [simplify]: Simplified to: (* 0.022222222222222223 (* x x)) (* 0.022222222222222223 (pow x 3/2)) (* 0.0021164021164021165 (pow x 5/2)) (+ (pow (* 0.022222222222222223 (pow x 3)) 3) (pow (* 0.0021164021164021165 (pow x 5)) 3)) (+ (* (* 0.022222222222222223 (pow x 3)) (- (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))) (* 0.0021164021164021165 (* 0.0021164021164021165 (pow x 10)))) (+ (* (- (* 0.0021164021164021165 0.0021164021164021165)) (pow x 10)) (* 0.022222222222222223 (* 0.022222222222222223 (pow x 6)))) (- (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (+ (pow (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) 3) (pow (* 0.3333333333333333 x) 3)) (+ (* (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (- (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (* 0.3333333333333333 x))) (* (* 0.3333333333333333 x) (* 0.3333333333333333 x))) (- (* (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))) (* (* 0.3333333333333333 x) (* 0.3333333333333333 x))) (- (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (* 0.3333333333333333 x)) (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)) (+ (* 0.022222222222222223 (pow x 3)) (* 0.3333333333333333 x)) (* 0.022222222222222223 (pow x 3)) (* 0.022222222222222223 (pow x 3)) (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)) (* 0.0021164021164021165 (pow x 5)) (* 0.0021164021164021165 (pow x 5)) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (+ (* 0.022222222222222223 (pow x 3)) (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) (+ (* 0.022222222222222223 (pow x 3)) (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) (+ (* 0.022222222222222223 (pow x 3)) (+ (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) 1.187 * * * [progress]: adding candidates to table 1.231 * * [progress]: iteration 4 / 4 1.231 * * * [progress]: picking best candidate 1.237 * * * * [pick]: Picked # 1.237 * * * [progress]: localizing error 1.251 * * * [progress]: generating rewritten candidates 1.251 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1.275 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 1.283 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 1.286 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1) 1.289 * * * [progress]: generating series expansions 1.289 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1.290 * [approximate]: Taking taylor expansion of (/ (- (+ (* 9.406231628453851e-05 (pow x 8)) (+ (* 0.0004938271604938272 (pow x 6)) (* 4.479157918311358e-06 (pow x 10)))) (* 0.1111111111111111 (pow x 2))) (- (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (* 0.3333333333333333 x))) in (x) around 0 1.290 * [taylor]: Taking taylor expansion of (/ (- (+ (* 9.406231628453851e-05 (pow x 8)) (+ (* 0.0004938271604938272 (pow x 6)) (* 4.479157918311358e-06 (pow x 10)))) (* 0.1111111111111111 (pow x 2))) (- (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (* 0.3333333333333333 x))) in x 1.290 * [taylor]: Taking taylor expansion of (- (+ (* 9.406231628453851e-05 (pow x 8)) (+ (* 0.0004938271604938272 (pow x 6)) (* 4.479157918311358e-06 (pow x 10)))) (* 0.1111111111111111 (pow x 2))) in x 1.290 * [taylor]: Taking taylor expansion of (+ (* 9.406231628453851e-05 (pow x 8)) (+ (* 0.0004938271604938272 (pow x 6)) (* 4.479157918311358e-06 (pow x 10)))) in x 1.290 * [taylor]: Taking taylor expansion of (* 9.406231628453851e-05 (pow x 8)) in x 1.291 * [taylor]: Taking taylor expansion of 9.406231628453851e-05 in x 1.291 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.291 * [taylor]: Taking taylor expansion of x in x 1.291 * [taylor]: Taking taylor expansion of (+ (* 0.0004938271604938272 (pow x 6)) (* 4.479157918311358e-06 (pow x 10))) in x 1.291 * [taylor]: Taking taylor expansion of (* 0.0004938271604938272 (pow x 6)) in x 1.291 * [taylor]: Taking taylor expansion of 0.0004938271604938272 in x 1.291 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.291 * [taylor]: Taking taylor expansion of x in x 1.291 * [taylor]: Taking taylor expansion of (* 4.479157918311358e-06 (pow x 10)) in x 1.291 * [taylor]: Taking taylor expansion of 4.479157918311358e-06 in x 1.291 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.291 * [taylor]: Taking taylor expansion of x in x 1.291 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (pow x 2)) in x 1.291 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 1.291 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.291 * [taylor]: Taking taylor expansion of x in x 1.291 * [taylor]: Taking taylor expansion of (- (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (* 0.3333333333333333 x)) in x 1.291 * [taylor]: Taking taylor expansion of (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) in x 1.291 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (pow x 3)) in x 1.291 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 1.291 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.291 * [taylor]: Taking taylor expansion of x in x 1.291 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (pow x 5)) in x 1.291 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 1.291 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.291 * [taylor]: Taking taylor expansion of x in x 1.291 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 x) in x 1.291 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.291 * [taylor]: Taking taylor expansion of x in x 1.296 * [taylor]: Taking taylor expansion of (/ (- (+ (* 9.406231628453851e-05 (pow x 8)) (+ (* 0.0004938271604938272 (pow x 6)) (* 4.479157918311358e-06 (pow x 10)))) (* 0.1111111111111111 (pow x 2))) (- (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (* 0.3333333333333333 x))) in x 1.296 * [taylor]: Taking taylor expansion of (- (+ (* 9.406231628453851e-05 (pow x 8)) (+ (* 0.0004938271604938272 (pow x 6)) (* 4.479157918311358e-06 (pow x 10)))) (* 0.1111111111111111 (pow x 2))) in x 1.296 * [taylor]: Taking taylor expansion of (+ (* 9.406231628453851e-05 (pow x 8)) (+ (* 0.0004938271604938272 (pow x 6)) (* 4.479157918311358e-06 (pow x 10)))) in x 1.296 * [taylor]: Taking taylor expansion of (* 9.406231628453851e-05 (pow x 8)) in x 1.296 * [taylor]: Taking taylor expansion of 9.406231628453851e-05 in x 1.296 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.296 * [taylor]: Taking taylor expansion of x in x 1.296 * [taylor]: Taking taylor expansion of (+ (* 0.0004938271604938272 (pow x 6)) (* 4.479157918311358e-06 (pow x 10))) in x 1.296 * [taylor]: Taking taylor expansion of (* 0.0004938271604938272 (pow x 6)) in x 1.297 * [taylor]: Taking taylor expansion of 0.0004938271604938272 in x 1.297 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.297 * [taylor]: Taking taylor expansion of x in x 1.297 * [taylor]: Taking taylor expansion of (* 4.479157918311358e-06 (pow x 10)) in x 1.297 * [taylor]: Taking taylor expansion of 4.479157918311358e-06 in x 1.297 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.297 * [taylor]: Taking taylor expansion of x in x 1.297 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (pow x 2)) in x 1.297 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 1.297 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.297 * [taylor]: Taking taylor expansion of x in x 1.297 * [taylor]: Taking taylor expansion of (- (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (* 0.3333333333333333 x)) in x 1.297 * [taylor]: Taking taylor expansion of (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) in x 1.297 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (pow x 3)) in x 1.297 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 1.297 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.297 * [taylor]: Taking taylor expansion of x in x 1.297 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (pow x 5)) in x 1.297 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 1.297 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.297 * [taylor]: Taking taylor expansion of x in x 1.297 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 x) in x 1.297 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.297 * [taylor]: Taking taylor expansion of x in x 1.329 * [approximate]: Taking taylor expansion of (/ (- (+ (* 0.0004938271604938272 (/ 1 (pow x 6))) (+ (* 9.406231628453851e-05 (/ 1 (pow x 8))) (* 4.479157918311358e-06 (/ 1 (pow x 10))))) (* 0.1111111111111111 (/ 1 (pow x 2)))) (- (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3)))) (* 0.3333333333333333 (/ 1 x)))) in (x) around 0 1.329 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.0004938271604938272 (/ 1 (pow x 6))) (+ (* 9.406231628453851e-05 (/ 1 (pow x 8))) (* 4.479157918311358e-06 (/ 1 (pow x 10))))) (* 0.1111111111111111 (/ 1 (pow x 2)))) (- (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3)))) (* 0.3333333333333333 (/ 1 x)))) in x 1.329 * [taylor]: Taking taylor expansion of (- (+ (* 0.0004938271604938272 (/ 1 (pow x 6))) (+ (* 9.406231628453851e-05 (/ 1 (pow x 8))) (* 4.479157918311358e-06 (/ 1 (pow x 10))))) (* 0.1111111111111111 (/ 1 (pow x 2)))) in x 1.329 * [taylor]: Taking taylor expansion of (+ (* 0.0004938271604938272 (/ 1 (pow x 6))) (+ (* 9.406231628453851e-05 (/ 1 (pow x 8))) (* 4.479157918311358e-06 (/ 1 (pow x 10))))) in x 1.329 * [taylor]: Taking taylor expansion of (* 0.0004938271604938272 (/ 1 (pow x 6))) in x 1.329 * [taylor]: Taking taylor expansion of 0.0004938271604938272 in x 1.329 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 1.329 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.329 * [taylor]: Taking taylor expansion of x in x 1.330 * [taylor]: Taking taylor expansion of (+ (* 9.406231628453851e-05 (/ 1 (pow x 8))) (* 4.479157918311358e-06 (/ 1 (pow x 10)))) in x 1.330 * [taylor]: Taking taylor expansion of (* 9.406231628453851e-05 (/ 1 (pow x 8))) in x 1.330 * [taylor]: Taking taylor expansion of 9.406231628453851e-05 in x 1.330 * [taylor]: Taking taylor expansion of (/ 1 (pow x 8)) in x 1.330 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.330 * [taylor]: Taking taylor expansion of x in x 1.331 * [taylor]: Taking taylor expansion of (* 4.479157918311358e-06 (/ 1 (pow x 10))) in x 1.331 * [taylor]: Taking taylor expansion of 4.479157918311358e-06 in x 1.331 * [taylor]: Taking taylor expansion of (/ 1 (pow x 10)) in x 1.331 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.331 * [taylor]: Taking taylor expansion of x in x 1.332 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 (pow x 2))) in x 1.332 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 1.332 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.333 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.333 * [taylor]: Taking taylor expansion of x in x 1.333 * [taylor]: Taking taylor expansion of (- (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3)))) (* 0.3333333333333333 (/ 1 x))) in x 1.333 * [taylor]: Taking taylor expansion of (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3)))) in x 1.333 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (/ 1 (pow x 5))) in x 1.333 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 1.333 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 1.333 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.333 * [taylor]: Taking taylor expansion of x in x 1.334 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (/ 1 (pow x 3))) in x 1.334 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 1.334 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.334 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.334 * [taylor]: Taking taylor expansion of x in x 1.335 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 x)) in x 1.335 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.335 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.335 * [taylor]: Taking taylor expansion of x in x 1.338 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.0004938271604938272 (/ 1 (pow x 6))) (+ (* 9.406231628453851e-05 (/ 1 (pow x 8))) (* 4.479157918311358e-06 (/ 1 (pow x 10))))) (* 0.1111111111111111 (/ 1 (pow x 2)))) (- (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3)))) (* 0.3333333333333333 (/ 1 x)))) in x 1.338 * [taylor]: Taking taylor expansion of (- (+ (* 0.0004938271604938272 (/ 1 (pow x 6))) (+ (* 9.406231628453851e-05 (/ 1 (pow x 8))) (* 4.479157918311358e-06 (/ 1 (pow x 10))))) (* 0.1111111111111111 (/ 1 (pow x 2)))) in x 1.338 * [taylor]: Taking taylor expansion of (+ (* 0.0004938271604938272 (/ 1 (pow x 6))) (+ (* 9.406231628453851e-05 (/ 1 (pow x 8))) (* 4.479157918311358e-06 (/ 1 (pow x 10))))) in x 1.338 * [taylor]: Taking taylor expansion of (* 0.0004938271604938272 (/ 1 (pow x 6))) in x 1.338 * [taylor]: Taking taylor expansion of 0.0004938271604938272 in x 1.338 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 1.338 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.338 * [taylor]: Taking taylor expansion of x in x 1.339 * [taylor]: Taking taylor expansion of (+ (* 9.406231628453851e-05 (/ 1 (pow x 8))) (* 4.479157918311358e-06 (/ 1 (pow x 10)))) in x 1.339 * [taylor]: Taking taylor expansion of (* 9.406231628453851e-05 (/ 1 (pow x 8))) in x 1.339 * [taylor]: Taking taylor expansion of 9.406231628453851e-05 in x 1.339 * [taylor]: Taking taylor expansion of (/ 1 (pow x 8)) in x 1.339 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.339 * [taylor]: Taking taylor expansion of x in x 1.340 * [taylor]: Taking taylor expansion of (* 4.479157918311358e-06 (/ 1 (pow x 10))) in x 1.340 * [taylor]: Taking taylor expansion of 4.479157918311358e-06 in x 1.340 * [taylor]: Taking taylor expansion of (/ 1 (pow x 10)) in x 1.340 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.340 * [taylor]: Taking taylor expansion of x in x 1.341 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 (pow x 2))) in x 1.341 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 1.341 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.341 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.341 * [taylor]: Taking taylor expansion of x in x 1.342 * [taylor]: Taking taylor expansion of (- (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3)))) (* 0.3333333333333333 (/ 1 x))) in x 1.342 * [taylor]: Taking taylor expansion of (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3)))) in x 1.342 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (/ 1 (pow x 5))) in x 1.342 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 1.342 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 1.342 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.342 * [taylor]: Taking taylor expansion of x in x 1.343 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (/ 1 (pow x 3))) in x 1.343 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 1.343 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.343 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.343 * [taylor]: Taking taylor expansion of x in x 1.343 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 x)) in x 1.343 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.343 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.343 * [taylor]: Taking taylor expansion of x in x 1.398 * [approximate]: Taking taylor expansion of (/ (- (+ (* 0.0004938271604938272 (/ 1 (pow x 6))) (+ (* 9.406231628453851e-05 (/ 1 (pow x 8))) (* 4.479157918311358e-06 (/ 1 (pow x 10))))) (* 0.1111111111111111 (/ 1 (pow x 2)))) (- (* 0.3333333333333333 (/ 1 x)) (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3)))))) in (x) around 0 1.398 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.0004938271604938272 (/ 1 (pow x 6))) (+ (* 9.406231628453851e-05 (/ 1 (pow x 8))) (* 4.479157918311358e-06 (/ 1 (pow x 10))))) (* 0.1111111111111111 (/ 1 (pow x 2)))) (- (* 0.3333333333333333 (/ 1 x)) (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3)))))) in x 1.398 * [taylor]: Taking taylor expansion of (- (+ (* 0.0004938271604938272 (/ 1 (pow x 6))) (+ (* 9.406231628453851e-05 (/ 1 (pow x 8))) (* 4.479157918311358e-06 (/ 1 (pow x 10))))) (* 0.1111111111111111 (/ 1 (pow x 2)))) in x 1.398 * [taylor]: Taking taylor expansion of (+ (* 0.0004938271604938272 (/ 1 (pow x 6))) (+ (* 9.406231628453851e-05 (/ 1 (pow x 8))) (* 4.479157918311358e-06 (/ 1 (pow x 10))))) in x 1.398 * [taylor]: Taking taylor expansion of (* 0.0004938271604938272 (/ 1 (pow x 6))) in x 1.398 * [taylor]: Taking taylor expansion of 0.0004938271604938272 in x 1.398 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 1.398 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.398 * [taylor]: Taking taylor expansion of x in x 1.399 * [taylor]: Taking taylor expansion of (+ (* 9.406231628453851e-05 (/ 1 (pow x 8))) (* 4.479157918311358e-06 (/ 1 (pow x 10)))) in x 1.399 * [taylor]: Taking taylor expansion of (* 9.406231628453851e-05 (/ 1 (pow x 8))) in x 1.399 * [taylor]: Taking taylor expansion of 9.406231628453851e-05 in x 1.399 * [taylor]: Taking taylor expansion of (/ 1 (pow x 8)) in x 1.399 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.399 * [taylor]: Taking taylor expansion of x in x 1.400 * [taylor]: Taking taylor expansion of (* 4.479157918311358e-06 (/ 1 (pow x 10))) in x 1.400 * [taylor]: Taking taylor expansion of 4.479157918311358e-06 in x 1.400 * [taylor]: Taking taylor expansion of (/ 1 (pow x 10)) in x 1.400 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.400 * [taylor]: Taking taylor expansion of x in x 1.401 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 (pow x 2))) in x 1.401 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 1.401 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.401 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.401 * [taylor]: Taking taylor expansion of x in x 1.402 * [taylor]: Taking taylor expansion of (- (* 0.3333333333333333 (/ 1 x)) (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3))))) in x 1.402 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 x)) in x 1.402 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.402 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.402 * [taylor]: Taking taylor expansion of x in x 1.402 * [taylor]: Taking taylor expansion of (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3)))) in x 1.402 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (/ 1 (pow x 5))) in x 1.402 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 1.402 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 1.402 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.402 * [taylor]: Taking taylor expansion of x in x 1.403 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (/ 1 (pow x 3))) in x 1.403 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 1.403 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.403 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.403 * [taylor]: Taking taylor expansion of x in x 1.407 * [taylor]: Taking taylor expansion of (/ (- (+ (* 0.0004938271604938272 (/ 1 (pow x 6))) (+ (* 9.406231628453851e-05 (/ 1 (pow x 8))) (* 4.479157918311358e-06 (/ 1 (pow x 10))))) (* 0.1111111111111111 (/ 1 (pow x 2)))) (- (* 0.3333333333333333 (/ 1 x)) (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3)))))) in x 1.407 * [taylor]: Taking taylor expansion of (- (+ (* 0.0004938271604938272 (/ 1 (pow x 6))) (+ (* 9.406231628453851e-05 (/ 1 (pow x 8))) (* 4.479157918311358e-06 (/ 1 (pow x 10))))) (* 0.1111111111111111 (/ 1 (pow x 2)))) in x 1.407 * [taylor]: Taking taylor expansion of (+ (* 0.0004938271604938272 (/ 1 (pow x 6))) (+ (* 9.406231628453851e-05 (/ 1 (pow x 8))) (* 4.479157918311358e-06 (/ 1 (pow x 10))))) in x 1.407 * [taylor]: Taking taylor expansion of (* 0.0004938271604938272 (/ 1 (pow x 6))) in x 1.407 * [taylor]: Taking taylor expansion of 0.0004938271604938272 in x 1.407 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 1.407 * [taylor]: Taking taylor expansion of (pow x 6) in x 1.407 * [taylor]: Taking taylor expansion of x in x 1.408 * [taylor]: Taking taylor expansion of (+ (* 9.406231628453851e-05 (/ 1 (pow x 8))) (* 4.479157918311358e-06 (/ 1 (pow x 10)))) in x 1.408 * [taylor]: Taking taylor expansion of (* 9.406231628453851e-05 (/ 1 (pow x 8))) in x 1.408 * [taylor]: Taking taylor expansion of 9.406231628453851e-05 in x 1.408 * [taylor]: Taking taylor expansion of (/ 1 (pow x 8)) in x 1.408 * [taylor]: Taking taylor expansion of (pow x 8) in x 1.408 * [taylor]: Taking taylor expansion of x in x 1.409 * [taylor]: Taking taylor expansion of (* 4.479157918311358e-06 (/ 1 (pow x 10))) in x 1.409 * [taylor]: Taking taylor expansion of 4.479157918311358e-06 in x 1.409 * [taylor]: Taking taylor expansion of (/ 1 (pow x 10)) in x 1.409 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.409 * [taylor]: Taking taylor expansion of x in x 1.410 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 (pow x 2))) in x 1.410 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 1.410 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.410 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.410 * [taylor]: Taking taylor expansion of x in x 1.411 * [taylor]: Taking taylor expansion of (- (* 0.3333333333333333 (/ 1 x)) (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3))))) in x 1.411 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 x)) in x 1.411 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.411 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.411 * [taylor]: Taking taylor expansion of x in x 1.411 * [taylor]: Taking taylor expansion of (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.022222222222222223 (/ 1 (pow x 3)))) in x 1.411 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (/ 1 (pow x 5))) in x 1.411 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 1.411 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 1.411 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.411 * [taylor]: Taking taylor expansion of x in x 1.412 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (/ 1 (pow x 3))) in x 1.412 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 1.412 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1.412 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.412 * [taylor]: Taking taylor expansion of x in x 1.473 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 1.473 * [approximate]: Taking taylor expansion of (* 0.1111111111111111 (pow x 2)) in (x) around 0 1.473 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (pow x 2)) in x 1.473 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 1.473 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.473 * [taylor]: Taking taylor expansion of x in x 1.473 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (pow x 2)) in x 1.473 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 1.473 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.473 * [taylor]: Taking taylor expansion of x in x 1.481 * [approximate]: Taking taylor expansion of (/ 0.1111111111111111 (pow x 2)) in (x) around 0 1.481 * [taylor]: Taking taylor expansion of (/ 0.1111111111111111 (pow x 2)) in x 1.481 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 1.481 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.482 * [taylor]: Taking taylor expansion of x in x 1.482 * [taylor]: Taking taylor expansion of (/ 0.1111111111111111 (pow x 2)) in x 1.482 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 1.482 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.482 * [taylor]: Taking taylor expansion of x in x 1.490 * [approximate]: Taking taylor expansion of (/ 0.1111111111111111 (pow x 2)) in (x) around 0 1.490 * [taylor]: Taking taylor expansion of (/ 0.1111111111111111 (pow x 2)) in x 1.490 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 1.490 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.490 * [taylor]: Taking taylor expansion of x in x 1.491 * [taylor]: Taking taylor expansion of (/ 0.1111111111111111 (pow x 2)) in x 1.491 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 1.491 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.491 * [taylor]: Taking taylor expansion of x in x 1.498 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 1.498 * [approximate]: Taking taylor expansion of (* 0.022222222222222223 (pow x 3)) in (x) around 0 1.498 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (pow x 3)) in x 1.498 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 1.498 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.498 * [taylor]: Taking taylor expansion of x in x 1.498 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (pow x 3)) in x 1.498 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 1.499 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.499 * [taylor]: Taking taylor expansion of x in x 1.511 * [approximate]: Taking taylor expansion of (/ 0.022222222222222223 (pow x 3)) in (x) around 0 1.511 * [taylor]: Taking taylor expansion of (/ 0.022222222222222223 (pow x 3)) in x 1.511 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 1.511 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.511 * [taylor]: Taking taylor expansion of x in x 1.511 * [taylor]: Taking taylor expansion of (/ 0.022222222222222223 (pow x 3)) in x 1.512 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 1.512 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.512 * [taylor]: Taking taylor expansion of x in x 1.523 * [approximate]: Taking taylor expansion of (/ -0.022222222222222223 (pow x 3)) in (x) around 0 1.523 * [taylor]: Taking taylor expansion of (/ -0.022222222222222223 (pow x 3)) in x 1.523 * [taylor]: Taking taylor expansion of -0.022222222222222223 in x 1.523 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.523 * [taylor]: Taking taylor expansion of x in x 1.524 * [taylor]: Taking taylor expansion of (/ -0.022222222222222223 (pow x 3)) in x 1.524 * [taylor]: Taking taylor expansion of -0.022222222222222223 in x 1.524 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.524 * [taylor]: Taking taylor expansion of x in x 1.541 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1) 1.541 * [approximate]: Taking taylor expansion of (* 0.022222222222222223 (pow x 3)) in (x) around 0 1.541 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (pow x 3)) in x 1.541 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 1.541 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.542 * [taylor]: Taking taylor expansion of x in x 1.542 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (pow x 3)) in x 1.542 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 1.542 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.542 * [taylor]: Taking taylor expansion of x in x 1.554 * [approximate]: Taking taylor expansion of (/ 0.022222222222222223 (pow x 3)) in (x) around 0 1.554 * [taylor]: Taking taylor expansion of (/ 0.022222222222222223 (pow x 3)) in x 1.554 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 1.554 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.554 * [taylor]: Taking taylor expansion of x in x 1.554 * [taylor]: Taking taylor expansion of (/ 0.022222222222222223 (pow x 3)) in x 1.555 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 1.555 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.555 * [taylor]: Taking taylor expansion of x in x 1.566 * [approximate]: Taking taylor expansion of (/ -0.022222222222222223 (pow x 3)) in (x) around 0 1.566 * [taylor]: Taking taylor expansion of (/ -0.022222222222222223 (pow x 3)) in x 1.566 * [taylor]: Taking taylor expansion of -0.022222222222222223 in x 1.566 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.566 * [taylor]: Taking taylor expansion of x in x 1.567 * [taylor]: Taking taylor expansion of (/ -0.022222222222222223 (pow x 3)) in x 1.567 * [taylor]: Taking taylor expansion of -0.022222222222222223 in x 1.567 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.567 * [taylor]: Taking taylor expansion of x in x 1.578 * * * [progress]: simplifying candidates 1.579 * [simplify]: Simplifying using # : (- (- (* (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))) (* (* 0.3333333333333333 x) (* 0.3333333333333333 x)))) (- (- (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (* 0.3333333333333333 x))) (/ (* (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))) (- (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (* 0.3333333333333333 x))) (/ (* (* 0.3333333333333333 x) (* 0.3333333333333333 x)) (- (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (* 0.3333333333333333 x))) (/ 1 (- (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (* 0.3333333333333333 x))) (/ (- (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (* 0.3333333333333333 x)) (- (* (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))) (* (* 0.3333333333333333 x) (* 0.3333333333333333 x)))) (/ (- (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (* 0.3333333333333333 x)) (- (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (* 0.3333333333333333 x))) (/ (- (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (* 0.3333333333333333 x)) (- (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (* 0.3333333333333333 x))) (/ (- (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (* 0.3333333333333333 x)) (- (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (* 0.3333333333333333 x))) (/ (- (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (* 0.3333333333333333 x)) (- (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (* 0.3333333333333333 x))) (/ (- (* (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))) (* (* 0.3333333333333333 x) (* 0.3333333333333333 x))) (- (pow (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) 3) (pow (* 0.3333333333333333 x) 3))) (/ (- (* (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))) (* (* 0.3333333333333333 x) (* 0.3333333333333333 x))) (- (* (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))) (* (* 0.3333333333333333 x) (* 0.3333333333333333 x)))) (* (- (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (* 0.3333333333333333 x)) (+ (* (* (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))) (* (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))))) (+ (* (* (* 0.3333333333333333 x) (* 0.3333333333333333 x)) (* (* 0.3333333333333333 x) (* 0.3333333333333333 x))) (* (* (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))) (* (* 0.3333333333333333 x) (* 0.3333333333333333 x)))))) (* (- (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (* 0.3333333333333333 x)) (+ (* (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))) (* (* 0.3333333333333333 x) (* 0.3333333333333333 x)))) (* 0.3333333333333333 0.3333333333333333) (* x x) (* x x) (* 0.3333333333333333 0.3333333333333333) (* (* 0.3333333333333333 x) 0.3333333333333333) (* (* 0.3333333333333333 x) x) (* x (* 0.3333333333333333 x)) (* 0.3333333333333333 (* 0.3333333333333333 x)) (* 0.022222222222222223 (* x x)) (* 0.022222222222222223 (pow x (/ 3 2))) (* 0.022222222222222223 (* x x)) (* 0.022222222222222223 (pow x (/ 3 2))) (+ (* 0.022222222222222227 (pow x 3)) (+ (* 0.002116402116402117 (pow x 5)) (* 0.3333333333333333 x))) (+ (* 0.33333333333333326 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))) (+ (* 0.33333333333333326 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))) (* 0.1111111111111111 (pow x 2)) (* 0.1111111111111111 (pow x 2)) (* 0.1111111111111111 (pow x 2)) (* 0.022222222222222223 (pow x 3)) (* 0.022222222222222223 (pow x 3)) (* 0.022222222222222223 (pow x 3)) (* 0.022222222222222223 (pow x 3)) (* 0.022222222222222223 (pow x 3)) (* 0.022222222222222223 (pow x 3)) 1.583 * * [simplify]: iteration 0 : 170 enodes (cost 234 ) 1.587 * * [simplify]: iteration 1 : 774 enodes (cost 234 ) 1.608 * * [simplify]: iteration 2 : 5001 enodes (cost 219 ) 1.609 * [simplify]: Simplified to: (- (- (* (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))) (* (* 0.3333333333333333 x) (* 0.3333333333333333 x)))) (- (- (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (* 0.3333333333333333 x))) (/ (* (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))) (- (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (* 0.3333333333333333 x))) (/ (* (* 0.3333333333333333 x) (* 0.3333333333333333 x)) (- (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (* 0.3333333333333333 x))) (/ 1 (- (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (* 0.3333333333333333 x))) (/ 1 (+ (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (* 0.3333333333333333 x))) 1 1 1 1 (/ (- (* (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))) (* (* 0.3333333333333333 x) (* 0.3333333333333333 x))) (- (pow (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) 3) (pow (* 0.3333333333333333 x) 3))) 1 (* (+ (* (* (* 0.3333333333333333 x) (* 0.3333333333333333 x)) (+ (* (* 0.3333333333333333 x) (* 0.3333333333333333 x)) (* (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))))) (* (pow (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) 3) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))))) (- (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (* 0.3333333333333333 x))) (* (- (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (* 0.3333333333333333 x)) (+ (* (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5))) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))) (* (* 0.3333333333333333 x) (* 0.3333333333333333 x)))) (* 0.3333333333333333 0.3333333333333333) (pow x 2) (pow x 2) (* 0.3333333333333333 0.3333333333333333) (* (* 0.3333333333333333 x) 0.3333333333333333) (* (* 0.3333333333333333 x) x) (* (* 0.3333333333333333 x) x) (* (* 0.3333333333333333 x) 0.3333333333333333) (* 0.022222222222222223 (* x x)) (* 0.022222222222222223 (pow x (/ 3 2))) (* 0.022222222222222223 (* x x)) (* 0.022222222222222223 (pow x (/ 3 2))) (+ (* 0.022222222222222227 (pow x 3)) (+ (* 0.002116402116402117 (pow x 5)) (* 0.3333333333333333 x))) (+ (* 0.33333333333333326 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))) (+ (* 0.33333333333333326 x) (+ (* 0.022222222222222223 (pow x 3)) (* 0.0021164021164021165 (pow x 5)))) (* 0.1111111111111111 (pow x 2)) (* 0.1111111111111111 (pow x 2)) (* 0.1111111111111111 (pow x 2)) (* 0.022222222222222223 (pow x 3)) (* 0.022222222222222223 (pow x 3)) (* 0.022222222222222223 (pow x 3)) (* 0.022222222222222223 (pow x 3)) (* 0.022222222222222223 (pow x 3)) (* 0.022222222222222223 (pow x 3)) 1.610 * * * [progress]: adding candidates to table 1.701 * [progress]: [Phase 3 of 3] Extracting. 1.701 * * [regime]: Finding splitpoints for: (# # # # #) 1.703 * * * [regime-changes]: Trying 1 branch expressions: (x) 1.703 * * * * [regimes]: Trying to branch on x from (# # # # #) 1.723 * * * [regime]: Found split indices: #