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