8.765 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.026 * * * [progress]: [2/2] Setting up program.
0.028 * [progress]: [Phase 2 of 3] Improving.
0.028 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x y) (- (+ x y) (* x y)))>
0.028 * [simplify]: Simplifying:
  (- (+ x y) (* x y))
0.029 * * [simplify]: iteration 0: 5 enodes
0.029 * * [simplify]: iteration 1: 11 enodes
0.031 * * [simplify]: iteration 2: 25 enodes
0.034 * * [simplify]: iteration 3: 41 enodes
0.040 * * [simplify]: iteration 4: 64 enodes
0.048 * * [simplify]: iteration 5: 90 enodes
0.092 * * [simplify]: iteration 6: 189 enodes
0.120 * * [simplify]: iteration 7: 406 enodes
0.445 * * [simplify]: iteration 8: 891 enodes
1.136 * * [simplify]: iteration 9: 1862 enodes
3.066 * * [simplify]: iteration 10: 2837 enodes
6.842 * * [simplify]: iteration 11: 3581 enodes
7.718 * * [simplify]: iteration 12: 4076 enodes
7.779 * * [simplify]: iteration 13: 4185 enodes
7.933 * * [simplify]: iteration 14: 4341 enodes
8.137 * * [simplify]: iteration 15: 4551 enodes
8.500 * * [simplify]: iteration 16: 4783 enodes
8.875 * * [simplify]: iteration complete: 5000 enodes
8.875 * * [simplify]: Extracting #0: cost 1 inf + 0
8.875 * * [simplify]: Extracting #1: cost 23 inf + 0
8.875 * * [simplify]: Extracting #2: cost 29 inf + 416
8.877 * * [simplify]: Extracting #3: cost 2 inf + 2433
8.880 * * [simplify]: Extracting #4: cost 0 inf + 2566
8.882 * [simplify]: Simplified to:
  (fma (- 1 y) x y)
