Pow coth x0 Pow exp x4 Add -4 atan x0 
Mul Pow coth x0 Add Pow exp x4 Add -4 atan x0 -1 Add Mul Pow exp x4 Add -4 atan x0 Mul -1 Pow csch x0 2 Mul Mul coth x0 log coth x0 Mul Pow exp x4 Add Add -4 atan x0 -1 Mul Mul exp x4 log exp x4 Pow Add 1 Mul x0 x0 -1 