14.431 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.076 * * * [progress]: [2/2] Setting up program. 0.078 * [progress]: [Phase 2 of 3] Improving. 0.078 * [simplify]: Simplifying using # : (+ (- (- (* x (log y)) y) z) (log t)) 0.079 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 0.080 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 0.083 * * [simplify]: iteration 2 : 48 enodes (cost 11 ) 0.091 * * [simplify]: iteration 3 : 112 enodes (cost 11 ) 0.126 * * [simplify]: iteration 4 : 207 enodes (cost 11 ) 0.173 * * [simplify]: iteration 5 : 273 enodes (cost 11 ) 0.237 * * [simplify]: iteration 6 : 383 enodes (cost 11 ) 0.368 * * [simplify]: iteration 7 : 546 enodes (cost 11 ) 0.475 * * [simplify]: iteration 8 : 589 enodes (cost 11 ) 0.581 * * [simplify]: iteration 9 : 591 enodes (cost 11 ) 0.685 * * [simplify]: iteration done : 591 enodes (cost 11 ) 0.685 * [simplify]: Simplified to: (+ (- (- (* x (log y)) y) z) (log t)) 0.687 * * [progress]: iteration 1 / 4 0.687 * * * [progress]: picking best candidate 0.690 * * * * [pick]: Picked # 0.690 * * * [progress]: localizing error 0.700 * * * [progress]: generating rewritten candidates 0.700 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1) 0.704 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 0.708 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 0.779 * * * [progress]: generating series expansions 0.779 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1) 0.779 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0 0.779 * [taylor]: Taking taylor expansion of (* x (log y)) in y 0.779 * [taylor]: Taking taylor expansion of x in y 0.779 * [taylor]: Taking taylor expansion of (log y) in y 0.779 * [taylor]: Taking taylor expansion of y in y 0.780 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.780 * [taylor]: Taking taylor expansion of x in x 0.780 * [taylor]: Taking taylor expansion of (log y) in x 0.780 * [taylor]: Taking taylor expansion of y in x 0.780 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.780 * [taylor]: Taking taylor expansion of x in x 0.780 * [taylor]: Taking taylor expansion of (log y) in x 0.780 * [taylor]: Taking taylor expansion of y in x 0.780 * [taylor]: Taking taylor expansion of 0 in y 0.781 * [taylor]: Taking taylor expansion of (log y) in y 0.781 * [taylor]: Taking taylor expansion of y in y 0.783 * [taylor]: Taking taylor expansion of 0 in y 0.787 * [taylor]: Taking taylor expansion of 0 in y 0.787 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0 0.787 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) 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 y in y 0.788 * [taylor]: Taking taylor expansion of x in y 0.788 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.788 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.788 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.788 * [taylor]: Taking taylor expansion of y in x 0.788 * [taylor]: Taking taylor expansion of x in x 0.788 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.788 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.788 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.788 * [taylor]: Taking taylor expansion of y in x 0.788 * [taylor]: Taking taylor expansion of x in x 0.789 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.789 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.789 * [taylor]: Taking taylor expansion of y in y 0.791 * [taylor]: Taking taylor expansion of 0 in y 0.794 * [taylor]: Taking taylor expansion of 0 in y 0.799 * [taylor]: Taking taylor expansion of 0 in y 0.799 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0 0.799 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y 0.799 * [taylor]: Taking taylor expansion of -1 in y 0.799 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 0.799 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.799 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.799 * [taylor]: Taking taylor expansion of -1 in y 0.799 * [taylor]: Taking taylor expansion of y in y 0.799 * [taylor]: Taking taylor expansion of x in y 0.801 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 0.801 * [taylor]: Taking taylor expansion of -1 in x 0.801 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.801 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.801 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.801 * [taylor]: Taking taylor expansion of -1 in x 0.801 * [taylor]: Taking taylor expansion of y in x 0.801 * [taylor]: Taking taylor expansion of x in x 0.801 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 0.801 * [taylor]: Taking taylor expansion of -1 in x 0.801 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.801 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.801 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.801 * [taylor]: Taking taylor expansion of -1 in x 0.801 * [taylor]: Taking taylor expansion of y in x 0.801 * [taylor]: Taking taylor expansion of x in x 0.801 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y 0.801 * [taylor]: Taking taylor expansion of -1 in y 0.801 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.801 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.801 * [taylor]: Taking taylor expansion of -1 in y 0.801 * [taylor]: Taking taylor expansion of y in y 0.804 * [taylor]: Taking taylor expansion of 0 in y 0.809 * [taylor]: Taking taylor expansion of 0 in y 0.817 * [taylor]: Taking taylor expansion of 0 in y 0.817 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 0.817 * [approximate]: Taking taylor expansion of (- (* x (log y)) y) in (x y) around 0 0.817 * [taylor]: Taking taylor expansion of (- (* x (log y)) y) in y 0.817 * [taylor]: Taking taylor expansion of (* x (log y)) in y 0.817 * [taylor]: Taking taylor expansion of x in y 0.817 * [taylor]: Taking taylor expansion of (log y) in y 0.817 * [taylor]: Taking taylor expansion of y in y 0.818 * [taylor]: Taking taylor expansion of y in y 0.818 * [taylor]: Taking taylor expansion of (- (* x (log y)) y) in x 0.818 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.818 * [taylor]: Taking taylor expansion of x in x 0.818 * [taylor]: Taking taylor expansion of (log y) in x 0.818 * [taylor]: Taking taylor expansion of y in x 0.818 * [taylor]: Taking taylor expansion of y in x 0.818 * [taylor]: Taking taylor expansion of (- (* x (log y)) y) in x 0.818 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.818 * [taylor]: Taking taylor expansion of x in x 0.818 * [taylor]: Taking taylor expansion of (log y) in x 0.818 * [taylor]: Taking taylor expansion of y in x 0.818 * [taylor]: Taking taylor expansion of y in x 0.818 * [taylor]: Taking taylor expansion of (- y) in y 0.818 * [taylor]: Taking taylor expansion of y in y 0.819 * [taylor]: Taking taylor expansion of (log y) in y 0.819 * [taylor]: Taking taylor expansion of y in y 0.822 * [taylor]: Taking taylor expansion of 0 in y 0.826 * [taylor]: Taking taylor expansion of 0 in y 0.828 * [approximate]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 y)) in (x y) around 0 0.828 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 y)) in y 0.828 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 0.828 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.828 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.828 * [taylor]: Taking taylor expansion of y in y 0.828 * [taylor]: Taking taylor expansion of x in y 0.829 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.829 * [taylor]: Taking taylor expansion of y in y 0.829 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 y)) in x 0.829 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.829 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.829 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.829 * [taylor]: Taking taylor expansion of y in x 0.830 * [taylor]: Taking taylor expansion of x in x 0.830 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.830 * [taylor]: Taking taylor expansion of y in x 0.830 * [taylor]: Taking taylor expansion of (- (/ (log (/ 1 y)) x) (/ 1 y)) in x 0.830 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.830 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.830 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.830 * [taylor]: Taking taylor expansion of y in x 0.830 * [taylor]: Taking taylor expansion of x in x 0.830 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.830 * [taylor]: Taking taylor expansion of y in x 0.830 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.830 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.830 * [taylor]: Taking taylor expansion of y in y 0.832 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 0.832 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.832 * [taylor]: Taking taylor expansion of y in y 0.835 * [taylor]: Taking taylor expansion of 0 in y 0.840 * [taylor]: Taking taylor expansion of 0 in y 0.848 * [taylor]: Taking taylor expansion of 0 in y 0.848 * [approximate]: Taking taylor expansion of (- (/ 1 y) (/ (log (/ -1 y)) x)) in (x y) around 0 0.848 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ (log (/ -1 y)) x)) in y 0.849 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.849 * [taylor]: Taking taylor expansion of y in y 0.849 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 0.849 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.849 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.849 * [taylor]: Taking taylor expansion of -1 in y 0.849 * [taylor]: Taking taylor expansion of y in y 0.849 * [taylor]: Taking taylor expansion of x in y 0.851 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ (log (/ -1 y)) x)) in x 0.851 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.851 * [taylor]: Taking taylor expansion of y in x 0.851 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.851 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.851 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.851 * [taylor]: Taking taylor expansion of -1 in x 0.851 * [taylor]: Taking taylor expansion of y in x 0.851 * [taylor]: Taking taylor expansion of x in x 0.851 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ (log (/ -1 y)) x)) in x 0.851 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.851 * [taylor]: Taking taylor expansion of y in x 0.851 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.851 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.851 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.851 * [taylor]: Taking taylor expansion of -1 in x 0.851 * [taylor]: Taking taylor expansion of y in x 0.851 * [taylor]: Taking taylor expansion of x in x 0.851 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 0.851 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.851 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.851 * [taylor]: Taking taylor expansion of -1 in y 0.851 * [taylor]: Taking taylor expansion of y in y 0.853 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.853 * [taylor]: Taking taylor expansion of y in y 0.857 * [taylor]: Taking taylor expansion of 0 in y 0.869 * [taylor]: Taking taylor expansion of 0 in y 0.876 * [taylor]: Taking taylor expansion of 0 in y 0.877 * * * * [progress]: [ 3 / 3 ] generating series at (2) 0.877 * [approximate]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in (x y z t) around 0 0.877 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in t 0.877 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in t 0.877 * [taylor]: Taking taylor expansion of (* x (log y)) in t 0.877 * [taylor]: Taking taylor expansion of x in t 0.877 * [taylor]: Taking taylor expansion of (log y) in t 0.877 * [taylor]: Taking taylor expansion of y in t 0.877 * [taylor]: Taking taylor expansion of (log t) in t 0.877 * [taylor]: Taking taylor expansion of t in t 0.878 * [taylor]: Taking taylor expansion of (+ z y) in t 0.878 * [taylor]: Taking taylor expansion of z in t 0.878 * [taylor]: Taking taylor expansion of y in t 0.878 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in z 0.878 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in z 0.878 * [taylor]: Taking taylor expansion of (* x (log y)) in z 0.878 * [taylor]: Taking taylor expansion of x in z 0.878 * [taylor]: Taking taylor expansion of (log y) in z 0.878 * [taylor]: Taking taylor expansion of y in z 0.878 * [taylor]: Taking taylor expansion of (log t) in z 0.878 * [taylor]: Taking taylor expansion of t in z 0.878 * [taylor]: Taking taylor expansion of (+ z y) in z 0.878 * [taylor]: Taking taylor expansion of z in z 0.878 * [taylor]: Taking taylor expansion of y in z 0.878 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in y 0.878 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in y 0.878 * [taylor]: Taking taylor expansion of (* x (log y)) in y 0.878 * [taylor]: Taking taylor expansion of x in y 0.878 * [taylor]: Taking taylor expansion of (log y) in y 0.878 * [taylor]: Taking taylor expansion of y in y 0.878 * [taylor]: Taking taylor expansion of (log t) in y 0.878 * [taylor]: Taking taylor expansion of t in y 0.878 * [taylor]: Taking taylor expansion of (+ z y) in y 0.878 * [taylor]: Taking taylor expansion of z in y 0.878 * [taylor]: Taking taylor expansion of y in y 0.878 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in x 0.878 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in x 0.879 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.879 * [taylor]: Taking taylor expansion of x in x 0.879 * [taylor]: Taking taylor expansion of (log y) in x 0.879 * [taylor]: Taking taylor expansion of y in x 0.879 * [taylor]: Taking taylor expansion of (log t) in x 0.879 * [taylor]: Taking taylor expansion of t in x 0.879 * [taylor]: Taking taylor expansion of (+ z y) in x 0.879 * [taylor]: Taking taylor expansion of z in x 0.879 * [taylor]: Taking taylor expansion of y in x 0.879 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (log t)) (+ z y)) in x 0.879 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (log t)) in x 0.879 * [taylor]: Taking taylor expansion of (* x (log y)) in x 0.879 * [taylor]: Taking taylor expansion of x in x 0.879 * [taylor]: Taking taylor expansion of (log y) in x 0.879 * [taylor]: Taking taylor expansion of y in x 0.879 * [taylor]: Taking taylor expansion of (log t) in x 0.879 * [taylor]: Taking taylor expansion of t in x 0.879 * [taylor]: Taking taylor expansion of (+ z y) in x 0.879 * [taylor]: Taking taylor expansion of z in x 0.879 * [taylor]: Taking taylor expansion of y in x 0.879 * [taylor]: Taking taylor expansion of (- (log t) (+ z y)) in y 0.879 * [taylor]: Taking taylor expansion of (log t) in y 0.879 * [taylor]: Taking taylor expansion of t in y 0.879 * [taylor]: Taking taylor expansion of (+ z y) in y 0.879 * [taylor]: Taking taylor expansion of z in y 0.879 * [taylor]: Taking taylor expansion of y in y 0.879 * [taylor]: Taking taylor expansion of (- (log t) z) in z 0.879 * [taylor]: Taking taylor expansion of (log t) in z 0.879 * [taylor]: Taking taylor expansion of t in z 0.879 * [taylor]: Taking taylor expansion of z in z 0.880 * [taylor]: Taking taylor expansion of (log t) in t 0.880 * [taylor]: Taking taylor expansion of t in t 0.882 * [taylor]: Taking taylor expansion of (log y) in y 0.882 * [taylor]: Taking taylor expansion of y in y 0.883 * [taylor]: Taking taylor expansion of (log y) in z 0.883 * [taylor]: Taking taylor expansion of y in z 0.883 * [taylor]: Taking taylor expansion of (log y) in t 0.883 * [taylor]: Taking taylor expansion of y in t 0.885 * [taylor]: Taking taylor expansion of -1 in z 0.885 * [taylor]: Taking taylor expansion of -1 in t 0.885 * [approximate]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in (x y z t) around 0 0.885 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in t 0.885 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in t 0.885 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 0.885 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.885 * [taylor]: Taking taylor expansion of t in t 0.886 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in t 0.886 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in t 0.886 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.886 * [taylor]: Taking taylor expansion of y in t 0.886 * [taylor]: Taking taylor expansion of x in t 0.886 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in t 0.886 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.886 * [taylor]: Taking taylor expansion of y in t 0.886 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.886 * [taylor]: Taking taylor expansion of z in t 0.886 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in z 0.886 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in z 0.886 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 0.886 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.886 * [taylor]: Taking taylor expansion of t in z 0.886 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z 0.886 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 0.886 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.886 * [taylor]: Taking taylor expansion of y in z 0.886 * [taylor]: Taking taylor expansion of x in z 0.886 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z 0.886 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.886 * [taylor]: Taking taylor expansion of y in z 0.886 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.886 * [taylor]: Taking taylor expansion of z in z 0.887 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in y 0.887 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) 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 t in y 0.887 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 0.887 * [taylor]: Taking taylor expansion of (log (/ 1 y)) 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 x in y 0.888 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 0.888 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.888 * [taylor]: Taking taylor expansion of y in y 0.888 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.888 * [taylor]: Taking taylor expansion of z in y 0.888 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in x 0.888 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in x 0.888 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x 0.888 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.888 * [taylor]: Taking taylor expansion of t in x 0.888 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.888 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.888 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.889 * [taylor]: Taking taylor expansion of y in x 0.889 * [taylor]: Taking taylor expansion of x in x 0.889 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 0.889 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.889 * [taylor]: Taking taylor expansion of y in x 0.889 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.889 * [taylor]: Taking taylor expansion of z in x 0.889 * [taylor]: Taking taylor expansion of (- (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) (+ (/ 1 y) (/ 1 z))) in x 0.889 * [taylor]: Taking taylor expansion of (+ (log (/ 1 t)) (/ (log (/ 1 y)) x)) in x 0.889 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x 0.889 * [taylor]: Taking taylor expansion of (/ 1 t) in x 0.889 * [taylor]: Taking taylor expansion of t in x 0.889 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 0.889 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 0.889 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.889 * [taylor]: Taking taylor expansion of y in x 0.889 * [taylor]: Taking taylor expansion of x in x 0.889 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 0.889 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.889 * [taylor]: Taking taylor expansion of y in x 0.889 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.889 * [taylor]: Taking taylor expansion of z in x 0.889 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 0.889 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.889 * [taylor]: Taking taylor expansion of y in y 0.892 * [taylor]: Taking taylor expansion of (- (log (/ 1 t)) (+ (/ 1 y) (/ 1 z))) in y 0.892 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y 0.892 * [taylor]: Taking taylor expansion of (/ 1 t) in y 0.892 * [taylor]: Taking taylor expansion of t in y 0.892 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 0.892 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.892 * [taylor]: Taking taylor expansion of y in y 0.892 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.892 * [taylor]: Taking taylor expansion of z in y 0.893 * [taylor]: Taking taylor expansion of -1 in z 0.893 * [taylor]: Taking taylor expansion of (- (log y)) in z 0.893 * [taylor]: Taking taylor expansion of (log y) in z 0.893 * [taylor]: Taking taylor expansion of y in z 0.897 * [taylor]: Taking taylor expansion of 0 in y 0.898 * [taylor]: Taking taylor expansion of (- (log (/ 1 t)) (/ 1 z)) in z 0.898 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 0.898 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.898 * [taylor]: Taking taylor expansion of t in z 0.898 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.898 * [taylor]: Taking taylor expansion of z in z 0.898 * [taylor]: Taking taylor expansion of -1 in t 0.900 * [taylor]: Taking taylor expansion of 0 in z 0.900 * [taylor]: Taking taylor expansion of -1 in t 0.900 * [taylor]: Taking taylor expansion of (- (log y)) in t 0.900 * [taylor]: Taking taylor expansion of (log y) in t 0.900 * [taylor]: Taking taylor expansion of y in t 0.901 * [approximate]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in (x y z t) around 0 0.901 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in t 0.901 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in t 0.901 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in t 0.901 * [taylor]: Taking taylor expansion of (/ -1 t) in t 0.901 * [taylor]: Taking taylor expansion of -1 in t 0.901 * [taylor]: Taking taylor expansion of t in t 0.901 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in t 0.901 * [taylor]: Taking taylor expansion of (/ 1 y) in t 0.901 * [taylor]: Taking taylor expansion of y in t 0.901 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.901 * [taylor]: Taking taylor expansion of z in t 0.901 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in t 0.901 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in t 0.901 * [taylor]: Taking taylor expansion of (/ -1 y) in t 0.901 * [taylor]: Taking taylor expansion of -1 in t 0.902 * [taylor]: Taking taylor expansion of y in t 0.902 * [taylor]: Taking taylor expansion of x in t 0.902 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in z 0.902 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in z 0.902 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z 0.902 * [taylor]: Taking taylor expansion of (/ -1 t) in z 0.902 * [taylor]: Taking taylor expansion of -1 in z 0.902 * [taylor]: Taking taylor expansion of t in z 0.902 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in z 0.902 * [taylor]: Taking taylor expansion of (/ 1 y) in z 0.902 * [taylor]: Taking taylor expansion of y in z 0.902 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.902 * [taylor]: Taking taylor expansion of z in z 0.902 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z 0.902 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 0.902 * [taylor]: Taking taylor expansion of (/ -1 y) in z 0.902 * [taylor]: Taking taylor expansion of -1 in z 0.902 * [taylor]: Taking taylor expansion of y in z 0.902 * [taylor]: Taking taylor expansion of x in z 0.902 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in y 0.902 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in y 0.902 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y 0.902 * [taylor]: Taking taylor expansion of (/ -1 t) in y 0.902 * [taylor]: Taking taylor expansion of -1 in y 0.902 * [taylor]: Taking taylor expansion of t in y 0.903 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in y 0.903 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.903 * [taylor]: Taking taylor expansion of y in y 0.903 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.903 * [taylor]: Taking taylor expansion of z in y 0.903 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 0.903 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.903 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.903 * [taylor]: Taking taylor expansion of -1 in y 0.903 * [taylor]: Taking taylor expansion of y in y 0.903 * [taylor]: Taking taylor expansion of x in y 0.905 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in x 0.905 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in x 0.905 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x 0.905 * [taylor]: Taking taylor expansion of (/ -1 t) in x 0.905 * [taylor]: Taking taylor expansion of -1 in x 0.905 * [taylor]: Taking taylor expansion of t in x 0.905 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 0.905 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.905 * [taylor]: Taking taylor expansion of y in x 0.905 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.905 * [taylor]: Taking taylor expansion of z in x 0.905 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.905 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.905 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.905 * [taylor]: Taking taylor expansion of -1 in x 0.905 * [taylor]: Taking taylor expansion of y in x 0.905 * [taylor]: Taking taylor expansion of x in x 0.905 * [taylor]: Taking taylor expansion of (- (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) (/ (log (/ -1 y)) x)) in x 0.905 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (+ (/ 1 y) (/ 1 z))) in x 0.905 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in x 0.905 * [taylor]: Taking taylor expansion of (/ -1 t) in x 0.905 * [taylor]: Taking taylor expansion of -1 in x 0.905 * [taylor]: Taking taylor expansion of t in x 0.905 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 z)) in x 0.905 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.905 * [taylor]: Taking taylor expansion of y in x 0.906 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.906 * [taylor]: Taking taylor expansion of z in x 0.906 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 0.906 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 0.906 * [taylor]: Taking taylor expansion of (/ -1 y) in x 0.906 * [taylor]: Taking taylor expansion of -1 in x 0.906 * [taylor]: Taking taylor expansion of y in x 0.906 * [taylor]: Taking taylor expansion of x in x 0.906 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 0.906 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 0.906 * [taylor]: Taking taylor expansion of (/ -1 y) in y 0.906 * [taylor]: Taking taylor expansion of -1 in y 0.906 * [taylor]: Taking taylor expansion of y in y 0.908 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (log (/ -1 t)))) in y 0.908 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.908 * [taylor]: Taking taylor expansion of z in y 0.908 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (log (/ -1 t))) in y 0.908 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.908 * [taylor]: Taking taylor expansion of y in y 0.909 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in y 0.909 * [taylor]: Taking taylor expansion of (/ -1 t) in y 0.909 * [taylor]: Taking taylor expansion of -1 in y 0.909 * [taylor]: Taking taylor expansion of t in y 0.909 * [taylor]: Taking taylor expansion of 1 in z 0.910 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 0.910 * [taylor]: Taking taylor expansion of (log y) in z 0.910 * [taylor]: Taking taylor expansion of y in z 0.910 * [taylor]: Taking taylor expansion of (log -1) in z 0.910 * [taylor]: Taking taylor expansion of -1 in z 0.914 * [taylor]: Taking taylor expansion of 0 in y 0.915 * [taylor]: Taking taylor expansion of (+ (log (/ -1 t)) (/ 1 z)) in z 0.915 * [taylor]: Taking taylor expansion of (log (/ -1 t)) in z 0.915 * [taylor]: Taking taylor expansion of (/ -1 t) in z 0.915 * [taylor]: Taking taylor expansion of -1 in z 0.915 * [taylor]: Taking taylor expansion of t in z 0.915 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.915 * [taylor]: Taking taylor expansion of z in z 0.915 * [taylor]: Taking taylor expansion of 1 in t 0.917 * [taylor]: Taking taylor expansion of 0 in z 0.917 * [taylor]: Taking taylor expansion of 1 in t 0.918 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in t 0.918 * [taylor]: Taking taylor expansion of (log y) in t 0.918 * [taylor]: Taking taylor expansion of y in t 0.918 * [taylor]: Taking taylor expansion of (log -1) in t 0.918 * [taylor]: Taking taylor expansion of -1 in t 0.921 * * * [progress]: simplifying candidates 0.922 * [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)) (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)) 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.925 * * [simplify]: iteration 0 : 148 enodes (cost 857 ) 0.955 * * [simplify]: iteration 1 : 319 enodes (cost 828 ) 1.014 * * [simplify]: iteration 2 : 749 enodes (cost 776 ) 1.363 * * [simplify]: iteration 3 : 2361 enodes (cost 730 ) 2.039 * * [simplify]: iteration done : 5000 enodes (cost 730 ) 2.039 * [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)) (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 (- (* x (log y)) y) 3) (sqrt (- (* x (log y)) y)) (sqrt (- (* x (log y)) y)) (- (pow (* x (log y)) 3) (pow y 3)) (+ (* (+ (* x (log y)) y) (* (log y) x)) (* 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) (- (* (log y) x) y) (- (* x (log (cbrt y))) y) (- (* x (log (sqrt y))) y) (- (* (log y) x) y) (- y) (* t (/ (pow y x) (exp (+ z y)))) (* t (/ (pow y x) (exp (+ z y)))) (* t (/ (pow y x) (exp (+ z y)))) (log (+ (- (- (* x (log y)) y) z) (log t))) (* t (/ (pow y x) (exp (+ z y)))) (* (cbrt (+ (- (- (* x (log y)) y) z) (log t))) (cbrt (+ (- (- (* x (log y)) y) z) (log t)))) (cbrt (+ (- (- (* x (log y)) y) z) (log t))) (pow (+ (- (- (* x (log y)) y) z) (log t)) 3) (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) (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)) (+ (* 2 (log (cbrt t))) (- (- (* x (log y)) y) z)) (+ (- (- (* x (log y)) y) z) (log (sqrt t))) (- (- (* (log y) x) y) z) (- (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) (- (* (log y) x) y) (- (* (log y) x) y) (- (* (log y) x) y) (- (+ (* x (log y)) (log t)) y) (- (- (* (log y) x) y) z) (- (- (* (log y) x) y) z) 2.040 * * * [progress]: adding candidates to table 2.239 * * [progress]: iteration 2 / 4 2.239 * * * [progress]: picking best candidate 2.252 * * * * [pick]: Picked # 2.252 * * * [progress]: localizing error 2.268 * * * [progress]: generating rewritten candidates 2.268 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2 2 1) 2.269 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1 1 2 1) 2.269 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 2.278 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1) 2.291 * * * [progress]: generating series expansions 2.292 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2 2 1) 2.292 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 2.292 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.292 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.292 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.292 * [taylor]: Taking taylor expansion of 1/3 in y 2.292 * [taylor]: Taking taylor expansion of (log y) in y 2.292 * [taylor]: Taking taylor expansion of y in y 2.293 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.293 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.293 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.293 * [taylor]: Taking taylor expansion of 1/3 in y 2.293 * [taylor]: Taking taylor expansion of (log y) in y 2.293 * [taylor]: Taking taylor expansion of y in y 2.342 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 2.342 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.342 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.342 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.342 * [taylor]: Taking taylor expansion of 1/3 in y 2.342 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.342 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.342 * [taylor]: Taking taylor expansion of y in y 2.343 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.343 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.343 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.343 * [taylor]: Taking taylor expansion of 1/3 in y 2.343 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.343 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.343 * [taylor]: Taking taylor expansion of y in y 2.399 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 2.399 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 2.399 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.399 * [taylor]: Taking taylor expansion of -1 in y 2.400 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.400 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.400 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.400 * [taylor]: Taking taylor expansion of 1/3 in y 2.400 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.400 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.400 * [taylor]: Taking taylor expansion of y in y 2.401 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 2.401 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.401 * [taylor]: Taking taylor expansion of -1 in y 2.402 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.402 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.402 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.402 * [taylor]: Taking taylor expansion of 1/3 in y 2.402 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.402 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.402 * [taylor]: Taking taylor expansion of y in y 2.472 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1 1 2 1) 2.472 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 2.472 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.472 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.472 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.472 * [taylor]: Taking taylor expansion of 1/3 in y 2.472 * [taylor]: Taking taylor expansion of (log y) in y 2.472 * [taylor]: Taking taylor expansion of y in y 2.473 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.473 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.473 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.473 * [taylor]: Taking taylor expansion of 1/3 in y 2.473 * [taylor]: Taking taylor expansion of (log y) in y 2.473 * [taylor]: Taking taylor expansion of y in y 2.526 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 2.526 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.526 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.526 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.526 * [taylor]: Taking taylor expansion of 1/3 in y 2.526 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.526 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.527 * [taylor]: Taking taylor expansion of y in y 2.527 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.527 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.527 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.528 * [taylor]: Taking taylor expansion of 1/3 in y 2.528 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.528 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.528 * [taylor]: Taking taylor expansion of y in y 2.579 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 2.579 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 2.579 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.579 * [taylor]: Taking taylor expansion of -1 in y 2.580 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.580 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.580 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.580 * [taylor]: Taking taylor expansion of 1/3 in y 2.580 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.580 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.580 * [taylor]: Taking taylor expansion of y in y 2.581 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 2.581 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.581 * [taylor]: Taking taylor expansion of -1 in y 2.582 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.582 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.582 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.582 * [taylor]: Taking taylor expansion of 1/3 in y 2.582 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.582 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.582 * [taylor]: Taking taylor expansion of y in y 2.651 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 2.652 * [approximate]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in (y x) around 0 2.652 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x 2.652 * [taylor]: Taking taylor expansion of 3 in x 2.652 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 2.652 * [taylor]: Taking taylor expansion of x in x 2.652 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 2.652 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 2.652 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 2.652 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 2.652 * [taylor]: Taking taylor expansion of 1/3 in x 2.652 * [taylor]: Taking taylor expansion of (log y) in x 2.652 * [taylor]: Taking taylor expansion of y in x 2.652 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y 2.652 * [taylor]: Taking taylor expansion of 3 in y 2.652 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 2.652 * [taylor]: Taking taylor expansion of x in y 2.652 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 2.652 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.652 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.652 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.652 * [taylor]: Taking taylor expansion of 1/3 in y 2.652 * [taylor]: Taking taylor expansion of (log y) in y 2.652 * [taylor]: Taking taylor expansion of y in y 2.653 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y 2.653 * [taylor]: Taking taylor expansion of 3 in y 2.653 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 2.653 * [taylor]: Taking taylor expansion of x in y 2.653 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 2.653 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.653 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.653 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.653 * [taylor]: Taking taylor expansion of 1/3 in y 2.653 * [taylor]: Taking taylor expansion of (log y) in y 2.653 * [taylor]: Taking taylor expansion of y in y 2.654 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x 2.654 * [taylor]: Taking taylor expansion of 3 in x 2.654 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 2.654 * [taylor]: Taking taylor expansion of x in x 2.654 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 2.654 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 2.654 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 2.654 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 2.654 * [taylor]: Taking taylor expansion of 1/3 in x 2.654 * [taylor]: Taking taylor expansion of (log y) in x 2.654 * [taylor]: Taking taylor expansion of y in x 2.657 * [taylor]: Taking taylor expansion of 0 in x 2.665 * [taylor]: Taking taylor expansion of 0 in x 2.677 * [taylor]: Taking taylor expansion of 0 in x 2.677 * [approximate]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in (y x) around 0 2.677 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in x 2.677 * [taylor]: Taking taylor expansion of 3 in x 2.677 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 2.677 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 2.677 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 2.677 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 2.677 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 2.678 * [taylor]: Taking taylor expansion of 1/3 in x 2.678 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 2.678 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.678 * [taylor]: Taking taylor expansion of y in x 2.678 * [taylor]: Taking taylor expansion of x in x 2.678 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y 2.678 * [taylor]: Taking taylor expansion of 3 in y 2.678 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 2.678 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 2.678 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.678 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.678 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.678 * [taylor]: Taking taylor expansion of 1/3 in y 2.678 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.678 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.678 * [taylor]: Taking taylor expansion of y in y 2.684 * [taylor]: Taking taylor expansion of x in y 2.684 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y 2.684 * [taylor]: Taking taylor expansion of 3 in y 2.684 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 2.684 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 2.684 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.685 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.685 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.685 * [taylor]: Taking taylor expansion of 1/3 in y 2.685 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.685 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.685 * [taylor]: Taking taylor expansion of y in y 2.686 * [taylor]: Taking taylor expansion of x in y 2.686 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow y -1/3)) x)) in x 2.686 * [taylor]: Taking taylor expansion of 3 in x 2.686 * [taylor]: Taking taylor expansion of (/ (log (pow y -1/3)) x) in x 2.686 * [taylor]: Taking taylor expansion of (log (pow y -1/3)) in x 2.686 * [taylor]: Taking taylor expansion of (pow y -1/3) in x 2.686 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log y))) in x 2.686 * [taylor]: Taking taylor expansion of (* -1/3 (log y)) in x 2.686 * [taylor]: Taking taylor expansion of -1/3 in x 2.686 * [taylor]: Taking taylor expansion of (log y) in x 2.686 * [taylor]: Taking taylor expansion of y in x 2.687 * [taylor]: Taking taylor expansion of x in x 2.690 * [taylor]: Taking taylor expansion of 0 in x 2.698 * [taylor]: Taking taylor expansion of 0 in x 2.711 * [taylor]: Taking taylor expansion of 0 in x 2.719 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in (y x) around 0 2.719 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in x 2.719 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 2.719 * [taylor]: Taking taylor expansion of 3 in x 2.719 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 2.719 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 2.719 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 2.719 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.719 * [taylor]: Taking taylor expansion of -1 in x 2.720 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 2.720 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 2.720 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 2.720 * [taylor]: Taking taylor expansion of 1/3 in x 2.720 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 2.720 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.720 * [taylor]: Taking taylor expansion of y in x 2.721 * [taylor]: Taking taylor expansion of x in x 2.721 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in y 2.721 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 2.721 * [taylor]: Taking taylor expansion of 3 in y 2.721 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 2.721 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 2.721 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 2.721 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.721 * [taylor]: Taking taylor expansion of -1 in y 2.722 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.722 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.722 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.722 * [taylor]: Taking taylor expansion of 1/3 in y 2.722 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.722 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.722 * [taylor]: Taking taylor expansion of y in y 2.724 * [taylor]: Taking taylor expansion of x in y 2.724 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in y 2.724 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 2.724 * [taylor]: Taking taylor expansion of 3 in y 2.724 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 2.724 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 2.724 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 2.724 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.724 * [taylor]: Taking taylor expansion of -1 in y 2.725 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.725 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.725 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.725 * [taylor]: Taking taylor expansion of 1/3 in y 2.725 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.725 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.725 * [taylor]: Taking taylor expansion of y in y 2.727 * [taylor]: Taking taylor expansion of x in y 2.728 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in x 2.728 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 2.728 * [taylor]: Taking taylor expansion of 3 in x 2.728 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 2.728 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 2.728 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 2.728 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.728 * [taylor]: Taking taylor expansion of -1 in x 2.729 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 2.729 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 2.729 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 2.729 * [taylor]: Taking taylor expansion of 1/3 in x 2.729 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 2.729 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.729 * [taylor]: Taking taylor expansion of y in x 2.730 * [taylor]: Taking taylor expansion of x in x 2.736 * [taylor]: Taking taylor expansion of 0 in x 2.749 * [taylor]: Taking taylor expansion of 0 in x 2.769 * [taylor]: Taking taylor expansion of 0 in x 2.785 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1) 2.785 * [approximate]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in (y x) around 0 2.785 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in x 2.785 * [taylor]: Taking taylor expansion of 2 in x 2.786 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 2.786 * [taylor]: Taking taylor expansion of x in x 2.786 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 2.786 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 2.786 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 2.786 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 2.786 * [taylor]: Taking taylor expansion of 1/3 in x 2.786 * [taylor]: Taking taylor expansion of (log y) in x 2.786 * [taylor]: Taking taylor expansion of y in x 2.786 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in y 2.786 * [taylor]: Taking taylor expansion of 2 in y 2.786 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 2.786 * [taylor]: Taking taylor expansion of x in y 2.786 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 2.786 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.786 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.786 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.786 * [taylor]: Taking taylor expansion of 1/3 in y 2.786 * [taylor]: Taking taylor expansion of (log y) in y 2.786 * [taylor]: Taking taylor expansion of y in y 2.787 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in y 2.787 * [taylor]: Taking taylor expansion of 2 in y 2.787 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 2.787 * [taylor]: Taking taylor expansion of x in y 2.787 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 2.787 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 2.787 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 2.787 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 2.787 * [taylor]: Taking taylor expansion of 1/3 in y 2.787 * [taylor]: Taking taylor expansion of (log y) in y 2.787 * [taylor]: Taking taylor expansion of y in y 2.788 * [taylor]: Taking taylor expansion of (* 2 (* x (log (pow y 1/3)))) in x 2.788 * [taylor]: Taking taylor expansion of 2 in x 2.788 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 2.788 * [taylor]: Taking taylor expansion of x in x 2.788 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 2.788 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 2.788 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 2.788 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 2.788 * [taylor]: Taking taylor expansion of 1/3 in x 2.788 * [taylor]: Taking taylor expansion of (log y) in x 2.788 * [taylor]: Taking taylor expansion of y in x 2.791 * [taylor]: Taking taylor expansion of 0 in x 2.799 * [taylor]: Taking taylor expansion of 0 in x 2.812 * [taylor]: Taking taylor expansion of 0 in x 2.812 * [approximate]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in (y x) around 0 2.812 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in x 2.812 * [taylor]: Taking taylor expansion of 2 in x 2.812 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 2.812 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 2.812 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 2.812 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 2.812 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 2.812 * [taylor]: Taking taylor expansion of 1/3 in x 2.812 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 2.812 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.812 * [taylor]: Taking taylor expansion of y in x 2.812 * [taylor]: Taking taylor expansion of x in x 2.812 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in y 2.812 * [taylor]: Taking taylor expansion of 2 in y 2.812 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 2.812 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 2.812 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.812 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.813 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.813 * [taylor]: Taking taylor expansion of 1/3 in y 2.813 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.813 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.813 * [taylor]: Taking taylor expansion of y in y 2.813 * [taylor]: Taking taylor expansion of x in y 2.814 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow (/ 1 y) 1/3)) x)) in y 2.814 * [taylor]: Taking taylor expansion of 2 in y 2.814 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 2.814 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 2.814 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.814 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.814 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.814 * [taylor]: Taking taylor expansion of 1/3 in y 2.814 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.814 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.814 * [taylor]: Taking taylor expansion of y in y 2.815 * [taylor]: Taking taylor expansion of x in y 2.815 * [taylor]: Taking taylor expansion of (* 2 (/ (log (pow y -1/3)) x)) in x 2.815 * [taylor]: Taking taylor expansion of 2 in x 2.815 * [taylor]: Taking taylor expansion of (/ (log (pow y -1/3)) x) in x 2.815 * [taylor]: Taking taylor expansion of (log (pow y -1/3)) in x 2.815 * [taylor]: Taking taylor expansion of (pow y -1/3) in x 2.815 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log y))) in x 2.815 * [taylor]: Taking taylor expansion of (* -1/3 (log y)) in x 2.815 * [taylor]: Taking taylor expansion of -1/3 in x 2.815 * [taylor]: Taking taylor expansion of (log y) in x 2.815 * [taylor]: Taking taylor expansion of y in x 2.815 * [taylor]: Taking taylor expansion of x in x 2.819 * [taylor]: Taking taylor expansion of 0 in x 2.826 * [taylor]: Taking taylor expansion of 0 in x 2.839 * [taylor]: Taking taylor expansion of 0 in x 2.847 * [approximate]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in (y x) around 0 2.847 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 2.847 * [taylor]: Taking taylor expansion of -2 in x 2.847 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 2.847 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 2.847 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 2.847 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.847 * [taylor]: Taking taylor expansion of -1 in x 2.848 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 2.848 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 2.848 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 2.848 * [taylor]: Taking taylor expansion of 1/3 in x 2.848 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 2.848 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.848 * [taylor]: Taking taylor expansion of y in x 2.849 * [taylor]: Taking taylor expansion of x in x 2.849 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 2.849 * [taylor]: Taking taylor expansion of -2 in y 2.849 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 2.849 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 2.849 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 2.849 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.849 * [taylor]: Taking taylor expansion of -1 in y 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 x in y 2.852 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 2.852 * [taylor]: Taking taylor expansion of -2 in y 2.852 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 2.852 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 2.852 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 2.852 * [taylor]: Taking taylor expansion of (cbrt -1) in y 2.852 * [taylor]: Taking taylor expansion of -1 in y 2.853 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 2.853 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 2.853 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 2.853 * [taylor]: Taking taylor expansion of 1/3 in y 2.853 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.853 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.853 * [taylor]: Taking taylor expansion of y in y 2.854 * [taylor]: Taking taylor expansion of x in y 2.855 * [taylor]: Taking taylor expansion of (* -2 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 2.855 * [taylor]: Taking taylor expansion of -2 in x 2.855 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 2.855 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 2.855 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 2.855 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.855 * [taylor]: Taking taylor expansion of -1 in x 2.856 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 2.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 2.856 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 2.856 * [taylor]: Taking taylor expansion of 1/3 in x 2.856 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 2.856 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.856 * [taylor]: Taking taylor expansion of y in x 2.857 * [taylor]: Taking taylor expansion of x in x 2.869 * [taylor]: Taking taylor expansion of 0 in x 2.881 * [taylor]: Taking taylor expansion of 0 in x 2.900 * [taylor]: Taking taylor expansion of 0 in x 2.911 * * * [progress]: simplifying candidates 2.912 * [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))))) 2.915 * * [simplify]: iteration 0 : 123 enodes (cost 811 ) 2.946 * * [simplify]: iteration 1 : 294 enodes (cost 731 ) 3.067 * * [simplify]: iteration 2 : 977 enodes (cost 551 ) 3.865 * * [simplify]: iteration done : 5000 enodes (cost 537 ) 3.866 * [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 (cbrt y)))) (* 2/3 (log 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 (cbrt y)))) (* 2/3 (log 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))) (* (* 2/3 (log y)) (sqrt x)) (* 2/3 (log y)) (* (log (cbrt y)) x) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) (* (log (cbrt y)) (* 3 x)) (* x (* (* -1/3 (- (log y))) 3)) (* (* 3 x) (log (* (cbrt -1) (cbrt (- y))))) (* (* 2/3 (log y)) x) (* (* -1/3 (- (log y))) (* 2 x)) (* (* 2 x) (log (* (cbrt -1) (cbrt (- y))))) 3.866 * * * [progress]: adding candidates to table 4.144 * * [progress]: iteration 3 / 4 4.144 * * * [progress]: picking best candidate 4.151 * * * * [pick]: Picked # 4.151 * * * [progress]: localizing error 4.165 * * * [progress]: generating rewritten candidates 4.165 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 4.166 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1) 4.166 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1) 4.170 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 4.360 * * * [progress]: generating series expansions 4.360 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 4.360 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0 4.360 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 4.360 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 4.360 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 4.360 * [taylor]: Taking taylor expansion of 1/3 in t 4.360 * [taylor]: Taking taylor expansion of (log t) in t 4.360 * [taylor]: Taking taylor expansion of t in t 4.361 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 4.361 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 4.361 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 4.361 * [taylor]: Taking taylor expansion of 1/3 in t 4.361 * [taylor]: Taking taylor expansion of (log t) in t 4.361 * [taylor]: Taking taylor expansion of t in t 4.412 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0 4.412 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 4.412 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 4.412 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 4.412 * [taylor]: Taking taylor expansion of 1/3 in t 4.412 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 4.412 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.412 * [taylor]: Taking taylor expansion of t in t 4.413 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 4.413 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 4.413 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 4.413 * [taylor]: Taking taylor expansion of 1/3 in t 4.413 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 4.413 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.413 * [taylor]: Taking taylor expansion of t in t 4.472 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in (t) around 0 4.472 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 4.472 * [taylor]: Taking taylor expansion of (cbrt -1) in t 4.472 * [taylor]: Taking taylor expansion of -1 in t 4.473 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 4.473 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 4.473 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 4.473 * [taylor]: Taking taylor expansion of 1/3 in t 4.473 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 4.473 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.473 * [taylor]: Taking taylor expansion of t in t 4.473 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 4.474 * [taylor]: Taking taylor expansion of (cbrt -1) in t 4.474 * [taylor]: Taking taylor expansion of -1 in t 4.474 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 4.474 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 4.474 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 4.474 * [taylor]: Taking taylor expansion of 1/3 in t 4.474 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 4.474 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.474 * [taylor]: Taking taylor expansion of t in t 4.542 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1) 4.542 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0 4.542 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 4.542 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 4.542 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 4.542 * [taylor]: Taking taylor expansion of 1/3 in t 4.543 * [taylor]: Taking taylor expansion of (log t) in t 4.543 * [taylor]: Taking taylor expansion of t in t 4.543 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 4.543 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 4.543 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 4.543 * [taylor]: Taking taylor expansion of 1/3 in t 4.543 * [taylor]: Taking taylor expansion of (log t) in t 4.543 * [taylor]: Taking taylor expansion of t in t 4.591 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0 4.591 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 4.591 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 4.591 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 4.591 * [taylor]: Taking taylor expansion of 1/3 in t 4.591 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 4.591 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.591 * [taylor]: Taking taylor expansion of t in t 4.592 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 4.592 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 4.592 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 4.592 * [taylor]: Taking taylor expansion of 1/3 in t 4.592 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 4.592 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.592 * [taylor]: Taking taylor expansion of t in t 4.650 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in (t) around 0 4.650 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 4.650 * [taylor]: Taking taylor expansion of (cbrt -1) in t 4.650 * [taylor]: Taking taylor expansion of -1 in t 4.650 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 4.650 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 4.650 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 4.651 * [taylor]: Taking taylor expansion of 1/3 in t 4.651 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 4.651 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.651 * [taylor]: Taking taylor expansion of t in t 4.651 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 4.651 * [taylor]: Taking taylor expansion of (cbrt -1) in t 4.651 * [taylor]: Taking taylor expansion of -1 in t 4.652 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 4.652 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 4.652 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 4.652 * [taylor]: Taking taylor expansion of 1/3 in t 4.652 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 4.652 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.652 * [taylor]: Taking taylor expansion of t in t 4.720 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1) 4.720 * [approximate]: Taking taylor expansion of (* x (log y)) in (x y) around 0 4.720 * [taylor]: Taking taylor expansion of (* x (log y)) in y 4.720 * [taylor]: Taking taylor expansion of x in y 4.720 * [taylor]: Taking taylor expansion of (log y) in y 4.720 * [taylor]: Taking taylor expansion of y in y 4.720 * [taylor]: Taking taylor expansion of (* x (log y)) in x 4.720 * [taylor]: Taking taylor expansion of x in x 4.720 * [taylor]: Taking taylor expansion of (log y) in x 4.720 * [taylor]: Taking taylor expansion of y in x 4.720 * [taylor]: Taking taylor expansion of (* x (log y)) in x 4.720 * [taylor]: Taking taylor expansion of x in x 4.720 * [taylor]: Taking taylor expansion of (log y) in x 4.720 * [taylor]: Taking taylor expansion of y in x 4.721 * [taylor]: Taking taylor expansion of 0 in y 4.721 * [taylor]: Taking taylor expansion of (log y) in y 4.721 * [taylor]: Taking taylor expansion of y in y 4.723 * [taylor]: Taking taylor expansion of 0 in y 4.727 * [taylor]: Taking taylor expansion of 0 in y 4.727 * [approximate]: Taking taylor expansion of (/ (log (/ 1 y)) x) in (x y) around 0 4.727 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 4.727 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.727 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.727 * [taylor]: Taking taylor expansion of y in y 4.727 * [taylor]: Taking taylor expansion of x in y 4.728 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 4.728 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.728 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.728 * [taylor]: Taking taylor expansion of y in x 4.728 * [taylor]: Taking taylor expansion of x in x 4.728 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 4.728 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.728 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.728 * [taylor]: Taking taylor expansion of y in x 4.729 * [taylor]: Taking taylor expansion of x in x 4.729 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.729 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.729 * [taylor]: Taking taylor expansion of y in y 4.731 * [taylor]: Taking taylor expansion of 0 in y 4.734 * [taylor]: Taking taylor expansion of 0 in y 4.739 * [taylor]: Taking taylor expansion of 0 in y 4.740 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in (x y) around 0 4.740 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in y 4.740 * [taylor]: Taking taylor expansion of -1 in y 4.740 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 4.740 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 4.740 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.740 * [taylor]: Taking taylor expansion of -1 in y 4.740 * [taylor]: Taking taylor expansion of y in y 4.740 * [taylor]: Taking taylor expansion of x in y 4.742 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 4.742 * [taylor]: Taking taylor expansion of -1 in x 4.742 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 4.742 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 4.742 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.742 * [taylor]: Taking taylor expansion of -1 in x 4.742 * [taylor]: Taking taylor expansion of y in x 4.742 * [taylor]: Taking taylor expansion of x in x 4.742 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 y)) x)) in x 4.742 * [taylor]: Taking taylor expansion of -1 in x 4.742 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 4.742 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 4.742 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.742 * [taylor]: Taking taylor expansion of -1 in x 4.742 * [taylor]: Taking taylor expansion of y in x 4.742 * [taylor]: Taking taylor expansion of x in x 4.742 * [taylor]: Taking taylor expansion of (* -1 (log (/ -1 y))) in y 4.742 * [taylor]: Taking taylor expansion of -1 in y 4.742 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 4.742 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.742 * [taylor]: Taking taylor expansion of -1 in y 4.742 * [taylor]: Taking taylor expansion of y in y 4.745 * [taylor]: Taking taylor expansion of 0 in y 4.751 * [taylor]: Taking taylor expansion of 0 in y 4.758 * [taylor]: Taking taylor expansion of 0 in y 4.758 * * * * [progress]: [ 4 / 4 ] generating series at (2) 4.758 * [approximate]: Taking taylor expansion of (- (+ (* x (log y)) (* 3 (log (pow t 1/3)))) (+ z y)) in (t x y z) around 0 4.758 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (* 3 (log (pow t 1/3)))) (+ z y)) in z 4.758 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (* 3 (log (pow t 1/3)))) in z 4.758 * [taylor]: Taking taylor expansion of (* x (log y)) in z 4.758 * [taylor]: Taking taylor expansion of x in z 4.758 * [taylor]: Taking taylor expansion of (log y) in z 4.758 * [taylor]: Taking taylor expansion of y in z 4.758 * [taylor]: Taking taylor expansion of (* 3 (log (pow t 1/3))) in z 4.758 * [taylor]: Taking taylor expansion of 3 in z 4.758 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in z 4.758 * [taylor]: Taking taylor expansion of (pow t 1/3) in z 4.758 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in z 4.758 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in z 4.759 * [taylor]: Taking taylor expansion of 1/3 in z 4.759 * [taylor]: Taking taylor expansion of (log t) in z 4.759 * [taylor]: Taking taylor expansion of t in z 4.759 * [taylor]: Taking taylor expansion of (+ z y) in z 4.759 * [taylor]: Taking taylor expansion of z in z 4.759 * [taylor]: Taking taylor expansion of y in z 4.759 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (* 3 (log (pow t 1/3)))) (+ z y)) in y 4.759 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (* 3 (log (pow t 1/3)))) in y 4.759 * [taylor]: Taking taylor expansion of (* x (log y)) in y 4.759 * [taylor]: Taking taylor expansion of x in y 4.759 * [taylor]: Taking taylor expansion of (log y) in y 4.759 * [taylor]: Taking taylor expansion of y in y 4.759 * [taylor]: Taking taylor expansion of (* 3 (log (pow t 1/3))) in y 4.759 * [taylor]: Taking taylor expansion of 3 in y 4.759 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in y 4.759 * [taylor]: Taking taylor expansion of (pow t 1/3) in y 4.759 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in y 4.759 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in y 4.759 * [taylor]: Taking taylor expansion of 1/3 in y 4.759 * [taylor]: Taking taylor expansion of (log t) in y 4.759 * [taylor]: Taking taylor expansion of t in y 4.759 * [taylor]: Taking taylor expansion of (+ z y) in y 4.759 * [taylor]: Taking taylor expansion of z in y 4.759 * [taylor]: Taking taylor expansion of y in y 4.760 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (* 3 (log (pow t 1/3)))) (+ z y)) in x 4.760 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (* 3 (log (pow t 1/3)))) in x 4.760 * [taylor]: Taking taylor expansion of (* x (log y)) in x 4.760 * [taylor]: Taking taylor expansion of x in x 4.760 * [taylor]: Taking taylor expansion of (log y) in x 4.760 * [taylor]: Taking taylor expansion of y in x 4.760 * [taylor]: Taking taylor expansion of (* 3 (log (pow t 1/3))) in x 4.760 * [taylor]: Taking taylor expansion of 3 in x 4.760 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in x 4.760 * [taylor]: Taking taylor expansion of (pow t 1/3) in x 4.760 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in x 4.760 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in x 4.760 * [taylor]: Taking taylor expansion of 1/3 in x 4.760 * [taylor]: Taking taylor expansion of (log t) in x 4.760 * [taylor]: Taking taylor expansion of t in x 4.760 * [taylor]: Taking taylor expansion of (+ z y) in x 4.760 * [taylor]: Taking taylor expansion of z in x 4.760 * [taylor]: Taking taylor expansion of y in x 4.760 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (* 3 (log (pow t 1/3)))) (+ z y)) in t 4.760 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (* 3 (log (pow t 1/3)))) in t 4.760 * [taylor]: Taking taylor expansion of (* x (log y)) in t 4.760 * [taylor]: Taking taylor expansion of x in t 4.760 * [taylor]: Taking taylor expansion of (log y) in t 4.760 * [taylor]: Taking taylor expansion of y in t 4.760 * [taylor]: Taking taylor expansion of (* 3 (log (pow t 1/3))) in t 4.760 * [taylor]: Taking taylor expansion of 3 in t 4.760 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in t 4.760 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 4.760 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 4.760 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 4.760 * [taylor]: Taking taylor expansion of 1/3 in t 4.760 * [taylor]: Taking taylor expansion of (log t) in t 4.760 * [taylor]: Taking taylor expansion of t in t 4.761 * [taylor]: Taking taylor expansion of (+ z y) in t 4.761 * [taylor]: Taking taylor expansion of z in t 4.761 * [taylor]: Taking taylor expansion of y in t 4.761 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (* 3 (log (pow t 1/3)))) (+ z y)) in t 4.761 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (* 3 (log (pow t 1/3)))) in t 4.761 * [taylor]: Taking taylor expansion of (* x (log y)) in t 4.761 * [taylor]: Taking taylor expansion of x in t 4.761 * [taylor]: Taking taylor expansion of (log y) in t 4.761 * [taylor]: Taking taylor expansion of y in t 4.761 * [taylor]: Taking taylor expansion of (* 3 (log (pow t 1/3))) in t 4.761 * [taylor]: Taking taylor expansion of 3 in t 4.761 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in t 4.761 * [taylor]: Taking taylor expansion of (pow t 1/3) in t 4.761 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t 4.761 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t 4.761 * [taylor]: Taking taylor expansion of 1/3 in t 4.761 * [taylor]: Taking taylor expansion of (log t) in t 4.761 * [taylor]: Taking taylor expansion of t in t 4.762 * [taylor]: Taking taylor expansion of (+ z y) in t 4.762 * [taylor]: Taking taylor expansion of z in t 4.762 * [taylor]: Taking taylor expansion of y in t 4.762 * [taylor]: Taking taylor expansion of (- (+ (* x (log y)) (* 3 (log (pow t 1/3)))) (+ z y)) in x 4.762 * [taylor]: Taking taylor expansion of (+ (* x (log y)) (* 3 (log (pow t 1/3)))) in x 4.762 * [taylor]: Taking taylor expansion of (* x (log y)) in x 4.762 * [taylor]: Taking taylor expansion of x in x 4.762 * [taylor]: Taking taylor expansion of (log y) in x 4.762 * [taylor]: Taking taylor expansion of y in x 4.763 * [taylor]: Taking taylor expansion of (* 3 (log (pow t 1/3))) in x 4.763 * [taylor]: Taking taylor expansion of 3 in x 4.763 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in x 4.763 * [taylor]: Taking taylor expansion of (pow t 1/3) in x 4.763 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in x 4.763 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in x 4.763 * [taylor]: Taking taylor expansion of 1/3 in x 4.763 * [taylor]: Taking taylor expansion of (log t) in x 4.763 * [taylor]: Taking taylor expansion of t in x 4.763 * [taylor]: Taking taylor expansion of (+ z y) in x 4.763 * [taylor]: Taking taylor expansion of z in x 4.763 * [taylor]: Taking taylor expansion of y in x 4.763 * [taylor]: Taking taylor expansion of (- (* 3 (log (pow t 1/3))) (+ z y)) in y 4.763 * [taylor]: Taking taylor expansion of (* 3 (log (pow t 1/3))) in y 4.763 * [taylor]: Taking taylor expansion of 3 in y 4.763 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in y 4.763 * [taylor]: Taking taylor expansion of (pow t 1/3) in y 4.763 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in y 4.763 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in y 4.763 * [taylor]: Taking taylor expansion of 1/3 in y 4.763 * [taylor]: Taking taylor expansion of (log t) in y 4.763 * [taylor]: Taking taylor expansion of t in y 4.763 * [taylor]: Taking taylor expansion of (+ z y) in y 4.763 * [taylor]: Taking taylor expansion of z in y 4.763 * [taylor]: Taking taylor expansion of y in y 4.764 * [taylor]: Taking taylor expansion of (- (* 3 (log (pow t 1/3))) z) in z 4.764 * [taylor]: Taking taylor expansion of (* 3 (log (pow t 1/3))) in z 4.764 * [taylor]: Taking taylor expansion of 3 in z 4.764 * [taylor]: Taking taylor expansion of (log (pow t 1/3)) in z 4.764 * [taylor]: Taking taylor expansion of (pow t 1/3) in z 4.764 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in z 4.764 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in z 4.764 * [taylor]: Taking taylor expansion of 1/3 in z 4.764 * [taylor]: Taking taylor expansion of (log t) in z 4.764 * [taylor]: Taking taylor expansion of t in z 4.764 * [taylor]: Taking taylor expansion of z in z 4.768 * [taylor]: Taking taylor expansion of 0 in x 4.769 * [taylor]: Taking taylor expansion of 0 in y 4.769 * [taylor]: Taking taylor expansion of 0 in z 4.772 * [taylor]: Taking taylor expansion of (log y) in y 4.772 * [taylor]: Taking taylor expansion of y in y 4.772 * [taylor]: Taking taylor expansion of (log y) in z 4.772 * [taylor]: Taking taylor expansion of y in z 4.782 * [taylor]: Taking taylor expansion of -1 in z 4.783 * [approximate]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) x) (* 3 (log (pow (/ 1 t) 1/3)))) (+ (/ 1 z) (/ 1 y))) in (t x y z) around 0 4.783 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) x) (* 3 (log (pow (/ 1 t) 1/3)))) (+ (/ 1 z) (/ 1 y))) in z 4.783 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (* 3 (log (pow (/ 1 t) 1/3)))) in z 4.783 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in z 4.783 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 4.783 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.783 * [taylor]: Taking taylor expansion of y in z 4.783 * [taylor]: Taking taylor expansion of x in z 4.783 * [taylor]: Taking taylor expansion of (* 3 (log (pow (/ 1 t) 1/3))) in z 4.783 * [taylor]: Taking taylor expansion of 3 in z 4.783 * [taylor]: Taking taylor expansion of (log (pow (/ 1 t) 1/3)) in z 4.783 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z 4.783 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z 4.784 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z 4.784 * [taylor]: Taking taylor expansion of 1/3 in z 4.784 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 4.784 * [taylor]: Taking taylor expansion of (/ 1 t) in z 4.784 * [taylor]: Taking taylor expansion of t in z 4.784 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in z 4.784 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.784 * [taylor]: Taking taylor expansion of z in z 4.784 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.784 * [taylor]: Taking taylor expansion of y in z 4.784 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) x) (* 3 (log (pow (/ 1 t) 1/3)))) (+ (/ 1 z) (/ 1 y))) in y 4.784 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (* 3 (log (pow (/ 1 t) 1/3)))) in y 4.784 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in y 4.784 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.784 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.784 * [taylor]: Taking taylor expansion of y in y 4.785 * [taylor]: Taking taylor expansion of x in y 4.785 * [taylor]: Taking taylor expansion of (* 3 (log (pow (/ 1 t) 1/3))) in y 4.785 * [taylor]: Taking taylor expansion of 3 in y 4.785 * [taylor]: Taking taylor expansion of (log (pow (/ 1 t) 1/3)) in y 4.785 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in y 4.785 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in y 4.785 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in y 4.786 * [taylor]: Taking taylor expansion of 1/3 in y 4.786 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y 4.786 * [taylor]: Taking taylor expansion of (/ 1 t) in y 4.786 * [taylor]: Taking taylor expansion of t in y 4.786 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 4.786 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.786 * [taylor]: Taking taylor expansion of z in y 4.786 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.786 * [taylor]: Taking taylor expansion of y in y 4.786 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) x) (* 3 (log (pow (/ 1 t) 1/3)))) (+ (/ 1 z) (/ 1 y))) in x 4.786 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (* 3 (log (pow (/ 1 t) 1/3)))) in x 4.786 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 4.786 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.786 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.786 * [taylor]: Taking taylor expansion of y in x 4.786 * [taylor]: Taking taylor expansion of x in x 4.786 * [taylor]: Taking taylor expansion of (* 3 (log (pow (/ 1 t) 1/3))) in x 4.786 * [taylor]: Taking taylor expansion of 3 in x 4.786 * [taylor]: Taking taylor expansion of (log (pow (/ 1 t) 1/3)) in x 4.786 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in x 4.786 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in x 4.786 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in x 4.786 * [taylor]: Taking taylor expansion of 1/3 in x 4.787 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x 4.787 * [taylor]: Taking taylor expansion of (/ 1 t) in x 4.787 * [taylor]: Taking taylor expansion of t in x 4.787 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 4.787 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.787 * [taylor]: Taking taylor expansion of z in x 4.787 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.787 * [taylor]: Taking taylor expansion of y in x 4.787 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) x) (* 3 (log (pow (/ 1 t) 1/3)))) (+ (/ 1 z) (/ 1 y))) in t 4.787 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (* 3 (log (pow (/ 1 t) 1/3)))) in t 4.787 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in t 4.787 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in t 4.787 * [taylor]: Taking taylor expansion of (/ 1 y) in t 4.787 * [taylor]: Taking taylor expansion of y in t 4.787 * [taylor]: Taking taylor expansion of x in t 4.787 * [taylor]: Taking taylor expansion of (* 3 (log (pow (/ 1 t) 1/3))) in t 4.787 * [taylor]: Taking taylor expansion of 3 in t 4.787 * [taylor]: Taking taylor expansion of (log (pow (/ 1 t) 1/3)) in t 4.787 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 4.787 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 4.787 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 4.787 * [taylor]: Taking taylor expansion of 1/3 in t 4.787 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 4.787 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.787 * [taylor]: Taking taylor expansion of t in t 4.788 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in t 4.788 * [taylor]: Taking taylor expansion of (/ 1 z) in t 4.788 * [taylor]: Taking taylor expansion of z in t 4.788 * [taylor]: Taking taylor expansion of (/ 1 y) in t 4.788 * [taylor]: Taking taylor expansion of y in t 4.788 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ 1 y)) x) (* 3 (log (pow (/ 1 t) 1/3)))) (+ (/ 1 z) (/ 1 y))) in t 4.788 * [taylor]: Taking taylor expansion of (+ (/ (log (/ 1 y)) x) (* 3 (log (pow (/ 1 t) 1/3)))) in t 4.788 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in t 4.788 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in t 4.788 * [taylor]: Taking taylor expansion of (/ 1 y) in t 4.788 * [taylor]: Taking taylor expansion of y in t 4.788 * [taylor]: Taking taylor expansion of x in t 4.789 * [taylor]: Taking taylor expansion of (* 3 (log (pow (/ 1 t) 1/3))) in t 4.789 * [taylor]: Taking taylor expansion of 3 in t 4.789 * [taylor]: Taking taylor expansion of (log (pow (/ 1 t) 1/3)) in t 4.789 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 4.789 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 4.789 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 4.789 * [taylor]: Taking taylor expansion of 1/3 in t 4.789 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 4.789 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.789 * [taylor]: Taking taylor expansion of t in t 4.790 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in t 4.790 * [taylor]: Taking taylor expansion of (/ 1 z) in t 4.790 * [taylor]: Taking taylor expansion of z in t 4.790 * [taylor]: Taking taylor expansion of (/ 1 y) in t 4.790 * [taylor]: Taking taylor expansion of y in t 4.790 * [taylor]: Taking taylor expansion of (- (+ (* 3 (log (pow t -1/3))) (/ (log (/ 1 y)) x)) (+ (/ 1 z) (/ 1 y))) in x 4.790 * [taylor]: Taking taylor expansion of (+ (* 3 (log (pow t -1/3))) (/ (log (/ 1 y)) x)) in x 4.790 * [taylor]: Taking taylor expansion of (* 3 (log (pow t -1/3))) in x 4.790 * [taylor]: Taking taylor expansion of 3 in x 4.790 * [taylor]: Taking taylor expansion of (log (pow t -1/3)) in x 4.790 * [taylor]: Taking taylor expansion of (pow t -1/3) in x 4.790 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log t))) in x 4.790 * [taylor]: Taking taylor expansion of (* -1/3 (log t)) in x 4.790 * [taylor]: Taking taylor expansion of -1/3 in x 4.790 * [taylor]: Taking taylor expansion of (log t) in x 4.791 * [taylor]: Taking taylor expansion of t in x 4.791 * [taylor]: Taking taylor expansion of (/ (log (/ 1 y)) x) in x 4.791 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 4.791 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.791 * [taylor]: Taking taylor expansion of y in x 4.791 * [taylor]: Taking taylor expansion of x in x 4.791 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in x 4.791 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.791 * [taylor]: Taking taylor expansion of z in x 4.791 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.791 * [taylor]: Taking taylor expansion of y in x 4.791 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.791 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.791 * [taylor]: Taking taylor expansion of y in y 4.796 * [taylor]: Taking taylor expansion of 0 in x 4.798 * [taylor]: Taking taylor expansion of (- (* 3 (log (pow t -1/3))) (+ (/ 1 z) (/ 1 y))) in y 4.798 * [taylor]: Taking taylor expansion of (* 3 (log (pow t -1/3))) in y 4.798 * [taylor]: Taking taylor expansion of 3 in y 4.798 * [taylor]: Taking taylor expansion of (log (pow t -1/3)) in y 4.798 * [taylor]: Taking taylor expansion of (pow t -1/3) in y 4.798 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log t))) in y 4.798 * [taylor]: Taking taylor expansion of (* -1/3 (log t)) in y 4.798 * [taylor]: Taking taylor expansion of -1/3 in y 4.798 * [taylor]: Taking taylor expansion of (log t) in y 4.798 * [taylor]: Taking taylor expansion of t in y 4.798 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (/ 1 y)) in y 4.798 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.798 * [taylor]: Taking taylor expansion of z in y 4.798 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.798 * [taylor]: Taking taylor expansion of y in y 4.800 * [taylor]: Taking taylor expansion of -1 in z 4.800 * [taylor]: Taking taylor expansion of (- (log y)) in z 4.800 * [taylor]: Taking taylor expansion of (log y) in z 4.800 * [taylor]: Taking taylor expansion of y in z 4.808 * [taylor]: Taking taylor expansion of 0 in x 4.808 * [taylor]: Taking taylor expansion of 0 in y 4.813 * [taylor]: Taking taylor expansion of 0 in y 4.813 * [taylor]: Taking taylor expansion of (- (* 3 (log (pow t -1/3))) (/ 1 z)) in z 4.813 * [taylor]: Taking taylor expansion of (* 3 (log (pow t -1/3))) in z 4.814 * [taylor]: Taking taylor expansion of 3 in z 4.814 * [taylor]: Taking taylor expansion of (log (pow t -1/3)) in z 4.814 * [taylor]: Taking taylor expansion of (pow t -1/3) in z 4.814 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log t))) in z 4.814 * [taylor]: Taking taylor expansion of (* -1/3 (log t)) in z 4.814 * [taylor]: Taking taylor expansion of -1/3 in z 4.814 * [taylor]: Taking taylor expansion of (log t) in z 4.814 * [taylor]: Taking taylor expansion of t in z 4.814 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.814 * [taylor]: Taking taylor expansion of z in z 4.816 * [taylor]: Taking taylor expansion of 0 in z 4.817 * [approximate]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (* 3 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))))) (/ (log (/ -1 y)) x)) in (t x y z) around 0 4.817 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (* 3 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))))) (/ (log (/ -1 y)) x)) in z 4.817 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (* 3 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))))) in z 4.817 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.817 * [taylor]: Taking taylor expansion of z in z 4.817 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 3 (log (* (cbrt -1) (pow (/ 1 t) 1/3))))) in z 4.817 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.817 * [taylor]: Taking taylor expansion of y in z 4.817 * [taylor]: Taking taylor expansion of (* 3 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))) in z 4.817 * [taylor]: Taking taylor expansion of 3 in z 4.817 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 t) 1/3))) in z 4.817 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in z 4.817 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.818 * [taylor]: Taking taylor expansion of -1 in z 4.818 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z 4.818 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z 4.818 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z 4.818 * [taylor]: Taking taylor expansion of 1/3 in z 4.818 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 4.818 * [taylor]: Taking taylor expansion of (/ 1 t) in z 4.818 * [taylor]: Taking taylor expansion of t in z 4.819 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in z 4.819 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in z 4.819 * [taylor]: Taking taylor expansion of (/ -1 y) in z 4.819 * [taylor]: Taking taylor expansion of -1 in z 4.819 * [taylor]: Taking taylor expansion of y in z 4.819 * [taylor]: Taking taylor expansion of x in z 4.819 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (* 3 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))))) (/ (log (/ -1 y)) x)) in y 4.820 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (* 3 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))))) in y 4.820 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.820 * [taylor]: Taking taylor expansion of z in y 4.820 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 3 (log (* (cbrt -1) (pow (/ 1 t) 1/3))))) in y 4.820 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.820 * [taylor]: Taking taylor expansion of y in y 4.820 * [taylor]: Taking taylor expansion of (* 3 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))) in y 4.820 * [taylor]: Taking taylor expansion of 3 in y 4.820 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 t) 1/3))) in y 4.820 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in y 4.820 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.820 * [taylor]: Taking taylor expansion of -1 in y 4.821 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in y 4.821 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in y 4.821 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in y 4.821 * [taylor]: Taking taylor expansion of 1/3 in y 4.821 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y 4.821 * [taylor]: Taking taylor expansion of (/ 1 t) in y 4.821 * [taylor]: Taking taylor expansion of t in y 4.822 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in y 4.822 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 4.822 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.822 * [taylor]: Taking taylor expansion of -1 in y 4.822 * [taylor]: Taking taylor expansion of y in y 4.822 * [taylor]: Taking taylor expansion of x in y 4.824 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (* 3 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))))) (/ (log (/ -1 y)) x)) in x 4.824 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (* 3 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))))) in x 4.824 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.824 * [taylor]: Taking taylor expansion of z in x 4.824 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 3 (log (* (cbrt -1) (pow (/ 1 t) 1/3))))) in x 4.824 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.824 * [taylor]: Taking taylor expansion of y in x 4.824 * [taylor]: Taking taylor expansion of (* 3 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))) in x 4.824 * [taylor]: Taking taylor expansion of 3 in x 4.824 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 t) 1/3))) in x 4.824 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in x 4.824 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.824 * [taylor]: Taking taylor expansion of -1 in x 4.825 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in x 4.825 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in x 4.825 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in x 4.825 * [taylor]: Taking taylor expansion of 1/3 in x 4.825 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x 4.825 * [taylor]: Taking taylor expansion of (/ 1 t) in x 4.825 * [taylor]: Taking taylor expansion of t in x 4.826 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 4.826 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 4.826 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.826 * [taylor]: Taking taylor expansion of -1 in x 4.826 * [taylor]: Taking taylor expansion of y in x 4.826 * [taylor]: Taking taylor expansion of x in x 4.826 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (* 3 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))))) (/ (log (/ -1 y)) x)) in t 4.826 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (* 3 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))))) in t 4.826 * [taylor]: Taking taylor expansion of (/ 1 z) in t 4.826 * [taylor]: Taking taylor expansion of z in t 4.826 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 3 (log (* (cbrt -1) (pow (/ 1 t) 1/3))))) in t 4.826 * [taylor]: Taking taylor expansion of (/ 1 y) in t 4.826 * [taylor]: Taking taylor expansion of y in t 4.826 * [taylor]: Taking taylor expansion of (* 3 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))) in t 4.826 * [taylor]: Taking taylor expansion of 3 in t 4.826 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 t) 1/3))) in t 4.826 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 4.826 * [taylor]: Taking taylor expansion of (cbrt -1) in t 4.826 * [taylor]: Taking taylor expansion of -1 in t 4.827 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 4.827 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 4.827 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 4.827 * [taylor]: Taking taylor expansion of 1/3 in t 4.827 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 4.827 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.827 * [taylor]: Taking taylor expansion of t in t 4.829 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in t 4.829 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in t 4.829 * [taylor]: Taking taylor expansion of (/ -1 y) in t 4.829 * [taylor]: Taking taylor expansion of -1 in t 4.829 * [taylor]: Taking taylor expansion of y in t 4.829 * [taylor]: Taking taylor expansion of x in t 4.829 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (+ (/ 1 y) (* 3 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))))) (/ (log (/ -1 y)) x)) in t 4.829 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (* 3 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))))) in t 4.829 * [taylor]: Taking taylor expansion of (/ 1 z) in t 4.829 * [taylor]: Taking taylor expansion of z in t 4.829 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 3 (log (* (cbrt -1) (pow (/ 1 t) 1/3))))) in t 4.829 * [taylor]: Taking taylor expansion of (/ 1 y) in t 4.829 * [taylor]: Taking taylor expansion of y in t 4.829 * [taylor]: Taking taylor expansion of (* 3 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))) in t 4.829 * [taylor]: Taking taylor expansion of 3 in t 4.829 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 t) 1/3))) in t 4.830 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t 4.830 * [taylor]: Taking taylor expansion of (cbrt -1) in t 4.830 * [taylor]: Taking taylor expansion of -1 in t 4.830 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t 4.830 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t 4.830 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t 4.830 * [taylor]: Taking taylor expansion of 1/3 in t 4.830 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 4.830 * [taylor]: Taking taylor expansion of (/ 1 t) in t 4.830 * [taylor]: Taking taylor expansion of t in t 4.832 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in t 4.832 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in t 4.832 * [taylor]: Taking taylor expansion of (/ -1 y) in t 4.832 * [taylor]: Taking taylor expansion of -1 in t 4.832 * [taylor]: Taking taylor expansion of y in t 4.832 * [taylor]: Taking taylor expansion of x in t 4.834 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 z) (* 3 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))))) (/ (log (/ -1 y)) x)) in x 4.834 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 z) (* 3 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))))) in x 4.834 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.834 * [taylor]: Taking taylor expansion of y in x 4.834 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (log (* (cbrt -1) (pow (/ 1 t) 1/3))))) in x 4.834 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.834 * [taylor]: Taking taylor expansion of z in x 4.834 * [taylor]: Taking taylor expansion of (* 3 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))) in x 4.834 * [taylor]: Taking taylor expansion of 3 in x 4.834 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 t) 1/3))) in x 4.834 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in x 4.834 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.834 * [taylor]: Taking taylor expansion of -1 in x 4.835 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in x 4.835 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in x 4.835 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in x 4.835 * [taylor]: Taking taylor expansion of 1/3 in x 4.835 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in x 4.835 * [taylor]: Taking taylor expansion of (/ 1 t) in x 4.835 * [taylor]: Taking taylor expansion of t in x 4.836 * [taylor]: Taking taylor expansion of (/ (log (/ -1 y)) x) in x 4.836 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in x 4.836 * [taylor]: Taking taylor expansion of (/ -1 y) in x 4.836 * [taylor]: Taking taylor expansion of -1 in x 4.836 * [taylor]: Taking taylor expansion of y in x 4.836 * [taylor]: Taking taylor expansion of x in x 4.836 * [taylor]: Taking taylor expansion of (- (log (/ -1 y))) in y 4.836 * [taylor]: Taking taylor expansion of (log (/ -1 y)) in y 4.836 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.836 * [taylor]: Taking taylor expansion of -1 in y 4.837 * [taylor]: Taking taylor expansion of y in y 4.843 * [taylor]: Taking taylor expansion of 0 in x 4.846 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (+ (/ 1 y) (* 3 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))))) in y 4.846 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.846 * [taylor]: Taking taylor expansion of z in y 4.846 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (* 3 (log (* (cbrt -1) (pow (/ 1 t) 1/3))))) 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 (* 3 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))) in y 4.847 * [taylor]: Taking taylor expansion of 3 in y 4.847 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 t) 1/3))) in y 4.847 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in y 4.847 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.847 * [taylor]: Taking taylor expansion of -1 in y 4.848 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in y 4.848 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in y 4.848 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in y 4.848 * [taylor]: Taking taylor expansion of 1/3 in y 4.848 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in y 4.848 * [taylor]: Taking taylor expansion of (/ 1 t) in y 4.848 * [taylor]: Taking taylor expansion of t in y 4.849 * [taylor]: Taking taylor expansion of 1 in z 4.850 * [taylor]: Taking taylor expansion of (- (log y) (log -1)) in z 4.850 * [taylor]: Taking taylor expansion of (log y) in z 4.850 * [taylor]: Taking taylor expansion of y in z 4.850 * [taylor]: Taking taylor expansion of (log -1) in z 4.850 * [taylor]: Taking taylor expansion of -1 in z 4.860 * [taylor]: Taking taylor expansion of 0 in x 4.860 * [taylor]: Taking taylor expansion of 0 in y 4.867 * [taylor]: Taking taylor expansion of 0 in y 4.868 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (log (* (cbrt -1) (pow (/ 1 t) 1/3))))) in z 4.868 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.868 * [taylor]: Taking taylor expansion of z in z 4.869 * [taylor]: Taking taylor expansion of (* 3 (log (* (cbrt -1) (pow (/ 1 t) 1/3)))) in z 4.869 * [taylor]: Taking taylor expansion of 3 in z 4.869 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 t) 1/3))) in z 4.869 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in z 4.869 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.869 * [taylor]: Taking taylor expansion of -1 in z 4.869 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in z 4.869 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in z 4.870 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in z 4.870 * [taylor]: Taking taylor expansion of 1/3 in z 4.870 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in z 4.870 * [taylor]: Taking taylor expansion of (/ 1 t) in z 4.870 * [taylor]: Taking taylor expansion of t in z 4.879 * [taylor]: Taking taylor expansion of 0 in z 4.882 * * * [progress]: simplifying candidates 4.883 * [simplify]: Simplifying using # : (log (cbrt t)) (exp (cbrt t)) (cbrt (* (cbrt t) (cbrt t))) (cbrt (cbrt t)) (cbrt (sqrt t)) (cbrt (sqrt t)) (cbrt 1) (cbrt t) (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t)) (* (* (cbrt t) (cbrt t)) (cbrt t)) (sqrt (cbrt t)) (sqrt (cbrt t)) (log (cbrt t)) (exp (cbrt t)) (cbrt (* (cbrt t) (cbrt t))) (cbrt (cbrt t)) (cbrt (sqrt t)) (cbrt (sqrt t)) (cbrt 1) (cbrt t) (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t)) (* (* (cbrt t) (cbrt t)) (cbrt t)) (sqrt (cbrt t)) (sqrt (cbrt t)) (* 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 (* 2 (log (cbrt t)))) (/ (/ (exp (* x (log y))) (exp y)) (exp z))) (cbrt t)) (* (* (exp (* 2 (log (cbrt t)))) (/ (exp (- (* x (log y)) y)) (exp z))) (cbrt t)) (* (* (exp (* 2 (log (cbrt t)))) (exp (- (- (* x (log y)) y) z))) (cbrt t)) (* (exp (+ (* 2 (log (cbrt t))) (- (- (* x (log y)) y) z))) (cbrt t)) (log (+ (+ (* 2 (log (cbrt t))) (- (- (* x (log y)) y) z)) (log (cbrt t)))) (exp (+ (+ (* 2 (log (cbrt t))) (- (- (* x (log y)) y) z)) (log (cbrt t)))) (* (cbrt (+ (+ (* 2 (log (cbrt t))) (- (- (* x (log y)) y) z)) (log (cbrt t)))) (cbrt (+ (+ (* 2 (log (cbrt t))) (- (- (* x (log y)) y) z)) (log (cbrt t))))) (cbrt (+ (+ (* 2 (log (cbrt t))) (- (- (* x (log y)) y) z)) (log (cbrt t)))) (* (* (+ (+ (* 2 (log (cbrt t))) (- (- (* x (log y)) y) z)) (log (cbrt t))) (+ (+ (* 2 (log (cbrt t))) (- (- (* x (log y)) y) z)) (log (cbrt t)))) (+ (+ (* 2 (log (cbrt t))) (- (- (* x (log y)) y) z)) (log (cbrt t)))) (sqrt (+ (+ (* 2 (log (cbrt t))) (- (- (* x (log y)) y) z)) (log (cbrt t)))) (sqrt (+ (+ (* 2 (log (cbrt t))) (- (- (* x (log y)) y) z)) (log (cbrt t)))) (+ (pow (+ (* 2 (log (cbrt t))) (- (- (* x (log y)) y) z)) 3) (pow (log (cbrt t)) 3)) (+ (* (+ (* 2 (log (cbrt t))) (- (- (* x (log y)) y) z)) (+ (* 2 (log (cbrt t))) (- (- (* x (log y)) y) z))) (- (* (log (cbrt t)) (log (cbrt t))) (* (+ (* 2 (log (cbrt t))) (- (- (* x (log y)) y) z)) (log (cbrt t))))) (- (* (+ (* 2 (log (cbrt t))) (- (- (* x (log y)) y) z)) (+ (* 2 (log (cbrt t))) (- (- (* x (log y)) y) z))) (* (log (cbrt t)) (log (cbrt t)))) (- (+ (* 2 (log (cbrt t))) (- (- (* x (log y)) y) z)) (log (cbrt t))) (+ (+ (* 2 (log (cbrt t))) (- (- (* x (log y)) y) z)) (log (cbrt t))) (+ (+ (* 2 (log (cbrt t))) (- (- (* x (log y)) y) z)) (log (cbrt t))) (+ (+ (* 2 (log (cbrt t))) (- (- (* x (log y)) y) z)) (log (cbrt (* (cbrt t) (cbrt t))))) (+ (+ (* 2 (log (cbrt t))) (- (- (* x (log y)) y) z)) (log (cbrt (sqrt t)))) (+ (+ (* 2 (log (cbrt t))) (- (- (* x (log y)) y) z)) (log (cbrt 1))) (+ (+ (* 2 (log (cbrt t))) (- (- (* x (log y)) y) z)) (log (* (cbrt (cbrt t)) (cbrt (cbrt t))))) (+ (+ (* 2 (log (cbrt t))) (- (- (* x (log y)) y) z)) (log (sqrt (cbrt t)))) (+ (+ (* 2 (log (cbrt t))) (- (- (* x (log y)) y) z)) (log 1)) (+ (- (- (* x (log y)) y) z) (log (cbrt t))) (- z (log (cbrt t))) (pow t 1/3) (pow (/ 1 t) -1/3) (* (pow (* -1 t) 1/3) (cbrt -1)) (pow t 1/3) (pow (/ 1 t) -1/3) (* (pow (* -1 t) 1/3) (cbrt -1)) (* x (log y)) (* -1 (* x (log (/ 1 y)))) (* (- (log -1) (log (/ -1 y))) x) (- (+ (* x (log y)) (* 3 (log (pow t 1/3)))) y) (- (+ (* x (log (/ 1 y))) (+ z y))) (- (* (log -1) x) (+ z (+ y (* x (log (/ -1 y)))))) 4.886 * * [simplify]: iteration 0 : 145 enodes (cost 944 ) 4.913 * * [simplify]: iteration 1 : 324 enodes (cost 912 ) 4.989 * * [simplify]: iteration 2 : 877 enodes (cost 783 ) 5.703 * * [simplify]: iteration 3 : 4299 enodes (cost 680 ) 6.664 * * [simplify]: iteration done : 5000 enodes (cost 680 ) 6.664 * [simplify]: Simplified to: (log (cbrt t)) (exp (cbrt t)) (cbrt (pow t 2/3)) (cbrt (cbrt t)) (cbrt (sqrt t)) (cbrt (sqrt t)) 1 (cbrt t) (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t)) t (sqrt (cbrt t)) (sqrt (cbrt t)) (log (cbrt t)) (exp (cbrt t)) (cbrt (pow t 2/3)) (cbrt (cbrt t)) (cbrt (sqrt t)) (cbrt (sqrt t)) 1 (cbrt t) (* (cbrt (cbrt t)) (cbrt (cbrt t))) (cbrt (cbrt t)) t (sqrt (cbrt t)) (sqrt (cbrt t)) (* x (log y)) (log (* x (log y))) (log (* x (log y))) (pow y x) (pow (* x (log y)) 3) (* (cbrt (* x (log y))) (cbrt (* x (log y)))) (cbrt (* x (log y))) (pow (* x (log y)) 3) (sqrt (* x (log y))) (sqrt (* x (log y))) (* (sqrt x) (sqrt (log y))) (* (sqrt x) (sqrt (log y))) (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) 0 (* x (log y)) (* (* 2 (log (cbrt y))) x) (* x (log (cbrt y))) (* x (log (sqrt y))) (* x (log (sqrt y))) 0 (* x (log y)) x (* x (* (cbrt (log y)) (cbrt (log y)))) (* x (sqrt (log y))) x (* (cbrt x) (log y)) (* (sqrt x) (log y)) (* x (log y)) (* (/ (pow y x) (exp (+ z y))) t) (* (/ (pow y x) (exp (+ z y))) t) (* (/ (pow y x) (exp (+ z y))) t) (* (/ (pow y x) (exp (+ z y))) t) (log (- (+ (* 1 (log t)) (- (* x (log y)) y)) z)) (* (/ (pow y x) (exp (+ z y))) t) (* (cbrt (- (+ (* 1 (log t)) (- (* x (log y)) y)) z)) (cbrt (- (+ (* 1 (log t)) (- (* x (log y)) y)) z))) (cbrt (- (+ (* 1 (log t)) (- (* x (log y)) y)) z)) (pow (- (+ (* 1 (log t)) (- (* x (log y)) y)) z) 3) (sqrt (- (+ (* 1 (log t)) (- (* x (log y)) y)) z)) (sqrt (- (+ (* 1 (log t)) (- (* x (log y)) y)) z)) (+ (pow (log (cbrt t)) 3) (pow (- (- (* x (log y)) y) (- z (* 2/3 (log t)))) 3)) (+ (* (log (cbrt t)) (log (cbrt t))) (* (- (- (* x (log y)) y) (- z (* 2/3 (log t)))) (+ (- (- (* x (log y)) y) z) (log (cbrt t))))) (* (+ (- (- (* x (log y)) y) z) (log (cbrt t))) (- (+ (* 1 (log t)) (- (* x (log y)) y)) z)) (- (* x (log y)) (+ y (- z (log (cbrt t))))) (- (+ (* 1 (log t)) (- (* x (log y)) y)) z) (- (+ (* 1 (log t)) (- (* x (log y)) y)) z) (+ (log (cbrt (pow t 2/3))) (- (- (* x (log y)) y) (- z (* 2/3 (log t))))) (+ (- (- (* x (log y)) y) (- z (* 2/3 (log t)))) (log (cbrt (sqrt t)))) (- (- (* x (log y)) y) (- z (* 2/3 (log t)))) (- (+ (* 2 (+ (log (cbrt t)) (log (cbrt (cbrt t))))) (* x (log y))) (+ z y)) (+ (- (- (* x (log y)) y) z) (+ (* 2/3 (log t)) (log (sqrt (cbrt t))))) (- (- (* x (log y)) y) (- z (* 2/3 (log t)))) (- (* x (log y)) (+ y (- z (log (cbrt t))))) (- z (log (cbrt t))) (cbrt t) (pow (/ 1 t) -1/3) (* (cbrt (- t)) (cbrt -1)) (cbrt t) (pow (/ 1 t) -1/3) (* (cbrt (- t)) (cbrt -1)) (* x (log y)) (* x (log y)) (* x (log y)) (+ (- (* 1 (log t)) y) (* x (log y))) (- (* x (log y)) (+ z y)) (- (* x (log y)) (+ z y)) 6.665 * * * [progress]: adding candidates to table 6.909 * * [progress]: iteration 4 / 4 6.909 * * * [progress]: picking best candidate 6.914 * * * * [pick]: Picked # 6.914 * * * [progress]: localizing error 6.927 * * * [progress]: generating rewritten candidates 6.927 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 1 1) 6.927 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 6.934 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 6.940 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1) 6.943 * * * [progress]: generating series expansions 6.943 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 1 1) 6.943 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 6.943 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 6.943 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 6.943 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 6.943 * [taylor]: Taking taylor expansion of 1/3 in y 6.943 * [taylor]: Taking taylor expansion of (log y) in y 6.943 * [taylor]: Taking taylor expansion of y in y 6.944 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 6.944 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 6.944 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 6.944 * [taylor]: Taking taylor expansion of 1/3 in y 6.944 * [taylor]: Taking taylor expansion of (log y) in y 6.944 * [taylor]: Taking taylor expansion of y in y 6.996 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 6.996 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 6.996 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 6.996 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 6.996 * [taylor]: Taking taylor expansion of 1/3 in y 6.996 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.996 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.996 * [taylor]: Taking taylor expansion of y in y 6.997 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 6.997 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 6.997 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 6.997 * [taylor]: Taking taylor expansion of 1/3 in y 6.997 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.997 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.997 * [taylor]: Taking taylor expansion of y in y 7.053 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 7.053 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 7.053 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.053 * [taylor]: Taking taylor expansion of -1 in y 7.054 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.054 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.054 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.054 * [taylor]: Taking taylor expansion of 1/3 in y 7.054 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.054 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.054 * [taylor]: Taking taylor expansion of y in y 7.055 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 7.055 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.055 * [taylor]: Taking taylor expansion of -1 in y 7.056 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.056 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.056 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.056 * [taylor]: Taking taylor expansion of 1/3 in y 7.056 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.056 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.056 * [taylor]: Taking taylor expansion of y in y 7.125 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 7.125 * [approximate]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in (y x) around 0 7.125 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x 7.125 * [taylor]: Taking taylor expansion of 3 in x 7.125 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 7.125 * [taylor]: Taking taylor expansion of x in x 7.125 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 7.125 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 7.125 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 7.125 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 7.125 * [taylor]: Taking taylor expansion of 1/3 in x 7.125 * [taylor]: Taking taylor expansion of (log y) in x 7.125 * [taylor]: Taking taylor expansion of y in x 7.125 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y 7.125 * [taylor]: Taking taylor expansion of 3 in y 7.125 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 7.125 * [taylor]: Taking taylor expansion of x in y 7.125 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 7.125 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 7.125 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 7.125 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 7.125 * [taylor]: Taking taylor expansion of 1/3 in y 7.125 * [taylor]: Taking taylor expansion of (log y) in y 7.125 * [taylor]: Taking taylor expansion of y in y 7.126 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y 7.126 * [taylor]: Taking taylor expansion of 3 in y 7.126 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 7.126 * [taylor]: Taking taylor expansion of x in y 7.126 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 7.126 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 7.126 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 7.126 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 7.126 * [taylor]: Taking taylor expansion of 1/3 in y 7.126 * [taylor]: Taking taylor expansion of (log y) in y 7.126 * [taylor]: Taking taylor expansion of y in y 7.127 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x 7.127 * [taylor]: Taking taylor expansion of 3 in x 7.127 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 7.127 * [taylor]: Taking taylor expansion of x in x 7.127 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 7.127 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 7.127 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 7.127 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 7.127 * [taylor]: Taking taylor expansion of 1/3 in x 7.127 * [taylor]: Taking taylor expansion of (log y) in x 7.127 * [taylor]: Taking taylor expansion of y in x 7.130 * [taylor]: Taking taylor expansion of 0 in x 7.138 * [taylor]: Taking taylor expansion of 0 in x 7.150 * [taylor]: Taking taylor expansion of 0 in x 7.151 * [approximate]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in (y x) around 0 7.151 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in x 7.151 * [taylor]: Taking taylor expansion of 3 in x 7.151 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 7.151 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 7.151 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 7.151 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 7.151 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 7.151 * [taylor]: Taking taylor expansion of 1/3 in x 7.151 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 7.151 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.151 * [taylor]: Taking taylor expansion of y in x 7.151 * [taylor]: Taking taylor expansion of x in x 7.151 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y 7.151 * [taylor]: Taking taylor expansion of 3 in y 7.151 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 7.151 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 7.151 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.151 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.151 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.151 * [taylor]: Taking taylor expansion of 1/3 in y 7.151 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.151 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.151 * [taylor]: Taking taylor expansion of y in y 7.152 * [taylor]: Taking taylor expansion of x in y 7.152 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y 7.152 * [taylor]: Taking taylor expansion of 3 in y 7.152 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 7.152 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 7.152 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.152 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.152 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.153 * [taylor]: Taking taylor expansion of 1/3 in y 7.153 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.153 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.153 * [taylor]: Taking taylor expansion of y in y 7.153 * [taylor]: Taking taylor expansion of x in y 7.154 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow y -1/3)) x)) in x 7.154 * [taylor]: Taking taylor expansion of 3 in x 7.154 * [taylor]: Taking taylor expansion of (/ (log (pow y -1/3)) x) in x 7.154 * [taylor]: Taking taylor expansion of (log (pow y -1/3)) in x 7.154 * [taylor]: Taking taylor expansion of (pow y -1/3) in x 7.154 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log y))) in x 7.154 * [taylor]: Taking taylor expansion of (* -1/3 (log y)) in x 7.154 * [taylor]: Taking taylor expansion of -1/3 in x 7.154 * [taylor]: Taking taylor expansion of (log y) in x 7.154 * [taylor]: Taking taylor expansion of y in x 7.154 * [taylor]: Taking taylor expansion of x in x 7.157 * [taylor]: Taking taylor expansion of 0 in x 7.165 * [taylor]: Taking taylor expansion of 0 in x 7.178 * [taylor]: Taking taylor expansion of 0 in x 7.185 * [approximate]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in (y x) around 0 7.185 * [taylor]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 7.185 * [taylor]: Taking taylor expansion of -3 in x 7.185 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 7.185 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 7.185 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 7.185 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.185 * [taylor]: Taking taylor expansion of -1 in x 7.186 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 7.186 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 7.186 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 7.186 * [taylor]: Taking taylor expansion of 1/3 in x 7.186 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 7.186 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.186 * [taylor]: Taking taylor expansion of y in x 7.187 * [taylor]: Taking taylor expansion of x in x 7.187 * [taylor]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 7.187 * [taylor]: Taking taylor expansion of -3 in y 7.187 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 7.188 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 7.188 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 7.188 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.188 * [taylor]: Taking taylor expansion of -1 in y 7.188 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.188 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.188 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.188 * [taylor]: Taking taylor expansion of 1/3 in y 7.188 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.188 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.188 * [taylor]: Taking taylor expansion of y in y 7.190 * [taylor]: Taking taylor expansion of x in y 7.190 * [taylor]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 7.190 * [taylor]: Taking taylor expansion of -3 in y 7.190 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 7.190 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 7.190 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 7.190 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.190 * [taylor]: Taking taylor expansion of -1 in y 7.191 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.191 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.191 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.191 * [taylor]: Taking taylor expansion of 1/3 in y 7.191 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.191 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.191 * [taylor]: Taking taylor expansion of y in y 7.193 * [taylor]: Taking taylor expansion of x in y 7.194 * [taylor]: Taking taylor expansion of (* -3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 7.194 * [taylor]: Taking taylor expansion of -3 in x 7.194 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 7.194 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 7.194 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 7.194 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.194 * [taylor]: Taking taylor expansion of -1 in x 7.194 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 7.195 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 7.195 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 7.195 * [taylor]: Taking taylor expansion of 1/3 in x 7.195 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 7.195 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.195 * [taylor]: Taking taylor expansion of y in x 7.195 * [taylor]: Taking taylor expansion of x in x 7.207 * [taylor]: Taking taylor expansion of 0 in x 7.219 * [taylor]: Taking taylor expansion of 0 in x 7.237 * [taylor]: Taking taylor expansion of 0 in x 7.249 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 7.249 * [approximate]: Taking taylor expansion of (- (* 3 (* x (log (pow y 1/3)))) y) in (y x) around 0 7.249 * [taylor]: Taking taylor expansion of (- (* 3 (* x (log (pow y 1/3)))) y) in x 7.249 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x 7.249 * [taylor]: Taking taylor expansion of 3 in x 7.249 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 7.249 * [taylor]: Taking taylor expansion of x in x 7.249 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 7.249 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 7.249 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 7.249 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 7.249 * [taylor]: Taking taylor expansion of 1/3 in x 7.249 * [taylor]: Taking taylor expansion of (log y) in x 7.249 * [taylor]: Taking taylor expansion of y in x 7.249 * [taylor]: Taking taylor expansion of y in x 7.249 * [taylor]: Taking taylor expansion of (- (* 3 (* x (log (pow y 1/3)))) y) in y 7.249 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y 7.249 * [taylor]: Taking taylor expansion of 3 in y 7.249 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 7.249 * [taylor]: Taking taylor expansion of x in y 7.249 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 7.249 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 7.249 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 7.249 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 7.249 * [taylor]: Taking taylor expansion of 1/3 in y 7.249 * [taylor]: Taking taylor expansion of (log y) in y 7.249 * [taylor]: Taking taylor expansion of y in y 7.250 * [taylor]: Taking taylor expansion of y in y 7.250 * [taylor]: Taking taylor expansion of (- (* 3 (* x (log (pow y 1/3)))) y) in y 7.250 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in y 7.250 * [taylor]: Taking taylor expansion of 3 in y 7.250 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in y 7.250 * [taylor]: Taking taylor expansion of x in y 7.250 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 7.250 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 7.250 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 7.250 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 7.250 * [taylor]: Taking taylor expansion of 1/3 in y 7.250 * [taylor]: Taking taylor expansion of (log y) in y 7.250 * [taylor]: Taking taylor expansion of y in y 7.251 * [taylor]: Taking taylor expansion of y in y 7.251 * [taylor]: Taking taylor expansion of (* 3 (* x (log (pow y 1/3)))) in x 7.251 * [taylor]: Taking taylor expansion of 3 in x 7.251 * [taylor]: Taking taylor expansion of (* x (log (pow y 1/3))) in x 7.251 * [taylor]: Taking taylor expansion of x in x 7.251 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in x 7.251 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 7.251 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 7.251 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 7.251 * [taylor]: Taking taylor expansion of 1/3 in x 7.252 * [taylor]: Taking taylor expansion of (log y) in x 7.252 * [taylor]: Taking taylor expansion of y in x 7.255 * [taylor]: Taking taylor expansion of -1 in x 7.263 * [taylor]: Taking taylor expansion of 0 in x 7.275 * [taylor]: Taking taylor expansion of 0 in x 7.276 * [approximate]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) (/ 1 y)) in (y x) around 0 7.276 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) (/ 1 y)) in x 7.276 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in x 7.276 * [taylor]: Taking taylor expansion of 3 in x 7.276 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in x 7.276 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in x 7.276 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 7.276 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 7.276 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 7.276 * [taylor]: Taking taylor expansion of 1/3 in x 7.276 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 7.276 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.276 * [taylor]: Taking taylor expansion of y in x 7.276 * [taylor]: Taking taylor expansion of x in x 7.276 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.276 * [taylor]: Taking taylor expansion of y in x 7.276 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) (/ 1 y)) in y 7.276 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y 7.276 * [taylor]: Taking taylor expansion of 3 in y 7.276 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 7.276 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 7.276 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.276 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.277 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.277 * [taylor]: Taking taylor expansion of 1/3 in y 7.277 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.277 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.277 * [taylor]: Taking taylor expansion of y in y 7.278 * [taylor]: Taking taylor expansion of x in y 7.278 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.278 * [taylor]: Taking taylor expansion of y in y 7.278 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) (/ 1 y)) in y 7.278 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow (/ 1 y) 1/3)) x)) in y 7.278 * [taylor]: Taking taylor expansion of 3 in y 7.278 * [taylor]: Taking taylor expansion of (/ (log (pow (/ 1 y) 1/3)) x) in y 7.278 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 7.278 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.278 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.278 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.278 * [taylor]: Taking taylor expansion of 1/3 in y 7.278 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.278 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.278 * [taylor]: Taking taylor expansion of y in y 7.279 * [taylor]: Taking taylor expansion of x in y 7.279 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.279 * [taylor]: Taking taylor expansion of y in y 7.280 * [taylor]: Taking taylor expansion of -1 in x 7.281 * [taylor]: Taking taylor expansion of (* 3 (/ (log (pow y -1/3)) x)) in x 7.281 * [taylor]: Taking taylor expansion of 3 in x 7.281 * [taylor]: Taking taylor expansion of (/ (log (pow y -1/3)) x) in x 7.281 * [taylor]: Taking taylor expansion of (log (pow y -1/3)) in x 7.281 * [taylor]: Taking taylor expansion of (pow y -1/3) in x 7.281 * [taylor]: Taking taylor expansion of (exp (* -1/3 (log y))) in x 7.281 * [taylor]: Taking taylor expansion of (* -1/3 (log y)) in x 7.281 * [taylor]: Taking taylor expansion of -1/3 in x 7.281 * [taylor]: Taking taylor expansion of (log y) in x 7.281 * [taylor]: Taking taylor expansion of y in x 7.281 * [taylor]: Taking taylor expansion of x in x 7.286 * [taylor]: Taking taylor expansion of 0 in x 7.300 * [taylor]: Taking taylor expansion of 0 in x 7.313 * [taylor]: Taking taylor expansion of 0 in x 7.313 * [approximate]: Taking taylor expansion of (- (/ 1 y) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in (y x) around 0 7.313 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in x 7.313 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.314 * [taylor]: Taking taylor expansion of y in x 7.314 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 7.314 * [taylor]: Taking taylor expansion of 3 in x 7.314 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 7.314 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 7.314 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 7.314 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.314 * [taylor]: Taking taylor expansion of -1 in x 7.314 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 7.314 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 7.314 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 7.314 * [taylor]: Taking taylor expansion of 1/3 in x 7.314 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 7.314 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.314 * [taylor]: Taking taylor expansion of y in x 7.315 * [taylor]: Taking taylor expansion of x in x 7.316 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in y 7.316 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.316 * [taylor]: Taking taylor expansion of y in y 7.316 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 7.316 * [taylor]: Taking taylor expansion of 3 in y 7.316 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 7.316 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 7.316 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 7.316 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.316 * [taylor]: Taking taylor expansion of -1 in y 7.317 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.317 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.317 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.317 * [taylor]: Taking taylor expansion of 1/3 in y 7.317 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.317 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.317 * [taylor]: Taking taylor expansion of y in y 7.319 * [taylor]: Taking taylor expansion of x in y 7.319 * [taylor]: Taking taylor expansion of (- (/ 1 y) (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in y 7.319 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.319 * [taylor]: Taking taylor expansion of y in y 7.319 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in y 7.319 * [taylor]: Taking taylor expansion of 3 in y 7.319 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in y 7.319 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 7.319 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 7.319 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.319 * [taylor]: Taking taylor expansion of -1 in y 7.320 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.320 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.320 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.320 * [taylor]: Taking taylor expansion of 1/3 in y 7.320 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.320 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.320 * [taylor]: Taking taylor expansion of y in y 7.322 * [taylor]: Taking taylor expansion of x in y 7.322 * [taylor]: Taking taylor expansion of 1 in x 7.324 * [taylor]: Taking taylor expansion of (- (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x))) in x 7.324 * [taylor]: Taking taylor expansion of (* 3 (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x)) in x 7.324 * [taylor]: Taking taylor expansion of 3 in x 7.324 * [taylor]: Taking taylor expansion of (/ (log (* (cbrt -1) (pow (/ 1 y) 1/3))) x) in x 7.324 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in x 7.324 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in x 7.324 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.324 * [taylor]: Taking taylor expansion of -1 in x 7.325 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 7.325 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 7.325 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 7.325 * [taylor]: Taking taylor expansion of 1/3 in x 7.325 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 7.325 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.325 * [taylor]: Taking taylor expansion of y in x 7.326 * [taylor]: Taking taylor expansion of x in x 7.333 * [taylor]: Taking taylor expansion of 0 in x 7.347 * [taylor]: Taking taylor expansion of 0 in x 7.366 * [taylor]: Taking taylor expansion of 0 in x 7.366 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1) 7.366 * [approximate]: Taking taylor expansion of (log (pow y 1/3)) in (y) around 0 7.367 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 7.367 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 7.367 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 7.367 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 7.367 * [taylor]: Taking taylor expansion of 1/3 in y 7.367 * [taylor]: Taking taylor expansion of (log y) in y 7.367 * [taylor]: Taking taylor expansion of y in y 7.367 * [taylor]: Taking taylor expansion of (log (pow y 1/3)) in y 7.367 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 7.367 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 7.367 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 7.367 * [taylor]: Taking taylor expansion of 1/3 in y 7.367 * [taylor]: Taking taylor expansion of (log y) in y 7.367 * [taylor]: Taking taylor expansion of y in y 7.438 * [approximate]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in (y) around 0 7.438 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 7.438 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.438 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.438 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.438 * [taylor]: Taking taylor expansion of 1/3 in y 7.438 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.438 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.438 * [taylor]: Taking taylor expansion of y in y 7.439 * [taylor]: Taking taylor expansion of (log (pow (/ 1 y) 1/3)) in y 7.439 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.439 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.439 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.439 * [taylor]: Taking taylor expansion of 1/3 in y 7.439 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.439 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.439 * [taylor]: Taking taylor expansion of y in y 7.513 * [approximate]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in (y) around 0 7.513 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 7.513 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 7.513 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.513 * [taylor]: Taking taylor expansion of -1 in y 7.514 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.514 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.514 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.514 * [taylor]: Taking taylor expansion of 1/3 in y 7.514 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.514 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.514 * [taylor]: Taking taylor expansion of y in y 7.516 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 y) 1/3))) in y 7.516 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 7.516 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.516 * [taylor]: Taking taylor expansion of -1 in y 7.517 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.517 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.517 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.517 * [taylor]: Taking taylor expansion of 1/3 in y 7.517 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.517 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.517 * [taylor]: Taking taylor expansion of y in y 7.611 * * * [progress]: simplifying candidates 7.618 * [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)) (log (- (* (log (cbrt y)) (* 3 x)) y)) (exp (- (* (log (cbrt y)) (* 3 x)) y)) (* (cbrt (- (* (log (cbrt y)) (* 3 x)) y)) (cbrt (- (* (log (cbrt y)) (* 3 x)) y))) (cbrt (- (* (log (cbrt y)) (* 3 x)) y)) (* (* (- (* (log (cbrt y)) (* 3 x)) y) (- (* (log (cbrt y)) (* 3 x)) y)) (- (* (log (cbrt y)) (* 3 x)) y)) (sqrt (- (* (log (cbrt y)) (* 3 x)) y)) (sqrt (- (* (log (cbrt y)) (* 3 x)) y)) (- (pow (* (log (cbrt y)) (* 3 x)) 3) (pow y 3)) (+ (* (* (log (cbrt y)) (* 3 x)) (* (log (cbrt y)) (* 3 x))) (+ (* y y) (* (* (log (cbrt y)) (* 3 x)) y))) (- y) (- (* (* (log (cbrt y)) (* 3 x)) (* (log (cbrt y)) (* 3 x))) (* y y)) (+ (* (log (cbrt y)) (* 3 x)) y) (- y) (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)))) y) (- (* 3 (* x (log (pow (/ 1 y) -1/3)))) y) (- (* 3 (* x (log (* (pow (* -1 y) 1/3) (cbrt -1))))) y) (log (pow y 1/3)) (log (pow (/ 1 y) -1/3)) (log (* (pow (* -1 y) 1/3) (cbrt -1))) 7.620 * * [simplify]: iteration 0 : 101 enodes (cost 632 ) 7.639 * * [simplify]: iteration 1 : 219 enodes (cost 580 ) 7.704 * * [simplify]: iteration 2 : 656 enodes (cost 493 ) 8.431 * * [simplify]: iteration 3 : 2485 enodes (cost 470 ) 9.823 * * [simplify]: iteration done : 5000 enodes (cost 470 ) 9.824 * [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)) (* 1 (* x (log y))) (* 1 (* x (log y))) (log (* x (* 1 (log y)))) (log (* x (* 1 (log y)))) (log (* x (* 1 (log y)))) (pow y x) (pow (* 1 (* x (log y))) 3) (pow (* 1 (* x (log y))) 3) (* (cbrt (* x (* 1 (log y)))) (cbrt (* x (* 1 (log y))))) (cbrt (* x (* 1 (log y)))) (pow (* 1 (* x (log y))) 3) (sqrt (* x (* 1 (log y)))) (sqrt (* x (* 1 (log y)))) (* 1 (log y)) (* (log y) (* 3 x)) (* 1 (* x (log y))) (* (cbrt (log (cbrt y))) (* 3 x)) (* (sqrt (log (cbrt y))) (* 3 x)) (* 1 (* x (log y))) (/ (pow y x) (exp y)) (log (- (* x (* 1 (log y))) y)) (/ (pow y x) (exp y)) (* (cbrt (- (* x (* 1 (log y))) y)) (cbrt (- (* x (* 1 (log y))) y))) (cbrt (- (* x (* 1 (log y))) y)) (pow (- (* x (* 1 (log y))) y) 3) (sqrt (- (* x (* 1 (log y))) y)) (sqrt (- (* x (* 1 (log y))) y)) (- (pow (* x (* 1 (log y))) 3) (pow y 3)) (+ (* y y) (* (+ y (* x (* 1 (log y)))) (* x (* 1 (log y))))) (- y) (- (* (* x (* 1 (* (log y) (log y)))) x) (* y y)) (+ y (* x (* 1 (log y)))) (- y) (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 -1) (cbrt (- y))) (* 1 (* x (log y))) (* -1 (* (- (log y)) x)) (* 3 (* (log (* (cbrt -1) (cbrt (- y)))) x)) (- (* x (* 1 (log y))) y) (- (* -1 (* (- (log y)) x)) y) (- (* 3 (* (log (* (cbrt -1) (cbrt (- y)))) x)) y) (log (cbrt y)) (* -1/3 (- (log y))) (log (* (cbrt -1) (cbrt (- y)))) 9.824 * * * [progress]: adding candidates to table 10.017 * [progress]: [Phase 3 of 3] Extracting. 10.017 * * [regime]: Finding splitpoints for: (# # # # #) 10.019 * * * [regime-changes]: Trying 7 branch expressions: ((log t) (- (* x (log y)) y) (- (- (* x (log y)) y) z) t z y x) 10.019 * * * * [regimes]: Trying to branch on (log t) from (# # # # #) 10.050 * * * * [regimes]: Trying to branch on (- (* x (log y)) y) from (# # # # #) 10.079 * * * * [regimes]: Trying to branch on (- (- (* x (log y)) y) z) from (# # # # #) 10.109 * * * * [regimes]: Trying to branch on t from (# # # # #) 10.136 * * * * [regimes]: Trying to branch on z from (# # # # #) 10.162 * * * * [regimes]: Trying to branch on y from (# # # # #) 10.188 * * * * [regimes]: Trying to branch on x from (# # # # #) 10.216 * * * [regime]: Found split indices: #