Mul Pow pi Mul x0 atanh x0 Add x1 Mul exp Add Add Mul Pow x1 Mul 3 x0 x4 1.73205080756888 x0 Add x0 1 
Add Mul Add x1 Mul exp Add Add Mul Pow x1 Mul 3 x0 x4 1.73205080756888 x0 Add x0 1 Mul Pow pi Add Mul x0 atanh x0 -1 Mul Mul pi log pi Add atanh x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow pi Mul x0 atanh x0 Add Mul Add x0 1 Mul exp Add Add Mul Pow x1 Mul 3 x0 x4 1.73205080756888 x0 Add Mul x4 Mul Pow x1 Add Mul 3 x0 -1 Mul Mul x1 log x1 3 1 exp Add Add Mul Pow x1 Mul 3 x0 x4 1.73205080756888 x0 