min( x3 + 10 sin(5x))