Mul x0 Pow Mul Pow Pow cot x0 1.73205080756888 x5 Pow Add Pow x3 x0 x0 x2 Mul Mul x0 4 Mul x0 x7 
Add Pow Mul Pow Pow cot x0 1.73205080756888 x5 Pow Add Pow x3 x0 x0 x2 Mul Mul x0 4 Mul x0 x7 Mul x0 Mul Pow Mul Pow Pow cot x0 1.73205080756888 x5 Pow Add Pow x3 x0 x0 x2 Add Mul Mul x0 4 Mul x0 x7 -1 Add Mul Mul Mul x0 4 Mul x0 x7 Add Mul Pow Add Pow x3 x0 x0 x2 Mul Pow Pow cot x0 1.73205080756888 Add x5 -1 Mul x5 Mul Pow cot x0 0.732050807568877 Mul 1.73205080756888 Mul -1 Pow csc x0 2 Mul Pow Pow cot x0 1.73205080756888 x5 Mul Pow Add Pow x3 x0 x0 Add x2 -1 Mul x2 Add Mul Pow x3 Add x0 -1 Mul x3 log x3 1 Mul Mul Mul Pow Pow cot x0 1.73205080756888 x5 Pow Add Pow x3 x0 x0 x2 log Mul Pow Pow cot x0 1.73205080756888 x5 Pow Add Pow x3 x0 x0 x2 Add Mul Mul x0 x7 4 Mul Mul x0 4 x7 