sqrt A (should all be same)

Time bar (total: 4.3s)

analyze2.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)

sample4.1s (96.3%)

Results
582.0ms8256×0valid-sollya
917.0ms8256×0valid-rival
Bogosity

preprocess119.0ms (2.8%)

Algorithm
1×egg-herbie
Rules
56×fma-define
40×fma-neg
20×associate-*r*
15×distribute-lft-neg-in
13×sub-neg
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01456
13656
28256
319756
430256
536256
636456
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 9 to 4 computations (55.6% saved)

eval0.0ms (0%)

Compiler

Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
53.4%
(sqrt.f64 (+.f64 (*.f64 x x) (*.f64 x x)))
Compiler

Compiled 18 to 8 computations (55.6% saved)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0935
Stop Event
1×saturated
Calls
Call 1
Inputs
(sqrt.f64 (+.f64 (*.f64 x x) (*.f64 x x)))
Outputs
(sqrt.f64 (+.f64 (*.f64 x x) (*.f64 x x)))

soundness0.0ms (0%)

Stop Event
1×fuel
Compiler

Compiled 9 to 4 computations (55.6% saved)

preprocess31.0ms (0.7%)

Remove

(abs x)

Compiler

Compiled 72 to 32 computations (55.6% saved)

end0.0ms (0%)

Profiling

Loading profile data...