1)Open the switch to start the transient;
2)When transient ends look at the orange waveform;
3)Do [output (orange) XOR input (green)] to get the double-frequency input wave.
EC xor port causes oscillation here and it's not included..you can try and add it as said in 3) to see the 2x.