Pow x0 tanh Add x0 Pow x0 asec Mul acosh x0 E 
Mul Pow x0 Add tanh Add x0 Pow x0 asec Mul acosh x0 E -1 Add tanh Add x0 Pow x0 asec Mul acosh x0 E Mul Mul x0 log x0 Mul Pow sech Add x0 Pow x0 asec Mul acosh x0 E 2 Add 1 Mul Pow x0 Add asec Mul acosh x0 E -1 Add asec Mul acosh x0 E Mul Mul x0 log x0 Mul Mul E Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul acosh x0 E Mul acosh x0 E -1 Mul acosh x0 E Mul acosh x0 E -1 