Pow pi Pow Pow atan cot Add x0 Mul x0 x0 sqrt x3 3 
Mul Pow pi Add Pow Pow atan cot Add x0 Mul x0 x0 sqrt x3 3 -1 Mul Mul pi log pi Mul Pow Pow atan cot Add x0 Mul x0 x0 sqrt x3 2 Mul 3 Mul Pow atan cot Add x0 Mul x0 x0 Add sqrt x3 -1 Mul sqrt x3 Mul Mul Mul -1 Pow csc Add x0 Mul x0 x0 2 Add 1 Add x0 x0 Pow Add 1 Mul cot Add x0 Mul x0 x0 cot Add x0 Mul x0 x0 -1 