Data-Driven Equation Discovery Reveals Nonlinear Reinforcement Learning in Humans