Add Add Mul x0 sec Add Pow pi x0 Pow x6 x0 Add sec Mul Mul x2 pi 3 x0 x6 
Add Add sec Add Pow pi x0 Pow x6 x0 Mul x0 Mul Mul tan Add Pow pi x0 Pow x6 x0 sec Add Pow pi x0 Pow x6 x0 Add Mul Pow pi Add x0 -1 Mul pi log pi Mul Pow x6 Add x0 -1 Mul x6 log x6 1 