500.834 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.088 * * * [progress]: [2/2] Setting up program. 0.091 * [progress]: [Phase 2 of 3] Improving. 0.091 * [simplify]: Simplifying using # : (- (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n))) 1.0) 0.092 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 0.093 * * [simplify]: iteration 1 : 18 enodes (cost 15 ) 0.095 * * [simplify]: iteration 2 : 43 enodes (cost 15 ) 0.104 * * [simplify]: iteration 3 : 87 enodes (cost 15 ) 0.132 * * [simplify]: iteration 4 : 150 enodes (cost 15 ) 0.163 * * [simplify]: iteration 5 : 196 enodes (cost 15 ) 0.219 * * [simplify]: iteration 6 : 282 enodes (cost 15 ) 0.327 * * [simplify]: iteration 7 : 444 enodes (cost 15 ) 0.559 * * [simplify]: iteration 8 : 685 enodes (cost 15 ) 0.724 * * [simplify]: iteration 9 : 709 enodes (cost 15 ) 0.889 * * [simplify]: iteration 10 : 734 enodes (cost 15 ) 1.074 * * [simplify]: iteration 11 : 792 enodes (cost 15 ) 1.272 * * [simplify]: iteration 12 : 872 enodes (cost 15 ) 1.466 * * [simplify]: iteration 13 : 975 enodes (cost 15 ) 1.732 * * [simplify]: iteration 14 : 1109 enodes (cost 15 ) 1.935 * * [simplify]: iteration 15 : 1173 enodes (cost 15 ) 2.358 * * [simplify]: iteration 16 : 1409 enodes (cost 15 ) 2.605 * * [simplify]: iteration 17 : 1472 enodes (cost 15 ) 3.051 * * [simplify]: iteration 18 : 1825 enodes (cost 15 ) 4.435 * * [simplify]: iteration 19 : 3684 enodes (cost 15 ) 5.721 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 5.721 * [simplify]: Simplified to: (- (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n))) 1.0) 5.721 * * [progress]: iteration 1 / 4 5.721 * * * [progress]: picking best candidate 5.724 * * * * [pick]: Picked # 5.724 * * * [progress]: localizing error 5.735 * * * [progress]: generating rewritten candidates 5.735 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 5.745 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 5.754 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2) 5.762 * * * [progress]: generating series expansions 5.762 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 5.763 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) (* (log n) n)) in (n) around 0 5.763 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) (* (log n) n)) in n 5.763 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) in n 5.763 * [taylor]: Taking taylor expansion of (* 1.0 (log (+ n 1.0))) in n 5.763 * [taylor]: Taking taylor expansion of 1.0 in n 5.763 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n 5.763 * [taylor]: Taking taylor expansion of (+ n 1.0) in n 5.763 * [taylor]: Taking taylor expansion of n in n 5.763 * [taylor]: Taking taylor expansion of 1.0 in n 5.763 * [taylor]: Taking taylor expansion of (* (log (+ n 1.0)) n) in n 5.763 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n 5.763 * [taylor]: Taking taylor expansion of (+ n 1.0) in n 5.763 * [taylor]: Taking taylor expansion of n in n 5.763 * [taylor]: Taking taylor expansion of 1.0 in n 5.763 * [taylor]: Taking taylor expansion of n in n 5.763 * [taylor]: Taking taylor expansion of (* (log n) n) in n 5.763 * [taylor]: Taking taylor expansion of (log n) in n 5.763 * [taylor]: Taking taylor expansion of n in n 5.763 * [taylor]: Taking taylor expansion of n in n 5.763 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) (* (log n) n)) in n 5.763 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (+ n 1.0))) (* (log (+ n 1.0)) n)) in n 5.763 * [taylor]: Taking taylor expansion of (* 1.0 (log (+ n 1.0))) in n 5.763 * [taylor]: Taking taylor expansion of 1.0 in n 5.763 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n 5.763 * [taylor]: Taking taylor expansion of (+ n 1.0) in n 5.763 * [taylor]: Taking taylor expansion of n in n 5.763 * [taylor]: Taking taylor expansion of 1.0 in n 5.763 * [taylor]: Taking taylor expansion of (* (log (+ n 1.0)) n) in n 5.763 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n 5.763 * [taylor]: Taking taylor expansion of (+ n 1.0) in n 5.763 * [taylor]: Taking taylor expansion of n in n 5.763 * [taylor]: Taking taylor expansion of 1.0 in n 5.763 * [taylor]: Taking taylor expansion of n in n 5.763 * [taylor]: Taking taylor expansion of (* (log n) n) in n 5.763 * [taylor]: Taking taylor expansion of (log n) in n 5.763 * [taylor]: Taking taylor expansion of n in n 5.763 * [taylor]: Taking taylor expansion of n in n 5.767 * [approximate]: Taking taylor expansion of (- (+ (/ (log (+ 1.0 (/ 1 n))) n) (* 1.0 (log (+ 1.0 (/ 1 n))))) (/ (log (/ 1 n)) n)) in (n) around 0 5.767 * [taylor]: Taking taylor expansion of (- (+ (/ (log (+ 1.0 (/ 1 n))) n) (* 1.0 (log (+ 1.0 (/ 1 n))))) (/ (log (/ 1 n)) n)) in n 5.767 * [taylor]: Taking taylor expansion of (+ (/ (log (+ 1.0 (/ 1 n))) n) (* 1.0 (log (+ 1.0 (/ 1 n))))) in n 5.767 * [taylor]: Taking taylor expansion of (/ (log (+ 1.0 (/ 1 n))) n) in n 5.767 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 n))) in n 5.767 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 n)) in n 5.767 * [taylor]: Taking taylor expansion of 1.0 in n 5.767 * [taylor]: Taking taylor expansion of (/ 1 n) in n 5.767 * [taylor]: Taking taylor expansion of n in n 5.767 * [taylor]: Taking taylor expansion of n in n 5.767 * [taylor]: Taking taylor expansion of (* 1.0 (log (+ 1.0 (/ 1 n)))) in n 5.767 * [taylor]: Taking taylor expansion of 1.0 in n 5.767 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 n))) in n 5.767 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 n)) in n 5.767 * [taylor]: Taking taylor expansion of 1.0 in n 5.767 * [taylor]: Taking taylor expansion of (/ 1 n) in n 5.767 * [taylor]: Taking taylor expansion of n in n 5.767 * [taylor]: Taking taylor expansion of (/ (log (/ 1 n)) n) in n 5.767 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 5.767 * [taylor]: Taking taylor expansion of (/ 1 n) in n 5.767 * [taylor]: Taking taylor expansion of n in n 5.767 * [taylor]: Taking taylor expansion of n in n 5.768 * [taylor]: Taking taylor expansion of (- (+ (/ (log (+ 1.0 (/ 1 n))) n) (* 1.0 (log (+ 1.0 (/ 1 n))))) (/ (log (/ 1 n)) n)) in n 5.768 * [taylor]: Taking taylor expansion of (+ (/ (log (+ 1.0 (/ 1 n))) n) (* 1.0 (log (+ 1.0 (/ 1 n))))) in n 5.768 * [taylor]: Taking taylor expansion of (/ (log (+ 1.0 (/ 1 n))) n) in n 5.768 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 n))) in n 5.768 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 n)) in n 5.768 * [taylor]: Taking taylor expansion of 1.0 in n 5.768 * [taylor]: Taking taylor expansion of (/ 1 n) in n 5.768 * [taylor]: Taking taylor expansion of n in n 5.768 * [taylor]: Taking taylor expansion of n in n 5.768 * [taylor]: Taking taylor expansion of (* 1.0 (log (+ 1.0 (/ 1 n)))) in n 5.768 * [taylor]: Taking taylor expansion of 1.0 in n 5.768 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 n))) in n 5.768 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 n)) in n 5.768 * [taylor]: Taking taylor expansion of 1.0 in n 5.768 * [taylor]: Taking taylor expansion of (/ 1 n) in n 5.768 * [taylor]: Taking taylor expansion of n in n 5.768 * [taylor]: Taking taylor expansion of (/ (log (/ 1 n)) n) in n 5.768 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 5.768 * [taylor]: Taking taylor expansion of (/ 1 n) in n 5.768 * [taylor]: Taking taylor expansion of n in n 5.768 * [taylor]: Taking taylor expansion of n in n 5.778 * [approximate]: Taking taylor expansion of (- (+ (/ (log (/ -1 n)) n) (* 1.0 (log (- 1.0 (/ 1 n))))) (/ (log (- 1.0 (/ 1 n))) n)) in (n) around 0 5.778 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ -1 n)) n) (* 1.0 (log (- 1.0 (/ 1 n))))) (/ (log (- 1.0 (/ 1 n))) n)) in n 5.778 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 n)) n) (* 1.0 (log (- 1.0 (/ 1 n))))) in n 5.778 * [taylor]: Taking taylor expansion of (/ (log (/ -1 n)) n) in n 5.778 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 5.778 * [taylor]: Taking taylor expansion of (/ -1 n) in n 5.778 * [taylor]: Taking taylor expansion of -1 in n 5.778 * [taylor]: Taking taylor expansion of n in n 5.778 * [taylor]: Taking taylor expansion of n in n 5.778 * [taylor]: Taking taylor expansion of (* 1.0 (log (- 1.0 (/ 1 n)))) in n 5.778 * [taylor]: Taking taylor expansion of 1.0 in n 5.778 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 n))) in n 5.778 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 n)) in n 5.778 * [taylor]: Taking taylor expansion of 1.0 in n 5.778 * [taylor]: Taking taylor expansion of (/ 1 n) in n 5.778 * [taylor]: Taking taylor expansion of n in n 5.778 * [taylor]: Taking taylor expansion of (/ (log (- 1.0 (/ 1 n))) n) in n 5.778 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 n))) in n 5.778 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 n)) in n 5.778 * [taylor]: Taking taylor expansion of 1.0 in n 5.778 * [taylor]: Taking taylor expansion of (/ 1 n) in n 5.778 * [taylor]: Taking taylor expansion of n in n 5.778 * [taylor]: Taking taylor expansion of n in n 5.779 * [taylor]: Taking taylor expansion of (- (+ (/ (log (/ -1 n)) n) (* 1.0 (log (- 1.0 (/ 1 n))))) (/ (log (- 1.0 (/ 1 n))) n)) in n 5.779 * [taylor]: Taking taylor expansion of (+ (/ (log (/ -1 n)) n) (* 1.0 (log (- 1.0 (/ 1 n))))) in n 5.779 * [taylor]: Taking taylor expansion of (/ (log (/ -1 n)) n) in n 5.779 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 5.779 * [taylor]: Taking taylor expansion of (/ -1 n) in n 5.779 * [taylor]: Taking taylor expansion of -1 in n 5.779 * [taylor]: Taking taylor expansion of n in n 5.779 * [taylor]: Taking taylor expansion of n in n 5.779 * [taylor]: Taking taylor expansion of (* 1.0 (log (- 1.0 (/ 1 n)))) in n 5.779 * [taylor]: Taking taylor expansion of 1.0 in n 5.779 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 n))) in n 5.779 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 n)) in n 5.779 * [taylor]: Taking taylor expansion of 1.0 in n 5.779 * [taylor]: Taking taylor expansion of (/ 1 n) in n 5.779 * [taylor]: Taking taylor expansion of n in n 5.779 * [taylor]: Taking taylor expansion of (/ (log (- 1.0 (/ 1 n))) n) in n 5.779 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 n))) in n 5.779 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 n)) in n 5.779 * [taylor]: Taking taylor expansion of 1.0 in n 5.779 * [taylor]: Taking taylor expansion of (/ 1 n) in n 5.779 * [taylor]: Taking taylor expansion of n in n 5.779 * [taylor]: Taking taylor expansion of n in n 5.782 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 5.782 * [approximate]: Taking taylor expansion of (* (log (+ n 1.0)) (+ n 1.0)) in (n) around 0 5.782 * [taylor]: Taking taylor expansion of (* (log (+ n 1.0)) (+ n 1.0)) in n 5.782 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n 5.782 * [taylor]: Taking taylor expansion of (+ n 1.0) in n 5.782 * [taylor]: Taking taylor expansion of n in n 5.782 * [taylor]: Taking taylor expansion of 1.0 in n 5.782 * [taylor]: Taking taylor expansion of (+ n 1.0) in n 5.782 * [taylor]: Taking taylor expansion of n in n 5.782 * [taylor]: Taking taylor expansion of 1.0 in n 5.782 * [taylor]: Taking taylor expansion of (* (log (+ n 1.0)) (+ n 1.0)) in n 5.782 * [taylor]: Taking taylor expansion of (log (+ n 1.0)) in n 5.782 * [taylor]: Taking taylor expansion of (+ n 1.0) in n 5.782 * [taylor]: Taking taylor expansion of n in n 5.782 * [taylor]: Taking taylor expansion of 1.0 in n 5.783 * [taylor]: Taking taylor expansion of (+ n 1.0) in n 5.783 * [taylor]: Taking taylor expansion of n in n 5.783 * [taylor]: Taking taylor expansion of 1.0 in n 5.784 * [approximate]: Taking taylor expansion of (* (+ 1.0 (/ 1 n)) (log (+ 1.0 (/ 1 n)))) in (n) around 0 5.784 * [taylor]: Taking taylor expansion of (* (+ 1.0 (/ 1 n)) (log (+ 1.0 (/ 1 n)))) in n 5.784 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 n)) in n 5.784 * [taylor]: Taking taylor expansion of 1.0 in n 5.784 * [taylor]: Taking taylor expansion of (/ 1 n) in n 5.784 * [taylor]: Taking taylor expansion of n in n 5.784 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 n))) in n 5.784 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 n)) in n 5.784 * [taylor]: Taking taylor expansion of 1.0 in n 5.784 * [taylor]: Taking taylor expansion of (/ 1 n) in n 5.784 * [taylor]: Taking taylor expansion of n in n 5.784 * [taylor]: Taking taylor expansion of (* (+ 1.0 (/ 1 n)) (log (+ 1.0 (/ 1 n)))) in n 5.784 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 n)) in n 5.784 * [taylor]: Taking taylor expansion of 1.0 in n 5.784 * [taylor]: Taking taylor expansion of (/ 1 n) in n 5.784 * [taylor]: Taking taylor expansion of n in n 5.784 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 n))) in n 5.784 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 n)) in n 5.784 * [taylor]: Taking taylor expansion of 1.0 in n 5.784 * [taylor]: Taking taylor expansion of (/ 1 n) in n 5.784 * [taylor]: Taking taylor expansion of n in n 5.786 * [approximate]: Taking taylor expansion of (* (log (- 1.0 (/ 1 n))) (- 1.0 (/ 1 n))) in (n) around 0 5.786 * [taylor]: Taking taylor expansion of (* (log (- 1.0 (/ 1 n))) (- 1.0 (/ 1 n))) in n 5.786 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 n))) in n 5.786 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 n)) in n 5.786 * [taylor]: Taking taylor expansion of 1.0 in n 5.786 * [taylor]: Taking taylor expansion of (/ 1 n) in n 5.786 * [taylor]: Taking taylor expansion of n in n 5.786 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 n)) in n 5.786 * [taylor]: Taking taylor expansion of 1.0 in n 5.786 * [taylor]: Taking taylor expansion of (/ 1 n) in n 5.786 * [taylor]: Taking taylor expansion of n in n 5.786 * [taylor]: Taking taylor expansion of (* (log (- 1.0 (/ 1 n))) (- 1.0 (/ 1 n))) in n 5.786 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 n))) in n 5.786 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 n)) in n 5.786 * [taylor]: Taking taylor expansion of 1.0 in n 5.786 * [taylor]: Taking taylor expansion of (/ 1 n) in n 5.786 * [taylor]: Taking taylor expansion of n in n 5.786 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 n)) in n 5.786 * [taylor]: Taking taylor expansion of 1.0 in n 5.786 * [taylor]: Taking taylor expansion of (/ 1 n) in n 5.786 * [taylor]: Taking taylor expansion of n in n 5.788 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2) 5.788 * [approximate]: Taking taylor expansion of (* (log n) n) in (n) around 0 5.788 * [taylor]: Taking taylor expansion of (* (log n) n) in n 5.788 * [taylor]: Taking taylor expansion of (log n) in n 5.788 * [taylor]: Taking taylor expansion of n in n 5.788 * [taylor]: Taking taylor expansion of n in n 5.788 * [taylor]: Taking taylor expansion of (* (log n) n) in n 5.788 * [taylor]: Taking taylor expansion of (log n) in n 5.788 * [taylor]: Taking taylor expansion of n in n 5.788 * [taylor]: Taking taylor expansion of n in n 5.794 * [approximate]: Taking taylor expansion of (/ (log (/ 1 n)) n) in (n) around 0 5.794 * [taylor]: Taking taylor expansion of (/ (log (/ 1 n)) n) in n 5.794 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 5.794 * [taylor]: Taking taylor expansion of (/ 1 n) in n 5.794 * [taylor]: Taking taylor expansion of n in n 5.794 * [taylor]: Taking taylor expansion of n in n 5.795 * [taylor]: Taking taylor expansion of (/ (log (/ 1 n)) n) in n 5.795 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 5.795 * [taylor]: Taking taylor expansion of (/ 1 n) in n 5.795 * [taylor]: Taking taylor expansion of n in n 5.795 * [taylor]: Taking taylor expansion of n in n 5.799 * [approximate]: Taking taylor expansion of (* -1 (/ (log (/ -1 n)) n)) in (n) around 0 5.799 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 n)) n)) in n 5.799 * [taylor]: Taking taylor expansion of -1 in n 5.799 * [taylor]: Taking taylor expansion of (/ (log (/ -1 n)) n) in n 5.799 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 5.799 * [taylor]: Taking taylor expansion of (/ -1 n) in n 5.799 * [taylor]: Taking taylor expansion of -1 in n 5.799 * [taylor]: Taking taylor expansion of n in n 5.800 * [taylor]: Taking taylor expansion of n in n 5.800 * [taylor]: Taking taylor expansion of (* -1 (/ (log (/ -1 n)) n)) in n 5.800 * [taylor]: Taking taylor expansion of -1 in n 5.800 * [taylor]: Taking taylor expansion of (/ (log (/ -1 n)) n) in n 5.800 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 5.800 * [taylor]: Taking taylor expansion of (/ -1 n) in n 5.800 * [taylor]: Taking taylor expansion of -1 in n 5.800 * [taylor]: Taking taylor expansion of n in n 5.800 * [taylor]: Taking taylor expansion of n in n 5.805 * * * [progress]: simplifying candidates 5.807 * [simplify]: Simplifying using # : (/ (exp (* (+ n 1.0) (log (+ n 1.0)))) (exp (* n (log n)))) (log (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n)))) (exp (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n)))) (* (cbrt (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n)))) (cbrt (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n))))) (cbrt (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n)))) (* (* (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n))) (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n)))) (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n)))) (sqrt (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n)))) (sqrt (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n)))) (- (pow (* (+ n 1.0) (log (+ n 1.0))) 3) (pow (* n (log n)) 3)) (+ (* (* (+ n 1.0) (log (+ n 1.0))) (* (+ n 1.0) (log (+ n 1.0)))) (+ (* (* n (log n)) (* n (log n))) (* (* (+ n 1.0) (log (+ n 1.0))) (* n (log n))))) (neg (* n (log n))) (- (* (* (+ n 1.0) (log (+ n 1.0))) (* (+ n 1.0) (log (+ n 1.0)))) (* (* n (log n)) (* n (log n)))) (+ (* (+ n 1.0) (log (+ n 1.0))) (* n (log n))) (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log (* (cbrt n) (cbrt n))))) (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log (sqrt n)))) (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log 1))) (- (* (+ n 1.0) (log (+ n 1.0))) (* (log (* (cbrt n) (cbrt n))) n)) (- (* (+ n 1.0) (log (+ n 1.0))) (* (log (sqrt n)) n)) (- (* (+ n 1.0) (log (+ n 1.0))) (* (log 1) n)) (- (* (+ n 1.0) (log (cbrt (+ n 1.0)))) (* n (log n))) (- (* (+ n 1.0) (log (sqrt (+ n 1.0)))) (* n (log n))) (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n))) (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n))) (- (* (log (cbrt (+ n 1.0))) (+ n 1.0)) (* n (log n))) (- (* (log (sqrt (+ n 1.0))) (+ n 1.0)) (* n (log n))) (- (* (log (+ n 1.0)) (+ n 1.0)) (* n (log n))) (- (* (log (+ n 1.0)) (+ n 1.0)) (* n (log n))) (neg (* n (log n))) (* (+ n 1.0) (log (+ n 1.0))) (+ (log (+ n 1.0)) (log (log (+ n 1.0)))) (log (* (+ n 1.0) (log (+ n 1.0)))) (exp (* (+ n 1.0) (log (+ n 1.0)))) (* (* (* (+ n 1.0) (+ n 1.0)) (+ n 1.0)) (* (* (log (+ n 1.0)) (log (+ n 1.0))) (log (+ n 1.0)))) (* (cbrt (* (+ n 1.0) (log (+ n 1.0)))) (cbrt (* (+ n 1.0) (log (+ n 1.0))))) (cbrt (* (+ n 1.0) (log (+ n 1.0)))) (* (* (* (+ n 1.0) (log (+ n 1.0))) (* (+ n 1.0) (log (+ n 1.0)))) (* (+ n 1.0) (log (+ n 1.0)))) (sqrt (* (+ n 1.0) (log (+ n 1.0)))) (sqrt (* (+ n 1.0) (log (+ n 1.0)))) (* (sqrt (+ n 1.0)) (sqrt (log (+ n 1.0)))) (* (sqrt (+ n 1.0)) (sqrt (log (+ n 1.0)))) (* (+ n 1.0) (log (* (cbrt (+ n 1.0)) (cbrt (+ n 1.0))))) (* (+ n 1.0) (log (cbrt (+ n 1.0)))) (* (+ n 1.0) (log (sqrt (+ n 1.0)))) (* (+ n 1.0) (log (sqrt (+ n 1.0)))) (* (+ n 1.0) (log 1)) (* (+ n 1.0) (log (+ n 1.0))) (* (+ n 1.0) (log 1)) (* (+ n 1.0) (log (+ n 1.0))) (* (log (* (cbrt (+ n 1.0)) (cbrt (+ n 1.0)))) (+ n 1.0)) (* (log (cbrt (+ n 1.0))) (+ n 1.0)) (* (log (sqrt (+ n 1.0))) (+ n 1.0)) (* (log (sqrt (+ n 1.0))) (+ n 1.0)) (* (log 1) (+ n 1.0)) (* (log (+ n 1.0)) (+ n 1.0)) (* (log 1) (+ n 1.0)) (* (log (+ n 1.0)) (+ n 1.0)) (* (+ n 1.0) 1) (* (+ n 1.0) (* (cbrt (log (+ n 1.0))) (cbrt (log (+ n 1.0))))) (* (+ n 1.0) (sqrt (log (+ n 1.0)))) (* (+ n 1.0) 1) (* (cbrt (+ n 1.0)) (log (+ n 1.0))) (* (sqrt (+ n 1.0)) (log (+ n 1.0))) (* (+ n 1.0) (log (+ n 1.0))) (* (+ n 1.0) (log (+ n 1.0))) (* (+ (pow n 3) (pow 1.0 3)) (log (+ n 1.0))) (* (- (* n n) (* 1.0 1.0)) (log (+ n 1.0))) (* n (log n)) (+ (log n) (log (log n))) (log (* n (log n))) (exp (* n (log n))) (* (* (* n n) n) (* (* (log n) (log n)) (log n))) (* (cbrt (* n (log n))) (cbrt (* n (log n)))) (cbrt (* n (log n))) (* (* (* n (log n)) (* n (log n))) (* n (log n))) (sqrt (* n (log n))) (sqrt (* n (log n))) (* (sqrt n) (sqrt (log n))) (* (sqrt n) (sqrt (log n))) (* n (log (* (cbrt n) (cbrt n)))) (* n (log (cbrt n))) (* n (log (sqrt n))) (* n (log (sqrt n))) (* n (log 1)) (* n (log n)) (* (log (* (cbrt n) (cbrt n))) n) (* (log (cbrt n)) n) (* (log (sqrt n)) n) (* (log (sqrt n)) n) (* (log 1) n) (* (log n) n) (* n 1) (* n (* (cbrt (log n)) (cbrt (log n)))) (* n (sqrt (log n))) (* n 1) (* (cbrt n) (log n)) (* (sqrt n) (log n)) (* n (log n)) (- (+ (* 1.0 (log 1.0)) (+ (* 1.0 (pow n 2)) (+ (* (log 1.0) n) (* 1.0 n)))) (+ (* 0.5 (/ (pow n 2) (pow 1.0 2))) (+ (* (log n) n) (* (log 1) n)))) (- (+ (* 1.0 (log 1)) (+ (* 0.5 (/ 1 n)) 1.0)) (+ (* 1.0 (log (/ 1 n))) (* 0.16666666666666669 (/ 1 (pow n 2))))) (- (+ 1.0 (+ (* (log (neg 1)) n) (+ (* 1.0 (log (neg 1))) (* 0.5 (/ 1 n))))) (+ (* 1.0 (log (/ -1 n))) (* n (log -1)))) (- (+ (* 1.0 (log 1.0)) (+ (* 1.0 (pow n 2)) (+ (* (log 1.0) n) (* 1.0 n)))) (* 0.5 (/ (pow n 2) (pow 1.0 2)))) (- (+ 1.0 (+ (* (log 1) n) (+ (* 1.0 (log 1)) (* 0.5 (/ 1 n))))) (+ (* 1.0 (log (/ 1 n))) (* (log (/ 1 n)) n))) (- (+ 1.0 (+ (* (log (neg 1)) n) (+ (* 1.0 (log (neg 1))) (* 0.5 (/ 1 n))))) (+ (* 1.0 (log (/ -1 n))) (* n (log (/ -1 n))))) (* (+ (log n) (log 1)) n) (* (- (log 1) (log (/ 1 n))) n) (* n (- (log -1) (log (/ -1 n)))) 5.807 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 5.809 * * [simplify]: iteration 1 : 19 enodes (cost 14 ) 5.811 * * [simplify]: iteration 2 : 45 enodes (cost 11 ) 5.819 * * [simplify]: iteration 3 : 92 enodes (cost 11 ) 5.834 * * [simplify]: iteration 4 : 233 enodes (cost 11 ) 5.910 * * [simplify]: iteration 5 : 794 enodes (cost 11 ) 7.031 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 7.032 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 7.033 * * [simplify]: iteration 1 : 14 enodes (cost 14 ) 7.035 * * [simplify]: iteration 2 : 29 enodes (cost 14 ) 7.039 * * [simplify]: iteration 3 : 41 enodes (cost 14 ) 7.045 * * [simplify]: iteration 4 : 49 enodes (cost 14 ) 7.052 * * [simplify]: iteration 5 : 56 enodes (cost 14 ) 7.062 * * [simplify]: iteration 6 : 66 enodes (cost 14 ) 7.072 * * [simplify]: iteration 7 : 91 enodes (cost 14 ) 7.087 * * [simplify]: iteration 8 : 128 enodes (cost 14 ) 7.125 * * [simplify]: iteration 9 : 202 enodes (cost 14 ) 7.152 * * [simplify]: iteration 10 : 223 enodes (cost 14 ) 7.184 * * [simplify]: iteration 11 : 240 enodes (cost 14 ) 7.224 * * [simplify]: iteration 12 : 277 enodes (cost 14 ) 7.264 * * [simplify]: iteration 13 : 297 enodes (cost 14 ) 7.301 * * [simplify]: iteration done : 297 enodes (cost 14 ) 7.301 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 7.302 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 7.305 * * [simplify]: iteration 2 : 44 enodes (cost 11 ) 7.313 * * [simplify]: iteration 3 : 89 enodes (cost 11 ) 7.327 * * [simplify]: iteration 4 : 193 enodes (cost 11 ) 7.383 * * [simplify]: iteration 5 : 654 enodes (cost 11 ) 8.384 * * [simplify]: iteration 6 : 3735 enodes (cost 11 ) 9.785 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 9.786 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 9.787 * * [simplify]: iteration 1 : 15 enodes (cost 29 ) 9.789 * * [simplify]: iteration 2 : 30 enodes (cost 29 ) 9.793 * * [simplify]: iteration 3 : 42 enodes (cost 29 ) 9.800 * * [simplify]: iteration 4 : 50 enodes (cost 29 ) 9.812 * * [simplify]: iteration 5 : 57 enodes (cost 29 ) 9.820 * * [simplify]: iteration 6 : 67 enodes (cost 29 ) 9.829 * * [simplify]: iteration 7 : 92 enodes (cost 29 ) 9.845 * * [simplify]: iteration 8 : 129 enodes (cost 29 ) 9.882 * * [simplify]: iteration 9 : 203 enodes (cost 29 ) 9.910 * * [simplify]: iteration 10 : 224 enodes (cost 29 ) 9.942 * * [simplify]: iteration 11 : 241 enodes (cost 29 ) 9.983 * * [simplify]: iteration 12 : 278 enodes (cost 29 ) 10.027 * * [simplify]: iteration 13 : 298 enodes (cost 29 ) 10.061 * * [simplify]: iteration done : 298 enodes (cost 29 ) 10.062 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 10.063 * * [simplify]: iteration 1 : 14 enodes (cost 14 ) 10.065 * * [simplify]: iteration 2 : 29 enodes (cost 14 ) 10.069 * * [simplify]: iteration 3 : 41 enodes (cost 14 ) 10.076 * * [simplify]: iteration 4 : 49 enodes (cost 14 ) 10.086 * * [simplify]: iteration 5 : 56 enodes (cost 14 ) 10.093 * * [simplify]: iteration 6 : 66 enodes (cost 14 ) 10.103 * * [simplify]: iteration 7 : 91 enodes (cost 14 ) 10.118 * * [simplify]: iteration 8 : 128 enodes (cost 14 ) 10.155 * * [simplify]: iteration 9 : 202 enodes (cost 14 ) 10.183 * * [simplify]: iteration 10 : 223 enodes (cost 14 ) 10.215 * * [simplify]: iteration 11 : 240 enodes (cost 14 ) 10.255 * * [simplify]: iteration 12 : 277 enodes (cost 14 ) 10.296 * * [simplify]: iteration 13 : 297 enodes (cost 14 ) 10.334 * * [simplify]: iteration done : 297 enodes (cost 14 ) 10.335 * * [simplify]: iteration 0 : 10 enodes (cost 41 ) 10.337 * * [simplify]: iteration 1 : 16 enodes (cost 41 ) 10.339 * * [simplify]: iteration 2 : 45 enodes (cost 15 ) 10.348 * * [simplify]: iteration 3 : 164 enodes (cost 15 ) 10.423 * * [simplify]: iteration 4 : 879 enodes (cost 15 ) 11.336 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 11.337 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 11.338 * * [simplify]: iteration 1 : 14 enodes (cost 14 ) 11.340 * * [simplify]: iteration 2 : 29 enodes (cost 14 ) 11.344 * * [simplify]: iteration 3 : 41 enodes (cost 14 ) 11.350 * * [simplify]: iteration 4 : 49 enodes (cost 14 ) 11.361 * * [simplify]: iteration 5 : 56 enodes (cost 14 ) 11.369 * * [simplify]: iteration 6 : 66 enodes (cost 14 ) 11.379 * * [simplify]: iteration 7 : 91 enodes (cost 14 ) 11.395 * * [simplify]: iteration 8 : 128 enodes (cost 14 ) 11.432 * * [simplify]: iteration 9 : 202 enodes (cost 14 ) 11.459 * * [simplify]: iteration 10 : 223 enodes (cost 14 ) 11.492 * * [simplify]: iteration 11 : 240 enodes (cost 14 ) 11.531 * * [simplify]: iteration 12 : 277 enodes (cost 14 ) 11.571 * * [simplify]: iteration 13 : 297 enodes (cost 14 ) 11.608 * * [simplify]: iteration done : 297 enodes (cost 14 ) 11.609 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 11.610 * * [simplify]: iteration 1 : 14 enodes (cost 14 ) 11.612 * * [simplify]: iteration 2 : 29 enodes (cost 14 ) 11.616 * * [simplify]: iteration 3 : 41 enodes (cost 14 ) 11.622 * * [simplify]: iteration 4 : 49 enodes (cost 14 ) 11.633 * * [simplify]: iteration 5 : 56 enodes (cost 14 ) 11.641 * * [simplify]: iteration 6 : 66 enodes (cost 14 ) 11.650 * * [simplify]: iteration 7 : 91 enodes (cost 14 ) 11.667 * * [simplify]: iteration 8 : 128 enodes (cost 14 ) 11.704 * * [simplify]: iteration 9 : 202 enodes (cost 14 ) 11.732 * * [simplify]: iteration 10 : 223 enodes (cost 14 ) 11.765 * * [simplify]: iteration 11 : 240 enodes (cost 14 ) 11.805 * * [simplify]: iteration 12 : 277 enodes (cost 14 ) 11.844 * * [simplify]: iteration 13 : 297 enodes (cost 14 ) 11.880 * * [simplify]: iteration done : 297 enodes (cost 14 ) 11.881 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 11.883 * * [simplify]: iteration 1 : 35 enodes (cost 17 ) 11.890 * * [simplify]: iteration 2 : 127 enodes (cost 17 ) 11.932 * * [simplify]: iteration 3 : 481 enodes (cost 17 ) 12.205 * * [simplify]: iteration 4 : 1343 enodes (cost 17 ) 13.346 * * [simplify]: iteration 5 : 3520 enodes (cost 17 ) 14.684 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 14.685 * * [simplify]: iteration 0 : 12 enodes (cost 41 ) 14.687 * * [simplify]: iteration 1 : 40 enodes (cost 36 ) 14.695 * * [simplify]: iteration 2 : 117 enodes (cost 36 ) 14.728 * * [simplify]: iteration 3 : 275 enodes (cost 32 ) 14.814 * * [simplify]: iteration 4 : 558 enodes (cost 32 ) 15.081 * * [simplify]: iteration 5 : 1197 enodes (cost 32 ) 15.982 * * [simplify]: iteration 6 : 2982 enodes (cost 32 ) 19.441 * * [simplify]: iteration done : 5000 enodes (cost 32 ) 19.442 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 19.442 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 19.443 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 19.444 * * [simplify]: iteration done : 11 enodes (cost 5 ) 19.445 * * [simplify]: iteration 0 : 10 enodes (cost 27 ) 19.447 * * [simplify]: iteration 1 : 32 enodes (cost 27 ) 19.457 * * [simplify]: iteration 2 : 97 enodes (cost 27 ) 19.482 * * [simplify]: iteration 3 : 254 enodes (cost 27 ) 19.554 * * [simplify]: iteration 4 : 527 enodes (cost 27 ) 19.787 * * [simplify]: iteration 5 : 1342 enodes (cost 27 ) 20.989 * * [simplify]: iteration 6 : 4040 enodes (cost 27 ) 22.848 * * [simplify]: iteration done : 5000 enodes (cost 27 ) 22.849 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 22.850 * * [simplify]: iteration 1 : 12 enodes (cost 13 ) 22.851 * * [simplify]: iteration 2 : 20 enodes (cost 13 ) 22.854 * * [simplify]: iteration 3 : 28 enodes (cost 13 ) 22.858 * * [simplify]: iteration 4 : 32 enodes (cost 13 ) 22.863 * * [simplify]: iteration 5 : 34 enodes (cost 13 ) 22.867 * * [simplify]: iteration done : 34 enodes (cost 13 ) 22.868 * * [simplify]: iteration 0 : 10 enodes (cost 17 ) 22.869 * * [simplify]: iteration 1 : 17 enodes (cost 17 ) 22.872 * * [simplify]: iteration 2 : 38 enodes (cost 16 ) 22.878 * * [simplify]: iteration 3 : 73 enodes (cost 16 ) 22.898 * * [simplify]: iteration 4 : 138 enodes (cost 16 ) 22.926 * * [simplify]: iteration 5 : 181 enodes (cost 16 ) 22.967 * * [simplify]: iteration 6 : 239 enodes (cost 16 ) 23.029 * * [simplify]: iteration 7 : 362 enodes (cost 16 ) 23.212 * * [simplify]: iteration 8 : 604 enodes (cost 16 ) 23.355 * * [simplify]: iteration 9 : 683 enodes (cost 16 ) 23.497 * * [simplify]: iteration 10 : 688 enodes (cost 16 ) 23.629 * * [simplify]: iteration done : 688 enodes (cost 16 ) 23.630 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 23.631 * * [simplify]: iteration 1 : 14 enodes (cost 14 ) 23.633 * * [simplify]: iteration 2 : 29 enodes (cost 14 ) 23.637 * * [simplify]: iteration 3 : 41 enodes (cost 14 ) 23.643 * * [simplify]: iteration 4 : 49 enodes (cost 14 ) 23.653 * * [simplify]: iteration 5 : 56 enodes (cost 14 ) 23.661 * * [simplify]: iteration 6 : 66 enodes (cost 14 ) 23.671 * * [simplify]: iteration 7 : 91 enodes (cost 14 ) 23.687 * * [simplify]: iteration 8 : 128 enodes (cost 14 ) 23.725 * * [simplify]: iteration 9 : 202 enodes (cost 14 ) 23.752 * * [simplify]: iteration 10 : 223 enodes (cost 14 ) 23.786 * * [simplify]: iteration 11 : 240 enodes (cost 14 ) 23.826 * * [simplify]: iteration 12 : 277 enodes (cost 14 ) 23.866 * * [simplify]: iteration 13 : 297 enodes (cost 14 ) 23.904 * * [simplify]: iteration done : 297 enodes (cost 14 ) 23.905 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 23.906 * * [simplify]: iteration 1 : 16 enodes (cost 12 ) 23.908 * * [simplify]: iteration 2 : 31 enodes (cost 10 ) 23.911 * * [simplify]: iteration 3 : 43 enodes (cost 8 ) 23.920 * * [simplify]: iteration 4 : 66 enodes (cost 8 ) 23.930 * * [simplify]: iteration 5 : 70 enodes (cost 8 ) 23.937 * * [simplify]: iteration 6 : 90 enodes (cost 8 ) 23.951 * * [simplify]: iteration 7 : 119 enodes (cost 8 ) 23.964 * * [simplify]: iteration 8 : 148 enodes (cost 8 ) 24.000 * * [simplify]: iteration 9 : 208 enodes (cost 8 ) 24.030 * * [simplify]: iteration 10 : 221 enodes (cost 8 ) 24.061 * * [simplify]: iteration 11 : 223 enodes (cost 8 ) 24.086 * * [simplify]: iteration done : 223 enodes (cost 8 ) 24.087 * * [simplify]: iteration 0 : 10 enodes (cost 17 ) 24.088 * * [simplify]: iteration 1 : 17 enodes (cost 17 ) 24.091 * * [simplify]: iteration 2 : 38 enodes (cost 16 ) 24.100 * * [simplify]: iteration 3 : 73 enodes (cost 16 ) 24.116 * * [simplify]: iteration 4 : 138 enodes (cost 16 ) 24.144 * * [simplify]: iteration 5 : 181 enodes (cost 16 ) 24.186 * * [simplify]: iteration 6 : 239 enodes (cost 16 ) 24.249 * * [simplify]: iteration 7 : 362 enodes (cost 16 ) 24.435 * * [simplify]: iteration 8 : 604 enodes (cost 16 ) 24.583 * * [simplify]: iteration 9 : 683 enodes (cost 16 ) 24.731 * * [simplify]: iteration 10 : 688 enodes (cost 16 ) 24.865 * * [simplify]: iteration done : 688 enodes (cost 16 ) 24.865 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 24.866 * * [simplify]: iteration 1 : 14 enodes (cost 14 ) 24.868 * * [simplify]: iteration 2 : 29 enodes (cost 14 ) 24.872 * * [simplify]: iteration 3 : 41 enodes (cost 14 ) 24.881 * * [simplify]: iteration 4 : 49 enodes (cost 14 ) 24.889 * * [simplify]: iteration 5 : 56 enodes (cost 14 ) 24.897 * * [simplify]: iteration 6 : 66 enodes (cost 14 ) 24.906 * * [simplify]: iteration 7 : 91 enodes (cost 14 ) 24.923 * * [simplify]: iteration 8 : 128 enodes (cost 14 ) 24.959 * * [simplify]: iteration 9 : 202 enodes (cost 14 ) 24.988 * * [simplify]: iteration 10 : 223 enodes (cost 14 ) 25.021 * * [simplify]: iteration 11 : 240 enodes (cost 14 ) 25.061 * * [simplify]: iteration 12 : 277 enodes (cost 14 ) 25.105 * * [simplify]: iteration 13 : 297 enodes (cost 14 ) 25.142 * * [simplify]: iteration done : 297 enodes (cost 14 ) 25.142 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 25.144 * * [simplify]: iteration 1 : 16 enodes (cost 12 ) 25.146 * * [simplify]: iteration 2 : 31 enodes (cost 10 ) 25.149 * * [simplify]: iteration 3 : 43 enodes (cost 8 ) 25.158 * * [simplify]: iteration 4 : 66 enodes (cost 8 ) 25.166 * * [simplify]: iteration 5 : 70 enodes (cost 8 ) 25.173 * * [simplify]: iteration 6 : 90 enodes (cost 8 ) 25.189 * * [simplify]: iteration 7 : 119 enodes (cost 8 ) 25.202 * * [simplify]: iteration 8 : 148 enodes (cost 8 ) 25.239 * * [simplify]: iteration 9 : 208 enodes (cost 8 ) 25.269 * * [simplify]: iteration 10 : 221 enodes (cost 8 ) 25.300 * * [simplify]: iteration 11 : 223 enodes (cost 8 ) 25.325 * * [simplify]: iteration done : 223 enodes (cost 8 ) 25.326 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 25.327 * * [simplify]: iteration 1 : 14 enodes (cost 14 ) 25.328 * * [simplify]: iteration 2 : 29 enodes (cost 14 ) 25.333 * * [simplify]: iteration 3 : 41 enodes (cost 14 ) 25.342 * * [simplify]: iteration 4 : 49 enodes (cost 14 ) 25.349 * * [simplify]: iteration 5 : 56 enodes (cost 14 ) 25.357 * * [simplify]: iteration 6 : 66 enodes (cost 14 ) 25.367 * * [simplify]: iteration 7 : 91 enodes (cost 14 ) 25.382 * * [simplify]: iteration 8 : 128 enodes (cost 14 ) 25.420 * * [simplify]: iteration 9 : 202 enodes (cost 14 ) 25.454 * * [simplify]: iteration 10 : 223 enodes (cost 14 ) 25.484 * * [simplify]: iteration 11 : 240 enodes (cost 14 ) 25.524 * * [simplify]: iteration 12 : 277 enodes (cost 14 ) 25.569 * * [simplify]: iteration 13 : 297 enodes (cost 14 ) 25.605 * * [simplify]: iteration done : 297 enodes (cost 14 ) 25.605 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 25.606 * * [simplify]: iteration 1 : 14 enodes (cost 14 ) 25.608 * * [simplify]: iteration 2 : 29 enodes (cost 14 ) 25.612 * * [simplify]: iteration 3 : 41 enodes (cost 14 ) 25.622 * * [simplify]: iteration 4 : 49 enodes (cost 14 ) 25.630 * * [simplify]: iteration 5 : 56 enodes (cost 14 ) 25.638 * * [simplify]: iteration 6 : 66 enodes (cost 14 ) 25.647 * * [simplify]: iteration 7 : 91 enodes (cost 14 ) 25.664 * * [simplify]: iteration 8 : 128 enodes (cost 14 ) 25.703 * * [simplify]: iteration 9 : 202 enodes (cost 14 ) 25.735 * * [simplify]: iteration 10 : 223 enodes (cost 14 ) 25.766 * * [simplify]: iteration 11 : 240 enodes (cost 14 ) 25.806 * * [simplify]: iteration 12 : 277 enodes (cost 14 ) 25.851 * * [simplify]: iteration 13 : 297 enodes (cost 14 ) 25.887 * * [simplify]: iteration done : 297 enodes (cost 14 ) 25.887 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 25.888 * * [simplify]: iteration 1 : 13 enodes (cost 13 ) 25.890 * * [simplify]: iteration 2 : 28 enodes (cost 13 ) 25.894 * * [simplify]: iteration 3 : 40 enodes (cost 13 ) 25.901 * * [simplify]: iteration 4 : 48 enodes (cost 13 ) 25.911 * * [simplify]: iteration 5 : 55 enodes (cost 13 ) 25.919 * * [simplify]: iteration 6 : 65 enodes (cost 13 ) 25.929 * * [simplify]: iteration 7 : 90 enodes (cost 13 ) 25.945 * * [simplify]: iteration 8 : 127 enodes (cost 13 ) 25.983 * * [simplify]: iteration 9 : 201 enodes (cost 13 ) 26.011 * * [simplify]: iteration 10 : 222 enodes (cost 13 ) 26.045 * * [simplify]: iteration 11 : 239 enodes (cost 13 ) 26.085 * * [simplify]: iteration 12 : 276 enodes (cost 13 ) 26.125 * * [simplify]: iteration 13 : 296 enodes (cost 13 ) 26.163 * * [simplify]: iteration done : 296 enodes (cost 13 ) 26.163 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 26.164 * * [simplify]: iteration 1 : 13 enodes (cost 13 ) 26.166 * * [simplify]: iteration 2 : 28 enodes (cost 13 ) 26.170 * * [simplify]: iteration 3 : 40 enodes (cost 13 ) 26.176 * * [simplify]: iteration 4 : 48 enodes (cost 13 ) 26.184 * * [simplify]: iteration 5 : 55 enodes (cost 13 ) 26.194 * * [simplify]: iteration 6 : 65 enodes (cost 13 ) 26.203 * * [simplify]: iteration 7 : 90 enodes (cost 13 ) 26.219 * * [simplify]: iteration 8 : 127 enodes (cost 13 ) 26.256 * * [simplify]: iteration 9 : 201 enodes (cost 13 ) 26.284 * * [simplify]: iteration 10 : 222 enodes (cost 13 ) 26.316 * * [simplify]: iteration 11 : 239 enodes (cost 13 ) 26.357 * * [simplify]: iteration 12 : 276 enodes (cost 13 ) 26.397 * * [simplify]: iteration 13 : 296 enodes (cost 13 ) 26.434 * * [simplify]: iteration done : 296 enodes (cost 13 ) 26.434 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 26.435 * * [simplify]: iteration 1 : 20 enodes (cost 14 ) 26.438 * * [simplify]: iteration 2 : 32 enodes (cost 14 ) 26.443 * * [simplify]: iteration 3 : 41 enodes (cost 14 ) 26.449 * * [simplify]: iteration 4 : 50 enodes (cost 14 ) 26.457 * * [simplify]: iteration 5 : 61 enodes (cost 14 ) 26.468 * * [simplify]: iteration 6 : 80 enodes (cost 14 ) 26.482 * * [simplify]: iteration 7 : 112 enodes (cost 14 ) 26.508 * * [simplify]: iteration 8 : 159 enodes (cost 14 ) 26.537 * * [simplify]: iteration 9 : 205 enodes (cost 14 ) 26.569 * * [simplify]: iteration 10 : 225 enodes (cost 14 ) 26.609 * * [simplify]: iteration 11 : 261 enodes (cost 14 ) 26.655 * * [simplify]: iteration 12 : 282 enodes (cost 14 ) 26.694 * * [simplify]: iteration done : 282 enodes (cost 14 ) 26.695 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 26.697 * * [simplify]: iteration 1 : 20 enodes (cost 14 ) 26.699 * * [simplify]: iteration 2 : 32 enodes (cost 14 ) 26.704 * * [simplify]: iteration 3 : 41 enodes (cost 14 ) 26.710 * * [simplify]: iteration 4 : 50 enodes (cost 14 ) 26.718 * * [simplify]: iteration 5 : 61 enodes (cost 14 ) 26.727 * * [simplify]: iteration 6 : 80 enodes (cost 14 ) 26.740 * * [simplify]: iteration 7 : 112 enodes (cost 14 ) 26.768 * * [simplify]: iteration 8 : 159 enodes (cost 14 ) 26.793 * * [simplify]: iteration 9 : 205 enodes (cost 14 ) 26.828 * * [simplify]: iteration 10 : 225 enodes (cost 14 ) 26.868 * * [simplify]: iteration 11 : 261 enodes (cost 14 ) 26.910 * * [simplify]: iteration 12 : 282 enodes (cost 14 ) 26.949 * * [simplify]: iteration done : 282 enodes (cost 14 ) 26.949 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 26.950 * * [simplify]: iteration 1 : 19 enodes (cost 13 ) 26.953 * * [simplify]: iteration 2 : 31 enodes (cost 13 ) 26.957 * * [simplify]: iteration 3 : 40 enodes (cost 13 ) 26.964 * * [simplify]: iteration 4 : 49 enodes (cost 13 ) 26.974 * * [simplify]: iteration 5 : 60 enodes (cost 13 ) 26.983 * * [simplify]: iteration 6 : 79 enodes (cost 13 ) 26.996 * * [simplify]: iteration 7 : 111 enodes (cost 13 ) 27.021 * * [simplify]: iteration 8 : 158 enodes (cost 13 ) 27.050 * * [simplify]: iteration 9 : 204 enodes (cost 13 ) 27.080 * * [simplify]: iteration 10 : 224 enodes (cost 13 ) 27.119 * * [simplify]: iteration 11 : 260 enodes (cost 13 ) 27.165 * * [simplify]: iteration 12 : 281 enodes (cost 13 ) 27.205 * * [simplify]: iteration done : 281 enodes (cost 13 ) 27.206 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 27.207 * * [simplify]: iteration 1 : 19 enodes (cost 13 ) 27.209 * * [simplify]: iteration 2 : 31 enodes (cost 13 ) 27.214 * * [simplify]: iteration 3 : 40 enodes (cost 13 ) 27.221 * * [simplify]: iteration 4 : 49 enodes (cost 13 ) 27.228 * * [simplify]: iteration 5 : 60 enodes (cost 13 ) 27.236 * * [simplify]: iteration 6 : 79 enodes (cost 13 ) 27.250 * * [simplify]: iteration 7 : 111 enodes (cost 13 ) 27.277 * * [simplify]: iteration 8 : 158 enodes (cost 13 ) 27.302 * * [simplify]: iteration 9 : 204 enodes (cost 13 ) 27.337 * * [simplify]: iteration 10 : 224 enodes (cost 13 ) 27.376 * * [simplify]: iteration 11 : 260 enodes (cost 13 ) 27.419 * * [simplify]: iteration 12 : 281 enodes (cost 13 ) 27.458 * * [simplify]: iteration done : 281 enodes (cost 13 ) 27.459 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 27.459 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 27.460 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 27.461 * * [simplify]: iteration done : 11 enodes (cost 5 ) 27.462 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 27.463 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 27.463 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 27.465 * * [simplify]: iteration done : 15 enodes (cost 8 ) 27.466 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 27.467 * * [simplify]: iteration 1 : 8 enodes (cost 10 ) 27.467 * * [simplify]: iteration done : 8 enodes (cost 10 ) 27.468 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 27.469 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 27.470 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 27.473 * * [simplify]: iteration done : 19 enodes (cost 9 ) 27.473 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 27.474 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 27.476 * * [simplify]: iteration 2 : 29 enodes (cost 7 ) 27.483 * * [simplify]: iteration 3 : 43 enodes (cost 7 ) 27.488 * * [simplify]: iteration 4 : 70 enodes (cost 7 ) 27.499 * * [simplify]: iteration 5 : 136 enodes (cost 7 ) 27.548 * * [simplify]: iteration 6 : 336 enodes (cost 7 ) 27.748 * * [simplify]: iteration 7 : 960 enodes (cost 7 ) 29.271 * * [simplify]: iteration 8 : 3782 enodes (cost 7 ) 30.911 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 30.912 * * [simplify]: iteration 0 : 9 enodes (cost 26 ) 30.913 * * [simplify]: iteration 1 : 29 enodes (cost 26 ) 30.919 * * [simplify]: iteration 2 : 90 enodes (cost 12 ) 30.947 * * [simplify]: iteration 3 : 256 enodes (cost 12 ) 31.075 * * [simplify]: iteration 4 : 979 enodes (cost 10 ) 32.086 * * [simplify]: iteration 5 : 3629 enodes (cost 10 ) 33.778 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 33.779 * * [simplify]: iteration 0 : 7 enodes (cost 19 ) 33.780 * * [simplify]: iteration 1 : 9 enodes (cost 19 ) 33.781 * * [simplify]: iteration 2 : 17 enodes (cost 19 ) 33.783 * * [simplify]: iteration done : 17 enodes (cost 19 ) 33.784 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 33.785 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 33.785 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 33.787 * * [simplify]: iteration done : 16 enodes (cost 9 ) 33.788 * * [simplify]: iteration 0 : 7 enodes (cost 26 ) 33.789 * * [simplify]: iteration 1 : 19 enodes (cost 26 ) 33.793 * * [simplify]: iteration 2 : 80 enodes (cost 10 ) 33.818 * * [simplify]: iteration 3 : 291 enodes (cost 10 ) 33.971 * * [simplify]: iteration 4 : 726 enodes (cost 10 ) 34.502 * * [simplify]: iteration 5 : 1840 enodes (cost 10 ) 36.893 * * [simplify]: iteration 6 : 4312 enodes (cost 10 ) 38.874 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 38.874 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 38.875 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 38.876 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 38.878 * * [simplify]: iteration done : 16 enodes (cost 9 ) 38.879 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 38.879 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 38.880 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 38.882 * * [simplify]: iteration done : 16 enodes (cost 9 ) 38.883 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 38.884 * * [simplify]: iteration 1 : 9 enodes (cost 10 ) 38.884 * * [simplify]: iteration done : 9 enodes (cost 10 ) 38.885 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 38.886 * * [simplify]: iteration 1 : 9 enodes (cost 10 ) 38.887 * * [simplify]: iteration done : 9 enodes (cost 10 ) 38.887 * * [simplify]: iteration 0 : 7 enodes (cost 14 ) 38.888 * * [simplify]: iteration 1 : 11 enodes (cost 14 ) 38.890 * * [simplify]: iteration 2 : 25 enodes (cost 11 ) 38.894 * * [simplify]: iteration 3 : 49 enodes (cost 11 ) 38.904 * * [simplify]: iteration 4 : 91 enodes (cost 11 ) 38.924 * * [simplify]: iteration 5 : 107 enodes (cost 11 ) 38.943 * * [simplify]: iteration done : 107 enodes (cost 11 ) 38.944 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 38.945 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 38.946 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 38.948 * * [simplify]: iteration done : 16 enodes (cost 9 ) 38.948 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 38.949 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 38.950 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 38.952 * * [simplify]: iteration done : 16 enodes (cost 9 ) 38.953 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 38.953 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 38.954 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 38.956 * * [simplify]: iteration done : 16 enodes (cost 9 ) 38.957 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 38.958 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 38.959 * * [simplify]: iteration 2 : 18 enodes (cost 1 ) 38.960 * * [simplify]: iteration done : 18 enodes (cost 1 ) 38.961 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 38.961 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 38.962 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 38.964 * * [simplify]: iteration done : 15 enodes (cost 8 ) 38.965 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 38.965 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 38.967 * * [simplify]: iteration 2 : 18 enodes (cost 1 ) 38.968 * * [simplify]: iteration done : 18 enodes (cost 1 ) 38.969 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 38.969 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 38.970 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 38.972 * * [simplify]: iteration done : 15 enodes (cost 8 ) 38.973 * * [simplify]: iteration 0 : 7 enodes (cost 14 ) 38.974 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 38.976 * * [simplify]: iteration 2 : 32 enodes (cost 11 ) 38.981 * * [simplify]: iteration 3 : 58 enodes (cost 11 ) 38.995 * * [simplify]: iteration 4 : 94 enodes (cost 11 ) 39.014 * * [simplify]: iteration 5 : 103 enodes (cost 11 ) 39.032 * * [simplify]: iteration done : 103 enodes (cost 11 ) 39.033 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 39.034 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 39.036 * * [simplify]: iteration 2 : 15 enodes (cost 9 ) 39.037 * * [simplify]: iteration done : 15 enodes (cost 9 ) 39.038 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 39.039 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 39.042 * * [simplify]: iteration 2 : 15 enodes (cost 9 ) 39.044 * * [simplify]: iteration done : 15 enodes (cost 9 ) 39.044 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 39.045 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 39.047 * * [simplify]: iteration 2 : 15 enodes (cost 9 ) 39.048 * * [simplify]: iteration done : 15 enodes (cost 9 ) 39.049 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 39.050 * * [simplify]: iteration 1 : 16 enodes (cost 5 ) 39.052 * * [simplify]: iteration 2 : 17 enodes (cost 1 ) 39.052 * * [simplify]: iteration done : 17 enodes (cost 1 ) 39.053 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 39.054 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 39.055 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 39.057 * * [simplify]: iteration done : 14 enodes (cost 8 ) 39.058 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 39.059 * * [simplify]: iteration 1 : 16 enodes (cost 5 ) 39.061 * * [simplify]: iteration 2 : 17 enodes (cost 1 ) 39.062 * * [simplify]: iteration done : 17 enodes (cost 1 ) 39.062 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 39.063 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 39.065 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 39.066 * * [simplify]: iteration done : 14 enodes (cost 8 ) 39.067 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 39.067 * * [simplify]: iteration 1 : 9 enodes (cost 3 ) 39.069 * * [simplify]: iteration 2 : 20 enodes (cost 3 ) 39.072 * * [simplify]: iteration 3 : 28 enodes (cost 3 ) 39.073 * * [simplify]: iteration done : 28 enodes (cost 3 ) 39.073 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 39.074 * * [simplify]: iteration 1 : 11 enodes (cost 15 ) 39.076 * * [simplify]: iteration 2 : 21 enodes (cost 15 ) 39.079 * * [simplify]: iteration 3 : 33 enodes (cost 15 ) 39.084 * * [simplify]: iteration 4 : 35 enodes (cost 15 ) 39.089 * * [simplify]: iteration done : 35 enodes (cost 15 ) 39.089 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 39.090 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 39.091 * * [simplify]: iteration 2 : 16 enodes (cost 9 ) 39.093 * * [simplify]: iteration done : 16 enodes (cost 9 ) 39.093 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 39.094 * * [simplify]: iteration 1 : 9 enodes (cost 3 ) 39.095 * * [simplify]: iteration 2 : 20 enodes (cost 3 ) 39.098 * * [simplify]: iteration 3 : 28 enodes (cost 3 ) 39.099 * * [simplify]: iteration done : 28 enodes (cost 3 ) 39.100 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 39.100 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 39.101 * * [simplify]: iteration done : 8 enodes (cost 9 ) 39.102 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 39.102 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 39.103 * * [simplify]: iteration done : 8 enodes (cost 9 ) 39.104 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 39.107 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 39.108 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 39.110 * * [simplify]: iteration done : 15 enodes (cost 8 ) 39.111 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 39.112 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 39.113 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 39.115 * * [simplify]: iteration done : 15 enodes (cost 8 ) 39.116 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 39.117 * * [simplify]: iteration 1 : 25 enodes (cost 12 ) 39.121 * * [simplify]: iteration 2 : 42 enodes (cost 12 ) 39.127 * * [simplify]: iteration 3 : 83 enodes (cost 12 ) 39.142 * * [simplify]: iteration 4 : 162 enodes (cost 12 ) 39.189 * * [simplify]: iteration 5 : 401 enodes (cost 12 ) 39.451 * * [simplify]: iteration 6 : 1260 enodes (cost 12 ) 42.016 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 42.016 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 42.017 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 42.020 * * [simplify]: iteration 2 : 30 enodes (cost 12 ) 42.025 * * [simplify]: iteration 3 : 76 enodes (cost 12 ) 42.039 * * [simplify]: iteration 4 : 159 enodes (cost 12 ) 42.080 * * [simplify]: iteration 5 : 245 enodes (cost 12 ) 42.156 * * [simplify]: iteration 6 : 396 enodes (cost 12 ) 42.336 * * [simplify]: iteration 7 : 767 enodes (cost 12 ) 43.982 * * [simplify]: iteration 8 : 3351 enodes (cost 12 ) 46.225 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 46.226 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 46.226 * * [simplify]: iteration 1 : 4 enodes (cost 4 ) 46.227 * * [simplify]: iteration done : 4 enodes (cost 4 ) 46.227 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 46.228 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 46.228 * * [simplify]: iteration done : 5 enodes (cost 6 ) 46.229 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 46.229 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 46.230 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 46.231 * * [simplify]: iteration done : 8 enodes (cost 5 ) 46.231 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 46.232 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 46.233 * * [simplify]: iteration 2 : 14 enodes (cost 3 ) 46.234 * * [simplify]: iteration 3 : 24 enodes (cost 3 ) 46.237 * * [simplify]: iteration 4 : 47 enodes (cost 3 ) 46.244 * * [simplify]: iteration 5 : 103 enodes (cost 3 ) 46.277 * * [simplify]: iteration 6 : 242 enodes (cost 3 ) 46.427 * * [simplify]: iteration 7 : 701 enodes (cost 3 ) 47.498 * * [simplify]: iteration 8 : 2681 enodes (cost 3 ) 49.392 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 49.393 * * [simplify]: iteration 0 : 7 enodes (cost 14 ) 49.394 * * [simplify]: iteration 1 : 14 enodes (cost 14 ) 49.397 * * [simplify]: iteration 2 : 39 enodes (cost 8 ) 49.405 * * [simplify]: iteration 3 : 76 enodes (cost 8 ) 49.429 * * [simplify]: iteration 4 : 134 enodes (cost 6 ) 49.488 * * [simplify]: iteration 5 : 258 enodes (cost 6 ) 49.632 * * [simplify]: iteration 6 : 662 enodes (cost 6 ) 50.777 * * [simplify]: iteration 7 : 2440 enodes (cost 6 ) 52.579 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 52.579 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 52.585 * * [simplify]: iteration 1 : 6 enodes (cost 11 ) 52.586 * * [simplify]: iteration done : 6 enodes (cost 11 ) 52.586 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 52.587 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 52.587 * * [simplify]: iteration done : 5 enodes (cost 5 ) 52.588 * * [simplify]: iteration 0 : 5 enodes (cost 14 ) 52.589 * * [simplify]: iteration 1 : 16 enodes (cost 14 ) 52.592 * * [simplify]: iteration 2 : 45 enodes (cost 6 ) 52.605 * * [simplify]: iteration 3 : 91 enodes (cost 6 ) 52.632 * * [simplify]: iteration 4 : 107 enodes (cost 6 ) 52.660 * * [simplify]: iteration 5 : 153 enodes (cost 6 ) 52.719 * * [simplify]: iteration 6 : 293 enodes (cost 6 ) 52.891 * * [simplify]: iteration 7 : 755 enodes (cost 6 ) 53.946 * * [simplify]: iteration 8 : 2745 enodes (cost 6 ) 55.682 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 55.683 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 55.683 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 55.684 * * [simplify]: iteration done : 5 enodes (cost 5 ) 55.684 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 55.685 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 55.685 * * [simplify]: iteration done : 5 enodes (cost 5 ) 55.686 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 55.686 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 55.687 * * [simplify]: iteration done : 6 enodes (cost 6 ) 55.687 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 55.688 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 55.688 * * [simplify]: iteration done : 6 enodes (cost 6 ) 55.689 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 55.690 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 55.691 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 55.692 * * [simplify]: iteration 3 : 20 enodes (cost 7 ) 55.695 * * [simplify]: iteration 4 : 24 enodes (cost 7 ) 55.702 * * [simplify]: iteration done : 24 enodes (cost 7 ) 55.703 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 55.703 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 55.703 * * [simplify]: iteration done : 5 enodes (cost 5 ) 55.704 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 55.704 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 55.705 * * [simplify]: iteration done : 5 enodes (cost 5 ) 55.706 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 55.706 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 55.706 * * [simplify]: iteration done : 5 enodes (cost 5 ) 55.707 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 55.708 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 55.708 * * [simplify]: iteration done : 7 enodes (cost 1 ) 55.709 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 55.709 * * [simplify]: iteration 1 : 4 enodes (cost 4 ) 55.709 * * [simplify]: iteration done : 4 enodes (cost 4 ) 55.710 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 55.711 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 55.712 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 55.713 * * [simplify]: iteration 3 : 20 enodes (cost 7 ) 55.716 * * [simplify]: iteration 4 : 24 enodes (cost 7 ) 55.719 * * [simplify]: iteration done : 24 enodes (cost 7 ) 55.719 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 55.720 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 55.720 * * [simplify]: iteration done : 5 enodes (cost 5 ) 55.721 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 55.721 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 55.722 * * [simplify]: iteration done : 5 enodes (cost 5 ) 55.722 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 55.723 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 55.723 * * [simplify]: iteration done : 5 enodes (cost 5 ) 55.724 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 55.725 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 55.725 * * [simplify]: iteration done : 7 enodes (cost 1 ) 55.726 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 55.726 * * [simplify]: iteration 1 : 4 enodes (cost 4 ) 55.727 * * [simplify]: iteration done : 4 enodes (cost 4 ) 55.727 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 55.728 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 55.728 * * [simplify]: iteration done : 6 enodes (cost 1 ) 55.729 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 55.729 * * [simplify]: iteration 1 : 8 enodes (cost 9 ) 55.730 * * [simplify]: iteration 2 : 10 enodes (cost 9 ) 55.732 * * [simplify]: iteration done : 10 enodes (cost 9 ) 55.732 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 55.733 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 55.733 * * [simplify]: iteration done : 5 enodes (cost 5 ) 55.734 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 55.734 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 55.734 * * [simplify]: iteration done : 6 enodes (cost 1 ) 55.735 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 55.735 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 55.736 * * [simplify]: iteration done : 5 enodes (cost 5 ) 55.736 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 55.737 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 55.737 * * [simplify]: iteration done : 5 enodes (cost 5 ) 55.738 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 55.738 * * [simplify]: iteration 1 : 4 enodes (cost 4 ) 55.739 * * [simplify]: iteration done : 4 enodes (cost 4 ) 55.740 * * [simplify]: iteration 0 : 24 enodes (cost 39 ) 55.744 * * [simplify]: iteration 1 : 63 enodes (cost 34 ) 55.756 * * [simplify]: iteration 2 : 185 enodes (cost 30 ) 55.831 * * [simplify]: iteration 3 : 721 enodes (cost 30 ) 57.007 * * [simplify]: iteration 4 : 2929 enodes (cost 26 ) 57.919 * * [simplify]: iteration done : 5000 enodes (cost 25 ) 57.920 * * [simplify]: iteration 0 : 19 enodes (cost 27 ) 57.923 * * [simplify]: iteration 1 : 47 enodes (cost 25 ) 57.931 * * [simplify]: iteration 2 : 110 enodes (cost 19 ) 57.965 * * [simplify]: iteration 3 : 290 enodes (cost 16 ) 58.104 * * [simplify]: iteration 4 : 659 enodes (cost 16 ) 58.542 * * [simplify]: iteration 5 : 1571 enodes (cost 16 ) 60.794 * * [simplify]: iteration done : 5001 enodes (cost 16 ) 60.795 * * [simplify]: iteration 0 : 21 enodes (cost 31 ) 60.798 * * [simplify]: iteration 1 : 46 enodes (cost 29 ) 60.804 * * [simplify]: iteration 2 : 106 enodes (cost 24 ) 60.831 * * [simplify]: iteration 3 : 350 enodes (cost 24 ) 61.104 * * [simplify]: iteration 4 : 1025 enodes (cost 17 ) 63.195 * * [simplify]: iteration 5 : 2925 enodes (cost 10 ) 64.943 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 64.944 * * [simplify]: iteration 0 : 17 enodes (cost 29 ) 64.947 * * [simplify]: iteration 1 : 45 enodes (cost 27 ) 64.965 * * [simplify]: iteration 2 : 141 enodes (cost 25 ) 64.992 * * [simplify]: iteration 3 : 342 enodes (cost 25 ) 65.125 * * [simplify]: iteration 4 : 661 enodes (cost 22 ) 65.435 * * [simplify]: iteration 5 : 1034 enodes (cost 22 ) 66.055 * * [simplify]: iteration 6 : 1621 enodes (cost 20 ) 67.580 * * [simplify]: iteration 7 : 2730 enodes (cost 20 ) 70.417 * * [simplify]: iteration 8 : 4486 enodes (cost 20 ) 71.406 * * [simplify]: iteration done : 5000 enodes (cost 20 ) 71.407 * * [simplify]: iteration 0 : 17 enodes (cost 31 ) 71.410 * * [simplify]: iteration 1 : 43 enodes (cost 27 ) 71.419 * * [simplify]: iteration 2 : 113 enodes (cost 15 ) 71.462 * * [simplify]: iteration 3 : 273 enodes (cost 13 ) 71.579 * * [simplify]: iteration 4 : 520 enodes (cost 12 ) 71.964 * * [simplify]: iteration 5 : 951 enodes (cost 12 ) 72.463 * * [simplify]: iteration 6 : 1335 enodes (cost 12 ) 73.127 * * [simplify]: iteration 7 : 1618 enodes (cost 12 ) 74.108 * * [simplify]: iteration 8 : 2187 enodes (cost 12 ) 74.652 * * [simplify]: iteration 9 : 2335 enodes (cost 12 ) 75.328 * * [simplify]: iteration 10 : 2573 enodes (cost 12 ) 76.314 * * [simplify]: iteration 11 : 3882 enodes (cost 12 ) 77.241 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 77.242 * * [simplify]: iteration 0 : 20 enodes (cost 33 ) 77.245 * * [simplify]: iteration 1 : 48 enodes (cost 26 ) 77.252 * * [simplify]: iteration 2 : 113 enodes (cost 21 ) 77.287 * * [simplify]: iteration 3 : 376 enodes (cost 21 ) 77.566 * * [simplify]: iteration 4 : 1177 enodes (cost 17 ) 80.133 * * [simplify]: iteration 5 : 4910 enodes (cost 14 ) 80.916 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 80.917 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 80.918 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 80.919 * * [simplify]: iteration 2 : 18 enodes (cost 4 ) 80.929 * * [simplify]: iteration 3 : 24 enodes (cost 4 ) 80.931 * * [simplify]: iteration done : 24 enodes (cost 4 ) 80.932 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 80.933 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 80.934 * * [simplify]: iteration 2 : 25 enodes (cost 4 ) 80.939 * * [simplify]: iteration 3 : 44 enodes (cost 4 ) 80.943 * * [simplify]: iteration 4 : 52 enodes (cost 4 ) 80.948 * * [simplify]: iteration 5 : 69 enodes (cost 4 ) 80.967 * * [simplify]: iteration 6 : 104 enodes (cost 4 ) 80.975 * * [simplify]: iteration done : 104 enodes (cost 4 ) 80.975 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 80.976 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 80.978 * * [simplify]: iteration 2 : 23 enodes (cost 9 ) 80.981 * * [simplify]: iteration 3 : 42 enodes (cost 6 ) 80.990 * * [simplify]: iteration 4 : 66 enodes (cost 4 ) 81.007 * * [simplify]: iteration 5 : 186 enodes (cost 4 ) 81.339 * * [simplify]: iteration 6 : 967 enodes (cost 4 ) 82.751 * * [simplify]: iteration 7 : 2285 enodes (cost 4 ) 87.169 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 87.171 * [simplify]: Simplified to: (/ (pow (+ n 1.0) (+ n 1.0)) (pow n n)) (log (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n)))) (/ (pow (+ n 1.0) (+ n 1.0)) (pow n n)) (* (cbrt (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n)))) (cbrt (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n))))) (cbrt (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n)))) (pow (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n))) 3) (sqrt (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n)))) (sqrt (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n)))) (- (pow (* (+ n 1.0) (log (+ n 1.0))) 3) (pow (* n (log n)) 3)) (+ (* (* (+ n 1.0) (log (+ n 1.0))) (+ (* n (log n)) (* (+ n 1.0) (log (+ n 1.0))))) (* (* n (log n)) (* n (log n)))) (neg (* n (log n))) (- (* (* (+ n 1.0) (log (+ n 1.0))) (* (+ n 1.0) (log (+ n 1.0)))) (* (* n (log n)) (* n (log n)))) (+ (* (+ n 1.0) (log (+ n 1.0))) (* n (log n))) (- (* (+ n 1.0) (log (+ n 1.0))) (* (* 2 (log (cbrt n))) n)) (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log (sqrt n)))) (* (+ n 1.0) (log (+ n 1.0))) (- (* (+ n 1.0) (log (+ n 1.0))) (* (* 2 (log (cbrt n))) n)) (- (* (+ n 1.0) (log (+ n 1.0))) (* (log (sqrt n)) n)) (* (+ n 1.0) (log (+ n 1.0))) (- (* (+ n 1.0) (log (cbrt (+ n 1.0)))) (* n (log n))) (- (* (+ n 1.0) (log (sqrt (+ n 1.0)))) (* n (log n))) (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n))) (- (* (+ n 1.0) (log (+ n 1.0))) (* n (log n))) (- (* (log (cbrt (+ n 1.0))) (+ n 1.0)) (* n (log n))) (- (* (log (sqrt (+ n 1.0))) (+ n 1.0)) (* n (log n))) (- (* (log (+ n 1.0)) (+ n 1.0)) (* n (log n))) (- (* (log (+ n 1.0)) (+ n 1.0)) (* n (log n))) (neg (* n (log n))) (* (+ n 1.0) (log (+ n 1.0))) (+ (log (+ n 1.0)) (log (log (+ n 1.0)))) (log (* (+ n 1.0) (log (+ n 1.0)))) (pow (+ n 1.0) (+ n 1.0)) (pow (* (+ n 1.0) (log (+ n 1.0))) 3) (* (cbrt (* (+ n 1.0) (log (+ n 1.0)))) (cbrt (* (+ n 1.0) (log (+ n 1.0))))) (cbrt (* (+ n 1.0) (log (+ n 1.0)))) (pow (* (+ n 1.0) (log (+ n 1.0))) 3) (sqrt (* (+ n 1.0) (log (+ n 1.0)))) (sqrt (* (+ n 1.0) (log (+ n 1.0)))) (* (sqrt (+ n 1.0)) (sqrt (log (+ n 1.0)))) (* (sqrt (+ n 1.0)) (sqrt (log (+ n 1.0)))) (* (* 2 (log (cbrt (+ n 1.0)))) (+ n 1.0)) (* (+ n 1.0) (log (cbrt (+ n 1.0)))) (* (+ n 1.0) (log (sqrt (+ n 1.0)))) (* (+ n 1.0) (log (sqrt (+ n 1.0)))) 0 (* (+ n 1.0) (log (+ n 1.0))) 0 (* (+ n 1.0) (log (+ n 1.0))) (* (* 2 (log (cbrt (+ n 1.0)))) (+ n 1.0)) (* (log (cbrt (+ n 1.0))) (+ n 1.0)) (* (log (sqrt (+ n 1.0))) (+ n 1.0)) (* (log (sqrt (+ n 1.0))) (+ n 1.0)) 0 (* (log (+ n 1.0)) (+ n 1.0)) 0 (* (log (+ n 1.0)) (+ n 1.0)) (+ n 1.0) (* (+ n 1.0) (* (cbrt (log (+ n 1.0))) (cbrt (log (+ n 1.0))))) (* (+ n 1.0) (sqrt (log (+ n 1.0)))) (+ n 1.0) (* (cbrt (+ n 1.0)) (log (+ n 1.0))) (* (sqrt (+ n 1.0)) (log (+ n 1.0))) (* (+ n 1.0) (log (+ n 1.0))) (* (+ n 1.0) (log (+ n 1.0))) (* (+ (pow n 3) (pow 1.0 3)) (log (+ n 1.0))) (* (- n 1.0) (* (log (+ n 1.0)) (+ n 1.0))) (* n (log n)) (+ (log n) (log (log n))) (log (* n (log n))) (pow n n) (pow (* n (log n)) 3) (* (cbrt (* n (log n))) (cbrt (* n (log n)))) (cbrt (* n (log n))) (pow (* n (log n)) 3) (sqrt (* n (log n))) (sqrt (* n (log n))) (* (sqrt n) (sqrt (log n))) (* (sqrt n) (sqrt (log n))) (* n (* 2 (log (cbrt n)))) (* n (log (cbrt n))) (* n (log (sqrt n))) (* n (log (sqrt n))) 0 (* n (log n)) (* n (* 2 (log (cbrt n)))) (* (log (cbrt n)) n) (* (log (sqrt n)) n) (* (log (sqrt n)) n) 0 (* (log n) n) n (* n (* (cbrt (log n)) (cbrt (log n)))) (* n (sqrt (log n))) n (* (cbrt n) (log n)) (* (sqrt n) (log n)) (* n (log n)) (+ (+ (* (log 1.0) (+ n 1.0)) (* n (- 1.0 (log n)))) (* (pow n 2) (- 1.0 (/ 0.5 (pow 1.0 2))))) (- (+ 1.0 (/ 0.5 n)) (- (/ 0.16666666666666669 (pow n 2)) (* 1.0 (log n)))) (+ (+ (/ 0.5 n) 1.0) (* 1.0 (log n))) (+ (* (log 1.0) (+ n 1.0)) (* n (+ (* (- 1.0 (/ 0.5 (pow 1.0 2))) n) 1.0))) (+ (+ 1.0 (* (log n) (+ n 1.0))) (/ 0.5 n)) (+ (+ 0 (* (+ 1.0 n) (log n))) (+ (/ 0.5 n) 1.0)) (* (log n) n) (* (log n) n) (* (log n) n) 87.171 * * * [progress]: adding candidates to table 87.320 * * [progress]: iteration 2 / 4 87.320 * * * [progress]: picking best candidate 87.322 * * * * [pick]: Picked # 87.322 * * * [progress]: localizing error 87.332 * * * [progress]: generating rewritten candidates 87.332 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 87.345 * * * [progress]: generating series expansions 87.345 * * * * [progress]: [ 1 / 1 ] generating series at (2) 87.346 * [approximate]: Taking taylor expansion of (+ (* 1.0 (log n)) (* 0.5 (/ 1 n))) in (n) around 0 87.346 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log n)) (* 0.5 (/ 1 n))) in n 87.346 * [taylor]: Taking taylor expansion of (* 1.0 (log n)) in n 87.346 * [taylor]: Taking taylor expansion of 1.0 in n 87.346 * [taylor]: Taking taylor expansion of (log n) in n 87.346 * [taylor]: Taking taylor expansion of n in n 87.346 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 n)) in n 87.346 * [taylor]: Taking taylor expansion of 0.5 in n 87.346 * [taylor]: Taking taylor expansion of (/ 1 n) in n 87.346 * [taylor]: Taking taylor expansion of n in n 87.346 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log n)) (* 0.5 (/ 1 n))) in n 87.346 * [taylor]: Taking taylor expansion of (* 1.0 (log n)) in n 87.346 * [taylor]: Taking taylor expansion of 1.0 in n 87.346 * [taylor]: Taking taylor expansion of (log n) in n 87.346 * [taylor]: Taking taylor expansion of n in n 87.346 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 n)) in n 87.346 * [taylor]: Taking taylor expansion of 0.5 in n 87.346 * [taylor]: Taking taylor expansion of (/ 1 n) in n 87.346 * [taylor]: Taking taylor expansion of n in n 87.352 * [approximate]: Taking taylor expansion of (+ (* 1.0 (log (/ 1 n))) (* 0.5 n)) in (n) around 0 87.352 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (/ 1 n))) (* 0.5 n)) in n 87.352 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 n))) in n 87.352 * [taylor]: Taking taylor expansion of 1.0 in n 87.352 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 87.352 * [taylor]: Taking taylor expansion of (/ 1 n) in n 87.352 * [taylor]: Taking taylor expansion of n in n 87.352 * [taylor]: Taking taylor expansion of (* 0.5 n) in n 87.352 * [taylor]: Taking taylor expansion of 0.5 in n 87.352 * [taylor]: Taking taylor expansion of n in n 87.352 * [taylor]: Taking taylor expansion of (+ (* 1.0 (log (/ 1 n))) (* 0.5 n)) in n 87.352 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ 1 n))) in n 87.352 * [taylor]: Taking taylor expansion of 1.0 in n 87.352 * [taylor]: Taking taylor expansion of (log (/ 1 n)) in n 87.352 * [taylor]: Taking taylor expansion of (/ 1 n) in n 87.352 * [taylor]: Taking taylor expansion of n in n 87.352 * [taylor]: Taking taylor expansion of (* 0.5 n) in n 87.352 * [taylor]: Taking taylor expansion of 0.5 in n 87.352 * [taylor]: Taking taylor expansion of n in n 87.364 * [approximate]: Taking taylor expansion of (- (* 1.0 (log (/ -1 n))) (* 0.5 n)) in (n) around 0 87.364 * [taylor]: Taking taylor expansion of (- (* 1.0 (log (/ -1 n))) (* 0.5 n)) in n 87.364 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ -1 n))) in n 87.364 * [taylor]: Taking taylor expansion of 1.0 in n 87.364 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 87.364 * [taylor]: Taking taylor expansion of (/ -1 n) in n 87.364 * [taylor]: Taking taylor expansion of -1 in n 87.364 * [taylor]: Taking taylor expansion of n in n 87.365 * [taylor]: Taking taylor expansion of (* 0.5 n) in n 87.365 * [taylor]: Taking taylor expansion of 0.5 in n 87.365 * [taylor]: Taking taylor expansion of n in n 87.365 * [taylor]: Taking taylor expansion of (- (* 1.0 (log (/ -1 n))) (* 0.5 n)) in n 87.365 * [taylor]: Taking taylor expansion of (* 1.0 (log (/ -1 n))) in n 87.365 * [taylor]: Taking taylor expansion of 1.0 in n 87.365 * [taylor]: Taking taylor expansion of (log (/ -1 n)) in n 87.365 * [taylor]: Taking taylor expansion of (/ -1 n) in n 87.365 * [taylor]: Taking taylor expansion of -1 in n 87.365 * [taylor]: Taking taylor expansion of n in n 87.365 * [taylor]: Taking taylor expansion of (* 0.5 n) in n 87.365 * [taylor]: Taking taylor expansion of 0.5 in n 87.365 * [taylor]: Taking taylor expansion of n in n 87.372 * * * [progress]: simplifying candidates 87.373 * [simplify]: Simplifying using # : (/ (* (* (exp (/ 0.5 n)) (exp 1.0)) (exp (* 1.0 (log n)))) (exp 1.0)) (/ (* (exp (+ (/ 0.5 n) 1.0)) (exp (* 1.0 (log n)))) (exp 1.0)) (/ (exp (+ (+ (/ 0.5 n) 1.0) (* 1.0 (log n)))) (exp 1.0)) (log (- (+ (+ (/ 0.5 n) 1.0) (* 1.0 (log n))) 1.0)) (exp (- (+ (+ (/ 0.5 n) 1.0) (* 1.0 (log n))) 1.0)) (* (cbrt (- (+ (+ (/ 0.5 n) 1.0) (* 1.0 (log n))) 1.0)) (cbrt (- (+ (+ (/ 0.5 n) 1.0) (* 1.0 (log n))) 1.0))) (cbrt (- (+ (+ (/ 0.5 n) 1.0) (* 1.0 (log n))) 1.0)) (* (* (- (+ (+ (/ 0.5 n) 1.0) (* 1.0 (log n))) 1.0) (- (+ (+ (/ 0.5 n) 1.0) (* 1.0 (log n))) 1.0)) (- (+ (+ (/ 0.5 n) 1.0) (* 1.0 (log n))) 1.0)) (sqrt (- (+ (+ (/ 0.5 n) 1.0) (* 1.0 (log n))) 1.0)) (sqrt (- (+ (+ (/ 0.5 n) 1.0) (* 1.0 (log n))) 1.0)) (- (pow (+ (+ (/ 0.5 n) 1.0) (* 1.0 (log n))) 3) (pow 1.0 3)) (+ (* (+ (+ (/ 0.5 n) 1.0) (* 1.0 (log n))) (+ (+ (/ 0.5 n) 1.0) (* 1.0 (log n)))) (+ (* 1.0 1.0) (* (+ (+ (/ 0.5 n) 1.0) (* 1.0 (log n))) 1.0))) (neg 1.0) (- (* (+ (+ (/ 0.5 n) 1.0) (* 1.0 (log n))) (+ (+ (/ 0.5 n) 1.0) (* 1.0 (log n)))) (* 1.0 1.0)) (+ (+ (+ (/ 0.5 n) 1.0) (* 1.0 (log n))) 1.0) (+ (sqrt (+ (+ (/ 0.5 n) 1.0) (* 1.0 (log n)))) (sqrt 1.0)) (- (sqrt (+ (+ (/ 0.5 n) 1.0) (* 1.0 (log n)))) (sqrt 1.0)) (- (+ (+ (/ 0.5 n) 1.0) (* 1.0 (log n))) 1.0) (- (* 1.0 (log n)) 1.0) (neg 1.0) (+ (* 1.0 (log n)) (+ (* 1.0 (log 1)) (* 0.5 (/ 1 n)))) (- (+ (* 1.0 (log 1)) (* 0.5 (/ 1 n))) (* 1.0 (log (/ 1 n)))) (- (+ (* 1.0 (log -1)) (* 0.5 (/ 1 n))) (* 1.0 (log (/ -1 n)))) 87.374 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 87.375 * * [simplify]: iteration 1 : 22 enodes (cost 15 ) 87.379 * * [simplify]: iteration 2 : 54 enodes (cost 13 ) 87.387 * * [simplify]: iteration 3 : 130 enodes (cost 12 ) 87.415 * * [simplify]: iteration 4 : 349 enodes (cost 10 ) 87.600 * * [simplify]: iteration 5 : 1030 enodes (cost 8 ) 90.337 * * [simplify]: iteration 6 : 4777 enodes (cost 8 ) 91.927 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 91.928 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 91.929 * * [simplify]: iteration 1 : 22 enodes (cost 14 ) 91.932 * * [simplify]: iteration 2 : 49 enodes (cost 13 ) 91.939 * * [simplify]: iteration 3 : 122 enodes (cost 12 ) 91.969 * * [simplify]: iteration 4 : 322 enodes (cost 10 ) 92.135 * * [simplify]: iteration 5 : 912 enodes (cost 8 ) 94.658 * * [simplify]: iteration 6 : 4276 enodes (cost 8 ) 96.279 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 96.286 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 96.288 * * [simplify]: iteration 1 : 21 enodes (cost 13 ) 96.291 * * [simplify]: iteration 2 : 50 enodes (cost 13 ) 96.301 * * [simplify]: iteration 3 : 122 enodes (cost 12 ) 96.328 * * [simplify]: iteration 4 : 274 enodes (cost 10 ) 96.472 * * [simplify]: iteration 5 : 707 enodes (cost 8 ) 98.017 * * [simplify]: iteration 6 : 3533 enodes (cost 8 ) 99.367 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 99.368 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 99.369 * * [simplify]: iteration 1 : 19 enodes (cost 13 ) 99.372 * * [simplify]: iteration 2 : 43 enodes (cost 13 ) 99.379 * * [simplify]: iteration 3 : 84 enodes (cost 13 ) 99.397 * * [simplify]: iteration 4 : 114 enodes (cost 11 ) 99.434 * * [simplify]: iteration 5 : 167 enodes (cost 9 ) 99.576 * * [simplify]: iteration 6 : 618 enodes (cost 9 ) 103.309 * * [simplify]: iteration 7 : 3043 enodes (cost 9 ) 106.378 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 106.378 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 106.380 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 106.383 * * [simplify]: iteration 2 : 57 enodes (cost 13 ) 106.399 * * [simplify]: iteration 3 : 136 enodes (cost 12 ) 106.431 * * [simplify]: iteration 4 : 261 enodes (cost 10 ) 106.544 * * [simplify]: iteration 5 : 528 enodes (cost 8 ) 107.347 * * [simplify]: iteration 6 : 2421 enodes (cost 8 ) 109.337 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 109.338 * * [simplify]: iteration 0 : 11 enodes (cost 27 ) 109.340 * * [simplify]: iteration 1 : 20 enodes (cost 27 ) 109.342 * * [simplify]: iteration 2 : 44 enodes (cost 27 ) 109.350 * * [simplify]: iteration 3 : 85 enodes (cost 27 ) 109.367 * * [simplify]: iteration 4 : 119 enodes (cost 23 ) 109.405 * * [simplify]: iteration 5 : 172 enodes (cost 19 ) 109.539 * * [simplify]: iteration 6 : 625 enodes (cost 19 ) 113.402 * * [simplify]: iteration 7 : 3058 enodes (cost 19 ) 115.868 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 115.869 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 115.871 * * [simplify]: iteration 1 : 19 enodes (cost 13 ) 115.873 * * [simplify]: iteration 2 : 43 enodes (cost 13 ) 115.881 * * [simplify]: iteration 3 : 84 enodes (cost 13 ) 115.904 * * [simplify]: iteration 4 : 114 enodes (cost 11 ) 115.938 * * [simplify]: iteration 5 : 167 enodes (cost 9 ) 116.079 * * [simplify]: iteration 6 : 618 enodes (cost 9 ) 119.837 * * [simplify]: iteration 7 : 3043 enodes (cost 9 ) 122.711 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 122.712 * * [simplify]: iteration 0 : 11 enodes (cost 38 ) 122.714 * * [simplify]: iteration 1 : 21 enodes (cost 38 ) 122.723 * * [simplify]: iteration 2 : 71 enodes (cost 14 ) 122.744 * * [simplify]: iteration 3 : 381 enodes (cost 14 ) 123.061 * * [simplify]: iteration 4 : 2683 enodes (cost 12 ) 124.095 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 124.096 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 124.097 * * [simplify]: iteration 1 : 19 enodes (cost 13 ) 124.100 * * [simplify]: iteration 2 : 43 enodes (cost 13 ) 124.107 * * [simplify]: iteration 3 : 84 enodes (cost 13 ) 124.129 * * [simplify]: iteration 4 : 114 enodes (cost 11 ) 124.164 * * [simplify]: iteration 5 : 167 enodes (cost 9 ) 124.304 * * [simplify]: iteration 6 : 618 enodes (cost 9 ) 128.268 * * [simplify]: iteration 7 : 3043 enodes (cost 9 ) 131.143 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 131.144 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 131.150 * * [simplify]: iteration 1 : 19 enodes (cost 13 ) 131.153 * * [simplify]: iteration 2 : 43 enodes (cost 13 ) 131.160 * * [simplify]: iteration 3 : 84 enodes (cost 13 ) 131.178 * * [simplify]: iteration 4 : 114 enodes (cost 11 ) 131.216 * * [simplify]: iteration 5 : 167 enodes (cost 9 ) 131.354 * * [simplify]: iteration 6 : 618 enodes (cost 9 ) 135.121 * * [simplify]: iteration 7 : 3043 enodes (cost 9 ) 138.005 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 138.006 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 138.008 * * [simplify]: iteration 1 : 32 enodes (cost 16 ) 138.013 * * [simplify]: iteration 2 : 91 enodes (cost 16 ) 138.040 * * [simplify]: iteration 3 : 351 enodes (cost 16 ) 138.247 * * [simplify]: iteration 4 : 1752 enodes (cost 16 ) 139.561 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 139.562 * * [simplify]: iteration 0 : 13 enodes (cost 38 ) 139.564 * * [simplify]: iteration 1 : 31 enodes (cost 36 ) 139.570 * * [simplify]: iteration 2 : 113 enodes (cost 36 ) 139.609 * * [simplify]: iteration 3 : 438 enodes (cost 27 ) 140.056 * * [simplify]: iteration 4 : 2613 enodes (cost 27 ) 141.243 * * [simplify]: iteration done : 5000 enodes (cost 27 ) 141.243 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 141.243 * * [simplify]: iteration done : 2 enodes (cost 2 ) 141.244 * * [simplify]: iteration 0 : 11 enodes (cost 25 ) 141.246 * * [simplify]: iteration 1 : 27 enodes (cost 25 ) 141.251 * * [simplify]: iteration 2 : 101 enodes (cost 25 ) 141.282 * * [simplify]: iteration 3 : 424 enodes (cost 25 ) 141.591 * * [simplify]: iteration 4 : 2062 enodes (cost 21 ) 142.681 * * [simplify]: iteration done : 5001 enodes (cost 21 ) 142.682 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 142.683 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 142.685 * * [simplify]: iteration 2 : 34 enodes (cost 12 ) 142.691 * * [simplify]: iteration 3 : 51 enodes (cost 12 ) 142.698 * * [simplify]: iteration 4 : 63 enodes (cost 10 ) 142.711 * * [simplify]: iteration 5 : 83 enodes (cost 10 ) 142.725 * * [simplify]: iteration 6 : 84 enodes (cost 10 ) 142.734 * * [simplify]: iteration done : 84 enodes (cost 10 ) 142.734 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 142.736 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 142.738 * * [simplify]: iteration 2 : 26 enodes (cost 14 ) 142.741 * * [simplify]: iteration 3 : 30 enodes (cost 14 ) 142.744 * * [simplify]: iteration 4 : 36 enodes (cost 14 ) 142.749 * * [simplify]: iteration 5 : 42 enodes (cost 14 ) 142.753 * * [simplify]: iteration done : 42 enodes (cost 14 ) 142.754 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 142.755 * * [simplify]: iteration 1 : 18 enodes (cost 14 ) 142.757 * * [simplify]: iteration 2 : 28 enodes (cost 14 ) 142.760 * * [simplify]: iteration 3 : 32 enodes (cost 14 ) 142.764 * * [simplify]: iteration 4 : 38 enodes (cost 14 ) 142.770 * * [simplify]: iteration 5 : 44 enodes (cost 14 ) 142.774 * * [simplify]: iteration done : 44 enodes (cost 14 ) 142.774 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 142.776 * * [simplify]: iteration 1 : 18 enodes (cost 12 ) 142.782 * * [simplify]: iteration 2 : 42 enodes (cost 12 ) 142.789 * * [simplify]: iteration 3 : 85 enodes (cost 12 ) 142.806 * * [simplify]: iteration 4 : 117 enodes (cost 10 ) 142.844 * * [simplify]: iteration 5 : 170 enodes (cost 8 ) 142.978 * * [simplify]: iteration 6 : 620 enodes (cost 8 ) 147.023 * * [simplify]: iteration 7 : 3074 enodes (cost 8 ) 149.502 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 149.502 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 149.503 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 149.504 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 149.505 * * [simplify]: iteration done : 9 enodes (cost 6 ) 149.505 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 149.506 * * [simplify]: iteration done : 2 enodes (cost 2 ) 149.506 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 149.508 * * [simplify]: iteration 1 : 23 enodes (cost 14 ) 149.511 * * [simplify]: iteration 2 : 34 enodes (cost 10 ) 149.515 * * [simplify]: iteration 3 : 37 enodes (cost 8 ) 149.520 * * [simplify]: iteration 4 : 51 enodes (cost 8 ) 149.525 * * [simplify]: iteration 5 : 59 enodes (cost 8 ) 149.531 * * [simplify]: iteration done : 59 enodes (cost 8 ) 149.531 * * [simplify]: iteration 0 : 12 enodes (cost 17 ) 149.533 * * [simplify]: iteration 1 : 27 enodes (cost 15 ) 149.537 * * [simplify]: iteration 2 : 48 enodes (cost 11 ) 149.544 * * [simplify]: iteration 3 : 70 enodes (cost 8 ) 149.563 * * [simplify]: iteration 4 : 108 enodes (cost 8 ) 149.585 * * [simplify]: iteration 5 : 146 enodes (cost 8 ) 149.602 * * [simplify]: iteration 6 : 183 enodes (cost 8 ) 149.647 * * [simplify]: iteration 7 : 248 enodes (cost 8 ) 149.733 * * [simplify]: iteration 8 : 343 enodes (cost 8 ) 149.794 * * [simplify]: iteration 9 : 365 enodes (cost 8 ) 149.846 * * [simplify]: iteration 10 : 414 enodes (cost 8 ) 149.929 * * [simplify]: iteration 11 : 609 enodes (cost 8 ) 150.231 * * [simplify]: iteration 12 : 1135 enodes (cost 8 ) 151.728 * * [simplify]: iteration 13 : 2429 enodes (cost 8 ) 158.948 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 158.949 * * [simplify]: iteration 0 : 14 enodes (cost 17 ) 158.951 * * [simplify]: iteration 1 : 28 enodes (cost 17 ) 158.954 * * [simplify]: iteration 2 : 46 enodes (cost 15 ) 158.964 * * [simplify]: iteration 3 : 71 enodes (cost 13 ) 158.977 * * [simplify]: iteration 4 : 134 enodes (cost 13 ) 159.007 * * [simplify]: iteration 5 : 238 enodes (cost 10 ) 159.092 * * [simplify]: iteration 6 : 374 enodes (cost 8 ) 159.537 * * [simplify]: iteration 7 : 1394 enodes (cost 8 ) 164.483 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 164.484 * [simplify]: Simplified to: (* (pow n 1.0) (exp (/ 0.5 n))) (* (pow n 1.0) (exp (/ 0.5 n))) (* (exp (/ 0.5 n)) (pow n 1.0)) (log (+ (* 1.0 (log n)) (/ 0.5 n))) (* (exp (/ 0.5 n)) (pow n 1.0)) (* (cbrt (+ (/ 0.5 n) (* 1.0 (log n)))) (cbrt (+ (/ 0.5 n) (* 1.0 (log n))))) (cbrt (+ (* 1.0 (log n)) (/ 0.5 n))) (pow (+ (+ (* 1.0 (log n)) (/ 0.5 n)) 0) 3) (sqrt (+ (* 1.0 (log n)) (/ 0.5 n))) (sqrt (+ (* 1.0 (log n)) (/ 0.5 n))) (- (pow (+ (+ (/ 0.5 n) 1.0) (* 1.0 (log n))) 3) (pow 1.0 3)) (+ (* (+ (+ (/ 0.5 n) 1.0) (* 1.0 (log n))) (+ 1.0 (+ (+ (/ 0.5 n) 1.0) (* 1.0 (log n))))) (* 1.0 1.0)) (neg 1.0) (* (+ (* 1.0 (+ (log n) 2)) (/ 0.5 n)) (+ (+ (/ 0.5 n) (* 1.0 (log n))) 0)) (+ (* (+ (log n) 2) 1.0) (/ 0.5 n)) (+ (sqrt (+ (+ (/ 0.5 n) 1.0) (* 1.0 (log n)))) (sqrt 1.0)) (- (sqrt (+ (+ (/ 0.5 n) 1.0) (* 1.0 (log n)))) (sqrt 1.0)) (+ (/ 0.5 n) (* 1.0 (log n))) (- (* 1.0 (log n)) 1.0) (neg 1.0) (+ (* 1.0 (log n)) (/ 0.5 n)) (+ (* (log n) 1.0) (/ 0.5 n)) (+ (* (log n) 1.0) (/ 0.5 n)) 164.484 * * * [progress]: adding candidates to table 164.517 * * [progress]: iteration 3 / 4 164.517 * * * [progress]: picking best candidate 164.519 * * * * [pick]: Picked # 164.519 * * * [progress]: localizing error 164.525 * * * [progress]: generating rewritten candidates 164.526 * * * [progress]: generating series expansions 164.526 * * * [progress]: simplifying candidates 164.526 * [simplify]: Simplifying using # : 164.526 * [simplify]: Simplified to: 164.526 * * * [progress]: adding candidates to table 164.526 * [progress]: [Phase 3 of 3] Extracting. 164.528 * [simplify]: Simplifying using # : (+ (* 1.0 (log n)) (/ 0.5 n)) 164.529 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 164.529 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 164.529 * * [simplify]: iteration done : 9 enodes (cost 8 ) 164.529 * [simplify]: Simplified to: (+ (* 1.0 (log n)) (/ 0.5 n)) 167.385 * [regime-testing]: End program error score: 0 167.473 * [regime-testing]: Target error score: 0