open Microsoft.Quantum.Arrays;
open Microsoft.Quantum.Diagnostics;
open Microsoft.Quantum.Math;

operation ApplyZ(qubits : Qubit[]) : Unit is Adj + Ctl {
    Z(Head(qubits));
}

operation CheckIfOperationsEqual() : Unit {
    AssertOperationsEqualReferenced(1,
        ApplyZ,
        Exp([PauliZ], PI() / 2.0, _)
    );
    Message("Operations are equal!");
}

%simulate CheckIfOperationsEqual