18.990 * [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 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x y) (+ (+ (* x y) x) y))>
0.022 * [simplify]: Simplifying:
  (+ (+ (* x y) x) y)
0.022 * * [simplify]: iteration 0: 5 enodes
0.023 * * [simplify]: iteration 1: 11 enodes
0.025 * * [simplify]: iteration 2: 23 enodes
0.028 * * [simplify]: iteration 3: 32 enodes
0.033 * * [simplify]: iteration 4: 40 enodes
0.044 * * [simplify]: iteration 5: 65 enodes
0.057 * * [simplify]: iteration 6: 110 enodes
0.081 * * [simplify]: iteration 7: 177 enodes
0.127 * * [simplify]: iteration 8: 242 enodes
0.162 * * [simplify]: iteration 9: 313 enodes
0.221 * * [simplify]: iteration 10: 380 enodes
0.289 * * [simplify]: iteration 11: 442 enodes
0.344 * * [simplify]: iteration 12: 498 enodes
0.424 * * [simplify]: iteration 13: 554 enodes
0.482 * * [simplify]: iteration 14: 610 enodes
0.572 * * [simplify]: iteration 15: 668 enodes
0.635 * * [simplify]: iteration 16: 724 enodes
0.732 * * [simplify]: iteration 17: 781 enodes
0.799 * * [simplify]: iteration 18: 837 enodes
0.908 * * [simplify]: iteration 19: 892 enodes
0.979 * * [simplify]: iteration 20: 948 enodes
1.087 * * [simplify]: iteration 21: 1005 enodes
1.141 * * [simplify]: iteration 22: 1061 enodes
1.237 * * [simplify]: iteration 23: 1116 enodes
1.323 * * [simplify]: iteration 24: 1172 enodes
1.484 * * [simplify]: iteration 25: 1227 enodes
1.575 * * [simplify]: iteration 26: 1283 enodes
1.716 * * [simplify]: iteration 27: 1339 enodes
1.805 * * [simplify]: iteration 28: 1395 enodes
1.971 * * [simplify]: iteration 29: 1451 enodes
2.062 * * [simplify]: iteration 30: 1507 enodes
2.239 * * [simplify]: iteration 31: 1562 enodes
2.322 * * [simplify]: iteration 32: 1618 enodes
2.509 * * [simplify]: iteration 33: 1673 enodes
2.613 * * [simplify]: iteration 34: 1729 enodes
2.821 * * [simplify]: iteration 35: 1785 enodes
2.922 * * [simplify]: iteration 36: 1841 enodes
3.096 * * [simplify]: iteration 37: 1897 enodes
3.211 * * [simplify]: iteration 38: 1954 enodes
3.294 * * [simplify]: iteration complete: 2000 enodes
3.294 * * [simplify]: Extracting #0: cost 1 inf + 0
3.294 * * [simplify]: Extracting #1: cost 8 inf + 0
3.295 * * [simplify]: Extracting #2: cost 108 inf + 2
3.298 * * [simplify]: Extracting #3: cost 7 inf + 4288
3.301 * * [simplify]: Extracting #4: cost 0 inf + 4582
3.304 * [simplify]: Simplified to:
  (+ y (fma y x x))
