1554299543.467 * [misc]progress: [Phase 1 of 3] Setting up. 1554299543.467 * * * [misc]progress: [1/2] Preparing points 1554299543.549 * * * [misc]progress: [2/2] Setting up program. 1554299543.553 * [misc]progress: [Phase 2 of 3] Improving. 1554299543.553 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1554299543.553 * [enter]simplify: Simplifying (+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16)))) 1554299543.553 * * [misc]simplify: iters left: 6 (11 enodes) 1554299543.561 * * [misc]simplify: iters left: 5 (51 enodes) 1554299543.583 * * [misc]simplify: iters left: 4 (112 enodes) 1554299543.629 * * [misc]simplify: iters left: 3 (250 enodes) 1554299543.695 * * [misc]simplify: iters left: 2 (490 enodes) 1554299544.258 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299544.259 * * [misc]simplify: Extracting #1: cost 84 inf + 0 1554299544.261 * * [misc]simplify: Extracting #2: cost 310 inf + 46 1554299544.265 * * [misc]simplify: Extracting #3: cost 309 inf + 4101 1554299544.282 * * [misc]simplify: Extracting #4: cost 114 inf + 33683 1554299544.312 * * [misc]simplify: Extracting #5: cost 10 inf + 51462 1554299544.343 * * [misc]simplify: Extracting #6: cost 0 inf + 53064 1554299544.359 * [exit]simplify: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 1554299544.359 * [misc]simplify: Simplified (2) to (λ (t) (* (* 2e-16 t) (* 2e-16 t))) 1554299544.366 * * [misc]progress: iteration 1 / 4 1554299544.366 * * * [misc]progress: picking best candidate 1554299544.367 * * * * [misc]pick: Picked # 1554299544.368 * * * [misc]progress: localizing error 1554299544.374 * * * [misc]progress: generating rewritten candidates 1554299544.374 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1554299544.379 * * * [misc]progress: generating series expansions 1554299544.379 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1554299544.379 * [misc]backup-simplify: Simplify (* (* 2e-16 t) (* 2e-16 t)) into (* 3.9999999999999997e-32 (pow t 2)) 1554299544.379 * [misc]approximate: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1554299544.379 * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1554299544.379 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1554299544.379 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299544.380 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299544.380 * [misc]taylor: Taking taylor expansion of t in t 1554299544.380 * [misc]backup-simplify: Simplify 0 into 0 1554299544.380 * [misc]backup-simplify: Simplify 1 into 1 1554299544.380 * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1554299544.380 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1554299544.380 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299544.380 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299544.380 * [misc]taylor: Taking taylor expansion of t in t 1554299544.380 * [misc]backup-simplify: Simplify 0 into 0 1554299544.380 * [misc]backup-simplify: Simplify 1 into 1 1554299544.380 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554299544.380 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554299544.380 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299544.381 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554299544.381 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 1554299544.381 * [misc]backup-simplify: Simplify 0 into 0 1554299544.381 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554299544.381 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 1554299544.382 * [misc]backup-simplify: Simplify 0 into 0 1554299544.382 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554299544.382 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554299544.382 * [misc]backup-simplify: Simplify 0 into 0 1554299544.383 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554299544.383 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554299544.383 * [misc]backup-simplify: Simplify 0 into 0 1554299544.383 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554299544.384 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554299544.384 * [misc]backup-simplify: Simplify 0 into 0 1554299544.384 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554299544.385 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554299544.385 * [misc]backup-simplify: Simplify 0 into 0 1554299544.385 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1554299544.385 * [misc]backup-simplify: Simplify (* (* 2e-16 (/ 1 t)) (* 2e-16 (/ 1 t))) into (/ 3.9999999999999997e-32 (pow t 2)) 1554299544.385 * [misc]approximate: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1554299544.385 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1554299544.385 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1554299544.385 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299544.385 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299544.385 * [misc]taylor: Taking taylor expansion of t in t 1554299544.385 * [misc]backup-simplify: Simplify 0 into 0 1554299544.386 * [misc]backup-simplify: Simplify 1 into 1 1554299544.386 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554299544.386 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554299544.386 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1554299544.386 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1554299544.386 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299544.386 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299544.386 * [misc]taylor: Taking taylor expansion of t in t 1554299544.386 * [misc]backup-simplify: Simplify 0 into 0 1554299544.386 * [misc]backup-simplify: Simplify 1 into 1 1554299544.386 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554299544.386 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554299544.386 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299544.387 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554299544.387 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1554299544.387 * [misc]backup-simplify: Simplify 0 into 0 1554299544.387 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554299544.388 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299544.388 * [misc]backup-simplify: Simplify 0 into 0 1554299544.388 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554299544.388 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299544.388 * [misc]backup-simplify: Simplify 0 into 0 1554299544.389 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554299544.389 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299544.389 * [misc]backup-simplify: Simplify 0 into 0 1554299544.390 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554299544.390 * [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 1554299544.390 * [misc]backup-simplify: Simplify 0 into 0 1554299544.391 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554299544.391 * [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 1554299544.391 * [misc]backup-simplify: Simplify 0 into 0 1554299544.392 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1554299544.392 * [misc]backup-simplify: Simplify (* (* 2e-16 (/ 1 (- t))) (* 2e-16 (/ 1 (- t)))) into (/ 3.9999999999999997e-32 (pow t 2)) 1554299544.392 * [misc]approximate: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1554299544.392 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1554299544.392 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1554299544.392 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299544.392 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299544.392 * [misc]taylor: Taking taylor expansion of t in t 1554299544.392 * [misc]backup-simplify: Simplify 0 into 0 1554299544.392 * [misc]backup-simplify: Simplify 1 into 1 1554299544.392 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554299544.392 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554299544.392 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1554299544.392 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1554299544.393 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299544.393 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299544.393 * [misc]taylor: Taking taylor expansion of t in t 1554299544.393 * [misc]backup-simplify: Simplify 0 into 0 1554299544.393 * [misc]backup-simplify: Simplify 1 into 1 1554299544.393 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554299544.393 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554299544.393 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299544.393 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554299544.394 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1554299544.394 * [misc]backup-simplify: Simplify 0 into 0 1554299544.394 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554299544.394 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299544.394 * [misc]backup-simplify: Simplify 0 into 0 1554299544.395 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554299544.395 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299544.395 * [misc]backup-simplify: Simplify 0 into 0 1554299544.396 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554299544.396 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299544.396 * [misc]backup-simplify: Simplify 0 into 0 1554299544.396 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554299544.397 * [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 1554299544.397 * [misc]backup-simplify: Simplify 0 into 0 1554299544.398 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554299544.398 * [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 1554299544.398 * [misc]backup-simplify: Simplify 0 into 0 1554299544.398 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1554299544.398 * * * [misc]progress: simplifying candidates 1554299544.398 * * * * [misc]progress: [ 1 / 20 ] simplifiying candidate # 1554299544.399 * [enter]simplify: Simplifying (* 2e-16 t) 1554299544.399 * * [misc]simplify: iters left: 2 (3 enodes) 1554299544.401 * * [misc]simplify: iters left: 1 (10 enodes) 1554299544.404 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299544.404 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554299544.404 * * [misc]simplify: Extracting #2: cost 2 inf + 2 1554299544.404 * * [misc]simplify: Extracting #3: cost 0 inf + 86 1554299544.404 * [exit]simplify: Simplified to (* 2e-16 t) 1554299544.404 * [misc]simplify: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1554299544.405 * [enter]simplify: Simplifying (+ 1 1) 1554299544.405 * * [misc]simplify: iters left: 2 (2 enodes) 1554299544.407 * * [misc]simplify: iters left: 1 (9 enodes) 1554299544.410 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299544.410 * * [misc]simplify: Extracting #1: cost 0 inf + 1 1554299544.410 * [exit]simplify: Simplified to 2 1554299544.410 * [misc]simplify: Simplified (2 2) to (λ (t) (pow (* 2e-16 t) 2)) 1554299544.410 * * * * [misc]progress: [ 2 / 20 ] simplifiying candidate # 1554299544.410 * [enter]simplify: Simplifying (* (* 2e-16 t) (* 2e-16 t)) 1554299544.410 * * [misc]simplify: iters left: 4 (4 enodes) 1554299544.413 * * [misc]simplify: iters left: 3 (17 enodes) 1554299544.419 * * [misc]simplify: iters left: 2 (29 enodes) 1554299544.428 * * [misc]simplify: iters left: 1 (37 enodes) 1554299544.438 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299544.438 * * [misc]simplify: Extracting #1: cost 9 inf + 0 1554299544.438 * * [misc]simplify: Extracting #2: cost 12 inf + 2 1554299544.439 * * [misc]simplify: Extracting #3: cost 1 inf + 660 1554299544.439 * * [misc]simplify: Extracting #4: cost 0 inf + 742 1554299544.439 * [exit]simplify: Simplified to (* (* 2e-16 t) (* 2e-16 t)) 1554299544.439 * [misc]simplify: Simplified (2 1) to (λ (t) (pow (* (* 2e-16 t) (* 2e-16 t)) 1)) 1554299544.440 * * * * [misc]progress: [ 3 / 20 ] simplifiying candidate # 1554299544.440 * * * * [misc]progress: [ 4 / 20 ] simplifiying candidate # 1554299544.440 * [enter]simplify: Simplifying (* 2e-16 t) 1554299544.440 * * [misc]simplify: iters left: 2 (3 enodes) 1554299544.442 * * [misc]simplify: iters left: 1 (10 enodes) 1554299544.445 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299544.445 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554299544.445 * * [misc]simplify: Extracting #2: cost 2 inf + 2 1554299544.445 * * [misc]simplify: Extracting #3: cost 0 inf + 86 1554299544.445 * [exit]simplify: Simplified to (* 2e-16 t) 1554299544.445 * [misc]simplify: Simplified (2 1) to (λ (t) (pow (* 2e-16 t) (+ 1 1))) 1554299544.445 * * * * [misc]progress: [ 5 / 20 ] simplifiying candidate # 1554299544.445 * * * * [misc]progress: [ 6 / 20 ] simplifiying candidate # 1554299544.445 * [enter]simplify: Simplifying (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 1554299544.445 * * [misc]simplify: iters left: 5 (5 enodes) 1554299544.447 * * [misc]simplify: iters left: 4 (19 enodes) 1554299544.450 * * [misc]simplify: iters left: 3 (28 enodes) 1554299544.454 * * [misc]simplify: iters left: 2 (40 enodes) 1554299544.460 * * [misc]simplify: iters left: 1 (48 enodes) 1554299544.466 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299544.467 * * [misc]simplify: Extracting #1: cost 9 inf + 0 1554299544.467 * * [misc]simplify: Extracting #2: cost 19 inf + 0 1554299544.467 * * [misc]simplify: Extracting #3: cost 18 inf + 2 1554299544.467 * * [misc]simplify: Extracting #4: cost 8 inf + 1077 1554299544.467 * * [misc]simplify: Extracting #5: cost 0 inf + 2230 1554299544.468 * [exit]simplify: Simplified to (+ (log (* 2e-16 t)) (log (* 2e-16 t))) 1554299544.468 * [misc]simplify: Simplified (2 1) to (λ (t) (exp (+ (log (* 2e-16 t)) (log (* 2e-16 t))))) 1554299544.468 * * * * [misc]progress: [ 7 / 20 ] simplifiying candidate # 1554299544.468 * * * * [misc]progress: [ 8 / 20 ] simplifiying candidate # 1554299544.468 * * * * [misc]progress: [ 9 / 20 ] simplifiying candidate # 1554299544.468 * [enter]simplify: Simplifying (* (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t)) (* (* (* 2e-16 t) (* 2e-16 t)) (* 2e-16 t))) 1554299544.468 * * [misc]simplify: iters left: 6 (6 enodes) 1554299544.470 * * [misc]simplify: iters left: 5 (30 enodes) 1554299544.478 * * [misc]simplify: iters left: 4 (91 enodes) 1554299544.506 * * [misc]simplify: iters left: 3 (249 enodes) 1554299544.705 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299544.706 * * [misc]simplify: Extracting #1: cost 47 inf + 0 1554299544.706 * * [misc]simplify: Extracting #2: cost 119 inf + 44 1554299544.709 * * [misc]simplify: Extracting #3: cost 77 inf + 7771 1554299544.721 * * [misc]simplify: Extracting #4: cost 9 inf + 20905 1554299544.735 * * [misc]simplify: Extracting #5: cost 0 inf + 20511 1554299544.750 * * [misc]simplify: Extracting #6: cost 0 inf + 20431 1554299544.764 * [exit]simplify: Simplified to (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t)))) 1554299544.764 * [misc]simplify: Simplified (2 1) to (λ (t) (cbrt (* (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t))) (* (* 2e-16 t) (* (* 2e-16 t) (* 2e-16 t)))))) 1554299544.764 * * * * [misc]progress: [ 10 / 20 ] simplifiying candidate # 1554299544.764 * * * * [misc]progress: [ 11 / 20 ] simplifiying candidate # 1554299544.764 * * * * [misc]progress: [ 12 / 20 ] simplifiying candidate # 1554299544.764 * * * * [misc]progress: [ 13 / 20 ] simplifiying candidate # 1554299544.765 * * * * [misc]progress: [ 14 / 20 ] simplifiying candidate # 1554299544.765 * * * * [misc]progress: [ 15 / 20 ] simplifiying candidate # 1554299544.765 * * * * [misc]progress: [ 16 / 20 ] simplifiying candidate #real (real->posit16 (* (* 2e-16 t) (* 2e-16 t)))))> 1554299544.765 * * * * [misc]progress: [ 17 / 20 ] simplifiying candidate # 1554299544.765 * * * * [misc]progress: [ 18 / 20 ] simplifiying candidate # 1554299544.765 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1554299544.765 * * [misc]simplify: iters left: 3 (5 enodes) 1554299544.769 * * [misc]simplify: iters left: 2 (17 enodes) 1554299544.774 * * [misc]simplify: iters left: 1 (21 enodes) 1554299544.781 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299544.781 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1554299544.781 * * [misc]simplify: Extracting #2: cost 7 inf + 2 1554299544.781 * * [misc]simplify: Extracting #3: cost 0 inf + 333 1554299544.782 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1554299544.782 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1554299544.782 * * * * [misc]progress: [ 19 / 20 ] simplifiying candidate # 1554299544.782 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1554299544.782 * * [misc]simplify: iters left: 3 (5 enodes) 1554299544.785 * * [misc]simplify: iters left: 2 (17 enodes) 1554299544.790 * * [misc]simplify: iters left: 1 (21 enodes) 1554299544.797 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299544.797 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1554299544.797 * * [misc]simplify: Extracting #2: cost 7 inf + 2 1554299544.797 * * [misc]simplify: Extracting #3: cost 0 inf + 333 1554299544.797 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1554299544.798 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1554299544.798 * * * * [misc]progress: [ 20 / 20 ] simplifiying candidate # 1554299544.798 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1554299544.798 * * [misc]simplify: iters left: 3 (5 enodes) 1554299544.801 * * [misc]simplify: iters left: 2 (17 enodes) 1554299544.806 * * [misc]simplify: iters left: 1 (21 enodes) 1554299544.813 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299544.813 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1554299544.813 * * [misc]simplify: Extracting #2: cost 7 inf + 2 1554299544.813 * * [misc]simplify: Extracting #3: cost 0 inf + 333 1554299544.813 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1554299544.813 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1554299544.813 * * * [misc]progress: adding candidates to table 1554299544.899 * * [misc]progress: iteration 2 / 4 1554299544.900 * * * [misc]progress: picking best candidate 1554299544.907 * * * * [misc]pick: Picked # 1554299544.907 * * * [misc]progress: localizing error 1554299544.913 * * * [misc]progress: generating rewritten candidates 1554299544.913 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1554299544.923 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 1) 1554299544.928 * * * [misc]progress: generating series expansions 1554299544.928 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1554299544.929 * [misc]backup-simplify: Simplify (* (* (* 2e-16 t) 2e-16) t) into (* 3.9999999999999997e-32 (pow t 2)) 1554299544.929 * [misc]approximate: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1554299544.929 * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1554299544.929 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1554299544.929 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299544.929 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299544.929 * [misc]taylor: Taking taylor expansion of t in t 1554299544.929 * [misc]backup-simplify: Simplify 0 into 0 1554299544.929 * [misc]backup-simplify: Simplify 1 into 1 1554299544.929 * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1554299544.929 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1554299544.929 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299544.929 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299544.929 * [misc]taylor: Taking taylor expansion of t in t 1554299544.929 * [misc]backup-simplify: Simplify 0 into 0 1554299544.929 * [misc]backup-simplify: Simplify 1 into 1 1554299544.930 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554299544.930 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554299544.930 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299544.930 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554299544.930 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 1554299544.930 * [misc]backup-simplify: Simplify 0 into 0 1554299544.931 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554299544.931 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 1554299544.931 * [misc]backup-simplify: Simplify 0 into 0 1554299544.931 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554299544.932 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554299544.932 * [misc]backup-simplify: Simplify 0 into 0 1554299544.932 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554299544.933 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554299544.933 * [misc]backup-simplify: Simplify 0 into 0 1554299544.933 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554299544.934 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554299544.934 * [misc]backup-simplify: Simplify 0 into 0 1554299544.934 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554299544.935 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554299544.935 * [misc]backup-simplify: Simplify 0 into 0 1554299544.935 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1554299544.935 * [misc]backup-simplify: Simplify (* (* (* 2e-16 (/ 1 t)) 2e-16) (/ 1 t)) into (/ 3.9999999999999997e-32 (pow t 2)) 1554299544.935 * [misc]approximate: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1554299544.935 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1554299544.935 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1554299544.935 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299544.935 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299544.935 * [misc]taylor: Taking taylor expansion of t in t 1554299544.935 * [misc]backup-simplify: Simplify 0 into 0 1554299544.935 * [misc]backup-simplify: Simplify 1 into 1 1554299544.935 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554299544.936 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554299544.936 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1554299544.936 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1554299544.936 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299544.936 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299544.936 * [misc]taylor: Taking taylor expansion of t in t 1554299544.936 * [misc]backup-simplify: Simplify 0 into 0 1554299544.936 * [misc]backup-simplify: Simplify 1 into 1 1554299544.936 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554299544.936 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554299544.936 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299544.936 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554299544.937 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1554299544.937 * [misc]backup-simplify: Simplify 0 into 0 1554299544.937 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554299544.937 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299544.937 * [misc]backup-simplify: Simplify 0 into 0 1554299544.938 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554299544.938 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299544.938 * [misc]backup-simplify: Simplify 0 into 0 1554299544.939 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554299544.939 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299544.939 * [misc]backup-simplify: Simplify 0 into 0 1554299544.940 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554299544.940 * [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 1554299544.940 * [misc]backup-simplify: Simplify 0 into 0 1554299544.941 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554299544.941 * [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 1554299544.941 * [misc]backup-simplify: Simplify 0 into 0 1554299544.941 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1554299544.942 * [misc]backup-simplify: Simplify (* (* (* 2e-16 (/ 1 (- t))) 2e-16) (/ 1 (- t))) into (/ 3.9999999999999997e-32 (pow t 2)) 1554299544.942 * [misc]approximate: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1554299544.942 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1554299544.942 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1554299544.942 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299544.942 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299544.942 * [misc]taylor: Taking taylor expansion of t in t 1554299544.942 * [misc]backup-simplify: Simplify 0 into 0 1554299544.942 * [misc]backup-simplify: Simplify 1 into 1 1554299544.942 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554299544.942 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554299544.942 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1554299544.942 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1554299544.942 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299544.942 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299544.942 * [misc]taylor: Taking taylor expansion of t in t 1554299544.942 * [misc]backup-simplify: Simplify 0 into 0 1554299544.942 * [misc]backup-simplify: Simplify 1 into 1 1554299544.942 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554299544.943 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554299544.943 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299544.943 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554299544.943 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1554299544.943 * [misc]backup-simplify: Simplify 0 into 0 1554299544.944 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554299544.944 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299544.944 * [misc]backup-simplify: Simplify 0 into 0 1554299544.944 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554299544.945 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299544.945 * [misc]backup-simplify: Simplify 0 into 0 1554299544.945 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554299544.945 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299544.945 * [misc]backup-simplify: Simplify 0 into 0 1554299544.945 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554299544.946 * [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 1554299544.946 * [misc]backup-simplify: Simplify 0 into 0 1554299544.946 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554299544.946 * [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 1554299544.946 * [misc]backup-simplify: Simplify 0 into 0 1554299544.947 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1554299544.947 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 1) 1554299544.947 * [misc]backup-simplify: Simplify (* (* 2e-16 t) 2e-16) into (* 3.9999999999999997e-32 t) 1554299544.947 * [misc]approximate: Taking taylor expansion of (* 3.9999999999999997e-32 t) in (t) around 0 1554299544.947 * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t 1554299544.947 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1554299544.947 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299544.947 * [misc]taylor: Taking taylor expansion of t in t 1554299544.947 * [misc]backup-simplify: Simplify 0 into 0 1554299544.947 * [misc]backup-simplify: Simplify 1 into 1 1554299544.947 * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 t) in t 1554299544.947 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1554299544.947 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299544.947 * [misc]taylor: Taking taylor expansion of t in t 1554299544.947 * [misc]backup-simplify: Simplify 0 into 0 1554299544.947 * [misc]backup-simplify: Simplify 1 into 1 1554299544.947 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 0) into 0 1554299544.947 * [misc]backup-simplify: Simplify 0 into 0 1554299544.947 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 1) (* 0 0)) into 3.9999999999999997e-32 1554299544.947 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299544.948 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 1) (* 0 0))) into 0 1554299544.948 * [misc]backup-simplify: Simplify 0 into 0 1554299544.948 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1554299544.948 * [misc]backup-simplify: Simplify 0 into 0 1554299544.948 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1554299544.948 * [misc]backup-simplify: Simplify 0 into 0 1554299544.949 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1554299544.949 * [misc]backup-simplify: Simplify 0 into 0 1554299544.949 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1554299544.949 * [misc]backup-simplify: Simplify 0 into 0 1554299544.949 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1554299544.949 * [misc]backup-simplify: Simplify 0 into 0 1554299544.949 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 t) into (* 3.9999999999999997e-32 t) 1554299544.949 * [misc]backup-simplify: Simplify (* (* 2e-16 (/ 1 t)) 2e-16) into (/ 3.9999999999999997e-32 t) 1554299544.950 * [misc]approximate: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in (t) around 0 1554299544.950 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in t 1554299544.950 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1554299544.950 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299544.950 * [misc]taylor: Taking taylor expansion of t in t 1554299544.950 * [misc]backup-simplify: Simplify 0 into 0 1554299544.950 * [misc]backup-simplify: Simplify 1 into 1 1554299544.950 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554299544.950 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 t) in t 1554299544.950 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1554299544.950 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299544.950 * [misc]taylor: Taking taylor expansion of t in t 1554299544.950 * [misc]backup-simplify: Simplify 0 into 0 1554299544.950 * [misc]backup-simplify: Simplify 1 into 1 1554299544.950 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554299544.950 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299544.950 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1554299544.950 * [misc]backup-simplify: Simplify 0 into 0 1554299544.950 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299544.950 * [misc]backup-simplify: Simplify 0 into 0 1554299544.951 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299544.951 * [misc]backup-simplify: Simplify 0 into 0 1554299544.951 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299544.951 * [misc]backup-simplify: Simplify 0 into 0 1554299544.951 * [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 1554299544.951 * [misc]backup-simplify: Simplify 0 into 0 1554299544.952 * [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 1554299544.952 * [misc]backup-simplify: Simplify 0 into 0 1554299544.952 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (/ 1 (/ 1 t))) into (* 3.9999999999999997e-32 t) 1554299544.952 * [misc]backup-simplify: Simplify (* (* 2e-16 (/ 1 (- t))) 2e-16) into (/ -3.9999999999999997e-32 t) 1554299544.952 * [misc]approximate: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in (t) around 0 1554299544.952 * [misc]taylor: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in t 1554299544.952 * [misc]taylor: Taking taylor expansion of -3.9999999999999997e-32 in t 1554299544.952 * [misc]backup-simplify: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32 1554299544.952 * [misc]taylor: Taking taylor expansion of t in t 1554299544.952 * [misc]backup-simplify: Simplify 0 into 0 1554299544.952 * [misc]backup-simplify: Simplify 1 into 1 1554299544.952 * [misc]backup-simplify: Simplify (/ -3.9999999999999997e-32 1) into -3.9999999999999997e-32 1554299544.952 * [misc]taylor: Taking taylor expansion of (/ -3.9999999999999997e-32 t) in t 1554299544.952 * [misc]taylor: Taking taylor expansion of -3.9999999999999997e-32 in t 1554299544.952 * [misc]backup-simplify: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32 1554299544.952 * [misc]taylor: Taking taylor expansion of t in t 1554299544.952 * [misc]backup-simplify: Simplify 0 into 0 1554299544.952 * [misc]backup-simplify: Simplify 1 into 1 1554299544.952 * [misc]backup-simplify: Simplify (/ -3.9999999999999997e-32 1) into -3.9999999999999997e-32 1554299544.952 * [misc]backup-simplify: Simplify -3.9999999999999997e-32 into -3.9999999999999997e-32 1554299544.952 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)))) into 0 1554299544.953 * [misc]backup-simplify: Simplify 0 into 0 1554299544.953 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299544.953 * [misc]backup-simplify: Simplify 0 into 0 1554299544.953 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299544.953 * [misc]backup-simplify: Simplify 0 into 0 1554299544.953 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299544.953 * [misc]backup-simplify: Simplify 0 into 0 1554299544.954 * [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 1554299544.954 * [misc]backup-simplify: Simplify 0 into 0 1554299544.954 * [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 1554299544.954 * [misc]backup-simplify: Simplify 0 into 0 1554299544.954 * [misc]backup-simplify: Simplify (* -3.9999999999999997e-32 (/ 1 (/ 1 (- t)))) into (* 3.9999999999999997e-32 t) 1554299544.954 * * * [misc]progress: simplifying candidates 1554299544.954 * * * * [misc]progress: [ 1 / 26 ] simplifiying candidate # 1554299544.954 * * * * [misc]progress: [ 2 / 26 ] simplifiying candidate # 1554299544.954 * * * * [misc]progress: [ 3 / 26 ] simplifiying candidate # 1554299544.954 * * * * [misc]progress: [ 4 / 26 ] simplifiying candidate # 1554299544.954 * * * * [misc]progress: [ 5 / 26 ] simplifiying candidate # 1554299544.954 * * * * [misc]progress: [ 6 / 26 ] simplifiying candidate # 1554299544.954 * * * * [misc]progress: [ 7 / 26 ] simplifiying candidate # 1554299544.954 * * * * [misc]progress: [ 8 / 26 ] simplifiying candidate # 1554299544.954 * [enter]simplify: Simplifying (* 2e-16 t) 1554299544.955 * * [misc]simplify: iters left: 2 (3 enodes) 1554299544.956 * * [misc]simplify: iters left: 1 (10 enodes) 1554299544.957 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299544.957 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554299544.957 * * [misc]simplify: Extracting #2: cost 2 inf + 2 1554299544.957 * * [misc]simplify: Extracting #3: cost 0 inf + 86 1554299544.957 * [exit]simplify: Simplified to (* 2e-16 t) 1554299544.957 * [misc]simplify: Simplified (2 1) to (λ (t) (* (* 2e-16 t) (* 2e-16 t))) 1554299544.957 * * * * [misc]progress: [ 9 / 26 ] simplifiying candidate #real (real->posit16 (* (* (* 2e-16 t) 2e-16) t))))> 1554299544.957 * * * * [misc]progress: [ 10 / 26 ] simplifiying candidate # 1554299544.957 * * * * [misc]progress: [ 11 / 26 ] simplifiying candidate # 1554299544.957 * * * * [misc]progress: [ 12 / 26 ] simplifiying candidate # 1554299544.957 * * * * [misc]progress: [ 13 / 26 ] simplifiying candidate # 1554299544.958 * * * * [misc]progress: [ 14 / 26 ] simplifiying candidate # 1554299544.958 * * * * [misc]progress: [ 15 / 26 ] simplifiying candidate # 1554299544.958 * * * * [misc]progress: [ 16 / 26 ] simplifiying candidate # 1554299544.958 * * * * [misc]progress: [ 17 / 26 ] simplifiying candidate # 1554299544.958 * * * * [misc]progress: [ 18 / 26 ] simplifiying candidate # 1554299544.958 * * * * [misc]progress: [ 19 / 26 ] simplifiying candidate #real (real->posit16 (* (* 2e-16 t) 2e-16))) t))> 1554299544.958 * * * * [misc]progress: [ 20 / 26 ] simplifiying candidate # 1554299544.958 * * * * [misc]progress: [ 21 / 26 ] simplifiying candidate # 1554299544.958 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1554299544.958 * * [misc]simplify: iters left: 3 (5 enodes) 1554299544.960 * * [misc]simplify: iters left: 2 (17 enodes) 1554299544.963 * * [misc]simplify: iters left: 1 (21 enodes) 1554299544.966 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299544.966 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1554299544.966 * * [misc]simplify: Extracting #2: cost 7 inf + 2 1554299544.966 * * [misc]simplify: Extracting #3: cost 0 inf + 333 1554299544.966 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1554299544.966 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1554299544.966 * * * * [misc]progress: [ 22 / 26 ] simplifiying candidate # 1554299544.967 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1554299544.967 * * [misc]simplify: iters left: 3 (5 enodes) 1554299544.968 * * [misc]simplify: iters left: 2 (17 enodes) 1554299544.971 * * [misc]simplify: iters left: 1 (21 enodes) 1554299544.975 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299544.975 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1554299544.975 * * [misc]simplify: Extracting #2: cost 7 inf + 2 1554299544.975 * * [misc]simplify: Extracting #3: cost 0 inf + 333 1554299544.975 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1554299544.975 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1554299544.975 * * * * [misc]progress: [ 23 / 26 ] simplifiying candidate # 1554299544.975 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1554299544.975 * * [misc]simplify: iters left: 3 (5 enodes) 1554299544.977 * * [misc]simplify: iters left: 2 (17 enodes) 1554299544.982 * * [misc]simplify: iters left: 1 (21 enodes) 1554299544.989 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299544.989 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1554299544.989 * * [misc]simplify: Extracting #2: cost 7 inf + 2 1554299544.989 * * [misc]simplify: Extracting #3: cost 0 inf + 333 1554299544.989 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1554299544.989 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1554299544.989 * * * * [misc]progress: [ 24 / 26 ] simplifiying candidate # 1554299544.990 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 t) 1554299544.990 * * [misc]simplify: iters left: 2 (3 enodes) 1554299544.992 * * [misc]simplify: iters left: 1 (10 enodes) 1554299544.995 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299544.995 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554299544.995 * * [misc]simplify: Extracting #2: cost 2 inf + 2 1554299544.995 * * [misc]simplify: Extracting #3: cost 0 inf + 86 1554299544.995 * [exit]simplify: Simplified to (* 3.9999999999999997e-32 t) 1554299544.995 * [misc]simplify: Simplified (2 1) to (λ (t) (* (* 3.9999999999999997e-32 t) t)) 1554299544.995 * * * * [misc]progress: [ 25 / 26 ] simplifiying candidate # 1554299544.995 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 t) 1554299544.995 * * [misc]simplify: iters left: 2 (3 enodes) 1554299544.997 * * [misc]simplify: iters left: 1 (10 enodes) 1554299545.000 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299545.000 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554299545.000 * * [misc]simplify: Extracting #2: cost 2 inf + 2 1554299545.000 * * [misc]simplify: Extracting #3: cost 0 inf + 86 1554299545.001 * [exit]simplify: Simplified to (* 3.9999999999999997e-32 t) 1554299545.001 * [misc]simplify: Simplified (2 1) to (λ (t) (* (* 3.9999999999999997e-32 t) t)) 1554299545.001 * * * * [misc]progress: [ 26 / 26 ] simplifiying candidate # 1554299545.001 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 t) 1554299545.001 * * [misc]simplify: iters left: 2 (3 enodes) 1554299545.003 * * [misc]simplify: iters left: 1 (10 enodes) 1554299545.006 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299545.006 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554299545.006 * * [misc]simplify: Extracting #2: cost 2 inf + 2 1554299545.006 * * [misc]simplify: Extracting #3: cost 0 inf + 86 1554299545.006 * [exit]simplify: Simplified to (* 3.9999999999999997e-32 t) 1554299545.006 * [misc]simplify: Simplified (2 1) to (λ (t) (* (* 3.9999999999999997e-32 t) t)) 1554299545.006 * * * [misc]progress: adding candidates to table 1554299545.190 * * [misc]progress: iteration 3 / 4 1554299545.190 * * * [misc]progress: picking best candidate 1554299545.207 * * * * [misc]pick: Picked # 1554299545.208 * * * [misc]progress: localizing error 1554299545.218 * * * [misc]progress: generating rewritten candidates 1554299545.218 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1554299545.223 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2) 1554299545.225 * * * [misc]progress: generating series expansions 1554299545.225 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1554299545.225 * [misc]backup-simplify: Simplify (* 2e-16 (* t (* 2e-16 t))) into (* 3.9999999999999997e-32 (pow t 2)) 1554299545.225 * [misc]approximate: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1554299545.225 * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1554299545.225 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1554299545.225 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299545.225 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299545.225 * [misc]taylor: Taking taylor expansion of t in t 1554299545.225 * [misc]backup-simplify: Simplify 0 into 0 1554299545.225 * [misc]backup-simplify: Simplify 1 into 1 1554299545.225 * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1554299545.225 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1554299545.225 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299545.225 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299545.225 * [misc]taylor: Taking taylor expansion of t in t 1554299545.226 * [misc]backup-simplify: Simplify 0 into 0 1554299545.226 * [misc]backup-simplify: Simplify 1 into 1 1554299545.226 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554299545.226 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554299545.226 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299545.226 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554299545.227 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 1554299545.227 * [misc]backup-simplify: Simplify 0 into 0 1554299545.227 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554299545.227 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 1554299545.227 * [misc]backup-simplify: Simplify 0 into 0 1554299545.227 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554299545.228 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554299545.228 * [misc]backup-simplify: Simplify 0 into 0 1554299545.228 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554299545.229 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554299545.229 * [misc]backup-simplify: Simplify 0 into 0 1554299545.229 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554299545.229 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554299545.229 * [misc]backup-simplify: Simplify 0 into 0 1554299545.230 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554299545.230 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554299545.230 * [misc]backup-simplify: Simplify 0 into 0 1554299545.230 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1554299545.231 * [misc]backup-simplify: Simplify (* 2e-16 (* (/ 1 t) (* 2e-16 (/ 1 t)))) into (/ 3.9999999999999997e-32 (pow t 2)) 1554299545.231 * [misc]approximate: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1554299545.231 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1554299545.231 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1554299545.231 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299545.231 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299545.231 * [misc]taylor: Taking taylor expansion of t in t 1554299545.231 * [misc]backup-simplify: Simplify 0 into 0 1554299545.231 * [misc]backup-simplify: Simplify 1 into 1 1554299545.231 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554299545.231 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554299545.231 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1554299545.231 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1554299545.231 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299545.231 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299545.231 * [misc]taylor: Taking taylor expansion of t in t 1554299545.231 * [misc]backup-simplify: Simplify 0 into 0 1554299545.231 * [misc]backup-simplify: Simplify 1 into 1 1554299545.232 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554299545.232 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554299545.232 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299545.232 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554299545.232 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1554299545.232 * [misc]backup-simplify: Simplify 0 into 0 1554299545.233 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554299545.233 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299545.233 * [misc]backup-simplify: Simplify 0 into 0 1554299545.233 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554299545.234 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299545.234 * [misc]backup-simplify: Simplify 0 into 0 1554299545.234 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554299545.235 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299545.235 * [misc]backup-simplify: Simplify 0 into 0 1554299545.235 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554299545.236 * [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 1554299545.236 * [misc]backup-simplify: Simplify 0 into 0 1554299545.236 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554299545.237 * [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 1554299545.237 * [misc]backup-simplify: Simplify 0 into 0 1554299545.237 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1554299545.237 * [misc]backup-simplify: Simplify (* 2e-16 (* (/ 1 (- t)) (* 2e-16 (/ 1 (- t))))) into (/ 3.9999999999999997e-32 (pow t 2)) 1554299545.237 * [misc]approximate: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1554299545.237 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1554299545.237 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1554299545.237 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299545.237 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299545.237 * [misc]taylor: Taking taylor expansion of t in t 1554299545.237 * [misc]backup-simplify: Simplify 0 into 0 1554299545.237 * [misc]backup-simplify: Simplify 1 into 1 1554299545.237 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554299545.238 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554299545.238 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1554299545.238 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1554299545.238 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299545.238 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299545.238 * [misc]taylor: Taking taylor expansion of t in t 1554299545.238 * [misc]backup-simplify: Simplify 0 into 0 1554299545.238 * [misc]backup-simplify: Simplify 1 into 1 1554299545.238 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554299545.238 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554299545.238 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299545.238 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554299545.239 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1554299545.239 * [misc]backup-simplify: Simplify 0 into 0 1554299545.239 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554299545.239 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299545.239 * [misc]backup-simplify: Simplify 0 into 0 1554299545.240 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554299545.240 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299545.240 * [misc]backup-simplify: Simplify 0 into 0 1554299545.240 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554299545.241 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299545.241 * [misc]backup-simplify: Simplify 0 into 0 1554299545.241 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554299545.242 * [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 1554299545.242 * [misc]backup-simplify: Simplify 0 into 0 1554299545.242 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554299545.243 * [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 1554299545.243 * [misc]backup-simplify: Simplify 0 into 0 1554299545.243 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1554299545.247 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2) 1554299545.247 * [misc]backup-simplify: Simplify (* t (* 2e-16 t)) into (* 2e-16 (pow t 2)) 1554299545.247 * [misc]approximate: Taking taylor expansion of (* 2e-16 (pow t 2)) in (t) around 0 1554299545.247 * [misc]taylor: Taking taylor expansion of (* 2e-16 (pow t 2)) in t 1554299545.247 * [misc]taylor: Taking taylor expansion of 2e-16 in t 1554299545.247 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1554299545.247 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299545.247 * [misc]taylor: Taking taylor expansion of t in t 1554299545.247 * [misc]backup-simplify: Simplify 0 into 0 1554299545.247 * [misc]backup-simplify: Simplify 1 into 1 1554299545.247 * [misc]taylor: Taking taylor expansion of (* 2e-16 (pow t 2)) in t 1554299545.247 * [misc]taylor: Taking taylor expansion of 2e-16 in t 1554299545.247 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1554299545.247 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299545.247 * [misc]taylor: Taking taylor expansion of t in t 1554299545.247 * [misc]backup-simplify: Simplify 0 into 0 1554299545.247 * [misc]backup-simplify: Simplify 1 into 1 1554299545.248 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554299545.248 * [misc]backup-simplify: Simplify (* 2e-16 1) into 2e-16 1554299545.248 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1554299545.248 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554299545.248 * [misc]backup-simplify: Simplify (+ (* 2e-16 0) (* 0 1)) into 0 1554299545.248 * [misc]backup-simplify: Simplify 0 into 0 1554299545.249 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554299545.249 * [misc]backup-simplify: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 1))) into 0 1554299545.249 * [misc]backup-simplify: Simplify 0 into 0 1554299545.249 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554299545.250 * [misc]backup-simplify: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554299545.250 * [misc]backup-simplify: Simplify 0 into 0 1554299545.250 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554299545.250 * [misc]backup-simplify: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554299545.250 * [misc]backup-simplify: Simplify 0 into 0 1554299545.251 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554299545.251 * [misc]backup-simplify: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554299545.251 * [misc]backup-simplify: Simplify 0 into 0 1554299545.252 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554299545.252 * [misc]backup-simplify: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554299545.252 * [misc]backup-simplify: Simplify 0 into 0 1554299545.252 * [misc]backup-simplify: Simplify (* 2e-16 (pow t 2)) into (* 2e-16 (pow t 2)) 1554299545.253 * [misc]backup-simplify: Simplify (* (/ 1 t) (* 2e-16 (/ 1 t))) into (/ 2e-16 (pow t 2)) 1554299545.253 * [misc]approximate: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0 1554299545.253 * [misc]taylor: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 1554299545.253 * [misc]taylor: Taking taylor expansion of 2e-16 in t 1554299545.253 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1554299545.253 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299545.253 * [misc]taylor: Taking taylor expansion of t in t 1554299545.253 * [misc]backup-simplify: Simplify 0 into 0 1554299545.253 * [misc]backup-simplify: Simplify 1 into 1 1554299545.253 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554299545.253 * [misc]backup-simplify: Simplify (/ 2e-16 1) into 2e-16 1554299545.253 * [misc]taylor: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 1554299545.253 * [misc]taylor: Taking taylor expansion of 2e-16 in t 1554299545.253 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1554299545.253 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299545.253 * [misc]taylor: Taking taylor expansion of t in t 1554299545.253 * [misc]backup-simplify: Simplify 0 into 0 1554299545.253 * [misc]backup-simplify: Simplify 1 into 1 1554299545.253 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554299545.254 * [misc]backup-simplify: Simplify (/ 2e-16 1) into 2e-16 1554299545.254 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1554299545.254 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554299545.254 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0 1554299545.254 * [misc]backup-simplify: Simplify 0 into 0 1554299545.254 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554299545.255 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299545.255 * [misc]backup-simplify: Simplify 0 into 0 1554299545.255 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554299545.256 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299545.256 * [misc]backup-simplify: Simplify 0 into 0 1554299545.256 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554299545.256 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299545.256 * [misc]backup-simplify: Simplify 0 into 0 1554299545.257 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554299545.257 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299545.257 * [misc]backup-simplify: Simplify 0 into 0 1554299545.258 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554299545.258 * [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 1554299545.258 * [misc]backup-simplify: Simplify 0 into 0 1554299545.259 * [misc]backup-simplify: Simplify (* 2e-16 (pow (/ 1 (/ 1 t)) 2)) into (* 2e-16 (pow t 2)) 1554299545.259 * [misc]backup-simplify: Simplify (* (/ 1 (- t)) (* 2e-16 (/ 1 (- t)))) into (/ 2e-16 (pow t 2)) 1554299545.259 * [misc]approximate: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0 1554299545.259 * [misc]taylor: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 1554299545.259 * [misc]taylor: Taking taylor expansion of 2e-16 in t 1554299545.259 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1554299545.259 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299545.259 * [misc]taylor: Taking taylor expansion of t in t 1554299545.259 * [misc]backup-simplify: Simplify 0 into 0 1554299545.259 * [misc]backup-simplify: Simplify 1 into 1 1554299545.259 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554299545.259 * [misc]backup-simplify: Simplify (/ 2e-16 1) into 2e-16 1554299545.259 * [misc]taylor: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 1554299545.259 * [misc]taylor: Taking taylor expansion of 2e-16 in t 1554299545.259 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1554299545.259 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299545.259 * [misc]taylor: Taking taylor expansion of t in t 1554299545.259 * [misc]backup-simplify: Simplify 0 into 0 1554299545.259 * [misc]backup-simplify: Simplify 1 into 1 1554299545.260 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554299545.260 * [misc]backup-simplify: Simplify (/ 2e-16 1) into 2e-16 1554299545.260 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1554299545.260 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554299545.260 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0 1554299545.260 * [misc]backup-simplify: Simplify 0 into 0 1554299545.261 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554299545.261 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299545.261 * [misc]backup-simplify: Simplify 0 into 0 1554299545.261 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554299545.262 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299545.262 * [misc]backup-simplify: Simplify 0 into 0 1554299545.262 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554299545.263 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299545.263 * [misc]backup-simplify: Simplify 0 into 0 1554299545.263 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554299545.264 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299545.264 * [misc]backup-simplify: Simplify 0 into 0 1554299545.264 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554299545.265 * [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 1554299545.265 * [misc]backup-simplify: Simplify 0 into 0 1554299545.265 * [misc]backup-simplify: Simplify (* 2e-16 (pow (/ 1 (/ 1 (- t))) 2)) into (* 2e-16 (pow t 2)) 1554299545.265 * * * [misc]progress: simplifying candidates 1554299545.265 * * * * [misc]progress: [ 1 / 26 ] simplifiying candidate # 1554299545.265 * * * * [misc]progress: [ 2 / 26 ] simplifiying candidate # 1554299545.265 * * * * [misc]progress: [ 3 / 26 ] simplifiying candidate # 1554299545.265 * * * * [misc]progress: [ 4 / 26 ] simplifiying candidate # 1554299545.265 * * * * [misc]progress: [ 5 / 26 ] simplifiying candidate # 1554299545.265 * * * * [misc]progress: [ 6 / 26 ] simplifiying candidate # 1554299545.266 * * * * [misc]progress: [ 7 / 26 ] simplifiying candidate # 1554299545.266 * * * * [misc]progress: [ 8 / 26 ] simplifiying candidate # 1554299545.266 * [enter]simplify: Simplifying (* 2e-16 t) 1554299545.266 * * [misc]simplify: iters left: 2 (3 enodes) 1554299545.268 * * [misc]simplify: iters left: 1 (10 enodes) 1554299545.271 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299545.271 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554299545.271 * * [misc]simplify: Extracting #2: cost 2 inf + 2 1554299545.271 * * [misc]simplify: Extracting #3: cost 0 inf + 86 1554299545.271 * [exit]simplify: Simplified to (* 2e-16 t) 1554299545.271 * [misc]simplify: Simplified (2 2) to (λ (t) (* (* 2e-16 t) (* 2e-16 t))) 1554299545.271 * * * * [misc]progress: [ 9 / 26 ] simplifiying candidate #real (real->posit16 (* 2e-16 (* t (* 2e-16 t))))))> 1554299545.271 * * * * [misc]progress: [ 10 / 26 ] simplifiying candidate # 1554299545.271 * * * * [misc]progress: [ 11 / 26 ] simplifiying candidate # 1554299545.271 * * * * [misc]progress: [ 12 / 26 ] simplifiying candidate # 1554299545.271 * * * * [misc]progress: [ 13 / 26 ] simplifiying candidate # 1554299545.271 * * * * [misc]progress: [ 14 / 26 ] simplifiying candidate # 1554299545.272 * * * * [misc]progress: [ 15 / 26 ] simplifiying candidate # 1554299545.272 * * * * [misc]progress: [ 16 / 26 ] simplifiying candidate # 1554299545.272 * * * * [misc]progress: [ 17 / 26 ] simplifiying candidate # 1554299545.272 * * * * [misc]progress: [ 18 / 26 ] simplifiying candidate # 1554299545.272 * * * * [misc]progress: [ 19 / 26 ] simplifiying candidate #real (real->posit16 (* t (* 2e-16 t))))))> 1554299545.272 * * * * [misc]progress: [ 20 / 26 ] simplifiying candidate # 1554299545.272 * * * * [misc]progress: [ 21 / 26 ] simplifiying candidate # 1554299545.272 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1554299545.272 * * [misc]simplify: iters left: 3 (5 enodes) 1554299545.275 * * [misc]simplify: iters left: 2 (17 enodes) 1554299545.281 * * [misc]simplify: iters left: 1 (21 enodes) 1554299545.287 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299545.288 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1554299545.288 * * [misc]simplify: Extracting #2: cost 7 inf + 2 1554299545.288 * * [misc]simplify: Extracting #3: cost 0 inf + 333 1554299545.288 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1554299545.288 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1554299545.288 * * * * [misc]progress: [ 22 / 26 ] simplifiying candidate # 1554299545.289 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1554299545.289 * * [misc]simplify: iters left: 3 (5 enodes) 1554299545.290 * * [misc]simplify: iters left: 2 (17 enodes) 1554299545.293 * * [misc]simplify: iters left: 1 (21 enodes) 1554299545.296 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299545.296 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1554299545.296 * * [misc]simplify: Extracting #2: cost 7 inf + 2 1554299545.297 * * [misc]simplify: Extracting #3: cost 0 inf + 333 1554299545.297 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1554299545.297 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1554299545.297 * * * * [misc]progress: [ 23 / 26 ] simplifiying candidate # 1554299545.297 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1554299545.297 * * [misc]simplify: iters left: 3 (5 enodes) 1554299545.299 * * [misc]simplify: iters left: 2 (17 enodes) 1554299545.301 * * [misc]simplify: iters left: 1 (21 enodes) 1554299545.305 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299545.305 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1554299545.305 * * [misc]simplify: Extracting #2: cost 7 inf + 2 1554299545.305 * * [misc]simplify: Extracting #3: cost 0 inf + 333 1554299545.305 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1554299545.305 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1554299545.305 * * * * [misc]progress: [ 24 / 26 ] simplifiying candidate # 1554299545.305 * [enter]simplify: Simplifying (* 2e-16 (pow t 2)) 1554299545.305 * * [misc]simplify: iters left: 3 (5 enodes) 1554299545.307 * * [misc]simplify: iters left: 2 (17 enodes) 1554299545.310 * * [misc]simplify: iters left: 1 (21 enodes) 1554299545.317 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299545.317 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1554299545.317 * * [misc]simplify: Extracting #2: cost 7 inf + 2 1554299545.318 * * [misc]simplify: Extracting #3: cost 0 inf + 333 1554299545.318 * [exit]simplify: Simplified to (* (* t t) 2e-16) 1554299545.318 * [misc]simplify: Simplified (2 2) to (λ (t) (* 2e-16 (* (* t t) 2e-16))) 1554299545.318 * * * * [misc]progress: [ 25 / 26 ] simplifiying candidate # 1554299545.318 * [enter]simplify: Simplifying (* 2e-16 (pow t 2)) 1554299545.318 * * [misc]simplify: iters left: 3 (5 enodes) 1554299545.322 * * [misc]simplify: iters left: 2 (17 enodes) 1554299545.327 * * [misc]simplify: iters left: 1 (21 enodes) 1554299545.334 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299545.334 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1554299545.334 * * [misc]simplify: Extracting #2: cost 7 inf + 2 1554299545.334 * * [misc]simplify: Extracting #3: cost 0 inf + 333 1554299545.334 * [exit]simplify: Simplified to (* (* t t) 2e-16) 1554299545.334 * [misc]simplify: Simplified (2 2) to (λ (t) (* 2e-16 (* (* t t) 2e-16))) 1554299545.334 * * * * [misc]progress: [ 26 / 26 ] simplifiying candidate # 1554299545.335 * [enter]simplify: Simplifying (* 2e-16 (pow t 2)) 1554299545.335 * * [misc]simplify: iters left: 3 (5 enodes) 1554299545.338 * * [misc]simplify: iters left: 2 (17 enodes) 1554299545.340 * * [misc]simplify: iters left: 1 (21 enodes) 1554299545.344 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299545.344 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1554299545.344 * * [misc]simplify: Extracting #2: cost 7 inf + 2 1554299545.344 * * [misc]simplify: Extracting #3: cost 0 inf + 333 1554299545.345 * [exit]simplify: Simplified to (* (* t t) 2e-16) 1554299545.345 * [misc]simplify: Simplified (2 2) to (λ (t) (* 2e-16 (* (* t t) 2e-16))) 1554299545.345 * * * [misc]progress: adding candidates to table 1554299545.488 * * [misc]progress: iteration 4 / 4 1554299545.488 * * * [misc]progress: picking best candidate 1554299545.500 * * * * [misc]pick: Picked # 1554299545.500 * * * [misc]progress: localizing error 1554299545.510 * * * [misc]progress: generating rewritten candidates 1554299545.510 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2) 1554299545.514 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2) 1554299545.517 * * * [misc]progress: generating series expansions 1554299545.517 * * * * [misc]progress: [ 1 / 2 ] generating series at (2) 1554299545.517 * [misc]backup-simplify: Simplify (* 2e-16 (* (* t t) 2e-16)) into (* 3.9999999999999997e-32 (pow t 2)) 1554299545.517 * [misc]approximate: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1554299545.517 * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1554299545.517 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1554299545.517 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299545.517 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299545.517 * [misc]taylor: Taking taylor expansion of t in t 1554299545.517 * [misc]backup-simplify: Simplify 0 into 0 1554299545.517 * [misc]backup-simplify: Simplify 1 into 1 1554299545.517 * [misc]taylor: Taking taylor expansion of (* 3.9999999999999997e-32 (pow t 2)) in t 1554299545.517 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1554299545.517 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299545.517 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299545.517 * [misc]taylor: Taking taylor expansion of t in t 1554299545.517 * [misc]backup-simplify: Simplify 0 into 0 1554299545.517 * [misc]backup-simplify: Simplify 1 into 1 1554299545.517 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554299545.518 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554299545.518 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299545.518 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554299545.518 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (* 0 1)) into 0 1554299545.518 * [misc]backup-simplify: Simplify 0 into 0 1554299545.518 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554299545.518 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (* 0 1))) into 0 1554299545.518 * [misc]backup-simplify: Simplify 0 into 0 1554299545.519 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554299545.519 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554299545.519 * [misc]backup-simplify: Simplify 0 into 0 1554299545.519 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554299545.519 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554299545.519 * [misc]backup-simplify: Simplify 0 into 0 1554299545.519 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554299545.520 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554299545.520 * [misc]backup-simplify: Simplify 0 into 0 1554299545.520 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554299545.520 * [misc]backup-simplify: Simplify (+ (* 3.9999999999999997e-32 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554299545.520 * [misc]backup-simplify: Simplify 0 into 0 1554299545.520 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow t 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1554299545.520 * [misc]backup-simplify: Simplify (* 2e-16 (* (* (/ 1 t) (/ 1 t)) 2e-16)) into (/ 3.9999999999999997e-32 (pow t 2)) 1554299545.520 * [misc]approximate: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1554299545.521 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1554299545.521 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1554299545.521 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299545.521 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299545.521 * [misc]taylor: Taking taylor expansion of t in t 1554299545.521 * [misc]backup-simplify: Simplify 0 into 0 1554299545.521 * [misc]backup-simplify: Simplify 1 into 1 1554299545.521 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554299545.521 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554299545.521 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1554299545.521 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1554299545.521 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299545.521 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299545.521 * [misc]taylor: Taking taylor expansion of t in t 1554299545.521 * [misc]backup-simplify: Simplify 0 into 0 1554299545.521 * [misc]backup-simplify: Simplify 1 into 1 1554299545.521 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554299545.521 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554299545.521 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299545.521 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554299545.522 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1554299545.522 * [misc]backup-simplify: Simplify 0 into 0 1554299545.522 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554299545.522 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299545.522 * [misc]backup-simplify: Simplify 0 into 0 1554299545.522 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554299545.522 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299545.522 * [misc]backup-simplify: Simplify 0 into 0 1554299545.523 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554299545.523 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299545.523 * [misc]backup-simplify: Simplify 0 into 0 1554299545.523 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554299545.523 * [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 1554299545.523 * [misc]backup-simplify: Simplify 0 into 0 1554299545.524 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554299545.524 * [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 1554299545.524 * [misc]backup-simplify: Simplify 0 into 0 1554299545.524 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 t)) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1554299545.524 * [misc]backup-simplify: Simplify (* 2e-16 (* (* (/ 1 (- t)) (/ 1 (- t))) 2e-16)) into (/ 3.9999999999999997e-32 (pow t 2)) 1554299545.524 * [misc]approximate: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in (t) around 0 1554299545.524 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1554299545.524 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1554299545.524 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299545.524 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299545.524 * [misc]taylor: Taking taylor expansion of t in t 1554299545.524 * [misc]backup-simplify: Simplify 0 into 0 1554299545.524 * [misc]backup-simplify: Simplify 1 into 1 1554299545.525 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554299545.525 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554299545.525 * [misc]taylor: Taking taylor expansion of (/ 3.9999999999999997e-32 (pow t 2)) in t 1554299545.525 * [misc]taylor: Taking taylor expansion of 3.9999999999999997e-32 in t 1554299545.525 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299545.525 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299545.525 * [misc]taylor: Taking taylor expansion of t in t 1554299545.525 * [misc]backup-simplify: Simplify 0 into 0 1554299545.525 * [misc]backup-simplify: Simplify 1 into 1 1554299545.525 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554299545.525 * [misc]backup-simplify: Simplify (/ 3.9999999999999997e-32 1) into 3.9999999999999997e-32 1554299545.525 * [misc]backup-simplify: Simplify 3.9999999999999997e-32 into 3.9999999999999997e-32 1554299545.525 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554299545.525 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)))) into 0 1554299545.525 * [misc]backup-simplify: Simplify 0 into 0 1554299545.526 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554299545.526 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299545.526 * [misc]backup-simplify: Simplify 0 into 0 1554299545.526 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554299545.526 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299545.526 * [misc]backup-simplify: Simplify 0 into 0 1554299545.526 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554299545.527 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 3.9999999999999997e-32 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299545.527 * [misc]backup-simplify: Simplify 0 into 0 1554299545.527 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554299545.527 * [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 1554299545.527 * [misc]backup-simplify: Simplify 0 into 0 1554299545.528 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554299545.528 * [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 1554299545.528 * [misc]backup-simplify: Simplify 0 into 0 1554299545.528 * [misc]backup-simplify: Simplify (* 3.9999999999999997e-32 (pow (/ 1 (/ 1 (- t))) 2)) into (* 3.9999999999999997e-32 (pow t 2)) 1554299545.528 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2) 1554299545.528 * [misc]backup-simplify: Simplify (* (* t t) 2e-16) into (* 2e-16 (pow t 2)) 1554299545.528 * [misc]approximate: Taking taylor expansion of (* 2e-16 (pow t 2)) in (t) around 0 1554299545.528 * [misc]taylor: Taking taylor expansion of (* 2e-16 (pow t 2)) in t 1554299545.528 * [misc]taylor: Taking taylor expansion of 2e-16 in t 1554299545.528 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1554299545.528 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299545.528 * [misc]taylor: Taking taylor expansion of t in t 1554299545.528 * [misc]backup-simplify: Simplify 0 into 0 1554299545.528 * [misc]backup-simplify: Simplify 1 into 1 1554299545.528 * [misc]taylor: Taking taylor expansion of (* 2e-16 (pow t 2)) in t 1554299545.528 * [misc]taylor: Taking taylor expansion of 2e-16 in t 1554299545.528 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1554299545.528 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299545.528 * [misc]taylor: Taking taylor expansion of t in t 1554299545.528 * [misc]backup-simplify: Simplify 0 into 0 1554299545.528 * [misc]backup-simplify: Simplify 1 into 1 1554299545.529 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554299545.529 * [misc]backup-simplify: Simplify (* 2e-16 1) into 2e-16 1554299545.529 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1554299545.529 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554299545.529 * [misc]backup-simplify: Simplify (+ (* 2e-16 0) (* 0 1)) into 0 1554299545.529 * [misc]backup-simplify: Simplify 0 into 0 1554299545.529 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554299545.529 * [misc]backup-simplify: Simplify (+ (* 2e-16 0) (+ (* 0 0) (* 0 1))) into 0 1554299545.529 * [misc]backup-simplify: Simplify 0 into 0 1554299545.529 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554299545.532 * [misc]backup-simplify: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554299545.533 * [misc]backup-simplify: Simplify 0 into 0 1554299545.533 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554299545.533 * [misc]backup-simplify: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554299545.533 * [misc]backup-simplify: Simplify 0 into 0 1554299545.534 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554299545.534 * [misc]backup-simplify: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554299545.534 * [misc]backup-simplify: Simplify 0 into 0 1554299545.534 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554299545.534 * [misc]backup-simplify: Simplify (+ (* 2e-16 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554299545.534 * [misc]backup-simplify: Simplify 0 into 0 1554299545.534 * [misc]backup-simplify: Simplify (* 2e-16 (pow t 2)) into (* 2e-16 (pow t 2)) 1554299545.535 * [misc]backup-simplify: Simplify (* (* (/ 1 t) (/ 1 t)) 2e-16) into (/ 2e-16 (pow t 2)) 1554299545.535 * [misc]approximate: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0 1554299545.535 * [misc]taylor: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 1554299545.535 * [misc]taylor: Taking taylor expansion of 2e-16 in t 1554299545.535 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1554299545.535 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299545.535 * [misc]taylor: Taking taylor expansion of t in t 1554299545.535 * [misc]backup-simplify: Simplify 0 into 0 1554299545.535 * [misc]backup-simplify: Simplify 1 into 1 1554299545.535 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554299545.535 * [misc]backup-simplify: Simplify (/ 2e-16 1) into 2e-16 1554299545.535 * [misc]taylor: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 1554299545.535 * [misc]taylor: Taking taylor expansion of 2e-16 in t 1554299545.535 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1554299545.535 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299545.535 * [misc]taylor: Taking taylor expansion of t in t 1554299545.535 * [misc]backup-simplify: Simplify 0 into 0 1554299545.535 * [misc]backup-simplify: Simplify 1 into 1 1554299545.535 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554299545.535 * [misc]backup-simplify: Simplify (/ 2e-16 1) into 2e-16 1554299545.535 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1554299545.535 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554299545.536 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0 1554299545.536 * [misc]backup-simplify: Simplify 0 into 0 1554299545.536 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554299545.536 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299545.536 * [misc]backup-simplify: Simplify 0 into 0 1554299545.536 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554299545.536 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299545.537 * [misc]backup-simplify: Simplify 0 into 0 1554299545.537 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554299545.537 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299545.537 * [misc]backup-simplify: Simplify 0 into 0 1554299545.538 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554299545.538 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299545.538 * [misc]backup-simplify: Simplify 0 into 0 1554299545.539 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554299545.539 * [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 1554299545.539 * [misc]backup-simplify: Simplify 0 into 0 1554299545.540 * [misc]backup-simplify: Simplify (* 2e-16 (pow (/ 1 (/ 1 t)) 2)) into (* 2e-16 (pow t 2)) 1554299545.540 * [misc]backup-simplify: Simplify (* (* (/ 1 (- t)) (/ 1 (- t))) 2e-16) into (/ 2e-16 (pow t 2)) 1554299545.540 * [misc]approximate: Taking taylor expansion of (/ 2e-16 (pow t 2)) in (t) around 0 1554299545.540 * [misc]taylor: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 1554299545.540 * [misc]taylor: Taking taylor expansion of 2e-16 in t 1554299545.540 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1554299545.540 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299545.540 * [misc]taylor: Taking taylor expansion of t in t 1554299545.540 * [misc]backup-simplify: Simplify 0 into 0 1554299545.540 * [misc]backup-simplify: Simplify 1 into 1 1554299545.540 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554299545.540 * [misc]backup-simplify: Simplify (/ 2e-16 1) into 2e-16 1554299545.540 * [misc]taylor: Taking taylor expansion of (/ 2e-16 (pow t 2)) in t 1554299545.540 * [misc]taylor: Taking taylor expansion of 2e-16 in t 1554299545.540 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1554299545.540 * [misc]taylor: Taking taylor expansion of (pow t 2) in t 1554299545.540 * [misc]taylor: Taking taylor expansion of t in t 1554299545.540 * [misc]backup-simplify: Simplify 0 into 0 1554299545.541 * [misc]backup-simplify: Simplify 1 into 1 1554299545.541 * [misc]backup-simplify: Simplify (* 1 1) into 1 1554299545.541 * [misc]backup-simplify: Simplify (/ 2e-16 1) into 2e-16 1554299545.541 * [misc]backup-simplify: Simplify 2e-16 into 2e-16 1554299545.541 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1554299545.542 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)))) into 0 1554299545.542 * [misc]backup-simplify: Simplify 0 into 0 1554299545.542 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554299545.542 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299545.542 * [misc]backup-simplify: Simplify 0 into 0 1554299545.542 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554299545.543 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299545.543 * [misc]backup-simplify: Simplify 0 into 0 1554299545.543 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554299545.544 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299545.544 * [misc]backup-simplify: Simplify 0 into 0 1554299545.544 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554299545.545 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 2e-16 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554299545.545 * [misc]backup-simplify: Simplify 0 into 0 1554299545.546 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554299545.546 * [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 1554299545.546 * [misc]backup-simplify: Simplify 0 into 0 1554299545.546 * [misc]backup-simplify: Simplify (* 2e-16 (pow (/ 1 (/ 1 (- t))) 2)) into (* 2e-16 (pow t 2)) 1554299545.546 * * * [misc]progress: simplifying candidates 1554299545.546 * * * * [misc]progress: [ 1 / 26 ] simplifiying candidate # 1554299545.547 * * * * [misc]progress: [ 2 / 26 ] simplifiying candidate # 1554299545.547 * * * * [misc]progress: [ 3 / 26 ] simplifiying candidate # 1554299545.547 * * * * [misc]progress: [ 4 / 26 ] simplifiying candidate # 1554299545.547 * * * * [misc]progress: [ 5 / 26 ] simplifiying candidate # 1554299545.547 * * * * [misc]progress: [ 6 / 26 ] simplifiying candidate # 1554299545.547 * * * * [misc]progress: [ 7 / 26 ] simplifiying candidate # 1554299545.547 * * * * [misc]progress: [ 8 / 26 ] simplifiying candidate # 1554299545.547 * * * * [misc]progress: [ 9 / 26 ] simplifiying candidate #real (real->posit16 (* 2e-16 (* (* t t) 2e-16)))))> 1554299545.547 * * * * [misc]progress: [ 10 / 26 ] simplifiying candidate # 1554299545.547 * * * * [misc]progress: [ 11 / 26 ] simplifiying candidate # 1554299545.547 * * * * [misc]progress: [ 12 / 26 ] simplifiying candidate # 1554299545.547 * * * * [misc]progress: [ 13 / 26 ] simplifiying candidate # 1554299545.547 * * * * [misc]progress: [ 14 / 26 ] simplifiying candidate # 1554299545.547 * * * * [misc]progress: [ 15 / 26 ] simplifiying candidate # 1554299545.547 * * * * [misc]progress: [ 16 / 26 ] simplifiying candidate # 1554299545.548 * * * * [misc]progress: [ 17 / 26 ] simplifiying candidate # 1554299545.548 * * * * [misc]progress: [ 18 / 26 ] simplifiying candidate # 1554299545.548 * * * * [misc]progress: [ 19 / 26 ] simplifiying candidate #real (real->posit16 (* (* t t) 2e-16)))))> 1554299545.548 * * * * [misc]progress: [ 20 / 26 ] simplifiying candidate # 1554299545.548 * * * * [misc]progress: [ 21 / 26 ] simplifiying candidate # 1554299545.548 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1554299545.548 * * [misc]simplify: iters left: 3 (5 enodes) 1554299545.552 * * [misc]simplify: iters left: 2 (17 enodes) 1554299545.557 * * [misc]simplify: iters left: 1 (21 enodes) 1554299545.564 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299545.564 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1554299545.564 * * [misc]simplify: Extracting #2: cost 7 inf + 2 1554299545.565 * * [misc]simplify: Extracting #3: cost 0 inf + 333 1554299545.565 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1554299545.565 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1554299545.565 * * * * [misc]progress: [ 22 / 26 ] simplifiying candidate # 1554299545.565 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1554299545.565 * * [misc]simplify: iters left: 3 (5 enodes) 1554299545.567 * * [misc]simplify: iters left: 2 (17 enodes) 1554299545.570 * * [misc]simplify: iters left: 1 (21 enodes) 1554299545.574 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299545.574 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1554299545.574 * * [misc]simplify: Extracting #2: cost 7 inf + 2 1554299545.574 * * [misc]simplify: Extracting #3: cost 0 inf + 333 1554299545.574 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1554299545.574 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1554299545.574 * * * * [misc]progress: [ 23 / 26 ] simplifiying candidate # 1554299545.574 * [enter]simplify: Simplifying (* 3.9999999999999997e-32 (pow t 2)) 1554299545.574 * * [misc]simplify: iters left: 3 (5 enodes) 1554299545.576 * * [misc]simplify: iters left: 2 (17 enodes) 1554299545.579 * * [misc]simplify: iters left: 1 (21 enodes) 1554299545.582 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299545.582 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1554299545.583 * * [misc]simplify: Extracting #2: cost 7 inf + 2 1554299545.583 * * [misc]simplify: Extracting #3: cost 0 inf + 333 1554299545.583 * [exit]simplify: Simplified to (* (* t t) 3.9999999999999997e-32) 1554299545.583 * [misc]simplify: Simplified (2) to (λ (t) (* (* t t) 3.9999999999999997e-32)) 1554299545.583 * * * * [misc]progress: [ 24 / 26 ] simplifiying candidate # 1554299545.583 * [enter]simplify: Simplifying (* 2e-16 (pow t 2)) 1554299545.583 * * [misc]simplify: iters left: 3 (5 enodes) 1554299545.585 * * [misc]simplify: iters left: 2 (17 enodes) 1554299545.588 * * [misc]simplify: iters left: 1 (21 enodes) 1554299545.591 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299545.591 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1554299545.591 * * [misc]simplify: Extracting #2: cost 7 inf + 2 1554299545.591 * * [misc]simplify: Extracting #3: cost 0 inf + 333 1554299545.592 * [exit]simplify: Simplified to (* (* t t) 2e-16) 1554299545.592 * [misc]simplify: Simplified (2 2) to (λ (t) (* 2e-16 (* (* t t) 2e-16))) 1554299545.592 * * * * [misc]progress: [ 25 / 26 ] simplifiying candidate # 1554299545.592 * [enter]simplify: Simplifying (* 2e-16 (pow t 2)) 1554299545.592 * * [misc]simplify: iters left: 3 (5 enodes) 1554299545.594 * * [misc]simplify: iters left: 2 (17 enodes) 1554299545.600 * * [misc]simplify: iters left: 1 (21 enodes) 1554299545.607 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299545.607 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1554299545.607 * * [misc]simplify: Extracting #2: cost 7 inf + 2 1554299545.607 * * [misc]simplify: Extracting #3: cost 0 inf + 333 1554299545.608 * [exit]simplify: Simplified to (* (* t t) 2e-16) 1554299545.608 * [misc]simplify: Simplified (2 2) to (λ (t) (* 2e-16 (* (* t t) 2e-16))) 1554299545.608 * * * * [misc]progress: [ 26 / 26 ] simplifiying candidate # 1554299545.608 * [enter]simplify: Simplifying (* 2e-16 (pow t 2)) 1554299545.608 * * [misc]simplify: iters left: 3 (5 enodes) 1554299545.611 * * [misc]simplify: iters left: 2 (17 enodes) 1554299545.617 * * [misc]simplify: iters left: 1 (21 enodes) 1554299545.624 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554299545.624 * * [misc]simplify: Extracting #1: cost 6 inf + 0 1554299545.624 * * [misc]simplify: Extracting #2: cost 7 inf + 2 1554299545.624 * * [misc]simplify: Extracting #3: cost 0 inf + 333 1554299545.625 * [exit]simplify: Simplified to (* (* t t) 2e-16) 1554299545.625 * [misc]simplify: Simplified (2 2) to (λ (t) (* 2e-16 (* (* t t) 2e-16))) 1554299545.625 * * * [misc]progress: adding candidates to table 1554299545.777 * [misc]progress: [Phase 3 of 3] Extracting. 1554299545.777 * * [misc]regime: Finding splitpoints for: (# # # # # #) 1554299545.777 * * * [misc]regime-changes: Trying 1 branch expressions: (t) 1554299545.777 * * * * [misc]regimes: Trying to branch on t from (# # # # # #) 1554299545.801 * * * [misc]regime: Found split indices: #