3.9.1 real part (p56)

Average Error: 0 → 0

Time: 25.1s

Precision: 64

Math

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

↓

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

C

double f() {
        double r1776849 = -1.0;
        double r1776850 = 1.0;
        double r1776851 = /* ERROR: no complex support in C */;
        double r1776852 = r1776851 * r1776851;
        double r1776853 = r1776852 * r1776851;
        double r1776854 = r1776853 * r1776851;
        double r1776855 = r1776854 * r1776851;
        double r1776856 = r1776855 * r1776851;
        double r1776857 = 6.0;
        double r1776858 = 0.0;
        double r1776859 = /* ERROR: no complex support in C */;
        double r1776860 = r1776859 * r1776851;
        double r1776861 = r1776860 * r1776851;
        double r1776862 = r1776861 * r1776851;
        double r1776863 = r1776862 * r1776851;
        double r1776864 = r1776863 * r1776851;
        double r1776865 = r1776856 + r1776864;
        double r1776866 = 15.0;
        double r1776867 = /* ERROR: no complex support in C */;
        double r1776868 = r1776867 * r1776851;
        double r1776869 = r1776868 * r1776851;
        double r1776870 = r1776869 * r1776851;
        double r1776871 = r1776870 * r1776851;
        double r1776872 = r1776865 + r1776871;
        double r1776873 = 20.0;
        double r1776874 = /* ERROR: no complex support in C */;
        double r1776875 = r1776874 * r1776851;
        double r1776876 = r1776875 * r1776851;
        double r1776877 = r1776876 * r1776851;
        double r1776878 = r1776872 + r1776877;
        double r1776879 = r1776878 + r1776869;
        double r1776880 = r1776879 + r1776860;
        double r1776881 = /* ERROR: no complex support in C */;
        double r1776882 = r1776880 + r1776881;
        double r1776883 = /* ERROR: no complex support in C */;
        return r1776883;
}

↓

double f() {
        double r1776884 = 1.0;
        double r1776885 = 0.0;
        double r1776886 = /* ERROR: no complex support in C */;
        double r1776887 = -1.0;
        double r1776888 = 6.0;
        double r1776889 = r1776887 * r1776888;
        double r1776890 = r1776884 * r1776885;
        double r1776891 = r1776889 - r1776890;
        double r1776892 = r1776884 * r1776888;
        double r1776893 = r1776885 * r1776887;
        double r1776894 = r1776892 + r1776893;
        double r1776895 = /* ERROR: no complex support in C */;
        double r1776896 = r1776886 + r1776895;
        double r1776897 = r1776884 + r1776887;
        double r1776898 = r1776887 - r1776884;
        double r1776899 = r1776897 * r1776898;
        double r1776900 = r1776884 * r1776887;
        double r1776901 = r1776900 + r1776900;
        double r1776902 = /* ERROR: no complex support in C */;
        double r1776903 = 20.0;
        double r1776904 = r1776887 * r1776903;
        double r1776905 = r1776904 - r1776890;
        double r1776906 = 15.0;
        double r1776907 = r1776905 + r1776906;
        double r1776908 = r1776903 * r1776884;
        double r1776909 = r1776893 + r1776908;
        double r1776910 = r1776885 + r1776909;
        double r1776911 = /* ERROR: no complex support in C */;
        double r1776912 = r1776902 * r1776911;
        double r1776913 = r1776896 + r1776912;
        double r1776914 = /* ERROR: no complex support in C */;
        double r1776915 = r1776914 + r1776895;
        double r1776916 = r1776901 + r1776899;
        double r1776917 = r1776899 - r1776901;
        double r1776918 = r1776916 * r1776917;
        double r1776919 = r1776899 * r1776901;
        double r1776920 = r1776919 + r1776919;
        double r1776921 = /* ERROR: no complex support in C */;
        double r1776922 = r1776915 * r1776921;
        double r1776923 = r1776899 * r1776918;
        double r1776924 = r1776901 * r1776920;
        double r1776925 = r1776923 - r1776924;
        double r1776926 = r1776918 * r1776901;
        double r1776927 = r1776920 * r1776899;
        double r1776928 = r1776926 + r1776927;
        double r1776929 = /* ERROR: no complex support in C */;
        double r1776930 = r1776922 + r1776929;
        double r1776931 = r1776913 + r1776930;
        double r1776932 = /* ERROR: no complex support in C */;
        return r1776932;
}

