EFX1 was speculation on my part. I saw it become available on a list of expired domains and thought that someone might want to use it as a brandable name.
EFX suggests “effects” to me.
The number of four character domain names is limited which has some value.
I used it occasionally when I wanted a test domain to try out new software.
efx1 was first registered in 2007.