133.337 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.048 * * * [progress]: [2/2] Setting up program.
0.054 * [progress]: [Phase 2 of 3] Improving.
0.055 * [simplify]: Simplifying:
  (+ (+ (* x y) x) y)
0.055 * * [simplify]: iteration 0: 5 enodes
0.057 * * [simplify]: iteration 1: 11 enodes
0.062 * * [simplify]: iteration 2: 23 enodes
0.070 * * [simplify]: iteration 3: 32 enodes
0.081 * * [simplify]: iteration 4: 40 enodes
0.098 * * [simplify]: iteration 5: 65 enodes
0.121 * * [simplify]: iteration 6: 110 enodes
0.169 * * [simplify]: iteration 7: 177 enodes
0.242 * * [simplify]: iteration 8: 243 enodes
0.311 * * [simplify]: iteration 9: 331 enodes
0.615 * * [simplify]: iteration 10: 426 enodes
0.773 * * [simplify]: iteration 11: 522 enodes
0.927 * * [simplify]: iteration 12: 598 enodes
1.210 * * [simplify]: iteration 13: 676 enodes
1.505 * * [simplify]: iteration 14: 748 enodes
1.775 * * [simplify]: iteration 15: 820 enodes
1.975 * * [simplify]: iteration 16: 892 enodes
2.256 * * [simplify]: iteration 17: 964 enodes
2.456 * * [simplify]: iteration 18: 1036 enodes
2.775 * * [simplify]: iteration 19: 1108 enodes
3.144 * * [simplify]: iteration 20: 1180 enodes
3.698 * * [simplify]: iteration 21: 1251 enodes
4.064 * * [simplify]: iteration 22: 1323 enodes
4.401 * * [simplify]: iteration 23: 1394 enodes
4.716 * * [simplify]: iteration 24: 1466 enodes
5.068 * * [simplify]: iteration 25: 1538 enodes
5.299 * * [simplify]: iteration 26: 1610 enodes
5.725 * * [simplify]: iteration 27: 1682 enodes
5.978 * * [simplify]: iteration 28: 1754 enodes
6.395 * * [simplify]: iteration 29: 1825 enodes
6.801 * * [simplify]: iteration 30: 1897 enodes
7.271 * * [simplify]: iteration 31: 1968 enodes
7.606 * * [simplify]: iteration 32: 2040 enodes
8.022 * * [simplify]: iteration 33: 2111 enodes
8.282 * * [simplify]: iteration 34: 2183 enodes
8.857 * * [simplify]: iteration 35: 2255 enodes
9.081 * * [simplify]: iteration 36: 2327 enodes
9.548 * * [simplify]: iteration 37: 2398 enodes
9.824 * * [simplify]: iteration 38: 2470 enodes
10.350 * * [simplify]: iteration 39: 2541 enodes
10.649 * * [simplify]: iteration 40: 2613 enodes
11.192 * * [simplify]: iteration 41: 2684 enodes
11.595 * * [simplify]: iteration 42: 2756 enodes
12.351 * * [simplify]: iteration 43: 2828 enodes
13.638 * * [simplify]: iteration 44: 2900 enodes
15.197 * * [simplify]: iteration 45: 2973 enodes
15.535 * * [simplify]: iteration 46: 3045 enodes
16.158 * * [simplify]: iteration 47: 3116 enodes
16.633 * * [simplify]: iteration 48: 3188 enodes
17.697 * * [simplify]: iteration 49: 3259 enodes
18.334 * * [simplify]: iteration 50: 3331 enodes
19.414 * * [simplify]: iteration 51: 3402 enodes
20.048 * * [simplify]: iteration 52: 3474 enodes
22.444 * * [simplify]: iteration 53: 3546 enodes
24.049 * * [simplify]: iteration 54: 3618 enodes
25.521 * * [simplify]: iteration 55: 3690 enodes
26.003 * * [simplify]: iteration 56: 3762 enodes
27.912 * * [simplify]: iteration 57: 3833 enodes
29.264 * * [simplify]: iteration 58: 3905 enodes
32.121 * * [simplify]: iteration 59: 3976 enodes
32.921 * * [simplify]: iteration 60: 4048 enodes
34.612 * * [simplify]: iteration 61: 4120 enodes
35.457 * * [simplify]: iteration 62: 4192 enodes
37.069 * * [simplify]: iteration 63: 4263 enodes
37.770 * * [simplify]: iteration 64: 4335 enodes
40.453 * * [simplify]: iteration 65: 4406 enodes
44.035 * * [simplify]: iteration 66: 4478 enodes
46.228 * * [simplify]: iteration 67: 4550 enodes
46.938 * * [simplify]: iteration 68: 4622 enodes
48.542 * * [simplify]: iteration 69: 4693 enodes
49.258 * * [simplify]: iteration 70: 4765 enodes
50.957 * * [simplify]: iteration 71: 4837 enodes
52.111 * * [simplify]: iteration 72: 4918 enodes
52.639 * * [simplify]: iteration complete: 5000 enodes
52.639 * * [simplify]: Extracting #0: cost 1 inf + 0
52.639 * * [simplify]: Extracting #1: cost 8 inf + 0
52.641 * * [simplify]: Extracting #2: cost 191 inf + 44
52.646 * * [simplify]: Extracting #3: cost 23 inf + 7144
52.654 * * [simplify]: Extracting #4: cost 0 inf + 8110
52.665 * [simplify]: Simplified to:
  (+ (fma y x x) y)
52.686 * * [progress]: iteration 1 / 4
52.686 * * * [progress]: picking best candidate
52.692 * * * * [pick]: Picked  #<alt (λ (x y) (+ (fma y x x) y))>
52.692 * * * [progress]: localizing error
52.702 * * * [progress]: generating rewritten candidates
52.702 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
52.714 * * * [progress]: generating series expansions
52.714 * * * * [progress]: [ 1 / 1 ] generating series at (2)
52.714 * [backup-simplify]: Simplify (+ (fma y x x) y) into (+ y (fma y x x))
52.714 * [approximate]: Taking taylor expansion of (+ y (fma y x x)) in (y x) around 0
52.714 * [taylor]: Taking taylor expansion of (+ y (fma y x x)) in x
52.714 * [taylor]: Taking taylor expansion of y in x
52.714 * [backup-simplify]: Simplify y into y
52.714 * [taylor]: Taking taylor expansion of (fma y x x) in x
52.714 * [taylor]: Rewrote expression to (+ (* y x) x)
52.714 * [taylor]: Taking taylor expansion of (* y x) in x
52.714 * [taylor]: Taking taylor expansion of y in x
52.714 * [backup-simplify]: Simplify y into y
52.714 * [taylor]: Taking taylor expansion of x in x
52.714 * [backup-simplify]: Simplify 0 into 0
52.714 * [backup-simplify]: Simplify 1 into 1
52.714 * [taylor]: Taking taylor expansion of x in x
52.714 * [backup-simplify]: Simplify 0 into 0
52.714 * [backup-simplify]: Simplify 1 into 1
52.715 * [taylor]: Taking taylor expansion of (+ y (fma y x x)) in y
52.715 * [taylor]: Taking taylor expansion of y in y
52.715 * [backup-simplify]: Simplify 0 into 0
52.715 * [backup-simplify]: Simplify 1 into 1
52.715 * [taylor]: Taking taylor expansion of (fma y x x) in y
52.715 * [taylor]: Rewrote expression to (+ (* y x) x)
52.715 * [taylor]: Taking taylor expansion of (* y x) in y
52.715 * [taylor]: Taking taylor expansion of y in y
52.715 * [backup-simplify]: Simplify 0 into 0
52.715 * [backup-simplify]: Simplify 1 into 1
52.715 * [taylor]: Taking taylor expansion of x in y
52.715 * [backup-simplify]: Simplify x into x
52.715 * [taylor]: Taking taylor expansion of x in y
52.715 * [backup-simplify]: Simplify x into x
52.715 * [taylor]: Taking taylor expansion of (+ y (fma y x x)) in y
52.715 * [taylor]: Taking taylor expansion of y in y
52.715 * [backup-simplify]: Simplify 0 into 0
52.715 * [backup-simplify]: Simplify 1 into 1
52.715 * [taylor]: Taking taylor expansion of (fma y x x) in y
52.715 * [taylor]: Rewrote expression to (+ (* y x) x)
52.715 * [taylor]: Taking taylor expansion of (* y x) in y
52.715 * [taylor]: Taking taylor expansion of y in y
52.715 * [backup-simplify]: Simplify 0 into 0
52.715 * [backup-simplify]: Simplify 1 into 1
52.715 * [taylor]: Taking taylor expansion of x in y
52.716 * [backup-simplify]: Simplify x into x
52.716 * [taylor]: Taking taylor expansion of x in y
52.716 * [backup-simplify]: Simplify x into x
52.716 * [backup-simplify]: Simplify (* 0 x) into 0
52.716 * [backup-simplify]: Simplify (+ 0 x) into x
52.716 * [backup-simplify]: Simplify (+ 0 x) into x
52.716 * [taylor]: Taking taylor expansion of x in x
52.716 * [backup-simplify]: Simplify 0 into 0
52.716 * [backup-simplify]: Simplify 1 into 1
52.716 * [backup-simplify]: Simplify 0 into 0
52.717 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
52.717 * [backup-simplify]: Simplify (+ x 0) into x
52.717 * [backup-simplify]: Simplify (+ 1 x) into (+ x 1)
52.717 * [taylor]: Taking taylor expansion of (+ x 1) in x
52.717 * [taylor]: Taking taylor expansion of x in x
52.717 * [backup-simplify]: Simplify 0 into 0
52.717 * [backup-simplify]: Simplify 1 into 1
52.717 * [taylor]: Taking taylor expansion of 1 in x
52.717 * [backup-simplify]: Simplify 1 into 1
52.718 * [backup-simplify]: Simplify (+ 0 1) into 1
52.718 * [backup-simplify]: Simplify 1 into 1
52.718 * [backup-simplify]: Simplify 1 into 1
52.719 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0
52.719 * [backup-simplify]: Simplify (+ 0 0) into 0
52.719 * [backup-simplify]: Simplify (+ 0 0) into 0
52.719 * [taylor]: Taking taylor expansion of 0 in x
52.719 * [backup-simplify]: Simplify 0 into 0
52.719 * [backup-simplify]: Simplify 0 into 0
52.720 * [backup-simplify]: Simplify (+ 1 0) into 1
52.720 * [backup-simplify]: Simplify 1 into 1
52.720 * [backup-simplify]: Simplify (+ (* 1 (* x y)) (+ (* 1 (* x 1)) (* 1 (* 1 y)))) into (+ x (+ y (* x y)))
52.720 * [backup-simplify]: Simplify (+ (fma (/ 1 y) (/ 1 x) (/ 1 x)) (/ 1 y)) into (+ (/ 1 y) (fma (/ 1 y) (/ 1 x) (/ 1 x)))
52.720 * [approximate]: Taking taylor expansion of (+ (/ 1 y) (fma (/ 1 y) (/ 1 x) (/ 1 x))) in (y x) around 0
52.720 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (fma (/ 1 y) (/ 1 x) (/ 1 x))) in x
52.720 * [taylor]: Taking taylor expansion of (/ 1 y) in x
52.721 * [taylor]: Taking taylor expansion of y in x
52.721 * [backup-simplify]: Simplify y into y
52.721 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
52.721 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 1 x)) in x
52.721 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 1 x))
52.721 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in x
52.721 * [taylor]: Taking taylor expansion of (/ 1 y) in x
52.721 * [taylor]: Taking taylor expansion of y in x
52.721 * [backup-simplify]: Simplify y into y
52.721 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
52.721 * [taylor]: Taking taylor expansion of (/ 1 x) in x
52.721 * [taylor]: Taking taylor expansion of x in x
52.721 * [backup-simplify]: Simplify 0 into 0
52.721 * [backup-simplify]: Simplify 1 into 1
52.722 * [backup-simplify]: Simplify (/ 1 1) into 1
52.722 * [taylor]: Taking taylor expansion of (/ 1 x) in x
52.722 * [taylor]: Taking taylor expansion of x in x
52.722 * [backup-simplify]: Simplify 0 into 0
52.722 * [backup-simplify]: Simplify 1 into 1
52.722 * [backup-simplify]: Simplify (/ 1 1) into 1
52.722 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (fma (/ 1 y) (/ 1 x) (/ 1 x))) in y
52.722 * [taylor]: Taking taylor expansion of (/ 1 y) in y
52.722 * [taylor]: Taking taylor expansion of y in y
52.722 * [backup-simplify]: Simplify 0 into 0
52.722 * [backup-simplify]: Simplify 1 into 1
52.723 * [backup-simplify]: Simplify (/ 1 1) into 1
52.723 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 1 x)) in y
52.723 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 1 x))
52.723 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in y
52.723 * [taylor]: Taking taylor expansion of (/ 1 y) in y
52.723 * [taylor]: Taking taylor expansion of y in y
52.723 * [backup-simplify]: Simplify 0 into 0
52.723 * [backup-simplify]: Simplify 1 into 1
52.723 * [backup-simplify]: Simplify (/ 1 1) into 1
52.723 * [taylor]: Taking taylor expansion of (/ 1 x) in y
52.723 * [taylor]: Taking taylor expansion of x in y
52.723 * [backup-simplify]: Simplify x into x
52.724 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
52.724 * [taylor]: Taking taylor expansion of (/ 1 x) in y
52.724 * [taylor]: Taking taylor expansion of x in y
52.724 * [backup-simplify]: Simplify x into x
52.724 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
52.724 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (fma (/ 1 y) (/ 1 x) (/ 1 x))) in y
52.724 * [taylor]: Taking taylor expansion of (/ 1 y) in y
52.724 * [taylor]: Taking taylor expansion of y in y
52.724 * [backup-simplify]: Simplify 0 into 0
52.724 * [backup-simplify]: Simplify 1 into 1
52.724 * [backup-simplify]: Simplify (/ 1 1) into 1
52.724 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 1 x)) in y
52.724 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 1 x))
52.724 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in y
52.724 * [taylor]: Taking taylor expansion of (/ 1 y) in y
52.725 * [taylor]: Taking taylor expansion of y in y
52.725 * [backup-simplify]: Simplify 0 into 0
52.725 * [backup-simplify]: Simplify 1 into 1
52.725 * [backup-simplify]: Simplify (/ 1 1) into 1
52.725 * [taylor]: Taking taylor expansion of (/ 1 x) in y
52.725 * [taylor]: Taking taylor expansion of x in y
52.725 * [backup-simplify]: Simplify x into x
52.725 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
52.725 * [taylor]: Taking taylor expansion of (/ 1 x) in y
52.725 * [taylor]: Taking taylor expansion of x in y
52.725 * [backup-simplify]: Simplify x into x
52.725 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
52.726 * [backup-simplify]: Simplify (* 1 (/ 1 x)) into (/ 1 x)
52.726 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
52.726 * [backup-simplify]: Simplify (+ 1 (/ 1 x)) into (+ (/ 1 x) 1)
52.726 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
52.726 * [taylor]: Taking taylor expansion of (/ 1 x) in x
52.726 * [taylor]: Taking taylor expansion of x in x
52.726 * [backup-simplify]: Simplify 0 into 0
52.726 * [backup-simplify]: Simplify 1 into 1
52.726 * [backup-simplify]: Simplify (/ 1 1) into 1
52.726 * [taylor]: Taking taylor expansion of 1 in x
52.726 * [backup-simplify]: Simplify 1 into 1
52.727 * [backup-simplify]: Simplify (+ 1 0) into 1
52.727 * [backup-simplify]: Simplify 1 into 1
52.728 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
52.728 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
52.729 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
52.729 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (/ 1 x))) into 0
52.729 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
52.729 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
52.729 * [taylor]: Taking taylor expansion of (/ 1 x) in x
52.729 * [taylor]: Taking taylor expansion of x in x
52.729 * [backup-simplify]: Simplify 0 into 0
52.729 * [backup-simplify]: Simplify 1 into 1
52.730 * [backup-simplify]: Simplify (/ 1 1) into 1
52.730 * [backup-simplify]: Simplify 1 into 1
52.731 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
52.731 * [backup-simplify]: Simplify (+ 0 1) into 1
52.731 * [backup-simplify]: Simplify 1 into 1
52.731 * [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)))
52.732 * [backup-simplify]: Simplify (+ (fma (/ 1 (- y)) (/ 1 (- x)) (/ 1 (- x))) (/ 1 (- y))) into (- (fma (/ -1 y) (/ -1 x) (/ -1 x)) (/ 1 y))
52.732 * [approximate]: Taking taylor expansion of (- (fma (/ -1 y) (/ -1 x) (/ -1 x)) (/ 1 y)) in (y x) around 0
52.732 * [taylor]: Taking taylor expansion of (- (fma (/ -1 y) (/ -1 x) (/ -1 x)) (/ 1 y)) in x
52.732 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ -1 x)) in x
52.732 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ -1 x))
52.732 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in x
52.732 * [taylor]: Taking taylor expansion of (/ -1 y) in x
52.732 * [taylor]: Taking taylor expansion of -1 in x
52.732 * [backup-simplify]: Simplify -1 into -1
52.732 * [taylor]: Taking taylor expansion of y in x
52.732 * [backup-simplify]: Simplify y into y
52.732 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
52.732 * [taylor]: Taking taylor expansion of (/ -1 x) in x
52.732 * [taylor]: Taking taylor expansion of -1 in x
52.732 * [backup-simplify]: Simplify -1 into -1
52.732 * [taylor]: Taking taylor expansion of x in x
52.732 * [backup-simplify]: Simplify 0 into 0
52.732 * [backup-simplify]: Simplify 1 into 1
52.733 * [backup-simplify]: Simplify (/ -1 1) into -1
52.733 * [taylor]: Taking taylor expansion of (/ -1 x) in x
52.733 * [taylor]: Taking taylor expansion of -1 in x
52.733 * [backup-simplify]: Simplify -1 into -1
52.733 * [taylor]: Taking taylor expansion of x in x
52.733 * [backup-simplify]: Simplify 0 into 0
52.733 * [backup-simplify]: Simplify 1 into 1
52.734 * [backup-simplify]: Simplify (/ -1 1) into -1
52.734 * [taylor]: Taking taylor expansion of (/ 1 y) in x
52.734 * [taylor]: Taking taylor expansion of y in x
52.734 * [backup-simplify]: Simplify y into y
52.734 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
52.734 * [taylor]: Taking taylor expansion of (- (fma (/ -1 y) (/ -1 x) (/ -1 x)) (/ 1 y)) in y
52.734 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ -1 x)) in y
52.734 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ -1 x))
52.734 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in y
52.734 * [taylor]: Taking taylor expansion of (/ -1 y) in y
52.734 * [taylor]: Taking taylor expansion of -1 in y
52.734 * [backup-simplify]: Simplify -1 into -1
52.734 * [taylor]: Taking taylor expansion of y in y
52.734 * [backup-simplify]: Simplify 0 into 0
52.734 * [backup-simplify]: Simplify 1 into 1
52.735 * [backup-simplify]: Simplify (/ -1 1) into -1
52.735 * [taylor]: Taking taylor expansion of (/ -1 x) in y
52.735 * [taylor]: Taking taylor expansion of -1 in y
52.735 * [backup-simplify]: Simplify -1 into -1
52.735 * [taylor]: Taking taylor expansion of x in y
52.735 * [backup-simplify]: Simplify x into x
52.735 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
52.735 * [taylor]: Taking taylor expansion of (/ -1 x) in y
52.735 * [taylor]: Taking taylor expansion of -1 in y
52.735 * [backup-simplify]: Simplify -1 into -1
52.735 * [taylor]: Taking taylor expansion of x in y
52.735 * [backup-simplify]: Simplify x into x
52.735 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
52.735 * [taylor]: Taking taylor expansion of (/ 1 y) in y
52.735 * [taylor]: Taking taylor expansion of y in y
52.735 * [backup-simplify]: Simplify 0 into 0
52.735 * [backup-simplify]: Simplify 1 into 1
52.736 * [backup-simplify]: Simplify (/ 1 1) into 1
52.736 * [taylor]: Taking taylor expansion of (- (fma (/ -1 y) (/ -1 x) (/ -1 x)) (/ 1 y)) in y
52.736 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ -1 x)) in y
52.736 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ -1 x))
52.736 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in y
52.736 * [taylor]: Taking taylor expansion of (/ -1 y) in y
52.736 * [taylor]: Taking taylor expansion of -1 in y
52.736 * [backup-simplify]: Simplify -1 into -1
52.736 * [taylor]: Taking taylor expansion of y in y
52.736 * [backup-simplify]: Simplify 0 into 0
52.736 * [backup-simplify]: Simplify 1 into 1
52.736 * [backup-simplify]: Simplify (/ -1 1) into -1
52.737 * [taylor]: Taking taylor expansion of (/ -1 x) in y
52.737 * [taylor]: Taking taylor expansion of -1 in y
52.737 * [backup-simplify]: Simplify -1 into -1
52.737 * [taylor]: Taking taylor expansion of x in y
52.737 * [backup-simplify]: Simplify x into x
52.737 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
52.737 * [taylor]: Taking taylor expansion of (/ -1 x) in y
52.737 * [taylor]: Taking taylor expansion of -1 in y
52.737 * [backup-simplify]: Simplify -1 into -1
52.737 * [taylor]: Taking taylor expansion of x in y
52.737 * [backup-simplify]: Simplify x into x
52.737 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
52.737 * [taylor]: Taking taylor expansion of (/ 1 y) in y
52.737 * [taylor]: Taking taylor expansion of y in y
52.737 * [backup-simplify]: Simplify 0 into 0
52.737 * [backup-simplify]: Simplify 1 into 1
52.737 * [backup-simplify]: Simplify (/ 1 1) into 1
52.738 * [backup-simplify]: Simplify (* -1 (/ -1 x)) into (/ 1 x)
52.738 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
52.738 * [backup-simplify]: Simplify (- 1) into -1
52.738 * [backup-simplify]: Simplify (+ (/ 1 x) -1) into (- (/ 1 x) 1)
52.738 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
52.738 * [taylor]: Taking taylor expansion of (/ 1 x) in x
52.738 * [taylor]: Taking taylor expansion of x in x
52.738 * [backup-simplify]: Simplify 0 into 0
52.738 * [backup-simplify]: Simplify 1 into 1
52.739 * [backup-simplify]: Simplify (/ 1 1) into 1
52.739 * [taylor]: Taking taylor expansion of 1 in x
52.739 * [backup-simplify]: Simplify 1 into 1
52.739 * [backup-simplify]: Simplify (+ 1 0) into 1
52.739 * [backup-simplify]: Simplify 1 into 1
52.739 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
52.740 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
52.741 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ -1 x))) into 0
52.741 * [backup-simplify]: Simplify (+ 0 (/ -1 x)) into (- (/ 1 x))
52.741 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
52.742 * [backup-simplify]: Simplify (- 0) into 0
52.742 * [backup-simplify]: Simplify (+ (- (/ 1 x)) 0) into (- (/ 1 x))
52.742 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
52.742 * [taylor]: Taking taylor expansion of (/ 1 x) in x
52.742 * [taylor]: Taking taylor expansion of x in x
52.742 * [backup-simplify]: Simplify 0 into 0
52.742 * [backup-simplify]: Simplify 1 into 1
52.742 * [backup-simplify]: Simplify (/ 1 1) into 1
52.743 * [backup-simplify]: Simplify (- 1) into -1
52.743 * [backup-simplify]: Simplify -1 into -1
52.743 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
52.744 * [backup-simplify]: Simplify (- 1) into -1
52.744 * [backup-simplify]: Simplify (+ 0 -1) into -1
52.744 * [backup-simplify]: Simplify -1 into -1
52.745 * [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)))
52.751 * * * [progress]: simplifying candidates
52.752 * [simplify]: Simplifying:
  (expm1 (+ (fma y x x) y))
  (log1p (+ (fma y x x) y))
  (* (exp (fma y x x)) (exp y))
  (log (+ (fma y x x) y))
  (exp (+ (fma y x x) y))
  (* (cbrt (+ (fma y x x) y)) (cbrt (+ (fma y x x) y)))
  (cbrt (+ (fma y x x) y))
  (* (* (+ (fma y x x) y) (+ (fma y x x) y)) (+ (fma y x x) y))
  (sqrt (+ (fma y x x) y))
  (sqrt (+ (fma y x x) y))
  (+ (pow (fma y x x) 3) (pow y 3))
  (+ (* (fma y x x) (fma y x x)) (- (* y y) (* (fma y x x) y)))
  (- (* (fma y x x) (fma y x x)) (* y y))
  (- (fma y x x) y)
  (+ (fma y x x) y)
  (+ x y)
  (+ x (+ y (* x y)))
  (+ x (+ y (* x y)))
  (+ x (+ y (* x y)))
