coth Pow Mul 2 cosh Pow pi 4 sqrt x0 
Mul Mul -1 Pow csch Pow Mul 2 cosh Pow pi 4 sqrt x0 2 Mul Pow Mul 2 cosh Pow pi 4 Add sqrt x0 -1 Mul Mul Mul 2 cosh Pow pi 4 log Mul 2 cosh Pow pi 4 Pow Mul 2 sqrt x0 -1 