Verify sumsigmax in cpp