13.096 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.126 * * * [progress]: [2/2] Setting up program.
0.130 * [progress]: [Phase 2 of 3] Improving.
0.131 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (* (* J (- (exp l) (exp (neg l)))) (cos (/ K 2.0))) U)
0.193 * * [simplify]: iteration  0 :  1110  enodes  (cost  15 )
0.193 * * [simplify]: iteration  1 :  1110  enodes  (cost  15 )
0.193 * [simplify]: Simplified to:
   (+ (* J (* (- (exp l) (exp (neg l))) (cos (/ K 2.0)))) U)
0.198 * * [progress]: iteration 1 / 4
0.198 * * * [progress]: picking best candidate
0.206 * * * * [pick]: Picked  #<alt (λ (J l K U) (+ (* J (* (- (exp l) (exp (neg l))) (cos (/ K 2.0)))) U))>
0.206 * * * [progress]: localizing error
0.219 * * * [progress]: generating rewritten candidates
0.219 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2 1)
0.225 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.238 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2)
0.248 * * * [progress]: generating series expansions
0.248 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2 1)
0.248 * [approximate]: Taking taylor expansion of (- (exp l) (exp (neg l))) in (l) around 0
0.248 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in l
0.248 * [taylor]: Taking taylor expansion of (exp l) in l
0.248 * [taylor]: Taking taylor expansion of l in l
0.248 * [taylor]: Taking taylor expansion of (exp (neg l)) in l
0.249 * [taylor]: Taking taylor expansion of (neg l) in l
0.249 * [taylor]: Taking taylor expansion of l in l
0.249 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in l
0.249 * [taylor]: Taking taylor expansion of (exp l) in l
0.249 * [taylor]: Taking taylor expansion of l in l
0.249 * [taylor]: Taking taylor expansion of (exp (neg l)) in l
0.249 * [taylor]: Taking taylor expansion of (neg l) in l
0.249 * [taylor]: Taking taylor expansion of l in l
0.252 * [approximate]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in (l) around 0
0.252 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in l
0.252 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.252 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.252 * [taylor]: Taking taylor expansion of l in l
0.252 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in l
0.252 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in l
0.252 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.252 * [taylor]: Taking taylor expansion of l in l
0.252 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in l
0.252 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.252 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.252 * [taylor]: Taking taylor expansion of l in l
0.252 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in l
0.252 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in l
0.252 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.252 * [taylor]: Taking taylor expansion of l in l
0.253 * [approximate]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in (l) around 0
0.253 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l
0.253 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l
0.253 * [taylor]: Taking taylor expansion of (/ -1 l) in l
0.253 * [taylor]: Taking taylor expansion of -1 in l
0.253 * [taylor]: Taking taylor expansion of l in l
0.253 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.253 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.253 * [taylor]: Taking taylor expansion of l in l
0.253 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l
0.253 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l
0.253 * [taylor]: Taking taylor expansion of (/ -1 l) in l
0.253 * [taylor]: Taking taylor expansion of -1 in l
0.253 * [taylor]: Taking taylor expansion of l in l
0.253 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.253 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.254 * [taylor]: Taking taylor expansion of l in l
0.254 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.254 * [approximate]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) (* J (cos (* 0.5 K)))) in (J l K) around 0
0.254 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) (* J (cos (* 0.5 K)))) in K
0.254 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in K
0.254 * [taylor]: Taking taylor expansion of (exp l) in K
0.254 * [taylor]: Taking taylor expansion of l in K
0.254 * [taylor]: Taking taylor expansion of (exp (neg l)) in K
0.254 * [taylor]: Taking taylor expansion of (neg l) in K
0.254 * [taylor]: Taking taylor expansion of l in K
0.254 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in K
0.254 * [taylor]: Taking taylor expansion of J in K
0.254 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
0.254 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
0.254 * [taylor]: Taking taylor expansion of 0.5 in K
0.254 * [taylor]: Taking taylor expansion of K in K
0.254 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) (* J (cos (* 0.5 K)))) in l
0.254 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in l
0.255 * [taylor]: Taking taylor expansion of (exp l) in l
0.255 * [taylor]: Taking taylor expansion of l in l
0.255 * [taylor]: Taking taylor expansion of (exp (neg l)) in l
0.255 * [taylor]: Taking taylor expansion of (neg l) in l
0.255 * [taylor]: Taking taylor expansion of l in l
0.255 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in l
0.255 * [taylor]: Taking taylor expansion of J in l
0.255 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
0.255 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
0.255 * [taylor]: Taking taylor expansion of 0.5 in l
0.255 * [taylor]: Taking taylor expansion of K in l
0.255 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) (* J (cos (* 0.5 K)))) in J
0.255 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in J
0.255 * [taylor]: Taking taylor expansion of (exp l) in J
0.255 * [taylor]: Taking taylor expansion of l in J
0.255 * [taylor]: Taking taylor expansion of (exp (neg l)) in J
0.255 * [taylor]: Taking taylor expansion of (neg l) in J
0.255 * [taylor]: Taking taylor expansion of l in J
0.255 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in J
0.255 * [taylor]: Taking taylor expansion of J in J
0.255 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
0.255 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
0.255 * [taylor]: Taking taylor expansion of 0.5 in J
0.255 * [taylor]: Taking taylor expansion of K in J
0.255 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) (* J (cos (* 0.5 K)))) in J
0.255 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in J
0.255 * [taylor]: Taking taylor expansion of (exp l) in J
0.255 * [taylor]: Taking taylor expansion of l in J
0.255 * [taylor]: Taking taylor expansion of (exp (neg l)) in J
0.255 * [taylor]: Taking taylor expansion of (neg l) in J
0.255 * [taylor]: Taking taylor expansion of l in J
0.255 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in J
0.255 * [taylor]: Taking taylor expansion of J in J
0.255 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
0.255 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
0.255 * [taylor]: Taking taylor expansion of 0.5 in J
0.255 * [taylor]: Taking taylor expansion of K in J
0.256 * [taylor]: Taking taylor expansion of 0 in l
0.256 * [taylor]: Taking taylor expansion of 0 in K
0.256 * [taylor]: Taking taylor expansion of (- (* (cos (* 0.5 K)) (exp l)) (* (exp (neg l)) (cos (* 0.5 K)))) in l
0.256 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (exp l)) in l
0.256 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
0.257 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
0.257 * [taylor]: Taking taylor expansion of 0.5 in l
0.257 * [taylor]: Taking taylor expansion of K in l
0.257 * [taylor]: Taking taylor expansion of (exp l) in l
0.257 * [taylor]: Taking taylor expansion of l in l
0.257 * [taylor]: Taking taylor expansion of (* (exp (neg l)) (cos (* 0.5 K))) in l
0.257 * [taylor]: Taking taylor expansion of (exp (neg l)) in l
0.257 * [taylor]: Taking taylor expansion of (neg l) in l
0.257 * [taylor]: Taking taylor expansion of l in l
0.257 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
0.257 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
0.257 * [taylor]: Taking taylor expansion of 0.5 in l
0.257 * [taylor]: Taking taylor expansion of K in l
0.257 * [taylor]: Taking taylor expansion of 0 in K
0.257 * [taylor]: Taking taylor expansion of 0 in K
0.258 * [taylor]: Taking taylor expansion of 0 in l
0.258 * [taylor]: Taking taylor expansion of 0 in K
0.259 * [taylor]: Taking taylor expansion of (* 2 (cos (* 0.5 K))) in K
0.259 * [taylor]: Taking taylor expansion of 2 in K
0.259 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
0.259 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
0.259 * [taylor]: Taking taylor expansion of 0.5 in K
0.259 * [taylor]: Taking taylor expansion of K in K
0.259 * [taylor]: Taking taylor expansion of 0 in K
0.260 * [taylor]: Taking taylor expansion of 0 in l
0.260 * [taylor]: Taking taylor expansion of 0 in K
0.260 * [taylor]: Taking taylor expansion of 0 in K
0.260 * [approximate]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) J) in (J l K) around 0
0.260 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) J) in K
0.260 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in K
0.260 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
0.260 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
0.260 * [taylor]: Taking taylor expansion of 0.5 in K
0.260 * [taylor]: Taking taylor expansion of K in K
0.260 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in K
0.260 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K
0.260 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.260 * [taylor]: Taking taylor expansion of l in K
0.261 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in K
0.261 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in K
0.261 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.261 * [taylor]: Taking taylor expansion of l in K
0.261 * [taylor]: Taking taylor expansion of J in K
0.261 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) J) in l
0.261 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in l
0.261 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
0.261 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
0.261 * [taylor]: Taking taylor expansion of 0.5 in l
0.261 * [taylor]: Taking taylor expansion of K in l
0.261 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in l
0.261 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.261 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.261 * [taylor]: Taking taylor expansion of l in l
0.261 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in l
0.261 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in l
0.261 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.261 * [taylor]: Taking taylor expansion of l in l
0.261 * [taylor]: Taking taylor expansion of J in l
0.262 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) J) in J
0.262 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in J
0.262 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
0.262 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
0.262 * [taylor]: Taking taylor expansion of 0.5 in J
0.262 * [taylor]: Taking taylor expansion of K in J
0.262 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in J
0.262 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J
0.262 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.262 * [taylor]: Taking taylor expansion of l in J
0.262 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in J
0.262 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in J
0.262 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.262 * [taylor]: Taking taylor expansion of l in J
0.262 * [taylor]: Taking taylor expansion of J in J
0.263 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) J) in J
0.263 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in J
0.263 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
0.263 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
0.263 * [taylor]: Taking taylor expansion of 0.5 in J
0.263 * [taylor]: Taking taylor expansion of K in J
0.263 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in J
0.263 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J
0.263 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.263 * [taylor]: Taking taylor expansion of l in J
0.263 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in J
0.263 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in J
0.263 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.263 * [taylor]: Taking taylor expansion of l in J
0.263 * [taylor]: Taking taylor expansion of J in J
0.264 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in l
0.264 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
0.264 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
0.264 * [taylor]: Taking taylor expansion of 0.5 in l
0.264 * [taylor]: Taking taylor expansion of K in l
0.264 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in l
0.264 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.264 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.264 * [taylor]: Taking taylor expansion of l in l
0.264 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in l
0.264 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in l
0.264 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.264 * [taylor]: Taking taylor expansion of l in l
0.264 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in K
0.264 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
0.264 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
0.264 * [taylor]: Taking taylor expansion of 0.5 in K
0.264 * [taylor]: Taking taylor expansion of K in K
0.264 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in K
0.264 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K
0.264 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.264 * [taylor]: Taking taylor expansion of l in K
0.265 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in K
0.265 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in K
0.265 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.265 * [taylor]: Taking taylor expansion of l in K
0.266 * [taylor]: Taking taylor expansion of 0 in l
0.266 * [taylor]: Taking taylor expansion of 0 in K
0.266 * [taylor]: Taking taylor expansion of 0 in K
0.268 * [taylor]: Taking taylor expansion of 0 in l
0.268 * [taylor]: Taking taylor expansion of 0 in K
0.268 * [taylor]: Taking taylor expansion of 0 in K
0.268 * [taylor]: Taking taylor expansion of 0 in K
0.268 * [approximate]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) in (J l K) around 0
0.269 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) in K
0.269 * [taylor]: Taking taylor expansion of -1 in K
0.269 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J) in K
0.269 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) in K
0.269 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in K
0.269 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in K
0.269 * [taylor]: Taking taylor expansion of (/ -1 l) in K
0.269 * [taylor]: Taking taylor expansion of -1 in K
0.269 * [taylor]: Taking taylor expansion of l in K
0.269 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K
0.269 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.269 * [taylor]: Taking taylor expansion of l in K
0.269 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
0.269 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
0.269 * [taylor]: Taking taylor expansion of -0.5 in K
0.269 * [taylor]: Taking taylor expansion of K in K
0.269 * [taylor]: Taking taylor expansion of J in K
0.269 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) in l
0.269 * [taylor]: Taking taylor expansion of -1 in l
0.269 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J) in l
0.269 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) in l
0.269 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l
0.269 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l
0.269 * [taylor]: Taking taylor expansion of (/ -1 l) in l
0.269 * [taylor]: Taking taylor expansion of -1 in l
0.269 * [taylor]: Taking taylor expansion of l in l
0.269 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.269 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.269 * [taylor]: Taking taylor expansion of l in l
0.270 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
0.270 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
0.270 * [taylor]: Taking taylor expansion of -0.5 in l
0.270 * [taylor]: Taking taylor expansion of K in l
0.270 * [taylor]: Taking taylor expansion of J in l
0.270 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) in J
0.270 * [taylor]: Taking taylor expansion of -1 in J
0.270 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J) in J
0.270 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) in J
0.270 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in J
0.270 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in J
0.270 * [taylor]: Taking taylor expansion of (/ -1 l) in J
0.270 * [taylor]: Taking taylor expansion of -1 in J
0.270 * [taylor]: Taking taylor expansion of l in J
0.270 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J
0.270 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.270 * [taylor]: Taking taylor expansion of l in J
0.270 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
0.270 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
0.270 * [taylor]: Taking taylor expansion of -0.5 in J
0.270 * [taylor]: Taking taylor expansion of K in J
0.270 * [taylor]: Taking taylor expansion of J in J
0.271 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) in J
0.271 * [taylor]: Taking taylor expansion of -1 in J
0.271 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J) in J
0.271 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) in J
0.271 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in J
0.271 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in J
0.271 * [taylor]: Taking taylor expansion of (/ -1 l) in J
0.271 * [taylor]: Taking taylor expansion of -1 in J
0.271 * [taylor]: Taking taylor expansion of l in J
0.271 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J
0.271 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.271 * [taylor]: Taking taylor expansion of l in J
0.271 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
0.271 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
0.271 * [taylor]: Taking taylor expansion of -0.5 in J
0.271 * [taylor]: Taking taylor expansion of K in J
0.271 * [taylor]: Taking taylor expansion of J in J
0.272 * [taylor]: Taking taylor expansion of (* -1 (* (cos (/ -0.5 K)) (- (exp (/ -1 l)) (exp (/ 1 l))))) in l
0.272 * [taylor]: Taking taylor expansion of -1 in l
0.272 * [taylor]: Taking taylor expansion of (* (cos (/ -0.5 K)) (- (exp (/ -1 l)) (exp (/ 1 l)))) in l
0.272 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
0.272 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
0.272 * [taylor]: Taking taylor expansion of -0.5 in l
0.272 * [taylor]: Taking taylor expansion of K in l
0.272 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l
0.272 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l
0.272 * [taylor]: Taking taylor expansion of (/ -1 l) in l
0.272 * [taylor]: Taking taylor expansion of -1 in l
0.272 * [taylor]: Taking taylor expansion of l in l
0.272 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.272 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.272 * [taylor]: Taking taylor expansion of l in l
0.273 * [taylor]: Taking taylor expansion of (* -1 (* (cos (/ -0.5 K)) (- (exp (/ -1 l)) (exp (/ 1 l))))) in K
0.273 * [taylor]: Taking taylor expansion of -1 in K
0.273 * [taylor]: Taking taylor expansion of (* (cos (/ -0.5 K)) (- (exp (/ -1 l)) (exp (/ 1 l)))) in K
0.273 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
0.273 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
0.273 * [taylor]: Taking taylor expansion of -0.5 in K
0.273 * [taylor]: Taking taylor expansion of K in K
0.273 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in K
0.273 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in K
0.273 * [taylor]: Taking taylor expansion of (/ -1 l) in K
0.273 * [taylor]: Taking taylor expansion of -1 in K
0.273 * [taylor]: Taking taylor expansion of l in K
0.273 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K
0.273 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.273 * [taylor]: Taking taylor expansion of l in K
0.274 * [taylor]: Taking taylor expansion of 0 in l
0.274 * [taylor]: Taking taylor expansion of 0 in K
0.275 * [taylor]: Taking taylor expansion of 0 in K
0.276 * [taylor]: Taking taylor expansion of 0 in l
0.276 * [taylor]: Taking taylor expansion of 0 in K
0.276 * [taylor]: Taking taylor expansion of 0 in K
0.277 * [taylor]: Taking taylor expansion of 0 in K
0.277 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2)
0.277 * [approximate]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) (cos (* 0.5 K))) in (l K) around 0
0.277 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) (cos (* 0.5 K))) in K
0.277 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in K
0.277 * [taylor]: Taking taylor expansion of (exp l) in K
0.277 * [taylor]: Taking taylor expansion of l in K
0.277 * [taylor]: Taking taylor expansion of (exp (neg l)) in K
0.277 * [taylor]: Taking taylor expansion of (neg l) in K
0.277 * [taylor]: Taking taylor expansion of l in K
0.277 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
0.277 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
0.277 * [taylor]: Taking taylor expansion of 0.5 in K
0.277 * [taylor]: Taking taylor expansion of K in K
0.278 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) (cos (* 0.5 K))) in l
0.278 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in l
0.278 * [taylor]: Taking taylor expansion of (exp l) in l
0.278 * [taylor]: Taking taylor expansion of l in l
0.278 * [taylor]: Taking taylor expansion of (exp (neg l)) in l
0.278 * [taylor]: Taking taylor expansion of (neg l) in l
0.278 * [taylor]: Taking taylor expansion of l in l
0.278 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
0.278 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
0.278 * [taylor]: Taking taylor expansion of 0.5 in l
0.278 * [taylor]: Taking taylor expansion of K in l
0.278 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (neg l))) (cos (* 0.5 K))) in l
0.278 * [taylor]: Taking taylor expansion of (- (exp l) (exp (neg l))) in l
0.278 * [taylor]: Taking taylor expansion of (exp l) in l
0.278 * [taylor]: Taking taylor expansion of l in l
0.278 * [taylor]: Taking taylor expansion of (exp (neg l)) in l
0.278 * [taylor]: Taking taylor expansion of (neg l) in l
0.278 * [taylor]: Taking taylor expansion of l in l
0.278 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
0.278 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
0.278 * [taylor]: Taking taylor expansion of 0.5 in l
0.278 * [taylor]: Taking taylor expansion of K in l
0.278 * [taylor]: Taking taylor expansion of 0 in K
0.279 * [taylor]: Taking taylor expansion of (* 2 (cos (* 0.5 K))) in K
0.279 * [taylor]: Taking taylor expansion of 2 in K
0.279 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
0.279 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
0.279 * [taylor]: Taking taylor expansion of 0.5 in K
0.279 * [taylor]: Taking taylor expansion of K in K
0.279 * [taylor]: Taking taylor expansion of 0 in K
0.280 * [taylor]: Taking taylor expansion of (* 1/3 (cos (* 0.5 K))) in K
0.280 * [taylor]: Taking taylor expansion of 1/3 in K
0.280 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
0.280 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
0.281 * [taylor]: Taking taylor expansion of 0.5 in K
0.281 * [taylor]: Taking taylor expansion of K in K
0.281 * [approximate]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in (l K) around 0
0.281 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in K
0.281 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
0.281 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
0.281 * [taylor]: Taking taylor expansion of 0.5 in K
0.281 * [taylor]: Taking taylor expansion of K in K
0.281 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in K
0.281 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K
0.281 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.281 * [taylor]: Taking taylor expansion of l in K
0.281 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in K
0.281 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in K
0.281 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.281 * [taylor]: Taking taylor expansion of l in K
0.282 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in l
0.282 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
0.282 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
0.282 * [taylor]: Taking taylor expansion of 0.5 in l
0.282 * [taylor]: Taking taylor expansion of K in l
0.282 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in l
0.282 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.282 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.282 * [taylor]: Taking taylor expansion of l in l
0.282 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in l
0.282 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in l
0.282 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.282 * [taylor]: Taking taylor expansion of l in l
0.282 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in l
0.282 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
0.282 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
0.282 * [taylor]: Taking taylor expansion of 0.5 in l
0.282 * [taylor]: Taking taylor expansion of K in l
0.282 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in l
0.282 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.282 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.282 * [taylor]: Taking taylor expansion of l in l
0.282 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in l
0.282 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in l
0.282 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.282 * [taylor]: Taking taylor expansion of l in l
0.283 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (- (exp (/ 1 l)) (exp (neg (/ 1 l))))) in K
0.283 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
0.283 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
0.283 * [taylor]: Taking taylor expansion of 0.5 in K
0.283 * [taylor]: Taking taylor expansion of K in K
0.283 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (neg (/ 1 l)))) in K
0.283 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K
0.283 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.283 * [taylor]: Taking taylor expansion of l in K
0.283 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 l))) in K
0.283 * [taylor]: Taking taylor expansion of (neg (/ 1 l)) in K
0.283 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.283 * [taylor]: Taking taylor expansion of l in K
0.284 * [taylor]: Taking taylor expansion of 0 in K
0.285 * [taylor]: Taking taylor expansion of 0 in K
0.286 * [taylor]: Taking taylor expansion of 0 in K
0.286 * [approximate]: Taking taylor expansion of (* (cos (/ -0.5 K)) (- (exp (/ -1 l)) (exp (/ 1 l)))) in (l K) around 0
0.286 * [taylor]: Taking taylor expansion of (* (cos (/ -0.5 K)) (- (exp (/ -1 l)) (exp (/ 1 l)))) in K
0.286 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
0.286 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
0.286 * [taylor]: Taking taylor expansion of -0.5 in K
0.286 * [taylor]: Taking taylor expansion of K in K
0.286 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in K
0.286 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in K
0.286 * [taylor]: Taking taylor expansion of (/ -1 l) in K
0.286 * [taylor]: Taking taylor expansion of -1 in K
0.286 * [taylor]: Taking taylor expansion of l in K
0.286 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K
0.286 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.286 * [taylor]: Taking taylor expansion of l in K
0.286 * [taylor]: Taking taylor expansion of (* (cos (/ -0.5 K)) (- (exp (/ -1 l)) (exp (/ 1 l)))) in l
0.286 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
0.286 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
0.286 * [taylor]: Taking taylor expansion of -0.5 in l
0.286 * [taylor]: Taking taylor expansion of K in l
0.287 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l
0.287 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l
0.287 * [taylor]: Taking taylor expansion of (/ -1 l) in l
0.287 * [taylor]: Taking taylor expansion of -1 in l
0.287 * [taylor]: Taking taylor expansion of l in l
0.287 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.287 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.287 * [taylor]: Taking taylor expansion of l in l
0.287 * [taylor]: Taking taylor expansion of (* (cos (/ -0.5 K)) (- (exp (/ -1 l)) (exp (/ 1 l)))) in l
0.287 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
0.287 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
0.287 * [taylor]: Taking taylor expansion of -0.5 in l
0.287 * [taylor]: Taking taylor expansion of K in l
0.287 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l
0.287 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l
0.287 * [taylor]: Taking taylor expansion of (/ -1 l) in l
0.287 * [taylor]: Taking taylor expansion of -1 in l
0.287 * [taylor]: Taking taylor expansion of l in l
0.287 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.287 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.287 * [taylor]: Taking taylor expansion of l in l
0.287 * [taylor]: Taking taylor expansion of (* (cos (/ -0.5 K)) (- (exp (/ -1 l)) (exp (/ 1 l)))) in K
0.287 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
0.287 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
0.288 * [taylor]: Taking taylor expansion of -0.5 in K
0.288 * [taylor]: Taking taylor expansion of K in K
0.288 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in K
0.288 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in K
0.288 * [taylor]: Taking taylor expansion of (/ -1 l) in K
0.288 * [taylor]: Taking taylor expansion of -1 in K
0.288 * [taylor]: Taking taylor expansion of l in K
0.288 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K
0.288 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.288 * [taylor]: Taking taylor expansion of l in K
0.288 * [taylor]: Taking taylor expansion of 0 in K
0.289 * [taylor]: Taking taylor expansion of 0 in K
0.290 * [taylor]: Taking taylor expansion of 0 in K
0.291 * * * [progress]: simplifying candidates
0.291 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (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) (log (* (- (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)))))
  (* (* (* 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 J) J) (* (* (* (- (exp l) (exp (neg l))) (cos (/ K 2.0))) (* (- (exp l) (exp (neg l))) (cos (/ K 2.0)))) (* (- (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))))))
  (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 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))) (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))))
  (* (- (exp l) (exp (neg l))) (cos (/ K 2.0)))
  (+ (log (- (exp l) (exp (neg l)))) (log (cos (/ K 2.0))))
  (log (* (- (exp l) (exp (neg l))) (cos (/ K 2.0))))
  (exp (* (- (exp l) (exp (neg l))) (cos (/ K 2.0))))
  (* (* (* (- (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))))
  (* (cbrt (* (- (exp l) (exp (neg l))) (cos (/ K 2.0)))) (cbrt (* (- (exp l) (exp (neg l))) (cos (/ K 2.0)))))
  (cbrt (* (- (exp l) (exp (neg l))) (cos (/ K 2.0))))
  (* (* (* (- (exp l) (exp (neg l))) (cos (/ K 2.0))) (* (- (exp l) (exp (neg l))) (cos (/ K 2.0)))) (* (- (exp l) (exp (neg l))) (cos (/ K 2.0))))
  (sqrt (* (- (exp l) (exp (neg l))) (cos (/ K 2.0))))
  (sqrt (* (- (exp l) (exp (neg l))) (cos (/ K 2.0))))
  (* (sqrt (- (exp l) (exp (neg l)))) (sqrt (cos (/ K 2.0))))
  (* (sqrt (- (exp l) (exp (neg l)))) (sqrt (cos (/ K 2.0))))
  (* (- (exp l) (exp (neg l))) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0)))))
  (* (- (exp l) (exp (neg l))) (sqrt (cos (/ K 2.0))))
  (* (- (exp l) (exp (neg l))) 1)
  (* (cbrt (- (exp l) (exp (neg l)))) (cos (/ K 2.0)))
  (* (sqrt (- (exp l) (exp (neg l)))) (cos (/ K 2.0)))
  (* (- (exp l) (exp (neg l))) (cos (/ K 2.0)))
  (* (- (sqrt (exp l)) (sqrt (exp (neg l)))) (cos (/ K 2.0)))
  (* (- (exp l) (exp (neg l))) (cos (/ K 2.0)))
  (* (- (pow (exp l) 3) (pow (exp (neg l)) 3)) (cos (/ K 2.0)))
  (* (- (* (exp l) (exp l)) (* (exp (neg l)) (exp (neg l)))) (cos (/ K 2.0)))
  (+ (* 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))))
  (- (+ (* 1/3 (pow l 3)) (* 2 l)) (* 0.25 (* (pow K 2) l)))
  (* (- (exp l) (exp (neg l))) (cos (* 0.5 K)))
  (* (- (exp l) (exp (* -1 l))) (cos (* 0.5 K)))
