TREE(3) is also unimaginably tiny compared to the normal form size of (λa.aaa(λbλcλdλe.ebbbcde)aaaa)(λfλx.f(fx)) [1].

[1] https://wiki.bbchallenge.org/wiki/Lambda_Calculus#Champions