acot Mul Pow x0 Add x2 acsch x7 x0 
Mul -1 Mul Add Mul x0 Mul Pow x0 Add Add x2 acsch x7 -1 Add x2 acsch x7 Pow x0 Add x2 acsch x7 Pow Add 1 Mul Mul Pow x0 Add x2 acsch x7 x0 Mul Pow x0 Add x2 acsch x7 x0 -1 