On the Simplification and Equivalence Problems for Straight-Line Programs