9-3/(3^(-1))+1