acos Mul Pow Add asin Pow x7 Mul Pow x0 asin Mul x0 x0 x0 x2 x0 x5 
Mul -1 Mul Mul x5 Mul Pow Add asin Pow x7 Mul Pow x0 asin Mul x0 x0 x0 x2 Add x0 -1 Add Mul x0 Mul Mul Pow x7 Add Mul Pow x0 asin Mul x0 x0 x0 -1 Mul Mul x7 log x7 Add Mul x0 Mul Pow x0 Add asin Mul x0 x0 -1 Add asin Mul x0 x0 Mul Mul x0 log x0 Mul Add x0 x0 Pow sqrt Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 Pow x0 asin Mul x0 x0 Pow sqrt Add 1 Mul -1 Mul Pow x7 Mul Pow x0 asin Mul x0 x0 x0 Pow x7 Mul Pow x0 asin Mul x0 x0 x0 -1 Mul Add asin Pow x7 Mul Pow x0 asin Mul x0 x0 x0 x2 log Add asin Pow x7 Mul Pow x0 asin Mul x0 x0 x0 x2 Pow sqrt Add 1 Mul -1 Mul Mul Pow Add asin Pow x7 Mul Pow x0 asin Mul x0 x0 x0 x2 x0 x5 Mul Pow Add asin Pow x7 Mul Pow x0 asin Mul x0 x0 x0 x2 x0 x5 -1 