3.9.1 imaginary part (p56)

Average Error: 0 → 0

Time: 25.2s

Precision: 64

Math

\[\Im(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(-1 + 1 i\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) + \left(\left(\left(\left(\left(\left(6 + 0.0 i\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right)\right) + \left(\left(\left(\left(\left(15 + 0.0 i\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right)\right) + \left(\left(\left(\left(20 + 0.0 i\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right)\right) + \left(\left(\left(15 + 0.0 i\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right)\right) + \left(\left(6 + 0.0 i\right) \cdot \left(-1 + 1 i\right)\right)\right) + \left(1 + 0.0 i\right)\right))\]

↓

\[\Im(\left(\left(\left(\left(\left(\left(\left(\left(1 + -1\right) \cdot 15\right) \cdot \left(-1 - 1\right) - \left(\left(-1 + -1\right) \cdot 1\right) \cdot 0.0\right) + \left(-1 \cdot 6 - 1 \cdot 0.0\right)\right) + \left(\left(-1 \cdot 6 - 1 \cdot 0.0\right) \cdot \left(\left(\left(1 + -1\right) \cdot \left(-1 - 1\right)\right) \cdot \left(\left(1 + -1\right) \cdot \left(-1 - 1\right)\right) - \left(\left(-1 + -1\right) \cdot 1\right) \cdot \left(\left(-1 + -1\right) \cdot 1\right)\right) - \left(0.0 \cdot -1 + 1 \cdot 6\right) \cdot \left(\left(-1 - 1\right) \cdot \left(\left(1 + -1\right) \cdot \left(\left(-1 + -1\right) \cdot 1\right)\right) + \left(-1 - 1\right) \cdot \left(\left(1 + -1\right) \cdot \left(\left(-1 + -1\right) \cdot 1\right)\right)\right)\right)\right) + \left(\left(\left(-1 \cdot 6 - 1 \cdot 0.0\right) \cdot \left(\left(-1 - 1\right) \cdot \left(\left(1 + -1\right) \cdot \left(\left(-1 + -1\right) \cdot 1\right)\right) + \left(-1 - 1\right) \cdot \left(\left(1 + -1\right) \cdot \left(\left(-1 + -1\right) \cdot 1\right)\right)\right) + \left(0.0 \cdot -1 + 1 \cdot 6\right) \cdot \left(\left(\left(1 + -1\right) \cdot \left(-1 - 1\right)\right) \cdot \left(\left(1 + -1\right) \cdot \left(-1 - 1\right)\right) - \left(\left(-1 + -1\right) \cdot 1\right) \cdot \left(\left(-1 + -1\right) \cdot 1\right)\right)\right) + \left(\left(0.0 \cdot -1 + 1 \cdot 6\right) + \left(\left(\left(1 + -1\right) \cdot \left(-1 - 1\right)\right) \cdot 0.0 + \left(\left(-1 + -1\right) \cdot 1\right) \cdot 15\right)\right)\right) i\right) + \left(\left(\left(\left(\left(\left(1 + -1\right) \cdot \left(-1 - 1\right)\right) \cdot \left(\left(1 + -1\right) \cdot \left(-1 - 1\right)\right) - \left(\left(-1 + -1\right) \cdot 1\right) \cdot \left(\left(-1 + -1\right) \cdot 1\right)\right) + \left(\left(20 \cdot -1 - 1 \cdot 0.0\right) + \left(\left(\left(1 + -1\right) \cdot 15\right) \cdot \left(-1 - 1\right) - \left(\left(-1 + -1\right) \cdot 1\right) \cdot 0.0\right)\right)\right) + \left(\left(\left(-1 - 1\right) \cdot \left(\left(1 + -1\right) \cdot \left(\left(-1 + -1\right) \cdot 1\right)\right) + \left(-1 - 1\right) \cdot \left(\left(1 + -1\right) \cdot \left(\left(-1 + -1\right) \cdot 1\right)\right)\right) + \left(\left(\left(\left(1 + -1\right) \cdot \left(-1 - 1\right)\right) \cdot 0.0 + \left(\left(-1 + -1\right) \cdot 1\right) \cdot 15\right) + \left(20 \cdot 1 + 0.0 \cdot -1\right)\right)\right) i\right) \cdot \left(\left(1 + -1\right) \cdot \left(-1 - 1\right) + \left(-1 + -1\right) \cdot 1 i\right)\right)\right) + \left(1 + 0.0 i\right)\right))\]

C

double f() {
        double r2610034 = -1.0;
        double r2610035 = 1.0;
        double r2610036 = /* ERROR: no complex support in C */;
        double r2610037 = r2610036 * r2610036;
        double r2610038 = r2610037 * r2610036;
        double r2610039 = r2610038 * r2610036;
        double r2610040 = r2610039 * r2610036;
        double r2610041 = r2610040 * r2610036;
        double r2610042 = 6.0;
        double r2610043 = 0.0;
        double r2610044 = /* ERROR: no complex support in C */;
        double r2610045 = r2610044 * r2610036;
        double r2610046 = r2610045 * r2610036;
        double r2610047 = r2610046 * r2610036;
        double r2610048 = r2610047 * r2610036;
        double r2610049 = r2610048 * r2610036;
        double r2610050 = r2610041 + r2610049;
        double r2610051 = 15.0;
        double r2610052 = /* ERROR: no complex support in C */;
        double r2610053 = r2610052 * r2610036;
        double r2610054 = r2610053 * r2610036;
        double r2610055 = r2610054 * r2610036;
        double r2610056 = r2610055 * r2610036;
        double r2610057 = r2610050 + r2610056;
        double r2610058 = 20.0;
        double r2610059 = /* ERROR: no complex support in C */;
        double r2610060 = r2610059 * r2610036;
        double r2610061 = r2610060 * r2610036;
        double r2610062 = r2610061 * r2610036;
        double r2610063 = r2610057 + r2610062;
        double r2610064 = r2610063 + r2610054;
        double r2610065 = r2610064 + r2610045;
        double r2610066 = /* ERROR: no complex support in C */;
        double r2610067 = r2610065 + r2610066;
        double r2610068 = /* ERROR: no complex support in C */;
        return r2610068;
}

↓

double f() {
        double r2610069 = 1.0;
        double r2610070 = -1.0;
        double r2610071 = r2610069 + r2610070;
        double r2610072 = 15.0;
        double r2610073 = r2610071 * r2610072;
        double r2610074 = r2610070 - r2610069;
        double r2610075 = r2610073 * r2610074;
        double r2610076 = r2610070 + r2610070;
        double r2610077 = r2610076 * r2610069;
        double r2610078 = 0.0;
        double r2610079 = r2610077 * r2610078;
        double r2610080 = r2610075 - r2610079;
        double r2610081 = 6.0;
        double r2610082 = r2610070 * r2610081;
        double r2610083 = r2610069 * r2610078;
        double r2610084 = r2610082 - r2610083;
        double r2610085 = r2610080 + r2610084;
        double r2610086 = r2610071 * r2610074;
        double r2610087 = r2610086 * r2610086;
        double r2610088 = r2610077 * r2610077;
        double r2610089 = r2610087 - r2610088;
        double r2610090 = r2610084 * r2610089;
        double r2610091 = r2610078 * r2610070;
        double r2610092 = r2610069 * r2610081;
        double r2610093 = r2610091 + r2610092;
        double r2610094 = r2610071 * r2610077;
        double r2610095 = r2610074 * r2610094;
        double r2610096 = r2610095 + r2610095;
        double r2610097 = r2610093 * r2610096;
        double r2610098 = r2610090 - r2610097;
        double r2610099 = r2610085 + r2610098;
        double r2610100 = r2610084 * r2610096;
        double r2610101 = r2610093 * r2610089;
        double r2610102 = r2610100 + r2610101;
        double r2610103 = r2610086 * r2610078;
        double r2610104 = r2610077 * r2610072;
        double r2610105 = r2610103 + r2610104;
        double r2610106 = r2610093 + r2610105;
        double r2610107 = r2610102 + r2610106;
        double r2610108 = /* ERROR: no complex support in C */;
        double r2610109 = 20.0;
        double r2610110 = r2610109 * r2610070;
        double r2610111 = r2610110 - r2610083;
        double r2610112 = r2610111 + r2610080;
        double r2610113 = r2610089 + r2610112;
        double r2610114 = r2610109 * r2610069;
        double r2610115 = r2610114 + r2610091;
        double r2610116 = r2610105 + r2610115;
        double r2610117 = r2610096 + r2610116;
        double r2610118 = /* ERROR: no complex support in C */;
        double r2610119 = /* ERROR: no complex support in C */;
        double r2610120 = r2610118 * r2610119;
        double r2610121 = r2610108 + r2610120;
        double r2610122 = /* ERROR: no complex support in C */;
        double r2610123 = r2610121 + r2610122;
        double r2610124 = /* ERROR: no complex support in C */;
        return r2610124;
}

Derivation

1. Initial program 0

   \[\Im(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(-1 + 1 i\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) + \left(\left(\left(\left(\left(\left(6 + 0.0 i\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right)\right) + \left(\left(\left(\left(\left(15 + 0.0 i\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right)\right) + \left(\left(\left(\left(20 + 0.0 i\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right)\right) + \left(\left(\left(15 + 0.0 i\right) \cdot \left(-1 + 1 i\right)\right) \cdot \left(-1 + 1 i\right)\right)\right) + \left(\left(6 + 0.0 i\right) \cdot \left(-1 + 1 i\right)\right)\right) + \left(1 + 0.0 i\right)\right))\]

2. Simplified 0

   \[\leadsto \color{blue}{\Im(\left(\left(\left(\left(\left(\left(\left(15 \cdot \left(1 + -1\right)\right) \cdot \left(-1 - 1\right) - 0.0 \cdot \left(1 \cdot \left(-1 + -1\right)\right)\right) + \left(-1 \cdot 6 - 1 \cdot 0.0\right)\right) + \left(\left(-1 \cdot 6 - 1 \cdot 0.0\right) \cdot \left(\left(\left(-1 - 1\right) \cdot \left(1 + -1\right)\right) \cdot \left(\left(-1 - 1\right) \cdot \left(1 + -1\right)\right) - \left(1 \cdot \left(-1 + -1\right)\right) \cdot \left(1 \cdot \left(-1 + -1\right)\right)\right) - \left(6 \cdot 1 + 0.0 \cdot -1\right) \cdot \left(\left(\left(1 \cdot \left(-1 + -1\right)\right) \cdot \left(1 + -1\right)\right) \cdot \left(-1 - 1\right) + \left(\left(1 \cdot \left(-1 + -1\right)\right) \cdot \left(1 + -1\right)\right) \cdot \left(-1 - 1\right)\right)\right)\right) + \left(\left(\left(\left(1 \cdot \left(-1 + -1\right)\right) \cdot 15 + \left(\left(-1 - 1\right) \cdot \left(1 + -1\right)\right) \cdot 0.0\right) + \left(6 \cdot 1 + 0.0 \cdot -1\right)\right) + \left(\left(-1 \cdot 6 - 1 \cdot 0.0\right) \cdot \left(\left(\left(1 \cdot \left(-1 + -1\right)\right) \cdot \left(1 + -1\right)\right) \cdot \left(-1 - 1\right) + \left(\left(1 \cdot \left(-1 + -1\right)\right) \cdot \left(1 + -1\right)\right) \cdot \left(-1 - 1\right)\right) + \left(6 \cdot 1 + 0.0 \cdot -1\right) \cdot \left(\left(\left(-1 - 1\right) \cdot \left(1 + -1\right)\right) \cdot \left(\left(-1 - 1\right) \cdot \left(1 + -1\right)\right) - \left(1 \cdot \left(-1 + -1\right)\right) \cdot \left(1 \cdot \left(-1 + -1\right)\right)\right)\right)\right) i\right) + \left(\left(\left(-1 - 1\right) \cdot \left(1 + -1\right) + 1 \cdot \left(-1 + -1\right) i\right) \cdot \left(\left(\left(\left(\left(-1 - 1\right) \cdot \left(1 + -1\right)\right) \cdot \left(\left(-1 - 1\right) \cdot \left(1 + -1\right)\right) - \left(1 \cdot \left(-1 + -1\right)\right) \cdot \left(1 \cdot \left(-1 + -1\right)\right)\right) + \left(\left(\left(15 \cdot \left(1 + -1\right)\right) \cdot \left(-1 - 1\right) - 0.0 \cdot \left(1 \cdot \left(-1 + -1\right)\right)\right) + \left(-1 \cdot 20 - 1 \cdot 0.0\right)\right)\right) + \left(\left(\left(\left(1 \cdot \left(-1 + -1\right)\right) \cdot \left(1 + -1\right)\right) \cdot \left(-1 - 1\right) + \left(\left(1 \cdot \left(-1 + -1\right)\right) \cdot \left(1 + -1\right)\right) \cdot \left(-1 - 1\right)\right) + \left(\left(\left(1 \cdot \left(-1 + -1\right)\right) \cdot 15 + \left(\left(-1 - 1\right) \cdot \left(1 + -1\right)\right) \cdot 0.0\right) + \left(1 \cdot 20 + 0.0 \cdot -1\right)\right)\right) i\right)\right)\right) + \left(1 + 0.0 i\right)\right))}\]

3. Final simplification 0

   \[\leadsto \Im(\left(\left(\left(\left(\left(\left(\left(\left(1 + -1\right) \cdot 15\right) \cdot \left(-1 - 1\right) - \left(\left(-1 + -1\right) \cdot 1\right) \cdot 0.0\right) + \left(-1 \cdot 6 - 1 \cdot 0.0\right)\right) + \left(\left(-1 \cdot 6 - 1 \cdot 0.0\right) \cdot \left(\left(\left(1 + -1\right) \cdot \left(-1 - 1\right)\right) \cdot \left(\left(1 + -1\right) \cdot \left(-1 - 1\right)\right) - \left(\left(-1 + -1\right) \cdot 1\right) \cdot \left(\left(-1 + -1\right) \cdot 1\right)\right) - \left(0.0 \cdot -1 + 1 \cdot 6\right) \cdot \left(\left(-1 - 1\right) \cdot \left(\left(1 + -1\right) \cdot \left(\left(-1 + -1\right) \cdot 1\right)\right) + \left(-1 - 1\right) \cdot \left(\left(1 + -1\right) \cdot \left(\left(-1 + -1\right) \cdot 1\right)\right)\right)\right)\right) + \left(\left(\left(-1 \cdot 6 - 1 \cdot 0.0\right) \cdot \left(\left(-1 - 1\right) \cdot \left(\left(1 + -1\right) \cdot \left(\left(-1 + -1\right) \cdot 1\right)\right) + \left(-1 - 1\right) \cdot \left(\left(1 + -1\right) \cdot \left(\left(-1 + -1\right) \cdot 1\right)\right)\right) + \left(0.0 \cdot -1 + 1 \cdot 6\right) \cdot \left(\left(\left(1 + -1\right) \cdot \left(-1 - 1\right)\right) \cdot \left(\left(1 + -1\right) \cdot \left(-1 - 1\right)\right) - \left(\left(-1 + -1\right) \cdot 1\right) \cdot \left(\left(-1 + -1\right) \cdot 1\right)\right)\right) + \left(\left(0.0 \cdot -1 + 1 \cdot 6\right) + \left(\left(\left(1 + -1\right) \cdot \left(-1 - 1\right)\right) \cdot 0.0 + \left(\left(-1 + -1\right) \cdot 1\right) \cdot 15\right)\right)\right) i\right) + \left(\left(\left(\left(\left(\left(1 + -1\right) \cdot \left(-1 - 1\right)\right) \cdot \left(\left(1 + -1\right) \cdot \left(-1 - 1\right)\right) - \left(\left(-1 + -1\right) \cdot 1\right) \cdot \left(\left(-1 + -1\right) \cdot 1\right)\right) + \left(\left(20 \cdot -1 - 1 \cdot 0.0\right) + \left(\left(\left(1 + -1\right) \cdot 15\right) \cdot \left(-1 - 1\right) - \left(\left(-1 + -1\right) \cdot 1\right) \cdot 0.0\right)\right)\right) + \left(\left(\left(-1 - 1\right) \cdot \left(\left(1 + -1\right) \cdot \left(\left(-1 + -1\right) \cdot 1\right)\right) + \left(-1 - 1\right) \cdot \left(\left(1 + -1\right) \cdot \left(\left(-1 + -1\right) \cdot 1\right)\right)\right) + \left(\left(\left(\left(1 + -1\right) \cdot \left(-1 - 1\right)\right) \cdot 0.0 + \left(\left(-1 + -1\right) \cdot 1\right) \cdot 15\right) + \left(20 \cdot 1 + 0.0 \cdot -1\right)\right)\right) i\right) \cdot \left(\left(1 + -1\right) \cdot \left(-1 - 1\right) + \left(-1 + -1\right) \cdot 1 i\right)\right)\right) + \left(1 + 0.0 i\right)\right))\]

Reproduce

herbie shell --seed 2019174 
(FPCore ()
  :name "3.9.1 imaginary part (p56)"
  (im (+ (+ (+ (+ (+ (+ (* (* (* (* (* (complex -1.0 1.0) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0)) (* (* (* (* (* (complex 6.0 0.0) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0))) (* (* (* (* (complex 15.0 0.0) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0))) (* (* (* (complex 20.0 0.0) (complex -1.0 1.0)) (complex -1.0 1.0)) (complex -1.0 1.0))) (* (* (complex 15.0 0.0) (complex -1.0 1.0)) (complex -1.0 1.0))) (* (complex 6.0 0.0) (complex -1.0 1.0))) (complex 1.0 0.0))))