19.672 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.037 * * * [progress]: [2/2] Setting up program.
0.039 * [progress]: [Phase 2 of 3] Improving.
0.040 * [simplify]: Simplifying:
  (+ x (* (- 1.0 x) (- 1.0 y)))
0.040 * * [simplify]: iteration 0: 7 enodes
0.041 * * [simplify]: iteration 1: 13 enodes
0.043 * * [simplify]: iteration 2: 29 enodes
0.048 * * [simplify]: iteration 3: 84 enodes
0.096 * * [simplify]: iteration 4: 292 enodes
0.281 * * [simplify]: iteration 5: 978 enodes
1.941 * * [simplify]: iteration 6: 4971 enodes
3.452 * * [simplify]: iteration complete: 5000 enodes
3.452 * * [simplify]: Extracting #0: cost 1 inf + 0
3.454 * * [simplify]: Extracting #1: cost 478 inf + 0
3.461 * * [simplify]: Extracting #2: cost 1171 inf + 966
3.469 * * [simplify]: Extracting #3: cost 199 inf + 7916
3.477 * * [simplify]: Extracting #4: cost 0 inf + 9669
3.485 * [simplify]: Simplified to:
  (fma (- 1.0 y) (- 1.0 x) x)
3.492 * * [progress]: iteration 1 / 4
3.492 * * * [progress]: picking best candidate
3.498 * * * * [pick]: Picked  #<alt (λ (x y) (fma (- 1.0 y) (- 1.0 x) x))>
3.498 * * * [progress]: localizing error
3.513 * * * [progress]: generating rewritten candidates
3.513 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.514 * * * [progress]: generating series expansions
3.514 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.514 * [backup-simplify]: Simplify (fma (- 1.0 y) (- 1.0 x) x) into (fma (- 1.0 y) (- 1.0 x) x)
3.514 * [approximate]: Taking taylor expansion of (fma (- 1.0 y) (- 1.0 x) x) in (y x) around 0
3.514 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) (- 1.0 x) x) in x
3.514 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) (- 1.0 x)) x)
3.514 * [taylor]: Taking taylor expansion of (* (- 1.0 y) (- 1.0 x)) in x
3.514 * [taylor]: Taking taylor expansion of (- 1.0 y) in x
3.514 * [taylor]: Taking taylor expansion of 1.0 in x
3.514 * [backup-simplify]: Simplify 1.0 into 1.0
3.514 * [taylor]: Taking taylor expansion of y in x
3.514 * [backup-simplify]: Simplify y into y
3.514 * [taylor]: Taking taylor expansion of (- 1.0 x) in x
3.514 * [taylor]: Taking taylor expansion of 1.0 in x
3.514 * [backup-simplify]: Simplify 1.0 into 1.0
3.514 * [taylor]: Taking taylor expansion of x in x
3.514 * [backup-simplify]: Simplify 0 into 0
3.514 * [backup-simplify]: Simplify 1 into 1
3.514 * [taylor]: Taking taylor expansion of x in x
3.514 * [backup-simplify]: Simplify 0 into 0
3.514 * [backup-simplify]: Simplify 1 into 1
3.515 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) (- 1.0 x) x) in y
3.515 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) (- 1.0 x)) x)
3.515 * [taylor]: Taking taylor expansion of (* (- 1.0 y) (- 1.0 x)) in y
3.515 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
3.515 * [taylor]: Taking taylor expansion of 1.0 in y
3.515 * [backup-simplify]: Simplify 1.0 into 1.0
3.515 * [taylor]: Taking taylor expansion of y in y
3.515 * [backup-simplify]: Simplify 0 into 0
3.515 * [backup-simplify]: Simplify 1 into 1
3.515 * [taylor]: Taking taylor expansion of (- 1.0 x) in y
3.515 * [taylor]: Taking taylor expansion of 1.0 in y
3.515 * [backup-simplify]: Simplify 1.0 into 1.0
3.515 * [taylor]: Taking taylor expansion of x in y
3.515 * [backup-simplify]: Simplify x into x
3.515 * [taylor]: Taking taylor expansion of x in y
3.515 * [backup-simplify]: Simplify x into x
3.515 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) (- 1.0 x) x) in y
3.515 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) (- 1.0 x)) x)
3.515 * [taylor]: Taking taylor expansion of (* (- 1.0 y) (- 1.0 x)) in y
3.515 * [taylor]: Taking taylor expansion of (- 1.0 y) in y
3.515 * [taylor]: Taking taylor expansion of 1.0 in y
3.515 * [backup-simplify]: Simplify 1.0 into 1.0
3.515 * [taylor]: Taking taylor expansion of y in y
3.515 * [backup-simplify]: Simplify 0 into 0
3.515 * [backup-simplify]: Simplify 1 into 1
3.515 * [taylor]: Taking taylor expansion of (- 1.0 x) in y
3.515 * [taylor]: Taking taylor expansion of 1.0 in y
3.515 * [backup-simplify]: Simplify 1.0 into 1.0
3.515 * [taylor]: Taking taylor expansion of x in y
3.515 * [backup-simplify]: Simplify x into x
3.516 * [taylor]: Taking taylor expansion of x in y
3.516 * [backup-simplify]: Simplify x into x
3.516 * [backup-simplify]: Simplify (- 0) into 0
3.517 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.517 * [backup-simplify]: Simplify (- x) into (- x)
3.517 * [backup-simplify]: Simplify (+ 1.0 (- x)) into (- 1.0 x)
3.517 * [backup-simplify]: Simplify (* 1.0 (- 1.0 x)) into (* 1.0 (- 1.0 x))
3.517 * [backup-simplify]: Simplify (+ (* 1.0 (- 1.0 x)) x) into 1.0
3.517 * [taylor]: Taking taylor expansion of 1.0 in x
3.517 * [backup-simplify]: Simplify 1.0 into 1.0
3.517 * [backup-simplify]: Simplify 1.0 into 1.0
3.518 * [backup-simplify]: Simplify (- 0) into 0
3.518 * [backup-simplify]: Simplify (+ 0 0) into 0
3.519 * [backup-simplify]: Simplify (- 1) into -1
3.519 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.520 * [backup-simplify]: Simplify (+ (* 1.0 0) (* -1 (- 1.0 x))) into (- x 1.0)
3.520 * [backup-simplify]: Simplify (+ (- x 1.0) 0) into (- x 1.0)
3.520 * [taylor]: Taking taylor expansion of (- x 1.0) in x
3.520 * [taylor]: Taking taylor expansion of x in x
3.520 * [backup-simplify]: Simplify 0 into 0
3.520 * [backup-simplify]: Simplify 1 into 1
3.520 * [taylor]: Taking taylor expansion of 1.0 in x
3.520 * [backup-simplify]: Simplify 1.0 into 1.0
3.521 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.522 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
3.522 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.522 * [backup-simplify]: Simplify 0 into 0
3.523 * [backup-simplify]: Simplify (- 0) into 0
3.523 * [backup-simplify]: Simplify (+ 0 0) into 0
3.523 * [backup-simplify]: Simplify (- 0) into 0
3.524 * [backup-simplify]: Simplify (+ 0 0) into 0
3.534 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* -1 0) (* 0 (- 1.0 x)))) into 0
3.535 * [backup-simplify]: Simplify (+ 0 0) into 0
3.535 * [taylor]: Taking taylor expansion of 0 in x
3.535 * [backup-simplify]: Simplify 0 into 0
3.535 * [backup-simplify]: Simplify 0 into 0
3.535 * [backup-simplify]: Simplify (- 0) into 0
3.536 * [backup-simplify]: Simplify (+ 1 0) into 1
3.536 * [backup-simplify]: Simplify 1 into 1
3.536 * [backup-simplify]: Simplify (+ (* 1 (* x y)) (+ (* (- 1.0) (* 1 y)) 1.0)) into (- (+ 1.0 (* x y)) (* 1.0 y))
3.537 * [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))
3.537 * [approximate]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x)) (/ 1 x)) in (y x) around 0
3.537 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x)) (/ 1 x)) in x
3.537 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) (/ 1 x))
3.537 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) in x
3.537 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x
3.537 * [taylor]: Taking taylor expansion of 1.0 in x
3.537 * [backup-simplify]: Simplify 1.0 into 1.0
3.537 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.537 * [taylor]: Taking taylor expansion of y in x
3.537 * [backup-simplify]: Simplify y into y
3.537 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.537 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
3.537 * [taylor]: Taking taylor expansion of 1.0 in x
3.537 * [backup-simplify]: Simplify 1.0 into 1.0
3.537 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.537 * [taylor]: Taking taylor expansion of x in x
3.537 * [backup-simplify]: Simplify 0 into 0
3.537 * [backup-simplify]: Simplify 1 into 1
3.538 * [backup-simplify]: Simplify (/ 1 1) into 1
3.538 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.538 * [taylor]: Taking taylor expansion of x in x
3.538 * [backup-simplify]: Simplify 0 into 0
3.538 * [backup-simplify]: Simplify 1 into 1
3.539 * [backup-simplify]: Simplify (/ 1 1) into 1
3.539 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x)) (/ 1 x)) in y
3.539 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) (/ 1 x))
3.539 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) in y
3.539 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
3.539 * [taylor]: Taking taylor expansion of 1.0 in y
3.539 * [backup-simplify]: Simplify 1.0 into 1.0
3.539 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.539 * [taylor]: Taking taylor expansion of y in y
3.539 * [backup-simplify]: Simplify 0 into 0
3.539 * [backup-simplify]: Simplify 1 into 1
3.539 * [backup-simplify]: Simplify (/ 1 1) into 1
3.539 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y
3.540 * [taylor]: Taking taylor expansion of 1.0 in y
3.540 * [backup-simplify]: Simplify 1.0 into 1.0
3.540 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.540 * [taylor]: Taking taylor expansion of x in y
3.540 * [backup-simplify]: Simplify x into x
3.540 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.540 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.540 * [taylor]: Taking taylor expansion of x in y
3.540 * [backup-simplify]: Simplify x into x
3.540 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.540 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x)) (/ 1 x)) in y
3.540 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) (/ 1 x))
3.540 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) in y
3.540 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y
3.540 * [taylor]: Taking taylor expansion of 1.0 in y
3.540 * [backup-simplify]: Simplify 1.0 into 1.0
3.540 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.540 * [taylor]: Taking taylor expansion of y in y
3.540 * [backup-simplify]: Simplify 0 into 0
3.540 * [backup-simplify]: Simplify 1 into 1
3.541 * [backup-simplify]: Simplify (/ 1 1) into 1
3.541 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y
3.541 * [taylor]: Taking taylor expansion of 1.0 in y
3.541 * [backup-simplify]: Simplify 1.0 into 1.0
3.541 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.541 * [taylor]: Taking taylor expansion of x in y
3.541 * [backup-simplify]: Simplify x into x
3.541 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.541 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.541 * [taylor]: Taking taylor expansion of x in y
3.541 * [backup-simplify]: Simplify x into x
3.541 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.541 * [backup-simplify]: Simplify (- 1) into -1
3.542 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.542 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
3.542 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x))
3.542 * [backup-simplify]: Simplify (* -1 (- 1.0 (/ 1 x))) into (* -1 (- 1.0 (/ 1 x)))
3.542 * [backup-simplify]: Simplify (+ (* -1 (- 1.0 (/ 1 x))) 0) into (- (/ 1 x) 1.0)
3.542 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
3.542 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.542 * [taylor]: Taking taylor expansion of x in x
3.542 * [backup-simplify]: Simplify 0 into 0
3.542 * [backup-simplify]: Simplify 1 into 1
3.543 * [backup-simplify]: Simplify (/ 1 1) into 1
3.543 * [taylor]: Taking taylor expansion of 1.0 in x
3.543 * [backup-simplify]: Simplify 1.0 into 1.0
3.544 * [backup-simplify]: Simplify (+ 1 0) into 1
3.544 * [backup-simplify]: Simplify 1 into 1
3.544 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
3.544 * [backup-simplify]: Simplify (- 0) into 0
3.545 * [backup-simplify]: Simplify (+ 0 0) into 0
3.546 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.546 * [backup-simplify]: Simplify (- 0) into 0
3.547 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.547 * [backup-simplify]: Simplify (+ (* -1 0) (* 1.0 (- 1.0 (/ 1 x)))) into (- 1.0 (* 1.0 (/ 1 x)))
3.547 * [backup-simplify]: Simplify (+ (- 1.0 (* 1.0 (/ 1 x))) (/ 1 x)) into 1.0
3.547 * [taylor]: Taking taylor expansion of 1.0 in x
3.548 * [backup-simplify]: Simplify 1.0 into 1.0
3.549 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.549 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.550 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
3.551 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
3.551 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.552 * [backup-simplify]: Simplify (- 0) into 0
3.552 * [backup-simplify]: Simplify (+ 0 0) into 0
3.553 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.554 * [backup-simplify]: Simplify (- 0) into 0
3.554 * [backup-simplify]: Simplify (+ 0 0) into 0
3.555 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 1.0 0) (* 0 (- 1.0 (/ 1 x))))) into 0
3.555 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
3.556 * [backup-simplify]: Simplify (+ 0 0) into 0
3.556 * [taylor]: Taking taylor expansion of 0 in x
3.556 * [backup-simplify]: Simplify 0 into 0
3.556 * [backup-simplify]: Simplify 1.0 into 1.0
3.557 * [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))
3.557 * [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))
3.557 * [approximate]: Taking taylor expansion of (fma (+ 1.0 (/ 1 y)) (+ (/ 1 x) 1.0) (/ -1 x)) in (y x) around 0
3.557 * [taylor]: Taking taylor expansion of (fma (+ 1.0 (/ 1 y)) (+ (/ 1 x) 1.0) (/ -1 x)) in x
3.557 * [taylor]: Rewrote expression to (+ (* (+ 1.0 (/ 1 y)) (+ (/ 1 x) 1.0)) (/ -1 x))
3.557 * [taylor]: Taking taylor expansion of (* (+ 1.0 (/ 1 y)) (+ (/ 1 x) 1.0)) in x
3.557 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in x
3.557 * [taylor]: Taking taylor expansion of 1.0 in x
3.557 * [backup-simplify]: Simplify 1.0 into 1.0
3.557 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.557 * [taylor]: Taking taylor expansion of y in x
3.557 * [backup-simplify]: Simplify y into y
3.557 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.558 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
3.558 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.558 * [taylor]: Taking taylor expansion of x in x
3.558 * [backup-simplify]: Simplify 0 into 0
3.558 * [backup-simplify]: Simplify 1 into 1
3.558 * [backup-simplify]: Simplify (/ 1 1) into 1
3.558 * [taylor]: Taking taylor expansion of 1.0 in x
3.558 * [backup-simplify]: Simplify 1.0 into 1.0
3.558 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.558 * [taylor]: Taking taylor expansion of -1 in x
3.558 * [backup-simplify]: Simplify -1 into -1
3.558 * [taylor]: Taking taylor expansion of x in x
3.558 * [backup-simplify]: Simplify 0 into 0
3.559 * [backup-simplify]: Simplify 1 into 1
3.559 * [backup-simplify]: Simplify (/ -1 1) into -1
3.559 * [taylor]: Taking taylor expansion of (fma (+ 1.0 (/ 1 y)) (+ (/ 1 x) 1.0) (/ -1 x)) in y
3.559 * [taylor]: Rewrote expression to (+ (* (+ 1.0 (/ 1 y)) (+ (/ 1 x) 1.0)) (/ -1 x))
3.559 * [taylor]: Taking taylor expansion of (* (+ 1.0 (/ 1 y)) (+ (/ 1 x) 1.0)) in y
3.559 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y
3.559 * [taylor]: Taking taylor expansion of 1.0 in y
3.559 * [backup-simplify]: Simplify 1.0 into 1.0
3.560 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.560 * [taylor]: Taking taylor expansion of y in y
3.560 * [backup-simplify]: Simplify 0 into 0
3.560 * [backup-simplify]: Simplify 1 into 1
3.560 * [backup-simplify]: Simplify (/ 1 1) into 1
3.560 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y
3.560 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.560 * [taylor]: Taking taylor expansion of x in y
3.560 * [backup-simplify]: Simplify x into x
3.560 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.560 * [taylor]: Taking taylor expansion of 1.0 in y
3.560 * [backup-simplify]: Simplify 1.0 into 1.0
3.560 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.560 * [taylor]: Taking taylor expansion of -1 in y
3.560 * [backup-simplify]: Simplify -1 into -1
3.560 * [taylor]: Taking taylor expansion of x in y
3.560 * [backup-simplify]: Simplify x into x
3.560 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
3.560 * [taylor]: Taking taylor expansion of (fma (+ 1.0 (/ 1 y)) (+ (/ 1 x) 1.0) (/ -1 x)) in y
3.561 * [taylor]: Rewrote expression to (+ (* (+ 1.0 (/ 1 y)) (+ (/ 1 x) 1.0)) (/ -1 x))
3.561 * [taylor]: Taking taylor expansion of (* (+ 1.0 (/ 1 y)) (+ (/ 1 x) 1.0)) in y
3.561 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y
3.561 * [taylor]: Taking taylor expansion of 1.0 in y
3.561 * [backup-simplify]: Simplify 1.0 into 1.0
3.561 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.561 * [taylor]: Taking taylor expansion of y in y
3.561 * [backup-simplify]: Simplify 0 into 0
3.561 * [backup-simplify]: Simplify 1 into 1
3.562 * [backup-simplify]: Simplify (/ 1 1) into 1
3.562 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y
3.562 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.562 * [taylor]: Taking taylor expansion of x in y
3.562 * [backup-simplify]: Simplify x into x
3.562 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.562 * [taylor]: Taking taylor expansion of 1.0 in y
3.562 * [backup-simplify]: Simplify 1.0 into 1.0
3.562 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.562 * [taylor]: Taking taylor expansion of -1 in y
3.562 * [backup-simplify]: Simplify -1 into -1
3.562 * [taylor]: Taking taylor expansion of x in y
3.562 * [backup-simplify]: Simplify x into x
3.562 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
3.563 * [backup-simplify]: Simplify (+ 0 1) into 1
3.563 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ (/ 1 x) 1.0)
3.563 * [backup-simplify]: Simplify (* 1 (+ (/ 1 x) 1.0)) into (+ (/ 1 x) 1.0)
3.563 * [backup-simplify]: Simplify (+ (+ (/ 1 x) 1.0) 0) into (+ (/ 1 x) 1.0)
3.563 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
3.563 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.563 * [taylor]: Taking taylor expansion of x in x
3.563 * [backup-simplify]: Simplify 0 into 0
3.563 * [backup-simplify]: Simplify 1 into 1
3.564 * [backup-simplify]: Simplify (/ 1 1) into 1
3.564 * [taylor]: Taking taylor expansion of 1.0 in x
3.564 * [backup-simplify]: Simplify 1.0 into 1.0
3.564 * [backup-simplify]: Simplify (+ 1 0) into 1
3.564 * [backup-simplify]: Simplify 1 into 1
3.564 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
3.565 * [backup-simplify]: Simplify (+ 0 0) into 0
3.566 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.566 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
3.567 * [backup-simplify]: Simplify (+ (* 1 0) (* 1.0 (+ (/ 1 x) 1.0))) into (+ (* 1.0 (/ 1 x)) 1.0)
3.567 * [backup-simplify]: Simplify (+ (+ (* 1.0 (/ 1 x)) 1.0) (/ -1 x)) into 1.0
3.567 * [taylor]: Taking taylor expansion of 1.0 in x
3.567 * [backup-simplify]: Simplify 1.0 into 1.0
3.568 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.569 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
3.569 * [backup-simplify]: Simplify 1.0 into 1.0
3.569 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.569 * [backup-simplify]: Simplify (+ 0 0) into 0
3.570 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.571 * [backup-simplify]: Simplify (+ 0 0) into 0
3.571 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1.0 0) (* 0 (+ (/ 1 x) 1.0)))) into 0
3.572 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
3.572 * [backup-simplify]: Simplify (+ 0 0) into 0
3.572 * [taylor]: Taking taylor expansion of 0 in x
3.572 * [backup-simplify]: Simplify 0 into 0
3.572 * [backup-simplify]: Simplify 1.0 into 1.0
3.572 * [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))
3.572 * * * [progress]: simplifying candidates
3.573 * [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))
  (- (+ 1.0 (* x y)) (* 1.0 y))
  (- (+ 1.0 (* x y)) (* 1.0 y))
  (- (+ 1.0 (* x y)) (* 1.0 y))
