sin Pow x0 asech asin Pow x0 Mul x0 acos E 
Mul cos Pow x0 asech asin Pow x0 Mul x0 acos E Mul Pow x0 Add asech asin Pow x0 Mul x0 acos E -1 Add asech asin Pow x0 Mul x0 acos E Mul Mul x0 log x0 Mul Mul Mul Pow x0 Add Mul x0 acos E -1 Add Mul x0 acos E Mul Mul x0 log x0 acos E Pow sqrt Add 1 Mul -1 Mul Pow x0 Mul x0 acos E Pow x0 Mul x0 acos E -1 Pow Mul Mul asin Pow x0 Mul x0 acos E asin Pow x0 Mul x0 acos E sqrt Add 1 Mul -1 Pow Mul asin Pow x0 Mul x0 acos E asin Pow x0 Mul x0 acos E -1 -1 