Example from Robby

Time bar (total: 8.9s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze466.0ms (5.3%)

Memory
-1.4MiB live, 134.2MiB 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.8MiB live, 16.2MiB allocated
Samples
47.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 41.0ms
ival-sin: 13.0ms (31.7% of total)
ival-cos: 10.0ms (24.4% of total)
ival-mult: 6.0ms (14.6% of total)
ival-tan: 5.0ms (12.2% of total)
ival-div: 3.0ms (7.3% 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)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
Bogosity

explain8.1s (91.4%)

Memory
22.8MiB live, 1 618.2MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1550-0-(cos.f64 (atan.f64 (/.f64 (/.f64 eh ew) (tan.f64 t))))
130-1(9.937980046272085e-124 -5.845054616743128e+198 2.5352472186833835e-173)(/.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
273.0869140625
Average Time
1.0667457580566406
Samples
5.1s2 016×2valid
960.0ms1 656×1valid
419.0ms2 472×0valid
Compiler

Compiled 5 064 to 864 computations (82.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.1s
ival-sin: 4.3s (70.8% of total)
ival-cos: 738.0ms (12.1% of total)
adjust: 282.0ms (4.6% of total)
ival-mult: 234.0ms (3.8% of total)
ival-tan: 203.0ms (3.3% of total)
ival-div: 118.0ms (1.9% of total)
ival-atan: 95.0ms (1.6% of total)
ival-fabs: 50.0ms (0.8% of total)
ival-add: 48.0ms (0.8% of total)
ival-true: 5.0ms (0.1% of total)
ival-assert: 2.0ms (0% of total)

preprocess217.0ms (2.5%)

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

simplify20.0ms (0.2%)

Memory
2.7MiB live, 18.5MiB 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...