28.119 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.067 * * * [progress]: [2/2] Setting up program. 0.070 * [progress]: [Phase 2 of 3] Improving. 0.071 * [simplify]: Simplifying using # : (+ (- (- (* x (log y)) y) z) (log t)) 0.072 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 0.073 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 0.075 * * [simplify]: iteration 2 : 48 enodes (cost 11 ) 0.082 * * [simplify]: iteration 3 : 112 enodes (cost 11 ) 0.103 * * [simplify]: iteration 4 : 207 enodes (cost 11 ) 0.134 * * [simplify]: iteration 5 : 273 enodes (cost 11 ) 0.176 * * [simplify]: iteration 6 : 383 enodes (cost 11 ) 0.255 * * [simplify]: iteration 7 : 546 enodes (cost 11 ) 0.366 * * [simplify]: iteration 8 : 589 enodes (cost 11 ) 0.489 * * [simplify]: iteration 9 : 591 enodes (cost 11 ) 0.605 * * [simplify]: iteration done : 591 enodes (cost 11 ) 0.605 * [simplify]: Simplified to: (+ (- (- (* x (log y)) y) z) (log t)) 0.606 * * [progress]: iteration 1 / 4 0.606 * * * [progress]: picking best candidate 0.608 * * * * [pick]: Picked # 0.608 * * * [progress]: localizing error 0.620 * * * [progress]: generating rewritten candidates 0.620 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1) 0.624 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 0.645 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 0.649 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 0.724 * * * [progress]: generating series expansions 0.724 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1) 0.724 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0 0.725 * [taylor]: Taking taylor expansion of (* x (log y)) in y 0.725 * [taylor]: Taking taylor expansion of x in y 0.725 * [taylor]: Taking taylor expansion of (log y) in y 0.725 * [taylor]: Taking taylor expansion of y in y 0.725 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.725 * [taylor]: Taking taylor expansion of x in x 0.725 * [taylor]: Taking taylor expansion of (log y) in x 0.725 * [taylor]: Taking taylor expansion of y in x 0.725 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.725 * [taylor]: Taking taylor expansion of x in x 0.725 * [taylor]: Taking taylor expansion of (log y) in x 0.725 * [taylor]: Taking taylor expansion of y in x 0.725 * [taylor]: Taking taylor expansion of 0 in y 0.726 * [taylor]: Taking taylor expansion of (log y) in y 0.726 * [taylor]: Taking taylor expansion of y in y 0.729 * [taylor]: Taking taylor expansion of 0 in y 0.732 * [taylor]: Taking taylor expansion of 0 in y 0.732 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0 0.732 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 0.732 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.732 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.732 * [taylor]: Taking taylor expansion of y in y 0.733 * [taylor]: Taking taylor expansion of x in y 0.733 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.733 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.733 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.733 * [taylor]: Taking taylor expansion of y in x 0.733 * [taylor]: Taking taylor expansion of x in x 0.734 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.734 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.734 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.734 * [taylor]: Taking taylor expansion of y in x 0.734 * [taylor]: Taking taylor expansion of x in x 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 y in y 0.736 * [taylor]: Taking taylor expansion of 0 in y 0.739 * [taylor]: Taking taylor expansion of 0 in y 0.747 * [taylor]: Taking taylor expansion of 0 in y 0.747 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0 0.747 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y 0.747 * [taylor]: Taking taylor expansion of -1 in y 0.747 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 0.747 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.747 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.747 * [taylor]: Taking taylor expansion of -1 in y 0.747 * [taylor]: Taking taylor expansion of y in y 0.748 * [taylor]: Taking taylor expansion of x in y 0.749 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 0.749 * [taylor]: Taking taylor expansion of -1 in x 0.749 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.749 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.749 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.749 * [taylor]: Taking taylor expansion of -1 in x 0.749 * [taylor]: Taking taylor expansion of y in x 0.749 * [taylor]: Taking taylor expansion of x in x 0.749 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 0.750 * [taylor]: Taking taylor expansion of -1 in x 0.750 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.750 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.750 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.750 * [taylor]: Taking taylor expansion of -1 in x 0.750 * [taylor]: Taking taylor expansion of y in x 0.750 * [taylor]: Taking taylor expansion of x in x 0.750 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y 0.750 * [taylor]: Taking taylor expansion of -1 in y 0.750 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.750 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.750 * [taylor]: Taking taylor expansion of -1 in y 0.750 * [taylor]: Taking taylor expansion of y in y 0.753 * [taylor]: Taking taylor expansion of 0 in y 0.759 * [taylor]: Taking taylor expansion of 0 in y 0.766 * [taylor]: Taking taylor expansion of 0 in y 0.767 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 0.767 * [approximate]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in (x y z) around 0 0.767 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in z 0.767 * [taylor]: Taking taylor expansion of (* x (log y)) in z 0.767 * [taylor]: Taking taylor expansion of x in z 0.767 * [taylor]: Taking taylor expansion of (log y) in z 0.767 * [taylor]: Taking taylor expansion of y in z 0.767 * [taylor]: Taking taylor expansion of (+ z y) in z 0.767 * [taylor]: Taking taylor expansion of z in z 0.767 * [taylor]: Taking taylor expansion of y in z 0.767 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in y 0.767 * [taylor]: Taking taylor expansion of (* x (log y)) in y 0.767 * [taylor]: Taking taylor expansion of x in y 0.767 * [taylor]: Taking taylor expansion of (log y) in y 0.767 * [taylor]: Taking taylor expansion of y in y 0.768 * [taylor]: Taking taylor expansion of (+ z y) in y 0.768 * [taylor]: Taking taylor expansion of z in y 0.768 * [taylor]: Taking taylor expansion of y in y 0.768 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in x 0.768 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.768 * [taylor]: Taking taylor expansion of x in x 0.768 * [taylor]: Taking taylor expansion of (log y) in x 0.768 * [taylor]: Taking taylor expansion of y in x 0.768 * [taylor]: Taking taylor expansion of (+ z y) in x 0.768 * [taylor]: Taking taylor expansion of z in x 0.768 * [taylor]: Taking taylor expansion of y in x 0.768 * [taylor]: Taking taylor expansion of (- (* x (log y)) (+ z y)) in x 0.768 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.768 * [taylor]: Taking taylor expansion of x in x 0.768 * [taylor]: Taking taylor expansion of (log y) in x 0.768 * [taylor]: Taking taylor expansion of y in x 0.768 * [taylor]: Taking taylor expansion of (+ z y) in x 0.768 * [taylor]: Taking taylor expansion of z in x 0.768 * [taylor]: Taking taylor expansion of y in x 0.768 * [taylor]: Taking taylor expansion of (- (+ z y)) in y 0.768 * [taylor]: Taking taylor expansion of (+ z y) in y 0.768 * [taylor]: Taking taylor expansion of z in y 0.768 * [taylor]: Taking taylor expansion of y in y 0.768 * [taylor]: Taking taylor expansion of (- z) in z 0.768 * [taylor]: Taking taylor expansion of z in z 0.770 * [taylor]: Taking taylor expansion of (log y) in y 0.770 * [taylor]: Taking taylor expansion of y in y 0.770 * [taylor]: Taking taylor expansion of (log y) in z 0.770 * [taylor]: Taking taylor expansion of y in z 0.771 * [taylor]: Taking taylor expansion of -1 in z 0.772 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in (x y z) around 0 0.772 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in z 0.772 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z 0.772 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 0.772 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.772 * [taylor]: Taking taylor expansion of y in z 0.772 * [taylor]: Taking taylor expansion of x in z 0.772 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 0.772 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.772 * [taylor]: Taking taylor expansion of z in z 0.772 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.772 * [taylor]: Taking taylor expansion of y in z 0.772 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in y 0.772 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 0.772 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.772 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.772 * [taylor]: Taking taylor expansion of y in y 0.773 * [taylor]: Taking taylor expansion of x in y 0.773 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 0.774 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.774 * [taylor]: Taking taylor expansion of z in y 0.774 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.774 * [taylor]: Taking taylor expansion of y in y 0.774 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in x 0.774 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.774 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.774 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.774 * [taylor]: Taking taylor expansion of y in x 0.774 * [taylor]: Taking taylor expansion of x in x 0.774 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 0.774 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.774 * [taylor]: Taking taylor expansion of z in x 0.774 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.774 * [taylor]: Taking taylor expansion of y in x 0.774 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (+ (/ 1 z) (/ 1 y))) in x 0.774 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.774 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.774 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.774 * [taylor]: Taking taylor expansion of y in x 0.774 * [taylor]: Taking taylor expansion of x in x 0.774 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 0.774 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.774 * [taylor]: Taking taylor expansion of z in x 0.774 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.774 * [taylor]: Taking taylor expansion of y in x 0.775 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.775 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.775 * [taylor]: Taking taylor expansion of y in y 0.776 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y))) in y 0.777 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 0.777 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.777 * [taylor]: Taking taylor expansion of z in y 0.777 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.777 * [taylor]: Taking taylor expansion of y in y 0.777 * [taylor]: Taking taylor expansion of -1 in z 0.778 * [taylor]: Taking taylor expansion of (- (log y)) in z 0.778 * [taylor]: Taking taylor expansion of (log y) in z 0.778 * [taylor]: Taking taylor expansion of y in z 0.780 * [taylor]: Taking taylor expansion of 0 in y 0.781 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.781 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.781 * [taylor]: Taking taylor expansion of z in z 0.783 * [taylor]: Taking taylor expansion of 0 in z 0.783 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in (x y z) around 0 0.783 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in z 0.783 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 0.783 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.784 * [taylor]: Taking taylor expansion of z in z 0.784 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.784 * [taylor]: Taking taylor expansion of y in z 0.784 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z 0.784 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 0.784 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.784 * [taylor]: Taking taylor expansion of -1 in z 0.784 * [taylor]: Taking taylor expansion of y in z 0.784 * [taylor]: Taking taylor expansion of x in z 0.784 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in y 0.784 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 0.784 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.784 * [taylor]: Taking taylor expansion of z in y 0.784 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.784 * [taylor]: Taking taylor expansion of y in y 0.784 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 0.784 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.784 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.784 * [taylor]: Taking taylor expansion of -1 in y 0.784 * [taylor]: Taking taylor expansion of y in y 0.785 * [taylor]: Taking taylor expansion of x in y 0.786 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in x 0.786 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 0.786 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.786 * [taylor]: Taking taylor expansion of z in x 0.786 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.786 * [taylor]: Taking taylor expansion of y in x 0.786 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.786 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.787 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.787 * [taylor]: Taking taylor expansion of -1 in x 0.787 * [taylor]: Taking taylor expansion of y in x 0.787 * [taylor]: Taking taylor expansion of x in x 0.787 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (/ (log (/ -1 y)) x)) in x 0.787 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 0.787 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.787 * [taylor]: Taking taylor expansion of z in x 0.787 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.787 * [taylor]: Taking taylor expansion of y in x 0.787 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.787 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.787 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.787 * [taylor]: Taking taylor expansion of -1 in x 0.787 * [taylor]: Taking taylor expansion of y in x 0.787 * [taylor]: Taking taylor expansion of x in x 0.787 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 0.787 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.787 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.787 * [taylor]: Taking taylor expansion of -1 in y 0.787 * [taylor]: Taking taylor expansion of y in y 0.789 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 0.789 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.789 * [taylor]: Taking taylor expansion of y in y 0.790 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.790 * [taylor]: Taking taylor expansion of z in y 0.790 * [taylor]: Taking taylor expansion of 1 in z 0.791 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 0.791 * [taylor]: Taking taylor expansion of (log y) in z 0.791 * [taylor]: Taking taylor expansion of y in z 0.791 * [taylor]: Taking taylor expansion of (log -1) in z 0.791 * [taylor]: Taking taylor expansion of -1 in z 0.794 * [taylor]: Taking taylor expansion of 0 in y 0.795 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.795 * [taylor]: Taking taylor expansion of z in z 0.796 * [taylor]: Taking taylor expansion of 0 in z 0.799 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 0.799 * [approximate]: Taking taylor expansion of (- (* x (log y)) y) in (x y) around 0 0.799 * [taylor]: Taking taylor expansion of (- (* x (log y)) y) in y 0.799 * [taylor]: Taking taylor expansion of (* x (log y)) in y 0.799 * [taylor]: Taking taylor expansion of x in y 0.799 * [taylor]: Taking taylor expansion of (log y) in y 0.799 * [taylor]: Taking taylor expansion of y in y 0.799 * [taylor]: Taking taylor expansion of y in y 0.799 * [taylor]: Taking taylor expansion of (- (* x (log y)) y) in x 0.799 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.799 * [taylor]: Taking taylor expansion of x in x 0.799 * [taylor]: Taking taylor expansion of (log y) in x 0.799 * [taylor]: Taking taylor expansion of y in x 0.799 * [taylor]: Taking taylor expansion of y in x 0.799 * [taylor]: Taking taylor expansion of (- (* x (log y)) y) in x 0.799 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.799 * [taylor]: Taking taylor expansion of x in x 0.799 * [taylor]: Taking taylor expansion of (log y) in x 0.799 * [taylor]: Taking taylor expansion of y in x 0.799 * [taylor]: Taking taylor expansion of y in x 0.799 * [taylor]: Taking taylor expansion of (- y) in y 0.799 * [taylor]: Taking taylor expansion of y in y 0.801 * [taylor]: Taking taylor expansion of (log y) in y 0.801 * [taylor]: Taking taylor expansion of y in y 0.803 * [taylor]: Taking taylor expansion of 0 in y 0.807 * [taylor]: Taking taylor expansion of 0 in y 0.809 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 y)) in (x y) around 0 0.809 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 y)) in y 0.809 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 0.809 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.809 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.809 * [taylor]: Taking taylor expansion of y in y 0.809 * [taylor]: Taking taylor expansion of x in y 0.810 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.810 * [taylor]: Taking taylor expansion of y in y 0.810 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 y)) in x 0.810 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.810 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.810 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.810 * [taylor]: Taking taylor expansion of y in x 0.811 * [taylor]: Taking taylor expansion of x in x 0.811 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.811 * [taylor]: Taking taylor expansion of y in x 0.811 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 y)) in x 0.811 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.811 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.811 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.811 * [taylor]: Taking taylor expansion of y in x 0.811 * [taylor]: Taking taylor expansion of x in x 0.811 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.811 * [taylor]: Taking taylor expansion of y in x 0.811 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.811 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.811 * [taylor]: Taking taylor expansion of y in y 0.813 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 0.813 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.813 * [taylor]: Taking taylor expansion of y in y 0.817 * [taylor]: Taking taylor expansion of 0 in y 0.822 * [taylor]: Taking taylor expansion of 0 in y 0.830 * [taylor]: Taking taylor expansion of 0 in y 0.830 * [approximate]: Taking taylor expansion of (- (/ 1 y) (/ (log (/ -1 y)) x)) in (x y) around 0 0.830 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ (log (/ -1 y)) x)) in y 0.830 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.831 * [taylor]: Taking taylor expansion of y in y 0.831 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 0.831 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.831 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.831 * [taylor]: Taking taylor expansion of -1 in y 0.831 * [taylor]: Taking taylor expansion of y in y 0.831 * [taylor]: Taking taylor expansion of x in y 0.833 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ (log (/ -1 y)) x)) in x 0.833 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.833 * [taylor]: Taking taylor expansion of y in x 0.833 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.833 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.833 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.833 * [taylor]: Taking taylor expansion of -1 in x 0.833 * [taylor]: Taking taylor expansion of y in x 0.833 * [taylor]: Taking taylor expansion of x in x 0.833 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ (log (/ -1 y)) x)) in x 0.833 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.833 * [taylor]: Taking taylor expansion of y in x 0.833 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.833 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.833 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.833 * [taylor]: Taking taylor expansion of -1 in x 0.833 * [taylor]: Taking taylor expansion of y in x 0.833 * [taylor]: Taking taylor expansion of x in x 0.833 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 0.833 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.833 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.833 * [taylor]: Taking taylor expansion of -1 in y 0.833 * [taylor]: Taking taylor expansion of y in y 0.838 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.838 * [taylor]: Taking taylor expansion of y in y 0.842 * [taylor]: Taking taylor expansion of 0 in y 0.848 * [taylor]: Taking taylor expansion of 0 in y 0.855 * [taylor]: Taking taylor expansion of 0 in y 0.856 * * * * [progress]: [ 4 / 4 ] generating series at (2) 0.856 * [approximate]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in (x y z t) around 0 0.856 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in t 0.856 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in t 0.856 * [taylor]: Taking taylor expansion of (* x (log y)) in t 0.856 * [taylor]: Taking taylor expansion of x in t 0.856 * [taylor]: Taking taylor expansion of (log y) in t 0.856 * [taylor]: Taking taylor expansion of y in t 0.856 * [taylor]: Taking taylor expansion of (log t) in t 0.856 * [taylor]: Taking taylor expansion of t in t 0.857 * [taylor]: Taking taylor expansion of (+ z y) in t 0.857 * [taylor]: Taking taylor expansion of z in t 0.857 * [taylor]: Taking taylor expansion of y in t 0.857 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in z 0.857 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in z 0.857 * [taylor]: Taking taylor expansion of (* x (log y)) in z 0.857 * [taylor]: Taking taylor expansion of x in z 0.857 * [taylor]: Taking taylor expansion of (log y) in z 0.857 * [taylor]: Taking taylor expansion of y in z 0.857 * [taylor]: Taking taylor expansion of (log t) in z 0.857 * [taylor]: Taking taylor expansion of t in z 0.857 * [taylor]: Taking taylor expansion of (+ z y) in z 0.857 * [taylor]: Taking taylor expansion of z in z 0.857 * [taylor]: Taking taylor expansion of y in z 0.857 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in y 0.857 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in y 0.857 * [taylor]: Taking taylor expansion of (* x (log y)) in y 0.857 * [taylor]: Taking taylor expansion of x in y 0.857 * [taylor]: Taking taylor expansion of (log y) in y 0.857 * [taylor]: Taking taylor expansion of y in y 0.857 * [taylor]: Taking taylor expansion of (log t) in y 0.857 * [taylor]: Taking taylor expansion of t in y 0.857 * [taylor]: Taking taylor expansion of (+ z y) in y 0.857 * [taylor]: Taking taylor expansion of z in y 0.857 * [taylor]: Taking taylor expansion of y in y 0.857 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in x 0.857 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in x 0.857 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.857 * [taylor]: Taking taylor expansion of x in x 0.858 * [taylor]: Taking taylor expansion of (log y) in x 0.858 * [taylor]: Taking taylor expansion of y in x 0.858 * [taylor]: Taking taylor expansion of (log t) in x 0.858 * [taylor]: Taking taylor expansion of t in x 0.858 * [taylor]: Taking taylor expansion of (+ z y) in x 0.858 * [taylor]: Taking taylor expansion of z in x 0.858 * [taylor]: Taking taylor expansion of y in x 0.858 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in x 0.858 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in x 0.858 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.858 * [taylor]: Taking taylor expansion of x in x 0.858 * [taylor]: Taking taylor expansion of (log y) in x 0.858 * [taylor]: Taking taylor expansion of y in x 0.858 * [taylor]: Taking taylor expansion of (log t) in x 0.858 * [taylor]: Taking taylor expansion of t in x 0.858 * [taylor]: Taking taylor expansion of (+ z y) in x 0.858 * [taylor]: Taking taylor expansion of z in x 0.858 * [taylor]: Taking taylor expansion of y in x 0.858 * [taylor]: Taking taylor expansion of (- (log t) (+ z y)) in y 0.858 * [taylor]: Taking taylor expansion of (log t) in y 0.858 * [taylor]: Taking taylor expansion of t in y 0.858 * [taylor]: Taking taylor expansion of (+ z y) in y 0.858 * [taylor]: Taking taylor expansion of z in y 0.858 * [taylor]: Taking taylor expansion of y in y 0.858 * [taylor]: Taking taylor expansion of (- (log t) z) in z 0.858 * [taylor]: Taking taylor expansion of (log t) in z 0.858 * [taylor]: Taking taylor expansion of t in z 0.858 * [taylor]: Taking taylor expansion of z in z 0.859 * [taylor]: Taking taylor expansion of (log t) in t 0.859 * [taylor]: Taking taylor expansion of t in t 0.861 * [taylor]: Taking taylor expansion of (log y) in y 0.861 * [taylor]: Taking taylor expansion of y in y 0.862 * [taylor]: Taking taylor expansion of (log y) in z 0.862 * [taylor]: Taking taylor expansion of y in z 0.862 * [taylor]: Taking taylor expansion of (log y) in t 0.862 * [taylor]: Taking taylor expansion of y in t 0.863 * [taylor]: Taking taylor expansion of -1 in z 0.863 * [taylor]: Taking taylor expansion of -1 in t 0.863 * [approximate]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in (x y z t) around 0 0.863 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in t 0.863 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in t 0.863 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 0.863 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.863 * [taylor]: Taking taylor expansion of t in t 0.864 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in t 0.864 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in t 0.864 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.864 * [taylor]: Taking taylor expansion of y in t 0.864 * [taylor]: Taking taylor expansion of x in t 0.864 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in t 0.864 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.864 * [taylor]: Taking taylor expansion of y in t 0.864 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.864 * [taylor]: Taking taylor expansion of z in t 0.864 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in z 0.864 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in z 0.864 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 0.864 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.864 * [taylor]: Taking taylor expansion of t in z 0.864 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z 0.864 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 0.864 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.864 * [taylor]: Taking taylor expansion of y in z 0.865 * [taylor]: Taking taylor expansion of x in z 0.865 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z 0.865 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.865 * [taylor]: Taking taylor expansion of y in z 0.865 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.865 * [taylor]: Taking taylor expansion of z in z 0.865 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in y 0.865 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in y 0.865 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y 0.865 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.865 * [taylor]: Taking taylor expansion of t in y 0.865 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 0.865 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.865 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.865 * [taylor]: Taking taylor expansion of y in y 0.866 * [taylor]: Taking taylor expansion of x in y 0.866 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 0.866 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.866 * [taylor]: Taking taylor expansion of y in y 0.867 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.867 * [taylor]: Taking taylor expansion of z in y 0.867 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in x 0.867 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in x 0.867 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x 0.867 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.867 * [taylor]: Taking taylor expansion of t in x 0.867 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.867 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.867 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.867 * [taylor]: Taking taylor expansion of y in x 0.867 * [taylor]: Taking taylor expansion of x in x 0.867 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 0.867 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.867 * [taylor]: Taking taylor expansion of y in x 0.867 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.867 * [taylor]: Taking taylor expansion of z in x 0.867 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in x 0.867 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in x 0.867 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x 0.867 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.867 * [taylor]: Taking taylor expansion of t in x 0.867 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.867 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.867 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.867 * [taylor]: Taking taylor expansion of y in x 0.868 * [taylor]: Taking taylor expansion of x in x 0.868 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 0.868 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.868 * [taylor]: Taking taylor expansion of y in x 0.868 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.868 * [taylor]: Taking taylor expansion of z in x 0.868 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.868 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.868 * [taylor]: Taking taylor expansion of y in y 0.870 * [taylor]: Taking taylor expansion of (- (log (/ 1 t)) (+ (/ 1 y) (/ 1 z))) in y 0.870 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y 0.870 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.870 * [taylor]: Taking taylor expansion of t in y 0.870 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 0.870 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.870 * [taylor]: Taking taylor expansion of y in y 0.870 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.870 * [taylor]: Taking taylor expansion of z in y 0.871 * [taylor]: Taking taylor expansion of -1 in z 0.871 * [taylor]: Taking taylor expansion of (- (log y)) in z 0.871 * [taylor]: Taking taylor expansion of (log y) in z 0.871 * [taylor]: Taking taylor expansion of y in z 0.875 * [taylor]: Taking taylor expansion of 0 in y 0.876 * [taylor]: Taking taylor expansion of (- (log (/ 1 t)) (/ 1 z)) in z 0.876 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 0.876 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.876 * [taylor]: Taking taylor expansion of t in z 0.876 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.876 * [taylor]: Taking taylor expansion of z in z 0.877 * [taylor]: Taking taylor expansion of -1 in t 0.878 * [taylor]: Taking taylor expansion of 0 in z 0.878 * [taylor]: Taking taylor expansion of -1 in t 0.878 * [taylor]: Taking taylor expansion of (- (log y)) in t 0.878 * [taylor]: Taking taylor expansion of (log y) in t 0.878 * [taylor]: Taking taylor expansion of y in t 0.879 * [approximate]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in (x y z t) around 0 0.879 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in t 0.879 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in t 0.879 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t 0.879 * [taylor]: Taking taylor expansion of (/ -1 t) in t 0.879 * [taylor]: Taking taylor expansion of -1 in t 0.879 * [taylor]: Taking taylor expansion of t in t 0.880 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in t 0.880 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.880 * [taylor]: Taking taylor expansion of y in t 0.880 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.880 * [taylor]: Taking taylor expansion of z in t 0.880 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in t 0.880 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in t 0.880 * [taylor]: Taking taylor expansion of (/ -1 y) in t 0.880 * [taylor]: Taking taylor expansion of -1 in t 0.880 * [taylor]: Taking taylor expansion of y in t 0.880 * [taylor]: Taking taylor expansion of x in t 0.880 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in z 0.880 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in z 0.880 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z 0.880 * [taylor]: Taking taylor expansion of (/ -1 t) in z 0.880 * [taylor]: Taking taylor expansion of -1 in z 0.880 * [taylor]: Taking taylor expansion of t in z 0.880 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z 0.880 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.880 * [taylor]: Taking taylor expansion of y in z 0.880 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.880 * [taylor]: Taking taylor expansion of z in z 0.880 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z 0.880 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 0.880 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.880 * [taylor]: Taking taylor expansion of -1 in z 0.880 * [taylor]: Taking taylor expansion of y in z 0.881 * [taylor]: Taking taylor expansion of x in z 0.881 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in y 0.881 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in y 0.881 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y 0.881 * [taylor]: Taking taylor expansion of (/ -1 t) in y 0.881 * [taylor]: Taking taylor expansion of -1 in y 0.881 * [taylor]: Taking taylor expansion of t in y 0.881 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 0.881 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.881 * [taylor]: Taking taylor expansion of y in y 0.881 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.881 * [taylor]: Taking taylor expansion of z in y 0.881 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 0.881 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.881 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.881 * [taylor]: Taking taylor expansion of -1 in y 0.881 * [taylor]: Taking taylor expansion of y in y 0.882 * [taylor]: Taking taylor expansion of x in y 0.883 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in x 0.883 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in x 0.883 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x 0.883 * [taylor]: Taking taylor expansion of (/ -1 t) in x 0.883 * [taylor]: Taking taylor expansion of -1 in x 0.883 * [taylor]: Taking taylor expansion of t in x 0.883 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 0.883 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.883 * [taylor]: Taking taylor expansion of y in x 0.883 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.883 * [taylor]: Taking taylor expansion of z in x 0.883 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.883 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.883 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.883 * [taylor]: Taking taylor expansion of -1 in x 0.883 * [taylor]: Taking taylor expansion of y in x 0.884 * [taylor]: Taking taylor expansion of x in x 0.884 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in x 0.884 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in x 0.884 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x 0.884 * [taylor]: Taking taylor expansion of (/ -1 t) in x 0.884 * [taylor]: Taking taylor expansion of -1 in x 0.884 * [taylor]: Taking taylor expansion of t in x 0.884 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 0.884 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.884 * [taylor]: Taking taylor expansion of y in x 0.884 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.884 * [taylor]: Taking taylor expansion of z in x 0.884 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.884 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.884 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.884 * [taylor]: Taking taylor expansion of -1 in x 0.884 * [taylor]: Taking taylor expansion of y in x 0.884 * [taylor]: Taking taylor expansion of x in x 0.884 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 0.884 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.884 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.884 * [taylor]: Taking taylor expansion of -1 in y 0.884 * [taylor]: Taking taylor expansion of y in y 0.886 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (log (/ -1 t)))) in y 0.887 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.887 * [taylor]: Taking taylor expansion of z in y 0.887 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (log (/ -1 t))) in y 0.887 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.887 * [taylor]: Taking taylor expansion of y in y 0.887 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y 0.887 * [taylor]: Taking taylor expansion of (/ -1 t) in y 0.887 * [taylor]: Taking taylor expansion of -1 in y 0.887 * [taylor]: Taking taylor expansion of t in y 0.888 * [taylor]: Taking taylor expansion of 1 in z 0.888 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 0.888 * [taylor]: Taking taylor expansion of (log y) in z 0.888 * [taylor]: Taking taylor expansion of y in z 0.888 * [taylor]: Taking taylor expansion of (log -1) in z 0.888 * [taylor]: Taking taylor expansion of -1 in z 0.892 * [taylor]: Taking taylor expansion of 0 in y 0.893 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (/ 1 z)) in z 0.893 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z 0.893 * [taylor]: Taking taylor expansion of (/ -1 t) in z 0.893 * [taylor]: Taking taylor expansion of -1 in z 0.893 * [taylor]: Taking taylor expansion of t in z 0.893 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.893 * [taylor]: Taking taylor expansion of z in z 0.894 * [taylor]: Taking taylor expansion of 1 in t 0.895 * [taylor]: Taking taylor expansion of 0 in z 0.895 * [taylor]: Taking taylor expansion of 1 in t 0.896 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in t 0.896 * [taylor]: Taking taylor expansion of (log y) in t 0.896 * [taylor]: Taking taylor expansion of y in t 0.896 * [taylor]: Taking taylor expansion of (log -1) in t 0.896 * [taylor]: Taking taylor expansion of -1 in t 0.899 * * * [progress]: simplifying candidates 0.901 * [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.905 * * [simplify]: iteration 0 : 167 enodes (cost 1160 ) 0.937 * * [simplify]: iteration 1 : 361 enodes (cost 1097 ) 1.012 * * [simplify]: iteration 2 : 918 enodes (cost 1064 ) 1.500 * * [simplify]: iteration 3 : 3318 enodes (cost 1016 ) 2.282 * * [simplify]: iteration done : 5000 enodes (cost 1016 ) 2.283 * [simplify]: Simplified to: (* (log y) x) (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 (* (log y) x) (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) 0 (* (log y) x) x (* x (* (cbrt (log y)) (cbrt (log y)))) (* x (sqrt (log y))) x (* (cbrt x) (log y)) (* (sqrt x) (log y)) (* (log y) x) (/ (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)) (+ (* (+ (- (* x (log y)) y) z) (- (* x (log y)) y)) (* z 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)) y) (* x (log y)))) (- y) (- (* (* x (log y)) (* x (log y))) (* y y)) (+ (* x (log y)) y) (- (* x (log (cbrt y))) y) (- (* x (log (sqrt y))) y) (- (* (log y) x) y) (- (* x (log (cbrt y))) y) (- (* x (log (sqrt y))) y) (- (* (log y) x) y) (- y) (/ (* t (pow y x)) (exp (+ y z))) (/ (* t (pow y x)) (exp (+ y z))) (/ (* t (pow y x)) (exp (+ y z))) (log (+ (- (- (* x (log y)) y) z) (log t))) (/ (* t (pow y x)) (exp (+ y z))) (* (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)) z) y)) (+ (- (- (* 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)) (* (log y) x) (* (log y) x) (* (log y) x) (- (- (* x (log y)) z) y) (- (- (* x (log y)) z) y) (- (- (* x (log y)) z) y) (- (* (log y) x) y) (- (* (log y) x) y) (- (* (log y) x) y) (- (+ (* x (log y)) (log t)) y) (- (- (* x (log y)) z) y) (- (- (* x (log y)) z) y) 2.284 * * * [progress]: adding candidates to table 2.575 * * [progress]: iteration 2 / 4 2.575 * * * [progress]: picking best candidate 2.593 * * * * [pick]: Picked # 2.593 * * * [progress]: localizing error 2.609 * * * [progress]: generating rewritten candidates 2.609 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2 2 1) 2.609 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 2 1) 2.610 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 2.620 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1) 2.630 * * * [progress]: generating series expansions 2.630 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2 2 1) 2.630 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 2.630 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.630 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.630 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.630 * [taylor]: Taking taylor expansion of 1/3 in y 2.630 * [taylor]: Taking taylor expansion of (log y) in y 2.630 * [taylor]: Taking taylor expansion of y in y 2.631 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.631 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.631 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.631 * [taylor]: Taking taylor expansion of 1/3 in y 2.631 * [taylor]: Taking taylor expansion of (log y) in y 2.631 * [taylor]: Taking taylor expansion of y in y 2.681 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 2.681 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.681 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.681 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.681 * [taylor]: Taking taylor expansion of 1/3 in y 2.681 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.681 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.681 * [taylor]: Taking taylor expansion of y in y 2.682 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.682 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.682 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.682 * [taylor]: Taking taylor expansion of 1/3 in y 2.682 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.682 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.682 * [taylor]: Taking taylor expansion of y in y 2.733 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 2.733 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 2.733 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.733 * [taylor]: Taking taylor expansion of -1 in y 2.734 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.734 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.734 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.734 * [taylor]: Taking taylor expansion of 1/3 in y 2.734 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.734 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.734 * [taylor]: Taking taylor expansion of y in y 2.734 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 2.734 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.734 * [taylor]: Taking taylor expansion of -1 in y 2.735 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.735 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.735 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.735 * [taylor]: Taking taylor expansion of 1/3 in y 2.735 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.735 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.735 * [taylor]: Taking taylor expansion of y in y 2.799 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 2 1) 2.799 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 2.799 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.799 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.799 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.799 * [taylor]: Taking taylor expansion of 1/3 in y 2.799 * [taylor]: Taking taylor expansion of (log y) in y 2.799 * [taylor]: Taking taylor expansion of y in y 2.800 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.800 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.800 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.800 * [taylor]: Taking taylor expansion of 1/3 in y 2.800 * [taylor]: Taking taylor expansion of (log y) in y 2.800 * [taylor]: Taking taylor expansion of y in y 2.850 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 2.850 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.850 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.850 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.850 * [taylor]: Taking taylor expansion of 1/3 in y 2.850 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.850 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.850 * [taylor]: Taking taylor expansion of y in y 2.851 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.851 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.851 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.851 * [taylor]: Taking taylor expansion of 1/3 in y 2.851 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.851 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.851 * [taylor]: Taking taylor expansion of y in y 2.905 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 2.906 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 2.906 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.906 * [taylor]: Taking taylor expansion of -1 in y 2.906 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.906 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.906 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.906 * [taylor]: Taking taylor expansion of 1/3 in y 2.906 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.906 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.906 * [taylor]: Taking taylor expansion of y in y 2.907 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 2.907 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.907 * [taylor]: Taking taylor expansion of -1 in y 2.908 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.908 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.908 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.908 * [taylor]: Taking taylor expansion of 1/3 in y 2.908 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.908 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.908 * [taylor]: Taking taylor expansion of y in y 2.973 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 2.973 * [approximate]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in (y x) around 0 2.973 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x 2.973 * [taylor]: Taking taylor expansion of 3 in x 2.973 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 2.973 * [taylor]: Taking taylor expansion of x in x 2.973 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 2.973 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 2.973 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 2.973 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 2.973 * [taylor]: Taking taylor expansion of 1/3 in x 2.973 * [taylor]: Taking taylor expansion of (log y) in x 2.973 * [taylor]: Taking taylor expansion of y in x 2.973 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y 2.973 * [taylor]: Taking taylor expansion of 3 in y 2.973 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 2.974 * [taylor]: Taking taylor expansion of x in y 2.974 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 2.974 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.974 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.974 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.974 * [taylor]: Taking taylor expansion of 1/3 in y 2.974 * [taylor]: Taking taylor expansion of (log y) in y 2.974 * [taylor]: Taking taylor expansion of y in y 2.975 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y 2.975 * [taylor]: Taking taylor expansion of 3 in y 2.975 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 2.975 * [taylor]: Taking taylor expansion of x in y 2.975 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 2.975 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.975 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.975 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.975 * [taylor]: Taking taylor expansion of 1/3 in y 2.975 * [taylor]: Taking taylor expansion of (log y) in y 2.975 * [taylor]: Taking taylor expansion of y in y 2.976 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x 2.976 * [taylor]: Taking taylor expansion of 3 in x 2.976 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 2.976 * [taylor]: Taking taylor expansion of x in x 2.976 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 2.976 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 2.976 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 2.976 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 2.976 * [taylor]: Taking taylor expansion of 1/3 in x 2.976 * [taylor]: Taking taylor expansion of (log y) in x 2.976 * [taylor]: Taking taylor expansion of y in x 2.979 * [taylor]: Taking taylor expansion of 0 in x 2.987 * [taylor]: Taking taylor expansion of 0 in x 2.999 * [taylor]: Taking taylor expansion of 0 in x 2.999 * [approximate]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in (y x) around 0 2.999 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in x 2.999 * [taylor]: Taking taylor expansion of 3 in x 2.999 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 2.999 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 2.999 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 2.999 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 2.999 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 2.999 * [taylor]: Taking taylor expansion of 1/3 in x 2.999 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 2.999 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.999 * [taylor]: Taking taylor expansion of y in x 3.000 * [taylor]: Taking taylor expansion of x in x 3.000 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y 3.000 * [taylor]: Taking taylor expansion of 3 in y 3.000 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 3.000 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 3.000 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.000 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.000 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.000 * [taylor]: Taking taylor expansion of 1/3 in y 3.000 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.000 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.000 * [taylor]: Taking taylor expansion of y in y 3.001 * [taylor]: Taking taylor expansion of x in y 3.001 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y 3.001 * [taylor]: Taking taylor expansion of 3 in y 3.001 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 3.001 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 3.001 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.001 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.001 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.001 * [taylor]: Taking taylor expansion of 1/3 in y 3.001 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.001 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.001 * [taylor]: Taking taylor expansion of y in y 3.002 * [taylor]: Taking taylor expansion of x in y 3.002 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow y -1/3)) x)) in x 3.002 * [taylor]: Taking taylor expansion of 3 in x 3.002 * [taylor]: Taking taylor expansion of (/ (log (pow y -1/3)) x) in x 3.002 * [taylor]: Taking taylor expansion of (log (pow y -1/3)) in x 3.002 * [taylor]: Taking taylor expansion of (pow y -1/3) in x 3.002 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log y))) in x 3.002 * [taylor]: Taking taylor expansion of (* -1/3 (log y)) in x 3.002 * [taylor]: Taking taylor expansion of -1/3 in x 3.002 * [taylor]: Taking taylor expansion of (log y) in x 3.002 * [taylor]: Taking taylor expansion of y in x 3.003 * [taylor]: Taking taylor expansion of x in x 3.006 * [taylor]: Taking taylor expansion of 0 in x 3.014 * [taylor]: Taking taylor expansion of 0 in x 3.026 * [taylor]: Taking taylor expansion of 0 in x 3.034 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in (y x) around 0 3.034 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in x 3.034 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 3.034 * [taylor]: Taking taylor expansion of 3 in x 3.034 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 3.034 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 3.034 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 3.034 * [taylor]: Taking taylor expansion of (cbrt -1) in x 3.034 * [taylor]: Taking taylor expansion of -1 in x 3.035 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 3.035 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 3.035 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 3.035 * [taylor]: Taking taylor expansion of 1/3 in x 3.035 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 3.035 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.035 * [taylor]: Taking taylor expansion of y in x 3.042 * [taylor]: Taking taylor expansion of x in x 3.042 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in y 3.042 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 3.042 * [taylor]: Taking taylor expansion of 3 in y 3.042 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 3.042 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 3.042 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 3.042 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.042 * [taylor]: Taking taylor expansion of -1 in y 3.043 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.043 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.043 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.043 * [taylor]: Taking taylor expansion of 1/3 in y 3.043 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.043 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.043 * [taylor]: Taking taylor expansion of y in y 3.045 * [taylor]: Taking taylor expansion of x in y 3.045 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in y 3.045 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 3.045 * [taylor]: Taking taylor expansion of 3 in y 3.045 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 3.045 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 3.045 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 3.045 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.045 * [taylor]: Taking taylor expansion of -1 in y 3.046 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.046 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.046 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.046 * [taylor]: Taking taylor expansion of 1/3 in y 3.046 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.046 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.046 * [taylor]: Taking taylor expansion of y in y 3.048 * [taylor]: Taking taylor expansion of x in y 3.049 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in x 3.049 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 3.049 * [taylor]: Taking taylor expansion of 3 in x 3.049 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 3.049 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 3.049 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 3.049 * [taylor]: Taking taylor expansion of (cbrt -1) in x 3.049 * [taylor]: Taking taylor expansion of -1 in x 3.050 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 3.050 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 3.050 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 3.050 * [taylor]: Taking taylor expansion of 1/3 in x 3.050 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 3.050 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.050 * [taylor]: Taking taylor expansion of y in x 3.051 * [taylor]: Taking taylor expansion of x in x 3.057 * [taylor]: Taking taylor expansion of 0 in x 3.070 * [taylor]: Taking taylor expansion of 0 in x 3.089 * [taylor]: Taking taylor expansion of 0 in x 3.100 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1) 3.100 * [approximate]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in (y x) around 0 3.100 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in x 3.100 * [taylor]: Taking taylor expansion of 2 in x 3.100 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 3.100 * [taylor]: Taking taylor expansion of x in x 3.100 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 3.100 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 3.100 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 3.100 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 3.100 * [taylor]: Taking taylor expansion of 1/3 in x 3.100 * [taylor]: Taking taylor expansion of (log y) in x 3.100 * [taylor]: Taking taylor expansion of y in x 3.101 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in y 3.101 * [taylor]: Taking taylor expansion of 2 in y 3.101 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 3.101 * [taylor]: Taking taylor expansion of x in y 3.101 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 3.101 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 3.101 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 3.101 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 3.101 * [taylor]: Taking taylor expansion of 1/3 in y 3.101 * [taylor]: Taking taylor expansion of (log y) in y 3.101 * [taylor]: Taking taylor expansion of y in y 3.101 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in y 3.101 * [taylor]: Taking taylor expansion of 2 in y 3.101 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 3.101 * [taylor]: Taking taylor expansion of x in y 3.101 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 3.101 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 3.101 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 3.101 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 3.101 * [taylor]: Taking taylor expansion of 1/3 in y 3.102 * [taylor]: Taking taylor expansion of (log y) in y 3.102 * [taylor]: Taking taylor expansion of y in y 3.102 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in x 3.102 * [taylor]: Taking taylor expansion of 2 in x 3.102 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 3.102 * [taylor]: Taking taylor expansion of x in x 3.102 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 3.102 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 3.102 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 3.102 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 3.102 * [taylor]: Taking taylor expansion of 1/3 in x 3.102 * [taylor]: Taking taylor expansion of (log y) in x 3.103 * [taylor]: Taking taylor expansion of y in x 3.106 * [taylor]: Taking taylor expansion of 0 in x 3.113 * [taylor]: Taking taylor expansion of 0 in x 3.131 * [taylor]: Taking taylor expansion of 0 in x 3.131 * [approximate]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in (y x) around 0 3.131 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in x 3.131 * [taylor]: Taking taylor expansion of 2 in x 3.131 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 3.131 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 3.131 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 3.131 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 3.131 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 3.131 * [taylor]: Taking taylor expansion of 1/3 in x 3.131 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 3.131 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.131 * [taylor]: Taking taylor expansion of y in x 3.132 * [taylor]: Taking taylor expansion of x in x 3.132 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in y 3.132 * [taylor]: Taking taylor expansion of 2 in y 3.132 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 3.132 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 3.132 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.132 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.132 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.132 * [taylor]: Taking taylor expansion of 1/3 in y 3.132 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.132 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.132 * [taylor]: Taking taylor expansion of y in y 3.133 * [taylor]: Taking taylor expansion of x in y 3.133 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in y 3.133 * [taylor]: Taking taylor expansion of 2 in y 3.133 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 3.133 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 3.133 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.133 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.133 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.133 * [taylor]: Taking taylor expansion of 1/3 in y 3.133 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.133 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.133 * [taylor]: Taking taylor expansion of y in y 3.134 * [taylor]: Taking taylor expansion of x in y 3.134 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow y -1/3)) x)) in x 3.134 * [taylor]: Taking taylor expansion of 2 in x 3.134 * [taylor]: Taking taylor expansion of (/ (log (pow y -1/3)) x) in x 3.134 * [taylor]: Taking taylor expansion of (log (pow y -1/3)) in x 3.134 * [taylor]: Taking taylor expansion of (pow y -1/3) in x 3.134 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log y))) in x 3.134 * [taylor]: Taking taylor expansion of (* -1/3 (log y)) in x 3.134 * [taylor]: Taking taylor expansion of -1/3 in x 3.134 * [taylor]: Taking taylor expansion of (log y) in x 3.134 * [taylor]: Taking taylor expansion of y in x 3.135 * [taylor]: Taking taylor expansion of x in x 3.138 * [taylor]: Taking taylor expansion of 0 in x 3.146 * [taylor]: Taking taylor expansion of 0 in x 3.158 * [taylor]: Taking taylor expansion of 0 in x 3.166 * [approximate]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in (y x) around 0 3.166 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 3.166 * [taylor]: Taking taylor expansion of -2 in x 3.166 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 3.166 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 3.166 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 3.166 * [taylor]: Taking taylor expansion of (cbrt -1) in x 3.166 * [taylor]: Taking taylor expansion of -1 in x 3.167 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 3.167 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 3.167 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 3.167 * [taylor]: Taking taylor expansion of 1/3 in x 3.167 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 3.167 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.167 * [taylor]: Taking taylor expansion of y in x 3.168 * [taylor]: Taking taylor expansion of x in x 3.168 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 3.168 * [taylor]: Taking taylor expansion of -2 in y 3.168 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 3.168 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 3.168 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 3.168 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.168 * [taylor]: Taking taylor expansion of -1 in y 3.169 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.169 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.169 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.169 * [taylor]: Taking taylor expansion of 1/3 in y 3.169 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.169 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.169 * [taylor]: Taking taylor expansion of y in y 3.171 * [taylor]: Taking taylor expansion of x in y 3.171 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 3.171 * [taylor]: Taking taylor expansion of -2 in y 3.171 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 3.171 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 3.171 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 3.171 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.171 * [taylor]: Taking taylor expansion of -1 in y 3.172 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.172 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.172 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.172 * [taylor]: Taking taylor expansion of 1/3 in y 3.172 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.172 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.172 * [taylor]: Taking taylor expansion of y in y 3.174 * [taylor]: Taking taylor expansion of x in y 3.175 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 3.175 * [taylor]: Taking taylor expansion of -2 in x 3.175 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 3.175 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 3.175 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 3.175 * [taylor]: Taking taylor expansion of (cbrt -1) in x 3.175 * [taylor]: Taking taylor expansion of -1 in x 3.176 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 3.176 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 3.176 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 3.176 * [taylor]: Taking taylor expansion of 1/3 in x 3.176 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 3.176 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.176 * [taylor]: Taking taylor expansion of y in x 3.177 * [taylor]: Taking taylor expansion of x in x 3.183 * [taylor]: Taking taylor expansion of 0 in x 3.195 * [taylor]: Taking taylor expansion of 0 in x 3.214 * [taylor]: Taking taylor expansion of 0 in x 3.231 * * * [progress]: simplifying candidates 3.232 * [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.235 * * [simplify]: iteration 0 : 123 enodes (cost 811 ) 3.261 * * [simplify]: iteration 1 : 294 enodes (cost 731 ) 3.379 * * [simplify]: iteration 2 : 977 enodes (cost 551 ) 4.038 * * [simplify]: iteration done : 5000 enodes (cost 535 ) 4.039 * [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)) x) 3) 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) (+ (* x (* (log y) (- 1/3 2/3))) (* 4 (* (log (cbrt y)) x)))) (* (* x (* (log (cbrt y)) (* 3 x))) (* (log y) (- 2/3 1/3))) (* x (* (log y) (- 2/3 1/3))) (* (+ (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))))) 4.039 * * * [progress]: adding candidates to table 4.319 * * [progress]: iteration 3 / 4 4.319 * * * [progress]: picking best candidate 4.334 * * * * [pick]: Picked # 4.334 * * * [progress]: localizing error 4.348 * * * [progress]: generating rewritten candidates 4.348 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 1) 4.349 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 4.356 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 4.402 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1) 4.405 * * * [progress]: generating series expansions 4.405 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 1) 4.405 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 4.405 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.405 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.405 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.405 * [taylor]: Taking taylor expansion of 1/3 in y 4.405 * [taylor]: Taking taylor expansion of (log y) in y 4.405 * [taylor]: Taking taylor expansion of y in y 4.406 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.406 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.406 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.406 * [taylor]: Taking taylor expansion of 1/3 in y 4.406 * [taylor]: Taking taylor expansion of (log y) in y 4.406 * [taylor]: Taking taylor expansion of y in y 4.457 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 4.457 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.457 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.457 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.457 * [taylor]: Taking taylor expansion of 1/3 in y 4.457 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.457 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.457 * [taylor]: Taking taylor expansion of y in y 4.458 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.458 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.458 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.458 * [taylor]: Taking taylor expansion of 1/3 in y 4.458 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.458 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.458 * [taylor]: Taking taylor expansion of y in y 4.512 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 4.512 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 4.512 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.512 * [taylor]: Taking taylor expansion of -1 in y 4.513 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.513 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.513 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.513 * [taylor]: Taking taylor expansion of 1/3 in y 4.513 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.513 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.513 * [taylor]: Taking taylor expansion of y in y 4.514 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 4.514 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.514 * [taylor]: Taking taylor expansion of -1 in y 4.514 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.515 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.515 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.515 * [taylor]: Taking taylor expansion of 1/3 in y 4.515 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.515 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.515 * [taylor]: Taking taylor expansion of y in y 4.579 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 4.580 * [approximate]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in (y x) around 0 4.580 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x 4.580 * [taylor]: Taking taylor expansion of 3 in x 4.580 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 4.580 * [taylor]: Taking taylor expansion of x in x 4.580 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 4.580 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 4.580 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 4.580 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 4.580 * [taylor]: Taking taylor expansion of 1/3 in x 4.580 * [taylor]: Taking taylor expansion of (log y) in x 4.580 * [taylor]: Taking taylor expansion of y in x 4.580 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y 4.580 * [taylor]: Taking taylor expansion of 3 in y 4.580 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 4.580 * [taylor]: Taking taylor expansion of x in y 4.580 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 4.580 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.580 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.580 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.580 * [taylor]: Taking taylor expansion of 1/3 in y 4.580 * [taylor]: Taking taylor expansion of (log y) in y 4.580 * [taylor]: Taking taylor expansion of y in y 4.581 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y 4.581 * [taylor]: Taking taylor expansion of 3 in y 4.581 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 4.581 * [taylor]: Taking taylor expansion of x in y 4.581 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 4.581 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.581 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.581 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.581 * [taylor]: Taking taylor expansion of 1/3 in y 4.581 * [taylor]: Taking taylor expansion of (log y) in y 4.581 * [taylor]: Taking taylor expansion of y in y 4.582 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x 4.582 * [taylor]: Taking taylor expansion of 3 in x 4.582 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 4.582 * [taylor]: Taking taylor expansion of x in x 4.582 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 4.582 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 4.582 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 4.582 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 4.582 * [taylor]: Taking taylor expansion of 1/3 in x 4.582 * [taylor]: Taking taylor expansion of (log y) in x 4.582 * [taylor]: Taking taylor expansion of y in x 4.585 * [taylor]: Taking taylor expansion of 0 in x 4.593 * [taylor]: Taking taylor expansion of 0 in x 4.605 * [taylor]: Taking taylor expansion of 0 in x 4.605 * [approximate]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in (y x) around 0 4.605 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in x 4.605 * [taylor]: Taking taylor expansion of 3 in x 4.605 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 4.605 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 4.605 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 4.605 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 4.605 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 4.605 * [taylor]: Taking taylor expansion of 1/3 in x 4.606 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.606 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.606 * [taylor]: Taking taylor expansion of y in x 4.606 * [taylor]: Taking taylor expansion of x in x 4.606 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y 4.606 * [taylor]: Taking taylor expansion of 3 in y 4.606 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 4.606 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 4.606 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.606 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.606 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.606 * [taylor]: Taking taylor expansion of 1/3 in y 4.606 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.606 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.606 * [taylor]: Taking taylor expansion of y in y 4.607 * [taylor]: Taking taylor expansion of x in y 4.607 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y 4.607 * [taylor]: Taking taylor expansion of 3 in y 4.607 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 4.607 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 4.607 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.607 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.607 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.607 * [taylor]: Taking taylor expansion of 1/3 in y 4.607 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.607 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.607 * [taylor]: Taking taylor expansion of y in y 4.608 * [taylor]: Taking taylor expansion of x in y 4.608 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow y -1/3)) x)) in x 4.608 * [taylor]: Taking taylor expansion of 3 in x 4.608 * [taylor]: Taking taylor expansion of (/ (log (pow y -1/3)) x) in x 4.608 * [taylor]: Taking taylor expansion of (log (pow y -1/3)) in x 4.608 * [taylor]: Taking taylor expansion of (pow y -1/3) in x 4.608 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log y))) in x 4.608 * [taylor]: Taking taylor expansion of (* -1/3 (log y)) in x 4.609 * [taylor]: Taking taylor expansion of -1/3 in x 4.609 * [taylor]: Taking taylor expansion of (log y) in x 4.609 * [taylor]: Taking taylor expansion of y in x 4.609 * [taylor]: Taking taylor expansion of x in x 4.612 * [taylor]: Taking taylor expansion of 0 in x 4.620 * [taylor]: Taking taylor expansion of 0 in x 4.633 * [taylor]: Taking taylor expansion of 0 in x 4.640 * [approximate]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in (y x) around 0 4.640 * [taylor]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 4.640 * [taylor]: Taking taylor expansion of -3 in x 4.640 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 4.640 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 4.640 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 4.640 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.640 * [taylor]: Taking taylor expansion of -1 in x 4.641 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 4.641 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 4.641 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 4.641 * [taylor]: Taking taylor expansion of 1/3 in x 4.641 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.641 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.641 * [taylor]: Taking taylor expansion of y in x 4.642 * [taylor]: Taking taylor expansion of x in x 4.643 * [taylor]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 4.643 * [taylor]: Taking taylor expansion of -3 in y 4.643 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 4.643 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 4.643 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 4.643 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.643 * [taylor]: Taking taylor expansion of -1 in y 4.643 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.643 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.643 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.644 * [taylor]: Taking taylor expansion of 1/3 in y 4.644 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.644 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.644 * [taylor]: Taking taylor expansion of y in y 4.645 * [taylor]: Taking taylor expansion of x in y 4.646 * [taylor]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (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 (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 4.646 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 4.646 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 4.646 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.646 * [taylor]: Taking taylor expansion of -1 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.646 * [taylor]: Taking taylor expansion of y in y 4.648 * [taylor]: Taking taylor expansion of x in y 4.654 * [taylor]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 4.654 * [taylor]: Taking taylor expansion of -3 in x 4.654 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 4.654 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 4.654 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 4.654 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.654 * [taylor]: Taking taylor expansion of -1 in x 4.656 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 4.656 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 4.656 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 4.656 * [taylor]: Taking taylor expansion of 1/3 in x 4.656 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.656 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.656 * [taylor]: Taking taylor expansion of y in x 4.657 * [taylor]: Taking taylor expansion of x in x 4.663 * [taylor]: Taking taylor expansion of 0 in x 4.675 * [taylor]: Taking taylor expansion of 0 in x 4.694 * [taylor]: Taking taylor expansion of 0 in x 4.704 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 4.705 * [approximate]: Taking taylor expansion of (- (* 3 (* x (log (pow y 1/3)))) (+ z y)) in (y x z) around 0 4.705 * [taylor]: Taking taylor expansion of (- (* 3 (* x (log (pow y 1/3)))) (+ z y)) in z 4.705 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in z 4.705 * [taylor]: Taking taylor expansion of 3 in z 4.705 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in z 4.705 * [taylor]: Taking taylor expansion of x in z 4.705 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in z 4.705 * [taylor]: Taking taylor expansion of (pow y 1/3) in z 4.705 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in z 4.705 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in z 4.705 * [taylor]: Taking taylor expansion of 1/3 in z 4.705 * [taylor]: Taking taylor expansion of (log y) in z 4.705 * [taylor]: Taking taylor expansion of y in z 4.705 * [taylor]: Taking taylor expansion of (+ z y) in z 4.705 * [taylor]: Taking taylor expansion of z in z 4.705 * [taylor]: Taking taylor expansion of y in z 4.705 * [taylor]: Taking taylor expansion of (- (* 3 (* x (log (pow y 1/3)))) (+ z y)) in x 4.705 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x 4.705 * [taylor]: Taking taylor expansion of 3 in x 4.705 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 4.705 * [taylor]: Taking taylor expansion of x in x 4.705 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 4.705 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 4.705 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 4.705 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 4.705 * [taylor]: Taking taylor expansion of 1/3 in x 4.705 * [taylor]: Taking taylor expansion of (log y) in x 4.705 * [taylor]: Taking taylor expansion of y in x 4.706 * [taylor]: Taking taylor expansion of (+ z y) in x 4.706 * [taylor]: Taking taylor expansion of z in x 4.706 * [taylor]: Taking taylor expansion of y in x 4.706 * [taylor]: Taking taylor expansion of (- (* 3 (* x (log (pow y 1/3)))) (+ z y)) in y 4.706 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y 4.706 * [taylor]: Taking taylor expansion of 3 in y 4.706 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 4.706 * [taylor]: Taking taylor expansion of x in y 4.706 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 4.706 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.706 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.706 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.706 * [taylor]: Taking taylor expansion of 1/3 in y 4.706 * [taylor]: Taking taylor expansion of (log y) in y 4.706 * [taylor]: Taking taylor expansion of y in y 4.707 * [taylor]: Taking taylor expansion of (+ z y) in y 4.707 * [taylor]: Taking taylor expansion of z in y 4.707 * [taylor]: Taking taylor expansion of y in y 4.707 * [taylor]: Taking taylor expansion of (- (* 3 (* x (log (pow y 1/3)))) (+ z y)) in y 4.707 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y 4.707 * [taylor]: Taking taylor expansion of 3 in y 4.707 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 4.707 * [taylor]: Taking taylor expansion of x in y 4.707 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 4.707 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.707 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.707 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.707 * [taylor]: Taking taylor expansion of 1/3 in y 4.707 * [taylor]: Taking taylor expansion of (log y) in y 4.707 * [taylor]: Taking taylor expansion of y in y 4.707 * [taylor]: Taking taylor expansion of (+ z y) in y 4.707 * [taylor]: Taking taylor expansion of z in y 4.707 * [taylor]: Taking taylor expansion of y in y 4.708 * [taylor]: Taking taylor expansion of (- (* 3 (* x (log (pow y 1/3)))) z) in x 4.708 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x 4.708 * [taylor]: Taking taylor expansion of 3 in x 4.708 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 4.708 * [taylor]: Taking taylor expansion of x in x 4.708 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 4.708 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 4.708 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 4.708 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 4.708 * [taylor]: Taking taylor expansion of 1/3 in x 4.708 * [taylor]: Taking taylor expansion of (log y) in x 4.708 * [taylor]: Taking taylor expansion of y in x 4.708 * [taylor]: Taking taylor expansion of z in x 4.709 * [taylor]: Taking taylor expansion of (- z) in z 4.709 * [taylor]: Taking taylor expansion of z in z 4.713 * [taylor]: Taking taylor expansion of -1 in x 4.713 * [taylor]: Taking taylor expansion of -1 in z 4.715 * [taylor]: Taking taylor expansion of (* 3 (log (pow y 1/3))) in z 4.715 * [taylor]: Taking taylor expansion of 3 in z 4.715 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in z 4.715 * [taylor]: Taking taylor expansion of (pow y 1/3) in z 4.715 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in z 4.715 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in z 4.715 * [taylor]: Taking taylor expansion of 1/3 in z 4.715 * [taylor]: Taking taylor expansion of (log y) in z 4.715 * [taylor]: Taking taylor expansion of y in z 4.717 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) (+ (/ 1 z) (/ 1 y))) in (y x z) around 0 4.717 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) (+ (/ 1 z) (/ 1 y))) in z 4.717 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in z 4.717 * [taylor]: Taking taylor expansion of 3 in z 4.717 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in z 4.717 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in z 4.717 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in z 4.717 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in z 4.717 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in z 4.717 * [taylor]: Taking taylor expansion of 1/3 in z 4.717 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 4.717 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.717 * [taylor]: Taking taylor expansion of y in z 4.717 * [taylor]: Taking taylor expansion of x in z 4.717 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 4.717 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.717 * [taylor]: Taking taylor expansion of z in z 4.718 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.718 * [taylor]: Taking taylor expansion of y in z 4.718 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) (+ (/ 1 z) (/ 1 y))) in x 4.718 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in x 4.718 * [taylor]: Taking taylor expansion of 3 in x 4.718 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 4.718 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 4.718 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 4.718 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 4.718 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 4.718 * [taylor]: Taking taylor expansion of 1/3 in x 4.718 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.718 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.718 * [taylor]: Taking taylor expansion of y in x 4.718 * [taylor]: Taking taylor expansion of x in x 4.718 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 4.718 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.718 * [taylor]: Taking taylor expansion of z in x 4.718 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.718 * [taylor]: Taking taylor expansion of y in x 4.718 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) (+ (/ 1 z) (/ 1 y))) in y 4.718 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y 4.718 * [taylor]: Taking taylor expansion of 3 in y 4.718 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 4.718 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 4.718 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.718 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.718 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.718 * [taylor]: Taking taylor expansion of 1/3 in y 4.718 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.718 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.718 * [taylor]: Taking taylor expansion of y in y 4.719 * [taylor]: Taking taylor expansion of x in y 4.720 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 4.720 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.720 * [taylor]: Taking taylor expansion of z in y 4.720 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.720 * [taylor]: Taking taylor expansion of y in y 4.720 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) (+ (/ 1 z) (/ 1 y))) in y 4.720 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y 4.720 * [taylor]: Taking taylor expansion of 3 in y 4.720 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 4.720 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 4.720 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.720 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.720 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.720 * [taylor]: Taking taylor expansion of 1/3 in y 4.720 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.720 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.720 * [taylor]: Taking taylor expansion of y in y 4.721 * [taylor]: Taking taylor expansion of x in y 4.721 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 4.721 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.721 * [taylor]: Taking taylor expansion of z in y 4.721 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.721 * [taylor]: Taking taylor expansion of y in y 4.722 * [taylor]: Taking taylor expansion of -1 in x 4.723 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow y -1/3)) x)) (/ 1 z)) in x 4.723 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow y -1/3)) x)) in x 4.723 * [taylor]: Taking taylor expansion of 3 in x 4.723 * [taylor]: Taking taylor expansion of (/ (log (pow y -1/3)) x) in x 4.723 * [taylor]: Taking taylor expansion of (log (pow y -1/3)) in x 4.723 * [taylor]: Taking taylor expansion of (pow y -1/3) in x 4.723 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log y))) in x 4.723 * [taylor]: Taking taylor expansion of (* -1/3 (log y)) in x 4.723 * [taylor]: Taking taylor expansion of -1/3 in x 4.723 * [taylor]: Taking taylor expansion of (log y) in x 4.723 * [taylor]: Taking taylor expansion of y in x 4.723 * [taylor]: Taking taylor expansion of x in x 4.723 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.723 * [taylor]: Taking taylor expansion of z in x 4.724 * [taylor]: Taking taylor expansion of (* 3 (log (pow y -1/3))) in z 4.724 * [taylor]: Taking taylor expansion of 3 in z 4.724 * [taylor]: Taking taylor expansion of (log (pow y -1/3)) in z 4.724 * [taylor]: Taking taylor expansion of (pow y -1/3) in z 4.724 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log y))) in z 4.724 * [taylor]: Taking taylor expansion of (* -1/3 (log y)) in z 4.724 * [taylor]: Taking taylor expansion of -1/3 in z 4.724 * [taylor]: Taking taylor expansion of (log y) in z 4.724 * [taylor]: Taking taylor expansion of y in z 4.724 * [taylor]: Taking taylor expansion of -1 in z 4.728 * [taylor]: Taking taylor expansion of 0 in x 4.731 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.731 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.731 * [taylor]: Taking taylor expansion of z in z 4.732 * [taylor]: Taking taylor expansion of 0 in z 4.733 * [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.733 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in z 4.733 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 4.733 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.733 * [taylor]: Taking taylor expansion of z in z 4.733 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.733 * [taylor]: Taking taylor expansion of y in z 4.733 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in z 4.733 * [taylor]: Taking taylor expansion of 3 in z 4.733 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in z 4.733 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in z 4.733 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in z 4.733 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.733 * [taylor]: Taking taylor expansion of -1 in z 4.734 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in z 4.734 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in z 4.734 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in z 4.734 * [taylor]: Taking taylor expansion of 1/3 in z 4.734 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 4.734 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.734 * [taylor]: Taking taylor expansion of y in z 4.735 * [taylor]: Taking taylor expansion of x in z 4.736 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in x 4.736 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 4.736 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.736 * [taylor]: Taking taylor expansion of z in x 4.736 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.736 * [taylor]: Taking taylor expansion of y in x 4.736 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 4.736 * [taylor]: Taking taylor expansion of 3 in x 4.736 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 4.736 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 4.736 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 4.736 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.736 * [taylor]: Taking taylor expansion of -1 in x 4.737 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 4.737 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 4.737 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 4.737 * [taylor]: Taking taylor expansion of 1/3 in x 4.737 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.737 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.737 * [taylor]: Taking taylor expansion of y in x 4.738 * [taylor]: Taking taylor expansion of x in x 4.738 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in y 4.738 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 4.738 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.738 * [taylor]: Taking taylor expansion of z in y 4.738 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.738 * [taylor]: Taking taylor expansion of y in y 4.739 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 4.739 * [taylor]: Taking taylor expansion of 3 in y 4.739 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 4.739 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 4.739 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 4.739 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.739 * [taylor]: Taking taylor expansion of -1 in y 4.739 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.739 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.739 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.739 * [taylor]: Taking taylor expansion of 1/3 in y 4.739 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.739 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.740 * [taylor]: Taking taylor expansion of y in y 4.741 * [taylor]: Taking taylor expansion of x in y 4.741 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (/ 1 y)) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in y 4.742 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 4.742 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.742 * [taylor]: Taking taylor expansion of z in y 4.742 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.742 * [taylor]: Taking taylor expansion of y in y 4.742 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 4.742 * [taylor]: Taking taylor expansion of 3 in y 4.742 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 4.742 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 4.742 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 4.742 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.742 * [taylor]: Taking taylor expansion of -1 in y 4.743 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.743 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.743 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.743 * [taylor]: Taking taylor expansion of 1/3 in y 4.743 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.743 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.743 * [taylor]: Taking taylor expansion of y in y 4.749 * [taylor]: Taking taylor expansion of x in y 4.751 * [taylor]: Taking taylor expansion of 1 in x 4.752 * [taylor]: Taking taylor expansion of (- (/ 1 z) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in x 4.752 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.752 * [taylor]: Taking taylor expansion of z in x 4.753 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 4.753 * [taylor]: Taking taylor expansion of 3 in x 4.753 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 4.753 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 4.753 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 4.753 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.753 * [taylor]: Taking taylor expansion of -1 in x 4.753 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 4.753 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 4.753 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 4.753 * [taylor]: Taking taylor expansion of 1/3 in x 4.753 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.753 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.753 * [taylor]: Taking taylor expansion of y in x 4.754 * [taylor]: Taking taylor expansion of x in x 4.756 * [taylor]: Taking taylor expansion of (- (* 3 (log (* (cbrt -1) (pow (/ 1 y) 1/3))))) in z 4.756 * [taylor]: Taking taylor expansion of (* 3 (log (* (cbrt -1) (pow (/ 1 y) 1/3)))) in z 4.756 * [taylor]: Taking taylor expansion of 3 in z 4.756 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in z 4.756 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in z 4.756 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.756 * [taylor]: Taking taylor expansion of -1 in z 4.757 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in z 4.757 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in z 4.757 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in z 4.757 * [taylor]: Taking taylor expansion of 1/3 in z 4.757 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 4.757 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.757 * [taylor]: Taking taylor expansion of y in z 4.758 * [taylor]: Taking taylor expansion of 1 in z 4.764 * [taylor]: Taking taylor expansion of 0 in x 4.768 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.768 * [taylor]: Taking taylor expansion of z in z 4.769 * [taylor]: Taking taylor expansion of 0 in z 4.771 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1) 4.771 * [approximate]: Taking taylor expansion of (log (pow y 1/3)) in (y) around 0 4.771 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 4.771 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.771 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.771 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.771 * [taylor]: Taking taylor expansion of 1/3 in y 4.771 * [taylor]: Taking taylor expansion of (log y) in y 4.771 * [taylor]: Taking taylor expansion of y in y 4.772 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 4.772 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.772 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.772 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.772 * [taylor]: Taking taylor expansion of 1/3 in y 4.772 * [taylor]: Taking taylor expansion of (log y) in y 4.772 * [taylor]: Taking taylor expansion of y in y 4.845 * [approximate]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in (y) around 0 4.845 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) 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.847 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 4.847 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.847 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.847 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.847 * [taylor]: Taking taylor expansion of 1/3 in y 4.847 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.847 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.847 * [taylor]: Taking taylor expansion of y in y 4.925 * [approximate]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in (y) around 0 4.925 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 4.925 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 4.925 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.925 * [taylor]: Taking taylor expansion of -1 in y 4.926 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.926 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.926 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.926 * [taylor]: Taking taylor expansion of 1/3 in y 4.926 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.926 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.926 * [taylor]: Taking taylor expansion of y in y 4.927 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 4.927 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 4.927 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.927 * [taylor]: Taking taylor expansion of -1 in y 4.928 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.928 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.928 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.928 * [taylor]: Taking taylor expansion of 1/3 in y 4.928 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.928 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.928 * [taylor]: Taking taylor expansion of y in y 5.027 * * * [progress]: simplifying candidates 5.028 * [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))) 5.031 * * [simplify]: iteration 0 : 116 enodes (cost 736 ) 5.051 * * [simplify]: iteration 1 : 248 enodes (cost 700 ) 5.117 * * [simplify]: iteration 2 : 721 enodes (cost 590 ) 5.561 * * [simplify]: iteration 3 : 2885 enodes (cost 561 ) 6.386 * * [simplify]: iteration done : 5000 enodes (cost 561 ) 6.387 * [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)) (* (log y) (* 3 x)) (* 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)) (+ (* (+ z (- (* x (* 1 (log y))) y)) (- (* 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.387 * * * [progress]: adding candidates to table 6.620 * * [progress]: iteration 4 / 4 6.620 * * * [progress]: picking best candidate 6.631 * * * * [pick]: Picked # 6.631 * * * [progress]: localizing error 6.652 * * * [progress]: generating rewritten candidates 6.652 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2 1 1) 6.653 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 2 2 1) 6.654 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 1 1 1) 6.655 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1 2 2 1 1) 6.656 * * * [progress]: generating series expansions 6.656 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2 1 1) 6.656 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0 6.656 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 6.656 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 6.656 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 6.656 * [taylor]: Taking taylor expansion of 1/9 in y 6.656 * [taylor]: Taking taylor expansion of (log y) in y 6.656 * [taylor]: Taking taylor expansion of y in y 6.657 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 6.657 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 6.657 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 6.657 * [taylor]: Taking taylor expansion of 1/9 in y 6.657 * [taylor]: Taking taylor expansion of (log y) in y 6.657 * [taylor]: Taking taylor expansion of y in y 6.710 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0 6.710 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 6.710 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 6.710 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 6.710 * [taylor]: Taking taylor expansion of 1/9 in y 6.710 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.710 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.710 * [taylor]: Taking taylor expansion of y in y 6.711 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 6.711 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 6.711 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 6.711 * [taylor]: Taking taylor expansion of 1/9 in y 6.711 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.712 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.712 * [taylor]: Taking taylor expansion of y in y 6.763 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0 6.763 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 6.763 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 6.763 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 6.763 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 6.763 * [taylor]: Taking taylor expansion of 1/3 in y 6.763 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 6.763 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.763 * [taylor]: Taking taylor expansion of -1 in y 6.773 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 6.773 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 6.773 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 6.773 * [taylor]: Taking taylor expansion of 1/9 in y 6.773 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.773 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.773 * [taylor]: Taking taylor expansion of y in y 6.774 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 6.774 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 6.774 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 6.774 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 6.774 * [taylor]: Taking taylor expansion of 1/3 in y 6.774 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 6.774 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.774 * [taylor]: Taking taylor expansion of -1 in y 6.778 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 6.778 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 6.778 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 6.778 * [taylor]: Taking taylor expansion of 1/9 in y 6.778 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.778 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.778 * [taylor]: Taking taylor expansion of y in y 6.900 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 2 2 1) 6.900 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0 6.900 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 6.900 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 6.900 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 6.900 * [taylor]: Taking taylor expansion of 1/9 in y 6.900 * [taylor]: Taking taylor expansion of (log y) in y 6.900 * [taylor]: Taking taylor expansion of y in y 6.901 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 6.901 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 6.901 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 6.901 * [taylor]: Taking taylor expansion of 1/9 in y 6.901 * [taylor]: Taking taylor expansion of (log y) in y 6.901 * [taylor]: Taking taylor expansion of y in y 6.955 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0 6.956 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 6.956 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 6.956 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 6.956 * [taylor]: Taking taylor expansion of 1/9 in y 6.956 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.956 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.956 * [taylor]: Taking taylor expansion of y in y 6.957 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 6.957 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 6.957 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 6.957 * [taylor]: Taking taylor expansion of 1/9 in y 6.957 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.957 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.957 * [taylor]: Taking taylor expansion of y in y 7.015 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0 7.015 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 7.015 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 7.015 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 7.015 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 7.015 * [taylor]: Taking taylor expansion of 1/3 in y 7.015 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 7.015 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.015 * [taylor]: Taking taylor expansion of -1 in y 7.019 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 7.019 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 7.019 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 7.019 * [taylor]: Taking taylor expansion of 1/9 in y 7.019 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.019 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.019 * [taylor]: Taking taylor expansion of y in y 7.020 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 7.020 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 7.020 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 7.020 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 7.020 * [taylor]: Taking taylor expansion of 1/3 in y 7.020 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 7.020 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.020 * [taylor]: Taking taylor expansion of -1 in y 7.023 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 7.024 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 7.024 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 7.024 * [taylor]: Taking taylor expansion of 1/9 in y 7.024 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.024 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.024 * [taylor]: Taking taylor expansion of y in y 7.147 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 1 1 1) 7.147 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 7.147 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 7.147 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 7.147 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 7.147 * [taylor]: Taking taylor expansion of 1/3 in y 7.147 * [taylor]: Taking taylor expansion of (log y) in y 7.147 * [taylor]: Taking taylor expansion of y in y 7.148 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 7.148 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 7.148 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 7.148 * [taylor]: Taking taylor expansion of 1/3 in y 7.148 * [taylor]: Taking taylor expansion of (log y) in y 7.148 * [taylor]: Taking taylor expansion of y in y 7.202 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 7.203 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.203 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.203 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.203 * [taylor]: Taking taylor expansion of 1/3 in y 7.203 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.203 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.203 * [taylor]: Taking taylor expansion of y in y 7.204 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.204 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.204 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.204 * [taylor]: Taking taylor expansion of 1/3 in y 7.204 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.204 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.204 * [taylor]: Taking taylor expansion of y in y 7.261 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 7.261 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 7.261 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.261 * [taylor]: Taking taylor expansion of -1 in y 7.262 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.262 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.262 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.262 * [taylor]: Taking taylor expansion of 1/3 in y 7.262 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.262 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.262 * [taylor]: Taking taylor expansion of y in y 7.263 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 7.263 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.263 * [taylor]: Taking taylor expansion of -1 in y 7.264 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.264 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.264 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.264 * [taylor]: Taking taylor expansion of 1/3 in y 7.264 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.264 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.264 * [taylor]: Taking taylor expansion of y in y 7.334 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1 2 2 1 1) 7.334 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 7.334 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 7.334 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 7.334 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 7.334 * [taylor]: Taking taylor expansion of 1/3 in y 7.334 * [taylor]: Taking taylor expansion of (log y) in y 7.334 * [taylor]: Taking taylor expansion of y in y 7.334 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 7.335 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 7.335 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 7.335 * [taylor]: Taking taylor expansion of 1/3 in y 7.335 * [taylor]: Taking taylor expansion of (log y) in y 7.335 * [taylor]: Taking taylor expansion of y in y 7.390 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 7.390 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.390 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.390 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.390 * [taylor]: Taking taylor expansion of 1/3 in y 7.390 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.390 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.390 * [taylor]: Taking taylor expansion of y in y 7.391 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.391 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.391 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.391 * [taylor]: Taking taylor expansion of 1/3 in y 7.391 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.391 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.391 * [taylor]: Taking taylor expansion of y in y 7.444 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 7.444 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 7.444 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.444 * [taylor]: Taking taylor expansion of -1 in y 7.445 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.445 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.445 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.445 * [taylor]: Taking taylor expansion of 1/3 in y 7.445 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.445 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.445 * [taylor]: Taking taylor expansion of y in y 7.446 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 7.446 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.446 * [taylor]: Taking taylor expansion of -1 in y 7.447 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.447 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.447 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.447 * [taylor]: Taking taylor expansion of 1/3 in y 7.447 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.447 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.447 * [taylor]: Taking taylor expansion of y in y 7.517 * * * [progress]: simplifying candidates 7.518 * [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.520 * * [simplify]: iteration 0 : 42 enodes (cost 346 ) 7.527 * * [simplify]: iteration 1 : 75 enodes (cost 328 ) 7.545 * * [simplify]: iteration 2 : 147 enodes (cost 300 ) 7.568 * * [simplify]: iteration 3 : 306 enodes (cost 288 ) 7.631 * * [simplify]: iteration 4 : 845 enodes (cost 288 ) 7.978 * * [simplify]: iteration 5 : 3493 enodes (cost 288 ) 9.262 * * [simplify]: iteration done : 5001 enodes (cost 288 ) 9.262 * [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)) 9.263 * * * [progress]: adding candidates to table 9.559 * [progress]: [Phase 3 of 3] Extracting. 9.559 * * [regime]: Finding splitpoints for: (# # # # #) 9.561 * * * [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) 9.561 * * * * [regimes]: Trying to branch on (log t) from (# # # # #) 9.596 * * * * [regimes]: Trying to branch on (- (* x (log y)) y) from (# # # # #) 9.630 * * * * [regimes]: Trying to branch on (- (- (* x (log y)) y) z) from (# # # # #) 9.661 * * * * [regimes]: Trying to branch on (+ (- (- (* x (log y)) y) z) (log t)) from (# # # # #) 9.699 * * * * [regimes]: Trying to branch on t from (# # # # #) 9.729 * * * * [regimes]: Trying to branch on z from (# # # # #) 9.755 * * * * [regimes]: Trying to branch on y from (# # # # #) 9.783 * * * * [regimes]: Trying to branch on x from (# # # # #) 9.813 * * * [regime]: Found split indices: #