5.534 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.455 * * * [progress]: [2/2] Setting up program.
0.468 * [progress]: [Phase 2 of 3] Improving.
0.469 * [simplify]: Simplifying:
  (/ (+ 2.0 (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (- 3.0 (sqrt 5.0)) 2.0) (cos y)))))
0.469 * * [simplify]: Extracting # 0 : cost  0
0.469 * * [simplify]: Extracting # 1 : cost  0
0.469 * * [simplify]: Extracting # 2 : cost  0
0.469 * * [simplify]: Extracting # 3 : cost  0
0.469 * * [simplify]: Extracting # 4 : cost  0
0.469 * * [simplify]: Extracting # 5 : cost  0
0.469 * * [simplify]: Extracting # 6 : cost  0
0.469 * * [simplify]: Extracting # 7 : cost  0
0.470 * * [simplify]: Extracting # 8 : cost  0
0.470 * * [simplify]: Extracting # 9 : cost  0
0.470 * * [simplify]: Extracting # 10 : cost  0
0.470 * * [simplify]: Extracting # 11 : cost  0
0.470 * * [simplify]: Extracting # 12 : cost  0
0.470 * * [simplify]: Extracting # 13 : cost  0
0.470 * * [simplify]: Extracting # 14 : cost  0
0.470 * * [simplify]: iteration  0 :  32  enodes  (cost  50 )
0.484 * * [simplify]: Extracting # 0 : cost  0
0.484 * * [simplify]: Extracting # 1 : cost  0
0.484 * * [simplify]: Extracting # 2 : cost  0
0.484 * * [simplify]: iteration  1 :  74  enodes  (cost  50 )
0.552 * * [simplify]: Extracting # 0 : cost  0
0.552 * * [simplify]: Extracting # 1 : cost  0
0.552 * * [simplify]: Extracting # 2 : cost  0
0.552 * * [simplify]: iteration  2 :  181  enodes  (cost  50 )
0.646 * * [simplify]: Extracting # 0 : cost  0
0.647 * * [simplify]: Extracting # 1 : cost  0
0.648 * * [simplify]: Extracting # 2 : cost  0
0.648 * * [simplify]: iteration  3 :  653  enodes  (cost  50 )
1.254 * * [simplify]: Extracting # 0 : cost  0
1.257 * * [simplify]: Extracting # 1 : cost  0
1.261 * * [simplify]: Extracting # 2 : cost  0
1.266 * * [simplify]: iteration  4 :  2664  enodes  (cost  50 )
2.144 * * [simplify]: Extracting # 0 : cost  0
2.153 * * [simplify]: Extracting # 1 : cost  0
2.160 * * [simplify]: Extracting # 2 : cost  0
2.165 * * [simplify]: Extracting # 3 : cost  0
2.170 * * [simplify]: iteration done:  5000  enodes  (cost  50 )
2.170 * [simplify]: Simplified to:
  (/ (+ 2.0 (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (- 3.0 (sqrt 5.0)) 2.0) (cos y)))))
