63.111 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.020 * * * [progress]: [2/2] Setting up program.
0.022 * [progress]: [Phase 2 of 3] Improving.
0.022 * [simplify]: Simplifying:
  (+ x (* (- 1.0 x) (- 1.0 y)))
0.022 * * [simplify]: Extracting # 0 : cost  0
0.022 * * [simplify]: Extracting # 1 : cost  0
0.022 * * [simplify]: Extracting # 2 : cost  0
0.023 * * [simplify]: Extracting # 3 : cost  0
0.023 * * [simplify]: Extracting # 4 : cost  0
0.023 * * [simplify]: Extracting # 5 : cost  0
0.023 * * [simplify]: iteration  0 :  7  enodes  (cost  9 )
0.024 * * [simplify]: Extracting # 0 : cost  0
0.024 * * [simplify]: Extracting # 1 : cost  0
0.024 * * [simplify]: Extracting # 2 : cost  0
0.024 * * [simplify]: iteration  1 :  13  enodes  (cost  9 )
0.027 * * [simplify]: Extracting # 0 : cost  0
0.027 * * [simplify]: Extracting # 1 : cost  0
0.027 * * [simplify]: Extracting # 2 : cost  0
0.027 * * [simplify]: iteration  2 :  29  enodes  (cost  8 )
0.041 * * [simplify]: Extracting # 0 : cost  0
0.041 * * [simplify]: Extracting # 1 : cost  0
0.042 * * [simplify]: Extracting # 2 : cost  0
0.042 * * [simplify]: iteration  3 :  84  enodes  (cost  8 )
0.106 * * [simplify]: Extracting # 0 : cost  0
0.106 * * [simplify]: Extracting # 1 : cost  0
0.107 * * [simplify]: Extracting # 2 : cost  0
0.107 * * [simplify]: iteration  4 :  278  enodes  (cost  8 )
0.287 * * [simplify]: Extracting # 0 : cost  0
0.288 * * [simplify]: Extracting # 1 : cost  0
0.289 * * [simplify]: Extracting # 2 : cost  0
0.290 * * [simplify]: Extracting # 3 : cost  0
0.291 * * [simplify]: Extracting # 4 : cost  0
0.292 * * [simplify]: iteration  5 :  663  enodes  (cost  8 )
1.161 * * [simplify]: Extracting # 0 : cost  0
1.163 * * [simplify]: Extracting # 1 : cost  0
1.165 * * [simplify]: Extracting # 2 : cost  0
1.166 * * [simplify]: Extracting # 3 : cost  0
1.167 * * [simplify]: iteration  6 :  1289  enodes  (cost  8 )
3.195 * * [simplify]: Extracting # 0 : cost  0
3.198 * * [simplify]: Extracting # 1 : cost  0
3.199 * * [simplify]: Extracting # 2 : cost  0
3.201 * * [simplify]: Extracting # 3 : cost  0
3.203 * * [simplify]: iteration  7 :  2486  enodes  (cost  8 )
7.761 * * [simplify]: Extracting # 0 : cost  0
7.765 * * [simplify]: Extracting # 1 : cost  0
7.767 * * [simplify]: Extracting # 2 : cost  0
7.769 * * [simplify]: iteration  8 :  3245  enodes  (cost  8 )
13.963 * * [simplify]: Extracting # 0 : cost  0
13.967 * * [simplify]: Extracting # 1 : cost  0
13.970 * * [simplify]: Extracting # 2 : cost  0
13.974 * * [simplify]: iteration  9 :  4653  enodes  (cost  8 )
16.178 * * [simplify]: Extracting # 0 : cost  0
16.180 * * [simplify]: Extracting # 1 : cost  0
16.182 * * [simplify]: Extracting # 2 : cost  0
16.185 * * [simplify]: iteration done:  5001  enodes  (cost  8 )
16.185 * [simplify]: Simplified to:
  (fma (- 1.0 y) (- 1.0 x) x)
