12.826 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.015 * * * [progress]: [2/2] Setting up program. 0.016 * [progress]: [Phase 2 of 3] Improving. 0.017 * [simplify]: Simplifying using # : (* x (log x)) 0.018 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 0.018 * * [simplify]: iteration 1 : 4 enodes (cost 4 ) 0.018 * * [simplify]: iteration done : 4 enodes (cost 4 ) 0.018 * [simplify]: Simplified to: (* x (log x)) 0.019 * * [progress]: iteration 1 / 4 0.019 * * * [progress]: picking best candidate 0.020 * * * * [pick]: Picked # 0.020 * * * [progress]: localizing error 0.024 * * * [progress]: generating rewritten candidates 0.024 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.029 * * * [progress]: generating series expansions 0.029 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.029 * [approximate]: Taking taylor expansion of (* (log x) x) in (x) around 0 0.029 * [taylor]: Taking taylor expansion of (* (log x) x) in x 0.029 * [taylor]: Taking taylor expansion of (log x) in x 0.029 * [taylor]: Taking taylor expansion of x in x 0.029 * [taylor]: Taking taylor expansion of x in x 0.029 * [taylor]: Taking taylor expansion of (* (log x) x) in x 0.029 * [taylor]: Taking taylor expansion of (log x) in x 0.029 * [taylor]: Taking taylor expansion of x in x 0.030 * [taylor]: Taking taylor expansion of x in x 0.096 * [approximate]: Taking taylor expansion of (/ (log (/ 1 x)) x) in (x) around 0 0.096 * [taylor]: Taking taylor expansion of (/ (log (/ 1 x)) x) in x 0.096 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.096 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.096 * [taylor]: Taking taylor expansion of x in x 0.097 * [taylor]: Taking taylor expansion of x in x 0.097 * [taylor]: Taking taylor expansion of (/ (log (/ 1 x)) x) in x 0.097 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.097 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.097 * [taylor]: Taking taylor expansion of x in x 0.098 * [taylor]: Taking taylor expansion of x in x 0.144 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 x)) x)) in (x) around 0 0.144 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 x)) x)) in x 0.144 * [taylor]: Taking taylor expansion of -1 in x 0.144 * [taylor]: Taking taylor expansion of (/ (log (/ -1 x)) x) in x 0.144 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.144 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.144 * [taylor]: Taking taylor expansion of -1 in x 0.144 * [taylor]: Taking taylor expansion of x in x 0.145 * [taylor]: Taking taylor expansion of x in x 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.205 * * * [progress]: simplifying candidates 0.206 * [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.207 * * [simplify]: iteration 0 : 55 enodes (cost 213 ) 0.217 * * [simplify]: iteration 1 : 95 enodes (cost 204 ) 0.237 * * [simplify]: iteration 2 : 272 enodes (cost 180 ) 0.337 * * [simplify]: iteration 3 : 708 enodes (cost 173 ) 1.008 * * [simplify]: iteration 4 : 2577 enodes (cost 173 ) 4.241 * * [simplify]: iteration done : 5000 enodes (cost 173 ) 4.241 * [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) 4.241 * * * [progress]: adding candidates to table 4.282 * * [progress]: iteration 2 / 4 4.282 * * * [progress]: picking best candidate 4.293 * * * * [pick]: Picked # 4.293 * * * [progress]: localizing error 4.302 * * * [progress]: generating rewritten candidates 4.302 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 4.303 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1) 4.304 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 4.314 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 4.324 * * * [progress]: generating series expansions 4.324 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 4.324 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 4.324 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.324 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.324 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.324 * [taylor]: Taking taylor expansion of 1/3 in x 4.324 * [taylor]: Taking taylor expansion of (log x) in x 4.324 * [taylor]: Taking taylor expansion of x in x 4.325 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.325 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.325 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.325 * [taylor]: Taking taylor expansion of 1/3 in x 4.325 * [taylor]: Taking taylor expansion of (log x) in x 4.325 * [taylor]: Taking taylor expansion of x in x 4.378 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 4.378 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.378 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.378 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.378 * [taylor]: Taking taylor expansion of 1/3 in x 4.378 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.378 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.378 * [taylor]: Taking taylor expansion of x in x 4.379 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.379 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.379 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.379 * [taylor]: Taking taylor expansion of 1/3 in x 4.379 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.379 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.379 * [taylor]: Taking taylor expansion of x in x 4.432 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 4.432 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.432 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.432 * [taylor]: Taking taylor expansion of -1 in x 4.433 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.433 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.433 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.433 * [taylor]: Taking taylor expansion of 1/3 in x 4.433 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.433 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.433 * [taylor]: Taking taylor expansion of x in x 4.434 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.434 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.434 * [taylor]: Taking taylor expansion of -1 in x 4.435 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.435 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.435 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.435 * [taylor]: Taking taylor expansion of 1/3 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.502 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1) 4.502 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 4.502 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.502 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.502 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.502 * [taylor]: Taking taylor expansion of 1/3 in x 4.502 * [taylor]: Taking taylor expansion of (log x) in x 4.502 * [taylor]: Taking taylor expansion of x in x 4.503 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.503 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.503 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.503 * [taylor]: Taking taylor expansion of 1/3 in x 4.503 * [taylor]: Taking taylor expansion of (log x) in x 4.503 * [taylor]: Taking taylor expansion of x in x 4.553 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 4.553 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.553 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.553 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.553 * [taylor]: Taking taylor expansion of 1/3 in x 4.554 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.554 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.554 * [taylor]: Taking taylor expansion of x in x 4.554 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.554 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.554 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.555 * [taylor]: Taking taylor expansion of 1/3 in x 4.555 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.555 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.555 * [taylor]: Taking taylor expansion of x in x 4.609 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 4.609 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.610 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.610 * [taylor]: Taking taylor expansion of -1 in x 4.610 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.610 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.610 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.610 * [taylor]: Taking taylor expansion of 1/3 in x 4.610 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.610 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.611 * [taylor]: Taking taylor expansion of x in x 4.611 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.611 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.611 * [taylor]: Taking taylor expansion of -1 in x 4.612 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.612 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.612 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.612 * [taylor]: Taking taylor expansion of 1/3 in x 4.612 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.612 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.612 * [taylor]: Taking taylor expansion of x in x 4.680 * * * * [progress]: [ 3 / 4 ] generating series at (2) 4.680 * [approximate]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in (x) around 0 4.680 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in x 4.680 * [taylor]: Taking taylor expansion of 3 in x 4.680 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 4.680 * [taylor]: Taking taylor expansion of x in x 4.680 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 4.680 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.680 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.680 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.680 * [taylor]: Taking taylor expansion of 1/3 in x 4.680 * [taylor]: Taking taylor expansion of (log x) in x 4.680 * [taylor]: Taking taylor expansion of x in x 4.681 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in x 4.681 * [taylor]: Taking taylor expansion of 3 in x 4.681 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 4.681 * [taylor]: Taking taylor expansion of x in x 4.681 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 4.681 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.681 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.681 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.681 * [taylor]: Taking taylor expansion of 1/3 in x 4.681 * [taylor]: Taking taylor expansion of (log x) in x 4.681 * [taylor]: Taking taylor expansion of x in x 4.808 * [approximate]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in (x) around 0 4.808 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in x 4.808 * [taylor]: Taking taylor expansion of 3 in x 4.808 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 4.808 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 4.808 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.808 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.808 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.808 * [taylor]: Taking taylor expansion of 1/3 in x 4.808 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.808 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.808 * [taylor]: Taking taylor expansion of x in x 4.809 * [taylor]: Taking taylor expansion of x in x 4.809 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in x 4.809 * [taylor]: Taking taylor expansion of 3 in x 4.809 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 4.809 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 4.809 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.810 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.810 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.810 * [taylor]: Taking taylor expansion of 1/3 in x 4.810 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.810 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.810 * [taylor]: Taking taylor expansion of x in x 4.811 * [taylor]: Taking taylor expansion of x in x 4.900 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in (x) around 0 4.900 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in x 4.900 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 4.900 * [taylor]: Taking taylor expansion of 3 in x 4.900 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 4.900 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 4.900 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.900 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.900 * [taylor]: Taking taylor expansion of -1 in x 4.901 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.901 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.901 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.901 * [taylor]: Taking taylor expansion of 1/3 in x 4.901 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.901 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.901 * [taylor]: Taking taylor expansion of x in x 4.903 * [taylor]: Taking taylor expansion of x in x 4.903 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in x 4.903 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 4.903 * [taylor]: Taking taylor expansion of 3 in x 4.903 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 4.903 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 4.903 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.903 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.903 * [taylor]: Taking taylor expansion of -1 in x 4.904 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.904 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.904 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.904 * [taylor]: Taking taylor expansion of 1/3 in x 4.904 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.904 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.904 * [taylor]: Taking taylor expansion of x in x 4.906 * [taylor]: Taking taylor expansion of x in x 5.025 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 5.025 * [approximate]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in (x) around 0 5.025 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in x 5.025 * [taylor]: Taking taylor expansion of 2 in x 5.025 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 5.025 * [taylor]: Taking taylor expansion of x in x 5.025 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 5.025 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 5.025 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 5.025 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 5.025 * [taylor]: Taking taylor expansion of 1/3 in x 5.025 * [taylor]: Taking taylor expansion of (log x) in x 5.025 * [taylor]: Taking taylor expansion of x in x 5.026 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in x 5.026 * [taylor]: Taking taylor expansion of 2 in x 5.026 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 5.026 * [taylor]: Taking taylor expansion of x in x 5.026 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 5.026 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 5.026 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 5.026 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 5.026 * [taylor]: Taking taylor expansion of 1/3 in x 5.026 * [taylor]: Taking taylor expansion of (log x) in x 5.026 * [taylor]: Taking taylor expansion of x in x 5.159 * [approximate]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in (x) around 0 5.159 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in x 5.159 * [taylor]: Taking taylor expansion of 2 in x 5.159 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 5.159 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 5.159 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.159 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.159 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.159 * [taylor]: Taking taylor expansion of 1/3 in x 5.159 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.159 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.159 * [taylor]: Taking taylor expansion of x in x 5.160 * [taylor]: Taking taylor expansion of x in x 5.160 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in x 5.160 * [taylor]: Taking taylor expansion of 2 in x 5.160 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 5.160 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 5.160 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.160 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.160 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.160 * [taylor]: Taking taylor expansion of 1/3 in x 5.160 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.160 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.160 * [taylor]: Taking taylor expansion of x in x 5.161 * [taylor]: Taking taylor expansion of x in x 5.249 * [approximate]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in (x) around 0 5.249 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 5.249 * [taylor]: Taking taylor expansion of -2 in x 5.249 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 5.249 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 5.250 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 5.250 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.250 * [taylor]: Taking taylor expansion of -1 in x 5.250 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.250 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.250 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.250 * [taylor]: Taking taylor expansion of 1/3 in x 5.250 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.250 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.250 * [taylor]: Taking taylor expansion of x in x 5.252 * [taylor]: Taking taylor expansion of x in x 5.253 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 5.253 * [taylor]: Taking taylor expansion of -2 in x 5.253 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 5.253 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 5.253 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 5.253 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.253 * [taylor]: Taking taylor expansion of -1 in x 5.253 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.253 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.253 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.253 * [taylor]: Taking taylor expansion of 1/3 in x 5.254 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.254 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.254 * [taylor]: Taking taylor expansion of x in x 5.255 * [taylor]: Taking taylor expansion of x in x 5.372 * * * [progress]: simplifying candidates 5.374 * [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))))) 5.377 * * [simplify]: iteration 0 : 125 enodes (cost 867 ) 5.408 * * [simplify]: iteration 1 : 307 enodes (cost 776 ) 5.529 * * [simplify]: iteration 2 : 1090 enodes (cost 586 ) 6.030 * * [simplify]: iteration done : 5000 enodes (cost 570 ) 6.030 * [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 (* (* x (log (cbrt x))) 3)) (exp (* (* x (log (cbrt x))) 3)) (log (* (* x (log (cbrt x))) 3)) (exp (* (* x (log (cbrt x))) 3)) (* (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))) (+ (* (* 4 (log (cbrt x))) x) (* (* (log x) (- 1/3 2/3)) x))) (* (* x (* (* x (log (cbrt x))) 3)) (* (log x) (- 2/3 1/3))) (* (* (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) (* (* 2 (+ (log (cbrt x)) (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) (* (* 2 (+ (log (cbrt x)) (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) 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)) (* 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))) (* (* x (log (cbrt 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))))) 6.031 * * * [progress]: adding candidates to table 6.253 * * [progress]: iteration 3 / 4 6.253 * * * [progress]: picking best candidate 6.265 * * * * [pick]: Picked # 6.265 * * * [progress]: localizing error 6.282 * * * [progress]: generating rewritten candidates 6.282 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 6.283 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2 1) 6.284 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1) 6.284 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2 1 1) 6.286 * * * [progress]: generating series expansions 6.286 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 6.286 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 6.286 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 6.286 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 6.286 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 6.286 * [taylor]: Taking taylor expansion of 1/9 in x 6.286 * [taylor]: Taking taylor expansion of (log x) in x 6.286 * [taylor]: Taking taylor expansion of x in x 6.287 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 6.287 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 6.287 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 6.287 * [taylor]: Taking taylor expansion of 1/9 in x 6.287 * [taylor]: Taking taylor expansion of (log x) in x 6.287 * [taylor]: Taking taylor expansion of x in x 6.335 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 6.335 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.335 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.336 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.336 * [taylor]: Taking taylor expansion of 1/9 in x 6.336 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.336 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.336 * [taylor]: Taking taylor expansion of x in x 6.337 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.337 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.337 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.337 * [taylor]: Taking taylor expansion of 1/9 in x 6.337 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.337 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.337 * [taylor]: Taking taylor expansion of x in x 6.394 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 6.394 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 6.394 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 6.394 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 6.394 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 6.394 * [taylor]: Taking taylor expansion of 1/3 in x 6.394 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 6.394 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.394 * [taylor]: Taking taylor expansion of -1 in x 6.398 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.398 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.398 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.398 * [taylor]: Taking taylor expansion of 1/9 in x 6.398 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.398 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.398 * [taylor]: Taking taylor expansion of x in x 6.399 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 6.399 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 6.399 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 6.399 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 6.399 * [taylor]: Taking taylor expansion of 1/3 in x 6.399 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 6.399 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.399 * [taylor]: Taking taylor expansion of -1 in x 6.403 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.403 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.403 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.403 * [taylor]: Taking taylor expansion of 1/9 in x 6.403 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.403 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.403 * [taylor]: Taking taylor expansion of x in x 6.531 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2 1) 6.532 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 6.532 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 6.532 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 6.532 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 6.532 * [taylor]: Taking taylor expansion of 1/9 in x 6.532 * [taylor]: Taking taylor expansion of (log x) in x 6.532 * [taylor]: Taking taylor expansion of x in x 6.532 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 6.532 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 6.532 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 6.532 * [taylor]: Taking taylor expansion of 1/9 in x 6.532 * [taylor]: Taking taylor expansion of (log x) in x 6.532 * [taylor]: Taking taylor expansion of x in x 6.586 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 6.586 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.586 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.586 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.586 * [taylor]: Taking taylor expansion of 1/9 in x 6.586 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.586 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.586 * [taylor]: Taking taylor expansion of x in x 6.587 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.587 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.587 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.587 * [taylor]: Taking taylor expansion of 1/9 in x 6.587 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.587 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.587 * [taylor]: Taking taylor expansion of x in x 6.639 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 6.639 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 6.639 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 6.639 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 6.639 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 6.639 * [taylor]: Taking taylor expansion of 1/3 in x 6.639 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 6.639 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.639 * [taylor]: Taking taylor expansion of -1 in x 6.643 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.643 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.643 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.643 * [taylor]: Taking taylor expansion of 1/9 in x 6.643 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.643 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.643 * [taylor]: Taking taylor expansion of x in x 6.644 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 6.644 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 6.644 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 6.644 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 6.644 * [taylor]: Taking taylor expansion of 1/3 in x 6.644 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 6.644 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.644 * [taylor]: Taking taylor expansion of -1 in x 6.648 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.648 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.648 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.648 * [taylor]: Taking taylor expansion of 1/9 in x 6.648 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.648 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.648 * [taylor]: Taking taylor expansion of x in x 6.779 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1) 6.779 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 6.779 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.779 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.779 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.779 * [taylor]: Taking taylor expansion of 1/3 in x 6.779 * [taylor]: Taking taylor expansion of (log x) in x 6.779 * [taylor]: Taking taylor expansion of x in x 6.780 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.780 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.780 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.780 * [taylor]: Taking taylor expansion of 1/3 in x 6.780 * [taylor]: Taking taylor expansion of (log x) in x 6.780 * [taylor]: Taking taylor expansion of x in x 6.836 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 6.836 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.836 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.836 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.836 * [taylor]: Taking taylor expansion of 1/3 in x 6.836 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.836 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.836 * [taylor]: Taking taylor expansion of x in x 6.837 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.837 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.837 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.837 * [taylor]: Taking taylor expansion of 1/3 in x 6.837 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.837 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.837 * [taylor]: Taking taylor expansion of x in x 6.895 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 6.895 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.895 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.895 * [taylor]: Taking taylor expansion of -1 in x 6.896 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.896 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.896 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.896 * [taylor]: Taking taylor expansion of 1/3 in x 6.896 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.896 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.896 * [taylor]: Taking taylor expansion of x in x 6.897 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.897 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.897 * [taylor]: Taking taylor expansion of -1 in x 6.897 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.897 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.898 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.898 * [taylor]: Taking taylor expansion of 1/3 in x 6.898 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.898 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.898 * [taylor]: Taking taylor expansion of x in x 6.962 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2 1 1) 6.962 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 6.962 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.962 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.962 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.962 * [taylor]: Taking taylor expansion of 1/3 in x 6.962 * [taylor]: Taking taylor expansion of (log x) in x 6.962 * [taylor]: Taking taylor expansion of x in x 6.963 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.963 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.963 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.963 * [taylor]: Taking taylor expansion of 1/3 in x 6.963 * [taylor]: Taking taylor expansion of (log x) in x 6.963 * [taylor]: Taking taylor expansion of x in x 7.018 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 7.018 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.018 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.018 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.018 * [taylor]: Taking taylor expansion of 1/3 in x 7.018 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.018 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.018 * [taylor]: Taking taylor expansion of x in x 7.019 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.019 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.019 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.019 * [taylor]: Taking taylor expansion of 1/3 in x 7.019 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.019 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.019 * [taylor]: Taking taylor expansion of x in x 7.078 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 7.078 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 7.078 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.078 * [taylor]: Taking taylor expansion of -1 in x 7.078 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.079 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.079 * [taylor]: Taking taylor expansion of 1/3 in x 7.079 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.079 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.079 * [taylor]: Taking taylor expansion of x in x 7.079 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 7.080 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.080 * [taylor]: Taking taylor expansion of -1 in x 7.080 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.080 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.080 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.080 * [taylor]: Taking taylor expansion of 1/3 in x 7.080 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.080 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.080 * [taylor]: Taking taylor expansion of x in x 7.151 * * * [progress]: simplifying candidates 7.152 * [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)) 7.154 * * [simplify]: iteration 0 : 46 enodes (cost 374 ) 7.162 * * [simplify]: iteration 1 : 79 enodes (cost 356 ) 7.176 * * [simplify]: iteration 2 : 151 enodes (cost 328 ) 7.214 * * [simplify]: iteration 3 : 335 enodes (cost 316 ) 7.340 * * [simplify]: iteration 4 : 1129 enodes (cost 316 ) 7.703 * * [simplify]: iteration done : 5001 enodes (cost 316 ) 7.703 * [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.704 * * * [progress]: adding candidates to table 7.953 * * [progress]: iteration 4 / 4 7.954 * * * [progress]: picking best candidate 7.967 * * * * [pick]: Picked # 7.967 * * * [progress]: localizing error 7.976 * * * [progress]: generating rewritten candidates 7.976 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1 2) 7.978 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 7.993 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 7.998 * * * [progress]: generating series expansions 7.998 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1 2) 7.999 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow x 1/3)) in (x) around 0 7.999 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow x 1/3)) in x 7.999 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.999 * [taylor]: Taking taylor expansion of -1 in x 8.000 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 8.000 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 8.000 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 8.000 * [taylor]: Taking taylor expansion of 1/3 in x 8.000 * [taylor]: Taking taylor expansion of (log x) in x 8.000 * [taylor]: Taking taylor expansion of x in x 8.000 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow x 1/3)) in x 8.000 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.000 * [taylor]: Taking taylor expansion of -1 in x 8.001 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 8.001 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 8.001 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 8.001 * [taylor]: Taking taylor expansion of 1/3 in x 8.001 * [taylor]: Taking taylor expansion of (log x) in x 8.001 * [taylor]: Taking taylor expansion of x in x 8.066 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 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.067 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.067 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.067 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.067 * [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 (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 8.068 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.068 * [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.069 * [taylor]: Taking taylor expansion of 1/3 in x 8.069 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.069 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.069 * [taylor]: Taking taylor expansion of x in x 8.138 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 8.138 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.138 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.138 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.138 * [taylor]: Taking taylor expansion of 1/3 in x 8.138 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.138 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.138 * [taylor]: Taking taylor expansion of x in x 8.139 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.139 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.139 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.139 * [taylor]: Taking taylor expansion of 1/3 in x 8.139 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.139 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.139 * [taylor]: Taking taylor expansion of x in x 8.191 * * * * [progress]: [ 2 / 3 ] generating series at (2) 8.191 * [approximate]: Taking taylor expansion of (* 3 (* x (log (* (pow (cbrt -1) 2) (pow x 1/3))))) in (x) around 0 8.191 * [taylor]: Taking taylor expansion of (* 3 (* x (log (* (pow (cbrt -1) 2) (pow x 1/3))))) in x 8.191 * [taylor]: Taking taylor expansion of 3 in x 8.191 * [taylor]: Taking taylor expansion of (* x (log (* (pow (cbrt -1) 2) (pow x 1/3)))) in x 8.192 * [taylor]: Taking taylor expansion of x in x 8.192 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow x 1/3))) in x 8.192 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow x 1/3)) in x 8.192 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 8.192 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.192 * [taylor]: Taking taylor expansion of -1 in x 8.193 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 8.193 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 8.193 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 8.193 * [taylor]: Taking taylor expansion of 1/3 in x 8.193 * [taylor]: Taking taylor expansion of (log x) in x 8.193 * [taylor]: Taking taylor expansion of x in x 8.201 * [taylor]: Taking taylor expansion of (* 3 (* x (log (* (pow (cbrt -1) 2) (pow x 1/3))))) in x 8.201 * [taylor]: Taking taylor expansion of 3 in x 8.201 * [taylor]: Taking taylor expansion of (* x (log (* (pow (cbrt -1) 2) (pow x 1/3)))) in x 8.201 * [taylor]: Taking taylor expansion of x in x 8.201 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow x 1/3))) in x 8.201 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow x 1/3)) in x 8.201 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 8.202 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.202 * [taylor]: Taking taylor expansion of -1 in x 8.202 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 8.202 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 8.202 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 8.202 * [taylor]: Taking taylor expansion of 1/3 in x 8.202 * [taylor]: Taking taylor expansion of (log x) in x 8.202 * [taylor]: Taking taylor expansion of x in x 8.401 * [approximate]: Taking taylor expansion of (* 3 (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3))) x)) in (x) around 0 8.401 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3))) x)) in x 8.402 * [taylor]: Taking taylor expansion of 3 in x 8.402 * [taylor]: Taking taylor expansion of (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3))) x) in x 8.402 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3))) in x 8.402 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3)) in x 8.402 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 8.402 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.402 * [taylor]: Taking taylor expansion of -1 in x 8.402 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.402 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.402 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.402 * [taylor]: Taking taylor expansion of 1/3 in x 8.402 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.402 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.403 * [taylor]: Taking taylor expansion of x in x 8.406 * [taylor]: Taking taylor expansion of x in x 8.407 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3))) x)) in x 8.407 * [taylor]: Taking taylor expansion of 3 in x 8.407 * [taylor]: Taking taylor expansion of (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3))) x) in x 8.407 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3))) in x 8.407 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3)) in x 8.407 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 8.407 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.407 * [taylor]: Taking taylor expansion of -1 in x 8.408 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.408 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.408 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.408 * [taylor]: Taking taylor expansion of 1/3 in x 8.408 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.408 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.408 * [taylor]: Taking taylor expansion of x in x 8.411 * [taylor]: Taking taylor expansion of x in x 8.557 * [approximate]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in (x) around 0 8.557 * [taylor]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 8.557 * [taylor]: Taking taylor expansion of -3 in x 8.557 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 8.557 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 8.557 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 8.557 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.557 * [taylor]: Taking taylor expansion of -1 in x 8.558 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.558 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.558 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.558 * [taylor]: Taking taylor expansion of 1/3 in x 8.558 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.558 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.558 * [taylor]: Taking taylor expansion of x in x 8.560 * [taylor]: Taking taylor expansion of x in x 8.560 * [taylor]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 8.560 * [taylor]: Taking taylor expansion of -3 in x 8.560 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 8.560 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 8.560 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 8.560 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.560 * [taylor]: Taking taylor expansion of -1 in x 8.561 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.561 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.561 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.561 * [taylor]: Taking taylor expansion of 1/3 in x 8.561 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.561 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.561 * [taylor]: Taking taylor expansion of x in x 8.563 * [taylor]: Taking taylor expansion of x in x 8.680 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 8.680 * [approximate]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow x 1/3))) in (x) around 0 8.680 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow x 1/3))) in x 8.680 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow x 1/3)) in x 8.680 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 8.680 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.680 * [taylor]: Taking taylor expansion of -1 in x 8.681 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 8.681 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 8.681 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 8.681 * [taylor]: Taking taylor expansion of 1/3 in x 8.681 * [taylor]: Taking taylor expansion of (log x) in x 8.681 * [taylor]: Taking taylor expansion of x in x 8.684 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow x 1/3))) in x 8.684 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow x 1/3)) in x 8.684 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 8.684 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.684 * [taylor]: Taking taylor expansion of -1 in x 8.685 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 8.685 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 8.685 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 8.685 * [taylor]: Taking taylor expansion of 1/3 in x 8.685 * [taylor]: Taking taylor expansion of (log x) in x 8.685 * [taylor]: Taking taylor expansion of x in x 8.804 * [approximate]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3))) in (x) around 0 8.804 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3))) in x 8.804 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3)) in x 8.804 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 8.804 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.804 * [taylor]: Taking taylor expansion of -1 in x 8.805 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.805 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.805 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.805 * [taylor]: Taking taylor expansion of 1/3 in x 8.805 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.805 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.805 * [taylor]: Taking taylor expansion of x in x 8.809 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3))) in x 8.809 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3)) in x 8.809 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 8.809 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.809 * [taylor]: Taking taylor expansion of -1 in x 8.810 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.810 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.810 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.810 * [taylor]: Taking taylor expansion of 1/3 in x 8.810 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.810 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.810 * [taylor]: Taking taylor expansion of x in x 8.931 * [approximate]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in (x) around 0 8.931 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 8.931 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 8.931 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.931 * [taylor]: Taking taylor expansion of -1 in x 8.932 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.932 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.932 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.932 * [taylor]: Taking taylor expansion of 1/3 in x 8.932 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.932 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.932 * [taylor]: Taking taylor expansion of x in x 8.934 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 8.934 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 8.934 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.934 * [taylor]: Taking taylor expansion of -1 in x 8.935 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.935 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.935 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.935 * [taylor]: Taking taylor expansion of 1/3 in x 8.935 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.935 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.935 * [taylor]: Taking taylor expansion of x in x 9.038 * * * [progress]: simplifying candidates 9.243 * [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 -1) (cbrt x) (cbrt (- (* (cbrt x) (cbrt x)))) (cbrt (cbrt x)) (cbrt (- (sqrt x))) (cbrt (sqrt x)) (cbrt (- 1)) (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 (* (* 3 x) (log (* (cbrt -1) (cbrt (- x)))))) (log1p (* (* 3 x) (log (* (cbrt -1) (cbrt (- x)))))) (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))) (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))) (+ (+ (log 3) (log x)) (log (log (* (cbrt -1) (cbrt (- x)))))) (+ (log (* 3 x)) (log (log (* (cbrt -1) (cbrt (- x)))))) (log (* (* 3 x) (log (* (cbrt -1) (cbrt (- x)))))) (exp (* (* 3 x) (log (* (cbrt -1) (cbrt (- x)))))) (* (* (* (* 3 3) 3) (* (* x x) x)) (* (* (log (* (cbrt -1) (cbrt (- x)))) (log (* (cbrt -1) (cbrt (- x))))) (log (* (cbrt -1) (cbrt (- x)))))) (* (* (* (* 3 x) (* 3 x)) (* 3 x)) (* (* (log (* (cbrt -1) (cbrt (- x)))) (log (* (cbrt -1) (cbrt (- x))))) (log (* (cbrt -1) (cbrt (- x)))))) (* (cbrt (* (* 3 x) (log (* (cbrt -1) (cbrt (- x)))))) (cbrt (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))))) (cbrt (* (* 3 x) (log (* (cbrt -1) (cbrt (- x)))))) (* (* (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))) (* (* 3 x) (log (* (cbrt -1) (cbrt (- x)))))) (* (* 3 x) (log (* (cbrt -1) (cbrt (- x)))))) (sqrt (* (* 3 x) (log (* (cbrt -1) (cbrt (- x)))))) (sqrt (* (* 3 x) (log (* (cbrt -1) (cbrt (- x)))))) (* (* 3 x) (log (cbrt -1))) (* (* 3 x) (log (cbrt (- x)))) (* (log (cbrt -1)) (* 3 x)) (* (log (cbrt (- x))) (* 3 x)) (* (* 3 x) 1/3) (* (* 3 x) 1) (* (* 3 x) 1) (* (* 3 x) (* (cbrt (log (* (cbrt -1) (cbrt (- x))))) (cbrt (log (* (cbrt -1) (cbrt (- x))))))) (* (* 3 x) (sqrt (log (* (cbrt -1) (cbrt (- x)))))) (* (* 3 x) 1) (* x (log (* (cbrt -1) (cbrt (- x))))) (expm1 (log (* (cbrt -1) (cbrt (- x))))) (log1p (log (* (cbrt -1) (cbrt (- x))))) (log (cbrt -1)) (log (cbrt (- x))) (log (* -1 (- x))) (log (* (cbrt -1) (cbrt (- x)))) (log (* (cbrt -1) (cbrt (- x)))) (log (log (* (cbrt -1) (cbrt (- x))))) (exp (log (* (cbrt -1) (cbrt (- x))))) (* (cbrt (log (* (cbrt -1) (cbrt (- x))))) (cbrt (log (* (cbrt -1) (cbrt (- x)))))) (cbrt (log (* (cbrt -1) (cbrt (- x))))) (* (* (log (* (cbrt -1) (cbrt (- x)))) (log (* (cbrt -1) (cbrt (- x))))) (log (* (cbrt -1) (cbrt (- x))))) (sqrt (log (* (cbrt -1) (cbrt (- x))))) (sqrt (log (* (cbrt -1) (cbrt (- x))))) (* (cbrt -1) (pow x 1/3)) (* (cbrt -1) (pow x 1/3)) (pow (/ -1 x) -1/3) (* 3 (* x (log (* (pow (cbrt -1) 2) (pow x 1/3))))) (* 3 (* x (log (* (pow (cbrt -1) 2) (pow x 1/3))))) (* 3 (* x (log (* (pow (* -1 x) 1/3) (cbrt -1))))) (log (* (pow (cbrt -1) 2) (pow x 1/3))) (log (* (pow (cbrt -1) 2) (pow x 1/3))) (log (* (pow (* -1 x) 1/3) (cbrt -1))) 9.246 * * [simplify]: iteration 0 : 101 enodes (cost 681 ) 9.265 * * [simplify]: iteration 1 : 210 enodes (cost 650 ) 9.345 * * [simplify]: iteration 2 : 735 enodes (cost 555 ) 9.910 * * [simplify]: iteration 3 : 4175 enodes (cost 546 ) 12.049 * * [simplify]: iteration done : 5001 enodes (cost 546 ) 12.050 * [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 -1) (cbrt x) (cbrt (- (pow x 2/3))) (cbrt (cbrt x)) (cbrt (- (sqrt x))) (cbrt (sqrt x)) (cbrt -1) (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 (* (* 3 x) (log (* (cbrt -1) (cbrt (- x)))))) (log1p (* (* 3 x) (log (* (cbrt -1) (cbrt (- x)))))) (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))) (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))) (log (* (* 3 x) (log (* (cbrt -1) (cbrt (- x)))))) (log (* (* 3 x) (log (* (cbrt -1) (cbrt (- x)))))) (log (* (* 3 x) (log (* (cbrt -1) (cbrt (- x)))))) (pow (* (cbrt -1) (cbrt (- x))) (* 3 x)) (pow (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))) 3) (pow (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))) 3) (* (cbrt (* (* 3 x) (log (* (cbrt -1) (cbrt (- x)))))) (cbrt (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))))) (cbrt (* (* 3 x) (log (* (cbrt -1) (cbrt (- x)))))) (pow (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))) 3) (sqrt (* (* 3 x) (log (* (cbrt -1) (cbrt (- x)))))) (sqrt (* (* 3 x) (log (* (cbrt -1) (cbrt (- x)))))) (* (log (cbrt -1)) (* 3 x)) (* (log (- x)) x) (* (log (cbrt -1)) (* 3 x)) (* (log (- x)) x) x (* 3 x) (* 3 x) (* (* 3 x) (* (cbrt (log (* (cbrt -1) (cbrt (- x))))) (cbrt (log (* (cbrt -1) (cbrt (- x))))))) (* (* 3 x) (sqrt (log (* (cbrt -1) (cbrt (- x)))))) (* 3 x) (* x (log (* (cbrt -1) (cbrt (- x))))) (expm1 (log (* (cbrt -1) (cbrt (- x))))) (log1p (log (* (cbrt -1) (cbrt (- x))))) (log (cbrt -1)) (log (cbrt (- x))) (log x) (log (* (cbrt -1) (cbrt (- x)))) (log (* (cbrt -1) (cbrt (- x)))) (log (log (* (cbrt -1) (cbrt (- x))))) (* (cbrt -1) (cbrt (- x))) (* (cbrt (log (* (cbrt -1) (cbrt (- x))))) (cbrt (log (* (cbrt -1) (cbrt (- x)))))) (cbrt (log (* (cbrt -1) (cbrt (- x))))) (pow (log (* (cbrt -1) (cbrt (- x)))) 3) (sqrt (log (* (cbrt -1) (cbrt (- x))))) (sqrt (log (* (cbrt -1) (cbrt (- x))))) (* (cbrt x) (cbrt -1)) (* (cbrt x) (cbrt -1)) (pow (/ -1 x) -1/3) (* (* 3 x) (log (* (pow (cbrt -1) 2) (cbrt x)))) (* (* 3 x) (log (* (pow (cbrt -1) 2) (cbrt x)))) (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))) (fma 2 (log (cbrt -1)) (log (cbrt x))) (fma 2 (log (cbrt -1)) (log (cbrt x))) (log (* (cbrt -1) (cbrt (- x)))) 12.050 * * * [progress]: adding candidates to table 12.186 * [progress]: [Phase 3 of 3] Extracting. 12.186 * * [regime]: Finding splitpoints for: (# # # # # # #) 12.188 * * * [regime-changes]: Trying 2 branch expressions: ((* x (log x)) x) 12.188 * * * * [regimes]: Trying to branch on (* x (log x)) from (# # # # # # #) 12.219 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 12.245 * * * [regime]: Found split indices: #