solve x^(2(log_10(x))^3-1.5x) = sqrt(10) for x