0.721 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.274 * * * [progress]: [2/2] Setting up program.
0.285 * [progress]: [Phase 2 of 3] Improving.
0.286 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x y) (- (pow x 4) (pow y 4)))>
0.289 * [simplify]: Simplifying:
  (- (pow x 4) (pow y 4))
0.291 * * [simplify]: iteration 1: (6 enodes)
0.300 * * [simplify]: iteration 2: (14 enodes)
0.336 * * [simplify]: iteration 3: (38 enodes)
0.354 * * [simplify]: iteration 4: (53 enodes)
0.364 * * [simplify]: iteration 5: (70 enodes)
0.381 * * [simplify]: iteration 6: (125 enodes)
0.451 * * [simplify]: iteration 7: (279 enodes)
0.590 * * [simplify]: iteration 8: (548 enodes)
0.810 * * [simplify]: iteration 9: (1244 enodes)
3.311 * * [simplify]: Extracting #0: cost 1 inf + 0
3.312 * * [simplify]: Extracting #1: cost 158 inf + 0
3.319 * * [simplify]: Extracting #2: cost 787 inf + 1
3.329 * * [simplify]: Extracting #3: cost 860 inf + 2240
3.355 * * [simplify]: Extracting #4: cost 433 inf + 119991
3.472 * * [simplify]: Extracting #5: cost 9 inf + 243606
3.584 * * [simplify]: Extracting #6: cost 0 inf + 237052
3.689 * * [simplify]: Extracting #7: cost 0 inf + 236974
3.832 * [simplify]: Simplified to:
  (- (* (* x x) (* x x)) (* (* y y) (* y y)))
