Mul asec x0 Add Add csch x0 Pow acsc E x0 x0 
Add Mul Add Add csch x0 Pow acsc E x0 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul asec x0 Add Add Mul Mul -1 coth x0 csch x0 Mul Pow acsc E Add x0 -1 Mul acsc E log acsc E 1 