3.308 * * [progress]: iteration 1 / 4
3.308 * * * [progress]: picking best candidate
3.310 * * * * [pick]: Picked  #<alt (λ (x y) (+ y (fma y x x)))>
3.310 * * * [progress]: localizing error
3.321 * * * [progress]: generating rewritten candidates
3.321 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.328 * * * [progress]: generating series expansions
3.328 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.329 * [backup-simplify]: Simplify (+ y (fma y x x)) into (+ (fma y x x) y)
3.329 * [approximate]: Taking taylor expansion of (+ (fma y x x) y) in (y x) around 0
3.329 * [taylor]: Taking taylor expansion of (+ (fma y x x) y) in x
3.329 * [taylor]: Taking taylor expansion of (fma y x x) in x
3.329 * [taylor]: Rewrote expression to (+ (* y x) x)
3.329 * [taylor]: Taking taylor expansion of (* y x) in x
3.329 * [taylor]: Taking taylor expansion of y in x
3.329 * [backup-simplify]: Simplify y into y
3.329 * [taylor]: Taking taylor expansion of x in x
3.329 * [backup-simplify]: Simplify 0 into 0
3.329 * [backup-simplify]: Simplify 1 into 1
3.329 * [taylor]: Taking taylor expansion of x in x
3.329 * [backup-simplify]: Simplify 0 into 0
3.329 * [backup-simplify]: Simplify 1 into 1
3.329 * [taylor]: Taking taylor expansion of y in x
3.329 * [backup-simplify]: Simplify y into y
3.329 * [taylor]: Taking taylor expansion of (+ (fma y x x) y) in y
3.329 * [taylor]: Taking taylor expansion of (fma y x x) in y
3.329 * [taylor]: Rewrote expression to (+ (* y x) x)
3.329 * [taylor]: Taking taylor expansion of (* y x) in y
3.329 * [taylor]: Taking taylor expansion of y in y
3.329 * [backup-simplify]: Simplify 0 into 0
3.329 * [backup-simplify]: Simplify 1 into 1
3.329 * [taylor]: Taking taylor expansion of x in y
3.329 * [backup-simplify]: Simplify x into x
3.329 * [taylor]: Taking taylor expansion of x in y
3.329 * [backup-simplify]: Simplify x into x
3.329 * [taylor]: Taking taylor expansion of y in y
3.329 * [backup-simplify]: Simplify 0 into 0
3.329 * [backup-simplify]: Simplify 1 into 1
3.329 * [taylor]: Taking taylor expansion of (+ (fma y x x) y) in y
3.329 * [taylor]: Taking taylor expansion of (fma y x x) in y
3.329 * [taylor]: Rewrote expression to (+ (* y x) x)
3.329 * [taylor]: Taking taylor expansion of (* y x) in y
3.329 * [taylor]: Taking taylor expansion of y in y
3.329 * [backup-simplify]: Simplify 0 into 0
3.329 * [backup-simplify]: Simplify 1 into 1
3.330 * [taylor]: Taking taylor expansion of x in y
3.330 * [backup-simplify]: Simplify x into x
3.330 * [taylor]: Taking taylor expansion of x in y
3.330 * [backup-simplify]: Simplify x into x
3.330 * [taylor]: Taking taylor expansion of y in y
3.330 * [backup-simplify]: Simplify 0 into 0
3.330 * [backup-simplify]: Simplify 1 into 1
3.330 * [backup-simplify]: Simplify (* 0 x) into 0
3.330 * [backup-simplify]: Simplify (+ 0 x) into x
3.330 * [backup-simplify]: Simplify (+ x 0) into x
3.330 * [taylor]: Taking taylor expansion of x in x
3.330 * [backup-simplify]: Simplify 0 into 0
3.330 * [backup-simplify]: Simplify 1 into 1
3.330 * [backup-simplify]: Simplify 0 into 0
3.331 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
3.331 * [backup-simplify]: Simplify (+ x 0) into x
3.331 * [backup-simplify]: Simplify (+ x 1) into (+ x 1)
3.331 * [taylor]: Taking taylor expansion of (+ x 1) in x
3.331 * [taylor]: Taking taylor expansion of x in x
3.331 * [backup-simplify]: Simplify 0 into 0
3.331 * [backup-simplify]: Simplify 1 into 1
3.331 * [taylor]: Taking taylor expansion of 1 in x
3.331 * [backup-simplify]: Simplify 1 into 1
3.331 * [backup-simplify]: Simplify (+ 0 1) into 1
3.331 * [backup-simplify]: Simplify 1 into 1
3.331 * [backup-simplify]: Simplify 1 into 1
3.332 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 x))) into 0
3.332 * [backup-simplify]: Simplify (+ 0 0) into 0
3.333 * [backup-simplify]: Simplify (+ 0 0) into 0
3.333 * [taylor]: Taking taylor expansion of 0 in x
3.333 * [backup-simplify]: Simplify 0 into 0
3.333 * [backup-simplify]: Simplify 0 into 0
3.333 * [backup-simplify]: Simplify (+ 1 0) into 1
3.333 * [backup-simplify]: Simplify 1 into 1
3.333 * [backup-simplify]: Simplify (+ (* 1 (* x y)) (+ (* 1 (* x 1)) (* 1 (* 1 y)))) into (+ x (+ y (* x y)))
3.334 * [backup-simplify]: Simplify (+ (/ 1 y) (fma (/ 1 y) (/ 1 x) (/ 1 x))) into (+ (fma (/ 1 y) (/ 1 x) (/ 1 x)) (/ 1 y))
3.334 * [approximate]: Taking taylor expansion of (+ (fma (/ 1 y) (/ 1 x) (/ 1 x)) (/ 1 y)) in (y x) around 0
3.334 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 y) (/ 1 x) (/ 1 x)) (/ 1 y)) in x
3.334 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 1 x)) in x
3.334 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 1 x))
3.334 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in x
3.334 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.334 * [taylor]: Taking taylor expansion of y in x
3.334 * [backup-simplify]: Simplify y into y
3.334 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.334 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.334 * [taylor]: Taking taylor expansion of x in x
3.334 * [backup-simplify]: Simplify 0 into 0
3.334 * [backup-simplify]: Simplify 1 into 1
3.334 * [backup-simplify]: Simplify (/ 1 1) into 1
3.334 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.334 * [taylor]: Taking taylor expansion of x in x
3.334 * [backup-simplify]: Simplify 0 into 0
3.334 * [backup-simplify]: Simplify 1 into 1
3.335 * [backup-simplify]: Simplify (/ 1 1) into 1
3.335 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.335 * [taylor]: Taking taylor expansion of y in x
3.335 * [backup-simplify]: Simplify y into y
3.335 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.335 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 y) (/ 1 x) (/ 1 x)) (/ 1 y)) in y
3.335 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 1 x)) in y
3.335 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 1 x))
3.335 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in y
3.335 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.335 * [taylor]: Taking taylor expansion of y in y
3.335 * [backup-simplify]: Simplify 0 into 0
3.335 * [backup-simplify]: Simplify 1 into 1
3.335 * [backup-simplify]: Simplify (/ 1 1) into 1
3.335 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.335 * [taylor]: Taking taylor expansion of x in y
3.335 * [backup-simplify]: Simplify x into x
3.335 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.336 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.336 * [taylor]: Taking taylor expansion of x in y
3.336 * [backup-simplify]: Simplify x into x
3.336 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.336 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.336 * [taylor]: Taking taylor expansion of y in y
3.336 * [backup-simplify]: Simplify 0 into 0
3.336 * [backup-simplify]: Simplify 1 into 1
3.336 * [backup-simplify]: Simplify (/ 1 1) into 1
3.336 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 y) (/ 1 x) (/ 1 x)) (/ 1 y)) in y
3.336 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (/ 1 x) (/ 1 x)) in y
3.336 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (/ 1 x)) (/ 1 x))
3.336 * [taylor]: Taking taylor expansion of (* (/ 1 y) (/ 1 x)) in y
3.336 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.336 * [taylor]: Taking taylor expansion of y in y
3.336 * [backup-simplify]: Simplify 0 into 0
3.336 * [backup-simplify]: Simplify 1 into 1
3.337 * [backup-simplify]: Simplify (/ 1 1) into 1
3.337 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.337 * [taylor]: Taking taylor expansion of x in y
3.337 * [backup-simplify]: Simplify x into x
3.337 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.337 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.337 * [taylor]: Taking taylor expansion of x in y
3.337 * [backup-simplify]: Simplify x into x
3.337 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.337 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.337 * [taylor]: Taking taylor expansion of y in y
3.337 * [backup-simplify]: Simplify 0 into 0
3.337 * [backup-simplify]: Simplify 1 into 1
3.337 * [backup-simplify]: Simplify (/ 1 1) into 1
3.337 * [backup-simplify]: Simplify (* 1 (/ 1 x)) into (/ 1 x)
3.337 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
3.338 * [backup-simplify]: Simplify (+ (/ 1 x) 1) into (+ (/ 1 x) 1)
3.338 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x
3.338 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.338 * [taylor]: Taking taylor expansion of x in x
3.338 * [backup-simplify]: Simplify 0 into 0
3.338 * [backup-simplify]: Simplify 1 into 1
3.338 * [backup-simplify]: Simplify (/ 1 1) into 1
3.338 * [taylor]: Taking taylor expansion of 1 in x
3.338 * [backup-simplify]: Simplify 1 into 1
3.338 * [backup-simplify]: Simplify (+ 1 0) into 1
3.338 * [backup-simplify]: Simplify 1 into 1
3.339 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
3.339 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.340 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (/ 1 x))) into 0
3.340 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
3.340 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.341 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
3.341 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.341 * [taylor]: Taking taylor expansion of x in x
3.341 * [backup-simplify]: Simplify 0 into 0
3.341 * [backup-simplify]: Simplify 1 into 1
3.341 * [backup-simplify]: Simplify (/ 1 1) into 1
3.341 * [backup-simplify]: Simplify 1 into 1
3.342 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.342 * [backup-simplify]: Simplify (+ 0 1) into 1
3.342 * [backup-simplify]: Simplify 1 into 1
3.342 * [backup-simplify]: Simplify (+ (* 1 (* 1 (/ 1 (/ 1 y)))) (+ (* 1 (* (/ 1 (/ 1 x)) 1)) (* 1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))))) into (+ x (+ y (* x y)))
3.343 * [backup-simplify]: Simplify (+ (/ 1 (- y)) (fma (/ 1 (- y)) (/ 1 (- x)) (/ 1 (- x)))) into (- (fma (/ -1 y) (/ -1 x) (/ -1 x)) (/ 1 y))
3.343 * [approximate]: Taking taylor expansion of (- (fma (/ -1 y) (/ -1 x) (/ -1 x)) (/ 1 y)) in (y x) around 0
3.343 * [taylor]: Taking taylor expansion of (- (fma (/ -1 y) (/ -1 x) (/ -1 x)) (/ 1 y)) in x
3.343 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ -1 x)) in x
3.343 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ -1 x))
3.343 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in x
3.343 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.343 * [taylor]: Taking taylor expansion of -1 in x
3.343 * [backup-simplify]: Simplify -1 into -1
3.343 * [taylor]: Taking taylor expansion of y in x
3.343 * [backup-simplify]: Simplify y into y
3.343 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
3.343 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.343 * [taylor]: Taking taylor expansion of -1 in x
3.343 * [backup-simplify]: Simplify -1 into -1
3.343 * [taylor]: Taking taylor expansion of x in x
3.343 * [backup-simplify]: Simplify 0 into 0
3.343 * [backup-simplify]: Simplify 1 into 1
3.343 * [backup-simplify]: Simplify (/ -1 1) into -1
3.343 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.343 * [taylor]: Taking taylor expansion of -1 in x
3.344 * [backup-simplify]: Simplify -1 into -1
3.344 * [taylor]: Taking taylor expansion of x in x
3.344 * [backup-simplify]: Simplify 0 into 0
3.344 * [backup-simplify]: Simplify 1 into 1
3.344 * [backup-simplify]: Simplify (/ -1 1) into -1
3.344 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.344 * [taylor]: Taking taylor expansion of y in x
3.344 * [backup-simplify]: Simplify y into y
3.344 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.344 * [taylor]: Taking taylor expansion of (- (fma (/ -1 y) (/ -1 x) (/ -1 x)) (/ 1 y)) in y
3.344 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ -1 x)) in y
3.344 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ -1 x))
3.344 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in y
3.344 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.344 * [taylor]: Taking taylor expansion of -1 in y
3.344 * [backup-simplify]: Simplify -1 into -1
3.344 * [taylor]: Taking taylor expansion of y in y
3.344 * [backup-simplify]: Simplify 0 into 0
3.344 * [backup-simplify]: Simplify 1 into 1
3.345 * [backup-simplify]: Simplify (/ -1 1) into -1
3.345 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.345 * [taylor]: Taking taylor expansion of -1 in y
3.345 * [backup-simplify]: Simplify -1 into -1
3.345 * [taylor]: Taking taylor expansion of x in y
3.345 * [backup-simplify]: Simplify x into x
3.345 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
3.345 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.345 * [taylor]: Taking taylor expansion of -1 in y
3.345 * [backup-simplify]: Simplify -1 into -1
3.345 * [taylor]: Taking taylor expansion of x in y
3.345 * [backup-simplify]: Simplify x into x
3.345 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
3.345 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.345 * [taylor]: Taking taylor expansion of y in y
3.345 * [backup-simplify]: Simplify 0 into 0
3.345 * [backup-simplify]: Simplify 1 into 1
3.345 * [backup-simplify]: Simplify (/ 1 1) into 1
3.345 * [taylor]: Taking taylor expansion of (- (fma (/ -1 y) (/ -1 x) (/ -1 x)) (/ 1 y)) in y
3.346 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (/ -1 x) (/ -1 x)) in y
3.346 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (/ -1 x)) (/ -1 x))
3.346 * [taylor]: Taking taylor expansion of (* (/ -1 y) (/ -1 x)) in y
3.346 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.346 * [taylor]: Taking taylor expansion of -1 in y
3.346 * [backup-simplify]: Simplify -1 into -1
3.346 * [taylor]: Taking taylor expansion of y in y
3.346 * [backup-simplify]: Simplify 0 into 0
3.346 * [backup-simplify]: Simplify 1 into 1
3.346 * [backup-simplify]: Simplify (/ -1 1) into -1
3.346 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.346 * [taylor]: Taking taylor expansion of -1 in y
3.346 * [backup-simplify]: Simplify -1 into -1
3.346 * [taylor]: Taking taylor expansion of x in y
3.346 * [backup-simplify]: Simplify x into x
3.346 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
3.346 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.346 * [taylor]: Taking taylor expansion of -1 in y
3.346 * [backup-simplify]: Simplify -1 into -1
3.346 * [taylor]: Taking taylor expansion of x in y
3.346 * [backup-simplify]: Simplify x into x
3.346 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
3.346 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.346 * [taylor]: Taking taylor expansion of y in y
3.346 * [backup-simplify]: Simplify 0 into 0
3.347 * [backup-simplify]: Simplify 1 into 1
3.347 * [backup-simplify]: Simplify (/ 1 1) into 1
3.347 * [backup-simplify]: Simplify (* -1 (/ -1 x)) into (/ 1 x)
3.347 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
3.347 * [backup-simplify]: Simplify (- 1) into -1
3.347 * [backup-simplify]: Simplify (+ (/ 1 x) -1) into (- (/ 1 x) 1)
3.347 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
3.347 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.347 * [taylor]: Taking taylor expansion of x in x
3.348 * [backup-simplify]: Simplify 0 into 0
3.348 * [backup-simplify]: Simplify 1 into 1
3.348 * [backup-simplify]: Simplify (/ 1 1) into 1
3.348 * [taylor]: Taking taylor expansion of 1 in x
3.348 * [backup-simplify]: Simplify 1 into 1
3.348 * [backup-simplify]: Simplify (+ 1 0) into 1
3.348 * [backup-simplify]: Simplify 1 into 1
3.349 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
3.349 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
3.350 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ -1 x))) into 0
3.350 * [backup-simplify]: Simplify (+ 0 (/ -1 x)) into (- (/ 1 x))
3.350 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.351 * [backup-simplify]: Simplify (- 0) into 0
3.351 * [backup-simplify]: Simplify (+ (- (/ 1 x)) 0) into (- (/ 1 x))
3.351 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
3.351 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.351 * [taylor]: Taking taylor expansion of x in x
3.351 * [backup-simplify]: Simplify 0 into 0
3.351 * [backup-simplify]: Simplify 1 into 1
3.351 * [backup-simplify]: Simplify (/ 1 1) into 1
3.352 * [backup-simplify]: Simplify (- 1) into -1
3.352 * [backup-simplify]: Simplify -1 into -1
3.352 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.353 * [backup-simplify]: Simplify (- 1) into -1
3.353 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.353 * [backup-simplify]: Simplify -1 into -1
3.353 * [backup-simplify]: Simplify (+ (* -1 (* 1 (/ 1 (/ 1 (- y))))) (+ (* -1 (* (/ 1 (/ 1 (- x))) 1)) (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y))))))) into (+ x (+ y (* x y)))
3.353 * * * [progress]: simplifying candidates
3.353 * * * * [progress]: [ 1 / 22 ] simplifiying candidate #<alt (λ (x y) (log1p (expm1 (+ y (fma y x x)))))>
3.353 * * * * [progress]: [ 2 / 22 ] simplifiying candidate #<alt (λ (x y) (expm1 (log1p (+ y (fma y x x)))))>
3.353 * * * * [progress]: [ 3 / 22 ] simplifiying candidate #<alt (λ (x y) (fma (* (cbrt y) (cbrt y)) (cbrt y) (fma y x x)))>
3.354 * * * * [progress]: [ 4 / 22 ] simplifiying candidate #<alt (λ (x y) (fma (sqrt y) (sqrt y) (fma y x x)))>
3.354 * * * * [progress]: [ 5 / 22 ] simplifiying candidate #<alt (λ (x y) (fma 1 y (fma y x x)))>
3.354 * * * * [progress]: [ 6 / 22 ] simplifiying candidate #<alt (λ (x y) (log (* (exp y) (exp (fma y x x)))))>
3.354 * * * * [progress]: [ 7 / 22 ] simplifiying candidate #<alt (λ (x y) (pow (+ y (fma y x x)) 1))>
3.354 * * * * [progress]: [ 8 / 22 ] simplifiying candidate #<alt (λ (x y) (exp (log (+ y (fma y x x)))))>
3.354 * * * * [progress]: [ 9 / 22 ] simplifiying candidate #<alt (λ (x y) (log (exp (+ y (fma y x x)))))>
3.354 * * * * [progress]: [ 10 / 22 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (+ y (fma y x x))) (cbrt (+ y (fma y x x)))) (cbrt (+ y (fma y x x)))))>
3.354 * * * * [progress]: [ 11 / 22 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (+ y (fma y x x)) (+ y (fma y x x))) (+ y (fma y x x)))))>
3.354 * * * * [progress]: [ 12 / 22 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ y (fma y x x))) (sqrt (+ y (fma y x x)))))>
3.354 * * * * [progress]: [ 13 / 22 ] simplifiying candidate #<alt (λ (x y) (/ (+ (pow y 3) (pow (fma y x x) 3)) (+ (* y y) (- (* (fma y x x) (fma y x x)) (* y (fma y x x))))))>
3.354 * * * * [progress]: [ 14 / 22 ] simplifiying candidate #<alt (λ (x y) (* 1 (+ y (fma y x x))))>
3.354 * * * * [progress]: [ 15 / 22 ] simplifiying candidate #<alt (λ (x y) (/ (- (* y y) (* (fma y x x) (fma y x x))) (- y (fma y x x))))>
3.354 * * * * [progress]: [ 16 / 22 ] simplifiying candidate #<alt (λ (x y) (* 1 (+ y (fma y x x))))>
3.354 * * * * [progress]: [ 17 / 22 ] simplifiying candidate #<alt (λ (x y) (+ (+ y (* y x)) x))>
3.354 * * * * [progress]: [ 18 / 22 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (+ y (fma y x x)))))>
3.354 * * * * [progress]: [ 19 / 22 ] simplifiying candidate #<alt (λ (x y) (+ (fma y x x) y))>
3.354 * * * * [progress]: [ 20 / 22 ] simplifiying candidate #<alt (λ (x y) (+ x (+ y (* x y))))>
3.354 * * * * [progress]: [ 21 / 22 ] simplifiying candidate #<alt (λ (x y) (+ x (+ y (* x y))))>
3.354 * * * * [progress]: [ 22 / 22 ] simplifiying candidate #<alt (λ (x y) (+ x (+ y (* x y))))>
3.355 * [simplify]: Simplifying:
  (expm1 (+ y (fma y x x)))
  (log1p (+ y (fma y x x)))
  (* (exp y) (exp (fma y x x)))
  (log (+ y (fma y x x)))
  (exp (+ y (fma y x x)))
  (* (cbrt (+ y (fma y x x))) (cbrt (+ y (fma y x x))))
  (cbrt (+ y (fma y x x)))
  (* (* (+ y (fma y x x)) (+ y (fma y x x))) (+ y (fma y x x)))
  (sqrt (+ y (fma y x x)))
  (sqrt (+ y (fma y x x)))
  (+ (pow y 3) (pow (fma y x x) 3))
  (+ (* y y) (- (* (fma y x x) (fma y x x)) (* y (fma y x x))))
  (- (* y y) (* (fma y x x) (fma y x x)))
  (- y (fma y x x))
  (+ y (fma y x x))
  (+ y (* y x))
  (real->posit16 (+ y (fma y x x)))
  (+ x (+ y (* x y)))
  (+ x (+ y (* x y)))
  (+ x (+ y (* x y)))