0.330 * * [simplify]: iteration  0 :  5187  enodes  (cost  787 )
0.333 * [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) (pow (exp l) -3))
  (+ (pow (exp l) 2) (+ (pow (exp l) -2) 1))
  (/ -1 (exp l))
  (- (pow (exp l) 2) (pow (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)))
  (/ -1 (exp l))
  (* (- (exp l) (exp (neg l))) (* J (cos (/ K 2.0))))
  (* (- (exp l) (exp (neg l))) (* J (cos (/ K 2.0))))
  (log (* (- (exp l) (exp (neg l))) (* J (cos (/ K 2.0)))))
  (log (* (- (exp l) (exp (neg l))) (* J (cos (/ K 2.0)))))
  (log (* (- (exp l) (exp (neg l))) (* J (cos (/ K 2.0)))))
  (pow (exp (- (exp l) (exp (neg l)))) (* J (cos (/ K 2.0))))
  (pow (* (- (exp l) (exp (neg l))) (* J (cos (/ K 2.0)))) 3)
  (pow (* (- (exp l) (exp (neg l))) (* J (cos (/ K 2.0)))) 3)
  (* (cbrt (* (- (exp l) (exp (neg l))) (* J (cos (/ K 2.0))))) (cbrt (* (- (exp l) (exp (neg l))) (* J (cos (/ K 2.0))))))
  (cbrt (* (- (exp l) (exp (neg l))) (* J (cos (/ K 2.0)))))
  (pow (* (- (exp l) (exp (neg l))) (* J (cos (/ K 2.0)))) 3)
  (sqrt (* (- (exp l) (exp (neg l))) (* J (cos (/ K 2.0)))))
  (sqrt (* (- (exp l) (exp (neg l))) (* J (cos (/ K 2.0)))))
  (* (- (exp l) (exp (neg l))) J)
  (* (- (exp l) (exp (neg l))) (* (cos (/ K 2.0)) (cbrt J)))
  (* (- (exp l) (exp (neg l))) (* (cos (/ K 2.0)) (sqrt J)))
  (* (- (exp l) (exp (neg l))) (* J (cos (/ K 2.0))))
  (* (- (pow (exp l) 3) (pow (exp l) -3)) (* J (cos (/ K 2.0))))
  (* (- (pow (exp l) 2) (pow (exp l) -2)) (* J (cos (/ K 2.0))))
  (* (- (exp l) (exp (neg l))) (cos (/ K 2.0)))
  (log (* (- (exp l) (exp (neg l))) (cos (/ K 2.0))))
  (log (* (- (exp l) (exp (neg l))) (cos (/ K 2.0))))
  (pow (exp (- (exp l) (exp (neg l)))) (cos (/ K 2.0)))
  (pow (* (- (exp l) (exp (neg l))) (cos (/ K 2.0))) 3)
  (* (cbrt (* (- (exp l) (exp (neg l))) (cos (/ K 2.0)))) (cbrt (* (- (exp l) (exp (neg l))) (cos (/ K 2.0)))))
  (cbrt (* (- (exp l) (exp (neg l))) (cos (/ K 2.0))))
  (pow (* (- (exp l) (exp (neg l))) (cos (/ K 2.0))) 3)
  (sqrt (* (- (exp l) (exp (neg l))) (cos (/ K 2.0))))
  (sqrt (* (- (exp l) (exp (neg l))) (cos (/ K 2.0))))
  (* (sqrt (- (exp l) (exp (neg l)))) (sqrt (cos (/ K 2.0))))
  (* (sqrt (- (exp l) (exp (neg l)))) (sqrt (cos (/ K 2.0))))
  (* (- (exp l) (exp (neg l))) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0)))))
  (* (- (exp l) (exp (neg l))) (sqrt (cos (/ K 2.0))))
  (- (exp l) (exp (neg l)))
  (* (cbrt (- (exp l) (exp (neg l)))) (cos (/ K 2.0)))
  (* (sqrt (- (exp l) (exp (neg l)))) (cos (/ K 2.0)))
  (* (- (exp l) (exp (neg l))) (cos (/ K 2.0)))
  (* (- (sqrt (exp l)) (sqrt (exp (neg l)))) (cos (/ K 2.0)))
  (* (- (exp l) (exp (neg l))) (cos (/ K 2.0)))
  (* (- (pow (exp l) 3) (pow (exp l) -3)) (cos (/ K 2.0)))
  (* (- (pow (exp l) 2) (pow (exp l) -2)) (cos (/ K 2.0)))
  (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))
  (- (exp l) (exp (neg l)))
  (- (exp l) (exp (neg l)))
  (* l (* J 2))
  (* (- (exp l) (exp (neg l))) (* J (cos (* K 0.5))))
  (* (- (exp l) (exp (neg l))) (* J (cos (* K 0.5))))
  (+ (* 1/3 (pow l 3)) (* l (- 2 (* K (* K 0.25)))))
  (* (- (exp l) (exp (neg l))) (cos (* K 0.5)))
  (* (- (exp l) (exp (neg l))) (cos (* K 0.5)))
