Mul Pow Mul 2 Mul x0 Add -2 acos x0 3 sec Add Pow x0 x3 Mul x0 Pow x0 asech Mul x0 x7 
Add Mul sec Add Pow x0 x3 Mul x0 Pow x0 asech Mul x0 x7 Mul Pow Mul 2 Mul x0 Add -2 acos x0 2 Mul 3 Mul 2 Add Add -2 acos x0 Mul x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Pow Mul 2 Mul x0 Add -2 acos x0 3 Mul Mul tan Add Pow x0 x3 Mul x0 Pow x0 asech Mul x0 x7 sec Add Pow x0 x3 Mul x0 Pow x0 asech Mul x0 x7 Add Mul Pow x0 Add x3 -1 x3 Add Pow x0 asech Mul x0 x7 Mul x0 Mul Pow x0 Add asech Mul x0 x7 -1 Add asech Mul x0 x7 Mul Mul x0 log x0 Mul x7 Pow Mul Mul Mul x0 x7 Mul x0 x7 sqrt Add 1 Mul -1 Pow Mul Mul x0 x7 Mul x0 x7 -1 -1 