1554039954.182 * [progress]: [Phase 1 of 3] Setting up. 1554039954.182 * * * [progress]: [1/2] Preparing points 1554039954.257 * * * [progress]: [2/2] Setting up program. 1554039954.259 * [progress]: [Phase 2 of 3] Improving. 1554039954.259 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1554039954.259 * [simplify]: Simplifying (- (exp x) 1) 1554039954.259 * * [simplify]: iters left: 3 (4 enodes) 1554039954.261 * * [simplify]: iters left: 2 (17 enodes) 1554039954.264 * * [simplify]: iters left: 1 (21 enodes) 1554039954.267 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039954.267 * * [simplify]: Extracting #1: cost 5 inf + 0 1554039954.267 * * [simplify]: Extracting #2: cost 5 inf + 2 1554039954.267 * * [simplify]: Extracting #3: cost 4 inf + 3 1554039954.267 * * [simplify]: Extracting #4: cost 0 inf + 369 1554039954.267 * [simplify]: Simplified to (- (exp x) 1) 1554039954.267 * [simplify]: Simplified (2) to (λ (x) (- (exp x) 1)) 1554039954.270 * * [progress]: iteration 1 / 4 1554039954.270 * * * [progress]: picking best candidate 1554039954.273 * * * * [pick]: Picked # 1554039954.273 * * * [progress]: localizing error 1554039954.297 * * * [progress]: generating rewritten candidates 1554039954.298 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1554039954.315 * * * [progress]: generating series expansions 1554039954.315 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1554039954.315 * [backup-simplify]: Simplify (- (exp x) 1) into (- (exp x) 1) 1554039954.315 * [approximate]: Taking taylor expansion of (- (exp x) 1) in (x) around 0 1554039954.315 * [taylor]: Taking taylor expansion of (- (exp x) 1) in x 1554039954.315 * [taylor]: Taking taylor expansion of (exp x) in x 1554039954.315 * [taylor]: Taking taylor expansion of x in x 1554039954.315 * [backup-simplify]: Simplify 0 into 0 1554039954.315 * [backup-simplify]: Simplify 1 into 1 1554039954.315 * [backup-simplify]: Simplify (exp 0) into 1 1554039954.315 * [taylor]: Taking taylor expansion of 1 in x 1554039954.316 * [backup-simplify]: Simplify 1 into 1 1554039954.316 * [taylor]: Taking taylor expansion of (- (exp x) 1) in x 1554039954.316 * [taylor]: Taking taylor expansion of (exp x) in x 1554039954.316 * [taylor]: Taking taylor expansion of x in x 1554039954.316 * [backup-simplify]: Simplify 0 into 0 1554039954.316 * [backup-simplify]: Simplify 1 into 1 1554039954.316 * [backup-simplify]: Simplify (exp 0) into 1 1554039954.316 * [taylor]: Taking taylor expansion of 1 in x 1554039954.316 * [backup-simplify]: Simplify 1 into 1 1554039954.316 * [backup-simplify]: Simplify (- 1) into -1 1554039954.317 * [backup-simplify]: Simplify (+ 1 -1) into 0 1554039954.317 * [backup-simplify]: Simplify 0 into 0 1554039954.318 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1554039954.319 * [backup-simplify]: Simplify (- 0) into 0 1554039954.319 * [backup-simplify]: Simplify (+ 1 0) into 1 1554039954.319 * [backup-simplify]: Simplify 1 into 1 1554039954.321 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1554039954.321 * [backup-simplify]: Simplify (- 0) into 0 1554039954.321 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1554039954.321 * [backup-simplify]: Simplify 1/2 into 1/2 1554039954.324 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1554039954.324 * [backup-simplify]: Simplify (- 0) into 0 1554039954.325 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 1554039954.325 * [backup-simplify]: Simplify 1/6 into 1/6 1554039954.325 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1554039954.325 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1554039954.325 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1) in (x) around 0 1554039954.325 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1554039954.325 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1554039954.325 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554039954.325 * [taylor]: Taking taylor expansion of x in x 1554039954.325 * [backup-simplify]: Simplify 0 into 0 1554039954.325 * [backup-simplify]: Simplify 1 into 1 1554039954.326 * [backup-simplify]: Simplify (/ 1 1) into 1 1554039954.326 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1554039954.326 * [taylor]: Taking taylor expansion of 1 in x 1554039954.326 * [backup-simplify]: Simplify 1 into 1 1554039954.326 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1554039954.326 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1554039954.326 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554039954.326 * [taylor]: Taking taylor expansion of x in x 1554039954.326 * [backup-simplify]: Simplify 0 into 0 1554039954.326 * [backup-simplify]: Simplify 1 into 1 1554039954.326 * [backup-simplify]: Simplify (/ 1 1) into 1 1554039954.327 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1554039954.327 * [taylor]: Taking taylor expansion of 1 in x 1554039954.327 * [backup-simplify]: Simplify 1 into 1 1554039954.327 * [backup-simplify]: Simplify (- 1) into -1 1554039954.327 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1554039954.327 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1554039954.328 * [backup-simplify]: Simplify (- 0) into 0 1554039954.328 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039954.328 * [backup-simplify]: Simplify 0 into 0 1554039954.328 * [backup-simplify]: Simplify (- 0) into 0 1554039954.329 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039954.329 * [backup-simplify]: Simplify 0 into 0 1554039954.329 * [backup-simplify]: Simplify (- 0) into 0 1554039954.330 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039954.330 * [backup-simplify]: Simplify 0 into 0 1554039954.330 * [backup-simplify]: Simplify (- 0) into 0 1554039954.330 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039954.330 * [backup-simplify]: Simplify 0 into 0 1554039954.331 * [backup-simplify]: Simplify (- 0) into 0 1554039954.331 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039954.331 * [backup-simplify]: Simplify 0 into 0 1554039954.331 * [backup-simplify]: Simplify (- 0) into 0 1554039954.332 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039954.332 * [backup-simplify]: Simplify 0 into 0 1554039954.332 * [backup-simplify]: Simplify (- (exp (/ 1 (/ 1 x))) 1) into (- (exp x) 1) 1554039954.332 * [backup-simplify]: Simplify (- (exp (/ 1 (- x))) 1) into (- (exp (/ -1 x)) 1) 1554039954.332 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1) in (x) around 0 1554039954.332 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1554039954.332 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1554039954.332 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1554039954.332 * [taylor]: Taking taylor expansion of -1 in x 1554039954.332 * [backup-simplify]: Simplify -1 into -1 1554039954.332 * [taylor]: Taking taylor expansion of x in x 1554039954.332 * [backup-simplify]: Simplify 0 into 0 1554039954.332 * [backup-simplify]: Simplify 1 into 1 1554039954.333 * [backup-simplify]: Simplify (/ -1 1) into -1 1554039954.333 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1554039954.333 * [taylor]: Taking taylor expansion of 1 in x 1554039954.333 * [backup-simplify]: Simplify 1 into 1 1554039954.333 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1554039954.333 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1554039954.333 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1554039954.333 * [taylor]: Taking taylor expansion of -1 in x 1554039954.333 * [backup-simplify]: Simplify -1 into -1 1554039954.333 * [taylor]: Taking taylor expansion of x in x 1554039954.333 * [backup-simplify]: Simplify 0 into 0 1554039954.333 * [backup-simplify]: Simplify 1 into 1 1554039954.333 * [backup-simplify]: Simplify (/ -1 1) into -1 1554039954.333 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1554039954.334 * [taylor]: Taking taylor expansion of 1 in x 1554039954.334 * [backup-simplify]: Simplify 1 into 1 1554039954.334 * [backup-simplify]: Simplify (- 1) into -1 1554039954.334 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1554039954.334 * [backup-simplify]: Simplify (- (exp (/ -1 x)) 1) into (- (exp (/ -1 x)) 1) 1554039954.334 * [backup-simplify]: Simplify (- 0) into 0 1554039954.335 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039954.335 * [backup-simplify]: Simplify 0 into 0 1554039954.335 * [backup-simplify]: Simplify (- 0) into 0 1554039954.335 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039954.335 * [backup-simplify]: Simplify 0 into 0 1554039954.336 * [backup-simplify]: Simplify (- 0) into 0 1554039954.336 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039954.336 * [backup-simplify]: Simplify 0 into 0 1554039954.336 * [backup-simplify]: Simplify (- 0) into 0 1554039954.337 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039954.337 * [backup-simplify]: Simplify 0 into 0 1554039954.337 * [backup-simplify]: Simplify (- 0) into 0 1554039954.338 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039954.338 * [backup-simplify]: Simplify 0 into 0 1554039954.338 * [backup-simplify]: Simplify (- 0) into 0 1554039954.338 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039954.338 * [backup-simplify]: Simplify 0 into 0 1554039954.338 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1) into (- (exp x) 1) 1554039954.338 * * * [progress]: simplifying candidates 1554039954.338 * * * * [progress]: [ 1 / 20 ] simplifiying candidate # 1554039954.339 * [simplify]: Simplifying (/ (exp (exp x)) (exp 1)) 1554039954.339 * * [simplify]: iters left: 4 (6 enodes) 1554039954.342 * * [simplify]: iters left: 3 (21 enodes) 1554039954.348 * * [simplify]: iters left: 2 (28 enodes) 1554039954.355 * * [simplify]: iters left: 1 (32 enodes) 1554039954.364 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039954.364 * * [simplify]: Extracting #1: cost 6 inf + 0 1554039954.364 * * [simplify]: Extracting #2: cost 11 inf + 1 1554039954.364 * * [simplify]: Extracting #3: cost 9 inf + 145 1554039954.364 * * [simplify]: Extracting #4: cost 6 inf + 288 1554039954.364 * * [simplify]: Extracting #5: cost 1 inf + 976 1554039954.365 * * [simplify]: Extracting #6: cost 0 inf + 1158 1554039954.365 * [simplify]: Simplified to (/ (exp (exp x)) E) 1554039954.365 * [simplify]: Simplified (2 1) to (λ (x) (log (/ (exp (exp x)) E))) 1554039954.365 * * * * [progress]: [ 2 / 20 ] simplifiying candidate # 1554039954.365 * * * * [progress]: [ 3 / 20 ] simplifiying candidate # 1554039954.365 * * * * [progress]: [ 4 / 20 ] simplifiying candidate # 1554039954.366 * * * * [progress]: [ 5 / 20 ] simplifiying candidate # 1554039954.366 * * * * [progress]: [ 6 / 20 ] simplifiying candidate # 1554039954.366 * * * * [progress]: [ 7 / 20 ] simplifiying candidate # 1554039954.366 * * * * [progress]: [ 8 / 20 ] simplifiying candidate # 1554039954.366 * * * * [progress]: [ 9 / 20 ] simplifiying candidate # 1554039954.366 * * * * [progress]: [ 10 / 20 ] simplifiying candidate # 1554039954.366 * * * * [progress]: [ 11 / 20 ] simplifiying candidate # 1554039954.366 * * * * [progress]: [ 12 / 20 ] simplifiying candidate # 1554039954.366 * [simplify]: Simplifying (+ (sqrt (exp x)) (sqrt 1)) 1554039954.367 * * [simplify]: iters left: 4 (6 enodes) 1554039954.371 * * [simplify]: iters left: 3 (21 enodes) 1554039954.378 * * [simplify]: iters left: 2 (23 enodes) 1554039954.384 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039954.384 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039954.384 * * [simplify]: Extracting #2: cost 5 inf + 1 1554039954.384 * * [simplify]: Extracting #3: cost 7 inf + 1 1554039954.384 * * [simplify]: Extracting #4: cost 6 inf + 2 1554039954.384 * * [simplify]: Extracting #5: cost 0 inf + 670 1554039954.385 * [simplify]: Simplified to (+ 1 (sqrt (exp x))) 1554039954.385 * [simplify]: Simplified (2 1) to (λ (x) (* (+ 1 (sqrt (exp x))) (- (sqrt (exp x)) (sqrt 1)))) 1554039954.385 * [simplify]: Simplifying (- (sqrt (exp x)) (sqrt 1)) 1554039954.385 * * [simplify]: iters left: 4 (6 enodes) 1554039954.391 * * [simplify]: iters left: 3 (23 enodes) 1554039954.398 * * [simplify]: iters left: 2 (29 enodes) 1554039954.406 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039954.406 * * [simplify]: Extracting #1: cost 5 inf + 0 1554039954.406 * * [simplify]: Extracting #2: cost 5 inf + 2 1554039954.406 * * [simplify]: Extracting #3: cost 7 inf + 2 1554039954.406 * * [simplify]: Extracting #4: cost 6 inf + 3 1554039954.406 * * [simplify]: Extracting #5: cost 2 inf + 367 1554039954.406 * * [simplify]: Extracting #6: cost 1 inf + 519 1554039954.406 * * [simplify]: Extracting #7: cost 0 inf + 671 1554039954.407 * [simplify]: Simplified to (+ (sqrt (exp x)) -1) 1554039954.407 * [simplify]: Simplified (2 2) to (λ (x) (* (+ (sqrt (exp x)) (sqrt 1)) (+ (sqrt (exp x)) -1))) 1554039954.407 * * * * [progress]: [ 13 / 20 ] simplifiying candidate # 1554039954.407 * [simplify]: Simplifying (+ (sqrt (exp x)) 1) 1554039954.407 * * [simplify]: iters left: 4 (5 enodes) 1554039954.410 * * [simplify]: iters left: 3 (18 enodes) 1554039954.415 * * [simplify]: iters left: 2 (20 enodes) 1554039954.421 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039954.421 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039954.421 * * [simplify]: Extracting #2: cost 5 inf + 1 1554039954.421 * * [simplify]: Extracting #3: cost 7 inf + 1 1554039954.421 * * [simplify]: Extracting #4: cost 6 inf + 2 1554039954.421 * * [simplify]: Extracting #5: cost 0 inf + 670 1554039954.421 * [simplify]: Simplified to (+ 1 (sqrt (exp x))) 1554039954.421 * [simplify]: Simplified (2 1) to (λ (x) (* (+ 1 (sqrt (exp x))) (- (sqrt (exp x)) 1))) 1554039954.422 * [simplify]: Simplifying (- (sqrt (exp x)) 1) 1554039954.422 * * [simplify]: iters left: 4 (5 enodes) 1554039954.425 * * [simplify]: iters left: 3 (20 enodes) 1554039954.432 * * [simplify]: iters left: 2 (24 enodes) 1554039954.439 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039954.439 * * [simplify]: Extracting #1: cost 5 inf + 0 1554039954.439 * * [simplify]: Extracting #2: cost 5 inf + 2 1554039954.439 * * [simplify]: Extracting #3: cost 7 inf + 2 1554039954.439 * * [simplify]: Extracting #4: cost 6 inf + 3 1554039954.439 * * [simplify]: Extracting #5: cost 0 inf + 671 1554039954.440 * [simplify]: Simplified to (+ (sqrt (exp x)) -1) 1554039954.440 * [simplify]: Simplified (2 2) to (λ (x) (* (+ (sqrt (exp x)) 1) (+ (sqrt (exp x)) -1))) 1554039954.440 * * * * [progress]: [ 14 / 20 ] simplifiying candidate # 1554039954.440 * [simplify]: Simplifying (+ (sqrt (exp x)) 1) 1554039954.440 * * [simplify]: iters left: 4 (5 enodes) 1554039954.447 * * [simplify]: iters left: 3 (18 enodes) 1554039954.452 * * [simplify]: iters left: 2 (20 enodes) 1554039954.458 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039954.458 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039954.458 * * [simplify]: Extracting #2: cost 5 inf + 1 1554039954.458 * * [simplify]: Extracting #3: cost 7 inf + 1 1554039954.458 * * [simplify]: Extracting #4: cost 6 inf + 2 1554039954.459 * * [simplify]: Extracting #5: cost 0 inf + 670 1554039954.459 * [simplify]: Simplified to (+ 1 (sqrt (exp x))) 1554039954.459 * [simplify]: Simplified (2 1) to (λ (x) (* (+ 1 (sqrt (exp x))) (- (sqrt (exp x)) 1))) 1554039954.459 * * * * [progress]: [ 15 / 20 ] simplifiying candidate # 1554039954.459 * [simplify]: Simplifying (- (exp x) 1) 1554039954.459 * * [simplify]: iters left: 3 (4 enodes) 1554039954.462 * * [simplify]: iters left: 2 (17 enodes) 1554039954.467 * * [simplify]: iters left: 1 (21 enodes) 1554039954.473 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039954.474 * * [simplify]: Extracting #1: cost 5 inf + 0 1554039954.474 * * [simplify]: Extracting #2: cost 5 inf + 2 1554039954.474 * * [simplify]: Extracting #3: cost 4 inf + 3 1554039954.474 * * [simplify]: Extracting #4: cost 0 inf + 369 1554039954.474 * [simplify]: Simplified to (- (exp x) 1) 1554039954.474 * [simplify]: Simplified (2 2) to (λ (x) (* 1 (- (exp x) 1))) 1554039954.474 * * * * [progress]: [ 16 / 20 ] simplifiying candidate # 1554039954.474 * * * * [progress]: [ 17 / 20 ] simplifiying candidate #real (real->posit16 (- (exp x) 1))))> 1554039954.474 * * * * [progress]: [ 18 / 20 ] simplifiying candidate # 1554039954.474 * [simplify]: Simplifying (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1554039954.475 * * [simplify]: iters left: 6 (11 enodes) 1554039954.482 * * [simplify]: iters left: 5 (50 enodes) 1554039954.501 * * [simplify]: iters left: 4 (92 enodes) 1554039954.537 * * [simplify]: iters left: 3 (173 enodes) 1554039954.597 * * [simplify]: iters left: 2 (302 enodes) 1554039954.710 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039954.710 * * [simplify]: Extracting #1: cost 10 inf + 0 1554039954.710 * * [simplify]: Extracting #2: cost 51 inf + 1 1554039954.711 * * [simplify]: Extracting #3: cost 103 inf + 129 1554039954.712 * * [simplify]: Extracting #4: cost 80 inf + 2291 1554039954.717 * * [simplify]: Extracting #5: cost 22 inf + 21895 1554039954.720 * * [simplify]: Extracting #6: cost 0 inf + 32338 1554039954.723 * * [simplify]: Extracting #7: cost 0 inf + 32207 1554039954.727 * [simplify]: Simplified to (+ x (* (* x x) (+ (* x 1/6) 1/2))) 1554039954.727 * [simplify]: Simplified (2) to (λ (x) (+ x (* (* x x) (+ (* x 1/6) 1/2)))) 1554039954.727 * * * * [progress]: [ 19 / 20 ] simplifiying candidate # 1554039954.727 * [simplify]: Simplifying (- (exp x) 1) 1554039954.727 * * [simplify]: iters left: 3 (4 enodes) 1554039954.729 * * [simplify]: iters left: 2 (17 enodes) 1554039954.732 * * [simplify]: iters left: 1 (21 enodes) 1554039954.735 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039954.735 * * [simplify]: Extracting #1: cost 5 inf + 0 1554039954.735 * * [simplify]: Extracting #2: cost 5 inf + 2 1554039954.735 * * [simplify]: Extracting #3: cost 4 inf + 3 1554039954.735 * * [simplify]: Extracting #4: cost 0 inf + 369 1554039954.735 * [simplify]: Simplified to (- (exp x) 1) 1554039954.735 * [simplify]: Simplified (2) to (λ (x) (- (exp x) 1)) 1554039954.735 * * * * [progress]: [ 20 / 20 ] simplifiying candidate # 1554039954.736 * [simplify]: Simplifying (- (exp x) 1) 1554039954.736 * * [simplify]: iters left: 3 (4 enodes) 1554039954.737 * * [simplify]: iters left: 2 (17 enodes) 1554039954.740 * * [simplify]: iters left: 1 (21 enodes) 1554039954.743 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039954.743 * * [simplify]: Extracting #1: cost 5 inf + 0 1554039954.744 * * [simplify]: Extracting #2: cost 5 inf + 2 1554039954.744 * * [simplify]: Extracting #3: cost 4 inf + 3 1554039954.744 * * [simplify]: Extracting #4: cost 0 inf + 369 1554039954.744 * [simplify]: Simplified to (- (exp x) 1) 1554039954.744 * [simplify]: Simplified (2) to (λ (x) (- (exp x) 1)) 1554039954.744 * * * [progress]: adding candidates to table 1554039954.915 * * [progress]: iteration 2 / 4 1554039954.915 * * * [progress]: picking best candidate 1554039954.920 * * * * [pick]: Picked # 1554039954.920 * * * [progress]: localizing error 1554039954.932 * * * [progress]: generating rewritten candidates 1554039954.932 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2 1) 1554039954.937 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 1554039954.975 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1554039954.982 * * * [progress]: generating series expansions 1554039954.982 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2 1) 1554039954.982 * [backup-simplify]: Simplify (* x 1/6) into (* 1/6 x) 1554039954.982 * [approximate]: Taking taylor expansion of (* 1/6 x) in (x) around 0 1554039954.982 * [taylor]: Taking taylor expansion of (* 1/6 x) in x 1554039954.982 * [taylor]: Taking taylor expansion of 1/6 in x 1554039954.982 * [backup-simplify]: Simplify 1/6 into 1/6 1554039954.982 * [taylor]: Taking taylor expansion of x in x 1554039954.982 * [backup-simplify]: Simplify 0 into 0 1554039954.982 * [backup-simplify]: Simplify 1 into 1 1554039954.982 * [taylor]: Taking taylor expansion of (* 1/6 x) in x 1554039954.982 * [taylor]: Taking taylor expansion of 1/6 in x 1554039954.982 * [backup-simplify]: Simplify 1/6 into 1/6 1554039954.982 * [taylor]: Taking taylor expansion of x in x 1554039954.982 * [backup-simplify]: Simplify 0 into 0 1554039954.982 * [backup-simplify]: Simplify 1 into 1 1554039954.983 * [backup-simplify]: Simplify (* 1/6 0) into 0 1554039954.983 * [backup-simplify]: Simplify 0 into 0 1554039954.983 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6 1554039954.983 * [backup-simplify]: Simplify 1/6 into 1/6 1554039954.984 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 1) (* 0 0))) into 0 1554039954.984 * [backup-simplify]: Simplify 0 into 0 1554039954.985 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1554039954.985 * [backup-simplify]: Simplify 0 into 0 1554039954.986 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1554039954.986 * [backup-simplify]: Simplify 0 into 0 1554039954.987 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1554039954.987 * [backup-simplify]: Simplify 0 into 0 1554039954.989 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1554039954.989 * [backup-simplify]: Simplify 0 into 0 1554039954.991 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1554039954.991 * [backup-simplify]: Simplify 0 into 0 1554039954.991 * [backup-simplify]: Simplify (* 1/6 x) into (* 1/6 x) 1554039954.991 * [backup-simplify]: Simplify (* (/ 1 x) 1/6) into (/ 1/6 x) 1554039954.991 * [approximate]: Taking taylor expansion of (/ 1/6 x) in (x) around 0 1554039954.991 * [taylor]: Taking taylor expansion of (/ 1/6 x) in x 1554039954.991 * [taylor]: Taking taylor expansion of 1/6 in x 1554039954.991 * [backup-simplify]: Simplify 1/6 into 1/6 1554039954.991 * [taylor]: Taking taylor expansion of x in x 1554039954.991 * [backup-simplify]: Simplify 0 into 0 1554039954.991 * [backup-simplify]: Simplify 1 into 1 1554039954.992 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 1554039954.992 * [taylor]: Taking taylor expansion of (/ 1/6 x) in x 1554039954.992 * [taylor]: Taking taylor expansion of 1/6 in x 1554039954.992 * [backup-simplify]: Simplify 1/6 into 1/6 1554039954.992 * [taylor]: Taking taylor expansion of x in x 1554039954.992 * [backup-simplify]: Simplify 0 into 0 1554039954.992 * [backup-simplify]: Simplify 1 into 1 1554039954.992 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 1554039954.992 * [backup-simplify]: Simplify 1/6 into 1/6 1554039954.993 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)))) into 0 1554039954.993 * [backup-simplify]: Simplify 0 into 0 1554039954.994 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554039954.994 * [backup-simplify]: Simplify 0 into 0 1554039954.995 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554039954.995 * [backup-simplify]: Simplify 0 into 0 1554039954.996 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554039954.996 * [backup-simplify]: Simplify 0 into 0 1554039954.997 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554039954.997 * [backup-simplify]: Simplify 0 into 0 1554039954.998 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554039954.998 * [backup-simplify]: Simplify 0 into 0 1554039954.998 * [backup-simplify]: Simplify (* 1/6 (/ 1 (/ 1 x))) into (* 1/6 x) 1554039954.999 * [backup-simplify]: Simplify (* (/ 1 (- x)) 1/6) into (/ -1/6 x) 1554039954.999 * [approximate]: Taking taylor expansion of (/ -1/6 x) in (x) around 0 1554039954.999 * [taylor]: Taking taylor expansion of (/ -1/6 x) in x 1554039954.999 * [taylor]: Taking taylor expansion of -1/6 in x 1554039954.999 * [backup-simplify]: Simplify -1/6 into -1/6 1554039954.999 * [taylor]: Taking taylor expansion of x in x 1554039954.999 * [backup-simplify]: Simplify 0 into 0 1554039954.999 * [backup-simplify]: Simplify 1 into 1 1554039954.999 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 1554039954.999 * [taylor]: Taking taylor expansion of (/ -1/6 x) in x 1554039954.999 * [taylor]: Taking taylor expansion of -1/6 in x 1554039954.999 * [backup-simplify]: Simplify -1/6 into -1/6 1554039954.999 * [taylor]: Taking taylor expansion of x in x 1554039954.999 * [backup-simplify]: Simplify 0 into 0 1554039954.999 * [backup-simplify]: Simplify 1 into 1 1554039955.000 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 1554039955.000 * [backup-simplify]: Simplify -1/6 into -1/6 1554039955.001 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)))) into 0 1554039955.001 * [backup-simplify]: Simplify 0 into 0 1554039955.001 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554039955.002 * [backup-simplify]: Simplify 0 into 0 1554039955.002 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554039955.003 * [backup-simplify]: Simplify 0 into 0 1554039955.003 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554039955.004 * [backup-simplify]: Simplify 0 into 0 1554039955.004 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554039955.005 * [backup-simplify]: Simplify 0 into 0 1554039955.006 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554039955.006 * [backup-simplify]: Simplify 0 into 0 1554039955.006 * [backup-simplify]: Simplify (* -1/6 (/ 1 (/ 1 (- x)))) into (* 1/6 x) 1554039955.006 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 1554039955.006 * [backup-simplify]: Simplify (* (* x x) (+ (* x 1/6) 1/2)) into (* (pow x 2) (+ (* 1/6 x) 1/2)) 1554039955.006 * [approximate]: Taking taylor expansion of (* (pow x 2) (+ (* 1/6 x) 1/2)) in (x) around 0 1554039955.006 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (* 1/6 x) 1/2)) in x 1554039955.006 * [taylor]: Taking taylor expansion of (pow x 2) in x 1554039955.006 * [taylor]: Taking taylor expansion of x in x 1554039955.006 * [backup-simplify]: Simplify 0 into 0 1554039955.006 * [backup-simplify]: Simplify 1 into 1 1554039955.006 * [taylor]: Taking taylor expansion of (+ (* 1/6 x) 1/2) in x 1554039955.006 * [taylor]: Taking taylor expansion of (* 1/6 x) in x 1554039955.006 * [taylor]: Taking taylor expansion of 1/6 in x 1554039955.006 * [backup-simplify]: Simplify 1/6 into 1/6 1554039955.006 * [taylor]: Taking taylor expansion of x in x 1554039955.006 * [backup-simplify]: Simplify 0 into 0 1554039955.006 * [backup-simplify]: Simplify 1 into 1 1554039955.006 * [taylor]: Taking taylor expansion of 1/2 in x 1554039955.006 * [backup-simplify]: Simplify 1/2 into 1/2 1554039955.006 * [taylor]: Taking taylor expansion of (* (pow x 2) (+ (* 1/6 x) 1/2)) in x 1554039955.006 * [taylor]: Taking taylor expansion of (pow x 2) in x 1554039955.006 * [taylor]: Taking taylor expansion of x in x 1554039955.006 * [backup-simplify]: Simplify 0 into 0 1554039955.006 * [backup-simplify]: Simplify 1 into 1 1554039955.006 * [taylor]: Taking taylor expansion of (+ (* 1/6 x) 1/2) in x 1554039955.006 * [taylor]: Taking taylor expansion of (* 1/6 x) in x 1554039955.006 * [taylor]: Taking taylor expansion of 1/6 in x 1554039955.007 * [backup-simplify]: Simplify 1/6 into 1/6 1554039955.007 * [taylor]: Taking taylor expansion of x in x 1554039955.007 * [backup-simplify]: Simplify 0 into 0 1554039955.007 * [backup-simplify]: Simplify 1 into 1 1554039955.007 * [taylor]: Taking taylor expansion of 1/2 in x 1554039955.007 * [backup-simplify]: Simplify 1/2 into 1/2 1554039955.007 * [backup-simplify]: Simplify (* 1 1) into 1 1554039955.007 * [backup-simplify]: Simplify (* 1/6 0) into 0 1554039955.008 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 1554039955.008 * [backup-simplify]: Simplify (* 1 1/2) into 1/2 1554039955.008 * [backup-simplify]: Simplify 1/2 into 1/2 1554039955.009 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6 1554039955.009 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 1554039955.010 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554039955.011 * [backup-simplify]: Simplify (+ (* 1 1/6) (* 0 1/2)) into 1/6 1554039955.011 * [backup-simplify]: Simplify 1/6 into 1/6 1554039955.012 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 1) (* 0 0))) into 0 1554039955.012 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039955.013 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554039955.014 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/6) (* 0 1/2))) into 0 1554039955.014 * [backup-simplify]: Simplify 0 into 0 1554039955.015 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1554039955.015 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039955.016 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554039955.018 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2)))) into 0 1554039955.018 * [backup-simplify]: Simplify 0 into 0 1554039955.019 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1554039955.019 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039955.020 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554039955.021 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2))))) into 0 1554039955.021 * [backup-simplify]: Simplify 0 into 0 1554039955.022 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1554039955.022 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039955.023 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554039955.024 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2)))))) into 0 1554039955.024 * [backup-simplify]: Simplify 0 into 0 1554039955.025 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1554039955.025 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039955.026 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554039955.027 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2))))))) into 0 1554039955.027 * [backup-simplify]: Simplify 0 into 0 1554039955.028 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1554039955.028 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039955.029 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554039955.031 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2)))))))) into 0 1554039955.031 * [backup-simplify]: Simplify 0 into 0 1554039955.031 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))) into (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))) 1554039955.031 * [backup-simplify]: Simplify (* (* (/ 1 x) (/ 1 x)) (+ (* (/ 1 x) 1/6) 1/2)) into (/ (+ (* 1/6 (/ 1 x)) 1/2) (pow x 2)) 1554039955.031 * [approximate]: Taking taylor expansion of (/ (+ (* 1/6 (/ 1 x)) 1/2) (pow x 2)) in (x) around 0 1554039955.031 * [taylor]: Taking taylor expansion of (/ (+ (* 1/6 (/ 1 x)) 1/2) (pow x 2)) in x 1554039955.031 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 x)) 1/2) in x 1554039955.031 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 1554039955.031 * [taylor]: Taking taylor expansion of 1/6 in x 1554039955.031 * [backup-simplify]: Simplify 1/6 into 1/6 1554039955.031 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554039955.031 * [taylor]: Taking taylor expansion of x in x 1554039955.031 * [backup-simplify]: Simplify 0 into 0 1554039955.031 * [backup-simplify]: Simplify 1 into 1 1554039955.031 * [backup-simplify]: Simplify (/ 1 1) into 1 1554039955.031 * [taylor]: Taking taylor expansion of 1/2 in x 1554039955.031 * [backup-simplify]: Simplify 1/2 into 1/2 1554039955.031 * [taylor]: Taking taylor expansion of (pow x 2) in x 1554039955.031 * [taylor]: Taking taylor expansion of x in x 1554039955.031 * [backup-simplify]: Simplify 0 into 0 1554039955.031 * [backup-simplify]: Simplify 1 into 1 1554039955.032 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1554039955.032 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 1554039955.032 * [backup-simplify]: Simplify (* 1 1) into 1 1554039955.032 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 1554039955.032 * [taylor]: Taking taylor expansion of (/ (+ (* 1/6 (/ 1 x)) 1/2) (pow x 2)) in x 1554039955.033 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 x)) 1/2) in x 1554039955.033 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 1554039955.033 * [taylor]: Taking taylor expansion of 1/6 in x 1554039955.033 * [backup-simplify]: Simplify 1/6 into 1/6 1554039955.033 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554039955.033 * [taylor]: Taking taylor expansion of x in x 1554039955.033 * [backup-simplify]: Simplify 0 into 0 1554039955.033 * [backup-simplify]: Simplify 1 into 1 1554039955.033 * [backup-simplify]: Simplify (/ 1 1) into 1 1554039955.033 * [taylor]: Taking taylor expansion of 1/2 in x 1554039955.033 * [backup-simplify]: Simplify 1/2 into 1/2 1554039955.033 * [taylor]: Taking taylor expansion of (pow x 2) in x 1554039955.033 * [taylor]: Taking taylor expansion of x in x 1554039955.033 * [backup-simplify]: Simplify 0 into 0 1554039955.033 * [backup-simplify]: Simplify 1 into 1 1554039955.033 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1554039955.033 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 1554039955.034 * [backup-simplify]: Simplify (* 1 1) into 1 1554039955.034 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6 1554039955.034 * [backup-simplify]: Simplify 1/6 into 1/6 1554039955.035 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554039955.035 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1554039955.035 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 1554039955.036 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554039955.036 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* 1/6 (/ 0 1)))) into 1/2 1554039955.036 * [backup-simplify]: Simplify 1/2 into 1/2 1554039955.037 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554039955.037 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1554039955.038 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039955.038 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554039955.039 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)))) into 0 1554039955.039 * [backup-simplify]: Simplify 0 into 0 1554039955.039 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554039955.040 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554039955.040 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039955.041 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554039955.041 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554039955.041 * [backup-simplify]: Simplify 0 into 0 1554039955.042 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554039955.043 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554039955.043 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039955.043 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554039955.044 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554039955.044 * [backup-simplify]: Simplify 0 into 0 1554039955.045 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554039955.046 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554039955.046 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039955.047 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554039955.047 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554039955.047 * [backup-simplify]: Simplify 0 into 0 1554039955.048 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554039955.049 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554039955.049 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039955.050 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554039955.050 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554039955.051 * [backup-simplify]: Simplify 0 into 0 1554039955.051 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554039955.052 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554039955.052 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039955.053 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554039955.056 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554039955.056 * [backup-simplify]: Simplify 0 into 0 1554039955.056 * [backup-simplify]: Simplify (+ (* 1/2 (pow (/ 1 (/ 1 x)) 2)) (* 1/6 (pow (/ 1 (/ 1 x)) 3))) into (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))) 1554039955.056 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) (/ 1 (- x))) (+ (* (/ 1 (- x)) 1/6) 1/2)) into (/ (- 1/2 (* 1/6 (/ 1 x))) (pow x 2)) 1554039955.056 * [approximate]: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in (x) around 0 1554039955.056 * [taylor]: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in x 1554039955.056 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/6 (/ 1 x))) in x 1554039955.056 * [taylor]: Taking taylor expansion of 1/2 in x 1554039955.057 * [backup-simplify]: Simplify 1/2 into 1/2 1554039955.057 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 1554039955.057 * [taylor]: Taking taylor expansion of 1/6 in x 1554039955.057 * [backup-simplify]: Simplify 1/6 into 1/6 1554039955.057 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554039955.057 * [taylor]: Taking taylor expansion of x in x 1554039955.057 * [backup-simplify]: Simplify 0 into 0 1554039955.057 * [backup-simplify]: Simplify 1 into 1 1554039955.057 * [backup-simplify]: Simplify (/ 1 1) into 1 1554039955.057 * [taylor]: Taking taylor expansion of (pow x 2) in x 1554039955.057 * [taylor]: Taking taylor expansion of x in x 1554039955.057 * [backup-simplify]: Simplify 0 into 0 1554039955.057 * [backup-simplify]: Simplify 1 into 1 1554039955.057 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1554039955.058 * [backup-simplify]: Simplify (- 1/6) into -1/6 1554039955.058 * [backup-simplify]: Simplify (+ 0 -1/6) into -1/6 1554039955.058 * [backup-simplify]: Simplify (* 1 1) into 1 1554039955.058 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 1554039955.058 * [taylor]: Taking taylor expansion of (/ (- 1/2 (* 1/6 (/ 1 x))) (pow x 2)) in x 1554039955.058 * [taylor]: Taking taylor expansion of (- 1/2 (* 1/6 (/ 1 x))) in x 1554039955.058 * [taylor]: Taking taylor expansion of 1/2 in x 1554039955.058 * [backup-simplify]: Simplify 1/2 into 1/2 1554039955.058 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x 1554039955.058 * [taylor]: Taking taylor expansion of 1/6 in x 1554039955.058 * [backup-simplify]: Simplify 1/6 into 1/6 1554039955.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554039955.059 * [taylor]: Taking taylor expansion of x in x 1554039955.059 * [backup-simplify]: Simplify 0 into 0 1554039955.059 * [backup-simplify]: Simplify 1 into 1 1554039955.059 * [backup-simplify]: Simplify (/ 1 1) into 1 1554039955.059 * [taylor]: Taking taylor expansion of (pow x 2) in x 1554039955.059 * [taylor]: Taking taylor expansion of x in x 1554039955.059 * [backup-simplify]: Simplify 0 into 0 1554039955.059 * [backup-simplify]: Simplify 1 into 1 1554039955.059 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1554039955.059 * [backup-simplify]: Simplify (- 1/6) into -1/6 1554039955.060 * [backup-simplify]: Simplify (+ 0 -1/6) into -1/6 1554039955.060 * [backup-simplify]: Simplify (* 1 1) into 1 1554039955.060 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6 1554039955.060 * [backup-simplify]: Simplify -1/6 into -1/6 1554039955.061 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554039955.061 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1554039955.061 * [backup-simplify]: Simplify (- 0) into 0 1554039955.062 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1554039955.062 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554039955.063 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* -1/6 (/ 0 1)))) into 1/2 1554039955.063 * [backup-simplify]: Simplify 1/2 into 1/2 1554039955.063 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554039955.064 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1554039955.064 * [backup-simplify]: Simplify (- 0) into 0 1554039955.064 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039955.065 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554039955.066 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)))) into 0 1554039955.066 * [backup-simplify]: Simplify 0 into 0 1554039955.067 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554039955.068 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554039955.069 * [backup-simplify]: Simplify (- 0) into 0 1554039955.069 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039955.070 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1554039955.071 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554039955.071 * [backup-simplify]: Simplify 0 into 0 1554039955.072 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554039955.074 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554039955.074 * [backup-simplify]: Simplify (- 0) into 0 1554039955.075 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039955.076 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1554039955.077 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554039955.077 * [backup-simplify]: Simplify 0 into 0 1554039955.078 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554039955.080 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554039955.080 * [backup-simplify]: Simplify (- 0) into 0 1554039955.081 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039955.082 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1554039955.083 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554039955.083 * [backup-simplify]: Simplify 0 into 0 1554039955.084 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554039955.086 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554039955.086 * [backup-simplify]: Simplify (- 0) into 0 1554039955.087 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039955.088 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1554039955.089 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554039955.089 * [backup-simplify]: Simplify 0 into 0 1554039955.090 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554039955.091 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554039955.091 * [backup-simplify]: Simplify (- 0) into 0 1554039955.091 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039955.092 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1554039955.093 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554039955.093 * [backup-simplify]: Simplify 0 into 0 1554039955.093 * [backup-simplify]: Simplify (+ (* 1/2 (pow (/ 1 (/ 1 (- x))) 2)) (* -1/6 (pow (/ 1 (/ 1 (- x))) 3))) into (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))) 1554039955.093 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1554039955.093 * [backup-simplify]: Simplify (+ x (* (* x x) (+ (* x 1/6) 1/2))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1554039955.093 * [approximate]: Taking taylor expansion of (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) in (x) around 0 1554039955.094 * [taylor]: Taking taylor expansion of (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) in x 1554039955.094 * [taylor]: Taking taylor expansion of x in x 1554039955.094 * [backup-simplify]: Simplify 0 into 0 1554039955.094 * [backup-simplify]: Simplify 1 into 1 1554039955.094 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))) in x 1554039955.094 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 1554039955.094 * [taylor]: Taking taylor expansion of 1/6 in x 1554039955.094 * [backup-simplify]: Simplify 1/6 into 1/6 1554039955.094 * [taylor]: Taking taylor expansion of (pow x 3) in x 1554039955.094 * [taylor]: Taking taylor expansion of x in x 1554039955.094 * [backup-simplify]: Simplify 0 into 0 1554039955.094 * [backup-simplify]: Simplify 1 into 1 1554039955.094 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 1554039955.094 * [taylor]: Taking taylor expansion of 1/2 in x 1554039955.094 * [backup-simplify]: Simplify 1/2 into 1/2 1554039955.094 * [taylor]: Taking taylor expansion of (pow x 2) in x 1554039955.094 * [taylor]: Taking taylor expansion of x in x 1554039955.094 * [backup-simplify]: Simplify 0 into 0 1554039955.094 * [backup-simplify]: Simplify 1 into 1 1554039955.094 * [taylor]: Taking taylor expansion of (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) in x 1554039955.094 * [taylor]: Taking taylor expansion of x in x 1554039955.094 * [backup-simplify]: Simplify 0 into 0 1554039955.094 * [backup-simplify]: Simplify 1 into 1 1554039955.094 * [taylor]: Taking taylor expansion of (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))) in x 1554039955.094 * [taylor]: Taking taylor expansion of (* 1/6 (pow x 3)) in x 1554039955.094 * [taylor]: Taking taylor expansion of 1/6 in x 1554039955.094 * [backup-simplify]: Simplify 1/6 into 1/6 1554039955.094 * [taylor]: Taking taylor expansion of (pow x 3) in x 1554039955.094 * [taylor]: Taking taylor expansion of x in x 1554039955.094 * [backup-simplify]: Simplify 0 into 0 1554039955.094 * [backup-simplify]: Simplify 1 into 1 1554039955.094 * [taylor]: Taking taylor expansion of (* 1/2 (pow x 2)) in x 1554039955.094 * [taylor]: Taking taylor expansion of 1/2 in x 1554039955.094 * [backup-simplify]: Simplify 1/2 into 1/2 1554039955.094 * [taylor]: Taking taylor expansion of (pow x 2) in x 1554039955.094 * [taylor]: Taking taylor expansion of x in x 1554039955.094 * [backup-simplify]: Simplify 0 into 0 1554039955.094 * [backup-simplify]: Simplify 1 into 1 1554039955.094 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039955.094 * [backup-simplify]: Simplify 0 into 0 1554039955.095 * [backup-simplify]: Simplify (+ 1 0) into 1 1554039955.095 * [backup-simplify]: Simplify 1 into 1 1554039955.095 * [backup-simplify]: Simplify (* 1 1) into 1 1554039955.095 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1554039955.095 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 1554039955.096 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 1554039955.096 * [backup-simplify]: Simplify 1/2 into 1/2 1554039955.096 * [backup-simplify]: Simplify (* 1 1) into 1 1554039955.096 * [backup-simplify]: Simplify (* 1 1) into 1 1554039955.096 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1554039955.097 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554039955.097 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1554039955.098 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 1554039955.098 * [backup-simplify]: Simplify (+ 0 1/6) into 1/6 1554039955.098 * [backup-simplify]: Simplify 1/6 into 1/6 1554039955.098 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1554039955.098 * [backup-simplify]: Simplify (+ (/ 1 x) (* (* (/ 1 x) (/ 1 x)) (+ (* (/ 1 x) 1/6) 1/2))) into (+ (* 1/6 (/ 1 (pow x 3))) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x))) 1554039955.098 * [approximate]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 3))) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x))) in (x) around 0 1554039955.098 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 3))) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x))) in x 1554039955.098 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x 1554039955.098 * [taylor]: Taking taylor expansion of 1/6 in x 1554039955.098 * [backup-simplify]: Simplify 1/6 into 1/6 1554039955.098 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1554039955.098 * [taylor]: Taking taylor expansion of (pow x 3) in x 1554039955.098 * [taylor]: Taking taylor expansion of x in x 1554039955.098 * [backup-simplify]: Simplify 0 into 0 1554039955.098 * [backup-simplify]: Simplify 1 into 1 1554039955.099 * [backup-simplify]: Simplify (* 1 1) into 1 1554039955.099 * [backup-simplify]: Simplify (* 1 1) into 1 1554039955.099 * [backup-simplify]: Simplify (/ 1 1) into 1 1554039955.099 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x)) in x 1554039955.099 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x 1554039955.099 * [taylor]: Taking taylor expansion of 1/2 in x 1554039955.099 * [backup-simplify]: Simplify 1/2 into 1/2 1554039955.099 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554039955.099 * [taylor]: Taking taylor expansion of (pow x 2) in x 1554039955.099 * [taylor]: Taking taylor expansion of x in x 1554039955.099 * [backup-simplify]: Simplify 0 into 0 1554039955.099 * [backup-simplify]: Simplify 1 into 1 1554039955.099 * [backup-simplify]: Simplify (* 1 1) into 1 1554039955.100 * [backup-simplify]: Simplify (/ 1 1) into 1 1554039955.100 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554039955.100 * [taylor]: Taking taylor expansion of x in x 1554039955.100 * [backup-simplify]: Simplify 0 into 0 1554039955.100 * [backup-simplify]: Simplify 1 into 1 1554039955.100 * [backup-simplify]: Simplify (/ 1 1) into 1 1554039955.100 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 3))) (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x))) in x 1554039955.100 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x 1554039955.100 * [taylor]: Taking taylor expansion of 1/6 in x 1554039955.100 * [backup-simplify]: Simplify 1/6 into 1/6 1554039955.100 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1554039955.100 * [taylor]: Taking taylor expansion of (pow x 3) in x 1554039955.100 * [taylor]: Taking taylor expansion of x in x 1554039955.100 * [backup-simplify]: Simplify 0 into 0 1554039955.100 * [backup-simplify]: Simplify 1 into 1 1554039955.100 * [backup-simplify]: Simplify (* 1 1) into 1 1554039955.101 * [backup-simplify]: Simplify (* 1 1) into 1 1554039955.101 * [backup-simplify]: Simplify (/ 1 1) into 1 1554039955.101 * [taylor]: Taking taylor expansion of (+ (* 1/2 (/ 1 (pow x 2))) (/ 1 x)) in x 1554039955.101 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x 1554039955.101 * [taylor]: Taking taylor expansion of 1/2 in x 1554039955.101 * [backup-simplify]: Simplify 1/2 into 1/2 1554039955.101 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554039955.101 * [taylor]: Taking taylor expansion of (pow x 2) in x 1554039955.101 * [taylor]: Taking taylor expansion of x in x 1554039955.101 * [backup-simplify]: Simplify 0 into 0 1554039955.101 * [backup-simplify]: Simplify 1 into 1 1554039955.101 * [backup-simplify]: Simplify (* 1 1) into 1 1554039955.101 * [backup-simplify]: Simplify (/ 1 1) into 1 1554039955.102 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554039955.102 * [taylor]: Taking taylor expansion of x in x 1554039955.102 * [backup-simplify]: Simplify 0 into 0 1554039955.102 * [backup-simplify]: Simplify 1 into 1 1554039955.102 * [backup-simplify]: Simplify (/ 1 1) into 1 1554039955.102 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1554039955.102 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 1554039955.102 * [backup-simplify]: Simplify 1/6 into 1/6 1554039955.103 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554039955.103 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554039955.104 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554039955.104 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1554039955.104 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1554039955.105 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1554039955.105 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 1554039955.105 * [backup-simplify]: Simplify 1/2 into 1/2 1554039955.105 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554039955.106 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554039955.106 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554039955.107 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1554039955.108 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554039955.108 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554039955.108 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1554039955.109 * [backup-simplify]: Simplify (+ 0 1) into 1 1554039955.109 * [backup-simplify]: Simplify (+ 0 1) into 1 1554039955.109 * [backup-simplify]: Simplify 1 into 1 1554039955.109 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (/ 1 x))) (+ (* 1/2 (pow (/ 1 (/ 1 x)) 2)) (* 1/6 (pow (/ 1 (/ 1 x)) 3)))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1554039955.109 * [backup-simplify]: Simplify (+ (/ 1 (- x)) (* (* (/ 1 (- x)) (/ 1 (- x))) (+ (* (/ 1 (- x)) 1/6) 1/2))) into (- (* 1/2 (/ 1 (pow x 2))) (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x))) 1554039955.109 * [approximate]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow x 2))) (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x))) in (x) around 0 1554039955.109 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow x 2))) (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x))) in x 1554039955.109 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x 1554039955.109 * [taylor]: Taking taylor expansion of 1/2 in x 1554039955.109 * [backup-simplify]: Simplify 1/2 into 1/2 1554039955.110 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554039955.110 * [taylor]: Taking taylor expansion of (pow x 2) in x 1554039955.110 * [taylor]: Taking taylor expansion of x in x 1554039955.110 * [backup-simplify]: Simplify 0 into 0 1554039955.110 * [backup-simplify]: Simplify 1 into 1 1554039955.110 * [backup-simplify]: Simplify (* 1 1) into 1 1554039955.110 * [backup-simplify]: Simplify (/ 1 1) into 1 1554039955.110 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x)) in x 1554039955.110 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x 1554039955.110 * [taylor]: Taking taylor expansion of 1/6 in x 1554039955.110 * [backup-simplify]: Simplify 1/6 into 1/6 1554039955.110 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1554039955.110 * [taylor]: Taking taylor expansion of (pow x 3) in x 1554039955.110 * [taylor]: Taking taylor expansion of x in x 1554039955.110 * [backup-simplify]: Simplify 0 into 0 1554039955.110 * [backup-simplify]: Simplify 1 into 1 1554039955.110 * [backup-simplify]: Simplify (* 1 1) into 1 1554039955.111 * [backup-simplify]: Simplify (* 1 1) into 1 1554039955.111 * [backup-simplify]: Simplify (/ 1 1) into 1 1554039955.111 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554039955.111 * [taylor]: Taking taylor expansion of x in x 1554039955.111 * [backup-simplify]: Simplify 0 into 0 1554039955.111 * [backup-simplify]: Simplify 1 into 1 1554039955.111 * [backup-simplify]: Simplify (/ 1 1) into 1 1554039955.111 * [taylor]: Taking taylor expansion of (- (* 1/2 (/ 1 (pow x 2))) (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x))) in x 1554039955.111 * [taylor]: Taking taylor expansion of (* 1/2 (/ 1 (pow x 2))) in x 1554039955.111 * [taylor]: Taking taylor expansion of 1/2 in x 1554039955.111 * [backup-simplify]: Simplify 1/2 into 1/2 1554039955.111 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1554039955.111 * [taylor]: Taking taylor expansion of (pow x 2) in x 1554039955.111 * [taylor]: Taking taylor expansion of x in x 1554039955.111 * [backup-simplify]: Simplify 0 into 0 1554039955.111 * [backup-simplify]: Simplify 1 into 1 1554039955.112 * [backup-simplify]: Simplify (* 1 1) into 1 1554039955.112 * [backup-simplify]: Simplify (/ 1 1) into 1 1554039955.112 * [taylor]: Taking taylor expansion of (+ (* 1/6 (/ 1 (pow x 3))) (/ 1 x)) in x 1554039955.112 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 (pow x 3))) in x 1554039955.112 * [taylor]: Taking taylor expansion of 1/6 in x 1554039955.112 * [backup-simplify]: Simplify 1/6 into 1/6 1554039955.112 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 1554039955.112 * [taylor]: Taking taylor expansion of (pow x 3) in x 1554039955.112 * [taylor]: Taking taylor expansion of x in x 1554039955.112 * [backup-simplify]: Simplify 0 into 0 1554039955.112 * [backup-simplify]: Simplify 1 into 1 1554039955.112 * [backup-simplify]: Simplify (* 1 1) into 1 1554039955.112 * [backup-simplify]: Simplify (* 1 1) into 1 1554039955.113 * [backup-simplify]: Simplify (/ 1 1) into 1 1554039955.113 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554039955.113 * [taylor]: Taking taylor expansion of x in x 1554039955.113 * [backup-simplify]: Simplify 0 into 0 1554039955.113 * [backup-simplify]: Simplify 1 into 1 1554039955.113 * [backup-simplify]: Simplify (/ 1 1) into 1 1554039955.113 * [backup-simplify]: Simplify (* 1/6 1) into 1/6 1554039955.114 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 1554039955.114 * [backup-simplify]: Simplify (- 1/6) into -1/6 1554039955.114 * [backup-simplify]: Simplify (+ 0 -1/6) into -1/6 1554039955.114 * [backup-simplify]: Simplify -1/6 into -1/6 1554039955.114 * [backup-simplify]: Simplify (* 1/2 1) into 1/2 1554039955.115 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554039955.115 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554039955.116 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554039955.116 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0 1554039955.116 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039955.116 * [backup-simplify]: Simplify (- 0) into 0 1554039955.117 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1554039955.117 * [backup-simplify]: Simplify 1/2 into 1/2 1554039955.117 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 1554039955.118 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554039955.119 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 1)) into 0 1554039955.120 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554039955.121 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1554039955.122 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554039955.122 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0 1554039955.123 * [backup-simplify]: Simplify (+ 0 1) into 1 1554039955.123 * [backup-simplify]: Simplify (- 1) into -1 1554039955.124 * [backup-simplify]: Simplify (+ 0 -1) into -1 1554039955.124 * [backup-simplify]: Simplify -1 into -1 1554039955.124 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (/ 1 (- x)))) (+ (* 1/2 (pow (/ 1 (/ 1 (- x))) 2)) (* -1/6 (pow (/ 1 (/ 1 (- x))) 3)))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1554039955.124 * * * [progress]: simplifying candidates 1554039955.124 * * * * [progress]: [ 1 / 66 ] simplifiying candidate # 1554039955.125 * [simplify]: Simplifying (* x 1/6) 1554039955.125 * * [simplify]: iters left: 2 (3 enodes) 1554039955.127 * * [simplify]: iters left: 1 (10 enodes) 1554039955.130 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039955.130 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039955.130 * * [simplify]: Extracting #2: cost 2 inf + 2 1554039955.130 * * [simplify]: Extracting #3: cost 0 inf + 86 1554039955.130 * [simplify]: Simplified to (* x 1/6) 1554039955.130 * [simplify]: Simplified (2 2 2 1 1) to (λ (x) (+ x (* (* x x) (+ (pow (* x 1/6) 1) 1/2)))) 1554039955.130 * * * * [progress]: [ 2 / 66 ] simplifiying candidate # 1554039955.130 * * * * [progress]: [ 3 / 66 ] simplifiying candidate # 1554039955.131 * [simplify]: Simplifying (+ (log x) (log 1/6)) 1554039955.131 * * [simplify]: iters left: 3 (5 enodes) 1554039955.133 * * [simplify]: iters left: 2 (16 enodes) 1554039955.138 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039955.138 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039955.138 * * [simplify]: Extracting #2: cost 8 inf + 0 1554039955.139 * * [simplify]: Extracting #3: cost 4 inf + 144 1554039955.139 * * [simplify]: Extracting #4: cost 0 inf + 650 1554039955.139 * [simplify]: Simplified to (+ (log x) (log 1/6)) 1554039955.139 * [simplify]: Simplified (2 2 2 1 1) to (λ (x) (+ x (* (* x x) (+ (exp (+ (log x) (log 1/6))) 1/2)))) 1554039955.139 * * * * [progress]: [ 4 / 66 ] simplifiying candidate # 1554039955.139 * * * * [progress]: [ 5 / 66 ] simplifiying candidate # 1554039955.139 * * * * [progress]: [ 6 / 66 ] simplifiying candidate # 1554039955.139 * [simplify]: Simplifying (* (* (* x x) x) (* (* 1/6 1/6) 1/6)) 1554039955.140 * * [simplify]: iters left: 6 (7 enodes) 1554039955.145 * * [simplify]: iters left: 5 (30 enodes) 1554039955.155 * * [simplify]: iters left: 4 (55 enodes) 1554039955.168 * * [simplify]: iters left: 3 (96 enodes) 1554039955.185 * * [simplify]: iters left: 2 (141 enodes) 1554039955.214 * * [simplify]: iters left: 1 (219 enodes) 1554039955.259 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039955.259 * * [simplify]: Extracting #1: cost 29 inf + 0 1554039955.259 * * [simplify]: Extracting #2: cost 62 inf + 209 1554039955.260 * * [simplify]: Extracting #3: cost 38 inf + 2667 1554039955.261 * * [simplify]: Extracting #4: cost 14 inf + 9234 1554039955.263 * * [simplify]: Extracting #5: cost 0 inf + 15327 1554039955.264 * [simplify]: Simplified to (* 1/216 (* x (* x x))) 1554039955.264 * [simplify]: Simplified (2 2 2 1 1) to (λ (x) (+ x (* (* x x) (+ (cbrt (* 1/216 (* x (* x x)))) 1/2)))) 1554039955.264 * * * * [progress]: [ 7 / 66 ] simplifiying candidate # 1554039955.264 * * * * [progress]: [ 8 / 66 ] simplifiying candidate # 1554039955.265 * * * * [progress]: [ 9 / 66 ] simplifiying candidate # 1554039955.265 * * * * [progress]: [ 10 / 66 ] simplifiying candidate # 1554039955.265 * * * * [progress]: [ 11 / 66 ] simplifiying candidate # 1554039955.265 * [simplify]: Simplifying (* (sqrt x) (sqrt 1/6)) 1554039955.265 * * [simplify]: iters left: 3 (5 enodes) 1554039955.267 * * [simplify]: iters left: 2 (16 enodes) 1554039955.270 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039955.270 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039955.270 * * [simplify]: Extracting #2: cost 8 inf + 0 1554039955.270 * * [simplify]: Extracting #3: cost 4 inf + 84 1554039955.270 * * [simplify]: Extracting #4: cost 0 inf + 410 1554039955.270 * [simplify]: Simplified to (* (sqrt 1/6) (sqrt x)) 1554039955.270 * [simplify]: Simplified (2 2 2 1 1) to (λ (x) (+ x (* (* x x) (+ (* (* (sqrt 1/6) (sqrt x)) (* (sqrt x) (sqrt 1/6))) 1/2)))) 1554039955.270 * [simplify]: Simplifying (* (sqrt x) (sqrt 1/6)) 1554039955.271 * * [simplify]: iters left: 3 (5 enodes) 1554039955.273 * * [simplify]: iters left: 2 (16 enodes) 1554039955.279 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039955.279 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039955.279 * * [simplify]: Extracting #2: cost 8 inf + 0 1554039955.279 * * [simplify]: Extracting #3: cost 4 inf + 84 1554039955.279 * * [simplify]: Extracting #4: cost 0 inf + 410 1554039955.279 * [simplify]: Simplified to (* (sqrt 1/6) (sqrt x)) 1554039955.279 * [simplify]: Simplified (2 2 2 1 2) to (λ (x) (+ x (* (* x x) (+ (* (* (sqrt x) (sqrt 1/6)) (* (sqrt 1/6) (sqrt x))) 1/2)))) 1554039955.279 * * * * [progress]: [ 12 / 66 ] simplifiying candidate # 1554039955.280 * [simplify]: Simplifying (cbrt 1/6) 1554039955.280 * * [simplify]: iters left: 1 (2 enodes) 1554039955.281 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039955.282 * * [simplify]: Extracting #1: cost 3 inf + 0 1554039955.282 * * [simplify]: Extracting #2: cost 2 inf + 1 1554039955.282 * * [simplify]: Extracting #3: cost 0 inf + 163 1554039955.282 * [simplify]: Simplified to (cbrt 1/6) 1554039955.282 * [simplify]: Simplified (2 2 2 1 2) to (λ (x) (+ x (* (* x x) (+ (* (* x (* (cbrt 1/6) (cbrt 1/6))) (cbrt 1/6)) 1/2)))) 1554039955.282 * * * * [progress]: [ 13 / 66 ] simplifiying candidate # 1554039955.282 * [simplify]: Simplifying (sqrt 1/6) 1554039955.282 * * [simplify]: iters left: 1 (2 enodes) 1554039955.284 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039955.284 * * [simplify]: Extracting #1: cost 3 inf + 0 1554039955.284 * * [simplify]: Extracting #2: cost 2 inf + 1 1554039955.284 * * [simplify]: Extracting #3: cost 0 inf + 83 1554039955.284 * [simplify]: Simplified to (sqrt 1/6) 1554039955.284 * [simplify]: Simplified (2 2 2 1 2) to (λ (x) (+ x (* (* x x) (+ (* (* x (sqrt 1/6)) (sqrt 1/6)) 1/2)))) 1554039955.284 * * * * [progress]: [ 14 / 66 ] simplifiying candidate # 1554039955.284 * * * * [progress]: [ 15 / 66 ] simplifiying candidate # 1554039955.285 * [simplify]: Simplifying (* (cbrt x) (cbrt x)) 1554039955.285 * * [simplify]: iters left: 3 (3 enodes) 1554039955.286 * * [simplify]: iters left: 2 (9 enodes) 1554039955.288 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039955.289 * * [simplify]: Extracting #1: cost 3 inf + 0 1554039955.289 * * [simplify]: Extracting #2: cost 5 inf + 0 1554039955.289 * * [simplify]: Extracting #3: cost 4 inf + 1 1554039955.289 * * [simplify]: Extracting #4: cost 0 inf + 405 1554039955.289 * [simplify]: Simplified to (* (cbrt x) (cbrt x)) 1554039955.289 * [simplify]: Simplified (2 2 2 1 1) to (λ (x) (+ x (* (* x x) (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) 1/6)) 1/2)))) 1554039955.289 * * * * [progress]: [ 16 / 66 ] simplifiying candidate # 1554039955.289 * [simplify]: Simplifying (sqrt x) 1554039955.289 * * [simplify]: iters left: 1 (2 enodes) 1554039955.290 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039955.290 * * [simplify]: Extracting #1: cost 3 inf + 0 1554039955.290 * * [simplify]: Extracting #2: cost 2 inf + 1 1554039955.290 * * [simplify]: Extracting #3: cost 0 inf + 83 1554039955.290 * [simplify]: Simplified to (sqrt x) 1554039955.290 * [simplify]: Simplified (2 2 2 1 1) to (λ (x) (+ x (* (* x x) (+ (* (sqrt x) (* (sqrt x) 1/6)) 1/2)))) 1554039955.291 * * * * [progress]: [ 17 / 66 ] simplifiying candidate # 1554039955.291 * * * * [progress]: [ 18 / 66 ] simplifiying candidate #real (real->posit16 (* x 1/6))) 1/2))))> 1554039955.291 * * * * [progress]: [ 19 / 66 ] simplifiying candidate # 1554039955.291 * * * * [progress]: [ 20 / 66 ] simplifiying candidate # 1554039955.291 * [simplify]: Simplifying (* (* x x) (+ (* x 1/6) 1/2)) 1554039955.291 * * [simplify]: iters left: 6 (7 enodes) 1554039955.294 * * [simplify]: iters left: 5 (32 enodes) 1554039955.301 * * [simplify]: iters left: 4 (66 enodes) 1554039955.312 * * [simplify]: iters left: 3 (92 enodes) 1554039955.324 * * [simplify]: iters left: 2 (103 enodes) 1554039955.340 * * [simplify]: iters left: 1 (117 enodes) 1554039955.359 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039955.359 * * [simplify]: Extracting #1: cost 8 inf + 0 1554039955.359 * * [simplify]: Extracting #2: cost 18 inf + 1 1554039955.360 * * [simplify]: Extracting #3: cost 16 inf + 702 1554039955.360 * * [simplify]: Extracting #4: cost 10 inf + 1726 1554039955.362 * * [simplify]: Extracting #5: cost 9 inf + 1728 1554039955.363 * * [simplify]: Extracting #6: cost 2 inf + 3252 1554039955.364 * * [simplify]: Extracting #7: cost 0 inf + 3967 1554039955.365 * [simplify]: Simplified to (* (* (+ (* x 1/6) 1/2) x) x) 1554039955.365 * [simplify]: Simplified (2 2 1) to (λ (x) (+ x (pow (* (* (+ (* x 1/6) 1/2) x) x) 1))) 1554039955.365 * * * * [progress]: [ 21 / 66 ] simplifiying candidate # 1554039955.366 * [simplify]: Simplifying (* (* x x) (+ (* x 1/6) 1/2)) 1554039955.366 * * [simplify]: iters left: 6 (7 enodes) 1554039955.370 * * [simplify]: iters left: 5 (32 enodes) 1554039955.382 * * [simplify]: iters left: 4 (66 enodes) 1554039955.405 * * [simplify]: iters left: 3 (92 enodes) 1554039955.423 * * [simplify]: iters left: 2 (103 enodes) 1554039955.436 * * [simplify]: iters left: 1 (117 enodes) 1554039955.452 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039955.453 * * [simplify]: Extracting #1: cost 8 inf + 0 1554039955.453 * * [simplify]: Extracting #2: cost 18 inf + 1 1554039955.453 * * [simplify]: Extracting #3: cost 16 inf + 702 1554039955.454 * * [simplify]: Extracting #4: cost 10 inf + 1726 1554039955.455 * * [simplify]: Extracting #5: cost 9 inf + 1728 1554039955.456 * * [simplify]: Extracting #6: cost 2 inf + 3252 1554039955.457 * * [simplify]: Extracting #7: cost 0 inf + 3967 1554039955.458 * [simplify]: Simplified to (* (* (+ (* x 1/6) 1/2) x) x) 1554039955.459 * [simplify]: Simplified (2 2 1) to (λ (x) (+ x (pow (* (* (+ (* x 1/6) 1/2) x) x) 1))) 1554039955.459 * * * * [progress]: [ 22 / 66 ] simplifiying candidate # 1554039955.459 * * * * [progress]: [ 23 / 66 ] simplifiying candidate # 1554039955.459 * [simplify]: Simplifying (+ (+ (log x) (log x)) (log (+ (* x 1/6) 1/2))) 1554039955.459 * * [simplify]: iters left: 6 (9 enodes) 1554039955.464 * * [simplify]: iters left: 5 (32 enodes) 1554039955.474 * * [simplify]: iters left: 4 (36 enodes) 1554039955.484 * * [simplify]: iters left: 3 (37 enodes) 1554039955.494 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039955.494 * * [simplify]: Extracting #1: cost 6 inf + 0 1554039955.494 * * [simplify]: Extracting #2: cost 12 inf + 0 1554039955.495 * * [simplify]: Extracting #3: cost 14 inf + 1 1554039955.495 * * [simplify]: Extracting #4: cost 13 inf + 144 1554039955.495 * * [simplify]: Extracting #5: cost 10 inf + 367 1554039955.495 * * [simplify]: Extracting #6: cost 5 inf + 991 1554039955.496 * * [simplify]: Extracting #7: cost 0 inf + 2055 1554039955.496 * [simplify]: Simplified to (+ (+ (log (+ 1/2 (* 1/6 x))) (log x)) (log x)) 1554039955.497 * [simplify]: Simplified (2 2 1) to (λ (x) (+ x (exp (+ (+ (log (+ 1/2 (* 1/6 x))) (log x)) (log x))))) 1554039955.497 * * * * [progress]: [ 24 / 66 ] simplifiying candidate # 1554039955.497 * [simplify]: Simplifying (+ (log (* x x)) (log (+ (* x 1/6) 1/2))) 1554039955.497 * * [simplify]: iters left: 6 (9 enodes) 1554039955.502 * * [simplify]: iters left: 5 (32 enodes) 1554039955.511 * * [simplify]: iters left: 4 (38 enodes) 1554039955.516 * * [simplify]: iters left: 3 (43 enodes) 1554039955.522 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039955.522 * * [simplify]: Extracting #1: cost 6 inf + 0 1554039955.522 * * [simplify]: Extracting #2: cost 13 inf + 0 1554039955.522 * * [simplify]: Extracting #3: cost 16 inf + 1 1554039955.523 * * [simplify]: Extracting #4: cost 14 inf + 155 1554039955.523 * * [simplify]: Extracting #5: cost 10 inf + 449 1554039955.523 * * [simplify]: Extracting #6: cost 9 inf + 491 1554039955.523 * * [simplify]: Extracting #7: cost 5 inf + 852 1554039955.523 * * [simplify]: Extracting #8: cost 0 inf + 2137 1554039955.524 * [simplify]: Simplified to (+ (+ (log x) (log (+ 1/2 (* 1/6 x)))) (log x)) 1554039955.524 * [simplify]: Simplified (2 2 1) to (λ (x) (+ x (exp (+ (+ (log x) (log (+ 1/2 (* 1/6 x)))) (log x))))) 1554039955.524 * * * * [progress]: [ 25 / 66 ] simplifiying candidate # 1554039955.524 * * * * [progress]: [ 26 / 66 ] simplifiying candidate # 1554039955.524 * * * * [progress]: [ 27 / 66 ] simplifiying candidate # 1554039955.524 * [simplify]: Simplifying (* (* (* (* x x) x) (* (* x x) x)) (* (* (+ (* x 1/6) 1/2) (+ (* x 1/6) 1/2)) (+ (* x 1/6) 1/2))) 1554039955.524 * * [simplify]: iters left: 6 (11 enodes) 1554039955.528 * * [simplify]: iters left: 5 (60 enodes) 1554039955.557 * * [simplify]: iters left: 4 (242 enodes) 1554039955.727 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039955.728 * * [simplify]: Extracting #1: cost 34 inf + 0 1554039955.728 * * [simplify]: Extracting #2: cost 210 inf + 42 1554039955.730 * * [simplify]: Extracting #3: cost 280 inf + 8329 1554039955.742 * * [simplify]: Extracting #4: cost 27 inf + 63119 1554039955.772 * * [simplify]: Extracting #5: cost 0 inf + 68242 1554039955.805 * * [simplify]: Extracting #6: cost 0 inf + 68124 1554039955.824 * [simplify]: Simplified to (* (+ (* 1/6 x) 1/2) (* (* (+ (* 1/6 x) 1/2) (* x (* x x))) (* (+ (* 1/6 x) 1/2) (* x (* x x))))) 1554039955.824 * [simplify]: Simplified (2 2 1) to (λ (x) (+ x (cbrt (* (+ (* 1/6 x) 1/2) (* (* (+ (* 1/6 x) 1/2) (* x (* x x))) (* (+ (* 1/6 x) 1/2) (* x (* x x)))))))) 1554039955.824 * * * * [progress]: [ 28 / 66 ] simplifiying candidate # 1554039955.824 * [simplify]: Simplifying (* (* (* (* x x) (* x x)) (* x x)) (* (* (+ (* x 1/6) 1/2) (+ (* x 1/6) 1/2)) (+ (* x 1/6) 1/2))) 1554039955.824 * * [simplify]: iters left: 6 (11 enodes) 1554039955.828 * * [simplify]: iters left: 5 (61 enodes) 1554039955.847 * * [simplify]: iters left: 4 (245 enodes) 1554039955.984 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039955.984 * * [simplify]: Extracting #1: cost 39 inf + 0 1554039955.985 * * [simplify]: Extracting #2: cost 232 inf + 42 1554039955.987 * * [simplify]: Extracting #3: cost 294 inf + 9577 1554039956.000 * * [simplify]: Extracting #4: cost 21 inf + 68025 1554039956.034 * * [simplify]: Extracting #5: cost 0 inf + 72168 1554039956.069 * * [simplify]: Extracting #6: cost 0 inf + 71091 1554039956.099 * * [simplify]: Extracting #7: cost 0 inf + 70973 1554039956.127 * [simplify]: Simplified to (* (* (* x x) (+ (* 1/6 x) 1/2)) (* (* (* x x) (+ (* 1/6 x) 1/2)) (* (* x x) (+ (* 1/6 x) 1/2)))) 1554039956.127 * [simplify]: Simplified (2 2 1) to (λ (x) (+ x (cbrt (* (* (* x x) (+ (* 1/6 x) 1/2)) (* (* (* x x) (+ (* 1/6 x) 1/2)) (* (* x x) (+ (* 1/6 x) 1/2))))))) 1554039956.127 * * * * [progress]: [ 29 / 66 ] simplifiying candidate # 1554039956.127 * * * * [progress]: [ 30 / 66 ] simplifiying candidate # 1554039956.127 * * * * [progress]: [ 31 / 66 ] simplifiying candidate # 1554039956.127 * * * * [progress]: [ 32 / 66 ] simplifiying candidate # 1554039956.127 * * * * [progress]: [ 33 / 66 ] simplifiying candidate # 1554039956.127 * [simplify]: Simplifying (* x (sqrt (+ (* x 1/6) 1/2))) 1554039956.127 * * [simplify]: iters left: 6 (7 enodes) 1554039956.130 * * [simplify]: iters left: 5 (24 enodes) 1554039956.133 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039956.133 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039956.133 * * [simplify]: Extracting #2: cost 5 inf + 1 1554039956.133 * * [simplify]: Extracting #3: cost 8 inf + 1 1554039956.133 * * [simplify]: Extracting #4: cost 9 inf + 2 1554039956.134 * * [simplify]: Extracting #5: cost 8 inf + 3 1554039956.134 * * [simplify]: Extracting #6: cost 1 inf + 662 1554039956.134 * * [simplify]: Extracting #7: cost 0 inf + 825 1554039956.134 * [simplify]: Simplified to (* (sqrt (+ 1/2 (* x 1/6))) x) 1554039956.134 * [simplify]: Simplified (2 2 1) to (λ (x) (+ x (* (* (sqrt (+ 1/2 (* x 1/6))) x) (* x (sqrt (+ (* x 1/6) 1/2)))))) 1554039956.134 * [simplify]: Simplifying (* x (sqrt (+ (* x 1/6) 1/2))) 1554039956.134 * * [simplify]: iters left: 6 (7 enodes) 1554039956.136 * * [simplify]: iters left: 5 (24 enodes) 1554039956.140 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039956.140 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039956.140 * * [simplify]: Extracting #2: cost 5 inf + 1 1554039956.140 * * [simplify]: Extracting #3: cost 8 inf + 1 1554039956.140 * * [simplify]: Extracting #4: cost 9 inf + 2 1554039956.140 * * [simplify]: Extracting #5: cost 8 inf + 3 1554039956.140 * * [simplify]: Extracting #6: cost 1 inf + 662 1554039956.141 * * [simplify]: Extracting #7: cost 0 inf + 825 1554039956.141 * [simplify]: Simplified to (* (sqrt (+ 1/2 (* x 1/6))) x) 1554039956.141 * [simplify]: Simplified (2 2 2) to (λ (x) (+ x (* (* x (sqrt (+ (* x 1/6) 1/2))) (* (sqrt (+ 1/2 (* x 1/6))) x)))) 1554039956.141 * * * * [progress]: [ 34 / 66 ] simplifiying candidate # 1554039956.141 * [simplify]: Simplifying (* (* x x) 1/2) 1554039956.141 * * [simplify]: iters left: 4 (4 enodes) 1554039956.142 * * [simplify]: iters left: 3 (15 enodes) 1554039956.145 * * [simplify]: iters left: 2 (19 enodes) 1554039956.148 * * [simplify]: iters left: 1 (20 enodes) 1554039956.150 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039956.150 * * [simplify]: Extracting #1: cost 6 inf + 0 1554039956.150 * * [simplify]: Extracting #2: cost 6 inf + 2 1554039956.151 * * [simplify]: Extracting #3: cost 0 inf + 332 1554039956.151 * [simplify]: Simplified to (* 1/2 (* x x)) 1554039956.151 * [simplify]: Simplified (2 2 2) to (λ (x) (+ x (+ (* (* x x) (* x 1/6)) (* 1/2 (* x x))))) 1554039956.151 * * * * [progress]: [ 35 / 66 ] simplifiying candidate # 1554039956.151 * [simplify]: Simplifying (* 1/2 (* x x)) 1554039956.151 * * [simplify]: iters left: 4 (4 enodes) 1554039956.152 * * [simplify]: iters left: 3 (15 enodes) 1554039956.155 * * [simplify]: iters left: 2 (19 enodes) 1554039956.157 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039956.157 * * [simplify]: Extracting #1: cost 6 inf + 0 1554039956.157 * * [simplify]: Extracting #2: cost 5 inf + 43 1554039956.158 * * [simplify]: Extracting #3: cost 0 inf + 332 1554039956.158 * [simplify]: Simplified to (* 1/2 (* x x)) 1554039956.158 * [simplify]: Simplified (2 2 2) to (λ (x) (+ x (+ (* (* x 1/6) (* x x)) (* 1/2 (* x x))))) 1554039956.158 * * * * [progress]: [ 36 / 66 ] simplifiying candidate # 1554039956.158 * [simplify]: Simplifying (cbrt (+ (* x 1/6) 1/2)) 1554039956.158 * * [simplify]: iters left: 5 (6 enodes) 1554039956.160 * * [simplify]: iters left: 4 (20 enodes) 1554039956.165 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039956.165 * * [simplify]: Extracting #1: cost 3 inf + 0 1554039956.165 * * [simplify]: Extracting #2: cost 6 inf + 0 1554039956.165 * * [simplify]: Extracting #3: cost 8 inf + 1 1554039956.165 * * [simplify]: Extracting #4: cost 6 inf + 3 1554039956.166 * * [simplify]: Extracting #5: cost 0 inf + 579 1554039956.166 * [simplify]: Simplified to (cbrt (+ 1/2 (* x 1/6))) 1554039956.166 * [simplify]: Simplified (2 2 2) to (λ (x) (+ x (* (* (* x x) (* (cbrt (+ (* x 1/6) 1/2)) (cbrt (+ (* x 1/6) 1/2)))) (cbrt (+ 1/2 (* x 1/6)))))) 1554039956.166 * * * * [progress]: [ 37 / 66 ] simplifiying candidate # 1554039956.166 * [simplify]: Simplifying (sqrt (+ (* x 1/6) 1/2)) 1554039956.166 * * [simplify]: iters left: 5 (6 enodes) 1554039956.171 * * [simplify]: iters left: 4 (20 enodes) 1554039956.176 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039956.176 * * [simplify]: Extracting #1: cost 3 inf + 0 1554039956.176 * * [simplify]: Extracting #2: cost 6 inf + 0 1554039956.176 * * [simplify]: Extracting #3: cost 8 inf + 1 1554039956.176 * * [simplify]: Extracting #4: cost 6 inf + 3 1554039956.177 * * [simplify]: Extracting #5: cost 0 inf + 499 1554039956.177 * [simplify]: Simplified to (sqrt (+ 1/2 (* x 1/6))) 1554039956.177 * [simplify]: Simplified (2 2 2) to (λ (x) (+ x (* (* (* x x) (sqrt (+ (* x 1/6) 1/2))) (sqrt (+ 1/2 (* x 1/6)))))) 1554039956.177 * * * * [progress]: [ 38 / 66 ] simplifiying candidate # 1554039956.177 * [simplify]: Simplifying (+ (* x 1/6) 1/2) 1554039956.177 * * [simplify]: iters left: 4 (5 enodes) 1554039956.180 * * [simplify]: iters left: 3 (17 enodes) 1554039956.185 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039956.185 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039956.185 * * [simplify]: Extracting #2: cost 6 inf + 1 1554039956.185 * * [simplify]: Extracting #3: cost 4 inf + 3 1554039956.186 * * [simplify]: Extracting #4: cost 0 inf + 253 1554039956.186 * [simplify]: Simplified to (+ 1/2 (* x 1/6)) 1554039956.186 * [simplify]: Simplified (2 2 2) to (λ (x) (+ x (* (* (* x x) 1) (+ 1/2 (* x 1/6))))) 1554039956.186 * * * * [progress]: [ 39 / 66 ] simplifiying candidate # 1554039956.186 * * * * [progress]: [ 40 / 66 ] simplifiying candidate # 1554039956.186 * [simplify]: Simplifying (+ (* (* x 1/6) (* x 1/6)) (- (* 1/2 1/2) (* (* x 1/6) 1/2))) 1554039956.186 * * [simplify]: iters left: 6 (9 enodes) 1554039956.193 * * [simplify]: iters left: 5 (48 enodes) 1554039956.208 * * [simplify]: iters left: 4 (105 enodes) 1554039956.240 * * [simplify]: iters left: 3 (170 enodes) 1554039956.283 * * [simplify]: iters left: 2 (233 enodes) 1554039956.325 * * [simplify]: iters left: 1 (325 enodes) 1554039956.409 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039956.410 * * [simplify]: Extracting #1: cost 13 inf + 0 1554039956.410 * * [simplify]: Extracting #2: cost 60 inf + 1 1554039956.410 * * [simplify]: Extracting #3: cost 68 inf + 94 1554039956.411 * * [simplify]: Extracting #4: cost 30 inf + 2899 1554039956.414 * * [simplify]: Extracting #5: cost 2 inf + 5894 1554039956.418 * * [simplify]: Extracting #6: cost 0 inf + 6100 1554039956.423 * [simplify]: Simplified to (+ (* x (- -1/12 (* -1/36 x))) 1/4) 1554039956.423 * [simplify]: Simplified (2 2 2) to (λ (x) (+ x (/ (* (* x x) (+ (pow (* x 1/6) 3) (pow 1/2 3))) (+ (* x (- -1/12 (* -1/36 x))) 1/4)))) 1554039956.423 * * * * [progress]: [ 41 / 66 ] simplifiying candidate # 1554039956.423 * [simplify]: Simplifying (- (* x 1/6) 1/2) 1554039956.423 * * [simplify]: iters left: 4 (5 enodes) 1554039956.427 * * [simplify]: iters left: 3 (19 enodes) 1554039956.434 * * [simplify]: iters left: 2 (21 enodes) 1554039956.439 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039956.439 * * [simplify]: Extracting #1: cost 5 inf + 0 1554039956.439 * * [simplify]: Extracting #2: cost 6 inf + 2 1554039956.439 * * [simplify]: Extracting #3: cost 4 inf + 4 1554039956.439 * * [simplify]: Extracting #4: cost 0 inf + 254 1554039956.439 * [simplify]: Simplified to (+ (* x 1/6) -1/2) 1554039956.439 * [simplify]: Simplified (2 2 2) to (λ (x) (+ x (/ (* (* x x) (- (* (* x 1/6) (* x 1/6)) (* 1/2 1/2))) (+ (* x 1/6) -1/2)))) 1554039956.439 * * * * [progress]: [ 42 / 66 ] simplifiying candidate #real (real->posit16 (* (* x x) (+ (* x 1/6) 1/2))))))> 1554039956.439 * * * * [progress]: [ 43 / 66 ] simplifiying candidate # 1554039956.439 * * * * [progress]: [ 44 / 66 ] simplifiying candidate # 1554039956.440 * [simplify]: Simplifying (* (exp x) (exp (* (* x x) (+ (* x 1/6) 1/2)))) 1554039956.440 * * [simplify]: iters left: 6 (10 enodes) 1554039956.443 * * [simplify]: iters left: 5 (46 enodes) 1554039956.454 * * [simplify]: iters left: 4 (104 enodes) 1554039956.477 * * [simplify]: iters left: 3 (205 enodes) 1554039956.532 * * [simplify]: iters left: 2 (397 enodes) 1554039956.673 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039956.673 * * [simplify]: Extracting #1: cost 47 inf + 0 1554039956.674 * * [simplify]: Extracting #2: cost 236 inf + 72 1554039956.676 * * [simplify]: Extracting #3: cost 292 inf + 3243 1554039956.681 * * [simplify]: Extracting #4: cost 162 inf + 42556 1554039956.691 * * [simplify]: Extracting #5: cost 38 inf + 95861 1554039956.704 * * [simplify]: Extracting #6: cost 2 inf + 115522 1554039956.724 * * [simplify]: Extracting #7: cost 0 inf + 116499 1554039956.743 * [simplify]: Simplified to (exp (+ x (* (+ 1/2 (* 1/6 x)) (* x x)))) 1554039956.743 * [simplify]: Simplified (2 1) to (λ (x) (log (exp (+ x (* (+ 1/2 (* 1/6 x)) (* x x)))))) 1554039956.743 * * * * [progress]: [ 45 / 66 ] simplifiying candidate # 1554039956.743 * * * * [progress]: [ 46 / 66 ] simplifiying candidate # 1554039956.743 * * * * [progress]: [ 47 / 66 ] simplifiying candidate # 1554039956.743 * * * * [progress]: [ 48 / 66 ] simplifiying candidate # 1554039956.744 * * * * [progress]: [ 49 / 66 ] simplifiying candidate # 1554039956.744 * * * * [progress]: [ 50 / 66 ] simplifiying candidate # 1554039956.744 * * * * [progress]: [ 51 / 66 ] simplifiying candidate # 1554039956.744 * * * * [progress]: [ 52 / 66 ] simplifiying candidate # 1554039956.744 * * * * [progress]: [ 53 / 66 ] simplifiying candidate # 1554039956.744 * * * * [progress]: [ 54 / 66 ] simplifiying candidate # 1554039956.744 * [simplify]: Simplifying (* (* x x) 1/2) 1554039956.744 * * [simplify]: iters left: 4 (4 enodes) 1554039956.745 * * [simplify]: iters left: 3 (15 enodes) 1554039956.748 * * [simplify]: iters left: 2 (19 enodes) 1554039956.751 * * [simplify]: iters left: 1 (20 enodes) 1554039956.756 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039956.756 * * [simplify]: Extracting #1: cost 6 inf + 0 1554039956.756 * * [simplify]: Extracting #2: cost 6 inf + 2 1554039956.757 * * [simplify]: Extracting #3: cost 0 inf + 332 1554039956.757 * [simplify]: Simplified to (* 1/2 (* x x)) 1554039956.757 * [simplify]: Simplified (2 2) to (λ (x) (+ (+ x (* (* x x) (* x 1/6))) (* 1/2 (* x x)))) 1554039956.757 * * * * [progress]: [ 55 / 66 ] simplifiying candidate # 1554039956.757 * [simplify]: Simplifying (* 1/2 (* x x)) 1554039956.757 * * [simplify]: iters left: 4 (4 enodes) 1554039956.759 * * [simplify]: iters left: 3 (15 enodes) 1554039956.762 * * [simplify]: iters left: 2 (19 enodes) 1554039956.765 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039956.765 * * [simplify]: Extracting #1: cost 6 inf + 0 1554039956.765 * * [simplify]: Extracting #2: cost 5 inf + 43 1554039956.765 * * [simplify]: Extracting #3: cost 0 inf + 332 1554039956.765 * [simplify]: Simplified to (* 1/2 (* x x)) 1554039956.765 * [simplify]: Simplified (2 2) to (λ (x) (+ (+ x (* (* x 1/6) (* x x))) (* 1/2 (* x x)))) 1554039956.765 * * * * [progress]: [ 56 / 66 ] simplifiying candidate #real (real->posit16 (+ x (* (* x x) (+ (* x 1/6) 1/2))))))> 1554039956.765 * * * * [progress]: [ 57 / 66 ] simplifiying candidate # 1554039956.765 * * * * [progress]: [ 58 / 66 ] simplifiying candidate # 1554039956.766 * [simplify]: Simplifying (* 1/6 x) 1554039956.766 * * [simplify]: iters left: 2 (3 enodes) 1554039956.768 * * [simplify]: iters left: 1 (10 enodes) 1554039956.771 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039956.771 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039956.771 * * [simplify]: Extracting #2: cost 2 inf + 2 1554039956.771 * * [simplify]: Extracting #3: cost 0 inf + 86 1554039956.771 * [simplify]: Simplified to (* 1/6 x) 1554039956.771 * [simplify]: Simplified (2 2 2 1) to (λ (x) (+ x (* (* x x) (+ (* 1/6 x) 1/2)))) 1554039956.771 * * * * [progress]: [ 59 / 66 ] simplifiying candidate # 1554039956.772 * [simplify]: Simplifying (* 1/6 x) 1554039956.772 * * [simplify]: iters left: 2 (3 enodes) 1554039956.774 * * [simplify]: iters left: 1 (10 enodes) 1554039956.777 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039956.777 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039956.777 * * [simplify]: Extracting #2: cost 2 inf + 2 1554039956.777 * * [simplify]: Extracting #3: cost 0 inf + 86 1554039956.777 * [simplify]: Simplified to (* 1/6 x) 1554039956.777 * [simplify]: Simplified (2 2 2 1) to (λ (x) (+ x (* (* x x) (+ (* 1/6 x) 1/2)))) 1554039956.777 * * * * [progress]: [ 60 / 66 ] simplifiying candidate # 1554039956.778 * [simplify]: Simplifying (* 1/6 x) 1554039956.778 * * [simplify]: iters left: 2 (3 enodes) 1554039956.780 * * [simplify]: iters left: 1 (10 enodes) 1554039956.783 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039956.783 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039956.783 * * [simplify]: Extracting #2: cost 2 inf + 2 1554039956.783 * * [simplify]: Extracting #3: cost 0 inf + 86 1554039956.783 * [simplify]: Simplified to (* 1/6 x) 1554039956.783 * [simplify]: Simplified (2 2 2 1) to (λ (x) (+ x (* (* x x) (+ (* 1/6 x) 1/2)))) 1554039956.783 * * * * [progress]: [ 61 / 66 ] simplifiying candidate # 1554039956.784 * [simplify]: Simplifying (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))) 1554039956.784 * * [simplify]: iters left: 5 (10 enodes) 1554039956.791 * * [simplify]: iters left: 4 (44 enodes) 1554039956.808 * * [simplify]: iters left: 3 (78 enodes) 1554039956.834 * * [simplify]: iters left: 2 (153 enodes) 1554039956.878 * * [simplify]: iters left: 1 (268 enodes) 1554039956.961 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039956.962 * * [simplify]: Extracting #1: cost 9 inf + 0 1554039956.962 * * [simplify]: Extracting #2: cost 38 inf + 42 1554039956.962 * * [simplify]: Extracting #3: cost 77 inf + 493 1554039956.963 * * [simplify]: Extracting #4: cost 65 inf + 1035 1554039956.965 * * [simplify]: Extracting #5: cost 37 inf + 8904 1554039956.970 * * [simplify]: Extracting #6: cost 2 inf + 26917 1554039956.975 * * [simplify]: Extracting #7: cost 0 inf + 27925 1554039956.980 * [simplify]: Simplified to (* (* x x) (+ (* 1/6 x) 1/2)) 1554039956.980 * [simplify]: Simplified (2 2) to (λ (x) (+ x (* (* x x) (+ (* 1/6 x) 1/2)))) 1554039956.980 * * * * [progress]: [ 62 / 66 ] simplifiying candidate # 1554039956.980 * [simplify]: Simplifying (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))) 1554039956.981 * * [simplify]: iters left: 5 (10 enodes) 1554039956.988 * * [simplify]: iters left: 4 (44 enodes) 1554039957.008 * * [simplify]: iters left: 3 (78 enodes) 1554039957.039 * * [simplify]: iters left: 2 (153 enodes) 1554039957.077 * * [simplify]: iters left: 1 (268 enodes) 1554039957.146 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039957.146 * * [simplify]: Extracting #1: cost 9 inf + 0 1554039957.146 * * [simplify]: Extracting #2: cost 38 inf + 42 1554039957.146 * * [simplify]: Extracting #3: cost 77 inf + 493 1554039957.147 * * [simplify]: Extracting #4: cost 65 inf + 1035 1554039957.148 * * [simplify]: Extracting #5: cost 37 inf + 8904 1554039957.150 * * [simplify]: Extracting #6: cost 2 inf + 26917 1554039957.152 * * [simplify]: Extracting #7: cost 0 inf + 27925 1554039957.155 * [simplify]: Simplified to (* (* x x) (+ (* 1/6 x) 1/2)) 1554039957.155 * [simplify]: Simplified (2 2) to (λ (x) (+ x (* (* x x) (+ (* 1/6 x) 1/2)))) 1554039957.155 * * * * [progress]: [ 63 / 66 ] simplifiying candidate # 1554039957.155 * [simplify]: Simplifying (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))) 1554039957.155 * * [simplify]: iters left: 5 (10 enodes) 1554039957.159 * * [simplify]: iters left: 4 (44 enodes) 1554039957.168 * * [simplify]: iters left: 3 (78 enodes) 1554039957.190 * * [simplify]: iters left: 2 (153 enodes) 1554039957.218 * * [simplify]: iters left: 1 (268 enodes) 1554039957.298 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039957.298 * * [simplify]: Extracting #1: cost 9 inf + 0 1554039957.298 * * [simplify]: Extracting #2: cost 38 inf + 42 1554039957.298 * * [simplify]: Extracting #3: cost 77 inf + 493 1554039957.299 * * [simplify]: Extracting #4: cost 65 inf + 1035 1554039957.300 * * [simplify]: Extracting #5: cost 37 inf + 8904 1554039957.302 * * [simplify]: Extracting #6: cost 2 inf + 26917 1554039957.304 * * [simplify]: Extracting #7: cost 0 inf + 27925 1554039957.309 * [simplify]: Simplified to (* (* x x) (+ (* 1/6 x) 1/2)) 1554039957.309 * [simplify]: Simplified (2 2) to (λ (x) (+ x (* (* x x) (+ (* 1/6 x) 1/2)))) 1554039957.309 * * * * [progress]: [ 64 / 66 ] simplifiying candidate # 1554039957.309 * [simplify]: Simplifying (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1554039957.310 * * [simplify]: iters left: 6 (11 enodes) 1554039957.317 * * [simplify]: iters left: 5 (50 enodes) 1554039957.337 * * [simplify]: iters left: 4 (92 enodes) 1554039957.374 * * [simplify]: iters left: 3 (173 enodes) 1554039957.414 * * [simplify]: iters left: 2 (302 enodes) 1554039957.523 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039957.523 * * [simplify]: Extracting #1: cost 10 inf + 0 1554039957.523 * * [simplify]: Extracting #2: cost 51 inf + 1 1554039957.524 * * [simplify]: Extracting #3: cost 103 inf + 129 1554039957.525 * * [simplify]: Extracting #4: cost 80 inf + 2291 1554039957.530 * * [simplify]: Extracting #5: cost 22 inf + 21895 1554039957.536 * * [simplify]: Extracting #6: cost 0 inf + 32338 1554039957.543 * * [simplify]: Extracting #7: cost 0 inf + 32207 1554039957.550 * [simplify]: Simplified to (+ x (* (* x x) (+ (* x 1/6) 1/2))) 1554039957.550 * [simplify]: Simplified (2) to (λ (x) (+ x (* (* x x) (+ (* x 1/6) 1/2)))) 1554039957.550 * * * * [progress]: [ 65 / 66 ] simplifiying candidate # 1554039957.550 * [simplify]: Simplifying (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1554039957.550 * * [simplify]: iters left: 6 (11 enodes) 1554039957.558 * * [simplify]: iters left: 5 (50 enodes) 1554039957.577 * * [simplify]: iters left: 4 (92 enodes) 1554039957.617 * * [simplify]: iters left: 3 (173 enodes) 1554039957.671 * * [simplify]: iters left: 2 (302 enodes) 1554039957.808 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039957.808 * * [simplify]: Extracting #1: cost 10 inf + 0 1554039957.808 * * [simplify]: Extracting #2: cost 51 inf + 1 1554039957.809 * * [simplify]: Extracting #3: cost 103 inf + 129 1554039957.810 * * [simplify]: Extracting #4: cost 80 inf + 2291 1554039957.814 * * [simplify]: Extracting #5: cost 22 inf + 21895 1554039957.821 * * [simplify]: Extracting #6: cost 0 inf + 32338 1554039957.828 * * [simplify]: Extracting #7: cost 0 inf + 32207 1554039957.832 * [simplify]: Simplified to (+ x (* (* x x) (+ (* x 1/6) 1/2))) 1554039957.832 * [simplify]: Simplified (2) to (λ (x) (+ x (* (* x x) (+ (* x 1/6) 1/2)))) 1554039957.832 * * * * [progress]: [ 66 / 66 ] simplifiying candidate # 1554039957.832 * [simplify]: Simplifying (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1554039957.832 * * [simplify]: iters left: 6 (11 enodes) 1554039957.836 * * [simplify]: iters left: 5 (50 enodes) 1554039957.847 * * [simplify]: iters left: 4 (92 enodes) 1554039957.880 * * [simplify]: iters left: 3 (173 enodes) 1554039957.914 * * [simplify]: iters left: 2 (302 enodes) 1554039958.025 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039958.025 * * [simplify]: Extracting #1: cost 10 inf + 0 1554039958.025 * * [simplify]: Extracting #2: cost 51 inf + 1 1554039958.026 * * [simplify]: Extracting #3: cost 103 inf + 129 1554039958.027 * * [simplify]: Extracting #4: cost 80 inf + 2291 1554039958.032 * * [simplify]: Extracting #5: cost 22 inf + 21895 1554039958.038 * * [simplify]: Extracting #6: cost 0 inf + 32338 1554039958.044 * * [simplify]: Extracting #7: cost 0 inf + 32207 1554039958.050 * [simplify]: Simplified to (+ x (* (* x x) (+ (* x 1/6) 1/2))) 1554039958.050 * [simplify]: Simplified (2) to (λ (x) (+ x (* (* x x) (+ (* x 1/6) 1/2)))) 1554039958.050 * * * [progress]: adding candidates to table 1554039958.586 * * [progress]: iteration 3 / 4 1554039958.586 * * * [progress]: picking best candidate 1554039958.589 * * * * [pick]: Picked # 1554039958.589 * * * [progress]: localizing error 1554039958.596 * * * [progress]: generating rewritten candidates 1554039958.596 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1554039958.605 * * * [progress]: generating series expansions 1554039958.605 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1554039958.605 * [backup-simplify]: Simplify (- (exp x) 1) into (- (exp x) 1) 1554039958.605 * [approximate]: Taking taylor expansion of (- (exp x) 1) in (x) around 0 1554039958.605 * [taylor]: Taking taylor expansion of (- (exp x) 1) in x 1554039958.605 * [taylor]: Taking taylor expansion of (exp x) in x 1554039958.605 * [taylor]: Taking taylor expansion of x in x 1554039958.605 * [backup-simplify]: Simplify 0 into 0 1554039958.605 * [backup-simplify]: Simplify 1 into 1 1554039958.605 * [backup-simplify]: Simplify (exp 0) into 1 1554039958.605 * [taylor]: Taking taylor expansion of 1 in x 1554039958.605 * [backup-simplify]: Simplify 1 into 1 1554039958.605 * [taylor]: Taking taylor expansion of (- (exp x) 1) in x 1554039958.605 * [taylor]: Taking taylor expansion of (exp x) in x 1554039958.605 * [taylor]: Taking taylor expansion of x in x 1554039958.605 * [backup-simplify]: Simplify 0 into 0 1554039958.605 * [backup-simplify]: Simplify 1 into 1 1554039958.605 * [backup-simplify]: Simplify (exp 0) into 1 1554039958.605 * [taylor]: Taking taylor expansion of 1 in x 1554039958.605 * [backup-simplify]: Simplify 1 into 1 1554039958.606 * [backup-simplify]: Simplify (- 1) into -1 1554039958.606 * [backup-simplify]: Simplify (+ 1 -1) into 0 1554039958.606 * [backup-simplify]: Simplify 0 into 0 1554039958.607 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1554039958.607 * [backup-simplify]: Simplify (- 0) into 0 1554039958.607 * [backup-simplify]: Simplify (+ 1 0) into 1 1554039958.607 * [backup-simplify]: Simplify 1 into 1 1554039958.608 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1554039958.608 * [backup-simplify]: Simplify (- 0) into 0 1554039958.609 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1554039958.609 * [backup-simplify]: Simplify 1/2 into 1/2 1554039958.610 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1554039958.610 * [backup-simplify]: Simplify (- 0) into 0 1554039958.611 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 1554039958.611 * [backup-simplify]: Simplify 1/6 into 1/6 1554039958.611 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1554039958.611 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1554039958.611 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1) in (x) around 0 1554039958.611 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1554039958.611 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1554039958.611 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554039958.611 * [taylor]: Taking taylor expansion of x in x 1554039958.611 * [backup-simplify]: Simplify 0 into 0 1554039958.611 * [backup-simplify]: Simplify 1 into 1 1554039958.611 * [backup-simplify]: Simplify (/ 1 1) into 1 1554039958.611 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1554039958.611 * [taylor]: Taking taylor expansion of 1 in x 1554039958.611 * [backup-simplify]: Simplify 1 into 1 1554039958.611 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1) in x 1554039958.611 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1554039958.611 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554039958.611 * [taylor]: Taking taylor expansion of x in x 1554039958.611 * [backup-simplify]: Simplify 0 into 0 1554039958.611 * [backup-simplify]: Simplify 1 into 1 1554039958.612 * [backup-simplify]: Simplify (/ 1 1) into 1 1554039958.612 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1554039958.612 * [taylor]: Taking taylor expansion of 1 in x 1554039958.612 * [backup-simplify]: Simplify 1 into 1 1554039958.612 * [backup-simplify]: Simplify (- 1) into -1 1554039958.612 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 1554039958.612 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1) into (- (exp (/ 1 x)) 1) 1554039958.612 * [backup-simplify]: Simplify (- 0) into 0 1554039958.613 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039958.613 * [backup-simplify]: Simplify 0 into 0 1554039958.613 * [backup-simplify]: Simplify (- 0) into 0 1554039958.613 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039958.613 * [backup-simplify]: Simplify 0 into 0 1554039958.613 * [backup-simplify]: Simplify (- 0) into 0 1554039958.614 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039958.614 * [backup-simplify]: Simplify 0 into 0 1554039958.614 * [backup-simplify]: Simplify (- 0) into 0 1554039958.614 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039958.614 * [backup-simplify]: Simplify 0 into 0 1554039958.614 * [backup-simplify]: Simplify (- 0) into 0 1554039958.615 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039958.615 * [backup-simplify]: Simplify 0 into 0 1554039958.615 * [backup-simplify]: Simplify (- 0) into 0 1554039958.615 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039958.615 * [backup-simplify]: Simplify 0 into 0 1554039958.615 * [backup-simplify]: Simplify (- (exp (/ 1 (/ 1 x))) 1) into (- (exp x) 1) 1554039958.615 * [backup-simplify]: Simplify (- (exp (/ 1 (- x))) 1) into (- (exp (/ -1 x)) 1) 1554039958.615 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1) in (x) around 0 1554039958.615 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1554039958.615 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1554039958.615 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1554039958.615 * [taylor]: Taking taylor expansion of -1 in x 1554039958.615 * [backup-simplify]: Simplify -1 into -1 1554039958.615 * [taylor]: Taking taylor expansion of x in x 1554039958.615 * [backup-simplify]: Simplify 0 into 0 1554039958.615 * [backup-simplify]: Simplify 1 into 1 1554039958.616 * [backup-simplify]: Simplify (/ -1 1) into -1 1554039958.616 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1554039958.616 * [taylor]: Taking taylor expansion of 1 in x 1554039958.616 * [backup-simplify]: Simplify 1 into 1 1554039958.616 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1) in x 1554039958.616 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1554039958.616 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1554039958.616 * [taylor]: Taking taylor expansion of -1 in x 1554039958.616 * [backup-simplify]: Simplify -1 into -1 1554039958.616 * [taylor]: Taking taylor expansion of x in x 1554039958.616 * [backup-simplify]: Simplify 0 into 0 1554039958.616 * [backup-simplify]: Simplify 1 into 1 1554039958.616 * [backup-simplify]: Simplify (/ -1 1) into -1 1554039958.616 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1554039958.616 * [taylor]: Taking taylor expansion of 1 in x 1554039958.616 * [backup-simplify]: Simplify 1 into 1 1554039958.616 * [backup-simplify]: Simplify (- 1) into -1 1554039958.617 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 1554039958.617 * [backup-simplify]: Simplify (- (exp (/ -1 x)) 1) into (- (exp (/ -1 x)) 1) 1554039958.617 * [backup-simplify]: Simplify (- 0) into 0 1554039958.617 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039958.617 * [backup-simplify]: Simplify 0 into 0 1554039958.617 * [backup-simplify]: Simplify (- 0) into 0 1554039958.618 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039958.618 * [backup-simplify]: Simplify 0 into 0 1554039958.618 * [backup-simplify]: Simplify (- 0) into 0 1554039958.618 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039958.618 * [backup-simplify]: Simplify 0 into 0 1554039958.619 * [backup-simplify]: Simplify (- 0) into 0 1554039958.619 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039958.619 * [backup-simplify]: Simplify 0 into 0 1554039958.619 * [backup-simplify]: Simplify (- 0) into 0 1554039958.619 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039958.619 * [backup-simplify]: Simplify 0 into 0 1554039958.619 * [backup-simplify]: Simplify (- 0) into 0 1554039958.620 * [backup-simplify]: Simplify (+ 0 0) into 0 1554039958.620 * [backup-simplify]: Simplify 0 into 0 1554039958.620 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1) into (- (exp x) 1) 1554039958.620 * * * [progress]: simplifying candidates 1554039958.620 * * * * [progress]: [ 1 / 20 ] simplifiying candidate # 1554039958.620 * [simplify]: Simplifying (/ (exp (exp x)) (exp 1)) 1554039958.620 * * [simplify]: iters left: 4 (6 enodes) 1554039958.622 * * [simplify]: iters left: 3 (21 enodes) 1554039958.626 * * [simplify]: iters left: 2 (28 enodes) 1554039958.634 * * [simplify]: iters left: 1 (32 enodes) 1554039958.643 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039958.643 * * [simplify]: Extracting #1: cost 6 inf + 0 1554039958.643 * * [simplify]: Extracting #2: cost 11 inf + 1 1554039958.643 * * [simplify]: Extracting #3: cost 9 inf + 145 1554039958.643 * * [simplify]: Extracting #4: cost 6 inf + 288 1554039958.643 * * [simplify]: Extracting #5: cost 1 inf + 976 1554039958.644 * * [simplify]: Extracting #6: cost 0 inf + 1158 1554039958.644 * [simplify]: Simplified to (/ (exp (exp x)) E) 1554039958.644 * [simplify]: Simplified (2 1) to (λ (x) (log (/ (exp (exp x)) E))) 1554039958.644 * * * * [progress]: [ 2 / 20 ] simplifiying candidate # 1554039958.644 * * * * [progress]: [ 3 / 20 ] simplifiying candidate # 1554039958.644 * * * * [progress]: [ 4 / 20 ] simplifiying candidate # 1554039958.644 * * * * [progress]: [ 5 / 20 ] simplifiying candidate # 1554039958.644 * * * * [progress]: [ 6 / 20 ] simplifiying candidate # 1554039958.645 * * * * [progress]: [ 7 / 20 ] simplifiying candidate # 1554039958.645 * * * * [progress]: [ 8 / 20 ] simplifiying candidate # 1554039958.645 * * * * [progress]: [ 9 / 20 ] simplifiying candidate # 1554039958.645 * * * * [progress]: [ 10 / 20 ] simplifiying candidate # 1554039958.645 * * * * [progress]: [ 11 / 20 ] simplifiying candidate # 1554039958.645 * * * * [progress]: [ 12 / 20 ] simplifiying candidate # 1554039958.645 * [simplify]: Simplifying (+ (sqrt (exp x)) (sqrt 1)) 1554039958.645 * * [simplify]: iters left: 4 (6 enodes) 1554039958.650 * * [simplify]: iters left: 3 (21 enodes) 1554039958.654 * * [simplify]: iters left: 2 (23 enodes) 1554039958.658 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039958.658 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039958.658 * * [simplify]: Extracting #2: cost 5 inf + 1 1554039958.658 * * [simplify]: Extracting #3: cost 7 inf + 1 1554039958.658 * * [simplify]: Extracting #4: cost 6 inf + 2 1554039958.658 * * [simplify]: Extracting #5: cost 0 inf + 670 1554039958.658 * [simplify]: Simplified to (+ 1 (sqrt (exp x))) 1554039958.658 * [simplify]: Simplified (2 1) to (λ (x) (* (+ 1 (sqrt (exp x))) (- (sqrt (exp x)) (sqrt 1)))) 1554039958.658 * [simplify]: Simplifying (- (sqrt (exp x)) (sqrt 1)) 1554039958.658 * * [simplify]: iters left: 4 (6 enodes) 1554039958.661 * * [simplify]: iters left: 3 (23 enodes) 1554039958.665 * * [simplify]: iters left: 2 (29 enodes) 1554039958.669 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039958.669 * * [simplify]: Extracting #1: cost 5 inf + 0 1554039958.669 * * [simplify]: Extracting #2: cost 5 inf + 2 1554039958.669 * * [simplify]: Extracting #3: cost 7 inf + 2 1554039958.669 * * [simplify]: Extracting #4: cost 6 inf + 3 1554039958.669 * * [simplify]: Extracting #5: cost 2 inf + 367 1554039958.669 * * [simplify]: Extracting #6: cost 1 inf + 519 1554039958.669 * * [simplify]: Extracting #7: cost 0 inf + 671 1554039958.669 * [simplify]: Simplified to (+ (sqrt (exp x)) -1) 1554039958.669 * [simplify]: Simplified (2 2) to (λ (x) (* (+ (sqrt (exp x)) (sqrt 1)) (+ (sqrt (exp x)) -1))) 1554039958.669 * * * * [progress]: [ 13 / 20 ] simplifiying candidate # 1554039958.670 * [simplify]: Simplifying (+ (sqrt (exp x)) 1) 1554039958.670 * * [simplify]: iters left: 4 (5 enodes) 1554039958.671 * * [simplify]: iters left: 3 (18 enodes) 1554039958.674 * * [simplify]: iters left: 2 (20 enodes) 1554039958.677 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039958.677 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039958.677 * * [simplify]: Extracting #2: cost 5 inf + 1 1554039958.677 * * [simplify]: Extracting #3: cost 7 inf + 1 1554039958.677 * * [simplify]: Extracting #4: cost 6 inf + 2 1554039958.677 * * [simplify]: Extracting #5: cost 0 inf + 670 1554039958.677 * [simplify]: Simplified to (+ 1 (sqrt (exp x))) 1554039958.677 * [simplify]: Simplified (2 1) to (λ (x) (* (+ 1 (sqrt (exp x))) (- (sqrt (exp x)) 1))) 1554039958.677 * [simplify]: Simplifying (- (sqrt (exp x)) 1) 1554039958.677 * * [simplify]: iters left: 4 (5 enodes) 1554039958.679 * * [simplify]: iters left: 3 (20 enodes) 1554039958.682 * * [simplify]: iters left: 2 (24 enodes) 1554039958.686 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039958.686 * * [simplify]: Extracting #1: cost 5 inf + 0 1554039958.686 * * [simplify]: Extracting #2: cost 5 inf + 2 1554039958.686 * * [simplify]: Extracting #3: cost 7 inf + 2 1554039958.686 * * [simplify]: Extracting #4: cost 6 inf + 3 1554039958.686 * * [simplify]: Extracting #5: cost 0 inf + 671 1554039958.687 * [simplify]: Simplified to (+ (sqrt (exp x)) -1) 1554039958.687 * [simplify]: Simplified (2 2) to (λ (x) (* (+ (sqrt (exp x)) 1) (+ (sqrt (exp x)) -1))) 1554039958.687 * * * * [progress]: [ 14 / 20 ] simplifiying candidate # 1554039958.687 * [simplify]: Simplifying (+ (sqrt (exp x)) 1) 1554039958.687 * * [simplify]: iters left: 4 (5 enodes) 1554039958.689 * * [simplify]: iters left: 3 (18 enodes) 1554039958.694 * * [simplify]: iters left: 2 (20 enodes) 1554039958.698 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039958.698 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039958.698 * * [simplify]: Extracting #2: cost 5 inf + 1 1554039958.698 * * [simplify]: Extracting #3: cost 7 inf + 1 1554039958.698 * * [simplify]: Extracting #4: cost 6 inf + 2 1554039958.698 * * [simplify]: Extracting #5: cost 0 inf + 670 1554039958.698 * [simplify]: Simplified to (+ 1 (sqrt (exp x))) 1554039958.698 * [simplify]: Simplified (2 1) to (λ (x) (* (+ 1 (sqrt (exp x))) (- (sqrt (exp x)) 1))) 1554039958.698 * * * * [progress]: [ 15 / 20 ] simplifiying candidate # 1554039958.698 * [simplify]: Simplifying (- (exp x) 1) 1554039958.698 * * [simplify]: iters left: 3 (4 enodes) 1554039958.700 * * [simplify]: iters left: 2 (17 enodes) 1554039958.703 * * [simplify]: iters left: 1 (21 enodes) 1554039958.706 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039958.706 * * [simplify]: Extracting #1: cost 5 inf + 0 1554039958.706 * * [simplify]: Extracting #2: cost 5 inf + 2 1554039958.706 * * [simplify]: Extracting #3: cost 4 inf + 3 1554039958.706 * * [simplify]: Extracting #4: cost 0 inf + 369 1554039958.706 * [simplify]: Simplified to (- (exp x) 1) 1554039958.706 * [simplify]: Simplified (2 2) to (λ (x) (* 1 (- (exp x) 1))) 1554039958.706 * * * * [progress]: [ 16 / 20 ] simplifiying candidate # 1554039958.706 * * * * [progress]: [ 17 / 20 ] simplifiying candidate #real (real->posit16 (- (exp x) 1))))> 1554039958.706 * * * * [progress]: [ 18 / 20 ] simplifiying candidate # 1554039958.706 * [simplify]: Simplifying (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1554039958.706 * * [simplify]: iters left: 6 (11 enodes) 1554039958.711 * * [simplify]: iters left: 5 (50 enodes) 1554039958.721 * * [simplify]: iters left: 4 (92 enodes) 1554039958.741 * * [simplify]: iters left: 3 (173 enodes) 1554039958.776 * * [simplify]: iters left: 2 (302 enodes) 1554039958.904 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039958.904 * * [simplify]: Extracting #1: cost 10 inf + 0 1554039958.905 * * [simplify]: Extracting #2: cost 51 inf + 1 1554039958.905 * * [simplify]: Extracting #3: cost 103 inf + 129 1554039958.906 * * [simplify]: Extracting #4: cost 80 inf + 2291 1554039958.908 * * [simplify]: Extracting #5: cost 22 inf + 21895 1554039958.911 * * [simplify]: Extracting #6: cost 0 inf + 32338 1554039958.914 * * [simplify]: Extracting #7: cost 0 inf + 32207 1554039958.918 * [simplify]: Simplified to (+ x (* (* x x) (+ (* x 1/6) 1/2))) 1554039958.918 * [simplify]: Simplified (2) to (λ (x) (+ x (* (* x x) (+ (* x 1/6) 1/2)))) 1554039958.918 * * * * [progress]: [ 19 / 20 ] simplifiying candidate # 1554039958.918 * [simplify]: Simplifying (- (exp x) 1) 1554039958.918 * * [simplify]: iters left: 3 (4 enodes) 1554039958.920 * * [simplify]: iters left: 2 (17 enodes) 1554039958.923 * * [simplify]: iters left: 1 (21 enodes) 1554039958.926 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039958.926 * * [simplify]: Extracting #1: cost 5 inf + 0 1554039958.926 * * [simplify]: Extracting #2: cost 5 inf + 2 1554039958.926 * * [simplify]: Extracting #3: cost 4 inf + 3 1554039958.926 * * [simplify]: Extracting #4: cost 0 inf + 369 1554039958.926 * [simplify]: Simplified to (- (exp x) 1) 1554039958.926 * [simplify]: Simplified (2) to (λ (x) (- (exp x) 1)) 1554039958.926 * * * * [progress]: [ 20 / 20 ] simplifiying candidate # 1554039958.927 * [simplify]: Simplifying (- (exp x) 1) 1554039958.927 * * [simplify]: iters left: 3 (4 enodes) 1554039958.928 * * [simplify]: iters left: 2 (17 enodes) 1554039958.933 * * [simplify]: iters left: 1 (21 enodes) 1554039958.939 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039958.939 * * [simplify]: Extracting #1: cost 5 inf + 0 1554039958.939 * * [simplify]: Extracting #2: cost 5 inf + 2 1554039958.939 * * [simplify]: Extracting #3: cost 4 inf + 3 1554039958.939 * * [simplify]: Extracting #4: cost 0 inf + 369 1554039958.940 * [simplify]: Simplified to (- (exp x) 1) 1554039958.940 * [simplify]: Simplified (2) to (λ (x) (- (exp x) 1)) 1554039958.940 * * * [progress]: adding candidates to table 1554039959.037 * * [progress]: iteration 4 / 4 1554039959.038 * * * [progress]: picking best candidate 1554039959.040 * * * * [pick]: Picked # 1554039959.040 * * * [progress]: localizing error 1554039959.053 * * * [progress]: generating rewritten candidates 1554039959.053 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 1554039959.057 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 1554039959.060 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 1554039959.078 * * * [progress]: generating series expansions 1554039959.079 * * * * [progress]: [ 1 / 3 ] generating series at (2) 1554039959.079 * [backup-simplify]: Simplify (log (/ (exp (exp x)) E)) into (log (/ (exp (exp x)) E)) 1554039959.079 * [approximate]: Taking taylor expansion of (log (/ (exp (exp x)) E)) in (x) around 0 1554039959.079 * [taylor]: Taking taylor expansion of (log (/ (exp (exp x)) E)) in x 1554039959.079 * [taylor]: Taking taylor expansion of (/ (exp (exp x)) E) in x 1554039959.079 * [taylor]: Taking taylor expansion of (exp (exp x)) in x 1554039959.079 * [taylor]: Taking taylor expansion of (exp x) in x 1554039959.079 * [taylor]: Taking taylor expansion of x in x 1554039959.079 * [backup-simplify]: Simplify 0 into 0 1554039959.079 * [backup-simplify]: Simplify 1 into 1 1554039959.079 * [backup-simplify]: Simplify (exp 0) into 1 1554039959.079 * [backup-simplify]: Simplify (exp 1) into E 1554039959.079 * [taylor]: Taking taylor expansion of E in x 1554039959.079 * [backup-simplify]: Simplify E into E 1554039959.080 * [backup-simplify]: Simplify (/ E E) into 1 1554039959.080 * [backup-simplify]: Simplify (log 1) into 0 1554039959.081 * [taylor]: Taking taylor expansion of (log (/ (exp (exp x)) E)) in x 1554039959.081 * [taylor]: Taking taylor expansion of (/ (exp (exp x)) E) in x 1554039959.081 * [taylor]: Taking taylor expansion of (exp (exp x)) in x 1554039959.081 * [taylor]: Taking taylor expansion of (exp x) in x 1554039959.081 * [taylor]: Taking taylor expansion of x in x 1554039959.081 * [backup-simplify]: Simplify 0 into 0 1554039959.081 * [backup-simplify]: Simplify 1 into 1 1554039959.081 * [backup-simplify]: Simplify (exp 0) into 1 1554039959.081 * [backup-simplify]: Simplify (exp 1) into E 1554039959.081 * [taylor]: Taking taylor expansion of E in x 1554039959.081 * [backup-simplify]: Simplify E into E 1554039959.081 * [backup-simplify]: Simplify (/ E E) into 1 1554039959.082 * [backup-simplify]: Simplify (log 1) into 0 1554039959.082 * [backup-simplify]: Simplify 0 into 0 1554039959.083 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1554039959.085 * [backup-simplify]: Simplify (* (exp 1) (+ (* (/ (pow 1 1) 1)))) into E 1554039959.087 * [backup-simplify]: Simplify (- (/ E E) (+ (* 1 (/ 0 E)))) into 1 1554039959.089 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1554039959.089 * [backup-simplify]: Simplify 1 into 1 1554039959.092 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1554039959.095 * [backup-simplify]: Simplify (* (exp 1) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 1/2 1) 1)))) into E 1554039959.097 * [backup-simplify]: Simplify (- (/ E E) (+ (* 1 (/ 0 E)) (* 1 (/ 0 E)))) into 1 1554039959.100 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1 1)))) 2) into 1/2 1554039959.100 * [backup-simplify]: Simplify 1/2 into 1/2 1554039959.103 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1554039959.108 * [backup-simplify]: Simplify (* (exp 1) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 1/2 1) 1)) (* (/ (pow 1/6 1) 1)))) into (* 5/6 E) 1554039959.111 * [backup-simplify]: Simplify (- (/ (* 5/6 E) E) (+ (* 1 (/ 0 E)) (* 1 (/ 0 E)) (* 1 (/ 0 E)))) into 5/6 1554039959.115 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 1) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 1) 1) (pow (* 2 1) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 5/6) 1)) (pow 1 1)))) 6) into 1/6 1554039959.115 * [backup-simplify]: Simplify 1/6 into 1/6 1554039959.115 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1554039959.115 * [backup-simplify]: Simplify (log (/ (exp (exp (/ 1 x))) E)) into (log (/ (exp (exp (/ 1 x))) E)) 1554039959.115 * [approximate]: Taking taylor expansion of (log (/ (exp (exp (/ 1 x))) E)) in (x) around 0 1554039959.115 * [taylor]: Taking taylor expansion of (log (/ (exp (exp (/ 1 x))) E)) in x 1554039959.115 * [taylor]: Taking taylor expansion of (/ (exp (exp (/ 1 x))) E) in x 1554039959.115 * [taylor]: Taking taylor expansion of (exp (exp (/ 1 x))) in x 1554039959.115 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1554039959.115 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554039959.115 * [taylor]: Taking taylor expansion of x in x 1554039959.115 * [backup-simplify]: Simplify 0 into 0 1554039959.115 * [backup-simplify]: Simplify 1 into 1 1554039959.115 * [backup-simplify]: Simplify (/ 1 1) into 1 1554039959.116 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1554039959.116 * [backup-simplify]: Simplify (exp (exp (/ 1 x))) into (exp (exp (/ 1 x))) 1554039959.116 * [taylor]: Taking taylor expansion of E in x 1554039959.116 * [backup-simplify]: Simplify E into E 1554039959.116 * [backup-simplify]: Simplify (/ (exp (exp (/ 1 x))) E) into (/ (exp (exp (/ 1 x))) E) 1554039959.116 * [backup-simplify]: Simplify (log (/ (exp (exp (/ 1 x))) E)) into (log (/ (exp (exp (/ 1 x))) E)) 1554039959.116 * [taylor]: Taking taylor expansion of (log (/ (exp (exp (/ 1 x))) E)) in x 1554039959.116 * [taylor]: Taking taylor expansion of (/ (exp (exp (/ 1 x))) E) in x 1554039959.116 * [taylor]: Taking taylor expansion of (exp (exp (/ 1 x))) in x 1554039959.116 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1554039959.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554039959.116 * [taylor]: Taking taylor expansion of x in x 1554039959.116 * [backup-simplify]: Simplify 0 into 0 1554039959.116 * [backup-simplify]: Simplify 1 into 1 1554039959.116 * [backup-simplify]: Simplify (/ 1 1) into 1 1554039959.116 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1554039959.116 * [backup-simplify]: Simplify (exp (exp (/ 1 x))) into (exp (exp (/ 1 x))) 1554039959.116 * [taylor]: Taking taylor expansion of E in x 1554039959.116 * [backup-simplify]: Simplify E into E 1554039959.116 * [backup-simplify]: Simplify (/ (exp (exp (/ 1 x))) E) into (/ (exp (exp (/ 1 x))) E) 1554039959.116 * [backup-simplify]: Simplify (log (/ (exp (exp (/ 1 x))) E)) into (log (/ (exp (exp (/ 1 x))) E)) 1554039959.116 * [backup-simplify]: Simplify (log (/ (exp (exp (/ 1 x))) E)) into (log (/ (exp (exp (/ 1 x))) E)) 1554039959.117 * [backup-simplify]: Simplify (* (exp (exp (/ 1 x))) (+ (* (/ (pow 0 1) 1)))) into 0 1554039959.118 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (exp (/ 1 x))) E) (/ 0 E)))) into 0 1554039959.118 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ (exp (exp (/ 1 x))) E) 1)))) 1) into 0 1554039959.118 * [backup-simplify]: Simplify 0 into 0 1554039959.119 * [backup-simplify]: Simplify (* (exp (exp (/ 1 x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554039959.120 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (exp (/ 1 x))) E) (/ 0 E)) (* 0 (/ 0 E)))) into 0 1554039959.121 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (/ (exp (exp (/ 1 x))) E) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (/ (exp (exp (/ 1 x))) E) 1)))) 2) into 0 1554039959.121 * [backup-simplify]: Simplify 0 into 0 1554039959.122 * [backup-simplify]: Simplify (* (exp (exp (/ 1 x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1554039959.123 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (exp (/ 1 x))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0 1554039959.125 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (/ (exp (exp (/ 1 x))) E) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (/ (exp (exp (/ 1 x))) E) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (/ (exp (exp (/ 1 x))) E) 1)))) 6) into 0 1554039959.125 * [backup-simplify]: Simplify 0 into 0 1554039959.126 * [backup-simplify]: Simplify (* (exp (exp (/ 1 x))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554039959.127 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (exp (/ 1 x))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0 1554039959.130 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (/ (exp (exp (/ 1 x))) E) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (/ (exp (exp (/ 1 x))) E) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (/ (exp (exp (/ 1 x))) E) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (/ (exp (exp (/ 1 x))) E) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (/ (exp (exp (/ 1 x))) E) 1)))) 24) into 0 1554039959.130 * [backup-simplify]: Simplify 0 into 0 1554039959.133 * [backup-simplify]: Simplify (* (exp (exp (/ 1 x))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1554039959.135 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (exp (/ 1 x))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0 1554039959.139 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (/ (exp (exp (/ 1 x))) E) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (/ (exp (exp (/ 1 x))) E) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (/ (exp (exp (/ 1 x))) E) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (/ (exp (exp (/ 1 x))) E) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (/ (exp (exp (/ 1 x))) E) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (/ (exp (exp (/ 1 x))) E) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (/ (exp (exp (/ 1 x))) E) 1)))) 120) into 0 1554039959.139 * [backup-simplify]: Simplify 0 into 0 1554039959.143 * [backup-simplify]: Simplify (* (exp (exp (/ 1 x))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554039959.147 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (exp (/ 1 x))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0 1554039959.161 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (/ (exp (exp (/ 1 x))) E) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (/ (exp (exp (/ 1 x))) E) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (/ (exp (exp (/ 1 x))) E) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (/ (exp (exp (/ 1 x))) E) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (/ (exp (exp (/ 1 x))) E) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (/ (exp (exp (/ 1 x))) E) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (/ (exp (exp (/ 1 x))) E) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (/ (exp (exp (/ 1 x))) E) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (/ (exp (exp (/ 1 x))) E) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (/ (exp (exp (/ 1 x))) E) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (/ (exp (exp (/ 1 x))) E) 1)))) 720) into 0 1554039959.161 * [backup-simplify]: Simplify 0 into 0 1554039959.161 * [backup-simplify]: Simplify (log (/ (exp (exp (/ 1 (/ 1 x)))) E)) into (log (/ (exp (exp x)) E)) 1554039959.161 * [backup-simplify]: Simplify (log (/ (exp (exp (/ 1 (- x)))) E)) into (log (/ (exp (exp (/ -1 x))) E)) 1554039959.162 * [approximate]: Taking taylor expansion of (log (/ (exp (exp (/ -1 x))) E)) in (x) around 0 1554039959.162 * [taylor]: Taking taylor expansion of (log (/ (exp (exp (/ -1 x))) E)) in x 1554039959.162 * [taylor]: Taking taylor expansion of (/ (exp (exp (/ -1 x))) E) in x 1554039959.162 * [taylor]: Taking taylor expansion of (exp (exp (/ -1 x))) in x 1554039959.162 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1554039959.162 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1554039959.162 * [taylor]: Taking taylor expansion of -1 in x 1554039959.162 * [backup-simplify]: Simplify -1 into -1 1554039959.162 * [taylor]: Taking taylor expansion of x in x 1554039959.162 * [backup-simplify]: Simplify 0 into 0 1554039959.162 * [backup-simplify]: Simplify 1 into 1 1554039959.162 * [backup-simplify]: Simplify (/ -1 1) into -1 1554039959.162 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1554039959.162 * [backup-simplify]: Simplify (exp (exp (/ -1 x))) into (exp (exp (/ -1 x))) 1554039959.162 * [taylor]: Taking taylor expansion of E in x 1554039959.162 * [backup-simplify]: Simplify E into E 1554039959.162 * [backup-simplify]: Simplify (/ (exp (exp (/ -1 x))) E) into (/ (exp (exp (/ -1 x))) E) 1554039959.162 * [backup-simplify]: Simplify (log (/ (exp (exp (/ -1 x))) E)) into (log (/ (exp (exp (/ -1 x))) E)) 1554039959.162 * [taylor]: Taking taylor expansion of (log (/ (exp (exp (/ -1 x))) E)) in x 1554039959.162 * [taylor]: Taking taylor expansion of (/ (exp (exp (/ -1 x))) E) in x 1554039959.162 * [taylor]: Taking taylor expansion of (exp (exp (/ -1 x))) in x 1554039959.162 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1554039959.162 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1554039959.162 * [taylor]: Taking taylor expansion of -1 in x 1554039959.162 * [backup-simplify]: Simplify -1 into -1 1554039959.162 * [taylor]: Taking taylor expansion of x in x 1554039959.162 * [backup-simplify]: Simplify 0 into 0 1554039959.162 * [backup-simplify]: Simplify 1 into 1 1554039959.163 * [backup-simplify]: Simplify (/ -1 1) into -1 1554039959.163 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1554039959.163 * [backup-simplify]: Simplify (exp (exp (/ -1 x))) into (exp (exp (/ -1 x))) 1554039959.163 * [taylor]: Taking taylor expansion of E in x 1554039959.163 * [backup-simplify]: Simplify E into E 1554039959.163 * [backup-simplify]: Simplify (/ (exp (exp (/ -1 x))) E) into (/ (exp (exp (/ -1 x))) E) 1554039959.163 * [backup-simplify]: Simplify (log (/ (exp (exp (/ -1 x))) E)) into (log (/ (exp (exp (/ -1 x))) E)) 1554039959.163 * [backup-simplify]: Simplify (log (/ (exp (exp (/ -1 x))) E)) into (log (/ (exp (exp (/ -1 x))) E)) 1554039959.164 * [backup-simplify]: Simplify (* (exp (exp (/ -1 x))) (+ (* (/ (pow 0 1) 1)))) into 0 1554039959.164 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (exp (/ -1 x))) E) (/ 0 E)))) into 0 1554039959.165 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ (exp (exp (/ -1 x))) E) 1)))) 1) into 0 1554039959.165 * [backup-simplify]: Simplify 0 into 0 1554039959.166 * [backup-simplify]: Simplify (* (exp (exp (/ -1 x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554039959.167 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (exp (/ -1 x))) E) (/ 0 E)) (* 0 (/ 0 E)))) into 0 1554039959.168 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (/ (exp (exp (/ -1 x))) E) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (/ (exp (exp (/ -1 x))) E) 1)))) 2) into 0 1554039959.168 * [backup-simplify]: Simplify 0 into 0 1554039959.169 * [backup-simplify]: Simplify (* (exp (exp (/ -1 x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1554039959.170 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (exp (/ -1 x))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0 1554039959.171 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (/ (exp (exp (/ -1 x))) E) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (/ (exp (exp (/ -1 x))) E) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (/ (exp (exp (/ -1 x))) E) 1)))) 6) into 0 1554039959.172 * [backup-simplify]: Simplify 0 into 0 1554039959.173 * [backup-simplify]: Simplify (* (exp (exp (/ -1 x))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554039959.175 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (exp (/ -1 x))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0 1554039959.177 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (/ (exp (exp (/ -1 x))) E) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (/ (exp (exp (/ -1 x))) E) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (/ (exp (exp (/ -1 x))) E) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (/ (exp (exp (/ -1 x))) E) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (/ (exp (exp (/ -1 x))) E) 1)))) 24) into 0 1554039959.177 * [backup-simplify]: Simplify 0 into 0 1554039959.180 * [backup-simplify]: Simplify (* (exp (exp (/ -1 x))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1554039959.182 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (exp (/ -1 x))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0 1554039959.186 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (/ (exp (exp (/ -1 x))) E) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (/ (exp (exp (/ -1 x))) E) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (/ (exp (exp (/ -1 x))) E) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (/ (exp (exp (/ -1 x))) E) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (/ (exp (exp (/ -1 x))) E) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (/ (exp (exp (/ -1 x))) E) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (/ (exp (exp (/ -1 x))) E) 1)))) 120) into 0 1554039959.186 * [backup-simplify]: Simplify 0 into 0 1554039959.191 * [backup-simplify]: Simplify (* (exp (exp (/ -1 x))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554039959.195 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (exp (/ -1 x))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0 1554039959.205 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (/ (exp (exp (/ -1 x))) E) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (/ (exp (exp (/ -1 x))) E) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (/ (exp (exp (/ -1 x))) E) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (/ (exp (exp (/ -1 x))) E) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (/ (exp (exp (/ -1 x))) E) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (/ (exp (exp (/ -1 x))) E) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (/ (exp (exp (/ -1 x))) E) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (/ (exp (exp (/ -1 x))) E) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (/ (exp (exp (/ -1 x))) E) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (/ (exp (exp (/ -1 x))) E) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (/ (exp (exp (/ -1 x))) E) 1)))) 720) into 0 1554039959.205 * [backup-simplify]: Simplify 0 into 0 1554039959.205 * [backup-simplify]: Simplify (log (/ (exp (exp (/ -1 (/ 1 (- x))))) E)) into (log (/ (exp (exp x)) E)) 1554039959.205 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 1554039959.205 * [backup-simplify]: Simplify (exp (exp x)) into (exp (exp x)) 1554039959.205 * [approximate]: Taking taylor expansion of (exp (exp x)) in (x) around 0 1554039959.205 * [taylor]: Taking taylor expansion of (exp (exp x)) in x 1554039959.205 * [taylor]: Taking taylor expansion of (exp x) in x 1554039959.205 * [taylor]: Taking taylor expansion of x in x 1554039959.205 * [backup-simplify]: Simplify 0 into 0 1554039959.205 * [backup-simplify]: Simplify 1 into 1 1554039959.205 * [backup-simplify]: Simplify (exp 0) into 1 1554039959.205 * [backup-simplify]: Simplify (exp 1) into E 1554039959.205 * [taylor]: Taking taylor expansion of (exp (exp x)) in x 1554039959.205 * [taylor]: Taking taylor expansion of (exp x) in x 1554039959.205 * [taylor]: Taking taylor expansion of x in x 1554039959.205 * [backup-simplify]: Simplify 0 into 0 1554039959.205 * [backup-simplify]: Simplify 1 into 1 1554039959.205 * [backup-simplify]: Simplify (exp 0) into 1 1554039959.205 * [backup-simplify]: Simplify (exp 1) into E 1554039959.205 * [backup-simplify]: Simplify E into E 1554039959.206 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1554039959.207 * [backup-simplify]: Simplify (* (exp 1) (+ (* (/ (pow 1 1) 1)))) into E 1554039959.207 * [backup-simplify]: Simplify E into E 1554039959.208 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1554039959.209 * [backup-simplify]: Simplify (* (exp 1) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 1/2 1) 1)))) into E 1554039959.209 * [backup-simplify]: Simplify E into E 1554039959.210 * [backup-simplify]: Simplify (+ (* E (pow x 2)) (+ (* E x) E)) into (+ (* (pow x 2) E) (+ E (* x E))) 1554039959.210 * [backup-simplify]: Simplify (exp (exp (/ 1 x))) into (exp (exp (/ 1 x))) 1554039959.210 * [approximate]: Taking taylor expansion of (exp (exp (/ 1 x))) in (x) around 0 1554039959.210 * [taylor]: Taking taylor expansion of (exp (exp (/ 1 x))) in x 1554039959.210 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1554039959.210 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554039959.210 * [taylor]: Taking taylor expansion of x in x 1554039959.210 * [backup-simplify]: Simplify 0 into 0 1554039959.210 * [backup-simplify]: Simplify 1 into 1 1554039959.210 * [backup-simplify]: Simplify (/ 1 1) into 1 1554039959.210 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1554039959.210 * [backup-simplify]: Simplify (exp (exp (/ 1 x))) into (exp (exp (/ 1 x))) 1554039959.210 * [taylor]: Taking taylor expansion of (exp (exp (/ 1 x))) in x 1554039959.210 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1554039959.210 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554039959.210 * [taylor]: Taking taylor expansion of x in x 1554039959.210 * [backup-simplify]: Simplify 0 into 0 1554039959.210 * [backup-simplify]: Simplify 1 into 1 1554039959.211 * [backup-simplify]: Simplify (/ 1 1) into 1 1554039959.211 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1554039959.211 * [backup-simplify]: Simplify (exp (exp (/ 1 x))) into (exp (exp (/ 1 x))) 1554039959.211 * [backup-simplify]: Simplify (exp (exp (/ 1 x))) into (exp (exp (/ 1 x))) 1554039959.211 * [backup-simplify]: Simplify (* (exp (exp (/ 1 x))) (+ (* (/ (pow 0 1) 1)))) into 0 1554039959.211 * [backup-simplify]: Simplify 0 into 0 1554039959.212 * [backup-simplify]: Simplify (* (exp (exp (/ 1 x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554039959.212 * [backup-simplify]: Simplify 0 into 0 1554039959.213 * [backup-simplify]: Simplify (* (exp (exp (/ 1 x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1554039959.213 * [backup-simplify]: Simplify 0 into 0 1554039959.215 * [backup-simplify]: Simplify (* (exp (exp (/ 1 x))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554039959.215 * [backup-simplify]: Simplify 0 into 0 1554039959.217 * [backup-simplify]: Simplify (* (exp (exp (/ 1 x))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1554039959.217 * [backup-simplify]: Simplify 0 into 0 1554039959.220 * [backup-simplify]: Simplify (* (exp (exp (/ 1 x))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554039959.220 * [backup-simplify]: Simplify 0 into 0 1554039959.221 * [backup-simplify]: Simplify (exp (exp (/ 1 (/ 1 x)))) into (exp (exp x)) 1554039959.221 * [backup-simplify]: Simplify (exp (exp (/ 1 (- x)))) into (exp (exp (/ -1 x))) 1554039959.221 * [approximate]: Taking taylor expansion of (exp (exp (/ -1 x))) in (x) around 0 1554039959.221 * [taylor]: Taking taylor expansion of (exp (exp (/ -1 x))) in x 1554039959.221 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1554039959.221 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1554039959.221 * [taylor]: Taking taylor expansion of -1 in x 1554039959.221 * [backup-simplify]: Simplify -1 into -1 1554039959.221 * [taylor]: Taking taylor expansion of x in x 1554039959.221 * [backup-simplify]: Simplify 0 into 0 1554039959.221 * [backup-simplify]: Simplify 1 into 1 1554039959.221 * [backup-simplify]: Simplify (/ -1 1) into -1 1554039959.221 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1554039959.221 * [backup-simplify]: Simplify (exp (exp (/ -1 x))) into (exp (exp (/ -1 x))) 1554039959.221 * [taylor]: Taking taylor expansion of (exp (exp (/ -1 x))) in x 1554039959.221 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1554039959.221 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1554039959.221 * [taylor]: Taking taylor expansion of -1 in x 1554039959.221 * [backup-simplify]: Simplify -1 into -1 1554039959.221 * [taylor]: Taking taylor expansion of x in x 1554039959.221 * [backup-simplify]: Simplify 0 into 0 1554039959.221 * [backup-simplify]: Simplify 1 into 1 1554039959.222 * [backup-simplify]: Simplify (/ -1 1) into -1 1554039959.222 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1554039959.222 * [backup-simplify]: Simplify (exp (exp (/ -1 x))) into (exp (exp (/ -1 x))) 1554039959.222 * [backup-simplify]: Simplify (exp (exp (/ -1 x))) into (exp (exp (/ -1 x))) 1554039959.222 * [backup-simplify]: Simplify (* (exp (exp (/ -1 x))) (+ (* (/ (pow 0 1) 1)))) into 0 1554039959.222 * [backup-simplify]: Simplify 0 into 0 1554039959.223 * [backup-simplify]: Simplify (* (exp (exp (/ -1 x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554039959.223 * [backup-simplify]: Simplify 0 into 0 1554039959.224 * [backup-simplify]: Simplify (* (exp (exp (/ -1 x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1554039959.224 * [backup-simplify]: Simplify 0 into 0 1554039959.226 * [backup-simplify]: Simplify (* (exp (exp (/ -1 x))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554039959.226 * [backup-simplify]: Simplify 0 into 0 1554039959.228 * [backup-simplify]: Simplify (* (exp (exp (/ -1 x))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1554039959.228 * [backup-simplify]: Simplify 0 into 0 1554039959.231 * [backup-simplify]: Simplify (* (exp (exp (/ -1 x))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554039959.231 * [backup-simplify]: Simplify 0 into 0 1554039959.231 * [backup-simplify]: Simplify (exp (exp (/ -1 (/ 1 (- x))))) into (exp (exp x)) 1554039959.232 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 1554039959.232 * [backup-simplify]: Simplify (/ (exp (exp x)) E) into (/ (exp (exp x)) E) 1554039959.232 * [approximate]: Taking taylor expansion of (/ (exp (exp x)) E) in (x) around 0 1554039959.232 * [taylor]: Taking taylor expansion of (/ (exp (exp x)) E) in x 1554039959.232 * [taylor]: Taking taylor expansion of (exp (exp x)) in x 1554039959.232 * [taylor]: Taking taylor expansion of (exp x) in x 1554039959.232 * [taylor]: Taking taylor expansion of x in x 1554039959.232 * [backup-simplify]: Simplify 0 into 0 1554039959.232 * [backup-simplify]: Simplify 1 into 1 1554039959.232 * [backup-simplify]: Simplify (exp 0) into 1 1554039959.232 * [backup-simplify]: Simplify (exp 1) into E 1554039959.232 * [taylor]: Taking taylor expansion of E in x 1554039959.232 * [backup-simplify]: Simplify E into E 1554039959.232 * [backup-simplify]: Simplify (/ E E) into 1 1554039959.232 * [taylor]: Taking taylor expansion of (/ (exp (exp x)) E) in x 1554039959.232 * [taylor]: Taking taylor expansion of (exp (exp x)) in x 1554039959.232 * [taylor]: Taking taylor expansion of (exp x) in x 1554039959.232 * [taylor]: Taking taylor expansion of x in x 1554039959.232 * [backup-simplify]: Simplify 0 into 0 1554039959.232 * [backup-simplify]: Simplify 1 into 1 1554039959.232 * [backup-simplify]: Simplify (exp 0) into 1 1554039959.232 * [backup-simplify]: Simplify (exp 1) into E 1554039959.233 * [taylor]: Taking taylor expansion of E in x 1554039959.233 * [backup-simplify]: Simplify E into E 1554039959.233 * [backup-simplify]: Simplify (/ E E) into 1 1554039959.233 * [backup-simplify]: Simplify 1 into 1 1554039959.234 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1554039959.236 * [backup-simplify]: Simplify (* (exp 1) (+ (* (/ (pow 1 1) 1)))) into E 1554039959.238 * [backup-simplify]: Simplify (- (/ E E) (+ (* 1 (/ 0 E)))) into 1 1554039959.238 * [backup-simplify]: Simplify 1 into 1 1554039959.240 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1554039959.242 * [backup-simplify]: Simplify (* (exp 1) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 1/2 1) 1)))) into E 1554039959.245 * [backup-simplify]: Simplify (- (/ E E) (+ (* 1 (/ 0 E)) (* 1 (/ 0 E)))) into 1 1554039959.245 * [backup-simplify]: Simplify 1 into 1 1554039959.245 * [backup-simplify]: Simplify (+ (* 1 (pow x 2)) (+ (* 1 x) 1)) into (+ x (+ (pow x 2) 1)) 1554039959.245 * [backup-simplify]: Simplify (/ (exp (exp (/ 1 x))) E) into (/ (exp (exp (/ 1 x))) E) 1554039959.245 * [approximate]: Taking taylor expansion of (/ (exp (exp (/ 1 x))) E) in (x) around 0 1554039959.245 * [taylor]: Taking taylor expansion of (/ (exp (exp (/ 1 x))) E) in x 1554039959.245 * [taylor]: Taking taylor expansion of (exp (exp (/ 1 x))) in x 1554039959.245 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1554039959.245 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554039959.245 * [taylor]: Taking taylor expansion of x in x 1554039959.245 * [backup-simplify]: Simplify 0 into 0 1554039959.245 * [backup-simplify]: Simplify 1 into 1 1554039959.246 * [backup-simplify]: Simplify (/ 1 1) into 1 1554039959.246 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1554039959.246 * [backup-simplify]: Simplify (exp (exp (/ 1 x))) into (exp (exp (/ 1 x))) 1554039959.246 * [taylor]: Taking taylor expansion of E in x 1554039959.246 * [backup-simplify]: Simplify E into E 1554039959.246 * [backup-simplify]: Simplify (/ (exp (exp (/ 1 x))) E) into (/ (exp (exp (/ 1 x))) E) 1554039959.246 * [taylor]: Taking taylor expansion of (/ (exp (exp (/ 1 x))) E) in x 1554039959.246 * [taylor]: Taking taylor expansion of (exp (exp (/ 1 x))) in x 1554039959.246 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1554039959.246 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1554039959.246 * [taylor]: Taking taylor expansion of x in x 1554039959.246 * [backup-simplify]: Simplify 0 into 0 1554039959.246 * [backup-simplify]: Simplify 1 into 1 1554039959.246 * [backup-simplify]: Simplify (/ 1 1) into 1 1554039959.246 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1554039959.246 * [backup-simplify]: Simplify (exp (exp (/ 1 x))) into (exp (exp (/ 1 x))) 1554039959.246 * [taylor]: Taking taylor expansion of E in x 1554039959.246 * [backup-simplify]: Simplify E into E 1554039959.246 * [backup-simplify]: Simplify (/ (exp (exp (/ 1 x))) E) into (/ (exp (exp (/ 1 x))) E) 1554039959.246 * [backup-simplify]: Simplify (/ (exp (exp (/ 1 x))) E) into (/ (exp (exp (/ 1 x))) E) 1554039959.247 * [backup-simplify]: Simplify (* (exp (exp (/ 1 x))) (+ (* (/ (pow 0 1) 1)))) into 0 1554039959.248 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (exp (/ 1 x))) E) (/ 0 E)))) into 0 1554039959.248 * [backup-simplify]: Simplify 0 into 0 1554039959.248 * [backup-simplify]: Simplify (* (exp (exp (/ 1 x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554039959.249 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (exp (/ 1 x))) E) (/ 0 E)) (* 0 (/ 0 E)))) into 0 1554039959.249 * [backup-simplify]: Simplify 0 into 0 1554039959.250 * [backup-simplify]: Simplify (* (exp (exp (/ 1 x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1554039959.252 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (exp (/ 1 x))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0 1554039959.252 * [backup-simplify]: Simplify 0 into 0 1554039959.253 * [backup-simplify]: Simplify (* (exp (exp (/ 1 x))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554039959.256 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (exp (/ 1 x))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0 1554039959.256 * [backup-simplify]: Simplify 0 into 0 1554039959.258 * [backup-simplify]: Simplify (* (exp (exp (/ 1 x))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1554039959.260 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (exp (/ 1 x))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0 1554039959.260 * [backup-simplify]: Simplify 0 into 0 1554039959.264 * [backup-simplify]: Simplify (* (exp (exp (/ 1 x))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554039959.266 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (exp (/ 1 x))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0 1554039959.266 * [backup-simplify]: Simplify 0 into 0 1554039959.266 * [backup-simplify]: Simplify (/ (exp (exp (/ 1 (/ 1 x)))) E) into (/ (exp (exp x)) E) 1554039959.266 * [backup-simplify]: Simplify (/ (exp (exp (/ 1 (- x)))) E) into (/ (exp (exp (/ -1 x))) E) 1554039959.266 * [approximate]: Taking taylor expansion of (/ (exp (exp (/ -1 x))) E) in (x) around 0 1554039959.266 * [taylor]: Taking taylor expansion of (/ (exp (exp (/ -1 x))) E) in x 1554039959.266 * [taylor]: Taking taylor expansion of (exp (exp (/ -1 x))) in x 1554039959.266 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1554039959.266 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1554039959.266 * [taylor]: Taking taylor expansion of -1 in x 1554039959.266 * [backup-simplify]: Simplify -1 into -1 1554039959.266 * [taylor]: Taking taylor expansion of x in x 1554039959.266 * [backup-simplify]: Simplify 0 into 0 1554039959.266 * [backup-simplify]: Simplify 1 into 1 1554039959.267 * [backup-simplify]: Simplify (/ -1 1) into -1 1554039959.267 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1554039959.267 * [backup-simplify]: Simplify (exp (exp (/ -1 x))) into (exp (exp (/ -1 x))) 1554039959.267 * [taylor]: Taking taylor expansion of E in x 1554039959.267 * [backup-simplify]: Simplify E into E 1554039959.267 * [backup-simplify]: Simplify (/ (exp (exp (/ -1 x))) E) into (/ (exp (exp (/ -1 x))) E) 1554039959.267 * [taylor]: Taking taylor expansion of (/ (exp (exp (/ -1 x))) E) in x 1554039959.267 * [taylor]: Taking taylor expansion of (exp (exp (/ -1 x))) in x 1554039959.267 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1554039959.267 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1554039959.267 * [taylor]: Taking taylor expansion of -1 in x 1554039959.267 * [backup-simplify]: Simplify -1 into -1 1554039959.267 * [taylor]: Taking taylor expansion of x in x 1554039959.267 * [backup-simplify]: Simplify 0 into 0 1554039959.267 * [backup-simplify]: Simplify 1 into 1 1554039959.267 * [backup-simplify]: Simplify (/ -1 1) into -1 1554039959.267 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1554039959.267 * [backup-simplify]: Simplify (exp (exp (/ -1 x))) into (exp (exp (/ -1 x))) 1554039959.267 * [taylor]: Taking taylor expansion of E in x 1554039959.268 * [backup-simplify]: Simplify E into E 1554039959.268 * [backup-simplify]: Simplify (/ (exp (exp (/ -1 x))) E) into (/ (exp (exp (/ -1 x))) E) 1554039959.268 * [backup-simplify]: Simplify (/ (exp (exp (/ -1 x))) E) into (/ (exp (exp (/ -1 x))) E) 1554039959.268 * [backup-simplify]: Simplify (* (exp (exp (/ -1 x))) (+ (* (/ (pow 0 1) 1)))) into 0 1554039959.269 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (exp (/ -1 x))) E) (/ 0 E)))) into 0 1554039959.269 * [backup-simplify]: Simplify 0 into 0 1554039959.270 * [backup-simplify]: Simplify (* (exp (exp (/ -1 x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554039959.270 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (exp (/ -1 x))) E) (/ 0 E)) (* 0 (/ 0 E)))) into 0 1554039959.270 * [backup-simplify]: Simplify 0 into 0 1554039959.271 * [backup-simplify]: Simplify (* (exp (exp (/ -1 x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1554039959.273 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (exp (/ -1 x))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0 1554039959.273 * [backup-simplify]: Simplify 0 into 0 1554039959.274 * [backup-simplify]: Simplify (* (exp (exp (/ -1 x))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554039959.275 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (exp (/ -1 x))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0 1554039959.275 * [backup-simplify]: Simplify 0 into 0 1554039959.277 * [backup-simplify]: Simplify (* (exp (exp (/ -1 x))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 1554039959.279 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (exp (/ -1 x))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0 1554039959.279 * [backup-simplify]: Simplify 0 into 0 1554039959.284 * [backup-simplify]: Simplify (* (exp (exp (/ -1 x))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 1554039959.288 * [backup-simplify]: Simplify (- (/ 0 E) (+ (* (/ (exp (exp (/ -1 x))) E) (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)) (* 0 (/ 0 E)))) into 0 1554039959.288 * [backup-simplify]: Simplify 0 into 0 1554039959.288 * [backup-simplify]: Simplify (/ (exp (exp (/ -1 (/ 1 (- x))))) E) into (/ (exp (exp x)) E) 1554039959.288 * * * [progress]: simplifying candidates 1554039959.288 * * * * [progress]: [ 1 / 76 ] simplifiying candidate # 1554039959.289 * [simplify]: Simplifying (log (* (cbrt (/ (exp (exp x)) E)) (cbrt (/ (exp (exp x)) E)))) 1554039959.289 * * [simplify]: iters left: 6 (8 enodes) 1554039959.292 * * [simplify]: iters left: 5 (28 enodes) 1554039959.300 * * [simplify]: iters left: 4 (34 enodes) 1554039959.310 * * [simplify]: iters left: 3 (36 enodes) 1554039959.319 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039959.319 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039959.319 * * [simplify]: Extracting #2: cost 7 inf + 0 1554039959.319 * * [simplify]: Extracting #3: cost 9 inf + 0 1554039959.319 * * [simplify]: Extracting #4: cost 12 inf + 0 1554039959.319 * * [simplify]: Extracting #5: cost 13 inf + 1 1554039959.320 * * [simplify]: Extracting #6: cost 15 inf + 1 1554039959.320 * * [simplify]: Extracting #7: cost 13 inf + 73 1554039959.320 * * [simplify]: Extracting #8: cost 7 inf + 1052 1554039959.320 * * [simplify]: Extracting #9: cost 0 inf + 3326 1554039959.321 * [simplify]: Simplified to (log (* (cbrt (/ (exp (exp x)) E)) (cbrt (/ (exp (exp x)) E)))) 1554039959.321 * [simplify]: Simplified (2 1) to (λ (x) (+ (log (* (cbrt (/ (exp (exp x)) E)) (cbrt (/ (exp (exp x)) E)))) (log (cbrt (/ (exp (exp x)) E))))) 1554039959.321 * * * * [progress]: [ 2 / 76 ] simplifiying candidate # 1554039959.322 * [simplify]: Simplifying (log (sqrt (/ (exp (exp x)) E))) 1554039959.322 * * [simplify]: iters left: 6 (7 enodes) 1554039959.324 * * [simplify]: iters left: 5 (23 enodes) 1554039959.331 * * [simplify]: iters left: 4 (27 enodes) 1554039959.338 * * [simplify]: iters left: 3 (29 enodes) 1554039959.346 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039959.346 * * [simplify]: Extracting #1: cost 3 inf + 0 1554039959.347 * * [simplify]: Extracting #2: cost 5 inf + 0 1554039959.347 * * [simplify]: Extracting #3: cost 8 inf + 0 1554039959.347 * * [simplify]: Extracting #4: cost 9 inf + 1 1554039959.347 * * [simplify]: Extracting #5: cost 11 inf + 1 1554039959.347 * * [simplify]: Extracting #6: cost 10 inf + 2 1554039959.347 * * [simplify]: Extracting #7: cost 8 inf + 144 1554039959.347 * * [simplify]: Extracting #8: cost 2 inf + 1304 1554039959.347 * * [simplify]: Extracting #9: cost 0 inf + 1818 1554039959.348 * [simplify]: Simplified to (log (sqrt (/ (exp (exp x)) E))) 1554039959.348 * [simplify]: Simplified (2 1) to (λ (x) (+ (log (sqrt (/ (exp (exp x)) E))) (log (sqrt (/ (exp (exp x)) E))))) 1554039959.348 * * * * [progress]: [ 3 / 76 ] simplifiying candidate # 1554039959.348 * [simplify]: Simplifying (log (/ (* (cbrt (exp (exp x))) (cbrt (exp (exp x)))) (* (cbrt E) (cbrt E)))) 1554039959.348 * * [simplify]: iters left: 6 (10 enodes) 1554039959.353 * * [simplify]: iters left: 5 (41 enodes) 1554039959.366 * * [simplify]: iters left: 4 (76 enodes) 1554039959.390 * * [simplify]: iters left: 3 (116 enodes) 1554039959.423 * * [simplify]: iters left: 2 (149 enodes) 1554039959.455 * * [simplify]: iters left: 1 (192 enodes) 1554039959.494 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039959.494 * * [simplify]: Extracting #1: cost 20 inf + 0 1554039959.494 * * [simplify]: Extracting #2: cost 44 inf + 0 1554039959.494 * * [simplify]: Extracting #3: cost 55 inf + 0 1554039959.495 * * [simplify]: Extracting #4: cost 52 inf + 435 1554039959.495 * * [simplify]: Extracting #5: cost 46 inf + 1893 1554039959.496 * * [simplify]: Extracting #6: cost 43 inf + 2196 1554039959.501 * * [simplify]: Extracting #7: cost 18 inf + 10815 1554039959.503 * * [simplify]: Extracting #8: cost 1 inf + 17525 1554039959.505 * * [simplify]: Extracting #9: cost 0 inf + 18017 1554039959.508 * [simplify]: Simplified to (log (* (/ (cbrt (exp (exp x))) (cbrt E)) (/ (cbrt (exp (exp x))) (cbrt E)))) 1554039959.508 * [simplify]: Simplified (2 1) to (λ (x) (+ (log (* (/ (cbrt (exp (exp x))) (cbrt E)) (/ (cbrt (exp (exp x))) (cbrt E)))) (log (/ (cbrt (exp (exp x))) (cbrt E))))) 1554039959.508 * * * * [progress]: [ 4 / 76 ] simplifiying candidate # 1554039959.508 * [simplify]: Simplifying (log (/ (* (cbrt (exp (exp x))) (cbrt (exp (exp x)))) (sqrt E))) 1554039959.508 * * [simplify]: iters left: 6 (9 enodes) 1554039959.510 * * [simplify]: iters left: 5 (34 enodes) 1554039959.515 * * [simplify]: iters left: 4 (52 enodes) 1554039959.523 * * [simplify]: iters left: 3 (71 enodes) 1554039959.537 * * [simplify]: iters left: 2 (80 enodes) 1554039959.558 * * [simplify]: iters left: 1 (89 enodes) 1554039959.576 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039959.576 * * [simplify]: Extracting #1: cost 11 inf + 0 1554039959.576 * * [simplify]: Extracting #2: cost 24 inf + 0 1554039959.576 * * [simplify]: Extracting #3: cost 31 inf + 0 1554039959.576 * * [simplify]: Extracting #4: cost 32 inf + 1 1554039959.576 * * [simplify]: Extracting #5: cost 29 inf + 456 1554039959.576 * * [simplify]: Extracting #6: cost 26 inf + 679 1554039959.577 * * [simplify]: Extracting #7: cost 17 inf + 2648 1554039959.577 * * [simplify]: Extracting #8: cost 3 inf + 7502 1554039959.578 * * [simplify]: Extracting #9: cost 0 inf + 8477 1554039959.579 * [simplify]: Simplified to (log (/ (cbrt (exp (exp x))) (/ (sqrt E) (cbrt (exp (exp x)))))) 1554039959.579 * [simplify]: Simplified (2 1) to (λ (x) (+ (log (/ (cbrt (exp (exp x))) (/ (sqrt E) (cbrt (exp (exp x)))))) (log (/ (cbrt (exp (exp x))) (sqrt E))))) 1554039959.579 * * * * [progress]: [ 5 / 76 ] simplifiying candidate # 1554039959.580 * [simplify]: Simplifying (log (/ (* (cbrt (exp (exp x))) (cbrt (exp (exp x)))) 1)) 1554039959.580 * * [simplify]: iters left: 6 (8 enodes) 1554039959.582 * * [simplify]: iters left: 5 (29 enodes) 1554039959.587 * * [simplify]: iters left: 4 (43 enodes) 1554039959.593 * * [simplify]: iters left: 3 (54 enodes) 1554039959.607 * * [simplify]: iters left: 2 (63 enodes) 1554039959.622 * * [simplify]: iters left: 1 (64 enodes) 1554039959.635 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039959.635 * * [simplify]: Extracting #1: cost 7 inf + 0 1554039959.635 * * [simplify]: Extracting #2: cost 12 inf + 1 1554039959.635 * * [simplify]: Extracting #3: cost 14 inf + 2 1554039959.635 * * [simplify]: Extracting #4: cost 16 inf + 2 1554039959.635 * * [simplify]: Extracting #5: cost 18 inf + 2 1554039959.636 * * [simplify]: Extracting #6: cost 17 inf + 3 1554039959.636 * * [simplify]: Extracting #7: cost 15 inf + 145 1554039959.636 * * [simplify]: Extracting #8: cost 10 inf + 1131 1554039959.637 * * [simplify]: Extracting #9: cost 3 inf + 3199 1554039959.638 * * [simplify]: Extracting #10: cost 0 inf + 4192 1554039959.639 * [simplify]: Simplified to (+ (log (cbrt (exp (exp x)))) (log (cbrt (exp (exp x))))) 1554039959.639 * [simplify]: Simplified (2 1) to (λ (x) (+ (+ (log (cbrt (exp (exp x)))) (log (cbrt (exp (exp x))))) (log (/ (cbrt (exp (exp x))) E)))) 1554039959.639 * * * * [progress]: [ 6 / 76 ] simplifiying candidate # 1554039959.639 * [simplify]: Simplifying (log (/ (sqrt (exp (exp x))) (* (cbrt E) (cbrt E)))) 1554039959.640 * * [simplify]: iters left: 6 (9 enodes) 1554039959.643 * * [simplify]: iters left: 5 (34 enodes) 1554039959.654 * * [simplify]: iters left: 4 (50 enodes) 1554039959.668 * * [simplify]: iters left: 3 (62 enodes) 1554039959.685 * * [simplify]: iters left: 2 (69 enodes) 1554039959.703 * * [simplify]: iters left: 1 (76 enodes) 1554039959.724 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039959.724 * * [simplify]: Extracting #1: cost 13 inf + 0 1554039959.724 * * [simplify]: Extracting #2: cost 28 inf + 0 1554039959.724 * * [simplify]: Extracting #3: cost 34 inf + 0 1554039959.724 * * [simplify]: Extracting #4: cost 34 inf + 82 1554039959.725 * * [simplify]: Extracting #5: cost 28 inf + 1360 1554039959.725 * * [simplify]: Extracting #6: cost 19 inf + 2969 1554039959.726 * * [simplify]: Extracting #7: cost 9 inf + 5443 1554039959.728 * * [simplify]: Extracting #8: cost 1 inf + 8397 1554039959.731 * * [simplify]: Extracting #9: cost 0 inf + 8699 1554039959.732 * [simplify]: Simplified to (log (/ (sqrt (exp (exp x))) (* (cbrt E) (cbrt E)))) 1554039959.733 * [simplify]: Simplified (2 1) to (λ (x) (+ (log (/ (sqrt (exp (exp x))) (* (cbrt E) (cbrt E)))) (log (/ (sqrt (exp (exp x))) (cbrt E))))) 1554039959.733 * * * * [progress]: [ 7 / 76 ] simplifiying candidate # 1554039959.733 * [simplify]: Simplifying (log (/ (sqrt (exp (exp x))) (sqrt E))) 1554039959.733 * * [simplify]: iters left: 6 (8 enodes) 1554039959.736 * * [simplify]: iters left: 5 (29 enodes) 1554039959.745 * * [simplify]: iters left: 4 (39 enodes) 1554039959.758 * * [simplify]: iters left: 3 (44 enodes) 1554039959.769 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039959.770 * * [simplify]: Extracting #1: cost 6 inf + 0 1554039959.770 * * [simplify]: Extracting #2: cost 12 inf + 0 1554039959.770 * * [simplify]: Extracting #3: cost 16 inf + 0 1554039959.770 * * [simplify]: Extracting #4: cost 16 inf + 42 1554039959.770 * * [simplify]: Extracting #5: cost 16 inf + 194 1554039959.770 * * [simplify]: Extracting #6: cost 12 inf + 608 1554039959.770 * * [simplify]: Extracting #7: cost 10 inf + 750 1554039959.771 * * [simplify]: Extracting #8: cost 7 inf + 1213 1554039959.771 * * [simplify]: Extracting #9: cost 1 inf + 2752 1554039959.772 * * [simplify]: Extracting #10: cost 0 inf + 3084 1554039959.773 * [simplify]: Simplified to (log (/ (sqrt (exp (exp x))) (sqrt E))) 1554039959.773 * [simplify]: Simplified (2 1) to (λ (x) (+ (log (/ (sqrt (exp (exp x))) (sqrt E))) (log (/ (sqrt (exp (exp x))) (sqrt E))))) 1554039959.773 * * * * [progress]: [ 8 / 76 ] simplifiying candidate # 1554039959.773 * [simplify]: Simplifying (log (/ (sqrt (exp (exp x))) 1)) 1554039959.773 * * [simplify]: iters left: 6 (7 enodes) 1554039959.777 * * [simplify]: iters left: 5 (24 enodes) 1554039959.784 * * [simplify]: iters left: 4 (28 enodes) 1554039959.791 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039959.791 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039959.791 * * [simplify]: Extracting #2: cost 6 inf + 1 1554039959.791 * * [simplify]: Extracting #3: cost 7 inf + 2 1554039959.791 * * [simplify]: Extracting #4: cost 9 inf + 2 1554039959.792 * * [simplify]: Extracting #5: cost 8 inf + 3 1554039959.792 * * [simplify]: Extracting #6: cost 4 inf + 427 1554039959.792 * * [simplify]: Extracting #7: cost 2 inf + 859 1554039959.792 * * [simplify]: Extracting #8: cost 0 inf + 1291 1554039959.792 * [simplify]: Simplified to (log (sqrt (exp (exp x)))) 1554039959.793 * [simplify]: Simplified (2 1) to (λ (x) (+ (log (sqrt (exp (exp x)))) (log (/ (sqrt (exp (exp x))) E)))) 1554039959.793 * * * * [progress]: [ 9 / 76 ] simplifiying candidate # 1554039959.793 * [simplify]: Simplifying (log (/ 1 (* (cbrt E) (cbrt E)))) 1554039959.793 * * [simplify]: iters left: 6 (6 enodes) 1554039959.795 * * [simplify]: iters left: 5 (27 enodes) 1554039959.800 * * [simplify]: iters left: 4 (37 enodes) 1554039959.805 * * [simplify]: iters left: 3 (44 enodes) 1554039959.811 * * [simplify]: iters left: 2 (50 enodes) 1554039959.819 * * [simplify]: iters left: 1 (65 enodes) 1554039959.835 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039959.835 * * [simplify]: Extracting #1: cost 7 inf + 0 1554039959.835 * * [simplify]: Extracting #2: cost 14 inf + 1 1554039959.835 * * [simplify]: Extracting #3: cost 17 inf + 2 1554039959.835 * * [simplify]: Extracting #4: cost 16 inf + 3 1554039959.836 * * [simplify]: Extracting #5: cost 8 inf + 1282 1554039959.836 * * [simplify]: Extracting #6: cost 0 inf + 2503 1554039959.837 * [simplify]: Simplified to (- (- (log (cbrt E))) (log (cbrt E))) 1554039959.837 * [simplify]: Simplified (2 1) to (λ (x) (+ (- (- (log (cbrt E))) (log (cbrt E))) (log (/ (exp (exp x)) (cbrt E))))) 1554039959.837 * * * * [progress]: [ 10 / 76 ] simplifiying candidate # 1554039959.838 * [simplify]: Simplifying (log (/ 1 (sqrt E))) 1554039959.838 * * [simplify]: iters left: 4 (5 enodes) 1554039959.841 * * [simplify]: iters left: 3 (22 enodes) 1554039959.847 * * [simplify]: iters left: 2 (26 enodes) 1554039959.853 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039959.853 * * [simplify]: Extracting #1: cost 5 inf + 0 1554039959.853 * * [simplify]: Extracting #2: cost 8 inf + 1 1554039959.853 * * [simplify]: Extracting #3: cost 9 inf + 2 1554039959.854 * * [simplify]: Extracting #4: cost 8 inf + 3 1554039959.854 * * [simplify]: Extracting #5: cost 4 inf + 307 1554039959.854 * * [simplify]: Extracting #6: cost 2 inf + 540 1554039959.854 * * [simplify]: Extracting #7: cost 0 inf + 773 1554039959.854 * [simplify]: Simplified to (- (log (sqrt E))) 1554039959.854 * [simplify]: Simplified (2 1) to (λ (x) (+ (- (log (sqrt E))) (log (/ (exp (exp x)) (sqrt E))))) 1554039959.854 * * * * [progress]: [ 11 / 76 ] simplifiying candidate # 1554039959.855 * [simplify]: Simplifying (log (/ 1 1)) 1554039959.855 * * [simplify]: iters left: 3 (3 enodes) 1554039959.859 * * [simplify]: iters left: 2 (12 enodes) 1554039959.861 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039959.861 * * [simplify]: Extracting #1: cost 0 inf + 1 1554039959.861 * [simplify]: Simplified to 0 1554039959.861 * [simplify]: Simplified (2 1) to (λ (x) (+ 0 (log (/ (exp (exp x)) E)))) 1554039959.861 * * * * [progress]: [ 12 / 76 ] simplifiying candidate # 1554039959.862 * [simplify]: Simplifying (log 1) 1554039959.862 * * [simplify]: iters left: 1 (2 enodes) 1554039959.864 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039959.864 * * [simplify]: Extracting #1: cost 0 inf + 1 1554039959.864 * [simplify]: Simplified to 0 1554039959.864 * [simplify]: Simplified (2 1) to (λ (x) (+ 0 (log (/ (exp (exp x)) E)))) 1554039959.864 * * * * [progress]: [ 13 / 76 ] simplifiying candidate # 1554039959.864 * [simplify]: Simplifying (log (exp (exp x))) 1554039959.864 * * [simplify]: iters left: 3 (4 enodes) 1554039959.866 * * [simplify]: iters left: 2 (10 enodes) 1554039959.869 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039959.869 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039959.869 * * [simplify]: Extracting #2: cost 4 inf + 1 1554039959.869 * * [simplify]: Extracting #3: cost 2 inf + 143 1554039959.869 * * [simplify]: Extracting #4: cost 0 inf + 425 1554039959.869 * [simplify]: Simplified to (exp x) 1554039959.869 * [simplify]: Simplified (2 1) to (λ (x) (+ (exp x) (log (/ 1 E)))) 1554039959.869 * * * * [progress]: [ 14 / 76 ] simplifiying candidate # 1554039959.869 * [simplify]: Simplifying (log (exp (exp x))) 1554039959.870 * * [simplify]: iters left: 3 (4 enodes) 1554039959.871 * * [simplify]: iters left: 2 (10 enodes) 1554039959.874 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039959.874 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039959.874 * * [simplify]: Extracting #2: cost 4 inf + 1 1554039959.874 * * [simplify]: Extracting #3: cost 2 inf + 143 1554039959.874 * * [simplify]: Extracting #4: cost 0 inf + 425 1554039959.874 * [simplify]: Simplified to (exp x) 1554039959.874 * [simplify]: Simplified (2 1) to (λ (x) (- (exp x) (log E))) 1554039959.874 * * * * [progress]: [ 15 / 76 ] simplifiying candidate # 1554039959.874 * * * * [progress]: [ 16 / 76 ] simplifiying candidate # 1554039959.874 * * * * [progress]: [ 17 / 76 ] simplifiying candidate # 1554039959.875 * [simplify]: Simplifying (exp x) 1554039959.875 * * [simplify]: iters left: 1 (2 enodes) 1554039959.876 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039959.876 * * [simplify]: Extracting #1: cost 3 inf + 0 1554039959.876 * * [simplify]: Extracting #2: cost 2 inf + 1 1554039959.876 * * [simplify]: Extracting #3: cost 0 inf + 143 1554039959.876 * [simplify]: Simplified to (exp x) 1554039959.876 * [simplify]: Simplified (2 1) to (λ (x) (- (exp x) 1)) 1554039959.876 * * * * [progress]: [ 18 / 76 ] simplifiying candidate # 1554039959.876 * [simplify]: Simplifying (exp x) 1554039959.876 * * [simplify]: iters left: 1 (2 enodes) 1554039959.877 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039959.877 * * [simplify]: Extracting #1: cost 3 inf + 0 1554039959.877 * * [simplify]: Extracting #2: cost 2 inf + 1 1554039959.877 * * [simplify]: Extracting #3: cost 0 inf + 143 1554039959.877 * [simplify]: Simplified to (exp x) 1554039959.877 * [simplify]: Simplified (2 1) to (λ (x) (- (exp x) (log E))) 1554039959.877 * * * * [progress]: [ 19 / 76 ] simplifiying candidate # 1554039959.877 * [simplify]: Simplifying (/ (exp (exp x)) E) 1554039959.878 * * [simplify]: iters left: 4 (5 enodes) 1554039959.879 * * [simplify]: iters left: 3 (17 enodes) 1554039959.886 * * [simplify]: iters left: 2 (21 enodes) 1554039959.892 * * [simplify]: iters left: 1 (23 enodes) 1554039959.898 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039959.899 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039959.899 * * [simplify]: Extracting #2: cost 5 inf + 1 1554039959.899 * * [simplify]: Extracting #3: cost 7 inf + 1 1554039959.899 * * [simplify]: Extracting #4: cost 6 inf + 2 1554039959.899 * * [simplify]: Extracting #5: cost 0 inf + 790 1554039959.899 * [simplify]: Simplified to (/ (exp (exp x)) E) 1554039959.899 * [simplify]: Simplified (2 1) to (λ (x) (log (/ (exp (exp x)) E))) 1554039959.899 * * * * [progress]: [ 20 / 76 ] simplifiying candidate # 1554039959.899 * * * * [progress]: [ 21 / 76 ] simplifiying candidate # 1554039959.899 * * * * [progress]: [ 22 / 76 ] simplifiying candidate # 1554039959.899 * * * * [progress]: [ 23 / 76 ] simplifiying candidate # 1554039959.899 * * * * [progress]: [ 24 / 76 ] simplifiying candidate # 1554039959.900 * * * * [progress]: [ 25 / 76 ] simplifiying candidate # 1554039959.900 * * * * [progress]: [ 26 / 76 ] simplifiying candidate #real (real->posit16 (log (/ (exp (exp x)) E)))))> 1554039959.900 * * * * [progress]: [ 27 / 76 ] simplifiying candidate # 1554039959.900 * * * * [progress]: [ 28 / 76 ] simplifiying candidate # 1554039959.900 * [simplify]: Simplifying (exp (* (cbrt (exp x)) (cbrt (exp x)))) 1554039959.900 * * [simplify]: iters left: 5 (5 enodes) 1554039959.902 * * [simplify]: iters left: 4 (17 enodes) 1554039959.907 * * [simplify]: iters left: 3 (23 enodes) 1554039959.914 * * [simplify]: iters left: 2 (34 enodes) 1554039959.926 * * [simplify]: iters left: 1 (58 enodes) 1554039959.945 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039959.946 * * [simplify]: Extracting #1: cost 12 inf + 0 1554039959.946 * * [simplify]: Extracting #2: cost 36 inf + 0 1554039959.946 * * [simplify]: Extracting #3: cost 46 inf + 2 1554039959.946 * * [simplify]: Extracting #4: cost 42 inf + 76 1554039959.947 * * [simplify]: Extracting #5: cost 21 inf + 4592 1554039959.949 * * [simplify]: Extracting #6: cost 2 inf + 13864 1554039959.952 * * [simplify]: Extracting #7: cost 0 inf + 15391 1554039959.955 * [simplify]: Simplified to (exp (* (cbrt (exp x)) (cbrt (exp x)))) 1554039959.955 * [simplify]: Simplified (2 1 1 1) to (λ (x) (log (/ (pow (exp (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))) E))) 1554039959.955 * * * * [progress]: [ 29 / 76 ] simplifiying candidate # 1554039959.955 * [simplify]: Simplifying (exp (sqrt (exp x))) 1554039959.955 * * [simplify]: iters left: 3 (4 enodes) 1554039959.957 * * [simplify]: iters left: 2 (12 enodes) 1554039959.960 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039959.960 * * [simplify]: Extracting #1: cost 3 inf + 0 1554039959.960 * * [simplify]: Extracting #2: cost 5 inf + 0 1554039959.960 * * [simplify]: Extracting #3: cost 7 inf + 0 1554039959.961 * * [simplify]: Extracting #4: cost 6 inf + 1 1554039959.961 * * [simplify]: Extracting #5: cost 0 inf + 727 1554039959.961 * [simplify]: Simplified to (exp (sqrt (exp x))) 1554039959.961 * [simplify]: Simplified (2 1 1 1) to (λ (x) (log (/ (pow (exp (sqrt (exp x))) (sqrt (exp x))) E))) 1554039959.961 * * * * [progress]: [ 30 / 76 ] simplifiying candidate # 1554039959.961 * [simplify]: Simplifying (exp 1) 1554039959.961 * * [simplify]: iters left: 1 (2 enodes) 1554039959.963 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039959.963 * * [simplify]: Extracting #1: cost 0 inf + 1 1554039959.963 * [simplify]: Simplified to E 1554039959.963 * [simplify]: Simplified (2 1 1 1) to (λ (x) (log (/ (pow E (exp x)) E))) 1554039959.963 * * * * [progress]: [ 31 / 76 ] simplifiying candidate # 1554039959.963 * [simplify]: Simplifying (exp x) 1554039959.963 * * [simplify]: iters left: 1 (2 enodes) 1554039959.964 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039959.964 * * [simplify]: Extracting #1: cost 3 inf + 0 1554039959.964 * * [simplify]: Extracting #2: cost 2 inf + 1 1554039959.964 * * [simplify]: Extracting #3: cost 0 inf + 143 1554039959.964 * [simplify]: Simplified to (exp x) 1554039959.965 * [simplify]: Simplified (2 1 1 1) to (λ (x) (log (/ (exp (exp x)) E))) 1554039959.965 * * * * [progress]: [ 32 / 76 ] simplifiying candidate # 1554039959.965 * * * * [progress]: [ 33 / 76 ] simplifiying candidate # 1554039959.965 * * * * [progress]: [ 34 / 76 ] simplifiying candidate # 1554039959.965 * * * * [progress]: [ 35 / 76 ] simplifiying candidate # 1554039959.965 * * * * [progress]: [ 36 / 76 ] simplifiying candidate # 1554039959.965 * * * * [progress]: [ 37 / 76 ] simplifiying candidate # 1554039959.965 * * * * [progress]: [ 38 / 76 ] simplifiying candidate #real (real->posit16 (exp (exp x)))) E)))> 1554039959.965 * * * * [progress]: [ 39 / 76 ] simplifiying candidate # 1554039959.965 * * * * [progress]: [ 40 / 76 ] simplifiying candidate # 1554039959.965 * [simplify]: Simplifying (- (exp x) 1) 1554039959.965 * * [simplify]: iters left: 3 (4 enodes) 1554039959.968 * * [simplify]: iters left: 2 (17 enodes) 1554039959.974 * * [simplify]: iters left: 1 (21 enodes) 1554039959.981 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039959.981 * * [simplify]: Extracting #1: cost 5 inf + 0 1554039959.981 * * [simplify]: Extracting #2: cost 5 inf + 2 1554039959.981 * * [simplify]: Extracting #3: cost 4 inf + 3 1554039959.981 * * [simplify]: Extracting #4: cost 0 inf + 369 1554039959.981 * [simplify]: Simplified to (- (exp x) 1) 1554039959.982 * [simplify]: Simplified (2 1 1) to (λ (x) (log (exp (- (exp x) 1)))) 1554039959.982 * * * * [progress]: [ 41 / 76 ] simplifiying candidate # 1554039959.982 * [simplify]: Simplifying (- (exp x) (log E)) 1554039959.982 * * [simplify]: iters left: 3 (5 enodes) 1554039959.985 * * [simplify]: iters left: 2 (18 enodes) 1554039959.990 * * [simplify]: iters left: 1 (24 enodes) 1554039959.997 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039959.997 * * [simplify]: Extracting #1: cost 5 inf + 0 1554039959.997 * * [simplify]: Extracting #2: cost 5 inf + 2 1554039959.997 * * [simplify]: Extracting #3: cost 4 inf + 3 1554039959.997 * * [simplify]: Extracting #4: cost 0 inf + 369 1554039959.997 * [simplify]: Simplified to (- (exp x) 1) 1554039959.998 * [simplify]: Simplified (2 1 1) to (λ (x) (log (exp (- (exp x) 1)))) 1554039959.998 * * * * [progress]: [ 42 / 76 ] simplifiying candidate # 1554039959.998 * * * * [progress]: [ 43 / 76 ] simplifiying candidate # 1554039959.998 * * * * [progress]: [ 44 / 76 ] simplifiying candidate # 1554039959.998 * [simplify]: Simplifying (/ (* (* (exp (exp x)) (exp (exp x))) (exp (exp x))) (* (* E E) E)) 1554039959.998 * * [simplify]: iters left: 6 (9 enodes) 1554039960.002 * * [simplify]: iters left: 5 (40 enodes) 1554039960.016 * * [simplify]: iters left: 4 (90 enodes) 1554039960.050 * * [simplify]: iters left: 3 (170 enodes) 1554039960.097 * * [simplify]: iters left: 2 (272 enodes) 1554039960.181 * * [simplify]: iters left: 1 (452 enodes) 1554039960.357 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039960.358 * * [simplify]: Extracting #1: cost 79 inf + 0 1554039960.358 * * [simplify]: Extracting #2: cost 196 inf + 124 1554039960.359 * * [simplify]: Extracting #3: cost 205 inf + 461 1554039960.361 * * [simplify]: Extracting #4: cost 135 inf + 28045 1554039960.373 * * [simplify]: Extracting #5: cost 15 inf + 89425 1554039960.396 * * [simplify]: Extracting #6: cost 0 inf + 98000 1554039960.415 * [simplify]: Simplified to (* (/ (exp (exp x)) E) (* (/ (exp (exp x)) E) (/ (exp (exp x)) E))) 1554039960.415 * [simplify]: Simplified (2 1 1) to (λ (x) (log (cbrt (* (/ (exp (exp x)) E) (* (/ (exp (exp x)) E) (/ (exp (exp x)) E)))))) 1554039960.415 * * * * [progress]: [ 45 / 76 ] simplifiying candidate # 1554039960.415 * * * * [progress]: [ 46 / 76 ] simplifiying candidate # 1554039960.415 * * * * [progress]: [ 47 / 76 ] simplifiying candidate # 1554039960.415 * * * * [progress]: [ 48 / 76 ] simplifiying candidate # 1554039960.415 * * * * [progress]: [ 49 / 76 ] simplifiying candidate # 1554039960.415 * [simplify]: Simplifying (/ (* (cbrt (exp (exp x))) (cbrt (exp (exp x)))) (* (cbrt E) (cbrt E))) 1554039960.416 * * [simplify]: iters left: 6 (9 enodes) 1554039960.420 * * [simplify]: iters left: 5 (35 enodes) 1554039960.431 * * [simplify]: iters left: 4 (54 enodes) 1554039960.446 * * [simplify]: iters left: 3 (63 enodes) 1554039960.461 * * [simplify]: iters left: 2 (66 enodes) 1554039960.471 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039960.471 * * [simplify]: Extracting #1: cost 11 inf + 0 1554039960.471 * * [simplify]: Extracting #2: cost 22 inf + 0 1554039960.471 * * [simplify]: Extracting #3: cost 23 inf + 1 1554039960.471 * * [simplify]: Extracting #4: cost 21 inf + 405 1554039960.471 * * [simplify]: Extracting #5: cost 19 inf + 477 1554039960.472 * * [simplify]: Extracting #6: cost 6 inf + 4047 1554039960.472 * * [simplify]: Extracting #7: cost 1 inf + 5836 1554039960.473 * * [simplify]: Extracting #8: cost 0 inf + 6218 1554039960.473 * [simplify]: Simplified to (* (/ (cbrt (exp (exp x))) (cbrt E)) (/ (cbrt (exp (exp x))) (cbrt E))) 1554039960.473 * [simplify]: Simplified (2 1 1) to (λ (x) (log (* (* (/ (cbrt (exp (exp x))) (cbrt E)) (/ (cbrt (exp (exp x))) (cbrt E))) (/ (cbrt (exp (exp x))) (cbrt E))))) 1554039960.474 * [simplify]: Simplifying (/ (cbrt (exp (exp x))) (cbrt E)) 1554039960.474 * * [simplify]: iters left: 5 (7 enodes) 1554039960.475 * * [simplify]: iters left: 4 (23 enodes) 1554039960.479 * * [simplify]: iters left: 3 (27 enodes) 1554039960.483 * * [simplify]: iters left: 2 (29 enodes) 1554039960.487 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039960.487 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039960.487 * * [simplify]: Extracting #2: cost 8 inf + 0 1554039960.487 * * [simplify]: Extracting #3: cost 9 inf + 1 1554039960.488 * * [simplify]: Extracting #4: cost 10 inf + 82 1554039960.488 * * [simplify]: Extracting #5: cost 8 inf + 164 1554039960.488 * * [simplify]: Extracting #6: cost 6 inf + 306 1554039960.488 * * [simplify]: Extracting #7: cost 0 inf + 1714 1554039960.488 * [simplify]: Simplified to (/ (cbrt (exp (exp x))) (cbrt E)) 1554039960.488 * [simplify]: Simplified (2 1 2) to (λ (x) (log (* (* (/ (cbrt (exp (exp x))) (cbrt E)) (/ (cbrt (exp (exp x))) (cbrt E))) (/ (cbrt (exp (exp x))) (cbrt E))))) 1554039960.488 * * * * [progress]: [ 50 / 76 ] simplifiying candidate # 1554039960.488 * [simplify]: Simplifying (/ (* (cbrt (exp (exp x))) (cbrt (exp (exp x)))) (sqrt E)) 1554039960.488 * * [simplify]: iters left: 6 (8 enodes) 1554039960.491 * * [simplify]: iters left: 5 (28 enodes) 1554039960.500 * * [simplify]: iters left: 4 (36 enodes) 1554039960.512 * * [simplify]: iters left: 3 (41 enodes) 1554039960.523 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039960.523 * * [simplify]: Extracting #1: cost 7 inf + 0 1554039960.523 * * [simplify]: Extracting #2: cost 14 inf + 0 1554039960.523 * * [simplify]: Extracting #3: cost 15 inf + 1 1554039960.523 * * [simplify]: Extracting #4: cost 15 inf + 83 1554039960.523 * * [simplify]: Extracting #5: cost 13 inf + 155 1554039960.523 * * [simplify]: Extracting #6: cost 8 inf + 1031 1554039960.524 * * [simplify]: Extracting #7: cost 0 inf + 3364 1554039960.525 * [simplify]: Simplified to (/ (cbrt (exp (exp x))) (/ (sqrt E) (cbrt (exp (exp x))))) 1554039960.525 * [simplify]: Simplified (2 1 1) to (λ (x) (log (* (/ (cbrt (exp (exp x))) (/ (sqrt E) (cbrt (exp (exp x))))) (/ (cbrt (exp (exp x))) (sqrt E))))) 1554039960.525 * [simplify]: Simplifying (/ (cbrt (exp (exp x))) (sqrt E)) 1554039960.525 * * [simplify]: iters left: 5 (7 enodes) 1554039960.528 * * [simplify]: iters left: 4 (23 enodes) 1554039960.535 * * [simplify]: iters left: 3 (27 enodes) 1554039960.542 * * [simplify]: iters left: 2 (29 enodes) 1554039960.546 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039960.546 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039960.546 * * [simplify]: Extracting #2: cost 8 inf + 0 1554039960.546 * * [simplify]: Extracting #3: cost 9 inf + 1 1554039960.546 * * [simplify]: Extracting #4: cost 10 inf + 42 1554039960.546 * * [simplify]: Extracting #5: cost 8 inf + 84 1554039960.546 * * [simplify]: Extracting #6: cost 6 inf + 226 1554039960.547 * * [simplify]: Extracting #7: cost 0 inf + 1554 1554039960.547 * [simplify]: Simplified to (/ (cbrt (exp (exp x))) (sqrt E)) 1554039960.547 * [simplify]: Simplified (2 1 2) to (λ (x) (log (* (/ (* (cbrt (exp (exp x))) (cbrt (exp (exp x)))) (sqrt E)) (/ (cbrt (exp (exp x))) (sqrt E))))) 1554039960.547 * * * * [progress]: [ 51 / 76 ] simplifiying candidate # 1554039960.547 * [simplify]: Simplifying (/ (* (cbrt (exp (exp x))) (cbrt (exp (exp x)))) 1) 1554039960.547 * * [simplify]: iters left: 6 (7 enodes) 1554039960.549 * * [simplify]: iters left: 5 (23 enodes) 1554039960.554 * * [simplify]: iters left: 4 (33 enodes) 1554039960.559 * * [simplify]: iters left: 3 (34 enodes) 1554039960.564 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039960.564 * * [simplify]: Extracting #1: cost 5 inf + 0 1554039960.564 * * [simplify]: Extracting #2: cost 7 inf + 1 1554039960.564 * * [simplify]: Extracting #3: cost 9 inf + 1 1554039960.564 * * [simplify]: Extracting #4: cost 11 inf + 1 1554039960.564 * * [simplify]: Extracting #5: cost 10 inf + 2 1554039960.565 * * [simplify]: Extracting #6: cost 1 inf + 1653 1554039960.565 * * [simplify]: Extracting #7: cost 0 inf + 1914 1554039960.565 * [simplify]: Simplified to (* (cbrt (exp (exp x))) (cbrt (exp (exp x)))) 1554039960.565 * [simplify]: Simplified (2 1 1) to (λ (x) (log (* (* (cbrt (exp (exp x))) (cbrt (exp (exp x)))) (/ (cbrt (exp (exp x))) E)))) 1554039960.565 * [simplify]: Simplifying (/ (cbrt (exp (exp x))) E) 1554039960.565 * * [simplify]: iters left: 5 (6 enodes) 1554039960.567 * * [simplify]: iters left: 4 (20 enodes) 1554039960.570 * * [simplify]: iters left: 3 (24 enodes) 1554039960.573 * * [simplify]: iters left: 2 (26 enodes) 1554039960.577 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039960.577 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039960.577 * * [simplify]: Extracting #2: cost 5 inf + 1 1554039960.577 * * [simplify]: Extracting #3: cost 7 inf + 1 1554039960.577 * * [simplify]: Extracting #4: cost 9 inf + 1 1554039960.577 * * [simplify]: Extracting #5: cost 8 inf + 2 1554039960.577 * * [simplify]: Extracting #6: cost 0 inf + 1392 1554039960.577 * [simplify]: Simplified to (/ (cbrt (exp (exp x))) E) 1554039960.577 * [simplify]: Simplified (2 1 2) to (λ (x) (log (* (* (cbrt (exp (exp x))) (cbrt (exp (exp x)))) (/ (cbrt (exp (exp x))) E)))) 1554039960.578 * * * * [progress]: [ 52 / 76 ] simplifiying candidate # 1554039960.578 * [simplify]: Simplifying (/ (sqrt (exp (exp x))) (* (cbrt E) (cbrt E))) 1554039960.578 * * [simplify]: iters left: 5 (8 enodes) 1554039960.579 * * [simplify]: iters left: 4 (28 enodes) 1554039960.584 * * [simplify]: iters left: 3 (34 enodes) 1554039960.589 * * [simplify]: iters left: 2 (36 enodes) 1554039960.598 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039960.598 * * [simplify]: Extracting #1: cost 6 inf + 0 1554039960.598 * * [simplify]: Extracting #2: cost 12 inf + 0 1554039960.599 * * [simplify]: Extracting #3: cost 13 inf + 1 1554039960.599 * * [simplify]: Extracting #4: cost 14 inf + 82 1554039960.599 * * [simplify]: Extracting #5: cost 10 inf + 406 1554039960.599 * * [simplify]: Extracting #6: cost 9 inf + 477 1554039960.599 * * [simplify]: Extracting #7: cost 3 inf + 1695 1554039960.600 * * [simplify]: Extracting #8: cost 0 inf + 2480 1554039960.600 * [simplify]: Simplified to (/ (sqrt (exp (exp x))) (* (cbrt E) (cbrt E))) 1554039960.600 * [simplify]: Simplified (2 1 1) to (λ (x) (log (* (/ (sqrt (exp (exp x))) (* (cbrt E) (cbrt E))) (/ (sqrt (exp (exp x))) (cbrt E))))) 1554039960.601 * [simplify]: Simplifying (/ (sqrt (exp (exp x))) (cbrt E)) 1554039960.601 * * [simplify]: iters left: 5 (7 enodes) 1554039960.604 * * [simplify]: iters left: 4 (23 enodes) 1554039960.608 * * [simplify]: iters left: 3 (27 enodes) 1554039960.612 * * [simplify]: iters left: 2 (29 enodes) 1554039960.618 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039960.618 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039960.618 * * [simplify]: Extracting #2: cost 8 inf + 0 1554039960.618 * * [simplify]: Extracting #3: cost 9 inf + 1 1554039960.618 * * [simplify]: Extracting #4: cost 10 inf + 82 1554039960.618 * * [simplify]: Extracting #5: cost 8 inf + 164 1554039960.618 * * [simplify]: Extracting #6: cost 6 inf + 306 1554039960.619 * * [simplify]: Extracting #7: cost 0 inf + 1554 1554039960.619 * [simplify]: Simplified to (/ (sqrt (exp (exp x))) (cbrt E)) 1554039960.619 * [simplify]: Simplified (2 1 2) to (λ (x) (log (* (/ (sqrt (exp (exp x))) (* (cbrt E) (cbrt E))) (/ (sqrt (exp (exp x))) (cbrt E))))) 1554039960.619 * * * * [progress]: [ 53 / 76 ] simplifiying candidate # 1554039960.619 * [simplify]: Simplifying (/ (sqrt (exp (exp x))) (sqrt E)) 1554039960.619 * * [simplify]: iters left: 5 (7 enodes) 1554039960.621 * * [simplify]: iters left: 4 (23 enodes) 1554039960.624 * * [simplify]: iters left: 3 (27 enodes) 1554039960.628 * * [simplify]: iters left: 2 (29 enodes) 1554039960.637 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039960.637 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039960.637 * * [simplify]: Extracting #2: cost 8 inf + 0 1554039960.637 * * [simplify]: Extracting #3: cost 9 inf + 1 1554039960.637 * * [simplify]: Extracting #4: cost 10 inf + 42 1554039960.637 * * [simplify]: Extracting #5: cost 8 inf + 84 1554039960.637 * * [simplify]: Extracting #6: cost 6 inf + 226 1554039960.638 * * [simplify]: Extracting #7: cost 0 inf + 1394 1554039960.638 * [simplify]: Simplified to (/ (sqrt (exp (exp x))) (sqrt E)) 1554039960.638 * [simplify]: Simplified (2 1 1) to (λ (x) (log (* (/ (sqrt (exp (exp x))) (sqrt E)) (/ (sqrt (exp (exp x))) (sqrt E))))) 1554039960.638 * [simplify]: Simplifying (/ (sqrt (exp (exp x))) (sqrt E)) 1554039960.639 * * [simplify]: iters left: 5 (7 enodes) 1554039960.642 * * [simplify]: iters left: 4 (23 enodes) 1554039960.648 * * [simplify]: iters left: 3 (27 enodes) 1554039960.656 * * [simplify]: iters left: 2 (29 enodes) 1554039960.664 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039960.664 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039960.664 * * [simplify]: Extracting #2: cost 8 inf + 0 1554039960.664 * * [simplify]: Extracting #3: cost 9 inf + 1 1554039960.665 * * [simplify]: Extracting #4: cost 10 inf + 42 1554039960.665 * * [simplify]: Extracting #5: cost 8 inf + 84 1554039960.665 * * [simplify]: Extracting #6: cost 6 inf + 226 1554039960.665 * * [simplify]: Extracting #7: cost 0 inf + 1394 1554039960.665 * [simplify]: Simplified to (/ (sqrt (exp (exp x))) (sqrt E)) 1554039960.665 * [simplify]: Simplified (2 1 2) to (λ (x) (log (* (/ (sqrt (exp (exp x))) (sqrt E)) (/ (sqrt (exp (exp x))) (sqrt E))))) 1554039960.665 * * * * [progress]: [ 54 / 76 ] simplifiying candidate # 1554039960.666 * [simplify]: Simplifying (/ (sqrt (exp (exp x))) 1) 1554039960.666 * * [simplify]: iters left: 5 (6 enodes) 1554039960.667 * * [simplify]: iters left: 4 (18 enodes) 1554039960.671 * * [simplify]: iters left: 3 (20 enodes) 1554039960.674 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039960.674 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039960.674 * * [simplify]: Extracting #2: cost 5 inf + 1 1554039960.674 * * [simplify]: Extracting #3: cost 7 inf + 1 1554039960.674 * * [simplify]: Extracting #4: cost 6 inf + 2 1554039960.674 * * [simplify]: Extracting #5: cost 0 inf + 788 1554039960.674 * [simplify]: Simplified to (sqrt (exp (exp x))) 1554039960.674 * [simplify]: Simplified (2 1 1) to (λ (x) (log (* (sqrt (exp (exp x))) (/ (sqrt (exp (exp x))) E)))) 1554039960.674 * [simplify]: Simplifying (/ (sqrt (exp (exp x))) E) 1554039960.674 * * [simplify]: iters left: 5 (6 enodes) 1554039960.675 * * [simplify]: iters left: 4 (20 enodes) 1554039960.679 * * [simplify]: iters left: 3 (24 enodes) 1554039960.682 * * [simplify]: iters left: 2 (26 enodes) 1554039960.686 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039960.686 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039960.686 * * [simplify]: Extracting #2: cost 5 inf + 1 1554039960.686 * * [simplify]: Extracting #3: cost 7 inf + 1 1554039960.686 * * [simplify]: Extracting #4: cost 9 inf + 1 1554039960.686 * * [simplify]: Extracting #5: cost 8 inf + 2 1554039960.686 * * [simplify]: Extracting #6: cost 0 inf + 1232 1554039960.687 * [simplify]: Simplified to (/ (sqrt (exp (exp x))) E) 1554039960.687 * [simplify]: Simplified (2 1 2) to (λ (x) (log (* (sqrt (exp (exp x))) (/ (sqrt (exp (exp x))) E)))) 1554039960.687 * * * * [progress]: [ 55 / 76 ] simplifiying candidate # 1554039960.687 * [simplify]: Simplifying (/ 1 (* (cbrt E) (cbrt E))) 1554039960.687 * * [simplify]: iters left: 5 (5 enodes) 1554039960.688 * * [simplify]: iters left: 4 (20 enodes) 1554039960.692 * * [simplify]: iters left: 3 (24 enodes) 1554039960.695 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039960.695 * * [simplify]: Extracting #1: cost 6 inf + 0 1554039960.695 * * [simplify]: Extracting #2: cost 9 inf + 1 1554039960.695 * * [simplify]: Extracting #3: cost 8 inf + 2 1554039960.695 * * [simplify]: Extracting #4: cost 0 inf + 974 1554039960.696 * [simplify]: Simplified to (/ 1 (* (cbrt E) (cbrt E))) 1554039960.696 * [simplify]: Simplified (2 1 1) to (λ (x) (log (* (/ 1 (* (cbrt E) (cbrt E))) (/ (exp (exp x)) (cbrt E))))) 1554039960.696 * [simplify]: Simplifying (/ (exp (exp x)) (cbrt E)) 1554039960.696 * * [simplify]: iters left: 4 (6 enodes) 1554039960.697 * * [simplify]: iters left: 3 (20 enodes) 1554039960.700 * * [simplify]: iters left: 2 (24 enodes) 1554039960.706 * * [simplify]: iters left: 1 (26 enodes) 1554039960.713 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039960.713 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039960.713 * * [simplify]: Extracting #2: cost 8 inf + 0 1554039960.714 * * [simplify]: Extracting #3: cost 7 inf + 163 1554039960.714 * * [simplify]: Extracting #4: cost 6 inf + 164 1554039960.714 * * [simplify]: Extracting #5: cost 0 inf + 1112 1554039960.714 * [simplify]: Simplified to (/ (exp (exp x)) (cbrt E)) 1554039960.714 * [simplify]: Simplified (2 1 2) to (λ (x) (log (* (/ 1 (* (cbrt E) (cbrt E))) (/ (exp (exp x)) (cbrt E))))) 1554039960.714 * * * * [progress]: [ 56 / 76 ] simplifiying candidate # 1554039960.715 * [simplify]: Simplifying (/ 1 (sqrt E)) 1554039960.715 * * [simplify]: iters left: 3 (4 enodes) 1554039960.717 * * [simplify]: iters left: 2 (15 enodes) 1554039960.721 * * [simplify]: iters left: 1 (17 enodes) 1554039960.726 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039960.726 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039960.726 * * [simplify]: Extracting #2: cost 5 inf + 1 1554039960.726 * * [simplify]: Extracting #3: cost 0 inf + 248 1554039960.726 * [simplify]: Simplified to (/ 1 (sqrt E)) 1554039960.726 * [simplify]: Simplified (2 1 1) to (λ (x) (log (* (/ 1 (sqrt E)) (/ (exp (exp x)) (sqrt E))))) 1554039960.727 * [simplify]: Simplifying (/ (exp (exp x)) (sqrt E)) 1554039960.727 * * [simplify]: iters left: 4 (6 enodes) 1554039960.729 * * [simplify]: iters left: 3 (20 enodes) 1554039960.732 * * [simplify]: iters left: 2 (24 enodes) 1554039960.737 * * [simplify]: iters left: 1 (26 enodes) 1554039960.740 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039960.740 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039960.740 * * [simplify]: Extracting #2: cost 8 inf + 0 1554039960.740 * * [simplify]: Extracting #3: cost 7 inf + 83 1554039960.740 * * [simplify]: Extracting #4: cost 6 inf + 84 1554039960.741 * * [simplify]: Extracting #5: cost 0 inf + 952 1554039960.741 * [simplify]: Simplified to (/ (exp (exp x)) (sqrt E)) 1554039960.741 * [simplify]: Simplified (2 1 2) to (λ (x) (log (* (/ 1 (sqrt E)) (/ (exp (exp x)) (sqrt E))))) 1554039960.741 * * * * [progress]: [ 57 / 76 ] simplifiying candidate # 1554039960.741 * [simplify]: Simplifying (/ 1 1) 1554039960.741 * * [simplify]: iters left: 2 (2 enodes) 1554039960.742 * * [simplify]: iters left: 1 (6 enodes) 1554039960.743 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039960.743 * * [simplify]: Extracting #1: cost 0 inf + 1 1554039960.743 * [simplify]: Simplified to 1 1554039960.743 * [simplify]: Simplified (2 1 1) to (λ (x) (log (* 1 (/ (exp (exp x)) E)))) 1554039960.743 * [simplify]: Simplifying (/ (exp (exp x)) E) 1554039960.743 * * [simplify]: iters left: 4 (5 enodes) 1554039960.744 * * [simplify]: iters left: 3 (17 enodes) 1554039960.747 * * [simplify]: iters left: 2 (21 enodes) 1554039960.750 * * [simplify]: iters left: 1 (23 enodes) 1554039960.753 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039960.753 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039960.753 * * [simplify]: Extracting #2: cost 5 inf + 1 1554039960.753 * * [simplify]: Extracting #3: cost 7 inf + 1 1554039960.754 * * [simplify]: Extracting #4: cost 6 inf + 2 1554039960.754 * * [simplify]: Extracting #5: cost 0 inf + 790 1554039960.754 * [simplify]: Simplified to (/ (exp (exp x)) E) 1554039960.754 * [simplify]: Simplified (2 1 2) to (λ (x) (log (* 1 (/ (exp (exp x)) E)))) 1554039960.754 * * * * [progress]: [ 58 / 76 ] simplifiying candidate # 1554039960.754 * * * * [progress]: [ 59 / 76 ] simplifiying candidate # 1554039960.754 * * * * [progress]: [ 60 / 76 ] simplifiying candidate # 1554039960.754 * * * * [progress]: [ 61 / 76 ] simplifiying candidate # 1554039960.754 * [simplify]: Simplifying (cbrt E) 1554039960.754 * * [simplify]: iters left: 1 (2 enodes) 1554039960.755 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039960.755 * * [simplify]: Extracting #1: cost 3 inf + 0 1554039960.755 * * [simplify]: Extracting #2: cost 2 inf + 1 1554039960.755 * * [simplify]: Extracting #3: cost 0 inf + 163 1554039960.755 * [simplify]: Simplified to (cbrt E) 1554039960.755 * [simplify]: Simplified (2 1 2) to (λ (x) (log (/ (/ (exp (exp x)) (* (cbrt E) (cbrt E))) (cbrt E)))) 1554039960.755 * * * * [progress]: [ 62 / 76 ] simplifiying candidate # 1554039960.755 * [simplify]: Simplifying (sqrt E) 1554039960.755 * * [simplify]: iters left: 1 (2 enodes) 1554039960.755 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039960.755 * * [simplify]: Extracting #1: cost 3 inf + 0 1554039960.755 * * [simplify]: Extracting #2: cost 2 inf + 1 1554039960.755 * * [simplify]: Extracting #3: cost 0 inf + 83 1554039960.756 * [simplify]: Simplified to (sqrt E) 1554039960.756 * [simplify]: Simplified (2 1 2) to (λ (x) (log (/ (/ (exp (exp x)) (sqrt E)) (sqrt E)))) 1554039960.756 * * * * [progress]: [ 63 / 76 ] simplifiying candidate # 1554039960.756 * * * * [progress]: [ 64 / 76 ] simplifiying candidate # 1554039960.756 * [simplify]: Simplifying (* (cbrt (exp (exp x))) (cbrt (exp (exp x)))) 1554039960.756 * * [simplify]: iters left: 5 (5 enodes) 1554039960.757 * * [simplify]: iters left: 4 (15 enodes) 1554039960.759 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039960.759 * * [simplify]: Extracting #1: cost 3 inf + 0 1554039960.759 * * [simplify]: Extracting #2: cost 5 inf + 0 1554039960.759 * * [simplify]: Extracting #3: cost 7 inf + 0 1554039960.759 * * [simplify]: Extracting #4: cost 9 inf + 0 1554039960.759 * * [simplify]: Extracting #5: cost 8 inf + 1 1554039960.759 * * [simplify]: Extracting #6: cost 0 inf + 1389 1554039960.760 * [simplify]: Simplified to (* (cbrt (exp (exp x))) (cbrt (exp (exp x)))) 1554039960.760 * [simplify]: Simplified (2 1 1) to (λ (x) (log (/ (* (cbrt (exp (exp x))) (cbrt (exp (exp x)))) (/ E (cbrt (exp (exp x))))))) 1554039960.760 * * * * [progress]: [ 65 / 76 ] simplifiying candidate # 1554039960.760 * [simplify]: Simplifying (sqrt (exp (exp x))) 1554039960.760 * * [simplify]: iters left: 3 (4 enodes) 1554039960.761 * * [simplify]: iters left: 2 (12 enodes) 1554039960.764 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039960.764 * * [simplify]: Extracting #1: cost 3 inf + 0 1554039960.764 * * [simplify]: Extracting #2: cost 5 inf + 0 1554039960.764 * * [simplify]: Extracting #3: cost 7 inf + 0 1554039960.764 * * [simplify]: Extracting #4: cost 6 inf + 1 1554039960.764 * * [simplify]: Extracting #5: cost 0 inf + 787 1554039960.764 * [simplify]: Simplified to (sqrt (exp (exp x))) 1554039960.765 * [simplify]: Simplified (2 1 1) to (λ (x) (log (/ (sqrt (exp (exp x))) (/ E (sqrt (exp (exp x))))))) 1554039960.765 * * * * [progress]: [ 66 / 76 ] simplifiying candidate # 1554039960.765 * * * * [progress]: [ 67 / 76 ] simplifiying candidate #real (real->posit16 (/ (exp (exp x)) E)))))> 1554039960.765 * * * * [progress]: [ 68 / 76 ] simplifiying candidate # 1554039960.765 * [simplify]: Simplifying (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))) 1554039960.765 * * [simplify]: iters left: 6 (11 enodes) 1554039960.772 * * [simplify]: iters left: 5 (50 enodes) 1554039960.791 * * [simplify]: iters left: 4 (92 enodes) 1554039960.820 * * [simplify]: iters left: 3 (173 enodes) 1554039960.853 * * [simplify]: iters left: 2 (302 enodes) 1554039960.987 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039960.987 * * [simplify]: Extracting #1: cost 10 inf + 0 1554039960.987 * * [simplify]: Extracting #2: cost 51 inf + 1 1554039960.987 * * [simplify]: Extracting #3: cost 103 inf + 129 1554039960.988 * * [simplify]: Extracting #4: cost 80 inf + 2291 1554039960.990 * * [simplify]: Extracting #5: cost 22 inf + 21895 1554039960.994 * * [simplify]: Extracting #6: cost 0 inf + 32338 1554039960.997 * * [simplify]: Extracting #7: cost 0 inf + 32207 1554039961.000 * [simplify]: Simplified to (+ x (* (* x x) (+ (* x 1/6) 1/2))) 1554039961.001 * [simplify]: Simplified (2) to (λ (x) (+ x (* (* x x) (+ (* x 1/6) 1/2)))) 1554039961.001 * * * * [progress]: [ 69 / 76 ] simplifiying candidate # 1554039961.001 * [simplify]: Simplifying (log (/ (exp (exp x)) E)) 1554039961.001 * * [simplify]: iters left: 5 (6 enodes) 1554039961.004 * * [simplify]: iters left: 4 (23 enodes) 1554039961.010 * * [simplify]: iters left: 3 (27 enodes) 1554039961.018 * * [simplify]: iters left: 2 (29 enodes) 1554039961.025 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039961.026 * * [simplify]: Extracting #1: cost 5 inf + 0 1554039961.026 * * [simplify]: Extracting #2: cost 9 inf + 1 1554039961.026 * * [simplify]: Extracting #3: cost 8 inf + 3 1554039961.026 * * [simplify]: Extracting #4: cost 1 inf + 903 1554039961.026 * * [simplify]: Extracting #5: cost 0 inf + 1015 1554039961.026 * [simplify]: Simplified to (- (exp x) 1) 1554039961.027 * [simplify]: Simplified (2) to (λ (x) (- (exp x) 1)) 1554039961.027 * * * * [progress]: [ 70 / 76 ] simplifiying candidate # 1554039961.027 * [simplify]: Simplifying (log (/ (exp (exp x)) E)) 1554039961.027 * * [simplify]: iters left: 5 (6 enodes) 1554039961.029 * * [simplify]: iters left: 4 (23 enodes) 1554039961.036 * * [simplify]: iters left: 3 (27 enodes) 1554039961.044 * * [simplify]: iters left: 2 (29 enodes) 1554039961.051 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039961.051 * * [simplify]: Extracting #1: cost 5 inf + 0 1554039961.051 * * [simplify]: Extracting #2: cost 9 inf + 1 1554039961.051 * * [simplify]: Extracting #3: cost 8 inf + 3 1554039961.052 * * [simplify]: Extracting #4: cost 1 inf + 903 1554039961.052 * * [simplify]: Extracting #5: cost 0 inf + 1015 1554039961.052 * [simplify]: Simplified to (- (exp x) 1) 1554039961.052 * [simplify]: Simplified (2) to (λ (x) (- (exp x) 1)) 1554039961.052 * * * * [progress]: [ 71 / 76 ] simplifiying candidate # 1554039961.053 * [simplify]: Simplifying (+ (* (pow x 2) E) (+ E (* x E))) 1554039961.053 * * [simplify]: iters left: 6 (8 enodes) 1554039961.058 * * [simplify]: iters left: 5 (38 enodes) 1554039961.066 * * [simplify]: iters left: 4 (62 enodes) 1554039961.080 * * [simplify]: iters left: 3 (94 enodes) 1554039961.108 * * [simplify]: iters left: 2 (105 enodes) 1554039961.122 * * [simplify]: iters left: 1 (122 enodes) 1554039961.139 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039961.139 * * [simplify]: Extracting #1: cost 12 inf + 0 1554039961.139 * * [simplify]: Extracting #2: cost 23 inf + 1 1554039961.139 * * [simplify]: Extracting #3: cost 25 inf + 45 1554039961.140 * * [simplify]: Extracting #4: cost 7 inf + 1436 1554039961.140 * * [simplify]: Extracting #5: cost 0 inf + 2330 1554039961.141 * [simplify]: Simplified to (+ (* E (+ x (* x x))) E) 1554039961.141 * [simplify]: Simplified (2 1 1) to (λ (x) (log (/ (+ (* E (+ x (* x x))) E) E))) 1554039961.141 * * * * [progress]: [ 72 / 76 ] simplifiying candidate # 1554039961.141 * [simplify]: Simplifying (exp (exp x)) 1554039961.141 * * [simplify]: iters left: 2 (3 enodes) 1554039961.142 * * [simplify]: iters left: 1 (9 enodes) 1554039961.143 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039961.143 * * [simplify]: Extracting #1: cost 3 inf + 0 1554039961.143 * * [simplify]: Extracting #2: cost 5 inf + 0 1554039961.143 * * [simplify]: Extracting #3: cost 4 inf + 1 1554039961.143 * * [simplify]: Extracting #4: cost 0 inf + 425 1554039961.143 * [simplify]: Simplified to (exp (exp x)) 1554039961.143 * [simplify]: Simplified (2 1 1) to (λ (x) (log (/ (exp (exp x)) E))) 1554039961.143 * * * * [progress]: [ 73 / 76 ] simplifiying candidate # 1554039961.143 * [simplify]: Simplifying (exp (exp x)) 1554039961.143 * * [simplify]: iters left: 2 (3 enodes) 1554039961.144 * * [simplify]: iters left: 1 (9 enodes) 1554039961.146 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039961.146 * * [simplify]: Extracting #1: cost 3 inf + 0 1554039961.146 * * [simplify]: Extracting #2: cost 5 inf + 0 1554039961.146 * * [simplify]: Extracting #3: cost 4 inf + 1 1554039961.146 * * [simplify]: Extracting #4: cost 0 inf + 425 1554039961.146 * [simplify]: Simplified to (exp (exp x)) 1554039961.146 * [simplify]: Simplified (2 1 1) to (λ (x) (log (/ (exp (exp x)) E))) 1554039961.146 * * * * [progress]: [ 74 / 76 ] simplifiying candidate # 1554039961.147 * [simplify]: Simplifying (+ x (+ (pow x 2) 1)) 1554039961.147 * * [simplify]: iters left: 5 (6 enodes) 1554039961.151 * * [simplify]: iters left: 4 (28 enodes) 1554039961.160 * * [simplify]: iters left: 3 (39 enodes) 1554039961.173 * * [simplify]: iters left: 2 (45 enodes) 1554039961.179 * * [simplify]: iters left: 1 (51 enodes) 1554039961.185 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039961.185 * * [simplify]: Extracting #1: cost 8 inf + 0 1554039961.185 * * [simplify]: Extracting #2: cost 11 inf + 2 1554039961.185 * * [simplify]: Extracting #3: cost 1 inf + 697 1554039961.186 * * [simplify]: Extracting #4: cost 0 inf + 739 1554039961.186 * [simplify]: Simplified to (+ x (+ 1 (* x x))) 1554039961.186 * [simplify]: Simplified (2 1) to (λ (x) (log (+ x (+ 1 (* x x))))) 1554039961.186 * * * * [progress]: [ 75 / 76 ] simplifiying candidate # 1554039961.186 * [simplify]: Simplifying (/ (exp (exp x)) E) 1554039961.186 * * [simplify]: iters left: 4 (5 enodes) 1554039961.187 * * [simplify]: iters left: 3 (17 enodes) 1554039961.190 * * [simplify]: iters left: 2 (21 enodes) 1554039961.193 * * [simplify]: iters left: 1 (23 enodes) 1554039961.196 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039961.196 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039961.196 * * [simplify]: Extracting #2: cost 5 inf + 1 1554039961.196 * * [simplify]: Extracting #3: cost 7 inf + 1 1554039961.196 * * [simplify]: Extracting #4: cost 6 inf + 2 1554039961.196 * * [simplify]: Extracting #5: cost 0 inf + 790 1554039961.196 * [simplify]: Simplified to (/ (exp (exp x)) E) 1554039961.196 * [simplify]: Simplified (2 1) to (λ (x) (log (/ (exp (exp x)) E))) 1554039961.196 * * * * [progress]: [ 76 / 76 ] simplifiying candidate # 1554039961.197 * [simplify]: Simplifying (/ (exp (exp x)) E) 1554039961.197 * * [simplify]: iters left: 4 (5 enodes) 1554039961.198 * * [simplify]: iters left: 3 (17 enodes) 1554039961.200 * * [simplify]: iters left: 2 (21 enodes) 1554039961.204 * * [simplify]: iters left: 1 (23 enodes) 1554039961.210 * * [simplify]: Extracting #0: cost 1 inf + 0 1554039961.210 * * [simplify]: Extracting #1: cost 4 inf + 0 1554039961.210 * * [simplify]: Extracting #2: cost 5 inf + 1 1554039961.210 * * [simplify]: Extracting #3: cost 7 inf + 1 1554039961.210 * * [simplify]: Extracting #4: cost 6 inf + 2 1554039961.210 * * [simplify]: Extracting #5: cost 0 inf + 790 1554039961.210 * [simplify]: Simplified to (/ (exp (exp x)) E) 1554039961.210 * [simplify]: Simplified (2 1) to (λ (x) (log (/ (exp (exp x)) E))) 1554039961.211 * * * [progress]: adding candidates to table 1554039961.691 * [progress]: [Phase 3 of 3] Extracting. 1554039961.691 * * [regime]: Finding splitpoints for: (# # #) 1554039961.691 * * * [regime-changes]: Trying 3 branch expressions: (x (exp x) (- (exp x) 1)) 1554039961.691 * * * * [regimes]: Trying to branch on x from (# # #) 1554039961.719 * * * * [regimes]: Trying to branch on (exp x) from (# # #) 1554039961.736 * * * * [regimes]: Trying to branch on (exp x) from (# #) 1554039961.758 * * * * [regimes]: Trying to branch on (- (exp x) 1) from (# # #) 1554039961.796 * * * [regime]: Found split indices: #