Pow acosh x6 Add csch x5 Add cos Add sec Mul x1 -4 x0 Mul Mul x6 Pow Pow x0 x7 E -4 
Mul Pow acosh x6 Add Add csch x5 Add cos Add sec Mul x1 -4 x0 Mul Mul x6 Pow Pow x0 x7 E -4 -1 Mul Mul acosh x6 log acosh x6 Add Mul -1 sin Add sec Mul x1 -4 x0 Mul -4 Mul x6 Mul Pow Pow x0 x7 Add E -1 Mul E Mul Pow x0 Add x7 -1 x7 