jeff quadratic root 1

Time bar (total: 2.3s)

analyze179.0ms (7.7%)

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
12.5%12.5%87.4%0.1%0%0%0%4
25%25%74.9%0.1%0%0%0%5
34.4%34.3%65.5%0.1%0%0%0%6
40%37.4%56.2%0.1%0%6.2%0%7
47.5%44.5%49.1%0.1%0%6.2%0%8
54.7%49.9%41.3%0.1%0%8.6%0%9
61%52.9%33.7%0.1%0%13.3%0%10
67.4%57.8%28%0.1%0%14%0%11
72.5%60.5%23%0.1%0%16.4%0%12
Compiler

Compiled 42 to 27 computations (35.7% saved)

sample1.8s (76.5%)

Results
1.5s7533×body256valid
177.0ms723×body256infinite
137.0ms941×body256invalid
Bogosity

preprocess368.0ms (15.8%)

Algorithm
1×egg-herbie
Rules
753×associate-/r*
477×associate--r+
429×times-frac
428×fma-def
417×associate-/l*
Problems
77×No Errors
57×(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
56×(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
47×(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
11×(/.f64 (*.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))
8×(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a))
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0951702
12581530
27211530
320791494
466061494
Stop Event
1×node limit
Calls
Call 1
Inputs
(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a)) (/.f64 (*.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a)) (/.f64 (*.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 (neg.f64 a)) c)))) (*.f64 2 (neg.f64 a))) (/.f64 (*.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 (neg.f64 a)) c))))))
(if (>=.f64 (neg.f64 b) 0) (/.f64 (-.f64 (neg.f64 (neg.f64 b)) (sqrt.f64 (-.f64 (*.f64 (neg.f64 b) (neg.f64 b)) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a)) (/.f64 (*.f64 2 c) (+.f64 (neg.f64 (neg.f64 b)) (sqrt.f64 (-.f64 (*.f64 (neg.f64 b) (neg.f64 b)) (*.f64 (*.f64 4 a) c))))))
(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) (neg.f64 c))))) (*.f64 2 a)) (/.f64 (*.f64 2 (neg.f64 c)) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) (neg.f64 c)))))))
(neg.f64 (if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 (neg.f64 a)) c)))) (*.f64 2 (neg.f64 a))) (/.f64 (*.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 (neg.f64 a)) c)))))))
(neg.f64 (if (>=.f64 (neg.f64 b) 0) (/.f64 (-.f64 (neg.f64 (neg.f64 b)) (sqrt.f64 (-.f64 (*.f64 (neg.f64 b) (neg.f64 b)) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a)) (/.f64 (*.f64 2 c) (+.f64 (neg.f64 (neg.f64 b)) (sqrt.f64 (-.f64 (*.f64 (neg.f64 b) (neg.f64 b)) (*.f64 (*.f64 4 a) c)))))))
(neg.f64 (if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) (neg.f64 c))))) (*.f64 2 a)) (/.f64 (*.f64 2 (neg.f64 c)) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) (neg.f64 c))))))))
(if (>=.f64 a 0) (/.f64 (-.f64 (neg.f64 a) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 (*.f64 4 b) c)))) (*.f64 2 b)) (/.f64 (*.f64 2 c) (+.f64 (neg.f64 a) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 (*.f64 4 b) c))))))
(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 c) a)))) (*.f64 2 c)) (/.f64 (*.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 c) a))))))
(if (>=.f64 c 0) (/.f64 (-.f64 (neg.f64 c) (sqrt.f64 (-.f64 (*.f64 c c) (*.f64 (*.f64 4 a) b)))) (*.f64 2 a)) (/.f64 (*.f64 2 b) (+.f64 (neg.f64 c) (sqrt.f64 (-.f64 (*.f64 c c) (*.f64 (*.f64 4 a) b))))))
Outputs
(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a)) (/.f64 (*.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))) (*.f64 a 2)) (/.f64 2 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))) c)))
(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c -4))))) (*.f64 a 2)) (*.f64 (/.f64 2 (-.f64 (sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c -4)))) b)) c))
(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 c (*.f64 a -4) (*.f64 b b)))) (*.f64 a 2)) (*.f64 c (/.f64 2 (-.f64 (sqrt.f64 (fma.f64 c (*.f64 a -4) (*.f64 b b))) b))))
(if (>=.f64 b 0) (*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c -4))))) a)) (*.f64 c (/.f64 2 (-.f64 (sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c -4)))) b))))
(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a)) (/.f64 (*.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))
(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))) (*.f64 a 2)) (/.f64 2 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))) c)))
(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c -4))))) (*.f64 a 2)) (*.f64 (/.f64 2 (-.f64 (sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c -4)))) b)) c))
(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 c (*.f64 a -4) (*.f64 b b)))) (*.f64 a 2)) (*.f64 c (/.f64 2 (-.f64 (sqrt.f64 (fma.f64 c (*.f64 a -4) (*.f64 b b))) b))))
(if (>=.f64 b 0) (*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c -4))))) a)) (*.f64 c (/.f64 2 (-.f64 (sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c -4)))) b))))
(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 (neg.f64 a)) c)))) (*.f64 2 (neg.f64 a))) (/.f64 (*.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 (neg.f64 a)) c))))))
(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 (neg.f64 a) c))))) (*.f64 2 (neg.f64 a))) (/.f64 2 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 (neg.f64 a) c))))) c)))
(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (*.f64 4 (*.f64 a c))))) (*.f64 a -2)) (/.f64 c (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (*.f64 4 (*.f64 a c)))) b) 2)))
(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (*.f64 4 (*.f64 a c))))) (*.f64 a -2)) (/.f64 (*.f64 c 2) (-.f64 (sqrt.f64 (fma.f64 b b (*.f64 4 (*.f64 a c)))) b)))
(if (>=.f64 b 0) (*.f64 1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (*.f64 4 (*.f64 a c))))) a)) (/.f64 (*.f64 c 2) (-.f64 (sqrt.f64 (fma.f64 b b (*.f64 4 (*.f64 a c)))) b)))
(if (>=.f64 (neg.f64 b) 0) (/.f64 (-.f64 (neg.f64 (neg.f64 b)) (sqrt.f64 (-.f64 (*.f64 (neg.f64 b) (neg.f64 b)) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a)) (/.f64 (*.f64 2 c) (+.f64 (neg.f64 (neg.f64 b)) (sqrt.f64 (-.f64 (*.f64 (neg.f64 b) (neg.f64 b)) (*.f64 (*.f64 4 a) c))))))
(if (>=.f64 (neg.f64 b) 0) (/.f64 (-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))) (*.f64 a 2)) (/.f64 (*.f64 c 2) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c)))))))
(if (>=.f64 (neg.f64 b) 0) (/.f64 (-.f64 b (sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c -4))))) (*.f64 a 2)) (/.f64 c (/.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c -4))))) 2)))
(if (>=.f64 (neg.f64 b) 0) (/.f64 (-.f64 b (sqrt.f64 (fma.f64 c (*.f64 a -4) (*.f64 b b)))) (*.f64 a 2)) (*.f64 c (/.f64 2 (+.f64 b (sqrt.f64 (fma.f64 c (*.f64 a -4) (*.f64 b b)))))))
(if (>=.f64 (neg.f64 b) 0) (*.f64 -1/2 (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c -4)))) b) a)) (/.f64 c (/.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c -4))))) 2)))
(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) (neg.f64 c))))) (*.f64 2 a)) (/.f64 (*.f64 2 (neg.f64 c)) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) (neg.f64 c)))))))
(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) (neg.f64 c))))) (*.f64 a 2)) (/.f64 2 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) (neg.f64 c))))) (neg.f64 c))))
(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (*.f64 4 (*.f64 a c))))) (*.f64 a 2)) (/.f64 (*.f64 c -2) (-.f64 (sqrt.f64 (fma.f64 b b (*.f64 4 (*.f64 a c)))) b)))
(if (>=.f64 b 0) (*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (*.f64 4 (*.f64 a c))))) a)) (*.f64 c (/.f64 -2 (-.f64 (sqrt.f64 (fma.f64 b b (*.f64 4 (*.f64 a c)))) b))))
(neg.f64 (if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 (neg.f64 a)) c)))) (*.f64 2 (neg.f64 a))) (/.f64 (*.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 (neg.f64 a)) c)))))))
(neg.f64 (if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 (neg.f64 a) c))))) (*.f64 2 (neg.f64 a))) (/.f64 2 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 (neg.f64 a) c))))) c))))
(neg.f64 (if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (*.f64 4 (*.f64 a c))))) (*.f64 a -2)) (/.f64 c (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (*.f64 4 (*.f64 a c)))) b) 2))))
(neg.f64 (if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (*.f64 4 (*.f64 a c))))) (*.f64 a -2)) (/.f64 (*.f64 c 2) (-.f64 (sqrt.f64 (fma.f64 b b (*.f64 4 (*.f64 a c)))) b))))
(neg.f64 (if (>=.f64 b 0) (*.f64 1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (*.f64 4 (*.f64 a c))))) a)) (/.f64 (*.f64 c 2) (-.f64 (sqrt.f64 (fma.f64 b b (*.f64 4 (*.f64 a c)))) b))))
(neg.f64 (if (>=.f64 (neg.f64 b) 0) (/.f64 (-.f64 (neg.f64 (neg.f64 b)) (sqrt.f64 (-.f64 (*.f64 (neg.f64 b) (neg.f64 b)) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a)) (/.f64 (*.f64 2 c) (+.f64 (neg.f64 (neg.f64 b)) (sqrt.f64 (-.f64 (*.f64 (neg.f64 b) (neg.f64 b)) (*.f64 (*.f64 4 a) c)))))))
(neg.f64 (if (>=.f64 (neg.f64 b) 0) (/.f64 (-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))) (*.f64 a 2)) (/.f64 (*.f64 c 2) (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))))))
(neg.f64 (if (>=.f64 (neg.f64 b) 0) (/.f64 (-.f64 b (sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c -4))))) (*.f64 a 2)) (/.f64 c (/.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c -4))))) 2))))
(neg.f64 (if (>=.f64 (neg.f64 b) 0) (/.f64 (-.f64 b (sqrt.f64 (fma.f64 c (*.f64 a -4) (*.f64 b b)))) (*.f64 a 2)) (*.f64 c (/.f64 2 (+.f64 b (sqrt.f64 (fma.f64 c (*.f64 a -4) (*.f64 b b))))))))
(neg.f64 (if (>=.f64 (neg.f64 b) 0) (*.f64 -1/2 (/.f64 (-.f64 (sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c -4)))) b) a)) (/.f64 c (/.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c -4))))) 2))))
(neg.f64 (if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) (neg.f64 c))))) (*.f64 2 a)) (/.f64 (*.f64 2 (neg.f64 c)) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) (neg.f64 c))))))))
(neg.f64 (if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) (neg.f64 c))))) (*.f64 a 2)) (/.f64 2 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) (neg.f64 c))))) (neg.f64 c)))))
(neg.f64 (if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (*.f64 4 (*.f64 a c))))) (*.f64 a 2)) (/.f64 (*.f64 c -2) (-.f64 (sqrt.f64 (fma.f64 b b (*.f64 4 (*.f64 a c)))) b))))
(neg.f64 (if (>=.f64 b 0) (*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (*.f64 4 (*.f64 a c))))) a)) (*.f64 c (/.f64 -2 (-.f64 (sqrt.f64 (fma.f64 b b (*.f64 4 (*.f64 a c)))) b)))))
(if (>=.f64 a 0) (/.f64 (-.f64 (neg.f64 a) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 (*.f64 4 b) c)))) (*.f64 2 b)) (/.f64 (*.f64 2 c) (+.f64 (neg.f64 a) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 (*.f64 4 b) c))))))
(if (>=.f64 a 0) (/.f64 (-.f64 (neg.f64 a) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 4 (*.f64 b c))))) (*.f64 b 2)) (/.f64 (*.f64 c 2) (+.f64 (neg.f64 a) (sqrt.f64 (-.f64 (*.f64 a a) (*.f64 4 (*.f64 b c)))))))
(if (>=.f64 a 0) (/.f64 (-.f64 (neg.f64 a) (sqrt.f64 (fma.f64 a a (*.f64 -4 (*.f64 b c))))) (*.f64 b 2)) (/.f64 c (/.f64 (-.f64 (sqrt.f64 (fma.f64 a a (*.f64 -4 (*.f64 b c)))) a) 2)))
(if (>=.f64 a 0) (/.f64 (-.f64 (neg.f64 a) (sqrt.f64 (fma.f64 c (*.f64 b -4) (*.f64 a a)))) (*.f64 b 2)) (*.f64 (/.f64 c (-.f64 (sqrt.f64 (fma.f64 c (*.f64 b -4) (*.f64 a a))) a)) 2))
(if (>=.f64 a 0) (*.f64 -1/2 (/.f64 (+.f64 a (sqrt.f64 (fma.f64 b (*.f64 c -4) (*.f64 a a)))) b)) (*.f64 2 (/.f64 c (-.f64 (sqrt.f64 (fma.f64 b (*.f64 c -4) (*.f64 a a))) a))))
(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 c) a)))) (*.f64 2 c)) (/.f64 (*.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 c) a))))))
(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a))))) (*.f64 c 2)) (/.f64 2 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 c a))))) a)))
(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c -4))))) (*.f64 c 2)) (*.f64 (/.f64 2 (-.f64 (sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c -4)))) b)) a))
(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (fma.f64 c (*.f64 a -4) (*.f64 b b)))) (*.f64 c 2)) (*.f64 a (/.f64 2 (-.f64 (sqrt.f64 (fma.f64 c (*.f64 a -4) (*.f64 b b))) b))))
(if (>=.f64 b 0) (*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c -4))))) c)) (*.f64 a (/.f64 2 (-.f64 (sqrt.f64 (fma.f64 b b (*.f64 a (*.f64 c -4)))) b))))
(if (>=.f64 c 0) (/.f64 (-.f64 (neg.f64 c) (sqrt.f64 (-.f64 (*.f64 c c) (*.f64 (*.f64 4 a) b)))) (*.f64 2 a)) (/.f64 (*.f64 2 b) (+.f64 (neg.f64 c) (sqrt.f64 (-.f64 (*.f64 c c) (*.f64 (*.f64 4 a) b))))))
(if (>=.f64 c 0) (/.f64 (-.f64 (neg.f64 c) (sqrt.f64 (-.f64 (*.f64 c c) (*.f64 b (*.f64 4 a))))) (*.f64 a 2)) (/.f64 (*.f64 b 2) (+.f64 (neg.f64 c) (sqrt.f64 (-.f64 (*.f64 c c) (*.f64 b (*.f64 4 a)))))))
(if (>=.f64 c 0) (/.f64 (-.f64 (neg.f64 c) (sqrt.f64 (fma.f64 c c (*.f64 b (*.f64 a -4))))) (*.f64 a 2)) (/.f64 b (/.f64 (-.f64 (sqrt.f64 (fma.f64 c c (*.f64 b (*.f64 a -4)))) c) 2)))
(if (>=.f64 c 0) (/.f64 (-.f64 (neg.f64 c) (sqrt.f64 (fma.f64 c c (*.f64 b (*.f64 a -4))))) (*.f64 a 2)) (*.f64 b (/.f64 2 (-.f64 (sqrt.f64 (fma.f64 c c (*.f64 b (*.f64 a -4)))) c))))
(if (>=.f64 c 0) (*.f64 -1/2 (/.f64 (+.f64 c (sqrt.f64 (fma.f64 b (*.f64 a -4) (*.f64 c c)))) a)) (/.f64 (*.f64 b 2) (-.f64 (sqrt.f64 (fma.f64 b (*.f64 a -4) (*.f64 c c))) c)))
Compiler

Compiled 149 to 80 computations (46.3% saved)

end0.0ms (0%)

Profiling

Loading profile data...