0.333 * * * [progress]: adding candidates to table
0.436 * * [progress]: iteration 2 / 4
0.436 * * * [progress]: picking best candidate
0.454 * * * * [pick]: Picked  #<alt (λ (J l K U) (+ (* J (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0)))) U))>
0.454 * * * [progress]: localizing error
0.472 * * * [progress]: generating rewritten candidates
0.472 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 2 2 1)
0.479 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
0.493 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
0.505 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 2 2)
0.514 * * * [progress]: generating series expansions
0.514 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 2 2 1)
0.514 * [approximate]: Taking taylor expansion of (* 1/3 (pow l 3)) in (l) around 0
0.514 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in l
0.514 * [taylor]: Taking taylor expansion of 1/3 in l
0.514 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.514 * [taylor]: Taking taylor expansion of l in l
0.514 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in l
0.514 * [taylor]: Taking taylor expansion of 1/3 in l
0.514 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.514 * [taylor]: Taking taylor expansion of l in l
0.515 * [approximate]: Taking taylor expansion of (/ 1/3 (pow l 3)) in (l) around 0
0.515 * [taylor]: Taking taylor expansion of (/ 1/3 (pow l 3)) in l
0.515 * [taylor]: Taking taylor expansion of 1/3 in l
0.515 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.515 * [taylor]: Taking taylor expansion of l in l
0.515 * [taylor]: Taking taylor expansion of (/ 1/3 (pow l 3)) in l
0.515 * [taylor]: Taking taylor expansion of 1/3 in l
0.515 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.515 * [taylor]: Taking taylor expansion of l in l
0.517 * [approximate]: Taking taylor expansion of (/ -1/3 (pow l 3)) in (l) around 0
0.517 * [taylor]: Taking taylor expansion of (/ -1/3 (pow l 3)) in l
0.517 * [taylor]: Taking taylor expansion of -1/3 in l
0.517 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.517 * [taylor]: Taking taylor expansion of l in l
0.517 * [taylor]: Taking taylor expansion of (/ -1/3 (pow l 3)) in l
0.517 * [taylor]: Taking taylor expansion of -1/3 in l
0.517 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.517 * [taylor]: Taking taylor expansion of l in l
0.518 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
0.518 * [approximate]: Taking taylor expansion of (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) in (l K) around 0
0.518 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) in K
0.518 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
0.518 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
0.518 * [taylor]: Taking taylor expansion of 0.5 in K
0.518 * [taylor]: Taking taylor expansion of K in K
0.518 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) in K
0.519 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in K
0.519 * [taylor]: Taking taylor expansion of 1/3 in K
0.519 * [taylor]: Taking taylor expansion of (pow l 3) in K
0.519 * [taylor]: Taking taylor expansion of l in K
0.519 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow l 5)) (* 2 l)) in K
0.519 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in K
0.519 * [taylor]: Taking taylor expansion of 1/60 in K
0.519 * [taylor]: Taking taylor expansion of (pow l 5) in K
0.519 * [taylor]: Taking taylor expansion of l in K
0.519 * [taylor]: Taking taylor expansion of (* 2 l) in K
0.519 * [taylor]: Taking taylor expansion of 2 in K
0.519 * [taylor]: Taking taylor expansion of l in K
0.519 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) in l
0.519 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
0.519 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
0.519 * [taylor]: Taking taylor expansion of 0.5 in l
0.519 * [taylor]: Taking taylor expansion of K in l
0.519 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) in l
0.519 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in l
0.519 * [taylor]: Taking taylor expansion of 1/3 in l
0.519 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.519 * [taylor]: Taking taylor expansion of l in l
0.519 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow l 5)) (* 2 l)) in l
0.519 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in l
0.519 * [taylor]: Taking taylor expansion of 1/60 in l
0.519 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.519 * [taylor]: Taking taylor expansion of l in l
0.519 * [taylor]: Taking taylor expansion of (* 2 l) in l
0.519 * [taylor]: Taking taylor expansion of 2 in l
0.519 * [taylor]: Taking taylor expansion of l in l
0.519 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) in l
0.519 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
0.519 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
0.519 * [taylor]: Taking taylor expansion of 0.5 in l
0.519 * [taylor]: Taking taylor expansion of K in l
0.519 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) in l
0.519 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in l
0.519 * [taylor]: Taking taylor expansion of 1/3 in l
0.519 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.519 * [taylor]: Taking taylor expansion of l in l
0.519 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow l 5)) (* 2 l)) in l
0.519 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in l
0.519 * [taylor]: Taking taylor expansion of 1/60 in l
0.519 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.519 * [taylor]: Taking taylor expansion of l in l
0.519 * [taylor]: Taking taylor expansion of (* 2 l) in l
0.519 * [taylor]: Taking taylor expansion of 2 in l
0.519 * [taylor]: Taking taylor expansion of l in l
0.520 * [taylor]: Taking taylor expansion of 0 in K
0.520 * [taylor]: Taking taylor expansion of (* 2 (cos (* 0.5 K))) in K
0.520 * [taylor]: Taking taylor expansion of 2 in K
0.520 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
0.520 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
0.520 * [taylor]: Taking taylor expansion of 0.5 in K
0.520 * [taylor]: Taking taylor expansion of K in K
0.521 * [taylor]: Taking taylor expansion of 0 in K
0.521 * [taylor]: Taking taylor expansion of (* 1/3 (cos (* 0.5 K))) in K
0.521 * [taylor]: Taking taylor expansion of 1/3 in K
0.521 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
0.521 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
0.521 * [taylor]: Taking taylor expansion of 0.5 in K
0.521 * [taylor]: Taking taylor expansion of K in K
0.522 * [approximate]: Taking taylor expansion of (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ 0.5 K))) in (l K) around 0
0.522 * [taylor]: Taking taylor expansion of (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ 0.5 K))) in K
0.522 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in K
0.522 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in K
0.522 * [taylor]: Taking taylor expansion of 1/60 in K
0.522 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in K
0.522 * [taylor]: Taking taylor expansion of (pow l 5) in K
0.522 * [taylor]: Taking taylor expansion of l in K
0.522 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in K
0.522 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in K
0.522 * [taylor]: Taking taylor expansion of 2 in K
0.522 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.522 * [taylor]: Taking taylor expansion of l in K
0.523 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in K
0.523 * [taylor]: Taking taylor expansion of 1/3 in K
0.523 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in K
0.523 * [taylor]: Taking taylor expansion of (pow l 3) in K
0.523 * [taylor]: Taking taylor expansion of l in K
0.523 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
0.523 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
0.523 * [taylor]: Taking taylor expansion of 0.5 in K
0.523 * [taylor]: Taking taylor expansion of K in K
0.523 * [taylor]: Taking taylor expansion of (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ 0.5 K))) in l
0.523 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
0.523 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
0.523 * [taylor]: Taking taylor expansion of 1/60 in l
0.523 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
0.523 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.523 * [taylor]: Taking taylor expansion of l in l
0.523 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
0.523 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
0.523 * [taylor]: Taking taylor expansion of 2 in l
0.523 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.523 * [taylor]: Taking taylor expansion of l in l
0.523 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
0.523 * [taylor]: Taking taylor expansion of 1/3 in l
0.523 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
0.523 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.523 * [taylor]: Taking taylor expansion of l in l
0.523 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
0.523 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
0.523 * [taylor]: Taking taylor expansion of 0.5 in l
0.523 * [taylor]: Taking taylor expansion of K in l
0.523 * [taylor]: Taking taylor expansion of (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ 0.5 K))) in l
0.523 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
0.523 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
0.523 * [taylor]: Taking taylor expansion of 1/60 in l
0.523 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
0.524 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.524 * [taylor]: Taking taylor expansion of l in l
0.524 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
0.524 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
0.524 * [taylor]: Taking taylor expansion of 2 in l
0.524 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.524 * [taylor]: Taking taylor expansion of l in l
0.524 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
0.524 * [taylor]: Taking taylor expansion of 1/3 in l
0.524 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
0.524 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.524 * [taylor]: Taking taylor expansion of l in l
0.524 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
0.524 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
0.524 * [taylor]: Taking taylor expansion of 0.5 in l
0.524 * [taylor]: Taking taylor expansion of K in l
0.524 * [taylor]: Taking taylor expansion of (* 1/60 (cos (/ 0.5 K))) in K
0.524 * [taylor]: Taking taylor expansion of 1/60 in K
0.524 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
0.524 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
0.524 * [taylor]: Taking taylor expansion of 0.5 in K
0.524 * [taylor]: Taking taylor expansion of K in K
0.525 * [taylor]: Taking taylor expansion of 0 in K
0.525 * [taylor]: Taking taylor expansion of (* 1/3 (cos (/ 0.5 K))) in K
0.525 * [taylor]: Taking taylor expansion of 1/3 in K
0.525 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
0.525 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
0.525 * [taylor]: Taking taylor expansion of 0.5 in K
0.525 * [taylor]: Taking taylor expansion of K in K
0.526 * [taylor]: Taking taylor expansion of 0 in K
0.527 * [approximate]: Taking taylor expansion of (* -1 (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K)))) in (l K) around 0
0.527 * [taylor]: Taking taylor expansion of (* -1 (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K)))) in K
0.527 * [taylor]: Taking taylor expansion of -1 in K
0.527 * [taylor]: Taking taylor expansion of (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K))) in K
0.528 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in K
0.528 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in K
0.528 * [taylor]: Taking taylor expansion of 1/60 in K
0.528 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in K
0.528 * [taylor]: Taking taylor expansion of (pow l 5) in K
0.528 * [taylor]: Taking taylor expansion of l in K
0.528 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in K
0.528 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in K
0.528 * [taylor]: Taking taylor expansion of 2 in K
0.528 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.528 * [taylor]: Taking taylor expansion of l in K
0.528 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in K
0.528 * [taylor]: Taking taylor expansion of 1/3 in K
0.528 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in K
0.528 * [taylor]: Taking taylor expansion of (pow l 3) in K
0.528 * [taylor]: Taking taylor expansion of l in K
0.528 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
0.528 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
0.528 * [taylor]: Taking taylor expansion of -0.5 in K
0.528 * [taylor]: Taking taylor expansion of K in K
0.528 * [taylor]: Taking taylor expansion of (* -1 (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K)))) in l
0.528 * [taylor]: Taking taylor expansion of -1 in l
0.528 * [taylor]: Taking taylor expansion of (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K))) in l
0.528 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
0.528 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
0.528 * [taylor]: Taking taylor expansion of 1/60 in l
0.529 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
0.529 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.529 * [taylor]: Taking taylor expansion of l in l
0.529 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
0.529 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
0.529 * [taylor]: Taking taylor expansion of 2 in l
0.529 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.529 * [taylor]: Taking taylor expansion of l in l
0.529 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
0.529 * [taylor]: Taking taylor expansion of 1/3 in l
0.529 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
0.529 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.529 * [taylor]: Taking taylor expansion of l in l
0.529 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
0.529 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
0.529 * [taylor]: Taking taylor expansion of -0.5 in l
0.529 * [taylor]: Taking taylor expansion of K in l
0.529 * [taylor]: Taking taylor expansion of (* -1 (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K)))) in l
0.529 * [taylor]: Taking taylor expansion of -1 in l
0.529 * [taylor]: Taking taylor expansion of (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K))) in l
0.529 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
0.529 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
0.529 * [taylor]: Taking taylor expansion of 1/60 in l
0.529 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
0.529 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.529 * [taylor]: Taking taylor expansion of l in l
0.529 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
0.529 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
0.529 * [taylor]: Taking taylor expansion of 2 in l
0.529 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.529 * [taylor]: Taking taylor expansion of l in l
0.529 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
0.529 * [taylor]: Taking taylor expansion of 1/3 in l
0.529 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
0.529 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.529 * [taylor]: Taking taylor expansion of l in l
0.529 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
0.529 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
0.529 * [taylor]: Taking taylor expansion of -0.5 in l
0.529 * [taylor]: Taking taylor expansion of K in l
0.530 * [taylor]: Taking taylor expansion of (* -1/60 (cos (/ -0.5 K))) in K
0.530 * [taylor]: Taking taylor expansion of -1/60 in K
0.530 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
0.530 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
0.530 * [taylor]: Taking taylor expansion of -0.5 in K
0.530 * [taylor]: Taking taylor expansion of K in K
0.530 * [taylor]: Taking taylor expansion of 0 in K
0.531 * [taylor]: Taking taylor expansion of (neg (* 1/3 (cos (/ -0.5 K)))) in K
0.531 * [taylor]: Taking taylor expansion of (* 1/3 (cos (/ -0.5 K))) in K
0.531 * [taylor]: Taking taylor expansion of 1/3 in K
0.531 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
0.531 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
0.531 * [taylor]: Taking taylor expansion of -0.5 in K
0.531 * [taylor]: Taking taylor expansion of K in K
0.533 * [taylor]: Taking taylor expansion of 0 in K
0.533 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
0.534 * [approximate]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))))) in (J l K) around 0
0.534 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))))) in K
0.534 * [taylor]: Taking taylor expansion of J in K
0.534 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) in K
0.534 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
0.534 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
0.534 * [taylor]: Taking taylor expansion of 0.5 in K
0.534 * [taylor]: Taking taylor expansion of K in K
0.534 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) in K
0.534 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in K
0.534 * [taylor]: Taking taylor expansion of 1/3 in K
0.534 * [taylor]: Taking taylor expansion of (pow l 3) in K
0.534 * [taylor]: Taking taylor expansion of l in K
0.534 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow l 5)) (* 2 l)) in K
0.534 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in K
0.534 * [taylor]: Taking taylor expansion of 1/60 in K
0.534 * [taylor]: Taking taylor expansion of (pow l 5) in K
0.534 * [taylor]: Taking taylor expansion of l in K
0.534 * [taylor]: Taking taylor expansion of (* 2 l) in K
0.534 * [taylor]: Taking taylor expansion of 2 in K
0.534 * [taylor]: Taking taylor expansion of l in K
0.534 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))))) in l
0.534 * [taylor]: Taking taylor expansion of J in l
0.534 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) in l
0.534 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
0.534 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
0.534 * [taylor]: Taking taylor expansion of 0.5 in l
0.534 * [taylor]: Taking taylor expansion of K in l
0.534 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) in l
0.534 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in l
0.534 * [taylor]: Taking taylor expansion of 1/3 in l
0.534 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.534 * [taylor]: Taking taylor expansion of l in l
0.534 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow l 5)) (* 2 l)) in l
0.534 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in l
0.534 * [taylor]: Taking taylor expansion of 1/60 in l
0.534 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.534 * [taylor]: Taking taylor expansion of l in l
0.534 * [taylor]: Taking taylor expansion of (* 2 l) in l
0.534 * [taylor]: Taking taylor expansion of 2 in l
0.534 * [taylor]: Taking taylor expansion of l in l
0.534 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))))) in J
0.534 * [taylor]: Taking taylor expansion of J in J
0.534 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) in J
0.534 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
0.535 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
0.535 * [taylor]: Taking taylor expansion of 0.5 in J
0.535 * [taylor]: Taking taylor expansion of K in J
0.535 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) in J
0.535 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in J
0.535 * [taylor]: Taking taylor expansion of 1/3 in J
0.535 * [taylor]: Taking taylor expansion of (pow l 3) in J
0.535 * [taylor]: Taking taylor expansion of l in J
0.535 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow l 5)) (* 2 l)) in J
0.535 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in J
0.535 * [taylor]: Taking taylor expansion of 1/60 in J
0.535 * [taylor]: Taking taylor expansion of (pow l 5) in J
0.535 * [taylor]: Taking taylor expansion of l in J
0.535 * [taylor]: Taking taylor expansion of (* 2 l) in J
0.535 * [taylor]: Taking taylor expansion of 2 in J
0.535 * [taylor]: Taking taylor expansion of l in J
0.535 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))))) in J
0.535 * [taylor]: Taking taylor expansion of J in J
0.535 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) in J
0.535 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
0.535 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
0.535 * [taylor]: Taking taylor expansion of 0.5 in J
0.535 * [taylor]: Taking taylor expansion of K in J
0.535 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) in J
0.535 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in J
0.535 * [taylor]: Taking taylor expansion of 1/3 in J
0.535 * [taylor]: Taking taylor expansion of (pow l 3) in J
0.535 * [taylor]: Taking taylor expansion of l in J
0.535 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow l 5)) (* 2 l)) in J
0.535 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in J
0.535 * [taylor]: Taking taylor expansion of 1/60 in J
0.535 * [taylor]: Taking taylor expansion of (pow l 5) in J
0.535 * [taylor]: Taking taylor expansion of l in J
0.535 * [taylor]: Taking taylor expansion of (* 2 l) in J
0.535 * [taylor]: Taking taylor expansion of 2 in J
0.535 * [taylor]: Taking taylor expansion of l in J
0.536 * [taylor]: Taking taylor expansion of 0 in l
0.536 * [taylor]: Taking taylor expansion of 0 in K
0.537 * [taylor]: Taking taylor expansion of (+ (* 1/3 (* (cos (* 0.5 K)) (pow l 3))) (+ (* 1/60 (* (cos (* 0.5 K)) (pow l 5))) (* 2 (* (cos (* 0.5 K)) l)))) in l
0.538 * [taylor]: Taking taylor expansion of (* 1/3 (* (cos (* 0.5 K)) (pow l 3))) in l
0.538 * [taylor]: Taking taylor expansion of 1/3 in l
0.538 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (pow l 3)) in l
0.538 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
0.538 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
0.538 * [taylor]: Taking taylor expansion of 0.5 in l
0.538 * [taylor]: Taking taylor expansion of K in l
0.538 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.538 * [taylor]: Taking taylor expansion of l in l
0.538 * [taylor]: Taking taylor expansion of (+ (* 1/60 (* (cos (* 0.5 K)) (pow l 5))) (* 2 (* (cos (* 0.5 K)) l))) in l
0.538 * [taylor]: Taking taylor expansion of (* 1/60 (* (cos (* 0.5 K)) (pow l 5))) in l
0.538 * [taylor]: Taking taylor expansion of 1/60 in l
0.538 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (pow l 5)) in l
0.538 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
0.538 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
0.538 * [taylor]: Taking taylor expansion of 0.5 in l
0.538 * [taylor]: Taking taylor expansion of K in l
0.538 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.538 * [taylor]: Taking taylor expansion of l in l
0.538 * [taylor]: Taking taylor expansion of (* 2 (* (cos (* 0.5 K)) l)) in l
0.538 * [taylor]: Taking taylor expansion of 2 in l
0.538 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l
0.538 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
0.538 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
0.538 * [taylor]: Taking taylor expansion of 0.5 in l
0.538 * [taylor]: Taking taylor expansion of K in l
0.538 * [taylor]: Taking taylor expansion of l in l
0.538 * [taylor]: Taking taylor expansion of 0 in K
0.538 * [taylor]: Taking taylor expansion of 0 in K
0.540 * [taylor]: Taking taylor expansion of 0 in l
0.540 * [taylor]: Taking taylor expansion of 0 in K
0.540 * [taylor]: Taking taylor expansion of (* 2 (cos (* 0.5 K))) in K
0.540 * [taylor]: Taking taylor expansion of 2 in K
0.540 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
0.540 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
0.540 * [taylor]: Taking taylor expansion of 0.5 in K
0.540 * [taylor]: Taking taylor expansion of K in K
0.540 * [taylor]: Taking taylor expansion of 0 in K
0.542 * [taylor]: Taking taylor expansion of 0 in l
0.542 * [taylor]: Taking taylor expansion of 0 in K
0.542 * [taylor]: Taking taylor expansion of 0 in K
0.542 * [approximate]: Taking taylor expansion of (/ (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ 0.5 K))) J) in (J l K) around 0
0.542 * [taylor]: Taking taylor expansion of (/ (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ 0.5 K))) J) in K
0.542 * [taylor]: Taking taylor expansion of (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ 0.5 K))) in K
0.542 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in K
0.542 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in K
0.542 * [taylor]: Taking taylor expansion of 1/60 in K
0.542 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in K
0.542 * [taylor]: Taking taylor expansion of (pow l 5) in K
0.542 * [taylor]: Taking taylor expansion of l in K
0.543 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in K
0.543 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in K
0.543 * [taylor]: Taking taylor expansion of 2 in K
0.543 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.543 * [taylor]: Taking taylor expansion of l in K
0.543 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in K
0.543 * [taylor]: Taking taylor expansion of 1/3 in K
0.543 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in K
0.543 * [taylor]: Taking taylor expansion of (pow l 3) in K
0.543 * [taylor]: Taking taylor expansion of l in K
0.543 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
0.543 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
0.543 * [taylor]: Taking taylor expansion of 0.5 in K
0.543 * [taylor]: Taking taylor expansion of K in K
0.543 * [taylor]: Taking taylor expansion of J in K
0.544 * [taylor]: Taking taylor expansion of (/ (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ 0.5 K))) J) in l
0.544 * [taylor]: Taking taylor expansion of (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ 0.5 K))) in l
0.544 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
0.544 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
0.544 * [taylor]: Taking taylor expansion of 1/60 in l
0.544 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
0.544 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.544 * [taylor]: Taking taylor expansion of l in l
0.544 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
0.544 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
0.544 * [taylor]: Taking taylor expansion of 2 in l
0.544 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.544 * [taylor]: Taking taylor expansion of l in l
0.544 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
0.544 * [taylor]: Taking taylor expansion of 1/3 in l
0.544 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
0.544 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.544 * [taylor]: Taking taylor expansion of l in l
0.544 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
0.544 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
0.544 * [taylor]: Taking taylor expansion of 0.5 in l
0.544 * [taylor]: Taking taylor expansion of K in l
0.545 * [taylor]: Taking taylor expansion of J in l
0.545 * [taylor]: Taking taylor expansion of (/ (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ 0.5 K))) J) in J
0.545 * [taylor]: Taking taylor expansion of (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ 0.5 K))) in J
0.545 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in J
0.545 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in J
0.545 * [taylor]: Taking taylor expansion of 1/60 in J
0.545 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in J
0.545 * [taylor]: Taking taylor expansion of (pow l 5) in J
0.545 * [taylor]: Taking taylor expansion of l in J
0.545 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in J
0.545 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in J
0.545 * [taylor]: Taking taylor expansion of 2 in J
0.545 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.545 * [taylor]: Taking taylor expansion of l in J
0.545 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in J
0.545 * [taylor]: Taking taylor expansion of 1/3 in J
0.545 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in J
0.545 * [taylor]: Taking taylor expansion of (pow l 3) in J
0.545 * [taylor]: Taking taylor expansion of l in J
0.545 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
0.545 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
0.545 * [taylor]: Taking taylor expansion of 0.5 in J
0.546 * [taylor]: Taking taylor expansion of K in J
0.546 * [taylor]: Taking taylor expansion of J in J
0.547 * [taylor]: Taking taylor expansion of (/ (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ 0.5 K))) J) in J
0.547 * [taylor]: Taking taylor expansion of (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ 0.5 K))) in J
0.547 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in J
0.547 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in J
0.547 * [taylor]: Taking taylor expansion of 1/60 in J
0.547 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in J
0.547 * [taylor]: Taking taylor expansion of (pow l 5) in J
0.547 * [taylor]: Taking taylor expansion of l in J
0.547 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in J
0.547 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in J
0.547 * [taylor]: Taking taylor expansion of 2 in J
0.547 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.547 * [taylor]: Taking taylor expansion of l in J
0.547 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in J
0.547 * [taylor]: Taking taylor expansion of 1/3 in J
0.547 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in J
0.547 * [taylor]: Taking taylor expansion of (pow l 3) in J
0.547 * [taylor]: Taking taylor expansion of l in J
0.548 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
0.548 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
0.548 * [taylor]: Taking taylor expansion of 0.5 in J
0.548 * [taylor]: Taking taylor expansion of K in J
0.548 * [taylor]: Taking taylor expansion of J in J
0.549 * [taylor]: Taking taylor expansion of (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ 0.5 K))) in l
0.549 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
0.549 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
0.549 * [taylor]: Taking taylor expansion of 1/60 in l
0.549 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
0.549 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.549 * [taylor]: Taking taylor expansion of l in l
0.549 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
0.549 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
0.549 * [taylor]: Taking taylor expansion of 2 in l
0.549 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.549 * [taylor]: Taking taylor expansion of l in l
0.549 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
0.549 * [taylor]: Taking taylor expansion of 1/3 in l
0.549 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
0.549 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.549 * [taylor]: Taking taylor expansion of l in l
0.549 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
0.549 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
0.549 * [taylor]: Taking taylor expansion of 0.5 in l
0.549 * [taylor]: Taking taylor expansion of K in l
0.549 * [taylor]: Taking taylor expansion of (* 1/60 (cos (/ 0.5 K))) in K
0.549 * [taylor]: Taking taylor expansion of 1/60 in K
0.549 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
0.549 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
0.549 * [taylor]: Taking taylor expansion of 0.5 in K
0.549 * [taylor]: Taking taylor expansion of K in K
0.551 * [taylor]: Taking taylor expansion of 0 in l
0.552 * [taylor]: Taking taylor expansion of 0 in K
0.553 * [taylor]: Taking taylor expansion of 0 in l
0.554 * [taylor]: Taking taylor expansion of (* 1/3 (cos (/ 0.5 K))) in K
0.554 * [taylor]: Taking taylor expansion of 1/3 in K
0.554 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
0.554 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
0.554 * [taylor]: Taking taylor expansion of 0.5 in K
0.554 * [taylor]: Taking taylor expansion of K in K
0.557 * [taylor]: Taking taylor expansion of 0 in l
0.558 * [taylor]: Taking taylor expansion of 0 in K
0.559 * [approximate]: Taking taylor expansion of (/ (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K))) J) in (J l K) around 0
0.559 * [taylor]: Taking taylor expansion of (/ (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K))) J) in K
0.559 * [taylor]: Taking taylor expansion of (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K))) in K
0.559 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in K
0.559 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in K
0.559 * [taylor]: Taking taylor expansion of 1/60 in K
0.559 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in K
0.559 * [taylor]: Taking taylor expansion of (pow l 5) in K
0.559 * [taylor]: Taking taylor expansion of l in K
0.559 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in K
0.559 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in K
0.559 * [taylor]: Taking taylor expansion of 2 in K
0.559 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.559 * [taylor]: Taking taylor expansion of l in K
0.559 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in K
0.559 * [taylor]: Taking taylor expansion of 1/3 in K
0.559 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in K
0.559 * [taylor]: Taking taylor expansion of (pow l 3) in K
0.559 * [taylor]: Taking taylor expansion of l in K
0.559 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
0.560 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
0.560 * [taylor]: Taking taylor expansion of -0.5 in K
0.560 * [taylor]: Taking taylor expansion of K in K
0.560 * [taylor]: Taking taylor expansion of J in K
0.561 * [taylor]: Taking taylor expansion of (/ (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K))) J) in l
0.561 * [taylor]: Taking taylor expansion of (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K))) in l
0.561 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
0.561 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
0.561 * [taylor]: Taking taylor expansion of 1/60 in l
0.561 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
0.561 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.561 * [taylor]: Taking taylor expansion of l in l
0.561 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
0.561 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
0.561 * [taylor]: Taking taylor expansion of 2 in l
0.561 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.561 * [taylor]: Taking taylor expansion of l in l
0.561 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
0.561 * [taylor]: Taking taylor expansion of 1/3 in l
0.561 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
0.561 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.561 * [taylor]: Taking taylor expansion of l in l
0.561 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
0.561 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
0.561 * [taylor]: Taking taylor expansion of -0.5 in l
0.561 * [taylor]: Taking taylor expansion of K in l
0.561 * [taylor]: Taking taylor expansion of J in l
0.561 * [taylor]: Taking taylor expansion of (/ (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K))) J) in J
0.561 * [taylor]: Taking taylor expansion of (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K))) in J
0.561 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in J
0.561 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in J
0.561 * [taylor]: Taking taylor expansion of 1/60 in J
0.561 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in J
0.561 * [taylor]: Taking taylor expansion of (pow l 5) in J
0.561 * [taylor]: Taking taylor expansion of l in J
0.562 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in J
0.562 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in J
0.562 * [taylor]: Taking taylor expansion of 2 in J
0.562 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.562 * [taylor]: Taking taylor expansion of l in J
0.562 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in J
0.562 * [taylor]: Taking taylor expansion of 1/3 in J
0.562 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in J
0.562 * [taylor]: Taking taylor expansion of (pow l 3) in J
0.562 * [taylor]: Taking taylor expansion of l in J
0.562 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
0.562 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
0.562 * [taylor]: Taking taylor expansion of -0.5 in J
0.562 * [taylor]: Taking taylor expansion of K in J
0.562 * [taylor]: Taking taylor expansion of J in J
0.563 * [taylor]: Taking taylor expansion of (/ (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K))) J) in J
0.563 * [taylor]: Taking taylor expansion of (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K))) in J
0.563 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in J
0.563 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in J
0.563 * [taylor]: Taking taylor expansion of 1/60 in J
0.563 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in J
0.563 * [taylor]: Taking taylor expansion of (pow l 5) in J
0.563 * [taylor]: Taking taylor expansion of l in J
0.564 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in J
0.564 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in J
0.564 * [taylor]: Taking taylor expansion of 2 in J
0.564 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.564 * [taylor]: Taking taylor expansion of l in J
0.564 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in J
0.564 * [taylor]: Taking taylor expansion of 1/3 in J
0.564 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in J
0.564 * [taylor]: Taking taylor expansion of (pow l 3) in J
0.564 * [taylor]: Taking taylor expansion of l in J
0.564 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
0.564 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
0.564 * [taylor]: Taking taylor expansion of -0.5 in J
0.564 * [taylor]: Taking taylor expansion of K in J
0.564 * [taylor]: Taking taylor expansion of J in J
0.565 * [taylor]: Taking taylor expansion of (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K))) in l
0.565 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
0.565 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
0.565 * [taylor]: Taking taylor expansion of 1/60 in l
0.565 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
0.565 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.565 * [taylor]: Taking taylor expansion of l in l
0.565 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
0.565 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
0.565 * [taylor]: Taking taylor expansion of 2 in l
0.565 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.565 * [taylor]: Taking taylor expansion of l in l
0.565 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
0.565 * [taylor]: Taking taylor expansion of 1/3 in l
0.565 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
0.565 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.565 * [taylor]: Taking taylor expansion of l in l
0.565 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
0.565 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
0.565 * [taylor]: Taking taylor expansion of -0.5 in l
0.565 * [taylor]: Taking taylor expansion of K in l
0.566 * [taylor]: Taking taylor expansion of (* 1/60 (cos (/ -0.5 K))) in K
0.566 * [taylor]: Taking taylor expansion of 1/60 in K
0.566 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
0.566 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
0.566 * [taylor]: Taking taylor expansion of -0.5 in K
0.566 * [taylor]: Taking taylor expansion of K in K
0.567 * [taylor]: Taking taylor expansion of 0 in l
0.568 * [taylor]: Taking taylor expansion of 0 in K
0.570 * [taylor]: Taking taylor expansion of 0 in l
0.570 * [taylor]: Taking taylor expansion of (* 1/3 (cos (/ -0.5 K))) in K
0.570 * [taylor]: Taking taylor expansion of 1/3 in K
0.570 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
0.570 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
0.570 * [taylor]: Taking taylor expansion of -0.5 in K
0.570 * [taylor]: Taking taylor expansion of K in K
0.573 * [taylor]: Taking taylor expansion of 0 in l
0.574 * [taylor]: Taking taylor expansion of 0 in K
0.574 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 2 2)
0.574 * [approximate]: Taking taylor expansion of (* 1/60 (pow l 5)) in (l) around 0
0.574 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in l
0.574 * [taylor]: Taking taylor expansion of 1/60 in l
0.574 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.574 * [taylor]: Taking taylor expansion of l in l
0.574 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in l
0.575 * [taylor]: Taking taylor expansion of 1/60 in l
0.575 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.575 * [taylor]: Taking taylor expansion of l in l
0.576 * [approximate]: Taking taylor expansion of (/ 1/60 (pow l 5)) in (l) around 0
0.576 * [taylor]: Taking taylor expansion of (/ 1/60 (pow l 5)) in l
0.576 * [taylor]: Taking taylor expansion of 1/60 in l
0.576 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.576 * [taylor]: Taking taylor expansion of l in l
0.576 * [taylor]: Taking taylor expansion of (/ 1/60 (pow l 5)) in l
0.576 * [taylor]: Taking taylor expansion of 1/60 in l
0.576 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.576 * [taylor]: Taking taylor expansion of l in l
0.578 * [approximate]: Taking taylor expansion of (/ -1/60 (pow l 5)) in (l) around 0
0.578 * [taylor]: Taking taylor expansion of (/ -1/60 (pow l 5)) in l
0.578 * [taylor]: Taking taylor expansion of -1/60 in l
0.578 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.578 * [taylor]: Taking taylor expansion of l in l
0.578 * [taylor]: Taking taylor expansion of (/ -1/60 (pow l 5)) in l
0.578 * [taylor]: Taking taylor expansion of -1/60 in l
0.578 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.578 * [taylor]: Taking taylor expansion of l in l
0.579 * * * [progress]: simplifying candidates
0.581 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (log 1/3) (* (log l) 3))
  (+ (log 1/3) (* (log l) 3))
  (+ (log 1/3) (log (pow l 3)))
  (log (* 1/3 (pow l 3)))
  (exp (* 1/3 (pow l 3)))
  (* (* (* 1/3 1/3) 1/3) (* (* (pow l 3) (pow l 3)) (pow l 3)))
  (* (cbrt (* 1/3 (pow l 3))) (cbrt (* 1/3 (pow l 3))))
  (cbrt (* 1/3 (pow l 3)))
  (* (* (* 1/3 (pow l 3)) (* 1/3 (pow l 3))) (* 1/3 (pow l 3)))
  (sqrt (* 1/3 (pow l 3)))
  (sqrt (* 1/3 (pow l 3)))
  (* (sqrt 1/3) (pow (sqrt l) 3))
  (* (sqrt 1/3) (pow (sqrt l) 3))
  (* (sqrt 1/3) (pow (sqrt l) 3))
  (* (sqrt 1/3) (pow (sqrt l) 3))
  (* (sqrt 1/3) (sqrt (pow l 3)))
  (* (sqrt 1/3) (sqrt (pow l 3)))
  (* (sqrt 1/3) (pow l (/ 3 2)))
  (* (sqrt 1/3) (pow l (/ 3 2)))
  (* 1/3 (pow (* (cbrt l) (cbrt l)) 3))
  (* 1/3 (pow (sqrt l) 3))
  (* 1/3 (pow 1 3))
  (* 1/3 (* l l))
  (* 1/3 (* (cbrt (pow l 3)) (cbrt (pow l 3))))
  (* 1/3 (pow (* (cbrt l) (cbrt l)) 3))
  (* 1/3 (pow (sqrt l) 3))
  (* 1/3 (pow 1 3))
  (* 1/3 l)
  (* 1/3 (sqrt (pow l 3)))
  (* 1/3 1)
  (* 1/3 (pow l (/ 3 2)))
  (* (cbrt 1/3) (pow l 3))
  (* (sqrt 1/3) (pow l 3))
  (* 1/3 (pow l 3))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0)))
  (+ (log (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (log (cos (/ K 2.0))))
  (log (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0))))
  (exp (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0))))
  (* (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (* (* (cos (/ K 2.0)) (cos (/ K 2.0))) (cos (/ K 2.0))))
  (* (cbrt (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0)))) (cbrt (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0)))))
  (cbrt (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0))))
  (* (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0))) (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0)))) (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0))))
  (sqrt (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0))))
  (sqrt (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0))))
  (* (sqrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (sqrt (cos (/ K 2.0))))
  (* (sqrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (sqrt (cos (/ K 2.0))))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0)))))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (sqrt (cos (/ K 2.0))))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) 1)
  (* (cbrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (cos (/ K 2.0)))
  (* (sqrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (cos (/ K 2.0)))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0)))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0)))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0)))
  (* (+ (pow l 3) (pow (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))) 3)) (cos (/ K 2.0)))
  (* (- (* l l) (* (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))) (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (cos (/ K 2.0)))
  (* J (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0))))
  (* J (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0))))
  (+ (log J) (+ (log (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (log (cos (/ K 2.0)))))
  (+ (log J) (log (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0)))))
  (log (* J (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0)))))
  (exp (* J (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0)))))
  (* (* (* J J) J) (* (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (* (* (cos (/ K 2.0)) (cos (/ K 2.0))) (cos (/ K 2.0)))))
  (* (* (* J J) J) (* (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0))) (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0)))) (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0)))))
  (* (cbrt (* J (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0))))) (cbrt (* J (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0))))))
  (cbrt (* J (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0)))))
  (* (* (* J (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0)))) (* J (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0))))) (* J (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0)))))
  (sqrt (* J (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0)))))
  (sqrt (* J (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0)))))
  (* J (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))))
  (* (cbrt J) (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0))))
  (* (sqrt J) (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0))))
  (* J (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0))))
  (* J (* (+ (pow l 3) (pow (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))) 3)) (cos (/ K 2.0))))
  (* J (* (- (* l l) (* (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))) (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (cos (/ K 2.0))))
  (+ (log 1/60) (* (log l) 5))
  (+ (log 1/60) (* (log l) 5))
  (+ (log 1/60) (log (pow l 5)))
  (log (* 1/60 (pow l 5)))
  (exp (* 1/60 (pow l 5)))
  (* (* (* 1/60 1/60) 1/60) (* (* (pow l 5) (pow l 5)) (pow l 5)))
  (* (cbrt (* 1/60 (pow l 5))) (cbrt (* 1/60 (pow l 5))))
  (cbrt (* 1/60 (pow l 5)))
  (* (* (* 1/60 (pow l 5)) (* 1/60 (pow l 5))) (* 1/60 (pow l 5)))
  (sqrt (* 1/60 (pow l 5)))
  (sqrt (* 1/60 (pow l 5)))
  (* (sqrt 1/60) (pow (sqrt l) 5))
  (* (sqrt 1/60) (pow (sqrt l) 5))
  (* (sqrt 1/60) (sqrt (pow l 5)))
  (* (sqrt 1/60) (sqrt (pow l 5)))
  (* (sqrt 1/60) (pow l (/ 5 2)))
  (* (sqrt 1/60) (pow l (/ 5 2)))
  (* 1/60 (pow (* (cbrt l) (cbrt l)) 5))
  (* 1/60 (pow (sqrt l) 5))
  (* 1/60 (pow 1 5))
  (* 1/60 (* (cbrt (pow l 5)) (cbrt (pow l 5))))
  (* 1/60 (sqrt (pow l 5)))
  (* 1/60 1)
  (* 1/60 (pow l (/ 5 2)))
  (* (cbrt 1/60) (pow l 5))
  (* (sqrt 1/60) (pow l 5))
  (* 1/60 (pow l 5))
  (* 1/3 (pow l 3))
  (* 1/3 (pow l 3))
  (* 1/3 (pow l 3))
  (- (+ (* 1/3 (pow l 3)) (* 2 l)) (* 0.25 (* (pow K 2) l)))
  (+ (* 1/60 (* (cos (* 0.5 K)) (pow l 5))) (* 1/3 (* (cos (* 0.5 K)) (pow l 3))))
  (+ (* 1/60 (* (cos (* 0.5 K)) (pow l 5))) (* 1/3 (* (cos (* 0.5 K)) (pow l 3))))
  (* 2 (* J l))
  (+ (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) (* 1/60 (* J (* (cos (* 0.5 K)) (pow l 5)))))
  (+ (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) (* 1/60 (* J (* (cos (* 0.5 K)) (pow l 5)))))
  (* 1/60 (pow l 5))
  (* 1/60 (pow l 5))
  (* 1/60 (pow l 5))
0.618 * * [simplify]: iteration  0 :  5023  enodes  (cost  1450 )
0.623 * [simplify]: Simplified to:
   (log (* 1/3 (pow l 3)))
  (log (* 1/3 (pow l 3)))
  (log (* 1/3 (pow l 3)))
  (log (* 1/3 (pow l 3)))
  (cbrt (exp (pow l 3)))
  (* 1/27 (* (pow l 8) l))
  (* (cbrt (* 1/3 (pow l 3))) (cbrt (* 1/3 (pow l 3))))
  (cbrt (* 1/3 (pow l 3)))
  (* 1/27 (* (pow l 8) l))
  (sqrt (* 1/3 (pow l 3)))
  (sqrt (* 1/3 (pow l 3)))
  (* l (* (sqrt l) (sqrt 1/3)))
  (* l (* (sqrt l) (sqrt 1/3)))
  (* l (* (sqrt l) (sqrt 1/3)))
  (* l (* (sqrt l) (sqrt 1/3)))
  (* (sqrt 1/3) (sqrt (pow l 3)))
  (* (sqrt 1/3) (sqrt (pow l 3)))
  (* (sqrt 1/3) (pow l 3/2))
  (* (sqrt 1/3) (pow l 3/2))
  (* 1/3 (* l l))
  (* 1/3 (* l (sqrt l)))
  1/3
  (* 1/3 (* l l))
  (* 1/3 (* l l))
  (* 1/3 (* l l))
  (* 1/3 (* l (sqrt l)))
  1/3
  (* 1/3 l)
  (* 1/3 (sqrt (pow l 3)))
  1/3
  (* 1/3 (pow l 3/2))
  (* (pow l 3) (cbrt 1/3))
  (* (pow l 3) (sqrt 1/3))
  (* 1/3 (pow l 3))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0)))
  (log (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0))))
  (log (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0))))
  (pow (* (cbrt (exp (pow l 3))) (exp (+ l (+ l (* 1/60 (pow l 5)))))) (cos (/ K 2.0)))
  (pow (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0))) 3)
  (* (cbrt (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0)))) (cbrt (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0)))))
  (cbrt (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0))))
  (pow (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0))) 3)
  (sqrt (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0))))
  (sqrt (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0))))
  (* (sqrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (sqrt (cos (/ K 2.0))))
  (* (sqrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (sqrt (cos (/ K 2.0))))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0)))))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (sqrt (cos (/ K 2.0))))
  (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))
  (* (cos (/ K 2.0)) (cbrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))))
  (* (cos (/ K 2.0)) (sqrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0)))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0)))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0)))
  (* (cos (/ K 2.0)) (+ (pow l 3) (pow (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))) 3)))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* (+ (* (pow l 3) -1/3) (* (pow l 5) -1/60)) (cos (/ K 2.0))))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0))))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0))))
  (log (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))))
  (log (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))))
  (log (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))))
  (pow (pow (* (cbrt (exp (pow l 3))) (exp (+ l (+ l (* 1/60 (pow l 5)))))) (cos (/ K 2.0))) J)
  (pow (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))) 3)
  (pow (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))) 3)
  (* (cbrt (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0))))) (cbrt (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0))))))
  (cbrt (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))))
  (pow (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))) 3)
  (sqrt (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))))
  (sqrt (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) J)
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* (cos (/ K 2.0)) (cbrt J)))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* (cos (/ K 2.0)) (sqrt J)))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0))))
  (* (cos (/ K 2.0)) (* (+ (pow l 3) (pow (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))) 3)) J))
  (* (cos (/ K 2.0)) (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (+ (* (pow l 3) -1/3) (* (pow l 5) -1/60))) J))
  (log (* 1/60 (pow l 5)))
  (log (* 1/60 (pow l 5)))
  (log (* 1/60 (pow l 5)))
  (log (* 1/60 (pow l 5)))
  (pow (exp 1/60) (pow l 5))
  (* 1/216000 (pow (pow l 5) 3))
  (* (cbrt (* 1/60 (pow l 5))) (cbrt (* 1/60 (pow l 5))))
  (cbrt (* 1/60 (pow l 5)))
  (* 1/216000 (pow (pow l 5) 3))
  (sqrt (* 1/60 (pow l 5)))
  (sqrt (* 1/60 (pow l 5)))
  (* (sqrt 1/60) (pow (sqrt l) 5))
  (* (sqrt 1/60) (pow (sqrt l) 5))
  (* (sqrt 1/60) (sqrt (pow l 5)))
  (* (sqrt 1/60) (sqrt (pow l 5)))
  (* (sqrt 1/60) (pow l 5/2))
  (* (sqrt 1/60) (pow l 5/2))
  (* 1/60 (pow (* (cbrt l) (cbrt l)) 5))
  (* 1/60 (pow (sqrt l) 5))
  1/60
  (* 1/60 (* (cbrt (pow l 5)) (cbrt (pow l 5))))
  (* 1/60 (sqrt (pow l 5)))
  1/60
  (* 1/60 (pow l 5/2))
  (* (pow l 5) (cbrt 1/60))
  (* (pow l 5) (sqrt 1/60))
  (* 1/60 (pow l 5))
  (* 1/3 (pow l 3))
  (* 1/3 (pow l 3))
  (* 1/3 (pow l 3))
  (+ (* 1/3 (pow l 3)) (* l (- 2 (* 0.25 (* K K)))))
  (* (cos (* K 0.5)) (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))
  (* (cos (* K 0.5)) (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))
  (* l (* 2 J))
  (* J (* (cos (* K 0.5)) (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))
  (* J (* (cos (* K 0.5)) (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))
  (* 1/60 (pow l 5))
  (* 1/60 (pow l 5))
  (* 1/60 (pow l 5))
0.624 * * * [progress]: adding candidates to table
0.842 * * [progress]: iteration 3 / 4
0.842 * * * [progress]: picking best candidate
0.879 * * * * [pick]: Picked  #<alt (λ (J l K U) (+ (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) J) (cos (/ K 2.0))) U))>
0.879 * * * [progress]: localizing error
0.897 * * * [progress]: generating rewritten candidates
0.897 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.910 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 2 2 1)
0.917 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 2 2 2)
0.923 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
0.935 * * * [progress]: generating series expansions
0.935 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.935 * [approximate]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))))) in (l J K) around 0
0.935 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))))) in K
0.935 * [taylor]: Taking taylor expansion of J in K
0.935 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) in K
0.935 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
0.935 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
0.935 * [taylor]: Taking taylor expansion of 0.5 in K
0.935 * [taylor]: Taking taylor expansion of K in K
0.935 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) in K
0.935 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in K
0.935 * [taylor]: Taking taylor expansion of 1/3 in K
0.935 * [taylor]: Taking taylor expansion of (pow l 3) in K
0.936 * [taylor]: Taking taylor expansion of l in K
0.936 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow l 5)) (* 2 l)) in K
0.936 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in K
0.936 * [taylor]: Taking taylor expansion of 1/60 in K
0.936 * [taylor]: Taking taylor expansion of (pow l 5) in K
0.936 * [taylor]: Taking taylor expansion of l in K
0.936 * [taylor]: Taking taylor expansion of (* 2 l) in K
0.936 * [taylor]: Taking taylor expansion of 2 in K
0.936 * [taylor]: Taking taylor expansion of l in K
0.936 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))))) in J
0.936 * [taylor]: Taking taylor expansion of J in J
0.936 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) in J
0.936 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
0.936 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
0.936 * [taylor]: Taking taylor expansion of 0.5 in J
0.936 * [taylor]: Taking taylor expansion of K in J
0.936 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) in J
0.936 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in J
0.936 * [taylor]: Taking taylor expansion of 1/3 in J
0.936 * [taylor]: Taking taylor expansion of (pow l 3) in J
0.936 * [taylor]: Taking taylor expansion of l in J
0.936 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow l 5)) (* 2 l)) in J
0.936 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in J
0.936 * [taylor]: Taking taylor expansion of 1/60 in J
0.936 * [taylor]: Taking taylor expansion of (pow l 5) in J
0.936 * [taylor]: Taking taylor expansion of l in J
0.936 * [taylor]: Taking taylor expansion of (* 2 l) in J
0.936 * [taylor]: Taking taylor expansion of 2 in J
0.936 * [taylor]: Taking taylor expansion of l in J
0.936 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))))) in l
0.936 * [taylor]: Taking taylor expansion of J in l
0.936 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) in l
0.936 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
0.936 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
0.936 * [taylor]: Taking taylor expansion of 0.5 in l
0.936 * [taylor]: Taking taylor expansion of K in l
0.936 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) in l
0.936 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in l
0.936 * [taylor]: Taking taylor expansion of 1/3 in l
0.936 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.936 * [taylor]: Taking taylor expansion of l in l
0.936 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow l 5)) (* 2 l)) in l
0.936 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in l
0.936 * [taylor]: Taking taylor expansion of 1/60 in l
0.936 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.936 * [taylor]: Taking taylor expansion of l in l
0.937 * [taylor]: Taking taylor expansion of (* 2 l) in l
0.937 * [taylor]: Taking taylor expansion of 2 in l
0.937 * [taylor]: Taking taylor expansion of l in l
0.937 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))))) in l
0.937 * [taylor]: Taking taylor expansion of J in l
0.937 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) in l
0.937 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
0.937 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
0.937 * [taylor]: Taking taylor expansion of 0.5 in l
0.937 * [taylor]: Taking taylor expansion of K in l
0.937 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) in l
0.937 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in l
0.937 * [taylor]: Taking taylor expansion of 1/3 in l
0.937 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.937 * [taylor]: Taking taylor expansion of l in l
0.937 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow l 5)) (* 2 l)) in l
0.937 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in l
0.937 * [taylor]: Taking taylor expansion of 1/60 in l
0.937 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.937 * [taylor]: Taking taylor expansion of l in l
0.937 * [taylor]: Taking taylor expansion of (* 2 l) in l
0.937 * [taylor]: Taking taylor expansion of 2 in l
0.937 * [taylor]: Taking taylor expansion of l in l
0.937 * [taylor]: Taking taylor expansion of 0 in J
0.937 * [taylor]: Taking taylor expansion of 0 in K
0.938 * [taylor]: Taking taylor expansion of (* 2 (* J (cos (* 0.5 K)))) in J
0.938 * [taylor]: Taking taylor expansion of 2 in J
0.938 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in J
0.938 * [taylor]: Taking taylor expansion of J in J
0.938 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
0.938 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
0.938 * [taylor]: Taking taylor expansion of 0.5 in J
0.938 * [taylor]: Taking taylor expansion of K in J
0.938 * [taylor]: Taking taylor expansion of 0 in K
0.938 * [taylor]: Taking taylor expansion of 0 in K
0.938 * [taylor]: Taking taylor expansion of 0 in J
0.938 * [taylor]: Taking taylor expansion of 0 in K
0.939 * [taylor]: Taking taylor expansion of (* 2 (cos (* 0.5 K))) in K
0.939 * [taylor]: Taking taylor expansion of 2 in K
0.939 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
0.939 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
0.939 * [taylor]: Taking taylor expansion of 0.5 in K
0.939 * [taylor]: Taking taylor expansion of K in K
0.939 * [taylor]: Taking taylor expansion of 0 in K
0.940 * [taylor]: Taking taylor expansion of (* 1/3 (* J (cos (* 0.5 K)))) in J
0.940 * [taylor]: Taking taylor expansion of 1/3 in J
0.940 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in J
0.940 * [taylor]: Taking taylor expansion of J in J
0.940 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
0.940 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
0.940 * [taylor]: Taking taylor expansion of 0.5 in J
0.940 * [taylor]: Taking taylor expansion of K in J
0.940 * [taylor]: Taking taylor expansion of 0 in K
0.940 * [taylor]: Taking taylor expansion of 0 in K
0.941 * [approximate]: Taking taylor expansion of (/ (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ 0.5 K))) J) in (l J K) around 0
0.941 * [taylor]: Taking taylor expansion of (/ (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ 0.5 K))) J) in K
0.941 * [taylor]: Taking taylor expansion of (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ 0.5 K))) in K
0.941 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in K
0.941 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in K
0.941 * [taylor]: Taking taylor expansion of 1/60 in K
0.941 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in K
0.941 * [taylor]: Taking taylor expansion of (pow l 5) in K
0.941 * [taylor]: Taking taylor expansion of l in K
0.941 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in K
0.941 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in K
0.941 * [taylor]: Taking taylor expansion of 2 in K
0.941 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.941 * [taylor]: Taking taylor expansion of l in K
0.941 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in K
0.941 * [taylor]: Taking taylor expansion of 1/3 in K
0.941 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in K
0.941 * [taylor]: Taking taylor expansion of (pow l 3) in K
0.941 * [taylor]: Taking taylor expansion of l in K
0.941 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
0.941 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
0.941 * [taylor]: Taking taylor expansion of 0.5 in K
0.941 * [taylor]: Taking taylor expansion of K in K
0.942 * [taylor]: Taking taylor expansion of J in K
0.942 * [taylor]: Taking taylor expansion of (/ (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ 0.5 K))) J) in J
0.942 * [taylor]: Taking taylor expansion of (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ 0.5 K))) in J
0.943 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in J
0.943 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in J
0.943 * [taylor]: Taking taylor expansion of 1/60 in J
0.943 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in J
0.943 * [taylor]: Taking taylor expansion of (pow l 5) in J
0.943 * [taylor]: Taking taylor expansion of l in J
0.943 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in J
0.943 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in J
0.943 * [taylor]: Taking taylor expansion of 2 in J
0.943 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.943 * [taylor]: Taking taylor expansion of l in J
0.943 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in J
0.943 * [taylor]: Taking taylor expansion of 1/3 in J
0.943 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in J
0.943 * [taylor]: Taking taylor expansion of (pow l 3) in J
0.943 * [taylor]: Taking taylor expansion of l in J
0.943 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
0.943 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
0.943 * [taylor]: Taking taylor expansion of 0.5 in J
0.943 * [taylor]: Taking taylor expansion of K in J
0.943 * [taylor]: Taking taylor expansion of J in J
0.944 * [taylor]: Taking taylor expansion of (/ (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ 0.5 K))) J) in l
0.944 * [taylor]: Taking taylor expansion of (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ 0.5 K))) in l
0.944 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
0.944 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
0.944 * [taylor]: Taking taylor expansion of 1/60 in l
0.944 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
0.944 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.944 * [taylor]: Taking taylor expansion of l in l
0.945 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
0.945 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
0.945 * [taylor]: Taking taylor expansion of 2 in l
0.945 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.945 * [taylor]: Taking taylor expansion of l in l
0.945 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
0.945 * [taylor]: Taking taylor expansion of 1/3 in l
0.945 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
0.945 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.945 * [taylor]: Taking taylor expansion of l in l
0.945 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
0.945 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
0.945 * [taylor]: Taking taylor expansion of 0.5 in l
0.945 * [taylor]: Taking taylor expansion of K in l
0.945 * [taylor]: Taking taylor expansion of J in l
0.945 * [taylor]: Taking taylor expansion of (/ (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ 0.5 K))) J) in l
0.945 * [taylor]: Taking taylor expansion of (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ 0.5 K))) in l
0.945 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
0.945 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
0.945 * [taylor]: Taking taylor expansion of 1/60 in l
0.945 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
0.945 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.945 * [taylor]: Taking taylor expansion of l in l
0.945 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
0.945 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
0.945 * [taylor]: Taking taylor expansion of 2 in l
0.945 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.945 * [taylor]: Taking taylor expansion of l in l
0.945 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
0.945 * [taylor]: Taking taylor expansion of 1/3 in l
0.945 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
0.945 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.945 * [taylor]: Taking taylor expansion of l in l
0.946 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
0.946 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
0.946 * [taylor]: Taking taylor expansion of 0.5 in l
0.946 * [taylor]: Taking taylor expansion of K in l
0.946 * [taylor]: Taking taylor expansion of J in l
0.946 * [taylor]: Taking taylor expansion of (* 1/60 (/ (cos (/ 0.5 K)) J)) in J
0.946 * [taylor]: Taking taylor expansion of 1/60 in J
0.946 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) J) in J
0.946 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
0.946 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
0.946 * [taylor]: Taking taylor expansion of 0.5 in J
0.946 * [taylor]: Taking taylor expansion of K in J
0.946 * [taylor]: Taking taylor expansion of J in J
0.946 * [taylor]: Taking taylor expansion of (* 1/60 (cos (/ 0.5 K))) in K
0.946 * [taylor]: Taking taylor expansion of 1/60 in K
0.946 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
0.946 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
0.946 * [taylor]: Taking taylor expansion of 0.5 in K
0.946 * [taylor]: Taking taylor expansion of K in K
0.947 * [taylor]: Taking taylor expansion of 0 in J
0.948 * [taylor]: Taking taylor expansion of 0 in K
0.948 * [taylor]: Taking taylor expansion of (* 1/3 (/ (cos (/ 0.5 K)) J)) in J
0.949 * [taylor]: Taking taylor expansion of 1/3 in J
0.949 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) J) in J
0.949 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
0.949 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
0.949 * [taylor]: Taking taylor expansion of 0.5 in J
0.949 * [taylor]: Taking taylor expansion of K in J
0.949 * [taylor]: Taking taylor expansion of J in J
0.949 * [taylor]: Taking taylor expansion of (* 1/3 (cos (/ 0.5 K))) in K
0.949 * [taylor]: Taking taylor expansion of 1/3 in K
0.949 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
0.949 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
0.949 * [taylor]: Taking taylor expansion of 0.5 in K
0.949 * [taylor]: Taking taylor expansion of K in K
0.949 * [taylor]: Taking taylor expansion of 0 in K
0.950 * [taylor]: Taking taylor expansion of 0 in K
0.951 * [taylor]: Taking taylor expansion of 0 in J
0.951 * [taylor]: Taking taylor expansion of 0 in K
0.954 * [taylor]: Taking taylor expansion of 0 in K
0.954 * [approximate]: Taking taylor expansion of (/ (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K))) J) in (l J K) around 0
0.954 * [taylor]: Taking taylor expansion of (/ (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K))) J) in K
0.954 * [taylor]: Taking taylor expansion of (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K))) in K
0.955 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in K
0.955 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in K
0.955 * [taylor]: Taking taylor expansion of 1/60 in K
0.955 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in K
0.955 * [taylor]: Taking taylor expansion of (pow l 5) in K
0.955 * [taylor]: Taking taylor expansion of l in K
0.955 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in K
0.955 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in K
0.955 * [taylor]: Taking taylor expansion of 2 in K
0.955 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.955 * [taylor]: Taking taylor expansion of l in K
0.955 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in K
0.955 * [taylor]: Taking taylor expansion of 1/3 in K
0.955 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in K
0.955 * [taylor]: Taking taylor expansion of (pow l 3) in K
0.955 * [taylor]: Taking taylor expansion of l in K
0.955 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
0.955 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
0.955 * [taylor]: Taking taylor expansion of -0.5 in K
0.955 * [taylor]: Taking taylor expansion of K in K
0.955 * [taylor]: Taking taylor expansion of J in K
0.956 * [taylor]: Taking taylor expansion of (/ (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K))) J) in J
0.956 * [taylor]: Taking taylor expansion of (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K))) in J
0.956 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in J
0.956 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in J
0.956 * [taylor]: Taking taylor expansion of 1/60 in J
0.956 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in J
0.956 * [taylor]: Taking taylor expansion of (pow l 5) in J
0.956 * [taylor]: Taking taylor expansion of l in J
0.957 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in J
0.957 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in J
0.957 * [taylor]: Taking taylor expansion of 2 in J
0.957 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.957 * [taylor]: Taking taylor expansion of l in J
0.957 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in J
0.957 * [taylor]: Taking taylor expansion of 1/3 in J
0.957 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in J
0.957 * [taylor]: Taking taylor expansion of (pow l 3) in J
0.957 * [taylor]: Taking taylor expansion of l in J
0.957 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
0.957 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
0.957 * [taylor]: Taking taylor expansion of -0.5 in J
0.957 * [taylor]: Taking taylor expansion of K in J
0.957 * [taylor]: Taking taylor expansion of J in J
0.958 * [taylor]: Taking taylor expansion of (/ (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K))) J) in l
0.958 * [taylor]: Taking taylor expansion of (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K))) in l
0.958 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
0.958 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
0.958 * [taylor]: Taking taylor expansion of 1/60 in l
0.958 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
0.958 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.958 * [taylor]: Taking taylor expansion of l in l
0.958 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
0.958 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
0.958 * [taylor]: Taking taylor expansion of 2 in l
0.958 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.958 * [taylor]: Taking taylor expansion of l in l
0.958 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
0.958 * [taylor]: Taking taylor expansion of 1/3 in l
0.958 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
0.958 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.958 * [taylor]: Taking taylor expansion of l in l
0.958 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
0.958 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
0.958 * [taylor]: Taking taylor expansion of -0.5 in l
0.958 * [taylor]: Taking taylor expansion of K in l
0.959 * [taylor]: Taking taylor expansion of J in l
0.959 * [taylor]: Taking taylor expansion of (/ (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K))) J) in l
0.959 * [taylor]: Taking taylor expansion of (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K))) in l
0.959 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
0.959 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
0.959 * [taylor]: Taking taylor expansion of 1/60 in l
0.959 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
0.959 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.959 * [taylor]: Taking taylor expansion of l in l
0.959 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
0.959 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
0.959 * [taylor]: Taking taylor expansion of 2 in l
0.959 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.959 * [taylor]: Taking taylor expansion of l in l
0.959 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
0.959 * [taylor]: Taking taylor expansion of 1/3 in l
0.959 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
0.959 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.959 * [taylor]: Taking taylor expansion of l in l
0.959 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
0.959 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
0.959 * [taylor]: Taking taylor expansion of -0.5 in l
0.959 * [taylor]: Taking taylor expansion of K in l
0.959 * [taylor]: Taking taylor expansion of J in l
0.960 * [taylor]: Taking taylor expansion of (* 1/60 (/ (cos (/ -0.5 K)) J)) in J
0.960 * [taylor]: Taking taylor expansion of 1/60 in J
0.960 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) J) in J
0.960 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
0.960 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
0.960 * [taylor]: Taking taylor expansion of -0.5 in J
0.960 * [taylor]: Taking taylor expansion of K in J
0.960 * [taylor]: Taking taylor expansion of J in J
0.960 * [taylor]: Taking taylor expansion of (* 1/60 (cos (/ -0.5 K))) in K
0.960 * [taylor]: Taking taylor expansion of 1/60 in K
0.960 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
0.960 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
0.960 * [taylor]: Taking taylor expansion of -0.5 in K
0.960 * [taylor]: Taking taylor expansion of K in K
0.961 * [taylor]: Taking taylor expansion of 0 in J
0.961 * [taylor]: Taking taylor expansion of 0 in K
0.962 * [taylor]: Taking taylor expansion of (* 1/3 (/ (cos (/ -0.5 K)) J)) in J
0.962 * [taylor]: Taking taylor expansion of 1/3 in J
0.962 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) J) in J
0.962 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
0.962 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
0.962 * [taylor]: Taking taylor expansion of -0.5 in J
0.962 * [taylor]: Taking taylor expansion of K in J
0.962 * [taylor]: Taking taylor expansion of J in J
0.962 * [taylor]: Taking taylor expansion of (* 1/3 (cos (/ -0.5 K))) in K
0.962 * [taylor]: Taking taylor expansion of 1/3 in K
0.962 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
0.962 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
0.962 * [taylor]: Taking taylor expansion of -0.5 in K
0.962 * [taylor]: Taking taylor expansion of K in K
0.963 * [taylor]: Taking taylor expansion of 0 in K
0.963 * [taylor]: Taking taylor expansion of 0 in K
0.964 * [taylor]: Taking taylor expansion of 0 in J
0.964 * [taylor]: Taking taylor expansion of 0 in K
0.964 * [taylor]: Taking taylor expansion of 0 in K
0.965 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 2 2 1)
0.965 * [approximate]: Taking taylor expansion of (* 1/3 (pow l 3)) in (l) around 0
0.965 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in l
0.965 * [taylor]: Taking taylor expansion of 1/3 in l
0.965 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.965 * [taylor]: Taking taylor expansion of l in l
0.965 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in l
0.965 * [taylor]: Taking taylor expansion of 1/3 in l
0.965 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.965 * [taylor]: Taking taylor expansion of l in l
0.966 * [approximate]: Taking taylor expansion of (/ 1/3 (pow l 3)) in (l) around 0
0.966 * [taylor]: Taking taylor expansion of (/ 1/3 (pow l 3)) in l
0.966 * [taylor]: Taking taylor expansion of 1/3 in l
0.966 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.966 * [taylor]: Taking taylor expansion of l in l
0.966 * [taylor]: Taking taylor expansion of (/ 1/3 (pow l 3)) in l
0.966 * [taylor]: Taking taylor expansion of 1/3 in l
0.966 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.966 * [taylor]: Taking taylor expansion of l in l
0.968 * [approximate]: Taking taylor expansion of (/ -1/3 (pow l 3)) in (l) around 0
0.968 * [taylor]: Taking taylor expansion of (/ -1/3 (pow l 3)) in l
0.968 * [taylor]: Taking taylor expansion of -1/3 in l
0.968 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.968 * [taylor]: Taking taylor expansion of l in l
0.968 * [taylor]: Taking taylor expansion of (/ -1/3 (pow l 3)) in l
0.968 * [taylor]: Taking taylor expansion of -1/3 in l
0.968 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.968 * [taylor]: Taking taylor expansion of l in l
0.969 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 2 2 2)
0.969 * [approximate]: Taking taylor expansion of (* 1/60 (pow l 5)) in (l) around 0
0.969 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in l
0.969 * [taylor]: Taking taylor expansion of 1/60 in l
0.969 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.969 * [taylor]: Taking taylor expansion of l in l
0.969 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in l
0.969 * [taylor]: Taking taylor expansion of 1/60 in l
0.969 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.969 * [taylor]: Taking taylor expansion of l in l
0.971 * [approximate]: Taking taylor expansion of (/ 1/60 (pow l 5)) in (l) around 0
0.971 * [taylor]: Taking taylor expansion of (/ 1/60 (pow l 5)) in l
0.971 * [taylor]: Taking taylor expansion of 1/60 in l
0.971 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.971 * [taylor]: Taking taylor expansion of l in l
0.971 * [taylor]: Taking taylor expansion of (/ 1/60 (pow l 5)) in l
0.971 * [taylor]: Taking taylor expansion of 1/60 in l
0.971 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.971 * [taylor]: Taking taylor expansion of l in l
0.972 * [approximate]: Taking taylor expansion of (/ -1/60 (pow l 5)) in (l) around 0
0.972 * [taylor]: Taking taylor expansion of (/ -1/60 (pow l 5)) in l
0.972 * [taylor]: Taking taylor expansion of -1/60 in l
0.972 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.972 * [taylor]: Taking taylor expansion of l in l
0.972 * [taylor]: Taking taylor expansion of (/ -1/60 (pow l 5)) in l
0.972 * [taylor]: Taking taylor expansion of -1/60 in l
0.972 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.972 * [taylor]: Taking taylor expansion of l in l
0.974 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
0.974 * [approximate]: Taking taylor expansion of (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) in (l) around 0
0.974 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) in l
0.974 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in l
0.974 * [taylor]: Taking taylor expansion of 1/3 in l
0.974 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.974 * [taylor]: Taking taylor expansion of l in l
0.974 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow l 5)) (* 2 l)) in l
0.974 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in l
0.974 * [taylor]: Taking taylor expansion of 1/60 in l
0.974 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.974 * [taylor]: Taking taylor expansion of l in l
0.974 * [taylor]: Taking taylor expansion of (* 2 l) in l
0.974 * [taylor]: Taking taylor expansion of 2 in l
0.974 * [taylor]: Taking taylor expansion of l in l
0.974 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) in l
0.974 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in l
0.974 * [taylor]: Taking taylor expansion of 1/3 in l
0.974 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.974 * [taylor]: Taking taylor expansion of l in l
0.974 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow l 5)) (* 2 l)) in l
0.974 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in l
0.975 * [taylor]: Taking taylor expansion of 1/60 in l
0.975 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.975 * [taylor]: Taking taylor expansion of l in l
0.975 * [taylor]: Taking taylor expansion of (* 2 l) in l
0.975 * [taylor]: Taking taylor expansion of 2 in l
0.975 * [taylor]: Taking taylor expansion of l in l
0.976 * [approximate]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in (l) around 0
0.976 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
0.976 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
0.976 * [taylor]: Taking taylor expansion of 1/60 in l
0.976 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
0.976 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.976 * [taylor]: Taking taylor expansion of l in l
0.976 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
0.976 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
0.976 * [taylor]: Taking taylor expansion of 2 in l
0.976 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.976 * [taylor]: Taking taylor expansion of l in l
0.976 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
0.976 * [taylor]: Taking taylor expansion of 1/3 in l
0.976 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
0.976 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.976 * [taylor]: Taking taylor expansion of l in l
0.976 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
0.976 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
0.976 * [taylor]: Taking taylor expansion of 1/60 in l
0.976 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
0.976 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.976 * [taylor]: Taking taylor expansion of l in l
0.976 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
0.976 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
0.976 * [taylor]: Taking taylor expansion of 2 in l
0.976 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.976 * [taylor]: Taking taylor expansion of l in l
0.976 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
0.976 * [taylor]: Taking taylor expansion of 1/3 in l
0.976 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
0.976 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.977 * [taylor]: Taking taylor expansion of l in l
0.978 * [approximate]: Taking taylor expansion of (neg (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))))) in (l) around 0
0.978 * [taylor]: Taking taylor expansion of (neg (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))))) in l
0.978 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
0.978 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
0.978 * [taylor]: Taking taylor expansion of 1/60 in l
0.978 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
0.978 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.978 * [taylor]: Taking taylor expansion of l in l
0.978 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
0.978 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
0.978 * [taylor]: Taking taylor expansion of 2 in l
0.978 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.978 * [taylor]: Taking taylor expansion of l in l
0.978 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
0.978 * [taylor]: Taking taylor expansion of 1/3 in l
0.979 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
0.979 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.979 * [taylor]: Taking taylor expansion of l in l
0.979 * [taylor]: Taking taylor expansion of (neg (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))))) in l
0.979 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
0.979 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
0.979 * [taylor]: Taking taylor expansion of 1/60 in l
0.979 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
0.979 * [taylor]: Taking taylor expansion of (pow l 5) in l
0.979 * [taylor]: Taking taylor expansion of l in l
0.979 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
0.979 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
0.979 * [taylor]: Taking taylor expansion of 2 in l
0.979 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.979 * [taylor]: Taking taylor expansion of l in l
0.979 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
0.979 * [taylor]: Taking taylor expansion of 1/3 in l
0.979 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
0.979 * [taylor]: Taking taylor expansion of (pow l 3) in l
0.979 * [taylor]: Taking taylor expansion of l in l
0.980 * * * [progress]: simplifying candidates
0.982 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) J) (cos (/ K 2.0)))
  (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) J) (cos (/ K 2.0)))
  (+ (+ (log (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (log J)) (log (cos (/ K 2.0))))
  (+ (log (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) J)) (log (cos (/ K 2.0))))
  (log (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) J) (cos (/ K 2.0))))
  (exp (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) J) (cos (/ K 2.0))))
  (* (* (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (* (* J J) J)) (* (* (cos (/ K 2.0)) (cos (/ K 2.0))) (cos (/ K 2.0))))
  (* (* (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) J) (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) J)) (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) J)) (* (* (cos (/ K 2.0)) (cos (/ K 2.0))) (cos (/ K 2.0))))
  (* (cbrt (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) J) (cos (/ K 2.0)))) (cbrt (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) J) (cos (/ K 2.0)))))
  (cbrt (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) J) (cos (/ K 2.0))))
  (* (* (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) J) (cos (/ K 2.0))) (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) J) (cos (/ K 2.0)))) (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) J) (cos (/ K 2.0))))
  (sqrt (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) J) (cos (/ K 2.0))))
  (sqrt (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) J) (cos (/ K 2.0))))
  (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) J) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0)))))
  (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) J) (sqrt (cos (/ K 2.0))))
  (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) J) 1)
  (* J (cos (/ K 2.0)))
  (* (* (+ (pow l 3) (pow (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))) 3)) J) (cos (/ K 2.0)))
  (* (* (- (* l l) (* (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))) (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) J) (cos (/ K 2.0)))
  (+ (log 1/3) (* (log l) 3))
  (+ (log 1/3) (* (log l) 3))
  (+ (log 1/3) (log (pow l 3)))
  (log (* 1/3 (pow l 3)))
  (exp (* 1/3 (pow l 3)))
  (* (* (* 1/3 1/3) 1/3) (* (* (pow l 3) (pow l 3)) (pow l 3)))
  (* (cbrt (* 1/3 (pow l 3))) (cbrt (* 1/3 (pow l 3))))
  (cbrt (* 1/3 (pow l 3)))
  (* (* (* 1/3 (pow l 3)) (* 1/3 (pow l 3))) (* 1/3 (pow l 3)))
  (sqrt (* 1/3 (pow l 3)))
  (sqrt (* 1/3 (pow l 3)))
  (* (sqrt 1/3) (pow (sqrt l) 3))
  (* (sqrt 1/3) (pow (sqrt l) 3))
  (* (sqrt 1/3) (pow (sqrt l) 3))
  (* (sqrt 1/3) (pow (sqrt l) 3))
  (* (sqrt 1/3) (sqrt (pow l 3)))
  (* (sqrt 1/3) (sqrt (pow l 3)))
  (* (sqrt 1/3) (pow l (/ 3 2)))
  (* (sqrt 1/3) (pow l (/ 3 2)))
  (* 1/3 (pow (* (cbrt l) (cbrt l)) 3))
  (* 1/3 (pow (sqrt l) 3))
  (* 1/3 (pow 1 3))
  (* 1/3 (* l l))
  (* 1/3 (* (cbrt (pow l 3)) (cbrt (pow l 3))))
  (* 1/3 (pow (* (cbrt l) (cbrt l)) 3))
  (* 1/3 (pow (sqrt l) 3))
  (* 1/3 (pow 1 3))
  (* 1/3 l)
  (* 1/3 (sqrt (pow l 3)))
  (* 1/3 1)
  (* 1/3 (pow l (/ 3 2)))
  (* (cbrt 1/3) (pow l 3))
  (* (sqrt 1/3) (pow l 3))
  (* 1/3 (pow l 3))
  (+ (log 1/60) (* (log l) 5))
  (+ (log 1/60) (* (log l) 5))
  (+ (log 1/60) (log (pow l 5)))
  (log (* 1/60 (pow l 5)))
  (exp (* 1/60 (pow l 5)))
  (* (* (* 1/60 1/60) 1/60) (* (* (pow l 5) (pow l 5)) (pow l 5)))
  (* (cbrt (* 1/60 (pow l 5))) (cbrt (* 1/60 (pow l 5))))
  (cbrt (* 1/60 (pow l 5)))
  (* (* (* 1/60 (pow l 5)) (* 1/60 (pow l 5))) (* 1/60 (pow l 5)))
  (sqrt (* 1/60 (pow l 5)))
  (sqrt (* 1/60 (pow l 5)))
  (* (sqrt 1/60) (pow (sqrt l) 5))
  (* (sqrt 1/60) (pow (sqrt l) 5))
  (* (sqrt 1/60) (sqrt (pow l 5)))
  (* (sqrt 1/60) (sqrt (pow l 5)))
  (* (sqrt 1/60) (pow l (/ 5 2)))
  (* (sqrt 1/60) (pow l (/ 5 2)))
  (* 1/60 (pow (* (cbrt l) (cbrt l)) 5))
  (* 1/60 (pow (sqrt l) 5))
  (* 1/60 (pow 1 5))
  (* 1/60 (* (cbrt (pow l 5)) (cbrt (pow l 5))))
  (* 1/60 (sqrt (pow l 5)))
  (* 1/60 1)
  (* 1/60 (pow l (/ 5 2)))
  (* (cbrt 1/60) (pow l 5))
  (* (sqrt 1/60) (pow l 5))
  (* 1/60 (pow l 5))
  (* (exp l) (* (exp l) (* (exp (* 1/3 (pow l 3))) (exp (* 1/60 (pow l 5))))))
  (* (exp l) (* (exp l) (exp (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))))
  (* (exp l) (exp (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))))
  (log (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))))
  (exp (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))))
  (* (cbrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (cbrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))))
  (cbrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))))
  (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))))
  (sqrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))))
  (sqrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))))
  (+ (pow l 3) (pow (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))) 3))
  (+ (* l l) (- (* (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))) (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))))
  (- (* l l) (* (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))) (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))))
  (- l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))
  (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))
  (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))
  (+ l l)
  (* 2 (* J l))
  (+ (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) (* 1/60 (* J (* (cos (* 0.5 K)) (pow l 5)))))
  (+ (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) (* 1/60 (* J (* (cos (* 0.5 K)) (pow l 5)))))
  (* 1/3 (pow l 3))
  (* 1/3 (pow l 3))
  (* 1/3 (pow l 3))
  (* 1/60 (pow l 5))
  (* 1/60 (pow l 5))
  (* 1/60 (pow l 5))
  (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))
  (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))
  (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))
