void set_hintflag(int); int special_difofsquares(term t); int immediate_comdenom(term t); int contains_arctrigs(term t);