Mul Add atan Pow Pow E Add x0 x0 atanh x0 Mul x0 1.73205080756888 x0 
Add Mul x0 Add Mul Mul Pow Pow E Add x0 x0 Add atanh x0 -1 Add Mul atanh x0 Mul Pow E Add Add x0 x0 -1 Mul Mul E log E 2 Mul Mul Pow E Add x0 x0 log Pow E Add x0 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Pow Pow E Add x0 x0 atanh x0 Pow Pow E Add x0 x0 atanh x0 -1 1.73205080756888 Add atan Pow Pow E Add x0 x0 atanh x0 Mul x0 1.73205080756888 