Data.Random.Dice:roll from dice-0.1

Time bar (total: 743.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
100%100%0%0%0%0%0%1
Compiler

Compiled 7 to 6 computations (14.3% saved)

sample12.0ms (1.6%)

Memory
4.9MiB live, 4.9MiB allocated
Samples
7.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 3.0ms
ival-mult: 2.0ms (63.9% of total)
ival-sub: 1.0ms (31.9% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

explain337.0ms (45.4%)

Memory
3.7MiB live, 249.8MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-#s(literal 1 binary64)
00-0-(*.f64 x x)
00-0-(-.f64 (*.f64 x x) #s(literal 1 binary64))
00-0-x
Confusion
Predicted +Predicted -
+00
-0256
Precision
0/0
Recall
0/0
Confusion?
Predicted +Predicted MaybePredicted -
+000
-00256
Precision?
0/0
Recall?
0/0
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Freqs
test
numberfreq
0256
Total Confusion?
Predicted +Predicted MaybePredicted -
+000
-001
Precision?
0/0
Recall?
0/0
Total Time
2.73828125
Average Time
0.0106964111328125
Samples
87.0ms3 072×0valid
Compiler

Compiled 444 to 216 computations (51.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 38.0ms
ival-mult: 20.0ms (53.1% of total)
ival-sub: 12.0ms (31.8% of total)
ival-true: 2.0ms (5.3% of total)
exact: 2.0ms (5.3% of total)
adjust: 1.0ms (2.7% of total)
ival-assert: 1.0ms (2.7% of total)

preprocess372.0ms (50%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0611
12311
26510
316310
440510
571210
6122510
7222510
8312710
9370110
10398010
11427410
12442810
13450110
14471210
15547910
16567710
17734910
18787210
045
065
1145
2185
3335
4625
51235
62835
75625
820535
931505
1043875
1150325
1252905
1354415
1455235
1558375
1663835
1774945
1879285
081154
Stop Event
1×iter limit
1×node limit
1×iter limit
1×node limit
Calls
Call 1
Inputs
(-.f64 (*.f64 x x) #s(literal 1 binary64))
Outputs
(-.f64 (*.f64 x x) #s(literal 1 binary64))
(fma.f64 x x #s(literal -1 binary64))
Symmetry

(abs x)

Compiler

Compiled 5 to 4 computations (20% saved)

eval0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated
Compiler

Compiled 0 to 1 computations (-∞% saved)

prune1.0ms (0.1%)

Memory
0.4MiB live, 0.4MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(-.f64 (*.f64 x x) #s(literal 1 binary64))
Compiler

Compiled 10 to 8 computations (20% saved)

simplify20.0ms (2.7%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
045
195
2135
3165
4195
5225
Stop Event
1×saturated
Calls
Call 1
Inputs
(-.f64 (*.f64 x x) #s(literal 1 binary64))
Outputs
(-.f64 (*.f64 x x) #s(literal 1 binary64))

soundness0.0ms (0%)

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

Compiled 5 to 4 computations (20% saved)

preprocess2.0ms (0.2%)

Memory
1.2MiB live, 1.2MiB allocated
Remove

(abs x)

Compiler

Compiled 40 to 32 computations (20% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...