82.124 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.045 * * * [progress]: [2/2] Setting up program. 0.050 * [progress]: [Phase 2 of 3] Improving. 0.050 * [simplify]: Simplifying: (+ x (* (- 1.0 x) (- 1.0 y))) 0.050 * * [simplify]: Extracting # 0 : cost 0 0.050 * * [simplify]: Extracting # 1 : cost 0 0.050 * * [simplify]: Extracting # 2 : cost 0 0.050 * * [simplify]: Extracting # 3 : cost 0 0.051 * * [simplify]: Extracting # 4 : cost 0 0.051 * * [simplify]: Extracting # 5 : cost 0 0.051 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 0.053 * * [simplify]: Extracting # 0 : cost 0 0.053 * * [simplify]: Extracting # 1 : cost 0 0.053 * * [simplify]: Extracting # 2 : cost 0 0.053 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 0.057 * * [simplify]: Extracting # 0 : cost 0 0.057 * * [simplify]: Extracting # 1 : cost 0 0.057 * * [simplify]: Extracting # 2 : cost 0 0.057 * * [simplify]: iteration 2 : 29 enodes (cost 8 ) 0.070 * * [simplify]: Extracting # 0 : cost 0 0.070 * * [simplify]: Extracting # 1 : cost 0 0.071 * * [simplify]: Extracting # 2 : cost 0 0.071 * * [simplify]: iteration 3 : 84 enodes (cost 8 ) 0.123 * * [simplify]: Extracting # 0 : cost 0 0.124 * * [simplify]: Extracting # 1 : cost 0 0.124 * * [simplify]: Extracting # 2 : cost 0 0.124 * * [simplify]: iteration 4 : 292 enodes (cost 8 ) 0.374 * * [simplify]: Extracting # 0 : cost 0 0.380 * * [simplify]: Extracting # 1 : cost 0 0.382 * * [simplify]: Extracting # 2 : cost 0 0.383 * * [simplify]: Extracting # 3 : cost 0 0.384 * * [simplify]: Extracting # 4 : cost 0 0.386 * * [simplify]: iteration 5 : 947 enodes (cost 8 ) 2.636 * * [simplify]: Extracting # 0 : cost 0 2.652 * * [simplify]: Extracting # 1 : cost 0 2.660 * * [simplify]: Extracting # 2 : cost 0 2.668 * * [simplify]: Extracting # 3 : cost 0 2.676 * * [simplify]: iteration 6 : 4735 enodes (cost 8 ) 5.352 * * [simplify]: Extracting # 0 : cost 0 5.376 * * [simplify]: Extracting # 1 : cost 0 5.384 * * [simplify]: iteration done: 5000 enodes (cost 8 ) 5.384 * [simplify]: Simplified to: (fma (- 1.0 y) (- 1.0 x) x) 5.391 * * [progress]: iteration 1 / 4 5.391 * * * [progress]: picking best candidate 5.401 * * * * [pick]: Picked # 5.401 * * * [progress]: localizing error 5.418 * * * [progress]: generating rewritten candidates 5.418 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 5.419 * * * [progress]: generating series expansions 5.419 * * * * [progress]: [ 1 / 1 ] generating series at (2) 5.419 * [backup-simplify]: Simplify (fma (- 1.0 y) (- 1.0 x) x) into (fma (- 1.0 y) (- 1.0 x) x) 5.419 * [approximate]: Taking taylor expansion of (fma (- 1.0 y) (- 1.0 x) x) in (y x) around 0 5.419 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) (- 1.0 x) x) in x 5.420 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) (- 1.0 x)) x) 5.420 * [taylor]: Taking taylor expansion of (* (- 1.0 y) (- 1.0 x)) in x 5.420 * [taylor]: Taking taylor expansion of (- 1.0 y) in x 5.420 * [taylor]: Taking taylor expansion of 1.0 in x 5.420 * [backup-simplify]: Simplify 1.0 into 1.0 5.420 * [taylor]: Taking taylor expansion of y in x 5.420 * [backup-simplify]: Simplify y into y 5.420 * [taylor]: Taking taylor expansion of (- 1.0 x) in x 5.420 * [taylor]: Taking taylor expansion of 1.0 in x 5.420 * [backup-simplify]: Simplify 1.0 into 1.0 5.420 * [taylor]: Taking taylor expansion of x in x 5.420 * [backup-simplify]: Simplify 0 into 0 5.420 * [backup-simplify]: Simplify 1 into 1 5.420 * [taylor]: Taking taylor expansion of x in x 5.420 * [backup-simplify]: Simplify 0 into 0 5.420 * [backup-simplify]: Simplify 1 into 1 5.420 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) (- 1.0 x) x) in y 5.420 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) (- 1.0 x)) x) 5.420 * [taylor]: Taking taylor expansion of (* (- 1.0 y) (- 1.0 x)) in y 5.420 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 5.420 * [taylor]: Taking taylor expansion of 1.0 in y 5.420 * [backup-simplify]: Simplify 1.0 into 1.0 5.420 * [taylor]: Taking taylor expansion of y in y 5.420 * [backup-simplify]: Simplify 0 into 0 5.420 * [backup-simplify]: Simplify 1 into 1 5.420 * [taylor]: Taking taylor expansion of (- 1.0 x) in y 5.420 * [taylor]: Taking taylor expansion of 1.0 in y 5.420 * [backup-simplify]: Simplify 1.0 into 1.0 5.420 * [taylor]: Taking taylor expansion of x in y 5.421 * [backup-simplify]: Simplify x into x 5.421 * [taylor]: Taking taylor expansion of x in y 5.421 * [backup-simplify]: Simplify x into x 5.421 * [taylor]: Taking taylor expansion of (fma (- 1.0 y) (- 1.0 x) x) in y 5.421 * [taylor]: Rewrote expression to (+ (* (- 1.0 y) (- 1.0 x)) x) 5.421 * [taylor]: Taking taylor expansion of (* (- 1.0 y) (- 1.0 x)) in y 5.421 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 5.421 * [taylor]: Taking taylor expansion of 1.0 in y 5.421 * [backup-simplify]: Simplify 1.0 into 1.0 5.421 * [taylor]: Taking taylor expansion of y in y 5.421 * [backup-simplify]: Simplify 0 into 0 5.421 * [backup-simplify]: Simplify 1 into 1 5.421 * [taylor]: Taking taylor expansion of (- 1.0 x) in y 5.421 * [taylor]: Taking taylor expansion of 1.0 in y 5.421 * [backup-simplify]: Simplify 1.0 into 1.0 5.421 * [taylor]: Taking taylor expansion of x in y 5.421 * [backup-simplify]: Simplify x into x 5.421 * [taylor]: Taking taylor expansion of x in y 5.421 * [backup-simplify]: Simplify x into x 5.422 * [backup-simplify]: Simplify (- 0) into 0 5.422 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 5.423 * [backup-simplify]: Simplify (- x) into (- x) 5.423 * [backup-simplify]: Simplify (+ 1.0 (- x)) into (- 1.0 x) 5.423 * [backup-simplify]: Simplify (* 1.0 (- 1.0 x)) into (* 1.0 (- 1.0 x)) 5.423 * [backup-simplify]: Simplify (+ (* 1.0 (- 1.0 x)) x) into 1.0 5.423 * [taylor]: Taking taylor expansion of 1.0 in x 5.423 * [backup-simplify]: Simplify 1.0 into 1.0 5.423 * [backup-simplify]: Simplify 1.0 into 1.0 5.423 * [backup-simplify]: Simplify (- 0) into 0 5.424 * [backup-simplify]: Simplify (+ 0 0) into 0 5.424 * [backup-simplify]: Simplify (- 1) into -1 5.425 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.425 * [backup-simplify]: Simplify (+ (* 1.0 0) (* -1 (- 1.0 x))) into (- x 1.0) 5.425 * [backup-simplify]: Simplify (+ (- x 1.0) 0) into (- x 1.0) 5.425 * [taylor]: Taking taylor expansion of (- x 1.0) in x 5.425 * [taylor]: Taking taylor expansion of x in x 5.425 * [backup-simplify]: Simplify 0 into 0 5.425 * [backup-simplify]: Simplify 1 into 1 5.425 * [taylor]: Taking taylor expansion of 1.0 in x 5.425 * [backup-simplify]: Simplify 1.0 into 1.0 5.426 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.427 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 5.427 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.427 * [backup-simplify]: Simplify 0 into 0 5.428 * [backup-simplify]: Simplify (- 0) into 0 5.428 * [backup-simplify]: Simplify (+ 0 0) into 0 5.428 * [backup-simplify]: Simplify (- 0) into 0 5.429 * [backup-simplify]: Simplify (+ 0 0) into 0 5.430 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* -1 0) (* 0 (- 1.0 x)))) into 0 5.430 * [backup-simplify]: Simplify (+ 0 0) into 0 5.430 * [taylor]: Taking taylor expansion of 0 in x 5.430 * [backup-simplify]: Simplify 0 into 0 5.430 * [backup-simplify]: Simplify 0 into 0 5.430 * [backup-simplify]: Simplify (- 0) into 0 5.431 * [backup-simplify]: Simplify (+ 1 0) into 1 5.431 * [backup-simplify]: Simplify 1 into 1 5.431 * [backup-simplify]: Simplify (+ (* 1 (* x y)) (+ (* (- 1.0) (* 1 y)) 1.0)) into (- (+ (* x y) 1.0) (* 1.0 y)) 5.432 * [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)) 5.432 * [approximate]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x)) (/ 1 x)) in (y x) around 0 5.432 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x)) (/ 1 x)) in x 5.432 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) (/ 1 x)) 5.432 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) in x 5.432 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 5.432 * [taylor]: Taking taylor expansion of 1.0 in x 5.432 * [backup-simplify]: Simplify 1.0 into 1.0 5.432 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.432 * [taylor]: Taking taylor expansion of y in x 5.432 * [backup-simplify]: Simplify y into y 5.432 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.432 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 5.432 * [taylor]: Taking taylor expansion of 1.0 in x 5.432 * [backup-simplify]: Simplify 1.0 into 1.0 5.432 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.432 * [taylor]: Taking taylor expansion of x in x 5.432 * [backup-simplify]: Simplify 0 into 0 5.432 * [backup-simplify]: Simplify 1 into 1 5.433 * [backup-simplify]: Simplify (/ 1 1) into 1 5.433 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.433 * [taylor]: Taking taylor expansion of x in x 5.433 * [backup-simplify]: Simplify 0 into 0 5.433 * [backup-simplify]: Simplify 1 into 1 5.433 * [backup-simplify]: Simplify (/ 1 1) into 1 5.433 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x)) (/ 1 x)) in y 5.434 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) (/ 1 x)) 5.434 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) in y 5.434 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 5.434 * [taylor]: Taking taylor expansion of 1.0 in y 5.434 * [backup-simplify]: Simplify 1.0 into 1.0 5.434 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.434 * [taylor]: Taking taylor expansion of y in y 5.434 * [backup-simplify]: Simplify 0 into 0 5.434 * [backup-simplify]: Simplify 1 into 1 5.434 * [backup-simplify]: Simplify (/ 1 1) into 1 5.434 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y 5.434 * [taylor]: Taking taylor expansion of 1.0 in y 5.434 * [backup-simplify]: Simplify 1.0 into 1.0 5.434 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.434 * [taylor]: Taking taylor expansion of x in y 5.434 * [backup-simplify]: Simplify x into x 5.434 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.434 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.434 * [taylor]: Taking taylor expansion of x in y 5.434 * [backup-simplify]: Simplify x into x 5.435 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.435 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x)) (/ 1 x)) in y 5.435 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) (/ 1 x)) 5.435 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 y)) (- 1.0 (/ 1 x))) in y 5.435 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 5.435 * [taylor]: Taking taylor expansion of 1.0 in y 5.435 * [backup-simplify]: Simplify 1.0 into 1.0 5.435 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.435 * [taylor]: Taking taylor expansion of y in y 5.435 * [backup-simplify]: Simplify 0 into 0 5.435 * [backup-simplify]: Simplify 1 into 1 5.435 * [backup-simplify]: Simplify (/ 1 1) into 1 5.435 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y 5.435 * [taylor]: Taking taylor expansion of 1.0 in y 5.435 * [backup-simplify]: Simplify 1.0 into 1.0 5.435 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.436 * [taylor]: Taking taylor expansion of x in y 5.436 * [backup-simplify]: Simplify x into x 5.436 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.436 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.436 * [taylor]: Taking taylor expansion of x in y 5.436 * [backup-simplify]: Simplify x into x 5.436 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.436 * [backup-simplify]: Simplify (- 1) into -1 5.437 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.437 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 5.437 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x)) 5.437 * [backup-simplify]: Simplify (* -1 (- 1.0 (/ 1 x))) into (* -1 (- 1.0 (/ 1 x))) 5.437 * [backup-simplify]: Simplify (+ (* -1 (- 1.0 (/ 1 x))) 0) into (- (/ 1 x) 1.0) 5.437 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1.0) in x 5.437 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.437 * [taylor]: Taking taylor expansion of x in x 5.437 * [backup-simplify]: Simplify 0 into 0 5.437 * [backup-simplify]: Simplify 1 into 1 5.438 * [backup-simplify]: Simplify (/ 1 1) into 1 5.438 * [taylor]: Taking taylor expansion of 1.0 in x 5.438 * [backup-simplify]: Simplify 1.0 into 1.0 5.438 * [backup-simplify]: Simplify (+ 1 0) into 1 5.438 * [backup-simplify]: Simplify 1 into 1 5.438 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 5.439 * [backup-simplify]: Simplify (- 0) into 0 5.439 * [backup-simplify]: Simplify (+ 0 0) into 0 5.440 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.440 * [backup-simplify]: Simplify (- 0) into 0 5.441 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 5.441 * [backup-simplify]: Simplify (+ (* -1 0) (* 1.0 (- 1.0 (/ 1 x)))) into (- 1.0 (* 1.0 (/ 1 x))) 5.441 * [backup-simplify]: Simplify (+ (- 1.0 (* 1.0 (/ 1 x))) (/ 1 x)) into 1.0 5.441 * [taylor]: Taking taylor expansion of 1.0 in x 5.441 * [backup-simplify]: Simplify 1.0 into 1.0 5.442 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.442 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.443 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 5.444 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 5.444 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.444 * [backup-simplify]: Simplify (- 0) into 0 5.445 * [backup-simplify]: Simplify (+ 0 0) into 0 5.446 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.446 * [backup-simplify]: Simplify (- 0) into 0 5.446 * [backup-simplify]: Simplify (+ 0 0) into 0 5.447 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 1.0 0) (* 0 (- 1.0 (/ 1 x))))) into 0 5.447 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 5.448 * [backup-simplify]: Simplify (+ 0 0) into 0 5.448 * [taylor]: Taking taylor expansion of 0 in x 5.448 * [backup-simplify]: Simplify 0 into 0 5.448 * [backup-simplify]: Simplify 1.0 into 1.0 5.449 * [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)) 5.449 * [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)) 5.449 * [approximate]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0) (/ -1 x)) in (y x) around 0 5.449 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0) (/ -1 x)) in x 5.449 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0)) (/ -1 x)) 5.449 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0)) in x 5.449 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 5.449 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.449 * [taylor]: Taking taylor expansion of y in x 5.449 * [backup-simplify]: Simplify y into y 5.449 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.449 * [taylor]: Taking taylor expansion of 1.0 in x 5.449 * [backup-simplify]: Simplify 1.0 into 1.0 5.449 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 5.450 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.450 * [taylor]: Taking taylor expansion of x in x 5.450 * [backup-simplify]: Simplify 0 into 0 5.450 * [backup-simplify]: Simplify 1 into 1 5.450 * [backup-simplify]: Simplify (/ 1 1) into 1 5.450 * [taylor]: Taking taylor expansion of 1.0 in x 5.450 * [backup-simplify]: Simplify 1.0 into 1.0 5.450 * [taylor]: Taking taylor expansion of (/ -1 x) in x 5.450 * [taylor]: Taking taylor expansion of -1 in x 5.450 * [backup-simplify]: Simplify -1 into -1 5.450 * [taylor]: Taking taylor expansion of x in x 5.450 * [backup-simplify]: Simplify 0 into 0 5.450 * [backup-simplify]: Simplify 1 into 1 5.451 * [backup-simplify]: Simplify (/ -1 1) into -1 5.451 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0) (/ -1 x)) in y 5.451 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0)) (/ -1 x)) 5.451 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0)) in y 5.451 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 5.451 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.451 * [taylor]: Taking taylor expansion of y in y 5.451 * [backup-simplify]: Simplify 0 into 0 5.451 * [backup-simplify]: Simplify 1 into 1 5.451 * [backup-simplify]: Simplify (/ 1 1) into 1 5.451 * [taylor]: Taking taylor expansion of 1.0 in y 5.452 * [backup-simplify]: Simplify 1.0 into 1.0 5.452 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 5.452 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.452 * [taylor]: Taking taylor expansion of x in y 5.452 * [backup-simplify]: Simplify x into x 5.452 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.452 * [taylor]: Taking taylor expansion of 1.0 in y 5.452 * [backup-simplify]: Simplify 1.0 into 1.0 5.452 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.452 * [taylor]: Taking taylor expansion of -1 in y 5.452 * [backup-simplify]: Simplify -1 into -1 5.452 * [taylor]: Taking taylor expansion of x in y 5.452 * [backup-simplify]: Simplify x into x 5.452 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 5.452 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0) (/ -1 x)) in y 5.452 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0)) (/ -1 x)) 5.452 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) 1.0) (+ (/ 1 x) 1.0)) in y 5.452 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 5.452 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.452 * [taylor]: Taking taylor expansion of y in y 5.452 * [backup-simplify]: Simplify 0 into 0 5.452 * [backup-simplify]: Simplify 1 into 1 5.453 * [backup-simplify]: Simplify (/ 1 1) into 1 5.453 * [taylor]: Taking taylor expansion of 1.0 in y 5.453 * [backup-simplify]: Simplify 1.0 into 1.0 5.453 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 5.453 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.453 * [taylor]: Taking taylor expansion of x in y 5.453 * [backup-simplify]: Simplify x into x 5.453 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.453 * [taylor]: Taking taylor expansion of 1.0 in y 5.453 * [backup-simplify]: Simplify 1.0 into 1.0 5.453 * [taylor]: Taking taylor expansion of (/ -1 x) in y 5.453 * [taylor]: Taking taylor expansion of -1 in y 5.453 * [backup-simplify]: Simplify -1 into -1 5.453 * [taylor]: Taking taylor expansion of x in y 5.453 * [backup-simplify]: Simplify x into x 5.453 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 5.454 * [backup-simplify]: Simplify (+ 1 0) into 1 5.454 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ 1.0 (/ 1 x)) 5.454 * [backup-simplify]: Simplify (* 1 (+ 1.0 (/ 1 x))) into (+ (/ 1 x) 1.0) 5.454 * [backup-simplify]: Simplify (+ (+ (/ 1 x) 1.0) 0) into (+ (/ 1 x) 1.0) 5.454 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 5.454 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.454 * [taylor]: Taking taylor expansion of x in x 5.454 * [backup-simplify]: Simplify 0 into 0 5.454 * [backup-simplify]: Simplify 1 into 1 5.455 * [backup-simplify]: Simplify (/ 1 1) into 1 5.455 * [taylor]: Taking taylor expansion of 1.0 in x 5.455 * [backup-simplify]: Simplify 1.0 into 1.0 5.455 * [backup-simplify]: Simplify (+ 1 0) into 1 5.455 * [backup-simplify]: Simplify 1 into 1 5.455 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 5.456 * [backup-simplify]: Simplify (+ 0 0) into 0 5.457 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.457 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.458 * [backup-simplify]: Simplify (+ (* 1 0) (* 1.0 (+ 1.0 (/ 1 x)))) into (+ (* 1.0 (/ 1 x)) 1.0) 5.458 * [backup-simplify]: Simplify (+ (+ (* 1.0 (/ 1 x)) 1.0) (/ -1 x)) into 1.0 5.458 * [taylor]: Taking taylor expansion of 1.0 in x 5.458 * [backup-simplify]: Simplify 1.0 into 1.0 5.459 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.459 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 5.459 * [backup-simplify]: Simplify 1.0 into 1.0 5.459 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 5.460 * [backup-simplify]: Simplify (+ 0 0) into 0 5.461 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.461 * [backup-simplify]: Simplify (+ 0 0) into 0 5.462 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 1.0 0) (* 0 (+ 1.0 (/ 1 x))))) into 0 5.462 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 5.462 * [backup-simplify]: Simplify (+ 0 0) into 0 5.463 * [taylor]: Taking taylor expansion of 0 in x 5.463 * [backup-simplify]: Simplify 0 into 0 5.463 * [backup-simplify]: Simplify 1.0 into 1.0 5.463 * [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)) 5.463 * * * [progress]: simplifying candidates 5.464 * [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)) 5.464 * * [simplify]: Extracting # 0 : cost 0 5.465 * * [simplify]: Extracting # 1 : cost 0 5.465 * * [simplify]: Extracting # 2 : cost 0 5.465 * * [simplify]: Extracting # 3 : cost 0 5.465 * * [simplify]: Extracting # 4 : cost 0 5.465 * * [simplify]: Extracting # 5 : cost 0 5.465 * * [simplify]: iteration 0 : 20 enodes (cost 142 ) 5.472 * * [simplify]: Extracting # 0 : cost 0 5.472 * * [simplify]: Extracting # 1 : cost 0 5.472 * * [simplify]: Extracting # 2 : cost 0 5.472 * * [simplify]: iteration 1 : 35 enodes (cost 139 ) 5.485 * * [simplify]: Extracting # 0 : cost 0 5.485 * * [simplify]: Extracting # 1 : cost 0 5.485 * * [simplify]: Extracting # 2 : cost 0 5.485 * * [simplify]: Extracting # 3 : cost 0 5.485 * * [simplify]: iteration 2 : 84 enodes (cost 123 ) 5.539 * * [simplify]: Extracting # 0 : cost 0 5.540 * * [simplify]: Extracting # 1 : cost 0 5.541 * * [simplify]: Extracting # 2 : cost 0 5.541 * * [simplify]: Extracting # 3 : cost 0 5.542 * * [simplify]: Extracting # 4 : cost 0 5.542 * * [simplify]: iteration 3 : 298 enodes (cost 120 ) 5.872 * * [simplify]: Extracting # 0 : cost 0 5.875 * * [simplify]: Extracting # 1 : cost 0 5.880 * * [simplify]: Extracting # 2 : cost 0 5.884 * * [simplify]: Extracting # 3 : cost 0 5.889 * * [simplify]: Extracting # 4 : cost 0 5.893 * * [simplify]: Extracting # 5 : cost 0 5.897 * * [simplify]: iteration 4 : 1852 enodes (cost 117 ) 7.484 * * [simplify]: Extracting # 0 : cost 0 7.510 * * [simplify]: Extracting # 1 : cost 0 7.524 * * [simplify]: Extracting # 2 : cost 0 7.535 * * [simplify]: Extracting # 3 : cost 0 7.546 * * [simplify]: Extracting # 4 : cost 0 7.556 * * [simplify]: iteration done: 5000 enodes (cost 117 ) 7.556 * [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) 7.557 * * * [progress]: adding candidates to table 7.644 * * [progress]: iteration 2 / 4 7.644 * * * [progress]: picking best candidate 7.650 * * * * [pick]: Picked # 7.650 * * * [progress]: localizing error 7.662 * * * [progress]: generating rewritten candidates 7.662 * * * [progress]: generating series expansions 7.662 * * * [progress]: simplifying candidates 7.663 * [simplify]: Simplifying: 7.663 * * [simplify]: Extracting # 0 : cost 0 7.663 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 7.663 * * [simplify]: Extracting # 0 : cost 0 7.663 * * [simplify]: iteration done: 0 enodes (cost 0 ) 7.663 * [simplify]: Simplified to: 7.663 * * * [progress]: adding candidates to table 7.663 * [progress]: [Phase 3 of 3] Extracting. 7.669 * [simplify]: Simplifying: (fma y (- x 1.0) 1.0) 7.669 * * [simplify]: Extracting # 0 : cost 0 7.669 * * [simplify]: Extracting # 1 : cost 0 7.669 * * [simplify]: Extracting # 2 : cost 0 7.669 * * [simplify]: Extracting # 3 : cost 0 7.669 * * [simplify]: Extracting # 4 : cost 0 7.669 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 7.670 * * [simplify]: Extracting # 0 : cost 0 7.670 * * [simplify]: iteration done: 5 enodes (cost 6 ) 7.670 * [simplify]: Simplified to: (fma y (- x 1.0) 1.0) 9.924 * [regime-testing]: Baseline error score: 0.004625578197274659 9.928 * [regime-testing]: Oracle error score: 0.004625578197274659 9.928 * [regime-testing]: End program error score: 0.004625578197274659 10.042 * [regime-testing]: Target error score: 0.004625578197274659