8.378 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.021 * * * [progress]: [2/2] Setting up program.
0.025 * [progress]: [Phase 2 of 3] Improving.
0.025 * [simplify]: Simplifying:
  (* (* (* d1 d1) d1) d1)
0.026 * * [simplify]: Extracting # 0 : cost  1  inf +  0
0.026 * * [simplify]: Extracting # 1 : cost  3  inf +  0
0.026 * * [simplify]: Extracting # 2 : cost  3  inf +  1
0.026 * * [simplify]: Extracting # 3 : cost  0  inf +  244
0.026 * * [simplify]: iteration  0 :  4  enodes  (cost  121 )
0.027 * * [simplify]: Extracting # 0 : cost  0  inf +  244
0.027 * * [simplify]: Extracting # 1 : cost  0  inf +  204
0.027 * * [simplify]: iteration  1 :  7  enodes  (cost  81 )
0.029 * * [simplify]: Extracting # 0 : cost  0  inf +  204
0.029 * * [simplify]: Extracting # 1 : cost  1  inf +  204
0.029 * * [simplify]: Extracting # 2 : cost  0  inf +  205
0.029 * * [simplify]: iteration  2 :  9  enodes  (cost  81 )
0.037 * * [simplify]: Extracting # 0 : cost  0  inf +  205
0.037 * * [simplify]: Extracting # 1 : cost  2  inf +  205
0.037 * * [simplify]: Extracting # 2 : cost  2  inf +  206
0.037 * * [simplify]: Extracting # 3 : cost  0  inf +  419
0.037 * * [simplify]: iteration  3 :  18  enodes  (cost  81 )
0.045 * * [simplify]: Extracting # 0 : cost  0  inf +  419
0.045 * * [simplify]: Extracting # 1 : cost  4  inf +  419
0.045 * * [simplify]: Extracting # 2 : cost  4  inf +  923
0.045 * * [simplify]: Extracting # 3 : cost  0  inf +  1349
0.046 * * [simplify]: iteration  4 :  37  enodes  (cost  81 )
0.057 * * [simplify]: Extracting # 0 : cost  0  inf +  1349
0.057 * * [simplify]: Extracting # 1 : cost  13  inf +  885
0.057 * * [simplify]: Extracting # 2 : cost  4  inf +  3817
0.058 * * [simplify]: Extracting # 3 : cost  1  inf +  3991
0.058 * * [simplify]: Extracting # 4 : cost  0  inf +  4123
0.058 * * [simplify]: iteration  5 :  114  enodes  (cost  81 )
0.102 * * [simplify]: Extracting # 0 : cost  0  inf +  4123
0.103 * * [simplify]: Extracting # 1 : cost  62  inf +  2913
0.104 * * [simplify]: Extracting # 2 : cost  4  inf +  16745
0.105 * * [simplify]: Extracting # 3 : cost  2  inf +  16707
0.107 * * [simplify]: Extracting # 4 : cost  0  inf +  17051
0.108 * * [simplify]: iteration  6 :  386  enodes  (cost  81 )
0.344 * * [simplify]: Extracting # 0 : cost  0  inf +  17051
0.350 * * [simplify]: Extracting # 1 : cost  297  inf +  9247
0.355 * * [simplify]: Extracting # 2 : cost  6  inf +  88161
0.362 * * [simplify]: Extracting # 3 : cost  1  inf +  87893
0.369 * * [simplify]: Extracting # 4 : cost  0  inf +  87974
0.379 * * [simplify]: iteration  7 :  1497  enodes  (cost  81 )
0.885 * * [simplify]: Extracting # 0 : cost  0  inf +  87974
0.908 * * [simplify]: Extracting # 1 : cost  1514  inf +  73680
0.942 * * [simplify]: Extracting # 2 : cost  161  inf +  486817
0.997 * * [simplify]: Extracting # 3 : cost  39  inf +  499757
1.044 * * [simplify]: Extracting # 4 : cost  0  inf +  510252
1.090 * * [simplify]: iteration done:  5001  enodes  (cost  81 )
1.090 * [simplify]: Simplified to:
  (* (* d1 d1) (* d1 d1))
