sec Add sec Mul E Add 0.163825179861612 x0 Mul x4 x0 
Mul Mul tan Add sec Mul E Add 0.163825179861612 x0 Mul x4 x0 sec Add sec Mul E Add 0.163825179861612 x0 Mul x4 x0 Add Mul Mul tan Mul E Add 0.163825179861612 x0 sec Mul E Add 0.163825179861612 x0 E x4 