Mul acoth Mul acosh E Mul Add cosh Mul 2 Pow -1 x2 x2 x0 log Add 2 Mul x0 x0 
Add Mul log Add 2 Mul x0 x0 Mul Mul acosh E Add cosh Mul 2 Pow -1 x2 x2 Pow Add 1 Mul -1 Mul Mul acosh E Mul Add cosh Mul 2 Pow -1 x2 x2 x0 Mul acosh E Mul Add cosh Mul 2 Pow -1 x2 x2 x0 -1 Mul acoth Mul acosh E Mul Add cosh Mul 2 Pow -1 x2 x2 x0 Mul Add x0 x0 Pow Add 2 Mul x0 x0 -1 