Mul 4 asec Pow Mul x0 sqrt x7 asech asin Pow Add x0 x0 x4 
Mul 4 Mul Mul Pow Mul x0 sqrt x7 Add asech asin Pow Add x0 x0 x4 -1 Add Mul asech asin Pow Add x0 x0 x4 sqrt x7 Mul Mul Mul x0 sqrt x7 log Mul x0 sqrt x7 Mul Mul Mul Pow Add x0 x0 Add x4 -1 Mul x4 2 Pow sqrt Add 1 Mul -1 Mul Pow Add x0 x0 x4 Pow Add x0 x0 x4 -1 Pow Mul Mul asin Pow Add x0 x0 x4 asin Pow Add x0 x0 x4 sqrt Add 1 Mul -1 Pow Mul asin Pow Add x0 x0 x4 asin Pow Add x0 x0 x4 -1 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Mul x0 sqrt x7 asech asin Pow Add x0 x0 x4 Pow Mul x0 sqrt x7 asech asin Pow Add x0 x0 x4 -1 Pow Mul x0 sqrt x7 asech asin Pow Add x0 x0 x4 Pow Mul x0 sqrt x7 asech asin Pow Add x0 x0 x4 -1 