59.745 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.035 * * * [progress]: [2/2] Setting up program.
0.038 * [progress]: [Phase 2 of 3] Improving.
0.038 * [simplify]: Simplifying:
  (+ x (* (- 1.0 x) (- 1.0 y)))
0.038 * * [simplify]: Extracting # 0 : cost  0
0.038 * * [simplify]: Extracting # 1 : cost  0
0.038 * * [simplify]: Extracting # 2 : cost  0
0.039 * * [simplify]: Extracting # 3 : cost  0
0.039 * * [simplify]: Extracting # 4 : cost  0
0.039 * * [simplify]: Extracting # 5 : cost  0
0.039 * * [simplify]: iteration  0 :  7  enodes  (cost  9 )
0.041 * * [simplify]: Extracting # 0 : cost  0
0.041 * * [simplify]: Extracting # 1 : cost  0
0.041 * * [simplify]: Extracting # 2 : cost  0
0.041 * * [simplify]: iteration  1 :  13  enodes  (cost  9 )
0.046 * * [simplify]: Extracting # 0 : cost  0
0.046 * * [simplify]: Extracting # 1 : cost  0
0.046 * * [simplify]: Extracting # 2 : cost  0
0.046 * * [simplify]: iteration  2 :  29  enodes  (cost  8 )
0.059 * * [simplify]: Extracting # 0 : cost  0
0.060 * * [simplify]: Extracting # 1 : cost  0
0.060 * * [simplify]: Extracting # 2 : cost  0
0.060 * * [simplify]: iteration  3 :  84  enodes  (cost  8 )
0.124 * * [simplify]: Extracting # 0 : cost  0
0.125 * * [simplify]: Extracting # 1 : cost  0
0.125 * * [simplify]: Extracting # 2 : cost  0
0.126 * * [simplify]: iteration  4 :  278  enodes  (cost  8 )
0.321 * * [simplify]: Extracting # 0 : cost  0
0.322 * * [simplify]: Extracting # 1 : cost  0
0.322 * * [simplify]: Extracting # 2 : cost  0
0.323 * * [simplify]: Extracting # 3 : cost  0
0.323 * * [simplify]: Extracting # 4 : cost  0
0.324 * * [simplify]: iteration  5 :  663  enodes  (cost  8 )
1.224 * * [simplify]: Extracting # 0 : cost  0
1.226 * * [simplify]: Extracting # 1 : cost  0
1.228 * * [simplify]: Extracting # 2 : cost  0
1.229 * * [simplify]: Extracting # 3 : cost  0
1.230 * * [simplify]: iteration  6 :  1289  enodes  (cost  8 )
3.233 * * [simplify]: Extracting # 0 : cost  0
3.237 * * [simplify]: Extracting # 1 : cost  0
3.240 * * [simplify]: Extracting # 2 : cost  0
3.243 * * [simplify]: Extracting # 3 : cost  0
3.247 * * [simplify]: iteration  7 :  2486  enodes  (cost  8 )
7.512 * * [simplify]: Extracting # 0 : cost  0
7.519 * * [simplify]: Extracting # 1 : cost  0
7.523 * * [simplify]: Extracting # 2 : cost  0
7.527 * * [simplify]: iteration  8 :  3245  enodes  (cost  8 )
14.093 * * [simplify]: Extracting # 0 : cost  0
14.102 * * [simplify]: Extracting # 1 : cost  0
14.105 * * [simplify]: Extracting # 2 : cost  0
14.108 * * [simplify]: iteration  9 :  4653  enodes  (cost  8 )
16.807 * * [simplify]: Extracting # 0 : cost  0
16.811 * * [simplify]: Extracting # 1 : cost  0
16.815 * * [simplify]: Extracting # 2 : cost  0
16.819 * * [simplify]: iteration done:  5001  enodes  (cost  8 )
16.819 * [simplify]: Simplified to:
  (fma (- 1.0 y) (- 1.0 x) x)
16.824 * * [progress]: iteration 1 / 4
16.824 * * * [progress]: picking best candidate
16.829 * * * * [pick]: Picked  #<alt (λ (x y) (fma (- 1.0 y) (- 1.0 x) x))>
16.829 * * * [progress]: localizing error
16.836 * * * [progress]: generating rewritten candidates
16.836 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
16.837 * * * [progress]: generating series expansions
16.837 * * * * [progress]: [ 1 / 1 ] generating series at (2)
16.837 * [backup-simplify]: Simplify (fma (- 1.0 y) (- 1.0 x) x) into (fma (- 1.0 y) (- 1.0 x) x)
16.837 * [approximate]: Taking taylor expansion of (fma (- 1.0 y) (- 1.0 x) x) in (y x) around 0
16.837 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) (- 1.0 x) x) in x
16.837 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) (- 1.0 x)) x)
16.837 * [taylor]: Taking taylor expansion of (* (- 1.0 y) (- 1.0 x)) in x
16.837 * [taylor]: Taking taylor expansion of (- 1.0 y) in x
16.837 * [taylor]: Taking taylor expansion of 1.0 in x
16.837 * [backup-simplify]: Simplify 1.0 into 1.0
16.837 * [taylor]: Taking taylor expansion of y in x
16.837 * [backup-simplify]: Simplify y into y
16.837 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
16.837 * [taylor]: Taking taylor expansion of 1.0 in x
16.837 * [backup-simplify]: Simplify 1.0 into 1.0
16.837 * [taylor]: Taking taylor expansion of x in x
16.837 * [backup-simplify]: Simplify 0 into 0
16.837 * [backup-simplify]: Simplify 1 into 1
16.837 * [taylor]: Taking taylor expansion of x in x
16.838 * [backup-simplify]: Simplify 0 into 0
16.838 * [backup-simplify]: Simplify 1 into 1
16.838 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) (- 1.0 x) x) in y
16.838 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) (- 1.0 x)) x)
16.838 * [taylor]: Taking taylor expansion of (* (- 1.0 y) (- 1.0 x)) in y
16.838 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
16.838 * [taylor]: Taking taylor expansion of 1.0 in y
16.838 * [backup-simplify]: Simplify 1.0 into 1.0
16.838 * [taylor]: Taking taylor expansion of y in y
16.838 * [backup-simplify]: Simplify 0 into 0
16.838 * [backup-simplify]: Simplify 1 into 1
16.838 * [taylor]: Taking taylor expansion of (- 1.0 x) in y
16.838 * [taylor]: Taking taylor expansion of 1.0 in y
16.838 * [backup-simplify]: Simplify 1.0 into 1.0
16.838 * [taylor]: Taking taylor expansion of x in y
16.838 * [backup-simplify]: Simplify x into x
16.838 * [taylor]: Taking taylor expansion of x in y
16.838 * [backup-simplify]: Simplify x into x
16.838 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) (- 1.0 x) x) in y
16.838 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) (- 1.0 x)) x)
16.838 * [taylor]: Taking taylor expansion of (* (- 1.0 y) (- 1.0 x)) in y
16.838 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
16.838 * [taylor]: Taking taylor expansion of 1.0 in y
16.838 * [backup-simplify]: Simplify 1.0 into 1.0
16.838 * [taylor]: Taking taylor expansion of y in y
16.838 * [backup-simplify]: Simplify 0 into 0
16.838 * [backup-simplify]: Simplify 1 into 1
16.838 * [taylor]: Taking taylor expansion of (- 1.0 x) in y
16.838 * [taylor]: Taking taylor expansion of 1.0 in y
16.838 * [backup-simplify]: Simplify 1.0 into 1.0
16.838 * [taylor]: Taking taylor expansion of x in y
16.838 * [backup-simplify]: Simplify x into x
16.838 * [taylor]: Taking taylor expansion of x in y
16.838 * [backup-simplify]: Simplify x into x
16.839 * [backup-simplify]: Simplify (- 0) into 0
16.840 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
16.840 * [backup-simplify]: Simplify (- x) into (- x)
16.840 * [backup-simplify]: Simplify (+ 1.0 (- x)) into (- 1.0 x)
16.840 * [backup-simplify]: Simplify (* 1.0 (- 1.0 x)) into (* 1.0 (- 1.0 x))
16.840 * [backup-simplify]: Simplify (+ (* 1.0 (- 1.0 x)) x) into 1.0
16.840 * [taylor]: Taking taylor expansion of 1.0 in x
16.840 * [backup-simplify]: Simplify 1.0 into 1.0
16.840 * [backup-simplify]: Simplify 1.0 into 1.0
16.840 * [backup-simplify]: Simplify (- 0) into 0
16.841 * [backup-simplify]: Simplify (+ 0 0) into 0
16.841 * [backup-simplify]: Simplify (- 1) into -1
16.841 * [backup-simplify]: Simplify (+ 0 -1) into -1
16.842 * [backup-simplify]: Simplify (+ (* 1.0 0) (* -1 (- 1.0 x))) into (- x 1.0)
16.842 * [backup-simplify]: Simplify (+ (- x 1.0) 0) into (- x 1.0)
16.842 * [taylor]: Taking taylor expansion of (- x 1.0) in x
16.842 * [taylor]: Taking taylor expansion of x in x
16.842 * [backup-simplify]: Simplify 0 into 0
16.842 * [backup-simplify]: Simplify 1 into 1
16.842 * [taylor]: Taking taylor expansion of 1.0 in x
16.842 * [backup-simplify]: Simplify 1.0 into 1.0
16.842 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
16.843 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
16.843 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
16.843 * [backup-simplify]: Simplify 0 into 0
16.843 * [backup-simplify]: Simplify (- 0) into 0
16.844 * [backup-simplify]: Simplify (+ 0 0) into 0
16.844 * [backup-simplify]: Simplify (- 0) into 0
16.844 * [backup-simplify]: Simplify (+ 0 0) into 0
16.845 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* -1 0) (* 0 (- 1.0 x)))) into 0
16.845 * [backup-simplify]: Simplify (+ 0 0) into 0
16.845 * [taylor]: Taking taylor expansion of 0 in x
16.845 * [backup-simplify]: Simplify 0 into 0
16.845 * [backup-simplify]: Simplify 0 into 0
16.846 * [backup-simplify]: Simplify (- 0) into 0
16.846 * [backup-simplify]: Simplify (+ 1 0) into 1
16.846 * [backup-simplify]: Simplify 1 into 1
16.847 * [backup-simplify]: Simplify (+ (* 1 (* x y)) (+ (* (- 1.0) (* 1 y)) 1.0)) into (- (+ (* x y) 1.0) (* 1.0 y))
16.847 * [backup-simplify]: Simplify (fma (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x)) (/ 1 x)) into (fma (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x)) (/ 1 x))
16.847 * [approximate]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x)) (/ 1 x)) in (y x) around 0
16.847 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x)) (/ 1 x)) in x
16.847 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) (/ 1 x))
16.847 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) in x
16.847 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x
16.847 * [taylor]: Taking taylor expansion of 1.0 in x
16.847 * [backup-simplify]: Simplify 1.0 into 1.0
16.847 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.847 * [taylor]: Taking taylor expansion of y in x
16.847 * [backup-simplify]: Simplify y into y
16.847 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
16.847 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
16.847 * [taylor]: Taking taylor expansion of 1.0 in x
16.847 * [backup-simplify]: Simplify 1.0 into 1.0
16.847 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.847 * [taylor]: Taking taylor expansion of x in x
16.847 * [backup-simplify]: Simplify 0 into 0
16.847 * [backup-simplify]: Simplify 1 into 1
16.848 * [backup-simplify]: Simplify (/ 1 1) into 1
16.848 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.848 * [taylor]: Taking taylor expansion of x in x
16.848 * [backup-simplify]: Simplify 0 into 0
16.848 * [backup-simplify]: Simplify 1 into 1
16.848 * [backup-simplify]: Simplify (/ 1 1) into 1
16.848 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x)) (/ 1 x)) in y
16.848 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) (/ 1 x))
16.848 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) in y
16.848 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
16.848 * [taylor]: Taking taylor expansion of 1.0 in y
16.848 * [backup-simplify]: Simplify 1.0 into 1.0
16.848 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.848 * [taylor]: Taking taylor expansion of y in y
16.848 * [backup-simplify]: Simplify 0 into 0
16.848 * [backup-simplify]: Simplify 1 into 1
16.849 * [backup-simplify]: Simplify (/ 1 1) into 1
16.849 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y
16.849 * [taylor]: Taking taylor expansion of 1.0 in y
16.849 * [backup-simplify]: Simplify 1.0 into 1.0
16.849 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.849 * [taylor]: Taking taylor expansion of x in y
16.849 * [backup-simplify]: Simplify x into x
16.849 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
16.849 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.849 * [taylor]: Taking taylor expansion of x in y
16.849 * [backup-simplify]: Simplify x into x
16.849 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
16.849 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x)) (/ 1 x)) in y
16.849 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) (/ 1 x))
16.849 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) in y
16.849 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
16.849 * [taylor]: Taking taylor expansion of 1.0 in y
16.849 * [backup-simplify]: Simplify 1.0 into 1.0
16.849 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.849 * [taylor]: Taking taylor expansion of y in y
16.849 * [backup-simplify]: Simplify 0 into 0
16.849 * [backup-simplify]: Simplify 1 into 1
16.849 * [backup-simplify]: Simplify (/ 1 1) into 1
16.849 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y
16.849 * [taylor]: Taking taylor expansion of 1.0 in y
16.849 * [backup-simplify]: Simplify 1.0 into 1.0
16.849 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.849 * [taylor]: Taking taylor expansion of x in y
16.850 * [backup-simplify]: Simplify x into x
16.850 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
16.850 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.850 * [taylor]: Taking taylor expansion of x in y
16.850 * [backup-simplify]: Simplify x into x
16.850 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
16.850 * [backup-simplify]: Simplify (- 1) into -1
16.850 * [backup-simplify]: Simplify (+ 0 -1) into -1
16.850 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
16.850 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x))
16.850 * [backup-simplify]: Simplify (* -1 (- 1.0 (/ 1 x))) into (* -1 (- 1.0 (/ 1 x)))
16.851 * [backup-simplify]: Simplify (+ (* -1 (- 1.0 (/ 1 x))) 0) into (- (/ 1 x) 1.0)
16.851 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
16.851 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.851 * [taylor]: Taking taylor expansion of x in x
16.851 * [backup-simplify]: Simplify 0 into 0
16.851 * [backup-simplify]: Simplify 1 into 1
16.851 * [backup-simplify]: Simplify (/ 1 1) into 1
16.851 * [taylor]: Taking taylor expansion of 1.0 in x
16.851 * [backup-simplify]: Simplify 1.0 into 1.0
16.851 * [backup-simplify]: Simplify (+ 1 0) into 1
16.851 * [backup-simplify]: Simplify 1 into 1
16.851 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
16.852 * [backup-simplify]: Simplify (- 0) into 0
16.852 * [backup-simplify]: Simplify (+ 0 0) into 0
16.852 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.853 * [backup-simplify]: Simplify (- 0) into 0
16.853 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
16.853 * [backup-simplify]: Simplify (+ (* -1 0) (* 1.0 (- 1.0 (/ 1 x)))) into (- 1.0 (* 1.0 (/ 1 x)))
16.854 * [backup-simplify]: Simplify (+ (- 1.0 (* 1.0 (/ 1 x))) (/ 1 x)) into 1.0
16.854 * [taylor]: Taking taylor expansion of 1.0 in x
16.854 * [backup-simplify]: Simplify 1.0 into 1.0
16.854 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.854 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
16.855 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
16.855 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
16.855 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
16.856 * [backup-simplify]: Simplify (- 0) into 0
16.856 * [backup-simplify]: Simplify (+ 0 0) into 0
16.856 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.857 * [backup-simplify]: Simplify (- 0) into 0
16.857 * [backup-simplify]: Simplify (+ 0 0) into 0
16.858 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 1.0 0) (* 0 (- 1.0 (/ 1 x))))) into 0
16.858 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
16.858 * [backup-simplify]: Simplify (+ 0 0) into 0
16.858 * [taylor]: Taking taylor expansion of 0 in x
16.858 * [backup-simplify]: Simplify 0 into 0
16.858 * [backup-simplify]: Simplify 1.0 into 1.0
16.859 * [backup-simplify]: Simplify (+ 1.0 (+ (* (- 1.0) (* 1 (/ 1 (/ 1 y)))) (* 1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))))) into (- (+ (* x y) 1.0) (* 1.0 y))
16.859 * [backup-simplify]: Simplify (fma (- 1.0 (/ 1 (- y))) (- 1.0 (/ 1 (- x))) (/ 1 (- x))) into (fma (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0) (/ -1 x))
16.859 * [approximate]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0) (/ -1 x)) in (y x) around 0
16.859 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0) (/ -1 x)) in x
16.859 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0)) (/ -1 x))
16.859 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0)) in x
16.859 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x
16.859 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.859 * [taylor]: Taking taylor expansion of y in x
16.859 * [backup-simplify]: Simplify y into y
16.859 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
16.859 * [taylor]: Taking taylor expansion of 1.0 in x
16.859 * [backup-simplify]: Simplify 1.0 into 1.0
16.859 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
16.859 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.859 * [taylor]: Taking taylor expansion of x in x
16.859 * [backup-simplify]: Simplify 0 into 0
16.859 * [backup-simplify]: Simplify 1 into 1
16.860 * [backup-simplify]: Simplify (/ 1 1) into 1
16.860 * [taylor]: Taking taylor expansion of 1.0 in x
16.860 * [backup-simplify]: Simplify 1.0 into 1.0
16.860 * [taylor]: Taking taylor expansion of (/ -1 x) in x
16.860 * [taylor]: Taking taylor expansion of -1 in x
16.860 * [backup-simplify]: Simplify -1 into -1
16.860 * [taylor]: Taking taylor expansion of x in x
16.860 * [backup-simplify]: Simplify 0 into 0
16.860 * [backup-simplify]: Simplify 1 into 1
16.860 * [backup-simplify]: Simplify (/ -1 1) into -1
16.860 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0) (/ -1 x)) in y
16.861 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0)) (/ -1 x))
16.861 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0)) in y
16.861 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
16.861 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.861 * [taylor]: Taking taylor expansion of y in y
16.861 * [backup-simplify]: Simplify 0 into 0
16.861 * [backup-simplify]: Simplify 1 into 1
16.861 * [backup-simplify]: Simplify (/ 1 1) into 1
16.861 * [taylor]: Taking taylor expansion of 1.0 in y
16.861 * [backup-simplify]: Simplify 1.0 into 1.0
16.861 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y
16.861 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.861 * [taylor]: Taking taylor expansion of x in y
16.861 * [backup-simplify]: Simplify x into x
16.861 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
16.862 * [taylor]: Taking taylor expansion of 1.0 in y
16.862 * [backup-simplify]: Simplify 1.0 into 1.0
16.862 * [taylor]: Taking taylor expansion of (/ -1 x) in y
16.862 * [taylor]: Taking taylor expansion of -1 in y
16.862 * [backup-simplify]: Simplify -1 into -1
16.862 * [taylor]: Taking taylor expansion of x in y
16.862 * [backup-simplify]: Simplify x into x
16.862 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
16.862 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0) (/ -1 x)) in y
16.862 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0)) (/ -1 x))
16.862 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0)) in y
16.862 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
16.862 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.862 * [taylor]: Taking taylor expansion of y in y
16.862 * [backup-simplify]: Simplify 0 into 0
16.862 * [backup-simplify]: Simplify 1 into 1
16.863 * [backup-simplify]: Simplify (/ 1 1) into 1
16.863 * [taylor]: Taking taylor expansion of 1.0 in y
16.863 * [backup-simplify]: Simplify 1.0 into 1.0
16.863 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y
16.863 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.863 * [taylor]: Taking taylor expansion of x in y
16.863 * [backup-simplify]: Simplify x into x
16.863 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
16.863 * [taylor]: Taking taylor expansion of 1.0 in y
16.863 * [backup-simplify]: Simplify 1.0 into 1.0
16.863 * [taylor]: Taking taylor expansion of (/ -1 x) in y
16.863 * [taylor]: Taking taylor expansion of -1 in y
16.863 * [backup-simplify]: Simplify -1 into -1
16.863 * [taylor]: Taking taylor expansion of x in y
16.863 * [backup-simplify]: Simplify x into x
16.863 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
16.864 * [backup-simplify]: Simplify (+ 1 0) into 1
16.864 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ 1.0 (/ 1 x))
16.864 * [backup-simplify]: Simplify (* 1 (+ 1.0 (/ 1 x))) into (+ (/ 1 x) 1.0)
16.864 * [backup-simplify]: Simplify (+ (+ (/ 1 x) 1.0) 0) into (+ (/ 1 x) 1.0)
16.864 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
16.864 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.864 * [taylor]: Taking taylor expansion of x in x
16.864 * [backup-simplify]: Simplify 0 into 0
16.864 * [backup-simplify]: Simplify 1 into 1
16.865 * [backup-simplify]: Simplify (/ 1 1) into 1
16.865 * [taylor]: Taking taylor expansion of 1.0 in x
16.865 * [backup-simplify]: Simplify 1.0 into 1.0
16.865 * [backup-simplify]: Simplify (+ 1 0) into 1
16.865 * [backup-simplify]: Simplify 1 into 1
16.866 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
16.866 * [backup-simplify]: Simplify (+ 0 0) into 0
16.867 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.867 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
16.868 * [backup-simplify]: Simplify (+ (* 1 0) (* 1.0 (+ 1.0 (/ 1 x)))) into (+ (* 1.0 (/ 1 x)) 1.0)
16.869 * [backup-simplify]: Simplify (+ (+ (* 1.0 (/ 1 x)) 1.0) (/ -1 x)) into 1.0
16.869 * [taylor]: Taking taylor expansion of 1.0 in x
16.869 * [backup-simplify]: Simplify 1.0 into 1.0
16.869 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.870 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
16.870 * [backup-simplify]: Simplify 1.0 into 1.0
16.870 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
16.871 * [backup-simplify]: Simplify (+ 0 0) into 0
16.872 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.872 * [backup-simplify]: Simplify (+ 0 0) into 0
16.873 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1.0 0) (* 0 (+ 1.0 (/ 1 x))))) into 0
16.873 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
16.874 * [backup-simplify]: Simplify (+ 0 0) into 0
16.874 * [taylor]: Taking taylor expansion of 0 in x
16.874 * [backup-simplify]: Simplify 0 into 0
16.874 * [backup-simplify]: Simplify 1.0 into 1.0
16.874 * [backup-simplify]: Simplify (+ 1.0 (+ (* 1.0 (* 1 (/ 1 (/ 1 (- y))))) (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y))))))) into (- (+ (* x y) 1.0) (* 1.0 y))
16.875 * * * [progress]: simplifying candidates
16.875 * [simplify]: Simplifying:
  (expm1 (fma (- 1.0 y) (- 1.0 x) x))
  (log1p (fma (- 1.0 y) (- 1.0 x) x))
  (* (- 1.0 y) (- 1.0 x))
  (log (fma (- 1.0 y) (- 1.0 x) x))
  (exp (fma (- 1.0 y) (- 1.0 x) x))
  (* (cbrt (fma (- 1.0 y) (- 1.0 x) x)) (cbrt (fma (- 1.0 y) (- 1.0 x) x)))
  (cbrt (fma (- 1.0 y) (- 1.0 x) x))
  (* (* (fma (- 1.0 y) (- 1.0 x) x) (fma (- 1.0 y) (- 1.0 x) x)) (fma (- 1.0 y) (- 1.0 x) x))
  (sqrt (fma (- 1.0 y) (- 1.0 x) x))
  (sqrt (fma (- 1.0 y) (- 1.0 x) x))
  (- (+ (* x y) 1.0) (* 1.0 y))
  (- (+ (* x y) 1.0) (* 1.0 y))
  (- (+ (* x y) 1.0) (* 1.0 y))
