How do you evaluate #sin (pi / 12) * cos (3 pi / 4) - cos (pi / 12) * sin (3 pi / 4)#?