SOSP: Captura Eficiente de Correlaciones Globales mediante Poda Estructurada de Segundo Orden