The tutorial is not for the adventurous, but that could go in trigsimp.