14.265 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.016 * * * [progress]: [2/2] Setting up program. 0.018 * [progress]: [Phase 2 of 3] Improving. 0.018 * [simplify]: Simplifying using # : (* x (log x)) 0.019 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 0.019 * * [simplify]: iteration 1 : 4 enodes (cost 4 ) 0.019 * * [simplify]: iteration done : 4 enodes (cost 4 ) 0.019 * [simplify]: Simplified to: (* x (log x)) 0.020 * * [progress]: iteration 1 / 4 0.020 * * * [progress]: picking best candidate 0.021 * * * * [pick]: Picked # 0.021 * * * [progress]: localizing error 0.025 * * * [progress]: generating rewritten candidates 0.025 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.029 * * * [progress]: generating series expansions 0.029 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.030 * [approximate]: Taking taylor expansion of (* (log x) x) in (x) around 0 0.030 * [taylor]: Taking taylor expansion of (* (log x) x) in x 0.030 * [taylor]: Taking taylor expansion of (log x) in x 0.030 * [taylor]: Taking taylor expansion of x in x 0.030 * [taylor]: Taking taylor expansion of x in x 0.030 * [taylor]: Taking taylor expansion of (* (log x) x) in x 0.030 * [taylor]: Taking taylor expansion of (log x) in x 0.030 * [taylor]: Taking taylor expansion of x in x 0.030 * [taylor]: Taking taylor expansion of x in x 0.097 * [approximate]: Taking taylor expansion of (/ (log (/ 1 x)) x) in (x) around 0 0.097 * [taylor]: Taking taylor expansion of (/ (log (/ 1 x)) x) in x 0.097 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.097 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.097 * [taylor]: Taking taylor expansion of x in x 0.097 * [taylor]: Taking taylor expansion of x in x 0.098 * [taylor]: Taking taylor expansion of (/ (log (/ 1 x)) x) in x 0.098 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.098 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.098 * [taylor]: Taking taylor expansion of x in x 0.099 * [taylor]: Taking taylor expansion of x in x 0.143 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 x)) x)) in (x) around 0 0.143 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 x)) x)) in x 0.143 * [taylor]: Taking taylor expansion of -1 in x 0.143 * [taylor]: Taking taylor expansion of (/ (log (/ -1 x)) x) in x 0.143 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.143 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.143 * [taylor]: Taking taylor expansion of -1 in x 0.143 * [taylor]: Taking taylor expansion of x in x 0.144 * [taylor]: Taking taylor expansion of x in x 0.145 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 x)) x)) in x 0.145 * [taylor]: Taking taylor expansion of -1 in x 0.145 * [taylor]: Taking taylor expansion of (/ (log (/ -1 x)) x) in x 0.145 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.145 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.145 * [taylor]: Taking taylor expansion of -1 in x 0.145 * [taylor]: Taking taylor expansion of x in x 0.146 * [taylor]: Taking taylor expansion of x in x 0.204 * * * [progress]: simplifying candidates 0.204 * [simplify]: Simplifying using # : (expm1 (* x (log x))) (log1p (* x (log x))) (* x (log x)) (+ (log x) (log (log x))) (log (* x (log x))) (exp (* x (log x))) (* (* (* x x) x) (* (* (log x) (log x)) (log x))) (* (cbrt (* x (log x))) (cbrt (* x (log x)))) (cbrt (* x (log x))) (* (* (* x (log x)) (* x (log x))) (* x (log x))) (sqrt (* x (log x))) (sqrt (* x (log x))) (* (sqrt x) (sqrt (log x))) (* (sqrt x) (sqrt (log x))) (* x (log (* (cbrt x) (cbrt x)))) (* x (log (cbrt x))) (* x (log (sqrt x))) (* x (log (sqrt x))) (* x (log 1)) (* x (log x)) (* (log (* (cbrt x) (cbrt x))) x) (* (log (cbrt x)) x) (* (log (sqrt x)) x) (* (log (sqrt x)) x) (* (log 1) x) (* (log x) x) (* x 1) (* x (* (cbrt (log x)) (cbrt (log x)))) (* x (sqrt (log x))) (* x 1) (* (cbrt x) (log x)) (* (sqrt x) (log x)) (* x (log x)) (* (log x) x) (* -1 (* x (log (/ 1 x)))) (* x (- (log -1) (log (/ -1 x)))) 0.206 * * [simplify]: iteration 0 : 55 enodes (cost 213 ) 0.216 * * [simplify]: iteration 1 : 95 enodes (cost 204 ) 0.232 * * [simplify]: iteration 2 : 181 enodes (cost 180 ) 0.283 * * [simplify]: iteration 3 : 269 enodes (cost 173 ) 0.473 * * [simplify]: iteration 4 : 1103 enodes (cost 173 ) 1.922 * * [simplify]: iteration done : 5000 enodes (cost 173 ) 1.922 * [simplify]: Simplified to: (expm1 (* x (log x))) (log1p (* x (log x))) (* (log x) x) (log (* x (log x))) (log (* x (log x))) (pow x x) (pow (* (log x) x) 3) (* (cbrt (* x (log x))) (cbrt (* x (log x)))) (cbrt (* x (log x))) (pow (* (log x) x) 3) (sqrt (* x (log x))) (sqrt (* x (log x))) (* (sqrt x) (sqrt (log x))) (* (sqrt x) (sqrt (log x))) (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x))) (* x (log (sqrt x))) (* x (log (sqrt x))) 0 (* (log x) x) (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x))) (* x (log (sqrt x))) (* x (log (sqrt x))) 0 (* (log x) x) x (* x (* (cbrt (log x)) (cbrt (log x)))) (* x (sqrt (log x))) x (* (cbrt x) (log x)) (* (sqrt x) (log x)) (* (log x) x) (* (log x) x) (* (log x) x) (* (log x) x) 1.922 * * * [progress]: adding candidates to table 1.965 * * [progress]: iteration 2 / 4 1.965 * * * [progress]: picking best candidate 1.976 * * * * [pick]: Picked # 1.976 * * * [progress]: localizing error 1.984 * * * [progress]: generating rewritten candidates 1.984 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 1.985 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1) 1.986 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 1.995 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 2.005 * * * [progress]: generating series expansions 2.005 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 2.005 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.005 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.005 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.005 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.005 * [taylor]: Taking taylor expansion of 1/3 in x 2.005 * [taylor]: Taking taylor expansion of (log x) in x 2.005 * [taylor]: Taking taylor expansion of x in x 2.006 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.006 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.006 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.006 * [taylor]: Taking taylor expansion of 1/3 in x 2.006 * [taylor]: Taking taylor expansion of (log x) in x 2.006 * [taylor]: Taking taylor expansion of x in x 2.056 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.056 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.056 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.056 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.057 * [taylor]: Taking taylor expansion of 1/3 in x 2.057 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.057 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.057 * [taylor]: Taking taylor expansion of x in x 2.057 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.057 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.057 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.057 * [taylor]: Taking taylor expansion of 1/3 in x 2.057 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.057 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.058 * [taylor]: Taking taylor expansion of x in x 2.113 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 2.113 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.113 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.113 * [taylor]: Taking taylor expansion of -1 in x 2.114 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.114 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.114 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.114 * [taylor]: Taking taylor expansion of 1/3 in x 2.114 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.114 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.114 * [taylor]: Taking taylor expansion of x in x 2.115 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.115 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.115 * [taylor]: Taking taylor expansion of -1 in x 2.116 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.116 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.116 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.116 * [taylor]: Taking taylor expansion of 1/3 in x 2.116 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.116 * [taylor]: Taking taylor expansion of x in x 2.184 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1) 2.184 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.184 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.184 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.184 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.184 * [taylor]: Taking taylor expansion of 1/3 in x 2.184 * [taylor]: Taking taylor expansion of (log x) in x 2.184 * [taylor]: Taking taylor expansion of x in x 2.184 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.184 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.184 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.184 * [taylor]: Taking taylor expansion of 1/3 in x 2.184 * [taylor]: Taking taylor expansion of (log x) in x 2.184 * [taylor]: Taking taylor expansion of x in x 2.232 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.232 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.232 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.232 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.232 * [taylor]: Taking taylor expansion of 1/3 in x 2.232 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.232 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.232 * [taylor]: Taking taylor expansion of x in x 2.233 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.233 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.233 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.233 * [taylor]: Taking taylor expansion of 1/3 in x 2.233 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.233 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.233 * [taylor]: Taking taylor expansion of x in x 2.290 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 2.290 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.290 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.290 * [taylor]: Taking taylor expansion of -1 in x 2.291 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.291 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.291 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.291 * [taylor]: Taking taylor expansion of 1/3 in x 2.291 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.291 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.291 * [taylor]: Taking taylor expansion of x in x 2.292 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.292 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.292 * [taylor]: Taking taylor expansion of -1 in x 2.292 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.292 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.292 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.292 * [taylor]: Taking taylor expansion of 1/3 in x 2.292 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.292 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.292 * [taylor]: Taking taylor expansion of x in x 2.360 * * * * [progress]: [ 3 / 4 ] generating series at (2) 2.361 * [approximate]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in (x) around 0 2.361 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in x 2.361 * [taylor]: Taking taylor expansion of 3 in x 2.361 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 2.361 * [taylor]: Taking taylor expansion of x in x 2.361 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 2.361 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.361 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.361 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.361 * [taylor]: Taking taylor expansion of 1/3 in x 2.361 * [taylor]: Taking taylor expansion of (log x) in x 2.361 * [taylor]: Taking taylor expansion of x in x 2.361 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in x 2.361 * [taylor]: Taking taylor expansion of 3 in x 2.361 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 2.362 * [taylor]: Taking taylor expansion of x in x 2.362 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 2.362 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.362 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.362 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.362 * [taylor]: Taking taylor expansion of 1/3 in x 2.362 * [taylor]: Taking taylor expansion of (log x) in x 2.362 * [taylor]: Taking taylor expansion of x in x 2.495 * [approximate]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in (x) around 0 2.495 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in x 2.495 * [taylor]: Taking taylor expansion of 3 in x 2.495 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 2.495 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 2.495 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.495 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.495 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.495 * [taylor]: Taking taylor expansion of 1/3 in x 2.495 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.495 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.495 * [taylor]: Taking taylor expansion of x in x 2.496 * [taylor]: Taking taylor expansion of x in x 2.496 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in x 2.496 * [taylor]: Taking taylor expansion of 3 in x 2.496 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 2.496 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 2.496 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.496 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.496 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.496 * [taylor]: Taking taylor expansion of 1/3 in x 2.496 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.496 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.496 * [taylor]: Taking taylor expansion of x in x 2.497 * [taylor]: Taking taylor expansion of x in x 2.586 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in (x) around 0 2.586 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in x 2.586 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 2.586 * [taylor]: Taking taylor expansion of 3 in x 2.586 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 2.586 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 2.586 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.586 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.586 * [taylor]: Taking taylor expansion of -1 in x 2.587 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.587 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.587 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.587 * [taylor]: Taking taylor expansion of 1/3 in x 2.587 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.587 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.587 * [taylor]: Taking taylor expansion of x in x 2.589 * [taylor]: Taking taylor expansion of x in x 2.589 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in x 2.589 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 2.589 * [taylor]: Taking taylor expansion of 3 in x 2.589 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 2.589 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 2.589 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.589 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.589 * [taylor]: Taking taylor expansion of -1 in x 2.590 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.590 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.590 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.590 * [taylor]: Taking taylor expansion of 1/3 in x 2.590 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.590 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.590 * [taylor]: Taking taylor expansion of x in x 2.591 * [taylor]: Taking taylor expansion of x in x 2.707 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 2.707 * [approximate]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in (x) around 0 2.707 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in x 2.707 * [taylor]: Taking taylor expansion of 2 in x 2.707 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 2.707 * [taylor]: Taking taylor expansion of x in x 2.707 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 2.707 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.707 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.708 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.708 * [taylor]: Taking taylor expansion of 1/3 in x 2.708 * [taylor]: Taking taylor expansion of (log x) in x 2.708 * [taylor]: Taking taylor expansion of x in x 2.708 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in x 2.708 * [taylor]: Taking taylor expansion of 2 in x 2.708 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 2.708 * [taylor]: Taking taylor expansion of x in x 2.708 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 2.708 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.708 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.708 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.708 * [taylor]: Taking taylor expansion of 1/3 in x 2.708 * [taylor]: Taking taylor expansion of (log x) in x 2.708 * [taylor]: Taking taylor expansion of x in x 2.841 * [approximate]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in (x) around 0 2.842 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in x 2.842 * [taylor]: Taking taylor expansion of 2 in x 2.842 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 2.842 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 2.842 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.842 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.842 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.842 * [taylor]: Taking taylor expansion of 1/3 in x 2.842 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.842 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.842 * [taylor]: Taking taylor expansion of x in x 2.843 * [taylor]: Taking taylor expansion of x in x 2.843 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in x 2.843 * [taylor]: Taking taylor expansion of 2 in x 2.843 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 2.843 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 2.843 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.843 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.843 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.843 * [taylor]: Taking taylor expansion of 1/3 in x 2.843 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.843 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.843 * [taylor]: Taking taylor expansion of x in x 2.844 * [taylor]: Taking taylor expansion of x in x 2.933 * [approximate]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in (x) around 0 2.933 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 2.933 * [taylor]: Taking taylor expansion of -2 in x 2.933 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 2.933 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 2.933 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.933 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.933 * [taylor]: Taking taylor expansion of -1 in x 2.934 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.934 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.934 * [taylor]: Taking taylor expansion of 1/3 in x 2.934 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.934 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.934 * [taylor]: Taking taylor expansion of x in x 2.936 * [taylor]: Taking taylor expansion of x in x 2.936 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 2.936 * [taylor]: Taking taylor expansion of -2 in x 2.936 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 2.936 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 2.936 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.936 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.936 * [taylor]: Taking taylor expansion of -1 in x 2.937 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.937 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.937 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.937 * [taylor]: Taking taylor expansion of 1/3 in x 2.937 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.937 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.937 * [taylor]: Taking taylor expansion of x in x 2.939 * [taylor]: Taking taylor expansion of x in x 3.058 * * * [progress]: simplifying candidates 3.059 * [simplify]: Simplifying using # : (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x))))) (log1p (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x))))) (* (exp (* (* 2 (log (cbrt x))) x)) (exp (* x (log (cbrt x))))) (log (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x))))) (exp (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x))))) (* (cbrt (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x))))) (cbrt (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x)))))) (cbrt (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x))))) (* (* (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x)))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x))))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x))))) (sqrt (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x))))) (sqrt (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x))))) (+ (pow (* (* 2 (log (cbrt x))) x) 3) (pow (* x (log (cbrt x))) 3)) (+ (* (* (* 2 (log (cbrt x))) x) (* (* 2 (log (cbrt x))) x)) (- (* (* x (log (cbrt x))) (* x (log (cbrt x)))) (* (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x)))))) (- (* (* (* 2 (log (cbrt x))) x) (* (* 2 (log (cbrt x))) x)) (* (* x (log (cbrt x))) (* x (log (cbrt x))))) (- (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x)))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt (* (cbrt x) (cbrt x)))))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt (sqrt x))))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt 1)))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (sqrt (cbrt x))))) (+ (* (* 2 (log (cbrt x))) x) (* x (log 1))) (+ (* (* 2 (log (cbrt x))) x) (* (log (cbrt (* (cbrt x) (cbrt x)))) x)) (+ (* (* 2 (log (cbrt x))) x) (* (log (cbrt (sqrt x))) x)) (+ (* (* 2 (log (cbrt x))) x) (* (log (cbrt 1)) x)) (+ (* (* 2 (log (cbrt x))) x) (* (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))) x)) (+ (* (* 2 (log (cbrt x))) x) (* (log (sqrt (cbrt x))) x)) (+ (* (* 2 (log (cbrt x))) x) (* (log 1) x)) (expm1 (* (* 2 (log (cbrt x))) x)) (log1p (* (* 2 (log (cbrt x))) x)) (* (* 2 (log (cbrt x))) x) (* (* 2 (log (cbrt x))) x) (+ (+ (log 2) (log (log (cbrt x)))) (log x)) (+ (log (* 2 (log (cbrt x)))) (log x)) (log (* (* 2 (log (cbrt x))) x)) (exp (* (* 2 (log (cbrt x))) x)) (* (* (* (* 2 2) 2) (* (* (log (cbrt x)) (log (cbrt x))) (log (cbrt x)))) (* (* x x) x)) (* (* (* (* 2 (log (cbrt x))) (* 2 (log (cbrt x)))) (* 2 (log (cbrt x)))) (* (* x x) x)) (* (cbrt (* (* 2 (log (cbrt x))) x)) (cbrt (* (* 2 (log (cbrt x))) x))) (cbrt (* (* 2 (log (cbrt x))) x)) (* (* (* (* 2 (log (cbrt x))) x) (* (* 2 (log (cbrt x))) x)) (* (* 2 (log (cbrt x))) x)) (sqrt (* (* 2 (log (cbrt x))) x)) (sqrt (* (* 2 (log (cbrt x))) x)) (* (* 2 (log (cbrt x))) (* (cbrt x) (cbrt x))) (* (* 2 (log (cbrt x))) (sqrt x)) (* (* 2 (log (cbrt x))) 1) (* (log (cbrt x)) x) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (* 3 (* x (log (pow x 1/3)))) (* 3 (* (log (pow (/ 1 x) -1/3)) x)) (* 3 (* x (log (* (pow (* -1 x) 1/3) (cbrt -1))))) (* 2 (* x (log (pow x 1/3)))) (* 2 (* (log (pow (/ 1 x) -1/3)) x)) (* 2 (* x (log (* (pow (* -1 x) 1/3) (cbrt -1))))) 3.062 * * [simplify]: iteration 0 : 125 enodes (cost 867 ) 3.088 * * [simplify]: iteration 1 : 307 enodes (cost 776 ) 3.245 * * [simplify]: iteration 2 : 1087 enodes (cost 586 ) 3.997 * * [simplify]: iteration done : 5000 enodes (cost 572 ) 3.998 * [simplify]: Simplified to: (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (pow (cbrt x) 3) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (pow (cbrt x) 3) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (* (* x (log (cbrt x))) 3)) (log1p (* (log (cbrt x)) (* 3 x))) (exp (* (log (cbrt x)) (* 3 x))) (log (* (* x (log (cbrt x))) 3)) (exp (* (log (cbrt x)) (* 3 x))) (* (cbrt (* (* x (log (cbrt x))) 3)) (cbrt (* (* x (log (cbrt x))) 3))) (cbrt (* (* x (log (cbrt x))) 3)) (pow (* (* x (log (cbrt x))) 3) 3) (sqrt (* (* x (log (cbrt x))) 3)) (sqrt (* (* x (log (cbrt x))) 3)) (* (+ 8 1) (pow (* x (log (cbrt x))) 3)) (* (* x (log (cbrt x))) (+ (* (* (log (cbrt x)) 4) x) (* x (* (log x) (- 1/3 2/3))))) (* x (* (* (log x) (- 2/3 1/3)) (* (log (cbrt x)) (* 3 x)))) (* (* (log x) (- 2/3 1/3)) x) (* x (+ (* 2/3 (log x)) (log (cbrt (pow x 2/3))))) (* (fma (log (cbrt x)) 2 (log (cbrt (sqrt x)))) x) (* (* 2/3 (log x)) x) (* (fma (log (cbrt x)) 2 (* 2 (log (cbrt (cbrt x))))) x) (* (fma (log (cbrt x)) 2 (log (sqrt (cbrt x)))) x) (* (* 2/3 (log x)) x) (* x (+ (* 2/3 (log x)) (log (cbrt (pow x 2/3))))) (* (fma (log (cbrt x)) 2 (log (cbrt (sqrt x)))) x) (* (* 2/3 (log x)) x) (* (fma (log (cbrt x)) 2 (* 2 (log (cbrt (cbrt x))))) x) (* (fma (log (cbrt x)) 2 (log (sqrt (cbrt x)))) x) (* (* 2/3 (log x)) x) (expm1 (* (* 2/3 (log x)) x)) (log1p (* (* 2/3 (log x)) x)) (* (* 2/3 (log x)) x) (* (* 2/3 (log x)) x) (log (* (* 2/3 (log x)) x)) (log (* (* 2/3 (log x)) x)) (log (* (* 2/3 (log x)) x)) (pow (pow (cbrt x) 2) x) (pow (* (* 2/3 (log x)) x) 3) (pow (* (* 2/3 (log x)) x) 3) (* (cbrt (* (* 2/3 (log x)) x)) (cbrt (* (* 2/3 (log x)) x))) (cbrt (* (* 2/3 (log x)) x)) (pow (* (* 2/3 (log x)) x) 3) (sqrt (* (* 2/3 (log x)) x)) (sqrt (* (* 2/3 (log x)) x)) (* (pow x 2/3) (* 2/3 (log x))) (* (* 2/3 (log x)) (sqrt x)) (* 2/3 (log x)) (* x (log (cbrt x))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (* (log (cbrt x)) (* 3 x)) (* (- x) (- (log x))) (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))) (* (* 2/3 (log x)) x) (* x (* -2/3 (- (log x)))) (* (* 2 x) (log (* (cbrt -1) (cbrt (- x))))) 3.998 * * * [progress]: adding candidates to table 4.212 * * [progress]: iteration 3 / 4 4.212 * * * [progress]: picking best candidate 4.224 * * * * [pick]: Picked # 4.224 * * * [progress]: localizing error 4.232 * * * [progress]: generating rewritten candidates 4.232 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 2 1) 4.233 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 4.233 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3) 4.238 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 4.240 * * * [progress]: generating series expansions 4.240 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 2 1) 4.240 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 4.240 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.240 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.240 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.240 * [taylor]: Taking taylor expansion of 1/3 in x 4.240 * [taylor]: Taking taylor expansion of (log x) in x 4.240 * [taylor]: Taking taylor expansion of x in x 4.241 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.241 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.241 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.241 * [taylor]: Taking taylor expansion of 1/3 in x 4.241 * [taylor]: Taking taylor expansion of (log x) in x 4.241 * [taylor]: Taking taylor expansion of x in x 4.294 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 4.294 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.294 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.294 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.294 * [taylor]: Taking taylor expansion of 1/3 in x 4.294 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.294 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.294 * [taylor]: Taking taylor expansion of x in x 4.295 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.295 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.295 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.295 * [taylor]: Taking taylor expansion of 1/3 in x 4.295 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.295 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.295 * [taylor]: Taking taylor expansion of x in x 4.352 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 4.352 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.352 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.352 * [taylor]: Taking taylor expansion of -1 in x 4.353 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.353 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.353 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.353 * [taylor]: Taking taylor expansion of 1/3 in x 4.353 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.353 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.353 * [taylor]: Taking taylor expansion of x in x 4.354 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.354 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.354 * [taylor]: Taking taylor expansion of -1 in x 4.355 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.355 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.355 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.355 * [taylor]: Taking taylor expansion of 1/3 in x 4.355 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.355 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.355 * [taylor]: Taking taylor expansion of x in x 4.423 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 4.424 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 4.424 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.424 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.424 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.424 * [taylor]: Taking taylor expansion of 1/3 in x 4.424 * [taylor]: Taking taylor expansion of (log x) in x 4.424 * [taylor]: Taking taylor expansion of x in x 4.424 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.424 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.424 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.424 * [taylor]: Taking taylor expansion of 1/3 in x 4.424 * [taylor]: Taking taylor expansion of (log x) in x 4.424 * [taylor]: Taking taylor expansion of x in x 4.473 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 4.473 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.473 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.473 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.473 * [taylor]: Taking taylor expansion of 1/3 in x 4.473 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.473 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.473 * [taylor]: Taking taylor expansion of x in x 4.474 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.474 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.474 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.474 * [taylor]: Taking taylor expansion of 1/3 in x 4.474 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.474 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.474 * [taylor]: Taking taylor expansion of x in x 4.532 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 4.532 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.532 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.532 * [taylor]: Taking taylor expansion of -1 in x 4.533 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.533 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.533 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.533 * [taylor]: Taking taylor expansion of 1/3 in x 4.533 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.533 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.533 * [taylor]: Taking taylor expansion of x in x 4.534 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.534 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.534 * [taylor]: Taking taylor expansion of -1 in x 4.535 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.535 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.535 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.535 * [taylor]: Taking taylor expansion of 1/3 in x 4.535 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.535 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.535 * [taylor]: Taking taylor expansion of x in x 4.604 * * * * [progress]: [ 3 / 4 ] generating series at (2 3) 4.604 * [approximate]: Taking taylor expansion of (* x (log (pow x 1/3))) in (x) around 0 4.604 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 4.604 * [taylor]: Taking taylor expansion of x in x 4.604 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 4.604 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.604 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.604 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.604 * [taylor]: Taking taylor expansion of 1/3 in x 4.604 * [taylor]: Taking taylor expansion of (log x) in x 4.604 * [taylor]: Taking taylor expansion of x in x 4.604 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 4.605 * [taylor]: Taking taylor expansion of x in x 4.605 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 4.605 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.605 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.605 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.605 * [taylor]: Taking taylor expansion of 1/3 in x 4.605 * [taylor]: Taking taylor expansion of (log x) in x 4.605 * [taylor]: Taking taylor expansion of x in x 4.730 * [approximate]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in (x) around 0 4.730 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 4.730 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 4.730 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.730 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.730 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.730 * [taylor]: Taking taylor expansion of 1/3 in x 4.730 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.730 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.730 * [taylor]: Taking taylor expansion of x in x 4.731 * [taylor]: Taking taylor expansion of x in x 4.731 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 4.731 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 4.731 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.731 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.731 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.731 * [taylor]: Taking taylor expansion of 1/3 in x 4.731 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.731 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.731 * [taylor]: Taking taylor expansion of x in x 4.732 * [taylor]: Taking taylor expansion of x in x 4.832 * [approximate]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in (x) around 0 4.832 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 4.832 * [taylor]: Taking taylor expansion of -1 in x 4.832 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 4.832 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 4.832 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.832 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.832 * [taylor]: Taking taylor expansion of -1 in x 4.833 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.833 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.833 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.833 * [taylor]: Taking taylor expansion of 1/3 in x 4.833 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.833 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.833 * [taylor]: Taking taylor expansion of x in x 4.834 * [taylor]: Taking taylor expansion of x in x 4.835 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 4.835 * [taylor]: Taking taylor expansion of -1 in x 4.835 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 4.835 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 4.835 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.835 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.835 * [taylor]: Taking taylor expansion of -1 in x 4.836 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.836 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.836 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.836 * [taylor]: Taking taylor expansion of 1/3 in x 4.836 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.836 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.836 * [taylor]: Taking taylor expansion of x in x 4.837 * [taylor]: Taking taylor expansion of x in x 4.969 * * * * [progress]: [ 4 / 4 ] generating series at (2) 4.969 * [approximate]: Taking taylor expansion of (fma (* 2 (log (pow x 1/3))) x (* x (log (pow x 1/3)))) in (x) around 0 4.969 * [taylor]: Taking taylor expansion of (fma (* 2 (log (pow x 1/3))) x (* x (log (pow x 1/3)))) in x 4.971 * [taylor]: Rewrote expression to (+ (* (* 2 (log (pow x 1/3))) x) (* x (log (pow x 1/3)))) 4.971 * [taylor]: Taking taylor expansion of (* (* 2 (log (pow x 1/3))) x) in x 4.971 * [taylor]: Taking taylor expansion of (* 2 (log (pow x 1/3))) in x 4.971 * [taylor]: Taking taylor expansion of 2 in x 4.971 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 4.971 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.971 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.971 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.971 * [taylor]: Taking taylor expansion of 1/3 in x 4.971 * [taylor]: Taking taylor expansion of (log x) in x 4.971 * [taylor]: Taking taylor expansion of x in x 4.973 * [taylor]: Taking taylor expansion of x in x 4.973 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 4.973 * [taylor]: Taking taylor expansion of x in x 4.973 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 4.973 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.973 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.973 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.973 * [taylor]: Taking taylor expansion of 1/3 in x 4.973 * [taylor]: Taking taylor expansion of (log x) in x 4.973 * [taylor]: Taking taylor expansion of x in x 4.974 * [taylor]: Taking taylor expansion of (fma (* 2 (log (pow x 1/3))) x (* x (log (pow x 1/3)))) in x 4.974 * [taylor]: Rewrote expression to (+ (* (* 2 (log (pow x 1/3))) x) (* x (log (pow x 1/3)))) 4.974 * [taylor]: Taking taylor expansion of (* (* 2 (log (pow x 1/3))) x) in x 4.974 * [taylor]: Taking taylor expansion of (* 2 (log (pow x 1/3))) in x 4.974 * [taylor]: Taking taylor expansion of 2 in x 4.974 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 4.974 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.974 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.974 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.974 * [taylor]: Taking taylor expansion of 1/3 in x 4.974 * [taylor]: Taking taylor expansion of (log x) in x 4.974 * [taylor]: Taking taylor expansion of x in x 4.976 * [taylor]: Taking taylor expansion of x in x 4.976 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 4.976 * [taylor]: Taking taylor expansion of x in x 4.976 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 4.976 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.976 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.976 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.976 * [taylor]: Taking taylor expansion of 1/3 in x 4.976 * [taylor]: Taking taylor expansion of (log x) in x 4.976 * [taylor]: Taking taylor expansion of x in x 5.284 * [approximate]: Taking taylor expansion of (fma (* 2 (log (pow (/ 1 x) 1/3))) (/ 1 x) (/ (log (pow (/ 1 x) 1/3)) x)) in (x) around 0 5.284 * [taylor]: Taking taylor expansion of (fma (* 2 (log (pow (/ 1 x) 1/3))) (/ 1 x) (/ (log (pow (/ 1 x) 1/3)) x)) in x 5.284 * [taylor]: Rewrote expression to (+ (* (* 2 (log (pow (/ 1 x) 1/3))) (/ 1 x)) (/ (log (pow (/ 1 x) 1/3)) x)) 5.285 * [taylor]: Taking taylor expansion of (* (* 2 (log (pow (/ 1 x) 1/3))) (/ 1 x)) in x 5.285 * [taylor]: Taking taylor expansion of (* 2 (log (pow (/ 1 x) 1/3))) in x 5.285 * [taylor]: Taking taylor expansion of 2 in x 5.285 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 5.285 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.285 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.285 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.285 * [taylor]: Taking taylor expansion of 1/3 in x 5.285 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.285 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.285 * [taylor]: Taking taylor expansion of x in x 5.286 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.286 * [taylor]: Taking taylor expansion of x in x 5.286 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 5.286 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 5.286 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.286 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.286 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.286 * [taylor]: Taking taylor expansion of 1/3 in x 5.286 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.286 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.286 * [taylor]: Taking taylor expansion of x in x 5.287 * [taylor]: Taking taylor expansion of x in x 5.287 * [taylor]: Taking taylor expansion of (fma (* 2 (log (pow (/ 1 x) 1/3))) (/ 1 x) (/ (log (pow (/ 1 x) 1/3)) x)) in x 5.287 * [taylor]: Rewrote expression to (+ (* (* 2 (log (pow (/ 1 x) 1/3))) (/ 1 x)) (/ (log (pow (/ 1 x) 1/3)) x)) 5.287 * [taylor]: Taking taylor expansion of (* (* 2 (log (pow (/ 1 x) 1/3))) (/ 1 x)) in x 5.287 * [taylor]: Taking taylor expansion of (* 2 (log (pow (/ 1 x) 1/3))) in x 5.287 * [taylor]: Taking taylor expansion of 2 in x 5.287 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 5.287 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.287 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.287 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.287 * [taylor]: Taking taylor expansion of 1/3 in x 5.287 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.287 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.287 * [taylor]: Taking taylor expansion of x in x 5.288 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.288 * [taylor]: Taking taylor expansion of x in x 5.288 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 5.288 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 5.288 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.289 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.289 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.289 * [taylor]: Taking taylor expansion of 1/3 in x 5.289 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.289 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.289 * [taylor]: Taking taylor expansion of x in x 5.289 * [taylor]: Taking taylor expansion of x in x 5.496 * [approximate]: Taking taylor expansion of (fma (* 2 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) (/ -1 x) (* -1 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in (x) around 0 5.496 * [taylor]: Taking taylor expansion of (fma (* 2 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) (/ -1 x) (* -1 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in x 5.496 * [taylor]: Rewrote expression to (+ (* (* 2 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) (/ -1 x)) (* -1 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) 5.496 * [taylor]: Taking taylor expansion of (* (* 2 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) (/ -1 x)) in x 5.496 * [taylor]: Taking taylor expansion of (* 2 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x 5.496 * [taylor]: Taking taylor expansion of 2 in x 5.496 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 5.496 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 5.496 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.496 * [taylor]: Taking taylor expansion of -1 in x 5.497 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.497 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.497 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.497 * [taylor]: Taking taylor expansion of 1/3 in x 5.497 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.497 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.497 * [taylor]: Taking taylor expansion of x in x 5.499 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.499 * [taylor]: Taking taylor expansion of -1 in x 5.499 * [taylor]: Taking taylor expansion of x in x 5.500 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 5.500 * [taylor]: Taking taylor expansion of -1 in x 5.500 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 5.500 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 5.500 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 5.500 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.500 * [taylor]: Taking taylor expansion of -1 in x 5.501 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.501 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.501 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.501 * [taylor]: Taking taylor expansion of 1/3 in x 5.501 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.501 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.501 * [taylor]: Taking taylor expansion of x in x 5.503 * [taylor]: Taking taylor expansion of x in x 5.503 * [taylor]: Taking taylor expansion of (fma (* 2 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) (/ -1 x) (* -1 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in x 5.504 * [taylor]: Rewrote expression to (+ (* (* 2 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) (/ -1 x)) (* -1 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) 5.504 * [taylor]: Taking taylor expansion of (* (* 2 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) (/ -1 x)) in x 5.504 * [taylor]: Taking taylor expansion of (* 2 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x 5.504 * [taylor]: Taking taylor expansion of 2 in x 5.504 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 5.504 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 5.504 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.504 * [taylor]: Taking taylor expansion of -1 in x 5.504 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.504 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.504 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.504 * [taylor]: Taking taylor expansion of 1/3 in x 5.504 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.504 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.504 * [taylor]: Taking taylor expansion of x in x 5.506 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.506 * [taylor]: Taking taylor expansion of -1 in x 5.506 * [taylor]: Taking taylor expansion of x in x 5.506 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 5.507 * [taylor]: Taking taylor expansion of -1 in x 5.507 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 5.507 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 5.507 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 5.507 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.507 * [taylor]: Taking taylor expansion of -1 in x 5.507 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.507 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.507 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.508 * [taylor]: Taking taylor expansion of 1/3 in x 5.508 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.508 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.508 * [taylor]: Taking taylor expansion of x in x 5.509 * [taylor]: Taking taylor expansion of x in x 5.823 * * * [progress]: simplifying candidates 5.825 * [simplify]: Simplifying using # : (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (* x (log (cbrt x)))) (log1p (* x (log (cbrt x)))) (* x (log (cbrt x))) (+ (log x) (log (log (cbrt x)))) (log (* x (log (cbrt x)))) (exp (* x (log (cbrt x)))) (* (* (* x x) x) (* (* (log (cbrt x)) (log (cbrt x))) (log (cbrt x)))) (* (cbrt (* x (log (cbrt x)))) (cbrt (* x (log (cbrt x))))) (cbrt (* x (log (cbrt x)))) (* (* (* x (log (cbrt x))) (* x (log (cbrt x)))) (* x (log (cbrt x)))) (sqrt (* x (log (cbrt x)))) (sqrt (* x (log (cbrt x)))) (* (sqrt x) (sqrt (log (cbrt x)))) (* (sqrt x) (sqrt (log (cbrt x)))) (* x (log (cbrt (* (cbrt x) (cbrt x))))) (* x (log (cbrt (cbrt x)))) (* x (log (cbrt (sqrt x)))) (* x (log (cbrt (sqrt x)))) (* x (log (cbrt 1))) (* x (log (cbrt x))) (* x (log (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (* x (log (cbrt (cbrt x)))) (* x (log (sqrt (cbrt x)))) (* x (log (sqrt (cbrt x)))) (* x (log 1)) (* x (log (cbrt x))) (* (log (cbrt (* (cbrt x) (cbrt x)))) x) (* (log (cbrt (cbrt x))) x) (* (log (cbrt (sqrt x))) x) (* (log (cbrt (sqrt x))) x) (* (log (cbrt 1)) x) (* (log (cbrt x)) x) (* (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))) x) (* (log (cbrt (cbrt x))) x) (* (log (sqrt (cbrt x))) x) (* (log (sqrt (cbrt x))) x) (* (log 1) x) (* (log (cbrt x)) x) (* x 1/3) (* x 1) (* x (* (cbrt (log (cbrt x))) (cbrt (log (cbrt x))))) (* x (sqrt (log (cbrt x)))) (* x 1) (* (cbrt x) (log (cbrt x))) (* (sqrt x) (log (cbrt x))) (* x (log (cbrt x))) (expm1 (fma (* 2 (log (cbrt x))) x (* x (log (cbrt x))))) (log1p (fma (* 2 (log (cbrt x))) x (* x (log (cbrt x))))) (* (* 2 (log (cbrt x))) x) (log (fma (* 2 (log (cbrt x))) x (* x (log (cbrt x))))) (exp (fma (* 2 (log (cbrt x))) x (* x (log (cbrt x))))) (* (cbrt (fma (* 2 (log (cbrt x))) x (* x (log (cbrt x))))) (cbrt (fma (* 2 (log (cbrt x))) x (* x (log (cbrt x)))))) (cbrt (fma (* 2 (log (cbrt x))) x (* x (log (cbrt x))))) (* (* (fma (* 2 (log (cbrt x))) x (* x (log (cbrt x)))) (fma (* 2 (log (cbrt x))) x (* x (log (cbrt x))))) (fma (* 2 (log (cbrt x))) x (* x (log (cbrt x))))) (sqrt (fma (* 2 (log (cbrt x))) x (* x (log (cbrt x))))) (sqrt (fma (* 2 (log (cbrt x))) x (* x (log (cbrt x))))) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (* x (log (pow x 1/3))) (* (log (pow (/ 1 x) -1/3)) x) (* x (log (* (pow (* -1 x) 1/3) (cbrt -1)))) (* 3 (* x (log (pow x 1/3)))) (* 3 (* (log (pow (/ 1 x) -1/3)) x)) (* 3 (* x (log (* (pow (* -1 x) 1/3) (cbrt -1))))) 5.831 * * [simplify]: iteration 0 : 99 enodes (cost 667 ) 5.874 * * [simplify]: iteration 1 : 166 enodes (cost 642 ) 5.913 * * [simplify]: iteration 2 : 371 enodes (cost 553 ) 6.140 * * [simplify]: iteration 3 : 1103 enodes (cost 473 ) 8.465 * * [simplify]: iteration 4 : 4950 enodes (cost 467 ) 10.091 * * [simplify]: iteration done : 5000 enodes (cost 467 ) 10.091 * [simplify]: Simplified to: (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (* x (log (cbrt x)))) (log1p (* x (log (cbrt x)))) (* x (log (cbrt x))) (log (* x (log (cbrt x)))) (log (* x (log (cbrt x)))) (pow (cbrt x) x) (pow (* (log (cbrt x)) x) 3) (* (cbrt (* x (log (cbrt x)))) (cbrt (* x (log (cbrt x))))) (cbrt (* x (log (cbrt x)))) (pow (* (log (cbrt x)) x) 3) (sqrt (* x (log (cbrt x)))) (sqrt (* x (log (cbrt x)))) (* (sqrt x) (sqrt (log (cbrt x)))) (* (sqrt x) (sqrt (log (cbrt x)))) (* (log (cbrt (pow x 2/3))) x) (* (log (cbrt (cbrt x))) x) (* x (log (cbrt (sqrt x)))) (* x (log (cbrt (sqrt x)))) 0 (* x (log (cbrt x))) (* (* 2 (log (cbrt (cbrt x)))) x) (* (log (cbrt (cbrt x))) x) (* (log (sqrt (cbrt x))) x) (* (log (sqrt (cbrt x))) x) 0 (* x (log (cbrt x))) (* (log (cbrt (pow x 2/3))) x) (* (log (cbrt (cbrt x))) x) (* x (log (cbrt (sqrt x)))) (* x (log (cbrt (sqrt x)))) 0 (* x (log (cbrt x))) (* (* 2 (log (cbrt (cbrt x)))) x) (* (log (cbrt (cbrt x))) x) (* (log (sqrt (cbrt x))) x) (* (log (sqrt (cbrt x))) x) 0 (* x (log (cbrt x))) (* x 1/3) x (* x (* (cbrt (log (cbrt x))) (cbrt (log (cbrt x))))) (* x (sqrt (log (cbrt x)))) x (* (cbrt x) (log (cbrt x))) (* (sqrt x) (log (cbrt x))) (* x (log (cbrt x))) (expm1 (* x (log x))) (log1p (* x (log x))) (* x (* 2/3 (log x))) (log (* x (log x))) (pow x x) (* (cbrt (* (log x) x)) (cbrt (* (log x) x))) (cbrt (* (log x) x)) (pow (* (log x) x) 3) (sqrt (* (log x) x)) (sqrt (* (log x) x)) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (* x (log (cbrt x))) (* x (log (cbrt x))) (* x (log (* (cbrt -1) (cbrt (- x))))) (* x (log x)) (* x (log x)) (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))) 10.092 * * * [progress]: adding candidates to table 10.271 * * [progress]: iteration 4 / 4 10.271 * * * [progress]: picking best candidate 10.283 * * * * [pick]: Picked # 10.283 * * * [progress]: localizing error 10.293 * * * [progress]: generating rewritten candidates 10.293 * * * * [progress]: [ 1 / 4 ] rewriting at (2 3 2 2 1) 10.294 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 10.294 * * * * [progress]: [ 3 / 4 ] rewriting at (2 3 2) 10.301 * * * * [progress]: [ 4 / 4 ] rewriting at (2 3) 10.320 * * * [progress]: generating series expansions 10.320 * * * * [progress]: [ 1 / 4 ] generating series at (2 3 2 2 1) 10.320 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 10.320 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 10.320 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 10.320 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 10.320 * [taylor]: Taking taylor expansion of 1/3 in x 10.320 * [taylor]: Taking taylor expansion of (log x) in x 10.320 * [taylor]: Taking taylor expansion of x in x 10.321 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 10.321 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 10.321 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 10.321 * [taylor]: Taking taylor expansion of 1/3 in x 10.321 * [taylor]: Taking taylor expansion of (log x) in x 10.321 * [taylor]: Taking taylor expansion of x in x 10.374 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 10.374 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 10.374 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 10.374 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 10.374 * [taylor]: Taking taylor expansion of 1/3 in x 10.374 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 10.374 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.374 * [taylor]: Taking taylor expansion of x in x 10.375 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 10.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 10.375 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 10.375 * [taylor]: Taking taylor expansion of 1/3 in x 10.375 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 10.375 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.375 * [taylor]: Taking taylor expansion of x in x 10.432 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 10.432 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 10.432 * [taylor]: Taking taylor expansion of (cbrt -1) in x 10.432 * [taylor]: Taking taylor expansion of -1 in x 10.433 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 10.433 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 10.433 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 10.433 * [taylor]: Taking taylor expansion of 1/3 in x 10.433 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 10.433 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.433 * [taylor]: Taking taylor expansion of x in x 10.434 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 10.434 * [taylor]: Taking taylor expansion of (cbrt -1) in x 10.434 * [taylor]: Taking taylor expansion of -1 in x 10.435 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 10.435 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 10.435 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 10.435 * [taylor]: Taking taylor expansion of 1/3 in x 10.435 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 10.435 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.435 * [taylor]: Taking taylor expansion of x in x 10.497 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 10.497 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 10.497 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 10.497 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 10.497 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 10.497 * [taylor]: Taking taylor expansion of 1/3 in x 10.497 * [taylor]: Taking taylor expansion of (log x) in x 10.497 * [taylor]: Taking taylor expansion of x in x 10.498 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 10.498 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 10.498 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 10.498 * [taylor]: Taking taylor expansion of 1/3 in x 10.498 * [taylor]: Taking taylor expansion of (log x) in x 10.498 * [taylor]: Taking taylor expansion of x in x 10.552 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 10.552 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 10.552 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 10.552 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 10.552 * [taylor]: Taking taylor expansion of 1/3 in x 10.552 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 10.552 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.552 * [taylor]: Taking taylor expansion of x in x 10.553 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 10.553 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 10.553 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 10.553 * [taylor]: Taking taylor expansion of 1/3 in x 10.553 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 10.553 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.553 * [taylor]: Taking taylor expansion of x in x 10.610 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 10.610 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 10.610 * [taylor]: Taking taylor expansion of (cbrt -1) in x 10.610 * [taylor]: Taking taylor expansion of -1 in x 10.611 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 10.611 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 10.611 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 10.611 * [taylor]: Taking taylor expansion of 1/3 in x 10.611 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 10.611 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.611 * [taylor]: Taking taylor expansion of x in x 10.612 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 10.612 * [taylor]: Taking taylor expansion of (cbrt -1) in x 10.612 * [taylor]: Taking taylor expansion of -1 in x 10.613 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 10.613 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 10.613 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 10.613 * [taylor]: Taking taylor expansion of 1/3 in x 10.613 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 10.613 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.613 * [taylor]: Taking taylor expansion of x in x 10.683 * * * * [progress]: [ 3 / 4 ] generating series at (2 3 2) 10.683 * [approximate]: Taking taylor expansion of (* (sqrt x) (log (pow x 1/3))) in (x) around 0 10.683 * [taylor]: Taking taylor expansion of (* (sqrt x) (log (pow x 1/3))) in x 10.683 * [taylor]: Taking taylor expansion of (sqrt x) in x 10.683 * [taylor]: Taking taylor expansion of x in x 10.685 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 10.685 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 10.685 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 10.685 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 10.685 * [taylor]: Taking taylor expansion of 1/3 in x 10.685 * [taylor]: Taking taylor expansion of (log x) in x 10.685 * [taylor]: Taking taylor expansion of x in x 10.685 * [taylor]: Taking taylor expansion of (* (sqrt x) (log (pow x 1/3))) in x 10.685 * [taylor]: Taking taylor expansion of (sqrt x) in x 10.685 * [taylor]: Taking taylor expansion of x in x 10.686 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 10.686 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 10.687 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 10.687 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 10.687 * [taylor]: Taking taylor expansion of 1/3 in x 10.687 * [taylor]: Taking taylor expansion of (log x) in x 10.687 * [taylor]: Taking taylor expansion of x in x 10.708 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (log (pow (/ 1 x) 1/3))) in (x) around 0 10.708 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (log (pow (/ 1 x) 1/3))) in x 10.708 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 10.708 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.708 * [taylor]: Taking taylor expansion of x in x 10.709 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 10.709 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 10.709 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 10.709 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 10.709 * [taylor]: Taking taylor expansion of 1/3 in x 10.709 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 10.709 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.709 * [taylor]: Taking taylor expansion of x in x 10.710 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (log (pow (/ 1 x) 1/3))) in x 10.710 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 10.710 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.710 * [taylor]: Taking taylor expansion of x in x 10.711 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 10.711 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 10.711 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 10.711 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 10.711 * [taylor]: Taking taylor expansion of 1/3 in x 10.711 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 10.711 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.712 * [taylor]: Taking taylor expansion of x in x 10.734 * [approximate]: Taking taylor expansion of (* (log (* (cbrt -1) (pow (/ 1 x) 1/3))) (sqrt (/ -1 x))) in (x) around 0 10.734 * [taylor]: Taking taylor expansion of (* (log (* (cbrt -1) (pow (/ 1 x) 1/3))) (sqrt (/ -1 x))) in x 10.734 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 10.734 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 10.734 * [taylor]: Taking taylor expansion of (cbrt -1) in x 10.734 * [taylor]: Taking taylor expansion of -1 in x 10.735 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 10.735 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 10.735 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 10.735 * [taylor]: Taking taylor expansion of 1/3 in x 10.735 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 10.735 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.735 * [taylor]: Taking taylor expansion of x in x 10.736 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 10.736 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.736 * [taylor]: Taking taylor expansion of -1 in x 10.736 * [taylor]: Taking taylor expansion of x in x 10.738 * [taylor]: Taking taylor expansion of (* (log (* (cbrt -1) (pow (/ 1 x) 1/3))) (sqrt (/ -1 x))) in x 10.738 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 10.738 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 10.738 * [taylor]: Taking taylor expansion of (cbrt -1) in x 10.738 * [taylor]: Taking taylor expansion of -1 in x 10.738 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 10.738 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 10.738 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 10.738 * [taylor]: Taking taylor expansion of 1/3 in x 10.738 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 10.738 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.738 * [taylor]: Taking taylor expansion of x in x 10.740 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 10.740 * [taylor]: Taking taylor expansion of (/ -1 x) in x 10.740 * [taylor]: Taking taylor expansion of -1 in x 10.740 * [taylor]: Taking taylor expansion of x in x 10.777 * * * * [progress]: [ 4 / 4 ] generating series at (2 3) 10.778 * [approximate]: Taking taylor expansion of (* x (log (pow x 1/3))) in (x) around 0 10.778 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 10.778 * [taylor]: Taking taylor expansion of x in x 10.778 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 10.778 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 10.778 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 10.778 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 10.778 * [taylor]: Taking taylor expansion of 1/3 in x 10.778 * [taylor]: Taking taylor expansion of (log x) in x 10.778 * [taylor]: Taking taylor expansion of x in x 10.778 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 10.778 * [taylor]: Taking taylor expansion of x in x 10.779 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 10.779 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 10.779 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 10.779 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 10.779 * [taylor]: Taking taylor expansion of 1/3 in x 10.779 * [taylor]: Taking taylor expansion of (log x) in x 10.779 * [taylor]: Taking taylor expansion of x in x 10.904 * [approximate]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in (x) around 0 10.904 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 10.904 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 10.904 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 10.904 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 10.904 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 10.904 * [taylor]: Taking taylor expansion of 1/3 in x 10.904 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 10.904 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.904 * [taylor]: Taking taylor expansion of x in x 10.905 * [taylor]: Taking taylor expansion of x in x 10.905 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 10.905 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 10.905 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 10.905 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 10.905 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 10.905 * [taylor]: Taking taylor expansion of 1/3 in x 10.905 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 10.905 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.905 * [taylor]: Taking taylor expansion of x in x 10.912 * [taylor]: Taking taylor expansion of x in x 10.997 * [approximate]: Taking taylor expansion of (* (log (* (cbrt -1) (pow (/ 1 x) 1/3))) (pow (sqrt (/ -1 x)) 2)) in (x) around 0 10.997 * [taylor]: Taking taylor expansion of (* (log (* (cbrt -1) (pow (/ 1 x) 1/3))) (pow (sqrt (/ -1 x)) 2)) in x 10.997 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 10.997 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 10.997 * [taylor]: Taking taylor expansion of (cbrt -1) in x 10.997 * [taylor]: Taking taylor expansion of -1 in x 10.998 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 10.998 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 10.998 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 10.998 * [taylor]: Taking taylor expansion of 1/3 in x 10.998 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 10.998 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.998 * [taylor]: Taking taylor expansion of x in x 11.000 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in x 11.000 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 11.000 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.000 * [taylor]: Taking taylor expansion of -1 in x 11.000 * [taylor]: Taking taylor expansion of x in x 11.001 * [taylor]: Taking taylor expansion of (* (log (* (cbrt -1) (pow (/ 1 x) 1/3))) (pow (sqrt (/ -1 x)) 2)) in x 11.001 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 11.001 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 11.001 * [taylor]: Taking taylor expansion of (cbrt -1) in x 11.001 * [taylor]: Taking taylor expansion of -1 in x 11.002 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 11.002 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 11.002 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 11.002 * [taylor]: Taking taylor expansion of 1/3 in x 11.002 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 11.002 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.002 * [taylor]: Taking taylor expansion of x in x 11.004 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in x 11.004 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 11.004 * [taylor]: Taking taylor expansion of (/ -1 x) in x 11.004 * [taylor]: Taking taylor expansion of -1 in x 11.004 * [taylor]: Taking taylor expansion of x in x 11.029 * * * [progress]: simplifying candidates 11.030 * [simplify]: Simplifying using # : (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (* (sqrt x) (log (cbrt x)))) (log1p (* (sqrt x) (log (cbrt x)))) (* (sqrt x) (log (cbrt x))) (+ (log (sqrt x)) (log (log (cbrt x)))) (log (* (sqrt x) (log (cbrt x)))) (exp (* (sqrt x) (log (cbrt x)))) (* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (log (cbrt x)) (log (cbrt x))) (log (cbrt x)))) (* (cbrt (* (sqrt x) (log (cbrt x)))) (cbrt (* (sqrt x) (log (cbrt x))))) (cbrt (* (sqrt x) (log (cbrt x)))) (* (* (* (sqrt x) (log (cbrt x))) (* (sqrt x) (log (cbrt x)))) (* (sqrt x) (log (cbrt x)))) (sqrt (* (sqrt x) (log (cbrt x)))) (sqrt (* (sqrt x) (log (cbrt x)))) (* (sqrt (sqrt x)) (sqrt (log (cbrt x)))) (* (sqrt (sqrt x)) (sqrt (log (cbrt x)))) (* (sqrt (sqrt x)) (sqrt (log (cbrt x)))) (* (sqrt (sqrt x)) (sqrt (log (cbrt x)))) (* (sqrt x) (log (cbrt (* (cbrt x) (cbrt x))))) (* (sqrt x) (log (cbrt (cbrt x)))) (* (sqrt x) (log (cbrt (sqrt x)))) (* (sqrt x) (log (cbrt (sqrt x)))) (* (sqrt x) (log (cbrt 1))) (* (sqrt x) (log (cbrt x))) (* (sqrt x) (log (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (* (sqrt x) (log (cbrt (cbrt x)))) (* (sqrt x) (log (sqrt (cbrt x)))) (* (sqrt x) (log (sqrt (cbrt x)))) (* (sqrt x) (log 1)) (* (sqrt x) (log (cbrt x))) (* (log (cbrt (* (cbrt x) (cbrt x)))) (sqrt x)) (* (log (cbrt (cbrt x))) (sqrt x)) (* (log (cbrt (sqrt x))) (sqrt x)) (* (log (cbrt (sqrt x))) (sqrt x)) (* (log (cbrt 1)) (sqrt x)) (* (log (cbrt x)) (sqrt x)) (* (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (sqrt x)) (* (log (cbrt (cbrt x))) (sqrt x)) (* (log (sqrt (cbrt x))) (sqrt x)) (* (log (sqrt (cbrt x))) (sqrt x)) (* (log 1) (sqrt x)) (* (log (cbrt x)) (sqrt x)) (* (sqrt x) 1/3) (* (sqrt x) 1) (* (sqrt x) (* (cbrt (log (cbrt x))) (cbrt (log (cbrt x))))) (* (sqrt x) (sqrt (log (cbrt x)))) (* (sqrt x) 1) (* (cbrt (sqrt x)) (log (cbrt x))) (* (sqrt (cbrt x)) (log (cbrt x))) (* (sqrt (sqrt x)) (log (cbrt x))) (* (sqrt x) (log (cbrt x))) (* (sqrt (sqrt x)) (log (cbrt x))) (* (sqrt x) (log (cbrt x))) (expm1 (* (sqrt x) (* (sqrt x) (log (cbrt x))))) (log1p (* (sqrt x) (* (sqrt x) (log (cbrt x))))) (* (sqrt x) (* (sqrt x) (log (cbrt x)))) (* (sqrt x) (* (sqrt x) (log (cbrt x)))) (+ (log (sqrt x)) (+ (log (sqrt x)) (log (log (cbrt x))))) (+ (log (sqrt x)) (log (* (sqrt x) (log (cbrt x))))) (log (* (sqrt x) (* (sqrt x) (log (cbrt x))))) (exp (* (sqrt x) (* (sqrt x) (log (cbrt x))))) (* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (log (cbrt x)) (log (cbrt x))) (log (cbrt x))))) (* (* (* (sqrt x) (sqrt x)) (sqrt x)) (* (* (* (sqrt x) (log (cbrt x))) (* (sqrt x) (log (cbrt x)))) (* (sqrt x) (log (cbrt x))))) (* (cbrt (* (sqrt x) (* (sqrt x) (log (cbrt x))))) (cbrt (* (sqrt x) (* (sqrt x) (log (cbrt x)))))) (cbrt (* (sqrt x) (* (sqrt x) (log (cbrt x))))) (* (* (* (sqrt x) (* (sqrt x) (log (cbrt x)))) (* (sqrt x) (* (sqrt x) (log (cbrt x))))) (* (sqrt x) (* (sqrt x) (log (cbrt x))))) (sqrt (* (sqrt x) (* (sqrt x) (log (cbrt x))))) (sqrt (* (sqrt x) (* (sqrt x) (log (cbrt x))))) (* (sqrt x) (* (sqrt x) (log (cbrt (* (cbrt x) (cbrt x)))))) (* (sqrt x) (* (sqrt x) (log (cbrt (cbrt x))))) (* (sqrt x) (* (sqrt x) (log (cbrt (sqrt x))))) (* (sqrt x) (* (sqrt x) (log (cbrt (sqrt x))))) (* (sqrt x) (* (sqrt x) (log (cbrt 1)))) (* (sqrt x) (* (sqrt x) (log (cbrt x)))) (* (sqrt x) (* (sqrt x) (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))))) (* (sqrt x) (* (sqrt x) (log (cbrt (cbrt x))))) (* (sqrt x) (* (sqrt x) (log (sqrt (cbrt x))))) (* (sqrt x) (* (sqrt x) (log (sqrt (cbrt x))))) (* (sqrt x) (* (sqrt x) (log 1))) (* (sqrt x) (* (sqrt x) (log (cbrt x)))) (* (sqrt x) (* (log (cbrt (* (cbrt x) (cbrt x)))) (sqrt x))) (* (sqrt x) (* (log (cbrt (cbrt x))) (sqrt x))) (* (sqrt x) (* (log (cbrt (sqrt x))) (sqrt x))) (* (sqrt x) (* (log (cbrt (sqrt x))) (sqrt x))) (* (sqrt x) (* (log (cbrt 1)) (sqrt x))) (* (sqrt x) (* (log (cbrt x)) (sqrt x))) (* (sqrt x) (* (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (sqrt x))) (* (sqrt x) (* (log (cbrt (cbrt x))) (sqrt x))) (* (sqrt x) (* (log (sqrt (cbrt x))) (sqrt x))) (* (sqrt x) (* (log (sqrt (cbrt x))) (sqrt x))) (* (sqrt x) (* (log 1) (sqrt x))) (* (sqrt x) (* (log (cbrt x)) (sqrt x))) (* (* (sqrt x) (log (cbrt (* (cbrt x) (cbrt x))))) (sqrt x)) (* (* (sqrt x) (log (cbrt (cbrt x)))) (sqrt x)) (* (* (sqrt x) (log (cbrt (sqrt x)))) (sqrt x)) (* (* (sqrt x) (log (cbrt (sqrt x)))) (sqrt x)) (* (* (sqrt x) (log (cbrt 1))) (sqrt x)) (* (* (sqrt x) (log (cbrt x))) (sqrt x)) (* (* (sqrt x) (log (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (sqrt x)) (* (* (sqrt x) (log (cbrt (cbrt x)))) (sqrt x)) (* (* (sqrt x) (log (sqrt (cbrt x)))) (sqrt x)) (* (* (sqrt x) (log (sqrt (cbrt x)))) (sqrt x)) (* (* (sqrt x) (log 1)) (sqrt x)) (* (* (sqrt x) (log (cbrt x))) (sqrt x)) (* (* (log (cbrt (* (cbrt x) (cbrt x)))) (sqrt x)) (sqrt x)) (* (* (log (cbrt (cbrt x))) (sqrt x)) (sqrt x)) (* (* (log (cbrt (sqrt x))) (sqrt x)) (sqrt x)) (* (* (log (cbrt (sqrt x))) (sqrt x)) (sqrt x)) (* (* (log (cbrt 1)) (sqrt x)) (sqrt x)) (* (* (log (cbrt x)) (sqrt x)) (sqrt x)) (* (* (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (sqrt x)) (sqrt x)) (* (* (log (cbrt (cbrt x))) (sqrt x)) (sqrt x)) (* (* (log (sqrt (cbrt x))) (sqrt x)) (sqrt x)) (* (* (log (sqrt (cbrt x))) (sqrt x)) (sqrt x)) (* (* (log 1) (sqrt x)) (sqrt x)) (* (* (log (cbrt x)) (sqrt x)) (sqrt x)) (* (sqrt x) (sqrt x)) (* (cbrt (sqrt x)) (* (sqrt x) (log (cbrt x)))) (* (sqrt (cbrt x)) (* (sqrt x) (log (cbrt x)))) (* (sqrt (sqrt x)) (* (sqrt x) (log (cbrt x)))) (* (sqrt x) (* (sqrt x) (log (cbrt x)))) (* (sqrt (sqrt x)) (* (sqrt x) (log (cbrt x)))) (* (sqrt x) (* (sqrt x) (log (cbrt x)))) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (- (+ (* +nan.0 (* (pow x 3) (log (pow x 1/3)))) (- (+ (* +nan.0 (* (pow x 2) (log (pow x 1/3)))) (- (* +nan.0 (* x (log (pow x 1/3))))))))) (- (+ (* +nan.0 (log (pow (/ 1 x) -1/3))) (- (+ (* +nan.0 (/ (log (pow (/ 1 x) -1/3)) x)) (- (* +nan.0 (/ (log (pow (/ 1 x) -1/3)) (pow x 2)))))))) (- (+ (* +nan.0 (/ (log (* (pow (* -1 x) 1/3) (cbrt -1))) x)) (- (+ (* +nan.0 (/ (log (* (pow (* -1 x) 1/3) (cbrt -1))) (pow x 2))) (- (* +nan.0 (log (* (pow (* -1 x) 1/3) (cbrt -1))))))))) (* x (log (pow x 1/3))) (* (log (pow (/ 1 x) -1/3)) x) (- (+ (* +nan.0 (/ (log (* (pow (* -1 x) 1/3) (cbrt -1))) x)) (- (+ (* +nan.0 (/ (log (* (pow (* -1 x) 1/3) (cbrt -1))) (pow x 2))) (- (* +nan.0 (log (* (pow (* -1 x) 1/3) (cbrt -1))))))))) 11.036 * * [simplify]: iteration 0 : 166 enodes (cost 1475 ) 11.077 * * [simplify]: iteration 1 : 345 enodes (cost 1125 ) 11.159 * * [simplify]: iteration 2 : 1040 enodes (cost 995 ) 12.567 * * [simplify]: iteration 3 : 3910 enodes (cost 950 ) 13.542 * * [simplify]: iteration done : 5000 enodes (cost 950 ) 13.543 * [simplify]: Simplified to: (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (* (sqrt x) (log (cbrt x)))) (log1p (* (sqrt x) (log (cbrt x)))) (* (sqrt x) (log (cbrt x))) (log (* (sqrt x) (log (cbrt x)))) (log (* (sqrt x) (log (cbrt x)))) (pow (cbrt x) (sqrt x)) (pow (* (sqrt x) (log (cbrt x))) 3) (* (cbrt (* (sqrt x) (log (cbrt x)))) (cbrt (* (sqrt x) (log (cbrt x))))) (cbrt (* (sqrt x) (log (cbrt x)))) (pow (* (sqrt x) (log (cbrt x))) 3) (sqrt (* (sqrt x) (log (cbrt x)))) (sqrt (* (sqrt x) (log (cbrt x)))) (* (sqrt (sqrt x)) (sqrt (log (cbrt x)))) (* (sqrt (sqrt x)) (sqrt (log (cbrt x)))) (* (sqrt (sqrt x)) (sqrt (log (cbrt x)))) (* (sqrt (sqrt x)) (sqrt (log (cbrt x)))) (* (log (cbrt (pow x 2/3))) (sqrt x)) (* (sqrt x) (log (cbrt (cbrt x)))) (* (log (cbrt (sqrt x))) (sqrt x)) (* (log (cbrt (sqrt x))) (sqrt x)) 0 (* (sqrt x) (log (cbrt x))) (* (sqrt x) (* 2 (log (cbrt (cbrt x))))) (* (sqrt x) (log (cbrt (cbrt x)))) (* (log (sqrt (cbrt x))) (sqrt x)) (* (log (sqrt (cbrt x))) (sqrt x)) 0 (* (sqrt x) (log (cbrt x))) (* (log (cbrt (pow x 2/3))) (sqrt x)) (* (sqrt x) (log (cbrt (cbrt x)))) (* (log (cbrt (sqrt x))) (sqrt x)) (* (log (cbrt (sqrt x))) (sqrt x)) 0 (* (sqrt x) (log (cbrt x))) (* (sqrt x) (* 2 (log (cbrt (cbrt x))))) (* (sqrt x) (log (cbrt (cbrt x)))) (* (log (sqrt (cbrt x))) (sqrt x)) (* (log (sqrt (cbrt x))) (sqrt x)) 0 (* (sqrt x) (log (cbrt x))) (* (sqrt x) 1/3) (sqrt x) (* (sqrt x) (* (cbrt (log (cbrt x))) (cbrt (log (cbrt x))))) (* (sqrt x) (sqrt (log (cbrt x)))) (sqrt x) (* (cbrt (sqrt x)) (log (cbrt x))) (* (sqrt (cbrt x)) (log (cbrt x))) (* (sqrt (sqrt x)) (log (cbrt x))) (* (sqrt x) (log (cbrt x))) (* (sqrt (sqrt x)) (log (cbrt x))) (* (sqrt x) (log (cbrt x))) (expm1 (* (log (cbrt x)) x)) (log1p (* (log (cbrt x)) x)) (* x (log (cbrt x))) (* x (log (cbrt x))) (log (* (log (cbrt x)) x)) (log (* (log (cbrt x)) x)) (log (* (log (cbrt x)) x)) (pow (cbrt x) x) (pow (* (log (cbrt x)) x) 3) (pow (* (log (cbrt x)) x) 3) (* (cbrt (* (log (cbrt x)) x)) (cbrt (* (log (cbrt x)) x))) (cbrt (* (log (cbrt x)) x)) (pow (* (log (cbrt x)) x) 3) (sqrt (* (log (cbrt x)) x)) (sqrt (* (log (cbrt x)) x)) (* x (log (cbrt (pow x 2/3)))) (* (log (cbrt (cbrt x))) x) (* (log (cbrt (sqrt x))) x) (* (log (cbrt (sqrt x))) x) 0 (* x (log (cbrt x))) (* (* 2 (log (cbrt (cbrt x)))) x) (* (log (cbrt (cbrt x))) x) (* (log (sqrt (cbrt x))) x) (* (log (sqrt (cbrt x))) x) 0 (* x (log (cbrt x))) (* x (log (cbrt (pow x 2/3)))) (* (log (cbrt (cbrt x))) x) (* (log (cbrt (sqrt x))) x) (* (log (cbrt (sqrt x))) x) 0 (* x (log (cbrt x))) (* (* 2 (log (cbrt (cbrt x)))) x) (* (log (cbrt (cbrt x))) x) (* (log (sqrt (cbrt x))) x) (* (log (sqrt (cbrt x))) x) 0 (* x (log (cbrt x))) (* x (log (cbrt (pow x 2/3)))) (* (log (cbrt (cbrt x))) x) (* (log (cbrt (sqrt x))) x) (* (log (cbrt (sqrt x))) x) 0 (* x (log (cbrt x))) (* (* 2 (log (cbrt (cbrt x)))) x) (* (log (cbrt (cbrt x))) x) (* (log (sqrt (cbrt x))) x) (* (log (sqrt (cbrt x))) x) 0 (* x (log (cbrt x))) (* x (log (cbrt (pow x 2/3)))) (* (log (cbrt (cbrt x))) x) (* (log (cbrt (sqrt x))) x) (* (log (cbrt (sqrt x))) x) 0 (* x (log (cbrt x))) (* (* 2 (log (cbrt (cbrt x)))) x) (* (log (cbrt (cbrt x))) x) (* (log (sqrt (cbrt x))) x) (* (log (sqrt (cbrt x))) x) 0 (* x (log (cbrt x))) x (* (cbrt (sqrt x)) (* (sqrt x) (log (cbrt x)))) (* (sqrt (cbrt x)) (* (sqrt x) (log (cbrt x)))) (* (sqrt (sqrt x)) (* (sqrt x) (log (cbrt x)))) (* x (log (cbrt x))) (* (sqrt (sqrt x)) (* (sqrt x) (log (cbrt x)))) (* x (log (cbrt x))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (- (* (log (cbrt x)) (- (* +nan.0 (pow x 3)) (* +nan.0 (- (pow x 2) x))))) (fma +nan.0 (* (log x) -1/3) (* (/ (* -1/3 (- (log x))) x) (- +nan.0 (/ +nan.0 x)))) (- (+ (* (log (* (cbrt -1) (cbrt (- x)))) +nan.0) (* (/ (log (* (cbrt -1) (cbrt (- x)))) x) (- +nan.0 (/ +nan.0 x))))) (* x (log (cbrt x))) (* x (log (cbrt x))) (- (+ (* (log (* (cbrt -1) (cbrt (- x)))) +nan.0) (* (/ (log (* (cbrt -1) (cbrt (- x)))) x) (- +nan.0 (/ +nan.0 x))))) 13.544 * * * [progress]: adding candidates to table 13.798 * [progress]: [Phase 3 of 3] Extracting. 13.798 * * [regime]: Finding splitpoints for: (# # # # #) 13.799 * * * [regime-changes]: Trying 2 branch expressions: ((* x (log x)) x) 13.799 * * * * [regimes]: Trying to branch on (* x (log x)) from (# # # # #) 13.825 * * * * [regimes]: Trying to branch on x from (# # # # #) 13.843 * * * [regime]: Found split indices: #