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