fix(tools/bmc): fix missing integral; add unused variable to formula