1545211496.947 * [misc]progress: [Phase 1 of 3] Setting up. 1545211496.947 * * * [misc]progress: [1/2] Preparing points 1545211496.950 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1545211497.091 * * * * [misc]points: Filtering points with unrepresentable outputs 1545211497.091 * * * * [exit]points: Sampled 256 points with exact outputs 1545211497.091 * * * [misc]progress: [2/2] Setting up program. 1545211497.095 * [misc]progress: [Phase 2 of 3] Improving. 1545211497.095 * [enter]simplify: Simplifying (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16)))) 1545211497.095 * * [misc]simplify: iters left: 6 (11 enodes) 1545211497.097 * * [misc]simplify: iters left: 5 (29 enodes) 1545211497.108 * * [misc]simplify: iters left: 4 (77 enodes) 1545211497.146 * * [misc]simplify: iters left: 3 (180 enodes) 1545211497.261 * * [misc]simplify: iters left: 2 (417 enodes) 1545211498.471 * [exit]simplify: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 1545211498.483 * * [misc]progress: iteration 1 / 4 1545211498.483 * * * [misc]progress: picking best candidate 1545211498.487 * * * * [misc]pick: Picked # 1545211498.487 * * * [misc]progress: localizing error 1545211498.499 * * * [misc]progress: generating rewritten candidates 1545211498.499 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1545211498.508 * * * [misc]progress: generating series expansions 1545211498.508 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1545211498.508 * [misc]backup-simplify: Simplify (* (* 2e-16 t) (* 2e-16 t)) into (* 3.9999999999999997e-32 (pow t 2)) 1545211498.508 * [misc]approximate: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1545211498.508 * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1545211498.508 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1545211498.508 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211498.508 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211498.508 * [misc]taylor: Taking taylor expansion of t in t 1545211498.508 * [misc]backup-simplify: Simplify 0 into 0 1545211498.508 * [misc]backup-simplify: Simplify 1 into 1 1545211498.508 * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1545211498.508 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1545211498.508 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211498.508 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211498.508 * [misc]taylor: Taking taylor expansion of t in t 1545211498.508 * [misc]backup-simplify: Simplify 0 into 0 1545211498.509 * [misc]backup-simplify: Simplify 1 into 1 1545211498.509 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545211498.509 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1545211498.509 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211498.509 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545211498.510 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 1545211498.510 * [misc]backup-simplify: Simplify 0 into 0 1545211498.510 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545211498.510 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 1545211498.510 * [misc]backup-simplify: Simplify 0 into 0 1545211498.511 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545211498.511 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545211498.511 * [misc]backup-simplify: Simplify 0 into 0 1545211498.511 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545211498.512 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545211498.512 * [misc]backup-simplify: Simplify 0 into 0 1545211498.512 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545211498.512 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545211498.512 * [misc]backup-simplify: Simplify 0 into 0 1545211498.513 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545211498.513 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545211498.513 * [misc]backup-simplify: Simplify 0 into 0 1545211498.513 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1545211498.514 * [misc]backup-simplify: Simplify (* (* 2e-16 (/ 1 t)) (* 2e-16 (/ 1 t))) into (/ 3.9999999999999997e-32 (pow t 2)) 1545211498.514 * [misc]approximate: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1545211498.514 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1545211498.514 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1545211498.514 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211498.514 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211498.514 * [misc]taylor: Taking taylor expansion of t in t 1545211498.514 * [misc]backup-simplify: Simplify 0 into 0 1545211498.514 * [misc]backup-simplify: Simplify 1 into 1 1545211498.514 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545211498.514 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1545211498.514 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1545211498.514 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1545211498.514 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211498.514 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211498.514 * [misc]taylor: Taking taylor expansion of t in t 1545211498.514 * [misc]backup-simplify: Simplify 0 into 0 1545211498.514 * [misc]backup-simplify: Simplify 1 into 1 1545211498.514 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545211498.515 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1545211498.515 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211498.515 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545211498.515 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1545211498.515 * [misc]backup-simplify: Simplify 0 into 0 1545211498.515 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545211498.516 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211498.516 * [misc]backup-simplify: Simplify 0 into 0 1545211498.516 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545211498.516 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211498.516 * [misc]backup-simplify: Simplify 0 into 0 1545211498.517 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545211498.517 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211498.517 * [misc]backup-simplify: Simplify 0 into 0 1545211498.518 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545211498.518 * [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 1545211498.518 * [misc]backup-simplify: Simplify 0 into 0 1545211498.519 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545211498.519 * [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 1545211498.519 * [misc]backup-simplify: Simplify 0 into 0 1545211498.519 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1545211498.520 * [misc]backup-simplify: Simplify (* (* 2e-16 (/ 1 (- t))) (* 2e-16 (/ 1 (- t)))) into (/ 3.9999999999999997e-32 (pow t 2)) 1545211498.520 * [misc]approximate: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1545211498.520 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1545211498.520 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1545211498.520 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211498.520 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211498.520 * [misc]taylor: Taking taylor expansion of t in t 1545211498.520 * [misc]backup-simplify: Simplify 0 into 0 1545211498.520 * [misc]backup-simplify: Simplify 1 into 1 1545211498.520 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545211498.520 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1545211498.520 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1545211498.520 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1545211498.520 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211498.520 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211498.520 * [misc]taylor: Taking taylor expansion of t in t 1545211498.520 * [misc]backup-simplify: Simplify 0 into 0 1545211498.520 * [misc]backup-simplify: Simplify 1 into 1 1545211498.520 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545211498.521 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1545211498.521 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211498.521 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545211498.521 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1545211498.521 * [misc]backup-simplify: Simplify 0 into 0 1545211498.521 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545211498.522 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211498.522 * [misc]backup-simplify: Simplify 0 into 0 1545211498.522 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545211498.523 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211498.523 * [misc]backup-simplify: Simplify 0 into 0 1545211498.523 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545211498.523 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211498.523 * [misc]backup-simplify: Simplify 0 into 0 1545211498.524 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545211498.524 * [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 1545211498.524 * [misc]backup-simplify: Simplify 0 into 0 1545211498.525 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545211498.525 * [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 1545211498.525 * [misc]backup-simplify: Simplify 0 into 0 1545211498.525 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1545211498.526 * * * [misc]progress: simplifying candidates 1545211498.526 * * * * [misc]progress: [ 1 / 19 ] simplifiying candidate # 1545211498.526 * [enter]simplify: Simplifying (* 2e-16 t) 1545211498.526 * * [misc]simplify: iters left: 2 (3 enodes) 1545211498.527 * * [misc]simplify: iters left: 1 (4 enodes) 1545211498.528 * [exit]simplify: Simplified to (* 2e-16 t) 1545211498.528 * [misc]simplify: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1545211498.528 * [enter]simplify: Simplifying (+ 1 1) 1545211498.528 * * [misc]simplify: iters left: 2 (2 enodes) 1545211498.529 * * [misc]simplify: iters left: 1 (5 enodes) 1545211498.530 * [exit]simplify: Simplified to 2 1545211498.530 * [misc]simplify: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1545211498.530 * * * * [misc]progress: [ 2 / 19 ] simplifiying candidate # 1545211498.530 * [enter]simplify: Simplifying (* (* 2e-16 t) (* 2e-16 t)) 1545211498.530 * * [misc]simplify: iters left: 4 (4 enodes) 1545211498.531 * * [misc]simplify: iters left: 3 (9 enodes) 1545211498.539 * * [misc]simplify: iters left: 2 (16 enodes) 1545211498.544 * * [misc]simplify: iters left: 1 (20 enodes) 1545211498.550 * [exit]simplify: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 1545211498.550 * [misc]simplify: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 1545211498.550 * * * * [misc]progress: [ 3 / 19 ] simplifiying candidate # 1545211498.550 * * * * [misc]progress: [ 4 / 19 ] simplifiying candidate # 1545211498.550 * [enter]simplify: Simplifying (* 2e-16 t) 1545211498.550 * * [misc]simplify: iters left: 2 (3 enodes) 1545211498.551 * * [misc]simplify: iters left: 1 (4 enodes) 1545211498.552 * [exit]simplify: Simplified to (* 2e-16 t) 1545211498.552 * [misc]simplify: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1545211498.552 * * * * [misc]progress: [ 5 / 19 ] simplifiying candidate # 1545211498.553 * * * * [misc]progress: [ 6 / 19 ] simplifiying candidate # 1545211498.553 * [enter]simplify: Simplifying (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 1545211498.553 * * [misc]simplify: iters left: 5 (5 enodes) 1545211498.555 * * [misc]simplify: iters left: 4 (9 enodes) 1545211498.558 * * [misc]simplify: iters left: 3 (14 enodes) 1545211498.562 * * [misc]simplify: iters left: 2 (22 enodes) 1545211498.568 * * [misc]simplify: iters left: 1 (26 enodes) 1545211498.575 * [exit]simplify: Simplified to (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 1545211498.575 * [misc]simplify: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 1545211498.576 * * * * [misc]progress: [ 7 / 19 ] simplifiying candidate # 1545211498.576 * * * * [misc]progress: [ 8 / 19 ] simplifiying candidate # 1545211498.576 * * * * [misc]progress: [ 9 / 19 ] simplifiying candidate # 1545211498.576 * [enter]simplify: Simplifying (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))) 1545211498.576 * * [misc]simplify: iters left: 6 (6 enodes) 1545211498.578 * * [misc]simplify: iters left: 5 (18 enodes) 1545211498.586 * * [misc]simplify: iters left: 4 (58 enodes) 1545211498.615 * * [misc]simplify: iters left: 3 (169 enodes) 1545211498.726 * * [misc]simplify: iters left: 2 (488 enodes) 1545211499.269 * [exit]simplify: Simplified to (pow (* 2e-16 t) 6) 1545211499.269 * [misc]simplify: Simplified (2 1) to (λ (t) (cbrt (pow (* 2e-16 t) 6))) 1545211499.269 * * * * [misc]progress: [ 10 / 19 ] simplifiying candidate # 1545211499.269 * * * * [misc]progress: [ 11 / 19 ] simplifiying candidate # 1545211499.269 * * * * [misc]progress: [ 12 / 19 ] simplifiying candidate # 1545211499.269 * * * * [misc]progress: [ 13 / 19 ] simplifiying candidate # 1545211499.269 * * * * [misc]progress: [ 14 / 19 ] simplifiying candidate # 1545211499.269 * * * * [misc]progress: [ 15 / 19 ] simplifiying candidate # 1545211499.269 * * * * [misc]progress: [ 16 / 19 ] simplifiying candidate # 1545211499.269 * * * * [misc]progress: [ 17 / 19 ] simplifiying candidate # 1545211499.269 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1545211499.269 * * [misc]simplify: iters left: 3 (5 enodes) 1545211499.270 * * [misc]simplify: iters left: 2 (7 enodes) 1545211499.271 * * [misc]simplify: iters left: 1 (11 enodes) 1545211499.273 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1545211499.273 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1545211499.273 * * * * [misc]progress: [ 18 / 19 ] simplifiying candidate # 1545211499.273 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1545211499.273 * * [misc]simplify: iters left: 3 (5 enodes) 1545211499.274 * * [misc]simplify: iters left: 2 (7 enodes) 1545211499.274 * * [misc]simplify: iters left: 1 (11 enodes) 1545211499.277 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1545211499.277 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1545211499.277 * * * * [misc]progress: [ 19 / 19 ] simplifiying candidate # 1545211499.277 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1545211499.277 * * [misc]simplify: iters left: 3 (5 enodes) 1545211499.279 * * [misc]simplify: iters left: 2 (7 enodes) 1545211499.281 * * [misc]simplify: iters left: 1 (11 enodes) 1545211499.285 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1545211499.285 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1545211499.285 * * * [misc]progress: adding candidates to table 1545211499.405 * * [misc]progress: iteration 2 / 4 1545211499.405 * * * [misc]progress: picking best candidate 1545211499.430 * * * * [misc]pick: Picked # 1545211499.430 * * * [misc]progress: localizing error 1545211499.440 * * * [misc]progress: generating rewritten candidates 1545211499.440 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1545211499.451 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1545211499.455 * * * [misc]progress: generating series expansions 1545211499.455 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1545211499.456 * [misc]backup-simplify: Simplify (* (* (* 2e-16 t) 2e-16) t) into (* 3.9999999999999997e-32 (pow t 2)) 1545211499.456 * [misc]approximate: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1545211499.456 * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1545211499.456 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1545211499.456 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211499.456 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211499.456 * [misc]taylor: Taking taylor expansion of t in t 1545211499.456 * [misc]backup-simplify: Simplify 0 into 0 1545211499.456 * [misc]backup-simplify: Simplify 1 into 1 1545211499.456 * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1545211499.456 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1545211499.456 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211499.456 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211499.456 * [misc]taylor: Taking taylor expansion of t in t 1545211499.456 * [misc]backup-simplify: Simplify 0 into 0 1545211499.456 * [misc]backup-simplify: Simplify 1 into 1 1545211499.457 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545211499.457 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1545211499.457 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211499.457 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545211499.457 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 1545211499.457 * [misc]backup-simplify: Simplify 0 into 0 1545211499.458 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545211499.458 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 1545211499.458 * [misc]backup-simplify: Simplify 0 into 0 1545211499.458 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545211499.459 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545211499.459 * [misc]backup-simplify: Simplify 0 into 0 1545211499.459 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545211499.459 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545211499.460 * [misc]backup-simplify: Simplify 0 into 0 1545211499.460 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545211499.460 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545211499.461 * [misc]backup-simplify: Simplify 0 into 0 1545211499.461 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545211499.462 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545211499.462 * [misc]backup-simplify: Simplify 0 into 0 1545211499.462 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1545211499.462 * [misc]backup-simplify: Simplify (* (* (* 2e-16 (/ 1 t)) 2e-16) (/ 1 t)) into (/ 3.9999999999999997e-32 (pow t 2)) 1545211499.462 * [misc]approximate: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1545211499.462 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1545211499.462 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1545211499.462 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211499.462 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211499.462 * [misc]taylor: Taking taylor expansion of t in t 1545211499.462 * [misc]backup-simplify: Simplify 0 into 0 1545211499.462 * [misc]backup-simplify: Simplify 1 into 1 1545211499.462 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545211499.463 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1545211499.463 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1545211499.463 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1545211499.463 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211499.463 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211499.463 * [misc]taylor: Taking taylor expansion of t in t 1545211499.463 * [misc]backup-simplify: Simplify 0 into 0 1545211499.463 * [misc]backup-simplify: Simplify 1 into 1 1545211499.463 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545211499.463 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1545211499.463 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211499.464 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545211499.464 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1545211499.464 * [misc]backup-simplify: Simplify 0 into 0 1545211499.464 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545211499.465 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211499.465 * [misc]backup-simplify: Simplify 0 into 0 1545211499.465 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545211499.465 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211499.465 * [misc]backup-simplify: Simplify 0 into 0 1545211499.466 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545211499.466 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211499.466 * [misc]backup-simplify: Simplify 0 into 0 1545211499.467 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545211499.467 * [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 1545211499.467 * [misc]backup-simplify: Simplify 0 into 0 1545211499.471 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545211499.471 * [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 1545211499.471 * [misc]backup-simplify: Simplify 0 into 0 1545211499.472 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1545211499.472 * [misc]backup-simplify: Simplify (* (* (* 2e-16 (/ 1 (- t))) 2e-16) (/ 1 (- t))) into (/ 3.9999999999999997e-32 (pow t 2)) 1545211499.472 * [misc]approximate: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1545211499.472 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1545211499.472 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1545211499.472 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211499.472 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211499.472 * [misc]taylor: Taking taylor expansion of t in t 1545211499.472 * [misc]backup-simplify: Simplify 0 into 0 1545211499.472 * [misc]backup-simplify: Simplify 1 into 1 1545211499.472 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545211499.472 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1545211499.472 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1545211499.473 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1545211499.473 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211499.473 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211499.473 * [misc]taylor: Taking taylor expansion of t in t 1545211499.473 * [misc]backup-simplify: Simplify 0 into 0 1545211499.473 * [misc]backup-simplify: Simplify 1 into 1 1545211499.473 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545211499.473 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1545211499.473 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211499.473 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545211499.474 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1545211499.474 * [misc]backup-simplify: Simplify 0 into 0 1545211499.474 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545211499.474 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211499.474 * [misc]backup-simplify: Simplify 0 into 0 1545211499.475 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545211499.475 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211499.475 * [misc]backup-simplify: Simplify 0 into 0 1545211499.476 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545211499.476 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211499.476 * [misc]backup-simplify: Simplify 0 into 0 1545211499.477 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545211499.477 * [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 1545211499.477 * [misc]backup-simplify: Simplify 0 into 0 1545211499.478 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545211499.478 * [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 1545211499.478 * [misc]backup-simplify: Simplify 0 into 0 1545211499.479 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1545211499.479 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1545211499.479 * [misc]backup-simplify: Simplify (* (* 2e-16 t) 2e-16) into (* 3.9999999999999997e-32 t) 1545211499.479 * [misc]approximate: Taking taylor expansion of (* 3.9999999999999997e-32 t) in (t) around 0 1545211499.479 * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t 1545211499.479 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1545211499.479 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211499.479 * [misc]taylor: Taking taylor expansion of t in t 1545211499.479 * [misc]backup-simplify: Simplify 0 into 0 1545211499.479 * [misc]backup-simplify: Simplify 1 into 1 1545211499.479 * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t 1545211499.479 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1545211499.479 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211499.479 * [misc]taylor: Taking taylor expansion of t in t 1545211499.479 * [misc]backup-simplify: Simplify 0 into 0 1545211499.479 * [misc]backup-simplify: Simplify 1 into 1 1545211499.479 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 0) into 0 1545211499.479 * [misc]backup-simplify: Simplify 0 into 0 1545211499.480 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 1) (* 0 0)) into 3.9999999999999997e-32 1545211499.480 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211499.480 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 1) (* 0 0))) into 0 1545211499.480 * [misc]backup-simplify: Simplify 0 into 0 1545211499.481 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1545211499.481 * [misc]backup-simplify: Simplify 0 into 0 1545211499.481 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1545211499.481 * [misc]backup-simplify: Simplify 0 into 0 1545211499.482 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1545211499.482 * [misc]backup-simplify: Simplify 0 into 0 1545211499.482 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1545211499.482 * [misc]backup-simplify: Simplify 0 into 0 1545211499.483 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1545211499.483 * [misc]backup-simplify: Simplify 0 into 0 1545211499.483 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 t) into (* 3.9999999999999997e-32 t) 1545211499.483 * [misc]backup-simplify: Simplify (* (* 2e-16 (/ 1 t)) 2e-16) into (/ 3.9999999999999997e-32 t) 1545211499.483 * [misc]approximate: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in (t) around 0 1545211499.483 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in t 1545211499.483 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1545211499.483 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211499.483 * [misc]taylor: Taking taylor expansion of t in t 1545211499.483 * [misc]backup-simplify: Simplify 0 into 0 1545211499.483 * [misc]backup-simplify: Simplify 1 into 1 1545211499.484 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1545211499.484 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in t 1545211499.484 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1545211499.484 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211499.484 * [misc]taylor: Taking taylor expansion of t in t 1545211499.484 * [misc]backup-simplify: Simplify 0 into 0 1545211499.484 * [misc]backup-simplify: Simplify 1 into 1 1545211499.484 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1545211499.484 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211499.484 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1545211499.484 * [misc]backup-simplify: Simplify 0 into 0 1545211499.485 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211499.485 * [misc]backup-simplify: Simplify 0 into 0 1545211499.485 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211499.485 * [misc]backup-simplify: Simplify 0 into 0 1545211499.486 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211499.486 * [misc]backup-simplify: Simplify 0 into 0 1545211499.486 * [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 1545211499.486 * [misc]backup-simplify: Simplify 0 into 0 1545211499.487 * [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 1545211499.487 * [misc]backup-simplify: Simplify 0 into 0 1545211499.487 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (/ 1 (/ 1 t))) into (* 3.9999999999999997e-32 t) 1545211499.488 * [misc]backup-simplify: Simplify (* (* 2e-16 (/ 1 (- t))) 2e-16) into (/ -3.9999999999999997e-32 t) 1545211499.488 * [misc]approximate: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in (t) around 0 1545211499.488 * [misc]taylor: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in t 1545211499.488 * [misc]taylor: Taking taylor expansion of -3.9999999999999997e-32 in t 1545211499.488 * [misc]backup-simplify: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32 1545211499.488 * [misc]taylor: Taking taylor expansion of t in t 1545211499.488 * [misc]backup-simplify: Simplify 0 into 0 1545211499.488 * [misc]backup-simplify: Simplify 1 into 1 1545211499.488 * [misc]backup-simplify: Simplify (/ -3.9999999999999997e-32 1) into -3.9999999999999997e-32 1545211499.488 * [misc]taylor: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in t 1545211499.488 * [misc]taylor: Taking taylor expansion of -3.9999999999999997e-32 in t 1545211499.488 * [misc]backup-simplify: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32 1545211499.488 * [misc]taylor: Taking taylor expansion of t in t 1545211499.488 * [misc]backup-simplify: Simplify 0 into 0 1545211499.488 * [misc]backup-simplify: Simplify 1 into 1 1545211499.489 * [misc]backup-simplify: Simplify (/ -3.9999999999999997e-32 1) into -3.9999999999999997e-32 1545211499.489 * [misc]backup-simplify: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32 1545211499.489 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)))) into 0 1545211499.489 * [misc]backup-simplify: Simplify 0 into 0 1545211499.489 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211499.489 * [misc]backup-simplify: Simplify 0 into 0 1545211499.490 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211499.490 * [misc]backup-simplify: Simplify 0 into 0 1545211499.490 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211499.490 * [misc]backup-simplify: Simplify 0 into 0 1545211499.491 * [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 1545211499.491 * [misc]backup-simplify: Simplify 0 into 0 1545211499.492 * [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 1545211499.492 * [misc]backup-simplify: Simplify 0 into 0 1545211499.492 * [misc]backup-simplify: Simplify (* -3.9999999999999997e-32 (/ 1 (/ 1 (- t)))) into (* 3.9999999999999997e-32 t) 1545211499.492 * * * [misc]progress: simplifying candidates 1545211499.492 * * * * [misc]progress: [ 1 / 24 ] simplifiying candidate # 1545211499.492 * * * * [misc]progress: [ 2 / 24 ] simplifiying candidate # 1545211499.492 * * * * [misc]progress: [ 3 / 24 ] simplifiying candidate # 1545211499.492 * * * * [misc]progress: [ 4 / 24 ] simplifiying candidate # 1545211499.492 * * * * [misc]progress: [ 5 / 24 ] simplifiying candidate # 1545211499.492 * * * * [misc]progress: [ 6 / 24 ] simplifiying candidate # 1545211499.492 * * * * [misc]progress: [ 7 / 24 ] simplifiying candidate # 1545211499.492 * * * * [misc]progress: [ 8 / 24 ] simplifiying candidate # 1545211499.493 * [enter]simplify: Simplifying (* 2e-16 t) 1545211499.493 * * [misc]simplify: iters left: 2 (3 enodes) 1545211499.494 * * [misc]simplify: iters left: 1 (4 enodes) 1545211499.495 * [exit]simplify: Simplified to (* 2e-16 t) 1545211499.495 * [misc]simplify: Simplified (2 1) to (λ (t) (* (* 2e-16 t) (* 2e-16 t))) 1545211499.495 * * * * [misc]progress: [ 9 / 24 ] simplifiying candidate # 1545211499.495 * * * * [misc]progress: [ 10 / 24 ] simplifiying candidate # 1545211499.495 * * * * [misc]progress: [ 11 / 24 ] simplifiying candidate # 1545211499.495 * * * * [misc]progress: [ 12 / 24 ] simplifiying candidate # 1545211499.495 * * * * [misc]progress: [ 13 / 24 ] simplifiying candidate # 1545211499.495 * * * * [misc]progress: [ 14 / 24 ] simplifiying candidate # 1545211499.495 * * * * [misc]progress: [ 15 / 24 ] simplifiying candidate # 1545211499.495 * * * * [misc]progress: [ 16 / 24 ] simplifiying candidate # 1545211499.495 * * * * [misc]progress: [ 17 / 24 ] simplifiying candidate # 1545211499.495 * * * * [misc]progress: [ 18 / 24 ] simplifiying candidate # 1545211499.496 * * * * [misc]progress: [ 19 / 24 ] simplifiying candidate # 1545211499.496 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1545211499.496 * * [misc]simplify: iters left: 3 (5 enodes) 1545211499.497 * * [misc]simplify: iters left: 2 (7 enodes) 1545211499.499 * * [misc]simplify: iters left: 1 (11 enodes) 1545211499.502 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1545211499.503 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1545211499.503 * * * * [misc]progress: [ 20 / 24 ] simplifiying candidate # 1545211499.503 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1545211499.503 * * [misc]simplify: iters left: 3 (5 enodes) 1545211499.504 * * [misc]simplify: iters left: 2 (7 enodes) 1545211499.506 * * [misc]simplify: iters left: 1 (11 enodes) 1545211499.510 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1545211499.510 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1545211499.510 * * * * [misc]progress: [ 21 / 24 ] simplifiying candidate # 1545211499.510 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1545211499.510 * * [misc]simplify: iters left: 3 (5 enodes) 1545211499.511 * * [misc]simplify: iters left: 2 (7 enodes) 1545211499.512 * * [misc]simplify: iters left: 1 (11 enodes) 1545211499.514 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1545211499.514 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1545211499.514 * * * * [misc]progress: [ 22 / 24 ] simplifiying candidate # 1545211499.514 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 t) 1545211499.514 * * [misc]simplify: iters left: 2 (3 enodes) 1545211499.514 * * [misc]simplify: iters left: 1 (4 enodes) 1545211499.515 * [exit]simplify: Simplified to (* 3.9999999999999997e-32 t) 1545211499.515 * [misc]simplify: Simplified (2 1) to (λ (t) (* (* 3.9999999999999997e-32 t) t)) 1545211499.515 * * * * [misc]progress: [ 23 / 24 ] simplifiying candidate # 1545211499.515 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 t) 1545211499.515 * * [misc]simplify: iters left: 2 (3 enodes) 1545211499.516 * * [misc]simplify: iters left: 1 (4 enodes) 1545211499.516 * [exit]simplify: Simplified to (* 3.9999999999999997e-32 t) 1545211499.516 * [misc]simplify: Simplified (2 1) to (λ (t) (* (* 3.9999999999999997e-32 t) t)) 1545211499.516 * * * * [misc]progress: [ 24 / 24 ] simplifiying candidate # 1545211499.516 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 t) 1545211499.516 * * [misc]simplify: iters left: 2 (3 enodes) 1545211499.517 * * [misc]simplify: iters left: 1 (4 enodes) 1545211499.517 * [exit]simplify: Simplified to (* 3.9999999999999997e-32 t) 1545211499.517 * [misc]simplify: Simplified (2 1) to (λ (t) (* (* 3.9999999999999997e-32 t) t)) 1545211499.517 * * * [misc]progress: adding candidates to table 1545211499.664 * * [misc]progress: iteration 3 / 4 1545211499.664 * * * [misc]progress: picking best candidate 1545211499.684 * * * * [misc]pick: Picked # 1545211499.684 * * * [misc]progress: localizing error 1545211499.689 * * * [misc]progress: generating rewritten candidates 1545211499.689 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1545211499.696 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2) 1545211499.699 * * * [misc]progress: generating series expansions 1545211499.699 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1545211499.699 * [misc]backup-simplify: Simplify (* 2e-16 (* t (* 2e-16 t))) into (* 3.9999999999999997e-32 (pow t 2)) 1545211499.699 * [misc]approximate: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1545211499.699 * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1545211499.699 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1545211499.699 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211499.699 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211499.699 * [misc]taylor: Taking taylor expansion of t in t 1545211499.699 * [misc]backup-simplify: Simplify 0 into 0 1545211499.699 * [misc]backup-simplify: Simplify 1 into 1 1545211499.699 * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1545211499.699 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1545211499.699 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211499.699 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211499.699 * [misc]taylor: Taking taylor expansion of t in t 1545211499.699 * [misc]backup-simplify: Simplify 0 into 0 1545211499.699 * [misc]backup-simplify: Simplify 1 into 1 1545211499.699 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545211499.700 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1545211499.700 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211499.700 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545211499.700 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 1545211499.700 * [misc]backup-simplify: Simplify 0 into 0 1545211499.700 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545211499.700 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 1545211499.700 * [misc]backup-simplify: Simplify 0 into 0 1545211499.700 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545211499.701 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545211499.701 * [misc]backup-simplify: Simplify 0 into 0 1545211499.701 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545211499.701 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545211499.701 * [misc]backup-simplify: Simplify 0 into 0 1545211499.701 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545211499.702 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545211499.702 * [misc]backup-simplify: Simplify 0 into 0 1545211499.702 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545211499.702 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545211499.702 * [misc]backup-simplify: Simplify 0 into 0 1545211499.702 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1545211499.702 * [misc]backup-simplify: Simplify (* 2e-16 (* (/ 1 t) (* 2e-16 (/ 1 t)))) into (/ 3.9999999999999997e-32 (pow t 2)) 1545211499.702 * [misc]approximate: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1545211499.702 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1545211499.703 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1545211499.703 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211499.703 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211499.703 * [misc]taylor: Taking taylor expansion of t in t 1545211499.703 * [misc]backup-simplify: Simplify 0 into 0 1545211499.703 * [misc]backup-simplify: Simplify 1 into 1 1545211499.703 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545211499.703 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1545211499.703 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1545211499.703 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1545211499.703 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211499.703 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211499.703 * [misc]taylor: Taking taylor expansion of t in t 1545211499.703 * [misc]backup-simplify: Simplify 0 into 0 1545211499.703 * [misc]backup-simplify: Simplify 1 into 1 1545211499.703 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545211499.703 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1545211499.703 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211499.703 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545211499.704 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1545211499.704 * [misc]backup-simplify: Simplify 0 into 0 1545211499.704 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545211499.704 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211499.704 * [misc]backup-simplify: Simplify 0 into 0 1545211499.704 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545211499.704 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211499.704 * [misc]backup-simplify: Simplify 0 into 0 1545211499.705 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545211499.705 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211499.705 * [misc]backup-simplify: Simplify 0 into 0 1545211499.705 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545211499.705 * [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 1545211499.705 * [misc]backup-simplify: Simplify 0 into 0 1545211499.706 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545211499.706 * [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 1545211499.706 * [misc]backup-simplify: Simplify 0 into 0 1545211499.706 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1545211499.707 * [misc]backup-simplify: Simplify (* 2e-16 (* (/ 1 (- t)) (* 2e-16 (/ 1 (- t))))) into (/ 3.9999999999999997e-32 (pow t 2)) 1545211499.707 * [misc]approximate: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1545211499.707 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1545211499.707 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1545211499.707 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211499.707 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211499.707 * [misc]taylor: Taking taylor expansion of t in t 1545211499.707 * [misc]backup-simplify: Simplify 0 into 0 1545211499.707 * [misc]backup-simplify: Simplify 1 into 1 1545211499.707 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545211499.707 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1545211499.707 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1545211499.707 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1545211499.707 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211499.707 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211499.707 * [misc]taylor: Taking taylor expansion of t in t 1545211499.707 * [misc]backup-simplify: Simplify 0 into 0 1545211499.707 * [misc]backup-simplify: Simplify 1 into 1 1545211499.707 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545211499.707 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1545211499.708 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211499.708 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545211499.708 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1545211499.708 * [misc]backup-simplify: Simplify 0 into 0 1545211499.708 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545211499.709 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211499.709 * [misc]backup-simplify: Simplify 0 into 0 1545211499.709 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545211499.709 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211499.709 * [misc]backup-simplify: Simplify 0 into 0 1545211499.710 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545211499.710 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211499.710 * [misc]backup-simplify: Simplify 0 into 0 1545211499.711 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545211499.711 * [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 1545211499.711 * [misc]backup-simplify: Simplify 0 into 0 1545211499.712 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545211499.712 * [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 1545211499.712 * [misc]backup-simplify: Simplify 0 into 0 1545211499.712 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1545211499.712 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2) 1545211499.713 * [misc]backup-simplify: Simplify (* t (* 2e-16 t)) into (* 2e-16 (pow t 2)) 1545211499.713 * [misc]approximate: Taking taylor expansion of (* 2e-16 (pow t 2)) in (t) around 0 1545211499.713 * [misc]taylor: Taking taylor expansion of (* 2e-16 (pow t 2)) in t 1545211499.713 * [misc]taylor: Taking taylor expansion of 2e-16 in t 1545211499.713 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1545211499.713 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211499.713 * [misc]taylor: Taking taylor expansion of t in t 1545211499.713 * [misc]backup-simplify: Simplify 0 into 0 1545211499.713 * [misc]backup-simplify: Simplify 1 into 1 1545211499.713 * [misc]taylor: Taking taylor expansion of (* 2e-16 (pow t 2)) in t 1545211499.713 * [misc]taylor: Taking taylor expansion of 2e-16 in t 1545211499.713 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1545211499.713 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211499.713 * [misc]taylor: Taking taylor expansion of t in t 1545211499.713 * [misc]backup-simplify: Simplify 0 into 0 1545211499.713 * [misc]backup-simplify: Simplify 1 into 1 1545211499.713 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545211499.713 * [misc]backup-simplify: Simplify (* 2e-16 1) into 2e-16 1545211499.713 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1545211499.714 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545211499.714 * [misc]backup-simplify: Simplify (+ (* 2e-16 0) (* 0 1)) into 0 1545211499.714 * [misc]backup-simplify: Simplify 0 into 0 1545211499.714 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545211499.714 * [misc]backup-simplify: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 1))) into 0 1545211499.714 * [misc]backup-simplify: Simplify 0 into 0 1545211499.715 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545211499.715 * [misc]backup-simplify: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545211499.715 * [misc]backup-simplify: Simplify 0 into 0 1545211499.715 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545211499.716 * [misc]backup-simplify: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545211499.716 * [misc]backup-simplify: Simplify 0 into 0 1545211499.716 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545211499.717 * [misc]backup-simplify: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545211499.717 * [misc]backup-simplify: Simplify 0 into 0 1545211499.717 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545211499.718 * [misc]backup-simplify: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545211499.718 * [misc]backup-simplify: Simplify 0 into 0 1545211499.718 * [misc]backup-simplify: Simplify (* 2e-16 (pow t 2)) into (* 2e-16 (pow t 2)) 1545211499.718 * [misc]backup-simplify: Simplify (* (/ 1 t) (* 2e-16 (/ 1 t))) into (/ 2e-16 (pow t 2)) 1545211499.718 * [misc]approximate: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0 1545211499.718 * [misc]taylor: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 1545211499.718 * [misc]taylor: Taking taylor expansion of 2e-16 in t 1545211499.718 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1545211499.718 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211499.718 * [misc]taylor: Taking taylor expansion of t in t 1545211499.718 * [misc]backup-simplify: Simplify 0 into 0 1545211499.718 * [misc]backup-simplify: Simplify 1 into 1 1545211499.718 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545211499.718 * [misc]backup-simplify: Simplify (/ 2e-16 1) into 2e-16 1545211499.718 * [misc]taylor: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 1545211499.718 * [misc]taylor: Taking taylor expansion of 2e-16 in t 1545211499.718 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1545211499.719 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211499.719 * [misc]taylor: Taking taylor expansion of t in t 1545211499.719 * [misc]backup-simplify: Simplify 0 into 0 1545211499.719 * [misc]backup-simplify: Simplify 1 into 1 1545211499.719 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545211499.719 * [misc]backup-simplify: Simplify (/ 2e-16 1) into 2e-16 1545211499.719 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1545211499.719 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545211499.719 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0 1545211499.720 * [misc]backup-simplify: Simplify 0 into 0 1545211499.720 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545211499.720 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211499.720 * [misc]backup-simplify: Simplify 0 into 0 1545211499.720 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545211499.721 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211499.721 * [misc]backup-simplify: Simplify 0 into 0 1545211499.721 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545211499.722 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211499.722 * [misc]backup-simplify: Simplify 0 into 0 1545211499.722 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545211499.722 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211499.722 * [misc]backup-simplify: Simplify 0 into 0 1545211499.723 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545211499.723 * [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 1545211499.723 * [misc]backup-simplify: Simplify 0 into 0 1545211499.724 * [misc]backup-simplify: Simplify (* 2e-16 (pow (/ 1 (/ 1 t)) 2)) into (* 2e-16 (pow t 2)) 1545211499.724 * [misc]backup-simplify: Simplify (* (/ 1 (- t)) (* 2e-16 (/ 1 (- t)))) into (/ 2e-16 (pow t 2)) 1545211499.724 * [misc]approximate: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0 1545211499.724 * [misc]taylor: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 1545211499.724 * [misc]taylor: Taking taylor expansion of 2e-16 in t 1545211499.724 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1545211499.724 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211499.724 * [misc]taylor: Taking taylor expansion of t in t 1545211499.724 * [misc]backup-simplify: Simplify 0 into 0 1545211499.724 * [misc]backup-simplify: Simplify 1 into 1 1545211499.724 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545211499.724 * [misc]backup-simplify: Simplify (/ 2e-16 1) into 2e-16 1545211499.724 * [misc]taylor: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 1545211499.724 * [misc]taylor: Taking taylor expansion of 2e-16 in t 1545211499.724 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1545211499.724 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211499.724 * [misc]taylor: Taking taylor expansion of t in t 1545211499.724 * [misc]backup-simplify: Simplify 0 into 0 1545211499.725 * [misc]backup-simplify: Simplify 1 into 1 1545211499.725 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545211499.725 * [misc]backup-simplify: Simplify (/ 2e-16 1) into 2e-16 1545211499.725 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1545211499.725 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545211499.725 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0 1545211499.725 * [misc]backup-simplify: Simplify 0 into 0 1545211499.726 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545211499.726 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211499.726 * [misc]backup-simplify: Simplify 0 into 0 1545211499.726 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545211499.727 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211499.727 * [misc]backup-simplify: Simplify 0 into 0 1545211499.730 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545211499.730 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211499.730 * [misc]backup-simplify: Simplify 0 into 0 1545211499.731 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545211499.731 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211499.731 * [misc]backup-simplify: Simplify 0 into 0 1545211499.731 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545211499.732 * [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 1545211499.732 * [misc]backup-simplify: Simplify 0 into 0 1545211499.732 * [misc]backup-simplify: Simplify (* 2e-16 (pow (/ 1 (/ 1 (- t))) 2)) into (* 2e-16 (pow t 2)) 1545211499.732 * * * [misc]progress: simplifying candidates 1545211499.732 * * * * [misc]progress: [ 1 / 24 ] simplifiying candidate # 1545211499.732 * * * * [misc]progress: [ 2 / 24 ] simplifiying candidate # 1545211499.732 * * * * [misc]progress: [ 3 / 24 ] simplifiying candidate # 1545211499.732 * * * * [misc]progress: [ 4 / 24 ] simplifiying candidate # 1545211499.733 * * * * [misc]progress: [ 5 / 24 ] simplifiying candidate # 1545211499.733 * * * * [misc]progress: [ 6 / 24 ] simplifiying candidate # 1545211499.733 * * * * [misc]progress: [ 7 / 24 ] simplifiying candidate # 1545211499.733 * * * * [misc]progress: [ 8 / 24 ] simplifiying candidate # 1545211499.733 * [enter]simplify: Simplifying (* 2e-16 t) 1545211499.733 * * [misc]simplify: iters left: 2 (3 enodes) 1545211499.734 * * [misc]simplify: iters left: 1 (4 enodes) 1545211499.735 * [exit]simplify: Simplified to (* 2e-16 t) 1545211499.735 * [misc]simplify: Simplified (2 2) to (λ (t) (* (* 2e-16 t) (* 2e-16 t))) 1545211499.735 * * * * [misc]progress: [ 9 / 24 ] simplifiying candidate # 1545211499.735 * * * * [misc]progress: [ 10 / 24 ] simplifiying candidate # 1545211499.735 * * * * [misc]progress: [ 11 / 24 ] simplifiying candidate # 1545211499.735 * * * * [misc]progress: [ 12 / 24 ] simplifiying candidate # 1545211499.735 * * * * [misc]progress: [ 13 / 24 ] simplifiying candidate # 1545211499.735 * * * * [misc]progress: [ 14 / 24 ] simplifiying candidate # 1545211499.735 * * * * [misc]progress: [ 15 / 24 ] simplifiying candidate # 1545211499.735 * * * * [misc]progress: [ 16 / 24 ] simplifiying candidate # 1545211499.735 * * * * [misc]progress: [ 17 / 24 ] simplifiying candidate # 1545211499.735 * * * * [misc]progress: [ 18 / 24 ] simplifiying candidate # 1545211499.735 * * * * [misc]progress: [ 19 / 24 ] simplifiying candidate # 1545211499.735 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1545211499.736 * * [misc]simplify: iters left: 3 (5 enodes) 1545211499.737 * * [misc]simplify: iters left: 2 (7 enodes) 1545211499.738 * * [misc]simplify: iters left: 1 (11 enodes) 1545211499.741 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1545211499.741 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1545211499.741 * * * * [misc]progress: [ 20 / 24 ] simplifiying candidate # 1545211499.741 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1545211499.741 * * [misc]simplify: iters left: 3 (5 enodes) 1545211499.743 * * [misc]simplify: iters left: 2 (7 enodes) 1545211499.745 * * [misc]simplify: iters left: 1 (11 enodes) 1545211499.748 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1545211499.748 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1545211499.748 * * * * [misc]progress: [ 21 / 24 ] simplifiying candidate # 1545211499.748 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1545211499.748 * * [misc]simplify: iters left: 3 (5 enodes) 1545211499.750 * * [misc]simplify: iters left: 2 (7 enodes) 1545211499.751 * * [misc]simplify: iters left: 1 (11 enodes) 1545211499.755 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1545211499.755 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1545211499.755 * * * * [misc]progress: [ 22 / 24 ] simplifiying candidate # 1545211499.755 * [enter]simplify: Simplifying (* 2e-16 (pow t 2)) 1545211499.755 * * [misc]simplify: iters left: 3 (5 enodes) 1545211499.758 * * [misc]simplify: iters left: 2 (7 enodes) 1545211499.760 * * [misc]simplify: iters left: 1 (11 enodes) 1545211499.763 * [exit]simplify: Simplified to (* (* t t) 2e-16) 1545211499.763 * [misc]simplify: Simplified (2 2) to (λ (t) (* 2e-16 (* (* t t) 2e-16))) 1545211499.763 * * * * [misc]progress: [ 23 / 24 ] simplifiying candidate # 1545211499.764 * [enter]simplify: Simplifying (* 2e-16 (pow t 2)) 1545211499.764 * * [misc]simplify: iters left: 3 (5 enodes) 1545211499.765 * * [misc]simplify: iters left: 2 (7 enodes) 1545211499.767 * * [misc]simplify: iters left: 1 (11 enodes) 1545211499.770 * [exit]simplify: Simplified to (* (* t t) 2e-16) 1545211499.771 * [misc]simplify: Simplified (2 2) to (λ (t) (* 2e-16 (* (* t t) 2e-16))) 1545211499.771 * * * * [misc]progress: [ 24 / 24 ] simplifiying candidate # 1545211499.771 * [enter]simplify: Simplifying (* 2e-16 (pow t 2)) 1545211499.771 * * [misc]simplify: iters left: 3 (5 enodes) 1545211499.772 * * [misc]simplify: iters left: 2 (7 enodes) 1545211499.774 * * [misc]simplify: iters left: 1 (11 enodes) 1545211499.777 * [exit]simplify: Simplified to (* (* t t) 2e-16) 1545211499.777 * [misc]simplify: Simplified (2 2) to (λ (t) (* 2e-16 (* (* t t) 2e-16))) 1545211499.777 * * * [misc]progress: adding candidates to table 1545211499.913 * * [misc]progress: iteration 4 / 4 1545211499.913 * * * [misc]progress: picking best candidate 1545211499.940 * * * * [misc]pick: Picked # 1545211499.940 * * * [misc]progress: localizing error 1545211499.957 * * * [misc]progress: generating rewritten candidates 1545211499.957 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 2) 1545211499.963 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2) 1545211499.977 * * * [misc]progress: generating series expansions 1545211499.977 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 2) 1545211499.977 * [misc]backup-simplify: Simplify (* 2e-16 (pow t 2)) into (* 2e-16 (pow t 2)) 1545211499.977 * [misc]approximate: Taking taylor expansion of (* 2e-16 (pow t 2)) in (t) around 0 1545211499.978 * [misc]taylor: Taking taylor expansion of (* 2e-16 (pow t 2)) in t 1545211499.978 * [misc]taylor: Taking taylor expansion of 2e-16 in t 1545211499.978 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1545211499.978 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211499.978 * [misc]taylor: Taking taylor expansion of t in t 1545211499.978 * [misc]backup-simplify: Simplify 0 into 0 1545211499.978 * [misc]backup-simplify: Simplify 1 into 1 1545211499.978 * [misc]taylor: Taking taylor expansion of (* 2e-16 (pow t 2)) in t 1545211499.978 * [misc]taylor: Taking taylor expansion of 2e-16 in t 1545211499.978 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1545211499.978 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211499.978 * [misc]taylor: Taking taylor expansion of t in t 1545211499.978 * [misc]backup-simplify: Simplify 0 into 0 1545211499.978 * [misc]backup-simplify: Simplify 1 into 1 1545211499.978 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545211499.979 * [misc]backup-simplify: Simplify (* 2e-16 1) into 2e-16 1545211499.979 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1545211499.979 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545211499.979 * [misc]backup-simplify: Simplify (+ (* 2e-16 0) (* 0 1)) into 0 1545211499.979 * [misc]backup-simplify: Simplify 0 into 0 1545211499.979 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545211499.980 * [misc]backup-simplify: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 1))) into 0 1545211499.980 * [misc]backup-simplify: Simplify 0 into 0 1545211499.980 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545211499.981 * [misc]backup-simplify: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545211499.981 * [misc]backup-simplify: Simplify 0 into 0 1545211499.981 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545211499.981 * [misc]backup-simplify: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545211499.981 * [misc]backup-simplify: Simplify 0 into 0 1545211499.982 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545211499.982 * [misc]backup-simplify: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545211499.982 * [misc]backup-simplify: Simplify 0 into 0 1545211499.983 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545211499.984 * [misc]backup-simplify: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545211499.984 * [misc]backup-simplify: Simplify 0 into 0 1545211499.984 * [misc]backup-simplify: Simplify (* 2e-16 (pow t 2)) into (* 2e-16 (pow t 2)) 1545211499.984 * [misc]backup-simplify: Simplify (* 2e-16 (pow (/ 1 t) 2)) into (/ 2e-16 (pow t 2)) 1545211499.984 * [misc]approximate: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0 1545211499.984 * [misc]taylor: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 1545211499.984 * [misc]taylor: Taking taylor expansion of 2e-16 in t 1545211499.984 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1545211499.984 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211499.984 * [misc]taylor: Taking taylor expansion of t in t 1545211499.985 * [misc]backup-simplify: Simplify 0 into 0 1545211499.985 * [misc]backup-simplify: Simplify 1 into 1 1545211499.985 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545211499.985 * [misc]backup-simplify: Simplify (/ 2e-16 1) into 2e-16 1545211499.985 * [misc]taylor: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 1545211499.985 * [misc]taylor: Taking taylor expansion of 2e-16 in t 1545211499.985 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1545211499.985 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211499.985 * [misc]taylor: Taking taylor expansion of t in t 1545211499.985 * [misc]backup-simplify: Simplify 0 into 0 1545211499.985 * [misc]backup-simplify: Simplify 1 into 1 1545211499.985 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545211499.985 * [misc]backup-simplify: Simplify (/ 2e-16 1) into 2e-16 1545211499.986 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1545211499.986 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545211499.986 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0 1545211499.986 * [misc]backup-simplify: Simplify 0 into 0 1545211499.987 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545211499.987 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211499.987 * [misc]backup-simplify: Simplify 0 into 0 1545211499.987 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545211499.988 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211499.988 * [misc]backup-simplify: Simplify 0 into 0 1545211499.988 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545211499.989 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211499.989 * [misc]backup-simplify: Simplify 0 into 0 1545211499.989 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545211499.990 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211499.990 * [misc]backup-simplify: Simplify 0 into 0 1545211499.990 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545211499.991 * [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 1545211499.991 * [misc]backup-simplify: Simplify 0 into 0 1545211499.991 * [misc]backup-simplify: Simplify (* 2e-16 (pow (/ 1 (/ 1 t)) 2)) into (* 2e-16 (pow t 2)) 1545211499.991 * [misc]backup-simplify: Simplify (* 2e-16 (pow (/ 1 (- t)) 2)) into (/ 2e-16 (pow t 2)) 1545211499.991 * [misc]approximate: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0 1545211499.991 * [misc]taylor: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 1545211499.991 * [misc]taylor: Taking taylor expansion of 2e-16 in t 1545211499.991 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1545211499.991 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211499.991 * [misc]taylor: Taking taylor expansion of t in t 1545211499.991 * [misc]backup-simplify: Simplify 0 into 0 1545211499.991 * [misc]backup-simplify: Simplify 1 into 1 1545211499.991 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545211499.992 * [misc]backup-simplify: Simplify (/ 2e-16 1) into 2e-16 1545211499.992 * [misc]taylor: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 1545211499.992 * [misc]taylor: Taking taylor expansion of 2e-16 in t 1545211499.992 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1545211499.992 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211499.992 * [misc]taylor: Taking taylor expansion of t in t 1545211499.992 * [misc]backup-simplify: Simplify 0 into 0 1545211499.992 * [misc]backup-simplify: Simplify 1 into 1 1545211499.992 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545211499.992 * [misc]backup-simplify: Simplify (/ 2e-16 1) into 2e-16 1545211499.992 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1545211499.993 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545211499.993 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0 1545211499.993 * [misc]backup-simplify: Simplify 0 into 0 1545211499.993 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545211499.993 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211499.993 * [misc]backup-simplify: Simplify 0 into 0 1545211499.994 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545211499.994 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211499.994 * [misc]backup-simplify: Simplify 0 into 0 1545211499.995 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545211499.995 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211499.995 * [misc]backup-simplify: Simplify 0 into 0 1545211499.996 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545211499.996 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211499.996 * [misc]backup-simplify: Simplify 0 into 0 1545211499.997 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545211499.997 * [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 1545211499.997 * [misc]backup-simplify: Simplify 0 into 0 1545211499.998 * [misc]backup-simplify: Simplify (* 2e-16 (pow (/ 1 (/ 1 (- t))) 2)) into (* 2e-16 (pow t 2)) 1545211499.998 * * * * [misc]progress: [ 2 / 2 ] generating series at (2) 1545211499.998 * [misc]backup-simplify: Simplify (* 2e-16 (* 2e-16 (pow t 2))) into (* 3.9999999999999997e-32 (pow t 2)) 1545211499.998 * [misc]approximate: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1545211499.998 * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1545211499.998 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1545211499.998 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211499.998 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211499.998 * [misc]taylor: Taking taylor expansion of t in t 1545211499.998 * [misc]backup-simplify: Simplify 0 into 0 1545211499.998 * [misc]backup-simplify: Simplify 1 into 1 1545211499.998 * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1545211499.998 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1545211499.998 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211499.998 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211499.998 * [misc]taylor: Taking taylor expansion of t in t 1545211499.998 * [misc]backup-simplify: Simplify 0 into 0 1545211499.998 * [misc]backup-simplify: Simplify 1 into 1 1545211499.999 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545211499.999 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1545211499.999 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211499.999 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545211499.999 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 1545211499.999 * [misc]backup-simplify: Simplify 0 into 0 1545211500.000 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545211500.000 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 1545211500.000 * [misc]backup-simplify: Simplify 0 into 0 1545211500.001 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545211500.001 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545211500.005 * [misc]backup-simplify: Simplify 0 into 0 1545211500.006 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545211500.006 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545211500.006 * [misc]backup-simplify: Simplify 0 into 0 1545211500.007 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545211500.007 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545211500.007 * [misc]backup-simplify: Simplify 0 into 0 1545211500.008 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545211500.008 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545211500.008 * [misc]backup-simplify: Simplify 0 into 0 1545211500.008 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1545211500.009 * [misc]backup-simplify: Simplify (* 2e-16 (* 2e-16 (pow (/ 1 t) 2))) into (/ 3.9999999999999997e-32 (pow t 2)) 1545211500.009 * [misc]approximate: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1545211500.009 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1545211500.009 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1545211500.009 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211500.009 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211500.009 * [misc]taylor: Taking taylor expansion of t in t 1545211500.009 * [misc]backup-simplify: Simplify 0 into 0 1545211500.009 * [misc]backup-simplify: Simplify 1 into 1 1545211500.009 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545211500.009 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1545211500.009 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1545211500.009 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1545211500.009 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211500.009 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211500.009 * [misc]taylor: Taking taylor expansion of t in t 1545211500.009 * [misc]backup-simplify: Simplify 0 into 0 1545211500.009 * [misc]backup-simplify: Simplify 1 into 1 1545211500.010 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545211500.010 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1545211500.010 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211500.010 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545211500.010 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1545211500.011 * [misc]backup-simplify: Simplify 0 into 0 1545211500.011 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545211500.011 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211500.011 * [misc]backup-simplify: Simplify 0 into 0 1545211500.012 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545211500.012 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211500.012 * [misc]backup-simplify: Simplify 0 into 0 1545211500.012 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545211500.013 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211500.013 * [misc]backup-simplify: Simplify 0 into 0 1545211500.013 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545211500.014 * [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 1545211500.014 * [misc]backup-simplify: Simplify 0 into 0 1545211500.014 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545211500.015 * [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 1545211500.015 * [misc]backup-simplify: Simplify 0 into 0 1545211500.016 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1545211500.016 * [misc]backup-simplify: Simplify (* 2e-16 (* 2e-16 (pow (/ 1 (- t)) 2))) into (/ 3.9999999999999997e-32 (pow t 2)) 1545211500.016 * [misc]approximate: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1545211500.016 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1545211500.016 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1545211500.016 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211500.016 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211500.016 * [misc]taylor: Taking taylor expansion of t in t 1545211500.016 * [misc]backup-simplify: Simplify 0 into 0 1545211500.016 * [misc]backup-simplify: Simplify 1 into 1 1545211500.016 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545211500.016 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1545211500.017 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1545211500.017 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1545211500.017 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211500.017 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1545211500.017 * [misc]taylor: Taking taylor expansion of t in t 1545211500.017 * [misc]backup-simplify: Simplify 0 into 0 1545211500.017 * [misc]backup-simplify: Simplify 1 into 1 1545211500.017 * [misc]backup-simplify: Simplify (* 1 1) into 1 1545211500.017 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1545211500.017 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1545211500.017 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1545211500.018 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1545211500.018 * [misc]backup-simplify: Simplify 0 into 0 1545211500.018 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1545211500.018 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211500.019 * [misc]backup-simplify: Simplify 0 into 0 1545211500.019 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1545211500.019 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211500.019 * [misc]backup-simplify: Simplify 0 into 0 1545211500.020 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1545211500.020 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1545211500.020 * [misc]backup-simplify: Simplify 0 into 0 1545211500.021 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1545211500.021 * [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 1545211500.022 * [misc]backup-simplify: Simplify 0 into 0 1545211500.022 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1545211500.023 * [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 1545211500.023 * [misc]backup-simplify: Simplify 0 into 0 1545211500.023 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1545211500.023 * * * [misc]progress: simplifying candidates 1545211500.023 * * * * [misc]progress: [ 1 / 27 ] simplifiying candidate # 1545211500.023 * * * * [misc]progress: [ 2 / 27 ] simplifiying candidate # 1545211500.023 * * * * [misc]progress: [ 3 / 27 ] simplifiying candidate # 1545211500.023 * * * * [misc]progress: [ 4 / 27 ] simplifiying candidate # 1545211500.023 * * * * [misc]progress: [ 5 / 27 ] simplifiying candidate # 1545211500.024 * * * * [misc]progress: [ 6 / 27 ] simplifiying candidate # 1545211500.024 * * * * [misc]progress: [ 7 / 27 ] simplifiying candidate # 1545211500.024 * * * * [misc]progress: [ 8 / 27 ] simplifiying candidate # 1545211500.024 * * * * [misc]progress: [ 9 / 27 ] simplifiying candidate # 1545211500.024 * [enter]simplify: Simplifying (cbrt (pow t 2)) 1545211500.024 * * [misc]simplify: iters left: 2 (4 enodes) 1545211500.025 * * [misc]simplify: iters left: 1 (5 enodes) 1545211500.027 * [exit]simplify: Simplified to (cbrt (* t t)) 1545211500.027 * [misc]simplify: Simplified (2 2 2) to (λ (t) (* 2e-16 (* (* 2e-16 (* (cbrt (pow t 2)) (cbrt (pow t 2)))) (cbrt (* t t))))) 1545211500.027 * * * * [misc]progress: [ 10 / 27 ] simplifiying candidate # 1545211500.027 * [enter]simplify: Simplifying (sqrt (pow t 2)) 1545211500.027 * * [misc]simplify: iters left: 2 (4 enodes) 1545211500.028 * * [misc]simplify: iters left: 1 (5 enodes) 1545211500.030 * [exit]simplify: Simplified to (fabs t) 1545211500.030 * [misc]simplify: Simplified (2 2 2) to (λ (t) (* 2e-16 (* (* 2e-16 (sqrt (pow t 2))) (fabs t)))) 1545211500.030 * * * * [misc]progress: [ 11 / 27 ] simplifiying candidate # 1545211500.030 * [enter]simplify: Simplifying (pow t 2) 1545211500.030 * * [misc]simplify: iters left: 1 (3 enodes) 1545211500.031 * [exit]simplify: Simplified to (* t t) 1545211500.031 * [misc]simplify: Simplified (2 2 2) to (λ (t) (* 2e-16 (* (* 2e-16 1) (* t t)))) 1545211500.031 * * * * [misc]progress: [ 12 / 27 ] simplifiying candidate # 1545211500.031 * * * * [misc]progress: [ 13 / 27 ] simplifiying candidate # 1545211500.031 * * * * [misc]progress: [ 14 / 27 ] simplifiying candidate # 1545211500.031 * * * * [misc]progress: [ 15 / 27 ] simplifiying candidate # 1545211500.031 * * * * [misc]progress: [ 16 / 27 ] simplifiying candidate # 1545211500.032 * * * * [misc]progress: [ 17 / 27 ] simplifiying candidate # 1545211500.032 * * * * [misc]progress: [ 18 / 27 ] simplifiying candidate # 1545211500.032 * * * * [misc]progress: [ 19 / 27 ] simplifiying candidate # 1545211500.032 * * * * [misc]progress: [ 20 / 27 ] simplifiying candidate # 1545211500.032 * [enter]simplify: Simplifying (pow t 2) 1545211500.032 * * [misc]simplify: iters left: 1 (3 enodes) 1545211500.033 * [exit]simplify: Simplified to (* t t) 1545211500.033 * [misc]simplify: Simplified (2 2) to (λ (t) (* (* 2e-16 2e-16) (* t t))) 1545211500.033 * * * * [misc]progress: [ 21 / 27 ] simplifiying candidate # 1545211500.033 * * * * [misc]progress: [ 22 / 27 ] simplifiying candidate # 1545211500.033 * [enter]simplify: Simplifying (* 2e-16 (pow t 2)) 1545211500.034 * * [misc]simplify: iters left: 3 (5 enodes) 1545211500.035 * * [misc]simplify: iters left: 2 (7 enodes) 1545211500.037 * * [misc]simplify: iters left: 1 (11 enodes) 1545211500.041 * [exit]simplify: Simplified to (* (* t t) 2e-16) 1545211500.041 * [misc]simplify: Simplified (2 2) to (λ (t) (* 2e-16 (* (* t t) 2e-16))) 1545211500.041 * * * * [misc]progress: [ 23 / 27 ] simplifiying candidate # 1545211500.041 * [enter]simplify: Simplifying (* 2e-16 (pow t 2)) 1545211500.041 * * [misc]simplify: iters left: 3 (5 enodes) 1545211500.043 * * [misc]simplify: iters left: 2 (7 enodes) 1545211500.045 * * [misc]simplify: iters left: 1 (11 enodes) 1545211500.048 * [exit]simplify: Simplified to (* (* t t) 2e-16) 1545211500.048 * [misc]simplify: Simplified (2 2) to (λ (t) (* 2e-16 (* (* t t) 2e-16))) 1545211500.048 * * * * [misc]progress: [ 24 / 27 ] simplifiying candidate # 1545211500.048 * [enter]simplify: Simplifying (* 2e-16 (pow t 2)) 1545211500.049 * * [misc]simplify: iters left: 3 (5 enodes) 1545211500.050 * * [misc]simplify: iters left: 2 (7 enodes) 1545211500.052 * * [misc]simplify: iters left: 1 (11 enodes) 1545211500.056 * [exit]simplify: Simplified to (* (* t t) 2e-16) 1545211500.056 * [misc]simplify: Simplified (2 2) to (λ (t) (* 2e-16 (* (* t t) 2e-16))) 1545211500.056 * * * * [misc]progress: [ 25 / 27 ] simplifiying candidate # 1545211500.056 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1545211500.056 * * [misc]simplify: iters left: 3 (5 enodes) 1545211500.058 * * [misc]simplify: iters left: 2 (7 enodes) 1545211500.060 * * [misc]simplify: iters left: 1 (11 enodes) 1545211500.063 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1545211500.063 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1545211500.063 * * * * [misc]progress: [ 26 / 27 ] simplifiying candidate # 1545211500.063 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1545211500.063 * * [misc]simplify: iters left: 3 (5 enodes) 1545211500.065 * * [misc]simplify: iters left: 2 (7 enodes) 1545211500.067 * * [misc]simplify: iters left: 1 (11 enodes) 1545211500.070 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1545211500.070 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1545211500.070 * * * * [misc]progress: [ 27 / 27 ] simplifiying candidate # 1545211500.071 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1545211500.071 * * [misc]simplify: iters left: 3 (5 enodes) 1545211500.072 * * [misc]simplify: iters left: 2 (7 enodes) 1545211500.073 * * [misc]simplify: iters left: 1 (11 enodes) 1545211500.074 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1545211500.074 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1545211500.074 * * * [misc]progress: adding candidates to table 1545211500.304 * [misc]progress: [Phase 3 of 3] Extracting. 1545211500.304 * * [misc]regime: Finding splitpoints for: (# # # # # # #) 1545211500.304 * * * [misc]regime-changes: Trying 1 branch expressions: (t) 1545211500.304 * * * * [misc]regimes: Trying to branch on t from (# # # # # # #) 1545211500.351 * * * [misc]regime: Found split indices: #