my little brother has discovered the rule of cosines by himself
cosine rule: cosine(x) = sine(x + 90°), probably
that’s not the one i was thinking of