cot Pow coth x7 cot Add atan x0 -4 
Mul Mul -1 Pow csc Pow coth x7 cot Add atan x0 -4 2 Mul Pow coth x7 Add cot Add atan x0 -4 -1 Mul Mul coth x7 log coth x7 Mul Mul -1 Pow csc Add atan x0 -4 2 Pow Add 1 Mul x0 x0 -1 