x!=y:6 states - 0ms
 (x!=y&hp(n,x))):23 states - 1ms
  ((x!=y&hp(n,x)))&hp(n,y))):1 states - 0ms
   (E x , y ((x!=y&hp(n,x)))&hp(n,y)))):1 states - 0ms
    ~(E x , y ((x!=y&hp(n,x)))&hp(n,y)))):2 states - 0ms
     (A n ~(E x , y ((x!=y&hp(n,x)))&hp(n,y))))):1 states - 0ms
Total computation time: 1ms.