minimize theta + sin^-1((sin(pi/3)/tan(sin^-1(1.00293*sin(theta)/1.52))-cos(pi/3))sin(theta))