Mul x0 Pow sec acsch cosh E sinh asec x0 
Add Pow sec acsch cosh E sinh asec x0 Mul x0 Mul Pow sec acsch cosh E Add sinh asec x0 -1 Mul Mul sec acsch cosh E log sec acsch cosh E Mul cosh asec x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 