189.224 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.026 * * * [progress]: [2/2] Setting up program.
0.029 * [progress]: [Phase 2 of 3] Improving.
0.029 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (exp (* (* x y) y))
0.030 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
0.030 * * [simplify]: iteration  1 :  11  enodes  (cost  6 )
0.032 * * [simplify]: iteration  2 :  22  enodes  (cost  6 )
0.035 * * [simplify]: iteration  3 :  40  enodes  (cost  6 )
0.040 * * [simplify]: iteration  4 :  84  enodes  (cost  6 )
0.054 * * [simplify]: iteration  5 :  194  enodes  (cost  6 )
0.142 * * [simplify]: iteration  6 :  475  enodes  (cost  6 )
0.459 * * [simplify]: iteration  7 :  1303  enodes  (cost  6 )
2.109 * * [simplify]: iteration  done :  5000  enodes  (cost  6 )
2.109 * [simplify]: Simplified to:
   (exp (* (* x y) y))
2.109 * * [progress]: iteration 1 / 4
2.109 * * * [progress]: picking best candidate
2.112 * * * * [pick]: Picked  #<alt (λ (x y) (exp (* (* x y) y)))>
2.112 * * * [progress]: localizing error
2.117 * * * [progress]: generating rewritten candidates
2.117 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
2.123 * * * [progress]: generating series expansions
2.123 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
2.123 * [approximate]: Taking taylor expansion of (* x (pow y 2)) in (x y) around 0
2.123 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
2.123 * [taylor]: Taking taylor expansion of x in y
2.123 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.123 * [taylor]: Taking taylor expansion of y in y
2.123 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
2.123 * [taylor]: Taking taylor expansion of x in x
2.123 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.123 * [taylor]: Taking taylor expansion of y in x
2.123 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
2.123 * [taylor]: Taking taylor expansion of x in x
2.123 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.123 * [taylor]: Taking taylor expansion of y in x
2.123 * [taylor]: Taking taylor expansion of 0 in y
2.123 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.123 * [taylor]: Taking taylor expansion of y in y
2.124 * [taylor]: Taking taylor expansion of 0 in y
2.124 * [taylor]: Taking taylor expansion of 0 in y
2.124 * [approximate]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in (x y) around 0
2.124 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y
2.124 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
2.124 * [taylor]: Taking taylor expansion of x in y
2.124 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.124 * [taylor]: Taking taylor expansion of y in y
2.124 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
2.124 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
2.124 * [taylor]: Taking taylor expansion of x in x
2.124 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.124 * [taylor]: Taking taylor expansion of y in x
2.125 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x
2.125 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
2.125 * [taylor]: Taking taylor expansion of x in x
2.125 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.125 * [taylor]: Taking taylor expansion of y in x
2.125 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
2.125 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.125 * [taylor]: Taking taylor expansion of y in y
2.125 * [taylor]: Taking taylor expansion of 0 in y
2.126 * [taylor]: Taking taylor expansion of 0 in y
2.126 * [taylor]: Taking taylor expansion of 0 in y
2.127 * [taylor]: Taking taylor expansion of 0 in y
2.127 * [approximate]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in (x y) around 0
2.127 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y
2.127 * [taylor]: Taking taylor expansion of -1 in y
2.127 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y
2.127 * [taylor]: Taking taylor expansion of x in y
2.127 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.127 * [taylor]: Taking taylor expansion of y in y
2.127 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x
2.127 * [taylor]: Taking taylor expansion of -1 in x
2.127 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
2.127 * [taylor]: Taking taylor expansion of x in x
2.127 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.127 * [taylor]: Taking taylor expansion of y in x
2.127 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x
2.128 * [taylor]: Taking taylor expansion of -1 in x
2.128 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x
2.128 * [taylor]: Taking taylor expansion of x in x
2.128 * [taylor]: Taking taylor expansion of (pow y 2) in x
2.128 * [taylor]: Taking taylor expansion of y in x
2.133 * [taylor]: Taking taylor expansion of (/ -1 (pow y 2)) in y
2.133 * [taylor]: Taking taylor expansion of -1 in y
2.133 * [taylor]: Taking taylor expansion of (pow y 2) in y
2.133 * [taylor]: Taking taylor expansion of y in y
2.133 * [taylor]: Taking taylor expansion of 0 in y
2.134 * [taylor]: Taking taylor expansion of 0 in y
2.134 * [taylor]: Taking taylor expansion of 0 in y
2.135 * [taylor]: Taking taylor expansion of 0 in y
2.135 * * * [progress]: simplifying candidates
2.136 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (* x y) y)
  (* (* x y) y)
  (+ (+ (log x) (log y)) (log y))
  (+ (log (* x y)) (log y))
  (log (* (* x y) y))
  (exp (* (* x y) y))
  (* (* (* (* x x) x) (* (* y y) y)) (* (* y y) y))
  (* (* (* (* x y) (* x y)) (* x y)) (* (* y y) y))
  (* (cbrt (* (* x y) y)) (cbrt (* (* x y) y)))
  (cbrt (* (* x y) y))
  (* (* (* (* x y) y) (* (* x y) y)) (* (* x y) y))
  (sqrt (* (* x y) y))
  (sqrt (* (* x y) y))
  (* (* x y) (* (cbrt y) (cbrt y)))
  (* (* x y) (sqrt y))
  (* (* x y) 1)
  (* y y)
  (* x (pow y 2))
  (* x (pow y 2))
  (* x (pow y 2))
