cot Pow acsch x7 acot Pow x0 x1 
Mul Mul -1 Pow csc Pow acsch x7 acot Pow x0 x1 2 Mul Pow acsch x7 Add acot Pow x0 x1 -1 Mul Mul acsch x7 log acsch x7 Mul -1 Mul Mul Pow x0 Add x1 -1 x1 Pow Add 1 Mul Pow x0 x1 Pow x0 x1 -1 