19.840 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.037 * * * [progress]: [2/2] Setting up program.
0.043 * [progress]: [Phase 2 of 3] Improving.
0.043 * [simplify]: Simplifying:
  (/ (* (- x y) (+ x y)) (+ (* x x) (* y y)))
0.044 * * [simplify]: Extracting # 0 : cost  1  inf +  0
0.044 * * [simplify]: Extracting # 1 : cost  3  inf +  0
0.044 * * [simplify]: Extracting # 2 : cost  7  inf +  0
0.044 * * [simplify]: Extracting # 3 : cost  9  inf +  0
0.044 * * [simplify]: Extracting # 4 : cost  6  inf +  43
0.044 * * [simplify]: Extracting # 5 : cost  0  inf +  694
0.044 * * [simplify]: iteration  0 :  9  enodes  (cost  282 )
0.048 * * [simplify]: Extracting # 0 : cost  0  inf +  694
0.048 * * [simplify]: Extracting # 1 : cost  6  inf +  694
0.048 * * [simplify]: Extracting # 2 : cost  0  inf +  1265
0.049 * * [simplify]: iteration  1 :  22  enodes  (cost  282 )
0.057 * * [simplify]: Extracting # 0 : cost  0  inf +  1265
0.057 * * [simplify]: Extracting # 1 : cost  13  inf +  1265
0.058 * * [simplify]: Extracting # 2 : cost  0  inf +  2769
0.059 * * [simplify]: iteration  2 :  46  enodes  (cost  282 )
0.076 * * [simplify]: Extracting # 0 : cost  0  inf +  2769
0.077 * * [simplify]: Extracting # 1 : cost  14  inf +  2769
0.079 * * [simplify]: Extracting # 2 : cost  0  inf +  5437
0.081 * * [simplify]: iteration  3 :  95  enodes  (cost  282 )
0.116 * * [simplify]: Extracting # 0 : cost  0  inf +  5437
0.118 * * [simplify]: Extracting # 1 : cost  19  inf +  5437
0.120 * * [simplify]: Extracting # 2 : cost  0  inf +  8754
0.122 * * [simplify]: iteration  4 :  177  enodes  (cost  282 )
0.175 * * [simplify]: Extracting # 0 : cost  0  inf +  8754
0.178 * * [simplify]: Extracting # 1 : cost  42  inf +  8314
0.183 * * [simplify]: Extracting # 2 : cost  0  inf +  16915
0.188 * * [simplify]: iteration  5 :  339  enodes  (cost  282 )
0.309 * * [simplify]: Extracting # 0 : cost  0  inf +  16915
0.316 * * [simplify]: Extracting # 1 : cost  49  inf +  15873
0.324 * * [simplify]: Extracting # 2 : cost  1  inf +  26006
0.334 * * [simplify]: Extracting # 3 : cost  0  inf +  25492
0.344 * * [simplify]: Extracting # 4 : cost  0  inf +  25294
0.360 * * [simplify]: iteration  6 :  575  enodes  (cost  282 )
0.620 * * [simplify]: Extracting # 0 : cost  0  inf +  25294
0.659 * * [simplify]: Extracting # 1 : cost  332  inf +  22637
0.700 * * [simplify]: Extracting # 2 : cost  0  inf +  75715
0.762 * * [simplify]: Extracting # 3 : cost  0  inf +  75236
0.810 * * [simplify]: iteration  7 :  1519  enodes  (cost  242 )
2.270 * * [simplify]: Extracting # 0 : cost  0  inf +  75236
2.436 * * [simplify]: Extracting # 1 : cost  1417  inf +  69330
2.794 * * [simplify]: Extracting # 2 : cost  0  inf +  330026
3.270 * * [simplify]: Extracting # 3 : cost  0  inf +  329671
3.699 * * [simplify]: iteration complete:  5002  enodes  (cost  242 )
3.699 * [simplify]: Simplified to:
  (- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y))))
