a from scale-rotated-ellipse

Time bar (total: 2.7min)

start0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated

analyze13.3s (8.2%)

Memory
0.3MiB live, 4 961.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
0%0%99.8%0.2%0%0%0%5
0%0%99.8%0.2%0%0%0%6
0%0%99.8%0.2%0%0%0%7
0%0%99.8%0.2%0%0%0%8
0%0%99.8%0.2%0%0%0%9
0%0%99.8%0.2%0%0%0%10
3.5%3.5%96.2%0.2%0%0%0%11
4.1%4.1%95.7%0.2%0%0%0%12
Compiler

Compiled 185 to 54 computations (70.8% saved)

sample2.5min (91.8%)

Memory
32.8MiB live, 43 063.3MiB allocated
Samples
2.2min1 534×0valid
Precisions
Click to see histograms. Total time spent on operations: 2.0min
ival-mult: 1.1min (51.5% of total)
ival-pow2: 39.5s (32.2% of total)
ival-sub: 8.0s (6.5% of total)
ival-sinu: 7.2s (5.8% of total)
ival-cosu: 4.8s (3.9% of total)
ival-div: 76.0ms (0.1% of total)
ival-add: 32.0ms (0% of total)
ival-sqrt: 20.0ms (0% of total)
ival-neg: 14.0ms (0% of total)
exact: 2.0ms (0% of total)
ival-assert: 1.0ms (0% of total)
ival-true: 1.0ms (0% of total)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...