How do you simplify t4t5t7?