tan Mul Pow Mul Mul E x0 pi 2 Mul sec x1 Mul -1 x0 
Mul Pow sec Mul Pow Mul Mul E x0 pi 2 Mul sec x1 Mul -1 x0 2 Add Mul Mul sec x1 Mul -1 x0 Mul Mul Mul E x0 pi Mul 2 Mul pi E Mul Pow Mul Mul E x0 pi 2 Mul sec x1 -1 