#include <bits/stdc++.h>

using u32 = unsigned;
using i64 = long long;
using u64 = unsigned long long;

int main() {
    std::ios::sync_with_stdio(false);
    std::cin.tie(nullptr);
    
    constexpr int T = 7;
    constexpr int B = 10;
    std::cout << std::fixed << std::setprecision(20);
    std::cerr << std::fixed << std::setprecision(20);
    
    // $1 = x
    double x = -20.0;
    std::cerr << std::exp(x) << "\n";
    x = x / (1 << B);
    std::cout << 2 * T + 1 + B << "\n";
    std::cout << "$1 = $1 * " << 1.0 / (1 << B) << "\n";
    
    double fac[T + 1];
    fac[0] = 1;
    for (int i = 1; i <= T; i++) {
        fac[i] = fac[i - 1] * i;
    }
    // $0 = ex
    double ex = x / fac[T];
    std::cout << "$0 = $1 * " << 1 / fac[T] << "\n";
    for (int i = T - 1; i >= 1; i--) {
        ex = ex + 1 / fac[i];
        std::cout << "$0 = $0 + " << 1 / fac[i] << "\n";
        ex = ex * x;
        std::cout << "$0 = $0 * $1\n";
    }
    ex = ex + 1.0;
    std::cout << "$0 = $0 + " << 1.0 << "\n";
    for (int i = 0; i < B; i++) {
        std::cout << "$0 = $0 * $0\n";
        ex = ex * ex;
    }
    std::cerr << ex << "\n";
    
    return 0;
}