bug 7256: acot(-1) values differ

(1) -> normalize(acot(-1))

        3%pi
   (1)  ----
          4
                                                    Type: Expression(Integer)
(2) -> normalize(subst(acot(z),z=-1))

          %pi
   (2)  - ---
           4
                                                    Type: Expression(Integer)