arccos(cos(pi/4)cos(5pi/12)+sin(pi/4)sin(5pi/12)cos(pi/6))