int((x^2+1)*dirac(x^2-x-6), x = -infty..infty)