coth acsch Add Pow pi x0 Mul 3 x0 
Mul Mul -1 Pow csch acsch Add Pow pi x0 Mul 3 x0 2 Mul Mul -1 Add Mul Pow pi Add x0 -1 Mul pi log pi 3 Pow Mul Mul Add Pow pi x0 Mul 3 x0 Add Pow pi x0 Mul 3 x0 sqrt Add 1 Mul -1 Pow Mul Add Pow pi x0 Mul 3 x0 Add Pow pi x0 Mul 3 x0 -1 -1 