static RCP<const Basic> diff(const Cot &self,
const RCP<const Symbol> &x) {
RCP<const Integer> two = integer(2);
return mul(mul(add(one, pow(cot(self.get_arg()), two)), minus_one),
self.get_arg()->diff(x));
}
void bvisit(const Cot &x) {
apply(result_, *(x.get_arg()));
mpfr_cot(result_, result_, rnd_);
}