I'm looking for a way to automate something along these lines:
Find the derivative of f(x) = x² from first principles::
f'(x) = lim h->0 [f(x+h) - f(x)]/h
= lim h->0 [(x+h)² - x²)]/h
= lim h->0 [(x² + 2hx + h² - x²)]/h
= 2x
How would I type up a search query so that I could get step-by-step solutions such as those?