Formula tree serialization.