traceformula