((S ((S ((S (K IF)) ((S <) (K 2)))) (K 1)))
    ((S ((S (K + )) ((S ((S (K +))
    ((S (K CYCLE))  ((S -) (K 1)))))  ((S (K CYCLE))
    ((S -) (K 2)))))) (K 1)))

nfib derivation:

nfib x =  1  ; x < 2
       = nfib(x-1) + nfib(x-2) + 1

((( if (< x 2) ) 1)  ((+ ((+ (nfib (- x 1) ) ) (nfib (-x 2) ) ) ) 1) )

***** completely unoptimized SKI graph
((S ((S ((S (K IF)) ((S ((S (K <)) I)) (K 2)))) (K 1)))
    ((S ((S (K + )) ((S ((S (K +))
    ((S (K CYCLE))  ((S ((S (K -)) I)) (K 1)))))  ((S (K CYCLE))
    ((S ((S (K -)) I)) (K 2)))))) (K 1)))

****** SKI graph after TURNER set optimizations (first 2 rules only)
((S ((S ((S (K IF)) ((S <) (K 2)))) (K 1)))
    ((S ((S (K + )) ((S ((S (K +))
    ((S (K CYCLE))  ((S -) (K 1)))))  ((S (K CYCLE))
    ((S -) (K 2)))))) (K 1)))
