
(FPCore (x)
:precision binary64
(let* ((t_0 (* -16 (pow E 3/2)))
(t_1 (log (- 1 (/ 1 (sqrt E)))))
(t_2 (* t_1 t_1))
(t_3 (* t_2 t_1))
(t_4 (* (sqrt E) t_3))
(t_5 (* (sqrt E) t_2))
(t_6 (- 1 (sqrt E)))
(t_7
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+ (+ t_5 (* (* 16 (sqrt E)) t_1)) (* -64 (sqrt E)))
(* (* -8 (pow E 2)) t_2))
(* (* -4 (pow E 2)) t_1))
(* (* -8 E) t_2))
(* (* -84 E) t_1))
(* 16 E))
(* (* 2 (pow E 3/2)) t_2))
(* (* 16 (pow E 3/2)) t_1))
(* -4 (pow E 3/2)))
(* (pow E 5/2) t_2))
-24))
(t_8 (* (* 3 t_6) t_7))
(t_9 (* (* 30 (pow t_6 2)) t_7))
(t_10 (* -9 (pow E 5/2)))
(t_11 (* -18 (sqrt E)))
(t_12 (* (pow E 3) t_2))
(t_13 (* -16 (pow E 2))))
(+
1
(/
1
(+
(+
(+
(+
(+
(+
(/
(*
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+ t_4 (* (* 20 (sqrt E)) t_2))
(* (* 210 (sqrt E)) t_1))
(* -1200 (sqrt E)))
(* (* -18 (pow E 3)) t_3))
(* (* -20 (pow E 3)) t_2))
(* (* -116 (pow E 2)) t_3))
(* (* -720 (pow E 2)) t_2))
(* (* 120 (pow E 2)) t_1))
(* (* -18 E) t_3))
(* (* -220 E) t_2))
(* (* -1280 E) t_1))
(* -300 E))
(* (* 3 (pow E 3/2)) t_3))
(* (* -20 (pow E 3/2)) t_2))
(* (* -930 (pow E 3/2)) t_1))
(* (* 3 (pow E 5/2)) t_3))
(* (* 120 (pow E 5/2)) t_2))
(* (* -20 (pow E 5/2)) t_1))
(* (pow E 7/2) t_3))
-120)
(* (- x 1/2) (- x 1/2)))
t_9)
(/
(*
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+ t_4 (* (* 18 (sqrt E)) t_2))
(* (* -108 (sqrt E)) t_1))
(* -192 (sqrt E)))
(* (pow E 3) t_3))
(* t_13 t_3))
(* (* 6 (pow E 2)) t_2))
(* (* -18 (pow E 2)) t_1))
(* (* -9 E) t_3))
(* (* -94 E) t_2))
(* (* -378 E) t_1))
(* 48 E))
(* t_0 t_3))
(* (* -174 (pow E 3/2)) t_2))
(* (* 72 (pow E 3/2)) t_1))
(* -12 (pow E 3/2)))
(* t_10 t_3))
(* (* -4 (pow E 5/2)) t_2))
(* -12 t_1))
-72)
(- x 1/2))
t_8))
(/
(*
(*
(sqrt E)
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+ (* (sqrt E) t_1) (* -216 (sqrt E)))
(* (* -8 (pow E 3)) t_1))
(* 2 (pow E 3)))
(* (* -176 (pow E 2)) t_1))
(* 96 (pow E 2)))
(* (* -8 E) t_1))
(* 266 E))
(* (* 83 (pow E 3/2)) t_1))
(* -232 (pow E 3/2)))
(* (* 83 (pow E 5/2)) t_1))
(* -16 (pow E 5/2)))
(* (pow E 7/2) t_1))
12))
(pow (- x 1/2) 4))
(* (* 360 (pow t_6 4)) t_7)))
(/
(*
(*
(sqrt E)
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+ (* t_11 t_1) (* -110 (sqrt E)))
(* (pow E 3) t_1))
(* (* 53 (pow E 2)) t_1))
(* (* 13 E) t_1))
(* 30 E))
(* (* -66 (pow E 3/2)) t_1))
(* 30 (pow E 3/2)))
(* (* -8 (pow E 5/2)) t_1))
t_1)
10))
(pow (- x 1/2) 3))
(* (* 30 (pow t_6 3)) t_7)))
(/
(*
(*
(sqrt E)
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+ (* t_11 t_2) (* (* -115 (sqrt E)) t_1))
(* -340 (sqrt E)))
t_12)
(* (* 3 (pow E 2)) t_2))
(* (* 90 (pow E 2)) t_1))
(* -10 (pow E 2)))
(* (* 3 E) t_2))
(* (* 20 E) t_1))
(* -390 E))
(* (* -116 (pow E 3/2)) t_2))
(* (* -530 (pow E 3/2)) t_1))
(* 60 (pow E 3/2)))
(* (* -18 (pow E 5/2)) t_2))
(* (* -15 (pow E 5/2)) t_1))
t_2)
(* 10 t_1))
60))
(pow (- x 1/2) 2))
t_9))
(/
(*
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+ t_5 (* (* 15 (sqrt E)) t_1))
(* -156 (sqrt E)))
t_12)
(* t_13 t_2))
(* (* 30 (pow E 2)) t_1))
(* -6 (pow E 2)))
(* (* -9 E) t_2))
(* (* -70 E) t_1))
(* -126 E))
(* t_0 t_2))
(* (* -180 (pow E 3/2)) t_1))
(* 24 (pow E 3/2)))
(* t_10 t_2))
(* (* -7 (pow E 5/2)) t_1))
-12)
(- x 1/2))
t_8))
t_1)))))double code(double x) {
double t_0 = -16.0 * pow(((double) M_E), 1.5);
double t_1 = log((1.0 - (1.0 / sqrt(((double) M_E)))));
double t_2 = t_1 * t_1;
double t_3 = t_2 * t_1;
double t_4 = sqrt(((double) M_E)) * t_3;
double t_5 = sqrt(((double) M_E)) * t_2;
double t_6 = 1.0 - sqrt(((double) M_E));
double t_7 = (((((((((((t_5 + ((16.0 * sqrt(((double) M_E))) * t_1)) + (-64.0 * sqrt(((double) M_E)))) + ((-8.0 * pow(((double) M_E), 2.0)) * t_2)) + ((-4.0 * pow(((double) M_E), 2.0)) * t_1)) + ((-8.0 * ((double) M_E)) * t_2)) + ((-84.0 * ((double) M_E)) * t_1)) + (16.0 * ((double) M_E))) + ((2.0 * pow(((double) M_E), 1.5)) * t_2)) + ((16.0 * pow(((double) M_E), 1.5)) * t_1)) + (-4.0 * pow(((double) M_E), 1.5))) + (pow(((double) M_E), 2.5) * t_2)) + -24.0;
double t_8 = (3.0 * t_6) * t_7;
double t_9 = (30.0 * pow(t_6, 2.0)) * t_7;
double t_10 = -9.0 * pow(((double) M_E), 2.5);
double t_11 = -18.0 * sqrt(((double) M_E));
double t_12 = pow(((double) M_E), 3.0) * t_2;
double t_13 = -16.0 * pow(((double) M_E), 2.0);
return 1.0 + (1.0 / ((((((((((((((((((((((((((((t_4 + ((20.0 * sqrt(((double) M_E))) * t_2)) + ((210.0 * sqrt(((double) M_E))) * t_1)) + (-1200.0 * sqrt(((double) M_E)))) + ((-18.0 * pow(((double) M_E), 3.0)) * t_3)) + ((-20.0 * pow(((double) M_E), 3.0)) * t_2)) + ((-116.0 * pow(((double) M_E), 2.0)) * t_3)) + ((-720.0 * pow(((double) M_E), 2.0)) * t_2)) + ((120.0 * pow(((double) M_E), 2.0)) * t_1)) + ((-18.0 * ((double) M_E)) * t_3)) + ((-220.0 * ((double) M_E)) * t_2)) + ((-1280.0 * ((double) M_E)) * t_1)) + (-300.0 * ((double) M_E))) + ((3.0 * pow(((double) M_E), 1.5)) * t_3)) + ((-20.0 * pow(((double) M_E), 1.5)) * t_2)) + ((-930.0 * pow(((double) M_E), 1.5)) * t_1)) + ((3.0 * pow(((double) M_E), 2.5)) * t_3)) + ((120.0 * pow(((double) M_E), 2.5)) * t_2)) + ((-20.0 * pow(((double) M_E), 2.5)) * t_1)) + (pow(((double) M_E), 3.5) * t_3)) + -120.0) * ((x - 0.5) * (x - 0.5))) / t_9) + (((((((((((((((((((((t_4 + ((18.0 * sqrt(((double) M_E))) * t_2)) + ((-108.0 * sqrt(((double) M_E))) * t_1)) + (-192.0 * sqrt(((double) M_E)))) + (pow(((double) M_E), 3.0) * t_3)) + (t_13 * t_3)) + ((6.0 * pow(((double) M_E), 2.0)) * t_2)) + ((-18.0 * pow(((double) M_E), 2.0)) * t_1)) + ((-9.0 * ((double) M_E)) * t_3)) + ((-94.0 * ((double) M_E)) * t_2)) + ((-378.0 * ((double) M_E)) * t_1)) + (48.0 * ((double) M_E))) + (t_0 * t_3)) + ((-174.0 * pow(((double) M_E), 1.5)) * t_2)) + ((72.0 * pow(((double) M_E), 1.5)) * t_1)) + (-12.0 * pow(((double) M_E), 1.5))) + (t_10 * t_3)) + ((-4.0 * pow(((double) M_E), 2.5)) * t_2)) + (-12.0 * t_1)) + -72.0) * (x - 0.5)) / t_8)) + (((sqrt(((double) M_E)) * ((((((((((((((sqrt(((double) M_E)) * t_1) + (-216.0 * sqrt(((double) M_E)))) + ((-8.0 * pow(((double) M_E), 3.0)) * t_1)) + (2.0 * pow(((double) M_E), 3.0))) + ((-176.0 * pow(((double) M_E), 2.0)) * t_1)) + (96.0 * pow(((double) M_E), 2.0))) + ((-8.0 * ((double) M_E)) * t_1)) + (266.0 * ((double) M_E))) + ((83.0 * pow(((double) M_E), 1.5)) * t_1)) + (-232.0 * pow(((double) M_E), 1.5))) + ((83.0 * pow(((double) M_E), 2.5)) * t_1)) + (-16.0 * pow(((double) M_E), 2.5))) + (pow(((double) M_E), 3.5) * t_1)) + 12.0)) * pow((x - 0.5), 4.0)) / ((360.0 * pow(t_6, 4.0)) * t_7))) + (((sqrt(((double) M_E)) * (((((((((((t_11 * t_1) + (-110.0 * sqrt(((double) M_E)))) + (pow(((double) M_E), 3.0) * t_1)) + ((53.0 * pow(((double) M_E), 2.0)) * t_1)) + ((13.0 * ((double) M_E)) * t_1)) + (30.0 * ((double) M_E))) + ((-66.0 * pow(((double) M_E), 1.5)) * t_1)) + (30.0 * pow(((double) M_E), 1.5))) + ((-8.0 * pow(((double) M_E), 2.5)) * t_1)) + t_1) + 10.0)) * pow((x - 0.5), 3.0)) / ((30.0 * pow(t_6, 3.0)) * t_7))) + (((sqrt(((double) M_E)) * ((((((((((((((((((t_11 * t_2) + ((-115.0 * sqrt(((double) M_E))) * t_1)) + (-340.0 * sqrt(((double) M_E)))) + t_12) + ((3.0 * pow(((double) M_E), 2.0)) * t_2)) + ((90.0 * pow(((double) M_E), 2.0)) * t_1)) + (-10.0 * pow(((double) M_E), 2.0))) + ((3.0 * ((double) M_E)) * t_2)) + ((20.0 * ((double) M_E)) * t_1)) + (-390.0 * ((double) M_E))) + ((-116.0 * pow(((double) M_E), 1.5)) * t_2)) + ((-530.0 * pow(((double) M_E), 1.5)) * t_1)) + (60.0 * pow(((double) M_E), 1.5))) + ((-18.0 * pow(((double) M_E), 2.5)) * t_2)) + ((-15.0 * pow(((double) M_E), 2.5)) * t_1)) + t_2) + (10.0 * t_1)) + 60.0)) * pow((x - 0.5), 2.0)) / t_9)) + (((((((((((((((((t_5 + ((15.0 * sqrt(((double) M_E))) * t_1)) + (-156.0 * sqrt(((double) M_E)))) + t_12) + (t_13 * t_2)) + ((30.0 * pow(((double) M_E), 2.0)) * t_1)) + (-6.0 * pow(((double) M_E), 2.0))) + ((-9.0 * ((double) M_E)) * t_2)) + ((-70.0 * ((double) M_E)) * t_1)) + (-126.0 * ((double) M_E))) + (t_0 * t_2)) + ((-180.0 * pow(((double) M_E), 1.5)) * t_1)) + (24.0 * pow(((double) M_E), 1.5))) + (t_10 * t_2)) + ((-7.0 * pow(((double) M_E), 2.5)) * t_1)) + -12.0) * (x - 0.5)) / t_8)) + t_1));
}
public static double code(double x) {
double t_0 = -16.0 * Math.pow(Math.E, 1.5);
double t_1 = Math.log((1.0 - (1.0 / Math.sqrt(Math.E))));
double t_2 = t_1 * t_1;
double t_3 = t_2 * t_1;
double t_4 = Math.sqrt(Math.E) * t_3;
double t_5 = Math.sqrt(Math.E) * t_2;
double t_6 = 1.0 - Math.sqrt(Math.E);
double t_7 = (((((((((((t_5 + ((16.0 * Math.sqrt(Math.E)) * t_1)) + (-64.0 * Math.sqrt(Math.E))) + ((-8.0 * Math.pow(Math.E, 2.0)) * t_2)) + ((-4.0 * Math.pow(Math.E, 2.0)) * t_1)) + ((-8.0 * Math.E) * t_2)) + ((-84.0 * Math.E) * t_1)) + (16.0 * Math.E)) + ((2.0 * Math.pow(Math.E, 1.5)) * t_2)) + ((16.0 * Math.pow(Math.E, 1.5)) * t_1)) + (-4.0 * Math.pow(Math.E, 1.5))) + (Math.pow(Math.E, 2.5) * t_2)) + -24.0;
double t_8 = (3.0 * t_6) * t_7;
double t_9 = (30.0 * Math.pow(t_6, 2.0)) * t_7;
double t_10 = -9.0 * Math.pow(Math.E, 2.5);
double t_11 = -18.0 * Math.sqrt(Math.E);
double t_12 = Math.pow(Math.E, 3.0) * t_2;
double t_13 = -16.0 * Math.pow(Math.E, 2.0);
return 1.0 + (1.0 / ((((((((((((((((((((((((((((t_4 + ((20.0 * Math.sqrt(Math.E)) * t_2)) + ((210.0 * Math.sqrt(Math.E)) * t_1)) + (-1200.0 * Math.sqrt(Math.E))) + ((-18.0 * Math.pow(Math.E, 3.0)) * t_3)) + ((-20.0 * Math.pow(Math.E, 3.0)) * t_2)) + ((-116.0 * Math.pow(Math.E, 2.0)) * t_3)) + ((-720.0 * Math.pow(Math.E, 2.0)) * t_2)) + ((120.0 * Math.pow(Math.E, 2.0)) * t_1)) + ((-18.0 * Math.E) * t_3)) + ((-220.0 * Math.E) * t_2)) + ((-1280.0 * Math.E) * t_1)) + (-300.0 * Math.E)) + ((3.0 * Math.pow(Math.E, 1.5)) * t_3)) + ((-20.0 * Math.pow(Math.E, 1.5)) * t_2)) + ((-930.0 * Math.pow(Math.E, 1.5)) * t_1)) + ((3.0 * Math.pow(Math.E, 2.5)) * t_3)) + ((120.0 * Math.pow(Math.E, 2.5)) * t_2)) + ((-20.0 * Math.pow(Math.E, 2.5)) * t_1)) + (Math.pow(Math.E, 3.5) * t_3)) + -120.0) * ((x - 0.5) * (x - 0.5))) / t_9) + (((((((((((((((((((((t_4 + ((18.0 * Math.sqrt(Math.E)) * t_2)) + ((-108.0 * Math.sqrt(Math.E)) * t_1)) + (-192.0 * Math.sqrt(Math.E))) + (Math.pow(Math.E, 3.0) * t_3)) + (t_13 * t_3)) + ((6.0 * Math.pow(Math.E, 2.0)) * t_2)) + ((-18.0 * Math.pow(Math.E, 2.0)) * t_1)) + ((-9.0 * Math.E) * t_3)) + ((-94.0 * Math.E) * t_2)) + ((-378.0 * Math.E) * t_1)) + (48.0 * Math.E)) + (t_0 * t_3)) + ((-174.0 * Math.pow(Math.E, 1.5)) * t_2)) + ((72.0 * Math.pow(Math.E, 1.5)) * t_1)) + (-12.0 * Math.pow(Math.E, 1.5))) + (t_10 * t_3)) + ((-4.0 * Math.pow(Math.E, 2.5)) * t_2)) + (-12.0 * t_1)) + -72.0) * (x - 0.5)) / t_8)) + (((Math.sqrt(Math.E) * ((((((((((((((Math.sqrt(Math.E) * t_1) + (-216.0 * Math.sqrt(Math.E))) + ((-8.0 * Math.pow(Math.E, 3.0)) * t_1)) + (2.0 * Math.pow(Math.E, 3.0))) + ((-176.0 * Math.pow(Math.E, 2.0)) * t_1)) + (96.0 * Math.pow(Math.E, 2.0))) + ((-8.0 * Math.E) * t_1)) + (266.0 * Math.E)) + ((83.0 * Math.pow(Math.E, 1.5)) * t_1)) + (-232.0 * Math.pow(Math.E, 1.5))) + ((83.0 * Math.pow(Math.E, 2.5)) * t_1)) + (-16.0 * Math.pow(Math.E, 2.5))) + (Math.pow(Math.E, 3.5) * t_1)) + 12.0)) * Math.pow((x - 0.5), 4.0)) / ((360.0 * Math.pow(t_6, 4.0)) * t_7))) + (((Math.sqrt(Math.E) * (((((((((((t_11 * t_1) + (-110.0 * Math.sqrt(Math.E))) + (Math.pow(Math.E, 3.0) * t_1)) + ((53.0 * Math.pow(Math.E, 2.0)) * t_1)) + ((13.0 * Math.E) * t_1)) + (30.0 * Math.E)) + ((-66.0 * Math.pow(Math.E, 1.5)) * t_1)) + (30.0 * Math.pow(Math.E, 1.5))) + ((-8.0 * Math.pow(Math.E, 2.5)) * t_1)) + t_1) + 10.0)) * Math.pow((x - 0.5), 3.0)) / ((30.0 * Math.pow(t_6, 3.0)) * t_7))) + (((Math.sqrt(Math.E) * ((((((((((((((((((t_11 * t_2) + ((-115.0 * Math.sqrt(Math.E)) * t_1)) + (-340.0 * Math.sqrt(Math.E))) + t_12) + ((3.0 * Math.pow(Math.E, 2.0)) * t_2)) + ((90.0 * Math.pow(Math.E, 2.0)) * t_1)) + (-10.0 * Math.pow(Math.E, 2.0))) + ((3.0 * Math.E) * t_2)) + ((20.0 * Math.E) * t_1)) + (-390.0 * Math.E)) + ((-116.0 * Math.pow(Math.E, 1.5)) * t_2)) + ((-530.0 * Math.pow(Math.E, 1.5)) * t_1)) + (60.0 * Math.pow(Math.E, 1.5))) + ((-18.0 * Math.pow(Math.E, 2.5)) * t_2)) + ((-15.0 * Math.pow(Math.E, 2.5)) * t_1)) + t_2) + (10.0 * t_1)) + 60.0)) * Math.pow((x - 0.5), 2.0)) / t_9)) + (((((((((((((((((t_5 + ((15.0 * Math.sqrt(Math.E)) * t_1)) + (-156.0 * Math.sqrt(Math.E))) + t_12) + (t_13 * t_2)) + ((30.0 * Math.pow(Math.E, 2.0)) * t_1)) + (-6.0 * Math.pow(Math.E, 2.0))) + ((-9.0 * Math.E) * t_2)) + ((-70.0 * Math.E) * t_1)) + (-126.0 * Math.E)) + (t_0 * t_2)) + ((-180.0 * Math.pow(Math.E, 1.5)) * t_1)) + (24.0 * Math.pow(Math.E, 1.5))) + (t_10 * t_2)) + ((-7.0 * Math.pow(Math.E, 2.5)) * t_1)) + -12.0) * (x - 0.5)) / t_8)) + t_1));
}
def code(x): t_0 = -16.0 * math.pow(math.e, 1.5) t_1 = math.log((1.0 - (1.0 / math.sqrt(math.e)))) t_2 = t_1 * t_1 t_3 = t_2 * t_1 t_4 = math.sqrt(math.e) * t_3 t_5 = math.sqrt(math.e) * t_2 t_6 = 1.0 - math.sqrt(math.e) t_7 = (((((((((((t_5 + ((16.0 * math.sqrt(math.e)) * t_1)) + (-64.0 * math.sqrt(math.e))) + ((-8.0 * math.pow(math.e, 2.0)) * t_2)) + ((-4.0 * math.pow(math.e, 2.0)) * t_1)) + ((-8.0 * math.e) * t_2)) + ((-84.0 * math.e) * t_1)) + (16.0 * math.e)) + ((2.0 * math.pow(math.e, 1.5)) * t_2)) + ((16.0 * math.pow(math.e, 1.5)) * t_1)) + (-4.0 * math.pow(math.e, 1.5))) + (math.pow(math.e, 2.5) * t_2)) + -24.0 t_8 = (3.0 * t_6) * t_7 t_9 = (30.0 * math.pow(t_6, 2.0)) * t_7 t_10 = -9.0 * math.pow(math.e, 2.5) t_11 = -18.0 * math.sqrt(math.e) t_12 = math.pow(math.e, 3.0) * t_2 t_13 = -16.0 * math.pow(math.e, 2.0) return 1.0 + (1.0 / ((((((((((((((((((((((((((((t_4 + ((20.0 * math.sqrt(math.e)) * t_2)) + ((210.0 * math.sqrt(math.e)) * t_1)) + (-1200.0 * math.sqrt(math.e))) + ((-18.0 * math.pow(math.e, 3.0)) * t_3)) + ((-20.0 * math.pow(math.e, 3.0)) * t_2)) + ((-116.0 * math.pow(math.e, 2.0)) * t_3)) + ((-720.0 * math.pow(math.e, 2.0)) * t_2)) + ((120.0 * math.pow(math.e, 2.0)) * t_1)) + ((-18.0 * math.e) * t_3)) + ((-220.0 * math.e) * t_2)) + ((-1280.0 * math.e) * t_1)) + (-300.0 * math.e)) + ((3.0 * math.pow(math.e, 1.5)) * t_3)) + ((-20.0 * math.pow(math.e, 1.5)) * t_2)) + ((-930.0 * math.pow(math.e, 1.5)) * t_1)) + ((3.0 * math.pow(math.e, 2.5)) * t_3)) + ((120.0 * math.pow(math.e, 2.5)) * t_2)) + ((-20.0 * math.pow(math.e, 2.5)) * t_1)) + (math.pow(math.e, 3.5) * t_3)) + -120.0) * ((x - 0.5) * (x - 0.5))) / t_9) + (((((((((((((((((((((t_4 + ((18.0 * math.sqrt(math.e)) * t_2)) + ((-108.0 * math.sqrt(math.e)) * t_1)) + (-192.0 * math.sqrt(math.e))) + (math.pow(math.e, 3.0) * t_3)) + (t_13 * t_3)) + ((6.0 * math.pow(math.e, 2.0)) * t_2)) + ((-18.0 * math.pow(math.e, 2.0)) * t_1)) + ((-9.0 * math.e) * t_3)) + ((-94.0 * math.e) * t_2)) + ((-378.0 * math.e) * t_1)) + (48.0 * math.e)) + (t_0 * t_3)) + ((-174.0 * math.pow(math.e, 1.5)) * t_2)) + ((72.0 * math.pow(math.e, 1.5)) * t_1)) + (-12.0 * math.pow(math.e, 1.5))) + (t_10 * t_3)) + ((-4.0 * math.pow(math.e, 2.5)) * t_2)) + (-12.0 * t_1)) + -72.0) * (x - 0.5)) / t_8)) + (((math.sqrt(math.e) * ((((((((((((((math.sqrt(math.e) * t_1) + (-216.0 * math.sqrt(math.e))) + ((-8.0 * math.pow(math.e, 3.0)) * t_1)) + (2.0 * math.pow(math.e, 3.0))) + ((-176.0 * math.pow(math.e, 2.0)) * t_1)) + (96.0 * math.pow(math.e, 2.0))) + ((-8.0 * math.e) * t_1)) + (266.0 * math.e)) + ((83.0 * math.pow(math.e, 1.5)) * t_1)) + (-232.0 * math.pow(math.e, 1.5))) + ((83.0 * math.pow(math.e, 2.5)) * t_1)) + (-16.0 * math.pow(math.e, 2.5))) + (math.pow(math.e, 3.5) * t_1)) + 12.0)) * math.pow((x - 0.5), 4.0)) / ((360.0 * math.pow(t_6, 4.0)) * t_7))) + (((math.sqrt(math.e) * (((((((((((t_11 * t_1) + (-110.0 * math.sqrt(math.e))) + (math.pow(math.e, 3.0) * t_1)) + ((53.0 * math.pow(math.e, 2.0)) * t_1)) + ((13.0 * math.e) * t_1)) + (30.0 * math.e)) + ((-66.0 * math.pow(math.e, 1.5)) * t_1)) + (30.0 * math.pow(math.e, 1.5))) + ((-8.0 * math.pow(math.e, 2.5)) * t_1)) + t_1) + 10.0)) * math.pow((x - 0.5), 3.0)) / ((30.0 * math.pow(t_6, 3.0)) * t_7))) + (((math.sqrt(math.e) * ((((((((((((((((((t_11 * t_2) + ((-115.0 * math.sqrt(math.e)) * t_1)) + (-340.0 * math.sqrt(math.e))) + t_12) + ((3.0 * math.pow(math.e, 2.0)) * t_2)) + ((90.0 * math.pow(math.e, 2.0)) * t_1)) + (-10.0 * math.pow(math.e, 2.0))) + ((3.0 * math.e) * t_2)) + ((20.0 * math.e) * t_1)) + (-390.0 * math.e)) + ((-116.0 * math.pow(math.e, 1.5)) * t_2)) + ((-530.0 * math.pow(math.e, 1.5)) * t_1)) + (60.0 * math.pow(math.e, 1.5))) + ((-18.0 * math.pow(math.e, 2.5)) * t_2)) + ((-15.0 * math.pow(math.e, 2.5)) * t_1)) + t_2) + (10.0 * t_1)) + 60.0)) * math.pow((x - 0.5), 2.0)) / t_9)) + (((((((((((((((((t_5 + ((15.0 * math.sqrt(math.e)) * t_1)) + (-156.0 * math.sqrt(math.e))) + t_12) + (t_13 * t_2)) + ((30.0 * math.pow(math.e, 2.0)) * t_1)) + (-6.0 * math.pow(math.e, 2.0))) + ((-9.0 * math.e) * t_2)) + ((-70.0 * math.e) * t_1)) + (-126.0 * math.e)) + (t_0 * t_2)) + ((-180.0 * math.pow(math.e, 1.5)) * t_1)) + (24.0 * math.pow(math.e, 1.5))) + (t_10 * t_2)) + ((-7.0 * math.pow(math.e, 2.5)) * t_1)) + -12.0) * (x - 0.5)) / t_8)) + t_1))
function code(x) t_0 = Float64(-16.0 * (exp(1) ^ 1.5)) t_1 = log(Float64(1.0 - Float64(1.0 / sqrt(exp(1))))) t_2 = Float64(t_1 * t_1) t_3 = Float64(t_2 * t_1) t_4 = Float64(sqrt(exp(1)) * t_3) t_5 = Float64(sqrt(exp(1)) * t_2) t_6 = Float64(1.0 - sqrt(exp(1))) t_7 = Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(t_5 + Float64(Float64(16.0 * sqrt(exp(1))) * t_1)) + Float64(-64.0 * sqrt(exp(1)))) + Float64(Float64(-8.0 * (exp(1) ^ 2.0)) * t_2)) + Float64(Float64(-4.0 * (exp(1) ^ 2.0)) * t_1)) + Float64(Float64(-8.0 * exp(1)) * t_2)) + Float64(Float64(-84.0 * exp(1)) * t_1)) + Float64(16.0 * exp(1))) + Float64(Float64(2.0 * (exp(1) ^ 1.5)) * t_2)) + Float64(Float64(16.0 * (exp(1) ^ 1.5)) * t_1)) + Float64(-4.0 * (exp(1) ^ 1.5))) + Float64((exp(1) ^ 2.5) * t_2)) + -24.0) t_8 = Float64(Float64(3.0 * t_6) * t_7) t_9 = Float64(Float64(30.0 * (t_6 ^ 2.0)) * t_7) t_10 = Float64(-9.0 * (exp(1) ^ 2.5)) t_11 = Float64(-18.0 * sqrt(exp(1))) t_12 = Float64((exp(1) ^ 3.0) * t_2) t_13 = Float64(-16.0 * (exp(1) ^ 2.0)) return Float64(1.0 + Float64(1.0 / Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(t_4 + Float64(Float64(20.0 * sqrt(exp(1))) * t_2)) + Float64(Float64(210.0 * sqrt(exp(1))) * t_1)) + Float64(-1200.0 * sqrt(exp(1)))) + Float64(Float64(-18.0 * (exp(1) ^ 3.0)) * t_3)) + Float64(Float64(-20.0 * (exp(1) ^ 3.0)) * t_2)) + Float64(Float64(-116.0 * (exp(1) ^ 2.0)) * t_3)) + Float64(Float64(-720.0 * (exp(1) ^ 2.0)) * t_2)) + Float64(Float64(120.0 * (exp(1) ^ 2.0)) * t_1)) + Float64(Float64(-18.0 * exp(1)) * t_3)) + Float64(Float64(-220.0 * exp(1)) * t_2)) + Float64(Float64(-1280.0 * exp(1)) * t_1)) + Float64(-300.0 * exp(1))) + Float64(Float64(3.0 * (exp(1) ^ 1.5)) * t_3)) + Float64(Float64(-20.0 * (exp(1) ^ 1.5)) * t_2)) + Float64(Float64(-930.0 * (exp(1) ^ 1.5)) * t_1)) + Float64(Float64(3.0 * (exp(1) ^ 2.5)) * t_3)) + Float64(Float64(120.0 * (exp(1) ^ 2.5)) * t_2)) + Float64(Float64(-20.0 * (exp(1) ^ 2.5)) * t_1)) + Float64((exp(1) ^ 3.5) * t_3)) + -120.0) * Float64(Float64(x - 0.5) * Float64(x - 0.5))) / t_9) + Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(t_4 + Float64(Float64(18.0 * sqrt(exp(1))) * t_2)) + Float64(Float64(-108.0 * sqrt(exp(1))) * t_1)) + Float64(-192.0 * sqrt(exp(1)))) + Float64((exp(1) ^ 3.0) * t_3)) + Float64(t_13 * t_3)) + Float64(Float64(6.0 * (exp(1) ^ 2.0)) * t_2)) + Float64(Float64(-18.0 * (exp(1) ^ 2.0)) * t_1)) + Float64(Float64(-9.0 * exp(1)) * t_3)) + Float64(Float64(-94.0 * exp(1)) * t_2)) + Float64(Float64(-378.0 * exp(1)) * t_1)) + Float64(48.0 * exp(1))) + Float64(t_0 * t_3)) + Float64(Float64(-174.0 * (exp(1) ^ 1.5)) * t_2)) + Float64(Float64(72.0 * (exp(1) ^ 1.5)) * t_1)) + Float64(-12.0 * (exp(1) ^ 1.5))) + Float64(t_10 * t_3)) + Float64(Float64(-4.0 * (exp(1) ^ 2.5)) * t_2)) + Float64(-12.0 * t_1)) + -72.0) * Float64(x - 0.5)) / t_8)) + Float64(Float64(Float64(sqrt(exp(1)) * Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(sqrt(exp(1)) * t_1) + Float64(-216.0 * sqrt(exp(1)))) + Float64(Float64(-8.0 * (exp(1) ^ 3.0)) * t_1)) + Float64(2.0 * (exp(1) ^ 3.0))) + Float64(Float64(-176.0 * (exp(1) ^ 2.0)) * t_1)) + Float64(96.0 * (exp(1) ^ 2.0))) + Float64(Float64(-8.0 * exp(1)) * t_1)) + Float64(266.0 * exp(1))) + Float64(Float64(83.0 * (exp(1) ^ 1.5)) * t_1)) + Float64(-232.0 * (exp(1) ^ 1.5))) + Float64(Float64(83.0 * (exp(1) ^ 2.5)) * t_1)) + Float64(-16.0 * (exp(1) ^ 2.5))) + Float64((exp(1) ^ 3.5) * t_1)) + 12.0)) * (Float64(x - 0.5) ^ 4.0)) / Float64(Float64(360.0 * (t_6 ^ 4.0)) * t_7))) + Float64(Float64(Float64(sqrt(exp(1)) * Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(t_11 * t_1) + Float64(-110.0 * sqrt(exp(1)))) + Float64((exp(1) ^ 3.0) * t_1)) + Float64(Float64(53.0 * (exp(1) ^ 2.0)) * t_1)) + Float64(Float64(13.0 * exp(1)) * t_1)) + Float64(30.0 * exp(1))) + Float64(Float64(-66.0 * (exp(1) ^ 1.5)) * t_1)) + Float64(30.0 * (exp(1) ^ 1.5))) + Float64(Float64(-8.0 * (exp(1) ^ 2.5)) * t_1)) + t_1) + 10.0)) * (Float64(x - 0.5) ^ 3.0)) / Float64(Float64(30.0 * (t_6 ^ 3.0)) * t_7))) + Float64(Float64(Float64(sqrt(exp(1)) * Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(t_11 * t_2) + Float64(Float64(-115.0 * sqrt(exp(1))) * t_1)) + Float64(-340.0 * sqrt(exp(1)))) + t_12) + Float64(Float64(3.0 * (exp(1) ^ 2.0)) * t_2)) + Float64(Float64(90.0 * (exp(1) ^ 2.0)) * t_1)) + Float64(-10.0 * (exp(1) ^ 2.0))) + Float64(Float64(3.0 * exp(1)) * t_2)) + Float64(Float64(20.0 * exp(1)) * t_1)) + Float64(-390.0 * exp(1))) + Float64(Float64(-116.0 * (exp(1) ^ 1.5)) * t_2)) + Float64(Float64(-530.0 * (exp(1) ^ 1.5)) * t_1)) + Float64(60.0 * (exp(1) ^ 1.5))) + Float64(Float64(-18.0 * (exp(1) ^ 2.5)) * t_2)) + Float64(Float64(-15.0 * (exp(1) ^ 2.5)) * t_1)) + t_2) + Float64(10.0 * t_1)) + 60.0)) * (Float64(x - 0.5) ^ 2.0)) / t_9)) + Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(t_5 + Float64(Float64(15.0 * sqrt(exp(1))) * t_1)) + Float64(-156.0 * sqrt(exp(1)))) + t_12) + Float64(t_13 * t_2)) + Float64(Float64(30.0 * (exp(1) ^ 2.0)) * t_1)) + Float64(-6.0 * (exp(1) ^ 2.0))) + Float64(Float64(-9.0 * exp(1)) * t_2)) + Float64(Float64(-70.0 * exp(1)) * t_1)) + Float64(-126.0 * exp(1))) + Float64(t_0 * t_2)) + Float64(Float64(-180.0 * (exp(1) ^ 1.5)) * t_1)) + Float64(24.0 * (exp(1) ^ 1.5))) + Float64(t_10 * t_2)) + Float64(Float64(-7.0 * (exp(1) ^ 2.5)) * t_1)) + -12.0) * Float64(x - 0.5)) / t_8)) + t_1))) end
function tmp = code(x) t_0 = -16.0 * (2.71828182845904523536 ^ 1.5); t_1 = log((1.0 - (1.0 / sqrt(2.71828182845904523536)))); t_2 = t_1 * t_1; t_3 = t_2 * t_1; t_4 = sqrt(2.71828182845904523536) * t_3; t_5 = sqrt(2.71828182845904523536) * t_2; t_6 = 1.0 - sqrt(2.71828182845904523536); t_7 = (((((((((((t_5 + ((16.0 * sqrt(2.71828182845904523536)) * t_1)) + (-64.0 * sqrt(2.71828182845904523536))) + ((-8.0 * (2.71828182845904523536 ^ 2.0)) * t_2)) + ((-4.0 * (2.71828182845904523536 ^ 2.0)) * t_1)) + ((-8.0 * 2.71828182845904523536) * t_2)) + ((-84.0 * 2.71828182845904523536) * t_1)) + (16.0 * 2.71828182845904523536)) + ((2.0 * (2.71828182845904523536 ^ 1.5)) * t_2)) + ((16.0 * (2.71828182845904523536 ^ 1.5)) * t_1)) + (-4.0 * (2.71828182845904523536 ^ 1.5))) + ((2.71828182845904523536 ^ 2.5) * t_2)) + -24.0; t_8 = (3.0 * t_6) * t_7; t_9 = (30.0 * (t_6 ^ 2.0)) * t_7; t_10 = -9.0 * (2.71828182845904523536 ^ 2.5); t_11 = -18.0 * sqrt(2.71828182845904523536); t_12 = (2.71828182845904523536 ^ 3.0) * t_2; t_13 = -16.0 * (2.71828182845904523536 ^ 2.0); tmp = 1.0 + (1.0 / ((((((((((((((((((((((((((((t_4 + ((20.0 * sqrt(2.71828182845904523536)) * t_2)) + ((210.0 * sqrt(2.71828182845904523536)) * t_1)) + (-1200.0 * sqrt(2.71828182845904523536))) + ((-18.0 * (2.71828182845904523536 ^ 3.0)) * t_3)) + ((-20.0 * (2.71828182845904523536 ^ 3.0)) * t_2)) + ((-116.0 * (2.71828182845904523536 ^ 2.0)) * t_3)) + ((-720.0 * (2.71828182845904523536 ^ 2.0)) * t_2)) + ((120.0 * (2.71828182845904523536 ^ 2.0)) * t_1)) + ((-18.0 * 2.71828182845904523536) * t_3)) + ((-220.0 * 2.71828182845904523536) * t_2)) + ((-1280.0 * 2.71828182845904523536) * t_1)) + (-300.0 * 2.71828182845904523536)) + ((3.0 * (2.71828182845904523536 ^ 1.5)) * t_3)) + ((-20.0 * (2.71828182845904523536 ^ 1.5)) * t_2)) + ((-930.0 * (2.71828182845904523536 ^ 1.5)) * t_1)) + ((3.0 * (2.71828182845904523536 ^ 2.5)) * t_3)) + ((120.0 * (2.71828182845904523536 ^ 2.5)) * t_2)) + ((-20.0 * (2.71828182845904523536 ^ 2.5)) * t_1)) + ((2.71828182845904523536 ^ 3.5) * t_3)) + -120.0) * ((x - 0.5) * (x - 0.5))) / t_9) + (((((((((((((((((((((t_4 + ((18.0 * sqrt(2.71828182845904523536)) * t_2)) + ((-108.0 * sqrt(2.71828182845904523536)) * t_1)) + (-192.0 * sqrt(2.71828182845904523536))) + ((2.71828182845904523536 ^ 3.0) * t_3)) + (t_13 * t_3)) + ((6.0 * (2.71828182845904523536 ^ 2.0)) * t_2)) + ((-18.0 * (2.71828182845904523536 ^ 2.0)) * t_1)) + ((-9.0 * 2.71828182845904523536) * t_3)) + ((-94.0 * 2.71828182845904523536) * t_2)) + ((-378.0 * 2.71828182845904523536) * t_1)) + (48.0 * 2.71828182845904523536)) + (t_0 * t_3)) + ((-174.0 * (2.71828182845904523536 ^ 1.5)) * t_2)) + ((72.0 * (2.71828182845904523536 ^ 1.5)) * t_1)) + (-12.0 * (2.71828182845904523536 ^ 1.5))) + (t_10 * t_3)) + ((-4.0 * (2.71828182845904523536 ^ 2.5)) * t_2)) + (-12.0 * t_1)) + -72.0) * (x - 0.5)) / t_8)) + (((sqrt(2.71828182845904523536) * ((((((((((((((sqrt(2.71828182845904523536) * t_1) + (-216.0 * sqrt(2.71828182845904523536))) + ((-8.0 * (2.71828182845904523536 ^ 3.0)) * t_1)) + (2.0 * (2.71828182845904523536 ^ 3.0))) + ((-176.0 * (2.71828182845904523536 ^ 2.0)) * t_1)) + (96.0 * (2.71828182845904523536 ^ 2.0))) + ((-8.0 * 2.71828182845904523536) * t_1)) + (266.0 * 2.71828182845904523536)) + ((83.0 * (2.71828182845904523536 ^ 1.5)) * t_1)) + (-232.0 * (2.71828182845904523536 ^ 1.5))) + ((83.0 * (2.71828182845904523536 ^ 2.5)) * t_1)) + (-16.0 * (2.71828182845904523536 ^ 2.5))) + ((2.71828182845904523536 ^ 3.5) * t_1)) + 12.0)) * ((x - 0.5) ^ 4.0)) / ((360.0 * (t_6 ^ 4.0)) * t_7))) + (((sqrt(2.71828182845904523536) * (((((((((((t_11 * t_1) + (-110.0 * sqrt(2.71828182845904523536))) + ((2.71828182845904523536 ^ 3.0) * t_1)) + ((53.0 * (2.71828182845904523536 ^ 2.0)) * t_1)) + ((13.0 * 2.71828182845904523536) * t_1)) + (30.0 * 2.71828182845904523536)) + ((-66.0 * (2.71828182845904523536 ^ 1.5)) * t_1)) + (30.0 * (2.71828182845904523536 ^ 1.5))) + ((-8.0 * (2.71828182845904523536 ^ 2.5)) * t_1)) + t_1) + 10.0)) * ((x - 0.5) ^ 3.0)) / ((30.0 * (t_6 ^ 3.0)) * t_7))) + (((sqrt(2.71828182845904523536) * ((((((((((((((((((t_11 * t_2) + ((-115.0 * sqrt(2.71828182845904523536)) * t_1)) + (-340.0 * sqrt(2.71828182845904523536))) + t_12) + ((3.0 * (2.71828182845904523536 ^ 2.0)) * t_2)) + ((90.0 * (2.71828182845904523536 ^ 2.0)) * t_1)) + (-10.0 * (2.71828182845904523536 ^ 2.0))) + ((3.0 * 2.71828182845904523536) * t_2)) + ((20.0 * 2.71828182845904523536) * t_1)) + (-390.0 * 2.71828182845904523536)) + ((-116.0 * (2.71828182845904523536 ^ 1.5)) * t_2)) + ((-530.0 * (2.71828182845904523536 ^ 1.5)) * t_1)) + (60.0 * (2.71828182845904523536 ^ 1.5))) + ((-18.0 * (2.71828182845904523536 ^ 2.5)) * t_2)) + ((-15.0 * (2.71828182845904523536 ^ 2.5)) * t_1)) + t_2) + (10.0 * t_1)) + 60.0)) * ((x - 0.5) ^ 2.0)) / t_9)) + (((((((((((((((((t_5 + ((15.0 * sqrt(2.71828182845904523536)) * t_1)) + (-156.0 * sqrt(2.71828182845904523536))) + t_12) + (t_13 * t_2)) + ((30.0 * (2.71828182845904523536 ^ 2.0)) * t_1)) + (-6.0 * (2.71828182845904523536 ^ 2.0))) + ((-9.0 * 2.71828182845904523536) * t_2)) + ((-70.0 * 2.71828182845904523536) * t_1)) + (-126.0 * 2.71828182845904523536)) + (t_0 * t_2)) + ((-180.0 * (2.71828182845904523536 ^ 1.5)) * t_1)) + (24.0 * (2.71828182845904523536 ^ 1.5))) + (t_10 * t_2)) + ((-7.0 * (2.71828182845904523536 ^ 2.5)) * t_1)) + -12.0) * (x - 0.5)) / t_8)) + t_1)); end
code[x_] := Block[{t$95$0 = N[(-16 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision]}, Block[{t$95$1 = N[Log[N[(1 - N[(1 / N[Sqrt[E], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]}, Block[{t$95$2 = N[(t$95$1 * t$95$1), $MachinePrecision]}, Block[{t$95$3 = N[(t$95$2 * t$95$1), $MachinePrecision]}, Block[{t$95$4 = N[(N[Sqrt[E], $MachinePrecision] * t$95$3), $MachinePrecision]}, Block[{t$95$5 = N[(N[Sqrt[E], $MachinePrecision] * t$95$2), $MachinePrecision]}, Block[{t$95$6 = N[(1 - N[Sqrt[E], $MachinePrecision]), $MachinePrecision]}, Block[{t$95$7 = N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(t$95$5 + N[(N[(16 * N[Sqrt[E], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(-64 * N[Sqrt[E], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(-8 * N[Power[E, 2], $MachinePrecision]), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(-4 * N[Power[E, 2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(N[(-8 * E), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(-84 * E), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(16 * E), $MachinePrecision]), $MachinePrecision] + N[(N[(2 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(16 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(-4 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[Power[E, 5/2], $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + -24), $MachinePrecision]}, Block[{t$95$8 = N[(N[(3 * t$95$6), $MachinePrecision] * t$95$7), $MachinePrecision]}, Block[{t$95$9 = N[(N[(30 * N[Power[t$95$6, 2], $MachinePrecision]), $MachinePrecision] * t$95$7), $MachinePrecision]}, Block[{t$95$10 = N[(-9 * N[Power[E, 5/2], $MachinePrecision]), $MachinePrecision]}, Block[{t$95$11 = N[(-18 * N[Sqrt[E], $MachinePrecision]), $MachinePrecision]}, Block[{t$95$12 = N[(N[Power[E, 3], $MachinePrecision] * t$95$2), $MachinePrecision]}, Block[{t$95$13 = N[(-16 * N[Power[E, 2], $MachinePrecision]), $MachinePrecision]}, N[(1 + N[(1 / N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(t$95$4 + N[(N[(20 * N[Sqrt[E], $MachinePrecision]), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(210 * N[Sqrt[E], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(-1200 * N[Sqrt[E], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(-18 * N[Power[E, 3], $MachinePrecision]), $MachinePrecision] * t$95$3), $MachinePrecision]), $MachinePrecision] + N[(N[(-20 * N[Power[E, 3], $MachinePrecision]), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(-116 * N[Power[E, 2], $MachinePrecision]), $MachinePrecision] * t$95$3), $MachinePrecision]), $MachinePrecision] + N[(N[(-720 * N[Power[E, 2], $MachinePrecision]), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(120 * N[Power[E, 2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(N[(-18 * E), $MachinePrecision] * t$95$3), $MachinePrecision]), $MachinePrecision] + N[(N[(-220 * E), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(-1280 * E), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(-300 * E), $MachinePrecision]), $MachinePrecision] + N[(N[(3 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision] * t$95$3), $MachinePrecision]), $MachinePrecision] + N[(N[(-20 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(-930 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(N[(3 * N[Power[E, 5/2], $MachinePrecision]), $MachinePrecision] * t$95$3), $MachinePrecision]), $MachinePrecision] + N[(N[(120 * N[Power[E, 5/2], $MachinePrecision]), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(-20 * N[Power[E, 5/2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(N[Power[E, 7/2], $MachinePrecision] * t$95$3), $MachinePrecision]), $MachinePrecision] + -120), $MachinePrecision] * N[(N[(x - 1/2), $MachinePrecision] * N[(x - 1/2), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / t$95$9), $MachinePrecision] + N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(t$95$4 + N[(N[(18 * N[Sqrt[E], $MachinePrecision]), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(-108 * N[Sqrt[E], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(-192 * N[Sqrt[E], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[Power[E, 3], $MachinePrecision] * t$95$3), $MachinePrecision]), $MachinePrecision] + N[(t$95$13 * t$95$3), $MachinePrecision]), $MachinePrecision] + N[(N[(6 * N[Power[E, 2], $MachinePrecision]), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(-18 * N[Power[E, 2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(N[(-9 * E), $MachinePrecision] * t$95$3), $MachinePrecision]), $MachinePrecision] + N[(N[(-94 * E), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(-378 * E), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(48 * E), $MachinePrecision]), $MachinePrecision] + N[(t$95$0 * t$95$3), $MachinePrecision]), $MachinePrecision] + N[(N[(-174 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(72 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(-12 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(t$95$10 * t$95$3), $MachinePrecision]), $MachinePrecision] + N[(N[(-4 * N[Power[E, 5/2], $MachinePrecision]), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(-12 * t$95$1), $MachinePrecision]), $MachinePrecision] + -72), $MachinePrecision] * N[(x - 1/2), $MachinePrecision]), $MachinePrecision] / t$95$8), $MachinePrecision]), $MachinePrecision] + N[(N[(N[(N[Sqrt[E], $MachinePrecision] * N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[Sqrt[E], $MachinePrecision] * t$95$1), $MachinePrecision] + N[(-216 * N[Sqrt[E], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(-8 * N[Power[E, 3], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(2 * N[Power[E, 3], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(-176 * N[Power[E, 2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(96 * N[Power[E, 2], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(-8 * E), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(266 * E), $MachinePrecision]), $MachinePrecision] + N[(N[(83 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(-232 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(83 * N[Power[E, 5/2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(-16 * N[Power[E, 5/2], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[Power[E, 7/2], $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + 12), $MachinePrecision]), $MachinePrecision] * N[Power[N[(x - 1/2), $MachinePrecision], 4], $MachinePrecision]), $MachinePrecision] / N[(N[(360 * N[Power[t$95$6, 4], $MachinePrecision]), $MachinePrecision] * t$95$7), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(N[(N[Sqrt[E], $MachinePrecision] * N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(t$95$11 * t$95$1), $MachinePrecision] + N[(-110 * N[Sqrt[E], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[Power[E, 3], $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(N[(53 * N[Power[E, 2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(N[(13 * E), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(30 * E), $MachinePrecision]), $MachinePrecision] + N[(N[(-66 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(30 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(-8 * N[Power[E, 5/2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + t$95$1), $MachinePrecision] + 10), $MachinePrecision]), $MachinePrecision] * N[Power[N[(x - 1/2), $MachinePrecision], 3], $MachinePrecision]), $MachinePrecision] / N[(N[(30 * N[Power[t$95$6, 3], $MachinePrecision]), $MachinePrecision] * t$95$7), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(N[(N[Sqrt[E], $MachinePrecision] * N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(t$95$11 * t$95$2), $MachinePrecision] + N[(N[(-115 * N[Sqrt[E], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(-340 * N[Sqrt[E], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + t$95$12), $MachinePrecision] + N[(N[(3 * N[Power[E, 2], $MachinePrecision]), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(90 * N[Power[E, 2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(-10 * N[Power[E, 2], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(3 * E), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(20 * E), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(-390 * E), $MachinePrecision]), $MachinePrecision] + N[(N[(-116 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(-530 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(60 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(-18 * N[Power[E, 5/2], $MachinePrecision]), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(-15 * N[Power[E, 5/2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + t$95$2), $MachinePrecision] + N[(10 * t$95$1), $MachinePrecision]), $MachinePrecision] + 60), $MachinePrecision]), $MachinePrecision] * N[Power[N[(x - 1/2), $MachinePrecision], 2], $MachinePrecision]), $MachinePrecision] / t$95$9), $MachinePrecision]), $MachinePrecision] + N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(t$95$5 + N[(N[(15 * N[Sqrt[E], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(-156 * N[Sqrt[E], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + t$95$12), $MachinePrecision] + N[(t$95$13 * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(30 * N[Power[E, 2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(-6 * N[Power[E, 2], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(-9 * E), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(-70 * E), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(-126 * E), $MachinePrecision]), $MachinePrecision] + N[(t$95$0 * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(-180 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(24 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(t$95$10 * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(-7 * N[Power[E, 5/2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + -12), $MachinePrecision] * N[(x - 1/2), $MachinePrecision]), $MachinePrecision] / t$95$8), $MachinePrecision]), $MachinePrecision] + t$95$1), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]]]]]]]]]]]]
\begin{array}{l}
t_0 := -16 \cdot {e}^{\frac{3}{2}}\\
t_1 := \log \left(1 - \frac{1}{\sqrt{e}}\right)\\
t_2 := t\_1 \cdot t\_1\\
t_3 := t\_2 \cdot t\_1\\
t_4 := \sqrt{e} \cdot t\_3\\
t_5 := \sqrt{e} \cdot t\_2\\
t_6 := 1 - \sqrt{e}\\
t_7 := \left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(t\_5 + \left(16 \cdot \sqrt{e}\right) \cdot t\_1\right) + -64 \cdot \sqrt{e}\right) + \left(-8 \cdot {e}^{2}\right) \cdot t\_2\right) + \left(-4 \cdot {e}^{2}\right) \cdot t\_1\right) + \left(-8 \cdot e\right) \cdot t\_2\right) + \left(-84 \cdot e\right) \cdot t\_1\right) + 16 \cdot e\right) + \left(2 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_2\right) + \left(16 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_1\right) + -4 \cdot {e}^{\frac{3}{2}}\right) + {e}^{\frac{5}{2}} \cdot t\_2\right) + -24\\
t_8 := \left(3 \cdot t\_6\right) \cdot t\_7\\
t_9 := \left(30 \cdot {t\_6}^{2}\right) \cdot t\_7\\
t_10 := -9 \cdot {e}^{\frac{5}{2}}\\
t_11 := -18 \cdot \sqrt{e}\\
t_12 := {e}^{3} \cdot t\_2\\
t_13 := -16 \cdot {e}^{2}\\
1 + \frac{1}{\left(\left(\left(\left(\left(\frac{\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(t\_4 + \left(20 \cdot \sqrt{e}\right) \cdot t\_2\right) + \left(210 \cdot \sqrt{e}\right) \cdot t\_1\right) + -1200 \cdot \sqrt{e}\right) + \left(-18 \cdot {e}^{3}\right) \cdot t\_3\right) + \left(-20 \cdot {e}^{3}\right) \cdot t\_2\right) + \left(-116 \cdot {e}^{2}\right) \cdot t\_3\right) + \left(-720 \cdot {e}^{2}\right) \cdot t\_2\right) + \left(120 \cdot {e}^{2}\right) \cdot t\_1\right) + \left(-18 \cdot e\right) \cdot t\_3\right) + \left(-220 \cdot e\right) \cdot t\_2\right) + \left(-1280 \cdot e\right) \cdot t\_1\right) + -300 \cdot e\right) + \left(3 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_3\right) + \left(-20 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_2\right) + \left(-930 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_1\right) + \left(3 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_3\right) + \left(120 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_2\right) + \left(-20 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_1\right) + {e}^{\frac{7}{2}} \cdot t\_3\right) + -120\right) \cdot \left(\left(x - \frac{1}{2}\right) \cdot \left(x - \frac{1}{2}\right)\right)}{t\_9} + \frac{\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(t\_4 + \left(18 \cdot \sqrt{e}\right) \cdot t\_2\right) + \left(-108 \cdot \sqrt{e}\right) \cdot t\_1\right) + -192 \cdot \sqrt{e}\right) + {e}^{3} \cdot t\_3\right) + t\_13 \cdot t\_3\right) + \left(6 \cdot {e}^{2}\right) \cdot t\_2\right) + \left(-18 \cdot {e}^{2}\right) \cdot t\_1\right) + \left(-9 \cdot e\right) \cdot t\_3\right) + \left(-94 \cdot e\right) \cdot t\_2\right) + \left(-378 \cdot e\right) \cdot t\_1\right) + 48 \cdot e\right) + t\_0 \cdot t\_3\right) + \left(-174 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_2\right) + \left(72 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_1\right) + -12 \cdot {e}^{\frac{3}{2}}\right) + t\_10 \cdot t\_3\right) + \left(-4 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_2\right) + -12 \cdot t\_1\right) + -72\right) \cdot \left(x - \frac{1}{2}\right)}{t\_8}\right) + \frac{\left(\sqrt{e} \cdot \left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\sqrt{e} \cdot t\_1 + -216 \cdot \sqrt{e}\right) + \left(-8 \cdot {e}^{3}\right) \cdot t\_1\right) + 2 \cdot {e}^{3}\right) + \left(-176 \cdot {e}^{2}\right) \cdot t\_1\right) + 96 \cdot {e}^{2}\right) + \left(-8 \cdot e\right) \cdot t\_1\right) + 266 \cdot e\right) + \left(83 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_1\right) + -232 \cdot {e}^{\frac{3}{2}}\right) + \left(83 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_1\right) + -16 \cdot {e}^{\frac{5}{2}}\right) + {e}^{\frac{7}{2}} \cdot t\_1\right) + 12\right)\right) \cdot {\left(x - \frac{1}{2}\right)}^{4}}{\left(360 \cdot {t\_6}^{4}\right) \cdot t\_7}\right) + \frac{\left(\sqrt{e} \cdot \left(\left(\left(\left(\left(\left(\left(\left(\left(\left(t\_11 \cdot t\_1 + -110 \cdot \sqrt{e}\right) + {e}^{3} \cdot t\_1\right) + \left(53 \cdot {e}^{2}\right) \cdot t\_1\right) + \left(13 \cdot e\right) \cdot t\_1\right) + 30 \cdot e\right) + \left(-66 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_1\right) + 30 \cdot {e}^{\frac{3}{2}}\right) + \left(-8 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_1\right) + t\_1\right) + 10\right)\right) \cdot {\left(x - \frac{1}{2}\right)}^{3}}{\left(30 \cdot {t\_6}^{3}\right) \cdot t\_7}\right) + \frac{\left(\sqrt{e} \cdot \left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(t\_11 \cdot t\_2 + \left(-115 \cdot \sqrt{e}\right) \cdot t\_1\right) + -340 \cdot \sqrt{e}\right) + t\_12\right) + \left(3 \cdot {e}^{2}\right) \cdot t\_2\right) + \left(90 \cdot {e}^{2}\right) \cdot t\_1\right) + -10 \cdot {e}^{2}\right) + \left(3 \cdot e\right) \cdot t\_2\right) + \left(20 \cdot e\right) \cdot t\_1\right) + -390 \cdot e\right) + \left(-116 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_2\right) + \left(-530 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_1\right) + 60 \cdot {e}^{\frac{3}{2}}\right) + \left(-18 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_2\right) + \left(-15 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_1\right) + t\_2\right) + 10 \cdot t\_1\right) + 60\right)\right) \cdot {\left(x - \frac{1}{2}\right)}^{2}}{t\_9}\right) + \frac{\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(t\_5 + \left(15 \cdot \sqrt{e}\right) \cdot t\_1\right) + -156 \cdot \sqrt{e}\right) + t\_12\right) + t\_13 \cdot t\_2\right) + \left(30 \cdot {e}^{2}\right) \cdot t\_1\right) + -6 \cdot {e}^{2}\right) + \left(-9 \cdot e\right) \cdot t\_2\right) + \left(-70 \cdot e\right) \cdot t\_1\right) + -126 \cdot e\right) + t\_0 \cdot t\_2\right) + \left(-180 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_1\right) + 24 \cdot {e}^{\frac{3}{2}}\right) + t\_10 \cdot t\_2\right) + \left(-7 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_1\right) + -12\right) \cdot \left(x - \frac{1}{2}\right)}{t\_8}\right) + t\_1}
\end{array}
Herbie found 5 alternatives:
| Alternative | Accuracy | Speedup |
|---|
(FPCore (x)
:precision binary64
(let* ((t_0 (* -16 (pow E 3/2)))
(t_1 (log (- 1 (/ 1 (sqrt E)))))
(t_2 (* t_1 t_1))
(t_3 (* t_2 t_1))
(t_4 (* (sqrt E) t_3))
(t_5 (* (sqrt E) t_2))
(t_6 (- 1 (sqrt E)))
(t_7
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+ (+ t_5 (* (* 16 (sqrt E)) t_1)) (* -64 (sqrt E)))
(* (* -8 (pow E 2)) t_2))
(* (* -4 (pow E 2)) t_1))
(* (* -8 E) t_2))
(* (* -84 E) t_1))
(* 16 E))
(* (* 2 (pow E 3/2)) t_2))
(* (* 16 (pow E 3/2)) t_1))
(* -4 (pow E 3/2)))
(* (pow E 5/2) t_2))
-24))
(t_8 (* (* 3 t_6) t_7))
(t_9 (* (* 30 (pow t_6 2)) t_7))
(t_10 (* -9 (pow E 5/2)))
(t_11 (* -18 (sqrt E)))
(t_12 (* (pow E 3) t_2))
(t_13 (* -16 (pow E 2))))
(+
1
(/
1
(+
(+
(+
(+
(+
(+
(/
(*
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+ t_4 (* (* 20 (sqrt E)) t_2))
(* (* 210 (sqrt E)) t_1))
(* -1200 (sqrt E)))
(* (* -18 (pow E 3)) t_3))
(* (* -20 (pow E 3)) t_2))
(* (* -116 (pow E 2)) t_3))
(* (* -720 (pow E 2)) t_2))
(* (* 120 (pow E 2)) t_1))
(* (* -18 E) t_3))
(* (* -220 E) t_2))
(* (* -1280 E) t_1))
(* -300 E))
(* (* 3 (pow E 3/2)) t_3))
(* (* -20 (pow E 3/2)) t_2))
(* (* -930 (pow E 3/2)) t_1))
(* (* 3 (pow E 5/2)) t_3))
(* (* 120 (pow E 5/2)) t_2))
(* (* -20 (pow E 5/2)) t_1))
(* (pow E 7/2) t_3))
-120)
(* (- x 1/2) (- x 1/2)))
t_9)
(/
(*
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+ t_4 (* (* 18 (sqrt E)) t_2))
(* (* -108 (sqrt E)) t_1))
(* -192 (sqrt E)))
(* (pow E 3) t_3))
(* t_13 t_3))
(* (* 6 (pow E 2)) t_2))
(* (* -18 (pow E 2)) t_1))
(* (* -9 E) t_3))
(* (* -94 E) t_2))
(* (* -378 E) t_1))
(* 48 E))
(* t_0 t_3))
(* (* -174 (pow E 3/2)) t_2))
(* (* 72 (pow E 3/2)) t_1))
(* -12 (pow E 3/2)))
(* t_10 t_3))
(* (* -4 (pow E 5/2)) t_2))
(* -12 t_1))
-72)
(- x 1/2))
t_8))
(/
(*
(*
(sqrt E)
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+ (* (sqrt E) t_1) (* -216 (sqrt E)))
(* (* -8 (pow E 3)) t_1))
(* 2 (pow E 3)))
(* (* -176 (pow E 2)) t_1))
(* 96 (pow E 2)))
(* (* -8 E) t_1))
(* 266 E))
(* (* 83 (pow E 3/2)) t_1))
(* -232 (pow E 3/2)))
(* (* 83 (pow E 5/2)) t_1))
(* -16 (pow E 5/2)))
(* (pow E 7/2) t_1))
12))
(pow (- x 1/2) 4))
(* (* 360 (pow t_6 4)) t_7)))
(/
(*
(*
(sqrt E)
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+ (* t_11 t_1) (* -110 (sqrt E)))
(* (pow E 3) t_1))
(* (* 53 (pow E 2)) t_1))
(* (* 13 E) t_1))
(* 30 E))
(* (* -66 (pow E 3/2)) t_1))
(* 30 (pow E 3/2)))
(* (* -8 (pow E 5/2)) t_1))
t_1)
10))
(pow (- x 1/2) 3))
(* (* 30 (pow t_6 3)) t_7)))
(/
(*
(*
(sqrt E)
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+ (* t_11 t_2) (* (* -115 (sqrt E)) t_1))
(* -340 (sqrt E)))
t_12)
(* (* 3 (pow E 2)) t_2))
(* (* 90 (pow E 2)) t_1))
(* -10 (pow E 2)))
(* (* 3 E) t_2))
(* (* 20 E) t_1))
(* -390 E))
(* (* -116 (pow E 3/2)) t_2))
(* (* -530 (pow E 3/2)) t_1))
(* 60 (pow E 3/2)))
(* (* -18 (pow E 5/2)) t_2))
(* (* -15 (pow E 5/2)) t_1))
t_2)
(* 10 t_1))
60))
(pow (- x 1/2) 2))
t_9))
(/
(*
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+ t_5 (* (* 15 (sqrt E)) t_1))
(* -156 (sqrt E)))
t_12)
(* t_13 t_2))
(* (* 30 (pow E 2)) t_1))
(* -6 (pow E 2)))
(* (* -9 E) t_2))
(* (* -70 E) t_1))
(* -126 E))
(* t_0 t_2))
(* (* -180 (pow E 3/2)) t_1))
(* 24 (pow E 3/2)))
(* t_10 t_2))
(* (* -7 (pow E 5/2)) t_1))
-12)
(- x 1/2))
t_8))
t_1)))))double code(double x) {
double t_0 = -16.0 * pow(((double) M_E), 1.5);
double t_1 = log((1.0 - (1.0 / sqrt(((double) M_E)))));
double t_2 = t_1 * t_1;
double t_3 = t_2 * t_1;
double t_4 = sqrt(((double) M_E)) * t_3;
double t_5 = sqrt(((double) M_E)) * t_2;
double t_6 = 1.0 - sqrt(((double) M_E));
double t_7 = (((((((((((t_5 + ((16.0 * sqrt(((double) M_E))) * t_1)) + (-64.0 * sqrt(((double) M_E)))) + ((-8.0 * pow(((double) M_E), 2.0)) * t_2)) + ((-4.0 * pow(((double) M_E), 2.0)) * t_1)) + ((-8.0 * ((double) M_E)) * t_2)) + ((-84.0 * ((double) M_E)) * t_1)) + (16.0 * ((double) M_E))) + ((2.0 * pow(((double) M_E), 1.5)) * t_2)) + ((16.0 * pow(((double) M_E), 1.5)) * t_1)) + (-4.0 * pow(((double) M_E), 1.5))) + (pow(((double) M_E), 2.5) * t_2)) + -24.0;
double t_8 = (3.0 * t_6) * t_7;
double t_9 = (30.0 * pow(t_6, 2.0)) * t_7;
double t_10 = -9.0 * pow(((double) M_E), 2.5);
double t_11 = -18.0 * sqrt(((double) M_E));
double t_12 = pow(((double) M_E), 3.0) * t_2;
double t_13 = -16.0 * pow(((double) M_E), 2.0);
return 1.0 + (1.0 / ((((((((((((((((((((((((((((t_4 + ((20.0 * sqrt(((double) M_E))) * t_2)) + ((210.0 * sqrt(((double) M_E))) * t_1)) + (-1200.0 * sqrt(((double) M_E)))) + ((-18.0 * pow(((double) M_E), 3.0)) * t_3)) + ((-20.0 * pow(((double) M_E), 3.0)) * t_2)) + ((-116.0 * pow(((double) M_E), 2.0)) * t_3)) + ((-720.0 * pow(((double) M_E), 2.0)) * t_2)) + ((120.0 * pow(((double) M_E), 2.0)) * t_1)) + ((-18.0 * ((double) M_E)) * t_3)) + ((-220.0 * ((double) M_E)) * t_2)) + ((-1280.0 * ((double) M_E)) * t_1)) + (-300.0 * ((double) M_E))) + ((3.0 * pow(((double) M_E), 1.5)) * t_3)) + ((-20.0 * pow(((double) M_E), 1.5)) * t_2)) + ((-930.0 * pow(((double) M_E), 1.5)) * t_1)) + ((3.0 * pow(((double) M_E), 2.5)) * t_3)) + ((120.0 * pow(((double) M_E), 2.5)) * t_2)) + ((-20.0 * pow(((double) M_E), 2.5)) * t_1)) + (pow(((double) M_E), 3.5) * t_3)) + -120.0) * ((x - 0.5) * (x - 0.5))) / t_9) + (((((((((((((((((((((t_4 + ((18.0 * sqrt(((double) M_E))) * t_2)) + ((-108.0 * sqrt(((double) M_E))) * t_1)) + (-192.0 * sqrt(((double) M_E)))) + (pow(((double) M_E), 3.0) * t_3)) + (t_13 * t_3)) + ((6.0 * pow(((double) M_E), 2.0)) * t_2)) + ((-18.0 * pow(((double) M_E), 2.0)) * t_1)) + ((-9.0 * ((double) M_E)) * t_3)) + ((-94.0 * ((double) M_E)) * t_2)) + ((-378.0 * ((double) M_E)) * t_1)) + (48.0 * ((double) M_E))) + (t_0 * t_3)) + ((-174.0 * pow(((double) M_E), 1.5)) * t_2)) + ((72.0 * pow(((double) M_E), 1.5)) * t_1)) + (-12.0 * pow(((double) M_E), 1.5))) + (t_10 * t_3)) + ((-4.0 * pow(((double) M_E), 2.5)) * t_2)) + (-12.0 * t_1)) + -72.0) * (x - 0.5)) / t_8)) + (((sqrt(((double) M_E)) * ((((((((((((((sqrt(((double) M_E)) * t_1) + (-216.0 * sqrt(((double) M_E)))) + ((-8.0 * pow(((double) M_E), 3.0)) * t_1)) + (2.0 * pow(((double) M_E), 3.0))) + ((-176.0 * pow(((double) M_E), 2.0)) * t_1)) + (96.0 * pow(((double) M_E), 2.0))) + ((-8.0 * ((double) M_E)) * t_1)) + (266.0 * ((double) M_E))) + ((83.0 * pow(((double) M_E), 1.5)) * t_1)) + (-232.0 * pow(((double) M_E), 1.5))) + ((83.0 * pow(((double) M_E), 2.5)) * t_1)) + (-16.0 * pow(((double) M_E), 2.5))) + (pow(((double) M_E), 3.5) * t_1)) + 12.0)) * pow((x - 0.5), 4.0)) / ((360.0 * pow(t_6, 4.0)) * t_7))) + (((sqrt(((double) M_E)) * (((((((((((t_11 * t_1) + (-110.0 * sqrt(((double) M_E)))) + (pow(((double) M_E), 3.0) * t_1)) + ((53.0 * pow(((double) M_E), 2.0)) * t_1)) + ((13.0 * ((double) M_E)) * t_1)) + (30.0 * ((double) M_E))) + ((-66.0 * pow(((double) M_E), 1.5)) * t_1)) + (30.0 * pow(((double) M_E), 1.5))) + ((-8.0 * pow(((double) M_E), 2.5)) * t_1)) + t_1) + 10.0)) * pow((x - 0.5), 3.0)) / ((30.0 * pow(t_6, 3.0)) * t_7))) + (((sqrt(((double) M_E)) * ((((((((((((((((((t_11 * t_2) + ((-115.0 * sqrt(((double) M_E))) * t_1)) + (-340.0 * sqrt(((double) M_E)))) + t_12) + ((3.0 * pow(((double) M_E), 2.0)) * t_2)) + ((90.0 * pow(((double) M_E), 2.0)) * t_1)) + (-10.0 * pow(((double) M_E), 2.0))) + ((3.0 * ((double) M_E)) * t_2)) + ((20.0 * ((double) M_E)) * t_1)) + (-390.0 * ((double) M_E))) + ((-116.0 * pow(((double) M_E), 1.5)) * t_2)) + ((-530.0 * pow(((double) M_E), 1.5)) * t_1)) + (60.0 * pow(((double) M_E), 1.5))) + ((-18.0 * pow(((double) M_E), 2.5)) * t_2)) + ((-15.0 * pow(((double) M_E), 2.5)) * t_1)) + t_2) + (10.0 * t_1)) + 60.0)) * pow((x - 0.5), 2.0)) / t_9)) + (((((((((((((((((t_5 + ((15.0 * sqrt(((double) M_E))) * t_1)) + (-156.0 * sqrt(((double) M_E)))) + t_12) + (t_13 * t_2)) + ((30.0 * pow(((double) M_E), 2.0)) * t_1)) + (-6.0 * pow(((double) M_E), 2.0))) + ((-9.0 * ((double) M_E)) * t_2)) + ((-70.0 * ((double) M_E)) * t_1)) + (-126.0 * ((double) M_E))) + (t_0 * t_2)) + ((-180.0 * pow(((double) M_E), 1.5)) * t_1)) + (24.0 * pow(((double) M_E), 1.5))) + (t_10 * t_2)) + ((-7.0 * pow(((double) M_E), 2.5)) * t_1)) + -12.0) * (x - 0.5)) / t_8)) + t_1));
}
public static double code(double x) {
double t_0 = -16.0 * Math.pow(Math.E, 1.5);
double t_1 = Math.log((1.0 - (1.0 / Math.sqrt(Math.E))));
double t_2 = t_1 * t_1;
double t_3 = t_2 * t_1;
double t_4 = Math.sqrt(Math.E) * t_3;
double t_5 = Math.sqrt(Math.E) * t_2;
double t_6 = 1.0 - Math.sqrt(Math.E);
double t_7 = (((((((((((t_5 + ((16.0 * Math.sqrt(Math.E)) * t_1)) + (-64.0 * Math.sqrt(Math.E))) + ((-8.0 * Math.pow(Math.E, 2.0)) * t_2)) + ((-4.0 * Math.pow(Math.E, 2.0)) * t_1)) + ((-8.0 * Math.E) * t_2)) + ((-84.0 * Math.E) * t_1)) + (16.0 * Math.E)) + ((2.0 * Math.pow(Math.E, 1.5)) * t_2)) + ((16.0 * Math.pow(Math.E, 1.5)) * t_1)) + (-4.0 * Math.pow(Math.E, 1.5))) + (Math.pow(Math.E, 2.5) * t_2)) + -24.0;
double t_8 = (3.0 * t_6) * t_7;
double t_9 = (30.0 * Math.pow(t_6, 2.0)) * t_7;
double t_10 = -9.0 * Math.pow(Math.E, 2.5);
double t_11 = -18.0 * Math.sqrt(Math.E);
double t_12 = Math.pow(Math.E, 3.0) * t_2;
double t_13 = -16.0 * Math.pow(Math.E, 2.0);
return 1.0 + (1.0 / ((((((((((((((((((((((((((((t_4 + ((20.0 * Math.sqrt(Math.E)) * t_2)) + ((210.0 * Math.sqrt(Math.E)) * t_1)) + (-1200.0 * Math.sqrt(Math.E))) + ((-18.0 * Math.pow(Math.E, 3.0)) * t_3)) + ((-20.0 * Math.pow(Math.E, 3.0)) * t_2)) + ((-116.0 * Math.pow(Math.E, 2.0)) * t_3)) + ((-720.0 * Math.pow(Math.E, 2.0)) * t_2)) + ((120.0 * Math.pow(Math.E, 2.0)) * t_1)) + ((-18.0 * Math.E) * t_3)) + ((-220.0 * Math.E) * t_2)) + ((-1280.0 * Math.E) * t_1)) + (-300.0 * Math.E)) + ((3.0 * Math.pow(Math.E, 1.5)) * t_3)) + ((-20.0 * Math.pow(Math.E, 1.5)) * t_2)) + ((-930.0 * Math.pow(Math.E, 1.5)) * t_1)) + ((3.0 * Math.pow(Math.E, 2.5)) * t_3)) + ((120.0 * Math.pow(Math.E, 2.5)) * t_2)) + ((-20.0 * Math.pow(Math.E, 2.5)) * t_1)) + (Math.pow(Math.E, 3.5) * t_3)) + -120.0) * ((x - 0.5) * (x - 0.5))) / t_9) + (((((((((((((((((((((t_4 + ((18.0 * Math.sqrt(Math.E)) * t_2)) + ((-108.0 * Math.sqrt(Math.E)) * t_1)) + (-192.0 * Math.sqrt(Math.E))) + (Math.pow(Math.E, 3.0) * t_3)) + (t_13 * t_3)) + ((6.0 * Math.pow(Math.E, 2.0)) * t_2)) + ((-18.0 * Math.pow(Math.E, 2.0)) * t_1)) + ((-9.0 * Math.E) * t_3)) + ((-94.0 * Math.E) * t_2)) + ((-378.0 * Math.E) * t_1)) + (48.0 * Math.E)) + (t_0 * t_3)) + ((-174.0 * Math.pow(Math.E, 1.5)) * t_2)) + ((72.0 * Math.pow(Math.E, 1.5)) * t_1)) + (-12.0 * Math.pow(Math.E, 1.5))) + (t_10 * t_3)) + ((-4.0 * Math.pow(Math.E, 2.5)) * t_2)) + (-12.0 * t_1)) + -72.0) * (x - 0.5)) / t_8)) + (((Math.sqrt(Math.E) * ((((((((((((((Math.sqrt(Math.E) * t_1) + (-216.0 * Math.sqrt(Math.E))) + ((-8.0 * Math.pow(Math.E, 3.0)) * t_1)) + (2.0 * Math.pow(Math.E, 3.0))) + ((-176.0 * Math.pow(Math.E, 2.0)) * t_1)) + (96.0 * Math.pow(Math.E, 2.0))) + ((-8.0 * Math.E) * t_1)) + (266.0 * Math.E)) + ((83.0 * Math.pow(Math.E, 1.5)) * t_1)) + (-232.0 * Math.pow(Math.E, 1.5))) + ((83.0 * Math.pow(Math.E, 2.5)) * t_1)) + (-16.0 * Math.pow(Math.E, 2.5))) + (Math.pow(Math.E, 3.5) * t_1)) + 12.0)) * Math.pow((x - 0.5), 4.0)) / ((360.0 * Math.pow(t_6, 4.0)) * t_7))) + (((Math.sqrt(Math.E) * (((((((((((t_11 * t_1) + (-110.0 * Math.sqrt(Math.E))) + (Math.pow(Math.E, 3.0) * t_1)) + ((53.0 * Math.pow(Math.E, 2.0)) * t_1)) + ((13.0 * Math.E) * t_1)) + (30.0 * Math.E)) + ((-66.0 * Math.pow(Math.E, 1.5)) * t_1)) + (30.0 * Math.pow(Math.E, 1.5))) + ((-8.0 * Math.pow(Math.E, 2.5)) * t_1)) + t_1) + 10.0)) * Math.pow((x - 0.5), 3.0)) / ((30.0 * Math.pow(t_6, 3.0)) * t_7))) + (((Math.sqrt(Math.E) * ((((((((((((((((((t_11 * t_2) + ((-115.0 * Math.sqrt(Math.E)) * t_1)) + (-340.0 * Math.sqrt(Math.E))) + t_12) + ((3.0 * Math.pow(Math.E, 2.0)) * t_2)) + ((90.0 * Math.pow(Math.E, 2.0)) * t_1)) + (-10.0 * Math.pow(Math.E, 2.0))) + ((3.0 * Math.E) * t_2)) + ((20.0 * Math.E) * t_1)) + (-390.0 * Math.E)) + ((-116.0 * Math.pow(Math.E, 1.5)) * t_2)) + ((-530.0 * Math.pow(Math.E, 1.5)) * t_1)) + (60.0 * Math.pow(Math.E, 1.5))) + ((-18.0 * Math.pow(Math.E, 2.5)) * t_2)) + ((-15.0 * Math.pow(Math.E, 2.5)) * t_1)) + t_2) + (10.0 * t_1)) + 60.0)) * Math.pow((x - 0.5), 2.0)) / t_9)) + (((((((((((((((((t_5 + ((15.0 * Math.sqrt(Math.E)) * t_1)) + (-156.0 * Math.sqrt(Math.E))) + t_12) + (t_13 * t_2)) + ((30.0 * Math.pow(Math.E, 2.0)) * t_1)) + (-6.0 * Math.pow(Math.E, 2.0))) + ((-9.0 * Math.E) * t_2)) + ((-70.0 * Math.E) * t_1)) + (-126.0 * Math.E)) + (t_0 * t_2)) + ((-180.0 * Math.pow(Math.E, 1.5)) * t_1)) + (24.0 * Math.pow(Math.E, 1.5))) + (t_10 * t_2)) + ((-7.0 * Math.pow(Math.E, 2.5)) * t_1)) + -12.0) * (x - 0.5)) / t_8)) + t_1));
}
def code(x): t_0 = -16.0 * math.pow(math.e, 1.5) t_1 = math.log((1.0 - (1.0 / math.sqrt(math.e)))) t_2 = t_1 * t_1 t_3 = t_2 * t_1 t_4 = math.sqrt(math.e) * t_3 t_5 = math.sqrt(math.e) * t_2 t_6 = 1.0 - math.sqrt(math.e) t_7 = (((((((((((t_5 + ((16.0 * math.sqrt(math.e)) * t_1)) + (-64.0 * math.sqrt(math.e))) + ((-8.0 * math.pow(math.e, 2.0)) * t_2)) + ((-4.0 * math.pow(math.e, 2.0)) * t_1)) + ((-8.0 * math.e) * t_2)) + ((-84.0 * math.e) * t_1)) + (16.0 * math.e)) + ((2.0 * math.pow(math.e, 1.5)) * t_2)) + ((16.0 * math.pow(math.e, 1.5)) * t_1)) + (-4.0 * math.pow(math.e, 1.5))) + (math.pow(math.e, 2.5) * t_2)) + -24.0 t_8 = (3.0 * t_6) * t_7 t_9 = (30.0 * math.pow(t_6, 2.0)) * t_7 t_10 = -9.0 * math.pow(math.e, 2.5) t_11 = -18.0 * math.sqrt(math.e) t_12 = math.pow(math.e, 3.0) * t_2 t_13 = -16.0 * math.pow(math.e, 2.0) return 1.0 + (1.0 / ((((((((((((((((((((((((((((t_4 + ((20.0 * math.sqrt(math.e)) * t_2)) + ((210.0 * math.sqrt(math.e)) * t_1)) + (-1200.0 * math.sqrt(math.e))) + ((-18.0 * math.pow(math.e, 3.0)) * t_3)) + ((-20.0 * math.pow(math.e, 3.0)) * t_2)) + ((-116.0 * math.pow(math.e, 2.0)) * t_3)) + ((-720.0 * math.pow(math.e, 2.0)) * t_2)) + ((120.0 * math.pow(math.e, 2.0)) * t_1)) + ((-18.0 * math.e) * t_3)) + ((-220.0 * math.e) * t_2)) + ((-1280.0 * math.e) * t_1)) + (-300.0 * math.e)) + ((3.0 * math.pow(math.e, 1.5)) * t_3)) + ((-20.0 * math.pow(math.e, 1.5)) * t_2)) + ((-930.0 * math.pow(math.e, 1.5)) * t_1)) + ((3.0 * math.pow(math.e, 2.5)) * t_3)) + ((120.0 * math.pow(math.e, 2.5)) * t_2)) + ((-20.0 * math.pow(math.e, 2.5)) * t_1)) + (math.pow(math.e, 3.5) * t_3)) + -120.0) * ((x - 0.5) * (x - 0.5))) / t_9) + (((((((((((((((((((((t_4 + ((18.0 * math.sqrt(math.e)) * t_2)) + ((-108.0 * math.sqrt(math.e)) * t_1)) + (-192.0 * math.sqrt(math.e))) + (math.pow(math.e, 3.0) * t_3)) + (t_13 * t_3)) + ((6.0 * math.pow(math.e, 2.0)) * t_2)) + ((-18.0 * math.pow(math.e, 2.0)) * t_1)) + ((-9.0 * math.e) * t_3)) + ((-94.0 * math.e) * t_2)) + ((-378.0 * math.e) * t_1)) + (48.0 * math.e)) + (t_0 * t_3)) + ((-174.0 * math.pow(math.e, 1.5)) * t_2)) + ((72.0 * math.pow(math.e, 1.5)) * t_1)) + (-12.0 * math.pow(math.e, 1.5))) + (t_10 * t_3)) + ((-4.0 * math.pow(math.e, 2.5)) * t_2)) + (-12.0 * t_1)) + -72.0) * (x - 0.5)) / t_8)) + (((math.sqrt(math.e) * ((((((((((((((math.sqrt(math.e) * t_1) + (-216.0 * math.sqrt(math.e))) + ((-8.0 * math.pow(math.e, 3.0)) * t_1)) + (2.0 * math.pow(math.e, 3.0))) + ((-176.0 * math.pow(math.e, 2.0)) * t_1)) + (96.0 * math.pow(math.e, 2.0))) + ((-8.0 * math.e) * t_1)) + (266.0 * math.e)) + ((83.0 * math.pow(math.e, 1.5)) * t_1)) + (-232.0 * math.pow(math.e, 1.5))) + ((83.0 * math.pow(math.e, 2.5)) * t_1)) + (-16.0 * math.pow(math.e, 2.5))) + (math.pow(math.e, 3.5) * t_1)) + 12.0)) * math.pow((x - 0.5), 4.0)) / ((360.0 * math.pow(t_6, 4.0)) * t_7))) + (((math.sqrt(math.e) * (((((((((((t_11 * t_1) + (-110.0 * math.sqrt(math.e))) + (math.pow(math.e, 3.0) * t_1)) + ((53.0 * math.pow(math.e, 2.0)) * t_1)) + ((13.0 * math.e) * t_1)) + (30.0 * math.e)) + ((-66.0 * math.pow(math.e, 1.5)) * t_1)) + (30.0 * math.pow(math.e, 1.5))) + ((-8.0 * math.pow(math.e, 2.5)) * t_1)) + t_1) + 10.0)) * math.pow((x - 0.5), 3.0)) / ((30.0 * math.pow(t_6, 3.0)) * t_7))) + (((math.sqrt(math.e) * ((((((((((((((((((t_11 * t_2) + ((-115.0 * math.sqrt(math.e)) * t_1)) + (-340.0 * math.sqrt(math.e))) + t_12) + ((3.0 * math.pow(math.e, 2.0)) * t_2)) + ((90.0 * math.pow(math.e, 2.0)) * t_1)) + (-10.0 * math.pow(math.e, 2.0))) + ((3.0 * math.e) * t_2)) + ((20.0 * math.e) * t_1)) + (-390.0 * math.e)) + ((-116.0 * math.pow(math.e, 1.5)) * t_2)) + ((-530.0 * math.pow(math.e, 1.5)) * t_1)) + (60.0 * math.pow(math.e, 1.5))) + ((-18.0 * math.pow(math.e, 2.5)) * t_2)) + ((-15.0 * math.pow(math.e, 2.5)) * t_1)) + t_2) + (10.0 * t_1)) + 60.0)) * math.pow((x - 0.5), 2.0)) / t_9)) + (((((((((((((((((t_5 + ((15.0 * math.sqrt(math.e)) * t_1)) + (-156.0 * math.sqrt(math.e))) + t_12) + (t_13 * t_2)) + ((30.0 * math.pow(math.e, 2.0)) * t_1)) + (-6.0 * math.pow(math.e, 2.0))) + ((-9.0 * math.e) * t_2)) + ((-70.0 * math.e) * t_1)) + (-126.0 * math.e)) + (t_0 * t_2)) + ((-180.0 * math.pow(math.e, 1.5)) * t_1)) + (24.0 * math.pow(math.e, 1.5))) + (t_10 * t_2)) + ((-7.0 * math.pow(math.e, 2.5)) * t_1)) + -12.0) * (x - 0.5)) / t_8)) + t_1))
function code(x) t_0 = Float64(-16.0 * (exp(1) ^ 1.5)) t_1 = log(Float64(1.0 - Float64(1.0 / sqrt(exp(1))))) t_2 = Float64(t_1 * t_1) t_3 = Float64(t_2 * t_1) t_4 = Float64(sqrt(exp(1)) * t_3) t_5 = Float64(sqrt(exp(1)) * t_2) t_6 = Float64(1.0 - sqrt(exp(1))) t_7 = Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(t_5 + Float64(Float64(16.0 * sqrt(exp(1))) * t_1)) + Float64(-64.0 * sqrt(exp(1)))) + Float64(Float64(-8.0 * (exp(1) ^ 2.0)) * t_2)) + Float64(Float64(-4.0 * (exp(1) ^ 2.0)) * t_1)) + Float64(Float64(-8.0 * exp(1)) * t_2)) + Float64(Float64(-84.0 * exp(1)) * t_1)) + Float64(16.0 * exp(1))) + Float64(Float64(2.0 * (exp(1) ^ 1.5)) * t_2)) + Float64(Float64(16.0 * (exp(1) ^ 1.5)) * t_1)) + Float64(-4.0 * (exp(1) ^ 1.5))) + Float64((exp(1) ^ 2.5) * t_2)) + -24.0) t_8 = Float64(Float64(3.0 * t_6) * t_7) t_9 = Float64(Float64(30.0 * (t_6 ^ 2.0)) * t_7) t_10 = Float64(-9.0 * (exp(1) ^ 2.5)) t_11 = Float64(-18.0 * sqrt(exp(1))) t_12 = Float64((exp(1) ^ 3.0) * t_2) t_13 = Float64(-16.0 * (exp(1) ^ 2.0)) return Float64(1.0 + Float64(1.0 / Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(t_4 + Float64(Float64(20.0 * sqrt(exp(1))) * t_2)) + Float64(Float64(210.0 * sqrt(exp(1))) * t_1)) + Float64(-1200.0 * sqrt(exp(1)))) + Float64(Float64(-18.0 * (exp(1) ^ 3.0)) * t_3)) + Float64(Float64(-20.0 * (exp(1) ^ 3.0)) * t_2)) + Float64(Float64(-116.0 * (exp(1) ^ 2.0)) * t_3)) + Float64(Float64(-720.0 * (exp(1) ^ 2.0)) * t_2)) + Float64(Float64(120.0 * (exp(1) ^ 2.0)) * t_1)) + Float64(Float64(-18.0 * exp(1)) * t_3)) + Float64(Float64(-220.0 * exp(1)) * t_2)) + Float64(Float64(-1280.0 * exp(1)) * t_1)) + Float64(-300.0 * exp(1))) + Float64(Float64(3.0 * (exp(1) ^ 1.5)) * t_3)) + Float64(Float64(-20.0 * (exp(1) ^ 1.5)) * t_2)) + Float64(Float64(-930.0 * (exp(1) ^ 1.5)) * t_1)) + Float64(Float64(3.0 * (exp(1) ^ 2.5)) * t_3)) + Float64(Float64(120.0 * (exp(1) ^ 2.5)) * t_2)) + Float64(Float64(-20.0 * (exp(1) ^ 2.5)) * t_1)) + Float64((exp(1) ^ 3.5) * t_3)) + -120.0) * Float64(Float64(x - 0.5) * Float64(x - 0.5))) / t_9) + Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(t_4 + Float64(Float64(18.0 * sqrt(exp(1))) * t_2)) + Float64(Float64(-108.0 * sqrt(exp(1))) * t_1)) + Float64(-192.0 * sqrt(exp(1)))) + Float64((exp(1) ^ 3.0) * t_3)) + Float64(t_13 * t_3)) + Float64(Float64(6.0 * (exp(1) ^ 2.0)) * t_2)) + Float64(Float64(-18.0 * (exp(1) ^ 2.0)) * t_1)) + Float64(Float64(-9.0 * exp(1)) * t_3)) + Float64(Float64(-94.0 * exp(1)) * t_2)) + Float64(Float64(-378.0 * exp(1)) * t_1)) + Float64(48.0 * exp(1))) + Float64(t_0 * t_3)) + Float64(Float64(-174.0 * (exp(1) ^ 1.5)) * t_2)) + Float64(Float64(72.0 * (exp(1) ^ 1.5)) * t_1)) + Float64(-12.0 * (exp(1) ^ 1.5))) + Float64(t_10 * t_3)) + Float64(Float64(-4.0 * (exp(1) ^ 2.5)) * t_2)) + Float64(-12.0 * t_1)) + -72.0) * Float64(x - 0.5)) / t_8)) + Float64(Float64(Float64(sqrt(exp(1)) * Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(sqrt(exp(1)) * t_1) + Float64(-216.0 * sqrt(exp(1)))) + Float64(Float64(-8.0 * (exp(1) ^ 3.0)) * t_1)) + Float64(2.0 * (exp(1) ^ 3.0))) + Float64(Float64(-176.0 * (exp(1) ^ 2.0)) * t_1)) + Float64(96.0 * (exp(1) ^ 2.0))) + Float64(Float64(-8.0 * exp(1)) * t_1)) + Float64(266.0 * exp(1))) + Float64(Float64(83.0 * (exp(1) ^ 1.5)) * t_1)) + Float64(-232.0 * (exp(1) ^ 1.5))) + Float64(Float64(83.0 * (exp(1) ^ 2.5)) * t_1)) + Float64(-16.0 * (exp(1) ^ 2.5))) + Float64((exp(1) ^ 3.5) * t_1)) + 12.0)) * (Float64(x - 0.5) ^ 4.0)) / Float64(Float64(360.0 * (t_6 ^ 4.0)) * t_7))) + Float64(Float64(Float64(sqrt(exp(1)) * Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(t_11 * t_1) + Float64(-110.0 * sqrt(exp(1)))) + Float64((exp(1) ^ 3.0) * t_1)) + Float64(Float64(53.0 * (exp(1) ^ 2.0)) * t_1)) + Float64(Float64(13.0 * exp(1)) * t_1)) + Float64(30.0 * exp(1))) + Float64(Float64(-66.0 * (exp(1) ^ 1.5)) * t_1)) + Float64(30.0 * (exp(1) ^ 1.5))) + Float64(Float64(-8.0 * (exp(1) ^ 2.5)) * t_1)) + t_1) + 10.0)) * (Float64(x - 0.5) ^ 3.0)) / Float64(Float64(30.0 * (t_6 ^ 3.0)) * t_7))) + Float64(Float64(Float64(sqrt(exp(1)) * Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(t_11 * t_2) + Float64(Float64(-115.0 * sqrt(exp(1))) * t_1)) + Float64(-340.0 * sqrt(exp(1)))) + t_12) + Float64(Float64(3.0 * (exp(1) ^ 2.0)) * t_2)) + Float64(Float64(90.0 * (exp(1) ^ 2.0)) * t_1)) + Float64(-10.0 * (exp(1) ^ 2.0))) + Float64(Float64(3.0 * exp(1)) * t_2)) + Float64(Float64(20.0 * exp(1)) * t_1)) + Float64(-390.0 * exp(1))) + Float64(Float64(-116.0 * (exp(1) ^ 1.5)) * t_2)) + Float64(Float64(-530.0 * (exp(1) ^ 1.5)) * t_1)) + Float64(60.0 * (exp(1) ^ 1.5))) + Float64(Float64(-18.0 * (exp(1) ^ 2.5)) * t_2)) + Float64(Float64(-15.0 * (exp(1) ^ 2.5)) * t_1)) + t_2) + Float64(10.0 * t_1)) + 60.0)) * (Float64(x - 0.5) ^ 2.0)) / t_9)) + Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(t_5 + Float64(Float64(15.0 * sqrt(exp(1))) * t_1)) + Float64(-156.0 * sqrt(exp(1)))) + t_12) + Float64(t_13 * t_2)) + Float64(Float64(30.0 * (exp(1) ^ 2.0)) * t_1)) + Float64(-6.0 * (exp(1) ^ 2.0))) + Float64(Float64(-9.0 * exp(1)) * t_2)) + Float64(Float64(-70.0 * exp(1)) * t_1)) + Float64(-126.0 * exp(1))) + Float64(t_0 * t_2)) + Float64(Float64(-180.0 * (exp(1) ^ 1.5)) * t_1)) + Float64(24.0 * (exp(1) ^ 1.5))) + Float64(t_10 * t_2)) + Float64(Float64(-7.0 * (exp(1) ^ 2.5)) * t_1)) + -12.0) * Float64(x - 0.5)) / t_8)) + t_1))) end
function tmp = code(x) t_0 = -16.0 * (2.71828182845904523536 ^ 1.5); t_1 = log((1.0 - (1.0 / sqrt(2.71828182845904523536)))); t_2 = t_1 * t_1; t_3 = t_2 * t_1; t_4 = sqrt(2.71828182845904523536) * t_3; t_5 = sqrt(2.71828182845904523536) * t_2; t_6 = 1.0 - sqrt(2.71828182845904523536); t_7 = (((((((((((t_5 + ((16.0 * sqrt(2.71828182845904523536)) * t_1)) + (-64.0 * sqrt(2.71828182845904523536))) + ((-8.0 * (2.71828182845904523536 ^ 2.0)) * t_2)) + ((-4.0 * (2.71828182845904523536 ^ 2.0)) * t_1)) + ((-8.0 * 2.71828182845904523536) * t_2)) + ((-84.0 * 2.71828182845904523536) * t_1)) + (16.0 * 2.71828182845904523536)) + ((2.0 * (2.71828182845904523536 ^ 1.5)) * t_2)) + ((16.0 * (2.71828182845904523536 ^ 1.5)) * t_1)) + (-4.0 * (2.71828182845904523536 ^ 1.5))) + ((2.71828182845904523536 ^ 2.5) * t_2)) + -24.0; t_8 = (3.0 * t_6) * t_7; t_9 = (30.0 * (t_6 ^ 2.0)) * t_7; t_10 = -9.0 * (2.71828182845904523536 ^ 2.5); t_11 = -18.0 * sqrt(2.71828182845904523536); t_12 = (2.71828182845904523536 ^ 3.0) * t_2; t_13 = -16.0 * (2.71828182845904523536 ^ 2.0); tmp = 1.0 + (1.0 / ((((((((((((((((((((((((((((t_4 + ((20.0 * sqrt(2.71828182845904523536)) * t_2)) + ((210.0 * sqrt(2.71828182845904523536)) * t_1)) + (-1200.0 * sqrt(2.71828182845904523536))) + ((-18.0 * (2.71828182845904523536 ^ 3.0)) * t_3)) + ((-20.0 * (2.71828182845904523536 ^ 3.0)) * t_2)) + ((-116.0 * (2.71828182845904523536 ^ 2.0)) * t_3)) + ((-720.0 * (2.71828182845904523536 ^ 2.0)) * t_2)) + ((120.0 * (2.71828182845904523536 ^ 2.0)) * t_1)) + ((-18.0 * 2.71828182845904523536) * t_3)) + ((-220.0 * 2.71828182845904523536) * t_2)) + ((-1280.0 * 2.71828182845904523536) * t_1)) + (-300.0 * 2.71828182845904523536)) + ((3.0 * (2.71828182845904523536 ^ 1.5)) * t_3)) + ((-20.0 * (2.71828182845904523536 ^ 1.5)) * t_2)) + ((-930.0 * (2.71828182845904523536 ^ 1.5)) * t_1)) + ((3.0 * (2.71828182845904523536 ^ 2.5)) * t_3)) + ((120.0 * (2.71828182845904523536 ^ 2.5)) * t_2)) + ((-20.0 * (2.71828182845904523536 ^ 2.5)) * t_1)) + ((2.71828182845904523536 ^ 3.5) * t_3)) + -120.0) * ((x - 0.5) * (x - 0.5))) / t_9) + (((((((((((((((((((((t_4 + ((18.0 * sqrt(2.71828182845904523536)) * t_2)) + ((-108.0 * sqrt(2.71828182845904523536)) * t_1)) + (-192.0 * sqrt(2.71828182845904523536))) + ((2.71828182845904523536 ^ 3.0) * t_3)) + (t_13 * t_3)) + ((6.0 * (2.71828182845904523536 ^ 2.0)) * t_2)) + ((-18.0 * (2.71828182845904523536 ^ 2.0)) * t_1)) + ((-9.0 * 2.71828182845904523536) * t_3)) + ((-94.0 * 2.71828182845904523536) * t_2)) + ((-378.0 * 2.71828182845904523536) * t_1)) + (48.0 * 2.71828182845904523536)) + (t_0 * t_3)) + ((-174.0 * (2.71828182845904523536 ^ 1.5)) * t_2)) + ((72.0 * (2.71828182845904523536 ^ 1.5)) * t_1)) + (-12.0 * (2.71828182845904523536 ^ 1.5))) + (t_10 * t_3)) + ((-4.0 * (2.71828182845904523536 ^ 2.5)) * t_2)) + (-12.0 * t_1)) + -72.0) * (x - 0.5)) / t_8)) + (((sqrt(2.71828182845904523536) * ((((((((((((((sqrt(2.71828182845904523536) * t_1) + (-216.0 * sqrt(2.71828182845904523536))) + ((-8.0 * (2.71828182845904523536 ^ 3.0)) * t_1)) + (2.0 * (2.71828182845904523536 ^ 3.0))) + ((-176.0 * (2.71828182845904523536 ^ 2.0)) * t_1)) + (96.0 * (2.71828182845904523536 ^ 2.0))) + ((-8.0 * 2.71828182845904523536) * t_1)) + (266.0 * 2.71828182845904523536)) + ((83.0 * (2.71828182845904523536 ^ 1.5)) * t_1)) + (-232.0 * (2.71828182845904523536 ^ 1.5))) + ((83.0 * (2.71828182845904523536 ^ 2.5)) * t_1)) + (-16.0 * (2.71828182845904523536 ^ 2.5))) + ((2.71828182845904523536 ^ 3.5) * t_1)) + 12.0)) * ((x - 0.5) ^ 4.0)) / ((360.0 * (t_6 ^ 4.0)) * t_7))) + (((sqrt(2.71828182845904523536) * (((((((((((t_11 * t_1) + (-110.0 * sqrt(2.71828182845904523536))) + ((2.71828182845904523536 ^ 3.0) * t_1)) + ((53.0 * (2.71828182845904523536 ^ 2.0)) * t_1)) + ((13.0 * 2.71828182845904523536) * t_1)) + (30.0 * 2.71828182845904523536)) + ((-66.0 * (2.71828182845904523536 ^ 1.5)) * t_1)) + (30.0 * (2.71828182845904523536 ^ 1.5))) + ((-8.0 * (2.71828182845904523536 ^ 2.5)) * t_1)) + t_1) + 10.0)) * ((x - 0.5) ^ 3.0)) / ((30.0 * (t_6 ^ 3.0)) * t_7))) + (((sqrt(2.71828182845904523536) * ((((((((((((((((((t_11 * t_2) + ((-115.0 * sqrt(2.71828182845904523536)) * t_1)) + (-340.0 * sqrt(2.71828182845904523536))) + t_12) + ((3.0 * (2.71828182845904523536 ^ 2.0)) * t_2)) + ((90.0 * (2.71828182845904523536 ^ 2.0)) * t_1)) + (-10.0 * (2.71828182845904523536 ^ 2.0))) + ((3.0 * 2.71828182845904523536) * t_2)) + ((20.0 * 2.71828182845904523536) * t_1)) + (-390.0 * 2.71828182845904523536)) + ((-116.0 * (2.71828182845904523536 ^ 1.5)) * t_2)) + ((-530.0 * (2.71828182845904523536 ^ 1.5)) * t_1)) + (60.0 * (2.71828182845904523536 ^ 1.5))) + ((-18.0 * (2.71828182845904523536 ^ 2.5)) * t_2)) + ((-15.0 * (2.71828182845904523536 ^ 2.5)) * t_1)) + t_2) + (10.0 * t_1)) + 60.0)) * ((x - 0.5) ^ 2.0)) / t_9)) + (((((((((((((((((t_5 + ((15.0 * sqrt(2.71828182845904523536)) * t_1)) + (-156.0 * sqrt(2.71828182845904523536))) + t_12) + (t_13 * t_2)) + ((30.0 * (2.71828182845904523536 ^ 2.0)) * t_1)) + (-6.0 * (2.71828182845904523536 ^ 2.0))) + ((-9.0 * 2.71828182845904523536) * t_2)) + ((-70.0 * 2.71828182845904523536) * t_1)) + (-126.0 * 2.71828182845904523536)) + (t_0 * t_2)) + ((-180.0 * (2.71828182845904523536 ^ 1.5)) * t_1)) + (24.0 * (2.71828182845904523536 ^ 1.5))) + (t_10 * t_2)) + ((-7.0 * (2.71828182845904523536 ^ 2.5)) * t_1)) + -12.0) * (x - 0.5)) / t_8)) + t_1)); end
code[x_] := Block[{t$95$0 = N[(-16 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision]}, Block[{t$95$1 = N[Log[N[(1 - N[(1 / N[Sqrt[E], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]}, Block[{t$95$2 = N[(t$95$1 * t$95$1), $MachinePrecision]}, Block[{t$95$3 = N[(t$95$2 * t$95$1), $MachinePrecision]}, Block[{t$95$4 = N[(N[Sqrt[E], $MachinePrecision] * t$95$3), $MachinePrecision]}, Block[{t$95$5 = N[(N[Sqrt[E], $MachinePrecision] * t$95$2), $MachinePrecision]}, Block[{t$95$6 = N[(1 - N[Sqrt[E], $MachinePrecision]), $MachinePrecision]}, Block[{t$95$7 = N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(t$95$5 + N[(N[(16 * N[Sqrt[E], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(-64 * N[Sqrt[E], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(-8 * N[Power[E, 2], $MachinePrecision]), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(-4 * N[Power[E, 2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(N[(-8 * E), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(-84 * E), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(16 * E), $MachinePrecision]), $MachinePrecision] + N[(N[(2 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(16 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(-4 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[Power[E, 5/2], $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + -24), $MachinePrecision]}, Block[{t$95$8 = N[(N[(3 * t$95$6), $MachinePrecision] * t$95$7), $MachinePrecision]}, Block[{t$95$9 = N[(N[(30 * N[Power[t$95$6, 2], $MachinePrecision]), $MachinePrecision] * t$95$7), $MachinePrecision]}, Block[{t$95$10 = N[(-9 * N[Power[E, 5/2], $MachinePrecision]), $MachinePrecision]}, Block[{t$95$11 = N[(-18 * N[Sqrt[E], $MachinePrecision]), $MachinePrecision]}, Block[{t$95$12 = N[(N[Power[E, 3], $MachinePrecision] * t$95$2), $MachinePrecision]}, Block[{t$95$13 = N[(-16 * N[Power[E, 2], $MachinePrecision]), $MachinePrecision]}, N[(1 + N[(1 / N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(t$95$4 + N[(N[(20 * N[Sqrt[E], $MachinePrecision]), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(210 * N[Sqrt[E], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(-1200 * N[Sqrt[E], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(-18 * N[Power[E, 3], $MachinePrecision]), $MachinePrecision] * t$95$3), $MachinePrecision]), $MachinePrecision] + N[(N[(-20 * N[Power[E, 3], $MachinePrecision]), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(-116 * N[Power[E, 2], $MachinePrecision]), $MachinePrecision] * t$95$3), $MachinePrecision]), $MachinePrecision] + N[(N[(-720 * N[Power[E, 2], $MachinePrecision]), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(120 * N[Power[E, 2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(N[(-18 * E), $MachinePrecision] * t$95$3), $MachinePrecision]), $MachinePrecision] + N[(N[(-220 * E), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(-1280 * E), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(-300 * E), $MachinePrecision]), $MachinePrecision] + N[(N[(3 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision] * t$95$3), $MachinePrecision]), $MachinePrecision] + N[(N[(-20 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(-930 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(N[(3 * N[Power[E, 5/2], $MachinePrecision]), $MachinePrecision] * t$95$3), $MachinePrecision]), $MachinePrecision] + N[(N[(120 * N[Power[E, 5/2], $MachinePrecision]), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(-20 * N[Power[E, 5/2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(N[Power[E, 7/2], $MachinePrecision] * t$95$3), $MachinePrecision]), $MachinePrecision] + -120), $MachinePrecision] * N[(N[(x - 1/2), $MachinePrecision] * N[(x - 1/2), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] / t$95$9), $MachinePrecision] + N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(t$95$4 + N[(N[(18 * N[Sqrt[E], $MachinePrecision]), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(-108 * N[Sqrt[E], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(-192 * N[Sqrt[E], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[Power[E, 3], $MachinePrecision] * t$95$3), $MachinePrecision]), $MachinePrecision] + N[(t$95$13 * t$95$3), $MachinePrecision]), $MachinePrecision] + N[(N[(6 * N[Power[E, 2], $MachinePrecision]), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(-18 * N[Power[E, 2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(N[(-9 * E), $MachinePrecision] * t$95$3), $MachinePrecision]), $MachinePrecision] + N[(N[(-94 * E), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(-378 * E), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(48 * E), $MachinePrecision]), $MachinePrecision] + N[(t$95$0 * t$95$3), $MachinePrecision]), $MachinePrecision] + N[(N[(-174 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(72 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(-12 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(t$95$10 * t$95$3), $MachinePrecision]), $MachinePrecision] + N[(N[(-4 * N[Power[E, 5/2], $MachinePrecision]), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(-12 * t$95$1), $MachinePrecision]), $MachinePrecision] + -72), $MachinePrecision] * N[(x - 1/2), $MachinePrecision]), $MachinePrecision] / t$95$8), $MachinePrecision]), $MachinePrecision] + N[(N[(N[(N[Sqrt[E], $MachinePrecision] * N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[Sqrt[E], $MachinePrecision] * t$95$1), $MachinePrecision] + N[(-216 * N[Sqrt[E], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(-8 * N[Power[E, 3], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(2 * N[Power[E, 3], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(-176 * N[Power[E, 2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(96 * N[Power[E, 2], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(-8 * E), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(266 * E), $MachinePrecision]), $MachinePrecision] + N[(N[(83 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(-232 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(83 * N[Power[E, 5/2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(-16 * N[Power[E, 5/2], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[Power[E, 7/2], $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + 12), $MachinePrecision]), $MachinePrecision] * N[Power[N[(x - 1/2), $MachinePrecision], 4], $MachinePrecision]), $MachinePrecision] / N[(N[(360 * N[Power[t$95$6, 4], $MachinePrecision]), $MachinePrecision] * t$95$7), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(N[(N[Sqrt[E], $MachinePrecision] * N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(t$95$11 * t$95$1), $MachinePrecision] + N[(-110 * N[Sqrt[E], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[Power[E, 3], $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(N[(53 * N[Power[E, 2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(N[(13 * E), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(30 * E), $MachinePrecision]), $MachinePrecision] + N[(N[(-66 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(30 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(-8 * N[Power[E, 5/2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + t$95$1), $MachinePrecision] + 10), $MachinePrecision]), $MachinePrecision] * N[Power[N[(x - 1/2), $MachinePrecision], 3], $MachinePrecision]), $MachinePrecision] / N[(N[(30 * N[Power[t$95$6, 3], $MachinePrecision]), $MachinePrecision] * t$95$7), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(N[(N[Sqrt[E], $MachinePrecision] * N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(t$95$11 * t$95$2), $MachinePrecision] + N[(N[(-115 * N[Sqrt[E], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(-340 * N[Sqrt[E], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + t$95$12), $MachinePrecision] + N[(N[(3 * N[Power[E, 2], $MachinePrecision]), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(90 * N[Power[E, 2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(-10 * N[Power[E, 2], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(3 * E), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(20 * E), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(-390 * E), $MachinePrecision]), $MachinePrecision] + N[(N[(-116 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(-530 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(60 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(-18 * N[Power[E, 5/2], $MachinePrecision]), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(-15 * N[Power[E, 5/2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + t$95$2), $MachinePrecision] + N[(10 * t$95$1), $MachinePrecision]), $MachinePrecision] + 60), $MachinePrecision]), $MachinePrecision] * N[Power[N[(x - 1/2), $MachinePrecision], 2], $MachinePrecision]), $MachinePrecision] / t$95$9), $MachinePrecision]), $MachinePrecision] + N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(N[(t$95$5 + N[(N[(15 * N[Sqrt[E], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(-156 * N[Sqrt[E], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + t$95$12), $MachinePrecision] + N[(t$95$13 * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(30 * N[Power[E, 2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(-6 * N[Power[E, 2], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(-9 * E), $MachinePrecision] * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(-70 * E), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(-126 * E), $MachinePrecision]), $MachinePrecision] + N[(t$95$0 * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(-180 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + N[(24 * N[Power[E, 3/2], $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(t$95$10 * t$95$2), $MachinePrecision]), $MachinePrecision] + N[(N[(-7 * N[Power[E, 5/2], $MachinePrecision]), $MachinePrecision] * t$95$1), $MachinePrecision]), $MachinePrecision] + -12), $MachinePrecision] * N[(x - 1/2), $MachinePrecision]), $MachinePrecision] / t$95$8), $MachinePrecision]), $MachinePrecision] + t$95$1), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]]]]]]]]]]]]
\begin{array}{l}
t_0 := -16 \cdot {e}^{\frac{3}{2}}\\
t_1 := \log \left(1 - \frac{1}{\sqrt{e}}\right)\\
t_2 := t\_1 \cdot t\_1\\
t_3 := t\_2 \cdot t\_1\\
t_4 := \sqrt{e} \cdot t\_3\\
t_5 := \sqrt{e} \cdot t\_2\\
t_6 := 1 - \sqrt{e}\\
t_7 := \left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(t\_5 + \left(16 \cdot \sqrt{e}\right) \cdot t\_1\right) + -64 \cdot \sqrt{e}\right) + \left(-8 \cdot {e}^{2}\right) \cdot t\_2\right) + \left(-4 \cdot {e}^{2}\right) \cdot t\_1\right) + \left(-8 \cdot e\right) \cdot t\_2\right) + \left(-84 \cdot e\right) \cdot t\_1\right) + 16 \cdot e\right) + \left(2 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_2\right) + \left(16 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_1\right) + -4 \cdot {e}^{\frac{3}{2}}\right) + {e}^{\frac{5}{2}} \cdot t\_2\right) + -24\\
t_8 := \left(3 \cdot t\_6\right) \cdot t\_7\\
t_9 := \left(30 \cdot {t\_6}^{2}\right) \cdot t\_7\\
t_10 := -9 \cdot {e}^{\frac{5}{2}}\\
t_11 := -18 \cdot \sqrt{e}\\
t_12 := {e}^{3} \cdot t\_2\\
t_13 := -16 \cdot {e}^{2}\\
1 + \frac{1}{\left(\left(\left(\left(\left(\frac{\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(t\_4 + \left(20 \cdot \sqrt{e}\right) \cdot t\_2\right) + \left(210 \cdot \sqrt{e}\right) \cdot t\_1\right) + -1200 \cdot \sqrt{e}\right) + \left(-18 \cdot {e}^{3}\right) \cdot t\_3\right) + \left(-20 \cdot {e}^{3}\right) \cdot t\_2\right) + \left(-116 \cdot {e}^{2}\right) \cdot t\_3\right) + \left(-720 \cdot {e}^{2}\right) \cdot t\_2\right) + \left(120 \cdot {e}^{2}\right) \cdot t\_1\right) + \left(-18 \cdot e\right) \cdot t\_3\right) + \left(-220 \cdot e\right) \cdot t\_2\right) + \left(-1280 \cdot e\right) \cdot t\_1\right) + -300 \cdot e\right) + \left(3 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_3\right) + \left(-20 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_2\right) + \left(-930 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_1\right) + \left(3 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_3\right) + \left(120 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_2\right) + \left(-20 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_1\right) + {e}^{\frac{7}{2}} \cdot t\_3\right) + -120\right) \cdot \left(\left(x - \frac{1}{2}\right) \cdot \left(x - \frac{1}{2}\right)\right)}{t\_9} + \frac{\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(t\_4 + \left(18 \cdot \sqrt{e}\right) \cdot t\_2\right) + \left(-108 \cdot \sqrt{e}\right) \cdot t\_1\right) + -192 \cdot \sqrt{e}\right) + {e}^{3} \cdot t\_3\right) + t\_13 \cdot t\_3\right) + \left(6 \cdot {e}^{2}\right) \cdot t\_2\right) + \left(-18 \cdot {e}^{2}\right) \cdot t\_1\right) + \left(-9 \cdot e\right) \cdot t\_3\right) + \left(-94 \cdot e\right) \cdot t\_2\right) + \left(-378 \cdot e\right) \cdot t\_1\right) + 48 \cdot e\right) + t\_0 \cdot t\_3\right) + \left(-174 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_2\right) + \left(72 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_1\right) + -12 \cdot {e}^{\frac{3}{2}}\right) + t\_10 \cdot t\_3\right) + \left(-4 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_2\right) + -12 \cdot t\_1\right) + -72\right) \cdot \left(x - \frac{1}{2}\right)}{t\_8}\right) + \frac{\left(\sqrt{e} \cdot \left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\sqrt{e} \cdot t\_1 + -216 \cdot \sqrt{e}\right) + \left(-8 \cdot {e}^{3}\right) \cdot t\_1\right) + 2 \cdot {e}^{3}\right) + \left(-176 \cdot {e}^{2}\right) \cdot t\_1\right) + 96 \cdot {e}^{2}\right) + \left(-8 \cdot e\right) \cdot t\_1\right) + 266 \cdot e\right) + \left(83 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_1\right) + -232 \cdot {e}^{\frac{3}{2}}\right) + \left(83 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_1\right) + -16 \cdot {e}^{\frac{5}{2}}\right) + {e}^{\frac{7}{2}} \cdot t\_1\right) + 12\right)\right) \cdot {\left(x - \frac{1}{2}\right)}^{4}}{\left(360 \cdot {t\_6}^{4}\right) \cdot t\_7}\right) + \frac{\left(\sqrt{e} \cdot \left(\left(\left(\left(\left(\left(\left(\left(\left(\left(t\_11 \cdot t\_1 + -110 \cdot \sqrt{e}\right) + {e}^{3} \cdot t\_1\right) + \left(53 \cdot {e}^{2}\right) \cdot t\_1\right) + \left(13 \cdot e\right) \cdot t\_1\right) + 30 \cdot e\right) + \left(-66 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_1\right) + 30 \cdot {e}^{\frac{3}{2}}\right) + \left(-8 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_1\right) + t\_1\right) + 10\right)\right) \cdot {\left(x - \frac{1}{2}\right)}^{3}}{\left(30 \cdot {t\_6}^{3}\right) \cdot t\_7}\right) + \frac{\left(\sqrt{e} \cdot \left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(t\_11 \cdot t\_2 + \left(-115 \cdot \sqrt{e}\right) \cdot t\_1\right) + -340 \cdot \sqrt{e}\right) + t\_12\right) + \left(3 \cdot {e}^{2}\right) \cdot t\_2\right) + \left(90 \cdot {e}^{2}\right) \cdot t\_1\right) + -10 \cdot {e}^{2}\right) + \left(3 \cdot e\right) \cdot t\_2\right) + \left(20 \cdot e\right) \cdot t\_1\right) + -390 \cdot e\right) + \left(-116 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_2\right) + \left(-530 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_1\right) + 60 \cdot {e}^{\frac{3}{2}}\right) + \left(-18 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_2\right) + \left(-15 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_1\right) + t\_2\right) + 10 \cdot t\_1\right) + 60\right)\right) \cdot {\left(x - \frac{1}{2}\right)}^{2}}{t\_9}\right) + \frac{\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(t\_5 + \left(15 \cdot \sqrt{e}\right) \cdot t\_1\right) + -156 \cdot \sqrt{e}\right) + t\_12\right) + t\_13 \cdot t\_2\right) + \left(30 \cdot {e}^{2}\right) \cdot t\_1\right) + -6 \cdot {e}^{2}\right) + \left(-9 \cdot e\right) \cdot t\_2\right) + \left(-70 \cdot e\right) \cdot t\_1\right) + -126 \cdot e\right) + t\_0 \cdot t\_2\right) + \left(-180 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_1\right) + 24 \cdot {e}^{\frac{3}{2}}\right) + t\_10 \cdot t\_2\right) + \left(-7 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_1\right) + -12\right) \cdot \left(x - \frac{1}{2}\right)}{t\_8}\right) + t\_1}
\end{array}
(FPCore (x)
:precision binary64
(let* ((t_0 (* (* E E) E))
(t_1 (- 1 (sqrt E)))
(t_2 (+ 1/4 (* -1 x)))
(t_3 (* -16 (* E E)))
(t_4 (30-log1z0 (/ 1 (sqrt E))))
(t_5 (* (* 16 (sqrt E)) t_4))
(t_6 (* t_4 (sqrt E)))
(t_7 (* t_0 t_4))
(t_8 (* (* -8 E) t_4))
(t_9 (* t_6 t_4))
(t_10 (* t_9 t_4))
(t_11 (* (* -84 E) t_4))
(t_12 (* -64 (sqrt E)))
(t_13 (* t_1 t_1))
(t_14 (* -8 (* E E)))
(t_15 (* (* 16 (pow E 3/2)) t_4))
(t_16 (* -9 (pow E 5/2)))
(t_17 (* (* -18 (sqrt E)) t_4))
(t_18 (* (* -4 (* E E)) t_4))
(t_19 (* t_4 t_4))
(t_20 (* (sqrt E) t_19))
(t_21 (* t_19 t_4))
(t_22 (* -4 (pow E 3/2)))
(t_23
(+
(+
(+
(+
(+ (+ t_9 (+ t_5 t_12)) (+ (* (* t_14 t_4) t_4) t_18))
(+ (* t_8 t_4) t_11))
(+ (* 16 E) (* (* (* (pow E 3/2) 2) t_4) t_4)))
(+ t_15 t_22))
(+ (* (* (pow E 5/2) t_4) t_4) -24)))
(t_24 (/ t_2 (* t_23 (* t_13 30))))
(t_25 (* -16 (pow E 3/2))))
(+
1
(/
1
(+
(+
(+
(+
(/
(*
(+ 1/16 (* -1/2 x))
(*
(-
(+
(* (pow E 7/2) t_4)
(+
(+
(+
(+
(-
(+ (* (* -8 t_0) t_4) (- t_6 (* 216 (sqrt E))))
(* -2 t_0))
(+ (* (* -176 (* E E)) t_4) (* 96 (* E E))))
(+ t_8 (* 266 E)))
(+ (* (* 83 (pow E 3/2)) t_4) (* -232 (pow E 3/2))))
(+ (* (* 83 (pow E 5/2)) t_4) (* -16 (pow E 5/2)))))
-12)
(sqrt E)))
(* (* (pow t_1 4) 360) t_23))
(+
(*
(-
(+
(+
(+
(+
(+
(+
(+
(+
(+
t_10
(+
(* (* (* 18 (sqrt E)) t_4) t_4)
(* (* -108 (sqrt E)) t_4)))
(+ (* -192 (sqrt E)) (* t_0 t_21)))
(+
(* (* (* t_3 t_4) t_4) t_4)
(* (* (* 6 (* E E)) t_4) t_4)))
(+
(* (* (* E E) -18) t_4)
(* (* (* (* -9 E) t_4) t_4) t_4)))
(+ (* (* (* -94 E) t_4) t_4) (* (* -378 E) t_4)))
(+ (* 48 E) (* (* (* t_25 t_4) t_4) t_4)))
(+
(* (* (* -174 (pow E 3/2)) t_4) t_4)
(* (* 72 (pow E 3/2)) t_4)))
(+ (* -12 (pow E 3/2)) (* (* (* t_16 t_4) t_4) t_4)))
(+ (* (* (* -4 (pow E 5/2)) t_4) t_4) (* -12 t_4)))
72)
(/ (- x 1/2) (* (* t_1 3) t_23)))
(*
(-
(+
(+
(+
(+
(+
(+
(+
(+
(-
(+
t_10
(+
(* (* (* 20 (sqrt E)) t_4) t_4)
(* (* 210 (sqrt E)) t_4)))
(* 1200 (sqrt E)))
(+
(* (* t_0 -18) t_21)
(* (* (* -20 t_0) t_4) t_4)))
(+
(* (* (* E E) -116) t_21)
(* (* (* -720 (* E E)) t_4) t_4)))
(+ (* (* 120 (* E E)) t_4) (* (* -18 E) t_21)))
(+ (* (* (* -220 E) t_4) t_4) (* (* -1280 E) t_4)))
(+ (* -300 E) (* (* (pow E 3/2) 3) t_21)))
(+
(* (* (* (pow E 3/2) -20) t_4) t_4)
(* (* -930 (pow E 3/2)) t_4)))
(+
(* (* (pow E 5/2) 3) t_21)
(* (* (* (pow E 5/2) 120) t_4) t_4)))
(+ (* (* (pow E 5/2) -20) t_4) (* (pow E 7/2) t_21)))
120)
t_24)))
(+
(/
(*
(* t_2 (- x 1/2))
(*
(-
(+
(+
(* (* -8 (pow E 5/2)) t_4)
(+
(+
(+
(* (* 53 (* E E)) t_4)
(+ t_7 (- t_17 (* 110 (sqrt E)))))
(+ (* (* 13 E) t_4) (* 30 E)))
(+ (* (* -66 (pow E 3/2)) t_4) (* 30 (pow E 3/2)))))
t_4)
-10)
(sqrt E)))
(* (* (* t_13 t_1) 30) t_23))
(*
(*
(+
(+
(+
(+
(+
(+
(+
(+
(* t_7 t_4)
(+
(* t_17 t_4)
(+ (* (* -115 (sqrt E)) t_4) (* -340 (sqrt E)))))
(+
(* (* (* (* E E) 3) t_4) t_4)
(* (* 90 (* E E)) t_4)))
(+ (* -10 (* E E)) (* (* (* 3 E) t_4) t_4)))
(+ (* (* 20 E) t_4) (* -390 E)))
(+
(* (* (* (pow E 3/2) -116) t_4) t_4)
(* (* -530 (pow E 3/2)) t_4)))
(+
(* 60 (pow E 3/2))
(* (* (* (pow E 5/2) -18) t_4) t_4)))
(+ (* (* -15 (pow E 5/2)) t_4) t_19))
(+ (* 10 t_4) 60))
(sqrt E))
t_24)))
(/
(*
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+ t_20 (* (* 15 (sqrt E)) t_4))
(* -156 (sqrt E)))
(* t_0 t_19))
(* t_3 t_19))
(* (* 30 (* E E)) t_4))
(* -6 (* E E)))
(* (* -9 E) t_19))
(* (* -70 E) t_4))
(* -126 E))
(* t_25 t_19))
(* (* -180 (pow E 3/2)) t_4))
(* 24 (pow E 3/2)))
(* t_16 t_19))
(* (* -7 (pow E 5/2)) t_4))
-12)
(- x 1/2))
(*
(* 3 t_1)
(+
(+
(+
(+
(+
(+
(+
(+
(+ (+ (+ (+ t_20 t_5) t_12) (* t_14 t_19)) t_18)
(* (* -8 E) t_19))
t_11)
(* 16 E))
(* (* 2 (pow E 3/2)) t_19))
t_15)
t_22)
(* (pow E 5/2) t_19))
-24))))
t_4)))))\begin{array}{l}
t_0 := \left(e \cdot e\right) \cdot e\\
t_1 := 1 - \sqrt{e}\\
t_2 := \frac{1}{4} + -1 \cdot x\\
t_3 := -16 \cdot \left(e \cdot e\right)\\
t_4 := \mathsf{30\_log1z0}\left(\left(\frac{1}{\sqrt{e}}\right)\right)\\
t_5 := \left(16 \cdot \sqrt{e}\right) \cdot t\_4\\
t_6 := t\_4 \cdot \sqrt{e}\\
t_7 := t\_0 \cdot t\_4\\
t_8 := \left(-8 \cdot e\right) \cdot t\_4\\
t_9 := t\_6 \cdot t\_4\\
t_10 := t\_9 \cdot t\_4\\
t_11 := \left(-84 \cdot e\right) \cdot t\_4\\
t_12 := -64 \cdot \sqrt{e}\\
t_13 := t\_1 \cdot t\_1\\
t_14 := -8 \cdot \left(e \cdot e\right)\\
t_15 := \left(16 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_4\\
t_16 := -9 \cdot {e}^{\frac{5}{2}}\\
t_17 := \left(-18 \cdot \sqrt{e}\right) \cdot t\_4\\
t_18 := \left(-4 \cdot \left(e \cdot e\right)\right) \cdot t\_4\\
t_19 := t\_4 \cdot t\_4\\
t_20 := \sqrt{e} \cdot t\_19\\
t_21 := t\_19 \cdot t\_4\\
t_22 := -4 \cdot {e}^{\frac{3}{2}}\\
t_23 := \left(\left(\left(\left(\left(t\_9 + \left(t\_5 + t\_12\right)\right) + \left(\left(t\_14 \cdot t\_4\right) \cdot t\_4 + t\_18\right)\right) + \left(t\_8 \cdot t\_4 + t\_11\right)\right) + \left(16 \cdot e + \left(\left({e}^{\frac{3}{2}} \cdot 2\right) \cdot t\_4\right) \cdot t\_4\right)\right) + \left(t\_15 + t\_22\right)\right) + \left(\left({e}^{\frac{5}{2}} \cdot t\_4\right) \cdot t\_4 + -24\right)\\
t_24 := \frac{t\_2}{t\_23 \cdot \left(t\_13 \cdot 30\right)}\\
t_25 := -16 \cdot {e}^{\frac{3}{2}}\\
1 + \frac{1}{\left(\left(\left(\frac{\left(\frac{1}{16} + \frac{-1}{2} \cdot x\right) \cdot \left(\left(\left({e}^{\frac{7}{2}} \cdot t\_4 + \left(\left(\left(\left(\left(\left(\left(-8 \cdot t\_0\right) \cdot t\_4 + \left(t\_6 - 216 \cdot \sqrt{e}\right)\right) - -2 \cdot t\_0\right) + \left(\left(-176 \cdot \left(e \cdot e\right)\right) \cdot t\_4 + 96 \cdot \left(e \cdot e\right)\right)\right) + \left(t\_8 + 266 \cdot e\right)\right) + \left(\left(83 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_4 + -232 \cdot {e}^{\frac{3}{2}}\right)\right) + \left(\left(83 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_4 + -16 \cdot {e}^{\frac{5}{2}}\right)\right)\right) - -12\right) \cdot \sqrt{e}\right)}{\left({t\_1}^{4} \cdot 360\right) \cdot t\_23} + \left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(t\_10 + \left(\left(\left(18 \cdot \sqrt{e}\right) \cdot t\_4\right) \cdot t\_4 + \left(-108 \cdot \sqrt{e}\right) \cdot t\_4\right)\right) + \left(-192 \cdot \sqrt{e} + t\_0 \cdot t\_21\right)\right) + \left(\left(\left(t\_3 \cdot t\_4\right) \cdot t\_4\right) \cdot t\_4 + \left(\left(6 \cdot \left(e \cdot e\right)\right) \cdot t\_4\right) \cdot t\_4\right)\right) + \left(\left(\left(e \cdot e\right) \cdot -18\right) \cdot t\_4 + \left(\left(\left(-9 \cdot e\right) \cdot t\_4\right) \cdot t\_4\right) \cdot t\_4\right)\right) + \left(\left(\left(-94 \cdot e\right) \cdot t\_4\right) \cdot t\_4 + \left(-378 \cdot e\right) \cdot t\_4\right)\right) + \left(48 \cdot e + \left(\left(t\_25 \cdot t\_4\right) \cdot t\_4\right) \cdot t\_4\right)\right) + \left(\left(\left(-174 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_4\right) \cdot t\_4 + \left(72 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_4\right)\right) + \left(-12 \cdot {e}^{\frac{3}{2}} + \left(\left(t\_16 \cdot t\_4\right) \cdot t\_4\right) \cdot t\_4\right)\right) + \left(\left(\left(-4 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_4\right) \cdot t\_4 + -12 \cdot t\_4\right)\right) - 72\right) \cdot \frac{x - \frac{1}{2}}{\left(t\_1 \cdot 3\right) \cdot t\_23} + \left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(t\_10 + \left(\left(\left(20 \cdot \sqrt{e}\right) \cdot t\_4\right) \cdot t\_4 + \left(210 \cdot \sqrt{e}\right) \cdot t\_4\right)\right) - 1200 \cdot \sqrt{e}\right) + \left(\left(t\_0 \cdot -18\right) \cdot t\_21 + \left(\left(-20 \cdot t\_0\right) \cdot t\_4\right) \cdot t\_4\right)\right) + \left(\left(\left(e \cdot e\right) \cdot -116\right) \cdot t\_21 + \left(\left(-720 \cdot \left(e \cdot e\right)\right) \cdot t\_4\right) \cdot t\_4\right)\right) + \left(\left(120 \cdot \left(e \cdot e\right)\right) \cdot t\_4 + \left(-18 \cdot e\right) \cdot t\_21\right)\right) + \left(\left(\left(-220 \cdot e\right) \cdot t\_4\right) \cdot t\_4 + \left(-1280 \cdot e\right) \cdot t\_4\right)\right) + \left(-300 \cdot e + \left({e}^{\frac{3}{2}} \cdot 3\right) \cdot t\_21\right)\right) + \left(\left(\left({e}^{\frac{3}{2}} \cdot -20\right) \cdot t\_4\right) \cdot t\_4 + \left(-930 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_4\right)\right) + \left(\left({e}^{\frac{5}{2}} \cdot 3\right) \cdot t\_21 + \left(\left({e}^{\frac{5}{2}} \cdot 120\right) \cdot t\_4\right) \cdot t\_4\right)\right) + \left(\left({e}^{\frac{5}{2}} \cdot -20\right) \cdot t\_4 + {e}^{\frac{7}{2}} \cdot t\_21\right)\right) - 120\right) \cdot t\_24\right)\right) + \left(\frac{\left(t\_2 \cdot \left(x - \frac{1}{2}\right)\right) \cdot \left(\left(\left(\left(\left(-8 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_4 + \left(\left(\left(\left(53 \cdot \left(e \cdot e\right)\right) \cdot t\_4 + \left(t\_7 + \left(t\_17 - 110 \cdot \sqrt{e}\right)\right)\right) + \left(\left(13 \cdot e\right) \cdot t\_4 + 30 \cdot e\right)\right) + \left(\left(-66 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_4 + 30 \cdot {e}^{\frac{3}{2}}\right)\right)\right) + t\_4\right) - -10\right) \cdot \sqrt{e}\right)}{\left(\left(t\_13 \cdot t\_1\right) \cdot 30\right) \cdot t\_23} + \left(\left(\left(\left(\left(\left(\left(\left(\left(t\_7 \cdot t\_4 + \left(t\_17 \cdot t\_4 + \left(\left(-115 \cdot \sqrt{e}\right) \cdot t\_4 + -340 \cdot \sqrt{e}\right)\right)\right) + \left(\left(\left(\left(e \cdot e\right) \cdot 3\right) \cdot t\_4\right) \cdot t\_4 + \left(90 \cdot \left(e \cdot e\right)\right) \cdot t\_4\right)\right) + \left(-10 \cdot \left(e \cdot e\right) + \left(\left(3 \cdot e\right) \cdot t\_4\right) \cdot t\_4\right)\right) + \left(\left(20 \cdot e\right) \cdot t\_4 + -390 \cdot e\right)\right) + \left(\left(\left({e}^{\frac{3}{2}} \cdot -116\right) \cdot t\_4\right) \cdot t\_4 + \left(-530 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_4\right)\right) + \left(60 \cdot {e}^{\frac{3}{2}} + \left(\left({e}^{\frac{5}{2}} \cdot -18\right) \cdot t\_4\right) \cdot t\_4\right)\right) + \left(\left(-15 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_4 + t\_19\right)\right) + \left(10 \cdot t\_4 + 60\right)\right) \cdot \sqrt{e}\right) \cdot t\_24\right)\right) + \frac{\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(t\_20 + \left(15 \cdot \sqrt{e}\right) \cdot t\_4\right) + -156 \cdot \sqrt{e}\right) + t\_0 \cdot t\_19\right) + t\_3 \cdot t\_19\right) + \left(30 \cdot \left(e \cdot e\right)\right) \cdot t\_4\right) + -6 \cdot \left(e \cdot e\right)\right) + \left(-9 \cdot e\right) \cdot t\_19\right) + \left(-70 \cdot e\right) \cdot t\_4\right) + -126 \cdot e\right) + t\_25 \cdot t\_19\right) + \left(-180 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_4\right) + 24 \cdot {e}^{\frac{3}{2}}\right) + t\_16 \cdot t\_19\right) + \left(-7 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_4\right) + -12\right) \cdot \left(x - \frac{1}{2}\right)}{\left(3 \cdot t\_1\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(t\_20 + t\_5\right) + t\_12\right) + t\_14 \cdot t\_19\right) + t\_18\right) + \left(-8 \cdot e\right) \cdot t\_19\right) + t\_11\right) + 16 \cdot e\right) + \left(2 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_19\right) + t\_15\right) + t\_22\right) + {e}^{\frac{5}{2}} \cdot t\_19\right) + -24\right)}\right) + t\_4}
\end{array}
Initial program 78.8%
Applied rewrites82.1%
Applied rewrites82.1%
Taylor expanded in x around 0
lower-+.f64N/A
lower-*.f6485.7%
Applied rewrites85.7%
Taylor expanded in x around 0
lower-+.f64N/A
lower-*.f6485.7%
Applied rewrites85.7%
Taylor expanded in x around 0
lower-+.f64N/A
lower-*.f6473.1%
Applied rewrites73.1%
Taylor expanded in x around 0
lower-+.f64N/A
lower-*.f6498.1%
Applied rewrites98.1%
(FPCore (x)
:precision binary64
(let* ((t_0 (* (* E E) E))
(t_1 (- 1 (sqrt E)))
(t_2 (* -16 (* E E)))
(t_3 (* t_1 t_1))
(t_4 (30-log1z0 (/ 1 (sqrt E))))
(t_5 (* (* 16 (sqrt E)) t_4))
(t_6 (* t_4 (sqrt E)))
(t_7 (* t_0 t_4))
(t_8 (* (* -18 (sqrt E)) t_4))
(t_9 (* (* -8 E) t_4))
(t_10 (* t_6 t_4))
(t_11 (* t_10 t_4))
(t_12 (* (* -84 E) t_4))
(t_13 (* -64 (sqrt E)))
(t_14 (* -8 (* E E)))
(t_15 (* (* 16 (pow E 3/2)) t_4))
(t_16 (* -9 (pow E 5/2)))
(t_17 (* (* -4 (* E E)) t_4))
(t_18 (* t_4 t_4))
(t_19 (* (sqrt E) t_18))
(t_20 (* t_18 t_4))
(t_21 (* -4 (pow E 3/2)))
(t_22
(+
(+
(+
(+
(+ (+ t_10 (+ t_5 t_13)) (+ (* (* t_14 t_4) t_4) t_17))
(+ (* t_9 t_4) t_12))
(+ (* 16 E) (* (* (* (pow E 3/2) 2) t_4) t_4)))
(+ t_15 t_21))
(+ (* (* (pow E 5/2) t_4) t_4) -24)))
(t_23 (/ 1/4 (* t_22 (* t_3 30))))
(t_24 (* -16 (pow E 3/2))))
(+
1
(/
1
(+
(+
(+
(+
(/
(*
(+ 1/16 (* -1/2 x))
(*
(-
(+
(* (pow E 7/2) t_4)
(+
(+
(+
(+
(-
(+ (* (* -8 t_0) t_4) (- t_6 (* 216 (sqrt E))))
(* -2 t_0))
(+ (* (* -176 (* E E)) t_4) (* 96 (* E E))))
(+ t_9 (* 266 E)))
(+ (* (* 83 (pow E 3/2)) t_4) (* -232 (pow E 3/2))))
(+ (* (* 83 (pow E 5/2)) t_4) (* -16 (pow E 5/2)))))
-12)
(sqrt E)))
(* (* (pow t_1 4) 360) t_22))
(+
(*
(-
(+
(+
(+
(+
(+
(+
(+
(+
(+
t_11
(+
(* (* (* 18 (sqrt E)) t_4) t_4)
(* (* -108 (sqrt E)) t_4)))
(+ (* -192 (sqrt E)) (* t_0 t_20)))
(+
(* (* (* t_2 t_4) t_4) t_4)
(* (* (* 6 (* E E)) t_4) t_4)))
(+
(* (* (* E E) -18) t_4)
(* (* (* (* -9 E) t_4) t_4) t_4)))
(+ (* (* (* -94 E) t_4) t_4) (* (* -378 E) t_4)))
(+ (* 48 E) (* (* (* t_24 t_4) t_4) t_4)))
(+
(* (* (* -174 (pow E 3/2)) t_4) t_4)
(* (* 72 (pow E 3/2)) t_4)))
(+ (* -12 (pow E 3/2)) (* (* (* t_16 t_4) t_4) t_4)))
(+ (* (* (* -4 (pow E 5/2)) t_4) t_4) (* -12 t_4)))
72)
(/ (- x 1/2) (* (* t_1 3) t_22)))
(*
(-
(+
(+
(+
(+
(+
(+
(+
(+
(-
(+
t_11
(+
(* (* (* 20 (sqrt E)) t_4) t_4)
(* (* 210 (sqrt E)) t_4)))
(* 1200 (sqrt E)))
(+
(* (* t_0 -18) t_20)
(* (* (* -20 t_0) t_4) t_4)))
(+
(* (* (* E E) -116) t_20)
(* (* (* -720 (* E E)) t_4) t_4)))
(+ (* (* 120 (* E E)) t_4) (* (* -18 E) t_20)))
(+ (* (* (* -220 E) t_4) t_4) (* (* -1280 E) t_4)))
(+ (* -300 E) (* (* (pow E 3/2) 3) t_20)))
(+
(* (* (* (pow E 3/2) -20) t_4) t_4)
(* (* -930 (pow E 3/2)) t_4)))
(+
(* (* (pow E 5/2) 3) t_20)
(* (* (* (pow E 5/2) 120) t_4) t_4)))
(+ (* (* (pow E 5/2) -20) t_4) (* (pow E 7/2) t_20)))
120)
t_23)))
(+
(/
(*
(* 1/4 (- x 1/2))
(*
(-
(+
(+
(* (* -8 (pow E 5/2)) t_4)
(+
(+
(+
(* (* 53 (* E E)) t_4)
(+ t_7 (- t_8 (* 110 (sqrt E)))))
(+ (* (* 13 E) t_4) (* 30 E)))
(+ (* (* -66 (pow E 3/2)) t_4) (* 30 (pow E 3/2)))))
t_4)
-10)
(sqrt E)))
(* (* (* t_3 t_1) 30) t_22))
(*
(*
(+
(+
(+
(+
(+
(+
(+
(+
(* t_7 t_4)
(+
(* t_8 t_4)
(+ (* (* -115 (sqrt E)) t_4) (* -340 (sqrt E)))))
(+
(* (* (* (* E E) 3) t_4) t_4)
(* (* 90 (* E E)) t_4)))
(+ (* -10 (* E E)) (* (* (* 3 E) t_4) t_4)))
(+ (* (* 20 E) t_4) (* -390 E)))
(+
(* (* (* (pow E 3/2) -116) t_4) t_4)
(* (* -530 (pow E 3/2)) t_4)))
(+
(* 60 (pow E 3/2))
(* (* (* (pow E 5/2) -18) t_4) t_4)))
(+ (* (* -15 (pow E 5/2)) t_4) t_18))
(+ (* 10 t_4) 60))
(sqrt E))
t_23)))
(/
(*
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+ t_19 (* (* 15 (sqrt E)) t_4))
(* -156 (sqrt E)))
(* t_0 t_18))
(* t_2 t_18))
(* (* 30 (* E E)) t_4))
(* -6 (* E E)))
(* (* -9 E) t_18))
(* (* -70 E) t_4))
(* -126 E))
(* t_24 t_18))
(* (* -180 (pow E 3/2)) t_4))
(* 24 (pow E 3/2)))
(* t_16 t_18))
(* (* -7 (pow E 5/2)) t_4))
-12)
(- x 1/2))
(*
(* 3 t_1)
(+
(+
(+
(+
(+
(+
(+
(+
(+ (+ (+ (+ t_19 t_5) t_13) (* t_14 t_18)) t_17)
(* (* -8 E) t_18))
t_12)
(* 16 E))
(* (* 2 (pow E 3/2)) t_18))
t_15)
t_21)
(* (pow E 5/2) t_18))
-24))))
t_4)))))\begin{array}{l}
t_0 := \left(e \cdot e\right) \cdot e\\
t_1 := 1 - \sqrt{e}\\
t_2 := -16 \cdot \left(e \cdot e\right)\\
t_3 := t\_1 \cdot t\_1\\
t_4 := \mathsf{30\_log1z0}\left(\left(\frac{1}{\sqrt{e}}\right)\right)\\
t_5 := \left(16 \cdot \sqrt{e}\right) \cdot t\_4\\
t_6 := t\_4 \cdot \sqrt{e}\\
t_7 := t\_0 \cdot t\_4\\
t_8 := \left(-18 \cdot \sqrt{e}\right) \cdot t\_4\\
t_9 := \left(-8 \cdot e\right) \cdot t\_4\\
t_10 := t\_6 \cdot t\_4\\
t_11 := t\_10 \cdot t\_4\\
t_12 := \left(-84 \cdot e\right) \cdot t\_4\\
t_13 := -64 \cdot \sqrt{e}\\
t_14 := -8 \cdot \left(e \cdot e\right)\\
t_15 := \left(16 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_4\\
t_16 := -9 \cdot {e}^{\frac{5}{2}}\\
t_17 := \left(-4 \cdot \left(e \cdot e\right)\right) \cdot t\_4\\
t_18 := t\_4 \cdot t\_4\\
t_19 := \sqrt{e} \cdot t\_18\\
t_20 := t\_18 \cdot t\_4\\
t_21 := -4 \cdot {e}^{\frac{3}{2}}\\
t_22 := \left(\left(\left(\left(\left(t\_10 + \left(t\_5 + t\_13\right)\right) + \left(\left(t\_14 \cdot t\_4\right) \cdot t\_4 + t\_17\right)\right) + \left(t\_9 \cdot t\_4 + t\_12\right)\right) + \left(16 \cdot e + \left(\left({e}^{\frac{3}{2}} \cdot 2\right) \cdot t\_4\right) \cdot t\_4\right)\right) + \left(t\_15 + t\_21\right)\right) + \left(\left({e}^{\frac{5}{2}} \cdot t\_4\right) \cdot t\_4 + -24\right)\\
t_23 := \frac{\frac{1}{4}}{t\_22 \cdot \left(t\_3 \cdot 30\right)}\\
t_24 := -16 \cdot {e}^{\frac{3}{2}}\\
1 + \frac{1}{\left(\left(\left(\frac{\left(\frac{1}{16} + \frac{-1}{2} \cdot x\right) \cdot \left(\left(\left({e}^{\frac{7}{2}} \cdot t\_4 + \left(\left(\left(\left(\left(\left(\left(-8 \cdot t\_0\right) \cdot t\_4 + \left(t\_6 - 216 \cdot \sqrt{e}\right)\right) - -2 \cdot t\_0\right) + \left(\left(-176 \cdot \left(e \cdot e\right)\right) \cdot t\_4 + 96 \cdot \left(e \cdot e\right)\right)\right) + \left(t\_9 + 266 \cdot e\right)\right) + \left(\left(83 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_4 + -232 \cdot {e}^{\frac{3}{2}}\right)\right) + \left(\left(83 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_4 + -16 \cdot {e}^{\frac{5}{2}}\right)\right)\right) - -12\right) \cdot \sqrt{e}\right)}{\left({t\_1}^{4} \cdot 360\right) \cdot t\_22} + \left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(t\_11 + \left(\left(\left(18 \cdot \sqrt{e}\right) \cdot t\_4\right) \cdot t\_4 + \left(-108 \cdot \sqrt{e}\right) \cdot t\_4\right)\right) + \left(-192 \cdot \sqrt{e} + t\_0 \cdot t\_20\right)\right) + \left(\left(\left(t\_2 \cdot t\_4\right) \cdot t\_4\right) \cdot t\_4 + \left(\left(6 \cdot \left(e \cdot e\right)\right) \cdot t\_4\right) \cdot t\_4\right)\right) + \left(\left(\left(e \cdot e\right) \cdot -18\right) \cdot t\_4 + \left(\left(\left(-9 \cdot e\right) \cdot t\_4\right) \cdot t\_4\right) \cdot t\_4\right)\right) + \left(\left(\left(-94 \cdot e\right) \cdot t\_4\right) \cdot t\_4 + \left(-378 \cdot e\right) \cdot t\_4\right)\right) + \left(48 \cdot e + \left(\left(t\_24 \cdot t\_4\right) \cdot t\_4\right) \cdot t\_4\right)\right) + \left(\left(\left(-174 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_4\right) \cdot t\_4 + \left(72 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_4\right)\right) + \left(-12 \cdot {e}^{\frac{3}{2}} + \left(\left(t\_16 \cdot t\_4\right) \cdot t\_4\right) \cdot t\_4\right)\right) + \left(\left(\left(-4 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_4\right) \cdot t\_4 + -12 \cdot t\_4\right)\right) - 72\right) \cdot \frac{x - \frac{1}{2}}{\left(t\_1 \cdot 3\right) \cdot t\_22} + \left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(t\_11 + \left(\left(\left(20 \cdot \sqrt{e}\right) \cdot t\_4\right) \cdot t\_4 + \left(210 \cdot \sqrt{e}\right) \cdot t\_4\right)\right) - 1200 \cdot \sqrt{e}\right) + \left(\left(t\_0 \cdot -18\right) \cdot t\_20 + \left(\left(-20 \cdot t\_0\right) \cdot t\_4\right) \cdot t\_4\right)\right) + \left(\left(\left(e \cdot e\right) \cdot -116\right) \cdot t\_20 + \left(\left(-720 \cdot \left(e \cdot e\right)\right) \cdot t\_4\right) \cdot t\_4\right)\right) + \left(\left(120 \cdot \left(e \cdot e\right)\right) \cdot t\_4 + \left(-18 \cdot e\right) \cdot t\_20\right)\right) + \left(\left(\left(-220 \cdot e\right) \cdot t\_4\right) \cdot t\_4 + \left(-1280 \cdot e\right) \cdot t\_4\right)\right) + \left(-300 \cdot e + \left({e}^{\frac{3}{2}} \cdot 3\right) \cdot t\_20\right)\right) + \left(\left(\left({e}^{\frac{3}{2}} \cdot -20\right) \cdot t\_4\right) \cdot t\_4 + \left(-930 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_4\right)\right) + \left(\left({e}^{\frac{5}{2}} \cdot 3\right) \cdot t\_20 + \left(\left({e}^{\frac{5}{2}} \cdot 120\right) \cdot t\_4\right) \cdot t\_4\right)\right) + \left(\left({e}^{\frac{5}{2}} \cdot -20\right) \cdot t\_4 + {e}^{\frac{7}{2}} \cdot t\_20\right)\right) - 120\right) \cdot t\_23\right)\right) + \left(\frac{\left(\frac{1}{4} \cdot \left(x - \frac{1}{2}\right)\right) \cdot \left(\left(\left(\left(\left(-8 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_4 + \left(\left(\left(\left(53 \cdot \left(e \cdot e\right)\right) \cdot t\_4 + \left(t\_7 + \left(t\_8 - 110 \cdot \sqrt{e}\right)\right)\right) + \left(\left(13 \cdot e\right) \cdot t\_4 + 30 \cdot e\right)\right) + \left(\left(-66 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_4 + 30 \cdot {e}^{\frac{3}{2}}\right)\right)\right) + t\_4\right) - -10\right) \cdot \sqrt{e}\right)}{\left(\left(t\_3 \cdot t\_1\right) \cdot 30\right) \cdot t\_22} + \left(\left(\left(\left(\left(\left(\left(\left(\left(t\_7 \cdot t\_4 + \left(t\_8 \cdot t\_4 + \left(\left(-115 \cdot \sqrt{e}\right) \cdot t\_4 + -340 \cdot \sqrt{e}\right)\right)\right) + \left(\left(\left(\left(e \cdot e\right) \cdot 3\right) \cdot t\_4\right) \cdot t\_4 + \left(90 \cdot \left(e \cdot e\right)\right) \cdot t\_4\right)\right) + \left(-10 \cdot \left(e \cdot e\right) + \left(\left(3 \cdot e\right) \cdot t\_4\right) \cdot t\_4\right)\right) + \left(\left(20 \cdot e\right) \cdot t\_4 + -390 \cdot e\right)\right) + \left(\left(\left({e}^{\frac{3}{2}} \cdot -116\right) \cdot t\_4\right) \cdot t\_4 + \left(-530 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_4\right)\right) + \left(60 \cdot {e}^{\frac{3}{2}} + \left(\left({e}^{\frac{5}{2}} \cdot -18\right) \cdot t\_4\right) \cdot t\_4\right)\right) + \left(\left(-15 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_4 + t\_18\right)\right) + \left(10 \cdot t\_4 + 60\right)\right) \cdot \sqrt{e}\right) \cdot t\_23\right)\right) + \frac{\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(t\_19 + \left(15 \cdot \sqrt{e}\right) \cdot t\_4\right) + -156 \cdot \sqrt{e}\right) + t\_0 \cdot t\_18\right) + t\_2 \cdot t\_18\right) + \left(30 \cdot \left(e \cdot e\right)\right) \cdot t\_4\right) + -6 \cdot \left(e \cdot e\right)\right) + \left(-9 \cdot e\right) \cdot t\_18\right) + \left(-70 \cdot e\right) \cdot t\_4\right) + -126 \cdot e\right) + t\_24 \cdot t\_18\right) + \left(-180 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_4\right) + 24 \cdot {e}^{\frac{3}{2}}\right) + t\_16 \cdot t\_18\right) + \left(-7 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_4\right) + -12\right) \cdot \left(x - \frac{1}{2}\right)}{\left(3 \cdot t\_1\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(t\_19 + t\_5\right) + t\_13\right) + t\_14 \cdot t\_18\right) + t\_17\right) + \left(-8 \cdot e\right) \cdot t\_18\right) + t\_12\right) + 16 \cdot e\right) + \left(2 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_18\right) + t\_15\right) + t\_21\right) + {e}^{\frac{5}{2}} \cdot t\_18\right) + -24\right)}\right) + t\_4}
\end{array}
Initial program 78.8%
Applied rewrites82.1%
Applied rewrites82.1%
Taylor expanded in x around 0
lower-+.f64N/A
lower-*.f6485.7%
Applied rewrites85.7%
Taylor expanded in x around 0
Applied rewrites85.3%
Taylor expanded in x around 0
Applied rewrites97.7%
Taylor expanded in x around 0
Applied rewrites97.1%
(FPCore (x)
:precision binary64
(let* ((t_0 (* -9 (pow E 5/2)))
(t_1 (* -16 (* E E)))
(t_2 (* -16 (pow E 3/2)))
(t_3 (* -18 (sqrt E)))
(t_4 (* (* E E) E))
(t_5 (30-log1z0 (/ 1 (sqrt E))))
(t_6 (* t_5 t_5))
(t_7 (* t_6 t_5))
(t_8 (* (sqrt E) t_7))
(t_9 (* t_4 t_6))
(t_10 (* (sqrt E) t_6))
(t_11
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+ t_10 (* (* 16 (sqrt E)) t_5))
(* -64 (sqrt E)))
(* (* -8 (* E E)) t_6))
(* (* -4 (* E E)) t_5))
(* (* -8 E) t_6))
(* (* -84 E) t_5))
(* 16 E))
(* (* 2 (pow E 3/2)) t_6))
(* (* 16 (pow E 3/2)) t_5))
(* -4 (pow E 3/2)))
(* (pow E 5/2) t_6))
-24))
(t_12 (- 1 (sqrt E)))
(t_13 (* (* 3 t_12) t_11))
(t_14 (* t_12 t_12))
(t_15 (* (* 30 t_14) t_11)))
(+
1
(/
1
(+
(+
(+
(+
(+
(+
(/
(*
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+ t_8 (* (* 20 (sqrt E)) t_6))
(* (* 210 (sqrt E)) t_5))
(* -1200 (sqrt E)))
(* (* -18 t_4) t_7))
(* (* -20 t_4) t_6))
(* (* -116 (* E E)) t_7))
(* (* -720 (* E E)) t_6))
(* (* 120 (* E E)) t_5))
(* (* -18 E) t_7))
(* (* -220 E) t_6))
(* (* -1280 E) t_5))
(* -300 E))
(* (* 3 (pow E 3/2)) t_7))
(* (* -20 (pow E 3/2)) t_6))
(* (* -930 (pow E 3/2)) t_5))
(* (* 3 (pow E 5/2)) t_7))
(* (* 120 (pow E 5/2)) t_6))
(* (* -20 (pow E 5/2)) t_5))
(* (pow E 7/2) t_7))
-120)
1/4)
t_15)
(/
(*
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+ t_8 (* (* 18 (sqrt E)) t_6))
(* (* -108 (sqrt E)) t_5))
(* -192 (sqrt E)))
(* t_4 t_7))
(* t_1 t_7))
(* (* 6 (* E E)) t_6))
(* (* -18 (* E E)) t_5))
(* (* -9 E) t_7))
(* (* -94 E) t_6))
(* (* -378 E) t_5))
(* 48 E))
(* t_2 t_7))
(* (* -174 (pow E 3/2)) t_6))
(* (* 72 (pow E 3/2)) t_5))
(* -12 (pow E 3/2)))
(* t_0 t_7))
(* (* -4 (pow E 5/2)) t_6))
(* -12 t_5))
-72)
(- x 1/2))
t_13))
(/
(*
(*
(sqrt E)
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+ (* (sqrt E) t_5) (* -216 (sqrt E)))
(* (* -8 t_4) t_5))
(* 2 t_4))
(* (* -176 (* E E)) t_5))
(* 96 (* E E)))
(* (* -8 E) t_5))
(* 266 E))
(* (* 83 (pow E 3/2)) t_5))
(* -232 (pow E 3/2)))
(* (* 83 (pow E 5/2)) t_5))
(* -16 (pow E 5/2)))
(* (pow E 7/2) t_5))
12))
(+ 1/16 (* -1/2 x)))
(* (* 360 (pow t_12 4)) t_11)))
(/
(*
(*
(sqrt E)
(+
(+
(+
(+
(+
(+
(+
(+
(+ (+ (* t_3 t_5) (* -110 (sqrt E))) (* t_4 t_5))
(* (* 53 (* E E)) t_5))
(* (* 13 E) t_5))
(* 30 E))
(* (* -66 (pow E 3/2)) t_5))
(* 30 (pow E 3/2)))
(* (* -8 (pow E 5/2)) t_5))
t_5)
10))
-1/8)
(* (* 30 (* t_14 t_12)) t_11)))
(/
(*
(*
(sqrt E)
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+ (* t_3 t_6) (* (* -115 (sqrt E)) t_5))
(* -340 (sqrt E)))
t_9)
(* (* 3 (* E E)) t_6))
(* (* 90 (* E E)) t_5))
(* -10 (* E E)))
(* (* 3 E) t_6))
(* (* 20 E) t_5))
(* -390 E))
(* (* -116 (pow E 3/2)) t_6))
(* (* -530 (pow E 3/2)) t_5))
(* 60 (pow E 3/2)))
(* (* -18 (pow E 5/2)) t_6))
(* (* -15 (pow E 5/2)) t_5))
t_6)
(* 10 t_5))
60))
1/4)
t_15))
(/
(*
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+ t_10 (* (* 15 (sqrt E)) t_5))
(* -156 (sqrt E)))
t_9)
(* t_1 t_6))
(* (* 30 (* E E)) t_5))
(* -6 (* E E)))
(* (* -9 E) t_6))
(* (* -70 E) t_5))
(* -126 E))
(* t_2 t_6))
(* (* -180 (pow E 3/2)) t_5))
(* 24 (pow E 3/2)))
(* t_0 t_6))
(* (* -7 (pow E 5/2)) t_5))
-12)
(- x 1/2))
t_13))
t_5)))))\begin{array}{l}
t_0 := -9 \cdot {e}^{\frac{5}{2}}\\
t_1 := -16 \cdot \left(e \cdot e\right)\\
t_2 := -16 \cdot {e}^{\frac{3}{2}}\\
t_3 := -18 \cdot \sqrt{e}\\
t_4 := \left(e \cdot e\right) \cdot e\\
t_5 := \mathsf{30\_log1z0}\left(\left(\frac{1}{\sqrt{e}}\right)\right)\\
t_6 := t\_5 \cdot t\_5\\
t_7 := t\_6 \cdot t\_5\\
t_8 := \sqrt{e} \cdot t\_7\\
t_9 := t\_4 \cdot t\_6\\
t_10 := \sqrt{e} \cdot t\_6\\
t_11 := \left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(t\_10 + \left(16 \cdot \sqrt{e}\right) \cdot t\_5\right) + -64 \cdot \sqrt{e}\right) + \left(-8 \cdot \left(e \cdot e\right)\right) \cdot t\_6\right) + \left(-4 \cdot \left(e \cdot e\right)\right) \cdot t\_5\right) + \left(-8 \cdot e\right) \cdot t\_6\right) + \left(-84 \cdot e\right) \cdot t\_5\right) + 16 \cdot e\right) + \left(2 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_6\right) + \left(16 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_5\right) + -4 \cdot {e}^{\frac{3}{2}}\right) + {e}^{\frac{5}{2}} \cdot t\_6\right) + -24\\
t_12 := 1 - \sqrt{e}\\
t_13 := \left(3 \cdot t\_12\right) \cdot t\_11\\
t_14 := t\_12 \cdot t\_12\\
t_15 := \left(30 \cdot t\_14\right) \cdot t\_11\\
1 + \frac{1}{\left(\left(\left(\left(\left(\frac{\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(t\_8 + \left(20 \cdot \sqrt{e}\right) \cdot t\_6\right) + \left(210 \cdot \sqrt{e}\right) \cdot t\_5\right) + -1200 \cdot \sqrt{e}\right) + \left(-18 \cdot t\_4\right) \cdot t\_7\right) + \left(-20 \cdot t\_4\right) \cdot t\_6\right) + \left(-116 \cdot \left(e \cdot e\right)\right) \cdot t\_7\right) + \left(-720 \cdot \left(e \cdot e\right)\right) \cdot t\_6\right) + \left(120 \cdot \left(e \cdot e\right)\right) \cdot t\_5\right) + \left(-18 \cdot e\right) \cdot t\_7\right) + \left(-220 \cdot e\right) \cdot t\_6\right) + \left(-1280 \cdot e\right) \cdot t\_5\right) + -300 \cdot e\right) + \left(3 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_7\right) + \left(-20 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_6\right) + \left(-930 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_5\right) + \left(3 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_7\right) + \left(120 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_6\right) + \left(-20 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_5\right) + {e}^{\frac{7}{2}} \cdot t\_7\right) + -120\right) \cdot \frac{1}{4}}{t\_15} + \frac{\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(t\_8 + \left(18 \cdot \sqrt{e}\right) \cdot t\_6\right) + \left(-108 \cdot \sqrt{e}\right) \cdot t\_5\right) + -192 \cdot \sqrt{e}\right) + t\_4 \cdot t\_7\right) + t\_1 \cdot t\_7\right) + \left(6 \cdot \left(e \cdot e\right)\right) \cdot t\_6\right) + \left(-18 \cdot \left(e \cdot e\right)\right) \cdot t\_5\right) + \left(-9 \cdot e\right) \cdot t\_7\right) + \left(-94 \cdot e\right) \cdot t\_6\right) + \left(-378 \cdot e\right) \cdot t\_5\right) + 48 \cdot e\right) + t\_2 \cdot t\_7\right) + \left(-174 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_6\right) + \left(72 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_5\right) + -12 \cdot {e}^{\frac{3}{2}}\right) + t\_0 \cdot t\_7\right) + \left(-4 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_6\right) + -12 \cdot t\_5\right) + -72\right) \cdot \left(x - \frac{1}{2}\right)}{t\_13}\right) + \frac{\left(\sqrt{e} \cdot \left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\sqrt{e} \cdot t\_5 + -216 \cdot \sqrt{e}\right) + \left(-8 \cdot t\_4\right) \cdot t\_5\right) + 2 \cdot t\_4\right) + \left(-176 \cdot \left(e \cdot e\right)\right) \cdot t\_5\right) + 96 \cdot \left(e \cdot e\right)\right) + \left(-8 \cdot e\right) \cdot t\_5\right) + 266 \cdot e\right) + \left(83 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_5\right) + -232 \cdot {e}^{\frac{3}{2}}\right) + \left(83 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_5\right) + -16 \cdot {e}^{\frac{5}{2}}\right) + {e}^{\frac{7}{2}} \cdot t\_5\right) + 12\right)\right) \cdot \left(\frac{1}{16} + \frac{-1}{2} \cdot x\right)}{\left(360 \cdot {t\_12}^{4}\right) \cdot t\_11}\right) + \frac{\left(\sqrt{e} \cdot \left(\left(\left(\left(\left(\left(\left(\left(\left(\left(t\_3 \cdot t\_5 + -110 \cdot \sqrt{e}\right) + t\_4 \cdot t\_5\right) + \left(53 \cdot \left(e \cdot e\right)\right) \cdot t\_5\right) + \left(13 \cdot e\right) \cdot t\_5\right) + 30 \cdot e\right) + \left(-66 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_5\right) + 30 \cdot {e}^{\frac{3}{2}}\right) + \left(-8 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_5\right) + t\_5\right) + 10\right)\right) \cdot \frac{-1}{8}}{\left(30 \cdot \left(t\_14 \cdot t\_12\right)\right) \cdot t\_11}\right) + \frac{\left(\sqrt{e} \cdot \left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(t\_3 \cdot t\_6 + \left(-115 \cdot \sqrt{e}\right) \cdot t\_5\right) + -340 \cdot \sqrt{e}\right) + t\_9\right) + \left(3 \cdot \left(e \cdot e\right)\right) \cdot t\_6\right) + \left(90 \cdot \left(e \cdot e\right)\right) \cdot t\_5\right) + -10 \cdot \left(e \cdot e\right)\right) + \left(3 \cdot e\right) \cdot t\_6\right) + \left(20 \cdot e\right) \cdot t\_5\right) + -390 \cdot e\right) + \left(-116 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_6\right) + \left(-530 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_5\right) + 60 \cdot {e}^{\frac{3}{2}}\right) + \left(-18 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_6\right) + \left(-15 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_5\right) + t\_6\right) + 10 \cdot t\_5\right) + 60\right)\right) \cdot \frac{1}{4}}{t\_15}\right) + \frac{\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(t\_10 + \left(15 \cdot \sqrt{e}\right) \cdot t\_5\right) + -156 \cdot \sqrt{e}\right) + t\_9\right) + t\_1 \cdot t\_6\right) + \left(30 \cdot \left(e \cdot e\right)\right) \cdot t\_5\right) + -6 \cdot \left(e \cdot e\right)\right) + \left(-9 \cdot e\right) \cdot t\_6\right) + \left(-70 \cdot e\right) \cdot t\_5\right) + -126 \cdot e\right) + t\_2 \cdot t\_6\right) + \left(-180 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_5\right) + 24 \cdot {e}^{\frac{3}{2}}\right) + t\_0 \cdot t\_6\right) + \left(-7 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_5\right) + -12\right) \cdot \left(x - \frac{1}{2}\right)}{t\_13}\right) + t\_5}
\end{array}
Initial program 78.8%
Taylor expanded in x around 0
Applied rewrites94.6%
Applied rewrites94.6%
Taylor expanded in x around 0
lower-+.f64N/A
lower-*.f6494.4%
Applied rewrites94.4%
Taylor expanded in x around 0
Applied rewrites94.4%
Taylor expanded in x around 0
Applied rewrites93.9%
(FPCore (x)
:precision binary64
(let* ((t_0 (- 1 (sqrt E)))
(t_1 (30-log1z0 (/ 1 (sqrt E))))
(t_2 (pow t_1 2))
(t_3 (* t_1 t_1))
(t_4 (* (* (* E E) E) t_3))
(t_5 (* t_1 (sqrt E)))
(t_6 (* t_1 (pow E 3/2)))
(t_7 (* t_1 (pow E 5/2)))
(t_8 (* E t_1))
(t_9 (* -4 (pow E 3/2)))
(t_10 (* (sqrt E) t_3))
(t_11 (* (pow E 2) t_1))
(t_12 (* (pow E 3) t_1))
(t_13
(*
(sqrt E)
(+
12
(+
(* -232 (pow E 3/2))
(+
(* -216 (sqrt E))
(+
(* -176 t_11)
(+
(* -16 (pow E 5/2))
(+
(* -8 t_8)
(+
(* -8 t_12)
(+
(* 2 (pow E 3))
(+
(* 83 t_6)
(+
(* 83 t_7)
(+
(* 96 (pow E 2))
(+
(* 266 E)
(+ t_5 (* t_1 (pow E 7/2)))))))))))))))))
(t_14 (* -64 (sqrt E)))
(t_15
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+ (+ t_10 (* (* 16 (sqrt E)) t_1)) t_14)
(* (* -8 (* E E)) t_3))
(* (* -4 (* E E)) t_1))
(* (* -8 E) t_3))
(* (* -84 E) t_1))
(* 16 E))
(* (* 2 (pow E 3/2)) t_3))
(* (* 16 (pow E 3/2)) t_1))
t_9)
(* (pow E 5/2) t_3))
-24))
(t_16
(-
(+
(* -84 t_8)
(+
t_14
(+
(* -8 (* E t_2))
(+
(* -8 (* (pow E 2) t_2))
(+
(* -4 t_11)
(+
t_9
(+
(* 2 (* t_2 (pow E 3/2)))
(+
(* 16 E)
(+
(* 16 t_5)
(+
(* 16 t_6)
(+ (* t_2 (sqrt E)) (* t_2 (pow E 5/2)))))))))))))
24))
(t_17 (* (pow t_0 4) t_16)))
(+
1
(/
1
(+
(+
(+
(*
(pow x 4)
(+
(* -1/180 (/ t_13 (* x t_17)))
(+
(* 1/360 (/ t_13 t_17))
(*
1/30
(/
(*
(sqrt E)
(+
10
(+
t_1
(+
(* -110 (sqrt E))
(+
(* -66 t_6)
(+
(* -18 t_5)
(+
(* -8 t_7)
(+
(* 13 t_8)
(+
(* 30 E)
(+
(* 30 (pow E 3/2))
(+ (* 53 t_11) t_12)))))))))))
(* x (* (pow t_0 3) t_16)))))))
(/
(*
(*
(sqrt E)
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(* (* -18 (sqrt E)) t_3)
(* (* -115 (sqrt E)) t_1))
(* -340 (sqrt E)))
t_4)
(* (* 3 (* E E)) t_3))
(* (* 90 (* E E)) t_1))
(* -10 (* E E)))
(* (* 3 E) t_3))
(* (* 20 E) t_1))
(* -390 E))
(* (* -116 (pow E 3/2)) t_3))
(* (* -530 (pow E 3/2)) t_1))
(* 60 (pow E 3/2)))
(* (* -18 (pow E 5/2)) t_3))
(* (* -15 (pow E 5/2)) t_1))
t_3)
(* 10 t_1))
60))
(* (- x 1/2) (- x 1/2)))
(* (* 30 (* t_0 t_0)) t_15)))
(/
(*
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+
(+ t_10 (* (* 15 (sqrt E)) t_1))
(* -156 (sqrt E)))
t_4)
(* (* -16 (* E E)) t_3))
(* (* 30 (* E E)) t_1))
(* -6 (* E E)))
(* (* -9 E) t_3))
(* (* -70 E) t_1))
(* -126 E))
(* (* -16 (pow E 3/2)) t_3))
(* (* -180 (pow E 3/2)) t_1))
(* 24 (pow E 3/2)))
(* (* -9 (pow E 5/2)) t_3))
(* (* -7 (pow E 5/2)) t_1))
-12)
(- x 1/2))
(* (* 3 t_0) t_15)))
t_1)))))\begin{array}{l}
t_0 := 1 - \sqrt{e}\\
t_1 := \mathsf{30\_log1z0}\left(\left(\frac{1}{\sqrt{e}}\right)\right)\\
t_2 := {t\_1}^{2}\\
t_3 := t\_1 \cdot t\_1\\
t_4 := \left(\left(e \cdot e\right) \cdot e\right) \cdot t\_3\\
t_5 := t\_1 \cdot \sqrt{e}\\
t_6 := t\_1 \cdot {e}^{\frac{3}{2}}\\
t_7 := t\_1 \cdot {e}^{\frac{5}{2}}\\
t_8 := e \cdot t\_1\\
t_9 := -4 \cdot {e}^{\frac{3}{2}}\\
t_10 := \sqrt{e} \cdot t\_3\\
t_11 := {e}^{2} \cdot t\_1\\
t_12 := {e}^{3} \cdot t\_1\\
t_13 := \sqrt{e} \cdot \left(12 + \left(-232 \cdot {e}^{\frac{3}{2}} + \left(-216 \cdot \sqrt{e} + \left(-176 \cdot t\_11 + \left(-16 \cdot {e}^{\frac{5}{2}} + \left(-8 \cdot t\_8 + \left(-8 \cdot t\_12 + \left(2 \cdot {e}^{3} + \left(83 \cdot t\_6 + \left(83 \cdot t\_7 + \left(96 \cdot {e}^{2} + \left(266 \cdot e + \left(t\_5 + t\_1 \cdot {e}^{\frac{7}{2}}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\\
t_14 := -64 \cdot \sqrt{e}\\
t_15 := \left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(t\_10 + \left(16 \cdot \sqrt{e}\right) \cdot t\_1\right) + t\_14\right) + \left(-8 \cdot \left(e \cdot e\right)\right) \cdot t\_3\right) + \left(-4 \cdot \left(e \cdot e\right)\right) \cdot t\_1\right) + \left(-8 \cdot e\right) \cdot t\_3\right) + \left(-84 \cdot e\right) \cdot t\_1\right) + 16 \cdot e\right) + \left(2 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_3\right) + \left(16 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_1\right) + t\_9\right) + {e}^{\frac{5}{2}} \cdot t\_3\right) + -24\\
t_16 := \left(-84 \cdot t\_8 + \left(t\_14 + \left(-8 \cdot \left(e \cdot t\_2\right) + \left(-8 \cdot \left({e}^{2} \cdot t\_2\right) + \left(-4 \cdot t\_11 + \left(t\_9 + \left(2 \cdot \left(t\_2 \cdot {e}^{\frac{3}{2}}\right) + \left(16 \cdot e + \left(16 \cdot t\_5 + \left(16 \cdot t\_6 + \left(t\_2 \cdot \sqrt{e} + t\_2 \cdot {e}^{\frac{5}{2}}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right) - 24\\
t_17 := {t\_0}^{4} \cdot t\_16\\
1 + \frac{1}{\left(\left({x}^{4} \cdot \left(\frac{-1}{180} \cdot \frac{t\_13}{x \cdot t\_17} + \left(\frac{1}{360} \cdot \frac{t\_13}{t\_17} + \frac{1}{30} \cdot \frac{\sqrt{e} \cdot \left(10 + \left(t\_1 + \left(-110 \cdot \sqrt{e} + \left(-66 \cdot t\_6 + \left(-18 \cdot t\_5 + \left(-8 \cdot t\_7 + \left(13 \cdot t\_8 + \left(30 \cdot e + \left(30 \cdot {e}^{\frac{3}{2}} + \left(53 \cdot t\_11 + t\_12\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}{x \cdot \left({t\_0}^{3} \cdot t\_16\right)}\right)\right) + \frac{\left(\sqrt{e} \cdot \left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(-18 \cdot \sqrt{e}\right) \cdot t\_3 + \left(-115 \cdot \sqrt{e}\right) \cdot t\_1\right) + -340 \cdot \sqrt{e}\right) + t\_4\right) + \left(3 \cdot \left(e \cdot e\right)\right) \cdot t\_3\right) + \left(90 \cdot \left(e \cdot e\right)\right) \cdot t\_1\right) + -10 \cdot \left(e \cdot e\right)\right) + \left(3 \cdot e\right) \cdot t\_3\right) + \left(20 \cdot e\right) \cdot t\_1\right) + -390 \cdot e\right) + \left(-116 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_3\right) + \left(-530 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_1\right) + 60 \cdot {e}^{\frac{3}{2}}\right) + \left(-18 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_3\right) + \left(-15 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_1\right) + t\_3\right) + 10 \cdot t\_1\right) + 60\right)\right) \cdot \left(\left(x - \frac{1}{2}\right) \cdot \left(x - \frac{1}{2}\right)\right)}{\left(30 \cdot \left(t\_0 \cdot t\_0\right)\right) \cdot t\_15}\right) + \frac{\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(t\_10 + \left(15 \cdot \sqrt{e}\right) \cdot t\_1\right) + -156 \cdot \sqrt{e}\right) + t\_4\right) + \left(-16 \cdot \left(e \cdot e\right)\right) \cdot t\_3\right) + \left(30 \cdot \left(e \cdot e\right)\right) \cdot t\_1\right) + -6 \cdot \left(e \cdot e\right)\right) + \left(-9 \cdot e\right) \cdot t\_3\right) + \left(-70 \cdot e\right) \cdot t\_1\right) + -126 \cdot e\right) + \left(-16 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_3\right) + \left(-180 \cdot {e}^{\frac{3}{2}}\right) \cdot t\_1\right) + 24 \cdot {e}^{\frac{3}{2}}\right) + \left(-9 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_3\right) + \left(-7 \cdot {e}^{\frac{5}{2}}\right) \cdot t\_1\right) + -12\right) \cdot \left(x - \frac{1}{2}\right)}{\left(3 \cdot t\_0\right) \cdot t\_15}\right) + t\_1}
\end{array}
Initial program 78.8%
Taylor expanded in x around 0
Applied rewrites94.6%
Applied rewrites94.6%
Taylor expanded in x around 0
lower-+.f64N/A
lower-*.f6494.4%
Applied rewrites94.4%
Taylor expanded in x around inf
Applied rewrites59.6%
(FPCore (x) :precision binary64 1)
double code(double x) {
return 1.0;
}
module fmin_fmax_functions
implicit none
private
public fmax
public fmin
interface fmax
module procedure fmax88
module procedure fmax44
module procedure fmax84
module procedure fmax48
end interface
interface fmin
module procedure fmin88
module procedure fmin44
module procedure fmin84
module procedure fmin48
end interface
contains
real(8) function fmax88(x, y) result (res)
real(8), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(x, max(x, y), y /= y), x /= x)
end function
real(4) function fmax44(x, y) result (res)
real(4), intent (in) :: x
real(4), intent (in) :: y
res = merge(y, merge(x, max(x, y), y /= y), x /= x)
end function
real(8) function fmax84(x, y) result(res)
real(8), intent (in) :: x
real(4), intent (in) :: y
res = merge(dble(y), merge(x, max(x, dble(y)), y /= y), x /= x)
end function
real(8) function fmax48(x, y) result(res)
real(4), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(dble(x), max(dble(x), y), y /= y), x /= x)
end function
real(8) function fmin88(x, y) result (res)
real(8), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(x, min(x, y), y /= y), x /= x)
end function
real(4) function fmin44(x, y) result (res)
real(4), intent (in) :: x
real(4), intent (in) :: y
res = merge(y, merge(x, min(x, y), y /= y), x /= x)
end function
real(8) function fmin84(x, y) result(res)
real(8), intent (in) :: x
real(4), intent (in) :: y
res = merge(dble(y), merge(x, min(x, dble(y)), y /= y), x /= x)
end function
real(8) function fmin48(x, y) result(res)
real(4), intent (in) :: x
real(8), intent (in) :: y
res = merge(y, merge(dble(x), min(dble(x), y), y /= y), x /= x)
end function
end module
real(8) function code(x)
use fmin_fmax_functions
real(8), intent (in) :: x
code = 1.0d0
end function
public static double code(double x) {
return 1.0;
}
def code(x): return 1.0
function code(x) return 1.0 end
function tmp = code(x) tmp = 1.0; end
code[x_] := 1
1
Initial program 78.8%
Taylor expanded in x around inf
Applied rewrites58.7%
herbie shell --seed 2025271 -o generate:evaluate
(FPCore (x)
:name "Quantum aproximation with lots of constants"
:precision binary64
(+ 1 (/ 1 (+ (+ (+ (+ (+ (+ (/ (* (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (* (sqrt E) (* (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))) (log (- 1 (/ 1 (sqrt E)))))) (* (* 20 (sqrt E)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* 210 (sqrt E)) (log (- 1 (/ 1 (sqrt E)))))) (* -1200 (sqrt E))) (* (* -18 (pow E 3)) (* (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -20 (pow E 3)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -116 (pow E 2)) (* (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -720 (pow E 2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* 120 (pow E 2)) (log (- 1 (/ 1 (sqrt E)))))) (* (* -18 E) (* (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -220 E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -1280 E) (log (- 1 (/ 1 (sqrt E)))))) (* -300 E)) (* (* 3 (pow E 3/2)) (* (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -20 (pow E 3/2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -930 (pow E 3/2)) (log (- 1 (/ 1 (sqrt E)))))) (* (* 3 (pow E 5/2)) (* (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))) (log (- 1 (/ 1 (sqrt E))))))) (* (* 120 (pow E 5/2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -20 (pow E 5/2)) (log (- 1 (/ 1 (sqrt E)))))) (* (pow E 7/2) (* (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))) (log (- 1 (/ 1 (sqrt E))))))) -120) (* (- x 1/2) (- x 1/2))) (* (* 30 (pow (- 1 (sqrt E)) 2)) (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (* (sqrt E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))) (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E)))))) (* -64 (sqrt E))) (* (* -8 (pow E 2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -4 (pow E 2)) (log (- 1 (/ 1 (sqrt E)))))) (* (* -8 E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -84 E) (log (- 1 (/ 1 (sqrt E)))))) (* 16 E)) (* (* 2 (pow E 3/2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* 16 (pow E 3/2)) (log (- 1 (/ 1 (sqrt E)))))) (* -4 (pow E 3/2))) (* (pow E 5/2) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) -24))) (/ (* (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (* (sqrt E) (* (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))) (log (- 1 (/ 1 (sqrt E)))))) (* (* 18 (sqrt E)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -108 (sqrt E)) (log (- 1 (/ 1 (sqrt E)))))) (* -192 (sqrt E))) (* (pow E 3) (* (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -16 (pow E 2)) (* (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))) (log (- 1 (/ 1 (sqrt E))))))) (* (* 6 (pow E 2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -18 (pow E 2)) (log (- 1 (/ 1 (sqrt E)))))) (* (* -9 E) (* (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -94 E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -378 E) (log (- 1 (/ 1 (sqrt E)))))) (* 48 E)) (* (* -16 (pow E 3/2)) (* (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -174 (pow E 3/2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* 72 (pow E 3/2)) (log (- 1 (/ 1 (sqrt E)))))) (* -12 (pow E 3/2))) (* (* -9 (pow E 5/2)) (* (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -4 (pow E 5/2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* -12 (log (- 1 (/ 1 (sqrt E)))))) -72) (- x 1/2)) (* (* 3 (- 1 (sqrt E))) (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (* (sqrt E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))) (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E)))))) (* -64 (sqrt E))) (* (* -8 (pow E 2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -4 (pow E 2)) (log (- 1 (/ 1 (sqrt E)))))) (* (* -8 E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -84 E) (log (- 1 (/ 1 (sqrt E)))))) (* 16 E)) (* (* 2 (pow E 3/2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* 16 (pow E 3/2)) (log (- 1 (/ 1 (sqrt E)))))) (* -4 (pow E 3/2))) (* (pow E 5/2) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) -24)))) (/ (* (* (sqrt E) (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (* (sqrt E) (log (- 1 (/ 1 (sqrt E))))) (* -216 (sqrt E))) (* (* -8 (pow E 3)) (log (- 1 (/ 1 (sqrt E)))))) (* 2 (pow E 3))) (* (* -176 (pow E 2)) (log (- 1 (/ 1 (sqrt E)))))) (* 96 (pow E 2))) (* (* -8 E) (log (- 1 (/ 1 (sqrt E)))))) (* 266 E)) (* (* 83 (pow E 3/2)) (log (- 1 (/ 1 (sqrt E)))))) (* -232 (pow E 3/2))) (* (* 83 (pow E 5/2)) (log (- 1 (/ 1 (sqrt E)))))) (* -16 (pow E 5/2))) (* (pow E 7/2) (log (- 1 (/ 1 (sqrt E)))))) 12)) (pow (- x 1/2) 4)) (* (* 360 (pow (- 1 (sqrt E)) 4)) (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (* (sqrt E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))) (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E)))))) (* -64 (sqrt E))) (* (* -8 (pow E 2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -4 (pow E 2)) (log (- 1 (/ 1 (sqrt E)))))) (* (* -8 E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -84 E) (log (- 1 (/ 1 (sqrt E)))))) (* 16 E)) (* (* 2 (pow E 3/2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* 16 (pow E 3/2)) (log (- 1 (/ 1 (sqrt E)))))) (* -4 (pow E 3/2))) (* (pow E 5/2) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) -24)))) (/ (* (* (sqrt E) (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (* (* -18 (sqrt E)) (log (- 1 (/ 1 (sqrt E))))) (* -110 (sqrt E))) (* (pow E 3) (log (- 1 (/ 1 (sqrt E)))))) (* (* 53 (pow E 2)) (log (- 1 (/ 1 (sqrt E)))))) (* (* 13 E) (log (- 1 (/ 1 (sqrt E)))))) (* 30 E)) (* (* -66 (pow E 3/2)) (log (- 1 (/ 1 (sqrt E)))))) (* 30 (pow E 3/2))) (* (* -8 (pow E 5/2)) (log (- 1 (/ 1 (sqrt E)))))) (log (- 1 (/ 1 (sqrt E))))) 10)) (pow (- x 1/2) 3)) (* (* 30 (pow (- 1 (sqrt E)) 3)) (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (* (sqrt E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))) (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E)))))) (* -64 (sqrt E))) (* (* -8 (pow E 2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -4 (pow E 2)) (log (- 1 (/ 1 (sqrt E)))))) (* (* -8 E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -84 E) (log (- 1 (/ 1 (sqrt E)))))) (* 16 E)) (* (* 2 (pow E 3/2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* 16 (pow E 3/2)) (log (- 1 (/ 1 (sqrt E)))))) (* -4 (pow E 3/2))) (* (pow E 5/2) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) -24)))) (/ (* (* (sqrt E) (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (* (* -18 (sqrt E)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))) (* (* -115 (sqrt E)) (log (- 1 (/ 1 (sqrt E)))))) (* -340 (sqrt E))) (* (pow E 3) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* 3 (pow E 2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* 90 (pow E 2)) (log (- 1 (/ 1 (sqrt E)))))) (* -10 (pow E 2))) (* (* 3 E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* 20 E) (log (- 1 (/ 1 (sqrt E)))))) (* -390 E)) (* (* -116 (pow E 3/2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -530 (pow E 3/2)) (log (- 1 (/ 1 (sqrt E)))))) (* 60 (pow E 3/2))) (* (* -18 (pow E 5/2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -15 (pow E 5/2)) (log (- 1 (/ 1 (sqrt E)))))) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))) (* 10 (log (- 1 (/ 1 (sqrt E)))))) 60)) (pow (- x 1/2) 2)) (* (* 30 (pow (- 1 (sqrt E)) 2)) (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (* (sqrt E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))) (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E)))))) (* -64 (sqrt E))) (* (* -8 (pow E 2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -4 (pow E 2)) (log (- 1 (/ 1 (sqrt E)))))) (* (* -8 E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -84 E) (log (- 1 (/ 1 (sqrt E)))))) (* 16 E)) (* (* 2 (pow E 3/2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* 16 (pow E 3/2)) (log (- 1 (/ 1 (sqrt E)))))) (* -4 (pow E 3/2))) (* (pow E 5/2) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) -24)))) (/ (* (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (* (sqrt E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))) (* (* 15 (sqrt E)) (log (- 1 (/ 1 (sqrt E)))))) (* -156 (sqrt E))) (* (pow E 3) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -16 (pow E 2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* 30 (pow E 2)) (log (- 1 (/ 1 (sqrt E)))))) (* -6 (pow E 2))) (* (* -9 E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -70 E) (log (- 1 (/ 1 (sqrt E)))))) (* -126 E)) (* (* -16 (pow E 3/2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -180 (pow E 3/2)) (log (- 1 (/ 1 (sqrt E)))))) (* 24 (pow E 3/2))) (* (* -9 (pow E 5/2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -7 (pow E 5/2)) (log (- 1 (/ 1 (sqrt E)))))) -12) (- x 1/2)) (* (* 3 (- 1 (sqrt E))) (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (+ (* (sqrt E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E)))))) (* (* 16 (sqrt E)) (log (- 1 (/ 1 (sqrt E)))))) (* -64 (sqrt E))) (* (* -8 (pow E 2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -4 (pow E 2)) (log (- 1 (/ 1 (sqrt E)))))) (* (* -8 E) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* -84 E) (log (- 1 (/ 1 (sqrt E)))))) (* 16 E)) (* (* 2 (pow E 3/2)) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) (* (* 16 (pow E 3/2)) (log (- 1 (/ 1 (sqrt E)))))) (* -4 (pow E 3/2))) (* (pow E 5/2) (* (log (- 1 (/ 1 (sqrt E)))) (log (- 1 (/ 1 (sqrt E))))))) -24)))) (log (- 1 (/ 1 (sqrt E))))))))