Kahan's Unum-Targeted Monster

Time bar (total: 6.8s)

analyze4.6s (67.9%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%0.3%99.7%0%0%0%0
0%0%0.3%99.7%0%0%0%1
0%0%0.3%99.7%0%0%0%2
0%0%0.3%99.7%0%0%0%3
0%0%0.3%99.7%0%0%0%4
0%0%0.3%99.7%0%0%0%5
0%0%0.3%99.7%0%0%0%6
0%0%0.3%99.7%0%0%0%7
0%0%0.3%99.7%0%0%0%8
0%0%0.3%99.7%0%0%0%9
0%0%0.3%99.7%0%0%0%10
0%0%0.3%99.7%0%0%0%11
0%0%0.3%99.7%0%0%0%12
Compiler

Compiled 169 to 117 computations (30.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.3s
ival-pow: 914.0ms (27.7% of total)
ival-add: 619.0ms (18.7% of total)
ival-mult: 419.0ms (12.7% of total)
ival-sqrt: 397.0ms (12% of total)
ival-sub: 329.0ms (10% of total)
ival-div: 243.0ms (7.4% of total)
ival-fabs: 165.0ms (5% of total)
const: 62.0ms (1.9% of total)
ival-exp: 47.0ms (1.4% of total)
ival-<=: 38.0ms (1.2% of total)
ival-if: 37.0ms (1.1% of total)
ival-==: 26.0ms (0.8% of total)
ival-and: 5.0ms (0.2% of total)
backward-pass: 3.0ms (0.1% of total)

sample2.2s (32.1%)

Results
2.1s101×5exit
Precisions
Click to see histograms. Total time spent on operations: 2.1s
ival-add: 847.0ms (40.9% of total)
ival-pow: 844.0ms (40.8% of total)
backward-pass: 158.0ms (7.6% of total)
ival-sqrt: 59.0ms (2.9% of total)
ival-mult: 45.0ms (2.2% of total)
ival-sub: 45.0ms (2.2% of total)
ival-div: 33.0ms (1.6% of total)
ival-fabs: 15.0ms (0.7% of total)
ival-if: 8.0ms (0.4% of total)
const: 6.0ms (0.3% of total)
ival-exp: 4.0ms (0.2% of total)
ival-<=: 3.0ms (0.1% of total)
ival-==: 2.0ms (0.1% of total)
ival-and: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...