1.883 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.017 * * * [progress]: [2/2] Setting up program. 0.019 * [progress]: [Phase 2 of 3] Improving. 0.019 * [simplify]: Simplifying using # : (- (* x x) (* y y)) 0.020 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 0.021 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.022 * * [simplify]: iteration 2 : 18 enodes (cost 7 ) 0.024 * * [simplify]: iteration 3 : 35 enodes (cost 7 ) 0.029 * * [simplify]: iteration 4 : 69 enodes (cost 7 ) 0.038 * * [simplify]: iteration 5 : 126 enodes (cost 7 ) 0.060 * * [simplify]: iteration 6 : 236 enodes (cost 7 ) 0.100 * * [simplify]: iteration 7 : 458 enodes (cost 7 ) 0.225 * * [simplify]: iteration 8 : 1989 enodes (cost 7 ) 1.019 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 1.019 * [simplify]: Simplified to: (* (- x y) (+ x y)) 1.021 * * [progress]: iteration 1 / 4 1.021 * * * [progress]: picking best candidate 1.023 * * * * [pick]: Picked # 1.023 * * * [progress]: localizing error 1.027 * * * [progress]: generating rewritten candidates 1.027 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.044 * * * [progress]: generating series expansions 1.044 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.045 * [approximate]: Taking taylor expansion of (* (+ x y) (- x y)) in (x y) around 0 1.045 * [taylor]: Taking taylor expansion of (* (+ x y) (- x y)) in y 1.045 * [taylor]: Taking taylor expansion of (+ x y) in y 1.045 * [taylor]: Taking taylor expansion of x in y 1.045 * [taylor]: Taking taylor expansion of y in y 1.045 * [taylor]: Taking taylor expansion of (- x y) in y 1.045 * [taylor]: Taking taylor expansion of x in y 1.045 * [taylor]: Taking taylor expansion of y in y 1.045 * [taylor]: Taking taylor expansion of (* (+ x y) (- x y)) in x 1.045 * [taylor]: Taking taylor expansion of (+ x y) in x 1.045 * [taylor]: Taking taylor expansion of x in x 1.045 * [taylor]: Taking taylor expansion of y in x 1.045 * [taylor]: Taking taylor expansion of (- x y) in x 1.045 * [taylor]: Taking taylor expansion of x in x 1.045 * [taylor]: Taking taylor expansion of y in x 1.045 * [taylor]: Taking taylor expansion of (* (+ x y) (- x y)) in x 1.045 * [taylor]: Taking taylor expansion of (+ x y) in x 1.045 * [taylor]: Taking taylor expansion of x in x 1.045 * [taylor]: Taking taylor expansion of y in x 1.045 * [taylor]: Taking taylor expansion of (- x y) in x 1.045 * [taylor]: Taking taylor expansion of x in x 1.045 * [taylor]: Taking taylor expansion of y in x 1.045 * [taylor]: Taking taylor expansion of (* -1 (pow y 2)) in y 1.045 * [taylor]: Taking taylor expansion of -1 in y 1.045 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.045 * [taylor]: Taking taylor expansion of y in y 1.046 * [taylor]: Taking taylor expansion of 0 in y 1.048 * [taylor]: Taking taylor expansion of 1 in y 1.049 * [taylor]: Taking taylor expansion of 0 in y 1.052 * [taylor]: Taking taylor expansion of 0 in y 1.052 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in (x y) around 0 1.052 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in y 1.052 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 1.052 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.052 * [taylor]: Taking taylor expansion of x in y 1.052 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.052 * [taylor]: Taking taylor expansion of y in y 1.052 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 1.052 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.052 * [taylor]: Taking taylor expansion of y in y 1.053 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.053 * [taylor]: Taking taylor expansion of x in y 1.053 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in x 1.053 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 1.053 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.053 * [taylor]: Taking taylor expansion of x in x 1.053 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.053 * [taylor]: Taking taylor expansion of y in x 1.053 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.053 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.053 * [taylor]: Taking taylor expansion of y in x 1.053 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.053 * [taylor]: Taking taylor expansion of x in x 1.053 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (+ (/ 1 y) (/ 1 x))) in x 1.054 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 1.054 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.054 * [taylor]: Taking taylor expansion of x in x 1.054 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.054 * [taylor]: Taking taylor expansion of y in x 1.054 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.054 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.054 * [taylor]: Taking taylor expansion of y in x 1.054 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.054 * [taylor]: Taking taylor expansion of x in x 1.055 * [taylor]: Taking taylor expansion of 1 in y 1.056 * [taylor]: Taking taylor expansion of 0 in y 1.058 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y 1.058 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.058 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.058 * [taylor]: Taking taylor expansion of y in y 1.062 * [taylor]: Taking taylor expansion of 0 in y 1.069 * [taylor]: Taking taylor expansion of 0 in y 1.071 * [approximate]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x)))) in (x y) around 0 1.071 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x)))) in y 1.071 * [taylor]: Taking taylor expansion of -1 in y 1.071 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) in y 1.071 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 1.071 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.071 * [taylor]: Taking taylor expansion of y in y 1.071 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.071 * [taylor]: Taking taylor expansion of x in y 1.071 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 1.071 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.071 * [taylor]: Taking taylor expansion of y in y 1.071 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.071 * [taylor]: Taking taylor expansion of x in y 1.071 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x)))) in x 1.071 * [taylor]: Taking taylor expansion of -1 in x 1.071 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) in x 1.071 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.071 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.071 * [taylor]: Taking taylor expansion of y in x 1.072 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.072 * [taylor]: Taking taylor expansion of x in x 1.072 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 1.072 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.072 * [taylor]: Taking taylor expansion of y in x 1.072 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.072 * [taylor]: Taking taylor expansion of x in x 1.072 * [taylor]: Taking taylor expansion of (* -1 (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x)))) in x 1.072 * [taylor]: Taking taylor expansion of -1 in x 1.072 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) (- (/ 1 y) (/ 1 x))) in x 1.072 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 1.072 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.072 * [taylor]: Taking taylor expansion of y in x 1.072 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.072 * [taylor]: Taking taylor expansion of x in x 1.073 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 1.073 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.073 * [taylor]: Taking taylor expansion of y in x 1.073 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.073 * [taylor]: Taking taylor expansion of x in x 1.074 * [taylor]: Taking taylor expansion of 1 in y 1.076 * [taylor]: Taking taylor expansion of 0 in y 1.078 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y 1.079 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.079 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.079 * [taylor]: Taking taylor expansion of y in y 1.082 * [taylor]: Taking taylor expansion of 0 in y 1.087 * [taylor]: Taking taylor expansion of 0 in y 1.089 * * * [progress]: simplifying candidates 1.089 * [simplify]: Simplifying using # : (expm1 (* (- x y) (+ x y))) (log1p (* (- x y) (+ x y))) (* (- x y) (+ x y)) (+ (log (- x y)) (log (+ x y))) (log (* (- x y) (+ x y))) (exp (* (- x y) (+ x y))) (* (* (* (- x y) (- x y)) (- x y)) (* (* (+ x y) (+ x y)) (+ x y))) (* (cbrt (* (- x y) (+ x y))) (cbrt (* (- x y) (+ x y)))) (cbrt (* (- x y) (+ x y))) (* (* (* (- x y) (+ x y)) (* (- x y) (+ x y))) (* (- x y) (+ x y))) (sqrt (* (- x y) (+ x y))) (sqrt (* (- x y) (+ x y))) (* (- (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3))) (* (+ (* x x) (+ (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y)))) (* (- (pow x 3) (pow y 3)) (- (* x x) (* y y))) (* (+ (* x x) (+ (* y y) (* x y))) (- x y)) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3))) (* (+ x y) (+ (* x x) (- (* y y) (* x y)))) (* (- (* x x) (* y y)) (- (* x x) (* y y))) (* (+ x y) (- x y)) (* (sqrt (- x y)) (sqrt (+ x y))) (* (sqrt (- x y)) (sqrt (+ x y))) (* (- x y) x) (* (- x y) y) (* x (- x y)) (* y (- x y)) (* (- x y) (* (cbrt (+ x y)) (cbrt (+ x y)))) (* (- x y) (sqrt (+ x y))) (* (- x y) 1) (* (- x y) 1) (* (cbrt (- x y)) (+ x y)) (* (sqrt (- x y)) (+ x y)) (* (- x y) (+ x y)) (* (- (sqrt x) (sqrt y)) (+ x y)) (* (- x y) (+ x y)) (* (- x y) (+ (pow x 3) (pow y 3))) (* (- x y) (- (* x x) (* y y))) (* (- (pow x 3) (pow y 3)) (+ x y)) (* (- (* x x) (* y y)) (+ x y)) (- (pow x 2) (pow y 2)) (- (pow x 2) (pow y 2)) (- (pow x 2) (pow y 2)) 1.092 * * [simplify]: iteration 0 : 71 enodes (cost 428 ) 1.105 * * [simplify]: iteration 1 : 229 enodes (cost 411 ) 1.160 * * [simplify]: iteration 2 : 1066 enodes (cost 383 ) 1.507 * * [simplify]: iteration done : 5000 enodes (cost 383 ) 1.507 * [simplify]: Simplified to: (expm1 (* (- x y) (+ x y))) (log1p (* (- x y) (+ x y))) (* (+ x y) (- x y)) (log (* (- x y) (+ x y))) (log (* (- x y) (+ x y))) (exp (* (- x y) (+ x y))) (pow (* (+ x y) (- x y)) 3) (* (cbrt (* (- x y) (+ x y))) (cbrt (* (- x y) (+ x y)))) (cbrt (* (- x y) (+ x y))) (pow (* (+ x y) (- x y)) 3) (sqrt (* (- x y) (+ x y))) (sqrt (* (- x y) (+ x y))) (* (- (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3))) (* (fma x x (* y (- y x))) (fma x x (* y (+ x y)))) (* (- (pow x 3) (pow y 3)) (- (* x x) (* y y))) (* (- x y) (fma x x (* y (+ x y)))) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3))) (* (+ x y) (fma x x (* y (- y x)))) (* (* (- (* x x) (* y y)) (+ x y)) (- x y)) (* (+ x y) (- x y)) (* (sqrt (- x y)) (sqrt (+ x y))) (* (sqrt (- x y)) (sqrt (+ x y))) (* x (- x y)) (* (- x y) y) (* x (- x y)) (* (- x y) y) (* (- x y) (* (cbrt (+ x y)) (cbrt (+ x y)))) (* (- x y) (sqrt (+ x y))) (- x y) (- x y) (* (cbrt (- x y)) (+ x y)) (* (sqrt (- x y)) (+ x y)) (* (+ x y) (- x y)) (* (- (sqrt x) (sqrt y)) (+ x y)) (* (+ x y) (- x y)) (* (- x y) (+ (pow x 3) (pow y 3))) (* (- x y) (- (* x x) (* y y))) (* (- (pow x 3) (pow y 3)) (+ x y)) (* (- x y) (* (+ x y) (+ x y))) (* (+ x y) (- x y)) (* (+ x y) (- x y)) (* (+ x y) (- x y)) 1.508 * * * [progress]: adding candidates to table 1.573 * * [progress]: iteration 2 / 4 1.573 * * * [progress]: picking best candidate 1.574 * * * * [pick]: Picked # 1.574 * * * [progress]: localizing error 1.578 * * * [progress]: generating rewritten candidates 1.578 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.582 * * * [progress]: generating series expansions 1.582 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.582 * [approximate]: Taking taylor expansion of (- (pow x 2) (pow y 2)) in (x y) around 0 1.582 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow y 2)) in y 1.582 * [taylor]: Taking taylor expansion of (pow x 2) in y 1.582 * [taylor]: Taking taylor expansion of x in y 1.582 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.582 * [taylor]: Taking taylor expansion of y in y 1.582 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow y 2)) in x 1.583 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.583 * [taylor]: Taking taylor expansion of x in x 1.583 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.583 * [taylor]: Taking taylor expansion of y in x 1.583 * [taylor]: Taking taylor expansion of (- (pow x 2) (pow y 2)) in x 1.583 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.583 * [taylor]: Taking taylor expansion of x in x 1.583 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.583 * [taylor]: Taking taylor expansion of y in x 1.583 * [taylor]: Taking taylor expansion of (- (pow y 2)) in y 1.583 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.583 * [taylor]: Taking taylor expansion of y in y 1.584 * [taylor]: Taking taylor expansion of 0 in y 1.585 * [taylor]: Taking taylor expansion of 1 in y 1.586 * [taylor]: Taking taylor expansion of 0 in y 1.589 * [taylor]: Taking taylor expansion of 0 in y 1.589 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in (x y) around 0 1.589 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y 1.589 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 1.589 * [taylor]: Taking taylor expansion of (pow x 2) in y 1.589 * [taylor]: Taking taylor expansion of x in y 1.589 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.589 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.589 * [taylor]: Taking taylor expansion of y in y 1.590 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 1.590 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.590 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.590 * [taylor]: Taking taylor expansion of x in x 1.590 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 1.590 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.590 * [taylor]: Taking taylor expansion of y in x 1.590 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 1.590 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.590 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.590 * [taylor]: Taking taylor expansion of x in x 1.591 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 1.591 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.591 * [taylor]: Taking taylor expansion of y in x 1.591 * [taylor]: Taking taylor expansion of 1 in y 1.592 * [taylor]: Taking taylor expansion of 0 in y 1.594 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y 1.594 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.594 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.594 * [taylor]: Taking taylor expansion of y in y 1.596 * [taylor]: Taking taylor expansion of 0 in y 1.599 * [taylor]: Taking taylor expansion of 0 in y 1.601 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in (x y) around 0 1.601 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in y 1.601 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 1.601 * [taylor]: Taking taylor expansion of (pow x 2) in y 1.601 * [taylor]: Taking taylor expansion of x in y 1.601 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.601 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.601 * [taylor]: Taking taylor expansion of y in y 1.601 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 1.601 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.601 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.601 * [taylor]: Taking taylor expansion of x in x 1.602 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 1.602 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.602 * [taylor]: Taking taylor expansion of y in x 1.602 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow y 2))) in x 1.602 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.602 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.602 * [taylor]: Taking taylor expansion of x in x 1.602 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 1.603 * [taylor]: Taking taylor expansion of (pow y 2) in x 1.603 * [taylor]: Taking taylor expansion of y in x 1.603 * [taylor]: Taking taylor expansion of 1 in y 1.604 * [taylor]: Taking taylor expansion of 0 in y 1.605 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y 1.605 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 1.605 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.605 * [taylor]: Taking taylor expansion of y in y 1.607 * [taylor]: Taking taylor expansion of 0 in y 1.610 * [taylor]: Taking taylor expansion of 0 in y 1.612 * * * [progress]: simplifying candidates 1.612 * [simplify]: Simplifying using # : (fma x x (- (* y y))) (fma (- y) y (* y y)) (expm1 (- (* x x) (* y y))) (log1p (- (* x x) (* y y))) (- (* y y)) (/ (exp (* x x)) (exp (* y y))) (log (- (* x x) (* y y))) (exp (- (* x x) (* y y))) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y)))) (cbrt (- (* x x) (* y y))) (* (* (- (* x x) (* y y)) (- (* x x) (* y y))) (- (* x x) (* y y))) (sqrt (- (* x x) (* y y))) (sqrt (- (* x x) (* y y))) (- (pow (* x x) 3) (pow (* y y) 3)) (+ (* (* x x) (* x x)) (+ (* (* y y) (* y y)) (* (* x x) (* y y)))) (- (* y y)) (- (* (* x x) (* x x)) (* (* y y) (* y y))) (+ (* x x) (* y y)) (+ x y) (- x y) (- (* y y)) (- (pow x 2) (pow y 2)) (- (pow x 2) (pow y 2)) (- (pow x 2) (pow y 2)) 1.614 * * [simplify]: iteration 0 : 38 enodes (cost 214 ) 1.620 * * [simplify]: iteration 1 : 104 enodes (cost 205 ) 1.645 * * [simplify]: iteration 2 : 412 enodes (cost 175 ) 1.777 * * [simplify]: iteration 3 : 1287 enodes (cost 175 ) 2.486 * * [simplify]: iteration done : 5000 enodes (cost 170 ) 2.486 * [simplify]: Simplified to: (- (* x x) (* y y)) 0 (expm1 (- (* x x) (* y y))) (log1p (- (* x x) (* y y))) (- (* y y)) (exp (- (* x x) (* y y))) (log (- (* x x) (* y y))) (exp (- (* x x) (* y y))) (* (cbrt (- (* x x) (* y y))) (cbrt (- (* x x) (* y y)))) (cbrt (- (* x x) (* y y))) (pow (- (* x x) (* y y)) 3) (sqrt (- (* x x) (* y y))) (sqrt (- (* x x) (* y y))) (- (pow x 6) (pow y 6)) (fma (* y y) (fma x x (pow y 2)) (pow x 4)) (- (* y y)) (- (pow x 4) (pow y 4)) (fma x x (pow y 2)) (+ x y) (- x y) (- (* y y)) (- (* x x) (* y y)) (- (* x x) (* y y)) (- (* x x) (* y y)) 2.486 * * * [progress]: adding candidates to table 2.521 * [progress]: [Phase 3 of 3] Extracting. 2.521 * * [regime]: Finding splitpoints for: (# #) 2.521 * * * [regime-changes]: Trying 5 branch expressions: ((* y y) (* x x) (- (* x x) (* y y)) y x) 2.521 * * * * [regimes]: Trying to branch on (* y y) from (# #) 2.531 * * * * [regimes]: Trying to branch on (* x x) from (# #) 2.542 * * * * [regimes]: Trying to branch on (- (* x x) (* y y)) from (# #) 2.553 * * * * [regimes]: Trying to branch on y from (# #) 2.563 * * * * [regimes]: Trying to branch on x from (# #) 2.573 * * * [regime]: Found split indices: #