Pow x7 Pow acoth coth Add pi x0 x1 
Mul Pow x7 Add Pow acoth coth Add pi x0 x1 -1 Mul Mul x7 log x7 Mul Pow acoth coth Add pi x0 Add x1 -1 Mul x1 Mul Mul -1 Pow csch Add pi x0 2 Pow Add 1 Mul -1 Mul coth Add pi x0 coth Add pi x0 -1 