9! ^ (9! ^ 9!) - (9! choose 8!) ^ 9!