Mul x0 Pow Pow x6 x0 Pow x0 Mul asec pi x0 
Add Pow Pow x6 x0 Pow x0 Mul asec pi x0 Mul x0 Mul Pow Pow x6 x0 Add Pow x0 Mul asec pi x0 -1 Add Mul Pow x0 Mul asec pi x0 Mul Pow x6 Add x0 -1 Mul x6 log x6 Mul Mul Pow x6 x0 log Pow x6 x0 Mul Pow x0 Add Mul asec pi x0 -1 Add Mul asec pi x0 Mul Mul x0 log x0 asec pi 