Add Mul x0 Pow 0.339836909454122 x7 Add x0 Add x0 Pow x7 Add atan exp Mul Mul Pow 2 x0 x0 x0 3 
Add Pow 0.339836909454122 x7 Add 1 Add 1 Mul Pow x7 Add Add atan exp Mul Mul Pow 2 x0 x0 x0 3 -1 Mul Mul x7 log x7 Mul Mul exp Mul Mul Pow 2 x0 x0 x0 Add Mul x0 Add Mul x0 Mul Pow 2 Add x0 -1 2.69314718055995 Pow 2 x0 Mul Pow 2 x0 x0 Pow Add 1 Mul exp Mul Mul Pow 2 x0 x0 x0 exp Mul Mul Pow 2 x0 x0 x0 -1 