static RCP<const Basic> diff(const ASec &self,
const RCP<const Symbol> &x) {
return mul(div(one, mul(pow(self.get_arg(), i2),
sqrt(sub(one, div(one, pow(self.get_arg(), i2)))))),
self.get_arg()->diff(x));
}
void bvisit(const ASec &x) {
apply(result_, *(x.get_arg()));
mpfr_ui_div(result_, 1, result_, rnd_);
mpfr_asin(result_, result_, rnd_);
}