Mul x0 coth Add x0 sqrt Mul Pow x3 x0 -4 
Add coth Add x0 sqrt Mul Pow x3 x0 -4 Mul x0 Mul Mul -1 Pow csch Add x0 sqrt Mul Pow x3 x0 -4 2 Add 1 Mul Pow Mul 2 sqrt Mul Pow x3 x0 -4 -1 Mul -4 Mul Pow x3 Add x0 -1 Mul x3 log x3 