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

#define endl '\n'

#define maxn 200005

int a[maxn];

void solve(void) {
    int n = 4, k = 2048;
    cout << 3 * n + (int)log2(k) + 2 << endl;
    cout << "$0 = $0 * " << fixed << 1. / k << endl;
    for (int i = 1; i <= n; i++) cout << "$" << i << " = $0 * $" << i - 1 << endl;
    for (int i = 1; i <= n; i++) {
        long double frac = 1;
        for (int j = 1; j <= i + 1; j++) frac /= j;
        cout << "$" << i << " = $" << i << " * " << fixed << frac << endl;
    }
    cout << "$0 = $0 + 1" << endl; 
    for (int i = 1; i <= n; i++) cout << "$0 = $0 + $" << i << endl;
    for (int i = 2; i <= k; i *= 2) cout << "$0 = $0 * $0" << endl;
    return;
}

int main() {
    ios::sync_with_stdio(false), cin.tie(nullptr), cout.tie(nullptr);

    cout << setprecision(20);

    int _ = 1;
    while (_--) solve();

    return 0;
}