29.200 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.058 * * * [progress]: [2/2] Setting up program. 0.061 * [progress]: [Phase 2 of 3] Improving. 0.061 * [simplify]: Simplifying using # : (/ (exp (* x (log (/ x (+ x y))))) x) 0.062 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 0.063 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 0.065 * * [simplify]: iteration 2 : 24 enodes (cost 9 ) 0.069 * * [simplify]: iteration 3 : 51 enodes (cost 9 ) 0.077 * * [simplify]: iteration 4 : 100 enodes (cost 9 ) 0.097 * * [simplify]: iteration 5 : 235 enodes (cost 9 ) 0.175 * * [simplify]: iteration 6 : 543 enodes (cost 9 ) 0.488 * * [simplify]: iteration 7 : 1636 enodes (cost 9 ) 1.758 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 1.758 * [simplify]: Simplified to: (/ (pow (/ x (+ x y)) x) x) 1.761 * * [progress]: iteration 1 / 4 1.761 * * * [progress]: picking best candidate 1.762 * * * * [pick]: Picked # 1.762 * * * [progress]: localizing error 1.769 * * * [progress]: generating rewritten candidates 1.769 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 1.777 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 1.803 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 1.817 * * * [progress]: generating series expansions 1.817 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 1.817 * [approximate]: Taking taylor expansion of (pow (/ x (+ x y)) x) in (x y) around 0 1.817 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) x) in y 1.817 * [taylor]: Taking taylor expansion of (exp (* x (log (/ x (+ x y))))) in y 1.817 * [taylor]: Taking taylor expansion of (* x (log (/ x (+ x y)))) in y 1.817 * [taylor]: Taking taylor expansion of x in y 1.818 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in y 1.818 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in y 1.818 * [taylor]: Taking taylor expansion of x in y 1.818 * [taylor]: Taking taylor expansion of (+ x y) in y 1.818 * [taylor]: Taking taylor expansion of x in y 1.818 * [taylor]: Taking taylor expansion of y in y 1.819 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) x) in x 1.820 * [taylor]: Taking taylor expansion of (exp (* x (log (/ x (+ x y))))) in x 1.820 * [taylor]: Taking taylor expansion of (* x (log (/ x (+ x y)))) in x 1.820 * [taylor]: Taking taylor expansion of x in x 1.820 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 1.820 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 1.820 * [taylor]: Taking taylor expansion of x in x 1.820 * [taylor]: Taking taylor expansion of (+ x y) in x 1.820 * [taylor]: Taking taylor expansion of x in x 1.820 * [taylor]: Taking taylor expansion of y in x 1.821 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) x) in x 1.821 * [taylor]: Taking taylor expansion of (exp (* x (log (/ x (+ x y))))) in x 1.821 * [taylor]: Taking taylor expansion of (* x (log (/ x (+ x y)))) in x 1.822 * [taylor]: Taking taylor expansion of x in x 1.822 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 1.822 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 1.822 * [taylor]: Taking taylor expansion of x in x 1.822 * [taylor]: Taking taylor expansion of (+ x y) in x 1.822 * [taylor]: Taking taylor expansion of x in x 1.822 * [taylor]: Taking taylor expansion of y in x 1.823 * [taylor]: Taking taylor expansion of 1 in y 1.824 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 1.824 * [taylor]: Taking taylor expansion of (log x) in y 1.824 * [taylor]: Taking taylor expansion of x in y 1.824 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.824 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.824 * [taylor]: Taking taylor expansion of y in y 1.827 * [taylor]: Taking taylor expansion of (- (+ (* (log x) (log (/ 1 y))) (+ (* 1/2 (pow (log x) 2)) (* 1/2 (pow (log (/ 1 y)) 2)))) (/ 1 y)) in y 1.827 * [taylor]: Taking taylor expansion of (+ (* (log x) (log (/ 1 y))) (+ (* 1/2 (pow (log x) 2)) (* 1/2 (pow (log (/ 1 y)) 2)))) in y 1.827 * [taylor]: Taking taylor expansion of (* (log x) (log (/ 1 y))) in y 1.827 * [taylor]: Taking taylor expansion of (log x) in y 1.827 * [taylor]: Taking taylor expansion of x in y 1.827 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.827 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.827 * [taylor]: Taking taylor expansion of y in y 1.828 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow (log x) 2)) (* 1/2 (pow (log (/ 1 y)) 2))) in y 1.828 * [taylor]: Taking taylor expansion of (* 1/2 (pow (log x) 2)) in y 1.828 * [taylor]: Taking taylor expansion of 1/2 in y 1.828 * [taylor]: Taking taylor expansion of (pow (log x) 2) in y 1.828 * [taylor]: Taking taylor expansion of (log x) in y 1.828 * [taylor]: Taking taylor expansion of x in y 1.828 * [taylor]: Taking taylor expansion of (* 1/2 (pow (log (/ 1 y)) 2)) in y 1.828 * [taylor]: Taking taylor expansion of 1/2 in y 1.828 * [taylor]: Taking taylor expansion of (pow (log (/ 1 y)) 2) in y 1.828 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.828 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.828 * [taylor]: Taking taylor expansion of y in y 1.829 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.829 * [taylor]: Taking taylor expansion of y in y 1.833 * [approximate]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x)) in (x y) around 0 1.833 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x)) in y 1.833 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in y 1.833 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in y 1.833 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.833 * [taylor]: Taking taylor expansion of x in y 1.833 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 1.833 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 1.833 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 1.833 * [taylor]: Taking taylor expansion of x in y 1.833 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 1.834 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.834 * [taylor]: Taking taylor expansion of y in y 1.834 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.834 * [taylor]: Taking taylor expansion of x in y 1.835 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x)) in x 1.835 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 1.835 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 1.835 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.835 * [taylor]: Taking taylor expansion of x in x 1.835 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 1.835 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 1.835 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 1.835 * [taylor]: Taking taylor expansion of x in x 1.835 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.835 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.836 * [taylor]: Taking taylor expansion of y in x 1.836 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.836 * [taylor]: Taking taylor expansion of x in x 1.841 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x)) in x 1.841 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 1.841 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 1.841 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.841 * [taylor]: Taking taylor expansion of x in x 1.841 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 1.841 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 1.841 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 1.841 * [taylor]: Taking taylor expansion of x in x 1.841 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.841 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.841 * [taylor]: Taking taylor expansion of y in x 1.841 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.841 * [taylor]: Taking taylor expansion of x in x 1.847 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 1.847 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 1.847 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.847 * [taylor]: Taking taylor expansion of y in y 1.852 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp (- (/ 1 y))) (pow y 2))) in y 1.852 * [taylor]: Taking taylor expansion of 1/2 in y 1.852 * [taylor]: Taking taylor expansion of (/ (exp (- (/ 1 y))) (pow y 2)) in y 1.853 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 1.853 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 1.853 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.853 * [taylor]: Taking taylor expansion of y in y 1.853 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.853 * [taylor]: Taking taylor expansion of y in y 1.863 * [taylor]: Taking taylor expansion of (* (- (* 1/8 (/ 1 (pow y 4))) (* 1/3 (/ 1 (pow y 3)))) (exp (- (/ 1 y)))) in y 1.863 * [taylor]: Taking taylor expansion of (- (* 1/8 (/ 1 (pow y 4))) (* 1/3 (/ 1 (pow y 3)))) in y 1.863 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow y 4))) in y 1.863 * [taylor]: Taking taylor expansion of 1/8 in y 1.863 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 1.863 * [taylor]: Taking taylor expansion of (pow y 4) in y 1.863 * [taylor]: Taking taylor expansion of y in y 1.864 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow y 3))) in y 1.864 * [taylor]: Taking taylor expansion of 1/3 in y 1.864 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 1.864 * [taylor]: Taking taylor expansion of (pow y 3) in y 1.864 * [taylor]: Taking taylor expansion of y in y 1.865 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 1.865 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 1.865 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.865 * [taylor]: Taking taylor expansion of y in y 1.900 * [taylor]: Taking taylor expansion of (* (exp (- (/ 1 y))) (- (+ (* 1/48 (/ 1 (pow y 6))) (* 1/4 (/ 1 (pow y 4)))) (* 1/6 (/ 1 (pow y 5))))) in y 1.900 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 1.900 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 1.900 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.900 * [taylor]: Taking taylor expansion of y in y 1.901 * [taylor]: Taking taylor expansion of (- (+ (* 1/48 (/ 1 (pow y 6))) (* 1/4 (/ 1 (pow y 4)))) (* 1/6 (/ 1 (pow y 5)))) in y 1.901 * [taylor]: Taking taylor expansion of (+ (* 1/48 (/ 1 (pow y 6))) (* 1/4 (/ 1 (pow y 4)))) in y 1.901 * [taylor]: Taking taylor expansion of (* 1/48 (/ 1 (pow y 6))) in y 1.901 * [taylor]: Taking taylor expansion of 1/48 in y 1.901 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6)) in y 1.901 * [taylor]: Taking taylor expansion of (pow y 6) in y 1.901 * [taylor]: Taking taylor expansion of y in y 1.902 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (pow y 4))) in y 1.902 * [taylor]: Taking taylor expansion of 1/4 in y 1.902 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 1.902 * [taylor]: Taking taylor expansion of (pow y 4) in y 1.902 * [taylor]: Taking taylor expansion of y in y 1.903 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow y 5))) in y 1.903 * [taylor]: Taking taylor expansion of 1/6 in y 1.903 * [taylor]: Taking taylor expansion of (/ 1 (pow y 5)) in y 1.903 * [taylor]: Taking taylor expansion of (pow y 5) in y 1.903 * [taylor]: Taking taylor expansion of y in y 1.953 * [approximate]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) in (x y) around 0 1.953 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) in y 1.953 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in y 1.953 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in y 1.953 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.953 * [taylor]: Taking taylor expansion of -1 in y 1.953 * [taylor]: Taking taylor expansion of x in y 1.953 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 1.953 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 1.953 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 1.953 * [taylor]: Taking taylor expansion of x in y 1.953 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 1.953 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.953 * [taylor]: Taking taylor expansion of y in y 1.954 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.954 * [taylor]: Taking taylor expansion of x in y 1.955 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) in x 1.955 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 1.955 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 1.955 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.955 * [taylor]: Taking taylor expansion of -1 in x 1.955 * [taylor]: Taking taylor expansion of x in x 1.955 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 1.955 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 1.955 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 1.955 * [taylor]: Taking taylor expansion of x in x 1.955 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.955 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.955 * [taylor]: Taking taylor expansion of y in x 1.955 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.955 * [taylor]: Taking taylor expansion of x in x 1.961 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) in x 1.961 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 1.961 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 1.961 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.961 * [taylor]: Taking taylor expansion of -1 in x 1.961 * [taylor]: Taking taylor expansion of x in x 1.961 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 1.961 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 1.961 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 1.961 * [taylor]: Taking taylor expansion of x in x 1.961 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.961 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.961 * [taylor]: Taking taylor expansion of y in x 1.961 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.961 * [taylor]: Taking taylor expansion of x in x 1.967 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 1.967 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.967 * [taylor]: Taking taylor expansion of y in y 1.971 * [taylor]: Taking taylor expansion of (* -1/2 (/ (exp (/ 1 y)) (pow y 2))) in y 1.972 * [taylor]: Taking taylor expansion of -1/2 in y 1.972 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 y)) (pow y 2)) in y 1.972 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 1.972 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.972 * [taylor]: Taking taylor expansion of y in y 1.972 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.972 * [taylor]: Taking taylor expansion of y in y 1.984 * [taylor]: Taking taylor expansion of (* (exp (/ 1 y)) (+ (* 1/3 (/ 1 (pow y 3))) (* 1/8 (/ 1 (pow y 4))))) in y 1.985 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 1.985 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.985 * [taylor]: Taking taylor expansion of y in y 1.985 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ 1 (pow y 3))) (* 1/8 (/ 1 (pow y 4)))) in y 1.985 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow y 3))) in y 1.985 * [taylor]: Taking taylor expansion of 1/3 in y 1.985 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 1.985 * [taylor]: Taking taylor expansion of (pow y 3) in y 1.985 * [taylor]: Taking taylor expansion of y in y 1.986 * [taylor]: Taking taylor expansion of (* 1/8 (/ 1 (pow y 4))) in y 1.986 * [taylor]: Taking taylor expansion of 1/8 in y 1.986 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 1.986 * [taylor]: Taking taylor expansion of (pow y 4) in y 1.986 * [taylor]: Taking taylor expansion of y in y 2.015 * [taylor]: Taking taylor expansion of (* -1 (* (exp (/ 1 y)) (+ (* 1/48 (/ 1 (pow y 6))) (+ (* 1/4 (/ 1 (pow y 4))) (* 1/6 (/ 1 (pow y 5))))))) in y 2.015 * [taylor]: Taking taylor expansion of -1 in y 2.015 * [taylor]: Taking taylor expansion of (* (exp (/ 1 y)) (+ (* 1/48 (/ 1 (pow y 6))) (+ (* 1/4 (/ 1 (pow y 4))) (* 1/6 (/ 1 (pow y 5)))))) in y 2.015 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.015 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.015 * [taylor]: Taking taylor expansion of y in y 2.016 * [taylor]: Taking taylor expansion of (+ (* 1/48 (/ 1 (pow y 6))) (+ (* 1/4 (/ 1 (pow y 4))) (* 1/6 (/ 1 (pow y 5))))) in y 2.016 * [taylor]: Taking taylor expansion of (* 1/48 (/ 1 (pow y 6))) in y 2.016 * [taylor]: Taking taylor expansion of 1/48 in y 2.016 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6)) in y 2.016 * [taylor]: Taking taylor expansion of (pow y 6) in y 2.016 * [taylor]: Taking taylor expansion of y in y 2.017 * [taylor]: Taking taylor expansion of (+ (* 1/4 (/ 1 (pow y 4))) (* 1/6 (/ 1 (pow y 5)))) in y 2.017 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (pow y 4))) in y 2.017 * [taylor]: Taking taylor expansion of 1/4 in y 2.017 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 2.017 * [taylor]: Taking taylor expansion of (pow y 4) in y 2.017 * [taylor]: Taking taylor expansion of y in y 2.018 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow y 5))) in y 2.018 * [taylor]: Taking taylor expansion of 1/6 in y 2.018 * [taylor]: Taking taylor expansion of (/ 1 (pow y 5)) in y 2.018 * [taylor]: Taking taylor expansion of (pow y 5) in y 2.018 * [taylor]: Taking taylor expansion of y in y 2.074 * * * * [progress]: [ 2 / 3 ] generating series at (2) 2.074 * [approximate]: Taking taylor expansion of (/ (pow (/ x (+ x y)) x) x) in (x y) around 0 2.074 * [taylor]: Taking taylor expansion of (/ (pow (/ x (+ x y)) x) x) in y 2.074 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) x) in y 2.074 * [taylor]: Taking taylor expansion of (exp (* x (log (/ x (+ x y))))) in y 2.074 * [taylor]: Taking taylor expansion of (* x (log (/ x (+ x y)))) in y 2.074 * [taylor]: Taking taylor expansion of x in y 2.074 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in y 2.074 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in y 2.074 * [taylor]: Taking taylor expansion of x in y 2.074 * [taylor]: Taking taylor expansion of (+ x y) in y 2.074 * [taylor]: Taking taylor expansion of x in y 2.074 * [taylor]: Taking taylor expansion of y in y 2.076 * [taylor]: Taking taylor expansion of x in y 2.076 * [taylor]: Taking taylor expansion of (/ (pow (/ x (+ x y)) x) x) in x 2.076 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) x) in x 2.076 * [taylor]: Taking taylor expansion of (exp (* x (log (/ x (+ x y))))) in x 2.076 * [taylor]: Taking taylor expansion of (* x (log (/ x (+ x y)))) in x 2.076 * [taylor]: Taking taylor expansion of x in x 2.076 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 2.076 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 2.076 * [taylor]: Taking taylor expansion of x in x 2.076 * [taylor]: Taking taylor expansion of (+ x y) in x 2.076 * [taylor]: Taking taylor expansion of x in x 2.076 * [taylor]: Taking taylor expansion of y in x 2.078 * [taylor]: Taking taylor expansion of x in x 2.078 * [taylor]: Taking taylor expansion of (/ (pow (/ x (+ x y)) x) x) in x 2.078 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) x) in x 2.078 * [taylor]: Taking taylor expansion of (exp (* x (log (/ x (+ x y))))) in x 2.078 * [taylor]: Taking taylor expansion of (* x (log (/ x (+ x y)))) in x 2.078 * [taylor]: Taking taylor expansion of x in x 2.078 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 2.078 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 2.078 * [taylor]: Taking taylor expansion of x in x 2.078 * [taylor]: Taking taylor expansion of (+ x y) in x 2.078 * [taylor]: Taking taylor expansion of x in x 2.079 * [taylor]: Taking taylor expansion of y in x 2.080 * [taylor]: Taking taylor expansion of x in x 2.081 * [taylor]: Taking taylor expansion of 1 in y 2.081 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 2.081 * [taylor]: Taking taylor expansion of (log x) in y 2.081 * [taylor]: Taking taylor expansion of x in y 2.081 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.081 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.082 * [taylor]: Taking taylor expansion of y in y 2.086 * [taylor]: Taking taylor expansion of (- (+ (* (log x) (log (/ 1 y))) (+ (* 1/2 (pow (log x) 2)) (* 1/2 (pow (log (/ 1 y)) 2)))) (/ 1 y)) in y 2.086 * [taylor]: Taking taylor expansion of (+ (* (log x) (log (/ 1 y))) (+ (* 1/2 (pow (log x) 2)) (* 1/2 (pow (log (/ 1 y)) 2)))) in y 2.086 * [taylor]: Taking taylor expansion of (* (log x) (log (/ 1 y))) in y 2.086 * [taylor]: Taking taylor expansion of (log x) in y 2.086 * [taylor]: Taking taylor expansion of x in y 2.086 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.086 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.086 * [taylor]: Taking taylor expansion of y in y 2.087 * [taylor]: Taking taylor expansion of (+ (* 1/2 (pow (log x) 2)) (* 1/2 (pow (log (/ 1 y)) 2))) in y 2.087 * [taylor]: Taking taylor expansion of (* 1/2 (pow (log x) 2)) in y 2.087 * [taylor]: Taking taylor expansion of 1/2 in y 2.087 * [taylor]: Taking taylor expansion of (pow (log x) 2) in y 2.087 * [taylor]: Taking taylor expansion of (log x) in y 2.087 * [taylor]: Taking taylor expansion of x in y 2.087 * [taylor]: Taking taylor expansion of (* 1/2 (pow (log (/ 1 y)) 2)) in y 2.087 * [taylor]: Taking taylor expansion of 1/2 in y 2.087 * [taylor]: Taking taylor expansion of (pow (log (/ 1 y)) 2) in y 2.087 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.087 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.087 * [taylor]: Taking taylor expansion of y in y 2.088 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.088 * [taylor]: Taking taylor expansion of y in y 2.092 * [approximate]: Taking taylor expansion of (* x (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x))) in (x y) around 0 2.092 * [taylor]: Taking taylor expansion of (* x (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x))) in y 2.092 * [taylor]: Taking taylor expansion of x in y 2.092 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x)) in y 2.092 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in y 2.092 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in y 2.092 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.092 * [taylor]: Taking taylor expansion of x in y 2.092 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 2.092 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 2.092 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 2.092 * [taylor]: Taking taylor expansion of x in y 2.092 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 2.092 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.092 * [taylor]: Taking taylor expansion of y in y 2.092 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.093 * [taylor]: Taking taylor expansion of x in y 2.093 * [taylor]: Taking taylor expansion of (* x (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x))) in x 2.093 * [taylor]: Taking taylor expansion of x in x 2.093 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x)) in x 2.093 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 2.094 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 2.094 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.094 * [taylor]: Taking taylor expansion of x in x 2.094 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 2.094 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 2.094 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 2.094 * [taylor]: Taking taylor expansion of x in x 2.094 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.094 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.094 * [taylor]: Taking taylor expansion of y in x 2.094 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.094 * [taylor]: Taking taylor expansion of x in x 2.100 * [taylor]: Taking taylor expansion of (* x (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x))) in x 2.100 * [taylor]: Taking taylor expansion of x in x 2.100 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ 1 x)) in x 2.100 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 2.100 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 2.100 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.100 * [taylor]: Taking taylor expansion of x in x 2.100 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 2.100 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 2.100 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 2.100 * [taylor]: Taking taylor expansion of x in x 2.100 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.100 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.100 * [taylor]: Taking taylor expansion of y in x 2.100 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.100 * [taylor]: Taking taylor expansion of x in x 2.106 * [taylor]: Taking taylor expansion of 0 in y 2.111 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 2.111 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 2.111 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.111 * [taylor]: Taking taylor expansion of y in y 2.118 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp (- (/ 1 y))) (pow y 2))) in y 2.118 * [taylor]: Taking taylor expansion of 1/2 in y 2.118 * [taylor]: Taking taylor expansion of (/ (exp (- (/ 1 y))) (pow y 2)) in y 2.118 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 2.118 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 2.118 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.118 * [taylor]: Taking taylor expansion of y in y 2.119 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.119 * [taylor]: Taking taylor expansion of y in y 2.131 * [taylor]: Taking taylor expansion of (- (* 1/8 (/ (exp (- (/ 1 y))) (pow y 4))) (* 1/3 (/ (exp (- (/ 1 y))) (pow y 3)))) in y 2.131 * [taylor]: Taking taylor expansion of (* 1/8 (/ (exp (- (/ 1 y))) (pow y 4))) in y 2.132 * [taylor]: Taking taylor expansion of 1/8 in y 2.132 * [taylor]: Taking taylor expansion of (/ (exp (- (/ 1 y))) (pow y 4)) in y 2.132 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 2.132 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 2.132 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.132 * [taylor]: Taking taylor expansion of y in y 2.132 * [taylor]: Taking taylor expansion of (pow y 4) in y 2.132 * [taylor]: Taking taylor expansion of y in y 2.133 * [taylor]: Taking taylor expansion of (* 1/3 (/ (exp (- (/ 1 y))) (pow y 3))) in y 2.133 * [taylor]: Taking taylor expansion of 1/3 in y 2.133 * [taylor]: Taking taylor expansion of (/ (exp (- (/ 1 y))) (pow y 3)) in y 2.133 * [taylor]: Taking taylor expansion of (exp (- (/ 1 y))) in y 2.133 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 2.133 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.133 * [taylor]: Taking taylor expansion of y in y 2.134 * [taylor]: Taking taylor expansion of (pow y 3) in y 2.134 * [taylor]: Taking taylor expansion of y in y 2.155 * [approximate]: Taking taylor expansion of (* -1 (* (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) x)) in (x y) around 0 2.155 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) x)) in y 2.155 * [taylor]: Taking taylor expansion of -1 in y 2.155 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) x) in y 2.155 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) in y 2.155 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in y 2.155 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in y 2.155 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.155 * [taylor]: Taking taylor expansion of -1 in y 2.155 * [taylor]: Taking taylor expansion of x in y 2.155 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 2.155 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 2.155 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 2.155 * [taylor]: Taking taylor expansion of x in y 2.155 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 2.155 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.155 * [taylor]: Taking taylor expansion of y in y 2.156 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.156 * [taylor]: Taking taylor expansion of x in y 2.157 * [taylor]: Taking taylor expansion of x in y 2.157 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) x)) in x 2.157 * [taylor]: Taking taylor expansion of -1 in x 2.157 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) x) in x 2.157 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) in x 2.157 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 2.157 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 2.157 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.157 * [taylor]: Taking taylor expansion of -1 in x 2.157 * [taylor]: Taking taylor expansion of x in x 2.158 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 2.158 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 2.158 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 2.158 * [taylor]: Taking taylor expansion of x in x 2.158 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.158 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.158 * [taylor]: Taking taylor expansion of y in x 2.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.158 * [taylor]: Taking taylor expansion of x in x 2.166 * [taylor]: Taking taylor expansion of x in x 2.166 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) x)) in x 2.166 * [taylor]: Taking taylor expansion of -1 in x 2.166 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) x) in x 2.166 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) (/ -1 x)) in x 2.166 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 2.166 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 2.166 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.166 * [taylor]: Taking taylor expansion of -1 in x 2.166 * [taylor]: Taking taylor expansion of x in x 2.167 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 2.167 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 2.167 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 2.167 * [taylor]: Taking taylor expansion of x in x 2.167 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.167 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.167 * [taylor]: Taking taylor expansion of y in x 2.167 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.167 * [taylor]: Taking taylor expansion of x in x 2.172 * [taylor]: Taking taylor expansion of x in x 2.173 * [taylor]: Taking taylor expansion of 0 in y 2.178 * [taylor]: Taking taylor expansion of (- (exp (/ 1 y))) in y 2.178 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.178 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.178 * [taylor]: Taking taylor expansion of y in y 2.186 * [taylor]: Taking taylor expansion of (* 1/2 (/ (exp (/ 1 y)) (pow y 2))) in y 2.186 * [taylor]: Taking taylor expansion of 1/2 in y 2.186 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 y)) (pow y 2)) in y 2.186 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.186 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.186 * [taylor]: Taking taylor expansion of y in y 2.186 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.186 * [taylor]: Taking taylor expansion of y in y 2.200 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (/ (exp (/ 1 y)) (pow y 3))) (* 1/8 (/ (exp (/ 1 y)) (pow y 4))))) in y 2.200 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ (exp (/ 1 y)) (pow y 3))) (* 1/8 (/ (exp (/ 1 y)) (pow y 4)))) in y 2.200 * [taylor]: Taking taylor expansion of (* 1/3 (/ (exp (/ 1 y)) (pow y 3))) in y 2.200 * [taylor]: Taking taylor expansion of 1/3 in y 2.200 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 y)) (pow y 3)) in y 2.200 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.200 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.200 * [taylor]: Taking taylor expansion of y in y 2.201 * [taylor]: Taking taylor expansion of (pow y 3) in y 2.201 * [taylor]: Taking taylor expansion of y in y 2.201 * [taylor]: Taking taylor expansion of (* 1/8 (/ (exp (/ 1 y)) (pow y 4))) in y 2.201 * [taylor]: Taking taylor expansion of 1/8 in y 2.201 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 y)) (pow y 4)) in y 2.201 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 2.201 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.201 * [taylor]: Taking taylor expansion of y in y 2.202 * [taylor]: Taking taylor expansion of (pow y 4) in y 2.202 * [taylor]: Taking taylor expansion of y in y 2.223 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 2.223 * [approximate]: Taking taylor expansion of (/ x (+ x y)) in (x y) around 0 2.223 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in y 2.223 * [taylor]: Taking taylor expansion of x in y 2.223 * [taylor]: Taking taylor expansion of (+ x y) in y 2.223 * [taylor]: Taking taylor expansion of x in y 2.223 * [taylor]: Taking taylor expansion of y in y 2.223 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 2.223 * [taylor]: Taking taylor expansion of x in x 2.223 * [taylor]: Taking taylor expansion of (+ x y) in x 2.223 * [taylor]: Taking taylor expansion of x in x 2.223 * [taylor]: Taking taylor expansion of y in x 2.223 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 2.223 * [taylor]: Taking taylor expansion of x in x 2.223 * [taylor]: Taking taylor expansion of (+ x y) in x 2.223 * [taylor]: Taking taylor expansion of x in x 2.223 * [taylor]: Taking taylor expansion of y in x 2.223 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.223 * [taylor]: Taking taylor expansion of y in y 2.225 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y 2.225 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.225 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.225 * [taylor]: Taking taylor expansion of y in y 2.228 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 2.228 * [taylor]: Taking taylor expansion of (pow y 3) in y 2.228 * [taylor]: Taking taylor expansion of y in y 2.236 * [approximate]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in (x y) around 0 2.236 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 2.236 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 2.236 * [taylor]: Taking taylor expansion of x in y 2.236 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 2.236 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.236 * [taylor]: Taking taylor expansion of y in y 2.236 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.236 * [taylor]: Taking taylor expansion of x in y 2.237 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 2.237 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 2.237 * [taylor]: Taking taylor expansion of x in x 2.237 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.237 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.237 * [taylor]: Taking taylor expansion of y in x 2.237 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.237 * [taylor]: Taking taylor expansion of x in x 2.239 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 2.239 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 2.239 * [taylor]: Taking taylor expansion of x in x 2.239 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.239 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.239 * [taylor]: Taking taylor expansion of y in x 2.239 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.239 * [taylor]: Taking taylor expansion of x in x 2.241 * [taylor]: Taking taylor expansion of 1 in y 2.243 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 2.243 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.243 * [taylor]: Taking taylor expansion of y in y 2.246 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.246 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.246 * [taylor]: Taking taylor expansion of y in y 2.251 * [approximate]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in (x y) around 0 2.251 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 2.251 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 2.251 * [taylor]: Taking taylor expansion of x in y 2.251 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 2.251 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.251 * [taylor]: Taking taylor expansion of y in y 2.252 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.252 * [taylor]: Taking taylor expansion of x in y 2.252 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 2.252 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 2.252 * [taylor]: Taking taylor expansion of x in x 2.252 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.252 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.252 * [taylor]: Taking taylor expansion of y in x 2.252 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.252 * [taylor]: Taking taylor expansion of x in x 2.254 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 2.254 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 2.254 * [taylor]: Taking taylor expansion of x in x 2.254 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 2.254 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.254 * [taylor]: Taking taylor expansion of y in x 2.254 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.254 * [taylor]: Taking taylor expansion of x in x 2.256 * [taylor]: Taking taylor expansion of 1 in y 2.261 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 2.261 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.261 * [taylor]: Taking taylor expansion of y in y 2.265 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 2.265 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.265 * [taylor]: Taking taylor expansion of y in y 2.270 * * * [progress]: simplifying candidates 2.272 * [simplify]: Simplifying using # : (* (- (log x) (log (+ x y))) x) (* (log (/ x (+ x y))) x) (* (log (/ x (+ x y))) x) (* 1 x) (pow (/ x (+ x y)) (* (cbrt x) (cbrt x))) (pow (/ x (+ x y)) (sqrt x)) (pow (/ x (+ x y)) 1) (pow (* (cbrt (/ x (+ x y))) (cbrt (/ x (+ x y)))) x) (pow (cbrt (/ x (+ x y))) x) (pow (sqrt (/ x (+ x y))) x) (pow (sqrt (/ x (+ x y))) x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (pow (/ (cbrt x) (cbrt (+ x y))) x) (pow (/ (* (cbrt x) (cbrt x)) (sqrt (+ x y))) x) (pow (/ (cbrt x) (sqrt (+ x y))) x) (pow (/ (* (cbrt x) (cbrt x)) 1) x) (pow (/ (cbrt x) (+ x y)) x) (pow (/ (* (cbrt x) (cbrt x)) 1) x) (pow (/ (cbrt x) (+ x y)) x) (pow (/ (sqrt x) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (pow (/ (sqrt x) (cbrt (+ x y))) x) (pow (/ (sqrt x) (sqrt (+ x y))) x) (pow (/ (sqrt x) (sqrt (+ x y))) x) (pow (/ (sqrt x) 1) x) (pow (/ (sqrt x) (+ x y)) x) (pow (/ (sqrt x) 1) x) (pow (/ (sqrt x) (+ x y)) x) (pow (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (pow (/ x (cbrt (+ x y))) x) (pow (/ 1 (sqrt (+ x y))) x) (pow (/ x (sqrt (+ x y))) x) (pow (/ 1 1) x) (pow (/ x (+ x y)) x) (pow (/ 1 1) x) (pow (/ x (+ x y)) x) (pow 1 x) (pow (/ x (+ x y)) x) (pow x x) (pow (/ 1 (+ x y)) x) (pow (/ x (+ (pow x 3) (pow y 3))) x) (pow (+ (* x x) (- (* y y) (* x y))) x) (pow (/ x (- (* x x) (* y y))) x) (pow (- x y) x) (log (pow (/ x (+ x y)) x)) (exp (pow (/ x (+ x y)) x)) (* (cbrt (pow (/ x (+ x y)) x)) (cbrt (pow (/ x (+ x y)) x))) (cbrt (pow (/ x (+ x y)) x)) (* (* (pow (/ x (+ x y)) x) (pow (/ x (+ x y)) x)) (pow (/ x (+ x y)) x)) (sqrt (pow (/ x (+ x y)) x)) (sqrt (pow (/ x (+ x y)) x)) (pow (/ x (+ x y)) (/ x 2)) (pow (/ x (+ x y)) (/ x 2)) (- (* (- (log x) (log (+ x y))) x) (log x)) (- (* (log (/ x (+ x y))) x) (log x)) (- (* (log (/ x (+ x y))) x) (log x)) (- (log (pow (/ x (+ x y)) x)) (log x)) (log (/ (pow (/ x (+ x y)) x) x)) (exp (/ (pow (/ x (+ x y)) x) x)) (/ (* (* (pow (/ x (+ x y)) x) (pow (/ x (+ x y)) x)) (pow (/ x (+ x y)) x)) (* (* x x) x)) (* (cbrt (/ (pow (/ x (+ x y)) x) x)) (cbrt (/ (pow (/ x (+ x y)) x) x))) (cbrt (/ (pow (/ x (+ x y)) x) x)) (* (* (/ (pow (/ x (+ x y)) x) x) (/ (pow (/ x (+ x y)) x) x)) (/ (pow (/ x (+ x y)) x) x)) (sqrt (/ (pow (/ x (+ x y)) x) x)) (sqrt (/ (pow (/ x (+ x y)) x) x)) (- (pow (/ x (+ x y)) x)) (- x) (/ (pow (* (cbrt (/ x (+ x y))) (cbrt (/ x (+ x y)))) x) (* (cbrt x) (cbrt x))) (/ (pow (cbrt (/ x (+ x y))) x) (cbrt x)) (/ (pow (* (cbrt (/ x (+ x y))) (cbrt (/ x (+ x y)))) x) (sqrt x)) (/ (pow (cbrt (/ x (+ x y))) x) (sqrt x)) (/ (pow (* (cbrt (/ x (+ x y))) (cbrt (/ x (+ x y)))) x) 1) (/ (pow (cbrt (/ x (+ x y))) x) x) (/ (pow (sqrt (/ x (+ x y))) x) (* (cbrt x) (cbrt x))) (/ (pow (sqrt (/ x (+ x y))) x) (cbrt x)) (/ (pow (sqrt (/ x (+ x y))) x) (sqrt x)) (/ (pow (sqrt (/ x (+ x y))) x) (sqrt x)) (/ (pow (sqrt (/ x (+ x y))) x) 1) (/ (pow (sqrt (/ x (+ x y))) x) x) (/ (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (* (cbrt x) (cbrt x))) (/ (pow (/ (cbrt x) (cbrt (+ x y))) x) (cbrt x)) (/ (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (sqrt x)) (/ (pow (/ (cbrt x) (cbrt (+ x y))) x) (sqrt x)) (/ (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) 1) (/ (pow (/ (cbrt x) (cbrt (+ x y))) x) x) (/ (pow (/ (* (cbrt x) (cbrt x)) (sqrt (+ x y))) x) (* (cbrt x) (cbrt x))) (/ (pow (/ (cbrt x) (sqrt (+ x y))) x) (cbrt x)) (/ (pow (/ (* (cbrt x) (cbrt x)) (sqrt (+ x y))) x) (sqrt x)) (/ (pow (/ (cbrt x) (sqrt (+ x y))) x) (sqrt x)) (/ (pow (/ (* (cbrt x) (cbrt x)) (sqrt (+ x y))) x) 1) (/ (pow (/ (cbrt x) (sqrt (+ x y))) x) x) (/ (pow (/ (* (cbrt x) (cbrt x)) 1) x) (* (cbrt x) (cbrt x))) (/ (pow (/ (cbrt x) (+ x y)) x) (cbrt x)) (/ (pow (/ (* (cbrt x) (cbrt x)) 1) x) (sqrt x)) (/ (pow (/ (cbrt x) (+ x y)) x) (sqrt x)) (/ (pow (/ (* (cbrt x) (cbrt x)) 1) x) 1) (/ (pow (/ (cbrt x) (+ x y)) x) x) (/ (pow (/ (* (cbrt x) (cbrt x)) 1) x) (* (cbrt x) (cbrt x))) (/ (pow (/ (cbrt x) (+ x y)) x) (cbrt x)) (/ (pow (/ (* (cbrt x) (cbrt x)) 1) x) (sqrt x)) (/ (pow (/ (cbrt x) (+ x y)) x) (sqrt x)) (/ (pow (/ (* (cbrt x) (cbrt x)) 1) x) 1) (/ (pow (/ (cbrt x) (+ x y)) x) x) (/ (pow (/ (sqrt x) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (* (cbrt x) (cbrt x))) (/ (pow (/ (sqrt x) (cbrt (+ x y))) x) (cbrt x)) (/ (pow (/ (sqrt x) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (sqrt x)) (/ (pow (/ (sqrt x) (cbrt (+ x y))) x) (sqrt x)) (/ (pow (/ (sqrt x) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) 1) (/ (pow (/ (sqrt x) (cbrt (+ x y))) x) x) (/ (pow (/ (sqrt x) (sqrt (+ x y))) x) (* (cbrt x) (cbrt x))) (/ (pow (/ (sqrt x) (sqrt (+ x y))) x) (cbrt x)) (/ (pow (/ (sqrt x) (sqrt (+ x y))) x) (sqrt x)) (/ (pow (/ (sqrt x) (sqrt (+ x y))) x) (sqrt x)) (/ (pow (/ (sqrt x) (sqrt (+ x y))) x) 1) (/ (pow (/ (sqrt x) (sqrt (+ x y))) x) x) (/ (pow (/ (sqrt x) 1) x) (* (cbrt x) (cbrt x))) (/ (pow (/ (sqrt x) (+ x y)) x) (cbrt x)) (/ (pow (/ (sqrt x) 1) x) (sqrt x)) (/ (pow (/ (sqrt x) (+ x y)) x) (sqrt x)) (/ (pow (/ (sqrt x) 1) x) 1) (/ (pow (/ (sqrt x) (+ x y)) x) x) (/ (pow (/ (sqrt x) 1) x) (* (cbrt x) (cbrt x))) (/ (pow (/ (sqrt x) (+ x y)) x) (cbrt x)) (/ (pow (/ (sqrt x) 1) x) (sqrt x)) (/ (pow (/ (sqrt x) (+ x y)) x) (sqrt x)) (/ (pow (/ (sqrt x) 1) x) 1) (/ (pow (/ (sqrt x) (+ x y)) x) x) (/ (pow (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (* (cbrt x) (cbrt x))) (/ (pow (/ x (cbrt (+ x y))) x) (cbrt x)) (/ (pow (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (sqrt x)) (/ (pow (/ x (cbrt (+ x y))) x) (sqrt x)) (/ (pow (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) x) 1) (/ (pow (/ x (cbrt (+ x y))) x) x) (/ (pow (/ 1 (sqrt (+ x y))) x) (* (cbrt x) (cbrt x))) (/ (pow (/ x (sqrt (+ x y))) x) (cbrt x)) (/ (pow (/ 1 (sqrt (+ x y))) x) (sqrt x)) (/ (pow (/ x (sqrt (+ x y))) x) (sqrt x)) (/ (pow (/ 1 (sqrt (+ x y))) x) 1) (/ (pow (/ x (sqrt (+ x y))) x) x) (/ (pow (/ 1 1) x) (* (cbrt x) (cbrt x))) (/ (pow (/ x (+ x y)) x) (cbrt x)) (/ (pow (/ 1 1) x) (sqrt x)) (/ (pow (/ x (+ x y)) x) (sqrt x)) (/ (pow (/ 1 1) x) 1) (/ (pow (/ x (+ x y)) x) x) (/ (pow (/ 1 1) x) (* (cbrt x) (cbrt x))) (/ (pow (/ x (+ x y)) x) (cbrt x)) (/ (pow (/ 1 1) x) (sqrt x)) (/ (pow (/ x (+ x y)) x) (sqrt x)) (/ (pow (/ 1 1) x) 1) (/ (pow (/ x (+ x y)) x) x) (/ (pow 1 x) (* (cbrt x) (cbrt x))) (/ (pow (/ x (+ x y)) x) (cbrt x)) (/ (pow 1 x) (sqrt x)) (/ (pow (/ x (+ x y)) x) (sqrt x)) (/ (pow 1 x) 1) (/ (pow (/ x (+ x y)) x) x) (/ (pow x x) (* (cbrt x) (cbrt x))) (/ (pow (/ 1 (+ x y)) x) (cbrt x)) (/ (pow x x) (sqrt x)) (/ (pow (/ 1 (+ x y)) x) (sqrt x)) (/ (pow x x) 1) (/ (pow (/ 1 (+ x y)) x) x) (/ (pow (/ x (+ (pow x 3) (pow y 3))) x) (* (cbrt x) (cbrt x))) (/ (pow (+ (* x x) (- (* y y) (* x y))) x) (cbrt x)) (/ (pow (/ x (+ (pow x 3) (pow y 3))) x) (sqrt x)) (/ (pow (+ (* x x) (- (* y y) (* x y))) x) (sqrt x)) (/ (pow (/ x (+ (pow x 3) (pow y 3))) x) 1) (/ (pow (+ (* x x) (- (* y y) (* x y))) x) x) (/ (pow (/ x (- (* x x) (* y y))) x) (* (cbrt x) (cbrt x))) (/ (pow (- x y) x) (cbrt x)) (/ (pow (/ x (- (* x x) (* y y))) x) (sqrt x)) (/ (pow (- x y) x) (sqrt x)) (/ (pow (/ x (- (* x x) (* y y))) x) 1) (/ (pow (- x y) x) x) (/ (* (cbrt (pow (/ x (+ x y)) x)) (cbrt (pow (/ x (+ x y)) x))) (* (cbrt x) (cbrt x))) (/ (cbrt (pow (/ x (+ x y)) x)) (cbrt x)) (/ (* (cbrt (pow (/ x (+ x y)) x)) (cbrt (pow (/ x (+ x y)) x))) (sqrt x)) (/ (cbrt (pow (/ x (+ x y)) x)) (sqrt x)) (/ (* (cbrt (pow (/ x (+ x y)) x)) (cbrt (pow (/ x (+ x y)) x))) 1) (/ (cbrt (pow (/ x (+ x y)) x)) x) (/ (sqrt (pow (/ x (+ x y)) x)) (* (cbrt x) (cbrt x))) (/ (sqrt (pow (/ x (+ x y)) x)) (cbrt x)) (/ (sqrt (pow (/ x (+ x y)) x)) (sqrt x)) (/ (sqrt (pow (/ x (+ x y)) x)) (sqrt x)) (/ (sqrt (pow (/ x (+ x y)) x)) 1) (/ (sqrt (pow (/ x (+ x y)) x)) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (pow (/ x (+ x y)) x) (cbrt x)) (/ 1 (sqrt x)) (/ (pow (/ x (+ x y)) x) (sqrt x)) (/ 1 1) (/ (pow (/ x (+ x y)) x) x) (/ (pow (/ x (+ x y)) (/ x 2)) (* (cbrt x) (cbrt x))) (/ (pow (/ x (+ x y)) (/ x 2)) (cbrt x)) (/ (pow (/ x (+ x y)) (/ x 2)) (sqrt x)) (/ (pow (/ x (+ x y)) (/ x 2)) (sqrt x)) (/ (pow (/ x (+ x y)) (/ x 2)) 1) (/ (pow (/ x (+ x y)) (/ x 2)) x) (/ 1 x) (/ x (pow (/ x (+ x y)) x)) (/ (pow (/ x (+ x y)) x) (* (cbrt x) (cbrt x))) (/ (pow (/ x (+ x y)) x) (sqrt x)) (/ (pow (/ x (+ x y)) x) 1) (/ x (pow (cbrt (/ x (+ x y))) x)) (/ x (pow (sqrt (/ x (+ x y))) x)) (/ x (pow (/ (cbrt x) (cbrt (+ x y))) x)) (/ x (pow (/ (cbrt x) (sqrt (+ x y))) x)) (/ x (pow (/ (cbrt x) (+ x y)) x)) (/ x (pow (/ (cbrt x) (+ x y)) x)) (/ x (pow (/ (sqrt x) (cbrt (+ x y))) x)) (/ x (pow (/ (sqrt x) (sqrt (+ x y))) x)) (/ x (pow (/ (sqrt x) (+ x y)) x)) (/ x (pow (/ (sqrt x) (+ x y)) x)) (/ x (pow (/ x (cbrt (+ x y))) x)) (/ x (pow (/ x (sqrt (+ x y))) x)) (/ x (pow (/ x (+ x y)) x)) (/ x (pow (/ x (+ x y)) x)) (/ x (pow (/ x (+ x y)) x)) (/ x (pow (/ 1 (+ x y)) x)) (/ x (pow (+ (* x x) (- (* y y) (* x y))) x)) (/ x (pow (- x y) x)) (/ x (cbrt (pow (/ x (+ x y)) x))) (/ x (sqrt (pow (/ x (+ x y)) x))) (/ x (pow (/ x (+ x y)) x)) (/ x (pow (/ x (+ x y)) (/ x 2))) (- (log x) (log (+ x y))) (log (/ x (+ x y))) (exp (/ x (+ x y))) (/ (* (* x x) x) (* (* (+ x y) (+ x y)) (+ x y))) (* (cbrt (/ x (+ x y))) (cbrt (/ x (+ x y)))) (cbrt (/ x (+ x y))) (* (* (/ x (+ x y)) (/ x (+ x y))) (/ x (+ x y))) (sqrt (/ x (+ x y))) (sqrt (/ x (+ x y))) (- x) (- (+ x y)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (cbrt x) (cbrt (+ x y))) (/ (* (cbrt x) (cbrt x)) (sqrt (+ x y))) (/ (cbrt x) (sqrt (+ x y))) (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) (+ x y)) (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) (+ x y)) (/ (sqrt x) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (sqrt x) (cbrt (+ x y))) (/ (sqrt x) (sqrt (+ x y))) (/ (sqrt x) (sqrt (+ x y))) (/ (sqrt x) 1) (/ (sqrt x) (+ x y)) (/ (sqrt x) 1) (/ (sqrt x) (+ x y)) (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ x (cbrt (+ x y))) (/ 1 (sqrt (+ x y))) (/ x (sqrt (+ x y))) (/ 1 1) (/ x (+ x y)) (/ 1 1) (/ x (+ x y)) (/ 1 (+ x y)) (/ (+ x y) x) (/ x (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ x (sqrt (+ x y))) (/ x 1) (/ x 1) (/ (+ x y) (cbrt x)) (/ (+ x y) (sqrt x)) (/ (+ x y) x) (/ x (+ (pow x 3) (pow y 3))) (/ x (- (* x x) (* y y))) (- (+ (* 1/2 (* (pow x 2) (pow (log y) 2))) (+ (* (log x) x) (+ (* 1/2 (* (pow (log x) 2) (pow x 2))) 1))) (+ (* x (log y)) (* (log x) (* (pow x 2) (log y))))) (exp (- y)) (exp (* -1 y)) (- (+ (* 1/2 (* x (pow (log y) 2))) (+ (log x) (+ (* 1/2 (* (pow (log x) 2) x)) (/ 1 x)))) (+ (log y) (* (log x) (* x (log y))))) (/ (exp (- y)) x) (/ (exp (* -1 y)) x) 0 0 0 2.282 * * [simplify]: iteration 0 : 276 enodes (cost 2881 ) 2.386 * * [simplify]: iteration 1 : 536 enodes (cost 2708 ) 2.542 * * [simplify]: iteration 2 : 1561 enodes (cost 2650 ) 3.085 * * [simplify]: iteration done : 5000 enodes (cost 2650 ) 3.086 * [simplify]: Simplified to: (log (pow (/ x (+ x y)) x)) (log (pow (/ x (+ x y)) x)) (log (pow (/ x (+ x y)) x)) x (pow (/ x (+ x y)) (* (cbrt x) (cbrt x))) (pow (/ x (+ x y)) (sqrt x)) (/ x (+ x y)) (pow (* (cbrt (/ x (+ x y))) (cbrt (/ x (+ x y)))) x) (pow (cbrt (/ x (+ x y))) x) (pow (sqrt (/ x (+ x y))) x) (pow (sqrt (/ x (+ x y))) x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (pow (/ (cbrt x) (cbrt (+ x y))) x) (pow (/ (* (cbrt x) (cbrt x)) (sqrt (+ x y))) x) (pow (/ (cbrt x) (sqrt (+ x y))) x) (pow (* (cbrt x) (cbrt x)) x) (pow (/ (cbrt x) (+ x y)) x) (pow (* (cbrt x) (cbrt x)) x) (pow (/ (cbrt x) (+ x y)) x) (pow (/ (sqrt x) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (pow (/ (sqrt x) (cbrt (+ x y))) x) (pow (/ (sqrt x) (sqrt (+ x y))) x) (pow (/ (sqrt x) (sqrt (+ x y))) x) (pow (sqrt x) x) (pow (/ (sqrt x) (+ x y)) x) (pow (sqrt x) x) (pow (/ (sqrt x) (+ x y)) x) (pow (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (pow (/ x (cbrt (+ x y))) x) (pow (/ 1 (sqrt (+ x y))) x) (pow (/ x (sqrt (+ x y))) x) 1 (pow (/ x (+ x y)) x) 1 (pow (/ x (+ x y)) x) 1 (pow (/ x (+ x y)) x) (pow x x) (pow (/ 1 (+ x y)) x) (pow (/ x (+ (pow x 3) (pow y 3))) x) (pow (+ (* y (- y x)) (* x x)) x) (pow (/ x (- (* x x) (* y y))) x) (pow (- x y) x) (log (pow (/ x (+ x y)) x)) (exp (pow (/ x (+ x y)) x)) (* (cbrt (pow (/ x (+ x y)) x)) (cbrt (pow (/ x (+ x y)) x))) (cbrt (pow (/ x (+ x y)) x)) (pow (pow (/ x (+ x y)) x) 3) (sqrt (pow (/ x (+ x y)) x)) (sqrt (pow (/ x (+ x y)) x)) (pow (/ x (+ x y)) (/ x 2)) (pow (/ x (+ x y)) (/ x 2)) (log (/ (pow (/ x (+ x y)) x) x)) (log (/ (pow (/ x (+ x y)) x) x)) (log (/ (pow (/ x (+ x y)) x) x)) (log (/ (pow (/ x (+ x y)) x) x)) (log (/ (pow (/ x (+ x y)) x) x)) (exp (/ (pow (/ x (+ x y)) x) x)) (pow (/ (pow (/ x (+ x y)) x) x) 3) (* (cbrt (/ (pow (/ x (+ x y)) x) x)) (cbrt (/ (pow (/ x (+ x y)) x) x))) (cbrt (/ (pow (/ x (+ x y)) x) x)) (pow (/ (pow (/ x (+ x y)) x) x) 3) (sqrt (/ (pow (/ x (+ x y)) x) x)) (sqrt (/ (pow (/ x (+ x y)) x) x)) (- (pow (/ x (+ x y)) x)) (- x) (/ (pow (* (cbrt (/ x (+ x y))) (cbrt (/ x (+ x y)))) x) (* (cbrt x) (cbrt x))) (/ (pow (cbrt (/ x (+ x y))) x) (cbrt x)) (/ (pow (* (cbrt (/ x (+ x y))) (cbrt (/ x (+ x y)))) x) (sqrt x)) (/ (pow (cbrt (/ x (+ x y))) x) (sqrt x)) (pow (* (cbrt (/ x (+ x y))) (cbrt (/ x (+ x y)))) x) (/ (pow (cbrt (/ x (+ x y))) x) x) (/ (pow (sqrt (/ x (+ x y))) x) (* (cbrt x) (cbrt x))) (/ (pow (sqrt (/ x (+ x y))) x) (cbrt x)) (/ (pow (sqrt (/ x (+ x y))) x) (sqrt x)) (/ (pow (sqrt (/ x (+ x y))) x) (sqrt x)) (pow (sqrt (/ x (+ x y))) x) (/ (pow (sqrt (/ x (+ x y))) x) x) (/ (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (* (cbrt x) (cbrt x))) (/ (pow (/ (cbrt x) (cbrt (+ x y))) x) (cbrt x)) (/ (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (sqrt x)) (/ (pow (/ (cbrt x) (cbrt (+ x y))) x) (sqrt x)) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (/ (pow (/ (cbrt x) (cbrt (+ x y))) x) x) (/ (pow (/ (* (cbrt x) (cbrt x)) (sqrt (+ x y))) x) (* (cbrt x) (cbrt x))) (/ (pow (/ (cbrt x) (sqrt (+ x y))) x) (cbrt x)) (/ (pow (/ (* (cbrt x) (cbrt x)) (sqrt (+ x y))) x) (sqrt x)) (/ (pow (/ (cbrt x) (sqrt (+ x y))) x) (sqrt x)) (pow (/ (* (cbrt x) (cbrt x)) (sqrt (+ x y))) x) (/ (pow (/ (cbrt x) (sqrt (+ x y))) x) x) (/ (pow (* (cbrt x) (cbrt x)) x) (* (cbrt x) (cbrt x))) (/ (pow (/ (cbrt x) (+ x y)) x) (cbrt x)) (/ (pow (* (cbrt x) (cbrt x)) x) (sqrt x)) (/ (pow (/ (cbrt x) (+ x y)) x) (sqrt x)) (pow (* (cbrt x) (cbrt x)) x) (/ (pow (/ (cbrt x) (+ x y)) x) x) (/ (pow (* (cbrt x) (cbrt x)) x) (* (cbrt x) (cbrt x))) (/ (pow (/ (cbrt x) (+ x y)) x) (cbrt x)) (/ (pow (* (cbrt x) (cbrt x)) x) (sqrt x)) (/ (pow (/ (cbrt x) (+ x y)) x) (sqrt x)) (pow (* (cbrt x) (cbrt x)) x) (/ (pow (/ (cbrt x) (+ x y)) x) x) (/ (pow (/ (sqrt x) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (* (cbrt x) (cbrt x))) (/ (pow (/ (sqrt x) (cbrt (+ x y))) x) (cbrt x)) (/ (pow (/ (sqrt x) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (sqrt x)) (/ (pow (/ (sqrt x) (cbrt (+ x y))) x) (sqrt x)) (pow (/ (sqrt x) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (/ (pow (/ (sqrt x) (cbrt (+ x y))) x) x) (/ (pow (/ (sqrt x) (sqrt (+ x y))) x) (* (cbrt x) (cbrt x))) (/ (pow (/ (sqrt x) (sqrt (+ x y))) x) (cbrt x)) (/ (pow (/ (sqrt x) (sqrt (+ x y))) x) (sqrt x)) (/ (pow (/ (sqrt x) (sqrt (+ x y))) x) (sqrt x)) (pow (/ (sqrt x) (sqrt (+ x y))) x) (/ (pow (/ (sqrt x) (sqrt (+ x y))) x) x) (/ (pow (sqrt x) x) (* (cbrt x) (cbrt x))) (/ (pow (/ (sqrt x) (+ x y)) x) (cbrt x)) (/ (pow (sqrt x) x) (sqrt x)) (/ (pow (/ (sqrt x) (+ x y)) x) (sqrt x)) (pow (sqrt x) x) (/ (pow (/ (sqrt x) (+ x y)) x) x) (/ (pow (sqrt x) x) (* (cbrt x) (cbrt x))) (/ (pow (/ (sqrt x) (+ x y)) x) (cbrt x)) (/ (pow (sqrt x) x) (sqrt x)) (/ (pow (/ (sqrt x) (+ x y)) x) (sqrt x)) (pow (sqrt x) x) (/ (pow (/ (sqrt x) (+ x y)) x) x) (/ (pow (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (* (cbrt x) (cbrt x))) (/ (pow (/ x (cbrt (+ x y))) x) (cbrt x)) (/ (pow (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (sqrt x)) (/ (pow (/ x (cbrt (+ x y))) x) (sqrt x)) (pow (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (/ (pow (/ x (cbrt (+ x y))) x) x) (/ (pow (/ 1 (sqrt (+ x y))) x) (* (cbrt x) (cbrt x))) (/ (pow (/ x (sqrt (+ x y))) x) (cbrt x)) (/ (pow (/ 1 (sqrt (+ x y))) x) (sqrt x)) (/ (pow (/ x (sqrt (+ x y))) x) (sqrt x)) (pow (/ 1 (sqrt (+ x y))) x) (/ (pow (/ x (sqrt (+ x y))) x) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (pow (/ x (+ x y)) x) (cbrt x)) (/ 1 (sqrt x)) (/ (pow (/ x (+ x y)) x) (sqrt x)) 1 (/ (pow (/ x (+ x y)) x) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (pow (/ x (+ x y)) x) (cbrt x)) (/ 1 (sqrt x)) (/ (pow (/ x (+ x y)) x) (sqrt x)) 1 (/ (pow (/ x (+ x y)) x) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (pow (/ x (+ x y)) x) (cbrt x)) (/ 1 (sqrt x)) (/ (pow (/ x (+ x y)) x) (sqrt x)) 1 (/ (pow (/ x (+ x y)) x) x) (/ (pow x x) (* (cbrt x) (cbrt x))) (/ (pow (/ 1 (+ x y)) x) (cbrt x)) (/ (pow x x) (sqrt x)) (/ (pow (/ 1 (+ x y)) x) (sqrt x)) (pow x x) (/ (pow (/ 1 (+ x y)) x) x) (/ (pow (/ x (+ (pow x 3) (pow y 3))) x) (* (cbrt x) (cbrt x))) (/ (pow (+ (* y (- y x)) (* x x)) x) (cbrt x)) (/ (pow (/ x (+ (pow x 3) (pow y 3))) x) (sqrt x)) (/ (pow (+ (* y (- y x)) (* x x)) x) (sqrt x)) (pow (/ x (+ (pow x 3) (pow y 3))) x) (/ (pow (+ (* y (- y x)) (* x x)) x) x) (/ (pow (/ x (- (* x x) (* y y))) x) (* (cbrt x) (cbrt x))) (/ (pow (- x y) x) (cbrt x)) (/ (pow (/ x (- (* x x) (* y y))) x) (sqrt x)) (/ (pow (- x y) x) (sqrt x)) (pow (/ x (- (* x x) (* y y))) x) (/ (pow (- x y) x) x) (/ (* (cbrt (pow (/ x (+ x y)) x)) (cbrt (pow (/ x (+ x y)) x))) (* (cbrt x) (cbrt x))) (/ (cbrt (pow (/ x (+ x y)) x)) (cbrt x)) (/ (* (cbrt (pow (/ x (+ x y)) x)) (cbrt (pow (/ x (+ x y)) x))) (sqrt x)) (/ (cbrt (pow (/ x (+ x y)) x)) (sqrt x)) (* (cbrt (pow (/ x (+ x y)) x)) (cbrt (pow (/ x (+ x y)) x))) (/ (cbrt (pow (/ x (+ x y)) x)) x) (/ (sqrt (pow (/ x (+ x y)) x)) (* (cbrt x) (cbrt x))) (/ (sqrt (pow (/ x (+ x y)) x)) (cbrt x)) (/ (sqrt (pow (/ x (+ x y)) x)) (sqrt x)) (/ (sqrt (pow (/ x (+ x y)) x)) (sqrt x)) (sqrt (pow (/ x (+ x y)) x)) (/ (sqrt (pow (/ x (+ x y)) x)) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (pow (/ x (+ x y)) x) (cbrt x)) (/ 1 (sqrt x)) (/ (pow (/ x (+ x y)) x) (sqrt x)) 1 (/ (pow (/ x (+ x y)) x) x) (/ (pow (/ x (+ x y)) (/ x 2)) (* (cbrt x) (cbrt x))) (/ (pow (/ x (+ x y)) (/ x 2)) (cbrt x)) (/ (pow (/ x (+ x y)) (/ x 2)) (sqrt x)) (/ (pow (/ x (+ x y)) (/ x 2)) (sqrt x)) (pow (/ x (+ x y)) (/ x 2)) (/ (pow (/ x (+ x y)) (/ x 2)) x) (/ 1 x) (/ x (pow (/ x (+ x y)) x)) (/ (pow (/ x (+ x y)) x) (* (cbrt x) (cbrt x))) (/ (pow (/ x (+ x y)) x) (sqrt x)) (pow (/ x (+ x y)) x) (/ x (pow (cbrt (/ x (+ x y))) x)) (/ x (pow (sqrt (/ x (+ x y))) x)) (/ x (pow (/ (cbrt x) (cbrt (+ x y))) x)) (/ x (pow (/ (cbrt x) (sqrt (+ x y))) x)) (/ x (pow (/ (cbrt x) (+ x y)) x)) (/ x (pow (/ (cbrt x) (+ x y)) x)) (/ x (pow (/ (sqrt x) (cbrt (+ x y))) x)) (/ x (pow (/ (sqrt x) (sqrt (+ x y))) x)) (/ x (pow (/ (sqrt x) (+ x y)) x)) (/ x (pow (/ (sqrt x) (+ x y)) x)) (/ x (pow (/ x (cbrt (+ x y))) x)) (/ x (pow (/ x (sqrt (+ x y))) x)) (/ x (pow (/ x (+ x y)) x)) (/ x (pow (/ x (+ x y)) x)) (/ x (pow (/ x (+ x y)) x)) (/ x (pow (/ 1 (+ x y)) x)) (/ x (pow (+ (* y (- y x)) (* x x)) x)) (/ x (pow (- x y) x)) (/ x (cbrt (pow (/ x (+ x y)) x))) (/ x (sqrt (pow (/ x (+ x y)) x))) (/ x (pow (/ x (+ x y)) x)) (/ x (pow (/ x (+ x y)) (/ x 2))) (log (/ x (+ x y))) (log (/ x (+ x y))) (exp (/ x (+ x y))) (pow (/ x (+ x y)) 3) (* (cbrt (/ x (+ x y))) (cbrt (/ x (+ x y)))) (cbrt (/ x (+ x y))) (pow (/ x (+ x y)) 3) (sqrt (/ x (+ x y))) (sqrt (/ x (+ x y))) (- x) (- (+ x y)) (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (cbrt x) (cbrt (+ x y))) (/ (* (cbrt x) (cbrt x)) (sqrt (+ x y))) (/ (cbrt x) (sqrt (+ x y))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (+ x y)) (* (cbrt x) (cbrt x)) (/ (cbrt x) (+ x y)) (/ (sqrt x) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ (sqrt x) (cbrt (+ x y))) (/ (sqrt x) (sqrt (+ x y))) (/ (sqrt x) (sqrt (+ x y))) (sqrt x) (/ (sqrt x) (+ x y)) (sqrt x) (/ (sqrt x) (+ x y)) (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ x (cbrt (+ x y))) (/ 1 (sqrt (+ x y))) (/ x (sqrt (+ x y))) 1 (/ x (+ x y)) 1 (/ x (+ x y)) (/ 1 (+ x y)) (/ (+ x y) x) (/ x (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ x (sqrt (+ x y))) x x (/ (+ x y) (cbrt x)) (/ (+ x y) (sqrt x)) (/ (+ x y) x) (/ x (+ (pow x 3) (pow y 3))) (/ x (- (* x x) (* y y))) (- (+ (* 1/2 (* (pow x 2) (pow (log y) 2))) (+ (* (log x) x) (+ (* 1/2 (* (pow (log x) 2) (pow x 2))) 1))) (* (log y) (+ x (* (log x) (* x x))))) (exp (- y)) (exp (- y)) (- (+ (* 1/2 (* x (pow (log y) 2))) (+ (log x) (+ (* 1/2 (* (pow (log x) 2) x)) (/ 1 x)))) (* (+ (* (log x) x) 1) (log y))) (/ (exp (- y)) x) (/ (exp (- y)) x) 0 0 0 3.087 * * * [progress]: adding candidates to table 3.503 * * [progress]: iteration 2 / 4 3.504 * * * [progress]: picking best candidate 3.515 * * * * [pick]: Picked # 3.515 * * * [progress]: localizing error 3.540 * * * [progress]: generating rewritten candidates 3.540 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 3.554 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 3.555 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1) 3.555 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2) 3.558 * * * [progress]: generating series expansions 3.558 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 3.558 * [approximate]: Taking taylor expansion of (pow (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) x) in (x y) around 0 3.558 * [taylor]: Taking taylor expansion of (pow (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) x) in y 3.558 * [taylor]: Taking taylor expansion of (exp (* x (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3)))) in y 3.559 * [taylor]: Taking taylor expansion of (* x (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3))) in y 3.559 * [taylor]: Taking taylor expansion of x in y 3.559 * [taylor]: Taking taylor expansion of (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3)) in y 3.559 * [taylor]: Taking taylor expansion of (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) in y 3.559 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow x 2) (pow (+ x y) 2))))) in y 3.559 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow x 2) (pow (+ x y) 2)))) in y 3.559 * [taylor]: Taking taylor expansion of 1/3 in y 3.559 * [taylor]: Taking taylor expansion of (log (/ (pow x 2) (pow (+ x y) 2))) in y 3.559 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow (+ x y) 2)) in y 3.559 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.559 * [taylor]: Taking taylor expansion of x in y 3.559 * [taylor]: Taking taylor expansion of (pow (+ x y) 2) in y 3.559 * [taylor]: Taking taylor expansion of (+ x y) in y 3.559 * [taylor]: Taking taylor expansion of x in y 3.559 * [taylor]: Taking taylor expansion of y in y 3.562 * [taylor]: Taking taylor expansion of (pow (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) x) in x 3.563 * [taylor]: Taking taylor expansion of (exp (* x (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3)))) in x 3.563 * [taylor]: Taking taylor expansion of (* x (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3))) in x 3.563 * [taylor]: Taking taylor expansion of x in x 3.563 * [taylor]: Taking taylor expansion of (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3)) in x 3.563 * [taylor]: Taking taylor expansion of (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) in x 3.563 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow x 2) (pow (+ x y) 2))))) in x 3.563 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow x 2) (pow (+ x y) 2)))) in x 3.563 * [taylor]: Taking taylor expansion of 1/3 in x 3.563 * [taylor]: Taking taylor expansion of (log (/ (pow x 2) (pow (+ x y) 2))) in x 3.563 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow (+ x y) 2)) in x 3.563 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.563 * [taylor]: Taking taylor expansion of x in x 3.563 * [taylor]: Taking taylor expansion of (pow (+ x y) 2) in x 3.563 * [taylor]: Taking taylor expansion of (+ x y) in x 3.563 * [taylor]: Taking taylor expansion of x in x 3.563 * [taylor]: Taking taylor expansion of y in x 3.568 * [taylor]: Taking taylor expansion of (pow (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) x) in x 3.568 * [taylor]: Taking taylor expansion of (exp (* x (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3)))) in x 3.568 * [taylor]: Taking taylor expansion of (* x (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3))) in x 3.568 * [taylor]: Taking taylor expansion of x in x 3.568 * [taylor]: Taking taylor expansion of (log (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3)) in x 3.568 * [taylor]: Taking taylor expansion of (pow (/ (pow x 2) (pow (+ x y) 2)) 1/3) in x 3.568 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow x 2) (pow (+ x y) 2))))) in x 3.568 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow x 2) (pow (+ x y) 2)))) in x 3.568 * [taylor]: Taking taylor expansion of 1/3 in x 3.568 * [taylor]: Taking taylor expansion of (log (/ (pow x 2) (pow (+ x y) 2))) in x 3.568 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow (+ x y) 2)) in x 3.568 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.568 * [taylor]: Taking taylor expansion of x in x 3.568 * [taylor]: Taking taylor expansion of (pow (+ x y) 2) in x 3.568 * [taylor]: Taking taylor expansion of (+ x y) in x 3.568 * [taylor]: Taking taylor expansion of x in x 3.568 * [taylor]: Taking taylor expansion of y in x 3.573 * [taylor]: Taking taylor expansion of 1 in y 3.573 * [taylor]: Taking taylor expansion of (+ (* 2/3 (log x)) (* 1/3 (log (/ 1 (pow y 2))))) in y 3.573 * [taylor]: Taking taylor expansion of (* 2/3 (log x)) in y 3.573 * [taylor]: Taking taylor expansion of 2/3 in y 3.573 * [taylor]: Taking taylor expansion of (log x) in y 3.573 * [taylor]: Taking taylor expansion of x in y 3.574 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 3.574 * [taylor]: Taking taylor expansion of 1/3 in y 3.574 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 3.574 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.574 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.574 * [taylor]: Taking taylor expansion of y in y 3.580 * [taylor]: Taking taylor expansion of (- (+ (* 2/9 (pow (log x) 2)) (+ (* 2/9 (* (log x) (log (/ 1 (pow y 2))))) (* 1/18 (pow (log (/ 1 (pow y 2))) 2)))) (* 2/3 (/ 1 y))) in y 3.580 * [taylor]: Taking taylor expansion of (+ (* 2/9 (pow (log x) 2)) (+ (* 2/9 (* (log x) (log (/ 1 (pow y 2))))) (* 1/18 (pow (log (/ 1 (pow y 2))) 2)))) in y 3.580 * [taylor]: Taking taylor expansion of (* 2/9 (pow (log x) 2)) in y 3.580 * [taylor]: Taking taylor expansion of 2/9 in y 3.580 * [taylor]: Taking taylor expansion of (pow (log x) 2) in y 3.580 * [taylor]: Taking taylor expansion of (log x) in y 3.580 * [taylor]: Taking taylor expansion of x in y 3.580 * [taylor]: Taking taylor expansion of (+ (* 2/9 (* (log x) (log (/ 1 (pow y 2))))) (* 1/18 (pow (log (/ 1 (pow y 2))) 2))) in y 3.580 * [taylor]: Taking taylor expansion of (* 2/9 (* (log x) (log (/ 1 (pow y 2))))) in y 3.580 * [taylor]: Taking taylor expansion of 2/9 in y 3.580 * [taylor]: Taking taylor expansion of (* (log x) (log (/ 1 (pow y 2)))) in y 3.580 * [taylor]: Taking taylor expansion of (log x) in y 3.580 * [taylor]: Taking taylor expansion of x in y 3.581 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 3.581 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.581 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.581 * [taylor]: Taking taylor expansion of y in y 3.582 * [taylor]: Taking taylor expansion of (* 1/18 (pow (log (/ 1 (pow y 2))) 2)) in y 3.582 * [taylor]: Taking taylor expansion of 1/18 in y 3.582 * [taylor]: Taking taylor expansion of (pow (log (/ 1 (pow y 2))) 2) in y 3.582 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 3.582 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.582 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.582 * [taylor]: Taking taylor expansion of y in y 3.583 * [taylor]: Taking taylor expansion of (* 2/3 (/ 1 y)) in y 3.583 * [taylor]: Taking taylor expansion of 2/3 in y 3.583 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.583 * [taylor]: Taking taylor expansion of y in y 3.588 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) (/ 1 x)) in (x y) around 0 3.588 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) (/ 1 x)) in y 3.588 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)))) in y 3.588 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3))) in y 3.588 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.588 * [taylor]: Taking taylor expansion of x in y 3.588 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) in y 3.588 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) in y 3.588 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))))) in y 3.588 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))))) in y 3.588 * [taylor]: Taking taylor expansion of 1/3 in y 3.588 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))) in y 3.588 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) in y 3.588 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)) in y 3.588 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.588 * [taylor]: Taking taylor expansion of x in y 3.588 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 2) in y 3.588 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 3.588 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.588 * [taylor]: Taking taylor expansion of y in y 3.589 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.589 * [taylor]: Taking taylor expansion of x in y 3.591 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) (/ 1 x)) in x 3.591 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)))) in x 3.591 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3))) in x 3.591 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.591 * [taylor]: Taking taylor expansion of x in x 3.591 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) in x 3.591 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) in x 3.591 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))))) in x 3.591 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))))) in x 3.591 * [taylor]: Taking taylor expansion of 1/3 in x 3.591 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))) in x 3.591 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) in x 3.591 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)) in x 3.592 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.592 * [taylor]: Taking taylor expansion of x in x 3.592 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 2) in x 3.592 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 3.592 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.592 * [taylor]: Taking taylor expansion of y in x 3.592 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.592 * [taylor]: Taking taylor expansion of x in x 3.598 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) (/ 1 x)) in x 3.598 * [taylor]: Taking taylor expansion of (exp (* (/ 1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)))) in x 3.598 * [taylor]: Taking taylor expansion of (* (/ 1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3))) in x 3.598 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.598 * [taylor]: Taking taylor expansion of x in x 3.598 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) in x 3.598 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) in x 3.598 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))))) in x 3.598 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))))) in x 3.598 * [taylor]: Taking taylor expansion of 1/3 in x 3.598 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))) in x 3.599 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) in x 3.599 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)) in x 3.599 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.599 * [taylor]: Taking taylor expansion of x in x 3.599 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 2) in x 3.599 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 3.599 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.599 * [taylor]: Taking taylor expansion of y in x 3.599 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.599 * [taylor]: Taking taylor expansion of x in x 3.605 * [taylor]: Taking taylor expansion of (exp (- (* 2/3 (/ 1 y)))) in y 3.605 * [taylor]: Taking taylor expansion of (- (* 2/3 (/ 1 y))) in y 3.605 * [taylor]: Taking taylor expansion of (* 2/3 (/ 1 y)) in y 3.605 * [taylor]: Taking taylor expansion of 2/3 in y 3.605 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.605 * [taylor]: Taking taylor expansion of y in y 3.613 * [taylor]: Taking taylor expansion of (* 1/3 (/ (exp (- (* 2/3 (/ 1 y)))) (pow y 2))) in y 3.613 * [taylor]: Taking taylor expansion of 1/3 in y 3.613 * [taylor]: Taking taylor expansion of (/ (exp (- (* 2/3 (/ 1 y)))) (pow y 2)) in y 3.613 * [taylor]: Taking taylor expansion of (exp (- (* 2/3 (/ 1 y)))) in y 3.613 * [taylor]: Taking taylor expansion of (- (* 2/3 (/ 1 y))) in y 3.613 * [taylor]: Taking taylor expansion of (* 2/3 (/ 1 y)) in y 3.613 * [taylor]: Taking taylor expansion of 2/3 in y 3.613 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.613 * [taylor]: Taking taylor expansion of y in y 3.614 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.614 * [taylor]: Taking taylor expansion of y in y 3.633 * [taylor]: Taking taylor expansion of (* (- (* 1/18 (/ 1 (pow y 4))) (* 2/9 (/ 1 (pow y 3)))) (exp (- (* 2/3 (/ 1 y))))) in y 3.633 * [taylor]: Taking taylor expansion of (- (* 1/18 (/ 1 (pow y 4))) (* 2/9 (/ 1 (pow y 3)))) in y 3.633 * [taylor]: Taking taylor expansion of (* 1/18 (/ 1 (pow y 4))) in y 3.633 * [taylor]: Taking taylor expansion of 1/18 in y 3.633 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 3.633 * [taylor]: Taking taylor expansion of (pow y 4) in y 3.633 * [taylor]: Taking taylor expansion of y in y 3.634 * [taylor]: Taking taylor expansion of (* 2/9 (/ 1 (pow y 3))) in y 3.634 * [taylor]: Taking taylor expansion of 2/9 in y 3.634 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 3.634 * [taylor]: Taking taylor expansion of (pow y 3) in y 3.634 * [taylor]: Taking taylor expansion of y in y 3.635 * [taylor]: Taking taylor expansion of (exp (- (* 2/3 (/ 1 y)))) in y 3.635 * [taylor]: Taking taylor expansion of (- (* 2/3 (/ 1 y))) in y 3.635 * [taylor]: Taking taylor expansion of (* 2/3 (/ 1 y)) in y 3.635 * [taylor]: Taking taylor expansion of 2/3 in y 3.635 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.635 * [taylor]: Taking taylor expansion of y in y 3.671 * [taylor]: Taking taylor expansion of (* (- (+ (* 1/162 (/ 1 (pow y 6))) (* 1/6 (/ 1 (pow y 4)))) (* 2/27 (/ 1 (pow y 5)))) (exp (- (* 2/3 (/ 1 y))))) in y 3.671 * [taylor]: Taking taylor expansion of (- (+ (* 1/162 (/ 1 (pow y 6))) (* 1/6 (/ 1 (pow y 4)))) (* 2/27 (/ 1 (pow y 5)))) in y 3.671 * [taylor]: Taking taylor expansion of (+ (* 1/162 (/ 1 (pow y 6))) (* 1/6 (/ 1 (pow y 4)))) in y 3.671 * [taylor]: Taking taylor expansion of (* 1/162 (/ 1 (pow y 6))) in y 3.671 * [taylor]: Taking taylor expansion of 1/162 in y 3.671 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6)) in y 3.671 * [taylor]: Taking taylor expansion of (pow y 6) in y 3.671 * [taylor]: Taking taylor expansion of y in y 3.673 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow y 4))) in y 3.673 * [taylor]: Taking taylor expansion of 1/6 in y 3.673 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 3.673 * [taylor]: Taking taylor expansion of (pow y 4) in y 3.673 * [taylor]: Taking taylor expansion of y in y 3.673 * [taylor]: Taking taylor expansion of (* 2/27 (/ 1 (pow y 5))) in y 3.673 * [taylor]: Taking taylor expansion of 2/27 in y 3.673 * [taylor]: Taking taylor expansion of (/ 1 (pow y 5)) in y 3.674 * [taylor]: Taking taylor expansion of (pow y 5) in y 3.674 * [taylor]: Taking taylor expansion of y in y 3.674 * [taylor]: Taking taylor expansion of (exp (- (* 2/3 (/ 1 y)))) in y 3.675 * [taylor]: Taking taylor expansion of (- (* 2/3 (/ 1 y))) in y 3.675 * [taylor]: Taking taylor expansion of (* 2/3 (/ 1 y)) in y 3.675 * [taylor]: Taking taylor expansion of 2/3 in y 3.675 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.675 * [taylor]: Taking taylor expansion of y in y 3.731 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) (/ -1 x)) in (x y) around 0 3.731 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) (/ -1 x)) in y 3.731 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)))) in y 3.731 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3))) in y 3.731 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.731 * [taylor]: Taking taylor expansion of -1 in y 3.731 * [taylor]: Taking taylor expansion of x in y 3.732 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) in y 3.732 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) in y 3.732 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))))) in y 3.732 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))))) in y 3.732 * [taylor]: Taking taylor expansion of 1/3 in y 3.732 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))) in y 3.732 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) in y 3.732 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)) in y 3.732 * [taylor]: Taking taylor expansion of (pow x 2) in y 3.732 * [taylor]: Taking taylor expansion of x in y 3.732 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 2) in y 3.732 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 3.732 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.732 * [taylor]: Taking taylor expansion of y in y 3.732 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.732 * [taylor]: Taking taylor expansion of x in y 3.734 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) (/ -1 x)) in x 3.734 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)))) in x 3.734 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3))) in x 3.734 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.734 * [taylor]: Taking taylor expansion of -1 in x 3.734 * [taylor]: Taking taylor expansion of x in x 3.735 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) in x 3.735 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) in x 3.735 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))))) in x 3.735 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))))) in x 3.735 * [taylor]: Taking taylor expansion of 1/3 in x 3.735 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))) in x 3.735 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) in x 3.735 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)) in x 3.735 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.735 * [taylor]: Taking taylor expansion of x in x 3.735 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 2) in x 3.735 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 3.735 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.735 * [taylor]: Taking taylor expansion of y in x 3.735 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.735 * [taylor]: Taking taylor expansion of x in x 3.742 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) (/ -1 x)) in x 3.742 * [taylor]: Taking taylor expansion of (exp (* (/ -1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)))) in x 3.742 * [taylor]: Taking taylor expansion of (* (/ -1 x) (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3))) in x 3.742 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.742 * [taylor]: Taking taylor expansion of -1 in x 3.742 * [taylor]: Taking taylor expansion of x in x 3.742 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3)) in x 3.742 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) 1/3) in x 3.742 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))))) in x 3.742 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))))) in x 3.742 * [taylor]: Taking taylor expansion of 1/3 in x 3.742 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)))) in x 3.742 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2))) in x 3.742 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (+ (/ 1 y) (/ 1 x)) 2)) in x 3.742 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.742 * [taylor]: Taking taylor expansion of x in x 3.742 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 y) (/ 1 x)) 2) in x 3.742 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 3.742 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.742 * [taylor]: Taking taylor expansion of y in x 3.742 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.742 * [taylor]: Taking taylor expansion of x in x 3.749 * [taylor]: Taking taylor expansion of (exp (/ 2/3 y)) in y 3.749 * [taylor]: Taking taylor expansion of (/ 2/3 y) in y 3.749 * [taylor]: Taking taylor expansion of 2/3 in y 3.749 * [taylor]: Taking taylor expansion of y in y 3.756 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (/ 2/3 y)) (pow y 2))) in y 3.756 * [taylor]: Taking taylor expansion of -1/3 in y 3.756 * [taylor]: Taking taylor expansion of (/ (exp (/ 2/3 y)) (pow y 2)) in y 3.756 * [taylor]: Taking taylor expansion of (exp (/ 2/3 y)) in y 3.756 * [taylor]: Taking taylor expansion of (/ 2/3 y) in y 3.756 * [taylor]: Taking taylor expansion of 2/3 in y 3.757 * [taylor]: Taking taylor expansion of y in y 3.757 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.757 * [taylor]: Taking taylor expansion of y in y 3.770 * [taylor]: Taking taylor expansion of (* (+ (* 2/9 (/ 1 (pow y 3))) (* 1/18 (/ 1 (pow y 4)))) (exp (/ 2/3 y))) in y 3.770 * [taylor]: Taking taylor expansion of (+ (* 2/9 (/ 1 (pow y 3))) (* 1/18 (/ 1 (pow y 4)))) in y 3.770 * [taylor]: Taking taylor expansion of (* 2/9 (/ 1 (pow y 3))) in y 3.770 * [taylor]: Taking taylor expansion of 2/9 in y 3.770 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 3.770 * [taylor]: Taking taylor expansion of (pow y 3) in y 3.770 * [taylor]: Taking taylor expansion of y in y 3.771 * [taylor]: Taking taylor expansion of (* 1/18 (/ 1 (pow y 4))) in y 3.771 * [taylor]: Taking taylor expansion of 1/18 in y 3.771 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 3.771 * [taylor]: Taking taylor expansion of (pow y 4) in y 3.771 * [taylor]: Taking taylor expansion of y in y 3.772 * [taylor]: Taking taylor expansion of (exp (/ 2/3 y)) in y 3.772 * [taylor]: Taking taylor expansion of (/ 2/3 y) in y 3.772 * [taylor]: Taking taylor expansion of 2/3 in y 3.772 * [taylor]: Taking taylor expansion of y in y 3.807 * [taylor]: Taking taylor expansion of (* -1 (* (+ (* 1/162 (/ 1 (pow y 6))) (+ (* 1/6 (/ 1 (pow y 4))) (* 2/27 (/ 1 (pow y 5))))) (exp (/ 2/3 y)))) in y 3.807 * [taylor]: Taking taylor expansion of -1 in y 3.807 * [taylor]: Taking taylor expansion of (* (+ (* 1/162 (/ 1 (pow y 6))) (+ (* 1/6 (/ 1 (pow y 4))) (* 2/27 (/ 1 (pow y 5))))) (exp (/ 2/3 y))) in y 3.807 * [taylor]: Taking taylor expansion of (+ (* 1/162 (/ 1 (pow y 6))) (+ (* 1/6 (/ 1 (pow y 4))) (* 2/27 (/ 1 (pow y 5))))) in y 3.807 * [taylor]: Taking taylor expansion of (* 1/162 (/ 1 (pow y 6))) in y 3.807 * [taylor]: Taking taylor expansion of 1/162 in y 3.807 * [taylor]: Taking taylor expansion of (/ 1 (pow y 6)) in y 3.807 * [taylor]: Taking taylor expansion of (pow y 6) in y 3.807 * [taylor]: Taking taylor expansion of y in y 3.813 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow y 4))) (* 2/27 (/ 1 (pow y 5)))) in y 3.814 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow y 4))) in y 3.814 * [taylor]: Taking taylor expansion of 1/6 in y 3.814 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y 3.814 * [taylor]: Taking taylor expansion of (pow y 4) in y 3.814 * [taylor]: Taking taylor expansion of y in y 3.815 * [taylor]: Taking taylor expansion of (* 2/27 (/ 1 (pow y 5))) in y 3.815 * [taylor]: Taking taylor expansion of 2/27 in y 3.815 * [taylor]: Taking taylor expansion of (/ 1 (pow y 5)) in y 3.815 * [taylor]: Taking taylor expansion of (pow y 5) in y 3.815 * [taylor]: Taking taylor expansion of y in y 3.816 * [taylor]: Taking taylor expansion of (exp (/ 2/3 y)) in y 3.816 * [taylor]: Taking taylor expansion of (/ 2/3 y) in y 3.816 * [taylor]: Taking taylor expansion of 2/3 in y 3.816 * [taylor]: Taking taylor expansion of y in y 3.870 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 3.870 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 3.870 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 3.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 3.870 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 3.870 * [taylor]: Taking taylor expansion of 1/3 in x 3.871 * [taylor]: Taking taylor expansion of (log x) in x 3.871 * [taylor]: Taking taylor expansion of x in x 3.871 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 3.871 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 3.871 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 3.871 * [taylor]: Taking taylor expansion of 1/3 in x 3.871 * [taylor]: Taking taylor expansion of (log x) in x 3.871 * [taylor]: Taking taylor expansion of x in x 3.930 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 3.930 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 3.930 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 3.930 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 3.930 * [taylor]: Taking taylor expansion of 1/3 in x 3.930 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.930 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.930 * [taylor]: Taking taylor expansion of x in x 3.931 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 3.931 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 3.931 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 3.931 * [taylor]: Taking taylor expansion of 1/3 in x 3.931 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.931 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.931 * [taylor]: Taking taylor expansion of x in x 3.993 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 3.993 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 3.993 * [taylor]: Taking taylor expansion of (cbrt -1) in x 3.993 * [taylor]: Taking taylor expansion of -1 in x 3.994 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 3.995 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 3.995 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 3.995 * [taylor]: Taking taylor expansion of 1/3 in x 3.995 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.995 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.995 * [taylor]: Taking taylor expansion of x in x 3.996 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 3.996 * [taylor]: Taking taylor expansion of (cbrt -1) in x 3.996 * [taylor]: Taking taylor expansion of -1 in x 3.997 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 3.997 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 3.997 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 3.997 * [taylor]: Taking taylor expansion of 1/3 in x 3.997 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.997 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.997 * [taylor]: Taking taylor expansion of x in x 4.072 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1) 4.072 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 4.072 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.072 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.072 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.072 * [taylor]: Taking taylor expansion of 1/3 in x 4.072 * [taylor]: Taking taylor expansion of (log x) in x 4.072 * [taylor]: Taking taylor expansion of x in x 4.073 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.073 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.073 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.073 * [taylor]: Taking taylor expansion of 1/3 in x 4.073 * [taylor]: Taking taylor expansion of (log x) in x 4.073 * [taylor]: Taking taylor expansion of x in x 4.125 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 4.125 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.125 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.125 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.125 * [taylor]: Taking taylor expansion of 1/3 in x 4.125 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.125 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.125 * [taylor]: Taking taylor expansion of x in x 4.126 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.126 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.126 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.126 * [taylor]: Taking taylor expansion of 1/3 in x 4.126 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.126 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.126 * [taylor]: Taking taylor expansion of x in x 4.188 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 4.188 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.188 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.188 * [taylor]: Taking taylor expansion of -1 in x 4.189 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.189 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.189 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.189 * [taylor]: Taking taylor expansion of 1/3 in x 4.189 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.189 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.189 * [taylor]: Taking taylor expansion of x in x 4.190 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.190 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.190 * [taylor]: Taking taylor expansion of -1 in x 4.191 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.191 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.191 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.191 * [taylor]: Taking taylor expansion of 1/3 in x 4.191 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.191 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.191 * [taylor]: Taking taylor expansion of x in x 4.265 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2) 4.266 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 4.266 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.266 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.266 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.266 * [taylor]: Taking taylor expansion of 1/3 in x 4.266 * [taylor]: Taking taylor expansion of (log x) in x 4.266 * [taylor]: Taking taylor expansion of x in x 4.266 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.267 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.267 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.267 * [taylor]: Taking taylor expansion of 1/3 in x 4.267 * [taylor]: Taking taylor expansion of (log x) in x 4.267 * [taylor]: Taking taylor expansion of x in x 4.325 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 4.325 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.325 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.325 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.325 * [taylor]: Taking taylor expansion of 1/3 in x 4.325 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.325 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.325 * [taylor]: Taking taylor expansion of x in x 4.326 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.326 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.326 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.326 * [taylor]: Taking taylor expansion of 1/3 in x 4.326 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.326 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.326 * [taylor]: Taking taylor expansion of x in x 4.381 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 4.381 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.381 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.381 * [taylor]: Taking taylor expansion of -1 in x 4.382 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.382 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.382 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.382 * [taylor]: Taking taylor expansion of 1/3 in x 4.382 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.382 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.382 * [taylor]: Taking taylor expansion of x in x 4.383 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.383 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.384 * [taylor]: Taking taylor expansion of -1 in x 4.384 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.384 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.384 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.384 * [taylor]: Taking taylor expansion of 1/3 in x 4.384 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.384 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.384 * [taylor]: Taking taylor expansion of x in x 4.458 * * * [progress]: simplifying candidates 4.460 * [simplify]: Simplifying using # : (* (- (+ (log (cbrt x)) (log (cbrt x))) (+ (log (cbrt (+ x y))) (log (cbrt (+ x y))))) x) (* (- (+ (log (cbrt x)) (log (cbrt x))) (log (* (cbrt (+ x y)) (cbrt (+ x y))))) x) (* (- (log (* (cbrt x) (cbrt x))) (+ (log (cbrt (+ x y))) (log (cbrt (+ x y))))) x) (* (- (log (* (cbrt x) (cbrt x))) (log (* (cbrt (+ x y)) (cbrt (+ x y))))) x) (* (log (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y))))) x) (* (log (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y))))) x) (* 1 x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) (* (cbrt x) (cbrt x))) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) (sqrt x)) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) 1) (pow (* (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y))))) (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))))) x) (pow (cbrt (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y))))) x) (pow (sqrt (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y))))) x) (pow (sqrt (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y))))) x) (pow (/ (cbrt x) (cbrt (+ x y))) x) (pow (/ (cbrt x) (cbrt (+ x y))) x) (pow 1 x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (pow (* (cbrt x) (cbrt x)) x) (pow (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ (pow x 3) (pow y 3))) (cbrt (+ (pow x 3) (pow y 3))))) x) (pow (* (cbrt (+ (* x x) (- (* y y) (* x y)))) (cbrt (+ (* x x) (- (* y y) (* x y))))) x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ (pow x 3) (pow y 3))) (cbrt (- (* x x) (* y y))))) x) (pow (* (cbrt (+ (* x x) (- (* y y) (* x y)))) (cbrt (- x y))) x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (- (* x x) (* y y))) (cbrt (+ (pow x 3) (pow y 3))))) x) (pow (* (cbrt (- x y)) (cbrt (+ (* x x) (- (* y y) (* x y))))) x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) x) (pow (* (cbrt (- x y)) (cbrt (- x y))) x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ (pow x 3) (pow y 3))))) x) (pow (cbrt (+ (* x x) (- (* y y) (* x y)))) x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (- (* x x) (* y y))))) x) (pow (cbrt (- x y)) x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ (pow x 3) (pow y 3))) (cbrt (+ x y)))) x) (pow (cbrt (+ (* x x) (- (* y y) (* x y)))) x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (- (* x x) (* y y))) (cbrt (+ x y)))) x) (pow (cbrt (- x y)) x) (log (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (exp (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (* (cbrt (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (cbrt (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x))) (cbrt (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (* (* (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (sqrt (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (sqrt (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ x 2)) (pow (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ x 2)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (- (+ (* 2/9 (* (pow x 2) (pow (log y) 2))) (+ (* 2/3 (* (log x) x)) (+ (* 2/9 (* (pow (log x) 2) (pow x 2))) 1))) (+ (* 2/3 (* x (log y))) (* 4/9 (* (log x) (* (pow x 2) (log y)))))) (exp (- (* 2/3 y))) (exp (* -2/3 y)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) 4.464 * * [simplify]: iteration 0 : 150 enodes (cost 1093 ) 4.505 * * [simplify]: iteration 1 : 357 enodes (cost 1017 ) 4.577 * * [simplify]: iteration 2 : 856 enodes (cost 899 ) 4.907 * * [simplify]: iteration 3 : 2455 enodes (cost 878 ) 5.707 * * [simplify]: iteration done : 5000 enodes (cost 878 ) 5.707 * [simplify]: Simplified to: (* (* 2 x) (log (/ (cbrt x) (cbrt (+ x y))))) (* (* 2 x) (log (/ (cbrt x) (cbrt (+ x y))))) (* (* 2 x) (log (/ (cbrt x) (cbrt (+ x y))))) (* (* 2 x) (log (/ (cbrt x) (cbrt (+ x y))))) (* (* 2 x) (log (/ (cbrt x) (cbrt (+ x y))))) (* (* 2 x) (log (/ (cbrt x) (cbrt (+ x y))))) x (pow (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ x y)))) (pow x 2/3)) (pow (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ x y)))) (sqrt x)) (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ x y)))) (pow (* (cbrt (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ x y))))) (cbrt (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ x y)))))) x) (pow (cbrt (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ x y))))) x) (pow (fabs (/ (cbrt x) (cbrt (+ x y)))) x) (pow (fabs (/ (cbrt x) (cbrt (+ x y)))) x) (pow (/ (cbrt x) (cbrt (+ x y))) x) (pow (/ (cbrt x) (cbrt (+ x y))) x) 1 (pow (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (pow (pow x 2/3) x) (pow (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))) x) (pow (/ (pow x 2/3) (* (cbrt (+ (pow x 3) (pow y 3))) (cbrt (+ (pow x 3) (pow y 3))))) x) (pow (* (cbrt (+ (* y (- y x)) (* x x))) (cbrt (+ (* y (- y x)) (* x x)))) x) (pow (/ (pow x 2/3) (* (cbrt (+ (pow x 3) (pow y 3))) (cbrt (- (* x x) (* y y))))) x) (pow (* (cbrt (+ (* y (- y x)) (* x x))) (cbrt (- x y))) x) (pow (/ (pow x 2/3) (* (cbrt (+ (pow x 3) (pow y 3))) (cbrt (- (* x x) (* y y))))) x) (pow (* (cbrt (+ (* y (- y x)) (* x x))) (cbrt (- x y))) x) (pow (/ (pow x 2/3) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y))))) x) (pow (* (cbrt (- x y)) (cbrt (- x y))) x) (pow (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ (pow x 3) (pow y 3))))) x) (pow (cbrt (+ (* y (- y x)) (* x x))) x) (pow (/ (pow x 2/3) (* (cbrt (- (* x x) (* y y))) (cbrt (+ x y)))) x) (pow (cbrt (- x y)) x) (pow (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ (pow x 3) (pow y 3))))) x) (pow (cbrt (+ (* y (- y x)) (* x x))) x) (pow (/ (pow x 2/3) (* (cbrt (- (* x x) (* y y))) (cbrt (+ x y)))) x) (pow (cbrt (- x y)) x) (* (* 2 x) (log (/ (cbrt x) (cbrt (+ x y))))) (exp (pow (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (* (cbrt (pow (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (cbrt (pow (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ x y)))) x))) (cbrt (pow (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (pow (pow (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ x y)))) x) 3) (sqrt (pow (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (sqrt (pow (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ x y)))) x)) (pow (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ x 2)) (pow (/ (pow x 2/3) (* (cbrt (+ x y)) (cbrt (+ x y)))) (/ x 2)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (- (+ (+ 1 (* 2/9 (* (pow x 2) (pow (log y) 2)))) (* x (+ (* (* 2/9 (pow (log x) 2)) x) (* 2/3 (log x))))) (* (log y) (+ (* 4/9 (* (log x) (* x x))) (* 2/3 x)))) (exp (* -2/3 y)) (exp (* -2/3 y)) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) 5.708 * * * [progress]: adding candidates to table 5.964 * * [progress]: iteration 3 / 4 5.964 * * * [progress]: picking best candidate 5.976 * * * * [pick]: Picked # 5.976 * * * [progress]: localizing error 6.001 * * * [progress]: generating rewritten candidates 6.001 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2) 6.007 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2) 6.007 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1) 6.008 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2) 6.012 * * * [progress]: generating series expansions 6.012 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2) 6.013 * [approximate]: Taking taylor expansion of (log (pow (/ x (+ x y)) 1/3)) in (x y) around 0 6.013 * [taylor]: Taking taylor expansion of (log (pow (/ x (+ x y)) 1/3)) in y 6.013 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) 1/3) in y 6.013 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x (+ x y))))) in y 6.013 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x (+ x y)))) in y 6.013 * [taylor]: Taking taylor expansion of 1/3 in y 6.013 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in y 6.013 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in y 6.013 * [taylor]: Taking taylor expansion of x in y 6.013 * [taylor]: Taking taylor expansion of (+ x y) in y 6.013 * [taylor]: Taking taylor expansion of x in y 6.013 * [taylor]: Taking taylor expansion of y in y 6.015 * [taylor]: Taking taylor expansion of (log (pow (/ x (+ x y)) 1/3)) in x 6.015 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) 1/3) in x 6.015 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x (+ x y))))) in x 6.015 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x (+ x y)))) in x 6.015 * [taylor]: Taking taylor expansion of 1/3 in x 6.015 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 6.015 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 6.015 * [taylor]: Taking taylor expansion of x in x 6.015 * [taylor]: Taking taylor expansion of (+ x y) in x 6.015 * [taylor]: Taking taylor expansion of x in x 6.016 * [taylor]: Taking taylor expansion of y in x 6.016 * [taylor]: Taking taylor expansion of (log (pow (/ x (+ x y)) 1/3)) in x 6.016 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) 1/3) in x 6.016 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x (+ x y))))) in x 6.016 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x (+ x y)))) in x 6.016 * [taylor]: Taking taylor expansion of 1/3 in x 6.016 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 6.016 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 6.016 * [taylor]: Taking taylor expansion of x in x 6.016 * [taylor]: Taking taylor expansion of (+ x y) in x 6.016 * [taylor]: Taking taylor expansion of x in x 6.017 * [taylor]: Taking taylor expansion of y in x 6.017 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (/ 1 y)))) in y 6.017 * [taylor]: Taking taylor expansion of 1/3 in y 6.017 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 6.017 * [taylor]: Taking taylor expansion of (log x) in y 6.017 * [taylor]: Taking taylor expansion of x in y 6.018 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.018 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.018 * [taylor]: Taking taylor expansion of y in y 6.020 * [taylor]: Taking taylor expansion of (/ -1/3 y) in y 6.021 * [taylor]: Taking taylor expansion of -1/3 in y 6.021 * [taylor]: Taking taylor expansion of y in y 6.027 * [taylor]: Taking taylor expansion of (/ 1/6 (pow y 2)) in y 6.027 * [taylor]: Taking taylor expansion of 1/6 in y 6.027 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.027 * [taylor]: Taking taylor expansion of y in y 6.039 * [taylor]: Taking taylor expansion of (/ -1/9 (pow y 3)) in y 6.039 * [taylor]: Taking taylor expansion of -1/9 in y 6.039 * [taylor]: Taking taylor expansion of (pow y 3) in y 6.039 * [taylor]: Taking taylor expansion of y in y 6.045 * [approximate]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in (x y) around 0 6.045 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in y 6.045 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in y 6.045 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in y 6.045 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in y 6.045 * [taylor]: Taking taylor expansion of 1/3 in y 6.045 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 6.045 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 6.045 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 6.045 * [taylor]: Taking taylor expansion of x in y 6.045 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 6.045 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.045 * [taylor]: Taking taylor expansion of y in y 6.046 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.046 * [taylor]: Taking taylor expansion of x in y 6.047 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in x 6.047 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in x 6.047 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 6.047 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 6.047 * [taylor]: Taking taylor expansion of 1/3 in x 6.047 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 6.047 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 6.047 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 6.047 * [taylor]: Taking taylor expansion of x in x 6.047 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 6.047 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.047 * [taylor]: Taking taylor expansion of y in x 6.047 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.047 * [taylor]: Taking taylor expansion of x in x 6.052 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in x 6.052 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in x 6.052 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 6.052 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 6.052 * [taylor]: Taking taylor expansion of 1/3 in x 6.052 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 6.052 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 6.052 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 6.052 * [taylor]: Taking taylor expansion of x in x 6.052 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 6.052 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.052 * [taylor]: Taking taylor expansion of y in x 6.052 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.052 * [taylor]: Taking taylor expansion of x in x 6.057 * [taylor]: Taking taylor expansion of 0 in y 6.058 * [taylor]: Taking taylor expansion of (/ -1/3 y) in y 6.058 * [taylor]: Taking taylor expansion of -1/3 in y 6.058 * [taylor]: Taking taylor expansion of y in y 6.064 * [taylor]: Taking taylor expansion of (/ 1/6 (pow y 2)) in y 6.064 * [taylor]: Taking taylor expansion of 1/6 in y 6.064 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.064 * [taylor]: Taking taylor expansion of y in y 6.068 * [approximate]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in (x y) around 0 6.068 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in y 6.068 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in y 6.068 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in y 6.068 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in y 6.068 * [taylor]: Taking taylor expansion of 1/3 in y 6.068 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 6.068 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 6.068 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 6.068 * [taylor]: Taking taylor expansion of x in y 6.068 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 6.068 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.068 * [taylor]: Taking taylor expansion of y in y 6.068 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.068 * [taylor]: Taking taylor expansion of x in y 6.069 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in x 6.069 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in x 6.069 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 6.069 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 6.069 * [taylor]: Taking taylor expansion of 1/3 in x 6.070 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 6.070 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 6.070 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 6.070 * [taylor]: Taking taylor expansion of x in x 6.070 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 6.070 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.070 * [taylor]: Taking taylor expansion of y in x 6.070 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.070 * [taylor]: Taking taylor expansion of x in x 6.075 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in x 6.075 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in x 6.075 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 6.075 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 6.075 * [taylor]: Taking taylor expansion of 1/3 in x 6.075 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 6.075 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 6.075 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 6.075 * [taylor]: Taking taylor expansion of x in x 6.075 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 6.075 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.075 * [taylor]: Taking taylor expansion of y in x 6.075 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.075 * [taylor]: Taking taylor expansion of x in x 6.086 * [taylor]: Taking taylor expansion of 0 in y 6.087 * [taylor]: Taking taylor expansion of (/ -1/3 y) in y 6.087 * [taylor]: Taking taylor expansion of -1/3 in y 6.087 * [taylor]: Taking taylor expansion of y in y 6.093 * [taylor]: Taking taylor expansion of (/ 1/6 (pow y 2)) in y 6.093 * [taylor]: Taking taylor expansion of 1/6 in y 6.093 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.093 * [taylor]: Taking taylor expansion of y in y 6.096 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2) 6.097 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 6.097 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.097 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.097 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.097 * [taylor]: Taking taylor expansion of 1/3 in x 6.097 * [taylor]: Taking taylor expansion of (log x) in x 6.097 * [taylor]: Taking taylor expansion of x in x 6.097 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.098 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.098 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.098 * [taylor]: Taking taylor expansion of 1/3 in x 6.098 * [taylor]: Taking taylor expansion of (log x) in x 6.098 * [taylor]: Taking taylor expansion of x in x 6.149 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 6.149 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.149 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.149 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.149 * [taylor]: Taking taylor expansion of 1/3 in x 6.149 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.149 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.149 * [taylor]: Taking taylor expansion of x in x 6.150 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.150 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.150 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.150 * [taylor]: Taking taylor expansion of 1/3 in x 6.150 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.150 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.150 * [taylor]: Taking taylor expansion of x in x 6.213 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 6.213 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.213 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.213 * [taylor]: Taking taylor expansion of -1 in x 6.214 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.214 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.214 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.214 * [taylor]: Taking taylor expansion of 1/3 in x 6.214 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.214 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.214 * [taylor]: Taking taylor expansion of x in x 6.215 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.215 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.215 * [taylor]: Taking taylor expansion of -1 in x 6.216 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.216 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.216 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.216 * [taylor]: Taking taylor expansion of 1/3 in x 6.216 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.216 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.216 * [taylor]: Taking taylor expansion of x in x 6.291 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1) 6.291 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 6.291 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.291 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.291 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.291 * [taylor]: Taking taylor expansion of 1/3 in x 6.291 * [taylor]: Taking taylor expansion of (log x) in x 6.291 * [taylor]: Taking taylor expansion of x in x 6.292 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.292 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.292 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.292 * [taylor]: Taking taylor expansion of 1/3 in x 6.292 * [taylor]: Taking taylor expansion of (log x) in x 6.292 * [taylor]: Taking taylor expansion of x in x 6.350 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 6.350 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.351 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.351 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.351 * [taylor]: Taking taylor expansion of 1/3 in x 6.351 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.351 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.351 * [taylor]: Taking taylor expansion of x in x 6.352 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.352 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.352 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.352 * [taylor]: Taking taylor expansion of 1/3 in x 6.352 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.352 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.352 * [taylor]: Taking taylor expansion of x in x 6.408 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 6.408 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.408 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.408 * [taylor]: Taking taylor expansion of -1 in x 6.409 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.409 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.409 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.409 * [taylor]: Taking taylor expansion of 1/3 in x 6.409 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.409 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.409 * [taylor]: Taking taylor expansion of x in x 6.410 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.410 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.410 * [taylor]: Taking taylor expansion of -1 in x 6.411 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.411 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.411 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.411 * [taylor]: Taking taylor expansion of 1/3 in x 6.411 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.411 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.411 * [taylor]: Taking taylor expansion of x in x 6.486 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2) 6.486 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 6.486 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.486 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.486 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.486 * [taylor]: Taking taylor expansion of 1/3 in x 6.486 * [taylor]: Taking taylor expansion of (log x) in x 6.486 * [taylor]: Taking taylor expansion of x in x 6.487 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.487 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.487 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.487 * [taylor]: Taking taylor expansion of 1/3 in x 6.487 * [taylor]: Taking taylor expansion of (log x) in x 6.487 * [taylor]: Taking taylor expansion of x in x 6.547 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 6.547 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.547 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.547 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.547 * [taylor]: Taking taylor expansion of 1/3 in x 6.547 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.547 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.547 * [taylor]: Taking taylor expansion of x in x 6.548 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.548 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.548 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.548 * [taylor]: Taking taylor expansion of 1/3 in x 6.548 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.548 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.548 * [taylor]: Taking taylor expansion of x in x 6.612 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 6.612 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.612 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.612 * [taylor]: Taking taylor expansion of -1 in x 6.613 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.613 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.613 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.613 * [taylor]: Taking taylor expansion of 1/3 in x 6.613 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.613 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.613 * [taylor]: Taking taylor expansion of x in x 6.614 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.614 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.614 * [taylor]: Taking taylor expansion of -1 in x 6.615 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.615 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.615 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.615 * [taylor]: Taking taylor expansion of 1/3 in x 6.615 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.615 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.615 * [taylor]: Taking taylor expansion of x in x 6.689 * * * [progress]: simplifying candidates 6.691 * [simplify]: Simplifying using # : (log (* (cbrt (/ (cbrt x) (cbrt (+ x y)))) (cbrt (/ (cbrt x) (cbrt (+ x y)))))) (log (cbrt (/ (cbrt x) (cbrt (+ x y))))) (log (sqrt (/ (cbrt x) (cbrt (+ x y))))) (log (sqrt (/ (cbrt x) (cbrt (+ x y))))) (log (/ (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (cbrt (* (cbrt x) (cbrt x))) (cbrt (sqrt (+ x y))))) (log (/ (cbrt (cbrt x)) (cbrt (sqrt (+ x y))))) (log (/ (cbrt (* (cbrt x) (cbrt x))) (cbrt 1))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (/ (cbrt (* (cbrt x) (cbrt x))) (cbrt 1))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (/ (cbrt (* (cbrt x) (cbrt x))) (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))))) (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (cbrt (* (cbrt x) (cbrt x))) (sqrt (cbrt (+ x y))))) (log (/ (cbrt (cbrt x)) (sqrt (cbrt (+ x y))))) (log (/ (cbrt (* (cbrt x) (cbrt x))) 1)) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (/ (cbrt (sqrt x)) (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (cbrt (sqrt x)) (cbrt (cbrt (+ x y))))) (log (/ (cbrt (sqrt x)) (cbrt (sqrt (+ x y))))) (log (/ (cbrt (sqrt x)) (cbrt (sqrt (+ x y))))) (log (/ (cbrt (sqrt x)) (cbrt 1))) (log (/ (cbrt (sqrt x)) (cbrt (+ x y)))) (log (/ (cbrt (sqrt x)) (cbrt 1))) (log (/ (cbrt (sqrt x)) (cbrt (+ x y)))) (log (/ (cbrt (sqrt x)) (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))))) (log (/ (cbrt (sqrt x)) (cbrt (cbrt (+ x y))))) (log (/ (cbrt (sqrt x)) (sqrt (cbrt (+ x y))))) (log (/ (cbrt (sqrt x)) (sqrt (cbrt (+ x y))))) (log (/ (cbrt (sqrt x)) 1)) (log (/ (cbrt (sqrt x)) (cbrt (+ x y)))) (log (/ (cbrt 1) (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (cbrt x) (cbrt (cbrt (+ x y))))) (log (/ (cbrt 1) (cbrt (sqrt (+ x y))))) (log (/ (cbrt x) (cbrt (sqrt (+ x y))))) (log (/ (cbrt 1) (cbrt 1))) (log (/ (cbrt x) (cbrt (+ x y)))) (log (/ (cbrt 1) (cbrt 1))) (log (/ (cbrt x) (cbrt (+ x y)))) (log (/ (cbrt 1) (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))))) (log (/ (cbrt x) (cbrt (cbrt (+ x y))))) (log (/ (cbrt 1) (sqrt (cbrt (+ x y))))) (log (/ (cbrt x) (sqrt (cbrt (+ x y))))) (log (/ (cbrt 1) 1)) (log (/ (cbrt x) (cbrt (+ x y)))) (log (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (sqrt (+ x y))))) (log (/ (cbrt (cbrt x)) (cbrt (sqrt (+ x y))))) (log (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt 1))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt 1))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))))) (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (sqrt (cbrt (+ x y))))) (log (/ (cbrt (cbrt x)) (sqrt (cbrt (+ x y))))) (log (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) 1)) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (/ (sqrt (cbrt x)) (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (sqrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (sqrt (cbrt x)) (cbrt (sqrt (+ x y))))) (log (/ (sqrt (cbrt x)) (cbrt (sqrt (+ x y))))) (log (/ (sqrt (cbrt x)) (cbrt 1))) (log (/ (sqrt (cbrt x)) (cbrt (+ x y)))) (log (/ (sqrt (cbrt x)) (cbrt 1))) (log (/ (sqrt (cbrt x)) (cbrt (+ x y)))) (log (/ (sqrt (cbrt x)) (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))))) (log (/ (sqrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (sqrt (cbrt x)) (sqrt (cbrt (+ x y))))) (log (/ (sqrt (cbrt x)) (sqrt (cbrt (+ x y))))) (log (/ (sqrt (cbrt x)) 1)) (log (/ (sqrt (cbrt x)) (cbrt (+ x y)))) (log (/ 1 (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (cbrt x) (cbrt (cbrt (+ x y))))) (log (/ 1 (cbrt (sqrt (+ x y))))) (log (/ (cbrt x) (cbrt (sqrt (+ x y))))) (log (/ 1 (cbrt 1))) (log (/ (cbrt x) (cbrt (+ x y)))) (log (/ 1 (cbrt 1))) (log (/ (cbrt x) (cbrt (+ x y)))) (log (/ 1 (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))))) (log (/ (cbrt x) (cbrt (cbrt (+ x y))))) (log (/ 1 (sqrt (cbrt (+ x y))))) (log (/ (cbrt x) (sqrt (cbrt (+ x y))))) (log (/ 1 1)) (log (/ (cbrt x) (cbrt (+ x y)))) (log 1) (log (/ (cbrt x) (cbrt (+ x y)))) (log (cbrt x)) (log (/ 1 (cbrt (+ x y)))) (log (/ (cbrt x) (cbrt (+ (pow x 3) (pow y 3))))) (log (cbrt (+ (* x x) (- (* y y) (* x y))))) (log (/ (cbrt x) (cbrt (- (* x x) (* y y))))) (log (cbrt (- x y))) (log (cbrt x)) (log (cbrt (+ x y))) (log (/ (cbrt x) (cbrt (+ x y)))) (log (log (/ (cbrt x) (cbrt (+ x y))))) (exp (log (/ (cbrt x) (cbrt (+ x y))))) (* (cbrt (log (/ (cbrt x) (cbrt (+ x y))))) (cbrt (log (/ (cbrt x) (cbrt (+ x y)))))) (cbrt (log (/ (cbrt x) (cbrt (+ x y))))) (* (* (log (/ (cbrt x) (cbrt (+ x y)))) (log (/ (cbrt x) (cbrt (+ x y))))) (log (/ (cbrt x) (cbrt (+ x y))))) (sqrt (log (/ (cbrt x) (cbrt (+ x y))))) (sqrt (log (/ (cbrt x) (cbrt (+ x y))))) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (* 1/3 (- (log x) (log y))) 0 0 (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) 6.695 * * [simplify]: iteration 0 : 173 enodes (cost 1259 ) 6.727 * * [simplify]: iteration 1 : 309 enodes (cost 1172 ) 6.776 * * [simplify]: iteration 2 : 558 enodes (cost 1117 ) 6.892 * * [simplify]: iteration 3 : 1206 enodes (cost 1074 ) 7.279 * * [simplify]: iteration 4 : 2543 enodes (cost 1072 ) 7.841 * * [simplify]: iteration done : 5000 enodes (cost 1072 ) 7.842 * [simplify]: Simplified to: (* 2 (log (cbrt (/ (cbrt x) (cbrt (+ x y)))))) (log (cbrt (/ (cbrt x) (cbrt (+ x y))))) (log (sqrt (/ (cbrt x) (cbrt (+ x y))))) (log (sqrt (/ (cbrt x) (cbrt (+ x y))))) (log (/ (cbrt (pow x 2/3)) (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (cbrt (pow x 2/3)) (cbrt (sqrt (+ x y))))) (log (/ (cbrt (cbrt x)) (cbrt (sqrt (+ x y))))) (log (cbrt (pow x 2/3))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (cbrt (pow x 2/3))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (- (log (cbrt (pow x 2/3))) (* 2 (log (cbrt (cbrt (+ x y)))))) (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (cbrt (pow x 2/3)) (sqrt (cbrt (+ x y))))) (log (/ (cbrt (cbrt x)) (sqrt (cbrt (+ x y))))) (log (cbrt (pow x 2/3))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (/ (cbrt (sqrt x)) (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (cbrt (sqrt x)) (cbrt (cbrt (+ x y))))) (log (/ (cbrt (sqrt x)) (cbrt (sqrt (+ x y))))) (log (/ (cbrt (sqrt x)) (cbrt (sqrt (+ x y))))) (log (cbrt (sqrt x))) (log (/ (cbrt (sqrt x)) (cbrt (+ x y)))) (log (cbrt (sqrt x))) (log (/ (cbrt (sqrt x)) (cbrt (+ x y)))) (- (log (cbrt (sqrt x))) (* 2 (log (cbrt (cbrt (+ x y)))))) (log (/ (cbrt (sqrt x)) (cbrt (cbrt (+ x y))))) (log (/ (cbrt (sqrt x)) (sqrt (cbrt (+ x y))))) (log (/ (cbrt (sqrt x)) (sqrt (cbrt (+ x y))))) (log (cbrt (sqrt x))) (log (/ (cbrt (sqrt x)) (cbrt (+ x y)))) (- (log (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (cbrt x) (cbrt (cbrt (+ x y))))) (- (log (cbrt (sqrt (+ x y))))) (log (/ (cbrt x) (cbrt (sqrt (+ x y))))) 0 (log (/ (cbrt x) (cbrt (+ x y)))) 0 (log (/ (cbrt x) (cbrt (+ x y)))) (* (log (cbrt (cbrt (+ x y)))) -2) (log (/ (cbrt x) (cbrt (cbrt (+ x y))))) (- (log (sqrt (cbrt (+ x y))))) (log (/ (cbrt x) (sqrt (cbrt (+ x y))))) 0 (log (/ (cbrt x) (cbrt (+ x y)))) (- (* 2 (log (cbrt (cbrt x)))) (log (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y))))) (- (* 2 (log (cbrt (cbrt x)))) (log (cbrt (sqrt (+ x y))))) (log (/ (cbrt (cbrt x)) (cbrt (sqrt (+ x y))))) (* 2 (log (cbrt (cbrt x)))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (* 2 (log (cbrt (cbrt x)))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (* 2 (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y)))))) (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y))))) (- (* 2 (log (cbrt (cbrt x)))) (log (sqrt (cbrt (+ x y))))) (log (/ (cbrt (cbrt x)) (sqrt (cbrt (+ x y))))) (* 2 (log (cbrt (cbrt x)))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (/ (sqrt (cbrt x)) (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (sqrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (sqrt (cbrt x)) (cbrt (sqrt (+ x y))))) (log (/ (sqrt (cbrt x)) (cbrt (sqrt (+ x y))))) (log (sqrt (cbrt x))) (log (/ (sqrt (cbrt x)) (cbrt (+ x y)))) (log (sqrt (cbrt x))) (log (/ (sqrt (cbrt x)) (cbrt (+ x y)))) (- (log (sqrt (cbrt x))) (* 2 (log (cbrt (cbrt (+ x y)))))) (log (/ (sqrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (sqrt (cbrt x)) (sqrt (cbrt (+ x y))))) (log (/ (sqrt (cbrt x)) (sqrt (cbrt (+ x y))))) (log (sqrt (cbrt x))) (log (/ (sqrt (cbrt x)) (cbrt (+ x y)))) (- (log (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (cbrt x) (cbrt (cbrt (+ x y))))) (- (log (cbrt (sqrt (+ x y))))) (log (/ (cbrt x) (cbrt (sqrt (+ x y))))) 0 (log (/ (cbrt x) (cbrt (+ x y)))) 0 (log (/ (cbrt x) (cbrt (+ x y)))) (* (log (cbrt (cbrt (+ x y)))) -2) (log (/ (cbrt x) (cbrt (cbrt (+ x y))))) (- (log (sqrt (cbrt (+ x y))))) (log (/ (cbrt x) (sqrt (cbrt (+ x y))))) 0 (log (/ (cbrt x) (cbrt (+ x y)))) 0 (log (/ (cbrt x) (cbrt (+ x y)))) (log (cbrt x)) (- (log (cbrt (+ x y)))) (log (/ (cbrt x) (cbrt (+ (pow x 3) (pow y 3))))) (log (cbrt (+ (* y (- y x)) (* x x)))) (log (/ (cbrt x) (cbrt (- (* x x) (* y y))))) (log (cbrt (- x y))) (log (cbrt x)) (log (cbrt (+ x y))) (log (/ (cbrt x) (cbrt (+ x y)))) (log (log (/ (cbrt x) (cbrt (+ x y))))) (/ (cbrt x) (cbrt (+ x y))) (* (cbrt (log (/ (cbrt x) (cbrt (+ x y))))) (cbrt (log (/ (cbrt x) (cbrt (+ x y)))))) (cbrt (log (/ (cbrt x) (cbrt (+ x y))))) (pow (log (/ (cbrt x) (cbrt (+ x y)))) 3) (sqrt (log (/ (cbrt x) (cbrt (+ x y))))) (sqrt (log (/ (cbrt x) (cbrt (+ x y))))) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (* 1/3 (- (log x) (log y))) 0 0 (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) 7.843 * * * [progress]: adding candidates to table 8.199 * * [progress]: iteration 4 / 4 8.200 * * * [progress]: picking best candidate 8.210 * * * * [pick]: Picked # 8.210 * * * [progress]: localizing error 8.235 * * * [progress]: generating rewritten candidates 8.235 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2) 8.245 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 2) 8.246 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 1 2) 8.247 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 2 1 1) 8.252 * * * [progress]: generating series expansions 8.252 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2) 8.252 * [approximate]: Taking taylor expansion of (log (pow (/ x (+ x y)) 1/3)) in (x y) around 0 8.252 * [taylor]: Taking taylor expansion of (log (pow (/ x (+ x y)) 1/3)) in y 8.252 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) 1/3) in y 8.252 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x (+ x y))))) in y 8.252 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x (+ x y)))) in y 8.252 * [taylor]: Taking taylor expansion of 1/3 in y 8.252 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in y 8.252 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in y 8.252 * [taylor]: Taking taylor expansion of x in y 8.252 * [taylor]: Taking taylor expansion of (+ x y) in y 8.252 * [taylor]: Taking taylor expansion of x in y 8.252 * [taylor]: Taking taylor expansion of y in y 8.255 * [taylor]: Taking taylor expansion of (log (pow (/ x (+ x y)) 1/3)) in x 8.255 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) 1/3) in x 8.255 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x (+ x y))))) in x 8.255 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x (+ x y)))) in x 8.255 * [taylor]: Taking taylor expansion of 1/3 in x 8.255 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 8.255 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 8.255 * [taylor]: Taking taylor expansion of x in x 8.255 * [taylor]: Taking taylor expansion of (+ x y) in x 8.255 * [taylor]: Taking taylor expansion of x in x 8.255 * [taylor]: Taking taylor expansion of y in x 8.256 * [taylor]: Taking taylor expansion of (log (pow (/ x (+ x y)) 1/3)) in x 8.256 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) 1/3) in x 8.256 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x (+ x y))))) in x 8.256 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x (+ x y)))) in x 8.256 * [taylor]: Taking taylor expansion of 1/3 in x 8.256 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 8.256 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 8.256 * [taylor]: Taking taylor expansion of x in x 8.256 * [taylor]: Taking taylor expansion of (+ x y) in x 8.256 * [taylor]: Taking taylor expansion of x in x 8.256 * [taylor]: Taking taylor expansion of y in x 8.257 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (/ 1 y)))) in y 8.257 * [taylor]: Taking taylor expansion of 1/3 in y 8.257 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 8.257 * [taylor]: Taking taylor expansion of (log x) in y 8.257 * [taylor]: Taking taylor expansion of x in y 8.257 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.257 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.257 * [taylor]: Taking taylor expansion of y in y 8.260 * [taylor]: Taking taylor expansion of (/ -1/3 y) in y 8.260 * [taylor]: Taking taylor expansion of -1/3 in y 8.260 * [taylor]: Taking taylor expansion of y in y 8.267 * [taylor]: Taking taylor expansion of (/ 1/6 (pow y 2)) in y 8.267 * [taylor]: Taking taylor expansion of 1/6 in y 8.267 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.267 * [taylor]: Taking taylor expansion of y in y 8.279 * [taylor]: Taking taylor expansion of (/ -1/9 (pow y 3)) in y 8.279 * [taylor]: Taking taylor expansion of -1/9 in y 8.279 * [taylor]: Taking taylor expansion of (pow y 3) in y 8.279 * [taylor]: Taking taylor expansion of y in y 8.285 * [approximate]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in (x y) around 0 8.285 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in y 8.285 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in y 8.285 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in y 8.285 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in y 8.285 * [taylor]: Taking taylor expansion of 1/3 in y 8.285 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 8.285 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 8.285 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 8.285 * [taylor]: Taking taylor expansion of x in y 8.285 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 8.285 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.285 * [taylor]: Taking taylor expansion of y in y 8.285 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.285 * [taylor]: Taking taylor expansion of x in y 8.287 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in x 8.287 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in x 8.287 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 8.287 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 8.287 * [taylor]: Taking taylor expansion of 1/3 in x 8.287 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 8.287 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 8.287 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 8.287 * [taylor]: Taking taylor expansion of x in x 8.287 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 8.287 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.287 * [taylor]: Taking taylor expansion of y in x 8.287 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.287 * [taylor]: Taking taylor expansion of x in x 8.292 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in x 8.292 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in x 8.292 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 8.292 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 8.292 * [taylor]: Taking taylor expansion of 1/3 in x 8.292 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 8.292 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 8.292 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 8.292 * [taylor]: Taking taylor expansion of x in x 8.292 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 8.292 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.292 * [taylor]: Taking taylor expansion of y in x 8.292 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.292 * [taylor]: Taking taylor expansion of x in x 8.297 * [taylor]: Taking taylor expansion of 0 in y 8.298 * [taylor]: Taking taylor expansion of (/ -1/3 y) in y 8.298 * [taylor]: Taking taylor expansion of -1/3 in y 8.298 * [taylor]: Taking taylor expansion of y in y 8.304 * [taylor]: Taking taylor expansion of (/ 1/6 (pow y 2)) in y 8.304 * [taylor]: Taking taylor expansion of 1/6 in y 8.304 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.304 * [taylor]: Taking taylor expansion of y in y 8.307 * [approximate]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in (x y) around 0 8.307 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in y 8.307 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in y 8.307 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in y 8.307 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in y 8.307 * [taylor]: Taking taylor expansion of 1/3 in y 8.307 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 8.307 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 8.307 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 8.307 * [taylor]: Taking taylor expansion of x in y 8.308 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 8.308 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.308 * [taylor]: Taking taylor expansion of y in y 8.308 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.308 * [taylor]: Taking taylor expansion of x in y 8.309 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in x 8.309 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in x 8.309 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 8.309 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 8.309 * [taylor]: Taking taylor expansion of 1/3 in x 8.309 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 8.309 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 8.309 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 8.309 * [taylor]: Taking taylor expansion of x in x 8.309 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 8.309 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.309 * [taylor]: Taking taylor expansion of y in x 8.309 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.309 * [taylor]: Taking taylor expansion of x in x 8.314 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in x 8.314 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in x 8.314 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 8.314 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 8.314 * [taylor]: Taking taylor expansion of 1/3 in x 8.314 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 8.314 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 8.314 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 8.314 * [taylor]: Taking taylor expansion of x in x 8.314 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 8.314 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.314 * [taylor]: Taking taylor expansion of y in x 8.315 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.315 * [taylor]: Taking taylor expansion of x in x 8.320 * [taylor]: Taking taylor expansion of 0 in y 8.321 * [taylor]: Taking taylor expansion of (/ -1/3 y) in y 8.321 * [taylor]: Taking taylor expansion of -1/3 in y 8.321 * [taylor]: Taking taylor expansion of y in y 8.326 * [taylor]: Taking taylor expansion of (/ 1/6 (pow y 2)) in y 8.327 * [taylor]: Taking taylor expansion of 1/6 in y 8.327 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.327 * [taylor]: Taking taylor expansion of y in y 8.330 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 2) 8.330 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 8.330 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 8.330 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 8.330 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 8.330 * [taylor]: Taking taylor expansion of 1/9 in x 8.330 * [taylor]: Taking taylor expansion of (log x) in x 8.330 * [taylor]: Taking taylor expansion of x in x 8.331 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 8.331 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 8.331 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 8.331 * [taylor]: Taking taylor expansion of 1/9 in x 8.331 * [taylor]: Taking taylor expansion of (log x) in x 8.331 * [taylor]: Taking taylor expansion of x in x 8.388 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 8.388 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 8.388 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 8.388 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 8.388 * [taylor]: Taking taylor expansion of 1/9 in x 8.388 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.388 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.388 * [taylor]: Taking taylor expansion of x in x 8.389 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 8.389 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 8.389 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 8.389 * [taylor]: Taking taylor expansion of 1/9 in x 8.389 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.389 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.389 * [taylor]: Taking taylor expansion of x in x 8.452 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 8.452 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 8.452 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 8.452 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 8.452 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 8.452 * [taylor]: Taking taylor expansion of 1/3 in x 8.452 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 8.452 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.452 * [taylor]: Taking taylor expansion of -1 in x 8.456 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 8.456 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 8.456 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 8.456 * [taylor]: Taking taylor expansion of 1/9 in x 8.456 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.456 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.456 * [taylor]: Taking taylor expansion of x in x 8.457 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 8.457 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 8.457 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 8.457 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 8.457 * [taylor]: Taking taylor expansion of 1/3 in x 8.457 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 8.457 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.457 * [taylor]: Taking taylor expansion of -1 in x 8.461 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 8.461 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 8.461 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 8.461 * [taylor]: Taking taylor expansion of 1/9 in x 8.461 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.461 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.461 * [taylor]: Taking taylor expansion of x in x 8.600 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 1 2) 8.600 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 8.600 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 8.600 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 8.600 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 8.600 * [taylor]: Taking taylor expansion of 1/9 in x 8.600 * [taylor]: Taking taylor expansion of (log x) in x 8.600 * [taylor]: Taking taylor expansion of x in x 8.601 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 8.601 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 8.601 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 8.601 * [taylor]: Taking taylor expansion of 1/9 in x 8.601 * [taylor]: Taking taylor expansion of (log x) in x 8.601 * [taylor]: Taking taylor expansion of x in x 8.653 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 8.654 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 8.654 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 8.654 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 8.654 * [taylor]: Taking taylor expansion of 1/9 in x 8.654 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.654 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.654 * [taylor]: Taking taylor expansion of x in x 8.655 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 8.655 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 8.655 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 8.655 * [taylor]: Taking taylor expansion of 1/9 in x 8.655 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.655 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.655 * [taylor]: Taking taylor expansion of x in x 8.717 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 8.717 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 8.717 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 8.717 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 8.717 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 8.717 * [taylor]: Taking taylor expansion of 1/3 in x 8.717 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 8.718 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.718 * [taylor]: Taking taylor expansion of -1 in x 8.722 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 8.722 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 8.722 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 8.722 * [taylor]: Taking taylor expansion of 1/9 in x 8.722 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.722 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.722 * [taylor]: Taking taylor expansion of x in x 8.723 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 8.723 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 8.723 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 8.723 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 8.723 * [taylor]: Taking taylor expansion of 1/3 in x 8.723 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 8.723 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.723 * [taylor]: Taking taylor expansion of -1 in x 8.727 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 8.727 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 8.727 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 8.727 * [taylor]: Taking taylor expansion of 1/9 in x 8.727 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.727 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.727 * [taylor]: Taking taylor expansion of x in x 8.868 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 2 1 1) 8.868 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 8.868 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 8.868 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 8.868 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 8.868 * [taylor]: Taking taylor expansion of 1/9 in x 8.868 * [taylor]: Taking taylor expansion of (log x) in x 8.868 * [taylor]: Taking taylor expansion of x in x 8.869 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 8.869 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 8.869 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 8.869 * [taylor]: Taking taylor expansion of 1/9 in x 8.869 * [taylor]: Taking taylor expansion of (log x) in x 8.869 * [taylor]: Taking taylor expansion of x in x 8.928 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 8.928 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 8.928 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 8.928 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 8.928 * [taylor]: Taking taylor expansion of 1/9 in x 8.928 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.928 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.928 * [taylor]: Taking taylor expansion of x in x 8.930 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 8.930 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 8.930 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 8.930 * [taylor]: Taking taylor expansion of 1/9 in x 8.930 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.930 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.930 * [taylor]: Taking taylor expansion of x in x 8.986 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 8.986 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 8.986 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 8.986 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 8.986 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 8.986 * [taylor]: Taking taylor expansion of 1/3 in x 8.986 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 8.986 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.986 * [taylor]: Taking taylor expansion of -1 in x 8.990 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 8.990 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 8.990 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 8.990 * [taylor]: Taking taylor expansion of 1/9 in x 8.990 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.990 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.990 * [taylor]: Taking taylor expansion of x in x 8.992 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 8.992 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 8.992 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 8.992 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 8.992 * [taylor]: Taking taylor expansion of 1/3 in x 8.992 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 8.992 * [taylor]: Taking taylor expansion of (cbrt -1) in x 8.992 * [taylor]: Taking taylor expansion of -1 in x 8.996 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 8.996 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 8.996 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 8.996 * [taylor]: Taking taylor expansion of 1/9 in x 8.996 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 8.996 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.996 * [taylor]: Taking taylor expansion of x in x 9.135 * * * [progress]: simplifying candidates 9.136 * [simplify]: Simplifying using # : (log (* (cbrt (/ (cbrt x) (cbrt (+ x y)))) (cbrt (/ (cbrt x) (cbrt (+ x y)))))) (log (cbrt (/ (cbrt x) (cbrt (+ x y))))) (log (sqrt (/ (cbrt x) (cbrt (+ x y))))) (log (sqrt (/ (cbrt x) (cbrt (+ x y))))) (log (/ (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (cbrt (* (cbrt x) (cbrt x))) (cbrt (sqrt (+ x y))))) (log (/ (cbrt (cbrt x)) (cbrt (sqrt (+ x y))))) (log (/ (cbrt (* (cbrt x) (cbrt x))) (cbrt 1))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (/ (cbrt (* (cbrt x) (cbrt x))) (cbrt 1))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (/ (cbrt (* (cbrt x) (cbrt x))) (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))))) (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (cbrt (* (cbrt x) (cbrt x))) (sqrt (cbrt (+ x y))))) (log (/ (cbrt (cbrt x)) (sqrt (cbrt (+ x y))))) (log (/ (cbrt (* (cbrt x) (cbrt x))) 1)) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (/ (cbrt (sqrt x)) (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (cbrt (sqrt x)) (cbrt (cbrt (+ x y))))) (log (/ (cbrt (sqrt x)) (cbrt (sqrt (+ x y))))) (log (/ (cbrt (sqrt x)) (cbrt (sqrt (+ x y))))) (log (/ (cbrt (sqrt x)) (cbrt 1))) (log (/ (cbrt (sqrt x)) (cbrt (+ x y)))) (log (/ (cbrt (sqrt x)) (cbrt 1))) (log (/ (cbrt (sqrt x)) (cbrt (+ x y)))) (log (/ (cbrt (sqrt x)) (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))))) (log (/ (cbrt (sqrt x)) (cbrt (cbrt (+ x y))))) (log (/ (cbrt (sqrt x)) (sqrt (cbrt (+ x y))))) (log (/ (cbrt (sqrt x)) (sqrt (cbrt (+ x y))))) (log (/ (cbrt (sqrt x)) 1)) (log (/ (cbrt (sqrt x)) (cbrt (+ x y)))) (log (/ (cbrt 1) (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (cbrt x) (cbrt (cbrt (+ x y))))) (log (/ (cbrt 1) (cbrt (sqrt (+ x y))))) (log (/ (cbrt x) (cbrt (sqrt (+ x y))))) (log (/ (cbrt 1) (cbrt 1))) (log (/ (cbrt x) (cbrt (+ x y)))) (log (/ (cbrt 1) (cbrt 1))) (log (/ (cbrt x) (cbrt (+ x y)))) (log (/ (cbrt 1) (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))))) (log (/ (cbrt x) (cbrt (cbrt (+ x y))))) (log (/ (cbrt 1) (sqrt (cbrt (+ x y))))) (log (/ (cbrt x) (sqrt (cbrt (+ x y))))) (log (/ (cbrt 1) 1)) (log (/ (cbrt x) (cbrt (+ x y)))) (log (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (sqrt (+ x y))))) (log (/ (cbrt (cbrt x)) (cbrt (sqrt (+ x y))))) (log (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt 1))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt 1))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))))) (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) (sqrt (cbrt (+ x y))))) (log (/ (cbrt (cbrt x)) (sqrt (cbrt (+ x y))))) (log (/ (* (cbrt (cbrt x)) (cbrt (cbrt x))) 1)) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (/ (sqrt (cbrt x)) (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (sqrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (sqrt (cbrt x)) (cbrt (sqrt (+ x y))))) (log (/ (sqrt (cbrt x)) (cbrt (sqrt (+ x y))))) (log (/ (sqrt (cbrt x)) (cbrt 1))) (log (/ (sqrt (cbrt x)) (cbrt (+ x y)))) (log (/ (sqrt (cbrt x)) (cbrt 1))) (log (/ (sqrt (cbrt x)) (cbrt (+ x y)))) (log (/ (sqrt (cbrt x)) (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))))) (log (/ (sqrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (sqrt (cbrt x)) (sqrt (cbrt (+ x y))))) (log (/ (sqrt (cbrt x)) (sqrt (cbrt (+ x y))))) (log (/ (sqrt (cbrt x)) 1)) (log (/ (sqrt (cbrt x)) (cbrt (+ x y)))) (log (/ 1 (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (cbrt x) (cbrt (cbrt (+ x y))))) (log (/ 1 (cbrt (sqrt (+ x y))))) (log (/ (cbrt x) (cbrt (sqrt (+ x y))))) (log (/ 1 (cbrt 1))) (log (/ (cbrt x) (cbrt (+ x y)))) (log (/ 1 (cbrt 1))) (log (/ (cbrt x) (cbrt (+ x y)))) (log (/ 1 (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))))) (log (/ (cbrt x) (cbrt (cbrt (+ x y))))) (log (/ 1 (sqrt (cbrt (+ x y))))) (log (/ (cbrt x) (sqrt (cbrt (+ x y))))) (log (/ 1 1)) (log (/ (cbrt x) (cbrt (+ x y)))) (log 1) (log (/ (cbrt x) (cbrt (+ x y)))) (log (cbrt x)) (log (/ 1 (cbrt (+ x y)))) (log (/ (cbrt x) (cbrt (+ (pow x 3) (pow y 3))))) (log (cbrt (+ (* x x) (- (* y y) (* x y))))) (log (/ (cbrt x) (cbrt (- (* x x) (* y y))))) (log (cbrt (- x y))) (log (cbrt x)) (log (cbrt (+ x y))) (log (/ (cbrt x) (cbrt (+ x y)))) (log (log (/ (cbrt x) (cbrt (+ x y))))) (exp (log (/ (cbrt x) (cbrt (+ x y))))) (* (cbrt (log (/ (cbrt x) (cbrt (+ x y))))) (cbrt (log (/ (cbrt x) (cbrt (+ x y)))))) (cbrt (log (/ (cbrt x) (cbrt (+ x y))))) (* (* (log (/ (cbrt x) (cbrt (+ x y)))) (log (/ (cbrt x) (cbrt (+ x y))))) (log (/ (cbrt x) (cbrt (+ x y))))) (sqrt (log (/ (cbrt x) (cbrt (+ x y))))) (sqrt (log (/ (cbrt x) (cbrt (+ x y))))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt 1)) (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt 1) (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt 1)) (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt 1) (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt 1)) (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt 1) (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (* 1/3 (- (log x) (log y))) 0 0 (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (* -1 x) 1/9) (pow (cbrt -1) 1/3)) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (* -1 x) 1/9) (pow (cbrt -1) 1/3)) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (* -1 x) 1/9) (pow (cbrt -1) 1/3)) 9.141 * * [simplify]: iteration 0 : 184 enodes (cost 1388 ) 9.180 * * [simplify]: iteration 1 : 323 enodes (cost 1298 ) 9.227 * * [simplify]: iteration 2 : 558 enodes (cost 1257 ) 9.338 * * [simplify]: iteration 3 : 1133 enodes (cost 1214 ) 9.706 * * [simplify]: iteration 4 : 2199 enodes (cost 1212 ) 10.648 * * [simplify]: iteration done : 5000 enodes (cost 1206 ) 10.649 * [simplify]: Simplified to: (* 2 (log (cbrt (/ (cbrt x) (cbrt (+ x y)))))) (log (cbrt (/ (cbrt x) (cbrt (+ x y))))) (log (sqrt (/ (cbrt x) (cbrt (+ x y))))) (log (sqrt (/ (cbrt x) (cbrt (+ x y))))) (log (/ (cbrt (* (cbrt x) (cbrt x))) (cbrt (exp (* 2 (log (cbrt (+ x y)))))))) (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (cbrt (* (cbrt x) (cbrt x))) (cbrt (sqrt (+ x y))))) (log (/ (cbrt (cbrt x)) (cbrt (sqrt (+ x y))))) (log (cbrt (* (cbrt x) (cbrt x)))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (cbrt (* (cbrt x) (cbrt x)))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (- (log (cbrt (* (cbrt x) (cbrt x)))) (* 2 (log (cbrt (cbrt (+ x y)))))) (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (cbrt (* (cbrt x) (cbrt x))) (sqrt (cbrt (+ x y))))) (log (/ (cbrt (cbrt x)) (sqrt (cbrt (+ x y))))) (log (cbrt (* (cbrt x) (cbrt x)))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (/ (cbrt (sqrt x)) (cbrt (exp (* 2 (log (cbrt (+ x y)))))))) (log (/ (cbrt (sqrt x)) (cbrt (cbrt (+ x y))))) (log (/ (cbrt (sqrt x)) (cbrt (sqrt (+ x y))))) (log (/ (cbrt (sqrt x)) (cbrt (sqrt (+ x y))))) (log (cbrt (sqrt x))) (log (/ (cbrt (sqrt x)) (cbrt (+ x y)))) (log (cbrt (sqrt x))) (log (/ (cbrt (sqrt x)) (cbrt (+ x y)))) (- (log (cbrt (sqrt x))) (* 2 (log (cbrt (cbrt (+ x y)))))) (log (/ (cbrt (sqrt x)) (cbrt (cbrt (+ x y))))) (log (/ (cbrt (sqrt x)) (sqrt (cbrt (+ x y))))) (log (/ (cbrt (sqrt x)) (sqrt (cbrt (+ x y))))) (log (cbrt (sqrt x))) (log (/ (cbrt (sqrt x)) (cbrt (+ x y)))) (- (log (cbrt (exp (* 2 (log (cbrt (+ x y)))))))) (log (/ (cbrt x) (cbrt (cbrt (+ x y))))) (- (log (cbrt (sqrt (+ x y))))) (log (/ (cbrt x) (cbrt (sqrt (+ x y))))) 0 (log (/ (cbrt x) (cbrt (+ x y)))) 0 (log (/ (cbrt x) (cbrt (+ x y)))) (* -2 (log (cbrt (cbrt (+ x y))))) (log (/ (cbrt x) (cbrt (cbrt (+ x y))))) (- (log (sqrt (cbrt (+ x y))))) (log (/ (cbrt x) (sqrt (cbrt (+ x y))))) 0 (log (/ (cbrt x) (cbrt (+ x y)))) (- (* 2 (log (cbrt (cbrt x)))) (log (cbrt (exp (* 2 (log (cbrt (+ x y)))))))) (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y))))) (- (* 2 (log (cbrt (cbrt x)))) (log (cbrt (sqrt (+ x y))))) (log (/ (cbrt (cbrt x)) (cbrt (sqrt (+ x y))))) (* 2 (log (cbrt (cbrt x)))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (* 2 (log (cbrt (cbrt x)))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (* 2 (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y)))))) (log (/ (cbrt (cbrt x)) (cbrt (cbrt (+ x y))))) (- (* 2 (log (cbrt (cbrt x)))) (log (sqrt (cbrt (+ x y))))) (log (/ (cbrt (cbrt x)) (sqrt (cbrt (+ x y))))) (* 2 (log (cbrt (cbrt x)))) (log (/ (cbrt (cbrt x)) (cbrt (+ x y)))) (log (/ (sqrt (cbrt x)) (cbrt (exp (* 2 (log (cbrt (+ x y)))))))) (log (/ (sqrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (sqrt (cbrt x)) (cbrt (sqrt (+ x y))))) (log (/ (sqrt (cbrt x)) (cbrt (sqrt (+ x y))))) (log (sqrt (cbrt x))) (log (/ (sqrt (cbrt x)) (cbrt (+ x y)))) (log (sqrt (cbrt x))) (log (/ (sqrt (cbrt x)) (cbrt (+ x y)))) (- (log (sqrt (cbrt x))) (* 2 (log (cbrt (cbrt (+ x y)))))) (log (/ (sqrt (cbrt x)) (cbrt (cbrt (+ x y))))) (log (/ (sqrt (cbrt x)) (sqrt (cbrt (+ x y))))) (log (/ (sqrt (cbrt x)) (sqrt (cbrt (+ x y))))) (log (sqrt (cbrt x))) (log (/ (sqrt (cbrt x)) (cbrt (+ x y)))) (- (log (cbrt (exp (* 2 (log (cbrt (+ x y)))))))) (log (/ (cbrt x) (cbrt (cbrt (+ x y))))) (- (log (cbrt (sqrt (+ x y))))) (log (/ (cbrt x) (cbrt (sqrt (+ x y))))) 0 (log (/ (cbrt x) (cbrt (+ x y)))) 0 (log (/ (cbrt x) (cbrt (+ x y)))) (* -2 (log (cbrt (cbrt (+ x y))))) (log (/ (cbrt x) (cbrt (cbrt (+ x y))))) (- (log (sqrt (cbrt (+ x y))))) (log (/ (cbrt x) (sqrt (cbrt (+ x y))))) 0 (log (/ (cbrt x) (cbrt (+ x y)))) 0 (log (/ (cbrt x) (cbrt (+ x y)))) (log (cbrt x)) (- (log (cbrt (+ x y)))) (log (/ (cbrt x) (cbrt (+ (pow x 3) (pow y 3))))) (log (cbrt (+ (* y (- y x)) (* x x)))) (log (/ (cbrt x) (cbrt (- (* x x) (* y y))))) (log (cbrt (- x y))) (log (cbrt x)) (log (cbrt (+ x y))) (log (/ (cbrt x) (cbrt (+ x y)))) (log (log (/ (cbrt x) (cbrt (+ x y))))) (/ (cbrt x) (cbrt (+ x y))) (* (cbrt (log (/ (cbrt x) (cbrt (+ x y))))) (cbrt (log (/ (cbrt x) (cbrt (+ x y)))))) (cbrt (log (/ (cbrt x) (cbrt (+ x y))))) (pow (log (/ (cbrt x) (cbrt (+ x y)))) 3) (sqrt (log (/ (cbrt x) (cbrt (+ x y))))) (sqrt (log (/ (cbrt x) (cbrt (+ x y))))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) 1 (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) 1 (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt x) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) 1 (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) 1 (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt x) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) 1 (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) 1 (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt x) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (* 1/3 (- (log x) (log y))) 0 0 (pow x 1/9) (pow (/ 1 x) -1/9) (* (cbrt (cbrt -1)) (pow (- x) 1/9)) (pow x 1/9) (pow (/ 1 x) -1/9) (* (cbrt (cbrt -1)) (pow (- x) 1/9)) (pow x 1/9) (pow (/ 1 x) -1/9) (* (cbrt (cbrt -1)) (pow (- x) 1/9)) 10.650 * * * [progress]: adding candidates to table 11.089 * [progress]: [Phase 3 of 3] Extracting. 11.090 * * [regime]: Finding splitpoints for: (# # # # # #) 11.092 * * * [regime-changes]: Trying 2 branch expressions: (y x) 11.092 * * * * [regimes]: Trying to branch on y from (# # # # # #) 11.130 * * * * [regimes]: Trying to branch on x from (# # # # # #) 11.168 * * * [regime]: Found split indices: #