acos Pow asin x0 sech acosh Mul -0.841470984807897 x6 
Mul -1 Mul Mul Pow asin x0 Add sech acosh Mul -0.841470984807897 x6 -1 Mul sech acosh Mul -0.841470984807897 x6 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow asin x0 sech acosh Mul -0.841470984807897 x6 Pow asin x0 sech acosh Mul -0.841470984807897 x6 -1 