Add Add x0 coth x0 asech Pow Pow pi x0 x1 
Add Add 1 Mul -1 Pow csch x0 2 Mul Mul Pow Pow pi x0 Add x1 -1 Mul x1 Mul Pow pi Add x0 -1 Mul pi log pi Pow Mul Mul Pow Pow pi x0 x1 Pow Pow pi x0 x1 sqrt Add 1 Mul -1 Pow Mul Pow Pow pi x0 x1 Pow Pow pi x0 x1 -1 -1 