added webkit2png and tree formulae