Evaluate 10sin(pi/8)*cos((7pi)/8)