int invert_eqn(term,term,term,term *); int invert_eqn2(term,term,term,term *); int invert_function(unsigned f, term c, term *ans);