Definitely tell the doc. They can just switch up the type of statin.
I have family history of this stuff. So i got out on statins last year because my cholesterol was insane and I don’t eat meat, or smoke, or any of that stuff. Initially put on 40mg then cut down to 20. Cholesterol is now like 125. So I might see if they can half it again.
But no side effects other than mild joint pain the first week.
I’d strongly suggest just asking them to switch up the type of statin.