Mul log x7 Mul sec acsch x0 Add Add x7 x0 asin log x0 
Mul log x7 Add Mul Add Add x7 x0 asin log x0 Mul Mul tan acsch x0 sec acsch x0 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul sec acsch x0 Add 1 Mul Pow x0 -1 Pow sqrt Add 1 Mul -1 Mul log x0 log x0 -1 