368.438 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.019 * * * [progress]: [2/2] Setting up program. 0.021 * [progress]: [Phase 2 of 3] Improving. 0.021 * [simplify]: Simplifying using # : (* x (- 1.0 (* x 0.5))) 0.022 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.023 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.024 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 0.027 * * [simplify]: iteration 3 : 37 enodes (cost 7 ) 0.034 * * [simplify]: iteration 4 : 41 enodes (cost 7 ) 0.040 * * [simplify]: iteration done : 41 enodes (cost 7 ) 0.040 * [simplify]: Simplified to: (* x (- 1.0 (* x 0.5))) 0.040 * * [progress]: iteration 1 / 4 0.040 * * * [progress]: picking best candidate 0.042 * * * * [pick]: Picked # 0.042 * * * [progress]: localizing error 0.047 * * * [progress]: generating rewritten candidates 0.047 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.054 * * * [progress]: generating series expansions 0.054 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.054 * [approximate]: Taking taylor expansion of (* x (- 1.0 (* 0.5 x))) in (x) around 0 0.054 * [taylor]: Taking taylor expansion of (* x (- 1.0 (* 0.5 x))) in x 0.054 * [taylor]: Taking taylor expansion of x in x 0.054 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.5 x)) in x 0.054 * [taylor]: Taking taylor expansion of 1.0 in x 0.054 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 0.054 * [taylor]: Taking taylor expansion of 0.5 in x 0.054 * [taylor]: Taking taylor expansion of x in x 0.054 * [taylor]: Taking taylor expansion of (* x (- 1.0 (* 0.5 x))) in x 0.054 * [taylor]: Taking taylor expansion of x in x 0.054 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.5 x)) in x 0.054 * [taylor]: Taking taylor expansion of 1.0 in x 0.054 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 0.054 * [taylor]: Taking taylor expansion of 0.5 in x 0.054 * [taylor]: Taking taylor expansion of x in x 0.055 * [approximate]: Taking taylor expansion of (/ (- 1.0 (* 0.5 (/ 1 x))) x) in (x) around 0 0.055 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 0.5 (/ 1 x))) x) in x 0.055 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.5 (/ 1 x))) in x 0.056 * [taylor]: Taking taylor expansion of 1.0 in x 0.056 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 0.056 * [taylor]: Taking taylor expansion of 0.5 in x 0.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.056 * [taylor]: Taking taylor expansion of x in x 0.056 * [taylor]: Taking taylor expansion of x in x 0.056 * [taylor]: Taking taylor expansion of (/ (- 1.0 (* 0.5 (/ 1 x))) x) in x 0.056 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.5 (/ 1 x))) in x 0.056 * [taylor]: Taking taylor expansion of 1.0 in x 0.056 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 0.056 * [taylor]: Taking taylor expansion of 0.5 in x 0.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.056 * [taylor]: Taking taylor expansion of x in x 0.056 * [taylor]: Taking taylor expansion of x in x 0.058 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (* 0.5 (/ 1 x)) 1.0) x)) in (x) around 0 0.058 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 0.5 (/ 1 x)) 1.0) x)) in x 0.058 * [taylor]: Taking taylor expansion of -1 in x 0.058 * [taylor]: Taking taylor expansion of (/ (+ (* 0.5 (/ 1 x)) 1.0) x) in x 0.058 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) 1.0) in x 0.058 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 0.058 * [taylor]: Taking taylor expansion of 0.5 in x 0.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.058 * [taylor]: Taking taylor expansion of x in x 0.058 * [taylor]: Taking taylor expansion of 1.0 in x 0.058 * [taylor]: Taking taylor expansion of x in x 0.058 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (* 0.5 (/ 1 x)) 1.0) x)) in x 0.058 * [taylor]: Taking taylor expansion of -1 in x 0.058 * [taylor]: Taking taylor expansion of (/ (+ (* 0.5 (/ 1 x)) 1.0) x) in x 0.058 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 x)) 1.0) in x 0.058 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 0.058 * [taylor]: Taking taylor expansion of 0.5 in x 0.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.058 * [taylor]: Taking taylor expansion of x in x 0.058 * [taylor]: Taking taylor expansion of 1.0 in x 0.058 * [taylor]: Taking taylor expansion of x in x 0.060 * * * [progress]: simplifying candidates 0.061 * [simplify]: Simplifying using # : (* x (- 1.0 (* x 0.5))) (+ (log x) (log (- 1.0 (* x 0.5)))) (log (* x (- 1.0 (* x 0.5)))) (exp (* x (- 1.0 (* x 0.5)))) (* (* (* x x) x) (* (* (- 1.0 (* x 0.5)) (- 1.0 (* x 0.5))) (- 1.0 (* x 0.5)))) (* (cbrt (* x (- 1.0 (* x 0.5)))) (cbrt (* x (- 1.0 (* x 0.5))))) (cbrt (* x (- 1.0 (* x 0.5)))) (* (* (* x (- 1.0 (* x 0.5))) (* x (- 1.0 (* x 0.5)))) (* x (- 1.0 (* x 0.5)))) (sqrt (* x (- 1.0 (* x 0.5)))) (sqrt (* x (- 1.0 (* x 0.5)))) (* (sqrt x) (sqrt (- 1.0 (* x 0.5)))) (* (sqrt x) (sqrt (- 1.0 (* x 0.5)))) (* x 1.0) (* x (neg (* x 0.5))) (* x 1.0) (* x (neg (* x 0.5))) (* 1.0 x) (* (neg (* x 0.5)) x) (* 1.0 x) (* (neg (* x 0.5)) x) (* x (* (cbrt (- 1.0 (* x 0.5))) (cbrt (- 1.0 (* x 0.5))))) (* x (sqrt (- 1.0 (* x 0.5)))) (* x 1) (* (cbrt x) (- 1.0 (* x 0.5))) (* (sqrt x) (- 1.0 (* x 0.5))) (* x (- 1.0 (* x 0.5))) (* x (- (pow 1.0 3) (pow (* x 0.5) 3))) (* x (- (* 1.0 1.0) (* (* x 0.5) (* x 0.5)))) (- (* 1.0 x) (* 0.5 (pow x 2))) (- (* 1.0 x) (* 0.5 (pow x 2))) (- (* 1.0 x) (* 0.5 (pow x 2))) 0.061 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.062 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.064 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 0.067 * * [simplify]: iteration 3 : 37 enodes (cost 7 ) 0.073 * * [simplify]: iteration 4 : 41 enodes (cost 7 ) 0.079 * * [simplify]: iteration done : 41 enodes (cost 7 ) 0.079 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.080 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 0.082 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 0.088 * * [simplify]: iteration done : 19 enodes (cost 9 ) 0.089 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.090 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 0.091 * * [simplify]: iteration 2 : 28 enodes (cost 8 ) 0.096 * * [simplify]: iteration 3 : 42 enodes (cost 8 ) 0.102 * * [simplify]: iteration 4 : 48 enodes (cost 8 ) 0.109 * * [simplify]: iteration done : 48 enodes (cost 8 ) 0.109 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.110 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 0.112 * * [simplify]: iteration 2 : 32 enodes (cost 8 ) 0.117 * * [simplify]: iteration 3 : 66 enodes (cost 8 ) 0.128 * * [simplify]: iteration 4 : 130 enodes (cost 8 ) 0.151 * * [simplify]: iteration 5 : 274 enodes (cost 8 ) 0.269 * * [simplify]: iteration 6 : 722 enodes (cost 8 ) 0.869 * * [simplify]: iteration 7 : 2452 enodes (cost 8 ) 1.892 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 1.892 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 1.894 * * [simplify]: iteration 1 : 20 enodes (cost 23 ) 1.897 * * [simplify]: iteration 2 : 70 enodes (cost 11 ) 1.916 * * [simplify]: iteration 3 : 295 enodes (cost 11 ) 2.095 * * [simplify]: iteration 4 : 1320 enodes (cost 9 ) 4.010 * * [simplify]: iteration done : 5002 enodes (cost 9 ) 4.016 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 4.017 * * [simplify]: iteration 1 : 12 enodes (cost 17 ) 4.019 * * [simplify]: iteration 2 : 25 enodes (cost 17 ) 4.022 * * [simplify]: iteration 3 : 39 enodes (cost 17 ) 4.028 * * [simplify]: iteration 4 : 43 enodes (cost 17 ) 4.035 * * [simplify]: iteration done : 43 enodes (cost 17 ) 4.036 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 4.036 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 4.038 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 4.041 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 4.049 * * [simplify]: iteration 4 : 44 enodes (cost 8 ) 4.056 * * [simplify]: iteration done : 44 enodes (cost 8 ) 4.056 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 4.058 * * [simplify]: iteration 1 : 22 enodes (cost 23 ) 4.062 * * [simplify]: iteration 2 : 82 enodes (cost 9 ) 4.086 * * [simplify]: iteration 3 : 325 enodes (cost 9 ) 4.310 * * [simplify]: iteration 4 : 1203 enodes (cost 9 ) 6.368 * * [simplify]: iteration 5 : 4320 enodes (cost 9 ) 8.654 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 8.654 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 8.655 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 8.656 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 8.660 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 8.668 * * [simplify]: iteration 4 : 44 enodes (cost 8 ) 8.675 * * [simplify]: iteration done : 44 enodes (cost 8 ) 8.675 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 8.676 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 8.678 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 8.681 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 8.687 * * [simplify]: iteration 4 : 44 enodes (cost 8 ) 8.694 * * [simplify]: iteration done : 44 enodes (cost 8 ) 8.694 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 8.695 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 8.697 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 8.699 * * [simplify]: iteration done : 19 enodes (cost 9 ) 8.699 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 8.700 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 8.702 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 8.704 * * [simplify]: iteration done : 19 enodes (cost 9 ) 8.704 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 8.705 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 8.705 * * [simplify]: iteration done : 4 enodes (cost 3 ) 8.706 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 8.706 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 8.708 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 8.711 * * [simplify]: iteration 3 : 28 enodes (cost 6 ) 8.715 * * [simplify]: iteration done : 28 enodes (cost 6 ) 8.716 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 8.716 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 8.717 * * [simplify]: iteration done : 4 enodes (cost 3 ) 8.717 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 8.718 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 8.720 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 8.723 * * [simplify]: iteration 3 : 28 enodes (cost 6 ) 8.729 * * [simplify]: iteration done : 28 enodes (cost 6 ) 8.729 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 8.730 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 8.730 * * [simplify]: iteration done : 4 enodes (cost 3 ) 8.731 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 8.731 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 8.733 * * [simplify]: iteration 2 : 23 enodes (cost 6 ) 8.737 * * [simplify]: iteration 3 : 28 enodes (cost 6 ) 8.741 * * [simplify]: iteration done : 28 enodes (cost 6 ) 8.742 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 8.742 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 8.742 * * [simplify]: iteration done : 4 enodes (cost 3 ) 8.743 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 8.744 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 8.745 * * [simplify]: iteration 2 : 23 enodes (cost 6 ) 8.749 * * [simplify]: iteration 3 : 28 enodes (cost 6 ) 8.753 * * [simplify]: iteration done : 28 enodes (cost 6 ) 8.754 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 8.755 * * [simplify]: iteration 1 : 14 enodes (cost 15 ) 8.757 * * [simplify]: iteration 2 : 23 enodes (cost 15 ) 8.759 * * [simplify]: iteration done : 23 enodes (cost 15 ) 8.760 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 8.761 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 8.762 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 8.764 * * [simplify]: iteration done : 18 enodes (cost 8 ) 8.765 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 8.765 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 8.766 * * [simplify]: iteration done : 6 enodes (cost 1 ) 8.766 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 8.767 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 8.768 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 8.772 * * [simplify]: iteration 3 : 45 enodes (cost 8 ) 8.779 * * [simplify]: iteration 4 : 63 enodes (cost 8 ) 8.792 * * [simplify]: iteration 5 : 71 enodes (cost 8 ) 8.803 * * [simplify]: iteration done : 71 enodes (cost 8 ) 8.803 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 8.804 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 8.806 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 8.809 * * [simplify]: iteration 3 : 45 enodes (cost 8 ) 8.816 * * [simplify]: iteration 4 : 63 enodes (cost 8 ) 8.826 * * [simplify]: iteration 5 : 71 enodes (cost 8 ) 8.839 * * [simplify]: iteration done : 71 enodes (cost 8 ) 8.839 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 8.840 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 8.841 * * [simplify]: iteration 2 : 23 enodes (cost 7 ) 8.845 * * [simplify]: iteration 3 : 37 enodes (cost 7 ) 8.850 * * [simplify]: iteration 4 : 41 enodes (cost 7 ) 8.857 * * [simplify]: iteration done : 41 enodes (cost 7 ) 8.857 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 8.859 * * [simplify]: iteration 1 : 29 enodes (cost 11 ) 8.864 * * [simplify]: iteration 2 : 90 enodes (cost 11 ) 8.888 * * [simplify]: iteration 3 : 325 enodes (cost 11 ) 9.127 * * [simplify]: iteration 4 : 1017 enodes (cost 11 ) 10.400 * * [simplify]: iteration 5 : 3078 enodes (cost 11 ) 12.664 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 12.665 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 12.666 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 12.670 * * [simplify]: iteration 2 : 62 enodes (cost 13 ) 12.688 * * [simplify]: iteration 3 : 161 enodes (cost 13 ) 12.740 * * [simplify]: iteration 4 : 322 enodes (cost 13 ) 12.855 * * [simplify]: iteration 5 : 515 enodes (cost 13 ) 13.075 * * [simplify]: iteration 6 : 766 enodes (cost 13 ) 13.466 * * [simplify]: iteration 7 : 1305 enodes (cost 13 ) 15.853 * * [simplify]: iteration 8 : 4467 enodes (cost 13 ) 17.923 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 17.924 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 17.930 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 17.932 * * [simplify]: iteration 2 : 40 enodes (cost 9 ) 17.937 * * [simplify]: iteration 3 : 57 enodes (cost 9 ) 17.949 * * [simplify]: iteration 4 : 79 enodes (cost 7 ) 17.958 * * [simplify]: iteration 5 : 92 enodes (cost 7 ) 17.967 * * [simplify]: iteration 6 : 114 enodes (cost 7 ) 17.981 * * [simplify]: iteration 7 : 178 enodes (cost 7 ) 18.033 * * [simplify]: iteration 8 : 394 enodes (cost 7 ) 18.501 * * [simplify]: iteration 9 : 1344 enodes (cost 7 ) 20.807 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 20.807 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 20.808 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 20.811 * * [simplify]: iteration 2 : 40 enodes (cost 9 ) 20.815 * * [simplify]: iteration 3 : 57 enodes (cost 9 ) 20.822 * * [simplify]: iteration 4 : 79 enodes (cost 7 ) 20.831 * * [simplify]: iteration 5 : 92 enodes (cost 7 ) 20.840 * * [simplify]: iteration 6 : 114 enodes (cost 7 ) 20.860 * * [simplify]: iteration 7 : 178 enodes (cost 7 ) 20.912 * * [simplify]: iteration 8 : 394 enodes (cost 7 ) 21.385 * * [simplify]: iteration 9 : 1344 enodes (cost 7 ) 23.684 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 23.685 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 23.686 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 23.689 * * [simplify]: iteration 2 : 40 enodes (cost 9 ) 23.693 * * [simplify]: iteration 3 : 57 enodes (cost 9 ) 23.700 * * [simplify]: iteration 4 : 79 enodes (cost 7 ) 23.713 * * [simplify]: iteration 5 : 92 enodes (cost 7 ) 23.722 * * [simplify]: iteration 6 : 114 enodes (cost 7 ) 23.737 * * [simplify]: iteration 7 : 178 enodes (cost 7 ) 23.789 * * [simplify]: iteration 8 : 394 enodes (cost 7 ) 24.261 * * [simplify]: iteration 9 : 1344 enodes (cost 7 ) 26.557 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 26.558 * [simplify]: Simplified to: (* x (- 1.0 (* x 0.5))) (+ (log x) (log (- 1.0 (* x 0.5)))) (log (* x (- 1.0 (* x 0.5)))) (exp (* x (- 1.0 (* x 0.5)))) (pow (* x (- 1.0 (* x 0.5))) 3) (* (cbrt (* x (- 1.0 (* x 0.5)))) (cbrt (* x (- 1.0 (* x 0.5))))) (cbrt (* x (- 1.0 (* x 0.5)))) (pow (* x (- 1.0 (* x 0.5))) 3) (sqrt (* x (- 1.0 (* x 0.5)))) (sqrt (* x (- 1.0 (* x 0.5)))) (* (sqrt x) (sqrt (- 1.0 (* x 0.5)))) (* (sqrt x) (sqrt (- 1.0 (* x 0.5)))) (* x 1.0) (* x (neg (* x 0.5))) (* x 1.0) (* x (neg (* x 0.5))) (* 1.0 x) (* (neg (* x 0.5)) x) (* 1.0 x) (* (neg (* x 0.5)) x) (* x (* (cbrt (- 1.0 (* x 0.5))) (cbrt (- 1.0 (* x 0.5))))) (* x (sqrt (- 1.0 (* x 0.5)))) x (* (cbrt x) (- 1.0 (* x 0.5))) (* (sqrt x) (- 1.0 (* x 0.5))) (* x (- 1.0 (* x 0.5))) (* x (- (pow 1.0 3) (pow (* x 0.5) 3))) (* (+ 1.0 (* x 0.5)) (* (- 1.0 (* x 0.5)) x)) (* x (- 1.0 (* x 0.5))) (* x (- 1.0 (* x 0.5))) (* x (- 1.0 (* x 0.5))) 26.558 * * * [progress]: adding candidates to table 26.585 * * [progress]: iteration 2 / 4 26.585 * * * [progress]: picking best candidate 26.587 * * * * [pick]: Picked # 26.587 * * * [progress]: localizing error 26.594 * * * [progress]: generating rewritten candidates 26.594 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 26.599 * * * [progress]: generating series expansions 26.599 * * * * [progress]: [ 1 / 1 ] generating series at (2) 26.599 * [approximate]: Taking taylor expansion of (- (* 1.0 x) (* 0.5 (pow x 2))) in (x) around 0 26.599 * [taylor]: Taking taylor expansion of (- (* 1.0 x) (* 0.5 (pow x 2))) in x 26.599 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 26.599 * [taylor]: Taking taylor expansion of 1.0 in x 26.599 * [taylor]: Taking taylor expansion of x in x 26.599 * [taylor]: Taking taylor expansion of (* 0.5 (pow x 2)) in x 26.599 * [taylor]: Taking taylor expansion of 0.5 in x 26.599 * [taylor]: Taking taylor expansion of (pow x 2) in x 26.599 * [taylor]: Taking taylor expansion of x in x 26.599 * [taylor]: Taking taylor expansion of (- (* 1.0 x) (* 0.5 (pow x 2))) in x 26.599 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 26.599 * [taylor]: Taking taylor expansion of 1.0 in x 26.599 * [taylor]: Taking taylor expansion of x in x 26.599 * [taylor]: Taking taylor expansion of (* 0.5 (pow x 2)) in x 26.599 * [taylor]: Taking taylor expansion of 0.5 in x 26.599 * [taylor]: Taking taylor expansion of (pow x 2) in x 26.599 * [taylor]: Taking taylor expansion of x in x 26.601 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (* 0.5 (/ 1 (pow x 2)))) in (x) around 0 26.601 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (* 0.5 (/ 1 (pow x 2)))) in x 26.601 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 26.601 * [taylor]: Taking taylor expansion of 1.0 in x 26.601 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.601 * [taylor]: Taking taylor expansion of x in x 26.601 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow x 2))) in x 26.601 * [taylor]: Taking taylor expansion of 0.5 in x 26.601 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 26.601 * [taylor]: Taking taylor expansion of (pow x 2) in x 26.601 * [taylor]: Taking taylor expansion of x in x 26.601 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) (* 0.5 (/ 1 (pow x 2)))) in x 26.601 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 26.601 * [taylor]: Taking taylor expansion of 1.0 in x 26.601 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.601 * [taylor]: Taking taylor expansion of x in x 26.601 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow x 2))) in x 26.601 * [taylor]: Taking taylor expansion of 0.5 in x 26.601 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 26.601 * [taylor]: Taking taylor expansion of (pow x 2) in x 26.601 * [taylor]: Taking taylor expansion of x in x 26.604 * [approximate]: Taking taylor expansion of (neg (+ (* 0.5 (/ 1 (pow x 2))) (* 1.0 (/ 1 x)))) in (x) around 0 26.604 * [taylor]: Taking taylor expansion of (neg (+ (* 0.5 (/ 1 (pow x 2))) (* 1.0 (/ 1 x)))) in x 26.604 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (pow x 2))) (* 1.0 (/ 1 x))) in x 26.604 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow x 2))) in x 26.604 * [taylor]: Taking taylor expansion of 0.5 in x 26.604 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 26.604 * [taylor]: Taking taylor expansion of (pow x 2) in x 26.604 * [taylor]: Taking taylor expansion of x in x 26.604 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 26.604 * [taylor]: Taking taylor expansion of 1.0 in x 26.604 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.604 * [taylor]: Taking taylor expansion of x in x 26.604 * [taylor]: Taking taylor expansion of (neg (+ (* 0.5 (/ 1 (pow x 2))) (* 1.0 (/ 1 x)))) in x 26.604 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ 1 (pow x 2))) (* 1.0 (/ 1 x))) in x 26.604 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 (pow x 2))) in x 26.604 * [taylor]: Taking taylor expansion of 0.5 in x 26.604 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 26.604 * [taylor]: Taking taylor expansion of (pow x 2) in x 26.604 * [taylor]: Taking taylor expansion of x in x 26.604 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 26.604 * [taylor]: Taking taylor expansion of 1.0 in x 26.604 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.604 * [taylor]: Taking taylor expansion of x in x 26.607 * * * [progress]: simplifying candidates 26.607 * [simplify]: Simplifying using # : (* (exp (* x 1.0)) (exp (* x (neg (* x 0.5))))) (log (+ (* x 1.0) (* x (neg (* x 0.5))))) (exp (+ (* x 1.0) (* x (neg (* x 0.5))))) (* (cbrt (+ (* x 1.0) (* x (neg (* x 0.5))))) (cbrt (+ (* x 1.0) (* x (neg (* x 0.5)))))) (cbrt (+ (* x 1.0) (* x (neg (* x 0.5))))) (* (* (+ (* x 1.0) (* x (neg (* x 0.5)))) (+ (* x 1.0) (* x (neg (* x 0.5))))) (+ (* x 1.0) (* x (neg (* x 0.5))))) (sqrt (+ (* x 1.0) (* x (neg (* x 0.5))))) (sqrt (+ (* x 1.0) (* x (neg (* x 0.5))))) (+ (pow (* x 1.0) 3) (pow (* x (neg (* x 0.5))) 3)) (+ (* (* x 1.0) (* x 1.0)) (- (* (* x (neg (* x 0.5))) (* x (neg (* x 0.5)))) (* (* x 1.0) (* x (neg (* x 0.5)))))) (- (* (* x 1.0) (* x 1.0)) (* (* x (neg (* x 0.5))) (* x (neg (* x 0.5))))) (- (* x 1.0) (* x (neg (* x 0.5)))) (+ 1.0 (neg (* x 0.5))) (- (* 1.0 x) (* 0.5 (pow x 2))) (- (* 1.0 x) (* 0.5 (pow x 2))) (- (* 1.0 x) (* 0.5 (pow x 2))) 26.608 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 26.609 * * [simplify]: iteration 1 : 25 enodes (cost 11 ) 26.613 * * [simplify]: iteration 2 : 52 enodes (cost 9 ) 26.624 * * [simplify]: iteration 3 : 123 enodes (cost 8 ) 26.648 * * [simplify]: iteration 4 : 325 enodes (cost 8 ) 26.842 * * [simplify]: iteration 5 : 1281 enodes (cost 8 ) 27.997 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 27.998 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 28.000 * * [simplify]: iteration 1 : 21 enodes (cost 9 ) 28.003 * * [simplify]: iteration 2 : 37 enodes (cost 8 ) 28.009 * * [simplify]: iteration 3 : 44 enodes (cost 8 ) 28.016 * * [simplify]: iteration done : 44 enodes (cost 8 ) 28.016 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 28.017 * * [simplify]: iteration 1 : 24 enodes (cost 9 ) 28.021 * * [simplify]: iteration 2 : 49 enodes (cost 8 ) 28.029 * * [simplify]: iteration 3 : 96 enodes (cost 8 ) 28.052 * * [simplify]: iteration 4 : 218 enodes (cost 8 ) 28.139 * * [simplify]: iteration 5 : 809 enodes (cost 8 ) 29.360 * * [simplify]: iteration 6 : 3664 enodes (cost 8 ) 30.637 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 30.637 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 30.639 * * [simplify]: iteration 1 : 22 enodes (cost 19 ) 30.642 * * [simplify]: iteration 2 : 35 enodes (cost 17 ) 30.647 * * [simplify]: iteration 3 : 41 enodes (cost 17 ) 30.653 * * [simplify]: iteration done : 41 enodes (cost 17 ) 30.654 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 30.655 * * [simplify]: iteration 1 : 21 enodes (cost 9 ) 30.658 * * [simplify]: iteration 2 : 34 enodes (cost 8 ) 30.663 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 30.670 * * [simplify]: iteration done : 40 enodes (cost 8 ) 30.671 * * [simplify]: iteration 0 : 10 enodes (cost 32 ) 30.674 * * [simplify]: iteration 1 : 35 enodes (cost 26 ) 30.682 * * [simplify]: iteration 2 : 132 enodes (cost 9 ) 30.745 * * [simplify]: iteration 3 : 689 enodes (cost 9 ) 31.803 * * [simplify]: iteration 4 : 3299 enodes (cost 9 ) 34.148 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 34.148 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 34.150 * * [simplify]: iteration 1 : 21 enodes (cost 9 ) 34.152 * * [simplify]: iteration 2 : 34 enodes (cost 8 ) 34.158 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 34.167 * * [simplify]: iteration done : 40 enodes (cost 8 ) 34.168 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 34.169 * * [simplify]: iteration 1 : 21 enodes (cost 9 ) 34.172 * * [simplify]: iteration 2 : 34 enodes (cost 8 ) 34.177 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 34.184 * * [simplify]: iteration done : 40 enodes (cost 8 ) 34.185 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 34.187 * * [simplify]: iteration 1 : 39 enodes (cost 14 ) 34.194 * * [simplify]: iteration 2 : 131 enodes (cost 14 ) 34.246 * * [simplify]: iteration 3 : 558 enodes (cost 13 ) 35.234 * * [simplify]: iteration 4 : 2323 enodes (cost 13 ) 38.070 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 38.071 * * [simplify]: iteration 0 : 12 enodes (cost 32 ) 38.073 * * [simplify]: iteration 1 : 45 enodes (cost 25 ) 38.090 * * [simplify]: iteration 2 : 174 enodes (cost 23 ) 38.194 * * [simplify]: iteration 3 : 638 enodes (cost 21 ) 38.997 * * [simplify]: iteration 4 : 1508 enodes (cost 18 ) 40.656 * * [simplify]: iteration 5 : 2335 enodes (cost 17 ) 42.326 * * [simplify]: iteration 6 : 2869 enodes (cost 17 ) 44.455 * * [simplify]: iteration 7 : 4036 enodes (cost 17 ) 45.647 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 45.648 * * [simplify]: iteration 0 : 10 enodes (cost 21 ) 45.650 * * [simplify]: iteration 1 : 37 enodes (cost 21 ) 45.657 * * [simplify]: iteration 2 : 132 enodes (cost 15 ) 45.734 * * [simplify]: iteration 3 : 456 enodes (cost 15 ) 46.136 * * [simplify]: iteration 4 : 917 enodes (cost 15 ) 46.584 * * [simplify]: iteration 5 : 1497 enodes (cost 15 ) 47.846 * * [simplify]: iteration 6 : 2641 enodes (cost 15 ) 50.180 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 50.181 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 50.182 * * [simplify]: iteration 1 : 21 enodes (cost 8 ) 50.185 * * [simplify]: iteration 2 : 38 enodes (cost 8 ) 50.193 * * [simplify]: iteration 3 : 75 enodes (cost 7 ) 50.224 * * [simplify]: iteration 4 : 123 enodes (cost 7 ) 50.236 * * [simplify]: iteration done : 123 enodes (cost 7 ) 50.237 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 50.238 * * [simplify]: iteration 1 : 13 enodes (cost 5 ) 50.239 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 50.241 * * [simplify]: iteration done : 15 enodes (cost 5 ) 50.241 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 50.242 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 50.245 * * [simplify]: iteration 2 : 40 enodes (cost 9 ) 50.249 * * [simplify]: iteration 3 : 57 enodes (cost 9 ) 50.256 * * [simplify]: iteration 4 : 79 enodes (cost 7 ) 50.265 * * [simplify]: iteration 5 : 92 enodes (cost 7 ) 50.278 * * [simplify]: iteration 6 : 114 enodes (cost 7 ) 50.294 * * [simplify]: iteration 7 : 178 enodes (cost 7 ) 50.347 * * [simplify]: iteration 8 : 394 enodes (cost 7 ) 50.823 * * [simplify]: iteration 9 : 1344 enodes (cost 7 ) 53.153 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 53.154 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 53.155 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 53.158 * * [simplify]: iteration 2 : 40 enodes (cost 9 ) 53.162 * * [simplify]: iteration 3 : 57 enodes (cost 9 ) 53.174 * * [simplify]: iteration 4 : 79 enodes (cost 7 ) 53.183 * * [simplify]: iteration 5 : 92 enodes (cost 7 ) 53.193 * * [simplify]: iteration 6 : 114 enodes (cost 7 ) 53.207 * * [simplify]: iteration 7 : 178 enodes (cost 7 ) 53.261 * * [simplify]: iteration 8 : 394 enodes (cost 7 ) 53.741 * * [simplify]: iteration 9 : 1344 enodes (cost 7 ) 56.080 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 56.081 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 56.082 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 56.085 * * [simplify]: iteration 2 : 40 enodes (cost 9 ) 56.089 * * [simplify]: iteration 3 : 57 enodes (cost 9 ) 56.097 * * [simplify]: iteration 4 : 79 enodes (cost 7 ) 56.106 * * [simplify]: iteration 5 : 92 enodes (cost 7 ) 56.114 * * [simplify]: iteration 6 : 114 enodes (cost 7 ) 56.134 * * [simplify]: iteration 7 : 178 enodes (cost 7 ) 56.188 * * [simplify]: iteration 8 : 394 enodes (cost 7 ) 56.668 * * [simplify]: iteration 9 : 1344 enodes (cost 7 ) 59.222 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 59.223 * [simplify]: Simplified to: (exp (* (- 1.0 (* x 0.5)) x)) (log (* x (- 1.0 (* x 0.5)))) (pow (exp x) (- 1.0 (* x 0.5))) (* (cbrt (* (- 1.0 (* x 0.5)) x)) (cbrt (* (- 1.0 (* x 0.5)) x))) (cbrt (* x (- 1.0 (* x 0.5)))) (pow (* (- 1.0 (* x 0.5)) x) 3) (sqrt (* x (- 1.0 (* x 0.5)))) (sqrt (* x (- 1.0 (* x 0.5)))) (- (pow (* x 1.0) 3) (pow (* x (* x 0.5)) 3)) (* (* x x) (+ (* 1.0 1.0) (* (* x (+ (* x 0.5) 1.0)) 0.5))) (* (* x x) (- (* 1.0 1.0) (* (* x 0.5) (* x 0.5)))) (* x (+ 1.0 (* x 0.5))) (- 1.0 (* x 0.5)) (* x (- 1.0 (* x 0.5))) (* x (- 1.0 (* x 0.5))) (* x (- 1.0 (* x 0.5))) 59.223 * * * [progress]: adding candidates to table 59.247 * [progress]: [Phase 3 of 3] Extracting. 59.247 * * [regime]: Finding splitpoints for: (# #) 59.247 * * * [regime-changes]: Trying 2 branch expressions: ((* x (- 1.0 (* x 0.5))) x) 59.247 * * * * [regimes]: Trying to branch on (* x (- 1.0 (* x 0.5))) from (# #) 59.274 * * * * [regimes]: Trying to branch on x from (# #) 59.298 * * * [regime]: Found split indices: #