Mul x0 acosh Pow Add x0 asin Add x0 x0 exp Pow x0 pi 
Add acosh Pow Add x0 asin Add x0 x0 exp Pow x0 pi Mul x0 Mul Mul Pow Add x0 asin Add x0 x0 Add exp Pow x0 pi -1 Add Mul exp Pow x0 pi Add 1 Mul 2 Pow sqrt Add 1 Mul -1 Mul Add x0 x0 Add x0 x0 -1 Mul Mul Add x0 asin Add x0 x0 log Add x0 asin Add x0 x0 Mul exp Pow x0 pi Mul Pow x0 Add pi -1 pi Pow Mul sqrt Add Pow Add x0 asin Add x0 x0 exp Pow x0 pi -1 sqrt Add 1 Pow Add x0 asin Add x0 x0 exp Pow x0 pi -1 