input: def double_add(num1: float, num2: float) -> float:
      """ Add two numbers and then double the result.
      >>> double_add(2.0, 3.0)
      10.0
      >>> double_add(-1.0, 1.0)
      0.0
      """
output:     return (num1 + num2) * 2