From Rump in a 1983 paper, rewritten

Time bar (total: 1.1s)

start0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated; 0ms collecting garbage

analyze0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated; 0ms collecting garbage
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%0%100%0%0%0%0
100%0%0%100%0%0%0%1
Compiler

Compiled 23 to 17 computations (26.1% saved)

sample853.0ms (78.5%)

Memory
-69.1MiB live, 1 017.8MiB allocated; 207ms collecting garbage
Samples
610.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 422.0ms
ival-mult: 169.0ms (40.1% of total)
ival-pow: 145.0ms (34.4% of total)
ival-sub: 89.0ms (21.1% of total)
exact: 13.0ms (3.1% of total)
ival-assert: 3.0ms (0.7% of total)
adjust: 2.0ms (0.5% of total)
Bogosity

explain103.0ms (9.5%)

Memory
15.5MiB live, 153.8MiB allocated; 9ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
2560-0-(-.f64 (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) #s(literal 2 binary64))))
00-0-(*.f64 (*.f64 y y) (-.f64 (*.f64 y y) #s(literal 2 binary64)))
00-0-#s(literal 9 binary64)
00-0-#s(literal 4 binary64)
00-0-(-.f64 (*.f64 y y) #s(literal 2 binary64))
00-0-#s(literal 2 binary64)
00-0-y
00-0-(pow.f64 x #s(literal 4 binary64))
00-0-(*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64)))
00-0-(*.f64 y y)
00-0-x
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64(-.f64 (*.f64 #s(literal 9 binary64) (pow.f64 x #s(literal 4 binary64))) (*.f64 (*.f64 y y) (-.f64 (*.f64 y y) #s(literal 2 binary64))))cancellation10
Confusion
Predicted +Predicted -
+2560
-00
Precision
1.0
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+25600
-000
Precision?
1.0
Recall?
1.0
Freqs
test
numberfreq
1256
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
36.0ms512×0valid
Compiler

Compiled 109 to 37 computations (66.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 19.0ms
ival-mult: 9.0ms (47.2% of total)
ival-pow: 5.0ms (26.2% of total)
ival-sub: 4.0ms (21% of total)
exact: 1.0ms (5.2% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess130.0ms (11.9%)

Memory
24.8MiB live, 117.7MiB allocated; 15ms collecting garbage
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02894
16894
217892
339692
475992
5213490
6599590
01115
01715
13015
27215
318115
436215
5105415
6579815
0863615
Stop Event
iter limit
node limit
iter limit
node limit

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...