11.215 * [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 # : (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x))) 0.018 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 0.019 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 0.021 * * [simplify]: iteration 2 : 39 enodes (cost 9 ) 0.027 * * [simplify]: iteration 3 : 84 enodes (cost 9 ) 0.041 * * [simplify]: iteration 4 : 126 enodes (cost 9 ) 0.066 * * [simplify]: iteration 5 : 182 enodes (cost 9 ) 0.108 * * [simplify]: iteration 6 : 343 enodes (cost 9 ) 0.233 * * [simplify]: iteration 7 : 923 enodes (cost 9 ) 0.933 * * [simplify]: iteration 8 : 3081 enodes (cost 9 ) 2.661 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 2.661 * [simplify]: Simplified to: (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) 2.663 * * [progress]: iteration 1 / 4 2.663 * * * [progress]: picking best candidate 2.665 * * * * [pick]: Picked # 2.665 * * * [progress]: localizing error 2.672 * * * [progress]: generating rewritten candidates 2.672 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 2.678 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 2.682 * * * [progress]: generating series expansions 2.682 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 2.682 * [approximate]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in (x) around 0 2.682 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 2.682 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 2.682 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.682 * [taylor]: Taking taylor expansion of x in x 2.682 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 2.682 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 2.682 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.683 * [taylor]: Taking taylor expansion of x in x 2.694 * [approximate]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in (x) around 0 2.694 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x 2.694 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 2.694 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.694 * [taylor]: Taking taylor expansion of x in x 2.695 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x 2.695 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 2.695 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.695 * [taylor]: Taking taylor expansion of x in x 2.709 * [approximate]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in (x) around 0 2.709 * [taylor]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x 2.709 * [taylor]: Taking taylor expansion of -0.12900613773279798 in x 2.709 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.709 * [taylor]: Taking taylor expansion of x in x 2.710 * [taylor]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x 2.710 * [taylor]: Taking taylor expansion of -0.12900613773279798 in x 2.710 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.710 * [taylor]: Taking taylor expansion of x in x 2.720 * * * * [progress]: [ 2 / 2 ] generating series at (2) 2.720 * [approximate]: Taking taylor expansion of (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) in (x) around 0 2.720 * [taylor]: Taking taylor expansion of (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) in x 2.720 * [taylor]: Taking taylor expansion of (* 0.954929658551372 x) in x 2.721 * [taylor]: Taking taylor expansion of 0.954929658551372 in x 2.721 * [taylor]: Taking taylor expansion of x in x 2.721 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 2.721 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 2.721 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.721 * [taylor]: Taking taylor expansion of x in x 2.721 * [taylor]: Taking taylor expansion of (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) in x 2.721 * [taylor]: Taking taylor expansion of (* 0.954929658551372 x) in x 2.721 * [taylor]: Taking taylor expansion of 0.954929658551372 in x 2.721 * [taylor]: Taking taylor expansion of x in x 2.721 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 2.721 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 2.721 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.721 * [taylor]: Taking taylor expansion of x in x 2.743 * [approximate]: Taking taylor expansion of (- (* 0.954929658551372 (/ 1 x)) (* 0.12900613773279798 (/ 1 (pow x 3)))) in (x) around 0 2.743 * [taylor]: Taking taylor expansion of (- (* 0.954929658551372 (/ 1 x)) (* 0.12900613773279798 (/ 1 (pow x 3)))) in x 2.743 * [taylor]: Taking taylor expansion of (* 0.954929658551372 (/ 1 x)) in x 2.743 * [taylor]: Taking taylor expansion of 0.954929658551372 in x 2.743 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.743 * [taylor]: Taking taylor expansion of x in x 2.743 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 3))) in x 2.744 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 2.744 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.744 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.744 * [taylor]: Taking taylor expansion of x in x 2.744 * [taylor]: Taking taylor expansion of (- (* 0.954929658551372 (/ 1 x)) (* 0.12900613773279798 (/ 1 (pow x 3)))) in x 2.744 * [taylor]: Taking taylor expansion of (* 0.954929658551372 (/ 1 x)) in x 2.744 * [taylor]: Taking taylor expansion of 0.954929658551372 in x 2.744 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.744 * [taylor]: Taking taylor expansion of x in x 2.745 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 3))) in x 2.745 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 2.745 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.745 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.745 * [taylor]: Taking taylor expansion of x in x 2.778 * [approximate]: Taking taylor expansion of (- (* 0.12900613773279798 (/ 1 (pow x 3))) (* 0.954929658551372 (/ 1 x))) in (x) around 0 2.779 * [taylor]: Taking taylor expansion of (- (* 0.12900613773279798 (/ 1 (pow x 3))) (* 0.954929658551372 (/ 1 x))) in x 2.779 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 3))) in x 2.779 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 2.779 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.779 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.779 * [taylor]: Taking taylor expansion of x in x 2.779 * [taylor]: Taking taylor expansion of (* 0.954929658551372 (/ 1 x)) in x 2.779 * [taylor]: Taking taylor expansion of 0.954929658551372 in x 2.779 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.779 * [taylor]: Taking taylor expansion of x in x 2.780 * [taylor]: Taking taylor expansion of (- (* 0.12900613773279798 (/ 1 (pow x 3))) (* 0.954929658551372 (/ 1 x))) in x 2.780 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 3))) in x 2.780 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 2.780 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 2.780 * [taylor]: Taking taylor expansion of (pow x 3) in x 2.780 * [taylor]: Taking taylor expansion of x in x 2.780 * [taylor]: Taking taylor expansion of (* 0.954929658551372 (/ 1 x)) in x 2.780 * [taylor]: Taking taylor expansion of 0.954929658551372 in x 2.780 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.780 * [taylor]: Taking taylor expansion of x in x 2.811 * * * [progress]: simplifying candidates 2.812 * [simplify]: Simplifying using # : (expm1 (* 0.12900613773279798 (pow x 3))) (log1p (* 0.12900613773279798 (pow x 3))) (+ (log 0.12900613773279798) (* (log x) 3)) (+ (log 0.12900613773279798) (* (log x) 3)) (+ (log 0.12900613773279798) (log (pow x 3))) (log (* 0.12900613773279798 (pow x 3))) (exp (* 0.12900613773279798 (pow x 3))) (* (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798) (* (* (pow x 3) (pow x 3)) (pow x 3))) (* (cbrt (* 0.12900613773279798 (pow x 3))) (cbrt (* 0.12900613773279798 (pow x 3)))) (cbrt (* 0.12900613773279798 (pow x 3))) (* (* (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3))) (* 0.12900613773279798 (pow x 3))) (sqrt (* 0.12900613773279798 (pow x 3))) (sqrt (* 0.12900613773279798 (pow x 3))) (* (sqrt 0.12900613773279798) (pow (sqrt x) 3)) (* (sqrt 0.12900613773279798) (pow (sqrt x) 3)) (* (sqrt 0.12900613773279798) (pow (sqrt x) 3)) (* (sqrt 0.12900613773279798) (pow (sqrt x) 3)) (* (sqrt 0.12900613773279798) (sqrt (pow x 3))) (* (sqrt 0.12900613773279798) (sqrt (pow x 3))) (* (sqrt 0.12900613773279798) (pow x (/ 3 2))) (* (sqrt 0.12900613773279798) (pow x (/ 3 2))) (* 0.12900613773279798 (pow (* (cbrt x) (cbrt x)) 3)) (* 0.12900613773279798 (pow (sqrt x) 3)) (* 0.12900613773279798 (pow 1 3)) (* 0.12900613773279798 (* x x)) (* 0.12900613773279798 (* (cbrt (pow x 3)) (cbrt (pow x 3)))) (* 0.12900613773279798 (pow (* (cbrt x) (cbrt x)) 3)) (* 0.12900613773279798 (pow (sqrt x) 3)) (* 0.12900613773279798 (pow 1 3)) (* 0.12900613773279798 x) (* 0.12900613773279798 (sqrt (pow x 3))) (* 0.12900613773279798 1) (* 0.12900613773279798 (pow x (/ 3 2))) (* (cbrt 0.12900613773279798) (pow x 3)) (* (sqrt 0.12900613773279798) (pow x 3)) (* 0.12900613773279798 (pow x 3)) (fma 0.954929658551372 x (- (* (pow x 3) 0.12900613773279798))) (fma (- (pow x 3)) 0.12900613773279798 (* (pow x 3) 0.12900613773279798)) (expm1 (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (log1p (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (- (* 0.12900613773279798 (pow x 3))) (/ (exp (* 0.954929658551372 x)) (exp (* 0.12900613773279798 (pow x 3)))) (log (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (exp (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (* (cbrt (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (cbrt (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))))) (cbrt (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (* (* (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (sqrt (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (sqrt (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (- (pow (* 0.954929658551372 x) 3) (pow (* 0.12900613773279798 (pow x 3)) 3)) (+ (* (* 0.954929658551372 x) (* 0.954929658551372 x)) (+ (* (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3))) (* (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))))) (- (* 0.12900613773279798 (pow x 3))) (- (* (* 0.954929658551372 x) (* 0.954929658551372 x)) (* (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)))) (+ (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) (- (* 0.12900613773279798 (pow x 3))) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) 2.814 * * [simplify]: iteration 0 : 84 enodes (cost 541 ) 2.831 * * [simplify]: iteration 1 : 199 enodes (cost 488 ) 2.893 * * [simplify]: iteration 2 : 717 enodes (cost 453 ) 3.484 * * [simplify]: iteration 3 : 4420 enodes (cost 450 ) 5.854 * * [simplify]: iteration done : 5000 enodes (cost 450 ) 5.855 * [simplify]: Simplified to: (expm1 (* 0.12900613773279798 (pow x 3))) (log1p (* 0.12900613773279798 (pow x 3))) (log (* 0.12900613773279798 (pow x 3))) (log (* 0.12900613773279798 (pow x 3))) (log (* 0.12900613773279798 (pow x 3))) (log (* 0.12900613773279798 (pow x 3))) (exp (* 0.12900613773279798 (pow x 3))) (pow (* (pow x 3) 0.12900613773279798) 3) (* (cbrt (* 0.12900613773279798 (pow x 3))) (cbrt (* 0.12900613773279798 (pow x 3)))) (cbrt (* 0.12900613773279798 (pow x 3))) (pow (* (pow x 3) 0.12900613773279798) 3) (sqrt (* 0.12900613773279798 (pow x 3))) (sqrt (* 0.12900613773279798 (pow x 3))) (* (sqrt 0.12900613773279798) (pow (sqrt x) 3)) (* (sqrt 0.12900613773279798) (pow (sqrt x) 3)) (* (sqrt 0.12900613773279798) (pow (sqrt x) 3)) (* (sqrt 0.12900613773279798) (pow (sqrt x) 3)) (* (sqrt 0.12900613773279798) (sqrt (pow x 3))) (* (sqrt 0.12900613773279798) (sqrt (pow x 3))) (* (pow x 3/2) (sqrt 0.12900613773279798)) (* (pow x 3/2) (sqrt 0.12900613773279798)) (* 0.12900613773279798 (* x x)) (* 0.12900613773279798 (pow (sqrt x) 3)) 0.12900613773279798 (* 0.12900613773279798 (* x x)) (* 0.12900613773279798 (* x x)) (* 0.12900613773279798 (* x x)) (* 0.12900613773279798 (pow (sqrt x) 3)) 0.12900613773279798 (* 0.12900613773279798 x) (* 0.12900613773279798 (sqrt (pow x 3))) 0.12900613773279798 (* (pow x 3/2) 0.12900613773279798) (* (cbrt 0.12900613773279798) (pow x 3)) (* (sqrt 0.12900613773279798) (pow x 3)) (* (pow x 3) 0.12900613773279798) (fma 0.954929658551372 x (- (* (pow x 3) 0.12900613773279798))) (* (* 0.12900613773279798 0) (pow x 3)) (expm1 (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (log1p (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (- (* (pow x 3) 0.12900613773279798)) (exp (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (log (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (exp (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (* (cbrt (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (cbrt (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))))) (cbrt (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (pow (fma 0.954929658551372 x (- (* (pow x 3) 0.12900613773279798))) 3) (sqrt (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (sqrt (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (- (pow (* 0.954929658551372 x) 3) (pow (* 0.12900613773279798 (pow x 3)) 3)) (fma 0.12900613773279798 (* 0.12900613773279798 (pow x 6)) (* (* 0.954929658551372 x) (fma 0.954929658551372 x (* (pow x 3) 0.12900613773279798)))) (- (* (pow x 3) 0.12900613773279798)) (- (* (* 0.954929658551372 x) (* 0.954929658551372 x)) (* (* 0.12900613773279798 0.12900613773279798) (pow x 6))) (fma 0.954929658551372 x (* (pow x 3) 0.12900613773279798)) (- (* (pow x 3) 0.12900613773279798)) (* (pow x 3) 0.12900613773279798) (* (pow x 3) 0.12900613773279798) (* (pow x 3) 0.12900613773279798) (fma 0.954929658551372 x (- (* (pow x 3) 0.12900613773279798))) (fma 0.954929658551372 x (- (* (pow x 3) 0.12900613773279798))) (fma 0.954929658551372 x (- (* (pow x 3) 0.12900613773279798))) 5.855 * * * [progress]: adding candidates to table 5.951 * * [progress]: iteration 2 / 4 5.952 * * * [progress]: picking best candidate 5.959 * * * * [pick]: Picked # 5.959 * * * [progress]: localizing error 5.965 * * * [progress]: generating rewritten candidates 5.965 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3 1) 5.972 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 5.973 * * * [progress]: generating series expansions 5.973 * * * * [progress]: [ 1 / 2 ] generating series at (2 3 1) 5.973 * [approximate]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in (x) around 0 5.973 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 5.973 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 5.973 * [taylor]: Taking taylor expansion of (pow x 3) in x 5.973 * [taylor]: Taking taylor expansion of x in x 5.973 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 5.973 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 5.973 * [taylor]: Taking taylor expansion of (pow x 3) in x 5.973 * [taylor]: Taking taylor expansion of x in x 5.985 * [approximate]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in (x) around 0 5.985 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x 5.985 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 5.985 * [taylor]: Taking taylor expansion of (pow x 3) in x 5.985 * [taylor]: Taking taylor expansion of x in x 5.986 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x 5.986 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 5.986 * [taylor]: Taking taylor expansion of (pow x 3) in x 5.986 * [taylor]: Taking taylor expansion of x in x 5.996 * [approximate]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in (x) around 0 5.996 * [taylor]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x 5.996 * [taylor]: Taking taylor expansion of -0.12900613773279798 in x 5.996 * [taylor]: Taking taylor expansion of (pow x 3) in x 5.996 * [taylor]: Taking taylor expansion of x in x 5.997 * [taylor]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x 5.997 * [taylor]: Taking taylor expansion of -0.12900613773279798 in x 5.997 * [taylor]: Taking taylor expansion of (pow x 3) in x 5.997 * [taylor]: Taking taylor expansion of x in x 6.010 * * * * [progress]: [ 2 / 2 ] generating series at (2) 6.010 * [approximate]: Taking taylor expansion of (fma 0.954929658551372 x (- (* 0.12900613773279798 (pow x 3)))) in (x) around 0 6.010 * [taylor]: Taking taylor expansion of (fma 0.954929658551372 x (- (* 0.12900613773279798 (pow x 3)))) in x 6.011 * [taylor]: Rewrote expression to (+ (* 0.954929658551372 x) (- (* 0.12900613773279798 (pow x 3)))) 6.011 * [taylor]: Taking taylor expansion of (* 0.954929658551372 x) in x 6.011 * [taylor]: Taking taylor expansion of 0.954929658551372 in x 6.011 * [taylor]: Taking taylor expansion of x in x 6.011 * [taylor]: Taking taylor expansion of (- (* 0.12900613773279798 (pow x 3))) in x 6.011 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 6.011 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 6.011 * [taylor]: Taking taylor expansion of (pow x 3) in x 6.011 * [taylor]: Taking taylor expansion of x in x 6.011 * [taylor]: Taking taylor expansion of (fma 0.954929658551372 x (- (* 0.12900613773279798 (pow x 3)))) in x 6.011 * [taylor]: Rewrote expression to (+ (* 0.954929658551372 x) (- (* 0.12900613773279798 (pow x 3)))) 6.011 * [taylor]: Taking taylor expansion of (* 0.954929658551372 x) in x 6.011 * [taylor]: Taking taylor expansion of 0.954929658551372 in x 6.011 * [taylor]: Taking taylor expansion of x in x 6.011 * [taylor]: Taking taylor expansion of (- (* 0.12900613773279798 (pow x 3))) in x 6.011 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 6.011 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 6.011 * [taylor]: Taking taylor expansion of (pow x 3) in x 6.011 * [taylor]: Taking taylor expansion of x in x 6.034 * [approximate]: Taking taylor expansion of (fma 0.954929658551372 (/ 1 x) (- (* 0.12900613773279798 (/ 1 (pow x 3))))) in (x) around 0 6.034 * [taylor]: Taking taylor expansion of (fma 0.954929658551372 (/ 1 x) (- (* 0.12900613773279798 (/ 1 (pow x 3))))) in x 6.034 * [taylor]: Rewrote expression to (+ (* 0.954929658551372 (/ 1 x)) (- (* 0.12900613773279798 (/ 1 (pow x 3))))) 6.034 * [taylor]: Taking taylor expansion of (* 0.954929658551372 (/ 1 x)) in x 6.034 * [taylor]: Taking taylor expansion of 0.954929658551372 in x 6.034 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.034 * [taylor]: Taking taylor expansion of x in x 6.034 * [taylor]: Taking taylor expansion of (- (* 0.12900613773279798 (/ 1 (pow x 3)))) in x 6.034 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 3))) in x 6.034 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 6.034 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 6.034 * [taylor]: Taking taylor expansion of (pow x 3) in x 6.034 * [taylor]: Taking taylor expansion of x in x 6.035 * [taylor]: Taking taylor expansion of (fma 0.954929658551372 (/ 1 x) (- (* 0.12900613773279798 (/ 1 (pow x 3))))) in x 6.035 * [taylor]: Rewrote expression to (+ (* 0.954929658551372 (/ 1 x)) (- (* 0.12900613773279798 (/ 1 (pow x 3))))) 6.035 * [taylor]: Taking taylor expansion of (* 0.954929658551372 (/ 1 x)) in x 6.035 * [taylor]: Taking taylor expansion of 0.954929658551372 in x 6.035 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.035 * [taylor]: Taking taylor expansion of x in x 6.035 * [taylor]: Taking taylor expansion of (- (* 0.12900613773279798 (/ 1 (pow x 3)))) in x 6.035 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 3))) in x 6.035 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 6.035 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 6.035 * [taylor]: Taking taylor expansion of (pow x 3) in x 6.035 * [taylor]: Taking taylor expansion of x in x 6.067 * [approximate]: Taking taylor expansion of (fma 0.954929658551372 (/ -1 x) (* 0.12900613773279798 (/ 1 (pow x 3)))) in (x) around 0 6.067 * [taylor]: Taking taylor expansion of (fma 0.954929658551372 (/ -1 x) (* 0.12900613773279798 (/ 1 (pow x 3)))) in x 6.067 * [taylor]: Rewrote expression to (+ (* 0.954929658551372 (/ -1 x)) (* 0.12900613773279798 (/ 1 (pow x 3)))) 6.067 * [taylor]: Taking taylor expansion of (* 0.954929658551372 (/ -1 x)) in x 6.067 * [taylor]: Taking taylor expansion of 0.954929658551372 in x 6.067 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.067 * [taylor]: Taking taylor expansion of -1 in x 6.067 * [taylor]: Taking taylor expansion of x in x 6.067 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 3))) in x 6.067 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 6.067 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 6.067 * [taylor]: Taking taylor expansion of (pow x 3) in x 6.067 * [taylor]: Taking taylor expansion of x in x 6.068 * [taylor]: Taking taylor expansion of (fma 0.954929658551372 (/ -1 x) (* 0.12900613773279798 (/ 1 (pow x 3)))) in x 6.068 * [taylor]: Rewrote expression to (+ (* 0.954929658551372 (/ -1 x)) (* 0.12900613773279798 (/ 1 (pow x 3)))) 6.068 * [taylor]: Taking taylor expansion of (* 0.954929658551372 (/ -1 x)) in x 6.068 * [taylor]: Taking taylor expansion of 0.954929658551372 in x 6.068 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.068 * [taylor]: Taking taylor expansion of -1 in x 6.068 * [taylor]: Taking taylor expansion of x in x 6.069 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 3))) in x 6.069 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 6.069 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 6.069 * [taylor]: Taking taylor expansion of (pow x 3) in x 6.069 * [taylor]: Taking taylor expansion of x in x 6.100 * * * [progress]: simplifying candidates 6.101 * [simplify]: Simplifying using # : (expm1 (* (pow x 3) 0.12900613773279798)) (log1p (* (pow x 3) 0.12900613773279798)) (+ (* (log x) 3) (log 0.12900613773279798)) (+ (* (log x) 3) (log 0.12900613773279798)) (+ (log (pow x 3)) (log 0.12900613773279798)) (log (* (pow x 3) 0.12900613773279798)) (exp (* (pow x 3) 0.12900613773279798)) (* (* (* (pow x 3) (pow x 3)) (pow x 3)) (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798)) (* (cbrt (* (pow x 3) 0.12900613773279798)) (cbrt (* (pow x 3) 0.12900613773279798))) (cbrt (* (pow x 3) 0.12900613773279798)) (* (* (* (pow x 3) 0.12900613773279798) (* (pow x 3) 0.12900613773279798)) (* (pow x 3) 0.12900613773279798)) (sqrt (* (pow x 3) 0.12900613773279798)) (sqrt (* (pow x 3) 0.12900613773279798)) (* (pow (sqrt x) 3) (sqrt 0.12900613773279798)) (* (pow (sqrt x) 3) (sqrt 0.12900613773279798)) (* (pow (sqrt x) 3) (sqrt 0.12900613773279798)) (* (pow (sqrt x) 3) (sqrt 0.12900613773279798)) (* (sqrt (pow x 3)) (sqrt 0.12900613773279798)) (* (sqrt (pow x 3)) (sqrt 0.12900613773279798)) (* (pow x (/ 3 2)) (sqrt 0.12900613773279798)) (* (pow x (/ 3 2)) (sqrt 0.12900613773279798)) (* (pow x 3) (* (cbrt 0.12900613773279798) (cbrt 0.12900613773279798))) (* (pow x 3) (sqrt 0.12900613773279798)) (* (pow x 3) 1) (* (pow (cbrt x) 3) 0.12900613773279798) (* (pow (sqrt x) 3) 0.12900613773279798) (* (pow x 3) 0.12900613773279798) (* x 0.12900613773279798) (* (cbrt (pow x 3)) 0.12900613773279798) (* (pow (cbrt x) 3) 0.12900613773279798) (* (pow (sqrt x) 3) 0.12900613773279798) (* (pow x 3) 0.12900613773279798) (* (* x x) 0.12900613773279798) (* (sqrt (pow x 3)) 0.12900613773279798) (* (pow x 3) 0.12900613773279798) (* (pow x (/ 3 2)) 0.12900613773279798) (expm1 (fma 0.954929658551372 x (- (* (pow x 3) 0.12900613773279798)))) (log1p (fma 0.954929658551372 x (- (* (pow x 3) 0.12900613773279798)))) (* 0.954929658551372 x) (log (fma 0.954929658551372 x (- (* (pow x 3) 0.12900613773279798)))) (exp (fma 0.954929658551372 x (- (* (pow x 3) 0.12900613773279798)))) (* (cbrt (fma 0.954929658551372 x (- (* (pow x 3) 0.12900613773279798)))) (cbrt (fma 0.954929658551372 x (- (* (pow x 3) 0.12900613773279798))))) (cbrt (fma 0.954929658551372 x (- (* (pow x 3) 0.12900613773279798)))) (* (* (fma 0.954929658551372 x (- (* (pow x 3) 0.12900613773279798))) (fma 0.954929658551372 x (- (* (pow x 3) 0.12900613773279798)))) (fma 0.954929658551372 x (- (* (pow x 3) 0.12900613773279798)))) (sqrt (fma 0.954929658551372 x (- (* (pow x 3) 0.12900613773279798)))) (sqrt (fma 0.954929658551372 x (- (* (pow x 3) 0.12900613773279798)))) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) 6.103 * * [simplify]: iteration 0 : 67 enodes (cost 419 ) 6.114 * * [simplify]: iteration 1 : 134 enodes (cost 391 ) 6.146 * * [simplify]: iteration 2 : 529 enodes (cost 361 ) 6.883 * * [simplify]: iteration 3 : 4655 enodes (cost 361 ) 10.093 * * [simplify]: iteration done : 5000 enodes (cost 361 ) 10.093 * [simplify]: Simplified to: (expm1 (* (pow x 3) 0.12900613773279798)) (log1p (* (pow x 3) 0.12900613773279798)) (log (* (pow x 3) 0.12900613773279798)) (log (* (pow x 3) 0.12900613773279798)) (log (* (pow x 3) 0.12900613773279798)) (log (* (pow x 3) 0.12900613773279798)) (exp (* (pow x 3) 0.12900613773279798)) (pow (* (pow x 3) 0.12900613773279798) 3) (* (cbrt (* (pow x 3) 0.12900613773279798)) (cbrt (* (pow x 3) 0.12900613773279798))) (cbrt (* (pow x 3) 0.12900613773279798)) (pow (* (pow x 3) 0.12900613773279798) 3) (sqrt (* (pow x 3) 0.12900613773279798)) (sqrt (* (pow x 3) 0.12900613773279798)) (* (pow (sqrt x) 3) (sqrt 0.12900613773279798)) (* (pow (sqrt x) 3) (sqrt 0.12900613773279798)) (* (pow (sqrt x) 3) (sqrt 0.12900613773279798)) (* (pow (sqrt x) 3) (sqrt 0.12900613773279798)) (* (sqrt (pow x 3)) (sqrt 0.12900613773279798)) (* (sqrt (pow x 3)) (sqrt 0.12900613773279798)) (* (pow x 3/2) (sqrt 0.12900613773279798)) (* (pow x 3/2) (sqrt 0.12900613773279798)) (* (pow x 3) (* (cbrt 0.12900613773279798) (cbrt 0.12900613773279798))) (* (pow x 3) (sqrt 0.12900613773279798)) (pow x 3) (* x 0.12900613773279798) (* (pow (sqrt x) 3) 0.12900613773279798) (* (pow x 3) 0.12900613773279798) (* x 0.12900613773279798) (* x 0.12900613773279798) (* x 0.12900613773279798) (* (pow (sqrt x) 3) 0.12900613773279798) (* (pow x 3) 0.12900613773279798) (* (* x x) 0.12900613773279798) (* (sqrt (pow x 3)) 0.12900613773279798) (* (pow x 3) 0.12900613773279798) (* (pow x 3/2) 0.12900613773279798) (expm1 (fma 0.954929658551372 x (- (* (pow x 3) 0.12900613773279798)))) (log1p (fma 0.954929658551372 x (- (* (pow x 3) 0.12900613773279798)))) (* 0.954929658551372 x) (log (fma 0.954929658551372 x (- (* (pow x 3) 0.12900613773279798)))) (exp (fma 0.954929658551372 x (- (* (pow x 3) 0.12900613773279798)))) (* (cbrt (fma 0.954929658551372 x (- (* (pow x 3) 0.12900613773279798)))) (cbrt (fma 0.954929658551372 x (- (* (pow x 3) 0.12900613773279798))))) (cbrt (fma 0.954929658551372 x (- (* (pow x 3) 0.12900613773279798)))) (pow (fma 0.954929658551372 x (- (* (pow x 3) 0.12900613773279798))) 3) (sqrt (fma 0.954929658551372 x (- (* (pow x 3) 0.12900613773279798)))) (sqrt (fma 0.954929658551372 x (- (* (pow x 3) 0.12900613773279798)))) (* (pow x 3) 0.12900613773279798) (* (pow x 3) 0.12900613773279798) (* (pow x 3) 0.12900613773279798) (fma 0.954929658551372 x (- (* (pow x 3) 0.12900613773279798))) (fma 0.954929658551372 x (- (* (pow x 3) 0.12900613773279798))) (fma 0.954929658551372 x (- (* (pow x 3) 0.12900613773279798))) 10.093 * * * [progress]: adding candidates to table 10.184 * * [progress]: iteration 3 / 4 10.184 * * * [progress]: picking best candidate 10.193 * * * * [pick]: Picked # 10.193 * * * [progress]: localizing error 10.199 * * * [progress]: generating rewritten candidates 10.199 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2) 10.207 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 10.228 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 10.232 * * * [progress]: generating series expansions 10.232 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2) 10.232 * [approximate]: Taking taylor expansion of (pow x 3) in (x) around 0 10.233 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.233 * [taylor]: Taking taylor expansion of x in x 10.233 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.233 * [taylor]: Taking taylor expansion of x in x 10.240 * [approximate]: Taking taylor expansion of (/ 1 (pow x 3)) in (x) around 0 10.240 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 10.240 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.240 * [taylor]: Taking taylor expansion of x in x 10.241 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 10.241 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.241 * [taylor]: Taking taylor expansion of x in x 10.251 * [approximate]: Taking taylor expansion of (/ -1 (pow x 3)) in (x) around 0 10.251 * [taylor]: Taking taylor expansion of (/ -1 (pow x 3)) in x 10.251 * [taylor]: Taking taylor expansion of -1 in x 10.251 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.251 * [taylor]: Taking taylor expansion of x in x 10.252 * [taylor]: Taking taylor expansion of (/ -1 (pow x 3)) in x 10.252 * [taylor]: Taking taylor expansion of -1 in x 10.252 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.252 * [taylor]: Taking taylor expansion of x in x 10.263 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 10.263 * [approximate]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in (x) around 0 10.263 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 10.263 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 10.263 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.263 * [taylor]: Taking taylor expansion of x in x 10.263 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 10.263 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 10.263 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.263 * [taylor]: Taking taylor expansion of x in x 10.278 * [approximate]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in (x) around 0 10.278 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x 10.278 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 10.279 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.279 * [taylor]: Taking taylor expansion of x in x 10.279 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x 10.279 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 10.279 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.279 * [taylor]: Taking taylor expansion of x in x 10.290 * [approximate]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in (x) around 0 10.290 * [taylor]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x 10.290 * [taylor]: Taking taylor expansion of -0.12900613773279798 in x 10.290 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.290 * [taylor]: Taking taylor expansion of x in x 10.291 * [taylor]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x 10.291 * [taylor]: Taking taylor expansion of -0.12900613773279798 in x 10.291 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.291 * [taylor]: Taking taylor expansion of x in x 10.302 * * * * [progress]: [ 3 / 3 ] generating series at (2) 10.302 * [approximate]: Taking taylor expansion of (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) in (x) around 0 10.302 * [taylor]: Taking taylor expansion of (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) in x 10.302 * [taylor]: Taking taylor expansion of (* 0.954929658551372 x) in x 10.302 * [taylor]: Taking taylor expansion of 0.954929658551372 in x 10.302 * [taylor]: Taking taylor expansion of x in x 10.302 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 10.302 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 10.302 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.302 * [taylor]: Taking taylor expansion of x in x 10.302 * [taylor]: Taking taylor expansion of (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) in x 10.302 * [taylor]: Taking taylor expansion of (* 0.954929658551372 x) in x 10.302 * [taylor]: Taking taylor expansion of 0.954929658551372 in x 10.302 * [taylor]: Taking taylor expansion of x in x 10.302 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 10.302 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 10.302 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.302 * [taylor]: Taking taylor expansion of x in x 10.326 * [approximate]: Taking taylor expansion of (- (* 0.954929658551372 (/ 1 x)) (* 0.12900613773279798 (/ 1 (pow x 3)))) in (x) around 0 10.326 * [taylor]: Taking taylor expansion of (- (* 0.954929658551372 (/ 1 x)) (* 0.12900613773279798 (/ 1 (pow x 3)))) in x 10.326 * [taylor]: Taking taylor expansion of (* 0.954929658551372 (/ 1 x)) in x 10.326 * [taylor]: Taking taylor expansion of 0.954929658551372 in x 10.326 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.326 * [taylor]: Taking taylor expansion of x in x 10.326 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 3))) in x 10.326 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 10.326 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 10.326 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.326 * [taylor]: Taking taylor expansion of x in x 10.327 * [taylor]: Taking taylor expansion of (- (* 0.954929658551372 (/ 1 x)) (* 0.12900613773279798 (/ 1 (pow x 3)))) in x 10.327 * [taylor]: Taking taylor expansion of (* 0.954929658551372 (/ 1 x)) in x 10.327 * [taylor]: Taking taylor expansion of 0.954929658551372 in x 10.327 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.327 * [taylor]: Taking taylor expansion of x in x 10.327 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 3))) in x 10.327 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 10.327 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 10.327 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.327 * [taylor]: Taking taylor expansion of x in x 10.366 * [approximate]: Taking taylor expansion of (- (* 0.12900613773279798 (/ 1 (pow x 3))) (* 0.954929658551372 (/ 1 x))) in (x) around 0 10.366 * [taylor]: Taking taylor expansion of (- (* 0.12900613773279798 (/ 1 (pow x 3))) (* 0.954929658551372 (/ 1 x))) in x 10.366 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 3))) in x 10.366 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 10.366 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 10.366 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.366 * [taylor]: Taking taylor expansion of x in x 10.366 * [taylor]: Taking taylor expansion of (* 0.954929658551372 (/ 1 x)) in x 10.367 * [taylor]: Taking taylor expansion of 0.954929658551372 in x 10.367 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.367 * [taylor]: Taking taylor expansion of x in x 10.367 * [taylor]: Taking taylor expansion of (- (* 0.12900613773279798 (/ 1 (pow x 3))) (* 0.954929658551372 (/ 1 x))) in x 10.367 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 3))) in x 10.367 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 10.367 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 10.367 * [taylor]: Taking taylor expansion of (pow x 3) in x 10.367 * [taylor]: Taking taylor expansion of x in x 10.368 * [taylor]: Taking taylor expansion of (* 0.954929658551372 (/ 1 x)) in x 10.368 * [taylor]: Taking taylor expansion of 0.954929658551372 in x 10.368 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.368 * [taylor]: Taking taylor expansion of x in x 10.399 * * * [progress]: simplifying candidates 10.400 * [simplify]: Simplifying using # : (expm1 (* (* x x) x)) (log1p (* (* x x) x)) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (* (* x x) x) (* (* x x) x) (+ (+ 1 1) 1) (+ 2 1) (+ (+ 1 1) 1) (+ (* 2 1) 1) (+ (+ (log x) (log x)) (log x)) (+ (log (* x x)) (log x)) (log (* (* x x) x)) (exp (* (* x x) x)) (* (* (* (* x x) x) (* (* x x) x)) (* (* x x) x)) (* (* (* (* x x) (* x x)) (* x x)) (* (* x x) x)) (* (cbrt (* (* x x) x)) (cbrt (* (* x x) x))) (cbrt (* (* x x) x)) (* (* (* (* x x) x) (* (* x x) x)) (* (* x x) x)) (sqrt (* (* x x) x)) (sqrt (* (* x x) x)) (* x (sqrt x)) (* x (sqrt x)) (* (* x x) (* (cbrt x) (cbrt x))) (* (* x x) (sqrt x)) (* (* x x) 1) (* x x) (expm1 (* 0.12900613773279798 (* (* x x) x))) (log1p (* 0.12900613773279798 (* (* x x) x))) (* 0.12900613773279798 (* (* x x) x)) (* 0.12900613773279798 (* (* x x) x)) (* 0.12900613773279798 (* (* x x) x)) (+ (log 0.12900613773279798) (+ (+ (log x) (log x)) (log x))) (+ (log 0.12900613773279798) (+ (log (* x x)) (log x))) (+ (log 0.12900613773279798) (log (* (* x x) x))) (log (* 0.12900613773279798 (* (* x x) x))) (exp (* 0.12900613773279798 (* (* x x) x))) (* (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798) (* (* (* (* x x) x) (* (* x x) x)) (* (* x x) x))) (* (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798) (* (* (* (* x x) (* x x)) (* x x)) (* (* x x) x))) (* (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798) (* (* (* (* x x) x) (* (* x x) x)) (* (* x x) x))) (* (cbrt (* 0.12900613773279798 (* (* x x) x))) (cbrt (* 0.12900613773279798 (* (* x x) x)))) (cbrt (* 0.12900613773279798 (* (* x x) x))) (* (* (* 0.12900613773279798 (* (* x x) x)) (* 0.12900613773279798 (* (* x x) x))) (* 0.12900613773279798 (* (* x x) x))) (sqrt (* 0.12900613773279798 (* (* x x) x))) (sqrt (* 0.12900613773279798 (* (* x x) x))) (* 0.12900613773279798 (* x x)) (* (cbrt 0.12900613773279798) (* (* x x) x)) (* (sqrt 0.12900613773279798) (* (* x x) x)) (* 0.12900613773279798 (* (* x x) x)) (fma 0.954929658551372 x (- (* (* (* x x) x) 0.12900613773279798))) (fma (- (* (* x x) x)) 0.12900613773279798 (* (* (* x x) x) 0.12900613773279798)) (expm1 (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))) (log1p (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))) (- (* 0.12900613773279798 (* (* x x) x))) (/ (exp (* 0.954929658551372 x)) (exp (* 0.12900613773279798 (* (* x x) x)))) (log (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))) (exp (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))) (* (cbrt (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))) (cbrt (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x))))) (cbrt (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))) (* (* (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x))) (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))) (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))) (sqrt (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))) (sqrt (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))) (- (pow (* 0.954929658551372 x) 3) (pow (* 0.12900613773279798 (* (* x x) x)) 3)) (+ (* (* 0.954929658551372 x) (* 0.954929658551372 x)) (+ (* (* 0.12900613773279798 (* (* x x) x)) (* 0.12900613773279798 (* (* x x) x))) (* (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x))))) (- (* 0.12900613773279798 (* (* x x) x))) (- (* (* 0.954929658551372 x) (* 0.954929658551372 x)) (* (* 0.12900613773279798 (* (* x x) x)) (* 0.12900613773279798 (* (* x x) x)))) (+ (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x))) (- (* 0.12900613773279798 (* (* x x) x))) (pow x 3) (pow x 3) (pow x 3) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) 10.403 * * [simplify]: iteration 0 : 91 enodes (cost 784 ) 10.426 * * [simplify]: iteration 1 : 228 enodes (cost 568 ) 10.696 * * [simplify]: iteration 2 : 823 enodes (cost 489 ) 11.230 * * [simplify]: iteration 3 : 3834 enodes (cost 487 ) 12.885 * * [simplify]: iteration done : 5000 enodes (cost 486 ) 12.885 * [simplify]: Simplified to: (expm1 (pow x 3)) (log1p (pow x 3)) 3 3 3 3 (pow x 3) (pow x 3) 3 3 3 3 (log (pow x 3)) (log (pow x 3)) (log (pow x 3)) (exp (pow x 3)) (pow (pow x 3) 3) (pow (pow x 3) 3) (* x x) x (pow (pow x 3) 3) (sqrt (pow x 3)) (sqrt (pow x 3)) (* x (sqrt x)) (* x (sqrt x)) (* (* x x) (* (cbrt x) (cbrt x))) (* (* x x) (sqrt x)) (* x x) (* x x) (expm1 (* 0.12900613773279798 (pow x 3))) (log1p (* 0.12900613773279798 (pow x 3))) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) (log (* 0.12900613773279798 (pow x 3))) (log (* 0.12900613773279798 (pow x 3))) (log (* 0.12900613773279798 (pow x 3))) (log (* 0.12900613773279798 (pow x 3))) (exp (* 0.12900613773279798 (pow x 3))) (pow (* 0.12900613773279798 (pow x 3)) 3) (pow (* 0.12900613773279798 (pow x 3)) 3) (pow (* 0.12900613773279798 (pow x 3)) 3) (* (cbrt (* 0.12900613773279798 (pow x 3))) (cbrt (* 0.12900613773279798 (pow x 3)))) (cbrt (* 0.12900613773279798 (pow x 3))) (pow (* 0.12900613773279798 (pow x 3)) 3) (sqrt (* 0.12900613773279798 (pow x 3))) (sqrt (* 0.12900613773279798 (pow x 3))) (* 0.12900613773279798 (* x x)) (* (pow x 3) (cbrt 0.12900613773279798)) (* (pow x 3) (sqrt 0.12900613773279798)) (* 0.12900613773279798 (pow x 3)) (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) (* (* 0.12900613773279798 (* x x)) (- x x)) (expm1 (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (log1p (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (- (* 0.12900613773279798 (pow x 3))) (exp (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (log (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (exp (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (* (cbrt (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (cbrt (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))))) (cbrt (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (pow (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) 3) (sqrt (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (sqrt (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (- (pow (* 0.954929658551372 x) 3) (pow (* 0.12900613773279798 (pow x 3)) 3)) (fma (* 0.12900613773279798 0.12900613773279798) (pow x 6) (* 0.954929658551372 (* x (fma 0.954929658551372 x (* 0.12900613773279798 (pow x 3)))))) (- (* 0.12900613773279798 (pow x 3))) (fma (* 0.954929658551372 x) (* 0.954929658551372 x) (* (- (* 0.12900613773279798 0.12900613773279798)) (pow x 6))) (* x (fma 0.12900613773279798 (* x x) 0.954929658551372)) (- (* 0.12900613773279798 (pow x 3))) (pow x 3) (pow x 3) (pow x 3) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) 12.885 * * * [progress]: adding candidates to table 12.990 * * [progress]: iteration 4 / 4 12.990 * * * [progress]: picking best candidate 12.995 * * * * [pick]: Picked # 12.996 * * * [progress]: localizing error 13.002 * * * [progress]: generating rewritten candidates 13.002 * * * * [progress]: [ 1 / 2 ] rewriting at (2 3 1) 13.013 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 13.014 * * * [progress]: generating series expansions 13.014 * * * * [progress]: [ 1 / 2 ] generating series at (2 3 1) 13.014 * [approximate]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in (x) around 0 13.014 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 13.014 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 13.014 * [taylor]: Taking taylor expansion of (pow x 3) in x 13.014 * [taylor]: Taking taylor expansion of x in x 13.014 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 13.014 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 13.014 * [taylor]: Taking taylor expansion of (pow x 3) in x 13.014 * [taylor]: Taking taylor expansion of x in x 13.026 * [approximate]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in (x) around 0 13.026 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x 13.026 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 13.026 * [taylor]: Taking taylor expansion of (pow x 3) in x 13.026 * [taylor]: Taking taylor expansion of x in x 13.026 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x 13.026 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 13.027 * [taylor]: Taking taylor expansion of (pow x 3) in x 13.027 * [taylor]: Taking taylor expansion of x in x 13.037 * [approximate]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in (x) around 0 13.037 * [taylor]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x 13.037 * [taylor]: Taking taylor expansion of -0.12900613773279798 in x 13.037 * [taylor]: Taking taylor expansion of (pow x 3) in x 13.037 * [taylor]: Taking taylor expansion of x in x 13.038 * [taylor]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x 13.038 * [taylor]: Taking taylor expansion of -0.12900613773279798 in x 13.038 * [taylor]: Taking taylor expansion of (pow x 3) in x 13.038 * [taylor]: Taking taylor expansion of x in x 13.052 * * * * [progress]: [ 2 / 2 ] generating series at (2) 13.052 * [approximate]: Taking taylor expansion of (fma 0.954929658551372 x (- (* 0.12900613773279798 (pow x 3)))) in (x) around 0 13.052 * [taylor]: Taking taylor expansion of (fma 0.954929658551372 x (- (* 0.12900613773279798 (pow x 3)))) in x 13.052 * [taylor]: Rewrote expression to (+ (* 0.954929658551372 x) (- (* 0.12900613773279798 (pow x 3)))) 13.052 * [taylor]: Taking taylor expansion of (* 0.954929658551372 x) in x 13.052 * [taylor]: Taking taylor expansion of 0.954929658551372 in x 13.052 * [taylor]: Taking taylor expansion of x in x 13.052 * [taylor]: Taking taylor expansion of (- (* 0.12900613773279798 (pow x 3))) in x 13.052 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 13.052 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 13.052 * [taylor]: Taking taylor expansion of (pow x 3) in x 13.052 * [taylor]: Taking taylor expansion of x in x 13.052 * [taylor]: Taking taylor expansion of (fma 0.954929658551372 x (- (* 0.12900613773279798 (pow x 3)))) in x 13.052 * [taylor]: Rewrote expression to (+ (* 0.954929658551372 x) (- (* 0.12900613773279798 (pow x 3)))) 13.052 * [taylor]: Taking taylor expansion of (* 0.954929658551372 x) in x 13.052 * [taylor]: Taking taylor expansion of 0.954929658551372 in x 13.052 * [taylor]: Taking taylor expansion of x in x 13.052 * [taylor]: Taking taylor expansion of (- (* 0.12900613773279798 (pow x 3))) in x 13.052 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x 13.052 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 13.052 * [taylor]: Taking taylor expansion of (pow x 3) in x 13.052 * [taylor]: Taking taylor expansion of x in x 13.075 * [approximate]: Taking taylor expansion of (fma 0.954929658551372 (/ 1 x) (- (* 0.12900613773279798 (/ 1 (pow x 3))))) in (x) around 0 13.076 * [taylor]: Taking taylor expansion of (fma 0.954929658551372 (/ 1 x) (- (* 0.12900613773279798 (/ 1 (pow x 3))))) in x 13.076 * [taylor]: Rewrote expression to (+ (* 0.954929658551372 (/ 1 x)) (- (* 0.12900613773279798 (/ 1 (pow x 3))))) 13.076 * [taylor]: Taking taylor expansion of (* 0.954929658551372 (/ 1 x)) in x 13.076 * [taylor]: Taking taylor expansion of 0.954929658551372 in x 13.076 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.076 * [taylor]: Taking taylor expansion of x in x 13.076 * [taylor]: Taking taylor expansion of (- (* 0.12900613773279798 (/ 1 (pow x 3)))) in x 13.076 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 3))) in x 13.076 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 13.076 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 13.076 * [taylor]: Taking taylor expansion of (pow x 3) in x 13.076 * [taylor]: Taking taylor expansion of x in x 13.077 * [taylor]: Taking taylor expansion of (fma 0.954929658551372 (/ 1 x) (- (* 0.12900613773279798 (/ 1 (pow x 3))))) in x 13.077 * [taylor]: Rewrote expression to (+ (* 0.954929658551372 (/ 1 x)) (- (* 0.12900613773279798 (/ 1 (pow x 3))))) 13.077 * [taylor]: Taking taylor expansion of (* 0.954929658551372 (/ 1 x)) in x 13.077 * [taylor]: Taking taylor expansion of 0.954929658551372 in x 13.077 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.077 * [taylor]: Taking taylor expansion of x in x 13.077 * [taylor]: Taking taylor expansion of (- (* 0.12900613773279798 (/ 1 (pow x 3)))) in x 13.077 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 3))) in x 13.077 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 13.077 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 13.077 * [taylor]: Taking taylor expansion of (pow x 3) in x 13.077 * [taylor]: Taking taylor expansion of x in x 13.109 * [approximate]: Taking taylor expansion of (fma 0.954929658551372 (/ -1 x) (* 0.12900613773279798 (/ 1 (pow x 3)))) in (x) around 0 13.109 * [taylor]: Taking taylor expansion of (fma 0.954929658551372 (/ -1 x) (* 0.12900613773279798 (/ 1 (pow x 3)))) in x 13.110 * [taylor]: Rewrote expression to (+ (* 0.954929658551372 (/ -1 x)) (* 0.12900613773279798 (/ 1 (pow x 3)))) 13.110 * [taylor]: Taking taylor expansion of (* 0.954929658551372 (/ -1 x)) in x 13.110 * [taylor]: Taking taylor expansion of 0.954929658551372 in x 13.110 * [taylor]: Taking taylor expansion of (/ -1 x) in x 13.110 * [taylor]: Taking taylor expansion of -1 in x 13.110 * [taylor]: Taking taylor expansion of x in x 13.110 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 3))) in x 13.110 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 13.110 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 13.110 * [taylor]: Taking taylor expansion of (pow x 3) in x 13.110 * [taylor]: Taking taylor expansion of x in x 13.111 * [taylor]: Taking taylor expansion of (fma 0.954929658551372 (/ -1 x) (* 0.12900613773279798 (/ 1 (pow x 3)))) in x 13.111 * [taylor]: Rewrote expression to (+ (* 0.954929658551372 (/ -1 x)) (* 0.12900613773279798 (/ 1 (pow x 3)))) 13.111 * [taylor]: Taking taylor expansion of (* 0.954929658551372 (/ -1 x)) in x 13.111 * [taylor]: Taking taylor expansion of 0.954929658551372 in x 13.111 * [taylor]: Taking taylor expansion of (/ -1 x) in x 13.111 * [taylor]: Taking taylor expansion of -1 in x 13.111 * [taylor]: Taking taylor expansion of x in x 13.111 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 3))) in x 13.111 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x 13.111 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 13.111 * [taylor]: Taking taylor expansion of (pow x 3) in x 13.111 * [taylor]: Taking taylor expansion of x in x 13.143 * * * [progress]: simplifying candidates 13.144 * [simplify]: Simplifying using # : (expm1 (* (* x x) (* x 0.12900613773279798))) (log1p (* (* x x) (* x 0.12900613773279798))) (* (* x x) (* x 0.12900613773279798)) (* (* x x) (* x 0.12900613773279798)) (* (* x x) (* x 0.12900613773279798)) (* (* x x) (* x 0.12900613773279798)) (+ (+ (log x) (log x)) (+ (log x) (log 0.12900613773279798))) (+ (+ (log x) (log x)) (log (* x 0.12900613773279798))) (+ (log (* x x)) (+ (log x) (log 0.12900613773279798))) (+ (log (* x x)) (log (* x 0.12900613773279798))) (log (* (* x x) (* x 0.12900613773279798))) (exp (* (* x x) (* x 0.12900613773279798))) (* (* (* (* x x) x) (* (* x x) x)) (* (* (* x x) x) (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798))) (* (* (* (* x x) x) (* (* x x) x)) (* (* (* x 0.12900613773279798) (* x 0.12900613773279798)) (* x 0.12900613773279798))) (* (* (* (* x x) (* x x)) (* x x)) (* (* (* x x) x) (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798))) (* (* (* (* x x) (* x x)) (* x x)) (* (* (* x 0.12900613773279798) (* x 0.12900613773279798)) (* x 0.12900613773279798))) (* (cbrt (* (* x x) (* x 0.12900613773279798))) (cbrt (* (* x x) (* x 0.12900613773279798)))) (cbrt (* (* x x) (* x 0.12900613773279798))) (* (* (* (* x x) (* x 0.12900613773279798)) (* (* x x) (* x 0.12900613773279798))) (* (* x x) (* x 0.12900613773279798))) (sqrt (* (* x x) (* x 0.12900613773279798))) (sqrt (* (* x x) (* x 0.12900613773279798))) (* (* x x) x) (* x (* x 0.12900613773279798)) (expm1 (fma 0.954929658551372 x (- (* (* x x) (* x 0.12900613773279798))))) (log1p (fma 0.954929658551372 x (- (* (* x x) (* x 0.12900613773279798))))) (* 0.954929658551372 x) (log (fma 0.954929658551372 x (- (* (* x x) (* x 0.12900613773279798))))) (exp (fma 0.954929658551372 x (- (* (* x x) (* x 0.12900613773279798))))) (* (cbrt (fma 0.954929658551372 x (- (* (* x x) (* x 0.12900613773279798))))) (cbrt (fma 0.954929658551372 x (- (* (* x x) (* x 0.12900613773279798)))))) (cbrt (fma 0.954929658551372 x (- (* (* x x) (* x 0.12900613773279798))))) (* (* (fma 0.954929658551372 x (- (* (* x x) (* x 0.12900613773279798)))) (fma 0.954929658551372 x (- (* (* x x) (* x 0.12900613773279798))))) (fma 0.954929658551372 x (- (* (* x x) (* x 0.12900613773279798))))) (sqrt (fma 0.954929658551372 x (- (* (* x x) (* x 0.12900613773279798))))) (sqrt (fma 0.954929658551372 x (- (* (* x x) (* x 0.12900613773279798))))) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) (* 0.12900613773279798 (pow x 3)) (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) 13.146 * * [simplify]: iteration 0 : 55 enodes (cost 455 ) 13.155 * * [simplify]: iteration 1 : 136 enodes (cost 361 ) 13.189 * * [simplify]: iteration 2 : 479 enodes (cost 289 ) 13.390 * * [simplify]: iteration 3 : 1643 enodes (cost 289 ) 14.229 * * [simplify]: iteration done : 5000 enodes (cost 289 ) 14.230 * [simplify]: Simplified to: (expm1 (* (pow x 3) 0.12900613773279798)) (log1p (* (pow x 3) 0.12900613773279798)) (* (pow x 3) 0.12900613773279798) (* (pow x 3) 0.12900613773279798) (* (pow x 3) 0.12900613773279798) (* (pow x 3) 0.12900613773279798) (log (* (pow x 3) 0.12900613773279798)) (log (* (pow x 3) 0.12900613773279798)) (log (* (pow x 3) 0.12900613773279798)) (log (* (pow x 3) 0.12900613773279798)) (log (* (pow x 3) 0.12900613773279798)) (exp (* 0.12900613773279798 (pow x 3))) (pow (* (pow x 3) 0.12900613773279798) 3) (pow (* (pow x 3) 0.12900613773279798) 3) (pow (* (pow x 3) 0.12900613773279798) 3) (pow (* (pow x 3) 0.12900613773279798) 3) (* (cbrt (* (pow x 3) 0.12900613773279798)) (cbrt (* (pow x 3) 0.12900613773279798))) (cbrt (* (pow x 3) 0.12900613773279798)) (pow (* (pow x 3) 0.12900613773279798) 3) (sqrt (* (pow x 3) 0.12900613773279798)) (sqrt (* (pow x 3) 0.12900613773279798)) (pow x 3) (* x (* x 0.12900613773279798)) (expm1 (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (log1p (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (* 0.954929658551372 x) (log (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (exp (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (* (cbrt (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (cbrt (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))))) (cbrt (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (pow (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) 3) (sqrt (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (sqrt (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))) (* (pow x 3) 0.12900613773279798) (* (pow x 3) 0.12900613773279798) (* (pow x 3) 0.12900613773279798) (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) 14.230 * * * [progress]: adding candidates to table 14.298 * [progress]: [Phase 3 of 3] Extracting. 14.298 * * [regime]: Finding splitpoints for: (# # #) 14.298 * * * [regime-changes]: Trying 2 branch expressions: ((- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x))) x) 14.298 * * * * [regimes]: Trying to branch on (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x))) from (# # #) 14.311 * * * * [regimes]: Trying to branch on x from (# # #) 14.323 * * * [regime]: Found split indices: #