ABCF->ab-angle a

Time bar (total: 17.5s)

analyze1.0s (5.7%)

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)

Precisions
Click to see histograms. Total time spent on operations: 790.0ms
Operation ival-add, time spent: 372.0ms, 47.0% of total-time
Operation ival-mult, time spent: 152.0ms, 19.0% of total-time
Operation ival-pow, time spent: 107.0ms, 14.0% of total-time
Operation ival-sqrt, time spent: 73.0ms, 9.0% of total-time
Operation ival-sub, time spent: 47.0ms, 6.0% of total-time
Operation ival-div, time spent: 15.0ms, 2.0% of total-time
Operation const, time spent: 12.0ms, 2.0% of total-time
Operation ival-neg, time spent: 12.0ms, 2.0% of total-time

sample7.4s (42.4%)

Results
2.4s5844×0valid
1.3s4061×0invalid
1.5s2361×1valid
1.4s2218×1invalid
50.0ms50×2valid
6.0ms7×2invalid
0.0ms1×0valid
Precisions
Click to see histograms. Total time spent on operations: 5.0s
Operation ival-mult, time spent: 1.3s, 26.0% of total-time
Operation ival-sub, time spent: 1.0s, 21.0% of total-time
Operation ival-add, time spent: 1.0s, 20.0% of total-time
Operation ival-pow, time spent: 714.0ms, 14.0% of total-time
Operation ival-sqrt, time spent: 522.0ms, 10.0% of total-time
Operation ival-div, time spent: 167.0ms, 3.0% of total-time
Operation const, time spent: 128.0ms, 3.0% of total-time
Operation ival-neg, time spent: 89.0ms, 2.0% of total-time
Bogosity

preprocess4.5s (25.7%)

