i<x:6 states - 0ms
 (quetb((n+3),x))&i<x):51 states - 0ms
  (E x (quetb((n+3),x))&i<x)):20 states - 0ms
Total computation time: 0ms.