3.355 * * [simplify]: iteration 0: 33 enodes
3.366 * * [simplify]: iteration 1: 85 enodes
3.402 * * [simplify]: iteration 2: 233 enodes
3.479 * * [simplify]: iteration 3: 937 enodes
3.817 * * [simplify]: iteration complete: 2000 enodes
3.817 * * [simplify]: Extracting #0: cost 15 inf + 0
3.818 * * [simplify]: Extracting #1: cost 116 inf + 0
3.825 * * [simplify]: Extracting #2: cost 348 inf + 128
3.832 * * [simplify]: Extracting #3: cost 275 inf + 14755
3.852 * * [simplify]: Extracting #4: cost 75 inf + 50787
3.879 * * [simplify]: Extracting #5: cost 32 inf + 61799
3.900 * * [simplify]: Extracting #6: cost 4 inf + 65633
3.929 * * [simplify]: Extracting #7: cost 0 inf + 66757
3.959 * [simplify]: Simplified to:
  (expm1 (+ y (fma x y x)))
  (log1p (+ y (fma x y x)))
  (exp (+ y (fma x y x)))
  (log (+ y (fma x y x)))
  (exp (+ y (fma x y x)))
  (* (cbrt (+ y (fma x y x))) (cbrt (+ y (fma x y x))))
  (cbrt (+ y (fma x y x)))
  (* (+ y (fma x y x)) (* (+ y (fma x y x)) (+ y (fma x y x))))
  (sqrt (+ y (fma x y x)))
  (sqrt (+ y (fma x y x)))
  (fma (* (fma x y x) (fma x y x)) (fma x y x) (* y (* y y)))
  (fma y y (* (- (fma x y x) y) (fma x y x)))
  (- (* y y) (* (fma x y x) (fma x y x)))
  (- y (fma x y x))
  (+ y (fma x y x))
  (fma x y y)
  (real->posit16 (+ y (fma x y x)))
  (+ y (fma x y x))
  (+ y (fma x y x))
  (+ y (fma x y x))
