21.643 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.126 * * * [progress]: [2/2] Setting up program. 0.131 * [progress]: [Phase 2 of 3] Improving. 0.131 * [simplify]: Simplifying using # : (+ (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0))) U) 0.132 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 0.133 * * [simplify]: iteration 1 : 23 enodes (cost 15 ) 0.136 * * [simplify]: iteration 2 : 41 enodes (cost 15 ) 0.141 * * [simplify]: iteration 3 : 72 enodes (cost 15 ) 0.152 * * [simplify]: iteration 4 : 121 enodes (cost 15 ) 0.178 * * [simplify]: iteration 5 : 184 enodes (cost 15 ) 0.232 * * [simplify]: iteration 6 : 260 enodes (cost 15 ) 0.297 * * [simplify]: iteration 7 : 367 enodes (cost 15 ) 0.416 * * [simplify]: iteration 8 : 499 enodes (cost 15 ) 0.609 * * [simplify]: iteration 9 : 915 enodes (cost 15 ) 2.120 * * [simplify]: iteration 10 : 2264 enodes (cost 15 ) 3.675 * * [simplify]: iteration 11 : 2952 enodes (cost 15 ) 5.965 * * [simplify]: iteration 12 : 3305 enodes (cost 15 ) 9.579 * * [simplify]: iteration 13 : 4244 enodes (cost 15 ) 12.577 * * [simplify]: iteration 14 : 4529 enodes (cost 15 ) 15.312 * * [simplify]: iteration done : 4529 enodes (cost 15 ) 15.312 * [simplify]: Simplified to: (+ (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0))) U) 15.312 * * [progress]: iteration 1 / 4 15.312 * * * [progress]: picking best candidate 15.316 * * * * [pick]: Picked # 15.316 * * * [progress]: localizing error 15.329 * * * [progress]: generating rewritten candidates 15.330 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 2) 15.335 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 15.346 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 15.356 * * * [progress]: generating series expansions 15.356 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 2) 15.356 * [approximate]: Taking taylor expansion of (- (exp l) (exp (neg l))) in (l) around 0 15.356 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in l 15.356 * [taylor]: Taking taylor expansion of (exp l) in l 15.356 * [taylor]: Taking taylor expansion of l in l 15.356 * [taylor]: Taking taylor expansion of (exp (neg l)) in l 15.356 * [taylor]: Taking taylor expansion of (neg l) in l 15.356 * [taylor]: Taking taylor expansion of l in l 15.356 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in l 15.356 * [taylor]: Taking taylor expansion of (exp l) in l 15.356 * [taylor]: Taking taylor expansion of l in l 15.356 * [taylor]: Taking taylor expansion of (exp (neg l)) in l 15.356 * [taylor]: Taking taylor expansion of (neg l) in l 15.356 * [taylor]: Taking taylor expansion of l in l 15.359 * [approximate]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in (l) around 0 15.359 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in l 15.359 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 15.359 * [taylor]: Taking taylor expansion of (/ 1 l) in l 15.359 * [taylor]: Taking taylor expansion of l in l 15.359 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in l 15.359 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in l 15.359 * [taylor]: Taking taylor expansion of (/ 1 l) in l 15.359 * [taylor]: Taking taylor expansion of l in l 15.359 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in l 15.359 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 15.359 * [taylor]: Taking taylor expansion of (/ 1 l) in l 15.359 * [taylor]: Taking taylor expansion of l in l 15.359 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in l 15.359 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in l 15.359 * [taylor]: Taking taylor expansion of (/ 1 l) in l 15.359 * [taylor]: Taking taylor expansion of l in l 15.360 * [approximate]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in (l) around 0 15.360 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l 15.360 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l 15.360 * [taylor]: Taking taylor expansion of (/ -1 l) in l 15.360 * [taylor]: Taking taylor expansion of -1 in l 15.360 * [taylor]: Taking taylor expansion of l in l 15.360 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 15.360 * [taylor]: Taking taylor expansion of (/ 1 l) in l 15.360 * [taylor]: Taking taylor expansion of l in l 15.360 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l 15.360 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l 15.360 * [taylor]: Taking taylor expansion of (/ -1 l) in l 15.360 * [taylor]: Taking taylor expansion of -1 in l 15.360 * [taylor]: Taking taylor expansion of l in l 15.360 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 15.360 * [taylor]: Taking taylor expansion of (/ 1 l) in l 15.360 * [taylor]: Taking taylor expansion of l in l 15.361 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 15.361 * [approximate]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) (* J (cos (* 0.5 K)))) in (J l K) around 0 15.361 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) (* J (cos (* 0.5 K)))) in K 15.361 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in K 15.361 * [taylor]: Taking taylor expansion of (exp l) in K 15.361 * [taylor]: Taking taylor expansion of l in K 15.361 * [taylor]: Taking taylor expansion of (exp (neg l)) in K 15.361 * [taylor]: Taking taylor expansion of (neg l) in K 15.361 * [taylor]: Taking taylor expansion of l in K 15.361 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in K 15.361 * [taylor]: Taking taylor expansion of J in K 15.361 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 15.361 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 15.361 * [taylor]: Taking taylor expansion of 0.5 in K 15.361 * [taylor]: Taking taylor expansion of K in K 15.361 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) (* J (cos (* 0.5 K)))) in l 15.361 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in l 15.361 * [taylor]: Taking taylor expansion of (exp l) in l 15.361 * [taylor]: Taking taylor expansion of l in l 15.361 * [taylor]: Taking taylor expansion of (exp (neg l)) in l 15.361 * [taylor]: Taking taylor expansion of (neg l) in l 15.361 * [taylor]: Taking taylor expansion of l in l 15.361 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in l 15.361 * [taylor]: Taking taylor expansion of J in l 15.362 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 15.362 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 15.362 * [taylor]: Taking taylor expansion of 0.5 in l 15.362 * [taylor]: Taking taylor expansion of K in l 15.362 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) (* J (cos (* 0.5 K)))) in J 15.362 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in J 15.362 * [taylor]: Taking taylor expansion of (exp l) in J 15.362 * [taylor]: Taking taylor expansion of l in J 15.362 * [taylor]: Taking taylor expansion of (exp (neg l)) in J 15.362 * [taylor]: Taking taylor expansion of (neg l) in J 15.362 * [taylor]: Taking taylor expansion of l in J 15.362 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in J 15.362 * [taylor]: Taking taylor expansion of J in J 15.362 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 15.362 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 15.362 * [taylor]: Taking taylor expansion of 0.5 in J 15.362 * [taylor]: Taking taylor expansion of K in J 15.362 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) (* J (cos (* 0.5 K)))) in J 15.362 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in J 15.362 * [taylor]: Taking taylor expansion of (exp l) in J 15.362 * [taylor]: Taking taylor expansion of l in J 15.362 * [taylor]: Taking taylor expansion of (exp (neg l)) in J 15.362 * [taylor]: Taking taylor expansion of (neg l) in J 15.362 * [taylor]: Taking taylor expansion of l in J 15.362 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in J 15.362 * [taylor]: Taking taylor expansion of J in J 15.362 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 15.362 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 15.362 * [taylor]: Taking taylor expansion of 0.5 in J 15.362 * [taylor]: Taking taylor expansion of K in J 15.363 * [taylor]: Taking taylor expansion of 0 in l 15.363 * [taylor]: Taking taylor expansion of 0 in K 15.363 * [taylor]: Taking taylor expansion of (- (* (cos (* 0.5 K)) (exp l)) (* (exp (neg l)) (cos (* 0.5 K)))) in l 15.363 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (exp l)) in l 15.363 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 15.363 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 15.363 * [taylor]: Taking taylor expansion of 0.5 in l 15.363 * [taylor]: Taking taylor expansion of K in l 15.363 * [taylor]: Taking taylor expansion of (exp l) in l 15.363 * [taylor]: Taking taylor expansion of l in l 15.363 * [taylor]: Taking taylor expansion of (* (exp (neg l)) (cos (* 0.5 K))) in l 15.363 * [taylor]: Taking taylor expansion of (exp (neg l)) in l 15.363 * [taylor]: Taking taylor expansion of (neg l) in l 15.363 * [taylor]: Taking taylor expansion of l in l 15.363 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 15.363 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 15.363 * [taylor]: Taking taylor expansion of 0.5 in l 15.363 * [taylor]: Taking taylor expansion of K in l 15.364 * [taylor]: Taking taylor expansion of 0 in K 15.364 * [taylor]: Taking taylor expansion of 0 in K 15.365 * [taylor]: Taking taylor expansion of 0 in l 15.365 * [taylor]: Taking taylor expansion of 0 in K 15.365 * [taylor]: Taking taylor expansion of (* 2 (cos (* 0.5 K))) in K 15.365 * [taylor]: Taking taylor expansion of 2 in K 15.365 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 15.365 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 15.365 * [taylor]: Taking taylor expansion of 0.5 in K 15.365 * [taylor]: Taking taylor expansion of K in K 15.366 * [taylor]: Taking taylor expansion of 0 in K 15.367 * [taylor]: Taking taylor expansion of 0 in l 15.367 * [taylor]: Taking taylor expansion of 0 in K 15.367 * [taylor]: Taking taylor expansion of 0 in K 15.367 * [approximate]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) J) in (J l K) around 0 15.367 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) J) in K 15.367 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in K 15.367 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 15.367 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 15.367 * [taylor]: Taking taylor expansion of 0.5 in K 15.367 * [taylor]: Taking taylor expansion of K in K 15.367 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in K 15.367 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K 15.367 * [taylor]: Taking taylor expansion of (/ 1 l) in K 15.367 * [taylor]: Taking taylor expansion of l in K 15.367 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in K 15.367 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in K 15.367 * [taylor]: Taking taylor expansion of (/ 1 l) in K 15.367 * [taylor]: Taking taylor expansion of l in K 15.367 * [taylor]: Taking taylor expansion of J in K 15.368 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) J) in l 15.368 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in l 15.368 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 15.368 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 15.368 * [taylor]: Taking taylor expansion of 0.5 in l 15.368 * [taylor]: Taking taylor expansion of K in l 15.368 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in l 15.368 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 15.368 * [taylor]: Taking taylor expansion of (/ 1 l) in l 15.368 * [taylor]: Taking taylor expansion of l in l 15.368 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in l 15.368 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in l 15.368 * [taylor]: Taking taylor expansion of (/ 1 l) in l 15.368 * [taylor]: Taking taylor expansion of l in l 15.368 * [taylor]: Taking taylor expansion of J in l 15.368 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) J) in J 15.368 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in J 15.368 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 15.369 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 15.369 * [taylor]: Taking taylor expansion of 0.5 in J 15.369 * [taylor]: Taking taylor expansion of K in J 15.369 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in J 15.369 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J 15.369 * [taylor]: Taking taylor expansion of (/ 1 l) in J 15.369 * [taylor]: Taking taylor expansion of l in J 15.369 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in J 15.369 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in J 15.369 * [taylor]: Taking taylor expansion of (/ 1 l) in J 15.369 * [taylor]: Taking taylor expansion of l in J 15.369 * [taylor]: Taking taylor expansion of J in J 15.369 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) J) in J 15.369 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in J 15.369 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 15.369 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 15.369 * [taylor]: Taking taylor expansion of 0.5 in J 15.369 * [taylor]: Taking taylor expansion of K in J 15.369 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in J 15.370 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J 15.370 * [taylor]: Taking taylor expansion of (/ 1 l) in J 15.370 * [taylor]: Taking taylor expansion of l in J 15.370 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in J 15.370 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in J 15.370 * [taylor]: Taking taylor expansion of (/ 1 l) in J 15.370 * [taylor]: Taking taylor expansion of l in J 15.370 * [taylor]: Taking taylor expansion of J in J 15.370 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in l 15.370 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 15.370 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 15.370 * [taylor]: Taking taylor expansion of 0.5 in l 15.370 * [taylor]: Taking taylor expansion of K in l 15.370 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in l 15.370 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 15.370 * [taylor]: Taking taylor expansion of (/ 1 l) in l 15.370 * [taylor]: Taking taylor expansion of l in l 15.370 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in l 15.370 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in l 15.370 * [taylor]: Taking taylor expansion of (/ 1 l) in l 15.371 * [taylor]: Taking taylor expansion of l in l 15.371 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in K 15.371 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 15.371 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 15.371 * [taylor]: Taking taylor expansion of 0.5 in K 15.371 * [taylor]: Taking taylor expansion of K in K 15.371 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in K 15.371 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K 15.371 * [taylor]: Taking taylor expansion of (/ 1 l) in K 15.371 * [taylor]: Taking taylor expansion of l in K 15.371 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in K 15.371 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in K 15.371 * [taylor]: Taking taylor expansion of (/ 1 l) in K 15.371 * [taylor]: Taking taylor expansion of l in K 15.372 * [taylor]: Taking taylor expansion of 0 in l 15.372 * [taylor]: Taking taylor expansion of 0 in K 15.373 * [taylor]: Taking taylor expansion of 0 in K 15.374 * [taylor]: Taking taylor expansion of 0 in l 15.374 * [taylor]: Taking taylor expansion of 0 in K 15.374 * [taylor]: Taking taylor expansion of 0 in K 15.375 * [taylor]: Taking taylor expansion of 0 in K 15.375 * [approximate]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) in (J l K) around 0 15.375 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) in K 15.375 * [taylor]: Taking taylor expansion of -1 in K 15.375 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J) in K 15.375 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) in K 15.375 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in K 15.375 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in K 15.375 * [taylor]: Taking taylor expansion of (/ -1 l) in K 15.375 * [taylor]: Taking taylor expansion of -1 in K 15.375 * [taylor]: Taking taylor expansion of l in K 15.375 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K 15.375 * [taylor]: Taking taylor expansion of (/ 1 l) in K 15.375 * [taylor]: Taking taylor expansion of l in K 15.375 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 15.375 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 15.375 * [taylor]: Taking taylor expansion of -0.5 in K 15.375 * [taylor]: Taking taylor expansion of K in K 15.375 * [taylor]: Taking taylor expansion of J in K 15.376 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) in l 15.376 * [taylor]: Taking taylor expansion of -1 in l 15.376 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J) in l 15.376 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) in l 15.376 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l 15.376 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l 15.376 * [taylor]: Taking taylor expansion of (/ -1 l) in l 15.376 * [taylor]: Taking taylor expansion of -1 in l 15.376 * [taylor]: Taking taylor expansion of l in l 15.376 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 15.376 * [taylor]: Taking taylor expansion of (/ 1 l) in l 15.376 * [taylor]: Taking taylor expansion of l in l 15.376 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 15.376 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 15.376 * [taylor]: Taking taylor expansion of -0.5 in l 15.376 * [taylor]: Taking taylor expansion of K in l 15.376 * [taylor]: Taking taylor expansion of J in l 15.376 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) in J 15.376 * [taylor]: Taking taylor expansion of -1 in J 15.376 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J) in J 15.377 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) in J 15.377 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in J 15.377 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in J 15.377 * [taylor]: Taking taylor expansion of (/ -1 l) in J 15.377 * [taylor]: Taking taylor expansion of -1 in J 15.377 * [taylor]: Taking taylor expansion of l in J 15.377 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J 15.377 * [taylor]: Taking taylor expansion of (/ 1 l) in J 15.377 * [taylor]: Taking taylor expansion of l in J 15.377 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 15.377 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 15.377 * [taylor]: Taking taylor expansion of -0.5 in J 15.377 * [taylor]: Taking taylor expansion of K in J 15.377 * [taylor]: Taking taylor expansion of J in J 15.377 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) in J 15.377 * [taylor]: Taking taylor expansion of -1 in J 15.377 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J) in J 15.377 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) in J 15.377 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in J 15.377 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in J 15.377 * [taylor]: Taking taylor expansion of (/ -1 l) in J 15.377 * [taylor]: Taking taylor expansion of -1 in J 15.377 * [taylor]: Taking taylor expansion of l in J 15.378 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J 15.378 * [taylor]: Taking taylor expansion of (/ 1 l) in J 15.378 * [taylor]: Taking taylor expansion of l in J 15.378 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 15.378 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 15.378 * [taylor]: Taking taylor expansion of -0.5 in J 15.378 * [taylor]: Taking taylor expansion of K in J 15.378 * [taylor]: Taking taylor expansion of J in J 15.378 * [taylor]: Taking taylor expansion of (* -1 (* (cos (/ -0.5 K)) (- (exp (/ -1 l)) (exp (/ 1 l))))) in l 15.378 * [taylor]: Taking taylor expansion of -1 in l 15.378 * [taylor]: Taking taylor expansion of (* (cos (/ -0.5 K)) (- (exp (/ -1 l)) (exp (/ 1 l)))) in l 15.378 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 15.378 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 15.378 * [taylor]: Taking taylor expansion of -0.5 in l 15.378 * [taylor]: Taking taylor expansion of K in l 15.378 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l 15.378 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l 15.378 * [taylor]: Taking taylor expansion of (/ -1 l) in l 15.379 * [taylor]: Taking taylor expansion of -1 in l 15.379 * [taylor]: Taking taylor expansion of l in l 15.379 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 15.379 * [taylor]: Taking taylor expansion of (/ 1 l) in l 15.379 * [taylor]: Taking taylor expansion of l in l 15.379 * [taylor]: Taking taylor expansion of (* -1 (* (cos (/ -0.5 K)) (- (exp (/ -1 l)) (exp (/ 1 l))))) in K 15.379 * [taylor]: Taking taylor expansion of -1 in K 15.379 * [taylor]: Taking taylor expansion of (* (cos (/ -0.5 K)) (- (exp (/ -1 l)) (exp (/ 1 l)))) in K 15.379 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 15.379 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 15.379 * [taylor]: Taking taylor expansion of -0.5 in K 15.379 * [taylor]: Taking taylor expansion of K in K 15.379 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in K 15.379 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in K 15.379 * [taylor]: Taking taylor expansion of (/ -1 l) in K 15.379 * [taylor]: Taking taylor expansion of -1 in K 15.379 * [taylor]: Taking taylor expansion of l in K 15.379 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K 15.379 * [taylor]: Taking taylor expansion of (/ 1 l) in K 15.379 * [taylor]: Taking taylor expansion of l in K 15.381 * [taylor]: Taking taylor expansion of 0 in l 15.381 * [taylor]: Taking taylor expansion of 0 in K 15.381 * [taylor]: Taking taylor expansion of 0 in K 15.383 * [taylor]: Taking taylor expansion of 0 in l 15.383 * [taylor]: Taking taylor expansion of 0 in K 15.383 * [taylor]: Taking taylor expansion of 0 in K 15.383 * [taylor]: Taking taylor expansion of 0 in K 15.384 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 15.384 * [approximate]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) J) in (J l) around 0 15.384 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) J) in l 15.384 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in l 15.384 * [taylor]: Taking taylor expansion of (exp l) in l 15.384 * [taylor]: Taking taylor expansion of l in l 15.384 * [taylor]: Taking taylor expansion of (exp (neg l)) in l 15.384 * [taylor]: Taking taylor expansion of (neg l) in l 15.384 * [taylor]: Taking taylor expansion of l in l 15.384 * [taylor]: Taking taylor expansion of J in l 15.384 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) J) in J 15.384 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in J 15.384 * [taylor]: Taking taylor expansion of (exp l) in J 15.384 * [taylor]: Taking taylor expansion of l in J 15.384 * [taylor]: Taking taylor expansion of (exp (neg l)) in J 15.384 * [taylor]: Taking taylor expansion of (neg l) in J 15.384 * [taylor]: Taking taylor expansion of l in J 15.384 * [taylor]: Taking taylor expansion of J in J 15.384 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) J) in J 15.384 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in J 15.384 * [taylor]: Taking taylor expansion of (exp l) in J 15.384 * [taylor]: Taking taylor expansion of l in J 15.384 * [taylor]: Taking taylor expansion of (exp (neg l)) in J 15.384 * [taylor]: Taking taylor expansion of (neg l) in J 15.384 * [taylor]: Taking taylor expansion of l in J 15.384 * [taylor]: Taking taylor expansion of J in J 15.384 * [taylor]: Taking taylor expansion of 0 in l 15.385 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in l 15.385 * [taylor]: Taking taylor expansion of (exp l) in l 15.389 * [taylor]: Taking taylor expansion of l in l 15.389 * [taylor]: Taking taylor expansion of (exp (neg l)) in l 15.389 * [taylor]: Taking taylor expansion of (neg l) in l 15.389 * [taylor]: Taking taylor expansion of l in l 15.389 * [taylor]: Taking taylor expansion of 0 in l 15.390 * [taylor]: Taking taylor expansion of 0 in l 15.391 * [taylor]: Taking taylor expansion of 0 in l 15.391 * [approximate]: Taking taylor expansion of (/ (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) J) in (J l) around 0 15.391 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) J) in l 15.391 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in l 15.391 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 15.391 * [taylor]: Taking taylor expansion of (/ 1 l) in l 15.391 * [taylor]: Taking taylor expansion of l in l 15.392 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in l 15.392 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in l 15.392 * [taylor]: Taking taylor expansion of (/ 1 l) in l 15.392 * [taylor]: Taking taylor expansion of l in l 15.392 * [taylor]: Taking taylor expansion of J in l 15.392 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) J) in J 15.392 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in J 15.392 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J 15.392 * [taylor]: Taking taylor expansion of (/ 1 l) in J 15.392 * [taylor]: Taking taylor expansion of l in J 15.392 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in J 15.392 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in J 15.392 * [taylor]: Taking taylor expansion of (/ 1 l) in J 15.392 * [taylor]: Taking taylor expansion of l in J 15.392 * [taylor]: Taking taylor expansion of J in J 15.392 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) J) in J 15.392 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in J 15.392 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J 15.392 * [taylor]: Taking taylor expansion of (/ 1 l) in J 15.392 * [taylor]: Taking taylor expansion of l in J 15.392 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in J 15.392 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in J 15.392 * [taylor]: Taking taylor expansion of (/ 1 l) in J 15.393 * [taylor]: Taking taylor expansion of l in J 15.393 * [taylor]: Taking taylor expansion of J in J 15.393 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in l 15.393 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 15.393 * [taylor]: Taking taylor expansion of (/ 1 l) in l 15.393 * [taylor]: Taking taylor expansion of l in l 15.393 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in l 15.393 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in l 15.393 * [taylor]: Taking taylor expansion of (/ 1 l) in l 15.393 * [taylor]: Taking taylor expansion of l in l 15.394 * [taylor]: Taking taylor expansion of 0 in l 15.394 * [taylor]: Taking taylor expansion of 0 in l 15.395 * [taylor]: Taking taylor expansion of 0 in l 15.395 * [approximate]: Taking taylor expansion of (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) in (J l) around 0 15.395 * [taylor]: Taking taylor expansion of (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) in l 15.395 * [taylor]: Taking taylor expansion of -1 in l 15.395 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J) in l 15.395 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l 15.395 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l 15.396 * [taylor]: Taking taylor expansion of (/ -1 l) in l 15.396 * [taylor]: Taking taylor expansion of -1 in l 15.396 * [taylor]: Taking taylor expansion of l in l 15.396 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 15.396 * [taylor]: Taking taylor expansion of (/ 1 l) in l 15.396 * [taylor]: Taking taylor expansion of l in l 15.396 * [taylor]: Taking taylor expansion of J in l 15.396 * [taylor]: Taking taylor expansion of (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) in J 15.396 * [taylor]: Taking taylor expansion of -1 in J 15.396 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J) in J 15.396 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in J 15.396 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in J 15.396 * [taylor]: Taking taylor expansion of (/ -1 l) in J 15.396 * [taylor]: Taking taylor expansion of -1 in J 15.396 * [taylor]: Taking taylor expansion of l in J 15.396 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J 15.396 * [taylor]: Taking taylor expansion of (/ 1 l) in J 15.396 * [taylor]: Taking taylor expansion of l in J 15.396 * [taylor]: Taking taylor expansion of J in J 15.396 * [taylor]: Taking taylor expansion of (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) in J 15.396 * [taylor]: Taking taylor expansion of -1 in J 15.396 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J) in J 15.396 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in J 15.396 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in J 15.396 * [taylor]: Taking taylor expansion of (/ -1 l) in J 15.396 * [taylor]: Taking taylor expansion of -1 in J 15.396 * [taylor]: Taking taylor expansion of l in J 15.396 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J 15.396 * [taylor]: Taking taylor expansion of (/ 1 l) in J 15.397 * [taylor]: Taking taylor expansion of l in J 15.397 * [taylor]: Taking taylor expansion of J in J 15.397 * [taylor]: Taking taylor expansion of (* -1 (- (exp (/ -1 l)) (exp (/ 1 l)))) in l 15.397 * [taylor]: Taking taylor expansion of -1 in l 15.397 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l 15.397 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l 15.397 * [taylor]: Taking taylor expansion of (/ -1 l) in l 15.397 * [taylor]: Taking taylor expansion of -1 in l 15.397 * [taylor]: Taking taylor expansion of l in l 15.397 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l 15.397 * [taylor]: Taking taylor expansion of (/ 1 l) in l 15.397 * [taylor]: Taking taylor expansion of l in l 15.398 * [taylor]: Taking taylor expansion of 0 in l 15.398 * [taylor]: Taking taylor expansion of 0 in l 15.399 * [taylor]: Taking taylor expansion of 0 in l 15.400 * * * [progress]: simplifying candidates 15.401 * [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)))) 15.404 * * [simplify]: iteration 0 : 115 enodes (cost 899 ) 15.429 * * [simplify]: iteration 1 : 266 enodes (cost 874 ) 15.497 * * [simplify]: iteration 2 : 765 enodes (cost 742 ) 16.068 * * [simplify]: iteration 3 : 2743 enodes (cost 735 ) 17.489 * * [simplify]: iteration done : 5000 enodes (cost 735 ) 17.490 * [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))))) (* (cos (/ K 2.0)) (* (- (exp (+ l l)) (exp (* l -2))) J)) (* (- (exp l) (exp (neg l))) J) (log (* J (- (exp l) (exp (neg l))))) (log (* J (- (exp l) (exp (neg l))))) (exp (* J (- (exp l) (exp (neg l))))) (pow (* (- (exp l) (exp (neg l))) J) 3) (* (cbrt (* J (- (exp l) (exp (neg l))))) (cbrt (* J (- (exp l) (exp (neg l)))))) (cbrt (* J (- (exp l) (exp (neg l))))) (pow (* (- (exp l) (exp (neg l))) J) 3) (sqrt (* J (- (exp l) (exp (neg l))))) (sqrt (* J (- (exp l) (exp (neg l))))) (* (sqrt J) (sqrt (- (exp l) (exp (neg l))))) (* (sqrt J) (sqrt (- (exp l) (exp (neg l))))) (* J (exp l)) (neg (/ J (exp l))) (* J (exp l)) (neg (/ J (exp l))) (* J (exp l)) (neg (/ J (exp l))) (* J (exp l)) (neg (/ J (exp l))) (* J (* (cbrt (- (exp l) (exp (neg l)))) (cbrt (- (exp l) (exp (neg l)))))) (* J (sqrt (- (exp l) (exp (neg l))))) J (* J (+ (sqrt (exp l)) (sqrt (exp (neg l))))) J (* (cbrt J) (- (exp l) (exp (neg l)))) (* (sqrt J) (- (exp l) (exp (neg l)))) (* (- (exp l) (exp (neg l))) J) (* J (- (pow (exp l) 3) (exp (* l -3)))) (* (- (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) 17.490 * * * [progress]: adding candidates to table 17.588 * * [progress]: iteration 2 / 4 17.588 * * * [progress]: picking best candidate 17.605 * * * * [pick]: Picked # 17.605 * * * [progress]: localizing error 17.615 * * * [progress]: generating rewritten candidates 17.615 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 17.623 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1 1) 17.629 * * * [progress]: generating series expansions 17.629 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 17.629 * [approximate]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in (J l K) around 0 17.629 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in K 17.629 * [taylor]: Taking taylor expansion of 2 in K 17.629 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in K 17.629 * [taylor]: Taking taylor expansion of J in K 17.629 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 17.629 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 17.629 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 17.629 * [taylor]: Taking taylor expansion of 0.5 in K 17.629 * [taylor]: Taking taylor expansion of K in K 17.629 * [taylor]: Taking taylor expansion of l in K 17.629 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in l 17.629 * [taylor]: Taking taylor expansion of 2 in l 17.629 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in l 17.629 * [taylor]: Taking taylor expansion of J in l 17.629 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l 17.629 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 17.629 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 17.630 * [taylor]: Taking taylor expansion of 0.5 in l 17.630 * [taylor]: Taking taylor expansion of K in l 17.630 * [taylor]: Taking taylor expansion of l in l 17.630 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in J 17.630 * [taylor]: Taking taylor expansion of 2 in J 17.630 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 17.630 * [taylor]: Taking taylor expansion of J in J 17.630 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 17.630 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 17.630 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 17.630 * [taylor]: Taking taylor expansion of 0.5 in J 17.630 * [taylor]: Taking taylor expansion of K in J 17.630 * [taylor]: Taking taylor expansion of l in J 17.630 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in J 17.630 * [taylor]: Taking taylor expansion of 2 in J 17.630 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 17.630 * [taylor]: Taking taylor expansion of J in J 17.630 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 17.630 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 17.630 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 17.630 * [taylor]: Taking taylor expansion of 0.5 in J 17.630 * [taylor]: Taking taylor expansion of K in J 17.630 * [taylor]: Taking taylor expansion of l in J 17.630 * [taylor]: Taking taylor expansion of 0 in l 17.630 * [taylor]: Taking taylor expansion of 0 in K 17.631 * [taylor]: Taking taylor expansion of (* 2 (* (cos (* 0.5 K)) l)) in l 17.631 * [taylor]: Taking taylor expansion of 2 in l 17.631 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l 17.631 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 17.631 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 17.631 * [taylor]: Taking taylor expansion of 0.5 in l 17.631 * [taylor]: Taking taylor expansion of K in l 17.631 * [taylor]: Taking taylor expansion of l in l 17.631 * [taylor]: Taking taylor expansion of 0 in K 17.631 * [taylor]: Taking taylor expansion of 0 in K 17.632 * [taylor]: Taking taylor expansion of 0 in l 17.632 * [taylor]: Taking taylor expansion of 0 in K 17.632 * [taylor]: Taking taylor expansion of (* 2 (cos (* 0.5 K))) in K 17.632 * [taylor]: Taking taylor expansion of 2 in K 17.632 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 17.632 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 17.632 * [taylor]: Taking taylor expansion of 0.5 in K 17.632 * [taylor]: Taking taylor expansion of K in K 17.632 * [taylor]: Taking taylor expansion of 0 in K 17.633 * [taylor]: Taking taylor expansion of 0 in l 17.633 * [taylor]: Taking taylor expansion of 0 in K 17.633 * [taylor]: Taking taylor expansion of 0 in K 17.633 * [approximate]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in (J l K) around 0 17.633 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in K 17.633 * [taylor]: Taking taylor expansion of 2 in K 17.633 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in K 17.633 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 17.633 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 17.633 * [taylor]: Taking taylor expansion of 0.5 in K 17.633 * [taylor]: Taking taylor expansion of K in K 17.633 * [taylor]: Taking taylor expansion of (* J l) in K 17.633 * [taylor]: Taking taylor expansion of J in K 17.633 * [taylor]: Taking taylor expansion of l in K 17.633 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in l 17.633 * [taylor]: Taking taylor expansion of 2 in l 17.633 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in l 17.633 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 17.633 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 17.633 * [taylor]: Taking taylor expansion of 0.5 in l 17.633 * [taylor]: Taking taylor expansion of K in l 17.634 * [taylor]: Taking taylor expansion of (* J l) in l 17.634 * [taylor]: Taking taylor expansion of J in l 17.634 * [taylor]: Taking taylor expansion of l in l 17.634 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in J 17.634 * [taylor]: Taking taylor expansion of 2 in J 17.634 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 17.634 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 17.634 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 17.634 * [taylor]: Taking taylor expansion of 0.5 in J 17.634 * [taylor]: Taking taylor expansion of K in J 17.634 * [taylor]: Taking taylor expansion of (* J l) in J 17.634 * [taylor]: Taking taylor expansion of J in J 17.634 * [taylor]: Taking taylor expansion of l in J 17.634 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in J 17.634 * [taylor]: Taking taylor expansion of 2 in J 17.634 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 17.634 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 17.634 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 17.634 * [taylor]: Taking taylor expansion of 0.5 in J 17.634 * [taylor]: Taking taylor expansion of K in J 17.634 * [taylor]: Taking taylor expansion of (* J l) in J 17.634 * [taylor]: Taking taylor expansion of J in J 17.634 * [taylor]: Taking taylor expansion of l in J 17.635 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) l)) in l 17.635 * [taylor]: Taking taylor expansion of 2 in l 17.635 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in l 17.635 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 17.635 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 17.635 * [taylor]: Taking taylor expansion of 0.5 in l 17.635 * [taylor]: Taking taylor expansion of K in l 17.635 * [taylor]: Taking taylor expansion of l in l 17.635 * [taylor]: Taking taylor expansion of (* 2 (cos (/ 0.5 K))) in K 17.635 * [taylor]: Taking taylor expansion of 2 in K 17.635 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 17.635 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 17.635 * [taylor]: Taking taylor expansion of 0.5 in K 17.635 * [taylor]: Taking taylor expansion of K in K 17.636 * [taylor]: Taking taylor expansion of 0 in l 17.636 * [taylor]: Taking taylor expansion of 0 in K 17.637 * [taylor]: Taking taylor expansion of 0 in l 17.637 * [taylor]: Taking taylor expansion of 0 in K 17.637 * [taylor]: Taking taylor expansion of 0 in K 17.637 * [approximate]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in (J l K) around 0 17.637 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in K 17.638 * [taylor]: Taking taylor expansion of 2 in K 17.638 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in K 17.638 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 17.638 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 17.638 * [taylor]: Taking taylor expansion of -0.5 in K 17.638 * [taylor]: Taking taylor expansion of K in K 17.638 * [taylor]: Taking taylor expansion of (* J l) in K 17.638 * [taylor]: Taking taylor expansion of J in K 17.638 * [taylor]: Taking taylor expansion of l in K 17.638 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in l 17.638 * [taylor]: Taking taylor expansion of 2 in l 17.638 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in l 17.638 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 17.638 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 17.638 * [taylor]: Taking taylor expansion of -0.5 in l 17.638 * [taylor]: Taking taylor expansion of K in l 17.638 * [taylor]: Taking taylor expansion of (* J l) in l 17.638 * [taylor]: Taking taylor expansion of J in l 17.638 * [taylor]: Taking taylor expansion of l in l 17.638 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in J 17.638 * [taylor]: Taking taylor expansion of 2 in J 17.638 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 17.638 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 17.638 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 17.638 * [taylor]: Taking taylor expansion of -0.5 in J 17.638 * [taylor]: Taking taylor expansion of K in J 17.638 * [taylor]: Taking taylor expansion of (* J l) in J 17.638 * [taylor]: Taking taylor expansion of J in J 17.638 * [taylor]: Taking taylor expansion of l in J 17.639 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in J 17.639 * [taylor]: Taking taylor expansion of 2 in J 17.639 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 17.639 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 17.639 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 17.639 * [taylor]: Taking taylor expansion of -0.5 in J 17.639 * [taylor]: Taking taylor expansion of K in J 17.639 * [taylor]: Taking taylor expansion of (* J l) in J 17.639 * [taylor]: Taking taylor expansion of J in J 17.639 * [taylor]: Taking taylor expansion of l in J 17.639 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) l)) in l 17.639 * [taylor]: Taking taylor expansion of 2 in l 17.639 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in l 17.639 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 17.639 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 17.639 * [taylor]: Taking taylor expansion of -0.5 in l 17.639 * [taylor]: Taking taylor expansion of K in l 17.639 * [taylor]: Taking taylor expansion of l in l 17.639 * [taylor]: Taking taylor expansion of (* 2 (cos (/ -0.5 K))) in K 17.639 * [taylor]: Taking taylor expansion of 2 in K 17.640 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 17.640 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 17.640 * [taylor]: Taking taylor expansion of -0.5 in K 17.640 * [taylor]: Taking taylor expansion of K in K 17.640 * [taylor]: Taking taylor expansion of 0 in l 17.640 * [taylor]: Taking taylor expansion of 0 in K 17.641 * [taylor]: Taking taylor expansion of 0 in l 17.641 * [taylor]: Taking taylor expansion of 0 in K 17.642 * [taylor]: Taking taylor expansion of 0 in K 17.642 * * * * [progress]: [ 2 / 2 ] generating series at (2 1 1) 17.642 * [approximate]: Taking taylor expansion of (* 2 (* J l)) in (J l) around 0 17.642 * [taylor]: Taking taylor expansion of (* 2 (* J l)) in l 17.642 * [taylor]: Taking taylor expansion of 2 in l 17.642 * [taylor]: Taking taylor expansion of (* J l) in l 17.642 * [taylor]: Taking taylor expansion of J in l 17.642 * [taylor]: Taking taylor expansion of l in l 17.642 * [taylor]: Taking taylor expansion of (* 2 (* J l)) in J 17.642 * [taylor]: Taking taylor expansion of 2 in J 17.642 * [taylor]: Taking taylor expansion of (* J l) in J 17.642 * [taylor]: Taking taylor expansion of J in J 17.642 * [taylor]: Taking taylor expansion of l in J 17.642 * [taylor]: Taking taylor expansion of (* 2 (* J l)) in J 17.642 * [taylor]: Taking taylor expansion of 2 in J 17.642 * [taylor]: Taking taylor expansion of (* J l) in J 17.642 * [taylor]: Taking taylor expansion of J in J 17.642 * [taylor]: Taking taylor expansion of l in J 17.642 * [taylor]: Taking taylor expansion of 0 in l 17.642 * [taylor]: Taking taylor expansion of (* 2 l) in l 17.642 * [taylor]: Taking taylor expansion of 2 in l 17.642 * [taylor]: Taking taylor expansion of l in l 17.642 * [taylor]: Taking taylor expansion of 0 in l 17.643 * [taylor]: Taking taylor expansion of 0 in l 17.643 * [taylor]: Taking taylor expansion of 0 in l 17.643 * [approximate]: Taking taylor expansion of (/ 2 (* J l)) in (J l) around 0 17.643 * [taylor]: Taking taylor expansion of (/ 2 (* J l)) in l 17.643 * [taylor]: Taking taylor expansion of 2 in l 17.643 * [taylor]: Taking taylor expansion of (* J l) in l 17.643 * [taylor]: Taking taylor expansion of J in l 17.643 * [taylor]: Taking taylor expansion of l in l 17.643 * [taylor]: Taking taylor expansion of (/ 2 (* J l)) in J 17.643 * [taylor]: Taking taylor expansion of 2 in J 17.643 * [taylor]: Taking taylor expansion of (* J l) in J 17.643 * [taylor]: Taking taylor expansion of J in J 17.643 * [taylor]: Taking taylor expansion of l in J 17.643 * [taylor]: Taking taylor expansion of (/ 2 (* J l)) in J 17.643 * [taylor]: Taking taylor expansion of 2 in J 17.643 * [taylor]: Taking taylor expansion of (* J l) in J 17.643 * [taylor]: Taking taylor expansion of J in J 17.643 * [taylor]: Taking taylor expansion of l in J 17.643 * [taylor]: Taking taylor expansion of (/ 2 l) in l 17.643 * [taylor]: Taking taylor expansion of 2 in l 17.643 * [taylor]: Taking taylor expansion of l in l 17.643 * [taylor]: Taking taylor expansion of 0 in l 17.644 * [taylor]: Taking taylor expansion of 0 in l 17.644 * [taylor]: Taking taylor expansion of 0 in l 17.644 * [approximate]: Taking taylor expansion of (/ 2 (* J l)) in (J l) around 0 17.644 * [taylor]: Taking taylor expansion of (/ 2 (* J l)) in l 17.644 * [taylor]: Taking taylor expansion of 2 in l 17.644 * [taylor]: Taking taylor expansion of (* J l) in l 17.644 * [taylor]: Taking taylor expansion of J in l 17.644 * [taylor]: Taking taylor expansion of l in l 17.644 * [taylor]: Taking taylor expansion of (/ 2 (* J l)) in J 17.644 * [taylor]: Taking taylor expansion of 2 in J 17.644 * [taylor]: Taking taylor expansion of (* J l) in J 17.644 * [taylor]: Taking taylor expansion of J in J 17.644 * [taylor]: Taking taylor expansion of l in J 17.644 * [taylor]: Taking taylor expansion of (/ 2 (* J l)) in J 17.644 * [taylor]: Taking taylor expansion of 2 in J 17.644 * [taylor]: Taking taylor expansion of (* J l) in J 17.644 * [taylor]: Taking taylor expansion of J in J 17.644 * [taylor]: Taking taylor expansion of l in J 17.645 * [taylor]: Taking taylor expansion of (/ 2 l) in l 17.645 * [taylor]: Taking taylor expansion of 2 in l 17.645 * [taylor]: Taking taylor expansion of l in l 17.645 * [taylor]: Taking taylor expansion of 0 in l 17.645 * [taylor]: Taking taylor expansion of 0 in l 17.645 * [taylor]: Taking taylor expansion of 0 in l 17.645 * * * [progress]: simplifying candidates 17.646 * [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)) 17.648 * * [simplify]: iteration 0 : 70 enodes (cost 497 ) 17.659 * * [simplify]: iteration 1 : 179 enodes (cost 472 ) 17.733 * * [simplify]: iteration 2 : 695 enodes (cost 376 ) 19.420 * * [simplify]: iteration 3 : 3744 enodes (cost 376 ) 20.724 * * [simplify]: iteration done : 5000 enodes (cost 376 ) 20.725 * [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))) (* 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)) 20.725 * * * [progress]: adding candidates to table 20.778 * * [progress]: iteration 3 / 4 20.778 * * * [progress]: picking best candidate 20.812 * * * * [pick]: Picked # 20.812 * * * [progress]: localizing error 20.822 * * * [progress]: generating rewritten candidates 20.822 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2 2) 20.831 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2) 20.836 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 20.846 * * * [progress]: generating series expansions 20.847 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2 2) 20.847 * [approximate]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in (K l) around 0 20.847 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l 20.847 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 20.847 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 20.847 * [taylor]: Taking taylor expansion of 0.5 in l 20.847 * [taylor]: Taking taylor expansion of K in l 20.847 * [taylor]: Taking taylor expansion of l in l 20.847 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 20.847 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 20.847 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 20.847 * [taylor]: Taking taylor expansion of 0.5 in K 20.847 * [taylor]: Taking taylor expansion of K in K 20.847 * [taylor]: Taking taylor expansion of l in K 20.847 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 20.847 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 20.847 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 20.847 * [taylor]: Taking taylor expansion of 0.5 in K 20.847 * [taylor]: Taking taylor expansion of K in K 20.847 * [taylor]: Taking taylor expansion of l in K 20.847 * [taylor]: Taking taylor expansion of l in l 20.847 * [taylor]: Taking taylor expansion of 0 in l 20.847 * [taylor]: Taking taylor expansion of (neg (* 0.125 l)) in l 20.847 * [taylor]: Taking taylor expansion of (* 0.125 l) in l 20.847 * [taylor]: Taking taylor expansion of 0.125 in l 20.848 * [taylor]: Taking taylor expansion of l in l 20.848 * [taylor]: Taking taylor expansion of 0 in l 20.848 * [taylor]: Taking taylor expansion of (* 0.0026041666666666665 l) in l 20.848 * [taylor]: Taking taylor expansion of 0.0026041666666666665 in l 20.848 * [taylor]: Taking taylor expansion of l in l 20.849 * [approximate]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in (K l) around 0 20.849 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in l 20.849 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 20.849 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 20.849 * [taylor]: Taking taylor expansion of 0.5 in l 20.849 * [taylor]: Taking taylor expansion of K in l 20.849 * [taylor]: Taking taylor expansion of l in l 20.849 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in K 20.849 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 20.849 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 20.849 * [taylor]: Taking taylor expansion of 0.5 in K 20.849 * [taylor]: Taking taylor expansion of K in K 20.849 * [taylor]: Taking taylor expansion of l in K 20.849 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in K 20.849 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 20.849 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 20.849 * [taylor]: Taking taylor expansion of 0.5 in K 20.849 * [taylor]: Taking taylor expansion of K in K 20.849 * [taylor]: Taking taylor expansion of l in K 20.849 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in l 20.849 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 20.849 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 20.849 * [taylor]: Taking taylor expansion of 0.5 in l 20.849 * [taylor]: Taking taylor expansion of K in l 20.849 * [taylor]: Taking taylor expansion of l in l 20.850 * [taylor]: Taking taylor expansion of 0 in l 20.850 * [taylor]: Taking taylor expansion of 0 in l 20.851 * [taylor]: Taking taylor expansion of 0 in l 20.851 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) l)) in (K l) around 0 20.851 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) l)) in l 20.851 * [taylor]: Taking taylor expansion of -1 in l 20.851 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in l 20.851 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 20.852 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 20.852 * [taylor]: Taking taylor expansion of -0.5 in l 20.852 * [taylor]: Taking taylor expansion of K in l 20.852 * [taylor]: Taking taylor expansion of l in l 20.852 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) l)) in K 20.852 * [taylor]: Taking taylor expansion of -1 in K 20.852 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in K 20.852 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 20.852 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 20.852 * [taylor]: Taking taylor expansion of -0.5 in K 20.852 * [taylor]: Taking taylor expansion of K in K 20.852 * [taylor]: Taking taylor expansion of l in K 20.852 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) l)) in K 20.852 * [taylor]: Taking taylor expansion of -1 in K 20.852 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in K 20.852 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 20.852 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 20.852 * [taylor]: Taking taylor expansion of -0.5 in K 20.852 * [taylor]: Taking taylor expansion of K in K 20.852 * [taylor]: Taking taylor expansion of l in K 20.852 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) l)) in l 20.852 * [taylor]: Taking taylor expansion of -1 in l 20.852 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in l 20.852 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 20.852 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 20.852 * [taylor]: Taking taylor expansion of -0.5 in l 20.852 * [taylor]: Taking taylor expansion of K in l 20.853 * [taylor]: Taking taylor expansion of l in l 20.853 * [taylor]: Taking taylor expansion of 0 in l 20.853 * [taylor]: Taking taylor expansion of 0 in l 20.854 * [taylor]: Taking taylor expansion of 0 in l 20.855 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2) 20.855 * [approximate]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in (J K l) around 0 20.855 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in l 20.855 * [taylor]: Taking taylor expansion of J in l 20.855 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l 20.855 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 20.855 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 20.855 * [taylor]: Taking taylor expansion of 0.5 in l 20.855 * [taylor]: Taking taylor expansion of K in l 20.855 * [taylor]: Taking taylor expansion of l in l 20.855 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in K 20.855 * [taylor]: Taking taylor expansion of J in K 20.855 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 20.855 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 20.855 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 20.855 * [taylor]: Taking taylor expansion of 0.5 in K 20.855 * [taylor]: Taking taylor expansion of K in K 20.855 * [taylor]: Taking taylor expansion of l in K 20.855 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 20.855 * [taylor]: Taking taylor expansion of J in J 20.855 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 20.856 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 20.856 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 20.856 * [taylor]: Taking taylor expansion of 0.5 in J 20.856 * [taylor]: Taking taylor expansion of K in J 20.856 * [taylor]: Taking taylor expansion of l in J 20.856 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 20.856 * [taylor]: Taking taylor expansion of J in J 20.856 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 20.856 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 20.856 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 20.856 * [taylor]: Taking taylor expansion of 0.5 in J 20.856 * [taylor]: Taking taylor expansion of K in J 20.856 * [taylor]: Taking taylor expansion of l in J 20.856 * [taylor]: Taking taylor expansion of 0 in K 20.856 * [taylor]: Taking taylor expansion of 0 in l 20.856 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 20.856 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 20.856 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 20.857 * [taylor]: Taking taylor expansion of 0.5 in K 20.857 * [taylor]: Taking taylor expansion of K in K 20.857 * [taylor]: Taking taylor expansion of l in K 20.857 * [taylor]: Taking taylor expansion of l in l 20.857 * [taylor]: Taking taylor expansion of 0 in l 20.857 * [taylor]: Taking taylor expansion of 0 in K 20.857 * [taylor]: Taking taylor expansion of 0 in l 20.857 * [taylor]: Taking taylor expansion of 0 in l 20.857 * [approximate]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in (J K l) around 0 20.857 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in l 20.857 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 20.857 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 20.857 * [taylor]: Taking taylor expansion of 0.5 in l 20.858 * [taylor]: Taking taylor expansion of K in l 20.858 * [taylor]: Taking taylor expansion of (* J l) in l 20.858 * [taylor]: Taking taylor expansion of J in l 20.858 * [taylor]: Taking taylor expansion of l in l 20.858 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in K 20.858 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 20.858 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 20.858 * [taylor]: Taking taylor expansion of 0.5 in K 20.858 * [taylor]: Taking taylor expansion of K in K 20.858 * [taylor]: Taking taylor expansion of (* J l) in K 20.858 * [taylor]: Taking taylor expansion of J in K 20.858 * [taylor]: Taking taylor expansion of l in K 20.858 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 20.858 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 20.858 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 20.858 * [taylor]: Taking taylor expansion of 0.5 in J 20.858 * [taylor]: Taking taylor expansion of K in J 20.858 * [taylor]: Taking taylor expansion of (* J l) in J 20.858 * [taylor]: Taking taylor expansion of J in J 20.858 * [taylor]: Taking taylor expansion of l in J 20.859 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 20.859 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 20.859 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 20.859 * [taylor]: Taking taylor expansion of 0.5 in J 20.859 * [taylor]: Taking taylor expansion of K in J 20.859 * [taylor]: Taking taylor expansion of (* J l) in J 20.859 * [taylor]: Taking taylor expansion of J in J 20.859 * [taylor]: Taking taylor expansion of l in J 20.859 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in K 20.859 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 20.859 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 20.859 * [taylor]: Taking taylor expansion of 0.5 in K 20.859 * [taylor]: Taking taylor expansion of K in K 20.859 * [taylor]: Taking taylor expansion of l in K 20.859 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in l 20.859 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 20.859 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 20.859 * [taylor]: Taking taylor expansion of 0.5 in l 20.859 * [taylor]: Taking taylor expansion of K in l 20.859 * [taylor]: Taking taylor expansion of l in l 20.860 * [taylor]: Taking taylor expansion of 0 in K 20.860 * [taylor]: Taking taylor expansion of 0 in l 20.860 * [taylor]: Taking taylor expansion of 0 in l 20.861 * [taylor]: Taking taylor expansion of 0 in K 20.861 * [taylor]: Taking taylor expansion of 0 in l 20.861 * [taylor]: Taking taylor expansion of 0 in l 20.861 * [taylor]: Taking taylor expansion of 0 in l 20.862 * [taylor]: Taking taylor expansion of 0 in K 20.862 * [taylor]: Taking taylor expansion of 0 in l 20.862 * [taylor]: Taking taylor expansion of 0 in l 20.862 * [taylor]: Taking taylor expansion of 0 in l 20.863 * [taylor]: Taking taylor expansion of 0 in l 20.863 * [approximate]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in (J K l) around 0 20.863 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in l 20.863 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 20.863 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 20.863 * [taylor]: Taking taylor expansion of -0.5 in l 20.863 * [taylor]: Taking taylor expansion of K in l 20.863 * [taylor]: Taking taylor expansion of (* J l) in l 20.863 * [taylor]: Taking taylor expansion of J in l 20.863 * [taylor]: Taking taylor expansion of l in l 20.863 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in K 20.863 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 20.863 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 20.863 * [taylor]: Taking taylor expansion of -0.5 in K 20.863 * [taylor]: Taking taylor expansion of K in K 20.863 * [taylor]: Taking taylor expansion of (* J l) in K 20.863 * [taylor]: Taking taylor expansion of J in K 20.863 * [taylor]: Taking taylor expansion of l in K 20.864 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 20.864 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 20.864 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 20.864 * [taylor]: Taking taylor expansion of -0.5 in J 20.864 * [taylor]: Taking taylor expansion of K in J 20.864 * [taylor]: Taking taylor expansion of (* J l) in J 20.864 * [taylor]: Taking taylor expansion of J in J 20.864 * [taylor]: Taking taylor expansion of l in J 20.864 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 20.864 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 20.864 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 20.864 * [taylor]: Taking taylor expansion of -0.5 in J 20.864 * [taylor]: Taking taylor expansion of K in J 20.864 * [taylor]: Taking taylor expansion of (* J l) in J 20.864 * [taylor]: Taking taylor expansion of J in J 20.864 * [taylor]: Taking taylor expansion of l in J 20.864 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in K 20.864 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 20.864 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 20.864 * [taylor]: Taking taylor expansion of -0.5 in K 20.864 * [taylor]: Taking taylor expansion of K in K 20.865 * [taylor]: Taking taylor expansion of l in K 20.865 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in l 20.865 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 20.865 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 20.865 * [taylor]: Taking taylor expansion of -0.5 in l 20.865 * [taylor]: Taking taylor expansion of K in l 20.865 * [taylor]: Taking taylor expansion of l in l 20.865 * [taylor]: Taking taylor expansion of 0 in K 20.865 * [taylor]: Taking taylor expansion of 0 in l 20.866 * [taylor]: Taking taylor expansion of 0 in l 20.866 * [taylor]: Taking taylor expansion of 0 in K 20.866 * [taylor]: Taking taylor expansion of 0 in l 20.867 * [taylor]: Taking taylor expansion of 0 in l 20.867 * [taylor]: Taking taylor expansion of 0 in l 20.868 * [taylor]: Taking taylor expansion of 0 in K 20.868 * [taylor]: Taking taylor expansion of 0 in l 20.868 * [taylor]: Taking taylor expansion of 0 in l 20.868 * [taylor]: Taking taylor expansion of 0 in l 20.868 * [taylor]: Taking taylor expansion of 0 in l 20.868 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 20.868 * [approximate]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in (J K l) around 0 20.868 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in l 20.868 * [taylor]: Taking taylor expansion of 2 in l 20.868 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in l 20.868 * [taylor]: Taking taylor expansion of J in l 20.868 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l 20.868 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 20.868 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 20.868 * [taylor]: Taking taylor expansion of 0.5 in l 20.868 * [taylor]: Taking taylor expansion of K in l 20.868 * [taylor]: Taking taylor expansion of l in l 20.868 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in K 20.869 * [taylor]: Taking taylor expansion of 2 in K 20.869 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in K 20.869 * [taylor]: Taking taylor expansion of J in K 20.869 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 20.869 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 20.869 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 20.869 * [taylor]: Taking taylor expansion of 0.5 in K 20.869 * [taylor]: Taking taylor expansion of K in K 20.869 * [taylor]: Taking taylor expansion of l in K 20.869 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in J 20.869 * [taylor]: Taking taylor expansion of 2 in J 20.869 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 20.869 * [taylor]: Taking taylor expansion of J in J 20.869 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 20.869 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 20.869 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 20.869 * [taylor]: Taking taylor expansion of 0.5 in J 20.869 * [taylor]: Taking taylor expansion of K in J 20.869 * [taylor]: Taking taylor expansion of l in J 20.869 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in J 20.869 * [taylor]: Taking taylor expansion of 2 in J 20.869 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 20.869 * [taylor]: Taking taylor expansion of J in J 20.869 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 20.869 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 20.869 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 20.869 * [taylor]: Taking taylor expansion of 0.5 in J 20.869 * [taylor]: Taking taylor expansion of K in J 20.869 * [taylor]: Taking taylor expansion of l in J 20.869 * [taylor]: Taking taylor expansion of 0 in K 20.869 * [taylor]: Taking taylor expansion of 0 in l 20.870 * [taylor]: Taking taylor expansion of (* 2 (* (cos (* 0.5 K)) l)) in K 20.870 * [taylor]: Taking taylor expansion of 2 in K 20.870 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 20.870 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 20.870 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 20.870 * [taylor]: Taking taylor expansion of 0.5 in K 20.870 * [taylor]: Taking taylor expansion of K in K 20.870 * [taylor]: Taking taylor expansion of l in K 20.870 * [taylor]: Taking taylor expansion of (* 2 l) in l 20.870 * [taylor]: Taking taylor expansion of 2 in l 20.870 * [taylor]: Taking taylor expansion of l in l 20.870 * [taylor]: Taking taylor expansion of 0 in l 20.871 * [taylor]: Taking taylor expansion of 0 in K 20.871 * [taylor]: Taking taylor expansion of 0 in l 20.871 * [taylor]: Taking taylor expansion of 0 in l 20.871 * [approximate]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in (J K l) around 0 20.871 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in l 20.871 * [taylor]: Taking taylor expansion of 2 in l 20.871 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in l 20.871 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 20.871 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 20.871 * [taylor]: Taking taylor expansion of 0.5 in l 20.871 * [taylor]: Taking taylor expansion of K in l 20.871 * [taylor]: Taking taylor expansion of (* J l) in l 20.871 * [taylor]: Taking taylor expansion of J in l 20.871 * [taylor]: Taking taylor expansion of l in l 20.871 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in K 20.871 * [taylor]: Taking taylor expansion of 2 in K 20.871 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in K 20.871 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 20.871 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 20.871 * [taylor]: Taking taylor expansion of 0.5 in K 20.871 * [taylor]: Taking taylor expansion of K in K 20.871 * [taylor]: Taking taylor expansion of (* J l) in K 20.871 * [taylor]: Taking taylor expansion of J in K 20.871 * [taylor]: Taking taylor expansion of l in K 20.872 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in J 20.872 * [taylor]: Taking taylor expansion of 2 in J 20.872 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 20.872 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 20.872 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 20.872 * [taylor]: Taking taylor expansion of 0.5 in J 20.872 * [taylor]: Taking taylor expansion of K in J 20.872 * [taylor]: Taking taylor expansion of (* J l) in J 20.872 * [taylor]: Taking taylor expansion of J in J 20.872 * [taylor]: Taking taylor expansion of l in J 20.872 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in J 20.872 * [taylor]: Taking taylor expansion of 2 in J 20.872 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 20.872 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 20.872 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 20.872 * [taylor]: Taking taylor expansion of 0.5 in J 20.872 * [taylor]: Taking taylor expansion of K in J 20.872 * [taylor]: Taking taylor expansion of (* J l) in J 20.872 * [taylor]: Taking taylor expansion of J in J 20.872 * [taylor]: Taking taylor expansion of l in J 20.872 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) l)) in K 20.872 * [taylor]: Taking taylor expansion of 2 in K 20.873 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in K 20.873 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 20.873 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 20.873 * [taylor]: Taking taylor expansion of 0.5 in K 20.873 * [taylor]: Taking taylor expansion of K in K 20.873 * [taylor]: Taking taylor expansion of l in K 20.873 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) l)) in l 20.873 * [taylor]: Taking taylor expansion of 2 in l 20.873 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in l 20.873 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 20.873 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 20.873 * [taylor]: Taking taylor expansion of 0.5 in l 20.873 * [taylor]: Taking taylor expansion of K in l 20.873 * [taylor]: Taking taylor expansion of l in l 20.874 * [taylor]: Taking taylor expansion of 0 in K 20.874 * [taylor]: Taking taylor expansion of 0 in l 20.874 * [taylor]: Taking taylor expansion of 0 in l 20.875 * [taylor]: Taking taylor expansion of 0 in K 20.875 * [taylor]: Taking taylor expansion of 0 in l 20.875 * [taylor]: Taking taylor expansion of 0 in l 20.875 * [taylor]: Taking taylor expansion of 0 in l 20.876 * [taylor]: Taking taylor expansion of 0 in K 20.876 * [taylor]: Taking taylor expansion of 0 in l 20.876 * [taylor]: Taking taylor expansion of 0 in l 20.876 * [taylor]: Taking taylor expansion of 0 in l 20.876 * [taylor]: Taking taylor expansion of 0 in l 20.877 * [approximate]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in (J K l) around 0 20.877 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in l 20.877 * [taylor]: Taking taylor expansion of 2 in l 20.877 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in l 20.877 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 20.877 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 20.877 * [taylor]: Taking taylor expansion of -0.5 in l 20.877 * [taylor]: Taking taylor expansion of K in l 20.877 * [taylor]: Taking taylor expansion of (* J l) in l 20.877 * [taylor]: Taking taylor expansion of J in l 20.877 * [taylor]: Taking taylor expansion of l in l 20.877 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in K 20.877 * [taylor]: Taking taylor expansion of 2 in K 20.877 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in K 20.877 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 20.877 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 20.877 * [taylor]: Taking taylor expansion of -0.5 in K 20.877 * [taylor]: Taking taylor expansion of K in K 20.877 * [taylor]: Taking taylor expansion of (* J l) in K 20.877 * [taylor]: Taking taylor expansion of J in K 20.877 * [taylor]: Taking taylor expansion of l in K 20.877 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in J 20.877 * [taylor]: Taking taylor expansion of 2 in J 20.877 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 20.877 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 20.877 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 20.877 * [taylor]: Taking taylor expansion of -0.5 in J 20.877 * [taylor]: Taking taylor expansion of K in J 20.878 * [taylor]: Taking taylor expansion of (* J l) in J 20.878 * [taylor]: Taking taylor expansion of J in J 20.878 * [taylor]: Taking taylor expansion of l in J 20.878 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in J 20.878 * [taylor]: Taking taylor expansion of 2 in J 20.878 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 20.878 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 20.878 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 20.878 * [taylor]: Taking taylor expansion of -0.5 in J 20.878 * [taylor]: Taking taylor expansion of K in J 20.878 * [taylor]: Taking taylor expansion of (* J l) in J 20.878 * [taylor]: Taking taylor expansion of J in J 20.878 * [taylor]: Taking taylor expansion of l in J 20.878 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) l)) in K 20.878 * [taylor]: Taking taylor expansion of 2 in K 20.878 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in K 20.878 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 20.878 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 20.878 * [taylor]: Taking taylor expansion of -0.5 in K 20.878 * [taylor]: Taking taylor expansion of K in K 20.878 * [taylor]: Taking taylor expansion of l in K 20.878 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) l)) in l 20.879 * [taylor]: Taking taylor expansion of 2 in l 20.879 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in l 20.879 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 20.879 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 20.879 * [taylor]: Taking taylor expansion of -0.5 in l 20.879 * [taylor]: Taking taylor expansion of K in l 20.879 * [taylor]: Taking taylor expansion of l in l 20.879 * [taylor]: Taking taylor expansion of 0 in K 20.879 * [taylor]: Taking taylor expansion of 0 in l 20.879 * [taylor]: Taking taylor expansion of 0 in l 20.880 * [taylor]: Taking taylor expansion of 0 in K 20.880 * [taylor]: Taking taylor expansion of 0 in l 20.880 * [taylor]: Taking taylor expansion of 0 in l 20.881 * [taylor]: Taking taylor expansion of 0 in l 20.882 * [taylor]: Taking taylor expansion of 0 in K 20.882 * [taylor]: Taking taylor expansion of 0 in l 20.882 * [taylor]: Taking taylor expansion of 0 in l 20.882 * [taylor]: Taking taylor expansion of 0 in l 20.882 * [taylor]: Taking taylor expansion of 0 in l 20.882 * * * [progress]: simplifying candidates 20.883 * [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))) 20.886 * * [simplify]: iteration 0 : 83 enodes (cost 743 ) 20.897 * * [simplify]: iteration 1 : 197 enodes (cost 723 ) 20.954 * * [simplify]: iteration 2 : 709 enodes (cost 579 ) 22.126 * * [simplify]: iteration 3 : 3478 enodes (cost 579 ) 23.516 * * [simplify]: iteration done : 5000 enodes (cost 579 ) 23.516 * [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))) 23.517 * * * [progress]: adding candidates to table 23.594 * * [progress]: iteration 4 / 4 23.594 * * * [progress]: picking best candidate 23.629 * * * * [pick]: Picked # 23.630 * * * [progress]: localizing error 23.640 * * * [progress]: generating rewritten candidates 23.640 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2) 23.647 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2 1) 23.652 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 23.661 * * * [progress]: generating series expansions 23.661 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2) 23.661 * [approximate]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in (J K l) around 0 23.661 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in l 23.661 * [taylor]: Taking taylor expansion of J in l 23.661 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l 23.661 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 23.661 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 23.661 * [taylor]: Taking taylor expansion of 0.5 in l 23.661 * [taylor]: Taking taylor expansion of K in l 23.661 * [taylor]: Taking taylor expansion of l in l 23.661 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in K 23.661 * [taylor]: Taking taylor expansion of J in K 23.662 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 23.662 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 23.662 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 23.662 * [taylor]: Taking taylor expansion of 0.5 in K 23.662 * [taylor]: Taking taylor expansion of K in K 23.662 * [taylor]: Taking taylor expansion of l in K 23.662 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 23.662 * [taylor]: Taking taylor expansion of J in J 23.662 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 23.662 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 23.662 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 23.662 * [taylor]: Taking taylor expansion of 0.5 in J 23.662 * [taylor]: Taking taylor expansion of K in J 23.662 * [taylor]: Taking taylor expansion of l in J 23.662 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 23.662 * [taylor]: Taking taylor expansion of J in J 23.662 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 23.662 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 23.662 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 23.662 * [taylor]: Taking taylor expansion of 0.5 in J 23.662 * [taylor]: Taking taylor expansion of K in J 23.662 * [taylor]: Taking taylor expansion of l in J 23.662 * [taylor]: Taking taylor expansion of 0 in K 23.662 * [taylor]: Taking taylor expansion of 0 in l 23.663 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 23.663 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 23.663 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 23.663 * [taylor]: Taking taylor expansion of 0.5 in K 23.663 * [taylor]: Taking taylor expansion of K in K 23.663 * [taylor]: Taking taylor expansion of l in K 23.663 * [taylor]: Taking taylor expansion of l in l 23.663 * [taylor]: Taking taylor expansion of 0 in l 23.663 * [taylor]: Taking taylor expansion of 0 in K 23.663 * [taylor]: Taking taylor expansion of 0 in l 23.663 * [taylor]: Taking taylor expansion of 0 in l 23.663 * [approximate]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in (J K l) around 0 23.663 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in l 23.663 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 23.664 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 23.664 * [taylor]: Taking taylor expansion of 0.5 in l 23.664 * [taylor]: Taking taylor expansion of K in l 23.664 * [taylor]: Taking taylor expansion of (* J l) in l 23.664 * [taylor]: Taking taylor expansion of J in l 23.664 * [taylor]: Taking taylor expansion of l in l 23.664 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in K 23.664 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 23.664 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 23.664 * [taylor]: Taking taylor expansion of 0.5 in K 23.664 * [taylor]: Taking taylor expansion of K in K 23.664 * [taylor]: Taking taylor expansion of (* J l) in K 23.664 * [taylor]: Taking taylor expansion of J in K 23.664 * [taylor]: Taking taylor expansion of l in K 23.664 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 23.664 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 23.664 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 23.664 * [taylor]: Taking taylor expansion of 0.5 in J 23.664 * [taylor]: Taking taylor expansion of K in J 23.664 * [taylor]: Taking taylor expansion of (* J l) in J 23.664 * [taylor]: Taking taylor expansion of J in J 23.664 * [taylor]: Taking taylor expansion of l in J 23.664 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 23.665 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 23.665 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 23.665 * [taylor]: Taking taylor expansion of 0.5 in J 23.665 * [taylor]: Taking taylor expansion of K in J 23.665 * [taylor]: Taking taylor expansion of (* J l) in J 23.665 * [taylor]: Taking taylor expansion of J in J 23.665 * [taylor]: Taking taylor expansion of l in J 23.665 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in K 23.665 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 23.665 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 23.665 * [taylor]: Taking taylor expansion of 0.5 in K 23.665 * [taylor]: Taking taylor expansion of K in K 23.665 * [taylor]: Taking taylor expansion of l in K 23.665 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in l 23.665 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 23.665 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 23.665 * [taylor]: Taking taylor expansion of 0.5 in l 23.665 * [taylor]: Taking taylor expansion of K in l 23.665 * [taylor]: Taking taylor expansion of l in l 23.666 * [taylor]: Taking taylor expansion of 0 in K 23.666 * [taylor]: Taking taylor expansion of 0 in l 23.666 * [taylor]: Taking taylor expansion of 0 in l 23.667 * [taylor]: Taking taylor expansion of 0 in K 23.667 * [taylor]: Taking taylor expansion of 0 in l 23.667 * [taylor]: Taking taylor expansion of 0 in l 23.667 * [taylor]: Taking taylor expansion of 0 in l 23.668 * [taylor]: Taking taylor expansion of 0 in K 23.668 * [taylor]: Taking taylor expansion of 0 in l 23.668 * [taylor]: Taking taylor expansion of 0 in l 23.668 * [taylor]: Taking taylor expansion of 0 in l 23.668 * [taylor]: Taking taylor expansion of 0 in l 23.669 * [approximate]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in (J K l) around 0 23.669 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in l 23.669 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 23.669 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 23.669 * [taylor]: Taking taylor expansion of -0.5 in l 23.669 * [taylor]: Taking taylor expansion of K in l 23.669 * [taylor]: Taking taylor expansion of (* J l) in l 23.669 * [taylor]: Taking taylor expansion of J in l 23.669 * [taylor]: Taking taylor expansion of l in l 23.669 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in K 23.669 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 23.669 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 23.669 * [taylor]: Taking taylor expansion of -0.5 in K 23.669 * [taylor]: Taking taylor expansion of K in K 23.669 * [taylor]: Taking taylor expansion of (* J l) in K 23.669 * [taylor]: Taking taylor expansion of J in K 23.669 * [taylor]: Taking taylor expansion of l in K 23.669 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 23.669 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 23.669 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 23.669 * [taylor]: Taking taylor expansion of -0.5 in J 23.669 * [taylor]: Taking taylor expansion of K in J 23.669 * [taylor]: Taking taylor expansion of (* J l) in J 23.669 * [taylor]: Taking taylor expansion of J in J 23.669 * [taylor]: Taking taylor expansion of l in J 23.670 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 23.670 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 23.670 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 23.670 * [taylor]: Taking taylor expansion of -0.5 in J 23.670 * [taylor]: Taking taylor expansion of K in J 23.670 * [taylor]: Taking taylor expansion of (* J l) in J 23.670 * [taylor]: Taking taylor expansion of J in J 23.670 * [taylor]: Taking taylor expansion of l in J 23.670 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in K 23.670 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 23.670 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 23.670 * [taylor]: Taking taylor expansion of -0.5 in K 23.670 * [taylor]: Taking taylor expansion of K in K 23.670 * [taylor]: Taking taylor expansion of l in K 23.670 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in l 23.670 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 23.670 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 23.670 * [taylor]: Taking taylor expansion of -0.5 in l 23.670 * [taylor]: Taking taylor expansion of K in l 23.670 * [taylor]: Taking taylor expansion of l in l 23.671 * [taylor]: Taking taylor expansion of 0 in K 23.671 * [taylor]: Taking taylor expansion of 0 in l 23.671 * [taylor]: Taking taylor expansion of 0 in l 23.672 * [taylor]: Taking taylor expansion of 0 in K 23.672 * [taylor]: Taking taylor expansion of 0 in l 23.672 * [taylor]: Taking taylor expansion of 0 in l 23.672 * [taylor]: Taking taylor expansion of 0 in l 23.673 * [taylor]: Taking taylor expansion of 0 in K 23.673 * [taylor]: Taking taylor expansion of 0 in l 23.673 * [taylor]: Taking taylor expansion of 0 in l 23.673 * [taylor]: Taking taylor expansion of 0 in l 23.673 * [taylor]: Taking taylor expansion of 0 in l 23.673 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2 1) 23.673 * [approximate]: Taking taylor expansion of (* J (cos (* 0.5 K))) in (J K) around 0 23.674 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in K 23.674 * [taylor]: Taking taylor expansion of J in K 23.674 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 23.674 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 23.674 * [taylor]: Taking taylor expansion of 0.5 in K 23.674 * [taylor]: Taking taylor expansion of K in K 23.674 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in J 23.674 * [taylor]: Taking taylor expansion of J in J 23.674 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 23.674 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 23.674 * [taylor]: Taking taylor expansion of 0.5 in J 23.674 * [taylor]: Taking taylor expansion of K in J 23.674 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in J 23.674 * [taylor]: Taking taylor expansion of J in J 23.674 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 23.674 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 23.674 * [taylor]: Taking taylor expansion of 0.5 in J 23.674 * [taylor]: Taking taylor expansion of K in J 23.674 * [taylor]: Taking taylor expansion of 0 in K 23.674 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 23.674 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 23.674 * [taylor]: Taking taylor expansion of 0.5 in K 23.674 * [taylor]: Taking taylor expansion of K in K 23.675 * [taylor]: Taking taylor expansion of 0 in K 23.675 * [taylor]: Taking taylor expansion of 0 in K 23.675 * [approximate]: Taking taylor expansion of (/ (cos (/ 0.5 K)) J) in (J K) around 0 23.676 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) J) in K 23.676 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 23.676 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 23.676 * [taylor]: Taking taylor expansion of 0.5 in K 23.676 * [taylor]: Taking taylor expansion of K in K 23.676 * [taylor]: Taking taylor expansion of J in K 23.676 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) J) in J 23.676 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 23.676 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 23.676 * [taylor]: Taking taylor expansion of 0.5 in J 23.676 * [taylor]: Taking taylor expansion of K in J 23.676 * [taylor]: Taking taylor expansion of J in J 23.676 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) J) in J 23.676 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 23.676 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 23.676 * [taylor]: Taking taylor expansion of 0.5 in J 23.676 * [taylor]: Taking taylor expansion of K in J 23.676 * [taylor]: Taking taylor expansion of J in J 23.676 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 23.676 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 23.676 * [taylor]: Taking taylor expansion of 0.5 in K 23.676 * [taylor]: Taking taylor expansion of K in K 23.677 * [taylor]: Taking taylor expansion of 0 in K 23.677 * [taylor]: Taking taylor expansion of 0 in K 23.678 * [taylor]: Taking taylor expansion of 0 in K 23.678 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) J)) in (J K) around 0 23.678 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) J)) in K 23.678 * [taylor]: Taking taylor expansion of -1 in K 23.678 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) J) in K 23.678 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 23.678 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 23.678 * [taylor]: Taking taylor expansion of -0.5 in K 23.678 * [taylor]: Taking taylor expansion of K in K 23.678 * [taylor]: Taking taylor expansion of J in K 23.678 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) J)) in J 23.678 * [taylor]: Taking taylor expansion of -1 in J 23.678 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) J) in J 23.678 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 23.678 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 23.678 * [taylor]: Taking taylor expansion of -0.5 in J 23.678 * [taylor]: Taking taylor expansion of K in J 23.678 * [taylor]: Taking taylor expansion of J in J 23.679 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) J)) in J 23.679 * [taylor]: Taking taylor expansion of -1 in J 23.679 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) J) in J 23.679 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 23.679 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 23.679 * [taylor]: Taking taylor expansion of -0.5 in J 23.679 * [taylor]: Taking taylor expansion of K in J 23.679 * [taylor]: Taking taylor expansion of J in J 23.679 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -0.5 K))) in K 23.679 * [taylor]: Taking taylor expansion of -1 in K 23.679 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 23.679 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 23.679 * [taylor]: Taking taylor expansion of -0.5 in K 23.679 * [taylor]: Taking taylor expansion of K in K 23.680 * [taylor]: Taking taylor expansion of 0 in K 23.680 * [taylor]: Taking taylor expansion of 0 in K 23.681 * [taylor]: Taking taylor expansion of 0 in K 23.681 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 23.681 * [approximate]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in (J K l) around 0 23.681 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in l 23.681 * [taylor]: Taking taylor expansion of 2 in l 23.681 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in l 23.681 * [taylor]: Taking taylor expansion of J in l 23.681 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l 23.681 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l 23.681 * [taylor]: Taking taylor expansion of (* 0.5 K) in l 23.681 * [taylor]: Taking taylor expansion of 0.5 in l 23.681 * [taylor]: Taking taylor expansion of K in l 23.681 * [taylor]: Taking taylor expansion of l in l 23.682 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in K 23.682 * [taylor]: Taking taylor expansion of 2 in K 23.682 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in K 23.682 * [taylor]: Taking taylor expansion of J in K 23.682 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 23.682 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 23.682 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 23.682 * [taylor]: Taking taylor expansion of 0.5 in K 23.682 * [taylor]: Taking taylor expansion of K in K 23.682 * [taylor]: Taking taylor expansion of l in K 23.682 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in J 23.682 * [taylor]: Taking taylor expansion of 2 in J 23.682 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 23.682 * [taylor]: Taking taylor expansion of J in J 23.682 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 23.682 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 23.682 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 23.682 * [taylor]: Taking taylor expansion of 0.5 in J 23.682 * [taylor]: Taking taylor expansion of K in J 23.682 * [taylor]: Taking taylor expansion of l in J 23.682 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in J 23.682 * [taylor]: Taking taylor expansion of 2 in J 23.682 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J 23.682 * [taylor]: Taking taylor expansion of J in J 23.682 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J 23.682 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J 23.682 * [taylor]: Taking taylor expansion of (* 0.5 K) in J 23.682 * [taylor]: Taking taylor expansion of 0.5 in J 23.682 * [taylor]: Taking taylor expansion of K in J 23.682 * [taylor]: Taking taylor expansion of l in J 23.682 * [taylor]: Taking taylor expansion of 0 in K 23.682 * [taylor]: Taking taylor expansion of 0 in l 23.683 * [taylor]: Taking taylor expansion of (* 2 (* (cos (* 0.5 K)) l)) in K 23.683 * [taylor]: Taking taylor expansion of 2 in K 23.683 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K 23.683 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K 23.683 * [taylor]: Taking taylor expansion of (* 0.5 K) in K 23.683 * [taylor]: Taking taylor expansion of 0.5 in K 23.683 * [taylor]: Taking taylor expansion of K in K 23.683 * [taylor]: Taking taylor expansion of l in K 23.683 * [taylor]: Taking taylor expansion of (* 2 l) in l 23.683 * [taylor]: Taking taylor expansion of 2 in l 23.683 * [taylor]: Taking taylor expansion of l in l 23.683 * [taylor]: Taking taylor expansion of 0 in l 23.684 * [taylor]: Taking taylor expansion of 0 in K 23.684 * [taylor]: Taking taylor expansion of 0 in l 23.684 * [taylor]: Taking taylor expansion of 0 in l 23.684 * [approximate]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in (J K l) around 0 23.684 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in l 23.684 * [taylor]: Taking taylor expansion of 2 in l 23.684 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in l 23.684 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 23.684 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 23.684 * [taylor]: Taking taylor expansion of 0.5 in l 23.684 * [taylor]: Taking taylor expansion of K in l 23.684 * [taylor]: Taking taylor expansion of (* J l) in l 23.684 * [taylor]: Taking taylor expansion of J in l 23.684 * [taylor]: Taking taylor expansion of l in l 23.684 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in K 23.684 * [taylor]: Taking taylor expansion of 2 in K 23.684 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in K 23.684 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 23.684 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 23.684 * [taylor]: Taking taylor expansion of 0.5 in K 23.684 * [taylor]: Taking taylor expansion of K in K 23.684 * [taylor]: Taking taylor expansion of (* J l) in K 23.684 * [taylor]: Taking taylor expansion of J in K 23.684 * [taylor]: Taking taylor expansion of l in K 23.685 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in J 23.685 * [taylor]: Taking taylor expansion of 2 in J 23.685 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 23.685 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 23.685 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 23.685 * [taylor]: Taking taylor expansion of 0.5 in J 23.685 * [taylor]: Taking taylor expansion of K in J 23.685 * [taylor]: Taking taylor expansion of (* J l) in J 23.685 * [taylor]: Taking taylor expansion of J in J 23.685 * [taylor]: Taking taylor expansion of l in J 23.685 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in J 23.685 * [taylor]: Taking taylor expansion of 2 in J 23.685 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J 23.685 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J 23.685 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J 23.685 * [taylor]: Taking taylor expansion of 0.5 in J 23.685 * [taylor]: Taking taylor expansion of K in J 23.685 * [taylor]: Taking taylor expansion of (* J l) in J 23.685 * [taylor]: Taking taylor expansion of J in J 23.685 * [taylor]: Taking taylor expansion of l in J 23.685 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) l)) in K 23.685 * [taylor]: Taking taylor expansion of 2 in K 23.685 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in K 23.685 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K 23.686 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K 23.686 * [taylor]: Taking taylor expansion of 0.5 in K 23.686 * [taylor]: Taking taylor expansion of K in K 23.686 * [taylor]: Taking taylor expansion of l in K 23.686 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) l)) in l 23.686 * [taylor]: Taking taylor expansion of 2 in l 23.686 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in l 23.686 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l 23.686 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l 23.686 * [taylor]: Taking taylor expansion of 0.5 in l 23.686 * [taylor]: Taking taylor expansion of K in l 23.686 * [taylor]: Taking taylor expansion of l in l 23.687 * [taylor]: Taking taylor expansion of 0 in K 23.687 * [taylor]: Taking taylor expansion of 0 in l 23.687 * [taylor]: Taking taylor expansion of 0 in l 23.688 * [taylor]: Taking taylor expansion of 0 in K 23.688 * [taylor]: Taking taylor expansion of 0 in l 23.688 * [taylor]: Taking taylor expansion of 0 in l 23.688 * [taylor]: Taking taylor expansion of 0 in l 23.689 * [taylor]: Taking taylor expansion of 0 in K 23.689 * [taylor]: Taking taylor expansion of 0 in l 23.689 * [taylor]: Taking taylor expansion of 0 in l 23.689 * [taylor]: Taking taylor expansion of 0 in l 23.689 * [taylor]: Taking taylor expansion of 0 in l 23.690 * [approximate]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in (J K l) around 0 23.690 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in l 23.690 * [taylor]: Taking taylor expansion of 2 in l 23.690 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in l 23.690 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 23.690 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 23.690 * [taylor]: Taking taylor expansion of -0.5 in l 23.690 * [taylor]: Taking taylor expansion of K in l 23.690 * [taylor]: Taking taylor expansion of (* J l) in l 23.690 * [taylor]: Taking taylor expansion of J in l 23.690 * [taylor]: Taking taylor expansion of l in l 23.690 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in K 23.690 * [taylor]: Taking taylor expansion of 2 in K 23.690 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in K 23.690 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 23.690 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 23.690 * [taylor]: Taking taylor expansion of -0.5 in K 23.690 * [taylor]: Taking taylor expansion of K in K 23.690 * [taylor]: Taking taylor expansion of (* J l) in K 23.690 * [taylor]: Taking taylor expansion of J in K 23.690 * [taylor]: Taking taylor expansion of l in K 23.690 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in J 23.690 * [taylor]: Taking taylor expansion of 2 in J 23.690 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 23.690 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 23.690 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 23.690 * [taylor]: Taking taylor expansion of -0.5 in J 23.691 * [taylor]: Taking taylor expansion of K in J 23.691 * [taylor]: Taking taylor expansion of (* J l) in J 23.691 * [taylor]: Taking taylor expansion of J in J 23.691 * [taylor]: Taking taylor expansion of l in J 23.691 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in J 23.691 * [taylor]: Taking taylor expansion of 2 in J 23.691 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J 23.691 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J 23.691 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J 23.691 * [taylor]: Taking taylor expansion of -0.5 in J 23.691 * [taylor]: Taking taylor expansion of K in J 23.691 * [taylor]: Taking taylor expansion of (* J l) in J 23.691 * [taylor]: Taking taylor expansion of J in J 23.691 * [taylor]: Taking taylor expansion of l in J 23.692 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) l)) in K 23.692 * [taylor]: Taking taylor expansion of 2 in K 23.692 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in K 23.692 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K 23.692 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K 23.692 * [taylor]: Taking taylor expansion of -0.5 in K 23.692 * [taylor]: Taking taylor expansion of K in K 23.692 * [taylor]: Taking taylor expansion of l in K 23.692 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) l)) in l 23.692 * [taylor]: Taking taylor expansion of 2 in l 23.692 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in l 23.692 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l 23.692 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l 23.692 * [taylor]: Taking taylor expansion of -0.5 in l 23.692 * [taylor]: Taking taylor expansion of K in l 23.692 * [taylor]: Taking taylor expansion of l in l 23.693 * [taylor]: Taking taylor expansion of 0 in K 23.693 * [taylor]: Taking taylor expansion of 0 in l 23.693 * [taylor]: Taking taylor expansion of 0 in l 23.694 * [taylor]: Taking taylor expansion of 0 in K 23.694 * [taylor]: Taking taylor expansion of 0 in l 23.694 * [taylor]: Taking taylor expansion of 0 in l 23.694 * [taylor]: Taking taylor expansion of 0 in l 23.695 * [taylor]: Taking taylor expansion of 0 in K 23.695 * [taylor]: Taking taylor expansion of 0 in l 23.695 * [taylor]: Taking taylor expansion of 0 in l 23.695 * [taylor]: Taking taylor expansion of 0 in l 23.696 * [taylor]: Taking taylor expansion of 0 in l 23.696 * * * [progress]: simplifying candidates 23.697 * [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))) 23.699 * * [simplify]: iteration 0 : 82 enodes (cost 743 ) 23.718 * * [simplify]: iteration 1 : 197 enodes (cost 715 ) 23.783 * * [simplify]: iteration 2 : 755 enodes (cost 577 ) 25.161 * * [simplify]: iteration 3 : 3678 enodes (cost 577 ) 26.629 * * [simplify]: iteration done : 5000 enodes (cost 577 ) 26.630 * [simplify]: Simplified to: (* J (* (cos (* 0.5 K)) l)) (* J (* (cos (* 0.5 K)) l)) (log (* (* J (cos (* 0.5 K))) l)) (log (* (* J (cos (* 0.5 K))) l)) (log (* (* J (cos (* 0.5 K))) l)) (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 (cos (* 0.5 K)))) (log (* J (cos (* 0.5 K)))) (exp (* J (cos (* 0.5 K)))) (pow (* J (cos (* 0.5 K))) 3) (* (cbrt (* J (cos (* 0.5 K)))) (cbrt (* J (cos (* 0.5 K))))) (cbrt (* J (cos (* 0.5 K)))) (pow (* J (cos (* 0.5 K))) 3) (sqrt (* J (cos (* 0.5 K)))) (sqrt (* J (cos (* 0.5 K)))) (* (sqrt J) (sqrt (cos (* 0.5 K)))) (* (sqrt J) (sqrt (cos (* 0.5 K)))) (* J (* (cbrt (cos (* 0.5 K))) (cbrt (cos (* 0.5 K))))) (* J (sqrt (cos (* 0.5 K)))) J (* (cbrt J) (cos (* 0.5 K))) (* (sqrt J) (cos (* 0.5 K))) (* J (cos (* 0.5 K))) (* 2 (* J (* (cos (* 0.5 K)) l))) (* 2 (* J (* (cos (* 0.5 K)) l))) (* 2 (* J (* (cos (* 0.5 K)) l))) (log (* 2 (* J (* (cos (* 0.5 K)) l)))) (log (* 2 (* J (* (cos (* 0.5 K)) l)))) (log (* 2 (* J (* (cos (* 0.5 K)) l)))) (log (* 2 (* J (* (cos (* 0.5 K)) l)))) (exp (* 2 (* (* J (cos (* 0.5 K))) l))) (pow (* 2 (* J (* (cos (* 0.5 K)) l))) 3) (pow (* 2 (* J (* (cos (* 0.5 K)) l))) 3) (pow (* 2 (* J (* (cos (* 0.5 K)) l))) 3) (* (cbrt (* 2 (* (* J (cos (* 0.5 K))) l))) (cbrt (* 2 (* (* J (cos (* 0.5 K))) l)))) (cbrt (* 2 (* (* J (cos (* 0.5 K))) l))) (pow (* 2 (* J (* (cos (* 0.5 K)) l))) 3) (sqrt (* 2 (* (* J (cos (* 0.5 K))) l))) (sqrt (* 2 (* (* J (cos (* 0.5 K))) l))) (* 2 (* J (cos (* 0.5 K)))) (* (cbrt 2) (* (* J (cos (* 0.5 K))) l)) (* (sqrt 2) (* (* J (cos (* 0.5 K))) l)) (* 2 (* J (* (cos (* 0.5 K)) l))) 0 (* J (* (cos (* 0.5 K)) l)) (* J (* (cos (* 0.5 K)) l)) J (* J (cos (* 0.5 K))) (* J (cos (* 0.5 K))) 0 (* 2 (* J (* (cos (* 0.5 K)) l))) (* 2 (* J (* (cos (* 0.5 K)) l))) 26.630 * * * [progress]: adding candidates to table 26.702 * [progress]: [Phase 3 of 3] Extracting. 26.702 * * [regime]: Finding splitpoints for: (# # # # # # # # # #) 26.705 * * * [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) 26.705 * * * * [regimes]: Trying to branch on (/ K 2.0) from (# # # # # # # # # #) 26.790 * * * * [regimes]: Trying to branch on (cos (/ K 2.0)) from (# # # # # # # # # #) 26.875 * * * * [regimes]: Trying to branch on (- (exp l) (exp (neg l))) from (# # # # # # # # # #) 26.954 * * * * [regimes]: Trying to branch on (- (exp l) (exp (neg l))) from (# #) 26.999 * * * * [regimes]: Trying to branch on (* J (- (exp l) (exp (neg l)))) from (# # # # # # # # # #) 27.079 * * * * [regimes]: Trying to branch on U from (# # # # # # # # # #) 27.163 * * * * [regimes]: Trying to branch on K from (# # # # # # # # # #) 27.247 * * * * [regimes]: Trying to branch on l from (# # # # # # # # # #) 27.333 * * * * [regimes]: Trying to branch on J from (# # # # # # # # # #) 27.418 * * * [regime]: Found split indices: #