9.345 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.053 * * * [progress]: [2/2] Setting up program.
0.060 * [progress]: [Phase 2 of 3] Improving.
0.061 * [simplify]: Simplifying:
  (- (pow x 4.0) (pow y 4.0))
0.061 * * [simplify]: iteration 0: 6 enodes
0.063 * * [simplify]: iteration 1: 14 enodes
0.068 * * [simplify]: iteration 2: 29 enodes
0.078 * * [simplify]: iteration 3: 69 enodes
0.100 * * [simplify]: iteration 4: 206 enodes
0.202 * * [simplify]: iteration 5: 1100 enodes
0.892 * * [simplify]: iteration complete: 5001 enodes
0.892 * * [simplify]: Extracting #0: cost 1 inf + 0
0.893 * * [simplify]: Extracting #1: cost 128 inf + 0
0.897 * * [simplify]: Extracting #2: cost 988 inf + 0
0.907 * * [simplify]: Extracting #3: cost 1902 inf + 4
0.920 * * [simplify]: Extracting #4: cost 1941 inf + 2602
0.942 * * [simplify]: Extracting #5: cost 1537 inf + 207072
1.036 * * [simplify]: Extracting #6: cost 401 inf + 1015175
1.203 * * [simplify]: Extracting #7: cost 7 inf + 1296255
1.394 * * [simplify]: Extracting #8: cost 0 inf + 1296593
1.603 * * [simplify]: Extracting #9: cost 0 inf + 1295976
1.822 * [simplify]: Simplified to:
  (- (pow x 4.0) (pow y 4.0))
