1553944225.536 * [progress]: [Phase 1 of 3] Setting up. 1553944225.536 * * * [progress]: [1/2] Preparing points 1553944225.605 * * * [progress]: [2/2] Setting up program. 1553944225.607 * [progress]: [Phase 2 of 3] Improving. 1553944225.608 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553944225.608 * [simplify]: Simplifying (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16)))) 1553944225.608 * * [simplify]: iters left: 6 (11 enodes) 1553944225.612 * * [simplify]: iters left: 5 (51 enodes) 1553944225.641 * * [simplify]: iters left: 4 (112 enodes) 1553944225.670 * * [simplify]: iters left: 3 (250 enodes) 1553944225.779 * * [simplify]: iters left: 2 (490 enodes) 1553944226.391 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944226.391 * * [simplify]: Extracting #1: cost 84 inf + 0 1553944226.393 * * [simplify]: Extracting #2: cost 310 inf + 46 1553944226.395 * * [simplify]: Extracting #3: cost 309 inf + 4101 1553944226.404 * * [simplify]: Extracting #4: cost 114 inf + 33683 1553944226.424 * * [simplify]: Extracting #5: cost 10 inf + 51462 1553944226.462 * * [simplify]: Extracting #6: cost 0 inf + 53064 1553944226.495 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 1553944226.495 * [simplify]: Simplified (2) to (λ (t) (* (* 2e-16 t) (* 2e-16 t))) 1553944226.505 * * [progress]: iteration 1 / 4 1553944226.505 * * * [progress]: picking best candidate 1553944226.507 * * * * [pick]: Picked # 1553944226.507 * * * [progress]: localizing error 1553944226.518 * * * [progress]: generating rewritten candidates 1553944226.518 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1553944226.527 * * * [progress]: generating series expansions 1553944226.527 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1553944226.528 * [backup-simplify]: Simplify (* (* 2e-16 t) (* 2e-16 t)) into (* 3.9999999999999997e-32 (pow t 2)) 1553944226.528 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1553944226.528 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1553944226.528 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1553944226.528 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944226.528 * [taylor]: Taking taylor expansion of (pow t 2) in t 1553944226.528 * [taylor]: Taking taylor expansion of t in t 1553944226.528 * [backup-simplify]: Simplify 0 into 0 1553944226.528 * [backup-simplify]: Simplify 1 into 1 1553944226.528 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1553944226.528 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1553944226.528 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944226.528 * [taylor]: Taking taylor expansion of (pow t 2) in t 1553944226.528 * [taylor]: Taking taylor expansion of t in t 1553944226.528 * [backup-simplify]: Simplify 0 into 0 1553944226.528 * [backup-simplify]: Simplify 1 into 1 1553944226.529 * [backup-simplify]: Simplify (* 1 1) into 1 1553944226.529 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1553944226.529 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944226.530 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553944226.531 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 1553944226.531 * [backup-simplify]: Simplify 0 into 0 1553944226.532 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553944226.533 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 1553944226.533 * [backup-simplify]: Simplify 0 into 0 1553944226.534 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553944226.535 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553944226.535 * [backup-simplify]: Simplify 0 into 0 1553944226.536 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553944226.538 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553944226.538 * [backup-simplify]: Simplify 0 into 0 1553944226.539 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553944226.541 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553944226.541 * [backup-simplify]: Simplify 0 into 0 1553944226.542 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553944226.544 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553944226.544 * [backup-simplify]: Simplify 0 into 0 1553944226.544 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1553944226.545 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 t)) (* 2e-16 (/ 1 t))) into (/ 3.9999999999999997e-32 (pow t 2)) 1553944226.545 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1553944226.545 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1553944226.545 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1553944226.545 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944226.545 * [taylor]: Taking taylor expansion of (pow t 2) in t 1553944226.545 * [taylor]: Taking taylor expansion of t in t 1553944226.545 * [backup-simplify]: Simplify 0 into 0 1553944226.545 * [backup-simplify]: Simplify 1 into 1 1553944226.545 * [backup-simplify]: Simplify (* 1 1) into 1 1553944226.546 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1553944226.546 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1553944226.546 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1553944226.546 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944226.546 * [taylor]: Taking taylor expansion of (pow t 2) in t 1553944226.546 * [taylor]: Taking taylor expansion of t in t 1553944226.546 * [backup-simplify]: Simplify 0 into 0 1553944226.546 * [backup-simplify]: Simplify 1 into 1 1553944226.546 * [backup-simplify]: Simplify (* 1 1) into 1 1553944226.547 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1553944226.547 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944226.548 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553944226.548 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1553944226.548 * [backup-simplify]: Simplify 0 into 0 1553944226.549 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553944226.551 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944226.551 * [backup-simplify]: Simplify 0 into 0 1553944226.552 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553944226.553 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944226.553 * [backup-simplify]: Simplify 0 into 0 1553944226.554 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553944226.555 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944226.555 * [backup-simplify]: Simplify 0 into 0 1553944226.557 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553944226.558 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944226.558 * [backup-simplify]: Simplify 0 into 0 1553944226.560 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553944226.561 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944226.561 * [backup-simplify]: Simplify 0 into 0 1553944226.561 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1553944226.561 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 (- t))) (* 2e-16 (/ 1 (- t)))) into (/ 3.9999999999999997e-32 (pow t 2)) 1553944226.561 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1553944226.561 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1553944226.561 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1553944226.561 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944226.561 * [taylor]: Taking taylor expansion of (pow t 2) in t 1553944226.561 * [taylor]: Taking taylor expansion of t in t 1553944226.561 * [backup-simplify]: Simplify 0 into 0 1553944226.561 * [backup-simplify]: Simplify 1 into 1 1553944226.562 * [backup-simplify]: Simplify (* 1 1) into 1 1553944226.562 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1553944226.562 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1553944226.562 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1553944226.562 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944226.562 * [taylor]: Taking taylor expansion of (pow t 2) in t 1553944226.563 * [taylor]: Taking taylor expansion of t in t 1553944226.563 * [backup-simplify]: Simplify 0 into 0 1553944226.563 * [backup-simplify]: Simplify 1 into 1 1553944226.563 * [backup-simplify]: Simplify (* 1 1) into 1 1553944226.563 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1553944226.564 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944226.564 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553944226.565 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1553944226.565 * [backup-simplify]: Simplify 0 into 0 1553944226.566 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553944226.567 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944226.567 * [backup-simplify]: Simplify 0 into 0 1553944226.568 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553944226.569 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944226.569 * [backup-simplify]: Simplify 0 into 0 1553944226.570 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553944226.571 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944226.571 * [backup-simplify]: Simplify 0 into 0 1553944226.573 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553944226.574 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944226.574 * [backup-simplify]: Simplify 0 into 0 1553944226.575 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553944226.577 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944226.577 * [backup-simplify]: Simplify 0 into 0 1553944226.577 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1553944226.577 * * * [progress]: simplifying candidates 1553944226.577 * * * * [progress]: [ 1 / 20 ] simplifiying candidate # 1553944226.577 * [simplify]: Simplifying (* 2e-16 t) 1553944226.577 * * [simplify]: iters left: 2 (3 enodes) 1553944226.579 * * [simplify]: iters left: 1 (10 enodes) 1553944226.586 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944226.586 * * [simplify]: Extracting #1: cost 4 inf + 0 1553944226.586 * * [simplify]: Extracting #2: cost 2 inf + 2 1553944226.586 * * [simplify]: Extracting #3: cost 0 inf + 86 1553944226.587 * [simplify]: Simplified to (* 2e-16 t) 1553944226.587 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1553944226.587 * [simplify]: Simplifying (+ 1 1) 1553944226.587 * * [simplify]: iters left: 2 (2 enodes) 1553944226.590 * * [simplify]: iters left: 1 (9 enodes) 1553944226.593 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944226.593 * * [simplify]: Extracting #1: cost 0 inf + 1 1553944226.593 * [simplify]: Simplified to 2 1553944226.593 * [simplify]: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1553944226.593 * * * * [progress]: [ 2 / 20 ] simplifiying candidate # 1553944226.593 * [simplify]: Simplifying (* (* 2e-16 t) (* 2e-16 t)) 1553944226.593 * * [simplify]: iters left: 4 (4 enodes) 1553944226.596 * * [simplify]: iters left: 3 (17 enodes) 1553944226.602 * * [simplify]: iters left: 2 (29 enodes) 1553944226.612 * * [simplify]: iters left: 1 (37 enodes) 1553944226.622 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944226.622 * * [simplify]: Extracting #1: cost 9 inf + 0 1553944226.622 * * [simplify]: Extracting #2: cost 12 inf + 2 1553944226.623 * * [simplify]: Extracting #3: cost 1 inf + 660 1553944226.623 * * [simplify]: Extracting #4: cost 0 inf + 742 1553944226.624 * [simplify]: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 1553944226.624 * [simplify]: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 1553944226.624 * * * * [progress]: [ 3 / 20 ] simplifiying candidate # 1553944226.624 * * * * [progress]: [ 4 / 20 ] simplifiying candidate # 1553944226.624 * [simplify]: Simplifying (* 2e-16 t) 1553944226.624 * * [simplify]: iters left: 2 (3 enodes) 1553944226.626 * * [simplify]: iters left: 1 (10 enodes) 1553944226.627 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944226.627 * * [simplify]: Extracting #1: cost 4 inf + 0 1553944226.627 * * [simplify]: Extracting #2: cost 2 inf + 2 1553944226.627 * * [simplify]: Extracting #3: cost 0 inf + 86 1553944226.627 * [simplify]: Simplified to (* 2e-16 t) 1553944226.627 * [simplify]: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1553944226.627 * * * * [progress]: [ 5 / 20 ] simplifiying candidate # 1553944226.627 * * * * [progress]: [ 6 / 20 ] simplifiying candidate # 1553944226.628 * [simplify]: Simplifying (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 1553944226.628 * * [simplify]: iters left: 5 (5 enodes) 1553944226.629 * * [simplify]: iters left: 4 (19 enodes) 1553944226.633 * * [simplify]: iters left: 3 (28 enodes) 1553944226.637 * * [simplify]: iters left: 2 (40 enodes) 1553944226.644 * * [simplify]: iters left: 1 (48 enodes) 1553944226.650 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944226.650 * * [simplify]: Extracting #1: cost 9 inf + 0 1553944226.650 * * [simplify]: Extracting #2: cost 19 inf + 0 1553944226.650 * * [simplify]: Extracting #3: cost 18 inf + 2 1553944226.650 * * [simplify]: Extracting #4: cost 8 inf + 1077 1553944226.650 * * [simplify]: Extracting #5: cost 0 inf + 2230 1553944226.651 * [simplify]: Simplified to (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 1553944226.651 * [simplify]: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 1553944226.651 * * * * [progress]: [ 7 / 20 ] simplifiying candidate # 1553944226.651 * * * * [progress]: [ 8 / 20 ] simplifiying candidate # 1553944226.651 * * * * [progress]: [ 9 / 20 ] simplifiying candidate # 1553944226.651 * [simplify]: Simplifying (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))) 1553944226.651 * * [simplify]: iters left: 6 (6 enodes) 1553944226.653 * * [simplify]: iters left: 5 (30 enodes) 1553944226.662 * * [simplify]: iters left: 4 (91 enodes) 1553944226.716 * * [simplify]: iters left: 3 (249 enodes) 1553944226.889 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944226.889 * * [simplify]: Extracting #1: cost 47 inf + 0 1553944226.890 * * [simplify]: Extracting #2: cost 119 inf + 44 1553944226.891 * * [simplify]: Extracting #3: cost 77 inf + 7771 1553944226.897 * * [simplify]: Extracting #4: cost 9 inf + 20905 1553944226.911 * * [simplify]: Extracting #5: cost 0 inf + 20511 1553944226.925 * * [simplify]: Extracting #6: cost 0 inf + 20431 1553944226.939 * [simplify]: Simplified to (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t)))) 1553944226.939 * [simplify]: Simplified (2 1) to (λ (t) (cbrt (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t)))))) 1553944226.939 * * * * [progress]: [ 10 / 20 ] simplifiying candidate # 1553944226.939 * * * * [progress]: [ 11 / 20 ] simplifiying candidate # 1553944226.939 * * * * [progress]: [ 12 / 20 ] simplifiying candidate # 1553944226.939 * * * * [progress]: [ 13 / 20 ] simplifiying candidate # 1553944226.940 * * * * [progress]: [ 14 / 20 ] simplifiying candidate # 1553944226.940 * * * * [progress]: [ 15 / 20 ] simplifiying candidate # 1553944226.940 * * * * [progress]: [ 16 / 20 ] simplifiying candidate #real (real->posit16 (* (* 2e-16 t) (* 2e-16 t)))))> 1553944226.940 * * * * [progress]: [ 17 / 20 ] simplifiying candidate # 1553944226.940 * * * * [progress]: [ 18 / 20 ] simplifiying candidate # 1553944226.940 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1553944226.940 * * [simplify]: iters left: 3 (5 enodes) 1553944226.943 * * [simplify]: iters left: 2 (17 enodes) 1553944226.949 * * [simplify]: iters left: 1 (21 enodes) 1553944226.956 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944226.956 * * [simplify]: Extracting #1: cost 6 inf + 0 1553944226.956 * * [simplify]: Extracting #2: cost 7 inf + 2 1553944226.956 * * [simplify]: Extracting #3: cost 0 inf + 333 1553944226.957 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1553944226.957 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1553944226.957 * * * * [progress]: [ 19 / 20 ] simplifiying candidate # 1553944226.957 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1553944226.957 * * [simplify]: iters left: 3 (5 enodes) 1553944226.961 * * [simplify]: iters left: 2 (17 enodes) 1553944226.966 * * [simplify]: iters left: 1 (21 enodes) 1553944226.974 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944226.974 * * [simplify]: Extracting #1: cost 6 inf + 0 1553944226.974 * * [simplify]: Extracting #2: cost 7 inf + 2 1553944226.974 * * [simplify]: Extracting #3: cost 0 inf + 333 1553944226.974 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1553944226.975 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1553944226.978 * * * * [progress]: [ 20 / 20 ] simplifiying candidate # 1553944226.978 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1553944226.978 * * [simplify]: iters left: 3 (5 enodes) 1553944226.981 * * [simplify]: iters left: 2 (17 enodes) 1553944226.987 * * [simplify]: iters left: 1 (21 enodes) 1553944226.994 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944226.994 * * [simplify]: Extracting #1: cost 6 inf + 0 1553944226.994 * * [simplify]: Extracting #2: cost 7 inf + 2 1553944226.995 * * [simplify]: Extracting #3: cost 0 inf + 333 1553944226.995 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1553944226.995 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1553944226.995 * * * [progress]: adding candidates to table 1553944227.097 * * [progress]: iteration 2 / 4 1553944227.097 * * * [progress]: picking best candidate 1553944227.107 * * * * [pick]: Picked # 1553944227.107 * * * [progress]: localizing error 1553944227.117 * * * [progress]: generating rewritten candidates 1553944227.117 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1553944227.127 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 1553944227.129 * * * [progress]: generating series expansions 1553944227.129 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1553944227.130 * [backup-simplify]: Simplify (* (* (* 2e-16 t) 2e-16) t) into (* 3.9999999999999997e-32 (pow t 2)) 1553944227.130 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1553944227.130 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1553944227.130 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1553944227.130 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944227.130 * [taylor]: Taking taylor expansion of (pow t 2) in t 1553944227.130 * [taylor]: Taking taylor expansion of t in t 1553944227.130 * [backup-simplify]: Simplify 0 into 0 1553944227.130 * [backup-simplify]: Simplify 1 into 1 1553944227.130 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1553944227.130 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1553944227.130 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944227.130 * [taylor]: Taking taylor expansion of (pow t 2) in t 1553944227.130 * [taylor]: Taking taylor expansion of t in t 1553944227.130 * [backup-simplify]: Simplify 0 into 0 1553944227.130 * [backup-simplify]: Simplify 1 into 1 1553944227.130 * [backup-simplify]: Simplify (* 1 1) into 1 1553944227.131 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1553944227.131 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944227.131 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553944227.132 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 1553944227.132 * [backup-simplify]: Simplify 0 into 0 1553944227.132 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553944227.133 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 1553944227.133 * [backup-simplify]: Simplify 0 into 0 1553944227.133 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553944227.134 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553944227.134 * [backup-simplify]: Simplify 0 into 0 1553944227.135 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553944227.135 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553944227.135 * [backup-simplify]: Simplify 0 into 0 1553944227.136 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553944227.137 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553944227.137 * [backup-simplify]: Simplify 0 into 0 1553944227.138 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553944227.139 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553944227.139 * [backup-simplify]: Simplify 0 into 0 1553944227.139 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1553944227.139 * [backup-simplify]: Simplify (* (* (* 2e-16 (/ 1 t)) 2e-16) (/ 1 t)) into (/ 3.9999999999999997e-32 (pow t 2)) 1553944227.139 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1553944227.139 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1553944227.139 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1553944227.139 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944227.139 * [taylor]: Taking taylor expansion of (pow t 2) in t 1553944227.139 * [taylor]: Taking taylor expansion of t in t 1553944227.139 * [backup-simplify]: Simplify 0 into 0 1553944227.140 * [backup-simplify]: Simplify 1 into 1 1553944227.140 * [backup-simplify]: Simplify (* 1 1) into 1 1553944227.140 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1553944227.140 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1553944227.140 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1553944227.140 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944227.140 * [taylor]: Taking taylor expansion of (pow t 2) in t 1553944227.140 * [taylor]: Taking taylor expansion of t in t 1553944227.140 * [backup-simplify]: Simplify 0 into 0 1553944227.140 * [backup-simplify]: Simplify 1 into 1 1553944227.141 * [backup-simplify]: Simplify (* 1 1) into 1 1553944227.141 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1553944227.141 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944227.141 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553944227.145 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1553944227.145 * [backup-simplify]: Simplify 0 into 0 1553944227.145 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553944227.146 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.146 * [backup-simplify]: Simplify 0 into 0 1553944227.146 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553944227.147 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.147 * [backup-simplify]: Simplify 0 into 0 1553944227.148 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553944227.148 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.148 * [backup-simplify]: Simplify 0 into 0 1553944227.149 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553944227.150 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.150 * [backup-simplify]: Simplify 0 into 0 1553944227.150 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553944227.151 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.151 * [backup-simplify]: Simplify 0 into 0 1553944227.151 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1553944227.151 * [backup-simplify]: Simplify (* (* (* 2e-16 (/ 1 (- t))) 2e-16) (/ 1 (- t))) into (/ 3.9999999999999997e-32 (pow t 2)) 1553944227.151 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1553944227.151 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1553944227.151 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1553944227.151 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944227.151 * [taylor]: Taking taylor expansion of (pow t 2) in t 1553944227.151 * [taylor]: Taking taylor expansion of t in t 1553944227.151 * [backup-simplify]: Simplify 0 into 0 1553944227.152 * [backup-simplify]: Simplify 1 into 1 1553944227.152 * [backup-simplify]: Simplify (* 1 1) into 1 1553944227.152 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1553944227.152 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1553944227.152 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1553944227.152 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944227.152 * [taylor]: Taking taylor expansion of (pow t 2) in t 1553944227.152 * [taylor]: Taking taylor expansion of t in t 1553944227.152 * [backup-simplify]: Simplify 0 into 0 1553944227.152 * [backup-simplify]: Simplify 1 into 1 1553944227.152 * [backup-simplify]: Simplify (* 1 1) into 1 1553944227.153 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1553944227.153 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944227.153 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553944227.154 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1553944227.154 * [backup-simplify]: Simplify 0 into 0 1553944227.155 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553944227.156 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.156 * [backup-simplify]: Simplify 0 into 0 1553944227.157 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553944227.158 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.158 * [backup-simplify]: Simplify 0 into 0 1553944227.160 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553944227.160 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.161 * [backup-simplify]: Simplify 0 into 0 1553944227.162 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553944227.163 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.163 * [backup-simplify]: Simplify 0 into 0 1553944227.164 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553944227.165 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.165 * [backup-simplify]: Simplify 0 into 0 1553944227.166 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1553944227.166 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 1553944227.166 * [backup-simplify]: Simplify (* (* 2e-16 t) 2e-16) into (* 3.9999999999999997e-32 t) 1553944227.166 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in (t) around 0 1553944227.166 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t 1553944227.166 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1553944227.166 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944227.166 * [taylor]: Taking taylor expansion of t in t 1553944227.166 * [backup-simplify]: Simplify 0 into 0 1553944227.166 * [backup-simplify]: Simplify 1 into 1 1553944227.166 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t 1553944227.166 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1553944227.166 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944227.166 * [taylor]: Taking taylor expansion of t in t 1553944227.166 * [backup-simplify]: Simplify 0 into 0 1553944227.166 * [backup-simplify]: Simplify 1 into 1 1553944227.167 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 0) into 0 1553944227.167 * [backup-simplify]: Simplify 0 into 0 1553944227.169 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 1) (* 0 0)) into 3.9999999999999997e-32 1553944227.169 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944227.169 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 1) (* 0 0))) into 0 1553944227.169 * [backup-simplify]: Simplify 0 into 0 1553944227.170 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1553944227.170 * [backup-simplify]: Simplify 0 into 0 1553944227.171 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1553944227.171 * [backup-simplify]: Simplify 0 into 0 1553944227.171 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1553944227.171 * [backup-simplify]: Simplify 0 into 0 1553944227.172 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1553944227.172 * [backup-simplify]: Simplify 0 into 0 1553944227.173 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1553944227.173 * [backup-simplify]: Simplify 0 into 0 1553944227.173 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 t) into (* 3.9999999999999997e-32 t) 1553944227.174 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 t)) 2e-16) into (/ 3.9999999999999997e-32 t) 1553944227.174 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in (t) around 0 1553944227.174 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in t 1553944227.174 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1553944227.174 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944227.174 * [taylor]: Taking taylor expansion of t in t 1553944227.174 * [backup-simplify]: Simplify 0 into 0 1553944227.174 * [backup-simplify]: Simplify 1 into 1 1553944227.174 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1553944227.174 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in t 1553944227.174 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1553944227.174 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944227.174 * [taylor]: Taking taylor expansion of t in t 1553944227.174 * [backup-simplify]: Simplify 0 into 0 1553944227.174 * [backup-simplify]: Simplify 1 into 1 1553944227.174 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1553944227.174 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944227.175 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1553944227.175 * [backup-simplify]: Simplify 0 into 0 1553944227.176 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.176 * [backup-simplify]: Simplify 0 into 0 1553944227.176 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.176 * [backup-simplify]: Simplify 0 into 0 1553944227.177 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.177 * [backup-simplify]: Simplify 0 into 0 1553944227.177 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.177 * [backup-simplify]: Simplify 0 into 0 1553944227.178 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.178 * [backup-simplify]: Simplify 0 into 0 1553944227.178 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (/ 1 (/ 1 t))) into (* 3.9999999999999997e-32 t) 1553944227.178 * [backup-simplify]: Simplify (* (* 2e-16 (/ 1 (- t))) 2e-16) into (/ -3.9999999999999997e-32 t) 1553944227.178 * [approximate]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in (t) around 0 1553944227.178 * [taylor]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in t 1553944227.178 * [taylor]: Taking taylor expansion of -3.9999999999999997e-32 in t 1553944227.178 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32 1553944227.178 * [taylor]: Taking taylor expansion of t in t 1553944227.178 * [backup-simplify]: Simplify 0 into 0 1553944227.178 * [backup-simplify]: Simplify 1 into 1 1553944227.179 * [backup-simplify]: Simplify (/ -3.9999999999999997e-32 1) into -3.9999999999999997e-32 1553944227.179 * [taylor]: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in t 1553944227.179 * [taylor]: Taking taylor expansion of -3.9999999999999997e-32 in t 1553944227.179 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32 1553944227.179 * [taylor]: Taking taylor expansion of t in t 1553944227.179 * [backup-simplify]: Simplify 0 into 0 1553944227.179 * [backup-simplify]: Simplify 1 into 1 1553944227.179 * [backup-simplify]: Simplify (/ -3.9999999999999997e-32 1) into -3.9999999999999997e-32 1553944227.179 * [backup-simplify]: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32 1553944227.180 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)))) into 0 1553944227.180 * [backup-simplify]: Simplify 0 into 0 1553944227.180 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.180 * [backup-simplify]: Simplify 0 into 0 1553944227.181 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.181 * [backup-simplify]: Simplify 0 into 0 1553944227.181 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.181 * [backup-simplify]: Simplify 0 into 0 1553944227.182 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.182 * [backup-simplify]: Simplify 0 into 0 1553944227.183 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.183 * [backup-simplify]: Simplify 0 into 0 1553944227.183 * [backup-simplify]: Simplify (* -3.9999999999999997e-32 (/ 1 (/ 1 (- t)))) into (* 3.9999999999999997e-32 t) 1553944227.183 * * * [progress]: simplifying candidates 1553944227.183 * * * * [progress]: [ 1 / 26 ] simplifiying candidate # 1553944227.183 * * * * [progress]: [ 2 / 26 ] simplifiying candidate # 1553944227.183 * * * * [progress]: [ 3 / 26 ] simplifiying candidate # 1553944227.183 * * * * [progress]: [ 4 / 26 ] simplifiying candidate # 1553944227.183 * * * * [progress]: [ 5 / 26 ] simplifiying candidate # 1553944227.183 * * * * [progress]: [ 6 / 26 ] simplifiying candidate # 1553944227.183 * * * * [progress]: [ 7 / 26 ] simplifiying candidate # 1553944227.183 * * * * [progress]: [ 8 / 26 ] simplifiying candidate # 1553944227.183 * [simplify]: Simplifying (* 2e-16 t) 1553944227.183 * * [simplify]: iters left: 2 (3 enodes) 1553944227.184 * * [simplify]: iters left: 1 (10 enodes) 1553944227.186 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944227.186 * * [simplify]: Extracting #1: cost 4 inf + 0 1553944227.186 * * [simplify]: Extracting #2: cost 2 inf + 2 1553944227.186 * * [simplify]: Extracting #3: cost 0 inf + 86 1553944227.186 * [simplify]: Simplified to (* 2e-16 t) 1553944227.186 * [simplify]: Simplified (2 1) to (λ (t) (* (* 2e-16 t) (* 2e-16 t))) 1553944227.186 * * * * [progress]: [ 9 / 26 ] simplifiying candidate #real (real->posit16 (* (* (* 2e-16 t) 2e-16) t))))> 1553944227.186 * * * * [progress]: [ 10 / 26 ] simplifiying candidate # 1553944227.186 * * * * [progress]: [ 11 / 26 ] simplifiying candidate # 1553944227.186 * * * * [progress]: [ 12 / 26 ] simplifiying candidate # 1553944227.186 * * * * [progress]: [ 13 / 26 ] simplifiying candidate # 1553944227.186 * * * * [progress]: [ 14 / 26 ] simplifiying candidate # 1553944227.186 * * * * [progress]: [ 15 / 26 ] simplifiying candidate # 1553944227.186 * * * * [progress]: [ 16 / 26 ] simplifiying candidate # 1553944227.186 * * * * [progress]: [ 17 / 26 ] simplifiying candidate # 1553944227.186 * * * * [progress]: [ 18 / 26 ] simplifiying candidate # 1553944227.186 * * * * [progress]: [ 19 / 26 ] simplifiying candidate #real (real->posit16 (* (* 2e-16 t) 2e-16))) t))> 1553944227.186 * * * * [progress]: [ 20 / 26 ] simplifiying candidate # 1553944227.186 * * * * [progress]: [ 21 / 26 ] simplifiying candidate # 1553944227.187 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1553944227.187 * * [simplify]: iters left: 3 (5 enodes) 1553944227.188 * * [simplify]: iters left: 2 (17 enodes) 1553944227.191 * * [simplify]: iters left: 1 (21 enodes) 1553944227.195 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944227.195 * * [simplify]: Extracting #1: cost 6 inf + 0 1553944227.195 * * [simplify]: Extracting #2: cost 7 inf + 2 1553944227.195 * * [simplify]: Extracting #3: cost 0 inf + 333 1553944227.195 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1553944227.195 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1553944227.195 * * * * [progress]: [ 22 / 26 ] simplifiying candidate # 1553944227.195 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1553944227.195 * * [simplify]: iters left: 3 (5 enodes) 1553944227.197 * * [simplify]: iters left: 2 (17 enodes) 1553944227.202 * * [simplify]: iters left: 1 (21 enodes) 1553944227.209 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944227.209 * * [simplify]: Extracting #1: cost 6 inf + 0 1553944227.209 * * [simplify]: Extracting #2: cost 7 inf + 2 1553944227.209 * * [simplify]: Extracting #3: cost 0 inf + 333 1553944227.210 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1553944227.210 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1553944227.210 * * * * [progress]: [ 23 / 26 ] simplifiying candidate # 1553944227.210 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1553944227.210 * * [simplify]: iters left: 3 (5 enodes) 1553944227.213 * * [simplify]: iters left: 2 (17 enodes) 1553944227.216 * * [simplify]: iters left: 1 (21 enodes) 1553944227.219 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944227.219 * * [simplify]: Extracting #1: cost 6 inf + 0 1553944227.219 * * [simplify]: Extracting #2: cost 7 inf + 2 1553944227.219 * * [simplify]: Extracting #3: cost 0 inf + 333 1553944227.219 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1553944227.219 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1553944227.219 * * * * [progress]: [ 24 / 26 ] simplifiying candidate # 1553944227.220 * [simplify]: Simplifying (* 3.9999999999999997e-32 t) 1553944227.220 * * [simplify]: iters left: 2 (3 enodes) 1553944227.220 * * [simplify]: iters left: 1 (10 enodes) 1553944227.222 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944227.222 * * [simplify]: Extracting #1: cost 4 inf + 0 1553944227.222 * * [simplify]: Extracting #2: cost 2 inf + 2 1553944227.222 * * [simplify]: Extracting #3: cost 0 inf + 86 1553944227.222 * [simplify]: Simplified to (* 3.9999999999999997e-32 t) 1553944227.222 * [simplify]: Simplified (2 1) to (λ (t) (* (* 3.9999999999999997e-32 t) t)) 1553944227.222 * * * * [progress]: [ 25 / 26 ] simplifiying candidate # 1553944227.222 * [simplify]: Simplifying (* 3.9999999999999997e-32 t) 1553944227.222 * * [simplify]: iters left: 2 (3 enodes) 1553944227.223 * * [simplify]: iters left: 1 (10 enodes) 1553944227.225 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944227.225 * * [simplify]: Extracting #1: cost 4 inf + 0 1553944227.225 * * [simplify]: Extracting #2: cost 2 inf + 2 1553944227.225 * * [simplify]: Extracting #3: cost 0 inf + 86 1553944227.225 * [simplify]: Simplified to (* 3.9999999999999997e-32 t) 1553944227.225 * [simplify]: Simplified (2 1) to (λ (t) (* (* 3.9999999999999997e-32 t) t)) 1553944227.225 * * * * [progress]: [ 26 / 26 ] simplifiying candidate # 1553944227.225 * [simplify]: Simplifying (* 3.9999999999999997e-32 t) 1553944227.225 * * [simplify]: iters left: 2 (3 enodes) 1553944227.226 * * [simplify]: iters left: 1 (10 enodes) 1553944227.228 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944227.228 * * [simplify]: Extracting #1: cost 4 inf + 0 1553944227.228 * * [simplify]: Extracting #2: cost 2 inf + 2 1553944227.228 * * [simplify]: Extracting #3: cost 0 inf + 86 1553944227.228 * [simplify]: Simplified to (* 3.9999999999999997e-32 t) 1553944227.228 * [simplify]: Simplified (2 1) to (λ (t) (* (* 3.9999999999999997e-32 t) t)) 1553944227.228 * * * [progress]: adding candidates to table 1553944227.377 * * [progress]: iteration 3 / 4 1553944227.377 * * * [progress]: picking best candidate 1553944227.386 * * * * [pick]: Picked # 1553944227.386 * * * [progress]: localizing error 1553944227.391 * * * [progress]: generating rewritten candidates 1553944227.391 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1553944227.395 * * * [progress]: generating series expansions 1553944227.395 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1553944227.395 * [backup-simplify]: Simplify (* (* 3.9999999999999997e-32 t) t) into (* 3.9999999999999997e-32 (pow t 2)) 1553944227.395 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1553944227.395 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1553944227.395 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1553944227.395 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944227.395 * [taylor]: Taking taylor expansion of (pow t 2) in t 1553944227.395 * [taylor]: Taking taylor expansion of t in t 1553944227.395 * [backup-simplify]: Simplify 0 into 0 1553944227.395 * [backup-simplify]: Simplify 1 into 1 1553944227.395 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1553944227.395 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1553944227.395 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944227.395 * [taylor]: Taking taylor expansion of (pow t 2) in t 1553944227.395 * [taylor]: Taking taylor expansion of t in t 1553944227.395 * [backup-simplify]: Simplify 0 into 0 1553944227.395 * [backup-simplify]: Simplify 1 into 1 1553944227.395 * [backup-simplify]: Simplify (* 1 1) into 1 1553944227.396 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1553944227.396 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944227.396 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553944227.397 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 1553944227.397 * [backup-simplify]: Simplify 0 into 0 1553944227.397 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553944227.398 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 1553944227.398 * [backup-simplify]: Simplify 0 into 0 1553944227.398 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553944227.399 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553944227.399 * [backup-simplify]: Simplify 0 into 0 1553944227.400 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553944227.401 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553944227.401 * [backup-simplify]: Simplify 0 into 0 1553944227.401 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553944227.402 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553944227.402 * [backup-simplify]: Simplify 0 into 0 1553944227.403 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553944227.404 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553944227.404 * [backup-simplify]: Simplify 0 into 0 1553944227.404 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1553944227.404 * [backup-simplify]: Simplify (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t)) into (/ 3.9999999999999997e-32 (pow t 2)) 1553944227.404 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1553944227.404 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1553944227.404 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1553944227.404 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944227.404 * [taylor]: Taking taylor expansion of (pow t 2) in t 1553944227.404 * [taylor]: Taking taylor expansion of t in t 1553944227.404 * [backup-simplify]: Simplify 0 into 0 1553944227.404 * [backup-simplify]: Simplify 1 into 1 1553944227.405 * [backup-simplify]: Simplify (* 1 1) into 1 1553944227.405 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1553944227.405 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1553944227.405 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1553944227.405 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944227.405 * [taylor]: Taking taylor expansion of (pow t 2) in t 1553944227.405 * [taylor]: Taking taylor expansion of t in t 1553944227.405 * [backup-simplify]: Simplify 0 into 0 1553944227.405 * [backup-simplify]: Simplify 1 into 1 1553944227.406 * [backup-simplify]: Simplify (* 1 1) into 1 1553944227.406 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1553944227.406 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944227.407 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553944227.408 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1553944227.408 * [backup-simplify]: Simplify 0 into 0 1553944227.409 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553944227.410 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.410 * [backup-simplify]: Simplify 0 into 0 1553944227.411 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553944227.412 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.412 * [backup-simplify]: Simplify 0 into 0 1553944227.414 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553944227.415 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.415 * [backup-simplify]: Simplify 0 into 0 1553944227.416 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553944227.417 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.417 * [backup-simplify]: Simplify 0 into 0 1553944227.419 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553944227.420 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.425 * [backup-simplify]: Simplify 0 into 0 1553944227.425 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1553944227.425 * [backup-simplify]: Simplify (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t))) into (/ 3.9999999999999997e-32 (pow t 2)) 1553944227.425 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1553944227.425 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1553944227.425 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1553944227.425 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944227.425 * [taylor]: Taking taylor expansion of (pow t 2) in t 1553944227.425 * [taylor]: Taking taylor expansion of t in t 1553944227.425 * [backup-simplify]: Simplify 0 into 0 1553944227.425 * [backup-simplify]: Simplify 1 into 1 1553944227.426 * [backup-simplify]: Simplify (* 1 1) into 1 1553944227.427 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1553944227.427 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1553944227.427 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1553944227.427 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944227.427 * [taylor]: Taking taylor expansion of (pow t 2) in t 1553944227.427 * [taylor]: Taking taylor expansion of t in t 1553944227.427 * [backup-simplify]: Simplify 0 into 0 1553944227.427 * [backup-simplify]: Simplify 1 into 1 1553944227.427 * [backup-simplify]: Simplify (* 1 1) into 1 1553944227.428 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1553944227.428 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944227.429 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553944227.430 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1553944227.430 * [backup-simplify]: Simplify 0 into 0 1553944227.430 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553944227.431 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.431 * [backup-simplify]: Simplify 0 into 0 1553944227.432 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553944227.434 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.434 * [backup-simplify]: Simplify 0 into 0 1553944227.435 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553944227.436 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.436 * [backup-simplify]: Simplify 0 into 0 1553944227.437 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553944227.438 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.438 * [backup-simplify]: Simplify 0 into 0 1553944227.440 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553944227.441 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.441 * [backup-simplify]: Simplify 0 into 0 1553944227.441 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1553944227.441 * * * [progress]: simplifying candidates 1553944227.442 * * * * [progress]: [ 1 / 13 ] simplifiying candidate # 1553944227.442 * * * * [progress]: [ 2 / 13 ] simplifiying candidate # 1553944227.442 * * * * [progress]: [ 3 / 13 ] simplifiying candidate # 1553944227.442 * * * * [progress]: [ 4 / 13 ] simplifiying candidate # 1553944227.442 * * * * [progress]: [ 5 / 13 ] simplifiying candidate # 1553944227.442 * * * * [progress]: [ 6 / 13 ] simplifiying candidate # 1553944227.442 * * * * [progress]: [ 7 / 13 ] simplifiying candidate # 1553944227.442 * * * * [progress]: [ 8 / 13 ] simplifiying candidate # 1553944227.442 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #real (real->posit16 (* (* 3.9999999999999997e-32 t) t))))> 1553944227.442 * * * * [progress]: [ 10 / 13 ] simplifiying candidate # 1553944227.443 * * * * [progress]: [ 11 / 13 ] simplifiying candidate # 1553944227.443 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1553944227.443 * * [simplify]: iters left: 3 (5 enodes) 1553944227.446 * * [simplify]: iters left: 2 (17 enodes) 1553944227.451 * * [simplify]: iters left: 1 (21 enodes) 1553944227.458 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944227.458 * * [simplify]: Extracting #1: cost 6 inf + 0 1553944227.458 * * [simplify]: Extracting #2: cost 7 inf + 2 1553944227.458 * * [simplify]: Extracting #3: cost 0 inf + 333 1553944227.459 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1553944227.459 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1553944227.459 * * * * [progress]: [ 12 / 13 ] simplifiying candidate # 1553944227.459 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1553944227.459 * * [simplify]: iters left: 3 (5 enodes) 1553944227.462 * * [simplify]: iters left: 2 (17 enodes) 1553944227.467 * * [simplify]: iters left: 1 (21 enodes) 1553944227.474 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944227.474 * * [simplify]: Extracting #1: cost 6 inf + 0 1553944227.474 * * [simplify]: Extracting #2: cost 7 inf + 2 1553944227.474 * * [simplify]: Extracting #3: cost 0 inf + 333 1553944227.475 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1553944227.475 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1553944227.475 * * * * [progress]: [ 13 / 13 ] simplifiying candidate # 1553944227.475 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1553944227.475 * * [simplify]: iters left: 3 (5 enodes) 1553944227.478 * * [simplify]: iters left: 2 (17 enodes) 1553944227.483 * * [simplify]: iters left: 1 (21 enodes) 1553944227.490 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944227.490 * * [simplify]: Extracting #1: cost 6 inf + 0 1553944227.490 * * [simplify]: Extracting #2: cost 7 inf + 2 1553944227.490 * * [simplify]: Extracting #3: cost 0 inf + 333 1553944227.491 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1553944227.491 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1553944227.491 * * * [progress]: adding candidates to table 1553944227.561 * * [progress]: iteration 4 / 4 1553944227.561 * * * [progress]: picking best candidate 1553944227.577 * * * * [pick]: Picked # 1553944227.577 * * * [progress]: localizing error 1553944227.587 * * * [progress]: generating rewritten candidates 1553944227.587 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1553944227.592 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 1553944227.595 * * * [progress]: generating series expansions 1553944227.595 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1553944227.595 * [backup-simplify]: Simplify (* 2e-16 (* t (* 2e-16 t))) into (* 3.9999999999999997e-32 (pow t 2)) 1553944227.595 * [approximate]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1553944227.595 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1553944227.596 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1553944227.596 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944227.596 * [taylor]: Taking taylor expansion of (pow t 2) in t 1553944227.596 * [taylor]: Taking taylor expansion of t in t 1553944227.596 * [backup-simplify]: Simplify 0 into 0 1553944227.596 * [backup-simplify]: Simplify 1 into 1 1553944227.596 * [taylor]: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1553944227.596 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1553944227.596 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944227.596 * [taylor]: Taking taylor expansion of (pow t 2) in t 1553944227.596 * [taylor]: Taking taylor expansion of t in t 1553944227.596 * [backup-simplify]: Simplify 0 into 0 1553944227.596 * [backup-simplify]: Simplify 1 into 1 1553944227.597 * [backup-simplify]: Simplify (* 1 1) into 1 1553944227.597 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1553944227.597 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944227.598 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553944227.599 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 1553944227.599 * [backup-simplify]: Simplify 0 into 0 1553944227.600 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553944227.601 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 1553944227.601 * [backup-simplify]: Simplify 0 into 0 1553944227.602 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553944227.603 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553944227.603 * [backup-simplify]: Simplify 0 into 0 1553944227.605 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553944227.606 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553944227.606 * [backup-simplify]: Simplify 0 into 0 1553944227.607 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553944227.609 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553944227.609 * [backup-simplify]: Simplify 0 into 0 1553944227.610 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553944227.612 * [backup-simplify]: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553944227.612 * [backup-simplify]: Simplify 0 into 0 1553944227.612 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1553944227.612 * [backup-simplify]: Simplify (* 2e-16 (* (/ 1 t) (* 2e-16 (/ 1 t)))) into (/ 3.9999999999999997e-32 (pow t 2)) 1553944227.612 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1553944227.613 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1553944227.613 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1553944227.613 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944227.613 * [taylor]: Taking taylor expansion of (pow t 2) in t 1553944227.613 * [taylor]: Taking taylor expansion of t in t 1553944227.613 * [backup-simplify]: Simplify 0 into 0 1553944227.613 * [backup-simplify]: Simplify 1 into 1 1553944227.613 * [backup-simplify]: Simplify (* 1 1) into 1 1553944227.614 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1553944227.614 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1553944227.614 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1553944227.614 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944227.614 * [taylor]: Taking taylor expansion of (pow t 2) in t 1553944227.614 * [taylor]: Taking taylor expansion of t in t 1553944227.614 * [backup-simplify]: Simplify 0 into 0 1553944227.614 * [backup-simplify]: Simplify 1 into 1 1553944227.614 * [backup-simplify]: Simplify (* 1 1) into 1 1553944227.615 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1553944227.615 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944227.615 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553944227.616 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1553944227.616 * [backup-simplify]: Simplify 0 into 0 1553944227.617 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553944227.618 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.618 * [backup-simplify]: Simplify 0 into 0 1553944227.619 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553944227.620 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.620 * [backup-simplify]: Simplify 0 into 0 1553944227.622 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553944227.623 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.623 * [backup-simplify]: Simplify 0 into 0 1553944227.624 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553944227.625 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.625 * [backup-simplify]: Simplify 0 into 0 1553944227.626 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553944227.626 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.626 * [backup-simplify]: Simplify 0 into 0 1553944227.627 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1553944227.627 * [backup-simplify]: Simplify (* 2e-16 (* (/ 1 (- t)) (* 2e-16 (/ 1 (- t))))) into (/ 3.9999999999999997e-32 (pow t 2)) 1553944227.627 * [approximate]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1553944227.627 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1553944227.627 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1553944227.627 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944227.627 * [taylor]: Taking taylor expansion of (pow t 2) in t 1553944227.627 * [taylor]: Taking taylor expansion of t in t 1553944227.627 * [backup-simplify]: Simplify 0 into 0 1553944227.627 * [backup-simplify]: Simplify 1 into 1 1553944227.627 * [backup-simplify]: Simplify (* 1 1) into 1 1553944227.627 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1553944227.627 * [taylor]: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1553944227.627 * [taylor]: Taking taylor expansion of 3.9999999999999997e-32 in t 1553944227.627 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944227.627 * [taylor]: Taking taylor expansion of (pow t 2) in t 1553944227.627 * [taylor]: Taking taylor expansion of t in t 1553944227.628 * [backup-simplify]: Simplify 0 into 0 1553944227.628 * [backup-simplify]: Simplify 1 into 1 1553944227.628 * [backup-simplify]: Simplify (* 1 1) into 1 1553944227.628 * [backup-simplify]: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1553944227.628 * [backup-simplify]: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1553944227.629 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553944227.629 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1553944227.629 * [backup-simplify]: Simplify 0 into 0 1553944227.630 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553944227.630 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.630 * [backup-simplify]: Simplify 0 into 0 1553944227.631 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553944227.631 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.631 * [backup-simplify]: Simplify 0 into 0 1553944227.632 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553944227.633 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.633 * [backup-simplify]: Simplify 0 into 0 1553944227.633 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553944227.634 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.634 * [backup-simplify]: Simplify 0 into 0 1553944227.635 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553944227.636 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.636 * [backup-simplify]: Simplify 0 into 0 1553944227.636 * [backup-simplify]: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1553944227.636 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 1553944227.636 * [backup-simplify]: Simplify (* t (* 2e-16 t)) into (* 2e-16 (pow t 2)) 1553944227.636 * [approximate]: Taking taylor expansion of (* 2e-16 (pow t 2)) in (t) around 0 1553944227.636 * [taylor]: Taking taylor expansion of (* 2e-16 (pow t 2)) in t 1553944227.636 * [taylor]: Taking taylor expansion of 2e-16 in t 1553944227.636 * [backup-simplify]: Simplify 2e-16 into 2e-16 1553944227.636 * [taylor]: Taking taylor expansion of (pow t 2) in t 1553944227.636 * [taylor]: Taking taylor expansion of t in t 1553944227.636 * [backup-simplify]: Simplify 0 into 0 1553944227.636 * [backup-simplify]: Simplify 1 into 1 1553944227.636 * [taylor]: Taking taylor expansion of (* 2e-16 (pow t 2)) in t 1553944227.636 * [taylor]: Taking taylor expansion of 2e-16 in t 1553944227.636 * [backup-simplify]: Simplify 2e-16 into 2e-16 1553944227.636 * [taylor]: Taking taylor expansion of (pow t 2) in t 1553944227.636 * [taylor]: Taking taylor expansion of t in t 1553944227.636 * [backup-simplify]: Simplify 0 into 0 1553944227.636 * [backup-simplify]: Simplify 1 into 1 1553944227.636 * [backup-simplify]: Simplify (* 1 1) into 1 1553944227.637 * [backup-simplify]: Simplify (* 2e-16 1) into 2e-16 1553944227.637 * [backup-simplify]: Simplify 2e-16 into 2e-16 1553944227.637 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553944227.637 * [backup-simplify]: Simplify (+ (* 2e-16 0) (* 0 1)) into 0 1553944227.637 * [backup-simplify]: Simplify 0 into 0 1553944227.638 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553944227.639 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 1))) into 0 1553944227.639 * [backup-simplify]: Simplify 0 into 0 1553944227.639 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553944227.640 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553944227.640 * [backup-simplify]: Simplify 0 into 0 1553944227.641 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553944227.641 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553944227.641 * [backup-simplify]: Simplify 0 into 0 1553944227.642 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553944227.643 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553944227.643 * [backup-simplify]: Simplify 0 into 0 1553944227.644 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553944227.645 * [backup-simplify]: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553944227.645 * [backup-simplify]: Simplify 0 into 0 1553944227.645 * [backup-simplify]: Simplify (* 2e-16 (pow t 2)) into (* 2e-16 (pow t 2)) 1553944227.645 * [backup-simplify]: Simplify (* (/ 1 t) (* 2e-16 (/ 1 t))) into (/ 2e-16 (pow t 2)) 1553944227.645 * [approximate]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0 1553944227.645 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 1553944227.645 * [taylor]: Taking taylor expansion of 2e-16 in t 1553944227.645 * [backup-simplify]: Simplify 2e-16 into 2e-16 1553944227.645 * [taylor]: Taking taylor expansion of (pow t 2) in t 1553944227.645 * [taylor]: Taking taylor expansion of t in t 1553944227.645 * [backup-simplify]: Simplify 0 into 0 1553944227.645 * [backup-simplify]: Simplify 1 into 1 1553944227.645 * [backup-simplify]: Simplify (* 1 1) into 1 1553944227.646 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16 1553944227.646 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 1553944227.646 * [taylor]: Taking taylor expansion of 2e-16 in t 1553944227.646 * [backup-simplify]: Simplify 2e-16 into 2e-16 1553944227.646 * [taylor]: Taking taylor expansion of (pow t 2) in t 1553944227.646 * [taylor]: Taking taylor expansion of t in t 1553944227.646 * [backup-simplify]: Simplify 0 into 0 1553944227.646 * [backup-simplify]: Simplify 1 into 1 1553944227.646 * [backup-simplify]: Simplify (* 1 1) into 1 1553944227.646 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16 1553944227.646 * [backup-simplify]: Simplify 2e-16 into 2e-16 1553944227.647 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553944227.647 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0 1553944227.647 * [backup-simplify]: Simplify 0 into 0 1553944227.648 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553944227.648 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.648 * [backup-simplify]: Simplify 0 into 0 1553944227.649 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553944227.650 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.650 * [backup-simplify]: Simplify 0 into 0 1553944227.653 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553944227.654 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.654 * [backup-simplify]: Simplify 0 into 0 1553944227.655 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553944227.656 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.656 * [backup-simplify]: Simplify 0 into 0 1553944227.657 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553944227.658 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.658 * [backup-simplify]: Simplify 0 into 0 1553944227.658 * [backup-simplify]: Simplify (* 2e-16 (pow (/ 1 (/ 1 t)) 2)) into (* 2e-16 (pow t 2)) 1553944227.658 * [backup-simplify]: Simplify (* (/ 1 (- t)) (* 2e-16 (/ 1 (- t)))) into (/ 2e-16 (pow t 2)) 1553944227.658 * [approximate]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0 1553944227.658 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 1553944227.658 * [taylor]: Taking taylor expansion of 2e-16 in t 1553944227.658 * [backup-simplify]: Simplify 2e-16 into 2e-16 1553944227.658 * [taylor]: Taking taylor expansion of (pow t 2) in t 1553944227.658 * [taylor]: Taking taylor expansion of t in t 1553944227.658 * [backup-simplify]: Simplify 0 into 0 1553944227.658 * [backup-simplify]: Simplify 1 into 1 1553944227.658 * [backup-simplify]: Simplify (* 1 1) into 1 1553944227.659 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16 1553944227.659 * [taylor]: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 1553944227.659 * [taylor]: Taking taylor expansion of 2e-16 in t 1553944227.659 * [backup-simplify]: Simplify 2e-16 into 2e-16 1553944227.659 * [taylor]: Taking taylor expansion of (pow t 2) in t 1553944227.659 * [taylor]: Taking taylor expansion of t in t 1553944227.659 * [backup-simplify]: Simplify 0 into 0 1553944227.659 * [backup-simplify]: Simplify 1 into 1 1553944227.659 * [backup-simplify]: Simplify (* 1 1) into 1 1553944227.659 * [backup-simplify]: Simplify (/ 2e-16 1) into 2e-16 1553944227.659 * [backup-simplify]: Simplify 2e-16 into 2e-16 1553944227.660 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1553944227.660 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0 1553944227.660 * [backup-simplify]: Simplify 0 into 0 1553944227.661 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1553944227.661 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.661 * [backup-simplify]: Simplify 0 into 0 1553944227.662 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1553944227.663 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.663 * [backup-simplify]: Simplify 0 into 0 1553944227.663 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1553944227.664 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.664 * [backup-simplify]: Simplify 0 into 0 1553944227.665 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1553944227.665 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.665 * [backup-simplify]: Simplify 0 into 0 1553944227.666 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1553944227.667 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553944227.667 * [backup-simplify]: Simplify 0 into 0 1553944227.667 * [backup-simplify]: Simplify (* 2e-16 (pow (/ 1 (/ 1 (- t))) 2)) into (* 2e-16 (pow t 2)) 1553944227.667 * * * [progress]: simplifying candidates 1553944227.667 * * * * [progress]: [ 1 / 26 ] simplifiying candidate # 1553944227.667 * * * * [progress]: [ 2 / 26 ] simplifiying candidate # 1553944227.667 * * * * [progress]: [ 3 / 26 ] simplifiying candidate # 1553944227.667 * * * * [progress]: [ 4 / 26 ] simplifiying candidate # 1553944227.667 * * * * [progress]: [ 5 / 26 ] simplifiying candidate # 1553944227.667 * * * * [progress]: [ 6 / 26 ] simplifiying candidate # 1553944227.667 * * * * [progress]: [ 7 / 26 ] simplifiying candidate # 1553944227.667 * * * * [progress]: [ 8 / 26 ] simplifiying candidate # 1553944227.667 * [simplify]: Simplifying (* 2e-16 t) 1553944227.667 * * [simplify]: iters left: 2 (3 enodes) 1553944227.668 * * [simplify]: iters left: 1 (10 enodes) 1553944227.670 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944227.670 * * [simplify]: Extracting #1: cost 4 inf + 0 1553944227.670 * * [simplify]: Extracting #2: cost 2 inf + 2 1553944227.670 * * [simplify]: Extracting #3: cost 0 inf + 86 1553944227.670 * [simplify]: Simplified to (* 2e-16 t) 1553944227.670 * [simplify]: Simplified (2 2) to (λ (t) (* (* 2e-16 t) (* 2e-16 t))) 1553944227.670 * * * * [progress]: [ 9 / 26 ] simplifiying candidate #real (real->posit16 (* 2e-16 (* t (* 2e-16 t))))))> 1553944227.670 * * * * [progress]: [ 10 / 26 ] simplifiying candidate # 1553944227.670 * * * * [progress]: [ 11 / 26 ] simplifiying candidate # 1553944227.670 * * * * [progress]: [ 12 / 26 ] simplifiying candidate # 1553944227.670 * * * * [progress]: [ 13 / 26 ] simplifiying candidate # 1553944227.670 * * * * [progress]: [ 14 / 26 ] simplifiying candidate # 1553944227.670 * * * * [progress]: [ 15 / 26 ] simplifiying candidate # 1553944227.670 * * * * [progress]: [ 16 / 26 ] simplifiying candidate # 1553944227.670 * * * * [progress]: [ 17 / 26 ] simplifiying candidate # 1553944227.670 * * * * [progress]: [ 18 / 26 ] simplifiying candidate # 1553944227.671 * * * * [progress]: [ 19 / 26 ] simplifiying candidate #real (real->posit16 (* t (* 2e-16 t))))))> 1553944227.671 * * * * [progress]: [ 20 / 26 ] simplifiying candidate # 1553944227.671 * * * * [progress]: [ 21 / 26 ] simplifiying candidate # 1553944227.671 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1553944227.671 * * [simplify]: iters left: 3 (5 enodes) 1553944227.672 * * [simplify]: iters left: 2 (17 enodes) 1553944227.675 * * [simplify]: iters left: 1 (21 enodes) 1553944227.679 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944227.679 * * [simplify]: Extracting #1: cost 6 inf + 0 1553944227.679 * * [simplify]: Extracting #2: cost 7 inf + 2 1553944227.679 * * [simplify]: Extracting #3: cost 0 inf + 333 1553944227.679 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1553944227.679 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1553944227.679 * * * * [progress]: [ 22 / 26 ] simplifiying candidate # 1553944227.680 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1553944227.680 * * [simplify]: iters left: 3 (5 enodes) 1553944227.681 * * [simplify]: iters left: 2 (17 enodes) 1553944227.684 * * [simplify]: iters left: 1 (21 enodes) 1553944227.687 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944227.687 * * [simplify]: Extracting #1: cost 6 inf + 0 1553944227.687 * * [simplify]: Extracting #2: cost 7 inf + 2 1553944227.688 * * [simplify]: Extracting #3: cost 0 inf + 333 1553944227.688 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1553944227.688 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1553944227.688 * * * * [progress]: [ 23 / 26 ] simplifiying candidate # 1553944227.688 * [simplify]: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1553944227.688 * * [simplify]: iters left: 3 (5 enodes) 1553944227.690 * * [simplify]: iters left: 2 (17 enodes) 1553944227.692 * * [simplify]: iters left: 1 (21 enodes) 1553944227.696 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944227.696 * * [simplify]: Extracting #1: cost 6 inf + 0 1553944227.696 * * [simplify]: Extracting #2: cost 7 inf + 2 1553944227.696 * * [simplify]: Extracting #3: cost 0 inf + 333 1553944227.696 * [simplify]: Simplified to (* (* t t) 3.9999999999999997e-32) 1553944227.696 * [simplify]: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1553944227.696 * * * * [progress]: [ 24 / 26 ] simplifiying candidate # 1553944227.696 * [simplify]: Simplifying (* 2e-16 (pow t 2)) 1553944227.696 * * [simplify]: iters left: 3 (5 enodes) 1553944227.698 * * [simplify]: iters left: 2 (17 enodes) 1553944227.700 * * [simplify]: iters left: 1 (21 enodes) 1553944227.704 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944227.704 * * [simplify]: Extracting #1: cost 6 inf + 0 1553944227.704 * * [simplify]: Extracting #2: cost 7 inf + 2 1553944227.704 * * [simplify]: Extracting #3: cost 0 inf + 333 1553944227.704 * [simplify]: Simplified to (* (* t t) 2e-16) 1553944227.704 * [simplify]: Simplified (2 2) to (λ (t) (* 2e-16 (* (* t t) 2e-16))) 1553944227.704 * * * * [progress]: [ 25 / 26 ] simplifiying candidate # 1553944227.705 * [simplify]: Simplifying (* 2e-16 (pow t 2)) 1553944227.705 * * [simplify]: iters left: 3 (5 enodes) 1553944227.706 * * [simplify]: iters left: 2 (17 enodes) 1553944227.709 * * [simplify]: iters left: 1 (21 enodes) 1553944227.715 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944227.715 * * [simplify]: Extracting #1: cost 6 inf + 0 1553944227.716 * * [simplify]: Extracting #2: cost 7 inf + 2 1553944227.716 * * [simplify]: Extracting #3: cost 0 inf + 333 1553944227.716 * [simplify]: Simplified to (* (* t t) 2e-16) 1553944227.716 * [simplify]: Simplified (2 2) to (λ (t) (* 2e-16 (* (* t t) 2e-16))) 1553944227.716 * * * * [progress]: [ 26 / 26 ] simplifiying candidate # 1553944227.716 * [simplify]: Simplifying (* 2e-16 (pow t 2)) 1553944227.716 * * [simplify]: iters left: 3 (5 enodes) 1553944227.719 * * [simplify]: iters left: 2 (17 enodes) 1553944227.725 * * [simplify]: iters left: 1 (21 enodes) 1553944227.731 * * [simplify]: Extracting #0: cost 1 inf + 0 1553944227.732 * * [simplify]: Extracting #1: cost 6 inf + 0 1553944227.732 * * [simplify]: Extracting #2: cost 7 inf + 2 1553944227.732 * * [simplify]: Extracting #3: cost 0 inf + 333 1553944227.732 * [simplify]: Simplified to (* (* t t) 2e-16) 1553944227.732 * [simplify]: Simplified (2 2) to (λ (t) (* 2e-16 (* (* t t) 2e-16))) 1553944227.732 * * * [progress]: adding candidates to table 1553944227.874 * [progress]: [Phase 3 of 3] Extracting. 1553944227.874 * * [regime]: Finding splitpoints for: (# # # # # # #) 1553944227.875 * * * [regime-changes]: Trying 1 branch expressions: (t) 1553944227.875 * * * * [regimes]: Trying to branch on t from (# # # # # # #) 1553944227.909 * * * [regime]: Found split indices: #