7.457 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.015 * * * [progress]: [2/2] Setting up program. 0.017 * [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.019 * * [simplify]: iteration done : 4 enodes (cost 4 ) 0.019 * [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.028 * * * [progress]: generating series expansions 0.028 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.028 * [approximate]: Taking taylor expansion of (* (log x) x) in (x) around 0 0.028 * [taylor]: Taking taylor expansion of (* (log x) x) in x 0.028 * [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.029 * [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.096 * [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.141 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 x)) x)) in (x) around 0 0.141 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 x)) x)) in x 0.141 * [taylor]: Taking taylor expansion of -1 in x 0.141 * [taylor]: Taking taylor expansion of (/ (log (/ -1 x)) x) in x 0.141 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.141 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.141 * [taylor]: Taking taylor expansion of -1 in x 0.141 * [taylor]: Taking taylor expansion of x in x 0.142 * [taylor]: Taking taylor expansion of x in x 0.143 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 x)) x)) in x 0.143 * [taylor]: Taking taylor expansion of -1 in x 0.143 * [taylor]: Taking taylor expansion of (/ (log (/ -1 x)) x) in x 0.143 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.143 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.143 * [taylor]: Taking taylor expansion of -1 in x 0.143 * [taylor]: Taking taylor expansion of x in x 0.144 * [taylor]: Taking taylor expansion of x in x 0.200 * * * [progress]: simplifying candidates 0.200 * [simplify]: Simplifying using # : (* 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.202 * * [simplify]: iteration 0 : 53 enodes (cost 203 ) 0.210 * * [simplify]: iteration 1 : 95 enodes (cost 194 ) 0.231 * * [simplify]: iteration 2 : 329 enodes (cost 170 ) 0.325 * * [simplify]: iteration 3 : 840 enodes (cost 163 ) 1.033 * * [simplify]: iteration 4 : 2747 enodes (cost 163 ) 14.318 * * [simplify]: iteration done : 5000 enodes (cost 163 ) 14.318 * [simplify]: Simplified to: (* x (log x)) (log (* x (log x))) (log (* x (log x))) (pow x x) (pow (* (log x) x) 3) (* (cbrt (* x (log x))) (cbrt (* x (log x)))) (cbrt (* x (log x))) (pow (* (log x) x) 3) (sqrt (* x (log x))) (sqrt (* x (log x))) (* (sqrt x) (sqrt (log x))) (* (sqrt x) (sqrt (log x))) (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x))) (* x (log (sqrt x))) (* x (log (sqrt x))) 0 (* x (log x)) (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x))) (* x (log (sqrt x))) (* x (log (sqrt x))) 0 (* x (log x)) x (* x (* (cbrt (log x)) (cbrt (log x)))) (* x (sqrt (log x))) x (* (cbrt x) (log x)) (* (sqrt x) (log x)) (* x (log x)) (* x (log x)) (* x (log x)) (* x (log x)) 14.319 * * * [progress]: adding candidates to table 14.353 * * [progress]: iteration 2 / 4 14.353 * * * [progress]: picking best candidate 14.361 * * * * [pick]: Picked # 14.362 * * * [progress]: localizing error 14.370 * * * [progress]: generating rewritten candidates 14.370 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 14.371 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1) 14.371 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 14.380 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 14.389 * * * [progress]: generating series expansions 14.389 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 14.390 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 14.390 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 14.390 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 14.390 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 14.390 * [taylor]: Taking taylor expansion of 1/3 in x 14.390 * [taylor]: Taking taylor expansion of (log x) in x 14.390 * [taylor]: Taking taylor expansion of x in x 14.391 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 14.391 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 14.391 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 14.391 * [taylor]: Taking taylor expansion of 1/3 in x 14.391 * [taylor]: Taking taylor expansion of (log x) in x 14.391 * [taylor]: Taking taylor expansion of x in x 14.442 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 14.442 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 14.442 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 14.442 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 14.442 * [taylor]: Taking taylor expansion of 1/3 in x 14.442 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 14.442 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.442 * [taylor]: Taking taylor expansion of x in x 14.443 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 14.443 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 14.443 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 14.443 * [taylor]: Taking taylor expansion of 1/3 in x 14.443 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 14.443 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.443 * [taylor]: Taking taylor expansion of x in x 14.496 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 14.496 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 14.496 * [taylor]: Taking taylor expansion of (cbrt -1) in x 14.496 * [taylor]: Taking taylor expansion of -1 in x 14.497 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 14.497 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 14.497 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 14.497 * [taylor]: Taking taylor expansion of 1/3 in x 14.497 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 14.497 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.497 * [taylor]: Taking taylor expansion of x in x 14.498 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 14.498 * [taylor]: Taking taylor expansion of (cbrt -1) in x 14.498 * [taylor]: Taking taylor expansion of -1 in x 14.499 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 14.499 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 14.499 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 14.499 * [taylor]: Taking taylor expansion of 1/3 in x 14.499 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 14.499 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.499 * [taylor]: Taking taylor expansion of x in x 14.563 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1) 14.563 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 14.563 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 14.563 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 14.563 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 14.563 * [taylor]: Taking taylor expansion of 1/3 in x 14.563 * [taylor]: Taking taylor expansion of (log x) in x 14.563 * [taylor]: Taking taylor expansion of x in x 14.564 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 14.564 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 14.564 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 14.564 * [taylor]: Taking taylor expansion of 1/3 in x 14.564 * [taylor]: Taking taylor expansion of (log x) in x 14.564 * [taylor]: Taking taylor expansion of x in x 14.611 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 14.611 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 14.611 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 14.611 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 14.611 * [taylor]: Taking taylor expansion of 1/3 in x 14.611 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 14.611 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.611 * [taylor]: Taking taylor expansion of x in x 14.612 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 14.612 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 14.612 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 14.612 * [taylor]: Taking taylor expansion of 1/3 in x 14.612 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 14.612 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.612 * [taylor]: Taking taylor expansion of x in x 14.665 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 14.665 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 14.665 * [taylor]: Taking taylor expansion of (cbrt -1) in x 14.665 * [taylor]: Taking taylor expansion of -1 in x 14.666 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 14.666 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 14.666 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 14.666 * [taylor]: Taking taylor expansion of 1/3 in x 14.666 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 14.666 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.666 * [taylor]: Taking taylor expansion of x in x 14.667 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 14.667 * [taylor]: Taking taylor expansion of (cbrt -1) in x 14.667 * [taylor]: Taking taylor expansion of -1 in x 14.667 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 14.668 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 14.668 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 14.668 * [taylor]: Taking taylor expansion of 1/3 in x 14.668 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 14.668 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.668 * [taylor]: Taking taylor expansion of x in x 14.731 * * * * [progress]: [ 3 / 4 ] generating series at (2) 14.731 * [approximate]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in (x) around 0 14.731 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in x 14.731 * [taylor]: Taking taylor expansion of 3 in x 14.731 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 14.731 * [taylor]: Taking taylor expansion of x in x 14.731 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 14.731 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 14.731 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 14.731 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 14.731 * [taylor]: Taking taylor expansion of 1/3 in x 14.731 * [taylor]: Taking taylor expansion of (log x) in x 14.731 * [taylor]: Taking taylor expansion of x in x 14.732 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in x 14.732 * [taylor]: Taking taylor expansion of 3 in x 14.732 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 14.732 * [taylor]: Taking taylor expansion of x in x 14.732 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 14.732 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 14.732 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 14.732 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 14.732 * [taylor]: Taking taylor expansion of 1/3 in x 14.732 * [taylor]: Taking taylor expansion of (log x) in x 14.732 * [taylor]: Taking taylor expansion of x in x 14.857 * [approximate]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in (x) around 0 14.857 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in x 14.857 * [taylor]: Taking taylor expansion of 3 in x 14.857 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 14.857 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 14.857 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 14.857 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 14.857 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 14.857 * [taylor]: Taking taylor expansion of 1/3 in x 14.857 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 14.857 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.857 * [taylor]: Taking taylor expansion of x in x 14.858 * [taylor]: Taking taylor expansion of x in x 14.858 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in x 14.858 * [taylor]: Taking taylor expansion of 3 in x 14.858 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 14.858 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 14.858 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 14.858 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 14.858 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 14.858 * [taylor]: Taking taylor expansion of 1/3 in x 14.858 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 14.858 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.858 * [taylor]: Taking taylor expansion of x in x 14.859 * [taylor]: Taking taylor expansion of x in x 14.944 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in (x) around 0 14.944 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in x 14.944 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 14.944 * [taylor]: Taking taylor expansion of 3 in x 14.944 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 14.944 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 14.944 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 14.944 * [taylor]: Taking taylor expansion of (cbrt -1) in x 14.944 * [taylor]: Taking taylor expansion of -1 in x 14.945 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 14.945 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 14.945 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 14.945 * [taylor]: Taking taylor expansion of 1/3 in x 14.945 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 14.945 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.945 * [taylor]: Taking taylor expansion of x in x 14.947 * [taylor]: Taking taylor expansion of x in x 14.947 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in x 14.947 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 14.947 * [taylor]: Taking taylor expansion of 3 in x 14.947 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 14.947 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 14.947 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 14.947 * [taylor]: Taking taylor expansion of (cbrt -1) in x 14.947 * [taylor]: Taking taylor expansion of -1 in x 14.948 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 14.948 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 14.948 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 14.948 * [taylor]: Taking taylor expansion of 1/3 in x 14.948 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 14.948 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.948 * [taylor]: Taking taylor expansion of x in x 14.950 * [taylor]: Taking taylor expansion of x in x 15.063 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 15.064 * [approximate]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in (x) around 0 15.064 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in x 15.064 * [taylor]: Taking taylor expansion of 2 in x 15.064 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 15.064 * [taylor]: Taking taylor expansion of x in x 15.064 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 15.064 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 15.064 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 15.064 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 15.064 * [taylor]: Taking taylor expansion of 1/3 in x 15.064 * [taylor]: Taking taylor expansion of (log x) in x 15.064 * [taylor]: Taking taylor expansion of x in x 15.064 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in x 15.065 * [taylor]: Taking taylor expansion of 2 in x 15.065 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 15.065 * [taylor]: Taking taylor expansion of x in x 15.065 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 15.065 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 15.065 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 15.065 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 15.065 * [taylor]: Taking taylor expansion of 1/3 in x 15.065 * [taylor]: Taking taylor expansion of (log x) in x 15.065 * [taylor]: Taking taylor expansion of x in x 15.197 * [approximate]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in (x) around 0 15.197 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in x 15.197 * [taylor]: Taking taylor expansion of 2 in x 15.197 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 15.197 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 15.197 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.197 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.197 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.197 * [taylor]: Taking taylor expansion of 1/3 in x 15.197 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.197 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.197 * [taylor]: Taking taylor expansion of x in x 15.198 * [taylor]: Taking taylor expansion of x in x 15.198 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in x 15.198 * [taylor]: Taking taylor expansion of 2 in x 15.198 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 15.198 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 15.198 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.198 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.198 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.198 * [taylor]: Taking taylor expansion of 1/3 in x 15.198 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.198 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.198 * [taylor]: Taking taylor expansion of x in x 15.199 * [taylor]: Taking taylor expansion of x in x 15.289 * [approximate]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in (x) around 0 15.289 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 15.289 * [taylor]: Taking taylor expansion of -2 in x 15.289 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 15.289 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 15.289 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 15.289 * [taylor]: Taking taylor expansion of (cbrt -1) in x 15.289 * [taylor]: Taking taylor expansion of -1 in x 15.289 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.290 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.290 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.290 * [taylor]: Taking taylor expansion of 1/3 in x 15.290 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.290 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.290 * [taylor]: Taking taylor expansion of x in x 15.291 * [taylor]: Taking taylor expansion of x in x 15.292 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 15.292 * [taylor]: Taking taylor expansion of -2 in x 15.292 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 15.292 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 15.292 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 15.292 * [taylor]: Taking taylor expansion of (cbrt -1) in x 15.292 * [taylor]: Taking taylor expansion of -1 in x 15.293 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.293 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.293 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.293 * [taylor]: Taking taylor expansion of 1/3 in x 15.293 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.293 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.293 * [taylor]: Taking taylor expansion of x in x 15.294 * [taylor]: Taking taylor expansion of x in x 15.415 * * * [progress]: simplifying candidates 15.416 * [simplify]: Simplifying using # : (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)) (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)) (* (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)) (* (* 2 (log (cbrt x))) x) (* (* 2 (log (cbrt x))) x) (+ (+ (log 2) (log (log (cbrt x)))) (log x)) (+ (log (* 2 (log (cbrt x)))) (log x)) (log (* (* 2 (log (cbrt x))) x)) (exp (* (* 2 (log (cbrt x))) x)) (* (* (* (* 2 2) 2) (* (* (log (cbrt x)) (log (cbrt x))) (log (cbrt x)))) (* (* x x) x)) (* (* (* (* 2 (log (cbrt x))) (* 2 (log (cbrt x)))) (* 2 (log (cbrt x)))) (* (* x x) x)) (* (cbrt (* (* 2 (log (cbrt x))) x)) (cbrt (* (* 2 (log (cbrt x))) x))) (cbrt (* (* 2 (log (cbrt x))) x)) (* (* (* (* 2 (log (cbrt x))) x) (* (* 2 (log (cbrt x))) x)) (* (* 2 (log (cbrt x))) x)) (sqrt (* (* 2 (log (cbrt x))) x)) (sqrt (* (* 2 (log (cbrt x))) x)) (* (* 2 (log (cbrt x))) (* (cbrt x) (cbrt x))) (* (* 2 (log (cbrt x))) (sqrt x)) (* (* 2 (log (cbrt x))) 1) (* (log (cbrt x)) x) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (* 3 (* x (log (pow x 1/3)))) (* 3 (* (log (pow (/ 1 x) -1/3)) x)) (* 3 (* x (log (* (pow (* -1 x) 1/3) (cbrt -1))))) (* 2 (* x (log (pow x 1/3)))) (* 2 (* (log (pow (/ 1 x) -1/3)) x)) (* 2 (* x (log (* (pow (* -1 x) 1/3) (cbrt -1))))) 15.419 * * [simplify]: iteration 0 : 119 enodes (cost 811 ) 15.440 * * [simplify]: iteration 1 : 299 enodes (cost 733 ) 15.516 * * [simplify]: iteration 2 : 1068 enodes (cost 545 ) 15.957 * * [simplify]: iteration done : 5000 enodes (cost 542 ) 15.957 * [simplify]: Simplified to: (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)) (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)) (exp (* 3 (* x (log (cbrt x))))) (log (* 3 (* x (log (cbrt x))))) (exp (* 3 (* x (log (cbrt x))))) (* (cbrt (* 3 (* x (log (cbrt x))))) (cbrt (* 3 (* x (log (cbrt x)))))) (cbrt (* 3 (* x (log (cbrt x))))) (pow (* 3 (* x (log (cbrt x)))) 3) (sqrt (* 3 (* x (log (cbrt x))))) (sqrt (* 3 (* x (log (cbrt x))))) (+ (pow (* x (log (cbrt x))) 3) (pow (* (* 2/3 (log x)) x) 3)) (- (* (* x (log (cbrt x))) (* x (log (cbrt x)))) (* (* (* x (log (cbrt x))) (* x (log (cbrt x)))) (- 2 4))) (* (* 3 (* x (log (cbrt x)))) (* (log (cbrt x)) (- (* 2 x) x))) (* (log (cbrt x)) (- (* 2 x) x)) (* x (+ (* 2/3 (log x)) (log (cbrt (pow x 2/3))))) (* x (+ (* 2/3 (log x)) (log (cbrt (sqrt x))))) (* (* 2/3 (log x)) x) (* (+ (* 2/3 (log x)) (* 2 (log (cbrt (cbrt x))))) x) (* x (+ (* 2/3 (log x)) (log (sqrt (cbrt x))))) (* (* 2/3 (log x)) x) (* x (+ (* 2/3 (log x)) (log (cbrt (pow x 2/3))))) (* x (+ (* 2/3 (log x)) (log (cbrt (sqrt x))))) (* (* 2/3 (log x)) x) (* (+ (* 2/3 (log x)) (* 2 (log (cbrt (cbrt x))))) x) (* x (+ (* 2/3 (log x)) (log (sqrt (cbrt x))))) (* (* 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))) (* (sqrt x) (* 2/3 (log x))) (* 2/3 (log x)) (* x (log (cbrt x))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) (* 3 (* x (log (cbrt x)))) (* (- x) (- (log x))) (* (* 3 x) (log (* (cbrt (- x)) (cbrt -1)))) (* (* 2/3 (log x)) x) (* (* -2/3 (- (log x))) x) (* (* 2 x) (log (* (cbrt (- x)) (cbrt -1)))) 15.958 * * * [progress]: adding candidates to table 16.139 * * [progress]: iteration 3 / 4 16.139 * * * [progress]: picking best candidate 16.151 * * * * [pick]: Picked # 16.151 * * * [progress]: localizing error 16.164 * * * [progress]: generating rewritten candidates 16.164 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 16.164 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 2 1) 16.165 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1) 16.165 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1) 16.179 * * * [progress]: generating series expansions 16.179 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 16.179 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 16.179 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 16.179 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 16.179 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 16.179 * [taylor]: Taking taylor expansion of 1/3 in x 16.179 * [taylor]: Taking taylor expansion of (log x) in x 16.179 * [taylor]: Taking taylor expansion of x in x 16.180 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 16.180 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 16.180 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 16.180 * [taylor]: Taking taylor expansion of 1/3 in x 16.180 * [taylor]: Taking taylor expansion of (log x) in x 16.180 * [taylor]: Taking taylor expansion of x in x 16.232 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 16.232 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 16.232 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 16.232 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 16.232 * [taylor]: Taking taylor expansion of 1/3 in x 16.232 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 16.232 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.233 * [taylor]: Taking taylor expansion of x in x 16.233 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 16.233 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 16.233 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 16.233 * [taylor]: Taking taylor expansion of 1/3 in x 16.233 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 16.233 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.233 * [taylor]: Taking taylor expansion of x in x 16.290 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 16.290 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 16.290 * [taylor]: Taking taylor expansion of (cbrt -1) in x 16.290 * [taylor]: Taking taylor expansion of -1 in x 16.291 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 16.291 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 16.291 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 16.291 * [taylor]: Taking taylor expansion of 1/3 in x 16.291 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 16.291 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.291 * [taylor]: Taking taylor expansion of x in x 16.292 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 16.292 * [taylor]: Taking taylor expansion of (cbrt -1) in x 16.292 * [taylor]: Taking taylor expansion of -1 in x 16.293 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 16.293 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 16.293 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 16.293 * [taylor]: Taking taylor expansion of 1/3 in x 16.293 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 16.293 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.293 * [taylor]: Taking taylor expansion of x in x 16.359 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 2 1) 16.360 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 16.360 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 16.360 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 16.360 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 16.360 * [taylor]: Taking taylor expansion of 1/3 in x 16.360 * [taylor]: Taking taylor expansion of (log x) in x 16.360 * [taylor]: Taking taylor expansion of x in x 16.360 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 16.360 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 16.360 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 16.360 * [taylor]: Taking taylor expansion of 1/3 in x 16.360 * [taylor]: Taking taylor expansion of (log x) in x 16.360 * [taylor]: Taking taylor expansion of x in x 16.408 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 16.408 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 16.408 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 16.408 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 16.408 * [taylor]: Taking taylor expansion of 1/3 in x 16.408 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 16.408 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.408 * [taylor]: Taking taylor expansion of x in x 16.409 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 16.409 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 16.409 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 16.409 * [taylor]: Taking taylor expansion of 1/3 in x 16.409 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 16.409 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.409 * [taylor]: Taking taylor expansion of x in x 16.465 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 16.465 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 16.465 * [taylor]: Taking taylor expansion of (cbrt -1) in x 16.465 * [taylor]: Taking taylor expansion of -1 in x 16.466 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 16.466 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 16.466 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 16.466 * [taylor]: Taking taylor expansion of 1/3 in x 16.466 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 16.466 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.466 * [taylor]: Taking taylor expansion of x in x 16.467 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 16.467 * [taylor]: Taking taylor expansion of (cbrt -1) in x 16.467 * [taylor]: Taking taylor expansion of -1 in x 16.467 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 16.467 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 16.467 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 16.467 * [taylor]: Taking taylor expansion of 1/3 in x 16.467 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 16.468 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.468 * [taylor]: Taking taylor expansion of x in x 16.534 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1 1) 16.534 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 16.534 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 16.534 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 16.534 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 16.534 * [taylor]: Taking taylor expansion of 1/3 in x 16.534 * [taylor]: Taking taylor expansion of (log x) in x 16.534 * [taylor]: Taking taylor expansion of x in x 16.535 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 16.535 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 16.535 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 16.535 * [taylor]: Taking taylor expansion of 1/3 in x 16.535 * [taylor]: Taking taylor expansion of (log x) in x 16.535 * [taylor]: Taking taylor expansion of x in x 16.588 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 16.588 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 16.588 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 16.588 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 16.588 * [taylor]: Taking taylor expansion of 1/3 in x 16.588 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 16.588 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.588 * [taylor]: Taking taylor expansion of x in x 16.589 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 16.589 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 16.589 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 16.589 * [taylor]: Taking taylor expansion of 1/3 in x 16.589 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 16.589 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.589 * [taylor]: Taking taylor expansion of x in x 16.640 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 16.640 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 16.640 * [taylor]: Taking taylor expansion of (cbrt -1) in x 16.640 * [taylor]: Taking taylor expansion of -1 in x 16.640 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 16.640 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 16.640 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 16.640 * [taylor]: Taking taylor expansion of 1/3 in x 16.640 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 16.641 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.641 * [taylor]: Taking taylor expansion of x in x 16.641 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 16.641 * [taylor]: Taking taylor expansion of (cbrt -1) in x 16.641 * [taylor]: Taking taylor expansion of -1 in x 16.642 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 16.642 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 16.642 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 16.642 * [taylor]: Taking taylor expansion of 1/3 in x 16.642 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 16.642 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.642 * [taylor]: Taking taylor expansion of x in x 16.709 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1) 16.710 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 16.710 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 16.710 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 16.710 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 16.710 * [taylor]: Taking taylor expansion of 1/3 in x 16.710 * [taylor]: Taking taylor expansion of (log x) in x 16.710 * [taylor]: Taking taylor expansion of x in x 16.710 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 16.710 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 16.710 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 16.710 * [taylor]: Taking taylor expansion of 1/3 in x 16.710 * [taylor]: Taking taylor expansion of (log x) in x 16.710 * [taylor]: Taking taylor expansion of x in x 16.763 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 16.763 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 16.763 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 16.763 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 16.763 * [taylor]: Taking taylor expansion of 1/3 in x 16.763 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 16.763 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.763 * [taylor]: Taking taylor expansion of x in x 16.764 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 16.764 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 16.764 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 16.764 * [taylor]: Taking taylor expansion of 1/3 in x 16.764 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 16.764 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.764 * [taylor]: Taking taylor expansion of x in x 16.821 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 16.821 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 16.821 * [taylor]: Taking taylor expansion of (cbrt -1) in x 16.821 * [taylor]: Taking taylor expansion of -1 in x 16.822 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 16.822 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 16.822 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 16.822 * [taylor]: Taking taylor expansion of 1/3 in x 16.822 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 16.822 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.822 * [taylor]: Taking taylor expansion of x in x 16.823 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 16.823 * [taylor]: Taking taylor expansion of (cbrt -1) in x 16.823 * [taylor]: Taking taylor expansion of -1 in x 16.823 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 16.823 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 16.823 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 16.823 * [taylor]: Taking taylor expansion of 1/3 in x 16.823 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 16.823 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.824 * [taylor]: Taking taylor expansion of x in x 16.890 * * * [progress]: simplifying candidates 16.892 * [simplify]: Simplifying using # : (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)) (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)) (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)) (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1/3 2) (/ 1/3 2)) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (* (cbrt x) (cbrt x)) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* x x) (* (cbrt x) (cbrt x)) (+ 1 1) (+ (log (sqrt (cbrt x))) (log (sqrt (cbrt x)))) (log (* (sqrt (cbrt x)) (sqrt (cbrt x)))) (exp (* (sqrt (cbrt x)) (sqrt (cbrt x)))) (* (* (* (sqrt (cbrt x)) (sqrt (cbrt x))) (sqrt (cbrt x))) (* (* (sqrt (cbrt x)) (sqrt (cbrt x))) (sqrt (cbrt x)))) (* (cbrt (* (sqrt (cbrt x)) (sqrt (cbrt x)))) (cbrt (* (sqrt (cbrt x)) (sqrt (cbrt x))))) (cbrt (* (sqrt (cbrt x)) (sqrt (cbrt x)))) (* (* (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x)))) (* (sqrt (cbrt x)) (sqrt (cbrt x)))) (* (cbrt x) (cbrt x)) (sqrt (* (sqrt (cbrt x)) (sqrt (cbrt x)))) (sqrt (* (sqrt (cbrt x)) (sqrt (cbrt x)))) (* (* (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x)))) (* (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))))) (* (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x)))) (* (sqrt (cbrt (* (cbrt x) (cbrt x)))) (sqrt (cbrt (* (cbrt x) (cbrt x))))) (* (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x)))) (* (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))) (* (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))) (* (sqrt (cbrt 1)) (sqrt (cbrt 1))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* (sqrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (sqrt (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (* (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x)))) (* (sqrt (sqrt (cbrt x))) (sqrt (sqrt (cbrt x)))) (* (sqrt (sqrt (cbrt x))) (sqrt (sqrt (cbrt x)))) (* (sqrt (sqrt (cbrt x))) (sqrt (sqrt (cbrt x)))) (* (sqrt (sqrt (cbrt x))) (sqrt (sqrt (cbrt x)))) (* (sqrt 1) (sqrt 1)) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* (sqrt (sqrt (cbrt x))) (sqrt (sqrt (cbrt x)))) (* (sqrt (sqrt (cbrt x))) (sqrt (sqrt (cbrt x)))) (* (sqrt (sqrt (cbrt x))) (sqrt (sqrt (cbrt x)))) (* (sqrt (sqrt (cbrt x))) (sqrt (sqrt (cbrt x)))) (* 1 1) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))) (* (sqrt (cbrt (sqrt x))) (sqrt (cbrt (sqrt x)))) (* (sqrt (cbrt (sqrt x))) (sqrt (sqrt (cbrt x)))) (* (sqrt (cbrt (sqrt x))) (sqrt (sqrt (cbrt x)))) (* (sqrt (cbrt (sqrt x))) (sqrt (sqrt (cbrt x)))) (* (sqrt (cbrt (sqrt x))) (sqrt (sqrt (cbrt x)))) (* (sqrt (sqrt (cbrt x))) (sqrt (cbrt (sqrt x)))) (* (sqrt (sqrt (cbrt x))) (sqrt (cbrt (sqrt x)))) (* (sqrt (sqrt (cbrt x))) (sqrt (sqrt (cbrt x)))) (* (sqrt (sqrt (cbrt x))) (sqrt (sqrt (cbrt x)))) (* (sqrt (sqrt (cbrt x))) (sqrt (sqrt (cbrt x)))) (* (sqrt (sqrt (cbrt x))) (sqrt (sqrt (cbrt x)))) (* (sqrt (sqrt (cbrt x))) (sqrt (cbrt (sqrt x)))) (* (sqrt (sqrt (cbrt x))) (sqrt (cbrt (sqrt x)))) (* (sqrt (sqrt (cbrt x))) (sqrt (sqrt (cbrt x)))) (* (sqrt (sqrt (cbrt x))) (sqrt (sqrt (cbrt x)))) (* (sqrt (sqrt (cbrt x))) (sqrt (sqrt (cbrt x)))) (* (sqrt (sqrt (cbrt x))) (sqrt (sqrt (cbrt x)))) (* 2 1/2) (* 2 1) (* 2 (/ 1/3 2)) (* 2 (/ 1 2)) (* (sqrt (cbrt x)) (* (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))))) (* (sqrt (cbrt x)) (sqrt (cbrt (* (cbrt x) (cbrt x))))) (* (sqrt (cbrt x)) (sqrt (cbrt (sqrt x)))) (* (sqrt (cbrt x)) (sqrt (cbrt 1))) (* (sqrt (cbrt x)) (sqrt (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (* (sqrt (cbrt x)) (sqrt (sqrt (cbrt x)))) (* (sqrt (cbrt x)) (sqrt 1)) (* (sqrt (cbrt x)) (sqrt (sqrt (cbrt x)))) (* (sqrt (cbrt x)) 1) (* (cbrt (sqrt (cbrt x))) (sqrt (cbrt x))) (* (sqrt (cbrt (cbrt x))) (sqrt (cbrt x))) (* (sqrt (cbrt (sqrt x))) (sqrt (cbrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* (sqrt (cbrt (cbrt x))) (sqrt (cbrt x))) (* (sqrt (sqrt (cbrt x))) (sqrt (cbrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* (sqrt (sqrt (cbrt x))) (sqrt (cbrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (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)) 16.894 * * [simplify]: iteration 0 : 83 enodes (cost 910 ) 16.909 * * [simplify]: iteration 1 : 136 enodes (cost 584 ) 16.961 * * [simplify]: iteration 2 : 509 enodes (cost 523 ) 17.524 * * [simplify]: iteration 3 : 2711 enodes (cost 499 ) 20.242 * * [simplify]: iteration done : 5000 enodes (cost 499 ) 20.243 * [simplify]: Simplified to: (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)) (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)) (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)) 1 1 2 1/3 1 1 (pow x 2/3) (cbrt x) (* x x) (pow x 2/3) 2 (log (cbrt x)) (log (cbrt x)) (exp (cbrt x)) x (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (pow x 2/3) (sqrt (cbrt x)) (sqrt (cbrt x)) (pow (cbrt (sqrt (cbrt x))) 4) (* (cbrt (sqrt (cbrt x))) (cbrt (sqrt (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)) (sqrt (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) 1 (cbrt x) (sqrt (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) 1 (cbrt x) (cbrt (sqrt x)) (cbrt (sqrt x)) (* (sqrt (sqrt (cbrt x))) (sqrt (cbrt (sqrt x)))) (* (sqrt (sqrt (cbrt x))) (sqrt (cbrt (sqrt x)))) (* (sqrt (sqrt (cbrt x))) (sqrt (cbrt (sqrt x)))) (* (sqrt (sqrt (cbrt x))) (sqrt (cbrt (sqrt x)))) (* (sqrt (sqrt (cbrt x))) (sqrt (cbrt (sqrt x)))) (* (sqrt (sqrt (cbrt x))) (sqrt (cbrt (sqrt x)))) (sqrt (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (* (sqrt (sqrt (cbrt x))) (sqrt (cbrt (sqrt x)))) (* (sqrt (sqrt (cbrt x))) (sqrt (cbrt (sqrt x)))) (sqrt (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) 1 2 1/3 1 (* (pow (cbrt (sqrt (cbrt x))) 4) (cbrt (sqrt (cbrt x)))) (* (sqrt (cbrt (pow x 2/3))) (sqrt (cbrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt (sqrt x)))) (sqrt (cbrt x)) (* (sqrt (cbrt x)) (fabs (cbrt (cbrt x)))) (pow (sqrt (sqrt (cbrt x))) 3) (sqrt (cbrt x)) (pow (sqrt (sqrt (cbrt x))) 3) (sqrt (cbrt x)) (pow (cbrt (sqrt (cbrt x))) 4) (* (sqrt (cbrt (cbrt x))) (sqrt (cbrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt (sqrt x)))) (cbrt x) (* (sqrt (cbrt (cbrt x))) (sqrt (cbrt x))) (pow (sqrt (sqrt (cbrt x))) 3) (cbrt x) (pow (sqrt (sqrt (cbrt x))) 3) (cbrt x) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) 20.243 * * * [progress]: adding candidates to table 20.483 * * [progress]: iteration 4 / 4 20.483 * * * [progress]: picking best candidate 20.493 * * * * [pick]: Picked # 20.493 * * * [progress]: localizing error 20.502 * * * [progress]: generating rewritten candidates 20.502 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1 1) 20.503 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 20.518 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 20.524 * * * [progress]: generating series expansions 20.524 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1 1) 20.524 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow x 1/3)) in (x) around 0 20.524 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow x 1/3)) in x 20.524 * [taylor]: Taking taylor expansion of (cbrt -1) in x 20.524 * [taylor]: Taking taylor expansion of -1 in x 20.525 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 20.525 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 20.525 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 20.525 * [taylor]: Taking taylor expansion of 1/3 in x 20.525 * [taylor]: Taking taylor expansion of (log x) in x 20.525 * [taylor]: Taking taylor expansion of x in x 20.526 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow x 1/3)) in x 20.526 * [taylor]: Taking taylor expansion of (cbrt -1) in x 20.526 * [taylor]: Taking taylor expansion of -1 in x 20.526 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 20.526 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 20.526 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 20.526 * [taylor]: Taking taylor expansion of 1/3 in x 20.526 * [taylor]: Taking taylor expansion of (log x) in x 20.526 * [taylor]: Taking taylor expansion of x in x 20.588 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 20.588 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 20.588 * [taylor]: Taking taylor expansion of (cbrt -1) in x 20.588 * [taylor]: Taking taylor expansion of -1 in x 20.589 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 20.589 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 20.589 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 20.589 * [taylor]: Taking taylor expansion of 1/3 in x 20.589 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 20.589 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.589 * [taylor]: Taking taylor expansion of x in x 20.590 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 20.590 * [taylor]: Taking taylor expansion of (cbrt -1) in x 20.590 * [taylor]: Taking taylor expansion of -1 in x 20.590 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 20.590 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 20.590 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 20.590 * [taylor]: Taking taylor expansion of 1/3 in x 20.590 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 20.590 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.590 * [taylor]: Taking taylor expansion of x in x 20.655 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 20.655 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 20.655 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 20.655 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 20.655 * [taylor]: Taking taylor expansion of 1/3 in x 20.655 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 20.655 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.655 * [taylor]: Taking taylor expansion of x in x 20.656 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 20.656 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 20.656 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 20.656 * [taylor]: Taking taylor expansion of 1/3 in x 20.656 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 20.656 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.656 * [taylor]: Taking taylor expansion of x in x 20.711 * * * * [progress]: [ 2 / 3 ] generating series at (2) 20.711 * [approximate]: Taking taylor expansion of (* 3 (* x (log (* (pow (cbrt -1) 2) (pow x 1/3))))) in (x) around 0 20.711 * [taylor]: Taking taylor expansion of (* 3 (* x (log (* (pow (cbrt -1) 2) (pow x 1/3))))) in x 20.711 * [taylor]: Taking taylor expansion of 3 in x 20.711 * [taylor]: Taking taylor expansion of (* x (log (* (pow (cbrt -1) 2) (pow x 1/3)))) in x 20.711 * [taylor]: Taking taylor expansion of x in x 20.711 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow x 1/3))) in x 20.711 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow x 1/3)) in x 20.711 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 20.711 * [taylor]: Taking taylor expansion of (cbrt -1) in x 20.711 * [taylor]: Taking taylor expansion of -1 in x 20.712 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 20.712 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 20.712 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 20.712 * [taylor]: Taking taylor expansion of 1/3 in x 20.712 * [taylor]: Taking taylor expansion of (log x) in x 20.712 * [taylor]: Taking taylor expansion of x in x 20.715 * [taylor]: Taking taylor expansion of (* 3 (* x (log (* (pow (cbrt -1) 2) (pow x 1/3))))) in x 20.715 * [taylor]: Taking taylor expansion of 3 in x 20.715 * [taylor]: Taking taylor expansion of (* x (log (* (pow (cbrt -1) 2) (pow x 1/3)))) in x 20.715 * [taylor]: Taking taylor expansion of x in x 20.715 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow x 1/3))) in x 20.715 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow x 1/3)) in x 20.715 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 20.715 * [taylor]: Taking taylor expansion of (cbrt -1) in x 20.715 * [taylor]: Taking taylor expansion of -1 in x 20.716 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 20.716 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 20.716 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 20.716 * [taylor]: Taking taylor expansion of 1/3 in x 20.716 * [taylor]: Taking taylor expansion of (log x) in x 20.716 * [taylor]: Taking taylor expansion of x in x 20.914 * [approximate]: Taking taylor expansion of (* 3 (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3))) x)) in (x) around 0 20.915 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3))) x)) in x 20.915 * [taylor]: Taking taylor expansion of 3 in x 20.915 * [taylor]: Taking taylor expansion of (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3))) x) in x 20.915 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3))) in x 20.915 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3)) in x 20.915 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 20.915 * [taylor]: Taking taylor expansion of (cbrt -1) in x 20.915 * [taylor]: Taking taylor expansion of -1 in x 20.915 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 20.915 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 20.915 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 20.915 * [taylor]: Taking taylor expansion of 1/3 in x 20.915 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 20.915 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.915 * [taylor]: Taking taylor expansion of x in x 20.919 * [taylor]: Taking taylor expansion of x in x 20.919 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3))) x)) in x 20.919 * [taylor]: Taking taylor expansion of 3 in x 20.919 * [taylor]: Taking taylor expansion of (/ (log (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3))) x) in x 20.919 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3))) in x 20.919 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3)) in x 20.919 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 20.919 * [taylor]: Taking taylor expansion of (cbrt -1) in x 20.920 * [taylor]: Taking taylor expansion of -1 in x 20.920 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 20.920 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 20.920 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 20.920 * [taylor]: Taking taylor expansion of 1/3 in x 20.920 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 20.920 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.920 * [taylor]: Taking taylor expansion of x in x 20.923 * [taylor]: Taking taylor expansion of x in x 21.063 * [approximate]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in (x) around 0 21.063 * [taylor]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 21.064 * [taylor]: Taking taylor expansion of -3 in x 21.064 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 21.064 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 21.064 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 21.064 * [taylor]: Taking taylor expansion of (cbrt -1) in x 21.064 * [taylor]: Taking taylor expansion of -1 in x 21.064 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 21.064 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 21.064 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 21.064 * [taylor]: Taking taylor expansion of 1/3 in x 21.064 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 21.064 * [taylor]: Taking taylor expansion of (/ 1 x) in x 21.064 * [taylor]: Taking taylor expansion of x in x 21.066 * [taylor]: Taking taylor expansion of x in x 21.067 * [taylor]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 21.067 * [taylor]: Taking taylor expansion of -3 in x 21.067 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 21.067 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 21.067 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 21.067 * [taylor]: Taking taylor expansion of (cbrt -1) in x 21.067 * [taylor]: Taking taylor expansion of -1 in x 21.068 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 21.068 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 21.068 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 21.068 * [taylor]: Taking taylor expansion of 1/3 in x 21.068 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 21.068 * [taylor]: Taking taylor expansion of (/ 1 x) in x 21.068 * [taylor]: Taking taylor expansion of x in x 21.069 * [taylor]: Taking taylor expansion of x in x 21.182 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 21.182 * [approximate]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow x 1/3))) in (x) around 0 21.182 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow x 1/3))) in x 21.182 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow x 1/3)) in x 21.182 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 21.182 * [taylor]: Taking taylor expansion of (cbrt -1) in x 21.182 * [taylor]: Taking taylor expansion of -1 in x 21.183 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 21.183 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 21.183 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 21.183 * [taylor]: Taking taylor expansion of 1/3 in x 21.183 * [taylor]: Taking taylor expansion of (log x) in x 21.183 * [taylor]: Taking taylor expansion of x in x 21.186 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow x 1/3))) in x 21.186 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow x 1/3)) in x 21.186 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 21.186 * [taylor]: Taking taylor expansion of (cbrt -1) in x 21.186 * [taylor]: Taking taylor expansion of -1 in x 21.187 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 21.187 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 21.187 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 21.187 * [taylor]: Taking taylor expansion of 1/3 in x 21.187 * [taylor]: Taking taylor expansion of (log x) in x 21.187 * [taylor]: Taking taylor expansion of x in x 21.302 * [approximate]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3))) in (x) around 0 21.302 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3))) in x 21.302 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3)) in x 21.302 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 21.302 * [taylor]: Taking taylor expansion of (cbrt -1) in x 21.302 * [taylor]: Taking taylor expansion of -1 in x 21.303 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 21.303 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 21.303 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 21.303 * [taylor]: Taking taylor expansion of 1/3 in x 21.303 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 21.303 * [taylor]: Taking taylor expansion of (/ 1 x) in x 21.303 * [taylor]: Taking taylor expansion of x in x 21.306 * [taylor]: Taking taylor expansion of (log (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3))) in x 21.306 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 x) 1/3)) in x 21.306 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 21.306 * [taylor]: Taking taylor expansion of (cbrt -1) in x 21.306 * [taylor]: Taking taylor expansion of -1 in x 21.307 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 21.307 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 21.307 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 21.307 * [taylor]: Taking taylor expansion of 1/3 in x 21.307 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 21.307 * [taylor]: Taking taylor expansion of (/ 1 x) in x 21.307 * [taylor]: Taking taylor expansion of x in x 21.421 * [approximate]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in (x) around 0 21.421 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 21.421 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 21.421 * [taylor]: Taking taylor expansion of (cbrt -1) in x 21.421 * [taylor]: Taking taylor expansion of -1 in x 21.422 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 21.422 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 21.422 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 21.422 * [taylor]: Taking taylor expansion of 1/3 in x 21.422 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 21.422 * [taylor]: Taking taylor expansion of (/ 1 x) in x 21.422 * [taylor]: Taking taylor expansion of x in x 21.423 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 21.423 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 21.423 * [taylor]: Taking taylor expansion of (cbrt -1) in x 21.423 * [taylor]: Taking taylor expansion of -1 in x 21.424 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 21.424 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 21.424 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 21.424 * [taylor]: Taking taylor expansion of 1/3 in x 21.424 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 21.424 * [taylor]: Taking taylor expansion of (/ 1 x) in x 21.424 * [taylor]: Taking taylor expansion of x in x 21.527 * * * [progress]: simplifying candidates 21.527 * [simplify]: Simplifying using # : (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))) (* (* 3 x) (log (* (cbrt (- x)) (cbrt -1)))) (* (* 3 x) (log (* (cbrt (- x)) (cbrt -1)))) (+ (+ (log 3) (log x)) (log (log (* (cbrt (- x)) (cbrt -1))))) (+ (log (* 3 x)) (log (log (* (cbrt (- x)) (cbrt -1))))) (log (* (* 3 x) (log (* (cbrt (- x)) (cbrt -1))))) (exp (* (* 3 x) (log (* (cbrt (- x)) (cbrt -1))))) (* (* (* (* 3 3) 3) (* (* x x) x)) (* (* (log (* (cbrt (- x)) (cbrt -1))) (log (* (cbrt (- x)) (cbrt -1)))) (log (* (cbrt (- x)) (cbrt -1))))) (* (* (* (* 3 x) (* 3 x)) (* 3 x)) (* (* (log (* (cbrt (- x)) (cbrt -1))) (log (* (cbrt (- x)) (cbrt -1)))) (log (* (cbrt (- x)) (cbrt -1))))) (* (cbrt (* (* 3 x) (log (* (cbrt (- x)) (cbrt -1))))) (cbrt (* (* 3 x) (log (* (cbrt (- x)) (cbrt -1)))))) (cbrt (* (* 3 x) (log (* (cbrt (- x)) (cbrt -1))))) (* (* (* (* 3 x) (log (* (cbrt (- x)) (cbrt -1)))) (* (* 3 x) (log (* (cbrt (- x)) (cbrt -1))))) (* (* 3 x) (log (* (cbrt (- x)) (cbrt -1))))) (sqrt (* (* 3 x) (log (* (cbrt (- x)) (cbrt -1))))) (sqrt (* (* 3 x) (log (* (cbrt (- x)) (cbrt -1))))) (* (* 3 x) (log (cbrt (- x)))) (* (* 3 x) (log (cbrt -1))) (* (log (cbrt (- x))) (* 3 x)) (* (log (cbrt -1)) (* 3 x)) (* (* 3 x) 1/3) (* (* 3 x) 1) (* (* 3 x) 1) (* (* 3 x) (* (cbrt (log (* (cbrt (- x)) (cbrt -1)))) (cbrt (log (* (cbrt (- x)) (cbrt -1)))))) (* (* 3 x) (sqrt (log (* (cbrt (- x)) (cbrt -1))))) (* (* 3 x) 1) (* x (log (* (cbrt (- x)) (cbrt -1)))) (log (cbrt (- x))) (log (cbrt -1)) (log (* (- x) -1)) (log (* (cbrt (- x)) (cbrt -1))) (log (* (cbrt (- x)) (cbrt -1))) (log (log (* (cbrt (- x)) (cbrt -1)))) (exp (log (* (cbrt (- x)) (cbrt -1)))) (* (cbrt (log (* (cbrt (- x)) (cbrt -1)))) (cbrt (log (* (cbrt (- x)) (cbrt -1))))) (cbrt (log (* (cbrt (- x)) (cbrt -1)))) (* (* (log (* (cbrt (- x)) (cbrt -1))) (log (* (cbrt (- x)) (cbrt -1)))) (log (* (cbrt (- x)) (cbrt -1)))) (sqrt (log (* (cbrt (- x)) (cbrt -1)))) (sqrt (log (* (cbrt (- x)) (cbrt -1)))) (* (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))) 21.530 * * [simplify]: iteration 0 : 95 enodes (cost 633 ) 21.546 * * [simplify]: iteration 1 : 207 enodes (cost 602 ) 21.596 * * [simplify]: iteration 2 : 790 enodes (cost 509 ) 21.972 * * [simplify]: iteration 3 : 4659 enodes (cost 498 ) 25.137 * * [simplify]: iteration done : 5000 enodes (cost 498 ) 25.137 * [simplify]: Simplified to: (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))) (* (* 3 x) (log (* (cbrt (- x)) (cbrt -1)))) (* (* 3 x) (log (* (cbrt (- x)) (cbrt -1)))) (log (* (* 3 x) (log (* (cbrt (- x)) (cbrt -1))))) (log (* (* 3 x) (log (* (cbrt (- x)) (cbrt -1))))) (log (* (* 3 x) (log (* (cbrt (- x)) (cbrt -1))))) (pow (* (cbrt (- x)) (cbrt -1)) (* 3 x)) (pow (* (* 3 x) (log (* (cbrt (- x)) (cbrt -1)))) 3) (pow (* (* 3 x) (log (* (cbrt (- x)) (cbrt -1)))) 3) (* (cbrt (* (* 3 x) (log (* (cbrt (- x)) (cbrt -1))))) (cbrt (* (* 3 x) (log (* (cbrt (- x)) (cbrt -1)))))) (cbrt (* (* 3 x) (log (* (cbrt (- x)) (cbrt -1))))) (pow (* (* 3 x) (log (* (cbrt (- x)) (cbrt -1)))) 3) (sqrt (* (* 3 x) (log (* (cbrt (- x)) (cbrt -1))))) (sqrt (* (* 3 x) (log (* (cbrt (- x)) (cbrt -1))))) (* x (log (- x))) (* (* 3 x) (log (cbrt -1))) (* x (log (- x))) (* (* 3 x) (log (cbrt -1))) x (* 3 x) (* 3 x) (* (* 3 x) (* (cbrt (log (* (cbrt (- x)) (cbrt -1)))) (cbrt (log (* (cbrt (- x)) (cbrt -1)))))) (* (* 3 x) (sqrt (log (* (cbrt (- x)) (cbrt -1))))) (* 3 x) (* x (log (* (cbrt (- x)) (cbrt -1)))) (log (cbrt (- x))) (log (cbrt -1)) (log x) (log (* (cbrt (- x)) (cbrt -1))) (log (* (cbrt (- x)) (cbrt -1))) (log (log (* (cbrt (- x)) (cbrt -1)))) (* (cbrt (- x)) (cbrt -1)) (* (cbrt (log (* (cbrt (- x)) (cbrt -1)))) (cbrt (log (* (cbrt (- x)) (cbrt -1))))) (cbrt (log (* (cbrt (- x)) (cbrt -1)))) (pow (log (* (cbrt (- x)) (cbrt -1))) 3) (sqrt (log (* (cbrt (- x)) (cbrt -1)))) (sqrt (log (* (cbrt (- x)) (cbrt -1)))) (* (cbrt x) (cbrt -1)) (* (cbrt x) (cbrt -1)) (pow (/ -1 x) -1/3) (* (* 3 x) (log (* (cbrt x) (pow (cbrt -1) 2)))) (* (* 3 x) (log (* (cbrt x) (pow (cbrt -1) 2)))) (* (* 3 x) (log (* (cbrt (- x)) (cbrt -1)))) (log (* (cbrt x) (pow (cbrt -1) 2))) (log (* (cbrt x) (pow (cbrt -1) 2))) (log (* (cbrt (- x)) (cbrt -1))) 25.138 * * * [progress]: adding candidates to table 25.250 * [progress]: [Phase 3 of 3] Extracting. 25.251 * * [regime]: Finding splitpoints for: (# # # # # # #) 25.252 * * * [regime-changes]: Trying 2 branch expressions: ((* x (log x)) x) 25.252 * * * * [regimes]: Trying to branch on (* x (log x)) from (# # # # # # #) 25.282 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 25.305 * * * [regime]: Found split indices: #