Deriva a fórmula a partir da regra do produto e trabalha escolhas eficientes para cada fator. Inclui integrais repetidas e fórmulas de redução.