математика - Наименьшее значение выражения

Найти наименьшее значение выражения: $% \big( \sqrt{2 \big(1+cos2x\big) } - \sqrt{9- \sqrt{7} }sinx+1 \big) \times \big(3+2 \sqrt{13- \sqrt{7} }cosy-cos2y \big) $% Я рассматривал функции по отдельности, анализировал их, т.е. находил их наименьшие и наибольшие значения, а затем перемножал наименьшее значение одной функции с наибольшим значением другой функции и наоборот. Затем из двух значений выбрал наименьшее и это по-моему и есть ответ. У меня получилось: $%2 \big( \sqrt{7}-12 \big)$%