x=1:2 states - 0ms
 (x=1&oddfib((n+1)))):4 states - 0ms
  x=0:1 states - 0ms
   ~oddfib((n+1))):5 states - 0ms
    (x=0&~oddfib((n+1)))):5 states - 0ms
     ((x=1&oddfib((n+1))))|(x=0&~oddfib((n+1))))):6 states - 0ms
Total computation time: 1ms.