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