0.998 * * [simplify]: iteration  0 :  4976  enodes  (cost  1251 )
0.999 * * [simplify]: iteration  1 :  4976  enodes  (cost  1251 )
1.004 * [simplify]: Simplified to:
   (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0))))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0))))
  (log (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))))
  (log (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))))
  (log (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))))
  (pow (* (cbrt (exp (pow l 3))) (exp (+ l (+ l (* 1/60 (pow l 5)))))) (* J (cos (/ K 2.0))))
  (pow (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))) 3)
  (pow (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))) 3)
  (* (cbrt (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0))))) (cbrt (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0))))))
  (cbrt (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))))
  (pow (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))) 3)
  (sqrt (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))))
  (sqrt (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0))))))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (sqrt (cos (/ K 2.0)))))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) J)
  (* J (cos (/ K 2.0)))
  (* J (* (+ (pow l 3) (pow (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))) 3)) (cos (/ K 2.0))))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* (- (* (pow l 5) -1/60) (* 1/3 (pow l 3))) (* J (cos (/ K 2.0)))))
  (log (* 1/3 (pow l 3)))
  (log (* 1/3 (pow l 3)))
  (log (* 1/3 (pow l 3)))
  (log (* 1/3 (pow l 3)))
  (cbrt (exp (pow l 3)))
  (* 1/27 (pow (pow l 3) 3))
  (* (cbrt (* 1/3 (pow l 3))) (cbrt (* 1/3 (pow l 3))))
  (cbrt (* 1/3 (pow l 3)))
  (* 1/27 (pow (pow l 3) 3))
  (sqrt (* 1/3 (pow l 3)))
  (sqrt (* 1/3 (pow l 3)))
  (* l (* (sqrt l) (sqrt 1/3)))
  (* l (* (sqrt l) (sqrt 1/3)))
  (* l (* (sqrt l) (sqrt 1/3)))
  (* l (* (sqrt l) (sqrt 1/3)))
  (* (sqrt 1/3) (sqrt (pow l 3)))
  (* (sqrt 1/3) (sqrt (pow l 3)))
  (* (sqrt 1/3) (pow l 3/2))
  (* (sqrt 1/3) (pow l 3/2))
  (* l (* l 1/3))
  (* l (* (sqrt l) 1/3))
  1/3
  (* l (* l 1/3))
  (* l (* l 1/3))
  (* l (* l 1/3))
  (* l (* (sqrt l) 1/3))
  1/3
  (* l 1/3)
  (* 1/3 (sqrt (pow l 3)))
  1/3
  (* 1/3 (pow l 3/2))
  (* (pow l 3) (cbrt 1/3))
  (* (pow l 3) (sqrt 1/3))
  (* 1/3 (pow l 3))
  (log (* 1/60 (pow l 5)))
  (log (* 1/60 (pow l 5)))
  (log (* 1/60 (pow l 5)))
  (log (* 1/60 (pow l 5)))
  (pow (exp 1/60) (pow l 5))
  (* 1/216000 (pow (pow l 5) 3))
  (* (cbrt (* 1/60 (pow l 5))) (cbrt (* 1/60 (pow l 5))))
  (cbrt (* 1/60 (pow l 5)))
  (* 1/216000 (pow (pow l 5) 3))
  (sqrt (* 1/60 (pow l 5)))
  (sqrt (* 1/60 (pow l 5)))
  (* (sqrt 1/60) (pow (sqrt l) 5))
  (* (sqrt 1/60) (pow (sqrt l) 5))
  (* (sqrt 1/60) (sqrt (pow l 5)))
  (* (sqrt 1/60) (sqrt (pow l 5)))
  (* (sqrt 1/60) (pow l 5/2))
  (* (sqrt 1/60) (pow l 5/2))
  (* 1/60 (pow (* (cbrt l) (cbrt l)) 5))
  (* 1/60 (pow (sqrt l) 5))
  1/60
  (* 1/60 (* (cbrt (pow l 5)) (cbrt (pow l 5))))
  (* 1/60 (sqrt (pow l 5)))
  1/60
  (* 1/60 (pow l 5/2))
  (* (pow l 5) (cbrt 1/60))
  (* (pow l 5) (sqrt 1/60))
  (* 1/60 (pow l 5))
  (* (cbrt (exp (pow l 3))) (exp (+ l (+ l (* 1/60 (pow l 5))))))
  (* (cbrt (exp (pow l 3))) (exp (+ l (+ l (* 1/60 (pow l 5))))))
  (* (cbrt (exp (pow l 3))) (exp (+ l (+ l (* 1/60 (pow l 5))))))
  (log (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))))
  (* (cbrt (exp (pow l 3))) (exp (+ l (+ l (* 1/60 (pow l 5))))))
  (* (cbrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (cbrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))))
  (cbrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))))
  (pow (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) 3)
  (sqrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))))
  (sqrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))))
  (+ (pow l 3) (pow (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))) 3))
  (+ (* l l) (* (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))) (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (- (* (pow l 5) -1/60) (* 1/3 (pow l 3))))
  (- (* (pow l 5) -1/60) (* 1/3 (pow l 3)))
  (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))
  (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))
  (+ l l)
  (* l (* J 2))
  (+ (* 1/3 (* (pow l 3) (* J (cos (* K 0.5))))) (* 1/60 (* (pow l 5) (* J (cos (* K 0.5))))))
  (+ (* 1/3 (* (pow l 3) (* J (cos (* K 0.5))))) (* 1/60 (* (pow l 5) (* J (cos (* K 0.5))))))
  (* 1/3 (pow l 3))
  (* 1/3 (pow l 3))
  (* 1/3 (pow l 3))
  (* 1/60 (pow l 5))
  (* 1/60 (pow l 5))
  (* 1/60 (pow l 5))
  (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))
  (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))
  (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))
