예제 #1
0
 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));
 }
예제 #2
0
 void bvisit(const Cot &x) {
     apply(result_, *(x.get_arg()));
     mpfr_cot(result_, result_, rnd_);
 }