Pow Mul Mul 2 Mul x0 sqrt x3 pi Pow Add x1 exp Mul x7 Mul x3 x0 x0 
Mul Pow Mul Mul 2 Mul x0 sqrt x3 pi Add Pow Add x1 exp Mul x7 Mul x3 x0 x0 -1 Add Mul Pow Add x1 exp Mul x7 Mul x3 x0 x0 Mul pi Mul 2 sqrt x3 Mul Mul Mul Mul 2 Mul x0 sqrt x3 pi log Mul Mul 2 Mul x0 sqrt x3 pi Mul Pow Add x1 exp Mul x7 Mul x3 x0 Add x0 -1 Add Mul x0 Mul exp Mul x7 Mul x3 x0 Mul x7 x3 Mul Add x1 exp Mul x7 Mul x3 x0 log Add x1 exp Mul x7 Mul x3 x0 