10-20 months later, LF(6) to LF(10) are now simplified, along with 10!!.
@TealTheReal for the request