3.844 * * [progress]: iteration 1 / 4
3.844 * * * [progress]: picking best candidate
3.854 * * * * [pick]: Picked  #<alt (λ (x y) (- (pow x 4) (pow y 4)))>
3.854 * * * [progress]: localizing error
3.877 * * * [progress]: generating rewritten candidates
3.877 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.905 * * * [progress]: generating series expansions
3.905 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.913 * [backup-simplify]: Simplify (- (pow x 4) (pow y 4)) into (- (pow x 4) (pow y 4))
3.913 * [approximate]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in (x y) around 0
3.914 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in y
3.914 * [taylor]: Taking taylor expansion of (pow x 4) in y
3.914 * [taylor]: Taking taylor expansion of x in y
3.915 * [backup-simplify]: Simplify x into x
3.915 * [taylor]: Taking taylor expansion of (pow y 4) 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.917 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x
3.917 * [taylor]: Taking taylor expansion of (pow x 4) in x
3.917 * [taylor]: Taking taylor expansion of x in x
3.917 * [backup-simplify]: Simplify 0 into 0
3.917 * [backup-simplify]: Simplify 1 into 1
3.917 * [taylor]: Taking taylor expansion of (pow y 4) in x
3.917 * [taylor]: Taking taylor expansion of y in x
3.917 * [backup-simplify]: Simplify y into y
3.917 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x
3.918 * [taylor]: Taking taylor expansion of (pow x 4) in x
3.918 * [taylor]: Taking taylor expansion of x in x
3.918 * [backup-simplify]: Simplify 0 into 0
3.918 * [backup-simplify]: Simplify 1 into 1
3.918 * [taylor]: Taking taylor expansion of (pow y 4) in x
3.918 * [taylor]: Taking taylor expansion of y in x
3.918 * [backup-simplify]: Simplify y into y
3.919 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.919 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
3.919 * [backup-simplify]: Simplify (- (pow y 4)) into (- (pow y 4))
3.919 * [backup-simplify]: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4))
3.919 * [taylor]: Taking taylor expansion of (- (pow y 4)) in y
3.919 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.919 * [taylor]: Taking taylor expansion of y in y
3.919 * [backup-simplify]: Simplify 0 into 0
3.919 * [backup-simplify]: Simplify 1 into 1
3.920 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
3.920 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
3.920 * [backup-simplify]: Simplify (- 0) into 0
3.921 * [backup-simplify]: Simplify (+ 0 0) into 0
3.921 * [taylor]: Taking taylor expansion of 0 in y
3.921 * [backup-simplify]: Simplify 0 into 0
3.921 * [backup-simplify]: Simplify 0 into 0
3.922 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
3.922 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
3.923 * [backup-simplify]: Simplify (- 0) into 0
3.923 * [backup-simplify]: Simplify (+ 0 0) into 0
3.923 * [taylor]: Taking taylor expansion of 0 in y
3.923 * [backup-simplify]: Simplify 0 into 0
3.923 * [backup-simplify]: Simplify 0 into 0
3.923 * [backup-simplify]: Simplify 0 into 0
3.924 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
3.925 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0
3.926 * [backup-simplify]: Simplify (- 0) into 0
3.926 * [backup-simplify]: Simplify (+ 0 0) into 0
3.926 * [taylor]: Taking taylor expansion of 0 in y
3.926 * [backup-simplify]: Simplify 0 into 0
3.926 * [backup-simplify]: Simplify 0 into 0
3.926 * [backup-simplify]: Simplify 0 into 0
3.927 * [backup-simplify]: Simplify 0 into 0
3.927 * [backup-simplify]: Simplify 0 into 0
3.927 * [backup-simplify]: Simplify (- (pow (/ 1 x) 4) (pow (/ 1 y) 4)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))
3.927 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0
3.927 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y
3.927 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
3.927 * [taylor]: Taking taylor expansion of (pow x 4) in y
3.927 * [taylor]: Taking taylor expansion of x in y
3.927 * [backup-simplify]: Simplify x into x
3.928 * [backup-simplify]: Simplify (* x x) into (pow x 2)
3.928 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4)
3.928 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4))
3.928 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
3.928 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.928 * [taylor]: Taking taylor expansion of y in y
3.928 * [backup-simplify]: Simplify 0 into 0
3.928 * [backup-simplify]: Simplify 1 into 1
3.938 * [backup-simplify]: Simplify (* 1 1) into 1
3.939 * [backup-simplify]: Simplify (* 1 1) into 1
3.939 * [backup-simplify]: Simplify (/ 1 1) into 1
3.939 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
3.939 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
3.939 * [taylor]: Taking taylor expansion of (pow x 4) in x
3.939 * [taylor]: Taking taylor expansion of x in x
3.939 * [backup-simplify]: Simplify 0 into 0
3.940 * [backup-simplify]: Simplify 1 into 1
3.940 * [backup-simplify]: Simplify (* 1 1) into 1
3.940 * [backup-simplify]: Simplify (* 1 1) into 1
3.941 * [backup-simplify]: Simplify (/ 1 1) into 1
3.941 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
3.941 * [taylor]: Taking taylor expansion of (pow y 4) in x
3.941 * [taylor]: Taking taylor expansion of y in x
3.941 * [backup-simplify]: Simplify y into y
3.941 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.941 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
3.941 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
3.941 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
3.941 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
3.941 * [taylor]: Taking taylor expansion of (pow x 4) in x
3.941 * [taylor]: Taking taylor expansion of x in x
3.941 * [backup-simplify]: Simplify 0 into 0
3.941 * [backup-simplify]: Simplify 1 into 1
3.942 * [backup-simplify]: Simplify (* 1 1) into 1
3.942 * [backup-simplify]: Simplify (* 1 1) into 1
3.943 * [backup-simplify]: Simplify (/ 1 1) into 1
3.943 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
3.943 * [taylor]: Taking taylor expansion of (pow y 4) in x
3.943 * [taylor]: Taking taylor expansion of y in x
3.943 * [backup-simplify]: Simplify y into y
3.943 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.943 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
3.943 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
3.944 * [backup-simplify]: Simplify (+ 1 0) into 1
3.944 * [taylor]: Taking taylor expansion of 1 in y
3.944 * [backup-simplify]: Simplify 1 into 1
3.945 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.946 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.946 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.947 * [backup-simplify]: Simplify (+ 0 0) into 0
3.947 * [taylor]: Taking taylor expansion of 0 in y
3.947 * [backup-simplify]: Simplify 0 into 0
3.948 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.949 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.950 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.950 * [backup-simplify]: Simplify (+ 0 0) into 0
3.950 * [taylor]: Taking taylor expansion of 0 in y
3.950 * [backup-simplify]: Simplify 0 into 0
3.952 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.953 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.954 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.954 * [backup-simplify]: Simplify (+ 0 0) into 0
3.954 * [taylor]: Taking taylor expansion of 0 in y
3.954 * [backup-simplify]: Simplify 0 into 0
3.955 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 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 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.959 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4)))
3.959 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4)))
3.959 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y
3.959 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
3.959 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.959 * [taylor]: Taking taylor expansion of y in y
3.959 * [backup-simplify]: Simplify 0 into 0
3.959 * [backup-simplify]: Simplify 1 into 1
3.959 * [backup-simplify]: Simplify (* 1 1) into 1
3.960 * [backup-simplify]: Simplify (* 1 1) into 1
3.960 * [backup-simplify]: Simplify (/ 1 1) into 1
3.961 * [backup-simplify]: Simplify (- 1) into -1
3.961 * [backup-simplify]: Simplify -1 into -1
3.961 * [backup-simplify]: Simplify 1 into 1
3.962 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.964 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.965 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.965 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
3.965 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
3.965 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0
3.966 * [backup-simplify]: Simplify (- 0) into 0
3.966 * [backup-simplify]: Simplify (+ 0 0) into 0
3.966 * [taylor]: Taking taylor expansion of 0 in y
3.966 * [backup-simplify]: Simplify 0 into 0
3.967 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.968 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.968 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.969 * [backup-simplify]: Simplify (- 0) into 0
3.969 * [backup-simplify]: Simplify 0 into 0
3.969 * [backup-simplify]: Simplify 0 into 0
3.969 * [backup-simplify]: Simplify 0 into 0
3.970 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.972 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.973 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.973 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
3.974 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
3.974 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
3.974 * [backup-simplify]: Simplify (- 0) into 0
3.975 * [backup-simplify]: Simplify (+ 0 0) into 0
3.975 * [taylor]: Taking taylor expansion of 0 in y
3.975 * [backup-simplify]: Simplify 0 into 0
3.976 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.976 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.977 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.978 * [backup-simplify]: Simplify (- 0) into 0
3.978 * [backup-simplify]: Simplify 0 into 0
3.978 * [backup-simplify]: Simplify 0 into 0
3.978 * [backup-simplify]: Simplify 0 into 0
3.978 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 4)) (* -1 (pow (* (/ 1 (/ 1 y)) 1) 4))) into (- (pow x 4) (pow y 4))
3.979 * [backup-simplify]: Simplify (- (pow (/ 1 (- x)) 4) (pow (/ 1 (- y)) 4)) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))
3.979 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0
3.979 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y
3.979 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
3.979 * [taylor]: Taking taylor expansion of (pow x 4) in y
3.979 * [taylor]: Taking taylor expansion of x in y
3.979 * [backup-simplify]: Simplify x into x
3.979 * [backup-simplify]: Simplify (* x x) into (pow x 2)
3.979 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4)
3.979 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4))
3.979 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
3.979 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.979 * [taylor]: Taking taylor expansion of y in y
3.979 * [backup-simplify]: Simplify 0 into 0
3.979 * [backup-simplify]: Simplify 1 into 1
3.980 * [backup-simplify]: Simplify (* 1 1) into 1
3.980 * [backup-simplify]: Simplify (* 1 1) into 1
3.980 * [backup-simplify]: Simplify (/ 1 1) into 1
3.980 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
3.980 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
3.980 * [taylor]: Taking taylor expansion of (pow x 4) in x
3.980 * [taylor]: Taking taylor expansion of x in x
3.981 * [backup-simplify]: Simplify 0 into 0
3.981 * [backup-simplify]: Simplify 1 into 1
3.981 * [backup-simplify]: Simplify (* 1 1) into 1
3.981 * [backup-simplify]: Simplify (* 1 1) into 1
3.982 * [backup-simplify]: Simplify (/ 1 1) into 1
3.982 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
3.982 * [taylor]: Taking taylor expansion of (pow y 4) in x
3.982 * [taylor]: Taking taylor expansion of y in x
3.982 * [backup-simplify]: Simplify y into y
3.982 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.982 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
3.982 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
3.982 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
3.982 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
3.982 * [taylor]: Taking taylor expansion of (pow x 4) in x
3.982 * [taylor]: Taking taylor expansion of x in x
3.982 * [backup-simplify]: Simplify 0 into 0
3.982 * [backup-simplify]: Simplify 1 into 1
3.983 * [backup-simplify]: Simplify (* 1 1) into 1
3.983 * [backup-simplify]: Simplify (* 1 1) into 1
3.983 * [backup-simplify]: Simplify (/ 1 1) into 1
3.983 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
3.983 * [taylor]: Taking taylor expansion of (pow y 4) in x
3.983 * [taylor]: Taking taylor expansion of y in x
3.983 * [backup-simplify]: Simplify y into y
3.984 * [backup-simplify]: Simplify (* y y) into (pow y 2)
3.984 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
3.984 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
3.984 * [backup-simplify]: Simplify (+ 1 0) into 1
3.984 * [taylor]: Taking taylor expansion of 1 in y
3.984 * [backup-simplify]: Simplify 1 into 1
3.985 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.986 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.986 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.987 * [backup-simplify]: Simplify (+ 0 0) into 0
3.987 * [taylor]: Taking taylor expansion of 0 in y
3.987 * [backup-simplify]: Simplify 0 into 0
3.988 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.989 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.989 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.990 * [backup-simplify]: Simplify (+ 0 0) into 0
3.990 * [taylor]: Taking taylor expansion of 0 in y
3.990 * [backup-simplify]: Simplify 0 into 0
3.991 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.992 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.993 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.993 * [backup-simplify]: Simplify (+ 0 0) into 0
3.993 * [taylor]: Taking taylor expansion of 0 in y
3.993 * [backup-simplify]: Simplify 0 into 0
3.995 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.996 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.997 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.998 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4)))
3.998 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4)))
3.998 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y
3.998 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
3.998 * [taylor]: Taking taylor expansion of (pow y 4) in y
3.998 * [taylor]: Taking taylor expansion of y in y
3.998 * [backup-simplify]: Simplify 0 into 0
3.998 * [backup-simplify]: Simplify 1 into 1
3.998 * [backup-simplify]: Simplify (* 1 1) into 1
3.999 * [backup-simplify]: Simplify (* 1 1) into 1
3.999 * [backup-simplify]: Simplify (/ 1 1) into 1
3.999 * [backup-simplify]: Simplify (- 1) into -1
3.999 * [backup-simplify]: Simplify -1 into -1
4.000 * [backup-simplify]: Simplify 1 into 1
4.001 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.002 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.003 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.003 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
4.004 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
4.004 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0
4.004 * [backup-simplify]: Simplify (- 0) into 0
4.005 * [backup-simplify]: Simplify (+ 0 0) into 0
4.005 * [taylor]: Taking taylor expansion of 0 in y
4.005 * [backup-simplify]: Simplify 0 into 0
4.005 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.006 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.007 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.007 * [backup-simplify]: Simplify (- 0) into 0
4.007 * [backup-simplify]: Simplify 0 into 0
4.007 * [backup-simplify]: Simplify 0 into 0
4.007 * [backup-simplify]: Simplify 0 into 0
4.009 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.010 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.011 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.012 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
4.012 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
4.013 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
4.013 * [backup-simplify]: Simplify (- 0) into 0
4.014 * [backup-simplify]: Simplify (+ 0 0) into 0
4.014 * [taylor]: Taking taylor expansion of 0 in y
4.014 * [backup-simplify]: Simplify 0 into 0
4.015 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.016 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.016 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.017 * [backup-simplify]: Simplify (- 0) into 0
4.017 * [backup-simplify]: Simplify 0 into 0
4.017 * [backup-simplify]: Simplify 0 into 0
4.017 * [backup-simplify]: Simplify 0 into 0
4.017 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 4)) (* -1 (pow (* (/ 1 (/ 1 (- y))) 1) 4))) into (- (pow x 4) (pow y 4))
4.018 * * * [progress]: simplifying candidates
4.018 * * * * [progress]: [ 1 / 27 ] simplifiying candidate #<alt (λ (x y) (log (/ (exp (pow x 4)) (exp (pow y 4)))))>
4.018 * * * * [progress]: [ 2 / 27 ] simplifiying candidate #<alt (λ (x y) (pow (- (pow x 4) (pow y 4)) 1))>
4.018 * * * * [progress]: [ 3 / 27 ] simplifiying candidate #<alt (λ (x y) (exp (log (- (pow x 4) (pow y 4)))))>
4.018 * * * * [progress]: [ 4 / 27 ] simplifiying candidate #<alt (λ (x y) (log (exp (- (pow x 4) (pow y 4)))))>
4.018 * * * * [progress]: [ 5 / 27 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4)))) (cbrt (- (pow x 4) (pow y 4)))))>
4.018 * * * * [progress]: [ 6 / 27 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (- (pow x 4) (pow y 4)) (- (pow x 4) (pow y 4))) (- (pow x 4) (pow y 4)))))>
4.018 * * * * [progress]: [ 7 / 27 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (- (pow x 4) (pow y 4))) (sqrt (- (pow x 4) (pow y 4)))))>
4.018 * * * * [progress]: [ 8 / 27 ] simplifiying candidate #<alt (λ (x y) (/ (- (pow (pow x 4) 3) (pow (pow y 4) 3)) (+ (* (pow x 4) (pow x 4)) (+ (* (pow y 4) (pow y 4)) (* (pow x 4) (pow y 4))))))>
4.019 * * * * [progress]: [ 9 / 27 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow y 4))))>
4.019 * * * * [progress]: [ 10 / 27 ] simplifiying candidate #<alt (λ (x y) (* 1 (- (pow x 4) (pow y 4))))>
4.019 * * * * [progress]: [ 11 / 27 ] simplifiying candidate #<alt (λ (x y) (/ (- (* (pow x 4) (pow x 4)) (* (pow y 4) (pow y 4))) (+ (pow x 4) (pow y 4))))>
4.019 * * * * [progress]: [ 12 / 27 ] simplifiying candidate #<alt (λ (x y) (* (+ (pow (sqrt x) 4) (pow (sqrt y) 4)) (- (pow (sqrt x) 4) (pow (sqrt y) 4))))>
4.019 * * * * [progress]: [ 13 / 27 ] simplifiying candidate #<alt (λ (x y) (* (+ (pow (sqrt x) 4) (sqrt (pow y 4))) (- (pow (sqrt x) 4) (sqrt (pow y 4)))))>
4.019 * * * * [progress]: [ 14 / 27 ] simplifiying candidate #<alt (λ (x y) (* (+ (pow (sqrt x) 4) (pow y (/ 4 2))) (- (pow (sqrt x) 4) (pow y (/ 4 2)))))>
4.019 * * * * [progress]: [ 15 / 27 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (pow (sqrt y) 4)) (- (sqrt (pow x 4)) (pow (sqrt y) 4))))>
4.019 * * * * [progress]: [ 16 / 27 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (sqrt (pow y 4))) (- (sqrt (pow x 4)) (sqrt (pow y 4)))))>
4.019 * * * * [progress]: [ 17 / 27 ] simplifiying candidate #<alt (λ (x y) (* (+ (sqrt (pow x 4)) (pow y (/ 4 2))) (- (sqrt (pow x 4)) (pow y (/ 4 2)))))>
4.019 * * * * [progress]: [ 18 / 27 ] simplifiying candidate #<alt (λ (x y) (* (+ (pow x (/ 4 2)) (pow (sqrt y) 4)) (- (pow x (/ 4 2)) (pow (sqrt y) 4))))>
4.019 * * * * [progress]: [ 19 / 27 ] simplifiying candidate #<alt (λ (x y) (* (+ (pow x (/ 4 2)) (sqrt (pow y 4))) (- (pow x (/ 4 2)) (sqrt (pow y 4)))))>
4.019 * * * * [progress]: [ 20 / 27 ] simplifiying candidate #<alt (λ (x y) (* (+ (pow x (/ 4 2)) (pow y (/ 4 2))) (- (pow x (/ 4 2)) (pow y (/ 4 2)))))>
4.019 * * * * [progress]: [ 21 / 27 ] simplifiying candidate #<alt (λ (x y) (* (pow 1 4) (- (pow x 4) (pow y 4))))>
4.019 * * * * [progress]: [ 22 / 27 ] simplifiying candidate #<alt (λ (x y) (* 1 (- (pow x 4) (pow y 4))))>
4.019 * * * * [progress]: [ 23 / 27 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow y 4))))>
4.019 * * * * [progress]: [ 24 / 27 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (- (pow x 4) (pow y 4)))))>
4.020 * * * * [progress]: [ 25 / 27 ] simplifiying candidate #<alt (λ (x y) 0)>
4.020 * * * * [progress]: [ 26 / 27 ] simplifiying candidate #<alt (λ (x y) (- (pow x 4) (pow y 4)))>
4.020 * * * * [progress]: [ 27 / 27 ] simplifiying candidate #<alt (λ (x y) (- (pow x 4) (pow y 4)))>
4.021 * [simplify]: Simplifying:
  (/ (exp (pow x 4)) (exp (pow y 4)))
  (log (- (pow x 4) (pow y 4)))
  (exp (- (pow x 4) (pow y 4)))
  (* (cbrt (- (pow x 4) (pow y 4))) (cbrt (- (pow x 4) (pow y 4))))
  (cbrt (- (pow x 4) (pow y 4)))
  (* (* (- (pow x 4) (pow y 4)) (- (pow x 4) (pow y 4))) (- (pow x 4) (pow y 4)))
  (sqrt (- (pow x 4) (pow y 4)))
  (sqrt (- (pow x 4) (pow y 4)))
  (- (pow (pow x 4) 3) (pow (pow y 4) 3))
  (+ (* (pow x 4) (pow x 4)) (+ (* (pow y 4) (pow y 4)) (* (pow x 4) (pow y 4))))
  (- (pow y 4))
  (- (* (pow x 4) (pow x 4)) (* (pow y 4) (pow y 4)))
  (+ (pow x 4) (pow y 4))
  (+ (pow (sqrt x) 4) (pow (sqrt y) 4))
  (- (pow (sqrt x) 4) (pow (sqrt y) 4))
  (+ (pow (sqrt x) 4) (sqrt (pow y 4)))
  (- (pow (sqrt x) 4) (sqrt (pow y 4)))
  (+ (pow (sqrt x) 4) (pow y (/ 4 2)))
  (- (pow (sqrt x) 4) (pow y (/ 4 2)))
  (+ (sqrt (pow x 4)) (pow (sqrt y) 4))
  (- (sqrt (pow x 4)) (pow (sqrt y) 4))
  (+ (sqrt (pow x 4)) (sqrt (pow y 4)))
  (- (sqrt (pow x 4)) (sqrt (pow y 4)))
  (+ (sqrt (pow x 4)) (pow y (/ 4 2)))
  (- (sqrt (pow x 4)) (pow y (/ 4 2)))
  (+ (pow x (/ 4 2)) (pow (sqrt y) 4))
  (- (pow x (/ 4 2)) (pow (sqrt y) 4))
  (+ (pow x (/ 4 2)) (sqrt (pow y 4)))
  (- (pow x (/ 4 2)) (sqrt (pow y 4)))
  (+ (pow x (/ 4 2)) (pow y (/ 4 2)))
  (- (pow x (/ 4 2)) (pow y (/ 4 2)))
  (- (pow x 4) (pow y 4))
  (- (pow x 4) (pow y 4))
  (- (pow y 4))
  (real->posit16 (- (pow x 4) (pow y 4)))
  0
  (- (pow x 4) (pow y 4))
  (- (pow x 4) (pow y 4))
