Mul sqrt pi Add Pow atan Add x7 x0 Add acot Add 0.295812915532746 Pow x0 x0 E x1 
Mul sqrt pi Mul Pow atan Add x7 x0 Add Add acot Add 0.295812915532746 Pow x0 x0 E -1 Add Mul Add acot Add 0.295812915532746 Pow x0 x0 E Pow Add 1 Mul Add x7 x0 Add x7 x0 -1 Mul Mul atan Add x7 x0 log atan Add x7 x0 Mul -1 Mul Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Add 1 Mul Add 0.295812915532746 Pow x0 x0 Add 0.295812915532746 Pow x0 x0 -1 