Symbolic computation applied to singular integral operators with non-Carleman shift and conjugation