hand-wavy exp of ddx sin is clarified