Simplification of discriminant from scale-rotated-ellipse

Time bar (total: 6.5s)

start0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated

analyze497.0ms (7.7%)

Memory
229.2MiB live, 229.2MiB 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
25%24.9%74.8%0.2%0%0%0%6
25%24.9%74.8%0.2%0%0%0%7
25%24.9%74.8%0.2%0%0%0%8
25%24.9%74.8%0.2%0%0%0%9
37.5%37.4%62.3%0.2%0%0%0%10
56.3%56.1%43.6%0.2%0%0%0%11
56.3%56.1%43.6%0.2%0%0%0%12
Compiler

Compiled 111 to 37 computations (66.7% saved)

sample6.0s (92.3%)

Memory
1 582.4MiB live, 1 582.4MiB allocated
Samples
3.4s4 166×1valid
987.0ms948×2valid
802.0ms3 142×0valid
Precisions
Click to see histograms. Total time spent on operations: 4.7s
ival-sinu: 1.0s (22.2% of total)
ival-mult: 936.0ms (19.9% of total)
ival-cosu: 875.0ms (18.6% of total)
ival-pow2: 750.0ms (15.9% of total)
ival-div: 575.0ms (12.2% of total)
adjust: 205.0ms (4.4% of total)
ival-sub: 157.0ms (3.3% of total)
ival-add: 134.0ms (2.8% of total)
exact: 13.0ms (0.3% of total)
ival-true: 10.0ms (0.2% of total)
ival-assert: 5.0ms (0.1% of total)
Bogosity

explain2.0ms (0%)

Memory
1.2MiB live, 1.2MiB allocated
Compiler

Compiled 596 to 468 computations (21.5% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...