Pow Mul x0 Add Pow asech Add -3 Add 5 x0 sqrt Pow x0 asec x7 -5 Add x7 x6 
Mul Pow Mul x0 Add Pow asech Add -3 Add 5 x0 sqrt Pow x0 asec x7 -5 Add Add x7 x6 -1 Mul Add x7 x6 Add Add Pow asech Add -3 Add 5 x0 sqrt Pow x0 asec x7 -5 Mul x0 Mul Pow asech Add -3 Add 5 x0 Add sqrt Pow x0 asec x7 -1 Add Mul sqrt Pow x0 asec x7 Pow Mul Mul Add -3 Add 5 x0 Add -3 Add 5 x0 sqrt Add 1 Mul -1 Pow Mul Add -3 Add 5 x0 Add -3 Add 5 x0 -1 -1 Mul Mul asech Add -3 Add 5 x0 log asech Add -3 Add 5 x0 Mul Pow Mul 2 sqrt Pow x0 asec x7 -1 Mul Pow x0 Add asec x7 -1 asec x7 