atan Mul x6 Pow Add x0 x0 Pow asin Pow x0 pi Add x0 3 
Mul Mul x6 Mul Pow Add x0 x0 Add Pow asin Pow x0 pi Add x0 3 -1 Add Mul Pow asin Pow x0 pi Add x0 3 2 Mul Mul Add x0 x0 log Add x0 x0 Mul Pow asin Pow x0 pi Add Add x0 3 -1 Add Mul Add x0 3 Mul Mul Pow x0 Add pi -1 pi Pow sqrt Add 1 Mul -1 Mul Pow x0 pi Pow x0 pi -1 Mul asin Pow x0 pi log asin Pow x0 pi Pow Add 1 Mul Mul x6 Pow Add x0 x0 Pow asin Pow x0 pi Add x0 3 Mul x6 Pow Add x0 x0 Pow asin Pow x0 pi Add x0 3 -1 