4.546 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.014 * * * [progress]: [2/2] Setting up program. 0.015 * [progress]: [Phase 2 of 3] Improving. 0.016 * [simplify]: Simplifying using # : (* (* x x) (- 3.0 (* x 2.0))) 0.018 * * [simplify]: iteration 0 : 13 enodes (cost 4 ) 0.020 * * [simplify]: iteration 1 : 35 enodes (cost 4 ) 0.022 * * [simplify]: iteration 2 : 89 enodes (cost 4 ) 0.024 * * [simplify]: iteration 3 : 157 enodes (cost 4 ) 0.027 * * [simplify]: iteration 4 : 170 enodes (cost 4 ) 0.030 * * [simplify]: iteration 5 : 186 enodes (cost 4 ) 0.033 * * [simplify]: iteration 6 : 244 enodes (cost 4 ) 0.038 * * [simplify]: iteration 7 : 442 enodes (cost 4 ) 0.048 * * [simplify]: iteration 8 : 1389 enodes (cost 4 ) 0.085 * * [simplify]: iteration 9 : 4767 enodes (cost 4 ) 0.219 * * [simplify]: iteration 10 : 5001 enodes (cost 4 ) 0.220 * [simplify]: Simplified to: (* (* x x) (- 3.0 (* x 2.0))) 0.220 * * [progress]: iteration 1 / 4 0.220 * * * [progress]: picking best candidate 0.221 * * * * [pick]: Picked # 0.222 * * * [progress]: localizing error 0.227 * * * [progress]: generating rewritten candidates 0.227 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.232 * * * [progress]: generating series expansions 0.233 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.233 * [approximate]: Taking taylor expansion of (* (pow x 2) (- 3.0 (* 2.0 x))) in (x) around 0 0.233 * [taylor]: Taking taylor expansion of (* (pow x 2) (- 3.0 (* 2.0 x))) in x 0.233 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.233 * [taylor]: Taking taylor expansion of x in x 0.233 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 x)) in x 0.233 * [taylor]: Taking taylor expansion of 3.0 in x 0.233 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 0.233 * [taylor]: Taking taylor expansion of 2.0 in x 0.233 * [taylor]: Taking taylor expansion of x in x 0.233 * [taylor]: Taking taylor expansion of (* (pow x 2) (- 3.0 (* 2.0 x))) in x 0.233 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.233 * [taylor]: Taking taylor expansion of x in x 0.233 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 x)) in x 0.233 * [taylor]: Taking taylor expansion of 3.0 in x 0.233 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 0.233 * [taylor]: Taking taylor expansion of 2.0 in x 0.233 * [taylor]: Taking taylor expansion of x in x 0.255 * [approximate]: Taking taylor expansion of (/ (- 3.0 (* 2.0 (/ 1 x))) (pow x 2)) in (x) around 0 0.256 * [taylor]: Taking taylor expansion of (/ (- 3.0 (* 2.0 (/ 1 x))) (pow x 2)) in x 0.256 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 (/ 1 x))) in x 0.256 * [taylor]: Taking taylor expansion of 3.0 in x 0.256 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 0.256 * [taylor]: Taking taylor expansion of 2.0 in x 0.256 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.256 * [taylor]: Taking taylor expansion of x in x 0.256 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.256 * [taylor]: Taking taylor expansion of x in x 0.258 * [taylor]: Taking taylor expansion of (/ (- 3.0 (* 2.0 (/ 1 x))) (pow x 2)) in x 0.258 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 (/ 1 x))) in x 0.258 * [taylor]: Taking taylor expansion of 3.0 in x 0.258 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 0.258 * [taylor]: Taking taylor expansion of 2.0 in x 0.258 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.258 * [taylor]: Taking taylor expansion of x in x 0.258 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.258 * [taylor]: Taking taylor expansion of x in x 0.285 * [approximate]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 x)) 3.0) (pow x 2)) in (x) around 0 0.285 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 x)) 3.0) (pow x 2)) in x 0.285 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) 3.0) in x 0.285 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 0.285 * [taylor]: Taking taylor expansion of 2.0 in x 0.285 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.285 * [taylor]: Taking taylor expansion of x in x 0.286 * [taylor]: Taking taylor expansion of 3.0 in x 0.286 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.286 * [taylor]: Taking taylor expansion of x in x 0.287 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 x)) 3.0) (pow x 2)) in x 0.287 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) 3.0) in x 0.287 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 0.287 * [taylor]: Taking taylor expansion of 2.0 in x 0.287 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.287 * [taylor]: Taking taylor expansion of x in x 0.287 * [taylor]: Taking taylor expansion of 3.0 in x 0.287 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.287 * [taylor]: Taking taylor expansion of x in x 0.308 * * * [progress]: simplifying candidates 0.309 * [simplify]: Simplifying using # : (* (* x x) 3.0) (* (* x x) (- (* x 2.0))) (* (* x x) 3.0) (* (* x x) (- (* x 2.0))) (* 3.0 (* x x)) (* (- (* x 2.0)) (* x x)) (* 3.0 (* x x)) (* (- (* x 2.0)) (* x x)) (* x (- 3.0 (* x 2.0))) (* x (- 3.0 (* x 2.0))) (* (* x x) (- (pow 3.0 3) (pow (* x 2.0) 3))) (* (* x x) (- (* 3.0 3.0) (* (* x 2.0) (* x 2.0)))) (- (* 3.0 (pow x 2)) (* 2.0 (pow x 3))) (- (* 3.0 (pow x 2)) (* 2.0 (pow x 3))) (- (* 3.0 (pow x 2)) (* 2.0 (pow x 3))) 0.312 * * [simplify]: iteration 0 : 83 enodes (cost 58 ) 0.315 * * [simplify]: iteration 1 : 275 enodes (cost 54 ) 0.321 * * [simplify]: iteration 2 : 1047 enodes (cost 50 ) 0.349 * * [simplify]: iteration 3 : 4323 enodes (cost 50 ) 0.483 * * [simplify]: iteration 4 : 5001 enodes (cost 50 ) 0.484 * [simplify]: Simplified to: (* (* x x) 3.0) (- (* 2.0 (pow x 3))) (* (* x x) 3.0) (- (* 2.0 (pow x 3))) (* (* x x) 3.0) (- (* 2.0 (pow x 3))) (* (* x x) 3.0) (- (* 2.0 (pow x 3))) (* x (- 3.0 (* x 2.0))) (* x (- 3.0 (* x 2.0))) (* (* x x) (- (pow 3.0 3) (pow (* x 2.0) 3))) (* (* x (* x (- 3.0 (* x 2.0)))) (fma 2.0 x 3.0)) (* x (* x (- 3.0 (* x 2.0)))) (* x (* x (- 3.0 (* x 2.0)))) (* x (* x (- 3.0 (* x 2.0)))) 0.485 * * * [progress]: adding candidates to table 0.497 * * [progress]: iteration 2 / 4 0.497 * * * [progress]: picking best candidate 0.502 * * * * [pick]: Picked # 0.502 * * * [progress]: localizing error 0.511 * * * [progress]: generating rewritten candidates 0.511 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 0.515 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 0.524 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1) 0.527 * * * [progress]: generating series expansions 0.527 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 0.527 * [approximate]: Taking taylor expansion of (* 3.0 (pow x 2)) in (x) around 0 0.527 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x 0.527 * [taylor]: Taking taylor expansion of 3.0 in x 0.527 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.527 * [taylor]: Taking taylor expansion of x in x 0.527 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x 0.527 * [taylor]: Taking taylor expansion of 3.0 in x 0.527 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.527 * [taylor]: Taking taylor expansion of x in x 0.539 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0 0.540 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x 0.540 * [taylor]: Taking taylor expansion of 3.0 in x 0.540 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.540 * [taylor]: Taking taylor expansion of x in x 0.540 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x 0.540 * [taylor]: Taking taylor expansion of 3.0 in x 0.540 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.540 * [taylor]: Taking taylor expansion of x in x 0.549 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0 0.549 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x 0.549 * [taylor]: Taking taylor expansion of 3.0 in x 0.549 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.549 * [taylor]: Taking taylor expansion of x in x 0.549 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x 0.549 * [taylor]: Taking taylor expansion of 3.0 in x 0.549 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.549 * [taylor]: Taking taylor expansion of x in x 0.557 * * * * [progress]: [ 2 / 3 ] generating series at (2) 0.558 * [approximate]: Taking taylor expansion of (- (* 3.0 (pow x 2)) (* 2.0 (pow x 3))) in (x) around 0 0.558 * [taylor]: Taking taylor expansion of (- (* 3.0 (pow x 2)) (* 2.0 (pow x 3))) in x 0.558 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x 0.558 * [taylor]: Taking taylor expansion of 3.0 in x 0.558 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.558 * [taylor]: Taking taylor expansion of x in x 0.558 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 3)) in x 0.558 * [taylor]: Taking taylor expansion of 2.0 in x 0.558 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.558 * [taylor]: Taking taylor expansion of x in x 0.558 * [taylor]: Taking taylor expansion of (- (* 3.0 (pow x 2)) (* 2.0 (pow x 3))) in x 0.558 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x 0.558 * [taylor]: Taking taylor expansion of 3.0 in x 0.558 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.558 * [taylor]: Taking taylor expansion of x in x 0.558 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 3)) in x 0.558 * [taylor]: Taking taylor expansion of 2.0 in x 0.558 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.558 * [taylor]: Taking taylor expansion of x in x 0.584 * [approximate]: Taking taylor expansion of (- (* 3.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 3)))) in (x) around 0 0.584 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 3)))) in x 0.584 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x 0.585 * [taylor]: Taking taylor expansion of 3.0 in x 0.585 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.585 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.585 * [taylor]: Taking taylor expansion of x in x 0.585 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 3))) in x 0.585 * [taylor]: Taking taylor expansion of 2.0 in x 0.585 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.585 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.585 * [taylor]: Taking taylor expansion of x in x 0.586 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 3)))) in x 0.586 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x 0.586 * [taylor]: Taking taylor expansion of 3.0 in x 0.586 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.586 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.586 * [taylor]: Taking taylor expansion of x in x 0.587 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 3))) in x 0.587 * [taylor]: Taking taylor expansion of 2.0 in x 0.587 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.587 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.587 * [taylor]: Taking taylor expansion of x in x 0.624 * [approximate]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 3)))) in (x) around 0 0.624 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 3)))) in x 0.624 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x 0.624 * [taylor]: Taking taylor expansion of 3.0 in x 0.624 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.624 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.624 * [taylor]: Taking taylor expansion of x in x 0.625 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 3))) in x 0.625 * [taylor]: Taking taylor expansion of 2.0 in x 0.625 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.625 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.625 * [taylor]: Taking taylor expansion of x in x 0.626 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (* 2.0 (/ 1 (pow x 3)))) in x 0.626 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x 0.626 * [taylor]: Taking taylor expansion of 3.0 in x 0.626 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.626 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.626 * [taylor]: Taking taylor expansion of x in x 0.626 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow x 3))) in x 0.626 * [taylor]: Taking taylor expansion of 2.0 in x 0.626 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 0.627 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.627 * [taylor]: Taking taylor expansion of x in x 0.659 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1) 0.659 * [approximate]: Taking taylor expansion of (* 2.0 (pow x 3)) in (x) around 0 0.659 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 3)) in x 0.659 * [taylor]: Taking taylor expansion of 2.0 in x 0.659 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.659 * [taylor]: Taking taylor expansion of x in x 0.659 * [taylor]: Taking taylor expansion of (* 2.0 (pow x 3)) in x 0.659 * [taylor]: Taking taylor expansion of 2.0 in x 0.659 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.659 * [taylor]: Taking taylor expansion of x in x 0.671 * [approximate]: Taking taylor expansion of (/ 2.0 (pow x 3)) in (x) around 0 0.672 * [taylor]: Taking taylor expansion of (/ 2.0 (pow x 3)) in x 0.672 * [taylor]: Taking taylor expansion of 2.0 in x 0.672 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.672 * [taylor]: Taking taylor expansion of x in x 0.672 * [taylor]: Taking taylor expansion of (/ 2.0 (pow x 3)) in x 0.673 * [taylor]: Taking taylor expansion of 2.0 in x 0.673 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.673 * [taylor]: Taking taylor expansion of x in x 0.684 * [approximate]: Taking taylor expansion of (/ -2.0 (pow x 3)) in (x) around 0 0.684 * [taylor]: Taking taylor expansion of (/ -2.0 (pow x 3)) in x 0.684 * [taylor]: Taking taylor expansion of -2.0 in x 0.684 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.684 * [taylor]: Taking taylor expansion of x in x 0.685 * [taylor]: Taking taylor expansion of (/ -2.0 (pow x 3)) in x 0.685 * [taylor]: Taking taylor expansion of -2.0 in x 0.685 * [taylor]: Taking taylor expansion of (pow x 3) in x 0.685 * [taylor]: Taking taylor expansion of x in x 0.697 * * * [progress]: simplifying candidates 0.698 * [simplify]: Simplifying using # : (* x 3.0) (* x 3.0) (+ (pow (* (* x x) 3.0) 3) (pow (- (* 2.0 (pow x 3))) 3)) (+ (* (* (* x x) 3.0) (* (* x x) 3.0)) (- (* (- (* 2.0 (pow x 3))) (- (* 2.0 (pow x 3)))) (* (* (* x x) 3.0) (- (* 2.0 (pow x 3)))))) (- (* (* (* x x) 3.0) (* (* x x) 3.0)) (* (- (* 2.0 (pow x 3))) (- (* 2.0 (pow x 3))))) (- (* (* x x) 3.0) (- (* 2.0 (pow x 3)))) (+ (* (* x x) 3.0) 0) (* 2.0 (* x x)) (* 2.0 (pow x (/ 3 2))) (* 3.0 (pow x 2)) (* 3.0 (pow x 2)) (* 3.0 (pow x 2)) (- (* 3.0 (pow x 2)) (* 2.0 (pow x 3))) (- (* 3.0 (pow x 2)) (* 2.0 (pow x 3))) (- (* 3.0 (pow x 2)) (* 2.0 (pow x 3))) (* 2.0 (pow x 3)) (* 2.0 (pow x 3)) (* 2.0 (pow x 3)) 0.704 * * [simplify]: iteration 0 : 98 enodes (cost 78 ) 0.707 * * [simplify]: iteration 1 : 447 enodes (cost 72 ) 0.723 * * [simplify]: iteration 2 : 3021 enodes (cost 64 ) 0.867 * * [simplify]: iteration 3 : 5001 enodes (cost 60 ) 0.868 * [simplify]: Simplified to: (* x 3.0) (* x 3.0) (- (pow (* (* x x) 3.0) 3) (pow (* 2.0 (pow x 3)) 3)) (fma (* 2.0 (pow x 3)) (fma (pow x 2) 3.0 (* 2.0 (pow x 3))) (* (* (pow x 4) 3.0) 3.0)) (fma (* (pow x 6) (- 2.0)) 2.0 (* (* (pow x 4) 3.0) 3.0)) (fma (pow x 2) 3.0 (* 2.0 (pow x 3))) (fma (* x x) 3.0 0) (* 2.0 (* x x)) (* 2.0 (pow x 3/2)) (fma (* x x) 3.0 0) (fma (* x x) 3.0 0) (fma (* x x) 3.0 0) (* (pow x 2) (- 3.0 (* 2.0 x))) (* (pow x 2) (- 3.0 (* 2.0 x))) (* (pow x 2) (- 3.0 (* 2.0 x))) (* 2.0 (pow x 3)) (* 2.0 (pow x 3)) (* 2.0 (pow x 3)) 0.868 * * * [progress]: adding candidates to table 0.910 * * [progress]: iteration 3 / 4 0.910 * * * [progress]: picking best candidate 0.914 * * * * [pick]: Picked # 0.914 * * * [progress]: localizing error 0.920 * * * [progress]: generating rewritten candidates 0.920 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.928 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 0.932 * * * [progress]: generating series expansions 0.932 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.932 * [approximate]: Taking taylor expansion of (* (pow x 2) (- 3.0 (* 2.0 x))) in (x) around 0 0.932 * [taylor]: Taking taylor expansion of (* (pow x 2) (- 3.0 (* 2.0 x))) in x 0.932 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.932 * [taylor]: Taking taylor expansion of x in x 0.932 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 x)) in x 0.932 * [taylor]: Taking taylor expansion of 3.0 in x 0.932 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 0.932 * [taylor]: Taking taylor expansion of 2.0 in x 0.932 * [taylor]: Taking taylor expansion of x in x 0.932 * [taylor]: Taking taylor expansion of (* (pow x 2) (- 3.0 (* 2.0 x))) in x 0.932 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.932 * [taylor]: Taking taylor expansion of x in x 0.932 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 x)) in x 0.932 * [taylor]: Taking taylor expansion of 3.0 in x 0.932 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 0.932 * [taylor]: Taking taylor expansion of 2.0 in x 0.932 * [taylor]: Taking taylor expansion of x in x 0.955 * [approximate]: Taking taylor expansion of (/ (- 3.0 (* 2.0 (/ 1 x))) (pow x 2)) in (x) around 0 0.955 * [taylor]: Taking taylor expansion of (/ (- 3.0 (* 2.0 (/ 1 x))) (pow x 2)) in x 0.955 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 (/ 1 x))) in x 0.955 * [taylor]: Taking taylor expansion of 3.0 in x 0.956 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 0.956 * [taylor]: Taking taylor expansion of 2.0 in x 0.956 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.956 * [taylor]: Taking taylor expansion of x in x 0.956 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.956 * [taylor]: Taking taylor expansion of x in x 0.958 * [taylor]: Taking taylor expansion of (/ (- 3.0 (* 2.0 (/ 1 x))) (pow x 2)) in x 0.958 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 (/ 1 x))) in x 0.958 * [taylor]: Taking taylor expansion of 3.0 in x 0.958 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 0.958 * [taylor]: Taking taylor expansion of 2.0 in x 0.958 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.958 * [taylor]: Taking taylor expansion of x in x 0.958 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.958 * [taylor]: Taking taylor expansion of x in x 0.982 * [approximate]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 x)) 3.0) (pow x 2)) in (x) around 0 0.982 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 x)) 3.0) (pow x 2)) in x 0.982 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) 3.0) in x 0.982 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 0.982 * [taylor]: Taking taylor expansion of 2.0 in x 0.982 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.982 * [taylor]: Taking taylor expansion of x in x 0.983 * [taylor]: Taking taylor expansion of 3.0 in x 0.983 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.983 * [taylor]: Taking taylor expansion of x in x 0.984 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 x)) 3.0) (pow x 2)) in x 0.984 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) 3.0) in x 0.984 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 0.984 * [taylor]: Taking taylor expansion of 2.0 in x 0.984 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.984 * [taylor]: Taking taylor expansion of x in x 0.984 * [taylor]: Taking taylor expansion of 3.0 in x 0.984 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.984 * [taylor]: Taking taylor expansion of x in x 1.006 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 1.006 * [approximate]: Taking taylor expansion of (* x (- 3.0 (* 2.0 x))) in (x) around 0 1.006 * [taylor]: Taking taylor expansion of (* x (- 3.0 (* 2.0 x))) in x 1.006 * [taylor]: Taking taylor expansion of x in x 1.006 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 x)) in x 1.006 * [taylor]: Taking taylor expansion of 3.0 in x 1.006 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.006 * [taylor]: Taking taylor expansion of 2.0 in x 1.006 * [taylor]: Taking taylor expansion of x in x 1.006 * [taylor]: Taking taylor expansion of (* x (- 3.0 (* 2.0 x))) in x 1.006 * [taylor]: Taking taylor expansion of x in x 1.006 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 x)) in x 1.006 * [taylor]: Taking taylor expansion of 3.0 in x 1.006 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.006 * [taylor]: Taking taylor expansion of 2.0 in x 1.006 * [taylor]: Taking taylor expansion of x in x 1.032 * [approximate]: Taking taylor expansion of (/ (- 3.0 (* 2.0 (/ 1 x))) x) in (x) around 0 1.032 * [taylor]: Taking taylor expansion of (/ (- 3.0 (* 2.0 (/ 1 x))) x) in x 1.032 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 (/ 1 x))) in x 1.032 * [taylor]: Taking taylor expansion of 3.0 in x 1.032 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.032 * [taylor]: Taking taylor expansion of 2.0 in x 1.032 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.032 * [taylor]: Taking taylor expansion of x in x 1.032 * [taylor]: Taking taylor expansion of x in x 1.034 * [taylor]: Taking taylor expansion of (/ (- 3.0 (* 2.0 (/ 1 x))) x) in x 1.034 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 (/ 1 x))) in x 1.034 * [taylor]: Taking taylor expansion of 3.0 in x 1.034 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.034 * [taylor]: Taking taylor expansion of 2.0 in x 1.034 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.034 * [taylor]: Taking taylor expansion of x in x 1.034 * [taylor]: Taking taylor expansion of x in x 1.053 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (* 2.0 (/ 1 x)) 3.0) x)) in (x) around 0 1.053 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 2.0 (/ 1 x)) 3.0) x)) in x 1.053 * [taylor]: Taking taylor expansion of -1 in x 1.053 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 x)) 3.0) x) in x 1.053 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) 3.0) in x 1.053 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.053 * [taylor]: Taking taylor expansion of 2.0 in x 1.053 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.053 * [taylor]: Taking taylor expansion of x in x 1.054 * [taylor]: Taking taylor expansion of 3.0 in x 1.054 * [taylor]: Taking taylor expansion of x in x 1.055 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 2.0 (/ 1 x)) 3.0) x)) in x 1.055 * [taylor]: Taking taylor expansion of -1 in x 1.055 * [taylor]: Taking taylor expansion of (/ (+ (* 2.0 (/ 1 x)) 3.0) x) in x 1.055 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) 3.0) in x 1.055 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.055 * [taylor]: Taking taylor expansion of 2.0 in x 1.055 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.055 * [taylor]: Taking taylor expansion of x in x 1.055 * [taylor]: Taking taylor expansion of 3.0 in x 1.055 * [taylor]: Taking taylor expansion of x in x 1.079 * * * [progress]: simplifying candidates 1.079 * [simplify]: Simplifying using # : (* x (* x 3.0)) (* x (* x (- (* x 2.0)))) (* x (* x 3.0)) (* x (* x (- (* x 2.0)))) (* x (* 3.0 x)) (* x (* (- (* x 2.0)) x)) (* x (* 3.0 x)) (* x (* (- (* x 2.0)) x)) (* (* x 3.0) x) (* (* x (- (* x 2.0))) x) (* (* x 3.0) x) (* (* x (- (* x 2.0))) x) (* (* 3.0 x) x) (* (* (- (* x 2.0)) x) x) (* (* 3.0 x) x) (* (* (- (* x 2.0)) x) x) (* x x) (* x (- 3.0 (* x 2.0))) (* x (* x (- (pow 3.0 3) (pow (* x 2.0) 3)))) (* x (* x (- (* 3.0 3.0) (* (* x 2.0) (* x 2.0))))) (* x 3.0) (* x (- (* x 2.0))) (* x 3.0) (* x (- (* x 2.0))) (* 3.0 x) (* (- (* x 2.0)) x) (* 3.0 x) (* (- (* x 2.0)) x) (* x (- (pow 3.0 3) (pow (* x 2.0) 3))) (* x (- (* 3.0 3.0) (* (* x 2.0) (* x 2.0)))) (- (* 3.0 (pow x 2)) (* 2.0 (pow x 3))) (- (* 3.0 (pow x 2)) (* 2.0 (pow x 3))) (- (* 3.0 (pow x 2)) (* 2.0 (pow x 3))) (- (* 3.0 x) (* 2.0 (pow x 2))) (- (* 3.0 x) (* 2.0 (pow x 2))) (- (* 3.0 x) (* 2.0 (pow x 2))) 1.083 * * [simplify]: iteration 0 : 92 enodes (cost 119 ) 1.086 * * [simplify]: iteration 1 : 266 enodes (cost 108 ) 1.092 * * [simplify]: iteration 2 : 1036 enodes (cost 103 ) 1.121 * * [simplify]: iteration 3 : 4359 enodes (cost 103 ) 1.256 * * [simplify]: iteration 4 : 5001 enodes (cost 103 ) 1.257 * [simplify]: Simplified to: (* x (* x 3.0)) (- (* 2.0 (pow x 3))) (* x (* x 3.0)) (- (* 2.0 (pow x 3))) (* x (* x 3.0)) (- (* 2.0 (pow x 3))) (* x (* x 3.0)) (- (* 2.0 (pow x 3))) (* x (* x 3.0)) (- (* 2.0 (pow x 3))) (* x (* x 3.0)) (- (* 2.0 (pow x 3))) (* x (* x 3.0)) (- (* 2.0 (pow x 3))) (* x (* x 3.0)) (- (* 2.0 (pow x 3))) (pow x 2) (* x (- 3.0 (* x 2.0))) (* x (* x (- (pow 3.0 3) (pow (* x 2.0) 3)))) (* (* x (* x (- 3.0 (* x 2.0)))) (fma 2.0 x 3.0)) (* x 3.0) (* x (- (* x 2.0))) (* x 3.0) (* x (- (* x 2.0))) (* x 3.0) (* x (- (* x 2.0))) (* x 3.0) (* x (- (* x 2.0))) (* x (- (pow 3.0 3) (pow (* x 2.0) 3))) (* (* x (fma 2.0 x 3.0)) (- 3.0 (* x 2.0))) (* x (* x (- 3.0 (* x 2.0)))) (* x (* x (- 3.0 (* x 2.0)))) (* x (* x (- 3.0 (* x 2.0)))) (* x (- 3.0 (* x 2.0))) (* x (- 3.0 (* x 2.0))) (* x (- 3.0 (* x 2.0))) 1.258 * * * [progress]: adding candidates to table 1.283 * * [progress]: iteration 4 / 4 1.283 * * * [progress]: picking best candidate 1.290 * * * * [pick]: Picked # 1.290 * * * [progress]: localizing error 1.301 * * * [progress]: generating rewritten candidates 1.301 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1.309 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 1.314 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 1.323 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1) 1.326 * * * [progress]: generating series expansions 1.326 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 1.326 * [approximate]: Taking taylor expansion of (/ (* x (* (- 3.0 (* 2.0 x)) (fma 2.0 x 3.0))) (+ (* 2.0 x) 3.0)) in (x) around 0 1.326 * [taylor]: Taking taylor expansion of (/ (* x (* (- 3.0 (* 2.0 x)) (fma 2.0 x 3.0))) (+ (* 2.0 x) 3.0)) in x 1.326 * [taylor]: Taking taylor expansion of (* x (* (- 3.0 (* 2.0 x)) (fma 2.0 x 3.0))) in x 1.326 * [taylor]: Taking taylor expansion of x in x 1.326 * [taylor]: Taking taylor expansion of (* (- 3.0 (* 2.0 x)) (fma 2.0 x 3.0)) in x 1.326 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 x)) in x 1.326 * [taylor]: Taking taylor expansion of 3.0 in x 1.326 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.326 * [taylor]: Taking taylor expansion of 2.0 in x 1.326 * [taylor]: Taking taylor expansion of x in x 1.326 * [taylor]: Taking taylor expansion of (fma 2.0 x 3.0) in x 1.327 * [taylor]: Rewrote expression to (+ (* 2.0 x) 3.0) 1.327 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.327 * [taylor]: Taking taylor expansion of 2.0 in x 1.327 * [taylor]: Taking taylor expansion of x in x 1.327 * [taylor]: Taking taylor expansion of 3.0 in x 1.327 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) 3.0) in x 1.327 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.327 * [taylor]: Taking taylor expansion of 2.0 in x 1.327 * [taylor]: Taking taylor expansion of x in x 1.327 * [taylor]: Taking taylor expansion of 3.0 in x 1.334 * [taylor]: Taking taylor expansion of (/ (* x (* (- 3.0 (* 2.0 x)) (fma 2.0 x 3.0))) (+ (* 2.0 x) 3.0)) in x 1.334 * [taylor]: Taking taylor expansion of (* x (* (- 3.0 (* 2.0 x)) (fma 2.0 x 3.0))) in x 1.334 * [taylor]: Taking taylor expansion of x in x 1.334 * [taylor]: Taking taylor expansion of (* (- 3.0 (* 2.0 x)) (fma 2.0 x 3.0)) in x 1.334 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 x)) in x 1.334 * [taylor]: Taking taylor expansion of 3.0 in x 1.334 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.334 * [taylor]: Taking taylor expansion of 2.0 in x 1.334 * [taylor]: Taking taylor expansion of x in x 1.334 * [taylor]: Taking taylor expansion of (fma 2.0 x 3.0) in x 1.335 * [taylor]: Rewrote expression to (+ (* 2.0 x) 3.0) 1.335 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.335 * [taylor]: Taking taylor expansion of 2.0 in x 1.335 * [taylor]: Taking taylor expansion of x in x 1.335 * [taylor]: Taking taylor expansion of 3.0 in x 1.335 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) 3.0) in x 1.335 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.335 * [taylor]: Taking taylor expansion of 2.0 in x 1.335 * [taylor]: Taking taylor expansion of x in x 1.335 * [taylor]: Taking taylor expansion of 3.0 in x 1.396 * [approximate]: Taking taylor expansion of (/ (* (- 3.0 (* 2.0 (/ 1 x))) (fma 2.0 (/ 1 x) 3.0)) (* (+ (* 2.0 (/ 1 x)) 3.0) x)) in (x) around 0 1.396 * [taylor]: Taking taylor expansion of (/ (* (- 3.0 (* 2.0 (/ 1 x))) (fma 2.0 (/ 1 x) 3.0)) (* (+ (* 2.0 (/ 1 x)) 3.0) x)) in x 1.396 * [taylor]: Taking taylor expansion of (* (- 3.0 (* 2.0 (/ 1 x))) (fma 2.0 (/ 1 x) 3.0)) in x 1.396 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 (/ 1 x))) in x 1.396 * [taylor]: Taking taylor expansion of 3.0 in x 1.396 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.396 * [taylor]: Taking taylor expansion of 2.0 in x 1.396 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.396 * [taylor]: Taking taylor expansion of x in x 1.397 * [taylor]: Taking taylor expansion of (fma 2.0 (/ 1 x) 3.0) in x 1.397 * [taylor]: Rewrote expression to (+ (* 2.0 (/ 1 x)) 3.0) 1.397 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.397 * [taylor]: Taking taylor expansion of 2.0 in x 1.397 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.397 * [taylor]: Taking taylor expansion of x in x 1.397 * [taylor]: Taking taylor expansion of 3.0 in x 1.397 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 (/ 1 x)) 3.0) x) in x 1.397 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) 3.0) in x 1.398 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.398 * [taylor]: Taking taylor expansion of 2.0 in x 1.398 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.398 * [taylor]: Taking taylor expansion of x in x 1.398 * [taylor]: Taking taylor expansion of 3.0 in x 1.398 * [taylor]: Taking taylor expansion of x in x 1.403 * [taylor]: Taking taylor expansion of (/ (* (- 3.0 (* 2.0 (/ 1 x))) (fma 2.0 (/ 1 x) 3.0)) (* (+ (* 2.0 (/ 1 x)) 3.0) x)) in x 1.403 * [taylor]: Taking taylor expansion of (* (- 3.0 (* 2.0 (/ 1 x))) (fma 2.0 (/ 1 x) 3.0)) in x 1.403 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 (/ 1 x))) in x 1.403 * [taylor]: Taking taylor expansion of 3.0 in x 1.403 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.403 * [taylor]: Taking taylor expansion of 2.0 in x 1.403 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.403 * [taylor]: Taking taylor expansion of x in x 1.403 * [taylor]: Taking taylor expansion of (fma 2.0 (/ 1 x) 3.0) in x 1.404 * [taylor]: Rewrote expression to (+ (* 2.0 (/ 1 x)) 3.0) 1.404 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.404 * [taylor]: Taking taylor expansion of 2.0 in x 1.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.404 * [taylor]: Taking taylor expansion of x in x 1.404 * [taylor]: Taking taylor expansion of 3.0 in x 1.404 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 (/ 1 x)) 3.0) x) in x 1.404 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) 3.0) in x 1.404 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.404 * [taylor]: Taking taylor expansion of 2.0 in x 1.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.404 * [taylor]: Taking taylor expansion of x in x 1.404 * [taylor]: Taking taylor expansion of 3.0 in x 1.404 * [taylor]: Taking taylor expansion of x in x 1.470 * [approximate]: Taking taylor expansion of (* -1 (/ (* (+ (* 2.0 (/ 1 x)) 3.0) (fma 2.0 (/ -1 x) 3.0)) (* x (- 3.0 (* 2.0 (/ 1 x)))))) in (x) around 0 1.470 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (* 2.0 (/ 1 x)) 3.0) (fma 2.0 (/ -1 x) 3.0)) (* x (- 3.0 (* 2.0 (/ 1 x)))))) in x 1.470 * [taylor]: Taking taylor expansion of -1 in x 1.470 * [taylor]: Taking taylor expansion of (/ (* (+ (* 2.0 (/ 1 x)) 3.0) (fma 2.0 (/ -1 x) 3.0)) (* x (- 3.0 (* 2.0 (/ 1 x))))) in x 1.470 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 (/ 1 x)) 3.0) (fma 2.0 (/ -1 x) 3.0)) in x 1.470 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) 3.0) in x 1.470 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.470 * [taylor]: Taking taylor expansion of 2.0 in x 1.470 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.470 * [taylor]: Taking taylor expansion of x in x 1.471 * [taylor]: Taking taylor expansion of 3.0 in x 1.471 * [taylor]: Taking taylor expansion of (fma 2.0 (/ -1 x) 3.0) in x 1.471 * [taylor]: Rewrote expression to (+ (* 2.0 (/ -1 x)) 3.0) 1.471 * [taylor]: Taking taylor expansion of (* 2.0 (/ -1 x)) in x 1.471 * [taylor]: Taking taylor expansion of 2.0 in x 1.471 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.471 * [taylor]: Taking taylor expansion of -1 in x 1.471 * [taylor]: Taking taylor expansion of x in x 1.471 * [taylor]: Taking taylor expansion of 3.0 in x 1.471 * [taylor]: Taking taylor expansion of (* x (- 3.0 (* 2.0 (/ 1 x)))) in x 1.471 * [taylor]: Taking taylor expansion of x in x 1.471 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 (/ 1 x))) in x 1.471 * [taylor]: Taking taylor expansion of 3.0 in x 1.471 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.471 * [taylor]: Taking taylor expansion of 2.0 in x 1.471 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.471 * [taylor]: Taking taylor expansion of x in x 1.478 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (* 2.0 (/ 1 x)) 3.0) (fma 2.0 (/ -1 x) 3.0)) (* x (- 3.0 (* 2.0 (/ 1 x)))))) in x 1.478 * [taylor]: Taking taylor expansion of -1 in x 1.478 * [taylor]: Taking taylor expansion of (/ (* (+ (* 2.0 (/ 1 x)) 3.0) (fma 2.0 (/ -1 x) 3.0)) (* x (- 3.0 (* 2.0 (/ 1 x))))) in x 1.478 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 (/ 1 x)) 3.0) (fma 2.0 (/ -1 x) 3.0)) in x 1.478 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) 3.0) in x 1.478 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.478 * [taylor]: Taking taylor expansion of 2.0 in x 1.478 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.478 * [taylor]: Taking taylor expansion of x in x 1.478 * [taylor]: Taking taylor expansion of 3.0 in x 1.478 * [taylor]: Taking taylor expansion of (fma 2.0 (/ -1 x) 3.0) in x 1.478 * [taylor]: Rewrote expression to (+ (* 2.0 (/ -1 x)) 3.0) 1.478 * [taylor]: Taking taylor expansion of (* 2.0 (/ -1 x)) in x 1.478 * [taylor]: Taking taylor expansion of 2.0 in x 1.478 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.478 * [taylor]: Taking taylor expansion of -1 in x 1.478 * [taylor]: Taking taylor expansion of x in x 1.479 * [taylor]: Taking taylor expansion of 3.0 in x 1.479 * [taylor]: Taking taylor expansion of (* x (- 3.0 (* 2.0 (/ 1 x)))) in x 1.479 * [taylor]: Taking taylor expansion of x in x 1.479 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 (/ 1 x))) in x 1.479 * [taylor]: Taking taylor expansion of 3.0 in x 1.479 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.479 * [taylor]: Taking taylor expansion of 2.0 in x 1.479 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.479 * [taylor]: Taking taylor expansion of x in x 1.555 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 1.555 * [approximate]: Taking taylor expansion of (* x (* (- 3.0 (* 2.0 x)) (fma 2.0 x 3.0))) in (x) around 0 1.555 * [taylor]: Taking taylor expansion of (* x (* (- 3.0 (* 2.0 x)) (fma 2.0 x 3.0))) in x 1.555 * [taylor]: Taking taylor expansion of x in x 1.555 * [taylor]: Taking taylor expansion of (* (- 3.0 (* 2.0 x)) (fma 2.0 x 3.0)) in x 1.555 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 x)) in x 1.555 * [taylor]: Taking taylor expansion of 3.0 in x 1.555 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.555 * [taylor]: Taking taylor expansion of 2.0 in x 1.555 * [taylor]: Taking taylor expansion of x in x 1.555 * [taylor]: Taking taylor expansion of (fma 2.0 x 3.0) in x 1.556 * [taylor]: Rewrote expression to (+ (* 2.0 x) 3.0) 1.556 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.556 * [taylor]: Taking taylor expansion of 2.0 in x 1.556 * [taylor]: Taking taylor expansion of x in x 1.556 * [taylor]: Taking taylor expansion of 3.0 in x 1.556 * [taylor]: Taking taylor expansion of (* x (* (- 3.0 (* 2.0 x)) (fma 2.0 x 3.0))) in x 1.556 * [taylor]: Taking taylor expansion of x in x 1.556 * [taylor]: Taking taylor expansion of (* (- 3.0 (* 2.0 x)) (fma 2.0 x 3.0)) in x 1.556 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 x)) in x 1.556 * [taylor]: Taking taylor expansion of 3.0 in x 1.556 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.556 * [taylor]: Taking taylor expansion of 2.0 in x 1.556 * [taylor]: Taking taylor expansion of x in x 1.556 * [taylor]: Taking taylor expansion of (fma 2.0 x 3.0) in x 1.556 * [taylor]: Rewrote expression to (+ (* 2.0 x) 3.0) 1.556 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.556 * [taylor]: Taking taylor expansion of 2.0 in x 1.556 * [taylor]: Taking taylor expansion of x in x 1.556 * [taylor]: Taking taylor expansion of 3.0 in x 1.606 * [approximate]: Taking taylor expansion of (/ (* (fma 2.0 (/ 1 x) 3.0) (- 3.0 (* 2.0 (/ 1 x)))) x) in (x) around 0 1.606 * [taylor]: Taking taylor expansion of (/ (* (fma 2.0 (/ 1 x) 3.0) (- 3.0 (* 2.0 (/ 1 x)))) x) in x 1.606 * [taylor]: Taking taylor expansion of (* (fma 2.0 (/ 1 x) 3.0) (- 3.0 (* 2.0 (/ 1 x)))) in x 1.606 * [taylor]: Taking taylor expansion of (fma 2.0 (/ 1 x) 3.0) in x 1.606 * [taylor]: Rewrote expression to (+ (* 2.0 (/ 1 x)) 3.0) 1.606 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.606 * [taylor]: Taking taylor expansion of 2.0 in x 1.606 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.606 * [taylor]: Taking taylor expansion of x in x 1.607 * [taylor]: Taking taylor expansion of 3.0 in x 1.607 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 (/ 1 x))) in x 1.607 * [taylor]: Taking taylor expansion of 3.0 in x 1.607 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.607 * [taylor]: Taking taylor expansion of 2.0 in x 1.607 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.607 * [taylor]: Taking taylor expansion of x in x 1.607 * [taylor]: Taking taylor expansion of x in x 1.610 * [taylor]: Taking taylor expansion of (/ (* (fma 2.0 (/ 1 x) 3.0) (- 3.0 (* 2.0 (/ 1 x)))) x) in x 1.610 * [taylor]: Taking taylor expansion of (* (fma 2.0 (/ 1 x) 3.0) (- 3.0 (* 2.0 (/ 1 x)))) in x 1.610 * [taylor]: Taking taylor expansion of (fma 2.0 (/ 1 x) 3.0) in x 1.610 * [taylor]: Rewrote expression to (+ (* 2.0 (/ 1 x)) 3.0) 1.610 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.610 * [taylor]: Taking taylor expansion of 2.0 in x 1.610 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.610 * [taylor]: Taking taylor expansion of x in x 1.611 * [taylor]: Taking taylor expansion of 3.0 in x 1.611 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 (/ 1 x))) in x 1.611 * [taylor]: Taking taylor expansion of 3.0 in x 1.611 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.611 * [taylor]: Taking taylor expansion of 2.0 in x 1.611 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.611 * [taylor]: Taking taylor expansion of x in x 1.611 * [taylor]: Taking taylor expansion of x in x 1.654 * [approximate]: Taking taylor expansion of (* -1 (/ (* (+ (* 2.0 (/ 1 x)) 3.0) (fma 2.0 (/ -1 x) 3.0)) x)) in (x) around 0 1.654 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (* 2.0 (/ 1 x)) 3.0) (fma 2.0 (/ -1 x) 3.0)) x)) in x 1.654 * [taylor]: Taking taylor expansion of -1 in x 1.654 * [taylor]: Taking taylor expansion of (/ (* (+ (* 2.0 (/ 1 x)) 3.0) (fma 2.0 (/ -1 x) 3.0)) x) in x 1.654 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 (/ 1 x)) 3.0) (fma 2.0 (/ -1 x) 3.0)) in x 1.654 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) 3.0) in x 1.654 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.655 * [taylor]: Taking taylor expansion of 2.0 in x 1.655 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.655 * [taylor]: Taking taylor expansion of x in x 1.655 * [taylor]: Taking taylor expansion of 3.0 in x 1.655 * [taylor]: Taking taylor expansion of (fma 2.0 (/ -1 x) 3.0) in x 1.655 * [taylor]: Rewrote expression to (+ (* 2.0 (/ -1 x)) 3.0) 1.655 * [taylor]: Taking taylor expansion of (* 2.0 (/ -1 x)) in x 1.655 * [taylor]: Taking taylor expansion of 2.0 in x 1.655 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.655 * [taylor]: Taking taylor expansion of -1 in x 1.655 * [taylor]: Taking taylor expansion of x in x 1.656 * [taylor]: Taking taylor expansion of 3.0 in x 1.656 * [taylor]: Taking taylor expansion of x in x 1.657 * [taylor]: Taking taylor expansion of (* -1 (/ (* (+ (* 2.0 (/ 1 x)) 3.0) (fma 2.0 (/ -1 x) 3.0)) x)) in x 1.658 * [taylor]: Taking taylor expansion of -1 in x 1.658 * [taylor]: Taking taylor expansion of (/ (* (+ (* 2.0 (/ 1 x)) 3.0) (fma 2.0 (/ -1 x) 3.0)) x) in x 1.658 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 (/ 1 x)) 3.0) (fma 2.0 (/ -1 x) 3.0)) in x 1.658 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) 3.0) in x 1.658 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.658 * [taylor]: Taking taylor expansion of 2.0 in x 1.658 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.658 * [taylor]: Taking taylor expansion of x in x 1.658 * [taylor]: Taking taylor expansion of 3.0 in x 1.658 * [taylor]: Taking taylor expansion of (fma 2.0 (/ -1 x) 3.0) in x 1.658 * [taylor]: Rewrote expression to (+ (* 2.0 (/ -1 x)) 3.0) 1.658 * [taylor]: Taking taylor expansion of (* 2.0 (/ -1 x)) in x 1.658 * [taylor]: Taking taylor expansion of 2.0 in x 1.658 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.658 * [taylor]: Taking taylor expansion of -1 in x 1.658 * [taylor]: Taking taylor expansion of x in x 1.659 * [taylor]: Taking taylor expansion of 3.0 in x 1.659 * [taylor]: Taking taylor expansion of x in x 1.712 * * * * [progress]: [ 3 / 4 ] generating series at (2) 1.712 * [approximate]: Taking taylor expansion of (/ (* (pow x 2) (* (- 3.0 (* 2.0 x)) (fma 2.0 x 3.0))) (+ (* 2.0 x) 3.0)) in (x) around 0 1.712 * [taylor]: Taking taylor expansion of (/ (* (pow x 2) (* (- 3.0 (* 2.0 x)) (fma 2.0 x 3.0))) (+ (* 2.0 x) 3.0)) in x 1.712 * [taylor]: Taking taylor expansion of (* (pow x 2) (* (- 3.0 (* 2.0 x)) (fma 2.0 x 3.0))) in x 1.712 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.712 * [taylor]: Taking taylor expansion of x in x 1.713 * [taylor]: Taking taylor expansion of (* (- 3.0 (* 2.0 x)) (fma 2.0 x 3.0)) in x 1.713 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 x)) in x 1.713 * [taylor]: Taking taylor expansion of 3.0 in x 1.713 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.713 * [taylor]: Taking taylor expansion of 2.0 in x 1.713 * [taylor]: Taking taylor expansion of x in x 1.713 * [taylor]: Taking taylor expansion of (fma 2.0 x 3.0) in x 1.713 * [taylor]: Rewrote expression to (+ (* 2.0 x) 3.0) 1.713 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.713 * [taylor]: Taking taylor expansion of 2.0 in x 1.713 * [taylor]: Taking taylor expansion of x in x 1.713 * [taylor]: Taking taylor expansion of 3.0 in x 1.713 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) 3.0) in x 1.713 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.713 * [taylor]: Taking taylor expansion of 2.0 in x 1.713 * [taylor]: Taking taylor expansion of x in x 1.713 * [taylor]: Taking taylor expansion of 3.0 in x 1.716 * [taylor]: Taking taylor expansion of (/ (* (pow x 2) (* (- 3.0 (* 2.0 x)) (fma 2.0 x 3.0))) (+ (* 2.0 x) 3.0)) in x 1.716 * [taylor]: Taking taylor expansion of (* (pow x 2) (* (- 3.0 (* 2.0 x)) (fma 2.0 x 3.0))) in x 1.716 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.716 * [taylor]: Taking taylor expansion of x in x 1.716 * [taylor]: Taking taylor expansion of (* (- 3.0 (* 2.0 x)) (fma 2.0 x 3.0)) in x 1.716 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 x)) in x 1.716 * [taylor]: Taking taylor expansion of 3.0 in x 1.716 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.716 * [taylor]: Taking taylor expansion of 2.0 in x 1.716 * [taylor]: Taking taylor expansion of x in x 1.716 * [taylor]: Taking taylor expansion of (fma 2.0 x 3.0) in x 1.716 * [taylor]: Rewrote expression to (+ (* 2.0 x) 3.0) 1.716 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.716 * [taylor]: Taking taylor expansion of 2.0 in x 1.716 * [taylor]: Taking taylor expansion of x in x 1.716 * [taylor]: Taking taylor expansion of 3.0 in x 1.716 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) 3.0) in x 1.716 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.716 * [taylor]: Taking taylor expansion of 2.0 in x 1.716 * [taylor]: Taking taylor expansion of x in x 1.716 * [taylor]: Taking taylor expansion of 3.0 in x 1.775 * [approximate]: Taking taylor expansion of (/ (* (fma 2.0 (/ 1 x) 3.0) (- 3.0 (* 2.0 (/ 1 x)))) (* (pow x 2) (+ (* 2.0 (/ 1 x)) 3.0))) in (x) around 0 1.775 * [taylor]: Taking taylor expansion of (/ (* (fma 2.0 (/ 1 x) 3.0) (- 3.0 (* 2.0 (/ 1 x)))) (* (pow x 2) (+ (* 2.0 (/ 1 x)) 3.0))) in x 1.775 * [taylor]: Taking taylor expansion of (* (fma 2.0 (/ 1 x) 3.0) (- 3.0 (* 2.0 (/ 1 x)))) in x 1.776 * [taylor]: Taking taylor expansion of (fma 2.0 (/ 1 x) 3.0) in x 1.776 * [taylor]: Rewrote expression to (+ (* 2.0 (/ 1 x)) 3.0) 1.776 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.776 * [taylor]: Taking taylor expansion of 2.0 in x 1.776 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.776 * [taylor]: Taking taylor expansion of x in x 1.776 * [taylor]: Taking taylor expansion of 3.0 in x 1.776 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 (/ 1 x))) in x 1.776 * [taylor]: Taking taylor expansion of 3.0 in x 1.776 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.776 * [taylor]: Taking taylor expansion of 2.0 in x 1.776 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.776 * [taylor]: Taking taylor expansion of x in x 1.777 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (* 2.0 (/ 1 x)) 3.0)) in x 1.777 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.777 * [taylor]: Taking taylor expansion of x in x 1.777 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) 3.0) in x 1.777 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.777 * [taylor]: Taking taylor expansion of 2.0 in x 1.777 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.777 * [taylor]: Taking taylor expansion of x in x 1.777 * [taylor]: Taking taylor expansion of 3.0 in x 1.780 * [taylor]: Taking taylor expansion of (/ (* (fma 2.0 (/ 1 x) 3.0) (- 3.0 (* 2.0 (/ 1 x)))) (* (pow x 2) (+ (* 2.0 (/ 1 x)) 3.0))) in x 1.780 * [taylor]: Taking taylor expansion of (* (fma 2.0 (/ 1 x) 3.0) (- 3.0 (* 2.0 (/ 1 x)))) in x 1.780 * [taylor]: Taking taylor expansion of (fma 2.0 (/ 1 x) 3.0) in x 1.781 * [taylor]: Rewrote expression to (+ (* 2.0 (/ 1 x)) 3.0) 1.781 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.781 * [taylor]: Taking taylor expansion of 2.0 in x 1.781 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.781 * [taylor]: Taking taylor expansion of x in x 1.781 * [taylor]: Taking taylor expansion of 3.0 in x 1.781 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 (/ 1 x))) in x 1.781 * [taylor]: Taking taylor expansion of 3.0 in x 1.781 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.781 * [taylor]: Taking taylor expansion of 2.0 in x 1.781 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.781 * [taylor]: Taking taylor expansion of x in x 1.781 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (* 2.0 (/ 1 x)) 3.0)) in x 1.781 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.781 * [taylor]: Taking taylor expansion of x in x 1.781 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) 3.0) in x 1.781 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.781 * [taylor]: Taking taylor expansion of 2.0 in x 1.781 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.781 * [taylor]: Taking taylor expansion of x in x 1.782 * [taylor]: Taking taylor expansion of 3.0 in x 1.851 * [approximate]: Taking taylor expansion of (/ (* (+ (* 2.0 (/ 1 x)) 3.0) (fma 2.0 (/ -1 x) 3.0)) (* (pow x 2) (- 3.0 (* 2.0 (/ 1 x))))) in (x) around 0 1.851 * [taylor]: Taking taylor expansion of (/ (* (+ (* 2.0 (/ 1 x)) 3.0) (fma 2.0 (/ -1 x) 3.0)) (* (pow x 2) (- 3.0 (* 2.0 (/ 1 x))))) in x 1.851 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 (/ 1 x)) 3.0) (fma 2.0 (/ -1 x) 3.0)) in x 1.851 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) 3.0) in x 1.851 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.851 * [taylor]: Taking taylor expansion of 2.0 in x 1.851 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.851 * [taylor]: Taking taylor expansion of x in x 1.851 * [taylor]: Taking taylor expansion of 3.0 in x 1.851 * [taylor]: Taking taylor expansion of (fma 2.0 (/ -1 x) 3.0) in x 1.851 * [taylor]: Rewrote expression to (+ (* 2.0 (/ -1 x)) 3.0) 1.851 * [taylor]: Taking taylor expansion of (* 2.0 (/ -1 x)) in x 1.851 * [taylor]: Taking taylor expansion of 2.0 in x 1.851 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.851 * [taylor]: Taking taylor expansion of -1 in x 1.851 * [taylor]: Taking taylor expansion of x in x 1.852 * [taylor]: Taking taylor expansion of 3.0 in x 1.852 * [taylor]: Taking taylor expansion of (* (pow x 2) (- 3.0 (* 2.0 (/ 1 x)))) in x 1.852 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.852 * [taylor]: Taking taylor expansion of x in x 1.852 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 (/ 1 x))) in x 1.852 * [taylor]: Taking taylor expansion of 3.0 in x 1.852 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.852 * [taylor]: Taking taylor expansion of 2.0 in x 1.852 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.852 * [taylor]: Taking taylor expansion of x in x 1.856 * [taylor]: Taking taylor expansion of (/ (* (+ (* 2.0 (/ 1 x)) 3.0) (fma 2.0 (/ -1 x) 3.0)) (* (pow x 2) (- 3.0 (* 2.0 (/ 1 x))))) in x 1.856 * [taylor]: Taking taylor expansion of (* (+ (* 2.0 (/ 1 x)) 3.0) (fma 2.0 (/ -1 x) 3.0)) in x 1.856 * [taylor]: Taking taylor expansion of (+ (* 2.0 (/ 1 x)) 3.0) in x 1.856 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.856 * [taylor]: Taking taylor expansion of 2.0 in x 1.856 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.856 * [taylor]: Taking taylor expansion of x in x 1.856 * [taylor]: Taking taylor expansion of 3.0 in x 1.856 * [taylor]: Taking taylor expansion of (fma 2.0 (/ -1 x) 3.0) in x 1.856 * [taylor]: Rewrote expression to (+ (* 2.0 (/ -1 x)) 3.0) 1.856 * [taylor]: Taking taylor expansion of (* 2.0 (/ -1 x)) in x 1.857 * [taylor]: Taking taylor expansion of 2.0 in x 1.857 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.857 * [taylor]: Taking taylor expansion of -1 in x 1.857 * [taylor]: Taking taylor expansion of x in x 1.857 * [taylor]: Taking taylor expansion of 3.0 in x 1.857 * [taylor]: Taking taylor expansion of (* (pow x 2) (- 3.0 (* 2.0 (/ 1 x)))) in x 1.857 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.857 * [taylor]: Taking taylor expansion of x in x 1.857 * [taylor]: Taking taylor expansion of (- 3.0 (* 2.0 (/ 1 x))) in x 1.857 * [taylor]: Taking taylor expansion of 3.0 in x 1.857 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.857 * [taylor]: Taking taylor expansion of 2.0 in x 1.857 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.857 * [taylor]: Taking taylor expansion of x in x 1.929 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1) 1.929 * [approximate]: Taking taylor expansion of (* x (fma 2.0 x 3.0)) in (x) around 0 1.929 * [taylor]: Taking taylor expansion of (* x (fma 2.0 x 3.0)) in x 1.929 * [taylor]: Taking taylor expansion of x in x 1.929 * [taylor]: Taking taylor expansion of (fma 2.0 x 3.0) in x 1.929 * [taylor]: Rewrote expression to (+ (* 2.0 x) 3.0) 1.929 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.929 * [taylor]: Taking taylor expansion of 2.0 in x 1.929 * [taylor]: Taking taylor expansion of x in x 1.929 * [taylor]: Taking taylor expansion of 3.0 in x 1.929 * [taylor]: Taking taylor expansion of (* x (fma 2.0 x 3.0)) in x 1.929 * [taylor]: Taking taylor expansion of x in x 1.930 * [taylor]: Taking taylor expansion of (fma 2.0 x 3.0) in x 1.930 * [taylor]: Rewrote expression to (+ (* 2.0 x) 3.0) 1.930 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.930 * [taylor]: Taking taylor expansion of 2.0 in x 1.930 * [taylor]: Taking taylor expansion of x in x 1.930 * [taylor]: Taking taylor expansion of 3.0 in x 1.948 * [approximate]: Taking taylor expansion of (/ (fma 2.0 (/ 1 x) 3.0) x) in (x) around 0 1.948 * [taylor]: Taking taylor expansion of (/ (fma 2.0 (/ 1 x) 3.0) x) in x 1.948 * [taylor]: Taking taylor expansion of (fma 2.0 (/ 1 x) 3.0) in x 1.948 * [taylor]: Rewrote expression to (+ (* 2.0 (/ 1 x)) 3.0) 1.948 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.948 * [taylor]: Taking taylor expansion of 2.0 in x 1.948 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.948 * [taylor]: Taking taylor expansion of x in x 1.948 * [taylor]: Taking taylor expansion of 3.0 in x 1.948 * [taylor]: Taking taylor expansion of x in x 1.949 * [taylor]: Taking taylor expansion of (/ (fma 2.0 (/ 1 x) 3.0) x) in x 1.949 * [taylor]: Taking taylor expansion of (fma 2.0 (/ 1 x) 3.0) in x 1.950 * [taylor]: Rewrote expression to (+ (* 2.0 (/ 1 x)) 3.0) 1.950 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.950 * [taylor]: Taking taylor expansion of 2.0 in x 1.950 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.950 * [taylor]: Taking taylor expansion of x in x 1.950 * [taylor]: Taking taylor expansion of 3.0 in x 1.950 * [taylor]: Taking taylor expansion of x in x 1.967 * [approximate]: Taking taylor expansion of (* -1 (/ (fma 2.0 (/ -1 x) 3.0) x)) in (x) around 0 1.967 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 2.0 (/ -1 x) 3.0) x)) in x 1.967 * [taylor]: Taking taylor expansion of -1 in x 1.967 * [taylor]: Taking taylor expansion of (/ (fma 2.0 (/ -1 x) 3.0) x) in x 1.967 * [taylor]: Taking taylor expansion of (fma 2.0 (/ -1 x) 3.0) in x 1.968 * [taylor]: Rewrote expression to (+ (* 2.0 (/ -1 x)) 3.0) 1.968 * [taylor]: Taking taylor expansion of (* 2.0 (/ -1 x)) in x 1.968 * [taylor]: Taking taylor expansion of 2.0 in x 1.968 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.968 * [taylor]: Taking taylor expansion of -1 in x 1.968 * [taylor]: Taking taylor expansion of x in x 1.968 * [taylor]: Taking taylor expansion of 3.0 in x 1.968 * [taylor]: Taking taylor expansion of x in x 1.969 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 2.0 (/ -1 x) 3.0) x)) in x 1.969 * [taylor]: Taking taylor expansion of -1 in x 1.969 * [taylor]: Taking taylor expansion of (/ (fma 2.0 (/ -1 x) 3.0) x) in x 1.969 * [taylor]: Taking taylor expansion of (fma 2.0 (/ -1 x) 3.0) in x 1.969 * [taylor]: Rewrote expression to (+ (* 2.0 (/ -1 x)) 3.0) 1.969 * [taylor]: Taking taylor expansion of (* 2.0 (/ -1 x)) in x 1.970 * [taylor]: Taking taylor expansion of 2.0 in x 1.970 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.970 * [taylor]: Taking taylor expansion of -1 in x 1.970 * [taylor]: Taking taylor expansion of x in x 1.970 * [taylor]: Taking taylor expansion of 3.0 in x 1.970 * [taylor]: Taking taylor expansion of x in x 1.994 * * * [progress]: simplifying candidates 1.995 * [simplify]: Simplifying using # : (- (* (* x (fma 2.0 x 3.0)) (- 3.0 (* x 2.0)))) (- (+ 3.0 (* x 2.0))) (/ 1 (+ 3.0 (* x 2.0))) (/ (+ 3.0 (* x 2.0)) (* (* x (fma 2.0 x 3.0)) (- 3.0 (* x 2.0)))) (/ (+ 3.0 (* x 2.0)) (- 3.0 (* x 2.0))) (/ (+ 3.0 (* x 2.0)) (* (fma 2.0 x 3.0) (- 3.0 (* x 2.0)))) (/ (+ 3.0 (* x 2.0)) (* x (- 3.0 (* x 2.0)))) (/ (+ 3.0 (* x 2.0)) (* x (fma 2.0 x 3.0))) (/ (* (* x (fma 2.0 x 3.0)) (- 3.0 (* x 2.0))) (+ (pow 3.0 3) (pow (* x 2.0) 3))) (/ (* (* x (fma 2.0 x 3.0)) (- 3.0 (* x 2.0))) (- (* 3.0 3.0) (* (* x 2.0) (* x 2.0)))) (* (+ 3.0 (* x 2.0)) (+ (* 3.0 3.0) (+ (* (* x 2.0) (* x 2.0)) (* 3.0 (* x 2.0))))) (* (+ 3.0 (* x 2.0)) (+ 3.0 (* x 2.0))) (* (* x (fma 2.0 x 3.0)) 3.0) (* (* x (fma 2.0 x 3.0)) (- (* x 2.0))) (* (* x (fma 2.0 x 3.0)) 3.0) (* (* x (fma 2.0 x 3.0)) (- (* x 2.0))) (* 3.0 (* x (fma 2.0 x 3.0))) (* (- (* x 2.0)) (* x (fma 2.0 x 3.0))) (* 3.0 (* x (fma 2.0 x 3.0))) (* (- (* x 2.0)) (* x (fma 2.0 x 3.0))) (* (fma 2.0 x 3.0) (- 3.0 (* x 2.0))) (* x (- 3.0 (* x 2.0))) (* (* x (fma 2.0 x 3.0)) (- (pow 3.0 3) (pow (* x 2.0) 3))) (* (* x (fma 2.0 x 3.0)) (- (* 3.0 3.0) (* (* x 2.0) (* x 2.0)))) (* x (* (* x (fma 2.0 x 3.0)) (- 3.0 (* x 2.0)))) (* x (/ (* (* x (fma 2.0 x 3.0)) (- 3.0 (* x 2.0))) (+ (pow 3.0 3) (pow (* x 2.0) 3)))) (* x (/ (* (* x (fma 2.0 x 3.0)) (- 3.0 (* x 2.0))) (- (* 3.0 3.0) (* (* x 2.0) (* x 2.0))))) (* x (* (* x (fma 2.0 x 3.0)) (- 3.0 (* x 2.0)))) (* x (- (* (* x (fma 2.0 x 3.0)) (- 3.0 (* x 2.0))))) (* x 1) (* x (* x (fma 2.0 x 3.0))) (* x x) (* x (fma 2.0 x 3.0)) (* x (- 3.0 (* x 2.0))) (* x (* (* x (fma 2.0 x 3.0)) (- (pow 3.0 3) (pow (* x 2.0) 3)))) (* x (* (* x (fma 2.0 x 3.0)) (- (* 3.0 3.0) (* (* x 2.0) (* x 2.0))))) (* x (* 2.0 x)) (* x 3.0) (* (* 2.0 x) x) (* 3.0 x) (- (* 3.0 x) (* 2.0 (pow x 2))) (- (* 3.0 x) (* 2.0 (pow x 2))) (- (* 3.0 x) (* 2.0 (pow x 2))) (- (* 9.0 x) (* 4.0 (pow x 3))) (- (* 9.0 x) (* 4.0 (pow x 3))) (- (* 9.0 x) (* 4.0 (pow x 3))) (- (* 3.0 (pow x 2)) (* 2.0 (pow x 3))) (- (* 3.0 (pow x 2)) (* 2.0 (pow x 3))) (- (* 3.0 (pow x 2)) (* 2.0 (pow x 3))) (+ (* 2.0 (pow x 2)) (* 3.0 x)) (+ (* 2.0 (pow x 2)) (* 3.0 x)) (+ (* 2.0 (pow x 2)) (* 3.0 x)) 2.000 * * [simplify]: iteration 0 : 196 enodes (cost 254 ) 2.005 * * [simplify]: iteration 1 : 917 enodes (cost 240 ) 2.031 * * [simplify]: iteration 2 : 5002 enodes (cost 207 ) 2.033 * [simplify]: Simplified to: (- (* (* x (fma 2.0 x 3.0)) (- 3.0 (* x 2.0)))) (- (fma 2.0 x 3.0)) (/ 1 (+ 3.0 (* x 2.0))) (/ (/ (fma 2.0 x 3.0) x) (* (fma 2.0 x 3.0) (- 3.0 (* x 2.0)))) (/ (* (fma 2.0 x 3.0) 1) (- 3.0 (* x 2.0))) (/ 1 (- 3.0 (* x 2.0))) (/ (/ (fma 2.0 x 3.0) x) (- 3.0 (* x 2.0))) (/ 1 x) (/ (* (* x (fma 2.0 x 3.0)) (- 3.0 (* x 2.0))) (+ (pow 3.0 3) (pow (* x 2.0) 3))) x (fma (* 2.0 (* x (fma 2.0 x 3.0))) (fma 2.0 x 3.0) (* (* (fma 2.0 x 3.0) 3.0) 3.0)) (* (fma 2.0 x 3.0) (fma 2.0 x 3.0)) (* (* x (fma 2.0 x 3.0)) 3.0) (* (* x (fma 2.0 x 3.0)) (- (* x 2.0))) (* (* x (fma 2.0 x 3.0)) 3.0) (* (* x (fma 2.0 x 3.0)) (- (* x 2.0))) (* (* x (fma 2.0 x 3.0)) 3.0) (* (* x (fma 2.0 x 3.0)) (- (* x 2.0))) (* (* x (fma 2.0 x 3.0)) 3.0) (* (* x (fma 2.0 x 3.0)) (- (* x 2.0))) (* (fma 2.0 x 3.0) (- 3.0 (* x 2.0))) (* x (- 3.0 (* x 2.0))) (* (* x (fma 2.0 x 3.0)) (- (pow 3.0 3) (pow (* x 2.0) 3))) (* (* x (fma 2.0 x 3.0)) (* (fma 2.0 x 3.0) (- 3.0 (* x 2.0)))) (* x (* (* x (fma 2.0 x 3.0)) (- 3.0 (* x 2.0)))) (* x (/ (* (* x (fma 2.0 x 3.0)) (- 3.0 (* x 2.0))) (+ (pow 3.0 3) (pow (* x 2.0) 3)))) (pow x 2) (* x (* (* x (fma 2.0 x 3.0)) (- 3.0 (* x 2.0)))) (* x (- (* (* x (fma 2.0 x 3.0)) (- 3.0 (* x 2.0))))) x (* x (* x (fma 2.0 x 3.0))) (pow x 2) (* x (fma 2.0 x 3.0)) (* x (- 3.0 (* x 2.0))) (* x (* (* x (fma 2.0 x 3.0)) (- (pow 3.0 3) (pow (* x 2.0) 3)))) (* (* (* x (* x (fma 2.0 x 3.0))) (fma 2.0 x 3.0)) (- 3.0 (* x 2.0))) (* x (* 2.0 x)) (* x 3.0) (* x (* 2.0 x)) (* x 3.0) (* x (- 3.0 (* x 2.0))) (* x (- 3.0 (* x 2.0))) (* x (- 3.0 (* x 2.0))) (- (* 9.0 x) (* 4.0 (pow x 3))) (- (* 9.0 x) (* 4.0 (pow x 3))) (- (* 9.0 x) (* 4.0 (pow x 3))) (* (pow x 2) (- 3.0 (* x 2.0))) (* (pow x 2) (- 3.0 (* x 2.0))) (* (pow x 2) (- 3.0 (* x 2.0))) (* x (fma 2.0 x 3.0)) (* x (fma 2.0 x 3.0)) (* x (fma 2.0 x 3.0)) 2.033 * * * [progress]: adding candidates to table 2.136 * [progress]: [Phase 3 of 3] Extracting. 2.136 * * [regime]: Finding splitpoints for: (# # # #) 2.137 * * * [regime-changes]: Trying 1 branch expressions: (x) 2.137 * * * * [regimes]: Trying to branch on x from (# # # #) 2.155 * * * [regime]: Found split indices: #