Real analysis is going to have to wait until there is some way to automate the process, at least partially, unless you want to spend a third of your day analyzing what you did on the other two-thirds.