Add Mul Add x0 coth x0 Pow Mul x7 4 Mul -4 Pow Add 1 x0 x0 x0 
Add Add Mul Pow Mul x7 4 Mul -4 Pow Add 1 x0 x0 Add 1 Mul -1 Pow csch x0 2 Mul Add x0 coth x0 Mul Pow Mul x7 4 Add Mul -4 Pow Add 1 x0 x0 -1 Mul Mul Mul x7 4 log Mul x7 4 Mul -4 Mul Pow Add 1 x0 Add x0 -1 Add x0 Mul Add 1 x0 log Add 1 x0 1 