Invalid quadratic form(s): not a square problem

Thank you so much for your prompt reply.
My constraint is 1/(x*y)>=Constant, so i think rotated_lorentz can not be used. Hence, I decided to apply first-order Taylor expansion for LHS of this constraint.