exp(-iHt)

Works (1)