acos Add x0 asinh Pow Mul Pow x3 asin Pow Mul log pi x0 pi x0 x3 
Mul -1 Mul Add 1 Mul Mul Pow Mul Pow x3 asin Pow Mul log pi x0 pi x0 Add x3 -1 Mul x3 Add Mul x0 Mul Pow x3 Add asin Pow Mul log pi x0 pi -1 Mul Mul x3 log x3 Mul Mul Pow Mul log pi x0 Add pi -1 Mul pi log pi Pow sqrt Add 1 Mul -1 Mul Pow Mul log pi x0 pi Pow Mul log pi x0 pi -1 Pow x3 asin Pow Mul log pi x0 pi Pow sqrt Add 1 Mul Pow Mul Pow x3 asin Pow Mul log pi x0 pi x0 x3 Pow Mul Pow x3 asin Pow Mul log pi x0 pi x0 x3 -1 Pow sqrt Add 1 Mul -1 Mul Add x0 asinh Pow Mul Pow x3 asin Pow Mul log pi x0 pi x0 x3 Add x0 asinh Pow Mul Pow x3 asin Pow Mul log pi x0 pi x0 x3 -1 