158.194 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.079 * * * [progress]: [2/2] Setting up program.
0.094 * [progress]: [Phase 2 of 3] Improving.
0.095 * [simplify]: Simplifying:
  (+ x (* (- 1.0 x) (- 1.0 y)))
0.095 * * [simplify]: iteration 0: 7 enodes
0.101 * * [simplify]: iteration 1: 13 enodes
0.114 * * [simplify]: iteration 2: 29 enodes
0.279 * * [simplify]: iteration 3: 84 enodes
0.399 * * [simplify]: iteration 4: 266 enodes
0.926 * * [simplify]: iteration 5: 705 enodes
3.615 * * [simplify]: iteration 6: 1959 enodes
13.847 * * [simplify]: iteration complete: 5004 enodes
13.847 * * [simplify]: Extracting #0: cost 1 inf + 0
13.848 * * [simplify]: Extracting #1: cost 259 inf + 0
13.858 * * [simplify]: Extracting #2: cost 832 inf + 6469
13.903 * * [simplify]: Extracting #3: cost 229 inf + 99338
13.978 * * [simplify]: Extracting #4: cost 4 inf + 136207
14.038 * * [simplify]: Extracting #5: cost 0 inf + 136954
14.104 * [simplify]: Simplified to:
  (fma (- 1.0 y) (- 1.0 x) x)
