13.049 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.028 * * * [progress]: [2/2] Setting up program. 0.031 * [progress]: [Phase 2 of 3] Improving. 0.031 * [simplify]: Simplifying using # : (- (* x (log (/ x y))) z) 0.032 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.033 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 0.034 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 0.036 * * [simplify]: iteration 3 : 25 enodes (cost 8 ) 0.039 * * [simplify]: iteration 4 : 39 enodes (cost 8 ) 0.044 * * [simplify]: iteration 5 : 59 enodes (cost 8 ) 0.052 * * [simplify]: iteration 6 : 79 enodes (cost 8 ) 0.064 * * [simplify]: iteration 7 : 99 enodes (cost 8 ) 0.076 * * [simplify]: iteration 8 : 137 enodes (cost 8 ) 0.093 * * [simplify]: iteration 9 : 208 enodes (cost 8 ) 0.132 * * [simplify]: iteration 10 : 349 enodes (cost 8 ) 0.217 * * [simplify]: iteration 11 : 409 enodes (cost 8 ) 0.325 * * [simplify]: iteration 12 : 412 enodes (cost 8 ) 0.432 * * [simplify]: iteration done : 412 enodes (cost 8 ) 0.432 * [simplify]: Simplified to: (- (* x (log (/ x y))) z) 0.432 * * [progress]: iteration 1 / 4 0.432 * * * [progress]: picking best candidate 0.434 * * * * [pick]: Picked # 0.434 * * * [progress]: localizing error 0.442 * * * [progress]: generating rewritten candidates 0.442 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 0.444 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 0.454 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.467 * * * [progress]: generating series expansions 0.467 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 0.467 * [approximate]: Taking taylor expansion of (log (/ x y)) in (x y) around 0 0.467 * [taylor]: Taking taylor expansion of (log (/ x y)) in y 0.467 * [taylor]: Taking taylor expansion of (/ x y) in y 0.467 * [taylor]: Taking taylor expansion of x in y 0.467 * [taylor]: Taking taylor expansion of y in y 0.467 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.467 * [taylor]: Taking taylor expansion of (/ x y) in x 0.467 * [taylor]: Taking taylor expansion of x in x 0.467 * [taylor]: Taking taylor expansion of y in x 0.467 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.467 * [taylor]: Taking taylor expansion of (/ x y) in x 0.467 * [taylor]: Taking taylor expansion of x in x 0.467 * [taylor]: Taking taylor expansion of y in x 0.468 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 0.468 * [taylor]: Taking taylor expansion of (log x) in y 0.468 * [taylor]: Taking taylor expansion of x in y 0.468 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.468 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.468 * [taylor]: Taking taylor expansion of y in y 0.470 * [taylor]: Taking taylor expansion of 0 in y 0.473 * [taylor]: Taking taylor expansion of 0 in y 0.479 * [taylor]: Taking taylor expansion of 0 in y 0.479 * [approximate]: Taking taylor expansion of (log (/ y x)) in (x y) around 0 0.479 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.479 * [taylor]: Taking taylor expansion of (/ y x) in y 0.479 * [taylor]: Taking taylor expansion of y in y 0.479 * [taylor]: Taking taylor expansion of x in y 0.479 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.479 * [taylor]: Taking taylor expansion of (/ y x) in x 0.479 * [taylor]: Taking taylor expansion of y in x 0.479 * [taylor]: Taking taylor expansion of x in x 0.479 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.479 * [taylor]: Taking taylor expansion of (/ y x) in x 0.479 * [taylor]: Taking taylor expansion of y in x 0.479 * [taylor]: Taking taylor expansion of x in x 0.480 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 0.480 * [taylor]: Taking taylor expansion of (log y) in y 0.480 * [taylor]: Taking taylor expansion of y in y 0.480 * [taylor]: Taking taylor expansion of (log x) in y 0.480 * [taylor]: Taking taylor expansion of x in y 0.482 * [taylor]: Taking taylor expansion of 0 in y 0.485 * [taylor]: Taking taylor expansion of 0 in y 0.491 * [taylor]: Taking taylor expansion of 0 in y 0.491 * [approximate]: Taking taylor expansion of (log (/ y x)) in (x y) around 0 0.491 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.491 * [taylor]: Taking taylor expansion of (/ y x) in y 0.491 * [taylor]: Taking taylor expansion of y in y 0.491 * [taylor]: Taking taylor expansion of x in y 0.491 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.491 * [taylor]: Taking taylor expansion of (/ y x) in x 0.491 * [taylor]: Taking taylor expansion of y in x 0.491 * [taylor]: Taking taylor expansion of x in x 0.491 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.491 * [taylor]: Taking taylor expansion of (/ y x) in x 0.491 * [taylor]: Taking taylor expansion of y in x 0.491 * [taylor]: Taking taylor expansion of x in x 0.492 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 0.492 * [taylor]: Taking taylor expansion of (log y) in y 0.492 * [taylor]: Taking taylor expansion of y in y 0.492 * [taylor]: Taking taylor expansion of (log x) in y 0.492 * [taylor]: Taking taylor expansion of x in y 0.494 * [taylor]: Taking taylor expansion of 0 in y 0.497 * [taylor]: Taking taylor expansion of 0 in y 0.503 * [taylor]: Taking taylor expansion of 0 in y 0.503 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 0.503 * [approximate]: Taking taylor expansion of (* x (log (/ x y))) in (x y) around 0 0.503 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in y 0.503 * [taylor]: Taking taylor expansion of x in y 0.503 * [taylor]: Taking taylor expansion of (log (/ x y)) in y 0.503 * [taylor]: Taking taylor expansion of (/ x y) in y 0.503 * [taylor]: Taking taylor expansion of x in y 0.503 * [taylor]: Taking taylor expansion of y in y 0.503 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in x 0.503 * [taylor]: Taking taylor expansion of x in x 0.503 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.503 * [taylor]: Taking taylor expansion of (/ x y) in x 0.503 * [taylor]: Taking taylor expansion of x in x 0.503 * [taylor]: Taking taylor expansion of y in x 0.503 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in x 0.503 * [taylor]: Taking taylor expansion of x in x 0.503 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.503 * [taylor]: Taking taylor expansion of (/ x y) in x 0.503 * [taylor]: Taking taylor expansion of x in x 0.503 * [taylor]: Taking taylor expansion of y in x 0.504 * [taylor]: Taking taylor expansion of 0 in y 0.505 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 0.505 * [taylor]: Taking taylor expansion of (log x) in y 0.505 * [taylor]: Taking taylor expansion of x in y 0.505 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.505 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.505 * [taylor]: Taking taylor expansion of y in y 0.508 * [taylor]: Taking taylor expansion of 0 in y 0.513 * [taylor]: Taking taylor expansion of 0 in y 0.513 * [approximate]: Taking taylor expansion of (/ (log (/ y x)) x) in (x y) around 0 0.513 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in y 0.513 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.513 * [taylor]: Taking taylor expansion of (/ y x) in y 0.513 * [taylor]: Taking taylor expansion of y in y 0.513 * [taylor]: Taking taylor expansion of x in y 0.513 * [taylor]: Taking taylor expansion of x in y 0.514 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.514 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.514 * [taylor]: Taking taylor expansion of (/ y x) in x 0.514 * [taylor]: Taking taylor expansion of y in x 0.514 * [taylor]: Taking taylor expansion of x in x 0.514 * [taylor]: Taking taylor expansion of x in x 0.515 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.515 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.515 * [taylor]: Taking taylor expansion of (/ y x) in x 0.515 * [taylor]: Taking taylor expansion of y in x 0.515 * [taylor]: Taking taylor expansion of x in x 0.515 * [taylor]: Taking taylor expansion of x in x 0.515 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 0.515 * [taylor]: Taking taylor expansion of (log y) in y 0.515 * [taylor]: Taking taylor expansion of y in y 0.516 * [taylor]: Taking taylor expansion of (log x) in y 0.516 * [taylor]: Taking taylor expansion of x in y 0.518 * [taylor]: Taking taylor expansion of 0 in y 0.522 * [taylor]: Taking taylor expansion of 0 in y 0.536 * [taylor]: Taking taylor expansion of 0 in y 0.536 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ y x)) x)) in (x y) around 0 0.536 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ y x)) x)) in y 0.536 * [taylor]: Taking taylor expansion of -1 in y 0.536 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in y 0.536 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.536 * [taylor]: Taking taylor expansion of (/ y x) in y 0.536 * [taylor]: Taking taylor expansion of y in y 0.536 * [taylor]: Taking taylor expansion of x in y 0.536 * [taylor]: Taking taylor expansion of x in y 0.537 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ y x)) x)) in x 0.537 * [taylor]: Taking taylor expansion of -1 in x 0.537 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.537 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.537 * [taylor]: Taking taylor expansion of (/ y x) in x 0.537 * [taylor]: Taking taylor expansion of y in x 0.537 * [taylor]: Taking taylor expansion of x in x 0.537 * [taylor]: Taking taylor expansion of x in x 0.538 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ y x)) x)) in x 0.538 * [taylor]: Taking taylor expansion of -1 in x 0.538 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.538 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.538 * [taylor]: Taking taylor expansion of (/ y x) in x 0.538 * [taylor]: Taking taylor expansion of y in x 0.538 * [taylor]: Taking taylor expansion of x in x 0.538 * [taylor]: Taking taylor expansion of x in x 0.539 * [taylor]: Taking taylor expansion of (* -1 (- (log y) (log x))) in y 0.539 * [taylor]: Taking taylor expansion of -1 in y 0.539 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 0.539 * [taylor]: Taking taylor expansion of (log y) in y 0.539 * [taylor]: Taking taylor expansion of y in y 0.539 * [taylor]: Taking taylor expansion of (log x) in y 0.539 * [taylor]: Taking taylor expansion of x in y 0.542 * [taylor]: Taking taylor expansion of 0 in y 0.547 * [taylor]: Taking taylor expansion of 0 in y 0.555 * [taylor]: Taking taylor expansion of 0 in y 0.555 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.555 * [approximate]: Taking taylor expansion of (- (* x (log (/ x y))) z) in (x y z) around 0 0.555 * [taylor]: Taking taylor expansion of (- (* x (log (/ x y))) z) in z 0.556 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in z 0.556 * [taylor]: Taking taylor expansion of x in z 0.556 * [taylor]: Taking taylor expansion of (log (/ x y)) in z 0.556 * [taylor]: Taking taylor expansion of (/ x y) in z 0.556 * [taylor]: Taking taylor expansion of x in z 0.556 * [taylor]: Taking taylor expansion of y in z 0.556 * [taylor]: Taking taylor expansion of z in z 0.556 * [taylor]: Taking taylor expansion of (- (* x (log (/ x y))) z) in y 0.556 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in y 0.556 * [taylor]: Taking taylor expansion of x in y 0.556 * [taylor]: Taking taylor expansion of (log (/ x y)) in y 0.556 * [taylor]: Taking taylor expansion of (/ x y) in y 0.556 * [taylor]: Taking taylor expansion of x in y 0.556 * [taylor]: Taking taylor expansion of y in y 0.556 * [taylor]: Taking taylor expansion of z in y 0.556 * [taylor]: Taking taylor expansion of (- (* x (log (/ x y))) z) in x 0.556 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in x 0.556 * [taylor]: Taking taylor expansion of x in x 0.556 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.556 * [taylor]: Taking taylor expansion of (/ x y) in x 0.556 * [taylor]: Taking taylor expansion of x in x 0.556 * [taylor]: Taking taylor expansion of y in x 0.556 * [taylor]: Taking taylor expansion of z in x 0.556 * [taylor]: Taking taylor expansion of (- (* x (log (/ x y))) z) in x 0.556 * [taylor]: Taking taylor expansion of (* x (log (/ x y))) in x 0.556 * [taylor]: Taking taylor expansion of x in x 0.556 * [taylor]: Taking taylor expansion of (log (/ x y)) in x 0.556 * [taylor]: Taking taylor expansion of (/ x y) in x 0.556 * [taylor]: Taking taylor expansion of x in x 0.556 * [taylor]: Taking taylor expansion of y in x 0.556 * [taylor]: Taking taylor expansion of z in x 0.557 * [taylor]: Taking taylor expansion of (- z) in y 0.557 * [taylor]: Taking taylor expansion of z in y 0.557 * [taylor]: Taking taylor expansion of (- z) in z 0.557 * [taylor]: Taking taylor expansion of z in z 0.558 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 0.559 * [taylor]: Taking taylor expansion of (log x) in y 0.559 * [taylor]: Taking taylor expansion of x in y 0.559 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.559 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.559 * [taylor]: Taking taylor expansion of y in y 0.559 * [taylor]: Taking taylor expansion of (- (log x) (log y)) in z 0.559 * [taylor]: Taking taylor expansion of (log x) in z 0.559 * [taylor]: Taking taylor expansion of x in z 0.559 * [taylor]: Taking taylor expansion of (log y) in z 0.559 * [taylor]: Taking taylor expansion of y in z 0.560 * [taylor]: Taking taylor expansion of 0 in z 0.563 * [taylor]: Taking taylor expansion of 0 in y 0.563 * [taylor]: Taking taylor expansion of 0 in z 0.564 * [taylor]: Taking taylor expansion of 0 in z 0.565 * [taylor]: Taking taylor expansion of 0 in z 0.567 * [approximate]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in (x y z) around 0 0.567 * [taylor]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in z 0.567 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in z 0.567 * [taylor]: Taking taylor expansion of (log (/ y x)) in z 0.567 * [taylor]: Taking taylor expansion of (/ y x) in z 0.567 * [taylor]: Taking taylor expansion of y in z 0.567 * [taylor]: Taking taylor expansion of x in z 0.567 * [taylor]: Taking taylor expansion of x in z 0.567 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.567 * [taylor]: Taking taylor expansion of z in z 0.567 * [taylor]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in y 0.567 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in y 0.567 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.567 * [taylor]: Taking taylor expansion of (/ y x) in y 0.567 * [taylor]: Taking taylor expansion of y in y 0.568 * [taylor]: Taking taylor expansion of x in y 0.568 * [taylor]: Taking taylor expansion of x in y 0.568 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.568 * [taylor]: Taking taylor expansion of z in y 0.568 * [taylor]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in x 0.568 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.568 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.568 * [taylor]: Taking taylor expansion of (/ y x) in x 0.568 * [taylor]: Taking taylor expansion of y in x 0.568 * [taylor]: Taking taylor expansion of x in x 0.568 * [taylor]: Taking taylor expansion of x in x 0.569 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.569 * [taylor]: Taking taylor expansion of z in x 0.569 * [taylor]: Taking taylor expansion of (- (/ (log (/ y x)) x) (/ 1 z)) in x 0.569 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.569 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.569 * [taylor]: Taking taylor expansion of (/ y x) in x 0.569 * [taylor]: Taking taylor expansion of y in x 0.569 * [taylor]: Taking taylor expansion of x in x 0.569 * [taylor]: Taking taylor expansion of x in x 0.570 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.570 * [taylor]: Taking taylor expansion of z in x 0.570 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in y 0.570 * [taylor]: Taking taylor expansion of (log y) in y 0.570 * [taylor]: Taking taylor expansion of y in y 0.570 * [taylor]: Taking taylor expansion of (log x) in y 0.570 * [taylor]: Taking taylor expansion of x in y 0.571 * [taylor]: Taking taylor expansion of (- (log y) (log x)) in z 0.571 * [taylor]: Taking taylor expansion of (log y) in z 0.571 * [taylor]: Taking taylor expansion of y in z 0.571 * [taylor]: Taking taylor expansion of (log x) in z 0.571 * [taylor]: Taking taylor expansion of x in z 0.573 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in y 0.573 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.573 * [taylor]: Taking taylor expansion of z in y 0.573 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.573 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.573 * [taylor]: Taking taylor expansion of z in z 0.575 * [taylor]: Taking taylor expansion of 0 in z 0.579 * [taylor]: Taking taylor expansion of 0 in y 0.579 * [taylor]: Taking taylor expansion of 0 in z 0.579 * [taylor]: Taking taylor expansion of 0 in z 0.582 * [taylor]: Taking taylor expansion of 0 in z 0.589 * [taylor]: Taking taylor expansion of 0 in y 0.589 * [taylor]: Taking taylor expansion of 0 in z 0.589 * [taylor]: Taking taylor expansion of 0 in z 0.589 * [taylor]: Taking taylor expansion of 0 in z 0.594 * [taylor]: Taking taylor expansion of 0 in z 0.595 * [approximate]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in (x y z) around 0 0.595 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in z 0.595 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.595 * [taylor]: Taking taylor expansion of z in z 0.595 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in z 0.595 * [taylor]: Taking taylor expansion of (log (/ y x)) in z 0.595 * [taylor]: Taking taylor expansion of (/ y x) in z 0.595 * [taylor]: Taking taylor expansion of y in z 0.595 * [taylor]: Taking taylor expansion of x in z 0.595 * [taylor]: Taking taylor expansion of x in z 0.595 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in y 0.595 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.595 * [taylor]: Taking taylor expansion of z in y 0.596 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in y 0.596 * [taylor]: Taking taylor expansion of (log (/ y x)) in y 0.596 * [taylor]: Taking taylor expansion of (/ y x) in y 0.596 * [taylor]: Taking taylor expansion of y in y 0.596 * [taylor]: Taking taylor expansion of x in y 0.596 * [taylor]: Taking taylor expansion of x in y 0.596 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in x 0.596 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.596 * [taylor]: Taking taylor expansion of z in x 0.596 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.596 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.596 * [taylor]: Taking taylor expansion of (/ y x) in x 0.596 * [taylor]: Taking taylor expansion of y in x 0.596 * [taylor]: Taking taylor expansion of x in x 0.597 * [taylor]: Taking taylor expansion of x in x 0.597 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ (log (/ y x)) x)) in x 0.597 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.597 * [taylor]: Taking taylor expansion of z in x 0.597 * [taylor]: Taking taylor expansion of (/ (log (/ y x)) x) in x 0.597 * [taylor]: Taking taylor expansion of (log (/ y x)) in x 0.597 * [taylor]: Taking taylor expansion of (/ y x) in x 0.597 * [taylor]: Taking taylor expansion of y in x 0.597 * [taylor]: Taking taylor expansion of x in x 0.597 * [taylor]: Taking taylor expansion of x in x 0.598 * [taylor]: Taking taylor expansion of (- (log x) (log y)) in y 0.598 * [taylor]: Taking taylor expansion of (log x) in y 0.598 * [taylor]: Taking taylor expansion of x in y 0.598 * [taylor]: Taking taylor expansion of (log y) in y 0.598 * [taylor]: Taking taylor expansion of y in y 0.599 * [taylor]: Taking taylor expansion of (- (log x) (log y)) in z 0.599 * [taylor]: Taking taylor expansion of (log x) in z 0.599 * [taylor]: Taking taylor expansion of x in z 0.599 * [taylor]: Taking taylor expansion of (log y) in z 0.599 * [taylor]: Taking taylor expansion of y in z 0.601 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.601 * [taylor]: Taking taylor expansion of z in y 0.601 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.601 * [taylor]: Taking taylor expansion of z in z 0.603 * [taylor]: Taking taylor expansion of 0 in z 0.606 * [taylor]: Taking taylor expansion of 0 in y 0.606 * [taylor]: Taking taylor expansion of 0 in z 0.606 * [taylor]: Taking taylor expansion of 0 in z 0.609 * [taylor]: Taking taylor expansion of 0 in z 0.621 * [taylor]: Taking taylor expansion of 0 in y 0.621 * [taylor]: Taking taylor expansion of 0 in z 0.621 * [taylor]: Taking taylor expansion of 0 in z 0.621 * [taylor]: Taking taylor expansion of 0 in z 0.626 * [taylor]: Taking taylor expansion of 0 in z 0.626 * * * [progress]: simplifying candidates 0.628 * [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.633 * * [simplify]: iteration 0 : 215 enodes (cost 1393 ) 0.670 * * [simplify]: iteration 1 : 414 enodes (cost 1296 ) 0.762 * * [simplify]: iteration 2 : 1362 enodes (cost 1215 ) 1.355 * * [simplify]: iteration 3 : 4673 enodes (cost 1187 ) 3.713 * * [simplify]: iteration done : 5000 enodes (cost 1187 ) 3.714 * [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)))) (* (log (/ x y)) x) (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) (* (* 2 (log (/ (cbrt x) (cbrt y)))) x) (* (log (/ (cbrt x) (cbrt y))) x) (* (log (/ (* (cbrt x) (cbrt x)) (sqrt y))) x) (* (log (/ (cbrt x) (sqrt y))) x) (* (* 2 (log (cbrt x))) x) (* (log (/ (cbrt x) y)) x) (* (log (/ (sqrt x) (* (cbrt y) (cbrt y)))) x) (* 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))) (* x (- (* 2 (log (cbrt y))))) (* (log (/ x (cbrt y))) x) (* x (- (log (sqrt y)))) (* x (log (/ x (sqrt y)))) 0 (* (log (/ x y)) x) 0 (* (log (/ x y)) x) (* 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) (* (* 2 (log (/ (cbrt x) (cbrt y)))) x) (* (log (/ (cbrt x) (cbrt y))) x) (* (log (/ (* (cbrt x) (cbrt x)) (sqrt y))) x) (* (log (/ (cbrt x) (sqrt y))) x) (* (* 2 (log (cbrt x))) x) (* (log (/ (cbrt x) y)) x) (* (log (/ (sqrt x) (* (cbrt y) (cbrt y)))) x) (* 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))) (* x (- (* 2 (log (cbrt y))))) (* (log (/ x (cbrt y))) x) (* x (- (log (sqrt y)))) (* x (log (/ x (sqrt y)))) 0 (* (log (/ x y)) x) 0 (* (log (/ x y)) x) (* 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))) (* (log (/ x y)) x) (- (* (log (/ x y)) x) z) (* z 0) (- (* (log (/ x y)) x) z) (* z 0) (- (* (log (/ x y)) x) z) (* z 0) (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 (* (* (log (/ x y)) x) (fma x (log (/ x y)) z))) (- z) (* (fma x (log (/ x y)) z) (fma (log (/ x y)) x (- z))) (fma (log (/ x y)) x 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) (- (* (log (/ x y)) x) z) (- (* (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) (- (* (log (/ x y)) x) z) (- (* (log (/ x y)) x) z) (- (fma x (log y) z)) (- z) (log (/ x y)) (log (/ x y)) (- (log (/ -1 y)) (log (/ -1 x))) (* (log (/ x y)) x) (* (log (/ x y)) x) (* x (- (log (/ -1 y)) (log (/ -1 x)))) (- (* (log (/ x y)) x) z) (- (* (log (/ x y)) x) z) (- (* x (- (log (/ -1 y)) (log (/ -1 x)))) z) 3.715 * * * [progress]: adding candidates to table 3.991 * * [progress]: iteration 2 / 4 3.991 * * * [progress]: picking best candidate 4.005 * * * * [pick]: Picked # 4.005 * * * [progress]: localizing error 4.023 * * * [progress]: generating rewritten candidates 4.023 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 1) 4.024 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 1 1) 4.024 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 2) 4.024 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 1 2) 4.026 * * * [progress]: generating series expansions 4.026 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 1) 4.026 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 4.026 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.026 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.026 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.026 * [taylor]: Taking taylor expansion of 1/3 in x 4.026 * [taylor]: Taking taylor expansion of (log x) in x 4.026 * [taylor]: Taking taylor expansion of x in x 4.027 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.027 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.027 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.027 * [taylor]: Taking taylor expansion of 1/3 in x 4.027 * [taylor]: Taking taylor expansion of (log x) in x 4.027 * [taylor]: Taking taylor expansion of x in x 4.075 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 4.075 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.075 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.075 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.075 * [taylor]: Taking taylor expansion of 1/3 in x 4.075 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.075 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.075 * [taylor]: Taking taylor expansion of x in x 4.076 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.076 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.076 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.076 * [taylor]: Taking taylor expansion of 1/3 in x 4.076 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.076 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.076 * [taylor]: Taking taylor expansion of x in x 4.132 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 4.132 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.132 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.132 * [taylor]: Taking taylor expansion of -1 in x 4.133 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.133 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.133 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.133 * [taylor]: Taking taylor expansion of 1/3 in x 4.133 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.133 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.133 * [taylor]: Taking taylor expansion of x in x 4.134 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.134 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.134 * [taylor]: Taking taylor expansion of -1 in x 4.135 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.135 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.135 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.135 * [taylor]: Taking taylor expansion of 1/3 in x 4.135 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.135 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.135 * [taylor]: Taking taylor expansion of x in x 4.202 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 1 1) 4.202 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 4.202 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.202 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.202 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.202 * [taylor]: Taking taylor expansion of 1/3 in x 4.202 * [taylor]: Taking taylor expansion of (log x) in x 4.202 * [taylor]: Taking taylor expansion of x in x 4.203 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.203 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.203 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.203 * [taylor]: Taking taylor expansion of 1/3 in x 4.203 * [taylor]: Taking taylor expansion of (log x) in x 4.203 * [taylor]: Taking taylor expansion of x in x 4.256 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 4.256 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.256 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.256 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.256 * [taylor]: Taking taylor expansion of 1/3 in x 4.256 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.256 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.256 * [taylor]: Taking taylor expansion of x in x 4.257 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.257 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.257 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.257 * [taylor]: Taking taylor expansion of 1/3 in x 4.257 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.257 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.257 * [taylor]: Taking taylor expansion of x in x 4.308 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 4.308 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.308 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.308 * [taylor]: Taking taylor expansion of -1 in x 4.315 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.315 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.315 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.315 * [taylor]: Taking taylor expansion of 1/3 in x 4.315 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.315 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.315 * [taylor]: Taking taylor expansion of x in x 4.316 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.316 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.316 * [taylor]: Taking taylor expansion of -1 in x 4.316 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.316 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.316 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.316 * [taylor]: Taking taylor expansion of 1/3 in x 4.316 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.316 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.316 * [taylor]: Taking taylor expansion of x in x 4.379 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 2) 4.379 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 4.379 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.379 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.379 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.379 * [taylor]: Taking taylor expansion of 1/3 in y 4.379 * [taylor]: Taking taylor expansion of (log y) in y 4.379 * [taylor]: Taking taylor expansion of y in y 4.380 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.380 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.380 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.380 * [taylor]: Taking taylor expansion of 1/3 in y 4.380 * [taylor]: Taking taylor expansion of (log y) in y 4.380 * [taylor]: Taking taylor expansion of y in y 4.434 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 4.434 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.434 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.435 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.435 * [taylor]: Taking taylor expansion of 1/3 in y 4.435 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.435 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.435 * [taylor]: Taking taylor expansion of y in y 4.435 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.435 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.435 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.436 * [taylor]: Taking taylor expansion of 1/3 in y 4.436 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.436 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.436 * [taylor]: Taking taylor expansion of y in y 4.493 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 4.493 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 4.493 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.493 * [taylor]: Taking taylor expansion of -1 in y 4.494 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.494 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.494 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.494 * [taylor]: Taking taylor expansion of 1/3 in y 4.494 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.494 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.494 * [taylor]: Taking taylor expansion of y in y 4.495 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 4.495 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.495 * [taylor]: Taking taylor expansion of -1 in y 4.495 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.495 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.495 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.495 * [taylor]: Taking taylor expansion of 1/3 in y 4.496 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.496 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.496 * [taylor]: Taking taylor expansion of y in y 4.565 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 1 2) 4.565 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 4.565 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.565 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.565 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.565 * [taylor]: Taking taylor expansion of 1/3 in y 4.565 * [taylor]: Taking taylor expansion of (log y) in y 4.565 * [taylor]: Taking taylor expansion of y in y 4.565 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.565 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.565 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.565 * [taylor]: Taking taylor expansion of 1/3 in y 4.565 * [taylor]: Taking taylor expansion of (log y) in y 4.565 * [taylor]: Taking taylor expansion of y in y 4.614 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 4.614 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.614 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.614 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.614 * [taylor]: Taking taylor expansion of 1/3 in y 4.614 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.614 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.614 * [taylor]: Taking taylor expansion of y in y 4.621 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.621 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.622 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.622 * [taylor]: Taking taylor expansion of 1/3 in y 4.622 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.622 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.622 * [taylor]: Taking taylor expansion of y in y 4.673 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 4.673 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 4.673 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.673 * [taylor]: Taking taylor expansion of -1 in y 4.674 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.674 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.674 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.674 * [taylor]: Taking taylor expansion of 1/3 in y 4.674 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.674 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.674 * [taylor]: Taking taylor expansion of y in y 4.675 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 4.675 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.675 * [taylor]: Taking taylor expansion of -1 in y 4.675 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.676 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.676 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.676 * [taylor]: Taking taylor expansion of 1/3 in y 4.676 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.676 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.676 * [taylor]: Taking taylor expansion of y in y 4.745 * * * [progress]: simplifying candidates 4.746 * [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)) 4.748 * * [simplify]: iteration 0 : 46 enodes (cost 284 ) 4.755 * * [simplify]: iteration 1 : 75 enodes (cost 268 ) 4.772 * * [simplify]: iteration 2 : 154 enodes (cost 244 ) 4.803 * * [simplify]: iteration 3 : 351 enodes (cost 232 ) 4.901 * * [simplify]: iteration 4 : 1080 enodes (cost 232 ) 5.440 * * [simplify]: iteration done : 5000 enodes (cost 232 ) 5.441 * [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))) 5.441 * * * [progress]: adding candidates to table 5.669 * * [progress]: iteration 3 / 4 5.669 * * * [progress]: picking best candidate 5.683 * * * * [pick]: Picked # 5.683 * * * [progress]: localizing error 5.705 * * * [progress]: generating rewritten candidates 5.705 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1 1 2) 5.706 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 1 1 1 2) 5.707 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 1 1 1) 5.707 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 2 1) 5.712 * * * [progress]: generating series expansions 5.712 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1 1 2) 5.712 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 5.712 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 5.712 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 5.712 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 5.712 * [taylor]: Taking taylor expansion of 1/9 in x 5.712 * [taylor]: Taking taylor expansion of (log x) in x 5.712 * [taylor]: Taking taylor expansion of x in x 5.713 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 5.713 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 5.713 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 5.713 * [taylor]: Taking taylor expansion of 1/9 in x 5.713 * [taylor]: Taking taylor expansion of (log x) in x 5.713 * [taylor]: Taking taylor expansion of x in x 5.762 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 5.763 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 5.763 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 5.763 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 5.763 * [taylor]: Taking taylor expansion of 1/9 in x 5.763 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.763 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.763 * [taylor]: Taking taylor expansion of x in x 5.764 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 5.764 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 5.764 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 5.764 * [taylor]: Taking taylor expansion of 1/9 in x 5.764 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.764 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.764 * [taylor]: Taking taylor expansion of x in x 5.818 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 5.818 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 5.818 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 5.819 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 5.819 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 5.819 * [taylor]: Taking taylor expansion of 1/3 in x 5.819 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 5.819 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.819 * [taylor]: Taking taylor expansion of -1 in x 5.822 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 5.822 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 5.822 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 5.822 * [taylor]: Taking taylor expansion of 1/9 in x 5.822 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.822 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.822 * [taylor]: Taking taylor expansion of x in x 5.823 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 5.823 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 5.823 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 5.823 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 5.823 * [taylor]: Taking taylor expansion of 1/3 in x 5.823 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 5.824 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.824 * [taylor]: Taking taylor expansion of -1 in x 5.827 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 5.827 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 5.827 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 5.827 * [taylor]: Taking taylor expansion of 1/9 in x 5.827 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.827 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.827 * [taylor]: Taking taylor expansion of x in x 5.947 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 1 1 1 2) 5.947 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 5.947 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 5.947 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 5.947 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 5.947 * [taylor]: Taking taylor expansion of 1/9 in x 5.947 * [taylor]: Taking taylor expansion of (log x) in x 5.947 * [taylor]: Taking taylor expansion of x in x 5.948 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 5.948 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 5.948 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 5.948 * [taylor]: Taking taylor expansion of 1/9 in x 5.948 * [taylor]: Taking taylor expansion of (log x) in x 5.948 * [taylor]: Taking taylor expansion of x in x 5.999 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 5.999 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 5.999 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 5.999 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 5.999 * [taylor]: Taking taylor expansion of 1/9 in x 5.999 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.999 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.999 * [taylor]: Taking taylor expansion of x in x 6.001 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.001 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.001 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.001 * [taylor]: Taking taylor expansion of 1/9 in x 6.001 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.001 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.001 * [taylor]: Taking taylor expansion of x in x 6.053 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 6.053 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 6.053 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 6.053 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 6.053 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 6.053 * [taylor]: Taking taylor expansion of 1/3 in x 6.053 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 6.053 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.053 * [taylor]: Taking taylor expansion of -1 in x 6.057 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.057 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.057 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.057 * [taylor]: Taking taylor expansion of 1/9 in x 6.057 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.057 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.057 * [taylor]: Taking taylor expansion of x in x 6.058 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 6.058 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 6.058 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 6.058 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 6.058 * [taylor]: Taking taylor expansion of 1/3 in x 6.058 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 6.058 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.058 * [taylor]: Taking taylor expansion of -1 in x 6.062 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.062 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.062 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.062 * [taylor]: Taking taylor expansion of 1/9 in x 6.062 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.062 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.062 * [taylor]: Taking taylor expansion of x in x 6.190 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 1 1 1) 6.190 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 6.190 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 6.190 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 6.191 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 6.191 * [taylor]: Taking taylor expansion of 1/9 in x 6.191 * [taylor]: Taking taylor expansion of (log x) in x 6.191 * [taylor]: Taking taylor expansion of x in x 6.191 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 6.191 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 6.191 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 6.191 * [taylor]: Taking taylor expansion of 1/9 in x 6.191 * [taylor]: Taking taylor expansion of (log x) in x 6.191 * [taylor]: Taking taylor expansion of x in x 6.246 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 6.246 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.246 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.246 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.246 * [taylor]: Taking taylor expansion of 1/9 in x 6.246 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.246 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.246 * [taylor]: Taking taylor expansion of x in x 6.247 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.247 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.247 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.247 * [taylor]: Taking taylor expansion of 1/9 in x 6.247 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.247 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.247 * [taylor]: Taking taylor expansion of x in x 6.296 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 6.296 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 6.296 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 6.296 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 6.296 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 6.297 * [taylor]: Taking taylor expansion of 1/3 in x 6.297 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 6.297 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.297 * [taylor]: Taking taylor expansion of -1 in x 6.305 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.305 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.305 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.305 * [taylor]: Taking taylor expansion of 1/9 in x 6.305 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.305 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.306 * [taylor]: Taking taylor expansion of x in x 6.306 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 6.306 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 6.306 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 6.306 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 6.306 * [taylor]: Taking taylor expansion of 1/3 in x 6.306 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 6.306 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.306 * [taylor]: Taking taylor expansion of -1 in x 6.310 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 6.310 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 6.310 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 6.310 * [taylor]: Taking taylor expansion of 1/9 in x 6.310 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.310 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.310 * [taylor]: Taking taylor expansion of x in x 6.430 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 2 1) 6.431 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 6.431 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.431 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.431 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.431 * [taylor]: Taking taylor expansion of 1/3 in x 6.431 * [taylor]: Taking taylor expansion of (log x) in x 6.431 * [taylor]: Taking taylor expansion of x in x 6.431 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.431 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.431 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.431 * [taylor]: Taking taylor expansion of 1/3 in x 6.431 * [taylor]: Taking taylor expansion of (log x) in x 6.431 * [taylor]: Taking taylor expansion of x in x 6.485 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 6.485 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.485 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.486 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.486 * [taylor]: Taking taylor expansion of 1/3 in x 6.486 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.486 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.486 * [taylor]: Taking taylor expansion of x in x 6.486 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.486 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.486 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.486 * [taylor]: Taking taylor expansion of 1/3 in x 6.486 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.487 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.487 * [taylor]: Taking taylor expansion of x in x 6.544 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 6.544 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.544 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.544 * [taylor]: Taking taylor expansion of -1 in x 6.545 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.545 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.545 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.545 * [taylor]: Taking taylor expansion of 1/3 in x 6.545 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.545 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.545 * [taylor]: Taking taylor expansion of x in x 6.546 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.546 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.546 * [taylor]: Taking taylor expansion of -1 in x 6.546 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.547 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.547 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.547 * [taylor]: Taking taylor expansion of 1/3 in x 6.547 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.547 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.547 * [taylor]: Taking taylor expansion of x in x 6.615 * * * [progress]: simplifying candidates 6.616 * [simplify]: Simplifying using # : (expm1 (cbrt (cbrt x))) (log1p (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt 1)) (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt 1) (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (expm1 (cbrt (cbrt x))) (log1p (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt 1)) (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt 1) (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (expm1 (cbrt (cbrt x))) (log1p (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt 1)) (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt 1) (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (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)) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (* -1 x) 1/9) (pow (cbrt -1) 1/3)) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (* -1 x) 1/9) (pow (cbrt -1) 1/3)) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (* -1 x) 1/9) (pow (cbrt -1) 1/3)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) 6.618 * * [simplify]: iteration 0 : 46 enodes (cost 419 ) 6.625 * * [simplify]: iteration 1 : 79 enodes (cost 403 ) 6.639 * * [simplify]: iteration 2 : 154 enodes (cost 370 ) 6.680 * * [simplify]: iteration 3 : 371 enodes (cost 358 ) 6.801 * * [simplify]: iteration 4 : 1225 enodes (cost 358 ) 7.193 * * [simplify]: iteration done : 5001 enodes (cost 358 ) 7.194 * [simplify]: Simplified to: (expm1 (cbrt (cbrt x))) (log1p (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (pow x 2/3))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) 1 (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) 1 (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt x) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (expm1 (cbrt (cbrt x))) (log1p (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (pow x 2/3))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) 1 (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) 1 (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt x) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (expm1 (cbrt (cbrt x))) (log1p (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (pow x 2/3))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) 1 (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) 1 (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt x) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (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)) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (- x) 1/9) (cbrt (cbrt -1))) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (- x) 1/9) (cbrt (cbrt -1))) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (- x) 1/9) (cbrt (cbrt -1))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) 7.194 * * * [progress]: adding candidates to table 7.508 * * [progress]: iteration 4 / 4 7.508 * * * [progress]: picking best candidate 7.520 * * * * [pick]: Picked # 7.520 * * * [progress]: localizing error 7.533 * * * [progress]: generating rewritten candidates 7.533 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 1 1) 7.534 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2 1 1) 7.535 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 1 2) 7.535 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 1 2) 7.537 * * * [progress]: generating series expansions 7.537 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 1 1) 7.537 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 7.537 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 7.537 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 7.537 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 7.537 * [taylor]: Taking taylor expansion of 1/3 in x 7.537 * [taylor]: Taking taylor expansion of (log x) in x 7.537 * [taylor]: Taking taylor expansion of x in x 7.538 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 7.538 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 7.538 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 7.538 * [taylor]: Taking taylor expansion of 1/3 in x 7.538 * [taylor]: Taking taylor expansion of (log x) in x 7.538 * [taylor]: Taking taylor expansion of x in x 7.591 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 7.591 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.591 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.591 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.591 * [taylor]: Taking taylor expansion of 1/3 in x 7.591 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.591 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.591 * [taylor]: Taking taylor expansion of x in x 7.592 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.592 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.592 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.592 * [taylor]: Taking taylor expansion of 1/3 in x 7.592 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.592 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.592 * [taylor]: Taking taylor expansion of x in x 7.649 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 7.650 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 7.650 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.650 * [taylor]: Taking taylor expansion of -1 in x 7.651 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.651 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.651 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.651 * [taylor]: Taking taylor expansion of 1/3 in x 7.651 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.651 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.651 * [taylor]: Taking taylor expansion of x in x 7.652 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 7.652 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.652 * [taylor]: Taking taylor expansion of -1 in x 7.652 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.652 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.652 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.652 * [taylor]: Taking taylor expansion of 1/3 in x 7.652 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.652 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.652 * [taylor]: Taking taylor expansion of x in x 7.721 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1 2 1 1) 7.722 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 7.722 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 7.722 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 7.722 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 7.722 * [taylor]: Taking taylor expansion of 1/3 in x 7.722 * [taylor]: Taking taylor expansion of (log x) in x 7.722 * [taylor]: Taking taylor expansion of x in x 7.722 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 7.722 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 7.722 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 7.722 * [taylor]: Taking taylor expansion of 1/3 in x 7.722 * [taylor]: Taking taylor expansion of (log x) in x 7.722 * [taylor]: Taking taylor expansion of x in x 7.777 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 7.777 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.777 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.777 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.777 * [taylor]: Taking taylor expansion of 1/3 in x 7.777 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.777 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.777 * [taylor]: Taking taylor expansion of x in x 7.778 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.778 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.778 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.778 * [taylor]: Taking taylor expansion of 1/3 in x 7.778 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.778 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.778 * [taylor]: Taking taylor expansion of x in x 7.829 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 7.829 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 7.829 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.829 * [taylor]: Taking taylor expansion of -1 in x 7.829 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.830 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.830 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.830 * [taylor]: Taking taylor expansion of 1/3 in x 7.830 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.830 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.830 * [taylor]: Taking taylor expansion of x in x 7.830 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 7.830 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.830 * [taylor]: Taking taylor expansion of -1 in x 7.831 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.831 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.831 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.831 * [taylor]: Taking taylor expansion of 1/3 in x 7.831 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.831 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.831 * [taylor]: Taking taylor expansion of x in x 7.897 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 1 2) 7.898 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 7.898 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 7.898 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 7.898 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 7.898 * [taylor]: Taking taylor expansion of 1/3 in y 7.898 * [taylor]: Taking taylor expansion of (log y) in y 7.898 * [taylor]: Taking taylor expansion of y in y 7.898 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 7.898 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 7.898 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 7.898 * [taylor]: Taking taylor expansion of 1/3 in y 7.898 * [taylor]: Taking taylor expansion of (log y) in y 7.898 * [taylor]: Taking taylor expansion of y in y 7.955 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 7.955 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.955 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.955 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.955 * [taylor]: Taking taylor expansion of 1/3 in y 7.955 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.955 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.955 * [taylor]: Taking taylor expansion of y in y 7.956 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.956 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.956 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.956 * [taylor]: Taking taylor expansion of 1/3 in y 7.956 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.956 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.956 * [taylor]: Taking taylor expansion of y in y 8.013 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 8.013 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 8.013 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.013 * [taylor]: Taking taylor expansion of -1 in y 8.014 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.014 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.014 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.014 * [taylor]: Taking taylor expansion of 1/3 in y 8.014 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.014 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.014 * [taylor]: Taking taylor expansion of y in y 8.015 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 8.015 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.015 * [taylor]: Taking taylor expansion of -1 in y 8.016 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.016 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.016 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.016 * [taylor]: Taking taylor expansion of 1/3 in y 8.016 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.016 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.016 * [taylor]: Taking taylor expansion of y in y 8.085 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 1 2) 8.085 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 8.085 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 8.085 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 8.085 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 8.085 * [taylor]: Taking taylor expansion of 1/3 in y 8.085 * [taylor]: Taking taylor expansion of (log y) in y 8.085 * [taylor]: Taking taylor expansion of y in y 8.085 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 8.085 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 8.085 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 8.085 * [taylor]: Taking taylor expansion of 1/3 in y 8.085 * [taylor]: Taking taylor expansion of (log y) in y 8.085 * [taylor]: Taking taylor expansion of y in y 8.134 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 8.134 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.134 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.134 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.134 * [taylor]: Taking taylor expansion of 1/3 in y 8.134 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.134 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.134 * [taylor]: Taking taylor expansion of y in y 8.135 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.135 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.135 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.135 * [taylor]: Taking taylor expansion of 1/3 in y 8.135 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.135 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.135 * [taylor]: Taking taylor expansion of y in y 8.194 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 8.194 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 8.194 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.194 * [taylor]: Taking taylor expansion of -1 in y 8.194 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.194 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.194 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.194 * [taylor]: Taking taylor expansion of 1/3 in y 8.194 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.195 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.195 * [taylor]: Taking taylor expansion of y in y 8.195 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 8.195 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.195 * [taylor]: Taking taylor expansion of -1 in y 8.196 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 8.196 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 8.196 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 8.196 * [taylor]: Taking taylor expansion of 1/3 in y 8.196 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.196 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.196 * [taylor]: Taking taylor expansion of y in y 8.262 * * * [progress]: simplifying candidates 8.263 * [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)) 8.265 * * [simplify]: iteration 0 : 46 enodes (cost 284 ) 8.271 * * [simplify]: iteration 1 : 75 enodes (cost 268 ) 8.283 * * [simplify]: iteration 2 : 154 enodes (cost 244 ) 8.317 * * [simplify]: iteration 3 : 351 enodes (cost 232 ) 8.416 * * [simplify]: iteration 4 : 1080 enodes (cost 232 ) 8.763 * * [simplify]: iteration done : 5000 enodes (cost 232 ) 8.763 * [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))) 8.763 * * * [progress]: adding candidates to table 8.986 * [progress]: [Phase 3 of 3] Extracting. 8.987 * * [regime]: Finding splitpoints for: (# # # # # # #) 8.989 * * * [regime-changes]: Trying 5 branch expressions: ((* x (log (/ x y))) (- (* x (log (/ x y))) z) z y x) 8.989 * * * * [regimes]: Trying to branch on (* x (log (/ x y))) from (# # # # # # #) 9.021 * * * * [regimes]: Trying to branch on (- (* x (log (/ x y))) z) from (# # # # # # #) 9.056 * * * * [regimes]: Trying to branch on z from (# # # # # # #) 9.088 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 9.120 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 9.149 * * * [regime]: Found split indices: #