Acredito que não é necessário calcular, pois é sempre 25 px. O painel não pode ser redimensionado até agora e também não consigo encontrar seu tamanho, mas sempre que preciso do valor que eu insiro, o 25 não varia, mesmo em resoluções diferentes. É um trabalho terrível no final do Unity, mas não há muito a ser feito a não ser pelo código-fonte.
EDIT: O tamanho do lançador é o tamanho dos ícones (de 32 a 64 e o padrão é 48) que é retornado por gconftool --get /apps/compiz-1/plugins/unityshell/screen0/options/icon_size
+ 14 px.