Tag backward differentiation formula