maybe talking to other coworkers and finding out how they handle it? Getting their perspectives on why she's one ot laugh at rather than get triggered by might give you insight and a new perspective on it.. maybe just make you feel better to be able to vent a little without having to report her?