It wasn't thought of, it was calculated using a computer algebra system. Such systems are very powerful, but tend to be fairly bad at writing things nicely and

It wasn't thought of, it was calculated using a computer algebra system. Such systems are very powerful, but tend to be fairly bad at writing things nicely and simplifying, so they often produce insanely big and complicated formulas.