ab-angle->ABCF B

Time bar (total: 2.3s)

start0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

analyze0.0ms (0%)

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

Compiled 25 to 18 computations (28% saved)

sample2.3s (99.9%)

Memory
43.7MiB live, 2 632.3MiB allocated
Samples
1.3s3 558×1valid
514.0ms4 624×0valid
148.0ms54×3valid
18.0ms20×2valid
Precisions
Click to see histograms. Total time spent on operations: 1.6s
ival-mult: 553.0ms (34.9% of total)
ival-sin: 340.0ms (21.5% of total)
ival-pow2: 208.0ms (13.1% of total)
ival-cos: 192.0ms (12.1% of total)
ival-div: 88.0ms (5.6% of total)
adjust: 83.0ms (5.2% of total)
ival-sub: 50.0ms (3.2% of total)
ival-pi: 47.0ms (3% of total)
exact: 9.0ms (0.6% of total)
ival-true: 7.0ms (0.4% of total)
ival-assert: 3.0ms (0.2% of total)
Bogosity

explain1.0ms (0%)

Memory
2.2MiB live, 2.2MiB allocated

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...