Add Mul Add x7 tan atan Add 3 sqrt Mul x0 Pow Pow x0 x2 sec Pow x0 Mul x0 3 x1 x0 
Add Mul x1 Mul Pow sec atan Add 3 sqrt Mul x0 Pow Pow x0 x2 sec Pow x0 Mul x0 3 2 Mul Mul Pow Mul 2 sqrt Mul x0 Pow Pow x0 x2 sec Pow x0 Mul x0 3 -1 Add Pow Pow x0 x2 sec Pow x0 Mul x0 3 Mul x0 Mul Pow Pow x0 x2 Add sec Pow x0 Mul x0 3 -1 Add Mul sec Pow x0 Mul x0 3 Mul Pow x0 Add x2 -1 x2 Mul Mul Pow x0 x2 log Pow x0 x2 Mul Mul tan Pow x0 Mul x0 3 sec Pow x0 Mul x0 3 Mul Pow x0 Add Mul x0 3 -1 Add Mul x0 3 Mul Mul x0 log x0 3 Pow Add 1 Mul Add 3 sqrt Mul x0 Pow Pow x0 x2 sec Pow x0 Mul x0 3 Add 3 sqrt Mul x0 Pow Pow x0 x2 sec Pow x0 Mul x0 3 -1 1 