8.885 * * [progress]: iteration 1 / 4
8.885 * * * [progress]: picking best candidate
8.889 * * * * [pick]: Picked  #<alt (λ (x y) (fma (- 1 y) x y))>
8.889 * * * [progress]: localizing error
8.900 * * * [progress]: generating rewritten candidates
8.900 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
8.901 * * * [progress]: generating series expansions
8.901 * * * * [progress]: [ 1 / 1 ] generating series at (2)
8.901 * [backup-simplify]: Simplify (fma (- 1 y) x y) into (fma (- 1 y) x y)
8.901 * [approximate]: Taking taylor expansion of (fma (- 1 y) x y) in (y x) around 0
8.901 * [taylor]: Taking taylor expansion of (fma (- 1 y) x y) in x
8.901 * [taylor]: Rewrote expression to (+ (* (- 1 y) x) y)
8.901 * [taylor]: Taking taylor expansion of (* (- 1 y) x) in x
8.901 * [taylor]: Taking taylor expansion of (- 1 y) in x
8.901 * [taylor]: Taking taylor expansion of 1 in x
8.901 * [backup-simplify]: Simplify 1 into 1
8.901 * [taylor]: Taking taylor expansion of y in x
8.901 * [backup-simplify]: Simplify y into y
8.901 * [taylor]: Taking taylor expansion of x in x
8.901 * [backup-simplify]: Simplify 0 into 0
8.901 * [backup-simplify]: Simplify 1 into 1
8.901 * [taylor]: Taking taylor expansion of y in x
8.901 * [backup-simplify]: Simplify y into y
8.901 * [taylor]: Taking taylor expansion of (fma (- 1 y) x y) in y
8.901 * [taylor]: Rewrote expression to (+ (* (- 1 y) x) y)
8.901 * [taylor]: Taking taylor expansion of (* (- 1 y) x) in y
8.901 * [taylor]: Taking taylor expansion of (- 1 y) in y
8.901 * [taylor]: Taking taylor expansion of 1 in y
8.901 * [backup-simplify]: Simplify 1 into 1
8.901 * [taylor]: Taking taylor expansion of y in y
8.901 * [backup-simplify]: Simplify 0 into 0
8.902 * [backup-simplify]: Simplify 1 into 1
8.902 * [taylor]: Taking taylor expansion of x in y
8.902 * [backup-simplify]: Simplify x into x
8.902 * [taylor]: Taking taylor expansion of y in y
8.902 * [backup-simplify]: Simplify 0 into 0
8.902 * [backup-simplify]: Simplify 1 into 1
8.902 * [taylor]: Taking taylor expansion of (fma (- 1 y) x y) in y
8.902 * [taylor]: Rewrote expression to (+ (* (- 1 y) x) y)
8.902 * [taylor]: Taking taylor expansion of (* (- 1 y) x) in y
8.902 * [taylor]: Taking taylor expansion of (- 1 y) in y
8.902 * [taylor]: Taking taylor expansion of 1 in y
8.902 * [backup-simplify]: Simplify 1 into 1
8.902 * [taylor]: Taking taylor expansion of y in y
8.902 * [backup-simplify]: Simplify 0 into 0
8.902 * [backup-simplify]: Simplify 1 into 1
8.902 * [taylor]: Taking taylor expansion of x in y
8.902 * [backup-simplify]: Simplify x into x
8.902 * [taylor]: Taking taylor expansion of y in y
8.902 * [backup-simplify]: Simplify 0 into 0
8.902 * [backup-simplify]: Simplify 1 into 1
8.903 * [backup-simplify]: Simplify (- 0) into 0
8.903 * [backup-simplify]: Simplify (+ 1 0) into 1
8.903 * [backup-simplify]: Simplify (* 1 x) into x
8.903 * [backup-simplify]: Simplify (+ x 0) into x
8.903 * [taylor]: Taking taylor expansion of x in x
8.903 * [backup-simplify]: Simplify 0 into 0
8.903 * [backup-simplify]: Simplify 1 into 1
8.903 * [backup-simplify]: Simplify 0 into 0
8.904 * [backup-simplify]: Simplify (- 1) into -1
8.904 * [backup-simplify]: Simplify (+ 0 -1) into -1
8.905 * [backup-simplify]: Simplify (+ (* 1 0) (* -1 x)) into (- x)
8.905 * [backup-simplify]: Simplify (+ (- x) 1) into (- 1 x)
8.905 * [taylor]: Taking taylor expansion of (- 1 x) in x
8.905 * [taylor]: Taking taylor expansion of 1 in x
8.905 * [backup-simplify]: Simplify 1 into 1
8.905 * [taylor]: Taking taylor expansion of x in x
8.905 * [backup-simplify]: Simplify 0 into 0
8.905 * [backup-simplify]: Simplify 1 into 1
8.906 * [backup-simplify]: Simplify (- 0) into 0
8.906 * [backup-simplify]: Simplify (+ 1 0) into 1
8.906 * [backup-simplify]: Simplify 1 into 1
8.906 * [backup-simplify]: Simplify 1 into 1
8.907 * [backup-simplify]: Simplify (- 0) into 0
8.907 * [backup-simplify]: Simplify (+ 0 0) into 0
8.908 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* -1 0) (* 0 x))) into 0
8.909 * [backup-simplify]: Simplify (+ 0 0) into 0
8.909 * [taylor]: Taking taylor expansion of 0 in x
8.909 * [backup-simplify]: Simplify 0 into 0
8.909 * [backup-simplify]: Simplify 0 into 0
8.909 * [backup-simplify]: Simplify (- 1) into -1
8.910 * [backup-simplify]: Simplify (+ 0 -1) into -1
8.910 * [backup-simplify]: Simplify -1 into -1
8.910 * [backup-simplify]: Simplify (+ (* -1 (* x y)) (+ (* 1 (* x 1)) (* 1 (* 1 y)))) into (- (+ x y) (* x y))
8.910 * [backup-simplify]: Simplify (fma (- 1 (/ 1 y)) (/ 1 x) (/ 1 y)) into (fma (- 1 (/ 1 y)) (/ 1 x) (/ 1 y))
8.910 * [approximate]: Taking taylor expansion of (fma (- 1 (/ 1 y)) (/ 1 x) (/ 1 y)) in (y x) around 0
8.911 * [taylor]: Taking taylor expansion of (fma (- 1 (/ 1 y)) (/ 1 x) (/ 1 y)) in x
8.911 * [taylor]: Rewrote expression to (+ (* (- 1 (/ 1 y)) (/ 1 x)) (/ 1 y))
8.911 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 y)) (/ 1 x)) in x
8.911 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in x
8.911 * [taylor]: Taking taylor expansion of 1 in x
8.911 * [backup-simplify]: Simplify 1 into 1
8.911 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.911 * [taylor]: Taking taylor expansion of y in x
8.911 * [backup-simplify]: Simplify y into y
8.911 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.911 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.911 * [taylor]: Taking taylor expansion of x in x
8.911 * [backup-simplify]: Simplify 0 into 0
8.911 * [backup-simplify]: Simplify 1 into 1
8.911 * [backup-simplify]: Simplify (/ 1 1) into 1
8.911 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.911 * [taylor]: Taking taylor expansion of y in x
8.911 * [backup-simplify]: Simplify y into y
8.912 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.912 * [taylor]: Taking taylor expansion of (fma (- 1 (/ 1 y)) (/ 1 x) (/ 1 y)) in y
8.912 * [taylor]: Rewrote expression to (+ (* (- 1 (/ 1 y)) (/ 1 x)) (/ 1 y))
8.912 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 y)) (/ 1 x)) in y
8.912 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y
8.912 * [taylor]: Taking taylor expansion of 1 in y
8.912 * [backup-simplify]: Simplify 1 into 1
8.912 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.912 * [taylor]: Taking taylor expansion of y in y
8.912 * [backup-simplify]: Simplify 0 into 0
8.912 * [backup-simplify]: Simplify 1 into 1
8.912 * [backup-simplify]: Simplify (/ 1 1) into 1
8.912 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.912 * [taylor]: Taking taylor expansion of x in y
8.912 * [backup-simplify]: Simplify x into x
8.912 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
8.912 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.912 * [taylor]: Taking taylor expansion of y in y
8.912 * [backup-simplify]: Simplify 0 into 0
8.912 * [backup-simplify]: Simplify 1 into 1
8.913 * [backup-simplify]: Simplify (/ 1 1) into 1
8.913 * [taylor]: Taking taylor expansion of (fma (- 1 (/ 1 y)) (/ 1 x) (/ 1 y)) in y
8.913 * [taylor]: Rewrote expression to (+ (* (- 1 (/ 1 y)) (/ 1 x)) (/ 1 y))
8.913 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 y)) (/ 1 x)) in y
8.913 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y
8.913 * [taylor]: Taking taylor expansion of 1 in y
8.913 * [backup-simplify]: Simplify 1 into 1
8.913 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.913 * [taylor]: Taking taylor expansion of y in y
8.913 * [backup-simplify]: Simplify 0 into 0
8.913 * [backup-simplify]: Simplify 1 into 1
8.914 * [backup-simplify]: Simplify (/ 1 1) into 1
8.914 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.914 * [taylor]: Taking taylor expansion of x in y
8.914 * [backup-simplify]: Simplify x into x
8.914 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
8.914 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.914 * [taylor]: Taking taylor expansion of y in y
8.914 * [backup-simplify]: Simplify 0 into 0
8.914 * [backup-simplify]: Simplify 1 into 1
8.914 * [backup-simplify]: Simplify (/ 1 1) into 1
8.915 * [backup-simplify]: Simplify (- 1) into -1
8.915 * [backup-simplify]: Simplify (+ 0 -1) into -1
8.915 * [backup-simplify]: Simplify (* -1 (/ 1 x)) into (/ -1 x)
8.915 * [backup-simplify]: Simplify (+ (/ -1 x) 1) into (- 1 (/ 1 x))
8.915 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x
8.915 * [taylor]: Taking taylor expansion of 1 in x
8.915 * [backup-simplify]: Simplify 1 into 1
8.915 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.915 * [taylor]: Taking taylor expansion of x in x
8.915 * [backup-simplify]: Simplify 0 into 0
8.915 * [backup-simplify]: Simplify 1 into 1
8.916 * [backup-simplify]: Simplify (/ 1 1) into 1
8.916 * [backup-simplify]: Simplify (- 1) into -1
8.917 * [backup-simplify]: Simplify (+ 0 -1) into -1
8.917 * [backup-simplify]: Simplify -1 into -1
8.917 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
8.918 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.918 * [backup-simplify]: Simplify (- 0) into 0
8.918 * [backup-simplify]: Simplify (+ 1 0) into 1
8.919 * [backup-simplify]: Simplify (+ (* -1 0) (* 1 (/ 1 x))) into (/ 1 x)
8.920 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.920 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
8.920 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.920 * [taylor]: Taking taylor expansion of x in x
8.920 * [backup-simplify]: Simplify 0 into 0
8.920 * [backup-simplify]: Simplify 1 into 1
8.920 * [backup-simplify]: Simplify (/ 1 1) into 1
8.920 * [backup-simplify]: Simplify 1 into 1
8.921 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.921 * [backup-simplify]: Simplify (- 0) into 0
8.922 * [backup-simplify]: Simplify (+ 1 0) into 1
8.922 * [backup-simplify]: Simplify 1 into 1
8.922 * [backup-simplify]: Simplify (+ (* 1 (* 1 (/ 1 (/ 1 y)))) (+ (* 1 (* (/ 1 (/ 1 x)) 1)) (* -1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))))) into (- (+ x y) (* x y))
8.923 * [backup-simplify]: Simplify (fma (- 1 (/ 1 (- y))) (/ 1 (- x)) (/ 1 (- y))) into (fma (+ 1 (/ 1 y)) (/ -1 x) (/ -1 y))
8.923 * [approximate]: Taking taylor expansion of (fma (+ 1 (/ 1 y)) (/ -1 x) (/ -1 y)) in (y x) around 0
8.923 * [taylor]: Taking taylor expansion of (fma (+ 1 (/ 1 y)) (/ -1 x) (/ -1 y)) in x
8.923 * [taylor]: Rewrote expression to (+ (* (+ 1 (/ 1 y)) (/ -1 x)) (/ -1 y))
8.923 * [taylor]: Taking taylor expansion of (* (+ 1 (/ 1 y)) (/ -1 x)) in x
8.923 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in x
8.923 * [taylor]: Taking taylor expansion of 1 in x
8.923 * [backup-simplify]: Simplify 1 into 1
8.923 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.923 * [taylor]: Taking taylor expansion of y in x
8.923 * [backup-simplify]: Simplify y into y
8.923 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
8.923 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.923 * [taylor]: Taking taylor expansion of -1 in x
8.923 * [backup-simplify]: Simplify -1 into -1
8.923 * [taylor]: Taking taylor expansion of x in x
8.923 * [backup-simplify]: Simplify 0 into 0
8.923 * [backup-simplify]: Simplify 1 into 1
8.924 * [backup-simplify]: Simplify (/ -1 1) into -1
8.924 * [taylor]: Taking taylor expansion of (/ -1 y) in x
8.924 * [taylor]: Taking taylor expansion of -1 in x
8.924 * [backup-simplify]: Simplify -1 into -1
8.924 * [taylor]: Taking taylor expansion of y in x
8.924 * [backup-simplify]: Simplify y into y
8.924 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
8.924 * [taylor]: Taking taylor expansion of (fma (+ 1 (/ 1 y)) (/ -1 x) (/ -1 y)) in y
8.924 * [taylor]: Rewrote expression to (+ (* (+ 1 (/ 1 y)) (/ -1 x)) (/ -1 y))
8.924 * [taylor]: Taking taylor expansion of (* (+ 1 (/ 1 y)) (/ -1 x)) in y
8.924 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y
8.924 * [taylor]: Taking taylor expansion of 1 in y
8.924 * [backup-simplify]: Simplify 1 into 1
8.924 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.924 * [taylor]: Taking taylor expansion of y in y
8.924 * [backup-simplify]: Simplify 0 into 0
8.924 * [backup-simplify]: Simplify 1 into 1
8.924 * [backup-simplify]: Simplify (/ 1 1) into 1
8.924 * [taylor]: Taking taylor expansion of (/ -1 x) in y
8.924 * [taylor]: Taking taylor expansion of -1 in y
8.925 * [backup-simplify]: Simplify -1 into -1
8.925 * [taylor]: Taking taylor expansion of x in y
8.925 * [backup-simplify]: Simplify x into x
8.925 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
8.925 * [taylor]: Taking taylor expansion of (/ -1 y) in y
8.925 * [taylor]: Taking taylor expansion of -1 in y
8.925 * [backup-simplify]: Simplify -1 into -1
8.925 * [taylor]: Taking taylor expansion of y in y
8.925 * [backup-simplify]: Simplify 0 into 0
8.925 * [backup-simplify]: Simplify 1 into 1
8.925 * [backup-simplify]: Simplify (/ -1 1) into -1
8.925 * [taylor]: Taking taylor expansion of (fma (+ 1 (/ 1 y)) (/ -1 x) (/ -1 y)) in y
8.925 * [taylor]: Rewrote expression to (+ (* (+ 1 (/ 1 y)) (/ -1 x)) (/ -1 y))
8.925 * [taylor]: Taking taylor expansion of (* (+ 1 (/ 1 y)) (/ -1 x)) in y
8.925 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y
8.925 * [taylor]: Taking taylor expansion of 1 in y
8.925 * [backup-simplify]: Simplify 1 into 1
8.926 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.926 * [taylor]: Taking taylor expansion of y in y
8.926 * [backup-simplify]: Simplify 0 into 0
8.926 * [backup-simplify]: Simplify 1 into 1
8.926 * [backup-simplify]: Simplify (/ 1 1) into 1
8.926 * [taylor]: Taking taylor expansion of (/ -1 x) in y
8.926 * [taylor]: Taking taylor expansion of -1 in y
8.926 * [backup-simplify]: Simplify -1 into -1
8.926 * [taylor]: Taking taylor expansion of x in y
8.926 * [backup-simplify]: Simplify x into x
8.926 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
8.926 * [taylor]: Taking taylor expansion of (/ -1 y) in y
8.926 * [taylor]: Taking taylor expansion of -1 in y
8.926 * [backup-simplify]: Simplify -1 into -1
8.926 * [taylor]: Taking taylor expansion of y in y
8.926 * [backup-simplify]: Simplify 0 into 0
8.926 * [backup-simplify]: Simplify 1 into 1
8.927 * [backup-simplify]: Simplify (/ -1 1) into -1
8.927 * [backup-simplify]: Simplify (+ 0 1) into 1
8.927 * [backup-simplify]: Simplify (* 1 (/ -1 x)) into (/ -1 x)
8.927 * [backup-simplify]: Simplify (+ (/ -1 x) -1) into (- (+ (/ 1 x) 1))
8.928 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
8.928 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
8.928 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.928 * [taylor]: Taking taylor expansion of x in x
8.928 * [backup-simplify]: Simplify 0 into 0
8.928 * [backup-simplify]: Simplify 1 into 1
8.928 * [backup-simplify]: Simplify (/ 1 1) into 1
8.928 * [taylor]: Taking taylor expansion of 1 in x
8.928 * [backup-simplify]: Simplify 1 into 1
8.929 * [backup-simplify]: Simplify (+ 1 0) into 1
8.929 * [backup-simplify]: Simplify (- 1) into -1
8.929 * [backup-simplify]: Simplify -1 into -1
8.929 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
8.930 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.930 * [backup-simplify]: Simplify (+ 1 0) into 1
8.931 * [backup-simplify]: Simplify (+ (* 1 0) (* 1 (/ -1 x))) into (- (/ 1 x))
8.932 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
8.932 * [backup-simplify]: Simplify (+ (- (/ 1 x)) 0) into (- (/ 1 x))
8.932 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
8.932 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.932 * [taylor]: Taking taylor expansion of x in x
8.932 * [backup-simplify]: Simplify 0 into 0
8.932 * [backup-simplify]: Simplify 1 into 1
8.932 * [backup-simplify]: Simplify (/ 1 1) into 1
8.933 * [backup-simplify]: Simplify (- 1) into -1
8.933 * [backup-simplify]: Simplify -1 into -1
8.934 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.934 * [backup-simplify]: Simplify (+ 0 1) into 1
8.934 * [backup-simplify]: Simplify (- 1) into -1
8.934 * [backup-simplify]: Simplify -1 into -1
8.935 * [backup-simplify]: Simplify (+ (* -1 (* 1 (/ 1 (/ 1 (- y))))) (+ (* -1 (* (/ 1 (/ 1 (- x))) 1)) (* -1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y))))))) into (- (+ x y) (* x y))
8.935 * * * [progress]: simplifying candidates
8.935 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (x y) (log1p (expm1 (fma (- 1 y) x y))))>
8.935 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (x y) (expm1 (log1p (fma (- 1 y) x y))))>
8.935 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (x y) (+ (* (- 1 y) x) y))>
8.935 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (x y) (pow (fma (- 1 y) x y) 1))>
8.935 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (x y) (exp (log (fma (- 1 y) x y))))>
8.935 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (x y) (log (exp (fma (- 1 y) x y))))>
8.935 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (fma (- 1 y) x y)) (cbrt (fma (- 1 y) x y))) (cbrt (fma (- 1 y) x y))))>
8.935 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (fma (- 1 y) x y) (fma (- 1 y) x y)) (fma (- 1 y) x y))))>
8.935 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (fma (- 1 y) x y)) (sqrt (fma (- 1 y) x y))))>
8.936 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (x y) (* 1 (fma (- 1 y) x y)))>
8.936 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (fma (- 1 y) x y))))>
8.936 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (x y) (- (+ x y) (* x y)))>
8.936 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (x y) (- (+ x y) (* x y)))>
8.936 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (x y) (- (+ x y) (* x y)))>
8.936 * [simplify]: Simplifying:
  (expm1 (fma (- 1 y) x y))
  (log1p (fma (- 1 y) x y))
  (* (- 1 y) x)
  (log (fma (- 1 y) x y))
  (exp (fma (- 1 y) x y))
  (* (cbrt (fma (- 1 y) x y)) (cbrt (fma (- 1 y) x y)))
  (cbrt (fma (- 1 y) x y))
  (* (* (fma (- 1 y) x y) (fma (- 1 y) x y)) (fma (- 1 y) x y))
  (sqrt (fma (- 1 y) x y))
  (sqrt (fma (- 1 y) x y))
  (real->posit16 (fma (- 1 y) x y))
  (- (+ x y) (* x y))
  (- (+ x y) (* x y))
  (- (+ x y) (* x y))
