Add Mul Add Mul cos x6 x0 -5 -1 acot Pow x7 Mul x0 coth x6 
Add Mul -1 cos x6 Mul -1 Mul Mul Pow x7 Add Mul x0 coth x6 -1 Mul Mul x7 log x7 coth x6 Pow Add 1 Mul Pow x7 Mul x0 coth x6 Pow x7 Mul x0 coth x6 -1 