cot Add Mul Pow atan csc x0 Mul acoth x3 Add x0 -5 x1 Add x6 2 
Mul Mul -1 Pow csc Add Mul Pow atan csc x0 Mul acoth x3 Add x0 -5 x1 Add x6 2 2 Mul x1 Mul Pow atan csc x0 Add Mul acoth x3 Add x0 -5 -1 Add Mul Mul acoth x3 Add x0 -5 Mul Mul Mul -1 cot x0 csc x0 Pow Add 1 Mul csc x0 csc x0 -1 Mul Mul atan csc x0 log atan csc x0 acoth x3 