3.573 * * [simplify]: iteration 0: 20 enodes
3.576 * * [simplify]: iteration 1: 34 enodes
3.581 * * [simplify]: iteration 2: 86 enodes
3.604 * * [simplify]: iteration 3: 303 enodes
3.819 * * [simplify]: iteration 4: 1812 enodes
4.754 * * [simplify]: iteration complete: 5001 enodes
4.754 * * [simplify]: Extracting #0: cost 10 inf + 0
4.755 * * [simplify]: Extracting #1: cost 176 inf + 0
4.761 * * [simplify]: Extracting #2: cost 880 inf + 172
4.773 * * [simplify]: Extracting #3: cost 978 inf + 6756
4.788 * * [simplify]: Extracting #4: cost 176 inf + 21583
4.797 * * [simplify]: Extracting #5: cost 4 inf + 24108
4.812 * * [simplify]: Extracting #6: cost 0 inf + 24156
4.820 * [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))
  (pow (fma (- 1.0 y) (- 1.0 x) x) 3)
  (sqrt (fma (- 1.0 y) (- 1.0 x) x))
  (sqrt (fma (- 1.0 y) (- 1.0 x) x))
  (fma y (- x 1.0) 1.0)
  (fma y (- x 1.0) 1.0)
  (fma y (- x 1.0) 1.0)