16.876 * * [simplify]: Extracting # 0 : cost  0
16.876 * * [simplify]: Extracting # 1 : cost  0
16.876 * * [simplify]: Extracting # 2 : cost  0
16.876 * * [simplify]: Extracting # 3 : cost  0
16.876 * * [simplify]: Extracting # 4 : cost  0
16.876 * * [simplify]: Extracting # 5 : cost  0
16.876 * * [simplify]: iteration  0 :  20  enodes  (cost  142 )
16.883 * * [simplify]: Extracting # 0 : cost  0
16.883 * * [simplify]: Extracting # 1 : cost  0
16.883 * * [simplify]: Extracting # 2 : cost  0
16.883 * * [simplify]: iteration  1 :  35  enodes  (cost  139 )
16.898 * * [simplify]: Extracting # 0 : cost  0
16.898 * * [simplify]: Extracting # 1 : cost  0
16.898 * * [simplify]: Extracting # 2 : cost  0
16.898 * * [simplify]: Extracting # 3 : cost  0
16.899 * * [simplify]: iteration  2 :  84  enodes  (cost  123 )
16.956 * * [simplify]: Extracting # 0 : cost  0
16.957 * * [simplify]: Extracting # 1 : cost  0
16.957 * * [simplify]: Extracting # 2 : cost  0
16.958 * * [simplify]: Extracting # 3 : cost  0
16.959 * * [simplify]: Extracting # 4 : cost  0
16.959 * * [simplify]: iteration  3 :  298  enodes  (cost  120 )
17.213 * * [simplify]: Extracting # 0 : cost  0
17.217 * * [simplify]: Extracting # 1 : cost  0
17.220 * * [simplify]: Extracting # 2 : cost  0
17.224 * * [simplify]: Extracting # 3 : cost  0
17.227 * * [simplify]: Extracting # 4 : cost  0
17.231 * * [simplify]: Extracting # 5 : cost  0
17.234 * * [simplify]: Extracting # 6 : cost  0
17.237 * * [simplify]: iteration  4 :  1463  enodes  (cost  117 )
18.067 * * [simplify]: Extracting # 0 : cost  0
18.074 * * [simplify]: Extracting # 1 : cost  0
18.091 * * [simplify]: Extracting # 2 : cost  0
18.099 * * [simplify]: Extracting # 3 : cost  0
18.106 * * [simplify]: Extracting # 4 : cost  0
18.114 * * [simplify]: iteration done:  5000  enodes  (cost  117 )
18.114 * [simplify]: Simplified to:
  (expm1 (fma (- 1.0 y) (- 1.0 x) x))
  (log1p (fma (- 1.0 y) (- 1.0 x) x))
  (* (- 1.0 y) (- 1.0 x))
  (log (fma (- 1.0 y) (- 1.0 x) x))
  (exp (fma (- 1.0 y) (- 1.0 x) x))
  (* (cbrt (fma (- 1.0 y) (- 1.0 x) x)) (cbrt (fma (- 1.0 y) (- 1.0 x) x)))
  (cbrt (fma (- 1.0 y) (- 1.0 x) x))
  (pow (fma (- 1.0 y) (- 1.0 x) x) 3)
  (sqrt (fma (- 1.0 y) (- 1.0 x) x))
  (sqrt (fma (- 1.0 y) (- 1.0 x) x))
  (fma y (- x 1.0) 1.0)
  (fma y (- x 1.0) 1.0)
  (fma y (- x 1.0) 1.0)
18.114 * * * [progress]: adding candidates to table
18.521 * * [progress]: iteration 2 / 4
18.521 * * * [progress]: picking best candidate
18.528 * * * * [pick]: Picked  #<alt (λ (x y) (fma y (- x 1.0) 1.0))>
18.529 * * * [progress]: localizing error
18.538 * * * [progress]: generating rewritten candidates
18.538 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
18.539 * * * [progress]: generating series expansions
18.539 * * * * [progress]: [ 1 / 1 ] generating series at (2)
18.539 * [backup-simplify]: Simplify (fma y (- x 1.0) 1.0) into (fma y (- x 1.0) 1.0)
18.539 * [approximate]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in (y x) around 0
18.540 * [taylor]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in x
18.540 * [taylor]: Rewrote expression to (+ (* y (- x 1.0)) 1.0)
18.540 * [taylor]: Taking taylor expansion of (* y (- x 1.0)) in x
18.540 * [taylor]: Taking taylor expansion of y in x
18.540 * [backup-simplify]: Simplify y into y
18.540 * [taylor]: Taking taylor expansion of (- x 1.0) in x
18.540 * [taylor]: Taking taylor expansion of x in x
18.540 * [backup-simplify]: Simplify 0 into 0
18.540 * [backup-simplify]: Simplify 1 into 1
18.540 * [taylor]: Taking taylor expansion of 1.0 in x
18.540 * [backup-simplify]: Simplify 1.0 into 1.0
18.540 * [taylor]: Taking taylor expansion of 1.0 in x
18.540 * [backup-simplify]: Simplify 1.0 into 1.0
18.540 * [taylor]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in y
18.540 * [taylor]: Rewrote expression to (+ (* y (- x 1.0)) 1.0)
18.540 * [taylor]: Taking taylor expansion of (* y (- x 1.0)) in y
18.540 * [taylor]: Taking taylor expansion of y in y
18.540 * [backup-simplify]: Simplify 0 into 0
18.540 * [backup-simplify]: Simplify 1 into 1
18.540 * [taylor]: Taking taylor expansion of (- x 1.0) in y
18.540 * [taylor]: Taking taylor expansion of x in y
18.540 * [backup-simplify]: Simplify x into x
18.540 * [taylor]: Taking taylor expansion of 1.0 in y
18.541 * [backup-simplify]: Simplify 1.0 into 1.0
18.541 * [taylor]: Taking taylor expansion of 1.0 in y
18.541 * [backup-simplify]: Simplify 1.0 into 1.0
18.541 * [taylor]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in y
18.541 * [taylor]: Rewrote expression to (+ (* y (- x 1.0)) 1.0)
18.541 * [taylor]: Taking taylor expansion of (* y (- x 1.0)) in y
18.541 * [taylor]: Taking taylor expansion of y in y
18.541 * [backup-simplify]: Simplify 0 into 0
18.541 * [backup-simplify]: Simplify 1 into 1
18.541 * [taylor]: Taking taylor expansion of (- x 1.0) in y
18.541 * [taylor]: Taking taylor expansion of x in y
18.541 * [backup-simplify]: Simplify x into x
18.541 * [taylor]: Taking taylor expansion of 1.0 in y
18.541 * [backup-simplify]: Simplify 1.0 into 1.0
18.541 * [taylor]: Taking taylor expansion of 1.0 in y
18.541 * [backup-simplify]: Simplify 1.0 into 1.0
18.542 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
18.543 * [backup-simplify]: Simplify (+ x (- 1.0)) into (- x 1.0)
18.543 * [backup-simplify]: Simplify (* 0 (- x 1.0)) into 0
18.543 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
18.543 * [taylor]: Taking taylor expansion of 1.0 in x
18.543 * [backup-simplify]: Simplify 1.0 into 1.0
18.543 * [backup-simplify]: Simplify 1.0 into 1.0
18.544 * [backup-simplify]: Simplify (- 0) into 0
18.544 * [backup-simplify]: Simplify (+ 0 0) into 0
18.545 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- x 1.0))) into (- x 1.0)
18.545 * [backup-simplify]: Simplify (+ (- x 1.0) 0) into (- x 1.0)
18.545 * [taylor]: Taking taylor expansion of (- x 1.0) in x
18.545 * [taylor]: Taking taylor expansion of x in x
18.545 * [backup-simplify]: Simplify 0 into 0
18.545 * [backup-simplify]: Simplify 1 into 1
18.545 * [taylor]: Taking taylor expansion of 1.0 in x
18.545 * [backup-simplify]: Simplify 1.0 into 1.0
18.545 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
18.546 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
18.547 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
18.547 * [backup-simplify]: Simplify 0 into 0
18.547 * [backup-simplify]: Simplify (- 0) into 0
18.548 * [backup-simplify]: Simplify (+ 0 0) into 0
18.549 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- x 1.0)))) into 0
18.549 * [backup-simplify]: Simplify (+ 0 0) into 0
18.549 * [taylor]: Taking taylor expansion of 0 in x
18.549 * [backup-simplify]: Simplify 0 into 0
18.549 * [backup-simplify]: Simplify 0 into 0
18.550 * [backup-simplify]: Simplify (- 0) into 0
18.550 * [backup-simplify]: Simplify (+ 1 0) into 1
18.550 * [backup-simplify]: Simplify 1 into 1
18.551 * [backup-simplify]: Simplify (+ (* 1 (* x y)) (+ (* (- 1.0) (* 1 y)) 1.0)) into (- (+ (* x y) 1.0) (* 1.0 y))
18.551 * [backup-simplify]: Simplify (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) into (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0)
18.551 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in (y x) around 0
18.551 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in x
18.551 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 x) 1.0)) 1.0)
18.551 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 x) 1.0)) in x
18.551 * [taylor]: Taking taylor expansion of (/ 1 y) in x
18.551 * [taylor]: Taking taylor expansion of y in x
18.552 * [backup-simplify]: Simplify y into y
18.552 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
18.552 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
18.552 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.552 * [taylor]: Taking taylor expansion of x in x
18.552 * [backup-simplify]: Simplify 0 into 0
18.552 * [backup-simplify]: Simplify 1 into 1
18.552 * [backup-simplify]: Simplify (/ 1 1) into 1
18.552 * [taylor]: Taking taylor expansion of 1.0 in x
18.552 * [backup-simplify]: Simplify 1.0 into 1.0
18.552 * [taylor]: Taking taylor expansion of 1.0 in x
18.552 * [backup-simplify]: Simplify 1.0 into 1.0
18.552 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in y
18.552 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 x) 1.0)) 1.0)
18.552 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 x) 1.0)) in y
18.552 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.552 * [taylor]: Taking taylor expansion of y in y
18.553 * [backup-simplify]: Simplify 0 into 0
18.553 * [backup-simplify]: Simplify 1 into 1
18.553 * [backup-simplify]: Simplify (/ 1 1) into 1
18.553 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in y
18.553 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.553 * [taylor]: Taking taylor expansion of x in y
18.553 * [backup-simplify]: Simplify x into x
18.553 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.553 * [taylor]: Taking taylor expansion of 1.0 in y
18.553 * [backup-simplify]: Simplify 1.0 into 1.0
18.553 * [taylor]: Taking taylor expansion of 1.0 in y
18.553 * [backup-simplify]: Simplify 1.0 into 1.0
18.553 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in y
18.553 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 x) 1.0)) 1.0)
18.553 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 x) 1.0)) in y
18.553 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.553 * [taylor]: Taking taylor expansion of y in y
18.553 * [backup-simplify]: Simplify 0 into 0
18.553 * [backup-simplify]: Simplify 1 into 1
18.554 * [backup-simplify]: Simplify (/ 1 1) into 1
18.554 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in y
18.554 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.554 * [taylor]: Taking taylor expansion of x in y
18.554 * [backup-simplify]: Simplify x into x
18.554 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.554 * [taylor]: Taking taylor expansion of 1.0 in y
18.554 * [backup-simplify]: Simplify 1.0 into 1.0
18.554 * [taylor]: Taking taylor expansion of 1.0 in y
18.554 * [backup-simplify]: Simplify 1.0 into 1.0
18.554 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
18.555 * [backup-simplify]: Simplify (+ (/ 1 x) (- 1.0)) into (- (/ 1 x) 1.0)
18.555 * [backup-simplify]: Simplify (* 1 (- (/ 1 x) 1.0)) into (- (/ 1 x) 1.0)
18.555 * [backup-simplify]: Simplify (+ (- (/ 1 x) 1.0) 0) into (- (/ 1 x) 1.0)
18.555 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
18.555 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.555 * [taylor]: Taking taylor expansion of x in x
18.555 * [backup-simplify]: Simplify 0 into 0
18.555 * [backup-simplify]: Simplify 1 into 1
18.555 * [backup-simplify]: Simplify (/ 1 1) into 1
18.555 * [taylor]: Taking taylor expansion of 1.0 in x
18.555 * [backup-simplify]: Simplify 1.0 into 1.0
18.555 * [backup-simplify]: Simplify (+ 1 0) into 1
18.556 * [backup-simplify]: Simplify 1 into 1
18.556 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
18.556 * [backup-simplify]: Simplify (- 0) into 0
18.556 * [backup-simplify]: Simplify (+ 0 0) into 0
18.557 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.557 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (- (/ 1 x) 1.0))) into 0
18.557 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
18.557 * [taylor]: Taking taylor expansion of 1.0 in x
18.557 * [backup-simplify]: Simplify 1.0 into 1.0
18.558 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.558 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
18.559 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
18.559 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
18.559 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
18.559 * [backup-simplify]: Simplify (- 0) into 0
18.560 * [backup-simplify]: Simplify (+ 0 0) into 0
18.560 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.561 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (- (/ 1 x) 1.0)))) into 0
18.561 * [backup-simplify]: Simplify (+ 0 0) into 0
18.561 * [taylor]: Taking taylor expansion of 0 in x
18.561 * [backup-simplify]: Simplify 0 into 0
18.561 * [backup-simplify]: Simplify 1.0 into 1.0
18.562 * [backup-simplify]: Simplify (+ 1.0 (+ (* (- 1.0) (* 1 (/ 1 (/ 1 y)))) (* 1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))))) into (- (+ (* x y) 1.0) (* 1.0 y))
18.562 * [backup-simplify]: Simplify (fma (/ 1 (- y)) (- (/ 1 (- x)) 1.0) 1.0) into (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0)
18.562 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) in (y x) around 0
18.562 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) in x
18.562 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) 1.0)
18.562 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) in x
18.562 * [taylor]: Taking taylor expansion of (/ -1 y) in x
18.562 * [taylor]: Taking taylor expansion of -1 in x
18.562 * [backup-simplify]: Simplify -1 into -1
18.562 * [taylor]: Taking taylor expansion of y in x
18.562 * [backup-simplify]: Simplify y into y
18.563 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
18.563 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in x
18.563 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
18.563 * [taylor]: Taking taylor expansion of 1.0 in x
18.563 * [backup-simplify]: Simplify 1.0 into 1.0
18.563 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.563 * [taylor]: Taking taylor expansion of x in x
18.563 * [backup-simplify]: Simplify 0 into 0
18.563 * [backup-simplify]: Simplify 1 into 1
18.563 * [backup-simplify]: Simplify (/ 1 1) into 1
18.563 * [taylor]: Taking taylor expansion of 1.0 in x
18.563 * [backup-simplify]: Simplify 1.0 into 1.0
18.563 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) in y
18.563 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) 1.0)
18.563 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) in y
18.563 * [taylor]: Taking taylor expansion of (/ -1 y) in y
18.563 * [taylor]: Taking taylor expansion of -1 in y
18.563 * [backup-simplify]: Simplify -1 into -1
18.563 * [taylor]: Taking taylor expansion of y in y
18.563 * [backup-simplify]: Simplify 0 into 0
18.563 * [backup-simplify]: Simplify 1 into 1
18.564 * [backup-simplify]: Simplify (/ -1 1) into -1
18.564 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in y
18.564 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in y
18.564 * [taylor]: Taking taylor expansion of 1.0 in y
18.564 * [backup-simplify]: Simplify 1.0 into 1.0
18.564 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.564 * [taylor]: Taking taylor expansion of x in y
18.564 * [backup-simplify]: Simplify x into x
18.564 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.564 * [taylor]: Taking taylor expansion of 1.0 in y
18.564 * [backup-simplify]: Simplify 1.0 into 1.0
18.564 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) in y
18.564 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) 1.0)
18.564 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) in y
18.564 * [taylor]: Taking taylor expansion of (/ -1 y) in y
18.564 * [taylor]: Taking taylor expansion of -1 in y
18.564 * [backup-simplify]: Simplify -1 into -1
18.564 * [taylor]: Taking taylor expansion of y in y
18.564 * [backup-simplify]: Simplify 0 into 0
18.564 * [backup-simplify]: Simplify 1 into 1
18.565 * [backup-simplify]: Simplify (/ -1 1) into -1
18.565 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in y
18.565 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in y
18.565 * [taylor]: Taking taylor expansion of 1.0 in y
18.565 * [backup-simplify]: Simplify 1.0 into 1.0
18.565 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.565 * [taylor]: Taking taylor expansion of x in y
18.565 * [backup-simplify]: Simplify x into x
18.565 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.565 * [taylor]: Taking taylor expansion of 1.0 in y
18.565 * [backup-simplify]: Simplify 1.0 into 1.0
18.565 * [backup-simplify]: Simplify (+ 1.0 (/ 1 x)) into (+ (/ 1 x) 1.0)
18.565 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0))
18.565 * [backup-simplify]: Simplify (* -1 (- (+ (/ 1 x) 1.0))) into (+ (/ 1 x) 1.0)
18.565 * [backup-simplify]: Simplify (+ (+ (/ 1 x) 1.0) 0) into (+ (/ 1 x) 1.0)
18.565 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
18.565 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.565 * [taylor]: Taking taylor expansion of x in x
18.565 * [backup-simplify]: Simplify 0 into 0
18.565 * [backup-simplify]: Simplify 1 into 1
18.566 * [backup-simplify]: Simplify (/ 1 1) into 1
18.566 * [taylor]: Taking taylor expansion of 1.0 in x
18.566 * [backup-simplify]: Simplify 1.0 into 1.0
18.566 * [backup-simplify]: Simplify (+ 1 0) into 1
18.566 * [backup-simplify]: Simplify 1 into 1
18.566 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
18.566 * [backup-simplify]: Simplify (+ 0 0) into 0
18.567 * [backup-simplify]: Simplify (- 0) into 0
18.567 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
18.567 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0))
18.568 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (+ (/ 1 x) 1.0)))) into 0
18.568 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
18.568 * [taylor]: Taking taylor expansion of 1.0 in x
18.568 * [backup-simplify]: Simplify 1.0 into 1.0
18.569 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.569 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
18.569 * [backup-simplify]: Simplify 1.0 into 1.0
18.569 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
18.569 * [backup-simplify]: Simplify (+ 0 0) into 0
18.570 * [backup-simplify]: Simplify (- 0) into 0
18.570 * [backup-simplify]: Simplify (- 0) into 0
18.571 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.571 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0))
18.572 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (+ (/ 1 x) 1.0))))) into 0
18.572 * [backup-simplify]: Simplify (+ 0 0) into 0
18.572 * [taylor]: Taking taylor expansion of 0 in x
18.572 * [backup-simplify]: Simplify 0 into 0
18.572 * [backup-simplify]: Simplify 1.0 into 1.0
18.573 * [backup-simplify]: Simplify (+ 1.0 (+ (* 1.0 (* 1 (/ 1 (/ 1 (- y))))) (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y))))))) into (- (+ (* x y) 1.0) (* 1.0 y))
18.573 * * * [progress]: simplifying candidates
18.573 * [simplify]: Simplifying:
  (expm1 (fma y (- x 1.0) 1.0))
  (log1p (fma y (- x 1.0) 1.0))
  (* y (- x 1.0))
  (log (fma y (- x 1.0) 1.0))
  (exp (fma y (- x 1.0) 1.0))
  (* (cbrt (fma y (- x 1.0) 1.0)) (cbrt (fma y (- x 1.0) 1.0)))
  (cbrt (fma y (- x 1.0) 1.0))
  (* (* (fma y (- x 1.0) 1.0) (fma y (- x 1.0) 1.0)) (fma y (- x 1.0) 1.0))
  (sqrt (fma y (- x 1.0) 1.0))
  (sqrt (fma y (- x 1.0) 1.0))
  (- (+ (* x y) 1.0) (* 1.0 y))
  (- (+ (* x y) 1.0) (* 1.0 y))
  (- (+ (* x y) 1.0) (* 1.0 y))
