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