anyone? becuz using a loop would kind of defeat the purpose here...
best inequality solver i found was the first one i found:
http://www.hostsrv.com/webmab/app1/M...advanced#reply

but when i ask something like sine(x)<0.5 it responds with x<0.523599, which is not true, and it warns me of this beforehand as it is nonpolynomial