52.752 * * [simplify]: iteration 0: 31 enodes
52.767 * * [simplify]: iteration 1: 83 enodes
52.813 * * [simplify]: iteration 2: 205 enodes
53.052 * * [simplify]: iteration 3: 729 enodes
57.479 * * [simplify]: iteration 4: 4250 enodes
62.531 * * [simplify]: iteration complete: 5000 enodes
62.531 * * [simplify]: Extracting #0: cost 14 inf + 0
62.532 * * [simplify]: Extracting #1: cost 218 inf + 0
62.549 * * [simplify]: Extracting #2: cost 1080 inf + 2727
62.597 * * [simplify]: Extracting #3: cost 480 inf + 94108
62.731 * * [simplify]: Extracting #4: cost 69 inf + 173021
62.835 * * [simplify]: Extracting #5: cost 3 inf + 190156
62.934 * * [simplify]: Extracting #6: cost 0 inf + 190597
63.051 * [simplify]: Simplified to:
  (expm1 (+ (fma y x x) y))
  (log1p (+ (fma y x x) y))
  (exp (+ (fma y x x) y))
  (log (+ (fma y x x) y))
  (exp (+ (fma y x x) y))
  (* (cbrt (+ (fma y x x) y)) (cbrt (+ (fma y x x) y)))
  (cbrt (+ (fma y x x) y))
  (* (+ (fma y x x) y) (* (+ (fma y x x) y) (+ (fma y x x) y)))
  (sqrt (+ (fma y x x) y))
  (sqrt (+ (fma y x x) y))
  (fma (fma y x x) (* (fma y x x) (fma y x x)) (* y (* y y)))
  (fma y (- y (fma y x x)) (* (fma y x x) (fma y x x)))
  (- (* (fma y x x) (fma y x x)) (* y y))
  (- (fma y x x) y)
  (+ (fma y x x) y)
  (+ y x)
  (+ (fma y x x) y)
  (+ (fma y x x) y)
  (+ (fma y x x) y)
