From Warwick Tucker's Validated Numerics

Time bar (total: 29.0ms)

analyze0.0ms (0.6%)

Algorithm
random
Compiler

Compiled 45 to 32 computations (28.9% saved)

sample29.0ms (99.4%)

Results
0.0ms1valid

end0.0ms (0%)

Profiling

Loading profile data...