18.573 * * [simplify]: Extracting # 0 : cost  0
18.573 * * [simplify]: Extracting # 1 : cost  0
18.573 * * [simplify]: Extracting # 2 : cost  0
18.573 * * [simplify]: Extracting # 3 : cost  0
18.573 * * [simplify]: Extracting # 4 : cost  0
18.573 * * [simplify]: Extracting # 5 : cost  0
18.573 * * [simplify]: iteration  0 :  19  enodes  (cost  116 )
18.577 * * [simplify]: Extracting # 0 : cost  0
18.577 * * [simplify]: Extracting # 1 : cost  0
18.577 * * [simplify]: Extracting # 2 : cost  0
18.577 * * [simplify]: iteration  1 :  32  enodes  (cost  113 )
18.588 * * [simplify]: Extracting # 0 : cost  0
18.588 * * [simplify]: Extracting # 1 : cost  0
18.589 * * [simplify]: Extracting # 2 : cost  0
18.589 * * [simplify]: iteration  2 :  67  enodes  (cost  95 )
18.625 * * [simplify]: Extracting # 0 : cost  0
18.626 * * [simplify]: Extracting # 1 : cost  0
18.627 * * [simplify]: Extracting # 2 : cost  0
18.627 * * [simplify]: Extracting # 3 : cost  0
18.627 * * [simplify]: Extracting # 4 : cost  0
18.628 * * [simplify]: iteration  3 :  243  enodes  (cost  95 )
18.922 * * [simplify]: Extracting # 0 : cost  0
18.924 * * [simplify]: Extracting # 1 : cost  0
18.925 * * [simplify]: Extracting # 2 : cost  0
18.927 * * [simplify]: Extracting # 3 : cost  0
18.929 * * [simplify]: Extracting # 4 : cost  0
18.932 * * [simplify]: Extracting # 5 : cost  0
18.934 * * [simplify]: iteration  4 :  1485  enodes  (cost  95 )
19.889 * * [simplify]: Extracting # 0 : cost  0
19.899 * * [simplify]: Extracting # 1 : cost  0
19.908 * * [simplify]: Extracting # 2 : cost  0
19.915 * * [simplify]: Extracting # 3 : cost  0
19.921 * * [simplify]: Extracting # 4 : cost  0
19.928 * * [simplify]: iteration done:  5000  enodes  (cost  95 )
19.928 * [simplify]: Simplified to:
  (expm1 (fma y (- x 1.0) 1.0))
  (log1p (fma y (- x 1.0) 1.0))
  (* (- x 1.0) y)
  (log (fma y (- x 1.0) 1.0))
  (exp (fma y (- x 1.0) 1.0))
  (* (cbrt (fma y (- x 1.0) 1.0)) (cbrt (fma y (- x 1.0) 1.0)))
  (cbrt (fma y (- x 1.0) 1.0))
  (pow (fma y (- x 1.0) 1.0) 3)
  (sqrt (fma y (- x 1.0) 1.0))
  (sqrt (fma y (- x 1.0) 1.0))
  (fma y (- x 1.0) 1.0)
  (fma y (- x 1.0) 1.0)
  (fma y (- x 1.0) 1.0)