4.022 * * [simplify]: iteration 1: (58 enodes)
4.044 * * [simplify]: iteration 2: (118 enodes)
4.103 * * [simplify]: iteration 3: (288 enodes)
4.264 * * [simplify]: iteration 4: (899 enodes)
6.514 * * [simplify]: Extracting #0: cost 22 inf + 0
6.514 * * [simplify]: Extracting #1: cost 208 inf + 1
6.517 * * [simplify]: Extracting #2: cost 747 inf + 1085
6.528 * * [simplify]: Extracting #3: cost 873 inf + 19158
6.563 * * [simplify]: Extracting #4: cost 376 inf + 127972
6.649 * * [simplify]: Extracting #5: cost 26 inf + 236946
6.763 * * [simplify]: Extracting #6: cost 0 inf + 246086
6.875 * [simplify]: Simplified to:
  (exp (- (* (* x x) (* x x)) (* (* y y) (* y y))))
  (log (- (* (* x x) (* x x)) (* (* y y) (* y y))))
  (exp (- (* (* x x) (* x x)) (* (* y y) (* y y))))
  (* (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y)))))
  (cbrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))
  (* (* (- (* (* x x) (* x x)) (* (* y y) (* y y))) (- (* (* x x) (* x x)) (* (* y y) (* y y)))) (- (* (* x x) (* x x)) (* (* y y) (* y y))))
  (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))
  (sqrt (- (* (* x x) (* x x)) (* (* y y) (* y y))))
  (- (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* (* x x) (* x x)))) (* (* (* (* y y) (* y y)) (* (* y y) (* y y))) (* (* y y) (* y y))))
  (+ (* (* (* x x) (* x x)) (* (* x x) (* x x))) (* (+ (* (* y y) (* y y)) (* (* x x) (* x x))) (* (* y y) (* y y))))
  (- (* (* y y) (* y y)))
  (- (* (* (* x x) (* x x)) (* (* x x) (* x x))) (* (* (* y y) (* y y)) (* (* y y) (* y y))))
  (+ (* (* y y) (* y y)) (* (* x x) (* x x)))
  (+ (* x x) (* y y))
  (- (* x x) (* y y))
  (+ (* x x) (fabs (* y y)))
  (- (* x x) (fabs (* y y)))
  (+ (* x x) (* y y))
  (- (* x x) (* y y))
  (+ (* y y) (fabs (* x x)))
  (- (fabs (* x x)) (* y y))
  (+ (fabs (* x x)) (fabs (* y y)))
  (- (fabs (* x x)) (fabs (* y y)))
  (+ (* y y) (fabs (* x x)))
  (- (fabs (* x x)) (* y y))
  (+ (* x x) (* y y))
  (- (* x x) (* y y))
  (+ (* x x) (fabs (* y y)))
  (- (* x x) (fabs (* y y)))
  (+ (* x x) (* y y))
  (- (* x x) (* y y))
  (- (* (* x x) (* x x)) (* (* y y) (* y y)))
  (- (* (* x x) (* x x)) (* (* y y) (* y y)))
  (- (* (* y y) (* y y)))
  (real->posit16 (- (* (* x x) (* x x)) (* (* y y) (* y y))))
  0
  (- (* (* x x) (* x x)) (* (* y y) (* y y)))
  (- (* (* x x) (* x x)) (* (* y y) (* y y)))
