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

Time bar (total: 11.0ms)

analyze0.0ms (4.2%)

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)

sample11.0ms (95.8%)

Results
11.0ms101×body256precondition

end0.0ms (0%)

Profiling

Loading profile data...