i<x:6 states - 0ms
 (hp((n+1),x))&i<x):18 states - 1ms
  (E x (hp((n+1),x))&i<x)):9 states - 0ms
Total computation time: 7ms.