Mul asec Pow Mul x0 x4 x5 asin acsch x6 
Mul asin acsch x6 Mul Mul Pow Mul x0 x4 Add x5 -1 Mul x5 x4 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Mul x0 x4 x5 Pow Mul x0 x4 x5 -1 Pow Mul x0 x4 x5 Pow Mul x0 x4 x5 -1 