Add 3.17520119364380 Add pi Pow Pow Mul x0 pi Pow Add 3 asin x5 x2 x0 
Mul Pow Pow Mul x0 pi Pow Add 3 asin x5 x2 Add x0 -1 Add Mul x0 Mul Pow Mul x0 pi Add Pow Add 3 asin x5 x2 -1 Mul Pow Add 3 asin x5 x2 pi Mul Pow Mul x0 pi Pow Add 3 asin x5 x2 log Pow Mul x0 pi Pow Add 3 asin x5 x2 