3.704 * * [progress]: iteration 1 / 4
3.704 * * * [progress]: picking best candidate
3.707 * * * * [pick]: Picked  #<alt (λ (x y) (- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y)))))>
3.707 * * * [progress]: localizing error
3.742 * * * [progress]: generating rewritten candidates
3.742 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
3.757 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
3.770 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
3.845 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
3.853 * * * [progress]: generating series expansions
3.853 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
3.853 * [backup-simplify]: Simplify (/ (* y y) (+ (* x x) (* y y))) into (/ (pow y 2) (+ (pow y 2) (pow x 2)))
3.853 * [approximate]: Taking taylor expansion of (/ (pow y 2) (+ (pow y 2) (pow x 2))) in (y x) around 0
3.853 * [taylor]: Taking taylor expansion of (/ (pow y 2) (+ (pow y 2) (pow x 2))) in x
3.853 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.853 * [taylor]: Taking taylor expansion of y in x
3.853 * [backup-simplify]: Simplify y into y
3.853 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow x 2)) in x
3.853 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.853 * [taylor]: Taking taylor expansion of y in x
3.853 * [backup-simplify]: Simplify y into y
3.853 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.853 * [taylor]: Taking taylor expansion of x in x
3.853 * [backup-simplify]: Simplify 0 into 0
3.853 * [backup-simplify]: Simplify 1 into 1
3.853 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.853 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.854 * [backup-simplify]: Simplify (+ (pow y 2) 0) into (pow y 2)
3.854 * [backup-simplify]: Simplify (/ (pow y 2) (pow y 2)) into 1
3.854 * [taylor]: Taking taylor expansion of (/ (pow y 2) (+ (pow y 2) (pow x 2))) in y
3.854 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.854 * [taylor]: Taking taylor expansion of y in y
3.854 * [backup-simplify]: Simplify 0 into 0
3.854 * [backup-simplify]: Simplify 1 into 1
3.854 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow x 2)) in y
3.854 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.854 * [taylor]: Taking taylor expansion of y in y
3.854 * [backup-simplify]: Simplify 0 into 0
3.854 * [backup-simplify]: Simplify 1 into 1
3.854 * [taylor]: Taking taylor expansion of (pow x 2) in y
3.854 * [taylor]: Taking taylor expansion of x in y
3.854 * [backup-simplify]: Simplify x into x
3.855 * [backup-simplify]: Simplify (* 1 1) into 1
3.855 * [backup-simplify]: Simplify (* x x) into (pow x 2)
3.855 * [backup-simplify]: Simplify (+ 0 (pow x 2)) into (pow x 2)
3.855 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
3.855 * [taylor]: Taking taylor expansion of (/ (pow y 2) (+ (pow y 2) (pow x 2))) in y
3.855 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.855 * [taylor]: Taking taylor expansion of y in y
3.855 * [backup-simplify]: Simplify 0 into 0
3.855 * [backup-simplify]: Simplify 1 into 1
3.855 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow x 2)) in y
3.855 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.855 * [taylor]: Taking taylor expansion of y in y
3.855 * [backup-simplify]: Simplify 0 into 0
3.855 * [backup-simplify]: Simplify 1 into 1
3.855 * [taylor]: Taking taylor expansion of (pow x 2) in y
3.855 * [taylor]: Taking taylor expansion of x in y
3.855 * [backup-simplify]: Simplify x into x
3.855 * [backup-simplify]: Simplify (* 1 1) into 1
3.855 * [backup-simplify]: Simplify (* x x) into (pow x 2)
3.856 * [backup-simplify]: Simplify (+ 0 (pow x 2)) into (pow x 2)
3.856 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
3.856 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.856 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.856 * [taylor]: Taking taylor expansion of x in x
3.856 * [backup-simplify]: Simplify 0 into 0
3.856 * [backup-simplify]: Simplify 1 into 1
3.856 * [backup-simplify]: Simplify (* 1 1) into 1
3.856 * [backup-simplify]: Simplify (/ 1 1) into 1
3.857 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.857 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.858 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.858 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.858 * [backup-simplify]: Simplify 0 into 0
3.859 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.859 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
3.859 * [backup-simplify]: Simplify (+ 0 0) into 0
3.859 * [backup-simplify]: Simplify (- (/ 0 (pow x 2)) (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))))) into 0
3.859 * [taylor]: Taking taylor expansion of 0 in x
3.859 * [backup-simplify]: Simplify 0 into 0
3.859 * [backup-simplify]: Simplify 0 into 0
3.860 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.861 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.861 * [backup-simplify]: Simplify 0 into 0
3.861 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.861 * [backup-simplify]: Simplify (* 1 1) into 1
3.862 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0
3.862 * [backup-simplify]: Simplify (+ 1 0) into 1
3.863 * [backup-simplify]: Simplify (- (/ 0 (pow x 2)) (+ (* (/ 1 (pow x 2)) (/ 1 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into (- (/ 1 (pow x 4)))
3.863 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4))) in x
3.863 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
3.863 * [taylor]: Taking taylor expansion of (pow x 4) in x
3.863 * [taylor]: Taking taylor expansion of x in x
3.863 * [backup-simplify]: Simplify 0 into 0
3.863 * [backup-simplify]: Simplify 1 into 1
3.863 * [backup-simplify]: Simplify (* 1 1) into 1
3.864 * [backup-simplify]: Simplify (* 1 1) into 1
3.864 * [backup-simplify]: Simplify (/ 1 1) into 1
3.865 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.866 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.867 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.868 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.869 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.870 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.870 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.871 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.872 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.873 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.874 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.875 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.876 * [backup-simplify]: Simplify (- 0) into 0
3.876 * [backup-simplify]: Simplify 0 into 0
3.876 * [backup-simplify]: Simplify 0 into 0
3.877 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.878 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.878 * [backup-simplify]: Simplify 0 into 0
3.878 * [backup-simplify]: Simplify 0 into 0
3.878 * [backup-simplify]: Simplify (/ (* (/ 1 y) (/ 1 y)) (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y)))) into (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))))
3.878 * [approximate]: Taking taylor expansion of (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in (y x) around 0
3.878 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in x
3.878 * [taylor]: Taking taylor expansion of (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x
3.878 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.878 * [taylor]: Taking taylor expansion of y in x
3.879 * [backup-simplify]: Simplify y into y
3.879 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
3.879 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
3.879 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.879 * [taylor]: Taking taylor expansion of y in x
3.879 * [backup-simplify]: Simplify y into y
3.879 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.879 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
3.879 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.879 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.879 * [taylor]: Taking taylor expansion of x in x
3.879 * [backup-simplify]: Simplify 0 into 0
3.879 * [backup-simplify]: Simplify 1 into 1
3.879 * [backup-simplify]: Simplify (* 1 1) into 1
3.880 * [backup-simplify]: Simplify (/ 1 1) into 1
3.880 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.880 * [backup-simplify]: Simplify (+ 0 1) into 1
3.880 * [backup-simplify]: Simplify (* (pow y 2) 1) into (pow y 2)
3.881 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
3.881 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in y
3.881 * [taylor]: Taking taylor expansion of (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y
3.881 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.881 * [taylor]: Taking taylor expansion of y in y
3.881 * [backup-simplify]: Simplify 0 into 0
3.881 * [backup-simplify]: Simplify 1 into 1
3.881 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
3.881 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.881 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.881 * [taylor]: Taking taylor expansion of y in y
3.881 * [backup-simplify]: Simplify 0 into 0
3.881 * [backup-simplify]: Simplify 1 into 1
3.881 * [backup-simplify]: Simplify (* 1 1) into 1
3.882 * [backup-simplify]: Simplify (/ 1 1) into 1
3.882 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
3.882 * [taylor]: Taking taylor expansion of (pow x 2) in y
3.882 * [taylor]: Taking taylor expansion of x in y
3.882 * [backup-simplify]: Simplify x into x
3.882 * [backup-simplify]: Simplify (* x x) into (pow x 2)
3.882 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
3.882 * [backup-simplify]: Simplify (* 1 1) into 1
3.883 * [backup-simplify]: Simplify (+ 1 0) into 1
3.883 * [backup-simplify]: Simplify (* 1 1) into 1
3.884 * [backup-simplify]: Simplify (/ 1 1) into 1
3.884 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in y
3.884 * [taylor]: Taking taylor expansion of (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y
3.884 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.884 * [taylor]: Taking taylor expansion of y in y
3.884 * [backup-simplify]: Simplify 0 into 0
3.884 * [backup-simplify]: Simplify 1 into 1
3.884 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
3.884 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.884 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.884 * [taylor]: Taking taylor expansion of y in y
3.884 * [backup-simplify]: Simplify 0 into 0
3.884 * [backup-simplify]: Simplify 1 into 1
3.884 * [backup-simplify]: Simplify (* 1 1) into 1
3.885 * [backup-simplify]: Simplify (/ 1 1) into 1
3.885 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
3.885 * [taylor]: Taking taylor expansion of (pow x 2) in y
3.885 * [taylor]: Taking taylor expansion of x in y
3.885 * [backup-simplify]: Simplify x into x
3.885 * [backup-simplify]: Simplify (* x x) into (pow x 2)
3.885 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
3.885 * [backup-simplify]: Simplify (* 1 1) into 1
3.886 * [backup-simplify]: Simplify (+ 1 0) into 1
3.886 * [backup-simplify]: Simplify (* 1 1) into 1
3.886 * [backup-simplify]: Simplify (/ 1 1) into 1
3.887 * [taylor]: Taking taylor expansion of 1 in x
3.887 * [backup-simplify]: Simplify 1 into 1
3.887 * [backup-simplify]: Simplify 0 into 0
3.887 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.888 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.888 * [backup-simplify]: Simplify (+ 0 0) into 0
3.889 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.890 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.890 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.890 * [taylor]: Taking taylor expansion of 0 in x
3.890 * [backup-simplify]: Simplify 0 into 0
3.890 * [backup-simplify]: Simplify 0 into 0
3.890 * [backup-simplify]: Simplify 0 into 0
3.892 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.893 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.893 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow x 2))) into (/ 1 (pow x 2))
3.894 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.895 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (pow x 2))) (+ (* 0 0) (* 0 1))) into (/ 1 (pow x 2))
3.896 * [backup-simplify]: Simplify (- (+ (* 1 (/ (/ 1 (pow x 2)) 1)) (* 0 (/ 0 1)))) into (- (/ 1 (pow x 2)))
3.896 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2))) in x
3.896 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.896 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.896 * [taylor]: Taking taylor expansion of x in x
3.896 * [backup-simplify]: Simplify 0 into 0
3.896 * [backup-simplify]: Simplify 1 into 1
3.896 * [backup-simplify]: Simplify (* 1 1) into 1
3.897 * [backup-simplify]: Simplify (/ 1 1) into 1
3.901 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.902 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.903 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.904 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.905 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.906 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.907 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.908 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.909 * [backup-simplify]: Simplify (- 0) into 0
3.909 * [backup-simplify]: Simplify 0 into 0
3.909 * [backup-simplify]: Simplify 0 into 0
3.909 * [backup-simplify]: Simplify 0 into 0
3.909 * [backup-simplify]: Simplify 0 into 0
3.909 * [backup-simplify]: Simplify (/ (* (/ 1 (- y)) (/ 1 (- y))) (+ (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- y)) (/ 1 (- y))))) into (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))))
3.909 * [approximate]: Taking taylor expansion of (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in (y x) around 0
3.909 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in x
3.909 * [taylor]: Taking taylor expansion of (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x
3.909 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.909 * [taylor]: Taking taylor expansion of y in x
3.910 * [backup-simplify]: Simplify y into y
3.910 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
3.910 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
3.910 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.910 * [taylor]: Taking taylor expansion of y in x
3.910 * [backup-simplify]: Simplify y into y
3.910 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.910 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
3.910 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.910 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.910 * [taylor]: Taking taylor expansion of x in x
3.910 * [backup-simplify]: Simplify 0 into 0
3.910 * [backup-simplify]: Simplify 1 into 1
3.910 * [backup-simplify]: Simplify (* 1 1) into 1
3.911 * [backup-simplify]: Simplify (/ 1 1) into 1
3.911 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.911 * [backup-simplify]: Simplify (+ 0 1) into 1
3.912 * [backup-simplify]: Simplify (* (pow y 2) 1) into (pow y 2)
3.912 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
3.912 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in y
3.912 * [taylor]: Taking taylor expansion of (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y
3.912 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.912 * [taylor]: Taking taylor expansion of y in y
3.912 * [backup-simplify]: Simplify 0 into 0
3.912 * [backup-simplify]: Simplify 1 into 1
3.912 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
3.912 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.912 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.912 * [taylor]: Taking taylor expansion of y in y
3.912 * [backup-simplify]: Simplify 0 into 0
3.912 * [backup-simplify]: Simplify 1 into 1
3.912 * [backup-simplify]: Simplify (* 1 1) into 1
3.913 * [backup-simplify]: Simplify (/ 1 1) into 1
3.913 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
3.913 * [taylor]: Taking taylor expansion of (pow x 2) in y
3.913 * [taylor]: Taking taylor expansion of x in y
3.913 * [backup-simplify]: Simplify x into x
3.913 * [backup-simplify]: Simplify (* x x) into (pow x 2)
3.913 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
3.914 * [backup-simplify]: Simplify (* 1 1) into 1
3.914 * [backup-simplify]: Simplify (+ 1 0) into 1
3.914 * [backup-simplify]: Simplify (* 1 1) into 1
3.915 * [backup-simplify]: Simplify (/ 1 1) into 1
3.915 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in y
3.915 * [taylor]: Taking taylor expansion of (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y
3.915 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.915 * [taylor]: Taking taylor expansion of y in y
3.915 * [backup-simplify]: Simplify 0 into 0
3.915 * [backup-simplify]: Simplify 1 into 1
3.915 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
3.915 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.915 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.915 * [taylor]: Taking taylor expansion of y in y
3.915 * [backup-simplify]: Simplify 0 into 0
3.915 * [backup-simplify]: Simplify 1 into 1
3.915 * [backup-simplify]: Simplify (* 1 1) into 1
3.916 * [backup-simplify]: Simplify (/ 1 1) into 1
3.916 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
3.916 * [taylor]: Taking taylor expansion of (pow x 2) in y
3.916 * [taylor]: Taking taylor expansion of x in y
3.916 * [backup-simplify]: Simplify x into x
3.916 * [backup-simplify]: Simplify (* x x) into (pow x 2)
3.916 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
3.916 * [backup-simplify]: Simplify (* 1 1) into 1
3.917 * [backup-simplify]: Simplify (+ 1 0) into 1
3.917 * [backup-simplify]: Simplify (* 1 1) into 1
3.918 * [backup-simplify]: Simplify (/ 1 1) into 1
3.918 * [taylor]: Taking taylor expansion of 1 in x
3.918 * [backup-simplify]: Simplify 1 into 1
3.918 * [backup-simplify]: Simplify 0 into 0
3.918 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.919 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.920 * [backup-simplify]: Simplify (+ 0 0) into 0
3.920 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.921 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.922 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.922 * [taylor]: Taking taylor expansion of 0 in x
3.922 * [backup-simplify]: Simplify 0 into 0
3.922 * [backup-simplify]: Simplify 0 into 0
3.922 * [backup-simplify]: Simplify 0 into 0
3.923 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.923 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.924 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow x 2))) into (/ 1 (pow x 2))
3.925 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.925 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (pow x 2))) (+ (* 0 0) (* 0 1))) into (/ 1 (pow x 2))
3.926 * [backup-simplify]: Simplify (- (+ (* 1 (/ (/ 1 (pow x 2)) 1)) (* 0 (/ 0 1)))) into (- (/ 1 (pow x 2)))
3.926 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2))) in x
3.926 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.926 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.926 * [taylor]: Taking taylor expansion of x in x
3.926 * [backup-simplify]: Simplify 0 into 0
3.926 * [backup-simplify]: Simplify 1 into 1
3.927 * [backup-simplify]: Simplify (* 1 1) into 1
3.927 * [backup-simplify]: Simplify (/ 1 1) into 1
3.928 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.929 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.930 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.931 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.932 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.932 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.933 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.934 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.935 * [backup-simplify]: Simplify (- 0) into 0
3.935 * [backup-simplify]: Simplify 0 into 0
3.935 * [backup-simplify]: Simplify 0 into 0
3.935 * [backup-simplify]: Simplify 0 into 0
3.935 * [backup-simplify]: Simplify 0 into 0
3.935 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
3.935 * [backup-simplify]: Simplify (/ (* x x) (+ (* x x) (* y y))) into (/ (pow x 2) (+ (pow y 2) (pow x 2)))
3.935 * [approximate]: Taking taylor expansion of (/ (pow x 2) (+ (pow y 2) (pow x 2))) in (x y) around 0
3.935 * [taylor]: Taking taylor expansion of (/ (pow x 2) (+ (pow y 2) (pow x 2))) in y
3.935 * [taylor]: Taking taylor expansion of (pow x 2) in y
3.935 * [taylor]: Taking taylor expansion of x in y
3.935 * [backup-simplify]: Simplify x into x
3.935 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow x 2)) in y
3.936 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.936 * [taylor]: Taking taylor expansion of y in y
3.936 * [backup-simplify]: Simplify 0 into 0
3.936 * [backup-simplify]: Simplify 1 into 1
3.936 * [taylor]: Taking taylor expansion of (pow x 2) in y
3.936 * [taylor]: Taking taylor expansion of x in y
3.936 * [backup-simplify]: Simplify x into x
3.936 * [backup-simplify]: Simplify (* x x) into (pow x 2)
3.936 * [backup-simplify]: Simplify (* x x) into (pow x 2)
3.936 * [backup-simplify]: Simplify (+ 0 (pow x 2)) into (pow x 2)
3.936 * [backup-simplify]: Simplify (/ (pow x 2) (pow x 2)) into 1
3.936 * [taylor]: Taking taylor expansion of (/ (pow x 2) (+ (pow y 2) (pow x 2))) in x
3.936 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.936 * [taylor]: Taking taylor expansion of x in x
3.936 * [backup-simplify]: Simplify 0 into 0
3.936 * [backup-simplify]: Simplify 1 into 1
3.936 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow x 2)) in x
3.936 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.936 * [taylor]: Taking taylor expansion of y in x
3.937 * [backup-simplify]: Simplify y into y
3.937 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.937 * [taylor]: Taking taylor expansion of x in x
3.937 * [backup-simplify]: Simplify 0 into 0
3.937 * [backup-simplify]: Simplify 1 into 1
3.937 * [backup-simplify]: Simplify (* 1 1) into 1
3.937 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.937 * [backup-simplify]: Simplify (+ (pow y 2) 0) into (pow y 2)
3.937 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
3.937 * [taylor]: Taking taylor expansion of (/ (pow x 2) (+ (pow y 2) (pow x 2))) in x
3.937 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.938 * [taylor]: Taking taylor expansion of x in x
3.938 * [backup-simplify]: Simplify 0 into 0
3.938 * [backup-simplify]: Simplify 1 into 1
3.938 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow x 2)) in x
3.938 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.938 * [taylor]: Taking taylor expansion of y in x
3.938 * [backup-simplify]: Simplify y into y
3.938 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.938 * [taylor]: Taking taylor expansion of x in x
3.938 * [backup-simplify]: Simplify 0 into 0
3.938 * [backup-simplify]: Simplify 1 into 1
3.938 * [backup-simplify]: Simplify (* 1 1) into 1
3.938 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.938 * [backup-simplify]: Simplify (+ (pow y 2) 0) into (pow y 2)
3.939 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
3.939 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.939 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.939 * [taylor]: Taking taylor expansion of y in y
3.939 * [backup-simplify]: Simplify 0 into 0
3.939 * [backup-simplify]: Simplify 1 into 1
3.939 * [backup-simplify]: Simplify (* 1 1) into 1
3.940 * [backup-simplify]: Simplify (/ 1 1) into 1
3.941 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.941 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.942 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.943 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.943 * [backup-simplify]: Simplify 0 into 0
3.944 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.944 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
3.944 * [backup-simplify]: Simplify (+ 0 0) into 0
3.945 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
3.945 * [taylor]: Taking taylor expansion of 0 in y
3.945 * [backup-simplify]: Simplify 0 into 0
3.945 * [backup-simplify]: Simplify 0 into 0
3.946 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.947 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.947 * [backup-simplify]: Simplify 0 into 0
3.948 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.948 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
3.949 * [backup-simplify]: Simplify (* 1 1) into 1
3.949 * [backup-simplify]: Simplify (+ 0 1) into 1
3.950 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 1 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into (- (/ 1 (pow y 4)))
3.950 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y
3.950 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
3.950 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.950 * [taylor]: Taking taylor expansion of y in y
3.950 * [backup-simplify]: Simplify 0 into 0
3.950 * [backup-simplify]: Simplify 1 into 1
3.950 * [backup-simplify]: Simplify (* 1 1) into 1
3.951 * [backup-simplify]: Simplify (* 1 1) into 1
3.952 * [backup-simplify]: Simplify (/ 1 1) into 1
3.954 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.954 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.955 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.956 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.957 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.958 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.959 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.960 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.961 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.962 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.963 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.963 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.964 * [backup-simplify]: Simplify (- 0) into 0
3.964 * [backup-simplify]: Simplify 0 into 0
3.964 * [backup-simplify]: Simplify 0 into 0
3.965 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.966 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.966 * [backup-simplify]: Simplify 0 into 0
3.966 * [backup-simplify]: Simplify 0 into 0
3.966 * [backup-simplify]: Simplify (/ (* (/ 1 x) (/ 1 x)) (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y)))) into (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))))
3.967 * [approximate]: Taking taylor expansion of (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in (x y) around 0
3.967 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in y
3.967 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y
3.967 * [taylor]: Taking taylor expansion of (pow x 2) in y
3.967 * [taylor]: Taking taylor expansion of x in y
3.967 * [backup-simplify]: Simplify x into x
3.967 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
3.967 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.967 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.967 * [taylor]: Taking taylor expansion of y in y
3.967 * [backup-simplify]: Simplify 0 into 0
3.967 * [backup-simplify]: Simplify 1 into 1
3.967 * [backup-simplify]: Simplify (* 1 1) into 1
3.968 * [backup-simplify]: Simplify (/ 1 1) into 1
3.968 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
3.968 * [taylor]: Taking taylor expansion of (pow x 2) in y
3.968 * [taylor]: Taking taylor expansion of x in y
3.968 * [backup-simplify]: Simplify x into x
3.968 * [backup-simplify]: Simplify (* x x) into (pow x 2)
3.968 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
3.968 * [backup-simplify]: Simplify (* x x) into (pow x 2)
3.968 * [backup-simplify]: Simplify (+ 1 0) into 1
3.969 * [backup-simplify]: Simplify (* (pow x 2) 1) into (pow x 2)
3.969 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
3.969 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in x
3.969 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x
3.969 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.969 * [taylor]: Taking taylor expansion of x in x
3.969 * [backup-simplify]: Simplify 0 into 0
3.969 * [backup-simplify]: Simplify 1 into 1
3.969 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
3.969 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
3.969 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.969 * [taylor]: Taking taylor expansion of y in x
3.969 * [backup-simplify]: Simplify y into y
3.969 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.969 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
3.969 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.969 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.969 * [taylor]: Taking taylor expansion of x in x
3.969 * [backup-simplify]: Simplify 0 into 0
3.969 * [backup-simplify]: Simplify 1 into 1
3.970 * [backup-simplify]: Simplify (* 1 1) into 1
3.970 * [backup-simplify]: Simplify (/ 1 1) into 1
3.971 * [backup-simplify]: Simplify (* 1 1) into 1
3.971 * [backup-simplify]: Simplify (+ 0 1) into 1
3.971 * [backup-simplify]: Simplify (* 1 1) into 1
3.972 * [backup-simplify]: Simplify (/ 1 1) into 1
3.972 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in x
3.972 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x
3.972 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.972 * [taylor]: Taking taylor expansion of x in x
3.972 * [backup-simplify]: Simplify 0 into 0
3.972 * [backup-simplify]: Simplify 1 into 1
3.972 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
3.972 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
3.972 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.972 * [taylor]: Taking taylor expansion of y in x
3.972 * [backup-simplify]: Simplify y into y
3.972 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.972 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
3.972 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.972 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.972 * [taylor]: Taking taylor expansion of x in x
3.973 * [backup-simplify]: Simplify 0 into 0
3.973 * [backup-simplify]: Simplify 1 into 1
3.973 * [backup-simplify]: Simplify (* 1 1) into 1
3.973 * [backup-simplify]: Simplify (/ 1 1) into 1
3.974 * [backup-simplify]: Simplify (* 1 1) into 1
3.974 * [backup-simplify]: Simplify (+ 0 1) into 1
3.975 * [backup-simplify]: Simplify (* 1 1) into 1
3.975 * [backup-simplify]: Simplify (/ 1 1) into 1
3.975 * [taylor]: Taking taylor expansion of 1 in y
3.975 * [backup-simplify]: Simplify 1 into 1
3.975 * [backup-simplify]: Simplify 0 into 0
3.976 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.977 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.977 * [backup-simplify]: Simplify (+ 0 0) into 0
3.978 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.978 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.979 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.979 * [taylor]: Taking taylor expansion of 0 in y
3.979 * [backup-simplify]: Simplify 0 into 0
3.979 * [backup-simplify]: Simplify 0 into 0
3.979 * [backup-simplify]: Simplify 0 into 0
3.980 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.981 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.981 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) 0) into (/ 1 (pow y 2))
3.982 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.983 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (pow y 2))) (+ (* 0 0) (* 0 1))) into (/ 1 (pow y 2))
3.983 * [backup-simplify]: Simplify (- (+ (* 1 (/ (/ 1 (pow y 2)) 1)) (* 0 (/ 0 1)))) into (- (/ 1 (pow y 2)))
3.983 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y
3.983 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.983 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.983 * [taylor]: Taking taylor expansion of y in y
3.983 * [backup-simplify]: Simplify 0 into 0
3.983 * [backup-simplify]: Simplify 1 into 1
3.983 * [backup-simplify]: Simplify (* 1 1) into 1
3.984 * [backup-simplify]: Simplify (/ 1 1) into 1
3.984 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.985 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.985 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.986 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.986 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.987 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.987 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.988 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.988 * [backup-simplify]: Simplify (- 0) into 0
3.988 * [backup-simplify]: Simplify 0 into 0
3.988 * [backup-simplify]: Simplify 0 into 0
3.988 * [backup-simplify]: Simplify 0 into 0
3.988 * [backup-simplify]: Simplify 0 into 0
3.988 * [backup-simplify]: Simplify (/ (* (/ 1 (- x)) (/ 1 (- x))) (+ (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- y)) (/ 1 (- y))))) into (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))))
3.988 * [approximate]: Taking taylor expansion of (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in (x y) around 0
3.988 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in y
3.989 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y
3.989 * [taylor]: Taking taylor expansion of (pow x 2) in y
3.989 * [taylor]: Taking taylor expansion of x in y
3.989 * [backup-simplify]: Simplify x into x
3.989 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
3.989 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.989 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.989 * [taylor]: Taking taylor expansion of y in y
3.989 * [backup-simplify]: Simplify 0 into 0
3.989 * [backup-simplify]: Simplify 1 into 1
3.989 * [backup-simplify]: Simplify (* 1 1) into 1
3.989 * [backup-simplify]: Simplify (/ 1 1) into 1
3.989 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
3.989 * [taylor]: Taking taylor expansion of (pow x 2) in y
3.989 * [taylor]: Taking taylor expansion of x in y
3.989 * [backup-simplify]: Simplify x into x
3.989 * [backup-simplify]: Simplify (* x x) into (pow x 2)
3.989 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
3.989 * [backup-simplify]: Simplify (* x x) into (pow x 2)
3.990 * [backup-simplify]: Simplify (+ 1 0) into 1
3.990 * [backup-simplify]: Simplify (* (pow x 2) 1) into (pow x 2)
3.990 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
3.990 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in x
3.990 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x
3.990 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.990 * [taylor]: Taking taylor expansion of x in x
3.990 * [backup-simplify]: Simplify 0 into 0
3.990 * [backup-simplify]: Simplify 1 into 1
3.990 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
3.990 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
3.990 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.990 * [taylor]: Taking taylor expansion of y in x
3.990 * [backup-simplify]: Simplify y into y
3.990 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.990 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
3.990 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.990 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.990 * [taylor]: Taking taylor expansion of x in x
3.990 * [backup-simplify]: Simplify 0 into 0
3.990 * [backup-simplify]: Simplify 1 into 1
3.991 * [backup-simplify]: Simplify (* 1 1) into 1
3.991 * [backup-simplify]: Simplify (/ 1 1) into 1
3.991 * [backup-simplify]: Simplify (* 1 1) into 1
3.991 * [backup-simplify]: Simplify (+ 0 1) into 1
3.992 * [backup-simplify]: Simplify (* 1 1) into 1
3.992 * [backup-simplify]: Simplify (/ 1 1) into 1
3.992 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in x
3.992 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x
3.992 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.992 * [taylor]: Taking taylor expansion of x in x
3.992 * [backup-simplify]: Simplify 0 into 0
3.992 * [backup-simplify]: Simplify 1 into 1
3.992 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
3.992 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
3.992 * [taylor]: Taking taylor expansion of (pow y 2) in x
3.992 * [taylor]: Taking taylor expansion of y in x
3.992 * [backup-simplify]: Simplify y into y
3.992 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.992 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
3.992 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.992 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.992 * [taylor]: Taking taylor expansion of x in x
3.992 * [backup-simplify]: Simplify 0 into 0
3.992 * [backup-simplify]: Simplify 1 into 1
3.993 * [backup-simplify]: Simplify (* 1 1) into 1
3.993 * [backup-simplify]: Simplify (/ 1 1) into 1
3.993 * [backup-simplify]: Simplify (* 1 1) into 1
3.993 * [backup-simplify]: Simplify (+ 0 1) into 1
3.993 * [backup-simplify]: Simplify (* 1 1) into 1
3.994 * [backup-simplify]: Simplify (/ 1 1) into 1
3.994 * [taylor]: Taking taylor expansion of 1 in y
3.994 * [backup-simplify]: Simplify 1 into 1
3.994 * [backup-simplify]: Simplify 0 into 0
3.994 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.995 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.995 * [backup-simplify]: Simplify (+ 0 0) into 0
3.995 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.996 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.996 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.996 * [taylor]: Taking taylor expansion of 0 in y
3.996 * [backup-simplify]: Simplify 0 into 0
3.996 * [backup-simplify]: Simplify 0 into 0
3.996 * [backup-simplify]: Simplify 0 into 0
3.997 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.997 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.997 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) 0) into (/ 1 (pow y 2))
3.998 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.998 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (pow y 2))) (+ (* 0 0) (* 0 1))) into (/ 1 (pow y 2))
3.999 * [backup-simplify]: Simplify (- (+ (* 1 (/ (/ 1 (pow y 2)) 1)) (* 0 (/ 0 1)))) into (- (/ 1 (pow y 2)))
3.999 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y
3.999 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.999 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.999 * [taylor]: Taking taylor expansion of y in y
3.999 * [backup-simplify]: Simplify 0 into 0
3.999 * [backup-simplify]: Simplify 1 into 1
3.999 * [backup-simplify]: Simplify (* 1 1) into 1
4.000 * [backup-simplify]: Simplify (/ 1 1) into 1
4.000 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.001 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.001 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.002 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.002 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.003 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.003 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.004 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.004 * [backup-simplify]: Simplify (- 0) into 0
4.004 * [backup-simplify]: Simplify 0 into 0
4.004 * [backup-simplify]: Simplify 0 into 0
4.004 * [backup-simplify]: Simplify 0 into 0
4.004 * [backup-simplify]: Simplify 0 into 0
4.004 * * * * [progress]: [ 3 / 4 ] generating series at (2)
4.004 * [backup-simplify]: Simplify (- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y)))) into (- (/ (pow x 2) (+ (pow y 2) (pow x 2))) (/ (pow y 2) (+ (pow y 2) (pow x 2))))
4.005 * [approximate]: Taking taylor expansion of (- (/ (pow x 2) (+ (pow y 2) (pow x 2))) (/ (pow y 2) (+ (pow y 2) (pow x 2)))) in (x y) around 0
4.005 * [taylor]: Taking taylor expansion of (- (/ (pow x 2) (+ (pow y 2) (pow x 2))) (/ (pow y 2) (+ (pow y 2) (pow x 2)))) in y
4.005 * [taylor]: Taking taylor expansion of (/ (pow x 2) (+ (pow y 2) (pow x 2))) in y
4.005 * [taylor]: Taking taylor expansion of (pow x 2) in y
4.005 * [taylor]: Taking taylor expansion of x in y
4.005 * [backup-simplify]: Simplify x into x
4.005 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow x 2)) in y
4.005 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.005 * [taylor]: Taking taylor expansion of y in y
4.005 * [backup-simplify]: Simplify 0 into 0
4.005 * [backup-simplify]: Simplify 1 into 1
4.005 * [taylor]: Taking taylor expansion of (pow x 2) in y
4.005 * [taylor]: Taking taylor expansion of x in y
4.005 * [backup-simplify]: Simplify x into x
4.005 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.005 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.005 * [backup-simplify]: Simplify (+ 0 (pow x 2)) into (pow x 2)
4.005 * [backup-simplify]: Simplify (/ (pow x 2) (pow x 2)) into 1
4.005 * [taylor]: Taking taylor expansion of (/ (pow y 2) (+ (pow y 2) (pow x 2))) in y
4.005 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.005 * [taylor]: Taking taylor expansion of y in y
4.005 * [backup-simplify]: Simplify 0 into 0
4.005 * [backup-simplify]: Simplify 1 into 1
4.005 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow x 2)) in y
4.005 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.005 * [taylor]: Taking taylor expansion of y in y
4.005 * [backup-simplify]: Simplify 0 into 0
4.005 * [backup-simplify]: Simplify 1 into 1
4.005 * [taylor]: Taking taylor expansion of (pow x 2) in y
4.005 * [taylor]: Taking taylor expansion of x in y
4.005 * [backup-simplify]: Simplify x into x
4.005 * [backup-simplify]: Simplify (* 1 1) into 1
4.006 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.006 * [backup-simplify]: Simplify (+ 0 (pow x 2)) into (pow x 2)
4.006 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
4.006 * [taylor]: Taking taylor expansion of (- (/ (pow x 2) (+ (pow y 2) (pow x 2))) (/ (pow y 2) (+ (pow y 2) (pow x 2)))) in x
4.006 * [taylor]: Taking taylor expansion of (/ (pow x 2) (+ (pow y 2) (pow x 2))) in x
4.006 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.006 * [taylor]: Taking taylor expansion of x in x
4.006 * [backup-simplify]: Simplify 0 into 0
4.006 * [backup-simplify]: Simplify 1 into 1
4.006 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow x 2)) in x
4.006 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.006 * [taylor]: Taking taylor expansion of y in x
4.006 * [backup-simplify]: Simplify y into y
4.006 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.006 * [taylor]: Taking taylor expansion of x in x
4.006 * [backup-simplify]: Simplify 0 into 0
4.006 * [backup-simplify]: Simplify 1 into 1
4.006 * [backup-simplify]: Simplify (* 1 1) into 1
4.006 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.006 * [backup-simplify]: Simplify (+ (pow y 2) 0) into (pow y 2)
4.006 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
4.006 * [taylor]: Taking taylor expansion of (/ (pow y 2) (+ (pow y 2) (pow x 2))) in x
4.007 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.007 * [taylor]: Taking taylor expansion of y in x
4.007 * [backup-simplify]: Simplify y into y
4.007 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow x 2)) in x
4.007 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.007 * [taylor]: Taking taylor expansion of y in x
4.007 * [backup-simplify]: Simplify y into y
4.007 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.007 * [taylor]: Taking taylor expansion of x in x
4.007 * [backup-simplify]: Simplify 0 into 0
4.007 * [backup-simplify]: Simplify 1 into 1
4.007 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.007 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.007 * [backup-simplify]: Simplify (+ (pow y 2) 0) into (pow y 2)
4.007 * [backup-simplify]: Simplify (/ (pow y 2) (pow y 2)) into 1
4.007 * [taylor]: Taking taylor expansion of (- (/ (pow x 2) (+ (pow y 2) (pow x 2))) (/ (pow y 2) (+ (pow y 2) (pow x 2)))) in x
4.007 * [taylor]: Taking taylor expansion of (/ (pow x 2) (+ (pow y 2) (pow x 2))) in x
4.007 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.007 * [taylor]: Taking taylor expansion of x in x
4.007 * [backup-simplify]: Simplify 0 into 0
4.007 * [backup-simplify]: Simplify 1 into 1
4.007 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow x 2)) in x
4.007 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.007 * [taylor]: Taking taylor expansion of y in x
4.007 * [backup-simplify]: Simplify y into y
4.007 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.007 * [taylor]: Taking taylor expansion of x in x
4.007 * [backup-simplify]: Simplify 0 into 0
4.007 * [backup-simplify]: Simplify 1 into 1
4.007 * [backup-simplify]: Simplify (* 1 1) into 1
4.007 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.008 * [backup-simplify]: Simplify (+ (pow y 2) 0) into (pow y 2)
4.008 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
4.008 * [taylor]: Taking taylor expansion of (/ (pow y 2) (+ (pow y 2) (pow x 2))) in x
4.008 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.008 * [taylor]: Taking taylor expansion of y in x
4.008 * [backup-simplify]: Simplify y into y
4.008 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow x 2)) in x
4.008 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.008 * [taylor]: Taking taylor expansion of y in x
4.008 * [backup-simplify]: Simplify y into y
4.008 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.008 * [taylor]: Taking taylor expansion of x in x
4.008 * [backup-simplify]: Simplify 0 into 0
4.008 * [backup-simplify]: Simplify 1 into 1
4.008 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.008 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.008 * [backup-simplify]: Simplify (+ (pow y 2) 0) into (pow y 2)
4.008 * [backup-simplify]: Simplify (/ (pow y 2) (pow y 2)) into 1
4.008 * [backup-simplify]: Simplify (- 1) into -1
4.009 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.009 * [taylor]: Taking taylor expansion of -1 in y
4.009 * [backup-simplify]: Simplify -1 into -1
4.009 * [backup-simplify]: Simplify -1 into -1
4.009 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
4.009 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
4.009 * [backup-simplify]: Simplify (+ 0 0) into 0
4.009 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* 1 (/ 0 (pow y 2))))) into 0
4.009 * [backup-simplify]: Simplify (- 0) into 0
4.010 * [backup-simplify]: Simplify (+ 0 0) into 0
4.010 * [taylor]: Taking taylor expansion of 0 in y
4.010 * [backup-simplify]: Simplify 0 into 0
4.010 * [backup-simplify]: Simplify 0 into 0
4.010 * [backup-simplify]: Simplify 0 into 0
4.010 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
4.011 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
4.011 * [backup-simplify]: Simplify (* 1 1) into 1
4.012 * [backup-simplify]: Simplify (+ 0 1) into 1
4.012 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* 1 (/ 1 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into (- (/ 1 (pow y 2)))
4.013 * [backup-simplify]: Simplify (- (- (/ 1 (pow y 2)))) into (/ 1 (pow y 2))
4.013 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) (/ 1 (pow y 2))) into (* 2 (/ 1 (pow y 2)))
4.013 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y
4.013 * [taylor]: Taking taylor expansion of 2 in y
4.013 * [backup-simplify]: Simplify 2 into 2
4.013 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.013 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.013 * [taylor]: Taking taylor expansion of y in y
4.013 * [backup-simplify]: Simplify 0 into 0
4.013 * [backup-simplify]: Simplify 1 into 1
4.013 * [backup-simplify]: Simplify (* 1 1) into 1
4.014 * [backup-simplify]: Simplify (/ 1 1) into 1
4.015 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.016 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.016 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.017 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.019 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
4.019 * [backup-simplify]: Simplify 0 into 0
4.019 * [backup-simplify]: Simplify 0 into 0
4.019 * [backup-simplify]: Simplify 0 into 0
4.019 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.019 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
4.020 * [backup-simplify]: Simplify (+ 0 0) into 0
4.020 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
4.021 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
4.022 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
4.023 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.023 * [backup-simplify]: Simplify (+ 0 0) into 0
4.024 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* 1 (/ 0 (pow y 2))) (* 0 (/ 1 (pow y 2))) (* (- (/ 1 (pow y 2))) (/ 0 (pow y 2))))) into 0
4.024 * [backup-simplify]: Simplify (- 0) into 0
4.025 * [backup-simplify]: Simplify (+ 0 0) into 0
4.025 * [taylor]: Taking taylor expansion of 0 in y
4.025 * [backup-simplify]: Simplify 0 into 0
4.025 * [backup-simplify]: Simplify 0 into 0
4.025 * [backup-simplify]: Simplify -1 into -1
4.025 * [backup-simplify]: Simplify (- (/ (* (/ 1 x) (/ 1 x)) (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y)))) (/ (* (/ 1 y) (/ 1 y)) (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))))) into (- (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))))
4.025 * [approximate]: Taking taylor expansion of (- (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))))) in (x y) around 0
4.026 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))))) in y
4.026 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in y
4.026 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y
4.026 * [taylor]: Taking taylor expansion of (pow x 2) in y
4.026 * [taylor]: Taking taylor expansion of x in y
4.026 * [backup-simplify]: Simplify x into x
4.026 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
4.026 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.026 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.026 * [taylor]: Taking taylor expansion of y in y
4.026 * [backup-simplify]: Simplify 0 into 0
4.026 * [backup-simplify]: Simplify 1 into 1
4.026 * [backup-simplify]: Simplify (* 1 1) into 1
4.027 * [backup-simplify]: Simplify (/ 1 1) into 1
4.027 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
4.027 * [taylor]: Taking taylor expansion of (pow x 2) in y
4.027 * [taylor]: Taking taylor expansion of x in y
4.027 * [backup-simplify]: Simplify x into x
4.027 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.027 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
4.027 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.027 * [backup-simplify]: Simplify (+ 1 0) into 1
4.028 * [backup-simplify]: Simplify (* (pow x 2) 1) into (pow x 2)
4.028 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
4.028 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in y
4.028 * [taylor]: Taking taylor expansion of (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y
4.028 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.028 * [taylor]: Taking taylor expansion of y in y
4.028 * [backup-simplify]: Simplify 0 into 0
4.028 * [backup-simplify]: Simplify 1 into 1
4.028 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
4.028 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.028 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.028 * [taylor]: Taking taylor expansion of y in y
4.028 * [backup-simplify]: Simplify 0 into 0
4.028 * [backup-simplify]: Simplify 1 into 1
4.029 * [backup-simplify]: Simplify (* 1 1) into 1
4.029 * [backup-simplify]: Simplify (/ 1 1) into 1
4.029 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
4.029 * [taylor]: Taking taylor expansion of (pow x 2) in y
4.029 * [taylor]: Taking taylor expansion of x in y
4.029 * [backup-simplify]: Simplify x into x
4.029 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.029 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
4.030 * [backup-simplify]: Simplify (* 1 1) into 1
4.030 * [backup-simplify]: Simplify (+ 1 0) into 1
4.030 * [backup-simplify]: Simplify (* 1 1) into 1
4.031 * [backup-simplify]: Simplify (/ 1 1) into 1
4.031 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))))) in x
4.031 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in x
4.031 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x
4.031 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.031 * [taylor]: Taking taylor expansion of x in x
4.031 * [backup-simplify]: Simplify 0 into 0
4.031 * [backup-simplify]: Simplify 1 into 1
4.031 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
4.031 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.031 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.031 * [taylor]: Taking taylor expansion of y in x
4.031 * [backup-simplify]: Simplify y into y
4.031 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.031 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
4.031 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.031 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.031 * [taylor]: Taking taylor expansion of x in x
4.031 * [backup-simplify]: Simplify 0 into 0
4.032 * [backup-simplify]: Simplify 1 into 1
4.032 * [backup-simplify]: Simplify (* 1 1) into 1
4.032 * [backup-simplify]: Simplify (/ 1 1) into 1
4.033 * [backup-simplify]: Simplify (* 1 1) into 1
4.033 * [backup-simplify]: Simplify (+ 0 1) into 1
4.033 * [backup-simplify]: Simplify (* 1 1) into 1
4.034 * [backup-simplify]: Simplify (/ 1 1) into 1
4.034 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in x
4.034 * [taylor]: Taking taylor expansion of (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x
4.034 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.034 * [taylor]: Taking taylor expansion of y in x
4.034 * [backup-simplify]: Simplify y into y
4.034 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
4.034 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.034 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.034 * [taylor]: Taking taylor expansion of y in x
4.034 * [backup-simplify]: Simplify y into y
4.034 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.034 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
4.034 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.034 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.034 * [taylor]: Taking taylor expansion of x in x
4.034 * [backup-simplify]: Simplify 0 into 0
4.034 * [backup-simplify]: Simplify 1 into 1
4.035 * [backup-simplify]: Simplify (* 1 1) into 1
4.035 * [backup-simplify]: Simplify (/ 1 1) into 1
4.035 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.039 * [backup-simplify]: Simplify (+ 0 1) into 1
4.039 * [backup-simplify]: Simplify (* (pow y 2) 1) into (pow y 2)
4.039 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
4.039 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))))) in x
4.039 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in x
4.039 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x
4.039 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.039 * [taylor]: Taking taylor expansion of x in x
4.039 * [backup-simplify]: Simplify 0 into 0
4.039 * [backup-simplify]: Simplify 1 into 1
4.039 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
4.039 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.039 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.039 * [taylor]: Taking taylor expansion of y in x
4.039 * [backup-simplify]: Simplify y into y
4.039 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.039 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
4.039 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.039 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.039 * [taylor]: Taking taylor expansion of x in x
4.039 * [backup-simplify]: Simplify 0 into 0
4.039 * [backup-simplify]: Simplify 1 into 1
4.040 * [backup-simplify]: Simplify (* 1 1) into 1
4.040 * [backup-simplify]: Simplify (/ 1 1) into 1
4.040 * [backup-simplify]: Simplify (* 1 1) into 1
4.041 * [backup-simplify]: Simplify (+ 0 1) into 1
4.041 * [backup-simplify]: Simplify (* 1 1) into 1
4.041 * [backup-simplify]: Simplify (/ 1 1) into 1
4.041 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in x
4.041 * [taylor]: Taking taylor expansion of (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x
4.041 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.041 * [taylor]: Taking taylor expansion of y in x
4.041 * [backup-simplify]: Simplify y into y
4.041 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
4.041 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.041 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.041 * [taylor]: Taking taylor expansion of y in x
4.041 * [backup-simplify]: Simplify y into y
4.041 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.041 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
4.041 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.041 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.042 * [taylor]: Taking taylor expansion of x in x
4.042 * [backup-simplify]: Simplify 0 into 0
4.042 * [backup-simplify]: Simplify 1 into 1
4.042 * [backup-simplify]: Simplify (* 1 1) into 1
4.042 * [backup-simplify]: Simplify (/ 1 1) into 1
4.042 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.042 * [backup-simplify]: Simplify (+ 0 1) into 1
4.042 * [backup-simplify]: Simplify (* (pow y 2) 1) into (pow y 2)
4.043 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
4.043 * [backup-simplify]: Simplify (+ 1 0) into 1
4.043 * [taylor]: Taking taylor expansion of 1 in y
4.043 * [backup-simplify]: Simplify 1 into 1
4.043 * [backup-simplify]: Simplify 1 into 1
4.043 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.044 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.044 * [backup-simplify]: Simplify (+ 0 0) into 0
4.044 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.045 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.045 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.046 * [backup-simplify]: Simplify (+ 0 0) into 0
4.046 * [taylor]: Taking taylor expansion of 0 in y
4.046 * [backup-simplify]: Simplify 0 into 0
4.046 * [backup-simplify]: Simplify 0 into 0
4.046 * [backup-simplify]: Simplify 0 into 0
4.046 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.047 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.047 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) 0) into (/ 1 (pow y 2))
4.047 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.048 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (pow y 2))) (+ (* 0 0) (* 0 1))) into (/ 1 (pow y 2))
4.048 * [backup-simplify]: Simplify (- (+ (* 1 (/ (/ 1 (pow y 2)) 1)) (* 0 (/ 0 1)))) into (- (/ 1 (pow y 2)))
4.049 * [backup-simplify]: Simplify (- (/ 1 (pow y 2))) into (- (/ 1 (pow y 2)))
4.049 * [backup-simplify]: Simplify (+ (- (/ 1 (pow y 2))) (- (/ 1 (pow y 2)))) into (- (* 2 (/ 1 (pow y 2))))
4.049 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow y 2)))) in y
4.049 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y
4.049 * [taylor]: Taking taylor expansion of 2 in y
4.049 * [backup-simplify]: Simplify 2 into 2
4.049 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.049 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.049 * [taylor]: Taking taylor expansion of y in y
4.049 * [backup-simplify]: Simplify 0 into 0
4.049 * [backup-simplify]: Simplify 1 into 1
4.049 * [backup-simplify]: Simplify (* 1 1) into 1
4.049 * [backup-simplify]: Simplify (/ 1 1) into 1
4.050 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.050 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.051 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.051 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.052 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
4.052 * [backup-simplify]: Simplify (- 0) into 0
4.052 * [backup-simplify]: Simplify 0 into 0
4.052 * [backup-simplify]: Simplify 0 into 0
4.052 * [backup-simplify]: Simplify 0 into 0
4.052 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
4.052 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
4.053 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.054 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.054 * [backup-simplify]: Simplify (+ 0 0) into 0
4.054 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.055 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 (/ 1 (pow y 2))) (+ (* 0 0) (* 0 1)))) into 0
4.056 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ (/ 1 (pow y 2)) 1)) (* (- (/ 1 (pow y 2))) (/ 0 1)))) into 0
4.056 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.057 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.057 * [backup-simplify]: Simplify (+ 0 0) into 0
4.057 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
4.058 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 1)) into 0
4.058 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
4.058 * [backup-simplify]: Simplify (- 0) into 0
4.058 * [backup-simplify]: Simplify (+ 0 0) into 0
4.058 * [taylor]: Taking taylor expansion of 0 in y
4.058 * [backup-simplify]: Simplify 0 into 0
4.058 * [backup-simplify]: Simplify 0 into 0
4.058 * [backup-simplify]: Simplify 1 into 1
4.059 * [backup-simplify]: Simplify (- (/ (* (/ 1 (- x)) (/ 1 (- x))) (+ (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- y)) (/ 1 (- y))))) (/ (* (/ 1 (- y)) (/ 1 (- y))) (+ (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- y)) (/ 1 (- y)))))) into (- (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))))
4.059 * [approximate]: Taking taylor expansion of (- (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))))) in (x y) around 0
4.059 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))))) in y
4.059 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in y
4.059 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y
4.059 * [taylor]: Taking taylor expansion of (pow x 2) in y
4.059 * [taylor]: Taking taylor expansion of x in y
4.059 * [backup-simplify]: Simplify x into x
4.059 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
4.059 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.059 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.059 * [taylor]: Taking taylor expansion of y in y
4.059 * [backup-simplify]: Simplify 0 into 0
4.059 * [backup-simplify]: Simplify 1 into 1
4.059 * [backup-simplify]: Simplify (* 1 1) into 1
4.060 * [backup-simplify]: Simplify (/ 1 1) into 1
4.060 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
4.060 * [taylor]: Taking taylor expansion of (pow x 2) in y
4.060 * [taylor]: Taking taylor expansion of x in y
4.060 * [backup-simplify]: Simplify x into x
4.060 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.060 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
4.060 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.060 * [backup-simplify]: Simplify (+ 1 0) into 1
4.060 * [backup-simplify]: Simplify (* (pow x 2) 1) into (pow x 2)
4.060 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
4.060 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in y
4.060 * [taylor]: Taking taylor expansion of (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y
4.060 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.060 * [taylor]: Taking taylor expansion of y in y
4.060 * [backup-simplify]: Simplify 0 into 0
4.060 * [backup-simplify]: Simplify 1 into 1
4.060 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
4.060 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.060 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.060 * [taylor]: Taking taylor expansion of y in y
4.060 * [backup-simplify]: Simplify 0 into 0
4.060 * [backup-simplify]: Simplify 1 into 1
4.061 * [backup-simplify]: Simplify (* 1 1) into 1
4.061 * [backup-simplify]: Simplify (/ 1 1) into 1
4.061 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
4.061 * [taylor]: Taking taylor expansion of (pow x 2) in y
4.061 * [taylor]: Taking taylor expansion of x in y
4.061 * [backup-simplify]: Simplify x into x
4.061 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.061 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
4.061 * [backup-simplify]: Simplify (* 1 1) into 1
4.062 * [backup-simplify]: Simplify (+ 1 0) into 1
4.062 * [backup-simplify]: Simplify (* 1 1) into 1
4.063 * [backup-simplify]: Simplify (/ 1 1) into 1
4.063 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))))) in x
4.063 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in x
4.063 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x
4.063 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.063 * [taylor]: Taking taylor expansion of x in x
4.063 * [backup-simplify]: Simplify 0 into 0
4.063 * [backup-simplify]: Simplify 1 into 1
4.063 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
4.063 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.063 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.063 * [taylor]: Taking taylor expansion of y in x
4.063 * [backup-simplify]: Simplify y into y
4.063 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.063 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
4.063 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.063 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.063 * [taylor]: Taking taylor expansion of x in x
4.063 * [backup-simplify]: Simplify 0 into 0
4.063 * [backup-simplify]: Simplify 1 into 1
4.064 * [backup-simplify]: Simplify (* 1 1) into 1
4.064 * [backup-simplify]: Simplify (/ 1 1) into 1
4.065 * [backup-simplify]: Simplify (* 1 1) into 1
4.065 * [backup-simplify]: Simplify (+ 0 1) into 1
4.065 * [backup-simplify]: Simplify (* 1 1) into 1
4.066 * [backup-simplify]: Simplify (/ 1 1) into 1
4.066 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in x
4.066 * [taylor]: Taking taylor expansion of (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x
4.066 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.066 * [taylor]: Taking taylor expansion of y in x
4.066 * [backup-simplify]: Simplify y into y
4.066 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
4.066 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.066 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.066 * [taylor]: Taking taylor expansion of y in x
4.066 * [backup-simplify]: Simplify y into y
4.066 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.066 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
4.066 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.066 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.066 * [taylor]: Taking taylor expansion of x in x
4.067 * [backup-simplify]: Simplify 0 into 0
4.067 * [backup-simplify]: Simplify 1 into 1
4.067 * [backup-simplify]: Simplify (* 1 1) into 1
4.067 * [backup-simplify]: Simplify (/ 1 1) into 1
4.067 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.068 * [backup-simplify]: Simplify (+ 0 1) into 1
4.068 * [backup-simplify]: Simplify (* (pow y 2) 1) into (pow y 2)
4.068 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
4.068 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))))) in x
4.068 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in x
4.068 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x
4.068 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.068 * [taylor]: Taking taylor expansion of x in x
4.068 * [backup-simplify]: Simplify 0 into 0
4.068 * [backup-simplify]: Simplify 1 into 1
4.068 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
4.068 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.068 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.068 * [taylor]: Taking taylor expansion of y in x
4.068 * [backup-simplify]: Simplify y into y
4.069 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.069 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
4.069 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.069 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.069 * [taylor]: Taking taylor expansion of x in x
4.069 * [backup-simplify]: Simplify 0 into 0
4.069 * [backup-simplify]: Simplify 1 into 1
4.069 * [backup-simplify]: Simplify (* 1 1) into 1
4.070 * [backup-simplify]: Simplify (/ 1 1) into 1
4.070 * [backup-simplify]: Simplify (* 1 1) into 1
4.070 * [backup-simplify]: Simplify (+ 0 1) into 1
4.071 * [backup-simplify]: Simplify (* 1 1) into 1
4.071 * [backup-simplify]: Simplify (/ 1 1) into 1
4.071 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in x
4.071 * [taylor]: Taking taylor expansion of (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x
4.071 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.071 * [taylor]: Taking taylor expansion of y in x
4.071 * [backup-simplify]: Simplify y into y
4.071 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
4.071 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.071 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.071 * [taylor]: Taking taylor expansion of y in x
4.071 * [backup-simplify]: Simplify y into y
4.071 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.072 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
4.072 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.072 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.072 * [taylor]: Taking taylor expansion of x in x
4.072 * [backup-simplify]: Simplify 0 into 0
4.072 * [backup-simplify]: Simplify 1 into 1
4.072 * [backup-simplify]: Simplify (* 1 1) into 1
4.073 * [backup-simplify]: Simplify (/ 1 1) into 1
4.073 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.073 * [backup-simplify]: Simplify (+ 0 1) into 1
4.073 * [backup-simplify]: Simplify (* (pow y 2) 1) into (pow y 2)
4.073 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
4.074 * [backup-simplify]: Simplify (+ 1 0) into 1
4.074 * [taylor]: Taking taylor expansion of 1 in y
4.074 * [backup-simplify]: Simplify 1 into 1
4.074 * [backup-simplify]: Simplify 1 into 1
4.075 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.075 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.076 * [backup-simplify]: Simplify (+ 0 0) into 0
4.076 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.077 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.078 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.078 * [backup-simplify]: Simplify (+ 0 0) into 0
4.078 * [taylor]: Taking taylor expansion of 0 in y
4.078 * [backup-simplify]: Simplify 0 into 0
4.078 * [backup-simplify]: Simplify 0 into 0
4.078 * [backup-simplify]: Simplify 0 into 0
4.079 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.080 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.081 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) 0) into (/ 1 (pow y 2))
4.081 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.082 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (pow y 2))) (+ (* 0 0) (* 0 1))) into (/ 1 (pow y 2))
4.083 * [backup-simplify]: Simplify (- (+ (* 1 (/ (/ 1 (pow y 2)) 1)) (* 0 (/ 0 1)))) into (- (/ 1 (pow y 2)))
4.083 * [backup-simplify]: Simplify (- (/ 1 (pow y 2))) into (- (/ 1 (pow y 2)))
4.084 * [backup-simplify]: Simplify (+ (- (/ 1 (pow y 2))) (- (/ 1 (pow y 2)))) into (- (* 2 (/ 1 (pow y 2))))
4.084 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 (pow y 2)))) in y
4.084 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow y 2))) in y
4.084 * [taylor]: Taking taylor expansion of 2 in y
4.084 * [backup-simplify]: Simplify 2 into 2
4.084 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.084 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.084 * [taylor]: Taking taylor expansion of y in y
4.084 * [backup-simplify]: Simplify 0 into 0
4.084 * [backup-simplify]: Simplify 1 into 1
4.084 * [backup-simplify]: Simplify (* 1 1) into 1
4.085 * [backup-simplify]: Simplify (/ 1 1) into 1
4.086 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.086 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.087 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.088 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.089 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
4.089 * [backup-simplify]: Simplify (- 0) into 0
4.089 * [backup-simplify]: Simplify 0 into 0
4.090 * [backup-simplify]: Simplify 0 into 0
4.090 * [backup-simplify]: Simplify 0 into 0
4.090 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
4.090 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
4.091 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.092 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.092 * [backup-simplify]: Simplify (+ 0 0) into 0
4.093 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.094 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 (/ 1 (pow y 2))) (+ (* 0 0) (* 0 1)))) into 0
4.095 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ (/ 1 (pow y 2)) 1)) (* (- (/ 1 (pow y 2))) (/ 0 1)))) into 0
4.096 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.096 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.096 * [backup-simplify]: Simplify (+ 0 0) into 0
4.096 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
4.097 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 1)) into 0
4.097 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
4.097 * [backup-simplify]: Simplify (- 0) into 0
4.097 * [backup-simplify]: Simplify (+ 0 0) into 0
4.097 * [taylor]: Taking taylor expansion of 0 in y
4.097 * [backup-simplify]: Simplify 0 into 0
4.097 * [backup-simplify]: Simplify 0 into 0
4.097 * [backup-simplify]: Simplify 1 into 1
4.097 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
4.098 * [backup-simplify]: Simplify (+ (* x x) (* y y)) into (+ (pow y 2) (pow x 2))
4.098 * [approximate]: Taking taylor expansion of (+ (pow y 2) (pow x 2)) in (x y) around 0
4.098 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow x 2)) in y
4.098 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.098 * [taylor]: Taking taylor expansion of y in y
4.098 * [backup-simplify]: Simplify 0 into 0
4.098 * [backup-simplify]: Simplify 1 into 1
4.098 * [taylor]: Taking taylor expansion of (pow x 2) in y
4.098 * [taylor]: Taking taylor expansion of x in y
4.098 * [backup-simplify]: Simplify x into x
4.098 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow x 2)) in x
4.098 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.098 * [taylor]: Taking taylor expansion of y in x
4.098 * [backup-simplify]: Simplify y into y
4.098 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.098 * [taylor]: Taking taylor expansion of x in x
4.098 * [backup-simplify]: Simplify 0 into 0
4.098 * [backup-simplify]: Simplify 1 into 1
4.098 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow x 2)) in x
4.098 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.098 * [taylor]: Taking taylor expansion of y in x
4.098 * [backup-simplify]: Simplify y into y
4.098 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.098 * [taylor]: Taking taylor expansion of x in x
4.098 * [backup-simplify]: Simplify 0 into 0
4.098 * [backup-simplify]: Simplify 1 into 1
4.098 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.098 * [backup-simplify]: Simplify (+ (pow y 2) 0) into (pow y 2)
4.098 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.098 * [taylor]: Taking taylor expansion of y in y
4.098 * [backup-simplify]: Simplify 0 into 0
4.098 * [backup-simplify]: Simplify 1 into 1
4.098 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
4.099 * [backup-simplify]: Simplify (+ 0 0) into 0
4.099 * [taylor]: Taking taylor expansion of 0 in y
4.099 * [backup-simplify]: Simplify 0 into 0
4.099 * [backup-simplify]: Simplify 0 into 0
4.099 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
4.099 * [backup-simplify]: Simplify (* 1 1) into 1
4.099 * [backup-simplify]: Simplify (+ 0 1) into 1
4.099 * [taylor]: Taking taylor expansion of 1 in y
4.099 * [backup-simplify]: Simplify 1 into 1
4.099 * [backup-simplify]: Simplify 1 into 1
4.099 * [backup-simplify]: Simplify 0 into 0
4.100 * [backup-simplify]: Simplify (* 1 1) into 1
4.100 * [backup-simplify]: Simplify 1 into 1
4.100 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
4.101 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.101 * [backup-simplify]: Simplify (+ 0 0) into 0
4.101 * [taylor]: Taking taylor expansion of 0 in y
4.101 * [backup-simplify]: Simplify 0 into 0
4.101 * [backup-simplify]: Simplify 0 into 0
4.101 * [backup-simplify]: Simplify 0 into 0
4.101 * [backup-simplify]: Simplify 0 into 0
4.101 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.101 * [backup-simplify]: Simplify 0 into 0
4.102 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
4.103 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.103 * [backup-simplify]: Simplify (+ 0 0) into 0
4.103 * [taylor]: Taking taylor expansion of 0 in y
4.103 * [backup-simplify]: Simplify 0 into 0
4.103 * [backup-simplify]: Simplify 0 into 0
4.103 * [backup-simplify]: Simplify 0 into 0
4.103 * [backup-simplify]: Simplify (+ (* 1 (pow (* y 1) 2)) (* 1 (pow (* 1 x) 2))) into (+ (pow y 2) (pow x 2))
4.103 * [backup-simplify]: Simplify (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))) into (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))
4.103 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in (x y) around 0
4.103 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
4.103 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.103 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.103 * [taylor]: Taking taylor expansion of y in y
4.103 * [backup-simplify]: Simplify 0 into 0
4.104 * [backup-simplify]: Simplify 1 into 1
4.104 * [backup-simplify]: Simplify (* 1 1) into 1
4.104 * [backup-simplify]: Simplify (/ 1 1) into 1
4.104 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
4.104 * [taylor]: Taking taylor expansion of (pow x 2) in y
4.104 * [taylor]: Taking taylor expansion of x in y
4.104 * [backup-simplify]: Simplify x into x
4.104 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.104 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
4.104 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
4.104 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.104 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.104 * [taylor]: Taking taylor expansion of y in x
4.104 * [backup-simplify]: Simplify y into y
4.104 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.104 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
4.104 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.104 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.104 * [taylor]: Taking taylor expansion of x in x
4.104 * [backup-simplify]: Simplify 0 into 0
4.104 * [backup-simplify]: Simplify 1 into 1
4.105 * [backup-simplify]: Simplify (* 1 1) into 1
4.105 * [backup-simplify]: Simplify (/ 1 1) into 1
4.105 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
4.105 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.105 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.105 * [taylor]: Taking taylor expansion of y in x
4.105 * [backup-simplify]: Simplify y into y
4.105 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.105 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
4.105 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.105 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.105 * [taylor]: Taking taylor expansion of x in x
4.105 * [backup-simplify]: Simplify 0 into 0
4.105 * [backup-simplify]: Simplify 1 into 1
4.105 * [backup-simplify]: Simplify (* 1 1) into 1
4.106 * [backup-simplify]: Simplify (/ 1 1) into 1
4.106 * [backup-simplify]: Simplify (+ 0 1) into 1
4.106 * [taylor]: Taking taylor expansion of 1 in y
4.106 * [backup-simplify]: Simplify 1 into 1
4.106 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.107 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.107 * [backup-simplify]: Simplify (+ 0 0) into 0
4.107 * [taylor]: Taking taylor expansion of 0 in y
4.107 * [backup-simplify]: Simplify 0 into 0
4.108 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.108 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.108 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) 0) into (/ 1 (pow y 2))
4.108 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.108 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.108 * [taylor]: Taking taylor expansion of y in y
4.108 * [backup-simplify]: Simplify 0 into 0
4.108 * [backup-simplify]: Simplify 1 into 1
4.109 * [backup-simplify]: Simplify (* 1 1) into 1
4.109 * [backup-simplify]: Simplify (/ 1 1) into 1
4.109 * [backup-simplify]: Simplify 1 into 1
4.109 * [backup-simplify]: Simplify 1 into 1
4.109 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
4.109 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
4.110 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.110 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.111 * [backup-simplify]: Simplify (+ 0 0) into 0
4.111 * [taylor]: Taking taylor expansion of 0 in y
4.111 * [backup-simplify]: Simplify 0 into 0
4.111 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.111 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.111 * [backup-simplify]: Simplify 0 into 0
4.111 * [backup-simplify]: Simplify 0 into 0
4.112 * [backup-simplify]: Simplify 0 into 0
4.112 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
4.112 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
4.113 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.113 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.114 * [backup-simplify]: Simplify (+ 0 0) into 0
4.114 * [taylor]: Taking taylor expansion of 0 in y
4.114 * [backup-simplify]: Simplify 0 into 0
4.114 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.115 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.115 * [backup-simplify]: Simplify 0 into 0
4.115 * [backup-simplify]: Simplify 0 into 0
4.115 * [backup-simplify]: Simplify 0 into 0
4.115 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 2)) (* 1 (pow (* (/ 1 (/ 1 y)) 1) 2))) into (+ (pow y 2) (pow x 2))
4.115 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- y)) (/ 1 (- y)))) into (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))
4.115 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in (x y) around 0
4.115 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
4.115 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.115 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.115 * [taylor]: Taking taylor expansion of y in y
4.115 * [backup-simplify]: Simplify 0 into 0
4.115 * [backup-simplify]: Simplify 1 into 1
4.116 * [backup-simplify]: Simplify (* 1 1) into 1
4.116 * [backup-simplify]: Simplify (/ 1 1) into 1
4.116 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
4.116 * [taylor]: Taking taylor expansion of (pow x 2) in y
4.116 * [taylor]: Taking taylor expansion of x in y
4.116 * [backup-simplify]: Simplify x into x
4.116 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.116 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
4.116 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
4.116 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.116 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.116 * [taylor]: Taking taylor expansion of y in x
4.116 * [backup-simplify]: Simplify y into y
4.116 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.116 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
4.116 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.116 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.116 * [taylor]: Taking taylor expansion of x in x
4.116 * [backup-simplify]: Simplify 0 into 0
4.116 * [backup-simplify]: Simplify 1 into 1
4.117 * [backup-simplify]: Simplify (* 1 1) into 1
4.117 * [backup-simplify]: Simplify (/ 1 1) into 1
4.117 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
4.117 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
4.117 * [taylor]: Taking taylor expansion of (pow y 2) in x
4.117 * [taylor]: Taking taylor expansion of y in x
4.117 * [backup-simplify]: Simplify y into y
4.117 * [backup-simplify]: Simplify (* y y) into (pow y 2)
4.117 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
4.117 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.117 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.117 * [taylor]: Taking taylor expansion of x in x
4.117 * [backup-simplify]: Simplify 0 into 0
4.117 * [backup-simplify]: Simplify 1 into 1
4.117 * [backup-simplify]: Simplify (* 1 1) into 1
4.118 * [backup-simplify]: Simplify (/ 1 1) into 1
4.118 * [backup-simplify]: Simplify (+ 0 1) into 1
4.118 * [taylor]: Taking taylor expansion of 1 in y
4.118 * [backup-simplify]: Simplify 1 into 1
4.118 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.119 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.119 * [backup-simplify]: Simplify (+ 0 0) into 0
4.119 * [taylor]: Taking taylor expansion of 0 in y
4.119 * [backup-simplify]: Simplify 0 into 0
4.120 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.120 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.120 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) 0) into (/ 1 (pow y 2))
4.120 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
4.120 * [taylor]: Taking taylor expansion of (pow y 2) in y
4.120 * [taylor]: Taking taylor expansion of y in y
4.120 * [backup-simplify]: Simplify 0 into 0
4.120 * [backup-simplify]: Simplify 1 into 1
4.121 * [backup-simplify]: Simplify (* 1 1) into 1
4.121 * [backup-simplify]: Simplify (/ 1 1) into 1
4.121 * [backup-simplify]: Simplify 1 into 1
4.121 * [backup-simplify]: Simplify 1 into 1
4.121 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
4.121 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
4.122 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.123 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.124 * [backup-simplify]: Simplify (+ 0 0) into 0
4.124 * [taylor]: Taking taylor expansion of 0 in y
4.124 * [backup-simplify]: Simplify 0 into 0
4.124 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.125 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.125 * [backup-simplify]: Simplify 0 into 0
4.125 * [backup-simplify]: Simplify 0 into 0
4.125 * [backup-simplify]: Simplify 0 into 0
4.126 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
4.126 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into 0
4.128 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.129 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.129 * [backup-simplify]: Simplify (+ 0 0) into 0
4.129 * [taylor]: Taking taylor expansion of 0 in y
4.129 * [backup-simplify]: Simplify 0 into 0
4.131 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.132 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.132 * [backup-simplify]: Simplify 0 into 0
4.132 * [backup-simplify]: Simplify 0 into 0
4.132 * [backup-simplify]: Simplify 0 into 0
4.132 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 2)) (* 1 (pow (* (/ 1 (/ 1 (- y))) 1) 2))) into (+ (pow y 2) (pow x 2))
4.132 * * * [progress]: simplifying candidates
4.135 * [simplify]: Simplifying:
  (- (+ (log y) (log y)) (log (+ (* x x) (* y y))))
  (- (log (* y y)) (log (+ (* x x) (* y y))))
  (log (/ (* y y) (+ (* x x) (* y y))))
  (exp (/ (* y y) (+ (* x x) (* y y))))
  (/ (* (* (* y y) y) (* (* y y) y)) (* (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (+ (* x x) (* y y))))
  (/ (* (* (* y y) (* y y)) (* y y)) (* (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (+ (* x x) (* y y))))
  (* (cbrt (/ (* y y) (+ (* x x) (* y y)))) (cbrt (/ (* y y) (+ (* x x) (* y y)))))
  (cbrt (/ (* y y) (+ (* x x) (* y y))))
  (* (* (/ (* y y) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y)))) (/ (* y y) (+ (* x x) (* y y))))
  (sqrt (/ (* y y) (+ (* x x) (* y y))))
  (sqrt (/ (* y y) (+ (* x x) (* y y))))
  (- (* y y))
  (- (+ (* x x) (* y y)))
  (/ y (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))
  (/ y (cbrt (+ (* x x) (* y y))))
  (/ y (sqrt (+ (* x x) (* y y))))
  (/ y (sqrt (+ (* x x) (* y y))))
  (/ y 1)
  (/ y (+ (* x x) (* y y)))
  (/ 1 (+ (* x x) (* y y)))
  (/ (+ (* x x) (* y y)) (* y y))
  (/ (* y y) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))
  (/ (* y y) (sqrt (+ (* x x) (* y y))))
  (/ (* y y) 1)
  (/ (+ (* x x) (* y y)) y)
  (/ (* y y) (+ (pow (* x x) 3) (pow (* y y) 3)))
  (/ (* y y) (- (* (* x x) (* x x)) (* (* y y) (* y y))))
  (- (+ (log x) (log x)) (log (+ (* x x) (* y y))))
  (- (log (* x x)) (log (+ (* x x) (* y y))))
  (log (/ (* x x) (+ (* x x) (* y y))))
  (exp (/ (* x x) (+ (* x x) (* y y))))
  (/ (* (* (* x x) x) (* (* x x) x)) (* (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (+ (* x x) (* y y))))
  (/ (* (* (* x x) (* x x)) (* x x)) (* (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (+ (* x x) (* y y))))
  (* (cbrt (/ (* x x) (+ (* x x) (* y y)))) (cbrt (/ (* x x) (+ (* x x) (* y y)))))
  (cbrt (/ (* x x) (+ (* x x) (* y y))))
  (* (* (/ (* x x) (+ (* x x) (* y y))) (/ (* x x) (+ (* x x) (* y y)))) (/ (* x x) (+ (* x x) (* y y))))
  (sqrt (/ (* x x) (+ (* x x) (* y y))))
  (sqrt (/ (* x x) (+ (* x x) (* y y))))
  (- (* x x))
  (- (+ (* x x) (* y y)))
  (/ x (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))
  (/ x (cbrt (+ (* x x) (* y y))))
  (/ x (sqrt (+ (* x x) (* y y))))
  (/ x (sqrt (+ (* x x) (* y y))))
  (/ x 1)
  (/ x (+ (* x x) (* y y)))
  (/ 1 (+ (* x x) (* y y)))
  (/ (+ (* x x) (* y y)) (* x x))
  (/ (* x x) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))
  (/ (* x x) (sqrt (+ (* x x) (* y y))))
  (/ (* x x) 1)
  (/ (+ (* x x) (* y y)) x)
  (/ (* x x) (+ (pow (* x x) 3) (pow (* y y) 3)))
  (/ (* x x) (- (* (* x x) (* x x)) (* (* y y) (* y y))))
  (/ (exp (/ (* x x) (+ (* x x) (* y y)))) (exp (/ (* y y) (+ (* x x) (* y y)))))
  (log (- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y)))))
  (exp (- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y)))))
  (* (cbrt (- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y))))) (cbrt (- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y))))))
  (cbrt (- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y)))))
  (* (* (- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y)))) (- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y))))) (- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y)))))
  (sqrt (- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y)))))
  (sqrt (- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y)))))
  (- (* x x) (* y y))
  (- (* (* x x) (+ (* x x) (* y y))) (* (+ (* x x) (* y y)) (* y y)))
  (* (+ (* x x) (* y y)) (+ (* x x) (* y y)))
  (- (pow (/ (* x x) (+ (* x x) (* y y))) 3) (pow (/ (* y y) (+ (* x x) (* y y))) 3))
  (+ (* (/ (* x x) (+ (* x x) (* y y))) (/ (* x x) (+ (* x x) (* y y)))) (+ (* (/ (* y y) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y)))) (* (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y))))))
  (- (/ (* y y) (+ (* x x) (* y y))))
  (- (* (/ (* x x) (+ (* x x) (* y y))) (/ (* x x) (+ (* x x) (* y y)))) (* (/ (* y y) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y)))))
  (+ (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y))))
  (+ (sqrt (/ (* x x) (+ (* x x) (* y y)))) (sqrt (/ (* y y) (+ (* x x) (* y y)))))
  (- (sqrt (/ (* x x) (+ (* x x) (* y y)))) (sqrt (/ (* y y) (+ (* x x) (* y y)))))
  (+ (sqrt (/ (* x x) (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y)))))
  (- (sqrt (/ (* x x) (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y)))))
  (+ (/ x (sqrt (+ (* x x) (* y y)))) (sqrt (/ (* y y) (+ (* x x) (* y y)))))
  (- (/ x (sqrt (+ (* x x) (* y y)))) (sqrt (/ (* y y) (+ (* x x) (* y y)))))
  (+ (/ x (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y)))))
  (- (/ x (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y)))))
  (- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y))))
  (- (* x x) (* y y))
  (- (/ (* x x) (+ (pow (* x x) 3) (pow (* y y) 3))) (/ (* y y) (+ (pow (* x x) 3) (pow (* y y) 3))))
  (- (/ (* x x) (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (/ (* y y) (- (* (* x x) (* x x)) (* (* y y) (* y y)))))
  (- (/ (* y y) (+ (* x x) (* y y))))
  (* (exp (* x x)) (exp (* y y)))
  (log (+ (* x x) (* y y)))
  (exp (+ (* x x) (* y y)))
  (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y))))
  (cbrt (+ (* x x) (* y y)))
  (* (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (+ (* x x) (* y y)))
  (sqrt (+ (* x x) (* y y)))
  (sqrt (+ (* x x) (* y y)))
  (+ (pow (* x x) 3) (pow (* y y) 3))
  (+ (* (* x x) (* x x)) (- (* (* y y) (* y y)) (* (* x x) (* y y))))
  (- (* (* x x) (* x x)) (* (* y y) (* y y)))
  (- (* x x) (* y y))
  0
  0
  0
  0
  0
  0
  -1
  1
  1
  (+ (pow y 2) (pow x 2))
  (+ (pow y 2) (pow x 2))
  (+ (pow y 2) (pow x 2))
4.138 * * [simplify]: Extracting # 0 : cost  88  inf +  0
4.138 * * [simplify]: Extracting # 1 : cost  117  inf +  3
4.138 * * [simplify]: Extracting # 2 : cost  110  inf +  1517
4.140 * * [simplify]: Extracting # 3 : cost  53  inf +  12049
4.142 * * [simplify]: Extracting # 4 : cost  8  inf +  25782
4.144 * * [simplify]: Extracting # 5 : cost  0  inf +  28258
4.147 * * [simplify]: iteration  0 :  128  enodes  (cost  25493 )
4.197 * * [simplify]: Extracting # 0 : cost  0  inf +  28258
4.204 * * [simplify]: Extracting # 1 : cost  140  inf +  26933
4.210 * * [simplify]: Extracting # 2 : cost  7  inf +  47480
4.218 * * [simplify]: Extracting # 3 : cost  3  inf +  47403
4.225 * * [simplify]: Extracting # 4 : cost  0  inf +  47817
4.235 * * [simplify]: iteration  1 :  425  enodes  (cost  22421 )
4.518 * * [simplify]: Extracting # 0 : cost  0  inf +  47817
4.544 * * [simplify]: Extracting # 1 : cost  551  inf +  45718
4.605 * * [simplify]: Extracting # 2 : cost  25  inf +  124096
4.663 * * [simplify]: Extracting # 3 : cost  1  inf +  129629
4.725 * * [simplify]: Extracting # 4 : cost  0  inf +  129951
4.769 * * [simplify]: iteration  2 :  1803  enodes  (cost  22061 )
5.525 * * [simplify]: Extracting # 0 : cost  0  inf +  129951
5.596 * * [simplify]: Extracting # 1 : cost  1436  inf +  128752
6.161 * * [simplify]: Extracting # 2 : cost  105  inf +  425117
6.398 * * [simplify]: Extracting # 3 : cost  20  inf +  431156
6.623 * * [simplify]: Extracting # 4 : cost  0  inf +  436718
6.848 * * [simplify]: iteration complete:  5001  enodes  (cost  22061 )
6.849 * [simplify]: Simplified to:
  (log (/ (* y y) (+ (* x x) (* y y))))
  (log (/ (* y y) (+ (* x x) (* y y))))
  (log (/ (* y y) (+ (* x x) (* y y))))
  (exp (/ (* y y) (+ (* x x) (* y y))))
  (* (/ (* y y) (+ (* x x) (* y y))) (* (/ (* y y) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y)))))
  (* (/ (* y y) (+ (* x x) (* y y))) (* (/ (* y y) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y)))))
  (* (cbrt (/ (* y y) (+ (* x x) (* y y)))) (cbrt (/ (* y y) (+ (* x x) (* y y)))))
  (cbrt (/ (* y y) (+ (* x x) (* y y))))
  (* (/ (* y y) (+ (* x x) (* y y))) (* (/ (* y y) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y)))))
  (sqrt (/ (* y y) (+ (* x x) (* y y))))
  (sqrt (/ (* y y) (+ (* x x) (* y y))))
  (- (* y y))
  (- (+ (* x x) (* y y)))
  (/ y (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))
  (/ y (cbrt (+ (* x x) (* y y))))
  (/ y (sqrt (+ (* x x) (* y y))))
  (/ y (sqrt (+ (* x x) (* y y))))
  y
  (/ y (+ (* x x) (* y y)))
  (/ 1 (+ (* x x) (* y y)))
  (/ (+ (* x x) (* y y)) (* y y))
  (/ (* y y) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))
  (/ (* y y) (sqrt (+ (* x x) (* y y))))
  (* y y)
  (/ (+ (* x x) (* y y)) y)
  (/ (* y y) (+ (* (* (* y y) (* y y)) (* y y)) (* (* (* x x) (* x x)) (* x x))))
  (/ (* y y) (- (* (* x x) (* x x)) (* (* y y) (* y y))))
  (log (/ (* x x) (+ (* x x) (* y y))))
  (log (/ (* x x) (+ (* x x) (* y y))))
  (log (/ (* x x) (+ (* x x) (* y y))))
  (exp (/ (* x x) (+ (* x x) (* y y))))
  (* (* (/ (* x x) (+ (* x x) (* y y))) (/ (* x x) (+ (* x x) (* y y)))) (/ (* x x) (+ (* x x) (* y y))))
  (* (* (/ (* x x) (+ (* x x) (* y y))) (/ (* x x) (+ (* x x) (* y y)))) (/ (* x x) (+ (* x x) (* y y))))
  (* (cbrt (/ (* x x) (+ (* x x) (* y y)))) (cbrt (/ (* x x) (+ (* x x) (* y y)))))
  (cbrt (/ (* x x) (+ (* x x) (* y y))))
  (* (* (/ (* x x) (+ (* x x) (* y y))) (/ (* x x) (+ (* x x) (* y y)))) (/ (* x x) (+ (* x x) (* y y))))
  (sqrt (/ (* x x) (+ (* x x) (* y y))))
  (sqrt (/ (* x x) (+ (* x x) (* y y))))
  (- (* x x))
  (- (+ (* x x) (* y y)))
  (/ x (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))
  (/ x (cbrt (+ (* x x) (* y y))))
  (/ x (sqrt (+ (* x x) (* y y))))
  (/ x (sqrt (+ (* x x) (* y y))))
  x
  (/ x (+ (* x x) (* y y)))
  (/ 1 (+ (* x x) (* y y)))
  (/ (+ (* x x) (* y y)) (* x x))
  (/ (* x x) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))
  (/ (* x x) (sqrt (+ (* x x) (* y y))))
  (* x x)
  (/ (+ (* x x) (* y y)) x)
  (/ (* x x) (+ (* (* (* y y) (* y y)) (* y y)) (* (* (* x x) (* x x)) (* x x))))
  (/ (* x x) (- (* (* x x) (* x x)) (* (* y y) (* y y))))
  (exp (- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y)))))
  (log (- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y)))))
  (exp (- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y)))))
  (* (cbrt (- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y))))) (cbrt (- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y))))))
  (cbrt (- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y)))))
  (* (* (- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y)))) (- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y))))) (- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y)))))
  (sqrt (- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y)))))
  (sqrt (- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y)))))
  (- (* x x) (* y y))
  (* (+ (* x x) (* y y)) (- (* x x) (* y y)))
  (* (+ (* x x) (* y y)) (+ (* x x) (* y y)))
  (- (* (/ (* x x) (+ (* x x) (* y y))) (* (/ (* x x) (+ (* x x) (* y y))) (/ (* x x) (+ (* x x) (* y y))))) (* (/ (* y y) (+ (* x x) (* y y))) (* (/ (* y y) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y))))))
  (+ (* (/ (* x x) (+ (* x x) (* y y))) (/ (* x x) (+ (* x x) (* y y)))) (* (/ (* y y) (+ (* x x) (* y y))) (+ (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y))))))
  (- (/ (* y y) (+ (* x x) (* y y))))
  (- (* (/ (* x x) (+ (* x x) (* y y))) (/ (* x x) (+ (* x x) (* y y)))) (* (/ (* y y) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y)))))
  (+ (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y))))
  (+ (sqrt (/ (* x x) (+ (* x x) (* y y)))) (sqrt (/ (* y y) (+ (* x x) (* y y)))))
  (- (sqrt (/ (* x x) (+ (* x x) (* y y)))) (sqrt (/ (* y y) (+ (* x x) (* y y)))))
  (+ (sqrt (/ (* x x) (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y)))))
  (- (sqrt (/ (* x x) (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y)))))
  (+ (/ x (sqrt (+ (* x x) (* y y)))) (sqrt (/ (* y y) (+ (* x x) (* y y)))))
  (- (/ x (sqrt (+ (* x x) (* y y)))) (sqrt (/ (* y y) (+ (* x x) (* y y)))))
  (+ (/ x (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y)))))
  (- (/ x (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y)))))
  (- (/ (* x x) (+ (* x x) (* y y))) (/ (* y y) (+ (* x x) (* y y))))
  (- (* x x) (* y y))
  (- (/ (* x x) (+ (* (* (* y y) (* y y)) (* y y)) (* (* (* x x) (* x x)) (* x x)))) (/ (* y y) (+ (* (* (* y y) (* y y)) (* y y)) (* (* (* x x) (* x x)) (* x x)))))
  (- (/ (* x x) (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (/ (* y y) (- (* (* x x) (* x x)) (* (* y y) (* y y)))))
  (- (/ (* y y) (+ (* x x) (* y y))))
  (exp (+ (* x x) (* y y)))
  (log (+ (* x x) (* y y)))
  (exp (+ (* x x) (* y y)))
  (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y))))
  (cbrt (+ (* x x) (* y y)))
  (* (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (+ (* x x) (* y y)))
  (sqrt (+ (* x x) (* y y)))
  (sqrt (+ (* x x) (* y y)))
  (+ (* (* (* y y) (* y y)) (* y y)) (* (* (* x x) (* x x)) (* x x)))
  (+ (* (* y y) (- (* y y) (* x x))) (* (* x x) (* x x)))
  (- (* (* x x) (* x x)) (* (* y y) (* y y)))
  (- (* x x) (* y y))
  0
  0
  0
  0
  0
  0
  -1
  1
  1
  (+ (* x x) (* y y))
  (+ (* x x) (* y y))
  (+ (* x x) (* y y))
6.859 * * * [progress]: adding candidates to table
7.317 * * [progress]: iteration 2 / 4
7.317 * * * [progress]: picking best candidate
7.347 * * * * [pick]: Picked  #<alt (λ (x y) -1)>
7.347 * * * [progress]: localizing error
7.348 * * * [progress]: generating rewritten candidates
7.348 * * * [progress]: generating series expansions
7.348 * * * [progress]: simplifying candidates
7.349 * [simplify]: Simplifying:
  
7.349 * * [simplify]: Extracting # 0 : cost  0  inf +  0
7.349 * * [simplify]: iteration  0 :  0  enodes  (cost  0 )
7.349 * * [simplify]: Extracting # 0 : cost  0  inf +  0
7.349 * * [simplify]: iteration complete:  0  enodes  (cost  0 )
7.349 * [simplify]: Simplified to:
  
7.349 * * * [progress]: adding candidates to table
7.350 * * [progress]: iteration 3 / 4
7.350 * * * [progress]: picking best candidate
7.374 * * * * [pick]: Picked  #<alt (λ (x y) (- (/ (* x x) (+ (* x x) (* y y))) (* (/ y (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y)))))))>
7.374 * * * [progress]: localizing error
7.435 * * * [progress]: generating rewritten candidates
7.435 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2)
7.448 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
7.459 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
7.491 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
7.574 * * * [progress]: generating series expansions
7.574 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2)
7.575 * [backup-simplify]: Simplify (sqrt (+ (* x x) (* y y))) into (sqrt (+ (pow y 2) (pow x 2)))
7.575 * [approximate]: Taking taylor expansion of (sqrt (+ (pow y 2) (pow x 2))) in (x y) around 0
7.575 * [taylor]: Taking taylor expansion of (sqrt (+ (pow y 2) (pow x 2))) in y
7.575 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow x 2)) in y
7.575 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.575 * [taylor]: Taking taylor expansion of y in y
7.575 * [backup-simplify]: Simplify 0 into 0
7.575 * [backup-simplify]: Simplify 1 into 1
7.576 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.576 * [taylor]: Taking taylor expansion of x in y
7.576 * [backup-simplify]: Simplify x into x
7.576 * [backup-simplify]: Simplify (* x x) into (pow x 2)
7.576 * [backup-simplify]: Simplify (+ 0 (pow x 2)) into (pow x 2)
7.576 * [backup-simplify]: Simplify (sqrt (pow x 2)) into x
7.576 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
7.577 * [backup-simplify]: Simplify (+ 0 0) into 0
7.577 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow x 2)))) into 0
7.577 * [taylor]: Taking taylor expansion of (sqrt (+ (pow y 2) (pow x 2))) in x
7.577 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow x 2)) in x
7.577 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.577 * [taylor]: Taking taylor expansion of y in x
7.577 * [backup-simplify]: Simplify y into y
7.577 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.577 * [taylor]: Taking taylor expansion of x in x
7.577 * [backup-simplify]: Simplify 0 into 0
7.577 * [backup-simplify]: Simplify 1 into 1
7.577 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.578 * [backup-simplify]: Simplify (+ (pow y 2) 0) into (pow y 2)
7.578 * [backup-simplify]: Simplify (sqrt (pow y 2)) into y
7.578 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
7.578 * [backup-simplify]: Simplify (+ 0 0) into 0
7.578 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow y 2)))) into 0
7.578 * [taylor]: Taking taylor expansion of (sqrt (+ (pow y 2) (pow x 2))) in x
7.578 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow x 2)) in x
7.578 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.578 * [taylor]: Taking taylor expansion of y in x
7.578 * [backup-simplify]: Simplify y into y
7.579 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.579 * [taylor]: Taking taylor expansion of x in x
7.579 * [backup-simplify]: Simplify 0 into 0
7.579 * [backup-simplify]: Simplify 1 into 1
7.579 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.579 * [backup-simplify]: Simplify (+ (pow y 2) 0) into (pow y 2)
7.579 * [backup-simplify]: Simplify (sqrt (pow y 2)) into y
7.579 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
7.579 * [backup-simplify]: Simplify (+ 0 0) into 0
7.580 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow y 2)))) into 0
7.580 * [taylor]: Taking taylor expansion of y in y
7.580 * [backup-simplify]: Simplify 0 into 0
7.580 * [backup-simplify]: Simplify 1 into 1
7.580 * [backup-simplify]: Simplify 0 into 0
7.580 * [taylor]: Taking taylor expansion of 0 in y
7.580 * [backup-simplify]: Simplify 0 into 0
7.580 * [backup-simplify]: Simplify 0 into 0
7.580 * [backup-simplify]: Simplify 1 into 1
7.580 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
7.581 * [backup-simplify]: Simplify (* 1 1) into 1
7.581 * [backup-simplify]: Simplify (+ 0 1) into 1
7.582 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 y)) into (/ 1/2 y)
7.582 * [taylor]: Taking taylor expansion of (/ 1/2 y) in y
7.582 * [taylor]: Taking taylor expansion of 1/2 in y
7.582 * [backup-simplify]: Simplify 1/2 into 1/2
7.582 * [taylor]: Taking taylor expansion of y in y
7.582 * [backup-simplify]: Simplify 0 into 0
7.582 * [backup-simplify]: Simplify 1 into 1
7.582 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2
7.583 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0
7.583 * [backup-simplify]: Simplify 0 into 0
7.583 * [backup-simplify]: Simplify 0 into 0
7.583 * [backup-simplify]: Simplify 0 into 0
7.583 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
7.584 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.584 * [backup-simplify]: Simplify (+ 0 0) into 0
7.584 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 y))))) (* 2 y)) into 0
7.584 * [taylor]: Taking taylor expansion of 0 in y
7.584 * [backup-simplify]: Simplify 0 into 0
7.584 * [backup-simplify]: Simplify 0 into 0
7.585 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.585 * [backup-simplify]: Simplify 0 into 0
7.585 * [backup-simplify]: Simplify 0 into 0
7.585 * [backup-simplify]: Simplify (* 1 (* y 1)) into y
7.585 * [backup-simplify]: Simplify (sqrt (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y)))) into (sqrt (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))
7.585 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in (x y) around 0
7.585 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y
7.585 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
7.585 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.585 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.585 * [taylor]: Taking taylor expansion of y in y
7.585 * [backup-simplify]: Simplify 0 into 0
7.585 * [backup-simplify]: Simplify 1 into 1
7.585 * [backup-simplify]: Simplify (* 1 1) into 1
7.586 * [backup-simplify]: Simplify (/ 1 1) into 1
7.586 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
7.586 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.586 * [taylor]: Taking taylor expansion of x in y
7.586 * [backup-simplify]: Simplify x into x
7.586 * [backup-simplify]: Simplify (* x x) into (pow x 2)
7.586 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
7.586 * [backup-simplify]: Simplify (+ 1 0) into 1
7.586 * [backup-simplify]: Simplify (sqrt 1) into 1
7.587 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.587 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.587 * [backup-simplify]: Simplify (+ 0 0) into 0
7.588 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
7.588 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x
7.588 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
7.588 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
7.588 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.588 * [taylor]: Taking taylor expansion of y in x
7.588 * [backup-simplify]: Simplify y into y
7.588 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.588 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
7.588 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.588 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.588 * [taylor]: Taking taylor expansion of x in x
7.588 * [backup-simplify]: Simplify 0 into 0
7.588 * [backup-simplify]: Simplify 1 into 1
7.588 * [backup-simplify]: Simplify (* 1 1) into 1
7.589 * [backup-simplify]: Simplify (/ 1 1) into 1
7.589 * [backup-simplify]: Simplify (+ 0 1) into 1
7.589 * [backup-simplify]: Simplify (sqrt 1) into 1
7.590 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.590 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.590 * [backup-simplify]: Simplify (+ 0 0) into 0
7.591 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
7.591 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x
7.591 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
7.591 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
7.591 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.591 * [taylor]: Taking taylor expansion of y in x
7.591 * [backup-simplify]: Simplify y into y
7.591 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.591 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
7.591 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.591 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.591 * [taylor]: Taking taylor expansion of x in x
7.591 * [backup-simplify]: Simplify 0 into 0
7.591 * [backup-simplify]: Simplify 1 into 1
7.591 * [backup-simplify]: Simplify (* 1 1) into 1
7.592 * [backup-simplify]: Simplify (/ 1 1) into 1
7.592 * [backup-simplify]: Simplify (+ 0 1) into 1
7.592 * [backup-simplify]: Simplify (sqrt 1) into 1
7.592 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.593 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.593 * [backup-simplify]: Simplify (+ 0 0) into 0
7.593 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
7.594 * [taylor]: Taking taylor expansion of 1 in y
7.594 * [backup-simplify]: Simplify 1 into 1
7.594 * [taylor]: Taking taylor expansion of 0 in y
7.594 * [backup-simplify]: Simplify 0 into 0
7.594 * [backup-simplify]: Simplify 1 into 1
7.594 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.595 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.595 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) 0) into (/ 1 (pow y 2))
7.596 * [backup-simplify]: Simplify (/ (- (/ 1 (pow y 2)) (pow 0 2) (+)) (* 2 1)) into (/ 1/2 (pow y 2))
7.596 * [taylor]: Taking taylor expansion of (/ 1/2 (pow y 2)) in y
7.596 * [taylor]: Taking taylor expansion of 1/2 in y
7.596 * [backup-simplify]: Simplify 1/2 into 1/2
7.596 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.596 * [taylor]: Taking taylor expansion of y in y
7.596 * [backup-simplify]: Simplify 0 into 0
7.596 * [backup-simplify]: Simplify 1 into 1
7.596 * [backup-simplify]: Simplify (* 1 1) into 1
7.596 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2
7.597 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.597 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0
7.597 * [backup-simplify]: Simplify 0 into 0
7.597 * [backup-simplify]: Simplify 0 into 0
7.597 * [backup-simplify]: Simplify 0 into 0
7.597 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
7.598 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
7.598 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.599 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.599 * [backup-simplify]: Simplify (+ 0 0) into 0
7.600 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (pow y 2)))))) (* 2 1)) into 0
7.600 * [taylor]: Taking taylor expansion of 0 in y
7.600 * [backup-simplify]: Simplify 0 into 0
7.600 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.601 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.601 * [backup-simplify]: Simplify 0 into 0
7.601 * [backup-simplify]: Simplify 0 into 0
7.601 * [backup-simplify]: Simplify 0 into 0
7.601 * [backup-simplify]: Simplify (* 1 (* 1 (/ 1 (/ 1 x)))) into x
7.601 * [backup-simplify]: Simplify (sqrt (+ (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- y)) (/ 1 (- y))))) into (sqrt (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))
7.601 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in (x y) around 0
7.601 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y
7.601 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
7.601 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.601 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.601 * [taylor]: Taking taylor expansion of y in y
7.601 * [backup-simplify]: Simplify 0 into 0
7.601 * [backup-simplify]: Simplify 1 into 1
7.602 * [backup-simplify]: Simplify (* 1 1) into 1
7.602 * [backup-simplify]: Simplify (/ 1 1) into 1
7.602 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
7.602 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.602 * [taylor]: Taking taylor expansion of x in y
7.602 * [backup-simplify]: Simplify x into x
7.602 * [backup-simplify]: Simplify (* x x) into (pow x 2)
7.602 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
7.602 * [backup-simplify]: Simplify (+ 1 0) into 1
7.603 * [backup-simplify]: Simplify (sqrt 1) into 1
7.603 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.603 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.604 * [backup-simplify]: Simplify (+ 0 0) into 0
7.604 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
7.604 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x
7.604 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
7.604 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
7.604 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.604 * [taylor]: Taking taylor expansion of y in x
7.604 * [backup-simplify]: Simplify y into y
7.604 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.604 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
7.604 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.604 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.604 * [taylor]: Taking taylor expansion of x in x
7.604 * [backup-simplify]: Simplify 0 into 0
7.604 * [backup-simplify]: Simplify 1 into 1
7.605 * [backup-simplify]: Simplify (* 1 1) into 1
7.605 * [backup-simplify]: Simplify (/ 1 1) into 1
7.605 * [backup-simplify]: Simplify (+ 0 1) into 1
7.605 * [backup-simplify]: Simplify (sqrt 1) into 1
7.606 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.606 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.606 * [backup-simplify]: Simplify (+ 0 0) into 0
7.607 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
7.607 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x
7.607 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
7.607 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
7.607 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.607 * [taylor]: Taking taylor expansion of y in x
7.607 * [backup-simplify]: Simplify y into y
7.607 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.607 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
7.607 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.607 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.607 * [taylor]: Taking taylor expansion of x in x
7.607 * [backup-simplify]: Simplify 0 into 0
7.607 * [backup-simplify]: Simplify 1 into 1
7.608 * [backup-simplify]: Simplify (* 1 1) into 1
7.608 * [backup-simplify]: Simplify (/ 1 1) into 1
7.608 * [backup-simplify]: Simplify (+ 0 1) into 1
7.608 * [backup-simplify]: Simplify (sqrt 1) into 1
7.609 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.609 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.609 * [backup-simplify]: Simplify (+ 0 0) into 0
7.610 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
7.610 * [taylor]: Taking taylor expansion of 1 in y
7.610 * [backup-simplify]: Simplify 1 into 1
7.610 * [taylor]: Taking taylor expansion of 0 in y
7.610 * [backup-simplify]: Simplify 0 into 0
7.610 * [backup-simplify]: Simplify 1 into 1
7.610 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.611 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.611 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) 0) into (/ 1 (pow y 2))
7.612 * [backup-simplify]: Simplify (/ (- (/ 1 (pow y 2)) (pow 0 2) (+)) (* 2 1)) into (/ 1/2 (pow y 2))
7.612 * [taylor]: Taking taylor expansion of (/ 1/2 (pow y 2)) in y
7.612 * [taylor]: Taking taylor expansion of 1/2 in y
7.612 * [backup-simplify]: Simplify 1/2 into 1/2
7.612 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.612 * [taylor]: Taking taylor expansion of y in y
7.612 * [backup-simplify]: Simplify 0 into 0
7.612 * [backup-simplify]: Simplify 1 into 1
7.612 * [backup-simplify]: Simplify (* 1 1) into 1
7.612 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2
7.613 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.613 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0
7.613 * [backup-simplify]: Simplify 0 into 0
7.613 * [backup-simplify]: Simplify 0 into 0
7.613 * [backup-simplify]: Simplify 0 into 0
7.613 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
7.614 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
7.615 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.616 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.616 * [backup-simplify]: Simplify (+ 0 0) into 0
7.617 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (pow y 2)))))) (* 2 1)) into 0
7.617 * [taylor]: Taking taylor expansion of 0 in y
7.617 * [backup-simplify]: Simplify 0 into 0
7.618 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.619 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.619 * [backup-simplify]: Simplify 0 into 0
7.619 * [backup-simplify]: Simplify 0 into 0
7.619 * [backup-simplify]: Simplify 0 into 0
7.619 * [backup-simplify]: Simplify (* 1 (* 1 (/ 1 (/ 1 (- x))))) into (* -1 x)
7.619 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
7.619 * [backup-simplify]: Simplify (sqrt (+ (* x x) (* y y))) into (sqrt (+ (pow y 2) (pow x 2)))
7.619 * [approximate]: Taking taylor expansion of (sqrt (+ (pow y 2) (pow x 2))) in (x y) around 0
7.619 * [taylor]: Taking taylor expansion of (sqrt (+ (pow y 2) (pow x 2))) in y
7.619 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow x 2)) in y
7.619 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.619 * [taylor]: Taking taylor expansion of y in y
7.619 * [backup-simplify]: Simplify 0 into 0
7.619 * [backup-simplify]: Simplify 1 into 1
7.619 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.619 * [taylor]: Taking taylor expansion of x in y
7.619 * [backup-simplify]: Simplify x into x
7.620 * [backup-simplify]: Simplify (* x x) into (pow x 2)
7.620 * [backup-simplify]: Simplify (+ 0 (pow x 2)) into (pow x 2)
7.620 * [backup-simplify]: Simplify (sqrt (pow x 2)) into x
7.620 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
7.620 * [backup-simplify]: Simplify (+ 0 0) into 0
7.620 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow x 2)))) into 0
7.621 * [taylor]: Taking taylor expansion of (sqrt (+ (pow y 2) (pow x 2))) in x
7.621 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow x 2)) in x
7.621 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.621 * [taylor]: Taking taylor expansion of y in x
7.621 * [backup-simplify]: Simplify y into y
7.621 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.621 * [taylor]: Taking taylor expansion of x in x
7.621 * [backup-simplify]: Simplify 0 into 0
7.621 * [backup-simplify]: Simplify 1 into 1
7.621 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.621 * [backup-simplify]: Simplify (+ (pow y 2) 0) into (pow y 2)
7.621 * [backup-simplify]: Simplify (sqrt (pow y 2)) into y
7.621 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
7.621 * [backup-simplify]: Simplify (+ 0 0) into 0
7.622 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow y 2)))) into 0
7.622 * [taylor]: Taking taylor expansion of (sqrt (+ (pow y 2) (pow x 2))) in x
7.622 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow x 2)) in x
7.622 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.622 * [taylor]: Taking taylor expansion of y in x
7.622 * [backup-simplify]: Simplify y into y
7.622 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.622 * [taylor]: Taking taylor expansion of x in x
7.622 * [backup-simplify]: Simplify 0 into 0
7.622 * [backup-simplify]: Simplify 1 into 1
7.622 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.622 * [backup-simplify]: Simplify (+ (pow y 2) 0) into (pow y 2)
7.622 * [backup-simplify]: Simplify (sqrt (pow y 2)) into y
7.622 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
7.623 * [backup-simplify]: Simplify (+ 0 0) into 0
7.623 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (pow y 2)))) into 0
7.623 * [taylor]: Taking taylor expansion of y in y
7.623 * [backup-simplify]: Simplify 0 into 0
7.623 * [backup-simplify]: Simplify 1 into 1
7.623 * [backup-simplify]: Simplify 0 into 0
7.623 * [taylor]: Taking taylor expansion of 0 in y
7.623 * [backup-simplify]: Simplify 0 into 0
7.623 * [backup-simplify]: Simplify 0 into 0
7.623 * [backup-simplify]: Simplify 1 into 1
7.624 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
7.624 * [backup-simplify]: Simplify (* 1 1) into 1
7.624 * [backup-simplify]: Simplify (+ 0 1) into 1
7.625 * [backup-simplify]: Simplify (/ (- 1 (pow 0 2) (+)) (* 2 y)) into (/ 1/2 y)
7.625 * [taylor]: Taking taylor expansion of (/ 1/2 y) in y
7.625 * [taylor]: Taking taylor expansion of 1/2 in y
7.625 * [backup-simplify]: Simplify 1/2 into 1/2
7.625 * [taylor]: Taking taylor expansion of y in y
7.625 * [backup-simplify]: Simplify 0 into 0
7.625 * [backup-simplify]: Simplify 1 into 1
7.625 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2
7.626 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0
7.626 * [backup-simplify]: Simplify 0 into 0
7.626 * [backup-simplify]: Simplify 0 into 0
7.626 * [backup-simplify]: Simplify 0 into 0
7.627 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
7.628 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.628 * [backup-simplify]: Simplify (+ 0 0) into 0
7.628 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 y))))) (* 2 y)) into 0
7.628 * [taylor]: Taking taylor expansion of 0 in y
7.628 * [backup-simplify]: Simplify 0 into 0
7.628 * [backup-simplify]: Simplify 0 into 0
7.629 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.629 * [backup-simplify]: Simplify 0 into 0
7.629 * [backup-simplify]: Simplify 0 into 0
7.630 * [backup-simplify]: Simplify (* 1 (* y 1)) into y
7.630 * [backup-simplify]: Simplify (sqrt (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y)))) into (sqrt (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))
7.630 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in (x y) around 0
7.630 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y
7.630 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
7.630 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.630 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.630 * [taylor]: Taking taylor expansion of y in y
7.630 * [backup-simplify]: Simplify 0 into 0
7.630 * [backup-simplify]: Simplify 1 into 1
7.630 * [backup-simplify]: Simplify (* 1 1) into 1
7.631 * [backup-simplify]: Simplify (/ 1 1) into 1
7.631 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
7.631 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.631 * [taylor]: Taking taylor expansion of x in y
7.631 * [backup-simplify]: Simplify x into x
7.631 * [backup-simplify]: Simplify (* x x) into (pow x 2)
7.631 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
7.632 * [backup-simplify]: Simplify (+ 1 0) into 1
7.632 * [backup-simplify]: Simplify (sqrt 1) into 1
7.633 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.633 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.634 * [backup-simplify]: Simplify (+ 0 0) into 0
7.635 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
7.635 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x
7.635 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
7.635 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
7.635 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.635 * [taylor]: Taking taylor expansion of y in x
7.635 * [backup-simplify]: Simplify y into y
7.635 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.635 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
7.635 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.635 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.635 * [taylor]: Taking taylor expansion of x in x
7.635 * [backup-simplify]: Simplify 0 into 0
7.635 * [backup-simplify]: Simplify 1 into 1
7.636 * [backup-simplify]: Simplify (* 1 1) into 1
7.636 * [backup-simplify]: Simplify (/ 1 1) into 1
7.637 * [backup-simplify]: Simplify (+ 0 1) into 1
7.637 * [backup-simplify]: Simplify (sqrt 1) into 1
7.638 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.638 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.639 * [backup-simplify]: Simplify (+ 0 0) into 0
7.640 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
7.640 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x
7.640 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
7.640 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
7.640 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.640 * [taylor]: Taking taylor expansion of y in x
7.640 * [backup-simplify]: Simplify y into y
7.640 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.640 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
7.640 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.640 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.640 * [taylor]: Taking taylor expansion of x in x
7.640 * [backup-simplify]: Simplify 0 into 0
7.640 * [backup-simplify]: Simplify 1 into 1
7.641 * [backup-simplify]: Simplify (* 1 1) into 1
7.641 * [backup-simplify]: Simplify (/ 1 1) into 1
7.642 * [backup-simplify]: Simplify (+ 0 1) into 1
7.642 * [backup-simplify]: Simplify (sqrt 1) into 1
7.642 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.643 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.643 * [backup-simplify]: Simplify (+ 0 0) into 0
7.644 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
7.644 * [taylor]: Taking taylor expansion of 1 in y
7.644 * [backup-simplify]: Simplify 1 into 1
7.644 * [taylor]: Taking taylor expansion of 0 in y
7.644 * [backup-simplify]: Simplify 0 into 0
7.644 * [backup-simplify]: Simplify 1 into 1
7.644 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.645 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.645 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) 0) into (/ 1 (pow y 2))
7.646 * [backup-simplify]: Simplify (/ (- (/ 1 (pow y 2)) (pow 0 2) (+)) (* 2 1)) into (/ 1/2 (pow y 2))
7.646 * [taylor]: Taking taylor expansion of (/ 1/2 (pow y 2)) in y
7.646 * [taylor]: Taking taylor expansion of 1/2 in y
7.646 * [backup-simplify]: Simplify 1/2 into 1/2
7.646 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.646 * [taylor]: Taking taylor expansion of y in y
7.646 * [backup-simplify]: Simplify 0 into 0
7.646 * [backup-simplify]: Simplify 1 into 1
7.646 * [backup-simplify]: Simplify (* 1 1) into 1
7.646 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2
7.647 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.647 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0
7.647 * [backup-simplify]: Simplify 0 into 0
7.647 * [backup-simplify]: Simplify 0 into 0
7.647 * [backup-simplify]: Simplify 0 into 0
7.647 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
7.648 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
7.648 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.649 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.649 * [backup-simplify]: Simplify (+ 0 0) into 0
7.649 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (pow y 2)))))) (* 2 1)) into 0
7.649 * [taylor]: Taking taylor expansion of 0 in y
7.649 * [backup-simplify]: Simplify 0 into 0
7.650 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.650 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.650 * [backup-simplify]: Simplify 0 into 0
7.651 * [backup-simplify]: Simplify 0 into 0
7.651 * [backup-simplify]: Simplify 0 into 0
7.651 * [backup-simplify]: Simplify (* 1 (* 1 (/ 1 (/ 1 x)))) into x
7.651 * [backup-simplify]: Simplify (sqrt (+ (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- y)) (/ 1 (- y))))) into (sqrt (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))
7.651 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in (x y) around 0
7.651 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y
7.651 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
7.651 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.651 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.651 * [taylor]: Taking taylor expansion of y in y
7.651 * [backup-simplify]: Simplify 0 into 0
7.651 * [backup-simplify]: Simplify 1 into 1
7.651 * [backup-simplify]: Simplify (* 1 1) into 1
7.651 * [backup-simplify]: Simplify (/ 1 1) into 1
7.651 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
7.651 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.651 * [taylor]: Taking taylor expansion of x in y
7.652 * [backup-simplify]: Simplify x into x
7.652 * [backup-simplify]: Simplify (* x x) into (pow x 2)
7.652 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
7.652 * [backup-simplify]: Simplify (+ 1 0) into 1
7.652 * [backup-simplify]: Simplify (sqrt 1) into 1
7.653 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.653 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.653 * [backup-simplify]: Simplify (+ 0 0) into 0
7.654 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
7.654 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x
7.654 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
7.654 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
7.654 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.654 * [taylor]: Taking taylor expansion of y in x
7.654 * [backup-simplify]: Simplify y into y
7.654 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.654 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
7.654 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.654 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.654 * [taylor]: Taking taylor expansion of x in x
7.654 * [backup-simplify]: Simplify 0 into 0
7.654 * [backup-simplify]: Simplify 1 into 1
7.654 * [backup-simplify]: Simplify (* 1 1) into 1
7.654 * [backup-simplify]: Simplify (/ 1 1) into 1
7.655 * [backup-simplify]: Simplify (+ 0 1) into 1
7.655 * [backup-simplify]: Simplify (sqrt 1) into 1
7.655 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.656 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.656 * [backup-simplify]: Simplify (+ 0 0) into 0
7.656 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
7.656 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x
7.656 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
7.656 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
7.656 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.656 * [taylor]: Taking taylor expansion of y in x
7.656 * [backup-simplify]: Simplify y into y
7.657 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.657 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
7.657 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.657 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.657 * [taylor]: Taking taylor expansion of x in x
7.657 * [backup-simplify]: Simplify 0 into 0
7.657 * [backup-simplify]: Simplify 1 into 1
7.657 * [backup-simplify]: Simplify (* 1 1) into 1
7.657 * [backup-simplify]: Simplify (/ 1 1) into 1
7.658 * [backup-simplify]: Simplify (+ 0 1) into 1
7.658 * [backup-simplify]: Simplify (sqrt 1) into 1
7.658 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.659 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.659 * [backup-simplify]: Simplify (+ 0 0) into 0
7.659 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1))) into 0
7.659 * [taylor]: Taking taylor expansion of 1 in y
7.659 * [backup-simplify]: Simplify 1 into 1
7.659 * [taylor]: Taking taylor expansion of 0 in y
7.659 * [backup-simplify]: Simplify 0 into 0
7.659 * [backup-simplify]: Simplify 1 into 1
7.660 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.660 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.661 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) 0) into (/ 1 (pow y 2))
7.661 * [backup-simplify]: Simplify (/ (- (/ 1 (pow y 2)) (pow 0 2) (+)) (* 2 1)) into (/ 1/2 (pow y 2))
7.661 * [taylor]: Taking taylor expansion of (/ 1/2 (pow y 2)) in y
7.662 * [taylor]: Taking taylor expansion of 1/2 in y
7.662 * [backup-simplify]: Simplify 1/2 into 1/2
7.662 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.662 * [taylor]: Taking taylor expansion of y in y
7.662 * [backup-simplify]: Simplify 0 into 0
7.662 * [backup-simplify]: Simplify 1 into 1
7.662 * [backup-simplify]: Simplify (* 1 1) into 1
7.662 * [backup-simplify]: Simplify (/ 1/2 1) into 1/2
7.662 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.663 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)))) into 0
7.663 * [backup-simplify]: Simplify 0 into 0
7.663 * [backup-simplify]: Simplify 0 into 0
7.663 * [backup-simplify]: Simplify 0 into 0
7.663 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
7.663 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
7.664 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.664 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.665 * [backup-simplify]: Simplify (+ 0 0) into 0
7.665 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 (/ 1/2 (pow y 2)))))) (* 2 1)) into 0
7.665 * [taylor]: Taking taylor expansion of 0 in y
7.665 * [backup-simplify]: Simplify 0 into 0
7.666 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.667 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.667 * [backup-simplify]: Simplify 0 into 0
7.667 * [backup-simplify]: Simplify 0 into 0
7.667 * [backup-simplify]: Simplify 0 into 0
7.667 * [backup-simplify]: Simplify (* 1 (* 1 (/ 1 (/ 1 (- x))))) into (* -1 x)
7.667 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
7.667 * [backup-simplify]: Simplify (/ (* x x) (+ (* x x) (* y y))) into (/ (pow x 2) (+ (pow y 2) (pow x 2)))
7.667 * [approximate]: Taking taylor expansion of (/ (pow x 2) (+ (pow y 2) (pow x 2))) in (x y) around 0
7.667 * [taylor]: Taking taylor expansion of (/ (pow x 2) (+ (pow y 2) (pow x 2))) in y
7.667 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.667 * [taylor]: Taking taylor expansion of x in y
7.667 * [backup-simplify]: Simplify x into x
7.667 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow x 2)) in y
7.667 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.667 * [taylor]: Taking taylor expansion of y in y
7.667 * [backup-simplify]: Simplify 0 into 0
7.667 * [backup-simplify]: Simplify 1 into 1
7.667 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.667 * [taylor]: Taking taylor expansion of x in y
7.667 * [backup-simplify]: Simplify x into x
7.667 * [backup-simplify]: Simplify (* x x) into (pow x 2)
7.667 * [backup-simplify]: Simplify (* x x) into (pow x 2)
7.667 * [backup-simplify]: Simplify (+ 0 (pow x 2)) into (pow x 2)
7.668 * [backup-simplify]: Simplify (/ (pow x 2) (pow x 2)) into 1
7.668 * [taylor]: Taking taylor expansion of (/ (pow x 2) (+ (pow y 2) (pow x 2))) in x
7.668 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.668 * [taylor]: Taking taylor expansion of x in x
7.668 * [backup-simplify]: Simplify 0 into 0
7.668 * [backup-simplify]: Simplify 1 into 1
7.668 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow x 2)) in x
7.668 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.668 * [taylor]: Taking taylor expansion of y in x
7.668 * [backup-simplify]: Simplify y into y
7.668 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.668 * [taylor]: Taking taylor expansion of x in x
7.668 * [backup-simplify]: Simplify 0 into 0
7.668 * [backup-simplify]: Simplify 1 into 1
7.668 * [backup-simplify]: Simplify (* 1 1) into 1
7.668 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.668 * [backup-simplify]: Simplify (+ (pow y 2) 0) into (pow y 2)
7.668 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
7.668 * [taylor]: Taking taylor expansion of (/ (pow x 2) (+ (pow y 2) (pow x 2))) in x
7.668 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.668 * [taylor]: Taking taylor expansion of x in x
7.668 * [backup-simplify]: Simplify 0 into 0
7.668 * [backup-simplify]: Simplify 1 into 1
7.668 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow x 2)) in x
7.668 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.668 * [taylor]: Taking taylor expansion of y in x
7.668 * [backup-simplify]: Simplify y into y
7.668 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.668 * [taylor]: Taking taylor expansion of x in x
7.668 * [backup-simplify]: Simplify 0 into 0
7.668 * [backup-simplify]: Simplify 1 into 1
7.669 * [backup-simplify]: Simplify (* 1 1) into 1
7.669 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.669 * [backup-simplify]: Simplify (+ (pow y 2) 0) into (pow y 2)
7.669 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
7.669 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.669 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.669 * [taylor]: Taking taylor expansion of y in y
7.669 * [backup-simplify]: Simplify 0 into 0
7.669 * [backup-simplify]: Simplify 1 into 1
7.672 * [backup-simplify]: Simplify (* 1 1) into 1
7.672 * [backup-simplify]: Simplify (/ 1 1) into 1
7.673 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.674 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.675 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.675 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.675 * [backup-simplify]: Simplify 0 into 0
7.676 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.676 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
7.676 * [backup-simplify]: Simplify (+ 0 0) into 0
7.677 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 0 (pow y 2))))) into 0
7.677 * [taylor]: Taking taylor expansion of 0 in y
7.677 * [backup-simplify]: Simplify 0 into 0
7.677 * [backup-simplify]: Simplify 0 into 0
7.678 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.679 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.679 * [backup-simplify]: Simplify 0 into 0
7.679 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.680 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
7.680 * [backup-simplify]: Simplify (* 1 1) into 1
7.681 * [backup-simplify]: Simplify (+ 0 1) into 1
7.681 * [backup-simplify]: Simplify (- (/ 0 (pow y 2)) (+ (* (/ 1 (pow y 2)) (/ 1 (pow y 2))) (* 0 (/ 0 (pow y 2))))) into (- (/ 1 (pow y 4)))
7.681 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y
7.681 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
7.681 * [taylor]: Taking taylor expansion of (pow y 4) in y
7.681 * [taylor]: Taking taylor expansion of y in y
7.681 * [backup-simplify]: Simplify 0 into 0
7.681 * [backup-simplify]: Simplify 1 into 1
7.682 * [backup-simplify]: Simplify (* 1 1) into 1
7.682 * [backup-simplify]: Simplify (* 1 1) into 1
7.682 * [backup-simplify]: Simplify (/ 1 1) into 1
7.683 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.684 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.685 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.686 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.687 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.688 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.689 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.690 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.690 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.691 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.692 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.693 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.694 * [backup-simplify]: Simplify (- 0) into 0
7.694 * [backup-simplify]: Simplify 0 into 0
7.694 * [backup-simplify]: Simplify 0 into 0
7.696 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.697 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.697 * [backup-simplify]: Simplify 0 into 0
7.697 * [backup-simplify]: Simplify 0 into 0
7.697 * [backup-simplify]: Simplify (/ (* (/ 1 x) (/ 1 x)) (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y)))) into (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))))
7.697 * [approximate]: Taking taylor expansion of (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in (x y) around 0
7.697 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in y
7.697 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y
7.697 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.697 * [taylor]: Taking taylor expansion of x in y
7.697 * [backup-simplify]: Simplify x into x
7.698 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
7.698 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.698 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.698 * [taylor]: Taking taylor expansion of y in y
7.698 * [backup-simplify]: Simplify 0 into 0
7.698 * [backup-simplify]: Simplify 1 into 1
7.698 * [backup-simplify]: Simplify (* 1 1) into 1
7.699 * [backup-simplify]: Simplify (/ 1 1) into 1
7.699 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
7.699 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.699 * [taylor]: Taking taylor expansion of x in y
7.699 * [backup-simplify]: Simplify x into x
7.699 * [backup-simplify]: Simplify (* x x) into (pow x 2)
7.699 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
7.699 * [backup-simplify]: Simplify (* x x) into (pow x 2)
7.700 * [backup-simplify]: Simplify (+ 1 0) into 1
7.700 * [backup-simplify]: Simplify (* (pow x 2) 1) into (pow x 2)
7.700 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
7.700 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in x
7.700 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x
7.700 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.700 * [taylor]: Taking taylor expansion of x in x
7.700 * [backup-simplify]: Simplify 0 into 0
7.700 * [backup-simplify]: Simplify 1 into 1
7.700 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
7.700 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
7.700 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.700 * [taylor]: Taking taylor expansion of y in x
7.700 * [backup-simplify]: Simplify y into y
7.700 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.700 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
7.700 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.700 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.701 * [taylor]: Taking taylor expansion of x in x
7.701 * [backup-simplify]: Simplify 0 into 0
7.701 * [backup-simplify]: Simplify 1 into 1
7.701 * [backup-simplify]: Simplify (* 1 1) into 1
7.701 * [backup-simplify]: Simplify (/ 1 1) into 1
7.702 * [backup-simplify]: Simplify (* 1 1) into 1
7.702 * [backup-simplify]: Simplify (+ 0 1) into 1
7.702 * [backup-simplify]: Simplify (* 1 1) into 1
7.703 * [backup-simplify]: Simplify (/ 1 1) into 1
7.703 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in x
7.703 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x
7.703 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.703 * [taylor]: Taking taylor expansion of x in x
7.703 * [backup-simplify]: Simplify 0 into 0
7.703 * [backup-simplify]: Simplify 1 into 1
7.703 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
7.703 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
7.703 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.703 * [taylor]: Taking taylor expansion of y in x
7.703 * [backup-simplify]: Simplify y into y
7.703 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.703 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
7.703 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.703 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.703 * [taylor]: Taking taylor expansion of x in x
7.703 * [backup-simplify]: Simplify 0 into 0
7.704 * [backup-simplify]: Simplify 1 into 1
7.704 * [backup-simplify]: Simplify (* 1 1) into 1
7.704 * [backup-simplify]: Simplify (/ 1 1) into 1
7.705 * [backup-simplify]: Simplify (* 1 1) into 1
7.705 * [backup-simplify]: Simplify (+ 0 1) into 1
7.705 * [backup-simplify]: Simplify (* 1 1) into 1
7.706 * [backup-simplify]: Simplify (/ 1 1) into 1
7.706 * [taylor]: Taking taylor expansion of 1 in y
7.706 * [backup-simplify]: Simplify 1 into 1
7.706 * [backup-simplify]: Simplify 0 into 0
7.707 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.707 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.708 * [backup-simplify]: Simplify (+ 0 0) into 0
7.708 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.709 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.710 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.710 * [taylor]: Taking taylor expansion of 0 in y
7.710 * [backup-simplify]: Simplify 0 into 0
7.710 * [backup-simplify]: Simplify 0 into 0
7.710 * [backup-simplify]: Simplify 0 into 0
7.711 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.712 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.712 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) 0) into (/ 1 (pow y 2))
7.713 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.714 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (pow y 2))) (+ (* 0 0) (* 0 1))) into (/ 1 (pow y 2))
7.714 * [backup-simplify]: Simplify (- (+ (* 1 (/ (/ 1 (pow y 2)) 1)) (* 0 (/ 0 1)))) into (- (/ 1 (pow y 2)))
7.714 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y
7.714 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.714 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.714 * [taylor]: Taking taylor expansion of y in y
7.714 * [backup-simplify]: Simplify 0 into 0
7.714 * [backup-simplify]: Simplify 1 into 1
7.715 * [backup-simplify]: Simplify (* 1 1) into 1
7.715 * [backup-simplify]: Simplify (/ 1 1) into 1
7.717 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.717 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.718 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.720 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.721 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.722 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.723 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.723 * [backup-simplify]: Simplify (- 0) into 0
7.723 * [backup-simplify]: Simplify 0 into 0
7.723 * [backup-simplify]: Simplify 0 into 0
7.723 * [backup-simplify]: Simplify 0 into 0
7.724 * [backup-simplify]: Simplify 0 into 0
7.724 * [backup-simplify]: Simplify (/ (* (/ 1 (- x)) (/ 1 (- x))) (+ (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- y)) (/ 1 (- y))))) into (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))))
7.724 * [approximate]: Taking taylor expansion of (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in (x y) around 0
7.724 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in y
7.724 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y
7.724 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.724 * [taylor]: Taking taylor expansion of x in y
7.724 * [backup-simplify]: Simplify x into x
7.724 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
7.724 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.724 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.724 * [taylor]: Taking taylor expansion of y in y
7.724 * [backup-simplify]: Simplify 0 into 0
7.724 * [backup-simplify]: Simplify 1 into 1
7.725 * [backup-simplify]: Simplify (* 1 1) into 1
7.725 * [backup-simplify]: Simplify (/ 1 1) into 1
7.725 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
7.725 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.725 * [taylor]: Taking taylor expansion of x in y
7.725 * [backup-simplify]: Simplify x into x
7.725 * [backup-simplify]: Simplify (* x x) into (pow x 2)
7.726 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
7.726 * [backup-simplify]: Simplify (* x x) into (pow x 2)
7.726 * [backup-simplify]: Simplify (+ 1 0) into 1
7.726 * [backup-simplify]: Simplify (* (pow x 2) 1) into (pow x 2)
7.726 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
7.726 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in x
7.726 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x
7.726 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.726 * [taylor]: Taking taylor expansion of x in x
7.726 * [backup-simplify]: Simplify 0 into 0
7.726 * [backup-simplify]: Simplify 1 into 1
7.726 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
7.726 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
7.726 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.726 * [taylor]: Taking taylor expansion of y in x
7.726 * [backup-simplify]: Simplify y into y
7.726 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.726 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
7.726 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.727 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.727 * [taylor]: Taking taylor expansion of x in x
7.727 * [backup-simplify]: Simplify 0 into 0
7.727 * [backup-simplify]: Simplify 1 into 1
7.727 * [backup-simplify]: Simplify (* 1 1) into 1
7.727 * [backup-simplify]: Simplify (/ 1 1) into 1
7.727 * [backup-simplify]: Simplify (* 1 1) into 1
7.728 * [backup-simplify]: Simplify (+ 0 1) into 1
7.728 * [backup-simplify]: Simplify (* 1 1) into 1
7.728 * [backup-simplify]: Simplify (/ 1 1) into 1
7.728 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in x
7.728 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x
7.728 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.728 * [taylor]: Taking taylor expansion of x in x
7.728 * [backup-simplify]: Simplify 0 into 0
7.728 * [backup-simplify]: Simplify 1 into 1
7.728 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
7.728 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
7.728 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.728 * [taylor]: Taking taylor expansion of y in x
7.728 * [backup-simplify]: Simplify y into y
7.728 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.728 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
7.728 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.728 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.728 * [taylor]: Taking taylor expansion of x in x
7.728 * [backup-simplify]: Simplify 0 into 0
7.728 * [backup-simplify]: Simplify 1 into 1
7.729 * [backup-simplify]: Simplify (* 1 1) into 1
7.729 * [backup-simplify]: Simplify (/ 1 1) into 1
7.729 * [backup-simplify]: Simplify (* 1 1) into 1
7.729 * [backup-simplify]: Simplify (+ 0 1) into 1
7.730 * [backup-simplify]: Simplify (* 1 1) into 1
7.730 * [backup-simplify]: Simplify (/ 1 1) into 1
7.730 * [taylor]: Taking taylor expansion of 1 in y
7.730 * [backup-simplify]: Simplify 1 into 1
7.730 * [backup-simplify]: Simplify 0 into 0
7.730 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.731 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.731 * [backup-simplify]: Simplify (+ 0 0) into 0
7.731 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.732 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.732 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.732 * [taylor]: Taking taylor expansion of 0 in y
7.732 * [backup-simplify]: Simplify 0 into 0
7.732 * [backup-simplify]: Simplify 0 into 0
7.732 * [backup-simplify]: Simplify 0 into 0
7.733 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.733 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.733 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) 0) into (/ 1 (pow y 2))
7.734 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.735 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (pow y 2))) (+ (* 0 0) (* 0 1))) into (/ 1 (pow y 2))
7.735 * [backup-simplify]: Simplify (- (+ (* 1 (/ (/ 1 (pow y 2)) 1)) (* 0 (/ 0 1)))) into (- (/ 1 (pow y 2)))
7.735 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y
7.735 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.735 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.735 * [taylor]: Taking taylor expansion of y in y
7.735 * [backup-simplify]: Simplify 0 into 0
7.735 * [backup-simplify]: Simplify 1 into 1
7.736 * [backup-simplify]: Simplify (* 1 1) into 1
7.736 * [backup-simplify]: Simplify (/ 1 1) into 1
7.736 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.737 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.737 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.738 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.738 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.739 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.739 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.740 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.740 * [backup-simplify]: Simplify (- 0) into 0
7.740 * [backup-simplify]: Simplify 0 into 0
7.740 * [backup-simplify]: Simplify 0 into 0
7.740 * [backup-simplify]: Simplify 0 into 0
7.740 * [backup-simplify]: Simplify 0 into 0
7.740 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
7.741 * [backup-simplify]: Simplify (* (/ y (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y))))) into (/ (pow y 2) (+ (pow y 2) (pow x 2)))
7.741 * [approximate]: Taking taylor expansion of (/ (pow y 2) (+ (pow y 2) (pow x 2))) in (y x) around 0
7.741 * [taylor]: Taking taylor expansion of (/ (pow y 2) (+ (pow y 2) (pow x 2))) in x
7.741 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.741 * [taylor]: Taking taylor expansion of y in x
7.741 * [backup-simplify]: Simplify y into y
7.741 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow x 2)) in x
7.741 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.741 * [taylor]: Taking taylor expansion of y in x
7.741 * [backup-simplify]: Simplify y into y
7.741 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.741 * [taylor]: Taking taylor expansion of x in x
7.741 * [backup-simplify]: Simplify 0 into 0
7.741 * [backup-simplify]: Simplify 1 into 1
7.741 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.741 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.741 * [backup-simplify]: Simplify (+ (pow y 2) 0) into (pow y 2)
7.741 * [backup-simplify]: Simplify (/ (pow y 2) (pow y 2)) into 1
7.741 * [taylor]: Taking taylor expansion of (/ (pow y 2) (+ (pow y 2) (pow x 2))) in y
7.741 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.741 * [taylor]: Taking taylor expansion of y in y
7.741 * [backup-simplify]: Simplify 0 into 0
7.741 * [backup-simplify]: Simplify 1 into 1
7.741 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow x 2)) in y
7.741 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.741 * [taylor]: Taking taylor expansion of y in y
7.741 * [backup-simplify]: Simplify 0 into 0
7.741 * [backup-simplify]: Simplify 1 into 1
7.741 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.741 * [taylor]: Taking taylor expansion of x in y
7.741 * [backup-simplify]: Simplify x into x
7.742 * [backup-simplify]: Simplify (* 1 1) into 1
7.742 * [backup-simplify]: Simplify (* x x) into (pow x 2)
7.742 * [backup-simplify]: Simplify (+ 0 (pow x 2)) into (pow x 2)
7.742 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
7.742 * [taylor]: Taking taylor expansion of (/ (pow y 2) (+ (pow y 2) (pow x 2))) in y
7.742 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.742 * [taylor]: Taking taylor expansion of y in y
7.742 * [backup-simplify]: Simplify 0 into 0
7.742 * [backup-simplify]: Simplify 1 into 1
7.742 * [taylor]: Taking taylor expansion of (+ (pow y 2) (pow x 2)) in y
7.742 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.742 * [taylor]: Taking taylor expansion of y in y
7.742 * [backup-simplify]: Simplify 0 into 0
7.742 * [backup-simplify]: Simplify 1 into 1
7.742 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.742 * [taylor]: Taking taylor expansion of x in y
7.742 * [backup-simplify]: Simplify x into x
7.742 * [backup-simplify]: Simplify (* 1 1) into 1
7.742 * [backup-simplify]: Simplify (* x x) into (pow x 2)
7.742 * [backup-simplify]: Simplify (+ 0 (pow x 2)) into (pow x 2)
7.743 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
7.743 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.743 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.743 * [taylor]: Taking taylor expansion of x in x
7.743 * [backup-simplify]: Simplify 0 into 0
7.743 * [backup-simplify]: Simplify 1 into 1
7.743 * [backup-simplify]: Simplify (* 1 1) into 1
7.743 * [backup-simplify]: Simplify (/ 1 1) into 1
7.744 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.744 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.744 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.745 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.745 * [backup-simplify]: Simplify 0 into 0
7.745 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.745 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
7.746 * [backup-simplify]: Simplify (+ 0 0) into 0
7.746 * [backup-simplify]: Simplify (- (/ 0 (pow x 2)) (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))))) into 0
7.746 * [taylor]: Taking taylor expansion of 0 in x
7.746 * [backup-simplify]: Simplify 0 into 0
7.746 * [backup-simplify]: Simplify 0 into 0
7.747 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.747 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.747 * [backup-simplify]: Simplify 0 into 0
7.748 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.748 * [backup-simplify]: Simplify (* 1 1) into 1
7.748 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0
7.748 * [backup-simplify]: Simplify (+ 1 0) into 1
7.749 * [backup-simplify]: Simplify (- (/ 0 (pow x 2)) (+ (* (/ 1 (pow x 2)) (/ 1 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into (- (/ 1 (pow x 4)))
7.749 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4))) in x
7.749 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
7.749 * [taylor]: Taking taylor expansion of (pow x 4) in x
7.749 * [taylor]: Taking taylor expansion of x in x
7.749 * [backup-simplify]: Simplify 0 into 0
7.749 * [backup-simplify]: Simplify 1 into 1
7.749 * [backup-simplify]: Simplify (* 1 1) into 1
7.749 * [backup-simplify]: Simplify (* 1 1) into 1
7.750 * [backup-simplify]: Simplify (/ 1 1) into 1
7.750 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.751 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.751 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.752 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.752 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.753 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.753 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.754 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.754 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.755 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.755 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.756 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.756 * [backup-simplify]: Simplify (- 0) into 0
7.756 * [backup-simplify]: Simplify 0 into 0
7.756 * [backup-simplify]: Simplify 0 into 0
7.757 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.757 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.757 * [backup-simplify]: Simplify 0 into 0
7.757 * [backup-simplify]: Simplify 0 into 0
7.758 * [backup-simplify]: Simplify (* (/ (/ 1 y) (sqrt (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y))))) (/ (/ 1 y) (sqrt (+ (* (/ 1 x) (/ 1 x)) (* (/ 1 y) (/ 1 y)))))) into (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))))
7.758 * [approximate]: Taking taylor expansion of (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in (y x) around 0
7.758 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in x
7.758 * [taylor]: Taking taylor expansion of (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x
7.758 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.758 * [taylor]: Taking taylor expansion of y in x
7.758 * [backup-simplify]: Simplify y into y
7.758 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
7.758 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
7.758 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.758 * [taylor]: Taking taylor expansion of y in x
7.758 * [backup-simplify]: Simplify y into y
7.758 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.758 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
7.758 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.758 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.758 * [taylor]: Taking taylor expansion of x in x
7.758 * [backup-simplify]: Simplify 0 into 0
7.758 * [backup-simplify]: Simplify 1 into 1
7.759 * [backup-simplify]: Simplify (* 1 1) into 1
7.759 * [backup-simplify]: Simplify (/ 1 1) into 1
7.759 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.760 * [backup-simplify]: Simplify (+ 0 1) into 1
7.760 * [backup-simplify]: Simplify (* (pow y 2) 1) into (pow y 2)
7.760 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
7.760 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in y
7.760 * [taylor]: Taking taylor expansion of (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y
7.760 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.760 * [taylor]: Taking taylor expansion of y in y
7.760 * [backup-simplify]: Simplify 0 into 0
7.760 * [backup-simplify]: Simplify 1 into 1
7.760 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
7.760 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.760 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.760 * [taylor]: Taking taylor expansion of y in y
7.760 * [backup-simplify]: Simplify 0 into 0
7.760 * [backup-simplify]: Simplify 1 into 1
7.761 * [backup-simplify]: Simplify (* 1 1) into 1
7.761 * [backup-simplify]: Simplify (/ 1 1) into 1
7.761 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
7.761 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.761 * [taylor]: Taking taylor expansion of x in y
7.761 * [backup-simplify]: Simplify x into x
7.761 * [backup-simplify]: Simplify (* x x) into (pow x 2)
7.761 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
7.762 * [backup-simplify]: Simplify (* 1 1) into 1
7.762 * [backup-simplify]: Simplify (+ 1 0) into 1
7.762 * [backup-simplify]: Simplify (* 1 1) into 1
7.763 * [backup-simplify]: Simplify (/ 1 1) into 1
7.763 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in y
7.763 * [taylor]: Taking taylor expansion of (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y
7.763 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.763 * [taylor]: Taking taylor expansion of y in y
7.763 * [backup-simplify]: Simplify 0 into 0
7.763 * [backup-simplify]: Simplify 1 into 1
7.763 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
7.763 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.763 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.763 * [taylor]: Taking taylor expansion of y in y
7.763 * [backup-simplify]: Simplify 0 into 0
7.763 * [backup-simplify]: Simplify 1 into 1
7.763 * [backup-simplify]: Simplify (* 1 1) into 1
7.764 * [backup-simplify]: Simplify (/ 1 1) into 1
7.764 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
7.764 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.764 * [taylor]: Taking taylor expansion of x in y
7.764 * [backup-simplify]: Simplify x into x
7.764 * [backup-simplify]: Simplify (* x x) into (pow x 2)
7.764 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
7.764 * [backup-simplify]: Simplify (* 1 1) into 1
7.765 * [backup-simplify]: Simplify (+ 1 0) into 1
7.765 * [backup-simplify]: Simplify (* 1 1) into 1
7.766 * [backup-simplify]: Simplify (/ 1 1) into 1
7.766 * [taylor]: Taking taylor expansion of 1 in x
7.766 * [backup-simplify]: Simplify 1 into 1
7.766 * [backup-simplify]: Simplify 0 into 0
7.766 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.767 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.768 * [backup-simplify]: Simplify (+ 0 0) into 0
7.768 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.769 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.770 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.770 * [taylor]: Taking taylor expansion of 0 in x
7.770 * [backup-simplify]: Simplify 0 into 0
7.770 * [backup-simplify]: Simplify 0 into 0
7.770 * [backup-simplify]: Simplify 0 into 0
7.771 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.772 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.772 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow x 2))) into (/ 1 (pow x 2))
7.773 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.774 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (pow x 2))) (+ (* 0 0) (* 0 1))) into (/ 1 (pow x 2))
7.775 * [backup-simplify]: Simplify (- (+ (* 1 (/ (/ 1 (pow x 2)) 1)) (* 0 (/ 0 1)))) into (- (/ 1 (pow x 2)))
7.775 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2))) in x
7.775 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.775 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.775 * [taylor]: Taking taylor expansion of x in x
7.775 * [backup-simplify]: Simplify 0 into 0
7.775 * [backup-simplify]: Simplify 1 into 1
7.775 * [backup-simplify]: Simplify (* 1 1) into 1
7.776 * [backup-simplify]: Simplify (/ 1 1) into 1
7.777 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.778 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.778 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.779 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.780 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.781 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.782 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.783 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.783 * [backup-simplify]: Simplify (- 0) into 0
7.783 * [backup-simplify]: Simplify 0 into 0
7.784 * [backup-simplify]: Simplify 0 into 0
7.784 * [backup-simplify]: Simplify 0 into 0
7.784 * [backup-simplify]: Simplify 0 into 0
7.784 * [backup-simplify]: Simplify (* (/ (/ 1 (- y)) (sqrt (+ (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- y)) (/ 1 (- y)))))) (/ (/ 1 (- y)) (sqrt (+ (* (/ 1 (- x)) (/ 1 (- x))) (* (/ 1 (- y)) (/ 1 (- y))))))) into (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))))
7.785 * [approximate]: Taking taylor expansion of (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in (y x) around 0
7.785 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in x
7.785 * [taylor]: Taking taylor expansion of (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x
7.785 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.785 * [taylor]: Taking taylor expansion of y in x
7.785 * [backup-simplify]: Simplify y into y
7.785 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x
7.785 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x
7.785 * [taylor]: Taking taylor expansion of (pow y 2) in x
7.785 * [taylor]: Taking taylor expansion of y in x
7.785 * [backup-simplify]: Simplify y into y
7.785 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.785 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
7.785 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.785 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.785 * [taylor]: Taking taylor expansion of x in x
7.785 * [backup-simplify]: Simplify 0 into 0
7.785 * [backup-simplify]: Simplify 1 into 1
7.786 * [backup-simplify]: Simplify (* 1 1) into 1
7.786 * [backup-simplify]: Simplify (/ 1 1) into 1
7.786 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.786 * [backup-simplify]: Simplify (+ 0 1) into 1
7.786 * [backup-simplify]: Simplify (* (pow y 2) 1) into (pow y 2)
7.786 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2))
7.786 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in y
7.787 * [taylor]: Taking taylor expansion of (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y
7.787 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.787 * [taylor]: Taking taylor expansion of y in y
7.787 * [backup-simplify]: Simplify 0 into 0
7.787 * [backup-simplify]: Simplify 1 into 1
7.787 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
7.787 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.787 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.787 * [taylor]: Taking taylor expansion of y in y
7.787 * [backup-simplify]: Simplify 0 into 0
7.787 * [backup-simplify]: Simplify 1 into 1
7.787 * [backup-simplify]: Simplify (* 1 1) into 1
7.787 * [backup-simplify]: Simplify (/ 1 1) into 1
7.787 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
7.787 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.787 * [taylor]: Taking taylor expansion of x in y
7.787 * [backup-simplify]: Simplify x into x
7.787 * [backup-simplify]: Simplify (* x x) into (pow x 2)
7.787 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
7.788 * [backup-simplify]: Simplify (* 1 1) into 1
7.788 * [backup-simplify]: Simplify (+ 1 0) into 1
7.788 * [backup-simplify]: Simplify (* 1 1) into 1
7.788 * [backup-simplify]: Simplify (/ 1 1) into 1
7.788 * [taylor]: Taking taylor expansion of (/ 1 (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))))) in y
7.788 * [taylor]: Taking taylor expansion of (* (pow y 2) (+ (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y
7.788 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.788 * [taylor]: Taking taylor expansion of y in y
7.788 * [backup-simplify]: Simplify 0 into 0
7.788 * [backup-simplify]: Simplify 1 into 1
7.788 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y
7.788 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
7.788 * [taylor]: Taking taylor expansion of (pow y 2) in y
7.788 * [taylor]: Taking taylor expansion of y in y
7.788 * [backup-simplify]: Simplify 0 into 0
7.788 * [backup-simplify]: Simplify 1 into 1
7.789 * [backup-simplify]: Simplify (* 1 1) into 1
7.789 * [backup-simplify]: Simplify (/ 1 1) into 1
7.789 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y
7.789 * [taylor]: Taking taylor expansion of (pow x 2) in y
7.789 * [taylor]: Taking taylor expansion of x in y
7.789 * [backup-simplify]: Simplify x into x
7.789 * [backup-simplify]: Simplify (* x x) into (pow x 2)
7.789 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
7.789 * [backup-simplify]: Simplify (* 1 1) into 1
7.790 * [backup-simplify]: Simplify (+ 1 0) into 1
7.790 * [backup-simplify]: Simplify (* 1 1) into 1
7.790 * [backup-simplify]: Simplify (/ 1 1) into 1
7.790 * [taylor]: Taking taylor expansion of 1 in x
7.790 * [backup-simplify]: Simplify 1 into 1
7.790 * [backup-simplify]: Simplify 0 into 0
7.791 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.791 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.791 * [backup-simplify]: Simplify (+ 0 0) into 0
7.792 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.793 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.794 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.794 * [taylor]: Taking taylor expansion of 0 in x
7.794 * [backup-simplify]: Simplify 0 into 0
7.794 * [backup-simplify]: Simplify 0 into 0
7.794 * [backup-simplify]: Simplify 0 into 0
7.795 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.795 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.795 * [backup-simplify]: Simplify (+ 0 (/ 1 (pow x 2))) into (/ 1 (pow x 2))
7.796 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.796 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (pow x 2))) (+ (* 0 0) (* 0 1))) into (/ 1 (pow x 2))
7.797 * [backup-simplify]: Simplify (- (+ (* 1 (/ (/ 1 (pow x 2)) 1)) (* 0 (/ 0 1)))) into (- (/ 1 (pow x 2)))
7.797 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2))) in x
7.797 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
7.797 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.797 * [taylor]: Taking taylor expansion of x in x
7.797 * [backup-simplify]: Simplify 0 into 0
7.797 * [backup-simplify]: Simplify 1 into 1
7.797 * [backup-simplify]: Simplify (* 1 1) into 1
7.797 * [backup-simplify]: Simplify (/ 1 1) into 1
7.798 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.798 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.799 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.799 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.800 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.800 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.801 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.801 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.802 * [backup-simplify]: Simplify (- 0) into 0
7.802 * [backup-simplify]: Simplify 0 into 0
7.802 * [backup-simplify]: Simplify 0 into 0
7.802 * [backup-simplify]: Simplify 0 into 0
7.802 * [backup-simplify]: Simplify 0 into 0
7.802 * * * [progress]: simplifying candidates
7.804 * [simplify]: Simplifying:
  (log (sqrt (+ (* x x) (* y y))))
  (exp (sqrt (+ (* x x) (* y y))))
  (* (cbrt (sqrt (+ (* x x) (* y y)))) (cbrt (sqrt (+ (* x x) (* y y)))))
  (cbrt (sqrt (+ (* x x) (* y y))))
  (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (sqrt (+ (* x x) (* y y))))
  (sqrt (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))
  (sqrt (cbrt (+ (* x x) (* y y))))
  (sqrt (sqrt (+ (* x x) (* y y))))
  (sqrt (sqrt (+ (* x x) (* y y))))
  (sqrt 1)
  (sqrt (+ (* x x) (* y y)))
  (sqrt (+ (pow (* x x) 3) (pow (* y y) 3)))
  (sqrt (+ (* (* x x) (* x x)) (- (* (* y y) (* y y)) (* (* x x) (* y y)))))
  (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))
  (sqrt (- (* x x) (* y y)))
  (/ 1 2)
  (sqrt (sqrt (+ (* x x) (* y y))))
  (sqrt (sqrt (+ (* x x) (* y y))))
  (log (sqrt (+ (* x x) (* y y))))
  (exp (sqrt (+ (* x x) (* y y))))
  (* (cbrt (sqrt (+ (* x x) (* y y)))) (cbrt (sqrt (+ (* x x) (* y y)))))
  (cbrt (sqrt (+ (* x x) (* y y))))
  (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (sqrt (+ (* x x) (* y y))))
  (sqrt (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))
  (sqrt (cbrt (+ (* x x) (* y y))))
  (sqrt (sqrt (+ (* x x) (* y y))))
  (sqrt (sqrt (+ (* x x) (* y y))))
  (sqrt 1)
  (sqrt (+ (* x x) (* y y)))
  (sqrt (+ (pow (* x x) 3) (pow (* y y) 3)))
  (sqrt (+ (* (* x x) (* x x)) (- (* (* y y) (* y y)) (* (* x x) (* y y)))))
  (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))
  (sqrt (- (* x x) (* y y)))
  (/ 1 2)
  (sqrt (sqrt (+ (* x x) (* y y))))
  (sqrt (sqrt (+ (* x x) (* y y))))
  (- (+ (log x) (log x)) (log (+ (* x x) (* y y))))
  (- (log (* x x)) (log (+ (* x x) (* y y))))
  (log (/ (* x x) (+ (* x x) (* y y))))
  (exp (/ (* x x) (+ (* x x) (* y y))))
  (/ (* (* (* x x) x) (* (* x x) x)) (* (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (+ (* x x) (* y y))))
  (/ (* (* (* x x) (* x x)) (* x x)) (* (* (+ (* x x) (* y y)) (+ (* x x) (* y y))) (+ (* x x) (* y y))))
  (* (cbrt (/ (* x x) (+ (* x x) (* y y)))) (cbrt (/ (* x x) (+ (* x x) (* y y)))))
  (cbrt (/ (* x x) (+ (* x x) (* y y))))
  (* (* (/ (* x x) (+ (* x x) (* y y))) (/ (* x x) (+ (* x x) (* y y)))) (/ (* x x) (+ (* x x) (* y y))))
  (sqrt (/ (* x x) (+ (* x x) (* y y))))
  (sqrt (/ (* x x) (+ (* x x) (* y y))))
  (- (* x x))
  (- (+ (* x x) (* y y)))
  (/ x (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))
  (/ x (cbrt (+ (* x x) (* y y))))
  (/ x (sqrt (+ (* x x) (* y y))))
  (/ x (sqrt (+ (* x x) (* y y))))
  (/ x 1)
  (/ x (+ (* x x) (* y y)))
  (/ 1 (+ (* x x) (* y y)))
  (/ (+ (* x x) (* y y)) (* x x))
  (/ (* x x) (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))
  (/ (* x x) (sqrt (+ (* x x) (* y y))))
  (/ (* x x) 1)
  (/ (+ (* x x) (* y y)) x)
  (/ (* x x) (+ (pow (* x x) 3) (pow (* y y) 3)))
  (/ (* x x) (- (* (* x x) (* x x)) (* (* y y) (* y y))))
  (+ 1 1)
  (* (/ y (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y)))))
  (+ 1 1)
  (+ (- (log y) (log (sqrt (+ (* x x) (* y y))))) (- (log y) (log (sqrt (+ (* x x) (* y y))))))
  (+ (- (log y) (log (sqrt (+ (* x x) (* y y))))) (log (/ y (sqrt (+ (* x x) (* y y))))))
  (+ (log (/ y (sqrt (+ (* x x) (* y y))))) (- (log y) (log (sqrt (+ (* x x) (* y y))))))
  (+ (log (/ y (sqrt (+ (* x x) (* y y))))) (log (/ y (sqrt (+ (* x x) (* y y))))))
  (log (* (/ y (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y))))))
  (exp (* (/ y (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y))))))
  (* (/ (* (* y y) y) (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (sqrt (+ (* x x) (* y y))))) (/ (* (* y y) y) (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (sqrt (+ (* x x) (* y y))))))
  (* (/ (* (* y y) y) (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (sqrt (+ (* x x) (* y y))))) (* (* (/ y (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y))))) (/ y (sqrt (+ (* x x) (* y y))))))
  (* (* (* (/ y (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y))))) (/ y (sqrt (+ (* x x) (* y y))))) (/ (* (* y y) y) (* (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y)))) (sqrt (+ (* x x) (* y y))))))
  (* (* (* (/ y (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y))))) (/ y (sqrt (+ (* x x) (* y y))))) (* (* (/ y (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y))))) (/ y (sqrt (+ (* x x) (* y y))))))
  (* (cbrt (* (/ y (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y)))))) (cbrt (* (/ y (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y)))))))
  (cbrt (* (/ y (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y))))))
  (* (* (* (/ y (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y))))) (* (/ y (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y)))))) (* (/ y (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y))))))
  (sqrt (* (/ y (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y))))))
  (sqrt (* (/ y (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y))))))
  (* y y)
  (* (sqrt (+ (* x x) (* y y))) (sqrt (+ (* x x) (* y y))))
  (* (* (cbrt (/ y (sqrt (+ (* x x) (* y y))))) (cbrt (/ y (sqrt (+ (* x x) (* y y)))))) (* (cbrt (/ y (sqrt (+ (* x x) (* y y))))) (cbrt (/ y (sqrt (+ (* x x) (* y y)))))))
  (* (cbrt (/ y (sqrt (+ (* x x) (* y y))))) (cbrt (/ y (sqrt (+ (* x x) (* y y))))))
  (* (sqrt (/ y (sqrt (+ (* x x) (* y y))))) (sqrt (/ y (sqrt (+ (* x x) (* y y))))))
  (* (sqrt (/ y (sqrt (+ (* x x) (* y y))))) (sqrt (/ y (sqrt (+ (* x x) (* y y))))))
  (* (/ (* (cbrt y) (cbrt y)) (* (cbrt (sqrt (+ (* x x) (* y y)))) (cbrt (sqrt (+ (* x x) (* y y)))))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sqrt (+ (* x x) (* y y)))) (cbrt (sqrt (+ (* x x) (* y y)))))))
  (* (/ (cbrt y) (cbrt (sqrt (+ (* x x) (* y y))))) (/ (cbrt y) (cbrt (sqrt (+ (* x x) (* y y))))))
  (* (/ (* (cbrt y) (cbrt y)) (sqrt (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))) (/ (* (cbrt y) (cbrt y)) (sqrt (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))))
  (* (/ (cbrt y) (sqrt (cbrt (+ (* x x) (* y y))))) (/ (cbrt y) (sqrt (cbrt (+ (* x x) (* y y))))))
  (* (/ (* (cbrt y) (cbrt y)) (sqrt (sqrt (+ (* x x) (* y y))))) (/ (* (cbrt y) (cbrt y)) (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ (cbrt y) (sqrt (sqrt (+ (* x x) (* y y))))) (/ (cbrt y) (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ (* (cbrt y) (cbrt y)) (sqrt (sqrt (+ (* x x) (* y y))))) (/ (* (cbrt y) (cbrt y)) (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ (cbrt y) (sqrt (sqrt (+ (* x x) (* y y))))) (/ (cbrt y) (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ (* (cbrt y) (cbrt y)) (sqrt 1)) (/ (* (cbrt y) (cbrt y)) (sqrt 1)))
  (* (/ (cbrt y) (sqrt (+ (* x x) (* y y)))) (/ (cbrt y) (sqrt (+ (* x x) (* y y)))))
  (* (/ (* (cbrt y) (cbrt y)) (sqrt (sqrt (+ (* x x) (* y y))))) (/ (* (cbrt y) (cbrt y)) (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ (cbrt y) (sqrt (sqrt (+ (* x x) (* y y))))) (/ (cbrt y) (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ (* (cbrt y) (cbrt y)) (sqrt (sqrt (+ (* x x) (* y y))))) (/ (* (cbrt y) (cbrt y)) (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ (cbrt y) (sqrt (sqrt (+ (* x x) (* y y))))) (/ (cbrt y) (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ (* (cbrt y) (cbrt y)) 1) (/ (* (cbrt y) (cbrt y)) 1))
  (* (/ (cbrt y) (sqrt (+ (* x x) (* y y)))) (/ (cbrt y) (sqrt (+ (* x x) (* y y)))))
  (* (/ (sqrt y) (* (cbrt (sqrt (+ (* x x) (* y y)))) (cbrt (sqrt (+ (* x x) (* y y)))))) (/ (sqrt y) (* (cbrt (sqrt (+ (* x x) (* y y)))) (cbrt (sqrt (+ (* x x) (* y y)))))))
  (* (/ (sqrt y) (cbrt (sqrt (+ (* x x) (* y y))))) (/ (sqrt y) (cbrt (sqrt (+ (* x x) (* y y))))))
  (* (/ (sqrt y) (sqrt (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))) (/ (sqrt y) (sqrt (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))))
  (* (/ (sqrt y) (sqrt (cbrt (+ (* x x) (* y y))))) (/ (sqrt y) (sqrt (cbrt (+ (* x x) (* y y))))))
  (* (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))) (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))) (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))) (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))) (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ (sqrt y) (sqrt 1)) (/ (sqrt y) (sqrt 1)))
  (* (/ (sqrt y) (sqrt (+ (* x x) (* y y)))) (/ (sqrt y) (sqrt (+ (* x x) (* y y)))))
  (* (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))) (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))) (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))) (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))) (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ (sqrt y) 1) (/ (sqrt y) 1))
  (* (/ (sqrt y) (sqrt (+ (* x x) (* y y)))) (/ (sqrt y) (sqrt (+ (* x x) (* y y)))))
  (* (/ 1 (* (cbrt (sqrt (+ (* x x) (* y y)))) (cbrt (sqrt (+ (* x x) (* y y)))))) (/ 1 (* (cbrt (sqrt (+ (* x x) (* y y)))) (cbrt (sqrt (+ (* x x) (* y y)))))))
  (* (/ y (cbrt (sqrt (+ (* x x) (* y y))))) (/ y (cbrt (sqrt (+ (* x x) (* y y))))))
  (* (/ 1 (sqrt (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))) (/ 1 (sqrt (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))))
  (* (/ y (sqrt (cbrt (+ (* x x) (* y y))))) (/ y (sqrt (cbrt (+ (* x x) (* y y))))))
  (* (/ 1 (sqrt (sqrt (+ (* x x) (* y y))))) (/ 1 (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ y (sqrt (sqrt (+ (* x x) (* y y))))) (/ y (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ 1 (sqrt (sqrt (+ (* x x) (* y y))))) (/ 1 (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ y (sqrt (sqrt (+ (* x x) (* y y))))) (/ y (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ 1 (sqrt 1)) (/ 1 (sqrt 1)))
  (* (/ y (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y)))))
  (* (/ 1 (sqrt (sqrt (+ (* x x) (* y y))))) (/ 1 (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ y (sqrt (sqrt (+ (* x x) (* y y))))) (/ y (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ 1 (sqrt (sqrt (+ (* x x) (* y y))))) (/ 1 (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ y (sqrt (sqrt (+ (* x x) (* y y))))) (/ y (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ 1 1) (/ 1 1))
  (* (/ y (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y)))))
  (* 1 1)
  (* (/ y (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y)))))
  (* y y)
  (* (/ 1 (sqrt (+ (* x x) (* y y)))) (/ 1 (sqrt (+ (* x x) (* y y)))))
  (* (/ y (sqrt (+ (pow (* x x) 3) (pow (* y y) 3)))) (/ y (sqrt (+ (pow (* x x) 3) (pow (* y y) 3)))))
  (* (sqrt (+ (* (* x x) (* x x)) (- (* (* y y) (* y y)) (* (* x x) (* y y))))) (sqrt (+ (* (* x x) (* x x)) (- (* (* y y) (* y y)) (* (* x x) (* y y))))))
  (* (/ y (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))) (/ y (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))))
  (* (sqrt (- (* x x) (* y y))) (sqrt (- (* x x) (* y y))))
  (* (sqrt (/ y (sqrt (+ (* x x) (* y y))))) (sqrt (/ y (sqrt (+ (* x x) (* y y))))))
  (* (sqrt (/ y (sqrt (+ (* x x) (* y y))))) (sqrt (/ y (sqrt (+ (* x x) (* y y))))))
  (* (sqrt (/ y (sqrt (+ (* x x) (* y y))))) (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (sqrt (/ y (sqrt (+ (* x x) (* y y))))) (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (sqrt (/ y (sqrt (+ (* x x) (* y y))))) (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (sqrt (/ y (sqrt (+ (* x x) (* y y))))) (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))) (sqrt (/ y (sqrt (+ (* x x) (* y y))))))
  (* (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))) (sqrt (/ y (sqrt (+ (* x x) (* y y))))))
  (* (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))) (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))) (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))) (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))) (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))) (sqrt (/ y (sqrt (+ (* x x) (* y y))))))
  (* (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))) (sqrt (/ y (sqrt (+ (* x x) (* y y))))))
  (* (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))) (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))) (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))) (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))) (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))))
  (* 2 1)
  (* (/ y (sqrt (+ (* x x) (* y y)))) (* (cbrt (/ y (sqrt (+ (* x x) (* y y))))) (cbrt (/ y (sqrt (+ (* x x) (* y y)))))))
  (* (/ y (sqrt (+ (* x x) (* y y)))) (sqrt (/ y (sqrt (+ (* x x) (* y y))))))
  (* (/ y (sqrt (+ (* x x) (* y y)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt (sqrt (+ (* x x) (* y y)))) (cbrt (sqrt (+ (* x x) (* y y)))))))
  (* (/ y (sqrt (+ (* x x) (* y y)))) (/ (* (cbrt y) (cbrt y)) (sqrt (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))))
  (* (/ y (sqrt (+ (* x x) (* y y)))) (/ (* (cbrt y) (cbrt y)) (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ y (sqrt (+ (* x x) (* y y)))) (/ (* (cbrt y) (cbrt y)) (sqrt 1)))
  (* (/ y (sqrt (+ (* x x) (* y y)))) (/ (* (cbrt y) (cbrt y)) (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ y (sqrt (+ (* x x) (* y y)))) (/ (* (cbrt y) (cbrt y)) 1))
  (* (/ y (sqrt (+ (* x x) (* y y)))) (/ (sqrt y) (* (cbrt (sqrt (+ (* x x) (* y y)))) (cbrt (sqrt (+ (* x x) (* y y)))))))
  (* (/ y (sqrt (+ (* x x) (* y y)))) (/ (sqrt y) (sqrt (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))))
  (* (/ y (sqrt (+ (* x x) (* y y)))) (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ y (sqrt (+ (* x x) (* y y)))) (/ (sqrt y) (sqrt 1)))
  (* (/ y (sqrt (+ (* x x) (* y y)))) (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ y (sqrt (+ (* x x) (* y y)))) (/ (sqrt y) 1))
  (* (/ y (sqrt (+ (* x x) (* y y)))) (/ 1 (* (cbrt (sqrt (+ (* x x) (* y y)))) (cbrt (sqrt (+ (* x x) (* y y)))))))
  (* (/ y (sqrt (+ (* x x) (* y y)))) (/ 1 (sqrt (* (cbrt (+ (* x x) (* y y))) (cbrt (+ (* x x) (* y y)))))))
  (* (/ y (sqrt (+ (* x x) (* y y)))) (/ 1 (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ y (sqrt (+ (* x x) (* y y)))) (/ 1 (sqrt 1)))
  (* (/ y (sqrt (+ (* x x) (* y y)))) (/ 1 (sqrt (sqrt (+ (* x x) (* y y))))))
  (* (/ y (sqrt (+ (* x x) (* y y)))) (/ 1 1))
  (* (/ y (sqrt (+ (* x x) (* y y)))) 1)
  (* (/ y (sqrt (+ (* x x) (* y y)))) y)
  (* (/ y (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (pow (* x x) 3) (pow (* y y) 3)))))
  (* (/ y (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))))
  (* (cbrt (/ y (sqrt (+ (* x x) (* y y))))) (/ y (sqrt (+ (* x x) (* y y)))))
  (* (sqrt (/ y (sqrt (+ (* x x) (* y y))))) (/ y (sqrt (+ (* x x) (* y y)))))
  (* (/ (cbrt y) (cbrt (sqrt (+ (* x x) (* y y))))) (/ y (sqrt (+ (* x x) (* y y)))))
  (* (/ (cbrt y) (sqrt (cbrt (+ (* x x) (* y y))))) (/ y (sqrt (+ (* x x) (* y y)))))
  (* (/ (cbrt y) (sqrt (sqrt (+ (* x x) (* y y))))) (/ y (sqrt (+ (* x x) (* y y)))))
  (* (/ (cbrt y) (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y)))))
  (* (/ (cbrt y) (sqrt (sqrt (+ (* x x) (* y y))))) (/ y (sqrt (+ (* x x) (* y y)))))
  (* (/ (cbrt y) (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y)))))
  (* (/ (sqrt y) (cbrt (sqrt (+ (* x x) (* y y))))) (/ y (sqrt (+ (* x x) (* y y)))))
  (* (/ (sqrt y) (sqrt (cbrt (+ (* x x) (* y y))))) (/ y (sqrt (+ (* x x) (* y y)))))
  (* (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))) (/ y (sqrt (+ (* x x) (* y y)))))
  (* (/ (sqrt y) (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y)))))
  (* (/ (sqrt y) (sqrt (sqrt (+ (* x x) (* y y))))) (/ y (sqrt (+ (* x x) (* y y)))))
  (* (/ (sqrt y) (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y)))))
  (* (/ y (cbrt (sqrt (+ (* x x) (* y y))))) (/ y (sqrt (+ (* x x) (* y y)))))
  (* (/ y (sqrt (cbrt (+ (* x x) (* y y))))) (/ y (sqrt (+ (* x x) (* y y)))))
  (* (/ y (sqrt (sqrt (+ (* x x) (* y y))))) (/ y (sqrt (+ (* x x) (* y y)))))
  (* (/ y (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y)))))
  (* (/ y (sqrt (sqrt (+ (* x x) (* y y))))) (/ y (sqrt (+ (* x x) (* y y)))))
  (* (/ y (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y)))))
  (* (/ y (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y)))))
  (* (/ 1 (sqrt (+ (* x x) (* y y)))) (/ y (sqrt (+ (* x x) (* y y)))))
  (* (sqrt (+ (* (* x x) (* x x)) (- (* (* y y) (* y y)) (* (* x x) (* y y))))) (/ y (sqrt (+ (* x x) (* y y)))))
  (* (sqrt (- (* x x) (* y y))) (/ y (sqrt (+ (* x x) (* y y)))))
  (* (/ y (sqrt (+ (* x x) (* y y)))) y)
  (* y (/ y (sqrt (+ (* x x) (* y y)))))
  y
  x
  (* -1 x)
  y
  x
  (* -1 x)
  0
  0
  0
  0
  0
  0
7.808 * * [simplify]: Extracting # 0 : cost  137  inf +  0
7.808 * * [simplify]: Extracting # 1 : cost  188  inf +  44
7.809 * * [simplify]: Extracting # 2 : cost  155  inf +  8710
7.812 * * [simplify]: Extracting # 3 : cost  75  inf +  29023
7.820 * * [simplify]: Extracting # 4 : cost  26  inf +  45161
7.830 * * [simplify]: Extracting # 5 : cost  6  inf +  52925
7.841 * * [simplify]: Extracting # 6 : cost  1  inf +  55377
7.852 * * [simplify]: Extracting # 7 : cost  0  inf +  56160
7.862 * * [simplify]: iteration  0 :  207  enodes  (cost  64103 )
7.966 * * [simplify]: Extracting # 0 : cost  0  inf +  56160
7.974 * * [simplify]: Extracting # 1 : cost  208  inf +  53021
7.989 * * [simplify]: Extracting # 2 : cost  4  inf +  106270
8.006 * * [simplify]: Extracting # 3 : cost  0  inf +  105663
8.040 * * [simplify]: Extracting # 4 : cost  0  inf +  105362