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