Where does “Brasil” come from?

Brasil (Tagalog) comes from Spanish brasil, from Spanish -il, from Latin -ilis, from Proto-Italic -elis, from Proto-Indo-European -elis, from Proto-Indo-European -lós — Forms agent nouns from verbal roots.