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