n>=1:3 states - 1ms
 (n>=1&fp(n,x))):8 states - 0ms
  (E m phin(m,(n-1)))):5 states - 0ms
   ~(E m phin(m,(n-1)))):5 states - 0ms
    ((n>=1&fp(n,x)))&~(E m phin(m,(n-1))))):5 states - 0ms
     (((n>=1&fp(n,x)))&~(E m phin(m,(n-1)))))=>noverphi(n,(x-1)))):4 states - 0ms
      (A n , x (((n>=1&fp(n,x)))&~(E m phin(m,(n-1)))))=>noverphi(n,(x-1))))):1 states - 0ms
Total computation time: 2ms.