Pow Pow Mul log x0 x0 acsch x7 Pow sqrt x2 x0 
Mul Pow Pow Mul log x0 x0 acsch x7 Add Pow sqrt x2 x0 -1 Add Mul Pow sqrt x2 x0 Mul Pow Mul log x0 x0 Add acsch x7 -1 Mul acsch x7 Add Mul x0 Pow x0 -1 log x0 Mul Mul Pow Mul log x0 x0 acsch x7 log Pow Mul log x0 x0 acsch x7 Mul Pow sqrt x2 Add x0 -1 Mul sqrt x2 log sqrt x2 