coth Pow Pow Add Add x0 3 x1 x0 -1 
Mul Mul -1 Pow csch Pow Pow Add Add x0 3 x1 x0 -1 2 Mul Pow Pow Add Add x0 3 x1 x0 2 Mul -1 Mul Pow Add Add x0 3 x1 Add x0 -1 Add x0 Mul Add Add x0 3 x1 log Add Add x0 3 x1 