6.237 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.010 * * * [progress]: [2/2] Setting up program. 0.011 * [progress]: [Phase 2 of 3] Improving. 0.012 * [simplify]: Simplifying using # : (* (* x 3.0) x) 0.012 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 0.013 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 0.014 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 0.015 * * [simplify]: iteration done : 9 enodes (cost 5 ) 0.015 * [simplify]: Simplified to: (* (* x 3.0) x) 0.015 * * [progress]: iteration 1 / 4 0.015 * * * [progress]: picking best candidate 0.016 * * * * [pick]: Picked # 0.017 * * * [progress]: localizing error 0.020 * * * [progress]: generating rewritten candidates 0.020 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.027 * * * [progress]: generating series expansions 0.027 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.027 * [approximate]: Taking taylor expansion of (* 3.0 (pow x 2)) in (x) around 0 0.027 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x 0.027 * [taylor]: Taking taylor expansion of 3.0 in x 0.027 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.027 * [taylor]: Taking taylor expansion of x in x 0.027 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x 0.027 * [taylor]: Taking taylor expansion of 3.0 in x 0.027 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.027 * [taylor]: Taking taylor expansion of x in x 0.036 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0 0.036 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x 0.036 * [taylor]: Taking taylor expansion of 3.0 in x 0.036 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.036 * [taylor]: Taking taylor expansion of x in x 0.037 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x 0.037 * [taylor]: Taking taylor expansion of 3.0 in x 0.037 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.037 * [taylor]: Taking taylor expansion of x in x 0.048 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0 0.048 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x 0.048 * [taylor]: Taking taylor expansion of 3.0 in x 0.048 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.048 * [taylor]: Taking taylor expansion of x in x 0.049 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x 0.049 * [taylor]: Taking taylor expansion of 3.0 in x 0.049 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.049 * [taylor]: Taking taylor expansion of x in x 0.057 * * * [progress]: simplifying candidates 0.057 * [simplify]: Simplifying using # : (expm1 (* (* x 3.0) x)) (log1p (* (* x 3.0) x)) (* (* x 3.0) x) (* (* x 3.0) x) (+ (+ (log x) (log 3.0)) (log x)) (+ (log (* x 3.0)) (log x)) (log (* (* x 3.0) x)) (exp (* (* x 3.0) x)) (* (* (* (* x x) x) (* (* 3.0 3.0) 3.0)) (* (* x x) x)) (* (* (* (* x 3.0) (* x 3.0)) (* x 3.0)) (* (* x x) x)) (* (cbrt (* (* x 3.0) x)) (cbrt (* (* x 3.0) x))) (cbrt (* (* x 3.0) x)) (* (* (* (* x 3.0) x) (* (* x 3.0) x)) (* (* x 3.0) x)) (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x)) (* (* x 3.0) (* (cbrt x) (cbrt x))) (* (* x 3.0) (sqrt x)) (* (* x 3.0) 1) (* 3.0 x) (* 3.0 (pow x 2)) (* 3.0 (pow x 2)) (* 3.0 (pow x 2)) 0.058 * * [simplify]: iteration 0 : 39 enodes (cost 169 ) 0.066 * * [simplify]: iteration 1 : 92 enodes (cost 164 ) 0.101 * * [simplify]: iteration 2 : 349 enodes (cost 134 ) 0.428 * * [simplify]: iteration 3 : 1185 enodes (cost 134 ) 2.071 * * [simplify]: iteration 4 : 2800 enodes (cost 133 ) 4.100 * * [simplify]: iteration done : 5000 enodes (cost 133 ) 4.100 * [simplify]: Simplified to: (expm1 (* (* x 3.0) x)) (log1p (* (* x 3.0) x)) (* (pow x 2) 3.0) (* (pow x 2) 3.0) (log (* (* x 3.0) x)) (log (* (* x 3.0) x)) (log (* (* x 3.0) x)) (exp (* (* x 3.0) x)) (pow (* (* x 3.0) x) 3) (pow (* (* x 3.0) x) 3) (* (cbrt (* (* x 3.0) x)) (cbrt (* (* x 3.0) x))) (cbrt (* (* x 3.0) x)) (pow (* (* x 3.0) x) 3) (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x)) (* (* x 3.0) (* (cbrt x) (cbrt x))) (* 3.0 (pow x 3/2)) (* 3.0 x) (* 3.0 x) (* (pow x 2) 3.0) (* (pow x 2) 3.0) (* (pow x 2) 3.0) 4.100 * * * [progress]: adding candidates to table 4.139 * * [progress]: iteration 2 / 4 4.139 * * * [progress]: picking best candidate 4.147 * * * * [pick]: Picked # 4.147 * * * [progress]: localizing error 4.153 * * * [progress]: generating rewritten candidates 4.153 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 4.160 * * * [progress]: generating series expansions 4.160 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 4.160 * [approximate]: Taking taylor expansion of (* 3.0 (pow x 2)) in (x) around 0 4.160 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x 4.160 * [taylor]: Taking taylor expansion of 3.0 in x 4.160 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.160 * [taylor]: Taking taylor expansion of x in x 4.160 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x 4.160 * [taylor]: Taking taylor expansion of 3.0 in x 4.160 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.160 * [taylor]: Taking taylor expansion of x in x 4.169 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0 4.169 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x 4.169 * [taylor]: Taking taylor expansion of 3.0 in x 4.169 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.169 * [taylor]: Taking taylor expansion of x in x 4.170 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x 4.170 * [taylor]: Taking taylor expansion of 3.0 in x 4.170 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.170 * [taylor]: Taking taylor expansion of x in x 4.178 * [approximate]: Taking taylor expansion of (/ 3.0 (pow x 2)) in (x) around 0 4.178 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x 4.178 * [taylor]: Taking taylor expansion of 3.0 in x 4.178 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.178 * [taylor]: Taking taylor expansion of x in x 4.179 * [taylor]: Taking taylor expansion of (/ 3.0 (pow x 2)) in x 4.179 * [taylor]: Taking taylor expansion of 3.0 in x 4.179 * [taylor]: Taking taylor expansion of (pow x 2) in x 4.179 * [taylor]: Taking taylor expansion of x in x 4.187 * * * [progress]: simplifying candidates 4.187 * [simplify]: Simplifying using # : (expm1 (* (pow x 2) 3.0)) (log1p (* (pow x 2) 3.0)) (+ (* (log x) 2) (log 3.0)) (+ (* (log x) 2) (log 3.0)) (+ (log (pow x 2)) (log 3.0)) (log (* (pow x 2) 3.0)) (exp (* (pow x 2) 3.0)) (* (* (* (pow x 2) (pow x 2)) (pow x 2)) (* (* 3.0 3.0) 3.0)) (* (cbrt (* (pow x 2) 3.0)) (cbrt (* (pow x 2) 3.0))) (cbrt (* (pow x 2) 3.0)) (* (* (* (pow x 2) 3.0) (* (pow x 2) 3.0)) (* (pow x 2) 3.0)) (sqrt (* (pow x 2) 3.0)) (sqrt (* (pow x 2) 3.0)) (* (pow (sqrt x) 2) (sqrt 3.0)) (* (pow (sqrt x) 2) (sqrt 3.0)) (* x (sqrt 3.0)) (* x (sqrt 3.0)) (* (sqrt (pow x 2)) (sqrt 3.0)) (* (sqrt (pow x 2)) (sqrt 3.0)) (* (pow x (/ 2 2)) (sqrt 3.0)) (* (pow x (/ 2 2)) (sqrt 3.0)) (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0))) (* (pow x 2) (sqrt 3.0)) (* (pow x 2) 1) (* (pow (cbrt x) 2) 3.0) (* (pow (sqrt x) 2) 3.0) (* (pow x 2) 3.0) (* x 3.0) (* (cbrt (pow x 2)) 3.0) (* (sqrt (pow x 2)) 3.0) (* (pow x 2) 3.0) (* (pow x (/ 2 2)) 3.0) (* 3.0 (pow x 2)) (* 3.0 (pow x 2)) (* 3.0 (pow x 2)) 4.189 * * [simplify]: iteration 0 : 51 enodes (cost 241 ) 4.198 * * [simplify]: iteration 1 : 104 enodes (cost 222 ) 4.241 * * [simplify]: iteration 2 : 345 enodes (cost 189 ) 4.485 * * [simplify]: iteration 3 : 1079 enodes (cost 189 ) 5.734 * * [simplify]: iteration 4 : 4085 enodes (cost 189 ) 7.547 * * [simplify]: iteration done : 5000 enodes (cost 189 ) 7.547 * [simplify]: Simplified to: (expm1 (* (pow x 2) 3.0)) (log1p (* (pow x 2) 3.0)) (log (* (pow x 2) 3.0)) (log (* (pow x 2) 3.0)) (log (* (pow x 2) 3.0)) (log (* (pow x 2) 3.0)) (exp (* (pow x 2) 3.0)) (pow (* (pow x 2) 3.0) 3) (* (cbrt (* (pow x 2) 3.0)) (cbrt (* (pow x 2) 3.0))) (cbrt (* (pow x 2) 3.0)) (pow (* (pow x 2) 3.0) 3) (sqrt (* (pow x 2) 3.0)) (sqrt (* (pow x 2) 3.0)) (* (sqrt 3.0) x) (* (sqrt 3.0) x) (* (sqrt 3.0) x) (* (sqrt 3.0) x) (* (sqrt 3.0) (fabs x)) (* (sqrt 3.0) (fabs x)) (* (sqrt 3.0) x) (* (sqrt 3.0) x) (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0))) (* (pow x 2) (sqrt 3.0)) (pow x 2) (* (pow (cbrt x) 2) 3.0) (* 3.0 x) (* (pow x 2) 3.0) (* 3.0 x) (* (cbrt (pow x 2)) 3.0) (* (fabs x) 3.0) (* (pow x 2) 3.0) (* 3.0 x) (* (pow x 2) 3.0) (* (pow x 2) 3.0) (* (pow x 2) 3.0) 7.547 * * * [progress]: adding candidates to table 7.608 * * [progress]: iteration 3 / 4 7.608 * * * [progress]: picking best candidate 7.616 * * * * [pick]: Picked # 7.616 * * * [progress]: localizing error 7.625 * * * [progress]: generating rewritten candidates 7.625 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 7.663 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 7.681 * * * [progress]: generating series expansions 7.681 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 7.683 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (pow x 2)) in (x) around 0 7.683 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (pow x 2)) in x 7.683 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 7.683 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 7.683 * [taylor]: Taking taylor expansion of 3.0 in x 7.684 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.684 * [taylor]: Taking taylor expansion of x in x 7.684 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 3) (pow x 2)) in x 7.684 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 7.684 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 7.684 * [taylor]: Taking taylor expansion of 3.0 in x 7.685 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.685 * [taylor]: Taking taylor expansion of x in x 7.713 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in (x) around 0 7.713 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in x 7.713 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 7.713 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 7.713 * [taylor]: Taking taylor expansion of 3.0 in x 7.714 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.714 * [taylor]: Taking taylor expansion of x in x 7.718 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in x 7.718 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 7.718 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 7.718 * [taylor]: Taking taylor expansion of 3.0 in x 7.719 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.719 * [taylor]: Taking taylor expansion of x in x 7.745 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in (x) around 0 7.745 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in x 7.745 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 7.745 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 7.745 * [taylor]: Taking taylor expansion of 3.0 in x 7.746 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.746 * [taylor]: Taking taylor expansion of x in x 7.749 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 3) (pow x 2)) in x 7.749 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 3) in x 7.749 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 7.749 * [taylor]: Taking taylor expansion of 3.0 in x 7.750 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.750 * [taylor]: Taking taylor expansion of x in x 7.778 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1) 7.780 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3.0) 2) (pow x 2)) in (x) around 0 7.780 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 2) (pow x 2)) in x 7.780 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x 7.780 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 7.780 * [taylor]: Taking taylor expansion of 3.0 in x 7.781 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.781 * [taylor]: Taking taylor expansion of x in x 7.781 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 2) (pow x 2)) in x 7.781 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x 7.781 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 7.781 * [taylor]: Taking taylor expansion of 3.0 in x 7.782 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.782 * [taylor]: Taking taylor expansion of x in x 7.805 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) (pow x 2)) in (x) around 0 7.805 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) (pow x 2)) in x 7.805 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x 7.805 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 7.805 * [taylor]: Taking taylor expansion of 3.0 in x 7.806 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.806 * [taylor]: Taking taylor expansion of x in x 7.808 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) (pow x 2)) in x 7.808 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x 7.808 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 7.808 * [taylor]: Taking taylor expansion of 3.0 in x 7.809 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.809 * [taylor]: Taking taylor expansion of x in x 7.830 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) (pow x 2)) in (x) around 0 7.831 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) (pow x 2)) in x 7.831 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x 7.831 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 7.831 * [taylor]: Taking taylor expansion of 3.0 in x 7.831 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.831 * [taylor]: Taking taylor expansion of x in x 7.834 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) (pow x 2)) in x 7.834 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x 7.834 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 7.834 * [taylor]: Taking taylor expansion of 3.0 in x 7.834 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.835 * [taylor]: Taking taylor expansion of x in x 7.859 * * * [progress]: simplifying candidates 7.860 * [simplify]: Simplifying using # : (expm1 (* (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0))) (log1p (* (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0))) (* (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)) (+ (+ (* (log x) 2) (+ (log (cbrt 3.0)) (log (cbrt 3.0)))) (log (cbrt 3.0))) (+ (+ (* (log x) 2) (log (* (cbrt 3.0) (cbrt 3.0)))) (log (cbrt 3.0))) (+ (+ (* (log x) 2) (+ (log (cbrt 3.0)) (log (cbrt 3.0)))) (log (cbrt 3.0))) (+ (+ (* (log x) 2) (log (* (cbrt 3.0) (cbrt 3.0)))) (log (cbrt 3.0))) (+ (+ (log (pow x 2)) (+ (log (cbrt 3.0)) (log (cbrt 3.0)))) (log (cbrt 3.0))) (+ (+ (log (pow x 2)) (log (* (cbrt 3.0) (cbrt 3.0)))) (log (cbrt 3.0))) (+ (log (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0)))) (log (cbrt 3.0))) (log (* (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0))) (exp (* (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0))) (* (* (* (* (pow x 2) (pow x 2)) (pow x 2)) (* 3.0 3.0)) 3.0) (* (* (* (* (pow x 2) (pow x 2)) (pow x 2)) (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0)))) 3.0) (* (* (* (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0))) (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0)))) (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0)))) 3.0) (* (cbrt (* (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0))) (cbrt (* (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)))) (cbrt (* (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0))) (* (* (* (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0)) (* (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0))) (* (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0))) (sqrt (* (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0))) (sqrt (* (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 3.0))) (* (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0))) (cbrt (* (cbrt 3.0) (cbrt 3.0)))) (* (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0))) (cbrt (sqrt 3.0))) (* (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0))) (cbrt 1)) (* (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))) (* (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0))) (sqrt (cbrt 3.0))) (* (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0))) 1) (* (* (cbrt 3.0) (cbrt 3.0)) (cbrt 3.0)) (expm1 (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0)))) (log1p (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0)))) (* x (cbrt 3.0)) (+ (* (log x) 2) (+ (log (cbrt 3.0)) (log (cbrt 3.0)))) (+ (* (log x) 2) (log (* (cbrt 3.0) (cbrt 3.0)))) (+ (* (log x) 2) (+ (log (cbrt 3.0)) (log (cbrt 3.0)))) (+ (* (log x) 2) (log (* (cbrt 3.0) (cbrt 3.0)))) (+ (log (pow x 2)) (+ (log (cbrt 3.0)) (log (cbrt 3.0)))) (+ (log (pow x 2)) (log (* (cbrt 3.0) (cbrt 3.0)))) (log (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0)))) (exp (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0)))) (* (* (* (pow x 2) (pow x 2)) (pow x 2)) (* 3.0 3.0)) (* (* (* (pow x 2) (pow x 2)) (pow x 2)) (* (* (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt 3.0) (cbrt 3.0)))) (* (cbrt (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0)))) (cbrt (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0))))) (cbrt (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0)))) (* (* (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0))) (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0)))) (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0)))) (sqrt (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0)))) (sqrt (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0)))) (* (pow (sqrt x) 2) (cbrt 3.0)) (* (pow (sqrt x) 2) (cbrt 3.0)) (* x (cbrt 3.0)) (* x (cbrt 3.0)) (* (sqrt (pow x 2)) (cbrt 3.0)) (* (sqrt (pow x 2)) (cbrt 3.0)) (* (pow x (/ 2 2)) (cbrt 3.0)) (* (pow x (/ 2 2)) (cbrt 3.0)) (* (pow x 2) (cbrt 3.0)) (* (pow (cbrt x) 2) (* (cbrt 3.0) (cbrt 3.0))) (* (pow (sqrt x) 2) (* (cbrt 3.0) (cbrt 3.0))) (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0))) (* x (* (cbrt 3.0) (cbrt 3.0))) (* (cbrt (pow x 2)) (* (cbrt 3.0) (cbrt 3.0))) (* (sqrt (pow x 2)) (* (cbrt 3.0) (cbrt 3.0))) (* (pow x 2) (* (cbrt 3.0) (cbrt 3.0))) (* (pow x (/ 2 2)) (* (cbrt 3.0) (cbrt 3.0))) (* 3.0 (pow x 2)) (* 3.0 (pow x 2)) (* 3.0 (pow x 2)) (* (pow (cbrt 3.0) 2) (pow x 2)) (* (pow (cbrt 3.0) 2) (pow x 2)) (* (pow (cbrt 3.0) 2) (pow x 2)) 7.863 * * [simplify]: iteration 0 : 88 enodes (cost 854 ) 7.880 * * [simplify]: iteration 1 : 220 enodes (cost 726 ) 7.999 * * [simplify]: iteration 2 : 891 enodes (cost 572 ) 9.288 * * [simplify]: iteration 3 : 3873 enodes (cost 491 ) 10.538 * * [simplify]: iteration done : 5000 enodes (cost 491 ) 10.538 * [simplify]: Simplified to: (expm1 (* (* x 3.0) x)) (log1p (* (* x 3.0) x)) (* 3.0 (pow x 2)) (log (* (* x 3.0) x)) (log (* (* x 3.0) x)) (log (* (* x 3.0) x)) (log (* (* x 3.0) x)) (log (* (* x 3.0) x)) (log (* (* x 3.0) x)) (log (* (* x 3.0) x)) (log (* (* x 3.0) x)) (pow (exp (pow x 2)) 3.0) (pow (* (* x 3.0) x) 3) (pow (* (* x 3.0) x) 3) (pow (* (* x 3.0) x) 3) (* (cbrt (* (* x 3.0) x)) (cbrt (* (* x 3.0) x))) (cbrt (* (* x 3.0) x)) (pow (* (* x 3.0) x) 3) (sqrt (* (* x 3.0) x)) (sqrt (* (* x 3.0) x)) (* (cbrt (pow (cbrt 3.0) 2)) (* (pow x 2) (pow (cbrt 3.0) 2))) (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (* (pow x 2) (pow (cbrt 3.0) 2)) (* (* (pow (cbrt 3.0) 2) (pow x 2)) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))) (* (* (pow (cbrt 3.0) 2) (pow x 2)) (sqrt (cbrt 3.0))) (* (pow x 2) (pow (cbrt 3.0) 2)) 3.0 (expm1 (* (pow x 2) (pow (cbrt 3.0) 2))) (log1p (* (pow x 2) (pow (cbrt 3.0) 2))) (* (cbrt 3.0) x) (* 2 (+ (log x) (log (cbrt 3.0)))) (* 2 (+ (log x) (log (cbrt 3.0)))) (* 2 (+ (log x) (log (cbrt 3.0)))) (* 2 (+ (log x) (log (cbrt 3.0)))) (* 2 (+ (log x) (log (cbrt 3.0)))) (* 2 (+ (log x) (log (cbrt 3.0)))) (* 2 (+ (log x) (log (cbrt 3.0)))) (exp (* (pow (cbrt 3.0) 2) (pow x 2))) (* (* 3.0 3.0) (pow (pow x 2) 3)) (* (* 3.0 3.0) (pow (pow x 2) 3)) (* (cbrt (* (pow (cbrt 3.0) 2) (pow x 2))) (cbrt (* (pow (cbrt 3.0) 2) (pow x 2)))) (cbrt (* (pow (cbrt 3.0) 2) (pow x 2))) (* (* 3.0 3.0) (pow (pow x 2) 3)) (fabs (* (cbrt 3.0) x)) (fabs (* (cbrt 3.0) x)) (* (cbrt 3.0) x) (* (cbrt 3.0) x) (* (cbrt 3.0) x) (* (cbrt 3.0) x) (* (cbrt 3.0) (fabs x)) (* (cbrt 3.0) (fabs x)) (* (cbrt 3.0) x) (* (cbrt 3.0) x) (* (pow x 2) (cbrt 3.0)) (* (pow (cbrt x) 2) (pow (cbrt 3.0) 2)) (* (pow (cbrt 3.0) 2) x) (* (pow x 2) (pow (cbrt 3.0) 2)) (* (pow (cbrt 3.0) 2) x) (* (cbrt (pow x 2)) (pow (cbrt 3.0) 2)) (* (fabs x) (pow (cbrt 3.0) 2)) (* (pow x 2) (pow (cbrt 3.0) 2)) (* (pow (cbrt 3.0) 2) x) (* 3.0 (pow x 2)) (* 3.0 (pow x 2)) (* 3.0 (pow x 2)) (* (pow x 2) (pow (cbrt 3.0) 2)) (* (pow x 2) (pow (cbrt 3.0) 2)) (* (pow x 2) (pow (cbrt 3.0) 2)) 10.539 * * * [progress]: adding candidates to table 10.667 * * [progress]: iteration 4 / 4 10.667 * * * [progress]: picking best candidate 10.677 * * * * [pick]: Picked # 10.677 * * * [progress]: localizing error 10.691 * * * [progress]: generating rewritten candidates 10.691 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 10.709 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 1) 10.722 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 10.788 * * * [progress]: generating series expansions 10.788 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 10.790 * [approximate]: Taking taylor expansion of (* (* (pow (cbrt 3.0) 2) (pow x 2)) (pow (sqrt 3.0) 1/3)) in (x) around 0 10.790 * [taylor]: Taking taylor expansion of (* (* (pow (cbrt 3.0) 2) (pow x 2)) (pow (sqrt 3.0) 1/3)) in x 10.790 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 2) (pow x 2)) in x 10.790 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x 10.790 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 10.790 * [taylor]: Taking taylor expansion of 3.0 in x 10.791 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.791 * [taylor]: Taking taylor expansion of x in x 10.791 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 1/3) in x 10.791 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt 3.0)))) in x 10.791 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt 3.0))) in x 10.791 * [taylor]: Taking taylor expansion of 1/3 in x 10.791 * [taylor]: Taking taylor expansion of (log (sqrt 3.0)) in x 10.791 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 10.791 * [taylor]: Taking taylor expansion of 3.0 in x 10.795 * [taylor]: Taking taylor expansion of (* (* (pow (cbrt 3.0) 2) (pow x 2)) (pow (sqrt 3.0) 1/3)) in x 10.795 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 2) (pow x 2)) in x 10.795 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x 10.795 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 10.795 * [taylor]: Taking taylor expansion of 3.0 in x 10.796 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.796 * [taylor]: Taking taylor expansion of x in x 10.796 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 1/3) in x 10.796 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt 3.0)))) in x 10.796 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt 3.0))) in x 10.796 * [taylor]: Taking taylor expansion of 1/3 in x 10.796 * [taylor]: Taking taylor expansion of (log (sqrt 3.0)) in x 10.796 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 10.796 * [taylor]: Taking taylor expansion of 3.0 in x 10.899 * [approximate]: Taking taylor expansion of (* (/ (pow (cbrt 3.0) 2) (pow x 2)) (pow (sqrt 3.0) 1/3)) in (x) around 0 10.899 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt 3.0) 2) (pow x 2)) (pow (sqrt 3.0) 1/3)) in x 10.899 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) (pow x 2)) in x 10.899 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x 10.899 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 10.899 * [taylor]: Taking taylor expansion of 3.0 in x 10.900 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.900 * [taylor]: Taking taylor expansion of x in x 10.902 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 1/3) in x 10.903 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt 3.0)))) in x 10.903 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt 3.0))) in x 10.903 * [taylor]: Taking taylor expansion of 1/3 in x 10.903 * [taylor]: Taking taylor expansion of (log (sqrt 3.0)) in x 10.903 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 10.903 * [taylor]: Taking taylor expansion of 3.0 in x 10.906 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt 3.0) 2) (pow x 2)) (pow (sqrt 3.0) 1/3)) in x 10.906 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) (pow x 2)) in x 10.906 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x 10.906 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 10.906 * [taylor]: Taking taylor expansion of 3.0 in x 10.907 * [taylor]: Taking taylor expansion of (pow x 2) in x 10.907 * [taylor]: Taking taylor expansion of x in x 10.909 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 1/3) in x 10.909 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt 3.0)))) in x 10.909 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt 3.0))) in x 10.909 * [taylor]: Taking taylor expansion of 1/3 in x 10.909 * [taylor]: Taking taylor expansion of (log (sqrt 3.0)) in x 10.909 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 10.909 * [taylor]: Taking taylor expansion of 3.0 in x 11.010 * [approximate]: Taking taylor expansion of (* (/ (pow (cbrt 3.0) 2) (pow x 2)) (pow (sqrt 3.0) 1/3)) in (x) around 0 11.011 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt 3.0) 2) (pow x 2)) (pow (sqrt 3.0) 1/3)) in x 11.011 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) (pow x 2)) in x 11.011 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x 11.011 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 11.011 * [taylor]: Taking taylor expansion of 3.0 in x 11.011 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.011 * [taylor]: Taking taylor expansion of x in x 11.014 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 1/3) in x 11.014 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt 3.0)))) in x 11.014 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt 3.0))) in x 11.014 * [taylor]: Taking taylor expansion of 1/3 in x 11.014 * [taylor]: Taking taylor expansion of (log (sqrt 3.0)) in x 11.014 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 11.014 * [taylor]: Taking taylor expansion of 3.0 in x 11.018 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt 3.0) 2) (pow x 2)) (pow (sqrt 3.0) 1/3)) in x 11.018 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) (pow x 2)) in x 11.018 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x 11.018 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 11.018 * [taylor]: Taking taylor expansion of 3.0 in x 11.018 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.018 * [taylor]: Taking taylor expansion of x in x 11.021 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 1/3) in x 11.021 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sqrt 3.0)))) in x 11.021 * [taylor]: Taking taylor expansion of (* 1/3 (log (sqrt 3.0))) in x 11.021 * [taylor]: Taking taylor expansion of 1/3 in x 11.021 * [taylor]: Taking taylor expansion of (log (sqrt 3.0)) in x 11.021 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 11.021 * [taylor]: Taking taylor expansion of 3.0 in x 11.118 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 1) 11.119 * [approximate]: Taking taylor expansion of (* (pow (cbrt 3.0) 2) (pow x 2)) in (x) around 0 11.119 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 2) (pow x 2)) in x 11.119 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x 11.119 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 11.119 * [taylor]: Taking taylor expansion of 3.0 in x 11.119 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.120 * [taylor]: Taking taylor expansion of x in x 11.120 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 2) (pow x 2)) in x 11.120 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x 11.120 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 11.120 * [taylor]: Taking taylor expansion of 3.0 in x 11.120 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.120 * [taylor]: Taking taylor expansion of x in x 11.144 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) (pow x 2)) in (x) around 0 11.144 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) (pow x 2)) in x 11.144 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x 11.144 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 11.144 * [taylor]: Taking taylor expansion of 3.0 in x 11.145 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.145 * [taylor]: Taking taylor expansion of x in x 11.147 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) (pow x 2)) in x 11.147 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x 11.147 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 11.147 * [taylor]: Taking taylor expansion of 3.0 in x 11.148 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.148 * [taylor]: Taking taylor expansion of x in x 11.173 * [approximate]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) (pow x 2)) in (x) around 0 11.173 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) (pow x 2)) in x 11.173 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x 11.173 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 11.173 * [taylor]: Taking taylor expansion of 3.0 in x 11.174 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.174 * [taylor]: Taking taylor expansion of x in x 11.176 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) (pow x 2)) in x 11.176 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x 11.177 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 11.177 * [taylor]: Taking taylor expansion of 3.0 in x 11.177 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.177 * [taylor]: Taking taylor expansion of x in x 11.199 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 11.201 * [approximate]: Taking taylor expansion of (* (* (pow (cbrt 3.0) 2) (pow x 2)) (pow (pow (sqrt 3.0) 2) 1/3)) in (x) around 0 11.201 * [taylor]: Taking taylor expansion of (* (* (pow (cbrt 3.0) 2) (pow x 2)) (pow (pow (sqrt 3.0) 2) 1/3)) in x 11.201 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 2) (pow x 2)) in x 11.201 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x 11.201 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 11.202 * [taylor]: Taking taylor expansion of 3.0 in x 11.202 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.202 * [taylor]: Taking taylor expansion of x in x 11.202 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 3.0) 2) 1/3) in x 11.202 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 3.0) 2)))) in x 11.202 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 3.0) 2))) in x 11.202 * [taylor]: Taking taylor expansion of 1/3 in x 11.202 * [taylor]: Taking taylor expansion of (log (pow (sqrt 3.0) 2)) in x 11.202 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x 11.202 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 11.202 * [taylor]: Taking taylor expansion of 3.0 in x 11.209 * [taylor]: Taking taylor expansion of (* (* (pow (cbrt 3.0) 2) (pow x 2)) (pow (pow (sqrt 3.0) 2) 1/3)) in x 11.209 * [taylor]: Taking taylor expansion of (* (pow (cbrt 3.0) 2) (pow x 2)) in x 11.209 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x 11.209 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 11.209 * [taylor]: Taking taylor expansion of 3.0 in x 11.210 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.210 * [taylor]: Taking taylor expansion of x in x 11.210 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 3.0) 2) 1/3) in x 11.210 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 3.0) 2)))) in x 11.210 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 3.0) 2))) in x 11.210 * [taylor]: Taking taylor expansion of 1/3 in x 11.210 * [taylor]: Taking taylor expansion of (log (pow (sqrt 3.0) 2)) in x 11.210 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x 11.210 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 11.210 * [taylor]: Taking taylor expansion of 3.0 in x 11.323 * [approximate]: Taking taylor expansion of (* (/ (pow (cbrt 3.0) 2) (pow x 2)) (pow (pow (sqrt 3.0) 2) 1/3)) in (x) around 0 11.323 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt 3.0) 2) (pow x 2)) (pow (pow (sqrt 3.0) 2) 1/3)) in x 11.323 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) (pow x 2)) in x 11.323 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x 11.323 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 11.323 * [taylor]: Taking taylor expansion of 3.0 in x 11.324 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.324 * [taylor]: Taking taylor expansion of x in x 11.326 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 3.0) 2) 1/3) in x 11.326 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 3.0) 2)))) in x 11.326 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 3.0) 2))) in x 11.326 * [taylor]: Taking taylor expansion of 1/3 in x 11.326 * [taylor]: Taking taylor expansion of (log (pow (sqrt 3.0) 2)) in x 11.326 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x 11.326 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 11.326 * [taylor]: Taking taylor expansion of 3.0 in x 11.336 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt 3.0) 2) (pow x 2)) (pow (pow (sqrt 3.0) 2) 1/3)) in x 11.336 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) (pow x 2)) in x 11.336 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x 11.336 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 11.336 * [taylor]: Taking taylor expansion of 3.0 in x 11.337 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.337 * [taylor]: Taking taylor expansion of x in x 11.339 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 3.0) 2) 1/3) in x 11.339 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 3.0) 2)))) in x 11.339 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 3.0) 2))) in x 11.339 * [taylor]: Taking taylor expansion of 1/3 in x 11.339 * [taylor]: Taking taylor expansion of (log (pow (sqrt 3.0) 2)) in x 11.339 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x 11.339 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 11.339 * [taylor]: Taking taylor expansion of 3.0 in x 11.451 * [approximate]: Taking taylor expansion of (* (/ (pow (cbrt 3.0) 2) (pow x 2)) (pow (pow (sqrt 3.0) 2) 1/3)) in (x) around 0 11.451 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt 3.0) 2) (pow x 2)) (pow (pow (sqrt 3.0) 2) 1/3)) in x 11.451 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) (pow x 2)) in x 11.451 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x 11.451 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 11.451 * [taylor]: Taking taylor expansion of 3.0 in x 11.452 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.452 * [taylor]: Taking taylor expansion of x in x 11.454 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 3.0) 2) 1/3) in x 11.454 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 3.0) 2)))) in x 11.454 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 3.0) 2))) in x 11.454 * [taylor]: Taking taylor expansion of 1/3 in x 11.454 * [taylor]: Taking taylor expansion of (log (pow (sqrt 3.0) 2)) in x 11.454 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x 11.454 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 11.454 * [taylor]: Taking taylor expansion of 3.0 in x 11.460 * [taylor]: Taking taylor expansion of (* (/ (pow (cbrt 3.0) 2) (pow x 2)) (pow (pow (sqrt 3.0) 2) 1/3)) in x 11.460 * [taylor]: Taking taylor expansion of (/ (pow (cbrt 3.0) 2) (pow x 2)) in x 11.460 * [taylor]: Taking taylor expansion of (pow (cbrt 3.0) 2) in x 11.460 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 11.460 * [taylor]: Taking taylor expansion of 3.0 in x 11.461 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.461 * [taylor]: Taking taylor expansion of x in x 11.463 * [taylor]: Taking taylor expansion of (pow (pow (sqrt 3.0) 2) 1/3) in x 11.464 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sqrt 3.0) 2)))) in x 11.464 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sqrt 3.0) 2))) in x 11.464 * [taylor]: Taking taylor expansion of 1/3 in x 11.464 * [taylor]: Taking taylor expansion of (log (pow (sqrt 3.0) 2)) in x 11.464 * [taylor]: Taking taylor expansion of (pow (sqrt 3.0) 2) in x 11.464 * [taylor]: Taking taylor expansion of (sqrt 3.0) in x 11.464 * [taylor]: Taking taylor expansion of 3.0 in x 11.577 * * * [progress]: simplifying candidates 11.579 * [simplify]: Simplifying using # : (expm1 (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0)))) (log1p (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0)))) (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (+ (+ (* (log x) 2) (* (log (cbrt 3.0)) 2)) (log (cbrt (sqrt 3.0)))) (+ (+ (* (log x) 2) (* (log (cbrt 3.0)) 2)) (log (cbrt (sqrt 3.0)))) (+ (+ (* (log x) 2) (log (pow (cbrt 3.0) 2))) (log (cbrt (sqrt 3.0)))) (+ (+ (* (log x) 2) (* (log (cbrt 3.0)) 2)) (log (cbrt (sqrt 3.0)))) (+ (+ (* (log x) 2) (* (log (cbrt 3.0)) 2)) (log (cbrt (sqrt 3.0)))) (+ (+ (* (log x) 2) (log (pow (cbrt 3.0) 2))) (log (cbrt (sqrt 3.0)))) (+ (+ (log (pow x 2)) (* (log (cbrt 3.0)) 2)) (log (cbrt (sqrt 3.0)))) (+ (+ (log (pow x 2)) (* (log (cbrt 3.0)) 2)) (log (cbrt (sqrt 3.0)))) (+ (+ (log (pow x 2)) (log (pow (cbrt 3.0) 2))) (log (cbrt (sqrt 3.0)))) (+ (log (* (pow x 2) (pow (cbrt 3.0) 2))) (log (cbrt (sqrt 3.0)))) (log (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0)))) (exp (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0)))) (* (* (* (* (pow x 2) (pow x 2)) (pow x 2)) (* (* (pow (cbrt 3.0) 2) (pow (cbrt 3.0) 2)) (pow (cbrt 3.0) 2))) (sqrt 3.0)) (* (* (* (* (pow x 2) (pow (cbrt 3.0) 2)) (* (pow x 2) (pow (cbrt 3.0) 2))) (* (pow x 2) (pow (cbrt 3.0) 2))) (sqrt 3.0)) (* (cbrt (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0)))) (cbrt (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))))) (cbrt (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0)))) (* (* (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0)))) (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0)))) (sqrt (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0)))) (sqrt (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0)))) (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt (* (cbrt 3.0) (cbrt 3.0))))) (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt (sqrt 3.0)))) (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 1))) (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt (sqrt 3.0)))) (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt 1)) (* (* (pow x 2) (pow (cbrt 3.0) 2)) (* (cbrt (cbrt (sqrt 3.0))) (cbrt (cbrt (sqrt 3.0))))) (* (* (pow x 2) (pow (cbrt 3.0) 2)) (sqrt (cbrt (sqrt 3.0)))) (* (* (pow x 2) (pow (cbrt 3.0) 2)) 1) (* (pow (cbrt 3.0) 2) (cbrt (sqrt 3.0))) (expm1 (* (pow x 2) (pow (cbrt 3.0) 2))) (log1p (* (pow x 2) (pow (cbrt 3.0) 2))) (* x (cbrt 3.0)) (+ (* (log x) 2) (* (log (cbrt 3.0)) 2)) (+ (* (log x) 2) (* (log (cbrt 3.0)) 2)) (+ (* (log x) 2) (log (pow (cbrt 3.0) 2))) (+ (* (log x) 2) (* (log (cbrt 3.0)) 2)) (+ (* (log x) 2) (* (log (cbrt 3.0)) 2)) (+ (* (log x) 2) (log (pow (cbrt 3.0) 2))) (+ (log (pow x 2)) (* (log (cbrt 3.0)) 2)) (+ (log (pow x 2)) (* (log (cbrt 3.0)) 2)) (+ (log (pow x 2)) (log (pow (cbrt 3.0) 2))) (log (* (pow x 2) (pow (cbrt 3.0) 2))) (exp (* (pow x 2) (pow (cbrt 3.0) 2))) (* (* (* (pow x 2) (pow x 2)) (pow x 2)) (* (* (pow (cbrt 3.0) 2) (pow (cbrt 3.0) 2)) (pow (cbrt 3.0) 2))) (* (cbrt (* (pow x 2) (pow (cbrt 3.0) 2))) (cbrt (* (pow x 2) (pow (cbrt 3.0) 2)))) (cbrt (* (pow x 2) (pow (cbrt 3.0) 2))) (* (* (* (pow x 2) (pow (cbrt 3.0) 2)) (* (pow x 2) (pow (cbrt 3.0) 2))) (* (pow x 2) (pow (cbrt 3.0) 2))) (sqrt (* (pow x 2) (pow (cbrt 3.0) 2))) (sqrt (* (pow x 2) (pow (cbrt 3.0) 2))) (* (pow (sqrt x) 2) (pow (cbrt (sqrt 3.0)) 2)) (* (pow (sqrt x) 2) (pow (cbrt (sqrt 3.0)) 2)) (* (pow (sqrt x) 2) (pow (sqrt (cbrt 3.0)) 2)) (* (pow (sqrt x) 2) (pow (sqrt (cbrt 3.0)) 2)) (* (pow (sqrt x) 2) (cbrt 3.0)) (* (pow (sqrt x) 2) (cbrt 3.0)) (* (pow (sqrt x) 2) (sqrt (pow (cbrt 3.0) 2))) (* (pow (sqrt x) 2) (sqrt (pow (cbrt 3.0) 2))) (* (pow (sqrt x) 2) (pow (cbrt 3.0) (/ 2 2))) (* (pow (sqrt x) 2) (pow (cbrt 3.0) (/ 2 2))) (* x (pow (cbrt (sqrt 3.0)) 2)) (* x (pow (cbrt (sqrt 3.0)) 2)) (* x (pow (sqrt (cbrt 3.0)) 2)) (* x (pow (sqrt (cbrt 3.0)) 2)) (* x (cbrt 3.0)) (* x (cbrt 3.0)) (* x (sqrt (pow (cbrt 3.0) 2))) (* x (sqrt (pow (cbrt 3.0) 2))) (* x (pow (cbrt 3.0) (/ 2 2))) (* x (pow (cbrt 3.0) (/ 2 2))) (* (sqrt (pow x 2)) (pow (cbrt (sqrt 3.0)) 2)) (* (sqrt (pow x 2)) (pow (cbrt (sqrt 3.0)) 2)) (* (sqrt (pow x 2)) (pow (sqrt (cbrt 3.0)) 2)) (* (sqrt (pow x 2)) (pow (sqrt (cbrt 3.0)) 2)) (* (sqrt (pow x 2)) (cbrt 3.0)) (* (sqrt (pow x 2)) (cbrt 3.0)) (* (sqrt (pow x 2)) (sqrt (pow (cbrt 3.0) 2))) (* (sqrt (pow x 2)) (sqrt (pow (cbrt 3.0) 2))) (* (sqrt (pow x 2)) (pow (cbrt 3.0) (/ 2 2))) (* (sqrt (pow x 2)) (pow (cbrt 3.0) (/ 2 2))) (* (pow x (/ 2 2)) (pow (cbrt (sqrt 3.0)) 2)) (* (pow x (/ 2 2)) (pow (cbrt (sqrt 3.0)) 2)) (* (pow x (/ 2 2)) (pow (sqrt (cbrt 3.0)) 2)) (* (pow x (/ 2 2)) (pow (sqrt (cbrt 3.0)) 2)) (* (pow x (/ 2 2)) (cbrt 3.0)) (* (pow x (/ 2 2)) (cbrt 3.0)) (* (pow x (/ 2 2)) (sqrt (pow (cbrt 3.0) 2))) (* (pow x (/ 2 2)) (sqrt (pow (cbrt 3.0) 2))) (* (pow x (/ 2 2)) (pow (cbrt 3.0) (/ 2 2))) (* (pow x (/ 2 2)) (pow (cbrt 3.0) (/ 2 2))) (* (pow x 2) (pow (cbrt (* (cbrt 3.0) (cbrt 3.0))) 2)) (* (pow x 2) (pow (cbrt (sqrt 3.0)) 2)) (* (pow x 2) (pow (cbrt 1) 2)) (* (pow x 2) (pow (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))) 2)) (* (pow x 2) (pow (sqrt (cbrt 3.0)) 2)) (* (pow x 2) (pow 1 2)) (* (pow x 2) (cbrt 3.0)) (* (pow x 2) (* (cbrt (pow (cbrt 3.0) 2)) (cbrt (pow (cbrt 3.0) 2)))) (* (pow x 2) (sqrt (pow (cbrt 3.0) 2))) (* (pow x 2) 1) (* (pow x 2) (pow (cbrt 3.0) (/ 2 2))) (* (pow (cbrt x) 2) (pow (cbrt 3.0) 2)) (* (pow (sqrt x) 2) (pow (cbrt 3.0) 2)) (* (pow x 2) (pow (cbrt 3.0) 2)) (* x (pow (cbrt 3.0) 2)) (* (cbrt (pow x 2)) (pow (cbrt 3.0) 2)) (* (sqrt (pow x 2)) (pow (cbrt 3.0) 2)) (* (pow x 2) (pow (cbrt 3.0) 2)) (* (pow x (/ 2 2)) (pow (cbrt 3.0) 2)) (expm1 (* (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (cbrt (sqrt 3.0)))) (log1p (* (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (cbrt (sqrt 3.0)))) (* (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (cbrt (sqrt 3.0))) (* (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (cbrt (sqrt 3.0))) (+ (+ (+ (* (log x) 2) (* (log (cbrt 3.0)) 2)) (log (cbrt (sqrt 3.0)))) (log (cbrt (sqrt 3.0)))) (+ (+ (+ (* (log x) 2) (* (log (cbrt 3.0)) 2)) (log (cbrt (sqrt 3.0)))) (log (cbrt (sqrt 3.0)))) (+ (+ (+ (* (log x) 2) (log (pow (cbrt 3.0) 2))) (log (cbrt (sqrt 3.0)))) (log (cbrt (sqrt 3.0)))) (+ (+ (+ (* (log x) 2) (* (log (cbrt 3.0)) 2)) (log (cbrt (sqrt 3.0)))) (log (cbrt (sqrt 3.0)))) (+ (+ (+ (* (log x) 2) (* (log (cbrt 3.0)) 2)) (log (cbrt (sqrt 3.0)))) (log (cbrt (sqrt 3.0)))) (+ (+ (+ (* (log x) 2) (log (pow (cbrt 3.0) 2))) (log (cbrt (sqrt 3.0)))) (log (cbrt (sqrt 3.0)))) (+ (+ (+ (log (pow x 2)) (* (log (cbrt 3.0)) 2)) (log (cbrt (sqrt 3.0)))) (log (cbrt (sqrt 3.0)))) (+ (+ (+ (log (pow x 2)) (* (log (cbrt 3.0)) 2)) (log (cbrt (sqrt 3.0)))) (log (cbrt (sqrt 3.0)))) (+ (+ (+ (log (pow x 2)) (log (pow (cbrt 3.0) 2))) (log (cbrt (sqrt 3.0)))) (log (cbrt (sqrt 3.0)))) (+ (+ (log (* (pow x 2) (pow (cbrt 3.0) 2))) (log (cbrt (sqrt 3.0)))) (log (cbrt (sqrt 3.0)))) (+ (log (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0)))) (log (cbrt (sqrt 3.0)))) (log (* (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (cbrt (sqrt 3.0)))) (exp (* (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (cbrt (sqrt 3.0)))) (* (* (* (* (* (pow x 2) (pow x 2)) (pow x 2)) (* (* (pow (cbrt 3.0) 2) (pow (cbrt 3.0) 2)) (pow (cbrt 3.0) 2))) (sqrt 3.0)) (sqrt 3.0)) (* (* (* (* (* (pow x 2) (pow (cbrt 3.0) 2)) (* (pow x 2) (pow (cbrt 3.0) 2))) (* (pow x 2) (pow (cbrt 3.0) 2))) (sqrt 3.0)) (sqrt 3.0)) (* (* (* (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0)))) (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0)))) (sqrt 3.0)) (* (cbrt (* (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (cbrt (sqrt 3.0)))) (cbrt (* (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (cbrt (sqrt 3.0))))) (cbrt (* (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (cbrt (sqrt 3.0)))) (* (* (* (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (cbrt (sqrt 3.0))) (* (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (cbrt (sqrt 3.0)))) (* (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (cbrt (sqrt 3.0)))) (sqrt (* (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (cbrt (sqrt 3.0)))) (sqrt (* (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (cbrt (sqrt 3.0)))) (* (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (cbrt (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))))) (* (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (cbrt (sqrt (* (cbrt 3.0) (cbrt 3.0))))) (* (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (cbrt (sqrt 1))) (* (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (cbrt 1)) (* (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (* (cbrt (cbrt (sqrt 3.0))) (cbrt (cbrt (sqrt 3.0))))) (* (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (sqrt (cbrt (sqrt 3.0)))) (* (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) 1) (* (cbrt (sqrt 3.0)) (cbrt (sqrt 3.0))) (* (* (pow (cbrt 3.0) 2) (pow x 2)) (pow (sqrt 3.0) 1/3)) (* (* (pow (cbrt 3.0) 2) (pow x 2)) (pow (sqrt 3.0) 1/3)) (* (* (pow (cbrt 3.0) 2) (pow x 2)) (pow (sqrt 3.0) 1/3)) (* (pow (cbrt 3.0) 2) (pow x 2)) (* (pow (cbrt 3.0) 2) (pow x 2)) (* (pow (cbrt 3.0) 2) (pow x 2)) (* (* (pow (cbrt 3.0) 2) (pow x 2)) (pow (pow (sqrt 3.0) 2) 1/3)) (* (* (pow (cbrt 3.0) 2) (pow x 2)) (pow (pow (sqrt 3.0) 2) 1/3)) (* (* (pow (cbrt 3.0) 2) (pow x 2)) (pow (pow (sqrt 3.0) 2) 1/3)) 11.585 * * [simplify]: iteration 0 : 167 enodes (cost 2101 ) 11.626 * * [simplify]: iteration 1 : 396 enodes (cost 1786 ) 11.949 * * [simplify]: iteration 2 : 1851 enodes (cost 1516 ) 12.553 * * [simplify]: iteration done : 5000 enodes (cost 1516 ) 12.554 * [simplify]: Simplified to: (expm1 (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0)))) (log1p (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0)))) (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (fma 2 (+ (log x) (log (cbrt 3.0))) (log (cbrt (sqrt 3.0)))) (fma 2 (+ (log x) (log (cbrt 3.0))) (log (cbrt (sqrt 3.0)))) (fma 2 (+ (log x) (log (cbrt 3.0))) (log (cbrt (sqrt 3.0)))) (fma 2 (+ (log x) (log (cbrt 3.0))) (log (cbrt (sqrt 3.0)))) (fma 2 (+ (log x) (log (cbrt 3.0))) (log (cbrt (sqrt 3.0)))) (fma 2 (+ (log x) (log (cbrt 3.0))) (log (cbrt (sqrt 3.0)))) (fma 2 (+ (log x) (log (cbrt 3.0))) (log (cbrt (sqrt 3.0)))) (fma 2 (+ (log x) (log (cbrt 3.0))) (log (cbrt (sqrt 3.0)))) (fma 2 (+ (log x) (log (cbrt 3.0))) (log (cbrt (sqrt 3.0)))) (fma 2 (+ (log x) (log (cbrt 3.0))) (log (cbrt (sqrt 3.0)))) (fma 2 (+ (log x) (log (cbrt 3.0))) (log (cbrt (sqrt 3.0)))) (exp (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0)))) (* (sqrt 3.0) (pow (* (pow (cbrt 3.0) 2) (pow x 2)) 3)) (* (sqrt 3.0) (pow (* (pow (cbrt 3.0) 2) (pow x 2)) 3)) (* (cbrt (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0)))) (cbrt (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))))) (cbrt (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0)))) (pow (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) 3) (sqrt (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0)))) (sqrt (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0)))) (* (cbrt (pow (sqrt 3.0) 2/3)) (* (pow (cbrt 3.0) 2) (pow x 2))) (* (* (pow (cbrt 3.0) 2) (pow x 2)) (cbrt (fabs (cbrt 3.0)))) (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt (sqrt 3.0)))) (* (pow (cbrt 3.0) 2) (pow x 2)) (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt (sqrt 3.0)))) (* (pow (cbrt 3.0) 2) (pow x 2)) (* (* (pow x 2) (pow (cbrt 3.0) 2)) (* (cbrt (cbrt (sqrt 3.0))) (cbrt (cbrt (sqrt 3.0))))) (* (* (pow x 2) (pow (cbrt 3.0) 2)) (sqrt (cbrt (sqrt 3.0)))) (* (pow (cbrt 3.0) 2) (pow x 2)) (* (cbrt (sqrt 3.0)) (pow (cbrt 3.0) 2)) (expm1 (* (pow x 2) (pow (cbrt 3.0) 2))) (log1p (* (pow x 2) (pow (cbrt 3.0) 2))) (* (cbrt 3.0) x) (* 2 (+ (log x) (log (cbrt 3.0)))) (* 2 (+ (log x) (log (cbrt 3.0)))) (* 2 (+ (log x) (log (cbrt 3.0)))) (* 2 (+ (log x) (log (cbrt 3.0)))) (* 2 (+ (log x) (log (cbrt 3.0)))) (* 2 (+ (log x) (log (cbrt 3.0)))) (* 2 (+ (log x) (log (cbrt 3.0)))) (* 2 (+ (log x) (log (cbrt 3.0)))) (* 2 (+ (log x) (log (cbrt 3.0)))) (* 2 (+ (log x) (log (cbrt 3.0)))) (exp (* (pow x 2) (pow (cbrt 3.0) 2))) (pow (* (pow (cbrt 3.0) 2) (pow x 2)) 3) (* (cbrt (* (pow x 2) (pow (cbrt 3.0) 2))) (cbrt (* (pow x 2) (pow (cbrt 3.0) 2)))) (cbrt (* (pow x 2) (pow (cbrt 3.0) 2))) (pow (* (pow (cbrt 3.0) 2) (pow x 2)) 3) (sqrt (* (pow x 2) (pow (cbrt 3.0) 2))) (sqrt (* (pow x 2) (pow (cbrt 3.0) 2))) (* (pow (sqrt 3.0) 2/3) x) (* (pow (sqrt 3.0) 2/3) x) (* (cbrt 3.0) x) (* (cbrt 3.0) x) (* (cbrt 3.0) x) (* (cbrt 3.0) x) (* x (fabs (cbrt 3.0))) (* x (fabs (cbrt 3.0))) (* (cbrt 3.0) x) (* (cbrt 3.0) x) (* (pow (sqrt 3.0) 2/3) x) (* (pow (sqrt 3.0) 2/3) x) (* (cbrt 3.0) x) (* (cbrt 3.0) x) (* (cbrt 3.0) x) (* (cbrt 3.0) x) (* x (fabs (cbrt 3.0))) (* x (fabs (cbrt 3.0))) (* (cbrt 3.0) x) (* (cbrt 3.0) x) (* (fabs x) (pow (sqrt 3.0) 2/3)) (* (fabs x) (pow (sqrt 3.0) 2/3)) (* (cbrt 3.0) (fabs x)) (* (cbrt 3.0) (fabs x)) (* (cbrt 3.0) (fabs x)) (* (cbrt 3.0) (fabs x)) (* (fabs x) (fabs (cbrt 3.0))) (* (fabs x) (fabs (cbrt 3.0))) (* (cbrt 3.0) (fabs x)) (* (cbrt 3.0) (fabs x)) (* (pow (sqrt 3.0) 2/3) x) (* (pow (sqrt 3.0) 2/3) x) (* (cbrt 3.0) x) (* (cbrt 3.0) x) (* (cbrt 3.0) x) (* (cbrt 3.0) x) (* x (fabs (cbrt 3.0))) (* x (fabs (cbrt 3.0))) (* (cbrt 3.0) x) (* (cbrt 3.0) x) (* (* x x) (pow (cbrt (pow (cbrt 3.0) 2)) 2)) (* (* x x) (pow (sqrt 3.0) 2/3)) (* x x) (* (pow x 2) (pow (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0))) 2)) (* (pow x 2) (cbrt 3.0)) (* x x) (* (pow x 2) (cbrt 3.0)) (* (* x x) (pow (cbrt (pow (cbrt 3.0) 2)) 2)) (* (* x x) (fabs (cbrt 3.0))) (* x x) (* (pow x 2) (cbrt 3.0)) (* (pow (cbrt x) 2) (pow (cbrt 3.0) 2)) (* x (pow (cbrt 3.0) 2)) (* (pow (cbrt 3.0) 2) (pow x 2)) (* x (pow (cbrt 3.0) 2)) (* (cbrt (pow x 2)) (pow (cbrt 3.0) 2)) (* (pow (cbrt 3.0) 2) (fabs x)) (* (pow (cbrt 3.0) 2) (pow x 2)) (* x (pow (cbrt 3.0) 2)) (expm1 (* (* x x) (* (pow (cbrt 3.0) 2) (pow (sqrt 3.0) 2/3)))) (log1p (* (* x x) (* (pow (cbrt 3.0) 2) (pow (sqrt 3.0) 2/3)))) (* (* x x) (* (pow (cbrt 3.0) 2) (pow (sqrt 3.0) 2/3))) (* (* x x) (* (pow (cbrt 3.0) 2) (pow (sqrt 3.0) 2/3))) (fma 2 (+ (log x) (log (cbrt 3.0))) (* 2 (log (cbrt (sqrt 3.0))))) (fma 2 (+ (log x) (log (cbrt 3.0))) (* 2 (log (cbrt (sqrt 3.0))))) (fma 2 (+ (log x) (log (cbrt 3.0))) (* 2 (log (cbrt (sqrt 3.0))))) (fma 2 (+ (log x) (log (cbrt 3.0))) (* 2 (log (cbrt (sqrt 3.0))))) (fma 2 (+ (log x) (log (cbrt 3.0))) (* 2 (log (cbrt (sqrt 3.0))))) (fma 2 (+ (log x) (log (cbrt 3.0))) (* 2 (log (cbrt (sqrt 3.0))))) (fma 2 (+ (log x) (log (cbrt 3.0))) (* 2 (log (cbrt (sqrt 3.0))))) (fma 2 (+ (log x) (log (cbrt 3.0))) (* 2 (log (cbrt (sqrt 3.0))))) (fma 2 (+ (log x) (log (cbrt 3.0))) (* 2 (log (cbrt (sqrt 3.0))))) (fma 2 (+ (log x) (log (cbrt 3.0))) (* 2 (log (cbrt (sqrt 3.0))))) (fma 2 (+ (log x) (log (cbrt 3.0))) (* 2 (log (cbrt (sqrt 3.0))))) (fma 2 (+ (log x) (log (cbrt 3.0))) (* 2 (log (cbrt (sqrt 3.0))))) (pow (exp (* (pow x 2) (pow (cbrt 3.0) 2))) (pow (sqrt 3.0) 2/3)) (* 3.0 (pow (* (pow (cbrt 3.0) 2) (pow x 2)) 3)) (* 3.0 (pow (* (pow (cbrt 3.0) 2) (pow x 2)) 3)) (* (sqrt 3.0) (pow (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) 3)) (* (cbrt (* (* x x) (* (pow (cbrt 3.0) 2) (pow (sqrt 3.0) 2/3)))) (cbrt (* (* x x) (* (pow (cbrt 3.0) 2) (pow (sqrt 3.0) 2/3))))) (cbrt (* (* x x) (* (pow (cbrt 3.0) 2) (pow (sqrt 3.0) 2/3)))) (pow (* (* x x) (* (pow (cbrt 3.0) 2) (pow (sqrt 3.0) 2/3))) 3) (sqrt (* (* x x) (* (pow (cbrt 3.0) 2) (pow (sqrt 3.0) 2/3)))) (sqrt (* (* x x) (* (pow (cbrt 3.0) 2) (pow (sqrt 3.0) 2/3)))) (* (* (cbrt (pow (sqrt 3.0) 2/3)) (cbrt (sqrt 3.0))) (* (pow (cbrt 3.0) 2) (pow x 2))) (* (* (pow (cbrt 3.0) 2) (pow x 2)) (* (cbrt (sqrt 3.0)) (cbrt (fabs (cbrt 3.0))))) (* (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (* (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (cbrt (sqrt (sqrt 3.0)))) (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (* (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (* (cbrt (cbrt (sqrt 3.0))) (cbrt (cbrt (sqrt 3.0))))) (* (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (sqrt (cbrt (sqrt 3.0)))) (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (pow (sqrt 3.0) 2/3) (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (* (* (pow x 2) (pow (cbrt 3.0) 2)) (cbrt (sqrt 3.0))) (* (pow (cbrt 3.0) 2) (pow x 2)) (* (pow (cbrt 3.0) 2) (pow x 2)) (* (pow (cbrt 3.0) 2) (pow x 2)) (* (* (pow (cbrt 3.0) 2) (pow x 2)) (cbrt 3.0)) (* (* (pow (cbrt 3.0) 2) (pow x 2)) (cbrt 3.0)) (* (* (pow (cbrt 3.0) 2) (pow x 2)) (cbrt 3.0)) 12.555 * * * [progress]: adding candidates to table 12.861 * [progress]: [Phase 3 of 3] Extracting. 12.861 * * [regime]: Finding splitpoints for: (# # # # #) 12.861 * * * [regime-changes]: Trying 2 branch expressions: ((* (* x 3.0) x) x) 12.861 * * * * [regimes]: Trying to branch on (* (* x 3.0) x) from (# # # # #) 12.881 * * * * [regimes]: Trying to branch on x from (# # # # #) 12.905 * * * [regime]: Found split indices: #