4.820 * * * [progress]: adding candidates to table
4.902 * * [progress]: iteration 2 / 4
4.902 * * * [progress]: picking best candidate
4.905 * * * * [pick]: Picked  #<alt (λ (x y) (fma y (- x 1.0) 1.0))>
4.905 * * * [progress]: localizing error
4.915 * * * [progress]: generating rewritten candidates
4.915 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
4.915 * * * [progress]: generating series expansions
4.915 * * * * [progress]: [ 1 / 1 ] generating series at (2)
4.916 * [backup-simplify]: Simplify (fma y (- x 1.0) 1.0) into (fma y (- x 1.0) 1.0)
4.916 * [approximate]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in (y x) around 0
4.916 * [taylor]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in x
4.916 * [taylor]: Rewrote expression to (+ (* y (- x 1.0)) 1.0)
4.916 * [taylor]: Taking taylor expansion of (* y (- x 1.0)) in x
4.916 * [taylor]: Taking taylor expansion of y in x
4.916 * [backup-simplify]: Simplify y into y
4.916 * [taylor]: Taking taylor expansion of (- x 1.0) in x
4.916 * [taylor]: Taking taylor expansion of x in x
4.916 * [backup-simplify]: Simplify 0 into 0
4.916 * [backup-simplify]: Simplify 1 into 1
4.916 * [taylor]: Taking taylor expansion of 1.0 in x
4.916 * [backup-simplify]: Simplify 1.0 into 1.0
4.916 * [taylor]: Taking taylor expansion of 1.0 in x
4.916 * [backup-simplify]: Simplify 1.0 into 1.0
4.916 * [taylor]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in y
4.916 * [taylor]: Rewrote expression to (+ (* y (- x 1.0)) 1.0)
4.916 * [taylor]: Taking taylor expansion of (* y (- x 1.0)) in y
4.916 * [taylor]: Taking taylor expansion of y in y
4.916 * [backup-simplify]: Simplify 0 into 0
4.916 * [backup-simplify]: Simplify 1 into 1
4.916 * [taylor]: Taking taylor expansion of (- x 1.0) in y
4.916 * [taylor]: Taking taylor expansion of x in y
4.916 * [backup-simplify]: Simplify x into x
4.916 * [taylor]: Taking taylor expansion of 1.0 in y
4.916 * [backup-simplify]: Simplify 1.0 into 1.0
4.916 * [taylor]: Taking taylor expansion of 1.0 in y
4.916 * [backup-simplify]: Simplify 1.0 into 1.0
4.916 * [taylor]: Taking taylor expansion of (fma y (- x 1.0) 1.0) in y
4.916 * [taylor]: Rewrote expression to (+ (* y (- x 1.0)) 1.0)
4.916 * [taylor]: Taking taylor expansion of (* y (- x 1.0)) in y
4.916 * [taylor]: Taking taylor expansion of y in y
4.917 * [backup-simplify]: Simplify 0 into 0
4.917 * [backup-simplify]: Simplify 1 into 1
4.917 * [taylor]: Taking taylor expansion of (- x 1.0) in y
4.917 * [taylor]: Taking taylor expansion of x in y
4.917 * [backup-simplify]: Simplify x into x
4.917 * [taylor]: Taking taylor expansion of 1.0 in y
4.917 * [backup-simplify]: Simplify 1.0 into 1.0
4.917 * [taylor]: Taking taylor expansion of 1.0 in y
4.917 * [backup-simplify]: Simplify 1.0 into 1.0
4.917 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.918 * [backup-simplify]: Simplify (+ x (- 1.0)) into (- x 1.0)
4.918 * [backup-simplify]: Simplify (* 0 (- x 1.0)) into 0
4.919 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
4.919 * [taylor]: Taking taylor expansion of 1.0 in x
4.919 * [backup-simplify]: Simplify 1.0 into 1.0
4.919 * [backup-simplify]: Simplify 1.0 into 1.0
4.919 * [backup-simplify]: Simplify (- 0) into 0
4.919 * [backup-simplify]: Simplify (+ 0 0) into 0
4.920 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- x 1.0))) into (- x 1.0)
4.920 * [backup-simplify]: Simplify (+ (- x 1.0) 0) into (- x 1.0)
4.920 * [taylor]: Taking taylor expansion of (- x 1.0) in x
4.920 * [taylor]: Taking taylor expansion of x in x
4.920 * [backup-simplify]: Simplify 0 into 0
4.920 * [backup-simplify]: Simplify 1 into 1
4.920 * [taylor]: Taking taylor expansion of 1.0 in x
4.920 * [backup-simplify]: Simplify 1.0 into 1.0
4.921 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.922 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
4.922 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.922 * [backup-simplify]: Simplify 0 into 0
4.923 * [backup-simplify]: Simplify (- 0) into 0
4.923 * [backup-simplify]: Simplify (+ 0 0) into 0
4.925 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- x 1.0)))) into 0
4.925 * [backup-simplify]: Simplify (+ 0 0) into 0
4.925 * [taylor]: Taking taylor expansion of 0 in x
4.925 * [backup-simplify]: Simplify 0 into 0
4.925 * [backup-simplify]: Simplify 0 into 0
4.926 * [backup-simplify]: Simplify (- 0) into 0
4.927 * [backup-simplify]: Simplify (+ 1 0) into 1
4.927 * [backup-simplify]: Simplify 1 into 1
4.927 * [backup-simplify]: Simplify (+ (* 1 (* x y)) (+ (* (- 1.0) (* 1 y)) 1.0)) into (- (+ 1.0 (* x y)) (* 1.0 y))
4.928 * [backup-simplify]: Simplify (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) into (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0)
4.928 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in (y x) around 0
4.928 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in x
4.928 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 x) 1.0)) 1.0)
4.928 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 x) 1.0)) in x
4.928 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.928 * [taylor]: Taking taylor expansion of y in x
4.928 * [backup-simplify]: Simplify y into y
4.928 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.928 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
4.928 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.928 * [taylor]: Taking taylor expansion of x in x
4.928 * [backup-simplify]: Simplify 0 into 0
4.928 * [backup-simplify]: Simplify 1 into 1
4.929 * [backup-simplify]: Simplify (/ 1 1) into 1
4.929 * [taylor]: Taking taylor expansion of 1.0 in x
4.929 * [backup-simplify]: Simplify 1.0 into 1.0
4.929 * [taylor]: Taking taylor expansion of 1.0 in x
4.929 * [backup-simplify]: Simplify 1.0 into 1.0
4.929 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in y
4.930 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 x) 1.0)) 1.0)
4.930 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 x) 1.0)) in y
4.930 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.930 * [taylor]: Taking taylor expansion of y in y
4.930 * [backup-simplify]: Simplify 0 into 0
4.930 * [backup-simplify]: Simplify 1 into 1
4.931 * [backup-simplify]: Simplify (/ 1 1) into 1
4.931 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in y
4.931 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.931 * [taylor]: Taking taylor expansion of x in y
4.931 * [backup-simplify]: Simplify x into x
4.931 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.931 * [taylor]: Taking taylor expansion of 1.0 in y
4.931 * [backup-simplify]: Simplify 1.0 into 1.0
4.931 * [taylor]: Taking taylor expansion of 1.0 in y
4.931 * [backup-simplify]: Simplify 1.0 into 1.0
4.931 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 x) 1.0) 1.0) in y
4.931 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 x) 1.0)) 1.0)
4.931 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 x) 1.0)) in y
4.931 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.931 * [taylor]: Taking taylor expansion of y in y
4.931 * [backup-simplify]: Simplify 0 into 0
4.932 * [backup-simplify]: Simplify 1 into 1
4.932 * [backup-simplify]: Simplify (/ 1 1) into 1
4.932 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in y
4.932 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.932 * [taylor]: Taking taylor expansion of x in y
4.932 * [backup-simplify]: Simplify x into x
4.933 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.933 * [taylor]: Taking taylor expansion of 1.0 in y
4.933 * [backup-simplify]: Simplify 1.0 into 1.0
4.933 * [taylor]: Taking taylor expansion of 1.0 in y
4.933 * [backup-simplify]: Simplify 1.0 into 1.0
4.933 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.934 * [backup-simplify]: Simplify (+ (/ 1 x) (- 1.0)) into (- (/ 1 x) 1.0)
4.934 * [backup-simplify]: Simplify (* 1 (- (/ 1 x) 1.0)) into (- (/ 1 x) 1.0)
4.934 * [backup-simplify]: Simplify (+ (- (/ 1 x) 1.0) 0) into (- (/ 1 x) 1.0)
4.934 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x
4.934 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.934 * [taylor]: Taking taylor expansion of x in x
4.934 * [backup-simplify]: Simplify 0 into 0
4.934 * [backup-simplify]: Simplify 1 into 1
4.935 * [backup-simplify]: Simplify (/ 1 1) into 1
4.935 * [taylor]: Taking taylor expansion of 1.0 in x
4.935 * [backup-simplify]: Simplify 1.0 into 1.0
4.936 * [backup-simplify]: Simplify (+ 1 0) into 1
4.936 * [backup-simplify]: Simplify 1 into 1
4.936 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.936 * [backup-simplify]: Simplify (- 0) into 0
4.937 * [backup-simplify]: Simplify (+ 0 0) into 0
4.938 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.939 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (- (/ 1 x) 1.0))) into 0
4.939 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
4.939 * [taylor]: Taking taylor expansion of 1.0 in x
4.939 * [backup-simplify]: Simplify 1.0 into 1.0
4.940 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.941 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.942 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
4.942 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
4.943 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.943 * [backup-simplify]: Simplify (- 0) into 0
4.944 * [backup-simplify]: Simplify (+ 0 0) into 0
4.945 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.946 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (- (/ 1 x) 1.0)))) into 0
4.946 * [backup-simplify]: Simplify (+ 0 0) into 0
4.947 * [taylor]: Taking taylor expansion of 0 in x
4.947 * [backup-simplify]: Simplify 0 into 0
4.947 * [backup-simplify]: Simplify 1.0 into 1.0
4.948 * [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))
4.948 * [backup-simplify]: Simplify (fma (/ 1 (- y)) (- (/ 1 (- x)) 1.0) 1.0) into (fma (/ -1 y) (- (+ (/ 1 x) 1.0)) 1.0)
4.948 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (- (+ (/ 1 x) 1.0)) 1.0) in (y x) around 0
4.948 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ (/ 1 x) 1.0)) 1.0) in x
4.948 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ (/ 1 x) 1.0))) 1.0)
4.948 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ (/ 1 x) 1.0))) in x
4.948 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.948 * [taylor]: Taking taylor expansion of -1 in x
4.948 * [backup-simplify]: Simplify -1 into -1
4.948 * [taylor]: Taking taylor expansion of y in x
4.948 * [backup-simplify]: Simplify y into y
4.948 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.948 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1.0)) in x
4.948 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
4.948 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.948 * [taylor]: Taking taylor expansion of x in x
4.948 * [backup-simplify]: Simplify 0 into 0
4.949 * [backup-simplify]: Simplify 1 into 1
4.949 * [backup-simplify]: Simplify (/ 1 1) into 1
4.949 * [taylor]: Taking taylor expansion of 1.0 in x
4.949 * [backup-simplify]: Simplify 1.0 into 1.0
4.949 * [taylor]: Taking taylor expansion of 1.0 in x
4.949 * [backup-simplify]: Simplify 1.0 into 1.0
4.949 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ (/ 1 x) 1.0)) 1.0) in y
4.950 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ (/ 1 x) 1.0))) 1.0)
4.950 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ (/ 1 x) 1.0))) in y
4.950 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.950 * [taylor]: Taking taylor expansion of -1 in y
4.950 * [backup-simplify]: Simplify -1 into -1
4.950 * [taylor]: Taking taylor expansion of y in y
4.950 * [backup-simplify]: Simplify 0 into 0
4.950 * [backup-simplify]: Simplify 1 into 1
4.951 * [backup-simplify]: Simplify (/ -1 1) into -1
4.951 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1.0)) in y
4.951 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y
4.951 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.951 * [taylor]: Taking taylor expansion of x in y
4.951 * [backup-simplify]: Simplify x into x
4.951 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.951 * [taylor]: Taking taylor expansion of 1.0 in y
4.951 * [backup-simplify]: Simplify 1.0 into 1.0
4.951 * [taylor]: Taking taylor expansion of 1.0 in y
4.951 * [backup-simplify]: Simplify 1.0 into 1.0
4.951 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (+ (/ 1 x) 1.0)) 1.0) in y
4.951 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (+ (/ 1 x) 1.0))) 1.0)
4.951 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (+ (/ 1 x) 1.0))) in y
4.951 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.951 * [taylor]: Taking taylor expansion of -1 in y
4.951 * [backup-simplify]: Simplify -1 into -1
4.951 * [taylor]: Taking taylor expansion of y in y
4.952 * [backup-simplify]: Simplify 0 into 0
4.952 * [backup-simplify]: Simplify 1 into 1
4.952 * [backup-simplify]: Simplify (/ -1 1) into -1
4.952 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1.0)) in y
4.952 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y
4.952 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.952 * [taylor]: Taking taylor expansion of x in y
4.952 * [backup-simplify]: Simplify x into x
4.953 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.953 * [taylor]: Taking taylor expansion of 1.0 in y
4.953 * [backup-simplify]: Simplify 1.0 into 1.0
4.953 * [taylor]: Taking taylor expansion of 1.0 in y
4.953 * [backup-simplify]: Simplify 1.0 into 1.0
4.953 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ (/ 1 x) 1.0)
4.953 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0))
4.953 * [backup-simplify]: Simplify (* -1 (- (+ (/ 1 x) 1.0))) into (+ (/ 1 x) 1.0)
4.953 * [backup-simplify]: Simplify (+ (+ (/ 1 x) 1.0) 0) into (+ (/ 1 x) 1.0)
4.953 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
4.953 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.953 * [taylor]: Taking taylor expansion of x in x
4.953 * [backup-simplify]: Simplify 0 into 0
4.953 * [backup-simplify]: Simplify 1 into 1
4.954 * [backup-simplify]: Simplify (/ 1 1) into 1
4.954 * [taylor]: Taking taylor expansion of 1.0 in x
4.954 * [backup-simplify]: Simplify 1.0 into 1.0
4.955 * [backup-simplify]: Simplify (+ 1 0) into 1
4.955 * [backup-simplify]: Simplify 1 into 1
4.955 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.955 * [backup-simplify]: Simplify (+ 0 0) into 0
4.956 * [backup-simplify]: Simplify (- 0) into 0
4.956 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.956 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0))
4.957 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (+ (/ 1 x) 1.0)))) into 0
4.957 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
4.957 * [taylor]: Taking taylor expansion of 1.0 in x
4.957 * [backup-simplify]: Simplify 1.0 into 1.0
4.958 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.958 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
4.958 * [backup-simplify]: Simplify 1.0 into 1.0
4.958 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.959 * [backup-simplify]: Simplify (+ 0 0) into 0
4.959 * [backup-simplify]: Simplify (- 0) into 0
4.959 * [backup-simplify]: Simplify (- 0) into 0
4.960 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.960 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1.0)) into (- (+ (/ 1 x) 1.0))
4.961 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (+ (/ 1 x) 1.0))))) into 0
4.961 * [backup-simplify]: Simplify (+ 0 0) into 0
4.961 * [taylor]: Taking taylor expansion of 0 in x
4.961 * [backup-simplify]: Simplify 0 into 0
4.961 * [backup-simplify]: Simplify 1.0 into 1.0
4.962 * [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))
4.962 * * * [progress]: simplifying candidates
4.962 * [simplify]: Simplifying:
  (expm1 (fma y (- x 1.0) 1.0))
  (log1p (fma y (- x 1.0) 1.0))
  (* y (- x 1.0))
  (log (fma y (- x 1.0) 1.0))
  (exp (fma y (- x 1.0) 1.0))
  (* (cbrt (fma y (- x 1.0) 1.0)) (cbrt (fma y (- x 1.0) 1.0)))
  (cbrt (fma y (- x 1.0) 1.0))
  (* (* (fma y (- x 1.0) 1.0) (fma y (- x 1.0) 1.0)) (fma y (- x 1.0) 1.0))
  (sqrt (fma y (- x 1.0) 1.0))
  (sqrt (fma y (- x 1.0) 1.0))
  (- (+ 1.0 (* x y)) (* 1.0 y))
  (- (+ 1.0 (* x y)) (* 1.0 y))
  (- (+ 1.0 (* x y)) (* 1.0 y))
