Metrics for (- (/ x0 (- 1 x1)) x0)

analyze1.0ms (3.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
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)

sample17.0ms (96.8%)

Results

0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
9.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition
0.0ms	1×	256	precondition

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

analyze1.0ms (3.1%)

sample17.0ms (96.8%)

end0.0ms (0%)

Profiling