1.824 * * [progress]: iteration 1 / 4
1.824 * * * [progress]: picking best candidate
1.833 * * * * [pick]: Picked  #<alt (λ (x y) (- (pow x 4.0) (pow y 4.0)))>
1.833 * * * [progress]: localizing error
1.850 * * * [progress]: generating rewritten candidates
1.850 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.881 * * * [progress]: generating series expansions
1.881 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.881 * [backup-simplify]: Simplify (- (pow x 4.0) (pow y 4.0)) into (- (pow x 4) (pow y 4))
1.881 * [approximate]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in (x y) around 0
1.881 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in y
1.881 * [taylor]: Taking taylor expansion of (pow x 4) in y
1.881 * [taylor]: Taking taylor expansion of x in y
1.881 * [backup-simplify]: Simplify x into x
1.881 * [taylor]: Taking taylor expansion of (pow y 4) in y
1.882 * [taylor]: Taking taylor expansion of y in y
1.882 * [backup-simplify]: Simplify 0 into 0
1.882 * [backup-simplify]: Simplify 1 into 1
1.882 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x
1.882 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.882 * [taylor]: Taking taylor expansion of x in x
1.882 * [backup-simplify]: Simplify 0 into 0
1.882 * [backup-simplify]: Simplify 1 into 1
1.882 * [taylor]: Taking taylor expansion of (pow y 4) in x
1.882 * [taylor]: Taking taylor expansion of y in x
1.882 * [backup-simplify]: Simplify y into y
1.882 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x
1.882 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.882 * [taylor]: Taking taylor expansion of x in x
1.882 * [backup-simplify]: Simplify 0 into 0
1.882 * [backup-simplify]: Simplify 1 into 1
1.882 * [taylor]: Taking taylor expansion of (pow y 4) in x
1.882 * [taylor]: Taking taylor expansion of y in x
1.882 * [backup-simplify]: Simplify y into y
1.882 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.882 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
1.882 * [backup-simplify]: Simplify (- (pow y 4)) into (- (pow y 4))
1.882 * [backup-simplify]: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4))
1.882 * [taylor]: Taking taylor expansion of (- (pow y 4)) in y
1.882 * [taylor]: Taking taylor expansion of (pow y 4) in y
1.882 * [taylor]: Taking taylor expansion of y in y
1.882 * [backup-simplify]: Simplify 0 into 0
1.882 * [backup-simplify]: Simplify 1 into 1
1.883 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
1.883 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
1.883 * [backup-simplify]: Simplify (- 0) into 0
1.884 * [backup-simplify]: Simplify (+ 0 0) into 0
1.884 * [taylor]: Taking taylor expansion of 0 in y
1.884 * [backup-simplify]: Simplify 0 into 0
1.884 * [backup-simplify]: Simplify 0 into 0
1.884 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
1.884 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
1.885 * [backup-simplify]: Simplify (- 0) into 0
1.885 * [backup-simplify]: Simplify (+ 0 0) into 0
1.885 * [taylor]: Taking taylor expansion of 0 in y
1.885 * [backup-simplify]: Simplify 0 into 0
1.885 * [backup-simplify]: Simplify 0 into 0
1.885 * [backup-simplify]: Simplify 0 into 0
1.886 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
1.886 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0
1.887 * [backup-simplify]: Simplify (- 0) into 0
1.887 * [backup-simplify]: Simplify (+ 0 0) into 0
1.887 * [taylor]: Taking taylor expansion of 0 in y
1.887 * [backup-simplify]: Simplify 0 into 0
1.887 * [backup-simplify]: Simplify 0 into 0
1.887 * [backup-simplify]: Simplify 0 into 0
1.887 * [backup-simplify]: Simplify 0 into 0
1.887 * [backup-simplify]: Simplify 0 into 0
1.887 * [backup-simplify]: Simplify (- (pow (/ 1 x) 4.0) (pow (/ 1 y) 4.0)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))
1.887 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0
1.887 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y
1.887 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
1.887 * [taylor]: Taking taylor expansion of (pow x 4) in y
1.887 * [taylor]: Taking taylor expansion of x in y
1.887 * [backup-simplify]: Simplify x into x
1.888 * [backup-simplify]: Simplify (* x x) into (pow x 2)
1.888 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4)
1.888 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4))
1.888 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
1.888 * [taylor]: Taking taylor expansion of (pow y 4) in y
1.888 * [taylor]: Taking taylor expansion of y in y
1.888 * [backup-simplify]: Simplify 0 into 0
1.888 * [backup-simplify]: Simplify 1 into 1
1.888 * [backup-simplify]: Simplify (* 1 1) into 1
1.888 * [backup-simplify]: Simplify (* 1 1) into 1
1.889 * [backup-simplify]: Simplify (/ 1 1) into 1
1.889 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
1.889 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.889 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.889 * [taylor]: Taking taylor expansion of x in x
1.889 * [backup-simplify]: Simplify 0 into 0
1.889 * [backup-simplify]: Simplify 1 into 1
1.889 * [backup-simplify]: Simplify (* 1 1) into 1
1.889 * [backup-simplify]: Simplify (* 1 1) into 1
1.889 * [backup-simplify]: Simplify (/ 1 1) into 1
1.890 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
1.890 * [taylor]: Taking taylor expansion of (pow y 4) in x
1.890 * [taylor]: Taking taylor expansion of y in x
1.890 * [backup-simplify]: Simplify y into y
1.890 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.890 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
1.890 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
1.890 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
1.890 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.890 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.890 * [taylor]: Taking taylor expansion of x in x
1.890 * [backup-simplify]: Simplify 0 into 0
1.890 * [backup-simplify]: Simplify 1 into 1
1.890 * [backup-simplify]: Simplify (* 1 1) into 1
1.891 * [backup-simplify]: Simplify (* 1 1) into 1
1.891 * [backup-simplify]: Simplify (/ 1 1) into 1
1.891 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
1.891 * [taylor]: Taking taylor expansion of (pow y 4) in x
1.891 * [taylor]: Taking taylor expansion of y in x
1.891 * [backup-simplify]: Simplify y into y
1.891 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.891 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
1.892 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
1.892 * [backup-simplify]: Simplify (+ 1 0) into 1
1.892 * [taylor]: Taking taylor expansion of 1 in y
1.892 * [backup-simplify]: Simplify 1 into 1
1.893 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.893 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.894 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.894 * [backup-simplify]: Simplify (+ 0 0) into 0
1.894 * [taylor]: Taking taylor expansion of 0 in y
1.894 * [backup-simplify]: Simplify 0 into 0
1.895 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.896 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.897 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.897 * [backup-simplify]: Simplify (+ 0 0) into 0
1.897 * [taylor]: Taking taylor expansion of 0 in y
1.897 * [backup-simplify]: Simplify 0 into 0
1.898 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.899 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.899 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.900 * [backup-simplify]: Simplify (+ 0 0) into 0
1.900 * [taylor]: Taking taylor expansion of 0 in y
1.900 * [backup-simplify]: Simplify 0 into 0
1.901 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.902 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.903 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.903 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4)))
1.903 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4)))
1.903 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y
1.903 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
1.903 * [taylor]: Taking taylor expansion of (pow y 4) in y
1.903 * [taylor]: Taking taylor expansion of y in y
1.903 * [backup-simplify]: Simplify 0 into 0
1.904 * [backup-simplify]: Simplify 1 into 1
1.904 * [backup-simplify]: Simplify (* 1 1) into 1
1.904 * [backup-simplify]: Simplify (* 1 1) into 1
1.905 * [backup-simplify]: Simplify (/ 1 1) into 1
1.905 * [backup-simplify]: Simplify (- 1) into -1
1.905 * [backup-simplify]: Simplify -1 into -1
1.905 * [backup-simplify]: Simplify 1 into 1
1.907 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.909 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.910 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.910 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
1.910 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
1.911 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0
1.911 * [backup-simplify]: Simplify (- 0) into 0
1.911 * [backup-simplify]: Simplify (+ 0 0) into 0
1.911 * [taylor]: Taking taylor expansion of 0 in y
1.911 * [backup-simplify]: Simplify 0 into 0
1.912 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.913 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.913 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.914 * [backup-simplify]: Simplify (- 0) into 0
1.914 * [backup-simplify]: Simplify 0 into 0
1.914 * [backup-simplify]: Simplify 0 into 0
1.914 * [backup-simplify]: Simplify 0 into 0
1.915 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.917 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.918 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.919 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
1.919 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
1.920 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
1.920 * [backup-simplify]: Simplify (- 0) into 0
1.920 * [backup-simplify]: Simplify (+ 0 0) into 0
1.920 * [taylor]: Taking taylor expansion of 0 in y
1.921 * [backup-simplify]: Simplify 0 into 0
1.921 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.922 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.923 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.924 * [backup-simplify]: Simplify (- 0) into 0
1.924 * [backup-simplify]: Simplify 0 into 0
1.924 * [backup-simplify]: Simplify 0 into 0
1.924 * [backup-simplify]: Simplify 0 into 0
1.924 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 4)) (* -1 (pow (* (/ 1 (/ 1 y)) 1) 4))) into (- (pow x 4) (pow y 4))
1.925 * [backup-simplify]: Simplify (- (pow (/ 1 (- x)) 4.0) (pow (/ 1 (- y)) 4.0)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))
1.925 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0
1.925 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y
1.925 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
1.925 * [taylor]: Taking taylor expansion of (pow x 4) in y
1.925 * [taylor]: Taking taylor expansion of x in y
1.925 * [backup-simplify]: Simplify x into x
1.925 * [backup-simplify]: Simplify (* x x) into (pow x 2)
1.925 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4)
1.925 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4))
1.925 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
1.925 * [taylor]: Taking taylor expansion of (pow y 4) in y
1.926 * [taylor]: Taking taylor expansion of y in y
1.926 * [backup-simplify]: Simplify 0 into 0
1.926 * [backup-simplify]: Simplify 1 into 1
1.926 * [backup-simplify]: Simplify (* 1 1) into 1
1.926 * [backup-simplify]: Simplify (* 1 1) into 1
1.927 * [backup-simplify]: Simplify (/ 1 1) into 1
1.927 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
1.927 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.927 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.927 * [taylor]: Taking taylor expansion of x in x
1.927 * [backup-simplify]: Simplify 0 into 0
1.927 * [backup-simplify]: Simplify 1 into 1
1.927 * [backup-simplify]: Simplify (* 1 1) into 1
1.927 * [backup-simplify]: Simplify (* 1 1) into 1
1.928 * [backup-simplify]: Simplify (/ 1 1) into 1
1.928 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
1.928 * [taylor]: Taking taylor expansion of (pow y 4) in x
1.928 * [taylor]: Taking taylor expansion of y in x
1.928 * [backup-simplify]: Simplify y into y
1.928 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.928 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
1.928 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
1.928 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
1.928 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
1.928 * [taylor]: Taking taylor expansion of (pow x 4) in x
1.928 * [taylor]: Taking taylor expansion of x in x
1.928 * [backup-simplify]: Simplify 0 into 0
1.929 * [backup-simplify]: Simplify 1 into 1
1.929 * [backup-simplify]: Simplify (* 1 1) into 1
1.929 * [backup-simplify]: Simplify (* 1 1) into 1
1.930 * [backup-simplify]: Simplify (/ 1 1) into 1
1.930 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
1.930 * [taylor]: Taking taylor expansion of (pow y 4) in x
1.930 * [taylor]: Taking taylor expansion of y in x
1.930 * [backup-simplify]: Simplify y into y
1.930 * [backup-simplify]: Simplify (* y y) into (pow y 2)
1.930 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
1.930 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
1.931 * [backup-simplify]: Simplify (+ 1 0) into 1
1.931 * [taylor]: Taking taylor expansion of 1 in y
1.931 * [backup-simplify]: Simplify 1 into 1
1.931 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.932 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.933 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.933 * [backup-simplify]: Simplify (+ 0 0) into 0
1.933 * [taylor]: Taking taylor expansion of 0 in y
1.933 * [backup-simplify]: Simplify 0 into 0
1.934 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.935 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.936 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.936 * [backup-simplify]: Simplify (+ 0 0) into 0
1.936 * [taylor]: Taking taylor expansion of 0 in y
1.936 * [backup-simplify]: Simplify 0 into 0
1.938 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.939 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.940 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.940 * [backup-simplify]: Simplify (+ 0 0) into 0
1.940 * [taylor]: Taking taylor expansion of 0 in y
1.940 * [backup-simplify]: Simplify 0 into 0
1.941 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.943 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.944 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.944 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4)))
1.944 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4)))
1.944 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y
1.944 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
1.944 * [taylor]: Taking taylor expansion of (pow y 4) in y
1.944 * [taylor]: Taking taylor expansion of y in y
1.944 * [backup-simplify]: Simplify 0 into 0
1.944 * [backup-simplify]: Simplify 1 into 1
1.945 * [backup-simplify]: Simplify (* 1 1) into 1
1.945 * [backup-simplify]: Simplify (* 1 1) into 1
1.946 * [backup-simplify]: Simplify (/ 1 1) into 1
1.946 * [backup-simplify]: Simplify (- 1) into -1
1.946 * [backup-simplify]: Simplify -1 into -1
1.946 * [backup-simplify]: Simplify 1 into 1
1.948 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.949 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.949 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.949 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
1.950 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
1.950 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0
1.950 * [backup-simplify]: Simplify (- 0) into 0
1.950 * [backup-simplify]: Simplify (+ 0 0) into 0
1.950 * [taylor]: Taking taylor expansion of 0 in y
1.950 * [backup-simplify]: Simplify 0 into 0
1.951 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.951 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.951 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.952 * [backup-simplify]: Simplify (- 0) into 0
1.952 * [backup-simplify]: Simplify 0 into 0
1.952 * [backup-simplify]: Simplify 0 into 0
1.952 * [backup-simplify]: Simplify 0 into 0
1.953 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.954 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.954 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.954 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
1.955 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
1.955 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
1.955 * [backup-simplify]: Simplify (- 0) into 0
1.956 * [backup-simplify]: Simplify (+ 0 0) into 0
1.956 * [taylor]: Taking taylor expansion of 0 in y
1.956 * [backup-simplify]: Simplify 0 into 0
1.956 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.957 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.957 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.957 * [backup-simplify]: Simplify (- 0) into 0
1.958 * [backup-simplify]: Simplify 0 into 0
1.958 * [backup-simplify]: Simplify 0 into 0
1.958 * [backup-simplify]: Simplify 0 into 0
1.958 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 4)) (* -1 (pow (* (/ 1 (/ 1 (- y))) 1) 4))) into (- (pow x 4) (pow y 4))
1.958 * * * [progress]: simplifying candidates
1.958 * [simplify]: Simplifying:
  (/ (exp (pow x 4.0)) (exp (pow y 4.0)))
  (log (- (pow x 4.0) (pow y 4.0)))
  (exp (- (pow x 4.0) (pow y 4.0)))
  (* (cbrt (- (pow x 4.0) (pow y 4.0))) (cbrt (- (pow x 4.0) (pow y 4.0))))
  (cbrt (- (pow x 4.0) (pow y 4.0)))
  (* (* (- (pow x 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0))) (- (pow x 4.0) (pow y 4.0)))
  (sqrt (- (pow x 4.0) (pow y 4.0)))
  (sqrt (- (pow x 4.0) (pow y 4.0)))
  (- (pow (pow x 4.0) 3) (pow (pow y 4.0) 3))
  (+ (* (pow x 4.0) (pow x 4.0)) (+ (* (pow y 4.0) (pow y 4.0)) (* (pow x 4.0) (pow y 4.0))))
  (- (pow y 4.0))
  (- (* (pow x 4.0) (pow x 4.0)) (* (pow y 4.0) (pow y 4.0)))
  (+ (pow x 4.0) (pow y 4.0))
  (+ (pow (sqrt x) 4.0) (pow (sqrt y) 4.0))
  (- (pow (sqrt x) 4.0) (pow (sqrt y) 4.0))
  (+ (pow (sqrt x) 4.0) (sqrt (pow y 4.0)))
  (- (pow (sqrt x) 4.0) (sqrt (pow y 4.0)))
  (+ (pow (sqrt x) 4.0) (pow y (/ 4.0 2)))
  (- (pow (sqrt x) 4.0) (pow y (/ 4.0 2)))
  (+ (sqrt (pow x 4.0)) (pow (sqrt y) 4.0))
  (- (sqrt (pow x 4.0)) (pow (sqrt y) 4.0))
  (+ (sqrt (pow x 4.0)) (sqrt (pow y 4.0)))
  (- (sqrt (pow x 4.0)) (sqrt (pow y 4.0)))
  (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))
  (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))
  (+ (pow x (/ 4.0 2)) (pow (sqrt y) 4.0))
  (- (pow x (/ 4.0 2)) (pow (sqrt y) 4.0))
  (+ (pow x (/ 4.0 2)) (sqrt (pow y 4.0)))
  (- (pow x (/ 4.0 2)) (sqrt (pow y 4.0)))
  (+ (pow x (/ 4.0 2)) (pow y (/ 4.0 2)))
  (- (pow x (/ 4.0 2)) (pow y (/ 4.0 2)))
  (- (pow x 4.0) (pow y 4.0))
  (- (pow x 4.0) (pow y 4.0))
  (- (pow y 4.0))
  0
  (- (pow x 4) (pow y 4))
  (- (pow x 4) (pow y 4))
