Yes, but it changes the byte code, and I think android compiles that code into machine code when you install an app.
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...