6.877 * * * [progress]: adding candidates to table
7.098 * * [progress]: iteration 2 / 4
7.098 * * * [progress]: picking best candidate
7.100 * * * * [pick]: Picked  #<alt (λ (x y) (+ (pow x 4) (- (* (* y y) (* y y)))))>
7.100 * * * [progress]: localizing error
7.120 * * * [progress]: generating rewritten candidates
7.120 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1)
7.166 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
7.186 * * * [progress]: generating series expansions
7.186 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1)
7.187 * [backup-simplify]: Simplify (* (* y y) (* y y)) into (pow y 4)
7.187 * [approximate]: Taking taylor expansion of (pow y 4) in (y) around 0
7.187 * [taylor]: Taking taylor expansion of (pow y 4) in y
7.187 * [taylor]: Taking taylor expansion of y in y
7.187 * [backup-simplify]: Simplify 0 into 0
7.187 * [backup-simplify]: Simplify 1 into 1
7.187 * [taylor]: Taking taylor expansion of (pow y 4) in y
7.187 * [taylor]: Taking taylor expansion of y in y
7.187 * [backup-simplify]: Simplify 0 into 0
7.187 * [backup-simplify]: Simplify 1 into 1
7.188 * [backup-simplify]: Simplify (* 1 1) into 1
7.188 * [backup-simplify]: Simplify (* 1 1) into 1
7.188 * [backup-simplify]: Simplify 1 into 1
7.189 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.189 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.190 * [backup-simplify]: Simplify 0 into 0
7.190 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.191 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.191 * [backup-simplify]: Simplify 0 into 0
7.193 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.193 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.193 * [backup-simplify]: Simplify 0 into 0
7.194 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.195 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.195 * [backup-simplify]: Simplify 0 into 0
7.196 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.197 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.197 * [backup-simplify]: Simplify 0 into 0
7.198 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.198 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.199 * [backup-simplify]: Simplify 0 into 0
7.199 * [backup-simplify]: Simplify (* 1 (pow y 4)) into (pow y 4)
7.199 * [backup-simplify]: Simplify (* (* (/ 1 y) (/ 1 y)) (* (/ 1 y) (/ 1 y))) into (/ 1 (pow y 4))
7.199 * [approximate]: Taking taylor expansion of (/ 1 (pow y 4)) in (y) around 0
7.199 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
7.199 * [taylor]: Taking taylor expansion of (pow y 4) in y
7.199 * [taylor]: Taking taylor expansion of y in y
7.199 * [backup-simplify]: Simplify 0 into 0
7.199 * [backup-simplify]: Simplify 1 into 1
7.199 * [backup-simplify]: Simplify (* 1 1) into 1
7.199 * [backup-simplify]: Simplify (* 1 1) into 1
7.200 * [backup-simplify]: Simplify (/ 1 1) into 1
7.200 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
7.200 * [taylor]: Taking taylor expansion of (pow y 4) in y
7.200 * [taylor]: Taking taylor expansion of y in y
7.200 * [backup-simplify]: Simplify 0 into 0
7.200 * [backup-simplify]: Simplify 1 into 1
7.200 * [backup-simplify]: Simplify (* 1 1) into 1
7.200 * [backup-simplify]: Simplify (* 1 1) into 1
7.200 * [backup-simplify]: Simplify (/ 1 1) into 1
7.200 * [backup-simplify]: Simplify 1 into 1
7.201 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.201 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.202 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.202 * [backup-simplify]: Simplify 0 into 0
7.202 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.203 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.203 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.203 * [backup-simplify]: Simplify 0 into 0
7.204 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.205 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.205 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.206 * [backup-simplify]: Simplify 0 into 0
7.206 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.212 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.212 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.212 * [backup-simplify]: Simplify 0 into 0
7.213 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.215 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.216 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.216 * [backup-simplify]: Simplify 0 into 0
7.217 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.218 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.218 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.218 * [backup-simplify]: Simplify 0 into 0
7.218 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 y)) 4)) into (pow y 4)
7.218 * [backup-simplify]: Simplify (* (* (/ 1 (- y)) (/ 1 (- y))) (* (/ 1 (- y)) (/ 1 (- y)))) into (/ 1 (pow y 4))
7.219 * [approximate]: Taking taylor expansion of (/ 1 (pow y 4)) in (y) around 0
7.219 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
7.219 * [taylor]: Taking taylor expansion of (pow y 4) in y
7.219 * [taylor]: Taking taylor expansion of y in y
7.219 * [backup-simplify]: Simplify 0 into 0
7.219 * [backup-simplify]: Simplify 1 into 1
7.219 * [backup-simplify]: Simplify (* 1 1) into 1
7.219 * [backup-simplify]: Simplify (* 1 1) into 1
7.219 * [backup-simplify]: Simplify (/ 1 1) into 1
7.219 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
7.219 * [taylor]: Taking taylor expansion of (pow y 4) in y
7.219 * [taylor]: Taking taylor expansion of y in y
7.219 * [backup-simplify]: Simplify 0 into 0
7.219 * [backup-simplify]: Simplify 1 into 1
7.220 * [backup-simplify]: Simplify (* 1 1) into 1
7.220 * [backup-simplify]: Simplify (* 1 1) into 1
7.220 * [backup-simplify]: Simplify (/ 1 1) into 1
7.220 * [backup-simplify]: Simplify 1 into 1
7.221 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.221 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.222 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.222 * [backup-simplify]: Simplify 0 into 0
7.222 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.223 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.223 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.223 * [backup-simplify]: Simplify 0 into 0
7.224 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.224 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.225 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.225 * [backup-simplify]: Simplify 0 into 0
7.226 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.226 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.227 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.227 * [backup-simplify]: Simplify 0 into 0
7.228 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.228 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.229 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.229 * [backup-simplify]: Simplify 0 into 0
7.230 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.231 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.232 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.232 * [backup-simplify]: Simplify 0 into 0
7.232 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- y))) 4)) into (pow y 4)
7.232 * * * * [progress]: [ 2 / 2 ] generating series at (2)
7.232 * [backup-simplify]: Simplify (+ (pow x 4) (- (* (* y y) (* y y)))) into (- (pow x 4) (pow y 4))
7.232 * [approximate]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in (x y) around 0
7.232 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in y
7.232 * [taylor]: Taking taylor expansion of (pow x 4) in y
7.232 * [taylor]: Taking taylor expansion of x in y
7.232 * [backup-simplify]: Simplify x into x
7.232 * [taylor]: Taking taylor expansion of (pow y 4) in y
7.232 * [taylor]: Taking taylor expansion of y in y
7.232 * [backup-simplify]: Simplify 0 into 0
7.232 * [backup-simplify]: Simplify 1 into 1
7.232 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x
7.232 * [taylor]: Taking taylor expansion of (pow x 4) in x
7.232 * [taylor]: Taking taylor expansion of x in x
7.232 * [backup-simplify]: Simplify 0 into 0
7.232 * [backup-simplify]: Simplify 1 into 1
7.232 * [taylor]: Taking taylor expansion of (pow y 4) in x
7.232 * [taylor]: Taking taylor expansion of y in x
7.232 * [backup-simplify]: Simplify y into y
7.232 * [taylor]: Taking taylor expansion of (- (pow x 4) (pow y 4)) in x
7.232 * [taylor]: Taking taylor expansion of (pow x 4) in x
7.232 * [taylor]: Taking taylor expansion of x in x
7.233 * [backup-simplify]: Simplify 0 into 0
7.233 * [backup-simplify]: Simplify 1 into 1
7.233 * [taylor]: Taking taylor expansion of (pow y 4) in x
7.233 * [taylor]: Taking taylor expansion of y in x
7.233 * [backup-simplify]: Simplify y into y
7.233 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.233 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
7.233 * [backup-simplify]: Simplify (- (pow y 4)) into (- (pow y 4))
7.233 * [backup-simplify]: Simplify (+ 0 (- (pow y 4))) into (- (pow y 4))
7.233 * [taylor]: Taking taylor expansion of (- (pow y 4)) in y
7.233 * [taylor]: Taking taylor expansion of (pow y 4) in y
7.233 * [taylor]: Taking taylor expansion of y in y
7.233 * [backup-simplify]: Simplify 0 into 0
7.233 * [backup-simplify]: Simplify 1 into 1
7.233 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
7.233 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
7.233 * [backup-simplify]: Simplify (- 0) into 0
7.234 * [backup-simplify]: Simplify (+ 0 0) into 0
7.234 * [taylor]: Taking taylor expansion of 0 in y
7.234 * [backup-simplify]: Simplify 0 into 0
7.234 * [backup-simplify]: Simplify 0 into 0
7.234 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
7.234 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
7.234 * [backup-simplify]: Simplify (- 0) into 0
7.235 * [backup-simplify]: Simplify (+ 0 0) into 0
7.235 * [taylor]: Taking taylor expansion of 0 in y
7.235 * [backup-simplify]: Simplify 0 into 0
7.235 * [backup-simplify]: Simplify 0 into 0
7.235 * [backup-simplify]: Simplify 0 into 0
7.235 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
7.236 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow y 2))))) into 0
7.236 * [backup-simplify]: Simplify (- 0) into 0
7.236 * [backup-simplify]: Simplify (+ 0 0) into 0
7.236 * [taylor]: Taking taylor expansion of 0 in y
7.236 * [backup-simplify]: Simplify 0 into 0
7.236 * [backup-simplify]: Simplify 0 into 0
7.236 * [backup-simplify]: Simplify 0 into 0
7.236 * [backup-simplify]: Simplify 0 into 0
7.237 * [backup-simplify]: Simplify 0 into 0
7.237 * [backup-simplify]: Simplify (+ (pow (/ 1 x) 4) (- (* (* (/ 1 y) (/ 1 y)) (* (/ 1 y) (/ 1 y))))) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))
7.237 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0
7.237 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y
7.237 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
7.237 * [taylor]: Taking taylor expansion of (pow x 4) in y
7.237 * [taylor]: Taking taylor expansion of x in y
7.237 * [backup-simplify]: Simplify x into x
7.237 * [backup-simplify]: Simplify (* x x) into (pow x 2)
7.237 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4)
7.237 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4))
7.237 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
7.237 * [taylor]: Taking taylor expansion of (pow y 4) in y
7.237 * [taylor]: Taking taylor expansion of y in y
7.237 * [backup-simplify]: Simplify 0 into 0
7.237 * [backup-simplify]: Simplify 1 into 1
7.237 * [backup-simplify]: Simplify (* 1 1) into 1
7.238 * [backup-simplify]: Simplify (* 1 1) into 1
7.238 * [backup-simplify]: Simplify (/ 1 1) into 1
7.238 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
7.238 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
7.238 * [taylor]: Taking taylor expansion of (pow x 4) in x
7.238 * [taylor]: Taking taylor expansion of x in x
7.238 * [backup-simplify]: Simplify 0 into 0
7.238 * [backup-simplify]: Simplify 1 into 1
7.238 * [backup-simplify]: Simplify (* 1 1) into 1
7.238 * [backup-simplify]: Simplify (* 1 1) into 1
7.239 * [backup-simplify]: Simplify (/ 1 1) into 1
7.239 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
7.239 * [taylor]: Taking taylor expansion of (pow y 4) in x
7.239 * [taylor]: Taking taylor expansion of y in x
7.239 * [backup-simplify]: Simplify y into y
7.239 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.239 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
7.239 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
7.239 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
7.239 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
7.239 * [taylor]: Taking taylor expansion of (pow x 4) in x
7.239 * [taylor]: Taking taylor expansion of x in x
7.239 * [backup-simplify]: Simplify 0 into 0
7.239 * [backup-simplify]: Simplify 1 into 1
7.239 * [backup-simplify]: Simplify (* 1 1) into 1
7.239 * [backup-simplify]: Simplify (* 1 1) into 1
7.240 * [backup-simplify]: Simplify (/ 1 1) into 1
7.240 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
7.240 * [taylor]: Taking taylor expansion of (pow y 4) in x
7.240 * [taylor]: Taking taylor expansion of y in x
7.240 * [backup-simplify]: Simplify y into y
7.240 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.240 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
7.240 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
7.240 * [backup-simplify]: Simplify (+ 1 0) into 1
7.240 * [taylor]: Taking taylor expansion of 1 in y
7.240 * [backup-simplify]: Simplify 1 into 1
7.241 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.241 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.241 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.242 * [backup-simplify]: Simplify (+ 0 0) into 0
7.242 * [taylor]: Taking taylor expansion of 0 in y
7.242 * [backup-simplify]: Simplify 0 into 0
7.242 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.243 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.243 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.244 * [backup-simplify]: Simplify (+ 0 0) into 0
7.244 * [taylor]: Taking taylor expansion of 0 in y
7.244 * [backup-simplify]: Simplify 0 into 0
7.244 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.245 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.246 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.247 * [backup-simplify]: Simplify (+ 0 0) into 0
7.247 * [taylor]: Taking taylor expansion of 0 in y
7.247 * [backup-simplify]: Simplify 0 into 0
7.248 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.249 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.250 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.250 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4)))
7.250 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4)))
7.250 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y
7.250 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
7.250 * [taylor]: Taking taylor expansion of (pow y 4) in y
7.250 * [taylor]: Taking taylor expansion of y in y
7.250 * [backup-simplify]: Simplify 0 into 0
7.250 * [backup-simplify]: Simplify 1 into 1
7.251 * [backup-simplify]: Simplify (* 1 1) into 1
7.251 * [backup-simplify]: Simplify (* 1 1) into 1
7.252 * [backup-simplify]: Simplify (/ 1 1) into 1
7.252 * [backup-simplify]: Simplify (- 1) into -1
7.252 * [backup-simplify]: Simplify -1 into -1
7.252 * [backup-simplify]: Simplify 1 into 1
7.253 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.255 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.256 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.256 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
7.256 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
7.256 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0
7.257 * [backup-simplify]: Simplify (- 0) into 0
7.257 * [backup-simplify]: Simplify (+ 0 0) into 0
7.257 * [taylor]: Taking taylor expansion of 0 in y
7.257 * [backup-simplify]: Simplify 0 into 0
7.258 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.259 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.259 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.260 * [backup-simplify]: Simplify (- 0) into 0
7.260 * [backup-simplify]: Simplify 0 into 0
7.260 * [backup-simplify]: Simplify 0 into 0
7.260 * [backup-simplify]: Simplify 0 into 0
7.261 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.263 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.264 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.264 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
7.265 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
7.265 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
7.265 * [backup-simplify]: Simplify (- 0) into 0
7.266 * [backup-simplify]: Simplify (+ 0 0) into 0
7.266 * [taylor]: Taking taylor expansion of 0 in y
7.266 * [backup-simplify]: Simplify 0 into 0
7.267 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.268 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.269 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.269 * [backup-simplify]: Simplify (- 0) into 0
7.269 * [backup-simplify]: Simplify 0 into 0
7.269 * [backup-simplify]: Simplify 0 into 0
7.269 * [backup-simplify]: Simplify 0 into 0
7.269 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 x))) 4)) (* -1 (pow (* (/ 1 (/ 1 y)) 1) 4))) into (- (pow x 4) (pow y 4))
7.270 * [backup-simplify]: Simplify (+ (pow (/ 1 (- x)) 4) (- (* (* (/ 1 (- y)) (/ 1 (- y))) (* (/ 1 (- y)) (/ 1 (- y)))))) into (- (/ 1 (pow x 4)) (/ 1 (pow y 4)))
7.270 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in (x y) around 0
7.270 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in y
7.270 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in y
7.270 * [taylor]: Taking taylor expansion of (pow x 4) in y
7.270 * [taylor]: Taking taylor expansion of x in y
7.270 * [backup-simplify]: Simplify x into x
7.270 * [backup-simplify]: Simplify (* x x) into (pow x 2)
7.270 * [backup-simplify]: Simplify (* (pow x 2) (pow x 2)) into (pow x 4)
7.270 * [backup-simplify]: Simplify (/ 1 (pow x 4)) into (/ 1 (pow x 4))
7.270 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
7.270 * [taylor]: Taking taylor expansion of (pow y 4) in y
7.270 * [taylor]: Taking taylor expansion of y in y
7.271 * [backup-simplify]: Simplify 0 into 0
7.271 * [backup-simplify]: Simplify 1 into 1
7.271 * [backup-simplify]: Simplify (* 1 1) into 1
7.271 * [backup-simplify]: Simplify (* 1 1) into 1
7.272 * [backup-simplify]: Simplify (/ 1 1) into 1
7.272 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
7.272 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
7.272 * [taylor]: Taking taylor expansion of (pow x 4) in x
7.272 * [taylor]: Taking taylor expansion of x in x
7.272 * [backup-simplify]: Simplify 0 into 0
7.272 * [backup-simplify]: Simplify 1 into 1
7.272 * [backup-simplify]: Simplify (* 1 1) into 1
7.273 * [backup-simplify]: Simplify (* 1 1) into 1
7.273 * [backup-simplify]: Simplify (/ 1 1) into 1
7.273 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
7.273 * [taylor]: Taking taylor expansion of (pow y 4) in x
7.273 * [taylor]: Taking taylor expansion of y in x
7.273 * [backup-simplify]: Simplify y into y
7.273 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.273 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
7.273 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
7.273 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 4)) (/ 1 (pow y 4))) in x
7.273 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
7.273 * [taylor]: Taking taylor expansion of (pow x 4) in x
7.273 * [taylor]: Taking taylor expansion of x in x
7.274 * [backup-simplify]: Simplify 0 into 0
7.274 * [backup-simplify]: Simplify 1 into 1
7.274 * [backup-simplify]: Simplify (* 1 1) into 1
7.274 * [backup-simplify]: Simplify (* 1 1) into 1
7.275 * [backup-simplify]: Simplify (/ 1 1) into 1
7.275 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in x
7.275 * [taylor]: Taking taylor expansion of (pow y 4) in x
7.275 * [taylor]: Taking taylor expansion of y in x
7.275 * [backup-simplify]: Simplify y into y
7.275 * [backup-simplify]: Simplify (* y y) into (pow y 2)
7.275 * [backup-simplify]: Simplify (* (pow y 2) (pow y 2)) into (pow y 4)
7.275 * [backup-simplify]: Simplify (/ 1 (pow y 4)) into (/ 1 (pow y 4))
7.276 * [backup-simplify]: Simplify (+ 1 0) into 1
7.276 * [taylor]: Taking taylor expansion of 1 in y
7.276 * [backup-simplify]: Simplify 1 into 1
7.276 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.277 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.278 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.278 * [backup-simplify]: Simplify (+ 0 0) into 0
7.278 * [taylor]: Taking taylor expansion of 0 in y
7.278 * [backup-simplify]: Simplify 0 into 0
7.279 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.280 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.281 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.281 * [backup-simplify]: Simplify (+ 0 0) into 0
7.281 * [taylor]: Taking taylor expansion of 0 in y
7.281 * [backup-simplify]: Simplify 0 into 0
7.282 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.283 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.284 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.285 * [backup-simplify]: Simplify (+ 0 0) into 0
7.285 * [taylor]: Taking taylor expansion of 0 in y
7.285 * [backup-simplify]: Simplify 0 into 0
7.286 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.286 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.287 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.287 * [backup-simplify]: Simplify (- (/ 1 (pow y 4))) into (- (/ 1 (pow y 4)))
7.287 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 4)))) into (- (/ 1 (pow y 4)))
7.287 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 4))) in y
7.287 * [taylor]: Taking taylor expansion of (/ 1 (pow y 4)) in y
7.287 * [taylor]: Taking taylor expansion of (pow y 4) in y
7.287 * [taylor]: Taking taylor expansion of y in y
7.287 * [backup-simplify]: Simplify 0 into 0
7.287 * [backup-simplify]: Simplify 1 into 1
7.287 * [backup-simplify]: Simplify (* 1 1) into 1
7.288 * [backup-simplify]: Simplify (* 1 1) into 1
7.288 * [backup-simplify]: Simplify (/ 1 1) into 1
7.288 * [backup-simplify]: Simplify (- 1) into -1
7.288 * [backup-simplify]: Simplify -1 into -1
7.288 * [backup-simplify]: Simplify 1 into 1
7.289 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.290 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.290 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.291 * [backup-simplify]: Simplify (+ (* y 0) (* 0 y)) into 0
7.291 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (* 0 (pow y 2))) into 0
7.291 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))))) into 0
7.291 * [backup-simplify]: Simplify (- 0) into 0
7.291 * [backup-simplify]: Simplify (+ 0 0) into 0
7.291 * [taylor]: Taking taylor expansion of 0 in y
7.291 * [backup-simplify]: Simplify 0 into 0
7.292 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.293 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.293 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.293 * [backup-simplify]: Simplify (- 0) into 0
7.293 * [backup-simplify]: Simplify 0 into 0
7.293 * [backup-simplify]: Simplify 0 into 0
7.293 * [backup-simplify]: Simplify 0 into 0
7.294 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.295 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.296 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.296 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 y))) into 0
7.297 * [backup-simplify]: Simplify (+ (* (pow y 2) 0) (+ (* 0 0) (* 0 (pow y 2)))) into 0
7.297 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow y 4)) (/ 0 (pow y 4))) (* 0 (/ 0 (pow y 4))))) into 0
7.297 * [backup-simplify]: Simplify (- 0) into 0
7.297 * [backup-simplify]: Simplify (+ 0 0) into 0
7.297 * [taylor]: Taking taylor expansion of 0 in y
7.297 * [backup-simplify]: Simplify 0 into 0
7.298 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.298 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.299 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.299 * [backup-simplify]: Simplify (- 0) into 0
7.299 * [backup-simplify]: Simplify 0 into 0
7.299 * [backup-simplify]: Simplify 0 into 0
7.299 * [backup-simplify]: Simplify 0 into 0
7.299 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (/ 1 (/ 1 (- x)))) 4)) (* -1 (pow (* (/ 1 (/ 1 (- y))) 1) 4))) into (- (pow x 4) (pow y 4))
7.300 * * * [progress]: simplifying candidates
7.300 * * * * [progress]: [ 1 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow y (+ (+ 1 1) (+ 1 1))))))>
7.300 * * * * [progress]: [ 2 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow y (+ (+ 1 1) 2)))))>
7.300 * * * * [progress]: [ 3 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow y (+ (+ 1 1) (+ 1 1))))))>
7.300 * * * * [progress]: [ 4 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow y (+ (+ 1 1) (* 2 1))))))>
7.300 * * * * [progress]: [ 5 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow (* y y) (+ 1 1)))))>
7.300 * * * * [progress]: [ 6 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow (* y y) (+ 1 1)))))>
7.300 * * * * [progress]: [ 7 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow y (+ 2 (+ 1 1))))))>
7.300 * * * * [progress]: [ 8 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow y (+ 2 2)))))>
7.300 * * * * [progress]: [ 9 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow y (+ 2 (+ 1 1))))))>
7.300 * * * * [progress]: [ 10 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow y (+ 2 (* 2 1))))))>
7.300 * * * * [progress]: [ 11 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow y (+ (+ 1 1) (+ 1 1))))))>
7.300 * * * * [progress]: [ 12 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow y (+ (+ 1 1) 2)))))>
7.300 * * * * [progress]: [ 13 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow y (+ (+ 1 1) (+ 1 1))))))>
7.300 * * * * [progress]: [ 14 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow y (+ (+ 1 1) (* 2 1))))))>
7.300 * * * * [progress]: [ 15 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow (* y y) (+ 1 1)))))>
7.300 * * * * [progress]: [ 16 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow (* y y) (+ 1 1)))))>
7.300 * * * * [progress]: [ 17 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow y (+ (* 2 1) (+ 1 1))))))>
7.300 * * * * [progress]: [ 18 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow y (+ (* 2 1) 2)))))>
7.300 * * * * [progress]: [ 19 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow y (+ (* 2 1) (+ 1 1))))))>
7.300 * * * * [progress]: [ 20 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow y (+ (* 2 1) (* 2 1))))))>
7.300 * * * * [progress]: [ 21 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow (* y y) (+ 1 1)))))>
7.300 * * * * [progress]: [ 22 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow (* y y) (+ 1 1)))))>
7.300 * * * * [progress]: [ 23 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow (* (* y y) (* y y)) 1))))>
7.301 * * * * [progress]: [ 24 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow (* (* y y) (* y y)) 1))))>
7.301 * * * * [progress]: [ 25 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow (* y y) 2))))>
7.301 * * * * [progress]: [ 26 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow (* y y) (+ 1 1)))))>
7.301 * * * * [progress]: [ 27 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow (* y y) (+ 1 1)))))>
7.301 * * * * [progress]: [ 28 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow (* (* y y) (* y y)) 1))))>
7.301 * * * * [progress]: [ 29 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow (* (* y y) (* y y)) 1))))>
7.301 * * * * [progress]: [ 30 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow (* y y) (* 2 1)))))>
7.301 * * * * [progress]: [ 31 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow (* y y) 2))))>
7.301 * * * * [progress]: [ 32 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow (* y y) (+ 1 1)))))>
7.301 * * * * [progress]: [ 33 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow (* y y) (+ 1 1)))))>
7.301 * * * * [progress]: [ 34 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow (* (* y y) (* y y)) 1))))>
7.301 * * * * [progress]: [ 35 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (exp (+ (+ (log y) (log y)) (+ (log y) (log y)))))))>
7.301 * * * * [progress]: [ 36 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (exp (+ (+ (log y) (log y)) (log (* y y)))))))>
7.301 * * * * [progress]: [ 37 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (exp (+ (log (* y y)) (+ (log y) (log y)))))))>
7.301 * * * * [progress]: [ 38 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (exp (+ (log (* y y)) (log (* y y)))))))>
7.301 * * * * [progress]: [ 39 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (exp (log (* (* y y) (* y y)))))))>
7.301 * * * * [progress]: [ 40 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (log (exp (* (* y y) (* y y)))))))>
7.301 * * * * [progress]: [ 41 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (cbrt (* (* (* (* y y) y) (* (* y y) y)) (* (* (* y y) y) (* (* y y) y)))))))>
7.301 * * * * [progress]: [ 42 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (cbrt (* (* (* (* y y) y) (* (* y y) y)) (* (* (* y y) (* y y)) (* y y)))))))>
7.301 * * * * [progress]: [ 43 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (cbrt (* (* (* (* y y) (* y y)) (* y y)) (* (* (* y y) y) (* (* y y) y)))))))>
7.301 * * * * [progress]: [ 44 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (cbrt (* (* (* (* y y) (* y y)) (* y y)) (* (* (* y y) (* y y)) (* y y)))))))>
7.301 * * * * [progress]: [ 45 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (* (* (cbrt (* (* y y) (* y y))) (cbrt (* (* y y) (* y y)))) (cbrt (* (* y y) (* y y)))))))>
7.301 * * * * [progress]: [ 46 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (cbrt (* (* (* (* y y) (* y y)) (* (* y y) (* y y))) (* (* y y) (* y y)))))))>
7.301 * * * * [progress]: [ 47 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (* (sqrt (* (* y y) (* y y))) (sqrt (* (* y y) (* y y)))))))>
7.301 * * * * [progress]: [ 48 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (* 1 (* (* y y) (* y y))))))>
7.301 * * * * [progress]: [ 49 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (* (* y y) (* y y)))))>
7.302 * * * * [progress]: [ 50 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (* (* y y) (* y y)))))>
7.302 * * * * [progress]: [ 51 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow y (* 2 (+ 1 1))))))>
7.302 * * * * [progress]: [ 52 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow y (* 2 (+ 1 1))))))>
7.302 * * * * [progress]: [ 53 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow (* y y) (* 2 1)))))>
7.302 * * * * [progress]: [ 54 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow (* y y) (* 2 1)))))>
7.302 * * * * [progress]: [ 55 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow y (* 2 2)))))>
7.302 * * * * [progress]: [ 56 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow y (* 2 (+ 1 1))))))>
7.302 * * * * [progress]: [ 57 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow y (* 2 (+ 1 1))))))>
7.302 * * * * [progress]: [ 58 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow (* y y) (* 2 1)))))>
7.302 * * * * [progress]: [ 59 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow (* y y) (* 2 1)))))>
7.302 * * * * [progress]: [ 60 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow y (* 2 (* 2 1))))))>
7.302 * * * * [progress]: [ 61 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (* (* (* y y) y) y))))>
7.302 * * * * [progress]: [ 62 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (* y (* y (* y y))))))>
7.302 * * * * [progress]: [ 63 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (posit16->real (real->posit16 (* (* y y) (* y y)))))))>
7.302 * * * * [progress]: [ 64 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (* (* y y) (* y y)))))>
7.302 * * * * [progress]: [ 65 / 87 ] simplifiying candidate #<alt (λ (x y) (log (* (exp (pow x 4)) (/ 1 (exp (* (* y y) (* y y)))))))>
7.302 * * * * [progress]: [ 66 / 87 ] simplifiying candidate #<alt (λ (x y) (log (* (exp (pow x 4)) (exp (- (* (* y y) (* y y)))))))>
7.302 * * * * [progress]: [ 67 / 87 ] simplifiying candidate #<alt (λ (x y) (pow (+ (pow x 4) (- (* (* y y) (* y y)))) 1))>
7.302 * * * * [progress]: [ 68 / 87 ] simplifiying candidate #<alt (λ (x y) (exp (log (+ (pow x 4) (- (* (* y y) (* y y)))))))>
7.302 * * * * [progress]: [ 69 / 87 ] simplifiying candidate #<alt (λ (x y) (log (exp (+ (pow x 4) (- (* (* y y) (* y y)))))))>
7.302 * * * * [progress]: [ 70 / 87 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (+ (pow x 4) (- (* (* y y) (* y y))))) (cbrt (+ (pow x 4) (- (* (* y y) (* y y)))))) (cbrt (+ (pow x 4) (- (* (* y y) (* y y)))))))>
7.302 * * * * [progress]: [ 71 / 87 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (+ (pow x 4) (- (* (* y y) (* y y)))) (+ (pow x 4) (- (* (* y y) (* y y))))) (+ (pow x 4) (- (* (* y y) (* y y)))))))>
7.302 * * * * [progress]: [ 72 / 87 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ (pow x 4) (- (* (* y y) (* y y))))) (sqrt (+ (pow x 4) (- (* (* y y) (* y y)))))))>
7.302 * * * * [progress]: [ 73 / 87 ] simplifiying candidate #<alt (λ (x y) (/ (+ (pow (pow x 4) 3) (pow (- (* (* y y) (* y y))) 3)) (+ (* (pow x 4) (pow x 4)) (- (* (- (* (* y y) (* y y))) (- (* (* y y) (* y y)))) (* (pow x 4) (- (* (* y y) (* y y))))))))>
7.302 * * * * [progress]: [ 74 / 87 ] simplifiying candidate #<alt (λ (x y) (- (pow x 4) (* (* y y) (* y y))))>
7.302 * * * * [progress]: [ 75 / 87 ] simplifiying candidate #<alt (λ (x y) (* 1 (+ (pow x 4) (- (* (* y y) (* y y))))))>
7.302 * * * * [progress]: [ 76 / 87 ] simplifiying candidate #<alt (λ (x y) (/ (- (* (pow x 4) (pow x 4)) (* (- (* (* y y) (* y y))) (- (* (* y y) (* y y))))) (- (pow x 4) (- (* (* y y) (* y y))))))>
7.302 * * * * [progress]: [ 77 / 87 ] simplifiying candidate #<alt (λ (x y) (* 1 (+ (pow x 4) (- (* (* y y) (* y y))))))>
7.303 * * * * [progress]: [ 78 / 87 ] simplifiying candidate #<alt (λ (x y) (- (+ (pow x 4) 0) (* (* y y) (* y y))))>
7.303 * * * * [progress]: [ 79 / 87 ] simplifiying candidate #<alt (λ (x y) (- (pow x 4) (* (* y y) (* y y))))>
7.303 * * * * [progress]: [ 80 / 87 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (+ (pow x 4) (- (* (* y y) (* y y)))))))>
7.303 * * * * [progress]: [ 81 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (- (* (* y y) (* y y))) (pow x 4)))>
7.303 * * * * [progress]: [ 82 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow y 4))))>
7.303 * * * * [progress]: [ 83 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow y 4))))>
7.303 * * * * [progress]: [ 84 / 87 ] simplifiying candidate #<alt (λ (x y) (+ (pow x 4) (- (pow y 4))))>
7.303 * * * * [progress]: [ 85 / 87 ] simplifiying candidate #<alt (λ (x y) 0)>
7.303 * * * * [progress]: [ 86 / 87 ] simplifiying candidate #<alt (λ (x y) (- (pow x 4) (pow y 4)))>
7.303 * * * * [progress]: [ 87 / 87 ] simplifiying candidate #<alt (λ (x y) (- (pow x 4) (pow y 4)))>
7.303 * [simplify]: Simplifying:
  (+ (+ 1 1) (+ 1 1))
  (+ (+ 1 1) 2)
  (+ (+ 1 1) (+ 1 1))
  (+ (+ 1 1) (* 2 1))
  (+ 1 1)
  (+ 1 1)
  (+ 2 (+ 1 1))
  (+ 2 2)
  (+ 2 (+ 1 1))
  (+ 2 (* 2 1))
  (+ (+ 1 1) (+ 1 1))
  (+ (+ 1 1) 2)
  (+ (+ 1 1) (+ 1 1))
  (+ (+ 1 1) (* 2 1))
  (+ 1 1)
  (+ 1 1)
  (+ (* 2 1) (+ 1 1))
  (+ (* 2 1) 2)
  (+ (* 2 1) (+ 1 1))
  (+ (* 2 1) (* 2 1))
  (* y y)
  (* y y)
  (* (* y y) (* y y))
  (* (* y y) (* y y))
  (* y y)
  (* y y)
  (* y y)
  (* (* y y) (* y y))
  (* (* y y) (* y y))
  (* y y)
  (+ 1 1)
  (+ 1 1)
  (+ (+ (log y) (log y)) (+ (log y) (log y)))
  (+ (+ (log y) (log y)) (log (* y y)))
  (+ (log (* y y)) (+ (log y) (log y)))
  (+ (log (* y y)) (log (* y y)))
  (log (* (* y y) (* y y)))
  (exp (* (* y y) (* y y)))
  (* (* (* (* y y) y) (* (* y y) y)) (* (* (* y y) y) (* (* y y) y)))
  (* (* (* (* y y) y) (* (* y y) y)) (* (* (* y y) (* y y)) (* y y)))
  (* (* (* (* y y) (* y y)) (* y y)) (* (* (* y y) y) (* (* y y) y)))
  (* (* (* (* y y) (* y y)) (* y y)) (* (* (* y y) (* y y)) (* y y)))
  (* (cbrt (* (* y y) (* y y))) (cbrt (* (* y y) (* y y))))
  (cbrt (* (* y y) (* y y)))
  (* (* (* (* y y) (* y y)) (* (* y y) (* y y))) (* (* y y) (* y y)))
  (sqrt (* (* y y) (* y y)))
  (sqrt (* (* y y) (* y y)))
  (* y y)
  (* y y)
  (* y y)
  (* y y)
  (* 2 (+ 1 1))
  (* 2 (+ 1 1))
  (* 2 1)
  (* 2 1)
  (* 2 2)
  (* 2 (+ 1 1))
  (* 2 (+ 1 1))
  (* 2 1)
  (* 2 1)
  (* 2 (* 2 1))
  (* (* y y) y)
  (* y (* y y))
  (real->posit16 (* (* y y) (* y y)))
  (* (exp (pow x 4)) (/ 1 (exp (* (* y y) (* y y)))))
  (* (exp (pow x 4)) (exp (- (* (* y y) (* y y)))))
  (log (+ (pow x 4) (- (* (* y y) (* y y)))))
  (exp (+ (pow x 4) (- (* (* y y) (* y y)))))
  (* (cbrt (+ (pow x 4) (- (* (* y y) (* y y))))) (cbrt (+ (pow x 4) (- (* (* y y) (* y y))))))
  (cbrt (+ (pow x 4) (- (* (* y y) (* y y)))))
  (* (* (+ (pow x 4) (- (* (* y y) (* y y)))) (+ (pow x 4) (- (* (* y y) (* y y))))) (+ (pow x 4) (- (* (* y y) (* y y)))))
  (sqrt (+ (pow x 4) (- (* (* y y) (* y y)))))
  (sqrt (+ (pow x 4) (- (* (* y y) (* y y)))))
  (+ (pow (pow x 4) 3) (pow (- (* (* y y) (* y y))) 3))
  (+ (* (pow x 4) (pow x 4)) (- (* (- (* (* y y) (* y y))) (- (* (* y y) (* y y)))) (* (pow x 4) (- (* (* y y) (* y y))))))
  (- (* (pow x 4) (pow x 4)) (* (- (* (* y y) (* y y))) (- (* (* y y) (* y y)))))
  (- (pow x 4) (- (* (* y y) (* y y))))
  (+ (pow x 4) (- (* (* y y) (* y y))))
  (+ (pow x 4) 0)
  (real->posit16 (+ (pow x 4) (- (* (* y y) (* y y)))))
  (pow y 4)
  (pow y 4)
  (pow y 4)
  0
  (- (pow x 4) (pow y 4))
  (- (pow x 4) (pow y 4))