8.937 * * [simplify]: iteration 0: 19 enodes
8.942 * * [simplify]: iteration 1: 32 enodes
8.957 * * [simplify]: iteration 2: 69 enodes
8.986 * * [simplify]: iteration 3: 200 enodes
9.072 * * [simplify]: iteration 4: 1057 enodes
9.768 * * [simplify]: iteration complete: 5012 enodes
9.769 * * [simplify]: Extracting #0: cost 11 inf + 0
9.769 * * [simplify]: Extracting #1: cost 133 inf + 0
9.772 * * [simplify]: Extracting #2: cost 934 inf + 2716
9.790 * * [simplify]: Extracting #3: cost 1573 inf + 83133
9.869 * * [simplify]: Extracting #4: cost 254 inf + 336918
10.028 * * [simplify]: Extracting #5: cost 4 inf + 380222
10.162 * * [simplify]: Extracting #6: cost 0 inf + 381435
10.291 * [simplify]: Simplified to:
  (expm1 (fma x (- 1 y) y))
  (log1p (fma x (- 1 y) y))
  (- x (* x y))
  (log (fma x (- 1 y) y))
  (exp (fma x (- 1 y) y))
  (* (cbrt (fma x (- 1 y) y)) (cbrt (fma x (- 1 y) y)))
  (cbrt (fma x (- 1 y) y))
  (* (fma x (- 1 y) y) (* (fma x (- 1 y) y) (fma x (- 1 y) y)))
  (sqrt (fma x (- 1 y) y))
  (sqrt (fma x (- 1 y) y))
  (real->posit16 (fma x (- 1 y) y))
  (fma x (- 1 y) y)
  (fma x (- 1 y) y)
  (fma x (- 1 y) y)