3.960 * * * [progress]: adding candidates to table
4.033 * * [progress]: iteration 2 / 4
4.033 * * * [progress]: picking best candidate
4.034 * * * * [pick]: Picked  #<alt (λ (x y) (+ (fma x y y) x))>
4.035 * * * [progress]: localizing error
4.041 * * * [progress]: generating rewritten candidates
4.041 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
4.046 * * * [progress]: generating series expansions
4.046 * * * * [progress]: [ 1 / 1 ] generating series at (2)
4.046 * [backup-simplify]: Simplify (+ (fma x y y) x) into (+ x (fma x y y))
4.046 * [approximate]: Taking taylor expansion of (+ x (fma x y y)) in (x y) around 0
4.046 * [taylor]: Taking taylor expansion of (+ x (fma x y y)) in y
4.046 * [taylor]: Taking taylor expansion of x in y
4.046 * [backup-simplify]: Simplify x into x
4.046 * [taylor]: Taking taylor expansion of (fma x y y) in y
4.046 * [taylor]: Rewrote expression to (+ (* x y) y)
4.046 * [taylor]: Taking taylor expansion of (* x y) in y
4.046 * [taylor]: Taking taylor expansion of x in y
4.046 * [backup-simplify]: Simplify x into x
4.046 * [taylor]: Taking taylor expansion of y in y
4.046 * [backup-simplify]: Simplify 0 into 0
4.046 * [backup-simplify]: Simplify 1 into 1
4.046 * [taylor]: Taking taylor expansion of y in y
4.046 * [backup-simplify]: Simplify 0 into 0
4.046 * [backup-simplify]: Simplify 1 into 1
4.046 * [taylor]: Taking taylor expansion of (+ x (fma x y y)) in x
4.046 * [taylor]: Taking taylor expansion of x in x
4.046 * [backup-simplify]: Simplify 0 into 0
4.046 * [backup-simplify]: Simplify 1 into 1
4.046 * [taylor]: Taking taylor expansion of (fma x y y) in x
4.046 * [taylor]: Rewrote expression to (+ (* x y) y)
4.047 * [taylor]: Taking taylor expansion of (* x y) in x
4.047 * [taylor]: Taking taylor expansion of x in x
4.047 * [backup-simplify]: Simplify 0 into 0
4.047 * [backup-simplify]: Simplify 1 into 1
4.047 * [taylor]: Taking taylor expansion of y in x
4.047 * [backup-simplify]: Simplify y into y
4.047 * [taylor]: Taking taylor expansion of y in x
4.047 * [backup-simplify]: Simplify y into y
4.047 * [taylor]: Taking taylor expansion of (+ x (fma x y y)) in x
4.047 * [taylor]: Taking taylor expansion of x in x
4.047 * [backup-simplify]: Simplify 0 into 0
4.047 * [backup-simplify]: Simplify 1 into 1
4.047 * [taylor]: Taking taylor expansion of (fma x y y) in x
4.047 * [taylor]: Rewrote expression to (+ (* x y) y)
4.047 * [taylor]: Taking taylor expansion of (* x y) in x
4.047 * [taylor]: Taking taylor expansion of x in x
4.047 * [backup-simplify]: Simplify 0 into 0
4.047 * [backup-simplify]: Simplify 1 into 1
4.047 * [taylor]: Taking taylor expansion of y in x
4.047 * [backup-simplify]: Simplify y into y
4.047 * [taylor]: Taking taylor expansion of y in x
4.047 * [backup-simplify]: Simplify y into y
4.047 * [backup-simplify]: Simplify (* 0 y) into 0
4.047 * [backup-simplify]: Simplify (+ 0 y) into y
4.047 * [backup-simplify]: Simplify (+ 0 y) into y
4.047 * [taylor]: Taking taylor expansion of y in y
4.047 * [backup-simplify]: Simplify 0 into 0
4.047 * [backup-simplify]: Simplify 1 into 1
4.047 * [backup-simplify]: Simplify 0 into 0
4.047 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
4.048 * [backup-simplify]: Simplify (+ y 0) into y
4.048 * [backup-simplify]: Simplify (+ 1 y) into (+ y 1)
4.048 * [taylor]: Taking taylor expansion of (+ y 1) in y
4.048 * [taylor]: Taking taylor expansion of y in y
4.048 * [backup-simplify]: Simplify 0 into 0
4.048 * [backup-simplify]: Simplify 1 into 1
4.048 * [taylor]: Taking taylor expansion of 1 in y
4.048 * [backup-simplify]: Simplify 1 into 1
4.048 * [backup-simplify]: Simplify (+ 0 1) into 1
4.048 * [backup-simplify]: Simplify 1 into 1
4.048 * [backup-simplify]: Simplify 1 into 1
4.049 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
4.049 * [backup-simplify]: Simplify (+ 0 0) into 0
4.049 * [backup-simplify]: Simplify (+ 0 0) into 0
4.049 * [taylor]: Taking taylor expansion of 0 in y
4.049 * [backup-simplify]: Simplify 0 into 0
4.049 * [backup-simplify]: Simplify 0 into 0
4.049 * [backup-simplify]: Simplify (+ 1 0) into 1
4.049 * [backup-simplify]: Simplify 1 into 1
4.049 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (+ (* 1 (* y 1)) (* 1 (* 1 x)))) into (+ x (+ y (* x y)))
4.050 * [backup-simplify]: Simplify (+ (fma (/ 1 x) (/ 1 y) (/ 1 y)) (/ 1 x)) into (+ (fma (/ 1 x) (/ 1 y) (/ 1 y)) (/ 1 x))
4.050 * [approximate]: Taking taylor expansion of (+ (fma (/ 1 x) (/ 1 y) (/ 1 y)) (/ 1 x)) in (x y) around 0
4.050 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 x) (/ 1 y) (/ 1 y)) (/ 1 x)) in y
4.050 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 y)) in y
4.050 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 y))
4.050 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in y
4.050 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.050 * [taylor]: Taking taylor expansion of x in y
4.050 * [backup-simplify]: Simplify x into x
4.050 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.050 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.050 * [taylor]: Taking taylor expansion of y in y
4.050 * [backup-simplify]: Simplify 0 into 0
4.050 * [backup-simplify]: Simplify 1 into 1
4.050 * [backup-simplify]: Simplify (/ 1 1) into 1
4.050 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.050 * [taylor]: Taking taylor expansion of y in y
4.050 * [backup-simplify]: Simplify 0 into 0
4.050 * [backup-simplify]: Simplify 1 into 1
4.050 * [backup-simplify]: Simplify (/ 1 1) into 1
4.050 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.050 * [taylor]: Taking taylor expansion of x in y
4.050 * [backup-simplify]: Simplify x into x
4.050 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.050 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 x) (/ 1 y) (/ 1 y)) (/ 1 x)) in x
4.050 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 y)) in x
4.051 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 y))
4.051 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x
4.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.051 * [taylor]: Taking taylor expansion of x in x
4.051 * [backup-simplify]: Simplify 0 into 0
4.051 * [backup-simplify]: Simplify 1 into 1
4.051 * [backup-simplify]: Simplify (/ 1 1) into 1
4.051 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.051 * [taylor]: Taking taylor expansion of y in x
4.051 * [backup-simplify]: Simplify y into y
4.051 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.051 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.051 * [taylor]: Taking taylor expansion of y in x
4.051 * [backup-simplify]: Simplify y into y
4.051 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.051 * [taylor]: Taking taylor expansion of x in x
4.051 * [backup-simplify]: Simplify 0 into 0
4.051 * [backup-simplify]: Simplify 1 into 1
4.051 * [backup-simplify]: Simplify (/ 1 1) into 1
4.051 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 x) (/ 1 y) (/ 1 y)) (/ 1 x)) in x
4.051 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 y)) in x
4.051 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 y))
4.051 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x
4.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.051 * [taylor]: Taking taylor expansion of x in x
4.051 * [backup-simplify]: Simplify 0 into 0
4.051 * [backup-simplify]: Simplify 1 into 1
4.052 * [backup-simplify]: Simplify (/ 1 1) into 1
4.052 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.052 * [taylor]: Taking taylor expansion of y in x
4.052 * [backup-simplify]: Simplify y into y
4.052 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.052 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.052 * [taylor]: Taking taylor expansion of y in x
4.052 * [backup-simplify]: Simplify y into y
4.052 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.052 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.052 * [taylor]: Taking taylor expansion of x in x
4.052 * [backup-simplify]: Simplify 0 into 0
4.052 * [backup-simplify]: Simplify 1 into 1
4.052 * [backup-simplify]: Simplify (/ 1 1) into 1
4.052 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y)
4.052 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
4.052 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ 1 (/ 1 y))
4.052 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y
4.052 * [taylor]: Taking taylor expansion of 1 in y
4.052 * [backup-simplify]: Simplify 1 into 1
4.052 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.052 * [taylor]: Taking taylor expansion of y in y
4.052 * [backup-simplify]: Simplify 0 into 0
4.052 * [backup-simplify]: Simplify 1 into 1
4.053 * [backup-simplify]: Simplify (/ 1 1) into 1
4.053 * [backup-simplify]: Simplify (+ 0 1) into 1
4.053 * [backup-simplify]: Simplify 1 into 1
4.053 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
4.054 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.054 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (/ 1 y))) into 0
4.054 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y)
4.054 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.054 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
4.054 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.054 * [taylor]: Taking taylor expansion of y in y
4.054 * [backup-simplify]: Simplify 0 into 0
4.054 * [backup-simplify]: Simplify 1 into 1
4.055 * [backup-simplify]: Simplify (/ 1 1) into 1
4.055 * [backup-simplify]: Simplify 1 into 1
4.055 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.055 * [backup-simplify]: Simplify (+ 1 0) into 1
4.055 * [backup-simplify]: Simplify 1 into 1
4.056 * [backup-simplify]: Simplify (+ (* 1 (* 1 (/ 1 (/ 1 x)))) (+ (* 1 (* (/ 1 (/ 1 y)) 1)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))))) into (+ x (+ y (* x y)))
4.056 * [backup-simplify]: Simplify (+ (fma (/ 1 (- x)) (/ 1 (- y)) (/ 1 (- y))) (/ 1 (- x))) into (- (fma (/ -1 x) (/ -1 y) (/ -1 y)) (/ 1 x))
4.056 * [approximate]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 y)) (/ 1 x)) in (x y) around 0
4.056 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 y)) (/ 1 x)) in y
4.056 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 y)) in y
4.056 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ -1 y))
4.056 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in y
4.056 * [taylor]: Taking taylor expansion of (/ -1 x) in y
4.056 * [taylor]: Taking taylor expansion of -1 in y
4.056 * [backup-simplify]: Simplify -1 into -1
4.056 * [taylor]: Taking taylor expansion of x in y
4.056 * [backup-simplify]: Simplify x into x
4.056 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
4.056 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.056 * [taylor]: Taking taylor expansion of -1 in y
4.056 * [backup-simplify]: Simplify -1 into -1
4.056 * [taylor]: Taking taylor expansion of y in y
4.056 * [backup-simplify]: Simplify 0 into 0
4.056 * [backup-simplify]: Simplify 1 into 1
4.056 * [backup-simplify]: Simplify (/ -1 1) into -1
4.056 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.056 * [taylor]: Taking taylor expansion of -1 in y
4.056 * [backup-simplify]: Simplify -1 into -1
4.056 * [taylor]: Taking taylor expansion of y in y
4.056 * [backup-simplify]: Simplify 0 into 0
4.056 * [backup-simplify]: Simplify 1 into 1
4.057 * [backup-simplify]: Simplify (/ -1 1) into -1
4.057 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.057 * [taylor]: Taking taylor expansion of x in y
4.057 * [backup-simplify]: Simplify x into x
4.057 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.057 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 y)) (/ 1 x)) in x
4.057 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 y)) in x
4.057 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ -1 y))
4.057 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x
4.057 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.057 * [taylor]: Taking taylor expansion of -1 in x
4.057 * [backup-simplify]: Simplify -1 into -1
4.057 * [taylor]: Taking taylor expansion of x in x
4.057 * [backup-simplify]: Simplify 0 into 0
4.057 * [backup-simplify]: Simplify 1 into 1
4.057 * [backup-simplify]: Simplify (/ -1 1) into -1
4.057 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.057 * [taylor]: Taking taylor expansion of -1 in x
4.057 * [backup-simplify]: Simplify -1 into -1
4.057 * [taylor]: Taking taylor expansion of y in x
4.057 * [backup-simplify]: Simplify y into y
4.057 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.057 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.057 * [taylor]: Taking taylor expansion of -1 in x
4.057 * [backup-simplify]: Simplify -1 into -1
4.057 * [taylor]: Taking taylor expansion of y in x
4.057 * [backup-simplify]: Simplify y into y
4.057 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.058 * [taylor]: Taking taylor expansion of x in x
4.058 * [backup-simplify]: Simplify 0 into 0
4.058 * [backup-simplify]: Simplify 1 into 1
4.058 * [backup-simplify]: Simplify (/ 1 1) into 1
4.058 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 y)) (/ 1 x)) in x
4.058 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 y)) in x
4.058 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ -1 y))
4.058 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x
4.058 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.058 * [taylor]: Taking taylor expansion of -1 in x
4.058 * [backup-simplify]: Simplify -1 into -1
4.058 * [taylor]: Taking taylor expansion of x in x
4.058 * [backup-simplify]: Simplify 0 into 0
4.058 * [backup-simplify]: Simplify 1 into 1
4.058 * [backup-simplify]: Simplify (/ -1 1) into -1
4.058 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.058 * [taylor]: Taking taylor expansion of -1 in x
4.058 * [backup-simplify]: Simplify -1 into -1
4.058 * [taylor]: Taking taylor expansion of y in x
4.058 * [backup-simplify]: Simplify y into y
4.058 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.058 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.058 * [taylor]: Taking taylor expansion of -1 in x
4.058 * [backup-simplify]: Simplify -1 into -1
4.058 * [taylor]: Taking taylor expansion of y in x
4.058 * [backup-simplify]: Simplify y into y
4.058 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.058 * [taylor]: Taking taylor expansion of x in x
4.059 * [backup-simplify]: Simplify 0 into 0
4.059 * [backup-simplify]: Simplify 1 into 1
4.059 * [backup-simplify]: Simplify (/ 1 1) into 1
4.059 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
4.059 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
4.059 * [backup-simplify]: Simplify (- 1) into -1
4.059 * [backup-simplify]: Simplify (+ (/ 1 y) -1) into (- (/ 1 y) 1)
4.059 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y
4.059 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.059 * [taylor]: Taking taylor expansion of y in y
4.059 * [backup-simplify]: Simplify 0 into 0
4.059 * [backup-simplify]: Simplify 1 into 1
4.060 * [backup-simplify]: Simplify (/ 1 1) into 1
4.060 * [taylor]: Taking taylor expansion of 1 in y
4.060 * [backup-simplify]: Simplify 1 into 1
4.060 * [backup-simplify]: Simplify (+ 1 0) into 1
4.060 * [backup-simplify]: Simplify 1 into 1
4.060 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
4.060 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.061 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ -1 y))) into 0
4.061 * [backup-simplify]: Simplify (+ 0 (/ -1 y)) into (- (/ 1 y))
4.061 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.061 * [backup-simplify]: Simplify (- 0) into 0
4.062 * [backup-simplify]: Simplify (+ (- (/ 1 y)) 0) into (- (/ 1 y))
4.062 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
4.062 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.062 * [taylor]: Taking taylor expansion of y in y
4.062 * [backup-simplify]: Simplify 0 into 0
4.062 * [backup-simplify]: Simplify 1 into 1
4.062 * [backup-simplify]: Simplify (/ 1 1) into 1
4.062 * [backup-simplify]: Simplify (- 1) into -1
4.062 * [backup-simplify]: Simplify -1 into -1
4.063 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.063 * [backup-simplify]: Simplify (- 1) into -1
4.063 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.063 * [backup-simplify]: Simplify -1 into -1
4.063 * [backup-simplify]: Simplify (+ (* -1 (* 1 (/ 1 (/ 1 (- x))))) (+ (* -1 (* (/ 1 (/ 1 (- y))) 1)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))))) into (+ x (+ y (* x y)))
4.063 * * * [progress]: simplifying candidates
4.063 * * * * [progress]: [ 1 / 22 ] simplifiying candidate #<alt (λ (x y) (log1p (expm1 (+ (fma x y y) x))))>
4.063 * * * * [progress]: [ 2 / 22 ] simplifiying candidate #<alt (λ (x y) (expm1 (log1p (+ (fma x y y) x))))>
4.063 * * * * [progress]: [ 3 / 22 ] simplifiying candidate #<alt (λ (x y) (fma (* (cbrt (fma x y y)) (cbrt (fma x y y))) (cbrt (fma x y y)) x))>
4.064 * * * * [progress]: [ 4 / 22 ] simplifiying candidate #<alt (λ (x y) (fma (sqrt (fma x y y)) (sqrt (fma x y y)) x))>
4.064 * * * * [progress]: [ 5 / 22 ] simplifiying candidate #<alt (λ (x y) (fma 1 (fma x y y) x))>
4.064 * * * * [progress]: [ 6 / 22 ] simplifiying candidate #<alt (λ (x y) (log (* (exp (fma x y y)) (exp x))))>
4.064 * * * * [progress]: [ 7 / 22 ] simplifiying candidate #<alt (λ (x y) (pow (+ (fma x y y) x) 1))>
4.064 * * * * [progress]: [ 8 / 22 ] simplifiying candidate #<alt (λ (x y) (exp (log (+ (fma x y y) x))))>
4.064 * * * * [progress]: [ 9 / 22 ] simplifiying candidate #<alt (λ (x y) (log (exp (+ (fma x y y) x))))>
4.064 * * * * [progress]: [ 10 / 22 ] simplifiying candidate #<alt (λ (x y) (* (* (cbrt (+ (fma x y y) x)) (cbrt (+ (fma x y y) x))) (cbrt (+ (fma x y y) x))))>
4.064 * * * * [progress]: [ 11 / 22 ] simplifiying candidate #<alt (λ (x y) (cbrt (* (* (+ (fma x y y) x) (+ (fma x y y) x)) (+ (fma x y y) x))))>
4.064 * * * * [progress]: [ 12 / 22 ] simplifiying candidate #<alt (λ (x y) (* (sqrt (+ (fma x y y) x)) (sqrt (+ (fma x y y) x))))>
4.064 * * * * [progress]: [ 13 / 22 ] simplifiying candidate #<alt (λ (x y) (/ (+ (pow (fma x y y) 3) (pow x 3)) (+ (* (fma x y y) (fma x y y)) (- (* x x) (* (fma x y y) x)))))>
4.064 * * * * [progress]: [ 14 / 22 ] simplifiying candidate #<alt (λ (x y) (* 1 (+ (fma x y y) x)))>
4.064 * * * * [progress]: [ 15 / 22 ] simplifiying candidate #<alt (λ (x y) (/ (- (* (fma x y y) (fma x y y)) (* x x)) (- (fma x y y) x)))>
4.064 * * * * [progress]: [ 16 / 22 ] simplifiying candidate #<alt (λ (x y) (* 1 (+ (fma x y y) x)))>
4.064 * * * * [progress]: [ 17 / 22 ] simplifiying candidate #<alt (λ (x y) (+ (* x y) (+ y x)))>
4.064 * * * * [progress]: [ 18 / 22 ] simplifiying candidate #<alt (λ (x y) (posit16->real (real->posit16 (+ (fma x y y) x))))>
4.064 * * * * [progress]: [ 19 / 22 ] simplifiying candidate #<alt (λ (x y) (+ x (fma x y y)))>
4.064 * * * * [progress]: [ 20 / 22 ] simplifiying candidate #<alt (λ (x y) (+ x (+ y (* x y))))>
4.064 * * * * [progress]: [ 21 / 22 ] simplifiying candidate #<alt (λ (x y) (+ x (+ y (* x y))))>
4.064 * * * * [progress]: [ 22 / 22 ] simplifiying candidate #<alt (λ (x y) (+ x (+ y (* x y))))>
4.064 * [simplify]: Simplifying:
  (expm1 (+ (fma x y y) x))
  (log1p (+ (fma x y y) x))
  (* (exp (fma x y y)) (exp x))
  (log (+ (fma x y y) x))
  (exp (+ (fma x y y) x))
  (* (cbrt (+ (fma x y y) x)) (cbrt (+ (fma x y y) x)))
  (cbrt (+ (fma x y y) x))
  (* (* (+ (fma x y y) x) (+ (fma x y y) x)) (+ (fma x y y) x))
  (sqrt (+ (fma x y y) x))
  (sqrt (+ (fma x y y) x))
  (+ (pow (fma x y y) 3) (pow x 3))
  (+ (* (fma x y y) (fma x y y)) (- (* x x) (* (fma x y y) x)))
  (- (* (fma x y y) (fma x y y)) (* x x))
  (- (fma x y y) x)
  (+ (fma x y y) x)
  (+ y x)
  (real->posit16 (+ (fma x y y) x))
  (+ x (+ y (* x y)))
  (+ x (+ y (* x y)))
  (+ x (+ y (* x y)))
