Pow exp csc acot x4 Pow tan Pow x7 coth x0 x0 
Mul Pow exp csc acot x4 Add Pow tan Pow x7 coth x0 x0 -1 Mul Mul exp csc acot x4 log exp csc acot x4 Mul Pow tan Pow x7 coth x0 Add x0 -1 Add Mul x0 Mul Pow sec Pow x7 coth x0 2 Mul Pow x7 Add coth x0 -1 Mul Mul x7 log x7 Mul -1 Pow csch x0 2 Mul tan Pow x7 coth x0 log tan Pow x7 coth x0 