minimize 4x-4tgx+12 over [-Pi/4,0]