asin Pow Mul acos E Add 2 x0 x0 
Mul Mul Pow Mul acos E Add 2 x0 Add x0 -1 Add Mul x0 acos E Mul Mul acos E Add 2 x0 log Mul acos E Add 2 x0 Pow sqrt Add 1 Mul -1 Mul Pow Mul acos E Add 2 x0 x0 Pow Mul acos E Add 2 x0 x0 -1 