6.009 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.014 * * * [progress]: [2/2] Setting up program. 0.015 * [progress]: [Phase 2 of 3] Improving. 0.016 * [simplify]: Simplifying using # : (exp (* (* x y) y)) 0.017 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 0.017 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 0.019 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 0.022 * * [simplify]: iteration 3 : 40 enodes (cost 6 ) 0.028 * * [simplify]: iteration 4 : 84 enodes (cost 6 ) 0.045 * * [simplify]: iteration 5 : 194 enodes (cost 6 ) 0.119 * * [simplify]: iteration 6 : 475 enodes (cost 6 ) 0.401 * * [simplify]: iteration 7 : 1291 enodes (cost 6 ) 1.849 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 1.849 * [simplify]: Simplified to: (exp (* (* x y) y)) 1.850 * * [progress]: iteration 1 / 4 1.850 * * * [progress]: picking best candidate 1.857 * * * * [pick]: Picked # 1.857 * * * [progress]: localizing error 1.862 * * * [progress]: generating rewritten candidates 1.862 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 1.869 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 1.872 * * * [progress]: generating series expansions 1.872 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 1.872 * [approximate]: Taking taylor expansion of (* x (pow y 2)) in (x y) around 0 1.872 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 1.872 * [taylor]: Taking taylor expansion of x in y 1.872 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.872 * [taylor]: Taking taylor expansion of y in y 1.872 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.872 * [taylor]: Taking taylor expansion of x in x 1.872 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.872 * [taylor]: Taking taylor expansion of y in x 1.872 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.872 * [taylor]: Taking taylor expansion of x in x 1.872 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.872 * [taylor]: Taking taylor expansion of y in x 1.872 * [taylor]: Taking taylor expansion of 0 in y 1.873 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.873 * [taylor]: Taking taylor expansion of y in y 1.874 * [taylor]: Taking taylor expansion of 0 in y 1.876 * [taylor]: Taking taylor expansion of 0 in y 1.877 * [approximate]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in (x y) around 0 1.877 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 1.877 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 1.877 * [taylor]: Taking taylor expansion of x in y 1.877 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.877 * [taylor]: Taking taylor expansion of y in y 1.877 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 1.877 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.877 * [taylor]: Taking taylor expansion of x in x 1.877 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.877 * [taylor]: Taking taylor expansion of y in x 1.878 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 1.878 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.878 * [taylor]: Taking taylor expansion of x in x 1.878 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.878 * [taylor]: Taking taylor expansion of y in x 1.879 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.879 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.879 * [taylor]: Taking taylor expansion of y in y 1.880 * [taylor]: Taking taylor expansion of 0 in y 1.883 * [taylor]: Taking taylor expansion of 0 in y 1.886 * [taylor]: Taking taylor expansion of 0 in y 1.890 * [taylor]: Taking taylor expansion of 0 in y 1.890 * [approximate]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in (x y) around 0 1.890 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 1.890 * [taylor]: Taking taylor expansion of -1 in y 1.890 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 1.891 * [taylor]: Taking taylor expansion of x in y 1.891 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.891 * [taylor]: Taking taylor expansion of y in y 1.891 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 1.891 * [taylor]: Taking taylor expansion of -1 in x 1.891 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.891 * [taylor]: Taking taylor expansion of x in x 1.891 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.891 * [taylor]: Taking taylor expansion of y in x 1.892 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 1.892 * [taylor]: Taking taylor expansion of -1 in x 1.892 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.892 * [taylor]: Taking taylor expansion of x in x 1.892 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.892 * [taylor]: Taking taylor expansion of y in x 1.893 * [taylor]: Taking taylor expansion of (/ -1 (pow y 2)) in y 1.893 * [taylor]: Taking taylor expansion of -1 in y 1.893 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.893 * [taylor]: Taking taylor expansion of y in y 1.894 * [taylor]: Taking taylor expansion of 0 in y 1.897 * [taylor]: Taking taylor expansion of 0 in y 1.901 * [taylor]: Taking taylor expansion of 0 in y 1.905 * [taylor]: Taking taylor expansion of 0 in y 1.905 * * * * [progress]: [ 2 / 2 ] generating series at (2) 1.905 * [approximate]: Taking taylor expansion of (exp (* x (pow y 2))) in (x y) around 0 1.905 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in y 1.905 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 1.905 * [taylor]: Taking taylor expansion of x in y 1.905 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.905 * [taylor]: Taking taylor expansion of y in y 1.906 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in x 1.906 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.906 * [taylor]: Taking taylor expansion of x in x 1.906 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.906 * [taylor]: Taking taylor expansion of y in x 1.906 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in x 1.906 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.906 * [taylor]: Taking taylor expansion of x in x 1.906 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.906 * [taylor]: Taking taylor expansion of y in x 1.907 * [taylor]: Taking taylor expansion of 1 in y 1.907 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.907 * [taylor]: Taking taylor expansion of y in y 1.909 * [taylor]: Taking taylor expansion of (* 1/2 (pow y 4)) in y 1.909 * [taylor]: Taking taylor expansion of 1/2 in y 1.909 * [taylor]: Taking taylor expansion of (pow y 4) in y 1.909 * [taylor]: Taking taylor expansion of y in y 1.912 * [taylor]: Taking taylor expansion of (* 1/6 (pow y 6)) in y 1.912 * [taylor]: Taking taylor expansion of 1/6 in y 1.912 * [taylor]: Taking taylor expansion of (pow y 6) in y 1.912 * [taylor]: Taking taylor expansion of y in y 1.916 * [taylor]: Taking taylor expansion of (* 1/24 (pow y 8)) in y 1.916 * [taylor]: Taking taylor expansion of 1/24 in y 1.916 * [taylor]: Taking taylor expansion of (pow y 8) in y 1.916 * [taylor]: Taking taylor expansion of y in y 1.922 * [taylor]: Taking taylor expansion of (* 1/120 (pow y 10)) in y 1.922 * [taylor]: Taking taylor expansion of 1/120 in y 1.922 * [taylor]: Taking taylor expansion of (pow y 10) in y 1.922 * [taylor]: Taking taylor expansion of y in y 1.931 * [taylor]: Taking taylor expansion of (* 1/720 (pow y 12)) in y 1.931 * [taylor]: Taking taylor expansion of 1/720 in y 1.931 * [taylor]: Taking taylor expansion of (pow y 12) in y 1.931 * [taylor]: Taking taylor expansion of y in y 1.932 * [approximate]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in (x y) around 0 1.932 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in y 1.932 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 1.932 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 1.932 * [taylor]: Taking taylor expansion of x in y 1.932 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.933 * [taylor]: Taking taylor expansion of y in y 1.933 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x 1.933 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 1.933 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.933 * [taylor]: Taking taylor expansion of x in x 1.933 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.933 * [taylor]: Taking taylor expansion of y in x 1.934 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x 1.934 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 1.934 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.934 * [taylor]: Taking taylor expansion of x in x 1.934 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.934 * [taylor]: Taking taylor expansion of y in x 1.935 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in y 1.935 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 1.935 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 1.935 * [taylor]: Taking taylor expansion of x 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.936 * [taylor]: Taking taylor expansion of 0 in y 1.936 * [taylor]: Taking taylor expansion of 0 in y 1.936 * [taylor]: Taking taylor expansion of 0 in y 1.936 * [approximate]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in (x y) around 0 1.936 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in y 1.936 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 1.936 * [taylor]: Taking taylor expansion of -1 in y 1.936 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 1.936 * [taylor]: Taking taylor expansion of x in y 1.936 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.936 * [taylor]: Taking taylor expansion of y in y 1.937 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in x 1.937 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 1.937 * [taylor]: Taking taylor expansion of -1 in x 1.937 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.937 * [taylor]: Taking taylor expansion of x in x 1.937 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.937 * [taylor]: Taking taylor expansion of y in x 1.938 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in x 1.938 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 1.938 * [taylor]: Taking taylor expansion of -1 in x 1.938 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 1.938 * [taylor]: Taking taylor expansion of x in x 1.938 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.938 * [taylor]: Taking taylor expansion of y in x 1.938 * [taylor]: Taking taylor expansion of (exp (/ -1 (* x (pow y 2)))) in y 1.939 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 1.939 * [taylor]: Taking taylor expansion of -1 in y 1.939 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 1.939 * [taylor]: Taking taylor expansion of x in y 1.939 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.939 * [taylor]: Taking taylor expansion of y in y 1.939 * [taylor]: Taking taylor expansion of 0 in y 1.939 * [taylor]: Taking taylor expansion of 0 in y 1.939 * [taylor]: Taking taylor expansion of 0 in y 1.939 * * * [progress]: simplifying candidates 1.940 * [simplify]: Simplifying using # : (* (* x y) y) (* (* x y) y) (+ (+ (log x) (log y)) (log y)) (+ (log (* x y)) (log y)) (log (* (* x y) y)) (exp (* (* x y) y)) (* (* (* (* x x) x) (* (* y y) y)) (* (* y y) y)) (* (* (* (* x y) (* x y)) (* x y)) (* (* y y) y)) (* (cbrt (* (* x y) y)) (cbrt (* (* x y) y))) (cbrt (* (* x y) y)) (* (* (* (* x y) y) (* (* x y) y)) (* (* x y) y)) (sqrt (* (* x y) y)) (sqrt (* (* x y) y)) (* (* x y) (* (cbrt y) (cbrt y))) (* (* x y) (sqrt y)) (* (* x y) 1) (* y y) (exp (* x y)) (log (exp (* (* x y) y))) (exp (exp (* (* x y) y))) (* (cbrt (exp (* (* x y) y))) (cbrt (exp (* (* x y) y)))) (cbrt (exp (* (* x y) y))) (* (* (exp (* (* x y) y)) (exp (* (* x y) y))) (exp (* (* x y) y))) (sqrt (exp (* (* x y) y))) (sqrt (exp (* (* x y) y))) (* x (pow y 2)) (* x (pow y 2)) (* x (pow y 2)) (+ (* x (pow y 2)) (+ (* 1/2 (* (pow x 2) (pow y 4))) 1)) (exp (* x (pow y 2))) (exp (* x (pow y 2))) 1.942 * * [simplify]: iteration 0 : 53 enodes (cost 260 ) 1.955 * * [simplify]: iteration 1 : 130 enodes (cost 252 ) 2.009 * * [simplify]: iteration 2 : 486 enodes (cost 211 ) 2.580 * * [simplify]: iteration 3 : 2018 enodes (cost 211 ) 4.751 * * [simplify]: iteration done : 5000 enodes (cost 211 ) 4.751 * [simplify]: Simplified to: (* (* y x) y) (* (* y x) y) (log (* (* y y) x)) (log (* (* y y) x)) (log (* (* y y) x)) (pow (exp (* x y)) y) (pow (* (* y y) x) 3) (pow (* (* y y) x) 3) (* (cbrt (* (* x y) y)) (cbrt (* (* x y) y))) (cbrt (* (* x y) y)) (pow (* (* y y) x) 3) (sqrt (* (* x y) y)) (sqrt (* (* x y) y)) (* (* x y) (* (cbrt y) (cbrt y))) (* (* x y) (sqrt y)) (* y x) (pow y 2) (exp (* x y)) (* (* y x) y) (exp (exp (* (* x y) y))) (* (cbrt (exp (* (* x y) y))) (cbrt (exp (* (* x y) y)))) (cbrt (exp (* (* x y) y))) (pow (exp (* (* x y) y)) 3) (sqrt (exp (* (* x y) y))) (sqrt (exp (* (* x y) y))) (* (* y x) y) (* (* y x) y) (* (* y x) y) (+ (* x (pow y 2)) (+ (* 1/2 (* (pow x 2) (pow y 4))) 1)) (pow (exp (* x y)) y) (pow (exp (* x y)) y) 4.751 * * * [progress]: adding candidates to table 4.813 * * [progress]: iteration 2 / 4 4.813 * * * [progress]: picking best candidate 4.816 * * * * [pick]: Picked # 4.816 * * * [progress]: localizing error 4.824 * * * [progress]: generating rewritten candidates 4.824 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 4.825 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 4.835 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 4.844 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 4.851 * * * [progress]: generating series expansions 4.851 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 4.852 * [approximate]: Taking taylor expansion of (* x (pow y 2)) in (y x) around 0 4.852 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 4.852 * [taylor]: Taking taylor expansion of x in x 4.852 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.852 * [taylor]: Taking taylor expansion of y in x 4.852 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 4.852 * [taylor]: Taking taylor expansion of x in y 4.852 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.852 * [taylor]: Taking taylor expansion of y in y 4.852 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 4.852 * [taylor]: Taking taylor expansion of x in y 4.852 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.852 * [taylor]: Taking taylor expansion of y in y 4.853 * [taylor]: Taking taylor expansion of x in x 4.854 * [taylor]: Taking taylor expansion of 0 in x 4.855 * [taylor]: Taking taylor expansion of 0 in x 4.856 * [taylor]: Taking taylor expansion of 0 in x 4.856 * [approximate]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in (y x) around 0 4.856 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 4.856 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 4.856 * [taylor]: Taking taylor expansion of x in x 4.856 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.856 * [taylor]: Taking taylor expansion of y in x 4.857 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 4.857 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 4.857 * [taylor]: Taking taylor expansion of x in y 4.857 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.857 * [taylor]: Taking taylor expansion of y in y 4.858 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 4.858 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 4.858 * [taylor]: Taking taylor expansion of x in y 4.858 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.858 * [taylor]: Taking taylor expansion of y in y 4.858 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.858 * [taylor]: Taking taylor expansion of x in x 4.859 * [taylor]: Taking taylor expansion of 0 in x 4.861 * [taylor]: Taking taylor expansion of 0 in x 4.863 * [taylor]: Taking taylor expansion of 0 in x 4.864 * [approximate]: Taking taylor expansion of (/ (cbrt -1) (* x (pow y 2))) in (y x) around 0 4.864 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* x (pow y 2))) in x 4.864 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.864 * [taylor]: Taking taylor expansion of -1 in x 4.865 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 4.865 * [taylor]: Taking taylor expansion of x in x 4.865 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.865 * [taylor]: Taking taylor expansion of y in x 4.866 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* x (pow y 2))) in y 4.866 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.866 * [taylor]: Taking taylor expansion of -1 in y 4.867 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 4.867 * [taylor]: Taking taylor expansion of x in y 4.867 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.867 * [taylor]: Taking taylor expansion of y in y 4.867 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* x (pow y 2))) in y 4.867 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.867 * [taylor]: Taking taylor expansion of -1 in y 4.868 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 4.868 * [taylor]: Taking taylor expansion of x in y 4.868 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.868 * [taylor]: Taking taylor expansion of y in y 4.869 * [taylor]: Taking taylor expansion of (/ (cbrt -1) x) in x 4.869 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.869 * [taylor]: Taking taylor expansion of -1 in x 4.870 * [taylor]: Taking taylor expansion of x in x 4.872 * [taylor]: Taking taylor expansion of 0 in x 4.875 * [taylor]: Taking taylor expansion of 0 in x 4.879 * [taylor]: Taking taylor expansion of 0 in x 4.881 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 4.881 * [approximate]: Taking taylor expansion of (* x (pow y 2)) in (y x) around 0 4.881 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 4.881 * [taylor]: Taking taylor expansion of x in x 4.881 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.881 * [taylor]: Taking taylor expansion of y in x 4.881 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 4.881 * [taylor]: Taking taylor expansion of x in y 4.882 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.882 * [taylor]: Taking taylor expansion of y in y 4.882 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 4.882 * [taylor]: Taking taylor expansion of x in y 4.882 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.882 * [taylor]: Taking taylor expansion of y in y 4.882 * [taylor]: Taking taylor expansion of x in x 4.883 * [taylor]: Taking taylor expansion of 0 in x 4.884 * [taylor]: Taking taylor expansion of 0 in x 4.886 * [taylor]: Taking taylor expansion of 0 in x 4.886 * [approximate]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in (y x) around 0 4.886 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 4.886 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 4.886 * [taylor]: Taking taylor expansion of x in x 4.886 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.886 * [taylor]: Taking taylor expansion of y in x 4.887 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 4.887 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 4.887 * [taylor]: Taking taylor expansion of x in y 4.887 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.887 * [taylor]: Taking taylor expansion of y in y 4.887 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 4.887 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 4.887 * [taylor]: Taking taylor expansion of x in y 4.887 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.887 * [taylor]: Taking taylor expansion of y in y 4.888 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.888 * [taylor]: Taking taylor expansion of x in x 4.889 * [taylor]: Taking taylor expansion of 0 in x 4.891 * [taylor]: Taking taylor expansion of 0 in x 4.893 * [taylor]: Taking taylor expansion of 0 in x 4.894 * [approximate]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in (y x) around 0 4.894 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 4.894 * [taylor]: Taking taylor expansion of -1 in x 4.894 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 4.894 * [taylor]: Taking taylor expansion of x in x 4.894 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.894 * [taylor]: Taking taylor expansion of y in x 4.895 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 4.895 * [taylor]: Taking taylor expansion of -1 in y 4.895 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 4.895 * [taylor]: Taking taylor expansion of x in y 4.895 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.895 * [taylor]: Taking taylor expansion of y in y 4.895 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 4.895 * [taylor]: Taking taylor expansion of -1 in y 4.895 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 4.895 * [taylor]: Taking taylor expansion of x in y 4.895 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.895 * [taylor]: Taking taylor expansion of y in y 4.896 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.896 * [taylor]: Taking taylor expansion of -1 in x 4.896 * [taylor]: Taking taylor expansion of x in x 4.897 * [taylor]: Taking taylor expansion of 0 in x 4.899 * [taylor]: Taking taylor expansion of 0 in x 4.901 * [taylor]: Taking taylor expansion of 0 in x 4.902 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 4.902 * [approximate]: Taking taylor expansion of (pow (* x (pow y 2)) 3) in (y x) around 0 4.902 * [taylor]: Taking taylor expansion of (pow (* x (pow y 2)) 3) in x 4.902 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 4.902 * [taylor]: Taking taylor expansion of x in x 4.902 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.902 * [taylor]: Taking taylor expansion of y in x 4.902 * [taylor]: Taking taylor expansion of (pow (* x (pow y 2)) 3) in y 4.902 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 4.902 * [taylor]: Taking taylor expansion of x in y 4.903 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.903 * [taylor]: Taking taylor expansion of y in y 4.903 * [taylor]: Taking taylor expansion of (pow (* x (pow y 2)) 3) in y 4.903 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 4.903 * [taylor]: Taking taylor expansion of x in y 4.903 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.903 * [taylor]: Taking taylor expansion of y in y 4.904 * [taylor]: Taking taylor expansion of (pow x 3) in x 4.904 * [taylor]: Taking taylor expansion of x in x 4.905 * [taylor]: Taking taylor expansion of 0 in x 4.908 * [taylor]: Taking taylor expansion of 0 in x 4.911 * [taylor]: Taking taylor expansion of 0 in x 4.911 * [approximate]: Taking taylor expansion of (pow (/ 1 (* x (pow y 2))) 3) in (y x) around 0 4.911 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (pow y 2))) 3) in x 4.911 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 4.911 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 4.911 * [taylor]: Taking taylor expansion of x in x 4.911 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.911 * [taylor]: Taking taylor expansion of y in x 4.912 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (pow y 2))) 3) in y 4.912 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 4.912 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 4.912 * [taylor]: Taking taylor expansion of x in y 4.912 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.912 * [taylor]: Taking taylor expansion of y in y 4.913 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (pow y 2))) 3) in y 4.913 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 4.913 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 4.913 * [taylor]: Taking taylor expansion of x in y 4.913 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.913 * [taylor]: Taking taylor expansion of y in y 4.913 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 4.913 * [taylor]: Taking taylor expansion of (pow x 3) in x 4.913 * [taylor]: Taking taylor expansion of x in x 4.915 * [taylor]: Taking taylor expansion of 0 in x 4.918 * [taylor]: Taking taylor expansion of 0 in x 4.922 * [taylor]: Taking taylor expansion of 0 in x 4.931 * [taylor]: Taking taylor expansion of 0 in x 4.937 * [taylor]: Taking taylor expansion of 0 in x 4.938 * [approximate]: Taking taylor expansion of (pow (/ -1 (* x (pow y 2))) 3) in (y x) around 0 4.938 * [taylor]: Taking taylor expansion of (pow (/ -1 (* x (pow y 2))) 3) in x 4.938 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 4.938 * [taylor]: Taking taylor expansion of -1 in x 4.938 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 4.938 * [taylor]: Taking taylor expansion of x in x 4.938 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.938 * [taylor]: Taking taylor expansion of y in x 4.939 * [taylor]: Taking taylor expansion of (pow (/ -1 (* x (pow y 2))) 3) in y 4.939 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 4.939 * [taylor]: Taking taylor expansion of -1 in y 4.939 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 4.939 * [taylor]: Taking taylor expansion of x in y 4.939 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.939 * [taylor]: Taking taylor expansion of y in y 4.939 * [taylor]: Taking taylor expansion of (pow (/ -1 (* x (pow y 2))) 3) in y 4.939 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 4.939 * [taylor]: Taking taylor expansion of -1 in y 4.939 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 4.939 * [taylor]: Taking taylor expansion of x in y 4.940 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.940 * [taylor]: Taking taylor expansion of y in y 4.940 * [taylor]: Taking taylor expansion of (/ -1 (pow x 3)) in x 4.940 * [taylor]: Taking taylor expansion of -1 in x 4.940 * [taylor]: Taking taylor expansion of (pow x 3) in x 4.940 * [taylor]: Taking taylor expansion of x in x 4.942 * [taylor]: Taking taylor expansion of 0 in x 4.945 * [taylor]: Taking taylor expansion of 0 in x 4.949 * [taylor]: Taking taylor expansion of 0 in x 4.955 * [taylor]: Taking taylor expansion of 0 in x 4.961 * [taylor]: Taking taylor expansion of 0 in x 4.961 * * * * [progress]: [ 4 / 4 ] generating series at (2) 4.961 * [approximate]: Taking taylor expansion of (exp (* x (pow y 2))) in (y x) around 0 4.961 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in x 4.961 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 4.961 * [taylor]: Taking taylor expansion of x in x 4.961 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.961 * [taylor]: Taking taylor expansion of y in x 4.962 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in y 4.962 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 4.962 * [taylor]: Taking taylor expansion of x in y 4.962 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.962 * [taylor]: Taking taylor expansion of y in y 4.962 * [taylor]: Taking taylor expansion of (exp (* x (pow y 2))) in y 4.962 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 4.962 * [taylor]: Taking taylor expansion of x in y 4.962 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.962 * [taylor]: Taking taylor expansion of y in y 4.963 * [taylor]: Taking taylor expansion of 1 in x 4.963 * [taylor]: Taking taylor expansion of 0 in x 4.964 * [taylor]: Taking taylor expansion of x in x 4.966 * [taylor]: Taking taylor expansion of 0 in x 4.967 * [approximate]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in (y x) around 0 4.967 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x 4.967 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 4.967 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 4.967 * [taylor]: Taking taylor expansion of x in x 4.967 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.967 * [taylor]: Taking taylor expansion of y in x 4.968 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in y 4.968 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 4.968 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 4.968 * [taylor]: Taking taylor expansion of x in y 4.968 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.968 * [taylor]: Taking taylor expansion of y in y 4.968 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in y 4.968 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 4.968 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 4.968 * [taylor]: Taking taylor expansion of x in y 4.968 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.968 * [taylor]: Taking taylor expansion of y in y 4.969 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x 4.969 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 4.969 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 4.969 * [taylor]: Taking taylor expansion of x in x 4.969 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.969 * [taylor]: Taking taylor expansion of y in x 4.970 * [taylor]: Taking taylor expansion of 0 in x 4.970 * [taylor]: Taking taylor expansion of 0 in x 4.970 * [taylor]: Taking taylor expansion of 0 in x 4.971 * [approximate]: Taking taylor expansion of (exp (/ (cbrt -1) (* x (pow y 2)))) in (y x) around 0 4.971 * [taylor]: Taking taylor expansion of (exp (/ (cbrt -1) (* x (pow y 2)))) in x 4.971 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* x (pow y 2))) in x 4.971 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.971 * [taylor]: Taking taylor expansion of -1 in x 4.972 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 4.972 * [taylor]: Taking taylor expansion of x in x 4.972 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.972 * [taylor]: Taking taylor expansion of y in x 4.973 * [taylor]: Taking taylor expansion of (exp (/ (cbrt -1) (* x (pow y 2)))) in y 4.973 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* x (pow y 2))) in y 4.973 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.973 * [taylor]: Taking taylor expansion of -1 in y 4.974 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 4.974 * [taylor]: Taking taylor expansion of x in y 4.974 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.974 * [taylor]: Taking taylor expansion of y in y 4.975 * [taylor]: Taking taylor expansion of (exp (/ (cbrt -1) (* x (pow y 2)))) in y 4.975 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* x (pow y 2))) in y 4.975 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.975 * [taylor]: Taking taylor expansion of -1 in y 4.976 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 4.976 * [taylor]: Taking taylor expansion of x in y 4.976 * [taylor]: Taking taylor expansion of (pow y 2) in y 4.976 * [taylor]: Taking taylor expansion of y in y 4.977 * [taylor]: Taking taylor expansion of (exp (/ (cbrt -1) (* x (pow y 2)))) in x 4.977 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* x (pow y 2))) in x 4.977 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.977 * [taylor]: Taking taylor expansion of -1 in x 4.978 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 4.978 * [taylor]: Taking taylor expansion of x in x 4.978 * [taylor]: Taking taylor expansion of (pow y 2) in x 4.978 * [taylor]: Taking taylor expansion of y in x 4.980 * [taylor]: Taking taylor expansion of 0 in x 4.980 * [taylor]: Taking taylor expansion of 0 in x 4.980 * [taylor]: Taking taylor expansion of 0 in x 4.981 * * * [progress]: simplifying candidates 4.982 * [simplify]: Simplifying using # : (log (cbrt (pow (* (* y y) x) 3))) (exp (cbrt (pow (* (* y y) x) 3))) (cbrt (pow (* y y) 3)) (cbrt (pow x 3)) (cbrt (* (* (* y y) x) (* (* y y) x))) (cbrt (* (* y y) x)) (cbrt (* (cbrt (pow (* (* y y) x) 3)) (cbrt (pow (* (* y y) x) 3)))) (cbrt (cbrt (pow (* (* y y) x) 3))) (cbrt (pow (* y y) 3)) (cbrt (pow x 3)) (cbrt (* (* y y) x)) (cbrt (* (* (* y y) x) (* (* y y) x))) (cbrt (sqrt (pow (* (* y y) x) 3))) (cbrt (sqrt (pow (* (* y y) x) 3))) (cbrt 1) (cbrt (pow (* (* y y) x) 3)) (cbrt (pow (* (* y y) x) (/ 3 2))) (cbrt (pow (* (* y y) x) (/ 3 2))) (* (cbrt (cbrt (pow (* (* y y) x) 3))) (cbrt (cbrt (pow (* (* y y) x) 3)))) (cbrt (cbrt (pow (* (* y y) x) 3))) (* (* (cbrt (pow (* (* y y) x) 3)) (cbrt (pow (* (* y y) x) 3))) (cbrt (pow (* (* y y) x) 3))) (sqrt (cbrt (pow (* (* y y) x) 3))) (sqrt (cbrt (pow (* (* y y) x) 3))) (* (* y y) x) (* (* y y) x) (+ (+ (log y) (log y)) (log x)) (+ (log (* y y)) (log x)) (log (* (* y y) x)) (exp (* (* y y) x)) (* (* (* (* y y) y) (* (* y y) y)) (* (* x x) x)) (* (* (* (* y y) (* y y)) (* y y)) (* (* x x) x)) (* (cbrt (* (* y y) x)) (cbrt (* (* y y) x))) (cbrt (* (* y y) x)) (* (* (* (* y y) x) (* (* y y) x)) (* (* y y) x)) (sqrt (* (* y y) x)) (sqrt (* (* y y) x)) (* y (sqrt x)) (* y (sqrt x)) (* (* y y) (* (cbrt x) (cbrt x))) (* (* y y) (sqrt x)) (* (* y y) 1) (* y x) (* (+ (+ (log y) (log y)) (log x)) 3) (* (+ (log (* y y)) (log x)) 3) (* (log (* (* y y) x)) 3) (* (log (* (* y y) x)) 3) (* 1 3) (* 1 3) (* 1 3) (pow (* (* y y) x) (* (cbrt 3) (cbrt 3))) (pow (* (* y y) x) (sqrt 3)) (pow (* (* y y) x) 1) (pow (* y y) 3) (pow x 3) (* (* (* y y) x) (* (* y y) x)) (log (pow (* (* y y) x) 3)) (exp (pow (* (* y y) x) 3)) (* (cbrt (pow (* (* y y) x) 3)) (cbrt (pow (* (* y y) x) 3))) (cbrt (pow (* (* y y) x) 3)) (* (* (pow (* (* y y) x) 3) (pow (* (* y y) x) 3)) (pow (* (* y y) x) 3)) (pow (* y y) 3) (pow x 3) (* (* (* y y) x) (* (* y y) x)) (sqrt (pow (* (* y y) x) 3)) (sqrt (pow (* (* y y) x) 3)) (pow (* (* y y) x) (/ 3 2)) (pow (* (* y y) x) (/ 3 2)) (exp (cbrt (pow (* y y) 3))) (exp (cbrt (* (* (* y y) x) (* (* y y) x)))) (exp (cbrt (* (cbrt (pow (* (* y y) x) 3)) (cbrt (pow (* (* y y) x) 3))))) (exp (cbrt (pow (* y y) 3))) (exp (cbrt (* (* y y) x))) (exp (cbrt (sqrt (pow (* (* y y) x) 3)))) (exp (cbrt 1)) (exp (cbrt (pow (* (* y y) x) (/ 3 2)))) (exp (* (cbrt (cbrt (pow (* (* y y) x) 3))) (cbrt (cbrt (pow (* (* y y) x) 3))))) (exp (sqrt (cbrt (pow (* (* y y) x) 3)))) (exp 1) (log (exp (cbrt (pow (* (* y y) x) 3)))) (exp (exp (cbrt (pow (* (* y y) x) 3)))) (* (cbrt (exp (cbrt (pow (* (* y y) x) 3)))) (cbrt (exp (cbrt (pow (* (* y y) x) 3))))) (cbrt (exp (cbrt (pow (* (* y y) x) 3)))) (* (* (exp (cbrt (pow (* (* y y) x) 3))) (exp (cbrt (pow (* (* y y) x) 3)))) (exp (cbrt (pow (* (* y y) x) 3)))) (sqrt (exp (cbrt (pow (* (* y y) x) 3)))) (sqrt (exp (cbrt (pow (* (* y y) x) 3)))) (* x (pow y 2)) (* x (pow y 2)) (* -1 (* (cbrt -1) (* x (pow y 2)))) (* x (pow y 2)) (* x (pow y 2)) (* x (pow y 2)) (* (pow x 3) (pow y 6)) (* (pow x 3) (pow y 6)) (* (pow x 3) (pow y 6)) 1 (exp (* x (pow y 2))) (exp (* -1 (* (cbrt -1) (* x (pow y 2))))) 4.985 * * [simplify]: iteration 0 : 99 enodes (cost 860 ) 5.007 * * [simplify]: iteration 1 : 201 enodes (cost 659 ) 5.092 * * [simplify]: iteration 2 : 785 enodes (cost 610 ) 5.766 * * [simplify]: iteration done : 5000 enodes (cost 610 ) 5.766 * [simplify]: Simplified to: (log (* (* y y) x)) (exp (* (* y y) x)) (* y y) x (cbrt (pow (* (* y y) x) 2)) (cbrt (* x (pow y 2))) (cbrt (pow (* (* y y) x) 2)) (cbrt (* x (pow y 2))) (* y y) x (cbrt (* x (pow y 2))) (cbrt (pow (* (* y y) x) 2)) (cbrt (sqrt (pow (* (* y y) x) 3))) (cbrt (sqrt (pow (* (* y y) x) 3))) 1 (* (* y y) x) (cbrt (pow (* (* y y) x) 3/2)) (cbrt (pow (* (* y y) x) 3/2)) (* (cbrt (* (* y y) x)) (cbrt (* (* y y) x))) (cbrt (* x (pow y 2))) (pow (* (* y y) x) 3) (sqrt (* x (pow y 2))) (sqrt (* x (pow y 2))) (* (* y y) x) (* (* y y) x) (log (* (* y y) x)) (log (* (* y y) x)) (log (* (* y y) x)) (exp (* (* y y) x)) (pow (* (* y y) x) 3) (pow (* (* y y) x) 3) (* (cbrt (* (* y y) x)) (cbrt (* (* y y) x))) (cbrt (* x (pow y 2))) (pow (* (* y y) x) 3) (sqrt (* x (pow y 2))) (sqrt (* x (pow y 2))) (* y (sqrt x)) (* y (sqrt x)) (* (* y y) (* (cbrt x) (cbrt x))) (* (* y y) (sqrt x)) (* y y) (* y x) (* (log (* (* y y) x)) 3) (* (log (* (* y y) x)) 3) (* (log (* (* y y) x)) 3) (* (log (* (* y y) x)) 3) 3 3 3 (pow (* (* y y) x) (* (cbrt 3) (cbrt 3))) (pow (* (* y y) x) (sqrt 3)) (* (* y y) x) (pow y 6) (pow x 3) (* (* x x) (pow y 4)) (* (log (* (* y y) x)) 3) (exp (pow (* (* y y) x) 3)) (* (* x x) (pow y 4)) (* (* y y) x) (pow (pow (* (* y y) x) 3) 3) (pow y 6) (pow x 3) (* (* x x) (pow y 4)) (sqrt (pow (* (* y y) x) 3)) (sqrt (pow (* (* y y) x) 3)) (pow (* (* y y) x) 3/2) (pow (* (* y y) x) 3/2) (exp (* y y)) (exp (cbrt (pow (* (* y y) x) 2))) (exp (cbrt (pow (* (* y y) x) 2))) (exp (* y y)) (exp (cbrt (* (* y y) x))) (exp (cbrt (sqrt (pow (* (* y y) x) 3)))) E (exp (cbrt (pow (* (* y y) x) 3/2))) (exp (* (cbrt (* (* y y) x)) (cbrt (* (* y y) x)))) (exp (sqrt (* (* y y) x))) E (* (* y y) x) (exp (exp (* x (pow y 2)))) (* (cbrt (exp (* (* y y) x))) (cbrt (exp (* (* y y) x)))) (cbrt (exp (* (* y y) x))) (pow (exp (* (* y y) x)) 3) (sqrt (exp (* (* y y) x))) (sqrt (exp (* (* y y) x))) (* (* y y) x) (* (* y y) x) (- (* (cbrt -1) (* x (pow y 2)))) (* (* y y) x) (* (* y y) x) (* (* y y) x) (pow (* (* y y) x) 3) (pow (* (* y y) x) 3) (pow (* (* y y) x) 3) 1 (exp (* (* y y) x)) (exp (- (* (cbrt -1) (* x (pow y 2))))) 5.767 * * * [progress]: adding candidates to table 5.956 * * [progress]: iteration 3 / 4 5.956 * * * [progress]: picking best candidate 5.961 * * * * [pick]: Picked # 5.961 * * * [progress]: localizing error 5.971 * * * [progress]: generating rewritten candidates 5.972 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 5.973 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1) 5.981 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 5.988 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 5.992 * * * [progress]: generating series expansions 5.992 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 5.993 * [approximate]: Taking taylor expansion of (* x (pow y 2)) in (y x) around 0 5.993 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 5.993 * [taylor]: Taking taylor expansion of x in x 5.993 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.993 * [taylor]: Taking taylor expansion of y in x 5.993 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 5.993 * [taylor]: Taking taylor expansion of x in y 5.993 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.993 * [taylor]: Taking taylor expansion of y in y 5.993 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 5.993 * [taylor]: Taking taylor expansion of x in y 5.993 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.993 * [taylor]: Taking taylor expansion of y in y 5.993 * [taylor]: Taking taylor expansion of x in x 5.994 * [taylor]: Taking taylor expansion of 0 in x 5.995 * [taylor]: Taking taylor expansion of 0 in x 5.996 * [taylor]: Taking taylor expansion of 0 in x 5.997 * [approximate]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in (y x) around 0 5.997 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 5.997 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 5.997 * [taylor]: Taking taylor expansion of x in x 5.997 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.997 * [taylor]: Taking taylor expansion of y in x 5.998 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 5.998 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 5.998 * [taylor]: Taking taylor expansion of x in y 5.998 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.998 * [taylor]: Taking taylor expansion of y in y 5.998 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 5.998 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 5.998 * [taylor]: Taking taylor expansion of x in y 5.998 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.998 * [taylor]: Taking taylor expansion of y in y 6.002 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.002 * [taylor]: Taking taylor expansion of x in x 6.003 * [taylor]: Taking taylor expansion of 0 in x 6.005 * [taylor]: Taking taylor expansion of 0 in x 6.006 * [taylor]: Taking taylor expansion of 0 in x 6.008 * [approximate]: Taking taylor expansion of (/ (cbrt -1) (* x (pow y 2))) in (y x) around 0 6.008 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* x (pow y 2))) in x 6.008 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.008 * [taylor]: Taking taylor expansion of -1 in x 6.009 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 6.009 * [taylor]: Taking taylor expansion of x in x 6.009 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.009 * [taylor]: Taking taylor expansion of y in x 6.010 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* x (pow y 2))) in y 6.010 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.010 * [taylor]: Taking taylor expansion of -1 in y 6.010 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 6.011 * [taylor]: Taking taylor expansion of x in y 6.011 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.011 * [taylor]: Taking taylor expansion of y in y 6.011 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* x (pow y 2))) in y 6.011 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.011 * [taylor]: Taking taylor expansion of -1 in y 6.012 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 6.012 * [taylor]: Taking taylor expansion of x in y 6.012 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.012 * [taylor]: Taking taylor expansion of y in y 6.013 * [taylor]: Taking taylor expansion of (/ (cbrt -1) x) in x 6.013 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.013 * [taylor]: Taking taylor expansion of -1 in x 6.014 * [taylor]: Taking taylor expansion of x in x 6.016 * [taylor]: Taking taylor expansion of 0 in x 6.019 * [taylor]: Taking taylor expansion of 0 in x 6.023 * [taylor]: Taking taylor expansion of 0 in x 6.025 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1) 6.025 * [approximate]: Taking taylor expansion of (* x (pow y 2)) in (y x) around 0 6.025 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 6.026 * [taylor]: Taking taylor expansion of x in x 6.026 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.026 * [taylor]: Taking taylor expansion of y in x 6.026 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 6.026 * [taylor]: Taking taylor expansion of x in y 6.026 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.026 * [taylor]: Taking taylor expansion of y in y 6.026 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 6.026 * [taylor]: Taking taylor expansion of x in y 6.026 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.026 * [taylor]: Taking taylor expansion of y in y 6.026 * [taylor]: Taking taylor expansion of x in x 6.027 * [taylor]: Taking taylor expansion of 0 in x 6.028 * [taylor]: Taking taylor expansion of 0 in x 6.029 * [taylor]: Taking taylor expansion of 0 in x 6.030 * [approximate]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in (y x) around 0 6.030 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 6.030 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 6.030 * [taylor]: Taking taylor expansion of x in x 6.030 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.030 * [taylor]: Taking taylor expansion of y in x 6.030 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 6.030 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 6.030 * [taylor]: Taking taylor expansion of x in y 6.030 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.030 * [taylor]: Taking taylor expansion of y in y 6.031 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 6.031 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 6.031 * [taylor]: Taking taylor expansion of x in y 6.031 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.031 * [taylor]: Taking taylor expansion of y in y 6.031 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.031 * [taylor]: Taking taylor expansion of x in x 6.032 * [taylor]: Taking taylor expansion of 0 in x 6.034 * [taylor]: Taking taylor expansion of 0 in x 6.036 * [taylor]: Taking taylor expansion of 0 in x 6.037 * [approximate]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in (y x) around 0 6.037 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 6.037 * [taylor]: Taking taylor expansion of -1 in x 6.037 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 6.037 * [taylor]: Taking taylor expansion of x in x 6.037 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.037 * [taylor]: Taking taylor expansion of y in x 6.037 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 6.037 * [taylor]: Taking taylor expansion of -1 in y 6.037 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 6.037 * [taylor]: Taking taylor expansion of x in y 6.038 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.038 * [taylor]: Taking taylor expansion of y in y 6.038 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 6.038 * [taylor]: Taking taylor expansion of -1 in y 6.038 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 6.038 * [taylor]: Taking taylor expansion of x in y 6.038 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.038 * [taylor]: Taking taylor expansion of y in y 6.038 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.038 * [taylor]: Taking taylor expansion of -1 in x 6.038 * [taylor]: Taking taylor expansion of x in x 6.039 * [taylor]: Taking taylor expansion of 0 in x 6.041 * [taylor]: Taking taylor expansion of 0 in x 6.043 * [taylor]: Taking taylor expansion of 0 in x 6.044 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 6.044 * [approximate]: Taking taylor expansion of (pow (* x (pow y 2)) 3) in (y x) around 0 6.044 * [taylor]: Taking taylor expansion of (pow (* x (pow y 2)) 3) in x 6.044 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 6.044 * [taylor]: Taking taylor expansion of x in x 6.044 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.044 * [taylor]: Taking taylor expansion of y in x 6.045 * [taylor]: Taking taylor expansion of (pow (* x (pow y 2)) 3) in y 6.045 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 6.045 * [taylor]: Taking taylor expansion of x in y 6.045 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.045 * [taylor]: Taking taylor expansion of y in y 6.045 * [taylor]: Taking taylor expansion of (pow (* x (pow y 2)) 3) in y 6.045 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 6.045 * [taylor]: Taking taylor expansion of x in y 6.045 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.045 * [taylor]: Taking taylor expansion of y in y 6.046 * [taylor]: Taking taylor expansion of (pow x 3) in x 6.046 * [taylor]: Taking taylor expansion of x in x 6.047 * [taylor]: Taking taylor expansion of 0 in x 6.050 * [taylor]: Taking taylor expansion of 0 in x 6.053 * [taylor]: Taking taylor expansion of 0 in x 6.053 * [approximate]: Taking taylor expansion of (pow (/ 1 (* x (pow y 2))) 3) in (y x) around 0 6.053 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (pow y 2))) 3) in x 6.053 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 6.053 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 6.053 * [taylor]: Taking taylor expansion of x in x 6.053 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.054 * [taylor]: Taking taylor expansion of y in x 6.054 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (pow y 2))) 3) in y 6.054 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 6.054 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 6.054 * [taylor]: Taking taylor expansion of x in y 6.054 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.054 * [taylor]: Taking taylor expansion of y in y 6.055 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (pow y 2))) 3) in y 6.055 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 6.055 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 6.055 * [taylor]: Taking taylor expansion of x in y 6.055 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.055 * [taylor]: Taking taylor expansion of y in y 6.055 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 6.055 * [taylor]: Taking taylor expansion of (pow x 3) in x 6.055 * [taylor]: Taking taylor expansion of x in x 6.057 * [taylor]: Taking taylor expansion of 0 in x 6.061 * [taylor]: Taking taylor expansion of 0 in x 6.065 * [taylor]: Taking taylor expansion of 0 in x 6.069 * [taylor]: Taking taylor expansion of 0 in x 6.075 * [taylor]: Taking taylor expansion of 0 in x 6.076 * [approximate]: Taking taylor expansion of (pow (/ -1 (* x (pow y 2))) 3) in (y x) around 0 6.076 * [taylor]: Taking taylor expansion of (pow (/ -1 (* x (pow y 2))) 3) in x 6.076 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 6.076 * [taylor]: Taking taylor expansion of -1 in x 6.076 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 6.076 * [taylor]: Taking taylor expansion of x in x 6.076 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.076 * [taylor]: Taking taylor expansion of y in x 6.077 * [taylor]: Taking taylor expansion of (pow (/ -1 (* x (pow y 2))) 3) in y 6.077 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 6.077 * [taylor]: Taking taylor expansion of -1 in y 6.077 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 6.077 * [taylor]: Taking taylor expansion of x in y 6.077 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.077 * [taylor]: Taking taylor expansion of y in y 6.077 * [taylor]: Taking taylor expansion of (pow (/ -1 (* x (pow y 2))) 3) in y 6.077 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 6.077 * [taylor]: Taking taylor expansion of -1 in y 6.077 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 6.077 * [taylor]: Taking taylor expansion of x in y 6.077 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.077 * [taylor]: Taking taylor expansion of y in y 6.078 * [taylor]: Taking taylor expansion of (/ -1 (pow x 3)) in x 6.078 * [taylor]: Taking taylor expansion of -1 in x 6.078 * [taylor]: Taking taylor expansion of (pow x 3) in x 6.078 * [taylor]: Taking taylor expansion of x in x 6.080 * [taylor]: Taking taylor expansion of 0 in x 6.083 * [taylor]: Taking taylor expansion of 0 in x 6.087 * [taylor]: Taking taylor expansion of 0 in x 6.092 * [taylor]: Taking taylor expansion of 0 in x 6.101 * [taylor]: Taking taylor expansion of 0 in x 6.101 * * * * [progress]: [ 4 / 4 ] generating series at (2) 6.101 * [approximate]: Taking taylor expansion of (pow E (* x (pow y 2))) in (y x) around 0 6.101 * [taylor]: Taking taylor expansion of (pow E (* x (pow y 2))) in x 6.101 * [taylor]: Taking taylor expansion of (exp (* (* x (pow y 2)) (log E))) in x 6.101 * [taylor]: Taking taylor expansion of (* (* x (pow y 2)) (log E)) in x 6.101 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 6.101 * [taylor]: Taking taylor expansion of x in x 6.101 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.101 * [taylor]: Taking taylor expansion of y in x 6.101 * [taylor]: Taking taylor expansion of (log E) in x 6.101 * [taylor]: Taking taylor expansion of E in x 6.104 * [taylor]: Taking taylor expansion of (pow E (* x (pow y 2))) in y 6.104 * [taylor]: Taking taylor expansion of (exp (* (* x (pow y 2)) (log E))) in y 6.104 * [taylor]: Taking taylor expansion of (* (* x (pow y 2)) (log E)) in y 6.104 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 6.104 * [taylor]: Taking taylor expansion of x in y 6.104 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.104 * [taylor]: Taking taylor expansion of y in y 6.104 * [taylor]: Taking taylor expansion of (log E) in y 6.104 * [taylor]: Taking taylor expansion of E in y 6.104 * [taylor]: Taking taylor expansion of (pow E (* x (pow y 2))) in y 6.104 * [taylor]: Taking taylor expansion of (exp (* (* x (pow y 2)) (log E))) in y 6.104 * [taylor]: Taking taylor expansion of (* (* x (pow y 2)) (log E)) in y 6.104 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 6.104 * [taylor]: Taking taylor expansion of x in y 6.105 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.105 * [taylor]: Taking taylor expansion of y in y 6.105 * [taylor]: Taking taylor expansion of (log E) in y 6.105 * [taylor]: Taking taylor expansion of E in y 6.105 * [taylor]: Taking taylor expansion of 1 in x 6.106 * [taylor]: Taking taylor expansion of 0 in x 6.106 * [taylor]: Taking taylor expansion of x in x 6.110 * [taylor]: Taking taylor expansion of 0 in x 6.110 * [approximate]: Taking taylor expansion of (pow E (/ 1 (* x (pow y 2)))) in (y x) around 0 6.110 * [taylor]: Taking taylor expansion of (pow E (/ 1 (* x (pow y 2)))) in x 6.110 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (* x (pow y 2))) (log E))) in x 6.110 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (pow y 2))) (log E)) in x 6.110 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 6.110 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 6.110 * [taylor]: Taking taylor expansion of x in x 6.110 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.110 * [taylor]: Taking taylor expansion of y in x 6.111 * [taylor]: Taking taylor expansion of (log E) in x 6.111 * [taylor]: Taking taylor expansion of E in x 6.111 * [taylor]: Taking taylor expansion of (pow E (/ 1 (* x (pow y 2)))) in y 6.111 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (* x (pow y 2))) (log E))) in y 6.111 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (pow y 2))) (log E)) in y 6.111 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 6.111 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 6.111 * [taylor]: Taking taylor expansion of x in y 6.111 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.111 * [taylor]: Taking taylor expansion of y in y 6.112 * [taylor]: Taking taylor expansion of (log E) in y 6.112 * [taylor]: Taking taylor expansion of E in y 6.112 * [taylor]: Taking taylor expansion of (pow E (/ 1 (* x (pow y 2)))) in y 6.112 * [taylor]: Taking taylor expansion of (exp (* (/ 1 (* x (pow y 2))) (log E))) in y 6.112 * [taylor]: Taking taylor expansion of (* (/ 1 (* x (pow y 2))) (log E)) in y 6.112 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 6.112 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 6.112 * [taylor]: Taking taylor expansion of x in y 6.112 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.112 * [taylor]: Taking taylor expansion of y in y 6.112 * [taylor]: Taking taylor expansion of (log E) in y 6.112 * [taylor]: Taking taylor expansion of E in y 6.113 * [taylor]: Taking taylor expansion of (exp (/ 1 (* x (pow y 2)))) in x 6.113 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 6.113 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 6.113 * [taylor]: Taking taylor expansion of x in x 6.113 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.113 * [taylor]: Taking taylor expansion of y in x 6.114 * [taylor]: Taking taylor expansion of 0 in x 6.114 * [taylor]: Taking taylor expansion of 0 in x 6.114 * [taylor]: Taking taylor expansion of 0 in x 6.114 * [approximate]: Taking taylor expansion of (pow E (/ (cbrt -1) (* x (pow y 2)))) in (y x) around 0 6.114 * [taylor]: Taking taylor expansion of (pow E (/ (cbrt -1) (* x (pow y 2)))) in x 6.114 * [taylor]: Taking taylor expansion of (exp (* (/ (cbrt -1) (* x (pow y 2))) (log E))) in x 6.114 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (* x (pow y 2))) (log E)) in x 6.114 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* x (pow y 2))) in x 6.114 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.114 * [taylor]: Taking taylor expansion of -1 in x 6.115 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 6.115 * [taylor]: Taking taylor expansion of x in x 6.115 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.115 * [taylor]: Taking taylor expansion of y in x 6.116 * [taylor]: Taking taylor expansion of (log E) in x 6.116 * [taylor]: Taking taylor expansion of E in x 6.117 * [taylor]: Taking taylor expansion of (pow E (/ (cbrt -1) (* x (pow y 2)))) in y 6.117 * [taylor]: Taking taylor expansion of (exp (* (/ (cbrt -1) (* x (pow y 2))) (log E))) in y 6.117 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (* x (pow y 2))) (log E)) in y 6.117 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* x (pow y 2))) in y 6.117 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.117 * [taylor]: Taking taylor expansion of -1 in y 6.118 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 6.118 * [taylor]: Taking taylor expansion of x in y 6.118 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.118 * [taylor]: Taking taylor expansion of y in y 6.119 * [taylor]: Taking taylor expansion of (log E) in y 6.119 * [taylor]: Taking taylor expansion of E in y 6.120 * [taylor]: Taking taylor expansion of (pow E (/ (cbrt -1) (* x (pow y 2)))) in y 6.120 * [taylor]: Taking taylor expansion of (exp (* (/ (cbrt -1) (* x (pow y 2))) (log E))) in y 6.120 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (* x (pow y 2))) (log E)) in y 6.120 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* x (pow y 2))) in y 6.120 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.120 * [taylor]: Taking taylor expansion of -1 in y 6.121 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 6.121 * [taylor]: Taking taylor expansion of x in y 6.121 * [taylor]: Taking taylor expansion of (pow y 2) in y 6.121 * [taylor]: Taking taylor expansion of y in y 6.122 * [taylor]: Taking taylor expansion of (log E) in y 6.122 * [taylor]: Taking taylor expansion of E in y 6.123 * [taylor]: Taking taylor expansion of (exp (/ (cbrt -1) (* x (pow y 2)))) in x 6.123 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* x (pow y 2))) in x 6.123 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.123 * [taylor]: Taking taylor expansion of -1 in x 6.124 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 6.124 * [taylor]: Taking taylor expansion of x in x 6.124 * [taylor]: Taking taylor expansion of (pow y 2) in x 6.124 * [taylor]: Taking taylor expansion of y in x 6.126 * [taylor]: Taking taylor expansion of 0 in x 6.126 * [taylor]: Taking taylor expansion of 0 in x 6.126 * [taylor]: Taking taylor expansion of 0 in x 6.126 * * * [progress]: simplifying candidates 6.127 * [simplify]: Simplifying using # : (log (cbrt (pow (* (* y y) x) 3))) (exp (cbrt (pow (* (* y y) x) 3))) (cbrt (pow (* y y) 3)) (cbrt (pow x 3)) (cbrt (* (* (* y y) x) (* (* y y) x))) (cbrt (* (* y y) x)) (cbrt (* (cbrt (pow (* (* y y) x) 3)) (cbrt (pow (* (* y y) x) 3)))) (cbrt (cbrt (pow (* (* y y) x) 3))) (cbrt (pow (* y y) 3)) (cbrt (pow x 3)) (cbrt (* (* y y) x)) (cbrt (* (* (* y y) x) (* (* y y) x))) (cbrt (sqrt (pow (* (* y y) x) 3))) (cbrt (sqrt (pow (* (* y y) x) 3))) (cbrt 1) (cbrt (pow (* (* y y) x) 3)) (cbrt (pow (* (* y y) x) (/ 3 2))) (cbrt (pow (* (* y y) x) (/ 3 2))) (* (cbrt (cbrt (pow (* (* y y) x) 3))) (cbrt (cbrt (pow (* (* y y) x) 3)))) (cbrt (cbrt (pow (* (* y y) x) 3))) (* (* (cbrt (pow (* (* y y) x) 3)) (cbrt (pow (* (* y y) x) 3))) (cbrt (pow (* (* y y) x) 3))) (sqrt (cbrt (pow (* (* y y) x) 3))) (sqrt (cbrt (pow (* (* y y) x) 3))) (* (* y y) x) (* (* y y) x) (+ (+ (log y) (log y)) (log x)) (+ (log (* y y)) (log x)) (log (* (* y y) x)) (exp (* (* y y) x)) (* (* (* (* y y) y) (* (* y y) y)) (* (* x x) x)) (* (* (* (* y y) (* y y)) (* y y)) (* (* x x) x)) (* (cbrt (* (* y y) x)) (cbrt (* (* y y) x))) (cbrt (* (* y y) x)) (* (* (* (* y y) x) (* (* y y) x)) (* (* y y) x)) (sqrt (* (* y y) x)) (sqrt (* (* y y) x)) (* y (sqrt x)) (* y (sqrt x)) (* (* y y) (* (cbrt x) (cbrt x))) (* (* y y) (sqrt x)) (* (* y y) 1) (* y x) (* (+ (+ (log y) (log y)) (log x)) 3) (* (+ (log (* y y)) (log x)) 3) (* (log (* (* y y) x)) 3) (* (log (* (* y y) x)) 3) (* 1 3) (* 1 3) (* 1 3) (pow (* (* y y) x) (* (cbrt 3) (cbrt 3))) (pow (* (* y y) x) (sqrt 3)) (pow (* (* y y) x) 1) (pow (* y y) 3) (pow x 3) (* (* (* y y) x) (* (* y y) x)) (log (pow (* (* y y) x) 3)) (exp (pow (* (* y y) x) 3)) (* (cbrt (pow (* (* y y) x) 3)) (cbrt (pow (* (* y y) x) 3))) (cbrt (pow (* (* y y) x) 3)) (* (* (pow (* (* y y) x) 3) (pow (* (* y y) x) 3)) (pow (* (* y y) x) 3)) (pow (* y y) 3) (pow x 3) (* (* (* y y) x) (* (* y y) x)) (sqrt (pow (* (* y y) x) 3)) (sqrt (pow (* (* y y) x) 3)) (pow (* (* y y) x) (/ 3 2)) (pow (* (* y y) x) (/ 3 2)) (* 1 (cbrt (pow (* (* y y) x) 3))) (* (log E) (cbrt (pow (* (* y y) x) 3))) (* (log E) (cbrt (pow (* (* y y) x) 3))) (* 1 (cbrt (pow (* (* y y) x) 3))) (pow E (cbrt (pow (* y y) 3))) (pow E (cbrt (* (* (* y y) x) (* (* y y) x)))) (pow E (cbrt (* (cbrt (pow (* (* y y) x) 3)) (cbrt (pow (* (* y y) x) 3))))) (pow E (cbrt (pow (* y y) 3))) (pow E (cbrt (* (* y y) x))) (pow E (cbrt (sqrt (pow (* (* y y) x) 3)))) (pow E (cbrt 1)) (pow E (cbrt (pow (* (* y y) x) (/ 3 2)))) (pow E (* (cbrt (cbrt (pow (* (* y y) x) 3))) (cbrt (cbrt (pow (* (* y y) x) 3))))) (pow E (sqrt (cbrt (pow (* (* y y) x) 3)))) (pow E 1) (pow (* (cbrt E) (cbrt E)) (cbrt (pow (* (* y y) x) 3))) (pow (cbrt E) (cbrt (pow (* (* y y) x) 3))) (pow (sqrt E) (cbrt (pow (* (* y y) x) 3))) (pow (sqrt E) (cbrt (pow (* (* y y) x) 3))) (pow 1 (cbrt (pow (* (* y y) x) 3))) (pow E (cbrt (pow (* (* y y) x) 3))) (log (pow E (cbrt (pow (* (* y y) x) 3)))) (exp (pow E (cbrt (pow (* (* y y) x) 3)))) (* (cbrt (pow E (cbrt (pow (* (* y y) x) 3)))) (cbrt (pow E (cbrt (pow (* (* y y) x) 3))))) (cbrt (pow E (cbrt (pow (* (* y y) x) 3)))) (* (* (pow E (cbrt (pow (* (* y y) x) 3))) (pow E (cbrt (pow (* (* y y) x) 3)))) (pow E (cbrt (pow (* (* y y) x) 3)))) (sqrt (pow E (cbrt (pow (* (* y y) x) 3)))) (sqrt (pow E (cbrt (pow (* (* y y) x) 3)))) (pow E (/ (cbrt (pow (* (* y y) x) 3)) 2)) (pow E (/ (cbrt (pow (* (* y y) x) 3)) 2)) (* x (pow y 2)) (* x (pow y 2)) (* -1 (* (cbrt -1) (* x (pow y 2)))) (* x (pow y 2)) (* x (pow y 2)) (* x (pow y 2)) (* (pow x 3) (pow y 6)) (* (pow x 3) (pow y 6)) (* (pow x 3) (pow y 6)) 1 (exp (* x (pow y 2))) (exp (* -1 (* (cbrt -1) (* x (pow y 2))))) 6.130 * * [simplify]: iteration 0 : 113 enodes (cost 1014 ) 6.158 * * [simplify]: iteration 1 : 258 enodes (cost 753 ) 6.278 * * [simplify]: iteration 2 : 955 enodes (cost 697 ) 6.970 * * [simplify]: iteration done : 5000 enodes (cost 697 ) 6.971 * [simplify]: Simplified to: (log (* (* y y) x)) (pow (exp x) (* y y)) (* y y) x (cbrt (pow (* (* y y) x) 2)) (cbrt (* (* y y) x)) (cbrt (pow (* (* y y) x) 2)) (cbrt (* (* y y) x)) (* y y) x (cbrt (* (* y y) x)) (cbrt (pow (* (* y y) x) 2)) (cbrt (sqrt (pow (* (* y y) x) 3))) (cbrt (sqrt (pow (* (* y y) x) 3))) 1 (* (* y y) x) (cbrt (pow (* (* y y) x) 3/2)) (cbrt (pow (* (* y y) x) 3/2)) (* (cbrt (* (* y y) x)) (cbrt (* (* y y) x))) (cbrt (* (* y y) x)) (* (pow x 3) (pow y 6)) (sqrt (* (* y y) x)) (sqrt (* (* y y) x)) (* (* y y) x) (* (* y y) x) (log (* (* y y) x)) (log (* (* y y) x)) (log (* (* y y) x)) (pow (exp x) (* y y)) (* (pow x 3) (pow y 6)) (* (pow x 3) (pow y 6)) (* (cbrt (* (* y y) x)) (cbrt (* (* y y) x))) (cbrt (* (* y y) x)) (* (pow x 3) (pow y 6)) (sqrt (* (* y y) x)) (sqrt (* (* y y) x)) (* y (sqrt x)) (* y (sqrt x)) (* (* y y) (* (cbrt x) (cbrt x))) (* (* y y) (sqrt x)) (* y y) (* y x) (* 3 (log (* (* y y) x))) (* 3 (log (* (* y y) x))) (* 3 (log (* (* y y) x))) (* 3 (log (* (* y y) x))) 3 3 3 (pow (* (* y y) x) (* (cbrt 3) (cbrt 3))) (pow (* (* y y) x) (sqrt 3)) (* (* y y) x) (pow y 6) (pow x 3) (pow (* (* y y) x) 2) (* 3 (log (* (* y y) x))) (exp (pow (* (* y y) x) 3)) (pow (* (* y y) x) 2) (* (* y y) x) (pow (* (pow x 3) (pow y 6)) 3) (pow y 6) (pow x 3) (pow (* (* y y) x) 2) (sqrt (pow (* (* y y) x) 3)) (sqrt (pow (* (* y y) x) 3)) (pow (* (* y y) x) 3/2) (pow (* (* y y) x) 3/2) (* (* y y) x) (* (* y y) x) (* (* y y) x) (* (* y y) x) (exp (* y y)) (pow E (cbrt (pow (* (* y y) x) 2))) (pow E (cbrt (pow (* (* y y) x) 2))) (exp (* y y)) (pow E (cbrt (* (* y y) x))) (pow E (cbrt (sqrt (pow (* (* y y) x) 3)))) E (pow E (cbrt (pow (* (* y y) x) 3/2))) (pow E (* (cbrt (* (* y y) x)) (cbrt (* (* y y) x)))) (pow E (sqrt (* (* y y) x))) E (pow (* (cbrt E) (cbrt E)) (* x (pow y 2))) (pow (cbrt E) (* (* y y) x)) (pow (sqrt E) (* (* y y) x)) (pow (sqrt E) (* (* y y) x)) 1 (pow (exp x) (* y y)) (* (* y y) x) (exp (exp (* x (pow y 2)))) (* (cbrt (exp (* x (pow y 2)))) (cbrt (exp (* x (pow y 2))))) (cbrt (exp (* x (pow y 2)))) (pow (exp (* x (pow y 2))) 3) (sqrt (exp (* x (pow y 2)))) (sqrt (exp (* x (pow y 2)))) (pow E (/ (* x (pow y 2)) 2)) (pow E (/ (* x (pow y 2)) 2)) (* (* y y) x) (* (* y y) x) (- (* (cbrt -1) (* x (pow y 2)))) (* (* y y) x) (* (* y y) x) (* (* y y) x) (* (pow x 3) (pow y 6)) (* (pow x 3) (pow y 6)) (* (pow x 3) (pow y 6)) 1 (pow (exp x) (* y y)) (exp (- (* (cbrt -1) (* x (pow y 2))))) 6.972 * * * [progress]: adding candidates to table 7.185 * * [progress]: iteration 4 / 4 7.186 * * * [progress]: picking best candidate 7.190 * * * * [pick]: Picked # 7.190 * * * [progress]: localizing error 7.203 * * * [progress]: generating rewritten candidates 7.203 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 7.209 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 7.210 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1) 7.218 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1) 7.227 * * * [progress]: generating series expansions 7.227 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 7.227 * [approximate]: Taking taylor expansion of (pow (* x (pow y 2)) 1/3) in (y x) around 0 7.227 * [taylor]: Taking taylor expansion of (pow (* x (pow y 2)) 1/3) in x 7.227 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (pow y 2))))) in x 7.227 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (pow y 2)))) in x 7.227 * [taylor]: Taking taylor expansion of 1/3 in x 7.227 * [taylor]: Taking taylor expansion of (log (* x (pow y 2))) in x 7.227 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 7.227 * [taylor]: Taking taylor expansion of x in x 7.227 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.227 * [taylor]: Taking taylor expansion of y in x 7.229 * [taylor]: Taking taylor expansion of (pow (* x (pow y 2)) 1/3) in y 7.229 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (pow y 2))))) in y 7.229 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (pow y 2)))) in y 7.229 * [taylor]: Taking taylor expansion of 1/3 in y 7.229 * [taylor]: Taking taylor expansion of (log (* x (pow y 2))) in y 7.229 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 7.229 * [taylor]: Taking taylor expansion of x in y 7.229 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.229 * [taylor]: Taking taylor expansion of y in y 7.230 * [taylor]: Taking taylor expansion of (pow (* x (pow y 2)) 1/3) in y 7.230 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* x (pow y 2))))) in y 7.230 * [taylor]: Taking taylor expansion of (* 1/3 (log (* x (pow y 2)))) in y 7.230 * [taylor]: Taking taylor expansion of 1/3 in y 7.230 * [taylor]: Taking taylor expansion of (log (* x (pow y 2))) in y 7.230 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 7.230 * [taylor]: Taking taylor expansion of x in y 7.230 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.230 * [taylor]: Taking taylor expansion of y in y 7.231 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log x) (* 2 (log y))))) in x 7.231 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log x) (* 2 (log y)))) in x 7.231 * [taylor]: Taking taylor expansion of 1/3 in x 7.231 * [taylor]: Taking taylor expansion of (+ (log x) (* 2 (log y))) in x 7.231 * [taylor]: Taking taylor expansion of (log x) in x 7.231 * [taylor]: Taking taylor expansion of x in x 7.234 * [taylor]: Taking taylor expansion of (* 2 (log y)) in x 7.234 * [taylor]: Taking taylor expansion of 2 in x 7.234 * [taylor]: Taking taylor expansion of (log y) in x 7.234 * [taylor]: Taking taylor expansion of y in x 7.238 * [taylor]: Taking taylor expansion of 0 in x 7.245 * [taylor]: Taking taylor expansion of 0 in x 7.256 * [taylor]: Taking taylor expansion of 0 in x 7.256 * [approximate]: Taking taylor expansion of (pow (/ 1 (* x (pow y 2))) 1/3) in (y x) around 0 7.256 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (pow y 2))) 1/3) in x 7.256 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (pow y 2)))))) in x 7.256 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (pow y 2))))) in x 7.256 * [taylor]: Taking taylor expansion of 1/3 in x 7.256 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (pow y 2)))) in x 7.256 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 7.256 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 7.256 * [taylor]: Taking taylor expansion of x in x 7.256 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.256 * [taylor]: Taking taylor expansion of y in x 7.258 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (pow y 2))) 1/3) in y 7.258 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (pow y 2)))))) in y 7.258 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (pow y 2))))) in y 7.258 * [taylor]: Taking taylor expansion of 1/3 in y 7.258 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (pow y 2)))) in y 7.258 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 7.258 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 7.258 * [taylor]: Taking taylor expansion of x in y 7.258 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.258 * [taylor]: Taking taylor expansion of y in y 7.259 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (pow y 2))) 1/3) in y 7.259 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (pow y 2)))))) in y 7.259 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (pow y 2))))) in y 7.259 * [taylor]: Taking taylor expansion of 1/3 in y 7.259 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (pow y 2)))) in y 7.259 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 7.259 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 7.259 * [taylor]: Taking taylor expansion of x in y 7.259 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.259 * [taylor]: Taking taylor expansion of y in y 7.260 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 x)) (* 2 (log y))))) in x 7.260 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 x)) (* 2 (log y)))) in x 7.260 * [taylor]: Taking taylor expansion of 1/3 in x 7.260 * [taylor]: Taking taylor expansion of (- (log (/ 1 x)) (* 2 (log y))) in x 7.260 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.260 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.260 * [taylor]: Taking taylor expansion of x in x 7.261 * [taylor]: Taking taylor expansion of (* 2 (log y)) in x 7.261 * [taylor]: Taking taylor expansion of 2 in x 7.261 * [taylor]: Taking taylor expansion of (log y) in x 7.261 * [taylor]: Taking taylor expansion of y in x 7.265 * [taylor]: Taking taylor expansion of 0 in x 7.272 * [taylor]: Taking taylor expansion of 0 in x 7.284 * [taylor]: Taking taylor expansion of 0 in x 7.284 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* x (pow y 2))) 1/3)) in (y x) around 0 7.284 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* x (pow y 2))) 1/3)) in x 7.284 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.284 * [taylor]: Taking taylor expansion of -1 in x 7.285 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (pow y 2))) 1/3) in x 7.285 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (pow y 2)))))) in x 7.285 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (pow y 2))))) in x 7.285 * [taylor]: Taking taylor expansion of 1/3 in x 7.285 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (pow y 2)))) in x 7.285 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 7.285 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 7.285 * [taylor]: Taking taylor expansion of x in x 7.285 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.285 * [taylor]: Taking taylor expansion of y in x 7.287 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* x (pow y 2))) 1/3)) in y 7.287 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.287 * [taylor]: Taking taylor expansion of -1 in y 7.288 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (pow y 2))) 1/3) in y 7.288 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (pow y 2)))))) in y 7.288 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (pow y 2))))) in y 7.288 * [taylor]: Taking taylor expansion of 1/3 in y 7.288 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (pow y 2)))) in y 7.288 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 7.288 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 7.288 * [taylor]: Taking taylor expansion of x in y 7.288 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.288 * [taylor]: Taking taylor expansion of y in y 7.289 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 (* x (pow y 2))) 1/3)) in y 7.289 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.289 * [taylor]: Taking taylor expansion of -1 in y 7.290 * [taylor]: Taking taylor expansion of (pow (/ 1 (* x (pow y 2))) 1/3) in y 7.290 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* x (pow y 2)))))) in y 7.290 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* x (pow y 2))))) in y 7.290 * [taylor]: Taking taylor expansion of 1/3 in y 7.290 * [taylor]: Taking taylor expansion of (log (/ 1 (* x (pow y 2)))) in y 7.290 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 7.290 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 7.290 * [taylor]: Taking taylor expansion of x in y 7.290 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.290 * [taylor]: Taking taylor expansion of y in y 7.291 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 x)) (* 2 (log y)))))) in x 7.291 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.291 * [taylor]: Taking taylor expansion of -1 in x 7.292 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 x)) (* 2 (log y))))) in x 7.292 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 x)) (* 2 (log y)))) in x 7.292 * [taylor]: Taking taylor expansion of 1/3 in x 7.292 * [taylor]: Taking taylor expansion of (- (log (/ 1 x)) (* 2 (log y))) in x 7.292 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.292 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.292 * [taylor]: Taking taylor expansion of x in x 7.293 * [taylor]: Taking taylor expansion of (* 2 (log y)) in x 7.293 * [taylor]: Taking taylor expansion of 2 in x 7.293 * [taylor]: Taking taylor expansion of (log y) in x 7.293 * [taylor]: Taking taylor expansion of y in x 7.298 * [taylor]: Taking taylor expansion of 0 in x 7.308 * [taylor]: Taking taylor expansion of 0 in x 7.323 * [taylor]: Taking taylor expansion of 0 in x 7.323 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 7.324 * [approximate]: Taking taylor expansion of (pow (* (pow x 2) (pow y 4)) 1/3) in (y x) around 0 7.324 * [taylor]: Taking taylor expansion of (pow (* (pow x 2) (pow y 4)) 1/3) in x 7.324 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow x 2) (pow y 4))))) in x 7.324 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow x 2) (pow y 4)))) in x 7.324 * [taylor]: Taking taylor expansion of 1/3 in x 7.324 * [taylor]: Taking taylor expansion of (log (* (pow x 2) (pow y 4))) in x 7.324 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 4)) in x 7.324 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.324 * [taylor]: Taking taylor expansion of x in x 7.324 * [taylor]: Taking taylor expansion of (pow y 4) in x 7.324 * [taylor]: Taking taylor expansion of y in x 7.325 * [taylor]: Taking taylor expansion of (pow (* (pow x 2) (pow y 4)) 1/3) in y 7.325 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow x 2) (pow y 4))))) in y 7.325 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow x 2) (pow y 4)))) in y 7.325 * [taylor]: Taking taylor expansion of 1/3 in y 7.325 * [taylor]: Taking taylor expansion of (log (* (pow x 2) (pow y 4))) in y 7.325 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 4)) in y 7.325 * [taylor]: Taking taylor expansion of (pow x 2) in y 7.325 * [taylor]: Taking taylor expansion of x in y 7.325 * [taylor]: Taking taylor expansion of (pow y 4) in y 7.325 * [taylor]: Taking taylor expansion of y in y 7.327 * [taylor]: Taking taylor expansion of (pow (* (pow x 2) (pow y 4)) 1/3) in y 7.327 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow x 2) (pow y 4))))) in y 7.327 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow x 2) (pow y 4)))) in y 7.327 * [taylor]: Taking taylor expansion of 1/3 in y 7.327 * [taylor]: Taking taylor expansion of (log (* (pow x 2) (pow y 4))) in y 7.327 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 4)) in y 7.327 * [taylor]: Taking taylor expansion of (pow x 2) in y 7.327 * [taylor]: Taking taylor expansion of x in y 7.327 * [taylor]: Taking taylor expansion of (pow y 4) in y 7.327 * [taylor]: Taking taylor expansion of y in y 7.328 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (pow x 2)) (* 4 (log y))))) in x 7.328 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (pow x 2)) (* 4 (log y)))) in x 7.328 * [taylor]: Taking taylor expansion of 1/3 in x 7.328 * [taylor]: Taking taylor expansion of (+ (log (pow x 2)) (* 4 (log y))) in x 7.328 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 7.328 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.328 * [taylor]: Taking taylor expansion of x in x 7.329 * [taylor]: Taking taylor expansion of (* 4 (log y)) in x 7.329 * [taylor]: Taking taylor expansion of 4 in x 7.329 * [taylor]: Taking taylor expansion of (log y) in x 7.329 * [taylor]: Taking taylor expansion of y in x 7.336 * [taylor]: Taking taylor expansion of 0 in x 7.345 * [taylor]: Taking taylor expansion of 0 in x 7.358 * [taylor]: Taking taylor expansion of 0 in x 7.358 * [approximate]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow y 4))) 1/3) in (y x) around 0 7.358 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow y 4))) 1/3) in x 7.358 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow y 4)))))) in x 7.358 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow y 4))))) in x 7.358 * [taylor]: Taking taylor expansion of 1/3 in x 7.358 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow y 4)))) in x 7.358 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 4))) in x 7.358 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 4)) in x 7.358 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.358 * [taylor]: Taking taylor expansion of x in x 7.358 * [taylor]: Taking taylor expansion of (pow y 4) in x 7.358 * [taylor]: Taking taylor expansion of y in x 7.360 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow y 4))) 1/3) in y 7.360 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow y 4)))))) in y 7.360 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow y 4))))) in y 7.360 * [taylor]: Taking taylor expansion of 1/3 in y 7.360 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow y 4)))) in y 7.360 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 4))) in y 7.360 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 4)) in y 7.360 * [taylor]: Taking taylor expansion of (pow x 2) in y 7.360 * [taylor]: Taking taylor expansion of x in y 7.360 * [taylor]: Taking taylor expansion of (pow y 4) in y 7.360 * [taylor]: Taking taylor expansion of y in y 7.362 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow y 4))) 1/3) in y 7.362 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow y 4)))))) in y 7.362 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow y 4))))) in y 7.362 * [taylor]: Taking taylor expansion of 1/3 in y 7.362 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow y 4)))) in y 7.362 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 4))) in y 7.362 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 4)) in y 7.362 * [taylor]: Taking taylor expansion of (pow x 2) in y 7.362 * [taylor]: Taking taylor expansion of x in y 7.362 * [taylor]: Taking taylor expansion of (pow y 4) in y 7.362 * [taylor]: Taking taylor expansion of y in y 7.363 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow x 2))) (* 4 (log y))))) in x 7.363 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow x 2))) (* 4 (log y)))) in x 7.363 * [taylor]: Taking taylor expansion of 1/3 in x 7.363 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow x 2))) (* 4 (log y))) in x 7.364 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 7.364 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 7.364 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.364 * [taylor]: Taking taylor expansion of x in x 7.364 * [taylor]: Taking taylor expansion of (* 4 (log y)) in x 7.364 * [taylor]: Taking taylor expansion of 4 in x 7.364 * [taylor]: Taking taylor expansion of (log y) in x 7.364 * [taylor]: Taking taylor expansion of y in x 7.369 * [taylor]: Taking taylor expansion of 0 in x 7.378 * [taylor]: Taking taylor expansion of 0 in x 7.392 * [taylor]: Taking taylor expansion of 0 in x 7.392 * [approximate]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow y 4))) 1/3) in (y x) around 0 7.392 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow y 4))) 1/3) in x 7.392 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow y 4)))))) in x 7.392 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow y 4))))) in x 7.392 * [taylor]: Taking taylor expansion of 1/3 in x 7.392 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow y 4)))) in x 7.393 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 4))) in x 7.393 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 4)) in x 7.393 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.393 * [taylor]: Taking taylor expansion of x in x 7.393 * [taylor]: Taking taylor expansion of (pow y 4) in x 7.393 * [taylor]: Taking taylor expansion of y in x 7.394 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow y 4))) 1/3) in y 7.394 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow y 4)))))) in y 7.394 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow y 4))))) in y 7.394 * [taylor]: Taking taylor expansion of 1/3 in y 7.394 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow y 4)))) in y 7.394 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 4))) in y 7.394 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 4)) in y 7.394 * [taylor]: Taking taylor expansion of (pow x 2) in y 7.394 * [taylor]: Taking taylor expansion of x in y 7.394 * [taylor]: Taking taylor expansion of (pow y 4) in y 7.394 * [taylor]: Taking taylor expansion of y in y 7.396 * [taylor]: Taking taylor expansion of (pow (/ 1 (* (pow x 2) (pow y 4))) 1/3) in y 7.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (* (pow x 2) (pow y 4)))))) in y 7.396 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (* (pow x 2) (pow y 4))))) in y 7.396 * [taylor]: Taking taylor expansion of 1/3 in y 7.396 * [taylor]: Taking taylor expansion of (log (/ 1 (* (pow x 2) (pow y 4)))) in y 7.396 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 4))) in y 7.396 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 4)) in y 7.396 * [taylor]: Taking taylor expansion of (pow x 2) in y 7.396 * [taylor]: Taking taylor expansion of x in y 7.396 * [taylor]: Taking taylor expansion of (pow y 4) in y 7.396 * [taylor]: Taking taylor expansion of y in y 7.398 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow x 2))) (* 4 (log y))))) in x 7.398 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow x 2))) (* 4 (log y)))) in x 7.398 * [taylor]: Taking taylor expansion of 1/3 in x 7.398 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow x 2))) (* 4 (log y))) in x 7.398 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 7.398 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 7.398 * [taylor]: Taking taylor expansion of (pow x 2) in x 7.398 * [taylor]: Taking taylor expansion of x in x 7.399 * [taylor]: Taking taylor expansion of (* 4 (log y)) in x 7.399 * [taylor]: Taking taylor expansion of 4 in x 7.399 * [taylor]: Taking taylor expansion of (log y) in x 7.399 * [taylor]: Taking taylor expansion of y in x 7.403 * [taylor]: Taking taylor expansion of 0 in x 7.413 * [taylor]: Taking taylor expansion of 0 in x 7.427 * [taylor]: Taking taylor expansion of 0 in x 7.427 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1) 7.427 * [approximate]: Taking taylor expansion of (* x (pow y 2)) in (y x) around 0 7.427 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 7.427 * [taylor]: Taking taylor expansion of x in x 7.427 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.427 * [taylor]: Taking taylor expansion of y in x 7.427 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 7.427 * [taylor]: Taking taylor expansion of x in y 7.427 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.427 * [taylor]: Taking taylor expansion of y in y 7.427 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 7.427 * [taylor]: Taking taylor expansion of x in y 7.427 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.427 * [taylor]: Taking taylor expansion of y in y 7.428 * [taylor]: Taking taylor expansion of x in x 7.428 * [taylor]: Taking taylor expansion of 0 in x 7.429 * [taylor]: Taking taylor expansion of 0 in x 7.434 * [taylor]: Taking taylor expansion of 0 in x 7.434 * [approximate]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in (y x) around 0 7.434 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 7.434 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 7.434 * [taylor]: Taking taylor expansion of x in x 7.434 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.434 * [taylor]: Taking taylor expansion of y in x 7.435 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 7.435 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 7.435 * [taylor]: Taking taylor expansion of x in y 7.435 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.435 * [taylor]: Taking taylor expansion of y in y 7.435 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 7.435 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 7.435 * [taylor]: Taking taylor expansion of x in y 7.435 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.435 * [taylor]: Taking taylor expansion of y in y 7.436 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.436 * [taylor]: Taking taylor expansion of x in x 7.437 * [taylor]: Taking taylor expansion of 0 in x 7.438 * [taylor]: Taking taylor expansion of 0 in x 7.440 * [taylor]: Taking taylor expansion of 0 in x 7.441 * [approximate]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in (y x) around 0 7.441 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 7.441 * [taylor]: Taking taylor expansion of -1 in x 7.441 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 7.441 * [taylor]: Taking taylor expansion of x in x 7.441 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.441 * [taylor]: Taking taylor expansion of y in x 7.442 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 7.442 * [taylor]: Taking taylor expansion of -1 in y 7.442 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 7.442 * [taylor]: Taking taylor expansion of x in y 7.442 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.442 * [taylor]: Taking taylor expansion of y in y 7.443 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 7.443 * [taylor]: Taking taylor expansion of -1 in y 7.443 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 7.443 * [taylor]: Taking taylor expansion of x in y 7.443 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.443 * [taylor]: Taking taylor expansion of y in y 7.443 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.443 * [taylor]: Taking taylor expansion of -1 in x 7.443 * [taylor]: Taking taylor expansion of x in x 7.444 * [taylor]: Taking taylor expansion of 0 in x 7.446 * [taylor]: Taking taylor expansion of 0 in x 7.448 * [taylor]: Taking taylor expansion of 0 in x 7.449 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1) 7.449 * [approximate]: Taking taylor expansion of (* x (pow y 2)) in (y x) around 0 7.449 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 7.449 * [taylor]: Taking taylor expansion of x in x 7.449 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.449 * [taylor]: Taking taylor expansion of y in x 7.449 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 7.449 * [taylor]: Taking taylor expansion of x in y 7.449 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.449 * [taylor]: Taking taylor expansion of y in y 7.449 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 7.449 * [taylor]: Taking taylor expansion of x in y 7.449 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.449 * [taylor]: Taking taylor expansion of y in y 7.450 * [taylor]: Taking taylor expansion of x in x 7.451 * [taylor]: Taking taylor expansion of 0 in x 7.452 * [taylor]: Taking taylor expansion of 0 in x 7.453 * [taylor]: Taking taylor expansion of 0 in x 7.453 * [approximate]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in (y x) around 0 7.453 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 7.453 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 7.453 * [taylor]: Taking taylor expansion of x in x 7.453 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.454 * [taylor]: Taking taylor expansion of y in x 7.454 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 7.454 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 7.454 * [taylor]: Taking taylor expansion of x in y 7.454 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.454 * [taylor]: Taking taylor expansion of y in y 7.455 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 7.455 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 7.455 * [taylor]: Taking taylor expansion of x in y 7.455 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.455 * [taylor]: Taking taylor expansion of y in y 7.455 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.455 * [taylor]: Taking taylor expansion of x in x 7.456 * [taylor]: Taking taylor expansion of 0 in x 7.458 * [taylor]: Taking taylor expansion of 0 in x 7.460 * [taylor]: Taking taylor expansion of 0 in x 7.461 * [approximate]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in (y x) around 0 7.461 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 7.461 * [taylor]: Taking taylor expansion of -1 in x 7.461 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 7.461 * [taylor]: Taking taylor expansion of x in x 7.461 * [taylor]: Taking taylor expansion of (pow y 2) in x 7.461 * [taylor]: Taking taylor expansion of y in x 7.462 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 7.462 * [taylor]: Taking taylor expansion of -1 in y 7.462 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 7.462 * [taylor]: Taking taylor expansion of x in y 7.462 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.462 * [taylor]: Taking taylor expansion of y in y 7.462 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 7.462 * [taylor]: Taking taylor expansion of -1 in y 7.462 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 7.462 * [taylor]: Taking taylor expansion of x in y 7.462 * [taylor]: Taking taylor expansion of (pow y 2) in y 7.462 * [taylor]: Taking taylor expansion of y in y 7.463 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.463 * [taylor]: Taking taylor expansion of -1 in x 7.463 * [taylor]: Taking taylor expansion of x in x 7.464 * [taylor]: Taking taylor expansion of 0 in x 7.465 * [taylor]: Taking taylor expansion of 0 in x 7.467 * [taylor]: Taking taylor expansion of 0 in x 7.468 * * * [progress]: simplifying candidates 7.469 * [simplify]: Simplifying using # : (log (cbrt (* (* y y) x))) (exp (cbrt (* (* y y) x))) (cbrt (* y y)) (cbrt x) (* (cbrt (cbrt (* (* y y) x))) (cbrt (cbrt (* (* y y) x)))) (cbrt (cbrt (* (* y y) x))) (* (* (cbrt (* (* y y) x)) (cbrt (* (* y y) x))) (cbrt (* (* y y) x))) (sqrt (cbrt (* (* y y) x))) (sqrt (cbrt (* (* y y) x))) (log (cbrt (pow (* (* y y) x) 2))) (exp (cbrt (pow (* (* y y) x) 2))) (cbrt (pow (* y y) 2)) (cbrt (pow x 2)) (cbrt (* (* y y) x)) (cbrt (* (* y y) x)) (cbrt (* (cbrt (pow (* (* y y) x) 2)) (cbrt (pow (* (* y y) x) 2)))) (cbrt (cbrt (pow (* (* y y) x) 2))) (cbrt (sqrt (pow (* (* y y) x) 2))) (cbrt (sqrt (pow (* (* y y) x) 2))) (cbrt 1) (cbrt (pow (* (* y y) x) 2)) (cbrt (pow (* (* y y) x) (/ 2 2))) (cbrt (pow (* (* y y) x) (/ 2 2))) (* (cbrt (cbrt (pow (* (* y y) x) 2))) (cbrt (cbrt (pow (* (* y y) x) 2)))) (cbrt (cbrt (pow (* (* y y) x) 2))) (* (* (cbrt (pow (* (* y y) x) 2)) (cbrt (pow (* (* y y) x) 2))) (cbrt (pow (* (* y y) x) 2))) (sqrt (cbrt (pow (* (* y y) x) 2))) (sqrt (cbrt (pow (* (* y y) x) 2))) (* (* y y) x) (* (* y y) x) (+ (+ (log y) (log y)) (log x)) (+ (log (* y y)) (log x)) (log (* (* y y) x)) (exp (* (* y y) x)) (* (* (* (* y y) y) (* (* y y) y)) (* (* x x) x)) (* (* (* (* y y) (* y y)) (* y y)) (* (* x x) x)) (* (cbrt (* (* y y) x)) (cbrt (* (* y y) x))) (cbrt (* (* y y) x)) (* (* (* (* y y) x) (* (* y y) x)) (* (* y y) x)) (sqrt (* (* y y) x)) (sqrt (* (* y y) x)) (* y (sqrt x)) (* y (sqrt x)) (* (* y y) (* (cbrt x) (cbrt x))) (* (* y y) (sqrt x)) (* (* y y) 1) (* y x) (* (* y y) x) (* (* y y) x) (+ (+ (log y) (log y)) (log x)) (+ (log (* y y)) (log x)) (log (* (* y y) x)) (exp (* (* y y) x)) (* (* (* (* y y) y) (* (* y y) y)) (* (* x x) x)) (* (* (* (* y y) (* y y)) (* y y)) (* (* x x) x)) (* (cbrt (* (* y y) x)) (cbrt (* (* y y) x))) (cbrt (* (* y y) x)) (* (* (* (* y y) x) (* (* y y) x)) (* (* y y) x)) (sqrt (* (* y y) x)) (sqrt (* (* y y) x)) (* y (sqrt x)) (* y (sqrt x)) (* (* y y) (* (cbrt x) (cbrt x))) (* (* y y) (sqrt x)) (* (* y y) 1) (* y x) (exp (* 1/3 (+ (log x) (* 2 (log y))))) (exp (* -1/3 (+ (log (/ 1 x)) (* 2 (log (/ 1 y)))))) (* (exp (* -1/3 (+ (* 2 (log (/ -1 y))) (log (/ -1 x))))) (cbrt -1)) (exp (* 1/3 (+ (* 2 (log x)) (* 4 (log y))))) (exp (* -1/3 (+ (* 2 (log (/ 1 x))) (* 4 (log (/ 1 y)))))) (exp (* -1/3 (+ (* 4 (log (/ -1 y))) (* 2 (log (/ -1 x)))))) (* x (pow y 2)) (* x (pow y 2)) (* x (pow y 2)) (* x (pow y 2)) (* x (pow y 2)) (* x (pow y 2)) 7.472 * * [simplify]: iteration 0 : 105 enodes (cost 678 ) 7.492 * * [simplify]: iteration 1 : 242 enodes (cost 642 ) 7.589 * * [simplify]: iteration 2 : 703 enodes (cost 551 ) 7.924 * * [simplify]: iteration 3 : 1724 enodes (cost 530 ) 9.470 * * [simplify]: iteration done : 5000 enodes (cost 530 ) 9.471 * [simplify]: Simplified to: (log (cbrt (* (* y y) x))) (exp (cbrt (* (* y y) x))) (cbrt (* y y)) (cbrt x) (* (cbrt (cbrt (* (* y y) x))) (cbrt (cbrt (* (* y y) x)))) (cbrt (cbrt (* (* y y) x))) (* y (* y x)) (sqrt (cbrt (* (* y y) x))) (sqrt (cbrt (* (* y y) x))) (log (cbrt (pow (* (* y y) x) 2))) (exp (cbrt (pow (* (* y y) x) 2))) (cbrt (pow y 4)) (cbrt (pow x 2)) (cbrt (* (* y x) y)) (cbrt (* (* y x) y)) (cbrt (* (cbrt (pow (* (* y y) x) 2)) (cbrt (pow (* (* y y) x) 2)))) (cbrt (cbrt (pow (* (* y y) x) 2))) (cbrt (fabs (* (* y y) x))) (cbrt (fabs (* (* y y) x))) 1 (cbrt (pow (* (* y y) x) 2)) (cbrt (* (* y x) y)) (cbrt (* (* y x) y)) (* (cbrt (cbrt (pow (* (* y y) x) 2))) (cbrt (cbrt (pow (* (* y y) x) 2)))) (cbrt (cbrt (pow (* (* y y) x) 2))) (* (pow y 4) (* x x)) (sqrt (cbrt (pow (* (* y y) x) 2))) (sqrt (cbrt (pow (* (* y y) x) 2))) (* y (* y x)) (* y (* y x)) (log (* (* y y) x)) (log (* (* y y) x)) (log (* (* y y) x)) (exp (* (* y y) x)) (pow (* (* y x) y) 3) (pow (* (* y x) y) 3) (* (cbrt (* (* y y) x)) (cbrt (* (* y y) x))) (cbrt (* (* y x) y)) (pow (* (* y x) y) 3) (sqrt (* (* y y) x)) (sqrt (* (* y y) x)) (* y (sqrt x)) (* y (sqrt x)) (* (* y y) (* (cbrt x) (cbrt x))) (* (* y y) (sqrt x)) (* y y) (* y x) (* y (* y x)) (* y (* y x)) (log (* (* y y) x)) (log (* (* y y) x)) (log (* (* y y) x)) (exp (* (* y y) x)) (pow (* (* y x) y) 3) (pow (* (* y x) y) 3) (* (cbrt (* (* y y) x)) (cbrt (* (* y y) x))) (cbrt (* (* y x) y)) (pow (* (* y x) y) 3) (sqrt (* (* y y) x)) (sqrt (* (* y y) x)) (* y (sqrt x)) (* y (sqrt x)) (* (* y y) (* (cbrt x) (cbrt x))) (* (* y y) (sqrt x)) (* y y) (* y x) (cbrt (* (* y x) y)) (* (pow (/ 1 y) -2/3) (pow x 1/3)) (* (* (pow (/ -1 y) -2/3) (pow (/ -1 x) -1/3)) (cbrt -1)) (* (pow y 4/3) (pow x 2/3)) (* (pow (/ 1 y) -4/3) (pow x 2/3)) (* (pow (/ -1 x) -2/3) (pow (/ -1 y) -4/3)) (* y (* y x)) (* y (* y x)) (* y (* y x)) (* y (* y x)) (* y (* y x)) (* y (* y x)) 9.471 * * * [progress]: adding candidates to table 9.673 * [progress]: [Phase 3 of 3] Extracting. 9.673 * * [regime]: Finding splitpoints for: (# #) 9.673 * * * [regime-changes]: Trying 2 branch expressions: (y x) 9.673 * * * * [regimes]: Trying to branch on y from (# #) 9.688 * * * * [regimes]: Trying to branch on x from (# #) 9.701 * * * [regime]: Found split indices: #