0.002 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.424 * * * [progress]: [2/2] Setting up program. 0.430 * [progress]: [Phase 2 of 3] Improving. 0.430 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.464 * [simplify]: Simplifying (* (sqrt (- x 1)) (sqrt x)) 0.466 * * [simplify]: iters left: 5 (6 enodes) 0.480 * * [simplify]: iters left: 4 (24 enodes) 0.491 * * [simplify]: iters left: 3 (28 enodes) 0.500 * * [simplify]: Extracting #0: cost 1 inf + 0 0.500 * * [simplify]: Extracting #1: cost 4 inf + 0 0.500 * * [simplify]: Extracting #2: cost 8 inf + 0 0.501 * * [simplify]: Extracting #3: cost 10 inf + 1 0.501 * * [simplify]: Extracting #4: cost 5 inf + 128 0.501 * * [simplify]: Extracting #5: cost 1 inf + 495 0.502 * * [simplify]: Extracting #6: cost 0 inf + 657 0.502 * [simplify]: Simplified to (* (sqrt (+ x -1)) (sqrt x)) 0.502 * [simplify]: Simplified (2) to (λ (x) (* (sqrt (+ x -1)) (sqrt x))) 0.546 * * [progress]: iteration 1 / 4 0.546 * * * [progress]: picking best candidate 0.548 * * * * [pick]: Picked # 0.549 * * * [progress]: localizing error 0.562 * * * [progress]: generating rewritten candidates 0.562 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.681 * * * [progress]: generating series expansions 0.682 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.693 * [backup-simplify]: Simplify (* (sqrt (- x 1)) (sqrt x)) into (sqrt (* x (- x 1))) 0.693 * [approximate]: Taking taylor expansion of (sqrt (* x (- x 1))) in (x) around 0 0.695 * [taylor]: Taking taylor expansion of (sqrt (* x (- x 1))) in x 0.695 * [taylor]: Taking taylor expansion of (* x (- x 1)) in x 0.695 * [taylor]: Taking taylor expansion of x in x 0.695 * [backup-simplify]: Simplify 0 into 0 0.695 * [backup-simplify]: Simplify 1 into 1 0.695 * [taylor]: Taking taylor expansion of (- x 1) in x 0.695 * [taylor]: Taking taylor expansion of x in x 0.695 * [backup-simplify]: Simplify 0 into 0 0.695 * [backup-simplify]: Simplify 1 into 1 0.695 * [taylor]: Taking taylor expansion of 1 in x 0.695 * [backup-simplify]: Simplify 1 into 1 0.697 * [backup-simplify]: Simplify (- 1) into -1 0.698 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.699 * [backup-simplify]: Simplify (* 0 -1) into 0 0.699 * [backup-simplify]: Simplify (- 0) into 0 0.700 * [backup-simplify]: Simplify (+ 1 0) into 1 0.701 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1 0.702 * [backup-simplify]: Simplify (sqrt 0) into 0 0.704 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 0.704 * [taylor]: Taking taylor expansion of (sqrt (* x (- x 1))) in x 0.704 * [taylor]: Taking taylor expansion of (* x (- x 1)) in x 0.704 * [taylor]: Taking taylor expansion of x in x 0.704 * [backup-simplify]: Simplify 0 into 0 0.704 * [backup-simplify]: Simplify 1 into 1 0.704 * [taylor]: Taking taylor expansion of (- x 1) in x 0.704 * [taylor]: Taking taylor expansion of x in x 0.704 * [backup-simplify]: Simplify 0 into 0 0.704 * [backup-simplify]: Simplify 1 into 1 0.704 * [taylor]: Taking taylor expansion of 1 in x 0.704 * [backup-simplify]: Simplify 1 into 1 0.705 * [backup-simplify]: Simplify (- 1) into -1 0.705 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.706 * [backup-simplify]: Simplify (* 0 -1) into 0 0.706 * [backup-simplify]: Simplify (- 0) into 0 0.707 * [backup-simplify]: Simplify (+ 1 0) into 1 0.708 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1 0.708 * [backup-simplify]: Simplify (sqrt 0) into 0 0.710 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 0.710 * [backup-simplify]: Simplify 0 into 0 0.710 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.711 * [backup-simplify]: Simplify (- 0) into 0 0.712 * [backup-simplify]: Simplify (+ 0 0) into 0 0.713 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1 0.717 * [backup-simplify]: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 0.717 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.718 * [backup-simplify]: Simplify (- 0) into 0 0.718 * [backup-simplify]: Simplify (+ 0 0) into 0 0.720 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0 0.756 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 0.756 * [backup-simplify]: Simplify +nan.0 into +nan.0 0.758 * [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))))))) 0.758 * [backup-simplify]: Simplify (* (sqrt (- (/ 1 x) 1)) (sqrt (/ 1 x))) into (sqrt (/ (- (/ 1 x) 1) x)) 0.758 * [approximate]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in (x) around 0 0.758 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x 0.758 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x 0.758 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x 0.758 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.758 * [taylor]: Taking taylor expansion of x in x 0.758 * [backup-simplify]: Simplify 0 into 0 0.758 * [backup-simplify]: Simplify 1 into 1 0.759 * [backup-simplify]: Simplify (/ 1 1) into 1 0.759 * [taylor]: Taking taylor expansion of 1 in x 0.759 * [backup-simplify]: Simplify 1 into 1 0.760 * [taylor]: Taking taylor expansion of x in x 0.760 * [backup-simplify]: Simplify 0 into 0 0.760 * [backup-simplify]: Simplify 1 into 1 0.761 * [backup-simplify]: Simplify (+ 1 0) into 1 0.761 * [backup-simplify]: Simplify (/ 1 1) into 1 0.762 * [backup-simplify]: Simplify (sqrt 1) into 1 0.763 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.764 * [backup-simplify]: Simplify (- 1) into -1 0.764 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.766 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1 0.766 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2 0.767 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x 0.767 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x 0.767 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x 0.767 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.767 * [taylor]: Taking taylor expansion of x in x 0.767 * [backup-simplify]: Simplify 0 into 0 0.767 * [backup-simplify]: Simplify 1 into 1 0.767 * [backup-simplify]: Simplify (/ 1 1) into 1 0.767 * [taylor]: Taking taylor expansion of 1 in x 0.767 * [backup-simplify]: Simplify 1 into 1 0.767 * [taylor]: Taking taylor expansion of x in x 0.767 * [backup-simplify]: Simplify 0 into 0 0.767 * [backup-simplify]: Simplify 1 into 1 0.768 * [backup-simplify]: Simplify (+ 1 0) into 1 0.768 * [backup-simplify]: Simplify (/ 1 1) into 1 0.769 * [backup-simplify]: Simplify (sqrt 1) into 1 0.770 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.770 * [backup-simplify]: Simplify (- 1) into -1 0.771 * [backup-simplify]: Simplify (+ 0 -1) into -1 0.772 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1 0.773 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2 0.773 * [backup-simplify]: Simplify 1 into 1 0.773 * [backup-simplify]: Simplify -1/2 into -1/2 0.775 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.775 * [backup-simplify]: Simplify (- 0) into 0 0.776 * [backup-simplify]: Simplify (+ 0 0) into 0 0.777 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)))) into 0 0.778 * [backup-simplify]: Simplify (/ (- 0 (pow -1/2 2) (+)) (* 2 1)) into -1/8 0.778 * [backup-simplify]: Simplify -1/8 into -1/8 0.779 * [backup-simplify]: Simplify (+ (* -1/8 (/ 1 x)) (+ -1/2 (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 x)) 1/2)) 0.779 * [backup-simplify]: Simplify (* (sqrt (- (/ 1 (- x)) 1)) (sqrt (/ 1 (- x)))) into (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) 0.779 * [approximate]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in (x) around 0 0.779 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in x 0.779 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x 0.779 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x 0.779 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 0.779 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.779 * [taylor]: Taking taylor expansion of x in x 0.779 * [backup-simplify]: Simplify 0 into 0 0.780 * [backup-simplify]: Simplify 1 into 1 0.780 * [backup-simplify]: Simplify (/ 1 1) into 1 0.780 * [taylor]: Taking taylor expansion of 1 in x 0.780 * [backup-simplify]: Simplify 1 into 1 0.781 * [backup-simplify]: Simplify (+ 1 0) into 1 0.782 * [backup-simplify]: Simplify (- 1) into -1 0.782 * [backup-simplify]: Simplify (sqrt 0) into 0 0.783 * [backup-simplify]: Simplify (- 1) into -1 0.784 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 0.784 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.784 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.785 * [taylor]: Taking taylor expansion of -1 in x 0.785 * [backup-simplify]: Simplify -1 into -1 0.785 * [taylor]: Taking taylor expansion of x in x 0.785 * [backup-simplify]: Simplify 0 into 0 0.785 * [backup-simplify]: Simplify 1 into 1 0.785 * [backup-simplify]: Simplify (/ -1 1) into -1 0.786 * [backup-simplify]: Simplify (sqrt 0) into 0 0.787 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 0.787 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in x 0.787 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x 0.787 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x 0.787 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 0.787 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.787 * [taylor]: Taking taylor expansion of x in x 0.787 * [backup-simplify]: Simplify 0 into 0 0.787 * [backup-simplify]: Simplify 1 into 1 0.788 * [backup-simplify]: Simplify (/ 1 1) into 1 0.788 * [taylor]: Taking taylor expansion of 1 in x 0.788 * [backup-simplify]: Simplify 1 into 1 0.788 * [backup-simplify]: Simplify (+ 1 0) into 1 0.803 * [backup-simplify]: Simplify (- 1) into -1 0.804 * [backup-simplify]: Simplify (sqrt 0) into 0 0.804 * [backup-simplify]: Simplify (- 1) into -1 0.806 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 0.806 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 0.806 * [taylor]: Taking taylor expansion of (/ -1 x) in x 0.806 * [taylor]: Taking taylor expansion of -1 in x 0.807 * [backup-simplify]: Simplify -1 into -1 0.807 * [taylor]: Taking taylor expansion of x in x 0.807 * [backup-simplify]: Simplify 0 into 0 0.807 * [backup-simplify]: Simplify 1 into 1 0.807 * [backup-simplify]: Simplify (/ -1 1) into -1 0.808 * [backup-simplify]: Simplify (sqrt 0) into 0 0.809 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 0.810 * [backup-simplify]: Simplify (* 0 0) into 0 0.810 * [backup-simplify]: Simplify 0 into 0 0.810 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0 0.810 * [backup-simplify]: Simplify 0 into 0 0.811 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 0.816 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 0.817 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.817 * [backup-simplify]: Simplify (+ 0 1) into 1 0.817 * [backup-simplify]: Simplify (- 1) into -1 0.821 * [backup-simplify]: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 0.824 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0) 0.824 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 0.825 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.830 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 0.831 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.831 * [backup-simplify]: Simplify (+ 0 0) into 0 0.832 * [backup-simplify]: Simplify (- 0) into 0 0.836 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 0.840 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0) 0.840 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 0.842 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.847 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 0.848 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.850 * [backup-simplify]: Simplify (+ 0 0) into 0 0.851 * [backup-simplify]: Simplify (- 0) into 0 0.856 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 0.863 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))))) into (- +nan.0) 0.864 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 0.865 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (/ 1 (- x)) 2)) (+ (* (- +nan.0) (/ 1 (- x))) (- +nan.0))) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 0.866 * * * [progress]: simplifying candidates 0.866 * * * * [progress]: [ 1 / 42 ] simplifiying candidate # 0.866 * * * * [progress]: [ 2 / 42 ] simplifiying candidate # 0.866 * * * * [progress]: [ 3 / 42 ] simplifiying candidate # 0.866 * [simplify]: Simplifying (* (- x 1) x) 0.866 * * [simplify]: iters left: 4 (4 enodes) 0.869 * * [simplify]: iters left: 3 (18 enodes) 0.876 * * [simplify]: iters left: 2 (27 enodes) 0.891 * * [simplify]: iters left: 1 (38 enodes) 0.902 * * [simplify]: Extracting #0: cost 1 inf + 0 0.903 * * [simplify]: Extracting #1: cost 8 inf + 0 0.903 * * [simplify]: Extracting #2: cost 10 inf + 2 0.903 * * [simplify]: Extracting #3: cost 0 inf + 457 0.903 * * [simplify]: Extracting #4: cost 0 inf + 455 0.904 * [simplify]: Simplified to (- (* x x) x) 0.904 * [simplify]: Simplified (2 1) to (λ (x) (pow (- (* x x) x) 1/2)) 0.904 * * * * [progress]: [ 4 / 42 ] simplifiying candidate # 0.904 * [simplify]: Simplifying (* (sqrt (- x 1)) (sqrt x)) 0.904 * * [simplify]: iters left: 5 (6 enodes) 0.908 * * [simplify]: iters left: 4 (24 enodes) 0.917 * * [simplify]: iters left: 3 (28 enodes) 0.926 * * [simplify]: Extracting #0: cost 1 inf + 0 0.926 * * [simplify]: Extracting #1: cost 4 inf + 0 0.926 * * [simplify]: Extracting #2: cost 8 inf + 0 0.926 * * [simplify]: Extracting #3: cost 10 inf + 1 0.926 * * [simplify]: Extracting #4: cost 5 inf + 128 0.926 * * [simplify]: Extracting #5: cost 1 inf + 495 0.927 * * [simplify]: Extracting #6: cost 0 inf + 657 0.927 * [simplify]: Simplified to (* (sqrt (+ x -1)) (sqrt x)) 0.927 * [simplify]: Simplified (2 1) to (λ (x) (pow (* (sqrt (+ x -1)) (sqrt x)) 1)) 0.927 * * * * [progress]: [ 5 / 42 ] simplifiying candidate # 0.928 * [simplify]: Simplifying (* (- x 1) x) 0.928 * * [simplify]: iters left: 4 (4 enodes) 0.931 * * [simplify]: iters left: 3 (18 enodes) 0.938 * * [simplify]: iters left: 2 (27 enodes) 0.947 * * [simplify]: iters left: 1 (38 enodes) 0.957 * * [simplify]: Extracting #0: cost 1 inf + 0 0.957 * * [simplify]: Extracting #1: cost 8 inf + 0 0.958 * * [simplify]: Extracting #2: cost 10 inf + 2 0.958 * * [simplify]: Extracting #3: cost 0 inf + 457 0.958 * * [simplify]: Extracting #4: cost 0 inf + 455 0.959 * [simplify]: Simplified to (- (* x x) x) 0.959 * [simplify]: Simplified (2 1) to (λ (x) (pow (- (* x x) x) (/ 1 2))) 0.959 * [simplify]: Simplifying (/ 1 2) 0.959 * * [simplify]: iters left: 2 (3 enodes) 0.962 * * [simplify]: iters left: 1 (12 enodes) 0.967 * * [simplify]: Extracting #0: cost 1 inf + 0 0.967 * * [simplify]: Extracting #1: cost 0 inf + 1 0.967 * [simplify]: Simplified to 1/2 0.967 * [simplify]: Simplified (2 2) to (λ (x) (pow (* (- x 1) x) 1/2)) 0.967 * * * * [progress]: [ 6 / 42 ] simplifiying candidate # 0.967 * * * * [progress]: [ 7 / 42 ] simplifiying candidate # 0.970 * [simplify]: Simplifying (+ (log (sqrt (- x 1))) (log (sqrt x))) 0.970 * * [simplify]: iters left: 6 (8 enodes) 0.979 * * [simplify]: iters left: 5 (30 enodes) 0.989 * * [simplify]: iters left: 4 (34 enodes) 0.999 * * [simplify]: Extracting #0: cost 1 inf + 0 0.999 * * [simplify]: Extracting #1: cost 4 inf + 0 0.999 * * [simplify]: Extracting #2: cost 8 inf + 0 0.999 * * [simplify]: Extracting #3: cost 12 inf + 0 0.999 * * [simplify]: Extracting #4: cost 10 inf + 305 0.999 * * [simplify]: Extracting #5: cost 8 inf + 307 0.999 * * [simplify]: Extracting #6: cost 5 inf + 473 1.000 * * [simplify]: Extracting #7: cost 0 inf + 1463 1.000 * [simplify]: Simplified to (+ (log (sqrt x)) (log (sqrt (+ x -1)))) 1.000 * [simplify]: Simplified (2 1) to (λ (x) (exp (+ (log (sqrt x)) (log (sqrt (+ x -1)))))) 1.000 * * * * [progress]: [ 8 / 42 ] simplifiying candidate # 1.000 * * * * [progress]: [ 9 / 42 ] simplifiying candidate # 1.001 * * * * [progress]: [ 10 / 42 ] simplifiying candidate # 1.001 * [simplify]: Simplifying (* (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))) (* (* (sqrt x) (sqrt x)) (sqrt x))) 1.001 * * [simplify]: iters left: 6 (10 enodes) 1.007 * * [simplify]: iters left: 5 (38 enodes) 1.021 * * [simplify]: iters left: 4 (72 enodes) 1.049 * * [simplify]: iters left: 3 (130 enodes) 1.102 * * [simplify]: iters left: 2 (244 enodes) 1.309 * * [simplify]: iters left: 1 (485 enodes) 1.514 * * [simplify]: Extracting #0: cost 1 inf + 0 1.514 * * [simplify]: Extracting #1: cost 48 inf + 0 1.515 * * [simplify]: Extracting #2: cost 103 inf + 43 1.516 * * [simplify]: Extracting #3: cost 78 inf + 3128 1.520 * * [simplify]: Extracting #4: cost 16 inf + 21409 1.562 * * [simplify]: Extracting #5: cost 1 inf + 29623 1.575 * * [simplify]: Extracting #6: cost 0 inf + 30287 1.586 * [simplify]: Simplified to (* (* x (sqrt x)) (* (+ -1 x) (sqrt (+ -1 x)))) 1.586 * [simplify]: Simplified (2 1) to (λ (x) (cbrt (* (* x (sqrt x)) (* (+ -1 x) (sqrt (+ -1 x)))))) 1.586 * * * * [progress]: [ 11 / 42 ] simplifiying candidate # 1.586 * * * * [progress]: [ 12 / 42 ] simplifiying candidate # 1.587 * * * * [progress]: [ 13 / 42 ] simplifiying candidate # 1.587 * [simplify]: Simplifying (* (- x 1) x) 1.587 * * [simplify]: iters left: 4 (4 enodes) 1.590 * * [simplify]: iters left: 3 (18 enodes) 1.596 * * [simplify]: iters left: 2 (27 enodes) 1.636 * * [simplify]: iters left: 1 (38 enodes) 1.644 * * [simplify]: Extracting #0: cost 1 inf + 0 1.644 * * [simplify]: Extracting #1: cost 8 inf + 0 1.645 * * [simplify]: Extracting #2: cost 10 inf + 2 1.645 * * [simplify]: Extracting #3: cost 0 inf + 457 1.645 * * [simplify]: Extracting #4: cost 0 inf + 455 1.645 * [simplify]: Simplified to (- (* x x) x) 1.645 * [simplify]: Simplified (2 1) to (λ (x) (sqrt (- (* x x) x))) 1.646 * * * * [progress]: [ 14 / 42 ] simplifiying candidate # 1.646 * * * * [progress]: [ 15 / 42 ] simplifiying candidate # 1.646 * * * * [progress]: [ 16 / 42 ] simplifiying candidate # 1.646 * [simplify]: Simplifying (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) 1.646 * * [simplify]: iters left: 6 (8 enodes) 1.650 * * [simplify]: iters left: 5 (30 enodes) 1.658 * * [simplify]: iters left: 4 (34 enodes) 1.668 * * [simplify]: Extracting #0: cost 1 inf + 0 1.668 * * [simplify]: Extracting #1: cost 4 inf + 0 1.668 * * [simplify]: Extracting #2: cost 8 inf + 0 1.668 * * [simplify]: Extracting #3: cost 12 inf + 0 1.668 * * [simplify]: Extracting #4: cost 10 inf + 245 1.669 * * [simplify]: Extracting #5: cost 8 inf + 247 1.669 * * [simplify]: Extracting #6: cost 5 inf + 413 1.669 * * [simplify]: Extracting #7: cost 0 inf + 1223 1.670 * [simplify]: Simplified to (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) 1.670 * [simplify]: Simplified (2 1) to (λ (x) (* (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))))) 1.670 * [simplify]: Simplifying (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) 1.670 * * [simplify]: iters left: 6 (8 enodes) 1.677 * * [simplify]: iters left: 5 (30 enodes) 1.725 * * [simplify]: iters left: 4 (34 enodes) 1.733 * * [simplify]: Extracting #0: cost 1 inf + 0 1.733 * * [simplify]: Extracting #1: cost 4 inf + 0 1.734 * * [simplify]: Extracting #2: cost 8 inf + 0 1.734 * * [simplify]: Extracting #3: cost 12 inf + 0 1.734 * * [simplify]: Extracting #4: cost 10 inf + 245 1.734 * * [simplify]: Extracting #5: cost 8 inf + 247 1.734 * * [simplify]: Extracting #6: cost 5 inf + 413 1.734 * * [simplify]: Extracting #7: cost 0 inf + 1223 1.735 * [simplify]: Simplified to (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) 1.735 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))))) 1.735 * * * * [progress]: [ 17 / 42 ] simplifiying candidate # 1.735 * [simplify]: Simplifying (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) 1.735 * * [simplify]: iters left: 6 (8 enodes) 1.738 * * [simplify]: iters left: 5 (30 enodes) 1.748 * * [simplify]: iters left: 4 (34 enodes) 1.758 * * [simplify]: Extracting #0: cost 1 inf + 0 1.758 * * [simplify]: Extracting #1: cost 4 inf + 0 1.758 * * [simplify]: Extracting #2: cost 8 inf + 0 1.758 * * [simplify]: Extracting #3: cost 12 inf + 0 1.758 * * [simplify]: Extracting #4: cost 10 inf + 245 1.759 * * [simplify]: Extracting #5: cost 8 inf + 247 1.759 * * [simplify]: Extracting #6: cost 5 inf + 413 1.759 * * [simplify]: Extracting #7: cost 0 inf + 1223 1.759 * [simplify]: Simplified to (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) 1.759 * [simplify]: Simplified (2 1) to (λ (x) (* (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))))) 1.760 * [simplify]: Simplifying (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) 1.760 * * [simplify]: iters left: 6 (8 enodes) 1.764 * * [simplify]: iters left: 5 (30 enodes) 1.775 * * [simplify]: iters left: 4 (34 enodes) 1.786 * * [simplify]: Extracting #0: cost 1 inf + 0 1.786 * * [simplify]: Extracting #1: cost 4 inf + 0 1.786 * * [simplify]: Extracting #2: cost 8 inf + 0 1.786 * * [simplify]: Extracting #3: cost 12 inf + 0 1.786 * * [simplify]: Extracting #4: cost 10 inf + 245 1.787 * * [simplify]: Extracting #5: cost 8 inf + 247 1.787 * * [simplify]: Extracting #6: cost 5 inf + 413 1.787 * * [simplify]: Extracting #7: cost 0 inf + 1223 1.788 * [simplify]: Simplified to (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) 1.788 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))))) 1.788 * * * * [progress]: [ 18 / 42 ] simplifiying candidate # 1.788 * [simplify]: Simplifying (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) 1.788 * * [simplify]: iters left: 6 (8 enodes) 1.793 * * [simplify]: iters left: 5 (30 enodes) 1.803 * * [simplify]: iters left: 4 (34 enodes) 1.819 * * [simplify]: Extracting #0: cost 1 inf + 0 1.819 * * [simplify]: Extracting #1: cost 4 inf + 0 1.819 * * [simplify]: Extracting #2: cost 8 inf + 0 1.819 * * [simplify]: Extracting #3: cost 12 inf + 0 1.819 * * [simplify]: Extracting #4: cost 10 inf + 245 1.819 * * [simplify]: Extracting #5: cost 8 inf + 247 1.820 * * [simplify]: Extracting #6: cost 5 inf + 413 1.820 * * [simplify]: Extracting #7: cost 0 inf + 1223 1.821 * [simplify]: Simplified to (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) 1.821 * [simplify]: Simplified (2 1) to (λ (x) (* (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))))) 1.821 * [simplify]: Simplifying (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) 1.821 * * [simplify]: iters left: 6 (8 enodes) 1.826 * * [simplify]: iters left: 5 (30 enodes) 1.836 * * [simplify]: iters left: 4 (34 enodes) 1.847 * * [simplify]: Extracting #0: cost 1 inf + 0 1.847 * * [simplify]: Extracting #1: cost 4 inf + 0 1.847 * * [simplify]: Extracting #2: cost 8 inf + 0 1.847 * * [simplify]: Extracting #3: cost 12 inf + 0 1.847 * * [simplify]: Extracting #4: cost 10 inf + 245 1.847 * * [simplify]: Extracting #5: cost 8 inf + 247 1.847 * * [simplify]: Extracting #6: cost 5 inf + 413 1.848 * * [simplify]: Extracting #7: cost 0 inf + 1223 1.848 * [simplify]: Simplified to (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) 1.848 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))))) 1.848 * * * * [progress]: [ 19 / 42 ] simplifiying candidate # 1.849 * [simplify]: Simplifying (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) 1.849 * * [simplify]: iters left: 6 (8 enodes) 1.853 * * [simplify]: iters left: 5 (30 enodes) 1.864 * * [simplify]: iters left: 4 (34 enodes) 1.874 * * [simplify]: Extracting #0: cost 1 inf + 0 1.874 * * [simplify]: Extracting #1: cost 4 inf + 0 1.874 * * [simplify]: Extracting #2: cost 8 inf + 0 1.874 * * [simplify]: Extracting #3: cost 12 inf + 0 1.875 * * [simplify]: Extracting #4: cost 10 inf + 245 1.875 * * [simplify]: Extracting #5: cost 8 inf + 247 1.875 * * [simplify]: Extracting #6: cost 5 inf + 413 1.875 * * [simplify]: Extracting #7: cost 0 inf + 1223 1.876 * [simplify]: Simplified to (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) 1.876 * [simplify]: Simplified (2 1) to (λ (x) (* (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))))) 1.876 * [simplify]: Simplifying (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) 1.876 * * [simplify]: iters left: 6 (8 enodes) 1.881 * * [simplify]: iters left: 5 (30 enodes) 1.896 * * [simplify]: iters left: 4 (34 enodes) 1.906 * * [simplify]: Extracting #0: cost 1 inf + 0 1.906 * * [simplify]: Extracting #1: cost 4 inf + 0 1.906 * * [simplify]: Extracting #2: cost 8 inf + 0 1.906 * * [simplify]: Extracting #3: cost 12 inf + 0 1.907 * * [simplify]: Extracting #4: cost 10 inf + 245 1.907 * * [simplify]: Extracting #5: cost 8 inf + 247 1.907 * * [simplify]: Extracting #6: cost 5 inf + 413 1.907 * * [simplify]: Extracting #7: cost 0 inf + 1223 1.908 * [simplify]: Simplified to (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) 1.908 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))))) 1.908 * * * * [progress]: [ 20 / 42 ] simplifiying candidate # 1.908 * [simplify]: Simplifying (cbrt (sqrt x)) 1.909 * * [simplify]: iters left: 2 (3 enodes) 1.910 * * [simplify]: iters left: 1 (9 enodes) 1.912 * * [simplify]: Extracting #0: cost 1 inf + 0 1.912 * * [simplify]: Extracting #1: cost 3 inf + 0 1.912 * * [simplify]: Extracting #2: cost 5 inf + 0 1.913 * * [simplify]: Extracting #3: cost 4 inf + 1 1.913 * * [simplify]: Extracting #4: cost 0 inf + 325 1.913 * [simplify]: Simplified to (cbrt (sqrt x)) 1.913 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x)))) 1.913 * * * * [progress]: [ 21 / 42 ] simplifiying candidate # 1.913 * [simplify]: Simplifying (sqrt (cbrt x)) 1.913 * * [simplify]: iters left: 2 (3 enodes) 1.915 * * [simplify]: iters left: 1 (9 enodes) 1.917 * * [simplify]: Extracting #0: cost 1 inf + 0 1.917 * * [simplify]: Extracting #1: cost 3 inf + 0 1.917 * * [simplify]: Extracting #2: cost 5 inf + 0 1.917 * * [simplify]: Extracting #3: cost 4 inf + 1 1.917 * * [simplify]: Extracting #4: cost 0 inf + 405 1.918 * [simplify]: Simplified to (sqrt (cbrt x)) 1.918 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) (sqrt (* (cbrt x) (cbrt x)))) (sqrt (cbrt x)))) 1.918 * * * * [progress]: [ 22 / 42 ] simplifiying candidate # 1.918 * [simplify]: Simplifying (sqrt (sqrt x)) 1.918 * * [simplify]: iters left: 2 (3 enodes) 1.919 * * [simplify]: iters left: 1 (9 enodes) 1.922 * * [simplify]: Extracting #0: cost 1 inf + 0 1.922 * * [simplify]: Extracting #1: cost 3 inf + 0 1.922 * * [simplify]: Extracting #2: cost 5 inf + 0 1.922 * * [simplify]: Extracting #3: cost 4 inf + 1 1.922 * * [simplify]: Extracting #4: cost 0 inf + 245 1.922 * [simplify]: Simplified to (sqrt (sqrt x)) 1.922 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x)))) 1.922 * * * * [progress]: [ 23 / 42 ] simplifiying candidate # 1.923 * [simplify]: Simplifying (sqrt x) 1.923 * * [simplify]: iters left: 1 (2 enodes) 1.924 * * [simplify]: Extracting #0: cost 1 inf + 0 1.924 * * [simplify]: Extracting #1: cost 3 inf + 0 1.924 * * [simplify]: Extracting #2: cost 2 inf + 1 1.924 * * [simplify]: Extracting #3: cost 0 inf + 83 1.924 * [simplify]: Simplified to (sqrt x) 1.924 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) (sqrt 1)) (sqrt x))) 1.924 * * * * [progress]: [ 24 / 42 ] simplifiying candidate # 1.924 * [simplify]: Simplifying (sqrt (sqrt x)) 1.924 * * [simplify]: iters left: 2 (3 enodes) 1.926 * * [simplify]: iters left: 1 (9 enodes) 1.928 * * [simplify]: Extracting #0: cost 1 inf + 0 1.928 * * [simplify]: Extracting #1: cost 3 inf + 0 1.928 * * [simplify]: Extracting #2: cost 5 inf + 0 1.928 * * [simplify]: Extracting #3: cost 4 inf + 1 1.928 * * [simplify]: Extracting #4: cost 0 inf + 245 1.929 * [simplify]: Simplified to (sqrt (sqrt x)) 1.929 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x)))) 1.929 * * * * [progress]: [ 25 / 42 ] simplifiying candidate # 1.929 * [simplify]: Simplifying (sqrt x) 1.929 * * [simplify]: iters left: 1 (2 enodes) 1.930 * * [simplify]: Extracting #0: cost 1 inf + 0 1.930 * * [simplify]: Extracting #1: cost 3 inf + 0 1.930 * * [simplify]: Extracting #2: cost 2 inf + 1 1.930 * * [simplify]: Extracting #3: cost 0 inf + 83 1.930 * [simplify]: Simplified to (sqrt x) 1.930 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) 1) (sqrt x))) 1.931 * * * * [progress]: [ 26 / 42 ] simplifiying candidate # 1.931 * [simplify]: Simplifying (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1)))) 1.931 * * [simplify]: iters left: 6 (6 enodes) 1.935 * * [simplify]: iters left: 5 (23 enodes) 1.944 * * [simplify]: iters left: 4 (27 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 7 inf + 0 1.953 * * [simplify]: Extracting #4: cost 11 inf + 0 1.953 * * [simplify]: Extracting #5: cost 6 inf + 87 1.953 * * [simplify]: Extracting #6: cost 1 inf + 777 1.954 * * [simplify]: Extracting #7: cost 0 inf + 979 1.954 * [simplify]: Simplified to (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1)))) 1.954 * [simplify]: Simplified (2 1) to (λ (x) (* (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1)))) (* (cbrt (sqrt (- x 1))) (sqrt x)))) 1.954 * * * * [progress]: [ 27 / 42 ] simplifiying candidate # 1.955 * [simplify]: Simplifying (sqrt (* (cbrt (- x 1)) (cbrt (- x 1)))) 1.955 * * [simplify]: iters left: 6 (6 enodes) 1.958 * * [simplify]: iters left: 5 (24 enodes) 1.966 * * [simplify]: iters left: 4 (28 enodes) 1.974 * * [simplify]: Extracting #0: cost 1 inf + 0 1.975 * * [simplify]: Extracting #1: cost 4 inf + 0 1.975 * * [simplify]: Extracting #2: cost 7 inf + 0 1.975 * * [simplify]: Extracting #3: cost 11 inf + 0 1.975 * * [simplify]: Extracting #4: cost 8 inf + 3 1.975 * * [simplify]: Extracting #5: cost 4 inf + 331 1.975 * * [simplify]: Extracting #6: cost 2 inf + 655 1.975 * * [simplify]: Extracting #7: cost 0 inf + 979 1.976 * [simplify]: Simplified to (fabs (cbrt (+ x -1))) 1.976 * [simplify]: Simplified (2 1) to (λ (x) (* (fabs (cbrt (+ x -1))) (* (sqrt (cbrt (- x 1))) (sqrt x)))) 1.976 * * * * [progress]: [ 28 / 42 ] simplifiying candidate # 1.976 * [simplify]: Simplifying (sqrt (sqrt (- x 1))) 1.976 * * [simplify]: iters left: 4 (5 enodes) 1.979 * * [simplify]: iters left: 3 (20 enodes) 1.986 * * [simplify]: iters left: 2 (24 enodes) 1.993 * * [simplify]: Extracting #0: cost 1 inf + 0 1.993 * * [simplify]: Extracting #1: cost 3 inf + 0 1.993 * * [simplify]: Extracting #2: cost 5 inf + 0 1.993 * * [simplify]: Extracting #3: cost 9 inf + 0 1.994 * * [simplify]: Extracting #4: cost 6 inf + 3 1.994 * * [simplify]: Extracting #5: cost 0 inf + 495 1.994 * [simplify]: Simplified to (sqrt (sqrt (+ x -1))) 1.994 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ x -1))) (* (sqrt (sqrt (- x 1))) (sqrt x)))) 1.994 * * * * [progress]: [ 29 / 42 ] simplifiying candidate # 1.994 * [simplify]: Simplifying (sqrt 1) 1.994 * * [simplify]: iters left: 1 (2 enodes) 1.997 * * [simplify]: Extracting #0: cost 1 inf + 0 1.998 * * [simplify]: Extracting #1: cost 0 inf + 1 1.998 * [simplify]: Simplified to 1 1.998 * [simplify]: Simplified (2 1) to (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x)))) 1.998 * * * * [progress]: [ 30 / 42 ] simplifiying candidate # 1.998 * [simplify]: Simplifying (sqrt (+ (sqrt x) (sqrt 1))) 1.998 * * [simplify]: iters left: 4 (6 enodes) 2.001 * * [simplify]: iters left: 3 (21 enodes) 2.008 * * [simplify]: iters left: 2 (23 enodes) 2.014 * * [simplify]: Extracting #0: cost 1 inf + 0 2.014 * * [simplify]: Extracting #1: cost 3 inf + 0 2.014 * * [simplify]: Extracting #2: cost 6 inf + 0 2.014 * * [simplify]: Extracting #3: cost 7 inf + 1 2.014 * * [simplify]: Extracting #4: cost 6 inf + 2 2.014 * * [simplify]: Extracting #5: cost 0 inf + 492 2.015 * [simplify]: Simplified to (sqrt (+ (sqrt x) 1)) 2.015 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (+ (sqrt x) 1)) (* (sqrt (- (sqrt x) (sqrt 1))) (sqrt x)))) 2.015 * * * * [progress]: [ 31 / 42 ] simplifiying candidate # 2.015 * [simplify]: Simplifying (sqrt (+ (sqrt x) 1)) 2.015 * * [simplify]: iters left: 4 (5 enodes) 2.018 * * [simplify]: iters left: 3 (18 enodes) 2.024 * * [simplify]: iters left: 2 (20 enodes) 2.031 * * [simplify]: Extracting #0: cost 1 inf + 0 2.031 * * [simplify]: Extracting #1: cost 3 inf + 0 2.031 * * [simplify]: Extracting #2: cost 6 inf + 0 2.031 * * [simplify]: Extracting #3: cost 7 inf + 1 2.031 * * [simplify]: Extracting #4: cost 6 inf + 2 2.031 * * [simplify]: Extracting #5: cost 0 inf + 492 2.031 * [simplify]: Simplified to (sqrt (+ (sqrt x) 1)) 2.031 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (+ (sqrt x) 1)) (* (sqrt (- (sqrt x) 1)) (sqrt x)))) 2.031 * * * * [progress]: [ 32 / 42 ] simplifiying candidate # 2.032 * [simplify]: Simplifying (sqrt (+ (sqrt x) 1)) 2.032 * * [simplify]: iters left: 4 (5 enodes) 2.035 * * [simplify]: iters left: 3 (18 enodes) 2.041 * * [simplify]: iters left: 2 (20 enodes) 2.047 * * [simplify]: Extracting #0: cost 1 inf + 0 2.048 * * [simplify]: Extracting #1: cost 3 inf + 0 2.048 * * [simplify]: Extracting #2: cost 6 inf + 0 2.048 * * [simplify]: Extracting #3: cost 7 inf + 1 2.048 * * [simplify]: Extracting #4: cost 6 inf + 2 2.048 * * [simplify]: Extracting #5: cost 0 inf + 492 2.048 * [simplify]: Simplified to (sqrt (+ (sqrt x) 1)) 2.048 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (+ (sqrt x) 1)) (* (sqrt (- (sqrt x) 1)) (sqrt x)))) 2.048 * * * * [progress]: [ 33 / 42 ] simplifiying candidate # 2.049 * [simplify]: Simplifying (sqrt 1) 2.049 * * [simplify]: iters left: 1 (2 enodes) 2.051 * * [simplify]: Extracting #0: cost 1 inf + 0 2.051 * * [simplify]: Extracting #1: cost 0 inf + 1 2.051 * [simplify]: Simplified to 1 2.052 * [simplify]: Simplified (2 1) to (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x)))) 2.052 * * * * [progress]: [ 34 / 42 ] simplifiying candidate # 2.052 * [simplify]: Simplifying (sqrt (sqrt (- x 1))) 2.052 * * [simplify]: iters left: 4 (5 enodes) 2.053 * * [simplify]: iters left: 3 (20 enodes) 2.057 * * [simplify]: iters left: 2 (24 enodes) 2.063 * * [simplify]: Extracting #0: cost 1 inf + 0 2.063 * * [simplify]: Extracting #1: cost 3 inf + 0 2.063 * * [simplify]: Extracting #2: cost 5 inf + 0 2.063 * * [simplify]: Extracting #3: cost 9 inf + 0 2.063 * * [simplify]: Extracting #4: cost 6 inf + 3 2.063 * * [simplify]: Extracting #5: cost 0 inf + 495 2.063 * [simplify]: Simplified to (sqrt (sqrt (+ x -1))) 2.063 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ x -1))) (* (sqrt (sqrt (- x 1))) (sqrt x)))) 2.063 * * * * [progress]: [ 35 / 42 ] simplifiying candidate # 2.064 * * * * [progress]: [ 36 / 42 ] simplifiying candidate # 2.064 * [simplify]: Simplifying (* (sqrt (- (pow x 3) (pow 1 3))) (sqrt x)) 2.064 * * [simplify]: iters left: 6 (9 enodes) 2.067 * * [simplify]: iters left: 5 (41 enodes) 2.077 * * [simplify]: iters left: 4 (73 enodes) 2.090 * * [simplify]: iters left: 3 (108 enodes) 2.111 * * [simplify]: iters left: 2 (174 enodes) 2.156 * * [simplify]: iters left: 1 (359 enodes) 2.283 * * [simplify]: Extracting #0: cost 1 inf + 0 2.283 * * [simplify]: Extracting #1: cost 4 inf + 0 2.283 * * [simplify]: Extracting #2: cost 8 inf + 0 2.283 * * [simplify]: Extracting #3: cost 53 inf + 83 2.284 * * [simplify]: Extracting #4: cost 184 inf + 126 2.285 * * [simplify]: Extracting #5: cost 182 inf + 2089 2.288 * * [simplify]: Extracting #6: cost 107 inf + 32963 2.299 * * [simplify]: Extracting #7: cost 11 inf + 84620 2.307 * * [simplify]: Extracting #8: cost 0 inf + 91226 2.317 * * [simplify]: Extracting #9: cost 0 inf + 91055 2.326 * [simplify]: Simplified to (* (sqrt x) (sqrt (fma x (* x x) -1))) 2.326 * [simplify]: Simplified (2 1) to (λ (x) (/ (* (sqrt x) (sqrt (fma x (* x x) -1))) (sqrt (+ (* x x) (+ (* 1 1) (* x 1)))))) 2.326 * * * * [progress]: [ 37 / 42 ] simplifiying candidate # 2.326 * [simplify]: Simplifying (* (sqrt (- (* x x) (* 1 1))) (sqrt x)) 2.326 * * [simplify]: iters left: 6 (8 enodes) 2.329 * * [simplify]: iters left: 5 (30 enodes) 2.335 * * [simplify]: iters left: 4 (41 enodes) 2.341 * * [simplify]: iters left: 3 (48 enodes) 2.348 * * [simplify]: iters left: 2 (64 enodes) 2.361 * * [simplify]: iters left: 1 (107 enodes) 2.381 * * [simplify]: Extracting #0: cost 1 inf + 0 2.381 * * [simplify]: Extracting #1: cost 4 inf + 0 2.381 * * [simplify]: Extracting #2: cost 8 inf + 0 2.381 * * [simplify]: Extracting #3: cost 28 inf + 1 2.382 * * [simplify]: Extracting #4: cost 21 inf + 947 2.382 * * [simplify]: Extracting #5: cost 3 inf + 2726 2.383 * * [simplify]: Extracting #6: cost 0 inf + 2733 2.384 * [simplify]: Simplified to (* (sqrt (fma x x -1)) (sqrt x)) 2.384 * [simplify]: Simplified (2 1) to (λ (x) (/ (* (sqrt (fma x x -1)) (sqrt x)) (sqrt (+ x 1)))) 2.384 * * * * [progress]: [ 38 / 42 ] simplifiying candidate #real (real->posit16 (* (sqrt (- x 1)) (sqrt x)))))> 2.384 * * * * [progress]: [ 39 / 42 ] simplifiying candidate # 2.384 * * * * [progress]: [ 40 / 42 ] simplifiying candidate # 2.384 * [simplify]: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2))))))) 2.384 * [simplify]: Simplified (2) to (λ (x) +nan.0) 2.384 * * * * [progress]: [ 41 / 42 ] simplifiying candidate # 2.384 * [simplify]: Simplifying (- x (+ (* 1/8 (/ 1 x)) 1/2)) 2.384 * * [simplify]: iters left: 6 (8 enodes) 2.388 * * [simplify]: iters left: 5 (35 enodes) 2.395 * * [simplify]: iters left: 4 (54 enodes) 2.404 * * [simplify]: iters left: 3 (77 enodes) 2.418 * * [simplify]: iters left: 2 (110 enodes) 2.433 * * [simplify]: iters left: 1 (124 enodes) 2.450 * * [simplify]: Extracting #0: cost 1 inf + 0 2.450 * * [simplify]: Extracting #1: cost 18 inf + 0 2.450 * * [simplify]: Extracting #2: cost 26 inf + 5 2.451 * * [simplify]: Extracting #3: cost 6 inf + 1207 2.452 * * [simplify]: Extracting #4: cost 0 inf + 1580 2.456 * * [simplify]: Extracting #5: cost 0 inf + 1540 2.457 * [simplify]: Simplified to (- x (- 1/2 (/ -1/8 x))) 2.457 * [simplify]: Simplified (2) to (λ (x) (- x (- 1/2 (/ -1/8 x)))) 2.457 * * * * [progress]: [ 42 / 42 ] simplifiying candidate # 2.458 * [simplify]: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 2.458 * [simplify]: Simplified (2) to (λ (x) +nan.0) 2.458 * * * [progress]: adding candidates to table 2.782 * * [progress]: iteration 2 / 4 2.782 * * * [progress]: picking best candidate 2.788 * * * * [pick]: Picked # 2.788 * * * [progress]: localizing error 2.799 * * * [progress]: generating rewritten candidates 2.799 * * * [progress]: generating series expansions 2.799 * * * [progress]: simplifying candidates 2.799 * * * [progress]: adding candidates to table 2.800 * * [progress]: iteration 3 / 4 2.800 * * * [progress]: picking best candidate 2.801 * * * * [pick]: Picked # 2.802 * * * [progress]: localizing error 2.817 * * * [progress]: generating rewritten candidates 2.817 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 2.829 * * * [progress]: generating series expansions 2.829 * * * * [progress]: [ 1 / 1 ] generating series at (2) 2.830 * [backup-simplify]: Simplify (pow (* (- x 1) x) 1/2) into (pow (* x (- x 1)) 1/2) 2.830 * [approximate]: Taking taylor expansion of (pow (* x (- x 1)) 1/2) in (x) around 0 2.830 * [taylor]: Taking taylor expansion of (pow (* x (- x 1)) 1/2) in x 2.830 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (* x (- x 1))))) in x 2.830 * [taylor]: Taking taylor expansion of (* 1/2 (log (* x (- x 1)))) in x 2.830 * [taylor]: Taking taylor expansion of 1/2 in x 2.830 * [backup-simplify]: Simplify 1/2 into 1/2 2.830 * [taylor]: Taking taylor expansion of (log (* x (- x 1))) in x 2.830 * [taylor]: Taking taylor expansion of (* x (- x 1)) in x 2.830 * [taylor]: Taking taylor expansion of x in x 2.830 * [backup-simplify]: Simplify 0 into 0 2.830 * [backup-simplify]: Simplify 1 into 1 2.830 * [taylor]: Taking taylor expansion of (- x 1) in x 2.830 * [taylor]: Taking taylor expansion of x in x 2.830 * [backup-simplify]: Simplify 0 into 0 2.830 * [backup-simplify]: Simplify 1 into 1 2.830 * [taylor]: Taking taylor expansion of 1 in x 2.830 * [backup-simplify]: Simplify 1 into 1 2.831 * [backup-simplify]: Simplify (- 1) into -1 2.831 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.832 * [backup-simplify]: Simplify (* 0 -1) into 0 2.832 * [backup-simplify]: Simplify (- 0) into 0 2.833 * [backup-simplify]: Simplify (+ 1 0) into 1 2.834 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1 2.834 * [backup-simplify]: Simplify (log -1) into (log -1) 2.835 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) (log -1)) into (+ (log -1) (log x)) 2.836 * [backup-simplify]: Simplify (* 1/2 (+ (log -1) (log x))) into (* 1/2 (+ (log -1) (log x))) 2.837 * [backup-simplify]: Simplify (exp (* 1/2 (+ (log -1) (log x)))) into (exp (* 1/2 (+ (log -1) (log x)))) 2.837 * [taylor]: Taking taylor expansion of (pow (* x (- x 1)) 1/2) in x 2.837 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (* x (- x 1))))) in x 2.837 * [taylor]: Taking taylor expansion of (* 1/2 (log (* x (- x 1)))) in x 2.837 * [taylor]: Taking taylor expansion of 1/2 in x 2.837 * [backup-simplify]: Simplify 1/2 into 1/2 2.837 * [taylor]: Taking taylor expansion of (log (* x (- x 1))) in x 2.837 * [taylor]: Taking taylor expansion of (* x (- x 1)) in x 2.837 * [taylor]: Taking taylor expansion of x in x 2.837 * [backup-simplify]: Simplify 0 into 0 2.837 * [backup-simplify]: Simplify 1 into 1 2.837 * [taylor]: Taking taylor expansion of (- x 1) in x 2.837 * [taylor]: Taking taylor expansion of x in x 2.837 * [backup-simplify]: Simplify 0 into 0 2.837 * [backup-simplify]: Simplify 1 into 1 2.837 * [taylor]: Taking taylor expansion of 1 in x 2.837 * [backup-simplify]: Simplify 1 into 1 2.838 * [backup-simplify]: Simplify (- 1) into -1 2.838 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.839 * [backup-simplify]: Simplify (* 0 -1) into 0 2.839 * [backup-simplify]: Simplify (- 0) into 0 2.839 * [backup-simplify]: Simplify (+ 1 0) into 1 2.840 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1 2.841 * [backup-simplify]: Simplify (log -1) into (log -1) 2.841 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) (log -1)) into (+ (log -1) (log x)) 2.842 * [backup-simplify]: Simplify (* 1/2 (+ (log -1) (log x))) into (* 1/2 (+ (log -1) (log x))) 2.842 * [backup-simplify]: Simplify (exp (* 1/2 (+ (log -1) (log x)))) into (exp (* 1/2 (+ (log -1) (log x)))) 2.843 * [backup-simplify]: Simplify (exp (* 1/2 (+ (log -1) (log x)))) into (exp (* 1/2 (+ (log -1) (log x)))) 2.844 * [backup-simplify]: Simplify (- 0) into 0 2.845 * [backup-simplify]: Simplify (+ 0 0) into 0 2.846 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1 2.847 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 2.848 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) (log -1)) into (+ (log -1) (log x)) 2.849 * [backup-simplify]: Simplify (+ (* 1/2 -1) (* 0 (+ (log -1) (log x)))) into (- 1/2) 2.851 * [backup-simplify]: Simplify (* (exp (* 1/2 (+ (log -1) (log x)))) (+ (* (/ (pow (- 1/2) 1) 1)))) into (* -1/2 (exp (* 1/2 (+ (log -1) (log x))))) 2.851 * [backup-simplify]: Simplify (* -1/2 (exp (* 1/2 (+ (log -1) (log x))))) into (* -1/2 (exp (* 1/2 (+ (log -1) (log x))))) 2.852 * [backup-simplify]: Simplify (- 0) into 0 2.853 * [backup-simplify]: Simplify (+ 0 0) into 0 2.854 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0 2.857 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 2.858 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) (log -1)) into (+ (log -1) (log x)) 2.859 * [backup-simplify]: Simplify (+ (* 1/2 -1/2) (+ (* 0 -1) (* 0 (+ (log -1) (log x))))) into (- 1/4) 2.862 * [backup-simplify]: Simplify (* (exp (* 1/2 (+ (log -1) (log x)))) (+ (* (/ (pow (- 1/2) 2) 2)) (* (/ (pow (- 1/4) 1) 1)))) into (* -1/8 (exp (* 1/2 (+ (log -1) (log x))))) 2.862 * [backup-simplify]: Simplify (* -1/8 (exp (* 1/2 (+ (log -1) (log x))))) into (* -1/8 (exp (* 1/2 (+ (log -1) (log x))))) 2.864 * [backup-simplify]: Simplify (+ (* (* -1/8 (exp (* 1/2 (+ (log -1) (log x))))) (pow x 2)) (+ (* (* -1/2 (exp (* 1/2 (+ (log -1) (log x))))) x) (exp (* 1/2 (+ (log -1) (log x)))))) into (- (exp (* 1/2 (+ (log -1) (log x)))) (+ (* 1/2 (* x (exp (* 1/2 (+ (log -1) (log x)))))) (* 1/8 (* (pow x 2) (exp (* 1/2 (+ (log -1) (log x)))))))) 2.864 * [backup-simplify]: Simplify (pow (* (- (/ 1 x) 1) (/ 1 x)) 1/2) into (pow (/ (- (/ 1 x) 1) x) 1/2) 2.864 * [approximate]: Taking taylor expansion of (pow (/ (- (/ 1 x) 1) x) 1/2) in (x) around 0 2.864 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) 1) x) 1/2) in x 2.864 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (/ (- (/ 1 x) 1) x)))) in x 2.864 * [taylor]: Taking taylor expansion of (* 1/2 (log (/ (- (/ 1 x) 1) x))) in x 2.864 * [taylor]: Taking taylor expansion of 1/2 in x 2.864 * [backup-simplify]: Simplify 1/2 into 1/2 2.864 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 x) 1) x)) in x 2.864 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x 2.864 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x 2.864 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.864 * [taylor]: Taking taylor expansion of x in x 2.864 * [backup-simplify]: Simplify 0 into 0 2.864 * [backup-simplify]: Simplify 1 into 1 2.865 * [backup-simplify]: Simplify (/ 1 1) into 1 2.865 * [taylor]: Taking taylor expansion of 1 in x 2.865 * [backup-simplify]: Simplify 1 into 1 2.865 * [taylor]: Taking taylor expansion of x in x 2.865 * [backup-simplify]: Simplify 0 into 0 2.865 * [backup-simplify]: Simplify 1 into 1 2.866 * [backup-simplify]: Simplify (+ 1 0) into 1 2.866 * [backup-simplify]: Simplify (/ 1 1) into 1 2.866 * [backup-simplify]: Simplify (log 1) into 0 2.867 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x))) 2.867 * [backup-simplify]: Simplify (* 1/2 (- (* 2 (log x)))) into (* -1 (log x)) 2.867 * [backup-simplify]: Simplify (exp (* -1 (log x))) into (pow x -1) 2.867 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) 1) x) 1/2) in x 2.867 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (/ (- (/ 1 x) 1) x)))) in x 2.867 * [taylor]: Taking taylor expansion of (* 1/2 (log (/ (- (/ 1 x) 1) x))) in x 2.867 * [taylor]: Taking taylor expansion of 1/2 in x 2.867 * [backup-simplify]: Simplify 1/2 into 1/2 2.867 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 x) 1) x)) in x 2.867 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x 2.867 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x 2.867 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.867 * [taylor]: Taking taylor expansion of x in x 2.867 * [backup-simplify]: Simplify 0 into 0 2.867 * [backup-simplify]: Simplify 1 into 1 2.868 * [backup-simplify]: Simplify (/ 1 1) into 1 2.868 * [taylor]: Taking taylor expansion of 1 in x 2.868 * [backup-simplify]: Simplify 1 into 1 2.868 * [taylor]: Taking taylor expansion of x in x 2.868 * [backup-simplify]: Simplify 0 into 0 2.868 * [backup-simplify]: Simplify 1 into 1 2.868 * [backup-simplify]: Simplify (+ 1 0) into 1 2.869 * [backup-simplify]: Simplify (/ 1 1) into 1 2.869 * [backup-simplify]: Simplify (log 1) into 0 2.870 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x))) 2.870 * [backup-simplify]: Simplify (* 1/2 (- (* 2 (log x)))) into (* -1 (log x)) 2.870 * [backup-simplify]: Simplify (exp (* -1 (log x))) into (pow x -1) 2.870 * [backup-simplify]: Simplify (pow x -1) into (pow x -1) 2.871 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.871 * [backup-simplify]: Simplify (- 1) into -1 2.872 * [backup-simplify]: Simplify (+ 0 -1) into -1 2.873 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1 2.874 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1 2.875 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x))) 2.875 * [backup-simplify]: Simplify (+ (* 1/2 -1) (* 0 (- (* 2 (log x))))) into (- 1/2) 2.877 * [backup-simplify]: Simplify (* (exp (* -1 (log x))) (+ (* (/ (pow (- 1/2) 1) 1)))) into (/ -1/2 x) 2.877 * [backup-simplify]: Simplify (/ -1/2 x) into (/ -1/2 x) 2.878 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.878 * [backup-simplify]: Simplify (- 0) into 0 2.878 * [backup-simplify]: Simplify (+ 0 0) into 0 2.880 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)))) into 0 2.883 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 2.883 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x))) 2.884 * [backup-simplify]: Simplify (+ (* 1/2 -1/2) (+ (* 0 -1) (* 0 (- (* 2 (log x)))))) into (- 1/4) 2.886 * [backup-simplify]: Simplify (* (exp (* -1 (log x))) (+ (* (/ (pow (- 1/2) 2) 2)) (* (/ (pow (- 1/4) 1) 1)))) into (/ -1/8 x) 2.886 * [backup-simplify]: Simplify (/ -1/8 x) into (/ -1/8 x) 2.887 * [backup-simplify]: Simplify (+ (* (/ -1/8 (/ 1 x)) (pow (/ 1 x) 2)) (+ (* (/ -1/2 (/ 1 x)) (/ 1 x)) (pow (/ 1 x) -1))) into (- (pow (/ 1 x) -1) (+ (* 1/8 (/ 1 x)) 1/2)) 2.887 * [backup-simplify]: Simplify (pow (* (- (/ 1 (- x)) 1) (/ 1 (- x))) 1/2) into (pow (/ (+ (/ 1 x) 1) x) 1/2) 2.887 * [approximate]: Taking taylor expansion of (pow (/ (+ (/ 1 x) 1) x) 1/2) in (x) around 0 2.887 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 x) 1) x) 1/2) in x 2.887 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (/ (+ (/ 1 x) 1) x)))) in x 2.887 * [taylor]: Taking taylor expansion of (* 1/2 (log (/ (+ (/ 1 x) 1) x))) in x 2.887 * [taylor]: Taking taylor expansion of 1/2 in x 2.887 * [backup-simplify]: Simplify 1/2 into 1/2 2.887 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 x) 1) x)) in x 2.887 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) x) in x 2.887 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 2.887 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.887 * [taylor]: Taking taylor expansion of x in x 2.887 * [backup-simplify]: Simplify 0 into 0 2.887 * [backup-simplify]: Simplify 1 into 1 2.888 * [backup-simplify]: Simplify (/ 1 1) into 1 2.888 * [taylor]: Taking taylor expansion of 1 in x 2.888 * [backup-simplify]: Simplify 1 into 1 2.888 * [taylor]: Taking taylor expansion of x in x 2.888 * [backup-simplify]: Simplify 0 into 0 2.888 * [backup-simplify]: Simplify 1 into 1 2.888 * [backup-simplify]: Simplify (+ 1 0) into 1 2.889 * [backup-simplify]: Simplify (/ 1 1) into 1 2.889 * [backup-simplify]: Simplify (log 1) into 0 2.890 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x))) 2.890 * [backup-simplify]: Simplify (* 1/2 (- (* 2 (log x)))) into (* -1 (log x)) 2.890 * [backup-simplify]: Simplify (exp (* -1 (log x))) into (pow x -1) 2.890 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 x) 1) x) 1/2) in x 2.890 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (/ (+ (/ 1 x) 1) x)))) in x 2.890 * [taylor]: Taking taylor expansion of (* 1/2 (log (/ (+ (/ 1 x) 1) x))) in x 2.890 * [taylor]: Taking taylor expansion of 1/2 in x 2.890 * [backup-simplify]: Simplify 1/2 into 1/2 2.890 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 x) 1) x)) in x 2.890 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) x) in x 2.890 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 2.890 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.890 * [taylor]: Taking taylor expansion of x in x 2.890 * [backup-simplify]: Simplify 0 into 0 2.890 * [backup-simplify]: Simplify 1 into 1 2.890 * [backup-simplify]: Simplify (/ 1 1) into 1 2.890 * [taylor]: Taking taylor expansion of 1 in x 2.890 * [backup-simplify]: Simplify 1 into 1 2.891 * [taylor]: Taking taylor expansion of x in x 2.891 * [backup-simplify]: Simplify 0 into 0 2.891 * [backup-simplify]: Simplify 1 into 1 2.891 * [backup-simplify]: Simplify (+ 1 0) into 1 2.891 * [backup-simplify]: Simplify (/ 1 1) into 1 2.892 * [backup-simplify]: Simplify (log 1) into 0 2.892 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x))) 2.892 * [backup-simplify]: Simplify (* 1/2 (- (* 2 (log x)))) into (* -1 (log x)) 2.892 * [backup-simplify]: Simplify (exp (* -1 (log x))) into (pow x -1) 2.892 * [backup-simplify]: Simplify (pow x -1) into (pow x -1) 2.893 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.894 * [backup-simplify]: Simplify (+ 0 1) into 1 2.894 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1 2.896 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 2.896 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x))) 2.897 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 (- (* 2 (log x))))) into 1/2 2.897 * [backup-simplify]: Simplify (* (exp (* -1 (log x))) (+ (* (/ (pow 1/2 1) 1)))) into (/ 1/2 x) 2.897 * [backup-simplify]: Simplify (/ 1/2 x) into (/ 1/2 x) 2.898 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.899 * [backup-simplify]: Simplify (+ 0 0) into 0 2.899 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 0 2.902 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 2.903 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x))) 2.904 * [backup-simplify]: Simplify (+ (* 1/2 -1/2) (+ (* 0 1) (* 0 (- (* 2 (log x)))))) into (- 1/4) 2.906 * [backup-simplify]: Simplify (* (exp (* -1 (log x))) (+ (* (/ (pow 1/2 2) 2)) (* (/ (pow (- 1/4) 1) 1)))) into (/ -1/8 x) 2.906 * [backup-simplify]: Simplify (/ -1/8 x) into (/ -1/8 x) 2.906 * [backup-simplify]: Simplify (+ (* (/ -1/8 (/ 1 (- x))) (pow (/ 1 (- x)) 2)) (+ (* (/ 1/2 (/ 1 (- x))) (/ 1 (- x))) (pow (/ 1 (- x)) -1))) into (+ (pow (/ -1 x) -1) (+ (* 1/8 (/ 1 x)) 1/2)) 2.907 * * * [progress]: simplifying candidates 2.907 * * * * [progress]: [ 1 / 24 ] simplifiying candidate # 2.907 * * * * [progress]: [ 2 / 24 ] simplifiying candidate # 2.907 * * * * [progress]: [ 3 / 24 ] simplifiying candidate # 2.907 * [simplify]: Simplifying (* (+ (log (- x 1)) (log x)) 1/2) 2.907 * * [simplify]: iters left: 6 (8 enodes) 2.912 * * [simplify]: iters left: 5 (31 enodes) 2.922 * * [simplify]: iters left: 4 (43 enodes) 2.937 * * [simplify]: iters left: 3 (55 enodes) 2.945 * * [simplify]: Extracting #0: cost 1 inf + 0 2.945 * * [simplify]: Extracting #1: cost 8 inf + 0 2.945 * * [simplify]: Extracting #2: cost 14 inf + 1 2.945 * * [simplify]: Extracting #3: cost 16 inf + 2 2.945 * * [simplify]: Extracting #4: cost 12 inf + 146 2.945 * * [simplify]: Extracting #5: cost 4 inf + 1314 2.946 * * [simplify]: Extracting #6: cost 1 inf + 1801 2.946 * * [simplify]: Extracting #7: cost 0 inf + 1954 2.946 * [simplify]: Simplified to (* (+ (log (+ x -1)) (log x)) 1/2) 2.946 * [simplify]: Simplified (2 1) to (λ (x) (exp (* (+ (log (+ x -1)) (log x)) 1/2))) 2.946 * * * * [progress]: [ 4 / 24 ] simplifiying candidate # 2.947 * [simplify]: Simplifying (* (log (* (- x 1) x)) 1/2) 2.947 * * [simplify]: iters left: 6 (7 enodes) 2.954 * * [simplify]: iters left: 5 (31 enodes) 2.960 * * [simplify]: iters left: 4 (51 enodes) 2.970 * * [simplify]: iters left: 3 (74 enodes) 2.989 * * [simplify]: iters left: 2 (81 enodes) 3.009 * * [simplify]: iters left: 1 (83 enodes) 3.027 * * [simplify]: Extracting #0: cost 1 inf + 0 3.027 * * [simplify]: Extracting #1: cost 8 inf + 0 3.027 * * [simplify]: Extracting #2: cost 15 inf + 1 3.027 * * [simplify]: Extracting #3: cost 20 inf + 2 3.027 * * [simplify]: Extracting #4: cost 14 inf + 407 3.028 * * [simplify]: Extracting #5: cost 2 inf + 1627 3.029 * * [simplify]: Extracting #6: cost 0 inf + 1996 3.030 * [simplify]: Simplified to (* (log (- (* x x) x)) 1/2) 3.030 * [simplify]: Simplified (2 1) to (λ (x) (exp (* (log (- (* x x) x)) 1/2))) 3.030 * * * * [progress]: [ 5 / 24 ] simplifiying candidate # 3.030 * * * * [progress]: [ 6 / 24 ] simplifiying candidate # 3.030 * [simplify]: Simplifying (* (- x 1) x) 3.030 * * [simplify]: iters left: 4 (4 enodes) 3.033 * * [simplify]: iters left: 3 (18 enodes) 3.040 * * [simplify]: iters left: 2 (27 enodes) 3.049 * * [simplify]: iters left: 1 (38 enodes) 3.059 * * [simplify]: Extracting #0: cost 1 inf + 0 3.060 * * [simplify]: Extracting #1: cost 8 inf + 0 3.060 * * [simplify]: Extracting #2: cost 10 inf + 2 3.060 * * [simplify]: Extracting #3: cost 0 inf + 457 3.060 * * [simplify]: Extracting #4: cost 0 inf + 455 3.061 * [simplify]: Simplified to (- (* x x) x) 3.061 * [simplify]: Simplified (2 1) to (λ (x) (pow (- (* x x) x) (* 1 1/2))) 3.061 * * * * [progress]: [ 7 / 24 ] simplifiying candidate # 3.061 * [simplify]: Simplifying (* (- x 1) x) 3.061 * * [simplify]: iters left: 4 (4 enodes) 3.064 * * [simplify]: iters left: 3 (18 enodes) 3.070 * * [simplify]: iters left: 2 (27 enodes) 3.078 * * [simplify]: iters left: 1 (38 enodes) 3.088 * * [simplify]: Extracting #0: cost 1 inf + 0 3.088 * * [simplify]: Extracting #1: cost 8 inf + 0 3.088 * * [simplify]: Extracting #2: cost 10 inf + 2 3.088 * * [simplify]: Extracting #3: cost 0 inf + 457 3.088 * * [simplify]: Extracting #4: cost 0 inf + 455 3.089 * [simplify]: Simplified to (- (* x x) x) 3.089 * [simplify]: Simplified (2 1) to (λ (x) (pow (- (* x x) x) (* 1 1/2))) 3.089 * * * * [progress]: [ 8 / 24 ] simplifiying candidate # 3.089 * [simplify]: Simplifying (cbrt 1/2) 3.089 * * [simplify]: iters left: 1 (2 enodes) 3.091 * * [simplify]: Extracting #0: cost 1 inf + 0 3.091 * * [simplify]: Extracting #1: cost 3 inf + 0 3.091 * * [simplify]: Extracting #2: cost 2 inf + 1 3.091 * * [simplify]: Extracting #3: cost 0 inf + 163 3.091 * [simplify]: Simplified to (cbrt 1/2) 3.091 * [simplify]: Simplified (2 2) to (λ (x) (pow (pow (* (- x 1) x) (* (cbrt 1/2) (cbrt 1/2))) (cbrt 1/2))) 3.091 * * * * [progress]: [ 9 / 24 ] simplifiying candidate # 3.092 * [simplify]: Simplifying (sqrt 1/2) 3.092 * * [simplify]: iters left: 1 (2 enodes) 3.094 * * [simplify]: Extracting #0: cost 1 inf + 0 3.094 * * [simplify]: Extracting #1: cost 3 inf + 0 3.094 * * [simplify]: Extracting #2: cost 2 inf + 1 3.094 * * [simplify]: Extracting #3: cost 0 inf + 83 3.094 * [simplify]: Simplified to (sqrt 1/2) 3.094 * [simplify]: Simplified (2 2) to (λ (x) (pow (pow (* (- x 1) x) (sqrt 1/2)) (sqrt 1/2))) 3.094 * * * * [progress]: [ 10 / 24 ] simplifiying candidate # 3.094 * * * * [progress]: [ 11 / 24 ] simplifiying candidate # 3.095 * [simplify]: Simplifying (pow (- x 1) 1/2) 3.095 * * [simplify]: iters left: 3 (5 enodes) 3.102 * * [simplify]: iters left: 2 (26 enodes) 3.113 * * [simplify]: iters left: 1 (44 enodes) 3.130 * * [simplify]: Extracting #0: cost 1 inf + 0 3.130 * * [simplify]: Extracting #1: cost 9 inf + 0 3.130 * * [simplify]: Extracting #2: cost 17 inf + 1 3.130 * * [simplify]: Extracting #3: cost 13 inf + 6 3.131 * * [simplify]: Extracting #4: cost 1 inf + 2528 3.131 * * [simplify]: Extracting #5: cost 0 inf + 2821 3.132 * [simplify]: Simplified to (sqrt (- x 1)) 3.132 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (- x 1)) (pow x 1/2))) 3.132 * * * * [progress]: [ 12 / 24 ] simplifiying candidate # 3.132 * * * * [progress]: [ 13 / 24 ] simplifiying candidate # 3.132 * * * * [progress]: [ 14 / 24 ] simplifiying candidate # 3.132 * * * * [progress]: [ 15 / 24 ] simplifiying candidate # 3.132 * * * * [progress]: [ 16 / 24 ] simplifiying candidate # 3.132 * * * * [progress]: [ 17 / 24 ] simplifiying candidate # 3.132 * * * * [progress]: [ 18 / 24 ] simplifiying candidate # 3.133 * * * * [progress]: [ 19 / 24 ] simplifiying candidate # 3.133 * * * * [progress]: [ 20 / 24 ] simplifiying candidate # 3.133 * * * * [progress]: [ 21 / 24 ] simplifiying candidate #real (real->posit16 (pow (* (- x 1) x) 1/2))))> 3.133 * * * * [progress]: [ 22 / 24 ] simplifiying candidate # 3.133 * [simplify]: Simplifying (- (exp (* 1/2 (+ (log -1) (log x)))) (+ (* 1/2 (* x (exp (* 1/2 (+ (log -1) (log x)))))) (* 1/8 (* (pow x 2) (exp (* 1/2 (+ (log -1) (log x)))))))) 3.133 * * [simplify]: iters left: 6 (17 enodes) 3.145 * * [simplify]: iters left: 5 (80 enodes) 3.165 * * [simplify]: iters left: 4 (151 enodes) 3.198 * * [simplify]: iters left: 3 (351 enodes) 3.334 * * [simplify]: Extracting #0: cost 1 inf + 0 3.334 * * [simplify]: Extracting #1: cost 44 inf + 0 3.336 * * [simplify]: Extracting #2: cost 207 inf + 373 3.339 * * [simplify]: Extracting #3: cost 228 inf + 3782 3.350 * * [simplify]: Extracting #4: cost 111 inf + 21670 3.369 * * [simplify]: Extracting #5: cost 44 inf + 46103 3.396 * * [simplify]: Extracting #6: cost 4 inf + 71261 3.409 * * [simplify]: Extracting #7: cost 0 inf + 73531 3.422 * [simplify]: Simplified to (- (sqrt (* x -1)) (* (* x (sqrt (* x -1))) (fma x 1/8 1/2))) 3.422 * [simplify]: Simplified (2) to (λ (x) (- (sqrt (* x -1)) (* (* x (sqrt (* x -1))) (fma x 1/8 1/2)))) 3.422 * * * * [progress]: [ 23 / 24 ] simplifiying candidate # 3.423 * [simplify]: Simplifying (- (pow (/ 1 x) -1) (+ (* 1/8 (/ 1 x)) 1/2)) 3.423 * * [simplify]: iters left: 6 (10 enodes) 3.430 * * [simplify]: iters left: 5 (47 enodes) 3.448 * * [simplify]: iters left: 4 (83 enodes) 3.476 * * [simplify]: iters left: 3 (123 enodes) 3.501 * * [simplify]: iters left: 2 (189 enodes) 3.552 * * [simplify]: iters left: 1 (286 enodes) 3.634 * * [simplify]: Extracting #0: cost 1 inf + 0 3.634 * * [simplify]: Extracting #1: cost 19 inf + 0 3.634 * * [simplify]: Extracting #2: cost 36 inf + 5 3.635 * * [simplify]: Extracting #3: cost 39 inf + 1084 3.636 * * [simplify]: Extracting #4: cost 29 inf + 2556 3.638 * * [simplify]: Extracting #5: cost 21 inf + 5002 3.642 * * [simplify]: Extracting #6: cost 2 inf + 15010 3.645 * * [simplify]: Extracting #7: cost 0 inf + 15767 3.649 * [simplify]: Simplified to (+ (+ x (/ -1/8 x)) -1/2) 3.649 * [simplify]: Simplified (2) to (λ (x) (+ (+ x (/ -1/8 x)) -1/2)) 3.650 * * * * [progress]: [ 24 / 24 ] simplifiying candidate # 3.650 * [simplify]: Simplifying (+ (pow (/ -1 x) -1) (+ (* 1/8 (/ 1 x)) 1/2)) 3.651 * * [simplify]: iters left: 6 (11 enodes) 3.659 * * [simplify]: iters left: 5 (49 enodes) 3.678 * * [simplify]: iters left: 4 (80 enodes) 3.707 * * [simplify]: iters left: 3 (127 enodes) 3.750 * * [simplify]: iters left: 2 (186 enodes) 3.814 * * [simplify]: iters left: 1 (324 enodes) 3.943 * * [simplify]: Extracting #0: cost 1 inf + 0 3.943 * * [simplify]: Extracting #1: cost 24 inf + 0 3.944 * * [simplify]: Extracting #2: cost 81 inf + 4 3.945 * * [simplify]: Extracting #3: cost 79 inf + 2241 3.949 * * [simplify]: Extracting #4: cost 45 inf + 15811 3.962 * * [simplify]: Extracting #5: cost 5 inf + 39220 3.972 * * [simplify]: Extracting #6: cost 0 inf + 41751 3.982 * [simplify]: Simplified to (+ (- 1/2 x) (/ 1/8 x)) 3.982 * [simplify]: Simplified (2) to (λ (x) (+ (- 1/2 x) (/ 1/8 x))) 3.982 * * * [progress]: adding candidates to table 4.125 * [progress]: [Phase 3 of 3] Extracting. 4.125 * * [regime]: Finding splitpoints for: (# #) 4.126 * * * [regime-changes]: Trying 1 branch expressions: (x) 4.126 * * * * [regimes]: Trying to branch on x from (# #) 4.160 * * * [regime]: Found split indices: #