private static bool MultiplyAtMostOneNonconstant(IVariable[] arguments)
 {
     return arguments.Count(a => a.IsNotConstant()) <= 1;
 }