com.twitter.algebird
This is not distributive, because: a*(b+c) has two probability multiplications while (a*b + a*b) has three Some kind of general formula solver could possibly make this distributive, but in the mean time, it's only a group