raw-angle from scale-rotated-ellipse

Time bar (total: 9.1s)

start0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated

analyze1.3s (14.1%)

Memory
15.0MiB live, 1 617.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
0.6%0.6%99.2%0.2%0%0%0%11
0.7%0.7%99.1%0.2%0%0%0%12
Compiler

Compiled 171 to 45 computations (73.7% saved)

sample6.5s (71.3%)

Memory
161.8MiB live, 7 220.9MiB allocated
Samples
2.5s2 735×1valid
1.4s1 187×2valid
1.4s4 206×0valid
226.0ms128×3valid
27.0ms87×0invalid
Precisions
Click to see histograms. Total time spent on operations: 4.8s
ival-pow2: 1.0s (20.9% of total)
ival-cosu: 732.0ms (15.2% of total)
ival-div: 703.0ms (14.6% of total)
ival-mult: 696.0ms (14.4% of total)
ival-sinu: 671.0ms (13.9% of total)
adjust: 319.0ms (6.6% of total)
ival-sub: 250.0ms (5.2% of total)
ival-add: 182.0ms (3.8% of total)
ival-sqrt: 120.0ms (2.5% of total)
ival-atan: 83.0ms (1.7% of total)
ival-pi: 36.0ms (0.7% of total)
exact: 12.0ms (0.2% of total)
ival-true: 8.0ms (0.2% of total)
ival-assert: 4.0ms (0.1% of total)
Bogosity

explain1.3s (14.7%)

Memory
1.9MiB live, 1 790.2MiB allocated
Samples
70.0ms80×1valid
56.0ms42×2valid
49.0ms130×0valid
9.0ms5×3valid
Compiler

Compiled 4 513 to 139 computations (96.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 151.0ms
ival-pow2: 28.0ms (18.6% of total)
ival-div: 25.0ms (16.6% of total)
ival-mult: 24.0ms (15.9% of total)
ival-cosu: 23.0ms (15.2% of total)
ival-sinu: 19.0ms (12.6% of total)
adjust: 11.0ms (7.3% of total)
ival-sub: 8.0ms (5.3% of total)
ival-add: 6.0ms (4% of total)
ival-sqrt: 4.0ms (2.7% of total)
ival-atan: 3.0ms (2% of total)
ival-pi: 1.0ms (0.7% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...