ABCF->ab-angle a

Time bar (total: 6.6s)

analyze1.0s (15.4%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.8%0.2%0%0%0%0
0%0%99.8%0.2%0%0%0%1
0%0%99.8%0.2%0%0%0%2
0%0%99.8%0.2%0%0%0%3
0%0%99.8%0.2%0%0%0%4
0%0%99.8%0.2%0%0%0%5
0%0%99.8%0.2%0%0%0%6
3.1%3.1%96.7%0.2%0%0%0%7
9.5%9.4%88.9%0.2%0%1.6%0%8
9.9%9.4%85%0.2%0%5.5%0%9
12.1%11.3%82.1%0.2%0%6.4%0%10
16.9%15.4%75.5%0.2%0%8.9%0%11
23.3%20.5%67.3%0.2%0%12%0%12
Compiler

Compiled 45 to 33 computations (26.7% saved)

sample5.2s (77.8%)

Results
1.5s6021×body256valid
928.0ms4228×body256invalid
615.0ms942×body1024valid
598.0ms648×body2048valid
499.0ms626×body2048invalid
486.0ms809×body1024invalid
300.0ms645×body512valid
234.0ms583×body512invalid
Bogosity

preprocess448.0ms (6.8%)

Algorithm
1×egg-herbie
Rules
689×distribute-lft-in
572×fma-def
569×*-commutative
543×distribute-rgt-in
290×distribute-lft-neg-in
Problems
80×(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) C)) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2))))))) (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) C)))
61×(+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2))))
46×No Errors
31×(sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) C)) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2))))))
25×(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))
11×(*.f64 (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) C)) F)
2×(-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) C))
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01702596
15522224
221202112
361842112
Stop Event
1×node limit
Calls
Call 1
Inputs
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) C)) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2))))))) (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) C)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) C)) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2))))))) (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) C)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 (neg.f64 A)) C)) F)) (+.f64 (+.f64 (neg.f64 A) C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (neg.f64 A) C) 2) (pow.f64 B 2))))))) (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 (neg.f64 A)) C)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 (neg.f64 B) 2) (*.f64 (*.f64 4 A) C)) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 (neg.f64 B) 2))))))) (-.f64 (pow.f64 (neg.f64 B) 2) (*.f64 (*.f64 4 A) C)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) (neg.f64 C))) F)) (+.f64 (+.f64 A (neg.f64 C)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A (neg.f64 C)) 2) (pow.f64 B 2))))))) (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) (neg.f64 C))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) C)) (neg.f64 F))) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2))))))) (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) C)))
(neg.f64 (/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 (neg.f64 A)) C)) F)) (+.f64 (+.f64 (neg.f64 A) C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (neg.f64 A) C) 2) (pow.f64 B 2))))))) (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 (neg.f64 A)) C))))
(neg.f64 (/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 (neg.f64 B) 2) (*.f64 (*.f64 4 A) C)) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 (neg.f64 B) 2))))))) (-.f64 (pow.f64 (neg.f64 B) 2) (*.f64 (*.f64 4 A) C))))
(neg.f64 (/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) (neg.f64 C))) F)) (+.f64 (+.f64 A (neg.f64 C)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A (neg.f64 C)) 2) (pow.f64 B 2))))))) (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) (neg.f64 C)))))
(neg.f64 (/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) C)) (neg.f64 F))) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2))))))) (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) C))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 A 2) (*.f64 (*.f64 4 B) C)) F)) (+.f64 (+.f64 B C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 B C) 2) (pow.f64 A 2))))))) (-.f64 (pow.f64 A 2) (*.f64 (*.f64 4 B) C)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 C) A)) F)) (+.f64 (+.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 C A) 2) (pow.f64 B 2))))))) (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 C) A)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 F) C)) A)) (+.f64 (+.f64 F C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 F C) 2) (pow.f64 B 2))))))) (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 F) C)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 C 2) (*.f64 (*.f64 4 A) B)) F)) (+.f64 (+.f64 A B) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A B) 2) (pow.f64 C 2))))))) (-.f64 (pow.f64 C 2) (*.f64 (*.f64 4 A) B)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 F 2) (*.f64 (*.f64 4 A) C)) B)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 F 2))))))) (-.f64 (pow.f64 F 2) (*.f64 (*.f64 4 A) C)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) F)) C)) (+.f64 (+.f64 A F) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A F) 2) (pow.f64 B 2))))))) (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) F)))
Outputs
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) C)) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2))))))) (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) C)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 4 (*.f64 A C))) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 B 2) (pow.f64 (-.f64 A C) 2))))))) (-.f64 (pow.f64 B 2) (*.f64 4 (*.f64 A C))))
(neg.f64 (/.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 B B (*.f64 A (*.f64 C -4))) F) (*.f64 2 (+.f64 C (+.f64 A (hypot.f64 B (-.f64 A C))))))) (fma.f64 B B (*.f64 A (*.f64 C -4)))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 A (*.f64 C -4) (pow.f64 B 2)) (*.f64 2 F)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C))))))) (fma.f64 A (*.f64 C -4) (pow.f64 B 2)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 A (*.f64 C -4) (pow.f64 B 2)) (*.f64 2 F)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 C A))))))) (fma.f64 A (*.f64 C -4) (pow.f64 B 2)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) C)) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2))))))) (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) C)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 4 (*.f64 A C))) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 B 2) (pow.f64 (-.f64 A C) 2))))))) (-.f64 (pow.f64 B 2) (*.f64 4 (*.f64 A C))))
(neg.f64 (/.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 B B (*.f64 A (*.f64 C -4))) F) (*.f64 2 (+.f64 C (+.f64 A (hypot.f64 B (-.f64 A C))))))) (fma.f64 B B (*.f64 A (*.f64 C -4)))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 A (*.f64 C -4) (pow.f64 B 2)) (*.f64 2 F)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C))))))) (fma.f64 A (*.f64 C -4) (pow.f64 B 2)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 A (*.f64 C -4) (pow.f64 B 2)) (*.f64 2 F)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 C A))))))) (fma.f64 A (*.f64 C -4) (pow.f64 B 2)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 (neg.f64 A)) C)) F)) (+.f64 (+.f64 (neg.f64 A) C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (neg.f64 A) C) 2) (pow.f64 B 2))))))) (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 (neg.f64 A)) C)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 F (-.f64 (pow.f64 B 2) (*.f64 4 (*.f64 (neg.f64 A) C))))) (+.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 B 2) (pow.f64 (-.f64 (neg.f64 A) C) 2))))))) (-.f64 (pow.f64 B 2) (*.f64 4 (*.f64 (neg.f64 A) C))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 (*.f64 F (fma.f64 B B (*.f64 A (*.f64 4 C)))) (+.f64 (-.f64 C A) (hypot.f64 B (-.f64 (neg.f64 A) C))))))) (fma.f64 B B (*.f64 A (*.f64 4 C))))
(neg.f64 (/.f64 (sqrt.f64 (*.f64 2 (*.f64 F (*.f64 (fma.f64 4 (*.f64 A C) (pow.f64 B 2)) (+.f64 (-.f64 C A) (hypot.f64 B (+.f64 A C))))))) (fma.f64 4 (*.f64 A C) (pow.f64 B 2))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 (neg.f64 B) 2) (*.f64 (*.f64 4 A) C)) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 (neg.f64 B) 2))))))) (-.f64 (pow.f64 (neg.f64 B) 2) (*.f64 (*.f64 4 A) C)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 4 (*.f64 A C))) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 B 2) (pow.f64 (-.f64 A C) 2))))))) (-.f64 (pow.f64 B 2) (*.f64 4 (*.f64 A C))))
(neg.f64 (/.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 B B (*.f64 A (*.f64 C -4))) F) (*.f64 2 (+.f64 C (+.f64 A (hypot.f64 B (-.f64 A C))))))) (fma.f64 B B (*.f64 A (*.f64 C -4)))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 A (*.f64 C -4) (pow.f64 B 2)) (*.f64 2 F)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C))))))) (fma.f64 A (*.f64 C -4) (pow.f64 B 2)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 A (*.f64 C -4) (pow.f64 B 2)) (*.f64 2 F)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 C A))))))) (fma.f64 A (*.f64 C -4) (pow.f64 B 2)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) (neg.f64 C))) F)) (+.f64 (+.f64 A (neg.f64 C)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A (neg.f64 C)) 2) (pow.f64 B 2))))))) (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) (neg.f64 C))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 F (-.f64 (pow.f64 B 2) (*.f64 4 (*.f64 A (neg.f64 C)))))) (+.f64 (-.f64 A C) (sqrt.f64 (+.f64 (pow.f64 B 2) (pow.f64 (-.f64 A (neg.f64 C)) 2))))))) (-.f64 (pow.f64 B 2) (*.f64 4 (*.f64 A (neg.f64 C)))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 F (*.f64 (fma.f64 B B (*.f64 A (*.f64 4 C))) (+.f64 (-.f64 A C) (hypot.f64 B (+.f64 A C)))))))) (fma.f64 B B (*.f64 A (*.f64 4 C))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 (*.f64 F (fma.f64 4 (*.f64 A C) (pow.f64 B 2))) (+.f64 A (-.f64 (hypot.f64 B (+.f64 A C)) C)))))) (fma.f64 4 (*.f64 A C) (pow.f64 B 2)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) C)) (neg.f64 F))) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2))))))) (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) C)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 4 (*.f64 A C))) (neg.f64 F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 B 2) (pow.f64 (-.f64 A C) 2)))))))) (-.f64 (pow.f64 B 2) (*.f64 4 (*.f64 A C))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 (+.f64 C (+.f64 A (hypot.f64 B (-.f64 A C)))) (*.f64 (fma.f64 B B (*.f64 A (*.f64 C -4))) (neg.f64 F)))))) (fma.f64 B B (*.f64 A (*.f64 C -4))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C)))) (*.f64 (*.f64 (fma.f64 A (*.f64 C -4) (pow.f64 B 2)) F) -2)))) (fma.f64 A (*.f64 C -4) (pow.f64 B 2)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (+.f64 A (+.f64 C (hypot.f64 B (-.f64 C A)))) (*.f64 (fma.f64 A (*.f64 C -4) (pow.f64 B 2)) (*.f64 -2 F))))) (fma.f64 A (*.f64 C -4) (pow.f64 B 2)))
(neg.f64 (/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 (neg.f64 A)) C)) F)) (+.f64 (+.f64 (neg.f64 A) C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (neg.f64 A) C) 2) (pow.f64 B 2))))))) (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 (neg.f64 A)) C))))
(neg.f64 (/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 F (-.f64 (pow.f64 B 2) (*.f64 4 (*.f64 (neg.f64 A) C))))) (+.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 B 2) (pow.f64 (-.f64 (neg.f64 A) C) 2))))))) (-.f64 (pow.f64 B 2) (*.f64 4 (*.f64 (neg.f64 A) C)))))
(/.f64 (sqrt.f64 (*.f64 2 (*.f64 (*.f64 F (fma.f64 B B (*.f64 A (*.f64 4 C)))) (+.f64 (-.f64 C A) (hypot.f64 B (-.f64 (neg.f64 A) C)))))) (fma.f64 B B (*.f64 A (*.f64 4 C))))
(/.f64 (sqrt.f64 (*.f64 2 (*.f64 F (*.f64 (fma.f64 4 (*.f64 A C) (pow.f64 B 2)) (+.f64 (-.f64 C A) (hypot.f64 B (+.f64 A C))))))) (fma.f64 4 (*.f64 A C) (pow.f64 B 2)))
(neg.f64 (/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 (neg.f64 B) 2) (*.f64 (*.f64 4 A) C)) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 (neg.f64 B) 2))))))) (-.f64 (pow.f64 (neg.f64 B) 2) (*.f64 (*.f64 4 A) C))))
(/.f64 (neg.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 F (-.f64 (pow.f64 (neg.f64 B) 2) (*.f64 4 (*.f64 A C))))) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 (neg.f64 B) 2)))))))) (-.f64 (pow.f64 (neg.f64 B) 2) (*.f64 4 (*.f64 A C))))
(/.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 B B (*.f64 A (*.f64 C -4))) F) (*.f64 2 (+.f64 C (+.f64 A (hypot.f64 B (-.f64 A C))))))) (fma.f64 B B (*.f64 A (*.f64 C -4))))
(/.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 A (*.f64 C -4) (pow.f64 B 2)) (*.f64 2 F)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C)))))) (fma.f64 A (*.f64 C -4) (pow.f64 B 2)))
(/.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 A (*.f64 C -4) (pow.f64 B 2)) (*.f64 2 F)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 C A)))))) (fma.f64 A (*.f64 C -4) (pow.f64 B 2)))
(neg.f64 (/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) (neg.f64 C))) F)) (+.f64 (+.f64 A (neg.f64 C)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A (neg.f64 C)) 2) (pow.f64 B 2))))))) (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) (neg.f64 C)))))
(/.f64 (neg.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 F (-.f64 (pow.f64 B 2) (*.f64 4 (*.f64 A (neg.f64 C)))))) (+.f64 (-.f64 A C) (sqrt.f64 (+.f64 (pow.f64 B 2) (pow.f64 (-.f64 A (neg.f64 C)) 2)))))))) (-.f64 (pow.f64 B 2) (*.f64 4 (*.f64 A (neg.f64 C)))))
(/.f64 (sqrt.f64 (*.f64 2 (*.f64 F (*.f64 (fma.f64 B B (*.f64 A (*.f64 4 C))) (+.f64 (-.f64 A C) (hypot.f64 B (+.f64 A C))))))) (fma.f64 B B (*.f64 A (*.f64 4 C))))
(/.f64 (sqrt.f64 (*.f64 2 (*.f64 (*.f64 F (fma.f64 4 (*.f64 A C) (pow.f64 B 2))) (+.f64 A (-.f64 (hypot.f64 B (+.f64 A C)) C))))) (fma.f64 4 (*.f64 A C) (pow.f64 B 2)))
(neg.f64 (/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) C)) (neg.f64 F))) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2))))))) (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) C))))
(/.f64 (neg.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 4 (*.f64 A C))) (neg.f64 F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 B 2) (pow.f64 (-.f64 A C) 2))))))))) (-.f64 (pow.f64 B 2) (*.f64 4 (*.f64 A C))))
(/.f64 (sqrt.f64 (*.f64 2 (*.f64 (+.f64 C (+.f64 A (hypot.f64 B (-.f64 A C)))) (*.f64 (fma.f64 B B (*.f64 A (*.f64 C -4))) (neg.f64 F))))) (fma.f64 B B (*.f64 A (*.f64 C -4))))
(/.f64 (sqrt.f64 (*.f64 (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C)))) (*.f64 (*.f64 (fma.f64 A (*.f64 C -4) (pow.f64 B 2)) F) -2))) (fma.f64 A (*.f64 C -4) (pow.f64 B 2)))
(/.f64 (sqrt.f64 (*.f64 (+.f64 A (+.f64 C (hypot.f64 B (-.f64 C A)))) (*.f64 (fma.f64 A (*.f64 C -4) (pow.f64 B 2)) (*.f64 -2 F)))) (fma.f64 A (*.f64 C -4) (pow.f64 B 2)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 A 2) (*.f64 (*.f64 4 B) C)) F)) (+.f64 (+.f64 B C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 B C) 2) (pow.f64 A 2))))))) (-.f64 (pow.f64 A 2) (*.f64 (*.f64 4 B) C)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 F (-.f64 (pow.f64 A 2) (*.f64 4 (*.f64 B C))))) (+.f64 (+.f64 B C) (sqrt.f64 (+.f64 (pow.f64 A 2) (pow.f64 (-.f64 B C) 2))))))) (-.f64 (pow.f64 A 2) (*.f64 4 (*.f64 B C))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 A A (*.f64 C (*.f64 B -4))) (*.f64 F 2)) (+.f64 B (+.f64 C (hypot.f64 A (-.f64 B C))))))) (fma.f64 A A (*.f64 C (*.f64 B -4))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 (fma.f64 C (*.f64 B -4) (pow.f64 A 2)) (*.f64 F (+.f64 (+.f64 B C) (hypot.f64 A (-.f64 B C)))))))) (fma.f64 C (*.f64 B -4) (pow.f64 A 2)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 C) A)) F)) (+.f64 (+.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 C A) 2) (pow.f64 B 2))))))) (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 C) A)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 4 (*.f64 A C))) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 B 2) (pow.f64 (-.f64 A C) 2))))))) (-.f64 (pow.f64 B 2) (*.f64 4 (*.f64 A C))))
(neg.f64 (/.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 B B (*.f64 A (*.f64 C -4))) F) (*.f64 2 (+.f64 C (+.f64 A (hypot.f64 B (-.f64 A C))))))) (fma.f64 B B (*.f64 A (*.f64 C -4)))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 A (*.f64 C -4) (pow.f64 B 2)) (*.f64 2 F)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C))))))) (fma.f64 A (*.f64 C -4) (pow.f64 B 2)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 A (*.f64 C -4) (pow.f64 B 2)) (*.f64 2 F)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 C A))))))) (fma.f64 A (*.f64 C -4) (pow.f64 B 2)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 F) C)) A)) (+.f64 (+.f64 F C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 F C) 2) (pow.f64 B 2))))))) (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 F) C)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 (*.f64 A (-.f64 (pow.f64 B 2) (*.f64 4 (*.f64 F C)))) (+.f64 (+.f64 C F) (sqrt.f64 (+.f64 (pow.f64 B 2) (pow.f64 (-.f64 F C) 2)))))))) (-.f64 (pow.f64 B 2) (*.f64 4 (*.f64 F C))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 (*.f64 A (fma.f64 B B (*.f64 C (*.f64 F -4)))) (+.f64 (+.f64 C F) (hypot.f64 B (-.f64 F C))))))) (fma.f64 B B (*.f64 C (*.f64 F -4))))
(neg.f64 (/.f64 (sqrt.f64 (*.f64 A (*.f64 (+.f64 (+.f64 C F) (hypot.f64 B (-.f64 F C))) (*.f64 2 (fma.f64 C (*.f64 F -4) (pow.f64 B 2)))))) (fma.f64 C (*.f64 F -4) (pow.f64 B 2))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 C 2) (*.f64 (*.f64 4 A) B)) F)) (+.f64 (+.f64 A B) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A B) 2) (pow.f64 C 2))))))) (-.f64 (pow.f64 C 2) (*.f64 (*.f64 4 A) B)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 (*.f64 F (-.f64 (pow.f64 C 2) (*.f64 B (*.f64 4 A)))) (+.f64 (+.f64 B A) (sqrt.f64 (+.f64 (pow.f64 C 2) (pow.f64 (-.f64 A B) 2)))))))) (-.f64 (pow.f64 C 2) (*.f64 B (*.f64 4 A))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 (fma.f64 C C (*.f64 B (*.f64 A -4))) (*.f64 F (+.f64 A (+.f64 B (hypot.f64 C (-.f64 A B))))))))) (fma.f64 C C (*.f64 B (*.f64 A -4))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 (fma.f64 -4 (*.f64 B A) (pow.f64 C 2)) (*.f64 F (+.f64 A (+.f64 B (hypot.f64 C (-.f64 A B))))))))) (fma.f64 -4 (*.f64 B A) (pow.f64 C 2)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 F 2) (*.f64 (*.f64 4 A) C)) B)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 F 2))))))) (-.f64 (pow.f64 F 2) (*.f64 (*.f64 4 A) C)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 (*.f64 B (-.f64 (pow.f64 F 2) (*.f64 4 (*.f64 A C)))) (+.f64 A (+.f64 C (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 F 2))))))))) (-.f64 (pow.f64 F 2) (*.f64 4 (*.f64 A C))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 B (*.f64 (fma.f64 F F (*.f64 A (*.f64 C -4))) (+.f64 A (+.f64 C (hypot.f64 F (-.f64 A C))))))))) (fma.f64 F F (*.f64 A (*.f64 C -4))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 B (*.f64 (fma.f64 A (*.f64 C -4) (pow.f64 F 2)) (+.f64 A (+.f64 C (hypot.f64 F (-.f64 A C))))))))) (fma.f64 A (*.f64 C -4) (pow.f64 F 2)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) F)) C)) (+.f64 (+.f64 A F) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A F) 2) (pow.f64 B 2))))))) (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) F)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 (*.f64 C (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) F))) (+.f64 (+.f64 A F) (sqrt.f64 (+.f64 (pow.f64 B 2) (pow.f64 (-.f64 A F) 2)))))))) (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) F)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 C (*.f64 (fma.f64 B B (*.f64 -4 (*.f64 A F))) (+.f64 F (+.f64 A (hypot.f64 B (-.f64 A F))))))))) (fma.f64 B B (*.f64 -4 (*.f64 A F))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 C (*.f64 (fma.f64 F (*.f64 A -4) (pow.f64 B 2)) (+.f64 A (+.f64 F (hypot.f64 B (-.f64 A F))))))))) (fma.f64 F (*.f64 A -4) (pow.f64 B 2)))
Symmetry

(abs B)

(sort A C)

Compiler

Compiled 226 to 138 computations (38.9% saved)

end0.0ms (0%)

Profiling

Loading profile data...