1538427360.612 * [misc]progress: [Phase 1 of 3] Setting up. 1538427360.612 * * * [misc]progress: [1/2] Preparing points 1538427360.612 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538427360.756 * * * * [misc]points: Filtering points with unrepresentable outputs 1538427360.756 * * * * [exit]points: Sampled 256 points with exact outputs 1538427360.756 * * * [misc]progress: [2/2] Setting up program. 1538427360.766 * [misc]progress: [Phase 2 of 3] Improving. 1538427360.766 * [enter]simplify: Simplifying (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16)))) 1538427360.768 * * [misc]simplify: iters left: 6 (11 enodes) 1538427360.773 * * [misc]simplify: iters left: 5 (29 enodes) 1538427360.786 * * [misc]simplify: iters left: 4 (77 enodes) 1538427360.868 * * [misc]simplify: iters left: 3 (180 enodes) 1538427361.042 * * [misc]simplify: iters left: 2 (417 enodes) 1538427362.634 * [exit]simplify: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 1538427362.651 * * [misc]progress: iteration 1 / 4 1538427362.651 * * * [misc]progress: picking best candidate 1538427362.655 * * * * [misc]pick: Picked # 1538427362.656 * * * [misc]progress: localizing error 1538427362.668 * * * [misc]progress: generating rewritten candidates 1538427362.668 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1538427362.691 * * * [misc]progress: generating series expansions 1538427362.691 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1538427362.691 * [misc]backup-simplify: Simplify (* (* 2e-16 t) (* 2e-16 t)) into (* 3.9999999999999997e-32 (pow t 2)) 1538427362.691 * [misc]approximate: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1538427362.691 * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1538427362.691 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1538427362.691 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427362.691 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1538427362.691 * [misc]taylor: Taking taylor expansion of t in t 1538427362.691 * [misc]backup-simplify: Simplify 0 into 0 1538427362.691 * [misc]backup-simplify: Simplify 1 into 1 1538427362.691 * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1538427362.691 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1538427362.691 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427362.691 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1538427362.691 * [misc]taylor: Taking taylor expansion of t in t 1538427362.691 * [misc]backup-simplify: Simplify 0 into 0 1538427362.691 * [misc]backup-simplify: Simplify 1 into 1 1538427362.692 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538427362.692 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1538427362.692 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427362.692 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538427362.692 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 1538427362.692 * [misc]backup-simplify: Simplify 0 into 0 1538427362.692 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538427362.693 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 1538427362.693 * [misc]backup-simplify: Simplify 0 into 0 1538427362.693 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538427362.693 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538427362.693 * [misc]backup-simplify: Simplify 0 into 0 1538427362.693 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538427362.693 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538427362.693 * [misc]backup-simplify: Simplify 0 into 0 1538427362.694 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538427362.694 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538427362.694 * [misc]backup-simplify: Simplify 0 into 0 1538427362.694 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538427362.695 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538427362.695 * [misc]backup-simplify: Simplify 0 into 0 1538427362.695 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1538427362.695 * [misc]backup-simplify: Simplify (* (* 2e-16 (/ 1 t)) (* 2e-16 (/ 1 t))) into (/ 3.9999999999999997e-32 (pow t 2)) 1538427362.695 * [misc]approximate: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1538427362.695 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1538427362.695 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1538427362.695 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427362.695 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1538427362.695 * [misc]taylor: Taking taylor expansion of t in t 1538427362.695 * [misc]backup-simplify: Simplify 0 into 0 1538427362.695 * [misc]backup-simplify: Simplify 1 into 1 1538427362.695 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538427362.695 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1538427362.695 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1538427362.695 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1538427362.695 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427362.695 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1538427362.695 * [misc]taylor: Taking taylor expansion of t in t 1538427362.695 * [misc]backup-simplify: Simplify 0 into 0 1538427362.695 * [misc]backup-simplify: Simplify 1 into 1 1538427362.696 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538427362.696 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1538427362.696 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427362.696 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538427362.696 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1538427362.696 * [misc]backup-simplify: Simplify 0 into 0 1538427362.697 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538427362.697 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427362.697 * [misc]backup-simplify: Simplify 0 into 0 1538427362.697 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538427362.698 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427362.698 * [misc]backup-simplify: Simplify 0 into 0 1538427362.698 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538427362.699 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427362.699 * [misc]backup-simplify: Simplify 0 into 0 1538427362.699 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538427362.700 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427362.700 * [misc]backup-simplify: Simplify 0 into 0 1538427362.700 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538427362.701 * [misc]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 1538427362.701 * [misc]backup-simplify: Simplify 0 into 0 1538427362.701 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1538427362.702 * [misc]backup-simplify: Simplify (* (* 2e-16 (/ 1 (- t))) (* 2e-16 (/ 1 (- t)))) into (/ 3.9999999999999997e-32 (pow t 2)) 1538427362.702 * [misc]approximate: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1538427362.702 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1538427362.702 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1538427362.702 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427362.702 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1538427362.702 * [misc]taylor: Taking taylor expansion of t in t 1538427362.702 * [misc]backup-simplify: Simplify 0 into 0 1538427362.702 * [misc]backup-simplify: Simplify 1 into 1 1538427362.702 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538427362.702 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1538427362.702 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1538427362.702 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1538427362.702 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427362.702 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1538427362.702 * [misc]taylor: Taking taylor expansion of t in t 1538427362.702 * [misc]backup-simplify: Simplify 0 into 0 1538427362.702 * [misc]backup-simplify: Simplify 1 into 1 1538427362.703 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538427362.703 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1538427362.703 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427362.703 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538427362.703 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1538427362.704 * [misc]backup-simplify: Simplify 0 into 0 1538427362.704 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538427362.704 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427362.704 * [misc]backup-simplify: Simplify 0 into 0 1538427362.705 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538427362.705 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427362.705 * [misc]backup-simplify: Simplify 0 into 0 1538427362.705 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538427362.706 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427362.706 * [misc]backup-simplify: Simplify 0 into 0 1538427362.706 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538427362.707 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427362.707 * [misc]backup-simplify: Simplify 0 into 0 1538427362.707 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538427362.708 * [misc]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 1538427362.708 * [misc]backup-simplify: Simplify 0 into 0 1538427362.708 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1538427362.708 * * * [misc]progress: simplifying candidates 1538427362.708 * * * * [misc]progress: [ 1 / 19 ] simplifiying candidate # 1538427362.709 * [enter]simplify: Simplifying (* 2e-16 t) 1538427362.709 * * [misc]simplify: iters left: 2 (3 enodes) 1538427362.710 * * [misc]simplify: iters left: 1 (4 enodes) 1538427362.711 * [exit]simplify: Simplified to (* 2e-16 t) 1538427362.711 * [misc]simplify: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1538427362.712 * [enter]simplify: Simplifying (+ 1 1) 1538427362.712 * * [misc]simplify: iters left: 2 (2 enodes) 1538427362.713 * * [misc]simplify: iters left: 1 (5 enodes) 1538427362.714 * [exit]simplify: Simplified to 2 1538427362.714 * [misc]simplify: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1538427362.714 * * * * [misc]progress: [ 2 / 19 ] simplifiying candidate # 1538427362.715 * [enter]simplify: Simplifying (* (* 2e-16 t) (* 2e-16 t)) 1538427362.715 * * [misc]simplify: iters left: 4 (4 enodes) 1538427362.717 * * [misc]simplify: iters left: 3 (9 enodes) 1538427362.722 * * [misc]simplify: iters left: 2 (16 enodes) 1538427362.729 * * [misc]simplify: iters left: 1 (20 enodes) 1538427362.736 * [exit]simplify: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 1538427362.737 * [misc]simplify: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 1538427362.737 * * * * [misc]progress: [ 3 / 19 ] simplifiying candidate # 1538427362.737 * * * * [misc]progress: [ 4 / 19 ] simplifiying candidate # 1538427362.737 * [enter]simplify: Simplifying (* 2e-16 t) 1538427362.737 * * [misc]simplify: iters left: 2 (3 enodes) 1538427362.738 * * [misc]simplify: iters left: 1 (4 enodes) 1538427362.740 * [exit]simplify: Simplified to (* 2e-16 t) 1538427362.740 * [misc]simplify: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1538427362.740 * * * * [misc]progress: [ 5 / 19 ] simplifiying candidate # 1538427362.740 * * * * [misc]progress: [ 6 / 19 ] simplifiying candidate # 1538427362.740 * [enter]simplify: Simplifying (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 1538427362.741 * * [misc]simplify: iters left: 5 (5 enodes) 1538427362.744 * * [misc]simplify: iters left: 4 (9 enodes) 1538427362.748 * * [misc]simplify: iters left: 3 (14 enodes) 1538427362.759 * * [misc]simplify: iters left: 2 (22 enodes) 1538427362.766 * * [misc]simplify: iters left: 1 (26 enodes) 1538427362.776 * [exit]simplify: Simplified to (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 1538427362.776 * [misc]simplify: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 1538427362.776 * * * * [misc]progress: [ 7 / 19 ] simplifiying candidate # 1538427362.776 * * * * [misc]progress: [ 8 / 19 ] simplifiying candidate # 1538427362.776 * * * * [misc]progress: [ 9 / 19 ] simplifiying candidate # 1538427362.776 * [enter]simplify: Simplifying (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))) 1538427362.777 * * [misc]simplify: iters left: 6 (6 enodes) 1538427362.781 * * [misc]simplify: iters left: 5 (18 enodes) 1538427362.795 * * [misc]simplify: iters left: 4 (58 enodes) 1538427362.822 * * [misc]simplify: iters left: 3 (169 enodes) 1538427362.978 * * [misc]simplify: iters left: 2 (488 enodes) 1538427363.632 * [exit]simplify: Simplified to (pow (* 2e-16 t) 6) 1538427363.632 * [misc]simplify: Simplified (2 1) to (λ (t) (cbrt (pow (* 2e-16 t) 6))) 1538427363.632 * * * * [misc]progress: [ 10 / 19 ] simplifiying candidate # 1538427363.632 * * * * [misc]progress: [ 11 / 19 ] simplifiying candidate # 1538427363.632 * * * * [misc]progress: [ 12 / 19 ] simplifiying candidate # 1538427363.632 * * * * [misc]progress: [ 13 / 19 ] simplifiying candidate # 1538427363.632 * * * * [misc]progress: [ 14 / 19 ] simplifiying candidate # 1538427363.632 * * * * [misc]progress: [ 15 / 19 ] simplifiying candidate # 1538427363.632 * * * * [misc]progress: [ 16 / 19 ] simplifiying candidate # 1538427363.632 * * * * [misc]progress: [ 17 / 19 ] simplifiying candidate # 1538427363.633 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1538427363.633 * * [misc]simplify: iters left: 3 (5 enodes) 1538427363.634 * * [misc]simplify: iters left: 2 (7 enodes) 1538427363.635 * * [misc]simplify: iters left: 1 (11 enodes) 1538427363.638 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1538427363.638 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1538427363.638 * * * * [misc]progress: [ 18 / 19 ] simplifiying candidate # 1538427363.638 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1538427363.638 * * [misc]simplify: iters left: 3 (5 enodes) 1538427363.639 * * [misc]simplify: iters left: 2 (7 enodes) 1538427363.640 * * [misc]simplify: iters left: 1 (11 enodes) 1538427363.643 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1538427363.643 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1538427363.643 * * * * [misc]progress: [ 19 / 19 ] simplifiying candidate # 1538427363.643 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1538427363.643 * * [misc]simplify: iters left: 3 (5 enodes) 1538427363.645 * * [misc]simplify: iters left: 2 (7 enodes) 1538427363.648 * * [misc]simplify: iters left: 1 (11 enodes) 1538427363.652 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1538427363.652 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1538427363.652 * * * [misc]progress: adding candidates to table 1538427363.912 * * [misc]progress: iteration 2 / 4 1538427363.912 * * * [misc]progress: picking best candidate 1538427363.927 * * * * [misc]pick: Picked # 1538427363.927 * * * [misc]progress: localizing error 1538427363.939 * * * [misc]progress: generating rewritten candidates 1538427363.939 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1538427363.955 * * * [misc]progress: generating series expansions 1538427363.956 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1538427363.956 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1538427363.956 * [misc]approximate: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1538427363.956 * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1538427363.956 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1538427363.956 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427363.956 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1538427363.956 * [misc]taylor: Taking taylor expansion of t in t 1538427363.956 * [misc]backup-simplify: Simplify 0 into 0 1538427363.956 * [misc]backup-simplify: Simplify 1 into 1 1538427363.956 * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1538427363.956 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1538427363.956 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427363.956 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1538427363.956 * [misc]taylor: Taking taylor expansion of t in t 1538427363.956 * [misc]backup-simplify: Simplify 0 into 0 1538427363.956 * [misc]backup-simplify: Simplify 1 into 1 1538427363.956 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538427363.956 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1538427363.957 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427363.957 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538427363.957 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 1538427363.957 * [misc]backup-simplify: Simplify 0 into 0 1538427363.957 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538427363.957 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 1538427363.957 * [misc]backup-simplify: Simplify 0 into 0 1538427363.957 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538427363.958 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538427363.958 * [misc]backup-simplify: Simplify 0 into 0 1538427363.958 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538427363.958 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538427363.958 * [misc]backup-simplify: Simplify 0 into 0 1538427363.958 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538427363.959 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538427363.959 * [misc]backup-simplify: Simplify 0 into 0 1538427363.959 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538427363.959 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538427363.959 * [misc]backup-simplify: Simplify 0 into 0 1538427363.959 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1538427363.960 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow (/ 1 t) 2)) into (/ 3.9999999999999997e-32 (pow t 2)) 1538427363.960 * [misc]approximate: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1538427363.960 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1538427363.960 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1538427363.960 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427363.960 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1538427363.960 * [misc]taylor: Taking taylor expansion of t in t 1538427363.960 * [misc]backup-simplify: Simplify 0 into 0 1538427363.960 * [misc]backup-simplify: Simplify 1 into 1 1538427363.960 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538427363.960 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1538427363.960 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1538427363.960 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1538427363.960 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427363.960 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1538427363.960 * [misc]taylor: Taking taylor expansion of t in t 1538427363.960 * [misc]backup-simplify: Simplify 0 into 0 1538427363.960 * [misc]backup-simplify: Simplify 1 into 1 1538427363.960 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538427363.960 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1538427363.960 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427363.961 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538427363.961 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1538427363.961 * [misc]backup-simplify: Simplify 0 into 0 1538427363.961 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538427363.961 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427363.961 * [misc]backup-simplify: Simplify 0 into 0 1538427363.961 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538427363.962 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427363.962 * [misc]backup-simplify: Simplify 0 into 0 1538427363.962 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538427363.962 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427363.962 * [misc]backup-simplify: Simplify 0 into 0 1538427363.962 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538427363.963 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427363.963 * [misc]backup-simplify: Simplify 0 into 0 1538427363.963 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538427363.963 * [misc]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 1538427363.963 * [misc]backup-simplify: Simplify 0 into 0 1538427363.964 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1538427363.964 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (- t)) 2)) into (/ 3.9999999999999997e-32 (pow t 2)) 1538427363.964 * [misc]approximate: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1538427363.964 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1538427363.964 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1538427363.964 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427363.964 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1538427363.964 * [misc]taylor: Taking taylor expansion of t in t 1538427363.964 * [misc]backup-simplify: Simplify 0 into 0 1538427363.964 * [misc]backup-simplify: Simplify 1 into 1 1538427363.964 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538427363.964 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1538427363.964 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1538427363.964 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1538427363.964 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427363.964 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1538427363.964 * [misc]taylor: Taking taylor expansion of t in t 1538427363.964 * [misc]backup-simplify: Simplify 0 into 0 1538427363.964 * [misc]backup-simplify: Simplify 1 into 1 1538427363.964 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538427363.965 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1538427363.965 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427363.965 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538427363.965 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1538427363.965 * [misc]backup-simplify: Simplify 0 into 0 1538427363.965 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538427363.965 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427363.965 * [misc]backup-simplify: Simplify 0 into 0 1538427363.966 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538427363.966 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427363.966 * [misc]backup-simplify: Simplify 0 into 0 1538427363.966 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538427363.966 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427363.966 * [misc]backup-simplify: Simplify 0 into 0 1538427363.967 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538427363.967 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427363.967 * [misc]backup-simplify: Simplify 0 into 0 1538427363.967 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538427363.968 * [misc]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 1538427363.968 * [misc]backup-simplify: Simplify 0 into 0 1538427363.968 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1538427363.968 * * * [misc]progress: simplifying candidates 1538427363.968 * * * * [misc]progress: [ 1 / 15 ] simplifiying candidate # 1538427363.968 * * * * [misc]progress: [ 2 / 15 ] simplifiying candidate # 1538427363.968 * * * * [misc]progress: [ 3 / 15 ] simplifiying candidate # 1538427363.968 * * * * [misc]progress: [ 4 / 15 ] simplifiying candidate # 1538427363.968 * * * * [misc]progress: [ 5 / 15 ] simplifiying candidate # 1538427363.968 * * * * [misc]progress: [ 6 / 15 ] simplifiying candidate # 1538427363.968 * * * * [misc]progress: [ 7 / 15 ] simplifiying candidate # 1538427363.968 * * * * [misc]progress: [ 8 / 15 ] simplifiying candidate # 1538427363.968 * * * * [misc]progress: [ 9 / 15 ] simplifiying candidate # 1538427363.969 * [enter]simplify: Simplifying (cbrt (pow t 2)) 1538427363.969 * * [misc]simplify: iters left: 2 (4 enodes) 1538427363.970 * * [misc]simplify: iters left: 1 (5 enodes) 1538427363.971 * [exit]simplify: Simplified to (cbrt (* t t)) 1538427363.971 * [misc]simplify: Simplified (2 2) to (λ (t) (* (* 3.9999999999999997e-32 (* (cbrt (pow t 2)) (cbrt (pow t 2)))) (cbrt (* t t)))) 1538427363.971 * * * * [misc]progress: [ 10 / 15 ] simplifiying candidate # 1538427363.971 * [enter]simplify: Simplifying (sqrt (pow t 2)) 1538427363.971 * * [misc]simplify: iters left: 2 (4 enodes) 1538427363.972 * * [misc]simplify: iters left: 1 (5 enodes) 1538427363.976 * [exit]simplify: Simplified to (fabs t) 1538427363.976 * [misc]simplify: Simplified (2 2) to (λ (t) (* (* 3.9999999999999997e-32 (sqrt (pow t 2))) (fabs t))) 1538427363.976 * * * * [misc]progress: [ 11 / 15 ] simplifiying candidate # 1538427363.976 * [enter]simplify: Simplifying (pow t 2) 1538427363.976 * * [misc]simplify: iters left: 1 (3 enodes) 1538427363.977 * [exit]simplify: Simplified to (* t t) 1538427363.977 * [misc]simplify: Simplified (2 2) to (λ (t) (* (* 3.9999999999999997e-32 1) (* t t))) 1538427363.977 * * * * [misc]progress: [ 12 / 15 ] simplifiying candidate # 1538427363.977 * * * * [misc]progress: [ 13 / 15 ] simplifiying candidate # 1538427363.977 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1538427363.977 * * [misc]simplify: iters left: 3 (5 enodes) 1538427363.978 * * [misc]simplify: iters left: 2 (7 enodes) 1538427363.981 * * [misc]simplify: iters left: 1 (11 enodes) 1538427363.985 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1538427363.985 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1538427363.985 * * * * [misc]progress: [ 14 / 15 ] simplifiying candidate # 1538427363.985 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1538427363.986 * * [misc]simplify: iters left: 3 (5 enodes) 1538427363.988 * * [misc]simplify: iters left: 2 (7 enodes) 1538427363.990 * * [misc]simplify: iters left: 1 (11 enodes) 1538427363.994 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1538427363.995 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1538427363.995 * * * * [misc]progress: [ 15 / 15 ] simplifiying candidate # 1538427363.995 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1538427363.995 * * [misc]simplify: iters left: 3 (5 enodes) 1538427363.997 * * [misc]simplify: iters left: 2 (7 enodes) 1538427364.000 * * [misc]simplify: iters left: 1 (11 enodes) 1538427364.002 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1538427364.002 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1538427364.002 * * * [misc]progress: adding candidates to table 1538427364.164 * * [misc]progress: iteration 3 / 4 1538427364.164 * * * [misc]progress: picking best candidate 1538427364.189 * * * * [misc]pick: Picked # 1538427364.189 * * * [misc]progress: localizing error 1538427364.202 * * * [misc]progress: generating rewritten candidates 1538427364.202 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1538427364.219 * * * [misc]progress: generating series expansions 1538427364.219 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1538427364.219 * [misc]backup-simplify: Simplify (* (* 3.9999999999999997e-32 t) t) into (* 3.9999999999999997e-32 (pow t 2)) 1538427364.219 * [misc]approximate: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1538427364.219 * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1538427364.219 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1538427364.219 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427364.219 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1538427364.219 * [misc]taylor: Taking taylor expansion of t in t 1538427364.219 * [misc]backup-simplify: Simplify 0 into 0 1538427364.219 * [misc]backup-simplify: Simplify 1 into 1 1538427364.219 * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1538427364.219 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1538427364.219 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427364.219 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1538427364.219 * [misc]taylor: Taking taylor expansion of t in t 1538427364.219 * [misc]backup-simplify: Simplify 0 into 0 1538427364.219 * [misc]backup-simplify: Simplify 1 into 1 1538427364.220 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538427364.220 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1538427364.220 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427364.220 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538427364.220 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 1538427364.220 * [misc]backup-simplify: Simplify 0 into 0 1538427364.220 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538427364.221 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 1538427364.221 * [misc]backup-simplify: Simplify 0 into 0 1538427364.221 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538427364.221 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538427364.221 * [misc]backup-simplify: Simplify 0 into 0 1538427364.221 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538427364.222 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538427364.222 * [misc]backup-simplify: Simplify 0 into 0 1538427364.222 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538427364.222 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538427364.222 * [misc]backup-simplify: Simplify 0 into 0 1538427364.223 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538427364.223 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538427364.223 * [misc]backup-simplify: Simplify 0 into 0 1538427364.223 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1538427364.223 * [misc]backup-simplify: Simplify (* (* 3.9999999999999997e-32 (/ 1 t)) (/ 1 t)) into (/ 3.9999999999999997e-32 (pow t 2)) 1538427364.223 * [misc]approximate: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1538427364.223 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1538427364.223 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1538427364.223 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427364.223 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1538427364.223 * [misc]taylor: Taking taylor expansion of t in t 1538427364.223 * [misc]backup-simplify: Simplify 0 into 0 1538427364.223 * [misc]backup-simplify: Simplify 1 into 1 1538427364.223 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538427364.223 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1538427364.223 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1538427364.223 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1538427364.223 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427364.224 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1538427364.224 * [misc]taylor: Taking taylor expansion of t in t 1538427364.224 * [misc]backup-simplify: Simplify 0 into 0 1538427364.224 * [misc]backup-simplify: Simplify 1 into 1 1538427364.224 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538427364.224 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1538427364.224 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427364.224 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538427364.224 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1538427364.224 * [misc]backup-simplify: Simplify 0 into 0 1538427364.224 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538427364.225 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427364.225 * [misc]backup-simplify: Simplify 0 into 0 1538427364.225 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538427364.225 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427364.225 * [misc]backup-simplify: Simplify 0 into 0 1538427364.225 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538427364.225 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427364.226 * [misc]backup-simplify: Simplify 0 into 0 1538427364.226 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538427364.226 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427364.226 * [misc]backup-simplify: Simplify 0 into 0 1538427364.226 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538427364.227 * [misc]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 1538427364.227 * [misc]backup-simplify: Simplify 0 into 0 1538427364.227 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1538427364.227 * [misc]backup-simplify: Simplify (* (* 3.9999999999999997e-32 (/ 1 (- t))) (/ 1 (- t))) into (/ 3.9999999999999997e-32 (pow t 2)) 1538427364.227 * [misc]approximate: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1538427364.227 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1538427364.227 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1538427364.227 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427364.227 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1538427364.227 * [misc]taylor: Taking taylor expansion of t in t 1538427364.227 * [misc]backup-simplify: Simplify 0 into 0 1538427364.227 * [misc]backup-simplify: Simplify 1 into 1 1538427364.227 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538427364.228 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1538427364.228 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1538427364.228 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1538427364.228 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427364.228 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1538427364.228 * [misc]taylor: Taking taylor expansion of t in t 1538427364.228 * [misc]backup-simplify: Simplify 0 into 0 1538427364.228 * [misc]backup-simplify: Simplify 1 into 1 1538427364.228 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538427364.228 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1538427364.228 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427364.228 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538427364.228 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1538427364.228 * [misc]backup-simplify: Simplify 0 into 0 1538427364.228 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538427364.229 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427364.229 * [misc]backup-simplify: Simplify 0 into 0 1538427364.229 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538427364.229 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427364.229 * [misc]backup-simplify: Simplify 0 into 0 1538427364.229 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538427364.230 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427364.230 * [misc]backup-simplify: Simplify 0 into 0 1538427364.230 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538427364.230 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427364.230 * [misc]backup-simplify: Simplify 0 into 0 1538427364.231 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538427364.231 * [misc]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 1538427364.231 * [misc]backup-simplify: Simplify 0 into 0 1538427364.231 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1538427364.231 * * * [misc]progress: simplifying candidates 1538427364.231 * * * * [misc]progress: [ 1 / 12 ] simplifiying candidate # 1538427364.231 * * * * [misc]progress: [ 2 / 12 ] simplifiying candidate # 1538427364.231 * * * * [misc]progress: [ 3 / 12 ] simplifiying candidate # 1538427364.231 * * * * [misc]progress: [ 4 / 12 ] simplifiying candidate # 1538427364.231 * * * * [misc]progress: [ 5 / 12 ] simplifiying candidate # 1538427364.231 * * * * [misc]progress: [ 6 / 12 ] simplifiying candidate # 1538427364.231 * * * * [misc]progress: [ 7 / 12 ] simplifiying candidate # 1538427364.232 * * * * [misc]progress: [ 8 / 12 ] simplifiying candidate # 1538427364.232 * * * * [misc]progress: [ 9 / 12 ] simplifiying candidate # 1538427364.232 * * * * [misc]progress: [ 10 / 12 ] simplifiying candidate # 1538427364.232 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1538427364.232 * * [misc]simplify: iters left: 3 (5 enodes) 1538427364.233 * * [misc]simplify: iters left: 2 (7 enodes) 1538427364.234 * * [misc]simplify: iters left: 1 (11 enodes) 1538427364.236 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1538427364.237 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1538427364.237 * * * * [misc]progress: [ 11 / 12 ] simplifiying candidate # 1538427364.237 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1538427364.237 * * [misc]simplify: iters left: 3 (5 enodes) 1538427364.238 * * [misc]simplify: iters left: 2 (7 enodes) 1538427364.239 * * [misc]simplify: iters left: 1 (11 enodes) 1538427364.242 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1538427364.242 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1538427364.242 * * * * [misc]progress: [ 12 / 12 ] simplifiying candidate # 1538427364.242 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1538427364.242 * * [misc]simplify: iters left: 3 (5 enodes) 1538427364.243 * * [misc]simplify: iters left: 2 (7 enodes) 1538427364.245 * * [misc]simplify: iters left: 1 (11 enodes) 1538427364.247 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1538427364.247 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1538427364.247 * * * [misc]progress: adding candidates to table 1538427364.360 * * [misc]progress: iteration 4 / 4 1538427364.360 * * * [misc]progress: picking best candidate 1538427364.369 * * * * [misc]pick: Picked # 1538427364.369 * * * [misc]progress: localizing error 1538427364.378 * * * [misc]progress: generating rewritten candidates 1538427364.378 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1538427364.427 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2) 1538427364.449 * * * [misc]progress: generating series expansions 1538427364.449 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1538427364.449 * [misc]backup-simplify: Simplify (* 2e-16 (* t (* 2e-16 t))) into (* 3.9999999999999997e-32 (pow t 2)) 1538427364.449 * [misc]approximate: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1538427364.449 * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1538427364.449 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1538427364.449 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427364.449 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1538427364.449 * [misc]taylor: Taking taylor expansion of t in t 1538427364.449 * [misc]backup-simplify: Simplify 0 into 0 1538427364.449 * [misc]backup-simplify: Simplify 1 into 1 1538427364.449 * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1538427364.449 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1538427364.449 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427364.449 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1538427364.449 * [misc]taylor: Taking taylor expansion of t in t 1538427364.449 * [misc]backup-simplify: Simplify 0 into 0 1538427364.449 * [misc]backup-simplify: Simplify 1 into 1 1538427364.450 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538427364.450 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1538427364.450 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427364.450 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538427364.451 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 1538427364.451 * [misc]backup-simplify: Simplify 0 into 0 1538427364.451 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538427364.451 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 1538427364.451 * [misc]backup-simplify: Simplify 0 into 0 1538427364.452 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538427364.452 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538427364.452 * [misc]backup-simplify: Simplify 0 into 0 1538427364.453 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538427364.453 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538427364.453 * [misc]backup-simplify: Simplify 0 into 0 1538427364.453 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538427364.454 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538427364.454 * [misc]backup-simplify: Simplify 0 into 0 1538427364.455 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538427364.455 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538427364.455 * [misc]backup-simplify: Simplify 0 into 0 1538427364.455 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1538427364.455 * [misc]backup-simplify: Simplify (* 2e-16 (* (/ 1 t) (* 2e-16 (/ 1 t)))) into (/ 3.9999999999999997e-32 (pow t 2)) 1538427364.455 * [misc]approximate: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1538427364.455 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1538427364.456 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1538427364.456 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427364.456 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1538427364.456 * [misc]taylor: Taking taylor expansion of t in t 1538427364.456 * [misc]backup-simplify: Simplify 0 into 0 1538427364.456 * [misc]backup-simplify: Simplify 1 into 1 1538427364.456 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538427364.456 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1538427364.456 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1538427364.456 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1538427364.456 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427364.456 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1538427364.456 * [misc]taylor: Taking taylor expansion of t in t 1538427364.456 * [misc]backup-simplify: Simplify 0 into 0 1538427364.456 * [misc]backup-simplify: Simplify 1 into 1 1538427364.456 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538427364.457 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1538427364.457 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427364.457 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538427364.457 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1538427364.457 * [misc]backup-simplify: Simplify 0 into 0 1538427364.458 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538427364.458 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427364.458 * [misc]backup-simplify: Simplify 0 into 0 1538427364.458 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538427364.459 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427364.459 * [misc]backup-simplify: Simplify 0 into 0 1538427364.459 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538427364.460 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427364.460 * [misc]backup-simplify: Simplify 0 into 0 1538427364.460 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538427364.461 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427364.461 * [misc]backup-simplify: Simplify 0 into 0 1538427364.461 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538427364.462 * [misc]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 1538427364.462 * [misc]backup-simplify: Simplify 0 into 0 1538427364.462 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1538427364.463 * [misc]backup-simplify: Simplify (* 2e-16 (* (/ 1 (- t)) (* 2e-16 (/ 1 (- t))))) into (/ 3.9999999999999997e-32 (pow t 2)) 1538427364.463 * [misc]approximate: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1538427364.463 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1538427364.463 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1538427364.463 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427364.463 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1538427364.463 * [misc]taylor: Taking taylor expansion of t in t 1538427364.463 * [misc]backup-simplify: Simplify 0 into 0 1538427364.463 * [misc]backup-simplify: Simplify 1 into 1 1538427364.463 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538427364.463 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1538427364.463 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1538427364.463 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1538427364.463 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427364.463 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1538427364.463 * [misc]taylor: Taking taylor expansion of t in t 1538427364.463 * [misc]backup-simplify: Simplify 0 into 0 1538427364.463 * [misc]backup-simplify: Simplify 1 into 1 1538427364.464 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538427364.464 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1538427364.464 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1538427364.464 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538427364.464 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1538427364.464 * [misc]backup-simplify: Simplify 0 into 0 1538427364.465 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538427364.465 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427364.465 * [misc]backup-simplify: Simplify 0 into 0 1538427364.465 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538427364.466 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427364.466 * [misc]backup-simplify: Simplify 0 into 0 1538427364.466 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538427364.467 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427364.467 * [misc]backup-simplify: Simplify 0 into 0 1538427364.467 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538427364.468 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427364.468 * [misc]backup-simplify: Simplify 0 into 0 1538427364.468 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538427364.469 * [misc]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 1538427364.469 * [misc]backup-simplify: Simplify 0 into 0 1538427364.469 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1538427364.470 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2) 1538427364.470 * [misc]backup-simplify: Simplify (* t (* 2e-16 t)) into (* 2e-16 (pow t 2)) 1538427364.470 * [misc]approximate: Taking taylor expansion of (* 2e-16 (pow t 2)) in (t) around 0 1538427364.470 * [misc]taylor: Taking taylor expansion of (* 2e-16 (pow t 2)) in t 1538427364.470 * [misc]taylor: Taking taylor expansion of 2e-16 in t 1538427364.470 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1538427364.470 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1538427364.470 * [misc]taylor: Taking taylor expansion of t in t 1538427364.470 * [misc]backup-simplify: Simplify 0 into 0 1538427364.470 * [misc]backup-simplify: Simplify 1 into 1 1538427364.470 * [misc]taylor: Taking taylor expansion of (* 2e-16 (pow t 2)) in t 1538427364.470 * [misc]taylor: Taking taylor expansion of 2e-16 in t 1538427364.470 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1538427364.470 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1538427364.470 * [misc]taylor: Taking taylor expansion of t in t 1538427364.470 * [misc]backup-simplify: Simplify 0 into 0 1538427364.470 * [misc]backup-simplify: Simplify 1 into 1 1538427364.470 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538427364.471 * [misc]backup-simplify: Simplify (* 2e-16 1) into 2e-16 1538427364.471 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1538427364.471 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538427364.471 * [misc]backup-simplify: Simplify (+ (* 2e-16 0) (* 0 1)) into 0 1538427364.471 * [misc]backup-simplify: Simplify 0 into 0 1538427364.472 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538427364.472 * [misc]backup-simplify: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 1))) into 0 1538427364.472 * [misc]backup-simplify: Simplify 0 into 0 1538427364.472 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538427364.473 * [misc]backup-simplify: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538427364.473 * [misc]backup-simplify: Simplify 0 into 0 1538427364.473 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538427364.473 * [misc]backup-simplify: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538427364.473 * [misc]backup-simplify: Simplify 0 into 0 1538427364.474 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538427364.474 * [misc]backup-simplify: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538427364.474 * [misc]backup-simplify: Simplify 0 into 0 1538427364.475 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538427364.475 * [misc]backup-simplify: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538427364.475 * [misc]backup-simplify: Simplify 0 into 0 1538427364.475 * [misc]backup-simplify: Simplify (* 2e-16 (pow t 2)) into (* 2e-16 (pow t 2)) 1538427364.476 * [misc]backup-simplify: Simplify (* (/ 1 t) (* 2e-16 (/ 1 t))) into (/ 2e-16 (pow t 2)) 1538427364.476 * [misc]approximate: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0 1538427364.476 * [misc]taylor: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 1538427364.476 * [misc]taylor: Taking taylor expansion of 2e-16 in t 1538427364.476 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1538427364.476 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1538427364.476 * [misc]taylor: Taking taylor expansion of t in t 1538427364.476 * [misc]backup-simplify: Simplify 0 into 0 1538427364.476 * [misc]backup-simplify: Simplify 1 into 1 1538427364.476 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538427364.476 * [misc]backup-simplify: Simplify (/ 2e-16 1) into 2e-16 1538427364.476 * [misc]taylor: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 1538427364.476 * [misc]taylor: Taking taylor expansion of 2e-16 in t 1538427364.476 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1538427364.476 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1538427364.476 * [misc]taylor: Taking taylor expansion of t in t 1538427364.476 * [misc]backup-simplify: Simplify 0 into 0 1538427364.476 * [misc]backup-simplify: Simplify 1 into 1 1538427364.476 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538427364.477 * [misc]backup-simplify: Simplify (/ 2e-16 1) into 2e-16 1538427364.477 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1538427364.477 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538427364.477 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0 1538427364.477 * [misc]backup-simplify: Simplify 0 into 0 1538427364.478 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538427364.478 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427364.478 * [misc]backup-simplify: Simplify 0 into 0 1538427364.478 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538427364.479 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427364.479 * [misc]backup-simplify: Simplify 0 into 0 1538427364.479 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538427364.479 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427364.480 * [misc]backup-simplify: Simplify 0 into 0 1538427364.480 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538427364.481 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427364.481 * [misc]backup-simplify: Simplify 0 into 0 1538427364.481 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538427364.482 * [misc]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 1538427364.482 * [misc]backup-simplify: Simplify 0 into 0 1538427364.482 * [misc]backup-simplify: Simplify (* 2e-16 (pow (/ 1 (/ 1 t)) 2)) into (* 2e-16 (pow t 2)) 1538427364.482 * [misc]backup-simplify: Simplify (* (/ 1 (- t)) (* 2e-16 (/ 1 (- t)))) into (/ 2e-16 (pow t 2)) 1538427364.482 * [misc]approximate: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0 1538427364.482 * [misc]taylor: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 1538427364.482 * [misc]taylor: Taking taylor expansion of 2e-16 in t 1538427364.482 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1538427364.482 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1538427364.483 * [misc]taylor: Taking taylor expansion of t in t 1538427364.483 * [misc]backup-simplify: Simplify 0 into 0 1538427364.483 * [misc]backup-simplify: Simplify 1 into 1 1538427364.483 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538427364.483 * [misc]backup-simplify: Simplify (/ 2e-16 1) into 2e-16 1538427364.483 * [misc]taylor: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 1538427364.483 * [misc]taylor: Taking taylor expansion of 2e-16 in t 1538427364.483 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1538427364.483 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1538427364.483 * [misc]taylor: Taking taylor expansion of t in t 1538427364.483 * [misc]backup-simplify: Simplify 0 into 0 1538427364.483 * [misc]backup-simplify: Simplify 1 into 1 1538427364.483 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538427364.484 * [misc]backup-simplify: Simplify (/ 2e-16 1) into 2e-16 1538427364.484 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1538427364.484 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538427364.484 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0 1538427364.484 * [misc]backup-simplify: Simplify 0 into 0 1538427364.484 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538427364.485 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427364.485 * [misc]backup-simplify: Simplify 0 into 0 1538427364.485 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538427364.486 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427364.486 * [misc]backup-simplify: Simplify 0 into 0 1538427364.486 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538427364.487 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427364.487 * [misc]backup-simplify: Simplify 0 into 0 1538427364.487 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538427364.488 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538427364.488 * [misc]backup-simplify: Simplify 0 into 0 1538427364.488 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538427364.489 * [misc]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 1538427364.489 * [misc]backup-simplify: Simplify 0 into 0 1538427364.495 * [misc]backup-simplify: Simplify (* 2e-16 (pow (/ 1 (/ 1 (- t))) 2)) into (* 2e-16 (pow t 2)) 1538427364.495 * * * [misc]progress: simplifying candidates 1538427364.495 * * * * [misc]progress: [ 1 / 24 ] simplifiying candidate # 1538427364.495 * * * * [misc]progress: [ 2 / 24 ] simplifiying candidate # 1538427364.495 * * * * [misc]progress: [ 3 / 24 ] simplifiying candidate # 1538427364.495 * * * * [misc]progress: [ 4 / 24 ] simplifiying candidate # 1538427364.495 * * * * [misc]progress: [ 5 / 24 ] simplifiying candidate # 1538427364.496 * * * * [misc]progress: [ 6 / 24 ] simplifiying candidate # 1538427364.496 * * * * [misc]progress: [ 7 / 24 ] simplifiying candidate # 1538427364.496 * * * * [misc]progress: [ 8 / 24 ] simplifiying candidate # 1538427364.496 * [enter]simplify: Simplifying (* 2e-16 t) 1538427364.496 * * [misc]simplify: iters left: 2 (3 enodes) 1538427364.497 * * [misc]simplify: iters left: 1 (4 enodes) 1538427364.499 * [exit]simplify: Simplified to (* 2e-16 t) 1538427364.499 * [misc]simplify: Simplified (2 2) to (λ (t) (* (* 2e-16 t) (* 2e-16 t))) 1538427364.499 * * * * [misc]progress: [ 9 / 24 ] simplifiying candidate # 1538427364.499 * * * * [misc]progress: [ 10 / 24 ] simplifiying candidate # 1538427364.499 * * * * [misc]progress: [ 11 / 24 ] simplifiying candidate # 1538427364.499 * * * * [misc]progress: [ 12 / 24 ] simplifiying candidate # 1538427364.499 * * * * [misc]progress: [ 13 / 24 ] simplifiying candidate # 1538427364.499 * * * * [misc]progress: [ 14 / 24 ] simplifiying candidate # 1538427364.499 * * * * [misc]progress: [ 15 / 24 ] simplifiying candidate # 1538427364.499 * * * * [misc]progress: [ 16 / 24 ] simplifiying candidate # 1538427364.499 * * * * [misc]progress: [ 17 / 24 ] simplifiying candidate # 1538427364.499 * * * * [misc]progress: [ 18 / 24 ] simplifiying candidate # 1538427364.499 * * * * [misc]progress: [ 19 / 24 ] simplifiying candidate # 1538427364.500 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1538427364.500 * * [misc]simplify: iters left: 3 (5 enodes) 1538427364.502 * * [misc]simplify: iters left: 2 (7 enodes) 1538427364.505 * * [misc]simplify: iters left: 1 (11 enodes) 1538427364.509 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1538427364.509 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1538427364.509 * * * * [misc]progress: [ 20 / 24 ] simplifiying candidate # 1538427364.510 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1538427364.510 * * [misc]simplify: iters left: 3 (5 enodes) 1538427364.512 * * [misc]simplify: iters left: 2 (7 enodes) 1538427364.514 * * [misc]simplify: iters left: 1 (11 enodes) 1538427364.519 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1538427364.519 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1538427364.519 * * * * [misc]progress: [ 21 / 24 ] simplifiying candidate # 1538427364.519 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1538427364.519 * * [misc]simplify: iters left: 3 (5 enodes) 1538427364.521 * * [misc]simplify: iters left: 2 (7 enodes) 1538427364.524 * * [misc]simplify: iters left: 1 (11 enodes) 1538427364.528 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1538427364.528 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1538427364.528 * * * * [misc]progress: [ 22 / 24 ] simplifiying candidate # 1538427364.529 * [enter]simplify: Simplifying (* 2e-16 (pow t 2)) 1538427364.529 * * [misc]simplify: iters left: 3 (5 enodes) 1538427364.531 * * [misc]simplify: iters left: 2 (7 enodes) 1538427364.534 * * [misc]simplify: iters left: 1 (11 enodes) 1538427364.538 * [exit]simplify: Simplified to (* (* t t) 2e-16) 1538427364.538 * [misc]simplify: Simplified (2 2) to (λ (t) (* 2e-16 (* (* t t) 2e-16))) 1538427364.538 * * * * [misc]progress: [ 23 / 24 ] simplifiying candidate # 1538427364.538 * [enter]simplify: Simplifying (* 2e-16 (pow t 2)) 1538427364.539 * * [misc]simplify: iters left: 3 (5 enodes) 1538427364.541 * * [misc]simplify: iters left: 2 (7 enodes) 1538427364.544 * * [misc]simplify: iters left: 1 (11 enodes) 1538427364.547 * [exit]simplify: Simplified to (* (* t t) 2e-16) 1538427364.547 * [misc]simplify: Simplified (2 2) to (λ (t) (* 2e-16 (* (* t t) 2e-16))) 1538427364.547 * * * * [misc]progress: [ 24 / 24 ] simplifiying candidate # 1538427364.547 * [enter]simplify: Simplifying (* 2e-16 (pow t 2)) 1538427364.547 * * [misc]simplify: iters left: 3 (5 enodes) 1538427364.548 * * [misc]simplify: iters left: 2 (7 enodes) 1538427364.550 * * [misc]simplify: iters left: 1 (11 enodes) 1538427364.552 * [exit]simplify: Simplified to (* (* t t) 2e-16) 1538427364.552 * [misc]simplify: Simplified (2 2) to (λ (t) (* 2e-16 (* (* t t) 2e-16))) 1538427364.552 * * * [misc]progress: adding candidates to table 1538427364.843 * [misc]progress: [Phase 3 of 3] Extracting. 1538427364.843 * * [misc]regime: Finding splitpoints for: (# # # # # # #) 1538427364.845 * * * [misc]regime-changes: Trying 1 branch expressions: (t) 1538427364.845 * * * * [misc]regimes: Trying to branch on t from (# # # # # # #) 1538427364.885 * * * * [misc]regimes: Trying to branch on t from (# # # # # # #) 1538427364.954 * * * [misc]regime: Found split indices: #(struct:option (#(struct:si 6 256)) (# # # # # # #) ((0.9007685844798308) (0.9008236689337553) (0.9017216077263293) (0.9021102218861314) (0.9025047761416681) (0.9033215937151308) (0.9033270725378036) (0.9038331658226728) (0.9042531846934112) (0.9043860562911529) (0.9050245928784827) (0.9051593368961008) (0.9063900635289777) (0.9068401946293815) (0.9069939407314319) (0.9076293430794748) (0.9088283302538166) (0.9095008171348166) (0.9106686115827851) (0.9112848078397546) (0.9113057590734333) (0.9115064127014928) (0.9122693631275877) (0.9131036769670229) (0.9141023161495052) (0.9144663249489751) (0.9152284544784646) (0.9156496480141194) (0.9156818265796038) (0.9178159224097299) (0.9178202991335442) (0.9192421541082743) (0.9194846540993383) (0.9200003996243282) (0.9208879888648285) (0.9222722949415485) (0.9232178144830351) (0.9240102952313468) (0.9245610562123263) (0.9253018657821045) (0.9254086755560189) (0.9265316933350831) (0.9266799498870809) (0.9269000133675369) (0.9275997433108805) (0.9280410802586512) (0.9288752438158508) (0.9289310493245562) (0.9290429144725639) (0.929531814902415) (0.929797160296987) (0.9300107773647327) (0.9304290350316998) (0.9316568628314519) (0.9317687730984459) (0.9317975604922388) (0.9320020629739003) (0.9322901973640544) (0.9327150827898947) (0.9335533505901532) (0.9336512082544884) (0.9337610659897708) (0.9338857666271628) (0.9342264068954721) (0.9354144412504785) (0.9356399394741236) (0.9361636132063957) (0.9362211188100404) (0.9380189966487646) (0.9381613315351547) (0.9383295313761333) (0.9398720119229471) (0.9401211249820538) (0.9402832442892647) (0.9411881445544349) (0.9421446114636244) (0.9425396335595073) (0.9431936660919572) (0.9432172211800598) (0.9433790440497782) (0.944480281728401) (0.9451001660285068) (0.9457979954910518) (0.9468264572800075) (0.9478886082189342) (0.9479877524902007) (0.9481834370891393) (0.9483385957951691) (0.9492364170787913) (0.9496301631709483) (0.9508033677606785) (0.9512512583759624) (0.9521451906101046) (0.9525103345273314) (0.9526249965997047) (0.9529033726669203) (0.9535398147051275) (0.9536297424761468) (0.953828408537833) (0.9549138159655051) (0.956480226867678) (0.9586788193852949) (0.9600086704199868) (0.9621931892182441) (0.9631509909579533) (0.9631741988842405) (0.9633025241346) (0.9635314278527217) (0.964708071134571) (0.9657104876419752) (0.9659404203951779) (0.9668999666290136) (0.9672162695597964) (0.967216399905194) (0.9675449986048422) (0.9675549715098584) (0.9686334974501112) (0.9690309369751186) (0.969498521535577) (0.9698283550806689) (0.9698446201262859) (0.9705815612907118) (0.971193950704971) (0.9719135262639894) (0.9719606131661178) (0.9724722628142876) (0.9736947170437295) (0.9769206402690185) (0.977790904676365) (0.9788974837372577) (0.9789865507604766) (0.9792875421455836) (0.9795125517373345) (0.9804619394251245) (0.9810271646181041) (0.9810709586469106) (0.9813977788165893) (0.9817320731833398) (0.9817717815590898) (0.9825243295536448) (0.9831488788463179) (0.9834048581788977) (0.9839226182045245) (0.9848397419611048) (0.9850556170456215) (0.9857510945238582) (0.9863501592395231) (0.9871167915293708) (0.9871322435283494) (0.9876465654783884) (0.987651893945859) (0.9880259519551396) (0.9882353706444924) (0.9886781873006641) (0.9897677162027119) (0.9902620076334033) (0.9920682440963398) (0.9922106035635251) (0.9923125703230432) (0.9928259021276009) (0.9929358653418588) (0.9932787810073282) (0.9936079695496246) (0.9950193908163354) (0.9954339136423705) (0.9954557119051886) (0.9963369595261716) (0.996540348373092) (0.9983990199027252) (0.9988758187306892) (0.9991273960118924) (0.9999200484021815) (1.0014359184181627) (1.0048034628244626) (1.008498452089466) (1.0085139147589466) (1.0114132201114026) (1.011415767554973) (1.0123860495525023) (1.0124602852563498) (1.0134036479872415) (1.0142097435866677) (1.0170666049685795) (1.0214320869624858) (1.0224585516197242) (1.0231603085698953) (1.0239200969966256) (1.0265042131395286) (1.0266732711670954) (1.027635964089034) (1.027984130582156) (1.0287983582210016) (1.0296032279409004) (1.0299467893094414) (1.0306787966490847) (1.0315171593452783) (1.031986209178732) (1.0352214580071752) (1.0360723939771042) (1.038594241047402) (1.0387110434724813) (1.0395624988421268) (1.0401222777380565) (1.0401615733357512) (1.0407587788007509) (1.0452998290114464) (1.046000570388101) (1.046138451720894) (1.0475955371567762) (1.0477066330646065) (1.0482511957161895) (1.0484358174862052) (1.0512257244006191) (1.0519805692652862) (1.0523354658487263) (1.0526217513596896) (1.0528576609637506) (1.0547902922416177) (1.0556651959768708) (1.0578203314748125) (1.058625932569259) (1.0594225855210415) (1.0597039501252448) (1.0629167804565192) (1.0656566828202936) (1.067118419007477) (1.0679801968034026) (1.0695581909910423) (1.0708872707987156) (1.071598852437288) (1.0723599358884446) (1.0733364672278067) (1.0746928184350062) (1.0768498318991848) (1.0773012882653128) (1.0779927658234436) (1.0808529219554726) (1.0840307585555125) (1.0844103459663998) (1.0845386234815166) (1.0845653120738412) (1.0847829242858507) (1.0857401788910201) (1.092068232768898) (1.0929451413352427) (1.0930876633303974) (1.0933147510070274) (1.0937576008909098) (1.0942514199603721) (1.0965320065635293) (1.0972032464685533) (1.097987069413806) (1.0983502344078122) (1.0983892784256561) (1.0986974610391922) (1.0988822218692094)) t (2 1 1 1 1 1 1 1 2 1 1 1 1 1 2 1 1 2 1 1 1 1 2 2 1 1 1 2 1 2 1 1 1 1 1 2 2 1 1 1 1 1 1 1 2 1 1 1 1 1 2 2 2 1 1 1 1 1 1 1 1 1 1 2 1 1 2 1 1 2 1 1 1 1 1 1 1 1 2 1 2 1 1 1 1 1 2 1 1 1 1 1 1 1 2 1 1 1 1 1 1 1 1 2 1 1 1 2 1 1 1 1 2 2 1 1 2 1 1 1 2 1 2 1 1 2 1 2 2 1 2 1 1 1 1 1 1 2 2 1 2 1 1 1 1 1 2 1 1 2 1 2 2 1 1 1 1 1 2 2 1 1 1 1 1 1 1 2 1 1 1 2 1 1 1 2 1 1 1 2 2 1 2 1 1 2 1 2 2 2 1 1 2 1 2 2 1 2 2 2 1 1 1 2 1 2 1 2 1 1 2 1 2 2 2 2 1 1 1 1 1 1 1 2 1 1 2 1 2 2 2 1 1 1 1 1 1 2 2 2 2 1 1 2 1 1 1 2 2 2 1 1 2 2 2 2)) 1538427364.957 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1538427364.957 * * [misc]simplify: iters left: 3 (5 enodes) 1538427364.958 * * [misc]simplify: iters left: 2 (6 enodes) 1538427364.959 * [exit]simplify: Simplified to (* (pow t 2) 3.9999999999999997e-32) 1538427364.959 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1538427371.505 * * * * [misc]points: Filtering points with unrepresentable outputs 1538427371.509 * * * * [exit]points: Sampled 8000 points with exact outputs