Mul x7 Mul atan x0 Pow x1 Add x0 Pow atan Mul x0 Add -4 x0 Mul asin x6 acos pi 
Mul x7 Add Mul Pow x1 Add x0 Pow atan Mul x0 Add -4 x0 Mul asin x6 acos pi Pow Add 1 Mul x0 x0 -1 Mul atan x0 Mul Pow x1 Add Add x0 Pow atan Mul x0 Add -4 x0 Mul asin x6 acos pi -1 Mul Mul x1 log x1 Add 1 Mul Pow atan Mul x0 Add -4 x0 Add Mul asin x6 acos pi -1 Mul Mul asin x6 acos pi Mul Add Add -4 x0 x0 Pow Add 1 Mul Mul x0 Add -4 x0 Mul x0 Add -4 x0 -1 