sqrt A (should all be same)

Time bar (total: 722.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 10 to 5 computations (50% saved)

sample653.0ms (90.4%)

Results
642.0ms8255×body256valid
0.0ms1×body256infinite
Bogosity

preprocess69.0ms (9.6%)

Algorithm
1×egg-herbie
Rules
84×fma-def
53×associate-*r*
31×*-commutative
19×associate-+l-
17×associate-+r-
Problems
132×No Errors
124×(sqrt.f64 (+.f64 (*.f64 x x) (*.f64 x x)))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01456
13656
28056
322156
438256
547556
647756
Stop Event
1×saturated
Calls
Call 1
Inputs
(sqrt.f64 (+.f64 (*.f64 x x) (*.f64 x x)))
(sqrt.f64 (+.f64 (*.f64 x x) (*.f64 x x)))
(sqrt.f64 (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (*.f64 (neg.f64 x) (neg.f64 x))))
(neg.f64 (sqrt.f64 (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (*.f64 (neg.f64 x) (neg.f64 x)))))
Outputs
(sqrt.f64 (+.f64 (*.f64 x x) (*.f64 x x)))
(hypot.f64 x x)
(sqrt.f64 (+.f64 (*.f64 x x) (*.f64 x x)))
(hypot.f64 x x)
(sqrt.f64 (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (*.f64 (neg.f64 x) (neg.f64 x))))
(hypot.f64 x x)
(neg.f64 (sqrt.f64 (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (*.f64 (neg.f64 x) (neg.f64 x)))))
(neg.f64 (hypot.f64 x x))
Symmetry

(abs x)

Compiler

Compiled 21 to 5 computations (76.2% saved)

end0.0ms (0%)

Profiling

Loading profile data...