18.246 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.061 * * * [progress]: [2/2] Setting up program. 0.063 * [progress]: [Phase 2 of 3] Improving. 0.063 * [simplify]: Simplifying using # : (/ (exp (* x (log (/ x (+ x y))))) x) 0.064 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 0.065 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 0.067 * * [simplify]: iteration 2 : 24 enodes (cost 9 ) 0.070 * * [simplify]: iteration 3 : 51 enodes (cost 9 ) 0.081 * * [simplify]: iteration 4 : 102 enodes (cost 9 ) 0.096 * * [simplify]: iteration 5 : 239 enodes (cost 9 ) 0.181 * * [simplify]: iteration 6 : 553 enodes (cost 9 ) 0.483 * * [simplify]: iteration 7 : 1646 enodes (cost 9 ) 1.729 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 1.730 * [simplify]: Simplified to: (/ (pow (/ x (+ x y)) x) x) 1.732 * * [progress]: iteration 1 / 4 1.732 * * * [progress]: picking best candidate 1.734 * * * * [pick]: Picked # 1.734 * * * [progress]: localizing error 1.743 * * * [progress]: generating rewritten candidates 1.743 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 2) 1.747 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 1.758 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 2 1) 1.768 * * * [progress]: generating series expansions 1.768 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 2) 1.769 * [approximate]: Taking taylor expansion of (log (/ x (+ x y))) in (x y) around 0 1.769 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in y 1.769 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in y 1.769 * [taylor]: Taking taylor expansion of x in y 1.769 * [taylor]: Taking taylor expansion of (+ x y) in y 1.769 * [taylor]: Taking taylor expansion of x in y 1.769 * [taylor]: Taking taylor expansion of y in y 1.769 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 1.769 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 1.769 * [taylor]: Taking taylor expansion of x in x 1.769 * [taylor]: Taking taylor expansion of (+ x y) in x 1.769 * [taylor]: Taking taylor expansion of x in x 1.769 * [taylor]: Taking taylor expansion of y in x 1.769 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 1.769 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 1.769 * [taylor]: Taking taylor expansion of x in x 1.770 * [taylor]: Taking taylor expansion of (+ x y) in x 1.770 * [taylor]: Taking taylor expansion of x in x 1.770 * [taylor]: Taking taylor expansion of y in x 1.770 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 1.770 * [taylor]: Taking taylor expansion of (log x) in y 1.770 * [taylor]: Taking taylor expansion of x in y 1.770 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.770 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.770 * [taylor]: Taking taylor expansion of y in y 1.772 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.772 * [taylor]: Taking taylor expansion of -1 in y 1.772 * [taylor]: Taking taylor expansion of y in y 1.775 * [taylor]: Taking taylor expansion of (/ 1/2 (pow y 2)) in y 1.776 * [taylor]: Taking taylor expansion of 1/2 in y 1.776 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.776 * [taylor]: Taking taylor expansion of y in y 1.783 * [taylor]: Taking taylor expansion of (/ -1/3 (pow y 3)) in y 1.783 * [taylor]: Taking taylor expansion of -1/3 in y 1.783 * [taylor]: Taking taylor expansion of (pow y 3) in y 1.783 * [taylor]: Taking taylor expansion of y in y 1.789 * [approximate]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in (x y) around 0 1.789 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 1.789 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 1.789 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 1.789 * [taylor]: Taking taylor expansion of x in y 1.789 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 1.789 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.789 * [taylor]: Taking taylor expansion of y in y 1.789 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.789 * [taylor]: Taking taylor expansion of x in y 1.789 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 1.789 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 1.789 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 1.789 * [taylor]: Taking taylor expansion of x in x 1.789 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.789 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.790 * [taylor]: Taking taylor expansion of y in x 1.790 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.790 * [taylor]: Taking taylor expansion of x in x 1.792 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 1.792 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 1.792 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 1.792 * [taylor]: Taking taylor expansion of x in x 1.792 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.792 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.792 * [taylor]: Taking taylor expansion of y in x 1.792 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.792 * [taylor]: Taking taylor expansion of x in x 1.794 * [taylor]: Taking taylor expansion of 0 in y 1.796 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.796 * [taylor]: Taking taylor expansion of -1 in y 1.796 * [taylor]: Taking taylor expansion of y in y 1.800 * [taylor]: Taking taylor expansion of (/ 1/2 (pow y 2)) in y 1.800 * [taylor]: Taking taylor expansion of 1/2 in y 1.800 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.800 * [taylor]: Taking taylor expansion of y in y 1.807 * [approximate]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in (x y) around 0 1.807 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 1.807 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 1.807 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 1.807 * [taylor]: Taking taylor expansion of x in y 1.807 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 1.807 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.807 * [taylor]: Taking taylor expansion of y in y 1.807 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.807 * [taylor]: Taking taylor expansion of x in y 1.808 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 1.808 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 1.808 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 1.808 * [taylor]: Taking taylor expansion of x in x 1.808 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.808 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.808 * [taylor]: Taking taylor expansion of y in x 1.808 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.808 * [taylor]: Taking taylor expansion of x in x 1.810 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 1.810 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 1.810 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 1.810 * [taylor]: Taking taylor expansion of x in x 1.810 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.810 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.810 * [taylor]: Taking taylor expansion of y in x 1.810 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.810 * [taylor]: Taking taylor expansion of x in x 1.812 * [taylor]: Taking taylor expansion of 0 in y 1.814 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.814 * [taylor]: Taking taylor expansion of -1 in y 1.814 * [taylor]: Taking taylor expansion of y in y 1.818 * [taylor]: Taking taylor expansion of (/ 1/2 (pow y 2)) in y 1.818 * [taylor]: Taking taylor expansion of 1/2 in y 1.818 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.818 * [taylor]: Taking taylor expansion of y in y 1.821 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 1.821 * [approximate]: Taking taylor expansion of (* (log (/ x (+ x y))) x) in (x y) around 0 1.821 * [taylor]: Taking taylor expansion of (* (log (/ x (+ x y))) x) in y 1.821 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in y 1.821 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in y 1.821 * [taylor]: Taking taylor expansion of x in y 1.821 * [taylor]: Taking taylor expansion of (+ x y) in y 1.821 * [taylor]: Taking taylor expansion of x in y 1.821 * [taylor]: Taking taylor expansion of y in y 1.821 * [taylor]: Taking taylor expansion of x in y 1.821 * [taylor]: Taking taylor expansion of (* (log (/ x (+ x y))) x) in x 1.821 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 1.821 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 1.821 * [taylor]: Taking taylor expansion of x in x 1.821 * [taylor]: Taking taylor expansion of (+ x y) in x 1.821 * [taylor]: Taking taylor expansion of x in x 1.821 * [taylor]: Taking taylor expansion of y in x 1.822 * [taylor]: Taking taylor expansion of x in x 1.822 * [taylor]: Taking taylor expansion of (* (log (/ x (+ x y))) 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.822 * [taylor]: Taking taylor expansion of x in x 1.822 * [taylor]: Taking taylor expansion of 0 in y 1.823 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 1.823 * [taylor]: Taking taylor expansion of (log x) in y 1.823 * [taylor]: Taking taylor expansion of x in y 1.823 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 1.823 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.823 * [taylor]: Taking taylor expansion of y in y 1.826 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 1.826 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.826 * [taylor]: Taking taylor expansion of y in y 1.831 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow y 2))) in y 1.831 * [taylor]: Taking taylor expansion of 1/2 in y 1.831 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.831 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.831 * [taylor]: Taking taylor expansion of y in y 1.834 * [approximate]: Taking taylor expansion of (/ (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) x) in (x y) around 0 1.834 * [taylor]: Taking taylor expansion of (/ (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) x) in y 1.835 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 1.835 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 1.835 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 1.835 * [taylor]: Taking taylor expansion of x in y 1.835 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 1.835 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.835 * [taylor]: Taking taylor expansion of y in y 1.835 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.835 * [taylor]: Taking taylor expansion of x in y 1.835 * [taylor]: Taking taylor expansion of x in y 1.836 * [taylor]: Taking taylor expansion of (/ (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) x) in x 1.836 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 1.836 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 1.836 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 1.836 * [taylor]: Taking taylor expansion of x in x 1.836 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.836 * [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.838 * [taylor]: Taking taylor expansion of x in x 1.840 * [taylor]: Taking taylor expansion of (/ (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) x) in x 1.840 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 1.840 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 1.840 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 1.840 * [taylor]: Taking taylor expansion of x in x 1.840 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.840 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.840 * [taylor]: Taking taylor expansion of y in x 1.840 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.840 * [taylor]: Taking taylor expansion of x in x 1.842 * [taylor]: Taking taylor expansion of x in x 1.844 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.844 * [taylor]: Taking taylor expansion of -1 in y 1.844 * [taylor]: Taking taylor expansion of y in y 1.849 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow y 2))) in y 1.849 * [taylor]: Taking taylor expansion of 1/2 in y 1.849 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.849 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.849 * [taylor]: Taking taylor expansion of y in y 1.857 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ 1 (pow y 3)))) in y 1.857 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow y 3))) in y 1.858 * [taylor]: Taking taylor expansion of 1/3 in y 1.858 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 1.858 * [taylor]: Taking taylor expansion of (pow y 3) in y 1.858 * [taylor]: Taking taylor expansion of y in y 1.866 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) x)) in (x y) around 0 1.866 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) x)) in y 1.866 * [taylor]: Taking taylor expansion of -1 in y 1.866 * [taylor]: Taking taylor expansion of (/ (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) x) in y 1.866 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 1.866 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 1.866 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 1.866 * [taylor]: Taking taylor expansion of x in y 1.866 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 1.866 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.866 * [taylor]: Taking taylor expansion of y in y 1.866 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.866 * [taylor]: Taking taylor expansion of x in y 1.867 * [taylor]: Taking taylor expansion of x in y 1.867 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) x)) in x 1.867 * [taylor]: Taking taylor expansion of -1 in x 1.867 * [taylor]: Taking taylor expansion of (/ (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) x) in x 1.867 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 1.867 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 1.867 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 1.867 * [taylor]: Taking taylor expansion of x in x 1.867 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.867 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.867 * [taylor]: Taking taylor expansion of y in x 1.867 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.867 * [taylor]: Taking taylor expansion of x in x 1.869 * [taylor]: Taking taylor expansion of x in x 1.871 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) x)) in x 1.871 * [taylor]: Taking taylor expansion of -1 in x 1.871 * [taylor]: Taking taylor expansion of (/ (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) x) in x 1.871 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 1.871 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 1.871 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 1.871 * [taylor]: Taking taylor expansion of x in x 1.871 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.871 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.871 * [taylor]: Taking taylor expansion of y in x 1.871 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.871 * [taylor]: Taking taylor expansion of x in x 1.873 * [taylor]: Taking taylor expansion of x in x 1.875 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.875 * [taylor]: Taking taylor expansion of y in y 1.879 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow y 2)))) in y 1.880 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow y 2))) in y 1.880 * [taylor]: Taking taylor expansion of 1/2 in y 1.880 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.880 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.880 * [taylor]: Taking taylor expansion of y in y 1.888 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow y 3))) in y 1.888 * [taylor]: Taking taylor expansion of 1/3 in y 1.888 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 1.888 * [taylor]: Taking taylor expansion of (pow y 3) in y 1.888 * [taylor]: Taking taylor expansion of y in y 1.900 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 2 1) 1.900 * [approximate]: Taking taylor expansion of (/ x (+ x y)) in (x y) around 0 1.900 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in y 1.900 * [taylor]: Taking taylor expansion of x in y 1.900 * [taylor]: Taking taylor expansion of (+ x y) in y 1.900 * [taylor]: Taking taylor expansion of x in y 1.900 * [taylor]: Taking taylor expansion of y in y 1.900 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 1.900 * [taylor]: Taking taylor expansion of x in x 1.900 * [taylor]: Taking taylor expansion of (+ x y) in x 1.900 * [taylor]: Taking taylor expansion of x in x 1.900 * [taylor]: Taking taylor expansion of y in x 1.900 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 1.900 * [taylor]: Taking taylor expansion of x in x 1.900 * [taylor]: Taking taylor expansion of (+ x y) in x 1.900 * [taylor]: Taking taylor expansion of x in x 1.900 * [taylor]: Taking taylor expansion of y in x 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 (pow y 2))) in y 1.901 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.901 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.901 * [taylor]: Taking taylor expansion of y in y 1.905 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 1.905 * [taylor]: Taking taylor expansion of (pow y 3) in y 1.905 * [taylor]: Taking taylor expansion of y in y 1.912 * [approximate]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in (x y) around 0 1.912 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 1.912 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 1.912 * [taylor]: Taking taylor expansion of x in y 1.912 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 1.912 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.912 * [taylor]: Taking taylor expansion of y in y 1.912 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.912 * [taylor]: Taking taylor expansion of x in y 1.913 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 1.913 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 1.913 * [taylor]: Taking taylor expansion of x in x 1.913 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.913 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.913 * [taylor]: Taking taylor expansion of y in x 1.913 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.913 * [taylor]: Taking taylor expansion of x in x 1.915 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 1.915 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 1.915 * [taylor]: Taking taylor expansion of x in x 1.915 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.915 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.915 * [taylor]: Taking taylor expansion of y in x 1.915 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.915 * [taylor]: Taking taylor expansion of x in x 1.916 * [taylor]: Taking taylor expansion of 1 in y 1.918 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 1.918 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.918 * [taylor]: Taking taylor expansion of y in y 1.921 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.921 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.921 * [taylor]: Taking taylor expansion of y in y 1.926 * [approximate]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in (x y) around 0 1.926 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 1.926 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 1.926 * [taylor]: Taking taylor expansion of x in y 1.926 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 1.926 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.926 * [taylor]: Taking taylor expansion of y in y 1.926 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.926 * [taylor]: Taking taylor expansion of x in y 1.926 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 1.926 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 1.926 * [taylor]: Taking taylor expansion of x in x 1.926 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.926 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.926 * [taylor]: Taking taylor expansion of y in x 1.926 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.926 * [taylor]: Taking taylor expansion of x in x 1.928 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 1.928 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 1.928 * [taylor]: Taking taylor expansion of x in x 1.928 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.928 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.928 * [taylor]: Taking taylor expansion of y in x 1.928 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.928 * [taylor]: Taking taylor expansion of x in x 1.930 * [taylor]: Taking taylor expansion of 1 in y 1.932 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 1.932 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.932 * [taylor]: Taking taylor expansion of y in y 1.935 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.935 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.935 * [taylor]: Taking taylor expansion of y in y 1.939 * * * [progress]: simplifying candidates 1.941 * [simplify]: Simplifying using # : (expm1 (log (/ x (+ x y)))) (log1p (log (/ x (+ x y)))) (log (* (cbrt (/ x (+ x y))) (cbrt (/ x (+ x y))))) (log (cbrt (/ x (+ x y)))) (log (sqrt (/ x (+ x y)))) (log (sqrt (/ x (+ x y)))) (log (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y))))) (log (/ (cbrt x) (cbrt (+ x y)))) (log (/ (* (cbrt x) (cbrt x)) (sqrt (+ x y)))) (log (/ (cbrt x) (sqrt (+ x y)))) (log (/ (* (cbrt x) (cbrt x)) 1)) (log (/ (cbrt x) (+ x y))) (log (/ (* (cbrt x) (cbrt x)) 1)) (log (/ (cbrt x) (+ x y))) (log (/ (sqrt x) (* (cbrt (+ x y)) (cbrt (+ x y))))) (log (/ (sqrt x) (cbrt (+ x y)))) (log (/ (sqrt x) (sqrt (+ x y)))) (log (/ (sqrt x) (sqrt (+ x y)))) (log (/ (sqrt x) 1)) (log (/ (sqrt x) (+ x y))) (log (/ (sqrt x) 1)) (log (/ (sqrt x) (+ x y))) (log (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))) (log (/ x (cbrt (+ x y)))) (log (/ 1 (sqrt (+ x y)))) (log (/ x (sqrt (+ x y)))) (log (/ 1 1)) (log (/ x (+ x y))) (log (/ 1 1)) (log (/ x (+ x y))) (log 1) (log (/ x (+ x y))) (log x) (log (/ 1 (+ x y))) (log (/ x (+ (pow x 3) (pow y 3)))) (log (+ (* x x) (- (* y y) (* x y)))) (log (/ x (- (* x x) (* y y)))) (log (- x y)) (log x) (log (+ x y)) (log (/ x (+ x y))) (log (log (/ x (+ x y)))) (exp (log (/ x (+ x y)))) (* (cbrt (log (/ x (+ x y)))) (cbrt (log (/ x (+ x y))))) (cbrt (log (/ x (+ x y)))) (* (* (log (/ x (+ x y))) (log (/ x (+ x y)))) (log (/ x (+ x y)))) (sqrt (log (/ x (+ x y)))) (sqrt (log (/ x (+ x y)))) (expm1 (* x (log (/ x (+ x y))))) (log1p (* x (log (/ x (+ x y))))) (* x (log (/ x (+ x y)))) (+ (log x) (log (log (/ x (+ x y))))) (log (* x (log (/ x (+ x y))))) (exp (* x (log (/ x (+ x y))))) (* (* (* x x) x) (* (* (log (/ x (+ x y))) (log (/ x (+ x y)))) (log (/ x (+ x y))))) (* (cbrt (* x (log (/ x (+ x y))))) (cbrt (* x (log (/ x (+ x y)))))) (cbrt (* x (log (/ x (+ x y))))) (* (* (* x (log (/ x (+ x y)))) (* x (log (/ x (+ x y))))) (* x (log (/ x (+ x y))))) (sqrt (* x (log (/ x (+ x y))))) (sqrt (* x (log (/ x (+ x y))))) (* (sqrt x) (sqrt (log (/ x (+ x y))))) (* (sqrt x) (sqrt (log (/ x (+ x y))))) (* x (log (* (cbrt (/ x (+ x y))) (cbrt (/ x (+ x y)))))) (* x (log (cbrt (/ x (+ x y))))) (* x (log (sqrt (/ x (+ x y))))) (* x (log (sqrt (/ x (+ x y))))) (* x (log (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y)))))) (* x (log (/ (cbrt x) (cbrt (+ x y))))) (* x (log (/ (* (cbrt x) (cbrt x)) (sqrt (+ x y))))) (* x (log (/ (cbrt x) (sqrt (+ x y))))) (* x (log (/ (* (cbrt x) (cbrt x)) 1))) (* x (log (/ (cbrt x) (+ x y)))) (* x (log (/ (* (cbrt x) (cbrt x)) 1))) (* x (log (/ (cbrt x) (+ x y)))) (* x (log (/ (sqrt x) (* (cbrt (+ x y)) (cbrt (+ x y)))))) (* x (log (/ (sqrt x) (cbrt (+ x y))))) (* x (log (/ (sqrt x) (sqrt (+ x y))))) (* x (log (/ (sqrt x) (sqrt (+ x y))))) (* x (log (/ (sqrt x) 1))) (* x (log (/ (sqrt x) (+ x y)))) (* x (log (/ (sqrt x) 1))) (* x (log (/ (sqrt x) (+ x y)))) (* x (log (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y)))))) (* x (log (/ x (cbrt (+ x y))))) (* x (log (/ 1 (sqrt (+ x y))))) (* x (log (/ x (sqrt (+ x y))))) (* x (log (/ 1 1))) (* x (log (/ x (+ x y)))) (* x (log (/ 1 1))) (* x (log (/ x (+ x y)))) (* x (log 1)) (* x (log (/ x (+ x y)))) (* x (log x)) (* x (log (/ 1 (+ x y)))) (* x (log (/ x (+ (pow x 3) (pow y 3))))) (* x (log (+ (* x x) (- (* y y) (* x y))))) (* x (log (/ x (- (* x x) (* y y))))) (* x (log (- x y))) (* (log (* (cbrt (/ x (+ x y))) (cbrt (/ x (+ x y))))) x) (* (log (cbrt (/ x (+ x y)))) x) (* (log (sqrt (/ x (+ x y)))) x) (* (log (sqrt (/ x (+ x y)))) x) (* (log (/ (* (cbrt x) (cbrt x)) (* (cbrt (+ x y)) (cbrt (+ x y))))) x) (* (log (/ (cbrt x) (cbrt (+ x y)))) x) (* (log (/ (* (cbrt x) (cbrt x)) (sqrt (+ x y)))) x) (* (log (/ (cbrt x) (sqrt (+ x y)))) x) (* (log (/ (* (cbrt x) (cbrt x)) 1)) x) (* (log (/ (cbrt x) (+ x y))) x) (* (log (/ (* (cbrt x) (cbrt x)) 1)) x) (* (log (/ (cbrt x) (+ x y))) x) (* (log (/ (sqrt x) (* (cbrt (+ x y)) (cbrt (+ x y))))) x) (* (log (/ (sqrt x) (cbrt (+ x y)))) x) (* (log (/ (sqrt x) (sqrt (+ x y)))) x) (* (log (/ (sqrt x) (sqrt (+ x y)))) x) (* (log (/ (sqrt x) 1)) x) (* (log (/ (sqrt x) (+ x y))) x) (* (log (/ (sqrt x) 1)) x) (* (log (/ (sqrt x) (+ x y))) x) (* (log (/ 1 (* (cbrt (+ x y)) (cbrt (+ x y))))) x) (* (log (/ x (cbrt (+ x y)))) x) (* (log (/ 1 (sqrt (+ x y)))) x) (* (log (/ x (sqrt (+ x y)))) x) (* (log (/ 1 1)) x) (* (log (/ x (+ x y))) x) (* (log (/ 1 1)) x) (* (log (/ x (+ x y))) x) (* (log 1) x) (* (log (/ x (+ x y))) x) (* (log x) x) (* (log (/ 1 (+ x y))) x) (* (log (/ x (+ (pow x 3) (pow y 3)))) x) (* (log (+ (* x x) (- (* y y) (* x y)))) x) (* (log (/ x (- (* x x) (* y y)))) x) (* (log (- x y)) x) (* x 1) (* x (* (cbrt (log (/ x (+ x y)))) (cbrt (log (/ x (+ x y)))))) (* x (sqrt (log (/ x (+ x y))))) (* x 1) (* (cbrt x) (log (/ x (+ x y)))) (* (sqrt x) (log (/ x (+ x y)))) (* x (log (/ x (+ x y)))) (expm1 (/ x (+ x y))) (log1p (/ x (+ x y))) (- (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))) (- (log x) (log y)) 0 0 (* x (- (log x) (log y))) 0 0 0 0 0 1.946 * * [simplify]: iteration 0 : 173 enodes (cost 1644 ) 2.006 * * [simplify]: iteration 1 : 301 enodes (cost 1553 ) 2.055 * * [simplify]: iteration 2 : 628 enodes (cost 1464 ) 2.339 * * [simplify]: iteration 3 : 1612 enodes (cost 1425 ) 3.550 * * [simplify]: iteration 4 : 4830 enodes (cost 1422 ) 4.401 * * [simplify]: iteration done : 5000 enodes (cost 1422 ) 4.402 * [simplify]: Simplified to: (expm1 (log (/ x (+ x y)))) (log1p (log (/ x (+ x y)))) (* 2 (log (cbrt (/ x (+ x y))))) (log (cbrt (/ x (+ x y)))) (log (sqrt (/ x (+ x y)))) (log (sqrt (/ x (+ x y)))) (* 2 (log (/ (cbrt x) (cbrt (+ x y))))) (log (/ (cbrt x) (cbrt (+ x y)))) (log (/ (* (cbrt x) (cbrt x)) (sqrt (+ x y)))) (log (/ (cbrt x) (sqrt (+ x y)))) (* 2 (log (cbrt x))) (log (/ (cbrt x) (+ x y))) (* 2 (log (cbrt x))) (log (/ (cbrt x) (+ x y))) (- (log (sqrt x)) (* 2 (log (cbrt (+ x y))))) (log (/ (sqrt x) (cbrt (+ x y)))) (log (/ (sqrt x) (sqrt (+ x y)))) (log (/ (sqrt x) (sqrt (+ x y)))) (log (sqrt x)) (log (/ (sqrt x) (+ x y))) (log (sqrt x)) (log (/ (sqrt x) (+ x y))) (* -2 (log (cbrt (+ x y)))) (log (/ x (cbrt (+ x y)))) (- (log (sqrt (+ x y)))) (log (/ x (sqrt (+ x y)))) 0 (log (/ x (+ x y))) 0 (log (/ x (+ x y))) 0 (log (/ x (+ x y))) (log x) (- (log (+ x y))) (log (/ x (+ (pow x 3) (pow y 3)))) (log (fma x x (* y (- y x)))) (log (/ x (- (* x x) (* y y)))) (log (- x y)) (log x) (log (+ x y)) (log (/ x (+ x y))) (log (log (/ x (+ x y)))) (/ x (+ x y)) (* (cbrt (log (/ x (+ x y)))) (cbrt (log (/ x (+ x y))))) (cbrt (log (/ x (+ x y)))) (pow (log (/ x (+ x y))) 3) (sqrt (log (/ x (+ x y)))) (sqrt (log (/ x (+ x y)))) (expm1 (* x (log (/ x (+ x y))))) (log1p (* x (log (/ x (+ x y))))) (* x (log (/ x (+ x y)))) (log (* x (log (/ x (+ x y))))) (log (* x (log (/ x (+ x y))))) (pow (/ x (+ x y)) x) (pow (* x (log (/ x (+ x y)))) 3) (* (cbrt (* x (log (/ x (+ x y))))) (cbrt (* x (log (/ x (+ x y)))))) (cbrt (* x (log (/ x (+ x y))))) (pow (* x (log (/ x (+ x y)))) 3) (sqrt (* x (log (/ x (+ x y))))) (sqrt (* x (log (/ x (+ x y))))) (* (sqrt x) (sqrt (log (/ x (+ x y))))) (* (sqrt x) (sqrt (log (/ x (+ x y))))) (* (* 2 (log (cbrt (/ x (+ x y))))) x) (* (log (cbrt (/ x (+ x y)))) x) (* (log (sqrt (/ x (+ x y)))) x) (* (log (sqrt (/ x (+ x y)))) x) (* x (* 2 (log (/ (cbrt x) (cbrt (+ x y)))))) (* (log (/ (cbrt x) (cbrt (+ x y)))) x) (* x (log (/ (* (cbrt x) (cbrt x)) (sqrt (+ x y))))) (* x (log (/ (cbrt x) (sqrt (+ x y))))) (* x (* 2 (log (cbrt x)))) (* x (log (/ (cbrt x) (+ x y)))) (* x (* 2 (log (cbrt x)))) (* x (log (/ (cbrt x) (+ x y)))) (* (- (log (sqrt x)) (* 2 (log (cbrt (+ x y))))) x) (* (log (/ (sqrt x) (cbrt (+ x y)))) x) (* (log (/ (sqrt x) (sqrt (+ x y)))) x) (* (log (/ (sqrt x) (sqrt (+ x y)))) x) (* x (log (sqrt x))) (* x (log (/ (sqrt x) (+ x y)))) (* x (log (sqrt x))) (* x (log (/ (sqrt x) (+ x y)))) (* x (* -2 (log (cbrt (+ x y))))) (* (log (/ x (cbrt (+ x y)))) x) (* (- (log (sqrt (+ x y)))) x) (* (log (/ x (sqrt (+ x y)))) x) 0 (* x (log (/ x (+ x y)))) 0 (* x (log (/ x (+ x y)))) 0 (* x (log (/ x (+ x y)))) (* x (log x)) (* (- (log (+ x y))) x) (* x (log (/ x (+ (pow x 3) (pow y 3))))) (* x (log (fma x x (* y (- y x))))) (* (log (/ x (- (* x x) (* y y)))) x) (* x (log (- x y))) (* (* 2 (log (cbrt (/ x (+ x y))))) x) (* (log (cbrt (/ x (+ x y)))) x) (* (log (sqrt (/ x (+ x y)))) x) (* (log (sqrt (/ x (+ x y)))) x) (* x (* 2 (log (/ (cbrt x) (cbrt (+ x y)))))) (* (log (/ (cbrt x) (cbrt (+ x y)))) x) (* x (log (/ (* (cbrt x) (cbrt x)) (sqrt (+ x y))))) (* x (log (/ (cbrt x) (sqrt (+ x y))))) (* x (* 2 (log (cbrt x)))) (* x (log (/ (cbrt x) (+ x y)))) (* x (* 2 (log (cbrt x)))) (* x (log (/ (cbrt x) (+ x y)))) (* (- (log (sqrt x)) (* 2 (log (cbrt (+ x y))))) x) (* (log (/ (sqrt x) (cbrt (+ x y)))) x) (* (log (/ (sqrt x) (sqrt (+ x y)))) x) (* (log (/ (sqrt x) (sqrt (+ x y)))) x) (* x (log (sqrt x))) (* x (log (/ (sqrt x) (+ x y)))) (* x (log (sqrt x))) (* x (log (/ (sqrt x) (+ x y)))) (* x (* -2 (log (cbrt (+ x y))))) (* (log (/ x (cbrt (+ x y)))) x) (* (- (log (sqrt (+ x y)))) x) (* (log (/ x (sqrt (+ x y)))) x) 0 (* x (log (/ x (+ x y)))) 0 (* x (log (/ x (+ x y)))) 0 (* x (log (/ x (+ x y)))) (* x (log x)) (* (- (log (+ x y))) x) (* x (log (/ x (+ (pow x 3) (pow y 3))))) (* x (log (fma x x (* y (- y x))))) (* (log (/ x (- (* x x) (* y y)))) x) (* x (log (- x y))) x (* x (* (cbrt (log (/ x (+ x y)))) (cbrt (log (/ x (+ x y)))))) (* x (sqrt (log (/ x (+ x y))))) x (* (cbrt x) (log (/ x (+ x y)))) (* (sqrt x) (log (/ x (+ x y)))) (* x (log (/ x (+ x y)))) (expm1 (/ x (+ x y))) (log1p (/ x (+ x y))) (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))) (- (log x) (log y)) 0 0 (* x (- (log x) (log y))) 0 0 0 0 0 4.403 * * * [progress]: adding candidates to table 4.681 * * [progress]: iteration 2 / 4 4.681 * * * [progress]: picking best candidate 4.693 * * * * [pick]: Picked # 4.693 * * * [progress]: localizing error 4.708 * * * [progress]: generating rewritten candidates 4.708 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 1) 4.714 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 2) 4.720 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1) 4.720 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2 2 1 1) 4.732 * * * [progress]: generating series expansions 4.732 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 1) 4.732 * [approximate]: Taking taylor expansion of (log (pow (/ x (+ x y)) 1/3)) in (x y) around 0 4.732 * [taylor]: Taking taylor expansion of (log (pow (/ x (+ x y)) 1/3)) in y 4.732 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) 1/3) in y 4.732 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x (+ x y))))) in y 4.732 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x (+ x y)))) in y 4.732 * [taylor]: Taking taylor expansion of 1/3 in y 4.732 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in y 4.732 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in y 4.732 * [taylor]: Taking taylor expansion of x in y 4.732 * [taylor]: Taking taylor expansion of (+ x y) in y 4.732 * [taylor]: Taking taylor expansion of x in y 4.732 * [taylor]: Taking taylor expansion of y in y 4.734 * [taylor]: Taking taylor expansion of (log (pow (/ x (+ x y)) 1/3)) in x 4.734 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) 1/3) in x 4.734 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x (+ x y))))) in x 4.734 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x (+ x y)))) in x 4.734 * [taylor]: Taking taylor expansion of 1/3 in x 4.734 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 4.734 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 4.734 * [taylor]: Taking taylor expansion of x in x 4.734 * [taylor]: Taking taylor expansion of (+ x y) in x 4.734 * [taylor]: Taking taylor expansion of x in x 4.734 * [taylor]: Taking taylor expansion of y in x 4.735 * [taylor]: Taking taylor expansion of (log (pow (/ x (+ x y)) 1/3)) in x 4.735 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) 1/3) in x 4.735 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x (+ x y))))) in x 4.735 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x (+ x y)))) in x 4.735 * [taylor]: Taking taylor expansion of 1/3 in x 4.735 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 4.735 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 4.735 * [taylor]: Taking taylor expansion of x in x 4.735 * [taylor]: Taking taylor expansion of (+ x y) in x 4.735 * [taylor]: Taking taylor expansion of x in x 4.735 * [taylor]: Taking taylor expansion of y in x 4.736 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (/ 1 y)))) in y 4.736 * [taylor]: Taking taylor expansion of 1/3 in y 4.736 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 4.736 * [taylor]: Taking taylor expansion of (log x) in y 4.736 * [taylor]: Taking taylor expansion of x in y 4.736 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.736 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.736 * [taylor]: Taking taylor expansion of y in y 4.739 * [taylor]: Taking taylor expansion of (/ -1/3 y) in y 4.739 * [taylor]: Taking taylor expansion of -1/3 in y 4.739 * [taylor]: Taking taylor expansion of y in y 4.744 * [taylor]: Taking taylor expansion of (/ 1/6 (pow y 2)) in y 4.744 * [taylor]: Taking taylor expansion of 1/6 in y 4.744 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.744 * [taylor]: Taking taylor expansion of y in y 4.755 * [taylor]: Taking taylor expansion of (/ -1/9 (pow y 3)) in y 4.755 * [taylor]: Taking taylor expansion of -1/9 in y 4.755 * [taylor]: Taking taylor expansion of (pow y 3) in y 4.755 * [taylor]: Taking taylor expansion of y in y 4.761 * [approximate]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in (x y) around 0 4.761 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in y 4.761 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in y 4.761 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in y 4.761 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in y 4.761 * [taylor]: Taking taylor expansion of 1/3 in y 4.761 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 4.761 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 4.761 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 4.761 * [taylor]: Taking taylor expansion of x in y 4.761 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 4.761 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.761 * [taylor]: Taking taylor expansion of y in y 4.762 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.762 * [taylor]: Taking taylor expansion of x in y 4.763 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in x 4.763 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in x 4.763 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 4.763 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 4.763 * [taylor]: Taking taylor expansion of 1/3 in x 4.763 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 4.763 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 4.763 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 4.763 * [taylor]: Taking taylor expansion of x in x 4.763 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 4.763 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.763 * [taylor]: Taking taylor expansion of y in x 4.763 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.763 * [taylor]: Taking taylor expansion of x in x 4.768 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in x 4.768 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in x 4.768 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 4.768 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 4.768 * [taylor]: Taking taylor expansion of 1/3 in x 4.768 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 4.768 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 4.768 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 4.768 * [taylor]: Taking taylor expansion of x in x 4.768 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 4.768 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.768 * [taylor]: Taking taylor expansion of y in x 4.768 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.768 * [taylor]: Taking taylor expansion of x in x 4.773 * [taylor]: Taking taylor expansion of 0 in y 4.773 * [taylor]: Taking taylor expansion of (/ -1/3 y) in y 4.773 * [taylor]: Taking taylor expansion of -1/3 in y 4.773 * [taylor]: Taking taylor expansion of y in y 4.779 * [taylor]: Taking taylor expansion of (/ 1/6 (pow y 2)) in y 4.779 * [taylor]: Taking taylor expansion of 1/6 in y 4.779 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.779 * [taylor]: Taking taylor expansion of y in y 4.782 * [approximate]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in (x y) around 0 4.782 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in y 4.782 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in y 4.782 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in y 4.782 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in y 4.782 * [taylor]: Taking taylor expansion of 1/3 in y 4.782 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 4.782 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 4.782 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 4.782 * [taylor]: Taking taylor expansion of x in y 4.782 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 4.782 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.782 * [taylor]: Taking taylor expansion of y in y 4.783 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.783 * [taylor]: Taking taylor expansion of x in y 4.784 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in x 4.784 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in x 4.784 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 4.784 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 4.784 * [taylor]: Taking taylor expansion of 1/3 in x 4.784 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 4.784 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 4.784 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 4.784 * [taylor]: Taking taylor expansion of x in x 4.784 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 4.784 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.784 * [taylor]: Taking taylor expansion of y in x 4.784 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.784 * [taylor]: Taking taylor expansion of x in x 4.788 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in x 4.788 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in x 4.788 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 4.788 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 4.788 * [taylor]: Taking taylor expansion of 1/3 in x 4.788 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 4.789 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 4.789 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 4.789 * [taylor]: Taking taylor expansion of x in x 4.789 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 4.789 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.789 * [taylor]: Taking taylor expansion of y in x 4.789 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.789 * [taylor]: Taking taylor expansion of x in x 4.793 * [taylor]: Taking taylor expansion of 0 in y 4.794 * [taylor]: Taking taylor expansion of (/ -1/3 y) in y 4.794 * [taylor]: Taking taylor expansion of -1/3 in y 4.794 * [taylor]: Taking taylor expansion of y in y 4.799 * [taylor]: Taking taylor expansion of (/ 1/6 (pow y 2)) in y 4.799 * [taylor]: Taking taylor expansion of 1/6 in y 4.799 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.799 * [taylor]: Taking taylor expansion of y in y 4.802 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 2) 4.802 * [approximate]: Taking taylor expansion of (log (pow (/ x (+ x y)) 1/3)) in (x y) around 0 4.802 * [taylor]: Taking taylor expansion of (log (pow (/ x (+ x y)) 1/3)) in y 4.802 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) 1/3) in y 4.802 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x (+ x y))))) in y 4.802 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x (+ x y)))) in y 4.802 * [taylor]: Taking taylor expansion of 1/3 in y 4.802 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in y 4.802 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in y 4.802 * [taylor]: Taking taylor expansion of x in y 4.802 * [taylor]: Taking taylor expansion of (+ x y) in y 4.802 * [taylor]: Taking taylor expansion of x in y 4.803 * [taylor]: Taking taylor expansion of y in y 4.804 * [taylor]: Taking taylor expansion of (log (pow (/ x (+ x y)) 1/3)) in x 4.804 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) 1/3) in x 4.804 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x (+ x y))))) in x 4.804 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x (+ x y)))) in x 4.804 * [taylor]: Taking taylor expansion of 1/3 in x 4.804 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 4.804 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 4.804 * [taylor]: Taking taylor expansion of x in x 4.804 * [taylor]: Taking taylor expansion of (+ x y) in x 4.804 * [taylor]: Taking taylor expansion of x in x 4.805 * [taylor]: Taking taylor expansion of y in x 4.805 * [taylor]: Taking taylor expansion of (log (pow (/ x (+ x y)) 1/3)) in x 4.805 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) 1/3) in x 4.805 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x (+ x y))))) in x 4.805 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x (+ x y)))) in x 4.805 * [taylor]: Taking taylor expansion of 1/3 in x 4.805 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 4.805 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 4.805 * [taylor]: Taking taylor expansion of x in x 4.805 * [taylor]: Taking taylor expansion of (+ x y) in x 4.806 * [taylor]: Taking taylor expansion of x in x 4.806 * [taylor]: Taking taylor expansion of y in x 4.806 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (/ 1 y)))) in y 4.806 * [taylor]: Taking taylor expansion of 1/3 in y 4.806 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 4.806 * [taylor]: Taking taylor expansion of (log x) in y 4.806 * [taylor]: Taking taylor expansion of x in y 4.806 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.806 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.806 * [taylor]: Taking taylor expansion of y in y 4.809 * [taylor]: Taking taylor expansion of (/ -1/3 y) in y 4.809 * [taylor]: Taking taylor expansion of -1/3 in y 4.809 * [taylor]: Taking taylor expansion of y in y 4.815 * [taylor]: Taking taylor expansion of (/ 1/6 (pow y 2)) in y 4.815 * [taylor]: Taking taylor expansion of 1/6 in y 4.815 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.815 * [taylor]: Taking taylor expansion of y in y 4.830 * [taylor]: Taking taylor expansion of (/ -1/9 (pow y 3)) in y 4.830 * [taylor]: Taking taylor expansion of -1/9 in y 4.830 * [taylor]: Taking taylor expansion of (pow y 3) in y 4.831 * [taylor]: Taking taylor expansion of y in y 4.836 * [approximate]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in (x y) around 0 4.836 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in y 4.836 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in y 4.836 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in y 4.836 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in y 4.836 * [taylor]: Taking taylor expansion of 1/3 in y 4.836 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 4.836 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 4.836 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 4.836 * [taylor]: Taking taylor expansion of x in y 4.836 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 4.836 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.836 * [taylor]: Taking taylor expansion of y in y 4.837 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.837 * [taylor]: Taking taylor expansion of x in y 4.837 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in x 4.838 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in x 4.838 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 4.838 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 4.838 * [taylor]: Taking taylor expansion of 1/3 in x 4.838 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 4.838 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 4.838 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 4.838 * [taylor]: Taking taylor expansion of x in x 4.838 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 4.838 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.838 * [taylor]: Taking taylor expansion of y in x 4.838 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.838 * [taylor]: Taking taylor expansion of x in x 4.842 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in x 4.842 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in x 4.842 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 4.842 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 4.842 * [taylor]: Taking taylor expansion of 1/3 in x 4.842 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 4.842 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 4.842 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 4.842 * [taylor]: Taking taylor expansion of x in x 4.842 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 4.842 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.842 * [taylor]: Taking taylor expansion of y in x 4.843 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.843 * [taylor]: Taking taylor expansion of x in x 4.847 * [taylor]: Taking taylor expansion of 0 in y 4.848 * [taylor]: Taking taylor expansion of (/ -1/3 y) in y 4.848 * [taylor]: Taking taylor expansion of -1/3 in y 4.848 * [taylor]: Taking taylor expansion of y in y 4.853 * [taylor]: Taking taylor expansion of (/ 1/6 (pow y 2)) in y 4.853 * [taylor]: Taking taylor expansion of 1/6 in y 4.853 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.853 * [taylor]: Taking taylor expansion of y in y 4.856 * [approximate]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in (x y) around 0 4.856 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in y 4.856 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in y 4.857 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in y 4.857 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in y 4.857 * [taylor]: Taking taylor expansion of 1/3 in y 4.857 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 4.857 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 4.857 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 4.857 * [taylor]: Taking taylor expansion of x in y 4.857 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 4.857 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.857 * [taylor]: Taking taylor expansion of y in y 4.857 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.857 * [taylor]: Taking taylor expansion of x in y 4.858 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in x 4.858 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in x 4.858 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 4.858 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 4.858 * [taylor]: Taking taylor expansion of 1/3 in x 4.858 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 4.858 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 4.858 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 4.858 * [taylor]: Taking taylor expansion of x in x 4.858 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 4.858 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.858 * [taylor]: Taking taylor expansion of y in x 4.858 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.858 * [taylor]: Taking taylor expansion of x in x 4.863 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in x 4.863 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in x 4.863 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 4.863 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 4.863 * [taylor]: Taking taylor expansion of 1/3 in x 4.863 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 4.863 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 4.863 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 4.863 * [taylor]: Taking taylor expansion of x in x 4.863 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 4.863 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.863 * [taylor]: Taking taylor expansion of y in x 4.863 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.863 * [taylor]: Taking taylor expansion of x in x 4.868 * [taylor]: Taking taylor expansion of 0 in y 4.868 * [taylor]: Taking taylor expansion of (/ -1/3 y) in y 4.868 * [taylor]: Taking taylor expansion of -1/3 in y 4.868 * [taylor]: Taking taylor expansion of y in y 4.874 * [taylor]: Taking taylor expansion of (/ 1/6 (pow y 2)) in y 4.874 * [taylor]: Taking taylor expansion of 1/6 in y 4.874 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.874 * [taylor]: Taking taylor expansion of y in y 4.877 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 1 1) 4.877 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 4.877 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.877 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.877 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.877 * [taylor]: Taking taylor expansion of 1/3 in x 4.877 * [taylor]: Taking taylor expansion of (log x) in x 4.877 * [taylor]: Taking taylor expansion of x in x 4.878 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.878 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.878 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.878 * [taylor]: Taking taylor expansion of 1/3 in x 4.878 * [taylor]: Taking taylor expansion of (log x) in x 4.878 * [taylor]: Taking taylor expansion of x in x 4.931 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 4.931 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.931 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.931 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.931 * [taylor]: Taking taylor expansion of 1/3 in x 4.931 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.931 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.932 * [taylor]: Taking taylor expansion of x in x 4.932 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.932 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.932 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.932 * [taylor]: Taking taylor expansion of 1/3 in x 4.932 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.932 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.933 * [taylor]: Taking taylor expansion of x in x 4.992 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 4.992 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.992 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.992 * [taylor]: Taking taylor expansion of -1 in x 4.993 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.993 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.993 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.993 * [taylor]: Taking taylor expansion of 1/3 in x 4.993 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.993 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.993 * [taylor]: Taking taylor expansion of x in x 4.994 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.994 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.994 * [taylor]: Taking taylor expansion of -1 in x 4.994 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.994 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.994 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.994 * [taylor]: Taking taylor expansion of 1/3 in x 4.994 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.995 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.995 * [taylor]: Taking taylor expansion of x in x 5.058 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2 2 1 1) 5.058 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 5.058 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 5.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 5.059 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 5.059 * [taylor]: Taking taylor expansion of 1/3 in x 5.059 * [taylor]: Taking taylor expansion of (log x) in x 5.059 * [taylor]: Taking taylor expansion of x in x 5.059 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 5.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 5.059 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 5.059 * [taylor]: Taking taylor expansion of 1/3 in x 5.059 * [taylor]: Taking taylor expansion of (log x) in x 5.059 * [taylor]: Taking taylor expansion of x in x 5.115 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 5.115 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.115 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.115 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.115 * [taylor]: Taking taylor expansion of 1/3 in x 5.115 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.115 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.115 * [taylor]: Taking taylor expansion of x in x 5.116 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.116 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.116 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.116 * [taylor]: Taking taylor expansion of 1/3 in x 5.116 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.116 * [taylor]: Taking taylor expansion of x in x 5.174 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 5.174 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 5.174 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.174 * [taylor]: Taking taylor expansion of -1 in x 5.175 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.175 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.175 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.175 * [taylor]: Taking taylor expansion of 1/3 in x 5.175 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.175 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.175 * [taylor]: Taking taylor expansion of x in x 5.176 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 5.176 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.176 * [taylor]: Taking taylor expansion of -1 in x 5.176 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.176 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.176 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.176 * [taylor]: Taking taylor expansion of 1/3 in x 5.176 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.177 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.177 * [taylor]: Taking taylor expansion of x in x 5.245 * * * [progress]: simplifying candidates 5.248 * [simplify]: Simplifying using # : (expm1 (log (/ (cbrt x) (cbrt (+ x y))))) (log1p (log (/ (cbrt x) (cbrt (+ x y))))) (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))))) (expm1 (log (/ (cbrt x) (cbrt (+ x y))))) (log1p (log (/ (cbrt x) (cbrt (+ x y))))) (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))))) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (* 1/3 (- (log x) (log y))) 0 0 (* 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)) 5.253 * * [simplify]: iteration 0 : 177 enodes (cost 2306 ) 5.284 * * [simplify]: iteration 1 : 316 enodes (cost 2146 ) 5.326 * * [simplify]: iteration 2 : 573 enodes (cost 2060 ) 5.447 * * [simplify]: iteration 3 : 1243 enodes (cost 1986 ) 5.833 * * [simplify]: iteration 4 : 2666 enodes (cost 1982 ) 6.329 * * [simplify]: iteration done : 5001 enodes (cost 1982 ) 6.330 * [simplify]: Simplified to: (expm1 (log (/ (cbrt x) (cbrt (+ x y))))) (log1p (log (/ (cbrt x) (cbrt (+ x y))))) (* 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)))) (* -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 (* (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)))) (* -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 (fma x x (* y (- y 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))))) (expm1 (log (/ (cbrt x) (cbrt (+ x y))))) (log1p (log (/ (cbrt x) (cbrt (+ x y))))) (* 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)))) (* -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 (* (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)))) (* -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 (fma x x (* y (- y 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))))) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (* 1/3 (- (log x) (log y))) 0 0 (* 1/3 (- (log x) (log y))) 0 0 (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) 6.331 * * * [progress]: adding candidates to table 6.897 * * [progress]: iteration 3 / 4 6.897 * * * [progress]: picking best candidate 6.913 * * * * [pick]: Picked # 6.913 * * * [progress]: localizing error 6.927 * * * [progress]: generating rewritten candidates 6.927 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2) 6.936 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1) 6.942 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 1 2 2) 6.943 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1 2) 6.948 * * * [progress]: generating series expansions 6.948 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2) 6.948 * [approximate]: Taking taylor expansion of (log (/ x (+ x y))) in (x y) around 0 6.948 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in y 6.948 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in y 6.948 * [taylor]: Taking taylor expansion of x in y 6.948 * [taylor]: Taking taylor expansion of (+ x y) in y 6.948 * [taylor]: Taking taylor expansion of x in y 6.948 * [taylor]: Taking taylor expansion of y in y 6.949 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 6.949 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 6.949 * [taylor]: Taking taylor expansion of x in x 6.949 * [taylor]: Taking taylor expansion of (+ x y) in x 6.949 * [taylor]: Taking taylor expansion of x in x 6.949 * [taylor]: Taking taylor expansion of y in x 6.949 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 6.949 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 6.949 * [taylor]: Taking taylor expansion of x in x 6.949 * [taylor]: Taking taylor expansion of (+ x y) in x 6.949 * [taylor]: Taking taylor expansion of x in x 6.949 * [taylor]: Taking taylor expansion of y in x 6.950 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 6.950 * [taylor]: Taking taylor expansion of (log x) in y 6.950 * [taylor]: Taking taylor expansion of x in y 6.950 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.950 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.950 * [taylor]: Taking taylor expansion of y in y 6.951 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.951 * [taylor]: Taking taylor expansion of -1 in y 6.951 * [taylor]: Taking taylor expansion of y in y 6.955 * [taylor]: Taking taylor expansion of (/ 1/2 (pow y 2)) in y 6.955 * [taylor]: Taking taylor expansion of 1/2 in y 6.955 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.955 * [taylor]: Taking taylor expansion of y in y 6.963 * [taylor]: Taking taylor expansion of (/ -1/3 (pow y 3)) in y 6.963 * [taylor]: Taking taylor expansion of -1/3 in y 6.963 * [taylor]: Taking taylor expansion of (pow y 3) in y 6.963 * [taylor]: Taking taylor expansion of y in y 6.968 * [approximate]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in (x y) around 0 6.969 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 6.969 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 6.969 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 6.969 * [taylor]: Taking taylor expansion of x in y 6.969 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 6.969 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.969 * [taylor]: Taking taylor expansion of y in y 6.969 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.969 * [taylor]: Taking taylor expansion of x in y 6.969 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 6.969 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 6.969 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 6.969 * [taylor]: Taking taylor expansion of x in x 6.969 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 6.969 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.969 * [taylor]: Taking taylor expansion of y in x 6.969 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.970 * [taylor]: Taking taylor expansion of x in x 6.971 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 6.971 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 6.972 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 6.972 * [taylor]: Taking taylor expansion of x in x 6.972 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 6.972 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.972 * [taylor]: Taking taylor expansion of y in x 6.972 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.972 * [taylor]: Taking taylor expansion of x in x 6.974 * [taylor]: Taking taylor expansion of 0 in y 6.976 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.976 * [taylor]: Taking taylor expansion of -1 in y 6.976 * [taylor]: Taking taylor expansion of y in y 6.980 * [taylor]: Taking taylor expansion of (/ 1/2 (pow y 2)) in y 6.980 * [taylor]: Taking taylor expansion of 1/2 in y 6.980 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.980 * [taylor]: Taking taylor expansion of y in y 6.983 * [approximate]: Taking taylor expansion of (log (* -1 (/ (pow (cbrt -1) 3) (* x (+ (/ 1 y) (/ 1 x)))))) in (x y) around 0 6.983 * [taylor]: Taking taylor expansion of (log (* -1 (/ (pow (cbrt -1) 3) (* x (+ (/ 1 y) (/ 1 x)))))) in y 6.983 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (cbrt -1) 3) (* x (+ (/ 1 y) (/ 1 x))))) in y 6.983 * [taylor]: Taking taylor expansion of -1 in y 6.983 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* x (+ (/ 1 y) (/ 1 x)))) in y 6.984 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 6.984 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.984 * [taylor]: Taking taylor expansion of -1 in y 6.984 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 6.984 * [taylor]: Taking taylor expansion of x in y 6.984 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 6.984 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.984 * [taylor]: Taking taylor expansion of y in y 6.985 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.985 * [taylor]: Taking taylor expansion of x in y 6.988 * [taylor]: Taking taylor expansion of (log (* -1 (/ (pow (cbrt -1) 3) (* x (+ (/ 1 y) (/ 1 x)))))) in x 6.988 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (cbrt -1) 3) (* x (+ (/ 1 y) (/ 1 x))))) in x 6.988 * [taylor]: Taking taylor expansion of -1 in x 6.988 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* x (+ (/ 1 y) (/ 1 x)))) in x 6.988 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x 6.988 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.988 * [taylor]: Taking taylor expansion of -1 in x 6.994 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 6.994 * [taylor]: Taking taylor expansion of x in x 6.994 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 6.994 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.994 * [taylor]: Taking taylor expansion of y in x 6.994 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.994 * [taylor]: Taking taylor expansion of x in x 7.000 * [taylor]: Taking taylor expansion of (log (* -1 (/ (pow (cbrt -1) 3) (* x (+ (/ 1 y) (/ 1 x)))))) in x 7.000 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (cbrt -1) 3) (* x (+ (/ 1 y) (/ 1 x))))) in x 7.000 * [taylor]: Taking taylor expansion of -1 in x 7.000 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 3) (* x (+ (/ 1 y) (/ 1 x)))) in x 7.000 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x 7.000 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.000 * [taylor]: Taking taylor expansion of -1 in x 7.000 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 7.000 * [taylor]: Taking taylor expansion of x in x 7.000 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 7.000 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.001 * [taylor]: Taking taylor expansion of y in x 7.001 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.001 * [taylor]: Taking taylor expansion of x in x 7.006 * [taylor]: Taking taylor expansion of 0 in y 7.009 * [taylor]: Taking taylor expansion of (/ -1 y) in y 7.009 * [taylor]: Taking taylor expansion of -1 in y 7.009 * [taylor]: Taking taylor expansion of y in y 7.016 * [taylor]: Taking taylor expansion of (/ 1/2 (pow y 2)) in y 7.016 * [taylor]: Taking taylor expansion of 1/2 in y 7.016 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.016 * [taylor]: Taking taylor expansion of y in y 7.019 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1) 7.019 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/3) in (x) around 0 7.019 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 7.019 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 7.019 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 7.019 * [taylor]: Taking taylor expansion of 1/3 in x 7.019 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 7.019 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.019 * [taylor]: Taking taylor expansion of x in x 7.020 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 7.020 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 7.020 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 7.020 * [taylor]: Taking taylor expansion of 1/3 in x 7.020 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 7.020 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.020 * [taylor]: Taking taylor expansion of x in x 7.079 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0 7.079 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 7.079 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 7.079 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 7.079 * [taylor]: Taking taylor expansion of 1/3 in x 7.079 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 7.079 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 7.079 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.079 * [taylor]: Taking taylor expansion of x in x 7.080 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 7.081 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 7.081 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 7.081 * [taylor]: Taking taylor expansion of 1/3 in x 7.081 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 7.081 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 7.081 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.081 * [taylor]: Taking taylor expansion of x in x 7.137 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in (x) around 0 7.137 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x 7.137 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 7.137 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.137 * [taylor]: Taking taylor expansion of -1 in x 7.138 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 7.138 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 7.138 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 7.138 * [taylor]: Taking taylor expansion of 1/3 in x 7.138 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 7.138 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 7.138 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.138 * [taylor]: Taking taylor expansion of x in x 7.139 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x 7.139 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 7.139 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.139 * [taylor]: Taking taylor expansion of -1 in x 7.140 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 7.140 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 7.140 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 7.140 * [taylor]: Taking taylor expansion of 1/3 in x 7.140 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 7.140 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 7.140 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.140 * [taylor]: Taking taylor expansion of x in x 7.221 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 1 2 2) 7.222 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 7.222 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 7.222 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 7.222 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 7.222 * [taylor]: Taking taylor expansion of 1/3 in x 7.222 * [taylor]: Taking taylor expansion of (log x) in x 7.222 * [taylor]: Taking taylor expansion of x in x 7.222 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 7.222 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 7.222 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 7.222 * [taylor]: Taking taylor expansion of 1/3 in x 7.222 * [taylor]: Taking taylor expansion of (log x) in x 7.222 * [taylor]: Taking taylor expansion of x in x 7.278 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 7.278 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.279 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.279 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.279 * [taylor]: Taking taylor expansion of 1/3 in x 7.279 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.279 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.279 * [taylor]: Taking taylor expansion of x in x 7.279 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.280 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.280 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.280 * [taylor]: Taking taylor expansion of 1/3 in x 7.280 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.280 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.280 * [taylor]: Taking taylor expansion of x in x 7.528 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 7.528 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 7.528 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.528 * [taylor]: Taking taylor expansion of -1 in x 7.529 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.529 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.529 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.529 * [taylor]: Taking taylor expansion of 1/3 in x 7.529 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.529 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.529 * [taylor]: Taking taylor expansion of x in x 7.530 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 7.530 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.530 * [taylor]: Taking taylor expansion of -1 in x 7.530 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.531 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.531 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.531 * [taylor]: Taking taylor expansion of 1/3 in x 7.531 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.531 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.531 * [taylor]: Taking taylor expansion of x in x 7.598 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1 2) 7.598 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 7.598 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 7.598 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 7.598 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 7.598 * [taylor]: Taking taylor expansion of 1/3 in x 7.598 * [taylor]: Taking taylor expansion of (log x) in x 7.598 * [taylor]: Taking taylor expansion of x in x 7.599 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 7.599 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 7.599 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 7.599 * [taylor]: Taking taylor expansion of 1/3 in x 7.599 * [taylor]: Taking taylor expansion of (log x) in x 7.599 * [taylor]: Taking taylor expansion of x in x 7.648 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 7.649 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.649 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.649 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.649 * [taylor]: Taking taylor expansion of 1/3 in x 7.649 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.649 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.649 * [taylor]: Taking taylor expansion of x in x 7.650 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.650 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.650 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.650 * [taylor]: Taking taylor expansion of 1/3 in x 7.650 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.650 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.650 * [taylor]: Taking taylor expansion of x in x 7.705 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 7.705 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 7.705 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.705 * [taylor]: Taking taylor expansion of -1 in x 7.706 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.706 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.706 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.706 * [taylor]: Taking taylor expansion of 1/3 in x 7.706 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.706 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.706 * [taylor]: Taking taylor expansion of x in x 7.707 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 7.707 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.707 * [taylor]: Taking taylor expansion of -1 in x 7.708 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.708 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.708 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.708 * [taylor]: Taking taylor expansion of 1/3 in x 7.708 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.708 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.708 * [taylor]: Taking taylor expansion of x in x 7.775 * * * [progress]: simplifying candidates 7.777 * [simplify]: Simplifying using # : (expm1 (log (/ (* (cbrt x) (cbrt x)) (/ (+ x y) (cbrt x))))) (log1p (log (/ (* (cbrt x) (cbrt x)) (/ (+ x y) (cbrt x))))) (log (* (cbrt (/ (* (cbrt x) (cbrt x)) (/ (+ x y) (cbrt x)))) (cbrt (/ (* (cbrt x) (cbrt x)) (/ (+ x y) (cbrt x)))))) (log (cbrt (/ (* (cbrt x) (cbrt x)) (/ (+ x y) (cbrt x))))) (log (sqrt (/ (* (cbrt x) (cbrt x)) (/ (+ x y) (cbrt x))))) (log (sqrt (/ (* (cbrt x) (cbrt x)) (/ (+ x y) (cbrt x))))) (log (/ (cbrt x) (* (cbrt (/ (+ x y) (cbrt x))) (cbrt (/ (+ x y) (cbrt x)))))) (log (/ (cbrt x) (cbrt (/ (+ x y) (cbrt x))))) (log (/ (cbrt x) (sqrt (/ (+ x y) (cbrt x))))) (log (/ (cbrt x) (sqrt (/ (+ x y) (cbrt x))))) (log (/ (cbrt x) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (cbrt (* (cbrt x) (cbrt x)))))) (log (/ (cbrt x) (/ (cbrt (+ x y)) (cbrt (cbrt x))))) (log (/ (cbrt x) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (cbrt (sqrt x))))) (log (/ (cbrt x) (/ (cbrt (+ x y)) (cbrt (sqrt x))))) (log (/ (cbrt x) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (cbrt 1)))) (log (/ (cbrt x) (/ (cbrt (+ x y)) (cbrt x)))) (log (/ (cbrt x) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))) (log (/ (cbrt x) (/ (cbrt (+ x y)) (cbrt (cbrt x))))) (log (/ (cbrt x) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (sqrt (cbrt x))))) (log (/ (cbrt x) (/ (cbrt (+ x y)) (sqrt (cbrt x))))) (log (/ (cbrt x) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) 1))) (log (/ (cbrt x) (/ (cbrt (+ x y)) (cbrt x)))) (log (/ (cbrt x) (/ (sqrt (+ x y)) (cbrt (* (cbrt x) (cbrt x)))))) (log (/ (cbrt x) (/ (sqrt (+ x y)) (cbrt (cbrt x))))) (log (/ (cbrt x) (/ (sqrt (+ x y)) (cbrt (sqrt x))))) (log (/ (cbrt x) (/ (sqrt (+ x y)) (cbrt (sqrt x))))) (log (/ (cbrt x) (/ (sqrt (+ x y)) (cbrt 1)))) (log (/ (cbrt x) (/ (sqrt (+ x y)) (cbrt x)))) (log (/ (cbrt x) (/ (sqrt (+ x y)) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))) (log (/ (cbrt x) (/ (sqrt (+ x y)) (cbrt (cbrt x))))) (log (/ (cbrt x) (/ (sqrt (+ x y)) (sqrt (cbrt x))))) (log (/ (cbrt x) (/ (sqrt (+ x y)) (sqrt (cbrt x))))) (log (/ (cbrt x) (/ (sqrt (+ x y)) 1))) (log (/ (cbrt x) (/ (sqrt (+ x y)) (cbrt x)))) (log (/ (cbrt x) (/ 1 (cbrt (* (cbrt x) (cbrt x)))))) (log (/ (cbrt x) (/ (+ x y) (cbrt (cbrt x))))) (log (/ (cbrt x) (/ 1 (cbrt (sqrt x))))) (log (/ (cbrt x) (/ (+ x y) (cbrt (sqrt x))))) (log (/ (cbrt x) (/ 1 (cbrt 1)))) (log (/ (cbrt x) (/ (+ x y) (cbrt x)))) (log (/ (cbrt x) (/ 1 (* (cbrt (cbrt x)) (cbrt (cbrt x)))))) (log (/ (cbrt x) (/ (+ x y) (cbrt (cbrt x))))) (log (/ (cbrt x) (/ 1 (sqrt (cbrt x))))) (log (/ (cbrt x) (/ (+ x y) (sqrt (cbrt x))))) (log (/ (cbrt x) (/ 1 1))) (log (/ (cbrt x) (/ (+ x y) (cbrt x)))) (log (/ (cbrt x) (/ 1 (cbrt (* (cbrt x) (cbrt x)))))) (log (/ (cbrt x) (/ (+ x y) (cbrt (cbrt x))))) (log (/ (cbrt x) (/ 1 (cbrt (sqrt x))))) (log (/ (cbrt x) (/ (+ x y) (cbrt (sqrt x))))) (log (/ (cbrt x) (/ 1 (cbrt 1)))) (log (/ (cbrt x) (/ (+ x y) (cbrt x)))) (log (/ (cbrt x) (/ 1 (* (cbrt (cbrt x)) (cbrt (cbrt x)))))) (log (/ (cbrt x) (/ (+ x y) (cbrt (cbrt x))))) (log (/ (cbrt x) (/ 1 (sqrt (cbrt x))))) (log (/ (cbrt x) (/ (+ x y) (sqrt (cbrt x))))) (log (/ (cbrt x) (/ 1 1))) (log (/ (cbrt x) (/ (+ x y) (cbrt x)))) (log (/ (cbrt x) 1)) (log (/ (cbrt x) (/ (+ x y) (cbrt x)))) (log (/ (cbrt x) (+ x y))) (log (/ (cbrt x) (/ 1 (cbrt x)))) (log 1) (log (/ (* (cbrt x) (cbrt x)) (/ (+ x y) (cbrt x)))) (log (* (cbrt x) (cbrt x))) (log (/ 1 (/ (+ x y) (cbrt x)))) (log (/ (* (cbrt x) (cbrt x)) (+ x y))) (log (cbrt x)) (log (* (cbrt x) (cbrt x))) (log (/ (+ x y) (cbrt x))) (log (/ (* (cbrt x) (cbrt x)) (/ (+ x y) (cbrt x)))) (log (log (/ (* (cbrt x) (cbrt x)) (/ (+ x y) (cbrt x))))) (exp (log (/ (* (cbrt x) (cbrt x)) (/ (+ x y) (cbrt x))))) (* (cbrt (log (/ (* (cbrt x) (cbrt x)) (/ (+ x y) (cbrt x))))) (cbrt (log (/ (* (cbrt x) (cbrt x)) (/ (+ x y) (cbrt x)))))) (cbrt (log (/ (* (cbrt x) (cbrt x)) (/ (+ x y) (cbrt x))))) (* (* (log (/ (* (cbrt x) (cbrt x)) (/ (+ x y) (cbrt x)))) (log (/ (* (cbrt x) (cbrt x)) (/ (+ x y) (cbrt x))))) (log (/ (* (cbrt x) (cbrt x)) (/ (+ x y) (cbrt x))))) (sqrt (log (/ (* (cbrt x) (cbrt x)) (/ (+ x y) (cbrt x))))) (sqrt (log (/ (* (cbrt x) (cbrt x)) (/ (+ x y) (cbrt x))))) (expm1 (* (cbrt x) (cbrt x))) (log1p (* (cbrt x) (cbrt x))) (+ 1/3 1/3) (+ 1 1) (* x x) (* (cbrt x) (cbrt x)) (+ 1 1) (+ (log (cbrt x)) (log (cbrt x))) (log (* (cbrt x) (cbrt x))) (exp (* (cbrt x) (cbrt x))) (* x x) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (cbrt (* (cbrt x) (cbrt x))) (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x)) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* 1 1) (* (cbrt x) (cbrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (sqrt (cbrt x))) (* (cbrt (sqrt x)) (sqrt (cbrt x))) (* (sqrt (cbrt x)) (cbrt (sqrt x))) (* (sqrt (cbrt x)) (cbrt (sqrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* 2 1/3) (* 2 1) (* (cbrt x) (cbrt (* (cbrt x) (cbrt x)))) (* (cbrt x) (cbrt (sqrt x))) (* (cbrt x) (cbrt 1)) (* (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (* (cbrt x) (sqrt (cbrt x))) (* (cbrt x) 1) (* (cbrt (cbrt x)) (cbrt x)) (* (cbrt (sqrt x)) (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt (cbrt x)) (cbrt x)) (* (sqrt (cbrt x)) (cbrt x)) (* (cbrt x) (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (- (log x) (log y)) 0 0 (pow x 2/3) (pow (/ 1 x) -2/3) (* (pow (cbrt -1) 2) (pow (pow x 2) 1/3)) (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)) 7.782 * * [simplify]: iteration 0 : 197 enodes (cost 1445 ) 7.830 * * [simplify]: iteration 1 : 380 enodes (cost 1330 ) 7.914 * * [simplify]: iteration 2 : 1286 enodes (cost 1127 ) 8.538 * * [simplify]: iteration done : 5000 enodes (cost 1127 ) 8.539 * [simplify]: Simplified to: (expm1 (log (/ (pow (cbrt x) 3) (+ x y)))) (log1p (log (/ (pow (cbrt x) 3) (+ x y)))) (* 2 (log (cbrt (/ (pow (cbrt x) 3) (+ x y))))) (log (cbrt (/ (pow (cbrt x) 3) (+ x y)))) (log (sqrt (/ (pow (cbrt x) 3) (+ x y)))) (log (sqrt (/ (pow (cbrt x) 3) (+ x y)))) (log (/ (cbrt x) (* (cbrt (/ (+ x y) (cbrt x))) (cbrt (/ (+ x y) (cbrt x)))))) (log (/ (cbrt x) (cbrt (/ (+ x y) (cbrt x))))) (log (/ (cbrt x) (sqrt (/ (+ x y) (cbrt x))))) (log (/ (cbrt x) (sqrt (/ (+ x y) (cbrt x))))) (log (* (/ (cbrt x) (* (cbrt (+ x y)) (cbrt (+ x y)))) (cbrt (pow x 2/3)))) (log (/ (cbrt x) (/ (cbrt (+ x y)) (cbrt (cbrt x))))) (log (/ (cbrt x) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (cbrt (sqrt x))))) (log (/ (cbrt x) (/ (cbrt (+ x y)) (cbrt (sqrt x))))) (log (/ (cbrt x) (* (cbrt (+ x y)) (cbrt (+ x y))))) (log (/ (pow x 2/3) (cbrt (+ x y)))) (log (/ (cbrt x) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))) (log (/ (cbrt x) (/ (cbrt (+ x y)) (cbrt (cbrt x))))) (log (/ (pow (sqrt (cbrt x)) 3) (* (cbrt (+ x y)) (cbrt (+ x y))))) (log (/ (pow (sqrt (cbrt x)) 3) (cbrt (+ x y)))) (log (/ (cbrt x) (* (cbrt (+ x y)) (cbrt (+ x y))))) (log (/ (pow x 2/3) (cbrt (+ x y)))) (log (/ (* (cbrt x) (cbrt (pow x 2/3))) (sqrt (+ x y)))) (log (/ (cbrt x) (/ (sqrt (+ x y)) (cbrt (cbrt x))))) (log (/ (cbrt x) (/ (sqrt (+ x y)) (cbrt (sqrt x))))) (log (/ (cbrt x) (/ (sqrt (+ x y)) (cbrt (sqrt x))))) (log (/ (cbrt x) (sqrt (+ x y)))) (log (/ (pow x 2/3) (sqrt (+ x y)))) (log (/ (cbrt x) (/ (sqrt (+ x y)) (* (cbrt (cbrt x)) (cbrt (cbrt x)))))) (log (/ (cbrt x) (/ (sqrt (+ x y)) (cbrt (cbrt x))))) (log (/ (pow (sqrt (cbrt x)) 3) (sqrt (+ x y)))) (log (/ (pow (sqrt (cbrt x)) 3) (sqrt (+ x y)))) (log (/ (cbrt x) (sqrt (+ x y)))) (log (/ (pow x 2/3) (sqrt (+ x y)))) (log (* (cbrt x) (cbrt (pow x 2/3)))) (log (/ (cbrt x) (/ (+ x y) (cbrt (cbrt x))))) (log (* (cbrt (sqrt x)) (cbrt x))) (log (/ (cbrt x) (/ (+ x y) (cbrt (sqrt x))))) (log (cbrt x)) (log (/ (pow x 2/3) (+ x y))) (log (* (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (log (/ (cbrt x) (/ (+ x y) (cbrt (cbrt x))))) (log (pow (sqrt (cbrt x)) 3)) (log (/ (pow (sqrt (cbrt x)) 3) (+ x y))) (log (cbrt x)) (log (/ (pow x 2/3) (+ x y))) (log (* (cbrt x) (cbrt (pow x 2/3)))) (log (/ (cbrt x) (/ (+ x y) (cbrt (cbrt x))))) (log (* (cbrt (sqrt x)) (cbrt x))) (log (/ (cbrt x) (/ (+ x y) (cbrt (sqrt x))))) (log (cbrt x)) (log (/ (pow x 2/3) (+ x y))) (log (* (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))))) (log (/ (cbrt x) (/ (+ x y) (cbrt (cbrt x))))) (log (pow (sqrt (cbrt x)) 3)) (log (/ (pow (sqrt (cbrt x)) 3) (+ x y))) (log (cbrt x)) (log (/ (pow x 2/3) (+ x y))) (log (cbrt x)) (log (/ (pow x 2/3) (+ x y))) (log (/ (cbrt x) (+ x y))) (log (pow x 2/3)) 0 (log (/ (pow (cbrt x) 3) (+ x y))) (log (pow x 2/3)) (log (/ (cbrt x) (+ x y))) (log (/ (pow x 2/3) (+ x y))) (log (cbrt x)) (log (pow x 2/3)) (log (/ (+ x y) (cbrt x))) (log (/ (pow (cbrt x) 3) (+ x y))) (log (log (/ (pow (cbrt x) 3) (+ x y)))) (/ (pow (cbrt x) 3) (+ x y)) (* (cbrt (log (/ (pow (cbrt x) 3) (+ x y)))) (cbrt (log (/ (pow (cbrt x) 3) (+ x y))))) (cbrt (log (/ (pow (cbrt x) 3) (+ x y)))) (pow (log (/ (pow (cbrt x) 3) (+ x y))) 3) (sqrt (log (/ (pow (cbrt x) 3) (+ x y)))) (sqrt (log (/ (pow (cbrt x) 3) (+ x y)))) (expm1 (pow x 2/3)) (log1p (pow x 2/3)) 2/3 2 (* x x) (pow x 2/3) 2 (log (pow x 2/3)) (log (pow x 2/3)) (exp (pow x 2/3)) (* x x) (* (cbrt (pow x 2/3)) (cbrt (pow x 2/3))) (cbrt (pow x 2/3)) (pow (pow x 2/3) 3) (fabs (cbrt x)) (fabs (cbrt x)) (* (cbrt (pow x 2/3)) (cbrt (pow x 2/3))) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) 1 (pow x 2/3) (* (cbrt (cbrt x)) (pow (cbrt (cbrt x)) 3)) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt x) (cbrt x) 1 (pow x 2/3) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (sqrt (cbrt x)) (cbrt (sqrt x))) (* (sqrt (cbrt x)) (cbrt (sqrt x))) (* (sqrt (cbrt x)) (cbrt (sqrt x))) (* (sqrt (cbrt x)) (cbrt (sqrt x))) (cbrt x) (cbrt x) 2/3 2 (* (cbrt x) (cbrt (pow x 2/3))) (* (cbrt x) (cbrt (sqrt x))) (cbrt x) (* (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (pow (sqrt (cbrt x)) 3) (cbrt x) (* (cbrt (cbrt x)) (cbrt x)) (* (cbrt x) (cbrt (sqrt x))) (pow x 2/3) (* (cbrt (cbrt x)) (cbrt x)) (pow (sqrt (cbrt x)) 3) (pow x 2/3) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (pow (cbrt x) 3) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (pow (cbrt x) 3) (sqrt (cbrt x)) (sqrt (cbrt x)) (- (log x) (log y)) 0 0 (pow x 2/3) (pow (/ 1 x) -2/3) (* (cbrt (* x x)) (pow (cbrt -1) 2)) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) 8.545 * * * [progress]: adding candidates to table 8.940 * * [progress]: iteration 4 / 4 8.940 * * * [progress]: picking best candidate 8.950 * * * * [pick]: Picked # 8.950 * * * [progress]: localizing error 8.972 * * * [progress]: generating rewritten candidates 8.972 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2 2) 8.976 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1) 8.983 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 2 1 1) 8.983 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1 1 1) 8.989 * * * [progress]: generating series expansions 8.989 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2 2) 8.990 * [approximate]: Taking taylor expansion of (log (* (expm1 (log1p (pow x 1/3))) (pow (/ 1 (+ x y)) 1/3))) in (x y) around 0 8.990 * [taylor]: Taking taylor expansion of (log (* (expm1 (log1p (pow x 1/3))) (pow (/ 1 (+ x y)) 1/3))) in y 8.990 * [taylor]: Taking taylor expansion of (* (expm1 (log1p (pow x 1/3))) (pow (/ 1 (+ x y)) 1/3)) in y 8.990 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow x 1/3))) in y 8.990 * [taylor]: Rewrote expression to (- (exp (log1p (pow x 1/3))) 1) 8.990 * [taylor]: Taking taylor expansion of (exp (log1p (pow x 1/3))) in y 8.990 * [taylor]: Taking taylor expansion of (log1p (pow x 1/3)) in y 8.990 * [taylor]: Rewrote expression to (log (+ 1 (pow x 1/3))) 8.990 * [taylor]: Taking taylor expansion of (+ 1 (pow x 1/3)) in y 8.990 * [taylor]: Taking taylor expansion of 1 in y 8.990 * [taylor]: Taking taylor expansion of (pow x 1/3) in y 8.990 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in y 8.990 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in y 8.990 * [taylor]: Taking taylor expansion of 1/3 in y 8.990 * [taylor]: Taking taylor expansion of (log x) in y 8.990 * [taylor]: Taking taylor expansion of x in y 8.990 * [taylor]: Taking taylor expansion of 1 in y 8.990 * [taylor]: Taking taylor expansion of (pow (/ 1 (+ x y)) 1/3) in y 8.990 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (+ x y))))) in y 8.990 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (+ x y)))) in y 8.991 * [taylor]: Taking taylor expansion of 1/3 in y 8.991 * [taylor]: Taking taylor expansion of (log (/ 1 (+ x y))) in y 8.991 * [taylor]: Taking taylor expansion of (/ 1 (+ x y)) in y 8.991 * [taylor]: Taking taylor expansion of (+ x y) in y 8.991 * [taylor]: Taking taylor expansion of x in y 8.991 * [taylor]: Taking taylor expansion of y in y 8.992 * [taylor]: Taking taylor expansion of (log (* (expm1 (log1p (pow x 1/3))) (pow (/ 1 (+ x y)) 1/3))) in x 8.992 * [taylor]: Taking taylor expansion of (* (expm1 (log1p (pow x 1/3))) (pow (/ 1 (+ x y)) 1/3)) in x 8.992 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow x 1/3))) in x 8.992 * [taylor]: Rewrote expression to (- (exp (log1p (pow x 1/3))) 1) 8.992 * [taylor]: Taking taylor expansion of (exp (log1p (pow x 1/3))) in x 8.992 * [taylor]: Taking taylor expansion of (log1p (pow x 1/3)) in x 8.992 * [taylor]: Rewrote expression to (log (+ 1 (pow x 1/3))) 8.992 * [taylor]: Taking taylor expansion of (+ 1 (pow x 1/3)) in x 8.992 * [taylor]: Taking taylor expansion of 1 in x 8.992 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 8.992 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 8.992 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 8.992 * [taylor]: Taking taylor expansion of 1/3 in x 8.992 * [taylor]: Taking taylor expansion of (log x) in x 8.992 * [taylor]: Taking taylor expansion of x in x 8.993 * [taylor]: Taking taylor expansion of 1 in x 8.993 * [taylor]: Taking taylor expansion of (pow (/ 1 (+ x y)) 1/3) in x 8.993 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (+ x y))))) in x 8.993 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (+ x y)))) in x 8.993 * [taylor]: Taking taylor expansion of 1/3 in x 8.993 * [taylor]: Taking taylor expansion of (log (/ 1 (+ x y))) in x 8.993 * [taylor]: Taking taylor expansion of (/ 1 (+ x y)) in x 8.993 * [taylor]: Taking taylor expansion of (+ x y) in x 8.993 * [taylor]: Taking taylor expansion of x in x 8.993 * [taylor]: Taking taylor expansion of y in x 8.994 * [taylor]: Taking taylor expansion of (log (* (expm1 (log1p (pow x 1/3))) (pow (/ 1 (+ x y)) 1/3))) in x 8.994 * [taylor]: Taking taylor expansion of (* (expm1 (log1p (pow x 1/3))) (pow (/ 1 (+ x y)) 1/3)) in x 8.994 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow x 1/3))) in x 8.994 * [taylor]: Rewrote expression to (- (exp (log1p (pow x 1/3))) 1) 8.994 * [taylor]: Taking taylor expansion of (exp (log1p (pow x 1/3))) in x 8.994 * [taylor]: Taking taylor expansion of (log1p (pow x 1/3)) in x 8.994 * [taylor]: Rewrote expression to (log (+ 1 (pow x 1/3))) 8.994 * [taylor]: Taking taylor expansion of (+ 1 (pow x 1/3)) in x 8.994 * [taylor]: Taking taylor expansion of 1 in x 8.994 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 8.994 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 8.994 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 8.994 * [taylor]: Taking taylor expansion of 1/3 in x 8.994 * [taylor]: Taking taylor expansion of (log x) in x 8.994 * [taylor]: Taking taylor expansion of x in x 8.995 * [taylor]: Taking taylor expansion of 1 in x 8.995 * [taylor]: Taking taylor expansion of (pow (/ 1 (+ x y)) 1/3) in x 8.995 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (+ x y))))) in x 8.995 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (+ x y)))) in x 8.995 * [taylor]: Taking taylor expansion of 1/3 in x 8.995 * [taylor]: Taking taylor expansion of (log (/ 1 (+ x y))) in x 8.995 * [taylor]: Taking taylor expansion of (/ 1 (+ x y)) in x 8.995 * [taylor]: Taking taylor expansion of (+ x y) in x 8.995 * [taylor]: Taking taylor expansion of x in x 8.995 * [taylor]: Taking taylor expansion of y in x 8.996 * [taylor]: Taking taylor expansion of (log (pow (/ x y) 1/3)) in y 8.996 * [taylor]: Taking taylor expansion of (pow (/ x y) 1/3) in y 8.996 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x y)))) in y 8.996 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x y))) in y 8.996 * [taylor]: Taking taylor expansion of 1/3 in y 8.996 * [taylor]: Taking taylor expansion of (log (/ x y)) in y 8.996 * [taylor]: Taking taylor expansion of (/ x y) in y 8.996 * [taylor]: Taking taylor expansion of x in y 8.996 * [taylor]: Taking taylor expansion of y in y 9.006 * [taylor]: Taking taylor expansion of (/ -1/3 y) in y 9.006 * [taylor]: Taking taylor expansion of -1/3 in y 9.006 * [taylor]: Taking taylor expansion of y in y 9.018 * [taylor]: Taking taylor expansion of (/ 1/6 (pow y 2)) in y 9.018 * [taylor]: Taking taylor expansion of 1/6 in y 9.018 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.018 * [taylor]: Taking taylor expansion of y in y 9.038 * [taylor]: Taking taylor expansion of (/ -1/9 (pow y 3)) in y 9.038 * [taylor]: Taking taylor expansion of -1/9 in y 9.038 * [taylor]: Taking taylor expansion of (pow y 3) in y 9.038 * [taylor]: Taking taylor expansion of y in y 9.044 * [approximate]: Taking taylor expansion of (log (* (pow (/ 1 (+ (/ 1 y) (/ 1 x))) 1/3) (expm1 (log1p (pow (/ 1 x) 1/3))))) in (x y) around 0 9.044 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 (+ (/ 1 y) (/ 1 x))) 1/3) (expm1 (log1p (pow (/ 1 x) 1/3))))) in y 9.044 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (+ (/ 1 y) (/ 1 x))) 1/3) (expm1 (log1p (pow (/ 1 x) 1/3)))) in y 9.044 * [taylor]: Taking taylor expansion of (pow (/ 1 (+ (/ 1 y) (/ 1 x))) 1/3) in y 9.044 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (+ (/ 1 y) (/ 1 x)))))) in y 9.044 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (+ (/ 1 y) (/ 1 x))))) in y 9.044 * [taylor]: Taking taylor expansion of 1/3 in y 9.044 * [taylor]: Taking taylor expansion of (log (/ 1 (+ (/ 1 y) (/ 1 x)))) in y 9.045 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 y) (/ 1 x))) in y 9.045 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 9.045 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.045 * [taylor]: Taking taylor expansion of y in y 9.045 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.045 * [taylor]: Taking taylor expansion of x in y 9.046 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (/ 1 x) 1/3))) in y 9.046 * [taylor]: Rewrote expression to (- (exp (log1p (pow (/ 1 x) 1/3))) 1) 9.046 * [taylor]: Taking taylor expansion of (exp (log1p (pow (/ 1 x) 1/3))) in y 9.046 * [taylor]: Taking taylor expansion of (log1p (pow (/ 1 x) 1/3)) in y 9.046 * [taylor]: Rewrote expression to (log (+ 1 (pow (/ 1 x) 1/3))) 9.046 * [taylor]: Taking taylor expansion of (+ 1 (pow (/ 1 x) 1/3)) in y 9.046 * [taylor]: Taking taylor expansion of 1 in y 9.046 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in y 9.046 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in y 9.046 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in y 9.046 * [taylor]: Taking taylor expansion of 1/3 in y 9.046 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 9.046 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.046 * [taylor]: Taking taylor expansion of x in y 9.047 * [taylor]: Taking taylor expansion of 1 in y 9.047 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 (+ (/ 1 y) (/ 1 x))) 1/3) (expm1 (log1p (pow (/ 1 x) 1/3))))) in x 9.047 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (+ (/ 1 y) (/ 1 x))) 1/3) (expm1 (log1p (pow (/ 1 x) 1/3)))) in x 9.047 * [taylor]: Taking taylor expansion of (pow (/ 1 (+ (/ 1 y) (/ 1 x))) 1/3) in x 9.048 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (+ (/ 1 y) (/ 1 x)))))) in x 9.048 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (+ (/ 1 y) (/ 1 x))))) in x 9.048 * [taylor]: Taking taylor expansion of 1/3 in x 9.048 * [taylor]: Taking taylor expansion of (log (/ 1 (+ (/ 1 y) (/ 1 x)))) in x 9.048 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 y) (/ 1 x))) in x 9.048 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 9.048 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.048 * [taylor]: Taking taylor expansion of y in x 9.048 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.048 * [taylor]: Taking taylor expansion of x in x 9.049 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (/ 1 x) 1/3))) in x 9.049 * [taylor]: Rewrote expression to (- (exp (log1p (pow (/ 1 x) 1/3))) 1) 9.049 * [taylor]: Taking taylor expansion of (exp (log1p (pow (/ 1 x) 1/3))) in x 9.049 * [taylor]: Taking taylor expansion of (log1p (pow (/ 1 x) 1/3)) in x 9.049 * [taylor]: Rewrote expression to (log (+ 1 (pow (/ 1 x) 1/3))) 9.049 * [taylor]: Taking taylor expansion of (+ 1 (pow (/ 1 x) 1/3)) in x 9.049 * [taylor]: Taking taylor expansion of 1 in x 9.050 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 9.050 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 9.050 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 9.050 * [taylor]: Taking taylor expansion of 1/3 in x 9.050 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 9.050 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.050 * [taylor]: Taking taylor expansion of x in x 9.051 * [taylor]: Taking taylor expansion of 1 in x 9.052 * [taylor]: Taking taylor expansion of (log (* (pow (/ 1 (+ (/ 1 y) (/ 1 x))) 1/3) (expm1 (log1p (pow (/ 1 x) 1/3))))) in x 9.052 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (+ (/ 1 y) (/ 1 x))) 1/3) (expm1 (log1p (pow (/ 1 x) 1/3)))) in x 9.052 * [taylor]: Taking taylor expansion of (pow (/ 1 (+ (/ 1 y) (/ 1 x))) 1/3) in x 9.052 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (+ (/ 1 y) (/ 1 x)))))) in x 9.052 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (+ (/ 1 y) (/ 1 x))))) in x 9.052 * [taylor]: Taking taylor expansion of 1/3 in x 9.052 * [taylor]: Taking taylor expansion of (log (/ 1 (+ (/ 1 y) (/ 1 x)))) in x 9.052 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 y) (/ 1 x))) in x 9.052 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 9.052 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.052 * [taylor]: Taking taylor expansion of y in x 9.052 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.052 * [taylor]: Taking taylor expansion of x in x 9.053 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (/ 1 x) 1/3))) in x 9.053 * [taylor]: Rewrote expression to (- (exp (log1p (pow (/ 1 x) 1/3))) 1) 9.054 * [taylor]: Taking taylor expansion of (exp (log1p (pow (/ 1 x) 1/3))) in x 9.054 * [taylor]: Taking taylor expansion of (log1p (pow (/ 1 x) 1/3)) in x 9.054 * [taylor]: Rewrote expression to (log (+ 1 (pow (/ 1 x) 1/3))) 9.054 * [taylor]: Taking taylor expansion of (+ 1 (pow (/ 1 x) 1/3)) in x 9.054 * [taylor]: Taking taylor expansion of 1 in x 9.054 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 9.054 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 9.054 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 9.054 * [taylor]: Taking taylor expansion of 1/3 in x 9.054 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 9.054 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.054 * [taylor]: Taking taylor expansion of x in x 9.055 * [taylor]: Taking taylor expansion of 1 in x 9.056 * [taylor]: Taking taylor expansion of 0 in y 9.062 * [taylor]: Taking taylor expansion of (/ -1/3 y) in y 9.062 * [taylor]: Taking taylor expansion of -1/3 in y 9.062 * [taylor]: Taking taylor expansion of y in y 9.073 * [taylor]: Taking taylor expansion of (/ 1/6 (pow y 2)) in y 9.073 * [taylor]: Taking taylor expansion of 1/6 in y 9.073 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.073 * [taylor]: Taking taylor expansion of y in y 9.077 * [approximate]: Taking taylor expansion of (log (* (/ (expm1 (log1p (* (cbrt -1) (pow (/ 1 x) 1/3)))) (cbrt -1)) (pow (/ 1 (+ (/ 1 y) (/ 1 x))) 1/3))) in (x y) around 0 9.077 * [taylor]: Taking taylor expansion of (log (* (/ (expm1 (log1p (* (cbrt -1) (pow (/ 1 x) 1/3)))) (cbrt -1)) (pow (/ 1 (+ (/ 1 y) (/ 1 x))) 1/3))) in y 9.077 * [taylor]: Taking taylor expansion of (* (/ (expm1 (log1p (* (cbrt -1) (pow (/ 1 x) 1/3)))) (cbrt -1)) (pow (/ 1 (+ (/ 1 y) (/ 1 x))) 1/3)) in y 9.077 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (* (cbrt -1) (pow (/ 1 x) 1/3)))) (cbrt -1)) in y 9.077 * [taylor]: Taking taylor expansion of (expm1 (log1p (* (cbrt -1) (pow (/ 1 x) 1/3)))) in y 9.077 * [taylor]: Rewrote expression to (- (exp (log1p (* (cbrt -1) (pow (/ 1 x) 1/3)))) 1) 9.077 * [taylor]: Taking taylor expansion of (exp (log1p (* (cbrt -1) (pow (/ 1 x) 1/3)))) in y 9.077 * [taylor]: Taking taylor expansion of (log1p (* (cbrt -1) (pow (/ 1 x) 1/3))) in y 9.077 * [taylor]: Rewrote expression to (log (+ 1 (* (cbrt -1) (pow (/ 1 x) 1/3)))) 9.077 * [taylor]: Taking taylor expansion of (+ 1 (* (cbrt -1) (pow (/ 1 x) 1/3))) in y 9.077 * [taylor]: Taking taylor expansion of 1 in y 9.077 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in y 9.077 * [taylor]: Taking taylor expansion of (cbrt -1) in y 9.077 * [taylor]: Taking taylor expansion of -1 in y 9.078 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in y 9.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in y 9.078 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in y 9.078 * [taylor]: Taking taylor expansion of 1/3 in y 9.078 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 9.078 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.078 * [taylor]: Taking taylor expansion of x in y 9.080 * [taylor]: Taking taylor expansion of 1 in y 9.080 * [taylor]: Taking taylor expansion of (cbrt -1) in y 9.080 * [taylor]: Taking taylor expansion of -1 in y 9.082 * [taylor]: Taking taylor expansion of (pow (/ 1 (+ (/ 1 y) (/ 1 x))) 1/3) in y 9.082 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (+ (/ 1 y) (/ 1 x)))))) in y 9.082 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (+ (/ 1 y) (/ 1 x))))) in y 9.082 * [taylor]: Taking taylor expansion of 1/3 in y 9.082 * [taylor]: Taking taylor expansion of (log (/ 1 (+ (/ 1 y) (/ 1 x)))) in y 9.082 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 y) (/ 1 x))) in y 9.082 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 9.082 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.082 * [taylor]: Taking taylor expansion of y in y 9.083 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.083 * [taylor]: Taking taylor expansion of x in y 9.084 * [taylor]: Taking taylor expansion of (log (* (/ (expm1 (log1p (* (cbrt -1) (pow (/ 1 x) 1/3)))) (cbrt -1)) (pow (/ 1 (+ (/ 1 y) (/ 1 x))) 1/3))) in x 9.084 * [taylor]: Taking taylor expansion of (* (/ (expm1 (log1p (* (cbrt -1) (pow (/ 1 x) 1/3)))) (cbrt -1)) (pow (/ 1 (+ (/ 1 y) (/ 1 x))) 1/3)) in x 9.084 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (* (cbrt -1) (pow (/ 1 x) 1/3)))) (cbrt -1)) in x 9.084 * [taylor]: Taking taylor expansion of (expm1 (log1p (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x 9.084 * [taylor]: Rewrote expression to (- (exp (log1p (* (cbrt -1) (pow (/ 1 x) 1/3)))) 1) 9.084 * [taylor]: Taking taylor expansion of (exp (log1p (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x 9.084 * [taylor]: Taking taylor expansion of (log1p (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 9.084 * [taylor]: Rewrote expression to (log (+ 1 (* (cbrt -1) (pow (/ 1 x) 1/3)))) 9.084 * [taylor]: Taking taylor expansion of (+ 1 (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 9.084 * [taylor]: Taking taylor expansion of 1 in x 9.084 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 9.084 * [taylor]: Taking taylor expansion of (cbrt -1) in x 9.084 * [taylor]: Taking taylor expansion of -1 in x 9.085 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 9.085 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 9.085 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 9.085 * [taylor]: Taking taylor expansion of 1/3 in x 9.085 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 9.085 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.085 * [taylor]: Taking taylor expansion of x in x 9.088 * [taylor]: Taking taylor expansion of 1 in x 9.088 * [taylor]: Taking taylor expansion of (cbrt -1) in x 9.088 * [taylor]: Taking taylor expansion of -1 in x 9.090 * [taylor]: Taking taylor expansion of (pow (/ 1 (+ (/ 1 y) (/ 1 x))) 1/3) in x 9.090 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (+ (/ 1 y) (/ 1 x)))))) in x 9.090 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (+ (/ 1 y) (/ 1 x))))) in x 9.090 * [taylor]: Taking taylor expansion of 1/3 in x 9.090 * [taylor]: Taking taylor expansion of (log (/ 1 (+ (/ 1 y) (/ 1 x)))) in x 9.090 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 y) (/ 1 x))) in x 9.090 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 9.090 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.090 * [taylor]: Taking taylor expansion of y in x 9.090 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.090 * [taylor]: Taking taylor expansion of x in x 9.092 * [taylor]: Taking taylor expansion of (log (* (/ (expm1 (log1p (* (cbrt -1) (pow (/ 1 x) 1/3)))) (cbrt -1)) (pow (/ 1 (+ (/ 1 y) (/ 1 x))) 1/3))) in x 9.092 * [taylor]: Taking taylor expansion of (* (/ (expm1 (log1p (* (cbrt -1) (pow (/ 1 x) 1/3)))) (cbrt -1)) (pow (/ 1 (+ (/ 1 y) (/ 1 x))) 1/3)) in x 9.092 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (* (cbrt -1) (pow (/ 1 x) 1/3)))) (cbrt -1)) in x 9.092 * [taylor]: Taking taylor expansion of (expm1 (log1p (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x 9.092 * [taylor]: Rewrote expression to (- (exp (log1p (* (cbrt -1) (pow (/ 1 x) 1/3)))) 1) 9.092 * [taylor]: Taking taylor expansion of (exp (log1p (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x 9.092 * [taylor]: Taking taylor expansion of (log1p (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 9.092 * [taylor]: Rewrote expression to (log (+ 1 (* (cbrt -1) (pow (/ 1 x) 1/3)))) 9.092 * [taylor]: Taking taylor expansion of (+ 1 (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 9.092 * [taylor]: Taking taylor expansion of 1 in x 9.092 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 9.092 * [taylor]: Taking taylor expansion of (cbrt -1) in x 9.092 * [taylor]: Taking taylor expansion of -1 in x 9.098 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 9.098 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 9.098 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 9.098 * [taylor]: Taking taylor expansion of 1/3 in x 9.098 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 9.098 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.098 * [taylor]: Taking taylor expansion of x in x 9.101 * [taylor]: Taking taylor expansion of 1 in x 9.101 * [taylor]: Taking taylor expansion of (cbrt -1) in x 9.101 * [taylor]: Taking taylor expansion of -1 in x 9.103 * [taylor]: Taking taylor expansion of (pow (/ 1 (+ (/ 1 y) (/ 1 x))) 1/3) in x 9.103 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (+ (/ 1 y) (/ 1 x)))))) in x 9.103 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (+ (/ 1 y) (/ 1 x))))) in x 9.103 * [taylor]: Taking taylor expansion of 1/3 in x 9.103 * [taylor]: Taking taylor expansion of (log (/ 1 (+ (/ 1 y) (/ 1 x)))) in x 9.103 * [taylor]: Taking taylor expansion of (/ 1 (+ (/ 1 y) (/ 1 x))) in x 9.103 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 9.103 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.103 * [taylor]: Taking taylor expansion of y in x 9.103 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.103 * [taylor]: Taking taylor expansion of x in x 9.105 * [taylor]: Taking taylor expansion of 0 in y 9.113 * [taylor]: Taking taylor expansion of (/ -1/3 y) in y 9.113 * [taylor]: Taking taylor expansion of -1/3 in y 9.113 * [taylor]: Taking taylor expansion of y in y 9.129 * [taylor]: Taking taylor expansion of (/ 1/6 (pow y 2)) in y 9.129 * [taylor]: Taking taylor expansion of 1/6 in y 9.129 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.129 * [taylor]: Taking taylor expansion of y in y 9.132 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1) 9.133 * [approximate]: Taking taylor expansion of (log (pow (/ x (+ x y)) 1/3)) in (x y) around 0 9.133 * [taylor]: Taking taylor expansion of (log (pow (/ x (+ x y)) 1/3)) in y 9.133 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) 1/3) in y 9.133 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x (+ x y))))) in y 9.133 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x (+ x y)))) in y 9.133 * [taylor]: Taking taylor expansion of 1/3 in y 9.133 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in y 9.133 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in y 9.133 * [taylor]: Taking taylor expansion of x in y 9.133 * [taylor]: Taking taylor expansion of (+ x y) in y 9.133 * [taylor]: Taking taylor expansion of x in y 9.133 * [taylor]: Taking taylor expansion of y in y 9.135 * [taylor]: Taking taylor expansion of (log (pow (/ x (+ x y)) 1/3)) in x 9.135 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) 1/3) in x 9.135 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x (+ x y))))) in x 9.135 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x (+ x y)))) in x 9.135 * [taylor]: Taking taylor expansion of 1/3 in x 9.135 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 9.135 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 9.135 * [taylor]: Taking taylor expansion of x in x 9.135 * [taylor]: Taking taylor expansion of (+ x y) in x 9.135 * [taylor]: Taking taylor expansion of x in x 9.135 * [taylor]: Taking taylor expansion of y in x 9.136 * [taylor]: Taking taylor expansion of (log (pow (/ x (+ x y)) 1/3)) in x 9.136 * [taylor]: Taking taylor expansion of (pow (/ x (+ x y)) 1/3) in x 9.136 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ x (+ x y))))) in x 9.136 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ x (+ x y)))) in x 9.136 * [taylor]: Taking taylor expansion of 1/3 in x 9.136 * [taylor]: Taking taylor expansion of (log (/ x (+ x y))) in x 9.136 * [taylor]: Taking taylor expansion of (/ x (+ x y)) in x 9.136 * [taylor]: Taking taylor expansion of x in x 9.136 * [taylor]: Taking taylor expansion of (+ x y) in x 9.136 * [taylor]: Taking taylor expansion of x in x 9.136 * [taylor]: Taking taylor expansion of y in x 9.137 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (log (/ 1 y)))) in y 9.137 * [taylor]: Taking taylor expansion of 1/3 in y 9.137 * [taylor]: Taking taylor expansion of (+ (log x) (log (/ 1 y))) in y 9.137 * [taylor]: Taking taylor expansion of (log x) in y 9.137 * [taylor]: Taking taylor expansion of x in y 9.137 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 9.137 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.137 * [taylor]: Taking taylor expansion of y in y 9.139 * [taylor]: Taking taylor expansion of (/ -1/3 y) in y 9.139 * [taylor]: Taking taylor expansion of -1/3 in y 9.139 * [taylor]: Taking taylor expansion of y in y 9.145 * [taylor]: Taking taylor expansion of (/ 1/6 (pow y 2)) in y 9.145 * [taylor]: Taking taylor expansion of 1/6 in y 9.145 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.145 * [taylor]: Taking taylor expansion of y in y 9.156 * [taylor]: Taking taylor expansion of (/ -1/9 (pow y 3)) in y 9.156 * [taylor]: Taking taylor expansion of -1/9 in y 9.156 * [taylor]: Taking taylor expansion of (pow y 3) in y 9.156 * [taylor]: Taking taylor expansion of y in y 9.161 * [approximate]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in (x y) around 0 9.162 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in y 9.162 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in y 9.162 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in y 9.162 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in y 9.162 * [taylor]: Taking taylor expansion of 1/3 in y 9.162 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 9.162 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 9.162 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 9.162 * [taylor]: Taking taylor expansion of x in y 9.162 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 9.162 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.162 * [taylor]: Taking taylor expansion of y in y 9.162 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.162 * [taylor]: Taking taylor expansion of x in y 9.163 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in x 9.163 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in x 9.163 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 9.163 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 9.163 * [taylor]: Taking taylor expansion of 1/3 in x 9.163 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 9.163 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 9.163 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 9.163 * [taylor]: Taking taylor expansion of x in x 9.163 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 9.163 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.163 * [taylor]: Taking taylor expansion of y in x 9.163 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.163 * [taylor]: Taking taylor expansion of x in x 9.168 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in x 9.168 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in x 9.168 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 9.168 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 9.168 * [taylor]: Taking taylor expansion of 1/3 in x 9.168 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 9.168 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 9.168 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 9.168 * [taylor]: Taking taylor expansion of x in x 9.168 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 9.168 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.168 * [taylor]: Taking taylor expansion of y in x 9.168 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.168 * [taylor]: Taking taylor expansion of x in x 9.173 * [taylor]: Taking taylor expansion of 0 in y 9.174 * [taylor]: Taking taylor expansion of (/ -1/3 y) in y 9.174 * [taylor]: Taking taylor expansion of -1/3 in y 9.174 * [taylor]: Taking taylor expansion of y in y 9.180 * [taylor]: Taking taylor expansion of (/ 1/6 (pow y 2)) in y 9.180 * [taylor]: Taking taylor expansion of 1/6 in y 9.180 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.180 * [taylor]: Taking taylor expansion of y in y 9.183 * [approximate]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in (x y) around 0 9.183 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in y 9.183 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in y 9.183 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in y 9.183 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in y 9.183 * [taylor]: Taking taylor expansion of 1/3 in y 9.183 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in y 9.183 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in y 9.183 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in y 9.183 * [taylor]: Taking taylor expansion of x in y 9.183 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 9.183 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.183 * [taylor]: Taking taylor expansion of y in y 9.184 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.184 * [taylor]: Taking taylor expansion of x in y 9.185 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in x 9.185 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in x 9.185 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 9.185 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 9.185 * [taylor]: Taking taylor expansion of 1/3 in x 9.185 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 9.185 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 9.185 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 9.185 * [taylor]: Taking taylor expansion of x in x 9.185 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 9.185 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.185 * [taylor]: Taking taylor expansion of y in x 9.185 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.185 * [taylor]: Taking taylor expansion of x in x 9.194 * [taylor]: Taking taylor expansion of (log (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3)) in x 9.194 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) 1/3) in x 9.194 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))))) in x 9.194 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (+ (/ 1 y) (/ 1 x)))))) in x 9.194 * [taylor]: Taking taylor expansion of 1/3 in x 9.194 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (+ (/ 1 y) (/ 1 x))))) in x 9.194 * [taylor]: Taking taylor expansion of (/ 1 (* x (+ (/ 1 y) (/ 1 x)))) in x 9.195 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 y) (/ 1 x))) in x 9.195 * [taylor]: Taking taylor expansion of x in x 9.195 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 9.195 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.195 * [taylor]: Taking taylor expansion of y in x 9.195 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.195 * [taylor]: Taking taylor expansion of x in x 9.199 * [taylor]: Taking taylor expansion of 0 in y 9.200 * [taylor]: Taking taylor expansion of (/ -1/3 y) in y 9.200 * [taylor]: Taking taylor expansion of -1/3 in y 9.200 * [taylor]: Taking taylor expansion of y in y 9.205 * [taylor]: Taking taylor expansion of (/ 1/6 (pow y 2)) in y 9.205 * [taylor]: Taking taylor expansion of 1/6 in y 9.205 * [taylor]: Taking taylor expansion of (pow y 2) in y 9.205 * [taylor]: Taking taylor expansion of y in y 9.208 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 2 1 1) 9.208 * [approximate]: Taking taylor expansion of (expm1 (log1p (pow x 1/3))) in (x) around 0 9.208 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow x 1/3))) in x 9.208 * [taylor]: Rewrote expression to (- (exp (log1p (pow x 1/3))) 1) 9.208 * [taylor]: Taking taylor expansion of (exp (log1p (pow x 1/3))) in x 9.208 * [taylor]: Taking taylor expansion of (log1p (pow x 1/3)) in x 9.208 * [taylor]: Rewrote expression to (log (+ 1 (pow x 1/3))) 9.209 * [taylor]: Taking taylor expansion of (+ 1 (pow x 1/3)) in x 9.209 * [taylor]: Taking taylor expansion of 1 in x 9.209 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 9.209 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 9.209 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 9.209 * [taylor]: Taking taylor expansion of 1/3 in x 9.209 * [taylor]: Taking taylor expansion of (log x) in x 9.209 * [taylor]: Taking taylor expansion of x in x 9.209 * [taylor]: Taking taylor expansion of 1 in x 9.209 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow x 1/3))) in x 9.210 * [taylor]: Rewrote expression to (- (exp (log1p (pow x 1/3))) 1) 9.210 * [taylor]: Taking taylor expansion of (exp (log1p (pow x 1/3))) in x 9.210 * [taylor]: Taking taylor expansion of (log1p (pow x 1/3)) in x 9.210 * [taylor]: Rewrote expression to (log (+ 1 (pow x 1/3))) 9.210 * [taylor]: Taking taylor expansion of (+ 1 (pow x 1/3)) in x 9.210 * [taylor]: Taking taylor expansion of 1 in x 9.210 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 9.210 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 9.210 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 9.210 * [taylor]: Taking taylor expansion of 1/3 in x 9.210 * [taylor]: Taking taylor expansion of (log x) in x 9.210 * [taylor]: Taking taylor expansion of x in x 9.211 * [taylor]: Taking taylor expansion of 1 in x 9.299 * [approximate]: Taking taylor expansion of (expm1 (log1p (pow (/ 1 x) 1/3))) in (x) around 0 9.299 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (/ 1 x) 1/3))) in x 9.299 * [taylor]: Rewrote expression to (- (exp (log1p (pow (/ 1 x) 1/3))) 1) 9.299 * [taylor]: Taking taylor expansion of (exp (log1p (pow (/ 1 x) 1/3))) in x 9.299 * [taylor]: Taking taylor expansion of (log1p (pow (/ 1 x) 1/3)) in x 9.299 * [taylor]: Rewrote expression to (log (+ 1 (pow (/ 1 x) 1/3))) 9.299 * [taylor]: Taking taylor expansion of (+ 1 (pow (/ 1 x) 1/3)) in x 9.299 * [taylor]: Taking taylor expansion of 1 in x 9.299 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 9.299 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 9.299 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 9.299 * [taylor]: Taking taylor expansion of 1/3 in x 9.299 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 9.299 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.299 * [taylor]: Taking taylor expansion of x in x 9.300 * [taylor]: Taking taylor expansion of 1 in x 9.300 * [taylor]: Taking taylor expansion of (expm1 (log1p (pow (/ 1 x) 1/3))) in x 9.300 * [taylor]: Rewrote expression to (- (exp (log1p (pow (/ 1 x) 1/3))) 1) 9.300 * [taylor]: Taking taylor expansion of (exp (log1p (pow (/ 1 x) 1/3))) in x 9.300 * [taylor]: Taking taylor expansion of (log1p (pow (/ 1 x) 1/3)) in x 9.300 * [taylor]: Rewrote expression to (log (+ 1 (pow (/ 1 x) 1/3))) 9.300 * [taylor]: Taking taylor expansion of (+ 1 (pow (/ 1 x) 1/3)) in x 9.300 * [taylor]: Taking taylor expansion of 1 in x 9.301 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 9.301 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 9.301 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 9.301 * [taylor]: Taking taylor expansion of 1/3 in x 9.301 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 9.301 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.301 * [taylor]: Taking taylor expansion of x in x 9.302 * [taylor]: Taking taylor expansion of 1 in x 9.392 * [approximate]: Taking taylor expansion of (expm1 (log1p (* (cbrt -1) (pow (/ 1 x) 1/3)))) in (x) around 0 9.392 * [taylor]: Taking taylor expansion of (expm1 (log1p (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x 9.392 * [taylor]: Rewrote expression to (- (exp (log1p (* (cbrt -1) (pow (/ 1 x) 1/3)))) 1) 9.392 * [taylor]: Taking taylor expansion of (exp (log1p (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x 9.392 * [taylor]: Taking taylor expansion of (log1p (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 9.392 * [taylor]: Rewrote expression to (log (+ 1 (* (cbrt -1) (pow (/ 1 x) 1/3)))) 9.392 * [taylor]: Taking taylor expansion of (+ 1 (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 9.392 * [taylor]: Taking taylor expansion of 1 in x 9.392 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 9.392 * [taylor]: Taking taylor expansion of (cbrt -1) in x 9.392 * [taylor]: Taking taylor expansion of -1 in x 9.393 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 9.393 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 9.393 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 9.393 * [taylor]: Taking taylor expansion of 1/3 in x 9.393 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 9.393 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.393 * [taylor]: Taking taylor expansion of x in x 9.396 * [taylor]: Taking taylor expansion of 1 in x 9.396 * [taylor]: Taking taylor expansion of (expm1 (log1p (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x 9.396 * [taylor]: Rewrote expression to (- (exp (log1p (* (cbrt -1) (pow (/ 1 x) 1/3)))) 1) 9.396 * [taylor]: Taking taylor expansion of (exp (log1p (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x 9.396 * [taylor]: Taking taylor expansion of (log1p (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 9.396 * [taylor]: Rewrote expression to (log (+ 1 (* (cbrt -1) (pow (/ 1 x) 1/3)))) 9.396 * [taylor]: Taking taylor expansion of (+ 1 (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 9.396 * [taylor]: Taking taylor expansion of 1 in x 9.396 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 9.396 * [taylor]: Taking taylor expansion of (cbrt -1) in x 9.396 * [taylor]: Taking taylor expansion of -1 in x 9.397 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 9.397 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 9.397 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 9.397 * [taylor]: Taking taylor expansion of 1/3 in x 9.397 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 9.397 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.397 * [taylor]: Taking taylor expansion of x in x 9.399 * [taylor]: Taking taylor expansion of 1 in x 9.514 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1 1 1) 9.514 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 9.514 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 9.515 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 9.515 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 9.515 * [taylor]: Taking taylor expansion of 1/3 in x 9.515 * [taylor]: Taking taylor expansion of (log x) in x 9.515 * [taylor]: Taking taylor expansion of x in x 9.515 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 9.515 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 9.515 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 9.515 * [taylor]: Taking taylor expansion of 1/3 in x 9.515 * [taylor]: Taking taylor expansion of (log x) in x 9.515 * [taylor]: Taking taylor expansion of x in x 9.571 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 9.571 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 9.571 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 9.571 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 9.571 * [taylor]: Taking taylor expansion of 1/3 in x 9.571 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 9.571 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.571 * [taylor]: Taking taylor expansion of x in x 9.572 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 9.572 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 9.572 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 9.572 * [taylor]: Taking taylor expansion of 1/3 in x 9.572 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 9.572 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.572 * [taylor]: Taking taylor expansion of x in x 9.631 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 9.631 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 9.631 * [taylor]: Taking taylor expansion of (cbrt -1) in x 9.631 * [taylor]: Taking taylor expansion of -1 in x 9.632 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 9.632 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 9.632 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 9.632 * [taylor]: Taking taylor expansion of 1/3 in x 9.632 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 9.632 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.632 * [taylor]: Taking taylor expansion of x in x 9.633 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 9.633 * [taylor]: Taking taylor expansion of (cbrt -1) in x 9.633 * [taylor]: Taking taylor expansion of -1 in x 9.633 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 9.633 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 9.634 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 9.634 * [taylor]: Taking taylor expansion of 1/3 in x 9.634 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 9.634 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.634 * [taylor]: Taking taylor expansion of x in x 9.704 * * * [progress]: simplifying candidates 9.706 * [simplify]: Simplifying using # : (expm1 (log (/ (expm1 (log1p (cbrt x))) (cbrt (+ x y))))) (log1p (log (/ (expm1 (log1p (cbrt x))) (cbrt (+ x y))))) (log (* (cbrt (/ (expm1 (log1p (cbrt x))) (cbrt (+ x y)))) (cbrt (/ (expm1 (log1p (cbrt x))) (cbrt (+ x y)))))) (log (cbrt (/ (expm1 (log1p (cbrt x))) (cbrt (+ x y))))) (log (sqrt (/ (expm1 (log1p (cbrt x))) (cbrt (+ x y))))) (log (sqrt (/ (expm1 (log1p (cbrt x))) (cbrt (+ x y))))) (log (/ (* (cbrt (expm1 (log1p (cbrt x)))) (cbrt (expm1 (log1p (cbrt x))))) (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (cbrt (expm1 (log1p (cbrt x)))) (cbrt (cbrt (+ x y))))) (log (/ (* (cbrt (expm1 (log1p (cbrt x)))) (cbrt (expm1 (log1p (cbrt x))))) (cbrt (sqrt (+ x y))))) (log (/ (cbrt (expm1 (log1p (cbrt x)))) (cbrt (sqrt (+ x y))))) (log (/ (* (cbrt (expm1 (log1p (cbrt x)))) (cbrt (expm1 (log1p (cbrt x))))) (cbrt 1))) (log (/ (cbrt (expm1 (log1p (cbrt x)))) (cbrt (+ x y)))) (log (/ (* (cbrt (expm1 (log1p (cbrt x)))) (cbrt (expm1 (log1p (cbrt x))))) (cbrt 1))) (log (/ (cbrt (expm1 (log1p (cbrt x)))) (cbrt (+ x y)))) (log (/ (* (cbrt (expm1 (log1p (cbrt x)))) (cbrt (expm1 (log1p (cbrt x))))) (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))))) (log (/ (cbrt (expm1 (log1p (cbrt x)))) (cbrt (cbrt (+ x y))))) (log (/ (* (cbrt (expm1 (log1p (cbrt x)))) (cbrt (expm1 (log1p (cbrt x))))) (sqrt (cbrt (+ x y))))) (log (/ (cbrt (expm1 (log1p (cbrt x)))) (sqrt (cbrt (+ x y))))) (log (/ (* (cbrt (expm1 (log1p (cbrt x)))) (cbrt (expm1 (log1p (cbrt x))))) 1)) (log (/ (cbrt (expm1 (log1p (cbrt x)))) (cbrt (+ x y)))) (log (/ (sqrt (expm1 (log1p (cbrt x)))) (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (sqrt (expm1 (log1p (cbrt x)))) (cbrt (cbrt (+ x y))))) (log (/ (sqrt (expm1 (log1p (cbrt x)))) (cbrt (sqrt (+ x y))))) (log (/ (sqrt (expm1 (log1p (cbrt x)))) (cbrt (sqrt (+ x y))))) (log (/ (sqrt (expm1 (log1p (cbrt x)))) (cbrt 1))) (log (/ (sqrt (expm1 (log1p (cbrt x)))) (cbrt (+ x y)))) (log (/ (sqrt (expm1 (log1p (cbrt x)))) (cbrt 1))) (log (/ (sqrt (expm1 (log1p (cbrt x)))) (cbrt (+ x y)))) (log (/ (sqrt (expm1 (log1p (cbrt x)))) (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))))) (log (/ (sqrt (expm1 (log1p (cbrt x)))) (cbrt (cbrt (+ x y))))) (log (/ (sqrt (expm1 (log1p (cbrt x)))) (sqrt (cbrt (+ x y))))) (log (/ (sqrt (expm1 (log1p (cbrt x)))) (sqrt (cbrt (+ x y))))) (log (/ (sqrt (expm1 (log1p (cbrt x)))) 1)) (log (/ (sqrt (expm1 (log1p (cbrt x)))) (cbrt (+ x y)))) (log (/ 1 (cbrt (* (cbrt (+ x y)) (cbrt (+ x y)))))) (log (/ (expm1 (log1p (cbrt x))) (cbrt (cbrt (+ x y))))) (log (/ 1 (cbrt (sqrt (+ x y))))) (log (/ (expm1 (log1p (cbrt x))) (cbrt (sqrt (+ x y))))) (log (/ 1 (cbrt 1))) (log (/ (expm1 (log1p (cbrt x))) (cbrt (+ x y)))) (log (/ 1 (cbrt 1))) (log (/ (expm1 (log1p (cbrt x))) (cbrt (+ x y)))) (log (/ 1 (* (cbrt (cbrt (+ x y))) (cbrt (cbrt (+ x y)))))) (log (/ (expm1 (log1p (cbrt x))) (cbrt (cbrt (+ x y))))) (log (/ 1 (sqrt (cbrt (+ x y))))) (log (/ (expm1 (log1p (cbrt x))) (sqrt (cbrt (+ x y))))) (log (/ 1 1)) (log (/ (expm1 (log1p (cbrt x))) (cbrt (+ x y)))) (log 1) (log (/ (expm1 (log1p (cbrt x))) (cbrt (+ x y)))) (log (expm1 (log1p (cbrt x)))) (log (/ 1 (cbrt (+ x y)))) (log (/ (expm1 (log1p (cbrt x))) (cbrt (+ (pow x 3) (pow y 3))))) (log (cbrt (+ (* x x) (- (* y y) (* x y))))) (log (/ (expm1 (log1p (cbrt x))) (cbrt (- (* x x) (* y y))))) (log (cbrt (- x y))) (log (expm1 (log1p (cbrt x)))) (log (cbrt (+ x y))) (log (/ (expm1 (log1p (cbrt x))) (cbrt (+ x y)))) (log (log (/ (expm1 (log1p (cbrt x))) (cbrt (+ x y))))) (exp (log (/ (expm1 (log1p (cbrt x))) (cbrt (+ x y))))) (* (cbrt (log (/ (expm1 (log1p (cbrt x))) (cbrt (+ x y))))) (cbrt (log (/ (expm1 (log1p (cbrt x))) (cbrt (+ x y)))))) (cbrt (log (/ (expm1 (log1p (cbrt x))) (cbrt (+ x y))))) (* (* (log (/ (expm1 (log1p (cbrt x))) (cbrt (+ x y)))) (log (/ (expm1 (log1p (cbrt x))) (cbrt (+ x y))))) (log (/ (expm1 (log1p (cbrt x))) (cbrt (+ x y))))) (sqrt (log (/ (expm1 (log1p (cbrt x))) (cbrt (+ x y))))) (sqrt (log (/ (expm1 (log1p (cbrt x))) (cbrt (+ x y))))) (expm1 (log (/ (cbrt x) (cbrt (+ x y))))) (log1p (log (/ (cbrt x) (cbrt (+ x y))))) (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))))) (exp (log1p (cbrt x))) (expm1 (expm1 (log1p (cbrt x)))) (log1p (expm1 (log1p (cbrt x)))) (log (expm1 (log1p (cbrt x)))) (exp (expm1 (log1p (cbrt x)))) (* (cbrt (expm1 (log1p (cbrt x)))) (cbrt (expm1 (log1p (cbrt x))))) (cbrt (expm1 (log1p (cbrt x)))) (* (* (expm1 (log1p (cbrt x))) (expm1 (log1p (cbrt x)))) (expm1 (log1p (cbrt x)))) (sqrt (expm1 (log1p (cbrt x)))) (sqrt (expm1 (log1p (cbrt x)))) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (* 1/3 (- (log x) (log y))) 0 0 (* 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)) 9.712 * * [simplify]: iteration 0 : 251 enodes (cost 2024 ) 9.758 * * [simplify]: iteration 1 : 434 enodes (cost 1749 ) 9.808 * * [simplify]: iteration 2 : 690 enodes (cost 1683 ) 9.919 * * [simplify]: iteration 3 : 1358 enodes (cost 1621 ) 10.329 * * [simplify]: iteration 4 : 2798 enodes (cost 1612 ) 10.829 * * [simplify]: iteration done : 5000 enodes (cost 1612 ) 10.830 * [simplify]: Simplified to: (expm1 (log (/ (cbrt x) (cbrt (+ x y))))) (log1p (log (/ (cbrt x) (cbrt (+ x y))))) (* 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))))) (- (* 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)))) (* -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 (fma x x (* y (- y 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))))) (expm1 (log (/ (cbrt x) (cbrt (+ x y))))) (log1p (log (/ (cbrt x) (cbrt (+ x y))))) (* 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)))) (* -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 (* (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)))) (* -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 (fma x x (* y (- y 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))))) (exp (log1p (cbrt x))) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (* 1/3 (- (log x) (log y))) 0 0 (* 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)) 10.831 * * * [progress]: adding candidates to table 11.367 * [progress]: [Phase 3 of 3] Extracting. 11.367 * * [regime]: Finding splitpoints for: (# # # # #) 11.368 * * * [regime-changes]: Trying 2 branch expressions: (y x) 11.368 * * * * [regimes]: Trying to branch on y from (# # # # #) 11.411 * * * * [regimes]: Trying to branch on x from (# # # # #) 11.438 * * * [regime]: Found split indices: #