10.292 * * * [progress]: adding candidates to table
10.371 * * [progress]: iteration 2 / 4
10.371 * * * [progress]: picking best candidate
10.375 * * * * [pick]: Picked  #<alt (λ (x y) (+ (- x (* x y)) y))>
10.375 * * * [progress]: localizing error
10.392 * * * [progress]: generating rewritten candidates
10.392 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
10.402 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
10.436 * * * [progress]: generating series expansions
10.436 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
10.436 * [backup-simplify]: Simplify (- x (* x y)) into (- x (* x y))
10.436 * [approximate]: Taking taylor expansion of (- x (* x y)) in (x y) around 0
10.436 * [taylor]: Taking taylor expansion of (- x (* x y)) in y
10.436 * [taylor]: Taking taylor expansion of x in y
10.436 * [backup-simplify]: Simplify x into x
10.436 * [taylor]: Taking taylor expansion of (* x y) in y
10.436 * [taylor]: Taking taylor expansion of x in y
10.436 * [backup-simplify]: Simplify x into x
10.436 * [taylor]: Taking taylor expansion of y in y
10.437 * [backup-simplify]: Simplify 0 into 0
10.437 * [backup-simplify]: Simplify 1 into 1
10.437 * [taylor]: Taking taylor expansion of (- x (* x y)) in x
10.437 * [taylor]: Taking taylor expansion of x in x
10.437 * [backup-simplify]: Simplify 0 into 0
10.437 * [backup-simplify]: Simplify 1 into 1
10.437 * [taylor]: Taking taylor expansion of (* x y) in x
10.437 * [taylor]: Taking taylor expansion of x in x
10.437 * [backup-simplify]: Simplify 0 into 0
10.437 * [backup-simplify]: Simplify 1 into 1
10.437 * [taylor]: Taking taylor expansion of y in x
10.437 * [backup-simplify]: Simplify y into y
10.437 * [taylor]: Taking taylor expansion of (- x (* x y)) in x
10.437 * [taylor]: Taking taylor expansion of x in x
10.437 * [backup-simplify]: Simplify 0 into 0
10.437 * [backup-simplify]: Simplify 1 into 1
10.437 * [taylor]: Taking taylor expansion of (* x y) in x
10.437 * [taylor]: Taking taylor expansion of x in x
10.437 * [backup-simplify]: Simplify 0 into 0
10.437 * [backup-simplify]: Simplify 1 into 1
10.437 * [taylor]: Taking taylor expansion of y in x
10.437 * [backup-simplify]: Simplify y into y
10.437 * [backup-simplify]: Simplify (* 0 y) into 0
10.438 * [backup-simplify]: Simplify (- 0) into 0
10.438 * [backup-simplify]: Simplify (+ 0 0) into 0
10.438 * [taylor]: Taking taylor expansion of 0 in y
10.438 * [backup-simplify]: Simplify 0 into 0
10.438 * [backup-simplify]: Simplify 0 into 0
10.439 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
10.439 * [backup-simplify]: Simplify (- y) into (- y)
10.439 * [backup-simplify]: Simplify (+ 1 (- y)) into (- 1 y)
10.439 * [taylor]: Taking taylor expansion of (- 1 y) in y
10.439 * [taylor]: Taking taylor expansion of 1 in y
10.439 * [backup-simplify]: Simplify 1 into 1
10.439 * [taylor]: Taking taylor expansion of y in y
10.439 * [backup-simplify]: Simplify 0 into 0
10.439 * [backup-simplify]: Simplify 1 into 1
10.439 * [backup-simplify]: Simplify (- 0) into 0
10.440 * [backup-simplify]: Simplify (+ 1 0) into 1
10.440 * [backup-simplify]: Simplify 1 into 1
10.440 * [backup-simplify]: Simplify 0 into 0
10.441 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
10.441 * [backup-simplify]: Simplify (- 0) into 0
10.442 * [backup-simplify]: Simplify (+ 0 0) into 0
10.442 * [taylor]: Taking taylor expansion of 0 in y
10.442 * [backup-simplify]: Simplify 0 into 0
10.442 * [backup-simplify]: Simplify 0 into 0
10.442 * [backup-simplify]: Simplify (- 1) into -1
10.443 * [backup-simplify]: Simplify (+ 0 -1) into -1
10.443 * [backup-simplify]: Simplify -1 into -1
10.443 * [backup-simplify]: Simplify 0 into 0
10.444 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
10.444 * [backup-simplify]: Simplify (- 0) into 0
10.445 * [backup-simplify]: Simplify (+ 0 0) into 0
10.445 * [taylor]: Taking taylor expansion of 0 in y
10.445 * [backup-simplify]: Simplify 0 into 0
10.445 * [backup-simplify]: Simplify 0 into 0
10.445 * [backup-simplify]: Simplify 0 into 0
10.445 * [backup-simplify]: Simplify (- 0) into 0
10.446 * [backup-simplify]: Simplify (+ 0 0) into 0
10.446 * [backup-simplify]: Simplify 0 into 0
10.446 * [backup-simplify]: Simplify 0 into 0
10.447 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
10.448 * [backup-simplify]: Simplify (- 0) into 0
10.448 * [backup-simplify]: Simplify (+ 0 0) into 0
10.448 * [taylor]: Taking taylor expansion of 0 in y
10.448 * [backup-simplify]: Simplify 0 into 0
10.448 * [backup-simplify]: Simplify 0 into 0
10.448 * [backup-simplify]: Simplify (+ (* -1 (* y x)) (* 1 (* 1 x))) into (- x (* x y))
10.449 * [backup-simplify]: Simplify (- (/ 1 x) (* (/ 1 x) (/ 1 y))) into (- (/ 1 x) (/ 1 (* x y)))
10.449 * [approximate]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x y))) in (x y) around 0
10.449 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x y))) in y
10.449 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.449 * [taylor]: Taking taylor expansion of x in y
10.449 * [backup-simplify]: Simplify x into x
10.449 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
10.449 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
10.449 * [taylor]: Taking taylor expansion of (* x y) in y
10.449 * [taylor]: Taking taylor expansion of x in y
10.449 * [backup-simplify]: Simplify x into x
10.449 * [taylor]: Taking taylor expansion of y in y
10.449 * [backup-simplify]: Simplify 0 into 0
10.449 * [backup-simplify]: Simplify 1 into 1
10.449 * [backup-simplify]: Simplify (* x 0) into 0
10.450 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
10.450 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
10.450 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x y))) in x
10.450 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.450 * [taylor]: Taking taylor expansion of x in x
10.450 * [backup-simplify]: Simplify 0 into 0
10.450 * [backup-simplify]: Simplify 1 into 1
10.450 * [backup-simplify]: Simplify (/ 1 1) into 1
10.450 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
10.450 * [taylor]: Taking taylor expansion of (* x y) in x
10.450 * [taylor]: Taking taylor expansion of x in x
10.450 * [backup-simplify]: Simplify 0 into 0
10.450 * [backup-simplify]: Simplify 1 into 1
10.450 * [taylor]: Taking taylor expansion of y in x
10.450 * [backup-simplify]: Simplify y into y
10.450 * [backup-simplify]: Simplify (* 0 y) into 0
10.451 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
10.451 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.451 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x y))) in x
10.451 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.451 * [taylor]: Taking taylor expansion of x in x
10.451 * [backup-simplify]: Simplify 0 into 0
10.451 * [backup-simplify]: Simplify 1 into 1
10.451 * [backup-simplify]: Simplify (/ 1 1) into 1
10.451 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
10.451 * [taylor]: Taking taylor expansion of (* x y) in x
10.451 * [taylor]: Taking taylor expansion of x in x
10.451 * [backup-simplify]: Simplify 0 into 0
10.451 * [backup-simplify]: Simplify 1 into 1
10.451 * [taylor]: Taking taylor expansion of y in x
10.451 * [backup-simplify]: Simplify y into y
10.452 * [backup-simplify]: Simplify (* 0 y) into 0
10.452 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
10.452 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.452 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
10.452 * [backup-simplify]: Simplify (+ 1 (- (/ 1 y))) into (- 1 (/ 1 y))
10.452 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y
10.452 * [taylor]: Taking taylor expansion of 1 in y
10.452 * [backup-simplify]: Simplify 1 into 1
10.452 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.452 * [taylor]: Taking taylor expansion of y in y
10.452 * [backup-simplify]: Simplify 0 into 0
10.452 * [backup-simplify]: Simplify 1 into 1
10.453 * [backup-simplify]: Simplify (/ 1 1) into 1
10.453 * [backup-simplify]: Simplify (- 1) into -1
10.454 * [backup-simplify]: Simplify (+ 0 -1) into -1
10.454 * [backup-simplify]: Simplify -1 into -1
10.454 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.455 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
10.455 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
10.456 * [backup-simplify]: Simplify (- 0) into 0
10.456 * [backup-simplify]: Simplify (+ 0 0) into 0
10.456 * [taylor]: Taking taylor expansion of 0 in y
10.456 * [backup-simplify]: Simplify 0 into 0
10.457 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.457 * [backup-simplify]: Simplify (- 0) into 0
10.458 * [backup-simplify]: Simplify (+ 1 0) into 1
10.458 * [backup-simplify]: Simplify 1 into 1
10.459 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.460 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
10.460 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
10.460 * [backup-simplify]: Simplify (- 0) into 0
10.461 * [backup-simplify]: Simplify (+ 0 0) into 0
10.461 * [taylor]: Taking taylor expansion of 0 in y
10.461 * [backup-simplify]: Simplify 0 into 0
10.461 * [backup-simplify]: Simplify 0 into 0
10.462 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.462 * [backup-simplify]: Simplify (- 0) into 0
10.462 * [backup-simplify]: Simplify (+ 0 0) into 0
10.462 * [backup-simplify]: Simplify 0 into 0
10.463 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.465 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
10.465 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
10.465 * [backup-simplify]: Simplify (- 0) into 0
10.465 * [backup-simplify]: Simplify (+ 0 0) into 0
10.465 * [taylor]: Taking taylor expansion of 0 in y
10.465 * [backup-simplify]: Simplify 0 into 0
10.465 * [backup-simplify]: Simplify 0 into 0
10.465 * [backup-simplify]: Simplify 0 into 0
10.466 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.466 * [backup-simplify]: Simplify (- 0) into 0
10.466 * [backup-simplify]: Simplify (+ 0 0) into 0
10.466 * [backup-simplify]: Simplify 0 into 0
10.467 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.468 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
10.468 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
10.469 * [backup-simplify]: Simplify (- 0) into 0
10.469 * [backup-simplify]: Simplify (+ 0 0) into 0
10.469 * [taylor]: Taking taylor expansion of 0 in y
10.469 * [backup-simplify]: Simplify 0 into 0
10.469 * [backup-simplify]: Simplify 0 into 0
10.469 * [backup-simplify]: Simplify (+ (* 1 (* 1 (/ 1 (/ 1 x)))) (* -1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (- x (* x y))
10.469 * [backup-simplify]: Simplify (- (/ 1 (- x)) (* (/ 1 (- x)) (/ 1 (- y)))) into (- (+ (/ 1 (* x y)) (/ 1 x)))
10.469 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (/ 1 x))) in (x y) around 0
10.469 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (/ 1 x))) in y
10.469 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y
10.469 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
10.469 * [taylor]: Taking taylor expansion of (* x y) in y
10.469 * [taylor]: Taking taylor expansion of x in y
10.469 * [backup-simplify]: Simplify x into x
10.469 * [taylor]: Taking taylor expansion of y in y
10.469 * [backup-simplify]: Simplify 0 into 0
10.469 * [backup-simplify]: Simplify 1 into 1
10.469 * [backup-simplify]: Simplify (* x 0) into 0
10.470 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
10.470 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
10.470 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.470 * [taylor]: Taking taylor expansion of x in y
10.470 * [backup-simplify]: Simplify x into x
10.470 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
10.470 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (/ 1 x))) in x
10.470 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
10.470 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
10.470 * [taylor]: Taking taylor expansion of (* x y) in x
10.470 * [taylor]: Taking taylor expansion of x in x
10.470 * [backup-simplify]: Simplify 0 into 0
10.470 * [backup-simplify]: Simplify 1 into 1
10.470 * [taylor]: Taking taylor expansion of y in x
10.470 * [backup-simplify]: Simplify y into y
10.470 * [backup-simplify]: Simplify (* 0 y) into 0
10.470 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
10.470 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.470 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.470 * [taylor]: Taking taylor expansion of x in x
10.470 * [backup-simplify]: Simplify 0 into 0
10.470 * [backup-simplify]: Simplify 1 into 1
10.470 * [backup-simplify]: Simplify (/ 1 1) into 1
10.471 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (/ 1 x))) in x
10.471 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x
10.471 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
10.471 * [taylor]: Taking taylor expansion of (* x y) in x
10.471 * [taylor]: Taking taylor expansion of x in x
10.471 * [backup-simplify]: Simplify 0 into 0
10.471 * [backup-simplify]: Simplify 1 into 1
10.471 * [taylor]: Taking taylor expansion of y in x
10.471 * [backup-simplify]: Simplify y into y
10.471 * [backup-simplify]: Simplify (* 0 y) into 0
10.471 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
10.471 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.471 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.471 * [taylor]: Taking taylor expansion of x in x
10.471 * [backup-simplify]: Simplify 0 into 0
10.471 * [backup-simplify]: Simplify 1 into 1
10.471 * [backup-simplify]: Simplify (/ 1 1) into 1
10.471 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ 1 (/ 1 y))
10.471 * [backup-simplify]: Simplify (- (+ 1 (/ 1 y))) into (- (+ 1 (/ 1 y)))
10.471 * [taylor]: Taking taylor expansion of (- (+ 1 (/ 1 y))) in y
10.471 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y
10.471 * [taylor]: Taking taylor expansion of 1 in y
10.471 * [backup-simplify]: Simplify 1 into 1
10.472 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.472 * [taylor]: Taking taylor expansion of y in y
10.472 * [backup-simplify]: Simplify 0 into 0
10.472 * [backup-simplify]: Simplify 1 into 1
10.472 * [backup-simplify]: Simplify (/ 1 1) into 1
10.472 * [backup-simplify]: Simplify (+ 0 1) into 1
10.472 * [backup-simplify]: Simplify (- 1) into -1
10.472 * [backup-simplify]: Simplify -1 into -1
10.473 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
10.473 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
10.473 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.474 * [backup-simplify]: Simplify (+ 0 0) into 0
10.474 * [backup-simplify]: Simplify (- 0) into 0
10.474 * [taylor]: Taking taylor expansion of 0 in y
10.474 * [backup-simplify]: Simplify 0 into 0
10.474 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.475 * [backup-simplify]: Simplify (+ 1 0) into 1
10.475 * [backup-simplify]: Simplify (- 1) into -1
10.475 * [backup-simplify]: Simplify -1 into -1
10.479 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
10.479 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
10.479 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.480 * [backup-simplify]: Simplify (+ 0 0) into 0
10.480 * [backup-simplify]: Simplify (- 0) into 0
10.480 * [taylor]: Taking taylor expansion of 0 in y
10.480 * [backup-simplify]: Simplify 0 into 0
10.480 * [backup-simplify]: Simplify 0 into 0
10.481 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.481 * [backup-simplify]: Simplify (+ 0 0) into 0
10.481 * [backup-simplify]: Simplify (- 0) into 0
10.481 * [backup-simplify]: Simplify 0 into 0
10.482 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
10.482 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
10.483 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.483 * [backup-simplify]: Simplify (+ 0 0) into 0
10.483 * [backup-simplify]: Simplify (- 0) into 0
10.483 * [taylor]: Taking taylor expansion of 0 in y
10.483 * [backup-simplify]: Simplify 0 into 0
10.483 * [backup-simplify]: Simplify 0 into 0
10.483 * [backup-simplify]: Simplify 0 into 0
10.484 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.484 * [backup-simplify]: Simplify (+ 0 0) into 0
10.484 * [backup-simplify]: Simplify (- 0) into 0
10.484 * [backup-simplify]: Simplify 0 into 0
10.485 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0
10.486 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
10.486 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.486 * [backup-simplify]: Simplify (+ 0 0) into 0
10.487 * [backup-simplify]: Simplify (- 0) into 0
10.487 * [taylor]: Taking taylor expansion of 0 in y
10.487 * [backup-simplify]: Simplify 0 into 0
10.487 * [backup-simplify]: Simplify 0 into 0
10.487 * [backup-simplify]: Simplify (+ (* -1 (* 1 (/ 1 (/ 1 (- x))))) (* -1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (- x (* x y))
10.487 * * * * [progress]: [ 2 / 2 ] generating series at (2)
10.487 * [backup-simplify]: Simplify (+ (- x (* x y)) y) into (- (+ x y) (* x y))
10.487 * [approximate]: Taking taylor expansion of (- (+ x y) (* x y)) in (x y) around 0
10.487 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in y
10.487 * [taylor]: Taking taylor expansion of (+ x y) in y
10.487 * [taylor]: Taking taylor expansion of x in y
10.487 * [backup-simplify]: Simplify x into x
10.487 * [taylor]: Taking taylor expansion of y in y
10.487 * [backup-simplify]: Simplify 0 into 0
10.487 * [backup-simplify]: Simplify 1 into 1
10.487 * [taylor]: Taking taylor expansion of (* x y) in y
10.487 * [taylor]: Taking taylor expansion of x in y
10.487 * [backup-simplify]: Simplify x into x
10.487 * [taylor]: Taking taylor expansion of y in y
10.487 * [backup-simplify]: Simplify 0 into 0
10.487 * [backup-simplify]: Simplify 1 into 1
10.487 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in x
10.487 * [taylor]: Taking taylor expansion of (+ x y) in x
10.487 * [taylor]: Taking taylor expansion of x in x
10.487 * [backup-simplify]: Simplify 0 into 0
10.487 * [backup-simplify]: Simplify 1 into 1
10.487 * [taylor]: Taking taylor expansion of y in x
10.487 * [backup-simplify]: Simplify y into y
10.487 * [taylor]: Taking taylor expansion of (* x y) in x
10.487 * [taylor]: Taking taylor expansion of x in x
10.487 * [backup-simplify]: Simplify 0 into 0
10.487 * [backup-simplify]: Simplify 1 into 1
10.487 * [taylor]: Taking taylor expansion of y in x
10.487 * [backup-simplify]: Simplify y into y
10.487 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in x
10.487 * [taylor]: Taking taylor expansion of (+ x y) in x
10.487 * [taylor]: Taking taylor expansion of x in x
10.487 * [backup-simplify]: Simplify 0 into 0
10.487 * [backup-simplify]: Simplify 1 into 1
10.487 * [taylor]: Taking taylor expansion of y in x
10.487 * [backup-simplify]: Simplify y into y
10.487 * [taylor]: Taking taylor expansion of (* x y) in x
10.487 * [taylor]: Taking taylor expansion of x in x
10.488 * [backup-simplify]: Simplify 0 into 0
10.488 * [backup-simplify]: Simplify 1 into 1
10.488 * [taylor]: Taking taylor expansion of y in x
10.488 * [backup-simplify]: Simplify y into y
10.488 * [backup-simplify]: Simplify (+ 0 y) into y
10.488 * [backup-simplify]: Simplify (* 0 y) into 0
10.488 * [backup-simplify]: Simplify (- 0) into 0
10.488 * [backup-simplify]: Simplify (+ y 0) into y
10.488 * [taylor]: Taking taylor expansion of y in y
10.488 * [backup-simplify]: Simplify 0 into 0
10.488 * [backup-simplify]: Simplify 1 into 1
10.488 * [backup-simplify]: Simplify 0 into 0
10.488 * [backup-simplify]: Simplify (+ 1 0) into 1
10.489 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
10.489 * [backup-simplify]: Simplify (- y) into (- y)
10.489 * [backup-simplify]: Simplify (+ 1 (- y)) into (- 1 y)
10.489 * [taylor]: Taking taylor expansion of (- 1 y) in y
10.489 * [taylor]: Taking taylor expansion of 1 in y
10.489 * [backup-simplify]: Simplify 1 into 1
10.489 * [taylor]: Taking taylor expansion of y in y
10.489 * [backup-simplify]: Simplify 0 into 0
10.489 * [backup-simplify]: Simplify 1 into 1
10.489 * [backup-simplify]: Simplify (- 0) into 0
10.489 * [backup-simplify]: Simplify (+ 1 0) into 1
10.489 * [backup-simplify]: Simplify 1 into 1
10.489 * [backup-simplify]: Simplify 1 into 1
10.490 * [backup-simplify]: Simplify (+ 0 0) into 0
10.490 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
10.490 * [backup-simplify]: Simplify (- 0) into 0
10.491 * [backup-simplify]: Simplify (+ 0 0) into 0
10.491 * [taylor]: Taking taylor expansion of 0 in y
10.491 * [backup-simplify]: Simplify 0 into 0
10.491 * [backup-simplify]: Simplify 0 into 0
10.491 * [backup-simplify]: Simplify (- 1) into -1
10.491 * [backup-simplify]: Simplify (+ 0 -1) into -1
10.491 * [backup-simplify]: Simplify -1 into -1
10.491 * [backup-simplify]: Simplify (+ (* -1 (* y x)) (+ (* 1 (* y 1)) (* 1 (* 1 x)))) into (- (+ x y) (* x y))
10.491 * [backup-simplify]: Simplify (+ (- (/ 1 x) (* (/ 1 x) (/ 1 y))) (/ 1 y)) into (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y)))
10.492 * [approximate]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in (x y) around 0
10.492 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in y
10.492 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
10.492 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.492 * [taylor]: Taking taylor expansion of x in y
10.492 * [backup-simplify]: Simplify x into x
10.492 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
10.492 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.492 * [taylor]: Taking taylor expansion of y in y
10.492 * [backup-simplify]: Simplify 0 into 0
10.492 * [backup-simplify]: Simplify 1 into 1
10.492 * [backup-simplify]: Simplify (/ 1 1) into 1
10.492 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
10.492 * [taylor]: Taking taylor expansion of (* x y) in y
10.492 * [taylor]: Taking taylor expansion of x in y
10.492 * [backup-simplify]: Simplify x into x
10.492 * [taylor]: Taking taylor expansion of y in y
10.492 * [backup-simplify]: Simplify 0 into 0
10.492 * [backup-simplify]: Simplify 1 into 1
10.492 * [backup-simplify]: Simplify (* x 0) into 0
10.492 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
10.492 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
10.492 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in x
10.492 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
10.492 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.492 * [taylor]: Taking taylor expansion of x in x
10.493 * [backup-simplify]: Simplify 0 into 0
10.493 * [backup-simplify]: Simplify 1 into 1
10.493 * [backup-simplify]: Simplify (/ 1 1) into 1
10.493 * [taylor]: Taking taylor expansion of (/ 1 y) in x
10.493 * [taylor]: Taking taylor expansion of y in x
10.493 * [backup-simplify]: Simplify y into y
10.493 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.493 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
10.493 * [taylor]: Taking taylor expansion of (* x y) in x
10.493 * [taylor]: Taking taylor expansion of x in x
10.493 * [backup-simplify]: Simplify 0 into 0
10.493 * [backup-simplify]: Simplify 1 into 1
10.493 * [taylor]: Taking taylor expansion of y in x
10.493 * [backup-simplify]: Simplify y into y
10.493 * [backup-simplify]: Simplify (* 0 y) into 0
10.493 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
10.493 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.493 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 y)) (/ 1 (* x y))) in x
10.493 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
10.493 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.493 * [taylor]: Taking taylor expansion of x in x
10.493 * [backup-simplify]: Simplify 0 into 0
10.493 * [backup-simplify]: Simplify 1 into 1
10.494 * [backup-simplify]: Simplify (/ 1 1) into 1
10.494 * [taylor]: Taking taylor expansion of (/ 1 y) in x
10.494 * [taylor]: Taking taylor expansion of y in x
10.494 * [backup-simplify]: Simplify y into y
10.494 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.494 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
10.494 * [taylor]: Taking taylor expansion of (* x y) in x
10.494 * [taylor]: Taking taylor expansion of x in x
10.494 * [backup-simplify]: Simplify 0 into 0
10.494 * [backup-simplify]: Simplify 1 into 1
10.494 * [taylor]: Taking taylor expansion of y in x
10.494 * [backup-simplify]: Simplify y into y
10.494 * [backup-simplify]: Simplify (* 0 y) into 0
10.494 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
10.494 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.495 * [backup-simplify]: Simplify (+ 1 0) into 1
10.495 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
10.495 * [backup-simplify]: Simplify (+ 1 (- (/ 1 y))) into (- 1 (/ 1 y))
10.495 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y
10.495 * [taylor]: Taking taylor expansion of 1 in y
10.495 * [backup-simplify]: Simplify 1 into 1
10.495 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.495 * [taylor]: Taking taylor expansion of y in y
10.495 * [backup-simplify]: Simplify 0 into 0
10.495 * [backup-simplify]: Simplify 1 into 1
10.495 * [backup-simplify]: Simplify (/ 1 1) into 1
10.495 * [backup-simplify]: Simplify (- 1) into -1
10.496 * [backup-simplify]: Simplify (+ 0 -1) into -1
10.496 * [backup-simplify]: Simplify -1 into -1
10.496 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.496 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
10.497 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
10.497 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
10.497 * [backup-simplify]: Simplify (- 0) into 0
10.497 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
10.498 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.498 * [taylor]: Taking taylor expansion of y in y
10.498 * [backup-simplify]: Simplify 0 into 0
10.498 * [backup-simplify]: Simplify 1 into 1
10.498 * [backup-simplify]: Simplify (/ 1 1) into 1
10.498 * [backup-simplify]: Simplify 1 into 1
10.499 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.500 * [backup-simplify]: Simplify (- 0) into 0
10.500 * [backup-simplify]: Simplify (+ 1 0) into 1
10.500 * [backup-simplify]: Simplify 1 into 1
10.501 * [backup-simplify]: Simplify (+ (* 1 (* 1 (/ 1 (/ 1 x)))) (+ (* 1 (* (/ 1 (/ 1 y)) 1)) (* -1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))))) into (- (+ x y) (* x y))
10.501 * [backup-simplify]: Simplify (+ (- (/ 1 (- x)) (* (/ 1 (- x)) (/ 1 (- y)))) (/ 1 (- y))) into (- (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))))
10.501 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in (x y) around 0
10.501 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in y
10.501 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in y
10.501 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
10.501 * [taylor]: Taking taylor expansion of (* x y) in y
10.501 * [taylor]: Taking taylor expansion of x in y
10.501 * [backup-simplify]: Simplify x into x
10.501 * [taylor]: Taking taylor expansion of y in y
10.501 * [backup-simplify]: Simplify 0 into 0
10.501 * [backup-simplify]: Simplify 1 into 1
10.501 * [backup-simplify]: Simplify (* x 0) into 0
10.502 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
10.502 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
10.502 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y
10.502 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.502 * [taylor]: Taking taylor expansion of x in y
10.502 * [backup-simplify]: Simplify x into x
10.502 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
10.502 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.502 * [taylor]: Taking taylor expansion of y in y
10.502 * [backup-simplify]: Simplify 0 into 0
10.502 * [backup-simplify]: Simplify 1 into 1
10.502 * [backup-simplify]: Simplify (/ 1 1) into 1
10.502 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in x
10.502 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in x
10.502 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
10.502 * [taylor]: Taking taylor expansion of (* x y) in x
10.503 * [taylor]: Taking taylor expansion of x in x
10.503 * [backup-simplify]: Simplify 0 into 0
10.503 * [backup-simplify]: Simplify 1 into 1
10.503 * [taylor]: Taking taylor expansion of y in x
10.503 * [backup-simplify]: Simplify y into y
10.503 * [backup-simplify]: Simplify (* 0 y) into 0
10.503 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
10.503 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.503 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
10.503 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.503 * [taylor]: Taking taylor expansion of x in x
10.503 * [backup-simplify]: Simplify 0 into 0
10.503 * [backup-simplify]: Simplify 1 into 1
10.504 * [backup-simplify]: Simplify (/ 1 1) into 1
10.504 * [taylor]: Taking taylor expansion of (/ 1 y) in x
10.504 * [taylor]: Taking taylor expansion of y in x
10.504 * [backup-simplify]: Simplify y into y
10.504 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.504 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y)))) in x
10.504 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (+ (/ 1 x) (/ 1 y))) in x
10.504 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
10.504 * [taylor]: Taking taylor expansion of (* x y) in x
10.504 * [taylor]: Taking taylor expansion of x in x
10.504 * [backup-simplify]: Simplify 0 into 0
10.504 * [backup-simplify]: Simplify 1 into 1
10.504 * [taylor]: Taking taylor expansion of y in x
10.504 * [backup-simplify]: Simplify y into y
10.504 * [backup-simplify]: Simplify (* 0 y) into 0
10.504 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
10.505 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.505 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x
10.505 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.505 * [taylor]: Taking taylor expansion of x in x
10.505 * [backup-simplify]: Simplify 0 into 0
10.505 * [backup-simplify]: Simplify 1 into 1
10.505 * [backup-simplify]: Simplify (/ 1 1) into 1
10.505 * [taylor]: Taking taylor expansion of (/ 1 y) in x
10.505 * [taylor]: Taking taylor expansion of y in x
10.505 * [backup-simplify]: Simplify y into y
10.505 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.506 * [backup-simplify]: Simplify (+ 1 0) into 1
10.506 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ 1 (/ 1 y))
10.506 * [backup-simplify]: Simplify (- (+ 1 (/ 1 y))) into (- (+ 1 (/ 1 y)))
10.506 * [taylor]: Taking taylor expansion of (- (+ 1 (/ 1 y))) in y
10.506 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y
10.506 * [taylor]: Taking taylor expansion of 1 in y
10.506 * [backup-simplify]: Simplify 1 into 1
10.506 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.506 * [taylor]: Taking taylor expansion of y in y
10.506 * [backup-simplify]: Simplify 0 into 0
10.506 * [backup-simplify]: Simplify 1 into 1
10.506 * [backup-simplify]: Simplify (/ 1 1) into 1
10.507 * [backup-simplify]: Simplify (+ 0 1) into 1
10.507 * [backup-simplify]: Simplify (- 1) into -1
10.507 * [backup-simplify]: Simplify -1 into -1
10.508 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
10.508 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
10.509 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.509 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
10.509 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
10.509 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
10.509 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
10.509 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.509 * [taylor]: Taking taylor expansion of y in y
10.509 * [backup-simplify]: Simplify 0 into 0
10.509 * [backup-simplify]: Simplify 1 into 1
10.510 * [backup-simplify]: Simplify (/ 1 1) into 1
10.510 * [backup-simplify]: Simplify (- 1) into -1
10.510 * [backup-simplify]: Simplify -1 into -1
10.511 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.511 * [backup-simplify]: Simplify (+ 1 0) into 1
10.512 * [backup-simplify]: Simplify (- 1) into -1
10.512 * [backup-simplify]: Simplify -1 into -1
10.512 * [backup-simplify]: Simplify (+ (* -1 (* 1 (/ 1 (/ 1 (- x))))) (+ (* -1 (* (/ 1 (/ 1 (- y))) 1)) (* -1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))))) into (- (+ x y) (* x y))
10.512 * * * [progress]: simplifying candidates
10.512 * * * * [progress]: [ 1 / 52 ] simplifiying candidate #<alt (λ (x y) (+ (+ (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y x))) (fma (- y) x (* y x))) y))>
10.512 * * * * [progress]: [ 2 / 52 ] simplifiying candidate #<alt (λ (x y) (+ (+ (fma (sqrt x) (sqrt x) (- (* y x))) (fma (- y) x (* y x))) y))>
10.513 * * * * [progress]: [ 3 / 52 ] simplifiying candidate #<alt (λ (x y) (+ (+ (fma 1 x (- (* y x))) (fma (- y) x (* y x))) y))>
10.513 * * * * [progress]: [ 4 / 52 ] simplifiying candidate #<alt (λ (x y) (+ (log1p (expm1 (- x (* x y)))) y))>
10.513 * * * * [progress]: [ 5 / 52 ] simplifiying candidate #<alt (λ (x y) (+ (expm1 (log1p (- x (* x y)))) y))>
10.513 * * * * [progress]: [ 6 / 52 ] simplifiying candidate #<alt (λ (x y) (+ (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* x y))) y))>
10.513 * * * * [progress]: [ 7 / 52 ] simplifiying candidate #<alt (λ (x y) (+ (fma (sqrt x) (sqrt x) (- (* x y))) y))>
10.513 * * * * [progress]: [ 8 / 52 ] simplifiying candidate #<alt (λ (x y) (+ (fma 1 x (- (* x y))) y))>
10.513 * * * * [progress]: [ 9 / 52 ] simplifiying candidate #<alt (λ (x y) (+ (log (/ (exp x) (exp (* x y)))) y))>
10.513 * * * * [progress]: [ 10 / 52 ] simplifiying candidate #<alt (λ (x y) (+ (pow (- x (* x y)) 1) y))>
10.513 * * * * [progress]: [ 11 / 52 ] simplifiying candidate #<alt (λ (x y) (+ (exp (log (- x (* x y)))) y))>
10.513 * * * * [progress]: [ 12 / 52 ] simplifiying candidate #<alt (λ (x y) (+ (log (exp (- x (* x y)))) y))>
10.513 * * * * [progress]: [ 13 / 52 ] simplifiying candidate #<alt (λ (x y) (+ (* (* (cbrt (- x (* x y))) (cbrt (- x (* x y)))) (cbrt (- x (* x y)))) y))>
10.513 * * * * [progress]: [ 14 / 52 ] simplifiying candidate #<alt (λ (x y) (+ (cbrt (* (* (- x (* x y)) (- x (* x y))) (- x (* x y)))) y))>
10.513 * * * * [progress]: [ 15 / 52 ] simplifiying candidate #<alt (λ (x y) (+ (* (sqrt (- x (* x y))) (sqrt (- x (* x y)))) y))>
10.513 * * * * [progress]: [ 16 / 52 ] simplifiying candidate #<alt (λ (x y) (+ (/ (- (pow x 3) (pow (* x y) 3)) (+ (* x x) (+ (* (* x y) (* x y)) (* x (* x y))))) y))>
10.513 * * * * [progress]: [ 17 / 52 ] simplifiying candidate #<alt (λ (x y) (+ (+ x (- (* x y))) y))>
10.513 * * * * [progress]: [ 18 / 52 ] simplifiying candidate #<alt (λ (x y) (+ (* 1 (- x (* x y))) y))>
10.513 * * * * [progress]: [ 19 / 52 ] simplifiying candidate #<alt (λ (x y) (+ (/ (- (* x x) (* (* x y) (* x y))) (+ x (* x y))) y))>
10.514 * * * * [progress]: [ 20 / 52 ] simplifiying candidate #<alt (λ (x y) (+ (+ x (- (* x y))) y))>
10.514 * * * * [progress]: [ 21 / 52 ] simplifiying candidate #<alt (λ (x y) (+ (posit16->real (real->posit16 (- x (* x y)))) y))>
10.514 * * * * [progress]: [ 22 / 52 ] simplifiying candidate #<alt (λ (x y) (log1p (expm1 (+ (- x (* x y)) y))))>
10.514 * * * * [progress]: [ 23 / 52 ] simplifiying candidate #<alt (λ (x y) (expm1 (log1p (+ (- x (* x y)) y))))>
10.514 * * * * [progress]: [ 24 / 52 ] simplifiying candidate #<alt (λ (x y) (fma (* (cbrt (- x (* x y))) (cbrt (- x (* x y)))) (cbrt (- x (* x y))) y))>
10.514 * * * * [progress]: [ 25 / 52 ] simplifiying candidate #<alt (λ (x y) (fma (sqrt (- x (* x y))) (sqrt (- x (* x y))) y))>
10.514 * * * * [progress]: [ 26 / 52 ] simplifiying candidate #<alt (λ (x y) (fma 1 (- x (* x y)) y))>
10.514 * * * * [progress]: [ 27 / 52 ] simplifiying candidate #<alt (λ (x y) (log (* (/ (exp x) (exp (* x y))) (exp y))))>
10.514 * * * * [progress]: [ 28 / 52 ] simplifiying candidate #<alt (λ (x y) (log (* (exp (- x (* x y))) (exp y))))>
10.514 * * * * [progress]: [ 29 / 52 ] simplifiying candidate #<alt (λ (x y) (pow (+ (- x (* x y)) y) 1))>
10.514 * * * * [progress]: [ 30 / 52 ] simplifiying candidate #<alt (λ (x y) (exp (log (+ (- x (* x y)) y))))>
10.514 * * * * [progress]: [ 31 / 52 ] simplifiying candidate #<alt (λ (x y) (log (exp (+ (- x (* x y)) y))))>
10.514 * * * * [progress]: [ 32 / 52 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (+ (- x (* x y)) y)) (cbrt (+ (- x (* x y)) y))) (cbrt (+ (- x (* x y)) y))))>
10.514 * * * * [progress]: [ 33 / 52 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (+ (- x (* x y)) y) (+ (- x (* x y)) y)) (+ (- x (* x y)) y))))>
10.514 * * * * [progress]: [ 34 / 52 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ (- x (* x y)) y)) (sqrt (+ (- x (* x y)) y))))>
10.514 * * * * [progress]: [ 35 / 52 ] simplifiying candidate #<alt (λ (x y) (/ (+ (pow (- x (* x y)) 3) (pow y 3)) (+ (* (- x (* x y)) (- x (* x y))) (- (* y y) (* (- x (* x y)) y)))))>
10.514 * * * * [progress]: [ 36 / 52 ] simplifiying candidate #<alt (λ (x y) (* 1 (+ (- x (* x y)) y)))>
10.515 * * * * [progress]: [ 37 / 52 ] simplifiying candidate #<alt (λ (x y) (/ (- (* (- x (* x y)) (- x (* x y))) (* y y)) (- (- x (* x y)) y)))>
10.515 * * * * [progress]: [ 38 / 52 ] simplifiying candidate #<alt (λ (x y) (* 1 (+ (- x (* x y)) y)))>
10.515 * * * * [progress]: [ 39 / 52 ] simplifiying candidate #<alt (λ (x y) (+ (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y x))) (+ (fma (- y) x (* y x)) y)))>
10.515 * * * * [progress]: [ 40 / 52 ] simplifiying candidate #<alt (λ (x y) (+ (fma (sqrt x) (sqrt x) (- (* y x))) (+ (fma (- y) x (* y x)) y)))>
10.515 * * * * [progress]: [ 41 / 52 ] simplifiying candidate #<alt (λ (x y) (+ (fma 1 x (- (* y x))) (+ (fma (- y) x (* y x)) y)))>
10.515 * * * * [progress]: [ 42 / 52 ] simplifiying candidate #<alt (λ (x y) (+ x (+ (- (* x y)) y)))>
10.515 * * * * [progress]: [ 43 / 52 ] simplifiying candidate #<alt (λ (x y) (+ x (+ (- (* x y)) y)))>
10.515 * * * * [progress]: [ 44 / 52 ] simplifiying candidate #<alt (λ (x y) (- x (- (* x y) y)))>
10.515 * * * * [progress]: [ 45 / 52 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (+ (- x (* x y)) y))))>
10.515 * * * * [progress]: [ 46 / 52 ] simplifiying candidate #<alt (λ (x y) (+ y (- x (* x y))))>
10.515 * * * * [progress]: [ 47 / 52 ] simplifiying candidate #<alt (λ (x y) (+ (- x (* x y)) y))>
10.515 * * * * [progress]: [ 48 / 52 ] simplifiying candidate #<alt (λ (x y) (+ (- x (* x y)) y))>
10.515 * * * * [progress]: [ 49 / 52 ] simplifiying candidate #<alt (λ (x y) (+ (- x (* x y)) y))>
10.515 * * * * [progress]: [ 50 / 52 ] simplifiying candidate #<alt (λ (x y) (- (+ x y) (* x y)))>
10.515 * * * * [progress]: [ 51 / 52 ] simplifiying candidate #<alt (λ (x y) (- (+ x y) (* x y)))>
10.515 * * * * [progress]: [ 52 / 52 ] simplifiying candidate #<alt (λ (x y) (- (+ x y) (* x y)))>
10.516 * [simplify]: Simplifying:
  (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* y x)))
  (fma (- y) x (* y x))
  (fma (sqrt x) (sqrt x) (- (* y x)))
  (fma (- y) x (* y x))
  (fma 1 x (- (* y x)))
  (fma (- y) x (* y x))
  (expm1 (- x (* x y)))
  (log1p (- x (* x y)))
  (- (* x y))
  (- (* x y))
  (- (* x y))
  (/ (exp x) (exp (* x y)))
  (log (- x (* x y)))
  (exp (- x (* x y)))
  (* (cbrt (- x (* x y))) (cbrt (- x (* x y))))
  (cbrt (- x (* x y)))
  (* (* (- x (* x y)) (- x (* x y))) (- x (* x y)))
  (sqrt (- x (* x y)))
  (sqrt (- x (* x y)))
  (- (pow x 3) (pow (* x y) 3))
  (+ (* x x) (+ (* (* x y) (* x y)) (* x (* x y))))
  (- (* x y))
  (- (* x x) (* (* x y) (* x y)))
  (+ x (* x y))
  (- (* x y))
  (real->posit16 (- x (* x y)))
  (expm1 (+ (- x (* x y)) y))
  (log1p (+ (- x (* x y)) y))
  (* (/ (exp x) (exp (* x y))) (exp y))
  (* (exp (- x (* x y))) (exp y))
  (log (+ (- x (* x y)) y))
  (exp (+ (- x (* x y)) y))
  (* (cbrt (+ (- x (* x y)) y)) (cbrt (+ (- x (* x y)) y)))
  (cbrt (+ (- x (* x y)) y))
  (* (* (+ (- x (* x y)) y) (+ (- x (* x y)) y)) (+ (- x (* x y)) y))
  (sqrt (+ (- x (* x y)) y))
  (sqrt (+ (- x (* x y)) y))
  (+ (pow (- x (* x y)) 3) (pow y 3))
  (+ (* (- x (* x y)) (- x (* x y))) (- (* y y) (* (- x (* x y)) y)))
  (- (* (- x (* x y)) (- x (* x y))) (* y y))
  (- (- x (* x y)) y)
  (+ (- x (* x y)) y)
  (+ (fma (- y) x (* y x)) y)
  (+ (fma (- y) x (* y x)) y)
  (+ (fma (- y) x (* y x)) y)
  (+ (- (* x y)) y)
  (+ (- (* x y)) y)
  (- (* x y) y)
  (real->posit16 (+ (- x (* x y)) y))
  (- x (* x y))
  (- x (* x y))
  (- x (* x y))
  (- (+ x y) (* x y))
  (- (+ x y) (* x y))
  (- (+ x y) (* x y))
