simplify x^0 and x^1 #10591

Job	Run time
check-ubuntu-20_04-cmake-gcc	19m 38s
check-ubuntu-20_04-make-clang	24m 45s
check-ubuntu-20_04-make-clang-smt-z3	6m 7s
check-ubuntu-20_04-make-gcc	21m 1s
check-ubuntu-22_04-cmake-gcc	18m 13s
check-ubuntu-24_04-cmake-gcc-14	17m 52s
check-ubuntu-22_04-make-clang	19m 57s
check-docker-image	22m 2s
check-macos-13-make-clang	36m 33s
check-macos-14-cmake-clang	1h 5m 46s
check-string-table	2m 6s
check-ubuntu-20_04-cmake-gcc-KNOWNBUG	6m 8s
check-ubuntu-22_04-cmake-gcc-32bit	17m 27s
check-ubuntu-20_04-cmake-gcc-THOROUGH	12m 31s
check-vs-2019-cmake-build-and-test	47m 48s
check-vs-2022-make-build-and-test	22m 43s
include-what-you-use	23m 14s
windows-msi-package	21m 49s
	6h 45m 40s

Provide feedback