1.094 * * [progress]: iteration 1 / 4
1.094 * * * [progress]: picking best candidate
1.098 * * * * [pick]: Picked  #<alt (λ (d1) (* (* (* d1 d1) d1) d1))>
1.098 * * * [progress]: localizing error
1.105 * * * [progress]: generating rewritten candidates
1.105 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
1.123 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
1.187 * * * [progress]: generating series expansions
1.187 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
1.187 * [backup-simplify]: Simplify (* (* d1 d1) d1) into (pow d1 3)
1.187 * [approximate]: Taking taylor expansion of (pow d1 3) in (d1) around 0
1.187 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
1.187 * [taylor]: Taking taylor expansion of d1 in d1
1.187 * [backup-simplify]: Simplify 0 into 0
1.187 * [backup-simplify]: Simplify 1 into 1
1.187 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
1.187 * [taylor]: Taking taylor expansion of d1 in d1
1.187 * [backup-simplify]: Simplify 0 into 0
1.187 * [backup-simplify]: Simplify 1 into 1
1.188 * [backup-simplify]: Simplify (* 1 1) into 1
1.188 * [backup-simplify]: Simplify (* 1 1) into 1
1.188 * [backup-simplify]: Simplify 1 into 1
1.188 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.189 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.189 * [backup-simplify]: Simplify 0 into 0
1.189 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.190 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.190 * [backup-simplify]: Simplify 0 into 0
1.190 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.191 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.191 * [backup-simplify]: Simplify 0 into 0
1.192 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.192 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.192 * [backup-simplify]: Simplify 0 into 0
1.193 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.194 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.194 * [backup-simplify]: Simplify 0 into 0
1.195 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.196 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.196 * [backup-simplify]: Simplify 0 into 0
1.196 * [backup-simplify]: Simplify (* 1 (pow d1 3)) into (pow d1 3)
1.196 * [backup-simplify]: Simplify (* (* (/ 1 d1) (/ 1 d1)) (/ 1 d1)) into (/ 1 (pow d1 3))
1.196 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0
1.196 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
1.196 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
1.196 * [taylor]: Taking taylor expansion of d1 in d1
1.196 * [backup-simplify]: Simplify 0 into 0
1.196 * [backup-simplify]: Simplify 1 into 1
1.196 * [backup-simplify]: Simplify (* 1 1) into 1
1.197 * [backup-simplify]: Simplify (* 1 1) into 1
1.197 * [backup-simplify]: Simplify (/ 1 1) into 1
1.197 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1
1.197 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
1.197 * [taylor]: Taking taylor expansion of d1 in d1
1.197 * [backup-simplify]: Simplify 0 into 0
1.197 * [backup-simplify]: Simplify 1 into 1
1.197 * [backup-simplify]: Simplify (* 1 1) into 1
1.197 * [backup-simplify]: Simplify (* 1 1) into 1
1.198 * [backup-simplify]: Simplify (/ 1 1) into 1
1.198 * [backup-simplify]: Simplify 1 into 1
1.198 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.199 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.199 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.199 * [backup-simplify]: Simplify 0 into 0
1.200 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.201 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.201 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.201 * [backup-simplify]: Simplify 0 into 0
1.202 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.203 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.204 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.204 * [backup-simplify]: Simplify 0 into 0
1.205 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.208 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.209 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.209 * [backup-simplify]: Simplify 0 into 0
1.210 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.211 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.212 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.212 * [backup-simplify]: Simplify 0 into 0
1.213 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.214 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.215 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.215 * [backup-simplify]: Simplify 0 into 0
1.215 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 3)) into (pow d1 3)
1.216 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (/ 1 (- d1))) (/ 1 (- d1))) into (/ -1 (pow d1 3))
1.216 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0
1.216 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
1.216 * [taylor]: Taking taylor expansion of -1 in d1
1.216 * [backup-simplify]: Simplify -1 into -1
1.216 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
1.216 * [taylor]: Taking taylor expansion of d1 in d1
1.216 * [backup-simplify]: Simplify 0 into 0
1.216 * [backup-simplify]: Simplify 1 into 1
1.216 * [backup-simplify]: Simplify (* 1 1) into 1
1.216 * [backup-simplify]: Simplify (* 1 1) into 1
1.217 * [backup-simplify]: Simplify (/ -1 1) into -1
1.217 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1
1.217 * [taylor]: Taking taylor expansion of -1 in d1
1.217 * [backup-simplify]: Simplify -1 into -1
1.217 * [taylor]: Taking taylor expansion of (pow d1 3) in d1
1.217 * [taylor]: Taking taylor expansion of d1 in d1
1.217 * [backup-simplify]: Simplify 0 into 0
1.217 * [backup-simplify]: Simplify 1 into 1
1.217 * [backup-simplify]: Simplify (* 1 1) into 1
1.218 * [backup-simplify]: Simplify (* 1 1) into 1
1.218 * [backup-simplify]: Simplify (/ -1 1) into -1
1.218 * [backup-simplify]: Simplify -1 into -1
1.219 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.219 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.220 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1.220 * [backup-simplify]: Simplify 0 into 0
1.221 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.221 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.222 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.222 * [backup-simplify]: Simplify 0 into 0
1.223 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.224 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.225 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.225 * [backup-simplify]: Simplify 0 into 0
1.225 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.226 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.227 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.227 * [backup-simplify]: Simplify 0 into 0
1.227 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.228 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.229 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.229 * [backup-simplify]: Simplify 0 into 0
1.230 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.230 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.231 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.231 * [backup-simplify]: Simplify 0 into 0
1.231 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 3)) into (pow d1 3)
1.231 * * * * [progress]: [ 2 / 2 ] generating series at (2)
1.231 * [backup-simplify]: Simplify (* (* (* d1 d1) d1) d1) into (pow d1 4)
1.231 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0
1.232 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
1.232 * [taylor]: Taking taylor expansion of d1 in d1
1.232 * [backup-simplify]: Simplify 0 into 0
1.232 * [backup-simplify]: Simplify 1 into 1
1.232 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
1.232 * [taylor]: Taking taylor expansion of d1 in d1
1.232 * [backup-simplify]: Simplify 0 into 0
1.232 * [backup-simplify]: Simplify 1 into 1
1.232 * [backup-simplify]: Simplify (* 1 1) into 1
1.232 * [backup-simplify]: Simplify (* 1 1) into 1
1.232 * [backup-simplify]: Simplify 1 into 1
1.233 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.233 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.233 * [backup-simplify]: Simplify 0 into 0
1.234 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.235 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.235 * [backup-simplify]: Simplify 0 into 0
1.236 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.237 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.237 * [backup-simplify]: Simplify 0 into 0
1.238 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.239 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.239 * [backup-simplify]: Simplify 0 into 0
1.240 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.241 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.241 * [backup-simplify]: Simplify 0 into 0
1.242 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.243 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.243 * [backup-simplify]: Simplify 0 into 0
1.244 * [backup-simplify]: Simplify (* 1 (pow d1 4)) into (pow d1 4)
1.244 * [backup-simplify]: Simplify (* (* (* (/ 1 d1) (/ 1 d1)) (/ 1 d1)) (/ 1 d1)) into (/ 1 (pow d1 4))
1.244 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
1.244 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
1.244 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
1.244 * [taylor]: Taking taylor expansion of d1 in d1
1.244 * [backup-simplify]: Simplify 0 into 0
1.244 * [backup-simplify]: Simplify 1 into 1
1.244 * [backup-simplify]: Simplify (* 1 1) into 1
1.245 * [backup-simplify]: Simplify (* 1 1) into 1
1.245 * [backup-simplify]: Simplify (/ 1 1) into 1
1.245 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
1.245 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
1.245 * [taylor]: Taking taylor expansion of d1 in d1
1.245 * [backup-simplify]: Simplify 0 into 0
1.245 * [backup-simplify]: Simplify 1 into 1
1.245 * [backup-simplify]: Simplify (* 1 1) into 1
1.246 * [backup-simplify]: Simplify (* 1 1) into 1
1.246 * [backup-simplify]: Simplify (/ 1 1) into 1
1.246 * [backup-simplify]: Simplify 1 into 1
1.247 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.247 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.248 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.248 * [backup-simplify]: Simplify 0 into 0
1.249 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.250 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.250 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.250 * [backup-simplify]: Simplify 0 into 0
1.251 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.252 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.253 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.253 * [backup-simplify]: Simplify 0 into 0
1.254 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.255 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.255 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.256 * [backup-simplify]: Simplify 0 into 0
1.257 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.258 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.258 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.258 * [backup-simplify]: Simplify 0 into 0
1.259 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.260 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.261 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.261 * [backup-simplify]: Simplify 0 into 0
1.261 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 4)) into (pow d1 4)
1.261 * [backup-simplify]: Simplify (* (* (* (/ 1 (- d1)) (/ 1 (- d1))) (/ 1 (- d1))) (/ 1 (- d1))) into (/ 1 (pow d1 4))
1.261 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0
1.261 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
1.261 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
1.261 * [taylor]: Taking taylor expansion of d1 in d1
1.261 * [backup-simplify]: Simplify 0 into 0
1.261 * [backup-simplify]: Simplify 1 into 1
1.262 * [backup-simplify]: Simplify (* 1 1) into 1
1.262 * [backup-simplify]: Simplify (* 1 1) into 1
1.262 * [backup-simplify]: Simplify (/ 1 1) into 1
1.262 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1
1.262 * [taylor]: Taking taylor expansion of (pow d1 4) in d1
1.262 * [taylor]: Taking taylor expansion of d1 in d1
1.262 * [backup-simplify]: Simplify 0 into 0
1.262 * [backup-simplify]: Simplify 1 into 1
1.262 * [backup-simplify]: Simplify (* 1 1) into 1
1.263 * [backup-simplify]: Simplify (* 1 1) into 1
1.263 * [backup-simplify]: Simplify (/ 1 1) into 1
1.263 * [backup-simplify]: Simplify 1 into 1
1.263 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.264 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.264 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.264 * [backup-simplify]: Simplify 0 into 0
1.265 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.265 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.266 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.266 * [backup-simplify]: Simplify 0 into 0
1.266 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.267 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.267 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.267 * [backup-simplify]: Simplify 0 into 0
1.268 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.269 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.269 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.269 * [backup-simplify]: Simplify 0 into 0
1.270 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.271 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.271 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.271 * [backup-simplify]: Simplify 0 into 0
1.272 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.273 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.274 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.274 * [backup-simplify]: Simplify 0 into 0
1.274 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 4)) into (pow d1 4)
1.274 * * * [progress]: simplifying candidates
1.275 * [simplify]: Simplifying:
  (+ (+ 1 1) 1)
  (+ 2 1)
  (+ (+ 1 1) 1)
  (+ (* 2 1) 1)
  (* (* d1 d1) d1)
  (* (* d1 d1) d1)
  (+ (+ 1 1) 1)
  (+ 2 1)
  (+ (+ 1 1) 1)
  (+ (* 2 1) 1)
  (+ (+ (log d1) (log d1)) (log d1))
  (+ (log (* d1 d1)) (log d1))
  (log (* (* d1 d1) d1))
  (exp (* (* d1 d1) d1))
  (* (* (* (* d1 d1) d1) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* d1 d1) d1))
  (* (cbrt (* (* d1 d1) d1)) (cbrt (* (* d1 d1) d1)))
  (cbrt (* (* d1 d1) d1))
  (* (* (* (* d1 d1) d1) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (sqrt (* (* d1 d1) d1))
  (sqrt (* (* d1 d1) d1))
  (* d1 (sqrt d1))
  (* d1 (sqrt d1))
  (* (* d1 d1) (* (cbrt d1) (cbrt d1)))
  (* (* d1 d1) (sqrt d1))
  (* (* d1 d1) 1)
  (* d1 d1)
  (+ (+ (+ 1 1) 1) 1)
  (+ (+ 2 1) 1)
  (+ (+ (+ 1 1) 1) 1)
  (+ (+ (* 2 1) 1) 1)
  (+ 3 1)
  (+ (+ (+ 1 1) 1) 1)
  (+ (+ 2 1) 1)
  (+ (+ (+ 1 1) 1) 1)
  (+ (+ (* 2 1) 1) 1)
  (* (* (* d1 d1) d1) d1)
  (* (* (* d1 d1) d1) d1)
  (* (* (* d1 d1) d1) d1)
  (+ (+ (+ 1 1) 1) 1)
  (+ (+ 2 1) 1)
  (+ (+ (+ 1 1) 1) 1)
  (+ (+ (* 2 1) 1) 1)
  (+ 3 1)
  (+ (+ (+ 1 1) 1) 1)
  (+ (+ 2 1) 1)
  (+ (+ (+ 1 1) 1) 1)
  (+ (+ (* 2 1) 1) 1)
  (+ (+ (+ (log d1) (log d1)) (log d1)) (log d1))
  (+ (+ (log (* d1 d1)) (log d1)) (log d1))
  (+ (log (* (* d1 d1) d1)) (log d1))
  (log (* (* (* d1 d1) d1) d1))
  (exp (* (* (* d1 d1) d1) d1))
  (* (* (* (* (* d1 d1) d1) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (* (* (* (* d1 d1) (* d1 d1)) (* d1 d1)) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (* (* (* (* d1 d1) d1) (* (* d1 d1) d1)) (* (* d1 d1) d1)) (* (* d1 d1) d1))
  (* (cbrt (* (* (* d1 d1) d1) d1)) (cbrt (* (* (* d1 d1) d1) d1)))
  (cbrt (* (* (* d1 d1) d1) d1))
  (* (* (* (* (* d1 d1) d1) d1) (* (* (* d1 d1) d1) d1)) (* (* (* d1 d1) d1) d1))
  (sqrt (* (* (* d1 d1) d1) d1))
  (sqrt (* (* (* d1 d1) d1) d1))
  (* (* (* d1 d1) d1) (* (cbrt d1) (cbrt d1)))
  (* (* (* d1 d1) d1) (sqrt d1))
  (* (* (* d1 d1) d1) 1)
  (* d1 d1)
  (pow d1 3)
  (pow d1 3)
  (pow d1 3)
  (pow d1 4)
  (pow d1 4)
  (pow d1 4)
1.275 * * [simplify]: Extracting # 0 : cost  39  inf +  0
1.275 * * [simplify]: Extracting # 1 : cost  54  inf +  0
1.276 * * [simplify]: Extracting # 2 : cost  47  inf +  209
1.276 * * [simplify]: Extracting # 3 : cost  15  inf +  4260
1.276 * * [simplify]: Extracting # 4 : cost  1  inf +  7015
1.277 * * [simplify]: Extracting # 5 : cost  0  inf +  7216
1.277 * * [simplify]: iteration  0 :  56  enodes  (cost  9913 )
1.300 * * [simplify]: Extracting # 0 : cost  0  inf +  7216
1.302 * * [simplify]: Extracting # 1 : cost  27  inf +  4306
1.303 * * [simplify]: Extracting # 2 : cost  2  inf +  7804
1.305 * * [simplify]: Extracting # 3 : cost  0  inf +  7817
1.306 * * [simplify]: Extracting # 4 : cost  0  inf +  7777
1.308 * * [simplify]: iteration  1 :  160  enodes  (cost  6174 )
1.483 * * [simplify]: Extracting # 0 : cost  0  inf +  7777
1.488 * * [simplify]: Extracting # 1 : cost  518  inf +  4867
1.497 * * [simplify]: Extracting # 2 : cost  10  inf +  70334
1.508 * * [simplify]: Extracting # 3 : cost  4  inf +  70905
1.518 * * [simplify]: Extracting # 4 : cost  0  inf +  72243
1.529 * * [simplify]: iteration  2 :  1481  enodes  (cost  4948 )
2.639 * * [simplify]: Extracting # 0 : cost  0  inf +  72243
2.732 * * [simplify]: Extracting # 1 : cost  1791  inf +  55696
2.769 * * [simplify]: Extracting # 2 : cost  0  inf +  252087
2.801 * * [simplify]: Extracting # 3 : cost  0  inf +  251574
2.835 * * [simplify]: iteration done:  5001  enodes  (cost  4948 )
2.835 * [simplify]: Simplified to:
  3
  3
  3
  3
  (* (* d1 d1) d1)
  (* (* d1 d1) d1)
  3
  3
  3
  3
  (* 3 (log d1))
  (* 3 (log d1))
  (* 3 (log d1))
  (exp (* (* d1 d1) d1))
  (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (* d1 d1)
  d1
  (* (* (* d1 d1) d1) (* (* (* d1 d1) d1) (* (* d1 d1) d1)))
  (sqrt (* (* d1 d1) d1))
  (sqrt (* (* d1 d1) d1))
  (* (sqrt d1) d1)
  (* (sqrt d1) d1)
  (* (* d1 (cbrt d1)) (* d1 (cbrt d1)))
  (* (* d1 d1) (sqrt d1))
  (* d1 d1)
  (* d1 d1)
  4
  4
  4
  4
  4
  4
  4
  4
  4
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  4
  4
  4
  4
  4
  4
  4
  4
  4
  (* (log d1) 4)
  (* (log d1) 4)
  (* (log d1) 4)
  (* (log d1) 4)
  (exp (* (* d1 d1) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (* (cbrt (* (* d1 d1) (* d1 d1))) (cbrt (* (* d1 d1) (* d1 d1))))
  (cbrt (* (* d1 d1) (* d1 d1)))
  (* (* (* (* d1 d1) (* d1 d1)) (* (* d1 d1) (* d1 d1))) (* (* d1 d1) (* d1 d1)))
  (fabs (* d1 d1))
  (fabs (* d1 d1))
  (* d1 (* (* d1 (cbrt d1)) (* d1 (cbrt d1))))
  (* (sqrt d1) (* (* d1 d1) d1))
  (* (* d1 d1) d1)
  (* d1 d1)
  (* (* d1 d1) d1)
  (* (* d1 d1) d1)
  (* (* d1 d1) d1)
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
  (* (* d1 d1) (* d1 d1))
2.836 * * * [progress]: adding candidates to table
2.929 * * [progress]: iteration 2 / 4
2.929 * * * [progress]: picking best candidate
2.934 * * * * [pick]: Picked  #<alt (λ (d1) (pow d1 4))>
2.934 * * * [progress]: localizing error
2.937 * * * [progress]: generating rewritten candidates
2.937 * * * [progress]: generating series expansions
2.937 * * * [progress]: simplifying candidates
2.938 * [simplify]: Simplifying:
  
2.938 * * [simplify]: Extracting # 0 : cost  0  inf +  0
2.938 * * [simplify]: iteration  0 :  0  enodes  (cost  0 )
2.938 * * [simplify]: Extracting # 0 : cost  0  inf +  0
2.938 * * [simplify]: iteration done:  0  enodes  (cost  0 )
2.938 * [simplify]: Simplified to:
  
2.938 * * * [progress]: adding candidates to table
2.938 * [progress]: [Phase 3 of 3] Extracting.
2.942 * [simplify]: Simplifying:
  (pow d1 4)
2.942 * * [simplify]: Extracting # 0 : cost  1  inf +  0
2.942 * * [simplify]: Extracting # 1 : cost  3  inf +  0
2.942 * * [simplify]: Extracting # 2 : cost  1  inf +  2
2.942 * * [simplify]: Extracting # 3 : cost  0  inf +  214
2.942 * * [simplify]: iteration  0 :  3  enodes  (cost  212 )
2.943 * * [simplify]: Extracting # 0 : cost  0  inf +  214
2.943 * * [simplify]: iteration done:  3  enodes  (cost  212 )
2.943 * [simplify]: Simplified to:
  (pow d1 4)
3.816 * [regime-testing]: Baseline error score: 0
3.829 * [regime-testing]: Oracle error score: 0
3.829 * [regime-testing]: End program error score: 0
3.942 * [regime-testing]: Target error score: 0