Математика пытается вычислить выражение до более простой аналитической формы (используется правило, которое как-то уменьшает количество узлов выражения). Если ей не удаётся найти более простую форму, она оставляет выражение не вычисленным, причём используются только аналитические правила. Чтобы "заставить" её получить приближённое численное значение, можно воспользоваться функцией N[] (там же можно указать точность вычисления)
Код:
N[Cosh[Pi]]