exp(-iHt)

math works (1)