Rotate around axis and specific pivot point in a more direct way?

Question

Currently this works, and it does by translating to the origin, rotating, then translating back IIRC. However, whether you multiply or whether you use a more efficient way t