Algorithm
1×egg-herbie
Rules
1630×distribute-lft-in
1548×distribute-rgt-in
1272×fma-def
1058×*-commutative
610×fma-neg
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-B
00-0-(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)))))))
00-0-(/.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)))
00-0-(+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2))
00-0-(*.f64 2 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) C)) F))
00-0-(*.f64 (-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) C)) F)
00-0-(+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2))))
00-0-(pow.f64 (-.f64 A C) 2)
00-0-(*.f64 4 A)
00-0-(*.f64 (*.f64 4 A) C)
00-0-(*.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)))))
00-0-(sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) 2) (pow.f64 B 2)))
00-0-(-.f64 A C)
00-0-F
00-0-C
00-0-(-.f64 (pow.f64 B 2) (*.f64 (*.f64 4 A) C))
00-0-(pow.f64 B 2)
00-0-(+.f64 A C)
00-0-4
00-0-2
00-0-(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))))))
00-0-A
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01702596
15602224
222202112
378802112
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 2 (*.f64 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 4 (*.f64 A C))) F) (+.f64 A (+.f64 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 (*.f64 (fma.f64 B B (*.f64 A (*.f64 C -4))) (*.f64 F 2)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C))))))) (fma.f64 B B (*.f64 A (*.f64 C -4))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 (*.f64 (fma.f64 -4 (*.f64 A C) (pow.f64 B 2)) F) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C)))))))) (fma.f64 -4 (*.f64 A C) (pow.f64 B 2)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 (*.f64 (fma.f64 (*.f64 A C) -4 (pow.f64 B 2)) F) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C)))))))) (fma.f64 (*.f64 A 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 2 (*.f64 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 4 (*.f64 A C))) F) (+.f64 A (+.f64 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 (*.f64 (fma.f64 B B (*.f64 A (*.f64 C -4))) (*.f64 F 2)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C))))))) (fma.f64 B B (*.f64 A (*.f64 C -4))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 (*.f64 (fma.f64 -4 (*.f64 A C) (pow.f64 B 2)) F) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C)))))))) (fma.f64 -4 (*.f64 A C) (pow.f64 B 2)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 (*.f64 (fma.f64 (*.f64 A C) -4 (pow.f64 B 2)) F) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C)))))))) (fma.f64 (*.f64 A 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 C (neg.f64 (*.f64 4 A)))))) (+.f64 (sqrt.f64 (+.f64 (pow.f64 B 2) (pow.f64 (-.f64 (neg.f64 A) C) 2))) (-.f64 C A))))) (-.f64 (pow.f64 B 2) (*.f64 C (neg.f64 (*.f64 4 A)))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (+.f64 (hypot.f64 B (-.f64 (neg.f64 A) C)) (-.f64 C A)) (*.f64 2 (*.f64 F (fma.f64 B B (*.f64 4 (*.f64 A C)))))))) (fma.f64 B B (*.f64 4 (*.f64 A C))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 F (*.f64 (+.f64 (hypot.f64 B (+.f64 A C)) (-.f64 C A)) (*.f64 2 (fma.f64 4 (*.f64 A C) (pow.f64 B 2))))))) (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 2 (*.f64 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 4 (*.f64 A C))) F) (+.f64 A (+.f64 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 (*.f64 (fma.f64 B B (*.f64 A (*.f64 C -4))) (*.f64 F 2)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C))))))) (fma.f64 B B (*.f64 A (*.f64 C -4))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 (*.f64 (fma.f64 -4 (*.f64 A C) (pow.f64 B 2)) F) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C)))))))) (fma.f64 -4 (*.f64 A C) (pow.f64 B 2)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 (*.f64 (fma.f64 (*.f64 A C) -4 (pow.f64 B 2)) F) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C)))))))) (fma.f64 (*.f64 A 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 (*.f64 4 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 (*.f64 4 A) (neg.f64 C))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 F (fma.f64 B B (*.f64 4 (*.f64 A C)))) (*.f64 2 (+.f64 (-.f64 A C) (hypot.f64 B (+.f64 A C))))))) (fma.f64 B B (*.f64 4 (*.f64 A C))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 F (*.f64 (+.f64 A (-.f64 (hypot.f64 B (+.f64 A C)) C)) (*.f64 2 (fma.f64 4 (*.f64 A C) (pow.f64 B 2))))))) (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 A (+.f64 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 (fma.f64 B B (*.f64 A (*.f64 C -4))) (*.f64 (neg.f64 F) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C))))))))) (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 -4 (*.f64 A C) (pow.f64 B 2)) F) -2)))) (fma.f64 -4 (*.f64 A C) (pow.f64 B 2)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C)))) (*.f64 (*.f64 (fma.f64 (*.f64 A C) -4 (pow.f64 B 2)) F) -2)))) (fma.f64 (*.f64 A 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))))
(/.f64 (neg.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 2 (*.f64 F (-.f64 (pow.f64 B 2) (*.f64 C (neg.f64 (*.f64 4 A)))))) (+.f64 (sqrt.f64 (+.f64 (pow.f64 B 2) (pow.f64 (-.f64 (neg.f64 A) C) 2))) (-.f64 C A)))))) (-.f64 (pow.f64 B 2) (*.f64 C (neg.f64 (*.f64 4 A)))))
(/.f64 (sqrt.f64 (*.f64 (+.f64 (hypot.f64 B (-.f64 (neg.f64 A) C)) (-.f64 C A)) (*.f64 2 (*.f64 F (fma.f64 B B (*.f64 4 (*.f64 A C))))))) (fma.f64 B B (*.f64 4 (*.f64 A C))))
(/.f64 (sqrt.f64 (*.f64 F (*.f64 (+.f64 (hypot.f64 B (+.f64 A C)) (-.f64 C A)) (*.f64 2 (fma.f64 4 (*.f64 A C) (pow.f64 B 2)))))) (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 A (+.f64 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))) (*.f64 F 2)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C)))))) (fma.f64 B B (*.f64 A (*.f64 C -4))))
(/.f64 (sqrt.f64 (*.f64 2 (*.f64 (*.f64 (fma.f64 -4 (*.f64 A C) (pow.f64 B 2)) F) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C))))))) (fma.f64 -4 (*.f64 A C) (pow.f64 B 2)))
(/.f64 (sqrt.f64 (*.f64 2 (*.f64 (*.f64 (fma.f64 (*.f64 A C) -4 (pow.f64 B 2)) F) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C))))))) (fma.f64 (*.f64 A 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 (*.f64 4 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 (*.f64 4 A) (neg.f64 C))))
(/.f64 (sqrt.f64 (*.f64 (*.f64 F (fma.f64 B B (*.f64 4 (*.f64 A C)))) (*.f64 2 (+.f64 (-.f64 A C) (hypot.f64 B (+.f64 A C)))))) (fma.f64 B B (*.f64 4 (*.f64 A C))))
(/.f64 (sqrt.f64 (*.f64 F (*.f64 (+.f64 A (-.f64 (hypot.f64 B (+.f64 A C)) C)) (*.f64 2 (fma.f64 4 (*.f64 A C) (pow.f64 B 2)))))) (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))))
(neg.f64 (/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 (*.f64 (-.f64 (pow.f64 B 2) (*.f64 4 (*.f64 A C))) (neg.f64 F)) (+.f64 A (+.f64 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 (fma.f64 B B (*.f64 A (*.f64 C -4))) (*.f64 (neg.f64 F) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C)))))))) (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 -4 (*.f64 A C) (pow.f64 B 2)) F) -2))) (fma.f64 -4 (*.f64 A C) (pow.f64 B 2)))
(/.f64 (sqrt.f64 (*.f64 (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C)))) (*.f64 (*.f64 (fma.f64 (*.f64 A C) -4 (pow.f64 B 2)) F) -2))) (fma.f64 (*.f64 A 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 2 (*.f64 (*.f64 F (-.f64 (pow.f64 A 2) (*.f64 4 (*.f64 B C)))) (+.f64 B (+.f64 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 2 (*.f64 F (*.f64 (fma.f64 A A (*.f64 C (*.f64 B -4))) (+.f64 B (+.f64 C (hypot.f64 A (-.f64 B C))))))))) (fma.f64 A A (*.f64 C (*.f64 B -4))))
(neg.f64 (/.f64 (sqrt.f64 (*.f64 2 (*.f64 (fma.f64 C (*.f64 B -4) (pow.f64 A 2)) (*.f64 F (+.f64 B (+.f64 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 2 (*.f64 (*.f64 F (-.f64 (pow.f64 B 2) (*.f64 A (*.f64 4 C)))) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 B 2) (pow.f64 (-.f64 C A) 2)))))))) (-.f64 (pow.f64 B 2) (*.f64 A (*.f64 4 C))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 (*.f64 (fma.f64 B B (*.f64 A (*.f64 C -4))) F) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 C A)))))))) (fma.f64 B B (*.f64 A (*.f64 C -4))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 F (*.f64 (fma.f64 -4 (*.f64 A C) (pow.f64 B 2)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 C A))))))))) (fma.f64 -4 (*.f64 A C) (pow.f64 B 2)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 F (*.f64 (fma.f64 (*.f64 A C) -4 (pow.f64 B 2)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 C A))))))))) (fma.f64 (*.f64 A 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 (*.f64 2 (*.f64 A (-.f64 (pow.f64 B 2) (*.f64 4 (*.f64 F C))))) (+.f64 F (+.f64 C (sqrt.f64 (+.f64 (pow.f64 B 2) (pow.f64 (-.f64 F C) 2)))))))) (-.f64 (pow.f64 B 2) (*.f64 4 (*.f64 F C))))
(neg.f64 (/.f64 (sqrt.f64 (*.f64 (*.f64 A (fma.f64 B B (*.f64 C (*.f64 F -4)))) (*.f64 2 (+.f64 F (+.f64 C (hypot.f64 B (-.f64 F C))))))) (fma.f64 B B (*.f64 C (*.f64 F -4)))))
(neg.f64 (/.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 C (*.f64 F -4) (pow.f64 B 2)) (*.f64 2 A)) (+.f64 C (+.f64 F (hypot.f64 B (-.f64 F C)))))) (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 (*.f64 2 (*.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 (*.f64 (fma.f64 C C (*.f64 B (*.f64 A -4))) (*.f64 F 2)) (+.f64 A (+.f64 B (hypot.f64 C (-.f64 A B))))))) (fma.f64 C C (*.f64 B (*.f64 A -4))))
(neg.f64 (/.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 B (*.f64 A -4) (pow.f64 C 2)) (*.f64 2 F)) (+.f64 B (+.f64 A (hypot.f64 C (-.f64 A B)))))) (fma.f64 B (*.f64 A -4) (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 (*.f64 2 (*.f64 B (-.f64 (pow.f64 F 2) (*.f64 4 (*.f64 A C))))) (+.f64 (+.f64 A 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 (*.f64 (fma.f64 F F (*.f64 A (*.f64 C -4))) (*.f64 B 2)) (+.f64 A (+.f64 C (hypot.f64 F (-.f64 A C))))))) (fma.f64 F F (*.f64 A (*.f64 C -4))))
(neg.f64 (/.f64 (sqrt.f64 (*.f64 2 (*.f64 (fma.f64 A (*.f64 C -4) (pow.f64 F 2)) (*.f64 B (+.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 (*.f64 2 (*.f64 C (-.f64 (pow.f64 B 2) (*.f64 4 (*.f64 A F))))) (+.f64 A (+.f64 F (sqrt.f64 (+.f64 (pow.f64 B 2) (pow.f64 (-.f64 A F) 2)))))))) (-.f64 (pow.f64 B 2) (*.f64 4 (*.f64 A F))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 C (fma.f64 B B (*.f64 F (*.f64 A -4)))) (*.f64 2 (+.f64 A (+.f64 F (hypot.f64 B (-.f64 A F)))))))) (fma.f64 B B (*.f64 F (*.f64 A -4))))
(neg.f64 (/.f64 (sqrt.f64 (*.f64 2 (*.f64 C (*.f64 (fma.f64 -4 (*.f64 A F) (pow.f64 B 2)) (+.f64 A (+.f64 F (hypot.f64 B (-.f64 A F)))))))) (fma.f64 -4 (*.f64 A F) (pow.f64 B 2))))
(neg.f64 (/.f64 (sqrt.f64 (*.f64 2 (*.f64 C (*.f64 (fma.f64 (*.f64 A F) -4 (pow.f64 B 2)) (+.f64 A (+.f64 F (hypot.f64 B (-.f64 A F)))))))) (fma.f64 (*.f64 A F) -4 (pow.f64 B 2))))
Symmetry

