Mul x0 Add Mul acot csch Pow x7 x0 x0 sin x0 
Add Add Mul acot csch Pow x7 x0 x0 sin x0 Mul x0 Add Add Mul x0 Mul -1 Mul Mul Mul Mul -1 coth Pow x7 x0 csch Pow x7 x0 Mul Pow x7 Add x0 -1 Mul x7 log x7 Pow Add 1 Mul csch Pow x7 x0 csch Pow x7 x0 -1 acot csch Pow x7 x0 cos x0 