How to cause noun-form integral to be evaluated?

Robert Dodier:
> After some manipulations I got a noun-form integral,
> and I can't figure out how to get it evaluated.
> ...I have RTFM and searched the mailing list archives.

As it happens, the fine manual does have the information, but it is
admittedly hard to find.  One of the two ways to do it is hidden in the
long description of the multivalent (hypervalent?) "ev" command:

 - Function: EV (exp, arg1, ..., argn)
     ...Any other function names (e.g.  SUM) causes evaluation of
     occurrences of those names in exp as though they were verbs.

Another of the two ways to do it is hidden in two different places:

 - special symbol: NOUNS
     (EVFLAG) when used as an option to the EV command, converts all
     "noun" forms occurring in the expression being EV'd to "verbs",
     i.e.  evaluates them.  See also NOUN, NOUNIFY, VERB, and VERBIFY.

 - Function: APPLY_NOUNS (exp)
     causes the application of noun forms in an expression.  E.g.
     EXP:'DIFF(X^2/2,X); APPLY_NOUNS(EXP); gives X.  This gives the
     same result as EV(EXP,NOUNS); except that it can be faster and use
     less storage.

Though apply_nouns doesn't work, ev(exp,NOUNS) does.

Not your fault for not finding these....  There should be more thematic
documentation, e.g. everything about nouns/verbs in one place.  Having
the information in the documentation is not very useful if one can't
FIND the information!

      -s

---------------------------------------------------------------------

(C1) 'integrate(sin(x),x);

               /
               [
(D1)           I SIN(x) dx
               ]
               /

(C2) d1,integrate;
(D2)            - COS(x)

(C3) d1,nouns;
(D3)            - COS(x)