asin Pow Mul x2 acos Pow E asin Mul pi x2 x0 
Mul Mul Pow Mul x2 acos Pow E asin Mul pi x2 Add x0 -1 Mul Mul x2 acos Pow E asin Mul pi x2 log Mul x2 acos Pow E asin Mul pi x2 Pow sqrt Add 1 Mul -1 Mul Pow Mul x2 acos Pow E asin Mul pi x2 x0 Pow Mul x2 acos Pow E asin Mul pi x2 x0 -1 