19.928 * * * [progress]: adding candidates to table
19.961 * * [progress]: iteration 3 / 4
19.961 * * * [progress]: picking best candidate
19.963 * * * * [pick]: Picked  #<alt (λ (x y) (* (sqrt (fma y (- x 1.0) 1.0)) (sqrt (fma y (- x 1.0) 1.0))))>
19.963 * * * [progress]: localizing error
19.972 * * * [progress]: generating rewritten candidates
19.972 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
19.988 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
19.991 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
19.995 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
20.000 * * * [progress]: generating series expansions
20.000 * * * * [progress]: [ 1 / 4 ] generating series at (2)
20.001 * [backup-simplify]: Simplify (* (sqrt (fma y (- x 1.0) 1.0)) (sqrt (fma y (- x 1.0) 1.0))) into (fma y (- x 1.0) 1.0)
20.001 * [approximate]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in (y x) around 0
20.001 * [taylor]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in x
20.001 * [taylor]: Rewrote expression to (+ (* y (- x 1.0)) 1.0)
20.001 * [taylor]: Taking taylor expansion of (* y (- x 1.0)) in x
20.001 * [taylor]: Taking taylor expansion of y in x
20.001 * [backup-simplify]: Simplify y into y
20.001 * [taylor]: Taking taylor expansion of (- x 1.0) in x
20.001 * [taylor]: Taking taylor expansion of x in x
20.002 * [backup-simplify]: Simplify 0 into 0
20.002 * [backup-simplify]: Simplify 1 into 1
20.002 * [taylor]: Taking taylor expansion of 1.0 in x
20.002 * [backup-simplify]: Simplify 1.0 into 1.0
20.002 * [taylor]: Taking taylor expansion of 1.0 in x
20.002 * [backup-simplify]: Simplify 1.0 into 1.0
20.002 * [taylor]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in y
20.002 * [taylor]: Rewrote expression to (+ (* y (- x 1.0)) 1.0)
20.002 * [taylor]: Taking taylor expansion of (* y (- x 1.0)) in y
20.002 * [taylor]: Taking taylor expansion of y in y
20.002 * [backup-simplify]: Simplify 0 into 0
20.002 * [backup-simplify]: Simplify 1 into 1
20.002 * [taylor]: Taking taylor expansion of (- x 1.0) in y
20.002 * [taylor]: Taking taylor expansion of x in y
20.002 * [backup-simplify]: Simplify x into x
20.002 * [taylor]: Taking taylor expansion of 1.0 in y
20.002 * [backup-simplify]: Simplify 1.0 into 1.0
20.002 * [taylor]: Taking taylor expansion of 1.0 in y
20.002 * [backup-simplify]: Simplify 1.0 into 1.0
20.002 * [taylor]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in y
20.002 * [taylor]: Rewrote expression to (+ (* y (- x 1.0)) 1.0)
20.002 * [taylor]: Taking taylor expansion of (* y (- x 1.0)) in y
20.003 * [taylor]: Taking taylor expansion of y in y
20.003 * [backup-simplify]: Simplify 0 into 0
20.003 * [backup-simplify]: Simplify 1 into 1
20.003 * [taylor]: Taking taylor expansion of (- x 1.0) in y
20.003 * [taylor]: Taking taylor expansion of x in y
20.003 * [backup-simplify]: Simplify x into x
20.003 * [taylor]: Taking taylor expansion of 1.0 in y
20.003 * [backup-simplify]: Simplify 1.0 into 1.0
20.003 * [taylor]: Taking taylor expansion of 1.0 in y
20.003 * [backup-simplify]: Simplify 1.0 into 1.0
20.004 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
20.004 * [backup-simplify]: Simplify (+ x (- 1.0)) into (- x 1.0)
20.004 * [backup-simplify]: Simplify (* 0 (- x 1.0)) into 0
20.005 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
20.005 * [taylor]: Taking taylor expansion of 1.0 in x
20.005 * [backup-simplify]: Simplify 1.0 into 1.0
20.005 * [backup-simplify]: Simplify 1.0 into 1.0
20.006 * [backup-simplify]: Simplify (- 0) into 0
20.006 * [backup-simplify]: Simplify (+ 0 0) into 0
20.007 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- x 1.0))) into (- x 1.0)
20.007 * [backup-simplify]: Simplify (+ (- x 1.0) 0) into (- x 1.0)
20.007 * [taylor]: Taking taylor expansion of (- x 1.0) in x
20.007 * [taylor]: Taking taylor expansion of x in x
20.007 * [backup-simplify]: Simplify 0 into 0
20.007 * [backup-simplify]: Simplify 1 into 1
20.007 * [taylor]: Taking taylor expansion of 1.0 in x
20.007 * [backup-simplify]: Simplify 1.0 into 1.0
20.007 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
20.008 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
20.009 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
20.009 * [backup-simplify]: Simplify 0 into 0
20.010 * [backup-simplify]: Simplify (- 0) into 0
20.010 * [backup-simplify]: Simplify (+ 0 0) into 0
20.011 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- x 1.0)))) into 0
20.012 * [backup-simplify]: Simplify (+ 0 0) into 0
20.012 * [taylor]: Taking taylor expansion of 0 in x
20.012 * [backup-simplify]: Simplify 0 into 0
20.012 * [backup-simplify]: Simplify 0 into 0
20.012 * [backup-simplify]: Simplify (- 0) into 0
20.013 * [backup-simplify]: Simplify (+ 1 0) into 1
20.013 * [backup-simplify]: Simplify 1 into 1
20.013 * [backup-simplify]: Simplify (+ (* 1 (* x y)) (+ (* (- 1.0) (* 1 y)) 1.0)) into (- (+ (* x y) 1.0) (* 1.0 y))
20.013 * [backup-simplify]: Simplify (* (sqrt (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0)) (sqrt (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0))) into (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0)
20.013 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in (y x) around 0
20.013 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in x
20.014 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 x) 1.0)) 1.0)
20.014 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 x) 1.0)) in x
20.014 * [taylor]: Taking taylor expansion of (/ 1 y) in x
20.014 * [taylor]: Taking taylor expansion of y in x
20.014 * [backup-simplify]: Simplify y into y
20.014 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
20.014 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
20.014 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.014 * [taylor]: Taking taylor expansion of x in x
20.014 * [backup-simplify]: Simplify 0 into 0
20.014 * [backup-simplify]: Simplify 1 into 1
20.014 * [backup-simplify]: Simplify (/ 1 1) into 1
20.014 * [taylor]: Taking taylor expansion of 1.0 in x
20.014 * [backup-simplify]: Simplify 1.0 into 1.0
20.014 * [taylor]: Taking taylor expansion of 1.0 in x
20.014 * [backup-simplify]: Simplify 1.0 into 1.0
20.014 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in y
20.014 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 x) 1.0)) 1.0)
20.014 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 x) 1.0)) in y
20.014 * [taylor]: Taking taylor expansion of (/ 1 y) in y
20.014 * [taylor]: Taking taylor expansion of y in y
20.014 * [backup-simplify]: Simplify 0 into 0
20.014 * [backup-simplify]: Simplify 1 into 1
20.015 * [backup-simplify]: Simplify (/ 1 1) into 1
20.015 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in y
20.015 * [taylor]: Taking taylor expansion of (/ 1 x) in y
20.015 * [taylor]: Taking taylor expansion of x in y
20.015 * [backup-simplify]: Simplify x into x
20.015 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
20.015 * [taylor]: Taking taylor expansion of 1.0 in y
20.015 * [backup-simplify]: Simplify 1.0 into 1.0
20.015 * [taylor]: Taking taylor expansion of 1.0 in y
20.015 * [backup-simplify]: Simplify 1.0 into 1.0
20.015 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in y
20.015 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 x) 1.0)) 1.0)
20.015 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 x) 1.0)) in y
20.015 * [taylor]: Taking taylor expansion of (/ 1 y) in y
20.015 * [taylor]: Taking taylor expansion of y in y
20.015 * [backup-simplify]: Simplify 0 into 0
20.015 * [backup-simplify]: Simplify 1 into 1
20.016 * [backup-simplify]: Simplify (/ 1 1) into 1
20.016 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in y
20.016 * [taylor]: Taking taylor expansion of (/ 1 x) in y
20.016 * [taylor]: Taking taylor expansion of x in y
20.016 * [backup-simplify]: Simplify x into x
20.016 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
20.016 * [taylor]: Taking taylor expansion of 1.0 in y
20.016 * [backup-simplify]: Simplify 1.0 into 1.0
20.016 * [taylor]: Taking taylor expansion of 1.0 in y
20.016 * [backup-simplify]: Simplify 1.0 into 1.0
20.016 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
20.017 * [backup-simplify]: Simplify (+ (/ 1 x) (- 1.0)) into (- (/ 1 x) 1.0)
20.017 * [backup-simplify]: Simplify (* 1 (- (/ 1 x) 1.0)) into (- (/ 1 x) 1.0)
20.017 * [backup-simplify]: Simplify (+ (- (/ 1 x) 1.0) 0) into (- (/ 1 x) 1.0)
20.017 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
20.017 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.017 * [taylor]: Taking taylor expansion of x in x
20.017 * [backup-simplify]: Simplify 0 into 0
20.017 * [backup-simplify]: Simplify 1 into 1
20.017 * [backup-simplify]: Simplify (/ 1 1) into 1
20.017 * [taylor]: Taking taylor expansion of 1.0 in x
20.017 * [backup-simplify]: Simplify 1.0 into 1.0
20.017 * [backup-simplify]: Simplify (+ 1 0) into 1
20.017 * [backup-simplify]: Simplify 1 into 1
20.018 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
20.018 * [backup-simplify]: Simplify (- 0) into 0
20.018 * [backup-simplify]: Simplify (+ 0 0) into 0
20.019 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.019 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (- (/ 1 x) 1.0))) into 0
20.019 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
20.019 * [taylor]: Taking taylor expansion of 1.0 in x
20.019 * [backup-simplify]: Simplify 1.0 into 1.0
20.020 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.020 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
20.021 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
20.021 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
20.021 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
20.022 * [backup-simplify]: Simplify (- 0) into 0
20.022 * [backup-simplify]: Simplify (+ 0 0) into 0
20.022 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.023 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (- (/ 1 x) 1.0)))) into 0
20.023 * [backup-simplify]: Simplify (+ 0 0) into 0
20.023 * [taylor]: Taking taylor expansion of 0 in x
20.023 * [backup-simplify]: Simplify 0 into 0
20.023 * [backup-simplify]: Simplify 1.0 into 1.0
20.024 * [backup-simplify]: Simplify (+ 1.0 (+ (* (- 1.0) (* 1 (/ 1 (/ 1 y)))) (* 1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))))) into (- (+ (* x y) 1.0) (* 1.0 y))
20.024 * [backup-simplify]: Simplify (* (sqrt (fma (/ 1 (- y)) (- (/ 1 (- x)) 1.0) 1.0)) (sqrt (fma (/ 1 (- y)) (- (/ 1 (- x)) 1.0) 1.0))) into (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0)
20.024 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) in (y x) around 0
20.024 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) in x
20.024 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) 1.0)
20.025 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) in x
20.025 * [taylor]: Taking taylor expansion of (/ -1 y) in x
20.025 * [taylor]: Taking taylor expansion of -1 in x
20.025 * [backup-simplify]: Simplify -1 into -1
20.025 * [taylor]: Taking taylor expansion of y in x
20.025 * [backup-simplify]: Simplify y into y
20.025 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
20.025 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in x
20.025 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
20.025 * [taylor]: Taking taylor expansion of 1.0 in x
20.025 * [backup-simplify]: Simplify 1.0 into 1.0
20.025 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.025 * [taylor]: Taking taylor expansion of x in x
20.025 * [backup-simplify]: Simplify 0 into 0
20.025 * [backup-simplify]: Simplify 1 into 1
20.025 * [backup-simplify]: Simplify (/ 1 1) into 1
20.025 * [taylor]: Taking taylor expansion of 1.0 in x
20.025 * [backup-simplify]: Simplify 1.0 into 1.0
20.025 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) in y
20.025 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) 1.0)
20.025 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) in y
20.025 * [taylor]: Taking taylor expansion of (/ -1 y) in y
20.025 * [taylor]: Taking taylor expansion of -1 in y
20.025 * [backup-simplify]: Simplify -1 into -1
20.025 * [taylor]: Taking taylor expansion of y in y
20.025 * [backup-simplify]: Simplify 0 into 0
20.025 * [backup-simplify]: Simplify 1 into 1
20.026 * [backup-simplify]: Simplify (/ -1 1) into -1
20.026 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in y
20.026 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in y
20.026 * [taylor]: Taking taylor expansion of 1.0 in y
20.026 * [backup-simplify]: Simplify 1.0 into 1.0
20.026 * [taylor]: Taking taylor expansion of (/ 1 x) in y
20.026 * [taylor]: Taking taylor expansion of x in y
20.026 * [backup-simplify]: Simplify x into x
20.026 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
20.026 * [taylor]: Taking taylor expansion of 1.0 in y
20.026 * [backup-simplify]: Simplify 1.0 into 1.0
20.026 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) in y
20.026 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) 1.0)
20.026 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) in y
20.026 * [taylor]: Taking taylor expansion of (/ -1 y) in y
20.026 * [taylor]: Taking taylor expansion of -1 in y
20.026 * [backup-simplify]: Simplify -1 into -1
20.026 * [taylor]: Taking taylor expansion of y in y
20.026 * [backup-simplify]: Simplify 0 into 0
20.026 * [backup-simplify]: Simplify 1 into 1
20.027 * [backup-simplify]: Simplify (/ -1 1) into -1
20.027 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in y
20.027 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in y
20.027 * [taylor]: Taking taylor expansion of 1.0 in y
20.027 * [backup-simplify]: Simplify 1.0 into 1.0
20.027 * [taylor]: Taking taylor expansion of (/ 1 x) in y
20.027 * [taylor]: Taking taylor expansion of x in y
20.027 * [backup-simplify]: Simplify x into x
20.027 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
20.027 * [taylor]: Taking taylor expansion of 1.0 in y
20.027 * [backup-simplify]: Simplify 1.0 into 1.0
20.027 * [backup-simplify]: Simplify (+ 1.0 (/ 1 x)) into (+ (/ 1 x) 1.0)
20.027 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0))
20.027 * [backup-simplify]: Simplify (* -1 (- (+ (/ 1 x) 1.0))) into (+ (/ 1 x) 1.0)
20.027 * [backup-simplify]: Simplify (+ (+ (/ 1 x) 1.0) 0) into (+ (/ 1 x) 1.0)
20.027 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
20.027 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.027 * [taylor]: Taking taylor expansion of x in x
20.027 * [backup-simplify]: Simplify 0 into 0
20.027 * [backup-simplify]: Simplify 1 into 1
20.028 * [backup-simplify]: Simplify (/ 1 1) into 1
20.028 * [taylor]: Taking taylor expansion of 1.0 in x
20.028 * [backup-simplify]: Simplify 1.0 into 1.0
20.028 * [backup-simplify]: Simplify (+ 1 0) into 1
20.028 * [backup-simplify]: Simplify 1 into 1
20.028 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
20.028 * [backup-simplify]: Simplify (+ 0 0) into 0
20.029 * [backup-simplify]: Simplify (- 0) into 0
20.029 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
20.029 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0))
20.030 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (+ (/ 1 x) 1.0)))) into 0
20.030 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
20.030 * [taylor]: Taking taylor expansion of 1.0 in x
20.030 * [backup-simplify]: Simplify 1.0 into 1.0
20.031 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.031 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
20.031 * [backup-simplify]: Simplify 1.0 into 1.0
20.031 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
20.031 * [backup-simplify]: Simplify (+ 0 0) into 0
20.032 * [backup-simplify]: Simplify (- 0) into 0
20.032 * [backup-simplify]: Simplify (- 0) into 0
20.033 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.033 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0))
20.033 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (+ (/ 1 x) 1.0))))) into 0
20.034 * [backup-simplify]: Simplify (+ 0 0) into 0
20.034 * [taylor]: Taking taylor expansion of 0 in x
20.034 * [backup-simplify]: Simplify 0 into 0
20.034 * [backup-simplify]: Simplify 1.0 into 1.0
20.034 * [backup-simplify]: Simplify (+ 1.0 (+ (* 1.0 (* 1 (/ 1 (/ 1 (- y))))) (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y))))))) into (- (+ (* x y) 1.0) (* 1.0 y))
20.034 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
20.034 * [backup-simplify]: Simplify (sqrt (fma y (- x 1.0) 1.0)) into (sqrt (fma y (- x 1.0) 1.0))
20.034 * [approximate]: Taking taylor expansion of (sqrt (fma y (- x 1.0) 1.0)) in (y x) around 0
20.034 * [taylor]: Taking taylor expansion of (sqrt (fma y (- x 1.0) 1.0)) in x
20.034 * [taylor]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in x
20.034 * [taylor]: Rewrote expression to (+ (* y (- x 1.0)) 1.0)
20.034 * [taylor]: Taking taylor expansion of (* y (- x 1.0)) in x
20.034 * [taylor]: Taking taylor expansion of y in x
20.034 * [backup-simplify]: Simplify y into y
20.034 * [taylor]: Taking taylor expansion of (- x 1.0) in x
20.034 * [taylor]: Taking taylor expansion of x in x
20.034 * [backup-simplify]: Simplify 0 into 0
20.034 * [backup-simplify]: Simplify 1 into 1
20.035 * [taylor]: Taking taylor expansion of 1.0 in x
20.035 * [backup-simplify]: Simplify 1.0 into 1.0
20.035 * [taylor]: Taking taylor expansion of 1.0 in x
20.035 * [backup-simplify]: Simplify 1.0 into 1.0
20.035 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
20.036 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
20.036 * [backup-simplify]: Simplify (* y (- 1.0)) into (* -1.0 y)
20.036 * [backup-simplify]: Simplify (+ (* -1.0 y) 1.0) into (- 1.0 (* 1.0 y))
20.036 * [backup-simplify]: Simplify (sqrt (- 1.0 (* 1.0 y))) into (sqrt (- 1.0 (* 1.0 y)))
20.036 * [backup-simplify]: Simplify (- 0) into 0
20.037 * [backup-simplify]: Simplify (+ 1 0) into 1
20.037 * [backup-simplify]: Simplify (+ (* y 1) (* 0 (- 1.0))) into y
20.037 * [backup-simplify]: Simplify (+ y 0) into y
20.037 * [backup-simplify]: Simplify (/ y (* 2 (sqrt (- 1.0 (* 1.0 y))))) into (* 1/2 (* (sqrt (/ 1 (- 1.0 (* 1.0 y)))) y))
20.037 * [taylor]: Taking taylor expansion of (sqrt (fma y (- x 1.0) 1.0)) in y
20.037 * [taylor]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in y
20.037 * [taylor]: Rewrote expression to (+ (* y (- x 1.0)) 1.0)
20.037 * [taylor]: Taking taylor expansion of (* y (- x 1.0)) in y
20.037 * [taylor]: Taking taylor expansion of y in y
20.037 * [backup-simplify]: Simplify 0 into 0
20.037 * [backup-simplify]: Simplify 1 into 1
20.038 * [taylor]: Taking taylor expansion of (- x 1.0) in y
20.038 * [taylor]: Taking taylor expansion of x in y
20.038 * [backup-simplify]: Simplify x into x
20.038 * [taylor]: Taking taylor expansion of 1.0 in y
20.038 * [backup-simplify]: Simplify 1.0 into 1.0
20.038 * [taylor]: Taking taylor expansion of 1.0 in y
20.038 * [backup-simplify]: Simplify 1.0 into 1.0
20.038 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
20.038 * [backup-simplify]: Simplify (+ x (- 1.0)) into (- x 1.0)
20.038 * [backup-simplify]: Simplify (* 0 (- x 1.0)) into 0
20.039 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
20.044 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
20.045 * [backup-simplify]: Simplify (- 0) into 0
20.045 * [backup-simplify]: Simplify (+ 0 0) into 0
20.046 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- x 1.0))) into (- x 1.0)
20.046 * [backup-simplify]: Simplify (+ (- x 1.0) 0) into (- x 1.0)
20.046 * [backup-simplify]: Simplify (/ (- x 1.0) (* 2 (sqrt 1.0))) into (* 1/2 (/ (- x 1.0) (sqrt 1.0)))
20.047 * [taylor]: Taking taylor expansion of (sqrt (fma y (- x 1.0) 1.0)) in y
20.047 * [taylor]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in y
20.047 * [taylor]: Rewrote expression to (+ (* y (- x 1.0)) 1.0)
20.047 * [taylor]: Taking taylor expansion of (* y (- x 1.0)) in y
20.047 * [taylor]: Taking taylor expansion of y in y
20.047 * [backup-simplify]: Simplify 0 into 0
20.047 * [backup-simplify]: Simplify 1 into 1
20.047 * [taylor]: Taking taylor expansion of (- x 1.0) in y
20.047 * [taylor]: Taking taylor expansion of x in y
20.047 * [backup-simplify]: Simplify x into x
20.047 * [taylor]: Taking taylor expansion of 1.0 in y
20.047 * [backup-simplify]: Simplify 1.0 into 1.0
20.047 * [taylor]: Taking taylor expansion of 1.0 in y
20.047 * [backup-simplify]: Simplify 1.0 into 1.0
20.047 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
20.048 * [backup-simplify]: Simplify (+ x (- 1.0)) into (- x 1.0)
20.048 * [backup-simplify]: Simplify (* 0 (- x 1.0)) into 0
20.048 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
20.048 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
20.049 * [backup-simplify]: Simplify (- 0) into 0
20.049 * [backup-simplify]: Simplify (+ 0 0) into 0
20.049 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- x 1.0))) into (- x 1.0)
20.049 * [backup-simplify]: Simplify (+ (- x 1.0) 0) into (- x 1.0)
20.050 * [backup-simplify]: Simplify (/ (- x 1.0) (* 2 (sqrt 1.0))) into (* 1/2 (/ (- x 1.0) (sqrt 1.0)))
20.050 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
20.050 * [taylor]: Taking taylor expansion of 1.0 in x
20.050 * [backup-simplify]: Simplify 1.0 into 1.0
20.050 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
20.051 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
20.051 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
20.051 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- x 1.0) (sqrt 1.0))) in x
20.052 * [taylor]: Taking taylor expansion of 1/2 in x
20.052 * [backup-simplify]: Simplify 1/2 into 1/2
20.052 * [taylor]: Taking taylor expansion of (/ (- x 1.0) (sqrt 1.0)) in x
20.052 * [taylor]: Taking taylor expansion of (- x 1.0) in x
20.052 * [taylor]: Taking taylor expansion of x in x
20.052 * [backup-simplify]: Simplify 0 into 0
20.052 * [backup-simplify]: Simplify 1 into 1
20.052 * [taylor]: Taking taylor expansion of 1.0 in x
20.052 * [backup-simplify]: Simplify 1.0 into 1.0
20.052 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
20.052 * [taylor]: Taking taylor expansion of 1.0 in x
20.052 * [backup-simplify]: Simplify 1.0 into 1.0
20.052 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
20.053 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
20.053 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
20.054 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
20.056 * [backup-simplify]: Simplify (/ (- 1.0) (sqrt 1.0)) into (/ -1.0 (sqrt 1.0))
20.057 * [backup-simplify]: Simplify (* 1/2 (/ -1.0 (sqrt 1.0))) into (/ -0.5 (sqrt 1.0))
20.059 * [backup-simplify]: Simplify (/ -0.5 (sqrt 1.0)) into (/ -0.5 (sqrt 1.0))
20.059 * [backup-simplify]: Simplify 0 into 0
20.059 * [backup-simplify]: Simplify (- 0) into 0
20.060 * [backup-simplify]: Simplify (+ 0 0) into 0
20.060 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- x 1.0)))) into 0
20.061 * [backup-simplify]: Simplify (+ 0 0) into 0
20.063 * [backup-simplify]: Simplify (/ (- 0 (pow (* 1/2 (/ (- x 1.0) (sqrt 1.0))) 2) (+)) (* 2 (sqrt 1.0))) into (* 1/2 (/ (- (* 0.5 (/ x (pow (sqrt 1.0) 2))) (+ (* 1/4 (/ (pow x 2) (pow (sqrt 1.0) 2))) (* 0.25 (/ 1 (pow (sqrt 1.0) 2))))) (sqrt 1.0)))
20.063 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (* 0.5 (/ x (pow (sqrt 1.0) 2))) (+ (* 1/4 (/ (pow x 2) (pow (sqrt 1.0) 2))) (* 0.25 (/ 1 (pow (sqrt 1.0) 2))))) (sqrt 1.0))) in x
20.063 * [taylor]: Taking taylor expansion of 1/2 in x
20.063 * [backup-simplify]: Simplify 1/2 into 1/2
20.063 * [taylor]: Taking taylor expansion of (/ (- (* 0.5 (/ x (pow (sqrt 1.0) 2))) (+ (* 1/4 (/ (pow x 2) (pow (sqrt 1.0) 2))) (* 0.25 (/ 1 (pow (sqrt 1.0) 2))))) (sqrt 1.0)) in x
20.063 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ x (pow (sqrt 1.0) 2))) (+ (* 1/4 (/ (pow x 2) (pow (sqrt 1.0) 2))) (* 0.25 (/ 1 (pow (sqrt 1.0) 2))))) in x
20.064 * [taylor]: Taking taylor expansion of (* 0.5 (/ x (pow (sqrt 1.0) 2))) in x
20.064 * [taylor]: Taking taylor expansion of 0.5 in x
20.064 * [backup-simplify]: Simplify 0.5 into 0.5
20.064 * [taylor]: Taking taylor expansion of (/ x (pow (sqrt 1.0) 2)) in x
20.064 * [taylor]: Taking taylor expansion of x in x
20.064 * [backup-simplify]: Simplify 0 into 0
20.064 * [backup-simplify]: Simplify 1 into 1
20.064 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in x
20.064 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
20.064 * [taylor]: Taking taylor expansion of 1.0 in x
20.064 * [backup-simplify]: Simplify 1.0 into 1.0
20.064 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
20.065 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
20.067 * [backup-simplify]: Simplify (* (sqrt 1.0) (sqrt 1.0)) into (pow (sqrt 1.0) 2)
20.069 * [backup-simplify]: Simplify (/ 1 (pow (sqrt 1.0) 2)) into (/ 1 (pow (sqrt 1.0) 2))
20.069 * [taylor]: Taking taylor expansion of (+ (* 1/4 (/ (pow x 2) (pow (sqrt 1.0) 2))) (* 0.25 (/ 1 (pow (sqrt 1.0) 2)))) in x
20.069 * [taylor]: Taking taylor expansion of (* 1/4 (/ (pow x 2) (pow (sqrt 1.0) 2))) in x
20.069 * [taylor]: Taking taylor expansion of 1/4 in x
20.069 * [backup-simplify]: Simplify 1/4 into 1/4
20.069 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow (sqrt 1.0) 2)) in x
20.069 * [taylor]: Taking taylor expansion of (pow x 2) in x
20.069 * [taylor]: Taking taylor expansion of x in x
20.069 * [backup-simplify]: Simplify 0 into 0
20.069 * [backup-simplify]: Simplify 1 into 1
20.069 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in x
20.069 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
20.069 * [taylor]: Taking taylor expansion of 1.0 in x
20.069 * [backup-simplify]: Simplify 1.0 into 1.0
20.070 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
20.070 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
20.071 * [backup-simplify]: Simplify (* 1 1) into 1
20.073 * [backup-simplify]: Simplify (* (sqrt 1.0) (sqrt 1.0)) into (pow (sqrt 1.0) 2)
20.075 * [backup-simplify]: Simplify (/ 1 (pow (sqrt 1.0) 2)) into (/ 1 (pow (sqrt 1.0) 2))
20.075 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow (sqrt 1.0) 2))) in x
20.075 * [taylor]: Taking taylor expansion of 0.25 in x
20.075 * [backup-simplify]: Simplify 0.25 into 0.25
20.075 * [taylor]: Taking taylor expansion of (/ 1 (pow (sqrt 1.0) 2)) in x
20.075 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in x
20.075 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
20.075 * [taylor]: Taking taylor expansion of 1.0 in x
20.075 * [backup-simplify]: Simplify 1.0 into 1.0
20.076 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
20.077 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
20.078 * [backup-simplify]: Simplify (* (sqrt 1.0) (sqrt 1.0)) into (pow (sqrt 1.0) 2)
20.080 * [backup-simplify]: Simplify (/ 1 (pow (sqrt 1.0) 2)) into (/ 1 (pow (sqrt 1.0) 2))
20.080 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
20.080 * [taylor]: Taking taylor expansion of 1.0 in x
20.080 * [backup-simplify]: Simplify 1.0 into 1.0
20.081 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
20.081 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
20.083 * [backup-simplify]: Simplify (* 0.25 (/ 1 (pow (sqrt 1.0) 2))) into (/ 0.25 (pow (sqrt 1.0) 2))
20.085 * [backup-simplify]: Simplify (+ 0 (/ 0.25 (pow (sqrt 1.0) 2))) into (* 0.25 (/ 1 (pow (sqrt 1.0) 2)))
20.087 * [backup-simplify]: Simplify (- (* 0.25 (/ 1 (pow (sqrt 1.0) 2)))) into (- (* 0.25 (/ 1 (pow (sqrt 1.0) 2))))
20.091 * [backup-simplify]: Simplify (+ 0 (- (* 0.25 (/ 1 (pow (sqrt 1.0) 2))))) into (- (* 0.25 (/ 1 (pow (sqrt 1.0) 2))))
20.094 * [backup-simplify]: Simplify (/ (- (* 0.25 (/ 1 (pow (sqrt 1.0) 2)))) (sqrt 1.0)) into (/ -0.25 (pow (sqrt 1.0) 3))
20.096 * [backup-simplify]: Simplify (* 1/2 (/ -0.25 (pow (sqrt 1.0) 3))) into (/ -0.125 (pow (sqrt 1.0) 3))
20.098 * [backup-simplify]: Simplify (/ -0.125 (pow (sqrt 1.0) 3)) into (/ -0.125 (pow (sqrt 1.0) 3))
20.100 * [backup-simplify]: Simplify (+ (* (/ -0.125 (pow (sqrt 1.0) 3)) (pow (* 1 y) 2)) (+ (* (/ -0.5 (sqrt 1.0)) (* 1 y)) (sqrt 1.0))) into (- (sqrt 1.0) (+ (* 0.125 (/ (pow y 2) (pow (sqrt 1.0) 3))) (* 0.5 (/ y (sqrt 1.0)))))
20.100 * [backup-simplify]: Simplify (sqrt (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0)) into (sqrt (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0))
20.100 * [approximate]: Taking taylor expansion of (sqrt (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0)) in (y x) around 0
20.100 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0)) in x
20.100 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in x
20.100 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 x) 1.0)) 1.0)
20.100 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 x) 1.0)) in x
20.100 * [taylor]: Taking taylor expansion of (/ 1 y) in x
20.101 * [taylor]: Taking taylor expansion of y in x
20.101 * [backup-simplify]: Simplify y into y
20.101 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
20.101 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
20.101 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.101 * [taylor]: Taking taylor expansion of x in x
20.101 * [backup-simplify]: Simplify 0 into 0
20.101 * [backup-simplify]: Simplify 1 into 1
20.101 * [backup-simplify]: Simplify (/ 1 1) into 1
20.101 * [taylor]: Taking taylor expansion of 1.0 in x
20.101 * [backup-simplify]: Simplify 1.0 into 1.0
20.101 * [taylor]: Taking taylor expansion of 1.0 in x
20.101 * [backup-simplify]: Simplify 1.0 into 1.0
20.101 * [backup-simplify]: Simplify (+ 1 0) into 1
20.101 * [backup-simplify]: Simplify (* (/ 1 y) 1) into (/ 1 y)
20.102 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
20.102 * [backup-simplify]: Simplify (sqrt 0) into 0
20.102 * [backup-simplify]: Simplify (/ (/ 1 y) (* 2 (sqrt 0))) into (/ +nan.0 y)
20.102 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0)) in y
20.102 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in y
20.103 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 x) 1.0)) 1.0)
20.103 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 x) 1.0)) in y
20.103 * [taylor]: Taking taylor expansion of (/ 1 y) in y
20.103 * [taylor]: Taking taylor expansion of y in y
20.103 * [backup-simplify]: Simplify 0 into 0
20.103 * [backup-simplify]: Simplify 1 into 1
20.103 * [backup-simplify]: Simplify (/ 1 1) into 1
20.103 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in y
20.103 * [taylor]: Taking taylor expansion of (/ 1 x) in y
20.103 * [taylor]: Taking taylor expansion of x in y
20.103 * [backup-simplify]: Simplify x into x
20.103 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
20.103 * [taylor]: Taking taylor expansion of 1.0 in y
20.103 * [backup-simplify]: Simplify 1.0 into 1.0
20.103 * [taylor]: Taking taylor expansion of 1.0 in y
20.103 * [backup-simplify]: Simplify 1.0 into 1.0
20.103 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
20.104 * [backup-simplify]: Simplify (+ (/ 1 x) (- 1.0)) into (- (/ 1 x) 1.0)
20.104 * [backup-simplify]: Simplify (* 1 (- (/ 1 x) 1.0)) into (- (/ 1 x) 1.0)
20.104 * [backup-simplify]: Simplify (+ (- (/ 1 x) 1.0) 0) into (- (/ 1 x) 1.0)
20.104 * [backup-simplify]: Simplify (sqrt 0) into 0
20.105 * [backup-simplify]: Simplify (/ (- (/ 1 x) 1.0) (* 2 (sqrt 0))) into (* +nan.0 (- (/ 1 x) 1.0))
20.105 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0)) in y
20.105 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in y
20.105 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 x) 1.0)) 1.0)
20.105 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 x) 1.0)) in y
20.105 * [taylor]: Taking taylor expansion of (/ 1 y) in y
20.105 * [taylor]: Taking taylor expansion of y in y
20.105 * [backup-simplify]: Simplify 0 into 0
20.105 * [backup-simplify]: Simplify 1 into 1
20.105 * [backup-simplify]: Simplify (/ 1 1) into 1
20.105 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in y
20.105 * [taylor]: Taking taylor expansion of (/ 1 x) in y
20.105 * [taylor]: Taking taylor expansion of x in y
20.105 * [backup-simplify]: Simplify x into x
20.105 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
20.105 * [taylor]: Taking taylor expansion of 1.0 in y
20.105 * [backup-simplify]: Simplify 1.0 into 1.0
20.105 * [taylor]: Taking taylor expansion of 1.0 in y
20.105 * [backup-simplify]: Simplify 1.0 into 1.0
20.106 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
20.106 * [backup-simplify]: Simplify (+ (/ 1 x) (- 1.0)) into (- (/ 1 x) 1.0)
20.106 * [backup-simplify]: Simplify (* 1 (- (/ 1 x) 1.0)) into (- (/ 1 x) 1.0)
20.106 * [backup-simplify]: Simplify (+ (- (/ 1 x) 1.0) 0) into (- (/ 1 x) 1.0)
20.107 * [backup-simplify]: Simplify (sqrt 0) into 0
20.107 * [backup-simplify]: Simplify (/ (- (/ 1 x) 1.0) (* 2 (sqrt 0))) into (* +nan.0 (- (/ 1 x) 1.0))
20.107 * [taylor]: Taking taylor expansion of 0 in x
20.107 * [backup-simplify]: Simplify 0 into 0
20.107 * [taylor]: Taking taylor expansion of (* +nan.0 (- (/ 1 x) 1.0)) in x
20.107 * [taylor]: Taking taylor expansion of +nan.0 in x
20.107 * [backup-simplify]: Simplify +nan.0 into +nan.0
20.107 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
20.107 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.107 * [taylor]: Taking taylor expansion of x in x
20.107 * [backup-simplify]: Simplify 0 into 0
20.107 * [backup-simplify]: Simplify 1 into 1
20.108 * [backup-simplify]: Simplify (/ 1 1) into 1
20.108 * [taylor]: Taking taylor expansion of 1.0 in x
20.108 * [backup-simplify]: Simplify 1.0 into 1.0
20.108 * [backup-simplify]: Simplify (+ 1 0) into 1
20.108 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
20.108 * [backup-simplify]: Simplify +nan.0 into +nan.0
20.108 * [backup-simplify]: Simplify 0 into 0
20.108 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
20.109 * [backup-simplify]: Simplify (- 0) into 0
20.109 * [backup-simplify]: Simplify (+ 0 0) into 0
20.109 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.110 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (- (/ 1 x) 1.0))) into 0
20.110 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
20.111 * [backup-simplify]: Simplify (/ (- 1.0 (pow (* +nan.0 (- (/ 1 x) 1.0)) 2) (+)) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
20.111 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) in x
20.111 * [taylor]: Taking taylor expansion of +nan.0 in x
20.111 * [backup-simplify]: Simplify +nan.0 into +nan.0
20.111 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))) in x
20.111 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow x 2))) in x
20.111 * [taylor]: Taking taylor expansion of +nan.0 in x
20.111 * [backup-simplify]: Simplify +nan.0 into +nan.0
20.111 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
20.111 * [taylor]: Taking taylor expansion of (pow x 2) in x
20.111 * [taylor]: Taking taylor expansion of x in x
20.111 * [backup-simplify]: Simplify 0 into 0
20.111 * [backup-simplify]: Simplify 1 into 1
20.111 * [backup-simplify]: Simplify (* 1 1) into 1
20.112 * [backup-simplify]: Simplify (/ 1 1) into 1
20.112 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))) in x
20.112 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 x)) (- +nan.0)) in x
20.112 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 x)) in x
20.112 * [taylor]: Taking taylor expansion of +nan.0 in x
20.112 * [backup-simplify]: Simplify +nan.0 into +nan.0
20.112 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.112 * [taylor]: Taking taylor expansion of x in x
20.112 * [backup-simplify]: Simplify 0 into 0
20.112 * [backup-simplify]: Simplify 1 into 1
20.112 * [backup-simplify]: Simplify (/ 1 1) into 1
20.112 * [taylor]: Taking taylor expansion of (- +nan.0) in x
20.112 * [taylor]: Taking taylor expansion of +nan.0 in x
20.112 * [backup-simplify]: Simplify +nan.0 into +nan.0
20.113 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.113 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.114 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
20.114 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
20.115 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
20.115 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
20.116 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
20.116 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
20.117 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
20.118 * [backup-simplify]: Simplify (+ (* +nan.0 (- +nan.0)) (* 0 (- +nan.0))) into (- +nan.0)
20.118 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
20.119 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.119 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
20.120 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
20.121 * [backup-simplify]: Simplify (+ (* +nan.0 (- 1.0)) (* 0 1)) into (- +nan.0)
20.121 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
20.122 * [backup-simplify]: Simplify (+ (- +nan.0) (+ (* (- +nan.0) (* (/ 1 (/ 1 x)) (/ 1 y))) (* +nan.0 (* (/ 1 (/ 1 x)) 1)))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ x y)) (- +nan.0)))))
20.122 * [backup-simplify]: Simplify (sqrt (fma (/ 1 (- y)) (- (/ 1 (- x)) 1.0) 1.0)) into (sqrt (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0))
20.122 * [approximate]: Taking taylor expansion of (sqrt (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0)) in (y x) around 0
20.122 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0)) in x
20.122 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) in x
20.122 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) 1.0)
20.123 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) in x
20.123 * [taylor]: Taking taylor expansion of (/ -1 y) in x
20.123 * [taylor]: Taking taylor expansion of -1 in x
20.123 * [backup-simplify]: Simplify -1 into -1
20.123 * [taylor]: Taking taylor expansion of y in x
20.123 * [backup-simplify]: Simplify y into y
20.123 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
20.123 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in x
20.123 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
20.123 * [taylor]: Taking taylor expansion of 1.0 in x
20.123 * [backup-simplify]: Simplify 1.0 into 1.0
20.123 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.123 * [taylor]: Taking taylor expansion of x in x
20.123 * [backup-simplify]: Simplify 0 into 0
20.123 * [backup-simplify]: Simplify 1 into 1
20.123 * [backup-simplify]: Simplify (/ 1 1) into 1
20.123 * [taylor]: Taking taylor expansion of 1.0 in x
20.123 * [backup-simplify]: Simplify 1.0 into 1.0
20.124 * [backup-simplify]: Simplify (+ 0 1) into 1
20.124 * [backup-simplify]: Simplify (- 1) into -1
20.124 * [backup-simplify]: Simplify (* (/ -1 y) -1) into (/ 1 y)
20.124 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
20.124 * [backup-simplify]: Simplify (sqrt 0) into 0
20.125 * [backup-simplify]: Simplify (/ (/ 1 y) (* 2 (sqrt 0))) into (/ +nan.0 y)
20.125 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0)) in y
20.125 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) in y
20.125 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) 1.0)
20.125 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) in y
20.125 * [taylor]: Taking taylor expansion of (/ -1 y) in y
20.125 * [taylor]: Taking taylor expansion of -1 in y
20.125 * [backup-simplify]: Simplify -1 into -1
20.125 * [taylor]: Taking taylor expansion of y in y
20.125 * [backup-simplify]: Simplify 0 into 0
20.125 * [backup-simplify]: Simplify 1 into 1
20.125 * [backup-simplify]: Simplify (/ -1 1) into -1
20.125 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in y
20.125 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in y
20.125 * [taylor]: Taking taylor expansion of 1.0 in y
20.125 * [backup-simplify]: Simplify 1.0 into 1.0
20.126 * [taylor]: Taking taylor expansion of (/ 1 x) in y
20.126 * [taylor]: Taking taylor expansion of x in y
20.126 * [backup-simplify]: Simplify x into x
20.126 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
20.126 * [taylor]: Taking taylor expansion of 1.0 in y
20.126 * [backup-simplify]: Simplify 1.0 into 1.0
20.126 * [backup-simplify]: Simplify (+ 1.0 (/ 1 x)) into (+ (/ 1 x) 1.0)
20.126 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0))
20.126 * [backup-simplify]: Simplify (* -1 (- (+ (/ 1 x) 1.0))) into (+ (/ 1 x) 1.0)
20.126 * [backup-simplify]: Simplify (+ (+ (/ 1 x) 1.0) 0) into (+ (/ 1 x) 1.0)
20.126 * [backup-simplify]: Simplify (sqrt 0) into 0
20.127 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 1.0) (* 2 (sqrt 0))) into (* +nan.0 (+ 1.0 (/ 1 x)))
20.127 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0)) in y
20.127 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) in y
20.127 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) 1.0)
20.127 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) in y
20.127 * [taylor]: Taking taylor expansion of (/ -1 y) in y
20.127 * [taylor]: Taking taylor expansion of -1 in y
20.127 * [backup-simplify]: Simplify -1 into -1
20.127 * [taylor]: Taking taylor expansion of y in y
20.127 * [backup-simplify]: Simplify 0 into 0
20.127 * [backup-simplify]: Simplify 1 into 1
20.127 * [backup-simplify]: Simplify (/ -1 1) into -1
20.127 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in y
20.127 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in y
20.127 * [taylor]: Taking taylor expansion of 1.0 in y
20.127 * [backup-simplify]: Simplify 1.0 into 1.0
20.127 * [taylor]: Taking taylor expansion of (/ 1 x) in y
20.127 * [taylor]: Taking taylor expansion of x in y
20.128 * [backup-simplify]: Simplify x into x
20.128 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
20.128 * [taylor]: Taking taylor expansion of 1.0 in y
20.128 * [backup-simplify]: Simplify 1.0 into 1.0
20.128 * [backup-simplify]: Simplify (+ 1.0 (/ 1 x)) into (+ (/ 1 x) 1.0)
20.128 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0))
20.128 * [backup-simplify]: Simplify (* -1 (- (+ (/ 1 x) 1.0))) into (+ (/ 1 x) 1.0)
20.128 * [backup-simplify]: Simplify (+ (+ (/ 1 x) 1.0) 0) into (+ (/ 1 x) 1.0)
20.128 * [backup-simplify]: Simplify (sqrt 0) into 0
20.129 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 1.0) (* 2 (sqrt 0))) into (* +nan.0 (+ 1.0 (/ 1 x)))
20.129 * [taylor]: Taking taylor expansion of 0 in x
20.129 * [backup-simplify]: Simplify 0 into 0
20.129 * [taylor]: Taking taylor expansion of (* +nan.0 (+ 1.0 (/ 1 x))) in x
20.129 * [taylor]: Taking taylor expansion of +nan.0 in x
20.129 * [backup-simplify]: Simplify +nan.0 into +nan.0
20.129 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
20.129 * [taylor]: Taking taylor expansion of 1.0 in x
20.129 * [backup-simplify]: Simplify 1.0 into 1.0
20.129 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.129 * [taylor]: Taking taylor expansion of x in x
20.129 * [backup-simplify]: Simplify 0 into 0
20.129 * [backup-simplify]: Simplify 1 into 1
20.129 * [backup-simplify]: Simplify (/ 1 1) into 1
20.130 * [backup-simplify]: Simplify (+ 0 1) into 1
20.130 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
20.130 * [backup-simplify]: Simplify +nan.0 into +nan.0
20.130 * [backup-simplify]: Simplify 0 into 0
20.130 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
20.130 * [backup-simplify]: Simplify (+ 0 0) into 0
20.131 * [backup-simplify]: Simplify (- 0) into 0
20.131 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
20.132 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0))
20.132 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (+ (/ 1 x) 1.0)))) into 0
20.132 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
20.133 * [backup-simplify]: Simplify (/ (- 1.0 (pow (* +nan.0 (+ 1.0 (/ 1 x))) 2) (+)) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
20.133 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) in x
20.133 * [taylor]: Taking taylor expansion of +nan.0 in x
20.133 * [backup-simplify]: Simplify +nan.0 into +nan.0
20.133 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))) in x
20.133 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow x 2))) in x
20.133 * [taylor]: Taking taylor expansion of +nan.0 in x
20.133 * [backup-simplify]: Simplify +nan.0 into +nan.0
20.133 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
20.133 * [taylor]: Taking taylor expansion of (pow x 2) in x
20.133 * [taylor]: Taking taylor expansion of x in x
20.133 * [backup-simplify]: Simplify 0 into 0
20.133 * [backup-simplify]: Simplify 1 into 1
20.134 * [backup-simplify]: Simplify (* 1 1) into 1
20.134 * [backup-simplify]: Simplify (/ 1 1) into 1
20.134 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))) in x
20.134 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 x)) (- +nan.0)) in x
20.134 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 x)) in x
20.134 * [taylor]: Taking taylor expansion of +nan.0 in x
20.134 * [backup-simplify]: Simplify +nan.0 into +nan.0
20.134 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.134 * [taylor]: Taking taylor expansion of x in x
20.134 * [backup-simplify]: Simplify 0 into 0
20.134 * [backup-simplify]: Simplify 1 into 1
20.134 * [backup-simplify]: Simplify (/ 1 1) into 1
20.134 * [taylor]: Taking taylor expansion of (- +nan.0) in x
20.134 * [taylor]: Taking taylor expansion of +nan.0 in x
20.134 * [backup-simplify]: Simplify +nan.0 into +nan.0
20.135 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.135 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.136 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
20.136 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
20.136 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
20.137 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
20.138 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
20.138 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
20.138 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
20.139 * [backup-simplify]: Simplify (+ (* +nan.0 (- +nan.0)) (* 0 (- +nan.0))) into (- +nan.0)
20.140 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
20.140 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.141 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
20.142 * [backup-simplify]: Simplify (+ (* +nan.0 1.0) (* 0 1)) into (- +nan.0)
20.142 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
20.143 * [backup-simplify]: Simplify (+ (- +nan.0) (+ (* (- +nan.0) (* (/ 1 (/ 1 (- x))) (/ 1 (- y)))) (* +nan.0 (* (/ 1 (/ 1 (- x))) 1)))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ x y)) (- +nan.0)))))
20.143 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
20.143 * [backup-simplify]: Simplify (sqrt (fma y (- x 1.0) 1.0)) into (sqrt (fma y (- x 1.0) 1.0))
20.143 * [approximate]: Taking taylor expansion of (sqrt (fma y (- x 1.0) 1.0)) in (y x) around 0
20.143 * [taylor]: Taking taylor expansion of (sqrt (fma y (- x 1.0) 1.0)) in x
20.143 * [taylor]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in x
20.143 * [taylor]: Rewrote expression to (+ (* y (- x 1.0)) 1.0)
20.143 * [taylor]: Taking taylor expansion of (* y (- x 1.0)) in x
20.143 * [taylor]: Taking taylor expansion of y in x
20.143 * [backup-simplify]: Simplify y into y
20.143 * [taylor]: Taking taylor expansion of (- x 1.0) in x
20.143 * [taylor]: Taking taylor expansion of x in x
20.143 * [backup-simplify]: Simplify 0 into 0
20.143 * [backup-simplify]: Simplify 1 into 1
20.143 * [taylor]: Taking taylor expansion of 1.0 in x
20.143 * [backup-simplify]: Simplify 1.0 into 1.0
20.143 * [taylor]: Taking taylor expansion of 1.0 in x
20.143 * [backup-simplify]: Simplify 1.0 into 1.0
20.144 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
20.145 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
20.145 * [backup-simplify]: Simplify (* y (- 1.0)) into (* -1.0 y)
20.145 * [backup-simplify]: Simplify (+ (* -1.0 y) 1.0) into (- 1.0 (* 1.0 y))
20.145 * [backup-simplify]: Simplify (sqrt (- 1.0 (* 1.0 y))) into (sqrt (- 1.0 (* 1.0 y)))
20.146 * [backup-simplify]: Simplify (- 0) into 0
20.147 * [backup-simplify]: Simplify (+ 1 0) into 1
20.147 * [backup-simplify]: Simplify (+ (* y 1) (* 0 (- 1.0))) into y
20.147 * [backup-simplify]: Simplify (+ y 0) into y
20.147 * [backup-simplify]: Simplify (/ y (* 2 (sqrt (- 1.0 (* 1.0 y))))) into (* 1/2 (* (sqrt (/ 1 (- 1.0 (* 1.0 y)))) y))
20.147 * [taylor]: Taking taylor expansion of (sqrt (fma y (- x 1.0) 1.0)) in y
20.148 * [taylor]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in y
20.148 * [taylor]: Rewrote expression to (+ (* y (- x 1.0)) 1.0)
20.148 * [taylor]: Taking taylor expansion of (* y (- x 1.0)) in y
20.148 * [taylor]: Taking taylor expansion of y in y
20.148 * [backup-simplify]: Simplify 0 into 0
20.148 * [backup-simplify]: Simplify 1 into 1
20.148 * [taylor]: Taking taylor expansion of (- x 1.0) in y
20.148 * [taylor]: Taking taylor expansion of x in y
20.148 * [backup-simplify]: Simplify x into x
20.148 * [taylor]: Taking taylor expansion of 1.0 in y
20.148 * [backup-simplify]: Simplify 1.0 into 1.0
20.148 * [taylor]: Taking taylor expansion of 1.0 in y
20.148 * [backup-simplify]: Simplify 1.0 into 1.0
20.149 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
20.149 * [backup-simplify]: Simplify (+ x (- 1.0)) into (- x 1.0)
20.149 * [backup-simplify]: Simplify (* 0 (- x 1.0)) into 0
20.150 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
20.150 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
20.151 * [backup-simplify]: Simplify (- 0) into 0
20.151 * [backup-simplify]: Simplify (+ 0 0) into 0
20.152 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- x 1.0))) into (- x 1.0)
20.152 * [backup-simplify]: Simplify (+ (- x 1.0) 0) into (- x 1.0)
20.153 * [backup-simplify]: Simplify (/ (- x 1.0) (* 2 (sqrt 1.0))) into (* 1/2 (/ (- x 1.0) (sqrt 1.0)))
20.153 * [taylor]: Taking taylor expansion of (sqrt (fma y (- x 1.0) 1.0)) in y
20.153 * [taylor]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in y
20.153 * [taylor]: Rewrote expression to (+ (* y (- x 1.0)) 1.0)
20.153 * [taylor]: Taking taylor expansion of (* y (- x 1.0)) in y
20.153 * [taylor]: Taking taylor expansion of y in y
20.153 * [backup-simplify]: Simplify 0 into 0
20.153 * [backup-simplify]: Simplify 1 into 1
20.153 * [taylor]: Taking taylor expansion of (- x 1.0) in y
20.153 * [taylor]: Taking taylor expansion of x in y
20.153 * [backup-simplify]: Simplify x into x
20.153 * [taylor]: Taking taylor expansion of 1.0 in y
20.154 * [backup-simplify]: Simplify 1.0 into 1.0
20.154 * [taylor]: Taking taylor expansion of 1.0 in y
20.154 * [backup-simplify]: Simplify 1.0 into 1.0
20.154 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
20.155 * [backup-simplify]: Simplify (+ x (- 1.0)) into (- x 1.0)
20.155 * [backup-simplify]: Simplify (* 0 (- x 1.0)) into 0
20.155 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
20.156 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
20.156 * [backup-simplify]: Simplify (- 0) into 0
20.157 * [backup-simplify]: Simplify (+ 0 0) into 0
20.157 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- x 1.0))) into (- x 1.0)
20.157 * [backup-simplify]: Simplify (+ (- x 1.0) 0) into (- x 1.0)
20.158 * [backup-simplify]: Simplify (/ (- x 1.0) (* 2 (sqrt 1.0))) into (* 1/2 (/ (- x 1.0) (sqrt 1.0)))
20.158 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
20.158 * [taylor]: Taking taylor expansion of 1.0 in x
20.158 * [backup-simplify]: Simplify 1.0 into 1.0
20.159 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
20.160 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
20.160 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
20.160 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- x 1.0) (sqrt 1.0))) in x
20.160 * [taylor]: Taking taylor expansion of 1/2 in x
20.160 * [backup-simplify]: Simplify 1/2 into 1/2
20.160 * [taylor]: Taking taylor expansion of (/ (- x 1.0) (sqrt 1.0)) in x
20.160 * [taylor]: Taking taylor expansion of (- x 1.0) in x
20.160 * [taylor]: Taking taylor expansion of x in x
20.160 * [backup-simplify]: Simplify 0 into 0
20.160 * [backup-simplify]: Simplify 1 into 1
20.160 * [taylor]: Taking taylor expansion of 1.0 in x
20.161 * [backup-simplify]: Simplify 1.0 into 1.0
20.161 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
20.161 * [taylor]: Taking taylor expansion of 1.0 in x
20.161 * [backup-simplify]: Simplify 1.0 into 1.0
20.161 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
20.162 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
20.162 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
20.163 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
20.165 * [backup-simplify]: Simplify (/ (- 1.0) (sqrt 1.0)) into (/ -1.0 (sqrt 1.0))
20.167 * [backup-simplify]: Simplify (* 1/2 (/ -1.0 (sqrt 1.0))) into (/ -0.5 (sqrt 1.0))
20.168 * [backup-simplify]: Simplify (/ -0.5 (sqrt 1.0)) into (/ -0.5 (sqrt 1.0))
20.168 * [backup-simplify]: Simplify 0 into 0
20.168 * [backup-simplify]: Simplify (- 0) into 0
20.169 * [backup-simplify]: Simplify (+ 0 0) into 0
20.174 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- x 1.0)))) into 0
20.175 * [backup-simplify]: Simplify (+ 0 0) into 0
20.176 * [backup-simplify]: Simplify (/ (- 0 (pow (* 1/2 (/ (- x 1.0) (sqrt 1.0))) 2) (+)) (* 2 (sqrt 1.0))) into (* 1/2 (/ (- (* 0.5 (/ x (pow (sqrt 1.0) 2))) (+ (* 1/4 (/ (pow x 2) (pow (sqrt 1.0) 2))) (* 0.25 (/ 1 (pow (sqrt 1.0) 2))))) (sqrt 1.0)))
20.176 * [taylor]: Taking taylor expansion of (* 1/2 (/ (- (* 0.5 (/ x (pow (sqrt 1.0) 2))) (+ (* 1/4 (/ (pow x 2) (pow (sqrt 1.0) 2))) (* 0.25 (/ 1 (pow (sqrt 1.0) 2))))) (sqrt 1.0))) in x
20.177 * [taylor]: Taking taylor expansion of 1/2 in x
20.177 * [backup-simplify]: Simplify 1/2 into 1/2
20.177 * [taylor]: Taking taylor expansion of (/ (- (* 0.5 (/ x (pow (sqrt 1.0) 2))) (+ (* 1/4 (/ (pow x 2) (pow (sqrt 1.0) 2))) (* 0.25 (/ 1 (pow (sqrt 1.0) 2))))) (sqrt 1.0)) in x
20.177 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ x (pow (sqrt 1.0) 2))) (+ (* 1/4 (/ (pow x 2) (pow (sqrt 1.0) 2))) (* 0.25 (/ 1 (pow (sqrt 1.0) 2))))) in x
20.177 * [taylor]: Taking taylor expansion of (* 0.5 (/ x (pow (sqrt 1.0) 2))) in x
20.177 * [taylor]: Taking taylor expansion of 0.5 in x
20.177 * [backup-simplify]: Simplify 0.5 into 0.5
20.177 * [taylor]: Taking taylor expansion of (/ x (pow (sqrt 1.0) 2)) in x
20.177 * [taylor]: Taking taylor expansion of x in x
20.177 * [backup-simplify]: Simplify 0 into 0
20.177 * [backup-simplify]: Simplify 1 into 1
20.177 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in x
20.177 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
20.177 * [taylor]: Taking taylor expansion of 1.0 in x
20.177 * [backup-simplify]: Simplify 1.0 into 1.0
20.177 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
20.178 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
20.179 * [backup-simplify]: Simplify (* (sqrt 1.0) (sqrt 1.0)) into (pow (sqrt 1.0) 2)
20.180 * [backup-simplify]: Simplify (/ 1 (pow (sqrt 1.0) 2)) into (/ 1 (pow (sqrt 1.0) 2))
20.180 * [taylor]: Taking taylor expansion of (+ (* 1/4 (/ (pow x 2) (pow (sqrt 1.0) 2))) (* 0.25 (/ 1 (pow (sqrt 1.0) 2)))) in x
20.180 * [taylor]: Taking taylor expansion of (* 1/4 (/ (pow x 2) (pow (sqrt 1.0) 2))) in x
20.180 * [taylor]: Taking taylor expansion of 1/4 in x
20.180 * [backup-simplify]: Simplify 1/4 into 1/4
20.180 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow (sqrt 1.0) 2)) in x
20.180 * [taylor]: Taking taylor expansion of (pow x 2) in x
20.180 * [taylor]: Taking taylor expansion of x in x
20.180 * [backup-simplify]: Simplify 0 into 0
20.180 * [backup-simplify]: Simplify 1 into 1
20.180 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in x
20.180 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
20.180 * [taylor]: Taking taylor expansion of 1.0 in x
20.180 * [backup-simplify]: Simplify 1.0 into 1.0
20.180 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
20.181 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
20.181 * [backup-simplify]: Simplify (* 1 1) into 1
20.183 * [backup-simplify]: Simplify (* (sqrt 1.0) (sqrt 1.0)) into (pow (sqrt 1.0) 2)
20.184 * [backup-simplify]: Simplify (/ 1 (pow (sqrt 1.0) 2)) into (/ 1 (pow (sqrt 1.0) 2))
20.184 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow (sqrt 1.0) 2))) in x
20.184 * [taylor]: Taking taylor expansion of 0.25 in x
20.184 * [backup-simplify]: Simplify 0.25 into 0.25
20.184 * [taylor]: Taking taylor expansion of (/ 1 (pow (sqrt 1.0) 2)) in x
20.184 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 2) in x
20.184 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
20.184 * [taylor]: Taking taylor expansion of 1.0 in x
20.184 * [backup-simplify]: Simplify 1.0 into 1.0
20.184 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
20.185 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
20.186 * [backup-simplify]: Simplify (* (sqrt 1.0) (sqrt 1.0)) into (pow (sqrt 1.0) 2)
20.187 * [backup-simplify]: Simplify (/ 1 (pow (sqrt 1.0) 2)) into (/ 1 (pow (sqrt 1.0) 2))
20.187 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x
20.187 * [taylor]: Taking taylor expansion of 1.0 in x
20.187 * [backup-simplify]: Simplify 1.0 into 1.0
20.187 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0)
20.188 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0
20.190 * [backup-simplify]: Simplify (* 0.25 (/ 1 (pow (sqrt 1.0) 2))) into (/ 0.25 (pow (sqrt 1.0) 2))
20.192 * [backup-simplify]: Simplify (+ 0 (/ 0.25 (pow (sqrt 1.0) 2))) into (* 0.25 (/ 1 (pow (sqrt 1.0) 2)))
20.194 * [backup-simplify]: Simplify (- (* 0.25 (/ 1 (pow (sqrt 1.0) 2)))) into (- (* 0.25 (/ 1 (pow (sqrt 1.0) 2))))
20.198 * [backup-simplify]: Simplify (+ 0 (- (* 0.25 (/ 1 (pow (sqrt 1.0) 2))))) into (- (* 0.25 (/ 1 (pow (sqrt 1.0) 2))))
20.201 * [backup-simplify]: Simplify (/ (- (* 0.25 (/ 1 (pow (sqrt 1.0) 2)))) (sqrt 1.0)) into (/ -0.25 (pow (sqrt 1.0) 3))
20.203 * [backup-simplify]: Simplify (* 1/2 (/ -0.25 (pow (sqrt 1.0) 3))) into (/ -0.125 (pow (sqrt 1.0) 3))
20.205 * [backup-simplify]: Simplify (/ -0.125 (pow (sqrt 1.0) 3)) into (/ -0.125 (pow (sqrt 1.0) 3))
20.207 * [backup-simplify]: Simplify (+ (* (/ -0.125 (pow (sqrt 1.0) 3)) (pow (* 1 y) 2)) (+ (* (/ -0.5 (sqrt 1.0)) (* 1 y)) (sqrt 1.0))) into (- (sqrt 1.0) (+ (* 0.125 (/ (pow y 2) (pow (sqrt 1.0) 3))) (* 0.5 (/ y (sqrt 1.0)))))
20.207 * [backup-simplify]: Simplify (sqrt (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0)) into (sqrt (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0))
20.207 * [approximate]: Taking taylor expansion of (sqrt (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0)) in (y x) around 0
20.207 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0)) in x
20.207 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in x
20.208 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 x) 1.0)) 1.0)
20.208 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 x) 1.0)) in x
20.208 * [taylor]: Taking taylor expansion of (/ 1 y) in x
20.208 * [taylor]: Taking taylor expansion of y in x
20.208 * [backup-simplify]: Simplify y into y
20.208 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
20.208 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
20.208 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.208 * [taylor]: Taking taylor expansion of x in x
20.208 * [backup-simplify]: Simplify 0 into 0
20.208 * [backup-simplify]: Simplify 1 into 1
20.208 * [backup-simplify]: Simplify (/ 1 1) into 1
20.208 * [taylor]: Taking taylor expansion of 1.0 in x
20.208 * [backup-simplify]: Simplify 1.0 into 1.0
20.208 * [taylor]: Taking taylor expansion of 1.0 in x
20.208 * [backup-simplify]: Simplify 1.0 into 1.0
20.209 * [backup-simplify]: Simplify (+ 1 0) into 1
20.209 * [backup-simplify]: Simplify (* (/ 1 y) 1) into (/ 1 y)
20.209 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
20.209 * [backup-simplify]: Simplify (sqrt 0) into 0
20.209 * [backup-simplify]: Simplify (/ (/ 1 y) (* 2 (sqrt 0))) into (/ +nan.0 y)
20.209 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0)) in y
20.209 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in y
20.210 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 x) 1.0)) 1.0)
20.210 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 x) 1.0)) in y
20.210 * [taylor]: Taking taylor expansion of (/ 1 y) in y
20.210 * [taylor]: Taking taylor expansion of y in y
20.210 * [backup-simplify]: Simplify 0 into 0
20.210 * [backup-simplify]: Simplify 1 into 1
20.210 * [backup-simplify]: Simplify (/ 1 1) into 1
20.210 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in y
20.210 * [taylor]: Taking taylor expansion of (/ 1 x) in y
20.210 * [taylor]: Taking taylor expansion of x in y
20.210 * [backup-simplify]: Simplify x into x
20.210 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
20.210 * [taylor]: Taking taylor expansion of 1.0 in y
20.210 * [backup-simplify]: Simplify 1.0 into 1.0
20.210 * [taylor]: Taking taylor expansion of 1.0 in y
20.210 * [backup-simplify]: Simplify 1.0 into 1.0
20.210 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
20.211 * [backup-simplify]: Simplify (+ (/ 1 x) (- 1.0)) into (- (/ 1 x) 1.0)
20.211 * [backup-simplify]: Simplify (* 1 (- (/ 1 x) 1.0)) into (- (/ 1 x) 1.0)
20.211 * [backup-simplify]: Simplify (+ (- (/ 1 x) 1.0) 0) into (- (/ 1 x) 1.0)
20.211 * [backup-simplify]: Simplify (sqrt 0) into 0
20.212 * [backup-simplify]: Simplify (/ (- (/ 1 x) 1.0) (* 2 (sqrt 0))) into (* +nan.0 (- (/ 1 x) 1.0))
20.212 * [taylor]: Taking taylor expansion of (sqrt (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0)) in y
20.212 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in y
20.212 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 x) 1.0)) 1.0)
20.212 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 x) 1.0)) in y
20.212 * [taylor]: Taking taylor expansion of (/ 1 y) in y
20.212 * [taylor]: Taking taylor expansion of y in y
20.212 * [backup-simplify]: Simplify 0 into 0
20.212 * [backup-simplify]: Simplify 1 into 1
20.212 * [backup-simplify]: Simplify (/ 1 1) into 1
20.212 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in y
20.212 * [taylor]: Taking taylor expansion of (/ 1 x) in y
20.212 * [taylor]: Taking taylor expansion of x in y
20.212 * [backup-simplify]: Simplify x into x
20.212 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
20.212 * [taylor]: Taking taylor expansion of 1.0 in y
20.213 * [backup-simplify]: Simplify 1.0 into 1.0
20.213 * [taylor]: Taking taylor expansion of 1.0 in y
20.213 * [backup-simplify]: Simplify 1.0 into 1.0
20.213 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
20.213 * [backup-simplify]: Simplify (+ (/ 1 x) (- 1.0)) into (- (/ 1 x) 1.0)
20.213 * [backup-simplify]: Simplify (* 1 (- (/ 1 x) 1.0)) into (- (/ 1 x) 1.0)
20.213 * [backup-simplify]: Simplify (+ (- (/ 1 x) 1.0) 0) into (- (/ 1 x) 1.0)
20.214 * [backup-simplify]: Simplify (sqrt 0) into 0
20.214 * [backup-simplify]: Simplify (/ (- (/ 1 x) 1.0) (* 2 (sqrt 0))) into (* +nan.0 (- (/ 1 x) 1.0))
20.214 * [taylor]: Taking taylor expansion of 0 in x
20.214 * [backup-simplify]: Simplify 0 into 0
20.214 * [taylor]: Taking taylor expansion of (* +nan.0 (- (/ 1 x) 1.0)) in x
20.214 * [taylor]: Taking taylor expansion of +nan.0 in x
20.214 * [backup-simplify]: Simplify +nan.0 into +nan.0
20.214 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
20.214 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.214 * [taylor]: Taking taylor expansion of x in x
20.214 * [backup-simplify]: Simplify 0 into 0
20.214 * [backup-simplify]: Simplify 1 into 1
20.215 * [backup-simplify]: Simplify (/ 1 1) into 1
20.215 * [taylor]: Taking taylor expansion of 1.0 in x
20.215 * [backup-simplify]: Simplify 1.0 into 1.0
20.215 * [backup-simplify]: Simplify (+ 1 0) into 1
20.216 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
20.216 * [backup-simplify]: Simplify +nan.0 into +nan.0
20.216 * [backup-simplify]: Simplify 0 into 0
20.216 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
20.216 * [backup-simplify]: Simplify (- 0) into 0
20.216 * [backup-simplify]: Simplify (+ 0 0) into 0
20.217 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.218 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (- (/ 1 x) 1.0))) into 0
20.218 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
20.220 * [backup-simplify]: Simplify (/ (- 1.0 (pow (* +nan.0 (- (/ 1 x) 1.0)) 2) (+)) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
20.220 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) in x
20.220 * [taylor]: Taking taylor expansion of +nan.0 in x
20.220 * [backup-simplify]: Simplify +nan.0 into +nan.0
20.220 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))) in x
20.220 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow x 2))) in x
20.220 * [taylor]: Taking taylor expansion of +nan.0 in x
20.220 * [backup-simplify]: Simplify +nan.0 into +nan.0
20.220 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
20.220 * [taylor]: Taking taylor expansion of (pow x 2) in x
20.220 * [taylor]: Taking taylor expansion of x in x
20.220 * [backup-simplify]: Simplify 0 into 0
20.220 * [backup-simplify]: Simplify 1 into 1
20.221 * [backup-simplify]: Simplify (* 1 1) into 1
20.221 * [backup-simplify]: Simplify (/ 1 1) into 1
20.221 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))) in x
20.221 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 x)) (- +nan.0)) in x
20.221 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 x)) in x
20.221 * [taylor]: Taking taylor expansion of +nan.0 in x
20.221 * [backup-simplify]: Simplify +nan.0 into +nan.0
20.221 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.221 * [taylor]: Taking taylor expansion of x in x
20.221 * [backup-simplify]: Simplify 0 into 0
20.221 * [backup-simplify]: Simplify 1 into 1
20.222 * [backup-simplify]: Simplify (/ 1 1) into 1
20.222 * [taylor]: Taking taylor expansion of (- +nan.0) in x
20.222 * [taylor]: Taking taylor expansion of +nan.0 in x
20.222 * [backup-simplify]: Simplify +nan.0 into +nan.0
20.223 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.223 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.224 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
20.225 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
20.225 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
20.226 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
20.227 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
20.228 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
20.228 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
20.229 * [backup-simplify]: Simplify (+ (* +nan.0 (- +nan.0)) (* 0 (- +nan.0))) into (- +nan.0)
20.230 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
20.230 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.230 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
20.231 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
20.232 * [backup-simplify]: Simplify (+ (* +nan.0 (- 1.0)) (* 0 1)) into (- +nan.0)
20.233 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
20.233 * [backup-simplify]: Simplify (+ (- +nan.0) (+ (* (- +nan.0) (* (/ 1 (/ 1 x)) (/ 1 y))) (* +nan.0 (* (/ 1 (/ 1 x)) 1)))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ x y)) (- +nan.0)))))
20.234 * [backup-simplify]: Simplify (sqrt (fma (/ 1 (- y)) (- (/ 1 (- x)) 1.0) 1.0)) into (sqrt (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0))
20.234 * [approximate]: Taking taylor expansion of (sqrt (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0)) in (y x) around 0
20.234 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0)) in x
20.234 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) in x
20.234 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) 1.0)
20.234 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) in x
20.234 * [taylor]: Taking taylor expansion of (/ -1 y) in x
20.234 * [taylor]: Taking taylor expansion of -1 in x
20.234 * [backup-simplify]: Simplify -1 into -1
20.234 * [taylor]: Taking taylor expansion of y in x
20.234 * [backup-simplify]: Simplify y into y
20.234 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
20.234 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in x
20.234 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
20.234 * [taylor]: Taking taylor expansion of 1.0 in x
20.234 * [backup-simplify]: Simplify 1.0 into 1.0
20.234 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.234 * [taylor]: Taking taylor expansion of x in x
20.234 * [backup-simplify]: Simplify 0 into 0
20.234 * [backup-simplify]: Simplify 1 into 1
20.235 * [backup-simplify]: Simplify (/ 1 1) into 1
20.235 * [taylor]: Taking taylor expansion of 1.0 in x
20.235 * [backup-simplify]: Simplify 1.0 into 1.0
20.235 * [backup-simplify]: Simplify (+ 0 1) into 1
20.235 * [backup-simplify]: Simplify (- 1) into -1
20.235 * [backup-simplify]: Simplify (* (/ -1 y) -1) into (/ 1 y)
20.235 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
20.236 * [backup-simplify]: Simplify (sqrt 0) into 0
20.236 * [backup-simplify]: Simplify (/ (/ 1 y) (* 2 (sqrt 0))) into (/ +nan.0 y)
20.236 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0)) in y
20.236 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) in y
20.236 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) 1.0)
20.236 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) in y
20.236 * [taylor]: Taking taylor expansion of (/ -1 y) in y
20.236 * [taylor]: Taking taylor expansion of -1 in y
20.236 * [backup-simplify]: Simplify -1 into -1
20.236 * [taylor]: Taking taylor expansion of y in y
20.236 * [backup-simplify]: Simplify 0 into 0
20.236 * [backup-simplify]: Simplify 1 into 1
20.237 * [backup-simplify]: Simplify (/ -1 1) into -1
20.237 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in y
20.237 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in y
20.237 * [taylor]: Taking taylor expansion of 1.0 in y
20.237 * [backup-simplify]: Simplify 1.0 into 1.0
20.237 * [taylor]: Taking taylor expansion of (/ 1 x) in y
20.237 * [taylor]: Taking taylor expansion of x in y
20.237 * [backup-simplify]: Simplify x into x
20.237 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
20.237 * [taylor]: Taking taylor expansion of 1.0 in y
20.237 * [backup-simplify]: Simplify 1.0 into 1.0
20.237 * [backup-simplify]: Simplify (+ 1.0 (/ 1 x)) into (+ (/ 1 x) 1.0)
20.237 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0))
20.237 * [backup-simplify]: Simplify (* -1 (- (+ (/ 1 x) 1.0))) into (+ (/ 1 x) 1.0)
20.237 * [backup-simplify]: Simplify (+ (+ (/ 1 x) 1.0) 0) into (+ (/ 1 x) 1.0)
20.238 * [backup-simplify]: Simplify (sqrt 0) into 0
20.238 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 1.0) (* 2 (sqrt 0))) into (* +nan.0 (+ 1.0 (/ 1 x)))
20.238 * [taylor]: Taking taylor expansion of (sqrt (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0)) in y
20.238 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) in y
20.238 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) 1.0)
20.238 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) in y
20.238 * [taylor]: Taking taylor expansion of (/ -1 y) in y
20.239 * [taylor]: Taking taylor expansion of -1 in y
20.239 * [backup-simplify]: Simplify -1 into -1
20.239 * [taylor]: Taking taylor expansion of y in y
20.239 * [backup-simplify]: Simplify 0 into 0
20.239 * [backup-simplify]: Simplify 1 into 1
20.239 * [backup-simplify]: Simplify (/ -1 1) into -1
20.239 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in y
20.239 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in y
20.239 * [taylor]: Taking taylor expansion of 1.0 in y
20.239 * [backup-simplify]: Simplify 1.0 into 1.0
20.239 * [taylor]: Taking taylor expansion of (/ 1 x) in y
20.239 * [taylor]: Taking taylor expansion of x in y
20.239 * [backup-simplify]: Simplify x into x
20.239 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
20.239 * [taylor]: Taking taylor expansion of 1.0 in y
20.239 * [backup-simplify]: Simplify 1.0 into 1.0
20.239 * [backup-simplify]: Simplify (+ 1.0 (/ 1 x)) into (+ (/ 1 x) 1.0)
20.239 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0))
20.239 * [backup-simplify]: Simplify (* -1 (- (+ (/ 1 x) 1.0))) into (+ (/ 1 x) 1.0)
20.239 * [backup-simplify]: Simplify (+ (+ (/ 1 x) 1.0) 0) into (+ (/ 1 x) 1.0)
20.240 * [backup-simplify]: Simplify (sqrt 0) into 0
20.240 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 1.0) (* 2 (sqrt 0))) into (* +nan.0 (+ 1.0 (/ 1 x)))
20.240 * [taylor]: Taking taylor expansion of 0 in x
20.240 * [backup-simplify]: Simplify 0 into 0
20.241 * [taylor]: Taking taylor expansion of (* +nan.0 (+ 1.0 (/ 1 x))) in x
20.241 * [taylor]: Taking taylor expansion of +nan.0 in x
20.241 * [backup-simplify]: Simplify +nan.0 into +nan.0
20.241 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
20.241 * [taylor]: Taking taylor expansion of 1.0 in x
20.241 * [backup-simplify]: Simplify 1.0 into 1.0
20.241 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.241 * [taylor]: Taking taylor expansion of x in x
20.241 * [backup-simplify]: Simplify 0 into 0
20.241 * [backup-simplify]: Simplify 1 into 1
20.241 * [backup-simplify]: Simplify (/ 1 1) into 1
20.241 * [backup-simplify]: Simplify (+ 0 1) into 1
20.242 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
20.242 * [backup-simplify]: Simplify +nan.0 into +nan.0
20.242 * [backup-simplify]: Simplify 0 into 0
20.242 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
20.242 * [backup-simplify]: Simplify (+ 0 0) into 0
20.243 * [backup-simplify]: Simplify (- 0) into 0
20.243 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
20.243 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0))
20.244 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (+ (/ 1 x) 1.0)))) into 0
20.244 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
20.245 * [backup-simplify]: Simplify (/ (- 1.0 (pow (* +nan.0 (+ 1.0 (/ 1 x))) 2) (+)) (* 2 0)) into (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
20.245 * [taylor]: Taking taylor expansion of (* +nan.0 (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) in x
20.245 * [taylor]: Taking taylor expansion of +nan.0 in x
20.245 * [backup-simplify]: Simplify +nan.0 into +nan.0
20.245 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))) in x
20.245 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 (pow x 2))) in x
20.245 * [taylor]: Taking taylor expansion of +nan.0 in x
20.245 * [backup-simplify]: Simplify +nan.0 into +nan.0
20.245 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
20.245 * [taylor]: Taking taylor expansion of (pow x 2) in x
20.245 * [taylor]: Taking taylor expansion of x in x
20.245 * [backup-simplify]: Simplify 0 into 0
20.245 * [backup-simplify]: Simplify 1 into 1
20.245 * [backup-simplify]: Simplify (* 1 1) into 1
20.246 * [backup-simplify]: Simplify (/ 1 1) into 1
20.246 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))) in x
20.246 * [taylor]: Taking taylor expansion of (+ (* +nan.0 (/ 1 x)) (- +nan.0)) in x
20.246 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 x)) in x
20.246 * [taylor]: Taking taylor expansion of +nan.0 in x
20.246 * [backup-simplify]: Simplify +nan.0 into +nan.0
20.246 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.246 * [taylor]: Taking taylor expansion of x in x
20.246 * [backup-simplify]: Simplify 0 into 0
20.246 * [backup-simplify]: Simplify 1 into 1
20.246 * [backup-simplify]: Simplify (/ 1 1) into 1
20.246 * [taylor]: Taking taylor expansion of (- +nan.0) in x
20.246 * [taylor]: Taking taylor expansion of +nan.0 in x
20.246 * [backup-simplify]: Simplify +nan.0 into +nan.0
20.246 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
20.247 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.247 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0
20.248 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
20.248 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
20.249 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
20.249 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
20.249 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
20.250 * [backup-simplify]: Simplify (+ +nan.0 0) into (- +nan.0)
20.251 * [backup-simplify]: Simplify (+ (* +nan.0 (- +nan.0)) (* 0 (- +nan.0))) into (- +nan.0)
20.251 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
20.252 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.252 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
20.253 * [backup-simplify]: Simplify (+ (* +nan.0 1.0) (* 0 1)) into (- +nan.0)
20.253 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
20.254 * [backup-simplify]: Simplify (+ (- +nan.0) (+ (* (- +nan.0) (* (/ 1 (/ 1 (- x))) (/ 1 (- y)))) (* +nan.0 (* (/ 1 (/ 1 (- x))) 1)))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ x y)) (- +nan.0)))))
20.254 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
20.254 * [backup-simplify]: Simplify (fma y (- x 1.0) 1.0) into (fma y (- x 1.0) 1.0)
20.254 * [approximate]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in (y x) around 0
20.254 * [taylor]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in x
20.255 * [taylor]: Rewrote expression to (+ (* y (- x 1.0)) 1.0)
20.255 * [taylor]: Taking taylor expansion of (* y (- x 1.0)) in x
20.255 * [taylor]: Taking taylor expansion of y in x
20.255 * [backup-simplify]: Simplify y into y
20.255 * [taylor]: Taking taylor expansion of (- x 1.0) in x
20.255 * [taylor]: Taking taylor expansion of x in x
20.255 * [backup-simplify]: Simplify 0 into 0
20.255 * [backup-simplify]: Simplify 1 into 1
20.255 * [taylor]: Taking taylor expansion of 1.0 in x
20.255 * [backup-simplify]: Simplify 1.0 into 1.0
20.255 * [taylor]: Taking taylor expansion of 1.0 in x
20.255 * [backup-simplify]: Simplify 1.0 into 1.0
20.255 * [taylor]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in y
20.255 * [taylor]: Rewrote expression to (+ (* y (- x 1.0)) 1.0)
20.255 * [taylor]: Taking taylor expansion of (* y (- x 1.0)) in y
20.255 * [taylor]: Taking taylor expansion of y in y
20.255 * [backup-simplify]: Simplify 0 into 0
20.255 * [backup-simplify]: Simplify 1 into 1
20.255 * [taylor]: Taking taylor expansion of (- x 1.0) in y
20.255 * [taylor]: Taking taylor expansion of x in y
20.255 * [backup-simplify]: Simplify x into x
20.255 * [taylor]: Taking taylor expansion of 1.0 in y
20.255 * [backup-simplify]: Simplify 1.0 into 1.0
20.255 * [taylor]: Taking taylor expansion of 1.0 in y
20.255 * [backup-simplify]: Simplify 1.0 into 1.0
20.255 * [taylor]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in y
20.255 * [taylor]: Rewrote expression to (+ (* y (- x 1.0)) 1.0)
20.255 * [taylor]: Taking taylor expansion of (* y (- x 1.0)) in y
20.255 * [taylor]: Taking taylor expansion of y in y
20.255 * [backup-simplify]: Simplify 0 into 0
20.255 * [backup-simplify]: Simplify 1 into 1
20.255 * [taylor]: Taking taylor expansion of (- x 1.0) in y
20.255 * [taylor]: Taking taylor expansion of x in y
20.255 * [backup-simplify]: Simplify x into x
20.255 * [taylor]: Taking taylor expansion of 1.0 in y
20.255 * [backup-simplify]: Simplify 1.0 into 1.0
20.255 * [taylor]: Taking taylor expansion of 1.0 in y
20.255 * [backup-simplify]: Simplify 1.0 into 1.0
20.256 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
20.256 * [backup-simplify]: Simplify (+ x (- 1.0)) into (- x 1.0)
20.256 * [backup-simplify]: Simplify (* 0 (- x 1.0)) into 0
20.257 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
20.257 * [taylor]: Taking taylor expansion of 1.0 in x
20.257 * [backup-simplify]: Simplify 1.0 into 1.0
20.257 * [backup-simplify]: Simplify 1.0 into 1.0
20.257 * [backup-simplify]: Simplify (- 0) into 0
20.257 * [backup-simplify]: Simplify (+ 0 0) into 0
20.258 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- x 1.0))) into (- x 1.0)
20.258 * [backup-simplify]: Simplify (+ (- x 1.0) 0) into (- x 1.0)
20.258 * [taylor]: Taking taylor expansion of (- x 1.0) in x
20.258 * [taylor]: Taking taylor expansion of x in x
20.258 * [backup-simplify]: Simplify 0 into 0
20.258 * [backup-simplify]: Simplify 1 into 1
20.258 * [taylor]: Taking taylor expansion of 1.0 in x
20.258 * [backup-simplify]: Simplify 1.0 into 1.0
20.258 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
20.259 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
20.259 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
20.259 * [backup-simplify]: Simplify 0 into 0
20.259 * [backup-simplify]: Simplify (- 0) into 0
20.260 * [backup-simplify]: Simplify (+ 0 0) into 0
20.260 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- x 1.0)))) into 0
20.260 * [backup-simplify]: Simplify (+ 0 0) into 0
20.260 * [taylor]: Taking taylor expansion of 0 in x
20.260 * [backup-simplify]: Simplify 0 into 0
20.260 * [backup-simplify]: Simplify 0 into 0
20.261 * [backup-simplify]: Simplify (- 0) into 0
20.261 * [backup-simplify]: Simplify (+ 1 0) into 1
20.261 * [backup-simplify]: Simplify 1 into 1
20.261 * [backup-simplify]: Simplify (+ (* 1 (* x y)) (+ (* (- 1.0) (* 1 y)) 1.0)) into (- (+ (* x y) 1.0) (* 1.0 y))
20.262 * [backup-simplify]: Simplify (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) into (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0)
20.262 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in (y x) around 0
20.262 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in x
20.262 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 x) 1.0)) 1.0)
20.262 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 x) 1.0)) in x
20.262 * [taylor]: Taking taylor expansion of (/ 1 y) in x
20.262 * [taylor]: Taking taylor expansion of y in x
20.262 * [backup-simplify]: Simplify y into y
20.262 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
20.262 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
20.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.262 * [taylor]: Taking taylor expansion of x in x
20.262 * [backup-simplify]: Simplify 0 into 0
20.262 * [backup-simplify]: Simplify 1 into 1
20.262 * [backup-simplify]: Simplify (/ 1 1) into 1
20.262 * [taylor]: Taking taylor expansion of 1.0 in x
20.262 * [backup-simplify]: Simplify 1.0 into 1.0
20.262 * [taylor]: Taking taylor expansion of 1.0 in x
20.262 * [backup-simplify]: Simplify 1.0 into 1.0
20.263 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in y
20.263 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 x) 1.0)) 1.0)
20.263 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 x) 1.0)) in y
20.263 * [taylor]: Taking taylor expansion of (/ 1 y) in y
20.263 * [taylor]: Taking taylor expansion of y in y
20.263 * [backup-simplify]: Simplify 0 into 0
20.263 * [backup-simplify]: Simplify 1 into 1
20.263 * [backup-simplify]: Simplify (/ 1 1) into 1
20.263 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in y
20.263 * [taylor]: Taking taylor expansion of (/ 1 x) in y
20.263 * [taylor]: Taking taylor expansion of x in y
20.263 * [backup-simplify]: Simplify x into x
20.263 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
20.263 * [taylor]: Taking taylor expansion of 1.0 in y
20.263 * [backup-simplify]: Simplify 1.0 into 1.0
20.263 * [taylor]: Taking taylor expansion of 1.0 in y
20.263 * [backup-simplify]: Simplify 1.0 into 1.0
20.263 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in y
20.263 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 x) 1.0)) 1.0)
20.263 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 x) 1.0)) in y
20.263 * [taylor]: Taking taylor expansion of (/ 1 y) in y
20.263 * [taylor]: Taking taylor expansion of y in y
20.263 * [backup-simplify]: Simplify 0 into 0
20.263 * [backup-simplify]: Simplify 1 into 1
20.264 * [backup-simplify]: Simplify (/ 1 1) into 1
20.264 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in y
20.264 * [taylor]: Taking taylor expansion of (/ 1 x) in y
20.264 * [taylor]: Taking taylor expansion of x in y
20.264 * [backup-simplify]: Simplify x into x
20.264 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
20.264 * [taylor]: Taking taylor expansion of 1.0 in y
20.264 * [backup-simplify]: Simplify 1.0 into 1.0
20.264 * [taylor]: Taking taylor expansion of 1.0 in y
20.264 * [backup-simplify]: Simplify 1.0 into 1.0
20.264 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
20.265 * [backup-simplify]: Simplify (+ (/ 1 x) (- 1.0)) into (- (/ 1 x) 1.0)
20.265 * [backup-simplify]: Simplify (* 1 (- (/ 1 x) 1.0)) into (- (/ 1 x) 1.0)
20.265 * [backup-simplify]: Simplify (+ (- (/ 1 x) 1.0) 0) into (- (/ 1 x) 1.0)
20.265 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
20.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.265 * [taylor]: Taking taylor expansion of x in x
20.265 * [backup-simplify]: Simplify 0 into 0
20.265 * [backup-simplify]: Simplify 1 into 1
20.265 * [backup-simplify]: Simplify (/ 1 1) into 1
20.265 * [taylor]: Taking taylor expansion of 1.0 in x
20.265 * [backup-simplify]: Simplify 1.0 into 1.0
20.266 * [backup-simplify]: Simplify (+ 1 0) into 1
20.266 * [backup-simplify]: Simplify 1 into 1
20.266 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
20.266 * [backup-simplify]: Simplify (- 0) into 0
20.266 * [backup-simplify]: Simplify (+ 0 0) into 0
20.267 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.267 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (- (/ 1 x) 1.0))) into 0
20.268 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
20.268 * [taylor]: Taking taylor expansion of 1.0 in x
20.268 * [backup-simplify]: Simplify 1.0 into 1.0
20.268 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.268 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
20.269 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
20.269 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
20.269 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
20.270 * [backup-simplify]: Simplify (- 0) into 0
20.270 * [backup-simplify]: Simplify (+ 0 0) into 0
20.270 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.271 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (- (/ 1 x) 1.0)))) into 0
20.271 * [backup-simplify]: Simplify (+ 0 0) into 0
20.272 * [taylor]: Taking taylor expansion of 0 in x
20.272 * [backup-simplify]: Simplify 0 into 0
20.272 * [backup-simplify]: Simplify 1.0 into 1.0
20.272 * [backup-simplify]: Simplify (+ 1.0 (+ (* (- 1.0) (* 1 (/ 1 (/ 1 y)))) (* 1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))))) into (- (+ (* x y) 1.0) (* 1.0 y))
20.272 * [backup-simplify]: Simplify (fma (/ 1 (- y)) (- (/ 1 (- x)) 1.0) 1.0) into (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0)
20.272 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) in (y x) around 0
20.272 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) in x
20.273 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) 1.0)
20.273 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) in x
20.273 * [taylor]: Taking taylor expansion of (/ -1 y) in x
20.273 * [taylor]: Taking taylor expansion of -1 in x
20.273 * [backup-simplify]: Simplify -1 into -1
20.273 * [taylor]: Taking taylor expansion of y in x
20.273 * [backup-simplify]: Simplify y into y
20.273 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
20.273 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in x
20.273 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
20.273 * [taylor]: Taking taylor expansion of 1.0 in x
20.273 * [backup-simplify]: Simplify 1.0 into 1.0
20.273 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.273 * [taylor]: Taking taylor expansion of x in x
20.273 * [backup-simplify]: Simplify 0 into 0
20.273 * [backup-simplify]: Simplify 1 into 1
20.273 * [backup-simplify]: Simplify (/ 1 1) into 1
20.273 * [taylor]: Taking taylor expansion of 1.0 in x
20.273 * [backup-simplify]: Simplify 1.0 into 1.0
20.273 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) in y
20.273 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) 1.0)
20.273 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) in y
20.273 * [taylor]: Taking taylor expansion of (/ -1 y) in y
20.274 * [taylor]: Taking taylor expansion of -1 in y
20.274 * [backup-simplify]: Simplify -1 into -1
20.274 * [taylor]: Taking taylor expansion of y in y
20.274 * [backup-simplify]: Simplify 0 into 0
20.274 * [backup-simplify]: Simplify 1 into 1
20.274 * [backup-simplify]: Simplify (/ -1 1) into -1
20.274 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in y
20.274 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in y
20.274 * [taylor]: Taking taylor expansion of 1.0 in y
20.274 * [backup-simplify]: Simplify 1.0 into 1.0
20.274 * [taylor]: Taking taylor expansion of (/ 1 x) in y
20.274 * [taylor]: Taking taylor expansion of x in y
20.274 * [backup-simplify]: Simplify x into x
20.274 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
20.274 * [taylor]: Taking taylor expansion of 1.0 in y
20.274 * [backup-simplify]: Simplify 1.0 into 1.0
20.274 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) in y
20.274 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) 1.0)
20.274 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) in y
20.274 * [taylor]: Taking taylor expansion of (/ -1 y) in y
20.274 * [taylor]: Taking taylor expansion of -1 in y
20.274 * [backup-simplify]: Simplify -1 into -1
20.274 * [taylor]: Taking taylor expansion of y in y
20.274 * [backup-simplify]: Simplify 0 into 0
20.274 * [backup-simplify]: Simplify 1 into 1
20.275 * [backup-simplify]: Simplify (/ -1 1) into -1
20.275 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in y
20.275 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in y
20.275 * [taylor]: Taking taylor expansion of 1.0 in y
20.275 * [backup-simplify]: Simplify 1.0 into 1.0
20.275 * [taylor]: Taking taylor expansion of (/ 1 x) in y
20.275 * [taylor]: Taking taylor expansion of x in y
20.275 * [backup-simplify]: Simplify x into x
20.275 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
20.275 * [taylor]: Taking taylor expansion of 1.0 in y
20.275 * [backup-simplify]: Simplify 1.0 into 1.0
20.275 * [backup-simplify]: Simplify (+ 1.0 (/ 1 x)) into (+ (/ 1 x) 1.0)
20.275 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0))
20.275 * [backup-simplify]: Simplify (* -1 (- (+ (/ 1 x) 1.0))) into (+ (/ 1 x) 1.0)
20.275 * [backup-simplify]: Simplify (+ (+ (/ 1 x) 1.0) 0) into (+ (/ 1 x) 1.0)
20.275 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
20.275 * [taylor]: Taking taylor expansion of (/ 1 x) in x
20.275 * [taylor]: Taking taylor expansion of x in x
20.275 * [backup-simplify]: Simplify 0 into 0
20.275 * [backup-simplify]: Simplify 1 into 1
20.276 * [backup-simplify]: Simplify (/ 1 1) into 1
20.276 * [taylor]: Taking taylor expansion of 1.0 in x
20.276 * [backup-simplify]: Simplify 1.0 into 1.0
20.276 * [backup-simplify]: Simplify (+ 1 0) into 1
20.276 * [backup-simplify]: Simplify 1 into 1
20.276 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
20.277 * [backup-simplify]: Simplify (+ 0 0) into 0
20.277 * [backup-simplify]: Simplify (- 0) into 0
20.277 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
20.278 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0))
20.278 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (+ (/ 1 x) 1.0)))) into 0
20.278 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
20.278 * [taylor]: Taking taylor expansion of 1.0 in x
20.278 * [backup-simplify]: Simplify 1.0 into 1.0
20.279 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
20.279 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
20.279 * [backup-simplify]: Simplify 1.0 into 1.0
20.279 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
20.280 * [backup-simplify]: Simplify (+ 0 0) into 0
20.280 * [backup-simplify]: Simplify (- 0) into 0
20.280 * [backup-simplify]: Simplify (- 0) into 0
20.281 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
20.281 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0))
20.282 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (+ (/ 1 x) 1.0))))) into 0
20.282 * [backup-simplify]: Simplify (+ 0 0) into 0
20.282 * [taylor]: Taking taylor expansion of 0 in x
20.282 * [backup-simplify]: Simplify 0 into 0
20.282 * [backup-simplify]: Simplify 1.0 into 1.0
20.282 * [backup-simplify]: Simplify (+ 1.0 (+ (* 1.0 (* 1 (/ 1 (/ 1 (- y))))) (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y))))))) into (- (+ (* x y) 1.0) (* 1.0 y))
20.282 * * * [progress]: simplifying candidates
20.284 * [simplify]: Simplifying:
  (expm1 (* (sqrt (fma y (- x 1.0) 1.0)) (sqrt (fma y (- x 1.0) 1.0))))
  (log1p (* (sqrt (fma y (- x 1.0) 1.0)) (sqrt (fma y (- x 1.0) 1.0))))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (* (fma y (- x 1.0) 1.0) (fma y (- x 1.0) 1.0))
  (* (sqrt (fma y (- x 1.0) 1.0)) (sqrt (fma y (- x 1.0) 1.0)))
  (* (fma y (- x 1.0) 1.0) (fma y (- x 1.0) 1.0))
  (+ 1 1)
  (+ (log (sqrt (fma y (- x 1.0) 1.0))) (log (sqrt (fma y (- x 1.0) 1.0))))
  (log (* (sqrt (fma y (- x 1.0) 1.0)) (sqrt (fma y (- x 1.0) 1.0))))
  (exp (* (sqrt (fma y (- x 1.0) 1.0)) (sqrt (fma y (- x 1.0) 1.0))))
  (* (* (* (sqrt (fma y (- x 1.0) 1.0)) (sqrt (fma y (- x 1.0) 1.0))) (sqrt (fma y (- x 1.0) 1.0))) (* (* (sqrt (fma y (- x 1.0) 1.0)) (sqrt (fma y (- x 1.0) 1.0))) (sqrt (fma y (- x 1.0) 1.0))))
  (* (cbrt (* (sqrt (fma y (- x 1.0) 1.0)) (sqrt (fma y (- x 1.0) 1.0)))) (cbrt (* (sqrt (fma y (- x 1.0) 1.0)) (sqrt (fma y (- x 1.0) 1.0)))))
  (cbrt (* (sqrt (fma y (- x 1.0) 1.0)) (sqrt (fma y (- x 1.0) 1.0))))
  (* (* (* (sqrt (fma y (- x 1.0) 1.0)) (sqrt (fma y (- x 1.0) 1.0))) (* (sqrt (fma y (- x 1.0) 1.0)) (sqrt (fma y (- x 1.0) 1.0)))) (* (sqrt (fma y (- x 1.0) 1.0)) (sqrt (fma y (- x 1.0) 1.0))))
  (* (fma y (- x 1.0) 1.0) (fma y (- x 1.0) 1.0))
  (sqrt (* (sqrt (fma y (- x 1.0) 1.0)) (sqrt (fma y (- x 1.0) 1.0))))
  (sqrt (* (sqrt (fma y (- x 1.0) 1.0)) (sqrt (fma y (- x 1.0) 1.0))))
  (* (* (cbrt (sqrt (fma y (- x 1.0) 1.0))) (cbrt (sqrt (fma y (- x 1.0) 1.0)))) (* (cbrt (sqrt (fma y (- x 1.0) 1.0))) (cbrt (sqrt (fma y (- x 1.0) 1.0)))))
  (* (cbrt (sqrt (fma y (- x 1.0) 1.0))) (cbrt (sqrt (fma y (- x 1.0) 1.0))))
  (* (sqrt (* (cbrt (fma y (- x 1.0) 1.0)) (cbrt (fma y (- x 1.0) 1.0)))) (sqrt (* (cbrt (fma y (- x 1.0) 1.0)) (cbrt (fma y (- x 1.0) 1.0)))))
  (* (sqrt (cbrt (fma y (- x 1.0) 1.0))) (sqrt (cbrt (fma y (- x 1.0) 1.0))))
  (* (sqrt (sqrt (fma y (- x 1.0) 1.0))) (sqrt (sqrt (fma y (- x 1.0) 1.0))))
  (* (sqrt (sqrt (fma y (- x 1.0) 1.0))) (sqrt (sqrt (fma y (- x 1.0) 1.0))))
  (* (sqrt (sqrt (fma y (- x 1.0) 1.0))) (sqrt (sqrt (fma y (- x 1.0) 1.0))))
  (* (sqrt (sqrt (fma y (- x 1.0) 1.0))) (sqrt (sqrt (fma y (- x 1.0) 1.0))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (fma y (- x 1.0) 1.0)) (sqrt (fma y (- x 1.0) 1.0)))
  (* (sqrt (sqrt (fma y (- x 1.0) 1.0))) (sqrt (sqrt (fma y (- x 1.0) 1.0))))
  (* (sqrt (sqrt (fma y (- x 1.0) 1.0))) (sqrt (sqrt (fma y (- x 1.0) 1.0))))
  (* (sqrt (sqrt (fma y (- x 1.0) 1.0))) (sqrt (sqrt (fma y (- x 1.0) 1.0))))
  (* (sqrt (sqrt (fma y (- x 1.0) 1.0))) (sqrt (sqrt (fma y (- x 1.0) 1.0))))
  (* 1 1)
  (* (sqrt (fma y (- x 1.0) 1.0)) (sqrt (fma y (- x 1.0) 1.0)))
  (* (sqrt (sqrt (fma y (- x 1.0) 1.0))) (sqrt (sqrt (fma y (- x 1.0) 1.0))))
  (* (sqrt (sqrt (fma y (- x 1.0) 1.0))) (sqrt (sqrt (fma y (- x 1.0) 1.0))))
  (* (sqrt (sqrt (fma y (- x 1.0) 1.0))) (sqrt (sqrt (fma y (- x 1.0) 1.0))))
  (* (sqrt (sqrt (fma y (- x 1.0) 1.0))) (sqrt (sqrt (fma y (- x 1.0) 1.0))))
  (* (sqrt (sqrt (fma y (- x 1.0) 1.0))) (sqrt (sqrt (fma y (- x 1.0) 1.0))))
  (* (sqrt (sqrt (fma y (- x 1.0) 1.0))) (sqrt (sqrt (fma y (- x 1.0) 1.0))))
  (* (sqrt (sqrt (fma y (- x 1.0) 1.0))) (sqrt (sqrt (fma y (- x 1.0) 1.0))))
  (* (sqrt (sqrt (fma y (- x 1.0) 1.0))) (sqrt (sqrt (fma y (- x 1.0) 1.0))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1 2))
  (* (sqrt (fma y (- x 1.0) 1.0)) (* (cbrt (sqrt (fma y (- x 1.0) 1.0))) (cbrt (sqrt (fma y (- x 1.0) 1.0)))))
  (* (sqrt (fma y (- x 1.0) 1.0)) (sqrt (* (cbrt (fma y (- x 1.0) 1.0)) (cbrt (fma y (- x 1.0) 1.0)))))
  (* (sqrt (fma y (- x 1.0) 1.0)) (sqrt (sqrt (fma y (- x 1.0) 1.0))))
  (* (sqrt (fma y (- x 1.0) 1.0)) (sqrt 1))
  (* (sqrt (fma y (- x 1.0) 1.0)) (sqrt (sqrt (fma y (- x 1.0) 1.0))))
  (* (sqrt (fma y (- x 1.0) 1.0)) 1)
  (* (cbrt (sqrt (fma y (- x 1.0) 1.0))) (sqrt (fma y (- x 1.0) 1.0)))
  (* (sqrt (cbrt (fma y (- x 1.0) 1.0))) (sqrt (fma y (- x 1.0) 1.0)))
  (* (sqrt (sqrt (fma y (- x 1.0) 1.0))) (sqrt (fma y (- x 1.0) 1.0)))
  (* (sqrt (fma y (- x 1.0) 1.0)) (sqrt (fma y (- x 1.0) 1.0)))
  (* (sqrt (sqrt (fma y (- x 1.0) 1.0))) (sqrt (fma y (- x 1.0) 1.0)))
  (* (sqrt (fma y (- x 1.0) 1.0)) (sqrt (fma y (- x 1.0) 1.0)))
  (expm1 (sqrt (fma y (- x 1.0) 1.0)))
  (log1p (sqrt (fma y (- x 1.0) 1.0)))
  (log (sqrt (fma y (- x 1.0) 1.0)))
  (exp (sqrt (fma y (- x 1.0) 1.0)))
  (* (cbrt (sqrt (fma y (- x 1.0) 1.0))) (cbrt (sqrt (fma y (- x 1.0) 1.0))))
  (cbrt (sqrt (fma y (- x 1.0) 1.0)))
  (* (* (sqrt (fma y (- x 1.0) 1.0)) (sqrt (fma y (- x 1.0) 1.0))) (sqrt (fma y (- x 1.0) 1.0)))
  (sqrt (* (cbrt (fma y (- x 1.0) 1.0)) (cbrt (fma y (- x 1.0) 1.0))))
  (sqrt (cbrt (fma y (- x 1.0) 1.0)))
  (sqrt (sqrt (fma y (- x 1.0) 1.0)))
  (sqrt (sqrt (fma y (- x 1.0) 1.0)))
  (sqrt 1)
  (sqrt (fma y (- x 1.0) 1.0))
  (/ 1 2)
  (sqrt (sqrt (fma y (- x 1.0) 1.0)))
  (sqrt (sqrt (fma y (- x 1.0) 1.0)))
  (expm1 (sqrt (fma y (- x 1.0) 1.0)))
  (log1p (sqrt (fma y (- x 1.0) 1.0)))
  (log (sqrt (fma y (- x 1.0) 1.0)))
  (exp (sqrt (fma y (- x 1.0) 1.0)))
  (* (cbrt (sqrt (fma y (- x 1.0) 1.0))) (cbrt (sqrt (fma y (- x 1.0) 1.0))))
  (cbrt (sqrt (fma y (- x 1.0) 1.0)))
  (* (* (sqrt (fma y (- x 1.0) 1.0)) (sqrt (fma y (- x 1.0) 1.0))) (sqrt (fma y (- x 1.0) 1.0)))
  (sqrt (* (cbrt (fma y (- x 1.0) 1.0)) (cbrt (fma y (- x 1.0) 1.0))))
  (sqrt (cbrt (fma y (- x 1.0) 1.0)))
  (sqrt (sqrt (fma y (- x 1.0) 1.0)))
  (sqrt (sqrt (fma y (- x 1.0) 1.0)))
  (sqrt 1)
  (sqrt (fma y (- x 1.0) 1.0))
  (/ 1 2)
  (sqrt (sqrt (fma y (- x 1.0) 1.0)))
  (sqrt (sqrt (fma y (- x 1.0) 1.0)))
  (expm1 (fma y (- x 1.0) 1.0))
  (log1p (fma y (- x 1.0) 1.0))
  (* y (- x 1.0))
  (log (fma y (- x 1.0) 1.0))
  (exp (fma y (- x 1.0) 1.0))
  (* (cbrt (fma y (- x 1.0) 1.0)) (cbrt (fma y (- x 1.0) 1.0)))
  (cbrt (fma y (- x 1.0) 1.0))
  (* (* (fma y (- x 1.0) 1.0) (fma y (- x 1.0) 1.0)) (fma y (- x 1.0) 1.0))
  (sqrt (fma y (- x 1.0) 1.0))
  (sqrt (fma y (- x 1.0) 1.0))
  (- (+ (* x y) 1.0) (* 1.0 y))
  (- (+ (* x y) 1.0) (* 1.0 y))
  (- (+ (* x y) 1.0) (* 1.0 y))
  (- (sqrt 1.0) (+ (* 0.125 (/ (pow y 2) (pow (sqrt 1.0) 3))) (* 0.5 (/ y (sqrt 1.0)))))
  (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ x y)) (- +nan.0)))))
  (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ x y)) (- +nan.0)))))
  (- (sqrt 1.0) (+ (* 0.125 (/ (pow y 2) (pow (sqrt 1.0) 3))) (* 0.5 (/ y (sqrt 1.0)))))
  (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ x y)) (- +nan.0)))))
  (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ x y)) (- +nan.0)))))
  (- (+ (* x y) 1.0) (* 1.0 y))
  (- (+ (* x y) 1.0) (* 1.0 y))
  (- (+ (* x y) 1.0) (* 1.0 y))
