`  :The condition for the first pair of formulas is ``provided that either x > 0 or y ≠ 0``. If that condition fails, then x ≤ 0 and y = 0. In which case, the formulas become  ::  :which is undefined when it should be π.  `