(abs B)

Compiler

Compiled 496 to 308 computations (37.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.6s
Operation ival-mult, time spent: 941.0ms, 26.0% of total-time
Operation ival-add, time spent: 799.0ms, 22.0% of total-time
Operation ival-pow, time spent: 631.0ms, 17.0% of total-time
Operation ival-sub, time spent: 572.0ms, 16.0% of total-time
Operation ival-sqrt, time spent: 512.0ms, 14.0% of total-time
Operation const, time spent: 107.0ms, 3.0% of total-time
Operation ival-neg, time spent: 49.0ms, 1.0% of total-time
Operation ival-div, time spent: 30.0ms, 1.0% of total-time

eval2.0ms (0%)

Compiler

Compiled 143 to 79 computations (44.8% saved)

prune3.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
▶23.7%
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 B B (*.f64 A (*.f64 C -4))) (*.f64 F 2)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C))))))) (fma.f64 B B (*.f64 A (*.f64 C -4))))
▶19.0%
(/.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)))
▶23.7%
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 (*.f64 (fma.f64 (*.f64 A C) -4 (pow.f64 B 2)) F) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C)))))))) (fma.f64 (*.f64 A C) -4 (pow.f64 B 2)))
Compiler

Compiled 118 to 79 computations (33.1% saved)