2.136 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
2.137 * * [simplify]: iteration  1 :  8  enodes  (cost  5 )
2.138 * * [simplify]: iteration  2 :  9  enodes  (cost  5 )
2.139 * * [simplify]: iteration  done :  9  enodes  (cost  5 )
2.140 * * [simplify]: iteration  0 :  4  enodes  (cost  5 )
2.140 * * [simplify]: iteration  1 :  8  enodes  (cost  5 )
2.141 * * [simplify]: iteration  2 :  9  enodes  (cost  5 )
2.143 * * [simplify]: iteration  done :  9  enodes  (cost  5 )
2.143 * * [simplify]: iteration  0 :  6  enodes  (cost  8 )
2.144 * * [simplify]: iteration  1 :  10  enodes  (cost  8 )
2.145 * * [simplify]: iteration  2 :  13  enodes  (cost  7 )
2.146 * * [simplify]: iteration  3 :  14  enodes  (cost  7 )
2.148 * * [simplify]: iteration  done :  14  enodes  (cost  7 )
2.149 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
2.149 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
2.151 * * [simplify]: iteration  2 :  13  enodes  (cost  7 )
2.152 * * [simplify]: iteration  3 :  16  enodes  (cost  7 )
2.154 * * [simplify]: iteration  4 :  17  enodes  (cost  7 )
2.155 * * [simplify]: iteration  done :  17  enodes  (cost  7 )
2.156 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
2.157 * * [simplify]: iteration  1 :  12  enodes  (cost  6 )
2.158 * * [simplify]: iteration  2 :  19  enodes  (cost  6 )
2.160 * * [simplify]: iteration  3 :  23  enodes  (cost  6 )
2.163 * * [simplify]: iteration  4 :  25  enodes  (cost  6 )
2.166 * * [simplify]: iteration  5 :  26  enodes  (cost  6 )
2.168 * * [simplify]: iteration  done :  26  enodes  (cost  6 )
2.169 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
2.170 * * [simplify]: iteration  1 :  11  enodes  (cost  6 )
2.171 * * [simplify]: iteration  2 :  22  enodes  (cost  6 )
2.174 * * [simplify]: iteration  3 :  40  enodes  (cost  6 )
2.179 * * [simplify]: iteration  4 :  84  enodes  (cost  6 )
2.197 * * [simplify]: iteration  5 :  194  enodes  (cost  6 )
2.281 * * [simplify]: iteration  6 :  475  enodes  (cost  6 )
2.602 * * [simplify]: iteration  7 :  1303  enodes  (cost  6 )
4.236 * * [simplify]: iteration  done :  5000  enodes  (cost  6 )
4.237 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
4.239 * * [simplify]: iteration  1 :  20  enodes  (cost  17 )
4.243 * * [simplify]: iteration  2 :  77  enodes  (cost  11 )
4.271 * * [simplify]: iteration  3 :  219  enodes  (cost  7 )
4.406 * * [simplify]: iteration  4 :  454  enodes  (cost  7 )
4.896 * * [simplify]: iteration  5 :  1201  enodes  (cost  7 )
7.416 * * [simplify]: iteration  6 :  4018  enodes  (cost  7 )
9.579 * * [simplify]: iteration  done :  5001  enodes  (cost  7 )
9.580 * * [simplify]: iteration  0 :  8  enodes  (cost  17 )
9.583 * * [simplify]: iteration  1 :  24  enodes  (cost  17 )
9.588 * * [simplify]: iteration  2 :  89  enodes  (cost  9 )
9.634 * * [simplify]: iteration  3 :  270  enodes  (cost  9 )
9.821 * * [simplify]: iteration  4 :  451  enodes  (cost  7 )
10.270 * * [simplify]: iteration  5 :  1025  enodes  (cost  7 )
12.398 * * [simplify]: iteration  6 :  3081  enodes  (cost  7 )
14.805 * * [simplify]: iteration  done :  5001  enodes  (cost  7 )
14.806 * * [simplify]: iteration  0 :  6  enodes  (cost  13 )
14.807 * * [simplify]: iteration  1 :  10  enodes  (cost  13 )
14.809 * * [simplify]: iteration  2 :  11  enodes  (cost  13 )
14.810 * * [simplify]: iteration  done :  11  enodes  (cost  13 )
14.810 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
14.811 * * [simplify]: iteration  1 :  9  enodes  (cost  6 )
14.812 * * [simplify]: iteration  2 :  10  enodes  (cost  6 )
14.813 * * [simplify]: iteration  done :  10  enodes  (cost  6 )
14.814 * * [simplify]: iteration  0 :  6  enodes  (cost  17 )
14.815 * * [simplify]: iteration  1 :  19  enodes  (cost  17 )
14.820 * * [simplify]: iteration  2 :  72  enodes  (cost  7 )
14.853 * * [simplify]: iteration  3 :  211  enodes  (cost  7 )
14.994 * * [simplify]: iteration  4 :  361  enodes  (cost  7 )
15.207 * * [simplify]: iteration  5 :  532  enodes  (cost  7 )
15.768 * * [simplify]: iteration  6 :  1355  enodes  (cost  7 )
19.102 * * [simplify]: iteration  7 :  4489  enodes  (cost  7 )
21.080 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
21.080 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
21.081 * * [simplify]: iteration  1 :  9  enodes  (cost  6 )
21.082 * * [simplify]: iteration  2 :  10  enodes  (cost  6 )
21.083 * * [simplify]: iteration  done :  10  enodes  (cost  6 )
21.084 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
21.084 * * [simplify]: iteration  1 :  9  enodes  (cost  6 )
21.086 * * [simplify]: iteration  2 :  10  enodes  (cost  6 )
21.087 * * [simplify]: iteration  done :  10  enodes  (cost  6 )
21.087 * * [simplify]: iteration  0 :  6  enodes  (cost  9 )
21.088 * * [simplify]: iteration  1 :  12  enodes  (cost  9 )
21.095 * * [simplify]: iteration  2 :  25  enodes  (cost  9 )
21.099 * * [simplify]: iteration  3 :  37  enodes  (cost  9 )
21.105 * * [simplify]: iteration  done :  37  enodes  (cost  9 )
21.106 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
21.107 * * [simplify]: iteration  1 :  9  enodes  (cost  6 )
21.108 * * [simplify]: iteration  2 :  15  enodes  (cost  6 )
21.110 * * [simplify]: iteration  done :  15  enodes  (cost  6 )
21.111 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
21.111 * * [simplify]: iteration  1 :  11  enodes  (cost  3 )
21.113 * * [simplify]: iteration  2 :  23  enodes  (cost  3 )
21.115 * * [simplify]: iteration  3 :  27  enodes  (cost  3 )
21.116 * * [simplify]: iteration  done :  27  enodes  (cost  3 )
21.117 * * [simplify]: iteration  0 :  2  enodes  (cost  3 )
21.117 * * [simplify]: iteration  done :  2  enodes  (cost  3 )
21.118 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
21.118 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
21.120 * * [simplify]: iteration  2 :  27  enodes  (cost  5 )
21.122 * * [simplify]: iteration  3 :  32  enodes  (cost  5 )
21.124 * * [simplify]: iteration  4 :  38  enodes  (cost  5 )
21.127 * * [simplify]: iteration  5 :  48  enodes  (cost  5 )
21.130 * * [simplify]: iteration  6 :  70  enodes  (cost  5 )
21.139 * * [simplify]: iteration  7 :  129  enodes  (cost  5 )
21.187 * * [simplify]: iteration  8 :  346  enodes  (cost  5 )
21.641 * * [simplify]: iteration  9 :  1272  enodes  (cost  5 )
23.892 * * [simplify]: iteration  done :  5000  enodes  (cost  5 )
23.893 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
23.894 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
23.895 * * [simplify]: iteration  2 :  27  enodes  (cost  5 )
23.897 * * [simplify]: iteration  3 :  32  enodes  (cost  5 )
23.899 * * [simplify]: iteration  4 :  38  enodes  (cost  5 )
23.902 * * [simplify]: iteration  5 :  48  enodes  (cost  5 )
23.906 * * [simplify]: iteration  6 :  70  enodes  (cost  5 )
23.915 * * [simplify]: iteration  7 :  129  enodes  (cost  5 )
23.961 * * [simplify]: iteration  8 :  346  enodes  (cost  5 )
24.394 * * [simplify]: iteration  9 :  1272  enodes  (cost  5 )
26.630 * * [simplify]: iteration  done :  5000  enodes  (cost  5 )
26.631 * * [simplify]: iteration  0 :  5  enodes  (cost  5 )
26.631 * * [simplify]: iteration  1 :  11  enodes  (cost  5 )
26.633 * * [simplify]: iteration  2 :  27  enodes  (cost  5 )
26.635 * * [simplify]: iteration  3 :  32  enodes  (cost  5 )
26.637 * * [simplify]: iteration  4 :  38  enodes  (cost  5 )
26.639 * * [simplify]: iteration  5 :  48  enodes  (cost  5 )
26.643 * * [simplify]: iteration  6 :  70  enodes  (cost  5 )
26.658 * * [simplify]: iteration  7 :  129  enodes  (cost  5 )
26.701 * * [simplify]: iteration  8 :  346  enodes  (cost  5 )
27.145 * * [simplify]: iteration  9 :  1272  enodes  (cost  5 )
29.404 * * [simplify]: iteration  done :  5000  enodes  (cost  5 )
29.405 * [simplify]: Simplified to:
   (* (* x y) y)
  (* (* x y) y)
  (+ (* 2 (log y)) (log x))
  (+ (log (* x y)) (log y))
  (log (* (* x y) y))
  (exp (* (* x y) y))
  (* (pow x 3) (pow y 6))
  (pow (* x (* y y)) 3)
  (* (cbrt (* (* x y) y)) (cbrt (* (* x y) y)))
  (cbrt (* (* x y) y))
  (pow (* (* x y) y) 3)
  (sqrt (* (* x y) y))
  (sqrt (* (* x y) y))
  (* (* x y) (* (cbrt y) (cbrt y)))
  (* (* x y) (sqrt y))
  (* x y)
  (* y y)
  (* x (pow y 2))
  (* x (pow y 2))
  (* x (pow y 2))
29.405 * * * [progress]: adding candidates to table
29.430 * [progress]: [Phase 3 of 3] Extracting.
29.432 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (exp (* (* x y) y))
29.433 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
29.433 * * [simplify]: iteration  1 :  7  enodes  (cost  6 )
29.433 * * [simplify]: iteration  done :  7  enodes  (cost  6 )
29.433 * [simplify]: Simplified to:
   (exp (* (* x y) y))
30.278 * [regime-testing]: End program error score: 0.011094372930801509