atan Mul Pow pi Pow Add x0 x0 Mul 3 csc x2 Add x3 0.756802495307928 
Mul Mul Add x3 0.756802495307928 Mul Pow pi Add Pow Add x0 x0 Mul 3 csc x2 -1 Mul Mul pi log pi Mul Pow Add x0 x0 Add Mul 3 csc x2 -1 Mul Mul 3 csc x2 2 Pow Add 1 Mul Mul Pow pi Pow Add x0 x0 Mul 3 csc x2 Add x3 0.756802495307928 Mul Pow pi Pow Add x0 x0 Mul 3 csc x2 Add x3 0.756802495307928 -1 