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