7.304 * * [simplify]: iteration 1: (75 enodes)
7.340 * * [simplify]: iteration 2: (186 enodes)
7.391 * * [simplify]: iteration 3: (496 enodes)
7.732 * * [simplify]: iteration 4: (1486 enodes)
9.996 * * [simplify]: Extracting #0: cost 26 inf + 0
9.997 * * [simplify]: Extracting #1: cost 291 inf + 3
10.002 * * [simplify]: Extracting #2: cost 1250 inf + 2854
10.016 * * [simplify]: Extracting #3: cost 1316 inf + 79553
10.102 * * [simplify]: Extracting #4: cost 411 inf + 425555
10.256 * * [simplify]: Extracting #5: cost 27 inf + 509189
10.413 * * [simplify]: Extracting #6: cost 0 inf + 494902
10.555 * * [simplify]: Extracting #7: cost 0 inf + 493898
10.737 * [simplify]: Simplified to:
  4
  4
  4
  4
  2
  2
  4
  4
  4
  4
  4
  4
  4
  4
  2
  2
  4
  4
  4
  4
  (* y y)
  (* y y)
  (* (* y y) (* y y))
  (* (* y y) (* y y))
  (* y y)
  (* y y)
  (* y y)
  (* (* y y) (* y y))
  (* (* y y) (* y y))
  (* y y)
  2
  2
  (* (log y) 4)
  (* (log y) 4)
  (* (log y) 4)
  (* (log y) 4)
  (* (log y) 4)
  (exp (* (* y y) (* y y)))
  (* (* (* (* y y) y) (* (* y y) y)) (* (* (* y y) y) (* (* y y) y)))
  (* (* (* (* y y) y) (* (* y y) y)) (* (* (* y y) y) (* (* y y) y)))
  (* (* (* (* y y) y) (* (* y y) y)) (* (* (* y y) y) (* (* y y) y)))
  (* (* (* (* y y) y) (* (* y y) y)) (* (* (* y y) y) (* (* y y) y)))
  (* (cbrt (* (* y y) (* y y))) (cbrt (* (* y y) (* y y))))
  (cbrt (* (* y y) (* y y)))
  (* (* (* (* y y) y) (* (* y y) y)) (* (* (* y y) y) (* (* y y) y)))
  (fabs (* y y))
  (fabs (* y y))
  (* y y)
  (* y y)
  (* y y)
  (* y y)
  4
  4
  2
  2
  4
  4
  4
  2
  2
  4
  (* (* y y) y)
  (* (* y y) y)
  (real->posit16 (* (* y y) (* y y)))
  (exp (* (+ (* y y) (* x x)) (- (* x x) (* y y))))
  (exp (* (+ (* y y) (* x x)) (- (* x x) (* y y))))
  (log (* (+ (* y y) (* x x)) (- (* x x) (* y y))))
  (exp (* (+ (* y y) (* x x)) (- (* x x) (* y y))))
  (* (cbrt (* (+ (* y y) (* x x)) (- (* x x) (* y y)))) (cbrt (* (+ (* y y) (* x x)) (- (* x x) (* y y)))))
  (cbrt (* (+ (* y y) (* x x)) (- (* x x) (* y y))))
  (* (* (* (+ (* y y) (* x x)) (- (* x x) (* y y))) (* (+ (* y y) (* x x)) (- (* x x) (* y y)))) (* (+ (* y y) (* x x)) (- (* x x) (* y y))))
  (sqrt (* (+ (* y y) (* x x)) (- (* x x) (* y y))))
  (sqrt (* (+ (* y y) (* x x)) (- (* x x) (* y y))))
  (- (* (* (* x x) (* x x)) (* (* (* x x) (* x x)) (* (* x x) (* x x)))) (* (* (* (* y y) y) (* (* y y) y)) (* (* (* y y) y) (* (* y y) y))))
  (+ (* (* (* y y) (* y y)) (* (* y y) (* y y))) (* (* (* x x) (* x x)) (+ (* (* x x) (* x x)) (* (* y y) (* y y)))))
  (- (* (* (* x x) (* x x)) (* (* x x) (* x x))) (* (* (* y y) (* y y)) (* (* y y) (* y y))))
  (+ (* (* x x) (* x x)) (* (* y y) (* y y)))
  (* (+ (* y y) (* x x)) (- (* x x) (* y y)))
  (* (* x x) (* x x))
  (real->posit16 (* (+ (* y y) (* x x)) (- (* x x) (* y y))))
  (* (* y y) (* y y))
  (* (* y y) (* y y))
  (* (* y y) (* y y))
  0
  (* (+ (* y y) (* x x)) (- (* x x) (* y y)))
  (* (+ (* y y) (* x x)) (- (* x x) (* y y)))
