0.5*(0.5*sin(2*arctan(x)) + arctan(x))'