sinh Mul x0 Pow exp acot Add cosh x0 exp E Pow x0 Mul Mul Add acosh x2 x0 acoth Mul x0 x1 pi 
Mul cosh Mul x0 Pow exp acot Add cosh x0 exp E Pow x0 Mul Mul Add acosh x2 x0 acoth Mul x0 x1 pi Add Pow exp acot Add cosh x0 exp E Pow x0 Mul Mul Add acosh x2 x0 acoth Mul x0 x1 pi Mul x0 Mul Pow exp acot Add cosh x0 exp E Add Pow x0 Mul Mul Add acosh x2 x0 acoth Mul x0 x1 pi -1 Add Mul Pow x0 Mul Mul Add acosh x2 x0 acoth Mul x0 x1 pi Mul exp acot Add cosh x0 exp E Mul -1 Mul sinh x0 Pow Add 1 Mul Add cosh x0 exp E Add cosh x0 exp E -1 Mul Mul exp acot Add cosh x0 exp E log exp acot Add cosh x0 exp E Mul Pow x0 Add Mul Mul Add acosh x2 x0 acoth Mul x0 x1 pi -1 Add Mul Mul Add acosh x2 x0 acoth Mul x0 x1 pi Mul Mul x0 log x0 Mul pi Add acoth Mul x0 x1 Mul Add acosh x2 x0 Mul x1 Pow Add 1 Mul -1 Mul Mul x0 x1 Mul x0 x1 -1 