local extrema x^2/2-7*x+12*ln(x)+8