Mul -3 Pow coth cot Pow csch acot x4 x0 atan x0 
Mul -3 Mul Pow coth cot Pow csch acot x4 x0 Add atan x0 -1 Add Mul atan x0 Mul Mul -1 Pow csch cot Pow csch acot x4 x0 2 Mul Mul -1 Pow csc Pow csch acot x4 x0 2 Mul Pow csch acot x4 Add x0 -1 Mul csch acot x4 log csch acot x4 Mul Mul coth cot Pow csch acot x4 x0 log coth cot Pow csch acot x4 x0 Pow Add 1 Mul x0 x0 -1 