16.187 * * [progress]: iteration 1 / 4
16.187 * * * [progress]: picking best candidate
16.190 * * * * [pick]: Picked  #<alt (λ (x y) (fma (- 1.0 y) (- 1.0 x) x))>
16.190 * * * [progress]: localizing error
16.196 * * * [progress]: generating rewritten candidates
16.196 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
16.197 * * * [progress]: generating series expansions
16.197 * * * * [progress]: [ 1 / 1 ] generating series at (2)
16.197 * [backup-simplify]: Simplify (fma (- 1.0 y) (- 1.0 x) x) into (fma (- 1.0 y) (- 1.0 x) x)
16.197 * [approximate]: Taking taylor expansion of (fma (- 1.0 y) (- 1.0 x) x) in (y x) around 0
16.197 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) (- 1.0 x) x) in x
16.197 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) (- 1.0 x)) x)
16.197 * [taylor]: Taking taylor expansion of (* (- 1.0 y) (- 1.0 x)) in x
16.197 * [taylor]: Taking taylor expansion of (- 1.0 y) in x
16.197 * [taylor]: Taking taylor expansion of 1.0 in x
16.197 * [backup-simplify]: Simplify 1.0 into 1.0
16.197 * [taylor]: Taking taylor expansion of y in x
16.197 * [backup-simplify]: Simplify y into y
16.197 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
16.197 * [taylor]: Taking taylor expansion of 1.0 in x
16.197 * [backup-simplify]: Simplify 1.0 into 1.0
16.197 * [taylor]: Taking taylor expansion of x in x
16.197 * [backup-simplify]: Simplify 0 into 0
16.197 * [backup-simplify]: Simplify 1 into 1
16.197 * [taylor]: Taking taylor expansion of x in x
16.197 * [backup-simplify]: Simplify 0 into 0
16.197 * [backup-simplify]: Simplify 1 into 1
16.197 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) (- 1.0 x) x) in y
16.197 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) (- 1.0 x)) x)
16.197 * [taylor]: Taking taylor expansion of (* (- 1.0 y) (- 1.0 x)) in y
16.197 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
16.197 * [taylor]: Taking taylor expansion of 1.0 in y
16.198 * [backup-simplify]: Simplify 1.0 into 1.0
16.198 * [taylor]: Taking taylor expansion of y in y
16.198 * [backup-simplify]: Simplify 0 into 0
16.198 * [backup-simplify]: Simplify 1 into 1
16.198 * [taylor]: Taking taylor expansion of (- 1.0 x) in y
16.198 * [taylor]: Taking taylor expansion of 1.0 in y
16.198 * [backup-simplify]: Simplify 1.0 into 1.0
16.198 * [taylor]: Taking taylor expansion of x in y
16.198 * [backup-simplify]: Simplify x into x
16.198 * [taylor]: Taking taylor expansion of x in y
16.198 * [backup-simplify]: Simplify x into x
16.198 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) (- 1.0 x) x) in y
16.198 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) (- 1.0 x)) x)
16.198 * [taylor]: Taking taylor expansion of (* (- 1.0 y) (- 1.0 x)) in y
16.198 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
16.198 * [taylor]: Taking taylor expansion of 1.0 in y
16.198 * [backup-simplify]: Simplify 1.0 into 1.0
16.198 * [taylor]: Taking taylor expansion of y in y
16.198 * [backup-simplify]: Simplify 0 into 0
16.198 * [backup-simplify]: Simplify 1 into 1
16.198 * [taylor]: Taking taylor expansion of (- 1.0 x) in y
16.198 * [taylor]: Taking taylor expansion of 1.0 in y
16.198 * [backup-simplify]: Simplify 1.0 into 1.0
16.198 * [taylor]: Taking taylor expansion of x in y
16.198 * [backup-simplify]: Simplify x into x
16.198 * [taylor]: Taking taylor expansion of x in y
16.198 * [backup-simplify]: Simplify x into x
16.198 * [backup-simplify]: Simplify (- 0) into 0
16.199 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
16.199 * [backup-simplify]: Simplify (- x) into (- x)
16.199 * [backup-simplify]: Simplify (+ 1.0 (- x)) into (- 1.0 x)
16.199 * [backup-simplify]: Simplify (* 1.0 (- 1.0 x)) into (* 1.0 (- 1.0 x))
16.199 * [backup-simplify]: Simplify (+ (* 1.0 (- 1.0 x)) x) into 1.0
16.199 * [taylor]: Taking taylor expansion of 1.0 in x
16.199 * [backup-simplify]: Simplify 1.0 into 1.0
16.199 * [backup-simplify]: Simplify 1.0 into 1.0
16.200 * [backup-simplify]: Simplify (- 0) into 0
16.200 * [backup-simplify]: Simplify (+ 0 0) into 0
16.200 * [backup-simplify]: Simplify (- 1) into -1
16.200 * [backup-simplify]: Simplify (+ 0 -1) into -1
16.201 * [backup-simplify]: Simplify (+ (* 1.0 0) (* -1 (- 1.0 x))) into (- x 1.0)
16.201 * [backup-simplify]: Simplify (+ (- x 1.0) 0) into (- x 1.0)
16.201 * [taylor]: Taking taylor expansion of (- x 1.0) in x
16.201 * [taylor]: Taking taylor expansion of x in x
16.201 * [backup-simplify]: Simplify 0 into 0
16.201 * [backup-simplify]: Simplify 1 into 1
16.201 * [taylor]: Taking taylor expansion of 1.0 in x
16.201 * [backup-simplify]: Simplify 1.0 into 1.0
16.201 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
16.202 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
16.202 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
16.202 * [backup-simplify]: Simplify 0 into 0
16.202 * [backup-simplify]: Simplify (- 0) into 0
16.203 * [backup-simplify]: Simplify (+ 0 0) into 0
16.203 * [backup-simplify]: Simplify (- 0) into 0
16.203 * [backup-simplify]: Simplify (+ 0 0) into 0
16.204 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* -1 0) (* 0 (- 1.0 x)))) into 0
16.204 * [backup-simplify]: Simplify (+ 0 0) into 0
16.204 * [taylor]: Taking taylor expansion of 0 in x
16.204 * [backup-simplify]: Simplify 0 into 0
16.204 * [backup-simplify]: Simplify 0 into 0
16.204 * [backup-simplify]: Simplify (- 0) into 0
16.204 * [backup-simplify]: Simplify (+ 1 0) into 1
16.204 * [backup-simplify]: Simplify 1 into 1
16.205 * [backup-simplify]: Simplify (+ (* 1 (* x y)) (+ (* (- 1.0) (* 1 y)) 1.0)) into (- (+ (* x y) 1.0) (* 1.0 y))
16.205 * [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.205 * [approximate]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x)) (/ 1 x)) in (y x) around 0
16.205 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x)) (/ 1 x)) in x
16.205 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) (/ 1 x))
16.205 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) in x
16.205 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x
16.205 * [taylor]: Taking taylor expansion of 1.0 in x
16.205 * [backup-simplify]: Simplify 1.0 into 1.0
16.205 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.205 * [taylor]: Taking taylor expansion of y in x
16.205 * [backup-simplify]: Simplify y into y
16.205 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
16.205 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
16.205 * [taylor]: Taking taylor expansion of 1.0 in x
16.205 * [backup-simplify]: Simplify 1.0 into 1.0
16.205 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.205 * [taylor]: Taking taylor expansion of x in x
16.205 * [backup-simplify]: Simplify 0 into 0
16.205 * [backup-simplify]: Simplify 1 into 1
16.206 * [backup-simplify]: Simplify (/ 1 1) into 1
16.206 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.206 * [taylor]: Taking taylor expansion of x in x
16.206 * [backup-simplify]: Simplify 0 into 0
16.206 * [backup-simplify]: Simplify 1 into 1
16.206 * [backup-simplify]: Simplify (/ 1 1) into 1
16.206 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x)) (/ 1 x)) in y
16.206 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) (/ 1 x))
16.206 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) in y
16.206 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
16.206 * [taylor]: Taking taylor expansion of 1.0 in y
16.206 * [backup-simplify]: Simplify 1.0 into 1.0
16.206 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.206 * [taylor]: Taking taylor expansion of y in y
16.206 * [backup-simplify]: Simplify 0 into 0
16.206 * [backup-simplify]: Simplify 1 into 1
16.207 * [backup-simplify]: Simplify (/ 1 1) into 1
16.207 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y
16.207 * [taylor]: Taking taylor expansion of 1.0 in y
16.207 * [backup-simplify]: Simplify 1.0 into 1.0
16.207 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.207 * [taylor]: Taking taylor expansion of x in y
16.207 * [backup-simplify]: Simplify x into x
16.207 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
16.207 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.207 * [taylor]: Taking taylor expansion of x in y
16.207 * [backup-simplify]: Simplify x into x
16.207 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
16.207 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x)) (/ 1 x)) in y
16.207 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) (/ 1 x))
16.207 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) in y
16.207 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
16.207 * [taylor]: Taking taylor expansion of 1.0 in y
16.207 * [backup-simplify]: Simplify 1.0 into 1.0
16.207 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.207 * [taylor]: Taking taylor expansion of y in y
16.207 * [backup-simplify]: Simplify 0 into 0
16.207 * [backup-simplify]: Simplify 1 into 1
16.207 * [backup-simplify]: Simplify (/ 1 1) into 1
16.208 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y
16.208 * [taylor]: Taking taylor expansion of 1.0 in y
16.208 * [backup-simplify]: Simplify 1.0 into 1.0
16.208 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.208 * [taylor]: Taking taylor expansion of x in y
16.208 * [backup-simplify]: Simplify x into x
16.208 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
16.208 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.208 * [taylor]: Taking taylor expansion of x in y
16.208 * [backup-simplify]: Simplify x into x
16.208 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
16.208 * [backup-simplify]: Simplify (- 1) into -1
16.208 * [backup-simplify]: Simplify (+ 0 -1) into -1
16.208 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
16.209 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x))
16.209 * [backup-simplify]: Simplify (* -1 (- 1.0 (/ 1 x))) into (* -1 (- 1.0 (/ 1 x)))
16.209 * [backup-simplify]: Simplify (+ (* -1 (- 1.0 (/ 1 x))) 0) into (- (/ 1 x) 1.0)
16.209 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
16.209 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.209 * [taylor]: Taking taylor expansion of x in x
16.209 * [backup-simplify]: Simplify 0 into 0
16.209 * [backup-simplify]: Simplify 1 into 1
16.209 * [backup-simplify]: Simplify (/ 1 1) into 1
16.209 * [taylor]: Taking taylor expansion of 1.0 in x
16.209 * [backup-simplify]: Simplify 1.0 into 1.0
16.209 * [backup-simplify]: Simplify (+ 1 0) into 1
16.209 * [backup-simplify]: Simplify 1 into 1
16.210 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
16.210 * [backup-simplify]: Simplify (- 0) into 0
16.210 * [backup-simplify]: Simplify (+ 0 0) into 0
16.210 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.211 * [backup-simplify]: Simplify (- 0) into 0
16.211 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
16.211 * [backup-simplify]: Simplify (+ (* -1 0) (* 1.0 (- 1.0 (/ 1 x)))) into (- 1.0 (* 1.0 (/ 1 x)))
16.211 * [backup-simplify]: Simplify (+ (- 1.0 (* 1.0 (/ 1 x))) (/ 1 x)) into 1.0
16.211 * [taylor]: Taking taylor expansion of 1.0 in x
16.212 * [backup-simplify]: Simplify 1.0 into 1.0
16.212 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.212 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
16.213 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
16.213 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
16.213 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
16.213 * [backup-simplify]: Simplify (- 0) into 0
16.214 * [backup-simplify]: Simplify (+ 0 0) into 0
16.214 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.214 * [backup-simplify]: Simplify (- 0) into 0
16.215 * [backup-simplify]: Simplify (+ 0 0) into 0
16.215 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 1.0 0) (* 0 (- 1.0 (/ 1 x))))) into 0
16.215 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
16.216 * [backup-simplify]: Simplify (+ 0 0) into 0
16.216 * [taylor]: Taking taylor expansion of 0 in x
16.216 * [backup-simplify]: Simplify 0 into 0
16.216 * [backup-simplify]: Simplify 1.0 into 1.0
16.216 * [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.216 * [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.216 * [approximate]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0) (/ -1 x)) in (y x) around 0
16.216 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0) (/ -1 x)) in x
16.216 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0)) (/ -1 x))
16.216 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0)) in x
16.217 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x
16.217 * [taylor]: Taking taylor expansion of (/ 1 y) in x
16.217 * [taylor]: Taking taylor expansion of y in x
16.217 * [backup-simplify]: Simplify y into y
16.217 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
16.217 * [taylor]: Taking taylor expansion of 1.0 in x
16.217 * [backup-simplify]: Simplify 1.0 into 1.0
16.217 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
16.217 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.217 * [taylor]: Taking taylor expansion of x in x
16.217 * [backup-simplify]: Simplify 0 into 0
16.217 * [backup-simplify]: Simplify 1 into 1
16.217 * [backup-simplify]: Simplify (/ 1 1) into 1
16.217 * [taylor]: Taking taylor expansion of 1.0 in x
16.217 * [backup-simplify]: Simplify 1.0 into 1.0
16.217 * [taylor]: Taking taylor expansion of (/ -1 x) in x
16.217 * [taylor]: Taking taylor expansion of -1 in x
16.217 * [backup-simplify]: Simplify -1 into -1
16.217 * [taylor]: Taking taylor expansion of x in x
16.217 * [backup-simplify]: Simplify 0 into 0
16.217 * [backup-simplify]: Simplify 1 into 1
16.217 * [backup-simplify]: Simplify (/ -1 1) into -1
16.218 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0) (/ -1 x)) in y
16.218 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0)) (/ -1 x))
16.218 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0)) in y
16.218 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
16.218 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.218 * [taylor]: Taking taylor expansion of y in y
16.218 * [backup-simplify]: Simplify 0 into 0
16.218 * [backup-simplify]: Simplify 1 into 1
16.218 * [backup-simplify]: Simplify (/ 1 1) into 1
16.218 * [taylor]: Taking taylor expansion of 1.0 in y
16.218 * [backup-simplify]: Simplify 1.0 into 1.0
16.218 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y
16.218 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.218 * [taylor]: Taking taylor expansion of x in y
16.218 * [backup-simplify]: Simplify x into x
16.218 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
16.218 * [taylor]: Taking taylor expansion of 1.0 in y
16.218 * [backup-simplify]: Simplify 1.0 into 1.0
16.218 * [taylor]: Taking taylor expansion of (/ -1 x) in y
16.218 * [taylor]: Taking taylor expansion of -1 in y
16.218 * [backup-simplify]: Simplify -1 into -1
16.218 * [taylor]: Taking taylor expansion of x in y
16.218 * [backup-simplify]: Simplify x into x
16.218 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
16.218 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0) (/ -1 x)) in y
16.219 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0)) (/ -1 x))
16.219 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0)) in y
16.219 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
16.219 * [taylor]: Taking taylor expansion of (/ 1 y) in y
16.219 * [taylor]: Taking taylor expansion of y in y
16.219 * [backup-simplify]: Simplify 0 into 0
16.219 * [backup-simplify]: Simplify 1 into 1
16.219 * [backup-simplify]: Simplify (/ 1 1) into 1
16.219 * [taylor]: Taking taylor expansion of 1.0 in y
16.219 * [backup-simplify]: Simplify 1.0 into 1.0
16.219 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y
16.219 * [taylor]: Taking taylor expansion of (/ 1 x) in y
16.219 * [taylor]: Taking taylor expansion of x in y
16.219 * [backup-simplify]: Simplify x into x
16.219 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
16.219 * [taylor]: Taking taylor expansion of 1.0 in y
16.219 * [backup-simplify]: Simplify 1.0 into 1.0
16.219 * [taylor]: Taking taylor expansion of (/ -1 x) in y
16.219 * [taylor]: Taking taylor expansion of -1 in y
16.219 * [backup-simplify]: Simplify -1 into -1
16.219 * [taylor]: Taking taylor expansion of x in y
16.219 * [backup-simplify]: Simplify x into x
16.219 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
16.220 * [backup-simplify]: Simplify (+ 1 0) into 1
16.220 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ 1.0 (/ 1 x))
16.220 * [backup-simplify]: Simplify (* 1 (+ 1.0 (/ 1 x))) into (+ (/ 1 x) 1.0)
16.220 * [backup-simplify]: Simplify (+ (+ (/ 1 x) 1.0) 0) into (+ (/ 1 x) 1.0)
16.220 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
16.220 * [taylor]: Taking taylor expansion of (/ 1 x) in x
16.220 * [taylor]: Taking taylor expansion of x in x
16.220 * [backup-simplify]: Simplify 0 into 0
16.220 * [backup-simplify]: Simplify 1 into 1
16.220 * [backup-simplify]: Simplify (/ 1 1) into 1
16.220 * [taylor]: Taking taylor expansion of 1.0 in x
16.220 * [backup-simplify]: Simplify 1.0 into 1.0
16.221 * [backup-simplify]: Simplify (+ 1 0) into 1
16.221 * [backup-simplify]: Simplify 1 into 1
16.221 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
16.221 * [backup-simplify]: Simplify (+ 0 0) into 0
16.221 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.222 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
16.222 * [backup-simplify]: Simplify (+ (* 1 0) (* 1.0 (+ 1.0 (/ 1 x)))) into (+ (* 1.0 (/ 1 x)) 1.0)
16.222 * [backup-simplify]: Simplify (+ (+ (* 1.0 (/ 1 x)) 1.0) (/ -1 x)) into 1.0
16.222 * [taylor]: Taking taylor expansion of 1.0 in x
16.222 * [backup-simplify]: Simplify 1.0 into 1.0
16.223 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
16.223 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
16.223 * [backup-simplify]: Simplify 1.0 into 1.0
16.223 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
16.223 * [backup-simplify]: Simplify (+ 0 0) into 0
16.224 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
16.224 * [backup-simplify]: Simplify (+ 0 0) into 0
16.225 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1.0 0) (* 0 (+ 1.0 (/ 1 x))))) into 0
16.225 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
16.225 * [backup-simplify]: Simplify (+ 0 0) into 0
16.225 * [taylor]: Taking taylor expansion of 0 in x
16.225 * [backup-simplify]: Simplify 0 into 0
16.225 * [backup-simplify]: Simplify 1.0 into 1.0
16.225 * [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.225 * * * [progress]: simplifying candidates
16.226 * [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.226 * * [simplify]: Extracting # 0 : cost  0
16.226 * * [simplify]: Extracting # 1 : cost  0
16.226 * * [simplify]: Extracting # 2 : cost  0
16.226 * * [simplify]: Extracting # 3 : cost  0
16.226 * * [simplify]: Extracting # 4 : cost  0
16.226 * * [simplify]: Extracting # 5 : cost  0
16.226 * * [simplify]: iteration  0 :  20  enodes  (cost  142 )
16.229 * * [simplify]: Extracting # 0 : cost  0
16.230 * * [simplify]: Extracting # 1 : cost  0
16.230 * * [simplify]: Extracting # 2 : cost  0
16.230 * * [simplify]: iteration  1 :  35  enodes  (cost  139 )
16.240 * * [simplify]: Extracting # 0 : cost  0
16.240 * * [simplify]: Extracting # 1 : cost  0
16.240 * * [simplify]: Extracting # 2 : cost  0
16.240 * * [simplify]: Extracting # 3 : cost  0
16.240 * * [simplify]: iteration  2 :  84  enodes  (cost  123 )
16.264 * * [simplify]: Extracting # 0 : cost  0
16.264 * * [simplify]: Extracting # 1 : cost  0
16.265 * * [simplify]: Extracting # 2 : cost  0
16.265 * * [simplify]: Extracting # 3 : cost  0
16.265 * * [simplify]: Extracting # 4 : cost  0
16.265 * * [simplify]: iteration  3 :  298  enodes  (cost  120 )
16.503 * * [simplify]: Extracting # 0 : cost  0
16.505 * * [simplify]: Extracting # 1 : cost  0
16.508 * * [simplify]: Extracting # 2 : cost  0
16.510 * * [simplify]: Extracting # 3 : cost  0
16.513 * * [simplify]: Extracting # 4 : cost  0
16.515 * * [simplify]: Extracting # 5 : cost  0
16.518 * * [simplify]: Extracting # 6 : cost  0
16.520 * * [simplify]: iteration  4 :  1463  enodes  (cost  117 )
17.087 * * [simplify]: Extracting # 0 : cost  0
17.101 * * [simplify]: Extracting # 1 : cost  0
17.109 * * [simplify]: Extracting # 2 : cost  0
17.117 * * [simplify]: Extracting # 3 : cost  0
17.127 * * [simplify]: Extracting # 4 : cost  0
17.136 * * [simplify]: iteration done:  5000  enodes  (cost  117 )
17.136 * [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)
17.136 * * * [progress]: adding candidates to table
17.180 * * [progress]: iteration 2 / 4
17.181 * * * [progress]: picking best candidate
17.186 * * * * [pick]: Picked  #<alt (λ (x y) (fma y (- x 1.0) 1.0))>
17.186 * * * [progress]: localizing error
17.193 * * * [progress]: generating rewritten candidates
17.193 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
17.194 * * * [progress]: generating series expansions
17.194 * * * * [progress]: [ 1 / 1 ] generating series at (2)
17.195 * [backup-simplify]: Simplify (fma y (- x 1.0) 1.0) into (fma y (- x 1.0) 1.0)
17.195 * [approximate]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in (y x) around 0
17.195 * [taylor]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in x
17.195 * [taylor]: Rewrote expression to (+ (* y (- x 1.0)) 1.0)
17.195 * [taylor]: Taking taylor expansion of (* y (- x 1.0)) in x
17.195 * [taylor]: Taking taylor expansion of y in x
17.195 * [backup-simplify]: Simplify y into y
17.195 * [taylor]: Taking taylor expansion of (- x 1.0) in x
17.195 * [taylor]: Taking taylor expansion of x in x
17.195 * [backup-simplify]: Simplify 0 into 0
17.195 * [backup-simplify]: Simplify 1 into 1
17.195 * [taylor]: Taking taylor expansion of 1.0 in x
17.195 * [backup-simplify]: Simplify 1.0 into 1.0
17.195 * [taylor]: Taking taylor expansion of 1.0 in x
17.195 * [backup-simplify]: Simplify 1.0 into 1.0
17.195 * [taylor]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in y
17.195 * [taylor]: Rewrote expression to (+ (* y (- x 1.0)) 1.0)
17.195 * [taylor]: Taking taylor expansion of (* y (- x 1.0)) in y
17.195 * [taylor]: Taking taylor expansion of y in y
17.195 * [backup-simplify]: Simplify 0 into 0
17.195 * [backup-simplify]: Simplify 1 into 1
17.196 * [taylor]: Taking taylor expansion of (- x 1.0) in y
17.196 * [taylor]: Taking taylor expansion of x in y
17.196 * [backup-simplify]: Simplify x into x
17.196 * [taylor]: Taking taylor expansion of 1.0 in y
17.196 * [backup-simplify]: Simplify 1.0 into 1.0
17.196 * [taylor]: Taking taylor expansion of 1.0 in y
17.196 * [backup-simplify]: Simplify 1.0 into 1.0
17.196 * [taylor]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in y
17.196 * [taylor]: Rewrote expression to (+ (* y (- x 1.0)) 1.0)
17.196 * [taylor]: Taking taylor expansion of (* y (- x 1.0)) in y
17.196 * [taylor]: Taking taylor expansion of y in y
17.196 * [backup-simplify]: Simplify 0 into 0
17.196 * [backup-simplify]: Simplify 1 into 1
17.196 * [taylor]: Taking taylor expansion of (- x 1.0) in y
17.196 * [taylor]: Taking taylor expansion of x in y
17.196 * [backup-simplify]: Simplify x into x
17.196 * [taylor]: Taking taylor expansion of 1.0 in y
17.196 * [backup-simplify]: Simplify 1.0 into 1.0
17.196 * [taylor]: Taking taylor expansion of 1.0 in y
17.196 * [backup-simplify]: Simplify 1.0 into 1.0
17.197 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
17.197 * [backup-simplify]: Simplify (+ x (- 1.0)) into (- x 1.0)
17.197 * [backup-simplify]: Simplify (* 0 (- x 1.0)) into 0
17.198 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
17.198 * [taylor]: Taking taylor expansion of 1.0 in x
17.198 * [backup-simplify]: Simplify 1.0 into 1.0
17.198 * [backup-simplify]: Simplify 1.0 into 1.0
17.198 * [backup-simplify]: Simplify (- 0) into 0
17.199 * [backup-simplify]: Simplify (+ 0 0) into 0
17.199 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- x 1.0))) into (- x 1.0)
17.199 * [backup-simplify]: Simplify (+ (- x 1.0) 0) into (- x 1.0)
17.199 * [taylor]: Taking taylor expansion of (- x 1.0) in x
17.199 * [taylor]: Taking taylor expansion of x in x
17.199 * [backup-simplify]: Simplify 0 into 0
17.199 * [backup-simplify]: Simplify 1 into 1
17.199 * [taylor]: Taking taylor expansion of 1.0 in x
17.199 * [backup-simplify]: Simplify 1.0 into 1.0
17.200 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
17.201 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
17.201 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
17.201 * [backup-simplify]: Simplify 0 into 0
17.201 * [backup-simplify]: Simplify (- 0) into 0
17.202 * [backup-simplify]: Simplify (+ 0 0) into 0
17.203 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- x 1.0)))) into 0
17.203 * [backup-simplify]: Simplify (+ 0 0) into 0
17.203 * [taylor]: Taking taylor expansion of 0 in x
17.203 * [backup-simplify]: Simplify 0 into 0
17.203 * [backup-simplify]: Simplify 0 into 0
17.203 * [backup-simplify]: Simplify (- 0) into 0
17.204 * [backup-simplify]: Simplify (+ 1 0) into 1
17.204 * [backup-simplify]: Simplify 1 into 1
17.205 * [backup-simplify]: Simplify (+ (* 1 (* x y)) (+ (* (- 1.0) (* 1 y)) 1.0)) into (- (+ (* x y) 1.0) (* 1.0 y))
17.205 * [backup-simplify]: Simplify (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) into (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0)
17.205 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in (y x) around 0
17.205 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in x
17.205 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 x) 1.0)) 1.0)
17.205 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 x) 1.0)) in x
17.205 * [taylor]: Taking taylor expansion of (/ 1 y) in x
17.205 * [taylor]: Taking taylor expansion of y in x
17.205 * [backup-simplify]: Simplify y into y
17.205 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
17.205 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
17.205 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.205 * [taylor]: Taking taylor expansion of x in x
17.205 * [backup-simplify]: Simplify 0 into 0
17.205 * [backup-simplify]: Simplify 1 into 1
17.206 * [backup-simplify]: Simplify (/ 1 1) into 1
17.206 * [taylor]: Taking taylor expansion of 1.0 in x
17.206 * [backup-simplify]: Simplify 1.0 into 1.0
17.206 * [taylor]: Taking taylor expansion of 1.0 in x
17.206 * [backup-simplify]: Simplify 1.0 into 1.0
17.206 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in y
17.206 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 x) 1.0)) 1.0)
17.206 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 x) 1.0)) in y
17.206 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.206 * [taylor]: Taking taylor expansion of y in y
17.206 * [backup-simplify]: Simplify 0 into 0
17.206 * [backup-simplify]: Simplify 1 into 1
17.207 * [backup-simplify]: Simplify (/ 1 1) into 1
17.207 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in y
17.207 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.207 * [taylor]: Taking taylor expansion of x in y
17.207 * [backup-simplify]: Simplify x into x
17.207 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
17.207 * [taylor]: Taking taylor expansion of 1.0 in y
17.207 * [backup-simplify]: Simplify 1.0 into 1.0
17.207 * [taylor]: Taking taylor expansion of 1.0 in y
17.207 * [backup-simplify]: Simplify 1.0 into 1.0
17.207 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in y
17.207 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 x) 1.0)) 1.0)
17.207 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 x) 1.0)) in y
17.207 * [taylor]: Taking taylor expansion of (/ 1 y) in y
17.207 * [taylor]: Taking taylor expansion of y in y
17.207 * [backup-simplify]: Simplify 0 into 0
17.207 * [backup-simplify]: Simplify 1 into 1
17.208 * [backup-simplify]: Simplify (/ 1 1) into 1
17.208 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in y
17.208 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.208 * [taylor]: Taking taylor expansion of x in y
17.208 * [backup-simplify]: Simplify x into x
17.208 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
17.208 * [taylor]: Taking taylor expansion of 1.0 in y
17.208 * [backup-simplify]: Simplify 1.0 into 1.0
17.208 * [taylor]: Taking taylor expansion of 1.0 in y
17.208 * [backup-simplify]: Simplify 1.0 into 1.0
17.209 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
17.209 * [backup-simplify]: Simplify (+ (/ 1 x) (- 1.0)) into (- (/ 1 x) 1.0)
17.209 * [backup-simplify]: Simplify (* 1 (- (/ 1 x) 1.0)) into (- (/ 1 x) 1.0)
17.209 * [backup-simplify]: Simplify (+ (- (/ 1 x) 1.0) 0) into (- (/ 1 x) 1.0)
17.209 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
17.210 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.210 * [taylor]: Taking taylor expansion of x in x
17.210 * [backup-simplify]: Simplify 0 into 0
17.210 * [backup-simplify]: Simplify 1 into 1
17.210 * [backup-simplify]: Simplify (/ 1 1) into 1
17.210 * [taylor]: Taking taylor expansion of 1.0 in x
17.210 * [backup-simplify]: Simplify 1.0 into 1.0
17.211 * [backup-simplify]: Simplify (+ 1 0) into 1
17.211 * [backup-simplify]: Simplify 1 into 1
17.211 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
17.211 * [backup-simplify]: Simplify (- 0) into 0
17.211 * [backup-simplify]: Simplify (+ 0 0) into 0
17.212 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
17.213 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (- (/ 1 x) 1.0))) into 0
17.213 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
17.213 * [taylor]: Taking taylor expansion of 1.0 in x
17.213 * [backup-simplify]: Simplify 1.0 into 1.0
17.214 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
17.214 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
17.215 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
17.216 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
17.216 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
17.216 * [backup-simplify]: Simplify (- 0) into 0
17.217 * [backup-simplify]: Simplify (+ 0 0) into 0
17.217 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.218 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (- (/ 1 x) 1.0)))) into 0
17.219 * [backup-simplify]: Simplify (+ 0 0) into 0
17.219 * [taylor]: Taking taylor expansion of 0 in x
17.219 * [backup-simplify]: Simplify 0 into 0
17.219 * [backup-simplify]: Simplify 1.0 into 1.0
17.220 * [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))
17.220 * [backup-simplify]: Simplify (fma (/ 1 (- y)) (- (/ 1 (- x)) 1.0) 1.0) into (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0)
17.220 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) in (y x) around 0
17.220 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) in x
17.220 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) 1.0)
17.221 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) in x
17.221 * [taylor]: Taking taylor expansion of (/ -1 y) in x
17.221 * [taylor]: Taking taylor expansion of -1 in x
17.221 * [backup-simplify]: Simplify -1 into -1
17.221 * [taylor]: Taking taylor expansion of y in x
17.221 * [backup-simplify]: Simplify y into y
17.221 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
17.221 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in x
17.221 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
17.221 * [taylor]: Taking taylor expansion of 1.0 in x
17.221 * [backup-simplify]: Simplify 1.0 into 1.0
17.221 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.221 * [taylor]: Taking taylor expansion of x in x
17.221 * [backup-simplify]: Simplify 0 into 0
17.221 * [backup-simplify]: Simplify 1 into 1
17.221 * [backup-simplify]: Simplify (/ 1 1) into 1
17.222 * [taylor]: Taking taylor expansion of 1.0 in x
17.222 * [backup-simplify]: Simplify 1.0 into 1.0
17.222 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) in y
17.222 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) 1.0)
17.222 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) in y
17.222 * [taylor]: Taking taylor expansion of (/ -1 y) in y
17.222 * [taylor]: Taking taylor expansion of -1 in y
17.222 * [backup-simplify]: Simplify -1 into -1
17.222 * [taylor]: Taking taylor expansion of y in y
17.222 * [backup-simplify]: Simplify 0 into 0
17.222 * [backup-simplify]: Simplify 1 into 1
17.223 * [backup-simplify]: Simplify (/ -1 1) into -1
17.223 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in y
17.223 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in y
17.223 * [taylor]: Taking taylor expansion of 1.0 in y
17.223 * [backup-simplify]: Simplify 1.0 into 1.0
17.223 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.223 * [taylor]: Taking taylor expansion of x in y
17.223 * [backup-simplify]: Simplify x into x
17.223 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
17.223 * [taylor]: Taking taylor expansion of 1.0 in y
17.223 * [backup-simplify]: Simplify 1.0 into 1.0
17.223 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) in y
17.223 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) 1.0)
17.223 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) in y
17.223 * [taylor]: Taking taylor expansion of (/ -1 y) in y
17.223 * [taylor]: Taking taylor expansion of -1 in y
17.223 * [backup-simplify]: Simplify -1 into -1
17.223 * [taylor]: Taking taylor expansion of y in y
17.223 * [backup-simplify]: Simplify 0 into 0
17.223 * [backup-simplify]: Simplify 1 into 1
17.224 * [backup-simplify]: Simplify (/ -1 1) into -1
17.224 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in y
17.224 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in y
17.224 * [taylor]: Taking taylor expansion of 1.0 in y
17.224 * [backup-simplify]: Simplify 1.0 into 1.0
17.224 * [taylor]: Taking taylor expansion of (/ 1 x) in y
17.224 * [taylor]: Taking taylor expansion of x in y
17.224 * [backup-simplify]: Simplify x into x
17.224 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
17.224 * [taylor]: Taking taylor expansion of 1.0 in y
17.224 * [backup-simplify]: Simplify 1.0 into 1.0
17.224 * [backup-simplify]: Simplify (+ 1.0 (/ 1 x)) into (+ (/ 1 x) 1.0)
17.224 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0))
17.225 * [backup-simplify]: Simplify (* -1 (- (+ (/ 1 x) 1.0))) into (+ (/ 1 x) 1.0)
17.225 * [backup-simplify]: Simplify (+ (+ (/ 1 x) 1.0) 0) into (+ (/ 1 x) 1.0)
17.225 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
17.225 * [taylor]: Taking taylor expansion of (/ 1 x) in x
17.225 * [taylor]: Taking taylor expansion of x in x
17.225 * [backup-simplify]: Simplify 0 into 0
17.225 * [backup-simplify]: Simplify 1 into 1
17.225 * [backup-simplify]: Simplify (/ 1 1) into 1
17.225 * [taylor]: Taking taylor expansion of 1.0 in x
17.225 * [backup-simplify]: Simplify 1.0 into 1.0
17.226 * [backup-simplify]: Simplify (+ 1 0) into 1
17.226 * [backup-simplify]: Simplify 1 into 1
17.226 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
17.227 * [backup-simplify]: Simplify (+ 0 0) into 0
17.227 * [backup-simplify]: Simplify (- 0) into 0
17.228 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
17.228 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0))
17.228 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (+ (/ 1 x) 1.0)))) into 0
17.229 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
17.229 * [taylor]: Taking taylor expansion of 1.0 in x
17.229 * [backup-simplify]: Simplify 1.0 into 1.0
17.230 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
17.230 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
17.230 * [backup-simplify]: Simplify 1.0 into 1.0
17.231 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
17.231 * [backup-simplify]: Simplify (+ 0 0) into 0
17.231 * [backup-simplify]: Simplify (- 0) into 0
17.232 * [backup-simplify]: Simplify (- 0) into 0
17.233 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
17.233 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0))
17.234 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (+ (/ 1 x) 1.0))))) into 0
17.234 * [backup-simplify]: Simplify (+ 0 0) into 0
17.234 * [taylor]: Taking taylor expansion of 0 in x
17.234 * [backup-simplify]: Simplify 0 into 0
17.234 * [backup-simplify]: Simplify 1.0 into 1.0
17.235 * [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))
17.235 * * * [progress]: simplifying candidates
17.235 * [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))
17.236 * * [simplify]: Extracting # 0 : cost  0
17.236 * * [simplify]: Extracting # 1 : cost  0
17.236 * * [simplify]: Extracting # 2 : cost  0
17.236 * * [simplify]: Extracting # 3 : cost  0
17.236 * * [simplify]: Extracting # 4 : cost  0
17.236 * * [simplify]: Extracting # 5 : cost  0
17.236 * * [simplify]: iteration  0 :  19  enodes  (cost  116 )
17.243 * * [simplify]: Extracting # 0 : cost  0
17.243 * * [simplify]: Extracting # 1 : cost  0
17.243 * * [simplify]: Extracting # 2 : cost  0
17.244 * * [simplify]: iteration  1 :  32  enodes  (cost  113 )
17.251 * * [simplify]: Extracting # 0 : cost  0
17.251 * * [simplify]: Extracting # 1 : cost  0
17.251 * * [simplify]: Extracting # 2 : cost  0
17.251 * * [simplify]: iteration  2 :  67  enodes  (cost  95 )
17.278 * * [simplify]: Extracting # 0 : cost  0
17.279 * * [simplify]: Extracting # 1 : cost  0
17.279 * * [simplify]: Extracting # 2 : cost  0
17.279 * * [simplify]: Extracting # 3 : cost  0
17.279 * * [simplify]: Extracting # 4 : cost  0
17.280 * * [simplify]: iteration  3 :  243  enodes  (cost  95 )
17.558 * * [simplify]: Extracting # 0 : cost  0
17.560 * * [simplify]: Extracting # 1 : cost  0
17.561 * * [simplify]: Extracting # 2 : cost  0
17.563 * * [simplify]: Extracting # 3 : cost  0
17.564 * * [simplify]: Extracting # 4 : cost  0
17.565 * * [simplify]: Extracting # 5 : cost  0
17.567 * * [simplify]: iteration  4 :  1485  enodes  (cost  95 )
18.356 * * [simplify]: Extracting # 0 : cost  0
18.368 * * [simplify]: Extracting # 1 : cost  0
18.374 * * [simplify]: Extracting # 2 : cost  0
18.381 * * [simplify]: Extracting # 3 : cost  0
18.390 * * [simplify]: Extracting # 4 : cost  0
18.398 * * [simplify]: iteration done:  5000  enodes  (cost  95 )
18.399 * [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)
18.399 * * * [progress]: adding candidates to table
18.442 * * [progress]: iteration 3 / 4
18.442 * * * [progress]: picking best candidate
18.445 * * * * [pick]: Picked  #<alt (λ (x y) (cbrt (pow (fma y (- x 1.0) 1.0) 3)))>
18.445 * * * [progress]: localizing error
18.458 * * * [progress]: generating rewritten candidates
18.458 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
18.462 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
18.466 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
18.469 * * * [progress]: generating series expansions
18.469 * * * * [progress]: [ 1 / 3 ] generating series at (2)
18.469 * [backup-simplify]: Simplify (cbrt (pow (fma y (- x 1.0) 1.0) 3)) into (fma y (- x 1.0) 1.0)
18.469 * [approximate]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in (y x) around 0
18.469 * [taylor]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in x
18.470 * [taylor]: Rewrote expression to (+ (* y (- x 1.0)) 1.0)
18.470 * [taylor]: Taking taylor expansion of (* y (- x 1.0)) in x
18.470 * [taylor]: Taking taylor expansion of y in x
18.470 * [backup-simplify]: Simplify y into y
18.470 * [taylor]: Taking taylor expansion of (- x 1.0) in x
18.470 * [taylor]: Taking taylor expansion of x in x
18.470 * [backup-simplify]: Simplify 0 into 0
18.470 * [backup-simplify]: Simplify 1 into 1
18.470 * [taylor]: Taking taylor expansion of 1.0 in x
18.470 * [backup-simplify]: Simplify 1.0 into 1.0
18.470 * [taylor]: Taking taylor expansion of 1.0 in x
18.470 * [backup-simplify]: Simplify 1.0 into 1.0
18.470 * [taylor]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in y
18.470 * [taylor]: Rewrote expression to (+ (* y (- x 1.0)) 1.0)
18.470 * [taylor]: Taking taylor expansion of (* y (- x 1.0)) in y
18.470 * [taylor]: Taking taylor expansion of y in y
18.470 * [backup-simplify]: Simplify 0 into 0
18.470 * [backup-simplify]: Simplify 1 into 1
18.470 * [taylor]: Taking taylor expansion of (- x 1.0) in y
18.470 * [taylor]: Taking taylor expansion of x in y
18.470 * [backup-simplify]: Simplify x into x
18.470 * [taylor]: Taking taylor expansion of 1.0 in y
18.470 * [backup-simplify]: Simplify 1.0 into 1.0
18.470 * [taylor]: Taking taylor expansion of 1.0 in y
18.470 * [backup-simplify]: Simplify 1.0 into 1.0
18.470 * [taylor]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in y
18.471 * [taylor]: Rewrote expression to (+ (* y (- x 1.0)) 1.0)
18.471 * [taylor]: Taking taylor expansion of (* y (- x 1.0)) in y
18.471 * [taylor]: Taking taylor expansion of y in y
18.471 * [backup-simplify]: Simplify 0 into 0
18.471 * [backup-simplify]: Simplify 1 into 1
18.471 * [taylor]: Taking taylor expansion of (- x 1.0) in y
18.471 * [taylor]: Taking taylor expansion of x in y
18.471 * [backup-simplify]: Simplify x into x
18.471 * [taylor]: Taking taylor expansion of 1.0 in y
18.471 * [backup-simplify]: Simplify 1.0 into 1.0
18.471 * [taylor]: Taking taylor expansion of 1.0 in y
18.471 * [backup-simplify]: Simplify 1.0 into 1.0
18.472 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
18.472 * [backup-simplify]: Simplify (+ x (- 1.0)) into (- x 1.0)
18.472 * [backup-simplify]: Simplify (* 0 (- x 1.0)) into 0
18.473 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
18.473 * [taylor]: Taking taylor expansion of 1.0 in x
18.473 * [backup-simplify]: Simplify 1.0 into 1.0
18.473 * [backup-simplify]: Simplify 1.0 into 1.0
18.473 * [backup-simplify]: Simplify (- 0) into 0
18.473 * [backup-simplify]: Simplify (+ 0 0) into 0
18.474 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- x 1.0))) into (- x 1.0)
18.474 * [backup-simplify]: Simplify (+ (- x 1.0) 0) into (- x 1.0)
18.474 * [taylor]: Taking taylor expansion of (- x 1.0) in x
18.474 * [taylor]: Taking taylor expansion of x in x
18.474 * [backup-simplify]: Simplify 0 into 0
18.474 * [backup-simplify]: Simplify 1 into 1
18.474 * [taylor]: Taking taylor expansion of 1.0 in x
18.474 * [backup-simplify]: Simplify 1.0 into 1.0
18.474 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
18.475 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
18.475 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
18.476 * [backup-simplify]: Simplify 0 into 0
18.476 * [backup-simplify]: Simplify (- 0) into 0
18.476 * [backup-simplify]: Simplify (+ 0 0) into 0
18.477 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- x 1.0)))) into 0
18.477 * [backup-simplify]: Simplify (+ 0 0) into 0
18.477 * [taylor]: Taking taylor expansion of 0 in x
18.477 * [backup-simplify]: Simplify 0 into 0
18.477 * [backup-simplify]: Simplify 0 into 0
18.478 * [backup-simplify]: Simplify (- 0) into 0
18.478 * [backup-simplify]: Simplify (+ 1 0) into 1
18.478 * [backup-simplify]: Simplify 1 into 1
18.479 * [backup-simplify]: Simplify (+ (* 1 (* x y)) (+ (* (- 1.0) (* 1 y)) 1.0)) into (- (+ (* x y) 1.0) (* 1.0 y))
18.479 * [backup-simplify]: Simplify (cbrt (pow (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) 3)) into (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0)
18.479 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in (y x) around 0
18.479 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in x
18.479 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 x) 1.0)) 1.0)
18.479 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 x) 1.0)) in x
18.479 * [taylor]: Taking taylor expansion of (/ 1 y) in x
18.479 * [taylor]: Taking taylor expansion of y in x
18.479 * [backup-simplify]: Simplify y into y
18.479 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
18.479 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
18.479 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.479 * [taylor]: Taking taylor expansion of x in x
18.479 * [backup-simplify]: Simplify 0 into 0
18.479 * [backup-simplify]: Simplify 1 into 1
18.480 * [backup-simplify]: Simplify (/ 1 1) into 1
18.480 * [taylor]: Taking taylor expansion of 1.0 in x
18.480 * [backup-simplify]: Simplify 1.0 into 1.0
18.480 * [taylor]: Taking taylor expansion of 1.0 in x
18.480 * [backup-simplify]: Simplify 1.0 into 1.0
18.480 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in y
18.480 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 x) 1.0)) 1.0)
18.480 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 x) 1.0)) in y
18.480 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.480 * [taylor]: Taking taylor expansion of y in y
18.480 * [backup-simplify]: Simplify 0 into 0
18.480 * [backup-simplify]: Simplify 1 into 1
18.481 * [backup-simplify]: Simplify (/ 1 1) into 1
18.481 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in y
18.481 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.481 * [taylor]: Taking taylor expansion of x in y
18.481 * [backup-simplify]: Simplify x into x
18.481 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.481 * [taylor]: Taking taylor expansion of 1.0 in y
18.481 * [backup-simplify]: Simplify 1.0 into 1.0
18.481 * [taylor]: Taking taylor expansion of 1.0 in y
18.481 * [backup-simplify]: Simplify 1.0 into 1.0
18.481 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in y
18.481 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 x) 1.0)) 1.0)
18.481 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 x) 1.0)) in y
18.481 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.481 * [taylor]: Taking taylor expansion of y in y
18.481 * [backup-simplify]: Simplify 0 into 0
18.481 * [backup-simplify]: Simplify 1 into 1
18.482 * [backup-simplify]: Simplify (/ 1 1) into 1
18.482 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in y
18.482 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.482 * [taylor]: Taking taylor expansion of x in y
18.482 * [backup-simplify]: Simplify x into x
18.482 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.482 * [taylor]: Taking taylor expansion of 1.0 in y
18.482 * [backup-simplify]: Simplify 1.0 into 1.0
18.482 * [taylor]: Taking taylor expansion of 1.0 in y
18.482 * [backup-simplify]: Simplify 1.0 into 1.0
18.483 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
18.483 * [backup-simplify]: Simplify (+ (/ 1 x) (- 1.0)) into (- (/ 1 x) 1.0)
18.483 * [backup-simplify]: Simplify (* 1 (- (/ 1 x) 1.0)) into (- (/ 1 x) 1.0)
18.483 * [backup-simplify]: Simplify (+ (- (/ 1 x) 1.0) 0) into (- (/ 1 x) 1.0)
18.483 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
18.483 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.483 * [taylor]: Taking taylor expansion of x in x
18.483 * [backup-simplify]: Simplify 0 into 0
18.483 * [backup-simplify]: Simplify 1 into 1
18.484 * [backup-simplify]: Simplify (/ 1 1) into 1
18.484 * [taylor]: Taking taylor expansion of 1.0 in x
18.484 * [backup-simplify]: Simplify 1.0 into 1.0
18.484 * [backup-simplify]: Simplify (+ 1 0) into 1
18.484 * [backup-simplify]: Simplify 1 into 1
18.484 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
18.485 * [backup-simplify]: Simplify (- 0) into 0
18.485 * [backup-simplify]: Simplify (+ 0 0) into 0
18.486 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.486 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (- (/ 1 x) 1.0))) into 0
18.487 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
18.487 * [taylor]: Taking taylor expansion of 1.0 in x
18.487 * [backup-simplify]: Simplify 1.0 into 1.0
18.487 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.488 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
18.488 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
18.488 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
18.489 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
18.489 * [backup-simplify]: Simplify (- 0) into 0
18.489 * [backup-simplify]: Simplify (+ 0 0) into 0
18.490 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.490 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (- (/ 1 x) 1.0)))) into 0
18.490 * [backup-simplify]: Simplify (+ 0 0) into 0
18.490 * [taylor]: Taking taylor expansion of 0 in x
18.490 * [backup-simplify]: Simplify 0 into 0
18.490 * [backup-simplify]: Simplify 1.0 into 1.0
18.491 * [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.491 * [backup-simplify]: Simplify (cbrt (pow (fma (/ 1 (- y)) (- (/ 1 (- x)) 1.0) 1.0) 3)) into (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0)
18.491 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) in (y x) around 0
18.491 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) in x
18.491 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) 1.0)
18.491 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) in x
18.491 * [taylor]: Taking taylor expansion of (/ -1 y) in x
18.491 * [taylor]: Taking taylor expansion of -1 in x
18.491 * [backup-simplify]: Simplify -1 into -1
18.491 * [taylor]: Taking taylor expansion of y in x
18.491 * [backup-simplify]: Simplify y into y
18.492 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
18.492 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in x
18.492 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
18.492 * [taylor]: Taking taylor expansion of 1.0 in x
18.492 * [backup-simplify]: Simplify 1.0 into 1.0
18.492 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.492 * [taylor]: Taking taylor expansion of x in x
18.492 * [backup-simplify]: Simplify 0 into 0
18.492 * [backup-simplify]: Simplify 1 into 1
18.492 * [backup-simplify]: Simplify (/ 1 1) into 1
18.492 * [taylor]: Taking taylor expansion of 1.0 in x
18.492 * [backup-simplify]: Simplify 1.0 into 1.0
18.492 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) in y
18.492 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) 1.0)
18.492 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) in y
18.492 * [taylor]: Taking taylor expansion of (/ -1 y) in y
18.492 * [taylor]: Taking taylor expansion of -1 in y
18.492 * [backup-simplify]: Simplify -1 into -1
18.492 * [taylor]: Taking taylor expansion of y in y
18.492 * [backup-simplify]: Simplify 0 into 0
18.492 * [backup-simplify]: Simplify 1 into 1
18.493 * [backup-simplify]: Simplify (/ -1 1) into -1
18.493 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in y
18.493 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in y
18.493 * [taylor]: Taking taylor expansion of 1.0 in y
18.493 * [backup-simplify]: Simplify 1.0 into 1.0
18.493 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.493 * [taylor]: Taking taylor expansion of x in y
18.493 * [backup-simplify]: Simplify x into x
18.493 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.493 * [taylor]: Taking taylor expansion of 1.0 in y
18.493 * [backup-simplify]: Simplify 1.0 into 1.0
18.493 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) in y
18.493 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) 1.0)
18.493 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) in y
18.493 * [taylor]: Taking taylor expansion of (/ -1 y) in y
18.493 * [taylor]: Taking taylor expansion of -1 in y
18.493 * [backup-simplify]: Simplify -1 into -1
18.493 * [taylor]: Taking taylor expansion of y in y
18.493 * [backup-simplify]: Simplify 0 into 0
18.493 * [backup-simplify]: Simplify 1 into 1
18.493 * [backup-simplify]: Simplify (/ -1 1) into -1
18.493 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in y
18.493 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in y
18.493 * [taylor]: Taking taylor expansion of 1.0 in y
18.493 * [backup-simplify]: Simplify 1.0 into 1.0
18.493 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.494 * [taylor]: Taking taylor expansion of x in y
18.494 * [backup-simplify]: Simplify x into x
18.494 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.494 * [taylor]: Taking taylor expansion of 1.0 in y
18.494 * [backup-simplify]: Simplify 1.0 into 1.0
18.494 * [backup-simplify]: Simplify (+ 1.0 (/ 1 x)) into (+ (/ 1 x) 1.0)
18.494 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0))
18.494 * [backup-simplify]: Simplify (* -1 (- (+ (/ 1 x) 1.0))) into (+ (/ 1 x) 1.0)
18.494 * [backup-simplify]: Simplify (+ (+ (/ 1 x) 1.0) 0) into (+ (/ 1 x) 1.0)
18.494 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
18.494 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.494 * [taylor]: Taking taylor expansion of x in x
18.494 * [backup-simplify]: Simplify 0 into 0
18.494 * [backup-simplify]: Simplify 1 into 1
18.494 * [backup-simplify]: Simplify (/ 1 1) into 1
18.494 * [taylor]: Taking taylor expansion of 1.0 in x
18.494 * [backup-simplify]: Simplify 1.0 into 1.0
18.495 * [backup-simplify]: Simplify (+ 1 0) into 1
18.495 * [backup-simplify]: Simplify 1 into 1
18.495 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
18.495 * [backup-simplify]: Simplify (+ 0 0) into 0
18.495 * [backup-simplify]: Simplify (- 0) into 0
18.496 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
18.496 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0))
18.496 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (+ (/ 1 x) 1.0)))) into 0
18.497 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
18.497 * [taylor]: Taking taylor expansion of 1.0 in x
18.497 * [backup-simplify]: Simplify 1.0 into 1.0
18.497 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.497 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
18.497 * [backup-simplify]: Simplify 1.0 into 1.0
18.498 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
18.498 * [backup-simplify]: Simplify (+ 0 0) into 0
18.498 * [backup-simplify]: Simplify (- 0) into 0
18.498 * [backup-simplify]: Simplify (- 0) into 0
18.499 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.499 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0))
18.499 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (+ (/ 1 x) 1.0))))) into 0
18.500 * [backup-simplify]: Simplify (+ 0 0) into 0
18.500 * [taylor]: Taking taylor expansion of 0 in x
18.500 * [backup-simplify]: Simplify 0 into 0
18.500 * [backup-simplify]: Simplify 1.0 into 1.0
18.500 * [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.500 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
18.500 * [backup-simplify]: Simplify (pow (fma y (- x 1.0) 1.0) 3) into (pow (fma y (- x 1.0) 1.0) 3)
18.500 * [approximate]: Taking taylor expansion of (pow (fma y (- x 1.0) 1.0) 3) in (y x) around 0
18.500 * [taylor]: Taking taylor expansion of (pow (fma y (- x 1.0) 1.0) 3) in x
18.500 * [taylor]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in x
18.500 * [taylor]: Rewrote expression to (+ (* y (- x 1.0)) 1.0)
18.500 * [taylor]: Taking taylor expansion of (* y (- x 1.0)) in x
18.501 * [taylor]: Taking taylor expansion of y in x
18.501 * [backup-simplify]: Simplify y into y
18.501 * [taylor]: Taking taylor expansion of (- x 1.0) in x
18.501 * [taylor]: Taking taylor expansion of x in x
18.501 * [backup-simplify]: Simplify 0 into 0
18.501 * [backup-simplify]: Simplify 1 into 1
18.501 * [taylor]: Taking taylor expansion of 1.0 in x
18.501 * [backup-simplify]: Simplify 1.0 into 1.0
18.501 * [taylor]: Taking taylor expansion of 1.0 in x
18.501 * [backup-simplify]: Simplify 1.0 into 1.0
18.501 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
18.502 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
18.502 * [backup-simplify]: Simplify (* y (- 1.0)) into (* -1.0 y)
18.502 * [backup-simplify]: Simplify (+ (* -1.0 y) 1.0) into (- 1.0 (* 1.0 y))
18.502 * [taylor]: Taking taylor expansion of (pow (fma y (- x 1.0) 1.0) 3) in y
18.502 * [taylor]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in y
18.502 * [taylor]: Rewrote expression to (+ (* y (- x 1.0)) 1.0)
18.502 * [taylor]: Taking taylor expansion of (* y (- x 1.0)) in y
18.502 * [taylor]: Taking taylor expansion of y in y
18.502 * [backup-simplify]: Simplify 0 into 0
18.502 * [backup-simplify]: Simplify 1 into 1
18.502 * [taylor]: Taking taylor expansion of (- x 1.0) in y
18.502 * [taylor]: Taking taylor expansion of x in y
18.502 * [backup-simplify]: Simplify x into x
18.502 * [taylor]: Taking taylor expansion of 1.0 in y
18.502 * [backup-simplify]: Simplify 1.0 into 1.0
18.502 * [taylor]: Taking taylor expansion of 1.0 in y
18.502 * [backup-simplify]: Simplify 1.0 into 1.0
18.503 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
18.503 * [backup-simplify]: Simplify (+ x (- 1.0)) into (- x 1.0)
18.503 * [backup-simplify]: Simplify (* 0 (- x 1.0)) into 0
18.504 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
18.504 * [taylor]: Taking taylor expansion of (pow (fma y (- x 1.0) 1.0) 3) in y
18.504 * [taylor]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in y
18.504 * [taylor]: Rewrote expression to (+ (* y (- x 1.0)) 1.0)
18.504 * [taylor]: Taking taylor expansion of (* y (- x 1.0)) in y
18.504 * [taylor]: Taking taylor expansion of y in y
18.504 * [backup-simplify]: Simplify 0 into 0
18.504 * [backup-simplify]: Simplify 1 into 1
18.504 * [taylor]: Taking taylor expansion of (- x 1.0) in y
18.504 * [taylor]: Taking taylor expansion of x in y
18.504 * [backup-simplify]: Simplify x into x
18.504 * [taylor]: Taking taylor expansion of 1.0 in y
18.504 * [backup-simplify]: Simplify 1.0 into 1.0
18.504 * [taylor]: Taking taylor expansion of 1.0 in y
18.504 * [backup-simplify]: Simplify 1.0 into 1.0
18.504 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
18.505 * [backup-simplify]: Simplify (+ x (- 1.0)) into (- x 1.0)
18.505 * [backup-simplify]: Simplify (* 0 (- x 1.0)) into 0
18.505 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
18.506 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
18.506 * [backup-simplify]: Simplify (* 1.0 1.0) into 1.0
18.506 * [taylor]: Taking taylor expansion of 1.0 in x
18.506 * [backup-simplify]: Simplify 1.0 into 1.0
18.506 * [backup-simplify]: Simplify 1.0 into 1.0
18.506 * [backup-simplify]: Simplify (- 0) into 0
18.506 * [backup-simplify]: Simplify (+ 0 0) into 0
18.507 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- x 1.0))) into (- x 1.0)
18.507 * [backup-simplify]: Simplify (+ (- x 1.0) 0) into (- x 1.0)
18.507 * [backup-simplify]: Simplify (+ (* 1.0 (- x 1.0)) (* (- x 1.0) 1.0)) into (- (* 2.0 x) 2.0)
18.507 * [backup-simplify]: Simplify (+ (* 1.0 (- (* 2.0 x) 2.0)) (* (- x 1.0) 1.0)) into (- (* 3.0 x) 3.0)
18.507 * [taylor]: Taking taylor expansion of (- (* 3.0 x) 3.0) in x
18.507 * [taylor]: Taking taylor expansion of (* 3.0 x) in x
18.507 * [taylor]: Taking taylor expansion of 3.0 in x
18.507 * [backup-simplify]: Simplify 3.0 into 3.0
18.507 * [taylor]: Taking taylor expansion of x in x
18.507 * [backup-simplify]: Simplify 0 into 0
18.507 * [backup-simplify]: Simplify 1 into 1
18.507 * [taylor]: Taking taylor expansion of 3.0 in x
18.507 * [backup-simplify]: Simplify 3.0 into 3.0
18.507 * [backup-simplify]: Simplify (* 3.0 0) into 0
18.508 * [backup-simplify]: Simplify (- 3.0) into (- 3.0)
18.508 * [backup-simplify]: Simplify (+ 0 (- 3.0)) into (- 3.0)
18.508 * [backup-simplify]: Simplify (- 3.0) into (- 3.0)
18.509 * [backup-simplify]: Simplify 0 into 0
18.509 * [backup-simplify]: Simplify (- 0) into 0
18.509 * [backup-simplify]: Simplify (+ 0 0) into 0
18.510 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- x 1.0)))) into 0
18.510 * [backup-simplify]: Simplify (+ 0 0) into 0
18.510 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* (- x 1.0) (- x 1.0)) (* 0 1.0))) into (- (+ (pow x 2) 1.0) (* 2.0 x))
18.511 * [backup-simplify]: Simplify (+ (* 1.0 (- (+ (pow x 2) 1.0) (* 2.0 x))) (+ (* (- x 1.0) (- (* 2.0 x) 2.0)) (* 0 1.0))) into (- (+ (* 3.0 (pow x 2)) 3.0) (* 6.0 x))
18.511 * [taylor]: Taking taylor expansion of (- (+ (* 3.0 (pow x 2)) 3.0) (* 6.0 x)) in x
18.511 * [taylor]: Taking taylor expansion of (+ (* 3.0 (pow x 2)) 3.0) in x
18.511 * [taylor]: Taking taylor expansion of (* 3.0 (pow x 2)) in x
18.511 * [taylor]: Taking taylor expansion of 3.0 in x
18.511 * [backup-simplify]: Simplify 3.0 into 3.0
18.511 * [taylor]: Taking taylor expansion of (pow x 2) in x
18.511 * [taylor]: Taking taylor expansion of x in x
18.511 * [backup-simplify]: Simplify 0 into 0
18.511 * [backup-simplify]: Simplify 1 into 1
18.511 * [taylor]: Taking taylor expansion of 3.0 in x
18.511 * [backup-simplify]: Simplify 3.0 into 3.0
18.511 * [taylor]: Taking taylor expansion of (* 6.0 x) in x
18.511 * [taylor]: Taking taylor expansion of 6.0 in x
18.511 * [backup-simplify]: Simplify 6.0 into 6.0
18.511 * [taylor]: Taking taylor expansion of x in x
18.511 * [backup-simplify]: Simplify 0 into 0
18.511 * [backup-simplify]: Simplify 1 into 1
18.512 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
18.512 * [backup-simplify]: Simplify (* 6.0 0) into 0
18.512 * [backup-simplify]: Simplify (- 0) into 0
18.512 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
18.512 * [backup-simplify]: Simplify 3.0 into 3.0
18.513 * [backup-simplify]: Simplify (+ (* 3.0 (pow (* 1 y) 2)) (+ (* (- 3.0) (* 1 y)) 1.0)) into (- (+ (* 3.0 (pow y 2)) 1.0) (* 3.0 y))
18.513 * [backup-simplify]: Simplify (pow (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) 3) into (pow (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) 3)
18.513 * [approximate]: Taking taylor expansion of (pow (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) 3) in (y x) around 0
18.513 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) 3) in x
18.513 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in x
18.513 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 x) 1.0)) 1.0)
18.513 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 x) 1.0)) in x
18.513 * [taylor]: Taking taylor expansion of (/ 1 y) in x
18.513 * [taylor]: Taking taylor expansion of y in x
18.513 * [backup-simplify]: Simplify y into y
18.514 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
18.514 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
18.514 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.514 * [taylor]: Taking taylor expansion of x in x
18.514 * [backup-simplify]: Simplify 0 into 0
18.514 * [backup-simplify]: Simplify 1 into 1
18.514 * [backup-simplify]: Simplify (/ 1 1) into 1
18.514 * [taylor]: Taking taylor expansion of 1.0 in x
18.514 * [backup-simplify]: Simplify 1.0 into 1.0
18.514 * [taylor]: Taking taylor expansion of 1.0 in x
18.514 * [backup-simplify]: Simplify 1.0 into 1.0
18.514 * [backup-simplify]: Simplify (+ 1 0) into 1
18.514 * [backup-simplify]: Simplify (* (/ 1 y) 1) into (/ 1 y)
18.514 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
18.514 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) 3) in y
18.514 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in y
18.515 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 x) 1.0)) 1.0)
18.515 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 x) 1.0)) in y
18.515 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.515 * [taylor]: Taking taylor expansion of y in y
18.515 * [backup-simplify]: Simplify 0 into 0
18.515 * [backup-simplify]: Simplify 1 into 1
18.515 * [backup-simplify]: Simplify (/ 1 1) into 1
18.515 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in y
18.515 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.515 * [taylor]: Taking taylor expansion of x in y
18.515 * [backup-simplify]: Simplify x into x
18.515 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.515 * [taylor]: Taking taylor expansion of 1.0 in y
18.515 * [backup-simplify]: Simplify 1.0 into 1.0
18.515 * [taylor]: Taking taylor expansion of 1.0 in y
18.515 * [backup-simplify]: Simplify 1.0 into 1.0
18.515 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
18.516 * [backup-simplify]: Simplify (+ (/ 1 x) (- 1.0)) into (- (/ 1 x) 1.0)
18.516 * [backup-simplify]: Simplify (* 1 (- (/ 1 x) 1.0)) into (- (/ 1 x) 1.0)
18.516 * [backup-simplify]: Simplify (+ (- (/ 1 x) 1.0) 0) into (- (/ 1 x) 1.0)
18.516 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) 3) in y
18.516 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in y
18.516 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 x) 1.0)) 1.0)
18.516 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 x) 1.0)) in y
18.516 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.516 * [taylor]: Taking taylor expansion of y in y
18.516 * [backup-simplify]: Simplify 0 into 0
18.516 * [backup-simplify]: Simplify 1 into 1
18.516 * [backup-simplify]: Simplify (/ 1 1) into 1
18.516 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in y
18.516 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.516 * [taylor]: Taking taylor expansion of x in y
18.516 * [backup-simplify]: Simplify x into x
18.517 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.517 * [taylor]: Taking taylor expansion of 1.0 in y
18.517 * [backup-simplify]: Simplify 1.0 into 1.0
18.517 * [taylor]: Taking taylor expansion of 1.0 in y
18.517 * [backup-simplify]: Simplify 1.0 into 1.0
18.517 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
18.517 * [backup-simplify]: Simplify (+ (/ 1 x) (- 1.0)) into (- (/ 1 x) 1.0)
18.517 * [backup-simplify]: Simplify (* 1 (- (/ 1 x) 1.0)) into (- (/ 1 x) 1.0)
18.517 * [backup-simplify]: Simplify (+ (- (/ 1 x) 1.0) 0) into (- (/ 1 x) 1.0)
18.517 * [backup-simplify]: Simplify (* (- (/ 1 x) 1.0) (- (/ 1 x) 1.0)) into (pow (- (/ 1 x) 1.0) 2)
18.518 * [backup-simplify]: Simplify (* (- (/ 1 x) 1.0) (pow (- (/ 1 x) 1.0) 2)) into (pow (- (/ 1 x) 1.0) 3)
18.518 * [taylor]: Taking taylor expansion of (pow (- (/ 1 x) 1.0) 3) in x
18.518 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
18.518 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.518 * [taylor]: Taking taylor expansion of x in x
18.518 * [backup-simplify]: Simplify 0 into 0
18.518 * [backup-simplify]: Simplify 1 into 1
18.518 * [backup-simplify]: Simplify (/ 1 1) into 1
18.518 * [taylor]: Taking taylor expansion of 1.0 in x
18.518 * [backup-simplify]: Simplify 1.0 into 1.0
18.519 * [backup-simplify]: Simplify (+ 1 0) into 1
18.519 * [backup-simplify]: Simplify (* 1 1) into 1
18.519 * [backup-simplify]: Simplify (* 1 1) into 1
18.519 * [backup-simplify]: Simplify 1 into 1
18.519 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
18.520 * [backup-simplify]: Simplify (- 0) into 0
18.520 * [backup-simplify]: Simplify (+ 0 0) into 0
18.521 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.521 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (- (/ 1 x) 1.0))) into 0
18.521 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
18.522 * [backup-simplify]: Simplify (+ (* (- (/ 1 x) 1.0) 1.0) (* 1.0 (- (/ 1 x) 1.0))) into (- (* 2.0 (/ 1 x)) 2.0)
18.522 * [backup-simplify]: Simplify (+ (* (- (/ 1 x) 1.0) (- (* 2.0 (/ 1 x)) 2.0)) (* 1.0 (pow (- (/ 1 x) 1.0) 2))) into (- (+ 3.0 (* 3.0 (/ 1 (pow x 2)))) (* 6.0 (/ 1 x)))
18.522 * [taylor]: Taking taylor expansion of (- (+ 3.0 (* 3.0 (/ 1 (pow x 2)))) (* 6.0 (/ 1 x))) in x
18.522 * [taylor]: Taking taylor expansion of (+ 3.0 (* 3.0 (/ 1 (pow x 2)))) in x
18.522 * [taylor]: Taking taylor expansion of 3.0 in x
18.522 * [backup-simplify]: Simplify 3.0 into 3.0
18.522 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
18.523 * [taylor]: Taking taylor expansion of 3.0 in x
18.523 * [backup-simplify]: Simplify 3.0 into 3.0
18.523 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
18.523 * [taylor]: Taking taylor expansion of (pow x 2) in x
18.523 * [taylor]: Taking taylor expansion of x in x
18.523 * [backup-simplify]: Simplify 0 into 0
18.523 * [backup-simplify]: Simplify 1 into 1
18.523 * [backup-simplify]: Simplify (* 1 1) into 1
18.523 * [backup-simplify]: Simplify (/ 1 1) into 1
18.523 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x
18.523 * [taylor]: Taking taylor expansion of 6.0 in x
18.524 * [backup-simplify]: Simplify 6.0 into 6.0
18.524 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.524 * [taylor]: Taking taylor expansion of x in x
18.524 * [backup-simplify]: Simplify 0 into 0
18.524 * [backup-simplify]: Simplify 1 into 1
18.524 * [backup-simplify]: Simplify (/ 1 1) into 1
18.525 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.525 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
18.526 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
18.528 * [backup-simplify]: Simplify (+ (* 1 (- 1.0)) (* (- 1.0) 1)) into (- 2.0)
18.530 * [backup-simplify]: Simplify (+ (* 1 (- 2.0)) (* (- 1.0) 1)) into (- 3.0)
18.530 * [backup-simplify]: Simplify (- 3.0) into (- 3.0)
18.531 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
18.531 * [backup-simplify]: Simplify (- 0) into 0
18.531 * [backup-simplify]: Simplify (+ 0 0) into 0
18.532 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.533 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (- (/ 1 x) 1.0)))) into 0
18.533 * [backup-simplify]: Simplify (+ 0 0) into 0
18.534 * [backup-simplify]: Simplify (+ (* (- (/ 1 x) 1.0) 0) (+ (* 1.0 1.0) (* 0 (- (/ 1 x) 1.0)))) into 1.0
18.534 * [backup-simplify]: Simplify (+ (* (- (/ 1 x) 1.0) 1.0) (+ (* 1.0 (- (* 2.0 (/ 1 x)) 2.0)) (* 0 (pow (- (/ 1 x) 1.0) 2)))) into (- (* 3.0 (/ 1 x)) 3.0)
18.534 * [taylor]: Taking taylor expansion of (- (* 3.0 (/ 1 x)) 3.0) in x
18.534 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
18.534 * [taylor]: Taking taylor expansion of 3.0 in x
18.534 * [backup-simplify]: Simplify 3.0 into 3.0
18.534 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.534 * [taylor]: Taking taylor expansion of x in x
18.534 * [backup-simplify]: Simplify 0 into 0
18.534 * [backup-simplify]: Simplify 1 into 1
18.535 * [backup-simplify]: Simplify (/ 1 1) into 1
18.535 * [taylor]: Taking taylor expansion of 3.0 in x
18.535 * [backup-simplify]: Simplify 3.0 into 3.0
18.535 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
18.539 * [backup-simplify]: Simplify (+ 0 3.0) into 3.0
18.540 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
18.540 * [backup-simplify]: Simplify 3.0 into 3.0
18.542 * [backup-simplify]: Simplify (+ (* 3.0 (pow (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))) 2)) (+ (* (- 3.0) (* (pow (/ 1 x) -2) (pow (/ 1 y) -3))) (* 1 (pow (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))) 3)))) into (- (+ (* 3.0 (* (pow x 2) (pow y 2))) (* (pow x 3) (pow y 3))) (* 3.0 (* (pow x 2) (pow y 3))))
18.542 * [backup-simplify]: Simplify (pow (fma (/ 1 (- y)) (- (/ 1 (- x)) 1.0) 1.0) 3) into (pow (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) 3)
18.542 * [approximate]: Taking taylor expansion of (pow (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) 3) in (y x) around 0
18.542 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) 3) in x
18.542 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) in x
18.543 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) 1.0)
18.543 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) in x
18.543 * [taylor]: Taking taylor expansion of (/ -1 y) in x
18.543 * [taylor]: Taking taylor expansion of -1 in x
18.543 * [backup-simplify]: Simplify -1 into -1
18.543 * [taylor]: Taking taylor expansion of y in x
18.543 * [backup-simplify]: Simplify y into y
18.543 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
18.543 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in x
18.543 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
18.543 * [taylor]: Taking taylor expansion of 1.0 in x
18.543 * [backup-simplify]: Simplify 1.0 into 1.0
18.543 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.543 * [taylor]: Taking taylor expansion of x in x
18.543 * [backup-simplify]: Simplify 0 into 0
18.543 * [backup-simplify]: Simplify 1 into 1
18.544 * [backup-simplify]: Simplify (/ 1 1) into 1
18.544 * [taylor]: Taking taylor expansion of 1.0 in x
18.544 * [backup-simplify]: Simplify 1.0 into 1.0
18.544 * [backup-simplify]: Simplify (+ 0 1) into 1
18.544 * [backup-simplify]: Simplify (- 1) into -1
18.544 * [backup-simplify]: Simplify (* (/ -1 y) -1) into (/ 1 y)
18.545 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
18.545 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) 3) in y
18.545 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) in y
18.545 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) 1.0)
18.545 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) in y
18.545 * [taylor]: Taking taylor expansion of (/ -1 y) in y
18.545 * [taylor]: Taking taylor expansion of -1 in y
18.545 * [backup-simplify]: Simplify -1 into -1
18.545 * [taylor]: Taking taylor expansion of y in y
18.545 * [backup-simplify]: Simplify 0 into 0
18.545 * [backup-simplify]: Simplify 1 into 1
18.545 * [backup-simplify]: Simplify (/ -1 1) into -1
18.546 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in y
18.546 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in y
18.546 * [taylor]: Taking taylor expansion of 1.0 in y
18.546 * [backup-simplify]: Simplify 1.0 into 1.0
18.546 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.546 * [taylor]: Taking taylor expansion of x in y
18.546 * [backup-simplify]: Simplify x into x
18.546 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.546 * [taylor]: Taking taylor expansion of 1.0 in y
18.546 * [backup-simplify]: Simplify 1.0 into 1.0
18.546 * [backup-simplify]: Simplify (+ 1.0 (/ 1 x)) into (+ (/ 1 x) 1.0)
18.546 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0))
18.546 * [backup-simplify]: Simplify (* -1 (- (+ (/ 1 x) 1.0))) into (+ (/ 1 x) 1.0)
18.546 * [backup-simplify]: Simplify (+ (+ (/ 1 x) 1.0) 0) into (+ (/ 1 x) 1.0)
18.546 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) 3) in y
18.546 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) in y
18.546 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) 1.0)
18.546 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) in y
18.547 * [taylor]: Taking taylor expansion of (/ -1 y) in y
18.547 * [taylor]: Taking taylor expansion of -1 in y
18.547 * [backup-simplify]: Simplify -1 into -1
18.547 * [taylor]: Taking taylor expansion of y in y
18.547 * [backup-simplify]: Simplify 0 into 0
18.547 * [backup-simplify]: Simplify 1 into 1
18.547 * [backup-simplify]: Simplify (/ -1 1) into -1
18.547 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in y
18.547 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in y
18.547 * [taylor]: Taking taylor expansion of 1.0 in y
18.547 * [backup-simplify]: Simplify 1.0 into 1.0
18.547 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.547 * [taylor]: Taking taylor expansion of x in y
18.547 * [backup-simplify]: Simplify x into x
18.547 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.547 * [taylor]: Taking taylor expansion of 1.0 in y
18.547 * [backup-simplify]: Simplify 1.0 into 1.0
18.548 * [backup-simplify]: Simplify (+ 1.0 (/ 1 x)) into (+ (/ 1 x) 1.0)
18.548 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0))
18.548 * [backup-simplify]: Simplify (* -1 (- (+ (/ 1 x) 1.0))) into (+ (/ 1 x) 1.0)
18.548 * [backup-simplify]: Simplify (+ (+ (/ 1 x) 1.0) 0) into (+ (/ 1 x) 1.0)
18.548 * [backup-simplify]: Simplify (* (+ (/ 1 x) 1.0) (+ (/ 1 x) 1.0)) into (pow (+ 1.0 (/ 1 x)) 2)
18.548 * [backup-simplify]: Simplify (* (+ (/ 1 x) 1.0) (pow (+ 1.0 (/ 1 x)) 2)) into (* (pow (+ (/ 1 x) 1.0) 2) (+ 1.0 (/ 1 x)))
18.548 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 x) 1.0) 2) (+ 1.0 (/ 1 x))) in x
18.549 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 2) in x
18.549 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
18.549 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.549 * [taylor]: Taking taylor expansion of x in x
18.549 * [backup-simplify]: Simplify 0 into 0
18.549 * [backup-simplify]: Simplify 1 into 1
18.549 * [backup-simplify]: Simplify (/ 1 1) into 1
18.549 * [taylor]: Taking taylor expansion of 1.0 in x
18.549 * [backup-simplify]: Simplify 1.0 into 1.0
18.550 * [backup-simplify]: Simplify (+ 1 0) into 1
18.550 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
18.550 * [taylor]: Taking taylor expansion of 1.0 in x
18.550 * [backup-simplify]: Simplify 1.0 into 1.0
18.550 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.550 * [taylor]: Taking taylor expansion of x in x
18.550 * [backup-simplify]: Simplify 0 into 0
18.550 * [backup-simplify]: Simplify 1 into 1
18.550 * [backup-simplify]: Simplify (/ 1 1) into 1
18.551 * [backup-simplify]: Simplify (* 1 1) into 1
18.551 * [backup-simplify]: Simplify (+ 0 1) into 1
18.551 * [backup-simplify]: Simplify (* 1 1) into 1
18.551 * [backup-simplify]: Simplify 1 into 1
18.551 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
18.552 * [backup-simplify]: Simplify (+ 0 0) into 0
18.552 * [backup-simplify]: Simplify (- 0) into 0
18.553 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
18.553 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0))
18.553 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (+ (/ 1 x) 1.0)))) into 0
18.554 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
18.554 * [backup-simplify]: Simplify (+ (* (+ (/ 1 x) 1.0) 1.0) (* 1.0 (+ (/ 1 x) 1.0))) into (+ (* 2.0 (/ 1 x)) 2.0)
18.555 * [backup-simplify]: Simplify (+ (* (+ (/ 1 x) 1.0) (+ (* 2.0 (/ 1 x)) 2.0)) (* 1.0 (pow (+ 1.0 (/ 1 x)) 2))) into (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 6.0 (/ 1 x)) 3.0))
18.555 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 (pow x 2))) (+ (* 6.0 (/ 1 x)) 3.0)) in x
18.555 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow x 2))) in x
18.555 * [taylor]: Taking taylor expansion of 3.0 in x
18.555 * [backup-simplify]: Simplify 3.0 into 3.0
18.555 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
18.555 * [taylor]: Taking taylor expansion of (pow x 2) 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.556 * [backup-simplify]: Simplify (/ 1 1) into 1
18.556 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 x)) 3.0) in x
18.556 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x
18.556 * [taylor]: Taking taylor expansion of 6.0 in x
18.556 * [backup-simplify]: Simplify 6.0 into 6.0
18.556 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.556 * [taylor]: Taking taylor expansion of x in x
18.556 * [backup-simplify]: Simplify 0 into 0
18.556 * [backup-simplify]: Simplify 1 into 1
18.556 * [backup-simplify]: Simplify (/ 1 1) into 1
18.556 * [taylor]: Taking taylor expansion of 3.0 in x
18.556 * [backup-simplify]: Simplify 3.0 into 3.0
18.557 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.557 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
18.558 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.558 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
18.560 * [backup-simplify]: Simplify (+ (* 1 1.0) (* 1.0 1)) into 2.0
18.561 * [backup-simplify]: Simplify (+ (* 1 1.0) (* 2.0 1)) into 3.0
18.561 * [backup-simplify]: Simplify 3.0 into 3.0
18.561 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
18.562 * [backup-simplify]: Simplify (+ 0 0) into 0
18.562 * [backup-simplify]: Simplify (- 0) into 0
18.562 * [backup-simplify]: Simplify (- 0) into 0
18.563 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.563 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0))
18.564 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (+ (/ 1 x) 1.0))))) into 0
18.564 * [backup-simplify]: Simplify (+ 0 0) into 0
18.565 * [backup-simplify]: Simplify (+ (* (+ (/ 1 x) 1.0) 0) (+ (* 1.0 1.0) (* 0 (+ (/ 1 x) 1.0)))) into 1.0
18.565 * [backup-simplify]: Simplify (+ (* (+ (/ 1 x) 1.0) 1.0) (+ (* 1.0 (+ (* 2.0 (/ 1 x)) 2.0)) (* 0 (pow (+ 1.0 (/ 1 x)) 2)))) into (+ (* 3.0 (/ 1 x)) 3.0)
18.565 * [taylor]: Taking taylor expansion of (+ (* 3.0 (/ 1 x)) 3.0) in x
18.565 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 x)) in x
18.565 * [taylor]: Taking taylor expansion of 3.0 in x
18.566 * [backup-simplify]: Simplify 3.0 into 3.0
18.566 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.566 * [taylor]: Taking taylor expansion of x in x
18.566 * [backup-simplify]: Simplify 0 into 0
18.566 * [backup-simplify]: Simplify 1 into 1
18.566 * [backup-simplify]: Simplify (/ 1 1) into 1
18.566 * [taylor]: Taking taylor expansion of 3.0 in x
18.566 * [backup-simplify]: Simplify 3.0 into 3.0
18.566 * [backup-simplify]: Simplify (* 3.0 1) into 3.0
18.567 * [backup-simplify]: Simplify (+ 3.0 0) into 3.0
18.567 * [backup-simplify]: Simplify 3.0 into 3.0
18.568 * [backup-simplify]: Simplify (+ (* 3.0 (pow (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))) 2)) (+ (* 3.0 (* (pow (/ 1 (- x)) -2) (pow (/ 1 (- y)) -3))) (* 1 (pow (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))) 3)))) into (- (+ (* 3.0 (* (pow x 2) (pow y 2))) (* (pow x 3) (pow y 3))) (* 3.0 (* (pow x 2) (pow y 3))))
18.569 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
18.569 * [backup-simplify]: Simplify (fma y (- x 1.0) 1.0) into (fma y (- x 1.0) 1.0)
18.569 * [approximate]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in (y x) around 0
18.569 * [taylor]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in x
18.569 * [taylor]: Rewrote expression to (+ (* y (- x 1.0)) 1.0)
18.569 * [taylor]: Taking taylor expansion of (* y (- x 1.0)) in x
18.569 * [taylor]: Taking taylor expansion of y in x
18.569 * [backup-simplify]: Simplify y into y
18.569 * [taylor]: Taking taylor expansion of (- x 1.0) in x
18.569 * [taylor]: Taking taylor expansion of x in x
18.569 * [backup-simplify]: Simplify 0 into 0
18.569 * [backup-simplify]: Simplify 1 into 1
18.569 * [taylor]: Taking taylor expansion of 1.0 in x
18.569 * [backup-simplify]: Simplify 1.0 into 1.0
18.569 * [taylor]: Taking taylor expansion of 1.0 in x
18.569 * [backup-simplify]: Simplify 1.0 into 1.0
18.569 * [taylor]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in y
18.569 * [taylor]: Rewrote expression to (+ (* y (- x 1.0)) 1.0)
18.569 * [taylor]: Taking taylor expansion of (* y (- x 1.0)) in y
18.569 * [taylor]: Taking taylor expansion of y in y
18.569 * [backup-simplify]: Simplify 0 into 0
18.569 * [backup-simplify]: Simplify 1 into 1
18.570 * [taylor]: Taking taylor expansion of (- x 1.0) in y
18.570 * [taylor]: Taking taylor expansion of x in y
18.570 * [backup-simplify]: Simplify x into x
18.570 * [taylor]: Taking taylor expansion of 1.0 in y
18.570 * [backup-simplify]: Simplify 1.0 into 1.0
18.570 * [taylor]: Taking taylor expansion of 1.0 in y
18.570 * [backup-simplify]: Simplify 1.0 into 1.0
18.570 * [taylor]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in y
18.570 * [taylor]: Rewrote expression to (+ (* y (- x 1.0)) 1.0)
18.570 * [taylor]: Taking taylor expansion of (* y (- x 1.0)) in y
18.570 * [taylor]: Taking taylor expansion of y in y
18.570 * [backup-simplify]: Simplify 0 into 0
18.570 * [backup-simplify]: Simplify 1 into 1
18.570 * [taylor]: Taking taylor expansion of (- x 1.0) in y
18.570 * [taylor]: Taking taylor expansion of x in y
18.570 * [backup-simplify]: Simplify x into x
18.570 * [taylor]: Taking taylor expansion of 1.0 in y
18.570 * [backup-simplify]: Simplify 1.0 into 1.0
18.570 * [taylor]: Taking taylor expansion of 1.0 in y
18.570 * [backup-simplify]: Simplify 1.0 into 1.0
18.571 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
18.571 * [backup-simplify]: Simplify (+ x (- 1.0)) into (- x 1.0)
18.571 * [backup-simplify]: Simplify (* 0 (- x 1.0)) into 0
18.572 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
18.572 * [taylor]: Taking taylor expansion of 1.0 in x
18.572 * [backup-simplify]: Simplify 1.0 into 1.0
18.572 * [backup-simplify]: Simplify 1.0 into 1.0
18.572 * [backup-simplify]: Simplify (- 0) into 0
18.572 * [backup-simplify]: Simplify (+ 0 0) into 0
18.573 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- x 1.0))) into (- x 1.0)
18.573 * [backup-simplify]: Simplify (+ (- x 1.0) 0) into (- x 1.0)
18.573 * [taylor]: Taking taylor expansion of (- x 1.0) in x
18.573 * [taylor]: Taking taylor expansion of x in x
18.573 * [backup-simplify]: Simplify 0 into 0
18.573 * [backup-simplify]: Simplify 1 into 1
18.573 * [taylor]: Taking taylor expansion of 1.0 in x
18.573 * [backup-simplify]: Simplify 1.0 into 1.0
18.573 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
18.574 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
18.574 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
18.575 * [backup-simplify]: Simplify 0 into 0
18.575 * [backup-simplify]: Simplify (- 0) into 0
18.575 * [backup-simplify]: Simplify (+ 0 0) into 0
18.576 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- x 1.0)))) into 0
18.576 * [backup-simplify]: Simplify (+ 0 0) into 0
18.576 * [taylor]: Taking taylor expansion of 0 in x
18.576 * [backup-simplify]: Simplify 0 into 0
18.576 * [backup-simplify]: Simplify 0 into 0
18.577 * [backup-simplify]: Simplify (- 0) into 0
18.577 * [backup-simplify]: Simplify (+ 1 0) into 1
18.577 * [backup-simplify]: Simplify 1 into 1
18.578 * [backup-simplify]: Simplify (+ (* 1 (* x y)) (+ (* (- 1.0) (* 1 y)) 1.0)) into (- (+ (* x y) 1.0) (* 1.0 y))
18.578 * [backup-simplify]: Simplify (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) into (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0)
18.578 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in (y x) around 0
18.578 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in x
18.578 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 x) 1.0)) 1.0)
18.578 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 x) 1.0)) in x
18.578 * [taylor]: Taking taylor expansion of (/ 1 y) in x
18.578 * [taylor]: Taking taylor expansion of y in x
18.578 * [backup-simplify]: Simplify y into y
18.578 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
18.578 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
18.578 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.578 * [taylor]: Taking taylor expansion of x in x
18.578 * [backup-simplify]: Simplify 0 into 0
18.578 * [backup-simplify]: Simplify 1 into 1
18.579 * [backup-simplify]: Simplify (/ 1 1) into 1
18.579 * [taylor]: Taking taylor expansion of 1.0 in x
18.579 * [backup-simplify]: Simplify 1.0 into 1.0
18.579 * [taylor]: Taking taylor expansion of 1.0 in x
18.579 * [backup-simplify]: Simplify 1.0 into 1.0
18.579 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in y
18.579 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 x) 1.0)) 1.0)
18.579 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 x) 1.0)) in y
18.579 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.579 * [taylor]: Taking taylor expansion of y in y
18.579 * [backup-simplify]: Simplify 0 into 0
18.579 * [backup-simplify]: Simplify 1 into 1
18.580 * [backup-simplify]: Simplify (/ 1 1) into 1
18.580 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in y
18.580 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.580 * [taylor]: Taking taylor expansion of x in y
18.580 * [backup-simplify]: Simplify x into x
18.580 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.580 * [taylor]: Taking taylor expansion of 1.0 in y
18.580 * [backup-simplify]: Simplify 1.0 into 1.0
18.580 * [taylor]: Taking taylor expansion of 1.0 in y
18.580 * [backup-simplify]: Simplify 1.0 into 1.0
18.580 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in y
18.580 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 x) 1.0)) 1.0)
18.580 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 x) 1.0)) in y
18.580 * [taylor]: Taking taylor expansion of (/ 1 y) in y
18.580 * [taylor]: Taking taylor expansion of y in y
18.580 * [backup-simplify]: Simplify 0 into 0
18.580 * [backup-simplify]: Simplify 1 into 1
18.581 * [backup-simplify]: Simplify (/ 1 1) into 1
18.581 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in y
18.581 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.581 * [taylor]: Taking taylor expansion of x in y
18.581 * [backup-simplify]: Simplify x into x
18.581 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.581 * [taylor]: Taking taylor expansion of 1.0 in y
18.581 * [backup-simplify]: Simplify 1.0 into 1.0
18.581 * [taylor]: Taking taylor expansion of 1.0 in y
18.581 * [backup-simplify]: Simplify 1.0 into 1.0
18.581 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
18.582 * [backup-simplify]: Simplify (+ (/ 1 x) (- 1.0)) into (- (/ 1 x) 1.0)
18.582 * [backup-simplify]: Simplify (* 1 (- (/ 1 x) 1.0)) into (- (/ 1 x) 1.0)
18.582 * [backup-simplify]: Simplify (+ (- (/ 1 x) 1.0) 0) into (- (/ 1 x) 1.0)
18.582 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
18.582 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.582 * [taylor]: Taking taylor expansion of x in x
18.582 * [backup-simplify]: Simplify 0 into 0
18.582 * [backup-simplify]: Simplify 1 into 1
18.582 * [backup-simplify]: Simplify (/ 1 1) into 1
18.583 * [taylor]: Taking taylor expansion of 1.0 in x
18.583 * [backup-simplify]: Simplify 1.0 into 1.0
18.583 * [backup-simplify]: Simplify (+ 1 0) into 1
18.583 * [backup-simplify]: Simplify 1 into 1
18.583 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
18.583 * [backup-simplify]: Simplify (- 0) into 0
18.584 * [backup-simplify]: Simplify (+ 0 0) into 0
18.584 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.585 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (- (/ 1 x) 1.0))) into 0
18.585 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
18.585 * [taylor]: Taking taylor expansion of 1.0 in x
18.585 * [backup-simplify]: Simplify 1.0 into 1.0
18.586 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.586 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
18.587 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
18.587 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
18.588 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
18.588 * [backup-simplify]: Simplify (- 0) into 0
18.588 * [backup-simplify]: Simplify (+ 0 0) into 0
18.589 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.590 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (- (/ 1 x) 1.0)))) into 0
18.590 * [backup-simplify]: Simplify (+ 0 0) into 0
18.590 * [taylor]: Taking taylor expansion of 0 in x
18.590 * [backup-simplify]: Simplify 0 into 0
18.590 * [backup-simplify]: Simplify 1.0 into 1.0
18.591 * [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.591 * [backup-simplify]: Simplify (fma (/ 1 (- y)) (- (/ 1 (- x)) 1.0) 1.0) into (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0)
18.591 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) in (y x) around 0
18.591 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) in x
18.591 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) 1.0)
18.591 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) in x
18.591 * [taylor]: Taking taylor expansion of (/ -1 y) in x
18.591 * [taylor]: Taking taylor expansion of -1 in x
18.591 * [backup-simplify]: Simplify -1 into -1
18.591 * [taylor]: Taking taylor expansion of y in x
18.591 * [backup-simplify]: Simplify y into y
18.591 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
18.591 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in x
18.591 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
18.592 * [taylor]: Taking taylor expansion of 1.0 in x
18.592 * [backup-simplify]: Simplify 1.0 into 1.0
18.592 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.592 * [taylor]: Taking taylor expansion of x in x
18.592 * [backup-simplify]: Simplify 0 into 0
18.592 * [backup-simplify]: Simplify 1 into 1
18.592 * [backup-simplify]: Simplify (/ 1 1) into 1
18.592 * [taylor]: Taking taylor expansion of 1.0 in x
18.592 * [backup-simplify]: Simplify 1.0 into 1.0
18.592 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) in y
18.592 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) 1.0)
18.592 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) in y
18.592 * [taylor]: Taking taylor expansion of (/ -1 y) in y
18.592 * [taylor]: Taking taylor expansion of -1 in y
18.592 * [backup-simplify]: Simplify -1 into -1
18.592 * [taylor]: Taking taylor expansion of y in y
18.593 * [backup-simplify]: Simplify 0 into 0
18.593 * [backup-simplify]: Simplify 1 into 1
18.593 * [backup-simplify]: Simplify (/ -1 1) into -1
18.593 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in y
18.593 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in y
18.593 * [taylor]: Taking taylor expansion of 1.0 in y
18.593 * [backup-simplify]: Simplify 1.0 into 1.0
18.593 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.593 * [taylor]: Taking taylor expansion of x in y
18.593 * [backup-simplify]: Simplify x into x
18.593 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.593 * [taylor]: Taking taylor expansion of 1.0 in y
18.593 * [backup-simplify]: Simplify 1.0 into 1.0
18.593 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ 1.0 (/ 1 x))) 1.0) in y
18.593 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) 1.0)
18.594 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ 1.0 (/ 1 x)))) in y
18.594 * [taylor]: Taking taylor expansion of (/ -1 y) in y
18.594 * [taylor]: Taking taylor expansion of -1 in y
18.594 * [backup-simplify]: Simplify -1 into -1
18.594 * [taylor]: Taking taylor expansion of y in y
18.594 * [backup-simplify]: Simplify 0 into 0
18.594 * [backup-simplify]: Simplify 1 into 1
18.594 * [backup-simplify]: Simplify (/ -1 1) into -1
18.594 * [taylor]: Taking taylor expansion of (- (+ 1.0 (/ 1 x))) in y
18.594 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in y
18.594 * [taylor]: Taking taylor expansion of 1.0 in y
18.594 * [backup-simplify]: Simplify 1.0 into 1.0
18.594 * [taylor]: Taking taylor expansion of (/ 1 x) in y
18.594 * [taylor]: Taking taylor expansion of x in y
18.594 * [backup-simplify]: Simplify x into x
18.594 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
18.594 * [taylor]: Taking taylor expansion of 1.0 in y
18.594 * [backup-simplify]: Simplify 1.0 into 1.0
18.595 * [backup-simplify]: Simplify (+ 1.0 (/ 1 x)) into (+ (/ 1 x) 1.0)
18.595 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0))
18.595 * [backup-simplify]: Simplify (* -1 (- (+ (/ 1 x) 1.0))) into (+ (/ 1 x) 1.0)
18.595 * [backup-simplify]: Simplify (+ (+ (/ 1 x) 1.0) 0) into (+ (/ 1 x) 1.0)
18.595 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
18.595 * [taylor]: Taking taylor expansion of (/ 1 x) in x
18.595 * [taylor]: Taking taylor expansion of x in x
18.595 * [backup-simplify]: Simplify 0 into 0
18.595 * [backup-simplify]: Simplify 1 into 1
18.595 * [backup-simplify]: Simplify (/ 1 1) into 1
18.595 * [taylor]: Taking taylor expansion of 1.0 in x
18.596 * [backup-simplify]: Simplify 1.0 into 1.0
18.596 * [backup-simplify]: Simplify (+ 1 0) into 1
18.596 * [backup-simplify]: Simplify 1 into 1
18.596 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
18.596 * [backup-simplify]: Simplify (+ 0 0) into 0
18.597 * [backup-simplify]: Simplify (- 0) into 0
18.597 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
18.598 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0))
18.598 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (+ (/ 1 x) 1.0)))) into 0
18.599 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
18.599 * [taylor]: Taking taylor expansion of 1.0 in x
18.599 * [backup-simplify]: Simplify 1.0 into 1.0
18.599 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.600 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
18.600 * [backup-simplify]: Simplify 1.0 into 1.0
18.600 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
18.600 * [backup-simplify]: Simplify (+ 0 0) into 0
18.601 * [backup-simplify]: Simplify (- 0) into 0
18.601 * [backup-simplify]: Simplify (- 0) into 0
18.602 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
18.602 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0))
18.603 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (+ (/ 1 x) 1.0))))) into 0
18.603 * [backup-simplify]: Simplify (+ 0 0) into 0
18.603 * [taylor]: Taking taylor expansion of 0 in x
18.603 * [backup-simplify]: Simplify 0 into 0
18.603 * [backup-simplify]: Simplify 1.0 into 1.0
18.604 * [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.604 * * * [progress]: simplifying candidates
18.605 * [simplify]: Simplifying:
  (expm1 (cbrt (pow (fma y (- x 1.0) 1.0) 3)))
  (log1p (cbrt (pow (fma y (- x 1.0) 1.0) 3)))
  (log (cbrt (pow (fma y (- x 1.0) 1.0) 3)))
  (exp (cbrt (pow (fma y (- x 1.0) 1.0) 3)))
  (cbrt (pow (* (cbrt (fma y (- x 1.0) 1.0)) (cbrt (fma y (- x 1.0) 1.0))) 3))
  (cbrt (pow (cbrt (fma y (- x 1.0) 1.0)) 3))
  (cbrt (pow (sqrt (fma y (- x 1.0) 1.0)) 3))
  (cbrt (pow (sqrt (fma y (- x 1.0) 1.0)) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (fma y (- x 1.0) 1.0) 3))
  (cbrt (* (fma y (- x 1.0) 1.0) (fma y (- x 1.0) 1.0)))
  (cbrt (fma y (- x 1.0) 1.0))
  (cbrt (* (cbrt (pow (fma y (- x 1.0) 1.0) 3)) (cbrt (pow (fma y (- x 1.0) 1.0) 3))))
  (cbrt (cbrt (pow (fma y (- x 1.0) 1.0) 3)))
  (cbrt (pow (* (cbrt (fma y (- x 1.0) 1.0)) (cbrt (fma y (- x 1.0) 1.0))) 3))
  (cbrt (pow (cbrt (fma y (- x 1.0) 1.0)) 3))
  (cbrt (pow (sqrt (fma y (- x 1.0) 1.0)) 3))
  (cbrt (pow (sqrt (fma y (- x 1.0) 1.0)) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (fma y (- x 1.0) 1.0) 3))
  (cbrt (fma y (- x 1.0) 1.0))
  (cbrt (* (fma y (- x 1.0) 1.0) (fma y (- x 1.0) 1.0)))
  (cbrt (sqrt (pow (fma y (- x 1.0) 1.0) 3)))
  (cbrt (sqrt (pow (fma y (- x 1.0) 1.0) 3)))
  (cbrt 1)
  (cbrt (pow (fma y (- x 1.0) 1.0) 3))
  (cbrt (pow (fma y (- x 1.0) 1.0) (/ 3 2)))
  (cbrt (pow (fma y (- x 1.0) 1.0) (/ 3 2)))
  (* (cbrt (cbrt (pow (fma y (- x 1.0) 1.0) 3))) (cbrt (cbrt (pow (fma y (- x 1.0) 1.0) 3))))
  (cbrt (cbrt (pow (fma y (- x 1.0) 1.0) 3)))
  (* (* (cbrt (pow (fma y (- x 1.0) 1.0) 3)) (cbrt (pow (fma y (- x 1.0) 1.0) 3))) (cbrt (pow (fma y (- x 1.0) 1.0) 3)))
  (sqrt (cbrt (pow (fma y (- x 1.0) 1.0) 3)))
  (sqrt (cbrt (pow (fma y (- x 1.0) 1.0) 3)))
  (expm1 (pow (fma y (- x 1.0) 1.0) 3))
  (log1p (pow (fma y (- x 1.0) 1.0) 3))
  (* (log (fma y (- x 1.0) 1.0)) 3)
  (* (log (fma y (- x 1.0) 1.0)) 3)
  (* 1 3)
  (pow (fma y (- x 1.0) 1.0) (* (cbrt 3) (cbrt 3)))
  (pow (fma y (- x 1.0) 1.0) (sqrt 3))
  (pow (fma y (- x 1.0) 1.0) 1)
  (pow (* (cbrt (fma y (- x 1.0) 1.0)) (cbrt (fma y (- x 1.0) 1.0))) 3)
  (pow (cbrt (fma y (- x 1.0) 1.0)) 3)
  (pow (sqrt (fma y (- x 1.0) 1.0)) 3)
  (pow (sqrt (fma y (- x 1.0) 1.0)) 3)
  (pow 1 3)
  (pow (fma y (- x 1.0) 1.0) 3)
  (* (fma y (- x 1.0) 1.0) (fma y (- x 1.0) 1.0))
  (log (pow (fma y (- x 1.0) 1.0) 3))
  (exp (pow (fma y (- x 1.0) 1.0) 3))
  (* (cbrt (pow (fma y (- x 1.0) 1.0) 3)) (cbrt (pow (fma y (- x 1.0) 1.0) 3)))
  (cbrt (pow (fma y (- x 1.0) 1.0) 3))
  (* (* (pow (fma y (- x 1.0) 1.0) 3) (pow (fma y (- x 1.0) 1.0) 3)) (pow (fma y (- x 1.0) 1.0) 3))
  (pow (* (cbrt (fma y (- x 1.0) 1.0)) (cbrt (fma y (- x 1.0) 1.0))) 3)
  (pow (cbrt (fma y (- x 1.0) 1.0)) 3)
  (pow (sqrt (fma y (- x 1.0) 1.0)) 3)
  (pow (sqrt (fma y (- x 1.0) 1.0)) 3)
  (pow 1 3)
  (pow (fma y (- x 1.0) 1.0) 3)
  (* (fma y (- x 1.0) 1.0) (fma y (- x 1.0) 1.0))
  (sqrt (pow (fma y (- x 1.0) 1.0) 3))
  (sqrt (pow (fma y (- x 1.0) 1.0) 3))
  (pow (fma y (- x 1.0) 1.0) (/ 3 2))
  (pow (fma y (- x 1.0) 1.0) (/ 3 2))
  (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))
  (- (+ (* 3.0 (pow y 2)) 1.0) (* 3.0 y))
  (- (+ (* 3.0 (* (pow x 2) (pow y 2))) (* (pow x 3) (pow y 3))) (* 3.0 (* (pow x 2) (pow y 3))))
  (- (+ (* 3.0 (* (pow x 2) (pow y 2))) (* (pow x 3) (pow y 3))) (* 3.0 (* (pow x 2) (pow y 3))))
  (- (+ (* x y) 1.0) (* 1.0 y))
  (- (+ (* x y) 1.0) (* 1.0 y))
  (- (+ (* x y) 1.0) (* 1.0 y))