Derivation

1. Initial program 0

   \[\Re(\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}{\Re(\left(\left(\left(\left(\left(-1 \cdot 6 - 1 \cdot 0.0\right) + \left(6 \cdot 1 + 0.0 \cdot -1\right) i\right) + \left(1 + 0.0 i\right)\right) + \left(\left(\left(-1 - 1\right) \cdot \left(1 + -1\right) + \left(-1 \cdot 1 + -1 \cdot 1\right) i\right) \cdot \left(\left(15 + \left(-1 \cdot 20 - 1 \cdot 0.0\right)\right) + \left(0.0 + \left(1 \cdot 20 + 0.0 \cdot -1\right)\right) i\right)\right)\right) + \left(\left(\left(\left(\left(-1 - 1\right) \cdot \left(1 + -1\right) + \left(-1 \cdot 1 + -1 \cdot 1\right)\right) \cdot \left(\left(-1 - 1\right) \cdot \left(1 + -1\right) - \left(-1 \cdot 1 + -1 \cdot 1\right)\right) + \left(\left(\left(-1 - 1\right) \cdot \left(1 + -1\right)\right) \cdot \left(-1 \cdot 1 + -1 \cdot 1\right) + \left(\left(-1 - 1\right) \cdot \left(1 + -1\right)\right) \cdot \left(-1 \cdot 1 + -1 \cdot 1\right)\right) i\right) \cdot \left(\left(\left(-1 \cdot 6 - 1 \cdot 0.0\right) + \left(6 \cdot 1 + 0.0 \cdot -1\right) i\right) + \left(15 + 0.0 i\right)\right)\right) + \left(\left(\left(\left(\left(-1 - 1\right) \cdot \left(1 + -1\right) + \left(-1 \cdot 1 + -1 \cdot 1\right)\right) \cdot \left(\left(-1 - 1\right) \cdot \left(1 + -1\right) - \left(-1 \cdot 1 + -1 \cdot 1\right)\right)\right) \cdot \left(\left(-1 - 1\right) \cdot \left(1 + -1\right)\right) - \left(\left(\left(-1 - 1\right) \cdot \left(1 + -1\right)\right) \cdot \left(-1 \cdot 1 + -1 \cdot 1\right) + \left(\left(-1 - 1\right) \cdot \left(1 + -1\right)\right) \cdot \left(-1 \cdot 1 + -1 \cdot 1\right)\right) \cdot \left(-1 \cdot 1 + -1 \cdot 1\right)\right) + \left(\left(\left(\left(-1 - 1\right) \cdot \left(1 + -1\right) + \left(-1 \cdot 1 + -1 \cdot 1\right)\right) \cdot \left(\left(-1 - 1\right) \cdot \left(1 + -1\right) - \left(-1 \cdot 1 + -1 \cdot 1\right)\right)\right) \cdot \left(-1 \cdot 1 + -1 \cdot 1\right) + \left(\left(\left(-1 - 1\right) \cdot \left(1 + -1\right)\right) \cdot \left(-1 \cdot 1 + -1 \cdot 1\right) + \left(\left(-1 - 1\right) \cdot \left(1 + -1\right)\right) \cdot \left(-1 \cdot 1 + -1 \cdot 1\right)\right) \cdot \left(\left(-1 - 1\right) \cdot \left(1 + -1\right)\right)\right) i\right)\right)\right))}\]

3. Final simplification 0

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

Reproduce

herbie shell --seed 2019170 
(FPCore ()
  :name "3.9.1 real part (p56)"
  (re (+ (+ (+ (+ (+ (+ (* (* (* (* (* (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))))