Added mathematica verification of sum_sigma_x