"exercise 9.3 (Dr.W.Lindner)" -- it is only a little syntactic gym with EigenMath ;) V(x)*(-i h d(psi(x),x)) - (-i h d(V(x)*psi(x),x)) -- that is RHS of (9.16) acting on psi, ok. Run