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