optimize symbolic computation