Pow Mul Add -4 sec atan x0 -3 Add Pow coth x0 x1 4 
Mul Pow Mul Add -4 sec atan x0 -3 Add Add Pow coth x0 x1 4 -1 Add Mul Add Pow coth x0 x1 4 Mul -3 Mul Mul tan atan x0 sec atan x0 Pow Add 1 Mul x0 x0 -1 Mul Mul Mul Add -4 sec atan x0 -3 log Mul Add -4 sec atan x0 -3 Mul Pow coth x0 Add x1 -1 Mul x1 Mul -1 Pow csch x0 2 