14.112 * * [progress]: iteration 1 / 4
14.112 * * * [progress]: picking best candidate
14.124 * * * * [pick]: Picked  #<alt (λ (x y) (fma (- 1.0 y) (- 1.0 x) x))>
14.124 * * * [progress]: localizing error
14.142 * * * [progress]: generating rewritten candidates
14.142 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
14.143 * * * [progress]: generating series expansions
14.143 * * * * [progress]: [ 1 / 1 ] generating series at (2)
14.143 * [backup-simplify]: Simplify (fma (- 1.0 y) (- 1.0 x) x) into (fma (- 1.0 y) (- 1.0 x) x)
14.143 * [approximate]: Taking taylor expansion of (fma (- 1.0 y) (- 1.0 x) x) in (y x) around 0
14.143 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) (- 1.0 x) x) in x
14.143 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) (- 1.0 x)) x)
14.144 * [taylor]: Taking taylor expansion of (* (- 1.0 y) (- 1.0 x)) in x
14.144 * [taylor]: Taking taylor expansion of (- 1.0 y) in x
14.144 * [taylor]: Taking taylor expansion of 1.0 in x
14.144 * [backup-simplify]: Simplify 1.0 into 1.0
14.144 * [taylor]: Taking taylor expansion of y in x
14.144 * [backup-simplify]: Simplify y into y
14.144 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
14.144 * [taylor]: Taking taylor expansion of 1.0 in x
14.144 * [backup-simplify]: Simplify 1.0 into 1.0
14.144 * [taylor]: Taking taylor expansion of x in x
14.144 * [backup-simplify]: Simplify 0 into 0
14.144 * [backup-simplify]: Simplify 1 into 1
14.144 * [taylor]: Taking taylor expansion of x in x
14.144 * [backup-simplify]: Simplify 0 into 0
14.144 * [backup-simplify]: Simplify 1 into 1
14.144 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) (- 1.0 x) x) in y
14.144 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) (- 1.0 x)) x)
14.144 * [taylor]: Taking taylor expansion of (* (- 1.0 y) (- 1.0 x)) in y
14.144 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
14.144 * [taylor]: Taking taylor expansion of 1.0 in y
14.144 * [backup-simplify]: Simplify 1.0 into 1.0
14.144 * [taylor]: Taking taylor expansion of y in y
14.144 * [backup-simplify]: Simplify 0 into 0
14.144 * [backup-simplify]: Simplify 1 into 1
14.144 * [taylor]: Taking taylor expansion of (- 1.0 x) in y
14.144 * [taylor]: Taking taylor expansion of 1.0 in y
14.145 * [backup-simplify]: Simplify 1.0 into 1.0
14.145 * [taylor]: Taking taylor expansion of x in y
14.145 * [backup-simplify]: Simplify x into x
14.145 * [taylor]: Taking taylor expansion of x in y
14.145 * [backup-simplify]: Simplify x into x
14.145 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) (- 1.0 x) x) in y
14.145 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) (- 1.0 x)) x)
14.145 * [taylor]: Taking taylor expansion of (* (- 1.0 y) (- 1.0 x)) in y
14.145 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
14.145 * [taylor]: Taking taylor expansion of 1.0 in y
14.145 * [backup-simplify]: Simplify 1.0 into 1.0
14.145 * [taylor]: Taking taylor expansion of y in y
14.145 * [backup-simplify]: Simplify 0 into 0
14.145 * [backup-simplify]: Simplify 1 into 1
14.145 * [taylor]: Taking taylor expansion of (- 1.0 x) in y
14.145 * [taylor]: Taking taylor expansion of 1.0 in y
14.145 * [backup-simplify]: Simplify 1.0 into 1.0
14.145 * [taylor]: Taking taylor expansion of x in y
14.145 * [backup-simplify]: Simplify x into x
14.145 * [taylor]: Taking taylor expansion of x in y
14.145 * [backup-simplify]: Simplify x into x
14.146 * [backup-simplify]: Simplify (- 0) into 0
14.146 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
14.147 * [backup-simplify]: Simplify (- x) into (- x)
14.147 * [backup-simplify]: Simplify (+ 1.0 (- x)) into (- 1.0 x)
14.147 * [backup-simplify]: Simplify (* 1.0 (- 1.0 x)) into (* 1.0 (- 1.0 x))
14.147 * [backup-simplify]: Simplify (+ (* 1.0 (- 1.0 x)) x) into 1.0
14.147 * [taylor]: Taking taylor expansion of 1.0 in x
14.147 * [backup-simplify]: Simplify 1.0 into 1.0
14.147 * [backup-simplify]: Simplify 1.0 into 1.0
14.148 * [backup-simplify]: Simplify (- 0) into 0
14.148 * [backup-simplify]: Simplify (+ 0 0) into 0
14.148 * [backup-simplify]: Simplify (- 1) into -1
14.149 * [backup-simplify]: Simplify (+ 0 -1) into -1
14.149 * [backup-simplify]: Simplify (+ (* 1.0 0) (* -1 (- 1.0 x))) into (- x 1.0)
14.149 * [backup-simplify]: Simplify (+ (- x 1.0) 0) into (- x 1.0)
14.149 * [taylor]: Taking taylor expansion of (- x 1.0) in x
14.150 * [taylor]: Taking taylor expansion of x in x
14.150 * [backup-simplify]: Simplify 0 into 0
14.150 * [backup-simplify]: Simplify 1 into 1
14.150 * [taylor]: Taking taylor expansion of 1.0 in x
14.150 * [backup-simplify]: Simplify 1.0 into 1.0
14.150 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
14.151 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
14.151 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
14.152 * [backup-simplify]: Simplify 0 into 0
14.152 * [backup-simplify]: Simplify (- 0) into 0
14.152 * [backup-simplify]: Simplify (+ 0 0) into 0
14.153 * [backup-simplify]: Simplify (- 0) into 0
14.153 * [backup-simplify]: Simplify (+ 0 0) into 0
14.154 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* -1 0) (* 0 (- 1.0 x)))) into 0
14.155 * [backup-simplify]: Simplify (+ 0 0) into 0
14.155 * [taylor]: Taking taylor expansion of 0 in x
14.155 * [backup-simplify]: Simplify 0 into 0
14.155 * [backup-simplify]: Simplify 0 into 0
14.155 * [backup-simplify]: Simplify (- 0) into 0
14.156 * [backup-simplify]: Simplify (+ 1 0) into 1
14.156 * [backup-simplify]: Simplify 1 into 1
14.156 * [backup-simplify]: Simplify (+ (* 1 (* x y)) (+ (* (- 1.0) (* 1 y)) 1.0)) into (- (+ (* x y) 1.0) (* 1.0 y))
14.157 * [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))
14.157 * [approximate]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x)) (/ 1 x)) in (y x) around 0
14.157 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x)) (/ 1 x)) in x
14.157 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) (/ 1 x))
14.157 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) in x
14.157 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x
14.157 * [taylor]: Taking taylor expansion of 1.0 in x
14.157 * [backup-simplify]: Simplify 1.0 into 1.0
14.157 * [taylor]: Taking taylor expansion of (/ 1 y) in x
14.157 * [taylor]: Taking taylor expansion of y in x
14.157 * [backup-simplify]: Simplify y into y
14.157 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
14.157 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
14.157 * [taylor]: Taking taylor expansion of 1.0 in x
14.157 * [backup-simplify]: Simplify 1.0 into 1.0
14.157 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.157 * [taylor]: Taking taylor expansion of x in x
14.157 * [backup-simplify]: Simplify 0 into 0
14.157 * [backup-simplify]: Simplify 1 into 1
14.158 * [backup-simplify]: Simplify (/ 1 1) into 1
14.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.158 * [taylor]: Taking taylor expansion of x in x
14.158 * [backup-simplify]: Simplify 0 into 0
14.158 * [backup-simplify]: Simplify 1 into 1
14.158 * [backup-simplify]: Simplify (/ 1 1) into 1
14.158 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x)) (/ 1 x)) in y
14.159 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) (/ 1 x))
14.159 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) in y
14.159 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
14.159 * [taylor]: Taking taylor expansion of 1.0 in y
14.159 * [backup-simplify]: Simplify 1.0 into 1.0
14.159 * [taylor]: Taking taylor expansion of (/ 1 y) in y
14.159 * [taylor]: Taking taylor expansion of y in y
14.159 * [backup-simplify]: Simplify 0 into 0
14.159 * [backup-simplify]: Simplify 1 into 1
14.160 * [backup-simplify]: Simplify (/ 1 1) into 1
14.160 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y
14.160 * [taylor]: Taking taylor expansion of 1.0 in y
14.160 * [backup-simplify]: Simplify 1.0 into 1.0
14.160 * [taylor]: Taking taylor expansion of (/ 1 x) in y
14.160 * [taylor]: Taking taylor expansion of x in y
14.160 * [backup-simplify]: Simplify x into x
14.160 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
14.160 * [taylor]: Taking taylor expansion of (/ 1 x) in y
14.160 * [taylor]: Taking taylor expansion of x in y
14.160 * [backup-simplify]: Simplify x into x
14.160 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
14.160 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x)) (/ 1 x)) in y
14.160 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) (/ 1 x))
14.160 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) in y
14.160 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
14.160 * [taylor]: Taking taylor expansion of 1.0 in y
14.160 * [backup-simplify]: Simplify 1.0 into 1.0
14.160 * [taylor]: Taking taylor expansion of (/ 1 y) in y
14.160 * [taylor]: Taking taylor expansion of y in y
14.161 * [backup-simplify]: Simplify 0 into 0
14.161 * [backup-simplify]: Simplify 1 into 1
14.161 * [backup-simplify]: Simplify (/ 1 1) into 1
14.161 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y
14.161 * [taylor]: Taking taylor expansion of 1.0 in y
14.161 * [backup-simplify]: Simplify 1.0 into 1.0
14.161 * [taylor]: Taking taylor expansion of (/ 1 x) in y
14.161 * [taylor]: Taking taylor expansion of x in y
14.161 * [backup-simplify]: Simplify x into x
14.161 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
14.161 * [taylor]: Taking taylor expansion of (/ 1 x) in y
14.161 * [taylor]: Taking taylor expansion of x in y
14.162 * [backup-simplify]: Simplify x into x
14.162 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
14.162 * [backup-simplify]: Simplify (- 1) into -1
14.163 * [backup-simplify]: Simplify (+ 0 -1) into -1
14.163 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
14.163 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x))
14.163 * [backup-simplify]: Simplify (* -1 (- 1.0 (/ 1 x))) into (* -1 (- 1.0 (/ 1 x)))
14.163 * [backup-simplify]: Simplify (+ (* -1 (- 1.0 (/ 1 x))) 0) into (- (/ 1 x) 1.0)
14.163 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
14.163 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.163 * [taylor]: Taking taylor expansion of x in x
14.163 * [backup-simplify]: Simplify 0 into 0
14.163 * [backup-simplify]: Simplify 1 into 1
14.164 * [backup-simplify]: Simplify (/ 1 1) into 1
14.164 * [taylor]: Taking taylor expansion of 1.0 in x
14.164 * [backup-simplify]: Simplify 1.0 into 1.0
14.164 * [backup-simplify]: Simplify (+ 1 0) into 1
14.164 * [backup-simplify]: Simplify 1 into 1
14.165 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
14.165 * [backup-simplify]: Simplify (- 0) into 0
14.166 * [backup-simplify]: Simplify (+ 0 0) into 0
14.166 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
14.167 * [backup-simplify]: Simplify (- 0) into 0
14.167 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
14.168 * [backup-simplify]: Simplify (+ (* -1 0) (* 1.0 (- 1.0 (/ 1 x)))) into (- 1.0 (* 1.0 (/ 1 x)))
14.168 * [backup-simplify]: Simplify (+ (- 1.0 (* 1.0 (/ 1 x))) (/ 1 x)) into 1.0
14.168 * [taylor]: Taking taylor expansion of 1.0 in x
14.168 * [backup-simplify]: Simplify 1.0 into 1.0
14.169 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
14.169 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
14.177 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
14.178 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
14.178 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
14.178 * [backup-simplify]: Simplify (- 0) into 0
14.179 * [backup-simplify]: Simplify (+ 0 0) into 0
14.180 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.180 * [backup-simplify]: Simplify (- 0) into 0
14.181 * [backup-simplify]: Simplify (+ 0 0) into 0
14.182 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 1.0 0) (* 0 (- 1.0 (/ 1 x))))) into 0
14.182 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
14.182 * [backup-simplify]: Simplify (+ 0 0) into 0
14.182 * [taylor]: Taking taylor expansion of 0 in x
14.182 * [backup-simplify]: Simplify 0 into 0
14.182 * [backup-simplify]: Simplify 1.0 into 1.0
14.183 * [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))
14.183 * [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))
14.183 * [approximate]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0) (/ -1 x)) in (y x) around 0
14.184 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0) (/ -1 x)) in x
14.184 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0)) (/ -1 x))
14.184 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0)) in x
14.184 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x
14.184 * [taylor]: Taking taylor expansion of (/ 1 y) in x
14.184 * [taylor]: Taking taylor expansion of y in x
14.184 * [backup-simplify]: Simplify y into y
14.184 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
14.184 * [taylor]: Taking taylor expansion of 1.0 in x
14.184 * [backup-simplify]: Simplify 1.0 into 1.0
14.184 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
14.184 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.184 * [taylor]: Taking taylor expansion of x in x
14.184 * [backup-simplify]: Simplify 0 into 0
14.184 * [backup-simplify]: Simplify 1 into 1
14.185 * [backup-simplify]: Simplify (/ 1 1) into 1
14.185 * [taylor]: Taking taylor expansion of 1.0 in x
14.185 * [backup-simplify]: Simplify 1.0 into 1.0
14.185 * [taylor]: Taking taylor expansion of (/ -1 x) in x
14.185 * [taylor]: Taking taylor expansion of -1 in x
14.185 * [backup-simplify]: Simplify -1 into -1
14.185 * [taylor]: Taking taylor expansion of x in x
14.185 * [backup-simplify]: Simplify 0 into 0
14.185 * [backup-simplify]: Simplify 1 into 1
14.186 * [backup-simplify]: Simplify (/ -1 1) into -1
14.186 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0) (/ -1 x)) in y
14.186 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0)) (/ -1 x))
14.186 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0)) in y
14.186 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
14.186 * [taylor]: Taking taylor expansion of (/ 1 y) in y
14.186 * [taylor]: Taking taylor expansion of y in y
14.186 * [backup-simplify]: Simplify 0 into 0
14.186 * [backup-simplify]: Simplify 1 into 1
14.187 * [backup-simplify]: Simplify (/ 1 1) into 1
14.187 * [taylor]: Taking taylor expansion of 1.0 in y
14.187 * [backup-simplify]: Simplify 1.0 into 1.0
14.187 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y
14.187 * [taylor]: Taking taylor expansion of (/ 1 x) in y
14.187 * [taylor]: Taking taylor expansion of x in y
14.187 * [backup-simplify]: Simplify x into x
14.187 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
14.187 * [taylor]: Taking taylor expansion of 1.0 in y
14.187 * [backup-simplify]: Simplify 1.0 into 1.0
14.187 * [taylor]: Taking taylor expansion of (/ -1 x) in y
14.187 * [taylor]: Taking taylor expansion of -1 in y
14.188 * [backup-simplify]: Simplify -1 into -1
14.188 * [taylor]: Taking taylor expansion of x in y
14.188 * [backup-simplify]: Simplify x into x
14.188 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
14.188 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0) (/ -1 x)) in y
14.188 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0)) (/ -1 x))
14.188 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0)) in y
14.188 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y
14.188 * [taylor]: Taking taylor expansion of (/ 1 y) in y
14.188 * [taylor]: Taking taylor expansion of y in y
14.188 * [backup-simplify]: Simplify 0 into 0
14.188 * [backup-simplify]: Simplify 1 into 1
14.189 * [backup-simplify]: Simplify (/ 1 1) into 1
14.189 * [taylor]: Taking taylor expansion of 1.0 in y
14.189 * [backup-simplify]: Simplify 1.0 into 1.0
14.189 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y
14.189 * [taylor]: Taking taylor expansion of (/ 1 x) in y
14.189 * [taylor]: Taking taylor expansion of x in y
14.189 * [backup-simplify]: Simplify x into x
14.189 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
14.189 * [taylor]: Taking taylor expansion of 1.0 in y
14.189 * [backup-simplify]: Simplify 1.0 into 1.0
14.189 * [taylor]: Taking taylor expansion of (/ -1 x) in y
14.189 * [taylor]: Taking taylor expansion of -1 in y
14.189 * [backup-simplify]: Simplify -1 into -1
14.189 * [taylor]: Taking taylor expansion of x in y
14.189 * [backup-simplify]: Simplify x into x
14.189 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
14.190 * [backup-simplify]: Simplify (+ 1 0) into 1
14.190 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ 1.0 (/ 1 x))
14.190 * [backup-simplify]: Simplify (* 1 (+ 1.0 (/ 1 x))) into (+ (/ 1 x) 1.0)
14.190 * [backup-simplify]: Simplify (+ (+ (/ 1 x) 1.0) 0) into (+ (/ 1 x) 1.0)
14.190 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
14.190 * [taylor]: Taking taylor expansion of (/ 1 x) in x
14.190 * [taylor]: Taking taylor expansion of x in x
14.190 * [backup-simplify]: Simplify 0 into 0
14.190 * [backup-simplify]: Simplify 1 into 1
14.191 * [backup-simplify]: Simplify (/ 1 1) into 1
14.191 * [taylor]: Taking taylor expansion of 1.0 in x
14.191 * [backup-simplify]: Simplify 1.0 into 1.0
14.192 * [backup-simplify]: Simplify (+ 1 0) into 1
14.192 * [backup-simplify]: Simplify 1 into 1
14.192 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
14.192 * [backup-simplify]: Simplify (+ 0 0) into 0
14.193 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
14.194 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
14.194 * [backup-simplify]: Simplify (+ (* 1 0) (* 1.0 (+ 1.0 (/ 1 x)))) into (+ (* 1.0 (/ 1 x)) 1.0)
14.194 * [backup-simplify]: Simplify (+ (+ (* 1.0 (/ 1 x)) 1.0) (/ -1 x)) into 1.0
14.195 * [taylor]: Taking taylor expansion of 1.0 in x
14.195 * [backup-simplify]: Simplify 1.0 into 1.0
14.195 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
14.196 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
14.196 * [backup-simplify]: Simplify 1.0 into 1.0
14.196 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
14.197 * [backup-simplify]: Simplify (+ 0 0) into 0
14.198 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.198 * [backup-simplify]: Simplify (+ 0 0) into 0
14.199 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1.0 0) (* 0 (+ 1.0 (/ 1 x))))) into 0
14.199 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
14.200 * [backup-simplify]: Simplify (+ 0 0) into 0
14.200 * [taylor]: Taking taylor expansion of 0 in x
14.200 * [backup-simplify]: Simplify 0 into 0
14.200 * [backup-simplify]: Simplify 1.0 into 1.0
14.200 * [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))
14.200 * * * [progress]: simplifying candidates
14.201 * [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))
14.201 * * [simplify]: iteration 0: 20 enodes
14.209 * * [simplify]: iteration 1: 35 enodes
14.223 * * [simplify]: iteration 2: 84 enodes
14.273 * * [simplify]: iteration 3: 293 enodes
14.617 * * [simplify]: iteration 4: 1607 enodes
16.125 * * [simplify]: iteration complete: 5014 enodes
16.125 * * [simplify]: Extracting #0: cost 10 inf + 0
16.126 * * [simplify]: Extracting #1: cost 164 inf + 0
16.133 * * [simplify]: Extracting #2: cost 939 inf + 2464
16.176 * * [simplify]: Extracting #3: cost 1247 inf + 82297
16.308 * * [simplify]: Extracting #4: cost 243 inf + 366992
16.484 * * [simplify]: Extracting #5: cost 4 inf + 435439
16.868 * * [simplify]: Extracting #6: cost 0 inf + 437032
17.221 * [simplify]: Simplified to:
  (expm1 (fma (- 1.0 y) (- 1.0 x) x))
  (log1p (fma (- 1.0 y) (- 1.0 x) x))
  (* (- 1.0 x) (- 1.0 y))
  (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))
  (fma y (- x 1.0) 1.0)
  (fma y (- x 1.0) 1.0)
  (fma y (- x 1.0) 1.0)
