Added option for symbolic a & b

Running with symbolic is very slow