f1 = y^3*z^4 + y^5 + x^2 | f2 = y^5*z^3 + y^3*z^5 + x^2 | f3 = y^5*z^6 + y^4*z^6 + y^3*z^6 + y^2*z^6 + x^2
f0 = x^2 + y*(y^3+z^2)^2 : True
f3(x+phi) = y^5*z^6 + y^3*z^6 + x^2 ; factor of z^6 in residual part: (y + 1)^2 * y^3
at 0: w(f0)= 120  mu= 12  w(x),w(y),w(z) = 7 2 4
at eta, z-arc 1 + s^2 : w(f0)= 120  mu= 4  w(X),w(U),w(W) = 3 2 2  leading coeffs X,U,W: [a, a, 1]
at eta, z-arc 1 + s^3 : w(f0)= 120  mu= 4  w(X),w(U),w(W) = 3 2 3  leading coeffs X,U,W: [a, a, 1]
Narasimhan: f(C)= 0  df(C)= [0, 0, 0, 0]  d_y d_z f = Z1^2
