Mul x0 coth Add Add Mul Mul -2 x0 Mul x4 x0 x0 -1 
Add coth Add Add Mul Mul -2 x0 Mul x4 x0 x0 -1 Mul x0 Mul Mul -1 Pow csch Add Add Mul Mul -2 x0 Mul x4 x0 x0 -1 2 Add Add Mul Mul x4 x0 -2 Mul Mul -2 x0 x4 1 