1.959 * * [simplify]: iteration 0: 61 enodes
1.976 * * [simplify]: iteration 1: 127 enodes
1.999 * * [simplify]: iteration 2: 317 enodes
2.129 * * [simplify]: iteration 3: 1275 enodes
2.689 * * [simplify]: iteration complete: 5001 enodes
2.689 * * [simplify]: Extracting #0: cost 32 inf + 0
2.690 * * [simplify]: Extracting #1: cost 298 inf + 1
2.692 * * [simplify]: Extracting #2: cost 1274 inf + 2
2.699 * * [simplify]: Extracting #3: cost 1749 inf + 13888
2.726 * * [simplify]: Extracting #4: cost 1383 inf + 200940
2.833 * * [simplify]: Extracting #5: cost 323 inf + 853551
2.984 * * [simplify]: Extracting #6: cost 6 inf + 1052053
3.128 * * [simplify]: Extracting #7: cost 0 inf + 1031060
3.253 * * [simplify]: Extracting #8: cost 0 inf + 1020158
3.447 * * [simplify]: Extracting #9: cost 0 inf + 1020078
3.571 * [simplify]: Simplified to:
  (exp (- (pow x 4.0) (pow y 4.0)))
  (log (- (pow x 4.0) (pow y 4.0)))
  (exp (- (pow x 4.0) (pow y 4.0)))
  (* (cbrt (- (pow x 4.0) (pow y 4.0))) (cbrt (- (pow x 4.0) (pow y 4.0))))
  (cbrt (- (pow x 4.0) (pow y 4.0)))
  (* (* (- (pow x 4.0) (pow y 4.0)) (- (pow x 4.0) (pow y 4.0))) (- (pow x 4.0) (pow y 4.0)))
  (sqrt (- (pow x 4.0) (pow y 4.0)))
  (sqrt (- (pow x 4.0) (pow y 4.0)))
  (- (* (pow x 4.0) (* (pow x 4.0) (pow x 4.0))) (* (pow y 4.0) (* (pow y 4.0) (pow y 4.0))))
  (+ (* (pow x 4.0) (pow x 4.0)) (* (pow y 4.0) (+ (pow y 4.0) (pow x 4.0))))
  (- (pow y 4.0))
  (- (* (pow x 4.0) (pow x 4.0)) (* (pow y 4.0) (pow y 4.0)))
  (+ (pow y 4.0) (pow x 4.0))
  (+ (pow (sqrt y) 4.0) (pow (sqrt x) 4.0))
  (- (pow (sqrt x) 4.0) (pow (sqrt y) 4.0))
  (+ (pow (sqrt x) 4.0) (sqrt (pow y 4.0)))
  (- (pow (sqrt x) 4.0) (sqrt (pow y 4.0)))
  (+ (pow (sqrt x) 4.0) (pow y (/ 4.0 2)))
  (- (pow (sqrt x) 4.0) (pow y (/ 4.0 2)))
  (+ (pow (sqrt y) 4.0) (sqrt (pow x 4.0)))
  (- (sqrt (pow x 4.0)) (pow (sqrt y) 4.0))
  (+ (sqrt (pow x 4.0)) (sqrt (pow y 4.0)))
  (- (sqrt (pow x 4.0)) (sqrt (pow y 4.0)))
  (+ (pow y (/ 4.0 2)) (sqrt (pow x 4.0)))
  (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2)))
  (+ (pow x (/ 4.0 2)) (pow (sqrt y) 4.0))
  (- (pow x (/ 4.0 2)) (pow (sqrt y) 4.0))
  (+ (pow x (/ 4.0 2)) (sqrt (pow y 4.0)))
  (- (pow x (/ 4.0 2)) (sqrt (pow y 4.0)))
  (+ (pow x (/ 4.0 2)) (pow y (/ 4.0 2)))
  (- (pow x (/ 4.0 2)) (pow y (/ 4.0 2)))
  (- (pow x 4.0) (pow y 4.0))
  (- (pow x 4.0) (pow y 4.0))
  (- (pow y 4.0))
  0
  (* (- (* x x) (* y y)) (+ (* y y) (* x x)))
  (* (- (* x x) (* y y)) (+ (* y y) (* x x)))
3.572 * * * [progress]: adding candidates to table
3.725 * [progress]: [Phase 3 of 3] Extracting.
3.730 * [simplify]: Simplifying:
  (- (pow x 4.0) (pow y 4.0))
3.730 * * [simplify]: iteration 0: 6 enodes
3.731 * * [simplify]: iteration complete: 6 enodes
3.731 * * [simplify]: Extracting #0: cost 1 inf + 0
3.731 * * [simplify]: Extracting #1: cost 3 inf + 0
3.731 * * [simplify]: Extracting #2: cost 6 inf + 0
3.731 * * [simplify]: Extracting #3: cost 2 inf + 215
3.731 * * [simplify]: Extracting #4: cost 0 inf + 890
3.731 * [simplify]: Simplified to:
  (- (pow x 4.0) (pow y 4.0))
6.128 * [regime-testing]: Baseline error score: 0.00296973215428972
6.140 * [regime-testing]: Oracle error score: 0.00296973215428972
6.140 * [regime-testing]: End program error score: 0.00296973215428972