0.002 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.069 * * * [progress]: [2/2] Setting up program. 0.072 * [progress]: [Phase 2 of 3] Improving. 0.072 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.073 * [simplify]: Simplifying (- (* (+ x 1) (+ x 1)) 1) 0.074 * * [simplify]: iters left: 6 (5 enodes) 0.081 * * [simplify]: iters left: 5 (30 enodes) 0.088 * * [simplify]: iters left: 4 (66 enodes) 0.129 * * [simplify]: iters left: 3 (92 enodes) 0.144 * * [simplify]: iters left: 2 (163 enodes) 0.217 * * [simplify]: iters left: 1 (429 enodes) 0.527 * * [simplify]: Extracting #0: cost 1 inf + 0 0.527 * * [simplify]: Extracting #1: cost 72 inf + 0 0.528 * * [simplify]: Extracting #2: cost 193 inf + 254 0.531 * * [simplify]: Extracting #3: cost 106 inf + 8249 0.536 * * [simplify]: Extracting #4: cost 3 inf + 19850 0.542 * * [simplify]: Extracting #5: cost 0 inf + 20259 0.549 * [simplify]: Simplified to (* (+ 2 x) x) 0.549 * [simplify]: Simplified (2) to (λ (x) (* (+ 2 x) x)) 0.560 * * [progress]: iteration 1 / 4 0.560 * * * [progress]: picking best candidate 0.562 * * * * [pick]: Picked # 0.562 * * * [progress]: localizing error 0.569 * * * [progress]: generating rewritten candidates 0.569 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.586 * * * [progress]: generating series expansions 0.587 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.590 * [backup-simplify]: Simplify (* (+ 2 x) x) into (* x (+ x 2)) 0.590 * [approximate]: Taking taylor expansion of (* x (+ x 2)) in (x) around 0 0.591 * [taylor]: Taking taylor expansion of (* x (+ x 2)) in x 0.591 * [taylor]: Taking taylor expansion of x in x 0.591 * [backup-simplify]: Simplify 0 into 0 0.591 * [backup-simplify]: Simplify 1 into 1 0.591 * [taylor]: Taking taylor expansion of (+ x 2) in x 0.591 * [taylor]: Taking taylor expansion of x in x 0.591 * [backup-simplify]: Simplify 0 into 0 0.591 * [backup-simplify]: Simplify 1 into 1 0.591 * [taylor]: Taking taylor expansion of 2 in x 0.591 * [backup-simplify]: Simplify 2 into 2 0.591 * [taylor]: Taking taylor expansion of (* x (+ x 2)) in x 0.591 * [taylor]: Taking taylor expansion of x in x 0.591 * [backup-simplify]: Simplify 0 into 0 0.591 * [backup-simplify]: Simplify 1 into 1 0.591 * [taylor]: Taking taylor expansion of (+ x 2) in x 0.591 * [taylor]: Taking taylor expansion of x in x 0.591 * [backup-simplify]: Simplify 0 into 0 0.592 * [backup-simplify]: Simplify 1 into 1 0.592 * [taylor]: Taking taylor expansion of 2 in x 0.592 * [backup-simplify]: Simplify 2 into 2 0.593 * [backup-simplify]: Simplify (+ 0 2) into 2 0.593 * [backup-simplify]: Simplify (* 0 2) into 0 0.593 * [backup-simplify]: Simplify 0 into 0 0.593 * [backup-simplify]: Simplify (+ 1 0) into 1 0.594 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 2)) into 2 0.594 * [backup-simplify]: Simplify 2 into 2 0.594 * [backup-simplify]: Simplify (+ 0 0) into 0 0.594 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 2))) into 1 0.595 * [backup-simplify]: Simplify 1 into 1 0.595 * [backup-simplify]: Simplify (+ 0 0) into 0 0.596 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 2)))) into 0 0.596 * [backup-simplify]: Simplify 0 into 0 0.596 * [backup-simplify]: Simplify (+ 0 0) into 0 0.597 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 2))))) into 0 0.597 * [backup-simplify]: Simplify 0 into 0 0.597 * [backup-simplify]: Simplify (+ 0 0) into 0 0.598 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 2)))))) into 0 0.598 * [backup-simplify]: Simplify 0 into 0 0.598 * [backup-simplify]: Simplify (+ 0 0) into 0 0.599 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 2))))))) into 0 0.599 * [backup-simplify]: Simplify 0 into 0 0.599 * [backup-simplify]: Simplify (+ 0 0) into 0 0.600 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 2)))))))) into 0 0.600 * [backup-simplify]: Simplify 0 into 0 0.601 * [backup-simplify]: Simplify (+ 0 0) into 0 0.602 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 2))))))))) into 0 0.602 * [backup-simplify]: Simplify 0 into 0 0.602 * [backup-simplify]: Simplify (+ (* 1 (pow x 2)) (* 2 x)) into (+ (* 2 x) (pow x 2)) 0.603 * [backup-simplify]: Simplify (* (+ 2 (/ 1 x)) (/ 1 x)) into (/ (+ (/ 1 x) 2) x) 0.603 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 2) x) in (x) around 0 0.603 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 2) x) in x 0.603 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2) in x 0.603 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.603 * [taylor]: Taking taylor expansion of x in x 0.603 * [backup-simplify]: Simplify 0 into 0 0.603 * [backup-simplify]: Simplify 1 into 1 0.603 * [backup-simplify]: Simplify (/ 1 1) into 1 0.603 * [taylor]: Taking taylor expansion of 2 in x 0.603 * [backup-simplify]: Simplify 2 into 2 0.603 * [taylor]: Taking taylor expansion of x in x 0.603 * [backup-simplify]: Simplify 0 into 0 0.603 * [backup-simplify]: Simplify 1 into 1 0.604 * [backup-simplify]: Simplify (+ 1 0) into 1 0.604 * [backup-simplify]: Simplify (/ 1 1) into 1 0.604 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 2) x) in x 0.604 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2) in x 0.604 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.604 * [taylor]: Taking taylor expansion of x in x 0.604 * [backup-simplify]: Simplify 0 into 0 0.604 * [backup-simplify]: Simplify 1 into 1 0.604 * [backup-simplify]: Simplify (/ 1 1) into 1 0.604 * [taylor]: Taking taylor expansion of 2 in x 0.604 * [backup-simplify]: Simplify 2 into 2 0.604 * [taylor]: Taking taylor expansion of x in x 0.604 * [backup-simplify]: Simplify 0 into 0 0.604 * [backup-simplify]: Simplify 1 into 1 0.604 * [backup-simplify]: Simplify (+ 1 0) into 1 0.605 * [backup-simplify]: Simplify (/ 1 1) into 1 0.605 * [backup-simplify]: Simplify 1 into 1 0.605 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.606 * [backup-simplify]: Simplify (+ 0 2) into 2 0.606 * [backup-simplify]: Simplify (- (/ 2 1) (+ (* 1 (/ 0 1)))) into 2 0.606 * [backup-simplify]: Simplify 2 into 2 0.607 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.607 * [backup-simplify]: Simplify (+ 0 0) into 0 0.608 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 2 (/ 0 1)))) into 0 0.608 * [backup-simplify]: Simplify 0 into 0 0.608 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.608 * [backup-simplify]: Simplify (+ 0 0) into 0 0.609 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.609 * [backup-simplify]: Simplify 0 into 0 0.610 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.610 * [backup-simplify]: Simplify (+ 0 0) into 0 0.610 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.610 * [backup-simplify]: Simplify 0 into 0 0.611 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.611 * [backup-simplify]: Simplify (+ 0 0) into 0 0.612 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.612 * [backup-simplify]: Simplify 0 into 0 0.612 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.613 * [backup-simplify]: Simplify (+ 0 0) into 0 0.613 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.613 * [backup-simplify]: Simplify 0 into 0 0.614 * [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 0.614 * [backup-simplify]: Simplify (+ 0 0) into 0 0.615 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.615 * [backup-simplify]: Simplify 0 into 0 0.615 * [backup-simplify]: Simplify (+ (* 2 (/ 1 (/ 1 x))) (* 1 (pow (/ 1 (/ 1 x)) 2))) into (+ (* 2 x) (pow x 2)) 0.616 * [backup-simplify]: Simplify (* (+ 2 (/ 1 (- x))) (/ 1 (- x))) into (* -1 (/ (- 2 (/ 1 x)) x)) 0.616 * [approximate]: Taking taylor expansion of (* -1 (/ (- 2 (/ 1 x)) x)) in (x) around 0 0.616 * [taylor]: Taking taylor expansion of (* -1 (/ (- 2 (/ 1 x)) x)) in x 0.616 * [taylor]: Taking taylor expansion of -1 in x 0.616 * [backup-simplify]: Simplify -1 into -1 0.616 * [taylor]: Taking taylor expansion of (/ (- 2 (/ 1 x)) x) in x 0.616 * [taylor]: Taking taylor expansion of (- 2 (/ 1 x)) in x 0.616 * [taylor]: Taking taylor expansion of 2 in x 0.616 * [backup-simplify]: Simplify 2 into 2 0.616 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.616 * [taylor]: Taking taylor expansion of x in x 0.616 * [backup-simplify]: Simplify 0 into 0 0.616 * [backup-simplify]: Simplify 1 into 1 0.616 * [backup-simplify]: Simplify (/ 1 1) into 1 0.616 * [taylor]: Taking taylor expansion of x in x 0.616 * [backup-simplify]: Simplify 0 into 0 0.616 * [backup-simplify]: Simplify 1 into 1 0.616 * [backup-simplify]: Simplify (- 1) into -1 0.617 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.617 * [backup-simplify]: Simplify (/ -1 1) into -1 0.617 * [taylor]: Taking taylor expansion of (* -1 (/ (- 2 (/ 1 x)) x)) in x 0.617 * [taylor]: Taking taylor expansion of -1 in x 0.617 * [backup-simplify]: Simplify -1 into -1 0.617 * [taylor]: Taking taylor expansion of (/ (- 2 (/ 1 x)) x) in x 0.617 * [taylor]: Taking taylor expansion of (- 2 (/ 1 x)) in x 0.617 * [taylor]: Taking taylor expansion of 2 in x 0.617 * [backup-simplify]: Simplify 2 into 2 0.617 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.617 * [taylor]: Taking taylor expansion of x in x 0.617 * [backup-simplify]: Simplify 0 into 0 0.617 * [backup-simplify]: Simplify 1 into 1 0.617 * [backup-simplify]: Simplify (/ 1 1) into 1 0.617 * [taylor]: Taking taylor expansion of x in x 0.617 * [backup-simplify]: Simplify 0 into 0 0.617 * [backup-simplify]: Simplify 1 into 1 0.618 * [backup-simplify]: Simplify (- 1) into -1 0.618 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.618 * [backup-simplify]: Simplify (/ -1 1) into -1 0.618 * [backup-simplify]: Simplify (* -1 -1) into 1 0.618 * [backup-simplify]: Simplify 1 into 1 0.619 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.619 * [backup-simplify]: Simplify (- 0) into 0 0.619 * [backup-simplify]: Simplify (+ 2 0) into 2 0.620 * [backup-simplify]: Simplify (- (/ 2 1) (+ (* -1 (/ 0 1)))) into 2 0.620 * [backup-simplify]: Simplify (+ (* -1 2) (* 0 -1)) into -2 0.620 * [backup-simplify]: Simplify -2 into -2 0.621 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.621 * [backup-simplify]: Simplify (- 0) into 0 0.621 * [backup-simplify]: Simplify (+ 0 0) into 0 0.622 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 0 1)))) into 0 0.622 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 2) (* 0 -1))) into 0 0.622 * [backup-simplify]: Simplify 0 into 0 0.623 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.623 * [backup-simplify]: Simplify (- 0) into 0 0.623 * [backup-simplify]: Simplify (+ 0 0) into 0 0.624 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.625 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 2) (* 0 -1)))) into 0 0.625 * [backup-simplify]: Simplify 0 into 0 0.625 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.625 * [backup-simplify]: Simplify (- 0) into 0 0.626 * [backup-simplify]: Simplify (+ 0 0) into 0 0.626 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.627 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2) (* 0 -1))))) into 0 0.627 * [backup-simplify]: Simplify 0 into 0 0.628 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.628 * [backup-simplify]: Simplify (- 0) into 0 0.628 * [backup-simplify]: Simplify (+ 0 0) into 0 0.629 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.630 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2) (* 0 -1)))))) into 0 0.630 * [backup-simplify]: Simplify 0 into 0 0.630 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.631 * [backup-simplify]: Simplify (- 0) into 0 0.631 * [backup-simplify]: Simplify (+ 0 0) into 0 0.632 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.639 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2) (* 0 -1))))))) into 0 0.639 * [backup-simplify]: Simplify 0 into 0 0.639 * [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 0.640 * [backup-simplify]: Simplify (- 0) into 0 0.640 * [backup-simplify]: Simplify (+ 0 0) into 0 0.641 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.642 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 2) (* 0 -1)))))))) into 0 0.642 * [backup-simplify]: Simplify 0 into 0 0.642 * [backup-simplify]: Simplify (+ (* -2 (/ 1 (/ 1 (- x)))) (* 1 (pow (/ 1 (/ 1 (- x))) 2))) into (+ (* 2 x) (pow x 2)) 0.642 * * * [progress]: simplifying candidates 0.642 * * * * [progress]: [ 1 / 25 ] simplifiying candidate # 0.642 * [simplify]: Simplifying (* (+ 2 x) x) 0.642 * * [simplify]: iters left: 4 (4 enodes) 0.643 * * [simplify]: iters left: 3 (14 enodes) 0.645 * * [simplify]: iters left: 2 (21 enodes) 0.648 * * [simplify]: iters left: 1 (27 enodes) 0.651 * * [simplify]: Extracting #0: cost 1 inf + 0 0.651 * * [simplify]: Extracting #1: cost 6 inf + 0 0.651 * * [simplify]: Extracting #2: cost 8 inf + 42 0.651 * * [simplify]: Extracting #3: cost 6 inf + 84 0.652 * * [simplify]: Extracting #4: cost 0 inf + 416 0.652 * [simplify]: Simplified to (* (+ x 2) x) 0.652 * [simplify]: Simplified (2 1) to (λ (x) (pow (* (+ x 2) x) 1)) 0.652 * * * * [progress]: [ 2 / 25 ] simplifiying candidate # 0.652 * * * * [progress]: [ 3 / 25 ] simplifiying candidate # 0.652 * [simplify]: Simplifying (+ (log (+ 2 x)) (log x)) 0.652 * * [simplify]: iters left: 5 (6 enodes) 0.653 * * [simplify]: iters left: 4 (20 enodes) 0.656 * * [simplify]: Extracting #0: cost 1 inf + 0 0.656 * * [simplify]: Extracting #1: cost 4 inf + 0 0.656 * * [simplify]: Extracting #2: cost 8 inf + 0 0.656 * * [simplify]: Extracting #3: cost 7 inf + 143 0.656 * * [simplify]: Extracting #4: cost 6 inf + 144 0.656 * * [simplify]: Extracting #5: cost 0 inf + 896 0.656 * [simplify]: Simplified to (+ (log (+ x 2)) (log x)) 0.656 * [simplify]: Simplified (2 1) to (λ (x) (exp (+ (log (+ x 2)) (log x)))) 0.656 * * * * [progress]: [ 4 / 25 ] simplifiying candidate # 0.656 * * * * [progress]: [ 5 / 25 ] simplifiying candidate # 0.656 * * * * [progress]: [ 6 / 25 ] simplifiying candidate # 0.657 * [simplify]: Simplifying (* (* (* (+ 2 x) (+ 2 x)) (+ 2 x)) (* (* x x) x)) 0.657 * * [simplify]: iters left: 6 (8 enodes) 0.659 * * [simplify]: iters left: 5 (44 enodes) 0.669 * * [simplify]: iters left: 4 (152 enodes) 0.708 * * [simplify]: iters left: 3 (444 enodes) 0.964 * * [simplify]: Extracting #0: cost 1 inf + 0 0.964 * * [simplify]: Extracting #1: cost 44 inf + 0 0.965 * * [simplify]: Extracting #2: cost 246 inf + 43 0.967 * * [simplify]: Extracting #3: cost 242 inf + 7631 0.976 * * [simplify]: Extracting #4: cost 59 inf + 46132 0.989 * * [simplify]: Extracting #5: cost 0 inf + 59238 1.002 * * [simplify]: Extracting #6: cost 0 inf + 58798 1.015 * [simplify]: Simplified to (* (* (+ x 2) x) (* (* (+ x 2) x) (* (+ x 2) x))) 1.015 * [simplify]: Simplified (2 1) to (λ (x) (cbrt (* (* (+ x 2) x) (* (* (+ x 2) x) (* (+ x 2) x))))) 1.015 * * * * [progress]: [ 7 / 25 ] simplifiying candidate # 1.015 * * * * [progress]: [ 8 / 25 ] simplifiying candidate # 1.015 * * * * [progress]: [ 9 / 25 ] simplifiying candidate # 1.015 * * * * [progress]: [ 10 / 25 ] simplifiying candidate # 1.015 * * * * [progress]: [ 11 / 25 ] simplifiying candidate # 1.015 * [simplify]: Simplifying (* (sqrt (+ 2 x)) (sqrt x)) 1.015 * * [simplify]: iters left: 5 (6 enodes) 1.017 * * [simplify]: iters left: 4 (20 enodes) 1.020 * * [simplify]: Extracting #0: cost 1 inf + 0 1.020 * * [simplify]: Extracting #1: cost 4 inf + 0 1.020 * * [simplify]: Extracting #2: cost 8 inf + 0 1.020 * * [simplify]: Extracting #3: cost 7 inf + 83 1.020 * * [simplify]: Extracting #4: cost 6 inf + 84 1.020 * * [simplify]: Extracting #5: cost 0 inf + 656 1.020 * [simplify]: Simplified to (* (sqrt (+ x 2)) (sqrt x)) 1.020 * [simplify]: Simplified (2 1) to (λ (x) (* (* (sqrt (+ x 2)) (sqrt x)) (* (sqrt (+ 2 x)) (sqrt x)))) 1.020 * [simplify]: Simplifying (* (sqrt (+ 2 x)) (sqrt x)) 1.020 * * [simplify]: iters left: 5 (6 enodes) 1.022 * * [simplify]: iters left: 4 (20 enodes) 1.025 * * [simplify]: Extracting #0: cost 1 inf + 0 1.025 * * [simplify]: Extracting #1: cost 4 inf + 0 1.025 * * [simplify]: Extracting #2: cost 8 inf + 0 1.025 * * [simplify]: Extracting #3: cost 7 inf + 83 1.025 * * [simplify]: Extracting #4: cost 6 inf + 84 1.025 * * [simplify]: Extracting #5: cost 0 inf + 656 1.026 * [simplify]: Simplified to (* (sqrt (+ x 2)) (sqrt x)) 1.026 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (+ 2 x)) (sqrt x)) (* (sqrt (+ x 2)) (sqrt x)))) 1.026 * * * * [progress]: [ 12 / 25 ] simplifiying candidate # 1.026 * [simplify]: Simplifying (cbrt x) 1.026 * * [simplify]: iters left: 1 (2 enodes) 1.026 * * [simplify]: Extracting #0: cost 1 inf + 0 1.026 * * [simplify]: Extracting #1: cost 3 inf + 0 1.026 * * [simplify]: Extracting #2: cost 2 inf + 1 1.026 * * [simplify]: Extracting #3: cost 0 inf + 163 1.026 * [simplify]: Simplified to (cbrt x) 1.026 * [simplify]: Simplified (2 2) to (λ (x) (* (* (+ 2 x) (* (cbrt x) (cbrt x))) (cbrt x))) 1.026 * * * * [progress]: [ 13 / 25 ] simplifiying candidate # 1.027 * [simplify]: Simplifying (sqrt x) 1.027 * * [simplify]: iters left: 1 (2 enodes) 1.029 * * [simplify]: Extracting #0: cost 1 inf + 0 1.029 * * [simplify]: Extracting #1: cost 3 inf + 0 1.029 * * [simplify]: Extracting #2: cost 2 inf + 1 1.029 * * [simplify]: Extracting #3: cost 0 inf + 83 1.029 * [simplify]: Simplified to (sqrt x) 1.029 * [simplify]: Simplified (2 2) to (λ (x) (* (* (+ 2 x) (sqrt x)) (sqrt x))) 1.029 * * * * [progress]: [ 14 / 25 ] simplifiying candidate # 1.029 * * * * [progress]: [ 15 / 25 ] simplifiying candidate # 1.029 * [simplify]: Simplifying (* (cbrt (+ 2 x)) (cbrt (+ 2 x))) 1.029 * * [simplify]: iters left: 5 (5 enodes) 1.031 * * [simplify]: iters left: 4 (16 enodes) 1.033 * * [simplify]: Extracting #0: cost 1 inf + 0 1.033 * * [simplify]: Extracting #1: cost 3 inf + 0 1.033 * * [simplify]: Extracting #2: cost 5 inf + 0 1.033 * * [simplify]: Extracting #3: cost 8 inf + 0 1.033 * * [simplify]: Extracting #4: cost 6 inf + 2 1.033 * * [simplify]: Extracting #5: cost 0 inf + 654 1.034 * [simplify]: Simplified to (* (cbrt (+ x 2)) (cbrt (+ x 2))) 1.034 * [simplify]: Simplified (2 1) to (λ (x) (* (* (cbrt (+ x 2)) (cbrt (+ x 2))) (* (cbrt (+ 2 x)) x))) 1.034 * * * * [progress]: [ 16 / 25 ] simplifiying candidate # 1.034 * [simplify]: Simplifying (sqrt (+ 2 x)) 1.034 * * [simplify]: iters left: 3 (4 enodes) 1.035 * * [simplify]: iters left: 2 (13 enodes) 1.037 * * [simplify]: Extracting #0: cost 1 inf + 0 1.037 * * [simplify]: Extracting #1: cost 3 inf + 0 1.037 * * [simplify]: Extracting #2: cost 6 inf + 0 1.037 * * [simplify]: Extracting #3: cost 4 inf + 2 1.037 * * [simplify]: Extracting #4: cost 0 inf + 250 1.037 * [simplify]: Simplified to (sqrt (+ x 2)) 1.037 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (+ x 2)) (* (sqrt (+ 2 x)) x))) 1.037 * * * * [progress]: [ 17 / 25 ] simplifiying candidate # 1.037 * * * * [progress]: [ 18 / 25 ] simplifiying candidate # 1.037 * * * * [progress]: [ 19 / 25 ] simplifiying candidate # 1.037 * [simplify]: Simplifying (* (+ (pow 2 3) (pow x 3)) x) 1.037 * * [simplify]: iters left: 5 (7 enodes) 1.041 * * [simplify]: iters left: 4 (37 enodes) 1.049 * * [simplify]: iters left: 3 (70 enodes) 1.066 * * [simplify]: iters left: 2 (139 enodes) 1.093 * * [simplify]: iters left: 1 (238 enodes) 1.157 * * [simplify]: Extracting #0: cost 1 inf + 0 1.157 * * [simplify]: Extracting #1: cost 6 inf + 0 1.157 * * [simplify]: Extracting #2: cost 21 inf + 1 1.157 * * [simplify]: Extracting #3: cost 49 inf + 206 1.158 * * [simplify]: Extracting #4: cost 38 inf + 1420 1.158 * * [simplify]: Extracting #5: cost 6 inf + 12834 1.159 * * [simplify]: Extracting #6: cost 1 inf + 15280 1.161 * * [simplify]: Extracting #7: cost 0 inf + 15492 1.162 * [simplify]: Simplified to (+ (* (* x x) (* x x)) (* 8 x)) 1.162 * [simplify]: Simplified (2 1) to (λ (x) (/ (+ (* (* x x) (* x x)) (* 8 x)) (+ (* 2 2) (- (* x x) (* 2 x))))) 1.162 * * * * [progress]: [ 20 / 25 ] simplifiying candidate # 1.162 * [simplify]: Simplifying (* (- (* 2 2) (* x x)) x) 1.162 * * [simplify]: iters left: 6 (6 enodes) 1.164 * * [simplify]: iters left: 5 (25 enodes) 1.168 * * [simplify]: iters left: 4 (49 enodes) 1.179 * * [simplify]: iters left: 3 (98 enodes) 1.198 * * [simplify]: iters left: 2 (217 enodes) 1.243 * * [simplify]: iters left: 1 (410 enodes) 1.335 * * [simplify]: Extracting #0: cost 1 inf + 0 1.336 * * [simplify]: Extracting #1: cost 28 inf + 0 1.336 * * [simplify]: Extracting #2: cost 73 inf + 1 1.336 * * [simplify]: Extracting #3: cost 84 inf + 860 1.338 * * [simplify]: Extracting #4: cost 44 inf + 5561 1.341 * * [simplify]: Extracting #5: cost 6 inf + 10447 1.345 * * [simplify]: Extracting #6: cost 0 inf + 11147 1.351 * * [simplify]: Extracting #7: cost 0 inf + 10989 1.355 * [simplify]: Simplified to (* (- 4 (* x x)) x) 1.355 * [simplify]: Simplified (2 1) to (λ (x) (/ (* (- 4 (* x x)) x) (- 2 x))) 1.355 * * * * [progress]: [ 21 / 25 ] simplifiying candidate #real (real->posit16 (* (+ 2 x) x))))> 1.355 * * * * [progress]: [ 22 / 25 ] simplifiying candidate # 1.355 * * * * [progress]: [ 23 / 25 ] simplifiying candidate # 1.355 * [simplify]: Simplifying (+ (* 2 x) (pow x 2)) 1.355 * * [simplify]: iters left: 4 (5 enodes) 1.357 * * [simplify]: iters left: 3 (22 enodes) 1.361 * * [simplify]: iters left: 2 (30 enodes) 1.365 * * [simplify]: iters left: 1 (37 enodes) 1.370 * * [simplify]: Extracting #0: cost 1 inf + 0 1.370 * * [simplify]: Extracting #1: cost 6 inf + 0 1.370 * * [simplify]: Extracting #2: cost 8 inf + 42 1.370 * * [simplify]: Extracting #3: cost 6 inf + 84 1.370 * * [simplify]: Extracting #4: cost 1 inf + 454 1.370 * * [simplify]: Extracting #5: cost 0 inf + 416 1.370 * [simplify]: Simplified to (* (+ x 2) x) 1.370 * [simplify]: Simplified (2) to (λ (x) (* (+ x 2) x)) 1.370 * * * * [progress]: [ 24 / 25 ] simplifiying candidate # 1.370 * [simplify]: Simplifying (+ (* 2 x) (pow x 2)) 1.370 * * [simplify]: iters left: 4 (5 enodes) 1.372 * * [simplify]: iters left: 3 (22 enodes) 1.376 * * [simplify]: iters left: 2 (30 enodes) 1.380 * * [simplify]: iters left: 1 (37 enodes) 1.385 * * [simplify]: Extracting #0: cost 1 inf + 0 1.385 * * [simplify]: Extracting #1: cost 6 inf + 0 1.385 * * [simplify]: Extracting #2: cost 8 inf + 42 1.385 * * [simplify]: Extracting #3: cost 6 inf + 84 1.385 * * [simplify]: Extracting #4: cost 1 inf + 454 1.385 * * [simplify]: Extracting #5: cost 0 inf + 416 1.385 * [simplify]: Simplified to (* (+ x 2) x) 1.385 * [simplify]: Simplified (2) to (λ (x) (* (+ x 2) x)) 1.385 * * * * [progress]: [ 25 / 25 ] simplifiying candidate # 1.385 * [simplify]: Simplifying (+ (* 2 x) (pow x 2)) 1.385 * * [simplify]: iters left: 4 (5 enodes) 1.387 * * [simplify]: iters left: 3 (22 enodes) 1.390 * * [simplify]: iters left: 2 (30 enodes) 1.395 * * [simplify]: iters left: 1 (37 enodes) 1.399 * * [simplify]: Extracting #0: cost 1 inf + 0 1.399 * * [simplify]: Extracting #1: cost 6 inf + 0 1.399 * * [simplify]: Extracting #2: cost 8 inf + 42 1.399 * * [simplify]: Extracting #3: cost 6 inf + 84 1.400 * * [simplify]: Extracting #4: cost 1 inf + 454 1.400 * * [simplify]: Extracting #5: cost 0 inf + 416 1.400 * [simplify]: Simplified to (* (+ x 2) x) 1.400 * [simplify]: Simplified (2) to (λ (x) (* (+ x 2) x)) 1.400 * * * [progress]: adding candidates to table 1.497 * * [progress]: iteration 2 / 4 1.498 * * * [progress]: picking best candidate 1.499 * * * * [pick]: Picked # 1.499 * * * [progress]: localizing error 1.509 * * * [progress]: generating rewritten candidates 1.509 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1.541 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 1.559 * * * [progress]: generating series expansions 1.559 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1.559 * [backup-simplify]: Simplify (* (* (+ 2 x) (sqrt x)) (sqrt x)) into (* x (+ x 2)) 1.559 * [approximate]: Taking taylor expansion of (* x (+ x 2)) in (x) around 0 1.559 * [taylor]: Taking taylor expansion of (* x (+ x 2)) in x 1.559 * [taylor]: Taking taylor expansion of x in x 1.560 * [backup-simplify]: Simplify 0 into 0 1.560 * [backup-simplify]: Simplify 1 into 1 1.560 * [taylor]: Taking taylor expansion of (+ x 2) in x 1.560 * [taylor]: Taking taylor expansion of x in x 1.560 * [backup-simplify]: Simplify 0 into 0 1.560 * [backup-simplify]: Simplify 1 into 1 1.560 * [taylor]: Taking taylor expansion of 2 in x 1.560 * [backup-simplify]: Simplify 2 into 2 1.560 * [taylor]: Taking taylor expansion of (* x (+ x 2)) in x 1.560 * [taylor]: Taking taylor expansion of x in x 1.560 * [backup-simplify]: Simplify 0 into 0 1.560 * [backup-simplify]: Simplify 1 into 1 1.560 * [taylor]: Taking taylor expansion of (+ x 2) in x 1.560 * [taylor]: Taking taylor expansion of x in x 1.560 * [backup-simplify]: Simplify 0 into 0 1.560 * [backup-simplify]: Simplify 1 into 1 1.560 * [taylor]: Taking taylor expansion of 2 in x 1.560 * [backup-simplify]: Simplify 2 into 2 1.560 * [backup-simplify]: Simplify (+ 0 2) into 2 1.561 * [backup-simplify]: Simplify (* 0 2) into 0 1.561 * [backup-simplify]: Simplify 0 into 0 1.561 * [backup-simplify]: Simplify (+ 1 0) into 1 1.561 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 2)) into 2 1.561 * [backup-simplify]: Simplify 2 into 2 1.562 * [backup-simplify]: Simplify (+ 0 0) into 0 1.562 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 2))) into 1 1.562 * [backup-simplify]: Simplify 1 into 1 1.562 * [backup-simplify]: Simplify (+ 0 0) into 0 1.563 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 2)))) into 0 1.563 * [backup-simplify]: Simplify 0 into 0 1.563 * [backup-simplify]: Simplify (+ 0 0) into 0 1.564 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 2))))) into 0 1.564 * [backup-simplify]: Simplify 0 into 0 1.564 * [backup-simplify]: Simplify (+ 0 0) into 0 1.565 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 2)))))) into 0 1.565 * [backup-simplify]: Simplify 0 into 0 1.565 * [backup-simplify]: Simplify (+ 0 0) into 0 1.566 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 2))))))) into 0 1.566 * [backup-simplify]: Simplify 0 into 0 1.567 * [backup-simplify]: Simplify (+ 0 0) into 0 1.568 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 2)))))))) into 0 1.568 * [backup-simplify]: Simplify 0 into 0 1.568 * [backup-simplify]: Simplify (+ 0 0) into 0 1.569 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 2))))))))) into 0 1.569 * [backup-simplify]: Simplify 0 into 0 1.569 * [backup-simplify]: Simplify (+ (* 1 (pow x 2)) (* 2 x)) into (+ (* 2 x) (pow x 2)) 1.569 * [backup-simplify]: Simplify (* (* (+ 2 (/ 1 x)) (sqrt (/ 1 x))) (sqrt (/ 1 x))) into (/ (+ (/ 1 x) 2) x) 1.569 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 2) x) in (x) around 0 1.569 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 2) x) in x 1.569 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2) in x 1.569 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.569 * [taylor]: Taking taylor expansion of x in x 1.569 * [backup-simplify]: Simplify 0 into 0 1.569 * [backup-simplify]: Simplify 1 into 1 1.570 * [backup-simplify]: Simplify (/ 1 1) into 1 1.570 * [taylor]: Taking taylor expansion of 2 in x 1.570 * [backup-simplify]: Simplify 2 into 2 1.570 * [taylor]: Taking taylor expansion of x in x 1.570 * [backup-simplify]: Simplify 0 into 0 1.570 * [backup-simplify]: Simplify 1 into 1 1.570 * [backup-simplify]: Simplify (+ 1 0) into 1 1.570 * [backup-simplify]: Simplify (/ 1 1) into 1 1.570 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 2) x) in x 1.570 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2) in x 1.570 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.570 * [taylor]: Taking taylor expansion of x in x 1.570 * [backup-simplify]: Simplify 0 into 0 1.570 * [backup-simplify]: Simplify 1 into 1 1.571 * [backup-simplify]: Simplify (/ 1 1) into 1 1.571 * [taylor]: Taking taylor expansion of 2 in x 1.571 * [backup-simplify]: Simplify 2 into 2 1.571 * [taylor]: Taking taylor expansion of x in x 1.571 * [backup-simplify]: Simplify 0 into 0 1.571 * [backup-simplify]: Simplify 1 into 1 1.571 * [backup-simplify]: Simplify (+ 1 0) into 1 1.571 * [backup-simplify]: Simplify (/ 1 1) into 1 1.571 * [backup-simplify]: Simplify 1 into 1 1.572 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.572 * [backup-simplify]: Simplify (+ 0 2) into 2 1.572 * [backup-simplify]: Simplify (- (/ 2 1) (+ (* 1 (/ 0 1)))) into 2 1.573 * [backup-simplify]: Simplify 2 into 2 1.573 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.573 * [backup-simplify]: Simplify (+ 0 0) into 0 1.574 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 2 (/ 0 1)))) into 0 1.574 * [backup-simplify]: Simplify 0 into 0 1.574 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.575 * [backup-simplify]: Simplify (+ 0 0) into 0 1.575 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 2 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.575 * [backup-simplify]: Simplify 0 into 0 1.576 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.576 * [backup-simplify]: Simplify (+ 0 0) into 0 1.577 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.577 * [backup-simplify]: Simplify 0 into 0 1.577 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.577 * [backup-simplify]: Simplify (+ 0 0) into 0 1.578 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.578 * [backup-simplify]: Simplify 0 into 0 1.579 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.579 * [backup-simplify]: Simplify (+ 0 0) into 0 1.579 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.579 * [backup-simplify]: Simplify 0 into 0 1.580 * [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 1.580 * [backup-simplify]: Simplify (+ 0 0) into 0 1.581 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.581 * [backup-simplify]: Simplify 0 into 0 1.581 * [backup-simplify]: Simplify (+ (* 2 (/ 1 (/ 1 x))) (* 1 (pow (/ 1 (/ 1 x)) 2))) into (+ (* 2 x) (pow x 2)) 1.581 * [backup-simplify]: Simplify (* (* (+ 2 (/ 1 (- x))) (sqrt (/ 1 (- x)))) (sqrt (/ 1 (- x)))) into (* (- 2 (/ 1 x)) (pow (sqrt (/ -1 x)) 2)) 1.581 * [approximate]: Taking taylor expansion of (* (- 2 (/ 1 x)) (pow (sqrt (/ -1 x)) 2)) in (x) around 0 1.581 * [taylor]: Taking taylor expansion of (* (- 2 (/ 1 x)) (pow (sqrt (/ -1 x)) 2)) in x 1.581 * [taylor]: Taking taylor expansion of (- 2 (/ 1 x)) in x 1.581 * [taylor]: Taking taylor expansion of 2 in x 1.581 * [backup-simplify]: Simplify 2 into 2 1.581 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.581 * [taylor]: Taking taylor expansion of x in x 1.581 * [backup-simplify]: Simplify 0 into 0 1.581 * [backup-simplify]: Simplify 1 into 1 1.582 * [backup-simplify]: Simplify (/ 1 1) into 1 1.582 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in x 1.582 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.582 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.582 * [taylor]: Taking taylor expansion of -1 in x 1.582 * [backup-simplify]: Simplify -1 into -1 1.582 * [taylor]: Taking taylor expansion of x in x 1.582 * [backup-simplify]: Simplify 0 into 0 1.582 * [backup-simplify]: Simplify 1 into 1 1.582 * [backup-simplify]: Simplify (/ -1 1) into -1 1.582 * [backup-simplify]: Simplify (sqrt 0) into 0 1.583 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1.583 * [taylor]: Taking taylor expansion of (* (- 2 (/ 1 x)) (pow (sqrt (/ -1 x)) 2)) in x 1.584 * [taylor]: Taking taylor expansion of (- 2 (/ 1 x)) in x 1.584 * [taylor]: Taking taylor expansion of 2 in x 1.584 * [backup-simplify]: Simplify 2 into 2 1.584 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.584 * [taylor]: Taking taylor expansion of x in x 1.584 * [backup-simplify]: Simplify 0 into 0 1.584 * [backup-simplify]: Simplify 1 into 1 1.584 * [backup-simplify]: Simplify (/ 1 1) into 1 1.584 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 2) in x 1.584 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.584 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.584 * [taylor]: Taking taylor expansion of -1 in x 1.584 * [backup-simplify]: Simplify -1 into -1 1.584 * [taylor]: Taking taylor expansion of x in x 1.584 * [backup-simplify]: Simplify 0 into 0 1.584 * [backup-simplify]: Simplify 1 into 1 1.584 * [backup-simplify]: Simplify (/ -1 1) into -1 1.584 * [backup-simplify]: Simplify (sqrt 0) into 0 1.585 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1.585 * [backup-simplify]: Simplify (- 1) into -1 1.586 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.586 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0 1.586 * [backup-simplify]: Simplify (* -1 +nan.0) into +nan.0 1.586 * [backup-simplify]: Simplify +nan.0 into +nan.0 1.587 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1.589 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1.589 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0)) into (- +nan.0) 1.590 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.590 * [backup-simplify]: Simplify (- 0) into 0 1.590 * [backup-simplify]: Simplify (+ 2 0) into 2 1.592 * [backup-simplify]: Simplify (+ (* -1 (- +nan.0)) (* 2 +nan.0)) into (- +nan.0) 1.592 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 1.592 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.594 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1.596 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0))) into (- +nan.0) 1.596 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.597 * [backup-simplify]: Simplify (- 0) into 0 1.597 * [backup-simplify]: Simplify (+ 0 0) into 0 1.599 * [backup-simplify]: Simplify (+ (* -1 (- +nan.0)) (+ (* 2 (- +nan.0)) (* 0 +nan.0))) into (- +nan.0) 1.599 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 1.600 * [backup-simplify]: Simplify (+ (* (- +nan.0) (/ 1 (- x))) (+ (- +nan.0) (* +nan.0 (/ 1 (/ 1 (- x)))))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1.600 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 1.600 * [backup-simplify]: Simplify (* (+ 2 x) (sqrt x)) into (* (sqrt x) (+ x 2)) 1.600 * [approximate]: Taking taylor expansion of (* (sqrt x) (+ x 2)) in (x) around 0 1.600 * [taylor]: Taking taylor expansion of (* (sqrt x) (+ x 2)) in x 1.600 * [taylor]: Taking taylor expansion of (sqrt x) in x 1.600 * [taylor]: Taking taylor expansion of x in x 1.600 * [backup-simplify]: Simplify 0 into 0 1.600 * [backup-simplify]: Simplify 1 into 1 1.600 * [backup-simplify]: Simplify (sqrt 0) into 0 1.601 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1.601 * [taylor]: Taking taylor expansion of (+ x 2) in x 1.601 * [taylor]: Taking taylor expansion of x in x 1.601 * [backup-simplify]: Simplify 0 into 0 1.601 * [backup-simplify]: Simplify 1 into 1 1.601 * [taylor]: Taking taylor expansion of 2 in x 1.601 * [backup-simplify]: Simplify 2 into 2 1.601 * [taylor]: Taking taylor expansion of (* (sqrt x) (+ x 2)) in x 1.601 * [taylor]: Taking taylor expansion of (sqrt x) in x 1.601 * [taylor]: Taking taylor expansion of x in x 1.601 * [backup-simplify]: Simplify 0 into 0 1.601 * [backup-simplify]: Simplify 1 into 1 1.602 * [backup-simplify]: Simplify (sqrt 0) into 0 1.602 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1.602 * [taylor]: Taking taylor expansion of (+ x 2) in x 1.602 * [taylor]: Taking taylor expansion of x in x 1.602 * [backup-simplify]: Simplify 0 into 0 1.602 * [backup-simplify]: Simplify 1 into 1 1.602 * [taylor]: Taking taylor expansion of 2 in x 1.602 * [backup-simplify]: Simplify 2 into 2 1.603 * [backup-simplify]: Simplify (+ 0 2) into 2 1.603 * [backup-simplify]: Simplify (* 0 2) into 0 1.603 * [backup-simplify]: Simplify 0 into 0 1.603 * [backup-simplify]: Simplify (+ 1 0) into 1 1.604 * [backup-simplify]: Simplify (+ (* 0 1) (* +nan.0 2)) into (- +nan.0) 1.604 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 1.605 * [backup-simplify]: Simplify (+ 0 0) into 0 1.606 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1.611 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 1) (* +nan.0 2))) into (- +nan.0) 1.611 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 1.612 * [backup-simplify]: Simplify (+ 0 0) into 0 1.614 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1.616 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 0) (+ (* +nan.0 1) (* +nan.0 2)))) into (- +nan.0) 1.617 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 1.618 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow x 3)) (+ (* (- +nan.0) (pow x 2)) (* (- +nan.0) x))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2))))))) 1.618 * [backup-simplify]: Simplify (* (+ 2 (/ 1 x)) (sqrt (/ 1 x))) into (* (+ (/ 1 x) 2) (sqrt (/ 1 x))) 1.618 * [approximate]: Taking taylor expansion of (* (+ (/ 1 x) 2) (sqrt (/ 1 x))) in (x) around 0 1.618 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 2) (sqrt (/ 1 x))) in x 1.618 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2) in x 1.618 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.618 * [taylor]: Taking taylor expansion of x in x 1.618 * [backup-simplify]: Simplify 0 into 0 1.618 * [backup-simplify]: Simplify 1 into 1 1.618 * [backup-simplify]: Simplify (/ 1 1) into 1 1.618 * [taylor]: Taking taylor expansion of 2 in x 1.618 * [backup-simplify]: Simplify 2 into 2 1.618 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 1.618 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.618 * [taylor]: Taking taylor expansion of x in x 1.618 * [backup-simplify]: Simplify 0 into 0 1.618 * [backup-simplify]: Simplify 1 into 1 1.619 * [backup-simplify]: Simplify (/ 1 1) into 1 1.619 * [backup-simplify]: Simplify (sqrt 0) into 0 1.620 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1.620 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 2) (sqrt (/ 1 x))) in x 1.620 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2) in x 1.620 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.620 * [taylor]: Taking taylor expansion of x in x 1.620 * [backup-simplify]: Simplify 0 into 0 1.620 * [backup-simplify]: Simplify 1 into 1 1.620 * [backup-simplify]: Simplify (/ 1 1) into 1 1.620 * [taylor]: Taking taylor expansion of 2 in x 1.620 * [backup-simplify]: Simplify 2 into 2 1.620 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 1.620 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.620 * [taylor]: Taking taylor expansion of x in x 1.620 * [backup-simplify]: Simplify 0 into 0 1.620 * [backup-simplify]: Simplify 1 into 1 1.620 * [backup-simplify]: Simplify (/ 1 1) into 1 1.620 * [backup-simplify]: Simplify (sqrt 0) into 0 1.621 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 1.622 * [backup-simplify]: Simplify (+ 1 0) into 1 1.622 * [backup-simplify]: Simplify (* 1 0) into 0 1.622 * [backup-simplify]: Simplify 0 into 0 1.622 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.623 * [backup-simplify]: Simplify (+ 0 2) into 2 1.623 * [backup-simplify]: Simplify (+ (* 1 +nan.0) (* 2 0)) into (- +nan.0) 1.624 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 1.624 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.626 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1.626 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.626 * [backup-simplify]: Simplify (+ 0 0) into 0 1.628 * [backup-simplify]: Simplify (+ (* 1 +nan.0) (+ (* 2 +nan.0) (* 0 0))) into (- +nan.0) 1.628 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 1.629 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.631 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1.631 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.632 * [backup-simplify]: Simplify (+ 0 0) into 0 1.634 * [backup-simplify]: Simplify (+ (* 1 +nan.0) (+ (* 2 +nan.0) (+ (* 0 +nan.0) (* 0 0)))) into (- +nan.0) 1.634 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 1.635 * [backup-simplify]: Simplify (+ (* (- +nan.0) (/ 1 x)) (+ (- +nan.0) (* (- +nan.0) (/ 1 (/ 1 x))))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1.635 * [backup-simplify]: Simplify (* (+ 2 (/ 1 (- x))) (sqrt (/ 1 (- x)))) into (* (- 2 (/ 1 x)) (sqrt (/ -1 x))) 1.635 * [approximate]: Taking taylor expansion of (* (- 2 (/ 1 x)) (sqrt (/ -1 x))) in (x) around 0 1.635 * [taylor]: Taking taylor expansion of (* (- 2 (/ 1 x)) (sqrt (/ -1 x))) in x 1.635 * [taylor]: Taking taylor expansion of (- 2 (/ 1 x)) in x 1.635 * [taylor]: Taking taylor expansion of 2 in x 1.635 * [backup-simplify]: Simplify 2 into 2 1.635 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.635 * [taylor]: Taking taylor expansion of x in x 1.635 * [backup-simplify]: Simplify 0 into 0 1.635 * [backup-simplify]: Simplify 1 into 1 1.635 * [backup-simplify]: Simplify (/ 1 1) into 1 1.635 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.635 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.635 * [taylor]: Taking taylor expansion of -1 in x 1.635 * [backup-simplify]: Simplify -1 into -1 1.635 * [taylor]: Taking taylor expansion of x in x 1.635 * [backup-simplify]: Simplify 0 into 0 1.635 * [backup-simplify]: Simplify 1 into 1 1.636 * [backup-simplify]: Simplify (/ -1 1) into -1 1.636 * [backup-simplify]: Simplify (sqrt 0) into 0 1.637 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1.637 * [taylor]: Taking taylor expansion of (* (- 2 (/ 1 x)) (sqrt (/ -1 x))) in x 1.637 * [taylor]: Taking taylor expansion of (- 2 (/ 1 x)) in x 1.637 * [taylor]: Taking taylor expansion of 2 in x 1.637 * [backup-simplify]: Simplify 2 into 2 1.637 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.637 * [taylor]: Taking taylor expansion of x in x 1.637 * [backup-simplify]: Simplify 0 into 0 1.637 * [backup-simplify]: Simplify 1 into 1 1.637 * [backup-simplify]: Simplify (/ 1 1) into 1 1.637 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.637 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.637 * [taylor]: Taking taylor expansion of -1 in x 1.637 * [backup-simplify]: Simplify -1 into -1 1.637 * [taylor]: Taking taylor expansion of x in x 1.637 * [backup-simplify]: Simplify 0 into 0 1.637 * [backup-simplify]: Simplify 1 into 1 1.638 * [backup-simplify]: Simplify (/ -1 1) into -1 1.638 * [backup-simplify]: Simplify (sqrt 0) into 0 1.639 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1.639 * [backup-simplify]: Simplify (- 1) into -1 1.639 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.639 * [backup-simplify]: Simplify (* -1 0) into 0 1.640 * [backup-simplify]: Simplify 0 into 0 1.640 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.640 * [backup-simplify]: Simplify (- 0) into 0 1.640 * [backup-simplify]: Simplify (+ 2 0) into 2 1.641 * [backup-simplify]: Simplify (+ (* -1 +nan.0) (* 2 0)) into (- +nan.0) 1.642 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 1.642 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1.644 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1.644 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.645 * [backup-simplify]: Simplify (- 0) into 0 1.645 * [backup-simplify]: Simplify (+ 0 0) into 0 1.647 * [backup-simplify]: Simplify (+ (* -1 +nan.0) (+ (* 2 +nan.0) (* 0 0))) into (- +nan.0) 1.647 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 1.648 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.650 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1.651 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.651 * [backup-simplify]: Simplify (- 0) into 0 1.651 * [backup-simplify]: Simplify (+ 0 0) into 0 1.653 * [backup-simplify]: Simplify (+ (* -1 +nan.0) (+ (* 2 +nan.0) (+ (* 0 +nan.0) (* 0 0)))) into (- +nan.0) 1.653 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 1.654 * [backup-simplify]: Simplify (+ (* (- +nan.0) (/ 1 (- x))) (+ (- +nan.0) (* (- +nan.0) (/ 1 (/ 1 (- x)))))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1.656 * * * [progress]: simplifying candidates 1.656 * * * * [progress]: [ 1 / 56 ] simplifiying candidate # 1.656 * [simplify]: Simplifying (* (* (+ 2 x) (sqrt x)) (sqrt x)) 1.656 * * [simplify]: iters left: 6 (6 enodes) 1.658 * * [simplify]: iters left: 5 (23 enodes) 1.662 * * [simplify]: iters left: 4 (32 enodes) 1.667 * * [simplify]: iters left: 3 (63 enodes) 1.675 * * [simplify]: iters left: 2 (91 enodes) 1.689 * * [simplify]: Extracting #0: cost 1 inf + 0 1.690 * * [simplify]: Extracting #1: cost 8 inf + 0 1.690 * * [simplify]: Extracting #2: cost 13 inf + 83 1.690 * * [simplify]: Extracting #3: cost 11 inf + 247 1.690 * * [simplify]: Extracting #4: cost 3 inf + 862 1.690 * * [simplify]: Extracting #5: cost 0 inf + 1068 1.690 * [simplify]: Simplified to (* (+ x 2) x) 1.691 * [simplify]: Simplified (2 1) to (λ (x) (pow (* (+ x 2) x) 1)) 1.691 * * * * [progress]: [ 2 / 56 ] simplifiying candidate # 1.691 * [simplify]: Simplifying (* (* (+ 2 x) (sqrt x)) (sqrt x)) 1.691 * * [simplify]: iters left: 6 (6 enodes) 1.692 * * [simplify]: iters left: 5 (23 enodes) 1.696 * * [simplify]: iters left: 4 (32 enodes) 1.701 * * [simplify]: iters left: 3 (63 enodes) 1.709 * * [simplify]: iters left: 2 (91 enodes) 1.721 * * [simplify]: Extracting #0: cost 1 inf + 0 1.721 * * [simplify]: Extracting #1: cost 8 inf + 0 1.721 * * [simplify]: Extracting #2: cost 13 inf + 83 1.721 * * [simplify]: Extracting #3: cost 11 inf + 247 1.721 * * [simplify]: Extracting #4: cost 3 inf + 862 1.721 * * [simplify]: Extracting #5: cost 0 inf + 1068 1.722 * [simplify]: Simplified to (* (+ x 2) x) 1.722 * [simplify]: Simplified (2 1) to (λ (x) (pow (* (+ x 2) x) 1)) 1.722 * * * * [progress]: [ 3 / 56 ] simplifiying candidate # 1.722 * * * * [progress]: [ 4 / 56 ] simplifiying candidate # 1.722 * [simplify]: Simplifying (+ (+ (log (+ 2 x)) (log (sqrt x))) (log (sqrt x))) 1.722 * * [simplify]: iters left: 6 (8 enodes) 1.724 * * [simplify]: iters left: 5 (29 enodes) 1.727 * * [simplify]: iters left: 4 (32 enodes) 1.731 * * [simplify]: Extracting #0: cost 1 inf + 0 1.731 * * [simplify]: Extracting #1: cost 6 inf + 0 1.731 * * [simplify]: Extracting #2: cost 12 inf + 0 1.731 * * [simplify]: Extracting #3: cost 16 inf + 0 1.731 * * [simplify]: Extracting #4: cost 14 inf + 2 1.731 * * [simplify]: Extracting #5: cost 8 inf + 391 1.732 * * [simplify]: Extracting #6: cost 1 inf + 1742 1.732 * * [simplify]: Extracting #7: cost 0 inf + 2044 1.732 * [simplify]: Simplified to (+ (log (sqrt x)) (+ (log (+ x 2)) (log (sqrt x)))) 1.732 * [simplify]: Simplified (2 1) to (λ (x) (exp (+ (log (sqrt x)) (+ (log (+ x 2)) (log (sqrt x)))))) 1.732 * * * * [progress]: [ 5 / 56 ] simplifiying candidate # 1.732 * [simplify]: Simplifying (+ (log (* (+ 2 x) (sqrt x))) (log (sqrt x))) 1.732 * * [simplify]: iters left: 6 (8 enodes) 1.734 * * [simplify]: iters left: 5 (29 enodes) 1.739 * * [simplify]: iters left: 4 (42 enodes) 1.745 * * [simplify]: iters left: 3 (53 enodes) 1.751 * * [simplify]: Extracting #0: cost 1 inf + 0 1.751 * * [simplify]: Extracting #1: cost 6 inf + 0 1.751 * * [simplify]: Extracting #2: cost 13 inf + 0 1.751 * * [simplify]: Extracting #3: cost 20 inf + 0 1.751 * * [simplify]: Extracting #4: cost 20 inf + 2 1.751 * * [simplify]: Extracting #5: cost 14 inf + 432 1.752 * * [simplify]: Extracting #6: cost 3 inf + 1829 1.752 * * [simplify]: Extracting #7: cost 0 inf + 2474 1.752 * [simplify]: Simplified to (+ (log (* (+ x 2) (sqrt x))) (log (sqrt x))) 1.752 * [simplify]: Simplified (2 1) to (λ (x) (exp (+ (log (* (+ x 2) (sqrt x))) (log (sqrt x))))) 1.753 * * * * [progress]: [ 6 / 56 ] simplifiying candidate # 1.753 * * * * [progress]: [ 7 / 56 ] simplifiying candidate # 1.753 * * * * [progress]: [ 8 / 56 ] simplifiying candidate # 1.753 * [simplify]: Simplifying (* (* (* (* (+ 2 x) (+ 2 x)) (+ 2 x)) (* (* (sqrt x) (sqrt x)) (sqrt x))) (* (* (sqrt x) (sqrt x)) (sqrt x))) 1.753 * * [simplify]: iters left: 6 (10 enodes) 1.756 * * [simplify]: iters left: 5 (53 enodes) 1.771 * * [simplify]: iters left: 4 (200 enodes) 1.828 * * [simplify]: Extracting #0: cost 1 inf + 0 1.828 * * [simplify]: Extracting #1: cost 35 inf + 0 1.829 * * [simplify]: Extracting #2: cost 106 inf + 42 1.830 * * [simplify]: Extracting #3: cost 125 inf + 3324 1.834 * * [simplify]: Extracting #4: cost 24 inf + 20177 1.840 * * [simplify]: Extracting #5: cost 0 inf + 25785 1.846 * [simplify]: Simplified to (* (* (+ x 2) (+ x 2)) (* (* (* x x) x) (+ x 2))) 1.846 * [simplify]: Simplified (2 1) to (λ (x) (cbrt (* (* (+ x 2) (+ x 2)) (* (* (* x x) x) (+ x 2))))) 1.846 * * * * [progress]: [ 9 / 56 ] simplifiying candidate # 1.847 * [simplify]: Simplifying (* (* (* (* (+ 2 x) (sqrt x)) (* (+ 2 x) (sqrt x))) (* (+ 2 x) (sqrt x))) (* (* (sqrt x) (sqrt x)) (sqrt x))) 1.847 * * [simplify]: iters left: 6 (10 enodes) 1.850 * * [simplify]: iters left: 5 (45 enodes) 1.861 * * [simplify]: iters left: 4 (147 enodes) 1.925 * * [simplify]: Extracting #0: cost 1 inf + 0 1.925 * * [simplify]: Extracting #1: cost 29 inf + 0 1.926 * * [simplify]: Extracting #2: cost 93 inf + 42 1.927 * * [simplify]: Extracting #3: cost 90 inf + 2197 1.931 * * [simplify]: Extracting #4: cost 12 inf + 15007 1.938 * * [simplify]: Extracting #5: cost 0 inf + 17482 1.943 * [simplify]: Simplified to (* (* (* (+ x 2) x) (* (+ x 2) x)) (* (+ x 2) x)) 1.943 * [simplify]: Simplified (2 1) to (λ (x) (cbrt (* (* (* (+ x 2) x) (* (+ x 2) x)) (* (+ x 2) x)))) 1.944 * * * * [progress]: [ 10 / 56 ] simplifiying candidate # 1.944 * * * * [progress]: [ 11 / 56 ] simplifiying candidate # 1.944 * * * * [progress]: [ 12 / 56 ] simplifiying candidate # 1.944 * * * * [progress]: [ 13 / 56 ] simplifiying candidate # 1.944 * * * * [progress]: [ 14 / 56 ] simplifiying candidate # 1.944 * [simplify]: Simplifying (cbrt (sqrt x)) 1.944 * * [simplify]: iters left: 2 (3 enodes) 1.945 * * [simplify]: iters left: 1 (9 enodes) 1.946 * * [simplify]: Extracting #0: cost 1 inf + 0 1.946 * * [simplify]: Extracting #1: cost 3 inf + 0 1.946 * * [simplify]: Extracting #2: cost 5 inf + 0 1.946 * * [simplify]: Extracting #3: cost 4 inf + 1 1.946 * * [simplify]: Extracting #4: cost 0 inf + 325 1.946 * [simplify]: Simplified to (cbrt (sqrt x)) 1.946 * [simplify]: Simplified (2 2) to (λ (x) (* (* (* (+ 2 x) (sqrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x)))) 1.946 * * * * [progress]: [ 15 / 56 ] simplifiying candidate # 1.946 * [simplify]: Simplifying (sqrt (cbrt x)) 1.946 * * [simplify]: iters left: 2 (3 enodes) 1.947 * * [simplify]: iters left: 1 (9 enodes) 1.948 * * [simplify]: Extracting #0: cost 1 inf + 0 1.948 * * [simplify]: Extracting #1: cost 3 inf + 0 1.948 * * [simplify]: Extracting #2: cost 5 inf + 0 1.948 * * [simplify]: Extracting #3: cost 4 inf + 1 1.948 * * [simplify]: Extracting #4: cost 0 inf + 405 1.948 * [simplify]: Simplified to (sqrt (cbrt x)) 1.948 * [simplify]: Simplified (2 2) to (λ (x) (* (* (* (+ 2 x) (sqrt x)) (sqrt (* (cbrt x) (cbrt x)))) (sqrt (cbrt x)))) 1.948 * * * * [progress]: [ 16 / 56 ] simplifiying candidate # 1.948 * [simplify]: Simplifying (sqrt (sqrt x)) 1.948 * * [simplify]: iters left: 2 (3 enodes) 1.949 * * [simplify]: iters left: 1 (9 enodes) 1.950 * * [simplify]: Extracting #0: cost 1 inf + 0 1.950 * * [simplify]: Extracting #1: cost 3 inf + 0 1.950 * * [simplify]: Extracting #2: cost 5 inf + 0 1.950 * * [simplify]: Extracting #3: cost 4 inf + 1 1.950 * * [simplify]: Extracting #4: cost 0 inf + 245 1.950 * [simplify]: Simplified to (sqrt (sqrt x)) 1.950 * [simplify]: Simplified (2 2) to (λ (x) (* (* (* (+ 2 x) (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) 1.950 * * * * [progress]: [ 17 / 56 ] simplifiying candidate # 1.951 * [simplify]: Simplifying (sqrt x) 1.951 * * [simplify]: iters left: 1 (2 enodes) 1.951 * * [simplify]: Extracting #0: cost 1 inf + 0 1.951 * * [simplify]: Extracting #1: cost 3 inf + 0 1.951 * * [simplify]: Extracting #2: cost 2 inf + 1 1.951 * * [simplify]: Extracting #3: cost 0 inf + 83 1.951 * [simplify]: Simplified to (sqrt x) 1.951 * [simplify]: Simplified (2 2) to (λ (x) (* (* (* (+ 2 x) (sqrt x)) (sqrt 1)) (sqrt x))) 1.951 * * * * [progress]: [ 18 / 56 ] simplifiying candidate # 1.951 * [simplify]: Simplifying (sqrt (sqrt x)) 1.951 * * [simplify]: iters left: 2 (3 enodes) 1.952 * * [simplify]: iters left: 1 (9 enodes) 1.953 * * [simplify]: Extracting #0: cost 1 inf + 0 1.953 * * [simplify]: Extracting #1: cost 3 inf + 0 1.953 * * [simplify]: Extracting #2: cost 5 inf + 0 1.953 * * [simplify]: Extracting #3: cost 4 inf + 1 1.953 * * [simplify]: Extracting #4: cost 0 inf + 245 1.953 * [simplify]: Simplified to (sqrt (sqrt x)) 1.953 * [simplify]: Simplified (2 2) to (λ (x) (* (* (* (+ 2 x) (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) 1.953 * * * * [progress]: [ 19 / 56 ] simplifiying candidate # 1.953 * [simplify]: Simplifying (sqrt x) 1.953 * * [simplify]: iters left: 1 (2 enodes) 1.954 * * [simplify]: Extracting #0: cost 1 inf + 0 1.954 * * [simplify]: Extracting #1: cost 3 inf + 0 1.954 * * [simplify]: Extracting #2: cost 2 inf + 1 1.954 * * [simplify]: Extracting #3: cost 0 inf + 83 1.954 * [simplify]: Simplified to (sqrt x) 1.954 * [simplify]: Simplified (2 2) to (λ (x) (* (* (* (+ 2 x) (sqrt x)) 1) (sqrt x))) 1.954 * * * * [progress]: [ 20 / 56 ] simplifiying candidate # 1.954 * [simplify]: Simplifying (+ 2 x) 1.954 * * [simplify]: iters left: 2 (3 enodes) 1.955 * * [simplify]: iters left: 1 (10 enodes) 1.957 * * [simplify]: Extracting #0: cost 1 inf + 0 1.957 * * [simplify]: Extracting #1: cost 4 inf + 0 1.957 * * [simplify]: Extracting #2: cost 2 inf + 2 1.957 * * [simplify]: Extracting #3: cost 0 inf + 86 1.957 * [simplify]: Simplified to (+ x 2) 1.957 * [simplify]: Simplified (2 1) to (λ (x) (* (+ x 2) (* (sqrt x) (sqrt x)))) 1.957 * * * * [progress]: [ 21 / 56 ] simplifiying candidate # 1.957 * [simplify]: Simplifying (* (* (+ (pow 2 3) (pow x 3)) (sqrt x)) (sqrt x)) 1.957 * * [simplify]: iters left: 6 (9 enodes) 1.962 * * [simplify]: iters left: 5 (46 enodes) 1.971 * * [simplify]: iters left: 4 (80 enodes) 1.989 * * [simplify]: iters left: 3 (183 enodes) 2.028 * * [simplify]: iters left: 2 (365 enodes) 2.126 * * [simplify]: Extracting #0: cost 1 inf + 0 2.126 * * [simplify]: Extracting #1: cost 8 inf + 0 2.126 * * [simplify]: Extracting #2: cost 42 inf + 42 2.126 * * [simplify]: Extracting #3: cost 83 inf + 328 2.127 * * [simplify]: Extracting #4: cost 59 inf + 3208 2.128 * * [simplify]: Extracting #5: cost 34 inf + 12031 2.130 * * [simplify]: Extracting #6: cost 3 inf + 27053 2.132 * * [simplify]: Extracting #7: cost 0 inf + 28351 2.135 * [simplify]: Simplified to (* x (+ 8 (* x (* x x)))) 2.135 * [simplify]: Simplified (2 1) to (λ (x) (/ (* x (+ 8 (* x (* x x)))) (+ (* 2 2) (- (* x x) (* 2 x))))) 2.135 * * * * [progress]: [ 22 / 56 ] simplifiying candidate # 2.135 * [simplify]: Simplifying (* (* (- (* 2 2) (* x x)) (sqrt x)) (sqrt x)) 2.135 * * [simplify]: iters left: 6 (8 enodes) 2.142 * * [simplify]: iters left: 5 (34 enodes) 2.147 * * [simplify]: iters left: 4 (59 enodes) 2.157 * * [simplify]: iters left: 3 (137 enodes) 2.187 * * [simplify]: iters left: 2 (386 enodes) 2.317 * * [simplify]: Extracting #0: cost 1 inf + 0 2.317 * * [simplify]: Extracting #1: cost 44 inf + 0 2.318 * * [simplify]: Extracting #2: cost 147 inf + 42 2.319 * * [simplify]: Extracting #3: cost 177 inf + 1713 2.322 * * [simplify]: Extracting #4: cost 53 inf + 20230 2.328 * * [simplify]: Extracting #5: cost 0 inf + 28976 2.335 * [simplify]: Simplified to (* (- 4 (* x x)) x) 2.335 * [simplify]: Simplified (2 1) to (λ (x) (/ (* (- 4 (* x x)) x) (- 2 x))) 2.335 * * * * [progress]: [ 23 / 56 ] simplifiying candidate #real (real->posit16 (* (* (+ 2 x) (sqrt x)) (sqrt x)))))> 2.335 * * * * [progress]: [ 24 / 56 ] simplifiying candidate # 2.335 * * * * [progress]: [ 25 / 56 ] simplifiying candidate # 2.335 * [simplify]: Simplifying (* (+ 2 x) (sqrt x)) 2.336 * * [simplify]: iters left: 4 (5 enodes) 2.337 * * [simplify]: iters left: 3 (17 enodes) 2.339 * * [simplify]: iters left: 2 (25 enodes) 2.343 * * [simplify]: iters left: 1 (33 enodes) 2.346 * * [simplify]: Extracting #0: cost 1 inf + 0 2.346 * * [simplify]: Extracting #1: cost 6 inf + 0 2.347 * * [simplify]: Extracting #2: cost 12 inf + 0 2.347 * * [simplify]: Extracting #3: cost 10 inf + 2 2.347 * * [simplify]: Extracting #4: cost 2 inf + 576 2.347 * * [simplify]: Extracting #5: cost 0 inf + 738 2.347 * [simplify]: Simplified to (* (+ x 2) (sqrt x)) 2.347 * [simplify]: Simplified (2 1 1) to (λ (x) (* (pow (* (+ x 2) (sqrt x)) 1) (sqrt x))) 2.347 * * * * [progress]: [ 26 / 56 ] simplifiying candidate # 2.347 * * * * [progress]: [ 27 / 56 ] simplifiying candidate # 2.347 * [simplify]: Simplifying (+ (log (+ 2 x)) (log (sqrt x))) 2.347 * * [simplify]: iters left: 5 (7 enodes) 2.349 * * [simplify]: iters left: 4 (23 enodes) 2.352 * * [simplify]: Extracting #0: cost 1 inf + 0 2.352 * * [simplify]: Extracting #1: cost 4 inf + 0 2.352 * * [simplify]: Extracting #2: cost 8 inf + 0 2.352 * * [simplify]: Extracting #3: cost 12 inf + 0 2.352 * * [simplify]: Extracting #4: cost 10 inf + 2 2.352 * * [simplify]: Extracting #5: cost 1 inf + 876 2.352 * * [simplify]: Extracting #6: cost 0 inf + 1138 2.353 * [simplify]: Simplified to (+ (log (+ x 2)) (log (sqrt x))) 2.353 * [simplify]: Simplified (2 1 1) to (λ (x) (* (exp (+ (log (+ x 2)) (log (sqrt x)))) (sqrt x))) 2.353 * * * * [progress]: [ 28 / 56 ] simplifiying candidate # 2.353 * * * * [progress]: [ 29 / 56 ] simplifiying candidate # 2.353 * * * * [progress]: [ 30 / 56 ] simplifiying candidate # 2.353 * [simplify]: Simplifying (* (* (* (+ 2 x) (+ 2 x)) (+ 2 x)) (* (* (sqrt x) (sqrt x)) (sqrt x))) 2.353 * * [simplify]: iters left: 6 (9 enodes) 2.355 * * [simplify]: iters left: 5 (45 enodes) 2.368 * * [simplify]: iters left: 4 (155 enodes) 2.404 * * [simplify]: iters left: 3 (475 enodes) 2.637 * * [simplify]: Extracting #0: cost 1 inf + 0 2.637 * * [simplify]: Extracting #1: cost 41 inf + 0 2.638 * * [simplify]: Extracting #2: cost 245 inf + 42 2.640 * * [simplify]: Extracting #3: cost 270 inf + 7563 2.649 * * [simplify]: Extracting #4: cost 46 inf + 48965 2.663 * * [simplify]: Extracting #5: cost 0 inf + 59993 2.677 * * [simplify]: Extracting #6: cost 0 inf + 59543 2.693 * [simplify]: Simplified to (* (* (sqrt x) x) (* (+ x 2) (* (+ x 2) (+ x 2)))) 2.694 * [simplify]: Simplified (2 1 1) to (λ (x) (* (cbrt (* (* (sqrt x) x) (* (+ x 2) (* (+ x 2) (+ x 2))))) (sqrt x))) 2.694 * * * * [progress]: [ 31 / 56 ] simplifiying candidate # 2.694 * * * * [progress]: [ 32 / 56 ] simplifiying candidate # 2.694 * * * * [progress]: [ 33 / 56 ] simplifiying candidate # 2.694 * * * * [progress]: [ 34 / 56 ] simplifiying candidate # 2.694 * * * * [progress]: [ 35 / 56 ] simplifiying candidate # 2.694 * [simplify]: Simplifying (* (sqrt (+ 2 x)) (sqrt (sqrt x))) 2.694 * * [simplify]: iters left: 5 (7 enodes) 2.696 * * [simplify]: iters left: 4 (23 enodes) 2.699 * * [simplify]: Extracting #0: cost 1 inf + 0 2.699 * * [simplify]: Extracting #1: cost 4 inf + 0 2.699 * * [simplify]: Extracting #2: cost 8 inf + 0 2.699 * * [simplify]: Extracting #3: cost 12 inf + 0 2.699 * * [simplify]: Extracting #4: cost 10 inf + 2 2.699 * * [simplify]: Extracting #5: cost 1 inf + 696 2.699 * * [simplify]: Extracting #6: cost 0 inf + 898 2.700 * [simplify]: Simplified to (* (sqrt (+ x 2)) (sqrt (sqrt x))) 2.700 * [simplify]: Simplified (2 1 1) to (λ (x) (* (* (* (sqrt (+ x 2)) (sqrt (sqrt x))) (* (sqrt (+ 2 x)) (sqrt (sqrt x)))) (sqrt x))) 2.700 * [simplify]: Simplifying (* (sqrt (+ 2 x)) (sqrt (sqrt x))) 2.700 * * [simplify]: iters left: 5 (7 enodes) 2.702 * * [simplify]: iters left: 4 (23 enodes) 2.706 * * [simplify]: Extracting #0: cost 1 inf + 0 2.706 * * [simplify]: Extracting #1: cost 4 inf + 0 2.706 * * [simplify]: Extracting #2: cost 8 inf + 0 2.706 * * [simplify]: Extracting #3: cost 12 inf + 0 2.706 * * [simplify]: Extracting #4: cost 10 inf + 2 2.706 * * [simplify]: Extracting #5: cost 1 inf + 696 2.706 * * [simplify]: Extracting #6: cost 0 inf + 898 2.706 * [simplify]: Simplified to (* (sqrt (+ x 2)) (sqrt (sqrt x))) 2.706 * [simplify]: Simplified (2 1 2) to (λ (x) (* (* (* (sqrt (+ 2 x)) (sqrt (sqrt x))) (* (sqrt (+ x 2)) (sqrt (sqrt x)))) (sqrt x))) 2.706 * * * * [progress]: [ 36 / 56 ] simplifiying candidate # 2.706 * [simplify]: Simplifying (* (sqrt (+ 2 x)) (sqrt (sqrt x))) 2.707 * * [simplify]: iters left: 5 (7 enodes) 2.708 * * [simplify]: iters left: 4 (23 enodes) 2.711 * * [simplify]: Extracting #0: cost 1 inf + 0 2.711 * * [simplify]: Extracting #1: cost 4 inf + 0 2.711 * * [simplify]: Extracting #2: cost 8 inf + 0 2.711 * * [simplify]: Extracting #3: cost 12 inf + 0 2.711 * * [simplify]: Extracting #4: cost 10 inf + 2 2.711 * * [simplify]: Extracting #5: cost 1 inf + 696 2.711 * * [simplify]: Extracting #6: cost 0 inf + 898 2.711 * [simplify]: Simplified to (* (sqrt (+ x 2)) (sqrt (sqrt x))) 2.711 * [simplify]: Simplified (2 1 1) to (λ (x) (* (* (* (sqrt (+ x 2)) (sqrt (sqrt x))) (* (sqrt (+ 2 x)) (sqrt (sqrt x)))) (sqrt x))) 2.712 * [simplify]: Simplifying (* (sqrt (+ 2 x)) (sqrt (sqrt x))) 2.712 * * [simplify]: iters left: 5 (7 enodes) 2.713 * * [simplify]: iters left: 4 (23 enodes) 2.716 * * [simplify]: Extracting #0: cost 1 inf + 0 2.716 * * [simplify]: Extracting #1: cost 4 inf + 0 2.716 * * [simplify]: Extracting #2: cost 8 inf + 0 2.716 * * [simplify]: Extracting #3: cost 12 inf + 0 2.716 * * [simplify]: Extracting #4: cost 10 inf + 2 2.716 * * [simplify]: Extracting #5: cost 1 inf + 696 2.717 * * [simplify]: Extracting #6: cost 0 inf + 898 2.717 * [simplify]: Simplified to (* (sqrt (+ x 2)) (sqrt (sqrt x))) 2.717 * [simplify]: Simplified (2 1 2) to (λ (x) (* (* (* (sqrt (+ 2 x)) (sqrt (sqrt x))) (* (sqrt (+ x 2)) (sqrt (sqrt x)))) (sqrt x))) 2.717 * * * * [progress]: [ 37 / 56 ] simplifiying candidate # 2.717 * [simplify]: Simplifying (cbrt (sqrt x)) 2.717 * * [simplify]: iters left: 2 (3 enodes) 2.718 * * [simplify]: iters left: 1 (9 enodes) 2.719 * * [simplify]: Extracting #0: cost 1 inf + 0 2.719 * * [simplify]: Extracting #1: cost 3 inf + 0 2.719 * * [simplify]: Extracting #2: cost 5 inf + 0 2.719 * * [simplify]: Extracting #3: cost 4 inf + 1 2.719 * * [simplify]: Extracting #4: cost 0 inf + 325 2.719 * [simplify]: Simplified to (cbrt (sqrt x)) 2.719 * [simplify]: Simplified (2 1 2) to (λ (x) (* (* (* (+ 2 x) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))) (sqrt x))) 2.719 * * * * [progress]: [ 38 / 56 ] simplifiying candidate # 2.719 * [simplify]: Simplifying (sqrt (cbrt x)) 2.719 * * [simplify]: iters left: 2 (3 enodes) 2.720 * * [simplify]: iters left: 1 (9 enodes) 2.721 * * [simplify]: Extracting #0: cost 1 inf + 0 2.721 * * [simplify]: Extracting #1: cost 3 inf + 0 2.721 * * [simplify]: Extracting #2: cost 5 inf + 0 2.721 * * [simplify]: Extracting #3: cost 4 inf + 1 2.721 * * [simplify]: Extracting #4: cost 0 inf + 405 2.721 * [simplify]: Simplified to (sqrt (cbrt x)) 2.721 * [simplify]: Simplified (2 1 2) to (λ (x) (* (* (* (+ 2 x) (sqrt (* (cbrt x) (cbrt x)))) (sqrt (cbrt x))) (sqrt x))) 2.721 * * * * [progress]: [ 39 / 56 ] simplifiying candidate # 2.721 * [simplify]: Simplifying (sqrt (sqrt x)) 2.721 * * [simplify]: iters left: 2 (3 enodes) 2.721 * * [simplify]: iters left: 1 (9 enodes) 2.723 * * [simplify]: Extracting #0: cost 1 inf + 0 2.723 * * [simplify]: Extracting #1: cost 3 inf + 0 2.723 * * [simplify]: Extracting #2: cost 5 inf + 0 2.723 * * [simplify]: Extracting #3: cost 4 inf + 1 2.723 * * [simplify]: Extracting #4: cost 0 inf + 245 2.723 * [simplify]: Simplified to (sqrt (sqrt x)) 2.723 * [simplify]: Simplified (2 1 2) to (λ (x) (* (* (* (+ 2 x) (sqrt (sqrt x))) (sqrt (sqrt x))) (sqrt x))) 2.723 * * * * [progress]: [ 40 / 56 ] simplifiying candidate # 2.723 * [simplify]: Simplifying (sqrt x) 2.723 * * [simplify]: iters left: 1 (2 enodes) 2.723 * * [simplify]: Extracting #0: cost 1 inf + 0 2.723 * * [simplify]: Extracting #1: cost 3 inf + 0 2.723 * * [simplify]: Extracting #2: cost 2 inf + 1 2.723 * * [simplify]: Extracting #3: cost 0 inf + 83 2.723 * [simplify]: Simplified to (sqrt x) 2.723 * [simplify]: Simplified (2 1 2) to (λ (x) (* (* (* (+ 2 x) (sqrt 1)) (sqrt x)) (sqrt x))) 2.723 * * * * [progress]: [ 41 / 56 ] simplifiying candidate # 2.724 * [simplify]: Simplifying (sqrt (sqrt x)) 2.724 * * [simplify]: iters left: 2 (3 enodes) 2.724 * * [simplify]: iters left: 1 (9 enodes) 2.725 * * [simplify]: Extracting #0: cost 1 inf + 0 2.725 * * [simplify]: Extracting #1: cost 3 inf + 0 2.725 * * [simplify]: Extracting #2: cost 5 inf + 0 2.725 * * [simplify]: Extracting #3: cost 4 inf + 1 2.725 * * [simplify]: Extracting #4: cost 0 inf + 245 2.725 * [simplify]: Simplified to (sqrt (sqrt x)) 2.725 * [simplify]: Simplified (2 1 2) to (λ (x) (* (* (* (+ 2 x) (sqrt (sqrt x))) (sqrt (sqrt x))) (sqrt x))) 2.725 * * * * [progress]: [ 42 / 56 ] simplifiying candidate # 2.726 * [simplify]: Simplifying (sqrt x) 2.726 * * [simplify]: iters left: 1 (2 enodes) 2.726 * * [simplify]: Extracting #0: cost 1 inf + 0 2.726 * * [simplify]: Extracting #1: cost 3 inf + 0 2.726 * * [simplify]: Extracting #2: cost 2 inf + 1 2.726 * * [simplify]: Extracting #3: cost 0 inf + 83 2.726 * [simplify]: Simplified to (sqrt x) 2.726 * [simplify]: Simplified (2 1 2) to (λ (x) (* (* (* (+ 2 x) 1) (sqrt x)) (sqrt x))) 2.726 * * * * [progress]: [ 43 / 56 ] simplifiying candidate # 2.726 * [simplify]: Simplifying (* (cbrt (+ 2 x)) (cbrt (+ 2 x))) 2.726 * * [simplify]: iters left: 5 (5 enodes) 2.728 * * [simplify]: iters left: 4 (16 enodes) 2.730 * * [simplify]: Extracting #0: cost 1 inf + 0 2.730 * * [simplify]: Extracting #1: cost 3 inf + 0 2.730 * * [simplify]: Extracting #2: cost 5 inf + 0 2.730 * * [simplify]: Extracting #3: cost 8 inf + 0 2.730 * * [simplify]: Extracting #4: cost 6 inf + 2 2.730 * * [simplify]: Extracting #5: cost 0 inf + 654 2.730 * [simplify]: Simplified to (* (cbrt (+ x 2)) (cbrt (+ x 2))) 2.730 * [simplify]: Simplified (2 1 1) to (λ (x) (* (* (* (cbrt (+ x 2)) (cbrt (+ x 2))) (* (cbrt (+ 2 x)) (sqrt x))) (sqrt x))) 2.730 * * * * [progress]: [ 44 / 56 ] simplifiying candidate # 2.730 * [simplify]: Simplifying (sqrt (+ 2 x)) 2.730 * * [simplify]: iters left: 3 (4 enodes) 2.731 * * [simplify]: iters left: 2 (13 enodes) 2.733 * * [simplify]: Extracting #0: cost 1 inf + 0 2.733 * * [simplify]: Extracting #1: cost 3 inf + 0 2.733 * * [simplify]: Extracting #2: cost 6 inf + 0 2.733 * * [simplify]: Extracting #3: cost 4 inf + 2 2.733 * * [simplify]: Extracting #4: cost 0 inf + 250 2.733 * [simplify]: Simplified to (sqrt (+ x 2)) 2.733 * [simplify]: Simplified (2 1 1) to (λ (x) (* (* (sqrt (+ x 2)) (* (sqrt (+ 2 x)) (sqrt x))) (sqrt x))) 2.733 * * * * [progress]: [ 45 / 56 ] simplifiying candidate # 2.733 * * * * [progress]: [ 46 / 56 ] simplifiying candidate # 2.733 * * * * [progress]: [ 47 / 56 ] simplifiying candidate # 2.733 * [simplify]: Simplifying (* (+ (pow 2 3) (pow x 3)) (sqrt x)) 2.733 * * [simplify]: iters left: 5 (8 enodes) 2.737 * * [simplify]: iters left: 4 (40 enodes) 2.744 * * [simplify]: iters left: 3 (73 enodes) 2.764 * * [simplify]: iters left: 2 (148 enodes) 2.796 * * [simplify]: iters left: 1 (254 enodes) 2.865 * * [simplify]: Extracting #0: cost 1 inf + 0 2.865 * * [simplify]: Extracting #1: cost 6 inf + 0 2.865 * * [simplify]: Extracting #2: cost 28 inf + 0 2.865 * * [simplify]: Extracting #3: cost 62 inf + 2 2.865 * * [simplify]: Extracting #4: cost 46 inf + 2631 2.867 * * [simplify]: Extracting #5: cost 14 inf + 11827 2.869 * * [simplify]: Extracting #6: cost 0 inf + 17792 2.871 * [simplify]: Simplified to (* (+ (* (* x x) x) 8) (sqrt x)) 2.871 * [simplify]: Simplified (2 1 1) to (λ (x) (* (/ (* (+ (* (* x x) x) 8) (sqrt x)) (+ (* 2 2) (- (* x x) (* 2 x)))) (sqrt x))) 2.871 * * * * [progress]: [ 48 / 56 ] simplifiying candidate # 2.871 * [simplify]: Simplifying (* (- (* 2 2) (* x x)) (sqrt x)) 2.871 * * [simplify]: iters left: 6 (7 enodes) 2.873 * * [simplify]: iters left: 5 (28 enodes) 2.877 * * [simplify]: iters left: 4 (52 enodes) 2.885 * * [simplify]: iters left: 3 (113 enodes) 2.910 * * [simplify]: iters left: 2 (286 enodes) 2.973 * * [simplify]: Extracting #0: cost 1 inf + 0 2.973 * * [simplify]: Extracting #1: cost 46 inf + 0 2.974 * * [simplify]: Extracting #2: cost 119 inf + 0 2.974 * * [simplify]: Extracting #3: cost 123 inf + 777 2.976 * * [simplify]: Extracting #4: cost 54 inf + 9862 2.980 * * [simplify]: Extracting #5: cost 0 inf + 19134 2.984 * [simplify]: Simplified to (* (- 4 (* x x)) (sqrt x)) 2.984 * [simplify]: Simplified (2 1 1) to (λ (x) (* (/ (* (- 4 (* x x)) (sqrt x)) (- 2 x)) (sqrt x))) 2.984 * * * * [progress]: [ 49 / 56 ] simplifiying candidate #real (real->posit16 (* (+ 2 x) (sqrt x)))) (sqrt x)))> 2.984 * * * * [progress]: [ 50 / 56 ] simplifiying candidate # 2.984 * * * * [progress]: [ 51 / 56 ] simplifiying candidate # 2.984 * [simplify]: Simplifying (+ (* 2 x) (pow x 2)) 2.984 * * [simplify]: iters left: 4 (5 enodes) 2.986 * * [simplify]: iters left: 3 (22 enodes) 2.989 * * [simplify]: iters left: 2 (30 enodes) 2.993 * * [simplify]: iters left: 1 (37 enodes) 2.997 * * [simplify]: Extracting #0: cost 1 inf + 0 2.997 * * [simplify]: Extracting #1: cost 6 inf + 0 2.997 * * [simplify]: Extracting #2: cost 8 inf + 42 2.997 * * [simplify]: Extracting #3: cost 6 inf + 84 2.997 * * [simplify]: Extracting #4: cost 1 inf + 454 2.997 * * [simplify]: Extracting #5: cost 0 inf + 416 2.998 * [simplify]: Simplified to (* (+ x 2) x) 2.998 * [simplify]: Simplified (2) to (λ (x) (* (+ x 2) x)) 2.998 * * * * [progress]: [ 52 / 56 ] simplifiying candidate # 2.998 * [simplify]: Simplifying (+ (* 2 x) (pow x 2)) 2.998 * * [simplify]: iters left: 4 (5 enodes) 2.999 * * [simplify]: iters left: 3 (22 enodes) 3.002 * * [simplify]: iters left: 2 (30 enodes) 3.006 * * [simplify]: iters left: 1 (37 enodes) 3.010 * * [simplify]: Extracting #0: cost 1 inf + 0 3.010 * * [simplify]: Extracting #1: cost 6 inf + 0 3.010 * * [simplify]: Extracting #2: cost 8 inf + 42 3.011 * * [simplify]: Extracting #3: cost 6 inf + 84 3.011 * * [simplify]: Extracting #4: cost 1 inf + 454 3.011 * * [simplify]: Extracting #5: cost 0 inf + 416 3.011 * [simplify]: Simplified to (* (+ x 2) x) 3.011 * [simplify]: Simplified (2) to (λ (x) (* (+ x 2) x)) 3.011 * * * * [progress]: [ 53 / 56 ] simplifiying candidate # 3.011 * [simplify]: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 3.011 * [simplify]: Simplified (2) to (λ (x) +nan.0) 3.011 * * * * [progress]: [ 54 / 56 ] simplifiying candidate # 3.011 * [simplify]: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2))))))) 3.011 * [simplify]: Simplified (2 1) to (λ (x) (* +nan.0 (sqrt x))) 3.011 * * * * [progress]: [ 55 / 56 ] simplifiying candidate # 3.012 * [simplify]: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 3.012 * [simplify]: Simplified (2 1) to (λ (x) (* +nan.0 (sqrt x))) 3.012 * * * * [progress]: [ 56 / 56 ] simplifiying candidate # 3.012 * [simplify]: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 3.012 * [simplify]: Simplified (2 1) to (λ (x) (* +nan.0 (sqrt x))) 3.012 * * * [progress]: adding candidates to table 3.238 * [progress]: [Phase 3 of 3] Extracting. 3.238 * * [regime]: Finding splitpoints for: (# #) 3.239 * * * [regime-changes]: Trying 1 branch expressions: (x) 3.239 * * * * [regimes]: Trying to branch on x from (# #) 3.254 * * * [regime]: Found split indices: #