When there are linear relationship into play I could understand that someone with good insight and experience in the matter could express that, but how when there are roots and powers and fractions with (incredible) values...

And then they came the constants...

a) Thinking of those that came out from experimental work, is it a well outlined process to implement such complex expressions?

b) And an even and more insidious one: how in heaven the proved they were right?