asech coth acos Pow Mul E 2 x0 
Mul Mul Mul -1 Pow csch acos Pow Mul E 2 x0 2 Mul -1 Mul Mul Pow Mul E 2 Add x0 -1 Mul Mul E 2 log Mul E 2 Pow sqrt Add 1 Mul -1 Mul Pow Mul E 2 x0 Pow Mul E 2 x0 -1 Pow Mul Mul coth acos Pow Mul E 2 x0 coth acos Pow Mul E 2 x0 sqrt Add 1 Mul -1 Pow Mul coth acos Pow Mul E 2 x0 coth acos Pow Mul E 2 x0 -1 -1 