# Author: Nikos Kazazakis, Octeract Ltd.
#
# Simple multiexponential problem to test symbolic recognition.
# The x^y term introduces complex solutions and singularities.
# The global solution can be infered by observation, and is -Infty.
#
var x <=1,>=-1;
var y <=1,>=-1;
minimize obj: 2^x+x^y+x^2+y^3;