Mul Pow Mul x0 asin acos Mul x0 x1 x0 Pow Pow log Mul 3 pi x1 Pow x4 x0 
Add Mul Pow Pow log Mul 3 pi x1 Pow x4 x0 Mul Pow Mul x0 asin acos Mul x0 x1 Add x0 -1 Add Mul x0 Add asin acos Mul x0 x1 Mul x0 Mul Mul -1 Mul x1 Pow sqrt Add 1 Mul -1 Mul Mul x0 x1 Mul x0 x1 -1 Pow sqrt Add 1 Mul -1 Mul acos Mul x0 x1 acos Mul x0 x1 -1 Mul Mul x0 asin acos Mul x0 x1 log Mul x0 asin acos Mul x0 x1 Mul Pow Mul x0 asin acos Mul x0 x1 x0 Mul Pow Pow log Mul 3 pi x1 Add Pow x4 x0 -1 Mul Mul Pow log Mul 3 pi x1 log Pow log Mul 3 pi x1 Mul Pow x4 Add x0 -1 Mul x4 log x4 