Pow x0 tanh sinh sech Pow x0 asec Mul E -1 
Mul Pow x0 Add tanh sinh sech Pow x0 asec Mul E -1 -1 Add tanh sinh sech Pow x0 asec Mul E -1 Mul Mul x0 log x0 Mul Pow sech sinh sech Pow x0 asec Mul E -1 2 Mul cosh sech Pow x0 asec Mul E -1 Mul Mul tanh Pow x0 asec Mul E -1 Mul -1 sech Pow x0 asec Mul E -1 Mul Pow x0 Add asec Mul E -1 -1 asec Mul E -1 