i<x:6 states - 0ms
 (fp((n+1),x))&i<x):33 states - 1ms
  (E x (fp((n+1),x))&i<x)):19 states - 0ms
Total computation time: 2ms.