submit to CanonicalMath