19.702 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.130 * * * [progress]: [2/2] Setting up program. 0.135 * [progress]: [Phase 2 of 3] Improving. 0.135 * [simplify]: Simplifying using # : (+ (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0))) U) 0.136 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 0.137 * * [simplify]: iteration 1 : 23 enodes (cost 15 ) 0.140 * * [simplify]: iteration 2 : 41 enodes (cost 15 ) 0.145 * * [simplify]: iteration 3 : 75 enodes (cost 15 ) 0.155 * * [simplify]: iteration 4 : 124 enodes (cost 15 ) 0.175 * * [simplify]: iteration 5 : 189 enodes (cost 15 ) 0.201 * * [simplify]: iteration 6 : 324 enodes (cost 15 ) 0.241 * * [simplify]: iteration 7 : 480 enodes (cost 15 ) 0.306 * * [simplify]: iteration 8 : 780 enodes (cost 15 ) 0.392 * * [simplify]: iteration 9 : 1211 enodes (cost 15 ) 0.646 * * [simplify]: iteration 10 : 3165 enodes (cost 15 ) 0.981 * * [simplify]: iteration 11 : 4433 enodes (cost 15 ) 1.466 * * [simplify]: iteration 12 : 4831 enodes (cost 15 ) 1.775 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 1.775 * [simplify]: Simplified to: (+ (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0))) U) 1.775 * * [progress]: iteration 1 / 4 1.775 * * * [progress]: picking best candidate 1.780 * * * * [pick]: Picked # 1.780 * * * [progress]: localizing error 1.793 * * * [progress]: generating rewritten candidates 1.793 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 2) 1.798 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 1.809 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 1.819 * * * [progress]: generating series expansions 1.819 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 2) 1.819 * [approximate]: Taking taylor expansion of (- (exp l) (exp (neg l))) in (l) around 0 1.819 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in l 1.819 * [taylor]: Taking taylor expansion of (exp l) in l 1.819 * [taylor]: Taking taylor expansion of l in l 1.819 * [taylor]: Taking taylor expansion of (exp (neg l)) in l 1.819 * [taylor]: Taking taylor expansion of (neg l) in l 1.819 * [taylor]: Taking taylor expansion of l in l 1.819 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in l 1.819 * [taylor]: Taking taylor expansion of (exp l) in l 1.819 * [taylor]: Taking taylor expansion of l in l 1.819 * [taylor]: Taking taylor expansion of (exp (neg l)) in l 1.819 * [taylor]: Taking taylor expansion of (neg l) in l 1.819 * [taylor]: Taking taylor expansion of l in l 1.823 * [approximate]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in (l) around 0 1.823 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in l 1.823 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 1.823 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.823 * [taylor]: Taking taylor expansion of l in l 1.823 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in l 1.823 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in l 1.823 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.823 * [taylor]: Taking taylor expansion of l in l 1.823 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in l 1.823 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 1.823 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.823 * [taylor]: Taking taylor expansion of l in l 1.823 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in l 1.823 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in l 1.823 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.823 * [taylor]: Taking taylor expansion of l in l 1.824 * [approximate]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in (l) around 0 1.824 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l 1.824 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l 1.824 * [taylor]: Taking taylor expansion of (/ -1 l) in l 1.824 * [taylor]: Taking taylor expansion of -1 in l 1.824 * [taylor]: Taking taylor expansion of l in l 1.824 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 1.824 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.824 * [taylor]: Taking taylor expansion of l in l 1.824 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l 1.824 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l 1.824 * [taylor]: Taking taylor expansion of (/ -1 l) in l 1.824 * [taylor]: Taking taylor expansion of -1 in l 1.824 * [taylor]: Taking taylor expansion of l in l 1.824 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 1.824 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.824 * [taylor]: Taking taylor expansion of l in l 1.825 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 1.825 * [approximate]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) (* J (cos (* 0.5 K)))) in (J l K) around 0 1.825 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) (* J (cos (* 0.5 K)))) in K 1.825 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in K 1.825 * [taylor]: Taking taylor expansion of (exp l) in K 1.825 * [taylor]: Taking taylor expansion of l in K 1.825 * [taylor]: Taking taylor expansion of (exp (neg l)) in K 1.825 * [taylor]: Taking taylor expansion of (neg l) in K 1.825 * [taylor]: Taking taylor expansion of l in K 1.825 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in K 1.825 * [taylor]: Taking taylor expansion of J in K 1.825 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 1.825 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 1.825 * [taylor]: Taking taylor expansion of 0.5 in K 1.825 * [taylor]: Taking taylor expansion of K in K 1.825 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) (* J (cos (* 0.5 K)))) in l 1.825 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in l 1.825 * [taylor]: Taking taylor expansion of (exp l) in l 1.825 * [taylor]: Taking taylor expansion of l in l 1.825 * [taylor]: Taking taylor expansion of (exp (neg l)) in l 1.825 * [taylor]: Taking taylor expansion of (neg l) in l 1.825 * [taylor]: Taking taylor expansion of l in l 1.825 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in l 1.825 * [taylor]: Taking taylor expansion of J in l 1.825 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 1.825 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 1.825 * [taylor]: Taking taylor expansion of 0.5 in l 1.825 * [taylor]: Taking taylor expansion of K in l 1.825 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) (* J (cos (* 0.5 K)))) in J 1.825 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in J 1.825 * [taylor]: Taking taylor expansion of (exp l) in J 1.826 * [taylor]: Taking taylor expansion of l in J 1.826 * [taylor]: Taking taylor expansion of (exp (neg l)) in J 1.826 * [taylor]: Taking taylor expansion of (neg l) in J 1.826 * [taylor]: Taking taylor expansion of l in J 1.826 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in J 1.826 * [taylor]: Taking taylor expansion of J in J 1.826 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 1.826 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 1.826 * [taylor]: Taking taylor expansion of 0.5 in J 1.826 * [taylor]: Taking taylor expansion of K in J 1.826 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) (* J (cos (* 0.5 K)))) in J 1.826 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in J 1.826 * [taylor]: Taking taylor expansion of (exp l) in J 1.826 * [taylor]: Taking taylor expansion of l in J 1.826 * [taylor]: Taking taylor expansion of (exp (neg l)) in J 1.826 * [taylor]: Taking taylor expansion of (neg l) in J 1.826 * [taylor]: Taking taylor expansion of l in J 1.826 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in J 1.826 * [taylor]: Taking taylor expansion of J in J 1.826 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 1.826 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 1.826 * [taylor]: Taking taylor expansion of 0.5 in J 1.826 * [taylor]: Taking taylor expansion of K in J 1.826 * [taylor]: Taking taylor expansion of 0 in l 1.826 * [taylor]: Taking taylor expansion of 0 in K 1.827 * [taylor]: Taking taylor expansion of (- (* (cos (* 0.5 K)) (exp l)) (* (exp (neg l)) (cos (* 0.5 K)))) in l 1.827 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (exp l)) in l 1.827 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 1.827 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 1.827 * [taylor]: Taking taylor expansion of 0.5 in l 1.827 * [taylor]: Taking taylor expansion of K in l 1.827 * [taylor]: Taking taylor expansion of (exp l) in l 1.827 * [taylor]: Taking taylor expansion of l in l 1.827 * [taylor]: Taking taylor expansion of (* (exp (neg l)) (cos (* 0.5 K))) in l 1.827 * [taylor]: Taking taylor expansion of (exp (neg l)) in l 1.827 * [taylor]: Taking taylor expansion of (neg l) in l 1.827 * [taylor]: Taking taylor expansion of l in l 1.827 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 1.827 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 1.827 * [taylor]: Taking taylor expansion of 0.5 in l 1.827 * [taylor]: Taking taylor expansion of K in l 1.828 * [taylor]: Taking taylor expansion of 0 in K 1.828 * [taylor]: Taking taylor expansion of 0 in K 1.829 * [taylor]: Taking taylor expansion of 0 in l 1.829 * [taylor]: Taking taylor expansion of 0 in K 1.829 * [taylor]: Taking taylor expansion of (* 2 (cos (* 0.5 K))) in K 1.829 * [taylor]: Taking taylor expansion of 2 in K 1.829 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 1.829 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 1.829 * [taylor]: Taking taylor expansion of 0.5 in K 1.829 * [taylor]: Taking taylor expansion of K in K 1.829 * [taylor]: Taking taylor expansion of 0 in K 1.831 * [taylor]: Taking taylor expansion of 0 in l 1.831 * [taylor]: Taking taylor expansion of 0 in K 1.831 * [taylor]: Taking taylor expansion of 0 in K 1.831 * [approximate]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) J) in (J l K) around 0 1.831 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) J) in K 1.831 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in K 1.831 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 1.831 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 1.831 * [taylor]: Taking taylor expansion of 0.5 in K 1.831 * [taylor]: Taking taylor expansion of K in K 1.831 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in K 1.831 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K 1.831 * [taylor]: Taking taylor expansion of (/ 1 l) in K 1.831 * [taylor]: Taking taylor expansion of l in K 1.831 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in K 1.831 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in K 1.831 * [taylor]: Taking taylor expansion of (/ 1 l) in K 1.831 * [taylor]: Taking taylor expansion of l in K 1.831 * [taylor]: Taking taylor expansion of J in K 1.832 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) J) in l 1.832 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in l 1.832 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 1.832 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 1.832 * [taylor]: Taking taylor expansion of 0.5 in l 1.832 * [taylor]: Taking taylor expansion of K in l 1.832 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in l 1.832 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 1.832 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.832 * [taylor]: Taking taylor expansion of l in l 1.832 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in l 1.832 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in l 1.832 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.832 * [taylor]: Taking taylor expansion of l in l 1.832 * [taylor]: Taking taylor expansion of J in l 1.833 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) J) in J 1.833 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in J 1.833 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 1.833 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 1.833 * [taylor]: Taking taylor expansion of 0.5 in J 1.833 * [taylor]: Taking taylor expansion of K in J 1.833 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in J 1.833 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J 1.833 * [taylor]: Taking taylor expansion of (/ 1 l) in J 1.833 * [taylor]: Taking taylor expansion of l in J 1.833 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in J 1.833 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in J 1.833 * [taylor]: Taking taylor expansion of (/ 1 l) in J 1.833 * [taylor]: Taking taylor expansion of l in J 1.833 * [taylor]: Taking taylor expansion of J in J 1.833 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) J) in J 1.833 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in J 1.833 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 1.833 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 1.834 * [taylor]: Taking taylor expansion of 0.5 in J 1.834 * [taylor]: Taking taylor expansion of K in J 1.834 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in J 1.834 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J 1.834 * [taylor]: Taking taylor expansion of (/ 1 l) in J 1.834 * [taylor]: Taking taylor expansion of l in J 1.834 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in J 1.834 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in J 1.834 * [taylor]: Taking taylor expansion of (/ 1 l) in J 1.834 * [taylor]: Taking taylor expansion of l in J 1.834 * [taylor]: Taking taylor expansion of J in J 1.834 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in l 1.834 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 1.834 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 1.834 * [taylor]: Taking taylor expansion of 0.5 in l 1.834 * [taylor]: Taking taylor expansion of K in l 1.834 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in l 1.835 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 1.835 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.835 * [taylor]: Taking taylor expansion of l in l 1.835 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in l 1.835 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in l 1.835 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.835 * [taylor]: Taking taylor expansion of l in l 1.835 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in K 1.835 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 1.835 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 1.835 * [taylor]: Taking taylor expansion of 0.5 in K 1.835 * [taylor]: Taking taylor expansion of K in K 1.835 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in K 1.835 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K 1.835 * [taylor]: Taking taylor expansion of (/ 1 l) in K 1.835 * [taylor]: Taking taylor expansion of l in K 1.835 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in K 1.835 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in K 1.835 * [taylor]: Taking taylor expansion of (/ 1 l) in K 1.835 * [taylor]: Taking taylor expansion of l in K 1.837 * [taylor]: Taking taylor expansion of 0 in l 1.837 * [taylor]: Taking taylor expansion of 0 in K 1.837 * [taylor]: Taking taylor expansion of 0 in K 1.838 * [taylor]: Taking taylor expansion of 0 in l 1.838 * [taylor]: Taking taylor expansion of 0 in K 1.838 * [taylor]: Taking taylor expansion of 0 in K 1.839 * [taylor]: Taking taylor expansion of 0 in K 1.839 * [approximate]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) in (J l K) around 0 1.839 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) in K 1.839 * [taylor]: Taking taylor expansion of -1 in K 1.839 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J) in K 1.839 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) in K 1.839 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in K 1.839 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in K 1.840 * [taylor]: Taking taylor expansion of (/ -1 l) in K 1.840 * [taylor]: Taking taylor expansion of -1 in K 1.840 * [taylor]: Taking taylor expansion of l in K 1.840 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K 1.840 * [taylor]: Taking taylor expansion of (/ 1 l) in K 1.840 * [taylor]: Taking taylor expansion of l in K 1.840 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 1.840 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 1.840 * [taylor]: Taking taylor expansion of -0.5 in K 1.840 * [taylor]: Taking taylor expansion of K in K 1.840 * [taylor]: Taking taylor expansion of J in K 1.840 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) in l 1.840 * [taylor]: Taking taylor expansion of -1 in l 1.840 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J) in l 1.840 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) in l 1.840 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l 1.840 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l 1.840 * [taylor]: Taking taylor expansion of (/ -1 l) in l 1.840 * [taylor]: Taking taylor expansion of -1 in l 1.840 * [taylor]: Taking taylor expansion of l in l 1.840 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 1.840 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.840 * [taylor]: Taking taylor expansion of l in l 1.840 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 1.840 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 1.840 * [taylor]: Taking taylor expansion of -0.5 in l 1.840 * [taylor]: Taking taylor expansion of K in l 1.841 * [taylor]: Taking taylor expansion of J in l 1.841 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) in J 1.841 * [taylor]: Taking taylor expansion of -1 in J 1.841 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J) in J 1.841 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) in J 1.841 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in J 1.841 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in J 1.841 * [taylor]: Taking taylor expansion of (/ -1 l) in J 1.841 * [taylor]: Taking taylor expansion of -1 in J 1.841 * [taylor]: Taking taylor expansion of l in J 1.841 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J 1.841 * [taylor]: Taking taylor expansion of (/ 1 l) in J 1.841 * [taylor]: Taking taylor expansion of l in J 1.841 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 1.841 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 1.841 * [taylor]: Taking taylor expansion of -0.5 in J 1.841 * [taylor]: Taking taylor expansion of K in J 1.841 * [taylor]: Taking taylor expansion of J in J 1.842 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) in J 1.842 * [taylor]: Taking taylor expansion of -1 in J 1.842 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J) in J 1.842 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) in J 1.842 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in J 1.842 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in J 1.842 * [taylor]: Taking taylor expansion of (/ -1 l) in J 1.842 * [taylor]: Taking taylor expansion of -1 in J 1.842 * [taylor]: Taking taylor expansion of l in J 1.842 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J 1.842 * [taylor]: Taking taylor expansion of (/ 1 l) in J 1.842 * [taylor]: Taking taylor expansion of l in J 1.842 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 1.842 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 1.842 * [taylor]: Taking taylor expansion of -0.5 in J 1.842 * [taylor]: Taking taylor expansion of K in J 1.842 * [taylor]: Taking taylor expansion of J in J 1.843 * [taylor]: Taking taylor expansion of (* -1 (* (cos (/ -0.5 K)) (- (exp (/ -1 l)) (exp (/ 1 l))))) in l 1.843 * [taylor]: Taking taylor expansion of -1 in l 1.843 * [taylor]: Taking taylor expansion of (* (cos (/ -0.5 K)) (- (exp (/ -1 l)) (exp (/ 1 l)))) in l 1.843 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 1.843 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 1.843 * [taylor]: Taking taylor expansion of -0.5 in l 1.843 * [taylor]: Taking taylor expansion of K in l 1.843 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l 1.843 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l 1.843 * [taylor]: Taking taylor expansion of (/ -1 l) in l 1.843 * [taylor]: Taking taylor expansion of -1 in l 1.843 * [taylor]: Taking taylor expansion of l in l 1.843 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 1.843 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.843 * [taylor]: Taking taylor expansion of l in l 1.844 * [taylor]: Taking taylor expansion of (* -1 (* (cos (/ -0.5 K)) (- (exp (/ -1 l)) (exp (/ 1 l))))) in K 1.844 * [taylor]: Taking taylor expansion of -1 in K 1.844 * [taylor]: Taking taylor expansion of (* (cos (/ -0.5 K)) (- (exp (/ -1 l)) (exp (/ 1 l)))) in K 1.844 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 1.844 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 1.844 * [taylor]: Taking taylor expansion of -0.5 in K 1.844 * [taylor]: Taking taylor expansion of K in K 1.844 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in K 1.844 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in K 1.844 * [taylor]: Taking taylor expansion of (/ -1 l) in K 1.844 * [taylor]: Taking taylor expansion of -1 in K 1.844 * [taylor]: Taking taylor expansion of l in K 1.844 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K 1.844 * [taylor]: Taking taylor expansion of (/ 1 l) in K 1.844 * [taylor]: Taking taylor expansion of l in K 1.845 * [taylor]: Taking taylor expansion of 0 in l 1.845 * [taylor]: Taking taylor expansion of 0 in K 1.846 * [taylor]: Taking taylor expansion of 0 in K 1.847 * [taylor]: Taking taylor expansion of 0 in l 1.847 * [taylor]: Taking taylor expansion of 0 in K 1.847 * [taylor]: Taking taylor expansion of 0 in K 1.848 * [taylor]: Taking taylor expansion of 0 in K 1.848 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 1.848 * [approximate]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) J) in (J l) around 0 1.848 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) J) in l 1.848 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in l 1.848 * [taylor]: Taking taylor expansion of (exp l) in l 1.848 * [taylor]: Taking taylor expansion of l in l 1.848 * [taylor]: Taking taylor expansion of (exp (neg l)) in l 1.848 * [taylor]: Taking taylor expansion of (neg l) in l 1.848 * [taylor]: Taking taylor expansion of l in l 1.848 * [taylor]: Taking taylor expansion of J in l 1.848 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) J) in J 1.848 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in J 1.848 * [taylor]: Taking taylor expansion of (exp l) in J 1.848 * [taylor]: Taking taylor expansion of l in J 1.849 * [taylor]: Taking taylor expansion of (exp (neg l)) in J 1.849 * [taylor]: Taking taylor expansion of (neg l) in J 1.849 * [taylor]: Taking taylor expansion of l in J 1.849 * [taylor]: Taking taylor expansion of J in J 1.849 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) J) in J 1.849 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in J 1.849 * [taylor]: Taking taylor expansion of (exp l) in J 1.849 * [taylor]: Taking taylor expansion of l in J 1.849 * [taylor]: Taking taylor expansion of (exp (neg l)) in J 1.849 * [taylor]: Taking taylor expansion of (neg l) in J 1.849 * [taylor]: Taking taylor expansion of l in J 1.849 * [taylor]: Taking taylor expansion of J in J 1.849 * [taylor]: Taking taylor expansion of 0 in l 1.849 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in l 1.849 * [taylor]: Taking taylor expansion of (exp l) in l 1.849 * [taylor]: Taking taylor expansion of l in l 1.849 * [taylor]: Taking taylor expansion of (exp (neg l)) in l 1.849 * [taylor]: Taking taylor expansion of (neg l) in l 1.849 * [taylor]: Taking taylor expansion of l in l 1.850 * [taylor]: Taking taylor expansion of 0 in l 1.851 * [taylor]: Taking taylor expansion of 0 in l 1.852 * [taylor]: Taking taylor expansion of 0 in l 1.852 * [approximate]: Taking taylor expansion of (/ (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) J) in (J l) around 0 1.852 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) J) in l 1.852 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in l 1.852 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 1.852 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.852 * [taylor]: Taking taylor expansion of l in l 1.852 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in l 1.852 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in l 1.852 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.852 * [taylor]: Taking taylor expansion of l in l 1.852 * [taylor]: Taking taylor expansion of J in l 1.852 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) J) in J 1.852 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in J 1.852 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J 1.852 * [taylor]: Taking taylor expansion of (/ 1 l) in J 1.852 * [taylor]: Taking taylor expansion of l in J 1.853 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in J 1.853 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in J 1.853 * [taylor]: Taking taylor expansion of (/ 1 l) in J 1.853 * [taylor]: Taking taylor expansion of l in J 1.853 * [taylor]: Taking taylor expansion of J in J 1.853 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) J) in J 1.853 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in J 1.853 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J 1.853 * [taylor]: Taking taylor expansion of (/ 1 l) in J 1.853 * [taylor]: Taking taylor expansion of l in J 1.853 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in J 1.853 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in J 1.853 * [taylor]: Taking taylor expansion of (/ 1 l) in J 1.853 * [taylor]: Taking taylor expansion of l in J 1.853 * [taylor]: Taking taylor expansion of J in J 1.853 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in l 1.853 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 1.853 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.854 * [taylor]: Taking taylor expansion of l in l 1.854 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in l 1.854 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in l 1.854 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.854 * [taylor]: Taking taylor expansion of l in l 1.854 * [taylor]: Taking taylor expansion of 0 in l 1.855 * [taylor]: Taking taylor expansion of 0 in l 1.856 * [taylor]: Taking taylor expansion of 0 in l 1.856 * [approximate]: Taking taylor expansion of (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) in (J l) around 0 1.856 * [taylor]: Taking taylor expansion of (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) in l 1.856 * [taylor]: Taking taylor expansion of -1 in l 1.856 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J) in l 1.856 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l 1.856 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l 1.856 * [taylor]: Taking taylor expansion of (/ -1 l) in l 1.856 * [taylor]: Taking taylor expansion of -1 in l 1.856 * [taylor]: Taking taylor expansion of l in l 1.856 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 1.856 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.856 * [taylor]: Taking taylor expansion of l in l 1.856 * [taylor]: Taking taylor expansion of J in l 1.857 * [taylor]: Taking taylor expansion of (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) in J 1.857 * [taylor]: Taking taylor expansion of -1 in J 1.857 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J) in J 1.857 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in J 1.857 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in J 1.857 * [taylor]: Taking taylor expansion of (/ -1 l) in J 1.857 * [taylor]: Taking taylor expansion of -1 in J 1.857 * [taylor]: Taking taylor expansion of l in J 1.857 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J 1.857 * [taylor]: Taking taylor expansion of (/ 1 l) in J 1.857 * [taylor]: Taking taylor expansion of l in J 1.857 * [taylor]: Taking taylor expansion of J in J 1.857 * [taylor]: Taking taylor expansion of (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) in J 1.857 * [taylor]: Taking taylor expansion of -1 in J 1.857 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J) in J 1.857 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in J 1.857 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in J 1.857 * [taylor]: Taking taylor expansion of (/ -1 l) in J 1.857 * [taylor]: Taking taylor expansion of -1 in J 1.857 * [taylor]: Taking taylor expansion of l in J 1.857 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J 1.857 * [taylor]: Taking taylor expansion of (/ 1 l) in J 1.857 * [taylor]: Taking taylor expansion of l in J 1.857 * [taylor]: Taking taylor expansion of J in J 1.858 * [taylor]: Taking taylor expansion of (* -1 (- (exp (/ -1 l)) (exp (/ 1 l)))) in l 1.858 * [taylor]: Taking taylor expansion of -1 in l 1.858 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l 1.858 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l 1.858 * [taylor]: Taking taylor expansion of (/ -1 l) in l 1.858 * [taylor]: Taking taylor expansion of -1 in l 1.858 * [taylor]: Taking taylor expansion of l in l 1.858 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 1.858 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.858 * [taylor]: Taking taylor expansion of l in l 1.859 * [taylor]: Taking taylor expansion of 0 in l 1.859 * [taylor]: Taking taylor expansion of 0 in l 1.865 * [taylor]: Taking taylor expansion of 0 in l 1.865 * * * [progress]: simplifying candidates 1.866 * [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)))) 1.869 * * [simplify]: iteration 0 : 115 enodes (cost 899 ) 1.886 * * [simplify]: iteration 1 : 273 enodes (cost 874 ) 1.936 * * [simplify]: iteration 2 : 852 enodes (cost 738 ) 2.175 * * [simplify]: iteration 3 : 3384 enodes (cost 735 ) 2.728 * * [simplify]: iteration done : 5001 enodes (cost 735 ) 2.728 * [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 (* l -3))) (+ (exp (* l -2)) (+ 1 (exp (+ l l)))) (neg (exp (neg l))) (- (exp (+ l l)) (exp (* l -2))) (+ (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 (- (exp l) (exp (neg l)))) (cos (/ K 2.0)))) (log (* (* J (- (exp l) (exp (neg l)))) (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 (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0))) 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)))) (* (- (exp l) (exp (neg l))) J) (* (- (exp l) (exp (neg l))) (cos (/ K 2.0))) (* (cos (/ K 2.0)) (* J (- (pow (exp l) 3) (exp (* l -3))))) (* (* (- (exp (+ l l)) (exp (* l -2))) (cos (/ K 2.0))) J) (* (- (exp l) (exp (neg l))) J) (log (* J (- (exp l) (exp (neg l))))) (log (* J (- (exp l) (exp (neg l))))) (exp (* J (- (exp l) (exp (neg l))))) (pow (* (- (exp l) (exp (neg l))) J) 3) (* (cbrt (* J (- (exp l) (exp (neg l))))) (cbrt (* J (- (exp l) (exp (neg l)))))) (cbrt (* J (- (exp l) (exp (neg l))))) (pow (* (- (exp l) (exp (neg l))) J) 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)) (* J (exp l)) (/ (neg J) (exp l)) (* J (exp l)) (/ (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)))) (* (- (exp l) (exp (neg l))) J) (* J (- (pow (exp l) 3) (exp (* l -3)))) (* J (- (exp (+ l l)) (exp (* l -2)))) (+ (* 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)))) (* (- (exp l) (exp (neg l))) (* J (cos (* 0.5 K)))) (* 2 (* J l)) (* (- (exp l) (exp (neg l))) J) (* (- (exp l) (exp (neg l))) J) 2.729 * * * [progress]: adding candidates to table 2.827 * * [progress]: iteration 2 / 4 2.827 * * * [progress]: picking best candidate 2.846 * * * * [pick]: Picked # 2.846 * * * [progress]: localizing error 2.857 * * * [progress]: generating rewritten candidates 2.857 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 2.864 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 2.871 * * * [progress]: generating series expansions 2.871 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 2.871 * [approximate]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in (J l K) around 0 2.871 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in K 2.871 * [taylor]: Taking taylor expansion of 2 in K 2.871 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in K 2.871 * [taylor]: Taking taylor expansion of J in K 2.871 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 2.871 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 2.871 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 2.871 * [taylor]: Taking taylor expansion of 0.5 in K 2.871 * [taylor]: Taking taylor expansion of K in K 2.871 * [taylor]: Taking taylor expansion of l in K 2.871 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in l 2.871 * [taylor]: Taking taylor expansion of 2 in l 2.871 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in l 2.871 * [taylor]: Taking taylor expansion of J in l 2.871 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l 2.871 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 2.871 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 2.871 * [taylor]: Taking taylor expansion of 0.5 in l 2.871 * [taylor]: Taking taylor expansion of K in l 2.872 * [taylor]: Taking taylor expansion of l in l 2.872 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in J 2.872 * [taylor]: Taking taylor expansion of 2 in J 2.872 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 2.872 * [taylor]: Taking taylor expansion of J in J 2.872 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 2.872 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 2.872 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 2.872 * [taylor]: Taking taylor expansion of 0.5 in J 2.872 * [taylor]: Taking taylor expansion of K in J 2.872 * [taylor]: Taking taylor expansion of l in J 2.872 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in J 2.872 * [taylor]: Taking taylor expansion of 2 in J 2.872 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 2.872 * [taylor]: Taking taylor expansion of J in J 2.872 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 2.872 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 2.872 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 2.872 * [taylor]: Taking taylor expansion of 0.5 in J 2.872 * [taylor]: Taking taylor expansion of K in J 2.872 * [taylor]: Taking taylor expansion of l in J 2.872 * [taylor]: Taking taylor expansion of 0 in l 2.872 * [taylor]: Taking taylor expansion of 0 in K 2.873 * [taylor]: Taking taylor expansion of (* 2 (* (cos (* 0.5 K)) l)) in l 2.873 * [taylor]: Taking taylor expansion of 2 in l 2.873 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l 2.873 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 2.873 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 2.873 * [taylor]: Taking taylor expansion of 0.5 in l 2.873 * [taylor]: Taking taylor expansion of K in l 2.873 * [taylor]: Taking taylor expansion of l in l 2.873 * [taylor]: Taking taylor expansion of 0 in K 2.873 * [taylor]: Taking taylor expansion of 0 in K 2.874 * [taylor]: Taking taylor expansion of 0 in l 2.874 * [taylor]: Taking taylor expansion of 0 in K 2.874 * [taylor]: Taking taylor expansion of (* 2 (cos (* 0.5 K))) in K 2.874 * [taylor]: Taking taylor expansion of 2 in K 2.874 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 2.874 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 2.874 * [taylor]: Taking taylor expansion of 0.5 in K 2.874 * [taylor]: Taking taylor expansion of K in K 2.874 * [taylor]: Taking taylor expansion of 0 in K 2.875 * [taylor]: Taking taylor expansion of 0 in l 2.875 * [taylor]: Taking taylor expansion of 0 in K 2.875 * [taylor]: Taking taylor expansion of 0 in K 2.875 * [approximate]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in (J l K) around 0 2.875 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in K 2.875 * [taylor]: Taking taylor expansion of 2 in K 2.875 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in K 2.875 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 2.875 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 2.875 * [taylor]: Taking taylor expansion of 0.5 in K 2.875 * [taylor]: Taking taylor expansion of K in K 2.875 * [taylor]: Taking taylor expansion of (* J l) in K 2.875 * [taylor]: Taking taylor expansion of J in K 2.875 * [taylor]: Taking taylor expansion of l in K 2.875 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in l 2.875 * [taylor]: Taking taylor expansion of 2 in l 2.875 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in l 2.875 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 2.876 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 2.876 * [taylor]: Taking taylor expansion of 0.5 in l 2.876 * [taylor]: Taking taylor expansion of K in l 2.876 * [taylor]: Taking taylor expansion of (* J l) in l 2.876 * [taylor]: Taking taylor expansion of J in l 2.876 * [taylor]: Taking taylor expansion of l in l 2.876 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in J 2.876 * [taylor]: Taking taylor expansion of 2 in J 2.876 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 2.876 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 2.876 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 2.876 * [taylor]: Taking taylor expansion of 0.5 in J 2.876 * [taylor]: Taking taylor expansion of K in J 2.876 * [taylor]: Taking taylor expansion of (* J l) in J 2.876 * [taylor]: Taking taylor expansion of J in J 2.876 * [taylor]: Taking taylor expansion of l in J 2.876 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in J 2.876 * [taylor]: Taking taylor expansion of 2 in J 2.876 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 2.876 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 2.876 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 2.876 * [taylor]: Taking taylor expansion of 0.5 in J 2.876 * [taylor]: Taking taylor expansion of K in J 2.876 * [taylor]: Taking taylor expansion of (* J l) in J 2.877 * [taylor]: Taking taylor expansion of J in J 2.877 * [taylor]: Taking taylor expansion of l in J 2.877 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) l)) in l 2.877 * [taylor]: Taking taylor expansion of 2 in l 2.877 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in l 2.877 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 2.877 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 2.877 * [taylor]: Taking taylor expansion of 0.5 in l 2.877 * [taylor]: Taking taylor expansion of K in l 2.877 * [taylor]: Taking taylor expansion of l in l 2.877 * [taylor]: Taking taylor expansion of (* 2 (cos (/ 0.5 K))) in K 2.877 * [taylor]: Taking taylor expansion of 2 in K 2.877 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 2.877 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 2.877 * [taylor]: Taking taylor expansion of 0.5 in K 2.877 * [taylor]: Taking taylor expansion of K in K 2.878 * [taylor]: Taking taylor expansion of 0 in l 2.878 * [taylor]: Taking taylor expansion of 0 in K 2.879 * [taylor]: Taking taylor expansion of 0 in l 2.879 * [taylor]: Taking taylor expansion of 0 in K 2.879 * [taylor]: Taking taylor expansion of 0 in K 2.880 * [approximate]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in (J l K) around 0 2.880 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in K 2.880 * [taylor]: Taking taylor expansion of 2 in K 2.880 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in K 2.880 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 2.880 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 2.880 * [taylor]: Taking taylor expansion of -0.5 in K 2.880 * [taylor]: Taking taylor expansion of K in K 2.880 * [taylor]: Taking taylor expansion of (* J l) in K 2.880 * [taylor]: Taking taylor expansion of J in K 2.880 * [taylor]: Taking taylor expansion of l in K 2.880 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in l 2.880 * [taylor]: Taking taylor expansion of 2 in l 2.880 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in l 2.880 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 2.880 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 2.880 * [taylor]: Taking taylor expansion of -0.5 in l 2.880 * [taylor]: Taking taylor expansion of K in l 2.880 * [taylor]: Taking taylor expansion of (* J l) in l 2.880 * [taylor]: Taking taylor expansion of J in l 2.880 * [taylor]: Taking taylor expansion of l in l 2.880 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in J 2.880 * [taylor]: Taking taylor expansion of 2 in J 2.881 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 2.881 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 2.881 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 2.881 * [taylor]: Taking taylor expansion of -0.5 in J 2.881 * [taylor]: Taking taylor expansion of K in J 2.881 * [taylor]: Taking taylor expansion of (* J l) in J 2.881 * [taylor]: Taking taylor expansion of J in J 2.881 * [taylor]: Taking taylor expansion of l in J 2.881 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in J 2.881 * [taylor]: Taking taylor expansion of 2 in J 2.881 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 2.881 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 2.881 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 2.881 * [taylor]: Taking taylor expansion of -0.5 in J 2.881 * [taylor]: Taking taylor expansion of K in J 2.881 * [taylor]: Taking taylor expansion of (* J l) in J 2.881 * [taylor]: Taking taylor expansion of J in J 2.881 * [taylor]: Taking taylor expansion of l in J 2.881 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) l)) in l 2.881 * [taylor]: Taking taylor expansion of 2 in l 2.881 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in l 2.881 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 2.881 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 2.882 * [taylor]: Taking taylor expansion of -0.5 in l 2.882 * [taylor]: Taking taylor expansion of K in l 2.882 * [taylor]: Taking taylor expansion of l in l 2.882 * [taylor]: Taking taylor expansion of (* 2 (cos (/ -0.5 K))) in K 2.882 * [taylor]: Taking taylor expansion of 2 in K 2.882 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 2.882 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 2.882 * [taylor]: Taking taylor expansion of -0.5 in K 2.882 * [taylor]: Taking taylor expansion of K in K 2.882 * [taylor]: Taking taylor expansion of 0 in l 2.883 * [taylor]: Taking taylor expansion of 0 in K 2.883 * [taylor]: Taking taylor expansion of 0 in l 2.883 * [taylor]: Taking taylor expansion of 0 in K 2.884 * [taylor]: Taking taylor expansion of 0 in K 2.884 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1) 2.884 * [approximate]: Taking taylor expansion of (* 2 (* J l)) in (J l) around 0 2.884 * [taylor]: Taking taylor expansion of (* 2 (* J l)) in l 2.884 * [taylor]: Taking taylor expansion of 2 in l 2.884 * [taylor]: Taking taylor expansion of (* J l) in l 2.884 * [taylor]: Taking taylor expansion of J in l 2.884 * [taylor]: Taking taylor expansion of l in l 2.884 * [taylor]: Taking taylor expansion of (* 2 (* J l)) in J 2.884 * [taylor]: Taking taylor expansion of 2 in J 2.884 * [taylor]: Taking taylor expansion of (* J l) in J 2.884 * [taylor]: Taking taylor expansion of J in J 2.885 * [taylor]: Taking taylor expansion of l in J 2.885 * [taylor]: Taking taylor expansion of (* 2 (* J l)) in J 2.885 * [taylor]: Taking taylor expansion of 2 in J 2.885 * [taylor]: Taking taylor expansion of (* J l) in J 2.885 * [taylor]: Taking taylor expansion of J in J 2.885 * [taylor]: Taking taylor expansion of l in J 2.885 * [taylor]: Taking taylor expansion of 0 in l 2.885 * [taylor]: Taking taylor expansion of (* 2 l) in l 2.885 * [taylor]: Taking taylor expansion of 2 in l 2.885 * [taylor]: Taking taylor expansion of l in l 2.885 * [taylor]: Taking taylor expansion of 0 in l 2.885 * [taylor]: Taking taylor expansion of 0 in l 2.885 * [taylor]: Taking taylor expansion of 0 in l 2.885 * [approximate]: Taking taylor expansion of (/ 2 (* J l)) in (J l) around 0 2.885 * [taylor]: Taking taylor expansion of (/ 2 (* J l)) in l 2.885 * [taylor]: Taking taylor expansion of 2 in l 2.886 * [taylor]: Taking taylor expansion of (* J l) in l 2.886 * [taylor]: Taking taylor expansion of J in l 2.886 * [taylor]: Taking taylor expansion of l in l 2.886 * [taylor]: Taking taylor expansion of (/ 2 (* J l)) in J 2.886 * [taylor]: Taking taylor expansion of 2 in J 2.886 * [taylor]: Taking taylor expansion of (* J l) in J 2.886 * [taylor]: Taking taylor expansion of J in J 2.886 * [taylor]: Taking taylor expansion of l in J 2.886 * [taylor]: Taking taylor expansion of (/ 2 (* J l)) in J 2.886 * [taylor]: Taking taylor expansion of 2 in J 2.886 * [taylor]: Taking taylor expansion of (* J l) in J 2.886 * [taylor]: Taking taylor expansion of J in J 2.886 * [taylor]: Taking taylor expansion of l in J 2.886 * [taylor]: Taking taylor expansion of (/ 2 l) in l 2.886 * [taylor]: Taking taylor expansion of 2 in l 2.886 * [taylor]: Taking taylor expansion of l in l 2.886 * [taylor]: Taking taylor expansion of 0 in l 2.886 * [taylor]: Taking taylor expansion of 0 in l 2.887 * [taylor]: Taking taylor expansion of 0 in l 2.887 * [approximate]: Taking taylor expansion of (/ 2 (* J l)) in (J l) around 0 2.887 * [taylor]: Taking taylor expansion of (/ 2 (* J l)) in l 2.887 * [taylor]: Taking taylor expansion of 2 in l 2.887 * [taylor]: Taking taylor expansion of (* J l) in l 2.887 * [taylor]: Taking taylor expansion of J in l 2.887 * [taylor]: Taking taylor expansion of l in l 2.887 * [taylor]: Taking taylor expansion of (/ 2 (* J l)) in J 2.887 * [taylor]: Taking taylor expansion of 2 in J 2.887 * [taylor]: Taking taylor expansion of (* J l) in J 2.887 * [taylor]: Taking taylor expansion of J in J 2.887 * [taylor]: Taking taylor expansion of l in J 2.887 * [taylor]: Taking taylor expansion of (/ 2 (* J l)) in J 2.887 * [taylor]: Taking taylor expansion of 2 in J 2.887 * [taylor]: Taking taylor expansion of (* J l) in J 2.887 * [taylor]: Taking taylor expansion of J in J 2.887 * [taylor]: Taking taylor expansion of l in J 2.887 * [taylor]: Taking taylor expansion of (/ 2 l) in l 2.887 * [taylor]: Taking taylor expansion of 2 in l 2.888 * [taylor]: Taking taylor expansion of l in l 2.888 * [taylor]: Taking taylor expansion of 0 in l 2.888 * [taylor]: Taking taylor expansion of 0 in l 2.888 * [taylor]: Taking taylor expansion of 0 in l 2.888 * * * [progress]: simplifying candidates 2.889 * [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)) 2.891 * * [simplify]: iteration 0 : 70 enodes (cost 497 ) 2.901 * * [simplify]: iteration 1 : 182 enodes (cost 472 ) 2.944 * * [simplify]: iteration 2 : 745 enodes (cost 376 ) 3.433 * * [simplify]: iteration 3 : 3963 enodes (cost 376 ) 4.215 * * [simplify]: iteration done : 5000 enodes (cost 376 ) 4.215 * [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 (* J l)) (cos (/ K 2.0)))) (log (* (* 2 (* J l)) (cos (/ K 2.0)))) (log (* (* 2 (* J l)) (cos (/ K 2.0)))) (log (* (* 2 (* J l)) (cos (/ K 2.0)))) (exp (* (* 2 (* J l)) (cos (/ K 2.0)))) (pow (* (* 2 (* J l)) (cos (/ K 2.0))) 3) (pow (* (* 2 (* J l)) (cos (/ K 2.0))) 3) (pow (* (* 2 (* J l)) (cos (/ K 2.0))) 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 (* J l))) (log (* 2 (* J l))) (log (* 2 (* J l))) (exp (* 2 (* J l))) (* 8 (pow (* J l) 3)) (* 8 (pow (* J l) 3)) (* (cbrt (* 2 (* J l))) (cbrt (* 2 (* J l)))) (cbrt (* 2 (* J l))) (* 8 (pow (* 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)) 4.216 * * * [progress]: adding candidates to table 4.269 * * [progress]: iteration 3 / 4 4.269 * * * [progress]: picking best candidate 4.305 * * * * [pick]: Picked # 4.305 * * * [progress]: localizing error 4.315 * * * [progress]: generating rewritten candidates 4.315 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2 2) 4.320 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2) 4.326 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 4.336 * * * [progress]: generating series expansions 4.337 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2 2) 4.337 * [approximate]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in (K l) around 0 4.337 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l 4.337 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 4.337 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 4.337 * [taylor]: Taking taylor expansion of 0.5 in l 4.337 * [taylor]: Taking taylor expansion of K in l 4.337 * [taylor]: Taking taylor expansion of l in l 4.337 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 4.337 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 4.337 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 4.337 * [taylor]: Taking taylor expansion of 0.5 in K 4.337 * [taylor]: Taking taylor expansion of K in K 4.337 * [taylor]: Taking taylor expansion of l in K 4.337 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 4.337 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 4.337 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 4.337 * [taylor]: Taking taylor expansion of 0.5 in K 4.337 * [taylor]: Taking taylor expansion of K in K 4.337 * [taylor]: Taking taylor expansion of l in K 4.337 * [taylor]: Taking taylor expansion of l in l 4.337 * [taylor]: Taking taylor expansion of 0 in l 4.337 * [taylor]: Taking taylor expansion of (neg (* 0.125 l)) in l 4.338 * [taylor]: Taking taylor expansion of (* 0.125 l) in l 4.338 * [taylor]: Taking taylor expansion of 0.125 in l 4.338 * [taylor]: Taking taylor expansion of l in l 4.338 * [taylor]: Taking taylor expansion of 0 in l 4.338 * [taylor]: Taking taylor expansion of (* 0.0026041666666666665 l) in l 4.339 * [taylor]: Taking taylor expansion of 0.0026041666666666665 in l 4.339 * [taylor]: Taking taylor expansion of l in l 4.339 * [approximate]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in (K l) around 0 4.339 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in l 4.339 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 4.339 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 4.339 * [taylor]: Taking taylor expansion of 0.5 in l 4.339 * [taylor]: Taking taylor expansion of K in l 4.339 * [taylor]: Taking taylor expansion of l in l 4.340 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in K 4.340 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 4.340 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 4.340 * [taylor]: Taking taylor expansion of 0.5 in K 4.340 * [taylor]: Taking taylor expansion of K in K 4.340 * [taylor]: Taking taylor expansion of l in K 4.340 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in K 4.340 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 4.340 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 4.340 * [taylor]: Taking taylor expansion of 0.5 in K 4.340 * [taylor]: Taking taylor expansion of K in K 4.340 * [taylor]: Taking taylor expansion of l in K 4.340 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in l 4.340 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 4.340 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 4.340 * [taylor]: Taking taylor expansion of 0.5 in l 4.340 * [taylor]: Taking taylor expansion of K in l 4.340 * [taylor]: Taking taylor expansion of l in l 4.340 * [taylor]: Taking taylor expansion of 0 in l 4.341 * [taylor]: Taking taylor expansion of 0 in l 4.342 * [taylor]: Taking taylor expansion of 0 in l 4.342 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) l)) in (K l) around 0 4.342 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) l)) in l 4.342 * [taylor]: Taking taylor expansion of -1 in l 4.342 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in l 4.342 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 4.342 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 4.343 * [taylor]: Taking taylor expansion of -0.5 in l 4.343 * [taylor]: Taking taylor expansion of K in l 4.343 * [taylor]: Taking taylor expansion of l in l 4.343 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) l)) in K 4.343 * [taylor]: Taking taylor expansion of -1 in K 4.343 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in K 4.343 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 4.343 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 4.343 * [taylor]: Taking taylor expansion of -0.5 in K 4.343 * [taylor]: Taking taylor expansion of K in K 4.343 * [taylor]: Taking taylor expansion of l in K 4.343 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) l)) in K 4.343 * [taylor]: Taking taylor expansion of -1 in K 4.343 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in K 4.343 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 4.343 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 4.343 * [taylor]: Taking taylor expansion of -0.5 in K 4.343 * [taylor]: Taking taylor expansion of K in K 4.343 * [taylor]: Taking taylor expansion of l in K 4.343 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) l)) in l 4.343 * [taylor]: Taking taylor expansion of -1 in l 4.343 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in l 4.343 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 4.343 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 4.343 * [taylor]: Taking taylor expansion of -0.5 in l 4.343 * [taylor]: Taking taylor expansion of K in l 4.344 * [taylor]: Taking taylor expansion of l in l 4.344 * [taylor]: Taking taylor expansion of 0 in l 4.344 * [taylor]: Taking taylor expansion of 0 in l 4.345 * [taylor]: Taking taylor expansion of 0 in l 4.349 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2) 4.349 * [approximate]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in (J K l) around 0 4.349 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in l 4.349 * [taylor]: Taking taylor expansion of J in l 4.349 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l 4.349 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 4.349 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 4.349 * [taylor]: Taking taylor expansion of 0.5 in l 4.349 * [taylor]: Taking taylor expansion of K in l 4.349 * [taylor]: Taking taylor expansion of l in l 4.349 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in K 4.349 * [taylor]: Taking taylor expansion of J in K 4.349 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 4.349 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 4.349 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 4.349 * [taylor]: Taking taylor expansion of 0.5 in K 4.349 * [taylor]: Taking taylor expansion of K in K 4.349 * [taylor]: Taking taylor expansion of l in K 4.349 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 4.349 * [taylor]: Taking taylor expansion of J in J 4.349 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 4.349 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 4.349 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 4.349 * [taylor]: Taking taylor expansion of 0.5 in J 4.349 * [taylor]: Taking taylor expansion of K in J 4.350 * [taylor]: Taking taylor expansion of l in J 4.350 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 4.350 * [taylor]: Taking taylor expansion of J in J 4.350 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 4.350 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 4.350 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 4.350 * [taylor]: Taking taylor expansion of 0.5 in J 4.350 * [taylor]: Taking taylor expansion of K in J 4.350 * [taylor]: Taking taylor expansion of l in J 4.350 * [taylor]: Taking taylor expansion of 0 in K 4.350 * [taylor]: Taking taylor expansion of 0 in l 4.350 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 4.350 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 4.350 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 4.350 * [taylor]: Taking taylor expansion of 0.5 in K 4.350 * [taylor]: Taking taylor expansion of K in K 4.351 * [taylor]: Taking taylor expansion of l in K 4.351 * [taylor]: Taking taylor expansion of l in l 4.351 * [taylor]: Taking taylor expansion of 0 in l 4.351 * [taylor]: Taking taylor expansion of 0 in K 4.351 * [taylor]: Taking taylor expansion of 0 in l 4.351 * [taylor]: Taking taylor expansion of 0 in l 4.351 * [approximate]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in (J K l) around 0 4.351 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in l 4.351 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 4.351 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 4.351 * [taylor]: Taking taylor expansion of 0.5 in l 4.351 * [taylor]: Taking taylor expansion of K in l 4.351 * [taylor]: Taking taylor expansion of (* J l) in l 4.352 * [taylor]: Taking taylor expansion of J in l 4.352 * [taylor]: Taking taylor expansion of l in l 4.352 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in K 4.352 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 4.352 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 4.352 * [taylor]: Taking taylor expansion of 0.5 in K 4.352 * [taylor]: Taking taylor expansion of K in K 4.352 * [taylor]: Taking taylor expansion of (* J l) in K 4.352 * [taylor]: Taking taylor expansion of J in K 4.352 * [taylor]: Taking taylor expansion of l in K 4.352 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 4.352 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 4.352 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 4.352 * [taylor]: Taking taylor expansion of 0.5 in J 4.352 * [taylor]: Taking taylor expansion of K in J 4.352 * [taylor]: Taking taylor expansion of (* J l) in J 4.352 * [taylor]: Taking taylor expansion of J in J 4.352 * [taylor]: Taking taylor expansion of l in J 4.352 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 4.352 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 4.352 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 4.352 * [taylor]: Taking taylor expansion of 0.5 in J 4.353 * [taylor]: Taking taylor expansion of K in J 4.353 * [taylor]: Taking taylor expansion of (* J l) in J 4.353 * [taylor]: Taking taylor expansion of J in J 4.353 * [taylor]: Taking taylor expansion of l in J 4.353 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in K 4.353 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 4.353 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 4.353 * [taylor]: Taking taylor expansion of 0.5 in K 4.353 * [taylor]: Taking taylor expansion of K in K 4.353 * [taylor]: Taking taylor expansion of l in K 4.353 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in l 4.353 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 4.353 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 4.353 * [taylor]: Taking taylor expansion of 0.5 in l 4.353 * [taylor]: Taking taylor expansion of K in l 4.354 * [taylor]: Taking taylor expansion of l in l 4.354 * [taylor]: Taking taylor expansion of 0 in K 4.354 * [taylor]: Taking taylor expansion of 0 in l 4.354 * [taylor]: Taking taylor expansion of 0 in l 4.355 * [taylor]: Taking taylor expansion of 0 in K 4.355 * [taylor]: Taking taylor expansion of 0 in l 4.355 * [taylor]: Taking taylor expansion of 0 in l 4.355 * [taylor]: Taking taylor expansion of 0 in l 4.356 * [taylor]: Taking taylor expansion of 0 in K 4.356 * [taylor]: Taking taylor expansion of 0 in l 4.357 * [taylor]: Taking taylor expansion of 0 in l 4.357 * [taylor]: Taking taylor expansion of 0 in l 4.357 * [taylor]: Taking taylor expansion of 0 in l 4.357 * [approximate]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in (J K l) around 0 4.357 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in l 4.357 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 4.357 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 4.357 * [taylor]: Taking taylor expansion of -0.5 in l 4.357 * [taylor]: Taking taylor expansion of K in l 4.357 * [taylor]: Taking taylor expansion of (* J l) in l 4.357 * [taylor]: Taking taylor expansion of J in l 4.357 * [taylor]: Taking taylor expansion of l in l 4.357 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in K 4.357 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 4.357 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 4.357 * [taylor]: Taking taylor expansion of -0.5 in K 4.357 * [taylor]: Taking taylor expansion of K in K 4.358 * [taylor]: Taking taylor expansion of (* J l) in K 4.358 * [taylor]: Taking taylor expansion of J in K 4.358 * [taylor]: Taking taylor expansion of l in K 4.358 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 4.358 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 4.358 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 4.358 * [taylor]: Taking taylor expansion of -0.5 in J 4.358 * [taylor]: Taking taylor expansion of K in J 4.358 * [taylor]: Taking taylor expansion of (* J l) in J 4.358 * [taylor]: Taking taylor expansion of J in J 4.358 * [taylor]: Taking taylor expansion of l in J 4.358 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 4.358 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 4.358 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 4.358 * [taylor]: Taking taylor expansion of -0.5 in J 4.358 * [taylor]: Taking taylor expansion of K in J 4.358 * [taylor]: Taking taylor expansion of (* J l) in J 4.358 * [taylor]: Taking taylor expansion of J in J 4.358 * [taylor]: Taking taylor expansion of l in J 4.358 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in K 4.359 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 4.359 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 4.359 * [taylor]: Taking taylor expansion of -0.5 in K 4.359 * [taylor]: Taking taylor expansion of K in K 4.359 * [taylor]: Taking taylor expansion of l in K 4.359 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in l 4.359 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 4.359 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 4.359 * [taylor]: Taking taylor expansion of -0.5 in l 4.359 * [taylor]: Taking taylor expansion of K in l 4.359 * [taylor]: Taking taylor expansion of l in l 4.359 * [taylor]: Taking taylor expansion of 0 in K 4.359 * [taylor]: Taking taylor expansion of 0 in l 4.360 * [taylor]: Taking taylor expansion of 0 in l 4.360 * [taylor]: Taking taylor expansion of 0 in K 4.360 * [taylor]: Taking taylor expansion of 0 in l 4.360 * [taylor]: Taking taylor expansion of 0 in l 4.361 * [taylor]: Taking taylor expansion of 0 in l 4.362 * [taylor]: Taking taylor expansion of 0 in K 4.362 * [taylor]: Taking taylor expansion of 0 in l 4.362 * [taylor]: Taking taylor expansion of 0 in l 4.362 * [taylor]: Taking taylor expansion of 0 in l 4.362 * [taylor]: Taking taylor expansion of 0 in l 4.362 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 4.362 * [approximate]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in (J K l) around 0 4.362 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in l 4.362 * [taylor]: Taking taylor expansion of 2 in l 4.362 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in l 4.362 * [taylor]: Taking taylor expansion of J in l 4.362 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l 4.362 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 4.362 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 4.362 * [taylor]: Taking taylor expansion of 0.5 in l 4.362 * [taylor]: Taking taylor expansion of K in l 4.362 * [taylor]: Taking taylor expansion of l in l 4.362 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in K 4.362 * [taylor]: Taking taylor expansion of 2 in K 4.362 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in K 4.363 * [taylor]: Taking taylor expansion of J in K 4.363 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 4.363 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 4.363 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 4.363 * [taylor]: Taking taylor expansion of 0.5 in K 4.363 * [taylor]: Taking taylor expansion of K in K 4.363 * [taylor]: Taking taylor expansion of l in K 4.363 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in J 4.363 * [taylor]: Taking taylor expansion of 2 in J 4.363 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 4.363 * [taylor]: Taking taylor expansion of J in J 4.363 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 4.363 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 4.363 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 4.363 * [taylor]: Taking taylor expansion of 0.5 in J 4.363 * [taylor]: Taking taylor expansion of K in J 4.363 * [taylor]: Taking taylor expansion of l in J 4.363 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in J 4.363 * [taylor]: Taking taylor expansion of 2 in J 4.363 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 4.363 * [taylor]: Taking taylor expansion of J in J 4.363 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 4.363 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 4.363 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 4.363 * [taylor]: Taking taylor expansion of 0.5 in J 4.363 * [taylor]: Taking taylor expansion of K in J 4.363 * [taylor]: Taking taylor expansion of l in J 4.363 * [taylor]: Taking taylor expansion of 0 in K 4.363 * [taylor]: Taking taylor expansion of 0 in l 4.364 * [taylor]: Taking taylor expansion of (* 2 (* (cos (* 0.5 K)) l)) in K 4.364 * [taylor]: Taking taylor expansion of 2 in K 4.364 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 4.364 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 4.364 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 4.364 * [taylor]: Taking taylor expansion of 0.5 in K 4.364 * [taylor]: Taking taylor expansion of K in K 4.364 * [taylor]: Taking taylor expansion of l in K 4.364 * [taylor]: Taking taylor expansion of (* 2 l) in l 4.364 * [taylor]: Taking taylor expansion of 2 in l 4.364 * [taylor]: Taking taylor expansion of l in l 4.364 * [taylor]: Taking taylor expansion of 0 in l 4.365 * [taylor]: Taking taylor expansion of 0 in K 4.365 * [taylor]: Taking taylor expansion of 0 in l 4.365 * [taylor]: Taking taylor expansion of 0 in l 4.365 * [approximate]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in (J K l) around 0 4.365 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in l 4.365 * [taylor]: Taking taylor expansion of 2 in l 4.365 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in l 4.365 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 4.365 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 4.365 * [taylor]: Taking taylor expansion of 0.5 in l 4.365 * [taylor]: Taking taylor expansion of K in l 4.365 * [taylor]: Taking taylor expansion of (* J l) in l 4.365 * [taylor]: Taking taylor expansion of J in l 4.365 * [taylor]: Taking taylor expansion of l in l 4.365 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in K 4.365 * [taylor]: Taking taylor expansion of 2 in K 4.365 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in K 4.365 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 4.365 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 4.365 * [taylor]: Taking taylor expansion of 0.5 in K 4.365 * [taylor]: Taking taylor expansion of K in K 4.366 * [taylor]: Taking taylor expansion of (* J l) in K 4.366 * [taylor]: Taking taylor expansion of J in K 4.366 * [taylor]: Taking taylor expansion of l in K 4.366 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in J 4.366 * [taylor]: Taking taylor expansion of 2 in J 4.366 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 4.366 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 4.366 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 4.366 * [taylor]: Taking taylor expansion of 0.5 in J 4.366 * [taylor]: Taking taylor expansion of K in J 4.366 * [taylor]: Taking taylor expansion of (* J l) in J 4.366 * [taylor]: Taking taylor expansion of J in J 4.366 * [taylor]: Taking taylor expansion of l in J 4.366 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in J 4.366 * [taylor]: Taking taylor expansion of 2 in J 4.366 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 4.366 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 4.366 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 4.366 * [taylor]: Taking taylor expansion of 0.5 in J 4.366 * [taylor]: Taking taylor expansion of K in J 4.366 * [taylor]: Taking taylor expansion of (* J l) in J 4.366 * [taylor]: Taking taylor expansion of J in J 4.366 * [taylor]: Taking taylor expansion of l in J 4.367 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) l)) in K 4.367 * [taylor]: Taking taylor expansion of 2 in K 4.367 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in K 4.367 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 4.367 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 4.367 * [taylor]: Taking taylor expansion of 0.5 in K 4.367 * [taylor]: Taking taylor expansion of K in K 4.367 * [taylor]: Taking taylor expansion of l in K 4.367 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) l)) in l 4.367 * [taylor]: Taking taylor expansion of 2 in l 4.367 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in l 4.367 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 4.367 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 4.367 * [taylor]: Taking taylor expansion of 0.5 in l 4.367 * [taylor]: Taking taylor expansion of K in l 4.367 * [taylor]: Taking taylor expansion of l in l 4.368 * [taylor]: Taking taylor expansion of 0 in K 4.368 * [taylor]: Taking taylor expansion of 0 in l 4.368 * [taylor]: Taking taylor expansion of 0 in l 4.369 * [taylor]: Taking taylor expansion of 0 in K 4.369 * [taylor]: Taking taylor expansion of 0 in l 4.369 * [taylor]: Taking taylor expansion of 0 in l 4.369 * [taylor]: Taking taylor expansion of 0 in l 4.370 * [taylor]: Taking taylor expansion of 0 in K 4.370 * [taylor]: Taking taylor expansion of 0 in l 4.370 * [taylor]: Taking taylor expansion of 0 in l 4.370 * [taylor]: Taking taylor expansion of 0 in l 4.371 * [taylor]: Taking taylor expansion of 0 in l 4.371 * [approximate]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in (J K l) around 0 4.371 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in l 4.371 * [taylor]: Taking taylor expansion of 2 in l 4.371 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in l 4.371 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 4.371 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 4.371 * [taylor]: Taking taylor expansion of -0.5 in l 4.371 * [taylor]: Taking taylor expansion of K in l 4.371 * [taylor]: Taking taylor expansion of (* J l) in l 4.371 * [taylor]: Taking taylor expansion of J in l 4.371 * [taylor]: Taking taylor expansion of l in l 4.371 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in K 4.371 * [taylor]: Taking taylor expansion of 2 in K 4.371 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in K 4.371 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 4.371 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 4.371 * [taylor]: Taking taylor expansion of -0.5 in K 4.372 * [taylor]: Taking taylor expansion of K in K 4.372 * [taylor]: Taking taylor expansion of (* J l) in K 4.372 * [taylor]: Taking taylor expansion of J in K 4.372 * [taylor]: Taking taylor expansion of l in K 4.372 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in J 4.372 * [taylor]: Taking taylor expansion of 2 in J 4.372 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 4.372 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 4.372 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 4.372 * [taylor]: Taking taylor expansion of -0.5 in J 4.372 * [taylor]: Taking taylor expansion of K in J 4.372 * [taylor]: Taking taylor expansion of (* J l) in J 4.372 * [taylor]: Taking taylor expansion of J in J 4.372 * [taylor]: Taking taylor expansion of l in J 4.372 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in J 4.372 * [taylor]: Taking taylor expansion of 2 in J 4.372 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 4.372 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 4.372 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 4.372 * [taylor]: Taking taylor expansion of -0.5 in J 4.372 * [taylor]: Taking taylor expansion of K in J 4.372 * [taylor]: Taking taylor expansion of (* J l) in J 4.372 * [taylor]: Taking taylor expansion of J in J 4.372 * [taylor]: Taking taylor expansion of l in J 4.373 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) l)) in K 4.373 * [taylor]: Taking taylor expansion of 2 in K 4.373 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in K 4.373 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 4.373 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 4.373 * [taylor]: Taking taylor expansion of -0.5 in K 4.373 * [taylor]: Taking taylor expansion of K in K 4.373 * [taylor]: Taking taylor expansion of l in K 4.373 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) l)) in l 4.373 * [taylor]: Taking taylor expansion of 2 in l 4.373 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in l 4.373 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 4.373 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 4.373 * [taylor]: Taking taylor expansion of -0.5 in l 4.373 * [taylor]: Taking taylor expansion of K in l 4.373 * [taylor]: Taking taylor expansion of l in l 4.374 * [taylor]: Taking taylor expansion of 0 in K 4.374 * [taylor]: Taking taylor expansion of 0 in l 4.374 * [taylor]: Taking taylor expansion of 0 in l 4.375 * [taylor]: Taking taylor expansion of 0 in K 4.375 * [taylor]: Taking taylor expansion of 0 in l 4.375 * [taylor]: Taking taylor expansion of 0 in l 4.375 * [taylor]: Taking taylor expansion of 0 in l 4.376 * [taylor]: Taking taylor expansion of 0 in K 4.376 * [taylor]: Taking taylor expansion of 0 in l 4.376 * [taylor]: Taking taylor expansion of 0 in l 4.376 * [taylor]: Taking taylor expansion of 0 in l 4.377 * [taylor]: Taking taylor expansion of 0 in l 4.377 * * * [progress]: simplifying candidates 4.378 * [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))) 4.380 * * [simplify]: iteration 0 : 83 enodes (cost 743 ) 4.392 * * [simplify]: iteration 1 : 199 enodes (cost 723 ) 4.435 * * [simplify]: iteration 2 : 728 enodes (cost 579 ) 4.698 * * [simplify]: iteration 3 : 3602 enodes (cost 579 ) 5.467 * * [simplify]: iteration done : 5000 enodes (cost 579 ) 5.468 * [simplify]: Simplified to: (* (cos (* 0.5 K)) l) (log (* (cos (* 0.5 K)) 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 (* (cos (* 0.5 K)) l))) (log (* J (* (cos (* 0.5 K)) l))) (log (* J (* (cos (* 0.5 K)) l))) (exp (* J (* (cos (* 0.5 K)) l))) (pow (* J (* (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 (* J (* (cos (* 0.5 K)) l)))) (log (* 2 (* J (* (cos (* 0.5 K)) l)))) (log (* 2 (* J (* (cos (* 0.5 K)) l)))) (log (* 2 (* J (* (cos (* 0.5 K)) l)))) (exp (* 2 (* J (* (cos (* 0.5 K)) l)))) (pow (* 2 (* J (* (cos (* 0.5 K)) l))) 3) (pow (* 2 (* J (* (cos (* 0.5 K)) l))) 3) (pow (* 2 (* 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))) 5.468 * * * [progress]: adding candidates to table 5.550 * * [progress]: iteration 4 / 4 5.550 * * * [progress]: picking best candidate 5.586 * * * * [pick]: Picked # 5.586 * * * [progress]: localizing error 5.596 * * * [progress]: generating rewritten candidates 5.596 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 5.602 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2 1) 5.607 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 5.617 * * * [progress]: generating series expansions 5.617 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 5.617 * [approximate]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in (J K l) around 0 5.617 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in l 5.617 * [taylor]: Taking taylor expansion of J in l 5.617 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l 5.617 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 5.617 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 5.617 * [taylor]: Taking taylor expansion of 0.5 in l 5.617 * [taylor]: Taking taylor expansion of K in l 5.617 * [taylor]: Taking taylor expansion of l in l 5.617 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in K 5.618 * [taylor]: Taking taylor expansion of J in K 5.618 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 5.618 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 5.618 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 5.618 * [taylor]: Taking taylor expansion of 0.5 in K 5.618 * [taylor]: Taking taylor expansion of K in K 5.618 * [taylor]: Taking taylor expansion of l in K 5.618 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 5.618 * [taylor]: Taking taylor expansion of J in J 5.618 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 5.618 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 5.618 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 5.618 * [taylor]: Taking taylor expansion of 0.5 in J 5.618 * [taylor]: Taking taylor expansion of K in J 5.618 * [taylor]: Taking taylor expansion of l in J 5.618 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 5.618 * [taylor]: Taking taylor expansion of J in J 5.618 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 5.618 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 5.618 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 5.618 * [taylor]: Taking taylor expansion of 0.5 in J 5.618 * [taylor]: Taking taylor expansion of K in J 5.618 * [taylor]: Taking taylor expansion of l in J 5.618 * [taylor]: Taking taylor expansion of 0 in K 5.618 * [taylor]: Taking taylor expansion of 0 in l 5.619 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 5.619 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 5.619 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 5.619 * [taylor]: Taking taylor expansion of 0.5 in K 5.619 * [taylor]: Taking taylor expansion of K in K 5.619 * [taylor]: Taking taylor expansion of l in K 5.619 * [taylor]: Taking taylor expansion of l in l 5.619 * [taylor]: Taking taylor expansion of 0 in l 5.619 * [taylor]: Taking taylor expansion of 0 in K 5.619 * [taylor]: Taking taylor expansion of 0 in l 5.619 * [taylor]: Taking taylor expansion of 0 in l 5.620 * [approximate]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in (J K l) around 0 5.620 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in l 5.620 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 5.620 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 5.620 * [taylor]: Taking taylor expansion of 0.5 in l 5.620 * [taylor]: Taking taylor expansion of K in l 5.620 * [taylor]: Taking taylor expansion of (* J l) in l 5.620 * [taylor]: Taking taylor expansion of J in l 5.620 * [taylor]: Taking taylor expansion of l in l 5.620 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in K 5.620 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 5.620 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 5.620 * [taylor]: Taking taylor expansion of 0.5 in K 5.620 * [taylor]: Taking taylor expansion of K in K 5.620 * [taylor]: Taking taylor expansion of (* J l) in K 5.620 * [taylor]: Taking taylor expansion of J in K 5.620 * [taylor]: Taking taylor expansion of l in K 5.620 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 5.620 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 5.620 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 5.620 * [taylor]: Taking taylor expansion of 0.5 in J 5.620 * [taylor]: Taking taylor expansion of K in J 5.620 * [taylor]: Taking taylor expansion of (* J l) in J 5.620 * [taylor]: Taking taylor expansion of J in J 5.620 * [taylor]: Taking taylor expansion of l in J 5.621 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 5.621 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 5.621 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 5.621 * [taylor]: Taking taylor expansion of 0.5 in J 5.621 * [taylor]: Taking taylor expansion of K in J 5.621 * [taylor]: Taking taylor expansion of (* J l) in J 5.621 * [taylor]: Taking taylor expansion of J in J 5.621 * [taylor]: Taking taylor expansion of l in J 5.621 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in K 5.621 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 5.621 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 5.621 * [taylor]: Taking taylor expansion of 0.5 in K 5.621 * [taylor]: Taking taylor expansion of K in K 5.621 * [taylor]: Taking taylor expansion of l in K 5.621 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in l 5.621 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 5.621 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 5.621 * [taylor]: Taking taylor expansion of 0.5 in l 5.621 * [taylor]: Taking taylor expansion of K in l 5.621 * [taylor]: Taking taylor expansion of l in l 5.622 * [taylor]: Taking taylor expansion of 0 in K 5.622 * [taylor]: Taking taylor expansion of 0 in l 5.622 * [taylor]: Taking taylor expansion of 0 in l 5.623 * [taylor]: Taking taylor expansion of 0 in K 5.623 * [taylor]: Taking taylor expansion of 0 in l 5.623 * [taylor]: Taking taylor expansion of 0 in l 5.623 * [taylor]: Taking taylor expansion of 0 in l 5.624 * [taylor]: Taking taylor expansion of 0 in K 5.624 * [taylor]: Taking taylor expansion of 0 in l 5.624 * [taylor]: Taking taylor expansion of 0 in l 5.624 * [taylor]: Taking taylor expansion of 0 in l 5.624 * [taylor]: Taking taylor expansion of 0 in l 5.625 * [approximate]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in (J K l) around 0 5.625 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in l 5.625 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 5.625 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 5.625 * [taylor]: Taking taylor expansion of -0.5 in l 5.625 * [taylor]: Taking taylor expansion of K in l 5.625 * [taylor]: Taking taylor expansion of (* J l) in l 5.625 * [taylor]: Taking taylor expansion of J in l 5.625 * [taylor]: Taking taylor expansion of l in l 5.625 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in K 5.625 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 5.625 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 5.625 * [taylor]: Taking taylor expansion of -0.5 in K 5.625 * [taylor]: Taking taylor expansion of K in K 5.625 * [taylor]: Taking taylor expansion of (* J l) in K 5.625 * [taylor]: Taking taylor expansion of J in K 5.625 * [taylor]: Taking taylor expansion of l in K 5.625 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 5.625 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 5.625 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 5.625 * [taylor]: Taking taylor expansion of -0.5 in J 5.626 * [taylor]: Taking taylor expansion of K in J 5.626 * [taylor]: Taking taylor expansion of (* J l) in J 5.626 * [taylor]: Taking taylor expansion of J in J 5.626 * [taylor]: Taking taylor expansion of l in J 5.626 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 5.626 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 5.626 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 5.626 * [taylor]: Taking taylor expansion of -0.5 in J 5.626 * [taylor]: Taking taylor expansion of K in J 5.626 * [taylor]: Taking taylor expansion of (* J l) in J 5.626 * [taylor]: Taking taylor expansion of J in J 5.626 * [taylor]: Taking taylor expansion of l in J 5.626 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in K 5.626 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 5.626 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 5.626 * [taylor]: Taking taylor expansion of -0.5 in K 5.626 * [taylor]: Taking taylor expansion of K in K 5.626 * [taylor]: Taking taylor expansion of l in K 5.626 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in l 5.626 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 5.626 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 5.627 * [taylor]: Taking taylor expansion of -0.5 in l 5.627 * [taylor]: Taking taylor expansion of K in l 5.627 * [taylor]: Taking taylor expansion of l in l 5.627 * [taylor]: Taking taylor expansion of 0 in K 5.627 * [taylor]: Taking taylor expansion of 0 in l 5.627 * [taylor]: Taking taylor expansion of 0 in l 5.628 * [taylor]: Taking taylor expansion of 0 in K 5.628 * [taylor]: Taking taylor expansion of 0 in l 5.628 * [taylor]: Taking taylor expansion of 0 in l 5.628 * [taylor]: Taking taylor expansion of 0 in l 5.629 * [taylor]: Taking taylor expansion of 0 in K 5.629 * [taylor]: Taking taylor expansion of 0 in l 5.629 * [taylor]: Taking taylor expansion of 0 in l 5.629 * [taylor]: Taking taylor expansion of 0 in l 5.630 * [taylor]: Taking taylor expansion of 0 in l 5.630 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2 1) 5.630 * [approximate]: Taking taylor expansion of (* J (cos (* 0.5 K))) in (J K) around 0 5.630 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in K 5.630 * [taylor]: Taking taylor expansion of J in K 5.630 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 5.630 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 5.630 * [taylor]: Taking taylor expansion of 0.5 in K 5.630 * [taylor]: Taking taylor expansion of K in K 5.630 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in J 5.630 * [taylor]: Taking taylor expansion of J in J 5.630 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 5.630 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 5.630 * [taylor]: Taking taylor expansion of 0.5 in J 5.630 * [taylor]: Taking taylor expansion of K in J 5.630 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in J 5.630 * [taylor]: Taking taylor expansion of J in J 5.630 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 5.630 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 5.630 * [taylor]: Taking taylor expansion of 0.5 in J 5.630 * [taylor]: Taking taylor expansion of K in J 5.631 * [taylor]: Taking taylor expansion of 0 in K 5.631 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 5.631 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 5.631 * [taylor]: Taking taylor expansion of 0.5 in K 5.631 * [taylor]: Taking taylor expansion of K in K 5.631 * [taylor]: Taking taylor expansion of 0 in K 5.632 * [taylor]: Taking taylor expansion of 0 in K 5.632 * [approximate]: Taking taylor expansion of (/ (cos (/ 0.5 K)) J) in (J K) around 0 5.632 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) J) in K 5.632 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 5.632 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 5.632 * [taylor]: Taking taylor expansion of 0.5 in K 5.632 * [taylor]: Taking taylor expansion of K in K 5.632 * [taylor]: Taking taylor expansion of J in K 5.632 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) J) in J 5.632 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 5.632 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 5.632 * [taylor]: Taking taylor expansion of 0.5 in J 5.632 * [taylor]: Taking taylor expansion of K in J 5.632 * [taylor]: Taking taylor expansion of J in J 5.633 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) J) in J 5.633 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 5.633 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 5.633 * [taylor]: Taking taylor expansion of 0.5 in J 5.633 * [taylor]: Taking taylor expansion of K in J 5.633 * [taylor]: Taking taylor expansion of J in J 5.633 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 5.633 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 5.633 * [taylor]: Taking taylor expansion of 0.5 in K 5.633 * [taylor]: Taking taylor expansion of K in K 5.634 * [taylor]: Taking taylor expansion of 0 in K 5.634 * [taylor]: Taking taylor expansion of 0 in K 5.635 * [taylor]: Taking taylor expansion of 0 in K 5.635 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) J)) in (J K) around 0 5.635 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) J)) in K 5.635 * [taylor]: Taking taylor expansion of -1 in K 5.635 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) J) in K 5.635 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 5.635 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 5.635 * [taylor]: Taking taylor expansion of -0.5 in K 5.635 * [taylor]: Taking taylor expansion of K in K 5.635 * [taylor]: Taking taylor expansion of J in K 5.635 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) J)) in J 5.635 * [taylor]: Taking taylor expansion of -1 in J 5.635 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) J) in J 5.635 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 5.635 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 5.635 * [taylor]: Taking taylor expansion of -0.5 in J 5.635 * [taylor]: Taking taylor expansion of K in J 5.636 * [taylor]: Taking taylor expansion of J in J 5.636 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) J)) in J 5.636 * [taylor]: Taking taylor expansion of -1 in J 5.636 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) J) in J 5.636 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 5.636 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 5.636 * [taylor]: Taking taylor expansion of -0.5 in J 5.636 * [taylor]: Taking taylor expansion of K in J 5.636 * [taylor]: Taking taylor expansion of J in J 5.636 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -0.5 K))) in K 5.636 * [taylor]: Taking taylor expansion of -1 in K 5.636 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 5.636 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 5.636 * [taylor]: Taking taylor expansion of -0.5 in K 5.636 * [taylor]: Taking taylor expansion of K in K 5.637 * [taylor]: Taking taylor expansion of 0 in K 5.637 * [taylor]: Taking taylor expansion of 0 in K 5.638 * [taylor]: Taking taylor expansion of 0 in K 5.638 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 5.638 * [approximate]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in (J K l) around 0 5.638 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in l 5.638 * [taylor]: Taking taylor expansion of 2 in l 5.638 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in l 5.638 * [taylor]: Taking taylor expansion of J in l 5.638 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l 5.638 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 5.638 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 5.638 * [taylor]: Taking taylor expansion of 0.5 in l 5.638 * [taylor]: Taking taylor expansion of K in l 5.639 * [taylor]: Taking taylor expansion of l in l 5.639 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in K 5.639 * [taylor]: Taking taylor expansion of 2 in K 5.639 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in K 5.639 * [taylor]: Taking taylor expansion of J in K 5.639 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 5.639 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 5.639 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 5.639 * [taylor]: Taking taylor expansion of 0.5 in K 5.639 * [taylor]: Taking taylor expansion of K in K 5.639 * [taylor]: Taking taylor expansion of l in K 5.639 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in J 5.639 * [taylor]: Taking taylor expansion of 2 in J 5.639 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 5.639 * [taylor]: Taking taylor expansion of J in J 5.639 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 5.639 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 5.639 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 5.639 * [taylor]: Taking taylor expansion of 0.5 in J 5.639 * [taylor]: Taking taylor expansion of K in J 5.639 * [taylor]: Taking taylor expansion of l in J 5.639 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in J 5.639 * [taylor]: Taking taylor expansion of 2 in J 5.639 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 5.639 * [taylor]: Taking taylor expansion of J in J 5.639 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 5.639 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 5.639 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 5.639 * [taylor]: Taking taylor expansion of 0.5 in J 5.639 * [taylor]: Taking taylor expansion of K in J 5.639 * [taylor]: Taking taylor expansion of l in J 5.639 * [taylor]: Taking taylor expansion of 0 in K 5.639 * [taylor]: Taking taylor expansion of 0 in l 5.640 * [taylor]: Taking taylor expansion of (* 2 (* (cos (* 0.5 K)) l)) in K 5.640 * [taylor]: Taking taylor expansion of 2 in K 5.640 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 5.640 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 5.640 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 5.640 * [taylor]: Taking taylor expansion of 0.5 in K 5.640 * [taylor]: Taking taylor expansion of K in K 5.640 * [taylor]: Taking taylor expansion of l in K 5.640 * [taylor]: Taking taylor expansion of (* 2 l) in l 5.640 * [taylor]: Taking taylor expansion of 2 in l 5.640 * [taylor]: Taking taylor expansion of l in l 5.640 * [taylor]: Taking taylor expansion of 0 in l 5.641 * [taylor]: Taking taylor expansion of 0 in K 5.641 * [taylor]: Taking taylor expansion of 0 in l 5.641 * [taylor]: Taking taylor expansion of 0 in l 5.641 * [approximate]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in (J K l) around 0 5.641 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in l 5.641 * [taylor]: Taking taylor expansion of 2 in l 5.641 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in l 5.641 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 5.641 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 5.641 * [taylor]: Taking taylor expansion of 0.5 in l 5.641 * [taylor]: Taking taylor expansion of K in l 5.641 * [taylor]: Taking taylor expansion of (* J l) in l 5.641 * [taylor]: Taking taylor expansion of J in l 5.641 * [taylor]: Taking taylor expansion of l in l 5.641 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in K 5.641 * [taylor]: Taking taylor expansion of 2 in K 5.641 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in K 5.641 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 5.641 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 5.642 * [taylor]: Taking taylor expansion of 0.5 in K 5.642 * [taylor]: Taking taylor expansion of K in K 5.642 * [taylor]: Taking taylor expansion of (* J l) in K 5.642 * [taylor]: Taking taylor expansion of J in K 5.642 * [taylor]: Taking taylor expansion of l in K 5.642 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in J 5.642 * [taylor]: Taking taylor expansion of 2 in J 5.642 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 5.642 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 5.642 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 5.642 * [taylor]: Taking taylor expansion of 0.5 in J 5.642 * [taylor]: Taking taylor expansion of K in J 5.642 * [taylor]: Taking taylor expansion of (* J l) in J 5.642 * [taylor]: Taking taylor expansion of J in J 5.642 * [taylor]: Taking taylor expansion of l in J 5.642 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in J 5.642 * [taylor]: Taking taylor expansion of 2 in J 5.642 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 5.642 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 5.642 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 5.642 * [taylor]: Taking taylor expansion of 0.5 in J 5.642 * [taylor]: Taking taylor expansion of K in J 5.642 * [taylor]: Taking taylor expansion of (* J l) in J 5.642 * [taylor]: Taking taylor expansion of J in J 5.642 * [taylor]: Taking taylor expansion of l in J 5.643 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) l)) in K 5.643 * [taylor]: Taking taylor expansion of 2 in K 5.643 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in K 5.643 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 5.643 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 5.643 * [taylor]: Taking taylor expansion of 0.5 in K 5.643 * [taylor]: Taking taylor expansion of K in K 5.643 * [taylor]: Taking taylor expansion of l in K 5.643 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) l)) in l 5.643 * [taylor]: Taking taylor expansion of 2 in l 5.643 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in l 5.643 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 5.643 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 5.643 * [taylor]: Taking taylor expansion of 0.5 in l 5.643 * [taylor]: Taking taylor expansion of K in l 5.643 * [taylor]: Taking taylor expansion of l in l 5.644 * [taylor]: Taking taylor expansion of 0 in K 5.644 * [taylor]: Taking taylor expansion of 0 in l 5.644 * [taylor]: Taking taylor expansion of 0 in l 5.645 * [taylor]: Taking taylor expansion of 0 in K 5.645 * [taylor]: Taking taylor expansion of 0 in l 5.645 * [taylor]: Taking taylor expansion of 0 in l 5.645 * [taylor]: Taking taylor expansion of 0 in l 5.646 * [taylor]: Taking taylor expansion of 0 in K 5.646 * [taylor]: Taking taylor expansion of 0 in l 5.646 * [taylor]: Taking taylor expansion of 0 in l 5.646 * [taylor]: Taking taylor expansion of 0 in l 5.647 * [taylor]: Taking taylor expansion of 0 in l 5.647 * [approximate]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in (J K l) around 0 5.647 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in l 5.647 * [taylor]: Taking taylor expansion of 2 in l 5.647 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in l 5.647 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 5.647 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 5.647 * [taylor]: Taking taylor expansion of -0.5 in l 5.647 * [taylor]: Taking taylor expansion of K in l 5.647 * [taylor]: Taking taylor expansion of (* J l) in l 5.647 * [taylor]: Taking taylor expansion of J in l 5.647 * [taylor]: Taking taylor expansion of l in l 5.647 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in K 5.647 * [taylor]: Taking taylor expansion of 2 in K 5.648 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in K 5.648 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 5.648 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 5.648 * [taylor]: Taking taylor expansion of -0.5 in K 5.648 * [taylor]: Taking taylor expansion of K in K 5.648 * [taylor]: Taking taylor expansion of (* J l) in K 5.648 * [taylor]: Taking taylor expansion of J in K 5.648 * [taylor]: Taking taylor expansion of l in K 5.648 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in J 5.648 * [taylor]: Taking taylor expansion of 2 in J 5.648 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 5.648 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 5.648 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 5.648 * [taylor]: Taking taylor expansion of -0.5 in J 5.648 * [taylor]: Taking taylor expansion of K in J 5.648 * [taylor]: Taking taylor expansion of (* J l) in J 5.648 * [taylor]: Taking taylor expansion of J in J 5.648 * [taylor]: Taking taylor expansion of l in J 5.648 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in J 5.648 * [taylor]: Taking taylor expansion of 2 in J 5.648 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 5.648 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 5.648 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 5.648 * [taylor]: Taking taylor expansion of -0.5 in J 5.648 * [taylor]: Taking taylor expansion of K in J 5.648 * [taylor]: Taking taylor expansion of (* J l) in J 5.648 * [taylor]: Taking taylor expansion of J in J 5.648 * [taylor]: Taking taylor expansion of l in J 5.649 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) l)) in K 5.649 * [taylor]: Taking taylor expansion of 2 in K 5.649 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in K 5.649 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 5.649 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 5.649 * [taylor]: Taking taylor expansion of -0.5 in K 5.649 * [taylor]: Taking taylor expansion of K in K 5.649 * [taylor]: Taking taylor expansion of l in K 5.649 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) l)) in l 5.649 * [taylor]: Taking taylor expansion of 2 in l 5.649 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in l 5.649 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 5.649 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 5.649 * [taylor]: Taking taylor expansion of -0.5 in l 5.649 * [taylor]: Taking taylor expansion of K in l 5.649 * [taylor]: Taking taylor expansion of l in l 5.650 * [taylor]: Taking taylor expansion of 0 in K 5.650 * [taylor]: Taking taylor expansion of 0 in l 5.650 * [taylor]: Taking taylor expansion of 0 in l 5.651 * [taylor]: Taking taylor expansion of 0 in K 5.651 * [taylor]: Taking taylor expansion of 0 in l 5.651 * [taylor]: Taking taylor expansion of 0 in l 5.651 * [taylor]: Taking taylor expansion of 0 in l 5.653 * [taylor]: Taking taylor expansion of 0 in K 5.653 * [taylor]: Taking taylor expansion of 0 in l 5.653 * [taylor]: Taking taylor expansion of 0 in l 5.653 * [taylor]: Taking taylor expansion of 0 in l 5.653 * [taylor]: Taking taylor expansion of 0 in l 5.653 * * * [progress]: simplifying candidates 5.654 * [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))) 5.659 * * [simplify]: iteration 0 : 82 enodes (cost 743 ) 5.671 * * [simplify]: iteration 1 : 201 enodes (cost 721 ) 5.717 * * [simplify]: iteration 2 : 828 enodes (cost 577 ) 6.024 * * [simplify]: iteration 3 : 4255 enodes (cost 577 ) 6.926 * * [simplify]: iteration done : 5000 enodes (cost 577 ) 6.927 * [simplify]: Simplified to: (* J (* (cos (* 0.5 K)) l)) (* J (* (cos (* 0.5 K)) l)) (log (* J (* (cos (* 0.5 K)) l))) (log (* J (* (cos (* 0.5 K)) l))) (log (* J (* (cos (* 0.5 K)) l))) (pow (exp (cos (* 0.5 K))) (* J l)) (pow (* J (* (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 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 (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 (* (* J (cos (* 0.5 K))) l))) (log (* 2 (* (* J (cos (* 0.5 K))) l))) (log (* 2 (* (* J (cos (* 0.5 K))) l))) (log (* 2 (* (* J (cos (* 0.5 K))) l))) (exp (* 2 (* (* J (cos (* 0.5 K))) l))) (pow (* 2 (* (* J (cos (* 0.5 K))) l)) 3) (pow (* 2 (* (* J (cos (* 0.5 K))) l)) 3) (pow (* 2 (* (* 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)) 6.927 * * * [progress]: adding candidates to table 6.999 * [progress]: [Phase 3 of 3] Extracting. 6.999 * * [regime]: Finding splitpoints for: (# # # # # # # # # #) 7.001 * * * [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) 7.001 * * * * [regimes]: Trying to branch on (/ K 2.0) from (# # # # # # # # # #) 7.088 * * * * [regimes]: Trying to branch on (cos (/ K 2.0)) from (# # # # # # # # # #) 7.176 * * * * [regimes]: Trying to branch on (- (exp l) (exp (neg l))) from (# # # # # # # # # #) 7.258 * * * * [regimes]: Trying to branch on (- (exp l) (exp (neg l))) from (# #) 7.304 * * * * [regimes]: Trying to branch on (* J (- (exp l) (exp (neg l)))) from (# # # # # # # # # #) 7.384 * * * * [regimes]: Trying to branch on U from (# # # # # # # # # #) 7.471 * * * * [regimes]: Trying to branch on K from (# # # # # # # # # #) 7.556 * * * * [regimes]: Trying to branch on l from (# # # # # # # # # #) 7.642 * * * * [regimes]: Trying to branch on J from (# # # # # # # # # #) 7.727 * * * [regime]: Found split indices: #