Add concrete sum benchmark