Pow Mul Add exp x0 x0 Pow 1.73205080756888 x0 Pow x0 Add x0 log Mul Pow Pow x0 x0 x0 x5 
Mul Pow Mul Add exp x0 x0 Pow 1.73205080756888 x0 Add Pow x0 Add x0 log Mul Pow Pow x0 x0 x0 x5 -1 Add Mul Pow x0 Add x0 log Mul Pow Pow x0 x0 x0 x5 Add Mul Pow 1.73205080756888 x0 Add exp x0 1 Mul Add exp x0 x0 Mul Pow 1.73205080756888 Add x0 -1 2.28135695190293 Mul Mul Mul Add exp x0 x0 Pow 1.73205080756888 x0 log Mul Add exp x0 x0 Pow 1.73205080756888 x0 Mul Pow x0 Add Add x0 log Mul Pow Pow x0 x0 x0 x5 -1 Add Add x0 log Mul Pow Pow x0 x0 x0 x5 Mul Mul x0 log x0 Add 1 Mul Mul x5 Mul Pow Pow x0 x0 Add x0 -1 Add Mul x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Pow x0 x0 log Pow x0 x0 Pow Mul Pow Pow x0 x0 x0 x5 -1 