Mul E Mul x2 Pow Add Add cosh x0 Pow x0 Add Pow x0 2 cosh x7 x0 asec x4 
Mul E Mul x2 Mul Pow Add Add cosh x0 Pow x0 Add Pow x0 2 cosh x7 x0 Add asec x4 -1 Mul asec x4 Add Add sinh x0 Mul Pow x0 Add Add Pow x0 2 cosh x7 -1 Add Add Pow x0 2 cosh x7 Mul Mul x0 log x0 Mul x0 2 1 