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