logを∫(1/x)dxで定義したあと、expを逆関数で定義する
dy/dx=y, y|x=0 = 1 の解としてexpを定義する
とかじゃダメなの？