中間言語の候補としては、数学とか物理とかが良いと思う。「東ロボ」プロジェクトに期待したい。

＞つねにx^2 + y^2 = 1 であるとき、

x^2が１/x（x≠0）だったら話は違ってくるだろう。また高校数学で二次方程式は解けるが三次方程式は解けない。