Linear.Quaternion:$c/ from linear-1.19.1.3, C
Time bar (total: 1.4s)
| 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)
| 340.0ms | 5 734× | 0 | valid |
| 337.0ms | 2 473× | 1 | valid |
| 13.0ms | 49× | 2 | valid |
ival-mult: 240.0ms (50.8% of total)ival-sub: 109.0ms (23.1% of total)adjust: 65.0ms (13.8% of total)ival-add: 49.0ms (10.4% of total)ival-true: 6.0ms (1.3% of total)ival-assert: 4.0ms (0.8% of total)| Ground Truth | Overpredictions | Example | Underpredictions | Example | Subexpression |
|---|---|---|---|---|---|
| 89 | 0 | - | 0 | - | (-.f64 (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) (*.f64 y y)) |
| 12 | 0 | - | 0 | - | (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) |
| 9 | 0 | - | 0 | - | (+.f64 (*.f64 x y) (*.f64 y y)) |
| 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 y)) (*.f64 y z)) (*.f64 y y)) | nan-rescue | 55 | 0 |
| ↳ | (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) | overflow | 77 | |
| ↳ | (+.f64 (*.f64 x y) (*.f64 y y)) | overflow | 69 | |
| ↳ | (*.f64 y z) | overflow | 34 | |
| ↳ | (*.f64 y y) | overflow | 64 | |
| ↳ | (*.f64 x y) | overflow | 28 | |
| ↳ | (*.f64 y y) | overflow | 64 | |
-.f64 | (-.f64 (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) (*.f64 y y)) | cancellation | 34 | 0 |
-.f64 | (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) | nan-rescue | 12 | 0 |
| ↳ | (+.f64 (*.f64 x y) (*.f64 y y)) | overflow | 69 | |
| ↳ | (*.f64 y y) | overflow | 64 | |
| ↳ | (*.f64 x y) | overflow | 28 | |
| ↳ | (*.f64 y z) | overflow | 34 | |
+.f64 | (+.f64 (*.f64 x y) (*.f64 y y)) | nan-rescue | 9 | 0 |
| ↳ | (*.f64 x y) | overflow | 28 | |
| ↳ | (*.f64 y y) | overflow | 64 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 98 | 0 |
| - | 0 | 158 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 98 | 0 | 0 |
| - | 0 | 0 | 158 |
| number | freq |
|---|---|
| 0 | 158 |
| 1 | 87 |
| 2 | 10 |
| 3 | 1 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 1 | 0 | 0 |
| - | 0 | 0 | 0 |
| 26.0ms | 354× | 0 | valid |
| 21.0ms | 158× | 1 | valid |
Compiled 154 to 40 computations (74% saved)
ival-mult: 14.0ms (52.1% of total)ival-sub: 6.0ms (22.3% of total)ival-add: 3.0ms (11.2% of total)adjust: 3.0ms (11.2% 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 y)) (*.f64 y z)) (*.f64 y y)) |
| Outputs |
|---|
(-.f64 (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) (*.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 y)) (*.f64 y z)) (*.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 y)) | |
| cost-diff | 0 | (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) | |
| cost-diff | 0 | (-.f64 (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) (*.f64 y y)) |
| Inputs |
|---|
(-.f64 (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) (*.f64 y y)) |
(-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) |
(+.f64 (*.f64 x y) (*.f64 y y)) |
(*.f64 x y) |
x |
y |
(*.f64 y y) |
(*.f64 y z) |
z |
| Outputs |
|---|
(-.f64 (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) (*.f64 y y)) |
(-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) |
(+.f64 (*.f64 x y) (*.f64 y y)) |
(*.f64 x y) |
x |
y |
(*.f64 y y) |
(*.f64 y z) |
z |
Found 4 expressions of interest:
| New | Metric | Score | Program |
|---|---|---|---|
| accuracy | 0.0 | (*.f64 x y) | |
| accuracy | 2.0624896791510294 | (+.f64 (*.f64 x y) (*.f64 y y)) | |
| accuracy | 2.6484271791510294 | (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) | |
| accuracy | 20.25412063280363 | (-.f64 (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) (*.f64 y y)) |
| 11.0ms | 177× | 0 | valid |
| 11.0ms | 79× | 1 | valid |
Compiled 92 to 20 computations (78.3% saved)
ival-mult: 6.0ms (47.3% of total)ival-sub: 3.0ms (23.7% of total)adjust: 2.0ms (15.8% of total)ival-add: 1.0ms (7.9% 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 y)) (*.f64 y z)) (*.f64 y y)) |
(-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) |
(+.f64 (*.f64 x y) (*.f64 y y)) |
(*.f64 x y) |
| Outputs |
|---|
(* -1 (* y z)) |
(- (* x y) (* y z)) |
(- (pow y 2) (* y z)) |
(- (+ (* x y) (pow y 2)) (* y z)) |
(pow y 2) |
(+ (* x y) (pow y 2)) |
(* x y) |
(* x (+ y (* -1 (/ (* y z) x)))) |
(* x (- (+ y (/ (pow y 2) x)) (/ (* y z) x))) |
(* x (+ y (/ (pow y 2) x))) |
(* -1 (* x (+ (* -1 y) (/ (* y z) x)))) |
(* -1 (* x (+ (* -1 y) (* -1 (/ (- (pow y 2) (* y z)) x))))) |
(* -1 (* x (+ (* -1 y) (* -1 (/ (pow y 2) x))))) |
(* y (- x z)) |
(* y (- (+ x y) z)) |
(* y (+ x y)) |
(* (pow y 2) (- (+ 1 (/ x y)) (/ z y))) |
(* (pow y 2) (+ 1 (/ x y))) |
(* -1 (* y (- (* -1 x) (* -1 z)))) |
(* (pow y 2) (+ 1 (* -1 (/ (- (* -1 x) (* -1 z)) y)))) |
(+ (* -1 (* y z)) (* x y)) |
(+ (* -1 (* y z)) (+ (* x y) (pow y 2))) |
(* z (- (/ (* x y) z) y)) |
(* z (- (+ (/ (* x y) z) (/ (pow y 2) z)) y)) |
(* -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 | |
|---|---|---|---|---|
| 2.0ms | y | @ | -inf | ((- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (+ (* x y) (* y y)) (* x y)) |
| 1.0ms | y | @ | inf | ((- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (+ (* x y) (* y y)) (* x y)) |
| 1.0ms | y | @ | 0 | ((- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (+ (* x y) (* y y)) (* x y)) |
| 1.0ms | x | @ | 0 | ((- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (+ (* x y) (* y y)) (* x y)) |
| 1.0ms | x | @ | -inf | ((- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (+ (* x y) (* y y)) (* x y)) |
| 1× | egg-herbie |
| Inputs |
|---|
(* -1 (* y z)) |
(- (* x y) (* y z)) |
(- (pow y 2) (* y z)) |
(- (+ (* x y) (pow y 2)) (* y z)) |
(pow y 2) |
(+ (* x y) (pow y 2)) |
(* x y) |
(* x (+ y (* -1 (/ (* y z) x)))) |
(* x (- (+ y (/ (pow y 2) x)) (/ (* y z) x))) |
(* x (+ y (/ (pow y 2) x))) |
(* -1 (* x (+ (* -1 y) (/ (* y z) x)))) |
(* -1 (* x (+ (* -1 y) (* -1 (/ (- (pow y 2) (* y z)) x))))) |
(* -1 (* x (+ (* -1 y) (* -1 (/ (pow y 2) x))))) |
(* y (- x z)) |
(* y (- (+ x y) z)) |
(* y (+ x y)) |
(* (pow y 2) (- (+ 1 (/ x y)) (/ z y))) |
(* (pow y 2) (+ 1 (/ x y))) |
(* -1 (* y (- (* -1 x) (* -1 z)))) |
(* (pow y 2) (+ 1 (* -1 (/ (- (* -1 x) (* -1 z)) y)))) |
(+ (* -1 (* y z)) (* x y)) |
(+ (* -1 (* y z)) (+ (* x y) (pow y 2))) |
(* z (- (/ (* x y) z) y)) |
(* z (- (+ (/ (* x y) z) (/ (pow y 2) z)) y)) |
(* -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 y)) (*.f64 y z)) (*.f64 y y)) |
(- (* x y) (* y z)) |
(-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) |
(- (pow y 2) (* y z)) |
(+.f64 (*.f64 x y) (*.f64 y y)) |
(- (+ (* x y) (pow y 2)) (* y z)) |
(*.f64 x y) |
| Inputs |
|---|
(-.f64 (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) (*.f64 y y)) |
(-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) |
(+.f64 (*.f64 x y) (*.f64 y y)) |
(*.f64 x y) |
| Outputs |
|---|
(-.f64 (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) (*.f64 y y)) |
(-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) |
(+.f64 (*.f64 x y) (*.f64 y y)) |
(*.f64 x y) |
Compiled 160 to 21 computations (86.9% saved)
4 alts after pruning (3 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 5 | 3 | 8 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 5 | 4 | 9 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 62.8% | (-.f64 (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) (*.f64 y y)) |
| ▶ | 35.5% | (-.f64 #s(approx (- (+ (* x y) (* y y)) (* y z)) (+.f64 (*.f64 x y) (*.f64 y y))) (*.f64 y y)) |
| ▶ | 39.6% | (-.f64 #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y)) (*.f64 y y)) |
| ▶ | 69.3% | #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z))) |
Compiled 84 to 49 computations (41.7% saved)
| 1× | egg-herbie |
Found 12 expressions of interest:
| New | Metric | Score | Program |
|---|---|---|---|
| cost-diff | 0 | (*.f64 x y) | |
| cost-diff | 0 | (+.f64 (*.f64 x y) (*.f64 y y)) | |
| cost-diff | 0 | #s(approx (- (+ (* x y) (* y y)) (* y z)) (+.f64 (*.f64 x y) (*.f64 y y))) | |
| cost-diff | 0 | (-.f64 #s(approx (- (+ (* x y) (* y y)) (* y z)) (+.f64 (*.f64 x y) (*.f64 y y))) (*.f64 y y)) | |
| cost-diff | 0 | (*.f64 y y) | |
| cost-diff | 0 | (*.f64 x y) | |
| cost-diff | 0 | #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y)) | |
| cost-diff | 0 | (-.f64 #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y)) (*.f64 y y)) | |
| cost-diff | 0 | (*.f64 x y) | |
| cost-diff | 0 | (+.f64 (*.f64 x y) (*.f64 y y)) | |
| cost-diff | 0 | (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) | |
| cost-diff | 0 | #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z))) |
| Inputs |
|---|
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z))) |
(-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) |
(+.f64 (*.f64 x y) (*.f64 y y)) |
(*.f64 x y) |
x |
y |
(*.f64 y y) |
(*.f64 y z) |
z |
(-.f64 #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y)) (*.f64 y y)) |
#s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y)) |
(*.f64 x y) |
x |
y |
(*.f64 y y) |
(-.f64 #s(approx (- (+ (* x y) (* y y)) (* y z)) (+.f64 (*.f64 x y) (*.f64 y y))) (*.f64 y y)) |
#s(approx (- (+ (* x y) (* y y)) (* y z)) (+.f64 (*.f64 x y) (*.f64 y y))) |
(+.f64 (*.f64 x y) (*.f64 y y)) |
(*.f64 x y) |
x |
y |
(*.f64 y y) |
| Outputs |
|---|
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z))) |
(-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) |
(+.f64 (*.f64 x y) (*.f64 y y)) |
(*.f64 x y) |
x |
y |
(*.f64 y y) |
(*.f64 y z) |
z |
(-.f64 #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y)) (*.f64 y y)) |
#s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y)) |
(*.f64 x y) |
x |
y |
(*.f64 y y) |
(-.f64 #s(approx (- (+ (* x y) (* y y)) (* y z)) (+.f64 (*.f64 x y) (*.f64 y y))) (*.f64 y y)) |
#s(approx (- (+ (* x y) (* y y)) (* y z)) (+.f64 (*.f64 x y) (*.f64 y y))) |
(+.f64 (*.f64 x y) (*.f64 y y)) |
(*.f64 x y) |
x |
y |
(*.f64 y y) |
Found 12 expressions of interest:
| New | Metric | Score | Program |
|---|---|---|---|
| accuracy | 0.0 | (*.f64 x y) | |
| accuracy | 2.0624896791510294 | (+.f64 (*.f64 x y) (*.f64 y y)) | |
| accuracy | 18.44746013994742 | #s(approx (- (+ (* x y) (* y y)) (* y z)) (+.f64 (*.f64 x y) (*.f64 y y))) | |
| accuracy | 20.25412063280363 | (-.f64 #s(approx (- (+ (* x y) (* y y)) (* y z)) (+.f64 (*.f64 x y) (*.f64 y y))) (*.f64 y y)) | |
| accuracy | 0.0 | (*.f64 y y) | |
| accuracy | 0.0 | (*.f64 x y) | |
| accuracy | 20.25412063280363 | (-.f64 #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y)) (*.f64 y y)) | |
| accuracy | 37.61563659524079 | #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y)) | |
| accuracy | 0.0 | (*.f64 x y) | |
| accuracy | 2.0624896791510294 | (+.f64 (*.f64 x y) (*.f64 y y)) | |
| accuracy | 2.6484271791510294 | (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) | |
| accuracy | 16.91153747698702 | #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z))) |
| 14.0ms | 79× | 1 | valid |
| 13.0ms | 177× | 0 | valid |
Compiled 278 to 30 computations (89.2% saved)
ival-mult: 8.0ms (55.8% of total)ival-sub: 3.0ms (20.9% of total)adjust: 2.0ms (14% of total)ival-add: 1.0ms (7% of total)ival-assert: 0.0ms (0% of total)ival-true: 0.0ms (0% of total)| Inputs |
|---|
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z))) |
(-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) |
(+.f64 (*.f64 x y) (*.f64 y y)) |
(*.f64 x y) |
(-.f64 #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y)) (*.f64 y y)) |
#s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y)) |
(*.f64 y y) |
(-.f64 #s(approx (- (+ (* x y) (* y y)) (* y z)) (+.f64 (*.f64 x y) (*.f64 y y))) (*.f64 y y)) |
#s(approx (- (+ (* x y) (* y y)) (* y z)) (+.f64 (*.f64 x y) (*.f64 y y))) |
| Outputs |
|---|
(* -1 (* y z)) |
(- (* x y) (* y z)) |
(- (pow y 2) (* y z)) |
(- (+ (* x y) (pow y 2)) (* y z)) |
(pow y 2) |
(+ (* x y) (pow y 2)) |
(* x y) |
(* x (+ y (* -1 (/ (* y z) x)))) |
(* x (- (+ y (/ (pow y 2) x)) (/ (* y z) x))) |
(* x (+ y (/ (pow y 2) x))) |
(* -1 (* x (+ (* -1 y) (/ (* y z) x)))) |
(* -1 (* x (+ (* -1 y) (* -1 (/ (- (pow y 2) (* y z)) x))))) |
(* -1 (* x (+ (* -1 y) (* -1 (/ (pow y 2) x))))) |
(* y (- x z)) |
(* y (- (+ x y) z)) |
(* y (+ x y)) |
(* (pow y 2) (- (+ 1 (/ x y)) (/ z y))) |
(* (pow y 2) (+ 1 (/ x y))) |
(* -1 (* y (- (* -1 x) (* -1 z)))) |
(* (pow y 2) (+ 1 (* -1 (/ (- (* -1 x) (* -1 z)) y)))) |
(+ (* -1 (* y z)) (* x y)) |
(+ (* -1 (* y z)) (+ (* x y) (pow y 2))) |
(* z (- (/ (* x y) z) y)) |
(* z (- (+ (/ (* x y) z) (/ (pow y 2) z)) y)) |
(* -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 y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (+ (* x y) (* y y)) (* x y) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (* y y) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z))) |
| 1.0ms | y | @ | inf | ((- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (+ (* x y) (* y y)) (* x y) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (* y y) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z))) |
| 1.0ms | y | @ | 0 | ((- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (+ (* x y) (* y y)) (* x y) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (* y y) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z))) |
| 1.0ms | x | @ | -inf | ((- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (+ (* x y) (* y y)) (* x y) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (* y y) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z))) |
| 0.0ms | x | @ | inf | ((- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (+ (* x y) (* y y)) (* x y) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (* y y) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z))) |
| 1× | egg-herbie |
| Inputs |
|---|
(* -1 (* y z)) |
(- (* x y) (* y z)) |
(- (pow y 2) (* y z)) |
(- (+ (* x y) (pow y 2)) (* y z)) |
(pow y 2) |
(+ (* x y) (pow y 2)) |
(* x y) |
(* x (+ y (* -1 (/ (* y z) x)))) |
(* x (- (+ y (/ (pow y 2) x)) (/ (* y z) x))) |
(* x (+ y (/ (pow y 2) x))) |
(* -1 (* x (+ (* -1 y) (/ (* y z) x)))) |
(* -1 (* x (+ (* -1 y) (* -1 (/ (- (pow y 2) (* y z)) x))))) |
(* -1 (* x (+ (* -1 y) (* -1 (/ (pow y 2) x))))) |
(* y (- x z)) |
(* y (- (+ x y) z)) |
(* y (+ x y)) |
(* (pow y 2) (- (+ 1 (/ x y)) (/ z y))) |
(* (pow y 2) (+ 1 (/ x y))) |
(* -1 (* y (- (* -1 x) (* -1 z)))) |
(* (pow y 2) (+ 1 (* -1 (/ (- (* -1 x) (* -1 z)) y)))) |
(+ (* -1 (* y z)) (* x y)) |
(+ (* -1 (* y z)) (+ (* x y) (pow y 2))) |
(* z (- (/ (* x y) z) y)) |
(* z (- (+ (/ (* x y) z) (/ (pow y 2) z)) y)) |
(* -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 y)) (* y z)) (* y y)) (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z))) |
(- (* x y) (* y z)) |
(-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) |
(- (pow y 2) (* y z)) |
(+.f64 (*.f64 x y) (*.f64 y y)) |
(- (+ (* x y) (pow y 2)) (* y z)) |
(*.f64 x y) |
(pow y 2) |
(-.f64 #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y)) (*.f64 y y)) |
(+ (* x y) (pow y 2)) |
#s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y)) |
(* x y) |
(*.f64 y y) |
(* x (+ y (* -1 (/ (* y z) x)))) |
(-.f64 #s(approx (- (+ (* x y) (* y y)) (* y z)) (+.f64 (*.f64 x y) (*.f64 y y))) (*.f64 y y)) |
(* x (- (+ y (/ (pow y 2) x)) (/ (* y z) x))) |
#s(approx (- (+ (* x y) (* y y)) (* y z)) (+.f64 (*.f64 x y) (*.f64 y y))) |
| Inputs |
|---|
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z))) |
(-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) |
(+.f64 (*.f64 x y) (*.f64 y y)) |
(*.f64 x y) |
(-.f64 #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y)) (*.f64 y y)) |
#s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y)) |
(*.f64 y y) |
(-.f64 #s(approx (- (+ (* x y) (* y y)) (* y z)) (+.f64 (*.f64 x y) (*.f64 y y))) (*.f64 y y)) |
#s(approx (- (+ (* x y) (* y y)) (* y z)) (+.f64 (*.f64 x y) (*.f64 y y))) |
| Outputs |
|---|
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z))) |
(-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) |
(+.f64 (*.f64 x y) (*.f64 y y)) |
(*.f64 x y) |
(-.f64 #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y)) (*.f64 y y)) |
#s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y)) |
(*.f64 y y) |
(-.f64 #s(approx (- (+ (* x y) (* y y)) (* y z)) (+.f64 (*.f64 x y) (*.f64 y y))) (*.f64 y y)) |
#s(approx (- (+ (* x y) (* y y)) (* y z)) (+.f64 (*.f64 x y) (*.f64 y y))) |
Compiled 755 to 43 computations (94.3% saved)
3 alts after pruning (3 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 22 | 3 | 25 |
| Fresh | 0 | 0 | 0 |
| Picked | 3 | 0 | 3 |
| Done | 1 | 0 | 1 |
| Total | 26 | 3 | 29 |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 40.4% | #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 (+.f64 #s(approx (* x y) (*.f64 y y)) (*.f64 y y)) (*.f64 y z))) |
| ▶ | 97.7% | #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) (*.f64 y z))) |
| ▶ | 54.5% | #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) |
Compiled 105 to 42 computations (60% saved)
| 1× | egg-herbie |
Found 11 expressions of interest:
| New | Metric | Score | Program |
|---|---|---|---|
| cost-diff | 0 | #s(approx (* x y) (*.f64 y y)) | |
| cost-diff | 0 | (+.f64 #s(approx (* x y) (*.f64 y y)) (*.f64 y y)) | |
| cost-diff | 0 | (-.f64 (+.f64 #s(approx (* x y) (*.f64 y y)) (*.f64 y y)) (*.f64 y z)) | |
| cost-diff | 0 | #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 (+.f64 #s(approx (* x y) (*.f64 y y)) (*.f64 y y)) (*.f64 y z))) | |
| cost-diff | 0 | #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y)) | |
| cost-diff | 0 | #s(approx (+ (* x y) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) | |
| cost-diff | 0 | (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) (*.f64 y z)) | |
| cost-diff | 0 | #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) (*.f64 y z))) | |
| cost-diff | 0 | (*.f64 x y) | |
| cost-diff | 0 | #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y)) | |
| cost-diff | 0 | #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) |
| Inputs |
|---|
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) |
#s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y)) |
(*.f64 x y) |
x |
y |
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) (*.f64 y z))) |
(-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) (*.f64 y z)) |
#s(approx (+ (* x y) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) |
#s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y)) |
(*.f64 x y) |
x |
y |
(*.f64 y z) |
z |
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 (+.f64 #s(approx (* x y) (*.f64 y y)) (*.f64 y y)) (*.f64 y z))) |
(-.f64 (+.f64 #s(approx (* x y) (*.f64 y y)) (*.f64 y y)) (*.f64 y z)) |
(+.f64 #s(approx (* x y) (*.f64 y y)) (*.f64 y y)) |
#s(approx (* x y) (*.f64 y y)) |
(*.f64 y y) |
y |
(*.f64 y z) |
z |
| Outputs |
|---|
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) |
#s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y)) |
(*.f64 x y) |
x |
y |
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) (*.f64 y z))) |
(-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) (*.f64 y z)) |
#s(approx (+ (* x y) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) |
#s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y)) |
(*.f64 x y) |
x |
y |
(*.f64 y z) |
z |
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 (+.f64 #s(approx (* x y) (*.f64 y y)) (*.f64 y y)) (*.f64 y z))) |
(-.f64 (+.f64 #s(approx (* x y) (*.f64 y y)) (*.f64 y y)) (*.f64 y z)) |
(+.f64 #s(approx (* x y) (*.f64 y y)) (*.f64 y y)) |
#s(approx (* x y) (*.f64 y y)) |
(*.f64 y y) |
y |
(*.f64 y z) |
z |
Found 11 expressions of interest:
| New | Metric | Score | Program |
|---|---|---|---|
| accuracy | 2.0624896791510294 | (+.f64 #s(approx (* x y) (*.f64 y y)) (*.f64 y y)) | |
| accuracy | 2.6484271791510294 | (-.f64 (+.f64 #s(approx (* x y) (*.f64 y y)) (*.f64 y y)) (*.f64 y z)) | |
| accuracy | 16.91153747698702 | #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 (+.f64 #s(approx (* x y) (*.f64 y y)) (*.f64 y y)) (*.f64 y z))) | |
| accuracy | 52.805024157572916 | #s(approx (* x y) (*.f64 y y)) | |
| accuracy | 2.6484271791510294 | (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) (*.f64 y z)) | |
| accuracy | 16.91153747698702 | #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) (*.f64 y z))) | |
| accuracy | 18.44746013994742 | #s(approx (+ (* x y) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) | |
| accuracy | 37.61563659524079 | #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y)) | |
| accuracy | 0.0 | (*.f64 x y) | |
| accuracy | 16.91153747698702 | #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) | |
| accuracy | 37.61563659524079 | #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y)) |
| 14.0ms | 177× | 0 | valid |
| 14.0ms | 79× | 1 | valid |
Compiled 370 to 32 computations (91.4% saved)
ival-mult: 7.0ms (47.5% of total)ival-sub: 4.0ms (27.1% of total)ival-add: 2.0ms (13.6% of total)adjust: 2.0ms (13.6% of total)ival-assert: 0.0ms (0% of total)ival-true: 0.0ms (0% of total)| Inputs |
|---|
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) |
#s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y)) |
(*.f64 x y) |
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) (*.f64 y z))) |
(-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) (*.f64 y z)) |
#s(approx (+ (* x y) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) |
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 (+.f64 #s(approx (* x y) (*.f64 y y)) (*.f64 y y)) (*.f64 y z))) |
(-.f64 (+.f64 #s(approx (* x y) (*.f64 y y)) (*.f64 y y)) (*.f64 y z)) |
(+.f64 #s(approx (* x y) (*.f64 y y)) (*.f64 y y)) |
#s(approx (* x y) (*.f64 y y)) |
| Outputs |
|---|
(* -1 (* y z)) |
(- (* x y) (* y z)) |
(- (pow y 2) (* y z)) |
(- (+ (* x y) (pow y 2)) (* y z)) |
(* x y) |
(pow y 2) |
(+ (* x y) (pow y 2)) |
(* x (+ y (* -1 (/ (* y z) x)))) |
(* x (- (+ y (/ (pow y 2) x)) (/ (* y z) x))) |
(* x (+ y (/ (pow y 2) x))) |
(* -1 (* x (+ (* -1 y) (/ (* y z) x)))) |
(* -1 (* x (+ (* -1 y) (* -1 (/ (- (pow y 2) (* y z)) x))))) |
(* -1 (* x (+ (* -1 y) (* -1 (/ (pow y 2) x))))) |
(* y (- x z)) |
(* y (- (+ x y) z)) |
(* y (+ x y)) |
(* (pow y 2) (- (+ 1 (/ x y)) (/ z y))) |
(* (pow y 2) (+ 1 (/ x y))) |
(* -1 (* y (- (* -1 x) (* -1 z)))) |
(* (pow y 2) (+ 1 (* -1 (/ (- (* -1 x) (* -1 z)) y)))) |
(+ (* -1 (* y z)) (* x y)) |
(+ (* -1 (* y z)) (+ (* x y) (pow y 2))) |
(* z (- (/ (* x y) z) y)) |
(* z (- (+ (/ (* x y) z) (/ (pow y 2) z)) y)) |
(* -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 | |
|---|---|---|---|---|
| 2.0ms | z | @ | -inf | ((- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (* x y) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (+ (* x y) (* y y)) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (+ (* x y) (* y y)) (* x y)) |
| 1.0ms | y | @ | -inf | ((- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (* x y) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (+ (* x y) (* y y)) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (+ (* x y) (* y y)) (* x y)) |
| 1.0ms | y | @ | inf | ((- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (* x y) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (+ (* x y) (* y y)) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (+ (* x y) (* y y)) (* x y)) |
| 1.0ms | x | @ | -inf | ((- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (* x y) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (+ (* x y) (* y y)) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (+ (* x y) (* y y)) (* x y)) |
| 0.0ms | x | @ | 0 | ((- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (* x y) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (+ (* x y) (* y y)) (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (+ (* x y) (* y y)) (* x y)) |
| 1× | egg-herbie |
| Inputs |
|---|
(* -1 (* y z)) |
(- (* x y) (* y z)) |
(- (pow y 2) (* y z)) |
(- (+ (* x y) (pow y 2)) (* y z)) |
(* x y) |
(pow y 2) |
(+ (* x y) (pow y 2)) |
(* x (+ y (* -1 (/ (* y z) x)))) |
(* x (- (+ y (/ (pow y 2) x)) (/ (* y z) x))) |
(* x (+ y (/ (pow y 2) x))) |
(* -1 (* x (+ (* -1 y) (/ (* y z) x)))) |
(* -1 (* x (+ (* -1 y) (* -1 (/ (- (pow y 2) (* y z)) x))))) |
(* -1 (* x (+ (* -1 y) (* -1 (/ (pow y 2) x))))) |
(* y (- x z)) |
(* y (- (+ x y) z)) |
(* y (+ x y)) |
(* (pow y 2) (- (+ 1 (/ x y)) (/ z y))) |
(* (pow y 2) (+ 1 (/ x y))) |
(* -1 (* y (- (* -1 x) (* -1 z)))) |
(* (pow y 2) (+ 1 (* -1 (/ (- (* -1 x) (* -1 z)) y)))) |
(+ (* -1 (* y z)) (* x y)) |
(+ (* -1 (* y z)) (+ (* x y) (pow y 2))) |
(* z (- (/ (* x y) z) y)) |
(* z (- (+ (/ (* x y) z) (/ (pow y 2) z)) y)) |
(* -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 y)) (* y z)) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) |
(- (* x y) (* y z)) |
#s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y)) |
(- (pow y 2) (* y z)) |
(*.f64 x y) |
(- (+ (* x y) (pow y 2)) (* y z)) |
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) (*.f64 y z))) |
(* x y) |
(-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) (*.f64 y z)) |
(pow y 2) |
#s(approx (+ (* x y) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) |
(+ (* x y) (pow y 2)) |
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 (+.f64 #s(approx (* x y) (*.f64 y y)) (*.f64 y y)) (*.f64 y z))) |
(* x (+ y (* -1 (/ (* y z) x)))) |
(-.f64 (+.f64 #s(approx (* x y) (*.f64 y y)) (*.f64 y y)) (*.f64 y z)) |
(* x (- (+ y (/ (pow y 2) x)) (/ (* y z) x))) |
(+.f64 #s(approx (* x y) (*.f64 y y)) (*.f64 y y)) |
(* x (+ y (/ (pow y 2) x))) |
#s(approx (* x y) (*.f64 y y)) |
| Inputs |
|---|
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) |
#s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y)) |
(*.f64 x y) |
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) (*.f64 y z))) |
(-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) (*.f64 y z)) |
#s(approx (+ (* x y) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) |
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 (+.f64 #s(approx (* x y) (*.f64 y y)) (*.f64 y y)) (*.f64 y z))) |
(-.f64 (+.f64 #s(approx (* x y) (*.f64 y y)) (*.f64 y y)) (*.f64 y z)) |
(+.f64 #s(approx (* x y) (*.f64 y y)) (*.f64 y y)) |
#s(approx (* x y) (*.f64 y y)) |
| Outputs |
|---|
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) |
#s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y)) |
(*.f64 x y) |
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) (*.f64 y z))) |
(-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) (*.f64 y z)) |
#s(approx (+ (* x y) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) |
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 (+.f64 #s(approx (* x y) (*.f64 y y)) (*.f64 y y)) (*.f64 y z))) |
(-.f64 (+.f64 #s(approx (* x y) (*.f64 y y)) (*.f64 y y)) (*.f64 y z)) |
(+.f64 #s(approx (* x y) (*.f64 y y)) (*.f64 y y)) |
#s(approx (* x y) (*.f64 y y)) |
Compiled 998 to 47 computations (95.3% saved)
3 alts after pruning (1 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 21 | 1 | 22 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 2 | 3 |
| Done | 0 | 0 | 0 |
| Total | 22 | 3 | 25 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 97.7% | #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) (*.f64 y z))) |
| ▶ | 40.4% | #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))) (*.f64 y z))) |
| ✓ | 54.5% | #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) |
Compiled 109 to 42 computations (61.5% saved)
| 1× | egg-herbie |
Found 4 expressions of interest:
| New | Metric | Score | Program |
|---|---|---|---|
| cost-diff | 0 | #s(approx (* x y) (*.f64 y y)) | |
| cost-diff | 0 | #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))) | |
| cost-diff | 0 | (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))) (*.f64 y z)) | |
| cost-diff | 0 | #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))) (*.f64 y z))) |
| Inputs |
|---|
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))) (*.f64 y z))) |
(-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))) (*.f64 y z)) |
#s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))) |
#s(approx (* x y) (*.f64 y y)) |
(*.f64 y y) |
y |
(*.f64 y z) |
z |
| Outputs |
|---|
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))) (*.f64 y z))) |
(-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))) (*.f64 y z)) |
#s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))) |
#s(approx (* x y) (*.f64 y y)) |
(*.f64 y y) |
y |
(*.f64 y z) |
z |
Found 4 expressions of interest:
| New | Metric | Score | Program |
|---|---|---|---|
| accuracy | 2.6484271791510294 | (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))) (*.f64 y z)) | |
| accuracy | 16.91153747698702 | #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))) (*.f64 y z))) | |
| accuracy | 26.34049486213521 | #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))) | |
| accuracy | 52.805024157572916 | #s(approx (* x y) (*.f64 y y)) |
| 12.0ms | 177× | 0 | valid |
| 10.0ms | 79× | 1 | valid |
Compiled 130 to 26 computations (80% saved)
ival-mult: 6.0ms (47.4% of total)ival-sub: 3.0ms (23.7% of total)adjust: 2.0ms (15.8% of total)ival-add: 1.0ms (7.9% of total)ival-assert: 0.0ms (0% of total)ival-true: 0.0ms (0% of total)| Inputs |
|---|
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))) (*.f64 y z))) |
(-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))) (*.f64 y z)) |
#s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))) |
#s(approx (* x y) (*.f64 y y)) |
| Outputs |
|---|
(* -1 (* y z)) |
(- (* x y) (* y z)) |
(- (pow y 2) (* y z)) |
(- (+ (* x y) (pow y 2)) (* y z)) |
(pow y 2) |
(+ (* x y) (pow y 2)) |
(* x y) |
(* x (+ y (* -1 (/ (* y z) x)))) |
(* x (- (+ y (/ (pow y 2) x)) (/ (* y z) x))) |
(* x (+ y (/ (pow y 2) x))) |
(* -1 (* x (+ (* -1 y) (/ (* y z) x)))) |
(* -1 (* x (+ (* -1 y) (* -1 (/ (- (pow y 2) (* y z)) x))))) |
(* -1 (* x (+ (* -1 y) (* -1 (/ (pow y 2) x))))) |
(* y (- x z)) |
(* y (- (+ x y) z)) |
(* y (+ x y)) |
(* (pow y 2) (- (+ 1 (/ x y)) (/ z y))) |
(* (pow y 2) (+ 1 (/ x y))) |
(* -1 (* y (- (* -1 x) (* -1 z)))) |
(* (pow y 2) (+ 1 (* -1 (/ (- (* -1 x) (* -1 z)) y)))) |
(+ (* -1 (* y z)) (* x y)) |
(+ (* -1 (* y z)) (+ (* x y) (pow y 2))) |
(* z (- (/ (* x y) z) y)) |
(* z (- (+ (/ (* x y) z) (/ (pow y 2) z)) y)) |
(* -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 y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (+ (* x y) (* y y)) (* x y)) |
| 1.0ms | y | @ | inf | ((- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (+ (* x y) (* y y)) (* x y)) |
| 0.0ms | x | @ | -inf | ((- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (+ (* x y) (* y y)) (* x y)) |
| 0.0ms | x | @ | 0 | ((- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (+ (* x y) (* y y)) (* x y)) |
| 0.0ms | y | @ | 0 | ((- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (- (+ (* x y) (* y y)) (* y z)) (+ (* x y) (* y y)) (* x y)) |
| 1× | egg-herbie |
| Inputs |
|---|
(* -1 (* y z)) |
(- (* x y) (* y z)) |
(- (pow y 2) (* y z)) |
(- (+ (* x y) (pow y 2)) (* y z)) |
(pow y 2) |
(+ (* x y) (pow y 2)) |
(* x y) |
(* x (+ y (* -1 (/ (* y z) x)))) |
(* x (- (+ y (/ (pow y 2) x)) (/ (* y z) x))) |
(* x (+ y (/ (pow y 2) x))) |
(* -1 (* x (+ (* -1 y) (/ (* y z) x)))) |
(* -1 (* x (+ (* -1 y) (* -1 (/ (- (pow y 2) (* y z)) x))))) |
(* -1 (* x (+ (* -1 y) (* -1 (/ (pow y 2) x))))) |
(* y (- x z)) |
(* y (- (+ x y) z)) |
(* y (+ x y)) |
(* (pow y 2) (- (+ 1 (/ x y)) (/ z y))) |
(* (pow y 2) (+ 1 (/ x y))) |
(* -1 (* y (- (* -1 x) (* -1 z)))) |
(* (pow y 2) (+ 1 (* -1 (/ (- (* -1 x) (* -1 z)) y)))) |
(+ (* -1 (* y z)) (* x y)) |
(+ (* -1 (* y z)) (+ (* x y) (pow y 2))) |
(* z (- (/ (* x y) z) y)) |
(* z (- (+ (/ (* x y) z) (/ (pow y 2) z)) y)) |
(* -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 y)) (* y z)) (* y y)) (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))) (*.f64 y z))) |
(- (* x y) (* y z)) |
(-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))) (*.f64 y z)) |
(- (pow y 2) (* y z)) |
#s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))) |
(- (+ (* x y) (pow y 2)) (* y z)) |
#s(approx (* x y) (*.f64 y y)) |
| Inputs |
|---|
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))) (*.f64 y z))) |
(-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))) (*.f64 y z)) |
#s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))) |
#s(approx (* x y) (*.f64 y y)) |
| Outputs |
|---|
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))) (*.f64 y z))) |
(-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))) (*.f64 y z)) |
#s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))) |
#s(approx (* x y) (*.f64 y y)) |
Compiled 269 to 20 computations (92.6% saved)
3 alts after pruning (1 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 6 | 1 | 7 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 2 | 2 |
| Total | 7 | 3 | 10 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 97.7% | #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) (*.f64 y z))) |
| ✓ | 54.5% | #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) |
| 13.9% | #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))))) |
Compiled 384 to 74 computations (80.7% saved)
| Inputs |
|---|
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))))) |
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) |
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))) (*.f64 y z))) |
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) (*.f64 y z))) |
(-.f64 #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y)) (*.f64 y y)) |
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 (+.f64 #s(approx (* x y) (*.f64 y y)) (*.f64 y y)) (*.f64 y z))) |
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z))) |
(-.f64 #s(approx (- (+ (* x y) (* y y)) (* y z)) (+.f64 (*.f64 x y) (*.f64 y y))) (*.f64 y y)) |
(-.f64 (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) (*.f64 y y)) |
| Outputs |
|---|
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) (*.f64 y z))) |
4 calls:
| 5.0ms | z |
| 3.0ms | x |
| 3.0ms | y |
| 3.0ms | (-.f64 (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) (*.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 y)) (*.f64 y z)) (*.f64 y y)) |
Compiled 18 to 18 computations (0% saved)
| Inputs |
|---|
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))))) |
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) |
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))) (*.f64 y z))) |
| Outputs |
|---|
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))) (*.f64 y z))) |
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) |
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))) (*.f64 y z))) |
4 calls:
| 2.0ms | x |
| 2.0ms | z |
| 2.0ms | y |
| 2.0ms | (-.f64 (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) (*.f64 y y)) |
| Accuracy | Segments | Branch |
|---|---|---|
| 70.3% | 3 | x |
| 58.6% | 3 | y |
| 75.1% | 3 | z |
| 58.1% | 3 | (-.f64 (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) (*.f64 y y)) |
Compiled 18 to 18 computations (0% saved)
| Inputs |
|---|
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))))) |
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) |
| Outputs |
|---|
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) |
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))))) |
4 calls:
| 1.0ms | z |
| 1.0ms | x |
| 1.0ms | y |
| 1.0ms | (-.f64 (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) (*.f64 y y)) |
| Accuracy | Segments | Branch |
|---|---|---|
| 54.5% | 1 | (-.f64 (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) (*.f64 y y)) |
| 54.5% | 1 | y |
| 54.5% | 1 | x |
| 56.4% | 2 | z |
Compiled 18 to 18 computations (0% saved)
Total 0.0b remaining (0%)
Threshold costs 0b (0%)
| Inputs |
|---|
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))))) |
| Outputs |
|---|
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))))) |
4 calls:
| 1.0ms | y |
| 1.0ms | z |
| 1.0ms | (-.f64 (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) (*.f64 y y)) |
| 1.0ms | x |
| Accuracy | Segments | Branch |
|---|---|---|
| 13.9% | 1 | x |
| 13.9% | 1 | (-.f64 (-.f64 (+.f64 (*.f64 x y) (*.f64 y y)) (*.f64 y z)) (*.f64 y y)) |
| 13.9% | 1 | y |
| 13.9% | 1 | z |
Compiled 18 to 18 computations (0% saved)
| 2× | binary-search |
| 1× | narrow-enough |
| 1× | narrow-enough |
| Time | Left | Right |
|---|---|---|
| 19.0ms | 2.0310347761381705e+130 | 2.1241409879521533e+136 |
| 16.0ms | -8.632290581044975e-17 | -1.3439759218396182e-20 |
| 13.0ms | 79× | 1 | valid |
| 11.0ms | 193× | 0 | valid |
Compiled 1 140 to 508 computations (55.4% saved)
ival-mult: 7.0ms (42.7% of total)adjust: 5.0ms (30.5% of total)ival-sub: 3.0ms (18.3% of total)ival-add: 2.0ms (12.2% of total)ival-assert: 0.0ms (0% of total)ival-true: 0.0ms (0% of total)| 1× | binary-search |
| 1× | narrow-enough |
| Time | Left | Right |
|---|---|---|
| 13.0ms | 2.930831188385979e+159 | 5.4446458468488e+162 |
| 6.0ms | 105× | 0 | valid |
| 3.0ms | 23× | 1 | valid |
Compiled 610 to 239 computations (60.8% saved)
ival-mult: 3.0ms (55.6% of total)adjust: 1.0ms (18.5% of total)ival-sub: 1.0ms (18.5% of total)ival-add: 1.0ms (18.5% 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 y)) (* y z)) (* y y)) (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) (*.f64 y z))) |
(if (<=.f64 z #s(literal -215500602038799/2535301200456458802993406410752 binary64)) #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))) (*.f64 y z))) (if (<=.f64 z #s(literal 20499999999999998886058986133135908067018039071266016276300017787674220912359897542346918516539652824341589200308997086906526203904 binary64)) #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))) (*.f64 y z))))) |
(if (<=.f64 z #s(literal 5400000000000000303723777150543755305783948522610886538341816323768595333920116344737551793893831529687149797361384443749741139971183075400865564690029208294916096 binary64)) #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y)))))) |
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))))) |
| Outputs |
|---|
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) (*.f64 y z))) |
(if (<=.f64 z #s(literal -215500602038799/2535301200456458802993406410752 binary64)) #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))) (*.f64 y z))) (if (<=.f64 z #s(literal 20499999999999998886058986133135908067018039071266016276300017787674220912359897542346918516539652824341589200308997086906526203904 binary64)) #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) (-.f64 #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))) (*.f64 y z))))) |
(if (<=.f64 z #s(literal 5400000000000000303723777150543755305783948522610886538341816323768595333920116344737551793893831529687149797361384443749741139971183075400865564690029208294916096 binary64)) #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) (*.f64 x y))) #s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y)))))) |
#s(approx (- (- (+ (* x y) (* y y)) (* y z)) (* y y)) #s(approx (- (+ (* x y) (* y y)) (* y z)) #s(approx (+ (* x y) (* y y)) #s(approx (* x y) (*.f64 y y))))) |
| 1× | fuel |
Compiled 273 to 32 computations (88.3% saved)
Compiled 586 to 92 computations (84.3% saved)
Loading profile data...