/math/reduce-psl/