3.892 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
6.902 * * * [progress]: [2/2] Setting up program.
6.939 * [progress]: [Phase 2 of 3] Improving.
6.939 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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)))))
6.943 * * [simplify]: iteration  0 :  408  enodes  (cost  281 )
6.949 * * [simplify]: iteration  1 :  1486  enodes  (cost  281 )
6.974 * * [simplify]: iteration  2 :  5001  enodes  (cost  281 )
6.975 * [simplify]: Simplified to:
   (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)))))
6.976 * [progress]: [Phase 3 of 3] Extracting.
7.008 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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)))))
7.011 * * [simplify]: iteration  0 :  224  enodes  (cost  281 )
7.011 * * [simplify]: iteration  1 :  224  enodes  (cost  281 )
7.012 * [simplify]: Simplified to:
   (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)))))