acos sech coth Pow acot coth E x0 
Mul -1 Mul Mul Mul tanh coth Pow acot coth E x0 Mul -1 sech coth Pow acot coth E x0 Mul Mul -1 Pow csch Pow acot coth E x0 2 Mul Pow acot coth E Add x0 -1 Mul acot coth E log acot coth E Pow sqrt Add 1 Mul -1 Mul sech coth Pow acot coth E x0 sech coth Pow acot coth E x0 -1 