Pow cosh Add x0 Add Add 1 E Pow acosh asech Mul Pow -5 x6 Mul x0 pi log x0 x7 
Mul Pow cosh Add x0 Add Add 1 E Pow acosh asech Mul Pow -5 x6 Mul x0 pi log x0 Add x7 -1 Mul x7 Mul sinh Add x0 Add Add 1 E Pow acosh asech Mul Pow -5 x6 Mul x0 pi log x0 Add 1 Mul Pow acosh asech Mul Pow -5 x6 Mul x0 pi Add log x0 -1 Add Mul log x0 Mul Mul Mul Pow -5 x6 pi Pow Mul Mul Mul Pow -5 x6 Mul x0 pi Mul Pow -5 x6 Mul x0 pi sqrt Add 1 Mul -1 Pow Mul Mul Pow -5 x6 Mul x0 pi Mul Pow -5 x6 Mul x0 pi -1 -1 Pow Mul sqrt Add asech Mul Pow -5 x6 Mul x0 pi -1 sqrt Add 1 asech Mul Pow -5 x6 Mul x0 pi -1 Mul Mul acosh asech Mul Pow -5 x6 Mul x0 pi log acosh asech Mul Pow -5 x6 Mul x0 pi Pow x0 -1 