Add Pow x0 pi Mul x0 Pow tan Mul Mul pi x0 x0 x3 
Add Mul Pow x0 Add pi -1 pi Add Pow tan Mul Mul pi x0 x0 x3 Mul x0 Mul Pow tan Mul Mul pi x0 x0 Add x3 -1 Mul x3 Mul Pow sec Mul Mul pi x0 x0 2 Add Mul x0 pi Mul pi x0 