1変数であっても初等関数（の式）が、たとえば定数零に恒等的に等しいか
どうかを一般的に判定する手段（アルゴリズム）は存在しないということが
知られている。ただし初等関数のクラスを限定するのであれば、判定出来る
場合もある。つまりある与えられた初等関数による関係式が恒等式であるか
どうかを判別することはかなり難しい問題なのだ。
ここで初等関数とは、四則演算、巾根、三角関数、指数関数、対数関数、
絶対値（平方と平方根の組み合わせでも表せる）の操作を有限回適用して
生み出される関数のことをいう。