i<x:6 states - 0ms
 (quetb((n+2),x))&i<x):48 states - 1ms
  (E x (quetb((n+2),x))&i<x)):17 states - 0ms
Total computation time: 2ms.