10.740 * * * [progress]: adding candidates to table
11.470 * [progress]: [Phase 3 of 3] Extracting.
11.470 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (- (pow x 4) (pow y 4)))> #<alt (λ (x y) (+ (pow x 4) (- (* (* y y) (* y y)))))>)
11.471 * * * [regime-changes]: Trying 5 branch expressions: (y (pow y 4) x (pow x 4) (- (pow x 4) (pow y 4)))
11.471 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (- (pow x 4) (pow y 4)))> #<alt (λ (x y) (+ (pow x 4) (- (* (* y y) (* y y)))))>)
11.492 * * * * [regimes]: Trying to branch on (pow y 4) from (#<alt (λ (x y) (- (pow x 4) (pow y 4)))> #<alt (λ (x y) (+ (pow x 4) (- (* (* y y) (* y y)))))>)
11.525 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (- (pow x 4) (pow y 4)))> #<alt (λ (x y) (+ (pow x 4) (- (* (* y y) (* y y)))))>)
11.553 * * * * [regimes]: Trying to branch on (pow x 4) from (#<alt (λ (x y) (- (pow x 4) (pow y 4)))> #<alt (λ (x y) (+ (pow x 4) (- (* (* y y) (* y y)))))>)
11.576 * * * * [regimes]: Trying to branch on (- (pow x 4) (pow y 4)) from (#<alt (λ (x y) (- (pow x 4) (pow y 4)))> #<alt (λ (x y) (+ (pow x 4) (- (* (* y y) (* y y)))))>)
11.612 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
11.613 * [simplify]: Simplifying:
  (- (pow x 4) (pow y 4))
11.613 * * [simplify]: iteration 1: (6 enodes)
11.613 * * [simplify]: Extracting #0: cost 1 inf + 0
11.613 * * [simplify]: Extracting #1: cost 3 inf + 0
11.613 * * [simplify]: Extracting #2: cost 6 inf + 0
11.613 * * [simplify]: Extracting #3: cost 2 inf + 215
11.613 * * [simplify]: Extracting #4: cost 0 inf + 890
11.613 * [simplify]: Simplified to:
  (- (pow x 4) (pow y 4))
14.118 * [regime-testing]: Baseline error score: 0.0018752344043005376
14.120 * [regime-testing]: Oracle error score: 0.0016252031503937992
14.126 * [regime-testing]: End program error score: 0.0018752344043005376