minimize (1-cos(x))*x for x>1