WolframAlpha computational knowledge AI
maximize xy/z in x^2-2x+2y^2-8y+4z^2-16z+24<=0