f(x):=asin(log(x^2/2)/log(2));

solve(f(x),x);

diff(f(x),x);

trigsimp(realpart(f(x)))$

f(sqrt(2));