Mul 2 Mul sech Pow Pow Add coth x1 3 pi x0 x0 
Mul 2 Add Mul x0 Mul Mul tanh Pow Pow Add coth x1 3 pi x0 Mul -1 sech Pow Pow Add coth x1 3 pi x0 Mul Pow Pow Add coth x1 3 pi Add x0 -1 Mul Pow Add coth x1 3 pi log Pow Add coth x1 3 pi sech Pow Pow Add coth x1 3 pi x0 