Quit

Block[{Print},<<xAct`xTras`]

$DefInfoQ=False;

DefManifold[M5,5,{α,β,γ,δ,μ,ν,λ,σ,ζ,χ,τ,ω}]

(* Define Metric *)
DefMetric[-1,g[-μ,-ν],CD,{";","∇"}]

MakeAnsatz@AllContractions[RiemannCD[α,β,γ,δ]RiemannCD[μ,ν,λ,σ]]
%//FullSimplification[];
SolveConstants[%==0]

ddis=ConstructDDIs[RiemannCD[α,β,γ,δ]RiemannCD[μ,ν,λ,σ],{α,β}]