@ronnie: naja dafür kann man schon noch ein constraint system aufstellen.

"c" <-> sqrt <-> plus <-> hoch2 <-> "a"
|
+-> hoch2 <-> "b"

vom implementierungsaufwand her total blödsinnig.