a, z, w, 
w^2+z^2-1
w*((4*a^2-2)*z+2-a^2)+3*a
(a^2-2)*(w^2-z^2+z)-3*a
