Mul sec Add x1 x0 Mul sec x0 Mul x2 Pow log pi x0 
Add Mul Mul sec x0 Mul x2 Pow log pi x0 Mul tan Add x1 x0 sec Add x1 x0 Mul sec Add x1 x0 Add Mul Mul x2 Pow log pi x0 Mul tan x0 sec x0 Mul sec x0 Mul x2 Mul Pow log pi Add x0 -1 Mul log pi log log pi 