cot Mul Mul acot E x0 Add 3 Pow atanh csc x0 Pow x0 4 
Mul Mul -1 Pow csc Mul Mul acot E x0 Add 3 Pow atanh csc x0 Pow x0 4 2 Add Mul Add 3 Pow atanh csc x0 Pow x0 4 acot E Mul Mul acot E x0 Mul Pow atanh csc x0 Add Pow x0 4 -1 Add Mul Pow x0 4 Mul Mul Mul -1 cot x0 csc x0 Pow Add 1 Mul -1 Mul csc x0 csc x0 -1 Mul Mul atanh csc x0 log atanh csc x0 Mul Pow x0 3 4 