Pow Pow csc x3 -1 Add Mul csch Add acoth atan E x0 -3 Pow Mul E x0 -4 
Mul Pow Pow csc x3 -1 Add Add Mul csch Add acoth atan E x0 -3 Pow Mul E x0 -4 -1 Mul Mul Pow csc x3 -1 log Pow csc x3 -1 Add Mul -3 Mul Mul -1 coth Add acoth atan E x0 csch Add acoth atan E x0 Mul Pow Mul E x0 5 Mul -4 E 