10.100 * [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.020 * * [simplify]: iteration 1 : 4 enodes (cost 4 ) 0.020 * * [simplify]: iteration done : 4 enodes (cost 4 ) 0.020 * [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.101 * [approximate]: Taking taylor expansion of (/ (log (/ 1 x)) x) in (x) around 0 0.101 * [taylor]: Taking taylor expansion of (/ (log (/ 1 x)) x) in x 0.101 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.101 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.101 * [taylor]: Taking taylor expansion of x in x 0.101 * [taylor]: Taking taylor expansion of x in x 0.102 * [taylor]: Taking taylor expansion of (/ (log (/ 1 x)) x) in x 0.102 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.102 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.102 * [taylor]: Taking taylor expansion of x in x 0.102 * [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.147 * [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.149 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.149 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.149 * [taylor]: Taking taylor expansion of -1 in x 0.149 * [taylor]: Taking taylor expansion of x in x 0.149 * [taylor]: Taking taylor expansion of x in x 0.206 * * * [progress]: simplifying candidates 0.207 * [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.209 * * [simplify]: iteration 0 : 55 enodes (cost 213 ) 0.220 * * [simplify]: iteration 1 : 95 enodes (cost 204 ) 0.235 * * [simplify]: iteration 2 : 181 enodes (cost 180 ) 0.286 * * [simplify]: iteration 3 : 269 enodes (cost 173 ) 0.478 * * [simplify]: iteration 4 : 1103 enodes (cost 173 ) 1.969 * * [simplify]: iteration done : 5000 enodes (cost 173 ) 1.970 * [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.970 * * * [progress]: adding candidates to table 2.018 * * [progress]: iteration 2 / 4 2.018 * * * [progress]: picking best candidate 2.026 * * * * [pick]: Picked # 2.026 * * * [progress]: localizing error 2.036 * * * [progress]: generating rewritten candidates 2.036 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 2.036 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1) 2.037 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 2.047 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 2.057 * * * [progress]: generating series expansions 2.058 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 2.058 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.058 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.058 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.058 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.058 * [taylor]: Taking taylor expansion of 1/3 in x 2.058 * [taylor]: Taking taylor expansion of (log x) in x 2.058 * [taylor]: Taking taylor expansion of x in x 2.059 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.059 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.059 * [taylor]: Taking taylor expansion of 1/3 in x 2.059 * [taylor]: Taking taylor expansion of (log x) in x 2.059 * [taylor]: Taking taylor expansion of x in x 2.111 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.111 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.111 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.111 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.111 * [taylor]: Taking taylor expansion of 1/3 in x 2.111 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.111 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.111 * [taylor]: Taking taylor expansion of x in x 2.112 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.112 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.112 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.112 * [taylor]: Taking taylor expansion of 1/3 in x 2.112 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.112 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.112 * [taylor]: Taking taylor expansion of x in x 2.164 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 2.164 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.164 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.164 * [taylor]: Taking taylor expansion of -1 in x 2.165 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.165 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.165 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.165 * [taylor]: Taking taylor expansion of 1/3 in x 2.165 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.165 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.165 * [taylor]: Taking taylor expansion of x in x 2.166 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.166 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.166 * [taylor]: Taking taylor expansion of -1 in x 2.167 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.167 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.167 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.167 * [taylor]: Taking taylor expansion of 1/3 in x 2.167 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.167 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.167 * [taylor]: Taking taylor expansion of x in x 2.228 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1) 2.228 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.228 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.228 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.228 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.228 * [taylor]: Taking taylor expansion of 1/3 in x 2.228 * [taylor]: Taking taylor expansion of (log x) in x 2.228 * [taylor]: Taking taylor expansion of x in x 2.229 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.229 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.229 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.229 * [taylor]: Taking taylor expansion of 1/3 in x 2.229 * [taylor]: Taking taylor expansion of (log x) in x 2.229 * [taylor]: Taking taylor expansion of x in x 2.281 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.281 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.281 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.281 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.281 * [taylor]: Taking taylor expansion of 1/3 in x 2.281 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.281 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.281 * [taylor]: Taking taylor expansion of x in x 2.282 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.282 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.282 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.282 * [taylor]: Taking taylor expansion of 1/3 in x 2.282 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.282 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.282 * [taylor]: Taking taylor expansion of x in x 2.337 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 2.338 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.338 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.338 * [taylor]: Taking taylor expansion of -1 in x 2.338 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.338 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.338 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.338 * [taylor]: Taking taylor expansion of 1/3 in x 2.338 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.339 * [taylor]: Taking taylor expansion of x in x 2.339 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.339 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.339 * [taylor]: Taking taylor expansion of -1 in x 2.340 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.340 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.340 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.340 * [taylor]: Taking taylor expansion of 1/3 in x 2.340 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.340 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.340 * [taylor]: Taking taylor expansion of x in x 2.407 * * * * [progress]: [ 3 / 4 ] generating series at (2) 2.407 * [approximate]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in (x) around 0 2.407 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in x 2.407 * [taylor]: Taking taylor expansion of 3 in x 2.407 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 2.407 * [taylor]: Taking taylor expansion of x in x 2.407 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 2.407 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.407 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.407 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.407 * [taylor]: Taking taylor expansion of 1/3 in x 2.407 * [taylor]: Taking taylor expansion of (log x) in x 2.407 * [taylor]: Taking taylor expansion of x in x 2.408 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in x 2.408 * [taylor]: Taking taylor expansion of 3 in x 2.408 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 2.408 * [taylor]: Taking taylor expansion of x in x 2.408 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 2.408 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.408 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.408 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.408 * [taylor]: Taking taylor expansion of 1/3 in x 2.408 * [taylor]: Taking taylor expansion of (log x) in x 2.408 * [taylor]: Taking taylor expansion of x in x 2.534 * [approximate]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in (x) around 0 2.534 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in x 2.534 * [taylor]: Taking taylor expansion of 3 in x 2.534 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 2.534 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 2.534 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.534 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.534 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.534 * [taylor]: Taking taylor expansion of 1/3 in x 2.534 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.534 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.534 * [taylor]: Taking taylor expansion of x in x 2.541 * [taylor]: Taking taylor expansion of x in x 2.541 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in x 2.541 * [taylor]: Taking taylor expansion of 3 in x 2.541 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 2.541 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 2.541 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.541 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.541 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.541 * [taylor]: Taking taylor expansion of 1/3 in x 2.541 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.541 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.541 * [taylor]: Taking taylor expansion of x in x 2.542 * [taylor]: Taking taylor expansion of x in x 2.630 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in (x) around 0 2.631 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in x 2.631 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 2.631 * [taylor]: Taking taylor expansion of 3 in x 2.631 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 2.631 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 2.631 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.631 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.631 * [taylor]: Taking taylor expansion of -1 in x 2.631 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.631 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.631 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.631 * [taylor]: Taking taylor expansion of 1/3 in x 2.631 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.631 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.631 * [taylor]: Taking taylor expansion of x in x 2.633 * [taylor]: Taking taylor expansion of x in x 2.633 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in x 2.633 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 2.633 * [taylor]: Taking taylor expansion of 3 in x 2.634 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 2.634 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 2.634 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.634 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.634 * [taylor]: Taking taylor expansion of -1 in x 2.634 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.634 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.634 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.634 * [taylor]: Taking taylor expansion of 1/3 in x 2.634 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.634 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.634 * [taylor]: Taking taylor expansion of x in x 2.636 * [taylor]: Taking taylor expansion of x in x 2.752 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 2.753 * [approximate]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in (x) around 0 2.753 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in x 2.753 * [taylor]: Taking taylor expansion of 2 in x 2.753 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 2.753 * [taylor]: Taking taylor expansion of x in x 2.753 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 2.753 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.753 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.753 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.753 * [taylor]: Taking taylor expansion of 1/3 in x 2.753 * [taylor]: Taking taylor expansion of (log x) in x 2.753 * [taylor]: Taking taylor expansion of x in x 2.753 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in x 2.753 * [taylor]: Taking taylor expansion of 2 in x 2.753 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 2.753 * [taylor]: Taking taylor expansion of x in x 2.753 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 2.753 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.754 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.754 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.754 * [taylor]: Taking taylor expansion of 1/3 in x 2.754 * [taylor]: Taking taylor expansion of (log x) in x 2.754 * [taylor]: Taking taylor expansion of x in x 2.886 * [approximate]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in (x) around 0 2.886 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in x 2.886 * [taylor]: Taking taylor expansion of 2 in x 2.886 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 2.886 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 2.886 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.886 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.886 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.886 * [taylor]: Taking taylor expansion of 1/3 in x 2.886 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.886 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.886 * [taylor]: Taking taylor expansion of x in x 2.887 * [taylor]: Taking taylor expansion of x in x 2.887 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in x 2.887 * [taylor]: Taking taylor expansion of 2 in x 2.887 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 2.887 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 2.887 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.887 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.887 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.887 * [taylor]: Taking taylor expansion of 1/3 in x 2.887 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.887 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.887 * [taylor]: Taking taylor expansion of x in x 2.888 * [taylor]: Taking taylor expansion of x in x 2.977 * [approximate]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in (x) around 0 2.977 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 2.977 * [taylor]: Taking taylor expansion of -2 in x 2.977 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 2.977 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 2.977 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.977 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.977 * [taylor]: Taking taylor expansion of -1 in x 2.978 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.978 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.978 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.978 * [taylor]: Taking taylor expansion of 1/3 in x 2.978 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.978 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.978 * [taylor]: Taking taylor expansion of x in x 2.980 * [taylor]: Taking taylor expansion of x in x 2.980 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 2.980 * [taylor]: Taking taylor expansion of -2 in x 2.980 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 2.980 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 2.980 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.980 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.980 * [taylor]: Taking taylor expansion of -1 in x 2.981 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.981 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.981 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.981 * [taylor]: Taking taylor expansion of 1/3 in x 2.981 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.981 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.981 * [taylor]: Taking taylor expansion of x in x 2.983 * [taylor]: Taking taylor expansion of x in x 3.094 * * * [progress]: simplifying candidates 3.096 * [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.105 * * [simplify]: iteration 0 : 125 enodes (cost 867 ) 3.131 * * [simplify]: iteration 1 : 307 enodes (cost 776 ) 3.287 * * [simplify]: iteration 2 : 1087 enodes (cost 586 ) 4.040 * * [simplify]: iteration done : 5000 enodes (cost 572 ) 4.041 * [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))))) 4.041 * * * [progress]: adding candidates to table 4.263 * * [progress]: iteration 3 / 4 4.263 * * * [progress]: picking best candidate 4.275 * * * * [pick]: Picked # 4.276 * * * [progress]: localizing error 4.290 * * * [progress]: generating rewritten candidates 4.290 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 4.291 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 3 2 1) 4.292 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1) 4.292 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 3 2 1 1) 4.294 * * * [progress]: generating series expansions 4.294 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 4.294 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 4.294 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 4.294 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 4.294 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 4.294 * [taylor]: Taking taylor expansion of 1/9 in x 4.294 * [taylor]: Taking taylor expansion of (log x) in x 4.294 * [taylor]: Taking taylor expansion of x in x 4.295 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 4.295 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 4.295 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 4.295 * [taylor]: Taking taylor expansion of 1/9 in x 4.295 * [taylor]: Taking taylor expansion of (log x) in x 4.295 * [taylor]: Taking taylor expansion of x in x 4.347 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 4.347 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 4.358 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 4.358 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 4.358 * [taylor]: Taking taylor expansion of 1/9 in x 4.358 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.358 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.358 * [taylor]: Taking taylor expansion of x in x 4.360 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 4.360 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 4.360 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 4.360 * [taylor]: Taking taylor expansion of 1/9 in x 4.360 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.360 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.360 * [taylor]: Taking taylor expansion of x in x 4.427 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 4.427 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 4.427 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 4.427 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 4.427 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 4.427 * [taylor]: Taking taylor expansion of 1/3 in x 4.427 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 4.427 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.427 * [taylor]: Taking taylor expansion of -1 in x 4.430 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 4.430 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 4.430 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 4.430 * [taylor]: Taking taylor expansion of 1/9 in x 4.430 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.430 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.430 * [taylor]: Taking taylor expansion of x in x 4.431 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 4.431 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 4.431 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 4.431 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 4.431 * [taylor]: Taking taylor expansion of 1/3 in x 4.431 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 4.431 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.431 * [taylor]: Taking taylor expansion of -1 in x 4.435 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 4.435 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 4.435 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 4.435 * [taylor]: Taking taylor expansion of 1/9 in x 4.435 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.435 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.435 * [taylor]: Taking taylor expansion of x in x 4.555 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 3 2 1) 4.555 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 4.555 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 4.555 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 4.555 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 4.555 * [taylor]: Taking taylor expansion of 1/9 in x 4.555 * [taylor]: Taking taylor expansion of (log x) in x 4.555 * [taylor]: Taking taylor expansion of x in x 4.555 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 4.555 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 4.555 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 4.555 * [taylor]: Taking taylor expansion of 1/9 in x 4.555 * [taylor]: Taking taylor expansion of (log x) in x 4.555 * [taylor]: Taking taylor expansion of x in x 4.608 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 4.608 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 4.608 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 4.608 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 4.608 * [taylor]: Taking taylor expansion of 1/9 in x 4.608 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.608 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.608 * [taylor]: Taking taylor expansion of x in x 4.609 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 4.609 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 4.609 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 4.609 * [taylor]: Taking taylor expansion of 1/9 in x 4.609 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.609 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.609 * [taylor]: Taking taylor expansion of x in x 4.665 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 4.665 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 4.665 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 4.665 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 4.665 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 4.665 * [taylor]: Taking taylor expansion of 1/3 in x 4.665 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 4.665 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.665 * [taylor]: Taking taylor expansion of -1 in x 4.669 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 4.669 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 4.669 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 4.669 * [taylor]: Taking taylor expansion of 1/9 in x 4.669 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.669 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.669 * [taylor]: Taking taylor expansion of x in x 4.670 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 4.670 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 4.670 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 4.670 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 4.670 * [taylor]: Taking taylor expansion of 1/3 in x 4.670 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 4.670 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.670 * [taylor]: Taking taylor expansion of -1 in x 4.673 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 4.673 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 4.674 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 4.674 * [taylor]: Taking taylor expansion of 1/9 in x 4.674 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.674 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.674 * [taylor]: Taking taylor expansion of x in x 4.799 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1) 4.799 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 4.799 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.800 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.800 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.800 * [taylor]: Taking taylor expansion of 1/3 in x 4.800 * [taylor]: Taking taylor expansion of (log x) in x 4.800 * [taylor]: Taking taylor expansion of x in x 4.800 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.800 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.800 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.800 * [taylor]: Taking taylor expansion of 1/3 in x 4.800 * [taylor]: Taking taylor expansion of (log x) in x 4.800 * [taylor]: Taking taylor expansion of x in x 4.848 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 4.848 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.848 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.848 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.848 * [taylor]: Taking taylor expansion of 1/3 in x 4.848 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.848 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.848 * [taylor]: Taking taylor expansion of x in x 4.849 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.849 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.849 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.849 * [taylor]: Taking taylor expansion of 1/3 in x 4.849 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.849 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.849 * [taylor]: Taking taylor expansion of x in x 4.905 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 4.905 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.905 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.905 * [taylor]: Taking taylor expansion of -1 in x 4.906 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.906 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.906 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.906 * [taylor]: Taking taylor expansion of 1/3 in x 4.906 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.906 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.906 * [taylor]: Taking taylor expansion of x in x 4.907 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.907 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.907 * [taylor]: Taking taylor expansion of -1 in x 4.908 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.908 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.908 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.908 * [taylor]: Taking taylor expansion of 1/3 in x 4.908 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.908 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.908 * [taylor]: Taking taylor expansion of x in x 4.975 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 3 2 1 1) 4.975 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 4.975 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.975 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.975 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.975 * [taylor]: Taking taylor expansion of 1/3 in x 4.975 * [taylor]: Taking taylor expansion of (log x) in x 4.975 * [taylor]: Taking taylor expansion of x in x 4.975 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.975 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.975 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.975 * [taylor]: Taking taylor expansion of 1/3 in x 4.975 * [taylor]: Taking taylor expansion of (log x) in x 4.975 * [taylor]: Taking taylor expansion of x in x 5.028 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 5.028 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.028 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.028 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.028 * [taylor]: Taking taylor expansion of 1/3 in x 5.028 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.028 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.028 * [taylor]: Taking taylor expansion of x in x 5.029 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.029 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.029 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.029 * [taylor]: Taking taylor expansion of 1/3 in x 5.029 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.029 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.029 * [taylor]: Taking taylor expansion of x in x 5.085 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 5.085 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 5.085 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.085 * [taylor]: Taking taylor expansion of -1 in x 5.086 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.086 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.086 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.086 * [taylor]: Taking taylor expansion of 1/3 in x 5.086 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.086 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.086 * [taylor]: Taking taylor expansion of x in x 5.087 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 5.087 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.087 * [taylor]: Taking taylor expansion of -1 in x 5.088 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.088 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.088 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.088 * [taylor]: Taking taylor expansion of 1/3 in x 5.088 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.088 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.088 * [taylor]: Taking taylor expansion of x in x 5.148 * * * [progress]: simplifying candidates 5.149 * [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)) 5.151 * * [simplify]: iteration 0 : 46 enodes (cost 374 ) 5.164 * * [simplify]: iteration 1 : 79 enodes (cost 356 ) 5.175 * * [simplify]: iteration 2 : 151 enodes (cost 328 ) 5.198 * * [simplify]: iteration 3 : 303 enodes (cost 316 ) 5.270 * * [simplify]: iteration 4 : 853 enodes (cost 316 ) 5.888 * * [simplify]: iteration 5 : 3537 enodes (cost 316 ) 7.369 * * [simplify]: iteration done : 5001 enodes (cost 316 ) 7.369 * [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))) 7.370 * * * [progress]: adding candidates to table 7.632 * * [progress]: iteration 4 / 4 7.632 * * * [progress]: picking best candidate 7.641 * * * * [pick]: Picked # 7.642 * * * [progress]: localizing error 7.648 * * * [progress]: generating rewritten candidates 7.648 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 7.649 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 7.656 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 7.658 * * * [progress]: generating series expansions 7.658 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 7.658 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 7.658 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 7.658 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 7.658 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 7.658 * [taylor]: Taking taylor expansion of 1/3 in x 7.658 * [taylor]: Taking taylor expansion of (log x) in x 7.658 * [taylor]: Taking taylor expansion of x in x 7.659 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 7.659 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 7.659 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 7.659 * [taylor]: Taking taylor expansion of 1/3 in x 7.659 * [taylor]: Taking taylor expansion of (log x) in x 7.659 * [taylor]: Taking taylor expansion of x in x 7.711 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 7.711 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.711 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.711 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.711 * [taylor]: Taking taylor expansion of 1/3 in x 7.711 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.711 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.711 * [taylor]: Taking taylor expansion of x in x 7.712 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.712 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.712 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.712 * [taylor]: Taking taylor expansion of 1/3 in x 7.712 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.712 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.712 * [taylor]: Taking taylor expansion of x in x 7.770 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 7.770 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 7.770 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.770 * [taylor]: Taking taylor expansion of -1 in x 7.771 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.771 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.771 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.771 * [taylor]: Taking taylor expansion of 1/3 in x 7.771 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.771 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.771 * [taylor]: Taking taylor expansion of x in x 7.772 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 7.772 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.772 * [taylor]: Taking taylor expansion of -1 in x 7.773 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.773 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.773 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.773 * [taylor]: Taking taylor expansion of 1/3 in x 7.773 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.773 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.773 * [taylor]: Taking taylor expansion of x in x 7.841 * * * * [progress]: [ 2 / 3 ] generating series at (2) 7.841 * [approximate]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in (x) around 0 7.841 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in x 7.841 * [taylor]: Taking taylor expansion of 3 in x 7.841 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 7.841 * [taylor]: Taking taylor expansion of x in x 7.841 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 7.841 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 7.841 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 7.841 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 7.841 * [taylor]: Taking taylor expansion of 1/3 in x 7.841 * [taylor]: Taking taylor expansion of (log x) in x 7.841 * [taylor]: Taking taylor expansion of x in x 7.842 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in x 7.842 * [taylor]: Taking taylor expansion of 3 in x 7.842 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 7.842 * [taylor]: Taking taylor expansion of x in x 7.842 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 7.842 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 7.842 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 7.842 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 7.842 * [taylor]: Taking taylor expansion of 1/3 in x 7.842 * [taylor]: Taking taylor expansion of (log x) in x 7.842 * [taylor]: Taking taylor expansion of x in x 7.969 * [approximate]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in (x) around 0 7.969 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in x 7.969 * [taylor]: Taking taylor expansion of 3 in x 7.969 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 7.969 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 7.969 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.969 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.969 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.969 * [taylor]: Taking taylor expansion of 1/3 in x 7.969 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.969 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.969 * [taylor]: Taking taylor expansion of x in x 7.970 * [taylor]: Taking taylor expansion of x in x 7.970 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in x 7.970 * [taylor]: Taking taylor expansion of 3 in x 7.970 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 7.971 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 7.971 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.971 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.971 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.971 * [taylor]: Taking taylor expansion of 1/3 in x 7.971 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.971 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.971 * [taylor]: Taking taylor expansion of x in x 7.971 * [taylor]: Taking taylor expansion of x in x 8.065 * [approximate]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in (x) around 0 8.066 * [taylor]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 8.066 * [taylor]: Taking taylor expansion of -3 in x 8.066 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 8.066 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 8.066 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 8.066 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.066 * [taylor]: Taking taylor expansion of -1 in x 8.066 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.066 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.066 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.066 * [taylor]: Taking taylor expansion of 1/3 in x 8.067 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.067 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.067 * [taylor]: Taking taylor expansion of x in x 8.068 * [taylor]: Taking taylor expansion of x in x 8.069 * [taylor]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 8.069 * [taylor]: Taking taylor expansion of -3 in x 8.069 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 8.069 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 8.069 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 8.069 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.069 * [taylor]: Taking taylor expansion of -1 in x 8.069 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.069 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.069 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.070 * [taylor]: Taking taylor expansion of 1/3 in x 8.070 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.070 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.070 * [taylor]: Taking taylor expansion of x in x 8.071 * [taylor]: Taking taylor expansion of x in x 8.186 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 8.186 * [approximate]: Taking taylor expansion of (log (pow x 1/3)) in (x) around 0 8.186 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 8.186 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 8.186 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 8.186 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 8.186 * [taylor]: Taking taylor expansion of 1/3 in x 8.186 * [taylor]: Taking taylor expansion of (log x) in x 8.186 * [taylor]: Taking taylor expansion of x in x 8.186 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 8.186 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 8.187 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 8.187 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 8.187 * [taylor]: Taking taylor expansion of 1/3 in x 8.187 * [taylor]: Taking taylor expansion of (log x) in x 8.187 * [taylor]: Taking taylor expansion of x in x 8.259 * [approximate]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in (x) around 0 8.259 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 8.259 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.259 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.259 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.259 * [taylor]: Taking taylor expansion of 1/3 in x 8.259 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.259 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.259 * [taylor]: Taking taylor expansion of x in x 8.261 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 8.261 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.261 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.261 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.261 * [taylor]: Taking taylor expansion of 1/3 in x 8.261 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.261 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.261 * [taylor]: Taking taylor expansion of x in x 8.338 * [approximate]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in (x) around 0 8.338 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 8.338 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 8.338 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.338 * [taylor]: Taking taylor expansion of -1 in x 8.338 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.338 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.338 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.338 * [taylor]: Taking taylor expansion of 1/3 in x 8.338 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.338 * [taylor]: Taking taylor expansion of x in x 8.340 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 8.340 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 8.340 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.340 * [taylor]: Taking taylor expansion of -1 in x 8.341 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.341 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.341 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.341 * [taylor]: Taking taylor expansion of 1/3 in x 8.341 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.341 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.341 * [taylor]: Taking taylor expansion of x in x 8.439 * * * [progress]: simplifying candidates 8.440 * [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 (* (log (cbrt x)) (* 3 x))) (log1p (* (log (cbrt x)) (* 3 x))) (* (log (cbrt x)) (* 3 x)) (* (log (cbrt x)) (* 3 x)) (+ (log (log (cbrt x))) (+ (log 3) (log x))) (+ (log (log (cbrt x))) (log (* 3 x))) (log (* (log (cbrt x)) (* 3 x))) (exp (* (log (cbrt x)) (* 3 x))) (* (* (* (log (cbrt x)) (log (cbrt x))) (log (cbrt x))) (* (* (* 3 3) 3) (* (* x x) x))) (* (* (* (log (cbrt x)) (log (cbrt x))) (log (cbrt x))) (* (* (* 3 x) (* 3 x)) (* 3 x))) (* (cbrt (* (log (cbrt x)) (* 3 x))) (cbrt (* (log (cbrt x)) (* 3 x)))) (cbrt (* (log (cbrt x)) (* 3 x))) (* (* (* (log (cbrt x)) (* 3 x)) (* (log (cbrt x)) (* 3 x))) (* (log (cbrt x)) (* 3 x))) (sqrt (* (log (cbrt x)) (* 3 x))) (sqrt (* (log (cbrt x)) (* 3 x))) (* (log (cbrt x)) 3) (* (log x) (* 3 x)) (* (log (cbrt x)) (* 3 x)) (* (cbrt (log (cbrt x))) (* 3 x)) (* (sqrt (log (cbrt x))) (* 3 x)) (* (log (cbrt x)) (* 3 x)) (expm1 (log (cbrt x))) (log1p (log (cbrt x))) (log (cbrt (* (cbrt x) (cbrt x)))) (log (cbrt (cbrt x))) (log (cbrt (sqrt x))) (log (cbrt (sqrt x))) (log (cbrt 1)) (log (cbrt x)) (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (log (cbrt (cbrt x))) (log (sqrt (cbrt x))) (log (sqrt (cbrt x))) (log 1) (log (cbrt x)) (log x) (log (cbrt x)) (log (log (cbrt x))) (exp (log (cbrt x))) (* (cbrt (log (cbrt x))) (cbrt (log (cbrt x)))) (cbrt (log (cbrt x))) (* (* (log (cbrt x)) (log (cbrt x))) (log (cbrt x))) (sqrt (log (cbrt x))) (sqrt (log (cbrt 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)) (* 3 (* x (log (* (pow (* -1 x) 1/3) (cbrt -1))))) (log (pow x 1/3)) (log (pow (/ 1 x) -1/3)) (log (* (pow (* -1 x) 1/3) (cbrt -1))) 8.442 * * [simplify]: iteration 0 : 82 enodes (cost 440 ) 8.462 * * [simplify]: iteration 1 : 172 enodes (cost 412 ) 8.496 * * [simplify]: iteration 2 : 516 enodes (cost 342 ) 8.978 * * [simplify]: iteration 3 : 1960 enodes (cost 332 ) 10.623 * * [simplify]: iteration done : 5000 enodes (cost 332 ) 10.623 * [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 (* x (* 1 (log x)))) (log1p (* x (* 1 (log x)))) (* x (* 1 (log x))) (* x (* 1 (log x))) (log (* x (* 1 (log x)))) (log (* x (* 1 (log x)))) (log (* x (* 1 (log x)))) (pow x x) (pow (* x (* 1 (log x))) 3) (pow (* x (* 1 (log x))) 3) (* (cbrt (* x (* 1 (log x)))) (cbrt (* x (* 1 (log x))))) (cbrt (* x (* 1 (log x)))) (pow (* x (* 1 (log x))) 3) (sqrt (* x (* 1 (log x)))) (sqrt (* x (* 1 (log x)))) (* 1 (log x)) (* (log x) (* 3 x)) (* x (* 1 (log x))) (* (cbrt (log (cbrt x))) (* 3 x)) (* (sqrt (log (cbrt x))) (* 3 x)) (* x (* 1 (log x))) (expm1 (log (cbrt x))) (log1p (log (cbrt x))) (log (cbrt (pow x 2/3))) (log (cbrt (cbrt x))) (log (cbrt (sqrt x))) (log (cbrt (sqrt x))) 0 (log (cbrt x)) (* 2 (log (cbrt (cbrt x)))) (log (cbrt (cbrt x))) (log (sqrt (cbrt x))) (log (sqrt (cbrt x))) 0 (log (cbrt x)) (log x) (log (cbrt x)) (log (log (cbrt x))) (cbrt x) (* (cbrt (log (cbrt x))) (cbrt (log (cbrt x)))) (cbrt (log (cbrt x))) (pow (log (cbrt x)) 3) (sqrt (log (cbrt x))) (sqrt (log (cbrt x))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (* x (* 1 (log x))) (* (- x) (- (log x))) (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))) (log (cbrt x)) (* -1/3 (- (log x))) (log (* (cbrt -1) (cbrt (- x)))) 10.624 * * * [progress]: adding candidates to table 10.749 * [progress]: [Phase 3 of 3] Extracting. 10.749 * * [regime]: Finding splitpoints for: (# # # # # # #) 10.750 * * * [regime-changes]: Trying 2 branch expressions: ((* x (log x)) x) 10.750 * * * * [regimes]: Trying to branch on (* x (log x)) from (# # # # # # #) 10.778 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 10.805 * * * [regime]: Found split indices: #