18.607 * * [simplify]: Extracting # 0 : cost  0
18.607 * * [simplify]: Extracting # 1 : cost  0
18.607 * * [simplify]: Extracting # 2 : cost  0
18.607 * * [simplify]: Extracting # 3 : cost  0
18.608 * * [simplify]: Extracting # 4 : cost  0
18.608 * * [simplify]: Extracting # 5 : cost  0
18.608 * * [simplify]: Extracting # 6 : cost  0
18.608 * * [simplify]: iteration  0 :  79  enodes  (cost  889 )
18.637 * * [simplify]: Extracting # 0 : cost  0
18.638 * * [simplify]: Extracting # 1 : cost  0
18.638 * * [simplify]: Extracting # 2 : cost  0
18.638 * * [simplify]: Extracting # 3 : cost  0
18.638 * * [simplify]: Extracting # 4 : cost  0
18.639 * * [simplify]: iteration  1 :  172  enodes  (cost  719 )
18.721 * * [simplify]: Extracting # 0 : cost  0
18.722 * * [simplify]: Extracting # 1 : cost  0
18.723 * * [simplify]: Extracting # 2 : cost  0
18.724 * * [simplify]: Extracting # 3 : cost  0
18.725 * * [simplify]: Extracting # 4 : cost  0
18.725 * * [simplify]: iteration  2 :  503  enodes  (cost  632 )
19.447 * * [simplify]: Extracting # 0 : cost  0
19.453 * * [simplify]: Extracting # 1 : cost  0
19.459 * * [simplify]: Extracting # 2 : cost  0
19.464 * * [simplify]: Extracting # 3 : cost  0
19.470 * * [simplify]: Extracting # 4 : cost  0
19.475 * * [simplify]: Extracting # 5 : cost  0
19.480 * * [simplify]: iteration  3 :  3392  enodes  (cost  619 )
21.484 * * [simplify]: Extracting # 0 : cost  0
21.492 * * [simplify]: Extracting # 1 : cost  0
21.500 * * [simplify]: Extracting # 2 : cost  0
21.515 * * [simplify]: Extracting # 3 : cost  0
21.524 * * [simplify]: Extracting # 4 : cost  0
21.532 * * [simplify]: iteration done:  5002  enodes  (cost  618 )
21.533 * [simplify]: Simplified to:
  (expm1 (fma y (- x 1.0) 1.0))
  (log1p (fma y (- x 1.0) 1.0))
  (log (fma y (- x 1.0) 1.0))
  (exp (fma y (- x 1.0) 1.0))
  (cbrt (pow (fma (- x 1.0) y 1.0) 2))
  (cbrt (fma y (- x 1.0) 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)
  (cbrt (pow (fma (- x 1.0) y 1.0) 2))
  (cbrt (fma y (- x 1.0) 1.0))
  (cbrt (pow (fma (- x 1.0) y 1.0) 2))
  (cbrt (fma y (- x 1.0) 1.0))
  (cbrt (pow (fma (- x 1.0) y 1.0) 2))
  (cbrt (fma y (- x 1.0) 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)
  (cbrt (fma y (- x 1.0) 1.0))
  (cbrt (pow (fma (- x 1.0) y 1.0) 2))
  (cbrt (sqrt (pow (fma y (- x 1.0) 1.0) 3)))
  (cbrt (sqrt (pow (fma y (- x 1.0) 1.0) 3)))
  1
  (fma (- x 1.0) y 1.0)
  (sqrt (fma (- x 1.0) y 1.0))
  (sqrt (fma (- x 1.0) y 1.0))
  (cbrt (pow (fma (- x 1.0) y 1.0) 2))
  (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))
  (expm1 (pow (fma y (- x 1.0) 1.0) 3))
  (log1p (pow (fma y (- x 1.0) 1.0) 3))
  (* (log (fma y (- x 1.0) 1.0)) 3)
  (* (log (fma y (- x 1.0) 1.0)) 3)
  3
  (pow (fma y (- x 1.0) 1.0) (* (cbrt 3) (cbrt 3)))
  (pow (fma y (- x 1.0) 1.0) (sqrt 3))
  (fma (- x 1.0) y 1.0)
  (pow (fma (- x 1.0) y 1.0) 2)
  (fma (- x 1.0) y 1.0)
  (pow (fma y (- x 1.0) 1.0) 3/2)
  (pow (fma y (- x 1.0) 1.0) 3/2)
  1
  (pow (fma y (- x 1.0) 1.0) 3)
  (pow (fma (- x 1.0) y 1.0) 2)
  (* (log (fma y (- x 1.0) 1.0)) 3)
  (exp (pow (fma y (- x 1.0) 1.0) 3))
  (pow (fma (- x 1.0) y 1.0) 2)
  (fma (- x 1.0) y 1.0)
  (pow (pow (fma y (- x 1.0) 1.0) 3) 3)
  (pow (fma (- x 1.0) y 1.0) 2)
  (fma (- x 1.0) y 1.0)
  (pow (fma y (- x 1.0) 1.0) 3/2)
  (pow (fma y (- x 1.0) 1.0) 3/2)
  1
  (pow (fma y (- x 1.0) 1.0) 3)
  (pow (fma (- x 1.0) y 1.0) 2)
  (sqrt (pow (fma y (- x 1.0) 1.0) 3))
  (sqrt (pow (fma y (- x 1.0) 1.0) 3))
  (pow (fma y (- x 1.0) 1.0) 3/2)
  (pow (fma y (- x 1.0) 1.0) 3/2)
  (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 (pow (fma (- x 1.0) y 1.0) 2))
  (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)
  (fma y (- (* 3.0 y) 3.0) 1.0)
  (fma (pow y 3) (* (pow x 2) (- x 3.0)) (* 3.0 (* (pow x 2) (pow y 2))))
  (fma (pow y 3) (* (pow x 2) (- x 3.0)) (* 3.0 (* (pow x 2) (pow y 2))))
  (fma (- x 1.0) y 1.0)
  (fma (- x 1.0) y 1.0)
  (fma (- x 1.0) y 1.0)
21.533 * * * [progress]: adding candidates to table
21.699 * [progress]: [Phase 3 of 3] Extracting.
21.699 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (fma y (- x 1.0) 1.0))> #<alt (λ (x y) (cbrt (pow (fma y (- x 1.0) 1.0) 3)))>)
21.699 * * * [regime-changes]: Trying 2 branch expressions: (y x)
21.699 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (fma y (- x 1.0) 1.0))> #<alt (λ (x y) (cbrt (pow (fma y (- x 1.0) 1.0) 3)))>)
21.718 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (fma y (- x 1.0) 1.0))> #<alt (λ (x y) (cbrt (pow (fma y (- x 1.0) 1.0) 3)))>)
21.739 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
21.739 * [simplify]: Simplifying:
  (fma y (- x 1.0) 1.0)
21.740 * * [simplify]: Extracting # 0 : cost  0
21.740 * * [simplify]: Extracting # 1 : cost  0
21.740 * * [simplify]: Extracting # 2 : cost  0
21.740 * * [simplify]: Extracting # 3 : cost  0
21.740 * * [simplify]: Extracting # 4 : cost  0
21.740 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
21.740 * * [simplify]: Extracting # 0 : cost  0
21.740 * * [simplify]: iteration done:  5  enodes  (cost  6 )
21.740 * [simplify]: Simplified to:
  (fma y (- x 1.0) 1.0)
22.609 * [regime-testing]: Baseline error score: 0.005250656332041505
22.610 * [regime-testing]: Oracle error score: 0.004750593824228029
22.611 * [regime-testing]: End program error score: 0.005250656332041505
22.644 * [regime-testing]: Target error score: 0.005250656332041505