15.532 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.033 * * * [progress]: [2/2] Setting up program.
0.035 * [progress]: [Phase 2 of 3] Improving.
0.035 * [simplify]: Simplifying:
  (- (pow x 4.0) (pow y 4.0))
0.035 * * [simplify]: Extracting # 0 : cost  0
0.035 * * [simplify]: Extracting # 1 : cost  0
0.035 * * [simplify]: Extracting # 2 : cost  0
0.035 * * [simplify]: Extracting # 3 : cost  0
0.035 * * [simplify]: Extracting # 4 : cost  0
0.035 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.036 * * [simplify]: Extracting # 0 : cost  0
0.036 * * [simplify]: Extracting # 1 : cost  0
0.036 * * [simplify]: Extracting # 2 : cost  0
0.036 * * [simplify]: Extracting # 3 : cost  0
0.036 * * [simplify]: Extracting # 4 : cost  0
0.037 * * [simplify]: iteration  1 :  14  enodes  (cost  7 )
0.039 * * [simplify]: Extracting # 0 : cost  0
0.039 * * [simplify]: Extracting # 1 : cost  0
0.039 * * [simplify]: Extracting # 2 : cost  0
0.039 * * [simplify]: Extracting # 3 : cost  0
0.039 * * [simplify]: Extracting # 4 : cost  0
0.039 * * [simplify]: iteration  2 :  30  enodes  (cost  7 )
0.046 * * [simplify]: Extracting # 0 : cost  0
0.046 * * [simplify]: Extracting # 1 : cost  0
0.046 * * [simplify]: Extracting # 2 : cost  0
0.046 * * [simplify]: Extracting # 3 : cost  0
0.046 * * [simplify]: Extracting # 4 : cost  0
0.046 * * [simplify]: iteration  3 :  74  enodes  (cost  7 )
0.064 * * [simplify]: Extracting # 0 : cost  0
0.064 * * [simplify]: Extracting # 1 : cost  0
0.065 * * [simplify]: Extracting # 2 : cost  0
0.065 * * [simplify]: Extracting # 3 : cost  0
0.065 * * [simplify]: Extracting # 4 : cost  0
0.065 * * [simplify]: iteration  4 :  213  enodes  (cost  7 )
0.146 * * [simplify]: Extracting # 0 : cost  0
0.147 * * [simplify]: Extracting # 1 : cost  0
0.148 * * [simplify]: Extracting # 2 : cost  0
0.148 * * [simplify]: Extracting # 3 : cost  0
0.149 * * [simplify]: Extracting # 4 : cost  0
0.149 * * [simplify]: iteration  5 :  658  enodes  (cost  7 )
0.751 * * [simplify]: Extracting # 0 : cost  0
0.754 * * [simplify]: Extracting # 1 : cost  0
0.757 * * [simplify]: Extracting # 2 : cost  0
0.759 * * [simplify]: Extracting # 3 : cost  0
0.762 * * [simplify]: Extracting # 4 : cost  0
0.764 * * [simplify]: iteration  6 :  3171  enodes  (cost  7 )
1.775 * * [simplify]: Extracting # 0 : cost  0
1.786 * * [simplify]: Extracting # 1 : cost  0
1.790 * * [simplify]: Extracting # 2 : cost  0
1.796 * * [simplify]: iteration done:  5000  enodes  (cost  7 )
1.796 * [simplify]: Simplified to:
  (- (pow x 4.0) (pow y 4.0))
1.796 * * [progress]: iteration 1 / 4
1.796 * * * [progress]: picking best candidate
1.798 * * * * [pick]: Picked  #<alt (λ (x y) (- (pow x 4.0) (pow y 4.0)))>
1.798 * * * [progress]: localizing error
1.804 * * * [progress]: generating rewritten candidates
1.804 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.829 * * * [progress]: generating series expansions
1.829 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.830 * [backup-simplify]: Simplify (- (pow x 4.0) (pow y 4.0)) into (- (pow x 4) (pow y 4))
1.830 * [approximate]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in (x y) around 0
1.830 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in y
1.830 * [taylor]: Taking taylor expansion of (pow x 4) in y
1.830 * [taylor]: Taking taylor expansion of x in y
1.830 * [backup-simplify]: Simplify x into x
1.830 * [taylor]: Taking taylor expansion of (pow y 4) in y
1.830 * [taylor]: Taking taylor expansion of y in y
1.830 * [backup-simplify]: Simplify 0 into 0
1.830 * [backup-simplify]: Simplify 1 into 1
1.830 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x
1.830 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.830 * [taylor]: Taking taylor expansion of x in x
1.830 * [backup-simplify]: Simplify 0 into 0
1.830 * [backup-simplify]: Simplify 1 into 1
1.830 * [taylor]: Taking taylor expansion of (pow y 4) in x
1.830 * [taylor]: Taking taylor expansion of y in x
1.830 * [backup-simplify]: Simplify y into y
1.831 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x
1.831 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.831 * [taylor]: Taking taylor expansion of x in x
1.831 * [backup-simplify]: Simplify 0 into 0
1.831 * [backup-simplify]: Simplify 1 into 1
1.831 * [taylor]: Taking taylor expansion of (pow y 4) in x
1.831 * [taylor]: Taking taylor expansion of y in x
1.831 * [backup-simplify]: Simplify y into y
1.831 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.831 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
1.831 * [backup-simplify]: Simplify (- (pow y 4)) into (- (pow y 4))
1.831 * [backup-simplify]: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4))
1.831 * [taylor]: Taking taylor expansion of (- (pow y 4)) in y
1.831 * [taylor]: Taking taylor expansion of (pow y 4) in y
1.831 * [taylor]: Taking taylor expansion of y in y
1.831 * [backup-simplify]: Simplify 0 into 0
1.831 * [backup-simplify]: Simplify 1 into 1
1.831 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
1.831 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
1.832 * [backup-simplify]: Simplify (- 0) into 0
1.832 * [backup-simplify]: Simplify (+ 0 0) into 0
1.832 * [taylor]: Taking taylor expansion of 0 in y
1.832 * [backup-simplify]: Simplify 0 into 0
1.832 * [backup-simplify]: Simplify 0 into 0
1.832 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
1.833 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
1.833 * [backup-simplify]: Simplify (- 0) into 0
1.833 * [backup-simplify]: Simplify (+ 0 0) into 0
1.833 * [taylor]: Taking taylor expansion of 0 in y
1.833 * [backup-simplify]: Simplify 0 into 0
1.833 * [backup-simplify]: Simplify 0 into 0
1.833 * [backup-simplify]: Simplify 0 into 0
1.834 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
1.834 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0
1.834 * [backup-simplify]: Simplify (- 0) into 0
1.835 * [backup-simplify]: Simplify (+ 0 0) into 0
1.835 * [taylor]: Taking taylor expansion of 0 in y
1.835 * [backup-simplify]: Simplify 0 into 0
1.835 * [backup-simplify]: Simplify 0 into 0
1.835 * [backup-simplify]: Simplify 0 into 0
1.835 * [backup-simplify]: Simplify 0 into 0
1.835 * [backup-simplify]: Simplify 0 into 0
1.835 * [backup-simplify]: Simplify (- (pow (/ 1 x) 4.0) (pow (/ 1 y) 4.0)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))
1.835 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0
1.835 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y
1.835 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
1.835 * [taylor]: Taking taylor expansion of (pow x 4) in y
1.835 * [taylor]: Taking taylor expansion of x in y
1.835 * [backup-simplify]: Simplify x into x
1.835 * [backup-simplify]: Simplify (* x x) into (pow x 2)
1.835 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4)
1.835 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4))
1.835 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
1.835 * [taylor]: Taking taylor expansion of (pow y 4) in y
1.835 * [taylor]: Taking taylor expansion of y in y
1.835 * [backup-simplify]: Simplify 0 into 0
1.835 * [backup-simplify]: Simplify 1 into 1
1.836 * [backup-simplify]: Simplify (* 1 1) into 1
1.836 * [backup-simplify]: Simplify (* 1 1) into 1
1.836 * [backup-simplify]: Simplify (/ 1 1) into 1
1.836 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
1.836 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.836 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.836 * [taylor]: Taking taylor expansion of x in x
1.836 * [backup-simplify]: Simplify 0 into 0
1.836 * [backup-simplify]: Simplify 1 into 1
1.836 * [backup-simplify]: Simplify (* 1 1) into 1
1.837 * [backup-simplify]: Simplify (* 1 1) into 1
1.837 * [backup-simplify]: Simplify (/ 1 1) into 1
1.837 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
1.837 * [taylor]: Taking taylor expansion of (pow y 4) in x
1.837 * [taylor]: Taking taylor expansion of y in x
1.837 * [backup-simplify]: Simplify y into y
1.837 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.837 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
1.837 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
1.837 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
1.837 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.837 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.837 * [taylor]: Taking taylor expansion of x in x
1.837 * [backup-simplify]: Simplify 0 into 0
1.837 * [backup-simplify]: Simplify 1 into 1
1.837 * [backup-simplify]: Simplify (* 1 1) into 1
1.838 * [backup-simplify]: Simplify (* 1 1) into 1
1.838 * [backup-simplify]: Simplify (/ 1 1) into 1
1.838 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
1.838 * [taylor]: Taking taylor expansion of (pow y 4) in x
1.838 * [taylor]: Taking taylor expansion of y in x
1.838 * [backup-simplify]: Simplify y into y
1.838 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.838 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
1.838 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
1.838 * [backup-simplify]: Simplify (+ 1 0) into 1
1.838 * [taylor]: Taking taylor expansion of 1 in y
1.838 * [backup-simplify]: Simplify 1 into 1
1.839 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.839 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.840 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.840 * [backup-simplify]: Simplify (+ 0 0) into 0
1.840 * [taylor]: Taking taylor expansion of 0 in y
1.840 * [backup-simplify]: Simplify 0 into 0
1.840 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.841 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.841 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.842 * [backup-simplify]: Simplify (+ 0 0) into 0
1.842 * [taylor]: Taking taylor expansion of 0 in y
1.842 * [backup-simplify]: Simplify 0 into 0
1.842 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.843 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.846 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.847 * [backup-simplify]: Simplify (+ 0 0) into 0
1.847 * [taylor]: Taking taylor expansion of 0 in y
1.847 * [backup-simplify]: Simplify 0 into 0
1.847 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.848 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.849 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.849 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4)))
1.849 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4)))
1.849 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y
1.849 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
1.849 * [taylor]: Taking taylor expansion of (pow y 4) in y
1.849 * [taylor]: Taking taylor expansion of y in y
1.849 * [backup-simplify]: Simplify 0 into 0
1.849 * [backup-simplify]: Simplify 1 into 1
1.849 * [backup-simplify]: Simplify (* 1 1) into 1
1.849 * [backup-simplify]: Simplify (* 1 1) into 1
1.850 * [backup-simplify]: Simplify (/ 1 1) into 1
1.850 * [backup-simplify]: Simplify (- 1) into -1
1.850 * [backup-simplify]: Simplify -1 into -1
1.850 * [backup-simplify]: Simplify 1 into 1
1.851 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.851 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.852 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.852 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
1.852 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
1.852 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0
1.852 * [backup-simplify]: Simplify (- 0) into 0
1.853 * [backup-simplify]: Simplify (+ 0 0) into 0
1.853 * [taylor]: Taking taylor expansion of 0 in y
1.853 * [backup-simplify]: Simplify 0 into 0
1.853 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.853 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.854 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.854 * [backup-simplify]: Simplify (- 0) into 0
1.854 * [backup-simplify]: Simplify 0 into 0
1.854 * [backup-simplify]: Simplify 0 into 0
1.854 * [backup-simplify]: Simplify 0 into 0
1.855 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.855 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.856 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.856 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
1.857 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
1.857 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
1.857 * [backup-simplify]: Simplify (- 0) into 0
1.857 * [backup-simplify]: Simplify (+ 0 0) into 0
1.857 * [taylor]: Taking taylor expansion of 0 in y
1.857 * [backup-simplify]: Simplify 0 into 0
1.858 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.858 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.859 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.859 * [backup-simplify]: Simplify (- 0) into 0
1.859 * [backup-simplify]: Simplify 0 into 0
1.859 * [backup-simplify]: Simplify 0 into 0
1.859 * [backup-simplify]: Simplify 0 into 0
1.859 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 4)) (* -1 (pow (* (/ 1 (/ 1 y)) 1) 4))) into (- (pow x 4) (pow y 4))
1.860 * [backup-simplify]: Simplify (- (pow (/ 1 (- x)) 4.0) (pow (/ 1 (- y)) 4.0)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))
1.860 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0
1.860 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y
1.860 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
1.860 * [taylor]: Taking taylor expansion of (pow x 4) in y
1.860 * [taylor]: Taking taylor expansion of x in y
1.860 * [backup-simplify]: Simplify x into x
1.860 * [backup-simplify]: Simplify (* x x) into (pow x 2)
1.860 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4)
1.860 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4))
1.860 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
1.860 * [taylor]: Taking taylor expansion of (pow y 4) in y
1.860 * [taylor]: Taking taylor expansion of y in y
1.860 * [backup-simplify]: Simplify 0 into 0
1.860 * [backup-simplify]: Simplify 1 into 1
1.860 * [backup-simplify]: Simplify (* 1 1) into 1
1.860 * [backup-simplify]: Simplify (* 1 1) into 1
1.861 * [backup-simplify]: Simplify (/ 1 1) into 1
1.861 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
1.861 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.861 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.861 * [taylor]: Taking taylor expansion of x in x
1.861 * [backup-simplify]: Simplify 0 into 0
1.861 * [backup-simplify]: Simplify 1 into 1
1.861 * [backup-simplify]: Simplify (* 1 1) into 1
1.861 * [backup-simplify]: Simplify (* 1 1) into 1
1.861 * [backup-simplify]: Simplify (/ 1 1) into 1
1.861 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
1.861 * [taylor]: Taking taylor expansion of (pow y 4) in x
1.861 * [taylor]: Taking taylor expansion of y in x
1.861 * [backup-simplify]: Simplify y into y
1.862 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.862 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
1.862 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
1.862 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
1.862 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.862 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.862 * [taylor]: Taking taylor expansion of x in x
1.862 * [backup-simplify]: Simplify 0 into 0
1.862 * [backup-simplify]: Simplify 1 into 1
1.862 * [backup-simplify]: Simplify (* 1 1) into 1
1.862 * [backup-simplify]: Simplify (* 1 1) into 1
1.862 * [backup-simplify]: Simplify (/ 1 1) into 1
1.862 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
1.862 * [taylor]: Taking taylor expansion of (pow y 4) in x
1.863 * [taylor]: Taking taylor expansion of y in x
1.863 * [backup-simplify]: Simplify y into y
1.863 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.863 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
1.863 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
1.863 * [backup-simplify]: Simplify (+ 1 0) into 1
1.863 * [taylor]: Taking taylor expansion of 1 in y
1.863 * [backup-simplify]: Simplify 1 into 1
1.863 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.864 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.864 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.864 * [backup-simplify]: Simplify (+ 0 0) into 0
1.864 * [taylor]: Taking taylor expansion of 0 in y
1.864 * [backup-simplify]: Simplify 0 into 0
1.865 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.865 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.866 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.866 * [backup-simplify]: Simplify (+ 0 0) into 0
1.866 * [taylor]: Taking taylor expansion of 0 in y
1.866 * [backup-simplify]: Simplify 0 into 0
1.867 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.867 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.868 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.868 * [backup-simplify]: Simplify (+ 0 0) into 0
1.868 * [taylor]: Taking taylor expansion of 0 in y
1.868 * [backup-simplify]: Simplify 0 into 0
1.869 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.869 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.870 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.870 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4)))
1.870 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4)))
1.870 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y
1.870 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
1.870 * [taylor]: Taking taylor expansion of (pow y 4) in y
1.870 * [taylor]: Taking taylor expansion of y in y
1.870 * [backup-simplify]: Simplify 0 into 0
1.870 * [backup-simplify]: Simplify 1 into 1
1.870 * [backup-simplify]: Simplify (* 1 1) into 1
1.871 * [backup-simplify]: Simplify (* 1 1) into 1
1.871 * [backup-simplify]: Simplify (/ 1 1) into 1
1.871 * [backup-simplify]: Simplify (- 1) into -1
1.871 * [backup-simplify]: Simplify -1 into -1
1.871 * [backup-simplify]: Simplify 1 into 1
1.872 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.873 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.873 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.873 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
1.873 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
1.873 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0
1.874 * [backup-simplify]: Simplify (- 0) into 0
1.874 * [backup-simplify]: Simplify (+ 0 0) into 0
1.874 * [taylor]: Taking taylor expansion of 0 in y
1.874 * [backup-simplify]: Simplify 0 into 0
1.874 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.875 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.875 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.875 * [backup-simplify]: Simplify (- 0) into 0
1.875 * [backup-simplify]: Simplify 0 into 0
1.875 * [backup-simplify]: Simplify 0 into 0
1.875 * [backup-simplify]: Simplify 0 into 0
1.876 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.877 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.877 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.878 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
1.878 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
1.878 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
1.878 * [backup-simplify]: Simplify (- 0) into 0
1.879 * [backup-simplify]: Simplify (+ 0 0) into 0
1.879 * [taylor]: Taking taylor expansion of 0 in y
1.879 * [backup-simplify]: Simplify 0 into 0
1.879 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.880 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.880 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.880 * [backup-simplify]: Simplify (- 0) into 0
1.880 * [backup-simplify]: Simplify 0 into 0
1.880 * [backup-simplify]: Simplify 0 into 0
1.880 * [backup-simplify]: Simplify 0 into 0
1.881 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 4)) (* -1 (pow (* (/ 1 (/ 1 (- y))) 1) 4))) into (- (pow x 4) (pow y 4))
1.881 * * * [progress]: simplifying candidates
1.882 * [simplify]: Simplifying:
  (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))))
  (fma (- (pow (cbrt y) 4.0)) (pow (* (cbrt y) (cbrt y)) 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))
  (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0))))
  (fma (- (pow (sqrt y) 4.0)) (pow (sqrt y) 4.0) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))
  (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (* (pow y 4.0) (pow 1 4.0))))
  (fma (- (pow y 4.0)) (pow 1 4.0) (* (pow y 4.0) (pow 1 4.0)))
  (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))))))
  (fma (- (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0)))))
  (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0)))))
  (fma (- (sqrt (pow y 4.0))) (sqrt (pow y 4.0)) (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0))))
  (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (* (pow y 4.0) 1)))
  (fma (- (pow y 4.0)) 1 (* (pow y 4.0) 1))
  (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2)))))
  (fma (- (pow y (/ 4.0 2))) (pow y (/ 4.0 2)) (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2))))
  (fma (pow (sqrt x) 4.0) (pow (sqrt x) 4.0) (- (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))))
  (fma (- (pow (cbrt y) 4.0)) (pow (* (cbrt y) (cbrt y)) 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))
  (fma (pow (sqrt x) 4.0) (pow (sqrt x) 4.0) (- (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0))))
  (fma (- (pow (sqrt y) 4.0)) (pow (sqrt y) 4.0) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))
  (fma (pow (sqrt x) 4.0) (pow (sqrt x) 4.0) (- (* (pow y 4.0) (pow 1 4.0))))
  (fma (- (pow y 4.0)) (pow 1 4.0) (* (pow y 4.0) (pow 1 4.0)))
  (fma (pow (sqrt x) 4.0) (pow (sqrt x) 4.0) (- (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))))))
  (fma (- (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0)))))
  (fma (pow (sqrt x) 4.0) (pow (sqrt x) 4.0) (- (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0)))))
  (fma (- (sqrt (pow y 4.0))) (sqrt (pow y 4.0)) (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0))))
  (fma (pow (sqrt x) 4.0) (pow (sqrt x) 4.0) (- (* (pow y 4.0) 1)))
  (fma (- (pow y 4.0)) 1 (* (pow y 4.0) 1))
  (fma (pow (sqrt x) 4.0) (pow (sqrt x) 4.0) (- (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2)))))
  (fma (- (pow y (/ 4.0 2))) (pow y (/ 4.0 2)) (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2))))
  (fma (pow 1 4.0) (pow x 4.0) (- (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))))
  (fma (- (pow (cbrt y) 4.0)) (pow (* (cbrt y) (cbrt y)) 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))
  (fma (pow 1 4.0) (pow x 4.0) (- (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0))))
  (fma (- (pow (sqrt y) 4.0)) (pow (sqrt y) 4.0) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))
  (fma (pow 1 4.0) (pow x 4.0) (- (* (pow y 4.0) (pow 1 4.0))))
  (fma (- (pow y 4.0)) (pow 1 4.0) (* (pow y 4.0) (pow 1 4.0)))
  (fma (pow 1 4.0) (pow x 4.0) (- (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))))))
  (fma (- (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0)))))
  (fma (pow 1 4.0) (pow x 4.0) (- (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0)))))
  (fma (- (sqrt (pow y 4.0))) (sqrt (pow y 4.0)) (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0))))
  (fma (pow 1 4.0) (pow x 4.0) (- (* (pow y 4.0) 1)))
  (fma (- (pow y 4.0)) 1 (* (pow y 4.0) 1))
  (fma (pow 1 4.0) (pow x 4.0) (- (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2)))))
  (fma (- (pow y (/ 4.0 2))) (pow y (/ 4.0 2)) (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2))))
  (fma (* (cbrt (pow x 4.0)) (cbrt (pow x 4.0))) (cbrt (pow x 4.0)) (- (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))))
  (fma (- (pow (cbrt y) 4.0)) (pow (* (cbrt y) (cbrt y)) 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))
  (fma (* (cbrt (pow x 4.0)) (cbrt (pow x 4.0))) (cbrt (pow x 4.0)) (- (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0))))
  (fma (- (pow (sqrt y) 4.0)) (pow (sqrt y) 4.0) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))
  (fma (* (cbrt (pow x 4.0)) (cbrt (pow x 4.0))) (cbrt (pow x 4.0)) (- (* (pow y 4.0) (pow 1 4.0))))
  (fma (- (pow y 4.0)) (pow 1 4.0) (* (pow y 4.0) (pow 1 4.0)))
  (fma (* (cbrt (pow x 4.0)) (cbrt (pow x 4.0))) (cbrt (pow x 4.0)) (- (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))))))
  (fma (- (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0)))))
  (fma (* (cbrt (pow x 4.0)) (cbrt (pow x 4.0))) (cbrt (pow x 4.0)) (- (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0)))))
  (fma (- (sqrt (pow y 4.0))) (sqrt (pow y 4.0)) (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0))))
  (fma (* (cbrt (pow x 4.0)) (cbrt (pow x 4.0))) (cbrt (pow x 4.0)) (- (* (pow y 4.0) 1)))
  (fma (- (pow y 4.0)) 1 (* (pow y 4.0) 1))
  (fma (* (cbrt (pow x 4.0)) (cbrt (pow x 4.0))) (cbrt (pow x 4.0)) (- (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2)))))
  (fma (- (pow y (/ 4.0 2))) (pow y (/ 4.0 2)) (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2))))
  (fma (sqrt (pow x 4.0)) (sqrt (pow x 4.0)) (- (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))))
  (fma (- (pow (cbrt y) 4.0)) (pow (* (cbrt y) (cbrt y)) 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))
  (fma (sqrt (pow x 4.0)) (sqrt (pow x 4.0)) (- (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0))))
  (fma (- (pow (sqrt y) 4.0)) (pow (sqrt y) 4.0) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))
  (fma (sqrt (pow x 4.0)) (sqrt (pow x 4.0)) (- (* (pow y 4.0) (pow 1 4.0))))
  (fma (- (pow y 4.0)) (pow 1 4.0) (* (pow y 4.0) (pow 1 4.0)))
  (fma (sqrt (pow x 4.0)) (sqrt (pow x 4.0)) (- (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))))))
  (fma (- (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0)))))
  (fma (sqrt (pow x 4.0)) (sqrt (pow x 4.0)) (- (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0)))))
  (fma (- (sqrt (pow y 4.0))) (sqrt (pow y 4.0)) (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0))))
  (fma (sqrt (pow x 4.0)) (sqrt (pow x 4.0)) (- (* (pow y 4.0) 1)))
  (fma (- (pow y 4.0)) 1 (* (pow y 4.0) 1))
  (fma (sqrt (pow x 4.0)) (sqrt (pow x 4.0)) (- (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2)))))
  (fma (- (pow y (/ 4.0 2))) (pow y (/ 4.0 2)) (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2))))
  (fma 1 (pow x 4.0) (- (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))))
  (fma (- (pow (cbrt y) 4.0)) (pow (* (cbrt y) (cbrt y)) 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))
  (fma 1 (pow x 4.0) (- (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0))))
  (fma (- (pow (sqrt y) 4.0)) (pow (sqrt y) 4.0) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))
  (fma 1 (pow x 4.0) (- (* (pow y 4.0) (pow 1 4.0))))
  (fma (- (pow y 4.0)) (pow 1 4.0) (* (pow y 4.0) (pow 1 4.0)))
  (fma 1 (pow x 4.0) (- (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))))))
  (fma (- (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0)))))
  (fma 1 (pow x 4.0) (- (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0)))))
  (fma (- (sqrt (pow y 4.0))) (sqrt (pow y 4.0)) (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0))))
  (fma 1 (pow x 4.0) (- (* (pow y 4.0) 1)))
  (fma (- (pow y 4.0)) 1 (* (pow y 4.0) 1))
  (fma 1 (pow x 4.0) (- (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2)))))
  (fma (- (pow y (/ 4.0 2))) (pow y (/ 4.0 2)) (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2))))
  (fma (pow x (/ 4.0 2)) (pow x (/ 4.0 2)) (- (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))))
  (fma (- (pow (cbrt y) 4.0)) (pow (* (cbrt y) (cbrt y)) 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))
  (fma (pow x (/ 4.0 2)) (pow x (/ 4.0 2)) (- (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0))))
  (fma (- (pow (sqrt y) 4.0)) (pow (sqrt y) 4.0) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))
  (fma (pow x (/ 4.0 2)) (pow x (/ 4.0 2)) (- (* (pow y 4.0) (pow 1 4.0))))
  (fma (- (pow y 4.0)) (pow 1 4.0) (* (pow y 4.0) (pow 1 4.0)))
  (fma (pow x (/ 4.0 2)) (pow x (/ 4.0 2)) (- (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))))))
  (fma (- (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0)))))
  (fma (pow x (/ 4.0 2)) (pow x (/ 4.0 2)) (- (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0)))))
  (fma (- (sqrt (pow y 4.0))) (sqrt (pow y 4.0)) (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0))))
  (fma (pow x (/ 4.0 2)) (pow x (/ 4.0 2)) (- (* (pow y 4.0) 1)))
  (fma (- (pow y 4.0)) 1 (* (pow y 4.0) 1))
  (fma (pow x (/ 4.0 2)) (pow x (/ 4.0 2)) (- (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2)))))
  (fma (- (pow y (/ 4.0 2))) (pow y (/ 4.0 2)) (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2))))
  (expm1 (- (pow x 4.0) (pow y 4.0)))
  (log1p (- (pow x 4.0) (pow y 4.0)))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (/ (exp (pow x 4.0)) (exp (pow y 4.0)))
  (log (- (pow x 4.0) (pow y 4.0)))
  (exp (- (pow x 4.0) (pow y 4.0)))
  (* (cbrt (- (pow x 4.0) (pow y 4.0))) (cbrt (- (pow x 4.0) (pow y 4.0))))
  (cbrt (- (pow x 4.0) (pow y 4.0)))
  (* (* (- (pow x 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0))) (- (pow x 4.0) (pow y 4.0)))
  (sqrt (- (pow x 4.0) (pow y 4.0)))
  (sqrt (- (pow x 4.0) (pow y 4.0)))
  (- (pow (pow x 4.0) 3) (pow (pow y 4.0) 3))
  (+ (* (pow x 4.0) (pow x 4.0)) (+ (* (pow y 4.0) (pow y 4.0)) (* (pow x 4.0) (pow y 4.0))))
  (- (pow y 4.0))
  (- (* (pow x 4.0) (pow x 4.0)) (* (pow y 4.0) (pow y 4.0)))
  (+ (pow x 4.0) (pow y 4.0))
  (+ (pow (sqrt x) 4.0) (pow (sqrt y) 4.0))
  (- (pow (sqrt x) 4.0) (pow (sqrt y) 4.0))
  (+ (pow (sqrt x) 4.0) (sqrt (pow y 4.0)))
  (- (pow (sqrt x) 4.0) (sqrt (pow y 4.0)))
  (+ (pow (sqrt x) 4.0) (pow y (/ 4.0 2)))
  (- (pow (sqrt x) 4.0) (pow y (/ 4.0 2)))
  (+ (sqrt (pow x 4.0)) (pow (sqrt y) 4.0))
  (- (sqrt (pow x 4.0)) (pow (sqrt y) 4.0))
  (+ (sqrt (pow x 4.0)) (sqrt (pow y 4.0)))
  (- (sqrt (pow x 4.0)) (sqrt (pow y 4.0)))
  (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))
  (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))
  (+ (pow x (/ 4.0 2)) (pow (sqrt y) 4.0))
  (- (pow x (/ 4.0 2)) (pow (sqrt y) 4.0))
  (+ (pow x (/ 4.0 2)) (sqrt (pow y 4.0)))
  (- (pow x (/ 4.0 2)) (sqrt (pow y 4.0)))
  (+ (pow x (/ 4.0 2)) (pow y (/ 4.0 2)))
  (- (pow x (/ 4.0 2)) (pow y (/ 4.0 2)))
  (- (pow x 4.0) (pow y 4.0))
  (- (pow x 4.0) (pow y 4.0))
  (- (pow y 4.0))
  0
  (- (pow x 4) (pow y 4))
  (- (pow x 4) (pow y 4))
