Puma Modified Problem (transcendental system) go icos AMPL = 0, <= 6.28318531; var t2 >= 0, <= 6.28318531; var t3 >= 0, <= 6.28318531; var t4 >= 0, <= 6.28318531; subject to c1: .4731e-2*cos(t1)*cos(t2)-.3578*sin(t1)*cos(t2)-.1238*cos(t1)-.1637e-2*sin(t1)-.9338*sin(t2)+cos(t4)-.3571=0; c2: .2238*cos(t1)*cos(t2)+.7623*sin(t1)*cos(t2)+.2638*cos(t1)-.7745e-1*sin(t1)-.6734*sin(t2)-.6022=0; c3: sin(t3)*sin(t4)+.3578*cos(t1)+.4731e-2*sin(t1)=0; c4: -.7623*cos(t1)+.2238*sin(t1)+.3461=0; ]]> This is the problem Puma Modified from the COPRIN set: http://www-sop.inria.fr/coprin/logiciels/ALIAS/Benches/benches.html It has 16 solutions.