Mul x0 Add exp Mul Pow Add x3 x0 Pow Mul E Mul E x0 asec pi x6 log Pow E x0 
Add Add exp Mul Pow Add x3 x0 Pow Mul E Mul E x0 asec pi x6 log Pow E x0 Mul x0 Add Mul exp Mul Pow Add x3 x0 Pow Mul E Mul E x0 asec pi x6 Mul x6 Mul Pow Add x3 x0 Add Pow Mul E Mul E x0 asec pi -1 Add Pow Mul E Mul E x0 asec pi Mul Mul Add x3 x0 log Add x3 x0 Mul Pow Mul E Mul E x0 Add asec pi -1 Mul asec pi Mul E E Mul Mul Pow E Add x0 -1 Mul E log E Pow Pow E x0 -1 