Stronger symbolic summary statistics for the LHC