Programa Python para encontrar diâmetro, circunferência e área de um círculo

import math
import time
def encontrar_diametro():
    r = float(input("Digite o valor do raio: "))
    d = round((2*r),3)
    print(f'O diâmetro é de {d}')
    time.sleep(3)

def encontrar_area():
    r = float(input("Digite o valor do raio: "))
    a = round((math.pi * math.pow(r,2)),3)
    print(f'A circunferência é de {a}')
    time.sleep(3)
def encontrar_circunferencia():
    r = float(input("Digite o valor do raio: "))
    c = round((2*math.pi*r),3)
    print(f'A circunferência é de {c}')
    time.sleep(3)

escolha=True
while escolha:
    print("\tCírculo")
    print("""
    1.Diâmetro
    2.Circunferência
    3.Área
    4.Exit/Quit/Saída
    """)
    escolha= input("Escolha uma opção:  ")
    if escolha=="1":
        print('\n')
        encontrar_diametro()

    elif escolha == "2":
        encontrar_circunferencia()

    elif escolha == "3":
        encontrar_area()

    elif escolha=="4":
      print("\n Fim do Programa")
      escolha = None
    else:
       print("\033[1;31m Escolha não válida.\nTente outra vez.\33[0;0m")
       time.sleep(1)