Pow x2 Add asin Mul Mul x0 acos Mul x0 x3 x1 sqrt x0 
Mul Pow x2 Add Add asin Mul Mul x0 acos Mul x0 x3 x1 sqrt x0 -1 Mul Mul x2 log x2 Add Mul Mul x1 Add acos Mul x0 x3 Mul x0 Mul -1 Mul x3 Pow sqrt Add 1 Mul -1 Mul Mul x0 x3 Mul x0 x3 -1 Pow sqrt Add 1 Mul -1 Mul Mul Mul x0 acos Mul x0 x3 x1 Mul Mul x0 acos Mul x0 x3 x1 -1 Pow Mul 2 sqrt x0 -1 