7.616 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.017 * * * [progress]: [2/2] Setting up program. 0.018 * [progress]: [Phase 2 of 3] Improving. 0.019 * [simplify]: Simplifying using # : (* x (log x)) 0.020 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 0.020 * * [simplify]: iteration 1 : 4 enodes (cost 4 ) 0.021 * * [simplify]: iteration done : 4 enodes (cost 4 ) 0.021 * [simplify]: Simplified to: (* x (log x)) 0.021 * * [progress]: iteration 1 / 4 0.021 * * * [progress]: picking best candidate 0.022 * * * * [pick]: Picked # 0.022 * * * [progress]: localizing error 0.028 * * * [progress]: generating rewritten candidates 0.029 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.033 * * * [progress]: generating series expansions 0.033 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.034 * [approximate]: Taking taylor expansion of (* (log x) x) in (x) around 0 0.034 * [taylor]: Taking taylor expansion of (* (log x) x) in x 0.034 * [taylor]: Taking taylor expansion of (log x) in x 0.034 * [taylor]: Taking taylor expansion of x in x 0.034 * [taylor]: Taking taylor expansion of x in x 0.034 * [taylor]: Taking taylor expansion of (* (log x) x) in x 0.034 * [taylor]: Taking taylor expansion of (log x) in x 0.034 * [taylor]: Taking taylor expansion of x in x 0.035 * [taylor]: Taking taylor expansion of x in x 0.101 * [approximate]: Taking taylor expansion of (/ (log (/ 1 x)) x) in (x) around 0 0.102 * [taylor]: Taking taylor expansion of (/ (log (/ 1 x)) x) in x 0.102 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.102 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.102 * [taylor]: Taking taylor expansion of x in x 0.102 * [taylor]: Taking taylor expansion of x in x 0.103 * [taylor]: Taking taylor expansion of (/ (log (/ 1 x)) x) in x 0.103 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.103 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.103 * [taylor]: Taking taylor expansion of x in x 0.103 * [taylor]: Taking taylor expansion of x in x 0.147 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 x)) x)) in (x) around 0 0.147 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 x)) x)) in x 0.147 * [taylor]: Taking taylor expansion of -1 in x 0.147 * [taylor]: Taking taylor expansion of (/ (log (/ -1 x)) x) in x 0.147 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.147 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.147 * [taylor]: Taking taylor expansion of -1 in x 0.147 * [taylor]: Taking taylor expansion of x in x 0.148 * [taylor]: Taking taylor expansion of x in x 0.149 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 x)) x)) in x 0.149 * [taylor]: Taking taylor expansion of -1 in x 0.149 * [taylor]: Taking taylor expansion of (/ (log (/ -1 x)) x) in x 0.149 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 0.149 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.149 * [taylor]: Taking taylor expansion of -1 in x 0.149 * [taylor]: Taking taylor expansion of x in x 0.150 * [taylor]: Taking taylor expansion of x in x 0.207 * * * [progress]: simplifying candidates 0.208 * [simplify]: Simplifying using # : (expm1 (* x (log x))) (log1p (* x (log x))) (* x (log x)) (+ (log x) (log (log x))) (log (* x (log x))) (exp (* x (log x))) (* (* (* x x) x) (* (* (log x) (log x)) (log x))) (* (cbrt (* x (log x))) (cbrt (* x (log x)))) (cbrt (* x (log x))) (* (* (* x (log x)) (* x (log x))) (* x (log x))) (sqrt (* x (log x))) (sqrt (* x (log x))) (* (sqrt x) (sqrt (log x))) (* (sqrt x) (sqrt (log x))) (* x (log (* (cbrt x) (cbrt x)))) (* x (log (cbrt x))) (* x (log (sqrt x))) (* x (log (sqrt x))) (* x (log 1)) (* x (log x)) (* (log (* (cbrt x) (cbrt x))) x) (* (log (cbrt x)) x) (* (log (sqrt x)) x) (* (log (sqrt x)) x) (* (log 1) x) (* (log x) x) (* x 1) (* x (* (cbrt (log x)) (cbrt (log x)))) (* x (sqrt (log x))) (* x 1) (* (cbrt x) (log x)) (* (sqrt x) (log x)) (* x (log x)) (* (log x) x) (* -1 (* x (log (/ 1 x)))) (* x (- (log -1) (log (/ -1 x)))) 0.209 * * [simplify]: iteration 0 : 55 enodes (cost 213 ) 0.218 * * [simplify]: iteration 1 : 97 enodes (cost 204 ) 0.240 * * [simplify]: iteration 2 : 330 enodes (cost 180 ) 0.335 * * [simplify]: iteration 3 : 864 enodes (cost 173 ) 1.106 * * [simplify]: iteration 4 : 3008 enodes (cost 173 ) 14.679 * * [simplify]: iteration done : 5000 enodes (cost 173 ) 14.679 * [simplify]: Simplified to: (expm1 (* x (log x))) (log1p (* x (log x))) (* x (log x)) (log (* x (log x))) (log (* x (log x))) (pow x x) (pow (* (log x) x) 3) (* (cbrt (* x (log x))) (cbrt (* x (log x)))) (cbrt (* x (log x))) (pow (* (log x) x) 3) (sqrt (* x (log x))) (sqrt (* x (log x))) (* (sqrt x) (sqrt (log x))) (* (sqrt x) (sqrt (log x))) (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x))) (* x (log (sqrt x))) (* x (log (sqrt x))) 0 (* x (log x)) (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x))) (* x (log (sqrt x))) (* x (log (sqrt x))) 0 (* x (log x)) x (* x (* (cbrt (log x)) (cbrt (log x)))) (* x (sqrt (log x))) x (* (cbrt x) (log x)) (* (sqrt x) (log x)) (* x (log x)) (* x (log x)) (* x (log x)) (* x (log x)) 14.680 * * * [progress]: adding candidates to table 14.715 * * [progress]: iteration 2 / 4 14.715 * * * [progress]: picking best candidate 14.723 * * * * [pick]: Picked # 14.723 * * * [progress]: localizing error 14.735 * * * [progress]: generating rewritten candidates 14.735 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 14.736 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1) 14.736 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 14.746 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 14.755 * * * [progress]: generating series expansions 14.756 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 14.756 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 14.756 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 14.756 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 14.756 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 14.756 * [taylor]: Taking taylor expansion of 1/3 in x 14.756 * [taylor]: Taking taylor expansion of (log x) in x 14.756 * [taylor]: Taking taylor expansion of x in x 14.757 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 14.757 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 14.757 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 14.757 * [taylor]: Taking taylor expansion of 1/3 in x 14.757 * [taylor]: Taking taylor expansion of (log x) in x 14.757 * [taylor]: Taking taylor expansion of x in x 14.806 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 14.807 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 14.807 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 14.807 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 14.807 * [taylor]: Taking taylor expansion of 1/3 in x 14.807 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 14.807 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.807 * [taylor]: Taking taylor expansion of x in x 14.811 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 14.811 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 14.811 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 14.811 * [taylor]: Taking taylor expansion of 1/3 in x 14.811 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 14.811 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.811 * [taylor]: Taking taylor expansion of x in x 14.864 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 14.864 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 14.864 * [taylor]: Taking taylor expansion of (cbrt -1) in x 14.864 * [taylor]: Taking taylor expansion of -1 in x 14.865 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 14.865 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 14.865 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 14.865 * [taylor]: Taking taylor expansion of 1/3 in x 14.865 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 14.865 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.865 * [taylor]: Taking taylor expansion of x in x 14.866 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 14.866 * [taylor]: Taking taylor expansion of (cbrt -1) in x 14.866 * [taylor]: Taking taylor expansion of -1 in x 14.867 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 14.867 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 14.867 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 14.867 * [taylor]: Taking taylor expansion of 1/3 in x 14.867 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 14.867 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.867 * [taylor]: Taking taylor expansion of x in x 14.932 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1) 14.933 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 14.933 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 14.933 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 14.933 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 14.933 * [taylor]: Taking taylor expansion of 1/3 in x 14.933 * [taylor]: Taking taylor expansion of (log x) in x 14.933 * [taylor]: Taking taylor expansion of x in x 14.933 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 14.933 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 14.933 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 14.933 * [taylor]: Taking taylor expansion of 1/3 in x 14.933 * [taylor]: Taking taylor expansion of (log x) in x 14.933 * [taylor]: Taking taylor expansion of x in x 14.985 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 14.985 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 14.985 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 14.985 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 14.985 * [taylor]: Taking taylor expansion of 1/3 in x 14.985 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 14.985 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.986 * [taylor]: Taking taylor expansion of x in x 14.986 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 14.986 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 14.986 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 14.986 * [taylor]: Taking taylor expansion of 1/3 in x 14.986 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 14.986 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.987 * [taylor]: Taking taylor expansion of x in x 15.041 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 15.042 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 15.042 * [taylor]: Taking taylor expansion of (cbrt -1) in x 15.042 * [taylor]: Taking taylor expansion of -1 in x 15.042 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.042 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.042 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.042 * [taylor]: Taking taylor expansion of 1/3 in x 15.042 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.042 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.042 * [taylor]: Taking taylor expansion of x in x 15.043 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 15.043 * [taylor]: Taking taylor expansion of (cbrt -1) in x 15.043 * [taylor]: Taking taylor expansion of -1 in x 15.044 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.044 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.044 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.044 * [taylor]: Taking taylor expansion of 1/3 in x 15.044 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.044 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.044 * [taylor]: Taking taylor expansion of x in x 15.113 * * * * [progress]: [ 3 / 4 ] generating series at (2) 15.114 * [approximate]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in (x) around 0 15.114 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in x 15.114 * [taylor]: Taking taylor expansion of 3 in x 15.114 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 15.114 * [taylor]: Taking taylor expansion of x in x 15.114 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 15.114 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 15.114 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 15.114 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 15.114 * [taylor]: Taking taylor expansion of 1/3 in x 15.114 * [taylor]: Taking taylor expansion of (log x) in x 15.114 * [taylor]: Taking taylor expansion of x in x 15.115 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow x 1/3)))) in x 15.115 * [taylor]: Taking taylor expansion of 3 in x 15.115 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 15.115 * [taylor]: Taking taylor expansion of x in x 15.115 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 15.115 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 15.115 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 15.115 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 15.115 * [taylor]: Taking taylor expansion of 1/3 in x 15.115 * [taylor]: Taking taylor expansion of (log x) in x 15.115 * [taylor]: Taking taylor expansion of x in x 15.243 * [approximate]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in (x) around 0 15.243 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in x 15.243 * [taylor]: Taking taylor expansion of 3 in x 15.243 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 15.243 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 15.243 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.243 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.243 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.243 * [taylor]: Taking taylor expansion of 1/3 in x 15.243 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.243 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.243 * [taylor]: Taking taylor expansion of x in x 15.244 * [taylor]: Taking taylor expansion of x in x 15.244 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 x) 1/3)) x)) in x 15.244 * [taylor]: Taking taylor expansion of 3 in x 15.244 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 15.244 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 15.244 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.244 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.244 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.244 * [taylor]: Taking taylor expansion of 1/3 in x 15.244 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.244 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.244 * [taylor]: Taking taylor expansion of x in x 15.245 * [taylor]: Taking taylor expansion of x in x 15.337 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in (x) around 0 15.337 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in x 15.337 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 15.337 * [taylor]: Taking taylor expansion of 3 in x 15.337 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 15.337 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 15.337 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 15.337 * [taylor]: Taking taylor expansion of (cbrt -1) in x 15.337 * [taylor]: Taking taylor expansion of -1 in x 15.338 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.338 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.338 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.338 * [taylor]: Taking taylor expansion of 1/3 in x 15.338 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.338 * [taylor]: Taking taylor expansion of x in x 15.339 * [taylor]: Taking taylor expansion of x in x 15.340 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x))) in x 15.340 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 15.340 * [taylor]: Taking taylor expansion of 3 in x 15.340 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 15.340 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 15.340 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 15.340 * [taylor]: Taking taylor expansion of (cbrt -1) in x 15.340 * [taylor]: Taking taylor expansion of -1 in x 15.341 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.341 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.341 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.341 * [taylor]: Taking taylor expansion of 1/3 in x 15.341 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.341 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.341 * [taylor]: Taking taylor expansion of x in x 15.342 * [taylor]: Taking taylor expansion of x in x 15.466 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 15.466 * [approximate]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in (x) around 0 15.466 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in x 15.466 * [taylor]: Taking taylor expansion of 2 in x 15.466 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 15.466 * [taylor]: Taking taylor expansion of x in x 15.466 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 15.466 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 15.466 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 15.466 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 15.466 * [taylor]: Taking taylor expansion of 1/3 in x 15.466 * [taylor]: Taking taylor expansion of (log x) in x 15.466 * [taylor]: Taking taylor expansion of x in x 15.467 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in x 15.467 * [taylor]: Taking taylor expansion of 2 in x 15.467 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 15.467 * [taylor]: Taking taylor expansion of x in x 15.467 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 15.467 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 15.467 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 15.467 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 15.467 * [taylor]: Taking taylor expansion of 1/3 in x 15.467 * [taylor]: Taking taylor expansion of (log x) in x 15.467 * [taylor]: Taking taylor expansion of x in x 15.602 * [approximate]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in (x) around 0 15.602 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in x 15.602 * [taylor]: Taking taylor expansion of 2 in x 15.602 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 15.602 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 15.602 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.602 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.602 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.602 * [taylor]: Taking taylor expansion of 1/3 in x 15.602 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.602 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.602 * [taylor]: Taking taylor expansion of x in x 15.603 * [taylor]: Taking taylor expansion of x in x 15.603 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in x 15.604 * [taylor]: Taking taylor expansion of 2 in x 15.604 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 15.604 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 15.604 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.604 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.604 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.604 * [taylor]: Taking taylor expansion of 1/3 in x 15.604 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.604 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.604 * [taylor]: Taking taylor expansion of x in x 15.605 * [taylor]: Taking taylor expansion of x in x 15.695 * [approximate]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in (x) around 0 15.695 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 15.695 * [taylor]: Taking taylor expansion of -2 in x 15.695 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 15.695 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 15.696 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 15.696 * [taylor]: Taking taylor expansion of (cbrt -1) in x 15.696 * [taylor]: Taking taylor expansion of -1 in x 15.696 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.696 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.696 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.696 * [taylor]: Taking taylor expansion of 1/3 in x 15.696 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.696 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.696 * [taylor]: Taking taylor expansion of x in x 15.698 * [taylor]: Taking taylor expansion of x in x 15.698 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 15.698 * [taylor]: Taking taylor expansion of -2 in x 15.698 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 15.698 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 15.698 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 15.698 * [taylor]: Taking taylor expansion of (cbrt -1) in x 15.699 * [taylor]: Taking taylor expansion of -1 in x 15.699 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 15.699 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 15.699 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 15.699 * [taylor]: Taking taylor expansion of 1/3 in x 15.699 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 15.699 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.699 * [taylor]: Taking taylor expansion of x in x 15.701 * [taylor]: Taking taylor expansion of x in x 15.817 * * * [progress]: simplifying candidates 15.819 * [simplify]: Simplifying using # : (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x))))) (log1p (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x))))) (* (exp (* (* 2 (log (cbrt x))) x)) (exp (* x (log (cbrt x))))) (log (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x))))) (exp (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x))))) (* (cbrt (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x))))) (cbrt (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x)))))) (cbrt (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x))))) (* (* (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x)))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x))))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x))))) (sqrt (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x))))) (sqrt (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x))))) (+ (pow (* (* 2 (log (cbrt x))) x) 3) (pow (* x (log (cbrt x))) 3)) (+ (* (* (* 2 (log (cbrt x))) x) (* (* 2 (log (cbrt x))) x)) (- (* (* x (log (cbrt x))) (* x (log (cbrt x)))) (* (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x)))))) (- (* (* (* 2 (log (cbrt x))) x) (* (* 2 (log (cbrt x))) x)) (* (* x (log (cbrt x))) (* x (log (cbrt x))))) (- (* (* 2 (log (cbrt x))) x) (* x (log (cbrt x)))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt (* (cbrt x) (cbrt x)))))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt (sqrt x))))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (cbrt 1)))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (sqrt (cbrt x))))) (+ (* (* 2 (log (cbrt x))) x) (* x (log 1))) (+ (* (* 2 (log (cbrt x))) x) (* (log (cbrt (* (cbrt x) (cbrt x)))) x)) (+ (* (* 2 (log (cbrt x))) x) (* (log (cbrt (sqrt x))) x)) (+ (* (* 2 (log (cbrt x))) x) (* (log (cbrt 1)) x)) (+ (* (* 2 (log (cbrt x))) x) (* (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))) x)) (+ (* (* 2 (log (cbrt x))) x) (* (log (sqrt (cbrt x))) x)) (+ (* (* 2 (log (cbrt x))) x) (* (log 1) x)) (expm1 (* (* 2 (log (cbrt x))) x)) (log1p (* (* 2 (log (cbrt x))) x)) (* (* 2 (log (cbrt x))) x) (* (* 2 (log (cbrt x))) x) (+ (+ (log 2) (log (log (cbrt x)))) (log x)) (+ (log (* 2 (log (cbrt x)))) (log x)) (log (* (* 2 (log (cbrt x))) x)) (exp (* (* 2 (log (cbrt x))) x)) (* (* (* (* 2 2) 2) (* (* (log (cbrt x)) (log (cbrt x))) (log (cbrt x)))) (* (* x x) x)) (* (* (* (* 2 (log (cbrt x))) (* 2 (log (cbrt x)))) (* 2 (log (cbrt x)))) (* (* x x) x)) (* (cbrt (* (* 2 (log (cbrt x))) x)) (cbrt (* (* 2 (log (cbrt x))) x))) (cbrt (* (* 2 (log (cbrt x))) x)) (* (* (* (* 2 (log (cbrt x))) x) (* (* 2 (log (cbrt x))) x)) (* (* 2 (log (cbrt x))) x)) (sqrt (* (* 2 (log (cbrt x))) x)) (sqrt (* (* 2 (log (cbrt x))) x)) (* (* 2 (log (cbrt x))) (* (cbrt x) (cbrt x))) (* (* 2 (log (cbrt x))) (sqrt x)) (* (* 2 (log (cbrt x))) 1) (* (log (cbrt x)) x) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (* 3 (* x (log (pow x 1/3)))) (* 3 (* (log (pow (/ 1 x) -1/3)) x)) (* 3 (* x (log (* (pow (* -1 x) 1/3) (cbrt -1))))) (* 2 (* x (log (pow x 1/3)))) (* 2 (* (log (pow (/ 1 x) -1/3)) x)) (* 2 (* x (log (* (pow (* -1 x) 1/3) (cbrt -1))))) 15.822 * * [simplify]: iteration 0 : 125 enodes (cost 867 ) 15.849 * * [simplify]: iteration 1 : 309 enodes (cost 778 ) 15.927 * * [simplify]: iteration 2 : 1235 enodes (cost 586 ) 16.427 * * [simplify]: iteration done : 5000 enodes (cost 585 ) 16.427 * [simplify]: Simplified to: (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (pow (cbrt x) 3) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (pow (cbrt x) 3) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (* 3 (* (log (cbrt x)) x))) (log1p (* 3 (* (log (cbrt x)) x))) (exp (* 3 (* (log (cbrt x)) x))) (log (* 3 (* (log (cbrt x)) x))) (exp (* 3 (* (log (cbrt x)) x))) (* (cbrt (* 3 (* (log (cbrt x)) x))) (cbrt (* 3 (* (log (cbrt x)) x)))) (cbrt (* 3 (* (log (cbrt x)) x))) (pow (* 3 (* (log (cbrt x)) x)) 3) (sqrt (* 3 (* (log (cbrt x)) x))) (sqrt (* 3 (* (log (cbrt x)) x))) (+ (pow (* (* 2/3 (log x)) x) 3) (pow (* x (log (cbrt x))) 3)) (fma (* (* 2/3 (log x)) x) (* (* 2/3 (log x)) x) (* (* (log (cbrt x)) (- x (* 2 x))) (* (log (cbrt x)) x))) (* (* (log (cbrt x)) (- (* 2 x) x)) (* 3 (* (log (cbrt x)) x))) (* (log (cbrt x)) (- (* 2 x) x)) (* x (+ (* 2/3 (log x)) (log (cbrt (pow x 2/3))))) (* x (fma (log (cbrt x)) 2 (log (cbrt (sqrt x))))) (* (* 2/3 (log x)) x) (* x (fma (log (cbrt x)) 2 (* 2 (log (cbrt (cbrt x)))))) (* (fma (log (cbrt x)) 2 (log (sqrt (cbrt x)))) x) (* (* 2/3 (log x)) x) (* x (+ (* 2/3 (log x)) (log (cbrt (pow x 2/3))))) (* x (fma (log (cbrt x)) 2 (log (cbrt (sqrt x))))) (* (* 2/3 (log x)) x) (* x (fma (log (cbrt x)) 2 (* 2 (log (cbrt (cbrt x)))))) (* (fma (log (cbrt x)) 2 (log (sqrt (cbrt x)))) x) (* (* 2/3 (log x)) x) (expm1 (* (* 2/3 (log x)) x)) (log1p (* (* 2/3 (log x)) x)) (* (* 2/3 (log x)) x) (* (* 2/3 (log x)) x) (log (* (* 2/3 (log x)) x)) (log (* (* 2/3 (log x)) x)) (log (* (* 2/3 (log x)) x)) (pow (pow (cbrt x) x) 2) (pow (* (* 2/3 (log x)) x) 3) (pow (* (* 2/3 (log x)) x) 3) (* (cbrt (* (* 2/3 (log x)) x)) (cbrt (* (* 2/3 (log x)) x))) (cbrt (* (* 2/3 (log x)) x)) (pow (* (* 2/3 (log x)) x) 3) (sqrt (* (* 2/3 (log x)) x)) (sqrt (* (* 2/3 (log x)) x)) (* (pow x 2/3) (* 2/3 (log x))) (* (* 2/3 (log x)) (sqrt x)) (* 2/3 (log x)) (* (log (cbrt x)) x) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (* (* (log (cbrt x)) x) 3) (* (- x) (- (log x))) (* (* 3 x) (log (* (cbrt -1) (cbrt (- x))))) (* (* 2/3 (log x)) x) (* x (* -2/3 (- (log x)))) (* (* 2 x) (log (* (cbrt -1) (cbrt (- x))))) 16.428 * * * [progress]: adding candidates to table 16.638 * * [progress]: iteration 3 / 4 16.638 * * * [progress]: picking best candidate 16.647 * * * * [pick]: Picked # 16.647 * * * [progress]: localizing error 16.666 * * * [progress]: generating rewritten candidates 16.666 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1) 16.670 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1) 16.670 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 16.686 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 16.698 * * * [progress]: generating series expansions 16.698 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1) 16.698 * [approximate]: Taking taylor expansion of (pow (/ 1 x) -1/3) in (x) around 0 16.698 * [taylor]: Taking taylor expansion of (pow (/ 1 x) -1/3) in x 16.698 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (/ 1 x)))) in x 16.698 * [taylor]: Taking taylor expansion of (* -1/3 (log (/ 1 x))) in x 16.698 * [taylor]: Taking taylor expansion of -1/3 in x 16.698 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 16.699 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.699 * [taylor]: Taking taylor expansion of x in x 16.700 * [taylor]: Taking taylor expansion of (pow (/ 1 x) -1/3) in x 16.700 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (/ 1 x)))) in x 16.700 * [taylor]: Taking taylor expansion of (* -1/3 (log (/ 1 x))) in x 16.700 * [taylor]: Taking taylor expansion of -1/3 in x 16.700 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 16.700 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.700 * [taylor]: Taking taylor expansion of x in x 16.756 * [approximate]: Taking taylor expansion of (pow x -1/3) in (x) around 0 16.756 * [taylor]: Taking taylor expansion of (pow x -1/3) in x 16.756 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log x))) in x 16.756 * [taylor]: Taking taylor expansion of (* -1/3 (log x)) in x 16.756 * [taylor]: Taking taylor expansion of -1/3 in x 16.756 * [taylor]: Taking taylor expansion of (log x) in x 16.756 * [taylor]: Taking taylor expansion of x in x 16.757 * [taylor]: Taking taylor expansion of (pow x -1/3) in x 16.757 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log x))) in x 16.757 * [taylor]: Taking taylor expansion of (* -1/3 (log x)) in x 16.757 * [taylor]: Taking taylor expansion of -1/3 in x 16.757 * [taylor]: Taking taylor expansion of (log x) in x 16.757 * [taylor]: Taking taylor expansion of x in x 16.812 * [approximate]: Taking taylor expansion of (pow (* -1 x) -1/3) in (x) around 0 16.812 * [taylor]: Taking taylor expansion of (pow (* -1 x) -1/3) in x 16.812 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (* -1 x)))) in x 16.812 * [taylor]: Taking taylor expansion of (* -1/3 (log (* -1 x))) in x 16.812 * [taylor]: Taking taylor expansion of -1/3 in x 16.812 * [taylor]: Taking taylor expansion of (log (* -1 x)) in x 16.812 * [taylor]: Taking taylor expansion of (* -1 x) in x 16.812 * [taylor]: Taking taylor expansion of -1 in x 16.812 * [taylor]: Taking taylor expansion of x in x 16.814 * [taylor]: Taking taylor expansion of (pow (* -1 x) -1/3) in x 16.814 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (* -1 x)))) in x 16.814 * [taylor]: Taking taylor expansion of (* -1/3 (log (* -1 x))) in x 16.814 * [taylor]: Taking taylor expansion of -1/3 in x 16.814 * [taylor]: Taking taylor expansion of (log (* -1 x)) in x 16.814 * [taylor]: Taking taylor expansion of (* -1 x) in x 16.814 * [taylor]: Taking taylor expansion of -1 in x 16.814 * [taylor]: Taking taylor expansion of x in x 16.881 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1) 16.881 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 16.881 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 16.881 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 16.881 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 16.881 * [taylor]: Taking taylor expansion of 1/3 in x 16.881 * [taylor]: Taking taylor expansion of (log x) in x 16.881 * [taylor]: Taking taylor expansion of x in x 16.882 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 16.882 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 16.882 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 16.882 * [taylor]: Taking taylor expansion of 1/3 in x 16.882 * [taylor]: Taking taylor expansion of (log x) in x 16.882 * [taylor]: Taking taylor expansion of x in x 16.930 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 16.930 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 16.930 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 16.930 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 16.930 * [taylor]: Taking taylor expansion of 1/3 in x 16.930 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 16.930 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.930 * [taylor]: Taking taylor expansion of x in x 16.931 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 16.931 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 16.931 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 16.931 * [taylor]: Taking taylor expansion of 1/3 in x 16.931 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 16.931 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.931 * [taylor]: Taking taylor expansion of x in x 16.990 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 16.990 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 16.990 * [taylor]: Taking taylor expansion of (cbrt -1) in x 16.990 * [taylor]: Taking taylor expansion of -1 in x 16.990 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 16.990 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 16.990 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 16.991 * [taylor]: Taking taylor expansion of 1/3 in x 16.991 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 16.991 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.991 * [taylor]: Taking taylor expansion of x in x 16.991 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 16.991 * [taylor]: Taking taylor expansion of (cbrt -1) in x 16.991 * [taylor]: Taking taylor expansion of -1 in x 16.992 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 16.992 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 16.992 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 16.992 * [taylor]: Taking taylor expansion of 1/3 in x 16.992 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 16.992 * [taylor]: Taking taylor expansion of (/ 1 x) in x 16.992 * [taylor]: Taking taylor expansion of x in x 17.061 * * * * [progress]: [ 3 / 4 ] generating series at (2) 17.062 * [approximate]: Taking taylor expansion of (+ (* (log (pow (/ 1 x) -1/3)) x) (* 2 (* x (log (pow x 1/3))))) in (x) around 0 17.062 * [taylor]: Taking taylor expansion of (+ (* (log (pow (/ 1 x) -1/3)) x) (* 2 (* x (log (pow x 1/3))))) in x 17.062 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 x) -1/3)) x) in x 17.062 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) -1/3)) in x 17.062 * [taylor]: Taking taylor expansion of (pow (/ 1 x) -1/3) in x 17.062 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (/ 1 x)))) in x 17.062 * [taylor]: Taking taylor expansion of (* -1/3 (log (/ 1 x))) in x 17.062 * [taylor]: Taking taylor expansion of -1/3 in x 17.062 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 17.062 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.062 * [taylor]: Taking taylor expansion of x in x 17.063 * [taylor]: Taking taylor expansion of x in x 17.063 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in x 17.063 * [taylor]: Taking taylor expansion of 2 in x 17.063 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 17.063 * [taylor]: Taking taylor expansion of x in x 17.063 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 17.063 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 17.063 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 17.063 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 17.063 * [taylor]: Taking taylor expansion of 1/3 in x 17.063 * [taylor]: Taking taylor expansion of (log x) in x 17.063 * [taylor]: Taking taylor expansion of x in x 17.064 * [taylor]: Taking taylor expansion of (+ (* (log (pow (/ 1 x) -1/3)) x) (* 2 (* x (log (pow x 1/3))))) in x 17.064 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 x) -1/3)) x) in x 17.064 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) -1/3)) in x 17.064 * [taylor]: Taking taylor expansion of (pow (/ 1 x) -1/3) in x 17.064 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (/ 1 x)))) in x 17.064 * [taylor]: Taking taylor expansion of (* -1/3 (log (/ 1 x))) in x 17.064 * [taylor]: Taking taylor expansion of -1/3 in x 17.064 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 17.064 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.064 * [taylor]: Taking taylor expansion of x in x 17.065 * [taylor]: Taking taylor expansion of x in x 17.065 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in x 17.065 * [taylor]: Taking taylor expansion of 2 in x 17.065 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 17.065 * [taylor]: Taking taylor expansion of x in x 17.065 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 17.065 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 17.065 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 17.065 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 17.065 * [taylor]: Taking taylor expansion of 1/3 in x 17.065 * [taylor]: Taking taylor expansion of (log x) in x 17.065 * [taylor]: Taking taylor expansion of x in x 17.322 * [approximate]: Taking taylor expansion of (+ (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) (/ (log (pow x -1/3)) x)) in (x) around 0 17.322 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) (/ (log (pow x -1/3)) x)) in x 17.322 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in x 17.322 * [taylor]: Taking taylor expansion of 2 in x 17.322 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 17.322 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 17.322 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 17.322 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 17.322 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 17.322 * [taylor]: Taking taylor expansion of 1/3 in x 17.322 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 17.322 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.322 * [taylor]: Taking taylor expansion of x in x 17.323 * [taylor]: Taking taylor expansion of x in x 17.323 * [taylor]: Taking taylor expansion of (/ (log (pow x -1/3)) x) in x 17.323 * [taylor]: Taking taylor expansion of (log (pow x -1/3)) in x 17.323 * [taylor]: Taking taylor expansion of (pow x -1/3) in x 17.323 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log x))) in x 17.323 * [taylor]: Taking taylor expansion of (* -1/3 (log x)) in x 17.323 * [taylor]: Taking taylor expansion of -1/3 in x 17.323 * [taylor]: Taking taylor expansion of (log x) in x 17.323 * [taylor]: Taking taylor expansion of x in x 17.324 * [taylor]: Taking taylor expansion of x in x 17.324 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) (/ (log (pow x -1/3)) x)) in x 17.324 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in x 17.324 * [taylor]: Taking taylor expansion of 2 in x 17.324 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 17.324 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 17.324 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 17.324 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 17.324 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 17.324 * [taylor]: Taking taylor expansion of 1/3 in x 17.324 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 17.324 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.324 * [taylor]: Taking taylor expansion of x in x 17.325 * [taylor]: Taking taylor expansion of x in x 17.325 * [taylor]: Taking taylor expansion of (/ (log (pow x -1/3)) x) in x 17.325 * [taylor]: Taking taylor expansion of (log (pow x -1/3)) in x 17.325 * [taylor]: Taking taylor expansion of (pow x -1/3) in x 17.325 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log x))) in x 17.325 * [taylor]: Taking taylor expansion of (* -1/3 (log x)) in x 17.325 * [taylor]: Taking taylor expansion of -1/3 in x 17.325 * [taylor]: Taking taylor expansion of (log x) in x 17.325 * [taylor]: Taking taylor expansion of x in x 17.326 * [taylor]: Taking taylor expansion of x in x 17.497 * [approximate]: Taking taylor expansion of (- (+ (* 2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) (/ (log (pow (* -1 x) -1/3)) x))) in (x) around 0 17.497 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) (/ (log (pow (* -1 x) -1/3)) x))) in x 17.498 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) (/ (log (pow (* -1 x) -1/3)) x)) in x 17.498 * [taylor]: Taking taylor expansion of (* 2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 17.498 * [taylor]: Taking taylor expansion of 2 in x 17.498 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 17.498 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 17.498 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 17.498 * [taylor]: Taking taylor expansion of (cbrt -1) in x 17.498 * [taylor]: Taking taylor expansion of -1 in x 17.498 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 17.498 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 17.498 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 17.498 * [taylor]: Taking taylor expansion of 1/3 in x 17.498 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 17.498 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.499 * [taylor]: Taking taylor expansion of x in x 17.500 * [taylor]: Taking taylor expansion of x in x 17.501 * [taylor]: Taking taylor expansion of (/ (log (pow (* -1 x) -1/3)) x) in x 17.501 * [taylor]: Taking taylor expansion of (log (pow (* -1 x) -1/3)) in x 17.501 * [taylor]: Taking taylor expansion of (pow (* -1 x) -1/3) in x 17.501 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (* -1 x)))) in x 17.501 * [taylor]: Taking taylor expansion of (* -1/3 (log (* -1 x))) in x 17.501 * [taylor]: Taking taylor expansion of -1/3 in x 17.501 * [taylor]: Taking taylor expansion of (log (* -1 x)) in x 17.501 * [taylor]: Taking taylor expansion of (* -1 x) in x 17.501 * [taylor]: Taking taylor expansion of -1 in x 17.501 * [taylor]: Taking taylor expansion of x in x 17.503 * [taylor]: Taking taylor expansion of x in x 17.503 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) (/ (log (pow (* -1 x) -1/3)) x))) in x 17.504 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) (/ (log (pow (* -1 x) -1/3)) x)) in x 17.504 * [taylor]: Taking taylor expansion of (* 2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 17.504 * [taylor]: Taking taylor expansion of 2 in x 17.504 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 17.504 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 17.504 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 17.504 * [taylor]: Taking taylor expansion of (cbrt -1) in x 17.504 * [taylor]: Taking taylor expansion of -1 in x 17.504 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 17.504 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 17.504 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 17.504 * [taylor]: Taking taylor expansion of 1/3 in x 17.504 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 17.504 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.504 * [taylor]: Taking taylor expansion of x in x 17.506 * [taylor]: Taking taylor expansion of x in x 17.507 * [taylor]: Taking taylor expansion of (/ (log (pow (* -1 x) -1/3)) x) in x 17.507 * [taylor]: Taking taylor expansion of (log (pow (* -1 x) -1/3)) in x 17.507 * [taylor]: Taking taylor expansion of (pow (* -1 x) -1/3) in x 17.507 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (* -1 x)))) in x 17.507 * [taylor]: Taking taylor expansion of (* -1/3 (log (* -1 x))) in x 17.507 * [taylor]: Taking taylor expansion of -1/3 in x 17.507 * [taylor]: Taking taylor expansion of (log (* -1 x)) in x 17.507 * [taylor]: Taking taylor expansion of (* -1 x) in x 17.507 * [taylor]: Taking taylor expansion of -1 in x 17.507 * [taylor]: Taking taylor expansion of x in x 17.515 * [taylor]: Taking taylor expansion of x in x 17.735 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 17.736 * [approximate]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in (x) around 0 17.736 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in x 17.736 * [taylor]: Taking taylor expansion of 2 in x 17.736 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 17.736 * [taylor]: Taking taylor expansion of x in x 17.736 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 17.736 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 17.736 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 17.736 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 17.736 * [taylor]: Taking taylor expansion of 1/3 in x 17.736 * [taylor]: Taking taylor expansion of (log x) in x 17.736 * [taylor]: Taking taylor expansion of x in x 17.736 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow x 1/3)))) in x 17.736 * [taylor]: Taking taylor expansion of 2 in x 17.736 * [taylor]: Taking taylor expansion of (* x (log (pow x 1/3))) in x 17.737 * [taylor]: Taking taylor expansion of x in x 17.737 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 17.737 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 17.737 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 17.737 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 17.737 * [taylor]: Taking taylor expansion of 1/3 in x 17.737 * [taylor]: Taking taylor expansion of (log x) in x 17.737 * [taylor]: Taking taylor expansion of x in x 17.871 * [approximate]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in (x) around 0 17.871 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in x 17.871 * [taylor]: Taking taylor expansion of 2 in x 17.872 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 17.872 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 17.872 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 17.872 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 17.872 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 17.872 * [taylor]: Taking taylor expansion of 1/3 in x 17.872 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 17.872 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.872 * [taylor]: Taking taylor expansion of x in x 17.873 * [taylor]: Taking taylor expansion of x in x 17.873 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 x) 1/3)) x)) in x 17.873 * [taylor]: Taking taylor expansion of 2 in x 17.873 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 x) 1/3)) x) in x 17.873 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 17.873 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 17.873 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 17.873 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 17.873 * [taylor]: Taking taylor expansion of 1/3 in x 17.873 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 17.873 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.873 * [taylor]: Taking taylor expansion of x in x 17.874 * [taylor]: Taking taylor expansion of x in x 17.964 * [approximate]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in (x) around 0 17.964 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 17.964 * [taylor]: Taking taylor expansion of -2 in x 17.964 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 17.964 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 17.964 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 17.964 * [taylor]: Taking taylor expansion of (cbrt -1) in x 17.964 * [taylor]: Taking taylor expansion of -1 in x 17.965 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 17.965 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 17.965 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 17.965 * [taylor]: Taking taylor expansion of 1/3 in x 17.965 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 17.965 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.965 * [taylor]: Taking taylor expansion of x in x 17.966 * [taylor]: Taking taylor expansion of x in x 17.967 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x)) in x 17.967 * [taylor]: Taking taylor expansion of -2 in x 17.967 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 x) 1/3))) x) in x 17.967 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 17.967 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 17.967 * [taylor]: Taking taylor expansion of (cbrt -1) in x 17.967 * [taylor]: Taking taylor expansion of -1 in x 17.968 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 17.968 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 17.968 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 17.968 * [taylor]: Taking taylor expansion of 1/3 in x 17.968 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 17.968 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.968 * [taylor]: Taking taylor expansion of x in x 17.969 * [taylor]: Taking taylor expansion of x in x 18.088 * * * [progress]: simplifying candidates 18.090 * [simplify]: Simplifying using # : (expm1 (pow (/ 1 x) -1/3)) (log1p (pow (/ 1 x) -1/3)) (* (- (log x)) -1/3) (* (- 0 (log x)) -1/3) (* (- (log 1) (log x)) -1/3) (* (log (/ 1 x)) -1/3) (* (log (/ 1 x)) -1/3) (* -1 -1/3) (* (- 1) -1/3) (* 1 -1/3) (pow (/ 1 x) (* (cbrt -1/3) (cbrt -1/3))) (pow (/ 1 x) (sqrt -1/3)) (pow (/ 1 x) 1) (pow (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) -1/3) (pow (cbrt (/ 1 x)) -1/3) (pow (sqrt (/ 1 x)) -1/3) (pow (sqrt (/ 1 x)) -1/3) (pow (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) -1/3) (pow (/ (cbrt 1) (cbrt x)) -1/3) (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) -1/3) (pow (/ (cbrt 1) (sqrt x)) -1/3) (pow (/ (* (cbrt 1) (cbrt 1)) 1) -1/3) (pow (/ (cbrt 1) x) -1/3) (pow (/ (sqrt 1) (* (cbrt x) (cbrt x))) -1/3) (pow (/ (sqrt 1) (cbrt x)) -1/3) (pow (/ (sqrt 1) (sqrt x)) -1/3) (pow (/ (sqrt 1) (sqrt x)) -1/3) (pow (/ (sqrt 1) 1) -1/3) (pow (/ (sqrt 1) x) -1/3) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/3) (pow (/ 1 (cbrt x)) -1/3) (pow (/ 1 (sqrt x)) -1/3) (pow (/ 1 (sqrt x)) -1/3) (pow (/ 1 1) -1/3) (pow (/ 1 x) -1/3) (pow 1 -1/3) (pow (/ 1 x) -1/3) (pow 1 -1/3) (pow (/ 1 x) -1/3) (log (pow (/ 1 x) -1/3)) (exp (pow (/ 1 x) -1/3)) (* (cbrt (pow (/ 1 x) -1/3)) (cbrt (pow (/ 1 x) -1/3))) (cbrt (pow (/ 1 x) -1/3)) (* (* (pow (/ 1 x) -1/3) (pow (/ 1 x) -1/3)) (pow (/ 1 x) -1/3)) (sqrt (pow (/ 1 x) -1/3)) (sqrt (pow (/ 1 x) -1/3)) (pow (/ 1 x) (/ -1/3 2)) (pow (/ 1 x) (/ -1/3 2)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (+ (* (* 2 (log (cbrt x))) x) (* x (log (pow (/ 1 x) -1/3))))) (log1p (+ (* (* 2 (log (cbrt x))) x) (* x (log (pow (/ 1 x) -1/3))))) (* (exp (* (* 2 (log (cbrt x))) x)) (exp (* x (log (pow (/ 1 x) -1/3))))) (log (+ (* (* 2 (log (cbrt x))) x) (* x (log (pow (/ 1 x) -1/3))))) (exp (+ (* (* 2 (log (cbrt x))) x) (* x (log (pow (/ 1 x) -1/3))))) (* (cbrt (+ (* (* 2 (log (cbrt x))) x) (* x (log (pow (/ 1 x) -1/3))))) (cbrt (+ (* (* 2 (log (cbrt x))) x) (* x (log (pow (/ 1 x) -1/3)))))) (cbrt (+ (* (* 2 (log (cbrt x))) x) (* x (log (pow (/ 1 x) -1/3))))) (* (* (+ (* (* 2 (log (cbrt x))) x) (* x (log (pow (/ 1 x) -1/3)))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (pow (/ 1 x) -1/3))))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (pow (/ 1 x) -1/3))))) (sqrt (+ (* (* 2 (log (cbrt x))) x) (* x (log (pow (/ 1 x) -1/3))))) (sqrt (+ (* (* 2 (log (cbrt x))) x) (* x (log (pow (/ 1 x) -1/3))))) (+ (pow (* (* 2 (log (cbrt x))) x) 3) (pow (* x (log (pow (/ 1 x) -1/3))) 3)) (+ (* (* (* 2 (log (cbrt x))) x) (* (* 2 (log (cbrt x))) x)) (- (* (* x (log (pow (/ 1 x) -1/3))) (* x (log (pow (/ 1 x) -1/3)))) (* (* (* 2 (log (cbrt x))) x) (* x (log (pow (/ 1 x) -1/3)))))) (- (* (* (* 2 (log (cbrt x))) x) (* (* 2 (log (cbrt x))) x)) (* (* x (log (pow (/ 1 x) -1/3))) (* x (log (pow (/ 1 x) -1/3))))) (- (* (* 2 (log (cbrt x))) x) (* x (log (pow (/ 1 x) -1/3)))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (pow (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) -1/3)))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (pow (sqrt (/ 1 x)) -1/3)))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (pow (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) -1/3)))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) -1/3)))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (pow (/ (* (cbrt 1) (cbrt 1)) 1) -1/3)))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (pow (/ (sqrt 1) (* (cbrt x) (cbrt x))) -1/3)))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (pow (/ (sqrt 1) (sqrt x)) -1/3)))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (pow (/ (sqrt 1) 1) -1/3)))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (pow (/ 1 (* (cbrt x) (cbrt x))) -1/3)))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (pow (/ 1 (sqrt x)) -1/3)))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (pow (/ 1 1) -1/3)))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (pow 1 -1/3)))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (pow 1 -1/3)))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (* (cbrt (pow (/ 1 x) -1/3)) (cbrt (pow (/ 1 x) -1/3)))))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (sqrt (pow (/ 1 x) -1/3))))) (+ (* (* 2 (log (cbrt x))) x) (* x (log 1))) (+ (* (* 2 (log (cbrt x))) x) (* x (log (pow (/ 1 x) (/ -1/3 2))))) (+ (* (* 2 (log (cbrt x))) x) (* (log (pow (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) -1/3)) x)) (+ (* (* 2 (log (cbrt x))) x) (* (log (pow (sqrt (/ 1 x)) -1/3)) x)) (+ (* (* 2 (log (cbrt x))) x) (* (log (pow (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) -1/3)) x)) (+ (* (* 2 (log (cbrt x))) x) (* (log (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) -1/3)) x)) (+ (* (* 2 (log (cbrt x))) x) (* (log (pow (/ (* (cbrt 1) (cbrt 1)) 1) -1/3)) x)) (+ (* (* 2 (log (cbrt x))) x) (* (log (pow (/ (sqrt 1) (* (cbrt x) (cbrt x))) -1/3)) x)) (+ (* (* 2 (log (cbrt x))) x) (* (log (pow (/ (sqrt 1) (sqrt x)) -1/3)) x)) (+ (* (* 2 (log (cbrt x))) x) (* (log (pow (/ (sqrt 1) 1) -1/3)) x)) (+ (* (* 2 (log (cbrt x))) x) (* (log (pow (/ 1 (* (cbrt x) (cbrt x))) -1/3)) x)) (+ (* (* 2 (log (cbrt x))) x) (* (log (pow (/ 1 (sqrt x)) -1/3)) x)) (+ (* (* 2 (log (cbrt x))) x) (* (log (pow (/ 1 1) -1/3)) x)) (+ (* (* 2 (log (cbrt x))) x) (* (log (pow 1 -1/3)) x)) (+ (* (* 2 (log (cbrt x))) x) (* (log (pow 1 -1/3)) x)) (+ (* (* 2 (log (cbrt x))) x) (* (log (* (cbrt (pow (/ 1 x) -1/3)) (cbrt (pow (/ 1 x) -1/3)))) x)) (+ (* (* 2 (log (cbrt x))) x) (* (log (sqrt (pow (/ 1 x) -1/3))) x)) (+ (* (* 2 (log (cbrt x))) x) (* (log 1) x)) (+ (* (* 2 (log (cbrt x))) x) (* (log (pow (/ 1 x) (/ -1/3 2))) 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) (exp (* -1/3 (+ (log -1) (log (/ -1 x))))) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (* 3 (* x (log (pow x 1/3)))) (* 3 (* (log (pow (/ 1 x) -1/3)) x)) (* -1 (* (- (+ (* 1/3 (log -1)) (* 1/3 (log (/ -1 x)))) (* 2 (log (* (pow (* -1 x) 1/3) (cbrt -1))))) x)) (* 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))))) 18.096 * * [simplify]: iteration 0 : 255 enodes (cost 1659 ) 18.149 * * [simplify]: iteration 1 : 610 enodes (cost 1396 ) 18.327 * * [simplify]: iteration 2 : 2240 enodes (cost 1095 ) 19.548 * * [simplify]: iteration done : 5001 enodes (cost 1093 ) 19.549 * [simplify]: Simplified to: (expm1 (pow (/ 1 x) -1/3)) (log1p (pow (/ 1 x) -1/3)) (log (cbrt x)) (log (cbrt x)) (log (cbrt x)) (log (cbrt x)) (log (cbrt x)) 1/3 1/3 -1/3 (pow (/ 1 x) (* (cbrt -1/3) (cbrt -1/3))) (pow (/ 1 x) (sqrt -1/3)) (/ 1 x) (pow (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) -1/3) (pow (cbrt (/ 1 x)) -1/3) (pow (sqrt (/ 1 x)) -1/3) (pow (sqrt (/ 1 x)) -1/3) (pow (/ 1 (pow x 2/3)) -1/3) (pow (/ 1 (cbrt x)) -1/3) (pow (/ 1 (sqrt x)) -1/3) (pow (/ 1 (sqrt x)) -1/3) 1 (pow (/ 1 x) -1/3) (pow (/ 1 (pow x 2/3)) -1/3) (pow (/ 1 (cbrt x)) -1/3) (pow (/ 1 (sqrt x)) -1/3) (pow (/ 1 (sqrt x)) -1/3) 1 (pow (/ 1 x) -1/3) (pow (/ 1 (pow x 2/3)) -1/3) (pow (/ 1 (cbrt x)) -1/3) (pow (/ 1 (sqrt x)) -1/3) (pow (/ 1 (sqrt x)) -1/3) 1 (pow (/ 1 x) -1/3) 1 (pow (/ 1 x) -1/3) 1 (pow (/ 1 x) -1/3) (log (cbrt x)) (exp (pow (/ 1 x) -1/3)) (* (cbrt (pow (/ 1 x) -1/3)) (cbrt (pow (/ 1 x) -1/3))) (cbrt (pow (/ 1 x) -1/3)) (pow (pow (/ 1 x) -1/3) 3) (sqrt (pow (/ 1 x) -1/3)) (sqrt (pow (/ 1 x) -1/3)) (pow (/ 1 x) -1/6) (pow (/ 1 x) -1/6) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (pow (cbrt x) 3) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (* x (+ (* 2/3 (log x)) (log (cbrt x))))) (log1p (* x (+ (* 2/3 (log x)) (log (cbrt x))))) (exp (* x (+ (* 2/3 (log x)) (log (cbrt x))))) (log (* x (+ (* 2/3 (log x)) (log (cbrt x))))) (exp (* x (+ (* 2/3 (log x)) (log (cbrt x))))) (* (cbrt (* x (+ (* 2/3 (log x)) (log (cbrt x))))) (cbrt (* x (+ (* 2/3 (log x)) (log (cbrt x)))))) (cbrt (* x (+ (* 2/3 (log x)) (log (cbrt x))))) (pow (* x (+ (* 2/3 (log x)) (log (cbrt x)))) 3) (sqrt (* x (+ (* 2/3 (log x)) (log (cbrt x))))) (sqrt (* x (+ (* 2/3 (log x)) (log (cbrt x))))) (+ (pow (* x (* 2/3 (log x))) 3) (pow (* (log (cbrt x)) x) 3)) (fma (* (log (cbrt x)) x) (* x (- (log (cbrt x)) (* 2/3 (log x)))) (* (* 4 (* (log (cbrt x)) (log (cbrt x)))) (* x x))) (* (* x (+ (* 2/3 (log x)) (log (cbrt x)))) (* x (- (* 2/3 (log x)) (log (cbrt x))))) (* x (- (* 2/3 (log x)) (log (cbrt x)))) (* (fma (log (cbrt x)) 2 (log (pow (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) -1/3))) x) (* x (fma 2 (log (cbrt x)) (log (pow (sqrt (/ 1 x)) -1/3)))) (* x (+ (* 2/3 (log x)) (* -1/3 (- (log (pow x 2/3)))))) (* x (+ (* 2/3 (log x)) (* (- (log (sqrt x))) -1/3))) (* x (* 2/3 (log x))) (* x (+ (* 2/3 (log x)) (* -1/3 (- (log (pow x 2/3)))))) (* x (+ (* 2/3 (log x)) (* (- (log (sqrt x))) -1/3))) (* x (* 2/3 (log x))) (* x (+ (* 2/3 (log x)) (* -1/3 (- (log (pow x 2/3)))))) (* x (+ (* 2/3 (log x)) (* (- (log (sqrt x))) -1/3))) (* x (* 2/3 (log x))) (* x (* 2/3 (log x))) (* x (* 2/3 (log x))) (* x (fma 2 (log (cbrt x)) (* 2 (log (cbrt (pow (/ 1 x) -1/3)))))) (* x (fma (log (cbrt x)) 2 (log (sqrt (pow (/ 1 x) -1/3))))) (* x (* 2/3 (log x))) (* (- (* 2/3 (log x)) (* -1/6 (log x))) x) (* (fma (log (cbrt x)) 2 (log (pow (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) -1/3))) x) (* x (fma 2 (log (cbrt x)) (log (pow (sqrt (/ 1 x)) -1/3)))) (* x (+ (* 2/3 (log x)) (* -1/3 (- (log (pow x 2/3)))))) (* x (+ (* 2/3 (log x)) (* (- (log (sqrt x))) -1/3))) (* x (* 2/3 (log x))) (* x (+ (* 2/3 (log x)) (* -1/3 (- (log (pow x 2/3)))))) (* x (+ (* 2/3 (log x)) (* (- (log (sqrt x))) -1/3))) (* x (* 2/3 (log x))) (* x (+ (* 2/3 (log x)) (* -1/3 (- (log (pow x 2/3)))))) (* x (+ (* 2/3 (log x)) (* (- (log (sqrt x))) -1/3))) (* x (* 2/3 (log x))) (* x (* 2/3 (log x))) (* x (* 2/3 (log x))) (* x (fma 2 (log (cbrt x)) (* 2 (log (cbrt (pow (/ 1 x) -1/3)))))) (* x (fma (log (cbrt x)) 2 (log (sqrt (pow (/ 1 x) -1/3))))) (* x (* 2/3 (log x))) (* (- (* 2/3 (log x)) (* -1/6 (log x))) x) (expm1 (* x (* 2/3 (log x)))) (log1p (* x (* 2/3 (log x)))) (* x (* 2/3 (log x))) (* x (* 2/3 (log x))) (log (* x (* 2/3 (log x)))) (log (* x (* 2/3 (log x)))) (log (* x (* 2/3 (log x)))) (pow (pow (cbrt x) 2) x) (pow (* x (* 2/3 (log x))) 3) (pow (* x (* 2/3 (log x))) 3) (* (cbrt (* x (* 2/3 (log x)))) (cbrt (* x (* 2/3 (log x))))) (cbrt (* x (* 2/3 (log x)))) (pow (* x (* 2/3 (log x))) 3) (sqrt (* x (* 2/3 (log x)))) (sqrt (* x (* 2/3 (log x)))) (* (pow x 2/3) (* 2/3 (log x))) (* (* 2/3 (log x)) (sqrt x)) (* 2/3 (log x)) (* (log (cbrt x)) x) (cbrt x) (pow (/ 1 x) -1/3) (exp (* -1/3 (+ (log -1) (log (/ -1 x))))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) (* (* (log (cbrt x)) x) 3) (* (* (log (cbrt x)) x) 3) (* (fma 1/3 (+ (log -1) (log (/ -1 x))) (* -2 (log (* (cbrt (- x)) (cbrt -1))))) (- x)) (* x (* 2/3 (log x))) (* x (* 2/3 (log x))) (* (* 2 x) (log (* (cbrt (- x)) (cbrt -1)))) 19.550 * * * [progress]: adding candidates to table 19.866 * * [progress]: iteration 4 / 4 19.866 * * * [progress]: picking best candidate 19.873 * * * * [pick]: Picked # 19.873 * * * [progress]: localizing error 19.894 * * * [progress]: generating rewritten candidates 19.894 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 1) 19.898 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 3 1 1) 19.901 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1) 19.902 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 19.905 * * * [progress]: generating series expansions 19.905 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 1) 19.905 * [approximate]: Taking taylor expansion of (pow (/ 1 x) -1/3) in (x) around 0 19.905 * [taylor]: Taking taylor expansion of (pow (/ 1 x) -1/3) in x 19.905 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (/ 1 x)))) in x 19.905 * [taylor]: Taking taylor expansion of (* -1/3 (log (/ 1 x))) in x 19.905 * [taylor]: Taking taylor expansion of -1/3 in x 19.905 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 19.905 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.905 * [taylor]: Taking taylor expansion of x in x 19.906 * [taylor]: Taking taylor expansion of (pow (/ 1 x) -1/3) in x 19.906 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (/ 1 x)))) in x 19.906 * [taylor]: Taking taylor expansion of (* -1/3 (log (/ 1 x))) in x 19.906 * [taylor]: Taking taylor expansion of -1/3 in x 19.906 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 19.906 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.906 * [taylor]: Taking taylor expansion of x in x 19.964 * [approximate]: Taking taylor expansion of (pow x -1/3) in (x) around 0 19.964 * [taylor]: Taking taylor expansion of (pow x -1/3) in x 19.964 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log x))) in x 19.964 * [taylor]: Taking taylor expansion of (* -1/3 (log x)) in x 19.964 * [taylor]: Taking taylor expansion of -1/3 in x 19.964 * [taylor]: Taking taylor expansion of (log x) in x 19.964 * [taylor]: Taking taylor expansion of x in x 19.964 * [taylor]: Taking taylor expansion of (pow x -1/3) in x 19.964 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log x))) in x 19.964 * [taylor]: Taking taylor expansion of (* -1/3 (log x)) in x 19.964 * [taylor]: Taking taylor expansion of -1/3 in x 19.964 * [taylor]: Taking taylor expansion of (log x) in x 19.964 * [taylor]: Taking taylor expansion of x in x 20.019 * [approximate]: Taking taylor expansion of (pow (* -1 x) -1/3) in (x) around 0 20.020 * [taylor]: Taking taylor expansion of (pow (* -1 x) -1/3) in x 20.020 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (* -1 x)))) in x 20.020 * [taylor]: Taking taylor expansion of (* -1/3 (log (* -1 x))) in x 20.020 * [taylor]: Taking taylor expansion of -1/3 in x 20.020 * [taylor]: Taking taylor expansion of (log (* -1 x)) in x 20.020 * [taylor]: Taking taylor expansion of (* -1 x) in x 20.020 * [taylor]: Taking taylor expansion of -1 in x 20.020 * [taylor]: Taking taylor expansion of x in x 20.022 * [taylor]: Taking taylor expansion of (pow (* -1 x) -1/3) in x 20.022 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (* -1 x)))) in x 20.022 * [taylor]: Taking taylor expansion of (* -1/3 (log (* -1 x))) in x 20.022 * [taylor]: Taking taylor expansion of -1/3 in x 20.022 * [taylor]: Taking taylor expansion of (log (* -1 x)) in x 20.022 * [taylor]: Taking taylor expansion of (* -1 x) in x 20.022 * [taylor]: Taking taylor expansion of -1 in x 20.022 * [taylor]: Taking taylor expansion of x in x 20.084 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 3 1 1) 20.084 * [approximate]: Taking taylor expansion of (pow (/ 1 x) -1/3) in (x) around 0 20.084 * [taylor]: Taking taylor expansion of (pow (/ 1 x) -1/3) in x 20.084 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (/ 1 x)))) in x 20.084 * [taylor]: Taking taylor expansion of (* -1/3 (log (/ 1 x))) in x 20.084 * [taylor]: Taking taylor expansion of -1/3 in x 20.084 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 20.084 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.084 * [taylor]: Taking taylor expansion of x in x 20.085 * [taylor]: Taking taylor expansion of (pow (/ 1 x) -1/3) in x 20.085 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (/ 1 x)))) in x 20.085 * [taylor]: Taking taylor expansion of (* -1/3 (log (/ 1 x))) in x 20.085 * [taylor]: Taking taylor expansion of -1/3 in x 20.085 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 20.085 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.085 * [taylor]: Taking taylor expansion of x in x 20.145 * [approximate]: Taking taylor expansion of (pow x -1/3) in (x) around 0 20.145 * [taylor]: Taking taylor expansion of (pow x -1/3) in x 20.145 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log x))) in x 20.145 * [taylor]: Taking taylor expansion of (* -1/3 (log x)) in x 20.145 * [taylor]: Taking taylor expansion of -1/3 in x 20.145 * [taylor]: Taking taylor expansion of (log x) in x 20.145 * [taylor]: Taking taylor expansion of x in x 20.146 * [taylor]: Taking taylor expansion of (pow x -1/3) in x 20.146 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log x))) in x 20.146 * [taylor]: Taking taylor expansion of (* -1/3 (log x)) in x 20.146 * [taylor]: Taking taylor expansion of -1/3 in x 20.146 * [taylor]: Taking taylor expansion of (log x) in x 20.146 * [taylor]: Taking taylor expansion of x in x 20.202 * [approximate]: Taking taylor expansion of (pow (* -1 x) -1/3) in (x) around 0 20.202 * [taylor]: Taking taylor expansion of (pow (* -1 x) -1/3) in x 20.202 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (* -1 x)))) in x 20.202 * [taylor]: Taking taylor expansion of (* -1/3 (log (* -1 x))) in x 20.202 * [taylor]: Taking taylor expansion of -1/3 in x 20.202 * [taylor]: Taking taylor expansion of (log (* -1 x)) in x 20.202 * [taylor]: Taking taylor expansion of (* -1 x) in x 20.202 * [taylor]: Taking taylor expansion of -1 in x 20.202 * [taylor]: Taking taylor expansion of x in x 20.204 * [taylor]: Taking taylor expansion of (pow (* -1 x) -1/3) in x 20.204 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (* -1 x)))) in x 20.204 * [taylor]: Taking taylor expansion of (* -1/3 (log (* -1 x))) in x 20.204 * [taylor]: Taking taylor expansion of -1/3 in x 20.205 * [taylor]: Taking taylor expansion of (log (* -1 x)) in x 20.205 * [taylor]: Taking taylor expansion of (* -1 x) in x 20.205 * [taylor]: Taking taylor expansion of -1 in x 20.205 * [taylor]: Taking taylor expansion of x in x 20.271 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1) 20.271 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 20.271 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 20.271 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 20.271 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 20.271 * [taylor]: Taking taylor expansion of 1/3 in x 20.271 * [taylor]: Taking taylor expansion of (log x) in x 20.271 * [taylor]: Taking taylor expansion of x in x 20.272 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 20.272 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 20.272 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 20.272 * [taylor]: Taking taylor expansion of 1/3 in x 20.272 * [taylor]: Taking taylor expansion of (log x) in x 20.272 * [taylor]: Taking taylor expansion of x in x 20.322 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 20.322 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 20.322 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 20.322 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 20.322 * [taylor]: Taking taylor expansion of 1/3 in x 20.322 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 20.322 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.322 * [taylor]: Taking taylor expansion of x in x 20.323 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 20.323 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 20.323 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 20.323 * [taylor]: Taking taylor expansion of 1/3 in x 20.323 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 20.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.323 * [taylor]: Taking taylor expansion of x in x 20.386 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 20.386 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 20.386 * [taylor]: Taking taylor expansion of (cbrt -1) in x 20.386 * [taylor]: Taking taylor expansion of -1 in x 20.387 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 20.387 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 20.387 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 20.387 * [taylor]: Taking taylor expansion of 1/3 in x 20.387 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 20.387 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.387 * [taylor]: Taking taylor expansion of x in x 20.388 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 20.388 * [taylor]: Taking taylor expansion of (cbrt -1) in x 20.388 * [taylor]: Taking taylor expansion of -1 in x 20.388 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 20.388 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 20.388 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 20.388 * [taylor]: Taking taylor expansion of 1/3 in x 20.388 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 20.388 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.388 * [taylor]: Taking taylor expansion of x in x 20.459 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 20.459 * [approximate]: Taking taylor expansion of (fma (log (pow x 1/3)) 2 (log (pow x 1/6))) in (x) around 0 20.459 * [taylor]: Taking taylor expansion of (fma (log (pow x 1/3)) 2 (log (pow x 1/6))) in x 20.461 * [taylor]: Rewrote expression to (+ (* (log (pow x 1/3)) 2) (log (pow x 1/6))) 20.461 * [taylor]: Taking taylor expansion of (* (log (pow x 1/3)) 2) in x 20.461 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 20.461 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 20.461 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 20.461 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 20.461 * [taylor]: Taking taylor expansion of 1/3 in x 20.461 * [taylor]: Taking taylor expansion of (log x) in x 20.461 * [taylor]: Taking taylor expansion of x in x 20.461 * [taylor]: Taking taylor expansion of 2 in x 20.462 * [taylor]: Taking taylor expansion of (log (pow x 1/6)) in x 20.462 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 20.462 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 20.462 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 20.462 * [taylor]: Taking taylor expansion of 1/6 in x 20.462 * [taylor]: Taking taylor expansion of (log x) in x 20.462 * [taylor]: Taking taylor expansion of x in x 20.462 * [taylor]: Taking taylor expansion of (fma (log (pow x 1/3)) 2 (log (pow x 1/6))) in x 20.462 * [taylor]: Rewrote expression to (+ (* (log (pow x 1/3)) 2) (log (pow x 1/6))) 20.462 * [taylor]: Taking taylor expansion of (* (log (pow x 1/3)) 2) in x 20.462 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x 20.462 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 20.462 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 20.462 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 20.462 * [taylor]: Taking taylor expansion of 1/3 in x 20.462 * [taylor]: Taking taylor expansion of (log x) in x 20.463 * [taylor]: Taking taylor expansion of x in x 20.463 * [taylor]: Taking taylor expansion of 2 in x 20.463 * [taylor]: Taking taylor expansion of (log (pow x 1/6)) in x 20.463 * [taylor]: Taking taylor expansion of (pow x 1/6) in x 20.463 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log x))) in x 20.463 * [taylor]: Taking taylor expansion of (* 1/6 (log x)) in x 20.463 * [taylor]: Taking taylor expansion of 1/6 in x 20.463 * [taylor]: Taking taylor expansion of (log x) in x 20.463 * [taylor]: Taking taylor expansion of x in x 20.612 * [approximate]: Taking taylor expansion of (fma (log (pow (/ 1 x) 1/3)) 2 (log (pow (/ 1 x) 1/6))) in (x) around 0 20.612 * [taylor]: Taking taylor expansion of (fma (log (pow (/ 1 x) 1/3)) 2 (log (pow (/ 1 x) 1/6))) in x 20.612 * [taylor]: Rewrote expression to (+ (* (log (pow (/ 1 x) 1/3)) 2) (log (pow (/ 1 x) 1/6))) 20.612 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 x) 1/3)) 2) in x 20.612 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 20.612 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 20.612 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 20.612 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 20.612 * [taylor]: Taking taylor expansion of 1/3 in x 20.613 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 20.613 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.613 * [taylor]: Taking taylor expansion of x in x 20.613 * [taylor]: Taking taylor expansion of 2 in x 20.614 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/6)) in x 20.614 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 20.614 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 20.614 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 20.614 * [taylor]: Taking taylor expansion of 1/6 in x 20.614 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 20.614 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.614 * [taylor]: Taking taylor expansion of x in x 20.614 * [taylor]: Taking taylor expansion of (fma (log (pow (/ 1 x) 1/3)) 2 (log (pow (/ 1 x) 1/6))) in x 20.615 * [taylor]: Rewrote expression to (+ (* (log (pow (/ 1 x) 1/3)) 2) (log (pow (/ 1 x) 1/6))) 20.615 * [taylor]: Taking taylor expansion of (* (log (pow (/ 1 x) 1/3)) 2) in x 20.615 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x 20.615 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 20.615 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 20.615 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 20.615 * [taylor]: Taking taylor expansion of 1/3 in x 20.615 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 20.615 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.615 * [taylor]: Taking taylor expansion of x in x 20.616 * [taylor]: Taking taylor expansion of 2 in x 20.616 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/6)) in x 20.616 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/6) in x 20.616 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 x)))) in x 20.616 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 x))) in x 20.616 * [taylor]: Taking taylor expansion of 1/6 in x 20.616 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 20.616 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.616 * [taylor]: Taking taylor expansion of x in x 20.792 * [approximate]: Taking taylor expansion of (fma (log (* (cbrt -1) (pow (/ 1 x) 1/3))) 2 (log (pow (/ 1 (* -1 x)) 1/6))) in (x) around 0 20.792 * [taylor]: Taking taylor expansion of (fma (log (* (cbrt -1) (pow (/ 1 x) 1/3))) 2 (log (pow (/ 1 (* -1 x)) 1/6))) in x 20.792 * [taylor]: Rewrote expression to (+ (* (log (* (cbrt -1) (pow (/ 1 x) 1/3))) 2) (log (pow (/ 1 (* -1 x)) 1/6))) 20.792 * [taylor]: Taking taylor expansion of (* (log (* (cbrt -1) (pow (/ 1 x) 1/3))) 2) in x 20.792 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 20.792 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 20.792 * [taylor]: Taking taylor expansion of (cbrt -1) in x 20.792 * [taylor]: Taking taylor expansion of -1 in x 20.794 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 20.794 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 20.794 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 20.794 * [taylor]: Taking taylor expansion of 1/3 in x 20.794 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 20.794 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.794 * [taylor]: Taking taylor expansion of x in x 20.796 * [taylor]: Taking taylor expansion of 2 in x 20.796 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* -1 x)) 1/6)) in x 20.796 * [taylor]: Taking taylor expansion of (pow (/ 1 (* -1 x)) 1/6) in x 20.796 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 (* -1 x))))) in x 20.797 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 (* -1 x)))) in x 20.797 * [taylor]: Taking taylor expansion of 1/6 in x 20.797 * [taylor]: Taking taylor expansion of (log (/ 1 (* -1 x))) in x 20.797 * [taylor]: Taking taylor expansion of (/ 1 (* -1 x)) in x 20.797 * [taylor]: Taking taylor expansion of (* -1 x) in x 20.797 * [taylor]: Taking taylor expansion of -1 in x 20.797 * [taylor]: Taking taylor expansion of x in x 20.801 * [taylor]: Taking taylor expansion of (fma (log (* (cbrt -1) (pow (/ 1 x) 1/3))) 2 (log (pow (/ 1 (* -1 x)) 1/6))) in x 20.801 * [taylor]: Rewrote expression to (+ (* (log (* (cbrt -1) (pow (/ 1 x) 1/3))) 2) (log (pow (/ 1 (* -1 x)) 1/6))) 20.801 * [taylor]: Taking taylor expansion of (* (log (* (cbrt -1) (pow (/ 1 x) 1/3))) 2) in x 20.801 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 20.801 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 20.801 * [taylor]: Taking taylor expansion of (cbrt -1) in x 20.801 * [taylor]: Taking taylor expansion of -1 in x 20.802 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 20.802 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 20.802 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 20.802 * [taylor]: Taking taylor expansion of 1/3 in x 20.802 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 20.802 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.802 * [taylor]: Taking taylor expansion of x in x 20.804 * [taylor]: Taking taylor expansion of 2 in x 20.804 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* -1 x)) 1/6)) in x 20.804 * [taylor]: Taking taylor expansion of (pow (/ 1 (* -1 x)) 1/6) in x 20.804 * [taylor]: Taking taylor expansion of (exp (* 1/6 (log (/ 1 (* -1 x))))) in x 20.804 * [taylor]: Taking taylor expansion of (* 1/6 (log (/ 1 (* -1 x)))) in x 20.804 * [taylor]: Taking taylor expansion of 1/6 in x 20.804 * [taylor]: Taking taylor expansion of (log (/ 1 (* -1 x))) in x 20.804 * [taylor]: Taking taylor expansion of (/ 1 (* -1 x)) in x 20.804 * [taylor]: Taking taylor expansion of (* -1 x) in x 20.804 * [taylor]: Taking taylor expansion of -1 in x 20.804 * [taylor]: Taking taylor expansion of x in x 21.011 * * * [progress]: simplifying candidates 21.013 * [simplify]: Simplifying using # : (expm1 (pow (/ 1 x) -1/3)) (log1p (pow (/ 1 x) -1/3)) (* (- (log x)) -1/3) (* (- 0 (log x)) -1/3) (* (- (log 1) (log x)) -1/3) (* (log (/ 1 x)) -1/3) (* (log (/ 1 x)) -1/3) (* -1 -1/3) (* (- 1) -1/3) (* 1 -1/3) (pow (/ 1 x) (* (cbrt -1/3) (cbrt -1/3))) (pow (/ 1 x) (sqrt -1/3)) (pow (/ 1 x) 1) (pow (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) -1/3) (pow (cbrt (/ 1 x)) -1/3) (pow (sqrt (/ 1 x)) -1/3) (pow (sqrt (/ 1 x)) -1/3) (pow (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) -1/3) (pow (/ (cbrt 1) (cbrt x)) -1/3) (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) -1/3) (pow (/ (cbrt 1) (sqrt x)) -1/3) (pow (/ (* (cbrt 1) (cbrt 1)) 1) -1/3) (pow (/ (cbrt 1) x) -1/3) (pow (/ (sqrt 1) (* (cbrt x) (cbrt x))) -1/3) (pow (/ (sqrt 1) (cbrt x)) -1/3) (pow (/ (sqrt 1) (sqrt x)) -1/3) (pow (/ (sqrt 1) (sqrt x)) -1/3) (pow (/ (sqrt 1) 1) -1/3) (pow (/ (sqrt 1) x) -1/3) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/3) (pow (/ 1 (cbrt x)) -1/3) (pow (/ 1 (sqrt x)) -1/3) (pow (/ 1 (sqrt x)) -1/3) (pow (/ 1 1) -1/3) (pow (/ 1 x) -1/3) (pow 1 -1/3) (pow (/ 1 x) -1/3) (pow 1 -1/3) (pow (/ 1 x) -1/3) (log (pow (/ 1 x) -1/3)) (exp (pow (/ 1 x) -1/3)) (* (cbrt (pow (/ 1 x) -1/3)) (cbrt (pow (/ 1 x) -1/3))) (cbrt (pow (/ 1 x) -1/3)) (* (* (pow (/ 1 x) -1/3) (pow (/ 1 x) -1/3)) (pow (/ 1 x) -1/3)) (sqrt (pow (/ 1 x) -1/3)) (sqrt (pow (/ 1 x) -1/3)) (pow (/ 1 x) (/ -1/3 2)) (pow (/ 1 x) (/ -1/3 2)) (expm1 (pow (/ 1 x) -1/3)) (log1p (pow (/ 1 x) -1/3)) (* (- (log x)) -1/3) (* (- 0 (log x)) -1/3) (* (- (log 1) (log x)) -1/3) (* (log (/ 1 x)) -1/3) (* (log (/ 1 x)) -1/3) (* -1 -1/3) (* (- 1) -1/3) (* 1 -1/3) (pow (/ 1 x) (* (cbrt -1/3) (cbrt -1/3))) (pow (/ 1 x) (sqrt -1/3)) (pow (/ 1 x) 1) (pow (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) -1/3) (pow (cbrt (/ 1 x)) -1/3) (pow (sqrt (/ 1 x)) -1/3) (pow (sqrt (/ 1 x)) -1/3) (pow (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) -1/3) (pow (/ (cbrt 1) (cbrt x)) -1/3) (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) -1/3) (pow (/ (cbrt 1) (sqrt x)) -1/3) (pow (/ (* (cbrt 1) (cbrt 1)) 1) -1/3) (pow (/ (cbrt 1) x) -1/3) (pow (/ (sqrt 1) (* (cbrt x) (cbrt x))) -1/3) (pow (/ (sqrt 1) (cbrt x)) -1/3) (pow (/ (sqrt 1) (sqrt x)) -1/3) (pow (/ (sqrt 1) (sqrt x)) -1/3) (pow (/ (sqrt 1) 1) -1/3) (pow (/ (sqrt 1) x) -1/3) (pow (/ 1 (* (cbrt x) (cbrt x))) -1/3) (pow (/ 1 (cbrt x)) -1/3) (pow (/ 1 (sqrt x)) -1/3) (pow (/ 1 (sqrt x)) -1/3) (pow (/ 1 1) -1/3) (pow (/ 1 x) -1/3) (pow 1 -1/3) (pow (/ 1 x) -1/3) (pow 1 -1/3) (pow (/ 1 x) -1/3) (log (pow (/ 1 x) -1/3)) (exp (pow (/ 1 x) -1/3)) (* (cbrt (pow (/ 1 x) -1/3)) (cbrt (pow (/ 1 x) -1/3))) (cbrt (pow (/ 1 x) -1/3)) (* (* (pow (/ 1 x) -1/3) (pow (/ 1 x) -1/3)) (pow (/ 1 x) -1/3)) (sqrt (pow (/ 1 x) -1/3)) (sqrt (pow (/ 1 x) -1/3)) (pow (/ 1 x) (/ -1/3 2)) (pow (/ 1 x) (/ -1/3 2)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (fma (log (cbrt x)) 2 (log (sqrt (pow (/ 1 x) -1/3))))) (log1p (fma (log (cbrt x)) 2 (log (sqrt (pow (/ 1 x) -1/3))))) (* (log (cbrt x)) 2) (log (fma (log (cbrt x)) 2 (log (sqrt (pow (/ 1 x) -1/3))))) (exp (fma (log (cbrt x)) 2 (log (sqrt (pow (/ 1 x) -1/3))))) (* (cbrt (fma (log (cbrt x)) 2 (log (sqrt (pow (/ 1 x) -1/3))))) (cbrt (fma (log (cbrt x)) 2 (log (sqrt (pow (/ 1 x) -1/3)))))) (cbrt (fma (log (cbrt x)) 2 (log (sqrt (pow (/ 1 x) -1/3))))) (* (* (fma (log (cbrt x)) 2 (log (sqrt (pow (/ 1 x) -1/3)))) (fma (log (cbrt x)) 2 (log (sqrt (pow (/ 1 x) -1/3))))) (fma (log (cbrt x)) 2 (log (sqrt (pow (/ 1 x) -1/3))))) (sqrt (fma (log (cbrt x)) 2 (log (sqrt (pow (/ 1 x) -1/3))))) (sqrt (fma (log (cbrt x)) 2 (log (sqrt (pow (/ 1 x) -1/3))))) (pow x 1/3) (pow (/ 1 x) -1/3) (exp (* -1/3 (+ (log -1) (log (/ -1 x))))) (pow x 1/3) (pow (/ 1 x) -1/3) (exp (* -1/3 (+ (log -1) (log (/ -1 x))))) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (+ (* 2 (log (pow x 1/3))) (log (pow x 1/6))) (+ (log (pow (/ 1 x) -1/6)) (* 2 (log (pow (/ 1 x) -1/3)))) (- (+ (* 1/6 (log -1)) (* 2 (log (* (pow (* -1 x) 1/3) (cbrt -1))))) (* 1/6 (log (/ -1 x)))) 21.016 * * [simplify]: iteration 0 : 133 enodes (cost 963 ) 21.041 * * [simplify]: iteration 1 : 270 enodes (cost 846 ) 21.110 * * [simplify]: iteration 2 : 766 enodes (cost 744 ) 21.777 * * [simplify]: iteration 3 : 2590 enodes (cost 719 ) 23.424 * * [simplify]: iteration done : 5000 enodes (cost 719 ) 23.425 * [simplify]: Simplified to: (expm1 (pow (/ 1 x) -1/3)) (log1p (pow (/ 1 x) -1/3)) (log (cbrt x)) (log (cbrt x)) (log (cbrt x)) (log (cbrt x)) (log (cbrt x)) 1/3 1/3 -1/3 (pow (/ 1 x) (* (cbrt -1/3) (cbrt -1/3))) (pow (/ 1 x) (sqrt -1/3)) (/ 1 x) (pow (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) -1/3) (pow (cbrt (/ 1 x)) -1/3) (pow (sqrt (/ 1 x)) -1/3) (pow (sqrt (/ 1 x)) -1/3) (pow (/ 1 (pow x 2/3)) -1/3) (pow (/ 1 (cbrt x)) -1/3) (pow (/ 1 (sqrt x)) -1/3) (pow (/ 1 (sqrt x)) -1/3) 1 (pow (/ 1 x) -1/3) (pow (/ 1 (pow x 2/3)) -1/3) (pow (/ 1 (cbrt x)) -1/3) (pow (/ 1 (sqrt x)) -1/3) (pow (/ 1 (sqrt x)) -1/3) 1 (pow (/ 1 x) -1/3) (pow (/ 1 (pow x 2/3)) -1/3) (pow (/ 1 (cbrt x)) -1/3) (pow (/ 1 (sqrt x)) -1/3) (pow (/ 1 (sqrt x)) -1/3) 1 (pow (/ 1 x) -1/3) 1 (pow (/ 1 x) -1/3) 1 (pow (/ 1 x) -1/3) (log (cbrt x)) (exp (pow (/ 1 x) -1/3)) (* (cbrt (pow (/ 1 x) -1/3)) (cbrt (pow (/ 1 x) -1/3))) (cbrt (pow (/ 1 x) -1/3)) (pow (pow (/ 1 x) -1/3) 3) (sqrt (pow (/ 1 x) -1/3)) (sqrt (pow (/ 1 x) -1/3)) (pow (/ 1 x) -1/6) (pow (/ 1 x) -1/6) (expm1 (pow (/ 1 x) -1/3)) (log1p (pow (/ 1 x) -1/3)) (log (cbrt x)) (log (cbrt x)) (log (cbrt x)) (log (cbrt x)) (log (cbrt x)) 1/3 1/3 -1/3 (pow (/ 1 x) (* (cbrt -1/3) (cbrt -1/3))) (pow (/ 1 x) (sqrt -1/3)) (/ 1 x) (pow (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) -1/3) (pow (cbrt (/ 1 x)) -1/3) (pow (sqrt (/ 1 x)) -1/3) (pow (sqrt (/ 1 x)) -1/3) (pow (/ 1 (pow x 2/3)) -1/3) (pow (/ 1 (cbrt x)) -1/3) (pow (/ 1 (sqrt x)) -1/3) (pow (/ 1 (sqrt x)) -1/3) 1 (pow (/ 1 x) -1/3) (pow (/ 1 (pow x 2/3)) -1/3) (pow (/ 1 (cbrt x)) -1/3) (pow (/ 1 (sqrt x)) -1/3) (pow (/ 1 (sqrt x)) -1/3) 1 (pow (/ 1 x) -1/3) (pow (/ 1 (pow x 2/3)) -1/3) (pow (/ 1 (cbrt x)) -1/3) (pow (/ 1 (sqrt x)) -1/3) (pow (/ 1 (sqrt x)) -1/3) 1 (pow (/ 1 x) -1/3) 1 (pow (/ 1 x) -1/3) 1 (pow (/ 1 x) -1/3) (log (cbrt x)) (exp (pow (/ 1 x) -1/3)) (* (cbrt (pow (/ 1 x) -1/3)) (cbrt (pow (/ 1 x) -1/3))) (cbrt (pow (/ 1 x) -1/3)) (pow (pow (/ 1 x) -1/3) 3) (sqrt (pow (/ 1 x) -1/3)) (sqrt (pow (/ 1 x) -1/3)) (pow (/ 1 x) -1/6) (pow (/ 1 x) -1/6) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (fma 2/3 (log x) (log (sqrt (pow (/ 1 x) -1/3))))) (log1p (fma 2/3 (log x) (log (sqrt (pow (/ 1 x) -1/3))))) (* 2/3 (log x)) (log (fma 2/3 (log x) (log (sqrt (pow (/ 1 x) -1/3))))) (* (sqrt (pow (/ 1 x) -1/3)) (pow (cbrt x) 2)) (* (cbrt (fma 2/3 (log x) (log (sqrt (pow (/ 1 x) -1/3))))) (cbrt (fma 2/3 (log x) (log (sqrt (pow (/ 1 x) -1/3)))))) (cbrt (fma 2/3 (log x) (log (sqrt (pow (/ 1 x) -1/3))))) (pow (fma 2/3 (log x) (log (sqrt (pow (/ 1 x) -1/3)))) 3) (sqrt (fma 2/3 (log x) (log (sqrt (pow (/ 1 x) -1/3))))) (sqrt (fma 2/3 (log x) (log (sqrt (pow (/ 1 x) -1/3))))) (cbrt x) (pow (/ 1 x) -1/3) (* (pow -1 -1/3) (pow (/ -1 x) -1/3)) (cbrt x) (pow (/ 1 x) -1/3) (* (pow -1 -1/3) (pow (/ -1 x) -1/3)) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) (* (log x) 5/6) (* (log x) 5/6) (fma 2 (log (* (cbrt (- x)) (cbrt -1))) (* 1/6 (- (log -1) (log (/ -1 x))))) 23.425 * * * [progress]: adding candidates to table 23.706 * [progress]: [Phase 3 of 3] Extracting. 23.707 * * [regime]: Finding splitpoints for: (# # # # #) 23.708 * * * [regime-changes]: Trying 2 branch expressions: ((* x (log x)) x) 23.708 * * * * [regimes]: Trying to branch on (* x (log x)) from (# # # # #) 23.732 * * * * [regimes]: Trying to branch on x from (# # # # #) 23.754 * * * [regime]: Found split indices: #