Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1, B

Time bar (total: 1.0s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze112.0ms (10.8%)

Memory
5.9MiB live, 45.9MiB allocated
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.8%0.2%0%0%0%0
0%0%99.8%0.2%0%0%0%1
0%0%99.8%0.2%0%0%0%2
0%0%99.8%0.2%0%0%0%3
0%0%99.8%0.2%0%0%0%4
25%25%74.9%0.2%0%0%0%5
25%25%74.9%0.2%0%0%0%6
25%25%74.9%0.2%0%0%0%7
37.5%37.4%62.4%0.2%0%0%0%8
56.3%56.1%43.7%0.2%0%0%0%9
56.3%56.1%43.7%0.2%0%0%0%10
56.3%56.1%43.7%0.2%0%0%0%11
65.6%65.5%34.3%0.2%0%0%0%12
Compiler

Compiled 11 to 10 computations (9.1% saved)

sample20.0ms (1.9%)

Memory
-0.7MiB live, 7.0MiB allocated
Samples
12.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 6.0ms
ival-div: 3.0ms (46.6% of total)
ival-mult: 3.0ms (46.6% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

explain594.0ms (57%)

Memory
2.4MiB live, 456.0MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
400-2(-7.1292520792137684e-68 4.579982475553694e-270 1.3812642126867284e-101 1.8985754982090565e-146)(/.f64 (*.f64 (/.f64 y z) t) t)
330-1(-1.5368770898972803e+203 -1.1788104806122711e-220 -5.557505239927278e+101 -4.0227505239923167e+213)(*.f64 x (/.f64 (*.f64 (/.f64 y z) t) t))
290-1(-1.5368770898972803e+203 -1.1788104806122711e-220 -5.557505239927278e+101 -4.0227505239923167e+213)(*.f64 (/.f64 y z) t)
00-0-y
00-0-t
00-0-z
00-0-x
00-0-(/.f64 y z)
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
/.f64(/.f64 (*.f64 (/.f64 y z) t) t)o/n240
(*.f64 (/.f64 y z) t)overflow52
(/.f64 y z)overflow47
*.f64(*.f64 x (/.f64 (*.f64 (/.f64 y z) t) t))n*o200
*.f64(*.f64 (/.f64 y z) t)n*o190
/.f64(/.f64 (*.f64 (/.f64 y z) t) t)u/n140
(*.f64 (/.f64 y z) t)underflow35
(/.f64 y z)underflow30
*.f64(*.f64 x (/.f64 (*.f64 (/.f64 y z) t) t))n*u120
*.f64(*.f64 (/.f64 y z) t)n*u90
Confusion
Predicted +Predicted -
+603
-25168
Precision
0.7058823529411765
Recall
0.9523809523809523
Confusion?
Predicted +Predicted MaybePredicted -
+6003
-250168
Precision?
0.7058823529411765
Recall?
0.9523809523809523
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Freqs
test
numberfreq
0171
172
213
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Total Time
2.577392578125
Average Time
0.010067939758300781
Samples
162.0ms3 072×0valid
Compiler

Compiled 1 140 to 408 computations (64.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 77.0ms
ival-div: 40.0ms (52.2% of total)
ival-mult: 33.0ms (43.1% of total)
ival-true: 2.0ms (2.6% of total)
adjust: 1.0ms (1.3% of total)
ival-assert: 1.0ms (1.3% of total)

preprocess199.0ms (19.1%)

Memory
-4.4MiB live, 29.2MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
050140
115878
247174
3170574
4424074
5704674
6754074
7765474
8774174
9778374
089
0129
1207
2435
3885
43215
510105
625245
728395
830225
930965
1031475
1132015
1258905
1360265
1464565
1569405
1676075
081015
Stop Event
iter limit
node limit
iter limit
node limit
Calls
Call 1
Inputs
(*.f64 x (/.f64 (*.f64 (/.f64 y z) t) t))
Outputs
(*.f64 x (/.f64 (*.f64 (/.f64 y z) t) t))
(*.f64 (/.f64 y z) x)
Symmetry

(abs t)

(negabs z)

(negabs y)

(negabs x)

(sort x y)

Compiler

Compiled 9 to 8 computations (11.1% saved)

eval0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Compiler

Compiled 0 to 4 computations (-∞% saved)

prune1.0ms (0.1%)

Memory
0.5MiB live, 0.5MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
77.9%
(*.f64 x (/.f64 (*.f64 (/.f64 y z) t) t))
Compiler

Compiled 18 to 16 computations (11.1% saved)

simplify28.0ms (2.7%)

Memory
0.1MiB live, 18.6MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
089
1109
Stop Event
saturated
Calls
Call 1
Inputs
(*.f64 x (/.f64 (*.f64 (/.f64 y z) t) t))
Outputs
(*.f64 x (/.f64 (*.f64 (/.f64 y z) t) t))
(*.f64 (/.f64 (*.f64 t (/.f64 y z)) t) x)

soundness0.0ms (0%)

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

Compiled 9 to 8 computations (11.1% saved)

preprocess88.0ms (8.4%)

Memory
-2.6MiB live, 36.2MiB allocated
Remove

(negabs y)

(negabs z)

(abs t)

Compiler

Compiled 418 to 304 computations (27.3% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...