backtrace and simplify