17.226 * * * [progress]: adding candidates to table
17.401 * * [progress]: iteration 2 / 4
17.401 * * * [progress]: picking best candidate
17.407 * * * * [pick]: Picked  #<alt (λ (x y) (fma y (- x 1.0) 1.0))>
17.408 * * * [progress]: localizing error
17.422 * * * [progress]: generating rewritten candidates
17.422 * * * [progress]: generating series expansions
17.422 * * * [progress]: simplifying candidates
17.422 * [simplify]: Simplifying:
  
17.422 * * [simplify]: iteration 0: 0 enodes
17.422 * * [simplify]: iteration complete: 0 enodes
17.422 * * [simplify]: Extracting #0: cost 0 inf + 0
17.422 * [simplify]: Simplified to:
  
17.423 * * * [progress]: adding candidates to table
17.423 * [progress]: [Phase 3 of 3] Extracting.
17.431 * [simplify]: Simplifying:
  (fma y (- x 1.0) 1.0)
17.431 * * [simplify]: iteration 0: 5 enodes
17.431 * * [simplify]: iteration complete: 5 enodes
17.431 * * [simplify]: Extracting #0: cost 1 inf + 0
17.431 * * [simplify]: Extracting #1: cost 4 inf + 0
17.431 * * [simplify]: Extracting #2: cost 3 inf + 2
17.431 * * [simplify]: Extracting #3: cost 2 inf + 3
17.431 * * [simplify]: Extracting #4: cost 0 inf + 143
17.431 * [simplify]: Simplified to:
  (fma y (- x 1.0) 1.0)
19.705 * [regime-testing]: Baseline error score: 0.004750593824228029
19.723 * [regime-testing]: Oracle error score: 0.004750593824228029
19.723 * [regime-testing]: End program error score: 0.004750593824228029
19.887 * [regime-testing]: Target error score: 0.004823723277999895