Average Error: 0 → 0
Time: 24.5s
Precision: 64
\[\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))\]
\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))
double f() {
        double r1111969 = -1.0;
        double r1111970 = 1.0;
        double r1111971 = /* ERROR: no complex support in C */;
        double r1111972 = r1111971 * r1111971;
        double r1111973 = r1111972 * r1111971;
        double r1111974 = r1111973 * r1111971;
        double r1111975 = r1111974 * r1111971;
        double r1111976 = r1111975 * r1111971;
        double r1111977 = 6.0;
        double r1111978 = 0.0;
        double r1111979 = /* ERROR: no complex support in C */;
        double r1111980 = r1111979 * r1111971;
        double r1111981 = r1111980 * r1111971;
        double r1111982 = r1111981 * r1111971;
        double r1111983 = r1111982 * r1111971;
        double r1111984 = r1111983 * r1111971;
        double r1111985 = r1111976 + r1111984;
        double r1111986 = 15.0;
        double r1111987 = /* ERROR: no complex support in C */;
        double r1111988 = r1111987 * r1111971;
        double r1111989 = r1111988 * r1111971;
        double r1111990 = r1111989 * r1111971;
        double r1111991 = r1111990 * r1111971;
        double r1111992 = r1111985 + r1111991;
        double r1111993 = 20.0;
        double r1111994 = /* ERROR: no complex support in C */;
        double r1111995 = r1111994 * r1111971;
        double r1111996 = r1111995 * r1111971;
        double r1111997 = r1111996 * r1111971;
        double r1111998 = r1111992 + r1111997;
        double r1111999 = r1111998 + r1111989;
        double r1112000 = r1111999 + r1111980;
        double r1112001 = /* ERROR: no complex support in C */;
        double r1112002 = r1112000 + r1112001;
        double r1112003 = /* ERROR: no complex support in C */;
        return r1112003;
}
↓
double f() {
        double r1112004 = 1.0;
        double r1112005 = -1.0;
        double r1112006 = r1112004 + r1112005;
        double r1112007 = 15.0;
        double r1112008 = r1112006 * r1112007;
        double r1112009 = r1112005 - r1112004;
        double r1112010 = r1112008 * r1112009;
        double r1112011 = r1112005 + r1112005;
        double r1112012 = r1112011 * r1112004;
        double r1112013 = 0.0;
        double r1112014 = r1112012 * r1112013;
        double r1112015 = r1112010 - r1112014;
        double r1112016 = 6.0;
        double r1112017 = r1112005 * r1112016;
        double r1112018 = r1112004 * r1112013;
        double r1112019 = r1112017 - r1112018;
        double r1112020 = r1112015 + r1112019;
        double r1112021 = r1112006 * r1112009;
        double r1112022 = r1112021 * r1112021;
        double r1112023 = r1112012 * r1112012;
        double r1112024 = r1112022 - r1112023;
        double r1112025 = r1112019 * r1112024;
        double r1112026 = r1112013 * r1112005;
        double r1112027 = r1112004 * r1112016;
        double r1112028 = r1112026 + r1112027;
        double r1112029 = r1112006 * r1112012;
        double r1112030 = r1112009 * r1112029;
        double r1112031 = r1112030 + r1112030;
        double r1112032 = r1112028 * r1112031;
        double r1112033 = r1112025 - r1112032;
        double r1112034 = r1112020 + r1112033;
        double r1112035 = r1112019 * r1112031;
        double r1112036 = r1112028 * r1112024;
        double r1112037 = r1112035 + r1112036;
        double r1112038 = r1112021 * r1112013;
        double r1112039 = r1112012 * r1112007;
        double r1112040 = r1112038 + r1112039;
        double r1112041 = r1112028 + r1112040;
        double r1112042 = r1112037 + r1112041;
        double r1112043 = /* ERROR: no complex support in C */;
        double r1112044 = 20.0;
        double r1112045 = r1112044 * r1112005;
        double r1112046 = r1112045 - r1112018;
        double r1112047 = r1112046 + r1112015;
        double r1112048 = r1112024 + r1112047;
        double r1112049 = r1112044 * r1112004;
        double r1112050 = r1112049 + r1112026;
        double r1112051 = r1112040 + r1112050;
        double r1112052 = r1112031 + r1112051;
        double r1112053 = /* ERROR: no complex support in C */;
        double r1112054 = /* ERROR: no complex support in C */;
        double r1112055 = r1112053 * r1112054;
        double r1112056 = r1112043 + r1112055;
        double r1112057 = /* ERROR: no complex support in C */;
        double r1112058 = r1112056 + r1112057;
        double r1112059 = /* ERROR: no complex support in C */;
        return r1112059;
}

Error

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. Simplified0

    \[\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 simplification0

    \[\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 2019171 
(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))))