maximize y=((1-x)/2 - (arccos x)/pi)