63.071 * * * [progress]: adding candidates to table
63.267 * * [progress]: iteration 2 / 4
63.267 * * * [progress]: picking best candidate
63.275 * * * * [pick]: Picked  #<alt (λ (x y) (fma (sqrt (fma y x x)) (sqrt (fma y x x)) y))>
63.275 * * * [progress]: localizing error
63.299 * * * [progress]: generating rewritten candidates
63.299 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
63.300 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
63.303 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
63.307 * * * [progress]: generating series expansions
63.308 * * * * [progress]: [ 1 / 3 ] generating series at (2)
63.308 * [backup-simplify]: Simplify (fma (sqrt (fma y x x)) (sqrt (fma y x x)) y) into (fma (sqrt (fma y x x)) (sqrt (fma y x x)) y)
63.308 * [approximate]: Taking taylor expansion of (fma (sqrt (fma y x x)) (sqrt (fma y x x)) y) in (y x) around 0
63.308 * [taylor]: Taking taylor expansion of (fma (sqrt (fma y x x)) (sqrt (fma y x x)) y) in x
63.308 * [taylor]: Rewrote expression to (+ (* (sqrt (fma y x x)) (sqrt (fma y x x))) y)
63.308 * [taylor]: Taking taylor expansion of (* (sqrt (fma y x x)) (sqrt (fma y x x))) in x
63.308 * [taylor]: Taking taylor expansion of (sqrt (fma y x x)) in x
63.308 * [taylor]: Taking taylor expansion of (fma y x x) in x
63.308 * [taylor]: Rewrote expression to (+ (* y x) x)
63.308 * [taylor]: Taking taylor expansion of (* y x) in x
63.308 * [taylor]: Taking taylor expansion of y in x
63.308 * [backup-simplify]: Simplify y into y
63.309 * [taylor]: Taking taylor expansion of x in x
63.309 * [backup-simplify]: Simplify 0 into 0
63.309 * [backup-simplify]: Simplify 1 into 1
63.309 * [taylor]: Taking taylor expansion of x in x
63.309 * [backup-simplify]: Simplify 0 into 0
63.309 * [backup-simplify]: Simplify 1 into 1
63.309 * [backup-simplify]: Simplify (* y 0) into 0
63.309 * [backup-simplify]: Simplify (+ 0 0) into 0
63.310 * [backup-simplify]: Simplify (+ (* y 1) (* 0 0)) into y
63.310 * [backup-simplify]: Simplify (+ y 1) into (+ y 1)
63.310 * [backup-simplify]: Simplify (sqrt 0) into 0
63.311 * [backup-simplify]: Simplify (/ (+ y 1) (* 2 (sqrt 0))) into (* +nan.0 (+ y 1))
63.311 * [taylor]: Taking taylor expansion of (sqrt (fma y x x)) in x
63.311 * [taylor]: Taking taylor expansion of (fma y x x) in x
63.311 * [taylor]: Rewrote expression to (+ (* y x) x)
63.311 * [taylor]: Taking taylor expansion of (* y x) in x
63.311 * [taylor]: Taking taylor expansion of y in x
63.311 * [backup-simplify]: Simplify y into y
63.311 * [taylor]: Taking taylor expansion of x in x
63.311 * [backup-simplify]: Simplify 0 into 0
63.311 * [backup-simplify]: Simplify 1 into 1
63.311 * [taylor]: Taking taylor expansion of x in x
63.311 * [backup-simplify]: Simplify 0 into 0
63.312 * [backup-simplify]: Simplify 1 into 1
63.312 * [backup-simplify]: Simplify (* y 0) into 0
63.312 * [backup-simplify]: Simplify (+ 0 0) into 0
63.312 * [backup-simplify]: Simplify (+ (* y 1) (* 0 0)) into y
63.312 * [backup-simplify]: Simplify (+ y 1) into (+ y 1)
63.313 * [backup-simplify]: Simplify (sqrt 0) into 0
63.313 * [backup-simplify]: Simplify (/ (+ y 1) (* 2 (sqrt 0))) into (* +nan.0 (+ y 1))
63.313 * [taylor]: Taking taylor expansion of y in x
63.314 * [backup-simplify]: Simplify y into y
63.314 * [taylor]: Taking taylor expansion of (fma (sqrt (fma y x x)) (sqrt (fma y x x)) y) in y
63.314 * [taylor]: Rewrote expression to (+ (* (sqrt (fma y x x)) (sqrt (fma y x x))) y)
63.314 * [taylor]: Taking taylor expansion of (* (sqrt (fma y x x)) (sqrt (fma y x x))) in y
63.314 * [taylor]: Taking taylor expansion of (sqrt (fma y x x)) in y
63.314 * [taylor]: Taking taylor expansion of (fma y x x) in y
63.314 * [taylor]: Rewrote expression to (+ (* y x) x)
63.314 * [taylor]: Taking taylor expansion of (* y x) in y
63.314 * [taylor]: Taking taylor expansion of y in y
63.314 * [backup-simplify]: Simplify 0 into 0
63.314 * [backup-simplify]: Simplify 1 into 1
63.314 * [taylor]: Taking taylor expansion of x in y
63.314 * [backup-simplify]: Simplify x into x
63.314 * [taylor]: Taking taylor expansion of x in y
63.314 * [backup-simplify]: Simplify x into x
63.314 * [backup-simplify]: Simplify (* 0 x) into 0
63.314 * [backup-simplify]: Simplify (+ 0 x) into x
63.314 * [backup-simplify]: Simplify (sqrt x) into (sqrt x)
63.315 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
63.315 * [backup-simplify]: Simplify (+ x 0) into x
63.315 * [backup-simplify]: Simplify (/ x (* 2 (sqrt x))) into (* 1/2 (sqrt x))
63.315 * [taylor]: Taking taylor expansion of (sqrt (fma y x x)) in y
63.315 * [taylor]: Taking taylor expansion of (fma y x x) in y
63.315 * [taylor]: Rewrote expression to (+ (* y x) x)
63.315 * [taylor]: Taking taylor expansion of (* y x) in y
63.315 * [taylor]: Taking taylor expansion of y in y
63.315 * [backup-simplify]: Simplify 0 into 0
63.315 * [backup-simplify]: Simplify 1 into 1
63.315 * [taylor]: Taking taylor expansion of x in y
63.315 * [backup-simplify]: Simplify x into x
63.315 * [taylor]: Taking taylor expansion of x in y
63.315 * [backup-simplify]: Simplify x into x
63.316 * [backup-simplify]: Simplify (* 0 x) into 0
63.316 * [backup-simplify]: Simplify (+ 0 x) into x
63.316 * [backup-simplify]: Simplify (sqrt x) into (sqrt x)
63.316 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
63.316 * [backup-simplify]: Simplify (+ x 0) into x
63.316 * [backup-simplify]: Simplify (/ x (* 2 (sqrt x))) into (* 1/2 (sqrt x))
63.316 * [taylor]: Taking taylor expansion of y in y
63.316 * [backup-simplify]: Simplify 0 into 0
63.316 * [backup-simplify]: Simplify 1 into 1
63.316 * [taylor]: Taking taylor expansion of (fma (sqrt (fma y x x)) (sqrt (fma y x x)) y) in y
63.317 * [taylor]: Rewrote expression to (+ (* (sqrt (fma y x x)) (sqrt (fma y x x))) y)
63.317 * [taylor]: Taking taylor expansion of (* (sqrt (fma y x x)) (sqrt (fma y x x))) in y
63.317 * [taylor]: Taking taylor expansion of (sqrt (fma y x x)) in y
63.317 * [taylor]: Taking taylor expansion of (fma y x x) in y
63.317 * [taylor]: Rewrote expression to (+ (* y x) x)
63.317 * [taylor]: Taking taylor expansion of (* y x) in y
63.317 * [taylor]: Taking taylor expansion of y in y
63.317 * [backup-simplify]: Simplify 0 into 0
63.317 * [backup-simplify]: Simplify 1 into 1
63.317 * [taylor]: Taking taylor expansion of x in y
63.317 * [backup-simplify]: Simplify x into x
63.317 * [taylor]: Taking taylor expansion of x in y
63.317 * [backup-simplify]: Simplify x into x
63.317 * [backup-simplify]: Simplify (* 0 x) into 0
63.317 * [backup-simplify]: Simplify (+ 0 x) into x
63.317 * [backup-simplify]: Simplify (sqrt x) into (sqrt x)
63.318 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
63.318 * [backup-simplify]: Simplify (+ x 0) into x
63.318 * [backup-simplify]: Simplify (/ x (* 2 (sqrt x))) into (* 1/2 (sqrt x))
63.318 * [taylor]: Taking taylor expansion of (sqrt (fma y x x)) in y
63.318 * [taylor]: Taking taylor expansion of (fma y x x) in y
63.318 * [taylor]: Rewrote expression to (+ (* y x) x)
63.318 * [taylor]: Taking taylor expansion of (* y x) in y
63.318 * [taylor]: Taking taylor expansion of y in y
63.318 * [backup-simplify]: Simplify 0 into 0
63.318 * [backup-simplify]: Simplify 1 into 1
63.318 * [taylor]: Taking taylor expansion of x in y
63.318 * [backup-simplify]: Simplify x into x
63.318 * [taylor]: Taking taylor expansion of x in y
63.318 * [backup-simplify]: Simplify x into x
63.318 * [backup-simplify]: Simplify (* 0 x) into 0
63.318 * [backup-simplify]: Simplify (+ 0 x) into x
63.318 * [backup-simplify]: Simplify (sqrt x) into (sqrt x)
63.319 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
63.319 * [backup-simplify]: Simplify (+ x 0) into x
63.319 * [backup-simplify]: Simplify (/ x (* 2 (sqrt x))) into (* 1/2 (sqrt x))
63.319 * [taylor]: Taking taylor expansion of y in y
63.319 * [backup-simplify]: Simplify 0 into 0
63.319 * [backup-simplify]: Simplify 1 into 1
63.319 * [backup-simplify]: Simplify (* (sqrt x) (sqrt x)) into x
63.319 * [backup-simplify]: Simplify (+ x 0) into x
63.319 * [taylor]: Taking taylor expansion of x in x
63.319 * [backup-simplify]: Simplify 0 into 0
63.319 * [backup-simplify]: Simplify 1 into 1
63.319 * [backup-simplify]: Simplify 0 into 0
63.320 * [backup-simplify]: Simplify (+ (* (sqrt x) (* 1/2 (sqrt x))) (* (* 1/2 (sqrt x)) (sqrt x))) into x
63.320 * [backup-simplify]: Simplify (+ x 1) into (+ x 1)
63.320 * [taylor]: Taking taylor expansion of (+ x 1) in x
63.320 * [taylor]: Taking taylor expansion of x in x
63.320 * [backup-simplify]: Simplify 0 into 0
63.320 * [backup-simplify]: Simplify 1 into 1
63.320 * [taylor]: Taking taylor expansion of 1 in x
63.320 * [backup-simplify]: Simplify 1 into 1
63.320 * [backup-simplify]: Simplify (+ 0 1) into 1
63.320 * [backup-simplify]: Simplify 1 into 1
63.321 * [backup-simplify]: Simplify 1 into 1
63.322 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0
63.322 * [backup-simplify]: Simplify (+ 0 0) into 0
63.323 * [backup-simplify]: Simplify (/ (- 0 (pow (* 1/2 (sqrt x)) 2) (+)) (* 2 (sqrt x))) into (* -1/8 (sqrt x))
63.324 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0
63.324 * [backup-simplify]: Simplify (+ 0 0) into 0
63.325 * [backup-simplify]: Simplify (/ (- 0 (pow (* 1/2 (sqrt x)) 2) (+)) (* 2 (sqrt x))) into (* -1/8 (sqrt x))
63.325 * [backup-simplify]: Simplify (+ (* (sqrt x) (* -1/8 (sqrt x))) (+ (* (* 1/2 (sqrt x)) (* 1/2 (sqrt x))) (* (* -1/8 (sqrt x)) (sqrt x)))) into 0
63.325 * [backup-simplify]: Simplify (+ 0 0) into 0
63.325 * [taylor]: Taking taylor expansion of 0 in x
63.325 * [backup-simplify]: Simplify 0 into 0
63.325 * [backup-simplify]: Simplify 0 into 0
63.326 * [backup-simplify]: Simplify (+ 1 0) into 1
63.326 * [backup-simplify]: Simplify 1 into 1
63.326 * [backup-simplify]: Simplify (+ (* 1 (* x y)) (+ (* 1 (* x 1)) (* 1 (* 1 y)))) into (+ x (+ y (* x y)))
63.327 * [backup-simplify]: Simplify (fma (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x))) (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x))) (/ 1 y)) into (fma (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x))) (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x))) (/ 1 y))
63.327 * [approximate]: Taking taylor expansion of (fma (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x))) (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x))) (/ 1 y)) in (y x) around 0
63.327 * [taylor]: Taking taylor expansion of (fma (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x))) (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x))) (/ 1 y)) in x
63.327 * [taylor]: Rewrote expression to (+ (* (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x))) (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x)))) (/ 1 y))
63.327 * [taylor]: Taking taylor expansion of (* (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x))) (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x)))) in x
63.327 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x))) in x
63.327 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 1 x)) in x
63.327 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 1 x))
63.327 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in x
63.327 * [taylor]: Taking taylor expansion of (/ 1 y) in x
63.327 * [taylor]: Taking taylor expansion of y in x
63.327 * [backup-simplify]: Simplify y into y
63.327 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
63.327 * [taylor]: Taking taylor expansion of (/ 1 x) in x
63.327 * [taylor]: Taking taylor expansion of x in x
63.328 * [backup-simplify]: Simplify 0 into 0
63.328 * [backup-simplify]: Simplify 1 into 1
63.328 * [backup-simplify]: Simplify (/ 1 1) into 1
63.328 * [taylor]: Taking taylor expansion of (/ 1 x) in x
63.328 * [taylor]: Taking taylor expansion of x in x
63.328 * [backup-simplify]: Simplify 0 into 0
63.328 * [backup-simplify]: Simplify 1 into 1
63.329 * [backup-simplify]: Simplify (/ 1 1) into 1
63.329 * [backup-simplify]: Simplify (* (/ 1 y) 1) into (/ 1 y)
63.329 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ (/ 1 y) 1)
63.329 * [backup-simplify]: Simplify (sqrt 0) into 0
63.330 * [backup-simplify]: Simplify (/ (+ (/ 1 y) 1) (* 2 (sqrt 0))) into (* +nan.0 (+ (/ 1 y) 1))
63.330 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x))) in x
63.330 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 1 x)) in x
63.330 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 1 x))
63.330 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in x
63.330 * [taylor]: Taking taylor expansion of (/ 1 y) in x
63.330 * [taylor]: Taking taylor expansion of y in x
63.330 * [backup-simplify]: Simplify y into y
63.330 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
63.331 * [taylor]: Taking taylor expansion of (/ 1 x) in x
63.331 * [taylor]: Taking taylor expansion of x in x
63.331 * [backup-simplify]: Simplify 0 into 0
63.331 * [backup-simplify]: Simplify 1 into 1
63.331 * [backup-simplify]: Simplify (/ 1 1) into 1
63.331 * [taylor]: Taking taylor expansion of (/ 1 x) in x
63.331 * [taylor]: Taking taylor expansion of x in x
63.331 * [backup-simplify]: Simplify 0 into 0
63.331 * [backup-simplify]: Simplify 1 into 1
63.331 * [backup-simplify]: Simplify (/ 1 1) into 1
63.332 * [backup-simplify]: Simplify (* (/ 1 y) 1) into (/ 1 y)
63.332 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ (/ 1 y) 1)
63.332 * [backup-simplify]: Simplify (sqrt 0) into 0
63.333 * [backup-simplify]: Simplify (/ (+ (/ 1 y) 1) (* 2 (sqrt 0))) into (* +nan.0 (+ (/ 1 y) 1))
63.333 * [taylor]: Taking taylor expansion of (/ 1 y) in x
63.333 * [taylor]: Taking taylor expansion of y in x
63.333 * [backup-simplify]: Simplify y into y
63.333 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
63.333 * [taylor]: Taking taylor expansion of (fma (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x))) (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x))) (/ 1 y)) in y
63.334 * [taylor]: Rewrote expression to (+ (* (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x))) (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x)))) (/ 1 y))
63.334 * [taylor]: Taking taylor expansion of (* (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x))) (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x)))) in y
63.334 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x))) in y
63.334 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 1 x)) in y
63.334 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 1 x))
63.334 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in y
63.334 * [taylor]: Taking taylor expansion of (/ 1 y) in y
63.334 * [taylor]: Taking taylor expansion of y in y
63.334 * [backup-simplify]: Simplify 0 into 0
63.334 * [backup-simplify]: Simplify 1 into 1
63.335 * [backup-simplify]: Simplify (/ 1 1) into 1
63.335 * [taylor]: Taking taylor expansion of (/ 1 x) in y
63.335 * [taylor]: Taking taylor expansion of x in y
63.335 * [backup-simplify]: Simplify x into x
63.335 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
63.335 * [taylor]: Taking taylor expansion of (/ 1 x) in y
63.335 * [taylor]: Taking taylor expansion of x in y
63.335 * [backup-simplify]: Simplify x into x
63.335 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
63.335 * [backup-simplify]: Simplify (* 1 (/ 1 x)) into (/ 1 x)
63.335 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
63.335 * [backup-simplify]: Simplify (sqrt 0) into 0
63.336 * [backup-simplify]: Simplify (/ (/ 1 x) (* 2 (sqrt 0))) into (/ +nan.0 x)
63.336 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x))) in y
63.336 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 1 x)) in y
63.336 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 1 x))
63.336 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in y
63.336 * [taylor]: Taking taylor expansion of (/ 1 y) in y
63.336 * [taylor]: Taking taylor expansion of y in y
63.337 * [backup-simplify]: Simplify 0 into 0
63.337 * [backup-simplify]: Simplify 1 into 1
63.337 * [backup-simplify]: Simplify (/ 1 1) into 1
63.337 * [taylor]: Taking taylor expansion of (/ 1 x) in y
63.337 * [taylor]: Taking taylor expansion of x in y
63.337 * [backup-simplify]: Simplify x into x
63.337 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
63.337 * [taylor]: Taking taylor expansion of (/ 1 x) in y
63.337 * [taylor]: Taking taylor expansion of x in y
63.337 * [backup-simplify]: Simplify x into x
63.337 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
63.337 * [backup-simplify]: Simplify (* 1 (/ 1 x)) into (/ 1 x)
63.338 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
63.338 * [backup-simplify]: Simplify (sqrt 0) into 0
63.339 * [backup-simplify]: Simplify (/ (/ 1 x) (* 2 (sqrt 0))) into (/ +nan.0 x)
63.339 * [taylor]: Taking taylor expansion of (/ 1 y) in y
63.339 * [taylor]: Taking taylor expansion of y in y
63.339 * [backup-simplify]: Simplify 0 into 0
63.339 * [backup-simplify]: Simplify 1 into 1
63.339 * [backup-simplify]: Simplify (/ 1 1) into 1
63.339 * [taylor]: Taking taylor expansion of (fma (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x))) (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x))) (/ 1 y)) in y
63.339 * [taylor]: Rewrote expression to (+ (* (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x))) (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x)))) (/ 1 y))
63.339 * [taylor]: Taking taylor expansion of (* (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x))) (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x)))) in y
63.339 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x))) in y
63.339 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 1 x)) in y
63.340 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 1 x))
63.340 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in y
63.340 * [taylor]: Taking taylor expansion of (/ 1 y) in y
63.340 * [taylor]: Taking taylor expansion of y in y
63.340 * [backup-simplify]: Simplify 0 into 0
63.340 * [backup-simplify]: Simplify 1 into 1
63.340 * [backup-simplify]: Simplify (/ 1 1) into 1
63.340 * [taylor]: Taking taylor expansion of (/ 1 x) in y
63.340 * [taylor]: Taking taylor expansion of x in y
63.340 * [backup-simplify]: Simplify x into x
63.340 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
63.340 * [taylor]: Taking taylor expansion of (/ 1 x) in y
63.340 * [taylor]: Taking taylor expansion of x in y
63.340 * [backup-simplify]: Simplify x into x
63.340 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
63.341 * [backup-simplify]: Simplify (* 1 (/ 1 x)) into (/ 1 x)
63.341 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
63.341 * [backup-simplify]: Simplify (sqrt 0) into 0
63.342 * [backup-simplify]: Simplify (/ (/ 1 x) (* 2 (sqrt 0))) into (/ +nan.0 x)
63.342 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x))) in y
63.342 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 1 x)) in y
63.342 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 1 x))
63.342 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in y
63.342 * [taylor]: Taking taylor expansion of (/ 1 y) in y
63.342 * [taylor]: Taking taylor expansion of y in y
63.342 * [backup-simplify]: Simplify 0 into 0
63.342 * [backup-simplify]: Simplify 1 into 1
63.343 * [backup-simplify]: Simplify (/ 1 1) into 1
63.343 * [taylor]: Taking taylor expansion of (/ 1 x) in y
63.343 * [taylor]: Taking taylor expansion of x in y
63.343 * [backup-simplify]: Simplify x into x
63.343 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
63.343 * [taylor]: Taking taylor expansion of (/ 1 x) in y
63.343 * [taylor]: Taking taylor expansion of x in y
63.343 * [backup-simplify]: Simplify x into x
63.343 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
63.343 * [backup-simplify]: Simplify (* 1 (/ 1 x)) into (/ 1 x)
63.343 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
63.343 * [backup-simplify]: Simplify (sqrt 0) into 0
63.344 * [backup-simplify]: Simplify (/ (/ 1 x) (* 2 (sqrt 0))) into (/ +nan.0 x)
63.344 * [taylor]: Taking taylor expansion of (/ 1 y) in y
63.344 * [taylor]: Taking taylor expansion of y in y
63.344 * [backup-simplify]: Simplify 0 into 0
63.344 * [backup-simplify]: Simplify 1 into 1
63.345 * [backup-simplify]: Simplify (/ 1 1) into 1
63.345 * [backup-simplify]: Simplify (* 0 0) into 0
63.345 * [backup-simplify]: Simplify (+ 0 0) into 0
63.346 * [taylor]: Taking taylor expansion of 0 in x
63.346 * [backup-simplify]: Simplify 0 into 0
63.346 * [backup-simplify]: Simplify (+ (* 0 (/ +nan.0 x)) (* (/ +nan.0 x) 0)) into 0
63.346 * [backup-simplify]: Simplify (+ 0 1) into 1
63.346 * [taylor]: Taking taylor expansion of 1 in x
63.346 * [backup-simplify]: Simplify 1 into 1
63.346 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
63.347 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
63.348 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (/ 1 x))) into 0
63.348 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
63.349 * [backup-simplify]: Simplify (/ (- (/ 1 x) (pow (/ +nan.0 x) 2) (+)) (* 2 0)) into (* +nan.0 (- (/ 1 x) (* +nan.0 (/ 1 (pow x 2)))))
63.349 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
63.350 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
63.351 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (/ 1 x))) into 0
63.351 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
63.352 * [backup-simplify]: Simplify (/ (- (/ 1 x) (pow (/ +nan.0 x) 2) (+)) (* 2 0)) into (* +nan.0 (- (/ 1 x) (* +nan.0 (/ 1 (pow x 2)))))
63.352 * [backup-simplify]: Simplify (+ (* 0 (* +nan.0 (- (/ 1 x) (* +nan.0 (/ 1 (pow x 2)))))) (+ (* (/ +nan.0 x) (/ +nan.0 x)) (* (* +nan.0 (- (/ 1 x) (* +nan.0 (/ 1 (pow x 2))))) 0))) into (- (* +nan.0 (/ 1 (pow x 2))))
63.353 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
63.353 * [backup-simplify]: Simplify (+ (- (* +nan.0 (/ 1 (pow x 2)))) 0) into (- (* +nan.0 (/ 1 (pow x 2))))
63.353 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow x 2)))) in x
63.353 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow x 2))) in x
63.353 * [taylor]: Taking taylor expansion of +nan.0 in x
63.354 * [backup-simplify]: Simplify +nan.0 into +nan.0
63.354 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
63.354 * [taylor]: Taking taylor expansion of (pow x 2) in x
63.354 * [taylor]: Taking taylor expansion of x in x
63.354 * [backup-simplify]: Simplify 0 into 0
63.354 * [backup-simplify]: Simplify 1 into 1
63.354 * [backup-simplify]: Simplify (* 1 1) into 1
63.354 * [backup-simplify]: Simplify (/ 1 1) into 1
63.355 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
63.355 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
63.356 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
63.356 * [backup-simplify]: Simplify 0 into 0
63.356 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
63.357 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
63.358 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0
63.358 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
63.358 * [backup-simplify]: Simplify (+ 0 0) into 0
63.359 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ +nan.0 x) (* +nan.0 (- (/ 1 x) (* +nan.0 (/ 1 (pow x 2))))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 (pow x 3))))))
63.359 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
63.360 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
63.361 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0
63.361 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
63.362 * [backup-simplify]: Simplify (+ 0 0) into 0
63.363 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ +nan.0 x) (* +nan.0 (- (/ 1 x) (* +nan.0 (/ 1 (pow x 2))))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 (pow x 3))))))
63.365 * [backup-simplify]: Simplify (+ (* 0 (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 (pow x 3))))))) (+ (* (/ +nan.0 x) (* +nan.0 (- (/ 1 x) (* +nan.0 (/ 1 (pow x 2)))))) (+ (* (* +nan.0 (- (/ 1 x) (* +nan.0 (/ 1 (pow x 2))))) (/ +nan.0 x)) (* (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 (pow x 3)))))) 0)))) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 (pow x 3))))))
63.366 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
63.367 * [backup-simplify]: Simplify (+ (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 (pow x 3)))))) 0) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 (pow x 3))))))
63.367 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 (pow x 3)))))) in x
63.367 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 (pow x 3))))) in x
63.367 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow x 2))) in x
63.367 * [taylor]: Taking taylor expansion of +nan.0 in x
63.367 * [backup-simplify]: Simplify +nan.0 into +nan.0
63.367 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
63.367 * [taylor]: Taking taylor expansion of (pow x 2) in x
63.367 * [taylor]: Taking taylor expansion of x in x
63.367 * [backup-simplify]: Simplify 0 into 0
63.367 * [backup-simplify]: Simplify 1 into 1
63.367 * [backup-simplify]: Simplify (* 1 1) into 1
63.368 * [backup-simplify]: Simplify (/ 1 1) into 1
63.368 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow x 3)))) in x
63.368 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow x 3))) in x
63.368 * [taylor]: Taking taylor expansion of +nan.0 in x
63.368 * [backup-simplify]: Simplify +nan.0 into +nan.0
63.368 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
63.368 * [taylor]: Taking taylor expansion of (pow x 3) in x
63.368 * [taylor]: Taking taylor expansion of x in x
63.368 * [backup-simplify]: Simplify 0 into 0
63.368 * [backup-simplify]: Simplify 1 into 1
63.368 * [backup-simplify]: Simplify (* 1 1) into 1
63.369 * [backup-simplify]: Simplify (* 1 1) into 1
63.369 * [backup-simplify]: Simplify (/ 1 1) into 1
63.370 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
63.370 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
63.371 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
63.372 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
63.372 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
63.373 * [backup-simplify]: Simplify (- 0) into 0
63.373 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
63.374 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
63.374 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
63.375 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
63.376 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
63.377 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
63.377 * [backup-simplify]: Simplify (- 0) into 0
63.377 * [backup-simplify]: Simplify 0 into 0
63.377 * [backup-simplify]: Simplify 1 into 1
63.379 * [backup-simplify]: Simplify (+ (* 1 (* 1 (/ 1 (/ 1 y)))) (+ (* (- +nan.0) (* (pow (/ 1 x) -2) (/ 1 y))) (* (- +nan.0) (pow (* (/ 1 (/ 1 x)) 1) 2)))) into (- y (+ (* +nan.0 (pow x 2)) (- (* +nan.0 (/ (pow x 2) y)))))
63.379 * [backup-simplify]: Simplify (fma (sqrt (fma (/ 1 (- y)) (/ 1 (- x)) (/ 1 (- x)))) (sqrt (fma (/ 1 (- y)) (/ 1 (- x)) (/ 1 (- x)))) (/ 1 (- y))) into (fma (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x))) (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x))) (/ -1 y))
63.379 * [approximate]: Taking taylor expansion of (fma (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x))) (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x))) (/ -1 y)) in (y x) around 0
63.379 * [taylor]: Taking taylor expansion of (fma (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x))) (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x))) (/ -1 y)) in x
63.379 * [taylor]: Rewrote expression to (+ (* (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x))) (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x)))) (/ -1 y))
63.380 * [taylor]: Taking taylor expansion of (* (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x))) (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x)))) in x
63.380 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x))) in x
63.380 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ -1 x)) in x
63.380 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ -1 x))
63.380 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in x
63.380 * [taylor]: Taking taylor expansion of (/ -1 y) in x
63.380 * [taylor]: Taking taylor expansion of -1 in x
63.380 * [backup-simplify]: Simplify -1 into -1
63.380 * [taylor]: Taking taylor expansion of y in x
63.380 * [backup-simplify]: Simplify y into y
63.380 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
63.380 * [taylor]: Taking taylor expansion of (/ -1 x) in x
63.380 * [taylor]: Taking taylor expansion of -1 in x
63.380 * [backup-simplify]: Simplify -1 into -1
63.380 * [taylor]: Taking taylor expansion of x in x
63.380 * [backup-simplify]: Simplify 0 into 0
63.380 * [backup-simplify]: Simplify 1 into 1
63.381 * [backup-simplify]: Simplify (/ -1 1) into -1
63.381 * [taylor]: Taking taylor expansion of (/ -1 x) in x
63.381 * [taylor]: Taking taylor expansion of -1 in x
63.381 * [backup-simplify]: Simplify -1 into -1
63.381 * [taylor]: Taking taylor expansion of x in x
63.381 * [backup-simplify]: Simplify 0 into 0
63.381 * [backup-simplify]: Simplify 1 into 1
63.381 * [backup-simplify]: Simplify (/ -1 1) into -1
63.381 * [backup-simplify]: Simplify (* (/ -1 y) -1) into (/ 1 y)
63.382 * [backup-simplify]: Simplify (+ (/ 1 y) -1) into (- (/ 1 y) 1)
63.382 * [backup-simplify]: Simplify (sqrt 0) into 0
63.383 * [backup-simplify]: Simplify (/ (- (/ 1 y) 1) (* 2 (sqrt 0))) into (* +nan.0 (- (/ 1 y) 1))
63.383 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x))) in x
63.383 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ -1 x)) in x
63.383 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ -1 x))
63.383 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in x
63.383 * [taylor]: Taking taylor expansion of (/ -1 y) in x
63.383 * [taylor]: Taking taylor expansion of -1 in x
63.383 * [backup-simplify]: Simplify -1 into -1
63.383 * [taylor]: Taking taylor expansion of y in x
63.383 * [backup-simplify]: Simplify y into y
63.383 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
63.383 * [taylor]: Taking taylor expansion of (/ -1 x) in x
63.383 * [taylor]: Taking taylor expansion of -1 in x
63.383 * [backup-simplify]: Simplify -1 into -1
63.383 * [taylor]: Taking taylor expansion of x in x
63.383 * [backup-simplify]: Simplify 0 into 0
63.383 * [backup-simplify]: Simplify 1 into 1
63.384 * [backup-simplify]: Simplify (/ -1 1) into -1
63.384 * [taylor]: Taking taylor expansion of (/ -1 x) in x
63.384 * [taylor]: Taking taylor expansion of -1 in x
63.384 * [backup-simplify]: Simplify -1 into -1
63.384 * [taylor]: Taking taylor expansion of x in x
63.384 * [backup-simplify]: Simplify 0 into 0
63.384 * [backup-simplify]: Simplify 1 into 1
63.384 * [backup-simplify]: Simplify (/ -1 1) into -1
63.384 * [backup-simplify]: Simplify (* (/ -1 y) -1) into (/ 1 y)
63.384 * [backup-simplify]: Simplify (+ (/ 1 y) -1) into (- (/ 1 y) 1)
63.385 * [backup-simplify]: Simplify (sqrt 0) into 0
63.385 * [backup-simplify]: Simplify (/ (- (/ 1 y) 1) (* 2 (sqrt 0))) into (* +nan.0 (- (/ 1 y) 1))
63.385 * [taylor]: Taking taylor expansion of (/ -1 y) in x
63.385 * [taylor]: Taking taylor expansion of -1 in x
63.385 * [backup-simplify]: Simplify -1 into -1
63.386 * [taylor]: Taking taylor expansion of y in x
63.386 * [backup-simplify]: Simplify y into y
63.386 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
63.386 * [taylor]: Taking taylor expansion of (fma (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x))) (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x))) (/ -1 y)) in y
63.386 * [taylor]: Rewrote expression to (+ (* (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x))) (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x)))) (/ -1 y))
63.386 * [taylor]: Taking taylor expansion of (* (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x))) (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x)))) in y
63.386 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x))) in y
63.386 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ -1 x)) in y
63.386 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ -1 x))
63.386 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in y
63.386 * [taylor]: Taking taylor expansion of (/ -1 y) in y
63.386 * [taylor]: Taking taylor expansion of -1 in y
63.386 * [backup-simplify]: Simplify -1 into -1
63.386 * [taylor]: Taking taylor expansion of y in y
63.386 * [backup-simplify]: Simplify 0 into 0
63.386 * [backup-simplify]: Simplify 1 into 1
63.387 * [backup-simplify]: Simplify (/ -1 1) into -1
63.387 * [taylor]: Taking taylor expansion of (/ -1 x) in y
63.387 * [taylor]: Taking taylor expansion of -1 in y
63.387 * [backup-simplify]: Simplify -1 into -1
63.387 * [taylor]: Taking taylor expansion of x in y
63.387 * [backup-simplify]: Simplify x into x
63.387 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
63.387 * [taylor]: Taking taylor expansion of (/ -1 x) in y
63.387 * [taylor]: Taking taylor expansion of -1 in y
63.387 * [backup-simplify]: Simplify -1 into -1
63.387 * [taylor]: Taking taylor expansion of x in y
63.387 * [backup-simplify]: Simplify x into x
63.387 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
63.387 * [backup-simplify]: Simplify (* -1 (/ -1 x)) into (/ 1 x)
63.387 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
63.388 * [backup-simplify]: Simplify (sqrt 0) into 0
63.388 * [backup-simplify]: Simplify (/ (/ 1 x) (* 2 (sqrt 0))) into (/ +nan.0 x)
63.388 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x))) in y
63.388 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ -1 x)) in y
63.389 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ -1 x))
63.389 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in y
63.389 * [taylor]: Taking taylor expansion of (/ -1 y) in y
63.389 * [taylor]: Taking taylor expansion of -1 in y
63.389 * [backup-simplify]: Simplify -1 into -1
63.389 * [taylor]: Taking taylor expansion of y in y
63.389 * [backup-simplify]: Simplify 0 into 0
63.389 * [backup-simplify]: Simplify 1 into 1
63.389 * [backup-simplify]: Simplify (/ -1 1) into -1
63.389 * [taylor]: Taking taylor expansion of (/ -1 x) in y
63.389 * [taylor]: Taking taylor expansion of -1 in y
63.389 * [backup-simplify]: Simplify -1 into -1
63.389 * [taylor]: Taking taylor expansion of x in y
63.389 * [backup-simplify]: Simplify x into x
63.389 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
63.389 * [taylor]: Taking taylor expansion of (/ -1 x) in y
63.389 * [taylor]: Taking taylor expansion of -1 in y
63.389 * [backup-simplify]: Simplify -1 into -1
63.389 * [taylor]: Taking taylor expansion of x in y
63.389 * [backup-simplify]: Simplify x into x
63.389 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
63.389 * [backup-simplify]: Simplify (* -1 (/ -1 x)) into (/ 1 x)
63.390 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
63.390 * [backup-simplify]: Simplify (sqrt 0) into 0
63.390 * [backup-simplify]: Simplify (/ (/ 1 x) (* 2 (sqrt 0))) into (/ +nan.0 x)
63.390 * [taylor]: Taking taylor expansion of (/ -1 y) in y
63.390 * [taylor]: Taking taylor expansion of -1 in y
63.390 * [backup-simplify]: Simplify -1 into -1
63.390 * [taylor]: Taking taylor expansion of y in y
63.391 * [backup-simplify]: Simplify 0 into 0
63.391 * [backup-simplify]: Simplify 1 into 1
63.391 * [backup-simplify]: Simplify (/ -1 1) into -1
63.391 * [taylor]: Taking taylor expansion of (fma (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x))) (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x))) (/ -1 y)) in y
63.391 * [taylor]: Rewrote expression to (+ (* (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x))) (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x)))) (/ -1 y))
63.391 * [taylor]: Taking taylor expansion of (* (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x))) (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x)))) in y
63.391 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x))) in y
63.391 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ -1 x)) in y
63.391 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ -1 x))
63.391 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in y
63.391 * [taylor]: Taking taylor expansion of (/ -1 y) in y
63.391 * [taylor]: Taking taylor expansion of -1 in y
63.391 * [backup-simplify]: Simplify -1 into -1
63.391 * [taylor]: Taking taylor expansion of y in y
63.391 * [backup-simplify]: Simplify 0 into 0
63.391 * [backup-simplify]: Simplify 1 into 1
63.393 * [backup-simplify]: Simplify (/ -1 1) into -1
63.393 * [taylor]: Taking taylor expansion of (/ -1 x) in y
63.393 * [taylor]: Taking taylor expansion of -1 in y
63.393 * [backup-simplify]: Simplify -1 into -1
63.393 * [taylor]: Taking taylor expansion of x in y
63.393 * [backup-simplify]: Simplify x into x
63.393 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
63.394 * [taylor]: Taking taylor expansion of (/ -1 x) in y
63.394 * [taylor]: Taking taylor expansion of -1 in y
63.394 * [backup-simplify]: Simplify -1 into -1
63.394 * [taylor]: Taking taylor expansion of x in y
63.394 * [backup-simplify]: Simplify x into x
63.394 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
63.394 * [backup-simplify]: Simplify (* -1 (/ -1 x)) into (/ 1 x)
63.394 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
63.395 * [backup-simplify]: Simplify (sqrt 0) into 0
63.396 * [backup-simplify]: Simplify (/ (/ 1 x) (* 2 (sqrt 0))) into (/ +nan.0 x)
63.396 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x))) in y
63.396 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ -1 x)) in y
63.396 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ -1 x))
63.396 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in y
63.396 * [taylor]: Taking taylor expansion of (/ -1 y) in y
63.396 * [taylor]: Taking taylor expansion of -1 in y
63.396 * [backup-simplify]: Simplify -1 into -1
63.396 * [taylor]: Taking taylor expansion of y in y
63.396 * [backup-simplify]: Simplify 0 into 0
63.396 * [backup-simplify]: Simplify 1 into 1
63.397 * [backup-simplify]: Simplify (/ -1 1) into -1
63.397 * [taylor]: Taking taylor expansion of (/ -1 x) in y
63.397 * [taylor]: Taking taylor expansion of -1 in y
63.397 * [backup-simplify]: Simplify -1 into -1
63.397 * [taylor]: Taking taylor expansion of x in y
63.397 * [backup-simplify]: Simplify x into x
63.397 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
63.397 * [taylor]: Taking taylor expansion of (/ -1 x) in y
63.397 * [taylor]: Taking taylor expansion of -1 in y
63.397 * [backup-simplify]: Simplify -1 into -1
63.397 * [taylor]: Taking taylor expansion of x in y
63.397 * [backup-simplify]: Simplify x into x
63.397 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
63.397 * [backup-simplify]: Simplify (* -1 (/ -1 x)) into (/ 1 x)
63.397 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
63.398 * [backup-simplify]: Simplify (sqrt 0) into 0
63.399 * [backup-simplify]: Simplify (/ (/ 1 x) (* 2 (sqrt 0))) into (/ +nan.0 x)
63.399 * [taylor]: Taking taylor expansion of (/ -1 y) in y
63.399 * [taylor]: Taking taylor expansion of -1 in y
63.399 * [backup-simplify]: Simplify -1 into -1
63.399 * [taylor]: Taking taylor expansion of y in y
63.399 * [backup-simplify]: Simplify 0 into 0
63.399 * [backup-simplify]: Simplify 1 into 1
63.399 * [backup-simplify]: Simplify (/ -1 1) into -1
63.399 * [backup-simplify]: Simplify (* 0 0) into 0
63.403 * [backup-simplify]: Simplify (+ 0 0) into 0
63.403 * [taylor]: Taking taylor expansion of 0 in x
63.403 * [backup-simplify]: Simplify 0 into 0
63.403 * [backup-simplify]: Simplify (+ (* 0 (/ +nan.0 x)) (* (/ +nan.0 x) 0)) into 0
63.405 * [backup-simplify]: Simplify (+ 0 -1) into -1
63.405 * [taylor]: Taking taylor expansion of -1 in x
63.405 * [backup-simplify]: Simplify -1 into -1
63.405 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
63.407 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
63.408 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ -1 x))) into 0
63.408 * [backup-simplify]: Simplify (+ 0 (/ -1 x)) into (- (/ 1 x))
63.409 * [backup-simplify]: Simplify (/ (- (- (/ 1 x)) (pow (/ +nan.0 x) 2) (+)) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (/ 1 x)))
63.409 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
63.418 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
63.423 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ -1 x))) into 0
63.424 * [backup-simplify]: Simplify (+ 0 (/ -1 x)) into (- (/ 1 x))
63.470 * [backup-simplify]: Simplify (/ (- (- (/ 1 x)) (pow (/ +nan.0 x) 2) (+)) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (/ 1 x)))
63.471 * [backup-simplify]: Simplify (+ (* 0 (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (/ 1 x)))) (+ (* (/ +nan.0 x) (/ +nan.0 x)) (* (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (/ 1 x))) 0))) into (- (* +nan.0 (/ 1 (pow x 2))))
63.472 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
63.472 * [backup-simplify]: Simplify (+ (- (* +nan.0 (/ 1 (pow x 2)))) 0) into (- (* +nan.0 (/ 1 (pow x 2))))
63.473 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow x 2)))) in x
63.473 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow x 2))) in x
63.473 * [taylor]: Taking taylor expansion of +nan.0 in x
63.473 * [backup-simplify]: Simplify +nan.0 into +nan.0
63.473 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
63.473 * [taylor]: Taking taylor expansion of (pow x 2) in x
63.473 * [taylor]: Taking taylor expansion of x in x
63.473 * [backup-simplify]: Simplify 0 into 0
63.473 * [backup-simplify]: Simplify 1 into 1
63.473 * [backup-simplify]: Simplify (* 1 1) into 1
63.477 * [backup-simplify]: Simplify (/ 1 1) into 1
63.478 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
63.478 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
63.479 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
63.479 * [backup-simplify]: Simplify 0 into 0
63.479 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
63.480 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
63.481 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 x)))) into 0
63.481 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
63.486 * [backup-simplify]: Simplify (+ 0 0) into 0
63.487 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ +nan.0 x) (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (/ 1 x))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 (pow x 3))))))
63.488 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
63.489 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
63.494 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 x)))) into 0
63.494 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
63.494 * [backup-simplify]: Simplify (+ 0 0) into 0
63.496 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ +nan.0 x) (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (/ 1 x))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 (pow x 3))))))
63.502 * [backup-simplify]: Simplify (+ (* 0 (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 (pow x 3))))))) (+ (* (/ +nan.0 x) (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (/ 1 x)))) (+ (* (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (/ 1 x))) (/ +nan.0 x)) (* (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 (pow x 3)))))) 0)))) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 (pow x 3))))))
63.503 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
63.504 * [backup-simplify]: Simplify (+ (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 (pow x 3)))))) 0) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 (pow x 3))))))
63.504 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 (pow x 3)))))) in x
63.504 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 (pow x 3))))) in x
63.504 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow x 2))) in x
63.504 * [taylor]: Taking taylor expansion of +nan.0 in x
63.504 * [backup-simplify]: Simplify +nan.0 into +nan.0
63.504 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
63.504 * [taylor]: Taking taylor expansion of (pow x 2) in x
63.504 * [taylor]: Taking taylor expansion of x in x
63.504 * [backup-simplify]: Simplify 0 into 0
63.504 * [backup-simplify]: Simplify 1 into 1
63.505 * [backup-simplify]: Simplify (* 1 1) into 1
63.505 * [backup-simplify]: Simplify (/ 1 1) into 1
63.505 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow x 3)))) in x
63.505 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow x 3))) in x
63.505 * [taylor]: Taking taylor expansion of +nan.0 in x
63.505 * [backup-simplify]: Simplify +nan.0 into +nan.0
63.505 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
63.509 * [taylor]: Taking taylor expansion of (pow x 3) in x
63.509 * [taylor]: Taking taylor expansion of x in x
63.509 * [backup-simplify]: Simplify 0 into 0
63.509 * [backup-simplify]: Simplify 1 into 1
63.510 * [backup-simplify]: Simplify (* 1 1) into 1
63.510 * [backup-simplify]: Simplify (* 1 1) into 1
63.516 * [backup-simplify]: Simplify (/ 1 1) into 1
63.516 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
63.517 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
63.518 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
63.518 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
63.519 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
63.520 * [backup-simplify]: Simplify (- 0) into 0
63.520 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
63.521 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
63.526 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
63.526 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
63.527 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
63.528 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
63.528 * [backup-simplify]: Simplify (- 0) into 0
63.529 * [backup-simplify]: Simplify 0 into 0
63.529 * [backup-simplify]: Simplify -1 into -1
63.535 * [backup-simplify]: Simplify (+ (* -1 (* 1 (/ 1 (/ 1 (- y))))) (+ (* (- +nan.0) (* (pow (/ 1 (- x)) -2) (/ 1 (- y)))) (* (- +nan.0) (pow (* (/ 1 (/ 1 (- x))) 1) 2)))) into (- y (+ (* +nan.0 (pow x 2)) (- (* +nan.0 (/ (pow x 2) y)))))
63.535 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
63.535 * [backup-simplify]: Simplify (sqrt (fma y x x)) into (sqrt (fma y x x))
63.535 * [approximate]: Taking taylor expansion of (sqrt (fma y x x)) in (y x) around 0
63.535 * [taylor]: Taking taylor expansion of (sqrt (fma y x x)) in x
63.535 * [taylor]: Taking taylor expansion of (fma y x x) in x
63.536 * [taylor]: Rewrote expression to (+ (* y x) x)
63.536 * [taylor]: Taking taylor expansion of (* y x) in x
63.536 * [taylor]: Taking taylor expansion of y in x
63.536 * [backup-simplify]: Simplify y into y
63.536 * [taylor]: Taking taylor expansion of x in x
63.536 * [backup-simplify]: Simplify 0 into 0
63.536 * [backup-simplify]: Simplify 1 into 1
63.536 * [taylor]: Taking taylor expansion of x in x
63.536 * [backup-simplify]: Simplify 0 into 0
63.536 * [backup-simplify]: Simplify 1 into 1
63.536 * [backup-simplify]: Simplify (* y 0) into 0
63.536 * [backup-simplify]: Simplify (+ 0 0) into 0
63.537 * [backup-simplify]: Simplify (+ (* y 1) (* 0 0)) into y
63.537 * [backup-simplify]: Simplify (+ y 1) into (+ y 1)
63.541 * [backup-simplify]: Simplify (sqrt 0) into 0
63.542 * [backup-simplify]: Simplify (/ (+ y 1) (* 2 (sqrt 0))) into (* +nan.0 (+ y 1))
63.542 * [taylor]: Taking taylor expansion of (sqrt (fma y x x)) in y
63.542 * [taylor]: Taking taylor expansion of (fma y x x) in y
63.543 * [taylor]: Rewrote expression to (+ (* y x) x)
63.543 * [taylor]: Taking taylor expansion of (* y x) in y
63.543 * [taylor]: Taking taylor expansion of y in y
63.543 * [backup-simplify]: Simplify 0 into 0
63.543 * [backup-simplify]: Simplify 1 into 1
63.543 * [taylor]: Taking taylor expansion of x in y
63.543 * [backup-simplify]: Simplify x into x
63.543 * [taylor]: Taking taylor expansion of x in y
63.543 * [backup-simplify]: Simplify x into x
63.543 * [backup-simplify]: Simplify (* 0 x) into 0
63.543 * [backup-simplify]: Simplify (+ 0 x) into x
63.543 * [backup-simplify]: Simplify (sqrt x) into (sqrt x)
63.543 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
63.543 * [backup-simplify]: Simplify (+ x 0) into x
63.544 * [backup-simplify]: Simplify (/ x (* 2 (sqrt x))) into (* 1/2 (sqrt x))
63.544 * [taylor]: Taking taylor expansion of (sqrt (fma y x x)) in y
63.544 * [taylor]: Taking taylor expansion of (fma y x x) in y
63.544 * [taylor]: Rewrote expression to (+ (* y x) x)
63.544 * [taylor]: Taking taylor expansion of (* y x) in y
63.544 * [taylor]: Taking taylor expansion of y in y
63.544 * [backup-simplify]: Simplify 0 into 0
63.544 * [backup-simplify]: Simplify 1 into 1
63.544 * [taylor]: Taking taylor expansion of x in y
63.544 * [backup-simplify]: Simplify x into x
63.544 * [taylor]: Taking taylor expansion of x in y
63.544 * [backup-simplify]: Simplify x into x
63.544 * [backup-simplify]: Simplify (* 0 x) into 0
63.544 * [backup-simplify]: Simplify (+ 0 x) into x
63.544 * [backup-simplify]: Simplify (sqrt x) into (sqrt x)
63.545 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
63.545 * [backup-simplify]: Simplify (+ x 0) into x
63.545 * [backup-simplify]: Simplify (/ x (* 2 (sqrt x))) into (* 1/2 (sqrt x))
63.545 * [taylor]: Taking taylor expansion of (sqrt x) in x
63.545 * [taylor]: Taking taylor expansion of x in x
63.545 * [backup-simplify]: Simplify 0 into 0
63.545 * [backup-simplify]: Simplify 1 into 1
63.549 * [backup-simplify]: Simplify (sqrt 0) into 0
63.554 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
63.554 * [backup-simplify]: Simplify 0 into 0
63.554 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt x)) in x
63.554 * [taylor]: Taking taylor expansion of 1/2 in x
63.554 * [backup-simplify]: Simplify 1/2 into 1/2
63.554 * [taylor]: Taking taylor expansion of (sqrt x) in x
63.554 * [taylor]: Taking taylor expansion of x in x
63.554 * [backup-simplify]: Simplify 0 into 0
63.554 * [backup-simplify]: Simplify 1 into 1
63.555 * [backup-simplify]: Simplify (sqrt 0) into 0
63.556 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
63.556 * [backup-simplify]: Simplify (* 1/2 0) into 0
63.556 * [backup-simplify]: Simplify 0 into 0
63.556 * [backup-simplify]: Simplify +nan.0 into +nan.0
63.557 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0
63.558 * [backup-simplify]: Simplify (+ 0 0) into 0
63.558 * [backup-simplify]: Simplify (/ (- 0 (pow (* 1/2 (sqrt x)) 2) (+)) (* 2 (sqrt x))) into (* -1/8 (sqrt x))
63.558 * [taylor]: Taking taylor expansion of (* -1/8 (sqrt x)) in x
63.558 * [taylor]: Taking taylor expansion of -1/8 in x
63.558 * [backup-simplify]: Simplify -1/8 into -1/8
63.558 * [taylor]: Taking taylor expansion of (sqrt x) in x
63.558 * [taylor]: Taking taylor expansion of x in x
63.558 * [backup-simplify]: Simplify 0 into 0
63.558 * [backup-simplify]: Simplify 1 into 1
63.559 * [backup-simplify]: Simplify (sqrt 0) into 0
63.562 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
63.562 * [backup-simplify]: Simplify (* -1/8 0) into 0
63.562 * [backup-simplify]: Simplify 0 into 0
63.564 * [backup-simplify]: Simplify (+ (* 1/2 +nan.0) (* 0 0)) into (- +nan.0)
63.564 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
63.591 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
63.591 * [backup-simplify]: Simplify +nan.0 into +nan.0
63.608 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (* x 1) 2)) (+ (* (- +nan.0) (* x y)) (* +nan.0 (* x 1)))) into (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- (* +nan.0 (* x y)))))))
63.608 * [backup-simplify]: Simplify (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x))) into (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x)))
63.608 * [approximate]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x))) in (y x) around 0
63.608 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x))) in x
63.608 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 1 x)) in x
63.608 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 1 x))
63.608 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in x
63.608 * [taylor]: Taking taylor expansion of (/ 1 y) in x
63.608 * [taylor]: Taking taylor expansion of y in x
63.608 * [backup-simplify]: Simplify y into y
63.608 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
63.609 * [taylor]: Taking taylor expansion of (/ 1 x) in x
63.609 * [taylor]: Taking taylor expansion of x in x
63.609 * [backup-simplify]: Simplify 0 into 0
63.609 * [backup-simplify]: Simplify 1 into 1
63.609 * [backup-simplify]: Simplify (/ 1 1) into 1
63.609 * [taylor]: Taking taylor expansion of (/ 1 x) in x
63.609 * [taylor]: Taking taylor expansion of x in x
63.609 * [backup-simplify]: Simplify 0 into 0
63.609 * [backup-simplify]: Simplify 1 into 1
63.613 * [backup-simplify]: Simplify (/ 1 1) into 1
63.614 * [backup-simplify]: Simplify (* (/ 1 y) 1) into (/ 1 y)
63.614 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ (/ 1 y) 1)
63.614 * [backup-simplify]: Simplify (sqrt 0) into 0
63.615 * [backup-simplify]: Simplify (/ (+ (/ 1 y) 1) (* 2 (sqrt 0))) into (* +nan.0 (+ (/ 1 y) 1))
63.615 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x))) in y
63.615 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 1 x)) in y
63.615 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 1 x))
63.615 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in y
63.615 * [taylor]: Taking taylor expansion of (/ 1 y) in y
63.615 * [taylor]: Taking taylor expansion of y in y
63.615 * [backup-simplify]: Simplify 0 into 0
63.615 * [backup-simplify]: Simplify 1 into 1
63.616 * [backup-simplify]: Simplify (/ 1 1) into 1
63.616 * [taylor]: Taking taylor expansion of (/ 1 x) in y
63.616 * [taylor]: Taking taylor expansion of x in y
63.616 * [backup-simplify]: Simplify x into x
63.616 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
63.616 * [taylor]: Taking taylor expansion of (/ 1 x) in y
63.616 * [taylor]: Taking taylor expansion of x in y
63.616 * [backup-simplify]: Simplify x into x
63.616 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
63.616 * [backup-simplify]: Simplify (* 1 (/ 1 x)) into (/ 1 x)
63.616 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
63.617 * [backup-simplify]: Simplify (sqrt 0) into 0
63.617 * [backup-simplify]: Simplify (/ (/ 1 x) (* 2 (sqrt 0))) into (/ +nan.0 x)
63.617 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x))) in y
63.617 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 1 x)) in y
63.618 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 1 x))
63.618 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in y
63.618 * [taylor]: Taking taylor expansion of (/ 1 y) in y
63.618 * [taylor]: Taking taylor expansion of y in y
63.618 * [backup-simplify]: Simplify 0 into 0
63.618 * [backup-simplify]: Simplify 1 into 1
63.618 * [backup-simplify]: Simplify (/ 1 1) into 1
63.618 * [taylor]: Taking taylor expansion of (/ 1 x) in y
63.618 * [taylor]: Taking taylor expansion of x in y
63.618 * [backup-simplify]: Simplify x into x
63.618 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
63.618 * [taylor]: Taking taylor expansion of (/ 1 x) in y
63.618 * [taylor]: Taking taylor expansion of x in y
63.619 * [backup-simplify]: Simplify x into x
63.619 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
63.619 * [backup-simplify]: Simplify (* 1 (/ 1 x)) into (/ 1 x)
63.619 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
63.619 * [backup-simplify]: Simplify (sqrt 0) into 0
63.620 * [backup-simplify]: Simplify (/ (/ 1 x) (* 2 (sqrt 0))) into (/ +nan.0 x)
63.620 * [taylor]: Taking taylor expansion of 0 in x
63.620 * [backup-simplify]: Simplify 0 into 0
63.620 * [taylor]: Taking taylor expansion of (/ +nan.0 x) in x
63.620 * [taylor]: Taking taylor expansion of +nan.0 in x
63.620 * [backup-simplify]: Simplify +nan.0 into +nan.0
63.620 * [taylor]: Taking taylor expansion of x in x
63.620 * [backup-simplify]: Simplify 0 into 0
63.620 * [backup-simplify]: Simplify 1 into 1
63.621 * [backup-simplify]: Simplify (/ +nan.0 1) into +nan.0
63.621 * [backup-simplify]: Simplify +nan.0 into +nan.0
63.621 * [backup-simplify]: Simplify 0 into 0
63.621 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
63.622 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
63.622 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (/ 1 x))) into 0
63.622 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
63.623 * [backup-simplify]: Simplify (/ (- (/ 1 x) (pow (/ +nan.0 x) 2) (+)) (* 2 0)) into (* +nan.0 (- (/ 1 x) (* +nan.0 (/ 1 (pow x 2)))))
63.623 * [taylor]: Taking taylor expansion of (* +nan.0 (- (/ 1 x) (* +nan.0 (/ 1 (pow x 2))))) in x
63.623 * [taylor]: Taking taylor expansion of +nan.0 in x
63.623 * [backup-simplify]: Simplify +nan.0 into +nan.0
63.623 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* +nan.0 (/ 1 (pow x 2)))) in x
63.624 * [taylor]: Taking taylor expansion of (/ 1 x) in x
63.624 * [taylor]: Taking taylor expansion of x in x
63.624 * [backup-simplify]: Simplify 0 into 0
63.624 * [backup-simplify]: Simplify 1 into 1
63.624 * [backup-simplify]: Simplify (/ 1 1) into 1
63.624 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow x 2))) in x
63.624 * [taylor]: Taking taylor expansion of +nan.0 in x
63.624 * [backup-simplify]: Simplify +nan.0 into +nan.0
63.624 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
63.624 * [taylor]: Taking taylor expansion of (pow x 2) in x
63.624 * [taylor]: Taking taylor expansion of x in x
63.624 * [backup-simplify]: Simplify 0 into 0
63.624 * [backup-simplify]: Simplify 1 into 1
63.625 * [backup-simplify]: Simplify (* 1 1) into 1
63.625 * [backup-simplify]: Simplify (/ 1 1) into 1
63.626 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
63.626 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
63.627 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
63.627 * [backup-simplify]: Simplify (- 0) into 0
63.627 * [backup-simplify]: Simplify (+ 1 0) into 1
63.628 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
63.628 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
63.628 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
63.629 * [backup-simplify]: Simplify (+ (* +nan.0 1) (* 0 (- +nan.0))) into (- +nan.0)
63.630 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
63.630 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
63.630 * [backup-simplify]: Simplify 0 into 0
63.630 * [backup-simplify]: Simplify 0 into 0
63.630 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
63.640 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
63.641 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0
63.642 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
63.642 * [backup-simplify]: Simplify (+ 0 0) into 0
63.643 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ +nan.0 x) (* +nan.0 (- (/ 1 x) (* +nan.0 (/ 1 (pow x 2))))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 (pow x 3))))))
63.643 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 (pow x 3)))))) in x
63.643 * [taylor]: Taking taylor expansion of +nan.0 in x
63.643 * [backup-simplify]: Simplify +nan.0 into +nan.0
63.643 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 (pow x 3))))) in x
63.643 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow x 2))) in x
63.643 * [taylor]: Taking taylor expansion of +nan.0 in x
63.643 * [backup-simplify]: Simplify +nan.0 into +nan.0
63.643 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
63.643 * [taylor]: Taking taylor expansion of (pow x 2) in x
63.643 * [taylor]: Taking taylor expansion of x in x
63.643 * [backup-simplify]: Simplify 0 into 0
63.643 * [backup-simplify]: Simplify 1 into 1
63.644 * [backup-simplify]: Simplify (* 1 1) into 1
63.644 * [backup-simplify]: Simplify (/ 1 1) into 1
63.644 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow x 3)))) in x
63.644 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow x 3))) in x
63.644 * [taylor]: Taking taylor expansion of +nan.0 in x
63.644 * [backup-simplify]: Simplify +nan.0 into +nan.0
63.644 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
63.644 * [taylor]: Taking taylor expansion of (pow x 3) in x
63.644 * [taylor]: Taking taylor expansion of x in x
63.644 * [backup-simplify]: Simplify 0 into 0
63.644 * [backup-simplify]: Simplify 1 into 1
63.645 * [backup-simplify]: Simplify (* 1 1) into 1
63.645 * [backup-simplify]: Simplify (* 1 1) into 1
63.646 * [backup-simplify]: Simplify (/ 1 1) into 1
63.646 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
63.647 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
63.648 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
63.649 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
63.650 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
63.651 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
63.651 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
63.652 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
63.653 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
63.654 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 0) (* 0 1))) into 0
63.655 * [backup-simplify]: Simplify (- 0) into 0
63.655 * [backup-simplify]: Simplify (+ 0 0) into 0
63.655 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
63.656 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
63.657 * [backup-simplify]: Simplify (- 0) into 0
63.657 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
63.658 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
63.658 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
63.659 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
63.661 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 (- +nan.0)) (* 0 (- +nan.0)))) into 0
63.661 * [backup-simplify]: Simplify 0 into 0
63.664 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
63.665 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
63.666 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
63.667 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 0) (* 0 1))) into 0
63.667 * [backup-simplify]: Simplify (- 0) into 0
63.667 * [backup-simplify]: Simplify (+ 0 0) into 0
63.669 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 1) (* 0 (- +nan.0)))) into 0
63.669 * [backup-simplify]: Simplify 0 into 0
63.672 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
63.672 * [backup-simplify]: Simplify 0 into 0
63.672 * [backup-simplify]: Simplify 0 into 0
63.673 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (/ 1 x)) (/ 1 y))) (* +nan.0 (* (/ 1 (/ 1 x)) 1))) into (- (+ (* +nan.0 x) (- (* +nan.0 (/ x y)))))
63.673 * [backup-simplify]: Simplify (sqrt (fma (/ 1 (- y)) (/ 1 (- x)) (/ 1 (- x)))) into (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x)))
63.673 * [approximate]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x))) in (y x) around 0
63.673 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x))) in x
63.673 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ -1 x)) in x
63.673 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ -1 x))
63.673 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in x
63.673 * [taylor]: Taking taylor expansion of (/ -1 y) in x
63.674 * [taylor]: Taking taylor expansion of -1 in x
63.674 * [backup-simplify]: Simplify -1 into -1
63.674 * [taylor]: Taking taylor expansion of y in x
63.674 * [backup-simplify]: Simplify y into y
63.674 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
63.674 * [taylor]: Taking taylor expansion of (/ -1 x) in x
63.674 * [taylor]: Taking taylor expansion of -1 in x
63.674 * [backup-simplify]: Simplify -1 into -1
63.674 * [taylor]: Taking taylor expansion of x in x
63.674 * [backup-simplify]: Simplify 0 into 0
63.674 * [backup-simplify]: Simplify 1 into 1
63.674 * [backup-simplify]: Simplify (/ -1 1) into -1
63.674 * [taylor]: Taking taylor expansion of (/ -1 x) in x
63.675 * [taylor]: Taking taylor expansion of -1 in x
63.675 * [backup-simplify]: Simplify -1 into -1
63.675 * [taylor]: Taking taylor expansion of x in x
63.675 * [backup-simplify]: Simplify 0 into 0
63.675 * [backup-simplify]: Simplify 1 into 1
63.677 * [backup-simplify]: Simplify (/ -1 1) into -1
63.678 * [backup-simplify]: Simplify (* (/ -1 y) -1) into (/ 1 y)
63.678 * [backup-simplify]: Simplify (+ (/ 1 y) -1) into (- (/ 1 y) 1)
63.679 * [backup-simplify]: Simplify (sqrt 0) into 0
63.681 * [backup-simplify]: Simplify (/ (- (/ 1 y) 1) (* 2 (sqrt 0))) into (* +nan.0 (- (/ 1 y) 1))
63.681 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x))) in y
63.681 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ -1 x)) in y
63.682 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ -1 x))
63.682 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in y
63.682 * [taylor]: Taking taylor expansion of (/ -1 y) in y
63.682 * [taylor]: Taking taylor expansion of -1 in y
63.682 * [backup-simplify]: Simplify -1 into -1
63.682 * [taylor]: Taking taylor expansion of y in y
63.682 * [backup-simplify]: Simplify 0 into 0
63.682 * [backup-simplify]: Simplify 1 into 1
63.682 * [backup-simplify]: Simplify (/ -1 1) into -1
63.683 * [taylor]: Taking taylor expansion of (/ -1 x) in y
63.683 * [taylor]: Taking taylor expansion of -1 in y
63.683 * [backup-simplify]: Simplify -1 into -1
63.683 * [taylor]: Taking taylor expansion of x in y
63.683 * [backup-simplify]: Simplify x into x
63.683 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
63.683 * [taylor]: Taking taylor expansion of (/ -1 x) in y
63.683 * [taylor]: Taking taylor expansion of -1 in y
63.683 * [backup-simplify]: Simplify -1 into -1
63.683 * [taylor]: Taking taylor expansion of x in y
63.683 * [backup-simplify]: Simplify x into x
63.683 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
63.683 * [backup-simplify]: Simplify (* -1 (/ -1 x)) into (/ 1 x)
63.683 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
63.684 * [backup-simplify]: Simplify (sqrt 0) into 0
63.684 * [backup-simplify]: Simplify (/ (/ 1 x) (* 2 (sqrt 0))) into (/ +nan.0 x)
63.684 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x))) in y
63.684 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ -1 x)) in y
63.685 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ -1 x))
63.685 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in y
63.685 * [taylor]: Taking taylor expansion of (/ -1 y) in y
63.685 * [taylor]: Taking taylor expansion of -1 in y
63.685 * [backup-simplify]: Simplify -1 into -1
63.685 * [taylor]: Taking taylor expansion of y in y
63.685 * [backup-simplify]: Simplify 0 into 0
63.685 * [backup-simplify]: Simplify 1 into 1
63.685 * [backup-simplify]: Simplify (/ -1 1) into -1
63.685 * [taylor]: Taking taylor expansion of (/ -1 x) in y
63.685 * [taylor]: Taking taylor expansion of -1 in y
63.685 * [backup-simplify]: Simplify -1 into -1
63.685 * [taylor]: Taking taylor expansion of x in y
63.685 * [backup-simplify]: Simplify x into x
63.685 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
63.685 * [taylor]: Taking taylor expansion of (/ -1 x) in y
63.685 * [taylor]: Taking taylor expansion of -1 in y
63.685 * [backup-simplify]: Simplify -1 into -1
63.685 * [taylor]: Taking taylor expansion of x in y
63.685 * [backup-simplify]: Simplify x into x
63.686 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
63.686 * [backup-simplify]: Simplify (* -1 (/ -1 x)) into (/ 1 x)
63.686 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
63.686 * [backup-simplify]: Simplify (sqrt 0) into 0
63.687 * [backup-simplify]: Simplify (/ (/ 1 x) (* 2 (sqrt 0))) into (/ +nan.0 x)
63.687 * [taylor]: Taking taylor expansion of 0 in x
63.687 * [backup-simplify]: Simplify 0 into 0
63.687 * [taylor]: Taking taylor expansion of (/ +nan.0 x) in x
63.687 * [taylor]: Taking taylor expansion of +nan.0 in x
63.687 * [backup-simplify]: Simplify +nan.0 into +nan.0
63.687 * [taylor]: Taking taylor expansion of x in x
63.687 * [backup-simplify]: Simplify 0 into 0
63.687 * [backup-simplify]: Simplify 1 into 1
63.690 * [backup-simplify]: Simplify (/ +nan.0 1) into +nan.0
63.690 * [backup-simplify]: Simplify +nan.0 into +nan.0
63.690 * [backup-simplify]: Simplify 0 into 0
63.690 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
63.691 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
63.691 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ -1 x))) into 0
63.691 * [backup-simplify]: Simplify (+ 0 (/ -1 x)) into (- (/ 1 x))
63.693 * [backup-simplify]: Simplify (/ (- (- (/ 1 x)) (pow (/ +nan.0 x) 2) (+)) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (/ 1 x)))
63.694 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (/ 1 x))) in x
63.694 * [taylor]: Taking taylor expansion of +nan.0 in x
63.694 * [backup-simplify]: Simplify +nan.0 into +nan.0
63.694 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow x 2))) (/ 1 x)) in x
63.694 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow x 2))) in x
63.694 * [taylor]: Taking taylor expansion of +nan.0 in x
63.694 * [backup-simplify]: Simplify +nan.0 into +nan.0
63.694 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
63.694 * [taylor]: Taking taylor expansion of (pow x 2) in x
63.694 * [taylor]: Taking taylor expansion of x in x
63.694 * [backup-simplify]: Simplify 0 into 0
63.694 * [backup-simplify]: Simplify 1 into 1
63.694 * [backup-simplify]: Simplify (* 1 1) into 1
63.694 * [backup-simplify]: Simplify (/ 1 1) into 1
63.695 * [taylor]: Taking taylor expansion of (/ 1 x) in x
63.695 * [taylor]: Taking taylor expansion of x in x
63.695 * [backup-simplify]: Simplify 0 into 0
63.695 * [backup-simplify]: Simplify 1 into 1
63.695 * [backup-simplify]: Simplify (/ 1 1) into 1
63.696 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
63.696 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
63.697 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
63.697 * [backup-simplify]: Simplify (+ 0 1) into 1
63.698 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
63.698 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
63.703 * [backup-simplify]: Simplify (+ (* +nan.0 1) (* 0 (- +nan.0))) into (- +nan.0)
63.703 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
63.705 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
63.705 * [backup-simplify]: Simplify 0 into 0
63.705 * [backup-simplify]: Simplify 0 into 0
63.705 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
63.706 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
63.713 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 x)))) into 0
63.714 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
63.714 * [backup-simplify]: Simplify (+ 0 0) into 0
63.715 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ +nan.0 x) (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (/ 1 x))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 (pow x 3))))))
63.715 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 (pow x 3)))))) in x
63.715 * [taylor]: Taking taylor expansion of +nan.0 in x
63.715 * [backup-simplify]: Simplify +nan.0 into +nan.0
63.715 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 (pow x 3))))) in x
63.716 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow x 2))) in x
63.716 * [taylor]: Taking taylor expansion of +nan.0 in x
63.716 * [backup-simplify]: Simplify +nan.0 into +nan.0
63.716 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
63.716 * [taylor]: Taking taylor expansion of (pow x 2) in x
63.716 * [taylor]: Taking taylor expansion of x in x
63.716 * [backup-simplify]: Simplify 0 into 0
63.716 * [backup-simplify]: Simplify 1 into 1
63.716 * [backup-simplify]: Simplify (* 1 1) into 1
63.716 * [backup-simplify]: Simplify (/ 1 1) into 1
63.716 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow x 3)))) in x
63.717 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow x 3))) in x
63.717 * [taylor]: Taking taylor expansion of +nan.0 in x
63.717 * [backup-simplify]: Simplify +nan.0 into +nan.0
63.717 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
63.717 * [taylor]: Taking taylor expansion of (pow x 3) in x
63.717 * [taylor]: Taking taylor expansion of x in x
63.717 * [backup-simplify]: Simplify 0 into 0
63.717 * [backup-simplify]: Simplify 1 into 1
63.717 * [backup-simplify]: Simplify (* 1 1) into 1
63.718 * [backup-simplify]: Simplify (* 1 1) into 1
63.718 * [backup-simplify]: Simplify (/ 1 1) into 1
63.719 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
63.720 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
63.725 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
63.726 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
63.727 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
63.727 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
63.728 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
63.728 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
63.729 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
63.730 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 0) (* 0 1))) into 0
63.730 * [backup-simplify]: Simplify (- 0) into 0
63.730 * [backup-simplify]: Simplify (+ 0 0) into 0
63.731 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
63.732 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
63.737 * [backup-simplify]: Simplify (- 0) into 0
63.738 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
63.743 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
63.743 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
63.744 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
63.745 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 (- +nan.0)) (* 0 (- +nan.0)))) into 0
63.746 * [backup-simplify]: Simplify 0 into 0
63.747 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
63.748 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
63.750 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 0) (* 0 1))) into 0
63.751 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
63.751 * [backup-simplify]: Simplify (+ 0 0) into 0
63.753 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 1) (* 0 (- +nan.0)))) into 0
63.753 * [backup-simplify]: Simplify 0 into 0
63.754 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
63.755 * [backup-simplify]: Simplify 0 into 0
63.755 * [backup-simplify]: Simplify 0 into 0
63.756 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (/ 1 (- x))) (/ 1 (- y)))) (* +nan.0 (* (/ 1 (/ 1 (- x))) 1))) into (- (+ (* +nan.0 x) (- (* +nan.0 (/ x y)))))
63.756 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
63.756 * [backup-simplify]: Simplify (sqrt (fma y x x)) into (sqrt (fma y x x))
63.756 * [approximate]: Taking taylor expansion of (sqrt (fma y x x)) in (y x) around 0
63.756 * [taylor]: Taking taylor expansion of (sqrt (fma y x x)) in x
63.756 * [taylor]: Taking taylor expansion of (fma y x x) in x
63.756 * [taylor]: Rewrote expression to (+ (* y x) x)
63.756 * [taylor]: Taking taylor expansion of (* y x) in x
63.756 * [taylor]: Taking taylor expansion of y in x
63.756 * [backup-simplify]: Simplify y into y
63.756 * [taylor]: Taking taylor expansion of x in x
63.756 * [backup-simplify]: Simplify 0 into 0
63.756 * [backup-simplify]: Simplify 1 into 1
63.756 * [taylor]: Taking taylor expansion of x in x
63.757 * [backup-simplify]: Simplify 0 into 0
63.757 * [backup-simplify]: Simplify 1 into 1
63.757 * [backup-simplify]: Simplify (* y 0) into 0
63.761 * [backup-simplify]: Simplify (+ 0 0) into 0
63.764 * [backup-simplify]: Simplify (+ (* y 1) (* 0 0)) into y
63.764 * [backup-simplify]: Simplify (+ y 1) into (+ y 1)
63.772 * [backup-simplify]: Simplify (sqrt 0) into 0
63.773 * [backup-simplify]: Simplify (/ (+ y 1) (* 2 (sqrt 0))) into (* +nan.0 (+ y 1))
63.773 * [taylor]: Taking taylor expansion of (sqrt (fma y x x)) in y
63.773 * [taylor]: Taking taylor expansion of (fma y x x) in y
63.774 * [taylor]: Rewrote expression to (+ (* y x) x)
63.774 * [taylor]: Taking taylor expansion of (* y x) in y
63.774 * [taylor]: Taking taylor expansion of y in y
63.774 * [backup-simplify]: Simplify 0 into 0
63.774 * [backup-simplify]: Simplify 1 into 1
63.774 * [taylor]: Taking taylor expansion of x in y
63.774 * [backup-simplify]: Simplify x into x
63.774 * [taylor]: Taking taylor expansion of x in y
63.774 * [backup-simplify]: Simplify x into x
63.774 * [backup-simplify]: Simplify (* 0 x) into 0
63.774 * [backup-simplify]: Simplify (+ 0 x) into x
63.774 * [backup-simplify]: Simplify (sqrt x) into (sqrt x)
63.781 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
63.781 * [backup-simplify]: Simplify (+ x 0) into x
63.781 * [backup-simplify]: Simplify (/ x (* 2 (sqrt x))) into (* 1/2 (sqrt x))
63.781 * [taylor]: Taking taylor expansion of (sqrt (fma y x x)) in y
63.781 * [taylor]: Taking taylor expansion of (fma y x x) in y
63.781 * [taylor]: Rewrote expression to (+ (* y x) x)
63.781 * [taylor]: Taking taylor expansion of (* y x) in y
63.781 * [taylor]: Taking taylor expansion of y in y
63.781 * [backup-simplify]: Simplify 0 into 0
63.781 * [backup-simplify]: Simplify 1 into 1
63.781 * [taylor]: Taking taylor expansion of x in y
63.781 * [backup-simplify]: Simplify x into x
63.781 * [taylor]: Taking taylor expansion of x in y
63.781 * [backup-simplify]: Simplify x into x
63.782 * [backup-simplify]: Simplify (* 0 x) into 0
63.782 * [backup-simplify]: Simplify (+ 0 x) into x
63.782 * [backup-simplify]: Simplify (sqrt x) into (sqrt x)
63.785 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
63.785 * [backup-simplify]: Simplify (+ x 0) into x
63.786 * [backup-simplify]: Simplify (/ x (* 2 (sqrt x))) into (* 1/2 (sqrt x))
63.786 * [taylor]: Taking taylor expansion of (sqrt x) in x
63.786 * [taylor]: Taking taylor expansion of x in x
63.786 * [backup-simplify]: Simplify 0 into 0
63.786 * [backup-simplify]: Simplify 1 into 1
63.793 * [backup-simplify]: Simplify (sqrt 0) into 0
63.866 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
63.866 * [backup-simplify]: Simplify 0 into 0
63.866 * [taylor]: Taking taylor expansion of (* 1/2 (sqrt x)) in x
63.866 * [taylor]: Taking taylor expansion of 1/2 in x
63.866 * [backup-simplify]: Simplify 1/2 into 1/2
63.866 * [taylor]: Taking taylor expansion of (sqrt x) in x
63.866 * [taylor]: Taking taylor expansion of x in x
63.866 * [backup-simplify]: Simplify 0 into 0
63.867 * [backup-simplify]: Simplify 1 into 1
63.867 * [backup-simplify]: Simplify (sqrt 0) into 0
63.868 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
63.869 * [backup-simplify]: Simplify (* 1/2 0) into 0
63.869 * [backup-simplify]: Simplify 0 into 0
63.869 * [backup-simplify]: Simplify +nan.0 into +nan.0
63.878 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0
63.879 * [backup-simplify]: Simplify (+ 0 0) into 0
63.879 * [backup-simplify]: Simplify (/ (- 0 (pow (* 1/2 (sqrt x)) 2) (+)) (* 2 (sqrt x))) into (* -1/8 (sqrt x))
63.880 * [taylor]: Taking taylor expansion of (* -1/8 (sqrt x)) in x
63.880 * [taylor]: Taking taylor expansion of -1/8 in x
63.880 * [backup-simplify]: Simplify -1/8 into -1/8
63.880 * [taylor]: Taking taylor expansion of (sqrt x) in x
63.880 * [taylor]: Taking taylor expansion of x in x
63.880 * [backup-simplify]: Simplify 0 into 0
63.880 * [backup-simplify]: Simplify 1 into 1
63.880 * [backup-simplify]: Simplify (sqrt 0) into 0
63.882 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
63.882 * [backup-simplify]: Simplify (* -1/8 0) into 0
63.882 * [backup-simplify]: Simplify 0 into 0
63.883 * [backup-simplify]: Simplify (+ (* 1/2 +nan.0) (* 0 0)) into (- +nan.0)
63.884 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
63.886 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
63.886 * [backup-simplify]: Simplify +nan.0 into +nan.0
63.887 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (* x 1) 2)) (+ (* (- +nan.0) (* x y)) (* +nan.0 (* x 1)))) into (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- (* +nan.0 (* x y)))))))
63.887 * [backup-simplify]: Simplify (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x))) into (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x)))
63.887 * [approximate]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x))) in (y x) around 0
63.887 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x))) in x
63.887 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 1 x)) in x
63.889 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 1 x))
63.889 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in x
63.889 * [taylor]: Taking taylor expansion of (/ 1 y) in x
63.890 * [taylor]: Taking taylor expansion of y in x
63.890 * [backup-simplify]: Simplify y into y
63.890 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
63.890 * [taylor]: Taking taylor expansion of (/ 1 x) in x
63.890 * [taylor]: Taking taylor expansion of x in x
63.890 * [backup-simplify]: Simplify 0 into 0
63.890 * [backup-simplify]: Simplify 1 into 1
63.890 * [backup-simplify]: Simplify (/ 1 1) into 1
63.890 * [taylor]: Taking taylor expansion of (/ 1 x) in x
63.890 * [taylor]: Taking taylor expansion of x in x
63.890 * [backup-simplify]: Simplify 0 into 0
63.890 * [backup-simplify]: Simplify 1 into 1
63.891 * [backup-simplify]: Simplify (/ 1 1) into 1
63.891 * [backup-simplify]: Simplify (* (/ 1 y) 1) into (/ 1 y)
63.891 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ (/ 1 y) 1)
63.891 * [backup-simplify]: Simplify (sqrt 0) into 0
63.892 * [backup-simplify]: Simplify (/ (+ (/ 1 y) 1) (* 2 (sqrt 0))) into (* +nan.0 (+ (/ 1 y) 1))
63.892 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x))) in y
63.892 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 1 x)) in y
63.892 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 1 x))
63.892 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in y
63.892 * [taylor]: Taking taylor expansion of (/ 1 y) in y
63.892 * [taylor]: Taking taylor expansion of y in y
63.892 * [backup-simplify]: Simplify 0 into 0
63.892 * [backup-simplify]: Simplify 1 into 1
63.892 * [backup-simplify]: Simplify (/ 1 1) into 1
63.892 * [taylor]: Taking taylor expansion of (/ 1 x) in y
63.892 * [taylor]: Taking taylor expansion of x in y
63.892 * [backup-simplify]: Simplify x into x
63.892 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
63.892 * [taylor]: Taking taylor expansion of (/ 1 x) in y
63.893 * [taylor]: Taking taylor expansion of x in y
63.893 * [backup-simplify]: Simplify x into x
63.893 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
63.893 * [backup-simplify]: Simplify (* 1 (/ 1 x)) into (/ 1 x)
63.893 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
63.893 * [backup-simplify]: Simplify (sqrt 0) into 0
63.903 * [backup-simplify]: Simplify (/ (/ 1 x) (* 2 (sqrt 0))) into (/ +nan.0 x)
63.903 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (/ 1 x) (/ 1 x))) in y
63.903 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 1 x)) in y
63.903 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 1 x))
63.903 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in y
63.903 * [taylor]: Taking taylor expansion of (/ 1 y) in y
63.903 * [taylor]: Taking taylor expansion of y in y
63.903 * [backup-simplify]: Simplify 0 into 0
63.903 * [backup-simplify]: Simplify 1 into 1
63.904 * [backup-simplify]: Simplify (/ 1 1) into 1
63.904 * [taylor]: Taking taylor expansion of (/ 1 x) in y
63.904 * [taylor]: Taking taylor expansion of x in y
63.904 * [backup-simplify]: Simplify x into x
63.904 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
63.904 * [taylor]: Taking taylor expansion of (/ 1 x) in y
63.904 * [taylor]: Taking taylor expansion of x in y
63.904 * [backup-simplify]: Simplify x into x
63.904 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
63.904 * [backup-simplify]: Simplify (* 1 (/ 1 x)) into (/ 1 x)
63.904 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
63.905 * [backup-simplify]: Simplify (sqrt 0) into 0
63.905 * [backup-simplify]: Simplify (/ (/ 1 x) (* 2 (sqrt 0))) into (/ +nan.0 x)
63.905 * [taylor]: Taking taylor expansion of 0 in x
63.905 * [backup-simplify]: Simplify 0 into 0
63.905 * [taylor]: Taking taylor expansion of (/ +nan.0 x) in x
63.905 * [taylor]: Taking taylor expansion of +nan.0 in x
63.905 * [backup-simplify]: Simplify +nan.0 into +nan.0
63.905 * [taylor]: Taking taylor expansion of x in x
63.905 * [backup-simplify]: Simplify 0 into 0
63.905 * [backup-simplify]: Simplify 1 into 1
63.906 * [backup-simplify]: Simplify (/ +nan.0 1) into +nan.0
63.906 * [backup-simplify]: Simplify +nan.0 into +nan.0
63.906 * [backup-simplify]: Simplify 0 into 0
63.906 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
63.907 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
63.907 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (/ 1 x))) into 0
63.907 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
63.908 * [backup-simplify]: Simplify (/ (- (/ 1 x) (pow (/ +nan.0 x) 2) (+)) (* 2 0)) into (* +nan.0 (- (/ 1 x) (* +nan.0 (/ 1 (pow x 2)))))
63.908 * [taylor]: Taking taylor expansion of (* +nan.0 (- (/ 1 x) (* +nan.0 (/ 1 (pow x 2))))) in x
63.908 * [taylor]: Taking taylor expansion of +nan.0 in x
63.908 * [backup-simplify]: Simplify +nan.0 into +nan.0
63.908 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* +nan.0 (/ 1 (pow x 2)))) in x
63.908 * [taylor]: Taking taylor expansion of (/ 1 x) in x
63.908 * [taylor]: Taking taylor expansion of x in x
63.908 * [backup-simplify]: Simplify 0 into 0
63.908 * [backup-simplify]: Simplify 1 into 1
63.909 * [backup-simplify]: Simplify (/ 1 1) into 1
63.909 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow x 2))) in x
63.909 * [taylor]: Taking taylor expansion of +nan.0 in x
63.909 * [backup-simplify]: Simplify +nan.0 into +nan.0
63.909 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
63.909 * [taylor]: Taking taylor expansion of (pow x 2) in x
63.909 * [taylor]: Taking taylor expansion of x in x
63.909 * [backup-simplify]: Simplify 0 into 0
63.909 * [backup-simplify]: Simplify 1 into 1
63.914 * [backup-simplify]: Simplify (* 1 1) into 1
63.915 * [backup-simplify]: Simplify (/ 1 1) into 1
63.915 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
63.916 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
63.916 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
63.917 * [backup-simplify]: Simplify (- 0) into 0
63.917 * [backup-simplify]: Simplify (+ 1 0) into 1
63.918 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
63.918 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
63.919 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
63.921 * [backup-simplify]: Simplify (+ (* +nan.0 1) (* 0 (- +nan.0))) into (- +nan.0)
63.921 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
63.922 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
63.922 * [backup-simplify]: Simplify 0 into 0
63.922 * [backup-simplify]: Simplify 0 into 0
63.922 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
63.923 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
63.930 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0
63.930 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
63.931 * [backup-simplify]: Simplify (+ 0 0) into 0
63.932 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ +nan.0 x) (* +nan.0 (- (/ 1 x) (* +nan.0 (/ 1 (pow x 2))))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 (pow x 3))))))
63.932 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 (pow x 3)))))) in x
63.932 * [taylor]: Taking taylor expansion of +nan.0 in x
63.932 * [backup-simplify]: Simplify +nan.0 into +nan.0
63.932 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 (pow x 3))))) in x
63.932 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow x 2))) in x
63.932 * [taylor]: Taking taylor expansion of +nan.0 in x
63.932 * [backup-simplify]: Simplify +nan.0 into +nan.0
63.932 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
63.932 * [taylor]: Taking taylor expansion of (pow x 2) in x
63.932 * [taylor]: Taking taylor expansion of x in x
63.932 * [backup-simplify]: Simplify 0 into 0
63.932 * [backup-simplify]: Simplify 1 into 1
63.933 * [backup-simplify]: Simplify (* 1 1) into 1
63.933 * [backup-simplify]: Simplify (/ 1 1) into 1
63.933 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow x 3)))) in x
63.933 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow x 3))) in x
63.933 * [taylor]: Taking taylor expansion of +nan.0 in x
63.933 * [backup-simplify]: Simplify +nan.0 into +nan.0
63.933 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
63.933 * [taylor]: Taking taylor expansion of (pow x 3) in x
63.933 * [taylor]: Taking taylor expansion of x in x
63.933 * [backup-simplify]: Simplify 0 into 0
63.933 * [backup-simplify]: Simplify 1 into 1
63.934 * [backup-simplify]: Simplify (* 1 1) into 1
63.934 * [backup-simplify]: Simplify (* 1 1) into 1
63.934 * [backup-simplify]: Simplify (/ 1 1) into 1
63.935 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
63.936 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
63.936 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
63.937 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
63.938 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
63.943 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
63.944 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
63.945 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
63.946 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
63.947 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 0) (* 0 1))) into 0
63.947 * [backup-simplify]: Simplify (- 0) into 0
63.954 * [backup-simplify]: Simplify (+ 0 0) into 0
63.954 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
63.955 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
63.956 * [backup-simplify]: Simplify (- 0) into 0
63.956 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
63.957 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
63.957 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
63.962 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
63.963 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 (- +nan.0)) (* 0 (- +nan.0)))) into 0
63.963 * [backup-simplify]: Simplify 0 into 0
63.964 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
63.965 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
63.966 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
63.967 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 0) (* 0 1))) into 0
63.973 * [backup-simplify]: Simplify (- 0) into 0
63.974 * [backup-simplify]: Simplify (+ 0 0) into 0
63.975 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 1) (* 0 (- +nan.0)))) into 0
63.975 * [backup-simplify]: Simplify 0 into 0
63.976 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
63.976 * [backup-simplify]: Simplify 0 into 0
63.976 * [backup-simplify]: Simplify 0 into 0
63.977 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (/ 1 x)) (/ 1 y))) (* +nan.0 (* (/ 1 (/ 1 x)) 1))) into (- (+ (* +nan.0 x) (- (* +nan.0 (/ x y)))))
63.982 * [backup-simplify]: Simplify (sqrt (fma (/ 1 (- y)) (/ 1 (- x)) (/ 1 (- x)))) into (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x)))
63.982 * [approximate]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x))) in (y x) around 0
63.982 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x))) in x
63.982 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ -1 x)) in x
63.982 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ -1 x))
63.982 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in x
63.982 * [taylor]: Taking taylor expansion of (/ -1 y) in x
63.982 * [taylor]: Taking taylor expansion of -1 in x
63.982 * [backup-simplify]: Simplify -1 into -1
63.982 * [taylor]: Taking taylor expansion of y in x
63.982 * [backup-simplify]: Simplify y into y
63.982 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
63.982 * [taylor]: Taking taylor expansion of (/ -1 x) in x
63.982 * [taylor]: Taking taylor expansion of -1 in x
63.982 * [backup-simplify]: Simplify -1 into -1
63.982 * [taylor]: Taking taylor expansion of x in x
63.982 * [backup-simplify]: Simplify 0 into 0
63.982 * [backup-simplify]: Simplify 1 into 1
63.983 * [backup-simplify]: Simplify (/ -1 1) into -1
63.983 * [taylor]: Taking taylor expansion of (/ -1 x) in x
63.983 * [taylor]: Taking taylor expansion of -1 in x
63.983 * [backup-simplify]: Simplify -1 into -1
63.983 * [taylor]: Taking taylor expansion of x in x
63.983 * [backup-simplify]: Simplify 0 into 0
63.983 * [backup-simplify]: Simplify 1 into 1
63.984 * [backup-simplify]: Simplify (/ -1 1) into -1
63.984 * [backup-simplify]: Simplify (* (/ -1 y) -1) into (/ 1 y)
63.984 * [backup-simplify]: Simplify (+ (/ 1 y) -1) into (- (/ 1 y) 1)
63.984 * [backup-simplify]: Simplify (sqrt 0) into 0
63.985 * [backup-simplify]: Simplify (/ (- (/ 1 y) 1) (* 2 (sqrt 0))) into (* +nan.0 (- (/ 1 y) 1))
63.985 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x))) in y
63.985 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ -1 x)) in y
63.989 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ -1 x))
63.989 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in y
63.989 * [taylor]: Taking taylor expansion of (/ -1 y) in y
63.989 * [taylor]: Taking taylor expansion of -1 in y
63.989 * [backup-simplify]: Simplify -1 into -1
63.989 * [taylor]: Taking taylor expansion of y in y
63.989 * [backup-simplify]: Simplify 0 into 0
63.989 * [backup-simplify]: Simplify 1 into 1
63.990 * [backup-simplify]: Simplify (/ -1 1) into -1
63.990 * [taylor]: Taking taylor expansion of (/ -1 x) in y
63.990 * [taylor]: Taking taylor expansion of -1 in y
63.990 * [backup-simplify]: Simplify -1 into -1
63.990 * [taylor]: Taking taylor expansion of x in y
63.990 * [backup-simplify]: Simplify x into x
63.990 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
63.990 * [taylor]: Taking taylor expansion of (/ -1 x) in y
63.990 * [taylor]: Taking taylor expansion of -1 in y
63.991 * [backup-simplify]: Simplify -1 into -1
63.991 * [taylor]: Taking taylor expansion of x in y
63.991 * [backup-simplify]: Simplify x into x
63.991 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
63.991 * [backup-simplify]: Simplify (* -1 (/ -1 x)) into (/ 1 x)
63.991 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
63.991 * [backup-simplify]: Simplify (sqrt 0) into 0
63.992 * [backup-simplify]: Simplify (/ (/ 1 x) (* 2 (sqrt 0))) into (/ +nan.0 x)
63.992 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (/ -1 x) (/ -1 x))) in y
63.992 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ -1 x)) in y
63.992 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ -1 x))
63.992 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in y
63.992 * [taylor]: Taking taylor expansion of (/ -1 y) in y
63.992 * [taylor]: Taking taylor expansion of -1 in y
63.992 * [backup-simplify]: Simplify -1 into -1
63.992 * [taylor]: Taking taylor expansion of y in y
63.992 * [backup-simplify]: Simplify 0 into 0
63.992 * [backup-simplify]: Simplify 1 into 1
63.993 * [backup-simplify]: Simplify (/ -1 1) into -1
63.993 * [taylor]: Taking taylor expansion of (/ -1 x) in y
63.993 * [taylor]: Taking taylor expansion of -1 in y
63.993 * [backup-simplify]: Simplify -1 into -1
63.993 * [taylor]: Taking taylor expansion of x in y
63.993 * [backup-simplify]: Simplify x into x
63.993 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
63.993 * [taylor]: Taking taylor expansion of (/ -1 x) in y
63.993 * [taylor]: Taking taylor expansion of -1 in y
63.997 * [backup-simplify]: Simplify -1 into -1
63.997 * [taylor]: Taking taylor expansion of x in y
63.997 * [backup-simplify]: Simplify x into x
63.997 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
63.998 * [backup-simplify]: Simplify (* -1 (/ -1 x)) into (/ 1 x)
63.998 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
63.998 * [backup-simplify]: Simplify (sqrt 0) into 0
63.999 * [backup-simplify]: Simplify (/ (/ 1 x) (* 2 (sqrt 0))) into (/ +nan.0 x)
63.999 * [taylor]: Taking taylor expansion of 0 in x
63.999 * [backup-simplify]: Simplify 0 into 0
63.999 * [taylor]: Taking taylor expansion of (/ +nan.0 x) in x
63.999 * [taylor]: Taking taylor expansion of +nan.0 in x
63.999 * [backup-simplify]: Simplify +nan.0 into +nan.0
63.999 * [taylor]: Taking taylor expansion of x in x
63.999 * [backup-simplify]: Simplify 0 into 0
63.999 * [backup-simplify]: Simplify 1 into 1
64.000 * [backup-simplify]: Simplify (/ +nan.0 1) into +nan.0
64.000 * [backup-simplify]: Simplify +nan.0 into +nan.0
64.000 * [backup-simplify]: Simplify 0 into 0
64.000 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
64.001 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
64.001 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ -1 x))) into 0
64.002 * [backup-simplify]: Simplify (+ 0 (/ -1 x)) into (- (/ 1 x))
64.003 * [backup-simplify]: Simplify (/ (- (- (/ 1 x)) (pow (/ +nan.0 x) 2) (+)) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (/ 1 x)))
64.003 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (/ 1 x))) in x
64.003 * [taylor]: Taking taylor expansion of +nan.0 in x
64.003 * [backup-simplify]: Simplify +nan.0 into +nan.0
64.003 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow x 2))) (/ 1 x)) in x
64.003 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow x 2))) in x
64.003 * [taylor]: Taking taylor expansion of +nan.0 in x
64.003 * [backup-simplify]: Simplify +nan.0 into +nan.0
64.003 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
64.003 * [taylor]: Taking taylor expansion of (pow x 2) in x
64.003 * [taylor]: Taking taylor expansion of x in x
64.003 * [backup-simplify]: Simplify 0 into 0
64.003 * [backup-simplify]: Simplify 1 into 1
64.009 * [backup-simplify]: Simplify (* 1 1) into 1
64.010 * [backup-simplify]: Simplify (/ 1 1) into 1
64.010 * [taylor]: Taking taylor expansion of (/ 1 x) in x
64.010 * [taylor]: Taking taylor expansion of x in x
64.010 * [backup-simplify]: Simplify 0 into 0
64.010 * [backup-simplify]: Simplify 1 into 1
64.010 * [backup-simplify]: Simplify (/ 1 1) into 1
64.011 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
64.012 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
64.013 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
64.013 * [backup-simplify]: Simplify (+ 0 1) into 1
64.013 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
64.014 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
64.016 * [backup-simplify]: Simplify (+ (* +nan.0 1) (* 0 (- +nan.0))) into (- +nan.0)
64.016 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
64.017 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)))) into 0
64.017 * [backup-simplify]: Simplify 0 into 0
64.017 * [backup-simplify]: Simplify 0 into 0
64.025 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
64.027 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
64.028 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ -1 x)))) into 0
64.028 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
64.028 * [backup-simplify]: Simplify (+ 0 0) into 0
64.034 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ +nan.0 x) (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (/ 1 x))))))) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 (pow x 3))))))
64.034 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 (pow x 3)))))) in x
64.034 * [taylor]: Taking taylor expansion of +nan.0 in x
64.034 * [backup-simplify]: Simplify +nan.0 into +nan.0
64.034 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 (pow x 3))))) in x
64.034 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow x 2))) in x
64.034 * [taylor]: Taking taylor expansion of +nan.0 in x
64.034 * [backup-simplify]: Simplify +nan.0 into +nan.0
64.034 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
64.034 * [taylor]: Taking taylor expansion of (pow x 2) in x
64.034 * [taylor]: Taking taylor expansion of x in x
64.034 * [backup-simplify]: Simplify 0 into 0
64.034 * [backup-simplify]: Simplify 1 into 1
64.035 * [backup-simplify]: Simplify (* 1 1) into 1
64.035 * [backup-simplify]: Simplify (/ 1 1) into 1
64.035 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 (pow x 3)))) in x
64.035 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow x 3))) in x
64.035 * [taylor]: Taking taylor expansion of +nan.0 in x
64.035 * [backup-simplify]: Simplify +nan.0 into +nan.0
64.035 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
64.035 * [taylor]: Taking taylor expansion of (pow x 3) in x
64.035 * [taylor]: Taking taylor expansion of x in x
64.035 * [backup-simplify]: Simplify 0 into 0
64.035 * [backup-simplify]: Simplify 1 into 1
64.036 * [backup-simplify]: Simplify (* 1 1) into 1
64.036 * [backup-simplify]: Simplify (* 1 1) into 1
64.037 * [backup-simplify]: Simplify (/ 1 1) into 1
64.037 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
64.038 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
64.039 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
64.042 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
64.043 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
64.044 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
64.045 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
64.050 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
64.051 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
64.052 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 0) (* 0 1))) into 0
64.052 * [backup-simplify]: Simplify (- 0) into 0
64.053 * [backup-simplify]: Simplify (+ 0 0) into 0
64.053 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
64.058 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
64.059 * [backup-simplify]: Simplify (- 0) into 0
64.059 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
64.060 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
64.060 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
64.061 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
64.062 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 (- +nan.0)) (* 0 (- +nan.0)))) into 0
64.062 * [backup-simplify]: Simplify 0 into 0
64.063 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
64.064 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
64.065 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 0) (* 0 1))) into 0
64.066 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
64.066 * [backup-simplify]: Simplify (+ 0 0) into 0
64.068 * [backup-simplify]: Simplify (+ (* +nan.0 0) (+ (* 0 1) (* 0 (- +nan.0)))) into 0
64.068 * [backup-simplify]: Simplify 0 into 0
64.069 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* +nan.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
64.069 * [backup-simplify]: Simplify 0 into 0
64.069 * [backup-simplify]: Simplify 0 into 0
64.070 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (/ 1 (- x))) (/ 1 (- y)))) (* +nan.0 (* (/ 1 (/ 1 (- x))) 1))) into (- (+ (* +nan.0 x) (- (* +nan.0 (/ x y)))))
64.085 * * * [progress]: simplifying candidates
64.094 * [simplify]: Simplifying:
  (expm1 (fma (sqrt (fma y x x)) (sqrt (fma y x x)) y))
  (log1p (fma (sqrt (fma y x x)) (sqrt (fma y x x)) y))
  (* (sqrt (fma y x x)) (sqrt (fma y x x)))
  (log (fma (sqrt (fma y x x)) (sqrt (fma y x x)) y))
  (exp (fma (sqrt (fma y x x)) (sqrt (fma y x x)) y))
  (* (cbrt (fma (sqrt (fma y x x)) (sqrt (fma y x x)) y)) (cbrt (fma (sqrt (fma y x x)) (sqrt (fma y x x)) y)))
  (cbrt (fma (sqrt (fma y x x)) (sqrt (fma y x x)) y))
  (* (* (fma (sqrt (fma y x x)) (sqrt (fma y x x)) y) (fma (sqrt (fma y x x)) (sqrt (fma y x x)) y)) (fma (sqrt (fma y x x)) (sqrt (fma y x x)) y))
  (sqrt (fma (sqrt (fma y x x)) (sqrt (fma y x x)) y))
  (sqrt (fma (sqrt (fma y x x)) (sqrt (fma y x x)) y))
  (expm1 (sqrt (fma y x x)))
  (log1p (sqrt (fma y x x)))
  (log (sqrt (fma y x x)))
  (exp (sqrt (fma y x x)))
  (* (cbrt (sqrt (fma y x x))) (cbrt (sqrt (fma y x x))))
  (cbrt (sqrt (fma y x x)))
  (* (* (sqrt (fma y x x)) (sqrt (fma y x x))) (sqrt (fma y x x)))
  (sqrt (* (cbrt (fma y x x)) (cbrt (fma y x x))))
  (sqrt (cbrt (fma y x x)))
  (sqrt (sqrt (fma y x x)))
  (sqrt (sqrt (fma y x x)))
  (sqrt 1)
  (sqrt (fma y x x))
  (/ 1 2)
  (sqrt (sqrt (fma y x x)))
  (sqrt (sqrt (fma y x x)))
  (expm1 (sqrt (fma y x x)))
  (log1p (sqrt (fma y x x)))
  (log (sqrt (fma y x x)))
  (exp (sqrt (fma y x x)))
  (* (cbrt (sqrt (fma y x x))) (cbrt (sqrt (fma y x x))))
  (cbrt (sqrt (fma y x x)))
  (* (* (sqrt (fma y x x)) (sqrt (fma y x x))) (sqrt (fma y x x)))
  (sqrt (* (cbrt (fma y x x)) (cbrt (fma y x x))))
  (sqrt (cbrt (fma y x x)))
  (sqrt (sqrt (fma y x x)))
  (sqrt (sqrt (fma y x x)))
  (sqrt 1)
  (sqrt (fma y x x))
  (/ 1 2)
  (sqrt (sqrt (fma y x x)))
  (sqrt (sqrt (fma y x x)))
  (+ x (+ y (* x y)))
  (- y (+ (* +nan.0 (pow x 2)) (- (* +nan.0 (/ (pow x 2) y)))))
  (- y (+ (* +nan.0 (pow x 2)) (- (* +nan.0 (/ (pow x 2) y)))))
  (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- (* +nan.0 (* x y)))))))
  (- (+ (* +nan.0 x) (- (* +nan.0 (/ x y)))))
  (- (+ (* +nan.0 x) (- (* +nan.0 (/ x y)))))
  (- (+ (* +nan.0 (pow x 2)) (- (+ (* +nan.0 x) (- (* +nan.0 (* x y)))))))
  (- (+ (* +nan.0 x) (- (* +nan.0 (/ x y)))))
  (- (+ (* +nan.0 x) (- (* +nan.0 (/ x y)))))
