coth Mul Mul Pow pi Pow E x0 x0 sinh asec x1 
Mul Mul -1 Pow csch Mul Mul Pow pi Pow E x0 x0 sinh asec x1 2 Mul sinh asec x1 Add Mul x0 Mul Pow pi Add Pow E x0 -1 Mul Mul pi log pi Mul Pow E Add x0 -1 Mul E log E Pow pi Pow E x0 