4.962 * * [simplify]: iteration 0: 19 enodes
4.966 * * [simplify]: iteration 1: 31 enodes
4.972 * * [simplify]: iteration 2: 69 enodes
4.999 * * [simplify]: iteration 3: 399 enodes
5.846 * * [simplify]: iteration 4: 4849 enodes
8.206 * * [simplify]: iteration complete: 5000 enodes
8.206 * * [simplify]: Extracting #0: cost 10 inf + 0
8.207 * * [simplify]: Extracting #1: cost 305 inf + 0
8.218 * * [simplify]: Extracting #2: cost 1751 inf + 121
8.226 * * [simplify]: Extracting #3: cost 604 inf + 19185
8.234 * * [simplify]: Extracting #4: cost 5 inf + 28488
8.245 * * [simplify]: Extracting #5: cost 4 inf + 28489
8.258 * * [simplify]: Extracting #6: cost 0 inf + 28513
8.270 * [simplify]: Simplified to:
  (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))
  (pow (fma (- x 1.0) y 1.0) 3)
  (sqrt (fma (- x 1.0) y 1.0))
  (sqrt (fma (- x 1.0) y 1.0))
  (fma (- x 1.0) y 1.0)
  (fma (- x 1.0) y 1.0)
  (fma (- x 1.0) y 1.0)
8.270 * * * [progress]: adding candidates to table
8.330 * [progress]: [Phase 3 of 3] Extracting.
8.336 * [simplify]: Simplifying:
  (fma y (- x 1.0) 1.0)
8.336 * * [simplify]: iteration 0: 5 enodes
8.337 * * [simplify]: iteration complete: 5 enodes
8.337 * * [simplify]: Extracting #0: cost 1 inf + 0
8.337 * * [simplify]: Extracting #1: cost 4 inf + 0
8.337 * * [simplify]: Extracting #2: cost 3 inf + 2
8.337 * * [simplify]: Extracting #3: cost 0 inf + 12
8.337 * [simplify]: Simplified to:
  (fma y (- x 1.0) 1.0)
9.951 * [regime-testing]: Baseline error score: 0.004875609451181397
9.955 * [regime-testing]: Oracle error score: 0.004875609451181397
9.955 * [regime-testing]: End program error score: 0.004875609451181397
10.048 * [regime-testing]: Target error score: 0.005323785785813372