20.286 * * [simplify]: Extracting # 0 : cost  0
20.286 * * [simplify]: Extracting # 1 : cost  0
20.286 * * [simplify]: Extracting # 2 : cost  0
20.286 * * [simplify]: Extracting # 3 : cost  0
20.287 * * [simplify]: Extracting # 4 : cost  0
20.287 * * [simplify]: Extracting # 5 : cost  0
20.287 * * [simplify]: Extracting # 6 : cost  0
20.287 * * [simplify]: Extracting # 7 : cost  0
20.287 * * [simplify]: Extracting # 8 : cost  0
20.287 * * [simplify]: Extracting # 9 : cost  0
20.287 * * [simplify]: iteration  0 :  89  enodes  (cost  1488 )
20.343 * * [simplify]: Extracting # 0 : cost  0
20.344 * * [simplify]: Extracting # 1 : cost  0
20.344 * * [simplify]: Extracting # 2 : cost  0
20.344 * * [simplify]: Extracting # 3 : cost  0
20.345 * * [simplify]: iteration  1 :  167  enodes  (cost  1007 )
20.426 * * [simplify]: Extracting # 0 : cost  0
20.427 * * [simplify]: Extracting # 1 : cost  0
20.428 * * [simplify]: Extracting # 2 : cost  0
20.429 * * [simplify]: Extracting # 3 : cost  0
20.430 * * [simplify]: Extracting # 4 : cost  0
20.431 * * [simplify]: iteration  2 :  407  enodes  (cost  909 )
20.644 * * [simplify]: Extracting # 0 : cost  0
20.647 * * [simplify]: Extracting # 1 : cost  0
20.650 * * [simplify]: Extracting # 2 : cost  0
20.653 * * [simplify]: Extracting # 3 : cost  0
20.663 * * [simplify]: Extracting # 4 : cost  0
20.666 * * [simplify]: iteration  3 :  1312  enodes  (cost  868 )
21.587 * * [simplify]: Extracting # 0 : cost  0
21.599 * * [simplify]: Extracting # 1 : cost  0
21.613 * * [simplify]: Extracting # 2 : cost  0
21.626 * * [simplify]: Extracting # 3 : cost  0
21.634 * * [simplify]: Extracting # 4 : cost  0
21.642 * * [simplify]: iteration done:  5001  enodes  (cost  842 )
21.643 * [simplify]: Simplified to:
  (expm1 (fma y (- x 1.0) 1.0))
  (log1p (fma y (- x 1.0) 1.0))
  1
  1
  2
  1
  1
  (pow (sqrt (fma (- x 1.0) y 1.0)) 4)
  (fma (- x 1.0) y 1.0)
  (pow (sqrt (fma (- x 1.0) y 1.0)) 4)
  2
  (log (fma y (- x 1.0) 1.0))
  (log (fma y (- x 1.0) 1.0))
  (exp (fma y (- x 1.0) 1.0))
  (pow (fma y (- x 1.0) 1.0) 3)
  (pow (sqrt (cbrt (fma y (- x 1.0) 1.0))) 4)
  (cbrt (fma y (- x 1.0) 1.0))
  (pow (fma y (- x 1.0) 1.0) 3)
  (pow (sqrt (fma (- x 1.0) y 1.0)) 4)
  (sqrt (fma (- x 1.0) y 1.0))
  (sqrt (fma (- x 1.0) y 1.0))
  (pow (cbrt (sqrt (fma (- x 1.0) y 1.0))) 4)
  (* (cbrt (sqrt (fma y (- x 1.0) 1.0))) (cbrt (sqrt (fma y (- x 1.0) 1.0))))
  (pow (sqrt (cbrt (fma y (- x 1.0) 1.0))) 4)
  (cbrt (fma y (- x 1.0) 1.0))
  (sqrt (fma (- x 1.0) y 1.0))
  (sqrt (fma (- x 1.0) y 1.0))
  (sqrt (fma (- x 1.0) y 1.0))
  (sqrt (fma (- x 1.0) y 1.0))
  1
  (fma (- x 1.0) y 1.0)
  (sqrt (fma (- x 1.0) y 1.0))
  (sqrt (fma (- x 1.0) y 1.0))
  (sqrt (fma (- x 1.0) y 1.0))
  (sqrt (fma (- x 1.0) y 1.0))
  1
  (fma (- x 1.0) y 1.0)
  (sqrt (fma (- x 1.0) y 1.0))
  (sqrt (fma (- x 1.0) y 1.0))
  (sqrt (fma (- x 1.0) y 1.0))
  (sqrt (fma (- x 1.0) y 1.0))
  (sqrt (fma (- x 1.0) y 1.0))
  (sqrt (fma (- x 1.0) y 1.0))
  (sqrt (fma (- x 1.0) y 1.0))
  (sqrt (fma (- x 1.0) y 1.0))
  1
  2
  1
  (pow (cbrt (sqrt (fma (- x 1.0) y 1.0))) (+ 4 1))
  (* (sqrt (fma y (- x 1.0) 1.0)) (fabs (cbrt (fma y (- x 1.0) 1.0))))
  (pow (sqrt (sqrt (fma y (- x 1.0) 1.0))) 3)
  (sqrt (fma (- x 1.0) y 1.0))
  (pow (sqrt (sqrt (fma y (- x 1.0) 1.0))) 3)
  (sqrt (fma (- x 1.0) y 1.0))
  (pow (cbrt (sqrt (fma (- x 1.0) y 1.0))) 4)
  (* (sqrt (cbrt (fma y (- x 1.0) 1.0))) (sqrt (fma y (- x 1.0) 1.0)))
  (pow (sqrt (sqrt (fma y (- x 1.0) 1.0))) 3)
  (fma (- x 1.0) y 1.0)
  (pow (sqrt (sqrt (fma y (- x 1.0) 1.0))) 3)
  (fma (- x 1.0) y 1.0)
  (expm1 (sqrt (fma y (- x 1.0) 1.0)))
  (log1p (sqrt (fma y (- x 1.0) 1.0)))
  (log (sqrt (fma y (- x 1.0) 1.0)))
  (exp (sqrt (fma y (- x 1.0) 1.0)))
  (* (cbrt (sqrt (fma y (- x 1.0) 1.0))) (cbrt (sqrt (fma y (- x 1.0) 1.0))))
  (cbrt (sqrt (fma (- x 1.0) y 1.0)))
  (pow (sqrt (fma y (- x 1.0) 1.0)) 3)
  (fabs (cbrt (fma y (- x 1.0) 1.0)))
  (sqrt (cbrt (fma y (- x 1.0) 1.0)))
  (sqrt (sqrt (fma (- x 1.0) y 1.0)))
  (sqrt (sqrt (fma (- x 1.0) y 1.0)))
  1
  (sqrt (fma (- x 1.0) y 1.0))
  1/2
  (sqrt (sqrt (fma (- x 1.0) y 1.0)))
  (sqrt (sqrt (fma (- x 1.0) y 1.0)))
  (expm1 (sqrt (fma y (- x 1.0) 1.0)))
  (log1p (sqrt (fma y (- x 1.0) 1.0)))
  (log (sqrt (fma y (- x 1.0) 1.0)))
  (exp (sqrt (fma y (- x 1.0) 1.0)))
  (* (cbrt (sqrt (fma y (- x 1.0) 1.0))) (cbrt (sqrt (fma y (- x 1.0) 1.0))))
  (cbrt (sqrt (fma (- x 1.0) y 1.0)))
  (pow (sqrt (fma y (- x 1.0) 1.0)) 3)
  (fabs (cbrt (fma y (- x 1.0) 1.0)))
  (sqrt (cbrt (fma y (- x 1.0) 1.0)))
  (sqrt (sqrt (fma (- x 1.0) y 1.0)))
  (sqrt (sqrt (fma (- x 1.0) y 1.0)))
  1
  (sqrt (fma (- x 1.0) y 1.0))
  1/2
  (sqrt (sqrt (fma (- x 1.0) y 1.0)))
  (sqrt (sqrt (fma (- x 1.0) y 1.0)))
  (expm1 (fma y (- x 1.0) 1.0))
  (log1p (fma y (- x 1.0) 1.0))
  (* (- x 1.0) y)
  (log (fma y (- x 1.0) 1.0))
  (exp (fma y (- x 1.0) 1.0))
  (pow (sqrt (cbrt (fma y (- x 1.0) 1.0))) 4)
  (cbrt (fma y (- x 1.0) 1.0))
  (pow (fma y (- x 1.0) 1.0) 3)
  (sqrt (fma (- x 1.0) y 1.0))
  (sqrt (fma (- x 1.0) y 1.0))
  (fma (- x 1.0) y 1.0)
  (fma (- x 1.0) y 1.0)
  (fma (- x 1.0) y 1.0)
  (- (sqrt 1.0) (fma 0.125 (/ (pow y 2) (pow (sqrt 1.0) 3)) (* 0.5 (/ y (sqrt 1.0)))))
  (- (fma +nan.0 (- x (/ x y)) +nan.0))
  (- (fma +nan.0 (- x (/ x y)) +nan.0))
  (- (sqrt 1.0) (fma 0.125 (/ (pow y 2) (pow (sqrt 1.0) 3)) (* 0.5 (/ y (sqrt 1.0)))))
  (- (fma +nan.0 (- x (/ x y)) +nan.0))
  (- (fma +nan.0 (- x (/ x y)) +nan.0))
  (fma (- x 1.0) y 1.0)
  (fma (- x 1.0) y 1.0)
  (fma (- x 1.0) y 1.0)
