Pow Mul Mul pi x0 sec E cos Mul x0 x0 
Mul Pow Mul Mul pi x0 sec E Add cos Mul x0 x0 -1 Add Mul cos Mul x0 x0 Mul sec E pi Mul Mul Mul Mul pi x0 sec E log Mul Mul pi x0 sec E Mul Mul -1 sin Mul x0 x0 Add x0 x0 