Pow asin x0 acos Pow x0 asech x6 
Mul Pow asin x0 Add acos Pow x0 asech x6 -1 Add Mul acos Pow x0 asech x6 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul asin x0 log asin x0 Mul -1 Mul Mul Pow x0 Add asech x6 -1 asech x6 Pow sqrt Add 1 Mul -1 Mul Pow x0 asech x6 Pow x0 asech x6 -1 