That is far from the first usable form of Bayes. I have no idea what point you are making. Bayes Theorem is easily derived algebraically using conditional prob

That is far from the first usable form of Bayes. I have no idea what point you are making. Bayes Theorem is easily derived algebraically using conditional probability and the chain rule. You can also derive it easily with a Venn diagram. There is barely any notation needed at all here to understand it. If you're struggling with things at that level, it is more likely due to your own laziness, not because the math is hard. Because it is very easy to reason about.