Solution (source code)

= Solution

The potential is smooth everywhere, so its mixed <partial derivatives> commute. The <curl of a gradient> therefore vanishes:
$$
\boxed{\nabla\times\mathbf F=\nabla\times\nabla\phi=\mathbf0}.
$$