28.541 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.069 * * * [progress]: [2/2] Setting up program. 0.072 * [progress]: [Phase 2 of 3] Improving. 0.072 * [simplify]: Simplifying using # : (+ (- (- (* x (log y)) y) z) (log t)) 0.073 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 0.074 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 0.076 * * [simplify]: iteration 2 : 48 enodes (cost 11 ) 0.082 * * [simplify]: iteration 3 : 112 enodes (cost 11 ) 0.101 * * [simplify]: iteration 4 : 207 enodes (cost 11 ) 0.134 * * [simplify]: iteration 5 : 272 enodes (cost 11 ) 0.176 * * [simplify]: iteration 6 : 382 enodes (cost 11 ) 0.244 * * [simplify]: iteration 7 : 536 enodes (cost 11 ) 0.352 * * [simplify]: iteration 8 : 566 enodes (cost 11 ) 0.465 * * [simplify]: iteration done : 566 enodes (cost 11 ) 0.465 * [simplify]: Simplified to: (+ (- (- (* x (log y)) y) z) (log t)) 0.465 * * [progress]: iteration 1 / 4 0.465 * * * [progress]: picking best candidate 0.467 * * * * [pick]: Picked # 0.467 * * * [progress]: localizing error 0.478 * * * [progress]: generating rewritten candidates 0.478 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 0.482 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 0.502 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 0.508 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 0.577 * * * [progress]: generating series expansions 0.577 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 0.577 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0 0.577 * [taylor]: Taking taylor expansion of (* x (log y)) in y 0.577 * [taylor]: Taking taylor expansion of x in y 0.577 * [taylor]: Taking taylor expansion of (log y) in y 0.577 * [taylor]: Taking taylor expansion of y in y 0.578 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.578 * [taylor]: Taking taylor expansion of x in x 0.578 * [taylor]: Taking taylor expansion of (log y) in x 0.578 * [taylor]: Taking taylor expansion of y in x 0.578 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.578 * [taylor]: Taking taylor expansion of x in x 0.578 * [taylor]: Taking taylor expansion of (log y) in x 0.578 * [taylor]: Taking taylor expansion of y in x 0.578 * [taylor]: Taking taylor expansion of 0 in y 0.579 * [taylor]: Taking taylor expansion of (log y) in y 0.579 * [taylor]: Taking taylor expansion of y in y 0.581 * [taylor]: Taking taylor expansion of 0 in y 0.584 * [taylor]: Taking taylor expansion of 0 in y 0.584 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0 0.584 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 0.585 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.585 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.585 * [taylor]: Taking taylor expansion of y in y 0.585 * [taylor]: Taking taylor expansion of x in y 0.586 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.586 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.586 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.586 * [taylor]: Taking taylor expansion of y in x 0.586 * [taylor]: Taking taylor expansion of x in x 0.586 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.586 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.586 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.586 * [taylor]: Taking taylor expansion of y in x 0.586 * [taylor]: Taking taylor expansion of x in x 0.586 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.586 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.586 * [taylor]: Taking taylor expansion of y in y 0.588 * [taylor]: Taking taylor expansion of 0 in y 0.594 * [taylor]: Taking taylor expansion of 0 in y 0.599 * [taylor]: Taking taylor expansion of 0 in y 0.599 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0 0.599 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y 0.599 * [taylor]: Taking taylor expansion of -1 in y 0.599 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 0.599 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.599 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.599 * [taylor]: Taking taylor expansion of -1 in y 0.599 * [taylor]: Taking taylor expansion of y in y 0.600 * [taylor]: Taking taylor expansion of x in y 0.601 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 0.601 * [taylor]: Taking taylor expansion of -1 in x 0.601 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.601 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.601 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.601 * [taylor]: Taking taylor expansion of -1 in x 0.601 * [taylor]: Taking taylor expansion of y in x 0.601 * [taylor]: Taking taylor expansion of x in x 0.602 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 0.602 * [taylor]: Taking taylor expansion of -1 in x 0.602 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.602 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.602 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.602 * [taylor]: Taking taylor expansion of -1 in x 0.602 * [taylor]: Taking taylor expansion of y in x 0.602 * [taylor]: Taking taylor expansion of x in x 0.602 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y 0.602 * [taylor]: Taking taylor expansion of -1 in y 0.602 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.602 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.602 * [taylor]: Taking taylor expansion of -1 in y 0.602 * [taylor]: Taking taylor expansion of y in y 0.605 * [taylor]: Taking taylor expansion of 0 in y 0.610 * [taylor]: Taking taylor expansion of 0 in y 0.617 * [taylor]: Taking taylor expansion of 0 in y 0.618 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 0.618 * [approximate]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in (x y z) around 0 0.618 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in z 0.618 * [taylor]: Taking taylor expansion of (* x (log y)) in z 0.618 * [taylor]: Taking taylor expansion of x in z 0.618 * [taylor]: Taking taylor expansion of (log y) in z 0.618 * [taylor]: Taking taylor expansion of y in z 0.618 * [taylor]: Taking taylor expansion of (+ z y) in z 0.618 * [taylor]: Taking taylor expansion of z in z 0.618 * [taylor]: Taking taylor expansion of y in z 0.618 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in y 0.618 * [taylor]: Taking taylor expansion of (* x (log y)) in y 0.618 * [taylor]: Taking taylor expansion of x in y 0.618 * [taylor]: Taking taylor expansion of (log y) in y 0.618 * [taylor]: Taking taylor expansion of y in y 0.618 * [taylor]: Taking taylor expansion of (+ z y) in y 0.618 * [taylor]: Taking taylor expansion of z in y 0.618 * [taylor]: Taking taylor expansion of y in y 0.618 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in x 0.618 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.618 * [taylor]: Taking taylor expansion of x in x 0.618 * [taylor]: Taking taylor expansion of (log y) in x 0.618 * [taylor]: Taking taylor expansion of y in x 0.618 * [taylor]: Taking taylor expansion of (+ z y) in x 0.618 * [taylor]: Taking taylor expansion of z in x 0.618 * [taylor]: Taking taylor expansion of y in x 0.618 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in x 0.618 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.619 * [taylor]: Taking taylor expansion of x in x 0.619 * [taylor]: Taking taylor expansion of (log y) in x 0.619 * [taylor]: Taking taylor expansion of y in x 0.619 * [taylor]: Taking taylor expansion of (+ z y) in x 0.619 * [taylor]: Taking taylor expansion of z in x 0.619 * [taylor]: Taking taylor expansion of y in x 0.619 * [taylor]: Taking taylor expansion of (- (+ z y)) in y 0.619 * [taylor]: Taking taylor expansion of (+ z y) in y 0.619 * [taylor]: Taking taylor expansion of z in y 0.619 * [taylor]: Taking taylor expansion of y in y 0.619 * [taylor]: Taking taylor expansion of (- z) in z 0.619 * [taylor]: Taking taylor expansion of z in z 0.620 * [taylor]: Taking taylor expansion of (log y) in y 0.620 * [taylor]: Taking taylor expansion of y in y 0.621 * [taylor]: Taking taylor expansion of (log y) in z 0.621 * [taylor]: Taking taylor expansion of y in z 0.622 * [taylor]: Taking taylor expansion of -1 in z 0.622 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in (x y z) around 0 0.622 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in z 0.622 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z 0.622 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 0.622 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.622 * [taylor]: Taking taylor expansion of y in z 0.623 * [taylor]: Taking taylor expansion of x in z 0.623 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 0.623 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.623 * [taylor]: Taking taylor expansion of z in z 0.623 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.623 * [taylor]: Taking taylor expansion of y in z 0.623 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in y 0.623 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 0.623 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.623 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.623 * [taylor]: Taking taylor expansion of y in y 0.624 * [taylor]: Taking taylor expansion of x in y 0.624 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 0.624 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.624 * [taylor]: Taking taylor expansion of z in y 0.624 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.624 * [taylor]: Taking taylor expansion of y in y 0.625 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in x 0.625 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.625 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.625 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.625 * [taylor]: Taking taylor expansion of y in x 0.625 * [taylor]: Taking taylor expansion of x in x 0.625 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 0.625 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.625 * [taylor]: Taking taylor expansion of z in x 0.625 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.625 * [taylor]: Taking taylor expansion of y in x 0.625 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in x 0.625 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.625 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.625 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.625 * [taylor]: Taking taylor expansion of y in x 0.625 * [taylor]: Taking taylor expansion of x in x 0.625 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 0.625 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.625 * [taylor]: Taking taylor expansion of z in x 0.625 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.625 * [taylor]: Taking taylor expansion of y in x 0.625 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.625 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.625 * [taylor]: Taking taylor expansion of y in y 0.627 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y))) in y 0.627 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 0.627 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.627 * [taylor]: Taking taylor expansion of z in y 0.627 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.627 * [taylor]: Taking taylor expansion of y in y 0.628 * [taylor]: Taking taylor expansion of -1 in z 0.628 * [taylor]: Taking taylor expansion of (- (log y)) in z 0.628 * [taylor]: Taking taylor expansion of (log y) in z 0.628 * [taylor]: Taking taylor expansion of y in z 0.631 * [taylor]: Taking taylor expansion of 0 in y 0.632 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.632 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.632 * [taylor]: Taking taylor expansion of z in z 0.634 * [taylor]: Taking taylor expansion of 0 in z 0.634 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in (x y z) around 0 0.634 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in z 0.634 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 0.635 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.635 * [taylor]: Taking taylor expansion of z in z 0.635 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.635 * [taylor]: Taking taylor expansion of y in z 0.635 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z 0.635 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 0.635 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.635 * [taylor]: Taking taylor expansion of -1 in z 0.635 * [taylor]: Taking taylor expansion of y in z 0.635 * [taylor]: Taking taylor expansion of x in z 0.635 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in y 0.635 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 0.635 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.635 * [taylor]: Taking taylor expansion of z in y 0.635 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.635 * [taylor]: Taking taylor expansion of y in y 0.636 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 0.636 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.636 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.636 * [taylor]: Taking taylor expansion of -1 in y 0.636 * [taylor]: Taking taylor expansion of y in y 0.636 * [taylor]: Taking taylor expansion of x in y 0.638 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in x 0.638 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 0.638 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.638 * [taylor]: Taking taylor expansion of z in x 0.638 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.638 * [taylor]: Taking taylor expansion of y in x 0.638 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.638 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.638 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.638 * [taylor]: Taking taylor expansion of -1 in x 0.638 * [taylor]: Taking taylor expansion of y in x 0.638 * [taylor]: Taking taylor expansion of x in x 0.638 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in x 0.638 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 0.638 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.638 * [taylor]: Taking taylor expansion of z in x 0.638 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.638 * [taylor]: Taking taylor expansion of y in x 0.638 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.638 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.638 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.638 * [taylor]: Taking taylor expansion of -1 in x 0.638 * [taylor]: Taking taylor expansion of y in x 0.638 * [taylor]: Taking taylor expansion of x in x 0.638 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 0.638 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.638 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.638 * [taylor]: Taking taylor expansion of -1 in y 0.639 * [taylor]: Taking taylor expansion of y in y 0.641 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 0.641 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.641 * [taylor]: Taking taylor expansion of y in y 0.641 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.641 * [taylor]: Taking taylor expansion of z in y 0.641 * [taylor]: Taking taylor expansion of 1 in z 0.642 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 0.642 * [taylor]: Taking taylor expansion of (log y) in z 0.642 * [taylor]: Taking taylor expansion of y in z 0.643 * [taylor]: Taking taylor expansion of (log -1) in z 0.643 * [taylor]: Taking taylor expansion of -1 in z 0.646 * [taylor]: Taking taylor expansion of 0 in y 0.646 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.646 * [taylor]: Taking taylor expansion of z in z 0.648 * [taylor]: Taking taylor expansion of 0 in z 0.650 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 0.650 * [approximate]: Taking taylor expansion of (- (* x (log y)) y) in (x y) around 0 0.650 * [taylor]: Taking taylor expansion of (- (* x (log y)) y) in y 0.650 * [taylor]: Taking taylor expansion of (* x (log y)) in y 0.650 * [taylor]: Taking taylor expansion of x in y 0.650 * [taylor]: Taking taylor expansion of (log y) in y 0.650 * [taylor]: Taking taylor expansion of y in y 0.651 * [taylor]: Taking taylor expansion of y in y 0.651 * [taylor]: Taking taylor expansion of (- (* x (log y)) y) in x 0.651 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.651 * [taylor]: Taking taylor expansion of x in x 0.651 * [taylor]: Taking taylor expansion of (log y) in x 0.651 * [taylor]: Taking taylor expansion of y in x 0.651 * [taylor]: Taking taylor expansion of y in x 0.651 * [taylor]: Taking taylor expansion of (- (* x (log y)) y) in x 0.651 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.651 * [taylor]: Taking taylor expansion of x in x 0.651 * [taylor]: Taking taylor expansion of (log y) in x 0.651 * [taylor]: Taking taylor expansion of y in x 0.651 * [taylor]: Taking taylor expansion of y in x 0.651 * [taylor]: Taking taylor expansion of (- y) in y 0.651 * [taylor]: Taking taylor expansion of y in y 0.652 * [taylor]: Taking taylor expansion of (log y) in y 0.652 * [taylor]: Taking taylor expansion of y in y 0.655 * [taylor]: Taking taylor expansion of 0 in y 0.659 * [taylor]: Taking taylor expansion of 0 in y 0.661 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 y)) in (x y) around 0 0.661 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 y)) in y 0.661 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 0.661 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.661 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.661 * [taylor]: Taking taylor expansion of y in y 0.661 * [taylor]: Taking taylor expansion of x in y 0.662 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.662 * [taylor]: Taking taylor expansion of y in y 0.662 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 y)) in x 0.662 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.662 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.662 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.662 * [taylor]: Taking taylor expansion of y in x 0.663 * [taylor]: Taking taylor expansion of x in x 0.663 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.663 * [taylor]: Taking taylor expansion of y in x 0.663 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 y)) in x 0.663 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.663 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.663 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.663 * [taylor]: Taking taylor expansion of y in x 0.663 * [taylor]: Taking taylor expansion of x in x 0.663 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.663 * [taylor]: Taking taylor expansion of y in x 0.663 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.663 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.663 * [taylor]: Taking taylor expansion of y in y 0.665 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 0.665 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.665 * [taylor]: Taking taylor expansion of y in y 0.668 * [taylor]: Taking taylor expansion of 0 in y 0.674 * [taylor]: Taking taylor expansion of 0 in y 0.685 * [taylor]: Taking taylor expansion of 0 in y 0.685 * [approximate]: Taking taylor expansion of (- (/ 1 y) (/ (log (/ -1 y)) x)) in (x y) around 0 0.686 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ (log (/ -1 y)) x)) in y 0.686 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.686 * [taylor]: Taking taylor expansion of y in y 0.686 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 0.686 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.686 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.686 * [taylor]: Taking taylor expansion of -1 in y 0.686 * [taylor]: Taking taylor expansion of y in y 0.686 * [taylor]: Taking taylor expansion of x in y 0.688 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ (log (/ -1 y)) x)) in x 0.688 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.688 * [taylor]: Taking taylor expansion of y in x 0.688 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.688 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.688 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.688 * [taylor]: Taking taylor expansion of -1 in x 0.688 * [taylor]: Taking taylor expansion of y in x 0.688 * [taylor]: Taking taylor expansion of x in x 0.688 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ (log (/ -1 y)) x)) in x 0.688 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.688 * [taylor]: Taking taylor expansion of y in x 0.688 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.688 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.688 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.688 * [taylor]: Taking taylor expansion of -1 in x 0.688 * [taylor]: Taking taylor expansion of y in x 0.688 * [taylor]: Taking taylor expansion of x in x 0.688 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 0.688 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.689 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.689 * [taylor]: Taking taylor expansion of -1 in y 0.689 * [taylor]: Taking taylor expansion of y in y 0.691 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.691 * [taylor]: Taking taylor expansion of y in y 0.694 * [taylor]: Taking taylor expansion of 0 in y 0.700 * [taylor]: Taking taylor expansion of 0 in y 0.708 * [taylor]: Taking taylor expansion of 0 in y 0.709 * * * * [progress]: [ 4 / 4 ] generating series at (2) 0.709 * [approximate]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in (x y z t) around 0 0.709 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in t 0.709 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in t 0.709 * [taylor]: Taking taylor expansion of (* x (log y)) in t 0.709 * [taylor]: Taking taylor expansion of x in t 0.709 * [taylor]: Taking taylor expansion of (log y) in t 0.709 * [taylor]: Taking taylor expansion of y in t 0.709 * [taylor]: Taking taylor expansion of (log t) in t 0.709 * [taylor]: Taking taylor expansion of t in t 0.709 * [taylor]: Taking taylor expansion of (+ z y) in t 0.710 * [taylor]: Taking taylor expansion of z in t 0.710 * [taylor]: Taking taylor expansion of y in t 0.710 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in z 0.710 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in z 0.710 * [taylor]: Taking taylor expansion of (* x (log y)) in z 0.710 * [taylor]: Taking taylor expansion of x in z 0.710 * [taylor]: Taking taylor expansion of (log y) in z 0.710 * [taylor]: Taking taylor expansion of y in z 0.710 * [taylor]: Taking taylor expansion of (log t) in z 0.710 * [taylor]: Taking taylor expansion of t in z 0.710 * [taylor]: Taking taylor expansion of (+ z y) in z 0.710 * [taylor]: Taking taylor expansion of z in z 0.710 * [taylor]: Taking taylor expansion of y in z 0.710 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in y 0.710 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in y 0.710 * [taylor]: Taking taylor expansion of (* x (log y)) in y 0.710 * [taylor]: Taking taylor expansion of x in y 0.710 * [taylor]: Taking taylor expansion of (log y) in y 0.710 * [taylor]: Taking taylor expansion of y in y 0.710 * [taylor]: Taking taylor expansion of (log t) in y 0.710 * [taylor]: Taking taylor expansion of t in y 0.710 * [taylor]: Taking taylor expansion of (+ z y) in y 0.710 * [taylor]: Taking taylor expansion of z in y 0.710 * [taylor]: Taking taylor expansion of y in y 0.710 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in x 0.710 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in x 0.710 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.710 * [taylor]: Taking taylor expansion of x in x 0.710 * [taylor]: Taking taylor expansion of (log y) in x 0.710 * [taylor]: Taking taylor expansion of y in x 0.710 * [taylor]: Taking taylor expansion of (log t) in x 0.710 * [taylor]: Taking taylor expansion of t in x 0.710 * [taylor]: Taking taylor expansion of (+ z y) in x 0.710 * [taylor]: Taking taylor expansion of z in x 0.710 * [taylor]: Taking taylor expansion of y in x 0.711 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in x 0.711 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in x 0.711 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.711 * [taylor]: Taking taylor expansion of x in x 0.711 * [taylor]: Taking taylor expansion of (log y) in x 0.711 * [taylor]: Taking taylor expansion of y in x 0.711 * [taylor]: Taking taylor expansion of (log t) in x 0.711 * [taylor]: Taking taylor expansion of t in x 0.711 * [taylor]: Taking taylor expansion of (+ z y) in x 0.711 * [taylor]: Taking taylor expansion of z in x 0.711 * [taylor]: Taking taylor expansion of y in x 0.711 * [taylor]: Taking taylor expansion of (- (log t) (+ z y)) in y 0.711 * [taylor]: Taking taylor expansion of (log t) in y 0.711 * [taylor]: Taking taylor expansion of t in y 0.711 * [taylor]: Taking taylor expansion of (+ z y) in y 0.711 * [taylor]: Taking taylor expansion of z in y 0.711 * [taylor]: Taking taylor expansion of y in y 0.711 * [taylor]: Taking taylor expansion of (- (log t) z) in z 0.711 * [taylor]: Taking taylor expansion of (log t) in z 0.711 * [taylor]: Taking taylor expansion of t in z 0.711 * [taylor]: Taking taylor expansion of z in z 0.711 * [taylor]: Taking taylor expansion of (log t) in t 0.712 * [taylor]: Taking taylor expansion of t in t 0.714 * [taylor]: Taking taylor expansion of (log y) in y 0.714 * [taylor]: Taking taylor expansion of y in y 0.714 * [taylor]: Taking taylor expansion of (log y) in z 0.714 * [taylor]: Taking taylor expansion of y in z 0.714 * [taylor]: Taking taylor expansion of (log y) in t 0.714 * [taylor]: Taking taylor expansion of y in t 0.716 * [taylor]: Taking taylor expansion of -1 in z 0.716 * [taylor]: Taking taylor expansion of -1 in t 0.716 * [approximate]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in (x y z t) around 0 0.716 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in t 0.716 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in t 0.716 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 0.716 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.716 * [taylor]: Taking taylor expansion of t in t 0.717 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in t 0.717 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in t 0.717 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.717 * [taylor]: Taking taylor expansion of y in t 0.717 * [taylor]: Taking taylor expansion of x in t 0.717 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in t 0.717 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.717 * [taylor]: Taking taylor expansion of y in t 0.717 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.717 * [taylor]: Taking taylor expansion of z in t 0.717 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in z 0.717 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in z 0.717 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 0.717 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.717 * [taylor]: Taking taylor expansion of t in z 0.717 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z 0.717 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 0.717 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.717 * [taylor]: Taking taylor expansion of y in z 0.717 * [taylor]: Taking taylor expansion of x in z 0.718 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z 0.718 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.718 * [taylor]: Taking taylor expansion of y in z 0.718 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.718 * [taylor]: Taking taylor expansion of z in z 0.718 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in y 0.718 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in y 0.718 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y 0.718 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.718 * [taylor]: Taking taylor expansion of t in y 0.718 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 0.718 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.718 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.718 * [taylor]: Taking taylor expansion of y in y 0.719 * [taylor]: Taking taylor expansion of x in y 0.719 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 0.719 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.719 * [taylor]: Taking taylor expansion of y in y 0.719 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.720 * [taylor]: Taking taylor expansion of z in y 0.720 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in x 0.720 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in x 0.720 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x 0.720 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.720 * [taylor]: Taking taylor expansion of t in x 0.720 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.720 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.720 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.720 * [taylor]: Taking taylor expansion of y in x 0.720 * [taylor]: Taking taylor expansion of x in x 0.720 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 0.720 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.720 * [taylor]: Taking taylor expansion of y in x 0.720 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.720 * [taylor]: Taking taylor expansion of z in x 0.720 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in x 0.720 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in x 0.720 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x 0.720 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.720 * [taylor]: Taking taylor expansion of t in x 0.720 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.720 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.720 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.720 * [taylor]: Taking taylor expansion of y in x 0.720 * [taylor]: Taking taylor expansion of x in x 0.720 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 0.720 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.720 * [taylor]: Taking taylor expansion of y in x 0.720 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.720 * [taylor]: Taking taylor expansion of z in x 0.721 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.721 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.721 * [taylor]: Taking taylor expansion of y in y 0.723 * [taylor]: Taking taylor expansion of (- (log (/ 1 t)) (+ (/ 1 y) (/ 1 z))) in y 0.723 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y 0.723 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.723 * [taylor]: Taking taylor expansion of t in y 0.723 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 0.723 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.723 * [taylor]: Taking taylor expansion of y in y 0.723 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.723 * [taylor]: Taking taylor expansion of z in y 0.724 * [taylor]: Taking taylor expansion of -1 in z 0.724 * [taylor]: Taking taylor expansion of (- (log y)) in z 0.724 * [taylor]: Taking taylor expansion of (log y) in z 0.724 * [taylor]: Taking taylor expansion of y in z 0.728 * [taylor]: Taking taylor expansion of 0 in y 0.728 * [taylor]: Taking taylor expansion of (- (log (/ 1 t)) (/ 1 z)) in z 0.728 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 0.728 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.728 * [taylor]: Taking taylor expansion of t in z 0.729 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.729 * [taylor]: Taking taylor expansion of z in z 0.729 * [taylor]: Taking taylor expansion of -1 in t 0.730 * [taylor]: Taking taylor expansion of 0 in z 0.731 * [taylor]: Taking taylor expansion of -1 in t 0.731 * [taylor]: Taking taylor expansion of (- (log y)) in t 0.731 * [taylor]: Taking taylor expansion of (log y) in t 0.731 * [taylor]: Taking taylor expansion of y in t 0.732 * [approximate]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in (x y z t) around 0 0.732 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in t 0.732 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in t 0.732 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t 0.732 * [taylor]: Taking taylor expansion of (/ -1 t) in t 0.732 * [taylor]: Taking taylor expansion of -1 in t 0.732 * [taylor]: Taking taylor expansion of t in t 0.732 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in t 0.732 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.732 * [taylor]: Taking taylor expansion of y in t 0.732 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.732 * [taylor]: Taking taylor expansion of z in t 0.732 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in t 0.732 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in t 0.732 * [taylor]: Taking taylor expansion of (/ -1 y) in t 0.732 * [taylor]: Taking taylor expansion of -1 in t 0.732 * [taylor]: Taking taylor expansion of y in t 0.732 * [taylor]: Taking taylor expansion of x in t 0.733 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in z 0.733 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in z 0.733 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z 0.733 * [taylor]: Taking taylor expansion of (/ -1 t) in z 0.733 * [taylor]: Taking taylor expansion of -1 in z 0.733 * [taylor]: Taking taylor expansion of t in z 0.733 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z 0.733 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.733 * [taylor]: Taking taylor expansion of y in z 0.733 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.733 * [taylor]: Taking taylor expansion of z in z 0.733 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z 0.733 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 0.733 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.733 * [taylor]: Taking taylor expansion of -1 in z 0.733 * [taylor]: Taking taylor expansion of y in z 0.733 * [taylor]: Taking taylor expansion of x in z 0.733 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in y 0.733 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in y 0.733 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y 0.733 * [taylor]: Taking taylor expansion of (/ -1 t) in y 0.733 * [taylor]: Taking taylor expansion of -1 in y 0.733 * [taylor]: Taking taylor expansion of t in y 0.733 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 0.733 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.733 * [taylor]: Taking taylor expansion of y in y 0.734 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.734 * [taylor]: Taking taylor expansion of z in y 0.734 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 0.734 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.734 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.734 * [taylor]: Taking taylor expansion of -1 in y 0.734 * [taylor]: Taking taylor expansion of y in y 0.734 * [taylor]: Taking taylor expansion of x in y 0.736 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in x 0.736 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in x 0.736 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x 0.736 * [taylor]: Taking taylor expansion of (/ -1 t) in x 0.736 * [taylor]: Taking taylor expansion of -1 in x 0.736 * [taylor]: Taking taylor expansion of t in x 0.736 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 0.736 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.736 * [taylor]: Taking taylor expansion of y in x 0.736 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.736 * [taylor]: Taking taylor expansion of z in x 0.736 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.736 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.736 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.736 * [taylor]: Taking taylor expansion of -1 in x 0.736 * [taylor]: Taking taylor expansion of y in x 0.736 * [taylor]: Taking taylor expansion of x in x 0.736 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in x 0.736 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in x 0.736 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x 0.736 * [taylor]: Taking taylor expansion of (/ -1 t) in x 0.736 * [taylor]: Taking taylor expansion of -1 in x 0.736 * [taylor]: Taking taylor expansion of t in x 0.737 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 0.737 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.737 * [taylor]: Taking taylor expansion of y in x 0.737 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.737 * [taylor]: Taking taylor expansion of z in x 0.737 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.737 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.737 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.737 * [taylor]: Taking taylor expansion of -1 in x 0.737 * [taylor]: Taking taylor expansion of y in x 0.737 * [taylor]: Taking taylor expansion of x in x 0.737 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 0.737 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.737 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.737 * [taylor]: Taking taylor expansion of -1 in y 0.737 * [taylor]: Taking taylor expansion of y in y 0.739 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (log (/ -1 t)))) in y 0.739 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.739 * [taylor]: Taking taylor expansion of z in y 0.739 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (log (/ -1 t))) in y 0.739 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.739 * [taylor]: Taking taylor expansion of y in y 0.740 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y 0.740 * [taylor]: Taking taylor expansion of (/ -1 t) in y 0.740 * [taylor]: Taking taylor expansion of -1 in y 0.740 * [taylor]: Taking taylor expansion of t in y 0.740 * [taylor]: Taking taylor expansion of 1 in z 0.741 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 0.741 * [taylor]: Taking taylor expansion of (log y) in z 0.741 * [taylor]: Taking taylor expansion of y in z 0.741 * [taylor]: Taking taylor expansion of (log -1) in z 0.741 * [taylor]: Taking taylor expansion of -1 in z 0.745 * [taylor]: Taking taylor expansion of 0 in y 0.746 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (/ 1 z)) in z 0.746 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z 0.746 * [taylor]: Taking taylor expansion of (/ -1 t) in z 0.746 * [taylor]: Taking taylor expansion of -1 in z 0.746 * [taylor]: Taking taylor expansion of t in z 0.746 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.746 * [taylor]: Taking taylor expansion of z in z 0.746 * [taylor]: Taking taylor expansion of 1 in t 0.748 * [taylor]: Taking taylor expansion of 0 in z 0.748 * [taylor]: Taking taylor expansion of 1 in t 0.749 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in t 0.749 * [taylor]: Taking taylor expansion of (log y) in t 0.749 * [taylor]: Taking taylor expansion of y in t 0.749 * [taylor]: Taking taylor expansion of (log -1) in t 0.749 * [taylor]: Taking taylor expansion of -1 in t 0.752 * * * [progress]: simplifying candidates 0.753 * [simplify]: Simplifying using # : (* x (log y)) (+ (log x) (log (log y))) (log (* x (log y))) (exp (* x (log y))) (* (* (* x x) x) (* (* (log y) (log y)) (log y))) (* (cbrt (* x (log y))) (cbrt (* x (log y)))) (cbrt (* x (log y))) (* (* (* x (log y)) (* x (log y))) (* x (log y))) (sqrt (* x (log y))) (sqrt (* x (log y))) (* (sqrt x) (sqrt (log y))) (* (sqrt x) (sqrt (log y))) (* x (log (* (cbrt y) (cbrt y)))) (* x (log (cbrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) (* x (log 1)) (* x (log y)) (* (log (* (cbrt y) (cbrt y))) x) (* (log (cbrt y)) x) (* (log (sqrt y)) x) (* (log (sqrt y)) x) (* (log 1) x) (* (log y) x) (* x 1) (* x (* (cbrt (log y)) (cbrt (log y)))) (* x (sqrt (log y))) (* x 1) (* (cbrt x) (log y)) (* (sqrt x) (log y)) (* x (log y)) (/ (/ (exp (* x (log y))) (exp y)) (exp z)) (/ (exp (- (* x (log y)) y)) (exp z)) (log (- (- (* x (log y)) y) z)) (exp (- (- (* x (log y)) y) z)) (* (cbrt (- (- (* x (log y)) y) z)) (cbrt (- (- (* x (log y)) y) z))) (cbrt (- (- (* x (log y)) y) z)) (* (* (- (- (* x (log y)) y) z) (- (- (* x (log y)) y) z)) (- (- (* x (log y)) y) z)) (sqrt (- (- (* x (log y)) y) z)) (sqrt (- (- (* x (log y)) y) z)) (- (pow (- (* x (log y)) y) 3) (pow z 3)) (+ (* (- (* x (log y)) y) (- (* x (log y)) y)) (+ (* z z) (* (- (* x (log y)) y) z))) (- z) (- (* (- (* x (log y)) y) (- (* x (log y)) y)) (* z z)) (+ (- (* x (log y)) y) z) (+ (sqrt (- (* x (log y)) y)) (sqrt z)) (- (sqrt (- (* x (log y)) y)) (sqrt z)) (- (- (* x (log y)) y) z) (- (- y) z) (- (- (* x (log (cbrt y))) y) z) (- (- (* x (log (sqrt y))) y) z) (- (- (* x (log y)) y) z) (- (- (* (log (cbrt y)) x) y) z) (- (- (* (log (sqrt y)) x) y) z) (- (- (* (log y) x) y) z) (- (- y) z) (+ y z) (- z) (/ (exp (* x (log y))) (exp y)) (log (- (* x (log y)) y)) (exp (- (* x (log y)) y)) (* (cbrt (- (* x (log y)) y)) (cbrt (- (* x (log y)) y))) (cbrt (- (* x (log y)) y)) (* (* (- (* x (log y)) y) (- (* x (log y)) y)) (- (* x (log y)) y)) (sqrt (- (* x (log y)) y)) (sqrt (- (* x (log y)) y)) (- (pow (* x (log y)) 3) (pow y 3)) (+ (* (* x (log y)) (* x (log y))) (+ (* y y) (* (* x (log y)) y))) (- y) (- (* (* x (log y)) (* x (log y))) (* y y)) (+ (* x (log y)) y) (- (* x (log (cbrt y))) y) (- (* x (log (sqrt y))) y) (- (* x (log y)) y) (- (* (log (cbrt y)) x) y) (- (* (log (sqrt y)) x) y) (- (* (log y) x) y) (- y) (* (/ (/ (exp (* x (log y))) (exp y)) (exp z)) t) (* (/ (exp (- (* x (log y)) y)) (exp z)) t) (* (exp (- (- (* x (log y)) y) z)) t) (log (+ (- (- (* x (log y)) y) z) (log t))) (exp (+ (- (- (* x (log y)) y) z) (log t))) (* (cbrt (+ (- (- (* x (log y)) y) z) (log t))) (cbrt (+ (- (- (* x (log y)) y) z) (log t)))) (cbrt (+ (- (- (* x (log y)) y) z) (log t))) (* (* (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t))) (+ (- (- (* x (log y)) y) z) (log t))) (sqrt (+ (- (- (* x (log y)) y) z) (log t))) (sqrt (+ (- (- (* x (log y)) y) z) (log t))) (+ (pow (- (- (* x (log y)) y) z) 3) (pow (log t) 3)) (+ (* (- (- (* x (log y)) y) z) (- (- (* x (log y)) y) z)) (- (* (log t) (log t)) (* (- (- (* x (log y)) y) z) (log t)))) (- (* (- (- (* x (log y)) y) z) (- (- (* x (log y)) y) z)) (* (log t) (log t))) (- (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log (* (cbrt t) (cbrt t)))) (+ (- (- (* x (log y)) y) z) (log (sqrt t))) (+ (- (- (* x (log y)) y) z) (log 1)) (+ (- z) (log t)) (+ (- (- y) z) (log t)) (+ (- (- (* x (log (cbrt y))) y) z) (log t)) (+ (- (- (* x (log (sqrt y))) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* (log (cbrt y)) x) y) z) (log t)) (+ (- (- (* (log (sqrt y)) x) y) z) (log t)) (+ (- (- (* (log y) x) y) z) (log t)) (+ (- (- y) z) (log t)) (+ (- z) (log t)) (- z (log t)) (* x (log y)) (* -1 (* x (log (/ 1 y)))) (* (- (log -1) (log (/ -1 y))) x) (- (* x (log y)) (+ z y)) (- (+ (* x (log (/ 1 y))) (+ z y))) (- (* (log -1) x) (+ z (+ y (* x (log (/ -1 y)))))) (- (* x (log y)) y) (- (+ (* x (log (/ 1 y))) y)) (- (* (log -1) x) (+ y (* x (log (/ -1 y))))) (- (+ (* x (log y)) (log t)) y) (- (+ (* x (log (/ 1 y))) (+ z y))) (- (* (log -1) x) (+ z (+ y (* x (log (/ -1 y)))))) 0.757 * * [simplify]: iteration 0 : 167 enodes (cost 1160 ) 0.787 * * [simplify]: iteration 1 : 361 enodes (cost 1097 ) 0.862 * * [simplify]: iteration 2 : 1023 enodes (cost 1064 ) 1.421 * * [simplify]: iteration 3 : 3929 enodes (cost 1016 ) 2.440 * * [simplify]: iteration done : 5000 enodes (cost 1016 ) 2.441 * [simplify]: Simplified to: (* x (log y)) (log (* x (log y))) (log (* x (log y))) (pow y x) (pow (* x (log y)) 3) (* (cbrt (* x (log y))) (cbrt (* x (log y)))) (cbrt (* x (log y))) (pow (* x (log y)) 3) (sqrt (* x (log y))) (sqrt (* x (log y))) (* (sqrt x) (sqrt (log y))) (* (sqrt x) (sqrt (log y))) (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) 0 (* x (log y)) (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) 0 (* x (log y)) x (* x (* (cbrt (log y)) (cbrt (log y)))) (* x (sqrt (log y))) x (* (cbrt x) (log y)) (* (sqrt x) (log y)) (* x (log y)) (/ (pow y x) (exp (+ y z))) (/ (pow y x) (exp (+ y z))) (log (- (- (* x (log y)) y) z)) (/ (pow y x) (exp (+ y z))) (* (cbrt (- (- (* x (log y)) y) z)) (cbrt (- (- (* x (log y)) y) z))) (cbrt (- (- (* x (log y)) y) z)) (pow (- (- (* (log y) x) y) z) 3) (sqrt (- (- (* x (log y)) y) z)) (sqrt (- (- (* x (log y)) y) z)) (- (pow (- (* x (log y)) y) 3) (pow z 3)) (+ (* z z) (* (- (* x (log y)) y) (+ (- (* x (log y)) y) z))) (- z) (- (* (- (* x (log y)) y) (- (* x (log y)) y)) (* z z)) (+ (- (* x (log y)) y) z) (+ (sqrt (- (* x (log y)) y)) (sqrt z)) (- (sqrt (- (* x (log y)) y)) (sqrt z)) (- (- (* x (log y)) z) y) (- (+ y z)) (- (- (* x (log (cbrt y))) y) z) (- (- (* x (log (sqrt y))) y) z) (- (- (* x (log y)) z) y) (- (- (* x (log (cbrt y))) y) z) (- (- (* x (log (sqrt y))) y) z) (- (- (* x (log y)) z) y) (- (+ y z)) (+ y z) (- z) (/ (pow y x) (exp y)) (log (- (* x (log y)) y)) (/ (pow y x) (exp y)) (* (cbrt (- (* x (log y)) y)) (cbrt (- (* x (log y)) y))) (cbrt (- (* x (log y)) y)) (pow (- (* (log y) x) y) 3) (sqrt (- (* x (log y)) y)) (sqrt (- (* x (log y)) y)) (- (pow (* x (log y)) 3) (pow y 3)) (+ (* y y) (* (* x (log y)) (+ (* x (log y)) y))) (- y) (- (* (* x (log y)) (* x (log y))) (* y y)) (+ (* x (log y)) y) (- (* x (log (cbrt y))) y) (- (* x (log (sqrt y))) y) (- (* x (log y)) y) (- (* x (log (cbrt y))) y) (- (* x (log (sqrt y))) y) (- (* x (log y)) y) (- y) (* (/ (pow y x) (exp (+ y z))) t) (* (/ (pow y x) (exp (+ y z))) t) (* (/ (pow y x) (exp (+ y z))) t) (log (+ (- (- (* x (log y)) y) z) (log t))) (* (/ (pow y x) (exp (+ y z))) t) (* (cbrt (+ (- (- (* x (log y)) y) z) (log t))) (cbrt (+ (- (- (* x (log y)) y) z) (log t)))) (cbrt (+ (- (- (* x (log y)) y) z) (log t))) (* (* (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t))) (+ (- (- (* x (log y)) y) z) (log t))) (sqrt (+ (- (- (* x (log y)) y) z) (log t))) (sqrt (+ (- (- (* x (log y)) y) z) (log t))) (+ (pow (- (- (* x (log y)) y) z) 3) (pow (log t) 3)) (- (* (log t) (log t)) (* (- (- (* x (log y)) z) y) (- (log t) (- (- (* x (log y)) y) z)))) (- (* (- (- (* x (log y)) y) z) (- (- (* x (log y)) y) z)) (* (log t) (log t))) (- (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (+ (* 2 (log (cbrt t))) (- (- (* x (log y)) y) z)) (+ (- (- (* x (log y)) y) z) (log (sqrt t))) (- (- (* x (log y)) z) y) (- (log t) z) (- (- (log t) y) z) (+ (- (- (* x (log (cbrt y))) y) z) (log t)) (+ (- (- (* x (log (sqrt y))) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (+ (- (- (* x (log (cbrt y))) y) z) (log t)) (+ (- (- (* x (log (sqrt y))) y) z) (log t)) (+ (- (- (* x (log y)) y) z) (log t)) (- (- (log t) y) z) (- (log t) z) (- z (log t)) (* x (log y)) (* x (log y)) (* x (log y)) (- (- (* x (log y)) z) y) (- (- (* x (log y)) z) y) (- (- (* x (log y)) z) y) (- (* x (log y)) y) (- (* x (log y)) y) (- (* x (log y)) y) (- (+ (* x (log y)) (log t)) y) (- (- (* x (log y)) z) y) (- (- (* x (log y)) z) y) 2.442 * * * [progress]: adding candidates to table 2.696 * * [progress]: iteration 2 / 4 2.696 * * * [progress]: picking best candidate 2.713 * * * * [pick]: Picked # 2.713 * * * [progress]: localizing error 2.729 * * * [progress]: generating rewritten candidates 2.729 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2 2 1) 2.729 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 2 1) 2.730 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 2.739 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1) 2.748 * * * [progress]: generating series expansions 2.748 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2 2 1) 2.748 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 2.748 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.748 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.748 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.748 * [taylor]: Taking taylor expansion of 1/3 in y 2.748 * [taylor]: Taking taylor expansion of (log y) in y 2.748 * [taylor]: Taking taylor expansion of y in y 2.749 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.749 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.749 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.749 * [taylor]: Taking taylor expansion of 1/3 in y 2.749 * [taylor]: Taking taylor expansion of (log y) in y 2.749 * [taylor]: Taking taylor expansion of y in y 2.801 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 2.801 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.801 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.801 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.801 * [taylor]: Taking taylor expansion of 1/3 in y 2.801 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.801 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.801 * [taylor]: Taking taylor expansion of y in y 2.802 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.802 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.802 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.802 * [taylor]: Taking taylor expansion of 1/3 in y 2.802 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.802 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.802 * [taylor]: Taking taylor expansion of y in y 2.853 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 2.853 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 2.853 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.853 * [taylor]: Taking taylor expansion of -1 in y 2.854 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.854 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.854 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.854 * [taylor]: Taking taylor expansion of 1/3 in y 2.854 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.854 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.854 * [taylor]: Taking taylor expansion of y in y 2.855 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 2.855 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.855 * [taylor]: Taking taylor expansion of -1 in y 2.856 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.856 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.856 * [taylor]: Taking taylor expansion of 1/3 in y 2.856 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.856 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.856 * [taylor]: Taking taylor expansion of y in y 2.919 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 2 1) 2.919 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 2.919 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.919 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.920 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.920 * [taylor]: Taking taylor expansion of 1/3 in y 2.920 * [taylor]: Taking taylor expansion of (log y) in y 2.920 * [taylor]: Taking taylor expansion of y in y 2.920 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.920 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.920 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.920 * [taylor]: Taking taylor expansion of 1/3 in y 2.920 * [taylor]: Taking taylor expansion of (log y) in y 2.920 * [taylor]: Taking taylor expansion of y in y 2.971 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 2.971 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.971 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.971 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.971 * [taylor]: Taking taylor expansion of 1/3 in y 2.971 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.971 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.971 * [taylor]: Taking taylor expansion of y in y 2.972 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.972 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.972 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.972 * [taylor]: Taking taylor expansion of 1/3 in y 2.972 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.972 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.972 * [taylor]: Taking taylor expansion of y in y 3.026 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 3.026 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 3.026 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.026 * [taylor]: Taking taylor expansion of -1 in y 3.027 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.027 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.027 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.027 * [taylor]: Taking taylor expansion of 1/3 in y 3.027 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.027 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.027 * [taylor]: Taking taylor expansion of y in y 3.027 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 3.027 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.027 * [taylor]: Taking taylor expansion of -1 in y 3.028 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.028 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.028 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.028 * [taylor]: Taking taylor expansion of 1/3 in y 3.028 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.028 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.028 * [taylor]: Taking taylor expansion of y in y 3.096 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 3.096 * [approximate]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in (y x) around 0 3.096 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x 3.096 * [taylor]: Taking taylor expansion of 3 in x 3.096 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 3.096 * [taylor]: Taking taylor expansion of x in x 3.096 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 3.096 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 3.096 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 3.096 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 3.096 * [taylor]: Taking taylor expansion of 1/3 in x 3.096 * [taylor]: Taking taylor expansion of (log y) in x 3.096 * [taylor]: Taking taylor expansion of y in x 3.096 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y 3.096 * [taylor]: Taking taylor expansion of 3 in y 3.096 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 3.097 * [taylor]: Taking taylor expansion of x in y 3.097 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 3.097 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 3.097 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 3.097 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 3.097 * [taylor]: Taking taylor expansion of 1/3 in y 3.097 * [taylor]: Taking taylor expansion of (log y) in y 3.097 * [taylor]: Taking taylor expansion of y in y 3.097 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y 3.097 * [taylor]: Taking taylor expansion of 3 in y 3.097 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 3.097 * [taylor]: Taking taylor expansion of x in y 3.097 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 3.097 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 3.097 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 3.097 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 3.097 * [taylor]: Taking taylor expansion of 1/3 in y 3.097 * [taylor]: Taking taylor expansion of (log y) in y 3.097 * [taylor]: Taking taylor expansion of y in y 3.098 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x 3.098 * [taylor]: Taking taylor expansion of 3 in x 3.098 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 3.098 * [taylor]: Taking taylor expansion of x in x 3.098 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 3.098 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 3.098 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 3.098 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 3.098 * [taylor]: Taking taylor expansion of 1/3 in x 3.099 * [taylor]: Taking taylor expansion of (log y) in x 3.099 * [taylor]: Taking taylor expansion of y in x 3.102 * [taylor]: Taking taylor expansion of 0 in x 3.109 * [taylor]: Taking taylor expansion of 0 in x 3.121 * [taylor]: Taking taylor expansion of 0 in x 3.122 * [approximate]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in (y x) around 0 3.122 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in x 3.122 * [taylor]: Taking taylor expansion of 3 in x 3.122 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 3.122 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 3.122 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 3.122 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 3.122 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 3.122 * [taylor]: Taking taylor expansion of 1/3 in x 3.122 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 3.122 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.122 * [taylor]: Taking taylor expansion of y in x 3.122 * [taylor]: Taking taylor expansion of x in x 3.122 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y 3.122 * [taylor]: Taking taylor expansion of 3 in y 3.122 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 3.122 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 3.122 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.122 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.122 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.123 * [taylor]: Taking taylor expansion of 1/3 in y 3.123 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.123 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.123 * [taylor]: Taking taylor expansion of y in y 3.123 * [taylor]: Taking taylor expansion of x in y 3.124 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y 3.124 * [taylor]: Taking taylor expansion of 3 in y 3.124 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 3.124 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 3.124 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.124 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.124 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.124 * [taylor]: Taking taylor expansion of 1/3 in y 3.124 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.124 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.124 * [taylor]: Taking taylor expansion of y in y 3.125 * [taylor]: Taking taylor expansion of x in y 3.125 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow y -1/3)) x)) in x 3.125 * [taylor]: Taking taylor expansion of 3 in x 3.125 * [taylor]: Taking taylor expansion of (/ (log (pow y -1/3)) x) in x 3.125 * [taylor]: Taking taylor expansion of (log (pow y -1/3)) in x 3.125 * [taylor]: Taking taylor expansion of (pow y -1/3) in x 3.125 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log y))) in x 3.125 * [taylor]: Taking taylor expansion of (* -1/3 (log y)) in x 3.125 * [taylor]: Taking taylor expansion of -1/3 in x 3.125 * [taylor]: Taking taylor expansion of (log y) in x 3.125 * [taylor]: Taking taylor expansion of y in x 3.125 * [taylor]: Taking taylor expansion of x in x 3.129 * [taylor]: Taking taylor expansion of 0 in x 3.137 * [taylor]: Taking taylor expansion of 0 in x 3.149 * [taylor]: Taking taylor expansion of 0 in x 3.156 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in (y x) around 0 3.157 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in x 3.157 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 3.157 * [taylor]: Taking taylor expansion of 3 in x 3.157 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 3.157 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 3.157 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 3.157 * [taylor]: Taking taylor expansion of (cbrt -1) in x 3.157 * [taylor]: Taking taylor expansion of -1 in x 3.157 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 3.157 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 3.157 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 3.157 * [taylor]: Taking taylor expansion of 1/3 in x 3.157 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 3.157 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.157 * [taylor]: Taking taylor expansion of y in x 3.158 * [taylor]: Taking taylor expansion of x in x 3.159 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in y 3.159 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 3.159 * [taylor]: Taking taylor expansion of 3 in y 3.159 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 3.159 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 3.159 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 3.159 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.159 * [taylor]: Taking taylor expansion of -1 in y 3.165 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.165 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.165 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.165 * [taylor]: Taking taylor expansion of 1/3 in y 3.165 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.165 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.165 * [taylor]: Taking taylor expansion of y in y 3.167 * [taylor]: Taking taylor expansion of x in y 3.167 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in y 3.167 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 3.167 * [taylor]: Taking taylor expansion of 3 in y 3.167 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 3.167 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 3.167 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 3.167 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.167 * [taylor]: Taking taylor expansion of -1 in y 3.168 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.168 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.168 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.168 * [taylor]: Taking taylor expansion of 1/3 in y 3.168 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.168 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.168 * [taylor]: Taking taylor expansion of y in y 3.170 * [taylor]: Taking taylor expansion of x in y 3.171 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in x 3.171 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 3.171 * [taylor]: Taking taylor expansion of 3 in x 3.171 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 3.171 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 3.171 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 3.171 * [taylor]: Taking taylor expansion of (cbrt -1) in x 3.171 * [taylor]: Taking taylor expansion of -1 in x 3.172 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 3.172 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 3.172 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 3.172 * [taylor]: Taking taylor expansion of 1/3 in x 3.172 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 3.172 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.172 * [taylor]: Taking taylor expansion of y in x 3.173 * [taylor]: Taking taylor expansion of x in x 3.180 * [taylor]: Taking taylor expansion of 0 in x 3.192 * [taylor]: Taking taylor expansion of 0 in x 3.211 * [taylor]: Taking taylor expansion of 0 in x 3.222 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1) 3.222 * [approximate]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in (y x) around 0 3.222 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in x 3.222 * [taylor]: Taking taylor expansion of 2 in x 3.222 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 3.222 * [taylor]: Taking taylor expansion of x in x 3.222 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 3.222 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 3.222 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 3.222 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 3.222 * [taylor]: Taking taylor expansion of 1/3 in x 3.222 * [taylor]: Taking taylor expansion of (log y) in x 3.222 * [taylor]: Taking taylor expansion of y in x 3.222 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in y 3.222 * [taylor]: Taking taylor expansion of 2 in y 3.222 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 3.222 * [taylor]: Taking taylor expansion of x in y 3.222 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 3.222 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 3.222 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 3.223 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 3.223 * [taylor]: Taking taylor expansion of 1/3 in y 3.223 * [taylor]: Taking taylor expansion of (log y) in y 3.223 * [taylor]: Taking taylor expansion of y in y 3.223 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in y 3.223 * [taylor]: Taking taylor expansion of 2 in y 3.223 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 3.223 * [taylor]: Taking taylor expansion of x in y 3.223 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 3.223 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 3.223 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 3.223 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 3.223 * [taylor]: Taking taylor expansion of 1/3 in y 3.223 * [taylor]: Taking taylor expansion of (log y) in y 3.223 * [taylor]: Taking taylor expansion of y in y 3.224 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in x 3.224 * [taylor]: Taking taylor expansion of 2 in x 3.224 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 3.224 * [taylor]: Taking taylor expansion of x in x 3.224 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 3.224 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 3.224 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 3.224 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 3.224 * [taylor]: Taking taylor expansion of 1/3 in x 3.224 * [taylor]: Taking taylor expansion of (log y) in x 3.224 * [taylor]: Taking taylor expansion of y in x 3.228 * [taylor]: Taking taylor expansion of 0 in x 3.235 * [taylor]: Taking taylor expansion of 0 in x 3.247 * [taylor]: Taking taylor expansion of 0 in x 3.247 * [approximate]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in (y x) around 0 3.247 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in x 3.247 * [taylor]: Taking taylor expansion of 2 in x 3.247 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 3.247 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 3.247 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 3.247 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 3.247 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 3.247 * [taylor]: Taking taylor expansion of 1/3 in x 3.247 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 3.247 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.247 * [taylor]: Taking taylor expansion of y in x 3.247 * [taylor]: Taking taylor expansion of x in x 3.248 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in y 3.248 * [taylor]: Taking taylor expansion of 2 in y 3.248 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 3.248 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 3.248 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.248 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.248 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.248 * [taylor]: Taking taylor expansion of 1/3 in y 3.248 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.248 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.248 * [taylor]: Taking taylor expansion of y in y 3.253 * [taylor]: Taking taylor expansion of x in y 3.253 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in y 3.254 * [taylor]: Taking taylor expansion of 2 in y 3.254 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 3.254 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 3.254 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.254 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.254 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.254 * [taylor]: Taking taylor expansion of 1/3 in y 3.254 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.254 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.254 * [taylor]: Taking taylor expansion of y in y 3.255 * [taylor]: Taking taylor expansion of x in y 3.255 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow y -1/3)) x)) in x 3.255 * [taylor]: Taking taylor expansion of 2 in x 3.255 * [taylor]: Taking taylor expansion of (/ (log (pow y -1/3)) x) in x 3.255 * [taylor]: Taking taylor expansion of (log (pow y -1/3)) in x 3.255 * [taylor]: Taking taylor expansion of (pow y -1/3) in x 3.255 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log y))) in x 3.255 * [taylor]: Taking taylor expansion of (* -1/3 (log y)) in x 3.255 * [taylor]: Taking taylor expansion of -1/3 in x 3.255 * [taylor]: Taking taylor expansion of (log y) in x 3.255 * [taylor]: Taking taylor expansion of y in x 3.255 * [taylor]: Taking taylor expansion of x in x 3.258 * [taylor]: Taking taylor expansion of 0 in x 3.266 * [taylor]: Taking taylor expansion of 0 in x 3.279 * [taylor]: Taking taylor expansion of 0 in x 3.286 * [approximate]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in (y x) around 0 3.286 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 3.286 * [taylor]: Taking taylor expansion of -2 in x 3.286 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 3.286 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 3.286 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 3.286 * [taylor]: Taking taylor expansion of (cbrt -1) in x 3.286 * [taylor]: Taking taylor expansion of -1 in x 3.287 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 3.287 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 3.287 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 3.287 * [taylor]: Taking taylor expansion of 1/3 in x 3.287 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 3.287 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.287 * [taylor]: Taking taylor expansion of y in x 3.288 * [taylor]: Taking taylor expansion of x in x 3.288 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 3.288 * [taylor]: Taking taylor expansion of -2 in y 3.288 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 3.288 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 3.288 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 3.288 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.288 * [taylor]: Taking taylor expansion of -1 in y 3.289 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.289 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.289 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.289 * [taylor]: Taking taylor expansion of 1/3 in y 3.289 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.289 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.289 * [taylor]: Taking taylor expansion of y in y 3.290 * [taylor]: Taking taylor expansion of x in y 3.291 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 3.291 * [taylor]: Taking taylor expansion of -2 in y 3.291 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 3.291 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 3.291 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 3.291 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.291 * [taylor]: Taking taylor expansion of -1 in y 3.292 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.292 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.292 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.292 * [taylor]: Taking taylor expansion of 1/3 in y 3.292 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.292 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.292 * [taylor]: Taking taylor expansion of y in y 3.293 * [taylor]: Taking taylor expansion of x in y 3.294 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 3.294 * [taylor]: Taking taylor expansion of -2 in x 3.294 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 3.294 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 3.294 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 3.294 * [taylor]: Taking taylor expansion of (cbrt -1) in x 3.294 * [taylor]: Taking taylor expansion of -1 in x 3.295 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 3.295 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 3.295 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 3.295 * [taylor]: Taking taylor expansion of 1/3 in x 3.295 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 3.295 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.295 * [taylor]: Taking taylor expansion of y in x 3.296 * [taylor]: Taking taylor expansion of x in x 3.302 * [taylor]: Taking taylor expansion of 0 in x 3.314 * [taylor]: Taking taylor expansion of 0 in x 3.332 * [taylor]: Taking taylor expansion of 0 in x 3.349 * * * [progress]: simplifying candidates 3.350 * [simplify]: Simplifying using # : (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (* (exp (* (* 2 (log (cbrt y))) x)) (exp (* x (log (cbrt y))))) (log (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))) (exp (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))) (* (cbrt (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))) (cbrt (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y)))))) (cbrt (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))) (* (* (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y)))) (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))) (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))) (sqrt (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))) (sqrt (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))))) (+ (pow (* (* 2 (log (cbrt y))) x) 3) (pow (* x (log (cbrt y))) 3)) (+ (* (* (* 2 (log (cbrt y))) x) (* (* 2 (log (cbrt y))) x)) (- (* (* x (log (cbrt y))) (* x (log (cbrt y)))) (* (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y)))))) (- (* (* (* 2 (log (cbrt y))) x) (* (* 2 (log (cbrt y))) x)) (* (* x (log (cbrt y))) (* x (log (cbrt y))))) (- (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y)))) (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt (* (cbrt y) (cbrt y)))))) (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt (sqrt y))))) (+ (* (* 2 (log (cbrt y))) x) (* x (log (cbrt 1)))) (+ (* (* 2 (log (cbrt y))) x) (* x (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))))) (+ (* (* 2 (log (cbrt y))) x) (* x (log (sqrt (cbrt y))))) (+ (* (* 2 (log (cbrt y))) x) (* x (log 1))) (+ (* (* 2 (log (cbrt y))) x) (* (log (cbrt (* (cbrt y) (cbrt y)))) x)) (+ (* (* 2 (log (cbrt y))) x) (* (log (cbrt (sqrt y))) x)) (+ (* (* 2 (log (cbrt y))) x) (* (log (cbrt 1)) x)) (+ (* (* 2 (log (cbrt y))) x) (* (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) x)) (+ (* (* 2 (log (cbrt y))) x) (* (log (sqrt (cbrt y))) x)) (+ (* (* 2 (log (cbrt y))) x) (* (log 1) x)) (* (* 2 (log (cbrt y))) x) (* (* 2 (log (cbrt y))) x) (+ (+ (log 2) (log (log (cbrt y)))) (log x)) (+ (log (* 2 (log (cbrt y)))) (log x)) (log (* (* 2 (log (cbrt y))) x)) (exp (* (* 2 (log (cbrt y))) x)) (* (* (* (* 2 2) 2) (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y)))) (* (* x x) x)) (* (* (* (* 2 (log (cbrt y))) (* 2 (log (cbrt y)))) (* 2 (log (cbrt y)))) (* (* x x) x)) (* (cbrt (* (* 2 (log (cbrt y))) x)) (cbrt (* (* 2 (log (cbrt y))) x))) (cbrt (* (* 2 (log (cbrt y))) x)) (* (* (* (* 2 (log (cbrt y))) x) (* (* 2 (log (cbrt y))) x)) (* (* 2 (log (cbrt y))) x)) (sqrt (* (* 2 (log (cbrt y))) x)) (sqrt (* (* 2 (log (cbrt y))) x)) (* (* 2 (log (cbrt y))) (* (cbrt x) (cbrt x))) (* (* 2 (log (cbrt y))) (sqrt x)) (* (* 2 (log (cbrt y))) 1) (* (log (cbrt y)) 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)) (* 3 (* x (log (pow y 1/3)))) (* 3 (* x (log (pow (/ 1 y) -1/3)))) (* 3 (* x (log (* (pow (* -1 y) 1/3) (cbrt -1))))) (* 2 (* x (log (pow y 1/3)))) (* 2 (* x (log (pow (/ 1 y) -1/3)))) (* 2 (* x (log (* (pow (* -1 y) 1/3) (cbrt -1))))) 3.353 * * [simplify]: iteration 0 : 123 enodes (cost 811 ) 3.377 * * [simplify]: iteration 1 : 294 enodes (cost 731 ) 3.482 * * [simplify]: iteration 2 : 978 enodes (cost 551 ) 3.969 * * [simplify]: iteration done : 5001 enodes (cost 535 ) 3.969 * [simplify]: Simplified to: (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (pow (cbrt y) 3) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (pow (cbrt y) 3) (sqrt (cbrt y)) (sqrt (cbrt y)) (exp (* (* (log (cbrt y)) x) 3)) (log (* (* (log (cbrt y)) x) 3)) (exp (* (* (log (cbrt y)) x) 3)) (* (cbrt (* (log (cbrt y)) (* 3 x))) (cbrt (* (log (cbrt y)) (* 3 x)))) (cbrt (* (log (cbrt y)) (* 3 x))) (pow (* (log (cbrt y)) (* 3 x)) 3) (sqrt (* (* (log (cbrt y)) x) 3)) (sqrt (* (* (log (cbrt y)) x) 3)) (* (+ 8 1) (pow (* (log (cbrt y)) x) 3)) (* (* (log (cbrt y)) x) (+ (* (* (log y) (- 1/3 2/3)) x) (* x (* 4 (log (cbrt y)))))) (* (* (* (log (cbrt y)) (* 3 x)) x) (* (log y) (- 2/3 1/3))) (* (* (log y) (- 2/3 1/3)) x) (* (+ (log (cbrt (pow y 2/3))) (* 2/3 (log y))) x) (* (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))) x) (* (* 2/3 (log y)) x) (* (* 2 (+ (log (cbrt y)) (log (cbrt (cbrt y))))) x) (* (+ (* 2/3 (log y)) (log (sqrt (cbrt y)))) x) (* (* 2/3 (log y)) x) (* (+ (log (cbrt (pow y 2/3))) (* 2/3 (log y))) x) (* (+ (* 2/3 (log y)) (log (cbrt (sqrt y)))) x) (* (* 2/3 (log y)) x) (* (* 2 (+ (log (cbrt y)) (log (cbrt (cbrt y))))) x) (* (+ (* 2/3 (log y)) (log (sqrt (cbrt y)))) x) (* (* 2/3 (log y)) x) (* (* 2/3 (log y)) x) (* (* 2/3 (log y)) x) (log (* (* 2/3 (log y)) x)) (log (* (* 2/3 (log y)) x)) (log (* (* 2/3 (log y)) x)) (pow (pow (cbrt y) 2) x) (pow (* (* 2/3 (log y)) x) 3) (pow (* (* 2/3 (log y)) x) 3) (* (cbrt (* (* 2/3 (log y)) x)) (cbrt (* (* 2/3 (log y)) x))) (cbrt (* (* 2/3 (log y)) x)) (pow (* (* 2/3 (log y)) x) 3) (sqrt (* (* 2/3 (log y)) x)) (sqrt (* (* 2/3 (log y)) x)) (* (* (cbrt x) (cbrt x)) (* 2/3 (log y))) (* (sqrt x) (* 2/3 (log y))) (* 2/3 (log y)) (* (log (cbrt y)) x) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) (* (log (cbrt y)) (* 3 x)) (* x (* (* -1/3 (- (log y))) 3)) (* (* 3 x) (log (* (cbrt -1) (cbrt (- y))))) (* (* 2/3 (log y)) x) (* (* -1/3 (- (log y))) (* 2 x)) (* (* 2 x) (log (* (cbrt -1) (cbrt (- y))))) 3.970 * * * [progress]: adding candidates to table 4.240 * * [progress]: iteration 3 / 4 4.240 * * * [progress]: picking best candidate 4.251 * * * * [pick]: Picked # 4.251 * * * [progress]: localizing error 4.264 * * * [progress]: generating rewritten candidates 4.264 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 1) 4.265 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 4.271 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 4.318 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1) 4.320 * * * [progress]: generating series expansions 4.321 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 1) 4.321 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 4.321 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.321 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.321 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.321 * [taylor]: Taking taylor expansion of 1/3 in y 4.321 * [taylor]: Taking taylor expansion of (log y) in y 4.321 * [taylor]: Taking taylor expansion of y in y 4.322 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.322 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.322 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.322 * [taylor]: Taking taylor expansion of 1/3 in y 4.322 * [taylor]: Taking taylor expansion of (log y) in y 4.322 * [taylor]: Taking taylor expansion of y in y 4.374 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 4.374 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.374 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.374 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.374 * [taylor]: Taking taylor expansion of 1/3 in y 4.374 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.374 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.374 * [taylor]: Taking taylor expansion of y in y 4.375 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.375 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.375 * [taylor]: Taking taylor expansion of 1/3 in y 4.375 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.375 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.375 * [taylor]: Taking taylor expansion of y in y 4.425 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 4.425 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 4.425 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.425 * [taylor]: Taking taylor expansion of -1 in y 4.426 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.426 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.426 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.426 * [taylor]: Taking taylor expansion of 1/3 in y 4.426 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.426 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.426 * [taylor]: Taking taylor expansion of y in y 4.427 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 4.427 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.427 * [taylor]: Taking taylor expansion of -1 in y 4.428 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.428 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.428 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.428 * [taylor]: Taking taylor expansion of 1/3 in y 4.428 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.428 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.428 * [taylor]: Taking taylor expansion of y in y 4.497 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 4.497 * [approximate]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in (y x) around 0 4.497 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x 4.497 * [taylor]: Taking taylor expansion of 3 in x 4.497 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 4.497 * [taylor]: Taking taylor expansion of x in x 4.497 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 4.497 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 4.498 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 4.498 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 4.498 * [taylor]: Taking taylor expansion of 1/3 in x 4.498 * [taylor]: Taking taylor expansion of (log y) in x 4.498 * [taylor]: Taking taylor expansion of y in x 4.498 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y 4.498 * [taylor]: Taking taylor expansion of 3 in y 4.498 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 4.498 * [taylor]: Taking taylor expansion of x in y 4.498 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 4.498 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.498 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.498 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.498 * [taylor]: Taking taylor expansion of 1/3 in y 4.498 * [taylor]: Taking taylor expansion of (log y) in y 4.498 * [taylor]: Taking taylor expansion of y in y 4.499 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y 4.499 * [taylor]: Taking taylor expansion of 3 in y 4.499 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 4.499 * [taylor]: Taking taylor expansion of x in y 4.499 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 4.499 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.499 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.499 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.499 * [taylor]: Taking taylor expansion of 1/3 in y 4.499 * [taylor]: Taking taylor expansion of (log y) in y 4.499 * [taylor]: Taking taylor expansion of y in y 4.500 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x 4.500 * [taylor]: Taking taylor expansion of 3 in x 4.500 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 4.500 * [taylor]: Taking taylor expansion of x in x 4.500 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 4.500 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 4.500 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 4.500 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 4.500 * [taylor]: Taking taylor expansion of 1/3 in x 4.500 * [taylor]: Taking taylor expansion of (log y) in x 4.500 * [taylor]: Taking taylor expansion of y in x 4.503 * [taylor]: Taking taylor expansion of 0 in x 4.511 * [taylor]: Taking taylor expansion of 0 in x 4.523 * [taylor]: Taking taylor expansion of 0 in x 4.524 * [approximate]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in (y x) around 0 4.524 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in x 4.524 * [taylor]: Taking taylor expansion of 3 in x 4.524 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 4.524 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 4.524 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 4.524 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 4.524 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 4.524 * [taylor]: Taking taylor expansion of 1/3 in x 4.524 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.524 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.524 * [taylor]: Taking taylor expansion of y in x 4.524 * [taylor]: Taking taylor expansion of x in x 4.524 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y 4.524 * [taylor]: Taking taylor expansion of 3 in y 4.524 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 4.524 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 4.524 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.524 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.524 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.524 * [taylor]: Taking taylor expansion of 1/3 in y 4.524 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.524 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.525 * [taylor]: Taking taylor expansion of y in y 4.525 * [taylor]: Taking taylor expansion of x in y 4.526 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y 4.526 * [taylor]: Taking taylor expansion of 3 in y 4.526 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 4.526 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 4.526 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.526 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.526 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.526 * [taylor]: Taking taylor expansion of 1/3 in y 4.526 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.526 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.526 * [taylor]: Taking taylor expansion of y in y 4.527 * [taylor]: Taking taylor expansion of x in y 4.527 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow y -1/3)) x)) in x 4.527 * [taylor]: Taking taylor expansion of 3 in x 4.527 * [taylor]: Taking taylor expansion of (/ (log (pow y -1/3)) x) in x 4.527 * [taylor]: Taking taylor expansion of (log (pow y -1/3)) in x 4.527 * [taylor]: Taking taylor expansion of (pow y -1/3) in x 4.527 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log y))) in x 4.527 * [taylor]: Taking taylor expansion of (* -1/3 (log y)) in x 4.527 * [taylor]: Taking taylor expansion of -1/3 in x 4.527 * [taylor]: Taking taylor expansion of (log y) in x 4.527 * [taylor]: Taking taylor expansion of y in x 4.527 * [taylor]: Taking taylor expansion of x in x 4.537 * [taylor]: Taking taylor expansion of 0 in x 4.545 * [taylor]: Taking taylor expansion of 0 in x 4.558 * [taylor]: Taking taylor expansion of 0 in x 4.565 * [approximate]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in (y x) around 0 4.565 * [taylor]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 4.565 * [taylor]: Taking taylor expansion of -3 in x 4.565 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 4.566 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 4.566 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 4.566 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.566 * [taylor]: Taking taylor expansion of -1 in x 4.566 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 4.566 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 4.566 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 4.566 * [taylor]: Taking taylor expansion of 1/3 in x 4.566 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.566 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.566 * [taylor]: Taking taylor expansion of y in x 4.567 * [taylor]: Taking taylor expansion of x in x 4.568 * [taylor]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 4.568 * [taylor]: Taking taylor expansion of -3 in y 4.568 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 4.568 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 4.568 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 4.568 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.568 * [taylor]: Taking taylor expansion of -1 in y 4.569 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.569 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.569 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.569 * [taylor]: Taking taylor expansion of 1/3 in y 4.569 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.569 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.569 * [taylor]: Taking taylor expansion of y in y 4.570 * [taylor]: Taking taylor expansion of x in y 4.571 * [taylor]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 4.571 * [taylor]: Taking taylor expansion of -3 in y 4.571 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 4.571 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 4.571 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 4.571 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.571 * [taylor]: Taking taylor expansion of -1 in y 4.572 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.572 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.572 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.572 * [taylor]: Taking taylor expansion of 1/3 in y 4.572 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.572 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.572 * [taylor]: Taking taylor expansion of y in y 4.573 * [taylor]: Taking taylor expansion of x in y 4.574 * [taylor]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 4.574 * [taylor]: Taking taylor expansion of -3 in x 4.574 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 4.574 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 4.574 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 4.574 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.574 * [taylor]: Taking taylor expansion of -1 in x 4.575 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 4.575 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 4.575 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 4.575 * [taylor]: Taking taylor expansion of 1/3 in x 4.575 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.575 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.575 * [taylor]: Taking taylor expansion of y in x 4.576 * [taylor]: Taking taylor expansion of x in x 4.582 * [taylor]: Taking taylor expansion of 0 in x 4.595 * [taylor]: Taking taylor expansion of 0 in x 4.614 * [taylor]: Taking taylor expansion of 0 in x 4.631 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 4.631 * [approximate]: Taking taylor expansion of (- (* 3 (* x (log (pow y 1/3)))) (+ z y)) in (y x z) around 0 4.631 * [taylor]: Taking taylor expansion of (- (* 3 (* x (log (pow y 1/3)))) (+ z y)) in z 4.631 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in z 4.631 * [taylor]: Taking taylor expansion of 3 in z 4.631 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in z 4.631 * [taylor]: Taking taylor expansion of x in z 4.631 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in z 4.631 * [taylor]: Taking taylor expansion of (pow y 1/3) in z 4.631 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in z 4.631 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in z 4.631 * [taylor]: Taking taylor expansion of 1/3 in z 4.631 * [taylor]: Taking taylor expansion of (log y) in z 4.631 * [taylor]: Taking taylor expansion of y in z 4.631 * [taylor]: Taking taylor expansion of (+ z y) in z 4.631 * [taylor]: Taking taylor expansion of z in z 4.632 * [taylor]: Taking taylor expansion of y in z 4.632 * [taylor]: Taking taylor expansion of (- (* 3 (* x (log (pow y 1/3)))) (+ z y)) in x 4.632 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x 4.632 * [taylor]: Taking taylor expansion of 3 in x 4.632 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 4.632 * [taylor]: Taking taylor expansion of x in x 4.632 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 4.632 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 4.632 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 4.632 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 4.632 * [taylor]: Taking taylor expansion of 1/3 in x 4.632 * [taylor]: Taking taylor expansion of (log y) in x 4.632 * [taylor]: Taking taylor expansion of y in x 4.632 * [taylor]: Taking taylor expansion of (+ z y) in x 4.632 * [taylor]: Taking taylor expansion of z in x 4.632 * [taylor]: Taking taylor expansion of y in x 4.632 * [taylor]: Taking taylor expansion of (- (* 3 (* x (log (pow y 1/3)))) (+ z y)) in y 4.632 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y 4.632 * [taylor]: Taking taylor expansion of 3 in y 4.632 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 4.632 * [taylor]: Taking taylor expansion of x in y 4.632 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 4.632 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.632 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.632 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.632 * [taylor]: Taking taylor expansion of 1/3 in y 4.632 * [taylor]: Taking taylor expansion of (log y) in y 4.632 * [taylor]: Taking taylor expansion of y in y 4.633 * [taylor]: Taking taylor expansion of (+ z y) in y 4.633 * [taylor]: Taking taylor expansion of z in y 4.633 * [taylor]: Taking taylor expansion of y in y 4.633 * [taylor]: Taking taylor expansion of (- (* 3 (* x (log (pow y 1/3)))) (+ z y)) in y 4.633 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y 4.633 * [taylor]: Taking taylor expansion of 3 in y 4.633 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 4.633 * [taylor]: Taking taylor expansion of x in y 4.633 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 4.633 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.633 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.633 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.633 * [taylor]: Taking taylor expansion of 1/3 in y 4.633 * [taylor]: Taking taylor expansion of (log y) in y 4.633 * [taylor]: Taking taylor expansion of y in y 4.634 * [taylor]: Taking taylor expansion of (+ z y) in y 4.634 * [taylor]: Taking taylor expansion of z in y 4.634 * [taylor]: Taking taylor expansion of y in y 4.634 * [taylor]: Taking taylor expansion of (- (* 3 (* x (log (pow y 1/3)))) z) in x 4.634 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x 4.634 * [taylor]: Taking taylor expansion of 3 in x 4.634 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 4.634 * [taylor]: Taking taylor expansion of x in x 4.634 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 4.634 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 4.634 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 4.634 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 4.634 * [taylor]: Taking taylor expansion of 1/3 in x 4.634 * [taylor]: Taking taylor expansion of (log y) in x 4.634 * [taylor]: Taking taylor expansion of y in x 4.634 * [taylor]: Taking taylor expansion of z in x 4.635 * [taylor]: Taking taylor expansion of (- z) in z 4.635 * [taylor]: Taking taylor expansion of z in z 4.639 * [taylor]: Taking taylor expansion of -1 in x 4.639 * [taylor]: Taking taylor expansion of -1 in z 4.642 * [taylor]: Taking taylor expansion of (* 3 (log (pow y 1/3))) in z 4.642 * [taylor]: Taking taylor expansion of 3 in z 4.642 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in z 4.642 * [taylor]: Taking taylor expansion of (pow y 1/3) in z 4.642 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in z 4.642 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in z 4.642 * [taylor]: Taking taylor expansion of 1/3 in z 4.642 * [taylor]: Taking taylor expansion of (log y) in z 4.642 * [taylor]: Taking taylor expansion of y in z 4.643 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) (+ (/ 1 z) (/ 1 y))) in (y x z) around 0 4.643 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) (+ (/ 1 z) (/ 1 y))) in z 4.643 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in z 4.643 * [taylor]: Taking taylor expansion of 3 in z 4.643 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in z 4.643 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in z 4.643 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in z 4.643 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in z 4.643 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in z 4.643 * [taylor]: Taking taylor expansion of 1/3 in z 4.643 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 4.643 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.643 * [taylor]: Taking taylor expansion of y in z 4.644 * [taylor]: Taking taylor expansion of x in z 4.644 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 4.644 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.644 * [taylor]: Taking taylor expansion of z in z 4.644 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.644 * [taylor]: Taking taylor expansion of y in z 4.644 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) (+ (/ 1 z) (/ 1 y))) in x 4.644 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in x 4.644 * [taylor]: Taking taylor expansion of 3 in x 4.644 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 4.644 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 4.644 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 4.644 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 4.644 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 4.644 * [taylor]: Taking taylor expansion of 1/3 in x 4.644 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.644 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.644 * [taylor]: Taking taylor expansion of y in x 4.645 * [taylor]: Taking taylor expansion of x in x 4.645 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 4.645 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.645 * [taylor]: Taking taylor expansion of z in x 4.645 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.645 * [taylor]: Taking taylor expansion of y in x 4.645 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) (+ (/ 1 z) (/ 1 y))) in y 4.645 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y 4.645 * [taylor]: Taking taylor expansion of 3 in y 4.645 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 4.645 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 4.645 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.645 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.645 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.645 * [taylor]: Taking taylor expansion of 1/3 in y 4.645 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.645 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.645 * [taylor]: Taking taylor expansion of y in y 4.646 * [taylor]: Taking taylor expansion of x in y 4.646 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 4.646 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.646 * [taylor]: Taking taylor expansion of z in y 4.646 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.646 * [taylor]: Taking taylor expansion of y in y 4.646 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) (+ (/ 1 z) (/ 1 y))) in y 4.646 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y 4.646 * [taylor]: Taking taylor expansion of 3 in y 4.646 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 4.646 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 4.646 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.646 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.646 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.646 * [taylor]: Taking taylor expansion of 1/3 in y 4.646 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.646 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.647 * [taylor]: Taking taylor expansion of y in y 4.647 * [taylor]: Taking taylor expansion of x in y 4.647 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 4.648 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.648 * [taylor]: Taking taylor expansion of z in y 4.648 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.648 * [taylor]: Taking taylor expansion of y in y 4.649 * [taylor]: Taking taylor expansion of -1 in x 4.649 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow y -1/3)) x)) (/ 1 z)) in x 4.649 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow y -1/3)) x)) in x 4.649 * [taylor]: Taking taylor expansion of 3 in x 4.649 * [taylor]: Taking taylor expansion of (/ (log (pow y -1/3)) x) in x 4.649 * [taylor]: Taking taylor expansion of (log (pow y -1/3)) in x 4.650 * [taylor]: Taking taylor expansion of (pow y -1/3) in x 4.650 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log y))) in x 4.650 * [taylor]: Taking taylor expansion of (* -1/3 (log y)) in x 4.650 * [taylor]: Taking taylor expansion of -1/3 in x 4.650 * [taylor]: Taking taylor expansion of (log y) in x 4.650 * [taylor]: Taking taylor expansion of y in x 4.650 * [taylor]: Taking taylor expansion of x in x 4.650 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.650 * [taylor]: Taking taylor expansion of z in x 4.650 * [taylor]: Taking taylor expansion of (* 3 (log (pow y -1/3))) in z 4.650 * [taylor]: Taking taylor expansion of 3 in z 4.650 * [taylor]: Taking taylor expansion of (log (pow y -1/3)) in z 4.650 * [taylor]: Taking taylor expansion of (pow y -1/3) in z 4.650 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log y))) in z 4.650 * [taylor]: Taking taylor expansion of (* -1/3 (log y)) in z 4.650 * [taylor]: Taking taylor expansion of -1/3 in z 4.650 * [taylor]: Taking taylor expansion of (log y) in z 4.650 * [taylor]: Taking taylor expansion of y in z 4.650 * [taylor]: Taking taylor expansion of -1 in z 4.655 * [taylor]: Taking taylor expansion of 0 in x 4.658 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.658 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.658 * [taylor]: Taking taylor expansion of z in z 4.658 * [taylor]: Taking taylor expansion of 0 in z 4.659 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in (y x z) around 0 4.659 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in z 4.659 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 4.659 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.660 * [taylor]: Taking taylor expansion of z in z 4.660 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.660 * [taylor]: Taking taylor expansion of y in z 4.660 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in z 4.660 * [taylor]: Taking taylor expansion of 3 in z 4.660 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in z 4.660 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in z 4.660 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in z 4.660 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.660 * [taylor]: Taking taylor expansion of -1 in z 4.661 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in z 4.661 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in z 4.661 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in z 4.661 * [taylor]: Taking taylor expansion of 1/3 in z 4.661 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 4.661 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.661 * [taylor]: Taking taylor expansion of y in z 4.662 * [taylor]: Taking taylor expansion of x in z 4.662 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in x 4.662 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 4.662 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.662 * [taylor]: Taking taylor expansion of z in x 4.662 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.662 * [taylor]: Taking taylor expansion of y in x 4.662 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 4.662 * [taylor]: Taking taylor expansion of 3 in x 4.662 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 4.662 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 4.662 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 4.662 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.662 * [taylor]: Taking taylor expansion of -1 in x 4.663 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 4.663 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 4.663 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 4.663 * [taylor]: Taking taylor expansion of 1/3 in x 4.663 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.663 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.663 * [taylor]: Taking taylor expansion of y in x 4.664 * [taylor]: Taking taylor expansion of x in x 4.665 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in y 4.665 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 4.665 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.665 * [taylor]: Taking taylor expansion of z in y 4.665 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.665 * [taylor]: Taking taylor expansion of y in y 4.665 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 4.665 * [taylor]: Taking taylor expansion of 3 in y 4.665 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 4.665 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 4.665 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 4.665 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.665 * [taylor]: Taking taylor expansion of -1 in y 4.666 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.666 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.666 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.666 * [taylor]: Taking taylor expansion of 1/3 in y 4.666 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.666 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.666 * [taylor]: Taking taylor expansion of y in y 4.667 * [taylor]: Taking taylor expansion of x in y 4.668 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in y 4.668 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 4.668 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.668 * [taylor]: Taking taylor expansion of z in y 4.668 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.668 * [taylor]: Taking taylor expansion of y in y 4.668 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 4.668 * [taylor]: Taking taylor expansion of 3 in y 4.668 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 4.668 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 4.668 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 4.668 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.668 * [taylor]: Taking taylor expansion of -1 in y 4.669 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.669 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.669 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.669 * [taylor]: Taking taylor expansion of 1/3 in y 4.669 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.669 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.669 * [taylor]: Taking taylor expansion of y in y 4.671 * [taylor]: Taking taylor expansion of x in y 4.672 * [taylor]: Taking taylor expansion of 1 in x 4.674 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in x 4.674 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.674 * [taylor]: Taking taylor expansion of z in x 4.674 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 4.674 * [taylor]: Taking taylor expansion of 3 in x 4.674 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 4.674 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 4.674 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 4.674 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.674 * [taylor]: Taking taylor expansion of -1 in x 4.674 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 4.674 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 4.675 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 4.675 * [taylor]: Taking taylor expansion of 1/3 in x 4.675 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.675 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.675 * [taylor]: Taking taylor expansion of y in x 4.675 * [taylor]: Taking taylor expansion of x in x 4.677 * [taylor]: Taking taylor expansion of (- (* 3 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in z 4.677 * [taylor]: Taking taylor expansion of (* 3 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in z 4.677 * [taylor]: Taking taylor expansion of 3 in z 4.677 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in z 4.677 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in z 4.677 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.677 * [taylor]: Taking taylor expansion of -1 in z 4.678 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in z 4.678 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in z 4.678 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in z 4.678 * [taylor]: Taking taylor expansion of 1/3 in z 4.678 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 4.678 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.678 * [taylor]: Taking taylor expansion of y in z 4.679 * [taylor]: Taking taylor expansion of 1 in z 4.685 * [taylor]: Taking taylor expansion of 0 in x 4.690 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.690 * [taylor]: Taking taylor expansion of z in z 4.690 * [taylor]: Taking taylor expansion of 0 in z 4.693 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1) 4.693 * [approximate]: Taking taylor expansion of (log (pow y 1/3)) in (y) around 0 4.693 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 4.693 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.693 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.693 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.693 * [taylor]: Taking taylor expansion of 1/3 in y 4.693 * [taylor]: Taking taylor expansion of (log y) in y 4.693 * [taylor]: Taking taylor expansion of y in y 4.694 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 4.694 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.694 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.694 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.694 * [taylor]: Taking taylor expansion of 1/3 in y 4.694 * [taylor]: Taking taylor expansion of (log y) in y 4.694 * [taylor]: Taking taylor expansion of y in y 4.767 * [approximate]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in (y) around 0 4.767 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 4.767 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.767 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.767 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.767 * [taylor]: Taking taylor expansion of 1/3 in y 4.767 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.767 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.767 * [taylor]: Taking taylor expansion of y in y 4.768 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 4.768 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.768 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.768 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.768 * [taylor]: Taking taylor expansion of 1/3 in y 4.768 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.768 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.768 * [taylor]: Taking taylor expansion of y in y 4.845 * [approximate]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in (y) around 0 4.845 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 4.845 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 4.845 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.845 * [taylor]: Taking taylor expansion of -1 in y 4.846 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.846 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.846 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.846 * [taylor]: Taking taylor expansion of 1/3 in y 4.846 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.846 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.846 * [taylor]: Taking taylor expansion of y in y 4.848 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 4.848 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 4.848 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.848 * [taylor]: Taking taylor expansion of -1 in y 4.848 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.849 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.849 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.849 * [taylor]: Taking taylor expansion of 1/3 in y 4.849 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.849 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.849 * [taylor]: Taking taylor expansion of y in y 4.947 * * * [progress]: simplifying candidates 4.948 * [simplify]: Simplifying using # : (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (* (log (cbrt y)) (* 3 x)) (* (log (cbrt y)) (* 3 x)) (+ (log (log (cbrt y))) (+ (log 3) (log x))) (+ (log (log (cbrt y))) (log (* 3 x))) (log (* (log (cbrt y)) (* 3 x))) (exp (* (log (cbrt y)) (* 3 x))) (* (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y))) (* (* (* 3 3) 3) (* (* x x) x))) (* (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y))) (* (* (* 3 x) (* 3 x)) (* 3 x))) (* (cbrt (* (log (cbrt y)) (* 3 x))) (cbrt (* (log (cbrt y)) (* 3 x)))) (cbrt (* (log (cbrt y)) (* 3 x))) (* (* (* (log (cbrt y)) (* 3 x)) (* (log (cbrt y)) (* 3 x))) (* (log (cbrt y)) (* 3 x))) (sqrt (* (log (cbrt y)) (* 3 x))) (sqrt (* (log (cbrt y)) (* 3 x))) (* (log (cbrt y)) 3) (* (log y) (* 3 x)) (* (log (cbrt y)) (* 3 x)) (* (cbrt (log (cbrt y))) (* 3 x)) (* (sqrt (log (cbrt y))) (* 3 x)) (* (log (cbrt y)) (* 3 x)) (/ (/ (exp (* (log (cbrt y)) (* 3 x))) (exp y)) (exp z)) (/ (exp (- (* (log (cbrt y)) (* 3 x)) y)) (exp z)) (log (- (- (* (log (cbrt y)) (* 3 x)) y) z)) (exp (- (- (* (log (cbrt y)) (* 3 x)) y) z)) (* (cbrt (- (- (* (log (cbrt y)) (* 3 x)) y) z)) (cbrt (- (- (* (log (cbrt y)) (* 3 x)) y) z))) (cbrt (- (- (* (log (cbrt y)) (* 3 x)) y) z)) (* (* (- (- (* (log (cbrt y)) (* 3 x)) y) z) (- (- (* (log (cbrt y)) (* 3 x)) y) z)) (- (- (* (log (cbrt y)) (* 3 x)) y) z)) (sqrt (- (- (* (log (cbrt y)) (* 3 x)) y) z)) (sqrt (- (- (* (log (cbrt y)) (* 3 x)) y) z)) (- (pow (- (* (log (cbrt y)) (* 3 x)) y) 3) (pow z 3)) (+ (* (- (* (log (cbrt y)) (* 3 x)) y) (- (* (log (cbrt y)) (* 3 x)) y)) (+ (* z z) (* (- (* (log (cbrt y)) (* 3 x)) y) z))) (- z) (- (* (- (* (log (cbrt y)) (* 3 x)) y) (- (* (log (cbrt y)) (* 3 x)) y)) (* z z)) (+ (- (* (log (cbrt y)) (* 3 x)) y) z) (+ (sqrt (- (* (log (cbrt y)) (* 3 x)) y)) (sqrt z)) (- (sqrt (- (* (log (cbrt y)) (* 3 x)) y)) (sqrt z)) (- (- (* (log (cbrt y)) (* 3 x)) y) z) (- (- y) z) (- (- y) z) (+ y z) (- z) (log (cbrt (* (cbrt y) (cbrt y)))) (log (cbrt (cbrt y))) (log (cbrt (sqrt y))) (log (cbrt (sqrt y))) (log (cbrt 1)) (log (cbrt y)) (log (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (log (cbrt (cbrt y))) (log (sqrt (cbrt y))) (log (sqrt (cbrt y))) (log 1) (log (cbrt y)) (log y) (log (cbrt y)) (log (log (cbrt y))) (exp (log (cbrt y))) (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y)))) (cbrt (log (cbrt y))) (* (* (log (cbrt y)) (log (cbrt y))) (log (cbrt y))) (sqrt (log (cbrt y))) (sqrt (log (cbrt y))) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (* 3 (* x (log (pow y 1/3)))) (* 3 (* x (log (pow (/ 1 y) -1/3)))) (* 3 (* x (log (* (pow (* -1 y) 1/3) (cbrt -1))))) (- (* 3 (* x (log (pow y 1/3)))) (+ z y)) (- (* 3 (* x (log (pow (/ 1 y) -1/3)))) (+ z y)) (- (* 3 (* x (log (* (pow (* -1 y) 1/3) (cbrt -1))))) (+ z y)) (log (pow y 1/3)) (log (pow (/ 1 y) -1/3)) (log (* (pow (* -1 y) 1/3) (cbrt -1))) 4.951 * * [simplify]: iteration 0 : 116 enodes (cost 736 ) 4.977 * * [simplify]: iteration 1 : 248 enodes (cost 700 ) 5.034 * * [simplify]: iteration 2 : 719 enodes (cost 587 ) 5.293 * * [simplify]: iteration 3 : 3095 enodes (cost 561 ) 6.281 * * [simplify]: iteration done : 5000 enodes (cost 561 ) 6.282 * [simplify]: Simplified to: (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)) (* x (* 1 (log y))) (* x (* 1 (log y))) (log (* x (* 1 (log y)))) (log (* x (* 1 (log y)))) (log (* x (* 1 (log y)))) (pow y x) (pow (* x (* 1 (log y))) 3) (pow (* x (* 1 (log y))) 3) (* (cbrt (* x (* 1 (log y)))) (cbrt (* x (* 1 (log y))))) (cbrt (* x (* 1 (log y)))) (pow (* x (* 1 (log y))) 3) (sqrt (* x (* 1 (log y)))) (sqrt (* x (* 1 (log y)))) (* 1 (log y)) (* x (* (log y) 3)) (* x (* 1 (log y))) (* (cbrt (log (cbrt y))) (* 3 x)) (* (sqrt (log (cbrt y))) (* 3 x)) (* x (* 1 (log y))) (/ (pow y x) (exp (+ y z))) (/ (pow y x) (exp (+ y z))) (log (- (* x (* 1 (log y))) (+ y z))) (/ (pow y x) (exp (+ y z))) (* (cbrt (- (* x (* 1 (log y))) (+ y z))) (cbrt (- (* x (* 1 (log y))) (+ y z)))) (cbrt (- (* x (* 1 (log y))) (+ y z))) (pow (- (* x (* 1 (log y))) (+ y z)) 3) (sqrt (- (* x (* 1 (log y))) (+ y z))) (sqrt (- (* x (* 1 (log y))) (+ y z))) (- (pow (- (* x (* 1 (log y))) y) 3) (pow z 3)) (+ (* (- (* x (* 1 (log y))) y) (+ z (- (* x (* 1 (log y))) y))) (* z z)) (- z) (* (- (* x (* 1 (log y))) (+ y z)) (+ z (- (* x (* 1 (log y))) y))) (+ z (- (* x (* 1 (log y))) y)) (+ (sqrt z) (sqrt (- (* x (* 1 (log y))) y))) (- (sqrt (- (* x (* 1 (log y))) y)) (sqrt z)) (- (* x (* 1 (log y))) (+ y z)) (- (+ y z)) (- (+ y z)) (+ y z) (- z) (log (cbrt (pow y 2/3))) (log (cbrt (cbrt y))) (log (cbrt (sqrt y))) (log (cbrt (sqrt y))) 0 (log (cbrt y)) (* 2 (log (cbrt (cbrt y)))) (log (cbrt (cbrt y))) (log (sqrt (cbrt y))) (log (sqrt (cbrt y))) 0 (log (cbrt y)) (log y) (log (cbrt y)) (log (log (cbrt y))) (cbrt y) (* (cbrt (log (cbrt y))) (cbrt (log (cbrt y)))) (cbrt (log (cbrt y))) (pow (log (cbrt y)) 3) (sqrt (log (cbrt y))) (sqrt (log (cbrt y))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) (* x (* 1 (log y))) (* -1 (* (- (log y)) x)) (* (* x (log (* (cbrt (- y)) (cbrt -1)))) 3) (- (* x (* 1 (log y))) (+ y z)) (- (* -1 (* (- (log y)) x)) (+ y z)) (- (* (* x (log (* (cbrt (- y)) (cbrt -1)))) 3) (+ y z)) (log (cbrt y)) (* (- (log y)) -1/3) (log (* (cbrt (- y)) (cbrt -1))) 6.283 * * * [progress]: adding candidates to table 6.505 * * [progress]: iteration 4 / 4 6.505 * * * [progress]: picking best candidate 6.515 * * * * [pick]: Picked # 6.515 * * * [progress]: localizing error 6.535 * * * [progress]: generating rewritten candidates 6.535 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2 2 1) 6.536 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 2 2 1) 6.536 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 2 1 1) 6.537 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 2 2 1 1) 6.538 * * * [progress]: generating series expansions 6.538 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2 2 1) 6.538 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0 6.538 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 6.538 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 6.538 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 6.538 * [taylor]: Taking taylor expansion of 1/9 in y 6.538 * [taylor]: Taking taylor expansion of (log y) in y 6.538 * [taylor]: Taking taylor expansion of y in y 6.539 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 6.539 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 6.539 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 6.539 * [taylor]: Taking taylor expansion of 1/9 in y 6.539 * [taylor]: Taking taylor expansion of (log y) in y 6.539 * [taylor]: Taking taylor expansion of y in y 6.593 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0 6.593 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 6.593 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 6.593 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 6.593 * [taylor]: Taking taylor expansion of 1/9 in y 6.593 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.593 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.593 * [taylor]: Taking taylor expansion of y in y 6.594 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 6.594 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 6.594 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 6.594 * [taylor]: Taking taylor expansion of 1/9 in y 6.594 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.594 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.594 * [taylor]: Taking taylor expansion of y in y 6.645 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0 6.645 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 6.645 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 6.645 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 6.645 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 6.645 * [taylor]: Taking taylor expansion of 1/3 in y 6.645 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 6.645 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.645 * [taylor]: Taking taylor expansion of -1 in y 6.649 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 6.649 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 6.649 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 6.649 * [taylor]: Taking taylor expansion of 1/9 in y 6.649 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.649 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.649 * [taylor]: Taking taylor expansion of y in y 6.650 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 6.650 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 6.650 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 6.650 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 6.650 * [taylor]: Taking taylor expansion of 1/3 in y 6.650 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 6.650 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.650 * [taylor]: Taking taylor expansion of -1 in y 6.659 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 6.659 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 6.659 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 6.659 * [taylor]: Taking taylor expansion of 1/9 in y 6.659 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.659 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.659 * [taylor]: Taking taylor expansion of y in y 6.782 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 2 2 1) 6.782 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0 6.782 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 6.782 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 6.782 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 6.782 * [taylor]: Taking taylor expansion of 1/9 in y 6.783 * [taylor]: Taking taylor expansion of (log y) in y 6.783 * [taylor]: Taking taylor expansion of y in y 6.783 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 6.783 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 6.783 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 6.783 * [taylor]: Taking taylor expansion of 1/9 in y 6.783 * [taylor]: Taking taylor expansion of (log y) in y 6.783 * [taylor]: Taking taylor expansion of y in y 6.837 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0 6.837 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 6.837 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 6.837 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 6.837 * [taylor]: Taking taylor expansion of 1/9 in y 6.837 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.837 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.837 * [taylor]: Taking taylor expansion of y in y 6.838 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 6.838 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 6.838 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 6.838 * [taylor]: Taking taylor expansion of 1/9 in y 6.838 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.838 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.838 * [taylor]: Taking taylor expansion of y in y 6.895 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0 6.895 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 6.895 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 6.895 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 6.895 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 6.895 * [taylor]: Taking taylor expansion of 1/3 in y 6.895 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 6.895 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.895 * [taylor]: Taking taylor expansion of -1 in y 6.899 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 6.899 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 6.899 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 6.899 * [taylor]: Taking taylor expansion of 1/9 in y 6.899 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.899 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.899 * [taylor]: Taking taylor expansion of y in y 6.900 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 6.900 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 6.900 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 6.900 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 6.900 * [taylor]: Taking taylor expansion of 1/3 in y 6.900 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 6.900 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.900 * [taylor]: Taking taylor expansion of -1 in y 6.903 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 6.903 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 6.903 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 6.904 * [taylor]: Taking taylor expansion of 1/9 in y 6.904 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.904 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.904 * [taylor]: Taking taylor expansion of y in y 7.024 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 2 1 1) 7.024 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 7.024 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 7.024 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 7.024 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 7.024 * [taylor]: Taking taylor expansion of 1/3 in y 7.024 * [taylor]: Taking taylor expansion of (log y) in y 7.024 * [taylor]: Taking taylor expansion of y in y 7.025 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 7.025 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 7.025 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 7.025 * [taylor]: Taking taylor expansion of 1/3 in y 7.025 * [taylor]: Taking taylor expansion of (log y) in y 7.025 * [taylor]: Taking taylor expansion of y in y 7.078 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 7.078 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.078 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.078 * [taylor]: Taking taylor expansion of 1/3 in y 7.078 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.078 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.078 * [taylor]: Taking taylor expansion of y in y 7.079 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.079 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.079 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.079 * [taylor]: Taking taylor expansion of 1/3 in y 7.079 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.079 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.079 * [taylor]: Taking taylor expansion of y in y 7.135 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 7.135 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 7.135 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.135 * [taylor]: Taking taylor expansion of -1 in y 7.136 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.136 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.136 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.136 * [taylor]: Taking taylor expansion of 1/3 in y 7.136 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.136 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.136 * [taylor]: Taking taylor expansion of y in y 7.137 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 7.137 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.137 * [taylor]: Taking taylor expansion of -1 in y 7.138 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.138 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.138 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.138 * [taylor]: Taking taylor expansion of 1/3 in y 7.138 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.138 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.138 * [taylor]: Taking taylor expansion of y in y 7.206 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 2 2 1 1) 7.207 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 7.207 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 7.207 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 7.207 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 7.207 * [taylor]: Taking taylor expansion of 1/3 in y 7.207 * [taylor]: Taking taylor expansion of (log y) in y 7.207 * [taylor]: Taking taylor expansion of y in y 7.207 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 7.207 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 7.207 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 7.207 * [taylor]: Taking taylor expansion of 1/3 in y 7.207 * [taylor]: Taking taylor expansion of (log y) in y 7.207 * [taylor]: Taking taylor expansion of y in y 7.256 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 7.256 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.256 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.256 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.256 * [taylor]: Taking taylor expansion of 1/3 in y 7.256 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.256 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.256 * [taylor]: Taking taylor expansion of y in y 7.257 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.257 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.257 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.257 * [taylor]: Taking taylor expansion of 1/3 in y 7.257 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.257 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.257 * [taylor]: Taking taylor expansion of y in y 7.314 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 7.314 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 7.314 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.314 * [taylor]: Taking taylor expansion of -1 in y 7.314 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.314 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.314 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.314 * [taylor]: Taking taylor expansion of 1/3 in y 7.314 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.314 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.315 * [taylor]: Taking taylor expansion of y in y 7.315 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 7.315 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.315 * [taylor]: Taking taylor expansion of -1 in y 7.316 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.316 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.316 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.316 * [taylor]: Taking taylor expansion of 1/3 in y 7.316 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.316 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.316 * [taylor]: Taking taylor expansion of y in y 7.387 * * * [progress]: simplifying candidates 7.388 * [simplify]: Simplifying using # : (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt 1)) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt 1) (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt 1)) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt 1) (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (pow 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)) (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)) 7.390 * * [simplify]: iteration 0 : 42 enodes (cost 346 ) 7.396 * * [simplify]: iteration 1 : 75 enodes (cost 328 ) 7.409 * * [simplify]: iteration 2 : 147 enodes (cost 300 ) 7.446 * * [simplify]: iteration 3 : 338 enodes (cost 288 ) 7.571 * * [simplify]: iteration 4 : 1136 enodes (cost 288 ) 7.928 * * [simplify]: iteration done : 5001 enodes (cost 288 ) 7.928 * [simplify]: Simplified to: (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (pow y 2/3))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) 1 (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) 1 (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt y) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (pow y 2/3))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) 1 (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) 1 (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt y) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (- y) 1/9) (cbrt (cbrt -1))) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (- y) 1/9) (cbrt (cbrt -1))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt (- y)) (cbrt -1)) 7.929 * * * [progress]: adding candidates to table 8.210 * [progress]: [Phase 3 of 3] Extracting. 8.210 * * [regime]: Finding splitpoints for: (# # # # #) 8.212 * * * [regime-changes]: Trying 8 branch expressions: ((log t) (- (* x (log y)) y) (- (- (* x (log y)) y) z) (+ (- (- (* x (log y)) y) z) (log t)) t z y x) 8.212 * * * * [regimes]: Trying to branch on (log t) from (# # # # #) 8.244 * * * * [regimes]: Trying to branch on (- (* x (log y)) y) from (# # # # #) 8.273 * * * * [regimes]: Trying to branch on (- (- (* x (log y)) y) z) from (# # # # #) 8.306 * * * * [regimes]: Trying to branch on (+ (- (- (* x (log y)) y) z) (log t)) from (# # # # #) 8.342 * * * * [regimes]: Trying to branch on t from (# # # # #) 8.368 * * * * [regimes]: Trying to branch on z from (# # # # #) 8.398 * * * * [regimes]: Trying to branch on y from (# # # # #) 8.427 * * * * [regimes]: Trying to branch on x from (# # # # #) 8.452 * * * [regime]: Found split indices: #