csch asec Mul E Pow x0 2 
Mul Mul Mul -1 coth asec Mul E Pow x0 2 csch asec Mul E Pow x0 2 Mul Mul E Mul x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul E Pow x0 2 Mul E Pow x0 2 -1 Mul E Pow x0 2 Mul E Pow x0 2 -1 