>>704
y = log(x) + x^2 = log(x) + log(e^{x^2}) = log(x *e^{x^2} )
e^y = x * e^{x^2}
2e^{2y} = 2x^2 *e^{2x^2}
W( 2e^{2y} ) = 2 x^2
∴ x = √( W( 2e^{2y} )/2 )

※ W(x)は ランベルトのW関数. f(x) = x e^x の逆関数として定義される.