Pow csch acot acosh Add -1 x2 Add Pow Add x0 -4 x0 Pow x0 cosh x0 
Mul Pow csch acot acosh Add -1 x2 Add Add Pow Add x0 -4 x0 Pow x0 cosh x0 -1 Mul Mul csch acot acosh Add -1 x2 log csch acot acosh Add -1 x2 Add Mul Pow Add x0 -4 Add x0 -1 Add x0 Mul Add x0 -4 log Add x0 -4 Mul Pow x0 Add cosh x0 -1 Add cosh x0 Mul Mul x0 log x0 sinh x0 