Add sqrt x7 Pow Pow Add 3 x0 Add x0 pi Add 1.73205080756888 x0 
Mul Pow Pow Add 3 x0 Add x0 pi Add Add 1.73205080756888 x0 -1 Add Mul Add 1.73205080756888 x0 Mul Pow Add 3 x0 Add Add x0 pi -1 Add Add x0 pi Mul Add 3 x0 log Add 3 x0 Mul Pow Add 3 x0 Add x0 pi log Pow Add 3 x0 Add x0 pi 