9D Definite integrals by substitution