2742.830 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.142 * * * [progress]: [2/2] Setting up program. 0.147 * [progress]: [Phase 2 of 3] Improving. 0.147 * [simplify]: Simplifying using # : (+ (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0))) U) 0.148 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 0.149 * * [simplify]: iteration 1 : 23 enodes (cost 15 ) 0.152 * * [simplify]: iteration 2 : 41 enodes (cost 15 ) 0.158 * * [simplify]: iteration 3 : 72 enodes (cost 15 ) 0.170 * * [simplify]: iteration 4 : 121 enodes (cost 15 ) 0.201 * * [simplify]: iteration 5 : 184 enodes (cost 15 ) 0.262 * * [simplify]: iteration 6 : 260 enodes (cost 15 ) 0.335 * * [simplify]: iteration 7 : 367 enodes (cost 15 ) 0.467 * * [simplify]: iteration 8 : 499 enodes (cost 15 ) 0.681 * * [simplify]: iteration 9 : 915 enodes (cost 15 ) 2.368 * * [simplify]: iteration 10 : 2264 enodes (cost 15 ) 4.085 * * [simplify]: iteration 11 : 2952 enodes (cost 15 ) 6.637 * * [simplify]: iteration 12 : 3305 enodes (cost 15 ) 10.444 * * [simplify]: iteration 13 : 4244 enodes (cost 15 ) 13.742 * * [simplify]: iteration 14 : 4529 enodes (cost 15 ) 16.725 * * [simplify]: iteration done : 4529 enodes (cost 15 ) 16.725 * [simplify]: Simplified to: (+ (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0))) U) 16.725 * * [progress]: iteration 1 / 4 16.725 * * * [progress]: picking best candidate 16.730 * * * * [pick]: Picked # 16.730 * * * [progress]: localizing error 16.745 * * * [progress]: generating rewritten candidates 16.745 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 2) 16.751 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 16.762 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 16.773 * * * [progress]: generating series expansions 16.773 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 2) 16.773 * [approximate]: Taking taylor expansion of (- (exp l) (exp (neg l))) in (l) around 0 16.773 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in l 16.773 * [taylor]: Taking taylor expansion of (exp l) in l 16.773 * [taylor]: Taking taylor expansion of l in l 16.773 * [taylor]: Taking taylor expansion of (exp (neg l)) in l 16.773 * [taylor]: Taking taylor expansion of (neg l) in l 16.774 * [taylor]: Taking taylor expansion of l in l 16.774 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in l 16.774 * [taylor]: Taking taylor expansion of (exp l) in l 16.774 * [taylor]: Taking taylor expansion of l in l 16.774 * [taylor]: Taking taylor expansion of (exp (neg l)) in l 16.774 * [taylor]: Taking taylor expansion of (neg l) in l 16.774 * [taylor]: Taking taylor expansion of l in l 16.778 * [approximate]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in (l) around 0 16.778 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in l 16.778 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 16.778 * [taylor]: Taking taylor expansion of (/ 1 l) in l 16.778 * [taylor]: Taking taylor expansion of l in l 16.778 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in l 16.778 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in l 16.778 * [taylor]: Taking taylor expansion of (/ 1 l) in l 16.778 * [taylor]: Taking taylor expansion of l in l 16.778 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in l 16.778 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 16.778 * [taylor]: Taking taylor expansion of (/ 1 l) in l 16.778 * [taylor]: Taking taylor expansion of l in l 16.778 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in l 16.778 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in l 16.778 * [taylor]: Taking taylor expansion of (/ 1 l) in l 16.778 * [taylor]: Taking taylor expansion of l in l 16.779 * [approximate]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in (l) around 0 16.779 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l 16.779 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l 16.779 * [taylor]: Taking taylor expansion of (/ -1 l) in l 16.779 * [taylor]: Taking taylor expansion of -1 in l 16.779 * [taylor]: Taking taylor expansion of l in l 16.779 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 16.779 * [taylor]: Taking taylor expansion of (/ 1 l) in l 16.779 * [taylor]: Taking taylor expansion of l in l 16.779 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l 16.779 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l 16.779 * [taylor]: Taking taylor expansion of (/ -1 l) in l 16.779 * [taylor]: Taking taylor expansion of -1 in l 16.779 * [taylor]: Taking taylor expansion of l in l 16.779 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 16.779 * [taylor]: Taking taylor expansion of (/ 1 l) in l 16.779 * [taylor]: Taking taylor expansion of l in l 16.780 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 16.780 * [approximate]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) (* J (cos (* 0.5 K)))) in (J l K) around 0 16.780 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) (* J (cos (* 0.5 K)))) in K 16.780 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in K 16.780 * [taylor]: Taking taylor expansion of (exp l) in K 16.780 * [taylor]: Taking taylor expansion of l in K 16.780 * [taylor]: Taking taylor expansion of (exp (neg l)) in K 16.780 * [taylor]: Taking taylor expansion of (neg l) in K 16.780 * [taylor]: Taking taylor expansion of l in K 16.780 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in K 16.780 * [taylor]: Taking taylor expansion of J in K 16.780 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 16.780 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 16.780 * [taylor]: Taking taylor expansion of 0.5 in K 16.780 * [taylor]: Taking taylor expansion of K in K 16.781 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) (* J (cos (* 0.5 K)))) in l 16.781 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in l 16.781 * [taylor]: Taking taylor expansion of (exp l) in l 16.781 * [taylor]: Taking taylor expansion of l in l 16.781 * [taylor]: Taking taylor expansion of (exp (neg l)) in l 16.781 * [taylor]: Taking taylor expansion of (neg l) in l 16.781 * [taylor]: Taking taylor expansion of l in l 16.781 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in l 16.781 * [taylor]: Taking taylor expansion of J in l 16.781 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 16.781 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 16.781 * [taylor]: Taking taylor expansion of 0.5 in l 16.781 * [taylor]: Taking taylor expansion of K in l 16.781 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) (* J (cos (* 0.5 K)))) in J 16.781 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in J 16.781 * [taylor]: Taking taylor expansion of (exp l) in J 16.781 * [taylor]: Taking taylor expansion of l in J 16.781 * [taylor]: Taking taylor expansion of (exp (neg l)) in J 16.781 * [taylor]: Taking taylor expansion of (neg l) in J 16.781 * [taylor]: Taking taylor expansion of l in J 16.781 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in J 16.781 * [taylor]: Taking taylor expansion of J in J 16.781 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 16.781 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 16.781 * [taylor]: Taking taylor expansion of 0.5 in J 16.781 * [taylor]: Taking taylor expansion of K in J 16.781 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) (* J (cos (* 0.5 K)))) in J 16.781 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in J 16.781 * [taylor]: Taking taylor expansion of (exp l) in J 16.781 * [taylor]: Taking taylor expansion of l in J 16.781 * [taylor]: Taking taylor expansion of (exp (neg l)) in J 16.781 * [taylor]: Taking taylor expansion of (neg l) in J 16.781 * [taylor]: Taking taylor expansion of l in J 16.781 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in J 16.781 * [taylor]: Taking taylor expansion of J in J 16.781 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 16.781 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 16.782 * [taylor]: Taking taylor expansion of 0.5 in J 16.782 * [taylor]: Taking taylor expansion of K in J 16.782 * [taylor]: Taking taylor expansion of 0 in l 16.782 * [taylor]: Taking taylor expansion of 0 in K 16.783 * [taylor]: Taking taylor expansion of (- (* (cos (* 0.5 K)) (exp l)) (* (exp (neg l)) (cos (* 0.5 K)))) in l 16.783 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (exp l)) in l 16.783 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 16.783 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 16.783 * [taylor]: Taking taylor expansion of 0.5 in l 16.783 * [taylor]: Taking taylor expansion of K in l 16.783 * [taylor]: Taking taylor expansion of (exp l) in l 16.783 * [taylor]: Taking taylor expansion of l in l 16.783 * [taylor]: Taking taylor expansion of (* (exp (neg l)) (cos (* 0.5 K))) in l 16.783 * [taylor]: Taking taylor expansion of (exp (neg l)) in l 16.783 * [taylor]: Taking taylor expansion of (neg l) in l 16.783 * [taylor]: Taking taylor expansion of l in l 16.783 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 16.783 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 16.783 * [taylor]: Taking taylor expansion of 0.5 in l 16.783 * [taylor]: Taking taylor expansion of K in l 16.783 * [taylor]: Taking taylor expansion of 0 in K 16.784 * [taylor]: Taking taylor expansion of 0 in K 16.784 * [taylor]: Taking taylor expansion of 0 in l 16.784 * [taylor]: Taking taylor expansion of 0 in K 16.785 * [taylor]: Taking taylor expansion of (* 2 (cos (* 0.5 K))) in K 16.785 * [taylor]: Taking taylor expansion of 2 in K 16.785 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 16.785 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 16.785 * [taylor]: Taking taylor expansion of 0.5 in K 16.785 * [taylor]: Taking taylor expansion of K in K 16.785 * [taylor]: Taking taylor expansion of 0 in K 16.787 * [taylor]: Taking taylor expansion of 0 in l 16.787 * [taylor]: Taking taylor expansion of 0 in K 16.787 * [taylor]: Taking taylor expansion of 0 in K 16.787 * [approximate]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) J) in (J l K) around 0 16.787 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) J) in K 16.787 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in K 16.787 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 16.787 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 16.787 * [taylor]: Taking taylor expansion of 0.5 in K 16.787 * [taylor]: Taking taylor expansion of K in K 16.787 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in K 16.787 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K 16.787 * [taylor]: Taking taylor expansion of (/ 1 l) in K 16.787 * [taylor]: Taking taylor expansion of l in K 16.787 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in K 16.787 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in K 16.787 * [taylor]: Taking taylor expansion of (/ 1 l) in K 16.787 * [taylor]: Taking taylor expansion of l in K 16.787 * [taylor]: Taking taylor expansion of J in K 16.788 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) J) in l 16.788 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in l 16.788 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 16.788 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 16.788 * [taylor]: Taking taylor expansion of 0.5 in l 16.788 * [taylor]: Taking taylor expansion of K in l 16.788 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in l 16.788 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 16.788 * [taylor]: Taking taylor expansion of (/ 1 l) in l 16.788 * [taylor]: Taking taylor expansion of l in l 16.788 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in l 16.788 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in l 16.788 * [taylor]: Taking taylor expansion of (/ 1 l) in l 16.788 * [taylor]: Taking taylor expansion of l in l 16.788 * [taylor]: Taking taylor expansion of J in l 16.789 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) J) in J 16.789 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in J 16.789 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 16.789 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 16.789 * [taylor]: Taking taylor expansion of 0.5 in J 16.789 * [taylor]: Taking taylor expansion of K in J 16.789 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in J 16.789 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J 16.789 * [taylor]: Taking taylor expansion of (/ 1 l) in J 16.789 * [taylor]: Taking taylor expansion of l in J 16.789 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in J 16.789 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in J 16.789 * [taylor]: Taking taylor expansion of (/ 1 l) in J 16.789 * [taylor]: Taking taylor expansion of l in J 16.790 * [taylor]: Taking taylor expansion of J in J 16.790 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) J) in J 16.790 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in J 16.790 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 16.790 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 16.790 * [taylor]: Taking taylor expansion of 0.5 in J 16.790 * [taylor]: Taking taylor expansion of K in J 16.790 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in J 16.790 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J 16.790 * [taylor]: Taking taylor expansion of (/ 1 l) in J 16.790 * [taylor]: Taking taylor expansion of l in J 16.790 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in J 16.790 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in J 16.790 * [taylor]: Taking taylor expansion of (/ 1 l) in J 16.790 * [taylor]: Taking taylor expansion of l in J 16.791 * [taylor]: Taking taylor expansion of J in J 16.791 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in l 16.791 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 16.791 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 16.791 * [taylor]: Taking taylor expansion of 0.5 in l 16.791 * [taylor]: Taking taylor expansion of K in l 16.791 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in l 16.791 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 16.791 * [taylor]: Taking taylor expansion of (/ 1 l) in l 16.791 * [taylor]: Taking taylor expansion of l in l 16.791 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in l 16.791 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in l 16.791 * [taylor]: Taking taylor expansion of (/ 1 l) in l 16.791 * [taylor]: Taking taylor expansion of l in l 16.792 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in K 16.792 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 16.792 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 16.792 * [taylor]: Taking taylor expansion of 0.5 in K 16.792 * [taylor]: Taking taylor expansion of K in K 16.792 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in K 16.792 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K 16.792 * [taylor]: Taking taylor expansion of (/ 1 l) in K 16.792 * [taylor]: Taking taylor expansion of l in K 16.792 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in K 16.792 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in K 16.792 * [taylor]: Taking taylor expansion of (/ 1 l) in K 16.792 * [taylor]: Taking taylor expansion of l in K 16.793 * [taylor]: Taking taylor expansion of 0 in l 16.793 * [taylor]: Taking taylor expansion of 0 in K 16.794 * [taylor]: Taking taylor expansion of 0 in K 16.795 * [taylor]: Taking taylor expansion of 0 in l 16.795 * [taylor]: Taking taylor expansion of 0 in K 16.795 * [taylor]: Taking taylor expansion of 0 in K 16.796 * [taylor]: Taking taylor expansion of 0 in K 16.796 * [approximate]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) in (J l K) around 0 16.796 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) in K 16.796 * [taylor]: Taking taylor expansion of -1 in K 16.796 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J) in K 16.796 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) in K 16.797 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in K 16.797 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in K 16.797 * [taylor]: Taking taylor expansion of (/ -1 l) in K 16.797 * [taylor]: Taking taylor expansion of -1 in K 16.797 * [taylor]: Taking taylor expansion of l in K 16.797 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K 16.797 * [taylor]: Taking taylor expansion of (/ 1 l) in K 16.797 * [taylor]: Taking taylor expansion of l in K 16.797 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 16.797 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 16.797 * [taylor]: Taking taylor expansion of -0.5 in K 16.797 * [taylor]: Taking taylor expansion of K in K 16.797 * [taylor]: Taking taylor expansion of J in K 16.797 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) in l 16.797 * [taylor]: Taking taylor expansion of -1 in l 16.797 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J) in l 16.797 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) in l 16.797 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l 16.797 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l 16.797 * [taylor]: Taking taylor expansion of (/ -1 l) in l 16.797 * [taylor]: Taking taylor expansion of -1 in l 16.797 * [taylor]: Taking taylor expansion of l in l 16.797 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 16.797 * [taylor]: Taking taylor expansion of (/ 1 l) in l 16.797 * [taylor]: Taking taylor expansion of l in l 16.798 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 16.798 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 16.798 * [taylor]: Taking taylor expansion of -0.5 in l 16.798 * [taylor]: Taking taylor expansion of K in l 16.798 * [taylor]: Taking taylor expansion of J in l 16.798 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) in J 16.798 * [taylor]: Taking taylor expansion of -1 in J 16.798 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J) in J 16.798 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) in J 16.798 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in J 16.798 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in J 16.798 * [taylor]: Taking taylor expansion of (/ -1 l) in J 16.798 * [taylor]: Taking taylor expansion of -1 in J 16.798 * [taylor]: Taking taylor expansion of l in J 16.798 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J 16.798 * [taylor]: Taking taylor expansion of (/ 1 l) in J 16.798 * [taylor]: Taking taylor expansion of l in J 16.798 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 16.798 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 16.798 * [taylor]: Taking taylor expansion of -0.5 in J 16.798 * [taylor]: Taking taylor expansion of K in J 16.799 * [taylor]: Taking taylor expansion of J in J 16.799 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) in J 16.799 * [taylor]: Taking taylor expansion of -1 in J 16.799 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J) in J 16.799 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) in J 16.799 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in J 16.799 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in J 16.799 * [taylor]: Taking taylor expansion of (/ -1 l) in J 16.799 * [taylor]: Taking taylor expansion of -1 in J 16.799 * [taylor]: Taking taylor expansion of l in J 16.799 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J 16.799 * [taylor]: Taking taylor expansion of (/ 1 l) in J 16.799 * [taylor]: Taking taylor expansion of l in J 16.800 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 16.800 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 16.800 * [taylor]: Taking taylor expansion of -0.5 in J 16.800 * [taylor]: Taking taylor expansion of K in J 16.800 * [taylor]: Taking taylor expansion of J in J 16.800 * [taylor]: Taking taylor expansion of (* -1 (* (cos (/ -0.5 K)) (- (exp (/ -1 l)) (exp (/ 1 l))))) in l 16.800 * [taylor]: Taking taylor expansion of -1 in l 16.800 * [taylor]: Taking taylor expansion of (* (cos (/ -0.5 K)) (- (exp (/ -1 l)) (exp (/ 1 l)))) in l 16.800 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 16.800 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 16.800 * [taylor]: Taking taylor expansion of -0.5 in l 16.800 * [taylor]: Taking taylor expansion of K in l 16.800 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l 16.800 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l 16.801 * [taylor]: Taking taylor expansion of (/ -1 l) in l 16.801 * [taylor]: Taking taylor expansion of -1 in l 16.801 * [taylor]: Taking taylor expansion of l in l 16.801 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 16.801 * [taylor]: Taking taylor expansion of (/ 1 l) in l 16.801 * [taylor]: Taking taylor expansion of l in l 16.801 * [taylor]: Taking taylor expansion of (* -1 (* (cos (/ -0.5 K)) (- (exp (/ -1 l)) (exp (/ 1 l))))) in K 16.801 * [taylor]: Taking taylor expansion of -1 in K 16.801 * [taylor]: Taking taylor expansion of (* (cos (/ -0.5 K)) (- (exp (/ -1 l)) (exp (/ 1 l)))) in K 16.801 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 16.801 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 16.801 * [taylor]: Taking taylor expansion of -0.5 in K 16.801 * [taylor]: Taking taylor expansion of K in K 16.801 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in K 16.801 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in K 16.801 * [taylor]: Taking taylor expansion of (/ -1 l) in K 16.801 * [taylor]: Taking taylor expansion of -1 in K 16.801 * [taylor]: Taking taylor expansion of l in K 16.801 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K 16.801 * [taylor]: Taking taylor expansion of (/ 1 l) in K 16.802 * [taylor]: Taking taylor expansion of l in K 16.803 * [taylor]: Taking taylor expansion of 0 in l 16.803 * [taylor]: Taking taylor expansion of 0 in K 16.803 * [taylor]: Taking taylor expansion of 0 in K 16.805 * [taylor]: Taking taylor expansion of 0 in l 16.805 * [taylor]: Taking taylor expansion of 0 in K 16.805 * [taylor]: Taking taylor expansion of 0 in K 16.806 * [taylor]: Taking taylor expansion of 0 in K 16.806 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 16.806 * [approximate]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) J) in (J l) around 0 16.806 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) J) in l 16.806 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in l 16.806 * [taylor]: Taking taylor expansion of (exp l) in l 16.806 * [taylor]: Taking taylor expansion of l in l 16.806 * [taylor]: Taking taylor expansion of (exp (neg l)) in l 16.806 * [taylor]: Taking taylor expansion of (neg l) in l 16.806 * [taylor]: Taking taylor expansion of l in l 16.806 * [taylor]: Taking taylor expansion of J in l 16.806 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) J) in J 16.806 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in J 16.806 * [taylor]: Taking taylor expansion of (exp l) in J 16.806 * [taylor]: Taking taylor expansion of l in J 16.806 * [taylor]: Taking taylor expansion of (exp (neg l)) in J 16.806 * [taylor]: Taking taylor expansion of (neg l) in J 16.806 * [taylor]: Taking taylor expansion of l in J 16.806 * [taylor]: Taking taylor expansion of J in J 16.806 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) J) in J 16.806 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in J 16.807 * [taylor]: Taking taylor expansion of (exp l) in J 16.807 * [taylor]: Taking taylor expansion of l in J 16.807 * [taylor]: Taking taylor expansion of (exp (neg l)) in J 16.807 * [taylor]: Taking taylor expansion of (neg l) in J 16.807 * [taylor]: Taking taylor expansion of l in J 16.807 * [taylor]: Taking taylor expansion of J in J 16.807 * [taylor]: Taking taylor expansion of 0 in l 16.807 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in l 16.807 * [taylor]: Taking taylor expansion of (exp l) in l 16.807 * [taylor]: Taking taylor expansion of l in l 16.807 * [taylor]: Taking taylor expansion of (exp (neg l)) in l 16.807 * [taylor]: Taking taylor expansion of (neg l) in l 16.807 * [taylor]: Taking taylor expansion of l in l 16.808 * [taylor]: Taking taylor expansion of 0 in l 16.808 * [taylor]: Taking taylor expansion of 0 in l 16.810 * [taylor]: Taking taylor expansion of 0 in l 16.810 * [approximate]: Taking taylor expansion of (/ (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) J) in (J l) around 0 16.810 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) J) in l 16.810 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in l 16.810 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 16.810 * [taylor]: Taking taylor expansion of (/ 1 l) in l 16.810 * [taylor]: Taking taylor expansion of l in l 16.810 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in l 16.810 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in l 16.810 * [taylor]: Taking taylor expansion of (/ 1 l) in l 16.810 * [taylor]: Taking taylor expansion of l in l 16.810 * [taylor]: Taking taylor expansion of J in l 16.810 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) J) in J 16.810 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in J 16.810 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J 16.810 * [taylor]: Taking taylor expansion of (/ 1 l) in J 16.810 * [taylor]: Taking taylor expansion of l in J 16.811 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in J 16.811 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in J 16.811 * [taylor]: Taking taylor expansion of (/ 1 l) in J 16.811 * [taylor]: Taking taylor expansion of l in J 16.811 * [taylor]: Taking taylor expansion of J in J 16.811 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) J) in J 16.811 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in J 16.811 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J 16.811 * [taylor]: Taking taylor expansion of (/ 1 l) in J 16.811 * [taylor]: Taking taylor expansion of l in J 16.811 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in J 16.811 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in J 16.811 * [taylor]: Taking taylor expansion of (/ 1 l) in J 16.811 * [taylor]: Taking taylor expansion of l in J 16.811 * [taylor]: Taking taylor expansion of J in J 16.812 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in l 16.812 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 16.812 * [taylor]: Taking taylor expansion of (/ 1 l) in l 16.812 * [taylor]: Taking taylor expansion of l in l 16.812 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in l 16.812 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in l 16.812 * [taylor]: Taking taylor expansion of (/ 1 l) in l 16.812 * [taylor]: Taking taylor expansion of l in l 16.812 * [taylor]: Taking taylor expansion of 0 in l 16.819 * [taylor]: Taking taylor expansion of 0 in l 16.820 * [taylor]: Taking taylor expansion of 0 in l 16.820 * [approximate]: Taking taylor expansion of (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) in (J l) around 0 16.820 * [taylor]: Taking taylor expansion of (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) in l 16.820 * [taylor]: Taking taylor expansion of -1 in l 16.820 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J) in l 16.821 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l 16.821 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l 16.821 * [taylor]: Taking taylor expansion of (/ -1 l) in l 16.821 * [taylor]: Taking taylor expansion of -1 in l 16.821 * [taylor]: Taking taylor expansion of l in l 16.821 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 16.821 * [taylor]: Taking taylor expansion of (/ 1 l) in l 16.821 * [taylor]: Taking taylor expansion of l in l 16.821 * [taylor]: Taking taylor expansion of J in l 16.821 * [taylor]: Taking taylor expansion of (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) in J 16.821 * [taylor]: Taking taylor expansion of -1 in J 16.821 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J) in J 16.821 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in J 16.821 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in J 16.821 * [taylor]: Taking taylor expansion of (/ -1 l) in J 16.821 * [taylor]: Taking taylor expansion of -1 in J 16.821 * [taylor]: Taking taylor expansion of l in J 16.821 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J 16.821 * [taylor]: Taking taylor expansion of (/ 1 l) in J 16.821 * [taylor]: Taking taylor expansion of l in J 16.821 * [taylor]: Taking taylor expansion of J in J 16.822 * [taylor]: Taking taylor expansion of (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) in J 16.822 * [taylor]: Taking taylor expansion of -1 in J 16.822 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J) in J 16.822 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in J 16.822 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in J 16.822 * [taylor]: Taking taylor expansion of (/ -1 l) in J 16.822 * [taylor]: Taking taylor expansion of -1 in J 16.822 * [taylor]: Taking taylor expansion of l in J 16.822 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J 16.822 * [taylor]: Taking taylor expansion of (/ 1 l) in J 16.822 * [taylor]: Taking taylor expansion of l in J 16.822 * [taylor]: Taking taylor expansion of J in J 16.822 * [taylor]: Taking taylor expansion of (* -1 (- (exp (/ -1 l)) (exp (/ 1 l)))) in l 16.822 * [taylor]: Taking taylor expansion of -1 in l 16.822 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l 16.822 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l 16.822 * [taylor]: Taking taylor expansion of (/ -1 l) in l 16.822 * [taylor]: Taking taylor expansion of -1 in l 16.822 * [taylor]: Taking taylor expansion of l in l 16.822 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 16.822 * [taylor]: Taking taylor expansion of (/ 1 l) in l 16.822 * [taylor]: Taking taylor expansion of l in l 16.823 * [taylor]: Taking taylor expansion of 0 in l 16.824 * [taylor]: Taking taylor expansion of 0 in l 16.825 * [taylor]: Taking taylor expansion of 0 in l 16.825 * * * [progress]: simplifying candidates 16.826 * [simplify]: Simplifying using # : (/ (exp (exp l)) (exp (exp (neg l)))) (log (- (exp l) (exp (neg l)))) (exp (- (exp l) (exp (neg l)))) (* (cbrt (- (exp l) (exp (neg l)))) (cbrt (- (exp l) (exp (neg l))))) (cbrt (- (exp l) (exp (neg l)))) (* (* (- (exp l) (exp (neg l))) (- (exp l) (exp (neg l)))) (- (exp l) (exp (neg l)))) (sqrt (- (exp l) (exp (neg l)))) (sqrt (- (exp l) (exp (neg l)))) (- (pow (exp l) 3) (pow (exp (neg l)) 3)) (+ (* (exp l) (exp l)) (+ (* (exp (neg l)) (exp (neg l))) (* (exp l) (exp (neg l))))) (neg (exp (neg l))) (- (* (exp l) (exp l)) (* (exp (neg l)) (exp (neg l)))) (+ (exp l) (exp (neg l))) (+ (sqrt (exp l)) (sqrt (exp (neg l)))) (- (sqrt (exp l)) (sqrt (exp (neg l)))) (- (exp l) (exp (neg l))) (neg (exp (neg l))) (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0))) (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0))) (+ (+ (log J) (log (- (exp l) (exp (neg l))))) (log (cos (/ K 2.0)))) (+ (log (* J (- (exp l) (exp (neg l))))) (log (cos (/ K 2.0)))) (log (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0)))) (exp (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0)))) (* (* (* (* J J) J) (* (* (- (exp l) (exp (neg l))) (- (exp l) (exp (neg l)))) (- (exp l) (exp (neg l))))) (* (* (cos (/ K 2.0)) (cos (/ K 2.0))) (cos (/ K 2.0)))) (* (* (* (* J (- (exp l) (exp (neg l)))) (* J (- (exp l) (exp (neg l))))) (* J (- (exp l) (exp (neg l))))) (* (* (cos (/ K 2.0)) (cos (/ K 2.0))) (cos (/ K 2.0)))) (* (cbrt (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0)))) (cbrt (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0))))) (cbrt (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0)))) (* (* (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0))) (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0)))) (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0)))) (sqrt (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0)))) (sqrt (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0)))) (* (* J (- (exp l) (exp (neg l)))) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0))))) (* (* J (- (exp l) (exp (neg l)))) (sqrt (cos (/ K 2.0)))) (* (* J (- (exp l) (exp (neg l)))) 1) (* (- (exp l) (exp (neg l))) (cos (/ K 2.0))) (* (* J (- (pow (exp l) 3) (pow (exp (neg l)) 3))) (cos (/ K 2.0))) (* (* J (- (* (exp l) (exp l)) (* (exp (neg l)) (exp (neg l))))) (cos (/ K 2.0))) (* J (- (exp l) (exp (neg l)))) (+ (log J) (log (- (exp l) (exp (neg l))))) (log (* J (- (exp l) (exp (neg l))))) (exp (* J (- (exp l) (exp (neg l))))) (* (* (* J J) J) (* (* (- (exp l) (exp (neg l))) (- (exp l) (exp (neg l)))) (- (exp l) (exp (neg l))))) (* (cbrt (* J (- (exp l) (exp (neg l))))) (cbrt (* J (- (exp l) (exp (neg l)))))) (cbrt (* J (- (exp l) (exp (neg l))))) (* (* (* J (- (exp l) (exp (neg l)))) (* J (- (exp l) (exp (neg l))))) (* J (- (exp l) (exp (neg l))))) (sqrt (* J (- (exp l) (exp (neg l))))) (sqrt (* J (- (exp l) (exp (neg l))))) (* (sqrt J) (sqrt (- (exp l) (exp (neg l))))) (* (sqrt J) (sqrt (- (exp l) (exp (neg l))))) (* J (exp l)) (* J (neg (exp (neg l)))) (* J (exp l)) (* J (neg (exp (neg l)))) (* (exp l) J) (* (neg (exp (neg l))) J) (* (exp l) J) (* (neg (exp (neg l))) J) (* J (* (cbrt (- (exp l) (exp (neg l)))) (cbrt (- (exp l) (exp (neg l)))))) (* J (sqrt (- (exp l) (exp (neg l))))) (* J 1) (* J (+ (sqrt (exp l)) (sqrt (exp (neg l))))) (* J 1) (* (cbrt J) (- (exp l) (exp (neg l)))) (* (sqrt J) (- (exp l) (exp (neg l)))) (* J (- (exp l) (exp (neg l)))) (* J (- (pow (exp l) 3) (pow (exp (neg l)) 3))) (* J (- (* (exp l) (exp l)) (* (exp (neg l)) (exp (neg l))))) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (- (exp l) (exp (neg l))) (- (exp l) (exp (* -1 l))) (* 2 (* J l)) (* (- (exp l) (exp (neg l))) (* J (cos (* 0.5 K)))) (* J (* (- (exp l) (exp (* -1 l))) (cos (* 0.5 K)))) (* 2 (* J l)) (* (- (exp l) (exp (neg l))) J) (* J (- (exp l) (exp (* -1 l)))) 16.827 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 16.828 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 16.829 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 16.831 * * [simplify]: iteration 3 : 21 enodes (cost 7 ) 16.833 * * [simplify]: iteration 4 : 23 enodes (cost 7 ) 16.835 * * [simplify]: iteration 5 : 27 enodes (cost 7 ) 16.838 * * [simplify]: iteration 6 : 31 enodes (cost 7 ) 16.842 * * [simplify]: iteration 7 : 47 enodes (cost 7 ) 16.847 * * [simplify]: iteration 8 : 51 enodes (cost 7 ) 16.853 * * [simplify]: iteration 9 : 56 enodes (cost 7 ) 16.859 * * [simplify]: iteration 10 : 63 enodes (cost 7 ) 16.867 * * [simplify]: iteration 11 : 81 enodes (cost 7 ) 16.878 * * [simplify]: iteration 12 : 102 enodes (cost 7 ) 16.897 * * [simplify]: iteration 13 : 114 enodes (cost 7 ) 16.912 * * [simplify]: iteration 14 : 119 enodes (cost 7 ) 16.926 * * [simplify]: iteration done : 119 enodes (cost 7 ) 16.927 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 16.928 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 16.929 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 16.930 * * [simplify]: iteration done : 16 enodes (cost 7 ) 16.931 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 16.931 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 16.933 * * [simplify]: iteration 2 : 21 enodes (cost 7 ) 16.935 * * [simplify]: iteration 3 : 23 enodes (cost 7 ) 16.937 * * [simplify]: iteration 4 : 27 enodes (cost 7 ) 16.939 * * [simplify]: iteration 5 : 31 enodes (cost 7 ) 16.947 * * [simplify]: iteration 6 : 47 enodes (cost 7 ) 16.953 * * [simplify]: iteration 7 : 53 enodes (cost 7 ) 16.958 * * [simplify]: iteration 8 : 58 enodes (cost 7 ) 16.965 * * [simplify]: iteration 9 : 65 enodes (cost 7 ) 16.974 * * [simplify]: iteration 10 : 84 enodes (cost 7 ) 16.984 * * [simplify]: iteration 11 : 105 enodes (cost 7 ) 16.997 * * [simplify]: iteration 12 : 117 enodes (cost 7 ) 17.015 * * [simplify]: iteration 13 : 122 enodes (cost 7 ) 17.029 * * [simplify]: iteration done : 122 enodes (cost 7 ) 17.030 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 17.031 * * [simplify]: iteration 1 : 11 enodes (cost 15 ) 17.032 * * [simplify]: iteration 2 : 17 enodes (cost 15 ) 17.033 * * [simplify]: iteration done : 17 enodes (cost 15 ) 17.034 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 17.034 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 17.035 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 17.037 * * [simplify]: iteration done : 16 enodes (cost 7 ) 17.037 * * [simplify]: iteration 0 : 7 enodes (cost 20 ) 17.038 * * [simplify]: iteration 1 : 12 enodes (cost 20 ) 17.040 * * [simplify]: iteration 2 : 32 enodes (cost 8 ) 17.045 * * [simplify]: iteration 3 : 83 enodes (cost 8 ) 17.068 * * [simplify]: iteration 4 : 245 enodes (cost 8 ) 17.225 * * [simplify]: iteration 5 : 792 enodes (cost 8 ) 19.293 * * [simplify]: iteration 6 : 3270 enodes (cost 8 ) 21.108 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 21.109 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 21.110 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 21.111 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 21.112 * * [simplify]: iteration done : 16 enodes (cost 7 ) 21.113 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 21.113 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 21.114 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 21.115 * * [simplify]: iteration done : 16 enodes (cost 7 ) 21.116 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 21.117 * * [simplify]: iteration 1 : 25 enodes (cost 10 ) 21.121 * * [simplify]: iteration 2 : 63 enodes (cost 10 ) 21.138 * * [simplify]: iteration 3 : 147 enodes (cost 10 ) 21.177 * * [simplify]: iteration 4 : 334 enodes (cost 10 ) 21.308 * * [simplify]: iteration 5 : 887 enodes (cost 9 ) 22.600 * * [simplify]: iteration 6 : 3788 enodes (cost 9 ) 24.494 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 24.495 * * [simplify]: iteration 0 : 9 enodes (cost 20 ) 24.496 * * [simplify]: iteration 1 : 24 enodes (cost 15 ) 24.500 * * [simplify]: iteration 2 : 51 enodes (cost 12 ) 24.508 * * [simplify]: iteration 3 : 71 enodes (cost 11 ) 24.528 * * [simplify]: iteration 4 : 127 enodes (cost 11 ) 24.563 * * [simplify]: iteration 5 : 200 enodes (cost 11 ) 24.630 * * [simplify]: iteration 6 : 358 enodes (cost 11 ) 24.853 * * [simplify]: iteration 7 : 777 enodes (cost 11 ) 25.791 * * [simplify]: iteration 8 : 2083 enodes (cost 11 ) 27.912 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 27.913 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 27.913 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 27.914 * * [simplify]: iteration 2 : 12 enodes (cost 4 ) 27.915 * * [simplify]: iteration done : 12 enodes (cost 4 ) 27.916 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 27.917 * * [simplify]: iteration 1 : 18 enodes (cost 11 ) 27.919 * * [simplify]: iteration 2 : 36 enodes (cost 10 ) 27.924 * * [simplify]: iteration 3 : 75 enodes (cost 9 ) 27.944 * * [simplify]: iteration 4 : 151 enodes (cost 9 ) 27.977 * * [simplify]: iteration 5 : 309 enodes (cost 9 ) 28.182 * * [simplify]: iteration 6 : 708 enodes (cost 9 ) 28.621 * * [simplify]: iteration 7 : 1676 enodes (cost 9 ) 30.618 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 30.619 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 30.619 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 30.620 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 30.621 * * [simplify]: iteration done : 10 enodes (cost 6 ) 30.621 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 30.622 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 30.623 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 30.624 * * [simplify]: iteration done : 12 enodes (cost 8 ) 30.625 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 30.625 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 30.626 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 30.627 * * [simplify]: iteration done : 14 enodes (cost 8 ) 30.628 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 30.629 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 30.630 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 30.631 * * [simplify]: iteration done : 15 enodes (cost 6 ) 30.632 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 30.632 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 30.633 * * [simplify]: iteration 2 : 12 enodes (cost 4 ) 30.634 * * [simplify]: iteration done : 12 enodes (cost 4 ) 30.634 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 30.636 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 30.638 * * [simplify]: iteration 2 : 38 enodes (cost 13 ) 30.648 * * [simplify]: iteration 3 : 69 enodes (cost 13 ) 30.659 * * [simplify]: iteration 4 : 110 enodes (cost 13 ) 30.681 * * [simplify]: iteration 5 : 169 enodes (cost 13 ) 30.737 * * [simplify]: iteration 6 : 239 enodes (cost 13 ) 30.803 * * [simplify]: iteration 7 : 335 enodes (cost 13 ) 30.925 * * [simplify]: iteration 8 : 419 enodes (cost 13 ) 31.049 * * [simplify]: iteration 9 : 634 enodes (cost 13 ) 31.800 * * [simplify]: iteration 10 : 1353 enodes (cost 13 ) 32.396 * * [simplify]: iteration 11 : 1471 enodes (cost 13 ) 32.857 * * [simplify]: iteration 12 : 1507 enodes (cost 13 ) 33.385 * * [simplify]: iteration 13 : 1626 enodes (cost 13 ) 33.889 * * [simplify]: iteration 14 : 1644 enodes (cost 13 ) 34.384 * * [simplify]: iteration done : 1644 enodes (cost 13 ) 34.385 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 34.386 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 34.389 * * [simplify]: iteration 2 : 38 enodes (cost 13 ) 34.394 * * [simplify]: iteration 3 : 69 enodes (cost 13 ) 34.410 * * [simplify]: iteration 4 : 110 enodes (cost 13 ) 34.432 * * [simplify]: iteration 5 : 169 enodes (cost 13 ) 34.486 * * [simplify]: iteration 6 : 239 enodes (cost 13 ) 34.552 * * [simplify]: iteration 7 : 335 enodes (cost 13 ) 34.669 * * [simplify]: iteration 8 : 419 enodes (cost 13 ) 34.794 * * [simplify]: iteration 9 : 634 enodes (cost 13 ) 35.541 * * [simplify]: iteration 10 : 1353 enodes (cost 13 ) 36.122 * * [simplify]: iteration 11 : 1471 enodes (cost 13 ) 36.588 * * [simplify]: iteration 12 : 1507 enodes (cost 13 ) 37.117 * * [simplify]: iteration 13 : 1626 enodes (cost 13 ) 37.625 * * [simplify]: iteration 14 : 1644 enodes (cost 13 ) 38.336 * * [simplify]: iteration done : 1644 enodes (cost 13 ) 38.337 * * [simplify]: iteration 0 : 15 enodes (cost 16 ) 38.339 * * [simplify]: iteration 1 : 23 enodes (cost 16 ) 38.341 * * [simplify]: iteration 2 : 35 enodes (cost 16 ) 38.344 * * [simplify]: iteration done : 35 enodes (cost 16 ) 38.345 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 38.347 * * [simplify]: iteration 1 : 23 enodes (cost 15 ) 38.349 * * [simplify]: iteration 2 : 40 enodes (cost 15 ) 38.358 * * [simplify]: iteration 3 : 53 enodes (cost 15 ) 38.364 * * [simplify]: iteration 4 : 65 enodes (cost 15 ) 38.373 * * [simplify]: iteration 5 : 83 enodes (cost 15 ) 38.386 * * [simplify]: iteration 6 : 97 enodes (cost 15 ) 38.396 * * [simplify]: iteration 7 : 114 enodes (cost 15 ) 38.416 * * [simplify]: iteration 8 : 120 enodes (cost 15 ) 38.433 * * [simplify]: iteration 9 : 128 enodes (cost 15 ) 38.451 * * [simplify]: iteration 10 : 136 enodes (cost 15 ) 38.472 * * [simplify]: iteration done : 136 enodes (cost 15 ) 38.473 * * [simplify]: iteration 0 : 13 enodes (cost 14 ) 38.474 * * [simplify]: iteration 1 : 24 enodes (cost 14 ) 38.477 * * [simplify]: iteration 2 : 49 enodes (cost 14 ) 38.484 * * [simplify]: iteration 3 : 92 enodes (cost 14 ) 38.497 * * [simplify]: iteration 4 : 133 enodes (cost 14 ) 38.520 * * [simplify]: iteration 5 : 192 enodes (cost 14 ) 38.577 * * [simplify]: iteration 6 : 264 enodes (cost 14 ) 38.647 * * [simplify]: iteration 7 : 365 enodes (cost 14 ) 38.770 * * [simplify]: iteration 8 : 473 enodes (cost 14 ) 38.906 * * [simplify]: iteration 9 : 722 enodes (cost 14 ) 39.651 * * [simplify]: iteration 10 : 1440 enodes (cost 14 ) 40.252 * * [simplify]: iteration 11 : 1545 enodes (cost 14 ) 40.749 * * [simplify]: iteration 12 : 1646 enodes (cost 14 ) 41.343 * * [simplify]: iteration 13 : 1889 enodes (cost 14 ) 42.005 * * [simplify]: iteration 14 : 2005 enodes (cost 14 ) 42.580 * * [simplify]: iteration done : 2005 enodes (cost 14 ) 42.581 * * [simplify]: iteration 0 : 13 enodes (cost 14 ) 42.583 * * [simplify]: iteration 1 : 23 enodes (cost 14 ) 42.586 * * [simplify]: iteration 2 : 52 enodes (cost 14 ) 42.593 * * [simplify]: iteration 3 : 114 enodes (cost 14 ) 42.611 * * [simplify]: iteration 4 : 230 enodes (cost 14 ) 42.664 * * [simplify]: iteration 5 : 486 enodes (cost 14 ) 42.903 * * [simplify]: iteration 6 : 1143 enodes (cost 14 ) 44.300 * * [simplify]: iteration 7 : 4008 enodes (cost 14 ) 45.313 * * [simplify]: iteration done : 5001 enodes (cost 14 ) 45.314 * * [simplify]: iteration 0 : 18 enodes (cost 41 ) 45.316 * * [simplify]: iteration 1 : 35 enodes (cost 41 ) 45.323 * * [simplify]: iteration 2 : 124 enodes (cost 19 ) 45.372 * * [simplify]: iteration 3 : 548 enodes (cost 19 ) 45.881 * * [simplify]: iteration 4 : 2541 enodes (cost 17 ) 47.062 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 47.062 * * [simplify]: iteration 0 : 16 enodes (cost 41 ) 47.065 * * [simplify]: iteration 1 : 37 enodes (cost 41 ) 47.078 * * [simplify]: iteration 2 : 134 enodes (cost 17 ) 47.138 * * [simplify]: iteration 3 : 629 enodes (cost 17 ) 47.851 * * [simplify]: iteration 4 : 2808 enodes (cost 15 ) 49.150 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 49.151 * * [simplify]: iteration 0 : 14 enodes (cost 29 ) 49.153 * * [simplify]: iteration 1 : 22 enodes (cost 29 ) 49.156 * * [simplify]: iteration 2 : 40 enodes (cost 29 ) 49.161 * * [simplify]: iteration 3 : 71 enodes (cost 29 ) 49.171 * * [simplify]: iteration 4 : 112 enodes (cost 29 ) 49.198 * * [simplify]: iteration 5 : 171 enodes (cost 29 ) 49.253 * * [simplify]: iteration 6 : 243 enodes (cost 29 ) 49.318 * * [simplify]: iteration 7 : 339 enodes (cost 29 ) 49.436 * * [simplify]: iteration 8 : 420 enodes (cost 29 ) 49.558 * * [simplify]: iteration 9 : 635 enodes (cost 29 ) 50.288 * * [simplify]: iteration 10 : 1343 enodes (cost 29 ) 50.886 * * [simplify]: iteration 11 : 1479 enodes (cost 29 ) 51.346 * * [simplify]: iteration 12 : 1515 enodes (cost 29 ) 51.873 * * [simplify]: iteration 13 : 1636 enodes (cost 29 ) 52.375 * * [simplify]: iteration 14 : 1653 enodes (cost 29 ) 52.867 * * [simplify]: iteration done : 1653 enodes (cost 29 ) 52.868 * * [simplify]: iteration 0 : 13 enodes (cost 14 ) 52.869 * * [simplify]: iteration 1 : 21 enodes (cost 14 ) 52.872 * * [simplify]: iteration 2 : 39 enodes (cost 14 ) 52.881 * * [simplify]: iteration 3 : 70 enodes (cost 14 ) 52.892 * * [simplify]: iteration 4 : 111 enodes (cost 14 ) 52.914 * * [simplify]: iteration 5 : 170 enodes (cost 14 ) 52.968 * * [simplify]: iteration 6 : 244 enodes (cost 14 ) 53.032 * * [simplify]: iteration 7 : 340 enodes (cost 14 ) 53.152 * * [simplify]: iteration 8 : 420 enodes (cost 14 ) 53.287 * * [simplify]: iteration 9 : 635 enodes (cost 14 ) 54.031 * * [simplify]: iteration 10 : 1355 enodes (cost 14 ) 54.599 * * [simplify]: iteration 11 : 1459 enodes (cost 14 ) 55.067 * * [simplify]: iteration 12 : 1495 enodes (cost 14 ) 55.602 * * [simplify]: iteration 13 : 1607 enodes (cost 14 ) 56.109 * * [simplify]: iteration 14 : 1626 enodes (cost 14 ) 56.605 * * [simplify]: iteration done : 1626 enodes (cost 14 ) 56.606 * * [simplify]: iteration 0 : 14 enodes (cost 41 ) 56.608 * * [simplify]: iteration 1 : 32 enodes (cost 41 ) 56.614 * * [simplify]: iteration 2 : 114 enodes (cost 15 ) 56.675 * * [simplify]: iteration 3 : 593 enodes (cost 15 ) 57.537 * * [simplify]: iteration 4 : 2885 enodes (cost 15 ) 59.200 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 59.201 * * [simplify]: iteration 0 : 13 enodes (cost 14 ) 59.202 * * [simplify]: iteration 1 : 21 enodes (cost 14 ) 59.205 * * [simplify]: iteration 2 : 39 enodes (cost 14 ) 59.210 * * [simplify]: iteration 3 : 70 enodes (cost 14 ) 59.221 * * [simplify]: iteration 4 : 111 enodes (cost 14 ) 59.246 * * [simplify]: iteration 5 : 170 enodes (cost 14 ) 59.300 * * [simplify]: iteration 6 : 244 enodes (cost 14 ) 59.365 * * [simplify]: iteration 7 : 340 enodes (cost 14 ) 59.483 * * [simplify]: iteration 8 : 420 enodes (cost 14 ) 59.606 * * [simplify]: iteration 9 : 635 enodes (cost 14 ) 60.366 * * [simplify]: iteration 10 : 1355 enodes (cost 14 ) 60.957 * * [simplify]: iteration 11 : 1459 enodes (cost 14 ) 61.431 * * [simplify]: iteration 12 : 1495 enodes (cost 14 ) 61.977 * * [simplify]: iteration 13 : 1607 enodes (cost 14 ) 62.485 * * [simplify]: iteration 14 : 1626 enodes (cost 14 ) 62.986 * * [simplify]: iteration done : 1626 enodes (cost 14 ) 62.987 * * [simplify]: iteration 0 : 13 enodes (cost 14 ) 62.988 * * [simplify]: iteration 1 : 21 enodes (cost 14 ) 62.995 * * [simplify]: iteration 2 : 39 enodes (cost 14 ) 63.001 * * [simplify]: iteration 3 : 70 enodes (cost 14 ) 63.012 * * [simplify]: iteration 4 : 111 enodes (cost 14 ) 63.034 * * [simplify]: iteration 5 : 170 enodes (cost 14 ) 63.089 * * [simplify]: iteration 6 : 244 enodes (cost 14 ) 63.156 * * [simplify]: iteration 7 : 340 enodes (cost 14 ) 63.277 * * [simplify]: iteration 8 : 420 enodes (cost 14 ) 63.400 * * [simplify]: iteration 9 : 635 enodes (cost 14 ) 64.139 * * [simplify]: iteration 10 : 1355 enodes (cost 14 ) 64.713 * * [simplify]: iteration 11 : 1459 enodes (cost 14 ) 65.189 * * [simplify]: iteration 12 : 1495 enodes (cost 14 ) 65.709 * * [simplify]: iteration 13 : 1607 enodes (cost 14 ) 66.208 * * [simplify]: iteration 14 : 1626 enodes (cost 14 ) 66.699 * * [simplify]: iteration done : 1626 enodes (cost 14 ) 66.700 * * [simplify]: iteration 0 : 14 enodes (cost 20 ) 66.702 * * [simplify]: iteration 1 : 24 enodes (cost 20 ) 66.705 * * [simplify]: iteration 2 : 49 enodes (cost 20 ) 66.712 * * [simplify]: iteration 3 : 98 enodes (cost 20 ) 66.734 * * [simplify]: iteration 4 : 178 enodes (cost 20 ) 66.783 * * [simplify]: iteration 5 : 294 enodes (cost 20 ) 66.919 * * [simplify]: iteration 6 : 490 enodes (cost 20 ) 67.167 * * [simplify]: iteration 7 : 779 enodes (cost 20 ) 67.484 * * [simplify]: iteration 8 : 938 enodes (cost 20 ) 67.867 * * [simplify]: iteration 9 : 1428 enodes (cost 20 ) 71.198 * * [simplify]: iteration 10 : 3513 enodes (cost 20 ) 73.474 * * [simplify]: iteration 11 : 3797 enodes (cost 20 ) 75.183 * * [simplify]: iteration 12 : 3878 enodes (cost 20 ) 77.114 * * [simplify]: iteration 13 : 4138 enodes (cost 20 ) 78.950 * * [simplify]: iteration 14 : 4176 enodes (cost 20 ) 80.786 * * [simplify]: iteration done : 4176 enodes (cost 20 ) 80.787 * * [simplify]: iteration 0 : 13 enodes (cost 14 ) 80.789 * * [simplify]: iteration 1 : 21 enodes (cost 14 ) 80.791 * * [simplify]: iteration 2 : 39 enodes (cost 14 ) 80.796 * * [simplify]: iteration 3 : 70 enodes (cost 14 ) 80.807 * * [simplify]: iteration 4 : 111 enodes (cost 14 ) 80.829 * * [simplify]: iteration 5 : 170 enodes (cost 14 ) 80.884 * * [simplify]: iteration 6 : 244 enodes (cost 14 ) 80.948 * * [simplify]: iteration 7 : 339 enodes (cost 14 ) 81.067 * * [simplify]: iteration 8 : 410 enodes (cost 14 ) 81.188 * * [simplify]: iteration 9 : 625 enodes (cost 14 ) 81.928 * * [simplify]: iteration 10 : 1340 enodes (cost 14 ) 82.542 * * [simplify]: iteration 11 : 1470 enodes (cost 14 ) 83.017 * * [simplify]: iteration 12 : 1506 enodes (cost 14 ) 83.560 * * [simplify]: iteration 13 : 1621 enodes (cost 14 ) 84.077 * * [simplify]: iteration 14 : 1638 enodes (cost 14 ) 84.818 * * [simplify]: iteration done : 1638 enodes (cost 14 ) 84.819 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 84.820 * * [simplify]: iteration 1 : 18 enodes (cost 8 ) 84.822 * * [simplify]: iteration 2 : 40 enodes (cost 8 ) 84.829 * * [simplify]: iteration 3 : 79 enodes (cost 8 ) 84.842 * * [simplify]: iteration 4 : 117 enodes (cost 8 ) 84.865 * * [simplify]: iteration 5 : 159 enodes (cost 8 ) 84.918 * * [simplify]: iteration 6 : 256 enodes (cost 8 ) 84.965 * * [simplify]: iteration 7 : 309 enodes (cost 8 ) 85.061 * * [simplify]: iteration 8 : 373 enodes (cost 8 ) 85.123 * * [simplify]: iteration 9 : 383 enodes (cost 8 ) 85.187 * * [simplify]: iteration done : 383 enodes (cost 8 ) 85.188 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 85.189 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 85.190 * * [simplify]: iteration 2 : 27 enodes (cost 11 ) 85.193 * * [simplify]: iteration 3 : 36 enodes (cost 11 ) 85.197 * * [simplify]: iteration 4 : 48 enodes (cost 11 ) 85.210 * * [simplify]: iteration 5 : 66 enodes (cost 11 ) 85.224 * * [simplify]: iteration 6 : 119 enodes (cost 11 ) 85.250 * * [simplify]: iteration 7 : 151 enodes (cost 11 ) 85.280 * * [simplify]: iteration 8 : 204 enodes (cost 11 ) 85.356 * * [simplify]: iteration 9 : 331 enodes (cost 11 ) 85.449 * * [simplify]: iteration 10 : 367 enodes (cost 11 ) 85.519 * * [simplify]: iteration 11 : 377 enodes (cost 11 ) 85.598 * * [simplify]: iteration 12 : 411 enodes (cost 11 ) 85.681 * * [simplify]: iteration 13 : 419 enodes (cost 11 ) 85.757 * * [simplify]: iteration done : 419 enodes (cost 11 ) 85.757 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 85.760 * * [simplify]: iteration 1 : 36 enodes (cost 17 ) 85.765 * * [simplify]: iteration 2 : 86 enodes (cost 17 ) 85.782 * * [simplify]: iteration 3 : 245 enodes (cost 17 ) 85.885 * * [simplify]: iteration 4 : 830 enodes (cost 17 ) 86.770 * * [simplify]: iteration 5 : 3114 enodes (cost 16 ) 88.153 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 88.154 * * [simplify]: iteration 0 : 14 enodes (cost 20 ) 88.156 * * [simplify]: iteration 1 : 29 enodes (cost 18 ) 88.167 * * [simplify]: iteration 2 : 65 enodes (cost 17 ) 88.179 * * [simplify]: iteration 3 : 179 enodes (cost 16 ) 88.246 * * [simplify]: iteration 4 : 526 enodes (cost 16 ) 88.538 * * [simplify]: iteration 5 : 1376 enodes (cost 16 ) 90.808 * * [simplify]: iteration 6 : 3749 enodes (cost 16 ) 92.038 * * [simplify]: iteration done : 5001 enodes (cost 16 ) 92.039 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 92.039 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 92.041 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 92.052 * * [simplify]: iteration 3 : 33 enodes (cost 8 ) 92.056 * * [simplify]: iteration 4 : 45 enodes (cost 8 ) 92.063 * * [simplify]: iteration 5 : 63 enodes (cost 8 ) 92.073 * * [simplify]: iteration 6 : 75 enodes (cost 8 ) 92.082 * * [simplify]: iteration 7 : 92 enodes (cost 8 ) 92.095 * * [simplify]: iteration 8 : 99 enodes (cost 8 ) 92.114 * * [simplify]: iteration 9 : 107 enodes (cost 8 ) 92.132 * * [simplify]: iteration 10 : 115 enodes (cost 8 ) 92.146 * * [simplify]: iteration done : 115 enodes (cost 8 ) 92.147 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 92.148 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 92.149 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 92.151 * * [simplify]: iteration done : 20 enodes (cost 10 ) 92.152 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 92.153 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 92.154 * * [simplify]: iteration 2 : 29 enodes (cost 9 ) 92.157 * * [simplify]: iteration 3 : 38 enodes (cost 9 ) 92.161 * * [simplify]: iteration 4 : 50 enodes (cost 9 ) 92.174 * * [simplify]: iteration 5 : 68 enodes (cost 9 ) 92.184 * * [simplify]: iteration 6 : 80 enodes (cost 9 ) 92.193 * * [simplify]: iteration 7 : 97 enodes (cost 9 ) 92.207 * * [simplify]: iteration 8 : 103 enodes (cost 9 ) 92.222 * * [simplify]: iteration 9 : 111 enodes (cost 9 ) 92.244 * * [simplify]: iteration 10 : 119 enodes (cost 9 ) 92.259 * * [simplify]: iteration done : 119 enodes (cost 9 ) 92.260 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 92.261 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 92.263 * * [simplify]: iteration 2 : 33 enodes (cost 9 ) 92.267 * * [simplify]: iteration 3 : 62 enodes (cost 9 ) 92.275 * * [simplify]: iteration 4 : 112 enodes (cost 9 ) 92.299 * * [simplify]: iteration 5 : 237 enodes (cost 9 ) 92.392 * * [simplify]: iteration 6 : 521 enodes (cost 9 ) 92.749 * * [simplify]: iteration 7 : 1570 enodes (cost 9 ) 93.848 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 93.849 * * [simplify]: iteration 0 : 11 enodes (cost 26 ) 93.850 * * [simplify]: iteration 1 : 22 enodes (cost 26 ) 93.854 * * [simplify]: iteration 2 : 71 enodes (cost 12 ) 93.878 * * [simplify]: iteration 3 : 259 enodes (cost 12 ) 94.009 * * [simplify]: iteration 4 : 1008 enodes (cost 10 ) 95.690 * * [simplify]: iteration 5 : 4050 enodes (cost 10 ) 97.473 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 97.473 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 97.474 * * [simplify]: iteration 1 : 14 enodes (cost 19 ) 97.476 * * [simplify]: iteration 2 : 26 enodes (cost 19 ) 97.479 * * [simplify]: iteration 3 : 35 enodes (cost 19 ) 97.483 * * [simplify]: iteration 4 : 47 enodes (cost 19 ) 97.490 * * [simplify]: iteration 5 : 65 enodes (cost 19 ) 97.506 * * [simplify]: iteration 6 : 79 enodes (cost 19 ) 97.515 * * [simplify]: iteration 7 : 96 enodes (cost 19 ) 97.529 * * [simplify]: iteration 8 : 103 enodes (cost 19 ) 97.543 * * [simplify]: iteration 9 : 111 enodes (cost 19 ) 97.566 * * [simplify]: iteration 10 : 119 enodes (cost 19 ) 97.580 * * [simplify]: iteration done : 119 enodes (cost 19 ) 97.581 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 97.582 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 97.583 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 97.586 * * [simplify]: iteration 3 : 34 enodes (cost 9 ) 97.590 * * [simplify]: iteration 4 : 46 enodes (cost 9 ) 97.597 * * [simplify]: iteration 5 : 64 enodes (cost 9 ) 97.607 * * [simplify]: iteration 6 : 76 enodes (cost 9 ) 97.621 * * [simplify]: iteration 7 : 93 enodes (cost 9 ) 97.635 * * [simplify]: iteration 8 : 100 enodes (cost 9 ) 97.650 * * [simplify]: iteration 9 : 108 enodes (cost 9 ) 97.667 * * [simplify]: iteration 10 : 116 enodes (cost 9 ) 97.686 * * [simplify]: iteration done : 116 enodes (cost 9 ) 97.687 * * [simplify]: iteration 0 : 9 enodes (cost 26 ) 97.688 * * [simplify]: iteration 1 : 24 enodes (cost 26 ) 97.692 * * [simplify]: iteration 2 : 83 enodes (cost 10 ) 97.716 * * [simplify]: iteration 3 : 292 enodes (cost 10 ) 97.884 * * [simplify]: iteration 4 : 1009 enodes (cost 10 ) 99.518 * * [simplify]: iteration 5 : 3583 enodes (cost 10 ) 101.149 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 101.150 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 101.151 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 101.152 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 101.155 * * [simplify]: iteration 3 : 34 enodes (cost 9 ) 101.159 * * [simplify]: iteration 4 : 46 enodes (cost 9 ) 101.165 * * [simplify]: iteration 5 : 64 enodes (cost 9 ) 101.182 * * [simplify]: iteration 6 : 76 enodes (cost 9 ) 101.191 * * [simplify]: iteration 7 : 93 enodes (cost 9 ) 101.205 * * [simplify]: iteration 8 : 100 enodes (cost 9 ) 101.219 * * [simplify]: iteration 9 : 108 enodes (cost 9 ) 101.241 * * [simplify]: iteration 10 : 116 enodes (cost 9 ) 101.256 * * [simplify]: iteration done : 116 enodes (cost 9 ) 101.257 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 101.258 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 101.259 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 101.262 * * [simplify]: iteration 3 : 34 enodes (cost 9 ) 101.266 * * [simplify]: iteration 4 : 46 enodes (cost 9 ) 101.272 * * [simplify]: iteration 5 : 64 enodes (cost 9 ) 101.282 * * [simplify]: iteration 6 : 76 enodes (cost 9 ) 101.292 * * [simplify]: iteration 7 : 93 enodes (cost 9 ) 101.311 * * [simplify]: iteration 8 : 100 enodes (cost 9 ) 101.325 * * [simplify]: iteration 9 : 108 enodes (cost 9 ) 101.342 * * [simplify]: iteration 10 : 116 enodes (cost 9 ) 101.363 * * [simplify]: iteration done : 116 enodes (cost 9 ) 101.364 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 101.365 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 101.367 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 101.368 * * [simplify]: iteration done : 20 enodes (cost 10 ) 101.369 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 101.370 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 101.371 * * [simplify]: iteration 2 : 20 enodes (cost 10 ) 101.373 * * [simplify]: iteration done : 20 enodes (cost 10 ) 101.373 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 101.374 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 101.374 * * [simplify]: iteration done : 5 enodes (cost 4 ) 101.375 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 101.376 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 101.377 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 101.380 * * [simplify]: iteration 3 : 34 enodes (cost 5 ) 101.384 * * [simplify]: iteration 4 : 41 enodes (cost 5 ) 101.389 * * [simplify]: iteration 5 : 66 enodes (cost 5 ) 101.400 * * [simplify]: iteration 6 : 73 enodes (cost 5 ) 101.411 * * [simplify]: iteration 7 : 77 enodes (cost 5 ) 101.430 * * [simplify]: iteration 8 : 79 enodes (cost 5 ) 101.441 * * [simplify]: iteration done : 79 enodes (cost 5 ) 101.441 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 101.442 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 101.442 * * [simplify]: iteration done : 5 enodes (cost 4 ) 101.443 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 101.444 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 101.445 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 101.448 * * [simplify]: iteration 3 : 34 enodes (cost 5 ) 101.452 * * [simplify]: iteration 4 : 41 enodes (cost 5 ) 101.458 * * [simplify]: iteration 5 : 66 enodes (cost 5 ) 101.468 * * [simplify]: iteration 6 : 73 enodes (cost 5 ) 101.486 * * [simplify]: iteration 7 : 77 enodes (cost 5 ) 101.497 * * [simplify]: iteration 8 : 79 enodes (cost 5 ) 101.508 * * [simplify]: iteration done : 79 enodes (cost 5 ) 101.509 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 101.509 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 101.510 * * [simplify]: iteration done : 5 enodes (cost 4 ) 101.511 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 101.511 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 101.513 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 101.515 * * [simplify]: iteration 3 : 34 enodes (cost 5 ) 101.519 * * [simplify]: iteration 4 : 40 enodes (cost 5 ) 101.525 * * [simplify]: iteration 5 : 65 enodes (cost 5 ) 101.545 * * [simplify]: iteration 6 : 92 enodes (cost 5 ) 101.559 * * [simplify]: iteration 7 : 95 enodes (cost 5 ) 101.570 * * [simplify]: iteration done : 95 enodes (cost 5 ) 101.570 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 101.571 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 101.571 * * [simplify]: iteration done : 5 enodes (cost 4 ) 101.572 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 101.573 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 101.574 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 101.577 * * [simplify]: iteration 3 : 34 enodes (cost 5 ) 101.581 * * [simplify]: iteration 4 : 40 enodes (cost 5 ) 101.586 * * [simplify]: iteration 5 : 65 enodes (cost 5 ) 101.607 * * [simplify]: iteration 6 : 92 enodes (cost 5 ) 101.621 * * [simplify]: iteration 7 : 95 enodes (cost 5 ) 101.632 * * [simplify]: iteration done : 95 enodes (cost 5 ) 101.633 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 101.634 * * [simplify]: iteration 1 : 16 enodes (cost 17 ) 101.636 * * [simplify]: iteration 2 : 24 enodes (cost 17 ) 101.638 * * [simplify]: iteration done : 24 enodes (cost 17 ) 101.639 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 101.640 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 101.641 * * [simplify]: iteration 2 : 19 enodes (cost 9 ) 101.642 * * [simplify]: iteration done : 19 enodes (cost 9 ) 101.643 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 101.643 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 101.644 * * [simplify]: iteration done : 6 enodes (cost 1 ) 101.644 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 101.645 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 101.647 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 101.649 * * [simplify]: iteration done : 22 enodes (cost 10 ) 101.650 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 101.650 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 101.651 * * [simplify]: iteration done : 6 enodes (cost 1 ) 101.651 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 101.652 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 101.654 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 101.657 * * [simplify]: iteration 3 : 34 enodes (cost 9 ) 101.660 * * [simplify]: iteration 4 : 46 enodes (cost 9 ) 101.673 * * [simplify]: iteration 5 : 64 enodes (cost 9 ) 101.687 * * [simplify]: iteration 6 : 117 enodes (cost 9 ) 101.711 * * [simplify]: iteration 7 : 147 enodes (cost 9 ) 101.740 * * [simplify]: iteration 8 : 200 enodes (cost 9 ) 101.814 * * [simplify]: iteration 9 : 328 enodes (cost 9 ) 101.901 * * [simplify]: iteration 10 : 354 enodes (cost 9 ) 101.971 * * [simplify]: iteration 11 : 364 enodes (cost 9 ) 102.047 * * [simplify]: iteration 12 : 398 enodes (cost 9 ) 102.127 * * [simplify]: iteration 13 : 405 enodes (cost 9 ) 102.202 * * [simplify]: iteration done : 405 enodes (cost 9 ) 102.203 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 102.204 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 102.205 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 102.208 * * [simplify]: iteration 3 : 34 enodes (cost 9 ) 102.212 * * [simplify]: iteration 4 : 46 enodes (cost 9 ) 102.218 * * [simplify]: iteration 5 : 64 enodes (cost 9 ) 102.238 * * [simplify]: iteration 6 : 117 enodes (cost 9 ) 102.263 * * [simplify]: iteration 7 : 147 enodes (cost 9 ) 102.286 * * [simplify]: iteration 8 : 200 enodes (cost 9 ) 102.365 * * [simplify]: iteration 9 : 328 enodes (cost 9 ) 102.449 * * [simplify]: iteration 10 : 354 enodes (cost 9 ) 102.523 * * [simplify]: iteration 11 : 364 enodes (cost 9 ) 102.599 * * [simplify]: iteration 12 : 398 enodes (cost 9 ) 102.675 * * [simplify]: iteration 13 : 405 enodes (cost 9 ) 102.754 * * [simplify]: iteration done : 405 enodes (cost 9 ) 102.755 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 102.756 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 102.757 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 102.759 * * [simplify]: iteration 3 : 33 enodes (cost 8 ) 102.763 * * [simplify]: iteration 4 : 45 enodes (cost 8 ) 102.770 * * [simplify]: iteration 5 : 63 enodes (cost 8 ) 102.780 * * [simplify]: iteration 6 : 75 enodes (cost 8 ) 102.789 * * [simplify]: iteration 7 : 92 enodes (cost 8 ) 102.808 * * [simplify]: iteration 8 : 99 enodes (cost 8 ) 102.821 * * [simplify]: iteration 9 : 107 enodes (cost 8 ) 102.839 * * [simplify]: iteration 10 : 115 enodes (cost 8 ) 102.854 * * [simplify]: iteration done : 115 enodes (cost 8 ) 102.854 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 102.856 * * [simplify]: iteration 1 : 28 enodes (cost 12 ) 102.860 * * [simplify]: iteration 2 : 72 enodes (cost 12 ) 102.879 * * [simplify]: iteration 3 : 201 enodes (cost 12 ) 102.952 * * [simplify]: iteration 4 : 551 enodes (cost 12 ) 103.384 * * [simplify]: iteration 5 : 1680 enodes (cost 11 ) 105.422 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 105.423 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 105.424 * * [simplify]: iteration 1 : 21 enodes (cost 13 ) 105.427 * * [simplify]: iteration 2 : 49 enodes (cost 12 ) 105.442 * * [simplify]: iteration 3 : 119 enodes (cost 11 ) 105.474 * * [simplify]: iteration 4 : 292 enodes (cost 11 ) 105.597 * * [simplify]: iteration 5 : 673 enodes (cost 11 ) 106.237 * * [simplify]: iteration 6 : 1544 enodes (cost 11 ) 108.084 * * [simplify]: iteration 7 : 4460 enodes (cost 11 ) 109.528 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 109.528 * * [simplify]: iteration 0 : 13 enodes (cost 15 ) 109.530 * * [simplify]: iteration 1 : 31 enodes (cost 15 ) 109.534 * * [simplify]: iteration 2 : 65 enodes (cost 15 ) 109.545 * * [simplify]: iteration 3 : 109 enodes (cost 15 ) 109.565 * * [simplify]: iteration 4 : 203 enodes (cost 15 ) 109.637 * * [simplify]: iteration 5 : 493 enodes (cost 15 ) 110.065 * * [simplify]: iteration 6 : 1533 enodes (cost 15 ) 111.795 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 111.795 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 111.796 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 111.797 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 111.798 * * [simplify]: iteration done : 15 enodes (cost 6 ) 111.799 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 111.800 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 111.801 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 111.803 * * [simplify]: iteration 3 : 36 enodes (cost 6 ) 111.808 * * [simplify]: iteration 4 : 70 enodes (cost 6 ) 111.827 * * [simplify]: iteration 5 : 147 enodes (cost 6 ) 111.882 * * [simplify]: iteration 6 : 378 enodes (cost 6 ) 112.173 * * [simplify]: iteration 7 : 1201 enodes (cost 6 ) 115.003 * * [simplify]: iteration 8 : 4523 enodes (cost 6 ) 117.113 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 117.114 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 117.115 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 117.116 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 117.118 * * [simplify]: iteration done : 15 enodes (cost 5 ) 117.118 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 117.120 * * [simplify]: iteration 1 : 21 enodes (cost 13 ) 117.122 * * [simplify]: iteration 2 : 39 enodes (cost 13 ) 117.127 * * [simplify]: iteration 3 : 72 enodes (cost 13 ) 117.146 * * [simplify]: iteration 4 : 114 enodes (cost 13 ) 117.170 * * [simplify]: iteration 5 : 194 enodes (cost 13 ) 117.272 * * [simplify]: iteration 6 : 411 enodes (cost 13 ) 117.386 * * [simplify]: iteration 7 : 510 enodes (cost 13 ) 117.515 * * [simplify]: iteration 8 : 671 enodes (cost 13 ) 118.128 * * [simplify]: iteration 9 : 1318 enodes (cost 13 ) 118.927 * * [simplify]: iteration 10 : 1560 enodes (cost 13 ) 119.406 * * [simplify]: iteration 11 : 1596 enodes (cost 13 ) 119.955 * * [simplify]: iteration 12 : 1720 enodes (cost 13 ) 120.484 * * [simplify]: iteration 13 : 1739 enodes (cost 13 ) 120.998 * * [simplify]: iteration done : 1739 enodes (cost 13 ) 120.998 * * [simplify]: iteration 0 : 13 enodes (cost 14 ) 121.000 * * [simplify]: iteration 1 : 24 enodes (cost 13 ) 121.003 * * [simplify]: iteration 2 : 50 enodes (cost 13 ) 121.010 * * [simplify]: iteration 3 : 96 enodes (cost 13 ) 121.029 * * [simplify]: iteration 4 : 208 enodes (cost 13 ) 121.116 * * [simplify]: iteration 5 : 577 enodes (cost 13 ) 121.742 * * [simplify]: iteration 6 : 2011 enodes (cost 13 ) 123.676 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 123.677 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 123.677 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 123.679 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 123.680 * * [simplify]: iteration done : 15 enodes (cost 5 ) 123.681 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 123.682 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 123.683 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 123.686 * * [simplify]: iteration 3 : 33 enodes (cost 8 ) 123.690 * * [simplify]: iteration 4 : 45 enodes (cost 8 ) 123.696 * * [simplify]: iteration 5 : 63 enodes (cost 8 ) 123.706 * * [simplify]: iteration 6 : 75 enodes (cost 8 ) 123.715 * * [simplify]: iteration 7 : 92 enodes (cost 8 ) 123.733 * * [simplify]: iteration 8 : 99 enodes (cost 8 ) 123.748 * * [simplify]: iteration 9 : 107 enodes (cost 8 ) 123.764 * * [simplify]: iteration 10 : 115 enodes (cost 8 ) 123.779 * * [simplify]: iteration done : 115 enodes (cost 8 ) 123.779 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 123.780 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 123.782 * * [simplify]: iteration 2 : 29 enodes (cost 8 ) 123.792 * * [simplify]: iteration 3 : 50 enodes (cost 8 ) 123.799 * * [simplify]: iteration 4 : 110 enodes (cost 8 ) 123.826 * * [simplify]: iteration 5 : 275 enodes (cost 8 ) 123.990 * * [simplify]: iteration 6 : 815 enodes (cost 8 ) 125.394 * * [simplify]: iteration 7 : 2960 enodes (cost 8 ) 127.274 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 127.275 * [simplify]: Simplified to: (exp (- (exp l) (exp (neg l)))) (log (- (exp l) (exp (neg l)))) (exp (- (exp l) (exp (neg l)))) (* (cbrt (- (exp l) (exp (neg l)))) (cbrt (- (exp l) (exp (neg l))))) (cbrt (- (exp l) (exp (neg l)))) (pow (- (exp l) (exp (neg l))) 3) (sqrt (- (exp l) (exp (neg l)))) (sqrt (- (exp l) (exp (neg l)))) (- (pow (exp l) 3) (exp (* -3 l))) (+ (exp (+ l l)) (+ 1 (exp (* -2 l)))) (neg (exp (neg l))) (- (exp (+ l l)) (exp (* -2 l))) (+ (exp l) (exp (neg l))) (+ (sqrt (exp l)) (sqrt (exp (neg l)))) (- (sqrt (exp l)) (sqrt (exp (neg l)))) (- (exp l) (exp (neg l))) (neg (exp (neg l))) (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0))) (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0))) (+ (+ (log J) (log (- (exp l) (exp (neg l))))) (log (cos (/ K 2.0)))) (+ (log (* J (- (exp l) (exp (neg l))))) (log (cos (/ K 2.0)))) (log (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0)))) (exp (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0)))) (* (pow (cos (/ K 2.0)) 3) (pow (* J (- (exp l) (exp (neg l)))) 3)) (pow (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0))) 3) (* (cbrt (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0)))) (cbrt (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0))))) (cbrt (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0)))) (pow (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0))) 3) (sqrt (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0)))) (sqrt (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0)))) (* (* J (- (exp l) (exp (neg l)))) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0))))) (* (* J (- (exp l) (exp (neg l)))) (sqrt (cos (/ K 2.0)))) (* J (- (exp l) (exp (neg l)))) (* (- (exp l) (exp (neg l))) (cos (/ K 2.0))) (* (* J (cos (/ K 2.0))) (- (exp (* 3 l)) (exp (* -3 l)))) (* (* J (cos (/ K 2.0))) (- (exp (+ l l)) (exp (* -2 l)))) (* J (- (exp l) (exp (neg l)))) (+ (log J) (log (- (exp l) (exp (neg l))))) (log (* J (- (exp l) (exp (neg l))))) (exp (* J (- (exp l) (exp (neg l))))) (pow (* J (- (exp l) (exp (neg l)))) 3) (* (cbrt (* J (- (exp l) (exp (neg l))))) (cbrt (* J (- (exp l) (exp (neg l)))))) (cbrt (* J (- (exp l) (exp (neg l))))) (pow (* J (- (exp l) (exp (neg l)))) 3) (sqrt (* J (- (exp l) (exp (neg l))))) (sqrt (* J (- (exp l) (exp (neg l))))) (* (sqrt J) (sqrt (- (exp l) (exp (neg l))))) (* (sqrt J) (sqrt (- (exp l) (exp (neg l))))) (* J (exp l)) (neg (/ J (exp l))) (* J (exp l)) (neg (/ J (exp l))) (* (exp l) J) (neg (/ J (exp l))) (* (exp l) J) (neg (/ J (exp l))) (* J (* (cbrt (- (exp l) (exp (neg l)))) (cbrt (- (exp l) (exp (neg l)))))) (* J (sqrt (- (exp l) (exp (neg l))))) J (* J (+ (sqrt (exp l)) (sqrt (exp (neg l))))) J (* (cbrt J) (- (exp l) (exp (neg l)))) (* (sqrt J) (- (exp l) (exp (neg l)))) (* J (- (exp l) (exp (neg l)))) (* J (- (pow (exp l) 3) (exp (* -3 l)))) (* (- (exp (+ l l)) (exp (* -2 l))) J) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (- (exp l) (exp (neg l))) (- (exp l) (exp (neg l))) (* 2 (* J l)) (* (- (exp l) (exp (neg l))) (* J (cos (* 0.5 K)))) (* (* J (- (exp l) (exp (neg l)))) (cos (* 0.5 K))) (* 2 (* J l)) (* (- (exp l) (exp (neg l))) J) (* (- (exp l) (exp (neg l))) J) 127.275 * * * [progress]: adding candidates to table 127.385 * * [progress]: iteration 2 / 4 127.385 * * * [progress]: picking best candidate 127.410 * * * * [pick]: Picked # 127.411 * * * [progress]: localizing error 127.421 * * * [progress]: generating rewritten candidates 127.421 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 127.431 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 127.438 * * * [progress]: generating series expansions 127.438 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 127.438 * [approximate]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in (J l K) around 0 127.438 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in K 127.438 * [taylor]: Taking taylor expansion of 2 in K 127.438 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in K 127.438 * [taylor]: Taking taylor expansion of J in K 127.438 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 127.438 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 127.438 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 127.438 * [taylor]: Taking taylor expansion of 0.5 in K 127.438 * [taylor]: Taking taylor expansion of K in K 127.438 * [taylor]: Taking taylor expansion of l in K 127.438 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in l 127.438 * [taylor]: Taking taylor expansion of 2 in l 127.438 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in l 127.438 * [taylor]: Taking taylor expansion of J in l 127.438 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l 127.439 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 127.439 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 127.439 * [taylor]: Taking taylor expansion of 0.5 in l 127.439 * [taylor]: Taking taylor expansion of K in l 127.439 * [taylor]: Taking taylor expansion of l in l 127.439 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in J 127.439 * [taylor]: Taking taylor expansion of 2 in J 127.439 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 127.439 * [taylor]: Taking taylor expansion of J in J 127.439 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 127.439 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 127.439 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 127.439 * [taylor]: Taking taylor expansion of 0.5 in J 127.439 * [taylor]: Taking taylor expansion of K in J 127.439 * [taylor]: Taking taylor expansion of l in J 127.439 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in J 127.439 * [taylor]: Taking taylor expansion of 2 in J 127.439 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 127.439 * [taylor]: Taking taylor expansion of J in J 127.439 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 127.439 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 127.439 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 127.439 * [taylor]: Taking taylor expansion of 0.5 in J 127.439 * [taylor]: Taking taylor expansion of K in J 127.439 * [taylor]: Taking taylor expansion of l in J 127.439 * [taylor]: Taking taylor expansion of 0 in l 127.439 * [taylor]: Taking taylor expansion of 0 in K 127.440 * [taylor]: Taking taylor expansion of (* 2 (* (cos (* 0.5 K)) l)) in l 127.440 * [taylor]: Taking taylor expansion of 2 in l 127.440 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l 127.440 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 127.440 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 127.440 * [taylor]: Taking taylor expansion of 0.5 in l 127.440 * [taylor]: Taking taylor expansion of K in l 127.440 * [taylor]: Taking taylor expansion of l in l 127.440 * [taylor]: Taking taylor expansion of 0 in K 127.440 * [taylor]: Taking taylor expansion of 0 in K 127.441 * [taylor]: Taking taylor expansion of 0 in l 127.441 * [taylor]: Taking taylor expansion of 0 in K 127.441 * [taylor]: Taking taylor expansion of (* 2 (cos (* 0.5 K))) in K 127.441 * [taylor]: Taking taylor expansion of 2 in K 127.441 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 127.441 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 127.441 * [taylor]: Taking taylor expansion of 0.5 in K 127.441 * [taylor]: Taking taylor expansion of K in K 127.441 * [taylor]: Taking taylor expansion of 0 in K 127.442 * [taylor]: Taking taylor expansion of 0 in l 127.442 * [taylor]: Taking taylor expansion of 0 in K 127.442 * [taylor]: Taking taylor expansion of 0 in K 127.442 * [approximate]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in (J l K) around 0 127.442 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in K 127.442 * [taylor]: Taking taylor expansion of 2 in K 127.442 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in K 127.442 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 127.442 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 127.442 * [taylor]: Taking taylor expansion of 0.5 in K 127.442 * [taylor]: Taking taylor expansion of K in K 127.443 * [taylor]: Taking taylor expansion of (* J l) in K 127.443 * [taylor]: Taking taylor expansion of J in K 127.443 * [taylor]: Taking taylor expansion of l in K 127.443 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in l 127.443 * [taylor]: Taking taylor expansion of 2 in l 127.443 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in l 127.443 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 127.443 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 127.443 * [taylor]: Taking taylor expansion of 0.5 in l 127.443 * [taylor]: Taking taylor expansion of K in l 127.443 * [taylor]: Taking taylor expansion of (* J l) in l 127.443 * [taylor]: Taking taylor expansion of J in l 127.443 * [taylor]: Taking taylor expansion of l in l 127.443 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in J 127.443 * [taylor]: Taking taylor expansion of 2 in J 127.443 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 127.443 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 127.443 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 127.443 * [taylor]: Taking taylor expansion of 0.5 in J 127.443 * [taylor]: Taking taylor expansion of K in J 127.443 * [taylor]: Taking taylor expansion of (* J l) in J 127.443 * [taylor]: Taking taylor expansion of J in J 127.443 * [taylor]: Taking taylor expansion of l in J 127.444 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in J 127.444 * [taylor]: Taking taylor expansion of 2 in J 127.444 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 127.444 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 127.444 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 127.444 * [taylor]: Taking taylor expansion of 0.5 in J 127.444 * [taylor]: Taking taylor expansion of K in J 127.444 * [taylor]: Taking taylor expansion of (* J l) in J 127.444 * [taylor]: Taking taylor expansion of J in J 127.444 * [taylor]: Taking taylor expansion of l in J 127.444 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) l)) in l 127.444 * [taylor]: Taking taylor expansion of 2 in l 127.444 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in l 127.444 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 127.444 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 127.444 * [taylor]: Taking taylor expansion of 0.5 in l 127.444 * [taylor]: Taking taylor expansion of K in l 127.444 * [taylor]: Taking taylor expansion of l in l 127.445 * [taylor]: Taking taylor expansion of (* 2 (cos (/ 0.5 K))) in K 127.445 * [taylor]: Taking taylor expansion of 2 in K 127.445 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 127.445 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 127.445 * [taylor]: Taking taylor expansion of 0.5 in K 127.445 * [taylor]: Taking taylor expansion of K in K 127.445 * [taylor]: Taking taylor expansion of 0 in l 127.446 * [taylor]: Taking taylor expansion of 0 in K 127.446 * [taylor]: Taking taylor expansion of 0 in l 127.446 * [taylor]: Taking taylor expansion of 0 in K 127.447 * [taylor]: Taking taylor expansion of 0 in K 127.447 * [approximate]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in (J l K) around 0 127.447 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in K 127.447 * [taylor]: Taking taylor expansion of 2 in K 127.447 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in K 127.447 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 127.447 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 127.447 * [taylor]: Taking taylor expansion of -0.5 in K 127.447 * [taylor]: Taking taylor expansion of K in K 127.447 * [taylor]: Taking taylor expansion of (* J l) in K 127.447 * [taylor]: Taking taylor expansion of J in K 127.447 * [taylor]: Taking taylor expansion of l in K 127.447 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in l 127.447 * [taylor]: Taking taylor expansion of 2 in l 127.447 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in l 127.447 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 127.448 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 127.448 * [taylor]: Taking taylor expansion of -0.5 in l 127.448 * [taylor]: Taking taylor expansion of K in l 127.448 * [taylor]: Taking taylor expansion of (* J l) in l 127.448 * [taylor]: Taking taylor expansion of J in l 127.448 * [taylor]: Taking taylor expansion of l in l 127.448 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in J 127.448 * [taylor]: Taking taylor expansion of 2 in J 127.448 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 127.448 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 127.448 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 127.448 * [taylor]: Taking taylor expansion of -0.5 in J 127.448 * [taylor]: Taking taylor expansion of K in J 127.448 * [taylor]: Taking taylor expansion of (* J l) in J 127.448 * [taylor]: Taking taylor expansion of J in J 127.448 * [taylor]: Taking taylor expansion of l in J 127.448 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in J 127.448 * [taylor]: Taking taylor expansion of 2 in J 127.448 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 127.448 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 127.448 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 127.448 * [taylor]: Taking taylor expansion of -0.5 in J 127.448 * [taylor]: Taking taylor expansion of K in J 127.449 * [taylor]: Taking taylor expansion of (* J l) in J 127.449 * [taylor]: Taking taylor expansion of J in J 127.449 * [taylor]: Taking taylor expansion of l in J 127.449 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) l)) in l 127.449 * [taylor]: Taking taylor expansion of 2 in l 127.449 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in l 127.449 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 127.449 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 127.449 * [taylor]: Taking taylor expansion of -0.5 in l 127.449 * [taylor]: Taking taylor expansion of K in l 127.449 * [taylor]: Taking taylor expansion of l in l 127.449 * [taylor]: Taking taylor expansion of (* 2 (cos (/ -0.5 K))) in K 127.449 * [taylor]: Taking taylor expansion of 2 in K 127.449 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 127.449 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 127.449 * [taylor]: Taking taylor expansion of -0.5 in K 127.449 * [taylor]: Taking taylor expansion of K in K 127.450 * [taylor]: Taking taylor expansion of 0 in l 127.450 * [taylor]: Taking taylor expansion of 0 in K 127.451 * [taylor]: Taking taylor expansion of 0 in l 127.451 * [taylor]: Taking taylor expansion of 0 in K 127.451 * [taylor]: Taking taylor expansion of 0 in K 127.452 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1) 127.452 * [approximate]: Taking taylor expansion of (* 2 (* J l)) in (J l) around 0 127.452 * [taylor]: Taking taylor expansion of (* 2 (* J l)) in l 127.452 * [taylor]: Taking taylor expansion of 2 in l 127.452 * [taylor]: Taking taylor expansion of (* J l) in l 127.452 * [taylor]: Taking taylor expansion of J in l 127.452 * [taylor]: Taking taylor expansion of l in l 127.452 * [taylor]: Taking taylor expansion of (* 2 (* J l)) in J 127.452 * [taylor]: Taking taylor expansion of 2 in J 127.452 * [taylor]: Taking taylor expansion of (* J l) in J 127.452 * [taylor]: Taking taylor expansion of J in J 127.452 * [taylor]: Taking taylor expansion of l in J 127.452 * [taylor]: Taking taylor expansion of (* 2 (* J l)) in J 127.452 * [taylor]: Taking taylor expansion of 2 in J 127.452 * [taylor]: Taking taylor expansion of (* J l) in J 127.452 * [taylor]: Taking taylor expansion of J in J 127.452 * [taylor]: Taking taylor expansion of l in J 127.452 * [taylor]: Taking taylor expansion of 0 in l 127.452 * [taylor]: Taking taylor expansion of (* 2 l) in l 127.452 * [taylor]: Taking taylor expansion of 2 in l 127.452 * [taylor]: Taking taylor expansion of l in l 127.452 * [taylor]: Taking taylor expansion of 0 in l 127.453 * [taylor]: Taking taylor expansion of 0 in l 127.453 * [taylor]: Taking taylor expansion of 0 in l 127.453 * [approximate]: Taking taylor expansion of (/ 2 (* J l)) in (J l) around 0 127.453 * [taylor]: Taking taylor expansion of (/ 2 (* J l)) in l 127.453 * [taylor]: Taking taylor expansion of 2 in l 127.453 * [taylor]: Taking taylor expansion of (* J l) in l 127.453 * [taylor]: Taking taylor expansion of J in l 127.453 * [taylor]: Taking taylor expansion of l in l 127.453 * [taylor]: Taking taylor expansion of (/ 2 (* J l)) in J 127.453 * [taylor]: Taking taylor expansion of 2 in J 127.453 * [taylor]: Taking taylor expansion of (* J l) in J 127.453 * [taylor]: Taking taylor expansion of J in J 127.453 * [taylor]: Taking taylor expansion of l in J 127.453 * [taylor]: Taking taylor expansion of (/ 2 (* J l)) in J 127.453 * [taylor]: Taking taylor expansion of 2 in J 127.453 * [taylor]: Taking taylor expansion of (* J l) in J 127.453 * [taylor]: Taking taylor expansion of J in J 127.453 * [taylor]: Taking taylor expansion of l in J 127.454 * [taylor]: Taking taylor expansion of (/ 2 l) in l 127.454 * [taylor]: Taking taylor expansion of 2 in l 127.454 * [taylor]: Taking taylor expansion of l in l 127.454 * [taylor]: Taking taylor expansion of 0 in l 127.454 * [taylor]: Taking taylor expansion of 0 in l 127.454 * [taylor]: Taking taylor expansion of 0 in l 127.455 * [approximate]: Taking taylor expansion of (/ 2 (* J l)) in (J l) around 0 127.455 * [taylor]: Taking taylor expansion of (/ 2 (* J l)) in l 127.455 * [taylor]: Taking taylor expansion of 2 in l 127.455 * [taylor]: Taking taylor expansion of (* J l) in l 127.455 * [taylor]: Taking taylor expansion of J in l 127.455 * [taylor]: Taking taylor expansion of l in l 127.455 * [taylor]: Taking taylor expansion of (/ 2 (* J l)) in J 127.455 * [taylor]: Taking taylor expansion of 2 in J 127.455 * [taylor]: Taking taylor expansion of (* J l) in J 127.455 * [taylor]: Taking taylor expansion of J in J 127.455 * [taylor]: Taking taylor expansion of l in J 127.455 * [taylor]: Taking taylor expansion of (/ 2 (* J l)) in J 127.455 * [taylor]: Taking taylor expansion of 2 in J 127.455 * [taylor]: Taking taylor expansion of (* J l) in J 127.455 * [taylor]: Taking taylor expansion of J in J 127.455 * [taylor]: Taking taylor expansion of l in J 127.455 * [taylor]: Taking taylor expansion of (/ 2 l) in l 127.455 * [taylor]: Taking taylor expansion of 2 in l 127.455 * [taylor]: Taking taylor expansion of l in l 127.455 * [taylor]: Taking taylor expansion of 0 in l 127.455 * [taylor]: Taking taylor expansion of 0 in l 127.456 * [taylor]: Taking taylor expansion of 0 in l 127.456 * * * [progress]: simplifying candidates 127.457 * [simplify]: Simplifying using # : (* (* 2 (* J l)) (cos (/ K 2.0))) (* (* 2 (* J l)) (cos (/ K 2.0))) (* (* 2 (* J l)) (cos (/ K 2.0))) (+ (+ (log 2) (+ (log J) (log l))) (log (cos (/ K 2.0)))) (+ (+ (log 2) (log (* J l))) (log (cos (/ K 2.0)))) (+ (log (* 2 (* J l))) (log (cos (/ K 2.0)))) (log (* (* 2 (* J l)) (cos (/ K 2.0)))) (exp (* (* 2 (* J l)) (cos (/ K 2.0)))) (* (* (* (* 2 2) 2) (* (* (* J J) J) (* (* l l) l))) (* (* (cos (/ K 2.0)) (cos (/ K 2.0))) (cos (/ K 2.0)))) (* (* (* (* 2 2) 2) (* (* (* J l) (* J l)) (* J l))) (* (* (cos (/ K 2.0)) (cos (/ K 2.0))) (cos (/ K 2.0)))) (* (* (* (* 2 (* J l)) (* 2 (* J l))) (* 2 (* J l))) (* (* (cos (/ K 2.0)) (cos (/ K 2.0))) (cos (/ K 2.0)))) (* (cbrt (* (* 2 (* J l)) (cos (/ K 2.0)))) (cbrt (* (* 2 (* J l)) (cos (/ K 2.0))))) (cbrt (* (* 2 (* J l)) (cos (/ K 2.0)))) (* (* (* (* 2 (* J l)) (cos (/ K 2.0))) (* (* 2 (* J l)) (cos (/ K 2.0)))) (* (* 2 (* J l)) (cos (/ K 2.0)))) (sqrt (* (* 2 (* J l)) (cos (/ K 2.0)))) (sqrt (* (* 2 (* J l)) (cos (/ K 2.0)))) (* (* 2 (* J l)) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0))))) (* (* 2 (* J l)) (sqrt (cos (/ K 2.0)))) (* (* 2 (* J l)) 1) (* (* J l) (cos (/ K 2.0))) (* 2 (* J l)) (* 2 (* J l)) (+ (log 2) (+ (log J) (log l))) (+ (log 2) (log (* J l))) (log (* 2 (* J l))) (exp (* 2 (* J l))) (* (* (* 2 2) 2) (* (* (* J J) J) (* (* l l) l))) (* (* (* 2 2) 2) (* (* (* J l) (* J l)) (* J l))) (* (cbrt (* 2 (* J l))) (cbrt (* 2 (* J l)))) (cbrt (* 2 (* J l))) (* (* (* 2 (* J l)) (* 2 (* J l))) (* 2 (* J l))) (sqrt (* 2 (* J l))) (sqrt (* 2 (* J l))) (* 2 J) (* (cbrt 2) (* J l)) (* (sqrt 2) (* J l)) (* 2 (* J l)) (* 2 (* J l)) (* 2 (* J (* (cos (* 0.5 K)) l))) (* 2 (* J (* (cos (* 0.5 K)) l))) (* 2 (* J l)) (* 2 (* J l)) (* 2 (* J l)) 127.457 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 127.458 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 127.461 * * [simplify]: iteration 2 : 36 enodes (cost 10 ) 127.467 * * [simplify]: iteration 3 : 64 enodes (cost 10 ) 127.487 * * [simplify]: iteration 4 : 71 enodes (cost 10 ) 127.498 * * [simplify]: iteration done : 71 enodes (cost 10 ) 127.499 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 127.500 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 127.502 * * [simplify]: iteration 2 : 36 enodes (cost 10 ) 127.508 * * [simplify]: iteration 3 : 64 enodes (cost 10 ) 127.522 * * [simplify]: iteration 4 : 71 enodes (cost 10 ) 127.533 * * [simplify]: iteration done : 71 enodes (cost 10 ) 127.534 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 127.539 * * [simplify]: iteration 1 : 17 enodes (cost 10 ) 127.542 * * [simplify]: iteration 2 : 36 enodes (cost 10 ) 127.548 * * [simplify]: iteration 3 : 64 enodes (cost 10 ) 127.561 * * [simplify]: iteration 4 : 71 enodes (cost 10 ) 127.573 * * [simplify]: iteration done : 71 enodes (cost 10 ) 127.574 * * [simplify]: iteration 0 : 14 enodes (cost 14 ) 127.575 * * [simplify]: iteration 1 : 21 enodes (cost 14 ) 127.578 * * [simplify]: iteration 2 : 40 enodes (cost 14 ) 127.584 * * [simplify]: iteration 3 : 69 enodes (cost 14 ) 127.599 * * [simplify]: iteration 4 : 71 enodes (cost 14 ) 127.610 * * [simplify]: iteration done : 71 enodes (cost 14 ) 127.611 * * [simplify]: iteration 0 : 13 enodes (cost 13 ) 127.612 * * [simplify]: iteration 1 : 21 enodes (cost 13 ) 127.614 * * [simplify]: iteration 2 : 34 enodes (cost 13 ) 127.618 * * [simplify]: iteration 3 : 62 enodes (cost 13 ) 127.628 * * [simplify]: iteration 4 : 75 enodes (cost 13 ) 127.639 * * [simplify]: iteration done : 75 enodes (cost 13 ) 127.640 * * [simplify]: iteration 0 : 12 enodes (cost 12 ) 127.641 * * [simplify]: iteration 1 : 20 enodes (cost 12 ) 127.644 * * [simplify]: iteration 2 : 37 enodes (cost 12 ) 127.649 * * [simplify]: iteration 3 : 64 enodes (cost 12 ) 127.663 * * [simplify]: iteration 4 : 92 enodes (cost 12 ) 127.677 * * [simplify]: iteration done : 92 enodes (cost 12 ) 127.677 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 127.679 * * [simplify]: iteration 1 : 21 enodes (cost 11 ) 127.681 * * [simplify]: iteration 2 : 50 enodes (cost 11 ) 127.690 * * [simplify]: iteration 3 : 109 enodes (cost 11 ) 127.719 * * [simplify]: iteration 4 : 171 enodes (cost 11 ) 127.746 * * [simplify]: iteration 5 : 173 enodes (cost 11 ) 127.774 * * [simplify]: iteration done : 173 enodes (cost 11 ) 127.775 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 127.776 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 127.779 * * [simplify]: iteration 2 : 52 enodes (cost 11 ) 127.788 * * [simplify]: iteration 3 : 126 enodes (cost 11 ) 127.829 * * [simplify]: iteration 4 : 262 enodes (cost 11 ) 127.895 * * [simplify]: iteration 5 : 576 enodes (cost 11 ) 128.671 * * [simplify]: iteration 6 : 1746 enodes (cost 11 ) 130.748 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 130.748 * * [simplify]: iteration 0 : 18 enodes (cost 32 ) 130.751 * * [simplify]: iteration 1 : 39 enodes (cost 28 ) 130.758 * * [simplify]: iteration 2 : 135 enodes (cost 16 ) 130.823 * * [simplify]: iteration 3 : 665 enodes (cost 16 ) 132.138 * * [simplify]: iteration 4 : 3499 enodes (cost 14 ) 133.896 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 133.897 * * [simplify]: iteration 0 : 16 enodes (cost 32 ) 133.900 * * [simplify]: iteration 1 : 41 enodes (cost 28 ) 133.914 * * [simplify]: iteration 2 : 137 enodes (cost 14 ) 133.984 * * [simplify]: iteration 3 : 698 enodes (cost 14 ) 135.476 * * [simplify]: iteration 4 : 3666 enodes (cost 14 ) 137.311 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 137.312 * * [simplify]: iteration 0 : 14 enodes (cost 32 ) 137.314 * * [simplify]: iteration 1 : 35 enodes (cost 30 ) 137.321 * * [simplify]: iteration 2 : 144 enodes (cost 14 ) 137.409 * * [simplify]: iteration 3 : 858 enodes (cost 14 ) 139.697 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 139.698 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 139.699 * * [simplify]: iteration 1 : 19 enodes (cost 23 ) 139.702 * * [simplify]: iteration 2 : 38 enodes (cost 23 ) 139.709 * * [simplify]: iteration 3 : 66 enodes (cost 23 ) 139.722 * * [simplify]: iteration 4 : 69 enodes (cost 23 ) 139.738 * * [simplify]: iteration done : 69 enodes (cost 23 ) 139.738 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 139.740 * * [simplify]: iteration 1 : 18 enodes (cost 11 ) 139.742 * * [simplify]: iteration 2 : 37 enodes (cost 11 ) 139.749 * * [simplify]: iteration 3 : 66 enodes (cost 11 ) 139.762 * * [simplify]: iteration 4 : 74 enodes (cost 11 ) 139.774 * * [simplify]: iteration done : 74 enodes (cost 11 ) 139.775 * * [simplify]: iteration 0 : 12 enodes (cost 32 ) 139.777 * * [simplify]: iteration 1 : 29 enodes (cost 32 ) 139.788 * * [simplify]: iteration 2 : 126 enodes (cost 12 ) 139.869 * * [simplify]: iteration 3 : 819 enodes (cost 12 ) 142.359 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 142.360 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 142.361 * * [simplify]: iteration 1 : 18 enodes (cost 11 ) 142.363 * * [simplify]: iteration 2 : 37 enodes (cost 11 ) 142.371 * * [simplify]: iteration 3 : 66 enodes (cost 11 ) 142.384 * * [simplify]: iteration 4 : 74 enodes (cost 11 ) 142.396 * * [simplify]: iteration done : 74 enodes (cost 11 ) 142.397 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 142.398 * * [simplify]: iteration 1 : 18 enodes (cost 11 ) 142.400 * * [simplify]: iteration 2 : 37 enodes (cost 11 ) 142.407 * * [simplify]: iteration 3 : 66 enodes (cost 11 ) 142.425 * * [simplify]: iteration 4 : 74 enodes (cost 11 ) 142.437 * * [simplify]: iteration done : 74 enodes (cost 11 ) 142.438 * * [simplify]: iteration 0 : 12 enodes (cost 17 ) 142.439 * * [simplify]: iteration 1 : 21 enodes (cost 17 ) 142.442 * * [simplify]: iteration 2 : 49 enodes (cost 17 ) 142.453 * * [simplify]: iteration 3 : 112 enodes (cost 17 ) 142.491 * * [simplify]: iteration 4 : 144 enodes (cost 17 ) 142.537 * * [simplify]: iteration done : 144 enodes (cost 17 ) 142.538 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 142.539 * * [simplify]: iteration 1 : 18 enodes (cost 11 ) 142.542 * * [simplify]: iteration 2 : 37 enodes (cost 11 ) 142.548 * * [simplify]: iteration 3 : 63 enodes (cost 11 ) 142.561 * * [simplify]: iteration 4 : 65 enodes (cost 11 ) 142.577 * * [simplify]: iteration done : 65 enodes (cost 11 ) 142.578 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 142.579 * * [simplify]: iteration 1 : 16 enodes (cost 5 ) 142.582 * * [simplify]: iteration 2 : 41 enodes (cost 5 ) 142.592 * * [simplify]: iteration 3 : 68 enodes (cost 5 ) 142.597 * * [simplify]: iteration done : 68 enodes (cost 5 ) 142.598 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 142.599 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 142.601 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 142.603 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 142.605 * * [simplify]: iteration done : 20 enodes (cost 8 ) 142.606 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 142.606 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 142.607 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 142.609 * * [simplify]: iteration done : 15 enodes (cost 5 ) 142.610 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 142.610 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 142.612 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 142.614 * * [simplify]: iteration done : 15 enodes (cost 5 ) 142.614 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 142.615 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 142.616 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 142.618 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 142.620 * * [simplify]: iteration done : 20 enodes (cost 8 ) 142.621 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 142.622 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 142.623 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 142.625 * * [simplify]: iteration 3 : 21 enodes (cost 7 ) 142.628 * * [simplify]: iteration done : 21 enodes (cost 7 ) 142.628 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 142.629 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 142.631 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 142.634 * * [simplify]: iteration 3 : 38 enodes (cost 6 ) 142.644 * * [simplify]: iteration 4 : 40 enodes (cost 6 ) 142.648 * * [simplify]: iteration done : 40 enodes (cost 6 ) 142.649 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 142.650 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 142.651 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 142.655 * * [simplify]: iteration 3 : 55 enodes (cost 6 ) 142.667 * * [simplify]: iteration 4 : 118 enodes (cost 6 ) 142.690 * * [simplify]: iteration 5 : 272 enodes (cost 6 ) 142.841 * * [simplify]: iteration 6 : 646 enodes (cost 6 ) 143.584 * * [simplify]: iteration 7 : 2360 enodes (cost 6 ) 146.277 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 146.278 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 146.280 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 146.284 * * [simplify]: iteration 2 : 82 enodes (cost 9 ) 146.315 * * [simplify]: iteration 3 : 260 enodes (cost 9 ) 146.498 * * [simplify]: iteration 4 : 789 enodes (cost 7 ) 147.824 * * [simplify]: iteration 5 : 2116 enodes (cost 7 ) 152.088 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 152.089 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 152.090 * * [simplify]: iteration 1 : 28 enodes (cost 13 ) 152.095 * * [simplify]: iteration 2 : 86 enodes (cost 7 ) 152.128 * * [simplify]: iteration 3 : 301 enodes (cost 7 ) 152.385 * * [simplify]: iteration 4 : 782 enodes (cost 7 ) 153.420 * * [simplify]: iteration 5 : 1548 enodes (cost 7 ) 155.499 * * [simplify]: iteration 6 : 2517 enodes (cost 7 ) 158.162 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 158.163 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 158.164 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 158.165 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 158.167 * * [simplify]: iteration done : 17 enodes (cost 13 ) 158.168 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 158.169 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 158.170 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 158.178 * * [simplify]: iteration done : 16 enodes (cost 6 ) 158.178 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 158.180 * * [simplify]: iteration 1 : 22 enodes (cost 15 ) 158.185 * * [simplify]: iteration 2 : 91 enodes (cost 7 ) 158.226 * * [simplify]: iteration 3 : 399 enodes (cost 7 ) 158.733 * * [simplify]: iteration 4 : 1140 enodes (cost 7 ) 160.274 * * [simplify]: iteration 5 : 1492 enodes (cost 7 ) 162.655 * * [simplify]: iteration 6 : 2279 enodes (cost 7 ) 166.578 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 166.579 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 166.580 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 166.581 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 166.583 * * [simplify]: iteration done : 16 enodes (cost 6 ) 166.583 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 166.584 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 166.585 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 166.587 * * [simplify]: iteration done : 16 enodes (cost 6 ) 166.588 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 166.588 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 166.589 * * [simplify]: iteration done : 4 enodes (cost 3 ) 166.589 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 166.590 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 166.591 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 166.593 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 166.595 * * [simplify]: iteration done : 18 enodes (cost 6 ) 166.596 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 166.597 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 166.598 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 166.600 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 166.602 * * [simplify]: iteration done : 18 enodes (cost 6 ) 166.603 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 166.603 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 166.604 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 166.606 * * [simplify]: iteration done : 15 enodes (cost 5 ) 166.607 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 166.607 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 166.609 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 166.611 * * [simplify]: iteration done : 15 enodes (cost 5 ) 166.611 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 166.613 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 166.615 * * [simplify]: iteration 2 : 38 enodes (cost 10 ) 166.622 * * [simplify]: iteration 3 : 64 enodes (cost 10 ) 166.638 * * [simplify]: iteration 4 : 70 enodes (cost 10 ) 166.649 * * [simplify]: iteration done : 70 enodes (cost 10 ) 166.650 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 166.651 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 166.654 * * [simplify]: iteration 2 : 38 enodes (cost 10 ) 166.661 * * [simplify]: iteration 3 : 64 enodes (cost 10 ) 166.672 * * [simplify]: iteration 4 : 70 enodes (cost 10 ) 166.684 * * [simplify]: iteration done : 70 enodes (cost 10 ) 166.685 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 166.688 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 166.689 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 166.692 * * [simplify]: iteration done : 15 enodes (cost 5 ) 166.692 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 166.693 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 166.694 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 166.696 * * [simplify]: iteration done : 15 enodes (cost 5 ) 166.697 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 166.697 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 166.698 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 166.700 * * [simplify]: iteration done : 15 enodes (cost 5 ) 166.701 * [simplify]: Simplified to: (* (* 2 (* J l)) (cos (/ K 2.0))) (* (* 2 (* J l)) (cos (/ K 2.0))) (* (* 2 (* J l)) (cos (/ K 2.0))) (+ (+ (log 2) (+ (log J) (log l))) (log (cos (/ K 2.0)))) (+ (+ (log 2) (log (* J l))) (log (cos (/ K 2.0)))) (+ (log (* 2 (* J l))) (log (cos (/ K 2.0)))) (log (* (* 2 (* J l)) (cos (/ K 2.0)))) (exp (* (* 2 (* J l)) (cos (/ K 2.0)))) (* (pow (cos (/ K 2.0)) 3) (* 8 (pow (* J l) 3))) (* (pow (* J l) 3) (* 8 (pow (cos (/ K 2.0)) 3))) (* (pow (cos (/ K 2.0)) 3) (pow (* 2 (* J l)) 3)) (* (cbrt (* (* 2 (* J l)) (cos (/ K 2.0)))) (cbrt (* (* 2 (* J l)) (cos (/ K 2.0))))) (cbrt (* (* 2 (* J l)) (cos (/ K 2.0)))) (pow (* (* 2 (* J l)) (cos (/ K 2.0))) 3) (sqrt (* (* 2 (* J l)) (cos (/ K 2.0)))) (sqrt (* (* 2 (* J l)) (cos (/ K 2.0)))) (* (* 2 (* J l)) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0))))) (* (* 2 (* J l)) (sqrt (cos (/ K 2.0)))) (* 2 (* J l)) (* (* J l) (cos (/ K 2.0))) (* 2 (* J l)) (* 2 (* J l)) (+ (log 2) (+ (log J) (log l))) (+ (log 2) (log (* J l))) (log (* 2 (* J l))) (exp (* 2 (* J l))) (* 8 (pow (* J l) 3)) (* (pow (* J l) 3) 8) (* (cbrt (* 2 (* J l))) (cbrt (* 2 (* J l)))) (cbrt (* 2 (* J l))) (pow (* 2 (* J l)) 3) (sqrt (* 2 (* J l))) (sqrt (* 2 (* J l))) (* 2 J) (* (cbrt 2) (* J l)) (* (sqrt 2) (* J l)) (* 2 (* J l)) (* 2 (* J l)) (* 2 (* J (* (cos (* 0.5 K)) l))) (* 2 (* J (* (cos (* 0.5 K)) l))) (* 2 (* J l)) (* 2 (* J l)) (* 2 (* J l)) 166.701 * * * [progress]: adding candidates to table 166.778 * * [progress]: iteration 3 / 4 166.778 * * * [progress]: picking best candidate 166.821 * * * * [pick]: Picked # 166.822 * * * [progress]: localizing error 166.836 * * * [progress]: generating rewritten candidates 166.836 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2 2) 166.842 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2) 166.849 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 166.860 * * * [progress]: generating series expansions 166.860 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2 2) 166.860 * [approximate]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in (K l) around 0 166.860 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l 166.860 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 166.860 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 166.860 * [taylor]: Taking taylor expansion of 0.5 in l 166.860 * [taylor]: Taking taylor expansion of K in l 166.860 * [taylor]: Taking taylor expansion of l in l 166.860 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 166.860 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 166.860 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 166.860 * [taylor]: Taking taylor expansion of 0.5 in K 166.860 * [taylor]: Taking taylor expansion of K in K 166.860 * [taylor]: Taking taylor expansion of l in K 166.860 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 166.860 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 166.860 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 166.860 * [taylor]: Taking taylor expansion of 0.5 in K 166.860 * [taylor]: Taking taylor expansion of K in K 166.861 * [taylor]: Taking taylor expansion of l in K 166.861 * [taylor]: Taking taylor expansion of l in l 166.861 * [taylor]: Taking taylor expansion of 0 in l 166.861 * [taylor]: Taking taylor expansion of (neg (* 0.125 l)) in l 166.861 * [taylor]: Taking taylor expansion of (* 0.125 l) in l 166.861 * [taylor]: Taking taylor expansion of 0.125 in l 166.861 * [taylor]: Taking taylor expansion of l in l 166.861 * [taylor]: Taking taylor expansion of 0 in l 166.862 * [taylor]: Taking taylor expansion of (* 0.0026041666666666665 l) in l 166.862 * [taylor]: Taking taylor expansion of 0.0026041666666666665 in l 166.862 * [taylor]: Taking taylor expansion of l in l 166.862 * [approximate]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in (K l) around 0 166.862 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in l 166.862 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 166.862 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 166.862 * [taylor]: Taking taylor expansion of 0.5 in l 166.862 * [taylor]: Taking taylor expansion of K in l 166.862 * [taylor]: Taking taylor expansion of l in l 166.863 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in K 166.863 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 166.863 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 166.863 * [taylor]: Taking taylor expansion of 0.5 in K 166.863 * [taylor]: Taking taylor expansion of K in K 166.863 * [taylor]: Taking taylor expansion of l in K 166.863 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in K 166.863 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 166.863 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 166.863 * [taylor]: Taking taylor expansion of 0.5 in K 166.863 * [taylor]: Taking taylor expansion of K in K 166.863 * [taylor]: Taking taylor expansion of l in K 166.863 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in l 166.863 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 166.863 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 166.863 * [taylor]: Taking taylor expansion of 0.5 in l 166.863 * [taylor]: Taking taylor expansion of K in l 166.863 * [taylor]: Taking taylor expansion of l in l 166.864 * [taylor]: Taking taylor expansion of 0 in l 166.864 * [taylor]: Taking taylor expansion of 0 in l 166.865 * [taylor]: Taking taylor expansion of 0 in l 166.865 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) l)) in (K l) around 0 166.865 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) l)) in l 166.865 * [taylor]: Taking taylor expansion of -1 in l 166.865 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in l 166.866 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 166.866 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 166.866 * [taylor]: Taking taylor expansion of -0.5 in l 166.866 * [taylor]: Taking taylor expansion of K in l 166.866 * [taylor]: Taking taylor expansion of l in l 166.866 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) l)) in K 166.866 * [taylor]: Taking taylor expansion of -1 in K 166.866 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in K 166.866 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 166.866 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 166.866 * [taylor]: Taking taylor expansion of -0.5 in K 166.866 * [taylor]: Taking taylor expansion of K in K 166.866 * [taylor]: Taking taylor expansion of l in K 166.866 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) l)) in K 166.866 * [taylor]: Taking taylor expansion of -1 in K 166.866 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in K 166.866 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 166.866 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 166.866 * [taylor]: Taking taylor expansion of -0.5 in K 166.866 * [taylor]: Taking taylor expansion of K in K 166.866 * [taylor]: Taking taylor expansion of l in K 166.866 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) l)) in l 166.866 * [taylor]: Taking taylor expansion of -1 in l 166.866 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in l 166.866 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 166.866 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 166.867 * [taylor]: Taking taylor expansion of -0.5 in l 166.867 * [taylor]: Taking taylor expansion of K in l 166.867 * [taylor]: Taking taylor expansion of l in l 166.867 * [taylor]: Taking taylor expansion of 0 in l 166.868 * [taylor]: Taking taylor expansion of 0 in l 166.868 * [taylor]: Taking taylor expansion of 0 in l 166.869 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2) 166.869 * [approximate]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in (J K l) around 0 166.869 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in l 166.869 * [taylor]: Taking taylor expansion of J in l 166.869 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l 166.869 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 166.869 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 166.869 * [taylor]: Taking taylor expansion of 0.5 in l 166.869 * [taylor]: Taking taylor expansion of K in l 166.869 * [taylor]: Taking taylor expansion of l in l 166.869 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in K 166.869 * [taylor]: Taking taylor expansion of J in K 166.869 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 166.870 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 166.870 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 166.870 * [taylor]: Taking taylor expansion of 0.5 in K 166.870 * [taylor]: Taking taylor expansion of K in K 166.870 * [taylor]: Taking taylor expansion of l in K 166.870 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 166.870 * [taylor]: Taking taylor expansion of J in J 166.870 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 166.870 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 166.870 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 166.870 * [taylor]: Taking taylor expansion of 0.5 in J 166.870 * [taylor]: Taking taylor expansion of K in J 166.870 * [taylor]: Taking taylor expansion of l in J 166.870 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 166.870 * [taylor]: Taking taylor expansion of J in J 166.870 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 166.870 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 166.870 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 166.870 * [taylor]: Taking taylor expansion of 0.5 in J 166.870 * [taylor]: Taking taylor expansion of K in J 166.870 * [taylor]: Taking taylor expansion of l in J 166.870 * [taylor]: Taking taylor expansion of 0 in K 166.870 * [taylor]: Taking taylor expansion of 0 in l 166.871 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 166.871 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 166.871 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 166.871 * [taylor]: Taking taylor expansion of 0.5 in K 166.871 * [taylor]: Taking taylor expansion of K in K 166.871 * [taylor]: Taking taylor expansion of l in K 166.871 * [taylor]: Taking taylor expansion of l in l 166.871 * [taylor]: Taking taylor expansion of 0 in l 166.871 * [taylor]: Taking taylor expansion of 0 in K 166.871 * [taylor]: Taking taylor expansion of 0 in l 166.871 * [taylor]: Taking taylor expansion of 0 in l 166.872 * [approximate]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in (J K l) around 0 166.872 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in l 166.872 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 166.872 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 166.872 * [taylor]: Taking taylor expansion of 0.5 in l 166.872 * [taylor]: Taking taylor expansion of K in l 166.872 * [taylor]: Taking taylor expansion of (* J l) in l 166.872 * [taylor]: Taking taylor expansion of J in l 166.872 * [taylor]: Taking taylor expansion of l in l 166.872 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in K 166.872 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 166.872 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 166.872 * [taylor]: Taking taylor expansion of 0.5 in K 166.872 * [taylor]: Taking taylor expansion of K in K 166.872 * [taylor]: Taking taylor expansion of (* J l) in K 166.872 * [taylor]: Taking taylor expansion of J in K 166.872 * [taylor]: Taking taylor expansion of l in K 166.872 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 166.872 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 166.872 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 166.872 * [taylor]: Taking taylor expansion of 0.5 in J 166.872 * [taylor]: Taking taylor expansion of K in J 166.872 * [taylor]: Taking taylor expansion of (* J l) in J 166.872 * [taylor]: Taking taylor expansion of J in J 166.872 * [taylor]: Taking taylor expansion of l in J 166.873 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 166.873 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 166.873 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 166.873 * [taylor]: Taking taylor expansion of 0.5 in J 166.873 * [taylor]: Taking taylor expansion of K in J 166.873 * [taylor]: Taking taylor expansion of (* J l) in J 166.873 * [taylor]: Taking taylor expansion of J in J 166.873 * [taylor]: Taking taylor expansion of l in J 166.873 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in K 166.873 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 166.873 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 166.873 * [taylor]: Taking taylor expansion of 0.5 in K 166.873 * [taylor]: Taking taylor expansion of K in K 166.873 * [taylor]: Taking taylor expansion of l in K 166.873 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in l 166.873 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 166.873 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 166.873 * [taylor]: Taking taylor expansion of 0.5 in l 166.873 * [taylor]: Taking taylor expansion of K in l 166.873 * [taylor]: Taking taylor expansion of l in l 166.874 * [taylor]: Taking taylor expansion of 0 in K 166.874 * [taylor]: Taking taylor expansion of 0 in l 166.874 * [taylor]: Taking taylor expansion of 0 in l 166.875 * [taylor]: Taking taylor expansion of 0 in K 166.875 * [taylor]: Taking taylor expansion of 0 in l 166.875 * [taylor]: Taking taylor expansion of 0 in l 166.875 * [taylor]: Taking taylor expansion of 0 in l 166.876 * [taylor]: Taking taylor expansion of 0 in K 166.876 * [taylor]: Taking taylor expansion of 0 in l 166.876 * [taylor]: Taking taylor expansion of 0 in l 166.876 * [taylor]: Taking taylor expansion of 0 in l 166.877 * [taylor]: Taking taylor expansion of 0 in l 166.877 * [approximate]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in (J K l) around 0 166.877 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in l 166.877 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 166.877 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 166.877 * [taylor]: Taking taylor expansion of -0.5 in l 166.877 * [taylor]: Taking taylor expansion of K in l 166.877 * [taylor]: Taking taylor expansion of (* J l) in l 166.877 * [taylor]: Taking taylor expansion of J in l 166.877 * [taylor]: Taking taylor expansion of l in l 166.877 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in K 166.877 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 166.877 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 166.877 * [taylor]: Taking taylor expansion of -0.5 in K 166.877 * [taylor]: Taking taylor expansion of K in K 166.877 * [taylor]: Taking taylor expansion of (* J l) in K 166.877 * [taylor]: Taking taylor expansion of J in K 166.877 * [taylor]: Taking taylor expansion of l in K 166.878 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 166.878 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 166.878 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 166.878 * [taylor]: Taking taylor expansion of -0.5 in J 166.878 * [taylor]: Taking taylor expansion of K in J 166.878 * [taylor]: Taking taylor expansion of (* J l) in J 166.878 * [taylor]: Taking taylor expansion of J in J 166.878 * [taylor]: Taking taylor expansion of l in J 166.878 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 166.878 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 166.878 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 166.878 * [taylor]: Taking taylor expansion of -0.5 in J 166.878 * [taylor]: Taking taylor expansion of K in J 166.878 * [taylor]: Taking taylor expansion of (* J l) in J 166.878 * [taylor]: Taking taylor expansion of J in J 166.878 * [taylor]: Taking taylor expansion of l in J 166.878 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in K 166.878 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 166.878 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 166.878 * [taylor]: Taking taylor expansion of -0.5 in K 166.878 * [taylor]: Taking taylor expansion of K in K 166.878 * [taylor]: Taking taylor expansion of l in K 166.879 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in l 166.879 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 166.879 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 166.879 * [taylor]: Taking taylor expansion of -0.5 in l 166.879 * [taylor]: Taking taylor expansion of K in l 166.879 * [taylor]: Taking taylor expansion of l in l 166.879 * [taylor]: Taking taylor expansion of 0 in K 166.879 * [taylor]: Taking taylor expansion of 0 in l 166.879 * [taylor]: Taking taylor expansion of 0 in l 166.880 * [taylor]: Taking taylor expansion of 0 in K 166.880 * [taylor]: Taking taylor expansion of 0 in l 166.880 * [taylor]: Taking taylor expansion of 0 in l 166.880 * [taylor]: Taking taylor expansion of 0 in l 166.882 * [taylor]: Taking taylor expansion of 0 in K 166.882 * [taylor]: Taking taylor expansion of 0 in l 166.882 * [taylor]: Taking taylor expansion of 0 in l 166.882 * [taylor]: Taking taylor expansion of 0 in l 166.882 * [taylor]: Taking taylor expansion of 0 in l 166.882 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 166.882 * [approximate]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in (J K l) around 0 166.882 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in l 166.882 * [taylor]: Taking taylor expansion of 2 in l 166.882 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in l 166.882 * [taylor]: Taking taylor expansion of J in l 166.882 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l 166.882 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 166.882 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 166.882 * [taylor]: Taking taylor expansion of 0.5 in l 166.882 * [taylor]: Taking taylor expansion of K in l 166.882 * [taylor]: Taking taylor expansion of l in l 166.882 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in K 166.882 * [taylor]: Taking taylor expansion of 2 in K 166.882 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in K 166.882 * [taylor]: Taking taylor expansion of J in K 166.882 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 166.883 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 166.883 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 166.883 * [taylor]: Taking taylor expansion of 0.5 in K 166.883 * [taylor]: Taking taylor expansion of K in K 166.883 * [taylor]: Taking taylor expansion of l in K 166.883 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in J 166.883 * [taylor]: Taking taylor expansion of 2 in J 166.883 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 166.883 * [taylor]: Taking taylor expansion of J in J 166.883 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 166.883 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 166.883 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 166.883 * [taylor]: Taking taylor expansion of 0.5 in J 166.883 * [taylor]: Taking taylor expansion of K in J 166.883 * [taylor]: Taking taylor expansion of l in J 166.883 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in J 166.883 * [taylor]: Taking taylor expansion of 2 in J 166.883 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 166.883 * [taylor]: Taking taylor expansion of J in J 166.883 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 166.883 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 166.883 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 166.883 * [taylor]: Taking taylor expansion of 0.5 in J 166.883 * [taylor]: Taking taylor expansion of K in J 166.883 * [taylor]: Taking taylor expansion of l in J 166.883 * [taylor]: Taking taylor expansion of 0 in K 166.883 * [taylor]: Taking taylor expansion of 0 in l 166.884 * [taylor]: Taking taylor expansion of (* 2 (* (cos (* 0.5 K)) l)) in K 166.884 * [taylor]: Taking taylor expansion of 2 in K 166.884 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 166.884 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 166.884 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 166.884 * [taylor]: Taking taylor expansion of 0.5 in K 166.884 * [taylor]: Taking taylor expansion of K in K 166.884 * [taylor]: Taking taylor expansion of l in K 166.884 * [taylor]: Taking taylor expansion of (* 2 l) in l 166.884 * [taylor]: Taking taylor expansion of 2 in l 166.884 * [taylor]: Taking taylor expansion of l in l 166.884 * [taylor]: Taking taylor expansion of 0 in l 166.885 * [taylor]: Taking taylor expansion of 0 in K 166.885 * [taylor]: Taking taylor expansion of 0 in l 166.885 * [taylor]: Taking taylor expansion of 0 in l 166.885 * [approximate]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in (J K l) around 0 166.885 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in l 166.885 * [taylor]: Taking taylor expansion of 2 in l 166.885 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in l 166.885 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 166.885 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 166.885 * [taylor]: Taking taylor expansion of 0.5 in l 166.885 * [taylor]: Taking taylor expansion of K in l 166.885 * [taylor]: Taking taylor expansion of (* J l) in l 166.885 * [taylor]: Taking taylor expansion of J in l 166.885 * [taylor]: Taking taylor expansion of l in l 166.885 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in K 166.885 * [taylor]: Taking taylor expansion of 2 in K 166.885 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in K 166.885 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 166.885 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 166.885 * [taylor]: Taking taylor expansion of 0.5 in K 166.885 * [taylor]: Taking taylor expansion of K in K 166.886 * [taylor]: Taking taylor expansion of (* J l) in K 166.886 * [taylor]: Taking taylor expansion of J in K 166.886 * [taylor]: Taking taylor expansion of l in K 166.886 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in J 166.886 * [taylor]: Taking taylor expansion of 2 in J 166.886 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 166.886 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 166.886 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 166.886 * [taylor]: Taking taylor expansion of 0.5 in J 166.886 * [taylor]: Taking taylor expansion of K in J 166.886 * [taylor]: Taking taylor expansion of (* J l) in J 166.886 * [taylor]: Taking taylor expansion of J in J 166.886 * [taylor]: Taking taylor expansion of l in J 166.886 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in J 166.886 * [taylor]: Taking taylor expansion of 2 in J 166.886 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 166.886 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 166.886 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 166.886 * [taylor]: Taking taylor expansion of 0.5 in J 166.886 * [taylor]: Taking taylor expansion of K in J 166.886 * [taylor]: Taking taylor expansion of (* J l) in J 166.886 * [taylor]: Taking taylor expansion of J in J 166.886 * [taylor]: Taking taylor expansion of l in J 166.887 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) l)) in K 166.887 * [taylor]: Taking taylor expansion of 2 in K 166.887 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in K 166.887 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 166.887 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 166.887 * [taylor]: Taking taylor expansion of 0.5 in K 166.887 * [taylor]: Taking taylor expansion of K in K 166.887 * [taylor]: Taking taylor expansion of l in K 166.887 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) l)) in l 166.887 * [taylor]: Taking taylor expansion of 2 in l 166.887 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in l 166.887 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 166.887 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 166.887 * [taylor]: Taking taylor expansion of 0.5 in l 166.887 * [taylor]: Taking taylor expansion of K in l 166.887 * [taylor]: Taking taylor expansion of l in l 166.888 * [taylor]: Taking taylor expansion of 0 in K 166.888 * [taylor]: Taking taylor expansion of 0 in l 166.888 * [taylor]: Taking taylor expansion of 0 in l 166.889 * [taylor]: Taking taylor expansion of 0 in K 166.889 * [taylor]: Taking taylor expansion of 0 in l 166.889 * [taylor]: Taking taylor expansion of 0 in l 166.889 * [taylor]: Taking taylor expansion of 0 in l 166.890 * [taylor]: Taking taylor expansion of 0 in K 166.891 * [taylor]: Taking taylor expansion of 0 in l 166.891 * [taylor]: Taking taylor expansion of 0 in l 166.891 * [taylor]: Taking taylor expansion of 0 in l 166.891 * [taylor]: Taking taylor expansion of 0 in l 166.891 * [approximate]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in (J K l) around 0 166.891 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in l 166.891 * [taylor]: Taking taylor expansion of 2 in l 166.891 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in l 166.891 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 166.891 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 166.891 * [taylor]: Taking taylor expansion of -0.5 in l 166.891 * [taylor]: Taking taylor expansion of K in l 166.891 * [taylor]: Taking taylor expansion of (* J l) in l 166.891 * [taylor]: Taking taylor expansion of J in l 166.891 * [taylor]: Taking taylor expansion of l in l 166.892 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in K 166.892 * [taylor]: Taking taylor expansion of 2 in K 166.892 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in K 166.892 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 166.892 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 166.892 * [taylor]: Taking taylor expansion of -0.5 in K 166.892 * [taylor]: Taking taylor expansion of K in K 166.892 * [taylor]: Taking taylor expansion of (* J l) in K 166.892 * [taylor]: Taking taylor expansion of J in K 166.892 * [taylor]: Taking taylor expansion of l in K 166.892 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in J 166.892 * [taylor]: Taking taylor expansion of 2 in J 166.892 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 166.892 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 166.892 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 166.892 * [taylor]: Taking taylor expansion of -0.5 in J 166.892 * [taylor]: Taking taylor expansion of K in J 166.892 * [taylor]: Taking taylor expansion of (* J l) in J 166.892 * [taylor]: Taking taylor expansion of J in J 166.892 * [taylor]: Taking taylor expansion of l in J 166.892 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in J 166.892 * [taylor]: Taking taylor expansion of 2 in J 166.892 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 166.892 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 166.892 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 166.892 * [taylor]: Taking taylor expansion of -0.5 in J 166.892 * [taylor]: Taking taylor expansion of K in J 166.893 * [taylor]: Taking taylor expansion of (* J l) in J 166.893 * [taylor]: Taking taylor expansion of J in J 166.893 * [taylor]: Taking taylor expansion of l in J 166.893 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) l)) in K 166.893 * [taylor]: Taking taylor expansion of 2 in K 166.893 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in K 166.893 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 166.893 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 166.893 * [taylor]: Taking taylor expansion of -0.5 in K 166.893 * [taylor]: Taking taylor expansion of K in K 166.893 * [taylor]: Taking taylor expansion of l in K 166.893 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) l)) in l 166.893 * [taylor]: Taking taylor expansion of 2 in l 166.893 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in l 166.893 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 166.893 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 166.893 * [taylor]: Taking taylor expansion of -0.5 in l 166.893 * [taylor]: Taking taylor expansion of K in l 166.894 * [taylor]: Taking taylor expansion of l in l 166.894 * [taylor]: Taking taylor expansion of 0 in K 166.894 * [taylor]: Taking taylor expansion of 0 in l 166.894 * [taylor]: Taking taylor expansion of 0 in l 166.895 * [taylor]: Taking taylor expansion of 0 in K 166.895 * [taylor]: Taking taylor expansion of 0 in l 166.895 * [taylor]: Taking taylor expansion of 0 in l 166.896 * [taylor]: Taking taylor expansion of 0 in l 166.897 * [taylor]: Taking taylor expansion of 0 in K 166.897 * [taylor]: Taking taylor expansion of 0 in l 166.897 * [taylor]: Taking taylor expansion of 0 in l 166.897 * [taylor]: Taking taylor expansion of 0 in l 166.897 * [taylor]: Taking taylor expansion of 0 in l 166.897 * * * [progress]: simplifying candidates 166.898 * [simplify]: Simplifying using # : (* (cos (* 0.5 K)) l) (+ (log (cos (* 0.5 K))) (log l)) (log (* (cos (* 0.5 K)) l)) (exp (* (cos (* 0.5 K)) l)) (* (* (* (cos (* 0.5 K)) (cos (* 0.5 K))) (cos (* 0.5 K))) (* (* l l) l)) (* (cbrt (* (cos (* 0.5 K)) l)) (cbrt (* (cos (* 0.5 K)) l))) (cbrt (* (cos (* 0.5 K)) l)) (* (* (* (cos (* 0.5 K)) l) (* (cos (* 0.5 K)) l)) (* (cos (* 0.5 K)) l)) (sqrt (* (cos (* 0.5 K)) l)) (sqrt (* (cos (* 0.5 K)) l)) (* (sqrt (cos (* 0.5 K))) (sqrt l)) (* (sqrt (cos (* 0.5 K))) (sqrt l)) (* (cos (* 0.5 K)) (* (cbrt l) (cbrt l))) (* (cos (* 0.5 K)) (sqrt l)) (* (cos (* 0.5 K)) 1) (* (cbrt (cos (* 0.5 K))) l) (* (sqrt (cos (* 0.5 K))) l) (* (cos (* 0.5 K)) l) (* J (* (cos (* 0.5 K)) l)) (* J (* (cos (* 0.5 K)) l)) (+ (log J) (+ (log (cos (* 0.5 K))) (log l))) (+ (log J) (log (* (cos (* 0.5 K)) l))) (log (* J (* (cos (* 0.5 K)) l))) (exp (* J (* (cos (* 0.5 K)) l))) (* (* (* J J) J) (* (* (* (cos (* 0.5 K)) (cos (* 0.5 K))) (cos (* 0.5 K))) (* (* l l) l))) (* (* (* J J) J) (* (* (* (cos (* 0.5 K)) l) (* (cos (* 0.5 K)) l)) (* (cos (* 0.5 K)) l))) (* (cbrt (* J (* (cos (* 0.5 K)) l))) (cbrt (* J (* (cos (* 0.5 K)) l)))) (cbrt (* J (* (cos (* 0.5 K)) l))) (* (* (* J (* (cos (* 0.5 K)) l)) (* J (* (cos (* 0.5 K)) l))) (* J (* (cos (* 0.5 K)) l))) (sqrt (* J (* (cos (* 0.5 K)) l))) (sqrt (* J (* (cos (* 0.5 K)) l))) (* J (cos (* 0.5 K))) (* (cbrt J) (* (cos (* 0.5 K)) l)) (* (sqrt J) (* (cos (* 0.5 K)) l)) (* J (* (cos (* 0.5 K)) l)) (* 2 (* J (* (cos (* 0.5 K)) l))) (* 2 (* J (* (cos (* 0.5 K)) l))) (* 2 (* J (* (cos (* 0.5 K)) l))) (+ (log 2) (+ (log J) (+ (log (cos (* 0.5 K))) (log l)))) (+ (log 2) (+ (log J) (log (* (cos (* 0.5 K)) l)))) (+ (log 2) (log (* J (* (cos (* 0.5 K)) l)))) (log (* 2 (* J (* (cos (* 0.5 K)) l)))) (exp (* 2 (* J (* (cos (* 0.5 K)) l)))) (* (* (* 2 2) 2) (* (* (* J J) J) (* (* (* (cos (* 0.5 K)) (cos (* 0.5 K))) (cos (* 0.5 K))) (* (* l l) l)))) (* (* (* 2 2) 2) (* (* (* J J) J) (* (* (* (cos (* 0.5 K)) l) (* (cos (* 0.5 K)) l)) (* (cos (* 0.5 K)) l)))) (* (* (* 2 2) 2) (* (* (* J (* (cos (* 0.5 K)) l)) (* J (* (cos (* 0.5 K)) l))) (* J (* (cos (* 0.5 K)) l)))) (* (cbrt (* 2 (* J (* (cos (* 0.5 K)) l)))) (cbrt (* 2 (* J (* (cos (* 0.5 K)) l))))) (cbrt (* 2 (* J (* (cos (* 0.5 K)) l)))) (* (* (* 2 (* J (* (cos (* 0.5 K)) l))) (* 2 (* J (* (cos (* 0.5 K)) l)))) (* 2 (* J (* (cos (* 0.5 K)) l)))) (sqrt (* 2 (* J (* (cos (* 0.5 K)) l)))) (sqrt (* 2 (* J (* (cos (* 0.5 K)) l)))) (* 2 J) (* (cbrt 2) (* J (* (cos (* 0.5 K)) l))) (* (sqrt 2) (* J (* (cos (* 0.5 K)) l))) (* 2 (* J (* (cos (* 0.5 K)) l))) (- l (* 0.125 (* (pow K 2) l))) (* (cos (* 0.5 K)) l) (* (cos (* 0.5 K)) l) 0 (* J (* (cos (* 0.5 K)) l)) (* J (* (cos (* 0.5 K)) l)) 0 (* 2 (* J (* (cos (* 0.5 K)) l))) (* 2 (* J (* (cos (* 0.5 K)) l))) 166.899 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 166.900 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 166.900 * * [simplify]: iteration done : 8 enodes (cost 6 ) 166.901 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 166.902 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 166.903 * * [simplify]: iteration done : 10 enodes (cost 8 ) 166.903 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 166.904 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 166.905 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 166.907 * * [simplify]: iteration done : 13 enodes (cost 7 ) 166.907 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 166.908 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 166.910 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 166.912 * * [simplify]: iteration 3 : 25 enodes (cost 7 ) 166.915 * * [simplify]: iteration 4 : 48 enodes (cost 7 ) 166.922 * * [simplify]: iteration 5 : 104 enodes (cost 7 ) 166.959 * * [simplify]: iteration 6 : 250 enodes (cost 7 ) 167.109 * * [simplify]: iteration 7 : 711 enodes (cost 7 ) 168.020 * * [simplify]: iteration 8 : 2455 enodes (cost 7 ) 169.770 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 169.770 * * [simplify]: iteration 0 : 10 enodes (cost 20 ) 169.772 * * [simplify]: iteration 1 : 18 enodes (cost 20 ) 169.775 * * [simplify]: iteration 2 : 43 enodes (cost 10 ) 169.784 * * [simplify]: iteration 3 : 82 enodes (cost 10 ) 169.805 * * [simplify]: iteration 4 : 140 enodes (cost 8 ) 169.860 * * [simplify]: iteration 5 : 270 enodes (cost 8 ) 170.011 * * [simplify]: iteration 6 : 674 enodes (cost 8 ) 170.955 * * [simplify]: iteration 7 : 2453 enodes (cost 8 ) 173.013 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 173.014 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 173.015 * * [simplify]: iteration 1 : 10 enodes (cost 15 ) 173.016 * * [simplify]: iteration done : 10 enodes (cost 15 ) 173.016 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 173.017 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 173.018 * * [simplify]: iteration done : 9 enodes (cost 7 ) 173.019 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 173.020 * * [simplify]: iteration 1 : 20 enodes (cost 20 ) 173.030 * * [simplify]: iteration 2 : 49 enodes (cost 8 ) 173.043 * * [simplify]: iteration 3 : 93 enodes (cost 8 ) 173.066 * * [simplify]: iteration 4 : 109 enodes (cost 8 ) 173.098 * * [simplify]: iteration 5 : 155 enodes (cost 8 ) 173.160 * * [simplify]: iteration 6 : 295 enodes (cost 8 ) 173.328 * * [simplify]: iteration 7 : 748 enodes (cost 8 ) 174.411 * * [simplify]: iteration 8 : 2722 enodes (cost 8 ) 176.557 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 176.557 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 176.558 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 176.559 * * [simplify]: iteration done : 9 enodes (cost 7 ) 176.560 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 176.560 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 176.562 * * [simplify]: iteration done : 9 enodes (cost 7 ) 176.562 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 176.563 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 176.564 * * [simplify]: iteration done : 10 enodes (cost 8 ) 176.565 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 176.565 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 176.567 * * [simplify]: iteration done : 10 enodes (cost 8 ) 176.567 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 176.568 * * [simplify]: iteration 1 : 12 enodes (cost 10 ) 176.569 * * [simplify]: iteration 2 : 14 enodes (cost 10 ) 176.571 * * [simplify]: iteration done : 14 enodes (cost 10 ) 176.572 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 176.572 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 176.573 * * [simplify]: iteration done : 9 enodes (cost 7 ) 176.574 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 176.575 * * [simplify]: iteration 1 : 10 enodes (cost 4 ) 176.576 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 176.577 * * [simplify]: iteration done : 13 enodes (cost 4 ) 176.577 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 176.578 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 176.579 * * [simplify]: iteration done : 9 enodes (cost 7 ) 176.580 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 176.580 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 176.581 * * [simplify]: iteration done : 9 enodes (cost 7 ) 176.582 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 176.582 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 176.583 * * [simplify]: iteration done : 8 enodes (cost 6 ) 176.584 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 176.585 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 176.586 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 176.589 * * [simplify]: iteration done : 19 enodes (cost 8 ) 176.589 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 176.590 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 176.592 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 176.594 * * [simplify]: iteration done : 19 enodes (cost 8 ) 176.595 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 176.596 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 176.597 * * [simplify]: iteration 2 : 22 enodes (cost 11 ) 176.600 * * [simplify]: iteration done : 22 enodes (cost 11 ) 176.600 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 176.602 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 176.603 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 176.606 * * [simplify]: iteration 3 : 25 enodes (cost 10 ) 176.608 * * [simplify]: iteration done : 25 enodes (cost 10 ) 176.612 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 176.613 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 176.615 * * [simplify]: iteration 2 : 30 enodes (cost 9 ) 176.619 * * [simplify]: iteration 3 : 42 enodes (cost 9 ) 176.624 * * [simplify]: iteration done : 42 enodes (cost 9 ) 176.625 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 176.626 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 176.628 * * [simplify]: iteration 2 : 30 enodes (cost 9 ) 176.632 * * [simplify]: iteration 3 : 55 enodes (cost 9 ) 176.640 * * [simplify]: iteration 4 : 112 enodes (cost 9 ) 176.659 * * [simplify]: iteration 5 : 251 enodes (cost 9 ) 176.774 * * [simplify]: iteration 6 : 613 enodes (cost 9 ) 177.646 * * [simplify]: iteration 7 : 1799 enodes (cost 9 ) 179.860 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 179.861 * * [simplify]: iteration 0 : 14 enodes (cost 26 ) 179.869 * * [simplify]: iteration 1 : 28 enodes (cost 26 ) 179.875 * * [simplify]: iteration 2 : 94 enodes (cost 14 ) 179.908 * * [simplify]: iteration 3 : 330 enodes (cost 14 ) 180.195 * * [simplify]: iteration 4 : 1050 enodes (cost 12 ) 182.079 * * [simplify]: iteration 5 : 3012 enodes (cost 12 ) 184.472 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 184.473 * * [simplify]: iteration 0 : 12 enodes (cost 26 ) 184.474 * * [simplify]: iteration 1 : 30 enodes (cost 26 ) 184.480 * * [simplify]: iteration 2 : 98 enodes (cost 12 ) 184.525 * * [simplify]: iteration 3 : 380 enodes (cost 12 ) 184.921 * * [simplify]: iteration 4 : 1120 enodes (cost 10 ) 186.811 * * [simplify]: iteration 5 : 2187 enodes (cost 10 ) 192.001 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 192.002 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 192.003 * * [simplify]: iteration 1 : 15 enodes (cost 19 ) 192.005 * * [simplify]: iteration 2 : 21 enodes (cost 19 ) 192.008 * * [simplify]: iteration done : 21 enodes (cost 19 ) 192.009 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 192.010 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 192.011 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 192.014 * * [simplify]: iteration 3 : 22 enodes (cost 9 ) 192.016 * * [simplify]: iteration done : 22 enodes (cost 9 ) 192.017 * * [simplify]: iteration 0 : 10 enodes (cost 26 ) 192.018 * * [simplify]: iteration 1 : 25 enodes (cost 26 ) 192.024 * * [simplify]: iteration 2 : 96 enodes (cost 10 ) 192.074 * * [simplify]: iteration 3 : 418 enodes (cost 10 ) 192.586 * * [simplify]: iteration 4 : 1117 enodes (cost 10 ) 194.246 * * [simplify]: iteration 5 : 1572 enodes (cost 10 ) 197.104 * * [simplify]: iteration 6 : 3035 enodes (cost 10 ) 199.084 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 199.085 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 199.086 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 199.088 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 199.090 * * [simplify]: iteration 3 : 22 enodes (cost 9 ) 199.092 * * [simplify]: iteration done : 22 enodes (cost 9 ) 199.093 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 199.094 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 199.096 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 199.098 * * [simplify]: iteration 3 : 22 enodes (cost 9 ) 199.101 * * [simplify]: iteration done : 22 enodes (cost 9 ) 199.101 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 199.102 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 199.103 * * [simplify]: iteration done : 8 enodes (cost 6 ) 199.103 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 199.104 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 199.106 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 199.108 * * [simplify]: iteration done : 20 enodes (cost 9 ) 199.109 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 199.110 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 199.112 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 199.114 * * [simplify]: iteration done : 20 enodes (cost 9 ) 199.115 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 199.116 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 199.118 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 199.123 * * [simplify]: iteration done : 19 enodes (cost 8 ) 199.124 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 199.125 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 199.128 * * [simplify]: iteration 2 : 38 enodes (cost 10 ) 199.134 * * [simplify]: iteration 3 : 64 enodes (cost 10 ) 199.147 * * [simplify]: iteration 4 : 70 enodes (cost 10 ) 199.159 * * [simplify]: iteration done : 70 enodes (cost 10 ) 199.159 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 199.161 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 199.163 * * [simplify]: iteration 2 : 38 enodes (cost 10 ) 199.170 * * [simplify]: iteration 3 : 64 enodes (cost 10 ) 199.184 * * [simplify]: iteration 4 : 70 enodes (cost 10 ) 199.197 * * [simplify]: iteration done : 70 enodes (cost 10 ) 199.198 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 199.199 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 199.201 * * [simplify]: iteration 2 : 38 enodes (cost 10 ) 199.208 * * [simplify]: iteration 3 : 64 enodes (cost 10 ) 199.220 * * [simplify]: iteration 4 : 70 enodes (cost 10 ) 199.233 * * [simplify]: iteration done : 70 enodes (cost 10 ) 199.234 * * [simplify]: iteration 0 : 14 enodes (cost 14 ) 199.236 * * [simplify]: iteration 1 : 22 enodes (cost 14 ) 199.238 * * [simplify]: iteration 2 : 42 enodes (cost 14 ) 199.245 * * [simplify]: iteration 3 : 70 enodes (cost 14 ) 199.256 * * [simplify]: iteration 4 : 76 enodes (cost 14 ) 199.267 * * [simplify]: iteration done : 76 enodes (cost 14 ) 199.268 * * [simplify]: iteration 0 : 13 enodes (cost 13 ) 199.269 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 199.272 * * [simplify]: iteration 2 : 35 enodes (cost 13 ) 199.276 * * [simplify]: iteration 3 : 61 enodes (cost 13 ) 199.285 * * [simplify]: iteration 4 : 70 enodes (cost 13 ) 199.298 * * [simplify]: iteration done : 70 enodes (cost 13 ) 199.298 * * [simplify]: iteration 0 : 12 enodes (cost 12 ) 199.300 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 199.303 * * [simplify]: iteration 2 : 38 enodes (cost 12 ) 199.308 * * [simplify]: iteration 3 : 67 enodes (cost 12 ) 199.318 * * [simplify]: iteration 4 : 96 enodes (cost 12 ) 199.332 * * [simplify]: iteration done : 96 enodes (cost 12 ) 199.333 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 199.334 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 199.337 * * [simplify]: iteration 2 : 52 enodes (cost 11 ) 199.348 * * [simplify]: iteration 3 : 111 enodes (cost 11 ) 199.370 * * [simplify]: iteration 4 : 162 enodes (cost 11 ) 199.399 * * [simplify]: iteration 5 : 166 enodes (cost 11 ) 199.433 * * [simplify]: iteration done : 166 enodes (cost 11 ) 199.434 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 199.436 * * [simplify]: iteration 1 : 21 enodes (cost 11 ) 199.439 * * [simplify]: iteration 2 : 49 enodes (cost 11 ) 199.448 * * [simplify]: iteration 3 : 125 enodes (cost 11 ) 199.487 * * [simplify]: iteration 4 : 275 enodes (cost 11 ) 199.583 * * [simplify]: iteration 5 : 767 enodes (cost 11 ) 200.317 * * [simplify]: iteration 6 : 2116 enodes (cost 11 ) 202.555 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 202.556 * * [simplify]: iteration 0 : 18 enodes (cost 32 ) 202.559 * * [simplify]: iteration 1 : 40 enodes (cost 28 ) 202.567 * * [simplify]: iteration 2 : 141 enodes (cost 16 ) 202.636 * * [simplify]: iteration 3 : 692 enodes (cost 16 ) 203.825 * * [simplify]: iteration 4 : 3390 enodes (cost 14 ) 205.950 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 205.951 * * [simplify]: iteration 0 : 16 enodes (cost 32 ) 205.954 * * [simplify]: iteration 1 : 42 enodes (cost 28 ) 205.961 * * [simplify]: iteration 2 : 143 enodes (cost 14 ) 206.033 * * [simplify]: iteration 3 : 724 enodes (cost 14 ) 207.609 * * [simplify]: iteration 4 : 3746 enodes (cost 12 ) 209.486 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 209.487 * * [simplify]: iteration 0 : 14 enodes (cost 32 ) 209.489 * * [simplify]: iteration 1 : 37 enodes (cost 28 ) 209.505 * * [simplify]: iteration 2 : 139 enodes (cost 12 ) 209.587 * * [simplify]: iteration 3 : 780 enodes (cost 12 ) 211.507 * * [simplify]: iteration 4 : 3956 enodes (cost 12 ) 213.395 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 213.396 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 213.403 * * [simplify]: iteration 1 : 20 enodes (cost 23 ) 213.406 * * [simplify]: iteration 2 : 40 enodes (cost 23 ) 213.413 * * [simplify]: iteration 3 : 65 enodes (cost 23 ) 213.424 * * [simplify]: iteration 4 : 66 enodes (cost 23 ) 213.436 * * [simplify]: iteration done : 66 enodes (cost 23 ) 213.437 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 213.438 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 213.441 * * [simplify]: iteration 2 : 39 enodes (cost 11 ) 213.447 * * [simplify]: iteration 3 : 67 enodes (cost 11 ) 213.462 * * [simplify]: iteration 4 : 73 enodes (cost 11 ) 213.474 * * [simplify]: iteration done : 73 enodes (cost 11 ) 213.475 * * [simplify]: iteration 0 : 12 enodes (cost 32 ) 213.476 * * [simplify]: iteration 1 : 31 enodes (cost 30 ) 213.482 * * [simplify]: iteration 2 : 127 enodes (cost 12 ) 213.567 * * [simplify]: iteration 3 : 794 enodes (cost 12 ) 215.914 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 215.914 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 215.916 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 215.918 * * [simplify]: iteration 2 : 39 enodes (cost 11 ) 215.926 * * [simplify]: iteration 3 : 67 enodes (cost 11 ) 215.938 * * [simplify]: iteration 4 : 73 enodes (cost 11 ) 215.952 * * [simplify]: iteration done : 73 enodes (cost 11 ) 215.953 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 215.954 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 215.957 * * [simplify]: iteration 2 : 39 enodes (cost 11 ) 215.965 * * [simplify]: iteration 3 : 67 enodes (cost 11 ) 215.977 * * [simplify]: iteration 4 : 73 enodes (cost 11 ) 215.989 * * [simplify]: iteration done : 73 enodes (cost 11 ) 215.990 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 215.990 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 215.990 * * [simplify]: iteration done : 4 enodes (cost 3 ) 215.991 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 215.992 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 215.995 * * [simplify]: iteration 2 : 39 enodes (cost 11 ) 216.004 * * [simplify]: iteration 3 : 63 enodes (cost 11 ) 216.016 * * [simplify]: iteration 4 : 64 enodes (cost 11 ) 216.028 * * [simplify]: iteration done : 64 enodes (cost 11 ) 216.029 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 216.030 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 216.032 * * [simplify]: iteration 2 : 39 enodes (cost 11 ) 216.039 * * [simplify]: iteration 3 : 63 enodes (cost 11 ) 216.050 * * [simplify]: iteration 4 : 64 enodes (cost 11 ) 216.064 * * [simplify]: iteration done : 64 enodes (cost 11 ) 216.065 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 216.067 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 216.069 * * [simplify]: iteration 2 : 38 enodes (cost 10 ) 216.076 * * [simplify]: iteration 3 : 64 enodes (cost 10 ) 216.088 * * [simplify]: iteration 4 : 70 enodes (cost 10 ) 216.100 * * [simplify]: iteration done : 70 enodes (cost 10 ) 216.100 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 216.101 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 216.105 * * [simplify]: iteration 2 : 56 enodes (cost 9 ) 216.117 * * [simplify]: iteration 3 : 121 enodes (cost 9 ) 216.151 * * [simplify]: iteration 4 : 185 enodes (cost 9 ) 216.194 * * [simplify]: iteration 5 : 205 enodes (cost 9 ) 216.244 * * [simplify]: iteration 6 : 228 enodes (cost 9 ) 216.293 * * [simplify]: iteration 7 : 290 enodes (cost 9 ) 216.384 * * [simplify]: iteration 8 : 503 enodes (cost 9 ) 216.870 * * [simplify]: iteration 9 : 1422 enodes (cost 9 ) 219.105 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 219.106 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 219.107 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 219.107 * * [simplify]: iteration done : 8 enodes (cost 6 ) 219.108 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 219.109 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 219.109 * * [simplify]: iteration done : 8 enodes (cost 6 ) 219.110 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 219.110 * * [simplify]: iteration done : 1 enodes (cost 1 ) 219.111 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 219.112 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 219.113 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 219.115 * * [simplify]: iteration done : 19 enodes (cost 8 ) 219.116 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 219.117 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 219.118 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 219.121 * * [simplify]: iteration done : 19 enodes (cost 8 ) 219.121 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 219.121 * * [simplify]: iteration done : 1 enodes (cost 1 ) 219.122 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 219.123 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 219.126 * * [simplify]: iteration 2 : 38 enodes (cost 10 ) 219.132 * * [simplify]: iteration 3 : 64 enodes (cost 10 ) 219.144 * * [simplify]: iteration 4 : 70 enodes (cost 10 ) 219.161 * * [simplify]: iteration done : 70 enodes (cost 10 ) 219.162 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 219.163 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 219.166 * * [simplify]: iteration 2 : 38 enodes (cost 10 ) 219.172 * * [simplify]: iteration 3 : 64 enodes (cost 10 ) 219.183 * * [simplify]: iteration 4 : 70 enodes (cost 10 ) 219.195 * * [simplify]: iteration done : 70 enodes (cost 10 ) 219.196 * [simplify]: Simplified to: (* (cos (* 0.5 K)) l) (+ (log (cos (* 0.5 K))) (log l)) (log (* (cos (* 0.5 K)) l)) (exp (* (cos (* 0.5 K)) l)) (pow (* (cos (* 0.5 K)) l) 3) (* (cbrt (* (cos (* 0.5 K)) l)) (cbrt (* (cos (* 0.5 K)) l))) (cbrt (* (cos (* 0.5 K)) l)) (pow (* (cos (* 0.5 K)) l) 3) (sqrt (* (cos (* 0.5 K)) l)) (sqrt (* (cos (* 0.5 K)) l)) (* (sqrt (cos (* 0.5 K))) (sqrt l)) (* (sqrt (cos (* 0.5 K))) (sqrt l)) (* (cos (* 0.5 K)) (* (cbrt l) (cbrt l))) (* (cos (* 0.5 K)) (sqrt l)) (cos (* 0.5 K)) (* (cbrt (cos (* 0.5 K))) l) (* (sqrt (cos (* 0.5 K))) l) (* (cos (* 0.5 K)) l) (* J (* (cos (* 0.5 K)) l)) (* J (* (cos (* 0.5 K)) l)) (+ (log J) (+ (log (cos (* 0.5 K))) (log l))) (+ (log J) (log (* (cos (* 0.5 K)) l))) (log (* J (* (cos (* 0.5 K)) l))) (exp (* J (* (cos (* 0.5 K)) l))) (* (pow J 3) (pow (* (cos (* 0.5 K)) l) 3)) (pow (* J (* (cos (* 0.5 K)) l)) 3) (* (cbrt (* J (* (cos (* 0.5 K)) l))) (cbrt (* J (* (cos (* 0.5 K)) l)))) (cbrt (* J (* (cos (* 0.5 K)) l))) (pow (* J (* (cos (* 0.5 K)) l)) 3) (sqrt (* J (* (cos (* 0.5 K)) l))) (sqrt (* J (* (cos (* 0.5 K)) l))) (* J (cos (* 0.5 K))) (* (cbrt J) (* (cos (* 0.5 K)) l)) (* (sqrt J) (* (cos (* 0.5 K)) l)) (* J (* (cos (* 0.5 K)) l)) (* 2 (* J (* (cos (* 0.5 K)) l))) (* 2 (* J (* (cos (* 0.5 K)) l))) (* 2 (* J (* (cos (* 0.5 K)) l))) (+ (log 2) (+ (log J) (+ (log (cos (* 0.5 K))) (log l)))) (+ (log 2) (+ (log J) (log (* (cos (* 0.5 K)) l)))) (+ (log 2) (log (* J (* (cos (* 0.5 K)) l)))) (log (* 2 (* J (* (cos (* 0.5 K)) l)))) (exp (* 2 (* J (* (cos (* 0.5 K)) l)))) (* (pow (* (cos (* 0.5 K)) l) 3) (* 8 (pow J 3))) (* 8 (pow (* J (* (cos (* 0.5 K)) l)) 3)) (* 8 (pow (* J (* (cos (* 0.5 K)) l)) 3)) (* (cbrt (* 2 (* J (* (cos (* 0.5 K)) l)))) (cbrt (* 2 (* J (* (cos (* 0.5 K)) l))))) (cbrt (* 2 (* J (* (cos (* 0.5 K)) l)))) (pow (* 2 (* J (* (cos (* 0.5 K)) l))) 3) (sqrt (* 2 (* J (* (cos (* 0.5 K)) l)))) (sqrt (* 2 (* J (* (cos (* 0.5 K)) l)))) (* 2 J) (* (cbrt 2) (* J (* (cos (* 0.5 K)) l))) (* (sqrt 2) (* J (* (cos (* 0.5 K)) l))) (* 2 (* J (* (cos (* 0.5 K)) l))) (- l (* 0.125 (* (pow K 2) l))) (* (cos (* 0.5 K)) l) (* (cos (* 0.5 K)) l) 0 (* J (* (cos (* 0.5 K)) l)) (* J (* (cos (* 0.5 K)) l)) 0 (* 2 (* J (* (cos (* 0.5 K)) l))) (* 2 (* J (* (cos (* 0.5 K)) l))) 219.196 * * * [progress]: adding candidates to table 219.301 * * [progress]: iteration 4 / 4 219.301 * * * [progress]: picking best candidate 219.343 * * * * [pick]: Picked # 219.343 * * * [progress]: localizing error 219.354 * * * [progress]: generating rewritten candidates 219.354 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 219.361 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2 1) 219.371 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 219.382 * * * [progress]: generating series expansions 219.382 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 219.382 * [approximate]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in (J K l) around 0 219.382 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in l 219.382 * [taylor]: Taking taylor expansion of J in l 219.382 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l 219.382 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 219.382 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 219.382 * [taylor]: Taking taylor expansion of 0.5 in l 219.382 * [taylor]: Taking taylor expansion of K in l 219.382 * [taylor]: Taking taylor expansion of l in l 219.382 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in K 219.382 * [taylor]: Taking taylor expansion of J in K 219.382 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 219.382 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 219.383 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 219.383 * [taylor]: Taking taylor expansion of 0.5 in K 219.383 * [taylor]: Taking taylor expansion of K in K 219.383 * [taylor]: Taking taylor expansion of l in K 219.383 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 219.383 * [taylor]: Taking taylor expansion of J in J 219.383 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 219.383 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 219.383 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 219.383 * [taylor]: Taking taylor expansion of 0.5 in J 219.383 * [taylor]: Taking taylor expansion of K in J 219.383 * [taylor]: Taking taylor expansion of l in J 219.383 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 219.383 * [taylor]: Taking taylor expansion of J in J 219.383 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 219.383 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 219.383 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 219.383 * [taylor]: Taking taylor expansion of 0.5 in J 219.383 * [taylor]: Taking taylor expansion of K in J 219.383 * [taylor]: Taking taylor expansion of l in J 219.383 * [taylor]: Taking taylor expansion of 0 in K 219.383 * [taylor]: Taking taylor expansion of 0 in l 219.384 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 219.384 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 219.384 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 219.384 * [taylor]: Taking taylor expansion of 0.5 in K 219.384 * [taylor]: Taking taylor expansion of K in K 219.384 * [taylor]: Taking taylor expansion of l in K 219.384 * [taylor]: Taking taylor expansion of l in l 219.384 * [taylor]: Taking taylor expansion of 0 in l 219.384 * [taylor]: Taking taylor expansion of 0 in K 219.384 * [taylor]: Taking taylor expansion of 0 in l 219.384 * [taylor]: Taking taylor expansion of 0 in l 219.385 * [approximate]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in (J K l) around 0 219.385 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in l 219.385 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 219.385 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 219.385 * [taylor]: Taking taylor expansion of 0.5 in l 219.385 * [taylor]: Taking taylor expansion of K in l 219.385 * [taylor]: Taking taylor expansion of (* J l) in l 219.385 * [taylor]: Taking taylor expansion of J in l 219.385 * [taylor]: Taking taylor expansion of l in l 219.385 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in K 219.385 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 219.385 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 219.385 * [taylor]: Taking taylor expansion of 0.5 in K 219.385 * [taylor]: Taking taylor expansion of K in K 219.385 * [taylor]: Taking taylor expansion of (* J l) in K 219.385 * [taylor]: Taking taylor expansion of J in K 219.385 * [taylor]: Taking taylor expansion of l in K 219.385 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 219.385 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 219.385 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 219.385 * [taylor]: Taking taylor expansion of 0.5 in J 219.385 * [taylor]: Taking taylor expansion of K in J 219.385 * [taylor]: Taking taylor expansion of (* J l) in J 219.385 * [taylor]: Taking taylor expansion of J in J 219.385 * [taylor]: Taking taylor expansion of l in J 219.386 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 219.386 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 219.386 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 219.386 * [taylor]: Taking taylor expansion of 0.5 in J 219.386 * [taylor]: Taking taylor expansion of K in J 219.386 * [taylor]: Taking taylor expansion of (* J l) in J 219.386 * [taylor]: Taking taylor expansion of J in J 219.386 * [taylor]: Taking taylor expansion of l in J 219.386 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in K 219.386 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 219.386 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 219.386 * [taylor]: Taking taylor expansion of 0.5 in K 219.386 * [taylor]: Taking taylor expansion of K in K 219.386 * [taylor]: Taking taylor expansion of l in K 219.386 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in l 219.386 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 219.386 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 219.386 * [taylor]: Taking taylor expansion of 0.5 in l 219.386 * [taylor]: Taking taylor expansion of K in l 219.387 * [taylor]: Taking taylor expansion of l in l 219.387 * [taylor]: Taking taylor expansion of 0 in K 219.387 * [taylor]: Taking taylor expansion of 0 in l 219.387 * [taylor]: Taking taylor expansion of 0 in l 219.388 * [taylor]: Taking taylor expansion of 0 in K 219.388 * [taylor]: Taking taylor expansion of 0 in l 219.388 * [taylor]: Taking taylor expansion of 0 in l 219.388 * [taylor]: Taking taylor expansion of 0 in l 219.390 * [taylor]: Taking taylor expansion of 0 in K 219.390 * [taylor]: Taking taylor expansion of 0 in l 219.390 * [taylor]: Taking taylor expansion of 0 in l 219.390 * [taylor]: Taking taylor expansion of 0 in l 219.390 * [taylor]: Taking taylor expansion of 0 in l 219.390 * [approximate]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in (J K l) around 0 219.390 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in l 219.390 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 219.390 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 219.390 * [taylor]: Taking taylor expansion of -0.5 in l 219.390 * [taylor]: Taking taylor expansion of K in l 219.390 * [taylor]: Taking taylor expansion of (* J l) in l 219.390 * [taylor]: Taking taylor expansion of J in l 219.390 * [taylor]: Taking taylor expansion of l in l 219.391 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in K 219.391 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 219.391 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 219.391 * [taylor]: Taking taylor expansion of -0.5 in K 219.391 * [taylor]: Taking taylor expansion of K in K 219.391 * [taylor]: Taking taylor expansion of (* J l) in K 219.391 * [taylor]: Taking taylor expansion of J in K 219.391 * [taylor]: Taking taylor expansion of l in K 219.391 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 219.391 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 219.391 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 219.391 * [taylor]: Taking taylor expansion of -0.5 in J 219.391 * [taylor]: Taking taylor expansion of K in J 219.391 * [taylor]: Taking taylor expansion of (* J l) in J 219.391 * [taylor]: Taking taylor expansion of J in J 219.391 * [taylor]: Taking taylor expansion of l in J 219.391 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 219.391 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 219.391 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 219.391 * [taylor]: Taking taylor expansion of -0.5 in J 219.391 * [taylor]: Taking taylor expansion of K in J 219.391 * [taylor]: Taking taylor expansion of (* J l) in J 219.391 * [taylor]: Taking taylor expansion of J in J 219.391 * [taylor]: Taking taylor expansion of l in J 219.392 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in K 219.392 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 219.392 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 219.392 * [taylor]: Taking taylor expansion of -0.5 in K 219.392 * [taylor]: Taking taylor expansion of K in K 219.392 * [taylor]: Taking taylor expansion of l in K 219.392 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in l 219.392 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 219.392 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 219.392 * [taylor]: Taking taylor expansion of -0.5 in l 219.392 * [taylor]: Taking taylor expansion of K in l 219.392 * [taylor]: Taking taylor expansion of l in l 219.393 * [taylor]: Taking taylor expansion of 0 in K 219.393 * [taylor]: Taking taylor expansion of 0 in l 219.393 * [taylor]: Taking taylor expansion of 0 in l 219.394 * [taylor]: Taking taylor expansion of 0 in K 219.394 * [taylor]: Taking taylor expansion of 0 in l 219.394 * [taylor]: Taking taylor expansion of 0 in l 219.394 * [taylor]: Taking taylor expansion of 0 in l 219.395 * [taylor]: Taking taylor expansion of 0 in K 219.395 * [taylor]: Taking taylor expansion of 0 in l 219.395 * [taylor]: Taking taylor expansion of 0 in l 219.395 * [taylor]: Taking taylor expansion of 0 in l 219.395 * [taylor]: Taking taylor expansion of 0 in l 219.395 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2 1) 219.395 * [approximate]: Taking taylor expansion of (* J (cos (* 0.5 K))) in (J K) around 0 219.395 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in K 219.395 * [taylor]: Taking taylor expansion of J in K 219.395 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 219.395 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 219.395 * [taylor]: Taking taylor expansion of 0.5 in K 219.395 * [taylor]: Taking taylor expansion of K in K 219.395 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in J 219.396 * [taylor]: Taking taylor expansion of J in J 219.396 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 219.396 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 219.396 * [taylor]: Taking taylor expansion of 0.5 in J 219.396 * [taylor]: Taking taylor expansion of K in J 219.396 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in J 219.396 * [taylor]: Taking taylor expansion of J in J 219.396 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 219.396 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 219.396 * [taylor]: Taking taylor expansion of 0.5 in J 219.396 * [taylor]: Taking taylor expansion of K in J 219.396 * [taylor]: Taking taylor expansion of 0 in K 219.396 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 219.396 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 219.396 * [taylor]: Taking taylor expansion of 0.5 in K 219.396 * [taylor]: Taking taylor expansion of K in K 219.397 * [taylor]: Taking taylor expansion of 0 in K 219.397 * [taylor]: Taking taylor expansion of 0 in K 219.398 * [approximate]: Taking taylor expansion of (/ (cos (/ 0.5 K)) J) in (J K) around 0 219.398 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) J) in K 219.398 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 219.398 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 219.398 * [taylor]: Taking taylor expansion of 0.5 in K 219.398 * [taylor]: Taking taylor expansion of K in K 219.398 * [taylor]: Taking taylor expansion of J in K 219.398 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) J) in J 219.398 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 219.398 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 219.398 * [taylor]: Taking taylor expansion of 0.5 in J 219.398 * [taylor]: Taking taylor expansion of K in J 219.398 * [taylor]: Taking taylor expansion of J in J 219.398 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) J) in J 219.398 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 219.398 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 219.398 * [taylor]: Taking taylor expansion of 0.5 in J 219.398 * [taylor]: Taking taylor expansion of K in J 219.398 * [taylor]: Taking taylor expansion of J in J 219.398 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 219.398 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 219.398 * [taylor]: Taking taylor expansion of 0.5 in K 219.399 * [taylor]: Taking taylor expansion of K in K 219.399 * [taylor]: Taking taylor expansion of 0 in K 219.399 * [taylor]: Taking taylor expansion of 0 in K 219.400 * [taylor]: Taking taylor expansion of 0 in K 219.400 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) J)) in (J K) around 0 219.400 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) J)) in K 219.400 * [taylor]: Taking taylor expansion of -1 in K 219.400 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) J) in K 219.400 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 219.400 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 219.400 * [taylor]: Taking taylor expansion of -0.5 in K 219.400 * [taylor]: Taking taylor expansion of K in K 219.400 * [taylor]: Taking taylor expansion of J in K 219.400 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) J)) in J 219.400 * [taylor]: Taking taylor expansion of -1 in J 219.400 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) J) in J 219.401 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 219.401 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 219.401 * [taylor]: Taking taylor expansion of -0.5 in J 219.401 * [taylor]: Taking taylor expansion of K in J 219.401 * [taylor]: Taking taylor expansion of J in J 219.401 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) J)) in J 219.401 * [taylor]: Taking taylor expansion of -1 in J 219.401 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) J) in J 219.401 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 219.401 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 219.401 * [taylor]: Taking taylor expansion of -0.5 in J 219.401 * [taylor]: Taking taylor expansion of K in J 219.401 * [taylor]: Taking taylor expansion of J in J 219.401 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -0.5 K))) in K 219.401 * [taylor]: Taking taylor expansion of -1 in K 219.401 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 219.401 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 219.401 * [taylor]: Taking taylor expansion of -0.5 in K 219.401 * [taylor]: Taking taylor expansion of K in K 219.402 * [taylor]: Taking taylor expansion of 0 in K 219.402 * [taylor]: Taking taylor expansion of 0 in K 219.403 * [taylor]: Taking taylor expansion of 0 in K 219.403 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 219.403 * [approximate]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in (J K l) around 0 219.403 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in l 219.404 * [taylor]: Taking taylor expansion of 2 in l 219.404 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in l 219.404 * [taylor]: Taking taylor expansion of J in l 219.404 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l 219.404 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 219.404 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 219.404 * [taylor]: Taking taylor expansion of 0.5 in l 219.404 * [taylor]: Taking taylor expansion of K in l 219.404 * [taylor]: Taking taylor expansion of l in l 219.404 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in K 219.404 * [taylor]: Taking taylor expansion of 2 in K 219.404 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in K 219.404 * [taylor]: Taking taylor expansion of J in K 219.404 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 219.404 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 219.404 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 219.404 * [taylor]: Taking taylor expansion of 0.5 in K 219.404 * [taylor]: Taking taylor expansion of K in K 219.404 * [taylor]: Taking taylor expansion of l in K 219.404 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in J 219.404 * [taylor]: Taking taylor expansion of 2 in J 219.404 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 219.404 * [taylor]: Taking taylor expansion of J in J 219.404 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 219.404 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 219.404 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 219.404 * [taylor]: Taking taylor expansion of 0.5 in J 219.404 * [taylor]: Taking taylor expansion of K in J 219.404 * [taylor]: Taking taylor expansion of l in J 219.404 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in J 219.404 * [taylor]: Taking taylor expansion of 2 in J 219.404 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 219.404 * [taylor]: Taking taylor expansion of J in J 219.404 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 219.404 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 219.404 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 219.404 * [taylor]: Taking taylor expansion of 0.5 in J 219.404 * [taylor]: Taking taylor expansion of K in J 219.404 * [taylor]: Taking taylor expansion of l in J 219.405 * [taylor]: Taking taylor expansion of 0 in K 219.405 * [taylor]: Taking taylor expansion of 0 in l 219.405 * [taylor]: Taking taylor expansion of (* 2 (* (cos (* 0.5 K)) l)) in K 219.405 * [taylor]: Taking taylor expansion of 2 in K 219.405 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 219.405 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 219.405 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 219.405 * [taylor]: Taking taylor expansion of 0.5 in K 219.405 * [taylor]: Taking taylor expansion of K in K 219.405 * [taylor]: Taking taylor expansion of l in K 219.405 * [taylor]: Taking taylor expansion of (* 2 l) in l 219.405 * [taylor]: Taking taylor expansion of 2 in l 219.405 * [taylor]: Taking taylor expansion of l in l 219.405 * [taylor]: Taking taylor expansion of 0 in l 219.406 * [taylor]: Taking taylor expansion of 0 in K 219.406 * [taylor]: Taking taylor expansion of 0 in l 219.406 * [taylor]: Taking taylor expansion of 0 in l 219.406 * [approximate]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in (J K l) around 0 219.406 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in l 219.406 * [taylor]: Taking taylor expansion of 2 in l 219.406 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in l 219.406 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 219.406 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 219.406 * [taylor]: Taking taylor expansion of 0.5 in l 219.406 * [taylor]: Taking taylor expansion of K in l 219.406 * [taylor]: Taking taylor expansion of (* J l) in l 219.407 * [taylor]: Taking taylor expansion of J in l 219.407 * [taylor]: Taking taylor expansion of l in l 219.407 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in K 219.407 * [taylor]: Taking taylor expansion of 2 in K 219.407 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in K 219.407 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 219.407 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 219.407 * [taylor]: Taking taylor expansion of 0.5 in K 219.407 * [taylor]: Taking taylor expansion of K in K 219.407 * [taylor]: Taking taylor expansion of (* J l) in K 219.407 * [taylor]: Taking taylor expansion of J in K 219.407 * [taylor]: Taking taylor expansion of l in K 219.407 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in J 219.407 * [taylor]: Taking taylor expansion of 2 in J 219.407 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 219.407 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 219.407 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 219.407 * [taylor]: Taking taylor expansion of 0.5 in J 219.407 * [taylor]: Taking taylor expansion of K in J 219.407 * [taylor]: Taking taylor expansion of (* J l) in J 219.407 * [taylor]: Taking taylor expansion of J in J 219.407 * [taylor]: Taking taylor expansion of l in J 219.407 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in J 219.408 * [taylor]: Taking taylor expansion of 2 in J 219.408 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 219.408 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 219.408 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 219.408 * [taylor]: Taking taylor expansion of 0.5 in J 219.408 * [taylor]: Taking taylor expansion of K in J 219.408 * [taylor]: Taking taylor expansion of (* J l) in J 219.408 * [taylor]: Taking taylor expansion of J in J 219.408 * [taylor]: Taking taylor expansion of l in J 219.408 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) l)) in K 219.408 * [taylor]: Taking taylor expansion of 2 in K 219.408 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in K 219.408 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 219.408 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 219.408 * [taylor]: Taking taylor expansion of 0.5 in K 219.408 * [taylor]: Taking taylor expansion of K in K 219.408 * [taylor]: Taking taylor expansion of l in K 219.408 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) l)) in l 219.408 * [taylor]: Taking taylor expansion of 2 in l 219.408 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in l 219.408 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 219.408 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 219.408 * [taylor]: Taking taylor expansion of 0.5 in l 219.409 * [taylor]: Taking taylor expansion of K in l 219.409 * [taylor]: Taking taylor expansion of l in l 219.410 * [taylor]: Taking taylor expansion of 0 in K 219.410 * [taylor]: Taking taylor expansion of 0 in l 219.410 * [taylor]: Taking taylor expansion of 0 in l 219.411 * [taylor]: Taking taylor expansion of 0 in K 219.411 * [taylor]: Taking taylor expansion of 0 in l 219.411 * [taylor]: Taking taylor expansion of 0 in l 219.411 * [taylor]: Taking taylor expansion of 0 in l 219.413 * [taylor]: Taking taylor expansion of 0 in K 219.413 * [taylor]: Taking taylor expansion of 0 in l 219.413 * [taylor]: Taking taylor expansion of 0 in l 219.413 * [taylor]: Taking taylor expansion of 0 in l 219.413 * [taylor]: Taking taylor expansion of 0 in l 219.413 * [approximate]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in (J K l) around 0 219.413 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in l 219.413 * [taylor]: Taking taylor expansion of 2 in l 219.413 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in l 219.413 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 219.413 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 219.413 * [taylor]: Taking taylor expansion of -0.5 in l 219.413 * [taylor]: Taking taylor expansion of K in l 219.413 * [taylor]: Taking taylor expansion of (* J l) in l 219.413 * [taylor]: Taking taylor expansion of J in l 219.413 * [taylor]: Taking taylor expansion of l in l 219.414 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in K 219.414 * [taylor]: Taking taylor expansion of 2 in K 219.414 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in K 219.414 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 219.414 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 219.414 * [taylor]: Taking taylor expansion of -0.5 in K 219.414 * [taylor]: Taking taylor expansion of K in K 219.414 * [taylor]: Taking taylor expansion of (* J l) in K 219.414 * [taylor]: Taking taylor expansion of J in K 219.414 * [taylor]: Taking taylor expansion of l in K 219.414 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in J 219.414 * [taylor]: Taking taylor expansion of 2 in J 219.414 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 219.414 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 219.414 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 219.414 * [taylor]: Taking taylor expansion of -0.5 in J 219.414 * [taylor]: Taking taylor expansion of K in J 219.414 * [taylor]: Taking taylor expansion of (* J l) in J 219.414 * [taylor]: Taking taylor expansion of J in J 219.414 * [taylor]: Taking taylor expansion of l in J 219.414 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in J 219.414 * [taylor]: Taking taylor expansion of 2 in J 219.414 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 219.415 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 219.415 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 219.415 * [taylor]: Taking taylor expansion of -0.5 in J 219.415 * [taylor]: Taking taylor expansion of K in J 219.415 * [taylor]: Taking taylor expansion of (* J l) in J 219.415 * [taylor]: Taking taylor expansion of J in J 219.415 * [taylor]: Taking taylor expansion of l in J 219.415 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) l)) in K 219.415 * [taylor]: Taking taylor expansion of 2 in K 219.415 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in K 219.415 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 219.415 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 219.415 * [taylor]: Taking taylor expansion of -0.5 in K 219.415 * [taylor]: Taking taylor expansion of K in K 219.415 * [taylor]: Taking taylor expansion of l in K 219.415 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) l)) in l 219.415 * [taylor]: Taking taylor expansion of 2 in l 219.415 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in l 219.415 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 219.415 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 219.415 * [taylor]: Taking taylor expansion of -0.5 in l 219.415 * [taylor]: Taking taylor expansion of K in l 219.416 * [taylor]: Taking taylor expansion of l in l 219.416 * [taylor]: Taking taylor expansion of 0 in K 219.416 * [taylor]: Taking taylor expansion of 0 in l 219.416 * [taylor]: Taking taylor expansion of 0 in l 219.417 * [taylor]: Taking taylor expansion of 0 in K 219.417 * [taylor]: Taking taylor expansion of 0 in l 219.417 * [taylor]: Taking taylor expansion of 0 in l 219.418 * [taylor]: Taking taylor expansion of 0 in l 219.420 * [taylor]: Taking taylor expansion of 0 in K 219.420 * [taylor]: Taking taylor expansion of 0 in l 219.420 * [taylor]: Taking taylor expansion of 0 in l 219.420 * [taylor]: Taking taylor expansion of 0 in l 219.420 * [taylor]: Taking taylor expansion of 0 in l 219.420 * * * [progress]: simplifying candidates 219.421 * [simplify]: Simplifying using # : (* (* J (cos (* 0.5 K))) l) (* (* J (cos (* 0.5 K))) l) (+ (+ (log J) (log (cos (* 0.5 K)))) (log l)) (+ (log (* J (cos (* 0.5 K)))) (log l)) (log (* (* J (cos (* 0.5 K))) l)) (exp (* (* J (cos (* 0.5 K))) l)) (* (* (* (* J J) J) (* (* (cos (* 0.5 K)) (cos (* 0.5 K))) (cos (* 0.5 K)))) (* (* l l) l)) (* (* (* (* J (cos (* 0.5 K))) (* J (cos (* 0.5 K)))) (* J (cos (* 0.5 K)))) (* (* l l) l)) (* (cbrt (* (* J (cos (* 0.5 K))) l)) (cbrt (* (* J (cos (* 0.5 K))) l))) (cbrt (* (* J (cos (* 0.5 K))) l)) (* (* (* (* J (cos (* 0.5 K))) l) (* (* J (cos (* 0.5 K))) l)) (* (* J (cos (* 0.5 K))) l)) (sqrt (* (* J (cos (* 0.5 K))) l)) (sqrt (* (* J (cos (* 0.5 K))) l)) (* (* J (cos (* 0.5 K))) (* (cbrt l) (cbrt l))) (* (* J (cos (* 0.5 K))) (sqrt l)) (* (* J (cos (* 0.5 K))) 1) (* (cos (* 0.5 K)) l) (* J (cos (* 0.5 K))) (+ (log J) (log (cos (* 0.5 K)))) (log (* J (cos (* 0.5 K)))) (exp (* J (cos (* 0.5 K)))) (* (* (* J J) J) (* (* (cos (* 0.5 K)) (cos (* 0.5 K))) (cos (* 0.5 K)))) (* (cbrt (* J (cos (* 0.5 K)))) (cbrt (* J (cos (* 0.5 K))))) (cbrt (* J (cos (* 0.5 K)))) (* (* (* J (cos (* 0.5 K))) (* J (cos (* 0.5 K)))) (* J (cos (* 0.5 K)))) (sqrt (* J (cos (* 0.5 K)))) (sqrt (* J (cos (* 0.5 K)))) (* (sqrt J) (sqrt (cos (* 0.5 K)))) (* (sqrt J) (sqrt (cos (* 0.5 K)))) (* J (* (cbrt (cos (* 0.5 K))) (cbrt (cos (* 0.5 K))))) (* J (sqrt (cos (* 0.5 K)))) (* J 1) (* (cbrt J) (cos (* 0.5 K))) (* (sqrt J) (cos (* 0.5 K))) (* J (cos (* 0.5 K))) (* 2 (* (* J (cos (* 0.5 K))) l)) (* 2 (* (* J (cos (* 0.5 K))) l)) (* 2 (* (* J (cos (* 0.5 K))) l)) (+ (log 2) (+ (+ (log J) (log (cos (* 0.5 K)))) (log l))) (+ (log 2) (+ (log (* J (cos (* 0.5 K)))) (log l))) (+ (log 2) (log (* (* J (cos (* 0.5 K))) l))) (log (* 2 (* (* J (cos (* 0.5 K))) l))) (exp (* 2 (* (* J (cos (* 0.5 K))) l))) (* (* (* 2 2) 2) (* (* (* (* J J) J) (* (* (cos (* 0.5 K)) (cos (* 0.5 K))) (cos (* 0.5 K)))) (* (* l l) l))) (* (* (* 2 2) 2) (* (* (* (* J (cos (* 0.5 K))) (* J (cos (* 0.5 K)))) (* J (cos (* 0.5 K)))) (* (* l l) l))) (* (* (* 2 2) 2) (* (* (* (* J (cos (* 0.5 K))) l) (* (* J (cos (* 0.5 K))) l)) (* (* J (cos (* 0.5 K))) l))) (* (cbrt (* 2 (* (* J (cos (* 0.5 K))) l))) (cbrt (* 2 (* (* J (cos (* 0.5 K))) l)))) (cbrt (* 2 (* (* J (cos (* 0.5 K))) l))) (* (* (* 2 (* (* J (cos (* 0.5 K))) l)) (* 2 (* (* J (cos (* 0.5 K))) l))) (* 2 (* (* J (cos (* 0.5 K))) l))) (sqrt (* 2 (* (* J (cos (* 0.5 K))) l))) (sqrt (* 2 (* (* J (cos (* 0.5 K))) l))) (* 2 (* J (cos (* 0.5 K)))) (* (cbrt 2) (* (* J (cos (* 0.5 K))) l)) (* (sqrt 2) (* (* J (cos (* 0.5 K))) l)) (* 2 (* (* J (cos (* 0.5 K))) l)) 0 (* J (* (cos (* 0.5 K)) l)) (* J (* (cos (* 0.5 K)) l)) J (* J (cos (* 0.5 K))) (* J (cos (* 0.5 K))) 0 (* 2 (* J (* (cos (* 0.5 K)) l))) (* 2 (* J (* (cos (* 0.5 K)) l))) 219.422 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 219.423 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 219.425 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 219.427 * * [simplify]: iteration done : 19 enodes (cost 8 ) 219.428 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 219.429 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 219.430 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 219.433 * * [simplify]: iteration done : 19 enodes (cost 8 ) 219.433 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 219.434 * * [simplify]: iteration 1 : 16 enodes (cost 11 ) 219.436 * * [simplify]: iteration 2 : 22 enodes (cost 11 ) 219.438 * * [simplify]: iteration done : 22 enodes (cost 11 ) 219.439 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 219.440 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 219.442 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 219.444 * * [simplify]: iteration 3 : 25 enodes (cost 10 ) 219.447 * * [simplify]: iteration done : 25 enodes (cost 10 ) 219.447 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 219.448 * * [simplify]: iteration 1 : 17 enodes (cost 9 ) 219.451 * * [simplify]: iteration 2 : 30 enodes (cost 9 ) 219.458 * * [simplify]: iteration 3 : 42 enodes (cost 9 ) 219.463 * * [simplify]: iteration 4 : 44 enodes (cost 9 ) 219.468 * * [simplify]: iteration done : 44 enodes (cost 9 ) 219.468 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 219.469 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 219.472 * * [simplify]: iteration 2 : 33 enodes (cost 9 ) 219.476 * * [simplify]: iteration 3 : 55 enodes (cost 9 ) 219.484 * * [simplify]: iteration 4 : 111 enodes (cost 9 ) 219.503 * * [simplify]: iteration 5 : 250 enodes (cost 9 ) 219.617 * * [simplify]: iteration 6 : 593 enodes (cost 9 ) 220.068 * * [simplify]: iteration 7 : 1566 enodes (cost 9 ) 221.432 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 221.433 * * [simplify]: iteration 0 : 14 enodes (cost 26 ) 221.435 * * [simplify]: iteration 1 : 28 enodes (cost 26 ) 221.441 * * [simplify]: iteration 2 : 93 enodes (cost 14 ) 221.480 * * [simplify]: iteration 3 : 342 enodes (cost 14 ) 221.768 * * [simplify]: iteration 4 : 1089 enodes (cost 12 ) 223.687 * * [simplify]: iteration 5 : 3022 enodes (cost 12 ) 225.892 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 225.893 * * [simplify]: iteration 0 : 12 enodes (cost 26 ) 225.895 * * [simplify]: iteration 1 : 30 enodes (cost 26 ) 225.901 * * [simplify]: iteration 2 : 97 enodes (cost 12 ) 225.947 * * [simplify]: iteration 3 : 373 enodes (cost 12 ) 226.337 * * [simplify]: iteration 4 : 1105 enodes (cost 10 ) 228.258 * * [simplify]: iteration 5 : 2124 enodes (cost 10 ) 233.656 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 233.657 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 233.658 * * [simplify]: iteration 1 : 15 enodes (cost 19 ) 233.660 * * [simplify]: iteration 2 : 21 enodes (cost 19 ) 233.662 * * [simplify]: iteration done : 21 enodes (cost 19 ) 233.663 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 233.664 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 233.666 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 233.668 * * [simplify]: iteration 3 : 22 enodes (cost 9 ) 233.671 * * [simplify]: iteration done : 22 enodes (cost 9 ) 233.672 * * [simplify]: iteration 0 : 10 enodes (cost 26 ) 233.673 * * [simplify]: iteration 1 : 25 enodes (cost 26 ) 233.678 * * [simplify]: iteration 2 : 95 enodes (cost 10 ) 233.733 * * [simplify]: iteration 3 : 436 enodes (cost 10 ) 234.311 * * [simplify]: iteration 4 : 1193 enodes (cost 10 ) 236.106 * * [simplify]: iteration 5 : 1719 enodes (cost 10 ) 239.153 * * [simplify]: iteration 6 : 3293 enodes (cost 10 ) 241.961 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 241.962 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 241.963 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 241.965 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 241.967 * * [simplify]: iteration 3 : 22 enodes (cost 9 ) 241.970 * * [simplify]: iteration done : 22 enodes (cost 9 ) 241.971 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 241.972 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 241.973 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 241.976 * * [simplify]: iteration 3 : 22 enodes (cost 9 ) 241.978 * * [simplify]: iteration done : 22 enodes (cost 9 ) 241.979 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 241.980 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 241.982 * * [simplify]: iteration 2 : 30 enodes (cost 12 ) 241.987 * * [simplify]: iteration 3 : 40 enodes (cost 12 ) 241.997 * * [simplify]: iteration done : 40 enodes (cost 12 ) 241.998 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 241.999 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 242.001 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 242.003 * * [simplify]: iteration done : 20 enodes (cost 9 ) 242.004 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 242.005 * * [simplify]: iteration 1 : 15 enodes (cost 6 ) 242.007 * * [simplify]: iteration 2 : 27 enodes (cost 6 ) 242.011 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 242.012 * * [simplify]: iteration done : 35 enodes (cost 6 ) 242.013 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 242.014 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 242.015 * * [simplify]: iteration done : 8 enodes (cost 6 ) 242.015 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 242.016 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 242.017 * * [simplify]: iteration done : 8 enodes (cost 6 ) 242.017 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 242.018 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 242.019 * * [simplify]: iteration done : 10 enodes (cost 8 ) 242.020 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 242.021 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 242.022 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 242.023 * * [simplify]: iteration done : 13 enodes (cost 7 ) 242.024 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 242.025 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 242.026 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 242.028 * * [simplify]: iteration 3 : 25 enodes (cost 7 ) 242.031 * * [simplify]: iteration 4 : 48 enodes (cost 7 ) 242.038 * * [simplify]: iteration 5 : 104 enodes (cost 7 ) 242.075 * * [simplify]: iteration 6 : 250 enodes (cost 7 ) 242.221 * * [simplify]: iteration 7 : 711 enodes (cost 7 ) 243.309 * * [simplify]: iteration 8 : 2723 enodes (cost 7 ) 245.153 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 245.154 * * [simplify]: iteration 0 : 10 enodes (cost 20 ) 245.155 * * [simplify]: iteration 1 : 18 enodes (cost 20 ) 245.158 * * [simplify]: iteration 2 : 43 enodes (cost 10 ) 245.167 * * [simplify]: iteration 3 : 83 enodes (cost 10 ) 245.193 * * [simplify]: iteration 4 : 141 enodes (cost 8 ) 245.250 * * [simplify]: iteration 5 : 276 enodes (cost 8 ) 245.400 * * [simplify]: iteration 6 : 682 enodes (cost 8 ) 246.339 * * [simplify]: iteration 7 : 2466 enodes (cost 8 ) 248.346 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 248.347 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 248.348 * * [simplify]: iteration 1 : 10 enodes (cost 15 ) 248.349 * * [simplify]: iteration done : 10 enodes (cost 15 ) 248.350 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 248.351 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 248.351 * * [simplify]: iteration done : 9 enodes (cost 7 ) 248.352 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 248.353 * * [simplify]: iteration 1 : 20 enodes (cost 20 ) 248.357 * * [simplify]: iteration 2 : 49 enodes (cost 8 ) 248.375 * * [simplify]: iteration 3 : 93 enodes (cost 8 ) 248.399 * * [simplify]: iteration 4 : 109 enodes (cost 8 ) 248.430 * * [simplify]: iteration 5 : 155 enodes (cost 8 ) 248.490 * * [simplify]: iteration 6 : 295 enodes (cost 8 ) 248.654 * * [simplify]: iteration 7 : 748 enodes (cost 8 ) 249.725 * * [simplify]: iteration 8 : 2705 enodes (cost 8 ) 251.555 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 251.556 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 251.557 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 251.558 * * [simplify]: iteration done : 9 enodes (cost 7 ) 251.559 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 251.560 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 251.560 * * [simplify]: iteration done : 9 enodes (cost 7 ) 251.561 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 251.562 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 251.563 * * [simplify]: iteration done : 10 enodes (cost 8 ) 251.563 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 251.564 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 251.565 * * [simplify]: iteration done : 10 enodes (cost 8 ) 251.566 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 251.567 * * [simplify]: iteration 1 : 12 enodes (cost 13 ) 251.568 * * [simplify]: iteration 2 : 14 enodes (cost 13 ) 251.570 * * [simplify]: iteration done : 14 enodes (cost 13 ) 251.570 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 251.571 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 251.572 * * [simplify]: iteration done : 9 enodes (cost 7 ) 251.572 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 251.573 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 251.573 * * [simplify]: iteration done : 6 enodes (cost 1 ) 251.574 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 251.574 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 251.583 * * [simplify]: iteration done : 9 enodes (cost 7 ) 251.584 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 251.584 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 251.585 * * [simplify]: iteration done : 9 enodes (cost 7 ) 251.586 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 251.587 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 251.587 * * [simplify]: iteration done : 8 enodes (cost 6 ) 251.588 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 251.589 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 251.592 * * [simplify]: iteration 2 : 37 enodes (cost 10 ) 251.598 * * [simplify]: iteration 3 : 65 enodes (cost 10 ) 251.612 * * [simplify]: iteration 4 : 73 enodes (cost 10 ) 251.624 * * [simplify]: iteration done : 73 enodes (cost 10 ) 251.624 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 251.625 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 251.628 * * [simplify]: iteration 2 : 37 enodes (cost 10 ) 251.634 * * [simplify]: iteration 3 : 65 enodes (cost 10 ) 251.651 * * [simplify]: iteration 4 : 73 enodes (cost 10 ) 251.662 * * [simplify]: iteration done : 73 enodes (cost 10 ) 251.663 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 251.664 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 251.667 * * [simplify]: iteration 2 : 37 enodes (cost 10 ) 251.674 * * [simplify]: iteration 3 : 65 enodes (cost 10 ) 251.687 * * [simplify]: iteration 4 : 73 enodes (cost 10 ) 251.703 * * [simplify]: iteration done : 73 enodes (cost 10 ) 251.703 * * [simplify]: iteration 0 : 14 enodes (cost 14 ) 251.705 * * [simplify]: iteration 1 : 22 enodes (cost 14 ) 251.707 * * [simplify]: iteration 2 : 41 enodes (cost 14 ) 251.713 * * [simplify]: iteration 3 : 69 enodes (cost 14 ) 251.725 * * [simplify]: iteration 4 : 72 enodes (cost 14 ) 251.736 * * [simplify]: iteration done : 72 enodes (cost 14 ) 251.736 * * [simplify]: iteration 0 : 13 enodes (cost 13 ) 251.738 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 251.740 * * [simplify]: iteration 2 : 35 enodes (cost 13 ) 251.745 * * [simplify]: iteration 3 : 63 enodes (cost 13 ) 251.758 * * [simplify]: iteration 4 : 78 enodes (cost 13 ) 251.769 * * [simplify]: iteration done : 78 enodes (cost 13 ) 251.769 * * [simplify]: iteration 0 : 12 enodes (cost 12 ) 251.771 * * [simplify]: iteration 1 : 21 enodes (cost 12 ) 251.773 * * [simplify]: iteration 2 : 38 enodes (cost 12 ) 251.779 * * [simplify]: iteration 3 : 67 enodes (cost 12 ) 251.788 * * [simplify]: iteration 4 : 95 enodes (cost 12 ) 251.802 * * [simplify]: iteration done : 95 enodes (cost 12 ) 251.803 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 251.807 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 251.810 * * [simplify]: iteration 2 : 51 enodes (cost 11 ) 251.819 * * [simplify]: iteration 3 : 113 enodes (cost 11 ) 251.844 * * [simplify]: iteration 4 : 175 enodes (cost 11 ) 251.874 * * [simplify]: iteration 5 : 177 enodes (cost 11 ) 251.899 * * [simplify]: iteration done : 177 enodes (cost 11 ) 251.900 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 251.901 * * [simplify]: iteration 1 : 21 enodes (cost 11 ) 251.904 * * [simplify]: iteration 2 : 48 enodes (cost 11 ) 251.917 * * [simplify]: iteration 3 : 127 enodes (cost 11 ) 251.954 * * [simplify]: iteration 4 : 277 enodes (cost 11 ) 252.048 * * [simplify]: iteration 5 : 769 enodes (cost 11 ) 252.729 * * [simplify]: iteration 6 : 2106 enodes (cost 11 ) 255.388 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 255.389 * * [simplify]: iteration 0 : 18 enodes (cost 32 ) 255.392 * * [simplify]: iteration 1 : 40 enodes (cost 28 ) 255.399 * * [simplify]: iteration 2 : 140 enodes (cost 16 ) 255.466 * * [simplify]: iteration 3 : 690 enodes (cost 16 ) 256.748 * * [simplify]: iteration 4 : 3430 enodes (cost 14 ) 258.609 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 258.610 * * [simplify]: iteration 0 : 16 enodes (cost 32 ) 258.612 * * [simplify]: iteration 1 : 42 enodes (cost 28 ) 258.627 * * [simplify]: iteration 2 : 142 enodes (cost 14 ) 258.698 * * [simplify]: iteration 3 : 733 enodes (cost 14 ) 260.212 * * [simplify]: iteration 4 : 3597 enodes (cost 12 ) 262.182 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 262.183 * * [simplify]: iteration 0 : 14 enodes (cost 32 ) 262.185 * * [simplify]: iteration 1 : 37 enodes (cost 28 ) 262.199 * * [simplify]: iteration 2 : 138 enodes (cost 12 ) 262.280 * * [simplify]: iteration 3 : 785 enodes (cost 12 ) 264.258 * * [simplify]: iteration 4 : 3947 enodes (cost 12 ) 266.169 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 266.169 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 266.171 * * [simplify]: iteration 1 : 20 enodes (cost 23 ) 266.174 * * [simplify]: iteration 2 : 39 enodes (cost 23 ) 266.187 * * [simplify]: iteration 3 : 65 enodes (cost 23 ) 266.201 * * [simplify]: iteration 4 : 73 enodes (cost 23 ) 266.213 * * [simplify]: iteration done : 73 enodes (cost 23 ) 266.214 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 266.215 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 266.218 * * [simplify]: iteration 2 : 38 enodes (cost 11 ) 266.224 * * [simplify]: iteration 3 : 68 enodes (cost 11 ) 266.242 * * [simplify]: iteration 4 : 71 enodes (cost 11 ) 266.254 * * [simplify]: iteration done : 71 enodes (cost 11 ) 266.255 * * [simplify]: iteration 0 : 12 enodes (cost 32 ) 266.257 * * [simplify]: iteration 1 : 31 enodes (cost 30 ) 266.263 * * [simplify]: iteration 2 : 126 enodes (cost 12 ) 266.340 * * [simplify]: iteration 3 : 777 enodes (cost 12 ) 268.684 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 268.685 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 268.686 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 268.688 * * [simplify]: iteration 2 : 38 enodes (cost 11 ) 268.696 * * [simplify]: iteration 3 : 68 enodes (cost 11 ) 268.709 * * [simplify]: iteration 4 : 71 enodes (cost 11 ) 268.723 * * [simplify]: iteration done : 71 enodes (cost 11 ) 268.725 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 268.726 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 268.728 * * [simplify]: iteration 2 : 38 enodes (cost 11 ) 268.735 * * [simplify]: iteration 3 : 68 enodes (cost 11 ) 268.749 * * [simplify]: iteration 4 : 71 enodes (cost 11 ) 268.761 * * [simplify]: iteration done : 71 enodes (cost 11 ) 268.761 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 268.762 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 268.764 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 268.766 * * [simplify]: iteration done : 19 enodes (cost 8 ) 268.767 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 268.768 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 268.770 * * [simplify]: iteration 2 : 38 enodes (cost 11 ) 268.779 * * [simplify]: iteration 3 : 65 enodes (cost 11 ) 268.792 * * [simplify]: iteration 4 : 67 enodes (cost 11 ) 268.804 * * [simplify]: iteration done : 67 enodes (cost 11 ) 268.805 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 268.806 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 268.808 * * [simplify]: iteration 2 : 38 enodes (cost 11 ) 268.815 * * [simplify]: iteration 3 : 65 enodes (cost 11 ) 268.830 * * [simplify]: iteration 4 : 67 enodes (cost 11 ) 268.842 * * [simplify]: iteration done : 67 enodes (cost 11 ) 268.843 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 268.844 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 268.846 * * [simplify]: iteration 2 : 37 enodes (cost 10 ) 268.853 * * [simplify]: iteration 3 : 65 enodes (cost 10 ) 268.866 * * [simplify]: iteration 4 : 73 enodes (cost 10 ) 268.877 * * [simplify]: iteration done : 73 enodes (cost 10 ) 268.878 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 268.878 * * [simplify]: iteration done : 1 enodes (cost 1 ) 268.879 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 268.880 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 268.885 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 268.887 * * [simplify]: iteration done : 19 enodes (cost 8 ) 268.888 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 268.889 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 268.890 * * [simplify]: iteration 2 : 19 enodes (cost 8 ) 268.892 * * [simplify]: iteration done : 19 enodes (cost 8 ) 268.893 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 268.893 * * [simplify]: iteration done : 1 enodes (cost 1 ) 268.894 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 268.895 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 268.895 * * [simplify]: iteration done : 8 enodes (cost 6 ) 268.896 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 268.897 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 268.897 * * [simplify]: iteration done : 8 enodes (cost 6 ) 268.898 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 268.898 * * [simplify]: iteration done : 1 enodes (cost 1 ) 268.899 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 268.900 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 268.903 * * [simplify]: iteration 2 : 38 enodes (cost 10 ) 268.909 * * [simplify]: iteration 3 : 64 enodes (cost 10 ) 268.920 * * [simplify]: iteration 4 : 70 enodes (cost 10 ) 268.932 * * [simplify]: iteration done : 70 enodes (cost 10 ) 268.932 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 268.934 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 268.936 * * [simplify]: iteration 2 : 38 enodes (cost 10 ) 268.947 * * [simplify]: iteration 3 : 64 enodes (cost 10 ) 268.959 * * [simplify]: iteration 4 : 70 enodes (cost 10 ) 268.970 * * [simplify]: iteration done : 70 enodes (cost 10 ) 268.971 * [simplify]: Simplified to: (* (* J (cos (* 0.5 K))) l) (* (* J (cos (* 0.5 K))) l) (+ (+ (log J) (log (cos (* 0.5 K)))) (log l)) (+ (log (* J (cos (* 0.5 K)))) (log l)) (log (* (* J (cos (* 0.5 K))) l)) (exp (* (* J (cos (* 0.5 K))) l)) (* (pow (* J (cos (* 0.5 K))) 3) (pow l 3)) (pow (* (* J (cos (* 0.5 K))) l) 3) (* (cbrt (* (* J (cos (* 0.5 K))) l)) (cbrt (* (* J (cos (* 0.5 K))) l))) (cbrt (* (* J (cos (* 0.5 K))) l)) (pow (* (* J (cos (* 0.5 K))) l) 3) (sqrt (* (* J (cos (* 0.5 K))) l)) (sqrt (* (* J (cos (* 0.5 K))) l)) (* (* J (cos (* 0.5 K))) (* (cbrt l) (cbrt l))) (* (* J (cos (* 0.5 K))) (sqrt l)) (* J (cos (* 0.5 K))) (* (cos (* 0.5 K)) l) (* J (cos (* 0.5 K))) (+ (log J) (log (cos (* 0.5 K)))) (log (* J (cos (* 0.5 K)))) (exp (* J (cos (* 0.5 K)))) (pow (* J (cos (* 0.5 K))) 3) (* (cbrt (* J (cos (* 0.5 K)))) (cbrt (* J (cos (* 0.5 K))))) (cbrt (* J (cos (* 0.5 K)))) (pow (* J (cos (* 0.5 K))) 3) (sqrt (* J (cos (* 0.5 K)))) (sqrt (* J (cos (* 0.5 K)))) (* (sqrt J) (sqrt (cos (* 0.5 K)))) (* (sqrt J) (sqrt (cos (* 0.5 K)))) (* J (* (cbrt (cos (* 0.5 K))) (cbrt (cos (* 0.5 K))))) (* J (sqrt (cos (* 0.5 K)))) J (* (cbrt J) (cos (* 0.5 K))) (* (sqrt J) (cos (* 0.5 K))) (* J (cos (* 0.5 K))) (* 2 (* (* J (cos (* 0.5 K))) l)) (* 2 (* (* J (cos (* 0.5 K))) l)) (* 2 (* (* J (cos (* 0.5 K))) l)) (+ (log 2) (+ (+ (log J) (log (cos (* 0.5 K)))) (log l))) (+ (log 2) (+ (log (* J (cos (* 0.5 K)))) (log l))) (+ (log 2) (log (* (* J (cos (* 0.5 K))) l))) (log (* 2 (* (* J (cos (* 0.5 K))) l))) (exp (* 2 (* (* J (cos (* 0.5 K))) l))) (* (* (pow (* J (cos (* 0.5 K))) 3) (pow l 3)) 8) (* 8 (pow (* (* J (cos (* 0.5 K))) l) 3)) (* 8 (pow (* (* J (cos (* 0.5 K))) l) 3)) (* (cbrt (* 2 (* (* J (cos (* 0.5 K))) l))) (cbrt (* 2 (* (* J (cos (* 0.5 K))) l)))) (cbrt (* 2 (* (* J (cos (* 0.5 K))) l))) (pow (* 2 (* (* J (cos (* 0.5 K))) l)) 3) (sqrt (* 2 (* (* J (cos (* 0.5 K))) l))) (sqrt (* 2 (* (* J (cos (* 0.5 K))) l))) (* 2 (* J (cos (* 0.5 K)))) (* (cbrt 2) (* (* J (cos (* 0.5 K))) l)) (* (sqrt 2) (* (* J (cos (* 0.5 K))) l)) (* 2 (* (* J (cos (* 0.5 K))) l)) 0 (* J (* (cos (* 0.5 K)) l)) (* J (* (cos (* 0.5 K)) l)) J (* J (cos (* 0.5 K))) (* J (cos (* 0.5 K))) 0 (* 2 (* J (* (cos (* 0.5 K)) l))) (* 2 (* J (* (cos (* 0.5 K)) l))) 268.971 * * * [progress]: adding candidates to table 269.065 * [progress]: [Phase 3 of 3] Extracting. 269.065 * * [regime]: Finding splitpoints for: (# # # # # # # # # # #) 269.069 * * * [regime-changes]: Trying 8 branch expressions: ((/ K 2.0) (cos (/ K 2.0)) (- (exp l) (exp (neg l))) (* J (- (exp l) (exp (neg l)))) U K l J) 269.069 * * * * [regimes]: Trying to branch on (/ K 2.0) from (# # # # # # # # # # #) 269.170 * * * * [regimes]: Trying to branch on (cos (/ K 2.0)) from (# # # # # # # # # # #) 269.267 * * * * [regimes]: Trying to branch on (- (exp l) (exp (neg l))) from (# # # # # # # # # # #) 269.358 * * * * [regimes]: Trying to branch on (- (exp l) (exp (neg l))) from (# #) 269.407 * * * * [regimes]: Trying to branch on (* J (- (exp l) (exp (neg l)))) from (# # # # # # # # # # #) 269.498 * * * * [regimes]: Trying to branch on U from (# # # # # # # # # # #) 269.593 * * * * [regimes]: Trying to branch on K from (# # # # # # # # # # #) 269.690 * * * * [regimes]: Trying to branch on l from (# # # # # # # # # # #) 269.785 * * * * [regimes]: Trying to branch on J from (# # # # # # # # # # #) 269.883 * * * [regime]: Found split indices: #