Mul x0 Mul Mul atanh Mul asin Mul Add x0 x0 pi acosh Add x4 x0 x0 x0 
Add Mul Mul atanh Mul asin Mul Add x0 x0 pi acosh Add x4 x0 x0 x0 Mul x0 Add Mul x0 Add Mul x0 Mul Add Mul acosh Add x4 x0 Mul Mul pi 2 Pow sqrt Add 1 Mul -1 Mul Mul Add x0 x0 pi Mul Add x0 x0 pi -1 Mul asin Mul Add x0 x0 pi Pow Mul sqrt Add Add x4 x0 -1 sqrt Add 1 Add x4 x0 -1 Pow Add 1 Mul -1 Mul Mul asin Mul Add x0 x0 pi acosh Add x4 x0 Mul asin Mul Add x0 x0 pi acosh Add x4 x0 -1 atanh Mul asin Mul Add x0 x0 pi acosh Add x4 x0 Mul atanh Mul asin Mul Add x0 x0 pi acosh Add x4 x0 x0 