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

analyze1.0ms (4.2%)

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)

sample13.0ms (95.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
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
5.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 (4.2%)

sample13.0ms (95.8%)

end0.0ms (0%)

Profiling