衍生工具是什麼