1.885 * * [simplify]: Extracting # 0 : cost  0
1.885 * * [simplify]: Extracting # 1 : cost  0
1.886 * * [simplify]: Extracting # 2 : cost  0
1.886 * * [simplify]: Extracting # 3 : cost  0
1.886 * * [simplify]: Extracting # 4 : cost  0
1.886 * * [simplify]: Extracting # 5 : cost  0
1.887 * * [simplify]: Extracting # 6 : cost  0
1.887 * * [simplify]: Extracting # 7 : cost  0
1.887 * * [simplify]: Extracting # 8 : cost  0
1.887 * * [simplify]: iteration  0 :  152  enodes  (cost  2374 )
1.915 * * [simplify]: Extracting # 0 : cost  0
1.916 * * [simplify]: Extracting # 1 : cost  0
1.916 * * [simplify]: Extracting # 2 : cost  0
1.916 * * [simplify]: Extracting # 3 : cost  0
1.916 * * [simplify]: Extracting # 4 : cost  0
1.917 * * [simplify]: Extracting # 5 : cost  0
1.917 * * [simplify]: iteration  1 :  313  enodes  (cost  1687 )
1.989 * * [simplify]: Extracting # 0 : cost  0
1.989 * * [simplify]: Extracting # 1 : cost  0
1.990 * * [simplify]: Extracting # 2 : cost  0
1.991 * * [simplify]: Extracting # 3 : cost  0
1.991 * * [simplify]: Extracting # 4 : cost  0
1.992 * * [simplify]: iteration  2 :  714  enodes  (cost  1361 )
2.478 * * [simplify]: Extracting # 0 : cost  0
2.482 * * [simplify]: Extracting # 1 : cost  0
2.485 * * [simplify]: Extracting # 2 : cost  0
2.487 * * [simplify]: Extracting # 3 : cost  0
2.490 * * [simplify]: Extracting # 4 : cost  0
2.496 * * [simplify]: Extracting # 5 : cost  0
2.500 * * [simplify]: iteration  3 :  3011  enodes  (cost  1158 )
4.126 * * [simplify]: Extracting # 0 : cost  0
4.132 * * [simplify]: Extracting # 1 : cost  0
4.136 * * [simplify]: Extracting # 2 : cost  0
4.141 * * [simplify]: Extracting # 3 : cost  0
4.149 * * [simplify]: iteration done:  5000  enodes  (cost  934 )
4.150 * [simplify]: Simplified to:
  (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))))
  0
  (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (pow (sqrt y) (* 2 4.0))))
  0
  (- (* (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0)) (pow y 4.0))
  0
  (- (* (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0)) (pow y 4.0))
  0
  (- (* (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0)) (pow y 4.0))
  0
  (- (* (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0)) (pow y 4.0))
  0
  (- (* (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0)) (pow y 4.0))
  0
  (- (pow (sqrt x) (* 2 4.0)) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))
  0
  (- (pow (sqrt x) (* 2 4.0)) (pow (sqrt y) (* 2 4.0)))
  0
  (- (pow (sqrt x) (* 2 4.0)) (pow y 4.0))
  0
  (- (pow (sqrt x) (* 2 4.0)) (pow y 4.0))
  0
  (- (pow (sqrt x) (* 2 4.0)) (pow y 4.0))
  0
  (- (pow (sqrt x) (* 2 4.0)) (pow y 4.0))
  0
  (- (pow (sqrt x) (* 2 4.0)) (pow y 4.0))
  0
  (fma (pow (* (cbrt y) (cbrt y)) 4.0) (- (pow (cbrt y) 4.0)) (pow x 4.0))
  0
  (- (pow x 4.0) (pow (sqrt y) (* 2 4.0)))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (fma (pow (* (cbrt y) (cbrt y)) 4.0) (- (pow (cbrt y) 4.0)) (pow x 4.0))
  0
  (- (pow x 4.0) (pow (sqrt y) (* 2 4.0)))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (fma (pow (* (cbrt y) (cbrt y)) 4.0) (- (pow (cbrt y) 4.0)) (pow x 4.0))
  0
  (- (pow x 4.0) (pow (sqrt y) (* 2 4.0)))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (fma (pow (* (cbrt y) (cbrt y)) 4.0) (- (pow (cbrt y) 4.0)) (pow x 4.0))
  0
  (- (pow x 4.0) (pow (sqrt y) (* 2 4.0)))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (fma (pow (* (cbrt y) (cbrt y)) 4.0) (- (pow (cbrt y) 4.0)) (pow x 4.0))
  0
  (- (pow x 4.0) (pow (sqrt y) (* 2 4.0)))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (expm1 (- (pow x 4.0) (pow y 4.0)))
  (log1p (- (pow x 4.0) (pow y 4.0)))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (exp (- (pow x 4.0) (pow y 4.0)))
  (log (- (pow x 4.0) (pow y 4.0)))
  (exp (- (pow x 4.0) (pow y 4.0)))
  (* (cbrt (- (pow x 4.0) (pow y 4.0))) (cbrt (- (pow x 4.0) (pow y 4.0))))
  (cbrt (- (pow x 4.0) (pow y 4.0)))
  (pow (- (pow x 4.0) (pow y 4.0)) 3)
  (sqrt (- (pow x 4.0) (pow y 4.0)))
  (sqrt (- (pow x 4.0) (pow y 4.0)))
  (- (pow (pow x 4.0) 3) (pow (pow y 4.0) 3))
  (fma (pow y 4.0) (+ (pow x 4.0) (pow y 4.0)) (pow x (* 2 4.0)))
  (- (pow y 4.0))
  (- (pow x (* 2 4.0)) (pow y (* 2 4.0)))
  (+ (pow x 4.0) (pow y 4.0))
  (+ (pow (sqrt x) 4.0) (pow (sqrt y) 4.0))
  (- (pow (sqrt x) 4.0) (pow (sqrt y) 4.0))
  (+ (pow (sqrt x) 4.0) (sqrt (pow y 4.0)))
  (- (pow (sqrt x) 4.0) (sqrt (pow y 4.0)))
  (+ (pow (sqrt x) 4.0) (pow y (/ 4.0 2)))
  (- (pow (sqrt x) 4.0) (pow y (/ 4.0 2)))
  (+ (sqrt (pow x 4.0)) (pow (sqrt y) 4.0))
  (- (sqrt (pow x 4.0)) (pow (sqrt y) 4.0))
  (+ (sqrt (pow x 4.0)) (sqrt (pow y 4.0)))
  (- (sqrt (pow x 4.0)) (sqrt (pow y 4.0)))
  (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))
  (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))
  (+ (pow x (/ 4.0 2)) (pow (sqrt y) 4.0))
  (- (pow x (/ 4.0 2)) (pow (sqrt y) 4.0))
  (+ (pow x (/ 4.0 2)) (sqrt (pow y 4.0)))
  (- (pow x (/ 4.0 2)) (sqrt (pow y 4.0)))
  (+ (pow x (/ 4.0 2)) (pow y (/ 4.0 2)))
  (- (pow x (/ 4.0 2)) (pow y (/ 4.0 2)))
  (- (pow x 4.0) (pow y 4.0))
  (- (pow x 4.0) (pow y 4.0))
  (- (pow y 4.0))
  0
  (- (pow x 4) (pow y 4))
  (- (pow x 4) (pow y 4))
