sin(pi/10)cos(pi/12)-cos(pi/10)sin(pi/12)