sqrt D (should all be same)

analyze0.0ms (0%)

Algorithm

1×

search

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
100%	100%	0%	0%	0%	0%	0%	1

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample912.0ms (87.1%)

Results

900.0ms	8252×	body	256	valid
0.0ms	4×	body	256	infinite

Bogosity

preprocess135.0ms (12.9%)

Algorithm

1×	egg-herbie

Rules

702×	`distribute-lft-neg-in`
673×	`distribute-lft-in`
603×	`distribute-rgt-in`
532×	`associate-+r+`
477×	`distribute-rgt-neg-in`

Problems

131×	`(sqrt.f64 (*.f64 2 (pow.f64 x 2)))`
125×	No Errors

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	88
1	31	84
2	75	84
3	202	84
4	817	84
5	1822	84
6	3531	84
7	6228	84

Stop Event

1×	node limit

Calls

Call 1

Inputs
(sqrt.f64 (*.f64 2 (pow.f64 x 2)))
(sqrt.f64 (*.f64 2 (pow.f64 x 2)))
(sqrt.f64 (*.f64 2 (pow.f64 (neg.f64 x) 2)))
(neg.f64 (sqrt.f64 (*.f64 2 (pow.f64 (neg.f64 x) 2))))

Outputs
(sqrt.f64 (*.f64 2 (pow.f64 x 2)))
(sqrt.f64 (*.f64 2 (pow.f64 x 2)))
(sqrt.f64 (*.f64 2 (pow.f64 (neg.f64 x) 2)))
(sqrt.f64 (*.f64 2 (pow.f64 x 2)))
(neg.f64 (sqrt.f64 (*.f64 2 (pow.f64 (neg.f64 x) 2))))
(neg.f64 (sqrt.f64 (*.f64 2 (pow.f64 x 2))))

Symmetry

(abs x)

Compiler

Compiled 18 to 14 computations (22.2% saved)

end0.0ms (0%)

Profiling

Loading profile data...