4.151 * * * [progress]: adding candidates to table
4.264 * * [progress]: iteration 2 / 4
4.264 * * * [progress]: picking best candidate
4.266 * * * * [pick]: Picked  #<alt (λ (x y) (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3)))>
4.266 * * * [progress]: localizing error
4.275 * * * [progress]: generating rewritten candidates
4.275 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
4.299 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
4.327 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
4.356 * * * [progress]: generating series expansions
4.356 * * * * [progress]: [ 1 / 3 ] generating series at (2)
4.357 * [backup-simplify]: Simplify (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3)) into (- (pow x 4) (pow y 4))
4.357 * [approximate]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in (x y) around 0
4.357 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in y
4.357 * [taylor]: Taking taylor expansion of (pow x 4) in y
4.357 * [taylor]: Taking taylor expansion of x in y
4.357 * [backup-simplify]: Simplify x into x
4.357 * [taylor]: Taking taylor expansion of (pow y 4) in y
4.357 * [taylor]: Taking taylor expansion of y in y
4.357 * [backup-simplify]: Simplify 0 into 0
4.357 * [backup-simplify]: Simplify 1 into 1
4.357 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x
4.357 * [taylor]: Taking taylor expansion of (pow x 4) in x
4.357 * [taylor]: Taking taylor expansion of x in x
4.357 * [backup-simplify]: Simplify 0 into 0
4.357 * [backup-simplify]: Simplify 1 into 1
4.357 * [taylor]: Taking taylor expansion of (pow y 4) in x
4.357 * [taylor]: Taking taylor expansion of y in x
4.357 * [backup-simplify]: Simplify y into y
4.357 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x
4.357 * [taylor]: Taking taylor expansion of (pow x 4) in x
4.357 * [taylor]: Taking taylor expansion of x in x
4.357 * [backup-simplify]: Simplify 0 into 0
4.357 * [backup-simplify]: Simplify 1 into 1
4.357 * [taylor]: Taking taylor expansion of (pow y 4) in x
4.357 * [taylor]: Taking taylor expansion of y in x
4.357 * [backup-simplify]: Simplify y into y
4.357 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.357 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
4.357 * [backup-simplify]: Simplify (- (pow y 4)) into (- (pow y 4))
4.358 * [backup-simplify]: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4))
4.358 * [taylor]: Taking taylor expansion of (- (pow y 4)) in y
4.358 * [taylor]: Taking taylor expansion of (pow y 4) in y
4.358 * [taylor]: Taking taylor expansion of y in y
4.358 * [backup-simplify]: Simplify 0 into 0
4.358 * [backup-simplify]: Simplify 1 into 1
4.358 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
4.358 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
4.358 * [backup-simplify]: Simplify (- 0) into 0
4.358 * [backup-simplify]: Simplify (+ 0 0) into 0
4.359 * [taylor]: Taking taylor expansion of 0 in y
4.359 * [backup-simplify]: Simplify 0 into 0
4.359 * [backup-simplify]: Simplify 0 into 0
4.359 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
4.359 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
4.359 * [backup-simplify]: Simplify (- 0) into 0
4.360 * [backup-simplify]: Simplify (+ 0 0) into 0
4.360 * [taylor]: Taking taylor expansion of 0 in y
4.360 * [backup-simplify]: Simplify 0 into 0
4.360 * [backup-simplify]: Simplify 0 into 0
4.360 * [backup-simplify]: Simplify 0 into 0
4.360 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
4.361 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0
4.361 * [backup-simplify]: Simplify (- 0) into 0
4.361 * [backup-simplify]: Simplify (+ 0 0) into 0
4.361 * [taylor]: Taking taylor expansion of 0 in y
4.361 * [backup-simplify]: Simplify 0 into 0
4.361 * [backup-simplify]: Simplify 0 into 0
4.361 * [backup-simplify]: Simplify 0 into 0
4.361 * [backup-simplify]: Simplify 0 into 0
4.361 * [backup-simplify]: Simplify 0 into 0
4.362 * [backup-simplify]: Simplify (cbrt (pow (- (pow (/ 1 x) 4.0) (pow (/ 1 y) 4.0)) 3)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))
4.362 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0
4.362 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y
4.362 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
4.362 * [taylor]: Taking taylor expansion of (pow x 4) in y
4.362 * [taylor]: Taking taylor expansion of x in y
4.362 * [backup-simplify]: Simplify x into x
4.362 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.362 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4)
4.362 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4))
4.362 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
4.362 * [taylor]: Taking taylor expansion of (pow y 4) in y
4.362 * [taylor]: Taking taylor expansion of y in y
4.362 * [backup-simplify]: Simplify 0 into 0
4.362 * [backup-simplify]: Simplify 1 into 1
4.362 * [backup-simplify]: Simplify (* 1 1) into 1
4.362 * [backup-simplify]: Simplify (* 1 1) into 1
4.363 * [backup-simplify]: Simplify (/ 1 1) into 1
4.363 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
4.363 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
4.363 * [taylor]: Taking taylor expansion of (pow x 4) in x
4.363 * [taylor]: Taking taylor expansion of x in x
4.363 * [backup-simplify]: Simplify 0 into 0
4.363 * [backup-simplify]: Simplify 1 into 1
4.363 * [backup-simplify]: Simplify (* 1 1) into 1
4.363 * [backup-simplify]: Simplify (* 1 1) into 1
4.364 * [backup-simplify]: Simplify (/ 1 1) into 1
4.364 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
4.364 * [taylor]: Taking taylor expansion of (pow y 4) in x
4.364 * [taylor]: Taking taylor expansion of y in x
4.364 * [backup-simplify]: Simplify y into y
4.364 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.364 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
4.364 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
4.364 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
4.364 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
4.364 * [taylor]: Taking taylor expansion of (pow x 4) in x
4.364 * [taylor]: Taking taylor expansion of x in x
4.364 * [backup-simplify]: Simplify 0 into 0
4.364 * [backup-simplify]: Simplify 1 into 1
4.364 * [backup-simplify]: Simplify (* 1 1) into 1
4.364 * [backup-simplify]: Simplify (* 1 1) into 1
4.365 * [backup-simplify]: Simplify (/ 1 1) into 1
4.365 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
4.365 * [taylor]: Taking taylor expansion of (pow y 4) in x
4.365 * [taylor]: Taking taylor expansion of y in x
4.365 * [backup-simplify]: Simplify y into y
4.365 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.365 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
4.365 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
4.365 * [backup-simplify]: Simplify (+ 1 0) into 1
4.365 * [taylor]: Taking taylor expansion of 1 in y
4.365 * [backup-simplify]: Simplify 1 into 1
4.366 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.366 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.366 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.367 * [backup-simplify]: Simplify (+ 0 0) into 0
4.367 * [taylor]: Taking taylor expansion of 0 in y
4.367 * [backup-simplify]: Simplify 0 into 0
4.367 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.368 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.368 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.368 * [backup-simplify]: Simplify (+ 0 0) into 0
4.368 * [taylor]: Taking taylor expansion of 0 in y
4.368 * [backup-simplify]: Simplify 0 into 0
4.369 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.369 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.370 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.370 * [backup-simplify]: Simplify (+ 0 0) into 0
4.370 * [taylor]: Taking taylor expansion of 0 in y
4.370 * [backup-simplify]: Simplify 0 into 0
4.371 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.371 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.372 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.372 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4)))
4.372 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4)))
4.372 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y
4.372 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
4.372 * [taylor]: Taking taylor expansion of (pow y 4) in y
4.372 * [taylor]: Taking taylor expansion of y in y
4.372 * [backup-simplify]: Simplify 0 into 0
4.372 * [backup-simplify]: Simplify 1 into 1
4.373 * [backup-simplify]: Simplify (* 1 1) into 1
4.373 * [backup-simplify]: Simplify (* 1 1) into 1
4.373 * [backup-simplify]: Simplify (/ 1 1) into 1
4.373 * [backup-simplify]: Simplify (- 1) into -1
4.373 * [backup-simplify]: Simplify -1 into -1
4.373 * [backup-simplify]: Simplify 1 into 1
4.374 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.375 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.378 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.378 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
4.379 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
4.379 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0
4.379 * [backup-simplify]: Simplify (- 0) into 0
4.379 * [backup-simplify]: Simplify (+ 0 0) into 0
4.379 * [taylor]: Taking taylor expansion of 0 in y
4.379 * [backup-simplify]: Simplify 0 into 0
4.380 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.380 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.381 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.381 * [backup-simplify]: Simplify (- 0) into 0
4.381 * [backup-simplify]: Simplify 0 into 0
4.381 * [backup-simplify]: Simplify 0 into 0
4.381 * [backup-simplify]: Simplify 0 into 0
4.382 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.382 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.383 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.383 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
4.383 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
4.384 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
4.384 * [backup-simplify]: Simplify (- 0) into 0
4.384 * [backup-simplify]: Simplify (+ 0 0) into 0
4.384 * [taylor]: Taking taylor expansion of 0 in y
4.384 * [backup-simplify]: Simplify 0 into 0
4.385 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.385 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.386 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.386 * [backup-simplify]: Simplify (- 0) into 0
4.386 * [backup-simplify]: Simplify 0 into 0
4.386 * [backup-simplify]: Simplify 0 into 0
4.386 * [backup-simplify]: Simplify 0 into 0
4.386 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 4)) (* -1 (pow (* (/ 1 (/ 1 y)) 1) 4))) into (- (pow x 4) (pow y 4))
4.386 * [backup-simplify]: Simplify (cbrt (pow (- (pow (/ 1 (- x)) 4.0) (pow (/ 1 (- y)) 4.0)) 3)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))
4.386 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0
4.386 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y
4.387 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
4.387 * [taylor]: Taking taylor expansion of (pow x 4) in y
4.387 * [taylor]: Taking taylor expansion of x in y
4.387 * [backup-simplify]: Simplify x into x
4.387 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.387 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4)
4.387 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4))
4.387 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
4.387 * [taylor]: Taking taylor expansion of (pow y 4) in y
4.387 * [taylor]: Taking taylor expansion of y in y
4.387 * [backup-simplify]: Simplify 0 into 0
4.387 * [backup-simplify]: Simplify 1 into 1
4.387 * [backup-simplify]: Simplify (* 1 1) into 1
4.387 * [backup-simplify]: Simplify (* 1 1) into 1
4.388 * [backup-simplify]: Simplify (/ 1 1) into 1
4.388 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
4.388 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
4.388 * [taylor]: Taking taylor expansion of (pow x 4) in x
4.388 * [taylor]: Taking taylor expansion of x in x
4.388 * [backup-simplify]: Simplify 0 into 0
4.388 * [backup-simplify]: Simplify 1 into 1
4.388 * [backup-simplify]: Simplify (* 1 1) into 1
4.388 * [backup-simplify]: Simplify (* 1 1) into 1
4.388 * [backup-simplify]: Simplify (/ 1 1) into 1
4.388 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
4.388 * [taylor]: Taking taylor expansion of (pow y 4) in x
4.388 * [taylor]: Taking taylor expansion of y in x
4.388 * [backup-simplify]: Simplify y into y
4.388 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.388 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
4.389 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
4.389 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
4.389 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
4.389 * [taylor]: Taking taylor expansion of (pow x 4) in x
4.389 * [taylor]: Taking taylor expansion of x in x
4.389 * [backup-simplify]: Simplify 0 into 0
4.389 * [backup-simplify]: Simplify 1 into 1
4.389 * [backup-simplify]: Simplify (* 1 1) into 1
4.389 * [backup-simplify]: Simplify (* 1 1) into 1
4.389 * [backup-simplify]: Simplify (/ 1 1) into 1
4.389 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
4.389 * [taylor]: Taking taylor expansion of (pow y 4) in x
4.389 * [taylor]: Taking taylor expansion of y in x
4.389 * [backup-simplify]: Simplify y into y
4.389 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.390 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
4.390 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
4.390 * [backup-simplify]: Simplify (+ 1 0) into 1
4.390 * [taylor]: Taking taylor expansion of 1 in y
4.390 * [backup-simplify]: Simplify 1 into 1
4.390 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.391 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.391 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.391 * [backup-simplify]: Simplify (+ 0 0) into 0
4.391 * [taylor]: Taking taylor expansion of 0 in y
4.391 * [backup-simplify]: Simplify 0 into 0
4.392 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.392 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.393 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.393 * [backup-simplify]: Simplify (+ 0 0) into 0
4.393 * [taylor]: Taking taylor expansion of 0 in y
4.393 * [backup-simplify]: Simplify 0 into 0
4.394 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.394 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.395 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.395 * [backup-simplify]: Simplify (+ 0 0) into 0
4.395 * [taylor]: Taking taylor expansion of 0 in y
4.395 * [backup-simplify]: Simplify 0 into 0
4.396 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.396 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.397 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.397 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4)))
4.397 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4)))
4.397 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y
4.397 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
4.397 * [taylor]: Taking taylor expansion of (pow y 4) in y
4.397 * [taylor]: Taking taylor expansion of y in y
4.397 * [backup-simplify]: Simplify 0 into 0
4.397 * [backup-simplify]: Simplify 1 into 1
4.397 * [backup-simplify]: Simplify (* 1 1) into 1
4.398 * [backup-simplify]: Simplify (* 1 1) into 1
4.398 * [backup-simplify]: Simplify (/ 1 1) into 1
4.398 * [backup-simplify]: Simplify (- 1) into -1
4.398 * [backup-simplify]: Simplify -1 into -1
4.398 * [backup-simplify]: Simplify 1 into 1
4.399 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.399 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.400 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.400 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
4.400 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
4.400 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0
4.401 * [backup-simplify]: Simplify (- 0) into 0
4.401 * [backup-simplify]: Simplify (+ 0 0) into 0
4.401 * [taylor]: Taking taylor expansion of 0 in y
4.401 * [backup-simplify]: Simplify 0 into 0
4.401 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.401 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.402 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.402 * [backup-simplify]: Simplify (- 0) into 0
4.402 * [backup-simplify]: Simplify 0 into 0
4.402 * [backup-simplify]: Simplify 0 into 0
4.402 * [backup-simplify]: Simplify 0 into 0
4.403 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.404 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.404 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.404 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
4.405 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
4.405 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
4.405 * [backup-simplify]: Simplify (- 0) into 0
4.406 * [backup-simplify]: Simplify (+ 0 0) into 0
4.406 * [taylor]: Taking taylor expansion of 0 in y
4.406 * [backup-simplify]: Simplify 0 into 0
4.406 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.406 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.407 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.407 * [backup-simplify]: Simplify (- 0) into 0
4.407 * [backup-simplify]: Simplify 0 into 0
4.407 * [backup-simplify]: Simplify 0 into 0
4.407 * [backup-simplify]: Simplify 0 into 0
4.408 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 4)) (* -1 (pow (* (/ 1 (/ 1 (- y))) 1) 4))) into (- (pow x 4) (pow y 4))
4.408 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
4.408 * [backup-simplify]: Simplify (pow (- (pow x 4.0) (pow y 4.0)) 3) into (pow (- (pow x 4) (pow y 4)) 3)
4.408 * [approximate]: Taking taylor expansion of (pow (- (pow x 4) (pow y 4)) 3) in (x y) around 0
4.408 * [taylor]: Taking taylor expansion of (pow (- (pow x 4) (pow y 4)) 3) in y
4.408 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in y
4.408 * [taylor]: Taking taylor expansion of (pow x 4) in y
4.408 * [taylor]: Taking taylor expansion of x in y
4.408 * [backup-simplify]: Simplify x into x
4.408 * [taylor]: Taking taylor expansion of (pow y 4) in y
4.408 * [taylor]: Taking taylor expansion of y in y
4.408 * [backup-simplify]: Simplify 0 into 0
4.408 * [backup-simplify]: Simplify 1 into 1
4.408 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.408 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4)
4.408 * [backup-simplify]: Simplify (+ (pow x 4) 0) into (pow x 4)
4.408 * [taylor]: Taking taylor expansion of (pow (- (pow x 4) (pow y 4)) 3) in x
4.408 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x
4.408 * [taylor]: Taking taylor expansion of (pow x 4) in x
4.408 * [taylor]: Taking taylor expansion of x in x
4.408 * [backup-simplify]: Simplify 0 into 0
4.408 * [backup-simplify]: Simplify 1 into 1
4.408 * [taylor]: Taking taylor expansion of (pow y 4) in x
4.408 * [taylor]: Taking taylor expansion of y in x
4.408 * [backup-simplify]: Simplify y into y
4.408 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.409 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
4.409 * [backup-simplify]: Simplify (- (pow y 4)) into (- (pow y 4))
4.409 * [backup-simplify]: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4))
4.409 * [taylor]: Taking taylor expansion of (pow (- (pow x 4) (pow y 4)) 3) in x
4.409 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x
4.409 * [taylor]: Taking taylor expansion of (pow x 4) in x
4.409 * [taylor]: Taking taylor expansion of x in x
4.409 * [backup-simplify]: Simplify 0 into 0
4.409 * [backup-simplify]: Simplify 1 into 1
4.409 * [taylor]: Taking taylor expansion of (pow y 4) in x
4.409 * [taylor]: Taking taylor expansion of y in x
4.409 * [backup-simplify]: Simplify y into y
4.409 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.409 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
4.409 * [backup-simplify]: Simplify (- (pow y 4)) into (- (pow y 4))
4.409 * [backup-simplify]: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4))
4.409 * [backup-simplify]: Simplify (* (- (pow y 4)) (- (pow y 4))) into (pow y 8)
4.410 * [backup-simplify]: Simplify (* (- (pow y 4)) (pow y 8)) into (* -1 (pow y 12))
4.410 * [taylor]: Taking taylor expansion of (* -1 (pow y 12)) in y
4.410 * [taylor]: Taking taylor expansion of -1 in y
4.410 * [backup-simplify]: Simplify -1 into -1
4.410 * [taylor]: Taking taylor expansion of (pow y 12) in y
4.410 * [taylor]: Taking taylor expansion of y in y
4.410 * [backup-simplify]: Simplify 0 into 0
4.410 * [backup-simplify]: Simplify 1 into 1
4.410 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
4.410 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
4.410 * [backup-simplify]: Simplify (- 0) into 0
4.410 * [backup-simplify]: Simplify (+ 0 0) into 0
4.411 * [backup-simplify]: Simplify (+ (* (- (pow y 4)) 0) (* 0 (- (pow y 4)))) into 0
4.411 * [backup-simplify]: Simplify (+ (* (- (pow y 4)) 0) (* 0 (pow y 8))) into 0
4.411 * [taylor]: Taking taylor expansion of 0 in y
4.411 * [backup-simplify]: Simplify 0 into 0
4.411 * [backup-simplify]: Simplify 0 into 0
4.411 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
4.411 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
4.412 * [backup-simplify]: Simplify (- 0) into 0
4.412 * [backup-simplify]: Simplify (+ 0 0) into 0
4.412 * [backup-simplify]: Simplify (+ (* (- (pow y 4)) 0) (+ (* 0 0) (* 0 (- (pow y 4))))) into 0
4.413 * [backup-simplify]: Simplify (+ (* (- (pow y 4)) 0) (+ (* 0 0) (* 0 (pow y 8)))) into 0
4.413 * [taylor]: Taking taylor expansion of 0 in y
4.413 * [backup-simplify]: Simplify 0 into 0
4.413 * [backup-simplify]: Simplify 0 into 0
4.413 * [backup-simplify]: Simplify 0 into 0
4.413 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
4.414 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0
4.414 * [backup-simplify]: Simplify (- 0) into 0
4.414 * [backup-simplify]: Simplify (+ 0 0) into 0
4.415 * [backup-simplify]: Simplify (+ (* (- (pow y 4)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (pow y 4)))))) into 0
4.415 * [backup-simplify]: Simplify (+ (* (- (pow y 4)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 8))))) into 0
4.415 * [taylor]: Taking taylor expansion of 0 in y
4.415 * [backup-simplify]: Simplify 0 into 0
4.415 * [backup-simplify]: Simplify 0 into 0
4.415 * [backup-simplify]: Simplify 0 into 0
4.415 * [backup-simplify]: Simplify 0 into 0
4.415 * [backup-simplify]: Simplify 0 into 0
4.416 * [backup-simplify]: Simplify (pow (- (pow (/ 1 x) 4.0) (pow (/ 1 y) 4.0)) 3) into (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 3)
4.416 * [approximate]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 3) in (x y) around 0
4.416 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 3) in y
4.416 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y
4.416 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
4.416 * [taylor]: Taking taylor expansion of (pow x 4) in y
4.416 * [taylor]: Taking taylor expansion of x in y
4.416 * [backup-simplify]: Simplify x into x
4.416 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.416 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4)
4.416 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4))
4.416 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
4.416 * [taylor]: Taking taylor expansion of (pow y 4) in y
4.416 * [taylor]: Taking taylor expansion of y in y
4.416 * [backup-simplify]: Simplify 0 into 0
4.416 * [backup-simplify]: Simplify 1 into 1
4.416 * [backup-simplify]: Simplify (* 1 1) into 1
4.417 * [backup-simplify]: Simplify (* 1 1) into 1
4.417 * [backup-simplify]: Simplify (/ 1 1) into 1
4.417 * [backup-simplify]: Simplify (- 1) into -1
4.417 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.417 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 3) in x
4.417 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
4.417 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
4.417 * [taylor]: Taking taylor expansion of (pow x 4) in x
4.418 * [taylor]: Taking taylor expansion of x in x
4.418 * [backup-simplify]: Simplify 0 into 0
4.418 * [backup-simplify]: Simplify 1 into 1
4.418 * [backup-simplify]: Simplify (* 1 1) into 1
4.418 * [backup-simplify]: Simplify (* 1 1) into 1
4.418 * [backup-simplify]: Simplify (/ 1 1) into 1
4.418 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
4.418 * [taylor]: Taking taylor expansion of (pow y 4) in x
4.418 * [taylor]: Taking taylor expansion of y in x
4.418 * [backup-simplify]: Simplify y into y
4.418 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.418 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
4.419 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
4.419 * [backup-simplify]: Simplify (+ 1 0) into 1
4.419 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 3) in x
4.419 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
4.419 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
4.419 * [taylor]: Taking taylor expansion of (pow x 4) in x
4.419 * [taylor]: Taking taylor expansion of x in x
4.419 * [backup-simplify]: Simplify 0 into 0
4.419 * [backup-simplify]: Simplify 1 into 1
4.419 * [backup-simplify]: Simplify (* 1 1) into 1
4.419 * [backup-simplify]: Simplify (* 1 1) into 1
4.420 * [backup-simplify]: Simplify (/ 1 1) into 1
4.420 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
4.420 * [taylor]: Taking taylor expansion of (pow y 4) in x
4.420 * [taylor]: Taking taylor expansion of y in x
4.420 * [backup-simplify]: Simplify y into y
4.420 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.420 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
4.420 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
4.420 * [backup-simplify]: Simplify (+ 1 0) into 1
4.421 * [backup-simplify]: Simplify (* 1 1) into 1
4.421 * [backup-simplify]: Simplify (* 1 1) into 1
4.421 * [taylor]: Taking taylor expansion of 1 in y
4.421 * [backup-simplify]: Simplify 1 into 1
4.421 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.422 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.422 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.422 * [backup-simplify]: Simplify (+ 0 0) into 0
4.423 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.423 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.423 * [taylor]: Taking taylor expansion of 0 in y
4.423 * [backup-simplify]: Simplify 0 into 0
4.423 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.424 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.424 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.425 * [backup-simplify]: Simplify (+ 0 0) into 0
4.425 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.426 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.426 * [taylor]: Taking taylor expansion of 0 in y
4.426 * [backup-simplify]: Simplify 0 into 0
4.426 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.427 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.427 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.427 * [backup-simplify]: Simplify (+ 0 0) into 0
4.428 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.428 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.428 * [taylor]: Taking taylor expansion of 0 in y
4.429 * [backup-simplify]: Simplify 0 into 0
4.429 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.430 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.430 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.430 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4)))
4.431 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4)))
4.431 * [backup-simplify]: Simplify (+ (* 1 (- (/ 1 (pow y 4)))) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* (- (/ 1 (pow y 4))) 1))))) into (- (* 2 (/ 1 (pow y 4))))
4.432 * [backup-simplify]: Simplify (+ (* 1 (- (* 2 (/ 1 (pow y 4))))) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* (- (/ 1 (pow y 4))) 1))))) into (- (* 3 (/ 1 (pow y 4))))
4.432 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow y 4)))) in y
4.432 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 4))) in y
4.432 * [taylor]: Taking taylor expansion of 3 in y
4.432 * [backup-simplify]: Simplify 3 into 3
4.432 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
4.432 * [taylor]: Taking taylor expansion of (pow y 4) in y
4.432 * [taylor]: Taking taylor expansion of y in y
4.432 * [backup-simplify]: Simplify 0 into 0
4.432 * [backup-simplify]: Simplify 1 into 1
4.433 * [backup-simplify]: Simplify (* 1 1) into 1
4.433 * [backup-simplify]: Simplify (* 1 1) into 1
4.433 * [backup-simplify]: Simplify (/ 1 1) into 1
4.434 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.434 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.435 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.435 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
4.435 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
4.435 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0
4.436 * [backup-simplify]: Simplify (- 0) into 0
4.436 * [backup-simplify]: Simplify (+ 0 0) into 0
4.437 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 (- (/ 1 (pow y 4)))) (+ (* 0 0) (+ (* 0 0) (+ (* (- (/ 1 (pow y 4))) 0) (* 0 1)))))) into 0
4.438 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 (- (* 2 (/ 1 (pow y 4))))) (+ (* 0 0) (+ (* 0 0) (+ (* (- (/ 1 (pow y 4))) 0) (* 0 1)))))) into 0
4.438 * [taylor]: Taking taylor expansion of 0 in y
4.438 * [backup-simplify]: Simplify 0 into 0
4.439 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.439 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.440 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.440 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
4.441 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
4.441 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
4.441 * [backup-simplify]: Simplify (- 0) into 0
4.442 * [backup-simplify]: Simplify (+ 0 0) into 0
4.443 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- (/ 1 (pow y 4)))) (+ (* 0 0) (+ (* (- (/ 1 (pow y 4))) 0) (+ (* 0 0) (* 0 1))))))) into 0
4.444 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- (* 2 (/ 1 (pow y 4))))) (+ (* 0 0) (+ (* (- (/ 1 (pow y 4))) 0) (+ (* 0 0) (* 0 1))))))) into 0
4.444 * [taylor]: Taking taylor expansion of 0 in y
4.444 * [backup-simplify]: Simplify 0 into 0
4.445 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
4.446 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
4.446 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.447 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
4.447 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0
4.448 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
4.448 * [backup-simplify]: Simplify (- 0) into 0
4.448 * [backup-simplify]: Simplify (+ 0 0) into 0
4.449 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 (pow y 4)))) (+ (* (- (/ 1 (pow y 4))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
4.451 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (* 2 (/ 1 (pow y 4))))) (+ (* (- (/ 1 (pow y 4))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
4.451 * [taylor]: Taking taylor expansion of 0 in y
4.451 * [backup-simplify]: Simplify 0 into 0
4.452 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
4.453 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
4.453 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.454 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.455 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))) into 0
4.455 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
4.455 * [backup-simplify]: Simplify (- 0) into 0
4.455 * [backup-simplify]: Simplify (+ 0 0) into 0
4.457 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* (- (/ 1 (pow y 4))) (- (/ 1 (pow y 4)))) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into (/ 1 (pow y 8))
4.458 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (pow y 8))) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* (- (/ 1 (pow y 4))) (- (* 2 (/ 1 (pow y 4))))) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into (* 3 (/ 1 (pow y 8)))
4.458 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 8))) in y
4.458 * [taylor]: Taking taylor expansion of 3 in y
4.458 * [backup-simplify]: Simplify 3 into 3
4.458 * [taylor]: Taking taylor expansion of (/ 1 (pow y 8)) in y
4.458 * [taylor]: Taking taylor expansion of (pow y 8) in y
4.459 * [taylor]: Taking taylor expansion of y in y
4.459 * [backup-simplify]: Simplify 0 into 0
4.459 * [backup-simplify]: Simplify 1 into 1
4.459 * [backup-simplify]: Simplify (* 1 1) into 1
4.459 * [backup-simplify]: Simplify (* 1 1) into 1
4.459 * [backup-simplify]: Simplify (* 1 1) into 1
4.459 * [backup-simplify]: Simplify (/ 1 1) into 1
4.460 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0
4.461 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0
4.462 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.463 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
4.464 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))))) into 0
4.464 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
4.464 * [backup-simplify]: Simplify (- 0) into 0
4.465 * [backup-simplify]: Simplify (+ 0 0) into 0
4.466 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* (- (/ 1 (pow y 4))) 0) (+ (* 0 (- (/ 1 (pow y 4)))) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0
4.470 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 (/ 1 (pow y 8))) (+ (* 0 0) (+ (* 0 0) (+ (* (- (/ 1 (pow y 4))) 0) (+ (* 0 (- (* 2 (/ 1 (pow y 4))))) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0
4.470 * [taylor]: Taking taylor expansion of 0 in y
4.470 * [backup-simplify]: Simplify 0 into 0
4.471 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0
4.472 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0
4.473 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.474 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))))) into 0
4.475 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))))) into 0
4.476 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
4.476 * [backup-simplify]: Simplify (- 0) into 0
4.476 * [backup-simplify]: Simplify (+ 0 0) into 0
4.478 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* (- (/ 1 (pow y 4))) 0) (+ (* 0 0) (+ (* 0 (- (/ 1 (pow y 4)))) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0
4.479 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (/ 1 (pow y 8))) (+ (* 0 0) (+ (* (- (/ 1 (pow y 4))) 0) (+ (* 0 0) (+ (* 0 (- (* 2 (/ 1 (pow y 4))))) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0
4.479 * [taylor]: Taking taylor expansion of 0 in y
4.479 * [backup-simplify]: Simplify 0 into 0
4.481 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))))) into 0
4.482 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))))) into 0
4.483 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.484 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))))) into 0
4.485 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))))))) into 0
4.486 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
4.486 * [backup-simplify]: Simplify (- 0) into 0
4.486 * [backup-simplify]: Simplify (+ 0 0) into 0
4.488 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* (- (/ 1 (pow y 4))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 (pow y 4)))) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))))) into 0
4.490 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 (pow y 8))) (+ (* (- (/ 1 (pow y 4))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (* 2 (/ 1 (pow y 4))))) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))))) into 0
4.490 * [taylor]: Taking taylor expansion of 0 in y
4.490 * [backup-simplify]: Simplify 0 into 0
4.492 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))))) into 0
4.493 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))))) into 0
4.494 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.495 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))))))) into 0
4.497 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))))))) into 0
4.497 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
4.497 * [backup-simplify]: Simplify (- 0) into 0
4.498 * [backup-simplify]: Simplify (+ 0 0) into 0
4.500 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* (- (/ 1 (pow y 4))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 (pow y 4)))) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))))) into 0
4.502 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* (- (/ 1 (pow y 4))) (/ 1 (pow y 8))) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (* 2 (/ 1 (pow y 4))))) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))))) into (- (/ 1 (pow y 12)))
4.502 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 12))) in y
4.502 * [taylor]: Taking taylor expansion of (/ 1 (pow y 12)) in y
4.502 * [taylor]: Taking taylor expansion of (pow y 12) in y
4.502 * [taylor]: Taking taylor expansion of y in y
4.502 * [backup-simplify]: Simplify 0 into 0
4.502 * [backup-simplify]: Simplify 1 into 1
4.502 * [backup-simplify]: Simplify (* 1 1) into 1
4.503 * [backup-simplify]: Simplify (* 1 1) into 1
4.503 * [backup-simplify]: Simplify (* 1 1) into 1
4.503 * [backup-simplify]: Simplify (* 1 1) into 1
4.503 * [backup-simplify]: Simplify (/ 1 1) into 1
4.503 * [backup-simplify]: Simplify (- 1) into -1
4.503 * [backup-simplify]: Simplify -1 into -1
4.504 * [backup-simplify]: Simplify (* 3 1) into 3
4.504 * [backup-simplify]: Simplify 3 into 3
4.504 * [backup-simplify]: Simplify (* 3 1) into 3
4.504 * [backup-simplify]: Simplify (- 3) into -3
4.504 * [backup-simplify]: Simplify -3 into -3
4.505 * [backup-simplify]: Simplify (+ (* -3 (pow (* (/ 1 (/ 1 y)) (pow (/ 1 x) -2)) 4)) (+ (* 3 (pow (* (pow (/ 1 y) -2) (/ 1 (/ 1 x))) 4)) (* -1 (pow (* (/ 1 (/ 1 y)) 1) 12)))) into (- (* 3 (* (pow x 4) (pow y 8))) (+ (pow y 12) (* 3 (* (pow x 8) (pow y 4)))))
4.505 * [backup-simplify]: Simplify (pow (- (pow (/ 1 (- x)) 4.0) (pow (/ 1 (- y)) 4.0)) 3) into (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 3)
4.505 * [approximate]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 3) in (x y) around 0
4.505 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 3) in y
4.505 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y
4.505 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
4.505 * [taylor]: Taking taylor expansion of (pow x 4) in y
4.505 * [taylor]: Taking taylor expansion of x in y
4.505 * [backup-simplify]: Simplify x into x
4.505 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.505 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4)
4.506 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4))
4.506 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
4.506 * [taylor]: Taking taylor expansion of (pow y 4) in y
4.506 * [taylor]: Taking taylor expansion of y in y
4.506 * [backup-simplify]: Simplify 0 into 0
4.506 * [backup-simplify]: Simplify 1 into 1
4.506 * [backup-simplify]: Simplify (* 1 1) into 1
4.506 * [backup-simplify]: Simplify (* 1 1) into 1
4.506 * [backup-simplify]: Simplify (/ 1 1) into 1
4.507 * [backup-simplify]: Simplify (- 1) into -1
4.507 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.507 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 3) in x
4.507 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
4.507 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
4.507 * [taylor]: Taking taylor expansion of (pow x 4) in x
4.507 * [taylor]: Taking taylor expansion of x in x
4.507 * [backup-simplify]: Simplify 0 into 0
4.507 * [backup-simplify]: Simplify 1 into 1
4.507 * [backup-simplify]: Simplify (* 1 1) into 1
4.507 * [backup-simplify]: Simplify (* 1 1) into 1
4.508 * [backup-simplify]: Simplify (/ 1 1) into 1
4.508 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
4.508 * [taylor]: Taking taylor expansion of (pow y 4) in x
4.508 * [taylor]: Taking taylor expansion of y in x
4.508 * [backup-simplify]: Simplify y into y
4.508 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.508 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
4.508 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
4.508 * [backup-simplify]: Simplify (+ 1 0) into 1
4.508 * [taylor]: Taking taylor expansion of (pow (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) 3) in x
4.508 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
4.508 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
4.508 * [taylor]: Taking taylor expansion of (pow x 4) in x
4.508 * [taylor]: Taking taylor expansion of x in x
4.508 * [backup-simplify]: Simplify 0 into 0
4.508 * [backup-simplify]: Simplify 1 into 1
4.508 * [backup-simplify]: Simplify (* 1 1) into 1
4.509 * [backup-simplify]: Simplify (* 1 1) into 1
4.509 * [backup-simplify]: Simplify (/ 1 1) into 1
4.509 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
4.509 * [taylor]: Taking taylor expansion of (pow y 4) in x
4.509 * [taylor]: Taking taylor expansion of y in x
4.509 * [backup-simplify]: Simplify y into y
4.509 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.509 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
4.509 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
4.509 * [backup-simplify]: Simplify (+ 1 0) into 1
4.510 * [backup-simplify]: Simplify (* 1 1) into 1
4.510 * [backup-simplify]: Simplify (* 1 1) into 1
4.510 * [taylor]: Taking taylor expansion of 1 in y
4.510 * [backup-simplify]: Simplify 1 into 1
4.510 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.511 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.511 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.511 * [backup-simplify]: Simplify (+ 0 0) into 0
4.512 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.512 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.512 * [taylor]: Taking taylor expansion of 0 in y
4.512 * [backup-simplify]: Simplify 0 into 0
4.512 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.513 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.513 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.514 * [backup-simplify]: Simplify (+ 0 0) into 0
4.514 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.514 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.514 * [taylor]: Taking taylor expansion of 0 in y
4.515 * [backup-simplify]: Simplify 0 into 0
4.515 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.516 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.516 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.516 * [backup-simplify]: Simplify (+ 0 0) into 0
4.517 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.517 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.517 * [taylor]: Taking taylor expansion of 0 in y
4.517 * [backup-simplify]: Simplify 0 into 0
4.518 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.519 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.519 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.519 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4)))
4.519 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4)))
4.520 * [backup-simplify]: Simplify (+ (* 1 (- (/ 1 (pow y 4)))) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* (- (/ 1 (pow y 4))) 1))))) into (- (* 2 (/ 1 (pow y 4))))
4.521 * [backup-simplify]: Simplify (+ (* 1 (- (* 2 (/ 1 (pow y 4))))) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* (- (/ 1 (pow y 4))) 1))))) into (- (* 3 (/ 1 (pow y 4))))
4.521 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (pow y 4)))) in y
4.521 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 4))) in y
4.521 * [taylor]: Taking taylor expansion of 3 in y
4.521 * [backup-simplify]: Simplify 3 into 3
4.521 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
4.521 * [taylor]: Taking taylor expansion of (pow y 4) in y
4.521 * [taylor]: Taking taylor expansion of y in y
4.521 * [backup-simplify]: Simplify 0 into 0
4.521 * [backup-simplify]: Simplify 1 into 1
4.522 * [backup-simplify]: Simplify (* 1 1) into 1
4.522 * [backup-simplify]: Simplify (* 1 1) into 1
4.522 * [backup-simplify]: Simplify (/ 1 1) into 1
4.523 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.523 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.524 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.524 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
4.524 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
4.524 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0
4.524 * [backup-simplify]: Simplify (- 0) into 0
4.525 * [backup-simplify]: Simplify (+ 0 0) into 0
4.526 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 (- (/ 1 (pow y 4)))) (+ (* 0 0) (+ (* 0 0) (+ (* (- (/ 1 (pow y 4))) 0) (* 0 1)))))) into 0
4.527 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 (- (* 2 (/ 1 (pow y 4))))) (+ (* 0 0) (+ (* 0 0) (+ (* (- (/ 1 (pow y 4))) 0) (* 0 1)))))) into 0
4.527 * [taylor]: Taking taylor expansion of 0 in y
4.527 * [backup-simplify]: Simplify 0 into 0
4.528 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.528 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.529 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.529 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
4.530 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
4.530 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
4.530 * [backup-simplify]: Simplify (- 0) into 0
4.530 * [backup-simplify]: Simplify (+ 0 0) into 0
4.532 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- (/ 1 (pow y 4)))) (+ (* 0 0) (+ (* (- (/ 1 (pow y 4))) 0) (+ (* 0 0) (* 0 1))))))) into 0
4.533 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- (* 2 (/ 1 (pow y 4))))) (+ (* 0 0) (+ (* (- (/ 1 (pow y 4))) 0) (+ (* 0 0) (* 0 1))))))) into 0
4.533 * [taylor]: Taking taylor expansion of 0 in y
4.533 * [backup-simplify]: Simplify 0 into 0
4.534 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
4.535 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
4.535 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.536 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
4.536 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0
4.537 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
4.537 * [backup-simplify]: Simplify (- 0) into 0
4.537 * [backup-simplify]: Simplify (+ 0 0) into 0
4.538 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 (pow y 4)))) (+ (* (- (/ 1 (pow y 4))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
4.540 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (* 2 (/ 1 (pow y 4))))) (+ (* (- (/ 1 (pow y 4))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
4.540 * [taylor]: Taking taylor expansion of 0 in y
4.540 * [backup-simplify]: Simplify 0 into 0
4.541 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
4.542 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
4.542 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.543 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.543 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))) into 0
4.544 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
4.544 * [backup-simplify]: Simplify (- 0) into 0
4.544 * [backup-simplify]: Simplify (+ 0 0) into 0
4.546 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* (- (/ 1 (pow y 4))) (- (/ 1 (pow y 4)))) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into (/ 1 (pow y 8))
4.547 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (pow y 8))) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* (- (/ 1 (pow y 4))) (- (* 2 (/ 1 (pow y 4))))) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into (* 3 (/ 1 (pow y 8)))
4.547 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow y 8))) in y
4.547 * [taylor]: Taking taylor expansion of 3 in y
4.547 * [backup-simplify]: Simplify 3 into 3
4.547 * [taylor]: Taking taylor expansion of (/ 1 (pow y 8)) in y
4.547 * [taylor]: Taking taylor expansion of (pow y 8) in y
4.547 * [taylor]: Taking taylor expansion of y in y
4.547 * [backup-simplify]: Simplify 0 into 0
4.547 * [backup-simplify]: Simplify 1 into 1
4.548 * [backup-simplify]: Simplify (* 1 1) into 1
4.548 * [backup-simplify]: Simplify (* 1 1) into 1
4.548 * [backup-simplify]: Simplify (* 1 1) into 1
4.548 * [backup-simplify]: Simplify (/ 1 1) into 1
4.549 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0
4.550 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0
4.551 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.552 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
4.555 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))))) into 0
4.556 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
4.556 * [backup-simplify]: Simplify (- 0) into 0
4.556 * [backup-simplify]: Simplify (+ 0 0) into 0
4.557 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* (- (/ 1 (pow y 4))) 0) (+ (* 0 (- (/ 1 (pow y 4)))) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0
4.559 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 (/ 1 (pow y 8))) (+ (* 0 0) (+ (* 0 0) (+ (* (- (/ 1 (pow y 4))) 0) (+ (* 0 (- (* 2 (/ 1 (pow y 4))))) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))) into 0
4.559 * [taylor]: Taking taylor expansion of 0 in y
4.559 * [backup-simplify]: Simplify 0 into 0
4.560 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0
4.561 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0
4.562 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.563 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))))) into 0
4.564 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))))) into 0
4.564 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
4.565 * [backup-simplify]: Simplify (- 0) into 0
4.565 * [backup-simplify]: Simplify (+ 0 0) into 0
4.567 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* (- (/ 1 (pow y 4))) 0) (+ (* 0 0) (+ (* 0 (- (/ 1 (pow y 4)))) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0
4.568 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (/ 1 (pow y 8))) (+ (* 0 0) (+ (* (- (/ 1 (pow y 4))) 0) (+ (* 0 0) (+ (* 0 (- (* 2 (/ 1 (pow y 4))))) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))) into 0
4.568 * [taylor]: Taking taylor expansion of 0 in y
4.568 * [backup-simplify]: Simplify 0 into 0
4.570 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))))) into 0
4.571 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))))) into 0
4.572 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.573 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))))) into 0
4.574 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))))))) into 0
4.575 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
4.575 * [backup-simplify]: Simplify (- 0) into 0
4.575 * [backup-simplify]: Simplify (+ 0 0) into 0
4.577 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* (- (/ 1 (pow y 4))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 (pow y 4)))) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))))) into 0
4.579 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 (pow y 8))) (+ (* (- (/ 1 (pow y 4))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (* 2 (/ 1 (pow y 4))))) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))))))) into 0
4.579 * [taylor]: Taking taylor expansion of 0 in y
4.579 * [backup-simplify]: Simplify 0 into 0
4.581 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))))) into 0
4.582 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))))) into 0
4.583 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.584 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))))))) into 0
4.586 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2)))))))))) into 0
4.586 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
4.587 * [backup-simplify]: Simplify (- 0) into 0
4.587 * [backup-simplify]: Simplify (+ 0 0) into 0
4.589 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* (- (/ 1 (pow y 4))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 (pow y 4)))) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))))) into 0
4.591 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* (- (/ 1 (pow y 4))) (/ 1 (pow y 8))) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (* 2 (/ 1 (pow y 4))))) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))))))) into (- (/ 1 (pow y 12)))
4.591 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 12))) in y
4.591 * [taylor]: Taking taylor expansion of (/ 1 (pow y 12)) in y
4.591 * [taylor]: Taking taylor expansion of (pow y 12) in y
4.591 * [taylor]: Taking taylor expansion of y in y
4.591 * [backup-simplify]: Simplify 0 into 0
4.591 * [backup-simplify]: Simplify 1 into 1
4.592 * [backup-simplify]: Simplify (* 1 1) into 1
4.592 * [backup-simplify]: Simplify (* 1 1) into 1
4.592 * [backup-simplify]: Simplify (* 1 1) into 1
4.592 * [backup-simplify]: Simplify (* 1 1) into 1
4.593 * [backup-simplify]: Simplify (/ 1 1) into 1
4.593 * [backup-simplify]: Simplify (- 1) into -1
4.593 * [backup-simplify]: Simplify -1 into -1
4.593 * [backup-simplify]: Simplify (* 3 1) into 3
4.593 * [backup-simplify]: Simplify 3 into 3
4.593 * [backup-simplify]: Simplify (* 3 1) into 3
4.594 * [backup-simplify]: Simplify (- 3) into -3
4.594 * [backup-simplify]: Simplify -3 into -3
4.594 * [backup-simplify]: Simplify (+ (* -3 (pow (* (/ 1 (/ 1 (- y))) (pow (/ 1 (- x)) -2)) 4)) (+ (* 3 (pow (* (pow (/ 1 (- y)) -2) (/ 1 (/ 1 (- x)))) 4)) (* -1 (pow (* (/ 1 (/ 1 (- y))) 1) 12)))) into (- (* 3 (* (pow x 4) (pow y 8))) (+ (pow y 12) (* 3 (* (pow x 8) (pow y 4)))))
4.594 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
4.595 * [backup-simplify]: Simplify (- (pow x 4.0) (pow y 4.0)) into (- (pow x 4) (pow y 4))
4.595 * [approximate]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in (x y) around 0
4.595 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in y
4.595 * [taylor]: Taking taylor expansion of (pow x 4) in y
4.595 * [taylor]: Taking taylor expansion of x in y
4.595 * [backup-simplify]: Simplify x into x
4.595 * [taylor]: Taking taylor expansion of (pow y 4) in y
4.595 * [taylor]: Taking taylor expansion of y in y
4.595 * [backup-simplify]: Simplify 0 into 0
4.595 * [backup-simplify]: Simplify 1 into 1
4.595 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x
4.595 * [taylor]: Taking taylor expansion of (pow x 4) in x
4.595 * [taylor]: Taking taylor expansion of x in x
4.595 * [backup-simplify]: Simplify 0 into 0
4.595 * [backup-simplify]: Simplify 1 into 1
4.595 * [taylor]: Taking taylor expansion of (pow y 4) in x
4.595 * [taylor]: Taking taylor expansion of y in x
4.595 * [backup-simplify]: Simplify y into y
4.595 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x
4.595 * [taylor]: Taking taylor expansion of (pow x 4) in x
4.595 * [taylor]: Taking taylor expansion of x in x
4.595 * [backup-simplify]: Simplify 0 into 0
4.595 * [backup-simplify]: Simplify 1 into 1
4.595 * [taylor]: Taking taylor expansion of (pow y 4) in x
4.595 * [taylor]: Taking taylor expansion of y in x
4.595 * [backup-simplify]: Simplify y into y
4.595 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.595 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
4.595 * [backup-simplify]: Simplify (- (pow y 4)) into (- (pow y 4))
4.595 * [backup-simplify]: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4))
4.595 * [taylor]: Taking taylor expansion of (- (pow y 4)) in y
4.595 * [taylor]: Taking taylor expansion of (pow y 4) in y
4.595 * [taylor]: Taking taylor expansion of y in y
4.595 * [backup-simplify]: Simplify 0 into 0
4.595 * [backup-simplify]: Simplify 1 into 1
4.596 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
4.596 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
4.596 * [backup-simplify]: Simplify (- 0) into 0
4.596 * [backup-simplify]: Simplify (+ 0 0) into 0
4.596 * [taylor]: Taking taylor expansion of 0 in y
4.596 * [backup-simplify]: Simplify 0 into 0
4.596 * [backup-simplify]: Simplify 0 into 0
4.596 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
4.597 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
4.597 * [backup-simplify]: Simplify (- 0) into 0
4.597 * [backup-simplify]: Simplify (+ 0 0) into 0
4.597 * [taylor]: Taking taylor expansion of 0 in y
4.597 * [backup-simplify]: Simplify 0 into 0
4.597 * [backup-simplify]: Simplify 0 into 0
4.597 * [backup-simplify]: Simplify 0 into 0
4.598 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
4.598 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0
4.599 * [backup-simplify]: Simplify (- 0) into 0
4.599 * [backup-simplify]: Simplify (+ 0 0) into 0
4.599 * [taylor]: Taking taylor expansion of 0 in y
4.599 * [backup-simplify]: Simplify 0 into 0
4.599 * [backup-simplify]: Simplify 0 into 0
4.599 * [backup-simplify]: Simplify 0 into 0
4.599 * [backup-simplify]: Simplify 0 into 0
4.599 * [backup-simplify]: Simplify 0 into 0
4.599 * [backup-simplify]: Simplify (- (pow (/ 1 x) 4.0) (pow (/ 1 y) 4.0)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))
4.599 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0
4.599 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y
4.599 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
4.599 * [taylor]: Taking taylor expansion of (pow x 4) in y
4.599 * [taylor]: Taking taylor expansion of x in y
4.599 * [backup-simplify]: Simplify x into x
4.599 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.599 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4)
4.599 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4))
4.599 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
4.599 * [taylor]: Taking taylor expansion of (pow y 4) in y
4.599 * [taylor]: Taking taylor expansion of y in y
4.599 * [backup-simplify]: Simplify 0 into 0
4.599 * [backup-simplify]: Simplify 1 into 1
4.600 * [backup-simplify]: Simplify (* 1 1) into 1
4.600 * [backup-simplify]: Simplify (* 1 1) into 1
4.600 * [backup-simplify]: Simplify (/ 1 1) into 1
4.600 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
4.600 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
4.600 * [taylor]: Taking taylor expansion of (pow x 4) in x
4.600 * [taylor]: Taking taylor expansion of x in x
4.600 * [backup-simplify]: Simplify 0 into 0
4.600 * [backup-simplify]: Simplify 1 into 1
4.600 * [backup-simplify]: Simplify (* 1 1) into 1
4.601 * [backup-simplify]: Simplify (* 1 1) into 1
4.601 * [backup-simplify]: Simplify (/ 1 1) into 1
4.601 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
4.601 * [taylor]: Taking taylor expansion of (pow y 4) in x
4.601 * [taylor]: Taking taylor expansion of y in x
4.601 * [backup-simplify]: Simplify y into y
4.601 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.601 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
4.601 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
4.601 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
4.601 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
4.601 * [taylor]: Taking taylor expansion of (pow x 4) in x
4.601 * [taylor]: Taking taylor expansion of x in x
4.601 * [backup-simplify]: Simplify 0 into 0
4.601 * [backup-simplify]: Simplify 1 into 1
4.602 * [backup-simplify]: Simplify (* 1 1) into 1
4.602 * [backup-simplify]: Simplify (* 1 1) into 1
4.602 * [backup-simplify]: Simplify (/ 1 1) into 1
4.602 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
4.602 * [taylor]: Taking taylor expansion of (pow y 4) in x
4.602 * [taylor]: Taking taylor expansion of y in x
4.602 * [backup-simplify]: Simplify y into y
4.602 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.602 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
4.602 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
4.603 * [backup-simplify]: Simplify (+ 1 0) into 1
4.603 * [taylor]: Taking taylor expansion of 1 in y
4.603 * [backup-simplify]: Simplify 1 into 1
4.603 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.603 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.604 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.604 * [backup-simplify]: Simplify (+ 0 0) into 0
4.604 * [taylor]: Taking taylor expansion of 0 in y
4.604 * [backup-simplify]: Simplify 0 into 0
4.604 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.605 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.605 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.605 * [backup-simplify]: Simplify (+ 0 0) into 0
4.606 * [taylor]: Taking taylor expansion of 0 in y
4.606 * [backup-simplify]: Simplify 0 into 0
4.606 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.607 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.607 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.607 * [backup-simplify]: Simplify (+ 0 0) into 0
4.607 * [taylor]: Taking taylor expansion of 0 in y
4.607 * [backup-simplify]: Simplify 0 into 0
4.608 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.608 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.609 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.609 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4)))
4.609 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4)))
4.609 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y
4.609 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
4.609 * [taylor]: Taking taylor expansion of (pow y 4) in y
4.609 * [taylor]: Taking taylor expansion of y in y
4.609 * [backup-simplify]: Simplify 0 into 0
4.609 * [backup-simplify]: Simplify 1 into 1
4.610 * [backup-simplify]: Simplify (* 1 1) into 1
4.610 * [backup-simplify]: Simplify (* 1 1) into 1
4.610 * [backup-simplify]: Simplify (/ 1 1) into 1
4.610 * [backup-simplify]: Simplify (- 1) into -1
4.610 * [backup-simplify]: Simplify -1 into -1
4.610 * [backup-simplify]: Simplify 1 into 1
4.611 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.612 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.612 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.612 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
4.612 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
4.612 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0
4.613 * [backup-simplify]: Simplify (- 0) into 0
4.613 * [backup-simplify]: Simplify (+ 0 0) into 0
4.613 * [taylor]: Taking taylor expansion of 0 in y
4.613 * [backup-simplify]: Simplify 0 into 0
4.613 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.614 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.614 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.614 * [backup-simplify]: Simplify (- 0) into 0
4.614 * [backup-simplify]: Simplify 0 into 0
4.614 * [backup-simplify]: Simplify 0 into 0
4.614 * [backup-simplify]: Simplify 0 into 0
4.615 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.616 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.616 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.617 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
4.617 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
4.617 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
4.617 * [backup-simplify]: Simplify (- 0) into 0
4.618 * [backup-simplify]: Simplify (+ 0 0) into 0
4.618 * [taylor]: Taking taylor expansion of 0 in y
4.618 * [backup-simplify]: Simplify 0 into 0
4.618 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.619 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.619 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.619 * [backup-simplify]: Simplify (- 0) into 0
4.619 * [backup-simplify]: Simplify 0 into 0
4.619 * [backup-simplify]: Simplify 0 into 0
4.619 * [backup-simplify]: Simplify 0 into 0
4.620 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 4)) (* -1 (pow (* (/ 1 (/ 1 y)) 1) 4))) into (- (pow x 4) (pow y 4))
4.620 * [backup-simplify]: Simplify (- (pow (/ 1 (- x)) 4.0) (pow (/ 1 (- y)) 4.0)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))
4.620 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0
4.620 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y
4.620 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
4.620 * [taylor]: Taking taylor expansion of (pow x 4) in y
4.620 * [taylor]: Taking taylor expansion of x in y
4.620 * [backup-simplify]: Simplify x into x
4.620 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.620 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4)
4.620 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4))
4.620 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
4.620 * [taylor]: Taking taylor expansion of (pow y 4) in y
4.620 * [taylor]: Taking taylor expansion of y in y
4.620 * [backup-simplify]: Simplify 0 into 0
4.620 * [backup-simplify]: Simplify 1 into 1
4.621 * [backup-simplify]: Simplify (* 1 1) into 1
4.621 * [backup-simplify]: Simplify (* 1 1) into 1
4.621 * [backup-simplify]: Simplify (/ 1 1) into 1
4.621 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
4.621 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
4.621 * [taylor]: Taking taylor expansion of (pow x 4) in x
4.621 * [taylor]: Taking taylor expansion of x in x
4.621 * [backup-simplify]: Simplify 0 into 0
4.621 * [backup-simplify]: Simplify 1 into 1
4.621 * [backup-simplify]: Simplify (* 1 1) into 1
4.622 * [backup-simplify]: Simplify (* 1 1) into 1
4.622 * [backup-simplify]: Simplify (/ 1 1) into 1
4.622 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
4.622 * [taylor]: Taking taylor expansion of (pow y 4) in x
4.622 * [taylor]: Taking taylor expansion of y in x
4.622 * [backup-simplify]: Simplify y into y
4.622 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.622 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
4.622 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
4.622 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
4.622 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
4.622 * [taylor]: Taking taylor expansion of (pow x 4) in x
4.622 * [taylor]: Taking taylor expansion of x in x
4.622 * [backup-simplify]: Simplify 0 into 0
4.622 * [backup-simplify]: Simplify 1 into 1
4.623 * [backup-simplify]: Simplify (* 1 1) into 1
4.623 * [backup-simplify]: Simplify (* 1 1) into 1
4.623 * [backup-simplify]: Simplify (/ 1 1) into 1
4.623 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
4.623 * [taylor]: Taking taylor expansion of (pow y 4) in x
4.623 * [taylor]: Taking taylor expansion of y in x
4.623 * [backup-simplify]: Simplify y into y
4.623 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.623 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
4.623 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
4.624 * [backup-simplify]: Simplify (+ 1 0) into 1
4.624 * [taylor]: Taking taylor expansion of 1 in y
4.624 * [backup-simplify]: Simplify 1 into 1
4.624 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.624 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.625 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.625 * [backup-simplify]: Simplify (+ 0 0) into 0
4.625 * [taylor]: Taking taylor expansion of 0 in y
4.625 * [backup-simplify]: Simplify 0 into 0
4.626 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.626 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.626 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.627 * [backup-simplify]: Simplify (+ 0 0) into 0
4.627 * [taylor]: Taking taylor expansion of 0 in y
4.627 * [backup-simplify]: Simplify 0 into 0
4.627 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.628 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.628 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.628 * [backup-simplify]: Simplify (+ 0 0) into 0
4.628 * [taylor]: Taking taylor expansion of 0 in y
4.629 * [backup-simplify]: Simplify 0 into 0
4.629 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.630 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.630 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.630 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4)))
4.631 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4)))
4.631 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y
4.631 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
4.631 * [taylor]: Taking taylor expansion of (pow y 4) in y
4.631 * [taylor]: Taking taylor expansion of y in y
4.631 * [backup-simplify]: Simplify 0 into 0
4.631 * [backup-simplify]: Simplify 1 into 1
4.631 * [backup-simplify]: Simplify (* 1 1) into 1
4.631 * [backup-simplify]: Simplify (* 1 1) into 1
4.631 * [backup-simplify]: Simplify (/ 1 1) into 1
4.631 * [backup-simplify]: Simplify (- 1) into -1
4.632 * [backup-simplify]: Simplify -1 into -1
4.632 * [backup-simplify]: Simplify 1 into 1
4.632 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.633 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.633 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.633 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
4.634 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
4.634 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0
4.634 * [backup-simplify]: Simplify (- 0) into 0
4.634 * [backup-simplify]: Simplify (+ 0 0) into 0
4.634 * [taylor]: Taking taylor expansion of 0 in y
4.634 * [backup-simplify]: Simplify 0 into 0
4.635 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.635 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.635 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.636 * [backup-simplify]: Simplify (- 0) into 0
4.636 * [backup-simplify]: Simplify 0 into 0
4.636 * [backup-simplify]: Simplify 0 into 0
4.636 * [backup-simplify]: Simplify 0 into 0
4.636 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.637 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.638 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.638 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
4.638 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
4.638 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
4.639 * [backup-simplify]: Simplify (- 0) into 0
4.639 * [backup-simplify]: Simplify (+ 0 0) into 0
4.639 * [taylor]: Taking taylor expansion of 0 in y
4.639 * [backup-simplify]: Simplify 0 into 0
4.639 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.640 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.640 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.640 * [backup-simplify]: Simplify (- 0) into 0
4.641 * [backup-simplify]: Simplify 0 into 0
4.641 * [backup-simplify]: Simplify 0 into 0
4.641 * [backup-simplify]: Simplify 0 into 0
4.643 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 4)) (* -1 (pow (* (/ 1 (/ 1 (- y))) 1) 4))) into (- (pow x 4) (pow y 4))
4.643 * * * [progress]: simplifying candidates
4.647 * [simplify]: Simplifying:
  (expm1 (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3)))
  (log1p (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3)))
  (log (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3)))
  (exp (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3)))
  (cbrt (pow (* (cbrt (- (pow x 4.0) (pow y 4.0))) (cbrt (- (pow x 4.0) (pow y 4.0)))) 3))
  (cbrt (pow (cbrt (- (pow x 4.0) (pow y 4.0))) 3))
  (cbrt (pow (sqrt (- (pow x 4.0) (pow y 4.0))) 3))
  (cbrt (pow (sqrt (- (pow x 4.0) (pow y 4.0))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3))
  (cbrt (pow (+ (pow (sqrt x) 4.0) (pow (sqrt y) 4.0)) 3))
  (cbrt (pow (- (pow (sqrt x) 4.0) (pow (sqrt y) 4.0)) 3))
  (cbrt (pow (+ (pow (sqrt x) 4.0) (sqrt (pow y 4.0))) 3))
  (cbrt (pow (- (pow (sqrt x) 4.0) (sqrt (pow y 4.0))) 3))
  (cbrt (pow (+ (pow (sqrt x) 4.0) (pow y (/ 4.0 2))) 3))
  (cbrt (pow (- (pow (sqrt x) 4.0) (pow y (/ 4.0 2))) 3))
  (cbrt (pow (+ (sqrt (pow x 4.0)) (pow (sqrt y) 4.0)) 3))
  (cbrt (pow (- (sqrt (pow x 4.0)) (pow (sqrt y) 4.0)) 3))
  (cbrt (pow (+ (sqrt (pow x 4.0)) (sqrt (pow y 4.0))) 3))
  (cbrt (pow (- (sqrt (pow x 4.0)) (sqrt (pow y 4.0))) 3))
  (cbrt (pow (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2))) 3))
  (cbrt (pow (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2))) 3))
  (cbrt (pow (+ (pow x (/ 4.0 2)) (pow (sqrt y) 4.0)) 3))
  (cbrt (pow (- (pow x (/ 4.0 2)) (pow (sqrt y) 4.0)) 3))
  (cbrt (pow (+ (pow x (/ 4.0 2)) (sqrt (pow y 4.0))) 3))
  (cbrt (pow (- (pow x (/ 4.0 2)) (sqrt (pow y 4.0))) 3))
  (cbrt (pow (+ (pow x (/ 4.0 2)) (pow y (/ 4.0 2))) 3))
  (cbrt (pow (- (pow x (/ 4.0 2)) (pow y (/ 4.0 2))) 3))
  (cbrt (pow (pow 1 4.0) 3))
  (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3))
  (cbrt (* (- (pow x 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0))))
  (cbrt (- (pow x 4.0) (pow y 4.0)))
  (cbrt (* (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3)) (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3))))
  (cbrt (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3)))
  (cbrt (pow (* (cbrt (- (pow x 4.0) (pow y 4.0))) (cbrt (- (pow x 4.0) (pow y 4.0)))) 3))
  (cbrt (pow (cbrt (- (pow x 4.0) (pow y 4.0))) 3))
  (cbrt (pow (sqrt (- (pow x 4.0) (pow y 4.0))) 3))
  (cbrt (pow (sqrt (- (pow x 4.0) (pow y 4.0))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3))
  (cbrt (pow (+ (pow (sqrt x) 4.0) (pow (sqrt y) 4.0)) 3))
  (cbrt (pow (- (pow (sqrt x) 4.0) (pow (sqrt y) 4.0)) 3))
  (cbrt (pow (+ (pow (sqrt x) 4.0) (sqrt (pow y 4.0))) 3))
  (cbrt (pow (- (pow (sqrt x) 4.0) (sqrt (pow y 4.0))) 3))
  (cbrt (pow (+ (pow (sqrt x) 4.0) (pow y (/ 4.0 2))) 3))
  (cbrt (pow (- (pow (sqrt x) 4.0) (pow y (/ 4.0 2))) 3))
  (cbrt (pow (+ (sqrt (pow x 4.0)) (pow (sqrt y) 4.0)) 3))
  (cbrt (pow (- (sqrt (pow x 4.0)) (pow (sqrt y) 4.0)) 3))
  (cbrt (pow (+ (sqrt (pow x 4.0)) (sqrt (pow y 4.0))) 3))
  (cbrt (pow (- (sqrt (pow x 4.0)) (sqrt (pow y 4.0))) 3))
  (cbrt (pow (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2))) 3))
  (cbrt (pow (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2))) 3))
  (cbrt (pow (+ (pow x (/ 4.0 2)) (pow (sqrt y) 4.0)) 3))
  (cbrt (pow (- (pow x (/ 4.0 2)) (pow (sqrt y) 4.0)) 3))
  (cbrt (pow (+ (pow x (/ 4.0 2)) (sqrt (pow y 4.0))) 3))
  (cbrt (pow (- (pow x (/ 4.0 2)) (sqrt (pow y 4.0))) 3))
  (cbrt (pow (+ (pow x (/ 4.0 2)) (pow y (/ 4.0 2))) 3))
  (cbrt (pow (- (pow x (/ 4.0 2)) (pow y (/ 4.0 2))) 3))
  (cbrt (pow (pow 1 4.0) 3))
  (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3))
  (cbrt (- (pow x 4.0) (pow y 4.0)))
  (cbrt (* (- (pow x 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0))))
  (cbrt (sqrt (pow (- (pow x 4.0) (pow y 4.0)) 3)))
  (cbrt (sqrt (pow (- (pow x 4.0) (pow y 4.0)) 3)))
  (cbrt 1)
  (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3))
  (cbrt (pow (- (pow x 4.0) (pow y 4.0)) (/ 3 2)))
  (cbrt (pow (- (pow x 4.0) (pow y 4.0)) (/ 3 2)))
  (cbrt (pow (- (pow (pow x 4.0) 3) (pow (pow y 4.0) 3)) 3))
  (cbrt (pow (+ (* (pow x 4.0) (pow x 4.0)) (+ (* (pow y 4.0) (pow y 4.0)) (* (pow x 4.0) (pow y 4.0)))) 3))
  (cbrt (pow (- (* (pow x 4.0) (pow x 4.0)) (* (pow y 4.0) (pow y 4.0))) 3))
  (cbrt (pow (+ (pow x 4.0) (pow y 4.0)) 3))
  (* (cbrt (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3))) (cbrt (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3))))
  (cbrt (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3)))
  (* (* (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3)) (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3))) (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3)))
  (sqrt (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3)))
  (sqrt (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3)))
  (expm1 (pow (- (pow x 4.0) (pow y 4.0)) 3))
  (log1p (pow (- (pow x 4.0) (pow y 4.0)) 3))
  (* (log (- (pow x 4.0) (pow y 4.0))) 3)
  (* (log (- (pow x 4.0) (pow y 4.0))) 3)
  (* 1 3)
  (pow (- (pow x 4.0) (pow y 4.0)) (* (cbrt 3) (cbrt 3)))
  (pow (- (pow x 4.0) (pow y 4.0)) (sqrt 3))
  (pow (- (pow x 4.0) (pow y 4.0)) 1)
  (pow (* (cbrt (- (pow x 4.0) (pow y 4.0))) (cbrt (- (pow x 4.0) (pow y 4.0)))) 3)
  (pow (cbrt (- (pow x 4.0) (pow y 4.0))) 3)
  (pow (sqrt (- (pow x 4.0) (pow y 4.0))) 3)
  (pow (sqrt (- (pow x 4.0) (pow y 4.0))) 3)
  (pow 1 3)
  (pow (- (pow x 4.0) (pow y 4.0)) 3)
  (pow (+ (pow (sqrt x) 4.0) (pow (sqrt y) 4.0)) 3)
  (pow (- (pow (sqrt x) 4.0) (pow (sqrt y) 4.0)) 3)
  (pow (+ (pow (sqrt x) 4.0) (sqrt (pow y 4.0))) 3)
  (pow (- (pow (sqrt x) 4.0) (sqrt (pow y 4.0))) 3)
  (pow (+ (pow (sqrt x) 4.0) (pow y (/ 4.0 2))) 3)
  (pow (- (pow (sqrt x) 4.0) (pow y (/ 4.0 2))) 3)
  (pow (+ (sqrt (pow x 4.0)) (pow (sqrt y) 4.0)) 3)
  (pow (- (sqrt (pow x 4.0)) (pow (sqrt y) 4.0)) 3)
  (pow (+ (sqrt (pow x 4.0)) (sqrt (pow y 4.0))) 3)
  (pow (- (sqrt (pow x 4.0)) (sqrt (pow y 4.0))) 3)
  (pow (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2))) 3)
  (pow (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2))) 3)
  (pow (+ (pow x (/ 4.0 2)) (pow (sqrt y) 4.0)) 3)
  (pow (- (pow x (/ 4.0 2)) (pow (sqrt y) 4.0)) 3)
  (pow (+ (pow x (/ 4.0 2)) (sqrt (pow y 4.0))) 3)
  (pow (- (pow x (/ 4.0 2)) (sqrt (pow y 4.0))) 3)
  (pow (+ (pow x (/ 4.0 2)) (pow y (/ 4.0 2))) 3)
  (pow (- (pow x (/ 4.0 2)) (pow y (/ 4.0 2))) 3)
  (pow (pow 1 4.0) 3)
  (pow (- (pow x 4.0) (pow y 4.0)) 3)
  (pow 1 3)
  (pow (- (pow x 4.0) (pow y 4.0)) 3)
  (* (- (pow x 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0)))
  (log (pow (- (pow x 4.0) (pow y 4.0)) 3))
  (exp (pow (- (pow x 4.0) (pow y 4.0)) 3))
  (* (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3)) (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3)))
  (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3))
  (* (* (pow (- (pow x 4.0) (pow y 4.0)) 3) (pow (- (pow x 4.0) (pow y 4.0)) 3)) (pow (- (pow x 4.0) (pow y 4.0)) 3))
  (pow (* (cbrt (- (pow x 4.0) (pow y 4.0))) (cbrt (- (pow x 4.0) (pow y 4.0)))) 3)
  (pow (cbrt (- (pow x 4.0) (pow y 4.0))) 3)
  (pow (sqrt (- (pow x 4.0) (pow y 4.0))) 3)
  (pow (sqrt (- (pow x 4.0) (pow y 4.0))) 3)
  (pow 1 3)
  (pow (- (pow x 4.0) (pow y 4.0)) 3)
  (pow (+ (pow (sqrt x) 4.0) (pow (sqrt y) 4.0)) 3)
  (pow (- (pow (sqrt x) 4.0) (pow (sqrt y) 4.0)) 3)
  (pow (+ (pow (sqrt x) 4.0) (sqrt (pow y 4.0))) 3)
  (pow (- (pow (sqrt x) 4.0) (sqrt (pow y 4.0))) 3)
  (pow (+ (pow (sqrt x) 4.0) (pow y (/ 4.0 2))) 3)
  (pow (- (pow (sqrt x) 4.0) (pow y (/ 4.0 2))) 3)
  (pow (+ (sqrt (pow x 4.0)) (pow (sqrt y) 4.0)) 3)
  (pow (- (sqrt (pow x 4.0)) (pow (sqrt y) 4.0)) 3)
  (pow (+ (sqrt (pow x 4.0)) (sqrt (pow y 4.0))) 3)
  (pow (- (sqrt (pow x 4.0)) (sqrt (pow y 4.0))) 3)
  (pow (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2))) 3)
  (pow (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2))) 3)
  (pow (+ (pow x (/ 4.0 2)) (pow (sqrt y) 4.0)) 3)
  (pow (- (pow x (/ 4.0 2)) (pow (sqrt y) 4.0)) 3)
  (pow (+ (pow x (/ 4.0 2)) (sqrt (pow y 4.0))) 3)
  (pow (- (pow x (/ 4.0 2)) (sqrt (pow y 4.0))) 3)
  (pow (+ (pow x (/ 4.0 2)) (pow y (/ 4.0 2))) 3)
  (pow (- (pow x (/ 4.0 2)) (pow y (/ 4.0 2))) 3)
  (pow (pow 1 4.0) 3)
  (pow (- (pow x 4.0) (pow y 4.0)) 3)
  (pow 1 3)
  (pow (- (pow x 4.0) (pow y 4.0)) 3)
  (pow (- (pow (pow x 4.0) 3) (pow (pow y 4.0) 3)) 3)
  (pow (+ (* (pow x 4.0) (pow x 4.0)) (+ (* (pow y 4.0) (pow y 4.0)) (* (pow x 4.0) (pow y 4.0)))) 3)
  (pow (- (* (pow x 4.0) (pow x 4.0)) (* (pow y 4.0) (pow y 4.0))) 3)
  (pow (+ (pow x 4.0) (pow y 4.0)) 3)
  (* (- (pow x 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0)))
  (sqrt (pow (- (pow x 4.0) (pow y 4.0)) 3))
  (sqrt (pow (- (pow x 4.0) (pow y 4.0)) 3))
  (pow (- (pow x 4.0) (pow y 4.0)) (/ 3 2))
  (pow (- (pow x 4.0) (pow y 4.0)) (/ 3 2))
  (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))))
  (fma (- (pow (cbrt y) 4.0)) (pow (* (cbrt y) (cbrt y)) 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))
  (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0))))
  (fma (- (pow (sqrt y) 4.0)) (pow (sqrt y) 4.0) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))
  (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (* (pow y 4.0) (pow 1 4.0))))
  (fma (- (pow y 4.0)) (pow 1 4.0) (* (pow y 4.0) (pow 1 4.0)))
  (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))))))
  (fma (- (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0)))))
  (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0)))))
  (fma (- (sqrt (pow y 4.0))) (sqrt (pow y 4.0)) (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0))))
  (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (* (pow y 4.0) 1)))
  (fma (- (pow y 4.0)) 1 (* (pow y 4.0) 1))
  (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2)))))
  (fma (- (pow y (/ 4.0 2))) (pow y (/ 4.0 2)) (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2))))
  (fma (pow (sqrt x) 4.0) (pow (sqrt x) 4.0) (- (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))))
  (fma (- (pow (cbrt y) 4.0)) (pow (* (cbrt y) (cbrt y)) 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))
  (fma (pow (sqrt x) 4.0) (pow (sqrt x) 4.0) (- (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0))))
  (fma (- (pow (sqrt y) 4.0)) (pow (sqrt y) 4.0) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))
  (fma (pow (sqrt x) 4.0) (pow (sqrt x) 4.0) (- (* (pow y 4.0) (pow 1 4.0))))
  (fma (- (pow y 4.0)) (pow 1 4.0) (* (pow y 4.0) (pow 1 4.0)))
  (fma (pow (sqrt x) 4.0) (pow (sqrt x) 4.0) (- (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))))))
  (fma (- (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0)))))
  (fma (pow (sqrt x) 4.0) (pow (sqrt x) 4.0) (- (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0)))))
  (fma (- (sqrt (pow y 4.0))) (sqrt (pow y 4.0)) (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0))))
  (fma (pow (sqrt x) 4.0) (pow (sqrt x) 4.0) (- (* (pow y 4.0) 1)))
  (fma (- (pow y 4.0)) 1 (* (pow y 4.0) 1))
  (fma (pow (sqrt x) 4.0) (pow (sqrt x) 4.0) (- (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2)))))
  (fma (- (pow y (/ 4.0 2))) (pow y (/ 4.0 2)) (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2))))
  (fma (pow 1 4.0) (pow x 4.0) (- (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))))
  (fma (- (pow (cbrt y) 4.0)) (pow (* (cbrt y) (cbrt y)) 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))
  (fma (pow 1 4.0) (pow x 4.0) (- (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0))))
  (fma (- (pow (sqrt y) 4.0)) (pow (sqrt y) 4.0) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))
  (fma (pow 1 4.0) (pow x 4.0) (- (* (pow y 4.0) (pow 1 4.0))))
  (fma (- (pow y 4.0)) (pow 1 4.0) (* (pow y 4.0) (pow 1 4.0)))
  (fma (pow 1 4.0) (pow x 4.0) (- (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))))))
  (fma (- (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0)))))
  (fma (pow 1 4.0) (pow x 4.0) (- (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0)))))
  (fma (- (sqrt (pow y 4.0))) (sqrt (pow y 4.0)) (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0))))
  (fma (pow 1 4.0) (pow x 4.0) (- (* (pow y 4.0) 1)))
  (fma (- (pow y 4.0)) 1 (* (pow y 4.0) 1))
  (fma (pow 1 4.0) (pow x 4.0) (- (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2)))))
  (fma (- (pow y (/ 4.0 2))) (pow y (/ 4.0 2)) (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2))))
  (fma (* (cbrt (pow x 4.0)) (cbrt (pow x 4.0))) (cbrt (pow x 4.0)) (- (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))))
  (fma (- (pow (cbrt y) 4.0)) (pow (* (cbrt y) (cbrt y)) 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))
  (fma (* (cbrt (pow x 4.0)) (cbrt (pow x 4.0))) (cbrt (pow x 4.0)) (- (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0))))
  (fma (- (pow (sqrt y) 4.0)) (pow (sqrt y) 4.0) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))
  (fma (* (cbrt (pow x 4.0)) (cbrt (pow x 4.0))) (cbrt (pow x 4.0)) (- (* (pow y 4.0) (pow 1 4.0))))
  (fma (- (pow y 4.0)) (pow 1 4.0) (* (pow y 4.0) (pow 1 4.0)))
  (fma (* (cbrt (pow x 4.0)) (cbrt (pow x 4.0))) (cbrt (pow x 4.0)) (- (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))))))
  (fma (- (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0)))))
  (fma (* (cbrt (pow x 4.0)) (cbrt (pow x 4.0))) (cbrt (pow x 4.0)) (- (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0)))))
  (fma (- (sqrt (pow y 4.0))) (sqrt (pow y 4.0)) (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0))))
  (fma (* (cbrt (pow x 4.0)) (cbrt (pow x 4.0))) (cbrt (pow x 4.0)) (- (* (pow y 4.0) 1)))
  (fma (- (pow y 4.0)) 1 (* (pow y 4.0) 1))
  (fma (* (cbrt (pow x 4.0)) (cbrt (pow x 4.0))) (cbrt (pow x 4.0)) (- (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2)))))
  (fma (- (pow y (/ 4.0 2))) (pow y (/ 4.0 2)) (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2))))
  (fma (sqrt (pow x 4.0)) (sqrt (pow x 4.0)) (- (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))))
  (fma (- (pow (cbrt y) 4.0)) (pow (* (cbrt y) (cbrt y)) 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))
  (fma (sqrt (pow x 4.0)) (sqrt (pow x 4.0)) (- (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0))))
  (fma (- (pow (sqrt y) 4.0)) (pow (sqrt y) 4.0) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))
  (fma (sqrt (pow x 4.0)) (sqrt (pow x 4.0)) (- (* (pow y 4.0) (pow 1 4.0))))
  (fma (- (pow y 4.0)) (pow 1 4.0) (* (pow y 4.0) (pow 1 4.0)))
  (fma (sqrt (pow x 4.0)) (sqrt (pow x 4.0)) (- (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))))))
  (fma (- (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0)))))
  (fma (sqrt (pow x 4.0)) (sqrt (pow x 4.0)) (- (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0)))))
  (fma (- (sqrt (pow y 4.0))) (sqrt (pow y 4.0)) (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0))))
  (fma (sqrt (pow x 4.0)) (sqrt (pow x 4.0)) (- (* (pow y 4.0) 1)))
  (fma (- (pow y 4.0)) 1 (* (pow y 4.0) 1))
  (fma (sqrt (pow x 4.0)) (sqrt (pow x 4.0)) (- (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2)))))
  (fma (- (pow y (/ 4.0 2))) (pow y (/ 4.0 2)) (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2))))
  (fma 1 (pow x 4.0) (- (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))))
  (fma (- (pow (cbrt y) 4.0)) (pow (* (cbrt y) (cbrt y)) 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))
  (fma 1 (pow x 4.0) (- (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0))))
  (fma (- (pow (sqrt y) 4.0)) (pow (sqrt y) 4.0) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))
  (fma 1 (pow x 4.0) (- (* (pow y 4.0) (pow 1 4.0))))
  (fma (- (pow y 4.0)) (pow 1 4.0) (* (pow y 4.0) (pow 1 4.0)))
  (fma 1 (pow x 4.0) (- (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))))))
  (fma (- (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0)))))
  (fma 1 (pow x 4.0) (- (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0)))))
  (fma (- (sqrt (pow y 4.0))) (sqrt (pow y 4.0)) (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0))))
  (fma 1 (pow x 4.0) (- (* (pow y 4.0) 1)))
  (fma (- (pow y 4.0)) 1 (* (pow y 4.0) 1))
  (fma 1 (pow x 4.0) (- (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2)))))
  (fma (- (pow y (/ 4.0 2))) (pow y (/ 4.0 2)) (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2))))
  (fma (pow x (/ 4.0 2)) (pow x (/ 4.0 2)) (- (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))))
  (fma (- (pow (cbrt y) 4.0)) (pow (* (cbrt y) (cbrt y)) 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))
  (fma (pow x (/ 4.0 2)) (pow x (/ 4.0 2)) (- (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0))))
  (fma (- (pow (sqrt y) 4.0)) (pow (sqrt y) 4.0) (* (pow (sqrt y) 4.0) (pow (sqrt y) 4.0)))
  (fma (pow x (/ 4.0 2)) (pow x (/ 4.0 2)) (- (* (pow y 4.0) (pow 1 4.0))))
  (fma (- (pow y 4.0)) (pow 1 4.0) (* (pow y 4.0) (pow 1 4.0)))
  (fma (pow x (/ 4.0 2)) (pow x (/ 4.0 2)) (- (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))))))
  (fma (- (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0))) (* (cbrt (pow y 4.0)) (* (cbrt (pow y 4.0)) (cbrt (pow y 4.0)))))
  (fma (pow x (/ 4.0 2)) (pow x (/ 4.0 2)) (- (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0)))))
  (fma (- (sqrt (pow y 4.0))) (sqrt (pow y 4.0)) (* (sqrt (pow y 4.0)) (sqrt (pow y 4.0))))
  (fma (pow x (/ 4.0 2)) (pow x (/ 4.0 2)) (- (* (pow y 4.0) 1)))
  (fma (- (pow y 4.0)) 1 (* (pow y 4.0) 1))
  (fma (pow x (/ 4.0 2)) (pow x (/ 4.0 2)) (- (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2)))))
  (fma (- (pow y (/ 4.0 2))) (pow y (/ 4.0 2)) (* (pow y (/ 4.0 2)) (pow y (/ 4.0 2))))
  (expm1 (- (pow x 4.0) (pow y 4.0)))
  (log1p (- (pow x 4.0) (pow y 4.0)))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (/ (exp (pow x 4.0)) (exp (pow y 4.0)))
  (log (- (pow x 4.0) (pow y 4.0)))
  (exp (- (pow x 4.0) (pow y 4.0)))
  (* (cbrt (- (pow x 4.0) (pow y 4.0))) (cbrt (- (pow x 4.0) (pow y 4.0))))
  (cbrt (- (pow x 4.0) (pow y 4.0)))
  (* (* (- (pow x 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0))) (- (pow x 4.0) (pow y 4.0)))
  (sqrt (- (pow x 4.0) (pow y 4.0)))
  (sqrt (- (pow x 4.0) (pow y 4.0)))
  (- (pow (pow x 4.0) 3) (pow (pow y 4.0) 3))
  (+ (* (pow x 4.0) (pow x 4.0)) (+ (* (pow y 4.0) (pow y 4.0)) (* (pow x 4.0) (pow y 4.0))))
  (- (pow y 4.0))
  (- (* (pow x 4.0) (pow x 4.0)) (* (pow y 4.0) (pow y 4.0)))
  (+ (pow x 4.0) (pow y 4.0))
  (+ (pow (sqrt x) 4.0) (pow (sqrt y) 4.0))
  (- (pow (sqrt x) 4.0) (pow (sqrt y) 4.0))
  (+ (pow (sqrt x) 4.0) (sqrt (pow y 4.0)))
  (- (pow (sqrt x) 4.0) (sqrt (pow y 4.0)))
  (+ (pow (sqrt x) 4.0) (pow y (/ 4.0 2)))
  (- (pow (sqrt x) 4.0) (pow y (/ 4.0 2)))
  (+ (sqrt (pow x 4.0)) (pow (sqrt y) 4.0))
  (- (sqrt (pow x 4.0)) (pow (sqrt y) 4.0))
  (+ (sqrt (pow x 4.0)) (sqrt (pow y 4.0)))
  (- (sqrt (pow x 4.0)) (sqrt (pow y 4.0)))
  (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))
  (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))
  (+ (pow x (/ 4.0 2)) (pow (sqrt y) 4.0))
  (- (pow x (/ 4.0 2)) (pow (sqrt y) 4.0))
  (+ (pow x (/ 4.0 2)) (sqrt (pow y 4.0)))
  (- (pow x (/ 4.0 2)) (sqrt (pow y 4.0)))
  (+ (pow x (/ 4.0 2)) (pow y (/ 4.0 2)))
  (- (pow x (/ 4.0 2)) (pow y (/ 4.0 2)))
  (- (pow x 4.0) (pow y 4.0))
  (- (pow x 4.0) (pow y 4.0))
  (- (pow y 4.0))
  0
  (- (pow x 4) (pow y 4))
  (- (pow x 4) (pow y 4))
  0
  (- (* 3 (* (pow x 4) (pow y 8))) (+ (pow y 12) (* 3 (* (pow x 8) (pow y 4)))))
  (- (* 3 (* (pow x 4) (pow y 8))) (+ (pow y 12) (* 3 (* (pow x 8) (pow y 4)))))
  0
  (- (pow x 4) (pow y 4))
  (- (pow x 4) (pow y 4))
