20.116 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.029 * * * [progress]: [2/2] Setting up program. 0.032 * [progress]: [Phase 2 of 3] Improving. 0.032 * [simplify]: Simplifying using # : (- (* x (log (/ x y))) z) 0.033 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.034 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 0.036 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 0.038 * * [simplify]: iteration 3 : 25 enodes (cost 8 ) 0.041 * * [simplify]: iteration 4 : 38 enodes (cost 8 ) 0.046 * * [simplify]: iteration 5 : 58 enodes (cost 8 ) 0.058 * * [simplify]: iteration 6 : 78 enodes (cost 8 ) 0.069 * * [simplify]: iteration 7 : 98 enodes (cost 8 ) 0.090 * * [simplify]: iteration 8 : 128 enodes (cost 8 ) 0.120 * * [simplify]: iteration 9 : 177 enodes (cost 8 ) 0.180 * * [simplify]: iteration 10 : 254 enodes (cost 8 ) 0.232 * * [simplify]: iteration 11 : 275 enodes (cost 8 ) 0.277 * * [simplify]: iteration 12 : 292 enodes (cost 8 ) 0.323 * * [simplify]: iteration 13 : 293 enodes (cost 8 ) 0.365 * * [simplify]: iteration done : 293 enodes (cost 8 ) 0.365 * [simplify]: Simplified to: (- (* x (log (/ x y))) z) 0.366 * * [progress]: iteration 1 / 4 0.366 * * * [progress]: picking best candidate 0.368 * * * * [pick]: Picked # 0.368 * * * [progress]: localizing error 0.375 * * * [progress]: generating rewritten candidates 0.375 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 0.377 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.384 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.397 * * * [progress]: generating series expansions 0.397 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 0.398 * [approximate]: Taking taylor expansion of (log (/ x y)) in (x y) around 0 0.398 * [taylor]: Taking taylor expansion of (log (/ x y)) in y 0.398 * [taylor]: Taking taylor expansion of (/ x y) in y 0.398 * [taylor]: Taking taylor expansion of x in y 0.398 * [taylor]: Taking taylor expansion of y in y 0.398 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.398 * [taylor]: Taking taylor expansion of (/ x y) in x 0.398 * [taylor]: Taking taylor expansion of x in x 0.398 * [taylor]: Taking taylor expansion of y in x 0.398 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.398 * [taylor]: Taking taylor expansion of (/ x y) in x 0.398 * [taylor]: Taking taylor expansion of x in x 0.398 * [taylor]: Taking taylor expansion of y in x 0.399 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 0.399 * [taylor]: Taking taylor expansion of (log x) in y 0.399 * [taylor]: Taking taylor expansion of x in y 0.399 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.399 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.399 * [taylor]: Taking taylor expansion of y in y 0.401 * [taylor]: Taking taylor expansion of 0 in y 0.404 * [taylor]: Taking taylor expansion of 0 in y 0.415 * [taylor]: Taking taylor expansion of 0 in y 0.415 * [approximate]: Taking taylor expansion of (log (/ y x)) in (x y) around 0 0.415 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.415 * [taylor]: Taking taylor expansion of (/ y x) in y 0.415 * [taylor]: Taking taylor expansion of y in y 0.415 * [taylor]: Taking taylor expansion of x in y 0.415 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.415 * [taylor]: Taking taylor expansion of (/ y x) in x 0.415 * [taylor]: Taking taylor expansion of y in x 0.415 * [taylor]: Taking taylor expansion of x in x 0.415 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.415 * [taylor]: Taking taylor expansion of (/ y x) in x 0.415 * [taylor]: Taking taylor expansion of y in x 0.415 * [taylor]: Taking taylor expansion of x in x 0.416 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 0.416 * [taylor]: Taking taylor expansion of (log y) in y 0.416 * [taylor]: Taking taylor expansion of y in y 0.416 * [taylor]: Taking taylor expansion of (log x) in y 0.416 * [taylor]: Taking taylor expansion of x in y 0.418 * [taylor]: Taking taylor expansion of 0 in y 0.422 * [taylor]: Taking taylor expansion of 0 in y 0.428 * [taylor]: Taking taylor expansion of 0 in y 0.429 * [approximate]: Taking taylor expansion of (log (/ y x)) in (x y) around 0 0.429 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.429 * [taylor]: Taking taylor expansion of (/ y x) in y 0.429 * [taylor]: Taking taylor expansion of y in y 0.429 * [taylor]: Taking taylor expansion of x in y 0.429 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.429 * [taylor]: Taking taylor expansion of (/ y x) in x 0.429 * [taylor]: Taking taylor expansion of y in x 0.429 * [taylor]: Taking taylor expansion of x in x 0.429 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.429 * [taylor]: Taking taylor expansion of (/ y x) in x 0.429 * [taylor]: Taking taylor expansion of y in x 0.429 * [taylor]: Taking taylor expansion of x in x 0.430 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 0.430 * [taylor]: Taking taylor expansion of (log y) in y 0.430 * [taylor]: Taking taylor expansion of y in y 0.430 * [taylor]: Taking taylor expansion of (log x) in y 0.430 * [taylor]: Taking taylor expansion of x in y 0.433 * [taylor]: Taking taylor expansion of 0 in y 0.437 * [taylor]: Taking taylor expansion of 0 in y 0.444 * [taylor]: Taking taylor expansion of 0 in y 0.444 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.444 * [approximate]: Taking taylor expansion of (* x (log (/ x y))) in (x y) around 0 0.444 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in y 0.444 * [taylor]: Taking taylor expansion of x in y 0.444 * [taylor]: Taking taylor expansion of (log (/ x y)) in y 0.444 * [taylor]: Taking taylor expansion of (/ x y) in y 0.444 * [taylor]: Taking taylor expansion of x in y 0.444 * [taylor]: Taking taylor expansion of y in y 0.444 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in x 0.444 * [taylor]: Taking taylor expansion of x in x 0.444 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.444 * [taylor]: Taking taylor expansion of (/ x y) in x 0.444 * [taylor]: Taking taylor expansion of x in x 0.444 * [taylor]: Taking taylor expansion of y in x 0.444 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in x 0.444 * [taylor]: Taking taylor expansion of x in x 0.444 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.444 * [taylor]: Taking taylor expansion of (/ x y) in x 0.444 * [taylor]: Taking taylor expansion of x in x 0.444 * [taylor]: Taking taylor expansion of y in x 0.445 * [taylor]: Taking taylor expansion of 0 in y 0.446 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 0.446 * [taylor]: Taking taylor expansion of (log x) in y 0.446 * [taylor]: Taking taylor expansion of x in y 0.446 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.446 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.447 * [taylor]: Taking taylor expansion of y in y 0.450 * [taylor]: Taking taylor expansion of 0 in y 0.455 * [taylor]: Taking taylor expansion of 0 in y 0.456 * [approximate]: Taking taylor expansion of (/ (log (/ y x)) x) in (x y) around 0 0.456 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in y 0.456 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.456 * [taylor]: Taking taylor expansion of (/ y x) in y 0.456 * [taylor]: Taking taylor expansion of y in y 0.456 * [taylor]: Taking taylor expansion of x in y 0.456 * [taylor]: Taking taylor expansion of x in y 0.457 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.457 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.457 * [taylor]: Taking taylor expansion of (/ y x) in x 0.457 * [taylor]: Taking taylor expansion of y in x 0.457 * [taylor]: Taking taylor expansion of x in x 0.457 * [taylor]: Taking taylor expansion of x in x 0.457 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.458 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.458 * [taylor]: Taking taylor expansion of (/ y x) in x 0.458 * [taylor]: Taking taylor expansion of y in x 0.458 * [taylor]: Taking taylor expansion of x in x 0.458 * [taylor]: Taking taylor expansion of x in x 0.458 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 0.459 * [taylor]: Taking taylor expansion of (log y) in y 0.459 * [taylor]: Taking taylor expansion of y in y 0.459 * [taylor]: Taking taylor expansion of (log x) in y 0.459 * [taylor]: Taking taylor expansion of x in y 0.461 * [taylor]: Taking taylor expansion of 0 in y 0.466 * [taylor]: Taking taylor expansion of 0 in y 0.475 * [taylor]: Taking taylor expansion of 0 in y 0.475 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ y x)) x)) in (x y) around 0 0.475 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ y x)) x)) in y 0.476 * [taylor]: Taking taylor expansion of -1 in y 0.476 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in y 0.476 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.476 * [taylor]: Taking taylor expansion of (/ y x) in y 0.476 * [taylor]: Taking taylor expansion of y in y 0.476 * [taylor]: Taking taylor expansion of x in y 0.476 * [taylor]: Taking taylor expansion of x in y 0.476 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ y x)) x)) in x 0.477 * [taylor]: Taking taylor expansion of -1 in x 0.477 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.477 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.477 * [taylor]: Taking taylor expansion of (/ y x) in x 0.477 * [taylor]: Taking taylor expansion of y in x 0.477 * [taylor]: Taking taylor expansion of x in x 0.477 * [taylor]: Taking taylor expansion of x in x 0.477 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ y x)) x)) in x 0.477 * [taylor]: Taking taylor expansion of -1 in x 0.477 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.478 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.478 * [taylor]: Taking taylor expansion of (/ y x) in x 0.478 * [taylor]: Taking taylor expansion of y in x 0.478 * [taylor]: Taking taylor expansion of x in x 0.478 * [taylor]: Taking taylor expansion of x in x 0.478 * [taylor]: Taking taylor expansion of (* -1 (- (log y) (log x))) in y 0.479 * [taylor]: Taking taylor expansion of -1 in y 0.479 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 0.479 * [taylor]: Taking taylor expansion of (log y) in y 0.479 * [taylor]: Taking taylor expansion of y in y 0.479 * [taylor]: Taking taylor expansion of (log x) in y 0.479 * [taylor]: Taking taylor expansion of x in y 0.482 * [taylor]: Taking taylor expansion of 0 in y 0.488 * [taylor]: Taking taylor expansion of 0 in y 0.497 * [taylor]: Taking taylor expansion of 0 in y 0.498 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.498 * [approximate]: Taking taylor expansion of (- (* x (log (/ x y))) z) in (x y z) around 0 0.498 * [taylor]: Taking taylor expansion of (- (* x (log (/ x y))) z) in z 0.498 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in z 0.498 * [taylor]: Taking taylor expansion of x in z 0.498 * [taylor]: Taking taylor expansion of (log (/ x y)) in z 0.498 * [taylor]: Taking taylor expansion of (/ x y) in z 0.498 * [taylor]: Taking taylor expansion of x in z 0.498 * [taylor]: Taking taylor expansion of y in z 0.498 * [taylor]: Taking taylor expansion of z in z 0.498 * [taylor]: Taking taylor expansion of (- (* x (log (/ x y))) z) in y 0.498 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in y 0.498 * [taylor]: Taking taylor expansion of x in y 0.498 * [taylor]: Taking taylor expansion of (log (/ x y)) in y 0.498 * [taylor]: Taking taylor expansion of (/ x y) in y 0.498 * [taylor]: Taking taylor expansion of x in y 0.498 * [taylor]: Taking taylor expansion of y in y 0.498 * [taylor]: Taking taylor expansion of z in y 0.498 * [taylor]: Taking taylor expansion of (- (* x (log (/ x y))) z) in x 0.498 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in x 0.498 * [taylor]: Taking taylor expansion of x in x 0.498 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.498 * [taylor]: Taking taylor expansion of (/ x y) in x 0.498 * [taylor]: Taking taylor expansion of x in x 0.498 * [taylor]: Taking taylor expansion of y in x 0.498 * [taylor]: Taking taylor expansion of z in x 0.498 * [taylor]: Taking taylor expansion of (- (* x (log (/ x y))) z) in x 0.498 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in x 0.498 * [taylor]: Taking taylor expansion of x in x 0.498 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.499 * [taylor]: Taking taylor expansion of (/ x y) in x 0.499 * [taylor]: Taking taylor expansion of x in x 0.499 * [taylor]: Taking taylor expansion of y in x 0.499 * [taylor]: Taking taylor expansion of z in x 0.499 * [taylor]: Taking taylor expansion of (- z) in y 0.499 * [taylor]: Taking taylor expansion of z in y 0.499 * [taylor]: Taking taylor expansion of (- z) in z 0.499 * [taylor]: Taking taylor expansion of z in z 0.501 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 0.501 * [taylor]: Taking taylor expansion of (log x) in y 0.501 * [taylor]: Taking taylor expansion of x in y 0.501 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.501 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.501 * [taylor]: Taking taylor expansion of y in y 0.502 * [taylor]: Taking taylor expansion of (- (log x) (log y)) in z 0.502 * [taylor]: Taking taylor expansion of (log x) in z 0.502 * [taylor]: Taking taylor expansion of x in z 0.502 * [taylor]: Taking taylor expansion of (log y) in z 0.502 * [taylor]: Taking taylor expansion of y in z 0.503 * [taylor]: Taking taylor expansion of 0 in z 0.506 * [taylor]: Taking taylor expansion of 0 in y 0.506 * [taylor]: Taking taylor expansion of 0 in z 0.508 * [taylor]: Taking taylor expansion of 0 in z 0.509 * [taylor]: Taking taylor expansion of 0 in z 0.517 * [approximate]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in (x y z) around 0 0.517 * [taylor]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in z 0.517 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in z 0.517 * [taylor]: Taking taylor expansion of (log (/ y x)) in z 0.517 * [taylor]: Taking taylor expansion of (/ y x) in z 0.517 * [taylor]: Taking taylor expansion of y in z 0.517 * [taylor]: Taking taylor expansion of x in z 0.517 * [taylor]: Taking taylor expansion of x in z 0.517 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.517 * [taylor]: Taking taylor expansion of z in z 0.518 * [taylor]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in y 0.518 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in y 0.518 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.518 * [taylor]: Taking taylor expansion of (/ y x) in y 0.518 * [taylor]: Taking taylor expansion of y in y 0.518 * [taylor]: Taking taylor expansion of x in y 0.518 * [taylor]: Taking taylor expansion of x in y 0.518 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.519 * [taylor]: Taking taylor expansion of z in y 0.519 * [taylor]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in x 0.519 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.519 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.519 * [taylor]: Taking taylor expansion of (/ y x) in x 0.519 * [taylor]: Taking taylor expansion of y in x 0.519 * [taylor]: Taking taylor expansion of x in x 0.519 * [taylor]: Taking taylor expansion of x in x 0.519 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.520 * [taylor]: Taking taylor expansion of z in x 0.520 * [taylor]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in x 0.520 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.520 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.520 * [taylor]: Taking taylor expansion of (/ y x) in x 0.520 * [taylor]: Taking taylor expansion of y in x 0.520 * [taylor]: Taking taylor expansion of x in x 0.520 * [taylor]: Taking taylor expansion of x in x 0.520 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.520 * [taylor]: Taking taylor expansion of z in x 0.521 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 0.521 * [taylor]: Taking taylor expansion of (log y) in y 0.521 * [taylor]: Taking taylor expansion of y in y 0.521 * [taylor]: Taking taylor expansion of (log x) in y 0.521 * [taylor]: Taking taylor expansion of x in y 0.521 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in z 0.521 * [taylor]: Taking taylor expansion of (log y) in z 0.521 * [taylor]: Taking taylor expansion of y in z 0.522 * [taylor]: Taking taylor expansion of (log x) in z 0.522 * [taylor]: Taking taylor expansion of x in z 0.523 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in y 0.524 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.524 * [taylor]: Taking taylor expansion of z in y 0.524 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.524 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.524 * [taylor]: Taking taylor expansion of z in z 0.526 * [taylor]: Taking taylor expansion of 0 in z 0.530 * [taylor]: Taking taylor expansion of 0 in y 0.530 * [taylor]: Taking taylor expansion of 0 in z 0.530 * [taylor]: Taking taylor expansion of 0 in z 0.534 * [taylor]: Taking taylor expansion of 0 in z 0.541 * [taylor]: Taking taylor expansion of 0 in y 0.541 * [taylor]: Taking taylor expansion of 0 in z 0.541 * [taylor]: Taking taylor expansion of 0 in z 0.541 * [taylor]: Taking taylor expansion of 0 in z 0.547 * [taylor]: Taking taylor expansion of 0 in z 0.548 * [approximate]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in (x y z) around 0 0.548 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in z 0.548 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.548 * [taylor]: Taking taylor expansion of z in z 0.548 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in z 0.548 * [taylor]: Taking taylor expansion of (log (/ y x)) in z 0.548 * [taylor]: Taking taylor expansion of (/ y x) in z 0.548 * [taylor]: Taking taylor expansion of y in z 0.548 * [taylor]: Taking taylor expansion of x in z 0.548 * [taylor]: Taking taylor expansion of x in z 0.548 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in y 0.549 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.549 * [taylor]: Taking taylor expansion of z in y 0.549 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in y 0.549 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.549 * [taylor]: Taking taylor expansion of (/ y x) in y 0.549 * [taylor]: Taking taylor expansion of y in y 0.549 * [taylor]: Taking taylor expansion of x in y 0.549 * [taylor]: Taking taylor expansion of x in y 0.549 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in x 0.550 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.550 * [taylor]: Taking taylor expansion of z in x 0.550 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.550 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.550 * [taylor]: Taking taylor expansion of (/ y x) in x 0.550 * [taylor]: Taking taylor expansion of y in x 0.550 * [taylor]: Taking taylor expansion of x in x 0.550 * [taylor]: Taking taylor expansion of x in x 0.550 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in x 0.550 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.551 * [taylor]: Taking taylor expansion of z in x 0.551 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.551 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.551 * [taylor]: Taking taylor expansion of (/ y x) in x 0.551 * [taylor]: Taking taylor expansion of y in x 0.551 * [taylor]: Taking taylor expansion of x in x 0.551 * [taylor]: Taking taylor expansion of x in x 0.552 * [taylor]: Taking taylor expansion of (- (log x) (log y)) in y 0.552 * [taylor]: Taking taylor expansion of (log x) in y 0.552 * [taylor]: Taking taylor expansion of x in y 0.552 * [taylor]: Taking taylor expansion of (log y) in y 0.552 * [taylor]: Taking taylor expansion of y in y 0.552 * [taylor]: Taking taylor expansion of (- (log x) (log y)) in z 0.552 * [taylor]: Taking taylor expansion of (log x) in z 0.552 * [taylor]: Taking taylor expansion of x in z 0.552 * [taylor]: Taking taylor expansion of (log y) in z 0.553 * [taylor]: Taking taylor expansion of y in z 0.555 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.555 * [taylor]: Taking taylor expansion of z in y 0.555 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.555 * [taylor]: Taking taylor expansion of z in z 0.557 * [taylor]: Taking taylor expansion of 0 in z 0.561 * [taylor]: Taking taylor expansion of 0 in y 0.561 * [taylor]: Taking taylor expansion of 0 in z 0.561 * [taylor]: Taking taylor expansion of 0 in z 0.564 * [taylor]: Taking taylor expansion of 0 in z 0.571 * [taylor]: Taking taylor expansion of 0 in y 0.571 * [taylor]: Taking taylor expansion of 0 in z 0.571 * [taylor]: Taking taylor expansion of 0 in z 0.571 * [taylor]: Taking taylor expansion of 0 in z 0.577 * [taylor]: Taking taylor expansion of 0 in z 0.577 * * * [progress]: simplifying candidates 0.579 * [simplify]: Simplifying using # : (expm1 (log (/ x y))) (log1p (log (/ x y))) (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))) (expm1 (* x (log (/ x y)))) (log1p (* x (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))) (fma x (log (/ x y)) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) (fma x (log (/ x y)) (- (* (sqrt z) (sqrt z)))) (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) (fma x (log (/ x y)) (- (* z 1))) (fma (- z) 1 (* z 1)) (expm1 (- (* x (log (/ x y))) z)) (log1p (- (* x (log (/ x y))) z)) (- z) (/ (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.585 * * [simplify]: iteration 0 : 215 enodes (cost 1393 ) 0.657 * * [simplify]: iteration 1 : 399 enodes (cost 1296 ) 0.747 * * [simplify]: iteration 2 : 774 enodes (cost 1218 ) 1.170 * * [simplify]: iteration 3 : 2315 enodes (cost 1187 ) 2.050 * * [simplify]: iteration done : 5000 enodes (cost 1187 ) 2.051 * [simplify]: Simplified to: (expm1 (log (/ x y))) (log1p (log (/ x y))) (* 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))) (expm1 (* x (log (/ x y)))) (log1p (* x (log (/ x y)))) (* x (log (/ x y))) (log (* x (log (/ x y)))) (log (* x (log (/ x y)))) (pow (/ x y) x) (pow (* (log (/ x y)) x) 3) (* (cbrt (* x (log (/ x y)))) (cbrt (* x (log (/ x y))))) (cbrt (* x (log (/ x y)))) (pow (* (log (/ x y)) x) 3) (sqrt (* x (log (/ x y)))) (sqrt (* x (log (/ x y)))) (* (sqrt x) (sqrt (log (/ x y)))) (* (sqrt x) (sqrt (log (/ x y)))) (* x (* 2 (log (cbrt (/ x y))))) (* (log (cbrt (/ x y))) x) (* (log (sqrt (/ x y))) x) (* (log (sqrt (/ x y))) x) (* x (* 2 (log (/ (cbrt x) (cbrt y))))) (* (log (/ (cbrt x) (cbrt y))) x) (* (log (/ (* (cbrt x) (cbrt x)) (sqrt y))) x) (* (log (/ (cbrt x) (sqrt y))) x) (* x (* 2 (log (cbrt x)))) (* (log (/ (cbrt x) y)) x) (* (log (/ (sqrt x) (* (cbrt y) (cbrt y)))) x) (* x (log (/ (sqrt x) (cbrt y)))) (* x (log (/ (sqrt x) (sqrt y)))) (* x (log (/ (sqrt x) (sqrt y)))) (* x (log (sqrt x))) (* x (log (/ (sqrt x) y))) (* (* 2 (log (cbrt y))) (- x)) (* (log (/ x (cbrt y))) x) (* x (- (log (sqrt y)))) (* x (log (/ x (sqrt y)))) 0 (* x (log (/ x y))) 0 (* x (log (/ x y))) (* x (log x)) (* x (- (log y))) (* x (* 2 (log (cbrt (/ x y))))) (* (log (cbrt (/ x y))) x) (* (log (sqrt (/ x y))) x) (* (log (sqrt (/ x y))) x) (* x (* 2 (log (/ (cbrt x) (cbrt y))))) (* (log (/ (cbrt x) (cbrt y))) x) (* (log (/ (* (cbrt x) (cbrt x)) (sqrt y))) x) (* (log (/ (cbrt x) (sqrt y))) x) (* x (* 2 (log (cbrt x)))) (* (log (/ (cbrt x) y)) x) (* (log (/ (sqrt x) (* (cbrt y) (cbrt y)))) x) (* x (log (/ (sqrt x) (cbrt y)))) (* x (log (/ (sqrt x) (sqrt y)))) (* x (log (/ (sqrt x) (sqrt y)))) (* x (log (sqrt x))) (* x (log (/ (sqrt x) y))) (* (* 2 (log (cbrt y))) (- x)) (* (log (/ x (cbrt y))) x) (* x (- (log (sqrt y)))) (* x (log (/ x (sqrt y)))) 0 (* x (log (/ x y))) 0 (* x (log (/ x y))) (* x (log x)) (* x (- (log y))) 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))) (fma (log (/ x y)) x (- z)) (- z z) (fma (log (/ x y)) x (- z)) (- z z) (fma (log (/ x y)) x (- z)) (- z z) (expm1 (- (* x (log (/ x y))) z)) (log1p (- (* x (log (/ x y))) z)) (- z) (/ (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)) (fma z z (* (fma x (log (/ x y)) z) (* (log (/ x y)) x))) (- z) (* (fma x (log (/ x y)) z) (fma (log (/ x y)) x (- z))) (fma x (log (/ x 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) (- (* 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) (- (* (log (/ x (sqrt y))) x) z) (fma (log (/ x y)) x (- z)) (fma (log (/ x y)) x (- z)) (- (fma x (log 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) (- (* 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) (- (* (log (/ x (sqrt y))) x) z) (fma (log (/ x y)) x (- z)) (fma (log (/ x y)) x (- z)) (- (fma 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)))) (fma (log (/ x y)) x (- z)) (fma (log (/ x y)) x (- z)) (- (* x (- (log (/ -1 y)) (log (/ -1 x)))) z) 2.052 * * * [progress]: adding candidates to table 2.359 * * [progress]: iteration 2 / 4 2.360 * * * [progress]: picking best candidate 2.380 * * * * [pick]: Picked # 2.380 * * * [progress]: localizing error 2.395 * * * [progress]: generating rewritten candidates 2.395 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 1) 2.396 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2 1 1) 2.396 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 2) 2.397 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2 1 2) 2.398 * * * [progress]: generating series expansions 2.398 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 1) 2.398 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.398 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.398 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.398 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.398 * [taylor]: Taking taylor expansion of 1/3 in x 2.398 * [taylor]: Taking taylor expansion of (log x) in x 2.398 * [taylor]: Taking taylor expansion of x in x 2.399 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.399 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.399 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.399 * [taylor]: Taking taylor expansion of 1/3 in x 2.399 * [taylor]: Taking taylor expansion of (log x) in x 2.399 * [taylor]: Taking taylor expansion of x in x 2.456 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.456 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.456 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.456 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.456 * [taylor]: Taking taylor expansion of 1/3 in x 2.456 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.456 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.456 * [taylor]: Taking taylor expansion of x in x 2.457 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.457 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.457 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.457 * [taylor]: Taking taylor expansion of 1/3 in x 2.457 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.457 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.457 * [taylor]: Taking taylor expansion of x in x 2.519 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 2.519 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.519 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.519 * [taylor]: Taking taylor expansion of -1 in x 2.520 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.520 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.520 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.520 * [taylor]: Taking taylor expansion of 1/3 in x 2.520 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.520 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.521 * [taylor]: Taking taylor expansion of x in x 2.521 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.521 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.522 * [taylor]: Taking taylor expansion of -1 in x 2.522 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.522 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.522 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.522 * [taylor]: Taking taylor expansion of 1/3 in x 2.522 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.522 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.522 * [taylor]: Taking taylor expansion of x in x 2.598 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2 1 1) 2.598 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.598 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.598 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.598 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.598 * [taylor]: Taking taylor expansion of 1/3 in x 2.598 * [taylor]: Taking taylor expansion of (log x) in x 2.598 * [taylor]: Taking taylor expansion of x in x 2.598 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.599 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.599 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.599 * [taylor]: Taking taylor expansion of 1/3 in x 2.599 * [taylor]: Taking taylor expansion of (log x) in x 2.599 * [taylor]: Taking taylor expansion of x in x 2.650 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.650 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.650 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.650 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.650 * [taylor]: Taking taylor expansion of 1/3 in x 2.650 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.650 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.650 * [taylor]: Taking taylor expansion of x in x 2.651 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.651 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.651 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.651 * [taylor]: Taking taylor expansion of 1/3 in x 2.651 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.651 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.651 * [taylor]: Taking taylor expansion of x in x 2.713 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 2.713 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.713 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.713 * [taylor]: Taking taylor expansion of -1 in x 2.714 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.715 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.715 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.715 * [taylor]: Taking taylor expansion of 1/3 in x 2.715 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.715 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.715 * [taylor]: Taking taylor expansion of x in x 2.716 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.716 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.716 * [taylor]: Taking taylor expansion of -1 in x 2.717 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.717 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.717 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.717 * [taylor]: Taking taylor expansion of 1/3 in x 2.717 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.717 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.717 * [taylor]: Taking taylor expansion of x in x 2.791 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 2) 2.792 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 2.792 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.792 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.792 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.792 * [taylor]: Taking taylor expansion of 1/3 in y 2.792 * [taylor]: Taking taylor expansion of (log y) in y 2.792 * [taylor]: Taking taylor expansion of y in y 2.792 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.792 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.792 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.792 * [taylor]: Taking taylor expansion of 1/3 in y 2.792 * [taylor]: Taking taylor expansion of (log y) in y 2.792 * [taylor]: Taking taylor expansion of y in y 2.852 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 2.852 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.852 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.852 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.852 * [taylor]: Taking taylor expansion of 1/3 in y 2.852 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.852 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.852 * [taylor]: Taking taylor expansion of y in y 2.853 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.853 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.853 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.853 * [taylor]: Taking taylor expansion of 1/3 in y 2.853 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.853 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.853 * [taylor]: Taking taylor expansion of y in y 2.909 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 2.909 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 2.909 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.909 * [taylor]: Taking taylor expansion of -1 in y 2.910 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.910 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.910 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.910 * [taylor]: Taking taylor expansion of 1/3 in y 2.910 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.910 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.910 * [taylor]: Taking taylor expansion of y in y 2.911 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 2.911 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.911 * [taylor]: Taking taylor expansion of -1 in y 2.912 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.912 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.912 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.912 * [taylor]: Taking taylor expansion of 1/3 in y 2.912 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.912 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.912 * [taylor]: Taking taylor expansion of y in y 2.988 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2 1 2) 2.988 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 2.988 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.988 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.988 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.988 * [taylor]: Taking taylor expansion of 1/3 in y 2.988 * [taylor]: Taking taylor expansion of (log y) in y 2.988 * [taylor]: Taking taylor expansion of y in y 2.989 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.989 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.989 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.989 * [taylor]: Taking taylor expansion of 1/3 in y 2.989 * [taylor]: Taking taylor expansion of (log y) in y 2.989 * [taylor]: Taking taylor expansion of y in y 3.048 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 3.049 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.049 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.049 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.049 * [taylor]: Taking taylor expansion of 1/3 in y 3.049 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.049 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.049 * [taylor]: Taking taylor expansion of y in y 3.050 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.050 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.050 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.050 * [taylor]: Taking taylor expansion of 1/3 in y 3.050 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.050 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.050 * [taylor]: Taking taylor expansion of y in y 3.112 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 3.112 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 3.112 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.112 * [taylor]: Taking taylor expansion of -1 in y 3.113 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.114 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.114 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.114 * [taylor]: Taking taylor expansion of 1/3 in y 3.114 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.114 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.114 * [taylor]: Taking taylor expansion of y in y 3.115 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 3.115 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.115 * [taylor]: Taking taylor expansion of -1 in y 3.115 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.116 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.116 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.116 * [taylor]: Taking taylor expansion of 1/3 in y 3.116 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.116 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.116 * [taylor]: Taking taylor expansion of y in y 3.191 * * * [progress]: simplifying candidates 3.192 * [simplify]: Simplifying using # : (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (pow 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)) 3.194 * * [simplify]: iteration 0 : 46 enodes (cost 284 ) 3.201 * * [simplify]: iteration 1 : 75 enodes (cost 268 ) 3.212 * * [simplify]: iteration 2 : 148 enodes (cost 244 ) 3.236 * * [simplify]: iteration 3 : 297 enodes (cost 232 ) 3.301 * * [simplify]: iteration 4 : 711 enodes (cost 232 ) 3.657 * * [simplify]: iteration 5 : 2095 enodes (cost 232 ) 4.619 * * [simplify]: iteration done : 5000 enodes (cost 232 ) 4.619 * [simplify]: Simplified to: (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (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))) 4.620 * * * [progress]: adding candidates to table 4.893 * * [progress]: iteration 3 / 4 4.894 * * * [progress]: picking best candidate 4.913 * * * * [pick]: Picked # 4.914 * * * [progress]: localizing error 4.931 * * * [progress]: generating rewritten candidates 4.931 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2) 4.934 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 2) 4.934 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2 2) 4.935 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 1) 4.938 * * * [progress]: generating series expansions 4.938 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2) 4.938 * [approximate]: Taking taylor expansion of (log (* x (pow (/ 1 y) 1/3))) in (x y) around 0 4.938 * [taylor]: Taking taylor expansion of (log (* x (pow (/ 1 y) 1/3))) in y 4.938 * [taylor]: Taking taylor expansion of (* x (pow (/ 1 y) 1/3)) in y 4.938 * [taylor]: Taking taylor expansion of x in y 4.938 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.938 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.938 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.938 * [taylor]: Taking taylor expansion of 1/3 in y 4.938 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.938 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.938 * [taylor]: Taking taylor expansion of y in y 4.940 * [taylor]: Taking taylor expansion of (log (* x (pow (/ 1 y) 1/3))) in x 4.940 * [taylor]: Taking taylor expansion of (* x (pow (/ 1 y) 1/3)) in x 4.940 * [taylor]: Taking taylor expansion of x in x 4.940 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 4.940 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 4.940 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 4.940 * [taylor]: Taking taylor expansion of 1/3 in x 4.940 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.940 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.940 * [taylor]: Taking taylor expansion of y in x 4.943 * [taylor]: Taking taylor expansion of (log (* x (pow (/ 1 y) 1/3))) in x 4.943 * [taylor]: Taking taylor expansion of (* x (pow (/ 1 y) 1/3)) in x 4.943 * [taylor]: Taking taylor expansion of x in x 4.943 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 4.943 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 4.943 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 4.943 * [taylor]: Taking taylor expansion of 1/3 in x 4.943 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.943 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.943 * [taylor]: Taking taylor expansion of y in x 4.946 * [taylor]: Taking taylor expansion of (+ (log x) (log (pow (/ 1 y) 1/3))) in y 4.947 * [taylor]: Taking taylor expansion of (log x) in y 4.947 * [taylor]: Taking taylor expansion of x in y 4.947 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 4.947 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.947 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.947 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.947 * [taylor]: Taking taylor expansion of 1/3 in y 4.947 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.947 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.947 * [taylor]: Taking taylor expansion of y in y 4.953 * [taylor]: Taking taylor expansion of 0 in y 4.965 * [taylor]: Taking taylor expansion of 0 in y 4.983 * [taylor]: Taking taylor expansion of 0 in y 4.983 * [approximate]: Taking taylor expansion of (log (* (/ 1 x) (pow y 1/3))) in (x y) around 0 4.983 * [taylor]: Taking taylor expansion of (log (* (/ 1 x) (pow y 1/3))) in y 4.983 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow y 1/3)) in y 4.983 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.983 * [taylor]: Taking taylor expansion of x in y 4.983 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.983 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.983 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.984 * [taylor]: Taking taylor expansion of 1/3 in y 4.984 * [taylor]: Taking taylor expansion of (log y) in y 4.984 * [taylor]: Taking taylor expansion of y in y 4.984 * [taylor]: Taking taylor expansion of (log (* (/ 1 x) (pow y 1/3))) in x 4.985 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow y 1/3)) in x 4.985 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.985 * [taylor]: Taking taylor expansion of x in x 4.985 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 4.985 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 4.985 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 4.985 * [taylor]: Taking taylor expansion of 1/3 in x 4.985 * [taylor]: Taking taylor expansion of (log y) in x 4.985 * [taylor]: Taking taylor expansion of y in x 4.985 * [taylor]: Taking taylor expansion of (log (* (/ 1 x) (pow y 1/3))) in x 4.985 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow y 1/3)) in x 4.985 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.985 * [taylor]: Taking taylor expansion of x in x 4.986 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 4.986 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 4.986 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 4.986 * [taylor]: Taking taylor expansion of 1/3 in x 4.986 * [taylor]: Taking taylor expansion of (log y) in x 4.986 * [taylor]: Taking taylor expansion of y in x 4.986 * [taylor]: Taking taylor expansion of (- (log (pow y 1/3)) (log x)) in y 4.986 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 4.986 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.987 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.987 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.987 * [taylor]: Taking taylor expansion of 1/3 in y 4.987 * [taylor]: Taking taylor expansion of (log y) in y 4.987 * [taylor]: Taking taylor expansion of y in y 4.987 * [taylor]: Taking taylor expansion of (log x) in y 4.987 * [taylor]: Taking taylor expansion of x in y 4.997 * [taylor]: Taking taylor expansion of 0 in y 5.006 * [taylor]: Taking taylor expansion of 0 in y 5.020 * [taylor]: Taking taylor expansion of 0 in y 5.021 * [approximate]: Taking taylor expansion of (log (* -1 (* (/ 1 (* (cbrt -1) x)) (pow y 1/3)))) in (x y) around 0 5.021 * [taylor]: Taking taylor expansion of (log (* -1 (* (/ 1 (* (cbrt -1) x)) (pow y 1/3)))) in y 5.021 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* (cbrt -1) x)) (pow y 1/3))) in y 5.021 * [taylor]: Taking taylor expansion of -1 in y 5.021 * [taylor]: Taking taylor expansion of (* (/ 1 (* (cbrt -1) x)) (pow y 1/3)) in y 5.021 * [taylor]: Taking taylor expansion of (/ 1 (* (cbrt -1) x)) in y 5.021 * [taylor]: Taking taylor expansion of (* (cbrt -1) x) in y 5.021 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.021 * [taylor]: Taking taylor expansion of -1 in y 5.022 * [taylor]: Taking taylor expansion of x in y 5.022 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 5.023 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 5.023 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 5.023 * [taylor]: Taking taylor expansion of 1/3 in y 5.023 * [taylor]: Taking taylor expansion of (log y) in y 5.023 * [taylor]: Taking taylor expansion of y in y 5.025 * [taylor]: Taking taylor expansion of (log (* -1 (* (/ 1 (* (cbrt -1) x)) (pow y 1/3)))) in x 5.025 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* (cbrt -1) x)) (pow y 1/3))) in x 5.025 * [taylor]: Taking taylor expansion of -1 in x 5.025 * [taylor]: Taking taylor expansion of (* (/ 1 (* (cbrt -1) x)) (pow y 1/3)) in x 5.025 * [taylor]: Taking taylor expansion of (/ 1 (* (cbrt -1) x)) in x 5.025 * [taylor]: Taking taylor expansion of (* (cbrt -1) x) in x 5.025 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.025 * [taylor]: Taking taylor expansion of -1 in x 5.026 * [taylor]: Taking taylor expansion of x in x 5.028 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 5.028 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 5.028 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 5.028 * [taylor]: Taking taylor expansion of 1/3 in x 5.028 * [taylor]: Taking taylor expansion of (log y) in x 5.028 * [taylor]: Taking taylor expansion of y in x 5.031 * [taylor]: Taking taylor expansion of (log (* -1 (* (/ 1 (* (cbrt -1) x)) (pow y 1/3)))) in x 5.031 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (* (cbrt -1) x)) (pow y 1/3))) in x 5.031 * [taylor]: Taking taylor expansion of -1 in x 5.031 * [taylor]: Taking taylor expansion of (* (/ 1 (* (cbrt -1) x)) (pow y 1/3)) in x 5.031 * [taylor]: Taking taylor expansion of (/ 1 (* (cbrt -1) x)) in x 5.031 * [taylor]: Taking taylor expansion of (* (cbrt -1) x) in x 5.031 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.031 * [taylor]: Taking taylor expansion of -1 in x 5.032 * [taylor]: Taking taylor expansion of x in x 5.035 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 5.035 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 5.035 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 5.035 * [taylor]: Taking taylor expansion of 1/3 in x 5.035 * [taylor]: Taking taylor expansion of (log y) in x 5.035 * [taylor]: Taking taylor expansion of y in x 5.039 * [taylor]: Taking taylor expansion of (- (log (* -1 (* (/ 1 (cbrt -1)) (pow y 1/3)))) (log x)) in y 5.039 * [taylor]: Taking taylor expansion of (log (* -1 (* (/ 1 (cbrt -1)) (pow y 1/3)))) in y 5.039 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 (cbrt -1)) (pow y 1/3))) in y 5.039 * [taylor]: Taking taylor expansion of -1 in y 5.039 * [taylor]: Taking taylor expansion of (* (/ 1 (cbrt -1)) (pow y 1/3)) in y 5.039 * [taylor]: Taking taylor expansion of (/ 1 (cbrt -1)) in y 5.039 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.039 * [taylor]: Taking taylor expansion of -1 in y 5.040 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 5.040 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 5.040 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 5.040 * [taylor]: Taking taylor expansion of 1/3 in y 5.040 * [taylor]: Taking taylor expansion of (log y) in y 5.040 * [taylor]: Taking taylor expansion of y in y 5.044 * [taylor]: Taking taylor expansion of (log x) in y 5.044 * [taylor]: Taking taylor expansion of x in y 5.052 * [taylor]: Taking taylor expansion of 0 in y 5.070 * [taylor]: Taking taylor expansion of 0 in y 5.103 * [taylor]: Taking taylor expansion of 0 in y 5.104 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 2) 5.105 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 5.105 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 5.105 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 5.105 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 5.105 * [taylor]: Taking taylor expansion of 1/3 in y 5.105 * [taylor]: Taking taylor expansion of (log y) in y 5.105 * [taylor]: Taking taylor expansion of y in y 5.105 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 5.105 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 5.105 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 5.105 * [taylor]: Taking taylor expansion of 1/3 in y 5.105 * [taylor]: Taking taylor expansion of (log y) in y 5.105 * [taylor]: Taking taylor expansion of y in y 5.162 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 5.162 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.162 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.162 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.162 * [taylor]: Taking taylor expansion of 1/3 in y 5.162 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.162 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.162 * [taylor]: Taking taylor expansion of y in y 5.163 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.163 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.163 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.163 * [taylor]: Taking taylor expansion of 1/3 in y 5.163 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.163 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.164 * [taylor]: Taking taylor expansion of y in y 5.233 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 5.233 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 5.233 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.233 * [taylor]: Taking taylor expansion of -1 in y 5.234 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.234 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.234 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.234 * [taylor]: Taking taylor expansion of 1/3 in y 5.234 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.234 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.234 * [taylor]: Taking taylor expansion of y in y 5.235 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 5.235 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.235 * [taylor]: Taking taylor expansion of -1 in y 5.236 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.236 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.236 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.236 * [taylor]: Taking taylor expansion of 1/3 in y 5.236 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.236 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.236 * [taylor]: Taking taylor expansion of y in y 5.315 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2 2) 5.315 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 5.315 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 5.315 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 5.315 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 5.316 * [taylor]: Taking taylor expansion of 1/3 in y 5.316 * [taylor]: Taking taylor expansion of (log y) in y 5.316 * [taylor]: Taking taylor expansion of y in y 5.316 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 5.316 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 5.316 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 5.316 * [taylor]: Taking taylor expansion of 1/3 in y 5.316 * [taylor]: Taking taylor expansion of (log y) in y 5.316 * [taylor]: Taking taylor expansion of y in y 5.379 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 5.379 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.379 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.379 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.379 * [taylor]: Taking taylor expansion of 1/3 in y 5.379 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.379 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.379 * [taylor]: Taking taylor expansion of y in y 5.381 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.381 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.381 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.381 * [taylor]: Taking taylor expansion of 1/3 in y 5.381 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.381 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.381 * [taylor]: Taking taylor expansion of y in y 5.441 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 5.441 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 5.441 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.441 * [taylor]: Taking taylor expansion of -1 in y 5.442 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.442 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.442 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.442 * [taylor]: Taking taylor expansion of 1/3 in y 5.442 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.442 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.442 * [taylor]: Taking taylor expansion of y in y 5.443 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 5.443 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.443 * [taylor]: Taking taylor expansion of -1 in y 5.444 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.444 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.444 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.444 * [taylor]: Taking taylor expansion of 1/3 in y 5.444 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.444 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.444 * [taylor]: Taking taylor expansion of y in y 5.526 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 1) 5.526 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 5.526 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 5.526 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 5.526 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 5.526 * [taylor]: Taking taylor expansion of 1/3 in y 5.526 * [taylor]: Taking taylor expansion of (log y) in y 5.526 * [taylor]: Taking taylor expansion of y in y 5.527 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 5.527 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 5.527 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 5.527 * [taylor]: Taking taylor expansion of 1/3 in y 5.527 * [taylor]: Taking taylor expansion of (log y) in y 5.527 * [taylor]: Taking taylor expansion of y in y 5.590 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 5.590 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.590 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.590 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.590 * [taylor]: Taking taylor expansion of 1/3 in y 5.590 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.590 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.590 * [taylor]: Taking taylor expansion of y in y 5.591 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.591 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.592 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.592 * [taylor]: Taking taylor expansion of 1/3 in y 5.592 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.592 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.592 * [taylor]: Taking taylor expansion of y in y 5.655 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 5.655 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 5.655 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.655 * [taylor]: Taking taylor expansion of -1 in y 5.656 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.656 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.656 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.656 * [taylor]: Taking taylor expansion of 1/3 in y 5.656 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.656 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.656 * [taylor]: Taking taylor expansion of y in y 5.657 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 5.657 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.657 * [taylor]: Taking taylor expansion of -1 in y 5.658 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.658 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.658 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.658 * [taylor]: Taking taylor expansion of 1/3 in y 5.658 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.658 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.658 * [taylor]: Taking taylor expansion of y in y 5.734 * * * [progress]: simplifying candidates 5.736 * [simplify]: Simplifying using # : (expm1 (log (/ x (cbrt y)))) (log1p (log (/ x (cbrt y)))) (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)))) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (+ (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)) 5.739 * * [simplify]: iteration 0 : 122 enodes (cost 639 ) 5.760 * * [simplify]: iteration 1 : 233 enodes (cost 604 ) 5.805 * * [simplify]: iteration 2 : 481 enodes (cost 555 ) 5.960 * * [simplify]: iteration 3 : 1346 enodes (cost 534 ) 7.424 * * [simplify]: iteration 4 : 3772 enodes (cost 529 ) 8.497 * * [simplify]: iteration done : 5000 enodes (cost 529 ) 8.498 * [simplify]: Simplified to: (expm1 (log (/ x (cbrt y)))) (log1p (log (/ x (cbrt y)))) (* 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 (pow y 2/3)) (cbrt x)))) (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 y) -1/3) (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)))) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (log (/ x (cbrt y))) (log (/ x (cbrt y))) (+ (log (/ (cbrt (/ -1 y)) (cbrt -1))) (log x)) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) 8.499 * * * [progress]: adding candidates to table 8.802 * * [progress]: iteration 4 / 4 8.802 * * * [progress]: picking best candidate 8.819 * * * * [pick]: Picked # 8.819 * * * [progress]: localizing error 8.842 * * * [progress]: generating rewritten candidates 8.842 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2 1 1) 8.843 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 2 1 1) 8.843 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2 1 2) 8.844 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1 2 1 2) 8.846 * * * [progress]: generating series expansions 8.846 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2 1 1) 8.846 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 8.846 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 8.846 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 8.846 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 8.846 * [taylor]: Taking taylor expansion of 1/3 in x 8.846 * [taylor]: Taking taylor expansion of (log x) in x 8.846 * [taylor]: Taking taylor expansion of x in x 8.847 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 8.847 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 8.847 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 8.847 * [taylor]: Taking taylor expansion of 1/3 in x 8.847 * [taylor]: Taking taylor expansion of (log x) in x 8.847 * [taylor]: Taking taylor expansion of x in x 8.903 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 8.903 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.903 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.903 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.903 * [taylor]: Taking taylor expansion of 1/3 in x 8.903 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.903 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.903 * [taylor]: Taking taylor expansion of x in x 8.904 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.904 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.904 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.904 * [taylor]: Taking taylor expansion of 1/3 in x 8.904 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.904 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.904 * [taylor]: Taking taylor expansion of x in x 8.962 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 8.962 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 8.962 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.962 * [taylor]: Taking taylor expansion of -1 in x 8.963 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.963 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.963 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.963 * [taylor]: Taking taylor expansion of 1/3 in x 8.963 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.963 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.963 * [taylor]: Taking taylor expansion of x in x 8.964 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 8.964 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.964 * [taylor]: Taking taylor expansion of -1 in x 8.965 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 8.965 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 8.965 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 8.965 * [taylor]: Taking taylor expansion of 1/3 in x 8.965 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.965 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.965 * [taylor]: Taking taylor expansion of x in x 9.036 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 2 1 1) 9.036 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 9.036 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 9.036 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 9.036 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 9.036 * [taylor]: Taking taylor expansion of 1/3 in x 9.036 * [taylor]: Taking taylor expansion of (log x) in x 9.036 * [taylor]: Taking taylor expansion of x in x 9.037 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 9.037 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 9.037 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 9.037 * [taylor]: Taking taylor expansion of 1/3 in x 9.037 * [taylor]: Taking taylor expansion of (log x) in x 9.037 * [taylor]: Taking taylor expansion of x in x 9.089 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 9.089 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 9.089 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 9.089 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 9.089 * [taylor]: Taking taylor expansion of 1/3 in x 9.089 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 9.089 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.089 * [taylor]: Taking taylor expansion of x in x 9.090 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 9.090 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 9.090 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 9.090 * [taylor]: Taking taylor expansion of 1/3 in x 9.090 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 9.090 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.090 * [taylor]: Taking taylor expansion of x in x 9.153 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 9.153 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 9.153 * [taylor]: Taking taylor expansion of (cbrt -1) in x 9.153 * [taylor]: Taking taylor expansion of -1 in x 9.154 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 9.154 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 9.154 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 9.154 * [taylor]: Taking taylor expansion of 1/3 in x 9.154 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 9.154 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.154 * [taylor]: Taking taylor expansion of x in x 9.155 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 9.155 * [taylor]: Taking taylor expansion of (cbrt -1) in x 9.155 * [taylor]: Taking taylor expansion of -1 in x 9.155 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 9.156 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 9.156 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 9.156 * [taylor]: Taking taylor expansion of 1/3 in x 9.156 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 9.156 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.156 * [taylor]: Taking taylor expansion of x in x 9.231 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2 1 2) 9.231 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0 9.231 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 9.231 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 9.231 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 9.231 * [taylor]: Taking taylor expansion of 1/9 in y 9.231 * [taylor]: Taking taylor expansion of (log y) in y 9.231 * [taylor]: Taking taylor expansion of y in y 9.232 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 9.232 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 9.232 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 9.232 * [taylor]: Taking taylor expansion of 1/9 in y 9.232 * [taylor]: Taking taylor expansion of (log y) in y 9.232 * [taylor]: Taking taylor expansion of y in y 9.291 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0 9.292 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 9.292 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 9.292 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 9.292 * [taylor]: Taking taylor expansion of 1/9 in y 9.292 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.292 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.292 * [taylor]: Taking taylor expansion of y in y 9.293 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 9.293 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 9.293 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 9.293 * [taylor]: Taking taylor expansion of 1/9 in y 9.293 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.293 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.293 * [taylor]: Taking taylor expansion of y in y 9.356 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0 9.356 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 9.356 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 9.356 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 9.356 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 9.356 * [taylor]: Taking taylor expansion of 1/3 in y 9.356 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 9.356 * [taylor]: Taking taylor expansion of (cbrt -1) in y 9.356 * [taylor]: Taking taylor expansion of -1 in y 9.360 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 9.360 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 9.360 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 9.360 * [taylor]: Taking taylor expansion of 1/9 in y 9.360 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.360 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.360 * [taylor]: Taking taylor expansion of y in y 9.361 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 9.361 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 9.361 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 9.361 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 9.361 * [taylor]: Taking taylor expansion of 1/3 in y 9.361 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 9.361 * [taylor]: Taking taylor expansion of (cbrt -1) in y 9.361 * [taylor]: Taking taylor expansion of -1 in y 9.365 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 9.365 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 9.365 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 9.365 * [taylor]: Taking taylor expansion of 1/9 in y 9.365 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.365 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.365 * [taylor]: Taking taylor expansion of y in y 9.499 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1 2 1 2) 9.500 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0 9.500 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 9.500 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 9.500 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 9.500 * [taylor]: Taking taylor expansion of 1/9 in y 9.500 * [taylor]: Taking taylor expansion of (log y) in y 9.500 * [taylor]: Taking taylor expansion of y in y 9.500 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 9.500 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 9.501 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 9.501 * [taylor]: Taking taylor expansion of 1/9 in y 9.501 * [taylor]: Taking taylor expansion of (log y) in y 9.501 * [taylor]: Taking taylor expansion of y in y 9.559 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0 9.559 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 9.559 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 9.559 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 9.559 * [taylor]: Taking taylor expansion of 1/9 in y 9.559 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.559 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.559 * [taylor]: Taking taylor expansion of y in y 9.560 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 9.560 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 9.560 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 9.560 * [taylor]: Taking taylor expansion of 1/9 in y 9.560 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.560 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.560 * [taylor]: Taking taylor expansion of y in y 9.621 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0 9.621 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 9.621 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 9.621 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 9.621 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 9.621 * [taylor]: Taking taylor expansion of 1/3 in y 9.621 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 9.621 * [taylor]: Taking taylor expansion of (cbrt -1) in y 9.622 * [taylor]: Taking taylor expansion of -1 in y 9.626 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 9.626 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 9.626 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 9.626 * [taylor]: Taking taylor expansion of 1/9 in y 9.626 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.626 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.626 * [taylor]: Taking taylor expansion of y in y 9.627 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 9.627 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 9.627 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 9.627 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 9.627 * [taylor]: Taking taylor expansion of 1/3 in y 9.627 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 9.627 * [taylor]: Taking taylor expansion of (cbrt -1) in y 9.627 * [taylor]: Taking taylor expansion of -1 in y 9.631 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 9.631 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 9.631 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 9.631 * [taylor]: Taking taylor expansion of 1/9 in y 9.631 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.631 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.631 * [taylor]: Taking taylor expansion of y in y 9.762 * * * [progress]: simplifying candidates 9.763 * [simplify]: Simplifying using # : (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt (cbrt y))) (log1p (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt 1)) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt 1) (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (expm1 (cbrt (cbrt y))) (log1p (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt 1)) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt 1) (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (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)) 9.765 * * [simplify]: iteration 0 : 57 enodes (cost 374 ) 9.780 * * [simplify]: iteration 1 : 92 enodes (cost 358 ) 9.794 * * [simplify]: iteration 2 : 164 enodes (cost 334 ) 9.819 * * [simplify]: iteration 3 : 315 enodes (cost 322 ) 9.898 * * [simplify]: iteration 4 : 816 enodes (cost 322 ) 10.394 * * [simplify]: iteration 5 : 2807 enodes (cost 322 ) 11.597 * * [simplify]: iteration done : 5000 enodes (cost 322 ) 11.597 * [simplify]: Simplified to: (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt (cbrt y))) (log1p (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt 1) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) 1 (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt y) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (expm1 (cbrt (cbrt y))) (log1p (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt 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 -1) (cbrt (- x))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (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)) 11.598 * * * [progress]: adding candidates to table 11.961 * [progress]: [Phase 3 of 3] Extracting. 11.961 * * [regime]: Finding splitpoints for: (# # # # # # # #) 11.964 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 11.964 * * * * [regimes]: Trying to branch on z from (# # # # # # # #) 12.003 * * * * [regimes]: Trying to branch on y from (# # # # # # # #) 12.041 * * * * [regimes]: Trying to branch on x from (# # # # # # # #) 12.079 * * * [regime]: Found split indices: #