8.935 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.028 * * * [progress]: [2/2] Setting up program. 0.030 * [progress]: [Phase 2 of 3] Improving. 0.031 * [simplify]: Simplifying using # : (- (- (* x (log y)) z) y) 0.032 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.033 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 0.035 * * [simplify]: iteration 2 : 29 enodes (cost 8 ) 0.038 * * [simplify]: iteration 3 : 47 enodes (cost 8 ) 0.044 * * [simplify]: iteration 4 : 58 enodes (cost 8 ) 0.051 * * [simplify]: iteration 5 : 66 enodes (cost 8 ) 0.058 * * [simplify]: iteration 6 : 89 enodes (cost 8 ) 0.070 * * [simplify]: iteration 7 : 127 enodes (cost 8 ) 0.092 * * [simplify]: iteration 8 : 156 enodes (cost 8 ) 0.115 * * [simplify]: iteration 9 : 160 enodes (cost 8 ) 0.140 * * [simplify]: iteration done : 160 enodes (cost 8 ) 0.140 * [simplify]: Simplified to: (- (- (* x (log y)) z) y) 0.140 * * [progress]: iteration 1 / 4 0.140 * * * [progress]: picking best candidate 0.142 * * * * [pick]: Picked # 0.142 * * * [progress]: localizing error 0.149 * * * [progress]: generating rewritten candidates 0.149 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 0.154 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.160 * * * [progress]: generating series expansions 0.160 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 0.160 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0 0.160 * [taylor]: Taking taylor expansion of (* x (log y)) in y 0.160 * [taylor]: Taking taylor expansion of x in y 0.160 * [taylor]: Taking taylor expansion of (log y) in y 0.160 * [taylor]: Taking taylor expansion of y in y 0.161 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.161 * [taylor]: Taking taylor expansion of x in x 0.161 * [taylor]: Taking taylor expansion of (log y) in x 0.161 * [taylor]: Taking taylor expansion of y in x 0.161 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.161 * [taylor]: Taking taylor expansion of x in x 0.161 * [taylor]: Taking taylor expansion of (log y) in x 0.161 * [taylor]: Taking taylor expansion of y in x 0.161 * [taylor]: Taking taylor expansion of 0 in y 0.162 * [taylor]: Taking taylor expansion of (log y) in y 0.162 * [taylor]: Taking taylor expansion of y in y 0.165 * [taylor]: Taking taylor expansion of 0 in y 0.169 * [taylor]: Taking taylor expansion of 0 in y 0.169 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0 0.169 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 0.169 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.169 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.169 * [taylor]: Taking taylor expansion of y in y 0.170 * [taylor]: Taking taylor expansion of x in y 0.170 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.170 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.170 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.170 * [taylor]: Taking taylor expansion of y in x 0.170 * [taylor]: Taking taylor expansion of x in x 0.170 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.170 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.170 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.170 * [taylor]: Taking taylor expansion of y in x 0.171 * [taylor]: Taking taylor expansion of x in x 0.171 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.171 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.171 * [taylor]: Taking taylor expansion of y in y 0.173 * [taylor]: Taking taylor expansion of 0 in y 0.176 * [taylor]: Taking taylor expansion of 0 in y 0.181 * [taylor]: Taking taylor expansion of 0 in y 0.181 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0 0.181 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y 0.181 * [taylor]: Taking taylor expansion of -1 in y 0.181 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 0.181 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.181 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.181 * [taylor]: Taking taylor expansion of -1 in y 0.181 * [taylor]: Taking taylor expansion of y in y 0.181 * [taylor]: Taking taylor expansion of x in y 0.183 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 0.183 * [taylor]: Taking taylor expansion of -1 in x 0.183 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.183 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.183 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.183 * [taylor]: Taking taylor expansion of -1 in x 0.183 * [taylor]: Taking taylor expansion of y in x 0.183 * [taylor]: Taking taylor expansion of x in x 0.183 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 0.183 * [taylor]: Taking taylor expansion of -1 in x 0.183 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.183 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.183 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.183 * [taylor]: Taking taylor expansion of -1 in x 0.183 * [taylor]: Taking taylor expansion of y in x 0.183 * [taylor]: Taking taylor expansion of x in x 0.184 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y 0.184 * [taylor]: Taking taylor expansion of -1 in y 0.184 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.184 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.184 * [taylor]: Taking taylor expansion of -1 in y 0.184 * [taylor]: Taking taylor expansion of y in y 0.187 * [taylor]: Taking taylor expansion of 0 in y 0.191 * [taylor]: Taking taylor expansion of 0 in y 0.202 * [taylor]: Taking taylor expansion of 0 in y 0.203 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.203 * [approximate]: Taking taylor expansion of (- (* x (log y)) z) in (x y z) around 0 0.203 * [taylor]: Taking taylor expansion of (- (* x (log y)) z) in z 0.203 * [taylor]: Taking taylor expansion of (* x (log y)) in z 0.203 * [taylor]: Taking taylor expansion of x in z 0.203 * [taylor]: Taking taylor expansion of (log y) in z 0.203 * [taylor]: Taking taylor expansion of y in z 0.203 * [taylor]: Taking taylor expansion of z in z 0.203 * [taylor]: Taking taylor expansion of (- (* x (log y)) z) in y 0.203 * [taylor]: Taking taylor expansion of (* x (log y)) in y 0.203 * [taylor]: Taking taylor expansion of x in y 0.203 * [taylor]: Taking taylor expansion of (log y) in y 0.203 * [taylor]: Taking taylor expansion of y in y 0.203 * [taylor]: Taking taylor expansion of z in y 0.203 * [taylor]: Taking taylor expansion of (- (* x (log y)) z) in x 0.203 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.203 * [taylor]: Taking taylor expansion of x in x 0.203 * [taylor]: Taking taylor expansion of (log y) in x 0.203 * [taylor]: Taking taylor expansion of y in x 0.203 * [taylor]: Taking taylor expansion of z in x 0.203 * [taylor]: Taking taylor expansion of (- (* x (log y)) z) in x 0.203 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.203 * [taylor]: Taking taylor expansion of x in x 0.203 * [taylor]: Taking taylor expansion of (log y) in x 0.204 * [taylor]: Taking taylor expansion of y in x 0.204 * [taylor]: Taking taylor expansion of z in x 0.204 * [taylor]: Taking taylor expansion of (- z) in y 0.204 * [taylor]: Taking taylor expansion of z in y 0.204 * [taylor]: Taking taylor expansion of (- z) in z 0.204 * [taylor]: Taking taylor expansion of z in z 0.205 * [taylor]: Taking taylor expansion of (log y) in y 0.205 * [taylor]: Taking taylor expansion of y in y 0.206 * [taylor]: Taking taylor expansion of (log y) in z 0.206 * [taylor]: Taking taylor expansion of y in z 0.206 * [taylor]: Taking taylor expansion of 0 in z 0.209 * [taylor]: Taking taylor expansion of 0 in y 0.209 * [taylor]: Taking taylor expansion of 0 in z 0.210 * [taylor]: Taking taylor expansion of 0 in z 0.210 * [taylor]: Taking taylor expansion of 0 in z 0.211 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in (x y z) around 0 0.211 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in z 0.211 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z 0.211 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 0.211 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.211 * [taylor]: Taking taylor expansion of y in z 0.211 * [taylor]: Taking taylor expansion of x in z 0.211 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.211 * [taylor]: Taking taylor expansion of z in z 0.212 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in y 0.212 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 0.212 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.212 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.212 * [taylor]: Taking taylor expansion of y in y 0.212 * [taylor]: Taking taylor expansion of x in y 0.213 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.213 * [taylor]: Taking taylor expansion of z in y 0.213 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in x 0.213 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.213 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.213 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.213 * [taylor]: Taking taylor expansion of y in x 0.213 * [taylor]: Taking taylor expansion of x in x 0.213 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.213 * [taylor]: Taking taylor expansion of z in x 0.213 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 z)) in x 0.213 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.213 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.213 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.213 * [taylor]: Taking taylor expansion of y in x 0.213 * [taylor]: Taking taylor expansion of x in x 0.213 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.213 * [taylor]: Taking taylor expansion of z in x 0.214 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.214 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.214 * [taylor]: Taking taylor expansion of y in y 0.214 * [taylor]: Taking taylor expansion of (- (log y)) in z 0.214 * [taylor]: Taking taylor expansion of (log y) in z 0.214 * [taylor]: Taking taylor expansion of y in z 0.216 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in y 0.216 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.216 * [taylor]: Taking taylor expansion of z in y 0.216 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.216 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.216 * [taylor]: Taking taylor expansion of z in z 0.217 * [taylor]: Taking taylor expansion of 0 in z 0.220 * [taylor]: Taking taylor expansion of 0 in y 0.220 * [taylor]: Taking taylor expansion of 0 in z 0.220 * [taylor]: Taking taylor expansion of 0 in z 0.222 * [taylor]: Taking taylor expansion of 0 in z 0.227 * [taylor]: Taking taylor expansion of 0 in y 0.227 * [taylor]: Taking taylor expansion of 0 in z 0.227 * [taylor]: Taking taylor expansion of 0 in z 0.228 * [taylor]: Taking taylor expansion of 0 in z 0.231 * [taylor]: Taking taylor expansion of 0 in z 0.231 * [approximate]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in (x y z) around 0 0.231 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in z 0.231 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.231 * [taylor]: Taking taylor expansion of z in z 0.232 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z 0.232 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 0.232 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.232 * [taylor]: Taking taylor expansion of -1 in z 0.232 * [taylor]: Taking taylor expansion of y in z 0.232 * [taylor]: Taking taylor expansion of x in z 0.232 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in y 0.232 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.232 * [taylor]: Taking taylor expansion of z in y 0.232 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 0.232 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.232 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.232 * [taylor]: Taking taylor expansion of -1 in y 0.232 * [taylor]: Taking taylor expansion of y in y 0.233 * [taylor]: Taking taylor expansion of x in y 0.234 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in x 0.234 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.234 * [taylor]: Taking taylor expansion of z in x 0.234 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.234 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.234 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.234 * [taylor]: Taking taylor expansion of -1 in x 0.234 * [taylor]: Taking taylor expansion of y in x 0.234 * [taylor]: Taking taylor expansion of x in x 0.235 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ -1 y)) x)) in x 0.235 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.235 * [taylor]: Taking taylor expansion of z in x 0.235 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.235 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.235 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.235 * [taylor]: Taking taylor expansion of -1 in x 0.235 * [taylor]: Taking taylor expansion of y in x 0.235 * [taylor]: Taking taylor expansion of x in x 0.235 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 0.235 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.235 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.235 * [taylor]: Taking taylor expansion of -1 in y 0.235 * [taylor]: Taking taylor expansion of y in y 0.236 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 0.236 * [taylor]: Taking taylor expansion of (log y) in z 0.236 * [taylor]: Taking taylor expansion of y in z 0.236 * [taylor]: Taking taylor expansion of (log -1) in z 0.236 * [taylor]: Taking taylor expansion of -1 in z 0.238 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.238 * [taylor]: Taking taylor expansion of z in y 0.238 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.238 * [taylor]: Taking taylor expansion of z in z 0.240 * [taylor]: Taking taylor expansion of 0 in z 0.244 * [taylor]: Taking taylor expansion of 0 in y 0.244 * [taylor]: Taking taylor expansion of 0 in z 0.244 * [taylor]: Taking taylor expansion of 0 in z 0.246 * [taylor]: Taking taylor expansion of 0 in z 0.252 * [taylor]: Taking taylor expansion of 0 in y 0.252 * [taylor]: Taking taylor expansion of 0 in z 0.252 * [taylor]: Taking taylor expansion of 0 in z 0.252 * [taylor]: Taking taylor expansion of 0 in z 0.256 * [taylor]: Taking taylor expansion of 0 in z 0.257 * * * [progress]: simplifying candidates 0.258 * [simplify]: Simplifying using # : (expm1 (* x (log y))) (log1p (* x (log y))) (* x (log y)) (+ (log x) (log (log y))) (log (* x (log y))) (exp (* x (log y))) (* (* (* x x) x) (* (* (log y) (log y)) (log y))) (* (cbrt (* x (log y))) (cbrt (* x (log y)))) (cbrt (* x (log y))) (* (* (* x (log y)) (* x (log y))) (* x (log y))) (sqrt (* x (log y))) (sqrt (* x (log y))) (* (sqrt x) (sqrt (log y))) (* (sqrt x) (sqrt (log y))) (* x (log (* (cbrt y) (cbrt y)))) (* x (log (cbrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) (* x (log 1)) (* x (log y)) (* (log (* (cbrt y) (cbrt y))) x) (* (log (cbrt y)) x) (* (log (sqrt y)) x) (* (log (sqrt y)) x) (* (log 1) x) (* (log y) x) (* x 1) (* x (* (cbrt (log y)) (cbrt (log y)))) (* x (sqrt (log y))) (* x 1) (* (cbrt x) (log y)) (* (sqrt x) (log y)) (* x (log y)) (fma x (log y) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (fma x (log y) (- (* (sqrt z) (sqrt z)))) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (fma x (log y) (- (* z 1))) (fma (- z) 1 (* z 1)) (expm1 (- (* x (log y)) z)) (log1p (- (* x (log y)) z)) (- z) (/ (exp (* x (log y))) (exp z)) (log (- (* x (log y)) z)) (exp (- (* x (log y)) z)) (* (cbrt (- (* x (log y)) z)) (cbrt (- (* x (log y)) z))) (cbrt (- (* x (log y)) z)) (* (* (- (* x (log y)) z) (- (* x (log y)) z)) (- (* x (log y)) z)) (sqrt (- (* x (log y)) z)) (sqrt (- (* x (log y)) z)) (- (pow (* x (log y)) 3) (pow z 3)) (+ (* (* x (log y)) (* x (log y))) (+ (* z z) (* (* x (log y)) z))) (- z) (- (* (* x (log y)) (* x (log y))) (* z z)) (+ (* x (log y)) z) (- (* x (log (cbrt y))) z) (- (* x (log (sqrt y))) z) (- (* x (log y)) z) (- (* (log (cbrt y)) x) z) (- (* (log (sqrt y)) x) z) (- (* (log y) x) z) (- z) (* x (log y)) (* -1 (* x (log (/ 1 y)))) (* (- (log -1) (log (/ -1 y))) x) (- (* x (log y)) z) (- (+ (* x (log (/ 1 y))) z)) (- (* (log -1) x) (+ z (* x (log (/ -1 y))))) 0.261 * * [simplify]: iteration 0 : 111 enodes (cost 494 ) 0.284 * * [simplify]: iteration 1 : 215 enodes (cost 441 ) 0.335 * * [simplify]: iteration 2 : 595 enodes (cost 398 ) 0.654 * * [simplify]: iteration 3 : 1934 enodes (cost 381 ) 1.420 * * [simplify]: iteration done : 5000 enodes (cost 381 ) 1.420 * [simplify]: Simplified to: (expm1 (* x (log y))) (log1p (* x (log y))) (* x (log y)) (log (* x (log y))) (log (* x (log y))) (pow y x) (pow (* (log y) x) 3) (* (cbrt (* x (log y))) (cbrt (* x (log y)))) (cbrt (* x (log y))) (pow (* (log y) x) 3) (sqrt (* x (log y))) (sqrt (* x (log y))) (* (sqrt x) (sqrt (log y))) (* (sqrt x) (sqrt (log y))) (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) 0 (* x (log y)) (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) 0 (* x (log y)) x (* x (* (cbrt (log y)) (cbrt (log y)))) (* x (sqrt (log y))) x (* (cbrt x) (log y)) (* (sqrt x) (log y)) (* x (log y)) (- (* x (log y)) z) (* z 0) (- (* x (log y)) z) (* z 0) (- (* x (log y)) z) (* z 0) (expm1 (- (* x (log y)) z)) (log1p (- (* x (log y)) z)) (- z) (/ (pow y x) (exp z)) (log (- (* x (log y)) z)) (/ (pow y x) (exp z)) (* (cbrt (- (* x (log y)) z)) (cbrt (- (* x (log y)) z))) (cbrt (- (* x (log y)) z)) (pow (fma x (log y) (- z)) 3) (sqrt (- (* x (log y)) z)) (sqrt (- (* x (log y)) z)) (- (pow (* x (log y)) 3) (pow z 3)) (fma z z (* (* (log y) x) (fma x (log y) z))) (- z) (* (fma x (log y) z) (- (* x (log y)) z)) (fma x (log y) z) (- (* x (log (cbrt y))) z) (- (* x (log (sqrt y))) z) (- (* x (log y)) z) (- (* x (log (cbrt y))) z) (- (* x (log (sqrt y))) z) (- (* x (log y)) z) (- z) (* x (log y)) (* x (log y)) (* x (log y)) (- (* x (log y)) z) (- (* x (log y)) z) (- (* x (log y)) z) 1.421 * * * [progress]: adding candidates to table 1.529 * * [progress]: iteration 2 / 4 1.529 * * * [progress]: picking best candidate 1.535 * * * * [pick]: Picked # 1.535 * * * [progress]: localizing error 1.550 * * * [progress]: generating rewritten candidates 1.550 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 1) 1.551 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 2 1) 1.551 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 1.565 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 1.575 * * * [progress]: generating series expansions 1.575 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 1) 1.575 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 1.575 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.575 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.575 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.575 * [taylor]: Taking taylor expansion of 1/3 in y 1.575 * [taylor]: Taking taylor expansion of (log y) in y 1.575 * [taylor]: Taking taylor expansion of y in y 1.576 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.576 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.576 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.576 * [taylor]: Taking taylor expansion of 1/3 in y 1.576 * [taylor]: Taking taylor expansion of (log y) in y 1.576 * [taylor]: Taking taylor expansion of y in y 1.629 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 1.629 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.629 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.629 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.629 * [taylor]: Taking taylor expansion of 1/3 in y 1.629 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.629 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.629 * [taylor]: Taking taylor expansion of y in y 1.630 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.630 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.630 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.630 * [taylor]: Taking taylor expansion of 1/3 in y 1.630 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.630 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.630 * [taylor]: Taking taylor expansion of y in y 1.681 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 1.681 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.681 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.681 * [taylor]: Taking taylor expansion of -1 in y 1.682 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.682 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.682 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.682 * [taylor]: Taking taylor expansion of 1/3 in y 1.682 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.682 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.682 * [taylor]: Taking taylor expansion of y in y 1.683 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.683 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.683 * [taylor]: Taking taylor expansion of -1 in y 1.684 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.684 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.684 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.684 * [taylor]: Taking taylor expansion of 1/3 in y 1.684 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.684 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.684 * [taylor]: Taking taylor expansion of y in y 1.748 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 2 1) 1.748 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 1.748 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.748 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.748 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.748 * [taylor]: Taking taylor expansion of 1/3 in y 1.748 * [taylor]: Taking taylor expansion of (log y) in y 1.748 * [taylor]: Taking taylor expansion of y in y 1.749 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.749 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.749 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.749 * [taylor]: Taking taylor expansion of 1/3 in y 1.749 * [taylor]: Taking taylor expansion of (log y) in y 1.749 * [taylor]: Taking taylor expansion of y in y 1.799 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 1.799 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.799 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.800 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.800 * [taylor]: Taking taylor expansion of 1/3 in y 1.800 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.800 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.800 * [taylor]: Taking taylor expansion of y in y 1.800 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.800 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.800 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.801 * [taylor]: Taking taylor expansion of 1/3 in y 1.801 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.801 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.801 * [taylor]: Taking taylor expansion of y in y 1.854 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 1.854 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.854 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.854 * [taylor]: Taking taylor expansion of -1 in y 1.855 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.855 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.855 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.855 * [taylor]: Taking taylor expansion of 1/3 in y 1.855 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.855 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.855 * [taylor]: Taking taylor expansion of y in y 1.856 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.856 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.856 * [taylor]: Taking taylor expansion of -1 in y 1.857 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.857 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.857 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.857 * [taylor]: Taking taylor expansion of 1/3 in y 1.857 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.857 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.857 * [taylor]: Taking taylor expansion of y in y 1.923 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 1.924 * [approximate]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in (x y) around 0 1.924 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y 1.924 * [taylor]: Taking taylor expansion of 3 in y 1.924 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 1.924 * [taylor]: Taking taylor expansion of x in y 1.924 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 1.924 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.924 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.924 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.924 * [taylor]: Taking taylor expansion of 1/3 in y 1.924 * [taylor]: Taking taylor expansion of (log y) in y 1.924 * [taylor]: Taking taylor expansion of y in y 1.925 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x 1.925 * [taylor]: Taking taylor expansion of 3 in x 1.925 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 1.925 * [taylor]: Taking taylor expansion of x in x 1.925 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 1.925 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 1.925 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 1.925 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 1.925 * [taylor]: Taking taylor expansion of 1/3 in x 1.925 * [taylor]: Taking taylor expansion of (log y) in x 1.925 * [taylor]: Taking taylor expansion of y in x 1.925 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x 1.925 * [taylor]: Taking taylor expansion of 3 in x 1.925 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 1.925 * [taylor]: Taking taylor expansion of x in x 1.925 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 1.925 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 1.925 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 1.925 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 1.925 * [taylor]: Taking taylor expansion of 1/3 in x 1.925 * [taylor]: Taking taylor expansion of (log y) in x 1.925 * [taylor]: Taking taylor expansion of y in x 1.926 * [taylor]: Taking taylor expansion of 0 in y 1.928 * [taylor]: Taking taylor expansion of (* 3 (log (pow y 1/3))) in y 1.928 * [taylor]: Taking taylor expansion of 3 in y 1.928 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 1.928 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 1.928 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 1.928 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 1.928 * [taylor]: Taking taylor expansion of 1/3 in y 1.928 * [taylor]: Taking taylor expansion of (log y) in y 1.928 * [taylor]: Taking taylor expansion of y in y 1.934 * [taylor]: Taking taylor expansion of 0 in y 1.943 * [taylor]: Taking taylor expansion of 0 in y 1.944 * [approximate]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in (x y) around 0 1.944 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y 1.944 * [taylor]: Taking taylor expansion of 3 in y 1.944 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 1.944 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 1.944 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.944 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.944 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.944 * [taylor]: Taking taylor expansion of 1/3 in y 1.944 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.944 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.944 * [taylor]: Taking taylor expansion of y in y 1.945 * [taylor]: Taking taylor expansion of x in y 1.945 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in x 1.945 * [taylor]: Taking taylor expansion of 3 in x 1.945 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 1.945 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 1.945 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 1.945 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 1.945 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 1.945 * [taylor]: Taking taylor expansion of 1/3 in x 1.945 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.945 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.945 * [taylor]: Taking taylor expansion of y in x 1.945 * [taylor]: Taking taylor expansion of x in x 1.945 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in x 1.945 * [taylor]: Taking taylor expansion of 3 in x 1.945 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 1.945 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 1.945 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 1.946 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 1.946 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 1.946 * [taylor]: Taking taylor expansion of 1/3 in x 1.946 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.946 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.946 * [taylor]: Taking taylor expansion of y in x 1.946 * [taylor]: Taking taylor expansion of x in x 1.946 * [taylor]: Taking taylor expansion of (* 3 (log (pow (/ 1 y) 1/3))) in y 1.946 * [taylor]: Taking taylor expansion of 3 in y 1.946 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 1.946 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.946 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.946 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.946 * [taylor]: Taking taylor expansion of 1/3 in y 1.946 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.946 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.946 * [taylor]: Taking taylor expansion of y in y 1.950 * [taylor]: Taking taylor expansion of 0 in y 1.958 * [taylor]: Taking taylor expansion of 0 in y 1.970 * [taylor]: Taking taylor expansion of 0 in y 1.971 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in (x y) around 0 1.971 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in y 1.971 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 1.971 * [taylor]: Taking taylor expansion of 3 in y 1.971 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 1.971 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 1.971 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.971 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.971 * [taylor]: Taking taylor expansion of -1 in y 1.972 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.972 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.972 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.972 * [taylor]: Taking taylor expansion of 1/3 in y 1.972 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.972 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.972 * [taylor]: Taking taylor expansion of y in y 1.974 * [taylor]: Taking taylor expansion of x in y 1.974 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in x 1.974 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 1.974 * [taylor]: Taking taylor expansion of 3 in x 1.974 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 1.974 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 1.974 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 1.974 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.974 * [taylor]: Taking taylor expansion of -1 in x 1.975 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 1.975 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 1.975 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 1.975 * [taylor]: Taking taylor expansion of 1/3 in x 1.975 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.975 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.975 * [taylor]: Taking taylor expansion of y in x 1.976 * [taylor]: Taking taylor expansion of x in x 1.976 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in x 1.976 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 1.976 * [taylor]: Taking taylor expansion of 3 in x 1.976 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 1.977 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 1.977 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 1.977 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.977 * [taylor]: Taking taylor expansion of -1 in x 1.977 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 1.977 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 1.977 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 1.977 * [taylor]: Taking taylor expansion of 1/3 in x 1.977 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 1.977 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.977 * [taylor]: Taking taylor expansion of y in x 1.978 * [taylor]: Taking taylor expansion of x in x 1.980 * [taylor]: Taking taylor expansion of (- (* 3 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y 1.980 * [taylor]: Taking taylor expansion of (* 3 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 1.980 * [taylor]: Taking taylor expansion of 3 in y 1.980 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 1.980 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 1.980 * [taylor]: Taking taylor expansion of (cbrt -1) in y 1.980 * [taylor]: Taking taylor expansion of -1 in y 1.980 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 1.980 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 1.980 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 1.980 * [taylor]: Taking taylor expansion of 1/3 in y 1.980 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.980 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.980 * [taylor]: Taking taylor expansion of y in y 1.988 * [taylor]: Taking taylor expansion of 0 in y 2.005 * [taylor]: Taking taylor expansion of 0 in y 2.023 * [taylor]: Taking taylor expansion of 0 in y 2.024 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 2.024 * [approximate]: Taking taylor expansion of (* x (log (pow y 1/3))) in (x y) around 0 2.024 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 2.024 * [taylor]: Taking taylor expansion of x in y 2.024 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 2.024 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.024 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.024 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.024 * [taylor]: Taking taylor expansion of 1/3 in y 2.024 * [taylor]: Taking taylor expansion of (log y) in y 2.024 * [taylor]: Taking taylor expansion of y in y 2.025 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 2.025 * [taylor]: Taking taylor expansion of x in x 2.025 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 2.025 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 2.025 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 2.025 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 2.025 * [taylor]: Taking taylor expansion of 1/3 in x 2.025 * [taylor]: Taking taylor expansion of (log y) in x 2.025 * [taylor]: Taking taylor expansion of y in x 2.025 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 2.025 * [taylor]: Taking taylor expansion of x in x 2.025 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 2.026 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 2.026 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 2.026 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 2.026 * [taylor]: Taking taylor expansion of 1/3 in x 2.026 * [taylor]: Taking taylor expansion of (log y) in x 2.026 * [taylor]: Taking taylor expansion of y in x 2.026 * [taylor]: Taking taylor expansion of 0 in y 2.028 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 2.028 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.028 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.028 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.028 * [taylor]: Taking taylor expansion of 1/3 in y 2.028 * [taylor]: Taking taylor expansion of (log y) in y 2.028 * [taylor]: Taking taylor expansion of y in y 2.033 * [taylor]: Taking taylor expansion of 0 in y 2.041 * [taylor]: Taking taylor expansion of 0 in y 2.042 * [approximate]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in (x y) around 0 2.042 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 2.042 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 2.042 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.042 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.042 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.042 * [taylor]: Taking taylor expansion of 1/3 in y 2.042 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.042 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.042 * [taylor]: Taking taylor expansion of y in y 2.043 * [taylor]: Taking taylor expansion of x in y 2.043 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 2.043 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 2.043 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 2.043 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 2.043 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 2.043 * [taylor]: Taking taylor expansion of 1/3 in x 2.043 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 2.043 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.043 * [taylor]: Taking taylor expansion of y in x 2.043 * [taylor]: Taking taylor expansion of x in x 2.043 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 2.043 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 2.043 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 2.043 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 2.043 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 2.043 * [taylor]: Taking taylor expansion of 1/3 in x 2.043 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 2.043 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.043 * [taylor]: Taking taylor expansion of y in x 2.044 * [taylor]: Taking taylor expansion of x in x 2.044 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 2.044 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.044 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.044 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.044 * [taylor]: Taking taylor expansion of 1/3 in y 2.044 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.044 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.044 * [taylor]: Taking taylor expansion of y in y 2.047 * [taylor]: Taking taylor expansion of 0 in y 2.055 * [taylor]: Taking taylor expansion of 0 in y 2.066 * [taylor]: Taking taylor expansion of 0 in y 2.066 * [approximate]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in (x y) around 0 2.066 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 2.066 * [taylor]: Taking taylor expansion of -1 in y 2.066 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 2.066 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 2.066 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 2.066 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.066 * [taylor]: Taking taylor expansion of -1 in y 2.067 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.067 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.067 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.067 * [taylor]: Taking taylor expansion of 1/3 in y 2.067 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.067 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.067 * [taylor]: Taking taylor expansion of y in y 2.068 * [taylor]: Taking taylor expansion of x in y 2.069 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 2.069 * [taylor]: Taking taylor expansion of -1 in x 2.069 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 2.069 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 2.069 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 2.069 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.069 * [taylor]: Taking taylor expansion of -1 in x 2.070 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 2.070 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 2.070 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 2.070 * [taylor]: Taking taylor expansion of 1/3 in x 2.070 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 2.070 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.070 * [taylor]: Taking taylor expansion of y in x 2.071 * [taylor]: Taking taylor expansion of x in x 2.071 * [taylor]: Taking taylor expansion of (* -1 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 2.071 * [taylor]: Taking taylor expansion of -1 in x 2.071 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 2.071 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 2.071 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 2.071 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.071 * [taylor]: Taking taylor expansion of -1 in x 2.072 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 2.072 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 2.072 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 2.072 * [taylor]: Taking taylor expansion of 1/3 in x 2.072 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 2.072 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.072 * [taylor]: Taking taylor expansion of y in x 2.073 * [taylor]: Taking taylor expansion of x in x 2.074 * [taylor]: Taking taylor expansion of (* -1 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 2.074 * [taylor]: Taking taylor expansion of -1 in y 2.074 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 2.074 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 2.074 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.074 * [taylor]: Taking taylor expansion of -1 in y 2.075 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.075 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.075 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.075 * [taylor]: Taking taylor expansion of 1/3 in y 2.075 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.075 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.075 * [taylor]: Taking taylor expansion of y in y 2.082 * [taylor]: Taking taylor expansion of 0 in y 2.099 * [taylor]: Taking taylor expansion of 0 in y 2.118 * [taylor]: Taking taylor expansion of 0 in y 2.118 * * * [progress]: simplifying candidates 2.120 * [simplify]: Simplifying using # : (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))) (log1p (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))) (* (exp (* x (* 2 (log (cbrt y))))) (exp (* x (log (cbrt y))))) (log (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))) (exp (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))) (* (cbrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))) (cbrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))))) (cbrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))) (* (* (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))) (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))) (sqrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))) (sqrt (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))) (+ (pow (* x (* 2 (log (cbrt y)))) 3) (pow (* x (log (cbrt y))) 3)) (+ (* (* x (* 2 (log (cbrt y)))) (* x (* 2 (log (cbrt y))))) (- (* (* x (log (cbrt y))) (* x (log (cbrt y)))) (* (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))))) (- (* (* x (* 2 (log (cbrt y)))) (* x (* 2 (log (cbrt y))))) (* (* x (log (cbrt y))) (* x (log (cbrt y))))) (- (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) (+ (* 2 (log (cbrt y))) (log (cbrt y))) (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt (* (cbrt y) (cbrt y)))))) (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt (sqrt y))))) (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt 1)))) (+ (* x (* 2 (log (cbrt y)))) (* x (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))))) (+ (* x (* 2 (log (cbrt y)))) (* x (log (sqrt (cbrt y))))) (+ (* x (* 2 (log (cbrt y)))) (* x (log 1))) (+ (* x (* 2 (log (cbrt y)))) (* (log (cbrt (* (cbrt y) (cbrt y)))) x)) (+ (* x (* 2 (log (cbrt y)))) (* (log (cbrt (sqrt y))) x)) (+ (* x (* 2 (log (cbrt y)))) (* (log (cbrt 1)) x)) (+ (* x (* 2 (log (cbrt y)))) (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) x)) (+ (* x (* 2 (log (cbrt y)))) (* (log (sqrt (cbrt y))) x)) (+ (* x (* 2 (log (cbrt y)))) (* (log 1) x)) (+ (* x (* 2 (log (cbrt (cbrt y))))) (* x (log (cbrt y)))) (+ (* x (* 2 (log (cbrt (sqrt y))))) (* x (log (cbrt y)))) (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) (+ (* x (* 2 (log (cbrt (cbrt y))))) (* x (log (cbrt y)))) (+ (* x (* 2 (log (sqrt (cbrt y))))) (* x (log (cbrt y)))) (+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y)))) (+ (* x (* (log (cbrt (cbrt y))) 2)) (* x (log (cbrt y)))) (+ (* x (* (log (cbrt (sqrt y))) 2)) (* x (log (cbrt y)))) (+ (* x (* (log (cbrt y)) 2)) (* x (log (cbrt y)))) (+ (* x (* (log (cbrt (cbrt y))) 2)) (* x (log (cbrt y)))) (+ (* x (* (log (sqrt (cbrt y))) 2)) (* x (log (cbrt y)))) (+ (* x (* (log (cbrt y)) 2)) (* x (log (cbrt y)))) (+ (* (* 2 (log (cbrt (cbrt y)))) x) (* x (log (cbrt y)))) (+ (* (* 2 (log (cbrt (sqrt y)))) x) (* x (log (cbrt y)))) (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y)))) (+ (* (* 2 (log (cbrt (cbrt y)))) x) (* x (log (cbrt y)))) (+ (* (* 2 (log (sqrt (cbrt y)))) x) (* x (log (cbrt y)))) (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y)))) (+ (* (* (log (cbrt (cbrt y))) 2) x) (* x (log (cbrt y)))) (+ (* (* (log (cbrt (sqrt y))) 2) x) (* x (log (cbrt y)))) (+ (* (* (log (cbrt y)) 2) x) (* x (log (cbrt y)))) (+ (* (* (log (cbrt (cbrt y))) 2) x) (* x (log (cbrt y)))) (+ (* (* (log (sqrt (cbrt y))) 2) x) (* x (log (cbrt y)))) (+ (* (* (log (cbrt y)) 2) x) (* x (log (cbrt y)))) (expm1 (* x (log (cbrt y)))) (log1p (* x (log (cbrt y)))) (* x (log (cbrt y))) (+ (log x) (log (log (cbrt y)))) (log (* x (log (cbrt y)))) (exp (* x (log (cbrt y)))) (* (* (* x x) x) (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y)))) (* (cbrt (* x (log (cbrt y)))) (cbrt (* x (log (cbrt y))))) (cbrt (* x (log (cbrt y)))) (* (* (* x (log (cbrt y))) (* x (log (cbrt y)))) (* x (log (cbrt y)))) (sqrt (* x (log (cbrt y)))) (sqrt (* x (log (cbrt y)))) (* (sqrt x) (sqrt (log (cbrt y)))) (* (sqrt x) (sqrt (log (cbrt y)))) (* x (log (cbrt (* (cbrt y) (cbrt y))))) (* x (log (cbrt (cbrt y)))) (* x (log (cbrt (sqrt y)))) (* x (log (cbrt (sqrt y)))) (* x (log (cbrt 1))) (* x (log (cbrt y))) (* x (log (* (cbrt (cbrt y)) (cbrt (cbrt y))))) (* x (log (cbrt (cbrt y)))) (* x (log (sqrt (cbrt y)))) (* x (log (sqrt (cbrt y)))) (* x (log 1)) (* x (log (cbrt y))) (* (log (cbrt (* (cbrt y) (cbrt y)))) x) (* (log (cbrt (cbrt y))) x) (* (log (cbrt (sqrt y))) x) (* (log (cbrt (sqrt y))) x) (* (log (cbrt 1)) x) (* (log (cbrt y)) x) (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) x) (* (log (cbrt (cbrt y))) x) (* (log (sqrt (cbrt y))) x) (* (log (sqrt (cbrt y))) x) (* (log 1) x) (* (log (cbrt y)) x) (* x 1/3) (* x 1) (* x (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y))))) (* x (sqrt (log (cbrt y)))) (* x 1) (* (cbrt x) (log (cbrt y))) (* (sqrt x) (log (cbrt y))) (* x (log (cbrt y))) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (* 3 (* x (log (pow y 1/3)))) (* 3 (* x (log (pow (/ 1 y) -1/3)))) (* 3 (* x (log (* (pow (* -1 y) 1/3) (cbrt -1))))) (* x (log (pow y 1/3))) (* x (log (pow (/ 1 y) -1/3))) (* x (log (* (pow (* -1 y) 1/3) (cbrt -1)))) 2.124 * * [simplify]: iteration 0 : 163 enodes (cost 1298 ) 2.167 * * [simplify]: iteration 1 : 347 enodes (cost 1053 ) 2.292 * * [simplify]: iteration 2 : 1154 enodes (cost 937 ) 2.980 * * [simplify]: iteration done : 5000 enodes (cost 872 ) 2.981 * [simplify]: Simplified to: (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (pow (cbrt y) 3) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (pow (cbrt y) 3) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (* (log y) x)) (log1p (* (log y) x)) (exp (* (log y) x)) (log (* (log y) x)) (exp (* (log y) x)) (* (cbrt (* (log y) x)) (cbrt (* (log y) x))) (cbrt (* (log y) x)) (* (* (* x x) (log y)) (* (* (log y) x) (log y))) (sqrt (* (log y) x)) (sqrt (* (log y) x)) (* (+ 8 1) (pow (* x (log (cbrt y))) 3)) (* (* x (log (cbrt y))) (+ (* (* x (log (cbrt y))) (- 1 2)) (* (* x (log (cbrt y))) 4))) (* (* (* (log y) x) (* (log y) (- 2/3 1/3))) x) (* x (* (log y) (- 2/3 1/3))) (* (log y) 1) (* x (+ (log (cbrt (pow y 2/3))) (* 2/3 (log y)))) (* x (fma 2 (log (cbrt y)) (log (cbrt (sqrt y))))) (* (* 2/3 (log y)) x) (* (* 2 (+ (log (cbrt (cbrt y))) (log (cbrt y)))) x) (* (fma 2 (log (cbrt y)) (log (sqrt (cbrt y)))) x) (* (* 2/3 (log y)) x) (* x (+ (log (cbrt (pow y 2/3))) (* 2/3 (log y)))) (* x (fma 2 (log (cbrt y)) (log (cbrt (sqrt y))))) (* (* 2/3 (log y)) x) (* (* 2 (+ (log (cbrt (cbrt y))) (log (cbrt y)))) x) (* (fma 2 (log (cbrt y)) (log (sqrt (cbrt y)))) x) (* (* 2/3 (log y)) x) (* (fma (log (cbrt (cbrt y))) 2 (log (cbrt y))) x) (* (fma 2 (log (cbrt (sqrt y))) (log (cbrt y))) x) (* (log y) x) (* (fma (log (cbrt (cbrt y))) 2 (log (cbrt y))) x) (* (fma 2 (log (sqrt (cbrt y))) (log (cbrt y))) x) (* (log y) x) (* (fma (log (cbrt (cbrt y))) 2 (log (cbrt y))) x) (* (fma 2 (log (cbrt (sqrt y))) (log (cbrt y))) x) (* (log y) x) (* (fma (log (cbrt (cbrt y))) 2 (log (cbrt y))) x) (* (fma 2 (log (sqrt (cbrt y))) (log (cbrt y))) x) (* (log y) x) (* (fma (log (cbrt (cbrt y))) 2 (log (cbrt y))) x) (* (fma 2 (log (cbrt (sqrt y))) (log (cbrt y))) x) (* (log y) x) (* (fma (log (cbrt (cbrt y))) 2 (log (cbrt y))) x) (* (fma 2 (log (sqrt (cbrt y))) (log (cbrt y))) x) (* (log y) x) (* (fma (log (cbrt (cbrt y))) 2 (log (cbrt y))) x) (* (fma 2 (log (cbrt (sqrt y))) (log (cbrt y))) x) (* (log y) x) (* (fma (log (cbrt (cbrt y))) 2 (log (cbrt y))) x) (* (fma 2 (log (sqrt (cbrt y))) (log (cbrt y))) x) (* (log y) x) (expm1 (* x (log (cbrt y)))) (log1p (* x (log (cbrt y)))) (* x (log (cbrt y))) (log (* x (log (cbrt y)))) (log (* x (log (cbrt y)))) (pow (cbrt y) x) (pow (* x (log (cbrt y))) 3) (* (cbrt (* x (log (cbrt y)))) (cbrt (* x (log (cbrt y))))) (cbrt (* x (log (cbrt y)))) (pow (* x (log (cbrt y))) 3) (sqrt (* x (log (cbrt y)))) (sqrt (* x (log (cbrt y)))) (* (sqrt x) (sqrt (log (cbrt y)))) (* (sqrt x) (sqrt (log (cbrt y)))) (* x (log (cbrt (pow y 2/3)))) (* x (log (cbrt (cbrt y)))) (* x (log (cbrt (sqrt y)))) (* x (log (cbrt (sqrt y)))) 0 (* x (log (cbrt y))) (* (* x 2) (log (cbrt (cbrt y)))) (* x (log (cbrt (cbrt y)))) (* (log (sqrt (cbrt y))) x) (* (log (sqrt (cbrt y))) x) 0 (* x (log (cbrt y))) (* x (log (cbrt (pow y 2/3)))) (* x (log (cbrt (cbrt y)))) (* x (log (cbrt (sqrt y)))) (* x (log (cbrt (sqrt y)))) 0 (* x (log (cbrt y))) (* (* x 2) (log (cbrt (cbrt y)))) (* x (log (cbrt (cbrt y)))) (* (log (sqrt (cbrt y))) x) (* (log (sqrt (cbrt y))) x) 0 (* x (log (cbrt y))) (* x 1/3) x (* x (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y))))) (* x (sqrt (log (cbrt y)))) x (* (cbrt x) (log (cbrt y))) (* (sqrt x) (log (cbrt y))) (* x (log (cbrt y))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) (* (log y) x) (* (* 3 x) (* -1/3 (- (log y)))) (* 3 (* (log (* (cbrt -1) (cbrt (- y)))) x)) (* x (log (cbrt y))) (* (* x -1/3) (- (log y))) (* (log (* (cbrt -1) (cbrt (- y)))) x) 2.982 * * * [progress]: adding candidates to table 3.363 * * [progress]: iteration 3 / 4 3.363 * * * [progress]: picking best candidate 3.374 * * * * [pick]: Picked # 3.374 * * * [progress]: localizing error 3.536 * * * [progress]: generating rewritten candidates 3.536 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2 2 1) 3.540 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2 1) 3.541 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 3.573 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 3.619 * * * [progress]: generating series expansions 3.619 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2 2 1) 3.619 * [approximate]: Taking taylor expansion of (pow (/ 1 y) -1/3) in (y) around 0 3.619 * [taylor]: Taking taylor expansion of (pow (/ 1 y) -1/3) in y 3.619 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (/ 1 y)))) in y 3.619 * [taylor]: Taking taylor expansion of (* -1/3 (log (/ 1 y))) in y 3.619 * [taylor]: Taking taylor expansion of -1/3 in y 3.619 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.619 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.619 * [taylor]: Taking taylor expansion of y in y 3.621 * [taylor]: Taking taylor expansion of (pow (/ 1 y) -1/3) in y 3.621 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (/ 1 y)))) in y 3.621 * [taylor]: Taking taylor expansion of (* -1/3 (log (/ 1 y))) in y 3.621 * [taylor]: Taking taylor expansion of -1/3 in y 3.621 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.621 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.621 * [taylor]: Taking taylor expansion of y in y 3.672 * [approximate]: Taking taylor expansion of (pow y -1/3) in (y) around 0 3.672 * [taylor]: Taking taylor expansion of (pow y -1/3) in y 3.672 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log y))) in y 3.672 * [taylor]: Taking taylor expansion of (* -1/3 (log y)) in y 3.672 * [taylor]: Taking taylor expansion of -1/3 in y 3.672 * [taylor]: Taking taylor expansion of (log y) in y 3.672 * [taylor]: Taking taylor expansion of y in y 3.673 * [taylor]: Taking taylor expansion of (pow y -1/3) in y 3.673 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log y))) in y 3.673 * [taylor]: Taking taylor expansion of (* -1/3 (log y)) in y 3.673 * [taylor]: Taking taylor expansion of -1/3 in y 3.673 * [taylor]: Taking taylor expansion of (log y) in y 3.673 * [taylor]: Taking taylor expansion of y in y 3.726 * [approximate]: Taking taylor expansion of (pow (* -1 y) -1/3) in (y) around 0 3.726 * [taylor]: Taking taylor expansion of (pow (* -1 y) -1/3) in y 3.726 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (* -1 y)))) in y 3.726 * [taylor]: Taking taylor expansion of (* -1/3 (log (* -1 y))) in y 3.726 * [taylor]: Taking taylor expansion of -1/3 in y 3.726 * [taylor]: Taking taylor expansion of (log (* -1 y)) in y 3.726 * [taylor]: Taking taylor expansion of (* -1 y) in y 3.726 * [taylor]: Taking taylor expansion of -1 in y 3.726 * [taylor]: Taking taylor expansion of y in y 3.728 * [taylor]: Taking taylor expansion of (pow (* -1 y) -1/3) in y 3.728 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (* -1 y)))) in y 3.728 * [taylor]: Taking taylor expansion of (* -1/3 (log (* -1 y))) in y 3.728 * [taylor]: Taking taylor expansion of -1/3 in y 3.728 * [taylor]: Taking taylor expansion of (log (* -1 y)) in y 3.728 * [taylor]: Taking taylor expansion of (* -1 y) in y 3.728 * [taylor]: Taking taylor expansion of -1 in y 3.728 * [taylor]: Taking taylor expansion of y in y 3.790 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2 1) 3.790 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 3.790 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 3.790 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 3.790 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 3.790 * [taylor]: Taking taylor expansion of 1/3 in y 3.790 * [taylor]: Taking taylor expansion of (log y) in y 3.790 * [taylor]: Taking taylor expansion of y in y 3.791 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 3.791 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 3.791 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 3.791 * [taylor]: Taking taylor expansion of 1/3 in y 3.791 * [taylor]: Taking taylor expansion of (log y) in y 3.791 * [taylor]: Taking taylor expansion of y in y 3.842 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 3.842 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.842 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.842 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.842 * [taylor]: Taking taylor expansion of 1/3 in y 3.842 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.842 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.842 * [taylor]: Taking taylor expansion of y in y 3.843 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.843 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.843 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.843 * [taylor]: Taking taylor expansion of 1/3 in y 3.843 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.843 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.843 * [taylor]: Taking taylor expansion of y in y 3.898 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 3.898 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 3.898 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.898 * [taylor]: Taking taylor expansion of -1 in y 3.899 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.899 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.899 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.899 * [taylor]: Taking taylor expansion of 1/3 in y 3.899 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.899 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.899 * [taylor]: Taking taylor expansion of y in y 3.900 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 3.900 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.900 * [taylor]: Taking taylor expansion of -1 in y 3.901 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.901 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.901 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.901 * [taylor]: Taking taylor expansion of 1/3 in y 3.901 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.901 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.901 * [taylor]: Taking taylor expansion of y in y 3.962 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 3.962 * [approximate]: Taking taylor expansion of (+ (* 2 (* x (log (pow (/ 1 y) -1/3)))) (* x (log (pow y 1/3)))) in (x y) around 0 3.963 * [taylor]: Taking taylor expansion of (+ (* 2 (* x (log (pow (/ 1 y) -1/3)))) (* x (log (pow y 1/3)))) in y 3.963 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow (/ 1 y) -1/3)))) in y 3.963 * [taylor]: Taking taylor expansion of 2 in y 3.963 * [taylor]: Taking taylor expansion of (* x (log (pow (/ 1 y) -1/3))) in y 3.963 * [taylor]: Taking taylor expansion of x in y 3.963 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) -1/3)) in y 3.963 * [taylor]: Taking taylor expansion of (pow (/ 1 y) -1/3) in y 3.963 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (/ 1 y)))) in y 3.963 * [taylor]: Taking taylor expansion of (* -1/3 (log (/ 1 y))) in y 3.963 * [taylor]: Taking taylor expansion of -1/3 in y 3.963 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.963 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.963 * [taylor]: Taking taylor expansion of y in y 3.964 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 3.964 * [taylor]: Taking taylor expansion of x in y 3.964 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 3.964 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 3.964 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 3.964 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 3.964 * [taylor]: Taking taylor expansion of 1/3 in y 3.964 * [taylor]: Taking taylor expansion of (log y) in y 3.964 * [taylor]: Taking taylor expansion of y in y 3.964 * [taylor]: Taking taylor expansion of (+ (* 2 (* x (log (pow (/ 1 y) -1/3)))) (* x (log (pow y 1/3)))) in x 3.965 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow (/ 1 y) -1/3)))) in x 3.965 * [taylor]: Taking taylor expansion of 2 in x 3.965 * [taylor]: Taking taylor expansion of (* x (log (pow (/ 1 y) -1/3))) in x 3.965 * [taylor]: Taking taylor expansion of x in x 3.965 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) -1/3)) in x 3.965 * [taylor]: Taking taylor expansion of (pow (/ 1 y) -1/3) in x 3.965 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (/ 1 y)))) in x 3.965 * [taylor]: Taking taylor expansion of (* -1/3 (log (/ 1 y))) in x 3.965 * [taylor]: Taking taylor expansion of -1/3 in x 3.965 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 3.965 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.965 * [taylor]: Taking taylor expansion of y in x 3.965 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 3.965 * [taylor]: Taking taylor expansion of x in x 3.965 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 3.965 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 3.965 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 3.965 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 3.965 * [taylor]: Taking taylor expansion of 1/3 in x 3.965 * [taylor]: Taking taylor expansion of (log y) in x 3.965 * [taylor]: Taking taylor expansion of y in x 3.965 * [taylor]: Taking taylor expansion of (+ (* 2 (* x (log (pow (/ 1 y) -1/3)))) (* x (log (pow y 1/3)))) in x 3.965 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow (/ 1 y) -1/3)))) in x 3.965 * [taylor]: Taking taylor expansion of 2 in x 3.965 * [taylor]: Taking taylor expansion of (* x (log (pow (/ 1 y) -1/3))) in x 3.965 * [taylor]: Taking taylor expansion of x in x 3.965 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) -1/3)) in x 3.965 * [taylor]: Taking taylor expansion of (pow (/ 1 y) -1/3) in x 3.965 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (/ 1 y)))) in x 3.965 * [taylor]: Taking taylor expansion of (* -1/3 (log (/ 1 y))) in x 3.965 * [taylor]: Taking taylor expansion of -1/3 in x 3.966 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 3.966 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.966 * [taylor]: Taking taylor expansion of y in x 3.966 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 3.966 * [taylor]: Taking taylor expansion of x in x 3.966 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 3.966 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 3.966 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 3.966 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 3.966 * [taylor]: Taking taylor expansion of 1/3 in x 3.966 * [taylor]: Taking taylor expansion of (log y) in x 3.966 * [taylor]: Taking taylor expansion of y in x 3.967 * [taylor]: Taking taylor expansion of 0 in y 3.977 * [taylor]: Taking taylor expansion of (+ (log (pow y 1/3)) (* 2 (log (pow (/ 1 y) -1/3)))) in y 3.977 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 3.977 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 3.977 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 3.977 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 3.978 * [taylor]: Taking taylor expansion of 1/3 in y 3.978 * [taylor]: Taking taylor expansion of (log y) in y 3.978 * [taylor]: Taking taylor expansion of y in y 3.978 * [taylor]: Taking taylor expansion of (* 2 (log (pow (/ 1 y) -1/3))) in y 3.978 * [taylor]: Taking taylor expansion of 2 in y 3.978 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) -1/3)) in y 3.978 * [taylor]: Taking taylor expansion of (pow (/ 1 y) -1/3) in y 3.978 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (/ 1 y)))) in y 3.978 * [taylor]: Taking taylor expansion of (* -1/3 (log (/ 1 y))) in y 3.978 * [taylor]: Taking taylor expansion of -1/3 in y 3.978 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.978 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.978 * [taylor]: Taking taylor expansion of y in y 3.988 * [taylor]: Taking taylor expansion of 0 in y 4.007 * [taylor]: Taking taylor expansion of 0 in y 4.007 * [approximate]: Taking taylor expansion of (+ (* 2 (/ (log (pow y -1/3)) x)) (/ (log (pow (/ 1 y) 1/3)) x)) in (x y) around 0 4.007 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (log (pow y -1/3)) x)) (/ (log (pow (/ 1 y) 1/3)) x)) in y 4.007 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow y -1/3)) x)) in y 4.007 * [taylor]: Taking taylor expansion of 2 in y 4.007 * [taylor]: Taking taylor expansion of (/ (log (pow y -1/3)) x) in y 4.007 * [taylor]: Taking taylor expansion of (log (pow y -1/3)) in y 4.007 * [taylor]: Taking taylor expansion of (pow y -1/3) in y 4.007 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log y))) in y 4.007 * [taylor]: Taking taylor expansion of (* -1/3 (log y)) in y 4.007 * [taylor]: Taking taylor expansion of -1/3 in y 4.007 * [taylor]: Taking taylor expansion of (log y) in y 4.007 * [taylor]: Taking taylor expansion of y in y 4.008 * [taylor]: Taking taylor expansion of x in y 4.008 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 4.008 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 4.008 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.008 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.008 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.008 * [taylor]: Taking taylor expansion of 1/3 in y 4.008 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.008 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.008 * [taylor]: Taking taylor expansion of y in y 4.009 * [taylor]: Taking taylor expansion of x in y 4.009 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (log (pow y -1/3)) x)) (/ (log (pow (/ 1 y) 1/3)) x)) in x 4.009 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow y -1/3)) x)) in x 4.009 * [taylor]: Taking taylor expansion of 2 in x 4.009 * [taylor]: Taking taylor expansion of (/ (log (pow y -1/3)) x) in x 4.009 * [taylor]: Taking taylor expansion of (log (pow y -1/3)) in x 4.009 * [taylor]: Taking taylor expansion of (pow y -1/3) in x 4.009 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log y))) in x 4.009 * [taylor]: Taking taylor expansion of (* -1/3 (log y)) in x 4.009 * [taylor]: Taking taylor expansion of -1/3 in x 4.009 * [taylor]: Taking taylor expansion of (log y) in x 4.009 * [taylor]: Taking taylor expansion of y in x 4.010 * [taylor]: Taking taylor expansion of x in x 4.010 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 4.010 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 4.010 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 4.010 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 4.010 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 4.010 * [taylor]: Taking taylor expansion of 1/3 in x 4.010 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.010 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.010 * [taylor]: Taking taylor expansion of y in x 4.010 * [taylor]: Taking taylor expansion of x in x 4.010 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (log (pow y -1/3)) x)) (/ (log (pow (/ 1 y) 1/3)) x)) in x 4.010 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow y -1/3)) x)) in x 4.010 * [taylor]: Taking taylor expansion of 2 in x 4.010 * [taylor]: Taking taylor expansion of (/ (log (pow y -1/3)) x) in x 4.010 * [taylor]: Taking taylor expansion of (log (pow y -1/3)) in x 4.010 * [taylor]: Taking taylor expansion of (pow y -1/3) in x 4.010 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log y))) in x 4.010 * [taylor]: Taking taylor expansion of (* -1/3 (log y)) in x 4.010 * [taylor]: Taking taylor expansion of -1/3 in x 4.010 * [taylor]: Taking taylor expansion of (log y) in x 4.010 * [taylor]: Taking taylor expansion of y in x 4.011 * [taylor]: Taking taylor expansion of x in x 4.011 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 4.011 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 4.011 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 4.011 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 4.011 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 4.011 * [taylor]: Taking taylor expansion of 1/3 in x 4.011 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.011 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.011 * [taylor]: Taking taylor expansion of y in x 4.011 * [taylor]: Taking taylor expansion of x in x 4.011 * [taylor]: Taking taylor expansion of (+ (log (pow (/ 1 y) 1/3)) (* 2 (log (pow y -1/3)))) in y 4.011 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 4.011 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.011 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.011 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.011 * [taylor]: Taking taylor expansion of 1/3 in y 4.011 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.012 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.012 * [taylor]: Taking taylor expansion of y in y 4.013 * [taylor]: Taking taylor expansion of (* 2 (log (pow y -1/3))) in y 4.013 * [taylor]: Taking taylor expansion of 2 in y 4.013 * [taylor]: Taking taylor expansion of (log (pow y -1/3)) in y 4.013 * [taylor]: Taking taylor expansion of (pow y -1/3) in y 4.013 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log y))) in y 4.013 * [taylor]: Taking taylor expansion of (* -1/3 (log y)) in y 4.013 * [taylor]: Taking taylor expansion of -1/3 in y 4.013 * [taylor]: Taking taylor expansion of (log y) in y 4.013 * [taylor]: Taking taylor expansion of y in y 4.019 * [taylor]: Taking taylor expansion of 0 in y 4.034 * [taylor]: Taking taylor expansion of 0 in y 4.057 * [taylor]: Taking taylor expansion of 0 in y 4.058 * [approximate]: Taking taylor expansion of (- (+ (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) (* 2 (/ (log (pow (* -1 y) -1/3)) x)))) in (x y) around 0 4.058 * [taylor]: Taking taylor expansion of (- (+ (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) (* 2 (/ (log (pow (* -1 y) -1/3)) x)))) in y 4.058 * [taylor]: Taking taylor expansion of (+ (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) (* 2 (/ (log (pow (* -1 y) -1/3)) x))) in y 4.058 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 4.058 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 4.058 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 4.058 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.058 * [taylor]: Taking taylor expansion of -1 in y 4.059 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.059 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.059 * [taylor]: Taking taylor expansion of 1/3 in y 4.059 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.059 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.059 * [taylor]: Taking taylor expansion of y in y 4.060 * [taylor]: Taking taylor expansion of x in y 4.061 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (* -1 y) -1/3)) x)) in y 4.061 * [taylor]: Taking taylor expansion of 2 in y 4.061 * [taylor]: Taking taylor expansion of (/ (log (pow (* -1 y) -1/3)) x) in y 4.061 * [taylor]: Taking taylor expansion of (log (pow (* -1 y) -1/3)) in y 4.061 * [taylor]: Taking taylor expansion of (pow (* -1 y) -1/3) in y 4.061 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (* -1 y)))) in y 4.061 * [taylor]: Taking taylor expansion of (* -1/3 (log (* -1 y))) in y 4.061 * [taylor]: Taking taylor expansion of -1/3 in y 4.061 * [taylor]: Taking taylor expansion of (log (* -1 y)) in y 4.061 * [taylor]: Taking taylor expansion of (* -1 y) in y 4.061 * [taylor]: Taking taylor expansion of -1 in y 4.061 * [taylor]: Taking taylor expansion of y in y 4.068 * [taylor]: Taking taylor expansion of x in y 4.069 * [taylor]: Taking taylor expansion of (- (+ (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) (* 2 (/ (log (pow (* -1 y) -1/3)) x)))) in x 4.069 * [taylor]: Taking taylor expansion of (+ (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) (* 2 (/ (log (pow (* -1 y) -1/3)) x))) in x 4.069 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 4.069 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 4.069 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 4.069 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.069 * [taylor]: Taking taylor expansion of -1 in x 4.069 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 4.070 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 4.070 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 4.070 * [taylor]: Taking taylor expansion of 1/3 in x 4.070 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.070 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.070 * [taylor]: Taking taylor expansion of y in x 4.071 * [taylor]: Taking taylor expansion of x in x 4.071 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (* -1 y) -1/3)) x)) in x 4.071 * [taylor]: Taking taylor expansion of 2 in x 4.071 * [taylor]: Taking taylor expansion of (/ (log (pow (* -1 y) -1/3)) x) in x 4.071 * [taylor]: Taking taylor expansion of (log (pow (* -1 y) -1/3)) in x 4.071 * [taylor]: Taking taylor expansion of (pow (* -1 y) -1/3) in x 4.071 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (* -1 y)))) in x 4.071 * [taylor]: Taking taylor expansion of (* -1/3 (log (* -1 y))) in x 4.071 * [taylor]: Taking taylor expansion of -1/3 in x 4.071 * [taylor]: Taking taylor expansion of (log (* -1 y)) in x 4.071 * [taylor]: Taking taylor expansion of (* -1 y) in x 4.071 * [taylor]: Taking taylor expansion of -1 in x 4.071 * [taylor]: Taking taylor expansion of y in x 4.071 * [taylor]: Taking taylor expansion of x in x 4.072 * [taylor]: Taking taylor expansion of (- (+ (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) (* 2 (/ (log (pow (* -1 y) -1/3)) x)))) in x 4.072 * [taylor]: Taking taylor expansion of (+ (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) (* 2 (/ (log (pow (* -1 y) -1/3)) x))) in x 4.072 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 4.072 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 4.072 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 4.072 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.072 * [taylor]: Taking taylor expansion of -1 in x 4.072 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 4.072 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 4.072 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 4.072 * [taylor]: Taking taylor expansion of 1/3 in x 4.072 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.072 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.072 * [taylor]: Taking taylor expansion of y in x 4.073 * [taylor]: Taking taylor expansion of x in x 4.074 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (* -1 y) -1/3)) x)) in x 4.074 * [taylor]: Taking taylor expansion of 2 in x 4.074 * [taylor]: Taking taylor expansion of (/ (log (pow (* -1 y) -1/3)) x) in x 4.074 * [taylor]: Taking taylor expansion of (log (pow (* -1 y) -1/3)) in x 4.074 * [taylor]: Taking taylor expansion of (pow (* -1 y) -1/3) in x 4.074 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (* -1 y)))) in x 4.074 * [taylor]: Taking taylor expansion of (* -1/3 (log (* -1 y))) in x 4.074 * [taylor]: Taking taylor expansion of -1/3 in x 4.074 * [taylor]: Taking taylor expansion of (log (* -1 y)) in x 4.074 * [taylor]: Taking taylor expansion of (* -1 y) in x 4.074 * [taylor]: Taking taylor expansion of -1 in x 4.074 * [taylor]: Taking taylor expansion of y in x 4.074 * [taylor]: Taking taylor expansion of x in x 4.075 * [taylor]: Taking taylor expansion of (- (+ (* 2 (log (pow (* -1 y) -1/3))) (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in y 4.075 * [taylor]: Taking taylor expansion of (+ (* 2 (log (pow (* -1 y) -1/3))) (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in y 4.075 * [taylor]: Taking taylor expansion of (* 2 (log (pow (* -1 y) -1/3))) in y 4.076 * [taylor]: Taking taylor expansion of 2 in y 4.076 * [taylor]: Taking taylor expansion of (log (pow (* -1 y) -1/3)) in y 4.076 * [taylor]: Taking taylor expansion of (pow (* -1 y) -1/3) in y 4.076 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (* -1 y)))) in y 4.076 * [taylor]: Taking taylor expansion of (* -1/3 (log (* -1 y))) in y 4.076 * [taylor]: Taking taylor expansion of -1/3 in y 4.076 * [taylor]: Taking taylor expansion of (log (* -1 y)) in y 4.076 * [taylor]: Taking taylor expansion of (* -1 y) in y 4.076 * [taylor]: Taking taylor expansion of -1 in y 4.076 * [taylor]: Taking taylor expansion of y in y 4.078 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 4.078 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 4.078 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.078 * [taylor]: Taking taylor expansion of -1 in y 4.079 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.079 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.079 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.079 * [taylor]: Taking taylor expansion of 1/3 in y 4.079 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.079 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.079 * [taylor]: Taking taylor expansion of y in y 4.090 * [taylor]: Taking taylor expansion of 0 in y 4.111 * [taylor]: Taking taylor expansion of 0 in y 4.143 * [taylor]: Taking taylor expansion of 0 in y 4.144 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 4.144 * [approximate]: Taking taylor expansion of (* 2 (* x (log (pow (/ 1 y) -1/3)))) in (x y) around 0 4.144 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow (/ 1 y) -1/3)))) in y 4.144 * [taylor]: Taking taylor expansion of 2 in y 4.144 * [taylor]: Taking taylor expansion of (* x (log (pow (/ 1 y) -1/3))) in y 4.144 * [taylor]: Taking taylor expansion of x in y 4.144 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) -1/3)) in y 4.144 * [taylor]: Taking taylor expansion of (pow (/ 1 y) -1/3) in y 4.144 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (/ 1 y)))) in y 4.144 * [taylor]: Taking taylor expansion of (* -1/3 (log (/ 1 y))) in y 4.144 * [taylor]: Taking taylor expansion of -1/3 in y 4.144 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.144 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.144 * [taylor]: Taking taylor expansion of y in y 4.145 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow (/ 1 y) -1/3)))) in x 4.145 * [taylor]: Taking taylor expansion of 2 in x 4.145 * [taylor]: Taking taylor expansion of (* x (log (pow (/ 1 y) -1/3))) in x 4.145 * [taylor]: Taking taylor expansion of x in x 4.145 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) -1/3)) in x 4.145 * [taylor]: Taking taylor expansion of (pow (/ 1 y) -1/3) in x 4.146 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (/ 1 y)))) in x 4.146 * [taylor]: Taking taylor expansion of (* -1/3 (log (/ 1 y))) in x 4.146 * [taylor]: Taking taylor expansion of -1/3 in x 4.146 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.146 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.146 * [taylor]: Taking taylor expansion of y in x 4.146 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow (/ 1 y) -1/3)))) in x 4.146 * [taylor]: Taking taylor expansion of 2 in x 4.146 * [taylor]: Taking taylor expansion of (* x (log (pow (/ 1 y) -1/3))) in x 4.146 * [taylor]: Taking taylor expansion of x in x 4.146 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) -1/3)) in x 4.146 * [taylor]: Taking taylor expansion of (pow (/ 1 y) -1/3) in x 4.146 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (/ 1 y)))) in x 4.146 * [taylor]: Taking taylor expansion of (* -1/3 (log (/ 1 y))) in x 4.146 * [taylor]: Taking taylor expansion of -1/3 in x 4.146 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.146 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.146 * [taylor]: Taking taylor expansion of y in x 4.147 * [taylor]: Taking taylor expansion of 0 in y 4.149 * [taylor]: Taking taylor expansion of (* 2 (log (pow (/ 1 y) -1/3))) in y 4.149 * [taylor]: Taking taylor expansion of 2 in y 4.149 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) -1/3)) in y 4.149 * [taylor]: Taking taylor expansion of (pow (/ 1 y) -1/3) in y 4.149 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (/ 1 y)))) in y 4.149 * [taylor]: Taking taylor expansion of (* -1/3 (log (/ 1 y))) in y 4.149 * [taylor]: Taking taylor expansion of -1/3 in y 4.149 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.149 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.149 * [taylor]: Taking taylor expansion of y in y 4.161 * [taylor]: Taking taylor expansion of 0 in y 4.171 * [taylor]: Taking taylor expansion of 0 in y 4.171 * [approximate]: Taking taylor expansion of (* 2 (/ (log (pow y -1/3)) x)) in (x y) around 0 4.171 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow y -1/3)) x)) in y 4.171 * [taylor]: Taking taylor expansion of 2 in y 4.171 * [taylor]: Taking taylor expansion of (/ (log (pow y -1/3)) x) in y 4.171 * [taylor]: Taking taylor expansion of (log (pow y -1/3)) in y 4.171 * [taylor]: Taking taylor expansion of (pow y -1/3) in y 4.171 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log y))) in y 4.171 * [taylor]: Taking taylor expansion of (* -1/3 (log y)) in y 4.171 * [taylor]: Taking taylor expansion of -1/3 in y 4.171 * [taylor]: Taking taylor expansion of (log y) in y 4.171 * [taylor]: Taking taylor expansion of y in y 4.172 * [taylor]: Taking taylor expansion of x in y 4.172 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow y -1/3)) x)) in x 4.172 * [taylor]: Taking taylor expansion of 2 in x 4.172 * [taylor]: Taking taylor expansion of (/ (log (pow y -1/3)) x) in x 4.172 * [taylor]: Taking taylor expansion of (log (pow y -1/3)) in x 4.172 * [taylor]: Taking taylor expansion of (pow y -1/3) in x 4.172 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log y))) in x 4.172 * [taylor]: Taking taylor expansion of (* -1/3 (log y)) in x 4.172 * [taylor]: Taking taylor expansion of -1/3 in x 4.172 * [taylor]: Taking taylor expansion of (log y) in x 4.172 * [taylor]: Taking taylor expansion of y in x 4.172 * [taylor]: Taking taylor expansion of x in x 4.173 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow y -1/3)) x)) in x 4.173 * [taylor]: Taking taylor expansion of 2 in x 4.173 * [taylor]: Taking taylor expansion of (/ (log (pow y -1/3)) x) in x 4.173 * [taylor]: Taking taylor expansion of (log (pow y -1/3)) in x 4.173 * [taylor]: Taking taylor expansion of (pow y -1/3) in x 4.173 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log y))) in x 4.173 * [taylor]: Taking taylor expansion of (* -1/3 (log y)) in x 4.173 * [taylor]: Taking taylor expansion of -1/3 in x 4.173 * [taylor]: Taking taylor expansion of (log y) in x 4.173 * [taylor]: Taking taylor expansion of y in x 4.173 * [taylor]: Taking taylor expansion of x in x 4.173 * [taylor]: Taking taylor expansion of (* 2 (log (pow y -1/3))) in y 4.173 * [taylor]: Taking taylor expansion of 2 in y 4.173 * [taylor]: Taking taylor expansion of (log (pow y -1/3)) in y 4.173 * [taylor]: Taking taylor expansion of (pow y -1/3) in y 4.173 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log y))) in y 4.173 * [taylor]: Taking taylor expansion of (* -1/3 (log y)) in y 4.173 * [taylor]: Taking taylor expansion of -1/3 in y 4.173 * [taylor]: Taking taylor expansion of (log y) in y 4.173 * [taylor]: Taking taylor expansion of y in y 4.177 * [taylor]: Taking taylor expansion of 0 in y 4.184 * [taylor]: Taking taylor expansion of 0 in y 4.196 * [taylor]: Taking taylor expansion of 0 in y 4.196 * [approximate]: Taking taylor expansion of (* -2 (/ (log (pow (* -1 y) -1/3)) x)) in (x y) around 0 4.196 * [taylor]: Taking taylor expansion of (* -2 (/ (log (pow (* -1 y) -1/3)) x)) in y 4.196 * [taylor]: Taking taylor expansion of -2 in y 4.196 * [taylor]: Taking taylor expansion of (/ (log (pow (* -1 y) -1/3)) x) in y 4.196 * [taylor]: Taking taylor expansion of (log (pow (* -1 y) -1/3)) in y 4.196 * [taylor]: Taking taylor expansion of (pow (* -1 y) -1/3) in y 4.197 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (* -1 y)))) in y 4.197 * [taylor]: Taking taylor expansion of (* -1/3 (log (* -1 y))) in y 4.197 * [taylor]: Taking taylor expansion of -1/3 in y 4.197 * [taylor]: Taking taylor expansion of (log (* -1 y)) in y 4.197 * [taylor]: Taking taylor expansion of (* -1 y) in y 4.197 * [taylor]: Taking taylor expansion of -1 in y 4.197 * [taylor]: Taking taylor expansion of y in y 4.199 * [taylor]: Taking taylor expansion of x in y 4.199 * [taylor]: Taking taylor expansion of (* -2 (/ (log (pow (* -1 y) -1/3)) x)) in x 4.199 * [taylor]: Taking taylor expansion of -2 in x 4.199 * [taylor]: Taking taylor expansion of (/ (log (pow (* -1 y) -1/3)) x) in x 4.199 * [taylor]: Taking taylor expansion of (log (pow (* -1 y) -1/3)) in x 4.199 * [taylor]: Taking taylor expansion of (pow (* -1 y) -1/3) in x 4.199 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (* -1 y)))) in x 4.199 * [taylor]: Taking taylor expansion of (* -1/3 (log (* -1 y))) in x 4.199 * [taylor]: Taking taylor expansion of -1/3 in x 4.199 * [taylor]: Taking taylor expansion of (log (* -1 y)) in x 4.200 * [taylor]: Taking taylor expansion of (* -1 y) in x 4.200 * [taylor]: Taking taylor expansion of -1 in x 4.200 * [taylor]: Taking taylor expansion of y in x 4.200 * [taylor]: Taking taylor expansion of x in x 4.200 * [taylor]: Taking taylor expansion of (* -2 (/ (log (pow (* -1 y) -1/3)) x)) in x 4.200 * [taylor]: Taking taylor expansion of -2 in x 4.200 * [taylor]: Taking taylor expansion of (/ (log (pow (* -1 y) -1/3)) x) in x 4.200 * [taylor]: Taking taylor expansion of (log (pow (* -1 y) -1/3)) in x 4.200 * [taylor]: Taking taylor expansion of (pow (* -1 y) -1/3) in x 4.200 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (* -1 y)))) in x 4.200 * [taylor]: Taking taylor expansion of (* -1/3 (log (* -1 y))) in x 4.200 * [taylor]: Taking taylor expansion of -1/3 in x 4.200 * [taylor]: Taking taylor expansion of (log (* -1 y)) in x 4.200 * [taylor]: Taking taylor expansion of (* -1 y) in x 4.200 * [taylor]: Taking taylor expansion of -1 in x 4.200 * [taylor]: Taking taylor expansion of y in x 4.200 * [taylor]: Taking taylor expansion of x in x 4.201 * [taylor]: Taking taylor expansion of (* -2 (log (pow (* -1 y) -1/3))) in y 4.201 * [taylor]: Taking taylor expansion of -2 in y 4.201 * [taylor]: Taking taylor expansion of (log (pow (* -1 y) -1/3)) in y 4.201 * [taylor]: Taking taylor expansion of (pow (* -1 y) -1/3) in y 4.201 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log (* -1 y)))) in y 4.201 * [taylor]: Taking taylor expansion of (* -1/3 (log (* -1 y))) in y 4.201 * [taylor]: Taking taylor expansion of -1/3 in y 4.201 * [taylor]: Taking taylor expansion of (log (* -1 y)) in y 4.201 * [taylor]: Taking taylor expansion of (* -1 y) in y 4.201 * [taylor]: Taking taylor expansion of -1 in y 4.201 * [taylor]: Taking taylor expansion of y in y 4.207 * [taylor]: Taking taylor expansion of 0 in y 4.217 * [taylor]: Taking taylor expansion of 0 in y 4.231 * [taylor]: Taking taylor expansion of 0 in y 4.232 * * * [progress]: simplifying candidates 4.235 * [simplify]: Simplifying using # : (expm1 (pow (/ 1 y) -1/3)) (log1p (pow (/ 1 y) -1/3)) (* (- (log y)) -1/3) (* (- 0 (log y)) -1/3) (* (- (log 1) (log y)) -1/3) (* (log (/ 1 y)) -1/3) (* (log (/ 1 y)) -1/3) (* -1 -1/3) (* (- 1) -1/3) (* 1 -1/3) (pow (/ 1 y) (* (cbrt -1/3) (cbrt -1/3))) (pow (/ 1 y) (sqrt -1/3)) (pow (/ 1 y) 1) (pow (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) -1/3) (pow (cbrt (/ 1 y)) -1/3) (pow (sqrt (/ 1 y)) -1/3) (pow (sqrt (/ 1 y)) -1/3) (pow (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) -1/3) (pow (/ (cbrt 1) (cbrt y)) -1/3) (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) -1/3) (pow (/ (cbrt 1) (sqrt y)) -1/3) (pow (/ (* (cbrt 1) (cbrt 1)) 1) -1/3) (pow (/ (cbrt 1) y) -1/3) (pow (/ (sqrt 1) (* (cbrt y) (cbrt y))) -1/3) (pow (/ (sqrt 1) (cbrt y)) -1/3) (pow (/ (sqrt 1) (sqrt y)) -1/3) (pow (/ (sqrt 1) (sqrt y)) -1/3) (pow (/ (sqrt 1) 1) -1/3) (pow (/ (sqrt 1) y) -1/3) (pow (/ 1 (* (cbrt y) (cbrt y))) -1/3) (pow (/ 1 (cbrt y)) -1/3) (pow (/ 1 (sqrt y)) -1/3) (pow (/ 1 (sqrt y)) -1/3) (pow (/ 1 1) -1/3) (pow (/ 1 y) -1/3) (pow 1 -1/3) (pow (/ 1 y) -1/3) (pow 1 -1/3) (pow (/ 1 y) -1/3) (log (pow (/ 1 y) -1/3)) (exp (pow (/ 1 y) -1/3)) (* (cbrt (pow (/ 1 y) -1/3)) (cbrt (pow (/ 1 y) -1/3))) (cbrt (pow (/ 1 y) -1/3)) (* (* (pow (/ 1 y) -1/3) (pow (/ 1 y) -1/3)) (pow (/ 1 y) -1/3)) (sqrt (pow (/ 1 y) -1/3)) (sqrt (pow (/ 1 y) -1/3)) (pow (/ 1 y) (/ -1/3 2)) (pow (/ 1 y) (/ -1/3 2)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (+ (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* x (log (cbrt y))))) (log1p (+ (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* x (log (cbrt y))))) (* (exp (* x (* 2 (log (pow (/ 1 y) -1/3))))) (exp (* x (log (cbrt y))))) (log (+ (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* x (log (cbrt y))))) (exp (+ (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* x (log (cbrt y))))) (* (cbrt (+ (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* x (log (cbrt y))))) (cbrt (+ (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* x (log (cbrt y)))))) (cbrt (+ (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* x (log (cbrt y))))) (* (* (+ (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* x (log (cbrt y)))) (+ (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* x (log (cbrt y))))) (+ (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* x (log (cbrt y))))) (sqrt (+ (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* x (log (cbrt y))))) (sqrt (+ (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* x (log (cbrt y))))) (+ (pow (* x (* 2 (log (pow (/ 1 y) -1/3)))) 3) (pow (* x (log (cbrt y))) 3)) (+ (* (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* x (* 2 (log (pow (/ 1 y) -1/3))))) (- (* (* x (log (cbrt y))) (* x (log (cbrt y)))) (* (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* x (log (cbrt y)))))) (- (* (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* x (* 2 (log (pow (/ 1 y) -1/3))))) (* (* x (log (cbrt y))) (* x (log (cbrt y))))) (- (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* x (log (cbrt y)))) (+ (* 2 (log (pow (/ 1 y) -1/3))) (log (cbrt y))) (+ (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* x (log (cbrt (* (cbrt y) (cbrt y)))))) (+ (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* x (log (cbrt (sqrt y))))) (+ (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* x (log (cbrt 1)))) (+ (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* x (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))))) (+ (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* x (log (sqrt (cbrt y))))) (+ (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* x (log 1))) (+ (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* (log (cbrt (* (cbrt y) (cbrt y)))) x)) (+ (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* (log (cbrt (sqrt y))) x)) (+ (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* (log (cbrt 1)) x)) (+ (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) x)) (+ (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* (log (sqrt (cbrt y))) x)) (+ (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* (log 1) x)) (+ (* x (* 2 (log (pow (cbrt (/ 1 y)) -1/3)))) (* x (log (cbrt y)))) (+ (* x (* 2 (log (pow (sqrt (/ 1 y)) -1/3)))) (* x (log (cbrt y)))) (+ (* x (* 2 (log (pow (/ (cbrt 1) (cbrt y)) -1/3)))) (* x (log (cbrt y)))) (+ (* x (* 2 (log (pow (/ (cbrt 1) (sqrt y)) -1/3)))) (* x (log (cbrt y)))) (+ (* x (* 2 (log (pow (/ (cbrt 1) y) -1/3)))) (* x (log (cbrt y)))) (+ (* x (* 2 (log (pow (/ (sqrt 1) (cbrt y)) -1/3)))) (* x (log (cbrt y)))) (+ (* x (* 2 (log (pow (/ (sqrt 1) (sqrt y)) -1/3)))) (* x (log (cbrt y)))) (+ (* x (* 2 (log (pow (/ (sqrt 1) y) -1/3)))) (* x (log (cbrt y)))) (+ (* x (* 2 (log (pow (/ 1 (cbrt y)) -1/3)))) (* x (log (cbrt y)))) (+ (* x (* 2 (log (pow (/ 1 (sqrt y)) -1/3)))) (* x (log (cbrt y)))) (+ (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* x (log (cbrt y)))) (+ (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* x (log (cbrt y)))) (+ (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* x (log (cbrt y)))) (+ (* x (* 2 (log (cbrt (pow (/ 1 y) -1/3))))) (* x (log (cbrt y)))) (+ (* x (* 2 (log (sqrt (pow (/ 1 y) -1/3))))) (* x (log (cbrt y)))) (+ (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* x (log (cbrt y)))) (+ (* x (* 2 (log (pow (/ 1 y) (/ -1/3 2))))) (* x (log (cbrt y)))) (+ (* x (* (log (pow (cbrt (/ 1 y)) -1/3)) 2)) (* x (log (cbrt y)))) (+ (* x (* (log (pow (sqrt (/ 1 y)) -1/3)) 2)) (* x (log (cbrt y)))) (+ (* x (* (log (pow (/ (cbrt 1) (cbrt y)) -1/3)) 2)) (* x (log (cbrt y)))) (+ (* x (* (log (pow (/ (cbrt 1) (sqrt y)) -1/3)) 2)) (* x (log (cbrt y)))) (+ (* x (* (log (pow (/ (cbrt 1) y) -1/3)) 2)) (* x (log (cbrt y)))) (+ (* x (* (log (pow (/ (sqrt 1) (cbrt y)) -1/3)) 2)) (* x (log (cbrt y)))) (+ (* x (* (log (pow (/ (sqrt 1) (sqrt y)) -1/3)) 2)) (* x (log (cbrt y)))) (+ (* x (* (log (pow (/ (sqrt 1) y) -1/3)) 2)) (* x (log (cbrt y)))) (+ (* x (* (log (pow (/ 1 (cbrt y)) -1/3)) 2)) (* x (log (cbrt y)))) (+ (* x (* (log (pow (/ 1 (sqrt y)) -1/3)) 2)) (* x (log (cbrt y)))) (+ (* x (* (log (pow (/ 1 y) -1/3)) 2)) (* x (log (cbrt y)))) (+ (* x (* (log (pow (/ 1 y) -1/3)) 2)) (* x (log (cbrt y)))) (+ (* x (* (log (pow (/ 1 y) -1/3)) 2)) (* x (log (cbrt y)))) (+ (* x (* (log (cbrt (pow (/ 1 y) -1/3))) 2)) (* x (log (cbrt y)))) (+ (* x (* (log (sqrt (pow (/ 1 y) -1/3))) 2)) (* x (log (cbrt y)))) (+ (* x (* (log (pow (/ 1 y) -1/3)) 2)) (* x (log (cbrt y)))) (+ (* x (* (log (pow (/ 1 y) (/ -1/3 2))) 2)) (* x (log (cbrt y)))) (+ (* (* 2 (log (pow (cbrt (/ 1 y)) -1/3))) x) (* x (log (cbrt y)))) (+ (* (* 2 (log (pow (sqrt (/ 1 y)) -1/3))) x) (* x (log (cbrt y)))) (+ (* (* 2 (log (pow (/ (cbrt 1) (cbrt y)) -1/3))) x) (* x (log (cbrt y)))) (+ (* (* 2 (log (pow (/ (cbrt 1) (sqrt y)) -1/3))) x) (* x (log (cbrt y)))) (+ (* (* 2 (log (pow (/ (cbrt 1) y) -1/3))) x) (* x (log (cbrt y)))) (+ (* (* 2 (log (pow (/ (sqrt 1) (cbrt y)) -1/3))) x) (* x (log (cbrt y)))) (+ (* (* 2 (log (pow (/ (sqrt 1) (sqrt y)) -1/3))) x) (* x (log (cbrt y)))) (+ (* (* 2 (log (pow (/ (sqrt 1) y) -1/3))) x) (* x (log (cbrt y)))) (+ (* (* 2 (log (pow (/ 1 (cbrt y)) -1/3))) x) (* x (log (cbrt y)))) (+ (* (* 2 (log (pow (/ 1 (sqrt y)) -1/3))) x) (* x (log (cbrt y)))) (+ (* (* 2 (log (pow (/ 1 y) -1/3))) x) (* x (log (cbrt y)))) (+ (* (* 2 (log (pow (/ 1 y) -1/3))) x) (* x (log (cbrt y)))) (+ (* (* 2 (log (pow (/ 1 y) -1/3))) x) (* x (log (cbrt y)))) (+ (* (* 2 (log (cbrt (pow (/ 1 y) -1/3)))) x) (* x (log (cbrt y)))) (+ (* (* 2 (log (sqrt (pow (/ 1 y) -1/3)))) x) (* x (log (cbrt y)))) (+ (* (* 2 (log (pow (/ 1 y) -1/3))) x) (* x (log (cbrt y)))) (+ (* (* 2 (log (pow (/ 1 y) (/ -1/3 2)))) x) (* x (log (cbrt y)))) (+ (* (* (log (pow (cbrt (/ 1 y)) -1/3)) 2) x) (* x (log (cbrt y)))) (+ (* (* (log (pow (sqrt (/ 1 y)) -1/3)) 2) x) (* x (log (cbrt y)))) (+ (* (* (log (pow (/ (cbrt 1) (cbrt y)) -1/3)) 2) x) (* x (log (cbrt y)))) (+ (* (* (log (pow (/ (cbrt 1) (sqrt y)) -1/3)) 2) x) (* x (log (cbrt y)))) (+ (* (* (log (pow (/ (cbrt 1) y) -1/3)) 2) x) (* x (log (cbrt y)))) (+ (* (* (log (pow (/ (sqrt 1) (cbrt y)) -1/3)) 2) x) (* x (log (cbrt y)))) (+ (* (* (log (pow (/ (sqrt 1) (sqrt y)) -1/3)) 2) x) (* x (log (cbrt y)))) (+ (* (* (log (pow (/ (sqrt 1) y) -1/3)) 2) x) (* x (log (cbrt y)))) (+ (* (* (log (pow (/ 1 (cbrt y)) -1/3)) 2) x) (* x (log (cbrt y)))) (+ (* (* (log (pow (/ 1 (sqrt y)) -1/3)) 2) x) (* x (log (cbrt y)))) (+ (* (* (log (pow (/ 1 y) -1/3)) 2) x) (* x (log (cbrt y)))) (+ (* (* (log (pow (/ 1 y) -1/3)) 2) x) (* x (log (cbrt y)))) (+ (* (* (log (pow (/ 1 y) -1/3)) 2) x) (* x (log (cbrt y)))) (+ (* (* (log (cbrt (pow (/ 1 y) -1/3))) 2) x) (* x (log (cbrt y)))) (+ (* (* (log (sqrt (pow (/ 1 y) -1/3))) 2) x) (* x (log (cbrt y)))) (+ (* (* (log (pow (/ 1 y) -1/3)) 2) x) (* x (log (cbrt y)))) (+ (* (* (log (pow (/ 1 y) (/ -1/3 2))) 2) x) (* x (log (cbrt y)))) (expm1 (* x (* 2 (log (pow (/ 1 y) -1/3))))) (log1p (* x (* 2 (log (pow (/ 1 y) -1/3))))) (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* x (* 2 (log (pow (/ 1 y) -1/3)))) (+ (log x) (+ (log 2) (log (log (pow (/ 1 y) -1/3))))) (+ (log x) (log (* 2 (log (pow (/ 1 y) -1/3))))) (log (* x (* 2 (log (pow (/ 1 y) -1/3))))) (exp (* x (* 2 (log (pow (/ 1 y) -1/3))))) (* (* (* x x) x) (* (* (* 2 2) 2) (* (* (log (pow (/ 1 y) -1/3)) (log (pow (/ 1 y) -1/3))) (log (pow (/ 1 y) -1/3))))) (* (* (* x x) x) (* (* (* 2 (log (pow (/ 1 y) -1/3))) (* 2 (log (pow (/ 1 y) -1/3)))) (* 2 (log (pow (/ 1 y) -1/3))))) (* (cbrt (* x (* 2 (log (pow (/ 1 y) -1/3))))) (cbrt (* x (* 2 (log (pow (/ 1 y) -1/3)))))) (cbrt (* x (* 2 (log (pow (/ 1 y) -1/3))))) (* (* (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* x (* 2 (log (pow (/ 1 y) -1/3))))) (* x (* 2 (log (pow (/ 1 y) -1/3))))) (sqrt (* x (* 2 (log (pow (/ 1 y) -1/3))))) (sqrt (* x (* 2 (log (pow (/ 1 y) -1/3))))) (* x (* 2 (log (pow (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) -1/3)))) (* x (* 2 (log (pow (cbrt (/ 1 y)) -1/3)))) (* x (* 2 (log (pow (sqrt (/ 1 y)) -1/3)))) (* x (* 2 (log (pow (sqrt (/ 1 y)) -1/3)))) (* x (* 2 (log (pow (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) -1/3)))) (* x (* 2 (log (pow (/ (cbrt 1) (cbrt y)) -1/3)))) (* x (* 2 (log (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) -1/3)))) (* x (* 2 (log (pow (/ (cbrt 1) (sqrt y)) -1/3)))) (* x (* 2 (log (pow (/ (* (cbrt 1) (cbrt 1)) 1) -1/3)))) (* x (* 2 (log (pow (/ (cbrt 1) y) -1/3)))) (* x (* 2 (log (pow (/ (sqrt 1) (* (cbrt y) (cbrt y))) -1/3)))) (* x (* 2 (log (pow (/ (sqrt 1) (cbrt y)) -1/3)))) (* x (* 2 (log (pow (/ (sqrt 1) (sqrt y)) -1/3)))) (* x (* 2 (log (pow (/ (sqrt 1) (sqrt y)) -1/3)))) (* x (* 2 (log (pow (/ (sqrt 1) 1) -1/3)))) (* x (* 2 (log (pow (/ (sqrt 1) y) -1/3)))) (* x (* 2 (log (pow (/ 1 (* (cbrt y) (cbrt y))) -1/3)))) (* x (* 2 (log (pow (/ 1 (cbrt y)) -1/3)))) (* x (* 2 (log (pow (/ 1 (sqrt y)) -1/3)))) (* x (* 2 (log (pow (/ 1 (sqrt y)) -1/3)))) (* x (* 2 (log (pow (/ 1 1) -1/3)))) (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* x (* 2 (log (pow 1 -1/3)))) (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* x (* 2 (log (pow 1 -1/3)))) (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* x (* 2 (log (* (cbrt (pow (/ 1 y) -1/3)) (cbrt (pow (/ 1 y) -1/3)))))) (* x (* 2 (log (cbrt (pow (/ 1 y) -1/3))))) (* x (* 2 (log (sqrt (pow (/ 1 y) -1/3))))) (* x (* 2 (log (sqrt (pow (/ 1 y) -1/3))))) (* x (* 2 (log 1))) (* x (* 2 (log (pow (/ 1 y) -1/3)))) (* x (* 2 (log (pow (/ 1 y) (/ -1/3 2))))) (* x (* 2 (log (pow (/ 1 y) (/ -1/3 2))))) (* x (* (log (pow (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) -1/3)) 2)) (* x (* (log (pow (cbrt (/ 1 y)) -1/3)) 2)) (* x (* (log (pow (sqrt (/ 1 y)) -1/3)) 2)) (* x (* (log (pow (sqrt (/ 1 y)) -1/3)) 2)) (* x (* (log (pow (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) -1/3)) 2)) (* x (* (log (pow (/ (cbrt 1) (cbrt y)) -1/3)) 2)) (* x (* (log (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) -1/3)) 2)) (* x (* (log (pow (/ (cbrt 1) (sqrt y)) -1/3)) 2)) (* x (* (log (pow (/ (* (cbrt 1) (cbrt 1)) 1) -1/3)) 2)) (* x (* (log (pow (/ (cbrt 1) y) -1/3)) 2)) (* x (* (log (pow (/ (sqrt 1) (* (cbrt y) (cbrt y))) -1/3)) 2)) (* x (* (log (pow (/ (sqrt 1) (cbrt y)) -1/3)) 2)) (* x (* (log (pow (/ (sqrt 1) (sqrt y)) -1/3)) 2)) (* x (* (log (pow (/ (sqrt 1) (sqrt y)) -1/3)) 2)) (* x (* (log (pow (/ (sqrt 1) 1) -1/3)) 2)) (* x (* (log (pow (/ (sqrt 1) y) -1/3)) 2)) (* x (* (log (pow (/ 1 (* (cbrt y) (cbrt y))) -1/3)) 2)) (* x (* (log (pow (/ 1 (cbrt y)) -1/3)) 2)) (* x (* (log (pow (/ 1 (sqrt y)) -1/3)) 2)) (* x (* (log (pow (/ 1 (sqrt y)) -1/3)) 2)) (* x (* (log (pow (/ 1 1) -1/3)) 2)) (* x (* (log (pow (/ 1 y) -1/3)) 2)) (* x (* (log (pow 1 -1/3)) 2)) (* x (* (log (pow (/ 1 y) -1/3)) 2)) (* x (* (log (pow 1 -1/3)) 2)) (* x (* (log (pow (/ 1 y) -1/3)) 2)) (* x (* (log (* (cbrt (pow (/ 1 y) -1/3)) (cbrt (pow (/ 1 y) -1/3)))) 2)) (* x (* (log (cbrt (pow (/ 1 y) -1/3))) 2)) (* x (* (log (sqrt (pow (/ 1 y) -1/3))) 2)) (* x (* (log (sqrt (pow (/ 1 y) -1/3))) 2)) (* x (* (log 1) 2)) (* x (* (log (pow (/ 1 y) -1/3)) 2)) (* x (* (log (pow (/ 1 y) (/ -1/3 2))) 2)) (* x (* (log (pow (/ 1 y) (/ -1/3 2))) 2)) (* (* 2 (log (pow (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) -1/3))) x) (* (* 2 (log (pow (cbrt (/ 1 y)) -1/3))) x) (* (* 2 (log (pow (sqrt (/ 1 y)) -1/3))) x) (* (* 2 (log (pow (sqrt (/ 1 y)) -1/3))) x) (* (* 2 (log (pow (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) -1/3))) x) (* (* 2 (log (pow (/ (cbrt 1) (cbrt y)) -1/3))) x) (* (* 2 (log (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) -1/3))) x) (* (* 2 (log (pow (/ (cbrt 1) (sqrt y)) -1/3))) x) (* (* 2 (log (pow (/ (* (cbrt 1) (cbrt 1)) 1) -1/3))) x) (* (* 2 (log (pow (/ (cbrt 1) y) -1/3))) x) (* (* 2 (log (pow (/ (sqrt 1) (* (cbrt y) (cbrt y))) -1/3))) x) (* (* 2 (log (pow (/ (sqrt 1) (cbrt y)) -1/3))) x) (* (* 2 (log (pow (/ (sqrt 1) (sqrt y)) -1/3))) x) (* (* 2 (log (pow (/ (sqrt 1) (sqrt y)) -1/3))) x) (* (* 2 (log (pow (/ (sqrt 1) 1) -1/3))) x) (* (* 2 (log (pow (/ (sqrt 1) y) -1/3))) x) (* (* 2 (log (pow (/ 1 (* (cbrt y) (cbrt y))) -1/3))) x) (* (* 2 (log (pow (/ 1 (cbrt y)) -1/3))) x) (* (* 2 (log (pow (/ 1 (sqrt y)) -1/3))) x) (* (* 2 (log (pow (/ 1 (sqrt y)) -1/3))) x) (* (* 2 (log (pow (/ 1 1) -1/3))) x) (* (* 2 (log (pow (/ 1 y) -1/3))) x) (* (* 2 (log (pow 1 -1/3))) x) (* (* 2 (log (pow (/ 1 y) -1/3))) x) (* (* 2 (log (pow 1 -1/3))) x) (* (* 2 (log (pow (/ 1 y) -1/3))) x) (* (* 2 (log (* (cbrt (pow (/ 1 y) -1/3)) (cbrt (pow (/ 1 y) -1/3))))) x) (* (* 2 (log (cbrt (pow (/ 1 y) -1/3)))) x) (* (* 2 (log (sqrt (pow (/ 1 y) -1/3)))) x) (* (* 2 (log (sqrt (pow (/ 1 y) -1/3)))) x) (* (* 2 (log 1)) x) (* (* 2 (log (pow (/ 1 y) -1/3))) x) (* (* 2 (log (pow (/ 1 y) (/ -1/3 2)))) x) (* (* 2 (log (pow (/ 1 y) (/ -1/3 2)))) x) (* (* (log (pow (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) -1/3)) 2) x) (* (* (log (pow (cbrt (/ 1 y)) -1/3)) 2) x) (* (* (log (pow (sqrt (/ 1 y)) -1/3)) 2) x) (* (* (log (pow (sqrt (/ 1 y)) -1/3)) 2) x) (* (* (log (pow (/ (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y))) -1/3)) 2) x) (* (* (log (pow (/ (cbrt 1) (cbrt y)) -1/3)) 2) x) (* (* (log (pow (/ (* (cbrt 1) (cbrt 1)) (sqrt y)) -1/3)) 2) x) (* (* (log (pow (/ (cbrt 1) (sqrt y)) -1/3)) 2) x) (* (* (log (pow (/ (* (cbrt 1) (cbrt 1)) 1) -1/3)) 2) x) (* (* (log (pow (/ (cbrt 1) y) -1/3)) 2) x) (* (* (log (pow (/ (sqrt 1) (* (cbrt y) (cbrt y))) -1/3)) 2) x) (* (* (log (pow (/ (sqrt 1) (cbrt y)) -1/3)) 2) x) (* (* (log (pow (/ (sqrt 1) (sqrt y)) -1/3)) 2) x) (* (* (log (pow (/ (sqrt 1) (sqrt y)) -1/3)) 2) x) (* (* (log (pow (/ (sqrt 1) 1) -1/3)) 2) x) (* (* (log (pow (/ (sqrt 1) y) -1/3)) 2) x) (* (* (log (pow (/ 1 (* (cbrt y) (cbrt y))) -1/3)) 2) x) (* (* (log (pow (/ 1 (cbrt y)) -1/3)) 2) x) (* (* (log (pow (/ 1 (sqrt y)) -1/3)) 2) x) (* (* (log (pow (/ 1 (sqrt y)) -1/3)) 2) x) (* (* (log (pow (/ 1 1) -1/3)) 2) x) (* (* (log (pow (/ 1 y) -1/3)) 2) x) (* (* (log (pow 1 -1/3)) 2) x) (* (* (log (pow (/ 1 y) -1/3)) 2) x) (* (* (log (pow 1 -1/3)) 2) x) (* (* (log (pow (/ 1 y) -1/3)) 2) x) (* (* (log (* (cbrt (pow (/ 1 y) -1/3)) (cbrt (pow (/ 1 y) -1/3)))) 2) x) (* (* (log (cbrt (pow (/ 1 y) -1/3))) 2) x) (* (* (log (sqrt (pow (/ 1 y) -1/3))) 2) x) (* (* (log (sqrt (pow (/ 1 y) -1/3))) 2) x) (* (* (log 1) 2) x) (* (* (log (pow (/ 1 y) -1/3)) 2) x) (* (* (log (pow (/ 1 y) (/ -1/3 2))) 2) x) (* (* (log (pow (/ 1 y) (/ -1/3 2))) 2) x) (* x 2) (* (cbrt x) (* 2 (log (pow (/ 1 y) -1/3)))) (* (sqrt x) (* 2 (log (pow (/ 1 y) -1/3)))) (* x (* 2 (log (pow (/ 1 y) -1/3)))) (pow y 1/3) (pow (/ 1 y) -1/3) (exp (* -1/3 (+ (log -1) (log (/ -1 y))))) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (* 3 (* x (log (pow y 1/3)))) (* 3 (* x (log (pow (/ 1 y) -1/3)))) (* -1 (* x (- (+ (* 2/3 (log -1)) (* 2/3 (log (/ -1 y)))) (log (* (pow (* -1 y) 1/3) (cbrt -1)))))) (* 2 (* x (log (pow y 1/3)))) (* 2 (* x (log (pow (/ 1 y) -1/3)))) (* -2/3 (* (+ (log -1) (log (/ -1 y))) x)) 4.256 * * [simplify]: iteration 0 : 436 enodes (cost 4077 ) 4.394 * * [simplify]: iteration 1 : 956 enodes (cost 3392 ) 4.662 * * [simplify]: iteration 2 : 2251 enodes (cost 2622 ) 5.237 * * [simplify]: iteration done : 5000 enodes (cost 2563 ) 5.239 * [simplify]: Simplified to: (expm1 (pow (/ 1 y) -1/3)) (log1p (pow (/ 1 y) -1/3)) (log (cbrt y)) (log (cbrt y)) (log (cbrt y)) (log (cbrt y)) (log (cbrt y)) 1/3 1/3 -1/3 (pow (/ 1 y) (* (cbrt -1/3) (cbrt -1/3))) (pow (/ 1 y) (sqrt -1/3)) (/ 1 y) (pow (* (cbrt (/ 1 y)) (cbrt (/ 1 y))) -1/3) (pow (cbrt (/ 1 y)) -1/3) (pow (sqrt (/ 1 y)) -1/3) (pow (sqrt (/ 1 y)) -1/3) (pow (/ 1 (pow y 2/3)) -1/3) (pow (/ 1 (cbrt y)) -1/3) (pow (/ 1 (sqrt y)) -1/3) (pow (/ 1 (sqrt y)) -1/3) 1 (pow (/ 1 y) -1/3) (pow (/ 1 (pow y 2/3)) -1/3) (pow (/ 1 (cbrt y)) -1/3) (pow (/ 1 (sqrt y)) -1/3) (pow (/ 1 (sqrt y)) -1/3) 1 (pow (/ 1 y) -1/3) (pow (/ 1 (pow y 2/3)) -1/3) (pow (/ 1 (cbrt y)) -1/3) (pow (/ 1 (sqrt y)) -1/3) (pow (/ 1 (sqrt y)) -1/3) 1 (pow (/ 1 y) -1/3) 1 (pow (/ 1 y) -1/3) 1 (pow (/ 1 y) -1/3) (log (cbrt y)) (exp (pow (/ 1 y) -1/3)) (* (cbrt (pow (/ 1 y) -1/3)) (cbrt (pow (/ 1 y) -1/3))) (cbrt (pow (/ 1 y) -1/3)) (pow (pow (/ 1 y) -1/3) 3) (sqrt (pow (/ 1 y) -1/3)) (sqrt (pow (/ 1 y) -1/3)) (pow (/ 1 y) -1/6) (pow (/ 1 y) -1/6) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (pow (cbrt y) 3) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (* x (fma 2 (log (cbrt y)) (log (cbrt y))))) (log1p (* x (fma 2 (log (cbrt y)) (log (cbrt y))))) (pow (exp x) (fma 2 (log (cbrt y)) (log (cbrt y)))) (log (* x (fma 2 (log (cbrt y)) (log (cbrt y))))) (pow (exp x) (fma 2 (log (cbrt y)) (log (cbrt y)))) (* (cbrt (* x (fma 2 (log (cbrt y)) (log (cbrt y))))) (cbrt (* x (fma 2 (log (cbrt y)) (log (cbrt y)))))) (cbrt (* x (fma 2 (log (cbrt y)) (log (cbrt y))))) (pow (* x (fma 2 (log (cbrt y)) (log (cbrt y)))) 3) (sqrt (* x (fma 2 (log (cbrt y)) (log (cbrt y))))) (sqrt (* x (fma 2 (log (cbrt y)) (log (cbrt y))))) (* (pow x 3) (+ (pow (* (log y) 2/3) 3) (pow (log (cbrt y)) 3))) (fma (* x (* (log y) 2/3)) (* x (* (log y) 2/3)) (* (* x (log (cbrt y))) (* x (- (log (cbrt y)) (* (log y) 2/3))))) (* (* x x) (- (* 4 (* (log (cbrt y)) (log (cbrt y)))) (* (log (cbrt y)) (log (cbrt y))))) (* (- (* (log y) 2/3) (log (cbrt y))) x) (fma 2 (log (cbrt y)) (log (cbrt y))) (* x (fma (log (cbrt y)) 2 (log (cbrt (pow y 2/3))))) (* (fma (log (cbrt y)) 2 (log (cbrt (sqrt y)))) x) (fma (* (log y) 2/3) x 0) (* x (fma 2 (log (cbrt y)) (* 2 (log (cbrt (cbrt y)))))) (* x (fma (log (cbrt y)) 2 (log (sqrt (cbrt y))))) (fma (* (log y) 2/3) x 0) (* x (fma (log (cbrt y)) 2 (log (cbrt (pow y 2/3))))) (* (fma (log (cbrt y)) 2 (log (cbrt (sqrt y)))) x) (fma (* (log y) 2/3) x 0) (* x (fma 2 (log (cbrt y)) (* 2 (log (cbrt (cbrt y)))))) (* x (fma (log (cbrt y)) 2 (log (sqrt (cbrt y))))) (fma (* (log y) 2/3) x 0) (* x (+ (log (cbrt y)) (* -2/3 (log (cbrt (/ 1 y)))))) (* x (+ (log (cbrt y)) (* -2/3 (log (sqrt (/ 1 y)))))) (* (+ (* -2/3 (- (log (cbrt y)))) (log (cbrt y))) x) (* x (+ (log (cbrt y)) (* -2/3 (- (log (sqrt y)))))) (* x (fma 2 (log (cbrt y)) (log (cbrt y)))) (* (+ (* -2/3 (- (log (cbrt y)))) (log (cbrt y))) x) (* x (+ (log (cbrt y)) (* -2/3 (- (log (sqrt y)))))) (* x (fma 2 (log (cbrt y)) (log (cbrt y)))) (* (+ (* -2/3 (- (log (cbrt y)))) (log (cbrt y))) x) (* x (+ (log (cbrt y)) (* -2/3 (- (log (sqrt y)))))) (* x (fma 2 (log (cbrt y)) (log (cbrt y)))) (* x (fma 2 (log (cbrt y)) (log (cbrt y)))) (* x (fma 2 (log (cbrt y)) (log (cbrt y)))) (* (fma 2 (log (cbrt (pow (/ 1 y) -1/3))) (log (cbrt y))) x) (* x (fma (log (sqrt (pow (/ 1 y) -1/3))) 2 (log (cbrt y)))) (* x (fma 2 (log (cbrt y)) (log (cbrt y)))) (* x (+ (log (cbrt y)) (log (cbrt y)))) (* x (+ (log (cbrt y)) (* -2/3 (log (cbrt (/ 1 y)))))) (* x (+ (log (cbrt y)) (* -2/3 (log (sqrt (/ 1 y)))))) (* (+ (* -2/3 (- (log (cbrt y)))) (log (cbrt y))) x) (* x (+ (log (cbrt y)) (* -2/3 (- (log (sqrt y)))))) (* x (fma 2 (log (cbrt y)) (log (cbrt y)))) (* (+ (* -2/3 (- (log (cbrt y)))) (log (cbrt y))) x) (* x (+ (log (cbrt y)) (* -2/3 (- (log (sqrt y)))))) (* x (fma 2 (log (cbrt y)) (log (cbrt y)))) (* (+ (* -2/3 (- (log (cbrt y)))) (log (cbrt y))) x) (* x (+ (log (cbrt y)) (* -2/3 (- (log (sqrt y)))))) (* x (fma 2 (log (cbrt y)) (log (cbrt y)))) (* x (fma 2 (log (cbrt y)) (log (cbrt y)))) (* x (fma 2 (log (cbrt y)) (log (cbrt y)))) (* (fma 2 (log (cbrt (pow (/ 1 y) -1/3))) (log (cbrt y))) x) (* x (fma (log (sqrt (pow (/ 1 y) -1/3))) 2 (log (cbrt y)))) (* x (fma 2 (log (cbrt y)) (log (cbrt y)))) (* x (+ (log (cbrt y)) (log (cbrt y)))) (* x (+ (log (cbrt y)) (* -2/3 (log (cbrt (/ 1 y)))))) (* x (+ (log (cbrt y)) (* -2/3 (log (sqrt (/ 1 y)))))) (* (+ (* -2/3 (- (log (cbrt y)))) (log (cbrt y))) x) (* x (+ (log (cbrt y)) (* -2/3 (- (log (sqrt y)))))) (* x (fma 2 (log (cbrt y)) (log (cbrt y)))) (* (+ (* -2/3 (- (log (cbrt y)))) (log (cbrt y))) x) (* x (+ (log (cbrt y)) (* -2/3 (- (log (sqrt y)))))) (* x (fma 2 (log (cbrt y)) (log (cbrt y)))) (* (+ (* -2/3 (- (log (cbrt y)))) (log (cbrt y))) x) (* x (+ (log (cbrt y)) (* -2/3 (- (log (sqrt y)))))) (* x (fma 2 (log (cbrt y)) (log (cbrt y)))) (* x (fma 2 (log (cbrt y)) (log (cbrt y)))) (* x (fma 2 (log (cbrt y)) (log (cbrt y)))) (* (fma 2 (log (cbrt (pow (/ 1 y) -1/3))) (log (cbrt y))) x) (* x (fma (log (sqrt (pow (/ 1 y) -1/3))) 2 (log (cbrt y)))) (* x (fma 2 (log (cbrt y)) (log (cbrt y)))) (* x (+ (log (cbrt y)) (log (cbrt y)))) (* x (+ (log (cbrt y)) (* -2/3 (log (cbrt (/ 1 y)))))) (* x (+ (log (cbrt y)) (* -2/3 (log (sqrt (/ 1 y)))))) (* (+ (* -2/3 (- (log (cbrt y)))) (log (cbrt y))) x) (* x (+ (log (cbrt y)) (* -2/3 (- (log (sqrt y)))))) (* x (fma 2 (log (cbrt y)) (log (cbrt y)))) (* (+ (* -2/3 (- (log (cbrt y)))) (log (cbrt y))) x) (* x (+ (log (cbrt y)) (* -2/3 (- (log (sqrt y)))))) (* x (fma 2 (log (cbrt y)) (log (cbrt y)))) (* (+ (* -2/3 (- (log (cbrt y)))) (log (cbrt y))) x) (* x (+ (log (cbrt y)) (* -2/3 (- (log (sqrt y)))))) (* x (fma 2 (log (cbrt y)) (log (cbrt y)))) (* x (fma 2 (log (cbrt y)) (log (cbrt y)))) (* x (fma 2 (log (cbrt y)) (log (cbrt y)))) (* (fma 2 (log (cbrt (pow (/ 1 y) -1/3))) (log (cbrt y))) x) (* x (fma (log (sqrt (pow (/ 1 y) -1/3))) 2 (log (cbrt y)))) (* x (fma 2 (log (cbrt y)) (log (cbrt y)))) (* x (+ (log (cbrt y)) (log (cbrt y)))) (expm1 (* x (* (log y) 2/3))) (log1p (* x (* (log y) 2/3))) (* x (* (log y) 2/3)) (* x (* (log y) 2/3)) (log (* x (* (log y) 2/3))) (log (* x (* (log y) 2/3))) (log (* x (* (log y) 2/3))) (pow (pow (cbrt y) x) 2) (pow (* x (* (log y) 2/3)) 3) (pow (* x (* (log y) 2/3)) 3) (* (cbrt (* x (* (log y) 2/3))) (cbrt (* x (* (log y) 2/3)))) (cbrt (* x (* (log y) 2/3))) (pow (* x (* (log y) 2/3)) 3) (sqrt (* x (* (log y) 2/3))) (sqrt (* x (* (log y) 2/3))) (* (* -2/3 (log (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))) x) (* (* -2/3 (log (cbrt (/ 1 y)))) x) (* (* -2/3 (log (sqrt (/ 1 y)))) x) (* (* -2/3 (log (sqrt (/ 1 y)))) x) (* (* -2/3 (- (log (pow y 2/3)))) x) (* (* -2/3 (- (log (cbrt y)))) x) (* x (* -2/3 (- (log (sqrt y))))) (* x (* -2/3 (- (log (sqrt y))))) 0 (* x (* (log y) 2/3)) (* (* -2/3 (- (log (pow y 2/3)))) x) (* (* -2/3 (- (log (cbrt y)))) x) (* x (* -2/3 (- (log (sqrt y))))) (* x (* -2/3 (- (log (sqrt y))))) 0 (* x (* (log y) 2/3)) (* (* -2/3 (- (log (pow y 2/3)))) x) (* (* -2/3 (- (log (cbrt y)))) x) (* x (* -2/3 (- (log (sqrt y))))) (* x (* -2/3 (- (log (sqrt y))))) 0 (* x (* (log y) 2/3)) 0 (* x (* (log y) 2/3)) 0 (* x (* (log y) 2/3)) (* x (* (log (cbrt (pow (/ 1 y) -1/3))) 4)) (* 2 (* (log (cbrt (pow (/ 1 y) -1/3))) x)) (* (* 2 (log (sqrt (pow (/ 1 y) -1/3)))) x) (* (* 2 (log (sqrt (pow (/ 1 y) -1/3)))) x) 0 (* x (* (log y) 2/3)) (* x (log (cbrt y))) (* x (log (cbrt y))) (* (* -2/3 (log (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))) x) (* (* -2/3 (log (cbrt (/ 1 y)))) x) (* (* -2/3 (log (sqrt (/ 1 y)))) x) (* (* -2/3 (log (sqrt (/ 1 y)))) x) (* (* -2/3 (- (log (pow y 2/3)))) x) (* (* -2/3 (- (log (cbrt y)))) x) (* x (* -2/3 (- (log (sqrt y))))) (* x (* -2/3 (- (log (sqrt y))))) 0 (* x (* (log y) 2/3)) (* (* -2/3 (- (log (pow y 2/3)))) x) (* (* -2/3 (- (log (cbrt y)))) x) (* x (* -2/3 (- (log (sqrt y))))) (* x (* -2/3 (- (log (sqrt y))))) 0 (* x (* (log y) 2/3)) (* (* -2/3 (- (log (pow y 2/3)))) x) (* (* -2/3 (- (log (cbrt y)))) x) (* x (* -2/3 (- (log (sqrt y))))) (* x (* -2/3 (- (log (sqrt y))))) 0 (* x (* (log y) 2/3)) 0 (* x (* (log y) 2/3)) 0 (* x (* (log y) 2/3)) (* x (* (log (cbrt (pow (/ 1 y) -1/3))) 4)) (* 2 (* (log (cbrt (pow (/ 1 y) -1/3))) x)) (* (* 2 (log (sqrt (pow (/ 1 y) -1/3)))) x) (* (* 2 (log (sqrt (pow (/ 1 y) -1/3)))) x) 0 (* x (* (log y) 2/3)) (* x (log (cbrt y))) (* x (log (cbrt y))) (* (* -2/3 (log (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))) x) (* (* -2/3 (log (cbrt (/ 1 y)))) x) (* (* -2/3 (log (sqrt (/ 1 y)))) x) (* (* -2/3 (log (sqrt (/ 1 y)))) x) (* (* -2/3 (- (log (pow y 2/3)))) x) (* (* -2/3 (- (log (cbrt y)))) x) (* x (* -2/3 (- (log (sqrt y))))) (* x (* -2/3 (- (log (sqrt y))))) 0 (* x (* (log y) 2/3)) (* (* -2/3 (- (log (pow y 2/3)))) x) (* (* -2/3 (- (log (cbrt y)))) x) (* x (* -2/3 (- (log (sqrt y))))) (* x (* -2/3 (- (log (sqrt y))))) 0 (* x (* (log y) 2/3)) (* (* -2/3 (- (log (pow y 2/3)))) x) (* (* -2/3 (- (log (cbrt y)))) x) (* x (* -2/3 (- (log (sqrt y))))) (* x (* -2/3 (- (log (sqrt y))))) 0 (* x (* (log y) 2/3)) 0 (* x (* (log y) 2/3)) 0 (* x (* (log y) 2/3)) (* x (* (log (cbrt (pow (/ 1 y) -1/3))) 4)) (* 2 (* (log (cbrt (pow (/ 1 y) -1/3))) x)) (* (* 2 (log (sqrt (pow (/ 1 y) -1/3)))) x) (* (* 2 (log (sqrt (pow (/ 1 y) -1/3)))) x) 0 (* x (* (log y) 2/3)) (* x (log (cbrt y))) (* x (log (cbrt y))) (* (* -2/3 (log (* (cbrt (/ 1 y)) (cbrt (/ 1 y))))) x) (* (* -2/3 (log (cbrt (/ 1 y)))) x) (* (* -2/3 (log (sqrt (/ 1 y)))) x) (* (* -2/3 (log (sqrt (/ 1 y)))) x) (* (* -2/3 (- (log (pow y 2/3)))) x) (* (* -2/3 (- (log (cbrt y)))) x) (* x (* -2/3 (- (log (sqrt y))))) (* x (* -2/3 (- (log (sqrt y))))) 0 (* x (* (log y) 2/3)) (* (* -2/3 (- (log (pow y 2/3)))) x) (* (* -2/3 (- (log (cbrt y)))) x) (* x (* -2/3 (- (log (sqrt y))))) (* x (* -2/3 (- (log (sqrt y))))) 0 (* x (* (log y) 2/3)) (* (* -2/3 (- (log (pow y 2/3)))) x) (* (* -2/3 (- (log (cbrt y)))) x) (* x (* -2/3 (- (log (sqrt y))))) (* x (* -2/3 (- (log (sqrt y))))) 0 (* x (* (log y) 2/3)) 0 (* x (* (log y) 2/3)) 0 (* x (* (log y) 2/3)) (* x (* (log (cbrt (pow (/ 1 y) -1/3))) 4)) (* 2 (* (log (cbrt (pow (/ 1 y) -1/3))) x)) (* (* 2 (log (sqrt (pow (/ 1 y) -1/3)))) x) (* (* 2 (log (sqrt (pow (/ 1 y) -1/3)))) x) 0 (* x (* (log y) 2/3)) (* x (log (cbrt y))) (* x (log (cbrt y))) (* x 2) (* (cbrt x) (* (log y) 2/3)) (* (* (log y) 2/3) (sqrt x)) (* x (* (log y) 2/3)) (cbrt y) (pow (/ 1 y) -1/3) (exp (* -1/3 (+ (log -1) (log (/ -1 y))))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) (* 3 (* x (log (cbrt y)))) (* 3 (* x (log (cbrt y)))) (- (* (- (* 2/3 (+ (log -1) (log (/ -1 y)))) (log (* (cbrt (- y)) (cbrt -1)))) x)) (* x (* (log y) 2/3)) (* x (* (log y) 2/3)) (* -2/3 (* (+ (log -1) (log (/ -1 y))) x)) 5.241 * * * [progress]: adding candidates to table 5.905 * * [progress]: iteration 4 / 4 5.905 * * * [progress]: picking best candidate 5.912 * * * * [pick]: Picked # 5.912 * * * [progress]: localizing error 5.939 * * * [progress]: generating rewritten candidates 5.939 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 1 1) 5.942 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1 1) 5.943 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 3 1) 5.943 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1 1 1) 5.945 * * * [progress]: generating series expansions 5.945 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 1 1) 5.945 * [approximate]: Taking taylor expansion of (pow (pow y 2) 1/9) in (y) around 0 5.945 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/9) in y 5.945 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow y 2)))) in y 5.945 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow y 2))) in y 5.945 * [taylor]: Taking taylor expansion of 1/9 in y 5.945 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 5.945 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.945 * [taylor]: Taking taylor expansion of y in y 5.947 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/9) in y 5.947 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow y 2)))) in y 5.947 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow y 2))) in y 5.947 * [taylor]: Taking taylor expansion of 1/9 in y 5.947 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 5.947 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.947 * [taylor]: Taking taylor expansion of y in y 6.004 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in (y) around 0 6.004 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y 6.004 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y 6.004 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y 6.004 * [taylor]: Taking taylor expansion of 1/9 in y 6.004 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 6.004 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.004 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.004 * [taylor]: Taking taylor expansion of y in y 6.005 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y 6.006 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y 6.006 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y 6.006 * [taylor]: Taking taylor expansion of 1/9 in y 6.006 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 6.006 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.006 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.006 * [taylor]: Taking taylor expansion of y in y 6.059 * [approximate]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow y 2)) 1/9)) in (y) around 0 6.060 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow y 2)) 1/9)) in y 6.060 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in y 6.060 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in y 6.060 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in y 6.060 * [taylor]: Taking taylor expansion of 1/3 in y 6.060 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in y 6.060 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 6.060 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.060 * [taylor]: Taking taylor expansion of -1 in y 6.066 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y 6.066 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y 6.066 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y 6.066 * [taylor]: Taking taylor expansion of 1/9 in y 6.066 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 6.066 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.066 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.066 * [taylor]: Taking taylor expansion of y in y 6.067 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow y 2)) 1/9)) in y 6.067 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in y 6.067 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in y 6.067 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in y 6.067 * [taylor]: Taking taylor expansion of 1/3 in y 6.067 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in y 6.067 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 6.067 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.067 * [taylor]: Taking taylor expansion of -1 in y 6.078 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y 6.078 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y 6.078 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y 6.078 * [taylor]: Taking taylor expansion of 1/9 in y 6.078 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 6.078 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 6.078 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.078 * [taylor]: Taking taylor expansion of y in y 6.209 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1 1) 6.209 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0 6.209 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 6.209 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 6.209 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 6.209 * [taylor]: Taking taylor expansion of 1/9 in y 6.209 * [taylor]: Taking taylor expansion of (log y) in y 6.209 * [taylor]: Taking taylor expansion of y in y 6.210 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 6.210 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 6.210 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 6.210 * [taylor]: Taking taylor expansion of 1/9 in y 6.210 * [taylor]: Taking taylor expansion of (log y) in y 6.210 * [taylor]: Taking taylor expansion of y in y 6.263 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0 6.263 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 6.263 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 6.263 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 6.263 * [taylor]: Taking taylor expansion of 1/9 in y 6.263 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.263 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.263 * [taylor]: Taking taylor expansion of y in y 6.264 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 6.264 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 6.264 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 6.264 * [taylor]: Taking taylor expansion of 1/9 in y 6.264 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.264 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.264 * [taylor]: Taking taylor expansion of y in y 6.320 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0 6.320 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 6.320 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 6.320 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 6.320 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 6.320 * [taylor]: Taking taylor expansion of 1/3 in y 6.320 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 6.320 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.320 * [taylor]: Taking taylor expansion of -1 in y 6.324 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 6.324 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 6.324 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 6.324 * [taylor]: Taking taylor expansion of 1/9 in y 6.324 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.324 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.324 * [taylor]: Taking taylor expansion of y in y 6.324 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 6.324 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 6.324 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 6.325 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 6.325 * [taylor]: Taking taylor expansion of 1/3 in y 6.325 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 6.325 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.325 * [taylor]: Taking taylor expansion of -1 in y 6.328 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 6.328 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 6.328 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 6.328 * [taylor]: Taking taylor expansion of 1/9 in y 6.328 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.328 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.328 * [taylor]: Taking taylor expansion of y in y 6.454 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 3 1) 6.454 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 6.454 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 6.455 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 6.455 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 6.455 * [taylor]: Taking taylor expansion of 1/3 in y 6.455 * [taylor]: Taking taylor expansion of (log y) in y 6.455 * [taylor]: Taking taylor expansion of y in y 6.455 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 6.455 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 6.455 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 6.455 * [taylor]: Taking taylor expansion of 1/3 in y 6.455 * [taylor]: Taking taylor expansion of (log y) in y 6.455 * [taylor]: Taking taylor expansion of y in y 6.505 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 6.505 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 6.505 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 6.505 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 6.505 * [taylor]: Taking taylor expansion of 1/3 in y 6.505 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.505 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.505 * [taylor]: Taking taylor expansion of y in y 6.506 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 6.506 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 6.506 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 6.506 * [taylor]: Taking taylor expansion of 1/3 in y 6.506 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.506 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.506 * [taylor]: Taking taylor expansion of y in y 6.565 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 6.565 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 6.565 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.565 * [taylor]: Taking taylor expansion of -1 in y 6.566 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 6.566 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 6.566 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 6.566 * [taylor]: Taking taylor expansion of 1/3 in y 6.566 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.566 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.566 * [taylor]: Taking taylor expansion of y in y 6.567 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 6.567 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.567 * [taylor]: Taking taylor expansion of -1 in y 6.568 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 6.568 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 6.568 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 6.568 * [taylor]: Taking taylor expansion of 1/3 in y 6.568 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.568 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.568 * [taylor]: Taking taylor expansion of y in y 6.638 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1 1 1) 6.638 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 6.638 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 6.638 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 6.638 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 6.638 * [taylor]: Taking taylor expansion of 1/3 in y 6.638 * [taylor]: Taking taylor expansion of (log y) in y 6.638 * [taylor]: Taking taylor expansion of y in y 6.639 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 6.639 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 6.639 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 6.639 * [taylor]: Taking taylor expansion of 1/3 in y 6.639 * [taylor]: Taking taylor expansion of (log y) in y 6.639 * [taylor]: Taking taylor expansion of y in y 6.693 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 6.693 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 6.694 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 6.694 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 6.694 * [taylor]: Taking taylor expansion of 1/3 in y 6.694 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.694 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.694 * [taylor]: Taking taylor expansion of y in y 6.695 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 6.695 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 6.695 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 6.695 * [taylor]: Taking taylor expansion of 1/3 in y 6.695 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.695 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.695 * [taylor]: Taking taylor expansion of y in y 6.745 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 6.745 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 6.745 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.745 * [taylor]: Taking taylor expansion of -1 in y 6.746 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 6.746 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 6.746 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 6.746 * [taylor]: Taking taylor expansion of 1/3 in y 6.746 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.746 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.746 * [taylor]: Taking taylor expansion of y in y 6.747 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 6.747 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.747 * [taylor]: Taking taylor expansion of -1 in y 6.747 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 6.747 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 6.747 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 6.747 * [taylor]: Taking taylor expansion of 1/3 in y 6.747 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.747 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.747 * [taylor]: Taking taylor expansion of y in y 6.814 * * * [progress]: simplifying candidates 6.815 * [simplify]: Simplifying using # : (expm1 (cbrt (* (cbrt y) (cbrt y)))) (log1p (cbrt (* (cbrt y) (cbrt y)))) (log (cbrt (* (cbrt y) (cbrt y)))) (exp (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt y)) (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (* (cbrt y) (cbrt y))))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (* (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y)))) (cbrt (* (cbrt y) (cbrt y)))) (sqrt (cbrt (* (cbrt y) (cbrt y)))) (sqrt (cbrt (* (cbrt y) (cbrt y)))) (expm1 (cbrt (cbrt y))) (log1p (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt 1)) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt 1) (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (pow y 2/9) (pow (/ 1 y) -2/9) (* (pow (pow (cbrt -1) 2) 1/3) (pow (pow y 2) 1/9)) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) 6.817 * * [simplify]: iteration 0 : 64 enodes (cost 368 ) 6.834 * * [simplify]: iteration 1 : 116 enodes (cost 354 ) 6.856 * * [simplify]: iteration 2 : 234 enodes (cost 302 ) 6.920 * * [simplify]: iteration 3 : 582 enodes (cost 290 ) 7.219 * * [simplify]: iteration 4 : 2290 enodes (cost 290 ) 8.026 * * [simplify]: iteration done : 5000 enodes (cost 290 ) 8.026 * [simplify]: Simplified to: (expm1 (cbrt (pow y 2/3))) (log1p (cbrt (pow y 2/3))) (log (cbrt (pow y 2/3))) (exp (cbrt (pow y 2/3))) (cbrt (cbrt y)) (cbrt (cbrt y)) (* (cbrt (cbrt (pow y 2/3))) (cbrt (cbrt (pow y 2/3)))) (cbrt (cbrt (pow y 2/3))) (pow y 2/3) (sqrt (cbrt (pow y 2/3))) (sqrt (cbrt (pow y 2/3))) (expm1 (cbrt (cbrt y))) (log1p (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (pow y 2/3))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) 1 (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) 1 (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt y) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (pow y 2/9) (pow (/ 1 y) -2/9) (* (cbrt (pow (cbrt -1) 2)) (pow (pow y 2) 1/9)) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (- y) 1/9) (cbrt (cbrt -1))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) 8.027 * * * [progress]: adding candidates to table 8.337 * [progress]: [Phase 3 of 3] Extracting. 8.337 * * [regime]: Finding splitpoints for: (# # # #) 8.339 * * * [regime-changes]: Trying 4 branch expressions: ((- (- (* x (log y)) z) y) z y x) 8.339 * * * * [regimes]: Trying to branch on (- (- (* x (log y)) z) y) from (# # # #) 8.369 * * * * [regimes]: Trying to branch on z from (# # # #) 8.391 * * * * [regimes]: Trying to branch on y from (# # # #) 8.415 * * * * [regimes]: Trying to branch on x from (# # # #) 8.437 * * * [regime]: Found split indices: #