1/2 * int(sin(pi t) e^(-i pi t), t=-1..1)