8.692 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.017 * * * [progress]: [2/2] Setting up program. 0.019 * [progress]: [Phase 2 of 3] Improving. 0.019 * [simplify]: Simplifying using # : (* x (log x)) 0.020 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 0.020 * * [simplify]: iteration 1 : 4 enodes (cost 4 ) 0.021 * * [simplify]: iteration done : 4 enodes (cost 4 ) 0.021 * [simplify]: Simplified to: (* x (log x)) 0.021 * * [progress]: iteration 1 / 4 0.021 * * * [progress]: picking best candidate 0.022 * * * * [pick]: Picked # 0.022 * * * [progress]: localizing error 0.026 * * * [progress]: generating rewritten candidates 0.026 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.031 * * * [progress]: generating series expansions 0.031 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.031 * [approximate]: Taking taylor expansion of (* (log x) x) in (x) around 0 0.031 * [taylor]: Taking taylor expansion of (* (log x) x) in x 0.031 * [taylor]: Taking taylor expansion of (log x) in x 0.031 * [taylor]: Taking taylor expansion of x in x 0.032 * [taylor]: Taking taylor expansion of x in x 0.032 * [taylor]: Taking taylor expansion of (* (log x) x) in x 0.032 * [taylor]: Taking taylor expansion of (log x) in x 0.032 * [taylor]: Taking taylor expansion of x in x 0.032 * [taylor]: Taking taylor expansion of x in x 0.098 * [approximate]: Taking taylor expansion of (/ (log (/ 1 x)) x) in (x) around 0 0.098 * [taylor]: Taking taylor expansion of (/ (log (/ 1 x)) x) in x 0.099 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.099 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.099 * [taylor]: Taking taylor expansion of x in x 0.099 * [taylor]: Taking taylor expansion of x in x 0.100 * [taylor]: Taking taylor expansion of (/ (log (/ 1 x)) x) in x 0.100 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.100 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.100 * [taylor]: Taking taylor expansion of x in x 0.100 * [taylor]: Taking taylor expansion of x in x 0.146 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 x)) x)) in (x) around 0 0.146 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 x)) x)) in x 0.146 * [taylor]: Taking taylor expansion of -1 in x 0.146 * [taylor]: Taking taylor expansion of (/ (log (/ -1 x)) x) in x 0.146 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.146 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.146 * [taylor]: Taking taylor expansion of -1 in x 0.146 * [taylor]: Taking taylor expansion of x in x 0.147 * [taylor]: Taking taylor expansion of x in x 0.148 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 x)) x)) in x 0.148 * [taylor]: Taking taylor expansion of -1 in x 0.148 * [taylor]: Taking taylor expansion of (/ (log (/ -1 x)) x) in x 0.148 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.148 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.148 * [taylor]: Taking taylor expansion of -1 in x 0.148 * [taylor]: Taking taylor expansion of x in x 0.148 * [taylor]: Taking taylor expansion of x in x 0.202 * * * [progress]: simplifying candidates 0.202 * [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.204 * * [simplify]: iteration 0 : 55 enodes (cost 213 ) 0.215 * * [simplify]: iteration 1 : 97 enodes (cost 204 ) 0.234 * * [simplify]: iteration 2 : 330 enodes (cost 180 ) 0.332 * * [simplify]: iteration 3 : 864 enodes (cost 173 ) 1.116 * * [simplify]: iteration 4 : 3008 enodes (cost 173 ) 14.844 * * [simplify]: iteration done : 5000 enodes (cost 173 ) 14.845 * [simplify]: Simplified to: (expm1 (* x (log x))) (log1p (* x (log x))) (* x (log 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 (* x (log x)) (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x))) (* x (log (sqrt x))) (* x (log (sqrt x))) 0 (* x (log x)) x (* x (* (cbrt (log x)) (cbrt (log x)))) (* x (sqrt (log x))) x (* (cbrt x) (log x)) (* (sqrt x) (log x)) (* x (log x)) (* x (log x)) (* x (log x)) (* x (log x)) 14.845 * * * [progress]: adding candidates to table 14.886 * * [progress]: iteration 2 / 4 14.886 * * * [progress]: picking best candidate 14.895 * * * * [pick]: Picked # 14.895 * * * [progress]: localizing error 14.905 * * * [progress]: generating rewritten candidates 14.905 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 14.906 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1) 14.906 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 14.915 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 14.925 * * * [progress]: generating series expansions 14.925 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 14.925 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 14.925 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 14.925 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 14.925 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 14.925 * [taylor]: Taking taylor expansion of 1/3 in x 14.925 * [taylor]: Taking taylor expansion of (log x) in x 14.925 * [taylor]: Taking taylor expansion of x in x 14.926 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 14.926 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 14.926 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 14.926 * [taylor]: Taking taylor expansion of 1/3 in x 14.926 * [taylor]: Taking taylor expansion of (log x) in x 14.926 * [taylor]: Taking taylor expansion of x in x 14.977 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 14.977 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 14.978 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 14.978 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 14.978 * [taylor]: Taking taylor expansion of 1/3 in x 14.978 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 14.978 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.978 * [taylor]: Taking taylor expansion of x in x 14.978 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 14.978 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 14.979 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 14.979 * [taylor]: Taking taylor expansion of 1/3 in x 14.979 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 14.979 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.979 * [taylor]: Taking taylor expansion of x in x 15.032 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 15.032 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 15.032 * [taylor]: Taking taylor expansion of (cbrt -1) in x 15.032 * [taylor]: Taking taylor expansion of -1 in x 15.033 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.033 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.033 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.033 * [taylor]: Taking taylor expansion of 1/3 in x 15.033 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.033 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.033 * [taylor]: Taking taylor expansion of x in x 15.034 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 15.034 * [taylor]: Taking taylor expansion of (cbrt -1) in x 15.034 * [taylor]: Taking taylor expansion of -1 in x 15.034 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.034 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.034 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.034 * [taylor]: Taking taylor expansion of 1/3 in x 15.034 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.034 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.034 * [taylor]: Taking taylor expansion of x in x 15.099 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1) 15.099 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 15.099 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 15.099 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 15.099 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 15.099 * [taylor]: Taking taylor expansion of 1/3 in x 15.099 * [taylor]: Taking taylor expansion of (log x) in x 15.099 * [taylor]: Taking taylor expansion of x in x 15.099 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 15.099 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 15.099 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 15.100 * [taylor]: Taking taylor expansion of 1/3 in x 15.100 * [taylor]: Taking taylor expansion of (log x) in x 15.100 * [taylor]: Taking taylor expansion of x in x 15.147 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 15.148 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.148 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.148 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.148 * [taylor]: Taking taylor expansion of 1/3 in x 15.148 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.148 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.148 * [taylor]: Taking taylor expansion of x in x 15.149 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.149 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.149 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.149 * [taylor]: Taking taylor expansion of 1/3 in x 15.149 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.149 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.149 * [taylor]: Taking taylor expansion of x in x 15.202 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 15.202 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 15.202 * [taylor]: Taking taylor expansion of (cbrt -1) in x 15.202 * [taylor]: Taking taylor expansion of -1 in x 15.203 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.203 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.203 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.203 * [taylor]: Taking taylor expansion of 1/3 in x 15.203 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.203 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.203 * [taylor]: Taking taylor expansion of x in x 15.204 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 15.204 * [taylor]: Taking taylor expansion of (cbrt -1) in x 15.204 * [taylor]: Taking taylor expansion of -1 in x 15.205 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.205 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.205 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.205 * [taylor]: Taking taylor expansion of 1/3 in x 15.205 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.205 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.205 * [taylor]: Taking taylor expansion of x in x 15.269 * * * * [progress]: [ 3 / 4 ] generating series at (2) 15.269 * [approximate]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in (x) around 0 15.269 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in x 15.269 * [taylor]: Taking taylor expansion of 3 in x 15.269 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 15.269 * [taylor]: Taking taylor expansion of x in x 15.269 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 15.269 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 15.269 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 15.269 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 15.269 * [taylor]: Taking taylor expansion of 1/3 in x 15.269 * [taylor]: Taking taylor expansion of (log x) in x 15.269 * [taylor]: Taking taylor expansion of x in x 15.270 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in x 15.270 * [taylor]: Taking taylor expansion of 3 in x 15.270 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 15.270 * [taylor]: Taking taylor expansion of x in x 15.270 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 15.270 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 15.270 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 15.270 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 15.270 * [taylor]: Taking taylor expansion of 1/3 in x 15.270 * [taylor]: Taking taylor expansion of (log x) in x 15.270 * [taylor]: Taking taylor expansion of x in x 15.394 * [approximate]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in (x) around 0 15.394 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in x 15.394 * [taylor]: Taking taylor expansion of 3 in x 15.394 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 15.394 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 15.394 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.394 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.394 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.394 * [taylor]: Taking taylor expansion of 1/3 in x 15.394 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.395 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.395 * [taylor]: Taking taylor expansion of x in x 15.395 * [taylor]: Taking taylor expansion of x in x 15.396 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in x 15.396 * [taylor]: Taking taylor expansion of 3 in x 15.396 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 15.396 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 15.396 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.396 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.396 * [taylor]: Taking taylor expansion of 1/3 in x 15.396 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.396 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.396 * [taylor]: Taking taylor expansion of x in x 15.397 * [taylor]: Taking taylor expansion of x in x 15.483 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in (x) around 0 15.483 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in x 15.483 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 15.483 * [taylor]: Taking taylor expansion of 3 in x 15.483 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 15.483 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 15.483 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 15.483 * [taylor]: Taking taylor expansion of (cbrt -1) in x 15.483 * [taylor]: Taking taylor expansion of -1 in x 15.484 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.484 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.484 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.484 * [taylor]: Taking taylor expansion of 1/3 in x 15.484 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.484 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.484 * [taylor]: Taking taylor expansion of x in x 15.485 * [taylor]: Taking taylor expansion of x in x 15.486 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in x 15.486 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 15.486 * [taylor]: Taking taylor expansion of 3 in x 15.486 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 15.486 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 15.486 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 15.486 * [taylor]: Taking taylor expansion of (cbrt -1) in x 15.486 * [taylor]: Taking taylor expansion of -1 in x 15.487 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.487 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.487 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.487 * [taylor]: Taking taylor expansion of 1/3 in x 15.487 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.487 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.487 * [taylor]: Taking taylor expansion of x in x 15.488 * [taylor]: Taking taylor expansion of x in x 15.599 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 15.599 * [approximate]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in (x) around 0 15.600 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in x 15.600 * [taylor]: Taking taylor expansion of 2 in x 15.600 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 15.600 * [taylor]: Taking taylor expansion of x in x 15.600 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 15.600 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 15.600 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 15.600 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 15.600 * [taylor]: Taking taylor expansion of 1/3 in x 15.600 * [taylor]: Taking taylor expansion of (log x) in x 15.600 * [taylor]: Taking taylor expansion of x in x 15.600 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in x 15.600 * [taylor]: Taking taylor expansion of 2 in x 15.600 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 15.600 * [taylor]: Taking taylor expansion of x in x 15.600 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 15.600 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 15.600 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 15.600 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 15.600 * [taylor]: Taking taylor expansion of 1/3 in x 15.600 * [taylor]: Taking taylor expansion of (log x) in x 15.600 * [taylor]: Taking taylor expansion of x in x 15.726 * [approximate]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in (x) around 0 15.726 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in x 15.726 * [taylor]: Taking taylor expansion of 2 in x 15.726 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 15.726 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 15.726 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.726 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.726 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.726 * [taylor]: Taking taylor expansion of 1/3 in x 15.726 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.726 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.726 * [taylor]: Taking taylor expansion of x in x 15.727 * [taylor]: Taking taylor expansion of x in x 15.727 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in x 15.727 * [taylor]: Taking taylor expansion of 2 in x 15.727 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 15.727 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 15.727 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.727 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.727 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.727 * [taylor]: Taking taylor expansion of 1/3 in x 15.727 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.727 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.727 * [taylor]: Taking taylor expansion of x in x 15.728 * [taylor]: Taking taylor expansion of x in x 15.814 * [approximate]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in (x) around 0 15.814 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 15.815 * [taylor]: Taking taylor expansion of -2 in x 15.815 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 15.815 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 15.815 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 15.815 * [taylor]: Taking taylor expansion of (cbrt -1) in x 15.815 * [taylor]: Taking taylor expansion of -1 in x 15.815 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.815 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.815 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.815 * [taylor]: Taking taylor expansion of 1/3 in x 15.815 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.815 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.815 * [taylor]: Taking taylor expansion of x in x 15.817 * [taylor]: Taking taylor expansion of x in x 15.817 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 15.817 * [taylor]: Taking taylor expansion of -2 in x 15.817 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 15.817 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 15.817 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 15.817 * [taylor]: Taking taylor expansion of (cbrt -1) in x 15.817 * [taylor]: Taking taylor expansion of -1 in x 15.818 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.818 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.818 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.818 * [taylor]: Taking taylor expansion of 1/3 in x 15.818 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.818 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.818 * [taylor]: Taking taylor expansion of x in x 15.820 * [taylor]: Taking taylor expansion of x in x 15.937 * * * [progress]: simplifying candidates 15.938 * [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))))) 15.941 * * [simplify]: iteration 0 : 125 enodes (cost 867 ) 15.962 * * [simplify]: iteration 1 : 309 enodes (cost 778 ) 16.043 * * [simplify]: iteration 2 : 1235 enodes (cost 586 ) 16.538 * * [simplify]: iteration done : 5000 enodes (cost 585 ) 16.538 * [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 (* 3 (* (log (cbrt x)) x))) (log1p (* 3 (* (log (cbrt x)) x))) (exp (* 3 (* (log (cbrt x)) x))) (log (* 3 (* (log (cbrt x)) x))) (exp (* 3 (* (log (cbrt x)) x))) (* (cbrt (* 3 (* (log (cbrt x)) x))) (cbrt (* 3 (* (log (cbrt x)) x)))) (cbrt (* 3 (* (log (cbrt x)) x))) (pow (* 3 (* (log (cbrt x)) x)) 3) (sqrt (* 3 (* (log (cbrt x)) x))) (sqrt (* 3 (* (log (cbrt x)) x))) (+ (pow (* (* 2/3 (log x)) x) 3) (pow (* x (log (cbrt x))) 3)) (fma (* (* 2/3 (log x)) x) (* (* 2/3 (log x)) x) (* (* (log (cbrt x)) (- x (* 2 x))) (* (log (cbrt x)) x))) (* (* (log (cbrt x)) (- (* 2 x) x)) (* 3 (* (log (cbrt x)) x))) (* (log (cbrt x)) (- (* 2 x) x)) (* x (+ (* 2/3 (log x)) (log (cbrt (pow x 2/3))))) (* x (fma (log (cbrt x)) 2 (log (cbrt (sqrt x))))) (* (* 2/3 (log x)) x) (* x (fma (log (cbrt x)) 2 (* 2 (log (cbrt (cbrt 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))))) (* x (fma (log (cbrt x)) 2 (log (cbrt (sqrt x))))) (* (* 2/3 (log x)) x) (* x (fma (log (cbrt x)) 2 (* 2 (log (cbrt (cbrt 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) x) 2) (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)) (* (log (cbrt x)) 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)) x) 3) (* (- 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))))) 16.539 * * * [progress]: adding candidates to table 16.752 * * [progress]: iteration 3 / 4 16.752 * * * [progress]: picking best candidate 16.763 * * * * [pick]: Picked # 16.763 * * * [progress]: localizing error 16.781 * * * [progress]: generating rewritten candidates 16.781 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1) 16.783 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1) 16.783 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 16.792 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 16.799 * * * [progress]: generating series expansions 16.799 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1) 16.800 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 16.800 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 16.800 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 16.800 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 16.800 * [taylor]: Taking taylor expansion of 1/3 in x 16.800 * [taylor]: Taking taylor expansion of (log x) in x 16.800 * [taylor]: Taking taylor expansion of x in x 16.801 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 16.801 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 16.801 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 16.801 * [taylor]: Taking taylor expansion of 1/3 in x 16.801 * [taylor]: Taking taylor expansion of (log x) in x 16.801 * [taylor]: Taking taylor expansion of x in x 16.852 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 16.853 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 16.853 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 16.853 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 16.853 * [taylor]: Taking taylor expansion of 1/3 in x 16.853 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 16.853 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.853 * [taylor]: Taking taylor expansion of x in x 16.853 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 16.854 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 16.854 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 16.854 * [taylor]: Taking taylor expansion of 1/3 in x 16.854 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 16.854 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.854 * [taylor]: Taking taylor expansion of x in x 16.909 * [approximate]: Taking taylor expansion of (pow (/ -1 x) 1/3) in (x) around 0 16.910 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/3) in x 16.910 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 x)))) in x 16.910 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 x))) in x 16.910 * [taylor]: Taking taylor expansion of 1/3 in x 16.910 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 16.910 * [taylor]: Taking taylor expansion of (/ -1 x) in x 16.910 * [taylor]: Taking taylor expansion of -1 in x 16.910 * [taylor]: Taking taylor expansion of x in x 16.911 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/3) in x 16.911 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 x)))) in x 16.911 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 x))) in x 16.911 * [taylor]: Taking taylor expansion of 1/3 in x 16.911 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 16.911 * [taylor]: Taking taylor expansion of (/ -1 x) in x 16.912 * [taylor]: Taking taylor expansion of -1 in x 16.912 * [taylor]: Taking taylor expansion of x in x 16.974 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1) 16.974 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 16.974 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 16.974 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 16.974 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 16.974 * [taylor]: Taking taylor expansion of 1/3 in x 16.974 * [taylor]: Taking taylor expansion of (log x) in x 16.974 * [taylor]: Taking taylor expansion of x in x 16.975 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 16.975 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 16.975 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 16.975 * [taylor]: Taking taylor expansion of 1/3 in x 16.975 * [taylor]: Taking taylor expansion of (log x) in x 16.975 * [taylor]: Taking taylor expansion of x in x 17.023 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 17.023 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 17.023 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 17.023 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 17.023 * [taylor]: Taking taylor expansion of 1/3 in x 17.023 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 17.023 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.023 * [taylor]: Taking taylor expansion of x in x 17.024 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 17.024 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 17.024 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 17.024 * [taylor]: Taking taylor expansion of 1/3 in x 17.024 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 17.024 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.024 * [taylor]: Taking taylor expansion of x in x 17.080 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 17.080 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 17.080 * [taylor]: Taking taylor expansion of (cbrt -1) in x 17.080 * [taylor]: Taking taylor expansion of -1 in x 17.081 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 17.081 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 17.081 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 17.081 * [taylor]: Taking taylor expansion of 1/3 in x 17.081 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 17.081 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.081 * [taylor]: Taking taylor expansion of x in x 17.082 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 17.082 * [taylor]: Taking taylor expansion of (cbrt -1) in x 17.082 * [taylor]: Taking taylor expansion of -1 in x 17.083 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 17.083 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 17.083 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 17.083 * [taylor]: Taking taylor expansion of 1/3 in x 17.083 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 17.083 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.083 * [taylor]: Taking taylor expansion of x in x 17.151 * * * * [progress]: [ 3 / 4 ] generating series at (2) 17.151 * [approximate]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in (x) around 0 17.151 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in x 17.151 * [taylor]: Taking taylor expansion of 3 in x 17.151 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 17.151 * [taylor]: Taking taylor expansion of x in x 17.151 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 17.151 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 17.151 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 17.151 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 17.151 * [taylor]: Taking taylor expansion of 1/3 in x 17.151 * [taylor]: Taking taylor expansion of (log x) in x 17.151 * [taylor]: Taking taylor expansion of x in x 17.152 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in x 17.152 * [taylor]: Taking taylor expansion of 3 in x 17.152 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 17.152 * [taylor]: Taking taylor expansion of x in x 17.152 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 17.152 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 17.152 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 17.152 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 17.152 * [taylor]: Taking taylor expansion of 1/3 in x 17.152 * [taylor]: Taking taylor expansion of (log x) in x 17.152 * [taylor]: Taking taylor expansion of x in x 17.283 * [approximate]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in (x) around 0 17.283 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in x 17.284 * [taylor]: Taking taylor expansion of 3 in x 17.284 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 17.284 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 17.284 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 17.284 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 17.284 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 17.284 * [taylor]: Taking taylor expansion of 1/3 in x 17.284 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 17.284 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.284 * [taylor]: Taking taylor expansion of x in x 17.285 * [taylor]: Taking taylor expansion of x in x 17.285 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in x 17.285 * [taylor]: Taking taylor expansion of 3 in x 17.285 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 17.285 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 17.285 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 17.285 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 17.285 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 17.285 * [taylor]: Taking taylor expansion of 1/3 in x 17.285 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 17.285 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.285 * [taylor]: Taking taylor expansion of x in x 17.286 * [taylor]: Taking taylor expansion of x in x 17.373 * [approximate]: Taking taylor expansion of (- (+ (* 2 (/ (log (pow (/ -1 x) 1/3)) x)) (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in (x) around 0 17.373 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ (log (pow (/ -1 x) 1/3)) x)) (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in x 17.373 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (log (pow (/ -1 x) 1/3)) x)) (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 17.373 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ -1 x) 1/3)) x)) in x 17.373 * [taylor]: Taking taylor expansion of 2 in x 17.373 * [taylor]: Taking taylor expansion of (/ (log (pow (/ -1 x) 1/3)) x) in x 17.373 * [taylor]: Taking taylor expansion of (log (pow (/ -1 x) 1/3)) in x 17.373 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/3) in x 17.373 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 x)))) in x 17.373 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 x))) in x 17.373 * [taylor]: Taking taylor expansion of 1/3 in x 17.373 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 17.373 * [taylor]: Taking taylor expansion of (/ -1 x) in x 17.373 * [taylor]: Taking taylor expansion of -1 in x 17.373 * [taylor]: Taking taylor expansion of x in x 17.375 * [taylor]: Taking taylor expansion of x in x 17.376 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 17.376 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 17.376 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 17.376 * [taylor]: Taking taylor expansion of (cbrt -1) in x 17.376 * [taylor]: Taking taylor expansion of -1 in x 17.376 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 17.376 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 17.377 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 17.377 * [taylor]: Taking taylor expansion of 1/3 in x 17.377 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 17.377 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.377 * [taylor]: Taking taylor expansion of x in x 17.378 * [taylor]: Taking taylor expansion of x in x 17.379 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ (log (pow (/ -1 x) 1/3)) x)) (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in x 17.379 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (log (pow (/ -1 x) 1/3)) x)) (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 17.379 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ -1 x) 1/3)) x)) in x 17.379 * [taylor]: Taking taylor expansion of 2 in x 17.379 * [taylor]: Taking taylor expansion of (/ (log (pow (/ -1 x) 1/3)) x) in x 17.379 * [taylor]: Taking taylor expansion of (log (pow (/ -1 x) 1/3)) in x 17.379 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 1/3) in x 17.379 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ -1 x)))) in x 17.379 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ -1 x))) in x 17.379 * [taylor]: Taking taylor expansion of 1/3 in x 17.379 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 17.379 * [taylor]: Taking taylor expansion of (/ -1 x) in x 17.379 * [taylor]: Taking taylor expansion of -1 in x 17.379 * [taylor]: Taking taylor expansion of x in x 17.381 * [taylor]: Taking taylor expansion of x in x 17.381 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 17.381 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 17.381 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 17.381 * [taylor]: Taking taylor expansion of (cbrt -1) in x 17.381 * [taylor]: Taking taylor expansion of -1 in x 17.382 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 17.382 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 17.382 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 17.382 * [taylor]: Taking taylor expansion of 1/3 in x 17.382 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 17.382 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.382 * [taylor]: Taking taylor expansion of x in x 17.384 * [taylor]: Taking taylor expansion of x in x 17.602 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 17.602 * [approximate]: Taking taylor expansion of (* x (log (pow x 1/3))) in (x) around 0 17.602 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 17.602 * [taylor]: Taking taylor expansion of x in x 17.602 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 17.602 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 17.602 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 17.602 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 17.602 * [taylor]: Taking taylor expansion of 1/3 in x 17.602 * [taylor]: Taking taylor expansion of (log x) in x 17.602 * [taylor]: Taking taylor expansion of x in x 17.603 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 17.603 * [taylor]: Taking taylor expansion of x in x 17.603 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 17.603 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 17.603 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 17.603 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 17.603 * [taylor]: Taking taylor expansion of 1/3 in x 17.603 * [taylor]: Taking taylor expansion of (log x) in x 17.603 * [taylor]: Taking taylor expansion of x in x 17.720 * [approximate]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in (x) around 0 17.720 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 17.720 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 17.720 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 17.720 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 17.720 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 17.720 * [taylor]: Taking taylor expansion of 1/3 in x 17.720 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 17.721 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.721 * [taylor]: Taking taylor expansion of x in x 17.721 * [taylor]: Taking taylor expansion of x in x 17.721 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 17.722 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 17.722 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 17.722 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 17.722 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 17.722 * [taylor]: Taking taylor expansion of 1/3 in x 17.722 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 17.722 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.722 * [taylor]: Taking taylor expansion of x in x 17.722 * [taylor]: Taking taylor expansion of x in x 17.805 * [approximate]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in (x) around 0 17.805 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 17.805 * [taylor]: Taking taylor expansion of -1 in x 17.805 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 17.805 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 17.805 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 17.805 * [taylor]: Taking taylor expansion of (cbrt -1) in x 17.805 * [taylor]: Taking taylor expansion of -1 in x 17.806 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 17.806 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 17.806 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 17.806 * [taylor]: Taking taylor expansion of 1/3 in x 17.806 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 17.806 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.806 * [taylor]: Taking taylor expansion of x in x 17.807 * [taylor]: Taking taylor expansion of x in x 17.808 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 17.808 * [taylor]: Taking taylor expansion of -1 in x 17.808 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 17.808 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 17.808 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 17.808 * [taylor]: Taking taylor expansion of (cbrt -1) in x 17.808 * [taylor]: Taking taylor expansion of -1 in x 17.809 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 17.809 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 17.809 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 17.809 * [taylor]: Taking taylor expansion of 1/3 in x 17.809 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 17.809 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.809 * [taylor]: Taking taylor expansion of x in x 17.810 * [taylor]: Taking taylor expansion of x in x 17.929 * * * [progress]: simplifying candidates 17.930 * [simplify]: Simplifying using # : (expm1 (pow x 1/3)) (log1p (pow x 1/3)) (* (log x) 1/3) (* (log x) 1/3) (* 1 1/3) (pow x (* (cbrt 1/3) (cbrt 1/3))) (pow x (sqrt 1/3)) (pow x 1) (pow (* (cbrt x) (cbrt x)) 1/3) (pow (cbrt x) 1/3) (pow (sqrt x) 1/3) (pow (sqrt x) 1/3) (pow 1 1/3) (pow x 1/3) (log (pow x 1/3)) (exp (pow x 1/3)) (* (cbrt (pow x 1/3)) (cbrt (pow x 1/3))) (cbrt (pow x 1/3)) (* (* (pow x 1/3) (pow x 1/3)) (pow x 1/3)) (sqrt (pow x 1/3)) (sqrt (pow x 1/3)) (pow x (/ 1/3 2)) (pow x (/ 1/3 2)) (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 (pow x 1/3))) x) (* x (log (cbrt x))))) (log1p (+ (* (* 2 (log (pow x 1/3))) x) (* x (log (cbrt x))))) (* (exp (* (* 2 (log (pow x 1/3))) x)) (exp (* x (log (cbrt x))))) (log (+ (* (* 2 (log (pow x 1/3))) x) (* x (log (cbrt x))))) (exp (+ (* (* 2 (log (pow x 1/3))) x) (* x (log (cbrt x))))) (* (cbrt (+ (* (* 2 (log (pow x 1/3))) x) (* x (log (cbrt x))))) (cbrt (+ (* (* 2 (log (pow x 1/3))) x) (* x (log (cbrt x)))))) (cbrt (+ (* (* 2 (log (pow x 1/3))) x) (* x (log (cbrt x))))) (* (* (+ (* (* 2 (log (pow x 1/3))) x) (* x (log (cbrt x)))) (+ (* (* 2 (log (pow x 1/3))) x) (* x (log (cbrt x))))) (+ (* (* 2 (log (pow x 1/3))) x) (* x (log (cbrt x))))) (sqrt (+ (* (* 2 (log (pow x 1/3))) x) (* x (log (cbrt x))))) (sqrt (+ (* (* 2 (log (pow x 1/3))) x) (* x (log (cbrt x))))) (+ (pow (* (* 2 (log (pow x 1/3))) x) 3) (pow (* x (log (cbrt x))) 3)) (+ (* (* (* 2 (log (pow x 1/3))) x) (* (* 2 (log (pow x 1/3))) x)) (- (* (* x (log (cbrt x))) (* x (log (cbrt x)))) (* (* (* 2 (log (pow x 1/3))) x) (* x (log (cbrt x)))))) (- (* (* (* 2 (log (pow x 1/3))) x) (* (* 2 (log (pow x 1/3))) x)) (* (* x (log (cbrt x))) (* x (log (cbrt x))))) (- (* (* 2 (log (pow x 1/3))) x) (* x (log (cbrt x)))) (+ (* (* 2 (log (pow x 1/3))) x) (* x (log (cbrt (* (cbrt x) (cbrt x)))))) (+ (* (* 2 (log (pow x 1/3))) x) (* x (log (cbrt (sqrt x))))) (+ (* (* 2 (log (pow x 1/3))) x) (* x (log (cbrt 1)))) (+ (* (* 2 (log (pow x 1/3))) x) (* x (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))))) (+ (* (* 2 (log (pow x 1/3))) x) (* x (log (sqrt (cbrt x))))) (+ (* (* 2 (log (pow x 1/3))) x) (* x (log 1))) (+ (* (* 2 (log (pow x 1/3))) x) (* (log (cbrt (* (cbrt x) (cbrt x)))) x)) (+ (* (* 2 (log (pow x 1/3))) x) (* (log (cbrt (sqrt x))) x)) (+ (* (* 2 (log (pow x 1/3))) x) (* (log (cbrt 1)) x)) (+ (* (* 2 (log (pow x 1/3))) x) (* (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))) x)) (+ (* (* 2 (log (pow x 1/3))) x) (* (log (sqrt (cbrt x))) x)) (+ (* (* 2 (log (pow x 1/3))) x) (* (log 1) 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))) (pow x 1/3) (pow (/ 1 x) -1/3) (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (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)) (* -1 (* (- (* 2/3 (log (/ -1 x))) (+ (* 2/3 (log -1)) (log (* (pow (* -1 x) 1/3) (cbrt -1))))) x)) (* x (log (pow x 1/3))) (* (log (pow (/ 1 x) -1/3)) x) (* x (log (* (pow (* -1 x) 1/3) (cbrt -1)))) 17.934 * * [simplify]: iteration 0 : 156 enodes (cost 1060 ) 17.967 * * [simplify]: iteration 1 : 360 enodes (cost 897 ) 18.061 * * [simplify]: iteration 2 : 1492 enodes (cost 770 ) 18.590 * * [simplify]: iteration done : 5001 enodes (cost 770 ) 18.590 * [simplify]: Simplified to: (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (log (cbrt x)) 1/3 (pow x (* (cbrt 1/3) (cbrt 1/3))) (pow x (sqrt 1/3)) x (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (log (cbrt x)) (exp (cbrt x)) (pow (cbrt x) 2/3) (cbrt (cbrt x)) (pow (cbrt x) 3) (sqrt (cbrt x)) (sqrt (cbrt x)) (pow x 1/6) (pow x 1/6) (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) (pow (cbrt x) 2/3) (cbrt (cbrt x)) (pow (cbrt x) 3) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (* x (+ (* (log x) 2/3) (log (cbrt x))))) (log1p (* x (+ (* (log x) 2/3) (log (cbrt x))))) (* (pow (cbrt x) x) (pow (pow (cbrt x) 2) x)) (log (* x (+ (* (log x) 2/3) (log (cbrt x))))) (* (pow (cbrt x) x) (pow (pow (cbrt x) 2) x)) (* (cbrt (* x (+ (* (log x) 2/3) (log (cbrt x))))) (cbrt (* x (+ (* (log x) 2/3) (log (cbrt x)))))) (cbrt (* x (+ (* (log x) 2/3) (log (cbrt x))))) (pow (* x (+ (* (log x) 2/3) (log (cbrt x)))) 3) (sqrt (* x (+ (* (log x) 2/3) (log (cbrt x))))) (sqrt (* x (+ (* (log x) 2/3) (log (cbrt x))))) (+ (pow (* (log (cbrt x)) x) 3) (pow (* x (* (log x) 2/3)) 3)) (fma (* x (* (log x) 2/3)) (* x (* (log x) 2/3)) (* x (* (log (cbrt x)) (* x (- (log (cbrt x)) (* (log x) 2/3)))))) (* (* x (- (* (log x) 2/3) (log (cbrt x)))) (* x (+ (* (log x) 2/3) (log (cbrt x))))) (* x (- (* (log x) 2/3) (log (cbrt x)))) (* x (+ (log (cbrt (pow x 2/3))) (* (log x) 2/3))) (* x (+ (log (cbrt (sqrt x))) (* (log x) 2/3))) (* x (* (log x) 2/3)) (* (+ (* (log x) 2/3) (log (pow (cbrt x) 2/3))) x) (* x (+ (log (sqrt (cbrt x))) (* (log x) 2/3))) (* x (* (log x) 2/3)) (* x (+ (log (cbrt (pow x 2/3))) (* (log x) 2/3))) (* x (+ (log (cbrt (sqrt x))) (* (log x) 2/3))) (* x (* (log x) 2/3)) (* (+ (* (log x) 2/3) (log (pow (cbrt x) 2/3))) x) (* x (+ (log (sqrt (cbrt x))) (* (log x) 2/3))) (* x (* (log x) 2/3)) (expm1 (* x (log (cbrt x)))) (log1p (* x (log (cbrt x)))) (* (log (cbrt x)) 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)))) (* x (log (cbrt (pow x 2/3)))) (* (log (cbrt (cbrt x))) x) (* x (log (cbrt (sqrt x)))) (* x (log (cbrt (sqrt x)))) 0 (* (log (cbrt x)) x) (* x (log (pow (cbrt x) 2/3))) (* (log (cbrt (cbrt x))) x) (* (log (sqrt (cbrt x))) x) (* (log (sqrt (cbrt x))) x) 0 (* (log (cbrt x)) x) (* x (log (cbrt (pow x 2/3)))) (* (log (cbrt (cbrt x))) x) (* x (log (cbrt (sqrt x)))) (* x (log (cbrt (sqrt x)))) 0 (* (log (cbrt x)) x) (* x (log (pow (cbrt x) 2/3))) (* (log (cbrt (cbrt x))) x) (* (log (sqrt (cbrt x))) x) (* (log (sqrt (cbrt x))) x) 0 (* (log (cbrt x)) 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))) (* (log (cbrt x)) x) (cbrt x) (pow (/ 1 x) -1/3) (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) (* 3 (* (log (cbrt x)) x)) (* (* -1 (- (log x))) x) (* (- (* 2/3 (- (log (/ -1 x)) (log -1))) (log (* (cbrt (- x)) (cbrt -1)))) (- x)) (* (log (cbrt x)) x) (* x (* -1/3 (- (log x)))) (* (log (* (cbrt (- x)) (cbrt -1))) x) 18.591 * * * [progress]: adding candidates to table 18.870 * * [progress]: iteration 4 / 4 18.870 * * * [progress]: picking best candidate 18.880 * * * * [pick]: Picked # 18.880 * * * [progress]: localizing error 18.895 * * * [progress]: generating rewritten candidates 18.895 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 18.896 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 3 2 1) 18.896 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1) 18.897 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 3 2 1 1) 18.898 * * * [progress]: generating series expansions 18.898 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 18.898 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 18.898 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 18.898 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 18.898 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 18.898 * [taylor]: Taking taylor expansion of 1/9 in x 18.899 * [taylor]: Taking taylor expansion of (log x) in x 18.899 * [taylor]: Taking taylor expansion of x in x 18.899 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 18.899 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 18.899 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 18.899 * [taylor]: Taking taylor expansion of 1/9 in x 18.899 * [taylor]: Taking taylor expansion of (log x) in x 18.899 * [taylor]: Taking taylor expansion of x in x 18.951 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 18.951 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 18.951 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 18.951 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 18.951 * [taylor]: Taking taylor expansion of 1/9 in x 18.951 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 18.951 * [taylor]: Taking taylor expansion of (/ 1 x) in x 18.951 * [taylor]: Taking taylor expansion of x in x 18.952 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 18.952 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 18.952 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 18.952 * [taylor]: Taking taylor expansion of 1/9 in x 18.952 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 18.952 * [taylor]: Taking taylor expansion of (/ 1 x) in x 18.952 * [taylor]: Taking taylor expansion of x in x 19.003 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 19.003 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 19.003 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 19.003 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 19.003 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 19.003 * [taylor]: Taking taylor expansion of 1/3 in x 19.003 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 19.003 * [taylor]: Taking taylor expansion of (cbrt -1) in x 19.003 * [taylor]: Taking taylor expansion of -1 in x 19.007 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 19.007 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 19.007 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 19.007 * [taylor]: Taking taylor expansion of 1/9 in x 19.007 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 19.007 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.007 * [taylor]: Taking taylor expansion of x in x 19.008 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 19.008 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 19.008 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 19.008 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 19.008 * [taylor]: Taking taylor expansion of 1/3 in x 19.008 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 19.008 * [taylor]: Taking taylor expansion of (cbrt -1) in x 19.008 * [taylor]: Taking taylor expansion of -1 in x 19.011 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 19.011 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 19.011 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 19.011 * [taylor]: Taking taylor expansion of 1/9 in x 19.011 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 19.011 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.011 * [taylor]: Taking taylor expansion of x in x 19.136 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 3 2 1) 19.136 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 19.136 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 19.136 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 19.136 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 19.136 * [taylor]: Taking taylor expansion of 1/9 in x 19.136 * [taylor]: Taking taylor expansion of (log x) in x 19.136 * [taylor]: Taking taylor expansion of x in x 19.136 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 19.136 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 19.136 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 19.136 * [taylor]: Taking taylor expansion of 1/9 in x 19.136 * [taylor]: Taking taylor expansion of (log x) in x 19.136 * [taylor]: Taking taylor expansion of x in x 19.190 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 19.190 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 19.190 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 19.191 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 19.191 * [taylor]: Taking taylor expansion of 1/9 in x 19.191 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 19.191 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.191 * [taylor]: Taking taylor expansion of x in x 19.191 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 19.191 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 19.191 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 19.191 * [taylor]: Taking taylor expansion of 1/9 in x 19.191 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 19.192 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.192 * [taylor]: Taking taylor expansion of x in x 19.247 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 19.247 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 19.247 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 19.247 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 19.247 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 19.247 * [taylor]: Taking taylor expansion of 1/3 in x 19.247 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 19.247 * [taylor]: Taking taylor expansion of (cbrt -1) in x 19.247 * [taylor]: Taking taylor expansion of -1 in x 19.251 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 19.251 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 19.251 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 19.251 * [taylor]: Taking taylor expansion of 1/9 in x 19.251 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 19.251 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.251 * [taylor]: Taking taylor expansion of x in x 19.252 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 19.252 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 19.252 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 19.252 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 19.252 * [taylor]: Taking taylor expansion of 1/3 in x 19.252 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 19.252 * [taylor]: Taking taylor expansion of (cbrt -1) in x 19.252 * [taylor]: Taking taylor expansion of -1 in x 19.255 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 19.255 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 19.255 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 19.255 * [taylor]: Taking taylor expansion of 1/9 in x 19.255 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 19.255 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.255 * [taylor]: Taking taylor expansion of x in x 19.375 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1) 19.375 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 19.375 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 19.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 19.375 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 19.375 * [taylor]: Taking taylor expansion of 1/3 in x 19.375 * [taylor]: Taking taylor expansion of (log x) in x 19.375 * [taylor]: Taking taylor expansion of x in x 19.375 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 19.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 19.375 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 19.375 * [taylor]: Taking taylor expansion of 1/3 in x 19.375 * [taylor]: Taking taylor expansion of (log x) in x 19.375 * [taylor]: Taking taylor expansion of x in x 19.428 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 19.428 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 19.428 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 19.428 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 19.428 * [taylor]: Taking taylor expansion of 1/3 in x 19.428 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 19.428 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.428 * [taylor]: Taking taylor expansion of x in x 19.429 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 19.429 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 19.429 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 19.429 * [taylor]: Taking taylor expansion of 1/3 in x 19.429 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 19.429 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.429 * [taylor]: Taking taylor expansion of x in x 19.487 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 19.487 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 19.487 * [taylor]: Taking taylor expansion of (cbrt -1) in x 19.487 * [taylor]: Taking taylor expansion of -1 in x 19.488 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 19.488 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 19.488 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 19.488 * [taylor]: Taking taylor expansion of 1/3 in x 19.488 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 19.488 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.488 * [taylor]: Taking taylor expansion of x in x 19.488 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 19.488 * [taylor]: Taking taylor expansion of (cbrt -1) in x 19.489 * [taylor]: Taking taylor expansion of -1 in x 19.489 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 19.489 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 19.489 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 19.489 * [taylor]: Taking taylor expansion of 1/3 in x 19.489 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 19.489 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.489 * [taylor]: Taking taylor expansion of x in x 19.556 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 3 2 1 1) 19.556 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 19.556 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 19.556 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 19.556 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 19.556 * [taylor]: Taking taylor expansion of 1/3 in x 19.556 * [taylor]: Taking taylor expansion of (log x) in x 19.556 * [taylor]: Taking taylor expansion of x in x 19.557 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 19.557 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 19.557 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 19.557 * [taylor]: Taking taylor expansion of 1/3 in x 19.557 * [taylor]: Taking taylor expansion of (log x) in x 19.557 * [taylor]: Taking taylor expansion of x in x 19.604 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 19.604 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 19.604 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 19.604 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 19.604 * [taylor]: Taking taylor expansion of 1/3 in x 19.604 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 19.604 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.604 * [taylor]: Taking taylor expansion of x in x 19.605 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 19.605 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 19.605 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 19.605 * [taylor]: Taking taylor expansion of 1/3 in x 19.605 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 19.605 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.605 * [taylor]: Taking taylor expansion of x in x 19.661 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 19.661 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 19.661 * [taylor]: Taking taylor expansion of (cbrt -1) in x 19.661 * [taylor]: Taking taylor expansion of -1 in x 19.662 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 19.662 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 19.662 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 19.662 * [taylor]: Taking taylor expansion of 1/3 in x 19.662 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 19.662 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.662 * [taylor]: Taking taylor expansion of x in x 19.663 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 19.663 * [taylor]: Taking taylor expansion of (cbrt -1) in x 19.663 * [taylor]: Taking taylor expansion of -1 in x 19.664 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 19.664 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 19.664 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 19.664 * [taylor]: Taking taylor expansion of 1/3 in x 19.664 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 19.664 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.664 * [taylor]: Taking taylor expansion of x in x 19.730 * * * [progress]: simplifying candidates 19.731 * [simplify]: Simplifying using # : (expm1 (cbrt (cbrt x))) (log1p (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt 1)) (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt 1) (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (expm1 (cbrt (cbrt x))) (log1p (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt 1)) (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt 1) (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (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 (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)) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (* -1 x) 1/9) (pow (cbrt -1) 1/3)) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (* -1 x) 1/9) (pow (cbrt -1) 1/3)) (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)) 19.733 * * [simplify]: iteration 0 : 46 enodes (cost 374 ) 19.739 * * [simplify]: iteration 1 : 79 enodes (cost 358 ) 19.753 * * [simplify]: iteration 2 : 154 enodes (cost 328 ) 19.791 * * [simplify]: iteration 3 : 371 enodes (cost 316 ) 19.905 * * [simplify]: iteration 4 : 1225 enodes (cost 316 ) 20.284 * * [simplify]: iteration done : 5001 enodes (cost 316 ) 20.284 * [simplify]: Simplified to: (expm1 (cbrt (cbrt x))) (log1p (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (pow x 2/3))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) 1 (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) 1 (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt x) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (expm1 (cbrt (cbrt x))) (log1p (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (pow x 2/3))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) 1 (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) 1 (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt x) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (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 (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)) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (- x) 1/9) (cbrt (cbrt -1))) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (- x) 1/9) (cbrt (cbrt -1))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) 20.286 * * * [progress]: adding candidates to table 20.681 * [progress]: [Phase 3 of 3] Extracting. 20.681 * * [regime]: Finding splitpoints for: (# # # # # #) 20.683 * * * [regime-changes]: Trying 2 branch expressions: ((* x (log x)) x) 20.683 * * * * [regimes]: Trying to branch on (* x (log x)) from (# # # # # #) 20.711 * * * * [regimes]: Trying to branch on x from (# # # # # #) 20.735 * * * [regime]: Found split indices: #