add fast-downward formula