A Toolbox for Program Manipulation and Efficient Code Generation with an Application to a Problem in Computer Vision.