10.517 * * [simplify]: iteration 0: 68 enodes
10.540 * * [simplify]: iteration 1: 168 enodes
10.626 * * [simplify]: iteration 2: 681 enodes
11.527 * * [simplify]: iteration 3: 3137 enodes
12.411 * * [simplify]: iteration complete: 5000 enodes
12.412 * * [simplify]: Extracting #0: cost 34 inf + 0
12.413 * * [simplify]: Extracting #1: cost 413 inf + 0
12.427 * * [simplify]: Extracting #2: cost 549 inf + 22092
12.480 * * [simplify]: Extracting #3: cost 125 inf + 88640
12.541 * * [simplify]: Extracting #4: cost 17 inf + 112130
12.591 * * [simplify]: Extracting #5: cost 0 inf + 119031
12.637 * [simplify]: Simplified to:
  (- (* (* (cbrt x) (cbrt x)) (cbrt x)) (* y x))
  (* y (fma -1 x x))
  (- x (* y x))
  (* y (fma -1 x x))
  (- x (* y x))
  (* y (fma -1 x x))
  (expm1 (- x (* y x)))
  (log1p (- x (* y x)))
  (- (* y x))
  (- (* y x))
  (- (* y x))
  (exp (- x (* y x)))
  (log (- x (* y x)))
  (exp (- x (* y x)))
  (* (cbrt (- x (* y x))) (cbrt (- x (* y x))))
  (cbrt (- x (* y x)))
  (* (* (- x (* y x)) (- x (* y x))) (- x (* y x)))
  (sqrt (- x (* y x)))
  (sqrt (- x (* y x)))
  (* x (- (* x x) (* y (* (* y x) (* y x)))))
  (fma (fma y y y) (* x x) (* x x))
  (- (* y x))
  (* x (- x (* y (* y x))))
  (fma y x x)
  (- (* y x))
  (real->posit16 (- x (* y x)))
  (expm1 (fma x (- 1 y) y))
  (log1p (fma x (- 1 y) y))
  (exp (fma x (- 1 y) y))
  (exp (fma x (- 1 y) y))
  (log (fma x (- 1 y) y))
  (exp (fma x (- 1 y) y))
  (* (cbrt (fma x (- 1 y) y)) (cbrt (fma x (- 1 y) y)))
  (cbrt (fma x (- 1 y) y))
  (* (fma x (- 1 y) y) (* (fma x (- 1 y) y) (fma x (- 1 y) y)))
  (sqrt (fma x (- 1 y) y))
  (sqrt (fma x (- 1 y) y))
  (fma (* y y) y (* (* (- x (* y x)) (- x (* y x))) (- x (* y x))))
  (fma (- x (* y x)) (- x (* y x)) (* (- y (- x (* y x))) y))
  (- (* (- x (* y x)) (- x (* y x))) (* y y))
  (- x (fma x y y))
  (fma x (- 1 y) y)
  (fma (fma -1 x x) y y)
  (fma (fma -1 x x) y y)
  (fma (fma -1 x x) y y)
  (- y (* y x))
  (- y (* y x))
  (- (* y x) y)
  (real->posit16 (fma x (- 1 y) y))
  (- x (* y x))
  (- x (* y x))
  (- x (* y x))
  (fma x (- 1 y) y)
  (fma x (- 1 y) y)
  (fma x (- 1 y) y)
