Time bar (total: 638.0ms)
1× | random |
Compiled 5 to 4 computations (20% saved)
255.0ms | 8 256× | 0 | valid |
ival-pow2
: 99.0ms (67.4% of total)ival-pi
: 38.0ms (25.9% of total)ival-true
: 6.0ms (4.1% of total)ival-assert
: 4.0ms (2.7% of total)Ground Truth | Overpredictions | Example | Underpredictions | Example | Subexpression |
---|---|---|---|---|---|
0 | 0 | - | 0 | - | (pow.f64 (PI.f64) #s(literal 2 binary64)) |
0 | 0 | - | 0 | - | #s(literal 2 binary64) |
0 | 0 | - | 0 | - | (PI.f64) |
Predicted + | Predicted - | |
---|---|---|
+ | 0 | 0 |
- | 0 | 256 |
Predicted + | Predicted Maybe | Predicted - | |
---|---|---|---|
+ | 0 | 0 | 0 |
- | 0 | 0 | 256 |
number | freq |
---|---|
0 | 256 |
Predicted + | Predicted Maybe | Predicted - | |
---|---|---|---|
+ | 0 | 0 | 0 |
- | 0 | 0 | 1 |
17.0ms | 512× | 0 | valid |
Compiled 17 to 13 computations (23.5% saved)
ival-pow2
: 6.0ms (62.9% of total)ival-pi
: 3.0ms (31.4% of total)ival-true
: 0.0ms (0% of total)exact
: 0.0ms (0% of total)ival-assert
: 0.0ms (0% of total)1× | egg-herbie |
Useful iterations: 0 (0.0ms)
Iter | Nodes | Cost |
---|---|---|
0 | 0 | 0 |
0 | 3 | 3 |
0 | 5 | 3 |
1 | 6 | 3 |
0 | 6 | 3 |
1× | iter limit |
1× | saturated |
1× | iter limit |
1× | saturated |
Inputs |
---|
(pow.f64 (PI.f64) #s(literal 2 binary64)) |
Outputs |
---|
(pow.f64 (PI.f64) #s(literal 2 binary64)) |
(*.f64 (PI.f64) (PI.f64)) |
Compiled 3 to 3 computations (0% saved)
Compiled 0 to 0 computations (0% saved)
Status | Accuracy | Program |
---|---|---|
▶ | 100.0% | (pow.f64 (PI.f64) #s(literal 2 binary64)) |
Compiled 3 to 3 computations (0% saved)
1× | egg-herbie |
Found 2 expressions of interest:
New | Metric | Score | Program |
---|---|---|---|
cost-diff | 0 | (PI.f64) | |
cost-diff | 0 | (pow.f64 (PI.f64) #s(literal 2 binary64)) |
Useful iterations: 0 (0.0ms)
Iter | Nodes | Cost |
---|---|---|
0 | 3 | 5 |
0 | 5 | 5 |
1 | 6 | 5 |
0 | 6 | 5 |
1× | iter limit |
1× | saturated |
1× | iter limit |
Inputs |
---|
(pow.f64 (PI.f64) #s(literal 2 binary64)) |
(PI.f64) |
#s(literal 2 binary64) |
Outputs |
---|
(pow.f64 (PI.f64) #s(literal 2 binary64)) |
(*.f64 (PI.f64) (PI.f64)) |
(PI.f64) |
#s(literal 2 binary64) |
Found 2 expressions of interest:
New | Metric | Score | Program |
---|---|---|---|
accuracy | 0.0 | (pow.f64 (PI.f64) #s(literal 2 binary64)) | |
accuracy | 0.0 | (PI.f64) |
8.0ms | 256× | 0 | valid |
Compiled 7 to 5 computations (28.6% saved)
ival-pow2
: 3.0ms (65.4% of total)ival-pi
: 1.0ms (21.8% of total)ival-true
: 0.0ms (0% of total)exact
: 0.0ms (0% of total)ival-assert
: 0.0ms (0% of total)Inputs |
---|
(pow.f64 (PI.f64) #s(literal 2 binary64)) |
(PI.f64) |
Outputs |
---|
1× | egg-herbie |
Useful iterations: 0 (0.0ms)
Iter | Nodes | Cost |
---|---|---|
0 | 0 | 0 |
0 | 0 | 0 |
1× | saturated |
1× | saturated |
Inputs |
---|
Outputs |
---|
Useful iterations: 0 (0.0ms)
Iter | Nodes | Cost |
---|---|---|
0 | 3 | 4 |
0 | 5 | 2 |
1 | 23 | 2 |
2 | 118 | 2 |
3 | 764 | 2 |
4 | 6449 | 2 |
5 | 6541 | 2 |
6 | 6790 | 2 |
0 | 8032 | 2 |
1× | iter limit |
1× | node limit |
1× | iter limit |
Inputs |
---|
(pow.f64 (PI.f64) #s(literal 2 binary64)) |
(PI.f64) |
Outputs |
---|
(PI.f64) |
#s(literal 1 binary64) |
(PI.f64) |
#s(literal 1 binary64) |
Compiled 2 to 2 computations (0% saved)
2 alts after pruning (1 fresh and 1 done)
Pruned | Kept | Total | |
---|---|---|---|
New | 1 | 1 | 2 |
Fresh | 0 | 0 | 0 |
Picked | 0 | 1 | 1 |
Done | 0 | 0 | 0 |
Total | 1 | 2 | 3 |
Status | Accuracy | Program |
---|---|---|
✓ | 100.0% | (pow.f64 (PI.f64) #s(literal 2 binary64)) |
▶ | 17.6% | (PI.f64) |
Compiled 4 to 4 computations (0% saved)
1× | egg-herbie |
Found 1 expressions of interest:
New | Metric | Score | Program |
---|---|---|---|
cost-diff | 0 | (PI.f64) |
Useful iterations: 0 (0.0ms)
Iter | Nodes | Cost |
---|---|---|
0 | 1 | 1 |
0 | 2 | 1 |
0 | 2 | 1 |
1× | iter limit |
1× | saturated |
1× | iter limit |
Inputs |
---|
(PI.f64) |
Outputs |
---|
(PI.f64) |
Found 1 expressions of interest:
New | Metric | Score | Program |
---|---|---|---|
accuracy | 0.0 | (PI.f64) |
4.0ms | 256× | 0 | valid |
Compiled 3 to 3 computations (0% saved)
ival-pi
: 1.0ms (68.3% of total)ival-true
: 0.0ms (0% of total)ival-assert
: 0.0ms (0% of total)Inputs |
---|
(PI.f64) |
Outputs |
---|
1× | egg-herbie |
Useful iterations: 0 (0.0ms)
Iter | Nodes | Cost |
---|---|---|
0 | 0 | 0 |
0 | 0 | 0 |
1× | saturated |
1× | saturated |
Inputs |
---|
Outputs |
---|
Useful iterations: 0 (0.0ms)
Iter | Nodes | Cost |
---|---|---|
0 | 1 | 1 |
0 | 2 | 1 |
1 | 17 | 1 |
2 | 104 | 1 |
3 | 747 | 1 |
4 | 5783 | 1 |
5 | 5850 | 1 |
6 | 6136 | 1 |
7 | 7492 | 1 |
0 | 8217 | 1 |
1× | iter limit |
1× | node limit |
1× | iter limit |
Inputs |
---|
(PI.f64) |
Outputs |
---|
(PI.f64) |
#s(literal 1 binary64) |
Compiled 2 to 2 computations (0% saved)
2 alts after pruning (0 fresh and 2 done)
Pruned | Kept | Total | |
---|---|---|---|
New | 2 | 0 | 2 |
Fresh | 0 | 0 | 0 |
Picked | 0 | 1 | 1 |
Done | 0 | 1 | 1 |
Total | 2 | 2 | 4 |
Status | Accuracy | Program |
---|---|---|
✓ | 100.0% | (pow.f64 (PI.f64) #s(literal 2 binary64)) |
✓ | 17.6% | (PI.f64) |
Compiled 8 to 8 computations (0% saved)
1× | egg-herbie |
Useful iterations: 0 (0.0ms)
Iter | Nodes | Cost |
---|---|---|
0 | 3 | 3 |
1× | saturated |
Inputs |
---|
(pow.f64 (PI.f64) #s(literal 2 binary64)) |
Outputs |
---|
(pow.f64 (PI.f64) #s(literal 2 binary64)) |
1× | done |
Compiled 3 to 3 computations (0% saved)
Compiled 12 to 12 computations (0% saved)
Loading profile data...