4.065 * * [simplify]: iteration 0: 32 enodes
4.075 * * [simplify]: iteration 1: 86 enodes
4.095 * * [simplify]: iteration 2: 358 enodes
4.413 * * [simplify]: iteration 3: 1513 enodes
4.677 * * [simplify]: iteration complete: 2000 enodes
4.677 * * [simplify]: Extracting #0: cost 15 inf + 0
4.678 * * [simplify]: Extracting #1: cost 121 inf + 0
4.680 * * [simplify]: Extracting #2: cost 269 inf + 860
4.691 * * [simplify]: Extracting #3: cost 108 inf + 31061
4.715 * * [simplify]: Extracting #4: cost 12 inf + 46090
4.745 * * [simplify]: Extracting #5: cost 2 inf + 48143
4.770 * * [simplify]: Extracting #6: cost 0 inf + 48623
4.795 * [simplify]: Simplified to:
  (expm1 (fma x y (+ y x)))
  (log1p (fma x y (+ y x)))
  (exp (fma x y (+ y x)))
  (log (fma x y (+ y x)))
  (exp (fma x y (+ y x)))
  (* (cbrt (fma x y (+ y x))) (cbrt (fma x y (+ y x))))
  (cbrt (fma x y (+ y x)))
  (* (* (fma x y (+ y x)) (fma x y (+ y x))) (fma x y (+ y x)))
  (sqrt (fma x y (+ y x)))
  (sqrt (fma x y (+ y x)))
  (fma (* x x) x (* (fma y x y) (* (fma y x y) (fma y x y))))
  (fma (fma y x y) (fma y x y) (* (- x (fma y x y)) x))
  (- (* (fma y x y) (fma y x y)) (* x x))
  (fma y x (- y x))
  (fma x y (+ y x))
  (+ y x)
  (real->posit16 (fma x y (+ y x)))
  (fma x y (+ y x))
  (fma x y (+ y x))
  (fma x y (+ y x))
