+formula evaluation with temporary variables