Mul x3 asin Add x0 Pow Mul -1 Mul x0 Add x7 3 Mul x0 pi 
Mul x3 Mul Add 1 Mul Pow Mul -1 Mul x0 Add x7 3 Add Mul x0 pi -1 Add Mul Mul x0 pi Mul -1 Add x7 3 Mul Mul Mul -1 Mul x0 Add x7 3 log Mul -1 Mul x0 Add x7 3 pi Pow sqrt Add 1 Mul -1 Mul Add x0 Pow Mul -1 Mul x0 Add x7 3 Mul x0 pi Add x0 Pow Mul -1 Mul x0 Add x7 3 Mul x0 pi -1 