Linear.Quaternion:$c/ from linear-1.19.1.3, B
Time bar (total: 1.3s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 100% | 99.9% | 0% | 0.1% | 0% | 0% | 0% | 1 |
Compiled 17 to 11 computations (35.3% saved)
| 370.0ms | 5 734× | 0 | valid |
| 317.0ms | 2 473× | 1 | valid |
| 8.0ms | 49× | 2 | valid |
ival-mult: 233.0ms (49.6% of total)ival-sub: 115.0ms (24.5% of total)adjust: 56.0ms (11.9% of total)ival-add: 56.0ms (11.9% of total)ival-true: 7.0ms (1.5% of total)ival-assert: 4.0ms (0.9% of total)| Ground Truth | Overpredictions | Example | Underpredictions | Example | Subexpression |
|---|---|---|---|---|---|
| 93 | 0 | - | 0 | - | (+.f64 (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) (*.f64 y y)) |
| 23 | 0 | - | 0 | - | (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) |
| 6 | 0 | - | 0 | - | (-.f64 (*.f64 x y) (*.f64 y z)) |
| 0 | 0 | - | 0 | - | z |
| 0 | 0 | - | 0 | - | (*.f64 x y) |
| 0 | 0 | - | 0 | - | y |
| 0 | 0 | - | 0 | - | (*.f64 y y) |
| 0 | 0 | - | 0 | - | (*.f64 y z) |
| 0 | 0 | - | 0 | - | x |
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
+.f64 | (+.f64 (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) (*.f64 y y)) | nan-rescue | 59 | 0 |
| ↳ | (-.f64 (*.f64 x y) (*.f64 y z)) | overflow | 53 | |
| ↳ | (*.f64 y z) | overflow | 34 | |
| ↳ | (*.f64 x y) | overflow | 28 | |
| ↳ | (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) | overflow | 77 | |
| ↳ | (*.f64 y y) | overflow | 64 | |
| ↳ | (*.f64 y y) | overflow | 64 | |
+.f64 | (+.f64 (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) (*.f64 y y)) | cancellation | 34 | 0 |
-.f64 | (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) | nan-rescue | 23 | 0 |
| ↳ | (-.f64 (*.f64 x y) (*.f64 y z)) | overflow | 53 | |
| ↳ | (*.f64 y z) | overflow | 34 | |
| ↳ | (*.f64 x y) | overflow | 28 | |
| ↳ | (*.f64 y y) | overflow | 64 | |
-.f64 | (-.f64 (*.f64 x y) (*.f64 y z)) | nan-rescue | 6 | 0 |
| ↳ | (*.f64 x y) | overflow | 28 | |
| ↳ | (*.f64 y z) | overflow | 34 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 98 | 0 |
| - | 0 | 158 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 98 | 0 | 0 |
| - | 0 | 0 | 158 |
| number | freq |
|---|---|
| 0 | 158 |
| 1 | 76 |
| 2 | 20 |
| 3 | 2 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 1 | 0 | 0 |
| - | 0 | 0 | 0 |
| 26.0ms | 354× | 0 | valid |
| 22.0ms | 158× | 1 | valid |
Compiled 154 to 40 computations (74% saved)
ival-mult: 14.0ms (52.8% of total)ival-sub: 6.0ms (22.6% of total)adjust: 4.0ms (15.1% of total)ival-add: 3.0ms (11.3% of total)ival-assert: 0.0ms (0% of total)ival-true: 0.0ms (0% of total)| 1× | egg-herbie |
| Inputs |
|---|
(+.f64 (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) (*.f64 y y)) |
| Outputs |
|---|
(+.f64 (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) (*.f64 y y)) |
Compiled 15 to 9 computations (40% saved)
Compiled 0 to 3 computations (-∞% saved)
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 62.8% | (+.f64 (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) (*.f64 y y)) |
Compiled 15 to 9 computations (40% saved)
| 1× | egg-herbie |
Found 4 expressions of interest:
| New | Metric | Score | Program |
|---|---|---|---|
| cost-diff | 0 | (*.f64 x y) | |
| cost-diff | 0 | (-.f64 (*.f64 x y) (*.f64 y z)) | |
| cost-diff | 0 | (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) | |
| cost-diff | 0 | (+.f64 (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) (*.f64 y y)) |
| Inputs |
|---|
(+.f64 (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) (*.f64 y y)) |
(-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) |
(-.f64 (*.f64 x y) (*.f64 y z)) |
(*.f64 x y) |
x |
y |
(*.f64 y z) |
z |
(*.f64 y y) |
| Outputs |
|---|
(+.f64 (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) (*.f64 y y)) |
(-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) |
(-.f64 (*.f64 x y) (*.f64 y z)) |
(*.f64 x y) |
x |
y |
(*.f64 y z) |
z |
(*.f64 y y) |
Found 4 expressions of interest:
| New | Metric | Score | Program |
|---|---|---|---|
| accuracy | 0.0 | (*.f64 x y) | |
| accuracy | 1.4023354933208234 | (-.f64 (*.f64 x y) (*.f64 y z)) | |
| accuracy | 5.499962844943705 | (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) | |
| accuracy | 21.501930161219494 | (+.f64 (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) (*.f64 y y)) |
| 12.0ms | 79× | 1 | valid |
| 12.0ms | 177× | 0 | valid |
Compiled 92 to 20 computations (78.3% saved)
ival-mult: 7.0ms (54.4% of total)ival-sub: 3.0ms (23.3% of total)adjust: 2.0ms (15.5% of total)ival-add: 1.0ms (7.8% of total)ival-assert: 0.0ms (0% of total)ival-true: 0.0ms (0% of total)| Inputs |
|---|
(+.f64 (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) (*.f64 y y)) |
(-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) |
(-.f64 (*.f64 x y) (*.f64 y z)) |
(*.f64 x y) |
| Outputs |
|---|
(* -1 (* y z)) |
(- (* x y) (* y z)) |
(* -1 (+ (* y z) (pow y 2))) |
(- (* x y) (+ (* y z) (pow y 2))) |
(* x y) |
(* x (+ y (* -1 (/ (* y z) x)))) |
(* x (+ y (* -1 (/ (+ (* y z) (pow y 2)) x)))) |
(* -1 (* x (+ (* -1 y) (/ (* y z) x)))) |
(* -1 (* x (+ (* -1 y) (+ (/ (* y z) x) (/ (pow y 2) x))))) |
(* y (- x z)) |
(* y (- (+ x (* -1 y)) z)) |
(* -1 (pow y 2)) |
(* (pow y 2) (- (/ x y) (+ 1 (/ z y)))) |
(* -1 (* y (- (* -1 x) (* -1 z)))) |
(* (pow y 2) (- (* -1 (/ (- (* -1 x) (* -1 z)) y)) 1)) |
(+ (* -1 (* y z)) (* x y)) |
(- (* x y) (pow y 2)) |
(- (+ (* -1 (* y z)) (* x y)) (pow y 2)) |
(* z (- (/ (* x y) z) y)) |
(* z (- (/ (* x y) z) (+ y (/ (pow y 2) z)))) |
(* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 y)))) |
(* -1 (* z (- (* -1 (/ (- (* x y) (pow y 2)) z)) (* -1 y)))) |
9 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 3.0ms | y | @ | -inf | ((+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (- (* x y) (* y z)) (* x y)) |
| 1.0ms | y | @ | 0 | ((+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (- (* x y) (* y z)) (* x y)) |
| 1.0ms | y | @ | inf | ((+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (- (* x y) (* y z)) (* x y)) |
| 1.0ms | x | @ | 0 | ((+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (- (* x y) (* y z)) (* x y)) |
| 1.0ms | x | @ | inf | ((+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (- (* x y) (* y z)) (* x y)) |
| 1× | egg-herbie |
| Inputs |
|---|
(* -1 (* y z)) |
(- (* x y) (* y z)) |
(* -1 (+ (* y z) (pow y 2))) |
(- (* x y) (+ (* y z) (pow y 2))) |
(* x y) |
(* x (+ y (* -1 (/ (* y z) x)))) |
(* x (+ y (* -1 (/ (+ (* y z) (pow y 2)) x)))) |
(* -1 (* x (+ (* -1 y) (/ (* y z) x)))) |
(* -1 (* x (+ (* -1 y) (+ (/ (* y z) x) (/ (pow y 2) x))))) |
(* y (- x z)) |
(* y (- (+ x (* -1 y)) z)) |
(* -1 (pow y 2)) |
(* (pow y 2) (- (/ x y) (+ 1 (/ z y)))) |
(* -1 (* y (- (* -1 x) (* -1 z)))) |
(* (pow y 2) (- (* -1 (/ (- (* -1 x) (* -1 z)) y)) 1)) |
(+ (* -1 (* y z)) (* x y)) |
(- (* x y) (pow y 2)) |
(- (+ (* -1 (* y z)) (* x y)) (pow y 2)) |
(* z (- (/ (* x y) z) y)) |
(* z (- (/ (* x y) z) (+ y (/ (pow y 2) z)))) |
(* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 y)))) |
(* -1 (* z (- (* -1 (/ (- (* x y) (pow y 2)) z)) (* -1 y)))) |
| Outputs |
|---|
(* -1 (* y z)) |
(+.f64 (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) (*.f64 y y)) |
(- (* x y) (* y z)) |
(-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) |
(* -1 (+ (* y z) (pow y 2))) |
(-.f64 (*.f64 x y) (*.f64 y z)) |
(- (* x y) (+ (* y z) (pow y 2))) |
(*.f64 x y) |
| Inputs |
|---|
(+.f64 (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) (*.f64 y y)) |
(-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) |
(-.f64 (*.f64 x y) (*.f64 y z)) |
(*.f64 x y) |
| Outputs |
|---|
(+.f64 (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) (*.f64 y y)) |
(-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) |
(-.f64 (*.f64 x y) (*.f64 y z)) |
(*.f64 x y) |
Compiled 160 to 21 computations (86.9% saved)
3 alts after pruning (2 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 6 | 2 | 8 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 6 | 3 | 9 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 62.8% | (+.f64 (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) (*.f64 y y)) |
| ▶ | 42.7% | (+.f64 #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y)) (*.f64 y y)) |
| ▶ | 66.3% | #s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y))) |
Compiled 61 to 36 computations (41% saved)
| 1× | egg-herbie |
Found 8 expressions of interest:
| New | Metric | Score | Program |
|---|---|---|---|
| cost-diff | 0 | (*.f64 y y) | |
| cost-diff | 0 | (*.f64 x y) | |
| cost-diff | 0 | #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y)) | |
| cost-diff | 0 | (+.f64 #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y)) (*.f64 y y)) | |
| cost-diff | 0 | (*.f64 x y) | |
| cost-diff | 0 | (-.f64 (*.f64 x y) (*.f64 y z)) | |
| cost-diff | 0 | (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) | |
| cost-diff | 0 | #s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y))) |
| Inputs |
|---|
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y))) |
(-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) |
(-.f64 (*.f64 x y) (*.f64 y z)) |
(*.f64 x y) |
x |
y |
(*.f64 y z) |
z |
(*.f64 y y) |
(+.f64 #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y)) (*.f64 y y)) |
#s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y)) |
(*.f64 x y) |
x |
y |
(*.f64 y y) |
| Outputs |
|---|
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y))) |
(-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) |
(-.f64 (*.f64 x y) (*.f64 y z)) |
(*.f64 x y) |
x |
y |
(*.f64 y z) |
z |
(*.f64 y y) |
(+.f64 #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y)) (*.f64 y y)) |
#s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y)) |
(*.f64 x y) |
x |
y |
(*.f64 y y) |
Found 8 expressions of interest:
| New | Metric | Score | Program |
|---|---|---|---|
| accuracy | 0.0 | (*.f64 y y) | |
| accuracy | 0.0 | (*.f64 x y) | |
| accuracy | 21.501930161219494 | (+.f64 #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y)) (*.f64 y y)) | |
| accuracy | 39.16650057058189 | #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y)) | |
| accuracy | 0.0 | (*.f64 x y) | |
| accuracy | 1.4023354933208234 | (-.f64 (*.f64 x y) (*.f64 y z)) | |
| accuracy | 5.499962844943705 | (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) | |
| accuracy | 19.342883437479433 | #s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y))) |
| 14.0ms | 177× | 0 | valid |
| 12.0ms | 79× | 1 | valid |
Compiled 180 to 28 computations (84.4% saved)
ival-mult: 7.0ms (54.4% of total)ival-sub: 3.0ms (23.3% of total)adjust: 2.0ms (15.5% of total)ival-add: 1.0ms (7.8% of total)ival-assert: 0.0ms (0% of total)ival-true: 0.0ms (0% of total)| Inputs |
|---|
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y))) |
(-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) |
(-.f64 (*.f64 x y) (*.f64 y z)) |
(*.f64 x y) |
(+.f64 #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y)) (*.f64 y y)) |
#s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y)) |
(*.f64 y y) |
| Outputs |
|---|
(* -1 (* y z)) |
(- (* x y) (* y z)) |
(* -1 (+ (* y z) (pow y 2))) |
(- (* x y) (+ (* y z) (pow y 2))) |
(* x y) |
(* x (+ y (* -1 (/ (* y z) x)))) |
(* x (+ y (* -1 (/ (+ (* y z) (pow y 2)) x)))) |
(* -1 (* x (+ (* -1 y) (/ (* y z) x)))) |
(* -1 (* x (+ (* -1 y) (+ (/ (* y z) x) (/ (pow y 2) x))))) |
(* y (- x z)) |
(* y (- (+ x (* -1 y)) z)) |
(pow y 2) |
(* -1 (pow y 2)) |
(* (pow y 2) (- (/ x y) (+ 1 (/ z y)))) |
(* -1 (* y (- (* -1 x) (* -1 z)))) |
(* (pow y 2) (- (* -1 (/ (- (* -1 x) (* -1 z)) y)) 1)) |
(+ (* -1 (* y z)) (* x y)) |
(- (* x y) (pow y 2)) |
(- (+ (* -1 (* y z)) (* x y)) (pow y 2)) |
(* z (- (/ (* x y) z) y)) |
(* z (- (/ (* x y) z) (+ y (/ (pow y 2) z)))) |
(* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 y)))) |
(* -1 (* z (- (* -1 (/ (- (* x y) (pow y 2)) z)) (* -1 y)))) |
9 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 1.0ms | y | @ | -inf | ((+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (- (* x y) (* y z)) (* x y) (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (* y y)) |
| 1.0ms | y | @ | inf | ((+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (- (* x y) (* y z)) (* x y) (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (* y y)) |
| 1.0ms | y | @ | 0 | ((+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (- (* x y) (* y z)) (* x y) (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (* y y)) |
| 1.0ms | x | @ | -inf | ((+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (- (* x y) (* y z)) (* x y) (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (* y y)) |
| 0.0ms | x | @ | inf | ((+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (- (* x y) (* y z)) (* x y) (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (* y y)) |
| 1× | egg-herbie |
| Inputs |
|---|
(* -1 (* y z)) |
(- (* x y) (* y z)) |
(* -1 (+ (* y z) (pow y 2))) |
(- (* x y) (+ (* y z) (pow y 2))) |
(* x y) |
(* x (+ y (* -1 (/ (* y z) x)))) |
(* x (+ y (* -1 (/ (+ (* y z) (pow y 2)) x)))) |
(* -1 (* x (+ (* -1 y) (/ (* y z) x)))) |
(* -1 (* x (+ (* -1 y) (+ (/ (* y z) x) (/ (pow y 2) x))))) |
(* y (- x z)) |
(* y (- (+ x (* -1 y)) z)) |
(pow y 2) |
(* -1 (pow y 2)) |
(* (pow y 2) (- (/ x y) (+ 1 (/ z y)))) |
(* -1 (* y (- (* -1 x) (* -1 z)))) |
(* (pow y 2) (- (* -1 (/ (- (* -1 x) (* -1 z)) y)) 1)) |
(+ (* -1 (* y z)) (* x y)) |
(- (* x y) (pow y 2)) |
(- (+ (* -1 (* y z)) (* x y)) (pow y 2)) |
(* z (- (/ (* x y) z) y)) |
(* z (- (/ (* x y) z) (+ y (/ (pow y 2) z)))) |
(* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 y)))) |
(* -1 (* z (- (* -1 (/ (- (* x y) (pow y 2)) z)) (* -1 y)))) |
| Outputs |
|---|
(* -1 (* y z)) |
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y))) |
(- (* x y) (* y z)) |
(-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) |
(* -1 (+ (* y z) (pow y 2))) |
(-.f64 (*.f64 x y) (*.f64 y z)) |
(- (* x y) (+ (* y z) (pow y 2))) |
(*.f64 x y) |
(* x y) |
(+.f64 #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y)) (*.f64 y y)) |
(* x (+ y (* -1 (/ (* y z) x)))) |
#s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y)) |
(* x (+ y (* -1 (/ (+ (* y z) (pow y 2)) x)))) |
(*.f64 y y) |
| Inputs |
|---|
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y))) |
(-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) |
(-.f64 (*.f64 x y) (*.f64 y z)) |
(*.f64 x y) |
(+.f64 #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y)) (*.f64 y y)) |
#s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y)) |
(*.f64 y y) |
| Outputs |
|---|
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y))) |
(-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) |
(-.f64 (*.f64 x y) (*.f64 y z)) |
(*.f64 x y) |
(+.f64 #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y)) (*.f64 y y)) |
#s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y)) |
(*.f64 y y) |
Compiled 449 to 29 computations (93.5% saved)
3 alts after pruning (3 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 12 | 3 | 15 |
| Fresh | 0 | 0 | 0 |
| Picked | 2 | 0 | 2 |
| Done | 1 | 0 | 1 |
| Total | 15 | 3 | 18 |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 97.7% | #s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (-.f64 (*.f64 x y) (*.f64 y z)))) |
| ▶ | 13.9% | #s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 y y))) |
| ▶ | 54.5% | #s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y))) |
Compiled 97 to 38 computations (60.8% saved)
| 1× | egg-herbie |
Found 10 expressions of interest:
| New | Metric | Score | Program |
|---|---|---|---|
| cost-diff | 0 | (*.f64 x y) | |
| cost-diff | 0 | (-.f64 (*.f64 x y) (*.f64 y z)) | |
| cost-diff | 0 | #s(approx (- (- (* x y) (* y z)) (* y y)) (-.f64 (*.f64 x y) (*.f64 y z))) | |
| cost-diff | 0 | #s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (-.f64 (*.f64 x y) (*.f64 y z)))) | |
| cost-diff | 0 | (*.f64 y y) | |
| cost-diff | 0 | #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 y y)) | |
| cost-diff | 0 | #s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 y y))) | |
| cost-diff | 0 | (*.f64 x y) | |
| cost-diff | 0 | #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y)) | |
| cost-diff | 0 | #s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y))) |
| Inputs |
|---|
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y))) |
#s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y)) |
(*.f64 x y) |
x |
y |
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 y y))) |
#s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 y y)) |
(*.f64 y y) |
y |
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (-.f64 (*.f64 x y) (*.f64 y z)))) |
#s(approx (- (- (* x y) (* y z)) (* y y)) (-.f64 (*.f64 x y) (*.f64 y z))) |
(-.f64 (*.f64 x y) (*.f64 y z)) |
(*.f64 x y) |
x |
y |
(*.f64 y z) |
z |
| Outputs |
|---|
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y))) |
#s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y)) |
(*.f64 x y) |
x |
y |
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 y y))) |
#s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 y y)) |
(*.f64 y y) |
y |
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (-.f64 (*.f64 x y) (*.f64 y z)))) |
#s(approx (- (- (* x y) (* y z)) (* y y)) (-.f64 (*.f64 x y) (*.f64 y z))) |
(-.f64 (*.f64 x y) (*.f64 y z)) |
(*.f64 x y) |
x |
y |
(*.f64 y z) |
z |
Found 10 expressions of interest:
| New | Metric | Score | Program |
|---|---|---|---|
| accuracy | 0.0 | (*.f64 x y) | |
| accuracy | 1.4023354933208234 | (-.f64 (*.f64 x y) (*.f64 y z)) | |
| accuracy | 19.342883437479433 | #s(approx (- (- (* x y) (* y z)) (* y y)) (-.f64 (*.f64 x y) (*.f64 y z))) | |
| accuracy | 19.342883437479433 | #s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (-.f64 (*.f64 x y) (*.f64 y z)))) | |
| accuracy | 0.0 | (*.f64 y y) | |
| accuracy | 19.342883437479433 | #s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 y y))) | |
| accuracy | 60.002323738348224 | #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 y y)) | |
| accuracy | 0.0 | (*.f64 x y) | |
| accuracy | 19.342883437479433 | #s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y))) | |
| accuracy | 39.16650057058189 | #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y)) |
| 15.0ms | 177× | 0 | valid |
| 12.0ms | 79× | 1 | valid |
Compiled 276 to 30 computations (89.1% saved)
ival-mult: 9.0ms (59.4% of total)ival-sub: 3.0ms (19.8% of total)adjust: 2.0ms (13.2% of total)ival-add: 1.0ms (6.6% of total)ival-assert: 0.0ms (0% of total)ival-true: 0.0ms (0% of total)| Inputs |
|---|
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y))) |
#s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y)) |
(*.f64 x y) |
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 y y))) |
#s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 y y)) |
(*.f64 y y) |
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (-.f64 (*.f64 x y) (*.f64 y z)))) |
#s(approx (- (- (* x y) (* y z)) (* y y)) (-.f64 (*.f64 x y) (*.f64 y z))) |
(-.f64 (*.f64 x y) (*.f64 y z)) |
| Outputs |
|---|
(* -1 (* y z)) |
(- (* x y) (* y z)) |
(* -1 (+ (* y z) (pow y 2))) |
(- (* x y) (+ (* y z) (pow y 2))) |
(* x y) |
(* x (+ y (* -1 (/ (* y z) x)))) |
(* x (+ y (* -1 (/ (+ (* y z) (pow y 2)) x)))) |
(* -1 (* x (+ (* -1 y) (/ (* y z) x)))) |
(* -1 (* x (+ (* -1 y) (+ (/ (* y z) x) (/ (pow y 2) x))))) |
(* y (- x z)) |
(* y (- (+ x (* -1 y)) z)) |
(pow y 2) |
(* -1 (pow y 2)) |
(* (pow y 2) (- (/ x y) (+ 1 (/ z y)))) |
(* -1 (* y (- (* -1 x) (* -1 z)))) |
(* (pow y 2) (- (* -1 (/ (- (* -1 x) (* -1 z)) y)) 1)) |
(+ (* -1 (* y z)) (* x y)) |
(- (* x y) (pow y 2)) |
(- (+ (* -1 (* y z)) (* x y)) (pow y 2)) |
(* z (- (/ (* x y) z) y)) |
(* z (- (/ (* x y) z) (+ y (/ (pow y 2) z)))) |
(* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 y)))) |
(* -1 (* z (- (* -1 (/ (- (* x y) (pow y 2)) z)) (* -1 y)))) |
9 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 1.0ms | y | @ | -inf | ((+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (* x y) (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (* y y) (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (- (* x y) (* y z))) |
| 1.0ms | y | @ | inf | ((+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (* x y) (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (* y y) (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (- (* x y) (* y z))) |
| 1.0ms | x | @ | -inf | ((+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (* x y) (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (* y y) (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (- (* x y) (* y z))) |
| 1.0ms | y | @ | 0 | ((+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (* x y) (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (* y y) (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (- (* x y) (* y z))) |
| 0.0ms | x | @ | inf | ((+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (* x y) (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (* y y) (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (- (- (* x y) (* y z)) (* y y)) (- (* x y) (* y z))) |
| 1× | egg-herbie |
| Inputs |
|---|
(* -1 (* y z)) |
(- (* x y) (* y z)) |
(* -1 (+ (* y z) (pow y 2))) |
(- (* x y) (+ (* y z) (pow y 2))) |
(* x y) |
(* x (+ y (* -1 (/ (* y z) x)))) |
(* x (+ y (* -1 (/ (+ (* y z) (pow y 2)) x)))) |
(* -1 (* x (+ (* -1 y) (/ (* y z) x)))) |
(* -1 (* x (+ (* -1 y) (+ (/ (* y z) x) (/ (pow y 2) x))))) |
(* y (- x z)) |
(* y (- (+ x (* -1 y)) z)) |
(pow y 2) |
(* -1 (pow y 2)) |
(* (pow y 2) (- (/ x y) (+ 1 (/ z y)))) |
(* -1 (* y (- (* -1 x) (* -1 z)))) |
(* (pow y 2) (- (* -1 (/ (- (* -1 x) (* -1 z)) y)) 1)) |
(+ (* -1 (* y z)) (* x y)) |
(- (* x y) (pow y 2)) |
(- (+ (* -1 (* y z)) (* x y)) (pow y 2)) |
(* z (- (/ (* x y) z) y)) |
(* z (- (/ (* x y) z) (+ y (/ (pow y 2) z)))) |
(* -1 (* z (- (* -1 (/ (* x y) z)) (* -1 y)))) |
(* -1 (* z (- (* -1 (/ (- (* x y) (pow y 2)) z)) (* -1 y)))) |
| Outputs |
|---|
(* -1 (* y z)) |
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y))) |
(- (* x y) (* y z)) |
#s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y)) |
(* -1 (+ (* y z) (pow y 2))) |
(*.f64 x y) |
(- (* x y) (+ (* y z) (pow y 2))) |
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 y y))) |
(* x y) |
#s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 y y)) |
(* x (+ y (* -1 (/ (* y z) x)))) |
(*.f64 y y) |
(* x (+ y (* -1 (/ (+ (* y z) (pow y 2)) x)))) |
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (-.f64 (*.f64 x y) (*.f64 y z)))) |
(* -1 (* x (+ (* -1 y) (/ (* y z) x)))) |
#s(approx (- (- (* x y) (* y z)) (* y y)) (-.f64 (*.f64 x y) (*.f64 y z))) |
(* -1 (* x (+ (* -1 y) (+ (/ (* y z) x) (/ (pow y 2) x))))) |
(-.f64 (*.f64 x y) (*.f64 y z)) |
| Inputs |
|---|
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y))) |
#s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y)) |
(*.f64 x y) |
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 y y))) |
#s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 y y)) |
(*.f64 y y) |
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (-.f64 (*.f64 x y) (*.f64 y z)))) |
#s(approx (- (- (* x y) (* y z)) (* y y)) (-.f64 (*.f64 x y) (*.f64 y z))) |
(-.f64 (*.f64 x y) (*.f64 y z)) |
| Outputs |
|---|
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y))) |
#s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y)) |
(*.f64 x y) |
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 y y))) |
#s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 y y)) |
(*.f64 y y) |
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (-.f64 (*.f64 x y) (*.f64 y z)))) |
#s(approx (- (- (* x y) (* y z)) (* y y)) (-.f64 (*.f64 x y) (*.f64 y z))) |
(-.f64 (*.f64 x y) (*.f64 y z)) |
Compiled 612 to 31 computations (94.9% saved)
3 alts after pruning (0 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 16 | 0 | 16 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 3 | 3 |
| Done | 0 | 0 | 0 |
| Total | 16 | 3 | 19 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 97.7% | #s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (-.f64 (*.f64 x y) (*.f64 y z)))) |
| ✓ | 13.9% | #s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 y y))) |
| ✓ | 54.5% | #s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y))) |
Compiled 255 to 61 computations (76.1% saved)
| Inputs |
|---|
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y))) |
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 y y))) |
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (-.f64 (*.f64 x y) (*.f64 y z)))) |
(+.f64 #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y)) (*.f64 y y)) |
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y))) |
(+.f64 (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) (*.f64 y y)) |
| Outputs |
|---|
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (-.f64 (*.f64 x y) (*.f64 y z)))) |
4 calls:
| 3.0ms | x |
| 2.0ms | z |
| 2.0ms | y |
| 2.0ms | (+.f64 (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) (*.f64 y y)) |
| Accuracy | Segments | Branch |
|---|---|---|
| 97.7% | 1 | x |
| 97.7% | 1 | y |
| 97.7% | 1 | z |
| 97.7% | 1 | (+.f64 (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) (*.f64 y y)) |
Compiled 18 to 18 computations (0% saved)
| Inputs |
|---|
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y))) |
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 y y))) |
| Outputs |
|---|
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y))) |
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 y y))) |
4 calls:
| 1.0ms | y |
| 1.0ms | x |
| 1.0ms | z |
| 1.0ms | (+.f64 (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) (*.f64 y y)) |
| Accuracy | Segments | Branch |
|---|---|---|
| 54.5% | 1 | x |
| 54.5% | 1 | y |
| 56.4% | 2 | z |
| 54.5% | 1 | (+.f64 (-.f64 (-.f64 (*.f64 x y) (*.f64 y z)) (*.f64 y y)) (*.f64 y y)) |
Compiled 18 to 18 computations (0% saved)
Total -0.0b remaining (-0%)
Threshold costs -0b (-0%)
| Inputs |
|---|
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y))) |
| Outputs |
|---|
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y))) |
2 calls:
| 1.0ms | z |
| 1.0ms | y |
| Accuracy | Segments | Branch |
|---|---|---|
| 54.5% | 1 | y |
| 54.5% | 1 | z |
Compiled 2 to 6 computations (-200% saved)
| 1× | binary-search |
| 1× | narrow-enough |
| Time | Left | Right |
|---|---|---|
| 13.0ms | 2.930831188385979e+159 | 5.4446458468488e+162 |
| 6.0ms | 111× | 0 | valid |
| 2.0ms | 17× | 1 | valid |
Compiled 514 to 223 computations (56.6% saved)
ival-mult: 3.0ms (58.5% of total)ival-sub: 1.0ms (19.5% of total)ival-add: 1.0ms (19.5% of total)adjust: 0.0ms (0% of total)ival-assert: 0.0ms (0% of total)ival-true: 0.0ms (0% of total)| 1× | egg-herbie |
| Inputs |
|---|
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (-.f64 (*.f64 x y) (*.f64 y z)))) |
(if (<=.f64 z #s(literal 5400000000000000303723777150543755305783948522610886538341816323768595333920116344737551793893831529687149797361384443749741139971183075400865564690029208294916096 binary64)) #s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y))) #s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 y y)))) |
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y))) |
| Outputs |
|---|
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (-.f64 (*.f64 x y) (*.f64 y z)))) |
(if (<=.f64 z #s(literal 5400000000000000303723777150543755305783948522610886538341816323768595333920116344737551793893831529687149797361384443749741139971183075400865564690029208294916096 binary64)) #s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y))) #s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 y y)))) |
#s(approx (+ (- (- (* x y) (* y z)) (* y y)) (* y y)) #s(approx (- (- (* x y) (* y z)) (* y y)) (*.f64 x y))) |
| 1× | done |
Compiled 132 to 22 computations (83.3% saved)
Compiled 304 to 72 computations (76.3% saved)
Loading profile data...