1.004 * * * [progress]: adding candidates to table
1.189 * * [progress]: iteration 4 / 4
1.189 * * * [progress]: picking best candidate
1.220 * * * * [pick]: Picked  #<alt (λ (J l K U) (+ (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))) U))>
1.220 * * * [progress]: localizing error
1.240 * * * [progress]: generating rewritten candidates
1.240 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.253 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2 1)
1.260 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
1.264 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2 2)
1.272 * * * [progress]: generating series expansions
1.272 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.273 * [approximate]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))))) in (l J K) around 0
1.273 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))))) in K
1.273 * [taylor]: Taking taylor expansion of J in K
1.273 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) in K
1.273 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
1.273 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
1.273 * [taylor]: Taking taylor expansion of 0.5 in K
1.273 * [taylor]: Taking taylor expansion of K in K
1.273 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) in K
1.273 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in K
1.273 * [taylor]: Taking taylor expansion of 1/3 in K
1.273 * [taylor]: Taking taylor expansion of (pow l 3) in K
1.273 * [taylor]: Taking taylor expansion of l in K
1.273 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow l 5)) (* 2 l)) in K
1.273 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in K
1.273 * [taylor]: Taking taylor expansion of 1/60 in K
1.273 * [taylor]: Taking taylor expansion of (pow l 5) in K
1.273 * [taylor]: Taking taylor expansion of l in K
1.273 * [taylor]: Taking taylor expansion of (* 2 l) in K
1.273 * [taylor]: Taking taylor expansion of 2 in K
1.273 * [taylor]: Taking taylor expansion of l in K
1.273 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))))) in J
1.273 * [taylor]: Taking taylor expansion of J in J
1.273 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) in J
1.273 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
1.273 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
1.273 * [taylor]: Taking taylor expansion of 0.5 in J
1.273 * [taylor]: Taking taylor expansion of K in J
1.273 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) in J
1.273 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in J
1.273 * [taylor]: Taking taylor expansion of 1/3 in J
1.273 * [taylor]: Taking taylor expansion of (pow l 3) in J
1.273 * [taylor]: Taking taylor expansion of l in J
1.273 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow l 5)) (* 2 l)) in J
1.273 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in J
1.273 * [taylor]: Taking taylor expansion of 1/60 in J
1.273 * [taylor]: Taking taylor expansion of (pow l 5) in J
1.273 * [taylor]: Taking taylor expansion of l in J
1.274 * [taylor]: Taking taylor expansion of (* 2 l) in J
1.274 * [taylor]: Taking taylor expansion of 2 in J
1.274 * [taylor]: Taking taylor expansion of l in J
1.274 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))))) in l
1.274 * [taylor]: Taking taylor expansion of J in l
1.274 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) in l
1.274 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
1.274 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
1.274 * [taylor]: Taking taylor expansion of 0.5 in l
1.274 * [taylor]: Taking taylor expansion of K in l
1.274 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) in l
1.274 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in l
1.274 * [taylor]: Taking taylor expansion of 1/3 in l
1.274 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.274 * [taylor]: Taking taylor expansion of l in l
1.274 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow l 5)) (* 2 l)) in l
1.274 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in l
1.274 * [taylor]: Taking taylor expansion of 1/60 in l
1.274 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.274 * [taylor]: Taking taylor expansion of l in l
1.274 * [taylor]: Taking taylor expansion of (* 2 l) in l
1.274 * [taylor]: Taking taylor expansion of 2 in l
1.274 * [taylor]: Taking taylor expansion of l in l
1.274 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))))) in l
1.274 * [taylor]: Taking taylor expansion of J in l
1.274 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) in l
1.274 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
1.274 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
1.274 * [taylor]: Taking taylor expansion of 0.5 in l
1.274 * [taylor]: Taking taylor expansion of K in l
1.274 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) in l
1.274 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in l
1.274 * [taylor]: Taking taylor expansion of 1/3 in l
1.274 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.274 * [taylor]: Taking taylor expansion of l in l
1.274 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow l 5)) (* 2 l)) in l
1.274 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in l
1.274 * [taylor]: Taking taylor expansion of 1/60 in l
1.274 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.274 * [taylor]: Taking taylor expansion of l in l
1.274 * [taylor]: Taking taylor expansion of (* 2 l) in l
1.274 * [taylor]: Taking taylor expansion of 2 in l
1.274 * [taylor]: Taking taylor expansion of l in l
1.275 * [taylor]: Taking taylor expansion of 0 in J
1.275 * [taylor]: Taking taylor expansion of 0 in K
1.275 * [taylor]: Taking taylor expansion of (* 2 (* J (cos (* 0.5 K)))) in J
1.275 * [taylor]: Taking taylor expansion of 2 in J
1.275 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in J
1.275 * [taylor]: Taking taylor expansion of J in J
1.275 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
1.275 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
1.275 * [taylor]: Taking taylor expansion of 0.5 in J
1.275 * [taylor]: Taking taylor expansion of K in J
1.275 * [taylor]: Taking taylor expansion of 0 in K
1.275 * [taylor]: Taking taylor expansion of 0 in K
1.276 * [taylor]: Taking taylor expansion of 0 in J
1.276 * [taylor]: Taking taylor expansion of 0 in K
1.276 * [taylor]: Taking taylor expansion of (* 2 (cos (* 0.5 K))) in K
1.276 * [taylor]: Taking taylor expansion of 2 in K
1.276 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
1.276 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
1.276 * [taylor]: Taking taylor expansion of 0.5 in K
1.276 * [taylor]: Taking taylor expansion of K in K
1.276 * [taylor]: Taking taylor expansion of 0 in K
1.277 * [taylor]: Taking taylor expansion of (* 1/3 (* J (cos (* 0.5 K)))) in J
1.277 * [taylor]: Taking taylor expansion of 1/3 in J
1.277 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in J
1.277 * [taylor]: Taking taylor expansion of J in J
1.277 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
1.277 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
1.277 * [taylor]: Taking taylor expansion of 0.5 in J
1.277 * [taylor]: Taking taylor expansion of K in J
1.277 * [taylor]: Taking taylor expansion of 0 in K
1.277 * [taylor]: Taking taylor expansion of 0 in K
1.278 * [approximate]: Taking taylor expansion of (/ (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ 0.5 K))) J) in (l J K) around 0
1.278 * [taylor]: Taking taylor expansion of (/ (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ 0.5 K))) J) in K
1.278 * [taylor]: Taking taylor expansion of (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ 0.5 K))) in K
1.278 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in K
1.278 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in K
1.278 * [taylor]: Taking taylor expansion of 1/60 in K
1.278 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in K
1.278 * [taylor]: Taking taylor expansion of (pow l 5) in K
1.278 * [taylor]: Taking taylor expansion of l in K
1.278 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in K
1.278 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in K
1.278 * [taylor]: Taking taylor expansion of 2 in K
1.278 * [taylor]: Taking taylor expansion of (/ 1 l) in K
1.278 * [taylor]: Taking taylor expansion of l in K
1.278 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in K
1.278 * [taylor]: Taking taylor expansion of 1/3 in K
1.279 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in K
1.279 * [taylor]: Taking taylor expansion of (pow l 3) in K
1.279 * [taylor]: Taking taylor expansion of l in K
1.279 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
1.279 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
1.279 * [taylor]: Taking taylor expansion of 0.5 in K
1.279 * [taylor]: Taking taylor expansion of K in K
1.279 * [taylor]: Taking taylor expansion of J in K
1.280 * [taylor]: Taking taylor expansion of (/ (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ 0.5 K))) J) in J
1.280 * [taylor]: Taking taylor expansion of (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ 0.5 K))) in J
1.280 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in J
1.280 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in J
1.280 * [taylor]: Taking taylor expansion of 1/60 in J
1.280 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in J
1.280 * [taylor]: Taking taylor expansion of (pow l 5) in J
1.280 * [taylor]: Taking taylor expansion of l in J
1.280 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in J
1.280 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in J
1.280 * [taylor]: Taking taylor expansion of 2 in J
1.280 * [taylor]: Taking taylor expansion of (/ 1 l) in J
1.280 * [taylor]: Taking taylor expansion of l in J
1.280 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in J
1.280 * [taylor]: Taking taylor expansion of 1/3 in J
1.280 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in J
1.280 * [taylor]: Taking taylor expansion of (pow l 3) in J
1.280 * [taylor]: Taking taylor expansion of l in J
1.280 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
1.280 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
1.280 * [taylor]: Taking taylor expansion of 0.5 in J
1.280 * [taylor]: Taking taylor expansion of K in J
1.281 * [taylor]: Taking taylor expansion of J in J
1.282 * [taylor]: Taking taylor expansion of (/ (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ 0.5 K))) J) in l
1.282 * [taylor]: Taking taylor expansion of (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ 0.5 K))) in l
1.282 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
1.282 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
1.282 * [taylor]: Taking taylor expansion of 1/60 in l
1.282 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
1.282 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.282 * [taylor]: Taking taylor expansion of l in l
1.282 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
1.282 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
1.282 * [taylor]: Taking taylor expansion of 2 in l
1.282 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.282 * [taylor]: Taking taylor expansion of l in l
1.282 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
1.282 * [taylor]: Taking taylor expansion of 1/3 in l
1.282 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
1.282 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.282 * [taylor]: Taking taylor expansion of l in l
1.282 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
1.282 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
1.282 * [taylor]: Taking taylor expansion of 0.5 in l
1.282 * [taylor]: Taking taylor expansion of K in l
1.282 * [taylor]: Taking taylor expansion of J in l
1.282 * [taylor]: Taking taylor expansion of (/ (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ 0.5 K))) J) in l
1.282 * [taylor]: Taking taylor expansion of (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ 0.5 K))) in l
1.282 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
1.282 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
1.282 * [taylor]: Taking taylor expansion of 1/60 in l
1.282 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
1.282 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.283 * [taylor]: Taking taylor expansion of l in l
1.283 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
1.283 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
1.283 * [taylor]: Taking taylor expansion of 2 in l
1.283 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.283 * [taylor]: Taking taylor expansion of l in l
1.283 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
1.283 * [taylor]: Taking taylor expansion of 1/3 in l
1.283 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
1.283 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.283 * [taylor]: Taking taylor expansion of l in l
1.283 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
1.283 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
1.283 * [taylor]: Taking taylor expansion of 0.5 in l
1.283 * [taylor]: Taking taylor expansion of K in l
1.283 * [taylor]: Taking taylor expansion of J in l
1.283 * [taylor]: Taking taylor expansion of (* 1/60 (/ (cos (/ 0.5 K)) J)) in J
1.283 * [taylor]: Taking taylor expansion of 1/60 in J
1.283 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) J) in J
1.283 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
1.283 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
1.283 * [taylor]: Taking taylor expansion of 0.5 in J
1.283 * [taylor]: Taking taylor expansion of K in J
1.283 * [taylor]: Taking taylor expansion of J in J
1.284 * [taylor]: Taking taylor expansion of (* 1/60 (cos (/ 0.5 K))) in K
1.284 * [taylor]: Taking taylor expansion of 1/60 in K
1.284 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
1.284 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
1.284 * [taylor]: Taking taylor expansion of 0.5 in K
1.284 * [taylor]: Taking taylor expansion of K in K
1.284 * [taylor]: Taking taylor expansion of 0 in J
1.285 * [taylor]: Taking taylor expansion of 0 in K
1.285 * [taylor]: Taking taylor expansion of (* 1/3 (/ (cos (/ 0.5 K)) J)) in J
1.285 * [taylor]: Taking taylor expansion of 1/3 in J
1.285 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) J) in J
1.285 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
1.285 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
1.285 * [taylor]: Taking taylor expansion of 0.5 in J
1.286 * [taylor]: Taking taylor expansion of K in J
1.286 * [taylor]: Taking taylor expansion of J in J
1.286 * [taylor]: Taking taylor expansion of (* 1/3 (cos (/ 0.5 K))) in K
1.286 * [taylor]: Taking taylor expansion of 1/3 in K
1.286 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
1.286 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
1.286 * [taylor]: Taking taylor expansion of 0.5 in K
1.286 * [taylor]: Taking taylor expansion of K in K
1.286 * [taylor]: Taking taylor expansion of 0 in K
1.286 * [taylor]: Taking taylor expansion of 0 in K
1.288 * [taylor]: Taking taylor expansion of 0 in J
1.288 * [taylor]: Taking taylor expansion of 0 in K
1.288 * [taylor]: Taking taylor expansion of 0 in K
1.289 * [approximate]: Taking taylor expansion of (/ (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K))) J) in (l J K) around 0
1.289 * [taylor]: Taking taylor expansion of (/ (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K))) J) in K
1.289 * [taylor]: Taking taylor expansion of (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K))) in K
1.289 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in K
1.289 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in K
1.289 * [taylor]: Taking taylor expansion of 1/60 in K
1.289 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in K
1.289 * [taylor]: Taking taylor expansion of (pow l 5) in K
1.289 * [taylor]: Taking taylor expansion of l in K
1.289 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in K
1.289 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in K
1.289 * [taylor]: Taking taylor expansion of 2 in K
1.289 * [taylor]: Taking taylor expansion of (/ 1 l) in K
1.289 * [taylor]: Taking taylor expansion of l in K
1.289 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in K
1.289 * [taylor]: Taking taylor expansion of 1/3 in K
1.289 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in K
1.289 * [taylor]: Taking taylor expansion of (pow l 3) in K
1.289 * [taylor]: Taking taylor expansion of l in K
1.290 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
1.290 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
1.290 * [taylor]: Taking taylor expansion of -0.5 in K
1.290 * [taylor]: Taking taylor expansion of K in K
1.290 * [taylor]: Taking taylor expansion of J in K
1.291 * [taylor]: Taking taylor expansion of (/ (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K))) J) in J
1.291 * [taylor]: Taking taylor expansion of (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K))) in J
1.291 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in J
1.291 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in J
1.291 * [taylor]: Taking taylor expansion of 1/60 in J
1.291 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in J
1.291 * [taylor]: Taking taylor expansion of (pow l 5) in J
1.291 * [taylor]: Taking taylor expansion of l in J
1.291 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in J
1.291 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in J
1.291 * [taylor]: Taking taylor expansion of 2 in J
1.291 * [taylor]: Taking taylor expansion of (/ 1 l) in J
1.291 * [taylor]: Taking taylor expansion of l in J
1.291 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in J
1.291 * [taylor]: Taking taylor expansion of 1/3 in J
1.291 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in J
1.291 * [taylor]: Taking taylor expansion of (pow l 3) in J
1.291 * [taylor]: Taking taylor expansion of l in J
1.291 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
1.291 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
1.291 * [taylor]: Taking taylor expansion of -0.5 in J
1.291 * [taylor]: Taking taylor expansion of K in J
1.291 * [taylor]: Taking taylor expansion of J in J
1.292 * [taylor]: Taking taylor expansion of (/ (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K))) J) in l
1.292 * [taylor]: Taking taylor expansion of (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K))) in l
1.292 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
1.292 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
1.292 * [taylor]: Taking taylor expansion of 1/60 in l
1.293 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
1.293 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.293 * [taylor]: Taking taylor expansion of l in l
1.293 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
1.293 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
1.293 * [taylor]: Taking taylor expansion of 2 in l
1.293 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.293 * [taylor]: Taking taylor expansion of l in l
1.293 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
1.293 * [taylor]: Taking taylor expansion of 1/3 in l
1.293 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
1.293 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.293 * [taylor]: Taking taylor expansion of l in l
1.293 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
1.293 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
1.293 * [taylor]: Taking taylor expansion of -0.5 in l
1.293 * [taylor]: Taking taylor expansion of K in l
1.293 * [taylor]: Taking taylor expansion of J in l
1.293 * [taylor]: Taking taylor expansion of (/ (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K))) J) in l
1.293 * [taylor]: Taking taylor expansion of (* (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) (cos (/ -0.5 K))) in l
1.293 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
1.293 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
1.293 * [taylor]: Taking taylor expansion of 1/60 in l
1.293 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
1.293 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.293 * [taylor]: Taking taylor expansion of l in l
1.293 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
1.293 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
1.293 * [taylor]: Taking taylor expansion of 2 in l
1.293 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.293 * [taylor]: Taking taylor expansion of l in l
1.294 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
1.294 * [taylor]: Taking taylor expansion of 1/3 in l
1.294 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
1.294 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.294 * [taylor]: Taking taylor expansion of l in l
1.294 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
1.294 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
1.294 * [taylor]: Taking taylor expansion of -0.5 in l
1.294 * [taylor]: Taking taylor expansion of K in l
1.294 * [taylor]: Taking taylor expansion of J in l
1.294 * [taylor]: Taking taylor expansion of (* 1/60 (/ (cos (/ -0.5 K)) J)) in J
1.294 * [taylor]: Taking taylor expansion of 1/60 in J
1.294 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) J) in J
1.294 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
1.294 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
1.294 * [taylor]: Taking taylor expansion of -0.5 in J
1.294 * [taylor]: Taking taylor expansion of K in J
1.294 * [taylor]: Taking taylor expansion of J in J
1.294 * [taylor]: Taking taylor expansion of (* 1/60 (cos (/ -0.5 K))) in K
1.294 * [taylor]: Taking taylor expansion of 1/60 in K
1.294 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
1.294 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
1.295 * [taylor]: Taking taylor expansion of -0.5 in K
1.295 * [taylor]: Taking taylor expansion of K in K
1.295 * [taylor]: Taking taylor expansion of 0 in J
1.295 * [taylor]: Taking taylor expansion of 0 in K
1.296 * [taylor]: Taking taylor expansion of (* 1/3 (/ (cos (/ -0.5 K)) J)) in J
1.296 * [taylor]: Taking taylor expansion of 1/3 in J
1.296 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) J) in J
1.296 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
1.296 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
1.296 * [taylor]: Taking taylor expansion of -0.5 in J
1.296 * [taylor]: Taking taylor expansion of K in J
1.296 * [taylor]: Taking taylor expansion of J in J
1.297 * [taylor]: Taking taylor expansion of (* 1/3 (cos (/ -0.5 K))) in K
1.297 * [taylor]: Taking taylor expansion of 1/3 in K
1.297 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
1.297 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
1.297 * [taylor]: Taking taylor expansion of -0.5 in K
1.297 * [taylor]: Taking taylor expansion of K in K
1.297 * [taylor]: Taking taylor expansion of 0 in K
1.297 * [taylor]: Taking taylor expansion of 0 in K
1.298 * [taylor]: Taking taylor expansion of 0 in J
1.299 * [taylor]: Taking taylor expansion of 0 in K
1.299 * [taylor]: Taking taylor expansion of 0 in K
1.299 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2 1)
1.299 * [approximate]: Taking taylor expansion of (* 1/3 (pow l 3)) in (l) around 0
1.299 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in l
1.299 * [taylor]: Taking taylor expansion of 1/3 in l
1.299 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.299 * [taylor]: Taking taylor expansion of l in l
1.300 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in l
1.300 * [taylor]: Taking taylor expansion of 1/3 in l
1.300 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.300 * [taylor]: Taking taylor expansion of l in l
1.301 * [approximate]: Taking taylor expansion of (/ 1/3 (pow l 3)) in (l) around 0
1.301 * [taylor]: Taking taylor expansion of (/ 1/3 (pow l 3)) in l
1.301 * [taylor]: Taking taylor expansion of 1/3 in l
1.301 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.301 * [taylor]: Taking taylor expansion of l in l
1.301 * [taylor]: Taking taylor expansion of (/ 1/3 (pow l 3)) in l
1.301 * [taylor]: Taking taylor expansion of 1/3 in l
1.301 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.301 * [taylor]: Taking taylor expansion of l in l
1.302 * [approximate]: Taking taylor expansion of (/ -1/3 (pow l 3)) in (l) around 0
1.302 * [taylor]: Taking taylor expansion of (/ -1/3 (pow l 3)) in l
1.302 * [taylor]: Taking taylor expansion of -1/3 in l
1.302 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.302 * [taylor]: Taking taylor expansion of l in l
1.302 * [taylor]: Taking taylor expansion of (/ -1/3 (pow l 3)) in l
1.302 * [taylor]: Taking taylor expansion of -1/3 in l
1.302 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.302 * [taylor]: Taking taylor expansion of l in l
1.303 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
1.303 * [approximate]: Taking taylor expansion of (* J (cos (* 0.5 K))) in (J K) around 0
1.303 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in K
1.304 * [taylor]: Taking taylor expansion of J in K
1.304 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
1.304 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
1.304 * [taylor]: Taking taylor expansion of 0.5 in K
1.304 * [taylor]: Taking taylor expansion of K in K
1.304 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in J
1.304 * [taylor]: Taking taylor expansion of J in J
1.304 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
1.304 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
1.304 * [taylor]: Taking taylor expansion of 0.5 in J
1.304 * [taylor]: Taking taylor expansion of K in J
1.304 * [taylor]: Taking taylor expansion of (* J (cos (* 0.5 K))) in J
1.304 * [taylor]: Taking taylor expansion of J in J
1.304 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
1.304 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
1.304 * [taylor]: Taking taylor expansion of 0.5 in J
1.304 * [taylor]: Taking taylor expansion of K in J
1.304 * [taylor]: Taking taylor expansion of 0 in K
1.305 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
1.305 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
1.305 * [taylor]: Taking taylor expansion of 0.5 in K
1.305 * [taylor]: Taking taylor expansion of K in K
1.305 * [taylor]: Taking taylor expansion of 0 in K
1.306 * [taylor]: Taking taylor expansion of 0 in K
1.306 * [approximate]: Taking taylor expansion of (/ (cos (/ 0.5 K)) J) in (J K) around 0
1.306 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) J) in K
1.306 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
1.306 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
1.306 * [taylor]: Taking taylor expansion of 0.5 in K
1.306 * [taylor]: Taking taylor expansion of K in K
1.306 * [taylor]: Taking taylor expansion of J in K
1.306 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) J) in J
1.306 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
1.306 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
1.306 * [taylor]: Taking taylor expansion of 0.5 in J
1.306 * [taylor]: Taking taylor expansion of K in J
1.306 * [taylor]: Taking taylor expansion of J in J
1.306 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) J) in J
1.306 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
1.306 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
1.306 * [taylor]: Taking taylor expansion of 0.5 in J
1.306 * [taylor]: Taking taylor expansion of K in J
1.306 * [taylor]: Taking taylor expansion of J in J
1.307 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
1.307 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
1.307 * [taylor]: Taking taylor expansion of 0.5 in K
1.307 * [taylor]: Taking taylor expansion of K in K
1.307 * [taylor]: Taking taylor expansion of 0 in K
1.307 * [taylor]: Taking taylor expansion of 0 in K
1.308 * [taylor]: Taking taylor expansion of 0 in K
1.308 * [approximate]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) J)) in (J K) around 0
1.308 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) J)) in K
1.308 * [taylor]: Taking taylor expansion of -1 in K
1.308 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) J) in K
1.308 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
1.308 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
1.308 * [taylor]: Taking taylor expansion of -0.5 in K
1.308 * [taylor]: Taking taylor expansion of K in K
1.308 * [taylor]: Taking taylor expansion of J in K
1.308 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) J)) in J
1.309 * [taylor]: Taking taylor expansion of -1 in J
1.309 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) J) in J
1.309 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
1.309 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
1.309 * [taylor]: Taking taylor expansion of -0.5 in J
1.309 * [taylor]: Taking taylor expansion of K in J
1.309 * [taylor]: Taking taylor expansion of J in J
1.309 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (/ -0.5 K)) J)) in J
1.309 * [taylor]: Taking taylor expansion of -1 in J
1.309 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) J) in J
1.309 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
1.309 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
1.309 * [taylor]: Taking taylor expansion of -0.5 in J
1.309 * [taylor]: Taking taylor expansion of K in J
1.309 * [taylor]: Taking taylor expansion of J in J
1.309 * [taylor]: Taking taylor expansion of (* -1 (cos (/ -0.5 K))) in K
1.309 * [taylor]: Taking taylor expansion of -1 in K
1.309 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
1.309 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
1.309 * [taylor]: Taking taylor expansion of -0.5 in K
1.309 * [taylor]: Taking taylor expansion of K in K
1.310 * [taylor]: Taking taylor expansion of 0 in K
1.310 * [taylor]: Taking taylor expansion of 0 in K
1.311 * [taylor]: Taking taylor expansion of 0 in K
1.311 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2 2)
1.311 * [approximate]: Taking taylor expansion of (* 1/60 (pow l 5)) in (l) around 0
1.311 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in l
1.311 * [taylor]: Taking taylor expansion of 1/60 in l
1.311 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.311 * [taylor]: Taking taylor expansion of l in l
1.311 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in l
1.311 * [taylor]: Taking taylor expansion of 1/60 in l
1.311 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.311 * [taylor]: Taking taylor expansion of l in l
1.313 * [approximate]: Taking taylor expansion of (/ 1/60 (pow l 5)) in (l) around 0
1.313 * [taylor]: Taking taylor expansion of (/ 1/60 (pow l 5)) in l
1.313 * [taylor]: Taking taylor expansion of 1/60 in l
1.313 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.313 * [taylor]: Taking taylor expansion of l in l
1.313 * [taylor]: Taking taylor expansion of (/ 1/60 (pow l 5)) in l
1.313 * [taylor]: Taking taylor expansion of 1/60 in l
1.313 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.313 * [taylor]: Taking taylor expansion of l in l
1.314 * [approximate]: Taking taylor expansion of (/ -1/60 (pow l 5)) in (l) around 0
1.314 * [taylor]: Taking taylor expansion of (/ -1/60 (pow l 5)) in l
1.314 * [taylor]: Taking taylor expansion of -1/60 in l
1.314 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.314 * [taylor]: Taking taylor expansion of l in l
1.315 * [taylor]: Taking taylor expansion of (/ -1/60 (pow l 5)) in l
1.315 * [taylor]: Taking taylor expansion of -1/60 in l
1.315 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.315 * [taylor]: Taking taylor expansion of l in l
1.316 * * * [progress]: simplifying candidates
1.317 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0))))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0))))
  (+ (log (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (+ (log J) (log (cos (/ K 2.0)))))
  (+ (log (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (log (* J (cos (/ K 2.0)))))
  (log (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))))
  (exp (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))))
  (* (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (* (* (* J J) J) (* (* (cos (/ K 2.0)) (cos (/ K 2.0))) (cos (/ K 2.0)))))
  (* (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (* (* (* J (cos (/ K 2.0))) (* J (cos (/ K 2.0)))) (* J (cos (/ K 2.0)))))
  (* (cbrt (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0))))) (cbrt (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0))))))
  (cbrt (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))))
  (* (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))) (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0))))) (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))))
  (sqrt (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))))
  (sqrt (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) J)
  (* (cbrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (* J (cos (/ K 2.0))))
  (* (sqrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (* J (cos (/ K 2.0))))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0))))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0))))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0))))
  (* (+ (pow l 3) (pow (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))) 3)) (* J (cos (/ K 2.0))))
  (* (- (* l l) (* (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))) (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (* J (cos (/ K 2.0))))
  (+ (log 1/3) (* (log l) 3))
  (+ (log 1/3) (* (log l) 3))
  (+ (log 1/3) (log (pow l 3)))
  (log (* 1/3 (pow l 3)))
  (exp (* 1/3 (pow l 3)))
  (* (* (* 1/3 1/3) 1/3) (* (* (pow l 3) (pow l 3)) (pow l 3)))
  (* (cbrt (* 1/3 (pow l 3))) (cbrt (* 1/3 (pow l 3))))
  (cbrt (* 1/3 (pow l 3)))
  (* (* (* 1/3 (pow l 3)) (* 1/3 (pow l 3))) (* 1/3 (pow l 3)))
  (sqrt (* 1/3 (pow l 3)))
  (sqrt (* 1/3 (pow l 3)))
  (* (sqrt 1/3) (pow (sqrt l) 3))
  (* (sqrt 1/3) (pow (sqrt l) 3))
  (* (sqrt 1/3) (pow (sqrt l) 3))
  (* (sqrt 1/3) (pow (sqrt l) 3))
  (* (sqrt 1/3) (sqrt (pow l 3)))
  (* (sqrt 1/3) (sqrt (pow l 3)))
  (* (sqrt 1/3) (pow l (/ 3 2)))
  (* (sqrt 1/3) (pow l (/ 3 2)))
  (* 1/3 (pow (* (cbrt l) (cbrt l)) 3))
  (* 1/3 (pow (sqrt l) 3))
  (* 1/3 (pow 1 3))
  (* 1/3 (* l l))
  (* 1/3 (* (cbrt (pow l 3)) (cbrt (pow l 3))))
  (* 1/3 (pow (* (cbrt l) (cbrt l)) 3))
  (* 1/3 (pow (sqrt l) 3))
  (* 1/3 (pow 1 3))
  (* 1/3 l)
  (* 1/3 (sqrt (pow l 3)))
  (* 1/3 1)
  (* 1/3 (pow l (/ 3 2)))
  (* (cbrt 1/3) (pow l 3))
  (* (sqrt 1/3) (pow l 3))
  (* 1/3 (pow l 3))
  (* J (cos (/ K 2.0)))
  (+ (log J) (log (cos (/ K 2.0))))
  (log (* J (cos (/ K 2.0))))
  (exp (* J (cos (/ K 2.0))))
  (* (* (* J J) J) (* (* (cos (/ K 2.0)) (cos (/ K 2.0))) (cos (/ K 2.0))))
  (* (cbrt (* J (cos (/ K 2.0)))) (cbrt (* J (cos (/ K 2.0)))))
  (cbrt (* J (cos (/ K 2.0))))
  (* (* (* J (cos (/ K 2.0))) (* J (cos (/ K 2.0)))) (* J (cos (/ K 2.0))))
  (sqrt (* J (cos (/ K 2.0))))
  (sqrt (* J (cos (/ K 2.0))))
  (* (sqrt J) (sqrt (cos (/ K 2.0))))
  (* (sqrt J) (sqrt (cos (/ K 2.0))))
  (* J (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0)))))
  (* J (sqrt (cos (/ K 2.0))))
  (* J 1)
  (* (cbrt J) (cos (/ K 2.0)))
  (* (sqrt J) (cos (/ K 2.0)))
  (* J (cos (/ K 2.0)))
  (+ (log 1/60) (* (log l) 5))
  (+ (log 1/60) (* (log l) 5))
  (+ (log 1/60) (log (pow l 5)))
  (log (* 1/60 (pow l 5)))
  (exp (* 1/60 (pow l 5)))
  (* (* (* 1/60 1/60) 1/60) (* (* (pow l 5) (pow l 5)) (pow l 5)))
  (* (cbrt (* 1/60 (pow l 5))) (cbrt (* 1/60 (pow l 5))))
  (cbrt (* 1/60 (pow l 5)))
  (* (* (* 1/60 (pow l 5)) (* 1/60 (pow l 5))) (* 1/60 (pow l 5)))
  (sqrt (* 1/60 (pow l 5)))
  (sqrt (* 1/60 (pow l 5)))
  (* (sqrt 1/60) (pow (sqrt l) 5))
  (* (sqrt 1/60) (pow (sqrt l) 5))
  (* (sqrt 1/60) (sqrt (pow l 5)))
  (* (sqrt 1/60) (sqrt (pow l 5)))
  (* (sqrt 1/60) (pow l (/ 5 2)))
  (* (sqrt 1/60) (pow l (/ 5 2)))
  (* 1/60 (pow (* (cbrt l) (cbrt l)) 5))
  (* 1/60 (pow (sqrt l) 5))
  (* 1/60 (pow 1 5))
  (* 1/60 (* (cbrt (pow l 5)) (cbrt (pow l 5))))
  (* 1/60 (sqrt (pow l 5)))
  (* 1/60 1)
  (* 1/60 (pow l (/ 5 2)))
  (* (cbrt 1/60) (pow l 5))
  (* (sqrt 1/60) (pow l 5))
  (* 1/60 (pow l 5))
  (* 2 (* J l))
  (+ (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) (* 1/60 (* J (* (cos (* 0.5 K)) (pow l 5)))))
  (+ (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) (* 1/60 (* J (* (cos (* 0.5 K)) (pow l 5)))))
  (* 1/3 (pow l 3))
  (* 1/3 (pow l 3))
  (* 1/3 (pow l 3))
  J
  (* J (cos (* 0.5 K)))
  (* J (cos (* 0.5 K)))
  (* 1/60 (pow l 5))
  (* 1/60 (pow l 5))
  (* 1/60 (pow l 5))
