Add --strip-var option to bin/symbolic

Calls .expression instead of .isolate when solving for a variable