fma(a,b,c) is equivalent to a*b+c except it doesn't round intermediate result.
Could you give me some examples of algorithms that non-trivially benefit from avoiding this rounding?
It's not obvious, as rounding after multiplications which we avoid tends to be less problematic than rounding after addition which we don't.