localize4.3s (24.3%)

Compiler

Compiled 565 to 265 computations (53.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.5s
Operation ival-mult, time spent: 1.4s, 39.0% of total-time
Operation ival-add, time spent: 443.0ms, 13.0% of total-time
Operation ival-pow, time spent: 418.0ms, 12.0% of total-time
Operation ival-sqrt, time spent: 394.0ms, 11.0% of total-time
Operation ival-fma, time spent: 317.0ms, 9.0% of total-time
Operation ival-sub, time spent: 302.0ms, 9.0% of total-time
Operation const, time spent: 101.0ms, 3.0% of total-time
Operation ival-neg, time spent: 62.0ms, 2.0% of total-time
Operation ival-div, time spent: 44.0ms, 1.0% of total-time
Operation ival-hypot, time spent: 39.0ms, 1.0% of total-time

eval0.0ms (0%)

Compiler

Compiled 4 to 4 computations (0% saved)

prune5.0ms (0%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New000
Fresh000
Picked033
Done000
Total033
Accuracy
23.8%
Counts
3 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓23.7%
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 B B (*.f64 A (*.f64 C -4))) (*.f64 F 2)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C))))))) (fma.f64 B B (*.f64 A (*.f64 C -4))))
✓19.0%
(/.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)))
✓23.7%
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 (*.f64 (fma.f64 (*.f64 A C) -4 (pow.f64 B 2)) F) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C)))))))) (fma.f64 (*.f64 A C) -4 (pow.f64 B 2)))
Compiler