4.652 * * [simplify]: Extracting # 0 : cost  0
4.652 * * [simplify]: Extracting # 1 : cost  0
4.652 * * [simplify]: Extracting # 2 : cost  0
4.653 * * [simplify]: Extracting # 3 : cost  0
4.653 * * [simplify]: Extracting # 4 : cost  0
4.653 * * [simplify]: Extracting # 5 : cost  0
4.653 * * [simplify]: Extracting # 6 : cost  0
4.654 * * [simplify]: Extracting # 7 : cost  0
4.654 * * [simplify]: Extracting # 8 : cost  0
4.654 * * [simplify]: Extracting # 9 : cost  0
4.655 * * [simplify]: iteration  0 :  250  enodes  (cost  4310 )
4.714 * * [simplify]: Extracting # 0 : cost  0
4.715 * * [simplify]: Extracting # 1 : cost  0
4.715 * * [simplify]: Extracting # 2 : cost  0
4.716 * * [simplify]: Extracting # 3 : cost  0
4.717 * * [simplify]: Extracting # 4 : cost  0
4.717 * * [simplify]: iteration  1 :  584  enodes  (cost  3277 )
4.865 * * [simplify]: Extracting # 0 : cost  0
4.867 * * [simplify]: Extracting # 1 : cost  0
4.869 * * [simplify]: Extracting # 2 : cost  0
4.870 * * [simplify]: Extracting # 3 : cost  0
4.872 * * [simplify]: Extracting # 4 : cost  0
4.874 * * [simplify]: iteration  2 :  1623  enodes  (cost  2881 )
5.333 * * [simplify]: Extracting # 0 : cost  0
5.339 * * [simplify]: Extracting # 1 : cost  0
5.345 * * [simplify]: Extracting # 2 : cost  0
5.351 * * [simplify]: Extracting # 3 : cost  0
5.358 * * [simplify]: Extracting # 4 : cost  0
5.368 * * [simplify]: iteration done:  5002  enodes  (cost  2685 )
5.369 * [simplify]: Simplified to:
  (expm1 (- (pow x 4.0) (pow y 4.0)))
  (log1p (- (pow x 4.0) (pow y 4.0)))
  (log (- (pow x 4.0) (pow y 4.0)))
  (exp (- (pow x 4.0) (pow y 4.0)))
  (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 2))
  (cbrt (- (pow x 4.0) (pow y 4.0)))
  (sqrt (- (pow x 4.0) (pow y 4.0)))
  (sqrt (- (pow x 4.0) (pow y 4.0)))
  1
  (- (pow x 4.0) (pow y 4.0))
  (+ (pow (sqrt x) 4.0) (pow (sqrt y) 4.0))
  (- (pow (sqrt x) 4.0) (pow (sqrt y) 4.0))
  (+ (pow (sqrt x) 4.0) (sqrt (pow y 4.0)))
  (- (pow (sqrt x) 4.0) (sqrt (pow y 4.0)))
  (+ (pow (sqrt x) 4.0) (pow y (/ 4.0 2)))
  (- (pow (sqrt x) 4.0) (pow y (/ 4.0 2)))
  (+ (sqrt (pow x 4.0)) (pow (sqrt y) 4.0))
  (- (sqrt (pow x 4.0)) (pow (sqrt y) 4.0))
  (+ (sqrt (pow x 4.0)) (sqrt (pow y 4.0)))
  (- (sqrt (pow x 4.0)) (sqrt (pow y 4.0)))
  (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))
  (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))
  (+ (pow x (/ 4.0 2)) (pow (sqrt y) 4.0))
  (- (pow x (/ 4.0 2)) (pow (sqrt y) 4.0))
  (+ (pow x (/ 4.0 2)) (sqrt (pow y 4.0)))
  (- (pow x (/ 4.0 2)) (sqrt (pow y 4.0)))
  (+ (pow x (/ 4.0 2)) (pow y (/ 4.0 2)))
  (- (pow x (/ 4.0 2)) (pow y (/ 4.0 2)))
  1
  (- (pow x 4.0) (pow y 4.0))
  1
  (- (pow x 4.0) (pow y 4.0))
  (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 2))
  (cbrt (- (pow x 4.0) (pow y 4.0)))
  (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 2))
  (cbrt (- (pow x 4.0) (pow y 4.0)))
  (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 2))
  (cbrt (- (pow x 4.0) (pow y 4.0)))
  (sqrt (- (pow x 4.0) (pow y 4.0)))
  (sqrt (- (pow x 4.0) (pow y 4.0)))
  1
  (- (pow x 4.0) (pow y 4.0))
  (+ (pow (sqrt x) 4.0) (pow (sqrt y) 4.0))
  (- (pow (sqrt x) 4.0) (pow (sqrt y) 4.0))
  (+ (pow (sqrt x) 4.0) (sqrt (pow y 4.0)))
  (- (pow (sqrt x) 4.0) (sqrt (pow y 4.0)))
  (+ (pow (sqrt x) 4.0) (pow y (/ 4.0 2)))
  (- (pow (sqrt x) 4.0) (pow y (/ 4.0 2)))
  (+ (sqrt (pow x 4.0)) (pow (sqrt y) 4.0))
  (- (sqrt (pow x 4.0)) (pow (sqrt y) 4.0))
  (+ (sqrt (pow x 4.0)) (sqrt (pow y 4.0)))
  (- (sqrt (pow x 4.0)) (sqrt (pow y 4.0)))
  (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))
  (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))
  (+ (pow x (/ 4.0 2)) (pow (sqrt y) 4.0))
  (- (pow x (/ 4.0 2)) (pow (sqrt y) 4.0))
  (+ (pow x (/ 4.0 2)) (sqrt (pow y 4.0)))
  (- (pow x (/ 4.0 2)) (sqrt (pow y 4.0)))
  (+ (pow x (/ 4.0 2)) (pow y (/ 4.0 2)))
  (- (pow x (/ 4.0 2)) (pow y (/ 4.0 2)))
  1
  (- (pow x 4.0) (pow y 4.0))
  1
  (- (pow x 4.0) (pow y 4.0))
  (cbrt (- (pow x 4.0) (pow y 4.0)))
  (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 2))
  (cbrt (sqrt (pow (- (pow x 4.0) (pow y 4.0)) 3)))
  (cbrt (sqrt (pow (- (pow x 4.0) (pow y 4.0)) 3)))
  1
  (- (pow x 4.0) (pow y 4.0))
  (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3/2))
  (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3/2))
  (- (pow (pow x 4.0) 3) (pow (pow y 4.0) 3))
  (fma (pow y 4.0) (+ (pow x 4.0) (pow y 4.0)) (pow x (* 2 4.0)))
  (- (pow x (* 2 4.0)) (pow y (* 2 4.0)))
  (+ (pow x 4.0) (pow y 4.0))
  (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 2))
  (cbrt (- (pow x 4.0) (pow y 4.0)))
  (pow (- (pow x 4.0) (pow y 4.0)) 3)
  (sqrt (- (pow x 4.0) (pow y 4.0)))
  (sqrt (- (pow x 4.0) (pow y 4.0)))
  (expm1 (pow (- (pow x 4.0) (pow y 4.0)) 3))
  (log1p (pow (- (pow x 4.0) (pow y 4.0)) 3))
  (* (log (- (pow x 4.0) (pow y 4.0))) 3)
  (* (log (- (pow x 4.0) (pow y 4.0))) 3)
  3
  (pow (- (pow x 4.0) (pow y 4.0)) (* (cbrt 3) (cbrt 3)))
  (pow (- (pow x 4.0) (pow y 4.0)) (sqrt 3))
  (- (pow x 4.0) (pow y 4.0))
  (pow (- (pow x 4.0) (pow y 4.0)) 2)
  (- (pow x 4.0) (pow y 4.0))
  (pow (sqrt (- (pow x 4.0) (pow y 4.0))) 3)
  (pow (sqrt (- (pow x 4.0) (pow y 4.0))) 3)
  1
  (pow (- (pow x 4.0) (pow y 4.0)) 3)
  (pow (+ (pow (sqrt x) 4.0) (pow (sqrt y) 4.0)) 3)
  (pow (- (pow (sqrt x) 4.0) (pow (sqrt y) 4.0)) 3)
  (pow (+ (pow (sqrt x) 4.0) (sqrt (pow y 4.0))) 3)
  (pow (- (pow (sqrt x) 4.0) (sqrt (pow y 4.0))) 3)
  (pow (+ (pow (sqrt x) 4.0) (pow y (/ 4.0 2))) 3)
  (pow (- (pow (sqrt x) 4.0) (pow y (/ 4.0 2))) 3)
  (pow (+ (sqrt (pow x 4.0)) (pow (sqrt y) 4.0)) 3)
  (pow (- (sqrt (pow x 4.0)) (pow (sqrt y) 4.0)) 3)
  (pow (+ (sqrt (pow x 4.0)) (sqrt (pow y 4.0))) 3)
  (pow (- (sqrt (pow x 4.0)) (sqrt (pow y 4.0))) 3)
  (pow (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2))) 3)
  (pow (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2))) 3)
  (pow (+ (pow x (/ 4.0 2)) (pow (sqrt y) 4.0)) 3)
  (pow (- (pow x (/ 4.0 2)) (pow (sqrt y) 4.0)) 3)
  (pow (+ (pow x (/ 4.0 2)) (sqrt (pow y 4.0))) 3)
  (pow (- (pow x (/ 4.0 2)) (sqrt (pow y 4.0))) 3)
  (pow (+ (pow x (/ 4.0 2)) (pow y (/ 4.0 2))) 3)
  (pow (- (pow x (/ 4.0 2)) (pow y (/ 4.0 2))) 3)
  1
  (pow (- (pow x 4.0) (pow y 4.0)) 3)
  1
  (pow (- (pow x 4.0) (pow y 4.0)) 3)
  (pow (- (pow x 4.0) (pow y 4.0)) 2)
  (* (log (- (pow x 4.0) (pow y 4.0))) 3)
  (exp (pow (- (pow x 4.0) (pow y 4.0)) 3))
  (pow (- (pow x 4.0) (pow y 4.0)) 2)
  (- (pow x 4.0) (pow y 4.0))
  (pow (pow (- (pow x 4.0) (pow y 4.0)) 3) 3)
  (pow (- (pow x 4.0) (pow y 4.0)) 2)
  (- (pow x 4.0) (pow y 4.0))
  (pow (sqrt (- (pow x 4.0) (pow y 4.0))) 3)
  (pow (sqrt (- (pow x 4.0) (pow y 4.0))) 3)
  1
  (pow (- (pow x 4.0) (pow y 4.0)) 3)
  (pow (+ (pow (sqrt x) 4.0) (pow (sqrt y) 4.0)) 3)
  (pow (- (pow (sqrt x) 4.0) (pow (sqrt y) 4.0)) 3)
  (pow (+ (pow (sqrt x) 4.0) (sqrt (pow y 4.0))) 3)
  (pow (- (pow (sqrt x) 4.0) (sqrt (pow y 4.0))) 3)
  (pow (+ (pow (sqrt x) 4.0) (pow y (/ 4.0 2))) 3)
  (pow (- (pow (sqrt x) 4.0) (pow y (/ 4.0 2))) 3)
  (pow (+ (sqrt (pow x 4.0)) (pow (sqrt y) 4.0)) 3)
  (pow (- (sqrt (pow x 4.0)) (pow (sqrt y) 4.0)) 3)
  (pow (+ (sqrt (pow x 4.0)) (sqrt (pow y 4.0))) 3)
  (pow (- (sqrt (pow x 4.0)) (sqrt (pow y 4.0))) 3)
  (pow (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2))) 3)
  (pow (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2))) 3)
  (pow (+ (pow x (/ 4.0 2)) (pow (sqrt y) 4.0)) 3)
  (pow (- (pow x (/ 4.0 2)) (pow (sqrt y) 4.0)) 3)
  (pow (+ (pow x (/ 4.0 2)) (sqrt (pow y 4.0))) 3)
  (pow (- (pow x (/ 4.0 2)) (sqrt (pow y 4.0))) 3)
  (pow (+ (pow x (/ 4.0 2)) (pow y (/ 4.0 2))) 3)
  (pow (- (pow x (/ 4.0 2)) (pow y (/ 4.0 2))) 3)
  1
  (pow (- (pow x 4.0) (pow y 4.0)) 3)
  1
  (pow (- (pow x 4.0) (pow y 4.0)) 3)
  (pow (- (pow (pow x 4.0) 3) (pow (pow y 4.0) 3)) 3)
  (pow (fma (pow y 4.0) (+ (pow x 4.0) (pow y 4.0)) (pow x (* 2 4.0))) 3)
  (pow (- (pow x (* 2 4.0)) (pow y (* 2 4.0))) 3)
  (pow (+ (pow x 4.0) (pow y 4.0)) 3)
  (pow (- (pow x 4.0) (pow y 4.0)) 2)
  (sqrt (pow (- (pow x 4.0) (pow y 4.0)) 3))
  (sqrt (pow (- (pow x 4.0) (pow y 4.0)) 3))
  (pow (- (pow x 4.0) (pow y 4.0)) 3/2)
  (pow (- (pow x 4.0) (pow y 4.0)) 3/2)
  (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0))))
  (* (pow (* (cbrt y) (cbrt y)) 4.0) (+ (- (pow (cbrt y) 4.0)) (pow (cbrt y) 4.0)))
  (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (pow (sqrt y) (* 2 4.0))))
  (+ (- (pow (sqrt y) (* 2 4.0))) (pow (sqrt y) (* 2 4.0)))
  (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (pow y 4.0)))
  0
  (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (pow y 4.0)))
  0
  (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (pow y 4.0)))
  0
  (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (pow y 4.0)))
  0
  (fma (pow (* (cbrt x) (cbrt x)) 4.0) (pow (cbrt x) 4.0) (- (pow y 4.0)))
  0
  (- (pow (sqrt x) (* 2 4.0)) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))
  (* (pow (* (cbrt y) (cbrt y)) 4.0) (+ (- (pow (cbrt y) 4.0)) (pow (cbrt y) 4.0)))
  (- (pow (sqrt x) (* 2 4.0)) (pow (sqrt y) (* 2 4.0)))
  (+ (- (pow (sqrt y) (* 2 4.0))) (pow (sqrt y) (* 2 4.0)))
  (- (pow (sqrt x) (* 2 4.0)) (pow y 4.0))
  0
  (- (pow (sqrt x) (* 2 4.0)) (pow y 4.0))
  0
  (- (pow (sqrt x) (* 2 4.0)) (pow y 4.0))
  0
  (- (pow (sqrt x) (* 2 4.0)) (pow y 4.0))
  0
  (- (pow (sqrt x) (* 2 4.0)) (pow y 4.0))
  0
  (- (pow x 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))
  (* (pow (* (cbrt y) (cbrt y)) 4.0) (+ (- (pow (cbrt y) 4.0)) (pow (cbrt y) 4.0)))
  (- (pow x 4.0) (pow (sqrt y) (* 2 4.0)))
  (+ (- (pow (sqrt y) (* 2 4.0))) (pow (sqrt y) (* 2 4.0)))
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (fma (- (pow (* (cbrt y) (cbrt y)) 4.0)) (pow (cbrt y) 4.0) (pow (cbrt (pow x 4.0)) 3))
  (* (pow (* (cbrt y) (cbrt y)) 4.0) (+ (- (pow (cbrt y) 4.0)) (pow (cbrt y) 4.0)))
  (- (pow (cbrt (pow x 4.0)) 3) (pow (sqrt y) (* 2 4.0)))
  (+ (- (pow (sqrt y) (* 2 4.0))) (pow (sqrt y) (* 2 4.0)))
  (- (pow (cbrt (pow x 4.0)) 3) (pow y 4.0))
  0
  (- (pow (cbrt (pow x 4.0)) 3) (pow y 4.0))
  0
  (- (pow (cbrt (pow x 4.0)) 3) (pow y 4.0))
  0
  (- (pow (cbrt (pow x 4.0)) 3) (pow y 4.0))
  0
  (- (pow (cbrt (pow x 4.0)) 3) (pow y 4.0))
  0
  (- (pow x 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))
  (* (pow (* (cbrt y) (cbrt y)) 4.0) (+ (- (pow (cbrt y) 4.0)) (pow (cbrt y) 4.0)))
  (- (pow x 4.0) (pow (sqrt y) (* 2 4.0)))
  (+ (- (pow (sqrt y) (* 2 4.0))) (pow (sqrt y) (* 2 4.0)))
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))
  (* (pow (* (cbrt y) (cbrt y)) 4.0) (+ (- (pow (cbrt y) 4.0)) (pow (cbrt y) 4.0)))
  (- (pow x 4.0) (pow (sqrt y) (* 2 4.0)))
  (+ (- (pow (sqrt y) (* 2 4.0))) (pow (sqrt y) (* 2 4.0)))
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (* (pow (cbrt y) 4.0) (pow (* (cbrt y) (cbrt y)) 4.0)))
  (* (pow (* (cbrt y) (cbrt y)) 4.0) (+ (- (pow (cbrt y) 4.0)) (pow (cbrt y) 4.0)))
  (- (pow x 4.0) (pow (sqrt y) (* 2 4.0)))
  (+ (- (pow (sqrt y) (* 2 4.0))) (pow (sqrt y) (* 2 4.0)))
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (- (pow x 4.0) (pow y 4.0))
  0
  (expm1 (- (pow x 4.0) (pow y 4.0)))
  (log1p (- (pow x 4.0) (pow y 4.0)))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (- (pow y 4.0))
  (exp (- (pow x 4.0) (pow y 4.0)))
  (log (- (pow x 4.0) (pow y 4.0)))
  (exp (- (pow x 4.0) (pow y 4.0)))
  (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 2))
  (cbrt (- (pow x 4.0) (pow y 4.0)))
  (pow (- (pow x 4.0) (pow y 4.0)) 3)
  (sqrt (- (pow x 4.0) (pow y 4.0)))
  (sqrt (- (pow x 4.0) (pow y 4.0)))
  (- (pow (pow x 4.0) 3) (pow (pow y 4.0) 3))
  (fma (pow y 4.0) (+ (pow x 4.0) (pow y 4.0)) (pow x (* 2 4.0)))
  (- (pow y 4.0))
  (- (pow x (* 2 4.0)) (pow y (* 2 4.0)))
  (+ (pow x 4.0) (pow y 4.0))
  (+ (pow (sqrt x) 4.0) (pow (sqrt y) 4.0))
  (- (pow (sqrt x) 4.0) (pow (sqrt y) 4.0))
  (+ (pow (sqrt x) 4.0) (sqrt (pow y 4.0)))
  (- (pow (sqrt x) 4.0) (sqrt (pow y 4.0)))
  (+ (pow (sqrt x) 4.0) (pow y (/ 4.0 2)))
  (- (pow (sqrt x) 4.0) (pow y (/ 4.0 2)))
  (+ (sqrt (pow x 4.0)) (pow (sqrt y) 4.0))
  (- (sqrt (pow x 4.0)) (pow (sqrt y) 4.0))
  (+ (sqrt (pow x 4.0)) (sqrt (pow y 4.0)))
  (- (sqrt (pow x 4.0)) (sqrt (pow y 4.0)))
  (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))
  (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))
  (+ (pow x (/ 4.0 2)) (pow (sqrt y) 4.0))
  (- (pow x (/ 4.0 2)) (pow (sqrt y) 4.0))
  (+ (pow x (/ 4.0 2)) (sqrt (pow y 4.0)))
  (- (pow x (/ 4.0 2)) (sqrt (pow y 4.0)))
  (+ (pow x (/ 4.0 2)) (pow y (/ 4.0 2)))
  (- (pow x (/ 4.0 2)) (pow y (/ 4.0 2)))
  (- (pow x 4.0) (pow y 4.0))
  (- (pow x 4.0) (pow y 4.0))
  (- (pow y 4.0))
  0
  (- (pow x 4) (pow y 4))
  (- (pow x 4) (pow y 4))
  0
  (fma (* 3 (pow x 4)) (pow y 8) (- (fma (* 3 (pow x 8)) (pow y 4) (pow y 12))))
  (fma (* 3 (pow x 4)) (pow y 8) (- (fma (* 3 (pow x 8)) (pow y 4) (pow y 12))))
  0
  (- (pow x 4) (pow y 4))
  (- (pow x 4) (pow y 4))
