Fully functional one field backward Euler formulation