def METHOD_NAME():
    # T gate and its adjoint
    assert cirq_ft.t_complexity(cirq.T) == cirq_ft.TComplexity(t=1)
    assert cirq_ft.t_complexity(cirq.T**-1) == cirq_ft.TComplexity(t=1)
    assert cirq_ft.t_complexity(cirq.H) == cirq_ft.TComplexity(clifford=1)  # Hadamard
    assert cirq_ft.t_complexity(cirq.CNOT) == cirq_ft.TComplexity(clifford=1)  # CNOT
    assert cirq_ft.t_complexity(cirq.S) == cirq_ft.TComplexity(clifford=1)  # S
    assert cirq_ft.t_complexity(cirq.S**-1) == cirq_ft.TComplexity(clifford=1)  # S†
    # Pauli operators are clifford
    assert cirq_ft.t_complexity(cirq.X) == cirq_ft.TComplexity(clifford=1)
    assert cirq_ft.t_complexity(cirq.Y) == cirq_ft.TComplexity(clifford=1)
    assert cirq_ft.t_complexity(cirq.Z) == cirq_ft.TComplexity(clifford=1)
    # Rotation about X, Y, and Z axes
    assert cirq_ft.t_complexity(cirq.Rx(rads=2)) == cirq_ft.TComplexity(rotations=1)
    assert cirq_ft.t_complexity(cirq.Ry(rads=2)) == cirq_ft.TComplexity(rotations=1)
    assert cirq_ft.t_complexity(cirq.Rz(rads=2)) == cirq_ft.TComplexity(rotations=1)
    # clifford+T
    assert cirq_ft.t_complexity(cirq_ft.And()) == cirq_ft.TComplexity(t=4, clifford=9)
    assert cirq_ft.t_complexity(cirq_ft.And() ** -1) == cirq_ft.TComplexity(clifford=4)
    assert cirq_ft.t_complexity(cirq.FREDKIN) == cirq_ft.TComplexity(t=7, clifford=10)