solve x=9.63^(45/5) over the reals