simplify 1/2 * ((mc sqrt(1-v^2/c^2))/(1-v/c) - (mc sqrt(1-v^2/c^2))/(1+v/c))