In joint work with Jacob Tsimerman we study when the primitive
of a given algebraic function can be constructed using primitives
from some given finite set of algebraic functions, their inverses,
algebraic functions, and composition. When the given finite set is just {1/x}
this is the classical problem of "elementary integrability".
We establish some results, including a decision procedure for this problem.

When considering compatifications of heterotic string theory down to 3D, the heterotic $G_2$ system arises naturally. It is a system for both geometric fields and gauge fields over a manifold with a $G_2$-structure. In particular, it asks for the $G_2$-structure to be coclosed. We will begin this talk defining this system and giving a description of the geometry of cohomogeneity one manifolds. Then, we will look for coclosed $G_2$-structures in the cohomogeneity one setting. We will end up by proving the existence of a family of coclosed $G_2$-structures which are invariant under a cohomogeneity one action of $\text{SU}(2)^2$ on certain seven-dimensional simply connected manifolds.