max(cos(x)+0.5*sin(x)), x from 0 to pi/4