 x > = y   h a s   2   s t a t e s :   1 m s 
   ( p o w e r 2 ( x ) & x > = y )   h a s   3   s t a t e s :   0 m s 
     x < ( 2 * y )   h a s   3   s t a t e s :   1 m s 
       ( ( p o w e r 2 ( x ) & x > = y ) & x < ( 2 * y ) )   h a s   4   s t a t e s :   0 m s 
 t o t a l   c o m p u t a t i o n   t i m e :   3 m s