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