Graphics.Rendering.Plot.Render.Plot.Axis:renderAxisTicks from plot-0.2.3.4, A

Time bar (total: 290.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze104.0ms (35.9%)

Memory
4.0MiB live, 44.2MiB 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
0%0%99.8%0.2%0%0%0%5
50%49.9%49.9%0.2%0%0%0%6
50%49.9%49.9%0.2%0%0%0%7
50%49.9%49.9%0.2%0%0%0%8
50%49.9%49.9%0.2%0%0%0%9
50%49.9%49.9%0.2%0%0%0%10
75%74.8%24.9%0.2%0%0%0%11
75%74.8%24.9%0.2%0%0%0%12
Compiler

Compiled 13 to 12 computations (7.7% saved)

sample23.0ms (7.8%)

Memory
0.2MiB live, 7.9MiB allocated
Samples
14.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 7.0ms
ival-sub: 3.0ms (41.8% of total)
ival-div: 2.0ms (27.9% of total)
ival-mult: 2.0ms (27.9% of total)
ival-add: 1.0ms (13.9% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

explain27.0ms (9.3%)

Memory
3.0MiB live, 10.6MiB allocated
Confusion
Predicted +Predicted -
+511
-19185
Precision
0.7285714285714285
Recall
0.9807692307692307
Samples
15.0ms256×0valid
Compiler

Compiled 35 to 32 computations (8.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.0ms
ival-sub: 3.0ms (42.6% of total)
ival-mult: 2.0ms (28.4% of total)
ival-div: 1.0ms (14.2% of total)
ival-add: 1.0ms (14.2% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess113.0ms (39.1%)

Memory
-5.3MiB live, 11.1MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
074235
1182227
2504222
31523221
44811221
57784221
01011
01511
12311
24311
36611
412211
526911
662911
7160311
8287011
9302011
10309511
11310911
12310911
0310910
Stop Event
iter limit
saturated
iter limit
node limit
Calls
Call 1
Inputs
(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a)))
Outputs
(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a)))
(fma.f64 (/.f64 y (-.f64 a z)) (-.f64 t z) x)
Compiler

Compiled 11 to 10 computations (9.1% saved)

eval0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Compiler

Compiled 0 to 5 computations (-∞% saved)

prune1.0ms (0.2%)

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

Compiled 22 to 20 computations (9.1% saved)

simplify21.0ms (7.1%)

Memory
2.8MiB live, 18.5MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01011
11611
22411
32811
43011
Stop Event
saturated
Calls
Call 1
Inputs
(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a)))
Outputs
(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) (-.f64 z a)))
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) (-.f64 z a)) x)

soundness0.0ms (0.1%)

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

Compiled 11 to 10 computations (9.1% saved)

preprocess1.0ms (0.5%)

Memory
1.0MiB live, 1.0MiB allocated
Compiler

Compiled 66 to 60 computations (9.1% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...