4.796 * * * [progress]: adding candidates to table
4.877 * [progress]: [Phase 3 of 3] Extracting.
4.877 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (+ y (fma y x x)))> #<alt (λ (x y) (+ (fma x y y) x))>)
4.878 * * * [regime-changes]: Trying 2 branch expressions: (y x)
4.878 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (+ y (fma y x x)))> #<alt (λ (x y) (+ (fma x y y) x))>)
4.908 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (+ y (fma y x x)))> #<alt (λ (x y) (+ (fma x y y) x))>)
4.933 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
4.933 * [simplify]: Simplifying:
  (+ (fma x y y) x)
4.933 * * [simplify]: iteration 0: 4 enodes
4.933 * * [simplify]: iteration 1: 5 enodes
4.934 * * [simplify]: iteration complete: 5 enodes
4.934 * * [simplify]: Extracting #0: cost 1 inf + 0
4.934 * * [simplify]: Extracting #1: cost 3 inf + 0
4.934 * * [simplify]: Extracting #2: cost 3 inf + 1
4.934 * * [simplify]: Extracting #3: cost 0 inf + 156
4.934 * [simplify]: Simplified to:
  (+ x (fma x y y))
6.118 * [regime-testing]: Baseline error score: 0.004698707651046526
6.120 * [regime-testing]: Oracle error score: 0.0005000625078134767
6.126 * [regime-testing]: End program error score: 0.004698707651046526