Mul Add Mul x0 Add sqrt x6 tan Pow x0 1.73205080756888 -1 x0 
Add Mul x0 Add Add sqrt x6 tan Pow x0 1.73205080756888 Mul x0 Mul Pow sec Pow x0 1.73205080756888 2 Mul Pow x0 0.732050807568877 1.73205080756888 Add Mul x0 Add sqrt x6 tan Pow x0 1.73205080756888 -1 