solve x^12=2^x for x