Mul asin cosh Pow acos atanh x0 pi Pow x0 1.60943791243410 
Add Mul Pow x0 1.60943791243410 Mul Mul sinh Pow acos atanh x0 pi Mul Pow acos atanh x0 Add pi -1 Mul pi Mul -1 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul atanh x0 atanh x0 -1 Pow sqrt Add 1 Mul -1 Mul cosh Pow acos atanh x0 pi cosh Pow acos atanh x0 pi -1 Mul asin cosh Pow acos atanh x0 pi Mul Pow x0 0.609437912434100 1.60943791243410 