How to express square constraint
You can use squae_pos(norm(...)).
The 2nd constraint can be handled moving the denominator to the LHS (i.e., multiplying both sides by the denominator), and using square_pos. Squares of scalar variables (or scalar elements) can be handled directly with ^2.