64.102 * * [simplify]: iteration 0: 54 enodes
64.166 * * [simplify]: iteration 1: 116 enodes
64.567 * * [simplify]: iteration 2: 253 enodes
64.747 * * [simplify]: iteration 3: 673 enodes
67.233 * * [simplify]: iteration 4: 2573 enodes
74.193 * * [simplify]: iteration complete: 5001 enodes
74.193 * * [simplify]: Extracting #0: cost 26 inf + 0
74.195 * * [simplify]: Extracting #1: cost 203 inf + 2
74.274 * * [simplify]: Extracting #2: cost 725 inf + 1128
74.323 * * [simplify]: Extracting #3: cost 440 inf + 52939
74.399 * * [simplify]: Extracting #4: cost 55 inf + 113993
74.505 * * [simplify]: Extracting #5: cost 5 inf + 123849
74.570 * * [simplify]: Extracting #6: cost 0 inf + 125593
74.700 * [simplify]: Simplified to:
  (expm1 (+ (fma y x x) y))
  (log1p (+ (fma y x x) y))
  (fma y x x)
  (log (+ (fma y x x) y))
  (exp (+ (fma y x x) y))
  (* (cbrt (+ (fma y x x) y)) (cbrt (+ (fma y x x) y)))
  (cbrt (+ (fma y x x) y))
  (* (* (+ (fma y x x) y) (+ (fma y x x) y)) (+ (fma y x x) y))
  (sqrt (+ (fma y x x) y))
  (sqrt (+ (fma y x x) y))
  (expm1 (sqrt (fma y x x)))
  (log1p (sqrt (fma y x x)))
  (log (sqrt (fma y x x)))
  (exp (sqrt (fma y x x)))
  (* (cbrt (sqrt (fma y x x))) (cbrt (sqrt (fma y x x))))
  (cbrt (sqrt (fma y x x)))
  (* (fma y x x) (sqrt (fma y x x)))
  (fabs (cbrt (fma y x x)))
  (sqrt (cbrt (fma y x x)))
  (sqrt (sqrt (fma y x x)))
  (sqrt (sqrt (fma y x x)))
  1
  (sqrt (fma y x x))
  1/2
  (sqrt (sqrt (fma y x x)))
  (sqrt (sqrt (fma y x x)))
  (expm1 (sqrt (fma y x x)))
  (log1p (sqrt (fma y x x)))
  (log (sqrt (fma y x x)))
  (exp (sqrt (fma y x x)))
  (* (cbrt (sqrt (fma y x x))) (cbrt (sqrt (fma y x x))))
  (cbrt (sqrt (fma y x x)))
  (* (fma y x x) (sqrt (fma y x x)))
  (fabs (cbrt (fma y x x)))
  (sqrt (cbrt (fma y x x)))
  (sqrt (sqrt (fma y x x)))
  (sqrt (sqrt (fma y x x)))
  1
  (sqrt (fma y x x))
  1/2
  (sqrt (sqrt (fma y x x)))
  (sqrt (sqrt (fma y x x)))
  (+ (fma y x x) y)
  (- y (* (- (* x x) (/ (* x x) y)) +nan.0))
  (- y (* (- (* x x) (/ (* x x) y)) +nan.0))
  (- (* x +nan.0) (fma y (* x +nan.0) (* (* x +nan.0) x)))
  (* (- x (/ x y)) (- +nan.0))
  (* (- x (/ x y)) (- +nan.0))
  (- (* x +nan.0) (fma y (* x +nan.0) (* (* x +nan.0) x)))
  (* (- x (/ x y)) (- +nan.0))
  (* (- x (/ x y)) (- +nan.0))
