added solver for 'a*sqrt(f(x)) REL b'