sqrt C (should all be same)

Time bar (total: 864.0ms)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
0%0%100%0%0%0%0%1
100%100%0%0%0%0%0%2
Compiler

Compiled 8 to 6 computations (25% saved)

sample797.0ms (92.3%)

Results
785.0ms8255×body256valid
0.0ms1×body256infinite
Bogosity

preprocess66.0ms (7.6%)

Algorithm
1×egg-herbie
Rules
68×fma-def
41×associate-*r*
28×*-commutative
19×associate-*l*
17×distribute-lft-in
Problems
132×No Errors
124×(sqrt.f64 (*.f64 2 (*.f64 x x)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01596
13196
26396
315796
425996
533496
633696
Stop Event
1×saturated
Calls
Call 1
Inputs
(sqrt.f64 (*.f64 2 (*.f64 x x)))
(sqrt.f64 (*.f64 2 (*.f64 x x)))
(sqrt.f64 (*.f64 2 (*.f64 (neg.f64 x) (neg.f64 x))))
(neg.f64 (sqrt.f64 (*.f64 2 (*.f64 (neg.f64 x) (neg.f64 x)))))
Outputs
(sqrt.f64 (*.f64 2 (*.f64 x x)))
(sqrt.f64 (*.f64 2 (*.f64 x x)))
(sqrt.f64 (*.f64 2 (*.f64 (neg.f64 x) (neg.f64 x))))
(sqrt.f64 (*.f64 2 (*.f64 x x)))
(neg.f64 (sqrt.f64 (*.f64 2 (*.f64 (neg.f64 x) (neg.f64 x)))))
(neg.f64 (sqrt.f64 (*.f64 2 (*.f64 x x))))
Symmetry

(abs x)

Compiler

Compiled 18 to 9 computations (50% saved)

end0.0ms (0%)

Profiling

Loading profile data...