74.716 * * * [progress]: adding candidates to table
75.457 * [progress]: [Phase 3 of 3] Extracting.
75.460 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (fma (sqrt (fma y x x)) (sqrt (fma y x x)) y))> #<alt (λ (x y) (+ (fma y x x) y))>)
75.460 * * * [regime-changes]: Trying 2 branch expressions: (y x)
75.460 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (fma (sqrt (fma y x x)) (sqrt (fma y x x)) y))> #<alt (λ (x y) (+ (fma y x x) y))>)
75.566 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (fma (sqrt (fma y x x)) (sqrt (fma y x x)) y))> #<alt (λ (x y) (+ (fma y x x) y))>)
75.650 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
75.651 * [simplify]: Simplifying:
  (+ (fma y x x) y)
75.651 * * [simplify]: iteration 0: 4 enodes
75.651 * * [simplify]: iteration 1: 5 enodes
75.652 * * [simplify]: iteration complete: 5 enodes
75.652 * * [simplify]: Extracting #0: cost 1 inf + 0
75.652 * * [simplify]: Extracting #1: cost 3 inf + 0
75.652 * * [simplify]: Extracting #2: cost 3 inf + 1
75.652 * * [simplify]: Extracting #3: cost 1 inf + 59
75.652 * * [simplify]: Extracting #4: cost 0 inf + 156
75.652 * [simplify]: Simplified to:
  (+ (fma y x x) y)
79.102 * [regime-testing]: Baseline error score: 0.004953261171805805
79.119 * [regime-testing]: Oracle error score: 0.004005022329360355
79.162 * [regime-testing]: End program error score: 0.004953261171805805