Pow cosh Add atan Pow x0 Pow x0 atan Pow Mul -2 coth x2 sqrt coth acos sqrt x3 -3 acosh E 
Mul Pow cosh Add atan Pow x0 Pow x0 atan Pow Mul -2 coth x2 sqrt coth acos sqrt x3 -3 Add acosh E -1 Mul acosh E Mul sinh Add atan Pow x0 Pow x0 atan Pow Mul -2 coth x2 sqrt coth acos sqrt x3 -3 Mul Mul Pow x0 Add Pow x0 atan Pow Mul -2 coth x2 sqrt coth acos sqrt x3 -1 Add Pow x0 atan Pow Mul -2 coth x2 sqrt coth acos sqrt x3 Mul Mul x0 log x0 Mul Pow x0 Add atan Pow Mul -2 coth x2 sqrt coth acos sqrt x3 -1 atan Pow Mul -2 coth x2 sqrt coth acos sqrt x3 Pow Add 1 Mul Pow x0 Pow x0 atan Pow Mul -2 coth x2 sqrt coth acos sqrt x3 Pow x0 Pow x0 atan Pow Mul -2 coth x2 sqrt coth acos sqrt x3 -1 