21.583 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.239 * * * [progress]: [2/2] Setting up program. 0.241 * [progress]: [Phase 2 of 3] Improving. 0.241 * [simplify]: Simplifying using # : (- (/ 1.0 x) (/ 1.0 (tan x))) 0.243 * * [simplify]: iteration 0 : 8 enodes (cost 4 ) 0.244 * * [simplify]: iteration 1 : 11 enodes (cost 4 ) 0.245 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 0.246 * [simplify]: Simplified to: (- (/ 1.0 x) (/ 1.0 (tan x))) 0.246 * * [progress]: iteration 1 / 4 0.246 * * * [progress]: picking best candidate 0.247 * * * * [pick]: Picked # 0.247 * * * [progress]: localizing error 0.253 * * * [progress]: generating rewritten candidates 0.253 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.258 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.261 * * * [progress]: generating series expansions 0.261 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.261 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (* 1.0 (/ 1 (tan x)))) in (x) around 0 0.261 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (* 1.0 (/ 1 (tan x)))) in x 0.261 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.261 * [taylor]: Taking taylor expansion of 1.0 in x 0.261 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.261 * [taylor]: Taking taylor expansion of x in x 0.262 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan x))) in x 0.262 * [taylor]: Taking taylor expansion of 1.0 in x 0.262 * [taylor]: Taking taylor expansion of (/ 1 (tan x)) in x 0.262 * [taylor]: Taking taylor expansion of (tan x) in x 0.263 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.263 * [taylor]: Taking taylor expansion of (sin x) in x 0.263 * [taylor]: Taking taylor expansion of x in x 0.263 * [taylor]: Taking taylor expansion of (cos x) in x 0.263 * [taylor]: Taking taylor expansion of x in x 0.264 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (* 1.0 (/ 1 (tan x)))) in x 0.264 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.264 * [taylor]: Taking taylor expansion of 1.0 in x 0.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.265 * [taylor]: Taking taylor expansion of x in x 0.265 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan x))) in x 0.265 * [taylor]: Taking taylor expansion of 1.0 in x 0.265 * [taylor]: Taking taylor expansion of (/ 1 (tan x)) in x 0.265 * [taylor]: Taking taylor expansion of (tan x) in x 0.265 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.265 * [taylor]: Taking taylor expansion of (sin x) in x 0.265 * [taylor]: Taking taylor expansion of x in x 0.265 * [taylor]: Taking taylor expansion of (cos x) in x 0.265 * [taylor]: Taking taylor expansion of x in x 0.321 * [approximate]: Taking taylor expansion of (- (* 1.0 x) (* 1.0 (/ 1 (tan (/ 1 x))))) in (x) around 0 0.321 * [taylor]: Taking taylor expansion of (- (* 1.0 x) (* 1.0 (/ 1 (tan (/ 1 x))))) in x 0.321 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.321 * [taylor]: Taking taylor expansion of 1.0 in x 0.321 * [taylor]: Taking taylor expansion of x in x 0.321 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan (/ 1 x)))) in x 0.321 * [taylor]: Taking taylor expansion of 1.0 in x 0.321 * [taylor]: Taking taylor expansion of (/ 1 (tan (/ 1 x))) in x 0.321 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.321 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.321 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.321 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.321 * [taylor]: Taking taylor expansion of x in x 0.322 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.322 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.322 * [taylor]: Taking taylor expansion of x in x 0.322 * [taylor]: Taking taylor expansion of (- (* 1.0 x) (* 1.0 (/ 1 (tan (/ 1 x))))) in x 0.322 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.322 * [taylor]: Taking taylor expansion of 1.0 in x 0.322 * [taylor]: Taking taylor expansion of x in x 0.322 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan (/ 1 x)))) in x 0.322 * [taylor]: Taking taylor expansion of 1.0 in x 0.322 * [taylor]: Taking taylor expansion of (/ 1 (tan (/ 1 x))) in x 0.322 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.322 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.322 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.322 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.322 * [taylor]: Taking taylor expansion of x in x 0.323 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.323 * [taylor]: Taking taylor expansion of x in x 0.346 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (tan (/ -1 x)))) (* 1.0 x))) in (x) around 0 0.346 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (tan (/ -1 x)))) (* 1.0 x))) in x 0.346 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (tan (/ -1 x)))) (* 1.0 x)) in x 0.346 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan (/ -1 x)))) in x 0.346 * [taylor]: Taking taylor expansion of 1.0 in x 0.346 * [taylor]: Taking taylor expansion of (/ 1 (tan (/ -1 x))) in x 0.346 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.346 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.346 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.346 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.346 * [taylor]: Taking taylor expansion of -1 in x 0.346 * [taylor]: Taking taylor expansion of x in x 0.347 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.347 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.347 * [taylor]: Taking taylor expansion of -1 in x 0.347 * [taylor]: Taking taylor expansion of x in x 0.347 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.347 * [taylor]: Taking taylor expansion of 1.0 in x 0.347 * [taylor]: Taking taylor expansion of x in x 0.347 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (/ 1 (tan (/ -1 x)))) (* 1.0 x))) in x 0.347 * [taylor]: Taking taylor expansion of (+ (* 1.0 (/ 1 (tan (/ -1 x)))) (* 1.0 x)) in x 0.347 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (tan (/ -1 x)))) in x 0.347 * [taylor]: Taking taylor expansion of 1.0 in x 0.347 * [taylor]: Taking taylor expansion of (/ 1 (tan (/ -1 x))) in x 0.347 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.347 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.347 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.347 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.347 * [taylor]: Taking taylor expansion of -1 in x 0.347 * [taylor]: Taking taylor expansion of x in x 0.348 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.348 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.348 * [taylor]: Taking taylor expansion of -1 in x 0.348 * [taylor]: Taking taylor expansion of x in x 0.348 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.348 * [taylor]: Taking taylor expansion of 1.0 in x 0.348 * [taylor]: Taking taylor expansion of x in x 0.371 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 0.371 * [approximate]: Taking taylor expansion of (/ 1.0 (tan x)) in (x) around 0 0.371 * [taylor]: Taking taylor expansion of (/ 1.0 (tan x)) in x 0.371 * [taylor]: Taking taylor expansion of 1.0 in x 0.371 * [taylor]: Taking taylor expansion of (tan x) in x 0.371 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.371 * [taylor]: Taking taylor expansion of (sin x) in x 0.371 * [taylor]: Taking taylor expansion of x in x 0.371 * [taylor]: Taking taylor expansion of (cos x) in x 0.371 * [taylor]: Taking taylor expansion of x in x 0.372 * [taylor]: Taking taylor expansion of (/ 1.0 (tan x)) in x 0.372 * [taylor]: Taking taylor expansion of 1.0 in x 0.372 * [taylor]: Taking taylor expansion of (tan x) in x 0.372 * [taylor]: Rewrote expression to (/ (sin x) (cos x)) 0.372 * [taylor]: Taking taylor expansion of (sin x) in x 0.372 * [taylor]: Taking taylor expansion of x in x 0.372 * [taylor]: Taking taylor expansion of (cos x) in x 0.372 * [taylor]: Taking taylor expansion of x in x 0.398 * [approximate]: Taking taylor expansion of (/ 1.0 (tan (/ 1 x))) in (x) around 0 0.398 * [taylor]: Taking taylor expansion of (/ 1.0 (tan (/ 1 x))) in x 0.398 * [taylor]: Taking taylor expansion of 1.0 in x 0.398 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.398 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.398 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.398 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.398 * [taylor]: Taking taylor expansion of x in x 0.398 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.398 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.399 * [taylor]: Taking taylor expansion of x in x 0.399 * [taylor]: Taking taylor expansion of (/ 1.0 (tan (/ 1 x))) in x 0.399 * [taylor]: Taking taylor expansion of 1.0 in x 0.399 * [taylor]: Taking taylor expansion of (tan (/ 1 x)) in x 0.399 * [taylor]: Rewrote expression to (/ (sin (/ 1 x)) (cos (/ 1 x))) 0.399 * [taylor]: Taking taylor expansion of (sin (/ 1 x)) in x 0.399 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.399 * [taylor]: Taking taylor expansion of x in x 0.399 * [taylor]: Taking taylor expansion of (cos (/ 1 x)) in x 0.399 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.399 * [taylor]: Taking taylor expansion of x in x 0.404 * [approximate]: Taking taylor expansion of (/ 1.0 (tan (/ -1 x))) in (x) around 0 0.404 * [taylor]: Taking taylor expansion of (/ 1.0 (tan (/ -1 x))) in x 0.404 * [taylor]: Taking taylor expansion of 1.0 in x 0.404 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.405 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.405 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.405 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.405 * [taylor]: Taking taylor expansion of -1 in x 0.405 * [taylor]: Taking taylor expansion of x in x 0.405 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.405 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.405 * [taylor]: Taking taylor expansion of -1 in x 0.405 * [taylor]: Taking taylor expansion of x in x 0.405 * [taylor]: Taking taylor expansion of (/ 1.0 (tan (/ -1 x))) in x 0.405 * [taylor]: Taking taylor expansion of 1.0 in x 0.406 * [taylor]: Taking taylor expansion of (tan (/ -1 x)) in x 0.406 * [taylor]: Rewrote expression to (/ (sin (/ -1 x)) (cos (/ -1 x))) 0.406 * [taylor]: Taking taylor expansion of (sin (/ -1 x)) in x 0.406 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.406 * [taylor]: Taking taylor expansion of -1 in x 0.406 * [taylor]: Taking taylor expansion of x in x 0.406 * [taylor]: Taking taylor expansion of (cos (/ -1 x)) in x 0.406 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.406 * [taylor]: Taking taylor expansion of -1 in x 0.406 * [taylor]: Taking taylor expansion of x in x 0.411 * * * [progress]: simplifying candidates 0.411 * [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))) (- 1.0) (- (tan x)) (/ 1 (tan x)) (/ (tan x) 1.0) (/ 1.0 (sin 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)))) (- (* 1.0 (/ 1 x)) (+ (* 0.022222222222222227 (pow x 3)) (* 0.3333333333333333 x))) (* 1.0 (/ (cos x) (sin x))) (* 1.0 (/ (cos x) (sin x))) 0.415 * * [simplify]: iteration 0 : 215 enodes (cost 166 ) 0.419 * * [simplify]: iteration 1 : 698 enodes (cost 150 ) 0.433 * * [simplify]: iteration 2 : 2607 enodes (cost 135 ) 0.489 * * [simplify]: iteration 3 : 5003 enodes (cost 135 ) 0.491 * [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))) (- 1.0) (- (tan x)) (/ 1 (tan x)) (/ (tan x) 1.0) (/ 1.0 (sin 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)))) (- (* 1.0 (/ 1 x)) (+ (* 0.022222222222222227 (pow x 3)) (* 0.3333333333333333 x))) (* 1.0 (/ (cos x) (sin x))) (* 1.0 (/ (cos x) (sin x))) 0.491 * * * [progress]: adding candidates to table 0.532 * * [progress]: iteration 2 / 4 0.532 * * * [progress]: picking best candidate 0.534 * * * * [pick]: Picked # 0.534 * * * [progress]: localizing error 0.544 * * * [progress]: generating rewritten candidates 0.544 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 0.546 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1) 0.549 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 0.554 * * * [progress]: generating series expansions 0.554 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 0.554 * [approximate]: Taking taylor expansion of (* 0.022222222222222223 (pow x 3)) in (x) around 0 0.554 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (pow x 3)) in x 0.554 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 0.554 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.554 * [taylor]: Taking taylor expansion of x in x 0.554 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (pow x 3)) in x 0.554 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 0.554 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.554 * [taylor]: Taking taylor expansion of x in x 0.566 * [approximate]: Taking taylor expansion of (/ 0.022222222222222223 (pow x 3)) in (x) around 0 0.566 * [taylor]: Taking taylor expansion of (/ 0.022222222222222223 (pow x 3)) in x 0.566 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 0.566 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.566 * [taylor]: Taking taylor expansion of x in x 0.567 * [taylor]: Taking taylor expansion of (/ 0.022222222222222223 (pow x 3)) in x 0.567 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 0.567 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.567 * [taylor]: Taking taylor expansion of x in x 0.579 * [approximate]: Taking taylor expansion of (/ -0.022222222222222223 (pow x 3)) in (x) around 0 0.579 * [taylor]: Taking taylor expansion of (/ -0.022222222222222223 (pow x 3)) in x 0.579 * [taylor]: Taking taylor expansion of -0.022222222222222223 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.022222222222222223 (pow x 3)) in x 0.580 * [taylor]: Taking taylor expansion of -0.022222222222222223 in x 0.580 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.580 * [taylor]: Taking taylor expansion of x in x 0.592 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1) 0.592 * [approximate]: Taking taylor expansion of (* 0.0021164021164021165 (pow x 5)) in (x) around 0 0.592 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (pow x 5)) in x 0.592 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.592 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.592 * [taylor]: Taking taylor expansion of x in x 0.592 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (pow x 5)) in x 0.592 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.592 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.592 * [taylor]: Taking taylor expansion of x in x 0.613 * [approximate]: Taking taylor expansion of (/ 0.0021164021164021165 (pow x 5)) in (x) around 0 0.613 * [taylor]: Taking taylor expansion of (/ 0.0021164021164021165 (pow x 5)) in x 0.613 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.613 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.613 * [taylor]: Taking taylor expansion of x in x 0.614 * [taylor]: Taking taylor expansion of (/ 0.0021164021164021165 (pow x 5)) in x 0.614 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.614 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.614 * [taylor]: Taking taylor expansion of x in x 0.629 * [approximate]: Taking taylor expansion of (/ -0.0021164021164021165 (pow x 5)) in (x) around 0 0.629 * [taylor]: Taking taylor expansion of (/ -0.0021164021164021165 (pow x 5)) in x 0.629 * [taylor]: Taking taylor expansion of -0.0021164021164021165 in x 0.629 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.629 * [taylor]: Taking taylor expansion of x in x 0.630 * [taylor]: Taking taylor expansion of (/ -0.0021164021164021165 (pow x 5)) in x 0.630 * [taylor]: Taking taylor expansion of -0.0021164021164021165 in x 0.630 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.630 * [taylor]: Taking taylor expansion of x in x 0.646 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 0.646 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5))) in (x) around 0 0.646 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5))) in x 0.646 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 x) in x 0.646 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.646 * [taylor]: Taking taylor expansion of x in x 0.646 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (pow x 5)) in x 0.646 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.646 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.646 * [taylor]: Taking taylor expansion of x in x 0.646 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5))) in x 0.646 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 x) in x 0.646 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.646 * [taylor]: Taking taylor expansion of x in x 0.646 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (pow x 5)) in x 0.646 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.646 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.646 * [taylor]: Taking taylor expansion of x in x 0.675 * [approximate]: Taking taylor expansion of (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.3333333333333333 (/ 1 x))) in (x) around 0 0.675 * [taylor]: Taking taylor expansion of (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.3333333333333333 (/ 1 x))) in x 0.675 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (/ 1 (pow x 5))) in x 0.675 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.675 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 0.675 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.675 * [taylor]: Taking taylor expansion of x in x 0.676 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 x)) in x 0.676 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.676 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.676 * [taylor]: Taking taylor expansion of x in x 0.677 * [taylor]: Taking taylor expansion of (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.3333333333333333 (/ 1 x))) in x 0.677 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (/ 1 (pow x 5))) in x 0.677 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.677 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 0.677 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.677 * [taylor]: Taking taylor expansion of x in x 0.678 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 x)) in x 0.678 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.678 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.678 * [taylor]: Taking taylor expansion of x in x 0.729 * [approximate]: Taking taylor expansion of (- (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.3333333333333333 (/ 1 x)))) in (x) around 0 0.729 * [taylor]: Taking taylor expansion of (- (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.3333333333333333 (/ 1 x)))) in x 0.729 * [taylor]: Taking taylor expansion of (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.3333333333333333 (/ 1 x))) in x 0.729 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (/ 1 (pow x 5))) in x 0.729 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.729 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 0.729 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.729 * [taylor]: Taking taylor expansion of x in x 0.730 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 x)) in x 0.730 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.730 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.730 * [taylor]: Taking taylor expansion of x in x 0.730 * [taylor]: Taking taylor expansion of (- (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.3333333333333333 (/ 1 x)))) in x 0.730 * [taylor]: Taking taylor expansion of (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.3333333333333333 (/ 1 x))) in x 0.730 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (/ 1 (pow x 5))) in x 0.730 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.730 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 0.730 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.730 * [taylor]: Taking taylor expansion of x in x 0.731 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 x)) in x 0.731 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.731 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.731 * [taylor]: Taking taylor expansion of x in x 0.785 * * * [progress]: simplifying candidates 0.786 * [simplify]: Simplifying using # : (* 0.022222222222222223 (* x x)) (* 0.022222222222222223 (pow x (/ 3 2))) (* 0.0021164021164021165 (pow x (/ 5 2))) (+ (pow (* 0.0021164021164021165 (pow x 5)) 3) (pow (* 0.3333333333333333 x) 3)) (+ (* (* 0.0021164021164021165 (pow x 5)) (* 0.0021164021164021165 (pow x 5))) (- (* (* 0.3333333333333333 x) (* 0.3333333333333333 x)) (* (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)))) (- (* (* 0.0021164021164021165 (pow x 5)) (* 0.0021164021164021165 (pow x 5))) (* (* 0.3333333333333333 x) (* 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.0021164021164021165 (pow x 5)) (* 0.0021164021164021165 (pow x 5)) (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5))) (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5))) (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5))) 0.788 * * [simplify]: iteration 0 : 86 enodes (cost 61 ) 0.791 * * [simplify]: iteration 1 : 269 enodes (cost 60 ) 0.798 * * [simplify]: iteration 2 : 1011 enodes (cost 59 ) 0.829 * * [simplify]: iteration 3 : 5001 enodes (cost 59 ) 0.830 * [simplify]: Simplified to: (* 0.022222222222222223 (* x x)) (* 0.022222222222222223 (pow x 3/2)) (* 0.0021164021164021165 (pow x 5/2)) (+ (pow (* 0.0021164021164021165 (pow x 5)) 3) (pow (* 0.3333333333333333 x) 3)) (+ (* (* 0.0021164021164021165 (pow x 5)) (- (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) (* (* 0.3333333333333333 x) (* 0.3333333333333333 x))) (+ (- (* (* 0.3333333333333333 x) (* 0.3333333333333333 x))) (* 0.0021164021164021165 (* 0.0021164021164021165 (pow x 10)))) (- (* 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.0021164021164021165 (pow x 5)) (* 0.0021164021164021165 (pow x 5)) (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5))) (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5))) (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5))) 0.830 * * * [progress]: adding candidates to table 0.855 * * [progress]: iteration 3 / 4 0.855 * * * [progress]: picking best candidate 0.861 * * * * [pick]: Picked # 0.861 * * * [progress]: localizing error 0.882 * * * [progress]: generating rewritten candidates 0.882 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 0.899 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1) 0.903 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 0.906 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 0.909 * * * [progress]: generating series expansions 0.909 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 0.909 * [approximate]: Taking taylor expansion of (/ (- (* 4.479157918311358e-06 (pow x 10)) (* 0.1111111111111111 (pow x 2))) (- (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) in (x) around 0 0.909 * [taylor]: Taking taylor expansion of (/ (- (* 4.479157918311358e-06 (pow x 10)) (* 0.1111111111111111 (pow x 2))) (- (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) in x 0.910 * [taylor]: Taking taylor expansion of (- (* 4.479157918311358e-06 (pow x 10)) (* 0.1111111111111111 (pow x 2))) in x 0.910 * [taylor]: Taking taylor expansion of (* 4.479157918311358e-06 (pow x 10)) in x 0.910 * [taylor]: Taking taylor expansion of 4.479157918311358e-06 in x 0.910 * [taylor]: Taking taylor expansion of (pow x 10) in x 0.910 * [taylor]: Taking taylor expansion of x in x 0.910 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (pow x 2)) in x 0.910 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.910 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.910 * [taylor]: Taking taylor expansion of x in x 0.910 * [taylor]: Taking taylor expansion of (- (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)) in x 0.910 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (pow x 5)) in x 0.910 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.910 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.910 * [taylor]: Taking taylor expansion of x in x 0.910 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 x) in x 0.910 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.910 * [taylor]: Taking taylor expansion of x in x 0.915 * [taylor]: Taking taylor expansion of (/ (- (* 4.479157918311358e-06 (pow x 10)) (* 0.1111111111111111 (pow x 2))) (- (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) in x 0.915 * [taylor]: Taking taylor expansion of (- (* 4.479157918311358e-06 (pow x 10)) (* 0.1111111111111111 (pow x 2))) in x 0.915 * [taylor]: Taking taylor expansion of (* 4.479157918311358e-06 (pow x 10)) in x 0.915 * [taylor]: Taking taylor expansion of 4.479157918311358e-06 in x 0.915 * [taylor]: Taking taylor expansion of (pow x 10) in x 0.915 * [taylor]: Taking taylor expansion of x in x 0.915 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (pow x 2)) in x 0.915 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.915 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.915 * [taylor]: Taking taylor expansion of x in x 0.915 * [taylor]: Taking taylor expansion of (- (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)) in x 0.915 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (pow x 5)) in x 0.915 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.915 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.915 * [taylor]: Taking taylor expansion of x in x 0.915 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 x) in x 0.915 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.915 * [taylor]: Taking taylor expansion of x in x 0.973 * [approximate]: Taking taylor expansion of (/ (- (* 4.479157918311358e-06 (/ 1 (pow x 10))) (* 0.1111111111111111 (/ 1 (pow x 2)))) (- (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.3333333333333333 (/ 1 x)))) in (x) around 0 0.973 * [taylor]: Taking taylor expansion of (/ (- (* 4.479157918311358e-06 (/ 1 (pow x 10))) (* 0.1111111111111111 (/ 1 (pow x 2)))) (- (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.3333333333333333 (/ 1 x)))) in x 0.973 * [taylor]: Taking taylor expansion of (- (* 4.479157918311358e-06 (/ 1 (pow x 10))) (* 0.1111111111111111 (/ 1 (pow x 2)))) in x 0.973 * [taylor]: Taking taylor expansion of (* 4.479157918311358e-06 (/ 1 (pow x 10))) in x 0.973 * [taylor]: Taking taylor expansion of 4.479157918311358e-06 in x 0.973 * [taylor]: Taking taylor expansion of (/ 1 (pow x 10)) in x 0.973 * [taylor]: Taking taylor expansion of (pow x 10) in x 0.973 * [taylor]: Taking taylor expansion of x in x 0.975 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 (pow x 2))) in x 0.975 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.975 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.975 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.975 * [taylor]: Taking taylor expansion of x in x 0.975 * [taylor]: Taking taylor expansion of (- (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.3333333333333333 (/ 1 x))) in x 0.975 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (/ 1 (pow x 5))) in x 0.975 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.975 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 0.975 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.975 * [taylor]: Taking taylor expansion of x in x 0.976 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 x)) in x 0.976 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.976 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.976 * [taylor]: Taking taylor expansion of x in x 0.978 * [taylor]: Taking taylor expansion of (/ (- (* 4.479157918311358e-06 (/ 1 (pow x 10))) (* 0.1111111111111111 (/ 1 (pow x 2)))) (- (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.3333333333333333 (/ 1 x)))) in x 0.978 * [taylor]: Taking taylor expansion of (- (* 4.479157918311358e-06 (/ 1 (pow x 10))) (* 0.1111111111111111 (/ 1 (pow x 2)))) in x 0.978 * [taylor]: Taking taylor expansion of (* 4.479157918311358e-06 (/ 1 (pow x 10))) in x 0.978 * [taylor]: Taking taylor expansion of 4.479157918311358e-06 in x 0.978 * [taylor]: Taking taylor expansion of (/ 1 (pow x 10)) in x 0.978 * [taylor]: Taking taylor expansion of (pow x 10) in x 0.978 * [taylor]: Taking taylor expansion of x in x 0.979 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 (pow x 2))) in x 0.979 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 0.979 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.979 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.979 * [taylor]: Taking taylor expansion of x in x 0.980 * [taylor]: Taking taylor expansion of (- (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.3333333333333333 (/ 1 x))) in x 0.980 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (/ 1 (pow x 5))) in x 0.980 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 0.980 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 0.980 * [taylor]: Taking taylor expansion of (pow x 5) in x 0.980 * [taylor]: Taking taylor expansion of x in x 0.981 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 x)) in x 0.981 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 0.981 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.981 * [taylor]: Taking taylor expansion of x in x 1.069 * [approximate]: Taking taylor expansion of (/ (- (* 4.479157918311358e-06 (/ 1 (pow x 10))) (* 0.1111111111111111 (/ 1 (pow x 2)))) (- (* 0.3333333333333333 (/ 1 x)) (* 0.0021164021164021165 (/ 1 (pow x 5))))) in (x) around 0 1.069 * [taylor]: Taking taylor expansion of (/ (- (* 4.479157918311358e-06 (/ 1 (pow x 10))) (* 0.1111111111111111 (/ 1 (pow x 2)))) (- (* 0.3333333333333333 (/ 1 x)) (* 0.0021164021164021165 (/ 1 (pow x 5))))) in x 1.069 * [taylor]: Taking taylor expansion of (- (* 4.479157918311358e-06 (/ 1 (pow x 10))) (* 0.1111111111111111 (/ 1 (pow x 2)))) in x 1.069 * [taylor]: Taking taylor expansion of (* 4.479157918311358e-06 (/ 1 (pow x 10))) in x 1.069 * [taylor]: Taking taylor expansion of 4.479157918311358e-06 in x 1.069 * [taylor]: Taking taylor expansion of (/ 1 (pow x 10)) in x 1.069 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.069 * [taylor]: Taking taylor expansion of x in x 1.070 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 (pow x 2))) in x 1.071 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 1.071 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.071 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.071 * [taylor]: Taking taylor expansion of x in x 1.071 * [taylor]: Taking taylor expansion of (- (* 0.3333333333333333 (/ 1 x)) (* 0.0021164021164021165 (/ 1 (pow x 5)))) in x 1.071 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 x)) in x 1.071 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.071 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.071 * [taylor]: Taking taylor expansion of x in x 1.071 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (/ 1 (pow x 5))) in x 1.071 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 1.071 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 1.071 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.071 * [taylor]: Taking taylor expansion of x in x 1.075 * [taylor]: Taking taylor expansion of (/ (- (* 4.479157918311358e-06 (/ 1 (pow x 10))) (* 0.1111111111111111 (/ 1 (pow x 2)))) (- (* 0.3333333333333333 (/ 1 x)) (* 0.0021164021164021165 (/ 1 (pow x 5))))) in x 1.075 * [taylor]: Taking taylor expansion of (- (* 4.479157918311358e-06 (/ 1 (pow x 10))) (* 0.1111111111111111 (/ 1 (pow x 2)))) in x 1.075 * [taylor]: Taking taylor expansion of (* 4.479157918311358e-06 (/ 1 (pow x 10))) in x 1.075 * [taylor]: Taking taylor expansion of 4.479157918311358e-06 in x 1.075 * [taylor]: Taking taylor expansion of (/ 1 (pow x 10)) in x 1.075 * [taylor]: Taking taylor expansion of (pow x 10) in x 1.075 * [taylor]: Taking taylor expansion of x in x 1.076 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (/ 1 (pow x 2))) in x 1.076 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 1.076 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.076 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.076 * [taylor]: Taking taylor expansion of x in x 1.076 * [taylor]: Taking taylor expansion of (- (* 0.3333333333333333 (/ 1 x)) (* 0.0021164021164021165 (/ 1 (pow x 5)))) in x 1.076 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 x)) in x 1.076 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.076 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.076 * [taylor]: Taking taylor expansion of x in x 1.077 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (/ 1 (pow x 5))) in x 1.077 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 1.077 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 1.077 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.077 * [taylor]: Taking taylor expansion of x in x 1.170 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1) 1.170 * [approximate]: Taking taylor expansion of (* 0.1111111111111111 (pow x 2)) in (x) around 0 1.170 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (pow x 2)) in x 1.170 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 1.170 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.170 * [taylor]: Taking taylor expansion of x in x 1.170 * [taylor]: Taking taylor expansion of (* 0.1111111111111111 (pow x 2)) in x 1.170 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 1.170 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.170 * [taylor]: Taking taylor expansion of x in x 1.178 * [approximate]: Taking taylor expansion of (/ 0.1111111111111111 (pow x 2)) in (x) around 0 1.178 * [taylor]: Taking taylor expansion of (/ 0.1111111111111111 (pow x 2)) in x 1.178 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 1.178 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.178 * [taylor]: Taking taylor expansion of x in x 1.179 * [taylor]: Taking taylor expansion of (/ 0.1111111111111111 (pow x 2)) in x 1.179 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 1.179 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.179 * [taylor]: Taking taylor expansion of x in x 1.186 * [approximate]: Taking taylor expansion of (/ 0.1111111111111111 (pow x 2)) in (x) around 0 1.186 * [taylor]: Taking taylor expansion of (/ 0.1111111111111111 (pow x 2)) in x 1.186 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 1.186 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.186 * [taylor]: Taking taylor expansion of x in x 1.187 * [taylor]: Taking taylor expansion of (/ 0.1111111111111111 (pow x 2)) in x 1.187 * [taylor]: Taking taylor expansion of 0.1111111111111111 in x 1.187 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.187 * [taylor]: Taking taylor expansion of x in x 1.194 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1.195 * [approximate]: Taking taylor expansion of (* 0.022222222222222223 (pow x 3)) in (x) around 0 1.195 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (pow x 3)) in x 1.195 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 1.195 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.195 * [taylor]: Taking taylor expansion of x in x 1.195 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (pow x 3)) in x 1.195 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 1.195 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.195 * [taylor]: Taking taylor expansion of x in x 1.212 * [approximate]: Taking taylor expansion of (/ 0.022222222222222223 (pow x 3)) in (x) around 0 1.212 * [taylor]: Taking taylor expansion of (/ 0.022222222222222223 (pow x 3)) in x 1.212 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 1.212 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.212 * [taylor]: Taking taylor expansion of x in x 1.213 * [taylor]: Taking taylor expansion of (/ 0.022222222222222223 (pow x 3)) in x 1.213 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 1.213 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.213 * [taylor]: Taking taylor expansion of x in x 1.224 * [approximate]: Taking taylor expansion of (/ -0.022222222222222223 (pow x 3)) in (x) around 0 1.224 * [taylor]: Taking taylor expansion of (/ -0.022222222222222223 (pow x 3)) in x 1.224 * [taylor]: Taking taylor expansion of -0.022222222222222223 in x 1.224 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.224 * [taylor]: Taking taylor expansion of x in x 1.225 * [taylor]: Taking taylor expansion of (/ -0.022222222222222223 (pow x 3)) in x 1.225 * [taylor]: Taking taylor expansion of -0.022222222222222223 in x 1.225 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.225 * [taylor]: Taking taylor expansion of x in x 1.236 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 1.236 * [approximate]: Taking taylor expansion of (* 0.0021164021164021165 (pow x 5)) in (x) around 0 1.236 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (pow x 5)) in x 1.236 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 1.236 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.236 * [taylor]: Taking taylor expansion of x in x 1.237 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (pow x 5)) in x 1.237 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 1.237 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.237 * [taylor]: Taking taylor expansion of x in x 1.253 * [approximate]: Taking taylor expansion of (/ 0.0021164021164021165 (pow x 5)) in (x) around 0 1.253 * [taylor]: Taking taylor expansion of (/ 0.0021164021164021165 (pow x 5)) in x 1.253 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 1.253 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.253 * [taylor]: Taking taylor expansion of x in x 1.254 * [taylor]: Taking taylor expansion of (/ 0.0021164021164021165 (pow x 5)) in x 1.254 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 1.254 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.254 * [taylor]: Taking taylor expansion of x in x 1.269 * [approximate]: Taking taylor expansion of (/ -0.0021164021164021165 (pow x 5)) in (x) around 0 1.269 * [taylor]: Taking taylor expansion of (/ -0.0021164021164021165 (pow x 5)) in x 1.269 * [taylor]: Taking taylor expansion of -0.0021164021164021165 in x 1.269 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.269 * [taylor]: Taking taylor expansion of x in x 1.271 * [taylor]: Taking taylor expansion of (/ -0.0021164021164021165 (pow x 5)) in x 1.271 * [taylor]: Taking taylor expansion of -0.0021164021164021165 in x 1.271 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.271 * [taylor]: Taking taylor expansion of x in x 1.291 * * * [progress]: simplifying candidates 1.292 * [simplify]: Simplifying using # : (- (+ (- (* (* 0.3333333333333333 x) (* 0.3333333333333333 x))) (* 0.0021164021164021165 (* 0.0021164021164021165 (pow x 10))))) (- (- (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) (/ 0 (- (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) (/ (- (* (* 0.3333333333333333 x) (* 0.3333333333333333 x)) (* 0.0021164021164021165 (* 0.0021164021164021165 (pow x 10)))) (- (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) (/ 1 (- (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) (/ (- (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)) (+ (- (* (* 0.3333333333333333 x) (* 0.3333333333333333 x))) (* 0.0021164021164021165 (* 0.0021164021164021165 (pow x 10))))) (/ (+ (- (* (* 0.3333333333333333 x) (* 0.3333333333333333 x))) (* 0.0021164021164021165 (* 0.0021164021164021165 (pow x 10)))) (- (pow (* 0.0021164021164021165 (pow x 5)) 3) (pow (* 0.3333333333333333 x) 3))) (/ (+ (- (* (* 0.3333333333333333 x) (* 0.3333333333333333 x))) (* 0.0021164021164021165 (* 0.0021164021164021165 (pow x 10)))) (- (* (* 0.0021164021164021165 (pow x 5)) (* 0.0021164021164021165 (pow x 5))) (* (* 0.3333333333333333 x) (* 0.3333333333333333 x)))) (* (- (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)) (+ (* (- (* (* 0.3333333333333333 x) (* 0.3333333333333333 x))) (- (* (* 0.3333333333333333 x) (* 0.3333333333333333 x)))) (- (* (* 0.0021164021164021165 (* 0.0021164021164021165 (pow x 10))) (* 0.0021164021164021165 (* 0.0021164021164021165 (pow x 10)))) (* (- (* (* 0.3333333333333333 x) (* 0.3333333333333333 x))) (* 0.0021164021164021165 (* 0.0021164021164021165 (pow x 10))))))) (* (- (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)) (- (- (* (* 0.3333333333333333 x) (* 0.3333333333333333 x))) (* 0.0021164021164021165 (* 0.0021164021164021165 (pow x 10))))) (* 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.0021164021164021165 (pow x (/ 5 2))) (+ (* 0.3333333333333333 x) (+ (* 0.0021164021164021165 (pow x 5)) (* 1.6940658945086007e-21 (pow x 9)))) (- (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5))) (* 7.105427357601002e-15 (/ 1 (pow x 3)))) (- (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5))) (* 7.105427357601002e-15 (/ 1 (pow x 3)))) (* 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.0021164021164021165 (pow x 5)) (* 0.0021164021164021165 (pow x 5)) (* 0.0021164021164021165 (pow x 5)) 1.296 * * [simplify]: iteration 0 : 185 enodes (cost 174 ) 1.300 * * [simplify]: iteration 1 : 787 enodes (cost 154 ) 1.327 * * [simplify]: iteration 2 : 5001 enodes (cost 146 ) 1.329 * [simplify]: Simplified to: (- (* (* 0.3333333333333333 x) (* 0.3333333333333333 x)) (* 0.0021164021164021165 (* 0.0021164021164021165 (pow x 10)))) (- (- (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) 0 (/ (- (* (* 0.3333333333333333 x) (* 0.3333333333333333 x)) (* 0.0021164021164021165 (* 0.0021164021164021165 (pow x 10)))) (- (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) (/ 1 (- (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) (/ 1 (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5)))) (/ (+ (- (* (* 0.3333333333333333 x) (* 0.3333333333333333 x))) (* 0.0021164021164021165 (* 0.0021164021164021165 (pow x 10)))) (- (pow (* 0.0021164021164021165 (pow x 5)) 3) (pow (* 0.3333333333333333 x) 3))) 1 (* (+ (* (* 0.0021164021164021165 (* 0.0021164021164021165 (pow x 10))) (- (* 0.0021164021164021165 (* 0.0021164021164021165 (pow x 10))) (- (* (* 0.3333333333333333 x) (* 0.3333333333333333 x))))) (* (* (* 0.3333333333333333 x) (* 0.3333333333333333 x)) (* (* 0.3333333333333333 x) (* 0.3333333333333333 x)))) (- (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x))) (* (- (* 0.0021164021164021165 (pow x 5)) (* 0.3333333333333333 x)) (- (- (* (* 0.3333333333333333 x) (* 0.3333333333333333 x))) (* 0.0021164021164021165 (* 0.0021164021164021165 (pow x 10))))) (* 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.0021164021164021165 (pow x 5/2)) (+ (* 0.3333333333333333 x) (+ (* 0.0021164021164021165 (pow x 5)) (* 1.6940658945086007e-21 (pow x 9)))) (- (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5))) (* 7.105427357601002e-15 (/ 1 (pow x 3)))) (- (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5))) (* 7.105427357601002e-15 (/ 1 (pow x 3)))) (* 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.0021164021164021165 (pow x 5)) (* 0.0021164021164021165 (pow x 5)) (* 0.0021164021164021165 (pow x 5)) 1.330 * * * [progress]: adding candidates to table 1.443 * * [progress]: iteration 4 / 4 1.443 * * * [progress]: picking best candidate 1.465 * * * * [pick]: Picked # 1.465 * * * [progress]: localizing error 1.481 * * * [progress]: generating rewritten candidates 1.481 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1.487 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 1.492 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1.495 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 2) 1.498 * * * [progress]: generating series expansions 1.498 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1.498 * [approximate]: Taking taylor expansion of (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5))) in (x) around 0 1.498 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5))) in x 1.498 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 x) in x 1.499 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.499 * [taylor]: Taking taylor expansion of x in x 1.499 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (pow x 5)) in x 1.499 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 1.499 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.499 * [taylor]: Taking taylor expansion of x in x 1.499 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5))) in x 1.499 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 x) in x 1.499 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.499 * [taylor]: Taking taylor expansion of x in x 1.499 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (pow x 5)) in x 1.499 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 1.499 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.499 * [taylor]: Taking taylor expansion of x in x 1.528 * [approximate]: Taking taylor expansion of (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.3333333333333333 (/ 1 x))) in (x) around 0 1.528 * [taylor]: Taking taylor expansion of (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.3333333333333333 (/ 1 x))) in x 1.528 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (/ 1 (pow x 5))) in x 1.528 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 1.528 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 1.528 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.528 * [taylor]: Taking taylor expansion of x in x 1.529 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 x)) in x 1.529 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.529 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.529 * [taylor]: Taking taylor expansion of x in x 1.529 * [taylor]: Taking taylor expansion of (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.3333333333333333 (/ 1 x))) in x 1.529 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (/ 1 (pow x 5))) in x 1.529 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 1.529 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 1.529 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.529 * [taylor]: Taking taylor expansion of x in x 1.530 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 x)) in x 1.530 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.530 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.530 * [taylor]: Taking taylor expansion of x in x 1.581 * [approximate]: Taking taylor expansion of (* -1 (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.3333333333333333 (/ 1 x)))) in (x) around 0 1.581 * [taylor]: Taking taylor expansion of (* -1 (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.3333333333333333 (/ 1 x)))) in x 1.581 * [taylor]: Taking taylor expansion of -1 in x 1.581 * [taylor]: Taking taylor expansion of (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.3333333333333333 (/ 1 x))) in x 1.581 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (/ 1 (pow x 5))) in x 1.581 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 1.581 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 1.582 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.582 * [taylor]: Taking taylor expansion of x in x 1.582 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 x)) in x 1.583 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.583 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.583 * [taylor]: Taking taylor expansion of x in x 1.583 * [taylor]: Taking taylor expansion of (* -1 (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.3333333333333333 (/ 1 x)))) in x 1.583 * [taylor]: Taking taylor expansion of -1 in x 1.583 * [taylor]: Taking taylor expansion of (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.3333333333333333 (/ 1 x))) in x 1.583 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (/ 1 (pow x 5))) in x 1.583 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 1.583 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 1.583 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.583 * [taylor]: Taking taylor expansion of x in x 1.584 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 x)) in x 1.584 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.584 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.584 * [taylor]: Taking taylor expansion of x in x 1.645 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 1.646 * [approximate]: Taking taylor expansion of (/ 1 (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5)))) in (x) around 0 1.646 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5)))) in x 1.646 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5))) in x 1.646 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 x) in x 1.646 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.646 * [taylor]: Taking taylor expansion of x in x 1.646 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (pow x 5)) in x 1.646 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 1.646 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.646 * [taylor]: Taking taylor expansion of x in x 1.648 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5)))) in x 1.648 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5))) in x 1.648 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 x) in x 1.648 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.648 * [taylor]: Taking taylor expansion of x in x 1.648 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (pow x 5)) in x 1.648 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 1.648 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.648 * [taylor]: Taking taylor expansion of x in x 1.680 * [approximate]: Taking taylor expansion of (/ 1 (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.3333333333333333 (/ 1 x)))) in (x) around 0 1.680 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.3333333333333333 (/ 1 x)))) in x 1.680 * [taylor]: Taking taylor expansion of (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.3333333333333333 (/ 1 x))) in x 1.680 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (/ 1 (pow x 5))) in x 1.680 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 1.680 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 1.680 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.681 * [taylor]: Taking taylor expansion of x in x 1.681 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 x)) in x 1.681 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.682 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.682 * [taylor]: Taking taylor expansion of x in x 1.683 * [taylor]: Taking taylor expansion of (/ 1 (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.3333333333333333 (/ 1 x)))) in x 1.683 * [taylor]: Taking taylor expansion of (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.3333333333333333 (/ 1 x))) in x 1.683 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (/ 1 (pow x 5))) in x 1.683 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 1.683 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 1.683 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.683 * [taylor]: Taking taylor expansion of x in x 1.684 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 x)) in x 1.684 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.684 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.684 * [taylor]: Taking taylor expansion of x in x 1.735 * [approximate]: Taking taylor expansion of (/ -1 (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.3333333333333333 (/ 1 x)))) in (x) around 0 1.735 * [taylor]: Taking taylor expansion of (/ -1 (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.3333333333333333 (/ 1 x)))) in x 1.735 * [taylor]: Taking taylor expansion of -1 in x 1.735 * [taylor]: Taking taylor expansion of (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.3333333333333333 (/ 1 x))) in x 1.735 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (/ 1 (pow x 5))) in x 1.735 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 1.735 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 1.735 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.735 * [taylor]: Taking taylor expansion of x in x 1.736 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 x)) in x 1.736 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.736 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.736 * [taylor]: Taking taylor expansion of x in x 1.737 * [taylor]: Taking taylor expansion of (/ -1 (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.3333333333333333 (/ 1 x)))) in x 1.737 * [taylor]: Taking taylor expansion of -1 in x 1.737 * [taylor]: Taking taylor expansion of (+ (* 0.0021164021164021165 (/ 1 (pow x 5))) (* 0.3333333333333333 (/ 1 x))) in x 1.737 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (/ 1 (pow x 5))) in x 1.737 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 1.737 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x 1.737 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.737 * [taylor]: Taking taylor expansion of x in x 1.738 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 x)) in x 1.738 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 1.738 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.738 * [taylor]: Taking taylor expansion of x in x 1.784 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1.784 * [approximate]: Taking taylor expansion of (* 0.022222222222222223 (pow x 3)) in (x) around 0 1.784 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (pow x 3)) in x 1.784 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 1.784 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.784 * [taylor]: Taking taylor expansion of x in x 1.784 * [taylor]: Taking taylor expansion of (* 0.022222222222222223 (pow x 3)) in x 1.784 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 1.784 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.784 * [taylor]: Taking taylor expansion of x in x 1.801 * [approximate]: Taking taylor expansion of (/ 0.022222222222222223 (pow x 3)) in (x) around 0 1.801 * [taylor]: Taking taylor expansion of (/ 0.022222222222222223 (pow x 3)) in x 1.801 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 1.801 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.801 * [taylor]: Taking taylor expansion of x in x 1.802 * [taylor]: Taking taylor expansion of (/ 0.022222222222222223 (pow x 3)) in x 1.802 * [taylor]: Taking taylor expansion of 0.022222222222222223 in x 1.802 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.802 * [taylor]: Taking taylor expansion of x in x 1.813 * [approximate]: Taking taylor expansion of (/ -0.022222222222222223 (pow x 3)) in (x) around 0 1.813 * [taylor]: Taking taylor expansion of (/ -0.022222222222222223 (pow x 3)) in x 1.813 * [taylor]: Taking taylor expansion of -0.022222222222222223 in x 1.813 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.813 * [taylor]: Taking taylor expansion of x in x 1.814 * [taylor]: Taking taylor expansion of (/ -0.022222222222222223 (pow x 3)) in x 1.814 * [taylor]: Taking taylor expansion of -0.022222222222222223 in x 1.814 * [taylor]: Taking taylor expansion of (pow x 3) in x 1.814 * [taylor]: Taking taylor expansion of x in x 1.825 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 2) 1.825 * [approximate]: Taking taylor expansion of (* 0.0021164021164021165 (pow x 5)) in (x) around 0 1.825 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (pow x 5)) in x 1.825 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 1.825 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.825 * [taylor]: Taking taylor expansion of x in x 1.825 * [taylor]: Taking taylor expansion of (* 0.0021164021164021165 (pow x 5)) in x 1.825 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 1.825 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.825 * [taylor]: Taking taylor expansion of x in x 1.841 * [approximate]: Taking taylor expansion of (/ 0.0021164021164021165 (pow x 5)) in (x) around 0 1.841 * [taylor]: Taking taylor expansion of (/ 0.0021164021164021165 (pow x 5)) in x 1.841 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 1.841 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.841 * [taylor]: Taking taylor expansion of x in x 1.842 * [taylor]: Taking taylor expansion of (/ 0.0021164021164021165 (pow x 5)) in x 1.842 * [taylor]: Taking taylor expansion of 0.0021164021164021165 in x 1.842 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.842 * [taylor]: Taking taylor expansion of x in x 1.857 * [approximate]: Taking taylor expansion of (/ -0.0021164021164021165 (pow x 5)) in (x) around 0 1.857 * [taylor]: Taking taylor expansion of (/ -0.0021164021164021165 (pow x 5)) in x 1.857 * [taylor]: Taking taylor expansion of -0.0021164021164021165 in x 1.857 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.857 * [taylor]: Taking taylor expansion of x in x 1.858 * [taylor]: Taking taylor expansion of (/ -0.0021164021164021165 (pow x 5)) in x 1.858 * [taylor]: Taking taylor expansion of -0.0021164021164021165 in x 1.858 * [taylor]: Taking taylor expansion of (pow x 5) in x 1.858 * [taylor]: Taking taylor expansion of x in x 1.873 * * * [progress]: simplifying candidates 1.879 * [simplify]: Simplifying using # : (- -1) (- 1) (- (/ 1 (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5))))) (/ 1 (/ 1 (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5))))) (/ (/ 1 (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5)))) 1) (/ 1 1) (/ 1 (/ 1 (+ (pow (* 0.3333333333333333 x) 3) (pow (* 0.0021164021164021165 (pow x 5)) 3)))) (/ 1 (/ 1 (- (* (* 0.3333333333333333 x) (* 0.3333333333333333 x)) (* (* 0.0021164021164021165 (pow x 5)) (* 0.0021164021164021165 (pow x 5)))))) (/ 1 1) (/ 1 (- 1)) (/ 1 1) (- 1) (- (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5)))) (/ 1 (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5)))) (/ (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5))) 1) (/ 1 (+ (pow (* 0.3333333333333333 x) 3) (pow (* 0.0021164021164021165 (pow x 5)) 3))) (/ 1 (- (* (* 0.3333333333333333 x) (* 0.3333333333333333 x)) (* (* 0.0021164021164021165 (pow x 5)) (* 0.0021164021164021165 (pow x 5))))) (* 0.022222222222222223 (* x x)) (* 0.022222222222222223 (pow x (/ 3 2))) (* 0.0021164021164021165 (pow x (/ 5 2))) (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5))) (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5))) (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5))) (- (+ (* 0.00012093726379440669 (pow x 7)) (* 3.0 (/ 1 x))) (* 0.01904761904761905 (pow x 3))) (- (+ (* 472.49999999999994 (/ 1 (pow x 5))) (* 11720953.124999993 (/ 1 (pow x 13)))) (* 74418.74999999997 (/ 1 (pow x 9)))) (- (+ (* 472.49999999999994 (/ 1 (pow x 5))) (* 11720953.124999993 (/ 1 (pow x 13)))) (* 74418.74999999997 (/ 1 (pow x 9)))) (* 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)) 1.882 * * [simplify]: iteration 0 : 154 enodes (cost 126 ) 1.885 * * [simplify]: iteration 1 : 467 enodes (cost 125 ) 1.895 * * [simplify]: iteration 2 : 1727 enodes (cost 122 ) 1.935 * * [simplify]: iteration 3 : 5002 enodes (cost 118 ) 1.936 * [simplify]: Simplified to: (- -1) (- 1) (- (/ 1 (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5))))) (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5))) (/ 1 (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5)))) 1 (+ (pow (* 0.3333333333333333 x) 3) (pow (* 0.0021164021164021165 (pow x 5)) 3)) (+ (* (- (* 0.0021164021164021165 0.0021164021164021165)) (pow x 10)) (* (* 0.3333333333333333 x) (* 0.3333333333333333 x))) 1 (/ 1 (- 1)) 1 (- 1) (- (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5)))) (/ 1 (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5)))) (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5))) (/ 1 (+ (pow (* 0.3333333333333333 x) 3) (pow (* 0.0021164021164021165 (pow x 5)) 3))) (/ 1 (- (* (* 0.3333333333333333 x) (* 0.3333333333333333 x)) (* (* 0.0021164021164021165 (pow x 5)) (* 0.0021164021164021165 (pow x 5))))) (* 0.022222222222222223 (* x x)) (* 0.022222222222222223 (pow x 3/2)) (* 0.0021164021164021165 (pow x 5/2)) (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5))) (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5))) (+ (* 0.3333333333333333 x) (* 0.0021164021164021165 (pow x 5))) (+ (- (* 0.00012093726379440669 (pow x 7)) (* 0.01904761904761905 (pow x 3))) (/ 3.0 x)) (- (/ 472.49999999999994 (pow x 5)) (- (/ 74418.74999999997 (pow x 9)) (/ 11720953.124999993 (pow x 13)))) (- (/ 472.49999999999994 (pow x 5)) (- (/ 74418.74999999997 (pow x 9)) (/ 11720953.124999993 (pow x 13)))) (* 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)) 1.936 * * * [progress]: adding candidates to table 2.009 * [progress]: [Phase 3 of 3] Extracting. 2.009 * * [regime]: Finding splitpoints for: (# # # # # #) 2.012 * * * [regime-changes]: Trying 1 branch expressions: (x) 2.012 * * * * [regimes]: Trying to branch on x from (# # # # # #) 2.042 * * * [regime]: Found split indices: #