Method copysign

smt/expr.cpp:1271–1274

}

expr expr::copysign(const expr &sign) const {
  auto sign_bit = sign.bits() - 1;
  return sign.extract(sign_bit, sign_bit).concat(extract(bits() - 2, 0));
}

expr expr::sqrt(const expr &rm) const {
  C(rm);