n>=1:3 states - 0ms
 (n>=1&fp(n,x))):8 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)))))=>phin(n,x))):4 states - 0ms
     (A n , x (((n>=1&fp(n,x)))&(E m phin(m,(n-1)))))=>phin(n,x)))):1 states - 0ms
Total computation time: 1ms.