1.343 * * [simplify]: iteration  0 :  5087  enodes  (cost  1099 )
1.347 * [simplify]: Simplified to:
   (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0))))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0))))
  (log (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))))
  (log (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))))
  (log (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))))
  (pow (pow (exp J) (cos (/ K 2.0))) (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))))
  (pow (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))) 3)
  (pow (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))) 3)
  (* (cbrt (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0))))) (cbrt (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0))))))
  (cbrt (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))))
  (pow (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))) 3)
  (sqrt (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))))
  (sqrt (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) J)
  (* J (* (cos (/ K 2.0)) (cbrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))))))
  (* J (* (cos (/ K 2.0)) (sqrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))))))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0))))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0))))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0))))
  (* J (* (cos (/ K 2.0)) (+ (pow l 3) (pow (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))) 3))))
  (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* (* J (cos (/ K 2.0))) (- (neg (* 1/3 (pow l 3))) (* 1/60 (pow l 5)))))
  (log (* 1/3 (pow l 3)))
  (log (* 1/3 (pow l 3)))
  (log (* 1/3 (pow l 3)))
  (log (* 1/3 (pow l 3)))
  (cbrt (exp (pow l 3)))
  (* 1/27 (pow (pow l 3) 3))
  (* (cbrt (* 1/3 (pow l 3))) (cbrt (* 1/3 (pow l 3))))
  (cbrt (* 1/3 (pow l 3)))
  (* 1/27 (pow (pow l 3) 3))
  (sqrt (* 1/3 (pow l 3)))
  (sqrt (* 1/3 (pow l 3)))
  (* l (* (sqrt 1/3) (sqrt l)))
  (* l (* (sqrt 1/3) (sqrt l)))
  (* l (* (sqrt 1/3) (sqrt l)))
  (* l (* (sqrt 1/3) (sqrt l)))
  (* (sqrt 1/3) (sqrt (pow l 3)))
  (* (sqrt 1/3) (sqrt (pow l 3)))
  (* (sqrt 1/3) (pow l 3/2))
  (* (sqrt 1/3) (pow l 3/2))
  (* l (* l 1/3))
  (* l (* 1/3 (sqrt l)))
  1/3
  (* l (* l 1/3))
  (* l (* l 1/3))
  (* l (* l 1/3))
  (* l (* 1/3 (sqrt l)))
  1/3
  (* l 1/3)
  (* 1/3 (sqrt (pow l 3)))
  1/3
  (* 1/3 (pow l 3/2))
  (* (pow l 3) (cbrt 1/3))
  (* (pow l 3) (sqrt 1/3))
  (* 1/3 (pow l 3))
  (* J (cos (/ K 2.0)))
  (log (* J (cos (/ K 2.0))))
  (log (* J (cos (/ K 2.0))))
  (pow (exp J) (cos (/ K 2.0)))
  (pow (* J (cos (/ K 2.0))) 3)
  (* (cbrt (* J (cos (/ K 2.0)))) (cbrt (* J (cos (/ K 2.0)))))
  (cbrt (* J (cos (/ K 2.0))))
  (pow (* J (cos (/ K 2.0))) 3)
  (sqrt (* J (cos (/ K 2.0))))
  (sqrt (* J (cos (/ K 2.0))))
  (* (sqrt J) (sqrt (cos (/ K 2.0))))
  (* (sqrt J) (sqrt (cos (/ K 2.0))))
  (* J (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0)))))
  (* J (sqrt (cos (/ K 2.0))))
  J
  (* (cos (/ K 2.0)) (cbrt J))
  (* (cos (/ K 2.0)) (sqrt J))
  (* J (cos (/ K 2.0)))
  (log (* 1/60 (pow l 5)))
  (log (* 1/60 (pow l 5)))
  (log (* 1/60 (pow l 5)))
  (log (* 1/60 (pow l 5)))
  (pow (exp 1/60) (pow l 5))
  (* 1/216000 (pow (pow l 5) 3))
  (* (cbrt (* 1/60 (pow l 5))) (cbrt (* 1/60 (pow l 5))))
  (cbrt (* 1/60 (pow l 5)))
  (* 1/216000 (pow (pow l 5) 3))
  (sqrt (* 1/60 (pow l 5)))
  (sqrt (* 1/60 (pow l 5)))
  (* (sqrt 1/60) (pow (sqrt l) 5))
  (* (sqrt 1/60) (pow (sqrt l) 5))
  (* (sqrt 1/60) (sqrt (pow l 5)))
  (* (sqrt 1/60) (sqrt (pow l 5)))
  (* (sqrt 1/60) (pow l 5/2))
  (* (sqrt 1/60) (pow l 5/2))
  (* 1/60 (pow (* (cbrt l) (cbrt l)) 5))
  (* 1/60 (pow (sqrt l) 5))
  1/60
  (* 1/60 (* (cbrt (pow l 5)) (cbrt (pow l 5))))
  (* 1/60 (sqrt (pow l 5)))
  1/60
  (* 1/60 (pow l 5/2))
  (* (pow l 5) (cbrt 1/60))
  (* (pow l 5) (sqrt 1/60))
  (* 1/60 (pow l 5))
  (* l (* J 2))
  (* (* J (cos (* K 0.5))) (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))
  (* (* J (cos (* K 0.5))) (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))
  (* 1/3 (pow l 3))
  (* 1/3 (pow l 3))
  (* 1/3 (pow l 3))
  J
  (* J (cos (* K 0.5)))
  (* J (cos (* K 0.5)))
  (* 1/60 (pow l 5))
  (* 1/60 (pow l 5))
  (* 1/60 (pow l 5))
