Mul Add Pow Add x0 Mul Pow acoth x0 x0 pi exp Mul csch x3 Pow x0 x4 -3 Mul Mul Mul x0 x0 2 Mul x2 -2 
Add Mul Mul Mul Mul x0 x0 2 Mul x2 -2 Mul Pow Add x0 Mul Pow acoth x0 x0 pi Add exp Mul csch x3 Pow x0 x4 -1 Add Mul exp Mul csch x3 Pow x0 x4 Add 1 Mul pi Mul Pow acoth x0 Add x0 -1 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 log acoth x0 Mul Mul Add x0 Mul Pow acoth x0 x0 pi log Add x0 Mul Pow acoth x0 x0 pi Mul exp Mul csch x3 Pow x0 x4 Mul csch x3 Mul Pow x0 Add x4 -1 x4 Mul Add Pow Add x0 Mul Pow acoth x0 x0 pi exp Mul csch x3 Pow x0 x4 -3 Mul Mul x2 -2 Mul 2 Add x0 x0 