normal distribution

Time bar (total: 2.7s)

analyze76.0ms (2.8%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%6.2%93.8%0%0%0%0
0%0%6.2%93.8%0%0%0%1
50%3.1%3.1%93.8%0%0%0%2
50%3.1%3.1%93.8%0%0%0%3
75%4.7%1.6%93.8%0%0%0%4
75%4.7%1.6%93.8%0%0%0%5
87.5%5.5%0.8%93.8%0%0%0%6
87.5%5.5%0.8%93.8%0%0%0%7
93.8%5.8%0.4%93.8%0%0%0%8
93.8%5.8%0.4%93.8%0%0%0%9
96.9%6%0.2%93.8%0%0%0%10
96.9%6%0.2%93.8%0%0%0%11
98.4%6.1%0.1%93.8%0%0%0%12
Compiler

Compiled 36 to 26 computations (27.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 61.0ms
ival-mult: 42.0ms (69.4% of total)
ival-pow: 7.0ms (11.6% of total)
ival-<=: 3.0ms (5% of total)
ival-div: 2.0ms (3.3% of total)
ival-log: 2.0ms (3.3% of total)
ival-cos: 2.0ms (3.3% of total)
ival-pi: 1.0ms (1.7% of total)
ival-add: 1.0ms (1.7% of total)
ival-and: 1.0ms (1.7% of total)
const: 0.0ms (0% of total)
backward-pass: 0.0ms (0% of total)

sample2.6s (96.5%)

Results
2.1s8256×0valid
Precisions
Click to see histograms. Total time spent on operations: 1.6s
ival-mult: 447.0ms (28.4% of total)
ival-pow: 272.0ms (17.3% of total)
ival-pi: 264.0ms (16.7% of total)
ival-log: 211.0ms (13.4% of total)
ival-<=: 128.0ms (8.1% of total)
ival-div: 79.0ms (5% of total)
ival-cos: 70.0ms (4.4% of total)
ival-add: 49.0ms (3.1% of total)
const: 27.0ms (1.7% of total)
ival-and: 26.0ms (1.6% of total)
backward-pass: 3.0ms (0.2% of total)
Bogosity

preprocess19.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
120×sub-neg
102×associate-*l*
86×*-commutative
82×associate-*r*
82×distribute-lft-in
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
041101
19498
219598
337398
443098
549398
657598
761698
867298
969498
1069498
Stop Event
1×saturated

end0.0ms (0%)

Profiling

Loading profile data...