Ops a:0 f:4
TRS PI4
f(a,f(a,a,f(a,a,a,f(a,a,a,a)),a),a,a) -> a
f(a,a,f(a,a,a,f(f(a,a,a,a),a,a,a)),a) -> a
f(a,a,a,f(f(a,f(a,a,a,a),a,a),a,a,a)) -> a
