Мда, в соответствии с американской системой образования рациональнее взять калькулятор (таблицу Брадиса) и вычислить, задав любую степень точности. Время вычисления около 1-2 с. Время доказательства тождества вручную 0,5 дня. Это сообщение можно не коментировать.