Example from Robby

Time bar (total: 9.4s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze477.0ms (5.1%)

Memory
-1.9MiB live, 135.6MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
0%0%99.9%0.1%0%0%0%3
0%0%99.9%0.1%0%0%0%4
0%0%99.9%0.1%0%0%0%5
0%0%99.9%0.1%0%0%0%6
18.8%18.7%81.1%0.1%0%0%0%7
18.8%18.7%81.1%0.1%0%0%0%8
21.9%21.8%78%0.1%0%0%0%9
32.8%32.8%67.1%0.1%0%0%0%10
32.8%32.8%67.1%0.1%0%0%0%11
35.2%35.1%64.7%0.1%0%0%0%12
Compiler

Compiled 30 to 19 computations (36.7% saved)

sample57.0ms (0.6%)

Memory
-0.5MiB live, 15.8MiB allocated
Samples
46.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 40.0ms
ival-sin: 14.0ms (34.7% of total)
ival-cos: 10.0ms (24.8% of total)
ival-mult: 6.0ms (14.9% of total)
ival-tan: 4.0ms (9.9% of total)
ival-div: 3.0ms (7.4% of total)
ival-add: 1.0ms (2.5% of total)
ival-fabs: 1.0ms (2.5% of total)
ival-atan: 1.0ms (2.5% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
Bogosity

explain8.6s (91.8%)

Memory
-111.6MiB live, 1 643.5MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1550-0-(cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))
80-3(-5.175251347439516e-207 -1.088115028685585e+110 -7.049690150319302e-11)(/.f64 (/.f64 eh ew) (tan.f64 t))
00-0-t
00-0-(*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))
00-0-(fabs.f64 (+.f64 (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
00-0-(/.f64 eh ew)
00-0-(*.f64 ew (sin.f64 t))
00-0-(+.f64 (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))))
00-0-(*.f64 eh (cos.f64 t))
00-0-(sin.f64 t)
00-0-(atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))
00-0-(cos.f64 t)
00-0-(sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))
00-0-ew
00-0-(tan.f64 t)
00-0-(*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))
00-0-eh
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
cos.f64(cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))sensitivity1550
Confusion
Predicted +Predicted -
+00
-155101
Precision
0.0
Recall
0/0
Confusion?
Predicted +Predicted MaybePredicted -
+000
-1550101
Precision?
0.0
Recall?
0/0
Freqs
test
numberfreq
0101
1155
Total Confusion?
Predicted +Predicted MaybePredicted -
+000
-100
Precision?
0.0
Recall?
0/0
Total Time
293.856689453125
Average Time
1.1478776931762695
Samples
5.7s2 280×2valid
838.0ms1 344×1valid
416.0ms2 520×0valid
Compiler

Compiled 5 064 to 864 computations (82.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.5s
ival-sin: 4.8s (73.8% of total)
ival-cos: 780.0ms (11.9% of total)
ival-mult: 233.0ms (3.6% of total)
adjust: 196.0ms (3% of total)
ival-tan: 182.0ms (2.8% of total)
ival-div: 116.0ms (1.8% of total)
ival-atan: 98.0ms (1.5% of total)
ival-fabs: 50.0ms (0.8% of total)
ival-add: 48.0ms (0.7% of total)
ival-true: 5.0ms (0.1% of total)
ival-assert: 2.0ms (0% of total)

preprocess209.0ms (2.2%)

Memory
6.7MiB live, 6.7MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
087273
1179273
2339267
3516267
4607267
5697267
61008267
71301267
82044267
93863267
105432267
115992267
126307267
136480267
146531267
157072267
167431267
177503267
187524267
197545267
207560267
217566267
227566267
237658267
01728
03128
14228
25928
36328
06327
Stop Event
1×iter limit
1×saturated
1×iter limit
1×node limit
Calls
Call 1
Inputs
(fabs.f64 (+.f64 (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
Outputs
(fabs.f64 (+.f64 (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
(fabs.f64 (fma.f64 (sin.f64 (atan.f64 (/.f64 (/.f64 eh (tan.f64 t)) ew))) (*.f64 (cos.f64 t) eh) (*.f64 (cos.f64 (atan.f64 (/.f64 (/.f64 eh (tan.f64 t)) ew))) (*.f64 (sin.f64 t) ew))))
Compiler

Compiled 28 to 17 computations (39.3% saved)

eval1.0ms (0%)

Memory
-7.7MiB live, 0.1MiB allocated
Compiler

Compiled 0 to 3 computations (-∞% saved)

prune6.0ms (0.1%)

Memory
0.6MiB live, 0.6MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
99.8%
(fabs.f64 (+.f64 (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
Compiler

Compiled 56 to 34 computations (39.3% saved)

simplify20.0ms (0.2%)

Memory
1.0MiB live, 18.6MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01728
12228
Stop Event
1×saturated
Calls
Call 1
Inputs
(fabs.f64 (+.f64 (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
Outputs
(fabs.f64 (+.f64 (*.f64 (*.f64 ew (sin.f64 t)) (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))) (*.f64 (*.f64 eh (cos.f64 t)) (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))))))
(fabs.f64 (+.f64 (*.f64 (sin.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (*.f64 (cos.f64 t) eh)) (*.f64 (cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t)))) (*.f64 (sin.f64 t) ew))))

soundness0.0ms (0%)

Memory
0.2MiB live, 0.2MiB allocated
Stop Event
1×fuel
Compiler

Compiled 28 to 17 computations (39.3% saved)

preprocess1.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated
Compiler

Compiled 112 to 68 computations (39.3% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...