Add Add x0 sinh x0 asin Mul Pow x0 1.81844645923207 Pow acoth acos x0 0.321750554396642 
Add Add 1 cosh x0 Mul Add Mul Pow acoth acos x0 0.321750554396642 Mul Pow x0 0.818446459232067 1.81844645923207 Mul Pow x0 1.81844645923207 Mul Pow acoth acos x0 -0.678249445603358 Mul 0.321750554396642 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul acos x0 acos x0 -1 Pow sqrt Add 1 Mul -1 Mul Mul Pow x0 1.81844645923207 Pow acoth acos x0 0.321750554396642 Mul Pow x0 1.81844645923207 Pow acoth acos x0 0.321750554396642 -1 