5.371 * * * [progress]: adding candidates to table
5.682 * [progress]: [Phase 3 of 3] Extracting.
5.682 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (- (pow x 4.0) (pow y 4.0)))> #<alt (λ (x y) (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3)))>)
5.682 * * * [regime-changes]: Trying 5 branch expressions: ((pow y 4.0) (pow x 4.0) (- (pow x 4.0) (pow y 4.0)) y x)
5.682 * * * * [regimes]: Trying to branch on (pow y 4.0) from (#<alt (λ (x y) (- (pow x 4.0) (pow y 4.0)))> #<alt (λ (x y) (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3)))>)
5.699 * * * * [regimes]: Trying to branch on (pow x 4.0) from (#<alt (λ (x y) (- (pow x 4.0) (pow y 4.0)))> #<alt (λ (x y) (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3)))>)
5.713 * * * * [regimes]: Trying to branch on (- (pow x 4.0) (pow y 4.0)) from (#<alt (λ (x y) (- (pow x 4.0) (pow y 4.0)))> #<alt (λ (x y) (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3)))>)
5.731 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (- (pow x 4.0) (pow y 4.0)))> #<alt (λ (x y) (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3)))>)
5.745 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (- (pow x 4.0) (pow y 4.0)))> #<alt (λ (x y) (cbrt (pow (- (pow x 4.0) (pow y 4.0)) 3)))>)
5.757 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
5.757 * [simplify]: Simplifying:
  (- (pow x 4.0) (pow y 4.0))
5.758 * * [simplify]: Extracting # 0 : cost  0
5.758 * * [simplify]: Extracting # 1 : cost  0
5.758 * * [simplify]: Extracting # 2 : cost  0
5.758 * * [simplify]: Extracting # 3 : cost  0
5.758 * * [simplify]: Extracting # 4 : cost  0
5.758 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
5.758 * * [simplify]: Extracting # 0 : cost  0
5.758 * * [simplify]: iteration done:  6  enodes  (cost  7 )
5.758 * [simplify]: Simplified to:
  (- (pow x 4.0) (pow y 4.0))
6.885 * [regime-testing]: Baseline error score: 0.0028966027005178537
6.886 * [regime-testing]: Oracle error score: 0.00244842636588588
6.887 * [regime-testing]: End program error score: 0.0028966027005178537