Formal Probabilistic Analysis of Low Latency Approximate Adders