Mul x7 Pow sec sec Mul x0 sqrt x1 Mul E 3 
Mul x7 Mul Pow sec sec Mul x0 sqrt x1 Add Mul E 3 -1 Mul Mul E 3 Mul Mul tan sec Mul x0 sqrt x1 sec sec Mul x0 sqrt x1 Mul Mul tan Mul x0 sqrt x1 sec Mul x0 sqrt x1 sqrt x1 