Diagrams.Trail:splitAtParam from diagrams-lib-1.3.0.3, A

Time bar (total: 1.0s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze158.0ms (15.7%)

Memory
4.8MiB live, 68.4MiB allocated
Algorithm
1×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
37.5%37.4%62.4%0.2%0%0%0%6
37.5%37.4%62.4%0.2%0%0%0%7
37.5%37.4%62.4%0.2%0%0%0%8
40.6%40.5%59.3%0.2%0%0%0%9
49.2%49.1%50.7%0.2%0%0%0%10
49.2%49.1%50.7%0.2%0%0%0%11
54.3%54.2%45.6%0.2%0%0%0%12
Compiler

Compiled 19 to 15 computations (21.1% saved)

sample25.0ms (2.5%)

Memory
2.1MiB live, 9.7MiB allocated
Samples
16.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 10.0ms
ival-div: 3.0ms (28.7% of total)
ival-mult: 3.0ms (28.7% of total)
ival-sub: 2.0ms (19.1% of total)
ival-add: 2.0ms (19.1% 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

explain367.0ms (36.5%)

Memory
1.4MiB live, 156.8MiB allocated
Confusion
Predicted +Predicted -
+2016
-26194
Precision
0.43478260869565216
Recall
0.5555555555555556
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Samples
209.0ms3 072×0valid
Compiler

Compiled 636 to 492 computations (22.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 127.0ms
ival-mult: 40.0ms (31.4% of total)
ival-div: 32.0ms (25.1% of total)
ival-sub: 25.0ms (19.6% of total)
ival-add: 25.0ms (19.6% of total)
ival-true: 2.0ms (1.6% of total)
adjust: 1.0ms (0.8% of total)
exact: 1.0ms (0.8% of total)
ival-assert: 1.0ms (0.8% of total)

preprocess424.0ms (42.2%)

Memory
5.7MiB live, 20.2MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
079258
1196249
2415246
31165238
43710238
01317
02117
13317
24817
37917
415917
534217
698217
7307517
8468117
9528117
10542617
11543917
12544017
13623817
14654817
15658417
16662817
17663217
18663217
19665317
20665317
21673317
22688217
23688217
24693017
25701317
26701317
0701317
Stop Event
1×iter limit
1×saturated
1×iter limit
1×node limit
Calls
Call 1
Inputs
(/.f64 (+.f64 x (/.f64 (-.f64 (*.f64 y z) x) (-.f64 (*.f64 t z) x))) (+.f64 x #s(literal 1 binary64)))
Outputs
(/.f64 (+.f64 x (/.f64 (-.f64 (*.f64 y z) x) (-.f64 (*.f64 t z) x))) (+.f64 x #s(literal 1 binary64)))
(/.f64 (-.f64 x (/.f64 (fma.f64 z y (neg.f64 x)) (-.f64 x (*.f64 t z)))) (-.f64 x #s(literal -1 binary64)))
Compiler

Compiled 17 to 13 computations (23.5% 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
86.1%
(/.f64 (+.f64 x (/.f64 (-.f64 (*.f64 y z) x) (-.f64 (*.f64 t z) x))) (+.f64 x #s(literal 1 binary64)))
Compiler

Compiled 34 to 26 computations (23.5% saved)

simplify28.0ms (2.7%)

Memory
-13.0MiB live, 18.6MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01317
12317
22817
33017
43117
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (+.f64 x (/.f64 (-.f64 (*.f64 y z) x) (-.f64 (*.f64 t z) x))) (+.f64 x #s(literal 1 binary64)))
Outputs
(/.f64 (+.f64 x (/.f64 (-.f64 (*.f64 y z) x) (-.f64 (*.f64 t z) x))) (+.f64 x #s(literal 1 binary64)))
(/.f64 (+.f64 (/.f64 (-.f64 (*.f64 z y) x) (-.f64 (*.f64 t z) x)) x) (+.f64 #s(literal 1 binary64) x))

soundness0.0ms (0%)

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

Compiled 17 to 13 computations (23.5% saved)

preprocess2.0ms (0.2%)

Memory
1.5MiB live, 1.5MiB allocated
Compiler

Compiled 110 to 82 computations (25.5% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...