Renamed .simplify to .solve