5.115 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.894 * * * [progress]: [2/2] Setting up program.
0.912 * [progress]: [Phase 2 of 3] Improving.
0.912 * [simplify]: Simplifying:
  (* (* (/ 1.0 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1.0 (fabs x)) (* (/ 1.0 2.0) (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 3.0 4.0) (* (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 15.0 8.0) (* (* (* (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))))
0.913 * * [simplify]: Extracting # 0 : cost  0
0.913 * * [simplify]: Extracting # 1 : cost  0
0.913 * * [simplify]: Extracting # 2 : cost  0
0.913 * * [simplify]: Extracting # 3 : cost  0
0.913 * * [simplify]: Extracting # 4 : cost  0
0.913 * * [simplify]: Extracting # 5 : cost  0
0.913 * * [simplify]: Extracting # 6 : cost  0
0.913 * * [simplify]: Extracting # 7 : cost  0
0.913 * * [simplify]: Extracting # 8 : cost  0
0.913 * * [simplify]: Extracting # 9 : cost  0
0.914 * * [simplify]: Extracting # 10 : cost  0
0.914 * * [simplify]: Extracting # 11 : cost  0
0.914 * * [simplify]: Extracting # 12 : cost  0
0.914 * * [simplify]: iteration  0 :  31  enodes  (cost  103 )
0.926 * * [simplify]: Extracting # 0 : cost  0
0.926 * * [simplify]: Extracting # 1 : cost  0
0.926 * * [simplify]: Extracting # 2 : cost  0
0.926 * * [simplify]: iteration  1 :  90  enodes  (cost  103 )
0.971 * * [simplify]: Extracting # 0 : cost  0
0.972 * * [simplify]: Extracting # 1 : cost  0
0.973 * * [simplify]: Extracting # 2 : cost  0
0.974 * * [simplify]: Extracting # 3 : cost  0
0.974 * * [simplify]: Extracting # 4 : cost  0
0.975 * * [simplify]: Extracting # 5 : cost  0
0.976 * * [simplify]: Extracting # 6 : cost  0
0.977 * * [simplify]: iteration  2 :  401  enodes  (cost  65 )
1.333 * * [simplify]: Extracting # 0 : cost  0
1.345 * * [simplify]: Extracting # 1 : cost  0
1.351 * * [simplify]: Extracting # 2 : cost  0
1.356 * * [simplify]: Extracting # 3 : cost  0
1.362 * * [simplify]: Extracting # 4 : cost  0
1.367 * * [simplify]: Extracting # 5 : cost  0
1.373 * * [simplify]: Extracting # 6 : cost  0
1.379 * * [simplify]: Extracting # 7 : cost  0
1.384 * * [simplify]: iteration  3 :  2303  enodes  (cost  51 )
2.587 * * [simplify]: Extracting # 0 : cost  0
2.599 * * [simplify]: Extracting # 1 : cost  0
2.611 * * [simplify]: Extracting # 2 : cost  0
2.629 * * [simplify]: Extracting # 3 : cost  0
2.641 * * [simplify]: Extracting # 4 : cost  0
2.653 * * [simplify]: Extracting # 5 : cost  0
2.664 * * [simplify]: iteration done:  5001  enodes  (cost  49 )
2.665 * [simplify]: Simplified to:
  (/ (* (fma (pow (/ 1.0 (fabs x)) 3) (/ 1.0 2.0) (* (/ 1.0 (fabs x)) (+ (fma (pow (/ 1.0 (fabs x)) 4) (/ 3.0 4.0) 1) (/ (* 15.0 (pow (/ 1.0 (fabs x)) 6)) 8.0)))) (* 1.0 (exp (* (fabs x) (fabs x))))) (sqrt PI))
2.681 * * [progress]: iteration 1 / 4
2.681 * * * [progress]: picking best candidate
2.705 * * * * [pick]: Picked  #<alt (λ (x) (/ (* (fma (pow (/ 1.0 (fabs x)) 3) (/ 1.0 2.0) (* (/ 1.0 (fabs x)) (+ (fma (pow (/ 1.0 (fabs x)) 4) (/ 3.0 4.0) 1) (/ (* 15.0 (pow (/ 1.0 (fabs x)) 6)) 8.0)))) (* 1.0 (exp (* (fabs x) (fabs x))))) (sqrt PI)))>
2.705 * * * [progress]: localizing error