renamed last step to properly reflect the action (extraction of mathematical formula from C code)