3:53:51karloszfinally can optimize some forms that sbcl cant
3:54:49karloszhttps://paste.gnome.org/po5rpykk1 and https://paste.gnome.org/pbhb5r6k4 can both be proved to be what they return in cleavir but sbcl still has to do the computation
14:48:20drmeisterAh - when we profile code and generate flame graphs we have very few characters of the name that we can display. So I put the function name first and the package following.