#include <bits/stdc++.h>
using namespace std;

const int n=21;
void test()
{
	const double X=20;
	double x=X;
	// double w=1+x/(1<<n);
	double w=(1+x/(1<<n));
	double y=w;
	for(int i=1;i<=n;++i)y=y*y;
	// printf("%.20lf\n",y*(1+x*x/(1<<(n+1))+x*x*x*x/pow(2,n*2+3)));
	y=y*pow(w,x/2);
	printf("%.20f\n",y);
	printf("%.20f\n",pow(1+x*((1<<n)+x/2)/pow(2,n*2),(1<<n)));
	printf("%.20lf\n",exp(X));
}
void test2()
{
	const double X=20;
	double x1=X;
	double x3=x1+(1<<(n+1));
	double x4=x1*x3;
	double x5=x4*pow(0.5,n*2+1);
	double x6=x5+1;
	for(int i=1;i<n;i++)
	{
		x6=x6*x6;
	}
	double x0=x6*x6;
	printf("%.20lf\n",x0);
	printf("%.20lf\n",exp(X));
	double y0=x0,y1=exp(X);
	printf("%.20f\n",abs(y0-y1)/y1);
}
int main() {
#ifdef xay5421
	test2();
	return 0;
#endif

	cout<<n+4<<endl;
	printf("$3 = $1 + %d\n",1<<(n+1));
	printf("$4 = $1 * $3\n");
	printf("$5 = $4 * %.40lf\n",pow(0.5,n*2+1));
	printf("$6 = $5 + 1\n");
	
	for(int i=1;i<n;i++)
	{
		printf("$6 = $6 * $6\n");
	}
	printf("$0 = $6 * $6\n");
	return 0;
}