Text this: Derive, a mathematical assistant