Mul x7 Mul Add sec Pow acos sqrt Mul E x0 5 x2 Mul sqrt Mul x0 x3 Add x0 Add x1 x0 
Mul x7 Add Mul Mul sqrt Mul x0 x3 Add x0 Add x1 x0 Mul Mul tan Pow acos sqrt Mul E x0 5 sec Pow acos sqrt Mul E x0 5 Mul Pow acos sqrt Mul E x0 4 Mul 5 Mul -1 Mul Mul Pow Mul 2 sqrt Mul E x0 -1 E Pow sqrt Add 1 Mul -1 Mul sqrt Mul E x0 sqrt Mul E x0 -1 Mul Add sec Pow acos sqrt Mul E x0 5 x2 Add Mul Add x0 Add x1 x0 Mul Pow Mul 2 sqrt Mul x0 x3 -1 x3 Mul sqrt Mul x0 x3 2 