I use my university Mathematica license rather than use WolframAlpha because I can never figure out exactly what the latter can do. Wolfram Language, in contrast, has ok enough documentation and a predictable programming model. (It's not perfect---I have a long list of complaints about its design---but it seems to be the best for the kinds of symbolic calculations I'm doing right now.)