Pow Mul Mul x0 x0 Pow cot csch x7 csc x0 acoth x7 
Mul Pow Mul Mul x0 x0 Pow cot csch x7 csc x0 Add acoth x7 -1 Mul acoth x7 Add Mul Pow cot csch x7 csc x0 Add x0 x0 Mul Mul x0 x0 Mul Pow cot csch x7 Add csc x0 -1 Mul Mul cot csch x7 log cot csch x7 Mul Mul -1 cot x0 csc x0 