x=var('x')
solve(exp(-ln(x))==1/x,x)
solve(exp(-ln(sec(x)))==cos(x),x)