Mul Mul exp Pow atan x6 Add Pow x7 x0 x0 pi x0 
Add Mul x0 Mul pi Mul exp Pow atan x6 Add Pow x7 x0 x0 Mul Pow atan x6 Add Add Pow x7 x0 x0 -1 Mul Mul atan x6 log atan x6 Add Mul Pow x7 Add x0 -1 Mul x7 log x7 1 Mul exp Pow atan x6 Add Pow x7 x0 x0 pi 