1553942946.247 * [progress]: [Phase 1 of 3] Setting up. 1553942946.247 * * * [progress]: [1/2] Preparing points 1553942946.270 * * * [progress]: [2/2] Setting up program. 1553942946.272 * [progress]: [Phase 2 of 3] Improving. 1553942946.272 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553942946.272 * [simplify]: Simplifying (* (* (* d1 d1) d1) d1) 1553942946.272 * * [simplify]: iters left: 6 (4 enodes) 1553942946.273 * * [simplify]: iters left: 5 (15 enodes) 1553942946.275 * * [simplify]: iters left: 4 (17 enodes) 1553942946.278 * * [simplify]: iters left: 3 (23 enodes) 1553942946.281 * * [simplify]: iters left: 2 (29 enodes) 1553942946.290 * * [simplify]: iters left: 1 (31 enodes) 1553942946.298 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942946.298 * * [simplify]: Extracting #1: cost 6 inf + 0 1553942946.298 * * [simplify]: Extracting #2: cost 7 inf + 2 1553942946.298 * * [simplify]: Extracting #3: cost 0 inf + 409 1553942946.298 * [simplify]: Simplified to (* (* d1 d1) (* d1 d1)) 1553942946.298 * [simplify]: Simplified (2) to (λ (d1) (* (* d1 d1) (* d1 d1))) 1553942946.305 * * [progress]: iteration 1 / 4 1553942946.305 * * * [progress]: picking best candidate 1553942946.309 * * * * [pick]: Picked # 1553942946.309 * * * [progress]: localizing error 1553942946.324 * * * [progress]: generating rewritten candidates 1553942946.324 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1553942946.342 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 1553942946.345 * * * [progress]: generating series expansions 1553942946.345 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1553942946.345 * [backup-simplify]: Simplify (* (* (* d1 d1) d1) d1) into (pow d1 4) 1553942946.345 * [approximate]: Taking taylor expansion of (pow d1 4) in (d1) around 0 1553942946.345 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 1553942946.345 * [taylor]: Taking taylor expansion of d1 in d1 1553942946.345 * [backup-simplify]: Simplify 0 into 0 1553942946.345 * [backup-simplify]: Simplify 1 into 1 1553942946.345 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 1553942946.345 * [taylor]: Taking taylor expansion of d1 in d1 1553942946.345 * [backup-simplify]: Simplify 0 into 0 1553942946.345 * [backup-simplify]: Simplify 1 into 1 1553942946.346 * [backup-simplify]: Simplify (* 1 1) into 1 1553942946.346 * [backup-simplify]: Simplify (* 1 1) into 1 1553942946.346 * [backup-simplify]: Simplify 1 into 1 1553942946.346 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942946.347 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942946.347 * [backup-simplify]: Simplify 0 into 0 1553942946.347 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553942946.348 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553942946.348 * [backup-simplify]: Simplify 0 into 0 1553942946.348 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553942946.349 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553942946.349 * [backup-simplify]: Simplify 0 into 0 1553942946.350 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553942946.350 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553942946.350 * [backup-simplify]: Simplify 0 into 0 1553942946.351 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553942946.352 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553942946.352 * [backup-simplify]: Simplify 0 into 0 1553942946.353 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553942946.354 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553942946.354 * [backup-simplify]: Simplify 0 into 0 1553942946.354 * [backup-simplify]: Simplify (* 1 (pow d1 4)) into (pow d1 4) 1553942946.354 * [backup-simplify]: Simplify (* (* (* (/ 1 d1) (/ 1 d1)) (/ 1 d1)) (/ 1 d1)) into (/ 1 (pow d1 4)) 1553942946.354 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 1553942946.354 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 1553942946.354 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 1553942946.354 * [taylor]: Taking taylor expansion of d1 in d1 1553942946.354 * [backup-simplify]: Simplify 0 into 0 1553942946.354 * [backup-simplify]: Simplify 1 into 1 1553942946.354 * [backup-simplify]: Simplify (* 1 1) into 1 1553942946.355 * [backup-simplify]: Simplify (* 1 1) into 1 1553942946.355 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942946.355 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 1553942946.355 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 1553942946.355 * [taylor]: Taking taylor expansion of d1 in d1 1553942946.355 * [backup-simplify]: Simplify 0 into 0 1553942946.355 * [backup-simplify]: Simplify 1 into 1 1553942946.355 * [backup-simplify]: Simplify (* 1 1) into 1 1553942946.355 * [backup-simplify]: Simplify (* 1 1) into 1 1553942946.356 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942946.356 * [backup-simplify]: Simplify 1 into 1 1553942946.356 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942946.357 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942946.357 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942946.357 * [backup-simplify]: Simplify 0 into 0 1553942946.358 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553942946.358 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553942946.359 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942946.359 * [backup-simplify]: Simplify 0 into 0 1553942946.360 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553942946.360 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553942946.361 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942946.361 * [backup-simplify]: Simplify 0 into 0 1553942946.361 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553942946.362 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553942946.363 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942946.363 * [backup-simplify]: Simplify 0 into 0 1553942946.363 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553942946.364 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553942946.365 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942946.365 * [backup-simplify]: Simplify 0 into 0 1553942946.366 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553942946.368 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553942946.369 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942946.369 * [backup-simplify]: Simplify 0 into 0 1553942946.369 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 4)) into (pow d1 4) 1553942946.369 * [backup-simplify]: Simplify (* (* (* (/ 1 (- d1)) (/ 1 (- d1))) (/ 1 (- d1))) (/ 1 (- d1))) into (/ 1 (pow d1 4)) 1553942946.369 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 4)) in (d1) around 0 1553942946.369 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 1553942946.369 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 1553942946.369 * [taylor]: Taking taylor expansion of d1 in d1 1553942946.369 * [backup-simplify]: Simplify 0 into 0 1553942946.370 * [backup-simplify]: Simplify 1 into 1 1553942946.370 * [backup-simplify]: Simplify (* 1 1) into 1 1553942946.370 * [backup-simplify]: Simplify (* 1 1) into 1 1553942946.371 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942946.371 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 4)) in d1 1553942946.371 * [taylor]: Taking taylor expansion of (pow d1 4) in d1 1553942946.371 * [taylor]: Taking taylor expansion of d1 in d1 1553942946.371 * [backup-simplify]: Simplify 0 into 0 1553942946.371 * [backup-simplify]: Simplify 1 into 1 1553942946.371 * [backup-simplify]: Simplify (* 1 1) into 1 1553942946.372 * [backup-simplify]: Simplify (* 1 1) into 1 1553942946.372 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942946.372 * [backup-simplify]: Simplify 1 into 1 1553942946.373 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942946.374 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942946.374 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942946.374 * [backup-simplify]: Simplify 0 into 0 1553942946.375 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553942946.376 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553942946.377 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942946.377 * [backup-simplify]: Simplify 0 into 0 1553942946.378 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553942946.379 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553942946.380 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942946.380 * [backup-simplify]: Simplify 0 into 0 1553942946.382 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553942946.383 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553942946.384 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942946.384 * [backup-simplify]: Simplify 0 into 0 1553942946.385 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553942946.386 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553942946.387 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942946.387 * [backup-simplify]: Simplify 0 into 0 1553942946.389 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553942946.390 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553942946.391 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942946.391 * [backup-simplify]: Simplify 0 into 0 1553942946.391 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- d1))) 4)) into (pow d1 4) 1553942946.392 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 1553942946.392 * [backup-simplify]: Simplify (* (* d1 d1) d1) into (pow d1 3) 1553942946.392 * [approximate]: Taking taylor expansion of (pow d1 3) in (d1) around 0 1553942946.392 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 1553942946.392 * [taylor]: Taking taylor expansion of d1 in d1 1553942946.392 * [backup-simplify]: Simplify 0 into 0 1553942946.392 * [backup-simplify]: Simplify 1 into 1 1553942946.392 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 1553942946.392 * [taylor]: Taking taylor expansion of d1 in d1 1553942946.392 * [backup-simplify]: Simplify 0 into 0 1553942946.392 * [backup-simplify]: Simplify 1 into 1 1553942946.392 * [backup-simplify]: Simplify (* 1 1) into 1 1553942946.393 * [backup-simplify]: Simplify (* 1 1) into 1 1553942946.393 * [backup-simplify]: Simplify 1 into 1 1553942946.393 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942946.394 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942946.394 * [backup-simplify]: Simplify 0 into 0 1553942946.395 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553942946.396 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553942946.396 * [backup-simplify]: Simplify 0 into 0 1553942946.397 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553942946.398 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553942946.398 * [backup-simplify]: Simplify 0 into 0 1553942946.399 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553942946.400 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553942946.400 * [backup-simplify]: Simplify 0 into 0 1553942946.402 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553942946.403 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553942946.403 * [backup-simplify]: Simplify 0 into 0 1553942946.405 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553942946.406 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553942946.406 * [backup-simplify]: Simplify 0 into 0 1553942946.406 * [backup-simplify]: Simplify (* 1 (pow d1 3)) into (pow d1 3) 1553942946.406 * [backup-simplify]: Simplify (* (* (/ 1 d1) (/ 1 d1)) (/ 1 d1)) into (/ 1 (pow d1 3)) 1553942946.406 * [approximate]: Taking taylor expansion of (/ 1 (pow d1 3)) in (d1) around 0 1553942946.406 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 1553942946.406 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 1553942946.407 * [taylor]: Taking taylor expansion of d1 in d1 1553942946.407 * [backup-simplify]: Simplify 0 into 0 1553942946.407 * [backup-simplify]: Simplify 1 into 1 1553942946.407 * [backup-simplify]: Simplify (* 1 1) into 1 1553942946.407 * [backup-simplify]: Simplify (* 1 1) into 1 1553942946.408 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942946.408 * [taylor]: Taking taylor expansion of (/ 1 (pow d1 3)) in d1 1553942946.408 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 1553942946.408 * [taylor]: Taking taylor expansion of d1 in d1 1553942946.408 * [backup-simplify]: Simplify 0 into 0 1553942946.408 * [backup-simplify]: Simplify 1 into 1 1553942946.408 * [backup-simplify]: Simplify (* 1 1) into 1 1553942946.409 * [backup-simplify]: Simplify (* 1 1) into 1 1553942946.409 * [backup-simplify]: Simplify (/ 1 1) into 1 1553942946.409 * [backup-simplify]: Simplify 1 into 1 1553942946.410 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942946.410 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942946.411 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553942946.411 * [backup-simplify]: Simplify 0 into 0 1553942946.412 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553942946.413 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553942946.414 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942946.414 * [backup-simplify]: Simplify 0 into 0 1553942946.415 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553942946.416 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553942946.417 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942946.417 * [backup-simplify]: Simplify 0 into 0 1553942946.418 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553942946.419 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553942946.420 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942946.420 * [backup-simplify]: Simplify 0 into 0 1553942946.421 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553942946.422 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553942946.423 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942946.423 * [backup-simplify]: Simplify 0 into 0 1553942946.423 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553942946.424 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553942946.425 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942946.425 * [backup-simplify]: Simplify 0 into 0 1553942946.425 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 d1)) 3)) into (pow d1 3) 1553942946.425 * [backup-simplify]: Simplify (* (* (/ 1 (- d1)) (/ 1 (- d1))) (/ 1 (- d1))) into (/ -1 (pow d1 3)) 1553942946.425 * [approximate]: Taking taylor expansion of (/ -1 (pow d1 3)) in (d1) around 0 1553942946.425 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 1553942946.425 * [taylor]: Taking taylor expansion of -1 in d1 1553942946.425 * [backup-simplify]: Simplify -1 into -1 1553942946.425 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 1553942946.425 * [taylor]: Taking taylor expansion of d1 in d1 1553942946.425 * [backup-simplify]: Simplify 0 into 0 1553942946.425 * [backup-simplify]: Simplify 1 into 1 1553942946.425 * [backup-simplify]: Simplify (* 1 1) into 1 1553942946.426 * [backup-simplify]: Simplify (* 1 1) into 1 1553942946.426 * [backup-simplify]: Simplify (/ -1 1) into -1 1553942946.426 * [taylor]: Taking taylor expansion of (/ -1 (pow d1 3)) in d1 1553942946.426 * [taylor]: Taking taylor expansion of -1 in d1 1553942946.426 * [backup-simplify]: Simplify -1 into -1 1553942946.426 * [taylor]: Taking taylor expansion of (pow d1 3) in d1 1553942946.426 * [taylor]: Taking taylor expansion of d1 in d1 1553942946.426 * [backup-simplify]: Simplify 0 into 0 1553942946.426 * [backup-simplify]: Simplify 1 into 1 1553942946.426 * [backup-simplify]: Simplify (* 1 1) into 1 1553942946.427 * [backup-simplify]: Simplify (* 1 1) into 1 1553942946.427 * [backup-simplify]: Simplify (/ -1 1) into -1 1553942946.427 * [backup-simplify]: Simplify -1 into -1 1553942946.427 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942946.428 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553942946.428 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1553942946.428 * [backup-simplify]: Simplify 0 into 0 1553942946.429 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553942946.429 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553942946.430 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942946.430 * [backup-simplify]: Simplify 0 into 0 1553942946.430 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553942946.431 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553942946.432 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942946.432 * [backup-simplify]: Simplify 0 into 0 1553942946.432 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553942946.433 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553942946.434 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942946.434 * [backup-simplify]: Simplify 0 into 0 1553942946.434 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553942946.435 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553942946.436 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553942946.436 * [backup-simplify]: Simplify 0 into 0 1553942946.437 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553942946.437 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553942946.438 * [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 1553942946.438 * [backup-simplify]: Simplify 0 into 0 1553942946.438 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- d1))) 3)) into (pow d1 3) 1553942946.438 * * * [progress]: simplifying candidates 1553942946.438 * * * * [progress]: [ 1 / 30 ] simplifiying candidate # 1553942946.438 * * * * [progress]: [ 2 / 30 ] simplifiying candidate # 1553942946.438 * * * * [progress]: [ 3 / 30 ] simplifiying candidate # 1553942946.438 * * * * [progress]: [ 4 / 30 ] simplifiying candidate # 1553942946.438 * * * * [progress]: [ 5 / 30 ] simplifiying candidate # 1553942946.438 * * * * [progress]: [ 6 / 30 ] simplifiying candidate # 1553942946.438 * * * * [progress]: [ 7 / 30 ] simplifiying candidate # 1553942946.438 * * * * [progress]: [ 8 / 30 ] simplifiying candidate # 1553942946.438 * * * * [progress]: [ 9 / 30 ] simplifiying candidate # 1553942946.439 * * * * [progress]: [ 10 / 30 ] simplifiying candidate # 1553942946.439 * [simplify]: Simplifying (* d1 d1) 1553942946.439 * * [simplify]: iters left: 2 (2 enodes) 1553942946.439 * * [simplify]: iters left: 1 (6 enodes) 1553942946.440 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942946.440 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942946.440 * * [simplify]: Extracting #2: cost 2 inf + 1 1553942946.440 * * [simplify]: Extracting #3: cost 0 inf + 83 1553942946.440 * [simplify]: Simplified to (* d1 d1) 1553942946.440 * [simplify]: Simplified (2 1) to (λ (d1) (* (* d1 d1) (* d1 d1))) 1553942946.440 * * * * [progress]: [ 11 / 30 ] simplifiying candidate #real (real->posit16 (* (* (* d1 d1) d1) d1))))> 1553942946.440 * * * * [progress]: [ 12 / 30 ] simplifiying candidate # 1553942946.440 * * * * [progress]: [ 13 / 30 ] simplifiying candidate # 1553942946.440 * * * * [progress]: [ 14 / 30 ] simplifiying candidate # 1553942946.440 * * * * [progress]: [ 15 / 30 ] simplifiying candidate # 1553942946.440 * * * * [progress]: [ 16 / 30 ] simplifiying candidate # 1553942946.440 * * * * [progress]: [ 17 / 30 ] simplifiying candidate # 1553942946.440 * * * * [progress]: [ 18 / 30 ] simplifiying candidate # 1553942946.440 * * * * [progress]: [ 19 / 30 ] simplifiying candidate # 1553942946.441 * * * * [progress]: [ 20 / 30 ] simplifiying candidate # 1553942946.441 * * * * [progress]: [ 21 / 30 ] simplifiying candidate # 1553942946.441 * * * * [progress]: [ 22 / 30 ] simplifiying candidate # 1553942946.441 * * * * [progress]: [ 23 / 30 ] simplifiying candidate #real (real->posit16 (* (* d1 d1) d1))) d1))> 1553942946.441 * * * * [progress]: [ 24 / 30 ] simplifiying candidate # 1553942946.441 * * * * [progress]: [ 25 / 30 ] simplifiying candidate # 1553942946.441 * [simplify]: Simplifying (pow d1 4) 1553942946.441 * * [simplify]: iters left: 1 (3 enodes) 1553942946.442 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942946.442 * * [simplify]: Extracting #1: cost 4 inf + 0 1553942946.442 * * [simplify]: Extracting #2: cost 2 inf + 2 1553942946.442 * * [simplify]: Extracting #3: cost 0 inf + 426 1553942946.442 * [simplify]: Simplified to (pow d1 4) 1553942946.442 * [simplify]: Simplified (2) to (λ (d1) (pow d1 4)) 1553942946.442 * * * * [progress]: [ 26 / 30 ] simplifiying candidate # 1553942946.442 * [simplify]: Simplifying (pow d1 4) 1553942946.442 * * [simplify]: iters left: 1 (3 enodes) 1553942946.443 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942946.443 * * [simplify]: Extracting #1: cost 4 inf + 0 1553942946.443 * * [simplify]: Extracting #2: cost 2 inf + 2 1553942946.443 * * [simplify]: Extracting #3: cost 0 inf + 426 1553942946.443 * [simplify]: Simplified to (pow d1 4) 1553942946.443 * [simplify]: Simplified (2) to (λ (d1) (pow d1 4)) 1553942946.443 * * * * [progress]: [ 27 / 30 ] simplifiying candidate # 1553942946.443 * [simplify]: Simplifying (pow d1 4) 1553942946.443 * * [simplify]: iters left: 1 (3 enodes) 1553942946.444 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942946.444 * * [simplify]: Extracting #1: cost 4 inf + 0 1553942946.444 * * [simplify]: Extracting #2: cost 2 inf + 2 1553942946.444 * * [simplify]: Extracting #3: cost 0 inf + 426 1553942946.444 * [simplify]: Simplified to (pow d1 4) 1553942946.444 * [simplify]: Simplified (2) to (λ (d1) (pow d1 4)) 1553942946.445 * * * * [progress]: [ 28 / 30 ] simplifiying candidate # 1553942946.445 * [simplify]: Simplifying (pow d1 3) 1553942946.445 * * [simplify]: iters left: 1 (3 enodes) 1553942946.446 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942946.446 * * [simplify]: Extracting #1: cost 5 inf + 0 1553942946.446 * * [simplify]: Extracting #2: cost 3 inf + 2 1553942946.446 * * [simplify]: Extracting #3: cost 1 inf + 255 1553942946.446 * * [simplify]: Extracting #4: cost 0 inf + 336 1553942946.446 * * [simplify]: Extracting #5: cost 0 inf + 205 1553942946.446 * [simplify]: Simplified to (* (* d1 d1) d1) 1553942946.446 * [simplify]: Simplified (2 1) to (λ (d1) (* (* (* d1 d1) d1) d1)) 1553942946.446 * * * * [progress]: [ 29 / 30 ] simplifiying candidate # 1553942946.446 * [simplify]: Simplifying (pow d1 3) 1553942946.446 * * [simplify]: iters left: 1 (3 enodes) 1553942946.449 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942946.450 * * [simplify]: Extracting #1: cost 5 inf + 0 1553942946.450 * * [simplify]: Extracting #2: cost 3 inf + 2 1553942946.450 * * [simplify]: Extracting #3: cost 1 inf + 255 1553942946.450 * * [simplify]: Extracting #4: cost 0 inf + 336 1553942946.450 * * [simplify]: Extracting #5: cost 0 inf + 205 1553942946.450 * [simplify]: Simplified to (* (* d1 d1) d1) 1553942946.450 * [simplify]: Simplified (2 1) to (λ (d1) (* (* (* d1 d1) d1) d1)) 1553942946.450 * * * * [progress]: [ 30 / 30 ] simplifiying candidate # 1553942946.451 * [simplify]: Simplifying (pow d1 3) 1553942946.451 * * [simplify]: iters left: 1 (3 enodes) 1553942946.452 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942946.452 * * [simplify]: Extracting #1: cost 5 inf + 0 1553942946.453 * * [simplify]: Extracting #2: cost 3 inf + 2 1553942946.453 * * [simplify]: Extracting #3: cost 1 inf + 255 1553942946.453 * * [simplify]: Extracting #4: cost 0 inf + 336 1553942946.453 * * [simplify]: Extracting #5: cost 0 inf + 205 1553942946.453 * [simplify]: Simplified to (* (* d1 d1) d1) 1553942946.453 * [simplify]: Simplified (2 1) to (λ (d1) (* (* (* d1 d1) d1) d1)) 1553942946.453 * * * [progress]: adding candidates to table 1553942946.643 * * [progress]: iteration 2 / 4 1553942946.643 * * * [progress]: picking best candidate 1553942946.644 * * * * [pick]: Picked # 1553942946.644 * * * [progress]: localizing error 1553942946.648 * * * [progress]: generating rewritten candidates 1553942946.648 * * * [progress]: generating series expansions 1553942946.648 * * * [progress]: simplifying candidates 1553942946.648 * * * [progress]: adding candidates to table 1553942946.648 * [progress]: [Phase 3 of 3] Extracting. 1553942946.650 * [simplify]: Simplifying (pow d1 4) 1553942946.650 * * [simplify]: iters left: 1 (3 enodes) 1553942946.650 * * [simplify]: Extracting #0: cost 1 inf + 0 1553942946.650 * * [simplify]: Extracting #1: cost 3 inf + 0 1553942946.650 * * [simplify]: Extracting #2: cost 1 inf + 2 1553942946.650 * * [simplify]: Extracting #3: cost 0 inf + 214 1553942946.650 * [simplify]: Simplified to (pow d1 4) 1553942947.996 * [regime-testing]: Baseline error score: 0 1553942947.997 * [regime-testing]: Oracle error score: 0 1553942947.997 * [regime-testing]: End program error score: 0 1553942948.052 * [regime-testing]: Target error score: 0