\frac{\left(\left(\left(\left(1 + 0.1049934947 \cdot \left(x \cdot x\right)\right) + 0.0424060604 \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\right) + 0.0072644182 \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 0.0005064034 \cdot \left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 0.0001789971 \cdot \left(\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)}{\left(\left(\left(\left(\left(1 + 0.7715471019 \cdot \left(x \cdot x\right)\right) + 0.2909738639 \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\right) + 0.0694555761 \cdot \left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 0.0140005442 \cdot \left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + 0.0008327945 \cdot \left(\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)\right) + \left(2 \cdot 0.0001789971\right) \cdot \left(\left(\left(\left(\left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right) \cdot \left(x \cdot x\right)\right)} \cdot x\begin{array}{l}
\mathbf{if}\;x \leq -11798335.843492458 \lor \neg \left(x \leq 858.9069322318296\right):\\
\;\;\;\;\frac{0.2514179000665375}{{x}^{3}} + \left(\frac{0.15298196345929327}{{x}^{5}} + \frac{0.5}{x}\right)\\
\mathbf{else}:\\
\;\;\;\;x \cdot \frac{\left(\left(\left(\left(1 + 0.1049934947 \cdot \left(x \cdot x\right)\right) + 0.0424060604 \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\right) + 0.0072644182 \cdot \left(\left(x \cdot x\right) \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\right)\right) + 0.0005064034 \cdot \left(\left(x \cdot x\right) \cdot \left(\left(x \cdot x\right) \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\right)\right)\right) + 0.0001789971 \cdot \left(\left(x \cdot x\right) \cdot \left(\left(x \cdot x\right) \cdot \left(\left(x \cdot x\right) \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\right)\right)\right)}{\left(\left(\left(\left(\left(1 + \left(x \cdot x\right) \cdot 0.7715471019\right) + \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right) \cdot 0.2909738639\right) + \left(\left(x \cdot x\right) \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\right) \cdot 0.0694555761\right) + \left(\left(x \cdot x\right) \cdot \left(\left(x \cdot x\right) \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\right)\right) \cdot 0.0140005442\right) + \left(\left(x \cdot x\right) \cdot \left(\left(x \cdot x\right) \cdot \left(\left(x \cdot x\right) \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\right)\right)\right) \cdot 0.0008327945\right) + \left(0.0001789971 \cdot 2\right) \cdot \left(\left(x \cdot x\right) \cdot \left(\left(x \cdot x\right) \cdot \left(\left(x \cdot x\right) \cdot \left(\left(x \cdot x\right) \cdot \left(\left(x \cdot x\right) \cdot \left(x \cdot x\right)\right)\right)\right)\right)\right)}\\
\end{array}(FPCore (x)
:precision binary64
(*
(/
(+
(+
(+
(+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x))))
(* 0.0072644182 (* (* (* x x) (* x x)) (* x x))))
(* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x))))
(* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))
(+
(+
(+
(+
(+
(+ 1.0 (* 0.7715471019 (* x x)))
(* 0.2909738639 (* (* x x) (* x x))))
(* 0.0694555761 (* (* (* x x) (* x x)) (* x x))))
(* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x))))
(* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x))))
(*
(* 2.0 0.0001789971)
(* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))
x))(FPCore (x)
:precision binary64
(if (or (<= x -11798335.843492458) (not (<= x 858.9069322318296)))
(+
(/ 0.2514179000665375 (pow x 3.0))
(+ (/ 0.15298196345929327 (pow x 5.0)) (/ 0.5 x)))
(*
x
(/
(+
(+
(+
(+
(+ 1.0 (* 0.1049934947 (* x x)))
(* 0.0424060604 (* (* x x) (* x x))))
(* 0.0072644182 (* (* x x) (* (* x x) (* x x)))))
(* 0.0005064034 (* (* x x) (* (* x x) (* (* x x) (* x x))))))
(* 0.0001789971 (* (* x x) (* (* x x) (* (* x x) (* (* x x) (* x x)))))))
(+
(+
(+
(+
(+
(+ 1.0 (* (* x x) 0.7715471019))
(* (* (* x x) (* x x)) 0.2909738639))
(* (* (* x x) (* (* x x) (* x x))) 0.0694555761))
(* (* (* x x) (* (* x x) (* (* x x) (* x x)))) 0.0140005442))
(*
(* (* x x) (* (* x x) (* (* x x) (* (* x x) (* x x)))))
0.0008327945))
(*
(* 0.0001789971 2.0)
(*
(* x x)
(* (* x x) (* (* x x) (* (* x x) (* (* x x) (* x x))))))))))))double code(double x) {
return ((double) ((((double) (((double) (((double) (((double) (((double) (1.0 + ((double) (0.1049934947 * ((double) (x * x)))))) + ((double) (0.0424060604 * ((double) (((double) (x * x)) * ((double) (x * x)))))))) + ((double) (0.0072644182 * ((double) (((double) (((double) (x * x)) * ((double) (x * x)))) * ((double) (x * x)))))))) + ((double) (0.0005064034 * ((double) (((double) (((double) (((double) (x * x)) * ((double) (x * x)))) * ((double) (x * x)))) * ((double) (x * x)))))))) + ((double) (0.0001789971 * ((double) (((double) (((double) (((double) (((double) (x * x)) * ((double) (x * x)))) * ((double) (x * x)))) * ((double) (x * x)))) * ((double) (x * x)))))))) / ((double) (((double) (((double) (((double) (((double) (((double) (1.0 + ((double) (0.7715471019 * ((double) (x * x)))))) + ((double) (0.2909738639 * ((double) (((double) (x * x)) * ((double) (x * x)))))))) + ((double) (0.0694555761 * ((double) (((double) (((double) (x * x)) * ((double) (x * x)))) * ((double) (x * x)))))))) + ((double) (0.0140005442 * ((double) (((double) (((double) (((double) (x * x)) * ((double) (x * x)))) * ((double) (x * x)))) * ((double) (x * x)))))))) + ((double) (0.0008327945 * ((double) (((double) (((double) (((double) (((double) (x * x)) * ((double) (x * x)))) * ((double) (x * x)))) * ((double) (x * x)))) * ((double) (x * x)))))))) + ((double) (((double) (2.0 * 0.0001789971)) * ((double) (((double) (((double) (((double) (((double) (((double) (x * x)) * ((double) (x * x)))) * ((double) (x * x)))) * ((double) (x * x)))) * ((double) (x * x)))) * ((double) (x * x))))))))) * x));
}
double code(double x) {
double VAR;
if (((x <= -11798335.843492458) || !(x <= 858.9069322318296))) {
VAR = ((double) ((0.2514179000665375 / ((double) pow(x, 3.0))) + ((double) ((0.15298196345929327 / ((double) pow(x, 5.0))) + (0.5 / x)))));
} else {
VAR = ((double) (x * (((double) (((double) (((double) (((double) (((double) (1.0 + ((double) (0.1049934947 * ((double) (x * x)))))) + ((double) (0.0424060604 * ((double) (((double) (x * x)) * ((double) (x * x)))))))) + ((double) (0.0072644182 * ((double) (((double) (x * x)) * ((double) (((double) (x * x)) * ((double) (x * x)))))))))) + ((double) (0.0005064034 * ((double) (((double) (x * x)) * ((double) (((double) (x * x)) * ((double) (((double) (x * x)) * ((double) (x * x)))))))))))) + ((double) (0.0001789971 * ((double) (((double) (x * x)) * ((double) (((double) (x * x)) * ((double) (((double) (x * x)) * ((double) (((double) (x * x)) * ((double) (x * x)))))))))))))) / ((double) (((double) (((double) (((double) (((double) (((double) (1.0 + ((double) (((double) (x * x)) * 0.7715471019)))) + ((double) (((double) (((double) (x * x)) * ((double) (x * x)))) * 0.2909738639)))) + ((double) (((double) (((double) (x * x)) * ((double) (((double) (x * x)) * ((double) (x * x)))))) * 0.0694555761)))) + ((double) (((double) (((double) (x * x)) * ((double) (((double) (x * x)) * ((double) (((double) (x * x)) * ((double) (x * x)))))))) * 0.0140005442)))) + ((double) (((double) (((double) (x * x)) * ((double) (((double) (x * x)) * ((double) (((double) (x * x)) * ((double) (((double) (x * x)) * ((double) (x * x)))))))))) * 0.0008327945)))) + ((double) (((double) (0.0001789971 * 2.0)) * ((double) (((double) (x * x)) * ((double) (((double) (x * x)) * ((double) (((double) (x * x)) * ((double) (((double) (x * x)) * ((double) (((double) (x * x)) * ((double) (x * x)))))))))))))))))));
}
return VAR;
}



Bits error versus x
Results
if x < -11798335.8434924576 or 858.90693223182961 < x Initial program 59.4
Simplified59.4
Taylor expanded around inf 0.0
Simplified0.0
if -11798335.8434924576 < x < 858.90693223182961Initial program 0.0
Final simplification0.0
herbie shell --seed 2020198
(FPCore (x)
:name "Jmat.Real.dawson"
:precision binary64
(* (/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x))