Add x6 Pow Pow Pow x0 Mul asin x0 x3 asech Mul asin x5 x4 x3 
Mul Pow Pow Pow x0 Mul asin x0 x3 asech Mul asin x5 x4 Add x3 -1 Mul x3 Mul Pow Pow x0 Mul asin x0 x3 Add asech Mul asin x5 x4 -1 Mul asech Mul asin x5 x4 Mul Pow x0 Add Mul asin x0 x3 -1 Add Mul asin x0 x3 Mul Mul x0 log x0 Mul x3 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 