21.643 * * * [progress]: adding candidates to table
21.944 * [progress]: [Phase 3 of 3] Extracting.
21.944 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (fma y (- x 1.0) 1.0))> #<alt (λ (x y) (* (sqrt (fma y (- x 1.0) 1.0)) (sqrt (fma y (- x 1.0) 1.0))))>)
21.945 * * * [regime-changes]: Trying 2 branch expressions: (y x)
21.945 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (fma y (- x 1.0) 1.0))> #<alt (λ (x y) (* (sqrt (fma y (- x 1.0) 1.0)) (sqrt (fma y (- x 1.0) 1.0))))>)
21.965 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (fma y (- x 1.0) 1.0))> #<alt (λ (x y) (* (sqrt (fma y (- x 1.0) 1.0)) (sqrt (fma y (- x 1.0) 1.0))))>)
21.980 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
21.981 * [simplify]: Simplifying:
  (fma y (- x 1.0) 1.0)
21.981 * * [simplify]: Extracting # 0 : cost  0
21.981 * * [simplify]: Extracting # 1 : cost  0
21.981 * * [simplify]: Extracting # 2 : cost  0
21.981 * * [simplify]: Extracting # 3 : cost  0
21.981 * * [simplify]: Extracting # 4 : cost  0
21.981 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
21.981 * * [simplify]: Extracting # 0 : cost  0
21.981 * * [simplify]: iteration done:  5  enodes  (cost  6 )
21.981 * [simplify]: Simplified to:
  (fma y (- x 1.0) 1.0)
23.220 * [regime-testing]: Baseline error score: 0.005000625078134767
23.227 * [regime-testing]: Oracle error score: 0.004625578197274659
23.235 * [regime-testing]: End program error score: 0.005000625078134767
23.268 * [regime-testing]: Target error score: 0.006448926428393694