(- (/ x0 (- 1 x1)) x0)

Time bar (total: 29.0ms)

analyze1.0ms (2.5%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%0%100%0%0%0%0
100%0%0%100%0%0%0%1
Compiler

Compiled 24 to 17 computations (29.2% saved)

Precisions
Click to see histograms
Operation ival-sub, total time spent: 0.0ms
Operation ival-or, total time spent: 0.0ms
Operation ival-div, total time spent: 0.0ms
Operation ival-and, total time spent: 0.0ms
Operation ival-==, total time spent: 0.0ms
Operation const, total time spent: 0.0ms

sample29.0ms (97.5%)

Results
29.0ms101×body0precondition
Precisions
Click to see histograms
Operation ival-sub, total time spent: 1.0ms
Operation ival-or, total time spent: 0.0ms
Operation ival-div, total time spent: 10.0ms
Operation ival-and, total time spent: 0.0ms
Operation ival-==, total time spent: 2.0ms
Operation const, total time spent: 0.0ms

end0.0ms (0%)

Profiling

Loading profile data...