18.457 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.129 * * * [progress]: [2/2] Setting up program. 0.133 * [progress]: [Phase 2 of 3] Improving. 0.133 * [simplify]: Simplifying using # : (+ (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0))) U) 0.134 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 0.136 * * [simplify]: iteration 1 : 23 enodes (cost 15 ) 0.138 * * [simplify]: iteration 2 : 41 enodes (cost 15 ) 0.143 * * [simplify]: iteration 3 : 75 enodes (cost 15 ) 0.152 * * [simplify]: iteration 4 : 124 enodes (cost 15 ) 0.384 * * [simplify]: iteration 5 : 191 enodes (cost 15 ) 0.409 * * [simplify]: iteration 6 : 306 enodes (cost 15 ) 0.451 * * [simplify]: iteration 7 : 526 enodes (cost 15 ) 0.518 * * [simplify]: iteration 8 : 733 enodes (cost 15 ) 0.620 * * [simplify]: iteration 9 : 1239 enodes (cost 15 ) 0.920 * * [simplify]: iteration 10 : 3128 enodes (cost 15 ) 1.787 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 1.787 * [simplify]: Simplified to: (+ (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0))) U) 1.788 * * [progress]: iteration 1 / 4 1.788 * * * [progress]: picking best candidate 1.792 * * * * [pick]: Picked # 1.792 * * * [progress]: localizing error 1.805 * * * [progress]: generating rewritten candidates 1.805 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 2) 1.816 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 1.827 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 1.837 * * * [progress]: generating series expansions 1.837 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 2) 1.837 * [approximate]: Taking taylor expansion of (- (exp l) (exp (neg l))) in (l) around 0 1.837 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in l 1.837 * [taylor]: Taking taylor expansion of (exp l) in l 1.837 * [taylor]: Taking taylor expansion of l in l 1.837 * [taylor]: Taking taylor expansion of (exp (neg l)) in l 1.837 * [taylor]: Taking taylor expansion of (neg l) in l 1.837 * [taylor]: Taking taylor expansion of l in l 1.837 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in l 1.837 * [taylor]: Taking taylor expansion of (exp l) in l 1.837 * [taylor]: Taking taylor expansion of l in l 1.837 * [taylor]: Taking taylor expansion of (exp (neg l)) in l 1.837 * [taylor]: Taking taylor expansion of (neg l) in l 1.837 * [taylor]: Taking taylor expansion of l in l 1.841 * [approximate]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in (l) around 0 1.841 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in l 1.841 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 1.841 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.841 * [taylor]: Taking taylor expansion of l in l 1.841 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in l 1.841 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in l 1.841 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.841 * [taylor]: Taking taylor expansion of l in l 1.841 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in l 1.841 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 1.841 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.841 * [taylor]: Taking taylor expansion of l in l 1.841 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in l 1.841 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in l 1.841 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.841 * [taylor]: Taking taylor expansion of l in l 1.842 * [approximate]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in (l) around 0 1.842 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l 1.842 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l 1.842 * [taylor]: Taking taylor expansion of (/ -1 l) in l 1.842 * [taylor]: Taking taylor expansion of -1 in l 1.842 * [taylor]: Taking taylor expansion of l in l 1.842 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 1.842 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.842 * [taylor]: Taking taylor expansion of l in l 1.842 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l 1.842 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l 1.842 * [taylor]: Taking taylor expansion of (/ -1 l) in l 1.842 * [taylor]: Taking taylor expansion of -1 in l 1.842 * [taylor]: Taking taylor expansion of l in l 1.842 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 1.842 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.842 * [taylor]: Taking taylor expansion of l in l 1.843 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 1.843 * [approximate]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) (* J (cos (* 0.5 K)))) in (J l K) around 0 1.843 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) (* J (cos (* 0.5 K)))) in K 1.843 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in K 1.843 * [taylor]: Taking taylor expansion of (exp l) in K 1.843 * [taylor]: Taking taylor expansion of l in K 1.843 * [taylor]: Taking taylor expansion of (exp (neg l)) in K 1.843 * [taylor]: Taking taylor expansion of (neg l) in K 1.843 * [taylor]: Taking taylor expansion of l in K 1.843 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in K 1.843 * [taylor]: Taking taylor expansion of J in K 1.843 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 1.843 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 1.843 * [taylor]: Taking taylor expansion of 0.5 in K 1.843 * [taylor]: Taking taylor expansion of K in K 1.843 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) (* J (cos (* 0.5 K)))) in l 1.843 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in l 1.843 * [taylor]: Taking taylor expansion of (exp l) in l 1.843 * [taylor]: Taking taylor expansion of l in l 1.843 * [taylor]: Taking taylor expansion of (exp (neg l)) in l 1.843 * [taylor]: Taking taylor expansion of (neg l) in l 1.843 * [taylor]: Taking taylor expansion of l in l 1.843 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in l 1.843 * [taylor]: Taking taylor expansion of J 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.844 * [taylor]: Taking taylor expansion of 0.5 in l 1.844 * [taylor]: Taking taylor expansion of K in l 1.844 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) (* J (cos (* 0.5 K)))) in J 1.844 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in J 1.844 * [taylor]: Taking taylor expansion of (exp l) in J 1.844 * [taylor]: Taking taylor expansion of l in J 1.844 * [taylor]: Taking taylor expansion of (exp (neg l)) in J 1.844 * [taylor]: Taking taylor expansion of (neg l) in J 1.844 * [taylor]: Taking taylor expansion of l in J 1.844 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in J 1.844 * [taylor]: Taking taylor expansion of J in J 1.844 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 1.844 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 1.844 * [taylor]: Taking taylor expansion of 0.5 in J 1.844 * [taylor]: Taking taylor expansion of K in J 1.844 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) (* J (cos (* 0.5 K)))) in J 1.844 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in J 1.844 * [taylor]: Taking taylor expansion of (exp l) in J 1.844 * [taylor]: Taking taylor expansion of l in J 1.844 * [taylor]: Taking taylor expansion of (exp (neg l)) in J 1.844 * [taylor]: Taking taylor expansion of (neg l) in J 1.844 * [taylor]: Taking taylor expansion of l in J 1.844 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in J 1.844 * [taylor]: Taking taylor expansion of J in J 1.844 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 1.844 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 1.844 * [taylor]: Taking taylor expansion of 0.5 in J 1.844 * [taylor]: Taking taylor expansion of K in J 1.845 * [taylor]: Taking taylor expansion of 0 in l 1.845 * [taylor]: Taking taylor expansion of 0 in K 1.845 * [taylor]: Taking taylor expansion of (- (* (cos (* 0.5 K)) (exp l)) (* (exp (neg l)) (cos (* 0.5 K)))) in l 1.845 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (exp l)) in l 1.845 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 1.845 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 1.845 * [taylor]: Taking taylor expansion of 0.5 in l 1.845 * [taylor]: Taking taylor expansion of K in l 1.845 * [taylor]: Taking taylor expansion of (exp l) in l 1.845 * [taylor]: Taking taylor expansion of l in l 1.845 * [taylor]: Taking taylor expansion of (* (exp (neg l)) (cos (* 0.5 K))) in l 1.845 * [taylor]: Taking taylor expansion of (exp (neg l)) in l 1.845 * [taylor]: Taking taylor expansion of (neg l) in l 1.845 * [taylor]: Taking taylor expansion of l in l 1.845 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 1.845 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 1.845 * [taylor]: Taking taylor expansion of 0.5 in l 1.845 * [taylor]: Taking taylor expansion of K in l 1.846 * [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 (* 2 (cos (* 0.5 K))) in K 1.847 * [taylor]: Taking taylor expansion of 2 in K 1.847 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 1.847 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 1.847 * [taylor]: Taking taylor expansion of 0.5 in K 1.847 * [taylor]: Taking taylor expansion of K in K 1.847 * [taylor]: Taking taylor expansion of 0 in K 1.849 * [taylor]: Taking taylor expansion of 0 in l 1.849 * [taylor]: Taking taylor expansion of 0 in K 1.849 * [taylor]: Taking taylor expansion of 0 in K 1.849 * [approximate]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) J) in (J l K) around 0 1.849 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) J) in K 1.849 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in K 1.849 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 1.849 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 1.849 * [taylor]: Taking taylor expansion of 0.5 in K 1.849 * [taylor]: Taking taylor expansion of K in K 1.849 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in K 1.849 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K 1.849 * [taylor]: Taking taylor expansion of (/ 1 l) in K 1.849 * [taylor]: Taking taylor expansion of l in K 1.849 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in K 1.849 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in K 1.849 * [taylor]: Taking taylor expansion of (/ 1 l) in K 1.849 * [taylor]: Taking taylor expansion of l in K 1.849 * [taylor]: Taking taylor expansion of J in K 1.850 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) J) in l 1.850 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in l 1.850 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 1.850 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 1.850 * [taylor]: Taking taylor expansion of 0.5 in l 1.850 * [taylor]: Taking taylor expansion of K in l 1.850 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in l 1.850 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 1.850 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.850 * [taylor]: Taking taylor expansion of l in l 1.850 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in l 1.850 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in l 1.850 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.850 * [taylor]: Taking taylor expansion of l in l 1.850 * [taylor]: Taking taylor expansion of J in l 1.850 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) J) in J 1.851 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in J 1.851 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 1.851 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 1.851 * [taylor]: Taking taylor expansion of 0.5 in J 1.851 * [taylor]: Taking taylor expansion of K in J 1.851 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in J 1.851 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J 1.851 * [taylor]: Taking taylor expansion of (/ 1 l) in J 1.851 * [taylor]: Taking taylor expansion of l in J 1.851 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in J 1.851 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in J 1.851 * [taylor]: Taking taylor expansion of (/ 1 l) in J 1.851 * [taylor]: Taking taylor expansion of l in J 1.851 * [taylor]: Taking taylor expansion of J in J 1.851 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) J) in J 1.851 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in J 1.851 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 1.851 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 1.851 * [taylor]: Taking taylor expansion of 0.5 in J 1.851 * [taylor]: Taking taylor expansion of K 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.852 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in J 1.852 * [taylor]: Taking taylor expansion of (neg (/ 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.852 * [taylor]: Taking taylor expansion of J in J 1.852 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in l 1.852 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 1.852 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 1.852 * [taylor]: Taking taylor expansion of 0.5 in l 1.852 * [taylor]: Taking taylor expansion of K 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.853 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in l 1.853 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in l 1.853 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.853 * [taylor]: Taking taylor expansion of l in l 1.853 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in K 1.853 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 1.853 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 1.853 * [taylor]: Taking taylor expansion of 0.5 in K 1.853 * [taylor]: Taking taylor expansion of K in K 1.853 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in K 1.853 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K 1.853 * [taylor]: Taking taylor expansion of (/ 1 l) in K 1.853 * [taylor]: Taking taylor expansion of l in K 1.853 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in K 1.853 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in K 1.853 * [taylor]: Taking taylor expansion of (/ 1 l) in K 1.853 * [taylor]: Taking taylor expansion of l in K 1.854 * [taylor]: Taking taylor expansion of 0 in l 1.854 * [taylor]: Taking taylor expansion of 0 in K 1.855 * [taylor]: Taking taylor expansion of 0 in K 1.856 * [taylor]: Taking taylor expansion of 0 in l 1.856 * [taylor]: Taking taylor expansion of 0 in K 1.856 * [taylor]: Taking taylor expansion of 0 in K 1.857 * [taylor]: Taking taylor expansion of 0 in K 1.857 * [approximate]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) in (J l K) around 0 1.857 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) in K 1.857 * [taylor]: Taking taylor expansion of -1 in K 1.857 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J) in K 1.857 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) in K 1.857 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in K 1.857 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in K 1.857 * [taylor]: Taking taylor expansion of (/ -1 l) in K 1.857 * [taylor]: Taking taylor expansion of -1 in K 1.857 * [taylor]: Taking taylor expansion of l in K 1.857 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K 1.857 * [taylor]: Taking taylor expansion of (/ 1 l) in K 1.857 * [taylor]: Taking taylor expansion of l in K 1.857 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 1.857 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 1.857 * [taylor]: Taking taylor expansion of -0.5 in K 1.858 * [taylor]: Taking taylor expansion of K in K 1.858 * [taylor]: Taking taylor expansion of J in K 1.858 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) 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))) (cos (/ -0.5 K))) J) in l 1.858 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) 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.858 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 1.858 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 1.858 * [taylor]: Taking taylor expansion of -0.5 in l 1.858 * [taylor]: Taking taylor expansion of K in l 1.858 * [taylor]: Taking taylor expansion of J in l 1.859 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) in J 1.859 * [taylor]: Taking taylor expansion of -1 in J 1.859 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J) in J 1.859 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) in J 1.859 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in J 1.859 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in J 1.859 * [taylor]: Taking taylor expansion of (/ -1 l) in J 1.859 * [taylor]: Taking taylor expansion of -1 in J 1.859 * [taylor]: Taking taylor expansion of l in J 1.859 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J 1.859 * [taylor]: Taking taylor expansion of (/ 1 l) in J 1.859 * [taylor]: Taking taylor expansion of l in J 1.859 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 1.859 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 1.859 * [taylor]: Taking taylor expansion of -0.5 in J 1.859 * [taylor]: Taking taylor expansion of K in J 1.859 * [taylor]: Taking taylor expansion of J in J 1.859 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) in J 1.859 * [taylor]: Taking taylor expansion of -1 in J 1.859 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J) in J 1.860 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) in J 1.860 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in J 1.860 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in J 1.860 * [taylor]: Taking taylor expansion of (/ -1 l) in J 1.860 * [taylor]: Taking taylor expansion of -1 in J 1.860 * [taylor]: Taking taylor expansion of l in J 1.860 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J 1.860 * [taylor]: Taking taylor expansion of (/ 1 l) in J 1.860 * [taylor]: Taking taylor expansion of l in J 1.860 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 1.860 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 1.860 * [taylor]: Taking taylor expansion of -0.5 in J 1.860 * [taylor]: Taking taylor expansion of K in J 1.860 * [taylor]: Taking taylor expansion of J in J 1.860 * [taylor]: Taking taylor expansion of (* -1 (* (cos (/ -0.5 K)) (- (exp (/ -1 l)) (exp (/ 1 l))))) in l 1.860 * [taylor]: Taking taylor expansion of -1 in l 1.860 * [taylor]: Taking taylor expansion of (* (cos (/ -0.5 K)) (- (exp (/ -1 l)) (exp (/ 1 l)))) in l 1.860 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 1.860 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 1.860 * [taylor]: Taking taylor expansion of -0.5 in l 1.861 * [taylor]: Taking taylor expansion of K in l 1.861 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l 1.861 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l 1.861 * [taylor]: Taking taylor expansion of (/ -1 l) in l 1.861 * [taylor]: Taking taylor expansion of -1 in l 1.861 * [taylor]: Taking taylor expansion of l in l 1.861 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 1.861 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.861 * [taylor]: Taking taylor expansion of l in l 1.861 * [taylor]: Taking taylor expansion of (* -1 (* (cos (/ -0.5 K)) (- (exp (/ -1 l)) (exp (/ 1 l))))) in K 1.861 * [taylor]: Taking taylor expansion of -1 in K 1.861 * [taylor]: Taking taylor expansion of (* (cos (/ -0.5 K)) (- (exp (/ -1 l)) (exp (/ 1 l)))) in K 1.861 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 1.861 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 1.861 * [taylor]: Taking taylor expansion of -0.5 in K 1.861 * [taylor]: Taking taylor expansion of K in K 1.861 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in K 1.861 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in K 1.861 * [taylor]: Taking taylor expansion of (/ -1 l) in K 1.861 * [taylor]: Taking taylor expansion of -1 in K 1.861 * [taylor]: Taking taylor expansion of l in K 1.861 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K 1.861 * [taylor]: Taking taylor expansion of (/ 1 l) in K 1.862 * [taylor]: Taking taylor expansion of l in K 1.863 * [taylor]: Taking taylor expansion of 0 in l 1.863 * [taylor]: Taking taylor expansion of 0 in K 1.863 * [taylor]: Taking taylor expansion of 0 in K 1.865 * [taylor]: Taking taylor expansion of 0 in l 1.865 * [taylor]: Taking taylor expansion of 0 in K 1.865 * [taylor]: Taking taylor expansion of 0 in K 1.865 * [taylor]: Taking taylor expansion of 0 in K 1.866 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 1.866 * [approximate]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) J) in (J l) around 0 1.866 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) J) in l 1.866 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in l 1.866 * [taylor]: Taking taylor expansion of (exp l) in l 1.866 * [taylor]: Taking taylor expansion of l in l 1.866 * [taylor]: Taking taylor expansion of (exp (neg l)) in l 1.866 * [taylor]: Taking taylor expansion of (neg l) in l 1.866 * [taylor]: Taking taylor expansion of l in l 1.866 * [taylor]: Taking taylor expansion of J in l 1.866 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) J) in J 1.866 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in J 1.866 * [taylor]: Taking taylor expansion of (exp l) in J 1.866 * [taylor]: Taking taylor expansion of l in J 1.866 * [taylor]: Taking taylor expansion of (exp (neg l)) in J 1.866 * [taylor]: Taking taylor expansion of (neg l) in J 1.866 * [taylor]: Taking taylor expansion of l in J 1.866 * [taylor]: Taking taylor expansion of J in J 1.866 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) J) in J 1.866 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in J 1.866 * [taylor]: Taking taylor expansion of (exp l) in J 1.866 * [taylor]: Taking taylor expansion of l in J 1.866 * [taylor]: Taking taylor expansion of (exp (neg l)) in J 1.866 * [taylor]: Taking taylor expansion of (neg l) in J 1.866 * [taylor]: Taking taylor expansion of l in J 1.866 * [taylor]: Taking taylor expansion of J in J 1.867 * [taylor]: Taking taylor expansion of 0 in l 1.867 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in l 1.867 * [taylor]: Taking taylor expansion of (exp l) in l 1.867 * [taylor]: Taking taylor expansion of l in l 1.867 * [taylor]: Taking taylor expansion of (exp (neg l)) in l 1.867 * [taylor]: Taking taylor expansion of (neg l) in l 1.867 * [taylor]: Taking taylor expansion of l in l 1.867 * [taylor]: Taking taylor expansion of 0 in l 1.868 * [taylor]: Taking taylor expansion of 0 in l 1.869 * [taylor]: Taking taylor expansion of 0 in l 1.869 * [approximate]: Taking taylor expansion of (/ (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) J) in (J l) around 0 1.869 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) J) in l 1.869 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in l 1.869 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 1.869 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.870 * [taylor]: Taking taylor expansion of l in l 1.870 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in l 1.870 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in l 1.870 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.870 * [taylor]: Taking taylor expansion of l in l 1.870 * [taylor]: Taking taylor expansion of J in l 1.870 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) J) in J 1.870 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in J 1.870 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J 1.870 * [taylor]: Taking taylor expansion of (/ 1 l) in J 1.870 * [taylor]: Taking taylor expansion of l in J 1.870 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in J 1.870 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in J 1.870 * [taylor]: Taking taylor expansion of (/ 1 l) in J 1.870 * [taylor]: Taking taylor expansion of l in J 1.870 * [taylor]: Taking taylor expansion of J in J 1.870 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) J) in J 1.870 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in J 1.870 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J 1.870 * [taylor]: Taking taylor expansion of (/ 1 l) in J 1.870 * [taylor]: Taking taylor expansion of l in J 1.871 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in J 1.871 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in J 1.871 * [taylor]: Taking taylor expansion of (/ 1 l) in J 1.871 * [taylor]: Taking taylor expansion of l in J 1.871 * [taylor]: Taking taylor expansion of J in J 1.871 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in l 1.871 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 1.871 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.871 * [taylor]: Taking taylor expansion of l in l 1.871 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in l 1.871 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in l 1.871 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.871 * [taylor]: Taking taylor expansion of l in l 1.872 * [taylor]: Taking taylor expansion of 0 in l 1.872 * [taylor]: Taking taylor expansion of 0 in l 1.873 * [taylor]: Taking taylor expansion of 0 in l 1.874 * [approximate]: Taking taylor expansion of (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) in (J l) around 0 1.874 * [taylor]: Taking taylor expansion of (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) in l 1.874 * [taylor]: Taking taylor expansion of -1 in l 1.874 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J) in l 1.874 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l 1.874 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l 1.874 * [taylor]: Taking taylor expansion of (/ -1 l) in l 1.874 * [taylor]: Taking taylor expansion of -1 in l 1.874 * [taylor]: Taking taylor expansion of l in l 1.874 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 1.874 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.874 * [taylor]: Taking taylor expansion of l in l 1.874 * [taylor]: Taking taylor expansion of J in l 1.874 * [taylor]: Taking taylor expansion of (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) in J 1.874 * [taylor]: Taking taylor expansion of -1 in J 1.874 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J) in J 1.874 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in J 1.874 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in J 1.874 * [taylor]: Taking taylor expansion of (/ -1 l) in J 1.874 * [taylor]: Taking taylor expansion of -1 in J 1.874 * [taylor]: Taking taylor expansion of l in J 1.874 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J 1.874 * [taylor]: Taking taylor expansion of (/ 1 l) in J 1.874 * [taylor]: Taking taylor expansion of l in J 1.874 * [taylor]: Taking taylor expansion of J in J 1.875 * [taylor]: Taking taylor expansion of (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) in J 1.875 * [taylor]: Taking taylor expansion of -1 in J 1.875 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J) in J 1.875 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in J 1.875 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in J 1.875 * [taylor]: Taking taylor expansion of (/ -1 l) in J 1.875 * [taylor]: Taking taylor expansion of -1 in J 1.875 * [taylor]: Taking taylor expansion of l in J 1.875 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J 1.875 * [taylor]: Taking taylor expansion of (/ 1 l) in J 1.875 * [taylor]: Taking taylor expansion of l in J 1.875 * [taylor]: Taking taylor expansion of J in J 1.875 * [taylor]: Taking taylor expansion of (* -1 (- (exp (/ -1 l)) (exp (/ 1 l)))) in l 1.875 * [taylor]: Taking taylor expansion of -1 in l 1.875 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l 1.875 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l 1.875 * [taylor]: Taking taylor expansion of (/ -1 l) in l 1.875 * [taylor]: Taking taylor expansion of -1 in l 1.875 * [taylor]: Taking taylor expansion of l in l 1.875 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 1.875 * [taylor]: Taking taylor expansion of (/ 1 l) in l 1.875 * [taylor]: Taking taylor expansion of l in l 1.876 * [taylor]: Taking taylor expansion of 0 in l 1.877 * [taylor]: Taking taylor expansion of 0 in l 1.878 * [taylor]: Taking taylor expansion of 0 in l 1.878 * * * [progress]: simplifying candidates 1.879 * [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.882 * * [simplify]: iteration 0 : 115 enodes (cost 899 ) 1.897 * * [simplify]: iteration 1 : 273 enodes (cost 878 ) 1.946 * * [simplify]: iteration 2 : 840 enodes (cost 746 ) 2.221 * * [simplify]: iteration 3 : 3153 enodes (cost 738 ) 2.819 * * [simplify]: iteration done : 5000 enodes (cost 735 ) 2.820 * [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 l)) 1) (exp (* l -2))) (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))) (* (* J (cos (/ K 2.0))) (- (pow (exp l) 3) (exp (* l -3)))) (* J (* (- (exp (+ l l)) (exp (* l -2))) (cos (/ K 2.0)))) (* (- (exp l) (exp (neg l))) J) (log (* (- (exp l) (exp (neg l))) J)) (log (* (- (exp l) (exp (neg l))) J)) (exp (* (- (exp l) (exp (neg l))) J)) (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)))) (* (- (exp (+ l l)) (exp (* l -2))) J) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (- (exp l) (exp (neg l))) (- (exp l) (exp (neg l))) (* 2 (* J l)) (* (- (exp l) (exp (neg l))) (* J (cos (* 0.5 K)))) (* (- (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.820 * * * [progress]: adding candidates to table 2.922 * * [progress]: iteration 2 / 4 2.922 * * * [progress]: picking best candidate 2.939 * * * * [pick]: Picked # 2.939 * * * [progress]: localizing error 2.949 * * * [progress]: generating rewritten candidates 2.949 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 2.960 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 2.966 * * * [progress]: generating series expansions 2.966 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 2.966 * [approximate]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in (J l K) around 0 2.966 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in K 2.966 * [taylor]: Taking taylor expansion of 2 in K 2.966 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in K 2.966 * [taylor]: Taking taylor expansion of J in K 2.966 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 2.966 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 2.966 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 2.966 * [taylor]: Taking taylor expansion of 0.5 in K 2.966 * [taylor]: Taking taylor expansion of K in K 2.967 * [taylor]: Taking taylor expansion of l in K 2.967 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in l 2.967 * [taylor]: Taking taylor expansion of 2 in l 2.967 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in l 2.967 * [taylor]: Taking taylor expansion of J in l 2.967 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l 2.967 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 2.967 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 2.967 * [taylor]: Taking taylor expansion of 0.5 in l 2.967 * [taylor]: Taking taylor expansion of K in l 2.967 * [taylor]: Taking taylor expansion of l in l 2.967 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in J 2.967 * [taylor]: Taking taylor expansion of 2 in J 2.967 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 2.967 * [taylor]: Taking taylor expansion of J in J 2.967 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 2.967 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 2.967 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 2.967 * [taylor]: Taking taylor expansion of 0.5 in J 2.967 * [taylor]: Taking taylor expansion of K in J 2.967 * [taylor]: Taking taylor expansion of l in J 2.967 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in J 2.967 * [taylor]: Taking taylor expansion of 2 in J 2.967 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 2.967 * [taylor]: Taking taylor expansion of J in J 2.967 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 2.967 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 2.967 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 2.967 * [taylor]: Taking taylor expansion of 0.5 in J 2.967 * [taylor]: Taking taylor expansion of K in J 2.967 * [taylor]: Taking taylor expansion of l in J 2.967 * [taylor]: Taking taylor expansion of 0 in l 2.967 * [taylor]: Taking taylor expansion of 0 in K 2.968 * [taylor]: Taking taylor expansion of (* 2 (* (cos (* 0.5 K)) l)) in l 2.968 * [taylor]: Taking taylor expansion of 2 in l 2.968 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l 2.968 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 2.968 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 2.968 * [taylor]: Taking taylor expansion of 0.5 in l 2.968 * [taylor]: Taking taylor expansion of K in l 2.968 * [taylor]: Taking taylor expansion of l in l 2.968 * [taylor]: Taking taylor expansion of 0 in K 2.968 * [taylor]: Taking taylor expansion of 0 in K 2.969 * [taylor]: Taking taylor expansion of 0 in l 2.969 * [taylor]: Taking taylor expansion of 0 in K 2.969 * [taylor]: Taking taylor expansion of (* 2 (cos (* 0.5 K))) in K 2.969 * [taylor]: Taking taylor expansion of 2 in K 2.969 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 2.969 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 2.969 * [taylor]: Taking taylor expansion of 0.5 in K 2.969 * [taylor]: Taking taylor expansion of K in K 2.969 * [taylor]: Taking taylor expansion of 0 in K 2.970 * [taylor]: Taking taylor expansion of 0 in l 2.970 * [taylor]: Taking taylor expansion of 0 in K 2.970 * [taylor]: Taking taylor expansion of 0 in K 2.970 * [approximate]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in (J l K) around 0 2.970 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in K 2.970 * [taylor]: Taking taylor expansion of 2 in K 2.970 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in K 2.970 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 2.970 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 2.970 * [taylor]: Taking taylor expansion of 0.5 in K 2.970 * [taylor]: Taking taylor expansion of K in K 2.970 * [taylor]: Taking taylor expansion of (* J l) in K 2.970 * [taylor]: Taking taylor expansion of J in K 2.970 * [taylor]: Taking taylor expansion of l in K 2.971 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in l 2.971 * [taylor]: Taking taylor expansion of 2 in l 2.971 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in l 2.971 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 2.971 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 2.971 * [taylor]: Taking taylor expansion of 0.5 in l 2.971 * [taylor]: Taking taylor expansion of K in l 2.971 * [taylor]: Taking taylor expansion of (* J l) in l 2.971 * [taylor]: Taking taylor expansion of J in l 2.971 * [taylor]: Taking taylor expansion of l in l 2.971 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in J 2.971 * [taylor]: Taking taylor expansion of 2 in J 2.971 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 2.971 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 2.971 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 2.971 * [taylor]: Taking taylor expansion of 0.5 in J 2.971 * [taylor]: Taking taylor expansion of K in J 2.971 * [taylor]: Taking taylor expansion of (* J l) in J 2.971 * [taylor]: Taking taylor expansion of J in J 2.971 * [taylor]: Taking taylor expansion of l in J 2.971 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in J 2.971 * [taylor]: Taking taylor expansion of 2 in J 2.971 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 2.971 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 2.971 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 2.971 * [taylor]: Taking taylor expansion of 0.5 in J 2.971 * [taylor]: Taking taylor expansion of K in J 2.972 * [taylor]: Taking taylor expansion of (* J l) in J 2.972 * [taylor]: Taking taylor expansion of J in J 2.972 * [taylor]: Taking taylor expansion of l in J 2.972 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) l)) in l 2.972 * [taylor]: Taking taylor expansion of 2 in l 2.972 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in l 2.972 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 2.972 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 2.972 * [taylor]: Taking taylor expansion of 0.5 in l 2.972 * [taylor]: Taking taylor expansion of K in l 2.972 * [taylor]: Taking taylor expansion of l in l 2.972 * [taylor]: Taking taylor expansion of (* 2 (cos (/ 0.5 K))) in K 2.972 * [taylor]: Taking taylor expansion of 2 in K 2.972 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 2.972 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 2.972 * [taylor]: Taking taylor expansion of 0.5 in K 2.972 * [taylor]: Taking taylor expansion of K in K 2.973 * [taylor]: Taking taylor expansion of 0 in l 2.973 * [taylor]: Taking taylor expansion of 0 in K 2.974 * [taylor]: Taking taylor expansion of 0 in l 2.974 * [taylor]: Taking taylor expansion of 0 in K 2.974 * [taylor]: Taking taylor expansion of 0 in K 2.975 * [approximate]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in (J l K) around 0 2.975 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in K 2.975 * [taylor]: Taking taylor expansion of 2 in K 2.975 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in K 2.975 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 2.975 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 2.975 * [taylor]: Taking taylor expansion of -0.5 in K 2.975 * [taylor]: Taking taylor expansion of K in K 2.975 * [taylor]: Taking taylor expansion of (* J l) in K 2.975 * [taylor]: Taking taylor expansion of J in K 2.975 * [taylor]: Taking taylor expansion of l in K 2.975 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in l 2.975 * [taylor]: Taking taylor expansion of 2 in l 2.975 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in l 2.975 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 2.975 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 2.975 * [taylor]: Taking taylor expansion of -0.5 in l 2.975 * [taylor]: Taking taylor expansion of K in l 2.975 * [taylor]: Taking taylor expansion of (* J l) in l 2.975 * [taylor]: Taking taylor expansion of J in l 2.975 * [taylor]: Taking taylor expansion of l in l 2.975 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in J 2.975 * [taylor]: Taking taylor expansion of 2 in J 2.975 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 2.975 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 2.975 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 2.976 * [taylor]: Taking taylor expansion of -0.5 in J 2.976 * [taylor]: Taking taylor expansion of K in J 2.976 * [taylor]: Taking taylor expansion of (* J l) in J 2.976 * [taylor]: Taking taylor expansion of J in J 2.976 * [taylor]: Taking taylor expansion of l in J 2.976 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in J 2.976 * [taylor]: Taking taylor expansion of 2 in J 2.976 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 2.976 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 2.976 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 2.976 * [taylor]: Taking taylor expansion of -0.5 in J 2.976 * [taylor]: Taking taylor expansion of K in J 2.976 * [taylor]: Taking taylor expansion of (* J l) in J 2.976 * [taylor]: Taking taylor expansion of J in J 2.976 * [taylor]: Taking taylor expansion of l in J 2.976 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) l)) in l 2.976 * [taylor]: Taking taylor expansion of 2 in l 2.976 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in l 2.976 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 2.976 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 2.976 * [taylor]: Taking taylor expansion of -0.5 in l 2.977 * [taylor]: Taking taylor expansion of K in l 2.977 * [taylor]: Taking taylor expansion of l in l 2.977 * [taylor]: Taking taylor expansion of (* 2 (cos (/ -0.5 K))) in K 2.977 * [taylor]: Taking taylor expansion of 2 in K 2.977 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 2.977 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 2.977 * [taylor]: Taking taylor expansion of -0.5 in K 2.977 * [taylor]: Taking taylor expansion of K in K 2.977 * [taylor]: Taking taylor expansion of 0 in l 2.978 * [taylor]: Taking taylor expansion of 0 in K 2.978 * [taylor]: Taking taylor expansion of 0 in l 2.978 * [taylor]: Taking taylor expansion of 0 in K 2.979 * [taylor]: Taking taylor expansion of 0 in K 2.979 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1) 2.979 * [approximate]: Taking taylor expansion of (* 2 (* J l)) in (J l) around 0 2.979 * [taylor]: Taking taylor expansion of (* 2 (* J l)) in l 2.979 * [taylor]: Taking taylor expansion of 2 in l 2.979 * [taylor]: Taking taylor expansion of (* J l) in l 2.979 * [taylor]: Taking taylor expansion of J in l 2.979 * [taylor]: Taking taylor expansion of l in l 2.979 * [taylor]: Taking taylor expansion of (* 2 (* J l)) in J 2.979 * [taylor]: Taking taylor expansion of 2 in J 2.979 * [taylor]: Taking taylor expansion of (* J l) in J 2.979 * [taylor]: Taking taylor expansion of J in J 2.979 * [taylor]: Taking taylor expansion of l in J 2.979 * [taylor]: Taking taylor expansion of (* 2 (* J l)) in J 2.979 * [taylor]: Taking taylor expansion of 2 in J 2.979 * [taylor]: Taking taylor expansion of (* J l) in J 2.979 * [taylor]: Taking taylor expansion of J in J 2.979 * [taylor]: Taking taylor expansion of l in J 2.980 * [taylor]: Taking taylor expansion of 0 in l 2.980 * [taylor]: Taking taylor expansion of (* 2 l) in l 2.980 * [taylor]: Taking taylor expansion of 2 in l 2.980 * [taylor]: Taking taylor expansion of l in l 2.980 * [taylor]: Taking taylor expansion of 0 in l 2.980 * [taylor]: Taking taylor expansion of 0 in l 2.980 * [taylor]: Taking taylor expansion of 0 in l 2.980 * [approximate]: Taking taylor expansion of (/ 2 (* J l)) in (J l) around 0 2.980 * [taylor]: Taking taylor expansion of (/ 2 (* J l)) in l 2.980 * [taylor]: Taking taylor expansion of 2 in l 2.980 * [taylor]: Taking taylor expansion of (* J l) in l 2.980 * [taylor]: Taking taylor expansion of J in l 2.980 * [taylor]: Taking taylor expansion of l in l 2.980 * [taylor]: Taking taylor expansion of (/ 2 (* J l)) in J 2.980 * [taylor]: Taking taylor expansion of 2 in J 2.980 * [taylor]: Taking taylor expansion of (* J l) in J 2.981 * [taylor]: Taking taylor expansion of J in J 2.981 * [taylor]: Taking taylor expansion of l in J 2.981 * [taylor]: Taking taylor expansion of (/ 2 (* J l)) in J 2.981 * [taylor]: Taking taylor expansion of 2 in J 2.981 * [taylor]: Taking taylor expansion of (* J l) in J 2.981 * [taylor]: Taking taylor expansion of J in J 2.981 * [taylor]: Taking taylor expansion of l in J 2.981 * [taylor]: Taking taylor expansion of (/ 2 l) in l 2.981 * [taylor]: Taking taylor expansion of 2 in l 2.981 * [taylor]: Taking taylor expansion of l in l 2.981 * [taylor]: Taking taylor expansion of 0 in l 2.981 * [taylor]: Taking taylor expansion of 0 in l 2.981 * [taylor]: Taking taylor expansion of 0 in l 2.982 * [approximate]: Taking taylor expansion of (/ 2 (* J l)) in (J l) around 0 2.982 * [taylor]: Taking taylor expansion of (/ 2 (* J l)) in l 2.982 * [taylor]: Taking taylor expansion of 2 in l 2.982 * [taylor]: Taking taylor expansion of (* J l) in l 2.982 * [taylor]: Taking taylor expansion of J in l 2.982 * [taylor]: Taking taylor expansion of l in l 2.982 * [taylor]: Taking taylor expansion of (/ 2 (* J l)) in J 2.982 * [taylor]: Taking taylor expansion of 2 in J 2.982 * [taylor]: Taking taylor expansion of (* J l) in J 2.982 * [taylor]: Taking taylor expansion of J in J 2.982 * [taylor]: Taking taylor expansion of l in J 2.982 * [taylor]: Taking taylor expansion of (/ 2 (* J l)) in J 2.982 * [taylor]: Taking taylor expansion of 2 in J 2.982 * [taylor]: Taking taylor expansion of (* J l) in J 2.982 * [taylor]: Taking taylor expansion of J in J 2.982 * [taylor]: Taking taylor expansion of l in J 2.982 * [taylor]: Taking taylor expansion of (/ 2 l) in l 2.982 * [taylor]: Taking taylor expansion of 2 in l 2.982 * [taylor]: Taking taylor expansion of l in l 2.982 * [taylor]: Taking taylor expansion of 0 in l 2.982 * [taylor]: Taking taylor expansion of 0 in l 2.983 * [taylor]: Taking taylor expansion of 0 in l 2.983 * * * [progress]: simplifying candidates 2.983 * [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.985 * * [simplify]: iteration 0 : 70 enodes (cost 497 ) 2.995 * * [simplify]: iteration 1 : 182 enodes (cost 477 ) 3.037 * * [simplify]: iteration 2 : 780 enodes (cost 383 ) 3.580 * * [simplify]: iteration 3 : 4119 enodes (cost 376 ) 4.549 * * [simplify]: iteration done : 5000 enodes (cost 376 ) 4.550 * [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))) (pow (* 2 (* J l)) 3) (pow (* 2 (* J l)) 3) (* (cbrt (* 2 (* J l))) (cbrt (* 2 (* J l)))) (cbrt (* 2 (* J l))) (pow (* 2 (* J l)) 3) (sqrt (* 2 (* J l))) (sqrt (* 2 (* J l))) (* J 2) (* (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.550 * * * [progress]: adding candidates to table 4.601 * * [progress]: iteration 3 / 4 4.601 * * * [progress]: picking best candidate 4.635 * * * * [pick]: Picked # 4.635 * * * [progress]: localizing error 4.646 * * * [progress]: generating rewritten candidates 4.646 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2 2) 4.651 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2) 4.657 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 4.668 * * * [progress]: generating series expansions 4.668 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2 2) 4.668 * [approximate]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in (K l) around 0 4.668 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l 4.668 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 4.668 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 4.668 * [taylor]: Taking taylor expansion of 0.5 in l 4.668 * [taylor]: Taking taylor expansion of K in l 4.668 * [taylor]: Taking taylor expansion of l in l 4.668 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 4.668 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 4.668 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 4.668 * [taylor]: Taking taylor expansion of 0.5 in K 4.668 * [taylor]: Taking taylor expansion of K in K 4.668 * [taylor]: Taking taylor expansion of l in K 4.668 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 4.668 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 4.668 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 4.668 * [taylor]: Taking taylor expansion of 0.5 in K 4.668 * [taylor]: Taking taylor expansion of K in K 4.669 * [taylor]: Taking taylor expansion of l in K 4.669 * [taylor]: Taking taylor expansion of l in l 4.669 * [taylor]: Taking taylor expansion of 0 in l 4.669 * [taylor]: Taking taylor expansion of (neg (* 0.125 l)) in l 4.669 * [taylor]: Taking taylor expansion of (* 0.125 l) in l 4.669 * [taylor]: Taking taylor expansion of 0.125 in l 4.669 * [taylor]: Taking taylor expansion of l in l 4.669 * [taylor]: Taking taylor expansion of 0 in l 4.670 * [taylor]: Taking taylor expansion of (* 0.0026041666666666665 l) in l 4.670 * [taylor]: Taking taylor expansion of 0.0026041666666666665 in l 4.670 * [taylor]: Taking taylor expansion of l in l 4.670 * [approximate]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in (K l) around 0 4.670 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in l 4.670 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 4.670 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 4.670 * [taylor]: Taking taylor expansion of 0.5 in l 4.670 * [taylor]: Taking taylor expansion of K in l 4.670 * [taylor]: Taking taylor expansion of l in l 4.671 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in K 4.671 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 4.671 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 4.671 * [taylor]: Taking taylor expansion of 0.5 in K 4.671 * [taylor]: Taking taylor expansion of K in K 4.671 * [taylor]: Taking taylor expansion of l in K 4.671 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in K 4.671 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 4.671 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 4.671 * [taylor]: Taking taylor expansion of 0.5 in K 4.671 * [taylor]: Taking taylor expansion of K in K 4.671 * [taylor]: Taking taylor expansion of l in K 4.671 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in l 4.671 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 4.671 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 4.671 * [taylor]: Taking taylor expansion of 0.5 in l 4.671 * [taylor]: Taking taylor expansion of K in l 4.671 * [taylor]: Taking taylor expansion of l in l 4.671 * [taylor]: Taking taylor expansion of 0 in l 4.672 * [taylor]: Taking taylor expansion of 0 in l 4.672 * [taylor]: Taking taylor expansion of 0 in l 4.673 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) l)) in (K l) around 0 4.673 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) l)) in l 4.673 * [taylor]: Taking taylor expansion of -1 in l 4.673 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in l 4.673 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 4.673 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 4.673 * [taylor]: Taking taylor expansion of -0.5 in l 4.673 * [taylor]: Taking taylor expansion of K in l 4.673 * [taylor]: Taking taylor expansion of l in l 4.674 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) l)) in K 4.674 * [taylor]: Taking taylor expansion of -1 in K 4.674 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in K 4.674 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 4.674 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 4.674 * [taylor]: Taking taylor expansion of -0.5 in K 4.674 * [taylor]: Taking taylor expansion of K in K 4.674 * [taylor]: Taking taylor expansion of l in K 4.674 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) l)) in K 4.674 * [taylor]: Taking taylor expansion of -1 in K 4.674 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in K 4.674 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 4.674 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 4.674 * [taylor]: Taking taylor expansion of -0.5 in K 4.674 * [taylor]: Taking taylor expansion of K in K 4.674 * [taylor]: Taking taylor expansion of l in K 4.674 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) l)) in l 4.674 * [taylor]: Taking taylor expansion of -1 in l 4.674 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in l 4.674 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 4.674 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 4.674 * [taylor]: Taking taylor expansion of -0.5 in l 4.674 * [taylor]: Taking taylor expansion of K in l 4.674 * [taylor]: Taking taylor expansion of l in l 4.675 * [taylor]: Taking taylor expansion of 0 in l 4.675 * [taylor]: Taking taylor expansion of 0 in l 4.676 * [taylor]: Taking taylor expansion of 0 in l 4.677 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2) 4.677 * [approximate]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in (J K l) around 0 4.677 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in l 4.677 * [taylor]: Taking taylor expansion of J in l 4.677 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l 4.677 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 4.677 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 4.677 * [taylor]: Taking taylor expansion of 0.5 in l 4.677 * [taylor]: Taking taylor expansion of K in l 4.677 * [taylor]: Taking taylor expansion of l in l 4.677 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in K 4.677 * [taylor]: Taking taylor expansion of J in K 4.677 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 4.677 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 4.677 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 4.677 * [taylor]: Taking taylor expansion of 0.5 in K 4.677 * [taylor]: Taking taylor expansion of K in K 4.677 * [taylor]: Taking taylor expansion of l in K 4.677 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 4.677 * [taylor]: Taking taylor expansion of J in J 4.677 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 4.677 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 4.677 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 4.677 * [taylor]: Taking taylor expansion of 0.5 in J 4.677 * [taylor]: Taking taylor expansion of K in J 4.677 * [taylor]: Taking taylor expansion of l in J 4.677 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 4.678 * [taylor]: Taking taylor expansion of J in J 4.678 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 4.678 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 4.678 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 4.678 * [taylor]: Taking taylor expansion of 0.5 in J 4.678 * [taylor]: Taking taylor expansion of K in J 4.678 * [taylor]: Taking taylor expansion of l in J 4.678 * [taylor]: Taking taylor expansion of 0 in K 4.678 * [taylor]: Taking taylor expansion of 0 in l 4.678 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 4.678 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 4.678 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 4.678 * [taylor]: Taking taylor expansion of 0.5 in K 4.678 * [taylor]: Taking taylor expansion of K in K 4.678 * [taylor]: Taking taylor expansion of l in K 4.678 * [taylor]: Taking taylor expansion of l in l 4.678 * [taylor]: Taking taylor expansion of 0 in l 4.679 * [taylor]: Taking taylor expansion of 0 in K 4.679 * [taylor]: Taking taylor expansion of 0 in l 4.679 * [taylor]: Taking taylor expansion of 0 in l 4.679 * [approximate]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in (J K l) around 0 4.679 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in l 4.679 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 4.679 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 4.679 * [taylor]: Taking taylor expansion of 0.5 in l 4.679 * [taylor]: Taking taylor expansion of K in l 4.679 * [taylor]: Taking taylor expansion of (* J l) in l 4.679 * [taylor]: Taking taylor expansion of J in l 4.679 * [taylor]: Taking taylor expansion of l in l 4.680 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in K 4.680 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 4.680 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 4.680 * [taylor]: Taking taylor expansion of 0.5 in K 4.680 * [taylor]: Taking taylor expansion of K in K 4.680 * [taylor]: Taking taylor expansion of (* J l) in K 4.680 * [taylor]: Taking taylor expansion of J in K 4.680 * [taylor]: Taking taylor expansion of l in K 4.680 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 4.680 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 4.680 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 4.680 * [taylor]: Taking taylor expansion of 0.5 in J 4.680 * [taylor]: Taking taylor expansion of K in J 4.680 * [taylor]: Taking taylor expansion of (* J l) in J 4.680 * [taylor]: Taking taylor expansion of J in J 4.680 * [taylor]: Taking taylor expansion of l in J 4.680 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 4.680 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 4.680 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 4.680 * [taylor]: Taking taylor expansion of 0.5 in J 4.680 * [taylor]: Taking taylor expansion of K in J 4.680 * [taylor]: Taking taylor expansion of (* J l) in J 4.680 * [taylor]: Taking taylor expansion of J in J 4.680 * [taylor]: Taking taylor expansion of l in J 4.681 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in K 4.681 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 4.681 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 4.681 * [taylor]: Taking taylor expansion of 0.5 in K 4.681 * [taylor]: Taking taylor expansion of K in K 4.681 * [taylor]: Taking taylor expansion of l in K 4.681 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in l 4.681 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 4.681 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 4.681 * [taylor]: Taking taylor expansion of 0.5 in l 4.681 * [taylor]: Taking taylor expansion of K in l 4.681 * [taylor]: Taking taylor expansion of l in l 4.684 * [taylor]: Taking taylor expansion of 0 in K 4.684 * [taylor]: Taking taylor expansion of 0 in l 4.685 * [taylor]: Taking taylor expansion of 0 in l 4.685 * [taylor]: Taking taylor expansion of 0 in K 4.685 * [taylor]: Taking taylor expansion of 0 in l 4.685 * [taylor]: Taking taylor expansion of 0 in l 4.686 * [taylor]: Taking taylor expansion of 0 in l 4.687 * [taylor]: Taking taylor expansion of 0 in K 4.687 * [taylor]: Taking taylor expansion of 0 in l 4.687 * [taylor]: Taking taylor expansion of 0 in l 4.687 * [taylor]: Taking taylor expansion of 0 in l 4.687 * [taylor]: Taking taylor expansion of 0 in l 4.687 * [approximate]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in (J K l) around 0 4.687 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in l 4.687 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 4.687 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 4.687 * [taylor]: Taking taylor expansion of -0.5 in l 4.687 * [taylor]: Taking taylor expansion of K in l 4.687 * [taylor]: Taking taylor expansion of (* J l) in l 4.687 * [taylor]: Taking taylor expansion of J in l 4.687 * [taylor]: Taking taylor expansion of l in l 4.688 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in K 4.688 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 4.688 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 4.688 * [taylor]: Taking taylor expansion of -0.5 in K 4.688 * [taylor]: Taking taylor expansion of K in K 4.688 * [taylor]: Taking taylor expansion of (* J l) in K 4.688 * [taylor]: Taking taylor expansion of J in K 4.688 * [taylor]: Taking taylor expansion of l in K 4.688 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 4.688 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 4.688 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 4.688 * [taylor]: Taking taylor expansion of -0.5 in J 4.688 * [taylor]: Taking taylor expansion of K in J 4.688 * [taylor]: Taking taylor expansion of (* J l) in J 4.688 * [taylor]: Taking taylor expansion of J in J 4.688 * [taylor]: Taking taylor expansion of l in J 4.688 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 4.688 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 4.688 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 4.688 * [taylor]: Taking taylor expansion of -0.5 in J 4.688 * [taylor]: Taking taylor expansion of K in J 4.688 * [taylor]: Taking taylor expansion of (* J l) in J 4.688 * [taylor]: Taking taylor expansion of J in J 4.688 * [taylor]: Taking taylor expansion of l in J 4.689 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in K 4.689 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 4.689 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 4.689 * [taylor]: Taking taylor expansion of -0.5 in K 4.689 * [taylor]: Taking taylor expansion of K in K 4.689 * [taylor]: Taking taylor expansion of l in K 4.689 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in l 4.689 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 4.689 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 4.689 * [taylor]: Taking taylor expansion of -0.5 in l 4.689 * [taylor]: Taking taylor expansion of K in l 4.689 * [taylor]: Taking taylor expansion of l in l 4.690 * [taylor]: Taking taylor expansion of 0 in K 4.690 * [taylor]: Taking taylor expansion of 0 in l 4.690 * [taylor]: Taking taylor expansion of 0 in l 4.690 * [taylor]: Taking taylor expansion of 0 in K 4.690 * [taylor]: Taking taylor expansion of 0 in l 4.690 * [taylor]: Taking taylor expansion of 0 in l 4.691 * [taylor]: Taking taylor expansion of 0 in l 4.692 * [taylor]: Taking taylor expansion of 0 in K 4.692 * [taylor]: Taking taylor expansion of 0 in l 4.692 * [taylor]: Taking taylor expansion of 0 in l 4.692 * [taylor]: Taking taylor expansion of 0 in l 4.692 * [taylor]: Taking taylor expansion of 0 in l 4.692 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 4.692 * [approximate]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in (J K l) around 0 4.692 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in l 4.692 * [taylor]: Taking taylor expansion of 2 in l 4.692 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in l 4.692 * [taylor]: Taking taylor expansion of J in l 4.692 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l 4.692 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 4.692 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 4.692 * [taylor]: Taking taylor expansion of 0.5 in l 4.692 * [taylor]: Taking taylor expansion of K in l 4.692 * [taylor]: Taking taylor expansion of l in l 4.692 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in K 4.692 * [taylor]: Taking taylor expansion of 2 in K 4.693 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in K 4.693 * [taylor]: Taking taylor expansion of J in K 4.693 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 4.693 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 4.693 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 4.693 * [taylor]: Taking taylor expansion of 0.5 in K 4.693 * [taylor]: Taking taylor expansion of K in K 4.693 * [taylor]: Taking taylor expansion of l in K 4.693 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in J 4.693 * [taylor]: Taking taylor expansion of 2 in J 4.693 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 4.693 * [taylor]: Taking taylor expansion of J in J 4.693 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 4.693 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 4.693 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 4.693 * [taylor]: Taking taylor expansion of 0.5 in J 4.693 * [taylor]: Taking taylor expansion of K in J 4.693 * [taylor]: Taking taylor expansion of l in J 4.693 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in J 4.693 * [taylor]: Taking taylor expansion of 2 in J 4.693 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 4.693 * [taylor]: Taking taylor expansion of J in J 4.693 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 4.693 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 4.693 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 4.693 * [taylor]: Taking taylor expansion of 0.5 in J 4.693 * [taylor]: Taking taylor expansion of K in J 4.693 * [taylor]: Taking taylor expansion of l in J 4.693 * [taylor]: Taking taylor expansion of 0 in K 4.693 * [taylor]: Taking taylor expansion of 0 in l 4.694 * [taylor]: Taking taylor expansion of (* 2 (* (cos (* 0.5 K)) l)) in K 4.694 * [taylor]: Taking taylor expansion of 2 in K 4.694 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 4.694 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 4.694 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 4.694 * [taylor]: Taking taylor expansion of 0.5 in K 4.694 * [taylor]: Taking taylor expansion of K in K 4.694 * [taylor]: Taking taylor expansion of l in K 4.694 * [taylor]: Taking taylor expansion of (* 2 l) in l 4.694 * [taylor]: Taking taylor expansion of 2 in l 4.694 * [taylor]: Taking taylor expansion of l in l 4.694 * [taylor]: Taking taylor expansion of 0 in l 4.695 * [taylor]: Taking taylor expansion of 0 in K 4.695 * [taylor]: Taking taylor expansion of 0 in l 4.695 * [taylor]: Taking taylor expansion of 0 in l 4.695 * [approximate]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in (J K l) around 0 4.695 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in l 4.695 * [taylor]: Taking taylor expansion of 2 in l 4.695 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in l 4.695 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 4.695 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 4.695 * [taylor]: Taking taylor expansion of 0.5 in l 4.695 * [taylor]: Taking taylor expansion of K in l 4.695 * [taylor]: Taking taylor expansion of (* J l) in l 4.695 * [taylor]: Taking taylor expansion of J in l 4.695 * [taylor]: Taking taylor expansion of l in l 4.695 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in K 4.695 * [taylor]: Taking taylor expansion of 2 in K 4.695 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in K 4.695 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 4.695 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 4.695 * [taylor]: Taking taylor expansion of 0.5 in K 4.695 * [taylor]: Taking taylor expansion of K in K 4.695 * [taylor]: Taking taylor expansion of (* J l) in K 4.695 * [taylor]: Taking taylor expansion of J in K 4.695 * [taylor]: Taking taylor expansion of l in K 4.696 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in J 4.696 * [taylor]: Taking taylor expansion of 2 in J 4.696 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 4.696 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 4.696 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 4.696 * [taylor]: Taking taylor expansion of 0.5 in J 4.696 * [taylor]: Taking taylor expansion of K in J 4.696 * [taylor]: Taking taylor expansion of (* J l) in J 4.696 * [taylor]: Taking taylor expansion of J in J 4.696 * [taylor]: Taking taylor expansion of l in J 4.696 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in J 4.696 * [taylor]: Taking taylor expansion of 2 in J 4.696 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 4.696 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 4.696 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 4.696 * [taylor]: Taking taylor expansion of 0.5 in J 4.696 * [taylor]: Taking taylor expansion of K in J 4.696 * [taylor]: Taking taylor expansion of (* J l) in J 4.696 * [taylor]: Taking taylor expansion of J in J 4.696 * [taylor]: Taking taylor expansion of l in J 4.696 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) l)) in K 4.696 * [taylor]: Taking taylor expansion of 2 in K 4.696 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in K 4.697 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 4.697 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 4.697 * [taylor]: Taking taylor expansion of 0.5 in K 4.697 * [taylor]: Taking taylor expansion of K in K 4.697 * [taylor]: Taking taylor expansion of l in K 4.697 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) l)) in l 4.697 * [taylor]: Taking taylor expansion of 2 in l 4.697 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in l 4.697 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 4.697 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 4.697 * [taylor]: Taking taylor expansion of 0.5 in l 4.697 * [taylor]: Taking taylor expansion of K in l 4.697 * [taylor]: Taking taylor expansion of l in l 4.698 * [taylor]: Taking taylor expansion of 0 in K 4.698 * [taylor]: Taking taylor expansion of 0 in l 4.698 * [taylor]: Taking taylor expansion of 0 in l 4.699 * [taylor]: Taking taylor expansion of 0 in K 4.699 * [taylor]: Taking taylor expansion of 0 in l 4.699 * [taylor]: Taking taylor expansion of 0 in l 4.699 * [taylor]: Taking taylor expansion of 0 in l 4.700 * [taylor]: Taking taylor expansion of 0 in K 4.700 * [taylor]: Taking taylor expansion of 0 in l 4.700 * [taylor]: Taking taylor expansion of 0 in l 4.700 * [taylor]: Taking taylor expansion of 0 in l 4.701 * [taylor]: Taking taylor expansion of 0 in l 4.701 * [approximate]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in (J K l) around 0 4.701 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in l 4.701 * [taylor]: Taking taylor expansion of 2 in l 4.701 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in l 4.701 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 4.701 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 4.701 * [taylor]: Taking taylor expansion of -0.5 in l 4.701 * [taylor]: Taking taylor expansion of K in l 4.701 * [taylor]: Taking taylor expansion of (* J l) in l 4.701 * [taylor]: Taking taylor expansion of J in l 4.701 * [taylor]: Taking taylor expansion of l in l 4.701 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in K 4.701 * [taylor]: Taking taylor expansion of 2 in K 4.701 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in K 4.701 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 4.701 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 4.701 * [taylor]: Taking taylor expansion of -0.5 in K 4.701 * [taylor]: Taking taylor expansion of K in K 4.702 * [taylor]: Taking taylor expansion of (* J l) in K 4.702 * [taylor]: Taking taylor expansion of J in K 4.702 * [taylor]: Taking taylor expansion of l in K 4.702 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in J 4.702 * [taylor]: Taking taylor expansion of 2 in J 4.702 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 4.702 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 4.702 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 4.702 * [taylor]: Taking taylor expansion of -0.5 in J 4.702 * [taylor]: Taking taylor expansion of K in J 4.702 * [taylor]: Taking taylor expansion of (* J l) in J 4.702 * [taylor]: Taking taylor expansion of J in J 4.702 * [taylor]: Taking taylor expansion of l in J 4.702 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in J 4.702 * [taylor]: Taking taylor expansion of 2 in J 4.702 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 4.702 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 4.702 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 4.702 * [taylor]: Taking taylor expansion of -0.5 in J 4.702 * [taylor]: Taking taylor expansion of K in J 4.702 * [taylor]: Taking taylor expansion of (* J l) in J 4.702 * [taylor]: Taking taylor expansion of J in J 4.702 * [taylor]: Taking taylor expansion of l in J 4.703 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) l)) in K 4.703 * [taylor]: Taking taylor expansion of 2 in K 4.703 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in K 4.703 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 4.703 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 4.703 * [taylor]: Taking taylor expansion of -0.5 in K 4.703 * [taylor]: Taking taylor expansion of K in K 4.703 * [taylor]: Taking taylor expansion of l in K 4.703 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) l)) in l 4.703 * [taylor]: Taking taylor expansion of 2 in l 4.703 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in l 4.703 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 4.703 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 4.703 * [taylor]: Taking taylor expansion of -0.5 in l 4.703 * [taylor]: Taking taylor expansion of K in l 4.703 * [taylor]: Taking taylor expansion of l in l 4.704 * [taylor]: Taking taylor expansion of 0 in K 4.704 * [taylor]: Taking taylor expansion of 0 in l 4.704 * [taylor]: Taking taylor expansion of 0 in l 4.705 * [taylor]: Taking taylor expansion of 0 in K 4.705 * [taylor]: Taking taylor expansion of 0 in l 4.705 * [taylor]: Taking taylor expansion of 0 in l 4.705 * [taylor]: Taking taylor expansion of 0 in l 4.706 * [taylor]: Taking taylor expansion of 0 in K 4.706 * [taylor]: Taking taylor expansion of 0 in l 4.706 * [taylor]: Taking taylor expansion of 0 in l 4.706 * [taylor]: Taking taylor expansion of 0 in l 4.706 * [taylor]: Taking taylor expansion of 0 in l 4.707 * * * [progress]: simplifying candidates 4.708 * [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.710 * * [simplify]: iteration 0 : 83 enodes (cost 743 ) 4.721 * * [simplify]: iteration 1 : 199 enodes (cost 730 ) 4.762 * * [simplify]: iteration 2 : 775 enodes (cost 587 ) 5.133 * * [simplify]: iteration 3 : 3689 enodes (cost 579 ) 6.025 * * [simplify]: iteration done : 5000 enodes (cost 579 ) 6.026 * [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))) 6.026 * * * [progress]: adding candidates to table 6.103 * * [progress]: iteration 4 / 4 6.103 * * * [progress]: picking best candidate 6.137 * * * * [pick]: Picked # 6.137 * * * [progress]: localizing error 6.150 * * * [progress]: generating rewritten candidates 6.150 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 6.157 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2 1) 6.162 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 6.171 * * * [progress]: generating series expansions 6.171 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 6.171 * [approximate]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in (J K l) around 0 6.171 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in l 6.171 * [taylor]: Taking taylor expansion of J in l 6.171 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l 6.171 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 6.171 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 6.171 * [taylor]: Taking taylor expansion of 0.5 in l 6.171 * [taylor]: Taking taylor expansion of K in l 6.171 * [taylor]: Taking taylor expansion of l in l 6.171 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in K 6.171 * [taylor]: Taking taylor expansion of J in K 6.172 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 6.172 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 6.172 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 6.172 * [taylor]: Taking taylor expansion of 0.5 in K 6.172 * [taylor]: Taking taylor expansion of K in K 6.172 * [taylor]: Taking taylor expansion of l in K 6.172 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 6.172 * [taylor]: Taking taylor expansion of J in J 6.172 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 6.172 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 6.172 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 6.172 * [taylor]: Taking taylor expansion of 0.5 in J 6.172 * [taylor]: Taking taylor expansion of K in J 6.172 * [taylor]: Taking taylor expansion of l in J 6.172 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 6.172 * [taylor]: Taking taylor expansion of J in J 6.172 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 6.172 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 6.172 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 6.172 * [taylor]: Taking taylor expansion of 0.5 in J 6.172 * [taylor]: Taking taylor expansion of K in J 6.172 * [taylor]: Taking taylor expansion of l in J 6.172 * [taylor]: Taking taylor expansion of 0 in K 6.172 * [taylor]: Taking taylor expansion of 0 in l 6.173 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 6.173 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 6.173 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 6.173 * [taylor]: Taking taylor expansion of 0.5 in K 6.173 * [taylor]: Taking taylor expansion of K in K 6.173 * [taylor]: Taking taylor expansion of l in K 6.173 * [taylor]: Taking taylor expansion of l in l 6.173 * [taylor]: Taking taylor expansion of 0 in l 6.173 * [taylor]: Taking taylor expansion of 0 in K 6.173 * [taylor]: Taking taylor expansion of 0 in l 6.173 * [taylor]: Taking taylor expansion of 0 in l 6.173 * [approximate]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in (J K l) around 0 6.174 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in l 6.174 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 6.174 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 6.174 * [taylor]: Taking taylor expansion of 0.5 in l 6.174 * [taylor]: Taking taylor expansion of K in l 6.174 * [taylor]: Taking taylor expansion of (* J l) in l 6.174 * [taylor]: Taking taylor expansion of J in l 6.174 * [taylor]: Taking taylor expansion of l in l 6.174 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in K 6.174 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 6.174 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 6.174 * [taylor]: Taking taylor expansion of 0.5 in K 6.174 * [taylor]: Taking taylor expansion of K in K 6.174 * [taylor]: Taking taylor expansion of (* J l) in K 6.174 * [taylor]: Taking taylor expansion of J in K 6.174 * [taylor]: Taking taylor expansion of l in K 6.174 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 6.174 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 6.174 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 6.174 * [taylor]: Taking taylor expansion of 0.5 in J 6.174 * [taylor]: Taking taylor expansion of K in J 6.174 * [taylor]: Taking taylor expansion of (* J l) in J 6.174 * [taylor]: Taking taylor expansion of J in J 6.174 * [taylor]: Taking taylor expansion of l in J 6.175 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 6.175 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 6.175 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 6.175 * [taylor]: Taking taylor expansion of 0.5 in J 6.175 * [taylor]: Taking taylor expansion of K in J 6.175 * [taylor]: Taking taylor expansion of (* J l) in J 6.175 * [taylor]: Taking taylor expansion of J in J 6.175 * [taylor]: Taking taylor expansion of l in J 6.175 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in K 6.175 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 6.175 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 6.175 * [taylor]: Taking taylor expansion of 0.5 in K 6.175 * [taylor]: Taking taylor expansion of K in K 6.175 * [taylor]: Taking taylor expansion of l in K 6.175 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in l 6.175 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 6.175 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 6.175 * [taylor]: Taking taylor expansion of 0.5 in l 6.175 * [taylor]: Taking taylor expansion of K in l 6.175 * [taylor]: Taking taylor expansion of l in l 6.176 * [taylor]: Taking taylor expansion of 0 in K 6.176 * [taylor]: Taking taylor expansion of 0 in l 6.176 * [taylor]: Taking taylor expansion of 0 in l 6.177 * [taylor]: Taking taylor expansion of 0 in K 6.177 * [taylor]: Taking taylor expansion of 0 in l 6.177 * [taylor]: Taking taylor expansion of 0 in l 6.177 * [taylor]: Taking taylor expansion of 0 in l 6.178 * [taylor]: Taking taylor expansion of 0 in K 6.178 * [taylor]: Taking taylor expansion of 0 in l 6.178 * [taylor]: Taking taylor expansion of 0 in l 6.178 * [taylor]: Taking taylor expansion of 0 in l 6.178 * [taylor]: Taking taylor expansion of 0 in l 6.179 * [approximate]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in (J K l) around 0 6.179 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in l 6.179 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 6.179 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 6.179 * [taylor]: Taking taylor expansion of -0.5 in l 6.179 * [taylor]: Taking taylor expansion of K in l 6.179 * [taylor]: Taking taylor expansion of (* J l) in l 6.179 * [taylor]: Taking taylor expansion of J in l 6.179 * [taylor]: Taking taylor expansion of l in l 6.179 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in K 6.179 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 6.179 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 6.179 * [taylor]: Taking taylor expansion of -0.5 in K 6.179 * [taylor]: Taking taylor expansion of K in K 6.179 * [taylor]: Taking taylor expansion of (* J l) in K 6.179 * [taylor]: Taking taylor expansion of J in K 6.179 * [taylor]: Taking taylor expansion of l in K 6.179 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 6.179 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 6.179 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 6.179 * [taylor]: Taking taylor expansion of -0.5 in J 6.179 * [taylor]: Taking taylor expansion of K in J 6.179 * [taylor]: Taking taylor expansion of (* J l) in J 6.179 * [taylor]: Taking taylor expansion of J in J 6.179 * [taylor]: Taking taylor expansion of l in J 6.180 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 6.180 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 6.180 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 6.180 * [taylor]: Taking taylor expansion of -0.5 in J 6.180 * [taylor]: Taking taylor expansion of K in J 6.180 * [taylor]: Taking taylor expansion of (* J l) in J 6.180 * [taylor]: Taking taylor expansion of J in J 6.180 * [taylor]: Taking taylor expansion of l in J 6.180 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in K 6.180 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 6.180 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 6.180 * [taylor]: Taking taylor expansion of -0.5 in K 6.180 * [taylor]: Taking taylor expansion of K in K 6.180 * [taylor]: Taking taylor expansion of l in K 6.180 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in l 6.180 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 6.180 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 6.180 * [taylor]: Taking taylor expansion of -0.5 in l 6.180 * [taylor]: Taking taylor expansion of K in l 6.180 * [taylor]: Taking taylor expansion of l in l 6.181 * [taylor]: Taking taylor expansion of 0 in K 6.181 * [taylor]: Taking taylor expansion of 0 in l 6.181 * [taylor]: Taking taylor expansion of 0 in l 6.182 * [taylor]: Taking taylor expansion of 0 in K 6.182 * [taylor]: Taking taylor expansion of 0 in l 6.182 * [taylor]: Taking taylor expansion of 0 in l 6.182 * [taylor]: Taking taylor expansion of 0 in l 6.183 * [taylor]: Taking taylor expansion of 0 in K 6.183 * [taylor]: Taking taylor expansion of 0 in l 6.183 * [taylor]: Taking taylor expansion of 0 in l 6.183 * [taylor]: Taking taylor expansion of 0 in l 6.183 * [taylor]: Taking taylor expansion of 0 in l 6.183 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2 1) 6.184 * [approximate]: Taking taylor expansion of (* J (cos (* 0.5 K))) in (J K) around 0 6.184 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in K 6.184 * [taylor]: Taking taylor expansion of J in K 6.184 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 6.184 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 6.184 * [taylor]: Taking taylor expansion of 0.5 in K 6.184 * [taylor]: Taking taylor expansion of K in K 6.184 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in J 6.184 * [taylor]: Taking taylor expansion of J in J 6.184 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 6.184 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 6.184 * [taylor]: Taking taylor expansion of 0.5 in J 6.184 * [taylor]: Taking taylor expansion of K in J 6.184 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in J 6.184 * [taylor]: Taking taylor expansion of J in J 6.184 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 6.184 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 6.184 * [taylor]: Taking taylor expansion of 0.5 in J 6.184 * [taylor]: Taking taylor expansion of K in J 6.184 * [taylor]: Taking taylor expansion of 0 in K 6.184 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 6.184 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 6.184 * [taylor]: Taking taylor expansion of 0.5 in K 6.184 * [taylor]: Taking taylor expansion of K in K 6.185 * [taylor]: Taking taylor expansion of 0 in K 6.185 * [taylor]: Taking taylor expansion of 0 in K 6.186 * [approximate]: Taking taylor expansion of (/ (cos (/ 0.5 K)) J) in (J K) around 0 6.186 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) J) in K 6.186 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 6.186 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 6.186 * [taylor]: Taking taylor expansion of 0.5 in K 6.186 * [taylor]: Taking taylor expansion of K in K 6.186 * [taylor]: Taking taylor expansion of J in K 6.186 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) J) in J 6.186 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 6.186 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 6.186 * [taylor]: Taking taylor expansion of 0.5 in J 6.186 * [taylor]: Taking taylor expansion of K in J 6.186 * [taylor]: Taking taylor expansion of J in J 6.186 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) J) in J 6.186 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 6.186 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 6.186 * [taylor]: Taking taylor expansion of 0.5 in J 6.186 * [taylor]: Taking taylor expansion of K in J 6.186 * [taylor]: Taking taylor expansion of J in J 6.187 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 6.187 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 6.187 * [taylor]: Taking taylor expansion of 0.5 in K 6.187 * [taylor]: Taking taylor expansion of K in K 6.187 * [taylor]: Taking taylor expansion of 0 in K 6.187 * [taylor]: Taking taylor expansion of 0 in K 6.188 * [taylor]: Taking taylor expansion of 0 in K 6.188 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) J)) in (J K) around 0 6.188 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) J)) in K 6.188 * [taylor]: Taking taylor expansion of -1 in K 6.188 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) J) in K 6.188 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 6.188 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 6.188 * [taylor]: Taking taylor expansion of -0.5 in K 6.188 * [taylor]: Taking taylor expansion of K in K 6.188 * [taylor]: Taking taylor expansion of J in K 6.189 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) J)) in J 6.189 * [taylor]: Taking taylor expansion of -1 in J 6.189 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) J) in J 6.189 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 6.189 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 6.189 * [taylor]: Taking taylor expansion of -0.5 in J 6.189 * [taylor]: Taking taylor expansion of K in J 6.189 * [taylor]: Taking taylor expansion of J in J 6.189 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) J)) in J 6.189 * [taylor]: Taking taylor expansion of -1 in J 6.189 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) J) in J 6.189 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 6.189 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 6.189 * [taylor]: Taking taylor expansion of -0.5 in J 6.189 * [taylor]: Taking taylor expansion of K in J 6.189 * [taylor]: Taking taylor expansion of J in J 6.189 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -0.5 K))) in K 6.189 * [taylor]: Taking taylor expansion of -1 in K 6.189 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 6.189 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 6.189 * [taylor]: Taking taylor expansion of -0.5 in K 6.189 * [taylor]: Taking taylor expansion of K in K 6.190 * [taylor]: Taking taylor expansion of 0 in K 6.191 * [taylor]: Taking taylor expansion of 0 in K 6.191 * [taylor]: Taking taylor expansion of 0 in K 6.192 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 6.192 * [approximate]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in (J K l) around 0 6.192 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in l 6.192 * [taylor]: Taking taylor expansion of 2 in l 6.192 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in l 6.192 * [taylor]: Taking taylor expansion of J in l 6.192 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l 6.192 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 6.192 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 6.192 * [taylor]: Taking taylor expansion of 0.5 in l 6.192 * [taylor]: Taking taylor expansion of K in l 6.192 * [taylor]: Taking taylor expansion of l in l 6.192 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in K 6.192 * [taylor]: Taking taylor expansion of 2 in K 6.192 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in K 6.192 * [taylor]: Taking taylor expansion of J in K 6.192 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 6.192 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 6.192 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 6.192 * [taylor]: Taking taylor expansion of 0.5 in K 6.192 * [taylor]: Taking taylor expansion of K in K 6.192 * [taylor]: Taking taylor expansion of l in K 6.192 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in J 6.192 * [taylor]: Taking taylor expansion of 2 in J 6.192 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 6.192 * [taylor]: Taking taylor expansion of J in J 6.192 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 6.192 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 6.192 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 6.192 * [taylor]: Taking taylor expansion of 0.5 in J 6.192 * [taylor]: Taking taylor expansion of K in J 6.192 * [taylor]: Taking taylor expansion of l in J 6.192 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in J 6.192 * [taylor]: Taking taylor expansion of 2 in J 6.192 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 6.192 * [taylor]: Taking taylor expansion of J in J 6.192 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 6.192 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 6.192 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 6.192 * [taylor]: Taking taylor expansion of 0.5 in J 6.193 * [taylor]: Taking taylor expansion of K in J 6.193 * [taylor]: Taking taylor expansion of l in J 6.193 * [taylor]: Taking taylor expansion of 0 in K 6.193 * [taylor]: Taking taylor expansion of 0 in l 6.193 * [taylor]: Taking taylor expansion of (* 2 (* (cos (* 0.5 K)) l)) in K 6.193 * [taylor]: Taking taylor expansion of 2 in K 6.193 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 6.193 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 6.193 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 6.193 * [taylor]: Taking taylor expansion of 0.5 in K 6.193 * [taylor]: Taking taylor expansion of K in K 6.193 * [taylor]: Taking taylor expansion of l in K 6.193 * [taylor]: Taking taylor expansion of (* 2 l) in l 6.193 * [taylor]: Taking taylor expansion of 2 in l 6.193 * [taylor]: Taking taylor expansion of l in l 6.193 * [taylor]: Taking taylor expansion of 0 in l 6.194 * [taylor]: Taking taylor expansion of 0 in K 6.194 * [taylor]: Taking taylor expansion of 0 in l 6.194 * [taylor]: Taking taylor expansion of 0 in l 6.194 * [approximate]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in (J K l) around 0 6.194 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in l 6.194 * [taylor]: Taking taylor expansion of 2 in l 6.194 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in l 6.194 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 6.194 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 6.194 * [taylor]: Taking taylor expansion of 0.5 in l 6.194 * [taylor]: Taking taylor expansion of K in l 6.194 * [taylor]: Taking taylor expansion of (* J l) in l 6.194 * [taylor]: Taking taylor expansion of J in l 6.195 * [taylor]: Taking taylor expansion of l in l 6.195 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in K 6.195 * [taylor]: Taking taylor expansion of 2 in K 6.195 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in K 6.195 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 6.195 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 6.195 * [taylor]: Taking taylor expansion of 0.5 in K 6.195 * [taylor]: Taking taylor expansion of K in K 6.195 * [taylor]: Taking taylor expansion of (* J l) in K 6.195 * [taylor]: Taking taylor expansion of J in K 6.195 * [taylor]: Taking taylor expansion of l in K 6.195 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in J 6.195 * [taylor]: Taking taylor expansion of 2 in J 6.195 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 6.195 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 6.195 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 6.195 * [taylor]: Taking taylor expansion of 0.5 in J 6.195 * [taylor]: Taking taylor expansion of K in J 6.195 * [taylor]: Taking taylor expansion of (* J l) in J 6.195 * [taylor]: Taking taylor expansion of J in J 6.195 * [taylor]: Taking taylor expansion of l in J 6.195 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in J 6.195 * [taylor]: Taking taylor expansion of 2 in J 6.195 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 6.195 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 6.195 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 6.195 * [taylor]: Taking taylor expansion of 0.5 in J 6.196 * [taylor]: Taking taylor expansion of K in J 6.196 * [taylor]: Taking taylor expansion of (* J l) in J 6.196 * [taylor]: Taking taylor expansion of J in J 6.196 * [taylor]: Taking taylor expansion of l in J 6.196 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) l)) in K 6.196 * [taylor]: Taking taylor expansion of 2 in K 6.196 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in K 6.196 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 6.196 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 6.196 * [taylor]: Taking taylor expansion of 0.5 in K 6.196 * [taylor]: Taking taylor expansion of K in K 6.196 * [taylor]: Taking taylor expansion of l in K 6.196 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) l)) in l 6.196 * [taylor]: Taking taylor expansion of 2 in l 6.196 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in l 6.196 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 6.196 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 6.196 * [taylor]: Taking taylor expansion of 0.5 in l 6.196 * [taylor]: Taking taylor expansion of K in l 6.196 * [taylor]: Taking taylor expansion of l in l 6.197 * [taylor]: Taking taylor expansion of 0 in K 6.197 * [taylor]: Taking taylor expansion of 0 in l 6.197 * [taylor]: Taking taylor expansion of 0 in l 6.198 * [taylor]: Taking taylor expansion of 0 in K 6.198 * [taylor]: Taking taylor expansion of 0 in l 6.198 * [taylor]: Taking taylor expansion of 0 in l 6.198 * [taylor]: Taking taylor expansion of 0 in l 6.199 * [taylor]: Taking taylor expansion of 0 in K 6.200 * [taylor]: Taking taylor expansion of 0 in l 6.200 * [taylor]: Taking taylor expansion of 0 in l 6.200 * [taylor]: Taking taylor expansion of 0 in l 6.200 * [taylor]: Taking taylor expansion of 0 in l 6.200 * [approximate]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in (J K l) around 0 6.200 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in l 6.200 * [taylor]: Taking taylor expansion of 2 in l 6.200 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in l 6.200 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 6.200 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 6.200 * [taylor]: Taking taylor expansion of -0.5 in l 6.200 * [taylor]: Taking taylor expansion of K in l 6.200 * [taylor]: Taking taylor expansion of (* J l) in l 6.200 * [taylor]: Taking taylor expansion of J in l 6.200 * [taylor]: Taking taylor expansion of l in l 6.201 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in K 6.201 * [taylor]: Taking taylor expansion of 2 in K 6.201 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in K 6.201 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 6.201 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 6.201 * [taylor]: Taking taylor expansion of -0.5 in K 6.201 * [taylor]: Taking taylor expansion of K in K 6.201 * [taylor]: Taking taylor expansion of (* J l) in K 6.201 * [taylor]: Taking taylor expansion of J in K 6.201 * [taylor]: Taking taylor expansion of l in K 6.201 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in J 6.201 * [taylor]: Taking taylor expansion of 2 in J 6.201 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 6.201 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 6.201 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 6.201 * [taylor]: Taking taylor expansion of -0.5 in J 6.201 * [taylor]: Taking taylor expansion of K in J 6.201 * [taylor]: Taking taylor expansion of (* J l) in J 6.201 * [taylor]: Taking taylor expansion of J in J 6.201 * [taylor]: Taking taylor expansion of l in J 6.201 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in J 6.201 * [taylor]: Taking taylor expansion of 2 in J 6.201 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 6.201 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 6.201 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 6.201 * [taylor]: Taking taylor expansion of -0.5 in J 6.201 * [taylor]: Taking taylor expansion of K in J 6.201 * [taylor]: Taking taylor expansion of (* J l) in J 6.201 * [taylor]: Taking taylor expansion of J in J 6.202 * [taylor]: Taking taylor expansion of l in J 6.202 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) l)) in K 6.202 * [taylor]: Taking taylor expansion of 2 in K 6.202 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in K 6.202 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 6.202 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 6.202 * [taylor]: Taking taylor expansion of -0.5 in K 6.202 * [taylor]: Taking taylor expansion of K in K 6.202 * [taylor]: Taking taylor expansion of l in K 6.202 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) l)) in l 6.202 * [taylor]: Taking taylor expansion of 2 in l 6.202 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in l 6.202 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 6.202 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 6.202 * [taylor]: Taking taylor expansion of -0.5 in l 6.202 * [taylor]: Taking taylor expansion of K in l 6.202 * [taylor]: Taking taylor expansion of l in l 6.203 * [taylor]: Taking taylor expansion of 0 in K 6.203 * [taylor]: Taking taylor expansion of 0 in l 6.203 * [taylor]: Taking taylor expansion of 0 in l 6.204 * [taylor]: Taking taylor expansion of 0 in K 6.204 * [taylor]: Taking taylor expansion of 0 in l 6.204 * [taylor]: Taking taylor expansion of 0 in l 6.204 * [taylor]: Taking taylor expansion of 0 in l 6.205 * [taylor]: Taking taylor expansion of 0 in K 6.205 * [taylor]: Taking taylor expansion of 0 in l 6.205 * [taylor]: Taking taylor expansion of 0 in l 6.205 * [taylor]: Taking taylor expansion of 0 in l 6.206 * [taylor]: Taking taylor expansion of 0 in l 6.206 * * * [progress]: simplifying candidates 6.207 * [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))) 6.210 * * [simplify]: iteration 0 : 82 enodes (cost 743 ) 6.221 * * [simplify]: iteration 1 : 201 enodes (cost 730 ) 6.263 * * [simplify]: iteration 2 : 836 enodes (cost 590 ) 6.674 * * [simplify]: iteration 3 : 4084 enodes (cost 583 ) 7.665 * * [simplify]: iteration done : 5000 enodes (cost 583 ) 7.665 * [simplify]: Simplified to: (* J (* (cos (* 0.5 K)) l)) (* J (* (cos (* 0.5 K)) l)) (+ (+ (log J) (log (cos (* 0.5 K)))) (log l)) (log (* J (* (cos (* 0.5 K)) 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 l) (cbrt l))) (* (* J (cos (* 0.5 K))) (sqrt l)) (* J (cos (* 0.5 K))) (* (cos (* 0.5 K)) l) (* J (cos (* 0.5 K))) (+ (log J) (log (cos (* 0.5 K)))) (log (* J (cos (* 0.5 K)))) (exp (* J (cos (* 0.5 K)))) (pow (* J (cos (* 0.5 K))) 3) (* (cbrt (* J (cos (* 0.5 K)))) (cbrt (* J (cos (* 0.5 K))))) (cbrt (* J (cos (* 0.5 K)))) (pow (* J (cos (* 0.5 K))) 3) (sqrt (* J (cos (* 0.5 K)))) (sqrt (* J (cos (* 0.5 K)))) (* (sqrt J) (sqrt (cos (* 0.5 K)))) (* (sqrt J) (sqrt (cos (* 0.5 K)))) (* J (* (cbrt (cos (* 0.5 K))) (cbrt (cos (* 0.5 K))))) (* J (sqrt (cos (* 0.5 K)))) J (* (cbrt J) (cos (* 0.5 K))) (* (sqrt J) (cos (* 0.5 K))) (* J (cos (* 0.5 K))) (* 2 (* (* J (cos (* 0.5 K))) l)) (* 2 (* (* J (cos (* 0.5 K))) l)) (* 2 (* (* J (cos (* 0.5 K))) l)) (+ (log 2) (+ (+ (log J) (log (cos (* 0.5 K)))) (log l))) (log (* 2 (* (* 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)) 7.666 * * * [progress]: adding candidates to table 7.741 * [progress]: [Phase 3 of 3] Extracting. 7.741 * * [regime]: Finding splitpoints for: (# # # # # # # # # #) 7.744 * * * [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.744 * * * * [regimes]: Trying to branch on (/ K 2.0) from (# # # # # # # # # #) 7.831 * * * * [regimes]: Trying to branch on (cos (/ K 2.0)) from (# # # # # # # # # #) 7.917 * * * * [regimes]: Trying to branch on (- (exp l) (exp (neg l))) from (# # # # # # # # # #) 7.998 * * * * [regimes]: Trying to branch on (- (exp l) (exp (neg l))) from (# #) 8.046 * * * * [regimes]: Trying to branch on (* J (- (exp l) (exp (neg l)))) from (# # # # # # # # # #) 8.125 * * * * [regimes]: Trying to branch on U from (# # # # # # # # # #) 8.210 * * * * [regimes]: Trying to branch on K from (# # # # # # # # # #) 8.294 * * * * [regimes]: Trying to branch on l from (# # # # # # # # # #) 8.379 * * * * [regimes]: Trying to branch on J from (# # # # # # # # # #) 8.464 * * * [regime]: Found split indices: #