tasr 1.5.1: Remove require "formula"