How do you multiply 1.25*sqrt3 * 30?