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