Решение 

`and`(`+`(`*`(`^`(`+`(x, `*`(`/`(1, 2), `*`(a))), 2)), `*`(`^`(`+`(y, `*`(`/`(1, 2), `*`(b))), 2))) = `+`(`*`(`/`(1, 4), `*`(`^`(a, 2))), `*`(`/`(1, 4), `*`(`^`(b, 2))), `-`(c)), `>`(`+`(`*`(`/`(1, 4)... 

- окружность.