(E x quetb(n,x))):2 states - 1ms
 (A n (E x quetb(n,x)))):1 states - 0ms
Total computation time: 1ms.