atanh exp Pow Add x1 Add Pow log x0 E pi acos Mul 3.14159265358979 asin x0 
Mul Mul exp Pow Add x1 Add Pow log x0 E pi acos Mul 3.14159265358979 asin x0 Mul Pow Add x1 Add Pow log x0 E pi Add acos Mul 3.14159265358979 asin x0 -1 Add Mul acos Mul 3.14159265358979 asin x0 Mul Pow log x0 Add E -1 Mul E Pow x0 -1 Mul Mul Add x1 Add Pow log x0 E pi log Add x1 Add Pow log x0 E pi Mul -1 Mul Mul 3.14159265358979 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul 3.14159265358979 asin x0 Mul 3.14159265358979 asin x0 -1 Pow Add 1 Mul -1 Mul exp Pow Add x1 Add Pow log x0 E pi acos Mul 3.14159265358979 asin x0 exp Pow Add x1 Add Pow log x0 E pi acos Mul 3.14159265358979 asin x0 -1 