Compiled 228 to 145 computations (36.4% saved)

regimes25.0ms (0.1%)

Counts
3 → 1
Calls
Call 1
Inputs
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 B B (*.f64 A (*.f64 C -4))) (*.f64 F 2)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C))))))) (fma.f64 B B (*.f64 A (*.f64 C -4))))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 (*.f64 (fma.f64 (*.f64 A C) -4 (pow.f64 B 2)) F) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C)))))))) (fma.f64 (*.f64 A 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)))
Outputs
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 (*.f64 (fma.f64 (*.f64 A C) -4 (pow.f64 B 2)) F) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C)))))))) (fma.f64 (*.f64 A C) -4 (pow.f64 B 2)))
Calls

6 calls:

9.0ms
F
3.0ms
A
3.0ms
B
3.0ms
C
3.0ms
(/.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)))
Results
AccuracySegmentsBranch
23.7%1A
23.7%1B
23.7%1C
23.7%1F
23.7%1(/.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)))
23.7%1(pow.f64 B 2)
Compiler

Compiled 71 to 54 computations (23.9% saved)

regimes11.0ms (0.1%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts
1 → 1
Calls
Call 1
Inputs
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 B B (*.f64 A (*.f64 C -4))) (*.f64 F 2)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C))))))) (fma.f64 B B (*.f64 A (*.f64 C -4))))
Outputs
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 B B (*.f64 A (*.f64 C -4))) (*.f64 F 2)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C))))))) (fma.f64 B B (*.f64 A (*.f64 C -4))))
Calls

4 calls:

3.0ms
C
2.0ms
B
2.0ms
A
2.0ms
F
Results
AccuracySegmentsBranch
23.7%1C
23.7%1F
23.7%1A
23.7%1B
Compiler

Compiled 20 to 16 computations (20% saved)

simplify6.0ms (0%)

Algorithm
1×egg-herbie
Rules
28×*-commutative
16×+-commutative
12×sub-neg
10×neg-mul-1
10×neg-sub0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
037272
160272
271272
379272
482272
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 (*.f64 (fma.f64 (*.f64 A C) -4 (pow.f64 B 2)) F) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C)))))))) (fma.f64 (*.f64 A C) -4 (pow.f64 B 2)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 B B (*.f64 A (*.f64 C -4))) (*.f64 F 2)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C))))))) (fma.f64 B B (*.f64 A (*.f64 C -4))))
Outputs
(/.f64 (neg.f64 (sqrt.f64 (*.f64 2 (*.f64 (*.f64 (fma.f64 (*.f64 A C) -4 (pow.f64 B 2)) F) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C)))))))) (fma.f64 (*.f64 A C) -4 (pow.f64 B 2)))
(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 (fma.f64 B B (*.f64 A (*.f64 C -4))) (*.f64 F 2)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C))))))) (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 (fma.f64 B B (*.f64 A (*.f64 C -4))) (*.f64 2 F))))) (fma.f64 B B (*.f64 A (*.f64 C -4))))
Compiler

Compiled 74 to 47 computations (36.5% saved)

soundness206.0ms (1.2%)

Rules
1630×distribute-lft-in
1630×distribute-lft-in
1548×distribute-rgt-in
1548×distribute-rgt-in
1272×fma-def
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01702596
15602224
222202112
378802112
01702596
15602224
222202112
378802112
Stop Event
1×node limit
1×node limit

end0.0ms (0%)

preprocess64.0ms (0.4%)

Remove

(abs B)

Compiler

Compiled 450 to 286 computations (36.4% saved)

Profiling

Loading profile data...