> caffeine derived from coca leaves

Coca leaves contain various alkaloids, but not caffeine. Coca Cola gets its caffeine from (traditionally) kola nuts, and (today, presumedly) the usual industrial sources.

Not sure what happens with my brain there. I did indeed mean de-cocainized coca leaves, not caffeine.