Mul x0 Mul Mul x0 Mul x0 Pow Pow x0 E -1 Mul x3 cosh Mul acos x0 Pow acoth sqrt x0 pi 
Add Mul Mul x0 Mul x0 Pow Pow x0 E -1 Mul x3 cosh Mul acos x0 Pow acoth sqrt x0 pi Mul x0 Add Mul Mul x3 cosh Mul acos x0 Pow acoth sqrt x0 pi Add Mul x0 Pow Pow x0 E -1 Mul x0 Add Pow Pow x0 E -1 Mul x0 Mul Pow Pow x0 E 2 Mul -1 Mul Pow x0 Add E -1 E Mul Mul x0 Mul x0 Pow Pow x0 E -1 Mul x3 Mul sinh Mul acos x0 Pow acoth sqrt x0 pi Add Mul Pow acoth sqrt x0 pi Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul acos x0 Mul Pow acoth sqrt x0 Add pi -1 Mul pi Mul Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul -1 Mul sqrt x0 sqrt x0 -1 