圆(x-3)^2+(y+4)^2=2关于直线y=0对称的圆的方程是