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

analyze1.0ms (3.8%)

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)

sample14.0ms (96.2%)

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
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
6.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.8%)

sample14.0ms (96.2%)

end0.0ms (0%)

Profiling