d/dx[x*cosh(x) - sinh(x)]