UniformSampleCone, x

Time bar (total: 2.3s)

analyze216.0ms (9.6%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%0.1%99.9%0%0%0%0
0%0%0.1%99.9%0%0%0%1
0%0%0.1%99.9%0%0%0%2
0%0%0.1%99.9%0%0%0%3
50%0%0%99.9%0%0%0%4
50%0%0%99.9%0%0%0%5
50%0%0%99.9%0%0%0%6
75%0.1%0%99.9%0%0%0%7
75%0.1%0%99.9%0%0%0%8
75%0.1%0%99.9%0%0%0%9
87.5%0.1%0%99.9%0%0%0%10
87.5%0.1%0%99.9%0%0%0%11
87.5%0.1%0%99.9%0%0%0%12
Compiler

Compiled 51 to 37 computations (27.5% saved)

sample2.0s (87.2%)

Results
2.0s8256×body256valid
Bogosity

preprocess73.0ms (3.2%)

Algorithm
1×egg-herbie
Rules
940×neg-sub0
894×neg-mul-1
866×distribute-neg-in
814×+-commutative
678×distribute-rgt-in
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
070905
1201797
2724781
33513757
47614757
Stop Event
1×node limit

end0.0ms (0%)

Profiling

Loading profile data...