已知，化简=           。