Example from Robby

Time bar (total: 30.0s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze477.0ms (1.6%)

Memory
-2.1MiB live, 134.3MiB 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)

sample58.0ms (0.2%)

Memory
-1.1MiB live, 15.8MiB allocated
Samples
48.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 42.0ms
ival-sin: 15.0ms (35.8% of total)
ival-cos: 10.0ms (23.8% of total)
ival-mult: 6.0ms (14.3% of total)
ival-tan: 4.0ms (9.5% of total)
ival-div: 3.0ms (7.2% of total)
ival-add: 1.0ms (2.4% of total)
ival-fabs: 1.0ms (2.4% of total)
ival-atan: 1.0ms (2.4% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
Bogosity

explain29.2s (97.4%)

Memory
1.9MiB live, 6 115.7MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1540-0-(cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))
100-0-(/.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))))sensitivity1540
Confusion
Predicted +Predicted -
+00
-154102
Precision
0.0
Recall
0/0
Confusion?
Predicted +Predicted MaybePredicted -
+000
-1540102
Precision?
0.0
Recall?
0/0
Freqs
test
numberfreq
0102
1154
Total Confusion?
Predicted +Predicted MaybePredicted -
+000
-100
Precision?
0.0
Recall?
0/0
Total Time
259.085693359375
Average Time
1.0120534896850586
Samples
17.3s6 930×2valid
4.1s6 570×1valid
1.7s9 540×0valid
Compiler

Compiled 18 990 to 3 240 computations (82.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 21.6s
ival-sin: 15.3s (70.6% of total)
ival-cos: 2.7s (12.6% of total)
ival-mult: 875.0ms (4% of total)
ival-tan: 766.0ms (3.5% of total)
adjust: 691.0ms (3.2% of total)
ival-div: 452.0ms (2.1% of total)
ival-atan: 361.0ms (1.7% of total)
ival-add: 287.0ms (1.3% of total)
ival-fabs: 187.0ms (0.9% of total)
ival-true: 18.0ms (0.1% of total)
ival-assert: 8.0ms (0% of total)

preprocess217.0ms (0.7%)

Memory
-0.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)

eval0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated
Compiler

Compiled 0 to 3 computations (-∞% saved)

prune1.0ms (0%)

Memory
0.5MiB live, 0.5MiB 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)

simplify27.0ms (0.1%)

Memory
-8.1MiB 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...