なるほど．その重い式かどうかの判定をどうやるかが肝になりそうですね．