2.170 * * [progress]: iteration 1 / 4
2.170 * * * [progress]: picking best candidate
2.176 * * * * [pick]: Picked  #<alt (λ (x y) (/ (+ 2.0 (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (- 3.0 (sqrt 5.0)) 2.0) (cos y))))))>
2.176 * * * [progress]: localizing error
2.236 * * * [progress]: generating rewritten candidates
2.236 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2)
2.244 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 1)
2.253 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1)
2.333 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
2.789 * * * [progress]: generating series expansions
2.789 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2)
2.789 * [backup-simplify]: Simplify (- (cos x) (cos y)) into (- (cos x) (cos y))
2.789 * [approximate]: Taking taylor expansion of (- (cos x) (cos y)) in (x y) around 0
2.789 * [taylor]: Taking taylor expansion of (- (cos x) (cos y)) in y
2.789 * [taylor]: Taking taylor expansion of (cos x) in y
2.789 * [taylor]: Taking taylor expansion of x in y
2.790 * [backup-simplify]: Simplify x into x
2.790 * [backup-simplify]: Simplify (cos x) into (cos x)
2.790 * [backup-simplify]: Simplify (sin x) into (sin x)
2.790 * [taylor]: Taking taylor expansion of (cos y) in y
2.790 * [taylor]: Taking taylor expansion of y in y
2.790 * [backup-simplify]: Simplify 0 into 0
2.790 * [backup-simplify]: Simplify 1 into 1
2.790 * [taylor]: Taking taylor expansion of (- (cos x) (cos y)) in x
2.790 * [taylor]: Taking taylor expansion of (cos x) in x
2.790 * [taylor]: Taking taylor expansion of x in x
2.790 * [backup-simplify]: Simplify 0 into 0
2.790 * [backup-simplify]: Simplify 1 into 1
2.790 * [taylor]: Taking taylor expansion of (cos y) in x
2.790 * [taylor]: Taking taylor expansion of y in x
2.790 * [backup-simplify]: Simplify y into y
2.790 * [backup-simplify]: Simplify (cos y) into (cos y)
2.790 * [backup-simplify]: Simplify (sin y) into (sin y)
2.790 * [taylor]: Taking taylor expansion of (- (cos x) (cos y)) in x
2.790 * [taylor]: Taking taylor expansion of (cos x) in x
2.790 * [taylor]: Taking taylor expansion of x in x
2.790 * [backup-simplify]: Simplify 0 into 0
2.790 * [backup-simplify]: Simplify 1 into 1
2.790 * [taylor]: Taking taylor expansion of (cos y) in x
2.790 * [taylor]: Taking taylor expansion of y in x
2.790 * [backup-simplify]: Simplify y into y
2.790 * [backup-simplify]: Simplify (cos y) into (cos y)
2.790 * [backup-simplify]: Simplify (sin y) into (sin y)
2.790 * [backup-simplify]: Simplify (* (cos y) 1) into (cos y)
2.790 * [backup-simplify]: Simplify (* (sin y) 0) into 0
2.791 * [backup-simplify]: Simplify (- 0) into 0
2.791 * [backup-simplify]: Simplify (+ (cos y) 0) into (cos y)
2.791 * [backup-simplify]: Simplify (- (cos y)) into (- (cos y))
2.791 * [backup-simplify]: Simplify (+ 1 (- (cos y))) into (- 1 (cos y))
2.791 * [taylor]: Taking taylor expansion of (- 1 (cos y)) in y
2.791 * [taylor]: Taking taylor expansion of 1 in y
2.791 * [backup-simplify]: Simplify 1 into 1
2.791 * [taylor]: Taking taylor expansion of (cos y) in y
2.791 * [taylor]: Taking taylor expansion of y in y
2.791 * [backup-simplify]: Simplify 0 into 0
2.791 * [backup-simplify]: Simplify 1 into 1
2.791 * [backup-simplify]: Simplify (- 1) into -1
2.791 * [backup-simplify]: Simplify (+ 1 -1) into 0
2.791 * [backup-simplify]: Simplify 0 into 0
2.792 * [backup-simplify]: Simplify (+ 0) into 0
2.792 * [backup-simplify]: Simplify (+ 0) into 0
2.792 * [backup-simplify]: Simplify (+ (* (cos y) 0) (* 0 1)) into 0
2.793 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 1) 1))) into 0
2.793 * [backup-simplify]: Simplify (+ (* (sin y) 0) (* 0 0)) into 0
2.793 * [backup-simplify]: Simplify (- 0) into 0
2.794 * [backup-simplify]: Simplify (+ 0 0) into 0
2.794 * [backup-simplify]: Simplify (- 0) into 0
2.794 * [backup-simplify]: Simplify (+ 0 0) into 0
2.794 * [taylor]: Taking taylor expansion of 0 in y
2.794 * [backup-simplify]: Simplify 0 into 0
2.794 * [backup-simplify]: Simplify 0 into 0
2.794 * [backup-simplify]: Simplify (+ 0) into 0
2.795 * [backup-simplify]: Simplify (- 0) into 0
2.795 * [backup-simplify]: Simplify (+ 0 0) into 0
2.795 * [backup-simplify]: Simplify 0 into 0
2.795 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
2.796 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 2) 2)) 0) into 0
2.796 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (* 0 1))) into 0
2.797 * [backup-simplify]: Simplify (+ 0 (* 1 (/ (pow 0 1) 1))) into 0
2.797 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (* 0 0))) into 0
2.797 * [backup-simplify]: Simplify (- 0) into 0
2.798 * [backup-simplify]: Simplify (+ 0 0) into 0
2.798 * [backup-simplify]: Simplify (- 0) into 0
2.798 * [backup-simplify]: Simplify (+ -1/2 0) into -1/2
2.798 * [taylor]: Taking taylor expansion of -1/2 in y
2.798 * [backup-simplify]: Simplify -1/2 into -1/2
2.798 * [backup-simplify]: Simplify -1/2 into -1/2
2.798 * [backup-simplify]: Simplify 0 into 0
2.799 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 1 2) 2)) 0) into -1/2
2.799 * [backup-simplify]: Simplify (- -1/2) into 1/2
2.799 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
2.799 * [backup-simplify]: Simplify 1/2 into 1/2
2.800 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 1) 1) (/ (pow 0 1) 1)) 0) into 0
2.801 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) 0) into 0
2.801 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.802 * [backup-simplify]: Simplify (+ (* -1 (/ (pow 0 3) 6)) 0 (* 1 (/ (pow 0 1) 1))) into 0
2.802 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 0)))) into 0
2.803 * [backup-simplify]: Simplify (- 0) into 0
2.803 * [backup-simplify]: Simplify (+ 0 0) into 0
2.803 * [backup-simplify]: Simplify (- 0) into 0
2.803 * [backup-simplify]: Simplify (+ 0 0) into 0
2.803 * [taylor]: Taking taylor expansion of 0 in y
2.803 * [backup-simplify]: Simplify 0 into 0
2.803 * [backup-simplify]: Simplify 0 into 0
2.803 * [backup-simplify]: Simplify 0 into 0
2.803 * [backup-simplify]: Simplify 0 into 0
2.804 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 1 1) 1) (/ (pow 0 1) 1)) 0) into 0
2.804 * [backup-simplify]: Simplify (- 0) into 0
2.805 * [backup-simplify]: Simplify (+ 0 0) into 0
2.805 * [backup-simplify]: Simplify 0 into 0
2.806 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 1 4) 24)) 0 (* -1 (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 1/24
2.807 * [backup-simplify]: Simplify (+ (* 1 (/ (pow 0 4) 24)) 0 (* -1 (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* -1 (/ (pow 0 2) 2)) 0) into 0
2.808 * [backup-simplify]: Simplify (+ (* (cos y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.809 * [backup-simplify]: Simplify (+ 0 (* -1 (/ (pow 0 2) 2) (/ (pow 0 1) 1)) 0 0 (* 1 (/ (pow 0 1) 1))) into 0
2.810 * [backup-simplify]: Simplify (+ (* (sin y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 0))))) into 0
2.810 * [backup-simplify]: Simplify (- 0) into 0
2.811 * [backup-simplify]: Simplify (+ 0 0) into 0
2.811 * [backup-simplify]: Simplify (- 0) into 0
2.811 * [backup-simplify]: Simplify (+ 1/24 0) into 1/24
2.811 * [taylor]: Taking taylor expansion of 1/24 in y
2.812 * [backup-simplify]: Simplify 1/24 into 1/24
2.812 * [backup-simplify]: Simplify 1/24 into 1/24