But rather than focus on symbolic integration done by hand in high school, why not focus on higher level problem solving involving symbolic integration done by computer?
I'd rather students understand the fundamentals of that integration than have a computer apply an algorithm they don't understand. You can construct problems plenty complicated enough in intro calculus courses for students without resorting to functions they can't integrate with the methods they learn.