fabs fraction 1

Time bar (total: 1.1s)

analyze32.0ms (3%)

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
50%49.9%49.9%0.1%0%0%0%3
50%49.9%49.9%0.1%0%0%0%4
50%49.9%49.9%0.1%0%0%0%5
75%74.9%25%0.1%0%0%0%6
75%74.9%25%0.1%0%0%0%7
75%74.9%25%0.1%0%0%0%8
87.5%87.4%12.5%0.1%0%0%0%9
87.5%87.4%12.5%0.1%0%0%0%10
87.5%87.4%12.5%0.1%0%0%0%11
93.8%93.6%6.2%0.1%0%0%0%12
Compiler

Compiled 16 to 11 computations (31.3% saved)

sample899.0ms (84%)

Results
703.0ms6469×body256valid
185.0ms1787×body256infinite
Bogosity

preprocess138.0ms (12.9%)

Algorithm
1×egg-herbie
Rules
470×associate-/l/
469×distribute-lft-in
400×fma-neg
334×distribute-rgt-in
322×associate--r+
Problems
223×No Errors
26×(*.f64 (/.f64 x y) z)
7×(-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z))
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
054594
1139570
2296546
3742546
42694518
55947518
Stop Event
1×node limit
Calls
Call 1
Inputs
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z)))
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z)))
(fabs.f64 (-.f64 (/.f64 (+.f64 (neg.f64 x) 4) y) (*.f64 (/.f64 (neg.f64 x) y) z)))
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) (neg.f64 y)) (*.f64 (/.f64 x (neg.f64 y)) z)))
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) (neg.f64 z))))
(neg.f64 (fabs.f64 (-.f64 (/.f64 (+.f64 (neg.f64 x) 4) y) (*.f64 (/.f64 (neg.f64 x) y) z))))
(neg.f64 (fabs.f64 (-.f64 (/.f64 (+.f64 x 4) (neg.f64 y)) (*.f64 (/.f64 x (neg.f64 y)) z))))
(neg.f64 (fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) (neg.f64 z)))))
(fabs.f64 (-.f64 (/.f64 (+.f64 y 4) x) (*.f64 (/.f64 y x) z)))
(fabs.f64 (-.f64 (/.f64 (+.f64 z 4) y) (*.f64 (/.f64 z y) x)))
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) z) (*.f64 (/.f64 x z) y)))
Outputs
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z)))
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 x (/.f64 y z))))
(fabs.f64 (fma.f64 x (/.f64 z y) (/.f64 (-.f64 -4 x) y)))
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z)))
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 x (/.f64 y z))))
(fabs.f64 (fma.f64 x (/.f64 z y) (/.f64 (-.f64 -4 x) y)))
(fabs.f64 (-.f64 (/.f64 (+.f64 (neg.f64 x) 4) y) (*.f64 (/.f64 (neg.f64 x) y) z)))
(fabs.f64 (-.f64 (/.f64 (+.f64 4 (neg.f64 x)) y) (*.f64 z (/.f64 (neg.f64 x) y))))
(fabs.f64 (+.f64 (*.f64 (/.f64 x y) z) (/.f64 (-.f64 4 x) y)))
(fabs.f64 (fma.f64 x (/.f64 z y) (/.f64 (-.f64 4 x) y)))
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) (neg.f64 y)) (*.f64 (/.f64 x (neg.f64 y)) z)))
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z)))
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (/.f64 x (/.f64 y z))))
(fabs.f64 (fma.f64 x (/.f64 z y) (/.f64 (-.f64 -4 x) y)))
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) (neg.f64 z))))
(fabs.f64 (+.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z)))
(fabs.f64 (fma.f64 x (/.f64 z y) (/.f64 (+.f64 x 4) y)))
(neg.f64 (fabs.f64 (-.f64 (/.f64 (+.f64 (neg.f64 x) 4) y) (*.f64 (/.f64 (neg.f64 x) y) z))))
(neg.f64 (fabs.f64 (-.f64 (/.f64 (+.f64 4 (neg.f64 x)) y) (*.f64 z (/.f64 (neg.f64 x) y)))))
(neg.f64 (fabs.f64 (+.f64 (*.f64 (/.f64 x y) z) (/.f64 (-.f64 4 x) y))))
(neg.f64 (fabs.f64 (fma.f64 x (/.f64 z y) (/.f64 (-.f64 4 x) y))))
(neg.f64 (fabs.f64 (-.f64 (/.f64 (+.f64 x 4) (neg.f64 y)) (*.f64 (/.f64 x (neg.f64 y)) z))))
(neg.f64 (fabs.f64 (-.f64 (/.f64 (+.f64 x 4) (neg.f64 y)) (*.f64 z (/.f64 x (neg.f64 y))))))
(neg.f64 (fabs.f64 (fma.f64 (/.f64 x y) z (/.f64 (+.f64 x 4) (neg.f64 y)))))
(neg.f64 (fabs.f64 (fma.f64 x (/.f64 z y) (/.f64 (+.f64 x 4) (neg.f64 y)))))
(neg.f64 (fabs.f64 (fma.f64 x (/.f64 z y) (/.f64 (-.f64 -4 x) y))))
(neg.f64 (fabs.f64 (-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) (neg.f64 z)))))
(neg.f64 (fabs.f64 (+.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z))))
(neg.f64 (fabs.f64 (fma.f64 x (/.f64 z y) (/.f64 (+.f64 x 4) y))))
(fabs.f64 (-.f64 (/.f64 (+.f64 y 4) x) (*.f64 (/.f64 y x) z)))
(fabs.f64 (-.f64 (/.f64 (+.f64 4 y) x) (*.f64 z (/.f64 y x))))
(fabs.f64 (fma.f64 z (/.f64 y x) (/.f64 (neg.f64 (+.f64 4 y)) x)))
(fabs.f64 (fma.f64 y (/.f64 z x) (/.f64 (-.f64 -4 y) x)))
(fabs.f64 (-.f64 (/.f64 (+.f64 z 4) y) (*.f64 (/.f64 z y) x)))
(fabs.f64 (-.f64 (/.f64 (+.f64 4 z) y) (/.f64 (*.f64 z x) y)))
(fabs.f64 (-.f64 (*.f64 (/.f64 x y) z) (/.f64 (+.f64 4 z) y)))
(fabs.f64 (-.f64 (/.f64 x (/.f64 y z)) (/.f64 (+.f64 4 z) y)))
(fabs.f64 (fma.f64 x (/.f64 z y) (/.f64 (-.f64 -4 z) y)))
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) z) (*.f64 (/.f64 x z) y)))
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) z) (*.f64 y (/.f64 x z))))
(fabs.f64 (-.f64 (/.f64 (+.f64 x 4) z) (*.f64 (/.f64 y z) x)))
(fabs.f64 (fma.f64 x (/.f64 y z) (/.f64 (-.f64 -4 x) z)))
Symmetry

(abs y)

Compiler

Compiled 47 to 21 computations (55.3% saved)

end0.0ms (0%)

Profiling

Loading profile data...