70.285 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.037 * * * [progress]: [2/2] Setting up program. 0.045 * [progress]: [Phase 2 of 3] Improving. 0.045 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.046 * [simplify]: Simplifying: (+ x (* (- 1.0 x) (- 1.0 y))) 0.046 * * [simplify]: iteration 0: 7 enodes 0.053 * * [simplify]: iteration 1: 13 enodes 0.073 * * [simplify]: iteration 2: 29 enodes 0.121 * * [simplify]: iteration 3: 84 enodes 0.262 * * [simplify]: iteration 4: 266 enodes 0.602 * * [simplify]: iteration 5: 705 enodes 1.948 * * [simplify]: iteration 6: 1823 enodes 6.856 * * [simplify]: iteration complete: 5001 enodes 6.856 * * [simplify]: Extracting #0: cost 1 inf + 0 6.856 * * [simplify]: Extracting #1: cost 253 inf + 0 6.862 * * [simplify]: Extracting #2: cost 794 inf + 8800 6.890 * * [simplify]: Extracting #3: cost 245 inf + 85165 6.940 * * [simplify]: Extracting #4: cost 2 inf + 124695 6.979 * * [simplify]: Extracting #5: cost 0 inf + 124826 7.049 * * [simplify]: Extracting #6: cost 0 inf + 124796 7.096 * [simplify]: Simplified to: (fma (- 1.0 y) (- 1.0 x) x) 7.110 * * [progress]: iteration 1 / 4 7.110 * * * [progress]: picking best candidate 7.127 * * * * [pick]: Picked # 7.127 * * * [progress]: localizing error 7.196 * * * [progress]: generating rewritten candidates 7.197 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 7.200 * * * [progress]: generating series expansions 7.200 * * * * [progress]: [ 1 / 1 ] generating series at (2) 7.201 * [backup-simplify]: Simplify (fma (- 1.0 y) (- 1.0 x) x) into (fma (- 1.0 y) (- 1.0 x) x) 7.201 * [approximate]: Taking taylor expansion of (fma (- 1.0 y) (- 1.0 x) x) in (y x) around 0 7.201 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) (- 1.0 x) x) in x 7.201 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) (- 1.0 x)) x) 7.201 * [taylor]: Taking taylor expansion of (* (- 1.0 y) (- 1.0 x)) in x 7.201 * [taylor]: Taking taylor expansion of (- 1.0 y) in x 7.201 * [taylor]: Taking taylor expansion of 1.0 in x 7.201 * [backup-simplify]: Simplify 1.0 into 1.0 7.201 * [taylor]: Taking taylor expansion of y in x 7.201 * [backup-simplify]: Simplify y into y 7.202 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 7.202 * [taylor]: Taking taylor expansion of 1.0 in x 7.202 * [backup-simplify]: Simplify 1.0 into 1.0 7.202 * [taylor]: Taking taylor expansion of x in x 7.202 * [backup-simplify]: Simplify 0 into 0 7.202 * [backup-simplify]: Simplify 1 into 1 7.202 * [taylor]: Taking taylor expansion of x in x 7.202 * [backup-simplify]: Simplify 0 into 0 7.202 * [backup-simplify]: Simplify 1 into 1 7.202 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) (- 1.0 x) x) in y 7.202 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) (- 1.0 x)) x) 7.202 * [taylor]: Taking taylor expansion of (* (- 1.0 y) (- 1.0 x)) in y 7.202 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 7.202 * [taylor]: Taking taylor expansion of 1.0 in y 7.202 * [backup-simplify]: Simplify 1.0 into 1.0 7.202 * [taylor]: Taking taylor expansion of y in y 7.202 * [backup-simplify]: Simplify 0 into 0 7.202 * [backup-simplify]: Simplify 1 into 1 7.202 * [taylor]: Taking taylor expansion of (- 1.0 x) in y 7.202 * [taylor]: Taking taylor expansion of 1.0 in y 7.202 * [backup-simplify]: Simplify 1.0 into 1.0 7.202 * [taylor]: Taking taylor expansion of x in y 7.202 * [backup-simplify]: Simplify x into x 7.203 * [taylor]: Taking taylor expansion of x in y 7.203 * [backup-simplify]: Simplify x into x 7.203 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) (- 1.0 x) x) in y 7.203 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) (- 1.0 x)) x) 7.203 * [taylor]: Taking taylor expansion of (* (- 1.0 y) (- 1.0 x)) in y 7.203 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 7.203 * [taylor]: Taking taylor expansion of 1.0 in y 7.203 * [backup-simplify]: Simplify 1.0 into 1.0 7.203 * [taylor]: Taking taylor expansion of y in y 7.203 * [backup-simplify]: Simplify 0 into 0 7.203 * [backup-simplify]: Simplify 1 into 1 7.203 * [taylor]: Taking taylor expansion of (- 1.0 x) in y 7.203 * [taylor]: Taking taylor expansion of 1.0 in y 7.203 * [backup-simplify]: Simplify 1.0 into 1.0 7.203 * [taylor]: Taking taylor expansion of x in y 7.203 * [backup-simplify]: Simplify x into x 7.203 * [taylor]: Taking taylor expansion of x in y 7.203 * [backup-simplify]: Simplify x into x 7.204 * [backup-simplify]: Simplify (- 0) into 0 7.205 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 7.205 * [backup-simplify]: Simplify (- x) into (- x) 7.205 * [backup-simplify]: Simplify (+ 1.0 (- x)) into (- 1.0 x) 7.205 * [backup-simplify]: Simplify (* 1.0 (- 1.0 x)) into (* 1.0 (- 1.0 x)) 7.206 * [backup-simplify]: Simplify (+ (* 1.0 (- 1.0 x)) x) into 1.0 7.206 * [taylor]: Taking taylor expansion of 1.0 in x 7.206 * [backup-simplify]: Simplify 1.0 into 1.0 7.206 * [backup-simplify]: Simplify 1.0 into 1.0 7.207 * [backup-simplify]: Simplify (- 0) into 0 7.207 * [backup-simplify]: Simplify (+ 0 0) into 0 7.208 * [backup-simplify]: Simplify (- 1) into -1 7.208 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.209 * [backup-simplify]: Simplify (+ (* 1.0 0) (* -1 (- 1.0 x))) into (- x 1.0) 7.209 * [backup-simplify]: Simplify (+ (- x 1.0) 0) into (- x 1.0) 7.209 * [taylor]: Taking taylor expansion of (- x 1.0) in x 7.209 * [taylor]: Taking taylor expansion of x in x 7.209 * [backup-simplify]: Simplify 0 into 0 7.209 * [backup-simplify]: Simplify 1 into 1 7.209 * [taylor]: Taking taylor expansion of 1.0 in x 7.209 * [backup-simplify]: Simplify 1.0 into 1.0 7.210 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.211 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 7.212 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.212 * [backup-simplify]: Simplify 0 into 0 7.212 * [backup-simplify]: Simplify (- 0) into 0 7.213 * [backup-simplify]: Simplify (+ 0 0) into 0 7.213 * [backup-simplify]: Simplify (- 0) into 0 7.214 * [backup-simplify]: Simplify (+ 0 0) into 0 7.215 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* -1 0) (* 0 (- 1.0 x)))) into 0 7.215 * [backup-simplify]: Simplify (+ 0 0) into 0 7.216 * [taylor]: Taking taylor expansion of 0 in x 7.216 * [backup-simplify]: Simplify 0 into 0 7.216 * [backup-simplify]: Simplify 0 into 0 7.216 * [backup-simplify]: Simplify (- 0) into 0 7.217 * [backup-simplify]: Simplify (+ 1 0) into 1 7.217 * [backup-simplify]: Simplify 1 into 1 7.218 * [backup-simplify]: Simplify (+ (* 1 (* x y)) (+ (* (- 1.0) (* 1 y)) 1.0)) into (- (+ 1.0 (* x y)) (* 1.0 y)) 7.218 * [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)) 7.219 * [approximate]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x)) (/ 1 x)) in (y x) around 0 7.219 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x)) (/ 1 x)) in x 7.219 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) (/ 1 x)) 7.219 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) in x 7.219 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 7.219 * [taylor]: Taking taylor expansion of 1.0 in x 7.219 * [backup-simplify]: Simplify 1.0 into 1.0 7.219 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.219 * [taylor]: Taking taylor expansion of y in x 7.219 * [backup-simplify]: Simplify y into y 7.219 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.219 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 7.219 * [taylor]: Taking taylor expansion of 1.0 in x 7.219 * [backup-simplify]: Simplify 1.0 into 1.0 7.219 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.219 * [taylor]: Taking taylor expansion of x in x 7.219 * [backup-simplify]: Simplify 0 into 0 7.219 * [backup-simplify]: Simplify 1 into 1 7.220 * [backup-simplify]: Simplify (/ 1 1) into 1 7.220 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.220 * [taylor]: Taking taylor expansion of x in x 7.220 * [backup-simplify]: Simplify 0 into 0 7.220 * [backup-simplify]: Simplify 1 into 1 7.221 * [backup-simplify]: Simplify (/ 1 1) into 1 7.221 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x)) (/ 1 x)) in y 7.221 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) (/ 1 x)) 7.221 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) in y 7.221 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 7.221 * [taylor]: Taking taylor expansion of 1.0 in y 7.221 * [backup-simplify]: Simplify 1.0 into 1.0 7.221 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.221 * [taylor]: Taking taylor expansion of y in y 7.221 * [backup-simplify]: Simplify 0 into 0 7.221 * [backup-simplify]: Simplify 1 into 1 7.222 * [backup-simplify]: Simplify (/ 1 1) into 1 7.222 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y 7.222 * [taylor]: Taking taylor expansion of 1.0 in y 7.222 * [backup-simplify]: Simplify 1.0 into 1.0 7.222 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.222 * [taylor]: Taking taylor expansion of x in y 7.222 * [backup-simplify]: Simplify x into x 7.222 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.222 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.222 * [taylor]: Taking taylor expansion of x in y 7.222 * [backup-simplify]: Simplify x into x 7.222 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.223 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x)) (/ 1 x)) in y 7.223 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) (/ 1 x)) 7.223 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) in y 7.223 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 7.223 * [taylor]: Taking taylor expansion of 1.0 in y 7.223 * [backup-simplify]: Simplify 1.0 into 1.0 7.223 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.223 * [taylor]: Taking taylor expansion of y in y 7.223 * [backup-simplify]: Simplify 0 into 0 7.223 * [backup-simplify]: Simplify 1 into 1 7.224 * [backup-simplify]: Simplify (/ 1 1) into 1 7.224 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y 7.224 * [taylor]: Taking taylor expansion of 1.0 in y 7.224 * [backup-simplify]: Simplify 1.0 into 1.0 7.224 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.224 * [taylor]: Taking taylor expansion of x in y 7.224 * [backup-simplify]: Simplify x into x 7.224 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.224 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.224 * [taylor]: Taking taylor expansion of x in y 7.224 * [backup-simplify]: Simplify x into x 7.224 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.225 * [backup-simplify]: Simplify (- 1) into -1 7.225 * [backup-simplify]: Simplify (+ 0 -1) into -1 7.226 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 7.226 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x)) 7.226 * [backup-simplify]: Simplify (* -1 (- 1.0 (/ 1 x))) into (* -1 (- 1.0 (/ 1 x))) 7.227 * [backup-simplify]: Simplify (+ (* -1 (- 1.0 (/ 1 x))) 0) into (- (/ 1 x) 1.0) 7.227 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x 7.227 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.227 * [taylor]: Taking taylor expansion of x in x 7.227 * [backup-simplify]: Simplify 0 into 0 7.227 * [backup-simplify]: Simplify 1 into 1 7.227 * [backup-simplify]: Simplify (/ 1 1) into 1 7.227 * [taylor]: Taking taylor expansion of 1.0 in x 7.227 * [backup-simplify]: Simplify 1.0 into 1.0 7.228 * [backup-simplify]: Simplify (+ 1 0) into 1 7.228 * [backup-simplify]: Simplify 1 into 1 7.229 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 7.229 * [backup-simplify]: Simplify (- 0) into 0 7.230 * [backup-simplify]: Simplify (+ 0 0) into 0 7.230 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.231 * [backup-simplify]: Simplify (- 0) into 0 7.232 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 7.233 * [backup-simplify]: Simplify (+ (* -1 0) (* 1.0 (- 1.0 (/ 1 x)))) into (- 1.0 (* 1.0 (/ 1 x))) 7.233 * [backup-simplify]: Simplify (+ (- 1.0 (* 1.0 (/ 1 x))) (/ 1 x)) into 1.0 7.233 * [taylor]: Taking taylor expansion of 1.0 in x 7.233 * [backup-simplify]: Simplify 1.0 into 1.0 7.234 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.235 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.236 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 7.237 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 7.237 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 7.238 * [backup-simplify]: Simplify (- 0) into 0 7.238 * [backup-simplify]: Simplify (+ 0 0) into 0 7.239 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.240 * [backup-simplify]: Simplify (- 0) into 0 7.240 * [backup-simplify]: Simplify (+ 0 0) into 0 7.241 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 1.0 0) (* 0 (- 1.0 (/ 1 x))))) into 0 7.242 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 7.242 * [backup-simplify]: Simplify (+ 0 0) into 0 7.242 * [taylor]: Taking taylor expansion of 0 in x 7.242 * [backup-simplify]: Simplify 0 into 0 7.243 * [backup-simplify]: Simplify 1.0 into 1.0 7.244 * [backup-simplify]: Simplify (+ 1.0 (+ (* (- 1.0) (* 1 (/ 1 (/ 1 y)))) (* 1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))))) into (- (+ 1.0 (* x y)) (* 1.0 y)) 7.245 * [backup-simplify]: Simplify (fma (- 1.0 (/ 1 (- y))) (- 1.0 (/ 1 (- x))) (/ 1 (- x))) into (fma (+ 1.0 (/ 1 y)) (+ (/ 1 x) 1.0) (/ -1 x)) 7.245 * [approximate]: Taking taylor expansion of (fma (+ 1.0 (/ 1 y)) (+ (/ 1 x) 1.0) (/ -1 x)) in (y x) around 0 7.245 * [taylor]: Taking taylor expansion of (fma (+ 1.0 (/ 1 y)) (+ (/ 1 x) 1.0) (/ -1 x)) in x 7.245 * [taylor]: Rewrote expression to (+ (* (+ 1.0 (/ 1 y)) (+ (/ 1 x) 1.0)) (/ -1 x)) 7.245 * [taylor]: Taking taylor expansion of (* (+ 1.0 (/ 1 y)) (+ (/ 1 x) 1.0)) in x 7.245 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in x 7.246 * [taylor]: Taking taylor expansion of 1.0 in x 7.246 * [backup-simplify]: Simplify 1.0 into 1.0 7.246 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.246 * [taylor]: Taking taylor expansion of y in x 7.246 * [backup-simplify]: Simplify y into y 7.246 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 7.246 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 7.246 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.246 * [taylor]: Taking taylor expansion of x in x 7.246 * [backup-simplify]: Simplify 0 into 0 7.246 * [backup-simplify]: Simplify 1 into 1 7.247 * [backup-simplify]: Simplify (/ 1 1) into 1 7.247 * [taylor]: Taking taylor expansion of 1.0 in x 7.247 * [backup-simplify]: Simplify 1.0 into 1.0 7.247 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.247 * [taylor]: Taking taylor expansion of -1 in x 7.247 * [backup-simplify]: Simplify -1 into -1 7.247 * [taylor]: Taking taylor expansion of x in x 7.247 * [backup-simplify]: Simplify 0 into 0 7.247 * [backup-simplify]: Simplify 1 into 1 7.247 * [backup-simplify]: Simplify (/ -1 1) into -1 7.247 * [taylor]: Taking taylor expansion of (fma (+ 1.0 (/ 1 y)) (+ (/ 1 x) 1.0) (/ -1 x)) in y 7.248 * [taylor]: Rewrote expression to (+ (* (+ 1.0 (/ 1 y)) (+ (/ 1 x) 1.0)) (/ -1 x)) 7.248 * [taylor]: Taking taylor expansion of (* (+ 1.0 (/ 1 y)) (+ (/ 1 x) 1.0)) in y 7.248 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y 7.248 * [taylor]: Taking taylor expansion of 1.0 in y 7.248 * [backup-simplify]: Simplify 1.0 into 1.0 7.248 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.248 * [taylor]: Taking taylor expansion of y in y 7.248 * [backup-simplify]: Simplify 0 into 0 7.248 * [backup-simplify]: Simplify 1 into 1 7.249 * [backup-simplify]: Simplify (/ 1 1) into 1 7.249 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 7.249 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.249 * [taylor]: Taking taylor expansion of x in y 7.249 * [backup-simplify]: Simplify x into x 7.249 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.249 * [taylor]: Taking taylor expansion of 1.0 in y 7.249 * [backup-simplify]: Simplify 1.0 into 1.0 7.249 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.249 * [taylor]: Taking taylor expansion of -1 in y 7.249 * [backup-simplify]: Simplify -1 into -1 7.249 * [taylor]: Taking taylor expansion of x in y 7.249 * [backup-simplify]: Simplify x into x 7.249 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 7.249 * [taylor]: Taking taylor expansion of (fma (+ 1.0 (/ 1 y)) (+ (/ 1 x) 1.0) (/ -1 x)) in y 7.249 * [taylor]: Rewrote expression to (+ (* (+ 1.0 (/ 1 y)) (+ (/ 1 x) 1.0)) (/ -1 x)) 7.250 * [taylor]: Taking taylor expansion of (* (+ 1.0 (/ 1 y)) (+ (/ 1 x) 1.0)) in y 7.250 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y 7.250 * [taylor]: Taking taylor expansion of 1.0 in y 7.250 * [backup-simplify]: Simplify 1.0 into 1.0 7.250 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.250 * [taylor]: Taking taylor expansion of y in y 7.250 * [backup-simplify]: Simplify 0 into 0 7.250 * [backup-simplify]: Simplify 1 into 1 7.250 * [backup-simplify]: Simplify (/ 1 1) into 1 7.250 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 7.250 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.250 * [taylor]: Taking taylor expansion of x in y 7.251 * [backup-simplify]: Simplify x into x 7.251 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.251 * [taylor]: Taking taylor expansion of 1.0 in y 7.251 * [backup-simplify]: Simplify 1.0 into 1.0 7.251 * [taylor]: Taking taylor expansion of (/ -1 x) in y 7.251 * [taylor]: Taking taylor expansion of -1 in y 7.251 * [backup-simplify]: Simplify -1 into -1 7.251 * [taylor]: Taking taylor expansion of x in y 7.251 * [backup-simplify]: Simplify x into x 7.251 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 7.252 * [backup-simplify]: Simplify (+ 0 1) into 1 7.252 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ (/ 1 x) 1.0) 7.252 * [backup-simplify]: Simplify (* 1 (+ (/ 1 x) 1.0)) into (+ (/ 1 x) 1.0) 7.252 * [backup-simplify]: Simplify (+ (+ (/ 1 x) 1.0) 0) into (+ (/ 1 x) 1.0) 7.252 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 7.252 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.252 * [taylor]: Taking taylor expansion of x in x 7.252 * [backup-simplify]: Simplify 0 into 0 7.253 * [backup-simplify]: Simplify 1 into 1 7.253 * [backup-simplify]: Simplify (/ 1 1) into 1 7.253 * [taylor]: Taking taylor expansion of 1.0 in x 7.253 * [backup-simplify]: Simplify 1.0 into 1.0 7.254 * [backup-simplify]: Simplify (+ 1 0) into 1 7.254 * [backup-simplify]: Simplify 1 into 1 7.254 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 7.255 * [backup-simplify]: Simplify (+ 0 0) into 0 7.256 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.256 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 7.257 * [backup-simplify]: Simplify (+ (* 1 0) (* 1.0 (+ (/ 1 x) 1.0))) into (+ (* 1.0 (/ 1 x)) 1.0) 7.258 * [backup-simplify]: Simplify (+ (+ (* 1.0 (/ 1 x)) 1.0) (/ -1 x)) into 1.0 7.258 * [taylor]: Taking taylor expansion of 1.0 in x 7.258 * [backup-simplify]: Simplify 1.0 into 1.0 7.259 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.259 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 7.259 * [backup-simplify]: Simplify 1.0 into 1.0 7.260 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 7.260 * [backup-simplify]: Simplify (+ 0 0) into 0 7.261 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.262 * [backup-simplify]: Simplify (+ 0 0) into 0 7.263 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1.0 0) (* 0 (+ (/ 1 x) 1.0)))) into 0 7.264 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 7.264 * [backup-simplify]: Simplify (+ 0 0) into 0 7.264 * [taylor]: Taking taylor expansion of 0 in x 7.264 * [backup-simplify]: Simplify 0 into 0 7.265 * [backup-simplify]: Simplify 1.0 into 1.0 7.266 * [backup-simplify]: Simplify (+ 1.0 (+ (* 1.0 (* 1 (/ 1 (/ 1 (- y))))) (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y))))))) into (- (+ 1.0 (* x y)) (* 1.0 y)) 7.266 * * * [progress]: simplifying candidates 7.266 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #real (real->posit16 (fma (- 1.0 y) (- 1.0 x) x))))> 7.266 * * * * [progress]: [ 2 / 14 ] simplifiying candidate # 7.266 * * * * [progress]: [ 3 / 14 ] simplifiying candidate # 7.266 * * * * [progress]: [ 4 / 14 ] simplifiying candidate # 7.266 * * * * [progress]: [ 5 / 14 ] simplifiying candidate # 7.266 * * * * [progress]: [ 6 / 14 ] simplifiying candidate # 7.267 * * * * [progress]: [ 7 / 14 ] simplifiying candidate # 7.267 * * * * [progress]: [ 8 / 14 ] simplifiying candidate # 7.267 * * * * [progress]: [ 9 / 14 ] simplifiying candidate # 7.267 * * * * [progress]: [ 10 / 14 ] simplifiying candidate # 7.267 * * * * [progress]: [ 11 / 14 ] simplifiying candidate # 7.267 * * * * [progress]: [ 12 / 14 ] simplifiying candidate # 7.267 * * * * [progress]: [ 13 / 14 ] simplifiying candidate # 7.267 * * * * [progress]: [ 14 / 14 ] simplifiying candidate # 7.268 * [simplify]: Simplifying: (real->posit16 (fma (- 1.0 y) (- 1.0 x) x)) (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)) (- (+ 1.0 (* x y)) (* 1.0 y)) (- (+ 1.0 (* x y)) (* 1.0 y)) (- (+ 1.0 (* x y)) (* 1.0 y)) 7.268 * * [simplify]: iteration 0: 21 enodes 7.304 * * [simplify]: iteration 1: 35 enodes 7.365 * * [simplify]: iteration 2: 87 enodes 7.490 * * [simplify]: iteration 3: 298 enodes 8.091 * * [simplify]: iteration 4: 1616 enodes 10.152 * * [simplify]: iteration complete: 5002 enodes 10.152 * * [simplify]: Extracting #0: cost 11 inf + 0 10.152 * * [simplify]: Extracting #1: cost 143 inf + 0 10.156 * * [simplify]: Extracting #2: cost 952 inf + 2020 10.175 * * [simplify]: Extracting #3: cost 1262 inf + 81862 10.261 * * [simplify]: Extracting #4: cost 358 inf + 347522 10.390 * * [simplify]: Extracting #5: cost 7 inf + 453520 10.513 * * [simplify]: Extracting #6: cost 0 inf + 456044 10.643 * [simplify]: Simplified to: (real->posit16 (fma (- 1.0 y) (- 1.0 x) x)) (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) 10.644 * * * [progress]: adding candidates to table 10.830 * * [progress]: iteration 2 / 4 10.830 * * * [progress]: picking best candidate 10.845 * * * * [pick]: Picked # 10.845 * * * [progress]: localizing error 10.891 * * * [progress]: generating rewritten candidates 10.891 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 10.893 * * * [progress]: generating series expansions 10.893 * * * * [progress]: [ 1 / 1 ] generating series at (2) 10.893 * [backup-simplify]: Simplify (fma y (- x 1.0) 1.0) into (fma y (- x 1.0) 1.0) 10.893 * [approximate]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in (y x) around 0 10.893 * [taylor]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in x 10.893 * [taylor]: Rewrote expression to (+ (* y (- x 1.0)) 1.0) 10.893 * [taylor]: Taking taylor expansion of (* y (- x 1.0)) in x 10.893 * [taylor]: Taking taylor expansion of y in x 10.893 * [backup-simplify]: Simplify y into y 10.893 * [taylor]: Taking taylor expansion of (- x 1.0) in x 10.893 * [taylor]: Taking taylor expansion of x in x 10.893 * [backup-simplify]: Simplify 0 into 0 10.893 * [backup-simplify]: Simplify 1 into 1 10.894 * [taylor]: Taking taylor expansion of 1.0 in x 10.894 * [backup-simplify]: Simplify 1.0 into 1.0 10.894 * [taylor]: Taking taylor expansion of 1.0 in x 10.894 * [backup-simplify]: Simplify 1.0 into 1.0 10.894 * [taylor]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in y 10.894 * [taylor]: Rewrote expression to (+ (* y (- x 1.0)) 1.0) 10.894 * [taylor]: Taking taylor expansion of (* y (- x 1.0)) in y 10.894 * [taylor]: Taking taylor expansion of y in y 10.894 * [backup-simplify]: Simplify 0 into 0 10.894 * [backup-simplify]: Simplify 1 into 1 10.894 * [taylor]: Taking taylor expansion of (- x 1.0) in y 10.894 * [taylor]: Taking taylor expansion of x in y 10.894 * [backup-simplify]: Simplify x into x 10.894 * [taylor]: Taking taylor expansion of 1.0 in y 10.894 * [backup-simplify]: Simplify 1.0 into 1.0 10.894 * [taylor]: Taking taylor expansion of 1.0 in y 10.894 * [backup-simplify]: Simplify 1.0 into 1.0 10.894 * [taylor]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in y 10.894 * [taylor]: Rewrote expression to (+ (* y (- x 1.0)) 1.0) 10.894 * [taylor]: Taking taylor expansion of (* y (- x 1.0)) in y 10.894 * [taylor]: Taking taylor expansion of y in y 10.894 * [backup-simplify]: Simplify 0 into 0 10.894 * [backup-simplify]: Simplify 1 into 1 10.894 * [taylor]: Taking taylor expansion of (- x 1.0) in y 10.894 * [taylor]: Taking taylor expansion of x in y 10.894 * [backup-simplify]: Simplify x into x 10.894 * [taylor]: Taking taylor expansion of 1.0 in y 10.894 * [backup-simplify]: Simplify 1.0 into 1.0 10.894 * [taylor]: Taking taylor expansion of 1.0 in y 10.894 * [backup-simplify]: Simplify 1.0 into 1.0 10.895 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 10.895 * [backup-simplify]: Simplify (+ x (- 1.0)) into (- x 1.0) 10.895 * [backup-simplify]: Simplify (* 0 (- x 1.0)) into 0 10.896 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 10.896 * [taylor]: Taking taylor expansion of 1.0 in x 10.896 * [backup-simplify]: Simplify 1.0 into 1.0 10.896 * [backup-simplify]: Simplify 1.0 into 1.0 10.896 * [backup-simplify]: Simplify (- 0) into 0 10.897 * [backup-simplify]: Simplify (+ 0 0) into 0 10.897 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- x 1.0))) into (- x 1.0) 10.897 * [backup-simplify]: Simplify (+ (- x 1.0) 0) into (- x 1.0) 10.897 * [taylor]: Taking taylor expansion of (- x 1.0) in x 10.897 * [taylor]: Taking taylor expansion of x in x 10.897 * [backup-simplify]: Simplify 0 into 0 10.897 * [backup-simplify]: Simplify 1 into 1 10.897 * [taylor]: Taking taylor expansion of 1.0 in x 10.897 * [backup-simplify]: Simplify 1.0 into 1.0 10.898 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 10.898 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 10.899 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 10.899 * [backup-simplify]: Simplify 0 into 0 10.899 * [backup-simplify]: Simplify (- 0) into 0 10.899 * [backup-simplify]: Simplify (+ 0 0) into 0 10.900 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- x 1.0)))) into 0 10.900 * [backup-simplify]: Simplify (+ 0 0) into 0 10.900 * [taylor]: Taking taylor expansion of 0 in x 10.900 * [backup-simplify]: Simplify 0 into 0 10.900 * [backup-simplify]: Simplify 0 into 0 10.901 * [backup-simplify]: Simplify (- 0) into 0 10.901 * [backup-simplify]: Simplify (+ 1 0) into 1 10.901 * [backup-simplify]: Simplify 1 into 1 10.902 * [backup-simplify]: Simplify (+ (* 1 (* x y)) (+ (* (- 1.0) (* 1 y)) 1.0)) into (- (+ 1.0 (* x y)) (* 1.0 y)) 10.902 * [backup-simplify]: Simplify (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) into (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) 10.902 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in (y x) around 0 10.902 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in x 10.902 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 x) 1.0)) 1.0) 10.902 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 x) 1.0)) in x 10.902 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.902 * [taylor]: Taking taylor expansion of y in x 10.902 * [backup-simplify]: Simplify y into y 10.902 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.902 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x 10.902 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.902 * [taylor]: Taking taylor expansion of x in x 10.902 * [backup-simplify]: Simplify 0 into 0 10.902 * [backup-simplify]: Simplify 1 into 1 10.903 * [backup-simplify]: Simplify (/ 1 1) into 1 10.903 * [taylor]: Taking taylor expansion of 1.0 in x 10.903 * [backup-simplify]: Simplify 1.0 into 1.0 10.903 * [taylor]: Taking taylor expansion of 1.0 in x 10.903 * [backup-simplify]: Simplify 1.0 into 1.0 10.903 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in y 10.903 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 x) 1.0)) 1.0) 10.903 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 x) 1.0)) in y 10.903 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.903 * [taylor]: Taking taylor expansion of y in y 10.903 * [backup-simplify]: Simplify 0 into 0 10.903 * [backup-simplify]: Simplify 1 into 1 10.903 * [backup-simplify]: Simplify (/ 1 1) into 1 10.903 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in y 10.903 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.903 * [taylor]: Taking taylor expansion of x in y 10.904 * [backup-simplify]: Simplify x into x 10.904 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.904 * [taylor]: Taking taylor expansion of 1.0 in y 10.904 * [backup-simplify]: Simplify 1.0 into 1.0 10.904 * [taylor]: Taking taylor expansion of 1.0 in y 10.904 * [backup-simplify]: Simplify 1.0 into 1.0 10.904 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in y 10.904 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 x) 1.0)) 1.0) 10.904 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 x) 1.0)) in y 10.904 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.904 * [taylor]: Taking taylor expansion of y in y 10.904 * [backup-simplify]: Simplify 0 into 0 10.904 * [backup-simplify]: Simplify 1 into 1 10.904 * [backup-simplify]: Simplify (/ 1 1) into 1 10.904 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in y 10.904 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.904 * [taylor]: Taking taylor expansion of x in y 10.904 * [backup-simplify]: Simplify x into x 10.904 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.904 * [taylor]: Taking taylor expansion of 1.0 in y 10.904 * [backup-simplify]: Simplify 1.0 into 1.0 10.904 * [taylor]: Taking taylor expansion of 1.0 in y 10.904 * [backup-simplify]: Simplify 1.0 into 1.0 10.905 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 10.905 * [backup-simplify]: Simplify (+ (/ 1 x) (- 1.0)) into (- (/ 1 x) 1.0) 10.905 * [backup-simplify]: Simplify (* 1 (- (/ 1 x) 1.0)) into (- (/ 1 x) 1.0) 10.905 * [backup-simplify]: Simplify (+ (- (/ 1 x) 1.0) 0) into (- (/ 1 x) 1.0) 10.906 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x 10.906 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.906 * [taylor]: Taking taylor expansion of x in x 10.906 * [backup-simplify]: Simplify 0 into 0 10.906 * [backup-simplify]: Simplify 1 into 1 10.906 * [backup-simplify]: Simplify (/ 1 1) into 1 10.906 * [taylor]: Taking taylor expansion of 1.0 in x 10.906 * [backup-simplify]: Simplify 1.0 into 1.0 10.906 * [backup-simplify]: Simplify (+ 1 0) into 1 10.906 * [backup-simplify]: Simplify 1 into 1 10.907 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 10.907 * [backup-simplify]: Simplify (- 0) into 0 10.907 * [backup-simplify]: Simplify (+ 0 0) into 0 10.908 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.908 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (- (/ 1 x) 1.0))) into 0 10.909 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 10.909 * [taylor]: Taking taylor expansion of 1.0 in x 10.909 * [backup-simplify]: Simplify 1.0 into 1.0 10.909 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.909 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 10.910 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 10.910 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 10.911 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 10.911 * [backup-simplify]: Simplify (- 0) into 0 10.911 * [backup-simplify]: Simplify (+ 0 0) into 0 10.912 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.913 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (- (/ 1 x) 1.0)))) into 0 10.913 * [backup-simplify]: Simplify (+ 0 0) into 0 10.913 * [taylor]: Taking taylor expansion of 0 in x 10.913 * [backup-simplify]: Simplify 0 into 0 10.913 * [backup-simplify]: Simplify 1.0 into 1.0 10.914 * [backup-simplify]: Simplify (+ 1.0 (+ (* (- 1.0) (* 1 (/ 1 (/ 1 y)))) (* 1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))))) into (- (+ 1.0 (* x y)) (* 1.0 y)) 10.914 * [backup-simplify]: Simplify (fma (/ 1 (- y)) (- (/ 1 (- x)) 1.0) 1.0) into (fma (/ -1 y) (- (+ (/ 1 x) 1.0)) 1.0) 10.914 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (- (+ (/ 1 x) 1.0)) 1.0) in (y x) around 0 10.914 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ (/ 1 x) 1.0)) 1.0) in x 10.915 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ (/ 1 x) 1.0))) 1.0) 10.915 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ (/ 1 x) 1.0))) in x 10.915 * [taylor]: Taking taylor expansion of (/ -1 y) in x 10.915 * [taylor]: Taking taylor expansion of -1 in x 10.915 * [backup-simplify]: Simplify -1 into -1 10.915 * [taylor]: Taking taylor expansion of y in x 10.915 * [backup-simplify]: Simplify y into y 10.915 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 10.915 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1.0)) in x 10.915 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 10.915 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.915 * [taylor]: Taking taylor expansion of x in x 10.915 * [backup-simplify]: Simplify 0 into 0 10.915 * [backup-simplify]: Simplify 1 into 1 10.916 * [backup-simplify]: Simplify (/ 1 1) into 1 10.916 * [taylor]: Taking taylor expansion of 1.0 in x 10.916 * [backup-simplify]: Simplify 1.0 into 1.0 10.916 * [taylor]: Taking taylor expansion of 1.0 in x 10.916 * [backup-simplify]: Simplify 1.0 into 1.0 10.916 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ (/ 1 x) 1.0)) 1.0) in y 10.916 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ (/ 1 x) 1.0))) 1.0) 10.916 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ (/ 1 x) 1.0))) in y 10.916 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.916 * [taylor]: Taking taylor expansion of -1 in y 10.916 * [backup-simplify]: Simplify -1 into -1 10.916 * [taylor]: Taking taylor expansion of y in y 10.916 * [backup-simplify]: Simplify 0 into 0 10.916 * [backup-simplify]: Simplify 1 into 1 10.916 * [backup-simplify]: Simplify (/ -1 1) into -1 10.916 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1.0)) in y 10.916 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 10.916 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.916 * [taylor]: Taking taylor expansion of x in y 10.916 * [backup-simplify]: Simplify x into x 10.917 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.917 * [taylor]: Taking taylor expansion of 1.0 in y 10.917 * [backup-simplify]: Simplify 1.0 into 1.0 10.917 * [taylor]: Taking taylor expansion of 1.0 in y 10.917 * [backup-simplify]: Simplify 1.0 into 1.0 10.917 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ (/ 1 x) 1.0)) 1.0) in y 10.917 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ (/ 1 x) 1.0))) 1.0) 10.917 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ (/ 1 x) 1.0))) in y 10.917 * [taylor]: Taking taylor expansion of (/ -1 y) in y 10.917 * [taylor]: Taking taylor expansion of -1 in y 10.917 * [backup-simplify]: Simplify -1 into -1 10.917 * [taylor]: Taking taylor expansion of y in y 10.917 * [backup-simplify]: Simplify 0 into 0 10.917 * [backup-simplify]: Simplify 1 into 1 10.917 * [backup-simplify]: Simplify (/ -1 1) into -1 10.917 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1.0)) in y 10.917 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 10.917 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.917 * [taylor]: Taking taylor expansion of x in y 10.917 * [backup-simplify]: Simplify x into x 10.917 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.917 * [taylor]: Taking taylor expansion of 1.0 in y 10.918 * [backup-simplify]: Simplify 1.0 into 1.0 10.918 * [taylor]: Taking taylor expansion of 1.0 in y 10.918 * [backup-simplify]: Simplify 1.0 into 1.0 10.918 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ (/ 1 x) 1.0) 10.918 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0)) 10.918 * [backup-simplify]: Simplify (* -1 (- (+ (/ 1 x) 1.0))) into (+ (/ 1 x) 1.0) 10.918 * [backup-simplify]: Simplify (+ (+ (/ 1 x) 1.0) 0) into (+ (/ 1 x) 1.0) 10.918 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 10.918 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.918 * [taylor]: Taking taylor expansion of x in x 10.918 * [backup-simplify]: Simplify 0 into 0 10.918 * [backup-simplify]: Simplify 1 into 1 10.919 * [backup-simplify]: Simplify (/ 1 1) into 1 10.919 * [taylor]: Taking taylor expansion of 1.0 in x 10.919 * [backup-simplify]: Simplify 1.0 into 1.0 10.919 * [backup-simplify]: Simplify (+ 1 0) into 1 10.919 * [backup-simplify]: Simplify 1 into 1 10.919 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 10.923 * [backup-simplify]: Simplify (+ 0 0) into 0 10.924 * [backup-simplify]: Simplify (- 0) into 0 10.925 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 10.926 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0)) 10.927 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (+ (/ 1 x) 1.0)))) into 0 10.927 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 10.927 * [taylor]: Taking taylor expansion of 1.0 in x 10.927 * [backup-simplify]: Simplify 1.0 into 1.0 10.928 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.929 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 10.929 * [backup-simplify]: Simplify 1.0 into 1.0 10.930 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 10.930 * [backup-simplify]: Simplify (+ 0 0) into 0 10.931 * [backup-simplify]: Simplify (- 0) into 0 10.931 * [backup-simplify]: Simplify (- 0) into 0 10.932 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.933 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0)) 10.934 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (+ (/ 1 x) 1.0))))) into 0 10.935 * [backup-simplify]: Simplify (+ 0 0) into 0 10.935 * [taylor]: Taking taylor expansion of 0 in x 10.935 * [backup-simplify]: Simplify 0 into 0 10.935 * [backup-simplify]: Simplify 1.0 into 1.0 10.936 * [backup-simplify]: Simplify (+ 1.0 (+ (* 1.0 (* 1 (/ 1 (/ 1 (- y))))) (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y))))))) into (- (+ 1.0 (* x y)) (* 1.0 y)) 10.936 * * * [progress]: simplifying candidates 10.937 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #real (real->posit16 (fma y (- x 1.0) 1.0))))> 10.937 * * * * [progress]: [ 2 / 14 ] simplifiying candidate # 10.937 * * * * [progress]: [ 3 / 14 ] simplifiying candidate # 10.937 * * * * [progress]: [ 4 / 14 ] simplifiying candidate # 10.937 * * * * [progress]: [ 5 / 14 ] simplifiying candidate # 10.937 * * * * [progress]: [ 6 / 14 ] simplifiying candidate # 10.937 * * * * [progress]: [ 7 / 14 ] simplifiying candidate # 10.937 * * * * [progress]: [ 8 / 14 ] simplifiying candidate # 10.937 * * * * [progress]: [ 9 / 14 ] simplifiying candidate # 10.937 * * * * [progress]: [ 10 / 14 ] simplifiying candidate # 10.937 * * * * [progress]: [ 11 / 14 ] simplifiying candidate # 10.937 * * * * [progress]: [ 12 / 14 ] simplifiying candidate # 10.937 * * * * [progress]: [ 13 / 14 ] simplifiying candidate # 10.938 * * * * [progress]: [ 14 / 14 ] simplifiying candidate # 10.938 * [simplify]: Simplifying: (real->posit16 (fma y (- x 1.0) 1.0)) (expm1 (fma y (- x 1.0) 1.0)) (log1p (fma y (- x 1.0) 1.0)) (* y (- x 1.0)) (log (fma y (- x 1.0) 1.0)) (exp (fma y (- x 1.0) 1.0)) (* (cbrt (fma y (- x 1.0) 1.0)) (cbrt (fma y (- x 1.0) 1.0))) (cbrt (fma y (- x 1.0) 1.0)) (* (* (fma y (- x 1.0) 1.0) (fma y (- x 1.0) 1.0)) (fma y (- x 1.0) 1.0)) (sqrt (fma y (- x 1.0) 1.0)) (sqrt (fma y (- x 1.0) 1.0)) (- (+ 1.0 (* x y)) (* 1.0 y)) (- (+ 1.0 (* x y)) (* 1.0 y)) (- (+ 1.0 (* x y)) (* 1.0 y)) 10.939 * * [simplify]: iteration 0: 20 enodes 10.956 * * [simplify]: iteration 1: 32 enodes 10.994 * * [simplify]: iteration 2: 67 enodes 11.075 * * [simplify]: iteration 3: 271 enodes 11.594 * * [simplify]: iteration 4: 1300 enodes 13.630 * * [simplify]: iteration complete: 5006 enodes 13.630 * * [simplify]: Extracting #0: cost 11 inf + 0 13.630 * * [simplify]: Extracting #1: cost 91 inf + 0 13.633 * * [simplify]: Extracting #2: cost 989 inf + 239 13.644 * * [simplify]: Extracting #3: cost 1355 inf + 29085 13.724 * * [simplify]: Extracting #4: cost 416 inf + 254015 13.830 * * [simplify]: Extracting #5: cost 29 inf + 349728 13.935 * * [simplify]: Extracting #6: cost 0 inf + 358682 14.054 * [simplify]: Simplified to: (real->posit16 (fma (- x 1.0) y 1.0)) (expm1 (fma (- x 1.0) y 1.0)) (log1p (fma (- x 1.0) y 1.0)) (* (- x 1.0) y) (log (fma (- x 1.0) y 1.0)) (exp (fma (- x 1.0) y 1.0)) (* (cbrt (fma (- x 1.0) y 1.0)) (cbrt (fma (- x 1.0) y 1.0))) (cbrt (fma (- x 1.0) y 1.0)) (* (* (fma (- x 1.0) y 1.0) (fma (- x 1.0) y 1.0)) (fma (- x 1.0) y 1.0)) (sqrt (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) 14.055 * * * [progress]: adding candidates to table 14.215 * [progress]: [Phase 3 of 3] Extracting. 14.232 * [simplify]: Simplifying: (fma y (- x 1.0) 1.0) 14.232 * * [simplify]: iteration 0: 5 enodes 14.233 * * [simplify]: iteration complete: 5 enodes 14.233 * * [simplify]: Extracting #0: cost 1 inf + 0 14.233 * * [simplify]: Extracting #1: cost 4 inf + 0 14.233 * * [simplify]: Extracting #2: cost 3 inf + 2 14.233 * * [simplify]: Extracting #3: cost 0 inf + 143 14.233 * [simplify]: Simplified to: (fma y (- x 1.0) 1.0) 16.342 * [regime-testing]: Baseline error score: 0.006250781347668459 16.380 * [regime-testing]: Oracle error score: 0.006250781347668459 16.380 * [regime-testing]: End program error score: 0.006250781347668459 16.644 * [regime-testing]: Target error score: 0.004948738904953264