maximize v + (v+1-\dfrac12v^2)^(2/3) + (1-\dfrac12v^2)^(1/2)