How do you evaluate #sin(45)cos(15)+cos(45)sin(15)#?