19.244 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.015 * * * [progress]: [2/2] Setting up program. 0.017 * [progress]: [Phase 2 of 3] Improving. 0.017 * [simplify]: Simplifying using # : (* 3.0 (+ (- (* (* x 3.0) x) (* x 4.0)) 1.0)) 0.018 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 0.020 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 0.023 * * [simplify]: iteration 2 : 62 enodes (cost 11 ) 0.033 * * [simplify]: iteration 3 : 144 enodes (cost 10 ) 0.059 * * [simplify]: iteration 4 : 264 enodes (cost 10 ) 0.103 * * [simplify]: iteration 5 : 334 enodes (cost 10 ) 0.159 * * [simplify]: iteration 6 : 378 enodes (cost 10 ) 0.228 * * [simplify]: iteration 7 : 456 enodes (cost 10 ) 0.321 * * [simplify]: iteration 8 : 763 enodes (cost 10 ) 0.558 * * [simplify]: iteration 9 : 1240 enodes (cost 10 ) 1.160 * * [simplify]: iteration 10 : 1578 enodes (cost 10 ) 2.030 * * [simplify]: iteration 11 : 1608 enodes (cost 10 ) 2.909 * * [simplify]: iteration done : 1608 enodes (cost 10 ) 2.910 * [simplify]: Simplified to: (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0)) 2.912 * * [progress]: iteration 1 / 4 2.912 * * * [progress]: picking best candidate 2.914 * * * * [pick]: Picked # 2.914 * * * [progress]: localizing error 2.920 * * * [progress]: generating rewritten candidates 2.920 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 2.923 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 2.924 * * * [progress]: generating series expansions 2.924 * * * * [progress]: [ 1 / 2 ] generating series at (2) 2.924 * [approximate]: Taking taylor expansion of (* 3.0 (fma x (- (* 3.0 x) 4.0) 1.0)) in (x) around 0 2.924 * [taylor]: Taking taylor expansion of (* 3.0 (fma x (- (* 3.0 x) 4.0) 1.0)) in x 2.924 * [taylor]: Taking taylor expansion of 3.0 in x 2.924 * [taylor]: Taking taylor expansion of (fma x (- (* 3.0 x) 4.0) 1.0) in x 2.925 * [taylor]: Rewrote expression to (+ (* x (- (* 3.0 x) 4.0)) 1.0) 2.925 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x 2.925 * [taylor]: Taking taylor expansion of x in x 2.925 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x 2.925 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 2.925 * [taylor]: Taking taylor expansion of 3.0 in x 2.925 * [taylor]: Taking taylor expansion of x in x 2.925 * [taylor]: Taking taylor expansion of 4.0 in x 2.925 * [taylor]: Taking taylor expansion of 1.0 in x 2.925 * [taylor]: Taking taylor expansion of (* 3.0 (fma x (- (* 3.0 x) 4.0) 1.0)) in x 2.925 * [taylor]: Taking taylor expansion of 3.0 in x 2.925 * [taylor]: Taking taylor expansion of (fma x (- (* 3.0 x) 4.0) 1.0) in x 2.925 * [taylor]: Rewrote expression to (+ (* x (- (* 3.0 x) 4.0)) 1.0) 2.925 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x 2.925 * [taylor]: Taking taylor expansion of x in x 2.925 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x 2.925 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 2.925 * [taylor]: Taking taylor expansion of 3.0 in x 2.925 * [taylor]: Taking taylor expansion of x in x 2.925 * [taylor]: Taking taylor expansion of 4.0 in x 2.925 * [taylor]: Taking taylor expansion of 1.0 in x 2.937 * [approximate]: Taking taylor expansion of (* 3.0 (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0)) in (x) around 0 2.937 * [taylor]: Taking taylor expansion of (* 3.0 (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0)) in x 2.937 * [taylor]: Taking taylor expansion of 3.0 in x 2.937 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0) in x 2.937 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) 1.0) 2.937 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) in x 2.937 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.937 * [taylor]: Taking taylor expansion of x in x 2.937 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x 2.937 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 2.937 * [taylor]: Taking taylor expansion of 3.0 in x 2.937 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.937 * [taylor]: Taking taylor expansion of x in x 2.937 * [taylor]: Taking taylor expansion of 4.0 in x 2.937 * [taylor]: Taking taylor expansion of 1.0 in x 2.937 * [taylor]: Taking taylor expansion of (* 3.0 (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0)) in x 2.938 * [taylor]: Taking taylor expansion of 3.0 in x 2.938 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0) in x 2.938 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) 1.0) 2.938 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) in x 2.938 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.938 * [taylor]: Taking taylor expansion of x in x 2.938 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x 2.938 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 2.938 * [taylor]: Taking taylor expansion of 3.0 in x 2.938 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.938 * [taylor]: Taking taylor expansion of x in x 2.938 * [taylor]: Taking taylor expansion of 4.0 in x 2.939 * [taylor]: Taking taylor expansion of 1.0 in x 2.952 * [approximate]: Taking taylor expansion of (* 3.0 (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0)) in (x) around 0 2.952 * [taylor]: Taking taylor expansion of (* 3.0 (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0)) in x 2.953 * [taylor]: Taking taylor expansion of 3.0 in x 2.953 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0) in x 2.953 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) 1.0) 2.953 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) in x 2.953 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.953 * [taylor]: Taking taylor expansion of -1 in x 2.953 * [taylor]: Taking taylor expansion of x in x 2.953 * [taylor]: Taking taylor expansion of (- (+ 4.0 (* 3.0 (/ 1 x)))) in x 2.953 * [taylor]: Taking taylor expansion of (+ 4.0 (* 3.0 (/ 1 x))) in x 2.953 * [taylor]: Taking taylor expansion of 4.0 in x 2.953 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 2.953 * [taylor]: Taking taylor expansion of 3.0 in x 2.953 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.953 * [taylor]: Taking taylor expansion of x in x 2.953 * [taylor]: Taking taylor expansion of 1.0 in x 2.953 * [taylor]: Taking taylor expansion of (* 3.0 (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0)) in x 2.953 * [taylor]: Taking taylor expansion of 3.0 in x 2.953 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0) in x 2.954 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) 1.0) 2.954 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) in x 2.954 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.954 * [taylor]: Taking taylor expansion of -1 in x 2.954 * [taylor]: Taking taylor expansion of x in x 2.954 * [taylor]: Taking taylor expansion of (- (+ 4.0 (* 3.0 (/ 1 x)))) in x 2.954 * [taylor]: Taking taylor expansion of (+ 4.0 (* 3.0 (/ 1 x))) in x 2.954 * [taylor]: Taking taylor expansion of 4.0 in x 2.954 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 2.954 * [taylor]: Taking taylor expansion of 3.0 in x 2.954 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.954 * [taylor]: Taking taylor expansion of x in x 2.954 * [taylor]: Taking taylor expansion of 1.0 in x 2.965 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 2.965 * [approximate]: Taking taylor expansion of (fma x (- (* 3.0 x) 4.0) 1.0) in (x) around 0 2.965 * [taylor]: Taking taylor expansion of (fma x (- (* 3.0 x) 4.0) 1.0) in x 2.965 * [taylor]: Rewrote expression to (+ (* x (- (* 3.0 x) 4.0)) 1.0) 2.965 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x 2.965 * [taylor]: Taking taylor expansion of x in x 2.965 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x 2.965 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 2.965 * [taylor]: Taking taylor expansion of 3.0 in x 2.965 * [taylor]: Taking taylor expansion of x in x 2.965 * [taylor]: Taking taylor expansion of 4.0 in x 2.965 * [taylor]: Taking taylor expansion of 1.0 in x 2.965 * [taylor]: Taking taylor expansion of (fma x (- (* 3.0 x) 4.0) 1.0) in x 2.965 * [taylor]: Rewrote expression to (+ (* x (- (* 3.0 x) 4.0)) 1.0) 2.965 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x 2.965 * [taylor]: Taking taylor expansion of x in x 2.965 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x 2.965 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 2.965 * [taylor]: Taking taylor expansion of 3.0 in x 2.966 * [taylor]: Taking taylor expansion of x in x 2.966 * [taylor]: Taking taylor expansion of 4.0 in x 2.966 * [taylor]: Taking taylor expansion of 1.0 in x 2.974 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0) in (x) around 0 2.974 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0) in x 2.974 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) 1.0) 2.974 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) in x 2.974 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.974 * [taylor]: Taking taylor expansion of x in x 2.974 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x 2.975 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 2.975 * [taylor]: Taking taylor expansion of 3.0 in x 2.975 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.975 * [taylor]: Taking taylor expansion of x in x 2.975 * [taylor]: Taking taylor expansion of 4.0 in x 2.975 * [taylor]: Taking taylor expansion of 1.0 in x 2.975 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0) in x 2.975 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) 1.0) 2.975 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) in x 2.975 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.975 * [taylor]: Taking taylor expansion of x in x 2.975 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x 2.975 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 2.975 * [taylor]: Taking taylor expansion of 3.0 in x 2.975 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.975 * [taylor]: Taking taylor expansion of x in x 2.976 * [taylor]: Taking taylor expansion of 4.0 in x 2.976 * [taylor]: Taking taylor expansion of 1.0 in x 2.984 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0) in (x) around 0 2.984 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0) in x 2.984 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) 1.0) 2.984 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) in x 2.984 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.984 * [taylor]: Taking taylor expansion of -1 in x 2.984 * [taylor]: Taking taylor expansion of x in x 2.984 * [taylor]: Taking taylor expansion of (- (+ 4.0 (* 3.0 (/ 1 x)))) in x 2.984 * [taylor]: Taking taylor expansion of (+ 4.0 (* 3.0 (/ 1 x))) in x 2.984 * [taylor]: Taking taylor expansion of 4.0 in x 2.984 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 2.984 * [taylor]: Taking taylor expansion of 3.0 in x 2.984 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.984 * [taylor]: Taking taylor expansion of x in x 2.985 * [taylor]: Taking taylor expansion of 1.0 in x 2.985 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0) in x 2.985 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) 1.0) 2.985 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) in x 2.985 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.985 * [taylor]: Taking taylor expansion of -1 in x 2.985 * [taylor]: Taking taylor expansion of x in x 2.985 * [taylor]: Taking taylor expansion of (- (+ 4.0 (* 3.0 (/ 1 x)))) in x 2.985 * [taylor]: Taking taylor expansion of (+ 4.0 (* 3.0 (/ 1 x))) in x 2.985 * [taylor]: Taking taylor expansion of 4.0 in x 2.985 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 2.985 * [taylor]: Taking taylor expansion of 3.0 in x 2.985 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.985 * [taylor]: Taking taylor expansion of x in x 2.986 * [taylor]: Taking taylor expansion of 1.0 in x 2.994 * * * [progress]: simplifying candidates 2.995 * [simplify]: Simplifying using # : (expm1 (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0))) (log1p (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0))) (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0)) (+ (log 3.0) (log (fma x (- (* x 3.0) 4.0) 1.0))) (log (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0))) (exp (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0))) (* (* (* 3.0 3.0) 3.0) (* (* (fma x (- (* x 3.0) 4.0) 1.0) (fma x (- (* x 3.0) 4.0) 1.0)) (fma x (- (* x 3.0) 4.0) 1.0))) (* (cbrt (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0))) (cbrt (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0)))) (cbrt (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0))) (* (* (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0)) (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0))) (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0))) (sqrt (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0))) (sqrt (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0))) (* (sqrt 3.0) (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (* (sqrt 3.0) (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (* 3.0 (* x (- (* x 3.0) 4.0))) (* 3.0 1.0) (* (* x (- (* x 3.0) 4.0)) 3.0) (* 1.0 3.0) (* 3.0 (* (cbrt (fma x (- (* x 3.0) 4.0) 1.0)) (cbrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (* 3.0 1) (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0)) (* (sqrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0)) (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0)) (expm1 (fma x (- (* x 3.0) 4.0) 1.0)) (log1p (fma x (- (* x 3.0) 4.0) 1.0)) (* x (- (* x 3.0) 4.0)) (log (fma x (- (* x 3.0) 4.0) 1.0)) (exp (fma x (- (* x 3.0) 4.0) 1.0)) (* (cbrt (fma x (- (* x 3.0) 4.0) 1.0)) (cbrt (fma x (- (* x 3.0) 4.0) 1.0))) (cbrt (fma x (- (* x 3.0) 4.0) 1.0)) (* (* (fma x (- (* x 3.0) 4.0) 1.0) (fma x (- (* x 3.0) 4.0) 1.0)) (fma x (- (* x 3.0) 4.0) 1.0)) (sqrt (fma x (- (* x 3.0) 4.0) 1.0)) (sqrt (fma x (- (* x 3.0) 4.0) 1.0)) (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) 2.997 * * [simplify]: iteration 0 : 57 enodes (cost 482 ) 3.006 * * [simplify]: iteration 1 : 117 enodes (cost 473 ) 3.030 * * [simplify]: iteration 2 : 398 enodes (cost 411 ) 3.167 * * [simplify]: iteration 3 : 1875 enodes (cost 408 ) 4.020 * * [simplify]: iteration done : 5001 enodes (cost 408 ) 4.020 * [simplify]: Simplified to: (expm1 (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0))) (log1p (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0))) (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0)) (log (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0))) (log (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0))) (exp (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0))) (pow (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0)) 3) (* (cbrt (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0))) (cbrt (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0)))) (cbrt (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0))) (pow (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0)) 3) (sqrt (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0))) (sqrt (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0))) (* (sqrt 3.0) (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (* (sqrt 3.0) (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (* 3.0 (* x (- (* x 3.0) 4.0))) (* 3.0 1.0) (* 3.0 (* x (- (* x 3.0) 4.0))) (* 3.0 1.0) (* 3.0 (* (cbrt (fma x (- (* x 3.0) 4.0) 1.0)) (cbrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) 3.0 (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0)) (* (sqrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0)) (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0)) (expm1 (fma x (- (* x 3.0) 4.0) 1.0)) (log1p (fma x (- (* x 3.0) 4.0) 1.0)) (* x (- (* x 3.0) 4.0)) (log (fma x (- (* x 3.0) 4.0) 1.0)) (exp (fma x (- (* x 3.0) 4.0) 1.0)) (* (cbrt (fma x (- (* x 3.0) 4.0) 1.0)) (cbrt (fma x (- (* x 3.0) 4.0) 1.0))) (cbrt (fma x (- (* x 3.0) 4.0) 1.0)) (pow (fma x (- (* x 3.0) 4.0) 1.0) 3) (sqrt (fma x (- (* x 3.0) 4.0) 1.0)) (sqrt (fma x (- (* x 3.0) 4.0) 1.0)) (+ (* x (- (* x 9.0) 12.0)) 3.0) (+ (* x (- (* x 9.0) 12.0)) 3.0) (+ (* x (- (* x 9.0) 12.0)) 3.0) (fma (- (* x 3.0) 4.0) x 1.0) (fma (- (* x 3.0) 4.0) x 1.0) (fma (- (* x 3.0) 4.0) x 1.0) 4.020 * * * [progress]: adding candidates to table 4.090 * * [progress]: iteration 2 / 4 4.090 * * * [progress]: picking best candidate 4.097 * * * * [pick]: Picked # 4.097 * * * [progress]: localizing error 4.103 * * * [progress]: generating rewritten candidates 4.103 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 4.116 * * * [progress]: generating series expansions 4.116 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 4.116 * [approximate]: Taking taylor expansion of (* (- (* 9.0 x) 12.0) x) in (x) around 0 4.116 * [taylor]: Taking taylor expansion of (* (- (* 9.0 x) 12.0) x) in x 4.116 * [taylor]: Taking taylor expansion of (- (* 9.0 x) 12.0) in x 4.116 * [taylor]: Taking taylor expansion of (* 9.0 x) in x 4.116 * [taylor]: Taking taylor expansion of 9.0 in x 4.116 * [taylor]: Taking taylor expansion of x in x 4.116 * [taylor]: Taking taylor expansion of 12.0 in x 4.116 * [taylor]: Taking taylor expansion of x in x 4.116 * [taylor]: Taking taylor expansion of (* (- (* 9.0 x) 12.0) x) in x 4.116 * [taylor]: Taking taylor expansion of (- (* 9.0 x) 12.0) in x 4.116 * [taylor]: Taking taylor expansion of (* 9.0 x) in x 4.116 * [taylor]: Taking taylor expansion of 9.0 in x 4.116 * [taylor]: Taking taylor expansion of x in x 4.116 * [taylor]: Taking taylor expansion of 12.0 in x 4.116 * [taylor]: Taking taylor expansion of x in x 4.140 * [approximate]: Taking taylor expansion of (/ (- (* 9.0 (/ 1 x)) 12.0) x) in (x) around 0 4.140 * [taylor]: Taking taylor expansion of (/ (- (* 9.0 (/ 1 x)) 12.0) x) in x 4.140 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 x)) 12.0) in x 4.140 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x 4.140 * [taylor]: Taking taylor expansion of 9.0 in x 4.140 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.140 * [taylor]: Taking taylor expansion of x in x 4.141 * [taylor]: Taking taylor expansion of 12.0 in x 4.141 * [taylor]: Taking taylor expansion of x in x 4.141 * [taylor]: Taking taylor expansion of (/ (- (* 9.0 (/ 1 x)) 12.0) x) in x 4.142 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 x)) 12.0) in x 4.142 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x 4.142 * [taylor]: Taking taylor expansion of 9.0 in x 4.142 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.142 * [taylor]: Taking taylor expansion of x in x 4.142 * [taylor]: Taking taylor expansion of 12.0 in x 4.142 * [taylor]: Taking taylor expansion of x in x 4.161 * [approximate]: Taking taylor expansion of (/ (+ 12.0 (* 9.0 (/ 1 x))) x) in (x) around 0 4.161 * [taylor]: Taking taylor expansion of (/ (+ 12.0 (* 9.0 (/ 1 x))) x) in x 4.161 * [taylor]: Taking taylor expansion of (+ 12.0 (* 9.0 (/ 1 x))) in x 4.161 * [taylor]: Taking taylor expansion of 12.0 in x 4.161 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x 4.161 * [taylor]: Taking taylor expansion of 9.0 in x 4.161 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.161 * [taylor]: Taking taylor expansion of x in x 4.161 * [taylor]: Taking taylor expansion of x in x 4.162 * [taylor]: Taking taylor expansion of (/ (+ 12.0 (* 9.0 (/ 1 x))) x) in x 4.162 * [taylor]: Taking taylor expansion of (+ 12.0 (* 9.0 (/ 1 x))) in x 4.162 * [taylor]: Taking taylor expansion of 12.0 in x 4.162 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 x)) in x 4.162 * [taylor]: Taking taylor expansion of 9.0 in x 4.162 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.162 * [taylor]: Taking taylor expansion of x in x 4.163 * [taylor]: Taking taylor expansion of x in x 4.178 * * * [progress]: simplifying candidates 4.179 * [simplify]: Simplifying using # : (expm1 (* x (- (* x 9.0) 12.0))) (log1p (* x (- (* x 9.0) 12.0))) (* x (- (* x 9.0) 12.0)) (+ (log x) (log (- (* x 9.0) 12.0))) (log (* x (- (* x 9.0) 12.0))) (exp (* x (- (* x 9.0) 12.0))) (* (* (* x x) x) (* (* (- (* x 9.0) 12.0) (- (* x 9.0) 12.0)) (- (* x 9.0) 12.0))) (* (cbrt (* x (- (* x 9.0) 12.0))) (cbrt (* x (- (* x 9.0) 12.0)))) (cbrt (* x (- (* x 9.0) 12.0))) (* (* (* x (- (* x 9.0) 12.0)) (* x (- (* x 9.0) 12.0))) (* x (- (* x 9.0) 12.0))) (sqrt (* x (- (* x 9.0) 12.0))) (sqrt (* x (- (* x 9.0) 12.0))) (* (sqrt x) (sqrt (- (* x 9.0) 12.0))) (* (sqrt x) (sqrt (- (* x 9.0) 12.0))) (* x (fma x 9.0 (- (* (cbrt 12.0) (* (cbrt 12.0) (cbrt 12.0)))))) (* x (fma (- (cbrt 12.0)) (* (cbrt 12.0) (cbrt 12.0)) (* (cbrt 12.0) (* (cbrt 12.0) (cbrt 12.0))))) (* x (fma x 9.0 (- (* (sqrt 12.0) (sqrt 12.0))))) (* x (fma (- (sqrt 12.0)) (sqrt 12.0) (* (sqrt 12.0) (sqrt 12.0)))) (* x (fma x 9.0 (- (* 12.0 1)))) (* x (fma (- 12.0) 1 (* 12.0 1))) (* x (* x 9.0)) (* x (- 12.0)) (* x (* x 9.0)) (* x (- 12.0)) (* (fma x 9.0 (- (* (cbrt 12.0) (* (cbrt 12.0) (cbrt 12.0))))) x) (* (fma (- (cbrt 12.0)) (* (cbrt 12.0) (cbrt 12.0)) (* (cbrt 12.0) (* (cbrt 12.0) (cbrt 12.0)))) x) (* (fma x 9.0 (- (* (sqrt 12.0) (sqrt 12.0)))) x) (* (fma (- (sqrt 12.0)) (sqrt 12.0) (* (sqrt 12.0) (sqrt 12.0))) x) (* (fma x 9.0 (- (* 12.0 1))) x) (* (fma (- 12.0) 1 (* 12.0 1)) x) (* (* x 9.0) x) (* (- 12.0) x) (* (* x 9.0) x) (* (- 12.0) x) (* x (* (cbrt (- (* x 9.0) 12.0)) (cbrt (- (* x 9.0) 12.0)))) (* x (sqrt (- (* x 9.0) 12.0))) (* x 1) (* (cbrt x) (- (* x 9.0) 12.0)) (* (sqrt x) (- (* x 9.0) 12.0)) (* x (- (* x 9.0) 12.0)) (* x (- (pow (* x 9.0) 3) (pow 12.0 3))) (* x (- (* (* x 9.0) (* x 9.0)) (* 12.0 12.0))) (- (* 9.0 (pow x 2)) (* 12.0 x)) (- (* 9.0 (pow x 2)) (* 12.0 x)) (- (* 9.0 (pow x 2)) (* 12.0 x)) 4.181 * * [simplify]: iteration 0 : 83 enodes (cost 439 ) 4.195 * * [simplify]: iteration 1 : 174 enodes (cost 382 ) 4.240 * * [simplify]: iteration 2 : 678 enodes (cost 323 ) 4.572 * * [simplify]: iteration 3 : 3457 enodes (cost 311 ) 6.644 * * [simplify]: iteration done : 5001 enodes (cost 311 ) 6.644 * [simplify]: Simplified to: (expm1 (* x (- (* x 9.0) 12.0))) (log1p (* x (- (* x 9.0) 12.0))) (* x (fma x 9.0 (- 12.0))) (log (* x (- (* x 9.0) 12.0))) (log (* x (- (* x 9.0) 12.0))) (exp (* x (- (* x 9.0) 12.0))) (pow (* x (- (* x 9.0) 12.0)) 3) (* (cbrt (* x (- (* x 9.0) 12.0))) (cbrt (* x (- (* x 9.0) 12.0)))) (cbrt (* x (- (* x 9.0) 12.0))) (pow (* x (- (* x 9.0) 12.0)) 3) (sqrt (* x (- (* x 9.0) 12.0))) (sqrt (* x (- (* x 9.0) 12.0))) (* (sqrt x) (sqrt (- (* x 9.0) 12.0))) (* (sqrt x) (sqrt (- (* x 9.0) 12.0))) (* x (fma x 9.0 (- 12.0))) (* x 0) (* x (fma x 9.0 (- 12.0))) (* x 0) (* x (fma x 9.0 (- 12.0))) (* x 0) (* (* x 9.0) x) (* x (- 12.0)) (* (* x 9.0) x) (* x (- 12.0)) (* x (fma x 9.0 (- 12.0))) (* x 0) (* x (fma x 9.0 (- 12.0))) (* x 0) (* x (fma x 9.0 (- 12.0))) (* x 0) (* (* x 9.0) x) (* x (- 12.0)) (* (* x 9.0) x) (* x (- 12.0)) (* x (* (cbrt (- (* x 9.0) 12.0)) (cbrt (- (* x 9.0) 12.0)))) (* x (sqrt (- (* x 9.0) 12.0))) x (* (cbrt x) (- (* x 9.0) 12.0)) (* (sqrt x) (- (* x 9.0) 12.0)) (* x (fma x 9.0 (- 12.0))) (* x (- (pow (* x 9.0) 3) (pow 12.0 3))) (* (* (fma 9.0 x 12.0) (fma x 9.0 (- 12.0))) x) (* x (fma x 9.0 (- 12.0))) (* x (fma x 9.0 (- 12.0))) (* x (fma x 9.0 (- 12.0))) 6.644 * * * [progress]: adding candidates to table 6.700 * * [progress]: iteration 3 / 4 6.700 * * * [progress]: picking best candidate 6.710 * * * * [pick]: Picked # 6.710 * * * [progress]: localizing error 6.720 * * * [progress]: generating rewritten candidates 6.720 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 6.725 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2) 6.725 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 6.745 * * * [progress]: generating series expansions 6.745 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 6.746 * [approximate]: Taking taylor expansion of (* (cbrt 3.0) (fma x (- (* 3.0 x) 4.0) 1.0)) in (x) around 0 6.746 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (fma x (- (* 3.0 x) 4.0) 1.0)) in x 6.746 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 6.746 * [taylor]: Taking taylor expansion of 3.0 in x 6.747 * [taylor]: Taking taylor expansion of (fma x (- (* 3.0 x) 4.0) 1.0) in x 6.747 * [taylor]: Rewrote expression to (+ (* x (- (* 3.0 x) 4.0)) 1.0) 6.747 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x 6.747 * [taylor]: Taking taylor expansion of x in x 6.747 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x 6.747 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 6.747 * [taylor]: Taking taylor expansion of 3.0 in x 6.747 * [taylor]: Taking taylor expansion of x in x 6.747 * [taylor]: Taking taylor expansion of 4.0 in x 6.747 * [taylor]: Taking taylor expansion of 1.0 in x 6.747 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (fma x (- (* 3.0 x) 4.0) 1.0)) in x 6.747 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 6.747 * [taylor]: Taking taylor expansion of 3.0 in x 6.748 * [taylor]: Taking taylor expansion of (fma x (- (* 3.0 x) 4.0) 1.0) in x 6.748 * [taylor]: Rewrote expression to (+ (* x (- (* 3.0 x) 4.0)) 1.0) 6.748 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x 6.748 * [taylor]: Taking taylor expansion of x in x 6.748 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x 6.748 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 6.748 * [taylor]: Taking taylor expansion of 3.0 in x 6.748 * [taylor]: Taking taylor expansion of x in x 6.748 * [taylor]: Taking taylor expansion of 4.0 in x 6.748 * [taylor]: Taking taylor expansion of 1.0 in x 6.765 * [approximate]: Taking taylor expansion of (* (cbrt 3.0) (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0)) in (x) around 0 6.765 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0)) in x 6.765 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 6.765 * [taylor]: Taking taylor expansion of 3.0 in x 6.766 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0) in x 6.766 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) 1.0) 6.766 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) in x 6.766 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.766 * [taylor]: Taking taylor expansion of x in x 6.766 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x 6.766 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 6.766 * [taylor]: Taking taylor expansion of 3.0 in x 6.766 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.766 * [taylor]: Taking taylor expansion of x in x 6.766 * [taylor]: Taking taylor expansion of 4.0 in x 6.766 * [taylor]: Taking taylor expansion of 1.0 in x 6.766 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0)) in x 6.766 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 6.766 * [taylor]: Taking taylor expansion of 3.0 in x 6.767 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0) in x 6.767 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) 1.0) 6.767 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) in x 6.767 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.767 * [taylor]: Taking taylor expansion of x in x 6.768 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x 6.768 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 6.768 * [taylor]: Taking taylor expansion of 3.0 in x 6.768 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.768 * [taylor]: Taking taylor expansion of x in x 6.768 * [taylor]: Taking taylor expansion of 4.0 in x 6.768 * [taylor]: Taking taylor expansion of 1.0 in x 6.785 * [approximate]: Taking taylor expansion of (* (cbrt 3.0) (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0)) in (x) around 0 6.785 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0)) in x 6.785 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 6.785 * [taylor]: Taking taylor expansion of 3.0 in x 6.788 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0) in x 6.789 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) 1.0) 6.789 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) in x 6.789 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.789 * [taylor]: Taking taylor expansion of -1 in x 6.789 * [taylor]: Taking taylor expansion of x in x 6.789 * [taylor]: Taking taylor expansion of (- (+ 4.0 (* 3.0 (/ 1 x)))) in x 6.789 * [taylor]: Taking taylor expansion of (+ 4.0 (* 3.0 (/ 1 x))) in x 6.789 * [taylor]: Taking taylor expansion of 4.0 in x 6.789 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 6.789 * [taylor]: Taking taylor expansion of 3.0 in x 6.789 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.789 * [taylor]: Taking taylor expansion of x in x 6.789 * [taylor]: Taking taylor expansion of 1.0 in x 6.789 * [taylor]: Taking taylor expansion of (* (cbrt 3.0) (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0)) in x 6.789 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 6.789 * [taylor]: Taking taylor expansion of 3.0 in x 6.790 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0) in x 6.790 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) 1.0) 6.790 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) in x 6.790 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.790 * [taylor]: Taking taylor expansion of -1 in x 6.790 * [taylor]: Taking taylor expansion of x in x 6.790 * [taylor]: Taking taylor expansion of (- (+ 4.0 (* 3.0 (/ 1 x)))) in x 6.791 * [taylor]: Taking taylor expansion of (+ 4.0 (* 3.0 (/ 1 x))) in x 6.791 * [taylor]: Taking taylor expansion of 4.0 in x 6.791 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 6.791 * [taylor]: Taking taylor expansion of 3.0 in x 6.791 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.791 * [taylor]: Taking taylor expansion of x in x 6.791 * [taylor]: Taking taylor expansion of 1.0 in x 6.806 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2) 6.807 * [approximate]: Taking taylor expansion of (fma x (- (* 3.0 x) 4.0) 1.0) in (x) around 0 6.807 * [taylor]: Taking taylor expansion of (fma x (- (* 3.0 x) 4.0) 1.0) in x 6.807 * [taylor]: Rewrote expression to (+ (* x (- (* 3.0 x) 4.0)) 1.0) 6.807 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x 6.807 * [taylor]: Taking taylor expansion of x in x 6.807 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x 6.807 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 6.807 * [taylor]: Taking taylor expansion of 3.0 in x 6.807 * [taylor]: Taking taylor expansion of x in x 6.807 * [taylor]: Taking taylor expansion of 4.0 in x 6.807 * [taylor]: Taking taylor expansion of 1.0 in x 6.807 * [taylor]: Taking taylor expansion of (fma x (- (* 3.0 x) 4.0) 1.0) in x 6.807 * [taylor]: Rewrote expression to (+ (* x (- (* 3.0 x) 4.0)) 1.0) 6.807 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x 6.807 * [taylor]: Taking taylor expansion of x in x 6.807 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x 6.807 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 6.807 * [taylor]: Taking taylor expansion of 3.0 in x 6.807 * [taylor]: Taking taylor expansion of x in x 6.807 * [taylor]: Taking taylor expansion of 4.0 in x 6.807 * [taylor]: Taking taylor expansion of 1.0 in x 6.815 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0) in (x) around 0 6.815 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0) in x 6.815 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) 1.0) 6.816 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) in x 6.816 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.816 * [taylor]: Taking taylor expansion of x in x 6.816 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x 6.816 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 6.816 * [taylor]: Taking taylor expansion of 3.0 in x 6.816 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.816 * [taylor]: Taking taylor expansion of x in x 6.816 * [taylor]: Taking taylor expansion of 4.0 in x 6.816 * [taylor]: Taking taylor expansion of 1.0 in x 6.816 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0) in x 6.816 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) 1.0) 6.816 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) in x 6.816 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.816 * [taylor]: Taking taylor expansion of x in x 6.817 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x 6.817 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 6.817 * [taylor]: Taking taylor expansion of 3.0 in x 6.817 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.817 * [taylor]: Taking taylor expansion of x in x 6.817 * [taylor]: Taking taylor expansion of 4.0 in x 6.817 * [taylor]: Taking taylor expansion of 1.0 in x 6.825 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0) in (x) around 0 6.825 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0) in x 6.825 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) 1.0) 6.825 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) in x 6.825 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.825 * [taylor]: Taking taylor expansion of -1 in x 6.825 * [taylor]: Taking taylor expansion of x in x 6.826 * [taylor]: Taking taylor expansion of (- (+ 4.0 (* 3.0 (/ 1 x)))) in x 6.826 * [taylor]: Taking taylor expansion of (+ 4.0 (* 3.0 (/ 1 x))) in x 6.826 * [taylor]: Taking taylor expansion of 4.0 in x 6.826 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 6.826 * [taylor]: Taking taylor expansion of 3.0 in x 6.826 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.826 * [taylor]: Taking taylor expansion of x in x 6.826 * [taylor]: Taking taylor expansion of 1.0 in x 6.826 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0) in x 6.826 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) 1.0) 6.826 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) in x 6.826 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.826 * [taylor]: Taking taylor expansion of -1 in x 6.826 * [taylor]: Taking taylor expansion of x in x 6.827 * [taylor]: Taking taylor expansion of (- (+ 4.0 (* 3.0 (/ 1 x)))) in x 6.827 * [taylor]: Taking taylor expansion of (+ 4.0 (* 3.0 (/ 1 x))) in x 6.827 * [taylor]: Taking taylor expansion of 4.0 in x 6.827 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 6.827 * [taylor]: Taking taylor expansion of 3.0 in x 6.827 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.827 * [taylor]: Taking taylor expansion of x in x 6.827 * [taylor]: Taking taylor expansion of 1.0 in x 6.836 * * * * [progress]: [ 3 / 3 ] generating series at (2) 6.837 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (fma x (- (* 3.0 x) 4.0) 1.0)) in (x) around 0 6.837 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (fma x (- (* 3.0 x) 4.0) 1.0)) in x 6.837 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 6.837 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 6.837 * [taylor]: Taking taylor expansion of 3.0 in x 6.838 * [taylor]: Taking taylor expansion of (fma x (- (* 3.0 x) 4.0) 1.0) in x 6.838 * [taylor]: Rewrote expression to (+ (* x (- (* 3.0 x) 4.0)) 1.0) 6.838 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x 6.838 * [taylor]: Taking taylor expansion of x in x 6.838 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x 6.838 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 6.838 * [taylor]: Taking taylor expansion of 3.0 in x 6.838 * [taylor]: Taking taylor expansion of x in x 6.838 * [taylor]: Taking taylor expansion of 4.0 in x 6.838 * [taylor]: Taking taylor expansion of 1.0 in x 6.838 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (fma x (- (* 3.0 x) 4.0) 1.0)) in x 6.838 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 6.838 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 6.838 * [taylor]: Taking taylor expansion of 3.0 in x 6.839 * [taylor]: Taking taylor expansion of (fma x (- (* 3.0 x) 4.0) 1.0) in x 6.839 * [taylor]: Rewrote expression to (+ (* x (- (* 3.0 x) 4.0)) 1.0) 6.839 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x 6.839 * [taylor]: Taking taylor expansion of x in x 6.839 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x 6.839 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 6.839 * [taylor]: Taking taylor expansion of 3.0 in x 6.839 * [taylor]: Taking taylor expansion of x in x 6.839 * [taylor]: Taking taylor expansion of 4.0 in x 6.839 * [taylor]: Taking taylor expansion of 1.0 in x 6.861 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0)) in (x) around 0 6.861 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0)) in x 6.861 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 6.861 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 6.861 * [taylor]: Taking taylor expansion of 3.0 in x 6.862 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0) in x 6.862 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) 1.0) 6.862 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) in x 6.862 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.862 * [taylor]: Taking taylor expansion of x in x 6.862 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x 6.862 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 6.862 * [taylor]: Taking taylor expansion of 3.0 in x 6.862 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.862 * [taylor]: Taking taylor expansion of x in x 6.862 * [taylor]: Taking taylor expansion of 4.0 in x 6.862 * [taylor]: Taking taylor expansion of 1.0 in x 6.863 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0)) in x 6.863 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 6.863 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 6.863 * [taylor]: Taking taylor expansion of 3.0 in x 6.863 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0) in x 6.863 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) 1.0) 6.863 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) in x 6.863 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.863 * [taylor]: Taking taylor expansion of x in x 6.864 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x 6.864 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 6.864 * [taylor]: Taking taylor expansion of 3.0 in x 6.864 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.864 * [taylor]: Taking taylor expansion of x in x 6.864 * [taylor]: Taking taylor expansion of 4.0 in x 6.864 * [taylor]: Taking taylor expansion of 1.0 in x 6.883 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0)) in (x) around 0 6.884 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0)) in x 6.884 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 6.884 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 6.884 * [taylor]: Taking taylor expansion of 3.0 in x 6.884 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0) in x 6.884 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) 1.0) 6.884 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) in x 6.884 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.884 * [taylor]: Taking taylor expansion of -1 in x 6.884 * [taylor]: Taking taylor expansion of x in x 6.885 * [taylor]: Taking taylor expansion of (- (+ 4.0 (* 3.0 (/ 1 x)))) in x 6.885 * [taylor]: Taking taylor expansion of (+ 4.0 (* 3.0 (/ 1 x))) in x 6.885 * [taylor]: Taking taylor expansion of 4.0 in x 6.885 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 6.885 * [taylor]: Taking taylor expansion of 3.0 in x 6.885 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.885 * [taylor]: Taking taylor expansion of x in x 6.885 * [taylor]: Taking taylor expansion of 1.0 in x 6.885 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0)) in x 6.885 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 6.885 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 6.885 * [taylor]: Taking taylor expansion of 3.0 in x 6.886 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0) in x 6.886 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) 1.0) 6.886 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) in x 6.886 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.886 * [taylor]: Taking taylor expansion of -1 in x 6.886 * [taylor]: Taking taylor expansion of x in x 6.886 * [taylor]: Taking taylor expansion of (- (+ 4.0 (* 3.0 (/ 1 x)))) in x 6.886 * [taylor]: Taking taylor expansion of (+ 4.0 (* 3.0 (/ 1 x))) in x 6.886 * [taylor]: Taking taylor expansion of 4.0 in x 6.886 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 6.886 * [taylor]: Taking taylor expansion of 3.0 in x 6.886 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.886 * [taylor]: Taking taylor expansion of x in x 6.887 * [taylor]: Taking taylor expansion of 1.0 in x 6.905 * * * [progress]: simplifying candidates 6.906 * [simplify]: Simplifying using # : (expm1 (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0))) (log1p (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0))) (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0)) (+ (log (cbrt 3.0)) (log (fma x (- (* x 3.0) 4.0) 1.0))) (log (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0))) (exp (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0))) (* 3.0 (* (* (fma x (- (* x 3.0) 4.0) 1.0) (fma x (- (* x 3.0) 4.0) 1.0)) (fma x (- (* x 3.0) 4.0) 1.0))) (* (cbrt (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0))) (cbrt (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0)))) (cbrt (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0))) (* (* (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0)) (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0))) (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0))) (sqrt (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0))) (sqrt (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0))) (* (cbrt (sqrt 3.0)) (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (* (cbrt (sqrt 3.0)) (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (* (sqrt (cbrt 3.0)) (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (* (sqrt (cbrt 3.0)) (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (* (cbrt 3.0) (* x (- (* x 3.0) 4.0))) (* (cbrt 3.0) 1.0) (* (* x (- (* x 3.0) 4.0)) (cbrt 3.0)) (* 1.0 (cbrt 3.0)) (* (cbrt 3.0) (* (cbrt (fma x (- (* x 3.0) 4.0) 1.0)) (cbrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* (cbrt 3.0) (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (* (cbrt 3.0) 1) (* (cbrt (cbrt 3.0)) (fma x (- (* x 3.0) 4.0) 1.0)) (* (cbrt (sqrt 3.0)) (fma x (- (* x 3.0) 4.0) 1.0)) (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0)) (* (cbrt (cbrt 3.0)) (fma x (- (* x 3.0) 4.0) 1.0)) (* (sqrt (cbrt 3.0)) (fma x (- (* x 3.0) 4.0) 1.0)) (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0)) (expm1 (fma x (- (* x 3.0) 4.0) 1.0)) (log1p (fma x (- (* x 3.0) 4.0) 1.0)) (* x (- (* x 3.0) 4.0)) (log (fma x (- (* x 3.0) 4.0) 1.0)) (exp (fma x (- (* x 3.0) 4.0) 1.0)) (* (cbrt (fma x (- (* x 3.0) 4.0) 1.0)) (cbrt (fma x (- (* x 3.0) 4.0) 1.0))) (cbrt (fma x (- (* x 3.0) 4.0) 1.0)) (* (* (fma x (- (* x 3.0) 4.0) 1.0) (fma x (- (* x 3.0) 4.0) 1.0)) (fma x (- (* x 3.0) 4.0) 1.0)) (sqrt (fma x (- (* x 3.0) 4.0) 1.0)) (sqrt (fma x (- (* x 3.0) 4.0) 1.0)) (expm1 (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0)))) (log1p (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0)))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0))) (+ (+ (log (cbrt 3.0)) (log (cbrt 3.0))) (+ (log (cbrt 3.0)) (log (fma x (- (* x 3.0) 4.0) 1.0)))) (+ (+ (log (cbrt 3.0)) (log (cbrt 3.0))) (log (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0)))) (+ (log (* (cbrt 3.0) (cbrt 3.0))) (+ (log (cbrt 3.0)) (log (fma x (- (* x 3.0) 4.0) 1.0)))) (+ (log (* (cbrt 3.0) (cbrt 3.0))) (log (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0)))) (log (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0)))) (exp (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0)))) (* (* 3.0 3.0) (* 3.0 (* (* (fma x (- (* x 3.0) 4.0) 1.0) (fma x (- (* x 3.0) 4.0) 1.0)) (fma x (- (* x 3.0) 4.0) 1.0)))) (* (* 3.0 3.0) (* (* (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0)) (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0))) (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0)))) (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0))) (* 3.0 (* (* (fma x (- (* x 3.0) 4.0) 1.0) (fma x (- (* x 3.0) 4.0) 1.0)) (fma x (- (* x 3.0) 4.0) 1.0)))) (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0))) (* (* (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0)) (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0))) (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0)))) (* (cbrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0)))) (cbrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0))))) (cbrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0)))) (* (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0)))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0)))) (sqrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0)))) (sqrt (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0)))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (* x (- (* x 3.0) 4.0)))) (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) 1.0)) (* (* (cbrt 3.0) (cbrt 3.0)) (* (* x (- (* x 3.0) 4.0)) (cbrt 3.0))) (* (* (cbrt 3.0) (cbrt 3.0)) (* 1.0 (cbrt 3.0))) (* (* (cbrt 3.0) (* x (- (* x 3.0) 4.0))) (* (cbrt 3.0) (cbrt 3.0))) (* (* (cbrt 3.0) 1.0) (* (cbrt 3.0) (cbrt 3.0))) (* (* (* x (- (* x 3.0) 4.0)) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (* 1.0 (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (* (cbrt 3.0) (cbrt 3.0)) (cbrt 3.0)) (* (cbrt 3.0) (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0))) (- (+ (* 1.0 (cbrt 3.0)) (* 3.0 (* (cbrt 3.0) (pow x 2)))) (* 4.0 (* (cbrt 3.0) x))) (- (+ (* 1.0 (cbrt 3.0)) (* 3.0 (* (cbrt 3.0) (pow x 2)))) (* 4.0 (* (cbrt 3.0) x))) (- (+ (* 1.0 (cbrt 3.0)) (* 3.0 (* (cbrt 3.0) (pow x 2)))) (* 4.0 (* (cbrt 3.0) x))) (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) 6.909 * * [simplify]: iteration 0 : 100 enodes (cost 1285 ) 6.929 * * [simplify]: iteration 1 : 248 enodes (cost 1265 ) 6.981 * * [simplify]: iteration 2 : 898 enodes (cost 961 ) 7.559 * * [simplify]: iteration 3 : 4805 enodes (cost 832 ) 10.763 * * [simplify]: iteration done : 5000 enodes (cost 832 ) 10.764 * [simplify]: Simplified to: (expm1 (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0))) (log1p (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0))) (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0)) (log (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0))) (log (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0))) (exp (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0))) (* 3.0 (pow (fma (- (* x 3.0) 4.0) x 1.0) 3)) (* (cbrt (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0))) (cbrt (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0)))) (cbrt (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0))) (* 3.0 (pow (fma (- (* x 3.0) 4.0) x 1.0) 3)) (sqrt (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0))) (sqrt (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0))) (* (cbrt (sqrt 3.0)) (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (* (cbrt (sqrt 3.0)) (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (* (sqrt (cbrt 3.0)) (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (* (sqrt (cbrt 3.0)) (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (* (cbrt 3.0) (* x (- (* x 3.0) 4.0))) (* 1.0 (cbrt 3.0)) (* (cbrt 3.0) (* x (- (* x 3.0) 4.0))) (* 1.0 (cbrt 3.0)) (* (cbrt 3.0) (* (cbrt (fma x (- (* x 3.0) 4.0) 1.0)) (cbrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* (cbrt 3.0) (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (cbrt 3.0) (* (cbrt (cbrt 3.0)) (fma x (- (* x 3.0) 4.0) 1.0)) (* (cbrt (sqrt 3.0)) (fma x (- (* x 3.0) 4.0) 1.0)) (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0)) (* (cbrt (cbrt 3.0)) (fma x (- (* x 3.0) 4.0) 1.0)) (* (sqrt (cbrt 3.0)) (fma x (- (* x 3.0) 4.0) 1.0)) (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0)) (expm1 (fma x (- (* x 3.0) 4.0) 1.0)) (log1p (fma x (- (* x 3.0) 4.0) 1.0)) (* x (- (* x 3.0) 4.0)) (log (fma x (- (* x 3.0) 4.0) 1.0)) (exp (fma x (- (* x 3.0) 4.0) 1.0)) (* (cbrt (fma x (- (* x 3.0) 4.0) 1.0)) (cbrt (fma x (- (* x 3.0) 4.0) 1.0))) (cbrt (fma x (- (* x 3.0) 4.0) 1.0)) (pow (fma (- (* x 3.0) 4.0) x 1.0) 3) (sqrt (fma (- (* x 3.0) 4.0) x 1.0)) (sqrt (fma (- (* x 3.0) 4.0) x 1.0)) (expm1 (* 3.0 (fma (- (* x 3.0) 4.0) x 1.0))) (log1p (* 3.0 (fma (- (* x 3.0) 4.0) x 1.0))) (* (fma (- (* x 3.0) 4.0) x 1.0) 3.0) (* (fma (- (* x 3.0) 4.0) x 1.0) 3.0) (* (fma (- (* x 3.0) 4.0) x 1.0) 3.0) (* (fma (- (* x 3.0) 4.0) x 1.0) 3.0) (log (* (fma (- (* x 3.0) 4.0) x 1.0) 3.0)) (log (* (fma (- (* x 3.0) 4.0) x 1.0) 3.0)) (log (* (fma (- (* x 3.0) 4.0) x 1.0) 3.0)) (log (* (fma (- (* x 3.0) 4.0) x 1.0) 3.0)) (log (* (fma (- (* x 3.0) 4.0) x 1.0) 3.0)) (pow (exp (fma x (- (* x 3.0) 4.0) 1.0)) 3.0) (pow (* 3.0 (fma (- (* x 3.0) 4.0) x 1.0)) 3) (pow (* 3.0 (fma (- (* x 3.0) 4.0) x 1.0)) 3) (pow (* 3.0 (fma (- (* x 3.0) 4.0) x 1.0)) 3) (pow (* 3.0 (fma (- (* x 3.0) 4.0) x 1.0)) 3) (* (cbrt (* 3.0 (fma (- (* x 3.0) 4.0) x 1.0))) (cbrt (* 3.0 (fma (- (* x 3.0) 4.0) x 1.0)))) (cbrt (* 3.0 (fma (- (* x 3.0) 4.0) x 1.0))) (pow (* 3.0 (fma (- (* x 3.0) 4.0) x 1.0)) 3) (sqrt (* 3.0 (fma (- (* x 3.0) 4.0) x 1.0))) (sqrt (* 3.0 (fma (- (* x 3.0) 4.0) x 1.0))) (* 3.0 (* x (- (* x 3.0) 4.0))) (* 1.0 3.0) (* 3.0 (* x (- (* x 3.0) 4.0))) (* 1.0 3.0) (* 3.0 (* x (- (* x 3.0) 4.0))) (* 1.0 3.0) (* 3.0 (* x (- (* x 3.0) 4.0))) (* 1.0 3.0) 3.0 (* (cbrt 3.0) (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0))) (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0)) (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0)) (* (cbrt 3.0) (fma x (- (* x 3.0) 4.0) 1.0)) (fma (- (* x 3.0) 4.0) x 1.0) (fma (- (* x 3.0) 4.0) x 1.0) (fma (- (* x 3.0) 4.0) x 1.0) (+ 3.0 (* x (- (* x 9.0) 12.0))) (+ 3.0 (* x (- (* x 9.0) 12.0))) (+ 3.0 (* x (- (* x 9.0) 12.0))) 10.764 * * * [progress]: adding candidates to table 10.899 * * [progress]: iteration 4 / 4 10.899 * * * [progress]: picking best candidate 10.904 * * * * [pick]: Picked # 10.904 * * * [progress]: localizing error 10.912 * * * [progress]: generating rewritten candidates 10.912 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 10.924 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 10.928 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 10.929 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1) 10.930 * * * [progress]: generating series expansions 10.931 * * * * [progress]: [ 1 / 4 ] generating series at (2) 10.931 * [approximate]: Taking taylor expansion of (* 3.0 (fma x (- (* 3.0 x) 4.0) 1.0)) in (x) around 0 10.931 * [taylor]: Taking taylor expansion of (* 3.0 (fma x (- (* 3.0 x) 4.0) 1.0)) in x 10.931 * [taylor]: Taking taylor expansion of 3.0 in x 10.931 * [taylor]: Taking taylor expansion of (fma x (- (* 3.0 x) 4.0) 1.0) in x 10.931 * [taylor]: Rewrote expression to (+ (* x (- (* 3.0 x) 4.0)) 1.0) 10.931 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x 10.931 * [taylor]: Taking taylor expansion of x in x 10.931 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x 10.931 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 10.931 * [taylor]: Taking taylor expansion of 3.0 in x 10.931 * [taylor]: Taking taylor expansion of x in x 10.931 * [taylor]: Taking taylor expansion of 4.0 in x 10.931 * [taylor]: Taking taylor expansion of 1.0 in x 10.931 * [taylor]: Taking taylor expansion of (* 3.0 (fma x (- (* 3.0 x) 4.0) 1.0)) in x 10.931 * [taylor]: Taking taylor expansion of 3.0 in x 10.931 * [taylor]: Taking taylor expansion of (fma x (- (* 3.0 x) 4.0) 1.0) in x 10.931 * [taylor]: Rewrote expression to (+ (* x (- (* 3.0 x) 4.0)) 1.0) 10.931 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x 10.931 * [taylor]: Taking taylor expansion of x in x 10.931 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x 10.931 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 10.931 * [taylor]: Taking taylor expansion of 3.0 in x 10.931 * [taylor]: Taking taylor expansion of x in x 10.931 * [taylor]: Taking taylor expansion of 4.0 in x 10.931 * [taylor]: Taking taylor expansion of 1.0 in x 10.947 * [approximate]: Taking taylor expansion of (* 3.0 (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0)) in (x) around 0 10.947 * [taylor]: Taking taylor expansion of (* 3.0 (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0)) in x 10.947 * [taylor]: Taking taylor expansion of 3.0 in x 10.947 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0) in x 10.947 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) 1.0) 10.947 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) in x 10.947 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.947 * [taylor]: Taking taylor expansion of x in x 10.947 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x 10.947 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 10.947 * [taylor]: Taking taylor expansion of 3.0 in x 10.947 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.947 * [taylor]: Taking taylor expansion of x in x 10.948 * [taylor]: Taking taylor expansion of 4.0 in x 10.948 * [taylor]: Taking taylor expansion of 1.0 in x 10.948 * [taylor]: Taking taylor expansion of (* 3.0 (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0)) in x 10.948 * [taylor]: Taking taylor expansion of 3.0 in x 10.948 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0) in x 10.948 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) 1.0) 10.948 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) in x 10.948 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.948 * [taylor]: Taking taylor expansion of x in x 10.948 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x 10.948 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 10.948 * [taylor]: Taking taylor expansion of 3.0 in x 10.948 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.948 * [taylor]: Taking taylor expansion of x in x 10.949 * [taylor]: Taking taylor expansion of 4.0 in x 10.949 * [taylor]: Taking taylor expansion of 1.0 in x 10.960 * [approximate]: Taking taylor expansion of (* 3.0 (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0)) in (x) around 0 10.960 * [taylor]: Taking taylor expansion of (* 3.0 (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0)) in x 10.960 * [taylor]: Taking taylor expansion of 3.0 in x 10.960 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0) in x 10.960 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) 1.0) 10.960 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) in x 10.960 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.960 * [taylor]: Taking taylor expansion of -1 in x 10.960 * [taylor]: Taking taylor expansion of x in x 10.960 * [taylor]: Taking taylor expansion of (- (+ 4.0 (* 3.0 (/ 1 x)))) in x 10.960 * [taylor]: Taking taylor expansion of (+ 4.0 (* 3.0 (/ 1 x))) in x 10.960 * [taylor]: Taking taylor expansion of 4.0 in x 10.960 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 10.960 * [taylor]: Taking taylor expansion of 3.0 in x 10.960 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.960 * [taylor]: Taking taylor expansion of x in x 10.961 * [taylor]: Taking taylor expansion of 1.0 in x 10.961 * [taylor]: Taking taylor expansion of (* 3.0 (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0)) in x 10.961 * [taylor]: Taking taylor expansion of 3.0 in x 10.961 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0) in x 10.961 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) 1.0) 10.961 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) in x 10.961 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.961 * [taylor]: Taking taylor expansion of -1 in x 10.961 * [taylor]: Taking taylor expansion of x in x 10.961 * [taylor]: Taking taylor expansion of (- (+ 4.0 (* 3.0 (/ 1 x)))) in x 10.961 * [taylor]: Taking taylor expansion of (+ 4.0 (* 3.0 (/ 1 x))) in x 10.961 * [taylor]: Taking taylor expansion of 4.0 in x 10.961 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 10.961 * [taylor]: Taking taylor expansion of 3.0 in x 10.961 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.961 * [taylor]: Taking taylor expansion of x in x 10.962 * [taylor]: Taking taylor expansion of 1.0 in x 10.973 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 10.973 * [approximate]: Taking taylor expansion of (* 3.0 (sqrt (fma x (- (* 3.0 x) 4.0) 1.0))) in (x) around 0 10.973 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt (fma x (- (* 3.0 x) 4.0) 1.0))) in x 10.973 * [taylor]: Taking taylor expansion of 3.0 in x 10.973 * [taylor]: Taking taylor expansion of (sqrt (fma x (- (* 3.0 x) 4.0) 1.0)) in x 10.973 * [taylor]: Taking taylor expansion of (fma x (- (* 3.0 x) 4.0) 1.0) in x 10.973 * [taylor]: Rewrote expression to (+ (* x (- (* 3.0 x) 4.0)) 1.0) 10.973 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x 10.973 * [taylor]: Taking taylor expansion of x in x 10.973 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x 10.973 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 10.973 * [taylor]: Taking taylor expansion of 3.0 in x 10.973 * [taylor]: Taking taylor expansion of x in x 10.973 * [taylor]: Taking taylor expansion of 4.0 in x 10.973 * [taylor]: Taking taylor expansion of 1.0 in x 10.979 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt (fma x (- (* 3.0 x) 4.0) 1.0))) in x 10.979 * [taylor]: Taking taylor expansion of 3.0 in x 10.979 * [taylor]: Taking taylor expansion of (sqrt (fma x (- (* 3.0 x) 4.0) 1.0)) in x 10.979 * [taylor]: Taking taylor expansion of (fma x (- (* 3.0 x) 4.0) 1.0) in x 10.980 * [taylor]: Rewrote expression to (+ (* x (- (* 3.0 x) 4.0)) 1.0) 10.980 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x 10.980 * [taylor]: Taking taylor expansion of x in x 10.980 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x 10.980 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 10.980 * [taylor]: Taking taylor expansion of 3.0 in x 10.980 * [taylor]: Taking taylor expansion of x in x 10.980 * [taylor]: Taking taylor expansion of 4.0 in x 10.980 * [taylor]: Taking taylor expansion of 1.0 in x 11.013 * [approximate]: Taking taylor expansion of (* 3.0 (sqrt (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0))) in (x) around 0 11.013 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0))) in x 11.013 * [taylor]: Taking taylor expansion of 3.0 in x 11.013 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0)) in x 11.013 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0) in x 11.013 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) 1.0) 11.013 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) in x 11.013 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.013 * [taylor]: Taking taylor expansion of x in x 11.013 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x 11.013 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 11.013 * [taylor]: Taking taylor expansion of 3.0 in x 11.013 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.013 * [taylor]: Taking taylor expansion of x in x 11.016 * [taylor]: Taking taylor expansion of 4.0 in x 11.016 * [taylor]: Taking taylor expansion of 1.0 in x 11.022 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0))) in x 11.022 * [taylor]: Taking taylor expansion of 3.0 in x 11.022 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0)) in x 11.022 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0) in x 11.022 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) 1.0) 11.022 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) in x 11.022 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.022 * [taylor]: Taking taylor expansion of x in x 11.023 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x 11.023 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 11.023 * [taylor]: Taking taylor expansion of 3.0 in x 11.023 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.023 * [taylor]: Taking taylor expansion of x in x 11.023 * [taylor]: Taking taylor expansion of 4.0 in x 11.023 * [taylor]: Taking taylor expansion of 1.0 in x 11.055 * [approximate]: Taking taylor expansion of (* 3.0 (sqrt (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0))) in (x) around 0 11.055 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0))) in x 11.055 * [taylor]: Taking taylor expansion of 3.0 in x 11.055 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0)) in x 11.055 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0) in x 11.055 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) 1.0) 11.055 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) in x 11.056 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.056 * [taylor]: Taking taylor expansion of -1 in x 11.056 * [taylor]: Taking taylor expansion of x in x 11.056 * [taylor]: Taking taylor expansion of (- (+ 4.0 (* 3.0 (/ 1 x)))) in x 11.056 * [taylor]: Taking taylor expansion of (+ 4.0 (* 3.0 (/ 1 x))) in x 11.056 * [taylor]: Taking taylor expansion of 4.0 in x 11.056 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 11.056 * [taylor]: Taking taylor expansion of 3.0 in x 11.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.056 * [taylor]: Taking taylor expansion of x in x 11.056 * [taylor]: Taking taylor expansion of 1.0 in x 11.062 * [taylor]: Taking taylor expansion of (* 3.0 (sqrt (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0))) in x 11.062 * [taylor]: Taking taylor expansion of 3.0 in x 11.062 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0)) in x 11.062 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0) in x 11.063 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) 1.0) 11.063 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) in x 11.063 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.063 * [taylor]: Taking taylor expansion of -1 in x 11.063 * [taylor]: Taking taylor expansion of x in x 11.063 * [taylor]: Taking taylor expansion of (- (+ 4.0 (* 3.0 (/ 1 x)))) in x 11.063 * [taylor]: Taking taylor expansion of (+ 4.0 (* 3.0 (/ 1 x))) in x 11.063 * [taylor]: Taking taylor expansion of 4.0 in x 11.063 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 11.063 * [taylor]: Taking taylor expansion of 3.0 in x 11.063 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.063 * [taylor]: Taking taylor expansion of x in x 11.063 * [taylor]: Taking taylor expansion of 1.0 in x 11.098 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 11.098 * [approximate]: Taking taylor expansion of (fma x (- (* 3.0 x) 4.0) 1.0) in (x) around 0 11.098 * [taylor]: Taking taylor expansion of (fma x (- (* 3.0 x) 4.0) 1.0) in x 11.098 * [taylor]: Rewrote expression to (+ (* x (- (* 3.0 x) 4.0)) 1.0) 11.099 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x 11.099 * [taylor]: Taking taylor expansion of x in x 11.099 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x 11.099 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 11.099 * [taylor]: Taking taylor expansion of 3.0 in x 11.099 * [taylor]: Taking taylor expansion of x in x 11.099 * [taylor]: Taking taylor expansion of 4.0 in x 11.099 * [taylor]: Taking taylor expansion of 1.0 in x 11.099 * [taylor]: Taking taylor expansion of (fma x (- (* 3.0 x) 4.0) 1.0) in x 11.099 * [taylor]: Rewrote expression to (+ (* x (- (* 3.0 x) 4.0)) 1.0) 11.099 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x 11.099 * [taylor]: Taking taylor expansion of x in x 11.099 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x 11.099 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 11.099 * [taylor]: Taking taylor expansion of 3.0 in x 11.099 * [taylor]: Taking taylor expansion of x in x 11.099 * [taylor]: Taking taylor expansion of 4.0 in x 11.099 * [taylor]: Taking taylor expansion of 1.0 in x 11.107 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0) in (x) around 0 11.107 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0) in x 11.108 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) 1.0) 11.108 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) in x 11.108 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.108 * [taylor]: Taking taylor expansion of x in x 11.108 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x 11.108 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 11.108 * [taylor]: Taking taylor expansion of 3.0 in x 11.108 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.108 * [taylor]: Taking taylor expansion of x in x 11.108 * [taylor]: Taking taylor expansion of 4.0 in x 11.108 * [taylor]: Taking taylor expansion of 1.0 in x 11.108 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0) in x 11.108 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) 1.0) 11.108 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) in x 11.108 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.108 * [taylor]: Taking taylor expansion of x in x 11.109 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x 11.109 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 11.109 * [taylor]: Taking taylor expansion of 3.0 in x 11.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.109 * [taylor]: Taking taylor expansion of x in x 11.109 * [taylor]: Taking taylor expansion of 4.0 in x 11.109 * [taylor]: Taking taylor expansion of 1.0 in x 11.117 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0) in (x) around 0 11.117 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0) in x 11.117 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) 1.0) 11.117 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) in x 11.117 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.117 * [taylor]: Taking taylor expansion of -1 in x 11.117 * [taylor]: Taking taylor expansion of x in x 11.118 * [taylor]: Taking taylor expansion of (- (+ 4.0 (* 3.0 (/ 1 x)))) in x 11.118 * [taylor]: Taking taylor expansion of (+ 4.0 (* 3.0 (/ 1 x))) in x 11.118 * [taylor]: Taking taylor expansion of 4.0 in x 11.118 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 11.118 * [taylor]: Taking taylor expansion of 3.0 in x 11.118 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.118 * [taylor]: Taking taylor expansion of x in x 11.118 * [taylor]: Taking taylor expansion of 1.0 in x 11.118 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0) in x 11.118 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) 1.0) 11.118 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) in x 11.118 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.118 * [taylor]: Taking taylor expansion of -1 in x 11.118 * [taylor]: Taking taylor expansion of x in x 11.119 * [taylor]: Taking taylor expansion of (- (+ 4.0 (* 3.0 (/ 1 x)))) in x 11.119 * [taylor]: Taking taylor expansion of (+ 4.0 (* 3.0 (/ 1 x))) in x 11.119 * [taylor]: Taking taylor expansion of 4.0 in x 11.119 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 11.119 * [taylor]: Taking taylor expansion of 3.0 in x 11.119 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.119 * [taylor]: Taking taylor expansion of x in x 11.119 * [taylor]: Taking taylor expansion of 1.0 in x 11.128 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1) 11.128 * [approximate]: Taking taylor expansion of (fma x (- (* 3.0 x) 4.0) 1.0) in (x) around 0 11.128 * [taylor]: Taking taylor expansion of (fma x (- (* 3.0 x) 4.0) 1.0) in x 11.128 * [taylor]: Rewrote expression to (+ (* x (- (* 3.0 x) 4.0)) 1.0) 11.128 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x 11.128 * [taylor]: Taking taylor expansion of x in x 11.128 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x 11.128 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 11.128 * [taylor]: Taking taylor expansion of 3.0 in x 11.128 * [taylor]: Taking taylor expansion of x in x 11.128 * [taylor]: Taking taylor expansion of 4.0 in x 11.128 * [taylor]: Taking taylor expansion of 1.0 in x 11.128 * [taylor]: Taking taylor expansion of (fma x (- (* 3.0 x) 4.0) 1.0) in x 11.128 * [taylor]: Rewrote expression to (+ (* x (- (* 3.0 x) 4.0)) 1.0) 11.128 * [taylor]: Taking taylor expansion of (* x (- (* 3.0 x) 4.0)) in x 11.128 * [taylor]: Taking taylor expansion of x in x 11.128 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 4.0) in x 11.128 * [taylor]: Taking taylor expansion of (* 3.0 x) in x 11.128 * [taylor]: Taking taylor expansion of 3.0 in x 11.128 * [taylor]: Taking taylor expansion of x in x 11.128 * [taylor]: Taking taylor expansion of 4.0 in x 11.128 * [taylor]: Taking taylor expansion of 1.0 in x 11.137 * [approximate]: Taking taylor expansion of (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0) in (x) around 0 11.137 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0) in x 11.137 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) 1.0) 11.137 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) in x 11.137 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.137 * [taylor]: Taking taylor expansion of x in x 11.137 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x 11.137 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 11.137 * [taylor]: Taking taylor expansion of 3.0 in x 11.137 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.137 * [taylor]: Taking taylor expansion of x in x 11.137 * [taylor]: Taking taylor expansion of 4.0 in x 11.138 * [taylor]: Taking taylor expansion of 1.0 in x 11.138 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0) 1.0) in x 11.138 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) 1.0) 11.138 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (* 3.0 (/ 1 x)) 4.0)) in x 11.138 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.138 * [taylor]: Taking taylor expansion of x in x 11.138 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 4.0) in x 11.138 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 11.138 * [taylor]: Taking taylor expansion of 3.0 in x 11.138 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.138 * [taylor]: Taking taylor expansion of x in x 11.138 * [taylor]: Taking taylor expansion of 4.0 in x 11.138 * [taylor]: Taking taylor expansion of 1.0 in x 11.147 * [approximate]: Taking taylor expansion of (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0) in (x) around 0 11.147 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0) in x 11.147 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) 1.0) 11.147 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) in x 11.147 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.147 * [taylor]: Taking taylor expansion of -1 in x 11.147 * [taylor]: Taking taylor expansion of x in x 11.148 * [taylor]: Taking taylor expansion of (- (+ 4.0 (* 3.0 (/ 1 x)))) in x 11.148 * [taylor]: Taking taylor expansion of (+ 4.0 (* 3.0 (/ 1 x))) in x 11.148 * [taylor]: Taking taylor expansion of 4.0 in x 11.148 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 11.148 * [taylor]: Taking taylor expansion of 3.0 in x 11.148 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.148 * [taylor]: Taking taylor expansion of x in x 11.148 * [taylor]: Taking taylor expansion of 1.0 in x 11.148 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x)))) 1.0) in x 11.148 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) 1.0) 11.148 * [taylor]: Taking taylor expansion of (* (/ -1 x) (- (+ 4.0 (* 3.0 (/ 1 x))))) in x 11.148 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.148 * [taylor]: Taking taylor expansion of -1 in x 11.148 * [taylor]: Taking taylor expansion of x in x 11.148 * [taylor]: Taking taylor expansion of (- (+ 4.0 (* 3.0 (/ 1 x)))) in x 11.148 * [taylor]: Taking taylor expansion of (+ 4.0 (* 3.0 (/ 1 x))) in x 11.148 * [taylor]: Taking taylor expansion of 4.0 in x 11.148 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x 11.149 * [taylor]: Taking taylor expansion of 3.0 in x 11.149 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.149 * [taylor]: Taking taylor expansion of x in x 11.149 * [taylor]: Taking taylor expansion of 1.0 in x 11.158 * * * [progress]: simplifying candidates 11.159 * [simplify]: Simplifying using # : (expm1 (* (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (log1p (* (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (* (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (+ (+ (log 3.0) (log (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (log (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (+ (log (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (log (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (log (* (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (exp (* (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* (* (* (* 3.0 3.0) 3.0) (* (* (sqrt (fma x (- (* x 3.0) 4.0) 1.0)) (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* (* (sqrt (fma x (- (* x 3.0) 4.0) 1.0)) (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* (* (* (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* (* (sqrt (fma x (- (* x 3.0) 4.0) 1.0)) (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* (cbrt (* (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (cbrt (* (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (sqrt (fma x (- (* x 3.0) 4.0) 1.0))))) (cbrt (* (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* (* (* (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (* (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (sqrt (* (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (sqrt (* (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (* (cbrt (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (cbrt (sqrt (fma x (- (* x 3.0) 4.0) 1.0))))) (* (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (sqrt (* (cbrt (fma x (- (* x 3.0) 4.0) 1.0)) (cbrt (fma x (- (* x 3.0) 4.0) 1.0))))) (* (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (sqrt (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (sqrt 1)) (* (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (sqrt (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) 1) (* (sqrt (fma x (- (* x 3.0) 4.0) 1.0)) (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (expm1 (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (log1p (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (+ (log 3.0) (log (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (log (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (exp (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* (* (* 3.0 3.0) 3.0) (* (* (sqrt (fma x (- (* x 3.0) 4.0) 1.0)) (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* (cbrt (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (cbrt (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0))))) (cbrt (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* (* (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (sqrt (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (sqrt (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* (sqrt 3.0) (sqrt (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* (sqrt 3.0) (sqrt (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* (sqrt 3.0) (sqrt (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* (sqrt 3.0) (sqrt (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* 3.0 (* (cbrt (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (cbrt (sqrt (fma x (- (* x 3.0) 4.0) 1.0))))) (* 3.0 (sqrt (* (cbrt (fma x (- (* x 3.0) 4.0) 1.0)) (cbrt (fma x (- (* x 3.0) 4.0) 1.0))))) (* 3.0 (sqrt (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* 3.0 (sqrt 1)) (* 3.0 (sqrt (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* 3.0 1) (* (cbrt 3.0) (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (* (sqrt 3.0) (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (expm1 (fma x (- (* x 3.0) 4.0) 1.0)) (log1p (fma x (- (* x 3.0) 4.0) 1.0)) (* x (- (* x 3.0) 4.0)) (log (fma x (- (* x 3.0) 4.0) 1.0)) (exp (fma x (- (* x 3.0) 4.0) 1.0)) (* (cbrt (fma x (- (* x 3.0) 4.0) 1.0)) (cbrt (fma x (- (* x 3.0) 4.0) 1.0))) (cbrt (fma x (- (* x 3.0) 4.0) 1.0)) (* (* (fma x (- (* x 3.0) 4.0) 1.0) (fma x (- (* x 3.0) 4.0) 1.0)) (fma x (- (* x 3.0) 4.0) 1.0)) (sqrt (fma x (- (* x 3.0) 4.0) 1.0)) (sqrt (fma x (- (* x 3.0) 4.0) 1.0)) (expm1 (fma x (- (* x 3.0) 4.0) 1.0)) (log1p (fma x (- (* x 3.0) 4.0) 1.0)) (* x (- (* x 3.0) 4.0)) (log (fma x (- (* x 3.0) 4.0) 1.0)) (exp (fma x (- (* x 3.0) 4.0) 1.0)) (* (cbrt (fma x (- (* x 3.0) 4.0) 1.0)) (cbrt (fma x (- (* x 3.0) 4.0) 1.0))) (cbrt (fma x (- (* x 3.0) 4.0) 1.0)) (* (* (fma x (- (* x 3.0) 4.0) 1.0) (fma x (- (* x 3.0) 4.0) 1.0)) (fma x (- (* x 3.0) 4.0) 1.0)) (sqrt (fma x (- (* x 3.0) 4.0) 1.0)) (sqrt (fma x (- (* x 3.0) 4.0) 1.0)) (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) (- (+ (* 9.0 (pow x 2)) 3.0) (* 12.0 x)) (- (+ (* 3.0 (sqrt 1.0)) (* 4.5 (/ (pow x 2) (sqrt 1.0)))) (+ (* 6.0 (/ (pow x 2) (pow (sqrt 1.0) 3))) (* 6.0 (/ x (sqrt 1.0))))) (- (+ (* 3.0 (* x (sqrt 3.0))) (* 1.5 (/ 1 (* x (sqrt 3.0))))) (+ (* 6.0 (/ 1 (sqrt 3.0))) (* 6.0 (/ 1 (* x (pow (sqrt 3.0) 3)))))) (- (+ (* 6.0 (/ 1 (sqrt 3.0))) (* 6.0 (/ 1 (* x (pow (sqrt 3.0) 3))))) (+ (* 3.0 (* x (sqrt 3.0))) (* 1.5 (/ 1 (* x (sqrt 3.0)))))) (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) (- (+ (* 3.0 (pow x 2)) 1.0) (* 4.0 x)) 11.162 * * [simplify]: iteration 0 : 112 enodes (cost 1430 ) 11.184 * * [simplify]: iteration 1 : 284 enodes (cost 1129 ) 11.244 * * [simplify]: iteration 2 : 1049 enodes (cost 969 ) 11.674 * * [simplify]: iteration done : 5000 enodes (cost 960 ) 11.675 * [simplify]: Simplified to: (expm1 (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0))) (log1p (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0))) (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0)) (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0)) (log (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0))) (log (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0))) (log (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0))) (exp (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0))) (pow (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0)) 3) (pow (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0)) 3) (* (cbrt (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0))) (cbrt (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0)))) (cbrt (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0))) (pow (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0)) 3) (sqrt (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0))) (sqrt (* 3.0 (fma x (- (* x 3.0) 4.0) 1.0))) (* (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (* (cbrt (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (cbrt (sqrt (fma x (- (* x 3.0) 4.0) 1.0))))) (* (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (fabs (cbrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (sqrt (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* (sqrt (fma x (- (* x 3.0) 4.0) 1.0)) 3.0) (* (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (sqrt (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* (sqrt (fma x (- (* x 3.0) 4.0) 1.0)) 3.0) (fma x (- (* x 3.0) 4.0) 1.0) (expm1 (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (log1p (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* (sqrt (fma x (- (* x 3.0) 4.0) 1.0)) 3.0) (log (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (log (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (exp (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (pow (* (sqrt (fma x (- (* x 3.0) 4.0) 1.0)) 3.0) 3) (* (cbrt (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (cbrt (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0))))) (cbrt (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (pow (* (sqrt (fma x (- (* x 3.0) 4.0) 1.0)) 3.0) 3) (sqrt (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (sqrt (* 3.0 (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* (sqrt 3.0) (sqrt (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* (sqrt 3.0) (sqrt (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* (sqrt 3.0) (sqrt (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* (sqrt 3.0) (sqrt (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* 3.0 (* (cbrt (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (cbrt (sqrt (fma x (- (* x 3.0) 4.0) 1.0))))) (* 3.0 (fabs (cbrt (fma x (- (* x 3.0) 4.0) 1.0)))) (* 3.0 (sqrt (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) 3.0 (* 3.0 (sqrt (sqrt (fma x (- (* x 3.0) 4.0) 1.0)))) 3.0 (* (cbrt 3.0) (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (* (sqrt 3.0) (sqrt (fma x (- (* x 3.0) 4.0) 1.0))) (* (sqrt (fma x (- (* x 3.0) 4.0) 1.0)) 3.0) (expm1 (fma x (- (* x 3.0) 4.0) 1.0)) (log1p (fma x (- (* x 3.0) 4.0) 1.0)) (* (- (* x 3.0) 4.0) x) (log (fma x (- (* x 3.0) 4.0) 1.0)) (exp (fma x (- (* x 3.0) 4.0) 1.0)) (* (cbrt (fma x (- (* x 3.0) 4.0) 1.0)) (cbrt (fma x (- (* x 3.0) 4.0) 1.0))) (cbrt (fma x (- (* x 3.0) 4.0) 1.0)) (pow (fma x (- (* x 3.0) 4.0) 1.0) 3) (sqrt (fma x (- (* x 3.0) 4.0) 1.0)) (sqrt (fma x (- (* x 3.0) 4.0) 1.0)) (expm1 (fma x (- (* x 3.0) 4.0) 1.0)) (log1p (fma x (- (* x 3.0) 4.0) 1.0)) (* (- (* x 3.0) 4.0) x) (log (fma x (- (* x 3.0) 4.0) 1.0)) (exp (fma x (- (* x 3.0) 4.0) 1.0)) (* (cbrt (fma x (- (* x 3.0) 4.0) 1.0)) (cbrt (fma x (- (* x 3.0) 4.0) 1.0))) (cbrt (fma x (- (* x 3.0) 4.0) 1.0)) (pow (fma x (- (* x 3.0) 4.0) 1.0) 3) (sqrt (fma x (- (* x 3.0) 4.0) 1.0)) (sqrt (fma x (- (* x 3.0) 4.0) 1.0)) (+ 3.0 (* x (- (* 9.0 x) 12.0))) (+ 3.0 (* x (- (* 9.0 x) 12.0))) (+ 3.0 (* x (- (* 9.0 x) 12.0))) (fma 3.0 (sqrt 1.0) (- (* (/ (pow x 2) (sqrt 1.0)) (- 4.5 (/ 6.0 1.0))) (* 6.0 (/ x (sqrt 1.0))))) (fma (* x 3.0) (sqrt 3.0) (- (* (/ 1 (sqrt 3.0)) (- (/ 1.5 x) 6.0)) (/ (/ 6.0 x) (pow (sqrt 3.0) 3)))) (+ (/ (/ 6.0 x) (pow (sqrt 3.0) 3)) (- (/ 6.0 (sqrt 3.0)) (fma (* x (sqrt 3.0)) 3.0 (/ 1.5 (* x (sqrt 3.0)))))) (fma x (- (* x 3.0) 4.0) 1.0) (fma x (- (* x 3.0) 4.0) 1.0) (fma x (- (* x 3.0) 4.0) 1.0) (fma x (- (* x 3.0) 4.0) 1.0) (fma x (- (* x 3.0) 4.0) 1.0) (fma x (- (* x 3.0) 4.0) 1.0) 11.675 * * * [progress]: adding candidates to table 11.843 * [progress]: [Phase 3 of 3] Extracting. 11.843 * * [regime]: Finding splitpoints for: (# # # # #) 11.843 * * * [regime-changes]: Trying 1 branch expressions: (x) 11.844 * * * * [regimes]: Trying to branch on x from (# # # # #) 11.861 * * * [regime]: Found split indices: #