Timeout after 2.5m

Use the --timeout flag to change the timeout.

\[\left|\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(4 \cdot \log \left({\left({\left(x - 1\right)}^{2} + 2\right)}^{\left(\frac{1}{2}\right)} + 1\right)\right) \cdot \left(\frac{{\left(x - 1\right)}^{2}}{2} - \frac{1}{2}\right) - \left(4 \cdot \log \left({\left({\left(x - 1\right)}^{2} + 2\right)}^{\left(\frac{1}{2}\right)} - 1\right)\right) \cdot \left(\frac{{\left(x - 1\right)}^{2}}{2} - \frac{1}{2}\right)\right) - \left(8 \cdot x\right) \cdot \tan^{-1} \left(\frac{1}{x \cdot {\left({x}^{2} + 2\right)}^{\left(\frac{1}{2}\right)}}\right)\right) - \left(4 \cdot \log \left({\left({\left(x + 1\right)}^{2} + 2\right)}^{\left(\frac{1}{2}\right)} - 1\right)\right) \cdot \left(\frac{{\left(x + 1\right)}^{2}}{2} - \frac{1}{2}\right)\right) + \left(4 \cdot \log \left({\left({\left(x + 1\right)}^{2} + 2\right)}^{\left(\frac{1}{2}\right)} + 1\right)\right) \cdot \left(\frac{{\left(x + 1\right)}^{2}}{2} - \frac{1}{2}\right)\right) + \left(4 \cdot \tan^{-1} \left(\frac{1}{{\left({\left(x - 1\right)}^{2} + 2\right)}^{\left(\frac{1}{2}\right)} \cdot \left(x - 1\right)}\right)\right) \cdot \left(x - 1\right)\right) + \left(4 \cdot \tan^{-1} \left(\frac{1}{{\left({\left(x + 1\right)}^{2} + 2\right)}^{\left(\frac{1}{2}\right)} \cdot \left(x + 1\right)}\right)\right) \cdot \left(x + 1\right)\right) + \frac{8 \cdot {\left(\left|x\right|\right)}^{3}}{3}\right) - \left(4 \cdot {\left({\left(x - 1\right)}^{2} + 2\right)}^{\left(\frac{1}{2}\right)}\right) \cdot \left(\frac{{\left(x - 1\right)}^{2}}{3} - \frac{1}{3}\right)\right) - \left(4 \cdot {\left({\left(x + 1\right)}^{2} + 2\right)}^{\left(\frac{1}{2}\right)}\right) \cdot \left(\frac{{\left(x + 1\right)}^{2}}{3} - \frac{1}{3}\right)\right) + \left(8 \cdot {\left({\left(x - 1\right)}^{2} + 1\right)}^{\left(\frac{1}{2}\right)}\right) \cdot \left(\frac{{\left(x - 1\right)}^{2}}{3} - \frac{1}{6}\right)\right) + \left(8 \cdot {\left({\left(x + 1\right)}^{2} + 1\right)}^{\left(\frac{1}{2}\right)}\right) \cdot \left(\frac{{\left(x + 1\right)}^{2}}{3} - \frac{1}{6}\right)\right) + \left(8 \cdot \log \left({\left({x}^{2} + 2\right)}^{\left(\frac{1}{2}\right)} - 1\right)\right) \cdot \left(\frac{{x}^{2}}{2} - \frac{1}{2}\right)\right) - \left(8 \cdot \log \left({\left({x}^{2} + 2\right)}^{\left(\frac{1}{2}\right)} + 1\right)\right) \cdot \left(\frac{{x}^{2}}{2} - \frac{1}{2}\right)\right) + \left(2 \cdot \log \left({\left({\left(x - 1\right)}^{2} + 1\right)}^{\left(\frac{1}{2}\right)} - 1\right)\right) \cdot {\left(x - 1\right)}^{2}\right) - \left(2 \cdot \log \left({\left({\left(x - 1\right)}^{2} + 1\right)}^{\left(\frac{1}{2}\right)} + 1\right)\right) \cdot {\left(x - 1\right)}^{2}\right) + \left(2 \cdot \log \left({\left({\left(x + 1\right)}^{2} + 1\right)}^{\left(\frac{1}{2}\right)} - 1\right)\right) \cdot {\left(x + 1\right)}^{2}\right) - \left(2 \cdot \log \left({\left({\left(x + 1\right)}^{2} + 1\right)}^{\left(\frac{1}{2}\right)} + 1\right)\right) \cdot {\left(x + 1\right)}^{2}\right) + \left(8 \cdot {\left({x}^{2} + 2\right)}^{\left(\frac{1}{2}\right)}\right) \cdot \left(\frac{{x}^{2}}{3} - \frac{1}{3}\right)\right) - \left(16 \cdot {\left({x}^{2} + 1\right)}^{\left(\frac{1}{2}\right)}\right) \cdot \left(\frac{{x}^{2}}{3} - \frac{1}{6}\right)\right) - \frac{4 \cdot {\left(\left|x - 1\right|\right)}^{3}}{3}\right) - \frac{4 \cdot {\left(\left|x + 1\right|\right)}^{3}}{3}\right) - \left(4 \cdot {x}^{2}\right) \cdot \log \left({\left({x}^{2} + 1\right)}^{\left(\frac{1}{2}\right)} - 1\right)\right) + \left(4 \cdot {x}^{2}\right) \cdot \log \left({\left({x}^{2} + 1\right)}^{\left(\frac{1}{2}\right)} + 1\right)\right|\]
\left|\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(\left(4 \cdot \log \left({\left({\left(x - 1\right)}^{2} + 2\right)}^{\left(\frac{1}{2}\right)} + 1\right)\right) \cdot \left(\frac{{\left(x - 1\right)}^{2}}{2} - \frac{1}{2}\right) - \left(4 \cdot \log \left({\left({\left(x - 1\right)}^{2} + 2\right)}^{\left(\frac{1}{2}\right)} - 1\right)\right) \cdot \left(\frac{{\left(x - 1\right)}^{2}}{2} - \frac{1}{2}\right)\right) - \left(8 \cdot x\right) \cdot \tan^{-1} \left(\frac{1}{x \cdot {\left({x}^{2} + 2\right)}^{\left(\frac{1}{2}\right)}}\right)\right) - \left(4 \cdot \log \left({\left({\left(x + 1\right)}^{2} + 2\right)}^{\left(\frac{1}{2}\right)} - 1\right)\right) \cdot \left(\frac{{\left(x + 1\right)}^{2}}{2} - \frac{1}{2}\right)\right) + \left(4 \cdot \log \left({\left({\left(x + 1\right)}^{2} + 2\right)}^{\left(\frac{1}{2}\right)} + 1\right)\right) \cdot \left(\frac{{\left(x + 1\right)}^{2}}{2} - \frac{1}{2}\right)\right) + \left(4 \cdot \tan^{-1} \left(\frac{1}{{\left({\left(x - 1\right)}^{2} + 2\right)}^{\left(\frac{1}{2}\right)} \cdot \left(x - 1\right)}\right)\right) \cdot \left(x - 1\right)\right) + \left(4 \cdot \tan^{-1} \left(\frac{1}{{\left({\left(x + 1\right)}^{2} + 2\right)}^{\left(\frac{1}{2}\right)} \cdot \left(x + 1\right)}\right)\right) \cdot \left(x + 1\right)\right) + \frac{8 \cdot {\left(\left|x\right|\right)}^{3}}{3}\right) - \left(4 \cdot {\left({\left(x - 1\right)}^{2} + 2\right)}^{\left(\frac{1}{2}\right)}\right) \cdot \left(\frac{{\left(x - 1\right)}^{2}}{3} - \frac{1}{3}\right)\right) - \left(4 \cdot {\left({\left(x + 1\right)}^{2} + 2\right)}^{\left(\frac{1}{2}\right)}\right) \cdot \left(\frac{{\left(x + 1\right)}^{2}}{3} - \frac{1}{3}\right)\right) + \left(8 \cdot {\left({\left(x - 1\right)}^{2} + 1\right)}^{\left(\frac{1}{2}\right)}\right) \cdot \left(\frac{{\left(x - 1\right)}^{2}}{3} - \frac{1}{6}\right)\right) + \left(8 \cdot {\left({\left(x + 1\right)}^{2} + 1\right)}^{\left(\frac{1}{2}\right)}\right) \cdot \left(\frac{{\left(x + 1\right)}^{2}}{3} - \frac{1}{6}\right)\right) + \left(8 \cdot \log \left({\left({x}^{2} + 2\right)}^{\left(\frac{1}{2}\right)} - 1\right)\right) \cdot \left(\frac{{x}^{2}}{2} - \frac{1}{2}\right)\right) - \left(8 \cdot \log \left({\left({x}^{2} + 2\right)}^{\left(\frac{1}{2}\right)} + 1\right)\right) \cdot \left(\frac{{x}^{2}}{2} - \frac{1}{2}\right)\right) + \left(2 \cdot \log \left({\left({\left(x - 1\right)}^{2} + 1\right)}^{\left(\frac{1}{2}\right)} - 1\right)\right) \cdot {\left(x - 1\right)}^{2}\right) - \left(2 \cdot \log \left({\left({\left(x - 1\right)}^{2} + 1\right)}^{\left(\frac{1}{2}\right)} + 1\right)\right) \cdot {\left(x - 1\right)}^{2}\right) + \left(2 \cdot \log \left({\left({\left(x + 1\right)}^{2} + 1\right)}^{\left(\frac{1}{2}\right)} - 1\right)\right) \cdot {\left(x + 1\right)}^{2}\right) - \left(2 \cdot \log \left({\left({\left(x + 1\right)}^{2} + 1\right)}^{\left(\frac{1}{2}\right)} + 1\right)\right) \cdot {\left(x + 1\right)}^{2}\right) + \left(8 \cdot {\left({x}^{2} + 2\right)}^{\left(\frac{1}{2}\right)}\right) \cdot \left(\frac{{x}^{2}}{3} - \frac{1}{3}\right)\right) - \left(16 \cdot {\left({x}^{2} + 1\right)}^{\left(\frac{1}{2}\right)}\right) \cdot \left(\frac{{x}^{2}}{3} - \frac{1}{6}\right)\right) - \frac{4 \cdot {\left(\left|x - 1\right|\right)}^{3}}{3}\right) - \frac{4 \cdot {\left(\left|x + 1\right|\right)}^{3}}{3}\right) - \left(4 \cdot {x}^{2}\right) \cdot \log \left({\left({x}^{2} + 1\right)}^{\left(\frac{1}{2}\right)} - 1\right)\right) + \left(4 \cdot {x}^{2}\right) \cdot \log \left({\left({x}^{2} + 1\right)}^{\left(\frac{1}{2}\right)} + 1\right)\right|
double code(double x) {
	return ((double) fabs(((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (((double) (4.0 * ((double) log(((double) (((double) pow(((double) (((double) pow(((double) (x - 1.0)), 2.0)) + 2.0)), ((double) (1.0 / 2.0)))) + 1.0)))))) * ((double) (((double) (((double) pow(((double) (x - 1.0)), 2.0)) / 2.0)) - ((double) (1.0 / 2.0)))))) - ((double) (((double) (4.0 * ((double) log(((double) (((double) pow(((double) (((double) pow(((double) (x - 1.0)), 2.0)) + 2.0)), ((double) (1.0 / 2.0)))) - 1.0)))))) * ((double) (((double) (((double) pow(((double) (x - 1.0)), 2.0)) / 2.0)) - ((double) (1.0 / 2.0)))))))) - ((double) (((double) (8.0 * x)) * ((double) atan(((double) (1.0 / ((double) (x * ((double) pow(((double) (((double) pow(x, 2.0)) + 2.0)), ((double) (1.0 / 2.0)))))))))))))) - ((double) (((double) (4.0 * ((double) log(((double) (((double) pow(((double) (((double) pow(((double) (x + 1.0)), 2.0)) + 2.0)), ((double) (1.0 / 2.0)))) - 1.0)))))) * ((double) (((double) (((double) pow(((double) (x + 1.0)), 2.0)) / 2.0)) - ((double) (1.0 / 2.0)))))))) + ((double) (((double) (4.0 * ((double) log(((double) (((double) pow(((double) (((double) pow(((double) (x + 1.0)), 2.0)) + 2.0)), ((double) (1.0 / 2.0)))) + 1.0)))))) * ((double) (((double) (((double) pow(((double) (x + 1.0)), 2.0)) / 2.0)) - ((double) (1.0 / 2.0)))))))) + ((double) (((double) (4.0 * ((double) atan(((double) (1.0 / ((double) (((double) pow(((double) (((double) pow(((double) (x - 1.0)), 2.0)) + 2.0)), ((double) (1.0 / 2.0)))) * ((double) (x - 1.0)))))))))) * ((double) (x - 1.0)))))) + ((double) (((double) (4.0 * ((double) atan(((double) (1.0 / ((double) (((double) pow(((double) (((double) pow(((double) (x + 1.0)), 2.0)) + 2.0)), ((double) (1.0 / 2.0)))) * ((double) (x + 1.0)))))))))) * ((double) (x + 1.0)))))) + ((double) (((double) (8.0 * ((double) pow(((double) fabs(x)), 3.0)))) / 3.0)))) - ((double) (((double) (4.0 * ((double) pow(((double) (((double) pow(((double) (x - 1.0)), 2.0)) + 2.0)), ((double) (1.0 / 2.0)))))) * ((double) (((double) (((double) pow(((double) (x - 1.0)), 2.0)) / 3.0)) - ((double) (1.0 / 3.0)))))))) - ((double) (((double) (4.0 * ((double) pow(((double) (((double) pow(((double) (x + 1.0)), 2.0)) + 2.0)), ((double) (1.0 / 2.0)))))) * ((double) (((double) (((double) pow(((double) (x + 1.0)), 2.0)) / 3.0)) - ((double) (1.0 / 3.0)))))))) + ((double) (((double) (8.0 * ((double) pow(((double) (((double) pow(((double) (x - 1.0)), 2.0)) + 1.0)), ((double) (1.0 / 2.0)))))) * ((double) (((double) (((double) pow(((double) (x - 1.0)), 2.0)) / 3.0)) - ((double) (1.0 / 6.0)))))))) + ((double) (((double) (8.0 * ((double) pow(((double) (((double) pow(((double) (x + 1.0)), 2.0)) + 1.0)), ((double) (1.0 / 2.0)))))) * ((double) (((double) (((double) pow(((double) (x + 1.0)), 2.0)) / 3.0)) - ((double) (1.0 / 6.0)))))))) + ((double) (((double) (8.0 * ((double) log(((double) (((double) pow(((double) (((double) pow(x, 2.0)) + 2.0)), ((double) (1.0 / 2.0)))) - 1.0)))))) * ((double) (((double) (((double) pow(x, 2.0)) / 2.0)) - ((double) (1.0 / 2.0)))))))) - ((double) (((double) (8.0 * ((double) log(((double) (((double) pow(((double) (((double) pow(x, 2.0)) + 2.0)), ((double) (1.0 / 2.0)))) + 1.0)))))) * ((double) (((double) (((double) pow(x, 2.0)) / 2.0)) - ((double) (1.0 / 2.0)))))))) + ((double) (((double) (2.0 * ((double) log(((double) (((double) pow(((double) (((double) pow(((double) (x - 1.0)), 2.0)) + 1.0)), ((double) (1.0 / 2.0)))) - 1.0)))))) * ((double) pow(((double) (x - 1.0)), 2.0)))))) - ((double) (((double) (2.0 * ((double) log(((double) (((double) pow(((double) (((double) pow(((double) (x - 1.0)), 2.0)) + 1.0)), ((double) (1.0 / 2.0)))) + 1.0)))))) * ((double) pow(((double) (x - 1.0)), 2.0)))))) + ((double) (((double) (2.0 * ((double) log(((double) (((double) pow(((double) (((double) pow(((double) (x + 1.0)), 2.0)) + 1.0)), ((double) (1.0 / 2.0)))) - 1.0)))))) * ((double) pow(((double) (x + 1.0)), 2.0)))))) - ((double) (((double) (2.0 * ((double) log(((double) (((double) pow(((double) (((double) pow(((double) (x + 1.0)), 2.0)) + 1.0)), ((double) (1.0 / 2.0)))) + 1.0)))))) * ((double) pow(((double) (x + 1.0)), 2.0)))))) + ((double) (((double) (8.0 * ((double) pow(((double) (((double) pow(x, 2.0)) + 2.0)), ((double) (1.0 / 2.0)))))) * ((double) (((double) (((double) pow(x, 2.0)) / 3.0)) - ((double) (1.0 / 3.0)))))))) - ((double) (((double) (16.0 * ((double) pow(((double) (((double) pow(x, 2.0)) + 1.0)), ((double) (1.0 / 2.0)))))) * ((double) (((double) (((double) pow(x, 2.0)) / 3.0)) - ((double) (1.0 / 6.0)))))))) - ((double) (((double) (4.0 * ((double) pow(((double) fabs(((double) (x - 1.0)))), 3.0)))) / 3.0)))) - ((double) (((double) (4.0 * ((double) pow(((double) fabs(((double) (x + 1.0)))), 3.0)))) / 3.0)))) - ((double) (((double) (4.0 * ((double) pow(x, 2.0)))) * ((double) log(((double) (((double) pow(((double) (((double) pow(x, 2.0)) + 1.0)), ((double) (1.0 / 2.0)))) - 1.0)))))))) + ((double) (((double) (4.0 * ((double) pow(x, 2.0)))) * ((double) log(((double) (((double) pow(((double) (((double) pow(x, 2.0)) + 1.0)), ((double) (1.0 / 2.0)))) + 1.0))))))))));
}

