20.589 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.031 * * * [progress]: [2/2] Setting up program. 0.034 * [progress]: [Phase 2 of 3] Improving. 0.034 * [simplify]: Simplifying using # : (- (* x (log (/ x y))) z) 0.035 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.036 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 0.037 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 0.039 * * [simplify]: iteration 3 : 23 enodes (cost 8 ) 0.042 * * [simplify]: iteration 4 : 34 enodes (cost 8 ) 0.046 * * [simplify]: iteration 5 : 48 enodes (cost 8 ) 0.053 * * [simplify]: iteration 6 : 56 enodes (cost 8 ) 0.061 * * [simplify]: iteration 7 : 68 enodes (cost 8 ) 0.073 * * [simplify]: iteration 8 : 94 enodes (cost 8 ) 0.092 * * [simplify]: iteration 9 : 137 enodes (cost 8 ) 0.127 * * [simplify]: iteration 10 : 194 enodes (cost 8 ) 0.159 * * [simplify]: iteration 11 : 205 enodes (cost 8 ) 0.184 * * [simplify]: iteration 12 : 213 enodes (cost 8 ) 0.209 * * [simplify]: iteration 13 : 216 enodes (cost 8 ) 0.233 * * [simplify]: iteration done : 216 enodes (cost 8 ) 0.233 * [simplify]: Simplified to: (- (* x (log (/ x y))) z) 0.233 * * [progress]: iteration 1 / 4 0.233 * * * [progress]: picking best candidate 0.235 * * * * [pick]: Picked # 0.235 * * * [progress]: localizing error 0.243 * * * [progress]: generating rewritten candidates 0.243 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 0.245 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.252 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.265 * * * [progress]: generating series expansions 0.265 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 0.265 * [approximate]: Taking taylor expansion of (log (/ x y)) in (x y) around 0 0.265 * [taylor]: Taking taylor expansion of (log (/ x y)) in y 0.265 * [taylor]: Taking taylor expansion of (/ x y) in y 0.265 * [taylor]: Taking taylor expansion of x in y 0.265 * [taylor]: Taking taylor expansion of y in y 0.265 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.265 * [taylor]: Taking taylor expansion of (/ x y) in x 0.265 * [taylor]: Taking taylor expansion of x in x 0.265 * [taylor]: Taking taylor expansion of y in x 0.265 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.266 * [taylor]: Taking taylor expansion of (/ x y) in x 0.266 * [taylor]: Taking taylor expansion of x in x 0.266 * [taylor]: Taking taylor expansion of y in x 0.266 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 0.266 * [taylor]: Taking taylor expansion of (log x) in y 0.266 * [taylor]: Taking taylor expansion of x in y 0.266 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.266 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.266 * [taylor]: Taking taylor expansion of y in y 0.268 * [taylor]: Taking taylor expansion of 0 in y 0.272 * [taylor]: Taking taylor expansion of 0 in y 0.277 * [taylor]: Taking taylor expansion of 0 in y 0.277 * [approximate]: Taking taylor expansion of (log (/ y x)) in (x y) around 0 0.277 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.277 * [taylor]: Taking taylor expansion of (/ y x) in y 0.277 * [taylor]: Taking taylor expansion of y in y 0.277 * [taylor]: Taking taylor expansion of x in y 0.277 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.277 * [taylor]: Taking taylor expansion of (/ y x) in x 0.277 * [taylor]: Taking taylor expansion of y in x 0.277 * [taylor]: Taking taylor expansion of x in x 0.278 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.278 * [taylor]: Taking taylor expansion of (/ y x) in x 0.278 * [taylor]: Taking taylor expansion of y in x 0.278 * [taylor]: Taking taylor expansion of x in x 0.278 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 0.278 * [taylor]: Taking taylor expansion of (log y) in y 0.278 * [taylor]: Taking taylor expansion of y in y 0.278 * [taylor]: Taking taylor expansion of (log x) in y 0.278 * [taylor]: Taking taylor expansion of x in y 0.280 * [taylor]: Taking taylor expansion of 0 in y 0.284 * [taylor]: Taking taylor expansion of 0 in y 0.294 * [taylor]: Taking taylor expansion of 0 in y 0.294 * [approximate]: Taking taylor expansion of (log (/ y x)) in (x y) around 0 0.294 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.294 * [taylor]: Taking taylor expansion of (/ y x) in y 0.294 * [taylor]: Taking taylor expansion of y in y 0.294 * [taylor]: Taking taylor expansion of x in y 0.294 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.294 * [taylor]: Taking taylor expansion of (/ y x) in x 0.294 * [taylor]: Taking taylor expansion of y in x 0.294 * [taylor]: Taking taylor expansion of x in x 0.294 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.294 * [taylor]: Taking taylor expansion of (/ y x) in x 0.294 * [taylor]: Taking taylor expansion of y in x 0.294 * [taylor]: Taking taylor expansion of x in x 0.295 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 0.295 * [taylor]: Taking taylor expansion of (log y) in y 0.295 * [taylor]: Taking taylor expansion of y in y 0.295 * [taylor]: Taking taylor expansion of (log x) in y 0.295 * [taylor]: Taking taylor expansion of x in y 0.297 * [taylor]: Taking taylor expansion of 0 in y 0.300 * [taylor]: Taking taylor expansion of 0 in y 0.306 * [taylor]: Taking taylor expansion of 0 in y 0.306 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.307 * [approximate]: Taking taylor expansion of (* x (log (/ x y))) in (x y) around 0 0.307 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in y 0.307 * [taylor]: Taking taylor expansion of x in y 0.307 * [taylor]: Taking taylor expansion of (log (/ x y)) in y 0.307 * [taylor]: Taking taylor expansion of (/ x y) in y 0.307 * [taylor]: Taking taylor expansion of x in y 0.307 * [taylor]: Taking taylor expansion of y in y 0.307 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in x 0.307 * [taylor]: Taking taylor expansion of x in x 0.307 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.307 * [taylor]: Taking taylor expansion of (/ x y) in x 0.307 * [taylor]: Taking taylor expansion of x in x 0.307 * [taylor]: Taking taylor expansion of y in x 0.307 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in x 0.307 * [taylor]: Taking taylor expansion of x in x 0.307 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.307 * [taylor]: Taking taylor expansion of (/ x y) in x 0.307 * [taylor]: Taking taylor expansion of x in x 0.307 * [taylor]: Taking taylor expansion of y in x 0.307 * [taylor]: Taking taylor expansion of 0 in y 0.309 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 0.309 * [taylor]: Taking taylor expansion of (log x) in y 0.309 * [taylor]: Taking taylor expansion of x in y 0.309 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.309 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.309 * [taylor]: Taking taylor expansion of y in y 0.312 * [taylor]: Taking taylor expansion of 0 in y 0.317 * [taylor]: Taking taylor expansion of 0 in y 0.317 * [approximate]: Taking taylor expansion of (/ (log (/ y x)) x) in (x y) around 0 0.317 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in y 0.317 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.317 * [taylor]: Taking taylor expansion of (/ y x) in y 0.317 * [taylor]: Taking taylor expansion of y in y 0.317 * [taylor]: Taking taylor expansion of x in y 0.317 * [taylor]: Taking taylor expansion of x in y 0.318 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.318 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.318 * [taylor]: Taking taylor expansion of (/ y x) in x 0.318 * [taylor]: Taking taylor expansion of y in x 0.318 * [taylor]: Taking taylor expansion of x in x 0.318 * [taylor]: Taking taylor expansion of x in x 0.319 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.319 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.319 * [taylor]: Taking taylor expansion of (/ y x) in x 0.319 * [taylor]: Taking taylor expansion of y in x 0.319 * [taylor]: Taking taylor expansion of x in x 0.319 * [taylor]: Taking taylor expansion of x in x 0.319 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 0.319 * [taylor]: Taking taylor expansion of (log y) in y 0.319 * [taylor]: Taking taylor expansion of y in y 0.320 * [taylor]: Taking taylor expansion of (log x) in y 0.320 * [taylor]: Taking taylor expansion of x in y 0.322 * [taylor]: Taking taylor expansion of 0 in y 0.326 * [taylor]: Taking taylor expansion of 0 in y 0.334 * [taylor]: Taking taylor expansion of 0 in y 0.335 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ y x)) x)) in (x y) around 0 0.335 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ y x)) x)) in y 0.335 * [taylor]: Taking taylor expansion of -1 in y 0.335 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in y 0.335 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.335 * [taylor]: Taking taylor expansion of (/ y x) in y 0.335 * [taylor]: Taking taylor expansion of y in y 0.335 * [taylor]: Taking taylor expansion of x in y 0.335 * [taylor]: Taking taylor expansion of x in y 0.335 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ y x)) x)) in x 0.336 * [taylor]: Taking taylor expansion of -1 in x 0.336 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.336 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.336 * [taylor]: Taking taylor expansion of (/ y x) in x 0.336 * [taylor]: Taking taylor expansion of y in x 0.336 * [taylor]: Taking taylor expansion of x in x 0.336 * [taylor]: Taking taylor expansion of x in x 0.337 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ y x)) x)) in x 0.337 * [taylor]: Taking taylor expansion of -1 in x 0.337 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.337 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.337 * [taylor]: Taking taylor expansion of (/ y x) in x 0.337 * [taylor]: Taking taylor expansion of y in x 0.337 * [taylor]: Taking taylor expansion of x in x 0.337 * [taylor]: Taking taylor expansion of x in x 0.337 * [taylor]: Taking taylor expansion of (* -1 (- (log y) (log x))) in y 0.338 * [taylor]: Taking taylor expansion of -1 in y 0.338 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 0.338 * [taylor]: Taking taylor expansion of (log y) in y 0.338 * [taylor]: Taking taylor expansion of y in y 0.338 * [taylor]: Taking taylor expansion of (log x) in y 0.338 * [taylor]: Taking taylor expansion of x in y 0.340 * [taylor]: Taking taylor expansion of 0 in y 0.346 * [taylor]: Taking taylor expansion of 0 in y 0.354 * [taylor]: Taking taylor expansion of 0 in y 0.354 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.354 * [approximate]: Taking taylor expansion of (- (* x (log (/ x y))) z) in (x y z) around 0 0.354 * [taylor]: Taking taylor expansion of (- (* x (log (/ x y))) z) in z 0.354 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in z 0.354 * [taylor]: Taking taylor expansion of x in z 0.354 * [taylor]: Taking taylor expansion of (log (/ x y)) in z 0.354 * [taylor]: Taking taylor expansion of (/ x y) in z 0.354 * [taylor]: Taking taylor expansion of x in z 0.355 * [taylor]: Taking taylor expansion of y in z 0.355 * [taylor]: Taking taylor expansion of z in z 0.355 * [taylor]: Taking taylor expansion of (- (* x (log (/ x y))) z) in y 0.355 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in y 0.355 * [taylor]: Taking taylor expansion of x in y 0.355 * [taylor]: Taking taylor expansion of (log (/ x y)) in y 0.355 * [taylor]: Taking taylor expansion of (/ x y) in y 0.355 * [taylor]: Taking taylor expansion of x in y 0.355 * [taylor]: Taking taylor expansion of y in y 0.355 * [taylor]: Taking taylor expansion of z in y 0.355 * [taylor]: Taking taylor expansion of (- (* x (log (/ x y))) z) in x 0.355 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in x 0.355 * [taylor]: Taking taylor expansion of x in x 0.355 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.355 * [taylor]: Taking taylor expansion of (/ x y) in x 0.355 * [taylor]: Taking taylor expansion of x in x 0.355 * [taylor]: Taking taylor expansion of y in x 0.355 * [taylor]: Taking taylor expansion of z in x 0.355 * [taylor]: Taking taylor expansion of (- (* x (log (/ x y))) z) in x 0.355 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in x 0.355 * [taylor]: Taking taylor expansion of x in x 0.355 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.355 * [taylor]: Taking taylor expansion of (/ x y) in x 0.355 * [taylor]: Taking taylor expansion of x in x 0.355 * [taylor]: Taking taylor expansion of y in x 0.355 * [taylor]: Taking taylor expansion of z in x 0.356 * [taylor]: Taking taylor expansion of (- z) in y 0.356 * [taylor]: Taking taylor expansion of z in y 0.356 * [taylor]: Taking taylor expansion of (- z) in z 0.356 * [taylor]: Taking taylor expansion of z in z 0.358 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 0.358 * [taylor]: Taking taylor expansion of (log x) in y 0.358 * [taylor]: Taking taylor expansion of x in y 0.358 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.358 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.358 * [taylor]: Taking taylor expansion of y in y 0.359 * [taylor]: Taking taylor expansion of (- (log x) (log y)) in z 0.359 * [taylor]: Taking taylor expansion of (log x) in z 0.359 * [taylor]: Taking taylor expansion of x in z 0.359 * [taylor]: Taking taylor expansion of (log y) in z 0.359 * [taylor]: Taking taylor expansion of y in z 0.359 * [taylor]: Taking taylor expansion of 0 in z 0.362 * [taylor]: Taking taylor expansion of 0 in y 0.362 * [taylor]: Taking taylor expansion of 0 in z 0.364 * [taylor]: Taking taylor expansion of 0 in z 0.364 * [taylor]: Taking taylor expansion of 0 in z 0.366 * [approximate]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in (x y z) around 0 0.366 * [taylor]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in z 0.366 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in z 0.367 * [taylor]: Taking taylor expansion of (log (/ y x)) in z 0.367 * [taylor]: Taking taylor expansion of (/ y x) in z 0.367 * [taylor]: Taking taylor expansion of y in z 0.367 * [taylor]: Taking taylor expansion of x in z 0.367 * [taylor]: Taking taylor expansion of x in z 0.367 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.367 * [taylor]: Taking taylor expansion of z in z 0.367 * [taylor]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in y 0.367 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in y 0.367 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.367 * [taylor]: Taking taylor expansion of (/ y x) in y 0.367 * [taylor]: Taking taylor expansion of y in y 0.367 * [taylor]: Taking taylor expansion of x in y 0.367 * [taylor]: Taking taylor expansion of x in y 0.368 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.368 * [taylor]: Taking taylor expansion of z in y 0.368 * [taylor]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in x 0.368 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.368 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.368 * [taylor]: Taking taylor expansion of (/ y x) in x 0.368 * [taylor]: Taking taylor expansion of y in x 0.368 * [taylor]: Taking taylor expansion of x in x 0.368 * [taylor]: Taking taylor expansion of x in x 0.369 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.369 * [taylor]: Taking taylor expansion of z in x 0.369 * [taylor]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in x 0.369 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.369 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.369 * [taylor]: Taking taylor expansion of (/ y x) in x 0.369 * [taylor]: Taking taylor expansion of y in x 0.369 * [taylor]: Taking taylor expansion of x in x 0.369 * [taylor]: Taking taylor expansion of x in x 0.370 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.370 * [taylor]: Taking taylor expansion of z in x 0.370 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 0.370 * [taylor]: Taking taylor expansion of (log y) in y 0.370 * [taylor]: Taking taylor expansion of y in y 0.370 * [taylor]: Taking taylor expansion of (log x) in y 0.370 * [taylor]: Taking taylor expansion of x in y 0.370 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in z 0.370 * [taylor]: Taking taylor expansion of (log y) in z 0.371 * [taylor]: Taking taylor expansion of y in z 0.371 * [taylor]: Taking taylor expansion of (log x) in z 0.371 * [taylor]: Taking taylor expansion of x in z 0.372 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in y 0.372 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.373 * [taylor]: Taking taylor expansion of z in y 0.373 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.373 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.373 * [taylor]: Taking taylor expansion of z in z 0.375 * [taylor]: Taking taylor expansion of 0 in z 0.379 * [taylor]: Taking taylor expansion of 0 in y 0.379 * [taylor]: Taking taylor expansion of 0 in z 0.379 * [taylor]: Taking taylor expansion of 0 in z 0.385 * [taylor]: Taking taylor expansion of 0 in z 0.392 * [taylor]: Taking taylor expansion of 0 in y 0.392 * [taylor]: Taking taylor expansion of 0 in z 0.392 * [taylor]: Taking taylor expansion of 0 in z 0.392 * [taylor]: Taking taylor expansion of 0 in z 0.397 * [taylor]: Taking taylor expansion of 0 in z 0.398 * [approximate]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in (x y z) around 0 0.398 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in z 0.398 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.398 * [taylor]: Taking taylor expansion of z in z 0.398 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in z 0.398 * [taylor]: Taking taylor expansion of (log (/ y x)) in z 0.398 * [taylor]: Taking taylor expansion of (/ y x) in z 0.398 * [taylor]: Taking taylor expansion of y in z 0.398 * [taylor]: Taking taylor expansion of x in z 0.398 * [taylor]: Taking taylor expansion of x in z 0.398 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in y 0.398 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.398 * [taylor]: Taking taylor expansion of z in y 0.398 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in y 0.398 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.398 * [taylor]: Taking taylor expansion of (/ y x) in y 0.398 * [taylor]: Taking taylor expansion of y in y 0.398 * [taylor]: Taking taylor expansion of x in y 0.398 * [taylor]: Taking taylor expansion of x in y 0.399 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in x 0.399 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.399 * [taylor]: Taking taylor expansion of z in x 0.399 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.399 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.399 * [taylor]: Taking taylor expansion of (/ y x) in x 0.399 * [taylor]: Taking taylor expansion of y in x 0.399 * [taylor]: Taking taylor expansion of x in x 0.399 * [taylor]: Taking taylor expansion of x in x 0.400 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in x 0.400 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.400 * [taylor]: Taking taylor expansion of z in x 0.400 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.400 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.400 * [taylor]: Taking taylor expansion of (/ y x) in x 0.400 * [taylor]: Taking taylor expansion of y in x 0.400 * [taylor]: Taking taylor expansion of x in x 0.400 * [taylor]: Taking taylor expansion of x in x 0.401 * [taylor]: Taking taylor expansion of (- (log x) (log y)) in y 0.401 * [taylor]: Taking taylor expansion of (log x) in y 0.401 * [taylor]: Taking taylor expansion of x in y 0.401 * [taylor]: Taking taylor expansion of (log y) in y 0.401 * [taylor]: Taking taylor expansion of y in y 0.402 * [taylor]: Taking taylor expansion of (- (log x) (log y)) in z 0.402 * [taylor]: Taking taylor expansion of (log x) in z 0.402 * [taylor]: Taking taylor expansion of x in z 0.402 * [taylor]: Taking taylor expansion of (log y) in z 0.402 * [taylor]: Taking taylor expansion of y in z 0.404 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.404 * [taylor]: Taking taylor expansion of z in y 0.404 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.404 * [taylor]: Taking taylor expansion of z in z 0.406 * [taylor]: Taking taylor expansion of 0 in z 0.409 * [taylor]: Taking taylor expansion of 0 in y 0.409 * [taylor]: Taking taylor expansion of 0 in z 0.410 * [taylor]: Taking taylor expansion of 0 in z 0.413 * [taylor]: Taking taylor expansion of 0 in z 0.420 * [taylor]: Taking taylor expansion of 0 in y 0.420 * [taylor]: Taking taylor expansion of 0 in z 0.420 * [taylor]: Taking taylor expansion of 0 in z 0.421 * [taylor]: Taking taylor expansion of 0 in z 0.426 * [taylor]: Taking taylor expansion of 0 in z 0.426 * * * [progress]: simplifying candidates 0.428 * [simplify]: Simplifying using # : (log (* (cbrt (/ x y)) (cbrt (/ x y)))) (log (cbrt (/ x y))) (log (sqrt (/ x y))) (log (sqrt (/ x y))) (log (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) (log (/ (cbrt x) (cbrt y))) (log (/ (* (cbrt x) (cbrt x)) (sqrt y))) (log (/ (cbrt x) (sqrt y))) (log (/ (* (cbrt x) (cbrt x)) 1)) (log (/ (cbrt x) y)) (log (/ (sqrt x) (* (cbrt y) (cbrt y)))) (log (/ (sqrt x) (cbrt y))) (log (/ (sqrt x) (sqrt y))) (log (/ (sqrt x) (sqrt y))) (log (/ (sqrt x) 1)) (log (/ (sqrt x) y)) (log (/ 1 (* (cbrt y) (cbrt y)))) (log (/ x (cbrt y))) (log (/ 1 (sqrt y))) (log (/ x (sqrt y))) (log (/ 1 1)) (log (/ x y)) (log 1) (log (/ x y)) (log x) (log (/ 1 y)) (log x) (log y) (log (/ x y)) (log (log (/ x y))) (exp (log (/ x y))) (* (cbrt (log (/ x y))) (cbrt (log (/ x y)))) (cbrt (log (/ x y))) (* (* (log (/ x y)) (log (/ x y))) (log (/ x y))) (sqrt (log (/ x y))) (sqrt (log (/ x y))) (* x (log (/ x y))) (+ (log x) (log (log (/ x y)))) (log (* x (log (/ x y)))) (exp (* x (log (/ x y)))) (* (* (* x x) x) (* (* (log (/ x y)) (log (/ x y))) (log (/ x y)))) (* (cbrt (* x (log (/ x y)))) (cbrt (* x (log (/ x y))))) (cbrt (* x (log (/ x y)))) (* (* (* x (log (/ x y))) (* x (log (/ x y)))) (* x (log (/ x y)))) (sqrt (* x (log (/ x y)))) (sqrt (* x (log (/ x y)))) (* (sqrt x) (sqrt (log (/ x y)))) (* (sqrt x) (sqrt (log (/ x y)))) (* x (log (* (cbrt (/ x y)) (cbrt (/ x y))))) (* x (log (cbrt (/ x y)))) (* x (log (sqrt (/ x y)))) (* x (log (sqrt (/ x y)))) (* x (log (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))))) (* x (log (/ (cbrt x) (cbrt y)))) (* x (log (/ (* (cbrt x) (cbrt x)) (sqrt y)))) (* x (log (/ (cbrt x) (sqrt y)))) (* x (log (/ (* (cbrt x) (cbrt x)) 1))) (* x (log (/ (cbrt x) y))) (* x (log (/ (sqrt x) (* (cbrt y) (cbrt y))))) (* x (log (/ (sqrt x) (cbrt y)))) (* x (log (/ (sqrt x) (sqrt y)))) (* x (log (/ (sqrt x) (sqrt y)))) (* x (log (/ (sqrt x) 1))) (* x (log (/ (sqrt x) y))) (* x (log (/ 1 (* (cbrt y) (cbrt y))))) (* x (log (/ x (cbrt y)))) (* x (log (/ 1 (sqrt y)))) (* x (log (/ x (sqrt y)))) (* x (log (/ 1 1))) (* x (log (/ x y))) (* x (log 1)) (* x (log (/ x y))) (* x (log x)) (* x (log (/ 1 y))) (* (log (* (cbrt (/ x y)) (cbrt (/ x y)))) x) (* (log (cbrt (/ x y))) x) (* (log (sqrt (/ x y))) x) (* (log (sqrt (/ x y))) x) (* (log (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y)))) x) (* (log (/ (cbrt x) (cbrt y))) x) (* (log (/ (* (cbrt x) (cbrt x)) (sqrt y))) x) (* (log (/ (cbrt x) (sqrt y))) x) (* (log (/ (* (cbrt x) (cbrt x)) 1)) x) (* (log (/ (cbrt x) y)) x) (* (log (/ (sqrt x) (* (cbrt y) (cbrt y)))) x) (* (log (/ (sqrt x) (cbrt y))) x) (* (log (/ (sqrt x) (sqrt y))) x) (* (log (/ (sqrt x) (sqrt y))) x) (* (log (/ (sqrt x) 1)) x) (* (log (/ (sqrt x) y)) x) (* (log (/ 1 (* (cbrt y) (cbrt y)))) x) (* (log (/ x (cbrt y))) x) (* (log (/ 1 (sqrt y))) x) (* (log (/ x (sqrt y))) x) (* (log (/ 1 1)) x) (* (log (/ x y)) x) (* (log 1) x) (* (log (/ x y)) x) (* (log x) x) (* (log (/ 1 y)) x) (* x 1) (* x (* (cbrt (log (/ x y))) (cbrt (log (/ x y))))) (* x (sqrt (log (/ x y)))) (* x 1) (* (cbrt x) (log (/ x y))) (* (sqrt x) (log (/ x y))) (* x (log (/ x y))) (/ (exp (* x (log (/ x y)))) (exp z)) (log (- (* x (log (/ x y))) z)) (exp (- (* x (log (/ x y))) z)) (* (cbrt (- (* x (log (/ x y))) z)) (cbrt (- (* x (log (/ x y))) z))) (cbrt (- (* x (log (/ x y))) z)) (* (* (- (* x (log (/ x y))) z) (- (* x (log (/ x y))) z)) (- (* x (log (/ x y))) z)) (sqrt (- (* x (log (/ x y))) z)) (sqrt (- (* x (log (/ x y))) z)) (- (pow (* x (log (/ x y))) 3) (pow z 3)) (+ (* (* x (log (/ x y))) (* x (log (/ x y)))) (+ (* z z) (* (* x (log (/ x y))) z))) (- z) (- (* (* x (log (/ x y))) (* x (log (/ x y)))) (* z z)) (+ (* x (log (/ x y))) z) (- (* x (log (cbrt (/ x y)))) z) (- (* x (log (sqrt (/ x y)))) z) (- (* x (log (/ (cbrt x) (cbrt y)))) z) (- (* x (log (/ (cbrt x) (sqrt y)))) z) (- (* x (log (/ (cbrt x) y))) z) (- (* x (log (/ (sqrt x) (cbrt y)))) z) (- (* x (log (/ (sqrt x) (sqrt y)))) z) (- (* x (log (/ (sqrt x) y))) z) (- (* x (log (/ x (cbrt y)))) z) (- (* x (log (/ x (sqrt y)))) z) (- (* x (log (/ x y))) z) (- (* x (log (/ x y))) z) (- (* x (log (/ 1 y))) z) (- (* (log (cbrt (/ x y))) x) z) (- (* (log (sqrt (/ x y))) x) z) (- (* (log (/ (cbrt x) (cbrt y))) x) z) (- (* (log (/ (cbrt x) (sqrt y))) x) z) (- (* (log (/ (cbrt x) y)) x) z) (- (* (log (/ (sqrt x) (cbrt y))) x) z) (- (* (log (/ (sqrt x) (sqrt y))) x) z) (- (* (log (/ (sqrt x) y)) x) z) (- (* (log (/ x (cbrt y))) x) z) (- (* (log (/ x (sqrt y))) x) z) (- (* (log (/ x y)) x) z) (- (* (log (/ x y)) x) z) (- (* (log (/ 1 y)) x) z) (- z) (- (log x) (log y)) (- (log (/ 1 y)) (log (/ 1 x))) (- (log (/ -1 y)) (log (/ -1 x))) (* x (- (log x) (log y))) (* x (- (log (/ 1 y)) (log (/ 1 x)))) (* x (- (log (/ -1 y)) (log (/ -1 x)))) (- (* (log x) x) (+ (* x (log y)) z)) (- (* x (log (/ 1 y))) (+ z (* x (log (/ 1 x))))) (- (* x (log (/ -1 y))) (+ z (* x (log (/ -1 x))))) 0.433 * * [simplify]: iteration 0 : 192 enodes (cost 1277 ) 0.480 * * [simplify]: iteration 1 : 328 enodes (cost 1212 ) 0.541 * * [simplify]: iteration 2 : 643 enodes (cost 1146 ) 0.782 * * [simplify]: iteration 3 : 1694 enodes (cost 1116 ) 1.504 * * [simplify]: iteration done : 5000 enodes (cost 1116 ) 1.505 * [simplify]: Simplified to: (* 2 (log (cbrt (/ x y)))) (log (cbrt (/ x y))) (log (sqrt (/ x y))) (log (sqrt (/ x y))) (* 2 (log (/ (cbrt x) (cbrt y)))) (log (/ (cbrt x) (cbrt y))) (log (/ (* (cbrt x) (cbrt x)) (sqrt y))) (log (/ (cbrt x) (sqrt y))) (* 2 (log (cbrt x))) (log (/ (cbrt x) y)) (log (/ (sqrt x) (* (cbrt y) (cbrt y)))) (log (/ (sqrt x) (cbrt y))) (log (/ (sqrt x) (sqrt y))) (log (/ (sqrt x) (sqrt y))) (log (sqrt x)) (log (/ (sqrt x) y)) (- (* 2 (log (cbrt y)))) (log (/ x (cbrt y))) (- (log (sqrt y))) (log (/ x (sqrt y))) 0 (log (/ x y)) 0 (log (/ x y)) (log x) (- (log y)) (log x) (log y) (log (/ x y)) (log (log (/ x y))) (/ x y) (* (cbrt (log (/ x y))) (cbrt (log (/ x y)))) (cbrt (log (/ x y))) (pow (log (/ x y)) 3) (sqrt (log (/ x y))) (sqrt (log (/ x y))) (* x (log (/ x y))) (log (* x (log (/ x y)))) (log (* x (log (/ x y)))) (pow (/ x y) x) (pow (* x (log (/ x y))) 3) (* (cbrt (* x (log (/ x y)))) (cbrt (* x (log (/ x y))))) (cbrt (* x (log (/ x y)))) (pow (* x (log (/ x y))) 3) (sqrt (* x (log (/ x y)))) (sqrt (* x (log (/ x y)))) (* (sqrt x) (sqrt (log (/ x y)))) (* (sqrt x) (sqrt (log (/ x y)))) (* (* 2 (log (cbrt (/ x y)))) x) (* (log (cbrt (/ x y))) x) (* (log (sqrt (/ x y))) x) (* (log (sqrt (/ x y))) x) (* (* 2 (log (/ (cbrt x) (cbrt y)))) x) (* (log (/ (cbrt x) (cbrt y))) x) (* (log (/ (* (cbrt x) (cbrt x)) (sqrt y))) x) (* (log (/ (cbrt x) (sqrt y))) x) (* (* 2 (log (cbrt x))) x) (* (log (/ (cbrt x) y)) x) (* (log (/ (sqrt x) (* (cbrt y) (cbrt y)))) x) (* (log (/ (sqrt x) (cbrt y))) x) (* (log (/ (sqrt x) (sqrt y))) x) (* (log (/ (sqrt x) (sqrt y))) x) (* x (log (sqrt x))) (* (log (/ (sqrt x) y)) x) (* x (- (* 2 (log (cbrt y))))) (* x (log (/ x (cbrt y)))) (* x (- (log (sqrt y)))) (* x (log (/ x (sqrt y)))) 0 (* x (log (/ x y))) 0 (* x (log (/ x y))) (* (log x) x) (* (- (log y)) x) (* (* 2 (log (cbrt (/ x y)))) x) (* (log (cbrt (/ x y))) x) (* (log (sqrt (/ x y))) x) (* (log (sqrt (/ x y))) x) (* (* 2 (log (/ (cbrt x) (cbrt y)))) x) (* (log (/ (cbrt x) (cbrt y))) x) (* (log (/ (* (cbrt x) (cbrt x)) (sqrt y))) x) (* (log (/ (cbrt x) (sqrt y))) x) (* (* 2 (log (cbrt x))) x) (* (log (/ (cbrt x) y)) x) (* (log (/ (sqrt x) (* (cbrt y) (cbrt y)))) x) (* (log (/ (sqrt x) (cbrt y))) x) (* (log (/ (sqrt x) (sqrt y))) x) (* (log (/ (sqrt x) (sqrt y))) x) (* x (log (sqrt x))) (* (log (/ (sqrt x) y)) x) (* x (- (* 2 (log (cbrt y))))) (* x (log (/ x (cbrt y)))) (* x (- (log (sqrt y)))) (* x (log (/ x (sqrt y)))) 0 (* x (log (/ x y))) 0 (* x (log (/ x y))) (* (log x) x) (* (- (log y)) x) x (* x (* (cbrt (log (/ x y))) (cbrt (log (/ x y))))) (* x (sqrt (log (/ x y)))) x (* (cbrt x) (log (/ x y))) (* (sqrt x) (log (/ x y))) (* x (log (/ x y))) (/ (pow (/ x y) x) (exp z)) (log (- (* x (log (/ x y))) z)) (/ (pow (/ x y) x) (exp z)) (* (cbrt (- (* x (log (/ x y))) z)) (cbrt (- (* x (log (/ x y))) z))) (cbrt (- (* x (log (/ x y))) z)) (pow (- (* (log (/ x y)) x) z) 3) (sqrt (- (* x (log (/ x y))) z)) (sqrt (- (* x (log (/ x y))) z)) (- (pow (* x (log (/ x y))) 3) (pow z 3)) (+ (* (* x (log (/ x y))) (+ (* x (log (/ x y))) z)) (* z z)) (- z) (- (* (* x (log (/ x y))) (* x (log (/ x y)))) (* z z)) (+ (* x (log (/ x y))) z) (- (* x (log (cbrt (/ x y)))) z) (- (* (log (sqrt (/ x y))) x) z) (- (* x (log (/ (cbrt x) (cbrt y)))) z) (- (* x (log (/ (cbrt x) (sqrt y)))) z) (- (* x (log (/ (cbrt x) y))) z) (- (* x (log (/ (sqrt x) (cbrt y)))) z) (- (* (log (/ (sqrt x) (sqrt y))) x) z) (- (* (log (/ (sqrt x) y)) x) z) (- (* (log (/ x (cbrt y))) x) z) (- (* (log (/ x (sqrt y))) x) z) (- (* x (log (/ x y))) z) (- (* x (log (/ x y))) z) (- (+ (* x (log y)) z)) (- (* x (log (cbrt (/ x y)))) z) (- (* (log (sqrt (/ x y))) x) z) (- (* x (log (/ (cbrt x) (cbrt y)))) z) (- (* x (log (/ (cbrt x) (sqrt y)))) z) (- (* x (log (/ (cbrt x) y))) z) (- (* x (log (/ (sqrt x) (cbrt y)))) z) (- (* (log (/ (sqrt x) (sqrt y))) x) z) (- (* (log (/ (sqrt x) y)) x) z) (- (* (log (/ x (cbrt y))) x) z) (- (* (log (/ x (sqrt y))) x) z) (- (* x (log (/ x y))) z) (- (* x (log (/ x y))) z) (- (+ (* x (log y)) z)) (- z) (log (/ x y)) (log (/ x y)) (- (log (/ -1 y)) (log (/ -1 x))) (* x (log (/ x y))) (* x (log (/ x y))) (* x (- (log (/ -1 y)) (log (/ -1 x)))) (- (* x (log (/ x y))) z) (- (* x (log (/ x y))) z) (- (* x (- (log (/ -1 y)) (log (/ -1 x)))) z) 1.506 * * * [progress]: adding candidates to table 1.758 * * [progress]: iteration 2 / 4 1.758 * * * [progress]: picking best candidate 1.779 * * * * [pick]: Picked # 1.779 * * * [progress]: localizing error 1.793 * * * [progress]: generating rewritten candidates 1.793 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 1) 1.793 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1 1) 1.794 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 2) 1.794 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1 2) 1.796 * * * [progress]: generating series expansions 1.796 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 1) 1.796 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.796 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.796 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.796 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.796 * [taylor]: Taking taylor expansion of 1/3 in x 1.796 * [taylor]: Taking taylor expansion of (log x) in x 1.796 * [taylor]: Taking taylor expansion of x in x 1.797 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.797 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.797 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.797 * [taylor]: Taking taylor expansion of 1/3 in x 1.797 * [taylor]: Taking taylor expansion of (log x) in x 1.797 * [taylor]: Taking taylor expansion of x in x 1.851 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.851 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.851 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.851 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.851 * [taylor]: Taking taylor expansion of 1/3 in x 1.851 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.851 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.851 * [taylor]: Taking taylor expansion of x in x 1.852 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.852 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.852 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.852 * [taylor]: Taking taylor expansion of 1/3 in x 1.852 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.852 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.852 * [taylor]: Taking taylor expansion of x in x 1.904 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 1.905 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.905 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.905 * [taylor]: Taking taylor expansion of -1 in x 1.905 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.905 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.905 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.905 * [taylor]: Taking taylor expansion of 1/3 in x 1.905 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.905 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.905 * [taylor]: Taking taylor expansion of x in x 1.906 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 1.906 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.906 * [taylor]: Taking taylor expansion of -1 in x 1.907 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.907 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.907 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.907 * [taylor]: Taking taylor expansion of 1/3 in x 1.907 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.907 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.907 * [taylor]: Taking taylor expansion of x in x 1.975 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1 1) 1.975 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.975 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.975 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.975 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.975 * [taylor]: Taking taylor expansion of 1/3 in x 1.975 * [taylor]: Taking taylor expansion of (log x) in x 1.975 * [taylor]: Taking taylor expansion of x in x 1.975 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.975 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.975 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.975 * [taylor]: Taking taylor expansion of 1/3 in x 1.976 * [taylor]: Taking taylor expansion of (log x) in x 1.976 * [taylor]: Taking taylor expansion of x in x 2.028 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.028 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.028 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.028 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.028 * [taylor]: Taking taylor expansion of 1/3 in x 2.029 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.029 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.029 * [taylor]: Taking taylor expansion of x in x 2.029 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.030 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.030 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.030 * [taylor]: Taking taylor expansion of 1/3 in x 2.030 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.030 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.030 * [taylor]: Taking taylor expansion of x in x 2.086 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 2.086 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.086 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.086 * [taylor]: Taking taylor expansion of -1 in x 2.087 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.087 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.087 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.087 * [taylor]: Taking taylor expansion of 1/3 in x 2.087 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.087 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.087 * [taylor]: Taking taylor expansion of x in x 2.088 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.088 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.088 * [taylor]: Taking taylor expansion of -1 in x 2.089 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.089 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.089 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.089 * [taylor]: Taking taylor expansion of 1/3 in x 2.089 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.089 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.089 * [taylor]: Taking taylor expansion of x in x 2.158 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 2) 2.158 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 2.158 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.158 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.158 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.158 * [taylor]: Taking taylor expansion of 1/3 in y 2.158 * [taylor]: Taking taylor expansion of (log y) in y 2.158 * [taylor]: Taking taylor expansion of y in y 2.158 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.158 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.158 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.158 * [taylor]: Taking taylor expansion of 1/3 in y 2.158 * [taylor]: Taking taylor expansion of (log y) in y 2.158 * [taylor]: Taking taylor expansion of y in y 2.208 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 2.208 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.208 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.208 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.208 * [taylor]: Taking taylor expansion of 1/3 in y 2.208 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.208 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.208 * [taylor]: Taking taylor expansion of y in y 2.209 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.209 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.209 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.209 * [taylor]: Taking taylor expansion of 1/3 in y 2.209 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.209 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.209 * [taylor]: Taking taylor expansion of y in y 2.269 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 2.269 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 2.269 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.269 * [taylor]: Taking taylor expansion of -1 in y 2.270 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.270 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.270 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.270 * [taylor]: Taking taylor expansion of 1/3 in y 2.270 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.270 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.270 * [taylor]: Taking taylor expansion of y in y 2.271 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 2.271 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.271 * [taylor]: Taking taylor expansion of -1 in y 2.271 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.271 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.271 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.271 * [taylor]: Taking taylor expansion of 1/3 in y 2.271 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.271 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.271 * [taylor]: Taking taylor expansion of y in y 2.341 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1 2) 2.341 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 2.341 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.341 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.341 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.341 * [taylor]: Taking taylor expansion of 1/3 in y 2.341 * [taylor]: Taking taylor expansion of (log y) in y 2.341 * [taylor]: Taking taylor expansion of y in y 2.342 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.342 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.342 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.342 * [taylor]: Taking taylor expansion of 1/3 in y 2.342 * [taylor]: Taking taylor expansion of (log y) in y 2.342 * [taylor]: Taking taylor expansion of y in y 2.397 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 2.397 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.397 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.397 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.397 * [taylor]: Taking taylor expansion of 1/3 in y 2.397 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.397 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.397 * [taylor]: Taking taylor expansion of y in y 2.398 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.398 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.398 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.398 * [taylor]: Taking taylor expansion of 1/3 in y 2.398 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.398 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.398 * [taylor]: Taking taylor expansion of y in y 2.451 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 2.451 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 2.451 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.451 * [taylor]: Taking taylor expansion of -1 in y 2.452 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.452 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.452 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.452 * [taylor]: Taking taylor expansion of 1/3 in y 2.452 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.452 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.452 * [taylor]: Taking taylor expansion of y in y 2.453 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 2.453 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.453 * [taylor]: Taking taylor expansion of -1 in y 2.453 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.453 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.454 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.454 * [taylor]: Taking taylor expansion of 1/3 in y 2.454 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.454 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.454 * [taylor]: Taking taylor expansion of y in y 2.523 * * * [progress]: simplifying candidates 2.524 * [simplify]: Simplifying using # : (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt 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)) (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 x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow 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)) 2.525 * * [simplify]: iteration 0 : 42 enodes (cost 260 ) 2.537 * * [simplify]: iteration 1 : 71 enodes (cost 244 ) 2.548 * * [simplify]: iteration 2 : 144 enodes (cost 220 ) 2.571 * * [simplify]: iteration 3 : 293 enodes (cost 208 ) 2.629 * * [simplify]: iteration 4 : 703 enodes (cost 208 ) 2.972 * * [simplify]: iteration 5 : 2045 enodes (cost 208 ) 3.827 * * [simplify]: iteration done : 5000 enodes (cost 208 ) 3.827 * [simplify]: Simplified to: (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt 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)) (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)) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) 3.828 * * * [progress]: adding candidates to table 4.029 * * [progress]: iteration 3 / 4 4.029 * * * [progress]: picking best candidate 4.047 * * * * [pick]: Picked # 4.047 * * * [progress]: localizing error 4.063 * * * [progress]: generating rewritten candidates 4.063 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 4.069 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 2) 4.069 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 2) 4.070 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1) 4.072 * * * [progress]: generating series expansions 4.072 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 4.073 * [approximate]: Taking taylor expansion of (log (* x (pow (/ 1 y) 1/3))) in (x y) around 0 4.073 * [taylor]: Taking taylor expansion of (log (* x (pow (/ 1 y) 1/3))) in y 4.073 * [taylor]: Taking taylor expansion of (* x (pow (/ 1 y) 1/3)) in y 4.073 * [taylor]: Taking taylor expansion of x in y 4.073 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.073 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.073 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.073 * [taylor]: Taking taylor expansion of 1/3 in y 4.073 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.073 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.073 * [taylor]: Taking taylor expansion of y in y 4.074 * [taylor]: Taking taylor expansion of (log (* x (pow (/ 1 y) 1/3))) in x 4.074 * [taylor]: Taking taylor expansion of (* x (pow (/ 1 y) 1/3)) in x 4.074 * [taylor]: Taking taylor expansion of x 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 y in x 4.077 * [taylor]: Taking taylor expansion of (log (* x (pow (/ 1 y) 1/3))) in x 4.077 * [taylor]: Taking taylor expansion of (* x (pow (/ 1 y) 1/3)) in x 4.077 * [taylor]: Taking taylor expansion of x in x 4.077 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 4.077 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 4.077 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 4.077 * [taylor]: Taking taylor expansion of 1/3 in x 4.077 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.077 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.077 * [taylor]: Taking taylor expansion of y in x 4.079 * [taylor]: Taking taylor expansion of (+ (log x) (log (pow (/ 1 y) 1/3))) in y 4.079 * [taylor]: Taking taylor expansion of (log x) in y 4.079 * [taylor]: Taking taylor expansion of x in y 4.079 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) 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.084 * [taylor]: Taking taylor expansion of 0 in y 4.094 * [taylor]: Taking taylor expansion of 0 in y 4.108 * [taylor]: Taking taylor expansion of 0 in y 4.109 * [approximate]: Taking taylor expansion of (log (* (/ 1 x) (pow y 1/3))) in (x y) around 0 4.109 * [taylor]: Taking taylor expansion of (log (* (/ 1 x) (pow y 1/3))) in y 4.109 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow y 1/3)) in y 4.109 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.109 * [taylor]: Taking taylor expansion of x in y 4.109 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.109 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.109 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.109 * [taylor]: Taking taylor expansion of 1/3 in y 4.109 * [taylor]: Taking taylor expansion of (log y) in y 4.109 * [taylor]: Taking taylor expansion of y in y 4.110 * [taylor]: Taking taylor expansion of (log (* (/ 1 x) (pow y 1/3))) in x 4.110 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow y 1/3)) in x 4.110 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.110 * [taylor]: Taking taylor expansion of x in x 4.110 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 4.110 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 4.110 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 4.110 * [taylor]: Taking taylor expansion of 1/3 in x 4.110 * [taylor]: Taking taylor expansion of (log y) in x 4.110 * [taylor]: Taking taylor expansion of y in x 4.110 * [taylor]: Taking taylor expansion of (log (* (/ 1 x) (pow y 1/3))) in x 4.110 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow y 1/3)) in x 4.110 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.110 * [taylor]: Taking taylor expansion of x in x 4.111 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 4.111 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 4.111 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 4.111 * [taylor]: Taking taylor expansion of 1/3 in x 4.111 * [taylor]: Taking taylor expansion of (log y) in x 4.111 * [taylor]: Taking taylor expansion of y in x 4.111 * [taylor]: Taking taylor expansion of (- (log (pow y 1/3)) (log x)) in y 4.111 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 4.111 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.111 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.111 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.111 * [taylor]: Taking taylor expansion of 1/3 in y 4.111 * [taylor]: Taking taylor expansion of (log y) in y 4.111 * [taylor]: Taking taylor expansion of y in y 4.112 * [taylor]: Taking taylor expansion of (log x) in y 4.112 * [taylor]: Taking taylor expansion of x in y 4.115 * [taylor]: Taking taylor expansion of 0 in y 4.123 * [taylor]: Taking taylor expansion of 0 in y 4.135 * [taylor]: Taking taylor expansion of 0 in y 4.135 * [approximate]: Taking taylor expansion of (log (* -1 (* (/ 1 (* (cbrt -1) x)) (pow y 1/3)))) in (x y) around 0 4.135 * [taylor]: Taking taylor expansion of (log (* -1 (* (/ 1 (* (cbrt -1) x)) (pow y 1/3)))) in y 4.135 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* (cbrt -1) x)) (pow y 1/3))) in y 4.135 * [taylor]: Taking taylor expansion of -1 in y 4.135 * [taylor]: Taking taylor expansion of (* (/ 1 (* (cbrt -1) x)) (pow y 1/3)) in y 4.136 * [taylor]: Taking taylor expansion of (/ 1 (* (cbrt -1) x)) in y 4.136 * [taylor]: Taking taylor expansion of (* (cbrt -1) x) in y 4.136 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.136 * [taylor]: Taking taylor expansion of -1 in y 4.136 * [taylor]: Taking taylor expansion of x in y 4.137 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.137 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.137 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.137 * [taylor]: Taking taylor expansion of 1/3 in y 4.137 * [taylor]: Taking taylor expansion of (log y) in y 4.137 * [taylor]: Taking taylor expansion of y in y 4.139 * [taylor]: Taking taylor expansion of (log (* -1 (* (/ 1 (* (cbrt -1) x)) (pow y 1/3)))) in x 4.139 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* (cbrt -1) x)) (pow y 1/3))) in x 4.139 * [taylor]: Taking taylor expansion of -1 in x 4.139 * [taylor]: Taking taylor expansion of (* (/ 1 (* (cbrt -1) x)) (pow y 1/3)) in x 4.139 * [taylor]: Taking taylor expansion of (/ 1 (* (cbrt -1) x)) in x 4.139 * [taylor]: Taking taylor expansion of (* (cbrt -1) x) in x 4.139 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.139 * [taylor]: Taking taylor expansion of -1 in x 4.140 * [taylor]: Taking taylor expansion of x in x 4.142 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 4.142 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 4.142 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 4.142 * [taylor]: Taking taylor expansion of 1/3 in x 4.142 * [taylor]: Taking taylor expansion of (log y) in x 4.142 * [taylor]: Taking taylor expansion of y in x 4.145 * [taylor]: Taking taylor expansion of (log (* -1 (* (/ 1 (* (cbrt -1) x)) (pow y 1/3)))) in x 4.145 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* (cbrt -1) x)) (pow y 1/3))) in x 4.145 * [taylor]: Taking taylor expansion of -1 in x 4.145 * [taylor]: Taking taylor expansion of (* (/ 1 (* (cbrt -1) x)) (pow y 1/3)) in x 4.145 * [taylor]: Taking taylor expansion of (/ 1 (* (cbrt -1) x)) in x 4.145 * [taylor]: Taking taylor expansion of (* (cbrt -1) x) in x 4.145 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.145 * [taylor]: Taking taylor expansion of -1 in x 4.146 * [taylor]: Taking taylor expansion of x in x 4.148 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 4.148 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 4.148 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 4.148 * [taylor]: Taking taylor expansion of 1/3 in x 4.148 * [taylor]: Taking taylor expansion of (log y) in x 4.148 * [taylor]: Taking taylor expansion of y in x 4.151 * [taylor]: Taking taylor expansion of (- (log (* -1 (* (/ 1 (cbrt -1)) (pow y 1/3)))) (log x)) in y 4.151 * [taylor]: Taking taylor expansion of (log (* -1 (* (/ 1 (cbrt -1)) (pow y 1/3)))) in y 4.151 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (cbrt -1)) (pow y 1/3))) in y 4.151 * [taylor]: Taking taylor expansion of -1 in y 4.151 * [taylor]: Taking taylor expansion of (* (/ 1 (cbrt -1)) (pow y 1/3)) in y 4.151 * [taylor]: Taking taylor expansion of (/ 1 (cbrt -1)) in y 4.152 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.152 * [taylor]: Taking taylor expansion of -1 in y 4.153 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.153 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.153 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.153 * [taylor]: Taking taylor expansion of 1/3 in y 4.153 * [taylor]: Taking taylor expansion of (log y) in y 4.153 * [taylor]: Taking taylor expansion of y in y 4.156 * [taylor]: Taking taylor expansion of (log x) in y 4.156 * [taylor]: Taking taylor expansion of x in y 4.170 * [taylor]: Taking taylor expansion of 0 in y 4.185 * [taylor]: Taking taylor expansion of 0 in y 4.208 * [taylor]: Taking taylor expansion of 0 in y 4.209 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 2) 4.209 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 4.209 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.209 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.209 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.209 * [taylor]: Taking taylor expansion of 1/3 in y 4.209 * [taylor]: Taking taylor expansion of (log y) in y 4.209 * [taylor]: Taking taylor expansion of y in y 4.209 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.210 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.210 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.210 * [taylor]: Taking taylor expansion of 1/3 in y 4.210 * [taylor]: Taking taylor expansion of (log y) in y 4.210 * [taylor]: Taking taylor expansion of y in y 4.264 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 4.264 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.264 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.264 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.264 * [taylor]: Taking taylor expansion of 1/3 in y 4.264 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.264 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.264 * [taylor]: Taking taylor expansion of y in y 4.265 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.265 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.265 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.265 * [taylor]: Taking taylor expansion of 1/3 in y 4.265 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.265 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.265 * [taylor]: Taking taylor expansion of y in y 4.325 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 4.325 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 4.325 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.325 * [taylor]: Taking taylor expansion of -1 in y 4.325 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.325 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.325 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.326 * [taylor]: Taking taylor expansion of 1/3 in y 4.326 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.326 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.326 * [taylor]: Taking taylor expansion of y in y 4.326 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 4.326 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.326 * [taylor]: Taking taylor expansion of -1 in y 4.327 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.327 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.327 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.327 * [taylor]: Taking taylor expansion of 1/3 in y 4.327 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.327 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.327 * [taylor]: Taking taylor expansion of y in y 4.391 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 2) 4.391 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 4.391 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.391 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.391 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.391 * [taylor]: Taking taylor expansion of 1/3 in y 4.391 * [taylor]: Taking taylor expansion of (log y) in y 4.391 * [taylor]: Taking taylor expansion of y in y 4.391 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.391 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.391 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.391 * [taylor]: Taking taylor expansion of 1/3 in y 4.391 * [taylor]: Taking taylor expansion of (log y) in y 4.392 * [taylor]: Taking taylor expansion of y in y 4.447 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 4.447 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.447 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.447 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.447 * [taylor]: Taking taylor expansion of 1/3 in y 4.447 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.447 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.447 * [taylor]: Taking taylor expansion of y in y 4.448 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.448 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.448 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.448 * [taylor]: Taking taylor expansion of 1/3 in y 4.448 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.448 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.448 * [taylor]: Taking taylor expansion of y in y 4.507 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 4.507 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 4.507 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.507 * [taylor]: Taking taylor expansion of -1 in y 4.508 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.508 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.508 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.508 * [taylor]: Taking taylor expansion of 1/3 in y 4.508 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.508 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.508 * [taylor]: Taking taylor expansion of y in y 4.509 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 4.509 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.509 * [taylor]: Taking taylor expansion of -1 in y 4.509 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.509 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.509 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.509 * [taylor]: Taking taylor expansion of 1/3 in y 4.509 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.510 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.510 * [taylor]: Taking taylor expansion of y in y 4.580 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1) 4.580 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 4.580 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.580 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.580 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.580 * [taylor]: Taking taylor expansion of 1/3 in y 4.580 * [taylor]: Taking taylor expansion of (log y) in y 4.580 * [taylor]: Taking taylor expansion of y in y 4.581 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.581 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.581 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.581 * [taylor]: Taking taylor expansion of 1/3 in y 4.581 * [taylor]: Taking taylor expansion of (log y) in y 4.581 * [taylor]: Taking taylor expansion of y in y 4.631 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 4.631 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.631 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.631 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.631 * [taylor]: Taking taylor expansion of 1/3 in y 4.631 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.631 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.631 * [taylor]: Taking taylor expansion of y in y 4.632 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.632 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.632 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.632 * [taylor]: Taking taylor expansion of 1/3 in y 4.632 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.632 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.632 * [taylor]: Taking taylor expansion of y in y 4.692 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 4.692 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 4.692 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.692 * [taylor]: Taking taylor expansion of -1 in y 4.692 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.692 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.693 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.693 * [taylor]: Taking taylor expansion of 1/3 in y 4.693 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.693 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.693 * [taylor]: Taking taylor expansion of y in y 4.693 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 4.693 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.693 * [taylor]: Taking taylor expansion of -1 in y 4.694 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.694 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.694 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.694 * [taylor]: Taking taylor expansion of 1/3 in y 4.694 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.694 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.694 * [taylor]: Taking taylor expansion of y in y 4.764 * * * [progress]: simplifying candidates 4.765 * [simplify]: Simplifying using # : (log (* (cbrt (/ x (cbrt y))) (cbrt (/ x (cbrt y))))) (log (cbrt (/ x (cbrt y)))) (log (sqrt (/ x (cbrt y)))) (log (sqrt (/ x (cbrt y)))) (log (/ (* (cbrt x) (cbrt x)) (cbrt (* (cbrt y) (cbrt y))))) (log (/ (cbrt x) (cbrt (cbrt y)))) (log (/ (* (cbrt x) (cbrt x)) (cbrt (sqrt y)))) (log (/ (cbrt x) (cbrt (sqrt y)))) (log (/ (* (cbrt x) (cbrt x)) (cbrt 1))) (log (/ (cbrt x) (cbrt y))) (log (/ (* (cbrt x) (cbrt x)) (* (cbrt (cbrt y)) (cbrt (cbrt y))))) (log (/ (cbrt x) (cbrt (cbrt y)))) (log (/ (* (cbrt x) (cbrt x)) (sqrt (cbrt y)))) (log (/ (cbrt x) (sqrt (cbrt y)))) (log (/ (* (cbrt x) (cbrt x)) 1)) (log (/ (cbrt x) (cbrt y))) (log (/ (sqrt x) (cbrt (* (cbrt y) (cbrt y))))) (log (/ (sqrt x) (cbrt (cbrt y)))) (log (/ (sqrt x) (cbrt (sqrt y)))) (log (/ (sqrt x) (cbrt (sqrt y)))) (log (/ (sqrt x) (cbrt 1))) (log (/ (sqrt x) (cbrt y))) (log (/ (sqrt x) (* (cbrt (cbrt y)) (cbrt (cbrt y))))) (log (/ (sqrt x) (cbrt (cbrt y)))) (log (/ (sqrt x) (sqrt (cbrt y)))) (log (/ (sqrt x) (sqrt (cbrt y)))) (log (/ (sqrt x) 1)) (log (/ (sqrt x) (cbrt y))) (log (/ 1 (cbrt (* (cbrt y) (cbrt y))))) (log (/ x (cbrt (cbrt y)))) (log (/ 1 (cbrt (sqrt y)))) (log (/ x (cbrt (sqrt y)))) (log (/ 1 (cbrt 1))) (log (/ x (cbrt y))) (log (/ 1 (* (cbrt (cbrt y)) (cbrt (cbrt y))))) (log (/ x (cbrt (cbrt y)))) (log (/ 1 (sqrt (cbrt y)))) (log (/ x (sqrt (cbrt y)))) (log (/ 1 1)) (log (/ x (cbrt y))) (log 1) (log (/ x (cbrt y))) (log x) (log (/ 1 (cbrt y))) (log x) (log (cbrt y)) (log (/ x (cbrt y))) (log (log (/ x (cbrt y)))) (exp (log (/ x (cbrt y)))) (* (cbrt (log (/ x (cbrt y)))) (cbrt (log (/ x (cbrt y))))) (cbrt (log (/ x (cbrt y)))) (* (* (log (/ x (cbrt y))) (log (/ x (cbrt y)))) (log (/ x (cbrt y)))) (sqrt (log (/ x (cbrt y)))) (sqrt (log (/ x (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)) (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)) (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)) (+ (log x) (log (pow y -1/3))) (- (log (pow (/ 1 y) 1/3)) (log (/ 1 x))) (- (log (* -1 (* (pow (/ -1 y) 1/3) (/ 1 (cbrt -1))))) (log (/ -1 x))) (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)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) 4.768 * * [simplify]: iteration 0 : 118 enodes (cost 609 ) 4.793 * * [simplify]: iteration 1 : 229 enodes (cost 574 ) 4.831 * * [simplify]: iteration 2 : 476 enodes (cost 527 ) 4.977 * * [simplify]: iteration 3 : 1337 enodes (cost 505 ) 6.069 * * [simplify]: iteration 4 : 3691 enodes (cost 499 ) 7.125 * * [simplify]: iteration done : 5001 enodes (cost 499 ) 7.126 * [simplify]: Simplified to: (* 2 (log (cbrt (/ x (cbrt y))))) (log (cbrt (/ x (cbrt y)))) (log (sqrt (/ x (cbrt y)))) (log (sqrt (/ x (cbrt y)))) (log (/ (* (cbrt x) (cbrt x)) (cbrt (pow y 2/3)))) (log (/ (cbrt x) (cbrt (cbrt y)))) (log (/ (* (cbrt x) (cbrt x)) (cbrt (sqrt y)))) (log (/ (cbrt x) (cbrt (sqrt y)))) (* 2 (log (cbrt x))) (log (/ (cbrt x) (cbrt y))) (* 2 (log (/ (cbrt x) (cbrt (cbrt y))))) (log (/ (cbrt x) (cbrt (cbrt y)))) (log (/ (* (cbrt x) (cbrt x)) (sqrt (cbrt y)))) (log (/ (cbrt x) (sqrt (cbrt y)))) (* 2 (log (cbrt x))) (log (/ (cbrt x) (cbrt y))) (log (/ (sqrt x) (cbrt (pow y 2/3)))) (log (/ (sqrt x) (cbrt (cbrt y)))) (log (/ (sqrt x) (cbrt (sqrt y)))) (log (/ (sqrt x) (cbrt (sqrt y)))) (log (sqrt x)) (log (/ (sqrt x) (cbrt y))) (- (log (sqrt x)) (* 2 (log (cbrt (cbrt y))))) (log (/ (sqrt x) (cbrt (cbrt y)))) (log (/ (sqrt x) (sqrt (cbrt y)))) (log (/ (sqrt x) (sqrt (cbrt y)))) (log (sqrt x)) (log (/ (sqrt x) (cbrt y))) (- (log (cbrt (pow y 2/3)))) (log (/ x (cbrt (cbrt y)))) (- (log (cbrt (sqrt y)))) (log (/ x (cbrt (sqrt y)))) 0 (log (/ x (cbrt y))) (* (log (cbrt (cbrt y))) -2) (log (/ x (cbrt (cbrt y)))) (- (log (sqrt (cbrt y)))) (log (/ x (sqrt (cbrt y)))) 0 (log (/ x (cbrt y))) 0 (log (/ x (cbrt y))) (log x) (- (log (cbrt y))) (log x) (log (cbrt y)) (log (/ x (cbrt y))) (log (log (/ x (cbrt y)))) (/ x (cbrt y)) (* (cbrt (log (/ x (cbrt y)))) (cbrt (log (/ x (cbrt y))))) (cbrt (log (/ x (cbrt y)))) (pow (log (/ x (cbrt y))) 3) (sqrt (log (/ x (cbrt y)))) (sqrt (log (/ x (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)) (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)) (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)) (log (/ x (cbrt y))) (log (/ x (cbrt y))) (+ (log (/ (cbrt (/ -1 y)) (cbrt -1))) (log x)) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) 7.126 * * * [progress]: adding candidates to table 7.391 * * [progress]: iteration 4 / 4 7.391 * * * [progress]: picking best candidate 7.406 * * * * [pick]: Picked # 7.406 * * * [progress]: localizing error 7.428 * * * [progress]: generating rewritten candidates 7.428 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1 2 1 1) 7.429 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1 2 1 1) 7.430 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 2 1 2) 7.430 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1 2 1 2) 7.432 * * * [progress]: generating series expansions 7.432 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1 2 1 1) 7.432 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 7.432 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 7.432 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 7.432 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 7.432 * [taylor]: Taking taylor expansion of 1/3 in x 7.432 * [taylor]: Taking taylor expansion of (log x) in x 7.433 * [taylor]: Taking taylor expansion of x in x 7.434 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 7.434 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 7.434 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 7.434 * [taylor]: Taking taylor expansion of 1/3 in x 7.434 * [taylor]: Taking taylor expansion of (log x) in x 7.434 * [taylor]: Taking taylor expansion of x in x 7.489 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 7.489 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.489 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.489 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.489 * [taylor]: Taking taylor expansion of 1/3 in x 7.489 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.489 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.489 * [taylor]: Taking taylor expansion of x in x 7.490 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.490 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.490 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.490 * [taylor]: Taking taylor expansion of 1/3 in x 7.490 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.490 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.490 * [taylor]: Taking taylor expansion of x in x 7.550 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 7.550 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 7.550 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.550 * [taylor]: Taking taylor expansion of -1 in x 7.551 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.551 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.551 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.551 * [taylor]: Taking taylor expansion of 1/3 in x 7.551 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.551 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.551 * [taylor]: Taking taylor expansion of x in x 7.552 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 7.552 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.552 * [taylor]: Taking taylor expansion of -1 in x 7.553 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.553 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.553 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.553 * [taylor]: Taking taylor expansion of 1/3 in x 7.553 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.553 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.553 * [taylor]: Taking taylor expansion of x in x 7.618 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1 2 1 1) 7.618 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 7.618 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 7.619 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 7.619 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 7.619 * [taylor]: Taking taylor expansion of 1/3 in x 7.619 * [taylor]: Taking taylor expansion of (log x) in x 7.619 * [taylor]: Taking taylor expansion of x in x 7.619 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 7.619 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 7.619 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 7.619 * [taylor]: Taking taylor expansion of 1/3 in x 7.619 * [taylor]: Taking taylor expansion of (log x) in x 7.619 * [taylor]: Taking taylor expansion of x in x 7.676 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 7.676 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.676 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.676 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.676 * [taylor]: Taking taylor expansion of 1/3 in x 7.676 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.676 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.676 * [taylor]: Taking taylor expansion of x in x 7.677 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.677 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.677 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.677 * [taylor]: Taking taylor expansion of 1/3 in x 7.677 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.677 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.677 * [taylor]: Taking taylor expansion of x in x 7.737 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 7.737 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 7.737 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.737 * [taylor]: Taking taylor expansion of -1 in x 7.738 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.738 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.738 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.738 * [taylor]: Taking taylor expansion of 1/3 in x 7.738 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.738 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.738 * [taylor]: Taking taylor expansion of x in x 7.739 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 7.739 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.739 * [taylor]: Taking taylor expansion of -1 in x 7.740 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.740 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.740 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.740 * [taylor]: Taking taylor expansion of 1/3 in x 7.740 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.740 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.740 * [taylor]: Taking taylor expansion of x in x 7.811 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 2 1 2) 7.811 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0 7.811 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 7.811 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 7.811 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 7.811 * [taylor]: Taking taylor expansion of 1/9 in y 7.811 * [taylor]: Taking taylor expansion of (log y) in y 7.812 * [taylor]: Taking taylor expansion of y in y 7.812 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 7.812 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 7.812 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 7.812 * [taylor]: Taking taylor expansion of 1/9 in y 7.812 * [taylor]: Taking taylor expansion of (log y) in y 7.812 * [taylor]: Taking taylor expansion of y in y 7.869 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0 7.869 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 7.869 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 7.869 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 7.869 * [taylor]: Taking taylor expansion of 1/9 in y 7.869 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.869 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.869 * [taylor]: Taking taylor expansion of y in y 7.870 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 7.870 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 7.870 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 7.870 * [taylor]: Taking taylor expansion of 1/9 in y 7.870 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.870 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.870 * [taylor]: Taking taylor expansion of y in y 7.923 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0 7.923 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 7.923 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 7.923 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 7.923 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 7.923 * [taylor]: Taking taylor expansion of 1/3 in y 7.923 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 7.923 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.923 * [taylor]: Taking taylor expansion of -1 in y 7.927 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 7.927 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 7.927 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 7.927 * [taylor]: Taking taylor expansion of 1/9 in y 7.927 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.927 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.927 * [taylor]: Taking taylor expansion of y in y 7.928 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 7.928 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 7.928 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 7.928 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 7.928 * [taylor]: Taking taylor expansion of 1/3 in y 7.928 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 7.928 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.928 * [taylor]: Taking taylor expansion of -1 in y 7.932 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 7.932 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 7.932 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 7.932 * [taylor]: Taking taylor expansion of 1/9 in y 7.932 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.932 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.932 * [taylor]: Taking taylor expansion of y in y 8.254 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1 2 1 2) 8.254 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0 8.254 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 8.254 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 8.254 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 8.254 * [taylor]: Taking taylor expansion of 1/9 in y 8.254 * [taylor]: Taking taylor expansion of (log y) in y 8.254 * [taylor]: Taking taylor expansion of y in y 8.255 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 8.255 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 8.255 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 8.255 * [taylor]: Taking taylor expansion of 1/9 in y 8.255 * [taylor]: Taking taylor expansion of (log y) in y 8.255 * [taylor]: Taking taylor expansion of y in y 8.307 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0 8.307 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 8.307 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 8.307 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 8.307 * [taylor]: Taking taylor expansion of 1/9 in y 8.307 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.307 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.307 * [taylor]: Taking taylor expansion of y in y 8.308 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 8.308 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 8.308 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 8.308 * [taylor]: Taking taylor expansion of 1/9 in y 8.308 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.308 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.308 * [taylor]: Taking taylor expansion of y in y 8.361 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0 8.361 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 8.361 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 8.361 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 8.361 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 8.361 * [taylor]: Taking taylor expansion of 1/3 in y 8.361 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 8.361 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.361 * [taylor]: Taking taylor expansion of -1 in y 8.372 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 8.372 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 8.372 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 8.372 * [taylor]: Taking taylor expansion of 1/9 in y 8.372 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.372 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.372 * [taylor]: Taking taylor expansion of y in y 8.373 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 8.373 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 8.373 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 8.373 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 8.373 * [taylor]: Taking taylor expansion of 1/3 in y 8.373 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 8.373 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.373 * [taylor]: Taking taylor expansion of -1 in y 8.376 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 8.376 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 8.376 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 8.376 * [taylor]: Taking taylor expansion of 1/9 in y 8.376 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.376 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.376 * [taylor]: Taking taylor expansion of y in y 8.503 * * * [progress]: simplifying candidates 8.504 * [simplify]: Simplifying using # : (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt (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))) (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))) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3)) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3)) 8.505 * * [simplify]: iteration 0 : 53 enodes (cost 346 ) 8.514 * * [simplify]: iteration 1 : 88 enodes (cost 330 ) 8.533 * * [simplify]: iteration 2 : 160 enodes (cost 306 ) 8.558 * * [simplify]: iteration 3 : 315 enodes (cost 294 ) 8.635 * * [simplify]: iteration 4 : 803 enodes (cost 294 ) 9.135 * * [simplify]: iteration 5 : 2855 enodes (cost 294 ) 10.287 * * [simplify]: iteration done : 5001 enodes (cost 294 ) 10.287 * [simplify]: Simplified to: (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt (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 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))) (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 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))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) (pow y 1/9) (pow (/ 1 y) -1/9) (* (cbrt (cbrt -1)) (pow (- y) 1/9)) (pow y 1/9) (pow (/ 1 y) -1/9) (* (cbrt (cbrt -1)) (pow (- y) 1/9)) 10.291 * * * [progress]: adding candidates to table 10.581 * [progress]: [Phase 3 of 3] Extracting. 10.581 * * [regime]: Finding splitpoints for: (# # # # # # # #) 10.583 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 10.583 * * * * [regimes]: Trying to branch on z from (# # # # # # # #) 10.619 * * * * [regimes]: Trying to branch on y from (# # # # # # # #) 10.654 * * * * [regimes]: Trying to branch on x from (# # # # # # # #) 10.690 * * * [regime]: Found split indices: #