Mul x1 asinh Pow Mul Mul x0 asin Mul x3 x0 pi x1 
Mul x1 Mul Mul Pow Mul Mul x0 asin Mul x3 x0 pi Add x1 -1 Mul x1 Mul pi Add asin Mul x3 x0 Mul x0 Mul x3 Pow sqrt Add 1 Mul -1 Mul Mul x3 x0 Mul x3 x0 -1 Pow sqrt Add 1 Mul Pow Mul Mul x0 asin Mul x3 x0 pi x1 Pow Mul Mul x0 asin Mul x3 x0 pi x1 -1 