From Warwick Tucker's Validated Numerics

Time bar (total: 200.0ms)

analyze0.0ms (0.2%)

Algorithm
random
Compiler

Compiled 45 to 32 computations (28.9% saved)

sample199.0ms (99.8%)

Results
2.0ms1valid

end0.0ms (0%)

Profiling

Loading profile data...