12.639 * * * [progress]: adding candidates to table
12.810 * [progress]: [Phase 3 of 3] Extracting.
12.810 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (+ (- x (* x y)) y))> #<alt (λ (x y) (fma (- 1 y) x y))>)
12.810 * * * [regime-changes]: Trying 2 branch expressions: (y x)
12.810 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (+ (- x (* x y)) y))> #<alt (λ (x y) (fma (- 1 y) x y))>)
12.848 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (+ (- x (* x y)) y))> #<alt (λ (x y) (fma (- 1 y) x y))>)
12.890 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
12.890 * [simplify]: Simplifying:
  (fma (- 1 y) x y)
12.890 * * [simplify]: iteration 0: 5 enodes
12.890 * * [simplify]: iteration 1: 7 enodes
12.891 * * [simplify]: iteration complete: 7 enodes
12.891 * * [simplify]: Extracting #0: cost 1 inf + 0
12.891 * * [simplify]: Extracting #1: cost 4 inf + 0
12.891 * * [simplify]: Extracting #2: cost 3 inf + 2
12.891 * * [simplify]: Extracting #3: cost 2 inf + 3
12.891 * * [simplify]: Extracting #4: cost 0 inf + 143
12.891 * [simplify]: Simplified to:
  (fma (- 1 y) x y)
14.135 * [regime-testing]: Baseline error score: 0.005750718839854982
14.137 * [regime-testing]: Oracle error score: 0.0006250781347668458
14.142 * [regime-testing]: End program error score: 0.005750718839854982