1.630 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.021 * * * [progress]: [2/2] Setting up program. 0.023 * [progress]: [Phase 2 of 3] Improving. 0.023 * [simplify]: Simplifying: (+ x (* (- 1.0 x) (- 1.0 y))) 0.023 * * [simplify]: Extracting # 0 : cost 0 0.023 * * [simplify]: Extracting # 1 : cost 0 0.023 * * [simplify]: Extracting # 2 : cost 0 0.023 * * [simplify]: Extracting # 3 : cost 0 0.023 * * [simplify]: Extracting # 4 : cost 0 0.023 * * [simplify]: Extracting # 5 : cost 0 0.023 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 0.025 * * [simplify]: Extracting # 0 : cost 0 0.025 * * [simplify]: Extracting # 1 : cost 0 0.025 * * [simplify]: Extracting # 2 : cost 0 0.025 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 0.039 * * [simplify]: Extracting # 0 : cost 0 0.039 * * [simplify]: Extracting # 1 : cost 0 0.039 * * [simplify]: Extracting # 2 : cost 0 0.039 * * [simplify]: iteration 2 : 29 enodes (cost 8 ) 0.046 * * [simplify]: Extracting # 0 : cost 0 0.047 * * [simplify]: Extracting # 1 : cost 0 0.047 * * [simplify]: Extracting # 2 : cost 0 0.047 * * [simplify]: iteration 3 : 84 enodes (cost 8 ) 0.078 * * [simplify]: Extracting # 0 : cost 0 0.078 * * [simplify]: Extracting # 1 : cost 0 0.079 * * [simplify]: Extracting # 2 : cost 0 0.079 * * [simplify]: iteration 4 : 278 enodes (cost 8 ) 0.275 * * [simplify]: Extracting # 0 : cost 0 0.276 * * [simplify]: Extracting # 1 : cost 0 0.277 * * [simplify]: Extracting # 2 : cost 0 0.278 * * [simplify]: Extracting # 3 : cost 0 0.279 * * [simplify]: Extracting # 4 : cost 0 0.284 * * [simplify]: iteration 5 : 663 enodes (cost 8 ) 1.155 * * [simplify]: Extracting # 0 : cost 0 1.158 * * [simplify]: Extracting # 1 : cost 0 1.160 * * [simplify]: Extracting # 2 : cost 0 1.162 * * [simplify]: Extracting # 3 : cost 0 1.164 * * [simplify]: iteration 6 : 1289 enodes (cost 8 ) 3.236 * * [simplify]: Extracting # 0 : cost 0 3.242 * * [simplify]: Extracting # 1 : cost 0 3.245 * * [simplify]: Extracting # 2 : cost 0 3.249 * * [simplify]: Extracting # 3 : cost 0 3.252 * * [simplify]: iteration 7 : 2486 enodes (cost 8 ) 7.572 * * [simplify]: Extracting # 0 : cost 0 7.580 * * [simplify]: Extracting # 1 : cost 0 7.583 * * [simplify]: Extracting # 2 : cost 0 7.587 * * [simplify]: iteration 8 : 3245 enodes (cost 8 ) 14.867 * * [simplify]: Extracting # 0 : cost 0 14.876 * * [simplify]: Extracting # 1 : cost 0 14.879 * * [simplify]: Extracting # 2 : cost 0 14.883 * * [simplify]: iteration 9 : 4653 enodes (cost 8 ) 17.513 * * [simplify]: Extracting # 0 : cost 0 17.517 * * [simplify]: Extracting # 1 : cost 0 17.520 * * [simplify]: Extracting # 2 : cost 0 17.524 * * [simplify]: iteration done: 5001 enodes (cost 8 ) 17.525 * [simplify]: Simplified to: (fma (- 1.0 y) (- 1.0 x) x) 17.529 * * [progress]: iteration 1 / 4 17.529 * * * [progress]: picking best candidate 17.534 * * * * [pick]: Picked # 17.534 * * * [progress]: localizing error 17.547 * * * [progress]: generating rewritten candidates 17.547 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 17.549 * * * [progress]: generating series expansions 17.549 * * * * [progress]: [ 1 / 1 ] generating series at (2) 17.549 * [backup-simplify]: Simplify (fma (- 1.0 y) (- 1.0 x) x) into (fma (- 1.0 y) (- 1.0 x) x) 17.549 * [approximate]: Taking taylor expansion of (fma (- 1.0 y) (- 1.0 x) x) in (y x) around 0 17.549 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) (- 1.0 x) x) in x 17.549 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) (- 1.0 x)) x) 17.549 * [taylor]: Taking taylor expansion of (* (- 1.0 y) (- 1.0 x)) in x 17.549 * [taylor]: Taking taylor expansion of (- 1.0 y) in x 17.549 * [taylor]: Taking taylor expansion of 1.0 in x 17.549 * [backup-simplify]: Simplify 1.0 into 1.0 17.549 * [taylor]: Taking taylor expansion of y in x 17.549 * [backup-simplify]: Simplify y into y 17.549 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 17.549 * [taylor]: Taking taylor expansion of 1.0 in x 17.549 * [backup-simplify]: Simplify 1.0 into 1.0 17.549 * [taylor]: Taking taylor expansion of x in x 17.549 * [backup-simplify]: Simplify 0 into 0 17.550 * [backup-simplify]: Simplify 1 into 1 17.550 * [taylor]: Taking taylor expansion of x in x 17.550 * [backup-simplify]: Simplify 0 into 0 17.550 * [backup-simplify]: Simplify 1 into 1 17.550 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) (- 1.0 x) x) in y 17.550 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) (- 1.0 x)) x) 17.550 * [taylor]: Taking taylor expansion of (* (- 1.0 y) (- 1.0 x)) in y 17.550 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 17.550 * [taylor]: Taking taylor expansion of 1.0 in y 17.550 * [backup-simplify]: Simplify 1.0 into 1.0 17.550 * [taylor]: Taking taylor expansion of y in y 17.550 * [backup-simplify]: Simplify 0 into 0 17.550 * [backup-simplify]: Simplify 1 into 1 17.550 * [taylor]: Taking taylor expansion of (- 1.0 x) in y 17.550 * [taylor]: Taking taylor expansion of 1.0 in y 17.550 * [backup-simplify]: Simplify 1.0 into 1.0 17.550 * [taylor]: Taking taylor expansion of x in y 17.550 * [backup-simplify]: Simplify x into x 17.550 * [taylor]: Taking taylor expansion of x in y 17.550 * [backup-simplify]: Simplify x into x 17.550 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) (- 1.0 x) x) in y 17.550 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) (- 1.0 x)) x) 17.550 * [taylor]: Taking taylor expansion of (* (- 1.0 y) (- 1.0 x)) in y 17.550 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 17.550 * [taylor]: Taking taylor expansion of 1.0 in y 17.551 * [backup-simplify]: Simplify 1.0 into 1.0 17.551 * [taylor]: Taking taylor expansion of y in y 17.551 * [backup-simplify]: Simplify 0 into 0 17.551 * [backup-simplify]: Simplify 1 into 1 17.551 * [taylor]: Taking taylor expansion of (- 1.0 x) in y 17.551 * [taylor]: Taking taylor expansion of 1.0 in y 17.551 * [backup-simplify]: Simplify 1.0 into 1.0 17.551 * [taylor]: Taking taylor expansion of x in y 17.551 * [backup-simplify]: Simplify x into x 17.551 * [taylor]: Taking taylor expansion of x in y 17.551 * [backup-simplify]: Simplify x into x 17.552 * [backup-simplify]: Simplify (- 0) into 0 17.552 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 17.552 * [backup-simplify]: Simplify (- x) into (- x) 17.552 * [backup-simplify]: Simplify (+ 1.0 (- x)) into (- 1.0 x) 17.552 * [backup-simplify]: Simplify (* 1.0 (- 1.0 x)) into (* 1.0 (- 1.0 x)) 17.552 * [backup-simplify]: Simplify (+ (* 1.0 (- 1.0 x)) x) into 1.0 17.552 * [taylor]: Taking taylor expansion of 1.0 in x 17.552 * [backup-simplify]: Simplify 1.0 into 1.0 17.552 * [backup-simplify]: Simplify 1.0 into 1.0 17.553 * [backup-simplify]: Simplify (- 0) into 0 17.553 * [backup-simplify]: Simplify (+ 0 0) into 0 17.553 * [backup-simplify]: Simplify (- 1) into -1 17.554 * [backup-simplify]: Simplify (+ 0 -1) into -1 17.554 * [backup-simplify]: Simplify (+ (* 1.0 0) (* -1 (- 1.0 x))) into (- x 1.0) 17.554 * [backup-simplify]: Simplify (+ (- x 1.0) 0) into (- x 1.0) 17.554 * [taylor]: Taking taylor expansion of (- x 1.0) in x 17.554 * [taylor]: Taking taylor expansion of x in x 17.554 * [backup-simplify]: Simplify 0 into 0 17.554 * [backup-simplify]: Simplify 1 into 1 17.554 * [taylor]: Taking taylor expansion of 1.0 in x 17.554 * [backup-simplify]: Simplify 1.0 into 1.0 17.555 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 17.555 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 17.555 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 17.555 * [backup-simplify]: Simplify 0 into 0 17.556 * [backup-simplify]: Simplify (- 0) into 0 17.556 * [backup-simplify]: Simplify (+ 0 0) into 0 17.556 * [backup-simplify]: Simplify (- 0) into 0 17.556 * [backup-simplify]: Simplify (+ 0 0) into 0 17.557 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* -1 0) (* 0 (- 1.0 x)))) into 0 17.562 * [backup-simplify]: Simplify (+ 0 0) into 0 17.562 * [taylor]: Taking taylor expansion of 0 in x 17.562 * [backup-simplify]: Simplify 0 into 0 17.562 * [backup-simplify]: Simplify 0 into 0 17.563 * [backup-simplify]: Simplify (- 0) into 0 17.563 * [backup-simplify]: Simplify (+ 1 0) into 1 17.563 * [backup-simplify]: Simplify 1 into 1 17.563 * [backup-simplify]: Simplify (+ (* 1 (* x y)) (+ (* (- 1.0) (* 1 y)) 1.0)) into (- (+ (* x y) 1.0) (* 1.0 y)) 17.564 * [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)) 17.564 * [approximate]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x)) (/ 1 x)) in (y x) around 0 17.564 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x)) (/ 1 x)) in x 17.564 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) (/ 1 x)) 17.564 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) in x 17.564 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 17.564 * [taylor]: Taking taylor expansion of 1.0 in x 17.564 * [backup-simplify]: Simplify 1.0 into 1.0 17.564 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.564 * [taylor]: Taking taylor expansion of y in x 17.564 * [backup-simplify]: Simplify y into y 17.564 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 17.564 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 17.564 * [taylor]: Taking taylor expansion of 1.0 in x 17.564 * [backup-simplify]: Simplify 1.0 into 1.0 17.564 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.564 * [taylor]: Taking taylor expansion of x in x 17.564 * [backup-simplify]: Simplify 0 into 0 17.564 * [backup-simplify]: Simplify 1 into 1 17.564 * [backup-simplify]: Simplify (/ 1 1) into 1 17.564 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.564 * [taylor]: Taking taylor expansion of x in x 17.564 * [backup-simplify]: Simplify 0 into 0 17.564 * [backup-simplify]: Simplify 1 into 1 17.565 * [backup-simplify]: Simplify (/ 1 1) into 1 17.565 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x)) (/ 1 x)) in y 17.565 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) (/ 1 x)) 17.565 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) in y 17.565 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 17.565 * [taylor]: Taking taylor expansion of 1.0 in y 17.565 * [backup-simplify]: Simplify 1.0 into 1.0 17.565 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.565 * [taylor]: Taking taylor expansion of y in y 17.565 * [backup-simplify]: Simplify 0 into 0 17.565 * [backup-simplify]: Simplify 1 into 1 17.565 * [backup-simplify]: Simplify (/ 1 1) into 1 17.565 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y 17.565 * [taylor]: Taking taylor expansion of 1.0 in y 17.565 * [backup-simplify]: Simplify 1.0 into 1.0 17.565 * [taylor]: Taking taylor expansion of (/ 1 x) in y 17.565 * [taylor]: Taking taylor expansion of x in y 17.565 * [backup-simplify]: Simplify x into x 17.565 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 17.565 * [taylor]: Taking taylor expansion of (/ 1 x) in y 17.565 * [taylor]: Taking taylor expansion of x in y 17.565 * [backup-simplify]: Simplify x into x 17.566 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 17.566 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x)) (/ 1 x)) in y 17.566 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) (/ 1 x)) 17.566 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) in y 17.566 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 17.566 * [taylor]: Taking taylor expansion of 1.0 in y 17.566 * [backup-simplify]: Simplify 1.0 into 1.0 17.566 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.566 * [taylor]: Taking taylor expansion of y in y 17.566 * [backup-simplify]: Simplify 0 into 0 17.566 * [backup-simplify]: Simplify 1 into 1 17.566 * [backup-simplify]: Simplify (/ 1 1) into 1 17.566 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y 17.566 * [taylor]: Taking taylor expansion of 1.0 in y 17.566 * [backup-simplify]: Simplify 1.0 into 1.0 17.566 * [taylor]: Taking taylor expansion of (/ 1 x) in y 17.566 * [taylor]: Taking taylor expansion of x in y 17.566 * [backup-simplify]: Simplify x into x 17.566 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 17.566 * [taylor]: Taking taylor expansion of (/ 1 x) in y 17.566 * [taylor]: Taking taylor expansion of x in y 17.566 * [backup-simplify]: Simplify x into x 17.566 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 17.567 * [backup-simplify]: Simplify (- 1) into -1 17.567 * [backup-simplify]: Simplify (+ 0 -1) into -1 17.567 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 17.567 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x)) 17.567 * [backup-simplify]: Simplify (* -1 (- 1.0 (/ 1 x))) into (* -1 (- 1.0 (/ 1 x))) 17.567 * [backup-simplify]: Simplify (+ (* -1 (- 1.0 (/ 1 x))) 0) into (- (/ 1 x) 1.0) 17.567 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x 17.567 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.567 * [taylor]: Taking taylor expansion of x in x 17.567 * [backup-simplify]: Simplify 0 into 0 17.567 * [backup-simplify]: Simplify 1 into 1 17.568 * [backup-simplify]: Simplify (/ 1 1) into 1 17.568 * [taylor]: Taking taylor expansion of 1.0 in x 17.568 * [backup-simplify]: Simplify 1.0 into 1.0 17.568 * [backup-simplify]: Simplify (+ 1 0) into 1 17.568 * [backup-simplify]: Simplify 1 into 1 17.568 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 17.568 * [backup-simplify]: Simplify (- 0) into 0 17.568 * [backup-simplify]: Simplify (+ 0 0) into 0 17.569 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.569 * [backup-simplify]: Simplify (- 0) into 0 17.569 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 17.570 * [backup-simplify]: Simplify (+ (* -1 0) (* 1.0 (- 1.0 (/ 1 x)))) into (- 1.0 (* 1.0 (/ 1 x))) 17.570 * [backup-simplify]: Simplify (+ (- 1.0 (* 1.0 (/ 1 x))) (/ 1 x)) into 1.0 17.570 * [taylor]: Taking taylor expansion of 1.0 in x 17.570 * [backup-simplify]: Simplify 1.0 into 1.0 17.570 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.571 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 17.571 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 17.571 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 17.572 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 17.572 * [backup-simplify]: Simplify (- 0) into 0 17.572 * [backup-simplify]: Simplify (+ 0 0) into 0 17.572 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.573 * [backup-simplify]: Simplify (- 0) into 0 17.573 * [backup-simplify]: Simplify (+ 0 0) into 0 17.573 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 1.0 0) (* 0 (- 1.0 (/ 1 x))))) into 0 17.574 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 17.574 * [backup-simplify]: Simplify (+ 0 0) into 0 17.574 * [taylor]: Taking taylor expansion of 0 in x 17.574 * [backup-simplify]: Simplify 0 into 0 17.574 * [backup-simplify]: Simplify 1.0 into 1.0 17.574 * [backup-simplify]: Simplify (+ 1.0 (+ (* (- 1.0) (* 1 (/ 1 (/ 1 y)))) (* 1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))))) into (- (+ (* x y) 1.0) (* 1.0 y)) 17.575 * [backup-simplify]: Simplify (fma (- 1.0 (/ 1 (- y))) (- 1.0 (/ 1 (- x))) (/ 1 (- x))) into (fma (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0) (/ -1 x)) 17.575 * [approximate]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0) (/ -1 x)) in (y x) around 0 17.575 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0) (/ -1 x)) in x 17.575 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0)) (/ -1 x)) 17.575 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0)) in x 17.575 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 17.575 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.575 * [taylor]: Taking taylor expansion of y in x 17.575 * [backup-simplify]: Simplify y into y 17.575 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 17.575 * [taylor]: Taking taylor expansion of 1.0 in x 17.575 * [backup-simplify]: Simplify 1.0 into 1.0 17.575 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 17.575 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.575 * [taylor]: Taking taylor expansion of x in x 17.575 * [backup-simplify]: Simplify 0 into 0 17.575 * [backup-simplify]: Simplify 1 into 1 17.575 * [backup-simplify]: Simplify (/ 1 1) into 1 17.575 * [taylor]: Taking taylor expansion of 1.0 in x 17.575 * [backup-simplify]: Simplify 1.0 into 1.0 17.575 * [taylor]: Taking taylor expansion of (/ -1 x) in x 17.575 * [taylor]: Taking taylor expansion of -1 in x 17.575 * [backup-simplify]: Simplify -1 into -1 17.575 * [taylor]: Taking taylor expansion of x in x 17.575 * [backup-simplify]: Simplify 0 into 0 17.575 * [backup-simplify]: Simplify 1 into 1 17.576 * [backup-simplify]: Simplify (/ -1 1) into -1 17.576 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0) (/ -1 x)) in y 17.576 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0)) (/ -1 x)) 17.576 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0)) in y 17.576 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 17.576 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.576 * [taylor]: Taking taylor expansion of y in y 17.576 * [backup-simplify]: Simplify 0 into 0 17.576 * [backup-simplify]: Simplify 1 into 1 17.576 * [backup-simplify]: Simplify (/ 1 1) into 1 17.576 * [taylor]: Taking taylor expansion of 1.0 in y 17.576 * [backup-simplify]: Simplify 1.0 into 1.0 17.576 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 17.576 * [taylor]: Taking taylor expansion of (/ 1 x) in y 17.576 * [taylor]: Taking taylor expansion of x in y 17.576 * [backup-simplify]: Simplify x into x 17.576 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 17.576 * [taylor]: Taking taylor expansion of 1.0 in y 17.576 * [backup-simplify]: Simplify 1.0 into 1.0 17.576 * [taylor]: Taking taylor expansion of (/ -1 x) in y 17.576 * [taylor]: Taking taylor expansion of -1 in y 17.576 * [backup-simplify]: Simplify -1 into -1 17.576 * [taylor]: Taking taylor expansion of x in y 17.576 * [backup-simplify]: Simplify x into x 17.577 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 17.577 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0) (/ -1 x)) in y 17.577 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0)) (/ -1 x)) 17.577 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0)) in y 17.577 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 17.577 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.577 * [taylor]: Taking taylor expansion of y in y 17.577 * [backup-simplify]: Simplify 0 into 0 17.577 * [backup-simplify]: Simplify 1 into 1 17.577 * [backup-simplify]: Simplify (/ 1 1) into 1 17.577 * [taylor]: Taking taylor expansion of 1.0 in y 17.577 * [backup-simplify]: Simplify 1.0 into 1.0 17.577 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 17.577 * [taylor]: Taking taylor expansion of (/ 1 x) in y 17.577 * [taylor]: Taking taylor expansion of x in y 17.577 * [backup-simplify]: Simplify x into x 17.577 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 17.577 * [taylor]: Taking taylor expansion of 1.0 in y 17.577 * [backup-simplify]: Simplify 1.0 into 1.0 17.577 * [taylor]: Taking taylor expansion of (/ -1 x) in y 17.577 * [taylor]: Taking taylor expansion of -1 in y 17.577 * [backup-simplify]: Simplify -1 into -1 17.577 * [taylor]: Taking taylor expansion of x in y 17.577 * [backup-simplify]: Simplify x into x 17.577 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 17.578 * [backup-simplify]: Simplify (+ 1 0) into 1 17.578 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ 1.0 (/ 1 x)) 17.578 * [backup-simplify]: Simplify (* 1 (+ 1.0 (/ 1 x))) into (+ (/ 1 x) 1.0) 17.578 * [backup-simplify]: Simplify (+ (+ (/ 1 x) 1.0) 0) into (+ (/ 1 x) 1.0) 17.578 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 17.578 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.578 * [taylor]: Taking taylor expansion of x in x 17.578 * [backup-simplify]: Simplify 0 into 0 17.578 * [backup-simplify]: Simplify 1 into 1 17.578 * [backup-simplify]: Simplify (/ 1 1) into 1 17.578 * [taylor]: Taking taylor expansion of 1.0 in x 17.578 * [backup-simplify]: Simplify 1.0 into 1.0 17.579 * [backup-simplify]: Simplify (+ 1 0) into 1 17.579 * [backup-simplify]: Simplify 1 into 1 17.579 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 17.579 * [backup-simplify]: Simplify (+ 0 0) into 0 17.580 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.580 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 17.580 * [backup-simplify]: Simplify (+ (* 1 0) (* 1.0 (+ 1.0 (/ 1 x)))) into (+ (* 1.0 (/ 1 x)) 1.0) 17.580 * [backup-simplify]: Simplify (+ (+ (* 1.0 (/ 1 x)) 1.0) (/ -1 x)) into 1.0 17.580 * [taylor]: Taking taylor expansion of 1.0 in x 17.580 * [backup-simplify]: Simplify 1.0 into 1.0 17.581 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.581 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 17.581 * [backup-simplify]: Simplify 1.0 into 1.0 17.581 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 17.582 * [backup-simplify]: Simplify (+ 0 0) into 0 17.583 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.583 * [backup-simplify]: Simplify (+ 0 0) into 0 17.584 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1.0 0) (* 0 (+ 1.0 (/ 1 x))))) into 0 17.584 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 17.585 * [backup-simplify]: Simplify (+ 0 0) into 0 17.585 * [taylor]: Taking taylor expansion of 0 in x 17.585 * [backup-simplify]: Simplify 0 into 0 17.585 * [backup-simplify]: Simplify 1.0 into 1.0 17.585 * [backup-simplify]: Simplify (+ 1.0 (+ (* 1.0 (* 1 (/ 1 (/ 1 (- y))))) (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y))))))) into (- (+ (* x y) 1.0) (* 1.0 y)) 17.585 * * * [progress]: simplifying candidates 17.586 * [simplify]: Simplifying: (expm1 (fma (- 1.0 y) (- 1.0 x) x)) (log1p (fma (- 1.0 y) (- 1.0 x) x)) (* (- 1.0 y) (- 1.0 x)) (log (fma (- 1.0 y) (- 1.0 x) x)) (exp (fma (- 1.0 y) (- 1.0 x) x)) (* (cbrt (fma (- 1.0 y) (- 1.0 x) x)) (cbrt (fma (- 1.0 y) (- 1.0 x) x))) (cbrt (fma (- 1.0 y) (- 1.0 x) x)) (* (* (fma (- 1.0 y) (- 1.0 x) x) (fma (- 1.0 y) (- 1.0 x) x)) (fma (- 1.0 y) (- 1.0 x) x)) (sqrt (fma (- 1.0 y) (- 1.0 x) x)) (sqrt (fma (- 1.0 y) (- 1.0 x) x)) (- (+ (* x y) 1.0) (* 1.0 y)) (- (+ (* x y) 1.0) (* 1.0 y)) (- (+ (* x y) 1.0) (* 1.0 y)) 17.586 * * [simplify]: Extracting # 0 : cost 0 17.586 * * [simplify]: Extracting # 1 : cost 0 17.586 * * [simplify]: Extracting # 2 : cost 0 17.586 * * [simplify]: Extracting # 3 : cost 0 17.587 * * [simplify]: Extracting # 4 : cost 0 17.587 * * [simplify]: Extracting # 5 : cost 0 17.587 * * [simplify]: iteration 0 : 20 enodes (cost 142 ) 17.593 * * [simplify]: Extracting # 0 : cost 0 17.593 * * [simplify]: Extracting # 1 : cost 0 17.594 * * [simplify]: Extracting # 2 : cost 0 17.594 * * [simplify]: iteration 1 : 35 enodes (cost 139 ) 17.607 * * [simplify]: Extracting # 0 : cost 0 17.607 * * [simplify]: Extracting # 1 : cost 0 17.607 * * [simplify]: Extracting # 2 : cost 0 17.607 * * [simplify]: Extracting # 3 : cost 0 17.608 * * [simplify]: iteration 2 : 84 enodes (cost 123 ) 17.636 * * [simplify]: Extracting # 0 : cost 0 17.636 * * [simplify]: Extracting # 1 : cost 0 17.636 * * [simplify]: Extracting # 2 : cost 0 17.637 * * [simplify]: Extracting # 3 : cost 0 17.637 * * [simplify]: Extracting # 4 : cost 0 17.637 * * [simplify]: iteration 3 : 298 enodes (cost 120 ) 17.868 * * [simplify]: Extracting # 0 : cost 0 17.870 * * [simplify]: Extracting # 1 : cost 0 17.872 * * [simplify]: Extracting # 2 : cost 0 17.874 * * [simplify]: Extracting # 3 : cost 0 17.876 * * [simplify]: Extracting # 4 : cost 0 17.877 * * [simplify]: Extracting # 5 : cost 0 17.879 * * [simplify]: Extracting # 6 : cost 0 17.881 * * [simplify]: iteration 4 : 1463 enodes (cost 117 ) 18.693 * * [simplify]: Extracting # 0 : cost 0 18.703 * * [simplify]: Extracting # 1 : cost 0 18.715 * * [simplify]: Extracting # 2 : cost 0 18.727 * * [simplify]: Extracting # 3 : cost 0 18.739 * * [simplify]: Extracting # 4 : cost 0 18.756 * * [simplify]: iteration done: 5000 enodes (cost 117 ) 18.756 * [simplify]: Simplified to: (expm1 (fma (- 1.0 y) (- 1.0 x) x)) (log1p (fma (- 1.0 y) (- 1.0 x) x)) (* (- 1.0 y) (- 1.0 x)) (log (fma (- 1.0 y) (- 1.0 x) x)) (exp (fma (- 1.0 y) (- 1.0 x) x)) (* (cbrt (fma (- 1.0 y) (- 1.0 x) x)) (cbrt (fma (- 1.0 y) (- 1.0 x) x))) (cbrt (fma (- 1.0 y) (- 1.0 x) x)) (pow (fma (- 1.0 y) (- 1.0 x) x) 3) (sqrt (fma (- 1.0 y) (- 1.0 x) x)) (sqrt (fma (- 1.0 y) (- 1.0 x) x)) (fma y (- x 1.0) 1.0) (fma y (- x 1.0) 1.0) (fma y (- x 1.0) 1.0) 18.756 * * * [progress]: adding candidates to table 18.810 * * [progress]: iteration 2 / 4 18.810 * * * [progress]: picking best candidate 18.812 * * * * [pick]: Picked # 18.812 * * * [progress]: localizing error 18.821 * * * [progress]: generating rewritten candidates 18.821 * * * [progress]: generating series expansions 18.821 * * * [progress]: simplifying candidates 18.822 * [simplify]: Simplifying: 18.822 * * [simplify]: Extracting # 0 : cost 0 18.822 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 18.822 * * [simplify]: Extracting # 0 : cost 0 18.822 * * [simplify]: iteration done: 0 enodes (cost 0 ) 18.822 * [simplify]: Simplified to: 18.822 * * * [progress]: adding candidates to table 18.822 * [progress]: [Phase 3 of 3] Extracting. 18.825 * [simplify]: Simplifying: (fma y (- x 1.0) 1.0) 18.825 * * [simplify]: Extracting # 0 : cost 0 18.825 * * [simplify]: Extracting # 1 : cost 0 18.825 * * [simplify]: Extracting # 2 : cost 0 18.825 * * [simplify]: Extracting # 3 : cost 0 18.825 * * [simplify]: Extracting # 4 : cost 0 18.825 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 18.826 * * [simplify]: Extracting # 0 : cost 0 18.826 * * [simplify]: iteration done: 5 enodes (cost 6 ) 18.826 * [simplify]: Simplified to: (fma y (- x 1.0) 1.0) 20.008 * [regime-testing]: Baseline error score: 0.0037504688086010753 20.010 * [regime-testing]: Oracle error score: 0.0037504688086010753 20.010 * [regime-testing]: End program error score: 0.0037504688086010753 20.040 * [regime-testing]: Target error score: 0.006720200962890794