1.351 * * * [progress]: adding candidates to table
1.542 * [progress]: [Phase 3 of 3] Extracting.
1.542 * * [regime]: Finding splitpoints for: (#<alt (λ (J l K U) (+ (* J (* (exp (log (- (exp l) (exp (neg l))))) (cos (/ K 2.0)))) U))> #<alt (λ (J l K U) (+ (* (sqrt (* (- (exp l) (exp (neg l))) (* J (cos (/ K 2.0))))) (sqrt (* (- (exp l) (exp (neg l))) (* J (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* J (* (* (sqrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (sqrt (cos (/ K 2.0)))) (* (sqrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (sqrt (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* J (log (pow (exp (- (exp l) (exp (neg l)))) (cos (/ K 2.0))))) U))> #<alt (λ (J l K U) (+ (* J (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0)))) U))> #<alt (λ (J l K U) (+ (* J (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0))))) (cbrt (cos (/ K 2.0))))) U))> #<alt (λ (J l K U) (+ (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* (* (cbrt (* J (cos (/ K 2.0)))) (cbrt (* J (cos (/ K 2.0))))) (cbrt (* J (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) J) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))) U))>)
1.546 * * * [regime-changes]: Trying 7 branch expressions: ((/ K 2.0) (cos (/ K 2.0)) (- (exp l) (exp (neg l))) U K l J)
1.546 * * * * [regimes]: Trying to branch on (/ K 2.0) from (#<alt (λ (J l K U) (+ (* J (* (exp (log (- (exp l) (exp (neg l))))) (cos (/ K 2.0)))) U))> #<alt (λ (J l K U) (+ (* (sqrt (* (- (exp l) (exp (neg l))) (* J (cos (/ K 2.0))))) (sqrt (* (- (exp l) (exp (neg l))) (* J (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* J (* (* (sqrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (sqrt (cos (/ K 2.0)))) (* (sqrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (sqrt (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* J (log (pow (exp (- (exp l) (exp (neg l)))) (cos (/ K 2.0))))) U))> #<alt (λ (J l K U) (+ (* J (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0)))) U))> #<alt (λ (J l K U) (+ (* J (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0))))) (cbrt (cos (/ K 2.0))))) U))> #<alt (λ (J l K U) (+ (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* (* (cbrt (* J (cos (/ K 2.0)))) (cbrt (* J (cos (/ K 2.0))))) (cbrt (* J (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) J) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))) U))>)
1.637 * * * * [regimes]: Trying to branch on (cos (/ K 2.0)) from (#<alt (λ (J l K U) (+ (* J (* (exp (log (- (exp l) (exp (neg l))))) (cos (/ K 2.0)))) U))> #<alt (λ (J l K U) (+ (* (sqrt (* (- (exp l) (exp (neg l))) (* J (cos (/ K 2.0))))) (sqrt (* (- (exp l) (exp (neg l))) (* J (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* J (* (* (sqrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (sqrt (cos (/ K 2.0)))) (* (sqrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (sqrt (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* J (log (pow (exp (- (exp l) (exp (neg l)))) (cos (/ K 2.0))))) U))> #<alt (λ (J l K U) (+ (* J (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0)))) U))> #<alt (λ (J l K U) (+ (* J (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0))))) (cbrt (cos (/ K 2.0))))) U))> #<alt (λ (J l K U) (+ (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* (* (cbrt (* J (cos (/ K 2.0)))) (cbrt (* J (cos (/ K 2.0))))) (cbrt (* J (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) J) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))) U))>)
1.727 * * * * [regimes]: Trying to branch on (- (exp l) (exp (neg l))) from (#<alt (λ (J l K U) (+ (* J (* (exp (log (- (exp l) (exp (neg l))))) (cos (/ K 2.0)))) U))> #<alt (λ (J l K U) (+ (* (sqrt (* (- (exp l) (exp (neg l))) (* J (cos (/ K 2.0))))) (sqrt (* (- (exp l) (exp (neg l))) (* J (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* J (* (* (sqrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (sqrt (cos (/ K 2.0)))) (* (sqrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (sqrt (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* J (log (pow (exp (- (exp l) (exp (neg l)))) (cos (/ K 2.0))))) U))> #<alt (λ (J l K U) (+ (* J (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0)))) U))> #<alt (λ (J l K U) (+ (* J (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0))))) (cbrt (cos (/ K 2.0))))) U))> #<alt (λ (J l K U) (+ (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* (* (cbrt (* J (cos (/ K 2.0)))) (cbrt (* J (cos (/ K 2.0))))) (cbrt (* J (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) J) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))) U))>)
1.811 * * * * [regimes]: Trying to branch on (- (exp l) (exp (neg l))) from (#<alt (λ (J l K U) (+ (* J (* (exp (log (- (exp l) (exp (neg l))))) (cos (/ K 2.0)))) U))> #<alt (λ (J l K U) (+ (* (sqrt (* (- (exp l) (exp (neg l))) (* J (cos (/ K 2.0))))) (sqrt (* (- (exp l) (exp (neg l))) (* J (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* J (log (pow (exp (- (exp l) (exp (neg l)))) (cos (/ K 2.0))))) U))>)
1.863 * * * * [regimes]: Trying to branch on U from (#<alt (λ (J l K U) (+ (* J (* (exp (log (- (exp l) (exp (neg l))))) (cos (/ K 2.0)))) U))> #<alt (λ (J l K U) (+ (* (sqrt (* (- (exp l) (exp (neg l))) (* J (cos (/ K 2.0))))) (sqrt (* (- (exp l) (exp (neg l))) (* J (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* J (* (* (sqrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (sqrt (cos (/ K 2.0)))) (* (sqrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (sqrt (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* J (log (pow (exp (- (exp l) (exp (neg l)))) (cos (/ K 2.0))))) U))> #<alt (λ (J l K U) (+ (* J (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0)))) U))> #<alt (λ (J l K U) (+ (* J (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0))))) (cbrt (cos (/ K 2.0))))) U))> #<alt (λ (J l K U) (+ (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* (* (cbrt (* J (cos (/ K 2.0)))) (cbrt (* J (cos (/ K 2.0))))) (cbrt (* J (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) J) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))) U))>)
1.952 * * * * [regimes]: Trying to branch on K from (#<alt (λ (J l K U) (+ (* J (* (exp (log (- (exp l) (exp (neg l))))) (cos (/ K 2.0)))) U))> #<alt (λ (J l K U) (+ (* (sqrt (* (- (exp l) (exp (neg l))) (* J (cos (/ K 2.0))))) (sqrt (* (- (exp l) (exp (neg l))) (* J (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* J (* (* (sqrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (sqrt (cos (/ K 2.0)))) (* (sqrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (sqrt (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* J (log (pow (exp (- (exp l) (exp (neg l)))) (cos (/ K 2.0))))) U))> #<alt (λ (J l K U) (+ (* J (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0)))) U))> #<alt (λ (J l K U) (+ (* J (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0))))) (cbrt (cos (/ K 2.0))))) U))> #<alt (λ (J l K U) (+ (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* (* (cbrt (* J (cos (/ K 2.0)))) (cbrt (* J (cos (/ K 2.0))))) (cbrt (* J (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) J) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))) U))>)
2.040 * * * * [regimes]: Trying to branch on l from (#<alt (λ (J l K U) (+ (* J (* (exp (log (- (exp l) (exp (neg l))))) (cos (/ K 2.0)))) U))> #<alt (λ (J l K U) (+ (* (sqrt (* (- (exp l) (exp (neg l))) (* J (cos (/ K 2.0))))) (sqrt (* (- (exp l) (exp (neg l))) (* J (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* J (* (* (sqrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (sqrt (cos (/ K 2.0)))) (* (sqrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (sqrt (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* J (log (pow (exp (- (exp l) (exp (neg l)))) (cos (/ K 2.0))))) U))> #<alt (λ (J l K U) (+ (* J (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0)))) U))> #<alt (λ (J l K U) (+ (* J (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0))))) (cbrt (cos (/ K 2.0))))) U))> #<alt (λ (J l K U) (+ (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* (* (cbrt (* J (cos (/ K 2.0)))) (cbrt (* J (cos (/ K 2.0))))) (cbrt (* J (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) J) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))) U))>)
2.130 * * * * [regimes]: Trying to branch on J from (#<alt (λ (J l K U) (+ (* J (* (exp (log (- (exp l) (exp (neg l))))) (cos (/ K 2.0)))) U))> #<alt (λ (J l K U) (+ (* (sqrt (* (- (exp l) (exp (neg l))) (* J (cos (/ K 2.0))))) (sqrt (* (- (exp l) (exp (neg l))) (* J (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* J (* (* (sqrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (sqrt (cos (/ K 2.0)))) (* (sqrt (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))))) (sqrt (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* J (log (pow (exp (- (exp l) (exp (neg l)))) (cos (/ K 2.0))))) U))> #<alt (λ (J l K U) (+ (* J (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (cos (/ K 2.0)))) U))> #<alt (λ (J l K U) (+ (* J (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0))))) (cbrt (cos (/ K 2.0))))) U))> #<alt (λ (J l K U) (+ (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* (* (cbrt (* J (cos (/ K 2.0)))) (cbrt (* J (cos (/ K 2.0))))) (cbrt (* J (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) J) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) (* J (cos (/ K 2.0)))) U))>)
2.218 * * * [regime]: Found split indices: #<option (#s(si 7 255))>
2.218 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) J) (cos (/ K 2.0))) U)
2.219 * * [simplify]: iteration  0 :  29  enodes  (cost  24 )
2.219 * * [simplify]: iteration  1 :  29  enodes  (cost  24 )
2.219 * [simplify]: Simplified to:
   (+ (* (* (+ l (+ l (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))))) J) (cos (/ K 2.0))) U)
7.671 * [regime-testing]: End program error score: 0.40573604582584977