sec sec Pow Pow Mul E asin x0 3 acosh Add x6 Mul -3 E 
Mul Mul tan sec Pow Pow Mul E asin x0 3 acosh Add x6 Mul -3 E sec sec Pow Pow Mul E asin x0 3 acosh Add x6 Mul -3 E Mul Mul tan Pow Pow Mul E asin x0 3 acosh Add x6 Mul -3 E sec Pow Pow Mul E asin x0 3 acosh Add x6 Mul -3 E Mul Pow Pow Mul E asin x0 3 Add acosh Add x6 Mul -3 E -1 Mul acosh Add x6 Mul -3 E Mul Pow Mul E asin x0 2 Mul 3 Mul E Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 