We now check that the work PDF satisfies the SSFT, which we expect to be true for any time \(t_1\)  which is an integer multiple of the period \(1/f\)  as discussed in [1]}, [2]}. Given the periodicity of the external driving, the stochastic work here
considered corresponds to the total entropy production, as defined by Seifert in [1]}, [2]}.
In figure REF , we plot the symmetry function for the work PDF,
defined as
\(S(W,t_1)=\log \left[{\Phi (W,t_1)/\Phi (-W,t_1)}\right],\) 
