Redex runs at compile time, not at install time.
Most likely the problem is the Facebook app has a lot of bytecode. That's probably why the wrote redex in the first place, so they would have less bytecode in their final APK.
None of the optimizations in this tool are "rocket science" compared to the optimizations that GCC, for example, does.
If you have a ridiculously bloated and buggy Java app, writing an optimizing compiler doesn't sound like the most effective solution.
[0] https://news.ycombinator.com/item?id=5321634
[1] https://www.facebook.com/notes/facebook-engineering/under-th...