Mul x0 Mul x0 Mul x0 Mul x0 Pow asin x0 Mul Pow -2 x7 acsch x1 
Add Mul x0 Mul x0 Mul x0 Pow asin x0 Mul Pow -2 x7 acsch x1 Mul x0 Add Mul x0 Mul x0 Pow asin x0 Mul Pow -2 x7 acsch x1 Mul x0 Add Mul x0 Pow asin x0 Mul Pow -2 x7 acsch x1 Mul x0 Add Pow asin x0 Mul Pow -2 x7 acsch x1 Mul x0 Mul Pow asin x0 Add Mul Pow -2 x7 acsch x1 -1 Mul Mul Pow -2 x7 acsch x1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 