tasr 1.5.1: New formula