slight modification to function timing log line

Signed-off-by: Jeremy C. Andrus <jeremya@cs.columbia.edu>
Give return path the possibly modified symbol name

Signed-off-by: Jeremy C. Andrus <jeremya@cs.columbia.edu>