2.280 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.012 * * * [progress]: [2/2] Setting up program. 0.014 * [progress]: [Phase 2 of 3] Improving. 0.014 * [simplify]: Simplifying using # : (- (+ x y) (* x y)) 0.015 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 0.016 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.017 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 0.021 * * [simplify]: iteration 3 : 39 enodes (cost 7 ) 0.030 * * [simplify]: iteration 4 : 62 enodes (cost 7 ) 0.038 * * [simplify]: iteration 5 : 88 enodes (cost 6 ) 0.063 * * [simplify]: iteration 6 : 122 enodes (cost 6 ) 0.091 * * [simplify]: iteration 7 : 135 enodes (cost 6 ) 0.107 * * [simplify]: iteration 8 : 148 enodes (cost 6 ) 0.125 * * [simplify]: iteration 9 : 157 enodes (cost 6 ) 0.143 * * [simplify]: iteration 10 : 176 enodes (cost 6 ) 0.168 * * [simplify]: iteration 11 : 195 enodes (cost 6 ) 0.193 * * [simplify]: iteration 12 : 220 enodes (cost 6 ) 0.236 * * [simplify]: iteration 13 : 276 enodes (cost 6 ) 0.333 * * [simplify]: iteration 14 : 397 enodes (cost 6 ) 0.505 * * [simplify]: iteration 15 : 565 enodes (cost 6 ) 0.721 * * [simplify]: iteration 16 : 649 enodes (cost 6 ) 0.903 * * [simplify]: iteration 17 : 667 enodes (cost 6 ) 1.073 * * [simplify]: iteration 18 : 671 enodes (cost 6 ) 1.243 * * [simplify]: iteration done : 671 enodes (cost 6 ) 1.243 * [simplify]: Simplified to: (fma y (- 1 x) x) 1.245 * * [progress]: iteration 1 / 4 1.245 * * * [progress]: picking best candidate 1.248 * * * * [pick]: Picked # 1.248 * * * [progress]: localizing error 1.253 * * * [progress]: generating rewritten candidates 1.253 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.253 * * * [progress]: generating series expansions 1.253 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.254 * [approximate]: Taking taylor expansion of (fma y (- 1 x) x) in (y x) around 0 1.254 * [taylor]: Taking taylor expansion of (fma y (- 1 x) x) in x 1.254 * [taylor]: Rewrote expression to (+ (* y (- 1 x)) x) 1.254 * [taylor]: Taking taylor expansion of (* y (- 1 x)) in x 1.254 * [taylor]: Taking taylor expansion of y in x 1.254 * [taylor]: Taking taylor expansion of (- 1 x) in x 1.254 * [taylor]: Taking taylor expansion of 1 in x 1.254 * [taylor]: Taking taylor expansion of x in x 1.254 * [taylor]: Taking taylor expansion of x in x 1.254 * [taylor]: Taking taylor expansion of (fma y (- 1 x) x) in y 1.254 * [taylor]: Rewrote expression to (+ (* y (- 1 x)) x) 1.254 * [taylor]: Taking taylor expansion of (* y (- 1 x)) in y 1.254 * [taylor]: Taking taylor expansion of y in y 1.254 * [taylor]: Taking taylor expansion of (- 1 x) in y 1.254 * [taylor]: Taking taylor expansion of 1 in y 1.254 * [taylor]: Taking taylor expansion of x in y 1.254 * [taylor]: Taking taylor expansion of x in y 1.254 * [taylor]: Taking taylor expansion of (fma y (- 1 x) x) in y 1.254 * [taylor]: Rewrote expression to (+ (* y (- 1 x)) x) 1.254 * [taylor]: Taking taylor expansion of (* y (- 1 x)) in y 1.254 * [taylor]: Taking taylor expansion of y in y 1.254 * [taylor]: Taking taylor expansion of (- 1 x) in y 1.254 * [taylor]: Taking taylor expansion of 1 in y 1.254 * [taylor]: Taking taylor expansion of x in y 1.254 * [taylor]: Taking taylor expansion of x in y 1.254 * [taylor]: Taking taylor expansion of x in x 1.255 * [taylor]: Taking taylor expansion of (- 1 x) in x 1.255 * [taylor]: Taking taylor expansion of 1 in x 1.255 * [taylor]: Taking taylor expansion of x in x 1.257 * [taylor]: Taking taylor expansion of 0 in x 1.258 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (- 1 (/ 1 x)) (/ 1 x)) in (y x) around 0 1.258 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- 1 (/ 1 x)) (/ 1 x)) in x 1.258 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- 1 (/ 1 x))) (/ 1 x)) 1.258 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- 1 (/ 1 x))) in x 1.258 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.258 * [taylor]: Taking taylor expansion of y in x 1.258 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1.258 * [taylor]: Taking taylor expansion of 1 in x 1.258 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.258 * [taylor]: Taking taylor expansion of x in x 1.259 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.259 * [taylor]: Taking taylor expansion of x in x 1.259 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- 1 (/ 1 x)) (/ 1 x)) in y 1.259 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- 1 (/ 1 x))) (/ 1 x)) 1.259 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- 1 (/ 1 x))) in y 1.259 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.259 * [taylor]: Taking taylor expansion of y in y 1.259 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in y 1.260 * [taylor]: Taking taylor expansion of 1 in y 1.260 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.260 * [taylor]: Taking taylor expansion of x in y 1.260 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.260 * [taylor]: Taking taylor expansion of x in y 1.260 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- 1 (/ 1 x)) (/ 1 x)) in y 1.260 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- 1 (/ 1 x))) (/ 1 x)) 1.260 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- 1 (/ 1 x))) in y 1.260 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.260 * [taylor]: Taking taylor expansion of y in y 1.260 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in y 1.260 * [taylor]: Taking taylor expansion of 1 in y 1.260 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.260 * [taylor]: Taking taylor expansion of x in y 1.260 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.260 * [taylor]: Taking taylor expansion of x in y 1.260 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1.260 * [taylor]: Taking taylor expansion of 1 in x 1.260 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.260 * [taylor]: Taking taylor expansion of x in x 1.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.263 * [taylor]: Taking taylor expansion of x in x 1.264 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (+ (/ 1 x) 1) (/ -1 x)) in (y x) around 0 1.264 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (+ (/ 1 x) 1) (/ -1 x)) in x 1.264 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (+ (/ 1 x) 1)) (/ -1 x)) 1.264 * [taylor]: Taking taylor expansion of (* (/ -1 y) (+ (/ 1 x) 1)) in x 1.265 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.265 * [taylor]: Taking taylor expansion of -1 in x 1.265 * [taylor]: Taking taylor expansion of y in x 1.265 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1.265 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.265 * [taylor]: Taking taylor expansion of x in x 1.265 * [taylor]: Taking taylor expansion of 1 in x 1.265 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.265 * [taylor]: Taking taylor expansion of -1 in x 1.265 * [taylor]: Taking taylor expansion of x in x 1.265 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (+ (/ 1 x) 1) (/ -1 x)) in y 1.265 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (+ (/ 1 x) 1)) (/ -1 x)) 1.266 * [taylor]: Taking taylor expansion of (* (/ -1 y) (+ (/ 1 x) 1)) in y 1.266 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.266 * [taylor]: Taking taylor expansion of -1 in y 1.266 * [taylor]: Taking taylor expansion of y in y 1.266 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in y 1.266 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.266 * [taylor]: Taking taylor expansion of x in y 1.266 * [taylor]: Taking taylor expansion of 1 in y 1.266 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.266 * [taylor]: Taking taylor expansion of -1 in y 1.266 * [taylor]: Taking taylor expansion of x in y 1.266 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (+ (/ 1 x) 1) (/ -1 x)) in y 1.266 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (+ (/ 1 x) 1)) (/ -1 x)) 1.266 * [taylor]: Taking taylor expansion of (* (/ -1 y) (+ (/ 1 x) 1)) in y 1.266 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.266 * [taylor]: Taking taylor expansion of -1 in y 1.266 * [taylor]: Taking taylor expansion of y in y 1.266 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in y 1.267 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.267 * [taylor]: Taking taylor expansion of x in y 1.267 * [taylor]: Taking taylor expansion of 1 in y 1.267 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.267 * [taylor]: Taking taylor expansion of -1 in y 1.267 * [taylor]: Taking taylor expansion of x in y 1.267 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x 1.267 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1.267 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.267 * [taylor]: Taking taylor expansion of x in x 1.267 * [taylor]: Taking taylor expansion of 1 in x 1.269 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 1.269 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.269 * [taylor]: Taking taylor expansion of x in x 1.271 * * * [progress]: simplifying candidates 1.271 * [simplify]: Simplifying using # : (expm1 (fma y (- 1 x) x)) (log1p (fma y (- 1 x) x)) (* y (- 1 x)) (log (fma y (- 1 x) x)) (exp (fma y (- 1 x) x)) (* (cbrt (fma y (- 1 x) x)) (cbrt (fma y (- 1 x) x))) (cbrt (fma y (- 1 x) x)) (* (* (fma y (- 1 x) x) (fma y (- 1 x) x)) (fma y (- 1 x) x)) (sqrt (fma y (- 1 x) x)) (sqrt (fma y (- 1 x) x)) (- (+ x y) (* x y)) (- (+ x y) (* x y)) (- (+ x y) (* x y)) 1.272 * * [simplify]: iteration 0 : 18 enodes (cost 110 ) 1.275 * * [simplify]: iteration 1 : 31 enodes (cost 110 ) 1.279 * * [simplify]: iteration 2 : 67 enodes (cost 98 ) 1.298 * * [simplify]: iteration 3 : 160 enodes (cost 95 ) 1.341 * * [simplify]: iteration 4 : 616 enodes (cost 95 ) 1.868 * * [simplify]: iteration 5 : 3461 enodes (cost 95 ) 3.505 * * [simplify]: iteration done : 5000 enodes (cost 95 ) 3.506 * [simplify]: Simplified to: (expm1 (fma y (- 1 x) x)) (log1p (fma y (- 1 x) x)) (fma x (- y) y) (log (fma y (- 1 x) x)) (exp (fma y (- 1 x) x)) (* (cbrt (fma y (- 1 x) x)) (cbrt (fma y (- 1 x) x))) (cbrt (fma y (- 1 x) x)) (pow (fma y (- 1 x) x) 3) (sqrt (fma y (- 1 x) x)) (sqrt (fma y (- 1 x) x)) (fma y (- 1 x) x) (fma y (- 1 x) x) (fma y (- 1 x) x) 3.506 * * * [progress]: adding candidates to table 3.531 * * [progress]: iteration 2 / 4 3.531 * * * [progress]: picking best candidate 3.532 * * * * [pick]: Picked # 3.532 * * * [progress]: localizing error 3.537 * * * [progress]: generating rewritten candidates 3.537 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 3.541 * * * [progress]: generating series expansions 3.541 * * * * [progress]: [ 1 / 1 ] generating series at (2) 3.541 * [approximate]: Taking taylor expansion of (+ (fma x (- y) y) x) in (x y) around 0 3.541 * [taylor]: Taking taylor expansion of (+ (fma x (- y) y) x) in y 3.541 * [taylor]: Taking taylor expansion of (fma x (- y) y) in y 3.541 * [taylor]: Rewrote expression to (+ (* x (- y)) y) 3.541 * [taylor]: Taking taylor expansion of (* x (- y)) in y 3.541 * [taylor]: Taking taylor expansion of x in y 3.541 * [taylor]: Taking taylor expansion of (- y) in y 3.541 * [taylor]: Taking taylor expansion of y in y 3.541 * [taylor]: Taking taylor expansion of y in y 3.541 * [taylor]: Taking taylor expansion of x in y 3.541 * [taylor]: Taking taylor expansion of (+ (fma x (- y) y) x) in x 3.541 * [taylor]: Taking taylor expansion of (fma x (- y) y) in x 3.541 * [taylor]: Rewrote expression to (+ (* x (- y)) y) 3.541 * [taylor]: Taking taylor expansion of (* x (- y)) in x 3.541 * [taylor]: Taking taylor expansion of x in x 3.541 * [taylor]: Taking taylor expansion of (- y) in x 3.541 * [taylor]: Taking taylor expansion of y in x 3.541 * [taylor]: Taking taylor expansion of y in x 3.541 * [taylor]: Taking taylor expansion of x in x 3.541 * [taylor]: Taking taylor expansion of (+ (fma x (- y) y) x) in x 3.541 * [taylor]: Taking taylor expansion of (fma x (- y) y) in x 3.541 * [taylor]: Rewrote expression to (+ (* x (- y)) y) 3.541 * [taylor]: Taking taylor expansion of (* x (- y)) in x 3.542 * [taylor]: Taking taylor expansion of x in x 3.542 * [taylor]: Taking taylor expansion of (- y) in x 3.542 * [taylor]: Taking taylor expansion of y in x 3.542 * [taylor]: Taking taylor expansion of y in x 3.542 * [taylor]: Taking taylor expansion of x in x 3.542 * [taylor]: Taking taylor expansion of y in y 3.543 * [taylor]: Taking taylor expansion of (- 1 y) in y 3.543 * [taylor]: Taking taylor expansion of 1 in y 3.543 * [taylor]: Taking taylor expansion of y in y 3.545 * [taylor]: Taking taylor expansion of 0 in y 3.545 * [approximate]: Taking taylor expansion of (+ (fma (/ 1 x) (- (/ 1 y)) (/ 1 y)) (/ 1 x)) in (x y) around 0 3.545 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 x) (- (/ 1 y)) (/ 1 y)) (/ 1 x)) in y 3.546 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (/ 1 y)) (/ 1 y)) in y 3.546 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (/ 1 y))) (/ 1 y)) 3.546 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (/ 1 y))) in y 3.546 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.546 * [taylor]: Taking taylor expansion of x in y 3.546 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 3.546 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.546 * [taylor]: Taking taylor expansion of y in y 3.546 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.546 * [taylor]: Taking taylor expansion of y in y 3.546 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.546 * [taylor]: Taking taylor expansion of x in y 3.547 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 x) (- (/ 1 y)) (/ 1 y)) (/ 1 x)) in x 3.547 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (/ 1 y)) (/ 1 y)) in x 3.547 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (/ 1 y))) (/ 1 y)) 3.547 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (/ 1 y))) in x 3.547 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.547 * [taylor]: Taking taylor expansion of x in x 3.547 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 3.547 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.547 * [taylor]: Taking taylor expansion of y in x 3.547 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.547 * [taylor]: Taking taylor expansion of y in x 3.547 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.547 * [taylor]: Taking taylor expansion of x in x 3.547 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 x) (- (/ 1 y)) (/ 1 y)) (/ 1 x)) in x 3.548 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (- (/ 1 y)) (/ 1 y)) in x 3.548 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (- (/ 1 y))) (/ 1 y)) 3.548 * [taylor]: Taking taylor expansion of (* (/ 1 x) (- (/ 1 y))) in x 3.548 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.548 * [taylor]: Taking taylor expansion of x in x 3.548 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in x 3.548 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.548 * [taylor]: Taking taylor expansion of y in x 3.548 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.548 * [taylor]: Taking taylor expansion of y in x 3.548 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.548 * [taylor]: Taking taylor expansion of x in x 3.549 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 3.549 * [taylor]: Taking taylor expansion of 1 in y 3.549 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.549 * [taylor]: Taking taylor expansion of y in y 3.551 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.551 * [taylor]: Taking taylor expansion of y in y 3.553 * [approximate]: Taking taylor expansion of (- (fma (/ -1 x) (/ 1 y) (/ -1 y)) (/ 1 x)) in (x y) around 0 3.553 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ 1 y) (/ -1 y)) (/ 1 x)) in y 3.553 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ 1 y) (/ -1 y)) in y 3.553 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ 1 y)) (/ -1 y)) 3.553 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ 1 y)) in y 3.553 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.553 * [taylor]: Taking taylor expansion of -1 in y 3.553 * [taylor]: Taking taylor expansion of x in y 3.553 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.553 * [taylor]: Taking taylor expansion of y in y 3.553 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.554 * [taylor]: Taking taylor expansion of -1 in y 3.554 * [taylor]: Taking taylor expansion of y in y 3.554 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.554 * [taylor]: Taking taylor expansion of x in y 3.554 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ 1 y) (/ -1 y)) (/ 1 x)) in x 3.554 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ 1 y) (/ -1 y)) in x 3.554 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ 1 y)) (/ -1 y)) 3.554 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ 1 y)) in x 3.554 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.554 * [taylor]: Taking taylor expansion of -1 in x 3.554 * [taylor]: Taking taylor expansion of x in x 3.555 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.555 * [taylor]: Taking taylor expansion of y in x 3.555 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.555 * [taylor]: Taking taylor expansion of -1 in x 3.555 * [taylor]: Taking taylor expansion of y in x 3.555 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.555 * [taylor]: Taking taylor expansion of x in x 3.555 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ 1 y) (/ -1 y)) (/ 1 x)) in x 3.555 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ 1 y) (/ -1 y)) in x 3.555 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ 1 y)) (/ -1 y)) 3.555 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ 1 y)) in x 3.555 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.555 * [taylor]: Taking taylor expansion of -1 in x 3.555 * [taylor]: Taking taylor expansion of x in x 3.556 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.556 * [taylor]: Taking taylor expansion of y in x 3.556 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.556 * [taylor]: Taking taylor expansion of -1 in x 3.556 * [taylor]: Taking taylor expansion of y in x 3.556 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.556 * [taylor]: Taking taylor expansion of x in x 3.556 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1)) in y 3.556 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 3.556 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.557 * [taylor]: Taking taylor expansion of y in y 3.557 * [taylor]: Taking taylor expansion of 1 in y 3.559 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 3.559 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.559 * [taylor]: Taking taylor expansion of y in y 3.561 * * * [progress]: simplifying candidates 3.561 * [simplify]: Simplifying using # : (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) (- (+ x y) (* x y)) (- (+ x y) (* x y)) (- (+ x y) (* x y)) 3.563 * * [simplify]: iteration 0 : 32 enodes (cost 192 ) 3.568 * * [simplify]: iteration 1 : 82 enodes (cost 188 ) 3.590 * * [simplify]: iteration 2 : 200 enodes (cost 174 ) 3.646 * * [simplify]: iteration 3 : 744 enodes (cost 170 ) 4.444 * * [simplify]: iteration 4 : 3945 enodes (cost 167 ) 5.825 * * [simplify]: iteration done : 5001 enodes (cost 151 ) 5.825 * [simplify]: Simplified to: (expm1 (fma (- 1 y) x y)) (log1p (fma (- 1 y) x y)) (exp (fma (- 1 y) x y)) (log (fma (- 1 y) x y)) (exp (fma (- 1 y) x y)) (* (cbrt (fma (- 1 y) x y)) (cbrt (fma (- 1 y) x y))) (cbrt (fma (- 1 y) x y)) (pow (fma (- 1 y) x y) 3) (sqrt (fma (- 1 y) x y)) (sqrt (fma (- 1 y) x y)) (+ (pow (fma x (- y) y) 3) (pow x 3)) (fma (fma x (- y) y) (- y (fma y x x)) (* x x)) (* (fma (- 1 y) x y) (- y (fma y x x))) (- y (fma y x x)) (fma (- 1 y) x y) (+ x y) (fma (- 1 y) x y) (fma (- 1 y) x y) (fma (- 1 y) x y) 5.825 * * * [progress]: adding candidates to table 5.874 * [progress]: [Phase 3 of 3] Extracting. 5.874 * * [regime]: Finding splitpoints for: (# #) 5.874 * * * [regime-changes]: Trying 2 branch expressions: (y x) 5.874 * * * * [regimes]: Trying to branch on y from (# #) 5.886 * * * * [regimes]: Trying to branch on x from (# #) 5.898 * * * [regime]: Found split indices: #