Reproduce

herbie shell --seed 2020152 
(FPCore (x)
  :name "(fabs (+ (- (- (- (- (+ (- (+ (- (+ (- (+ (+ (+ (- (- (+ (+ (+ (+ (- (- (- (* (* 4 (log (+ (pow (+ (pow (- x 1) 2) 2) (/ 1 2)) 1))) (- (/ (pow (- x 1) 2) 2) (/ 1 2))) (* (* 4 (log (- (pow (+ (pow (- x 1) 2) 2) (/ 1 2)) 1))) (- (/ (pow (- x 1) 2) 2) (/ 1 2)))) (* (* 8 x) (atan (/ 1 (* x (pow (+ (pow x 2) 2) (/ 1 2))))))) (* (* 4 (log (- (pow (+ (pow (+ x 1) 2) 2) (/ 1 2)) 1))) (- (/ (pow (+ x 1) 2) 2) (/ 1 2)))) (* (* 4 (log (+ (pow (+ (pow (+ x 1) 2) 2) (/ 1 2)) 1))) (- (/ (pow (+ x 1) 2) 2) (/ 1 2)))) (* (* 4 (atan (/ 1 (* (pow (+ (pow (- x 1) 2) 2) (/ 1 2)) (- x 1))))) (- x 1))) (* (* 4 (atan (/ 1 (* (pow (+ (pow (+ x 1) 2) 2) (/ 1 2)) (+ x 1))))) (+ x 1))) (/ (* 8 (pow (fabs x) 3)) 3)) (* (* 4 (pow (+ (pow (- x 1) 2) 2) (/ 1 2))) (- (/ (pow (- x 1) 2) 3) (/ 1 3)))) (* (* 4 (pow (+ (pow (+ x 1) 2) 2) (/ 1 2))) (- (/ (pow (+ x 1) 2) 3) (/ 1 3)))) (* (* 8 (pow (+ (pow (- x 1) 2) 1) (/ 1 2))) (- (/ (pow (- x 1) 2) 3) (/ 1 6)))) (* (* 8 (pow (+ (pow (+ x 1) 2) 1) (/ 1 2))) (- (/ (pow (+ x 1) 2) 3) (/ 1 6)))) (* (* 8 (log (- (pow (+ (pow x 2) 2) (/ 1 2)) 1))) (- (/ (pow x 2) 2) (/ 1 2)))) (* (* 8 (log (+ (pow (+ (pow x 2) 2) (/ 1 2)) 1))) (- (/ (pow x 2) 2) (/ 1 2)))) (* (* 2 (log (- (pow (+ (pow (- x 1) 2) 1) (/ 1 2)) 1))) (pow (- x 1) 2))) (* (* 2 (log (+ (pow (+ (pow (- x 1) 2) 1) (/ 1 2)) 1))) (pow (- x 1) 2))) (* (* 2 (log (- (pow (+ (pow (+ x 1) 2) 1) (/ 1 2)) 1))) (pow (+ x 1) 2))) (* (* 2 (log (+ (pow (+ (pow (+ x 1) 2) 1) (/ 1 2)) 1))) (pow (+ x 1) 2))) (* (* 8 (pow (+ (pow x 2) 2) (/ 1 2))) (- (/ (pow x 2) 3) (/ 1 3)))) (* (* 16 (pow (+ (pow x 2) 1) (/ 1 2))) (- (/ (pow x 2) 3) (/ 1 6)))) (/ (* 4 (pow (fabs (- x 1)) 3)) 3)) (/ (* 4 (pow (fabs (+ x 1)) 3)) 3)) (* (* 4 (pow x 2)) (log (- (pow (+ (pow x 2) 1) (/ 1 2)) 1)))) (* (* 4 (pow x 2)) (log (+ (pow (+ (pow x 2) 1) (/ 1 2)) 1)))))"
  :precision binary64
  (fabs (+ (- (- (- (- (+ (- (+ (- (+ (- (+ (+ (+ (- (- (+ (+ (+ (+ (- (- (- (* (* 4.0 (log (+ (pow (+ (pow (- x 1.0) 2.0) 2.0) (/ 1.0 2.0)) 1.0))) (- (/ (pow (- x 1.0) 2.0) 2.0) (/ 1.0 2.0))) (* (* 4.0 (log (- (pow (+ (pow (- x 1.0) 2.0) 2.0) (/ 1.0 2.0)) 1.0))) (- (/ (pow (- x 1.0) 2.0) 2.0) (/ 1.0 2.0)))) (* (* 8.0 x) (atan (/ 1.0 (* x (pow (+ (pow x 2.0) 2.0) (/ 1.0 2.0))))))) (* (* 4.0 (log (- (pow (+ (pow (+ x 1.0) 2.0) 2.0) (/ 1.0 2.0)) 1.0))) (- (/ (pow (+ x 1.0) 2.0) 2.0) (/ 1.0 2.0)))) (* (* 4.0 (log (+ (pow (+ (pow (+ x 1.0) 2.0) 2.0) (/ 1.0 2.0)) 1.0))) (- (/ (pow (+ x 1.0) 2.0) 2.0) (/ 1.0 2.0)))) (* (* 4.0 (atan (/ 1.0 (* (pow (+ (pow (- x 1.0) 2.0) 2.0) (/ 1.0 2.0)) (- x 1.0))))) (- x 1.0))) (* (* 4.0 (atan (/ 1.0 (* (pow (+ (pow (+ x 1.0) 2.0) 2.0) (/ 1.0 2.0)) (+ x 1.0))))) (+ x 1.0))) (/ (* 8.0 (pow (fabs x) 3.0)) 3.0)) (* (* 4.0 (pow (+ (pow (- x 1.0) 2.0) 2.0) (/ 1.0 2.0))) (- (/ (pow (- x 1.0) 2.0) 3.0) (/ 1.0 3.0)))) (* (* 4.0 (pow (+ (pow (+ x 1.0) 2.0) 2.0) (/ 1.0 2.0))) (- (/ (pow (+ x 1.0) 2.0) 3.0) (/ 1.0 3.0)))) (* (* 8.0 (pow (+ (pow (- x 1.0) 2.0) 1.0) (/ 1.0 2.0))) (- (/ (pow (- x 1.0) 2.0) 3.0) (/ 1.0 6.0)))) (* (* 8.0 (pow (+ (pow (+ x 1.0) 2.0) 1.0) (/ 1.0 2.0))) (- (/ (pow (+ x 1.0) 2.0) 3.0) (/ 1.0 6.0)))) (* (* 8.0 (log (- (pow (+ (pow x 2.0) 2.0) (/ 1.0 2.0)) 1.0))) (- (/ (pow x 2.0) 2.0) (/ 1.0 2.0)))) (* (* 8.0 (log (+ (pow (+ (pow x 2.0) 2.0) (/ 1.0 2.0)) 1.0))) (- (/ (pow x 2.0) 2.0) (/ 1.0 2.0)))) (* (* 2.0 (log (- (pow (+ (pow (- x 1.0) 2.0) 1.0) (/ 1.0 2.0)) 1.0))) (pow (- x 1.0) 2.0))) (* (* 2.0 (log (+ (pow (+ (pow (- x 1.0) 2.0) 1.0) (/ 1.0 2.0)) 1.0))) (pow (- x 1.0) 2.0))) (* (* 2.0 (log (- (pow (+ (pow (+ x 1.0) 2.0) 1.0) (/ 1.0 2.0)) 1.0))) (pow (+ x 1.0) 2.0))) (* (* 2.0 (log (+ (pow (+ (pow (+ x 1.0) 2.0) 1.0) (/ 1.0 2.0)) 1.0))) (pow (+ x 1.0) 2.0))) (* (* 8.0 (pow (+ (pow x 2.0) 2.0) (/ 1.0 2.0))) (- (/ (pow x 2.0) 3.0) (/ 1.0 3.0)))) (* (* 16.0 (pow (+ (pow x 2.0) 1.0) (/ 1.0 2.0))) (- (/ (pow x 2.0) 3.0) (/ 1.0 6.0)))) (/ (* 4.0 (pow (fabs (- x 1.0)) 3.0)) 3.0)) (/ (* 4.0 (pow (fabs (+ x 1.0)) 3.0)) 3.0)) (* (* 4.0 (pow x 2.0)) (log (- (pow (+ (pow x 2.0) 1.0) (/ 1.0 2.0)) 1.0)))) (* (* 4.0 (pow x 2.0)) (log (+ (pow (+ (pow x 2.0) 1.0) (/ 1.0 2.0)) 1.0))))))