bug366 (missed optimization)

Time bar (total: 1.1s)

analyze1.0ms (0.1%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
0%0%99.9%0.1%0%0%0%3
100%99.9%0%0.1%0%0%0%4
Compiler

Compiled 16 to 10 computations (37.5% saved)

sample1.0s (91.2%)

Results
1.0s8256×body256valid
Bogosity

preprocess99.0ms (8.7%)

Algorithm
1×egg-herbie
Rules
240×fma-def
91×associate-+l-
83×associate-+r+
81×associate-+r-
66×+-commutative
Problems
151×(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))
105×No Errors
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
042507
195507
2165507
3414507
4829507
51138507
61154507
Stop Event
1×saturated
Calls
Call 1
Inputs
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))
(sqrt.f64 (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (+.f64 (*.f64 y y) (*.f64 z z))))
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 (neg.f64 y) (neg.f64 y)) (*.f64 z z))))
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 (neg.f64 z) (neg.f64 z)))))
(neg.f64 (sqrt.f64 (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (+.f64 (*.f64 y y) (*.f64 z z)))))
(neg.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 (neg.f64 y) (neg.f64 y)) (*.f64 z z)))))
(neg.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 (neg.f64 z) (neg.f64 z))))))
(sqrt.f64 (+.f64 (*.f64 y y) (+.f64 (*.f64 x x) (*.f64 z z))))
(sqrt.f64 (+.f64 (*.f64 z z) (+.f64 (*.f64 y y) (*.f64 x x))))
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 z z) (*.f64 y y))))
Outputs
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))
(sqrt.f64 (fma.f64 x x (fma.f64 y y (*.f64 z z))))
(sqrt.f64 (fma.f64 y y (fma.f64 x x (*.f64 z z))))
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))
(sqrt.f64 (fma.f64 x x (fma.f64 y y (*.f64 z z))))
(sqrt.f64 (fma.f64 y y (fma.f64 x x (*.f64 z z))))
(sqrt.f64 (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (+.f64 (*.f64 y y) (*.f64 z z))))
(sqrt.f64 (fma.f64 x x (fma.f64 y y (*.f64 z z))))
(sqrt.f64 (fma.f64 y y (fma.f64 x x (*.f64 z z))))
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 (neg.f64 y) (neg.f64 y)) (*.f64 z z))))
(sqrt.f64 (fma.f64 x x (fma.f64 y y (*.f64 z z))))
(sqrt.f64 (fma.f64 y y (fma.f64 x x (*.f64 z z))))
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 (neg.f64 z) (neg.f64 z)))))
(sqrt.f64 (fma.f64 x x (fma.f64 y y (*.f64 z z))))
(sqrt.f64 (fma.f64 y y (fma.f64 x x (*.f64 z z))))
(neg.f64 (sqrt.f64 (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) (+.f64 (*.f64 y y) (*.f64 z z)))))
(neg.f64 (sqrt.f64 (fma.f64 x x (fma.f64 y y (*.f64 z z)))))
(neg.f64 (sqrt.f64 (fma.f64 y y (fma.f64 x x (*.f64 z z)))))
(neg.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 (neg.f64 y) (neg.f64 y)) (*.f64 z z)))))
(neg.f64 (sqrt.f64 (fma.f64 x x (fma.f64 y y (*.f64 z z)))))
(neg.f64 (sqrt.f64 (fma.f64 y y (fma.f64 x x (*.f64 z z)))))
(neg.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 (neg.f64 z) (neg.f64 z))))))
(neg.f64 (sqrt.f64 (fma.f64 x x (fma.f64 y y (*.f64 z z)))))
(neg.f64 (sqrt.f64 (fma.f64 y y (fma.f64 x x (*.f64 z z)))))
(sqrt.f64 (+.f64 (*.f64 y y) (+.f64 (*.f64 x x) (*.f64 z z))))
(sqrt.f64 (fma.f64 x x (fma.f64 y y (*.f64 z z))))
(sqrt.f64 (fma.f64 y y (fma.f64 x x (*.f64 z z))))
(sqrt.f64 (+.f64 (*.f64 z z) (+.f64 (*.f64 y y) (*.f64 x x))))
(sqrt.f64 (fma.f64 x x (fma.f64 y y (*.f64 z z))))
(sqrt.f64 (fma.f64 y y (fma.f64 x x (*.f64 z z))))
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 z z) (*.f64 y y))))
(sqrt.f64 (fma.f64 x x (fma.f64 y y (*.f64 z z))))
(sqrt.f64 (fma.f64 y y (fma.f64 x x (*.f64 z z))))
Symmetry

(abs x)

(abs y)

(abs z)

(sort x y z)

Compiler

Compiled 46 to 10 computations (78.3% saved)

end0.0ms (0%)

Profiling

Loading profile data...