evaluate ((ab)^(1/2) + b)((ab)^(1/2) - b)