31.822 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.115 * * * [progress]: [2/2] Setting up program.
0.119 * [progress]: [Phase 2 of 3] Improving.
0.119 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))) U)
0.121 * * [simplify]: iteration  0 :  23  enodes  (cost  9 )
0.122 * * [simplify]: iteration  1 :  41  enodes  (cost  9 )
0.124 * * [simplify]: iteration  2 :  83  enodes  (cost  9 )
0.126 * * [simplify]: iteration  3 :  173  enodes  (cost  9 )
0.128 * * [simplify]: iteration  4 :  271  enodes  (cost  9 )
0.132 * * [simplify]: iteration  5 :  533  enodes  (cost  9 )
0.139 * * [simplify]: iteration  6 :  1023  enodes  (cost  9 )
0.147 * * [simplify]: iteration  7 :  1395  enodes  (cost  9 )
0.173 * * [simplify]: iteration  8 :  4369  enodes  (cost  9 )
0.474 * * [simplify]: iteration  9 :  5002  enodes  (cost  9 )
0.475 * [simplify]: Simplified to:
   (+ (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))) U)
0.476 * * [progress]: iteration 1 / 4
0.476 * * * [progress]: picking best candidate
0.479 * * * * [pick]: Picked  #<alt (λ (J l K U) (+ (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))) U))>
0.479 * * * [progress]: localizing error
0.492 * * * [progress]: generating rewritten candidates
0.492 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 2)
0.498 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
0.519 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
0.549 * * * [progress]: generating series expansions
0.549 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 2)
0.549 * [approximate]: Taking taylor expansion of (- (exp l) (exp (- l))) in (l) around 0
0.549 * [taylor]: Taking taylor expansion of (- (exp l) (exp (- l))) in l
0.549 * [taylor]: Taking taylor expansion of (exp l) in l
0.549 * [taylor]: Taking taylor expansion of l in l
0.549 * [taylor]: Taking taylor expansion of (exp (- l)) in l
0.549 * [taylor]: Taking taylor expansion of (- l) in l
0.549 * [taylor]: Taking taylor expansion of l in l
0.550 * [taylor]: Taking taylor expansion of (- (exp l) (exp (- l))) in l
0.550 * [taylor]: Taking taylor expansion of (exp l) in l
0.550 * [taylor]: Taking taylor expansion of l in l
0.550 * [taylor]: Taking taylor expansion of (exp (- l)) in l
0.550 * [taylor]: Taking taylor expansion of (- l) in l
0.550 * [taylor]: Taking taylor expansion of l in l
0.574 * [approximate]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in (l) around 0
0.574 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in l
0.574 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.574 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.574 * [taylor]: Taking taylor expansion of l in l
0.575 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in l
0.575 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in l
0.575 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.575 * [taylor]: Taking taylor expansion of l in l
0.575 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in l
0.575 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.575 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.575 * [taylor]: Taking taylor expansion of l in l
0.576 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in l
0.576 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in l
0.576 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.576 * [taylor]: Taking taylor expansion of l in l
0.579 * [approximate]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in (l) around 0
0.580 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l
0.580 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l
0.580 * [taylor]: Taking taylor expansion of (/ -1 l) in l
0.580 * [taylor]: Taking taylor expansion of -1 in l
0.580 * [taylor]: Taking taylor expansion of l in l
0.580 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.580 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.580 * [taylor]: Taking taylor expansion of l in l
0.580 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l
0.580 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l
0.580 * [taylor]: Taking taylor expansion of (/ -1 l) in l
0.580 * [taylor]: Taking taylor expansion of -1 in l
0.580 * [taylor]: Taking taylor expansion of l in l
0.581 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.581 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.581 * [taylor]: Taking taylor expansion of l in l
0.584 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
0.584 * [approximate]: Taking taylor expansion of (* J (- (exp l) (exp (- l)))) in (J l) around 0
0.584 * [taylor]: Taking taylor expansion of (* J (- (exp l) (exp (- l)))) in l
0.584 * [taylor]: Taking taylor expansion of J in l
0.584 * [taylor]: Taking taylor expansion of (- (exp l) (exp (- l))) in l
0.584 * [taylor]: Taking taylor expansion of (exp l) in l
0.584 * [taylor]: Taking taylor expansion of l in l
0.584 * [taylor]: Taking taylor expansion of (exp (- l)) in l
0.584 * [taylor]: Taking taylor expansion of (- l) in l
0.584 * [taylor]: Taking taylor expansion of l in l
0.585 * [taylor]: Taking taylor expansion of (* J (- (exp l) (exp (- l)))) in J
0.585 * [taylor]: Taking taylor expansion of J in J
0.585 * [taylor]: Taking taylor expansion of (- (exp l) (exp (- l))) in J
0.585 * [taylor]: Taking taylor expansion of (exp l) in J
0.585 * [taylor]: Taking taylor expansion of l in J
0.585 * [taylor]: Taking taylor expansion of (exp (- l)) in J
0.585 * [taylor]: Taking taylor expansion of (- l) in J
0.585 * [taylor]: Taking taylor expansion of l in J
0.585 * [taylor]: Taking taylor expansion of (* J (- (exp l) (exp (- l)))) in J
0.585 * [taylor]: Taking taylor expansion of J in J
0.585 * [taylor]: Taking taylor expansion of (- (exp l) (exp (- l))) in J
0.585 * [taylor]: Taking taylor expansion of (exp l) in J
0.585 * [taylor]: Taking taylor expansion of l in J
0.585 * [taylor]: Taking taylor expansion of (exp (- l)) in J
0.585 * [taylor]: Taking taylor expansion of (- l) in J
0.585 * [taylor]: Taking taylor expansion of l in J
0.585 * [taylor]: Taking taylor expansion of 0 in l
0.587 * [taylor]: Taking taylor expansion of (- (exp l) (exp (- l))) in l
0.587 * [taylor]: Taking taylor expansion of (exp l) in l
0.587 * [taylor]: Taking taylor expansion of l in l
0.587 * [taylor]: Taking taylor expansion of (exp (- l)) in l
0.587 * [taylor]: Taking taylor expansion of (- l) in l
0.587 * [taylor]: Taking taylor expansion of l in l
0.591 * [taylor]: Taking taylor expansion of 0 in l
0.597 * [taylor]: Taking taylor expansion of 0 in l
0.605 * [taylor]: Taking taylor expansion of 0 in l
0.606 * [approximate]: Taking taylor expansion of (/ (- (exp (/ 1 l)) (exp (- (/ 1 l)))) J) in (J l) around 0
0.606 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 l)) (exp (- (/ 1 l)))) J) in l
0.606 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in l
0.606 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.606 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.606 * [taylor]: Taking taylor expansion of l in l
0.606 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in l
0.606 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in l
0.606 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.606 * [taylor]: Taking taylor expansion of l in l
0.607 * [taylor]: Taking taylor expansion of J in l
0.607 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 l)) (exp (- (/ 1 l)))) J) in J
0.607 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in J
0.607 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J
0.607 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.607 * [taylor]: Taking taylor expansion of l in J
0.607 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in J
0.607 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in J
0.607 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.607 * [taylor]: Taking taylor expansion of l in J
0.607 * [taylor]: Taking taylor expansion of J in J
0.607 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 l)) (exp (- (/ 1 l)))) J) in J
0.607 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in J
0.607 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J
0.607 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.607 * [taylor]: Taking taylor expansion of l in J
0.608 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in J
0.608 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in J
0.608 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.608 * [taylor]: Taking taylor expansion of l in J
0.608 * [taylor]: Taking taylor expansion of J in J
0.608 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in l
0.608 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.608 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.608 * [taylor]: Taking taylor expansion of l in l
0.608 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in l
0.608 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in l
0.608 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.608 * [taylor]: Taking taylor expansion of l in l
0.612 * [taylor]: Taking taylor expansion of 0 in l
0.616 * [taylor]: Taking taylor expansion of 0 in l
0.621 * [taylor]: Taking taylor expansion of 0 in l
0.621 * [approximate]: Taking taylor expansion of (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) in (J l) around 0
0.621 * [taylor]: Taking taylor expansion of (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) in l
0.621 * [taylor]: Taking taylor expansion of -1 in l
0.621 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J) in l
0.621 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l
0.621 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l
0.621 * [taylor]: Taking taylor expansion of (/ -1 l) in l
0.621 * [taylor]: Taking taylor expansion of -1 in l
0.621 * [taylor]: Taking taylor expansion of l in l
0.621 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.621 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.621 * [taylor]: Taking taylor expansion of l in l
0.622 * [taylor]: Taking taylor expansion of J in l
0.622 * [taylor]: Taking taylor expansion of (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) in J
0.622 * [taylor]: Taking taylor expansion of -1 in J
0.622 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J) in J
0.622 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in J
0.622 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in J
0.622 * [taylor]: Taking taylor expansion of (/ -1 l) in J
0.622 * [taylor]: Taking taylor expansion of -1 in J
0.622 * [taylor]: Taking taylor expansion of l in J
0.622 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J
0.622 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.622 * [taylor]: Taking taylor expansion of l in J
0.622 * [taylor]: Taking taylor expansion of J in J
0.622 * [taylor]: Taking taylor expansion of (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) in J
0.622 * [taylor]: Taking taylor expansion of -1 in J
0.623 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J) in J
0.623 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in J
0.623 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in J
0.623 * [taylor]: Taking taylor expansion of (/ -1 l) in J
0.623 * [taylor]: Taking taylor expansion of -1 in J
0.623 * [taylor]: Taking taylor expansion of l in J
0.623 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J
0.623 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.623 * [taylor]: Taking taylor expansion of l in J
0.623 * [taylor]: Taking taylor expansion of J in J
0.623 * [taylor]: Taking taylor expansion of (* -1 (- (exp (/ -1 l)) (exp (/ 1 l)))) in l
0.623 * [taylor]: Taking taylor expansion of -1 in l
0.623 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l
0.623 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l
0.623 * [taylor]: Taking taylor expansion of (/ -1 l) in l
0.623 * [taylor]: Taking taylor expansion of -1 in l
0.623 * [taylor]: Taking taylor expansion of l in l
0.623 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.624 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.624 * [taylor]: Taking taylor expansion of l in l
0.627 * [taylor]: Taking taylor expansion of 0 in l
0.634 * [taylor]: Taking taylor expansion of 0 in l
0.639 * [taylor]: Taking taylor expansion of 0 in l
0.640 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
0.640 * [approximate]: Taking taylor expansion of (* J (* (- (exp l) (exp (- l))) (cos (* 0.5 K)))) in (J l K) around 0
0.640 * [taylor]: Taking taylor expansion of (* J (* (- (exp l) (exp (- l))) (cos (* 0.5 K)))) in K
0.640 * [taylor]: Taking taylor expansion of J in K
0.640 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (- l))) (cos (* 0.5 K))) in K
0.640 * [taylor]: Taking taylor expansion of (- (exp l) (exp (- l))) in K
0.640 * [taylor]: Taking taylor expansion of (exp l) in K
0.640 * [taylor]: Taking taylor expansion of l in K
0.640 * [taylor]: Taking taylor expansion of (exp (- l)) in K
0.640 * [taylor]: Taking taylor expansion of (- l) in K
0.640 * [taylor]: Taking taylor expansion of l in K
0.640 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
0.640 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
0.640 * [taylor]: Taking taylor expansion of 0.5 in K
0.640 * [taylor]: Taking taylor expansion of K in K
0.641 * [taylor]: Taking taylor expansion of (* J (* (- (exp l) (exp (- l))) (cos (* 0.5 K)))) in l
0.641 * [taylor]: Taking taylor expansion of J in l
0.641 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (- l))) (cos (* 0.5 K))) in l
0.641 * [taylor]: Taking taylor expansion of (- (exp l) (exp (- l))) in l
0.641 * [taylor]: Taking taylor expansion of (exp l) in l
0.641 * [taylor]: Taking taylor expansion of l in l
0.641 * [taylor]: Taking taylor expansion of (exp (- l)) in l
0.642 * [taylor]: Taking taylor expansion of (- l) in l
0.642 * [taylor]: Taking taylor expansion of l in l
0.642 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
0.642 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
0.642 * [taylor]: Taking taylor expansion of 0.5 in l
0.642 * [taylor]: Taking taylor expansion of K in l
0.642 * [taylor]: Taking taylor expansion of (* J (* (- (exp l) (exp (- l))) (cos (* 0.5 K)))) in J
0.642 * [taylor]: Taking taylor expansion of J in J
0.642 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (- l))) (cos (* 0.5 K))) in J
0.642 * [taylor]: Taking taylor expansion of (- (exp l) (exp (- l))) in J
0.642 * [taylor]: Taking taylor expansion of (exp l) in J
0.642 * [taylor]: Taking taylor expansion of l in J
0.642 * [taylor]: Taking taylor expansion of (exp (- l)) in J
0.642 * [taylor]: Taking taylor expansion of (- l) in J
0.642 * [taylor]: Taking taylor expansion of l in J
0.642 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
0.642 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
0.642 * [taylor]: Taking taylor expansion of 0.5 in J
0.642 * [taylor]: Taking taylor expansion of K in J
0.643 * [taylor]: Taking taylor expansion of (* J (* (- (exp l) (exp (- l))) (cos (* 0.5 K)))) in J
0.643 * [taylor]: Taking taylor expansion of J in J
0.643 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (- l))) (cos (* 0.5 K))) in J
0.643 * [taylor]: Taking taylor expansion of (- (exp l) (exp (- l))) in J
0.643 * [taylor]: Taking taylor expansion of (exp l) in J
0.643 * [taylor]: Taking taylor expansion of l in J
0.643 * [taylor]: Taking taylor expansion of (exp (- l)) in J
0.643 * [taylor]: Taking taylor expansion of (- l) in J
0.643 * [taylor]: Taking taylor expansion of l in J
0.643 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
0.643 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
0.643 * [taylor]: Taking taylor expansion of 0.5 in J
0.643 * [taylor]: Taking taylor expansion of K in J
0.644 * [taylor]: Taking taylor expansion of 0 in l
0.644 * [taylor]: Taking taylor expansion of 0 in K
0.648 * [taylor]: Taking taylor expansion of (- (* (exp l) (cos (* 0.5 K))) (* (cos (* 0.5 K)) (exp (- l)))) in l
0.648 * [taylor]: Taking taylor expansion of (* (exp l) (cos (* 0.5 K))) in l
0.648 * [taylor]: Taking taylor expansion of (exp l) in l
0.648 * [taylor]: Taking taylor expansion of l in l
0.648 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
0.648 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
0.648 * [taylor]: Taking taylor expansion of 0.5 in l
0.648 * [taylor]: Taking taylor expansion of K in l
0.648 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (exp (- l))) in l
0.648 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
0.648 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
0.648 * [taylor]: Taking taylor expansion of 0.5 in l
0.648 * [taylor]: Taking taylor expansion of K in l
0.648 * [taylor]: Taking taylor expansion of (exp (- l)) in l
0.648 * [taylor]: Taking taylor expansion of (- l) in l
0.648 * [taylor]: Taking taylor expansion of l in l
0.649 * [taylor]: Taking taylor expansion of 0 in K
0.649 * [taylor]: Taking taylor expansion of 0 in K
0.655 * [taylor]: Taking taylor expansion of 0 in l
0.655 * [taylor]: Taking taylor expansion of 0 in K
0.661 * [taylor]: Taking taylor expansion of (* 2 (cos (* 0.5 K))) in K
0.661 * [taylor]: Taking taylor expansion of 2 in K
0.662 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
0.662 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
0.662 * [taylor]: Taking taylor expansion of 0.5 in K
0.662 * [taylor]: Taking taylor expansion of K in K
0.663 * [taylor]: Taking taylor expansion of 0 in K
0.671 * [taylor]: Taking taylor expansion of 0 in l
0.671 * [taylor]: Taking taylor expansion of 0 in K
0.671 * [taylor]: Taking taylor expansion of 0 in K
0.671 * [approximate]: Taking taylor expansion of (/ (* (- (exp (/ 1 l)) (exp (- (/ 1 l)))) (cos (/ 0.5 K))) J) in (J l K) around 0
0.671 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ 1 l)) (exp (- (/ 1 l)))) (cos (/ 0.5 K))) J) in K
0.671 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 l)) (exp (- (/ 1 l)))) (cos (/ 0.5 K))) in K
0.671 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in K
0.671 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K
0.671 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.671 * [taylor]: Taking taylor expansion of l in K
0.671 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in K
0.671 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in K
0.672 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.672 * [taylor]: Taking taylor expansion of l in K
0.672 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
0.672 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
0.672 * [taylor]: Taking taylor expansion of 0.5 in K
0.672 * [taylor]: Taking taylor expansion of K in K
0.672 * [taylor]: Taking taylor expansion of J in K
0.672 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ 1 l)) (exp (- (/ 1 l)))) (cos (/ 0.5 K))) J) in l
0.672 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 l)) (exp (- (/ 1 l)))) (cos (/ 0.5 K))) in l
0.672 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in l
0.672 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.673 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.673 * [taylor]: Taking taylor expansion of l in l
0.673 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in l
0.673 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in l
0.673 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.673 * [taylor]: Taking taylor expansion of l in l
0.673 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
0.673 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
0.673 * [taylor]: Taking taylor expansion of 0.5 in l
0.673 * [taylor]: Taking taylor expansion of K in l
0.674 * [taylor]: Taking taylor expansion of J in l
0.674 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ 1 l)) (exp (- (/ 1 l)))) (cos (/ 0.5 K))) J) in J
0.674 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 l)) (exp (- (/ 1 l)))) (cos (/ 0.5 K))) in J
0.674 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in J
0.674 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J
0.674 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.674 * [taylor]: Taking taylor expansion of l in J
0.674 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in J
0.674 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in J
0.675 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.675 * [taylor]: Taking taylor expansion of l in J
0.675 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
0.675 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
0.675 * [taylor]: Taking taylor expansion of 0.5 in J
0.675 * [taylor]: Taking taylor expansion of K in J
0.675 * [taylor]: Taking taylor expansion of J in J
0.676 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ 1 l)) (exp (- (/ 1 l)))) (cos (/ 0.5 K))) J) in J
0.676 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 l)) (exp (- (/ 1 l)))) (cos (/ 0.5 K))) in J
0.676 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in J
0.676 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J
0.676 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.676 * [taylor]: Taking taylor expansion of l in J
0.676 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in J
0.676 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in J
0.676 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.676 * [taylor]: Taking taylor expansion of l in J
0.676 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
0.676 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
0.676 * [taylor]: Taking taylor expansion of 0.5 in J
0.676 * [taylor]: Taking taylor expansion of K in J
0.676 * [taylor]: Taking taylor expansion of J in J
0.677 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 l)) (exp (- (/ 1 l)))) (cos (/ 0.5 K))) in l
0.677 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in l
0.677 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.677 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.677 * [taylor]: Taking taylor expansion of l in l
0.677 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in l
0.677 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in l
0.677 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.677 * [taylor]: Taking taylor expansion of l in l
0.678 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
0.678 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
0.678 * [taylor]: Taking taylor expansion of 0.5 in l
0.678 * [taylor]: Taking taylor expansion of K in l
0.679 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 l)) (exp (- (/ 1 l)))) (cos (/ 0.5 K))) in K
0.679 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in K
0.679 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K
0.679 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.679 * [taylor]: Taking taylor expansion of l in K
0.679 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in K
0.679 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in K
0.679 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.679 * [taylor]: Taking taylor expansion of l in K
0.679 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
0.679 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
0.679 * [taylor]: Taking taylor expansion of 0.5 in K
0.679 * [taylor]: Taking taylor expansion of K in K
0.684 * [taylor]: Taking taylor expansion of 0 in l
0.684 * [taylor]: Taking taylor expansion of 0 in K
0.687 * [taylor]: Taking taylor expansion of 0 in K
0.695 * [taylor]: Taking taylor expansion of 0 in l
0.695 * [taylor]: Taking taylor expansion of 0 in K
0.695 * [taylor]: Taking taylor expansion of 0 in K
0.698 * [taylor]: Taking taylor expansion of 0 in K
0.698 * [approximate]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) in (J l K) around 0
0.698 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) in K
0.698 * [taylor]: Taking taylor expansion of -1 in K
0.698 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J) in K
0.698 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) in K
0.698 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in K
0.698 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in K
0.698 * [taylor]: Taking taylor expansion of (/ -1 l) in K
0.698 * [taylor]: Taking taylor expansion of -1 in K
0.698 * [taylor]: Taking taylor expansion of l in K
0.699 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K
0.699 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.699 * [taylor]: Taking taylor expansion of l in K
0.699 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
0.699 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
0.699 * [taylor]: Taking taylor expansion of -0.5 in K
0.699 * [taylor]: Taking taylor expansion of K in K
0.699 * [taylor]: Taking taylor expansion of J in K
0.699 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) in l
0.699 * [taylor]: Taking taylor expansion of -1 in l
0.699 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J) in l
0.699 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) in l
0.699 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l
0.699 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l
0.699 * [taylor]: Taking taylor expansion of (/ -1 l) in l
0.700 * [taylor]: Taking taylor expansion of -1 in l
0.700 * [taylor]: Taking taylor expansion of l in l
0.700 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.700 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.700 * [taylor]: Taking taylor expansion of l in l
0.700 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
0.700 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
0.700 * [taylor]: Taking taylor expansion of -0.5 in l
0.700 * [taylor]: Taking taylor expansion of K in l
0.700 * [taylor]: Taking taylor expansion of J in l
0.701 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) in J
0.701 * [taylor]: Taking taylor expansion of -1 in J
0.701 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J) in J
0.701 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) in J
0.701 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in J
0.701 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in J
0.701 * [taylor]: Taking taylor expansion of (/ -1 l) in J
0.701 * [taylor]: Taking taylor expansion of -1 in J
0.701 * [taylor]: Taking taylor expansion of l in J
0.701 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J
0.701 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.701 * [taylor]: Taking taylor expansion of l in J
0.701 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
0.701 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
0.701 * [taylor]: Taking taylor expansion of -0.5 in J
0.701 * [taylor]: Taking taylor expansion of K in J
0.701 * [taylor]: Taking taylor expansion of J in J
0.702 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) in J
0.702 * [taylor]: Taking taylor expansion of -1 in J
0.702 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J) in J
0.702 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) in J
0.702 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in J
0.702 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in J
0.702 * [taylor]: Taking taylor expansion of (/ -1 l) in J
0.702 * [taylor]: Taking taylor expansion of -1 in J
0.702 * [taylor]: Taking taylor expansion of l in J
0.702 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J
0.702 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.702 * [taylor]: Taking taylor expansion of l in J
0.702 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
0.702 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
0.703 * [taylor]: Taking taylor expansion of -0.5 in J
0.703 * [taylor]: Taking taylor expansion of K in J
0.703 * [taylor]: Taking taylor expansion of J in J
0.703 * [taylor]: Taking taylor expansion of (* -1 (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K)))) in l
0.703 * [taylor]: Taking taylor expansion of -1 in l
0.703 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) in l
0.703 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l
0.704 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l
0.704 * [taylor]: Taking taylor expansion of (/ -1 l) in l
0.704 * [taylor]: Taking taylor expansion of -1 in l
0.704 * [taylor]: Taking taylor expansion of l in l
0.704 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.704 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.704 * [taylor]: Taking taylor expansion of l in l
0.704 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
0.704 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
0.704 * [taylor]: Taking taylor expansion of -0.5 in l
0.704 * [taylor]: Taking taylor expansion of K in l
0.705 * [taylor]: Taking taylor expansion of (* -1 (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K)))) in K
0.705 * [taylor]: Taking taylor expansion of -1 in K
0.705 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) in K
0.705 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in K
0.705 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in K
0.705 * [taylor]: Taking taylor expansion of (/ -1 l) in K
0.705 * [taylor]: Taking taylor expansion of -1 in K
0.705 * [taylor]: Taking taylor expansion of l in K
0.705 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K
0.705 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.705 * [taylor]: Taking taylor expansion of l in K
0.705 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
0.705 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
0.705 * [taylor]: Taking taylor expansion of -0.5 in K
0.705 * [taylor]: Taking taylor expansion of K in K
0.711 * [taylor]: Taking taylor expansion of 0 in l
0.711 * [taylor]: Taking taylor expansion of 0 in K
0.713 * [taylor]: Taking taylor expansion of 0 in K
0.726 * [taylor]: Taking taylor expansion of 0 in l
0.726 * [taylor]: Taking taylor expansion of 0 in K
0.726 * [taylor]: Taking taylor expansion of 0 in K
0.730 * [taylor]: Taking taylor expansion of 0 in K
0.730 * * * [progress]: simplifying candidates
0.731 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp (exp l)) (exp (exp (- l))))
  (log (- (exp l) (exp (- l))))
  (exp (- (exp l) (exp (- l))))
  (* (cbrt (- (exp l) (exp (- l)))) (cbrt (- (exp l) (exp (- l)))))
  (cbrt (- (exp l) (exp (- l))))
  (* (* (- (exp l) (exp (- l))) (- (exp l) (exp (- l)))) (- (exp l) (exp (- l))))
  (sqrt (- (exp l) (exp (- l))))
  (sqrt (- (exp l) (exp (- l))))
  (- (pow (exp l) 3) (pow (exp (- l)) 3))
  (+ (* (exp l) (exp l)) (+ (* (exp (- l)) (exp (- l))) (* (exp l) (exp (- l)))))
  (- (exp (- l)))
  (- (* (exp l) (exp l)) (* (exp (- l)) (exp (- l))))
  (+ (exp l) (exp (- l)))
  (+ (sqrt (exp l)) (sqrt (exp (- l))))
  (- (sqrt (exp l)) (sqrt (exp (- l))))
  (- (exp l) (exp (- l)))
  (- (exp (- l)))
  (* J (- (exp l) (exp (- l))))
  (+ (log J) (log (- (exp l) (exp (- l)))))
  (log (* J (- (exp l) (exp (- l)))))
  (exp (* J (- (exp l) (exp (- l)))))
  (* (* (* J J) J) (* (* (- (exp l) (exp (- l))) (- (exp l) (exp (- l)))) (- (exp l) (exp (- l)))))
  (* (cbrt (* J (- (exp l) (exp (- l))))) (cbrt (* J (- (exp l) (exp (- l))))))
  (cbrt (* J (- (exp l) (exp (- l)))))
  (* (* (* J (- (exp l) (exp (- l)))) (* J (- (exp l) (exp (- l))))) (* J (- (exp l) (exp (- l)))))
  (sqrt (* J (- (exp l) (exp (- l)))))
  (sqrt (* J (- (exp l) (exp (- l)))))
  (* (sqrt J) (sqrt (- (exp l) (exp (- l)))))
  (* (sqrt J) (sqrt (- (exp l) (exp (- l)))))
  (* J (exp l))
  (* J (- (exp (- l))))
  (* J (exp l))
  (* J (- (exp (- l))))
  (* (exp l) J)
  (* (- (exp (- l))) J)
  (* (exp l) J)
  (* (- (exp (- l))) J)
  (* J (* (cbrt (- (exp l) (exp (- l)))) (cbrt (- (exp l) (exp (- l))))))
  (* J (sqrt (- (exp l) (exp (- l)))))
  (* J 1)
  (* J (+ (sqrt (exp l)) (sqrt (exp (- l)))))
  (* J 1)
  (* (cbrt J) (- (exp l) (exp (- l))))
  (* (sqrt J) (- (exp l) (exp (- l))))
  (* J (- (exp l) (exp (- l))))
  (* J (- (pow (exp l) 3) (pow (exp (- l)) 3)))
  (* J (- (* (exp l) (exp l)) (* (exp (- l)) (exp (- l)))))
  (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)))
  (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)))
  (+ (+ (log J) (log (- (exp l) (exp (- l))))) (log (cos (/ K 2.0))))
  (+ (log (* J (- (exp l) (exp (- l))))) (log (cos (/ K 2.0))))
  (log (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))))
  (exp (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))))
  (* (* (* (* J J) J) (* (* (- (exp l) (exp (- l))) (- (exp l) (exp (- l)))) (- (exp l) (exp (- l))))) (* (* (cos (/ K 2.0)) (cos (/ K 2.0))) (cos (/ K 2.0))))
  (* (* (* (* J (- (exp l) (exp (- l)))) (* J (- (exp l) (exp (- l))))) (* J (- (exp l) (exp (- l))))) (* (* (cos (/ K 2.0)) (cos (/ K 2.0))) (cos (/ K 2.0))))
  (* (cbrt (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)))) (cbrt (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)))))
  (cbrt (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))))
  (* (* (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))) (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)))) (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))))
  (sqrt (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))))
  (sqrt (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))))
  (* (* J (- (exp l) (exp (- l)))) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0)))))
  (* (* J (- (exp l) (exp (- l)))) (sqrt (cos (/ K 2.0))))
  (* (* J (- (exp l) (exp (- l)))) 1)
  (* (- (exp l) (exp (- l))) (cos (/ K 2.0)))
  (* (* J (- (pow (exp l) 3) (pow (exp (- l)) 3))) (cos (/ K 2.0)))
  (* (* J (- (* (exp l) (exp l)) (* (exp (- l)) (exp (- l))))) (cos (/ K 2.0)))
  (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))
  (- (exp l) (exp (- l)))
  (- (exp l) (exp (* -1 l)))
  (* 2 (* J l))
  (* J (- (exp l) (exp (- l))))
  (* J (- (exp l) (exp (* -1 l))))
  (* 2 (* J l))
  (* J (* (- (exp l) (exp (- l))) (cos (* 0.5 K))))
  (* J (* (- (exp l) (exp (* -1 l))) (cos (* 0.5 K))))
0.735 * * [simplify]: iteration  0 :  264  enodes  (cost  566 )
0.740 * * [simplify]: iteration  1 :  1116  enodes  (cost  481 )
0.761 * * [simplify]: iteration  2 :  5001  enodes  (cost  475 )
0.763 * [simplify]: Simplified to:
   (exp (- (exp l) (exp (- l))))
  (log (- (exp l) (exp (* -1 l))))
  (exp (- (exp l) (exp (- l))))
  (* (cbrt (- (exp l) (exp (- l)))) (cbrt (- (exp l) (exp (- l)))))
  (cbrt (- (exp l) (exp (- l))))
  (pow (- (exp l) (exp (* -1 l))) 3)
  (sqrt (- (exp l) (exp (- l))))
  (sqrt (- (exp l) (exp (- l))))
  (- (pow (exp l) 3) (pow (exp (- l)) 3))
  (+ (+ 1 (exp (+ l l))) (pow (exp l) -2))
  (- (exp (* -1 l)))
  (+ (exp (+ l l)) (- (exp (+ (- l) (- l)))))
  (+ (exp l) (exp (- l)))
  (+ (sqrt (exp l)) (sqrt (exp (- l))))
  (- (sqrt (exp l)) (sqrt (exp (- l))))
  (- (exp l) (exp (* -1 l)))
  (- (exp (* -1 l)))
  (* J (- (exp l) (exp (- l))))
  (log (* J (- (exp l) (exp (- l)))))
  (log (* J (- (exp l) (exp (- l)))))
  (exp (* J (- (exp l) (exp (- l)))))
  (pow (* J (- (exp l) (exp (- l)))) 3)
  (* (cbrt (* J (- (exp l) (exp (- l))))) (cbrt (* J (- (exp l) (exp (- l))))))
  (cbrt (* J (- (exp l) (exp (- l)))))
  (pow (* J (- (exp l) (exp (- l)))) 3)
  (sqrt (* J (- (exp l) (exp (- l)))))
  (sqrt (* J (- (exp l) (exp (- l)))))
  (* (sqrt J) (sqrt (- (exp l) (exp (- l)))))
  (* (sqrt J) (sqrt (- (exp l) (exp (- l)))))
  (* J (exp l))
  (/ (- J) (exp l))
  (* J (exp l))
  (/ (- J) (exp l))
  (* J (exp l))
  (/ (- J) (exp l))
  (* J (exp l))
  (/ (- J) (exp l))
  (* J (* (cbrt (- (exp l) (exp (- l)))) (cbrt (- (exp l) (exp (- l))))))
  (* J (sqrt (- (exp l) (exp (- l)))))
  J
  (* J (+ (sqrt (exp l)) (sqrt (exp (- l)))))
  J
  (* (cbrt J) (- (exp l) (exp (- l))))
  (* (sqrt J) (- (exp l) (exp (- l))))
  (* J (- (exp l) (exp (- l))))
  (* J (- (pow (exp l) 3) (pow (exp (- l)) 3)))
  (+ (- (* J (pow (exp l) -2))) (* J (exp (+ l l))))
  (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)))
  (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)))
  (log (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))))
  (log (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))))
  (log (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))))
  (exp (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))))
  (pow (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))) 3)
  (pow (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))) 3)
  (* (cbrt (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)))) (cbrt (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)))))
  (cbrt (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))))
  (pow (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))) 3)
  (sqrt (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))))
  (sqrt (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))))
  (* (* J (- (exp l) (exp (- l)))) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0)))))
  (* (* J (- (exp l) (exp (- l)))) (sqrt (cos (/ K 2.0))))
  (* J (- (exp l) (exp (- l))))
  (* (- (exp l) (exp (- l))) (cos (/ K 2.0)))
  (* (* J (- (pow (exp l) 3) (pow (exp (- l)) 3))) (cos (/ K 2.0)))
  (* (cos (/ K 2.0)) (* (+ (exp (+ l l)) (- (exp (+ (- l) (- l))))) J))
  (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))
  (- (exp l) (exp (* -1 l)))
  (- (exp l) (exp (* -1 l)))
  (* 2 (* J l))
  (* J (- (exp l) (exp (- l))))
  (* J (- (exp l) (exp (- l))))
  (* 2 (* J l))
  (* J (* (- (exp l) (exp (* -1 l))) (cos (* 0.5 K))))
  (* J (* (- (exp l) (exp (* -1 l))) (cos (* 0.5 K))))
0.764 * * * [progress]: adding candidates to table
0.974 * * [progress]: iteration 2 / 4
0.974 * * * [progress]: picking best candidate
0.982 * * * * [pick]: Picked  #<alt (λ (J l K U) (+ (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))) U))>
0.982 * * * [progress]: localizing error
1.000 * * * [progress]: generating rewritten candidates
1.000 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.040 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
1.047 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2 1)
1.053 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1.097 * * * [progress]: generating series expansions
1.097 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.097 * [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
1.097 * [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.097 * [taylor]: Taking taylor expansion of J in K
1.097 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) in K
1.097 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
1.097 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
1.098 * [taylor]: Taking taylor expansion of 0.5 in K
1.098 * [taylor]: Taking taylor expansion of K in K
1.099 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) in K
1.099 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in K
1.099 * [taylor]: Taking taylor expansion of 1/3 in K
1.099 * [taylor]: Taking taylor expansion of (pow l 3) in K
1.099 * [taylor]: Taking taylor expansion of l in K
1.099 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow l 5)) (* 2 l)) in K
1.099 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in K
1.099 * [taylor]: Taking taylor expansion of 1/60 in K
1.099 * [taylor]: Taking taylor expansion of (pow l 5) in K
1.099 * [taylor]: Taking taylor expansion of l in K
1.099 * [taylor]: Taking taylor expansion of (* 2 l) in K
1.099 * [taylor]: Taking taylor expansion of 2 in K
1.099 * [taylor]: Taking taylor expansion of l in K
1.099 * [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.099 * [taylor]: Taking taylor expansion of J in l
1.099 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) in l
1.099 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
1.099 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
1.099 * [taylor]: Taking taylor expansion of 0.5 in l
1.099 * [taylor]: Taking taylor expansion of K in l
1.100 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) in l
1.100 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in l
1.100 * [taylor]: Taking taylor expansion of 1/3 in l
1.100 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.100 * [taylor]: Taking taylor expansion of l in l
1.100 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow l 5)) (* 2 l)) in l
1.100 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in l
1.100 * [taylor]: Taking taylor expansion of 1/60 in l
1.100 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.100 * [taylor]: Taking taylor expansion of l in l
1.100 * [taylor]: Taking taylor expansion of (* 2 l) in l
1.100 * [taylor]: Taking taylor expansion of 2 in l
1.100 * [taylor]: Taking taylor expansion of l in l
1.100 * [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.100 * [taylor]: Taking taylor expansion of J in J
1.100 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) in J
1.100 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
1.100 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
1.100 * [taylor]: Taking taylor expansion of 0.5 in J
1.100 * [taylor]: Taking taylor expansion of K in J
1.100 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) in J
1.100 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in J
1.100 * [taylor]: Taking taylor expansion of 1/3 in J
1.100 * [taylor]: Taking taylor expansion of (pow l 3) in J
1.100 * [taylor]: Taking taylor expansion of l in J
1.100 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow l 5)) (* 2 l)) in J
1.100 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in J
1.100 * [taylor]: Taking taylor expansion of 1/60 in J
1.100 * [taylor]: Taking taylor expansion of (pow l 5) in J
1.100 * [taylor]: Taking taylor expansion of l in J
1.100 * [taylor]: Taking taylor expansion of (* 2 l) in J
1.100 * [taylor]: Taking taylor expansion of 2 in J
1.100 * [taylor]: Taking taylor expansion of l in J
1.100 * [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.100 * [taylor]: Taking taylor expansion of J in J
1.100 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) in J
1.100 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
1.100 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
1.100 * [taylor]: Taking taylor expansion of 0.5 in J
1.100 * [taylor]: Taking taylor expansion of K in J
1.100 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) in J
1.100 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in J
1.100 * [taylor]: Taking taylor expansion of 1/3 in J
1.100 * [taylor]: Taking taylor expansion of (pow l 3) in J
1.100 * [taylor]: Taking taylor expansion of l in J
1.101 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow l 5)) (* 2 l)) in J
1.101 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in J
1.101 * [taylor]: Taking taylor expansion of 1/60 in J
1.101 * [taylor]: Taking taylor expansion of (pow l 5) in J
1.101 * [taylor]: Taking taylor expansion of l in J
1.101 * [taylor]: Taking taylor expansion of (* 2 l) in J
1.101 * [taylor]: Taking taylor expansion of 2 in J
1.101 * [taylor]: Taking taylor expansion of l in J
1.102 * [taylor]: Taking taylor expansion of 0 in l
1.102 * [taylor]: Taking taylor expansion of 0 in K
1.107 * [taylor]: Taking taylor expansion of (+ (* 2 (* (cos (* 0.5 K)) l)) (+ (* 1/3 (* (cos (* 0.5 K)) (pow l 3))) (* 1/60 (* (cos (* 0.5 K)) (pow l 5))))) in l
1.107 * [taylor]: Taking taylor expansion of (* 2 (* (cos (* 0.5 K)) l)) in l
1.107 * [taylor]: Taking taylor expansion of 2 in l
1.107 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l
1.107 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
1.107 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
1.107 * [taylor]: Taking taylor expansion of 0.5 in l
1.107 * [taylor]: Taking taylor expansion of K in l
1.107 * [taylor]: Taking taylor expansion of l in l
1.107 * [taylor]: Taking taylor expansion of (+ (* 1/3 (* (cos (* 0.5 K)) (pow l 3))) (* 1/60 (* (cos (* 0.5 K)) (pow l 5)))) in l
1.107 * [taylor]: Taking taylor expansion of (* 1/3 (* (cos (* 0.5 K)) (pow l 3))) in l
1.107 * [taylor]: Taking taylor expansion of 1/3 in l
1.107 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (pow l 3)) in l
1.107 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
1.107 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
1.107 * [taylor]: Taking taylor expansion of 0.5 in l
1.107 * [taylor]: Taking taylor expansion of K in l
1.107 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.107 * [taylor]: Taking taylor expansion of l in l
1.107 * [taylor]: Taking taylor expansion of (* 1/60 (* (cos (* 0.5 K)) (pow l 5))) in l
1.107 * [taylor]: Taking taylor expansion of 1/60 in l
1.107 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (pow l 5)) in l
1.107 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
1.108 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
1.108 * [taylor]: Taking taylor expansion of 0.5 in l
1.108 * [taylor]: Taking taylor expansion of K in l
1.108 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.108 * [taylor]: Taking taylor expansion of l in l
1.109 * [taylor]: Taking taylor expansion of 0 in K
1.109 * [taylor]: Taking taylor expansion of 0 in K
1.116 * [taylor]: Taking taylor expansion of 0 in l
1.116 * [taylor]: Taking taylor expansion of 0 in K
1.119 * [taylor]: Taking taylor expansion of (* 2 (cos (* 0.5 K))) in K
1.119 * [taylor]: Taking taylor expansion of 2 in K
1.119 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
1.119 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
1.119 * [taylor]: Taking taylor expansion of 0.5 in K
1.119 * [taylor]: Taking taylor expansion of K in K
1.121 * [taylor]: Taking taylor expansion of 0 in K
1.131 * [taylor]: Taking taylor expansion of 0 in l
1.131 * [taylor]: Taking taylor expansion of 0 in K
1.131 * [taylor]: Taking taylor expansion of 0 in K
1.132 * [approximate]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))))) J) in (J l K) around 0
1.132 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))))) J) in K
1.132 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))))) in K
1.132 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
1.132 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
1.132 * [taylor]: Taking taylor expansion of 0.5 in K
1.132 * [taylor]: Taking taylor expansion of K in K
1.132 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in K
1.132 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in K
1.132 * [taylor]: Taking taylor expansion of 1/60 in K
1.133 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in K
1.133 * [taylor]: Taking taylor expansion of (pow l 5) in K
1.133 * [taylor]: Taking taylor expansion of l in K
1.133 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in K
1.133 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in K
1.133 * [taylor]: Taking taylor expansion of 2 in K
1.133 * [taylor]: Taking taylor expansion of (/ 1 l) in K
1.133 * [taylor]: Taking taylor expansion of l in K
1.133 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in K
1.133 * [taylor]: Taking taylor expansion of 1/3 in K
1.133 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in K
1.133 * [taylor]: Taking taylor expansion of (pow l 3) in K
1.133 * [taylor]: Taking taylor expansion of l in K
1.133 * [taylor]: Taking taylor expansion of J in K
1.134 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))))) J) in l
1.134 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))))) in l
1.134 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
1.134 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
1.134 * [taylor]: Taking taylor expansion of 0.5 in l
1.134 * [taylor]: Taking taylor expansion of K in l
1.135 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
1.135 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
1.135 * [taylor]: Taking taylor expansion of 1/60 in l
1.135 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
1.135 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.135 * [taylor]: Taking taylor expansion of l in l
1.136 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
1.136 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
1.136 * [taylor]: Taking taylor expansion of 2 in l
1.136 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.136 * [taylor]: Taking taylor expansion of l in l
1.136 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
1.136 * [taylor]: Taking taylor expansion of 1/3 in l
1.136 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
1.136 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.136 * [taylor]: Taking taylor expansion of l in l
1.137 * [taylor]: Taking taylor expansion of J in l
1.138 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))))) J) in J
1.138 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))))) in J
1.138 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
1.138 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
1.138 * [taylor]: Taking taylor expansion of 0.5 in J
1.138 * [taylor]: Taking taylor expansion of K in J
1.138 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in J
1.138 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in J
1.138 * [taylor]: Taking taylor expansion of 1/60 in J
1.138 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in J
1.138 * [taylor]: Taking taylor expansion of (pow l 5) in J
1.138 * [taylor]: Taking taylor expansion of l in J
1.138 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in J
1.138 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in J
1.138 * [taylor]: Taking taylor expansion of 2 in J
1.138 * [taylor]: Taking taylor expansion of (/ 1 l) in J
1.138 * [taylor]: Taking taylor expansion of l in J
1.138 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in J
1.138 * [taylor]: Taking taylor expansion of 1/3 in J
1.138 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in J
1.138 * [taylor]: Taking taylor expansion of (pow l 3) in J
1.138 * [taylor]: Taking taylor expansion of l in J
1.139 * [taylor]: Taking taylor expansion of J in J
1.140 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))))) J) in J
1.140 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))))) in J
1.140 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
1.140 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
1.140 * [taylor]: Taking taylor expansion of 0.5 in J
1.140 * [taylor]: Taking taylor expansion of K in J
1.140 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in J
1.140 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in J
1.140 * [taylor]: Taking taylor expansion of 1/60 in J
1.140 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in J
1.140 * [taylor]: Taking taylor expansion of (pow l 5) in J
1.140 * [taylor]: Taking taylor expansion of l in J
1.141 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in J
1.141 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in J
1.141 * [taylor]: Taking taylor expansion of 2 in J
1.141 * [taylor]: Taking taylor expansion of (/ 1 l) in J
1.141 * [taylor]: Taking taylor expansion of l in J
1.141 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in J
1.141 * [taylor]: Taking taylor expansion of 1/3 in J
1.141 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in J
1.141 * [taylor]: Taking taylor expansion of (pow l 3) in J
1.141 * [taylor]: Taking taylor expansion of l in J
1.141 * [taylor]: Taking taylor expansion of J in J
1.142 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))))) in l
1.142 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
1.142 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
1.142 * [taylor]: Taking taylor expansion of 0.5 in l
1.142 * [taylor]: Taking taylor expansion of K in l
1.143 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
1.143 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
1.143 * [taylor]: Taking taylor expansion of 1/60 in l
1.143 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
1.143 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.143 * [taylor]: Taking taylor expansion of l in l
1.144 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
1.144 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
1.144 * [taylor]: Taking taylor expansion of 2 in l
1.144 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.144 * [taylor]: Taking taylor expansion of l in l
1.144 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
1.144 * [taylor]: Taking taylor expansion of 1/3 in l
1.144 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
1.144 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.144 * [taylor]: Taking taylor expansion of l in l
1.149 * [taylor]: Taking taylor expansion of (* 1/60 (cos (/ 0.5 K))) in K
1.149 * [taylor]: Taking taylor expansion of 1/60 in K
1.149 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
1.149 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
1.149 * [taylor]: Taking taylor expansion of 0.5 in K
1.149 * [taylor]: Taking taylor expansion of K in K
1.155 * [taylor]: Taking taylor expansion of 0 in l
1.159 * [taylor]: Taking taylor expansion of 0 in K
1.168 * [taylor]: Taking taylor expansion of 0 in l
1.174 * [taylor]: Taking taylor expansion of (* 1/3 (cos (/ 0.5 K))) in K
1.174 * [taylor]: Taking taylor expansion of 1/3 in K
1.174 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
1.174 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
1.174 * [taylor]: Taking taylor expansion of 0.5 in K
1.174 * [taylor]: Taking taylor expansion of K in K
1.187 * [taylor]: Taking taylor expansion of 0 in l
1.195 * [taylor]: Taking taylor expansion of 0 in K
1.197 * [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
1.197 * [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.197 * [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.197 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in K
1.197 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in K
1.197 * [taylor]: Taking taylor expansion of 1/60 in K
1.197 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in K
1.197 * [taylor]: Taking taylor expansion of (pow l 5) in K
1.197 * [taylor]: Taking taylor expansion of l in K
1.197 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in K
1.198 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in K
1.198 * [taylor]: Taking taylor expansion of 2 in K
1.198 * [taylor]: Taking taylor expansion of (/ 1 l) in K
1.198 * [taylor]: Taking taylor expansion of l in K
1.198 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in K
1.198 * [taylor]: Taking taylor expansion of 1/3 in K
1.198 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in K
1.198 * [taylor]: Taking taylor expansion of (pow l 3) in K
1.198 * [taylor]: Taking taylor expansion of l in K
1.198 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
1.198 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
1.198 * [taylor]: Taking taylor expansion of -0.5 in K
1.198 * [taylor]: Taking taylor expansion of K in K
1.198 * [taylor]: Taking taylor expansion of J in K
1.199 * [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.199 * [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.199 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
1.199 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
1.199 * [taylor]: Taking taylor expansion of 1/60 in l
1.200 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
1.200 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.200 * [taylor]: Taking taylor expansion of l in l
1.201 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
1.201 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
1.201 * [taylor]: Taking taylor expansion of 2 in l
1.201 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.201 * [taylor]: Taking taylor expansion of l in l
1.201 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
1.201 * [taylor]: Taking taylor expansion of 1/3 in l
1.201 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
1.201 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.201 * [taylor]: Taking taylor expansion of l in l
1.202 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
1.202 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
1.202 * [taylor]: Taking taylor expansion of -0.5 in l
1.202 * [taylor]: Taking taylor expansion of K in l
1.202 * [taylor]: Taking taylor expansion of J in l
1.203 * [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.203 * [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.203 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in J
1.203 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in J
1.203 * [taylor]: Taking taylor expansion of 1/60 in J
1.203 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in J
1.203 * [taylor]: Taking taylor expansion of (pow l 5) in J
1.203 * [taylor]: Taking taylor expansion of l in J
1.203 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in J
1.203 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in J
1.203 * [taylor]: Taking taylor expansion of 2 in J
1.203 * [taylor]: Taking taylor expansion of (/ 1 l) in J
1.203 * [taylor]: Taking taylor expansion of l in J
1.203 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in J
1.203 * [taylor]: Taking taylor expansion of 1/3 in J
1.203 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in J
1.203 * [taylor]: Taking taylor expansion of (pow l 3) in J
1.203 * [taylor]: Taking taylor expansion of l in J
1.204 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
1.204 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
1.204 * [taylor]: Taking taylor expansion of -0.5 in J
1.204 * [taylor]: Taking taylor expansion of K in J
1.204 * [taylor]: Taking taylor expansion of J in J
1.205 * [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.205 * [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.205 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in J
1.205 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in J
1.205 * [taylor]: Taking taylor expansion of 1/60 in J
1.205 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in J
1.205 * [taylor]: Taking taylor expansion of (pow l 5) in J
1.205 * [taylor]: Taking taylor expansion of l in J
1.206 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in J
1.206 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in J
1.206 * [taylor]: Taking taylor expansion of 2 in J
1.206 * [taylor]: Taking taylor expansion of (/ 1 l) in J
1.206 * [taylor]: Taking taylor expansion of l in J
1.206 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in J
1.206 * [taylor]: Taking taylor expansion of 1/3 in J
1.206 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in J
1.206 * [taylor]: Taking taylor expansion of (pow l 3) in J
1.206 * [taylor]: Taking taylor expansion of l in J
1.206 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
1.206 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
1.206 * [taylor]: Taking taylor expansion of -0.5 in J
1.206 * [taylor]: Taking taylor expansion of K in J
1.206 * [taylor]: Taking taylor expansion of J in J
1.208 * [taylor]: Taking taylor expansion of (* (cos (/ -0.5 K)) (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))))) in l
1.208 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
1.208 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
1.208 * [taylor]: Taking taylor expansion of -0.5 in l
1.208 * [taylor]: Taking taylor expansion of K in l
1.208 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
1.208 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
1.208 * [taylor]: Taking taylor expansion of 1/60 in l
1.208 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
1.208 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.208 * [taylor]: Taking taylor expansion of l in l
1.209 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
1.209 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
1.209 * [taylor]: Taking taylor expansion of 2 in l
1.209 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.209 * [taylor]: Taking taylor expansion of l in l
1.209 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
1.209 * [taylor]: Taking taylor expansion of 1/3 in l
1.209 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
1.209 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.209 * [taylor]: Taking taylor expansion of l in l
1.211 * [taylor]: Taking taylor expansion of (* 1/60 (cos (/ -0.5 K))) in K
1.211 * [taylor]: Taking taylor expansion of 1/60 in K
1.211 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
1.211 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
1.211 * [taylor]: Taking taylor expansion of -0.5 in K
1.211 * [taylor]: Taking taylor expansion of K in K
1.216 * [taylor]: Taking taylor expansion of 0 in l
1.221 * [taylor]: Taking taylor expansion of 0 in K
1.229 * [taylor]: Taking taylor expansion of 0 in l
1.240 * [taylor]: Taking taylor expansion of (* 1/3 (cos (/ -0.5 K))) in K
1.240 * [taylor]: Taking taylor expansion of 1/3 in K
1.240 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
1.240 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
1.240 * [taylor]: Taking taylor expansion of -0.5 in K
1.240 * [taylor]: Taking taylor expansion of K in K
1.252 * [taylor]: Taking taylor expansion of 0 in l
1.261 * [taylor]: Taking taylor expansion of 0 in K
1.262 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
1.263 * [approximate]: Taking taylor expansion of (* 1/3 (pow l 3)) in (l) around 0
1.263 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in l
1.263 * [taylor]: Taking taylor expansion of 1/3 in l
1.263 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.263 * [taylor]: Taking taylor expansion of l in l
1.263 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in l
1.263 * [taylor]: Taking taylor expansion of 1/3 in l
1.263 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.263 * [taylor]: Taking taylor expansion of l in l
1.274 * [approximate]: Taking taylor expansion of (/ 1/3 (pow l 3)) in (l) around 0
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.275 * [taylor]: Taking taylor expansion of (/ 1/3 (pow l 3)) in l
1.275 * [taylor]: Taking taylor expansion of 1/3 in l
1.275 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.275 * [taylor]: Taking taylor expansion of l in l
1.286 * [approximate]: Taking taylor expansion of (/ -1/3 (pow l 3)) in (l) around 0
1.286 * [taylor]: Taking taylor expansion of (/ -1/3 (pow l 3)) in l
1.286 * [taylor]: Taking taylor expansion of -1/3 in l
1.286 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.286 * [taylor]: Taking taylor expansion of l in l
1.287 * [taylor]: Taking taylor expansion of (/ -1/3 (pow l 3)) in l
1.287 * [taylor]: Taking taylor expansion of -1/3 in l
1.287 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.287 * [taylor]: Taking taylor expansion of l in l
1.299 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 2 1)
1.299 * [approximate]: Taking taylor expansion of (* 1/60 (pow l 5)) in (l) around 0
1.299 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in l
1.299 * [taylor]: Taking taylor expansion of 1/60 in l
1.299 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.299 * [taylor]: Taking taylor expansion of l in l
1.299 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in l
1.299 * [taylor]: Taking taylor expansion of 1/60 in l
1.299 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.299 * [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.335 * [approximate]: Taking taylor expansion of (/ -1/60 (pow l 5)) in (l) around 0
1.335 * [taylor]: Taking taylor expansion of (/ -1/60 (pow l 5)) in l
1.335 * [taylor]: Taking taylor expansion of -1/60 in l
1.335 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.335 * [taylor]: Taking taylor expansion of l in l
1.336 * [taylor]: Taking taylor expansion of (/ -1/60 (pow l 5)) in l
1.336 * [taylor]: Taking taylor expansion of -1/60 in l
1.336 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.336 * [taylor]: Taking taylor expansion of l in l
1.351 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1.352 * [approximate]: Taking taylor expansion of (+ (* 2 (* J (* (cos (* 0.5 K)) l))) (+ (* 1/60 (* J (* (cos (* 0.5 K)) (pow l 5)))) (+ (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) U))) in (J l K U) around 0
1.352 * [taylor]: Taking taylor expansion of (+ (* 2 (* J (* (cos (* 0.5 K)) l))) (+ (* 1/60 (* J (* (cos (* 0.5 K)) (pow l 5)))) (+ (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) U))) in U
1.352 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in U
1.352 * [taylor]: Taking taylor expansion of 2 in U
1.352 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in U
1.352 * [taylor]: Taking taylor expansion of J in U
1.352 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in U
1.352 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in U
1.352 * [taylor]: Taking taylor expansion of (* 0.5 K) in U
1.352 * [taylor]: Taking taylor expansion of 0.5 in U
1.352 * [taylor]: Taking taylor expansion of K in U
1.352 * [taylor]: Taking taylor expansion of l in U
1.352 * [taylor]: Taking taylor expansion of (+ (* 1/60 (* J (* (cos (* 0.5 K)) (pow l 5)))) (+ (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) U)) in U
1.352 * [taylor]: Taking taylor expansion of (* 1/60 (* J (* (cos (* 0.5 K)) (pow l 5)))) in U
1.352 * [taylor]: Taking taylor expansion of 1/60 in U
1.352 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (pow l 5))) in U
1.352 * [taylor]: Taking taylor expansion of J in U
1.352 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (pow l 5)) in U
1.352 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in U
1.352 * [taylor]: Taking taylor expansion of (* 0.5 K) in U
1.353 * [taylor]: Taking taylor expansion of 0.5 in U
1.353 * [taylor]: Taking taylor expansion of K in U
1.353 * [taylor]: Taking taylor expansion of (pow l 5) in U
1.353 * [taylor]: Taking taylor expansion of l in U
1.353 * [taylor]: Taking taylor expansion of (+ (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) U) in U
1.353 * [taylor]: Taking taylor expansion of (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) in U
1.353 * [taylor]: Taking taylor expansion of 1/3 in U
1.353 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (pow l 3))) in U
1.353 * [taylor]: Taking taylor expansion of J in U
1.353 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (pow l 3)) in U
1.353 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in U
1.353 * [taylor]: Taking taylor expansion of (* 0.5 K) in U
1.353 * [taylor]: Taking taylor expansion of 0.5 in U
1.353 * [taylor]: Taking taylor expansion of K in U
1.353 * [taylor]: Taking taylor expansion of (pow l 3) in U
1.353 * [taylor]: Taking taylor expansion of l in U
1.353 * [taylor]: Taking taylor expansion of U in U
1.353 * [taylor]: Taking taylor expansion of (+ (* 2 (* J (* (cos (* 0.5 K)) l))) (+ (* 1/60 (* J (* (cos (* 0.5 K)) (pow l 5)))) (+ (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) U))) in K
1.353 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in K
1.353 * [taylor]: Taking taylor expansion of 2 in K
1.353 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in K
1.353 * [taylor]: Taking taylor expansion of J in K
1.353 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K
1.353 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
1.353 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
1.353 * [taylor]: Taking taylor expansion of 0.5 in K
1.353 * [taylor]: Taking taylor expansion of K in K
1.354 * [taylor]: Taking taylor expansion of l in K
1.354 * [taylor]: Taking taylor expansion of (+ (* 1/60 (* J (* (cos (* 0.5 K)) (pow l 5)))) (+ (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) U)) in K
1.354 * [taylor]: Taking taylor expansion of (* 1/60 (* J (* (cos (* 0.5 K)) (pow l 5)))) in K
1.354 * [taylor]: Taking taylor expansion of 1/60 in K
1.354 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (pow l 5))) in K
1.354 * [taylor]: Taking taylor expansion of J in K
1.354 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (pow l 5)) in K
1.355 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
1.355 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
1.355 * [taylor]: Taking taylor expansion of 0.5 in K
1.355 * [taylor]: Taking taylor expansion of K in K
1.356 * [taylor]: Taking taylor expansion of (pow l 5) in K
1.356 * [taylor]: Taking taylor expansion of l in K
1.356 * [taylor]: Taking taylor expansion of (+ (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) U) in K
1.356 * [taylor]: Taking taylor expansion of (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) in K
1.356 * [taylor]: Taking taylor expansion of 1/3 in K
1.356 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (pow l 3))) in K
1.356 * [taylor]: Taking taylor expansion of J in K
1.356 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (pow l 3)) in K
1.356 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
1.356 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
1.356 * [taylor]: Taking taylor expansion of 0.5 in K
1.356 * [taylor]: Taking taylor expansion of K in K
1.357 * [taylor]: Taking taylor expansion of (pow l 3) in K
1.357 * [taylor]: Taking taylor expansion of l in K
1.357 * [taylor]: Taking taylor expansion of U in K
1.357 * [taylor]: Taking taylor expansion of (+ (* 2 (* J (* (cos (* 0.5 K)) l))) (+ (* 1/60 (* J (* (cos (* 0.5 K)) (pow l 5)))) (+ (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) U))) in l
1.357 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in l
1.357 * [taylor]: Taking taylor expansion of 2 in l
1.357 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in l
1.357 * [taylor]: Taking taylor expansion of J in l
1.357 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l
1.357 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
1.357 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
1.357 * [taylor]: Taking taylor expansion of 0.5 in l
1.357 * [taylor]: Taking taylor expansion of K in l
1.358 * [taylor]: Taking taylor expansion of l in l
1.358 * [taylor]: Taking taylor expansion of (+ (* 1/60 (* J (* (cos (* 0.5 K)) (pow l 5)))) (+ (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) U)) in l
1.358 * [taylor]: Taking taylor expansion of (* 1/60 (* J (* (cos (* 0.5 K)) (pow l 5)))) in l
1.358 * [taylor]: Taking taylor expansion of 1/60 in l
1.358 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (pow l 5))) in l
1.358 * [taylor]: Taking taylor expansion of J in l
1.358 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (pow l 5)) in l
1.358 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
1.358 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
1.358 * [taylor]: Taking taylor expansion of 0.5 in l
1.358 * [taylor]: Taking taylor expansion of K in l
1.358 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.358 * [taylor]: Taking taylor expansion of l in l
1.358 * [taylor]: Taking taylor expansion of (+ (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) U) in l
1.358 * [taylor]: Taking taylor expansion of (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) in l
1.358 * [taylor]: Taking taylor expansion of 1/3 in l
1.358 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (pow l 3))) in l
1.358 * [taylor]: Taking taylor expansion of J in l
1.358 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (pow l 3)) in l
1.358 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
1.358 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
1.358 * [taylor]: Taking taylor expansion of 0.5 in l
1.358 * [taylor]: Taking taylor expansion of K in l
1.358 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.358 * [taylor]: Taking taylor expansion of l in l
1.358 * [taylor]: Taking taylor expansion of U in l
1.358 * [taylor]: Taking taylor expansion of (+ (* 2 (* J (* (cos (* 0.5 K)) l))) (+ (* 1/60 (* J (* (cos (* 0.5 K)) (pow l 5)))) (+ (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) U))) in J
1.358 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in J
1.358 * [taylor]: Taking taylor expansion of 2 in J
1.358 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J
1.358 * [taylor]: Taking taylor expansion of J in J
1.358 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J
1.358 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
1.358 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
1.358 * [taylor]: Taking taylor expansion of 0.5 in J
1.358 * [taylor]: Taking taylor expansion of K in J
1.358 * [taylor]: Taking taylor expansion of l in J
1.358 * [taylor]: Taking taylor expansion of (+ (* 1/60 (* J (* (cos (* 0.5 K)) (pow l 5)))) (+ (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) U)) in J
1.358 * [taylor]: Taking taylor expansion of (* 1/60 (* J (* (cos (* 0.5 K)) (pow l 5)))) in J
1.358 * [taylor]: Taking taylor expansion of 1/60 in J
1.359 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (pow l 5))) in J
1.359 * [taylor]: Taking taylor expansion of J in J
1.359 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (pow l 5)) in J
1.359 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
1.359 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
1.359 * [taylor]: Taking taylor expansion of 0.5 in J
1.359 * [taylor]: Taking taylor expansion of K in J
1.359 * [taylor]: Taking taylor expansion of (pow l 5) in J
1.359 * [taylor]: Taking taylor expansion of l in J
1.359 * [taylor]: Taking taylor expansion of (+ (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) U) in J
1.359 * [taylor]: Taking taylor expansion of (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) in J
1.359 * [taylor]: Taking taylor expansion of 1/3 in J
1.359 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (pow l 3))) in J
1.359 * [taylor]: Taking taylor expansion of J in J
1.359 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (pow l 3)) in J
1.359 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
1.359 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
1.359 * [taylor]: Taking taylor expansion of 0.5 in J
1.359 * [taylor]: Taking taylor expansion of K in J
1.359 * [taylor]: Taking taylor expansion of (pow l 3) in J
1.359 * [taylor]: Taking taylor expansion of l in J
1.359 * [taylor]: Taking taylor expansion of U in J
1.359 * [taylor]: Taking taylor expansion of (+ (* 2 (* J (* (cos (* 0.5 K)) l))) (+ (* 1/60 (* J (* (cos (* 0.5 K)) (pow l 5)))) (+ (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) U))) in J
1.359 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in J
1.359 * [taylor]: Taking taylor expansion of 2 in J
1.359 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J
1.359 * [taylor]: Taking taylor expansion of J in J
1.359 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J
1.359 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
1.359 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
1.359 * [taylor]: Taking taylor expansion of 0.5 in J
1.359 * [taylor]: Taking taylor expansion of K in J
1.359 * [taylor]: Taking taylor expansion of l in J
1.359 * [taylor]: Taking taylor expansion of (+ (* 1/60 (* J (* (cos (* 0.5 K)) (pow l 5)))) (+ (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) U)) in J
1.359 * [taylor]: Taking taylor expansion of (* 1/60 (* J (* (cos (* 0.5 K)) (pow l 5)))) in J
1.359 * [taylor]: Taking taylor expansion of 1/60 in J
1.359 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (pow l 5))) in J
1.359 * [taylor]: Taking taylor expansion of J in J
1.359 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (pow l 5)) in J
1.359 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
1.359 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
1.359 * [taylor]: Taking taylor expansion of 0.5 in J
1.360 * [taylor]: Taking taylor expansion of K in J
1.360 * [taylor]: Taking taylor expansion of (pow l 5) in J
1.360 * [taylor]: Taking taylor expansion of l in J
1.360 * [taylor]: Taking taylor expansion of (+ (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) U) in J
1.360 * [taylor]: Taking taylor expansion of (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) in J
1.360 * [taylor]: Taking taylor expansion of 1/3 in J
1.360 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (pow l 3))) in J
1.360 * [taylor]: Taking taylor expansion of J in J
1.360 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (pow l 3)) in J
1.360 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
1.360 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
1.360 * [taylor]: Taking taylor expansion of 0.5 in J
1.360 * [taylor]: Taking taylor expansion of K in J
1.360 * [taylor]: Taking taylor expansion of (pow l 3) in J
1.360 * [taylor]: Taking taylor expansion of l in J
1.360 * [taylor]: Taking taylor expansion of U in J
1.363 * [taylor]: Taking taylor expansion of U in l
1.363 * [taylor]: Taking taylor expansion of U in K
1.363 * [taylor]: Taking taylor expansion of U in U
1.372 * [taylor]: Taking taylor expansion of (+ (* 2 (* (cos (* 0.5 K)) l)) (+ (* 1/60 (* (cos (* 0.5 K)) (pow l 5))) (* 1/3 (* (cos (* 0.5 K)) (pow l 3))))) in l
1.372 * [taylor]: Taking taylor expansion of (* 2 (* (cos (* 0.5 K)) l)) in l
1.372 * [taylor]: Taking taylor expansion of 2 in l
1.372 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l
1.372 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
1.372 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
1.372 * [taylor]: Taking taylor expansion of 0.5 in l
1.372 * [taylor]: Taking taylor expansion of K in l
1.372 * [taylor]: Taking taylor expansion of l in l
1.372 * [taylor]: Taking taylor expansion of (+ (* 1/60 (* (cos (* 0.5 K)) (pow l 5))) (* 1/3 (* (cos (* 0.5 K)) (pow l 3)))) in l
1.372 * [taylor]: Taking taylor expansion of (* 1/60 (* (cos (* 0.5 K)) (pow l 5))) in l
1.372 * [taylor]: Taking taylor expansion of 1/60 in l
1.372 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (pow l 5)) in l
1.372 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
1.373 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
1.373 * [taylor]: Taking taylor expansion of 0.5 in l
1.373 * [taylor]: Taking taylor expansion of K in l
1.373 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.373 * [taylor]: Taking taylor expansion of l in l
1.373 * [taylor]: Taking taylor expansion of (* 1/3 (* (cos (* 0.5 K)) (pow l 3))) in l
1.373 * [taylor]: Taking taylor expansion of 1/3 in l
1.373 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (pow l 3)) in l
1.373 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
1.373 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
1.373 * [taylor]: Taking taylor expansion of 0.5 in l
1.373 * [taylor]: Taking taylor expansion of K in l
1.373 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.373 * [taylor]: Taking taylor expansion of l in l
1.374 * [taylor]: Taking taylor expansion of 0 in K
1.374 * [taylor]: Taking taylor expansion of 0 in U
1.374 * [taylor]: Taking taylor expansion of 0 in K
1.374 * [taylor]: Taking taylor expansion of 0 in U
1.374 * [taylor]: Taking taylor expansion of 0 in U
1.389 * [taylor]: Taking taylor expansion of 0 in l
1.389 * [taylor]: Taking taylor expansion of 0 in K
1.389 * [taylor]: Taking taylor expansion of 0 in U
1.392 * [taylor]: Taking taylor expansion of (* 2 (cos (* 0.5 K))) in K
1.392 * [taylor]: Taking taylor expansion of 2 in K
1.392 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
1.392 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
1.392 * [taylor]: Taking taylor expansion of 0.5 in K
1.392 * [taylor]: Taking taylor expansion of K in K
1.393 * [taylor]: Taking taylor expansion of 2 in U
1.393 * [taylor]: Taking taylor expansion of 0 in K
1.393 * [taylor]: Taking taylor expansion of 0 in U
1.393 * [taylor]: Taking taylor expansion of 0 in U
1.393 * [taylor]: Taking taylor expansion of 0 in U
1.393 * [taylor]: Taking taylor expansion of 0 in U
1.394 * [approximate]: Taking taylor expansion of (+ (* 1/60 (/ (cos (/ 0.5 K)) (* J (pow l 5)))) (+ (* 2 (/ (cos (/ 0.5 K)) (* J l))) (+ (* 1/3 (/ (cos (/ 0.5 K)) (* J (pow l 3)))) (/ 1 U)))) in (J l K U) around 0
1.395 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ (cos (/ 0.5 K)) (* J (pow l 5)))) (+ (* 2 (/ (cos (/ 0.5 K)) (* J l))) (+ (* 1/3 (/ (cos (/ 0.5 K)) (* J (pow l 3)))) (/ 1 U)))) in U
1.395 * [taylor]: Taking taylor expansion of (* 1/60 (/ (cos (/ 0.5 K)) (* J (pow l 5)))) in U
1.395 * [taylor]: Taking taylor expansion of 1/60 in U
1.395 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J (pow l 5))) in U
1.395 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in U
1.395 * [taylor]: Taking taylor expansion of (/ 0.5 K) in U
1.395 * [taylor]: Taking taylor expansion of 0.5 in U
1.395 * [taylor]: Taking taylor expansion of K in U
1.395 * [taylor]: Taking taylor expansion of (* J (pow l 5)) in U
1.395 * [taylor]: Taking taylor expansion of J in U
1.395 * [taylor]: Taking taylor expansion of (pow l 5) in U
1.395 * [taylor]: Taking taylor expansion of l in U
1.396 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (cos (/ 0.5 K)) (* J l))) (+ (* 1/3 (/ (cos (/ 0.5 K)) (* J (pow l 3)))) (/ 1 U))) in U
1.396 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in U
1.396 * [taylor]: Taking taylor expansion of 2 in U
1.396 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in U
1.396 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in U
1.396 * [taylor]: Taking taylor expansion of (/ 0.5 K) in U
1.396 * [taylor]: Taking taylor expansion of 0.5 in U
1.396 * [taylor]: Taking taylor expansion of K in U
1.396 * [taylor]: Taking taylor expansion of (* J l) in U
1.396 * [taylor]: Taking taylor expansion of J in U
1.396 * [taylor]: Taking taylor expansion of l in U
1.396 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ (cos (/ 0.5 K)) (* J (pow l 3)))) (/ 1 U)) in U
1.396 * [taylor]: Taking taylor expansion of (* 1/3 (/ (cos (/ 0.5 K)) (* J (pow l 3)))) in U
1.397 * [taylor]: Taking taylor expansion of 1/3 in U
1.397 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J (pow l 3))) in U
1.397 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in U
1.397 * [taylor]: Taking taylor expansion of (/ 0.5 K) in U
1.397 * [taylor]: Taking taylor expansion of 0.5 in U
1.397 * [taylor]: Taking taylor expansion of K in U
1.397 * [taylor]: Taking taylor expansion of (* J (pow l 3)) in U
1.397 * [taylor]: Taking taylor expansion of J in U
1.397 * [taylor]: Taking taylor expansion of (pow l 3) in U
1.397 * [taylor]: Taking taylor expansion of l in U
1.397 * [taylor]: Taking taylor expansion of (/ 1 U) in U
1.397 * [taylor]: Taking taylor expansion of U in U
1.398 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ (cos (/ 0.5 K)) (* J (pow l 5)))) (+ (* 2 (/ (cos (/ 0.5 K)) (* J l))) (+ (* 1/3 (/ (cos (/ 0.5 K)) (* J (pow l 3)))) (/ 1 U)))) in K
1.398 * [taylor]: Taking taylor expansion of (* 1/60 (/ (cos (/ 0.5 K)) (* J (pow l 5)))) in K
1.398 * [taylor]: Taking taylor expansion of 1/60 in K
1.398 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J (pow l 5))) in K
1.398 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
1.398 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
1.398 * [taylor]: Taking taylor expansion of 0.5 in K
1.398 * [taylor]: Taking taylor expansion of K in K
1.398 * [taylor]: Taking taylor expansion of (* J (pow l 5)) in K
1.398 * [taylor]: Taking taylor expansion of J in K
1.398 * [taylor]: Taking taylor expansion of (pow l 5) in K
1.398 * [taylor]: Taking taylor expansion of l in K
1.399 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (cos (/ 0.5 K)) (* J l))) (+ (* 1/3 (/ (cos (/ 0.5 K)) (* J (pow l 3)))) (/ 1 U))) in K
1.399 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in K
1.399 * [taylor]: Taking taylor expansion of 2 in K
1.399 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in K
1.399 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
1.399 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
1.399 * [taylor]: Taking taylor expansion of 0.5 in K
1.399 * [taylor]: Taking taylor expansion of K in K
1.399 * [taylor]: Taking taylor expansion of (* J l) in K
1.399 * [taylor]: Taking taylor expansion of J in K
1.399 * [taylor]: Taking taylor expansion of l in K
1.399 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ (cos (/ 0.5 K)) (* J (pow l 3)))) (/ 1 U)) in K
1.399 * [taylor]: Taking taylor expansion of (* 1/3 (/ (cos (/ 0.5 K)) (* J (pow l 3)))) in K
1.399 * [taylor]: Taking taylor expansion of 1/3 in K
1.399 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J (pow l 3))) in K
1.399 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
1.399 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
1.399 * [taylor]: Taking taylor expansion of 0.5 in K
1.399 * [taylor]: Taking taylor expansion of K in K
1.400 * [taylor]: Taking taylor expansion of (* J (pow l 3)) in K
1.400 * [taylor]: Taking taylor expansion of J in K
1.400 * [taylor]: Taking taylor expansion of (pow l 3) in K
1.400 * [taylor]: Taking taylor expansion of l in K
1.400 * [taylor]: Taking taylor expansion of (/ 1 U) in K
1.400 * [taylor]: Taking taylor expansion of U in K
1.400 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ (cos (/ 0.5 K)) (* J (pow l 5)))) (+ (* 2 (/ (cos (/ 0.5 K)) (* J l))) (+ (* 1/3 (/ (cos (/ 0.5 K)) (* J (pow l 3)))) (/ 1 U)))) in l
1.400 * [taylor]: Taking taylor expansion of (* 1/60 (/ (cos (/ 0.5 K)) (* J (pow l 5)))) in l
1.400 * [taylor]: Taking taylor expansion of 1/60 in l
1.400 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J (pow l 5))) in l
1.400 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
1.400 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
1.400 * [taylor]: Taking taylor expansion of 0.5 in l
1.400 * [taylor]: Taking taylor expansion of K in l
1.400 * [taylor]: Taking taylor expansion of (* J (pow l 5)) in l
1.400 * [taylor]: Taking taylor expansion of J in l
1.400 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.400 * [taylor]: Taking taylor expansion of l in l
1.402 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (cos (/ 0.5 K)) (* J l))) (+ (* 1/3 (/ (cos (/ 0.5 K)) (* J (pow l 3)))) (/ 1 U))) in l
1.402 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in l
1.402 * [taylor]: Taking taylor expansion of 2 in l
1.402 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in l
1.402 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
1.402 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
1.402 * [taylor]: Taking taylor expansion of 0.5 in l
1.402 * [taylor]: Taking taylor expansion of K in l
1.402 * [taylor]: Taking taylor expansion of (* J l) in l
1.402 * [taylor]: Taking taylor expansion of J in l
1.402 * [taylor]: Taking taylor expansion of l in l
1.402 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ (cos (/ 0.5 K)) (* J (pow l 3)))) (/ 1 U)) in l
1.403 * [taylor]: Taking taylor expansion of (* 1/3 (/ (cos (/ 0.5 K)) (* J (pow l 3)))) in l
1.403 * [taylor]: Taking taylor expansion of 1/3 in l
1.403 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J (pow l 3))) in l
1.403 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
1.403 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
1.403 * [taylor]: Taking taylor expansion of 0.5 in l
1.403 * [taylor]: Taking taylor expansion of K in l
1.403 * [taylor]: Taking taylor expansion of (* J (pow l 3)) in l
1.403 * [taylor]: Taking taylor expansion of J in l
1.403 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.403 * [taylor]: Taking taylor expansion of l in l
1.404 * [taylor]: Taking taylor expansion of (/ 1 U) in l
1.404 * [taylor]: Taking taylor expansion of U in l
1.404 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ (cos (/ 0.5 K)) (* J (pow l 5)))) (+ (* 2 (/ (cos (/ 0.5 K)) (* J l))) (+ (* 1/3 (/ (cos (/ 0.5 K)) (* J (pow l 3)))) (/ 1 U)))) in J
1.404 * [taylor]: Taking taylor expansion of (* 1/60 (/ (cos (/ 0.5 K)) (* J (pow l 5)))) in J
1.404 * [taylor]: Taking taylor expansion of 1/60 in J
1.404 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J (pow l 5))) in J
1.404 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
1.404 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
1.404 * [taylor]: Taking taylor expansion of 0.5 in J
1.404 * [taylor]: Taking taylor expansion of K in J
1.404 * [taylor]: Taking taylor expansion of (* J (pow l 5)) in J
1.404 * [taylor]: Taking taylor expansion of J in J
1.404 * [taylor]: Taking taylor expansion of (pow l 5) in J
1.404 * [taylor]: Taking taylor expansion of l in J
1.405 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (cos (/ 0.5 K)) (* J l))) (+ (* 1/3 (/ (cos (/ 0.5 K)) (* J (pow l 3)))) (/ 1 U))) in J
1.405 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in J
1.405 * [taylor]: Taking taylor expansion of 2 in J
1.405 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J
1.405 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
1.405 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
1.405 * [taylor]: Taking taylor expansion of 0.5 in J
1.405 * [taylor]: Taking taylor expansion of K in J
1.406 * [taylor]: Taking taylor expansion of (* J l) in J
1.406 * [taylor]: Taking taylor expansion of J in J
1.406 * [taylor]: Taking taylor expansion of l in J
1.406 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ (cos (/ 0.5 K)) (* J (pow l 3)))) (/ 1 U)) in J
1.406 * [taylor]: Taking taylor expansion of (* 1/3 (/ (cos (/ 0.5 K)) (* J (pow l 3)))) in J
1.406 * [taylor]: Taking taylor expansion of 1/3 in J
1.406 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J (pow l 3))) in J
1.406 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
1.406 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
1.406 * [taylor]: Taking taylor expansion of 0.5 in J
1.406 * [taylor]: Taking taylor expansion of K in J
1.407 * [taylor]: Taking taylor expansion of (* J (pow l 3)) in J
1.407 * [taylor]: Taking taylor expansion of J in J
1.407 * [taylor]: Taking taylor expansion of (pow l 3) in J
1.407 * [taylor]: Taking taylor expansion of l in J
1.408 * [taylor]: Taking taylor expansion of (/ 1 U) in J
1.408 * [taylor]: Taking taylor expansion of U in J
1.408 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ (cos (/ 0.5 K)) (* J (pow l 5)))) (+ (* 2 (/ (cos (/ 0.5 K)) (* J l))) (+ (* 1/3 (/ (cos (/ 0.5 K)) (* J (pow l 3)))) (/ 1 U)))) in J
1.408 * [taylor]: Taking taylor expansion of (* 1/60 (/ (cos (/ 0.5 K)) (* J (pow l 5)))) in J
1.408 * [taylor]: Taking taylor expansion of 1/60 in J
1.408 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J (pow l 5))) in J
1.408 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
1.408 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
1.408 * [taylor]: Taking taylor expansion of 0.5 in J
1.408 * [taylor]: Taking taylor expansion of K in J
1.408 * [taylor]: Taking taylor expansion of (* J (pow l 5)) in J
1.408 * [taylor]: Taking taylor expansion of J in J
1.408 * [taylor]: Taking taylor expansion of (pow l 5) in J
1.408 * [taylor]: Taking taylor expansion of l in J
1.414 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (cos (/ 0.5 K)) (* J l))) (+ (* 1/3 (/ (cos (/ 0.5 K)) (* J (pow l 3)))) (/ 1 U))) in J
1.414 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in J
1.414 * [taylor]: Taking taylor expansion of 2 in J
1.414 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J
1.414 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
1.414 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
1.414 * [taylor]: Taking taylor expansion of 0.5 in J
1.414 * [taylor]: Taking taylor expansion of K in J
1.414 * [taylor]: Taking taylor expansion of (* J l) in J
1.414 * [taylor]: Taking taylor expansion of J in J
1.414 * [taylor]: Taking taylor expansion of l in J
1.415 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ (cos (/ 0.5 K)) (* J (pow l 3)))) (/ 1 U)) in J
1.415 * [taylor]: Taking taylor expansion of (* 1/3 (/ (cos (/ 0.5 K)) (* J (pow l 3)))) in J
1.415 * [taylor]: Taking taylor expansion of 1/3 in J
1.415 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J (pow l 3))) in J
1.415 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
1.415 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
1.415 * [taylor]: Taking taylor expansion of 0.5 in J
1.415 * [taylor]: Taking taylor expansion of K in J
1.415 * [taylor]: Taking taylor expansion of (* J (pow l 3)) in J
1.415 * [taylor]: Taking taylor expansion of J in J
1.415 * [taylor]: Taking taylor expansion of (pow l 3) in J
1.415 * [taylor]: Taking taylor expansion of l in J
1.416 * [taylor]: Taking taylor expansion of (/ 1 U) in J
1.416 * [taylor]: Taking taylor expansion of U in J
1.417 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ (cos (/ 0.5 K)) (pow l 5))) (+ (* 1/3 (/ (cos (/ 0.5 K)) (pow l 3))) (* 2 (/ (cos (/ 0.5 K)) l)))) in l
1.417 * [taylor]: Taking taylor expansion of (* 1/60 (/ (cos (/ 0.5 K)) (pow l 5))) in l
1.417 * [taylor]: Taking taylor expansion of 1/60 in l
1.417 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (pow l 5)) in l
1.417 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
1.417 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
1.417 * [taylor]: Taking taylor expansion of 0.5 in l
1.417 * [taylor]: Taking taylor expansion of K in l
1.417 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.417 * [taylor]: Taking taylor expansion of l in l
1.419 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ (cos (/ 0.5 K)) (pow l 3))) (* 2 (/ (cos (/ 0.5 K)) l))) in l
1.419 * [taylor]: Taking taylor expansion of (* 1/3 (/ (cos (/ 0.5 K)) (pow l 3))) in l
1.419 * [taylor]: Taking taylor expansion of 1/3 in l
1.419 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (pow l 3)) in l
1.419 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
1.419 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
1.419 * [taylor]: Taking taylor expansion of 0.5 in l
1.419 * [taylor]: Taking taylor expansion of K in l
1.419 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.419 * [taylor]: Taking taylor expansion of l in l
1.420 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) l)) in l
1.420 * [taylor]: Taking taylor expansion of 2 in l
1.420 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in l
1.420 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
1.420 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
1.420 * [taylor]: Taking taylor expansion of 0.5 in l
1.420 * [taylor]: Taking taylor expansion of K in l
1.420 * [taylor]: Taking taylor expansion of l in l
1.420 * [taylor]: Taking taylor expansion of (* 1/60 (cos (/ 0.5 K))) in K
1.420 * [taylor]: Taking taylor expansion of 1/60 in K
1.420 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
1.421 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
1.421 * [taylor]: Taking taylor expansion of 0.5 in K
1.421 * [taylor]: Taking taylor expansion of K in K
1.421 * [taylor]: Taking taylor expansion of (* 1/60 (cos (/ 0.5 K))) in U
1.421 * [taylor]: Taking taylor expansion of 1/60 in U
1.421 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in U
1.421 * [taylor]: Taking taylor expansion of (/ 0.5 K) in U
1.421 * [taylor]: Taking taylor expansion of 0.5 in U
1.421 * [taylor]: Taking taylor expansion of K in U
1.432 * [taylor]: Taking taylor expansion of (/ 1 U) in l
1.432 * [taylor]: Taking taylor expansion of U in l
1.436 * [taylor]: Taking taylor expansion of 0 in K
1.436 * [taylor]: Taking taylor expansion of 0 in U
1.436 * [taylor]: Taking taylor expansion of 0 in U
1.452 * [taylor]: Taking taylor expansion of 0 in l
1.457 * [taylor]: Taking taylor expansion of (* 1/3 (cos (/ 0.5 K))) in K
1.457 * [taylor]: Taking taylor expansion of 1/3 in K
1.457 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
1.457 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
1.457 * [taylor]: Taking taylor expansion of 0.5 in K
1.457 * [taylor]: Taking taylor expansion of K in K
1.458 * [taylor]: Taking taylor expansion of (* 1/3 (cos (/ 0.5 K))) in U
1.458 * [taylor]: Taking taylor expansion of 1/3 in U
1.458 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in U
1.458 * [taylor]: Taking taylor expansion of (/ 0.5 K) in U
1.458 * [taylor]: Taking taylor expansion of 0.5 in U
1.458 * [taylor]: Taking taylor expansion of K in U
1.458 * [taylor]: Taking taylor expansion of 0 in U
1.459 * [taylor]: Taking taylor expansion of 0 in U
1.481 * [taylor]: Taking taylor expansion of 0 in l
1.491 * [taylor]: Taking taylor expansion of 0 in K
1.491 * [taylor]: Taking taylor expansion of 0 in U
1.491 * [taylor]: Taking taylor expansion of 0 in U
1.491 * [taylor]: Taking taylor expansion of 0 in U
1.492 * [taylor]: Taking taylor expansion of 0 in U
1.525 * [taylor]: Taking taylor expansion of 0 in l
1.538 * [taylor]: Taking taylor expansion of (* 2 (cos (/ 0.5 K))) in K
1.538 * [taylor]: Taking taylor expansion of 2 in K
1.538 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
1.538 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
1.538 * [taylor]: Taking taylor expansion of 0.5 in K
1.538 * [taylor]: Taking taylor expansion of K in K
1.539 * [taylor]: Taking taylor expansion of (* 2 (cos (/ 0.5 K))) in U
1.539 * [taylor]: Taking taylor expansion of 2 in U
1.539 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in U
1.539 * [taylor]: Taking taylor expansion of (/ 0.5 K) in U
1.539 * [taylor]: Taking taylor expansion of 0.5 in U
1.539 * [taylor]: Taking taylor expansion of K in U
1.539 * [taylor]: Taking taylor expansion of 0 in U
1.540 * [taylor]: Taking taylor expansion of 0 in U
1.540 * [taylor]: Taking taylor expansion of 0 in U
1.541 * [taylor]: Taking taylor expansion of 0 in U
1.542 * [approximate]: Taking taylor expansion of (- (+ (* 1/3 (/ (cos (/ -0.5 K)) (* J (pow l 3)))) (+ (* 2 (/ (cos (/ -0.5 K)) (* J l))) (* 1/60 (/ (cos (/ -0.5 K)) (* J (pow l 5)))))) (/ 1 U)) in (J l K U) around 0
1.542 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (/ (cos (/ -0.5 K)) (* J (pow l 3)))) (+ (* 2 (/ (cos (/ -0.5 K)) (* J l))) (* 1/60 (/ (cos (/ -0.5 K)) (* J (pow l 5)))))) (/ 1 U)) in U
1.542 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ (cos (/ -0.5 K)) (* J (pow l 3)))) (+ (* 2 (/ (cos (/ -0.5 K)) (* J l))) (* 1/60 (/ (cos (/ -0.5 K)) (* J (pow l 5)))))) in U
1.542 * [taylor]: Taking taylor expansion of (* 1/3 (/ (cos (/ -0.5 K)) (* J (pow l 3)))) in U
1.542 * [taylor]: Taking taylor expansion of 1/3 in U
1.542 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J (pow l 3))) in U
1.542 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in U
1.542 * [taylor]: Taking taylor expansion of (/ -0.5 K) in U
1.542 * [taylor]: Taking taylor expansion of -0.5 in U
1.542 * [taylor]: Taking taylor expansion of K in U
1.543 * [taylor]: Taking taylor expansion of (* J (pow l 3)) in U
1.543 * [taylor]: Taking taylor expansion of J in U
1.543 * [taylor]: Taking taylor expansion of (pow l 3) in U
1.543 * [taylor]: Taking taylor expansion of l in U
1.543 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (cos (/ -0.5 K)) (* J l))) (* 1/60 (/ (cos (/ -0.5 K)) (* J (pow l 5))))) in U
1.543 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in U
1.543 * [taylor]: Taking taylor expansion of 2 in U
1.543 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in U
1.543 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in U
1.543 * [taylor]: Taking taylor expansion of (/ -0.5 K) in U
1.543 * [taylor]: Taking taylor expansion of -0.5 in U
1.543 * [taylor]: Taking taylor expansion of K in U
1.544 * [taylor]: Taking taylor expansion of (* J l) in U
1.544 * [taylor]: Taking taylor expansion of J in U
1.544 * [taylor]: Taking taylor expansion of l in U
1.544 * [taylor]: Taking taylor expansion of (* 1/60 (/ (cos (/ -0.5 K)) (* J (pow l 5)))) in U
1.544 * [taylor]: Taking taylor expansion of 1/60 in U
1.544 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J (pow l 5))) in U
1.544 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in U
1.544 * [taylor]: Taking taylor expansion of (/ -0.5 K) in U
1.544 * [taylor]: Taking taylor expansion of -0.5 in U
1.544 * [taylor]: Taking taylor expansion of K in U
1.544 * [taylor]: Taking taylor expansion of (* J (pow l 5)) in U
1.544 * [taylor]: Taking taylor expansion of J in U
1.544 * [taylor]: Taking taylor expansion of (pow l 5) in U
1.544 * [taylor]: Taking taylor expansion of l in U
1.545 * [taylor]: Taking taylor expansion of (/ 1 U) in U
1.545 * [taylor]: Taking taylor expansion of U in U
1.545 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (/ (cos (/ -0.5 K)) (* J (pow l 3)))) (+ (* 2 (/ (cos (/ -0.5 K)) (* J l))) (* 1/60 (/ (cos (/ -0.5 K)) (* J (pow l 5)))))) (/ 1 U)) in K
1.545 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ (cos (/ -0.5 K)) (* J (pow l 3)))) (+ (* 2 (/ (cos (/ -0.5 K)) (* J l))) (* 1/60 (/ (cos (/ -0.5 K)) (* J (pow l 5)))))) in K
1.545 * [taylor]: Taking taylor expansion of (* 1/3 (/ (cos (/ -0.5 K)) (* J (pow l 3)))) in K
1.546 * [taylor]: Taking taylor expansion of 1/3 in K
1.546 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J (pow l 3))) in K
1.546 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
1.546 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
1.546 * [taylor]: Taking taylor expansion of -0.5 in K
1.546 * [taylor]: Taking taylor expansion of K in K
1.546 * [taylor]: Taking taylor expansion of (* J (pow l 3)) in K
1.546 * [taylor]: Taking taylor expansion of J in K
1.546 * [taylor]: Taking taylor expansion of (pow l 3) in K
1.546 * [taylor]: Taking taylor expansion of l in K
1.546 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (cos (/ -0.5 K)) (* J l))) (* 1/60 (/ (cos (/ -0.5 K)) (* J (pow l 5))))) in K
1.547 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in K
1.547 * [taylor]: Taking taylor expansion of 2 in K
1.547 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in K
1.547 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
1.547 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
1.547 * [taylor]: Taking taylor expansion of -0.5 in K
1.547 * [taylor]: Taking taylor expansion of K in K
1.547 * [taylor]: Taking taylor expansion of (* J l) in K
1.547 * [taylor]: Taking taylor expansion of J in K
1.547 * [taylor]: Taking taylor expansion of l in K
1.547 * [taylor]: Taking taylor expansion of (* 1/60 (/ (cos (/ -0.5 K)) (* J (pow l 5)))) in K
1.547 * [taylor]: Taking taylor expansion of 1/60 in K
1.547 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J (pow l 5))) in K
1.547 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
1.547 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
1.547 * [taylor]: Taking taylor expansion of -0.5 in K
1.547 * [taylor]: Taking taylor expansion of K in K
1.548 * [taylor]: Taking taylor expansion of (* J (pow l 5)) in K
1.548 * [taylor]: Taking taylor expansion of J in K
1.548 * [taylor]: Taking taylor expansion of (pow l 5) in K
1.548 * [taylor]: Taking taylor expansion of l in K
1.548 * [taylor]: Taking taylor expansion of (/ 1 U) in K
1.548 * [taylor]: Taking taylor expansion of U in K
1.548 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (/ (cos (/ -0.5 K)) (* J (pow l 3)))) (+ (* 2 (/ (cos (/ -0.5 K)) (* J l))) (* 1/60 (/ (cos (/ -0.5 K)) (* J (pow l 5)))))) (/ 1 U)) in l
1.548 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ (cos (/ -0.5 K)) (* J (pow l 3)))) (+ (* 2 (/ (cos (/ -0.5 K)) (* J l))) (* 1/60 (/ (cos (/ -0.5 K)) (* J (pow l 5)))))) in l
1.548 * [taylor]: Taking taylor expansion of (* 1/3 (/ (cos (/ -0.5 K)) (* J (pow l 3)))) in l
1.548 * [taylor]: Taking taylor expansion of 1/3 in l
1.548 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J (pow l 3))) in l
1.548 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
1.548 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
1.548 * [taylor]: Taking taylor expansion of -0.5 in l
1.548 * [taylor]: Taking taylor expansion of K in l
1.548 * [taylor]: Taking taylor expansion of (* J (pow l 3)) in l
1.548 * [taylor]: Taking taylor expansion of J in l
1.548 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.548 * [taylor]: Taking taylor expansion of l in l
1.549 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (cos (/ -0.5 K)) (* J l))) (* 1/60 (/ (cos (/ -0.5 K)) (* J (pow l 5))))) in l
1.549 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in l
1.549 * [taylor]: Taking taylor expansion of 2 in l
1.549 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in l
1.549 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
1.549 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
1.549 * [taylor]: Taking taylor expansion of -0.5 in l
1.550 * [taylor]: Taking taylor expansion of K in l
1.550 * [taylor]: Taking taylor expansion of (* J l) in l
1.550 * [taylor]: Taking taylor expansion of J in l
1.550 * [taylor]: Taking taylor expansion of l in l
1.550 * [taylor]: Taking taylor expansion of (* 1/60 (/ (cos (/ -0.5 K)) (* J (pow l 5)))) in l
1.550 * [taylor]: Taking taylor expansion of 1/60 in l
1.550 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J (pow l 5))) in l
1.550 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
1.550 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
1.550 * [taylor]: Taking taylor expansion of -0.5 in l
1.550 * [taylor]: Taking taylor expansion of K in l
1.551 * [taylor]: Taking taylor expansion of (* J (pow l 5)) in l
1.551 * [taylor]: Taking taylor expansion of J in l
1.551 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.551 * [taylor]: Taking taylor expansion of l in l
1.552 * [taylor]: Taking taylor expansion of (/ 1 U) in l
1.552 * [taylor]: Taking taylor expansion of U in l
1.552 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (/ (cos (/ -0.5 K)) (* J (pow l 3)))) (+ (* 2 (/ (cos (/ -0.5 K)) (* J l))) (* 1/60 (/ (cos (/ -0.5 K)) (* J (pow l 5)))))) (/ 1 U)) in J
1.552 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ (cos (/ -0.5 K)) (* J (pow l 3)))) (+ (* 2 (/ (cos (/ -0.5 K)) (* J l))) (* 1/60 (/ (cos (/ -0.5 K)) (* J (pow l 5)))))) in J
1.552 * [taylor]: Taking taylor expansion of (* 1/3 (/ (cos (/ -0.5 K)) (* J (pow l 3)))) in J
1.552 * [taylor]: Taking taylor expansion of 1/3 in J
1.552 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J (pow l 3))) in J
1.552 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
1.552 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
1.552 * [taylor]: Taking taylor expansion of -0.5 in J
1.552 * [taylor]: Taking taylor expansion of K in J
1.552 * [taylor]: Taking taylor expansion of (* J (pow l 3)) in J
1.552 * [taylor]: Taking taylor expansion of J in J
1.552 * [taylor]: Taking taylor expansion of (pow l 3) in J
1.552 * [taylor]: Taking taylor expansion of l in J
1.553 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (cos (/ -0.5 K)) (* J l))) (* 1/60 (/ (cos (/ -0.5 K)) (* J (pow l 5))))) in J
1.553 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in J
1.553 * [taylor]: Taking taylor expansion of 2 in J
1.553 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J
1.553 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
1.553 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
1.553 * [taylor]: Taking taylor expansion of -0.5 in J
1.553 * [taylor]: Taking taylor expansion of K in J
1.553 * [taylor]: Taking taylor expansion of (* J l) in J
1.554 * [taylor]: Taking taylor expansion of J in J
1.554 * [taylor]: Taking taylor expansion of l in J
1.554 * [taylor]: Taking taylor expansion of (* 1/60 (/ (cos (/ -0.5 K)) (* J (pow l 5)))) in J
1.554 * [taylor]: Taking taylor expansion of 1/60 in J
1.554 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J (pow l 5))) in J
1.554 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
1.554 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
1.554 * [taylor]: Taking taylor expansion of -0.5 in J
1.554 * [taylor]: Taking taylor expansion of K in J
1.554 * [taylor]: Taking taylor expansion of (* J (pow l 5)) in J
1.554 * [taylor]: Taking taylor expansion of J in J
1.554 * [taylor]: Taking taylor expansion of (pow l 5) in J
1.555 * [taylor]: Taking taylor expansion of l in J
1.556 * [taylor]: Taking taylor expansion of (/ 1 U) in J
1.556 * [taylor]: Taking taylor expansion of U in J
1.556 * [taylor]: Taking taylor expansion of (- (+ (* 1/3 (/ (cos (/ -0.5 K)) (* J (pow l 3)))) (+ (* 2 (/ (cos (/ -0.5 K)) (* J l))) (* 1/60 (/ (cos (/ -0.5 K)) (* J (pow l 5)))))) (/ 1 U)) in J
1.556 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ (cos (/ -0.5 K)) (* J (pow l 3)))) (+ (* 2 (/ (cos (/ -0.5 K)) (* J l))) (* 1/60 (/ (cos (/ -0.5 K)) (* J (pow l 5)))))) in J
1.556 * [taylor]: Taking taylor expansion of (* 1/3 (/ (cos (/ -0.5 K)) (* J (pow l 3)))) in J
1.556 * [taylor]: Taking taylor expansion of 1/3 in J
1.556 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J (pow l 3))) in J
1.556 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
1.556 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
1.556 * [taylor]: Taking taylor expansion of -0.5 in J
1.556 * [taylor]: Taking taylor expansion of K in J
1.556 * [taylor]: Taking taylor expansion of (* J (pow l 3)) in J
1.556 * [taylor]: Taking taylor expansion of J in J
1.556 * [taylor]: Taking taylor expansion of (pow l 3) in J
1.556 * [taylor]: Taking taylor expansion of l in J
1.557 * [taylor]: Taking taylor expansion of (+ (* 2 (/ (cos (/ -0.5 K)) (* J l))) (* 1/60 (/ (cos (/ -0.5 K)) (* J (pow l 5))))) in J
1.557 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in J
1.557 * [taylor]: Taking taylor expansion of 2 in J
1.557 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J
1.557 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
1.557 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
1.557 * [taylor]: Taking taylor expansion of -0.5 in J
1.557 * [taylor]: Taking taylor expansion of K in J
1.558 * [taylor]: Taking taylor expansion of (* J l) in J
1.558 * [taylor]: Taking taylor expansion of J in J
1.558 * [taylor]: Taking taylor expansion of l in J
1.558 * [taylor]: Taking taylor expansion of (* 1/60 (/ (cos (/ -0.5 K)) (* J (pow l 5)))) in J
1.558 * [taylor]: Taking taylor expansion of 1/60 in J
1.558 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J (pow l 5))) in J
1.558 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
1.558 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
1.558 * [taylor]: Taking taylor expansion of -0.5 in J
1.558 * [taylor]: Taking taylor expansion of K in J
1.559 * [taylor]: Taking taylor expansion of (* J (pow l 5)) in J
1.559 * [taylor]: Taking taylor expansion of J in J
1.559 * [taylor]: Taking taylor expansion of (pow l 5) in J
1.559 * [taylor]: Taking taylor expansion of l in J
1.560 * [taylor]: Taking taylor expansion of (/ 1 U) in J
1.560 * [taylor]: Taking taylor expansion of U in J
1.561 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ (cos (/ -0.5 K)) (pow l 5))) (+ (* 1/3 (/ (cos (/ -0.5 K)) (pow l 3))) (* 2 (/ (cos (/ -0.5 K)) l)))) in l
1.561 * [taylor]: Taking taylor expansion of (* 1/60 (/ (cos (/ -0.5 K)) (pow l 5))) in l
1.561 * [taylor]: Taking taylor expansion of 1/60 in l
1.561 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (pow l 5)) in l
1.561 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
1.561 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
1.561 * [taylor]: Taking taylor expansion of -0.5 in l
1.561 * [taylor]: Taking taylor expansion of K in l
1.561 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.561 * [taylor]: Taking taylor expansion of l in l
1.563 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ (cos (/ -0.5 K)) (pow l 3))) (* 2 (/ (cos (/ -0.5 K)) l))) in l
1.563 * [taylor]: Taking taylor expansion of (* 1/3 (/ (cos (/ -0.5 K)) (pow l 3))) in l
1.563 * [taylor]: Taking taylor expansion of 1/3 in l
1.563 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (pow l 3)) in l
1.563 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
1.563 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
1.563 * [taylor]: Taking taylor expansion of -0.5 in l
1.563 * [taylor]: Taking taylor expansion of K in l
1.563 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.563 * [taylor]: Taking taylor expansion of l in l
1.564 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) l)) in l
1.564 * [taylor]: Taking taylor expansion of 2 in l
1.564 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in l
1.564 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
1.564 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
1.564 * [taylor]: Taking taylor expansion of -0.5 in l
1.564 * [taylor]: Taking taylor expansion of K in l
1.564 * [taylor]: Taking taylor expansion of l in l
1.564 * [taylor]: Taking taylor expansion of (* 1/60 (cos (/ -0.5 K))) in K
1.565 * [taylor]: Taking taylor expansion of 1/60 in K
1.565 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
1.565 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
1.565 * [taylor]: Taking taylor expansion of -0.5 in K
1.565 * [taylor]: Taking taylor expansion of K in K
1.565 * [taylor]: Taking taylor expansion of (* 1/60 (cos (/ -0.5 K))) in U
1.565 * [taylor]: Taking taylor expansion of 1/60 in U
1.565 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in U
1.565 * [taylor]: Taking taylor expansion of (/ -0.5 K) in U
1.565 * [taylor]: Taking taylor expansion of -0.5 in U
1.565 * [taylor]: Taking taylor expansion of K in U
1.576 * [taylor]: Taking taylor expansion of (- (/ 1 U)) in l
1.576 * [taylor]: Taking taylor expansion of (/ 1 U) in l
1.576 * [taylor]: Taking taylor expansion of U in l
1.580 * [taylor]: Taking taylor expansion of 0 in K
1.580 * [taylor]: Taking taylor expansion of 0 in U
1.581 * [taylor]: Taking taylor expansion of 0 in U
1.602 * [taylor]: Taking taylor expansion of 0 in l
1.608 * [taylor]: Taking taylor expansion of (* 1/3 (cos (/ -0.5 K))) in K
1.608 * [taylor]: Taking taylor expansion of 1/3 in K
1.608 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
1.608 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
1.608 * [taylor]: Taking taylor expansion of -0.5 in K
1.608 * [taylor]: Taking taylor expansion of K in K
1.608 * [taylor]: Taking taylor expansion of (* 1/3 (cos (/ -0.5 K))) in U
1.608 * [taylor]: Taking taylor expansion of 1/3 in U
1.608 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in U
1.608 * [taylor]: Taking taylor expansion of (/ -0.5 K) in U
1.608 * [taylor]: Taking taylor expansion of -0.5 in U
1.608 * [taylor]: Taking taylor expansion of K in U
1.609 * [taylor]: Taking taylor expansion of 0 in U
1.609 * [taylor]: Taking taylor expansion of 0 in U
1.631 * [taylor]: Taking taylor expansion of 0 in l
1.642 * [taylor]: Taking taylor expansion of 0 in K
1.642 * [taylor]: Taking taylor expansion of 0 in U
1.642 * [taylor]: Taking taylor expansion of 0 in U
1.642 * [taylor]: Taking taylor expansion of 0 in U
1.643 * [taylor]: Taking taylor expansion of 0 in U
1.672 * [taylor]: Taking taylor expansion of 0 in l
1.690 * [taylor]: Taking taylor expansion of (* 2 (cos (/ -0.5 K))) in K
1.690 * [taylor]: Taking taylor expansion of 2 in K
1.690 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
1.690 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
1.690 * [taylor]: Taking taylor expansion of -0.5 in K
1.690 * [taylor]: Taking taylor expansion of K in K
1.691 * [taylor]: Taking taylor expansion of (* 2 (cos (/ -0.5 K))) in U
1.691 * [taylor]: Taking taylor expansion of 2 in U
1.691 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in U
1.691 * [taylor]: Taking taylor expansion of (/ -0.5 K) in U
1.691 * [taylor]: Taking taylor expansion of -0.5 in U
1.691 * [taylor]: Taking taylor expansion of K in U
1.691 * [taylor]: Taking taylor expansion of 0 in U
1.692 * [taylor]: Taking taylor expansion of 0 in U
1.692 * [taylor]: Taking taylor expansion of 0 in U
1.693 * [taylor]: Taking taylor expansion of 0 in U
1.693 * * * [progress]: simplifying candidates
1.695 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0)))
  (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0)))
  (+ (+ (log J) (log (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))))) (log (cos (/ K 2.0))))
  (+ (log (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))))) (log (cos (/ K 2.0))))
  (log (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))))
  (exp (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))))
  (* (* (* (* J J) J) (* (* (+ (* 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))))) (* (* (cos (/ K 2.0)) (cos (/ K 2.0))) (cos (/ K 2.0))))
  (* (* (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))))) (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))))) (* (* (cos (/ K 2.0)) (cos (/ K 2.0))) (cos (/ K 2.0))))
  (* (cbrt (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0)))) (cbrt (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0)))))
  (cbrt (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))))
  (* (* (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))) (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0)))) (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))))
  (sqrt (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))))
  (sqrt (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))))
  (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0)))))
  (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (sqrt (cos (/ K 2.0))))
  (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) 1)
  (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))
  (* (* J (+ (pow (* 1/3 (pow l 3)) 3) (pow (+ (* 1/60 (pow l 5)) (* 2 l)) 3))) (cos (/ K 2.0)))
  (* (* J (- (* (* 1/3 (pow l 3)) (* 1/3 (pow l 3))) (* (+ (* 1/60 (pow l 5)) (* 2 l)) (+ (* 1/60 (pow l 5)) (* 2 l))))) (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 (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0)))) (exp U))
  (log (+ (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))) U))
  (exp (+ (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))) U))
  (* (cbrt (+ (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))) U)) (cbrt (+ (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))) U)))
  (cbrt (+ (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))) U))
  (* (* (+ (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))) U) (+ (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))) U)) (+ (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))) U))
  (sqrt (+ (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))) U))
  (sqrt (+ (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))) U))
  (+ (pow (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))) 3) (pow U 3))
  (+ (* (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))) (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0)))) (- (* U U) (* (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))) U)))
  (- (* (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))) (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0)))) (* U U))
  (- (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))) U)
  (* 2 (* J l))
  (+ (* 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 (* J (* (cos (* 0.5 K)) (pow l 3)))))
  (* 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))
  (+ U (* 2 (* J l)))
  (+ (* 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 (* J (* (cos (* 0.5 K)) (pow l 3)))))
1.702 * * [simplify]: iteration  0 :  465  enodes  (cost  784 )
1.712 * * [simplify]: iteration  1 :  2234  enodes  (cost  701 )
1.756 * * [simplify]: iteration  2 :  5003  enodes  (cost  701 )
1.760 * [simplify]: Simplified to:
   (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0)))
  (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0)))
  (log (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))))
  (log (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))))
  (log (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))))
  (exp (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))))
  (pow (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))) 3)
  (pow (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))) 3)
  (* (cbrt (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0)))) (cbrt (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0)))))
  (cbrt (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))))
  (pow (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))) 3)
  (sqrt (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))))
  (sqrt (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))))
  (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0)))))
  (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (sqrt (cos (/ K 2.0))))
  (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))))
  (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))
  (* (* J (+ (pow (* 1/3 (pow l 3)) 3) (pow (+ (* 1/60 (pow l 5)) (* 2 l)) 3))) (cos (/ K 2.0)))
  (* (* J (- (* (* 1/3 (pow l 3)) (* 1/3 (pow l 3))) (* (+ (* 1/60 (pow l 5)) (* 2 l)) (+ (* 1/60 (pow l 5)) (* 2 l))))) (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)))
  (exp (* 1/3 (pow l 3)))
  (pow (* 1/3 (pow l 3)) 3)
  (* (cbrt (* 1/3 (pow l 3))) (cbrt (* 1/3 (pow l 3))))
  (cbrt (* 1/3 (pow l 3)))
  (pow (* 1/3 (pow l 3)) 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 l) l)
  (* 1/3 (pow (sqrt l) 3))
  1/3
  (* (* 1/3 l) l)
  (* (* 1/3 l) l)
  (* (* 1/3 l) l)
  (* 1/3 (pow (sqrt l) 3))
  1/3
  (* 1/3 l)
  (* 1/3 (sqrt (pow l 3)))
  1/3
  (* 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 (pow l 5)))
  (log (* 1/60 (pow l 5)))
  (log (* 1/60 (pow l 5)))
  (log (* 1/60 (pow l 5)))
  (exp (* 1/60 (pow l 5)))
  (pow (* 1/60 (pow l 5)) 3)
  (* (cbrt (* 1/60 (pow l 5))) (cbrt (* 1/60 (pow l 5))))
  (cbrt (* 1/60 (pow l 5)))
  (pow (* 1/60 (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))
  (* (cbrt 1/60) (pow l 5))
  (* (sqrt 1/60) (pow l 5))
  (* 1/60 (pow l 5))
  (exp (+ (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))) U))
  (log (+ (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))) U))
  (exp (+ (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))) U))
  (* (cbrt (+ (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))) U)) (cbrt (+ (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))) U)))
  (cbrt (+ (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))) U))
  (pow (+ (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))) U) 3)
  (sqrt (+ (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))) U))
  (sqrt (+ (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))) U))
  (+ (pow (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))) 3) (pow U 3))
  (+ (* U (- U (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))))) (* (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))) (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0)))))
  (- (* (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))) (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0)))) (* U U))
  (- (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0))) U)
  (* 2 (* J l))
  (+ (* 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 (* J (* (cos (* 0.5 K)) (pow l 3)))))
  (* 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))
  (+ U (* 2 (* J l)))
  (+ (* 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 (* J (* (cos (* 0.5 K)) (pow l 3)))))
1.761 * * * [progress]: adding candidates to table
2.090 * * [progress]: iteration 3 / 4
2.090 * * * [progress]: picking best candidate
2.119 * * * * [pick]: Picked  #<alt (λ (J l K U) (+ (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))) U))>
2.120 * * * [progress]: localizing error
2.138 * * * [progress]: generating rewritten candidates
2.138 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
2.172 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
2.207 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1)
2.213 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 2 1)
2.222 * * * [progress]: generating series expansions
2.222 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
2.222 * [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
2.223 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) in K
2.223 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
2.223 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
2.223 * [taylor]: Taking taylor expansion of 0.5 in K
2.223 * [taylor]: Taking taylor expansion of K in K
2.224 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) in K
2.224 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in K
2.224 * [taylor]: Taking taylor expansion of 1/3 in K
2.224 * [taylor]: Taking taylor expansion of (pow l 3) in K
2.224 * [taylor]: Taking taylor expansion of l in K
2.224 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow l 5)) (* 2 l)) in K
2.224 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in K
2.224 * [taylor]: Taking taylor expansion of 1/60 in K
2.224 * [taylor]: Taking taylor expansion of (pow l 5) in K
2.224 * [taylor]: Taking taylor expansion of l in K
2.224 * [taylor]: Taking taylor expansion of (* 2 l) in K
2.224 * [taylor]: Taking taylor expansion of 2 in K
2.224 * [taylor]: Taking taylor expansion of l in K
2.224 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) in l
2.224 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
2.225 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
2.225 * [taylor]: Taking taylor expansion of 0.5 in l
2.225 * [taylor]: Taking taylor expansion of K in l
2.225 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) in l
2.225 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in l
2.225 * [taylor]: Taking taylor expansion of 1/3 in l
2.225 * [taylor]: Taking taylor expansion of (pow l 3) in l
2.225 * [taylor]: Taking taylor expansion of l in l
2.225 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow l 5)) (* 2 l)) in l
2.225 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in l
2.225 * [taylor]: Taking taylor expansion of 1/60 in l
2.225 * [taylor]: Taking taylor expansion of (pow l 5) in l
2.225 * [taylor]: Taking taylor expansion of l in l
2.225 * [taylor]: Taking taylor expansion of (* 2 l) in l
2.225 * [taylor]: Taking taylor expansion of 2 in l
2.225 * [taylor]: Taking taylor expansion of l in l
2.225 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) in l
2.225 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
2.225 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
2.225 * [taylor]: Taking taylor expansion of 0.5 in l
2.225 * [taylor]: Taking taylor expansion of K in l
2.225 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) in l
2.225 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in l
2.225 * [taylor]: Taking taylor expansion of 1/3 in l
2.225 * [taylor]: Taking taylor expansion of (pow l 3) in l
2.225 * [taylor]: Taking taylor expansion of l in l
2.225 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow l 5)) (* 2 l)) in l
2.225 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in l
2.225 * [taylor]: Taking taylor expansion of 1/60 in l
2.225 * [taylor]: Taking taylor expansion of (pow l 5) in l
2.225 * [taylor]: Taking taylor expansion of l in l
2.225 * [taylor]: Taking taylor expansion of (* 2 l) in l
2.225 * [taylor]: Taking taylor expansion of 2 in l
2.225 * [taylor]: Taking taylor expansion of l in l
2.227 * [taylor]: Taking taylor expansion of 0 in K
2.230 * [taylor]: Taking taylor expansion of (* 2 (cos (* 0.5 K))) in K
2.230 * [taylor]: Taking taylor expansion of 2 in K
2.230 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
2.230 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
2.230 * [taylor]: Taking taylor expansion of 0.5 in K
2.230 * [taylor]: Taking taylor expansion of K in K
2.236 * [taylor]: Taking taylor expansion of 0 in K
2.242 * [taylor]: Taking taylor expansion of (* 1/3 (cos (* 0.5 K))) in K
2.242 * [taylor]: Taking taylor expansion of 1/3 in K
2.242 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
2.243 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
2.243 * [taylor]: Taking taylor expansion of 0.5 in K
2.243 * [taylor]: Taking taylor expansion of K in K
2.248 * [approximate]: Taking taylor expansion of (* (cos (/ 0.5 K)) (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))))) in (l K) around 0
2.248 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))))) in K
2.248 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
2.248 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
2.249 * [taylor]: Taking taylor expansion of 0.5 in K
2.249 * [taylor]: Taking taylor expansion of K in K
2.249 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in K
2.249 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in K
2.249 * [taylor]: Taking taylor expansion of 1/60 in K
2.249 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in K
2.249 * [taylor]: Taking taylor expansion of (pow l 5) in K
2.249 * [taylor]: Taking taylor expansion of l in K
2.249 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in K
2.249 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in K
2.249 * [taylor]: Taking taylor expansion of 2 in K
2.249 * [taylor]: Taking taylor expansion of (/ 1 l) in K
2.249 * [taylor]: Taking taylor expansion of l in K
2.249 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in K
2.249 * [taylor]: Taking taylor expansion of 1/3 in K
2.249 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in K
2.249 * [taylor]: Taking taylor expansion of (pow l 3) in K
2.249 * [taylor]: Taking taylor expansion of l in K
2.250 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))))) in l
2.250 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
2.250 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
2.250 * [taylor]: Taking taylor expansion of 0.5 in l
2.250 * [taylor]: Taking taylor expansion of K in l
2.250 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
2.250 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
2.250 * [taylor]: Taking taylor expansion of 1/60 in l
2.250 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
2.250 * [taylor]: Taking taylor expansion of (pow l 5) in l
2.250 * [taylor]: Taking taylor expansion of l in l
2.251 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
2.251 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
2.251 * [taylor]: Taking taylor expansion of 2 in l
2.251 * [taylor]: Taking taylor expansion of (/ 1 l) in l
2.251 * [taylor]: Taking taylor expansion of l in l
2.251 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
2.251 * [taylor]: Taking taylor expansion of 1/3 in l
2.251 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
2.251 * [taylor]: Taking taylor expansion of (pow l 3) in l
2.251 * [taylor]: Taking taylor expansion of l in l
2.252 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))))) in l
2.252 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
2.252 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
2.252 * [taylor]: Taking taylor expansion of 0.5 in l
2.252 * [taylor]: Taking taylor expansion of K in l
2.252 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
2.252 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
2.252 * [taylor]: Taking taylor expansion of 1/60 in l
2.252 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
2.252 * [taylor]: Taking taylor expansion of (pow l 5) in l
2.252 * [taylor]: Taking taylor expansion of l in l
2.253 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
2.253 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
2.253 * [taylor]: Taking taylor expansion of 2 in l
2.253 * [taylor]: Taking taylor expansion of (/ 1 l) in l
2.253 * [taylor]: Taking taylor expansion of l in l
2.254 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
2.254 * [taylor]: Taking taylor expansion of 1/3 in l
2.254 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
2.254 * [taylor]: Taking taylor expansion of (pow l 3) in l
2.254 * [taylor]: Taking taylor expansion of l in l
2.255 * [taylor]: Taking taylor expansion of (* 1/60 (cos (/ 0.5 K))) in K
2.255 * [taylor]: Taking taylor expansion of 1/60 in K
2.255 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
2.255 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
2.255 * [taylor]: Taking taylor expansion of 0.5 in K
2.255 * [taylor]: Taking taylor expansion of K in K
2.260 * [taylor]: Taking taylor expansion of 0 in K
2.266 * [taylor]: Taking taylor expansion of (* 1/3 (cos (/ 0.5 K))) in K
2.267 * [taylor]: Taking taylor expansion of 1/3 in K
2.267 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
2.267 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
2.267 * [taylor]: Taking taylor expansion of 0.5 in K
2.267 * [taylor]: Taking taylor expansion of K in K
2.281 * [taylor]: Taking taylor expansion of 0 in K
2.283 * [approximate]: Taking taylor expansion of (* -1 (* (cos (/ -0.5 K)) (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))))) in (l K) around 0
2.283 * [taylor]: Taking taylor expansion of (* -1 (* (cos (/ -0.5 K)) (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))))) in K
2.284 * [taylor]: Taking taylor expansion of -1 in K
2.284 * [taylor]: Taking taylor expansion of (* (cos (/ -0.5 K)) (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))))) in K
2.284 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
2.284 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
2.284 * [taylor]: Taking taylor expansion of -0.5 in K
2.284 * [taylor]: Taking taylor expansion of K in K
2.284 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in K
2.284 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in K
2.284 * [taylor]: Taking taylor expansion of 1/60 in K
2.284 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in K
2.284 * [taylor]: Taking taylor expansion of (pow l 5) in K
2.284 * [taylor]: Taking taylor expansion of l in K
2.284 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in K
2.284 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in K
2.284 * [taylor]: Taking taylor expansion of 2 in K
2.284 * [taylor]: Taking taylor expansion of (/ 1 l) in K
2.284 * [taylor]: Taking taylor expansion of l in K
2.284 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in K
2.284 * [taylor]: Taking taylor expansion of 1/3 in K
2.284 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in K
2.285 * [taylor]: Taking taylor expansion of (pow l 3) in K
2.285 * [taylor]: Taking taylor expansion of l in K
2.285 * [taylor]: Taking taylor expansion of (* -1 (* (cos (/ -0.5 K)) (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))))) in l
2.285 * [taylor]: Taking taylor expansion of -1 in l
2.285 * [taylor]: Taking taylor expansion of (* (cos (/ -0.5 K)) (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))))) in l
2.285 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
2.285 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
2.285 * [taylor]: Taking taylor expansion of -0.5 in l
2.285 * [taylor]: Taking taylor expansion of K in l
2.285 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
2.285 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
2.285 * [taylor]: Taking taylor expansion of 1/60 in l
2.285 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
2.285 * [taylor]: Taking taylor expansion of (pow l 5) in l
2.285 * [taylor]: Taking taylor expansion of l in l
2.286 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
2.286 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
2.286 * [taylor]: Taking taylor expansion of 2 in l
2.286 * [taylor]: Taking taylor expansion of (/ 1 l) in l
2.286 * [taylor]: Taking taylor expansion of l in l
2.286 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
2.286 * [taylor]: Taking taylor expansion of 1/3 in l
2.286 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
2.286 * [taylor]: Taking taylor expansion of (pow l 3) in l
2.286 * [taylor]: Taking taylor expansion of l in l
2.287 * [taylor]: Taking taylor expansion of (* -1 (* (cos (/ -0.5 K)) (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))))) in l
2.287 * [taylor]: Taking taylor expansion of -1 in l
2.287 * [taylor]: Taking taylor expansion of (* (cos (/ -0.5 K)) (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))))) in l
2.287 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
2.287 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
2.287 * [taylor]: Taking taylor expansion of -0.5 in l
2.287 * [taylor]: Taking taylor expansion of K in l
2.287 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
2.287 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
2.287 * [taylor]: Taking taylor expansion of 1/60 in l
2.287 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
2.287 * [taylor]: Taking taylor expansion of (pow l 5) in l
2.287 * [taylor]: Taking taylor expansion of l in l
2.288 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
2.288 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
2.288 * [taylor]: Taking taylor expansion of 2 in l
2.289 * [taylor]: Taking taylor expansion of (/ 1 l) in l
2.289 * [taylor]: Taking taylor expansion of l in l
2.289 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
2.289 * [taylor]: Taking taylor expansion of 1/3 in l
2.289 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
2.289 * [taylor]: Taking taylor expansion of (pow l 3) in l
2.289 * [taylor]: Taking taylor expansion of l in l
2.291 * [taylor]: Taking taylor expansion of (* -1/60 (cos (/ -0.5 K))) in K
2.291 * [taylor]: Taking taylor expansion of -1/60 in K
2.291 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
2.291 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
2.291 * [taylor]: Taking taylor expansion of -0.5 in K
2.291 * [taylor]: Taking taylor expansion of K in K
2.296 * [taylor]: Taking taylor expansion of 0 in K
2.303 * [taylor]: Taking taylor expansion of (- (* 1/3 (cos (/ -0.5 K)))) in K
2.303 * [taylor]: Taking taylor expansion of (* 1/3 (cos (/ -0.5 K))) in K
2.303 * [taylor]: Taking taylor expansion of 1/3 in K
2.303 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
2.303 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
2.303 * [taylor]: Taking taylor expansion of -0.5 in K
2.303 * [taylor]: Taking taylor expansion of K in K
2.313 * [taylor]: Taking taylor expansion of 0 in K
2.315 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
2.315 * [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
2.315 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))))) in K
2.315 * [taylor]: Taking taylor expansion of J in K
2.315 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) in K
2.315 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
2.315 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
2.315 * [taylor]: Taking taylor expansion of 0.5 in K
2.315 * [taylor]: Taking taylor expansion of K in K
2.317 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) in K
2.317 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in K
2.317 * [taylor]: Taking taylor expansion of 1/3 in K
2.317 * [taylor]: Taking taylor expansion of (pow l 3) in K
2.317 * [taylor]: Taking taylor expansion of l in K
2.317 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow l 5)) (* 2 l)) in K
2.317 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in K
2.317 * [taylor]: Taking taylor expansion of 1/60 in K
2.317 * [taylor]: Taking taylor expansion of (pow l 5) in K
2.317 * [taylor]: Taking taylor expansion of l in K
2.317 * [taylor]: Taking taylor expansion of (* 2 l) in K
2.317 * [taylor]: Taking taylor expansion of 2 in K
2.317 * [taylor]: Taking taylor expansion of l in K
2.317 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))))) in l
2.317 * [taylor]: Taking taylor expansion of J in l
2.317 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) in l
2.317 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
2.317 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
2.317 * [taylor]: Taking taylor expansion of 0.5 in l
2.317 * [taylor]: Taking taylor expansion of K in l
2.317 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) in l
2.317 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in l
2.317 * [taylor]: Taking taylor expansion of 1/3 in l
2.317 * [taylor]: Taking taylor expansion of (pow l 3) in l
2.317 * [taylor]: Taking taylor expansion of l in l
2.317 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow l 5)) (* 2 l)) in l
2.317 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in l
2.317 * [taylor]: Taking taylor expansion of 1/60 in l
2.317 * [taylor]: Taking taylor expansion of (pow l 5) in l
2.317 * [taylor]: Taking taylor expansion of l in l
2.317 * [taylor]: Taking taylor expansion of (* 2 l) in l
2.317 * [taylor]: Taking taylor expansion of 2 in l
2.317 * [taylor]: Taking taylor expansion of l in l
2.317 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))))) in J
2.317 * [taylor]: Taking taylor expansion of J in J
2.317 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) in J
2.317 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
2.317 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
2.317 * [taylor]: Taking taylor expansion of 0.5 in J
2.317 * [taylor]: Taking taylor expansion of K in J
2.317 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) in J
2.318 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in J
2.318 * [taylor]: Taking taylor expansion of 1/3 in J
2.318 * [taylor]: Taking taylor expansion of (pow l 3) in J
2.318 * [taylor]: Taking taylor expansion of l in J
2.318 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow l 5)) (* 2 l)) in J
2.318 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in J
2.318 * [taylor]: Taking taylor expansion of 1/60 in J
2.318 * [taylor]: Taking taylor expansion of (pow l 5) in J
2.318 * [taylor]: Taking taylor expansion of l in J
2.318 * [taylor]: Taking taylor expansion of (* 2 l) in J
2.318 * [taylor]: Taking taylor expansion of 2 in J
2.318 * [taylor]: Taking taylor expansion of l in J
2.318 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))))) in J
2.318 * [taylor]: Taking taylor expansion of J in J
2.318 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) in J
2.318 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
2.318 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
2.318 * [taylor]: Taking taylor expansion of 0.5 in J
2.318 * [taylor]: Taking taylor expansion of K in J
2.318 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) in J
2.318 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in J
2.318 * [taylor]: Taking taylor expansion of 1/3 in J
2.318 * [taylor]: Taking taylor expansion of (pow l 3) in J
2.318 * [taylor]: Taking taylor expansion of l in J
2.318 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow l 5)) (* 2 l)) in J
2.318 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in J
2.318 * [taylor]: Taking taylor expansion of 1/60 in J
2.318 * [taylor]: Taking taylor expansion of (pow l 5) in J
2.318 * [taylor]: Taking taylor expansion of l in J
2.318 * [taylor]: Taking taylor expansion of (* 2 l) in J
2.318 * [taylor]: Taking taylor expansion of 2 in J
2.318 * [taylor]: Taking taylor expansion of l in J
2.320 * [taylor]: Taking taylor expansion of 0 in l
2.320 * [taylor]: Taking taylor expansion of 0 in K
2.325 * [taylor]: Taking taylor expansion of (+ (* 2 (* (cos (* 0.5 K)) l)) (+ (* 1/3 (* (cos (* 0.5 K)) (pow l 3))) (* 1/60 (* (cos (* 0.5 K)) (pow l 5))))) in l
2.325 * [taylor]: Taking taylor expansion of (* 2 (* (cos (* 0.5 K)) l)) in l
2.325 * [taylor]: Taking taylor expansion of 2 in l
2.325 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l
2.325 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
2.325 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
2.325 * [taylor]: Taking taylor expansion of 0.5 in l
2.325 * [taylor]: Taking taylor expansion of K in l
2.325 * [taylor]: Taking taylor expansion of l in l
2.325 * [taylor]: Taking taylor expansion of (+ (* 1/3 (* (cos (* 0.5 K)) (pow l 3))) (* 1/60 (* (cos (* 0.5 K)) (pow l 5)))) in l
2.325 * [taylor]: Taking taylor expansion of (* 1/3 (* (cos (* 0.5 K)) (pow l 3))) in l
2.325 * [taylor]: Taking taylor expansion of 1/3 in l
2.325 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (pow l 3)) in l
2.325 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
2.325 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
2.325 * [taylor]: Taking taylor expansion of 0.5 in l
2.325 * [taylor]: Taking taylor expansion of K in l
2.325 * [taylor]: Taking taylor expansion of (pow l 3) in l
2.325 * [taylor]: Taking taylor expansion of l in l
2.325 * [taylor]: Taking taylor expansion of (* 1/60 (* (cos (* 0.5 K)) (pow l 5))) in l
2.325 * [taylor]: Taking taylor expansion of 1/60 in l
2.325 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (pow l 5)) in l
2.325 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
2.325 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
2.325 * [taylor]: Taking taylor expansion of 0.5 in l
2.325 * [taylor]: Taking taylor expansion of K in l
2.325 * [taylor]: Taking taylor expansion of (pow l 5) in l
2.325 * [taylor]: Taking taylor expansion of l in l
2.326 * [taylor]: Taking taylor expansion of 0 in K
2.326 * [taylor]: Taking taylor expansion of 0 in K
2.334 * [taylor]: Taking taylor expansion of 0 in l
2.334 * [taylor]: Taking taylor expansion of 0 in K
2.337 * [taylor]: Taking taylor expansion of (* 2 (cos (* 0.5 K))) in K
2.337 * [taylor]: Taking taylor expansion of 2 in K
2.337 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
2.337 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
2.337 * [taylor]: Taking taylor expansion of 0.5 in K
2.337 * [taylor]: Taking taylor expansion of K in K
2.339 * [taylor]: Taking taylor expansion of 0 in K
2.350 * [taylor]: Taking taylor expansion of 0 in l
2.350 * [taylor]: Taking taylor expansion of 0 in K
2.350 * [taylor]: Taking taylor expansion of 0 in K
2.350 * [approximate]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))))) J) in (J l K) around 0
2.350 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))))) J) in K
2.350 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))))) in K
2.350 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
2.350 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
2.350 * [taylor]: Taking taylor expansion of 0.5 in K
2.350 * [taylor]: Taking taylor expansion of K in K
2.351 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in K
2.351 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in K
2.351 * [taylor]: Taking taylor expansion of 1/60 in K
2.351 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in K
2.351 * [taylor]: Taking taylor expansion of (pow l 5) in K
2.351 * [taylor]: Taking taylor expansion of l in K
2.351 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in K
2.351 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in K
2.351 * [taylor]: Taking taylor expansion of 2 in K
2.351 * [taylor]: Taking taylor expansion of (/ 1 l) in K
2.351 * [taylor]: Taking taylor expansion of l in K
2.351 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in K
2.351 * [taylor]: Taking taylor expansion of 1/3 in K
2.351 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in K
2.351 * [taylor]: Taking taylor expansion of (pow l 3) in K
2.351 * [taylor]: Taking taylor expansion of l in K
2.351 * [taylor]: Taking taylor expansion of J in K
2.352 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))))) J) in l
2.353 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))))) in l
2.353 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
2.353 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
2.353 * [taylor]: Taking taylor expansion of 0.5 in l
2.353 * [taylor]: Taking taylor expansion of K in l
2.353 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
2.353 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
2.353 * [taylor]: Taking taylor expansion of 1/60 in l
2.353 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
2.353 * [taylor]: Taking taylor expansion of (pow l 5) in l
2.353 * [taylor]: Taking taylor expansion of l in l
2.354 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
2.354 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
2.354 * [taylor]: Taking taylor expansion of 2 in l
2.354 * [taylor]: Taking taylor expansion of (/ 1 l) in l
2.354 * [taylor]: Taking taylor expansion of l in l
2.354 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
2.354 * [taylor]: Taking taylor expansion of 1/3 in l
2.354 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
2.354 * [taylor]: Taking taylor expansion of (pow l 3) in l
2.354 * [taylor]: Taking taylor expansion of l in l
2.355 * [taylor]: Taking taylor expansion of J in l
2.356 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))))) J) in J
2.356 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))))) in J
2.356 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
2.356 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
2.356 * [taylor]: Taking taylor expansion of 0.5 in J
2.356 * [taylor]: Taking taylor expansion of K in J
2.356 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in J
2.356 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in J
2.356 * [taylor]: Taking taylor expansion of 1/60 in J
2.356 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in J
2.356 * [taylor]: Taking taylor expansion of (pow l 5) in J
2.356 * [taylor]: Taking taylor expansion of l in J
2.356 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in J
2.357 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in J
2.357 * [taylor]: Taking taylor expansion of 2 in J
2.357 * [taylor]: Taking taylor expansion of (/ 1 l) in J
2.357 * [taylor]: Taking taylor expansion of l in J
2.357 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in J
2.357 * [taylor]: Taking taylor expansion of 1/3 in J
2.357 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in J
2.357 * [taylor]: Taking taylor expansion of (pow l 3) in J
2.357 * [taylor]: Taking taylor expansion of l in J
2.357 * [taylor]: Taking taylor expansion of J in J
2.358 * [taylor]: Taking taylor expansion of (/ (* (cos (/ 0.5 K)) (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))))) J) in J
2.358 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))))) in J
2.358 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
2.358 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
2.358 * [taylor]: Taking taylor expansion of 0.5 in J
2.358 * [taylor]: Taking taylor expansion of K in J
2.358 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in J
2.358 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in J
2.359 * [taylor]: Taking taylor expansion of 1/60 in J
2.359 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in J
2.359 * [taylor]: Taking taylor expansion of (pow l 5) in J
2.359 * [taylor]: Taking taylor expansion of l in J
2.359 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in J
2.359 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in J
2.359 * [taylor]: Taking taylor expansion of 2 in J
2.359 * [taylor]: Taking taylor expansion of (/ 1 l) in J
2.359 * [taylor]: Taking taylor expansion of l in J
2.359 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in J
2.359 * [taylor]: Taking taylor expansion of 1/3 in J
2.359 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in J
2.359 * [taylor]: Taking taylor expansion of (pow l 3) in J
2.359 * [taylor]: Taking taylor expansion of l in J
2.359 * [taylor]: Taking taylor expansion of J in J
2.361 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))))) in l
2.361 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
2.361 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
2.361 * [taylor]: Taking taylor expansion of 0.5 in l
2.361 * [taylor]: Taking taylor expansion of K in l
2.361 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
2.361 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
2.361 * [taylor]: Taking taylor expansion of 1/60 in l
2.361 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
2.361 * [taylor]: Taking taylor expansion of (pow l 5) in l
2.361 * [taylor]: Taking taylor expansion of l in l
2.362 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
2.362 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
2.362 * [taylor]: Taking taylor expansion of 2 in l
2.362 * [taylor]: Taking taylor expansion of (/ 1 l) in l
2.362 * [taylor]: Taking taylor expansion of l in l
2.362 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
2.362 * [taylor]: Taking taylor expansion of 1/3 in l
2.362 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
2.362 * [taylor]: Taking taylor expansion of (pow l 3) in l
2.362 * [taylor]: Taking taylor expansion of l in l
2.364 * [taylor]: Taking taylor expansion of (* 1/60 (cos (/ 0.5 K))) in K
2.364 * [taylor]: Taking taylor expansion of 1/60 in K
2.364 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
2.364 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
2.364 * [taylor]: Taking taylor expansion of 0.5 in K
2.364 * [taylor]: Taking taylor expansion of K in K
2.374 * [taylor]: Taking taylor expansion of 0 in l
2.379 * [taylor]: Taking taylor expansion of 0 in K
2.388 * [taylor]: Taking taylor expansion of 0 in l
2.394 * [taylor]: Taking taylor expansion of (* 1/3 (cos (/ 0.5 K))) in K
2.394 * [taylor]: Taking taylor expansion of 1/3 in K
2.394 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
2.394 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
2.394 * [taylor]: Taking taylor expansion of 0.5 in K
2.394 * [taylor]: Taking taylor expansion of K in K
2.407 * [taylor]: Taking taylor expansion of 0 in l
2.415 * [taylor]: Taking taylor expansion of 0 in K
2.417 * [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
2.417 * [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
2.417 * [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
2.417 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in K
2.417 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in K
2.417 * [taylor]: Taking taylor expansion of 1/60 in K
2.417 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in K
2.417 * [taylor]: Taking taylor expansion of (pow l 5) in K
2.417 * [taylor]: Taking taylor expansion of l in K
2.417 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in K
2.417 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in K
2.417 * [taylor]: Taking taylor expansion of 2 in K
2.417 * [taylor]: Taking taylor expansion of (/ 1 l) in K
2.417 * [taylor]: Taking taylor expansion of l in K
2.418 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in K
2.418 * [taylor]: Taking taylor expansion of 1/3 in K
2.418 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in K
2.418 * [taylor]: Taking taylor expansion of (pow l 3) in K
2.418 * [taylor]: Taking taylor expansion of l in K
2.418 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
2.418 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
2.418 * [taylor]: Taking taylor expansion of -0.5 in K
2.418 * [taylor]: Taking taylor expansion of K in K
2.418 * [taylor]: Taking taylor expansion of J in K
2.419 * [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
2.419 * [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
2.419 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
2.419 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
2.419 * [taylor]: Taking taylor expansion of 1/60 in l
2.419 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
2.419 * [taylor]: Taking taylor expansion of (pow l 5) in l
2.419 * [taylor]: Taking taylor expansion of l in l
2.420 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
2.420 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
2.420 * [taylor]: Taking taylor expansion of 2 in l
2.420 * [taylor]: Taking taylor expansion of (/ 1 l) in l
2.420 * [taylor]: Taking taylor expansion of l in l
2.421 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
2.421 * [taylor]: Taking taylor expansion of 1/3 in l
2.421 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
2.421 * [taylor]: Taking taylor expansion of (pow l 3) in l
2.421 * [taylor]: Taking taylor expansion of l in l
2.422 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
2.422 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
2.422 * [taylor]: Taking taylor expansion of -0.5 in l
2.422 * [taylor]: Taking taylor expansion of K in l
2.422 * [taylor]: Taking taylor expansion of J in l
2.423 * [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
2.423 * [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
2.423 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in J
2.423 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in J
2.423 * [taylor]: Taking taylor expansion of 1/60 in J
2.423 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in J
2.423 * [taylor]: Taking taylor expansion of (pow l 5) in J
2.423 * [taylor]: Taking taylor expansion of l in J
2.423 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in J
2.423 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in J
2.423 * [taylor]: Taking taylor expansion of 2 in J
2.423 * [taylor]: Taking taylor expansion of (/ 1 l) in J
2.423 * [taylor]: Taking taylor expansion of l in J
2.423 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in J
2.423 * [taylor]: Taking taylor expansion of 1/3 in J
2.423 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in J
2.423 * [taylor]: Taking taylor expansion of (pow l 3) in J
2.423 * [taylor]: Taking taylor expansion of l in J
2.423 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
2.423 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
2.424 * [taylor]: Taking taylor expansion of -0.5 in J
2.424 * [taylor]: Taking taylor expansion of K in J
2.424 * [taylor]: Taking taylor expansion of J in J
2.425 * [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
2.425 * [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
2.425 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in J
2.425 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in J
2.425 * [taylor]: Taking taylor expansion of 1/60 in J
2.425 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in J
2.425 * [taylor]: Taking taylor expansion of (pow l 5) in J
2.425 * [taylor]: Taking taylor expansion of l in J
2.425 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in J
2.425 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in J
2.425 * [taylor]: Taking taylor expansion of 2 in J
2.426 * [taylor]: Taking taylor expansion of (/ 1 l) in J
2.426 * [taylor]: Taking taylor expansion of l in J
2.426 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in J
2.426 * [taylor]: Taking taylor expansion of 1/3 in J
2.426 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in J
2.426 * [taylor]: Taking taylor expansion of (pow l 3) in J
2.426 * [taylor]: Taking taylor expansion of l in J
2.426 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
2.426 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
2.426 * [taylor]: Taking taylor expansion of -0.5 in J
2.426 * [taylor]: Taking taylor expansion of K in J
2.426 * [taylor]: Taking taylor expansion of J in J
2.427 * [taylor]: Taking taylor expansion of (* (cos (/ -0.5 K)) (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))))) in l
2.427 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
2.427 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
2.427 * [taylor]: Taking taylor expansion of -0.5 in l
2.428 * [taylor]: Taking taylor expansion of K in l
2.428 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
2.428 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
2.428 * [taylor]: Taking taylor expansion of 1/60 in l
2.428 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
2.428 * [taylor]: Taking taylor expansion of (pow l 5) in l
2.428 * [taylor]: Taking taylor expansion of l in l
2.429 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
2.429 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
2.429 * [taylor]: Taking taylor expansion of 2 in l
2.429 * [taylor]: Taking taylor expansion of (/ 1 l) in l
2.429 * [taylor]: Taking taylor expansion of l in l
2.429 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
2.429 * [taylor]: Taking taylor expansion of 1/3 in l
2.429 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
2.429 * [taylor]: Taking taylor expansion of (pow l 3) in l
2.429 * [taylor]: Taking taylor expansion of l in l
2.431 * [taylor]: Taking taylor expansion of (* 1/60 (cos (/ -0.5 K))) in K
2.431 * [taylor]: Taking taylor expansion of 1/60 in K
2.431 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
2.431 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
2.431 * [taylor]: Taking taylor expansion of -0.5 in K
2.431 * [taylor]: Taking taylor expansion of K in K
2.437 * [taylor]: Taking taylor expansion of 0 in l
2.441 * [taylor]: Taking taylor expansion of 0 in K
2.450 * [taylor]: Taking taylor expansion of 0 in l
2.456 * [taylor]: Taking taylor expansion of (* 1/3 (cos (/ -0.5 K))) in K
2.456 * [taylor]: Taking taylor expansion of 1/3 in K
2.456 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
2.456 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
2.456 * [taylor]: Taking taylor expansion of -0.5 in K
2.456 * [taylor]: Taking taylor expansion of K in K
2.473 * [taylor]: Taking taylor expansion of 0 in l
2.482 * [taylor]: Taking taylor expansion of 0 in K
2.483 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1)
2.484 * [approximate]: Taking taylor expansion of (* 1/3 (pow l 3)) in (l) around 0
2.484 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in l
2.484 * [taylor]: Taking taylor expansion of 1/3 in l
2.484 * [taylor]: Taking taylor expansion of (pow l 3) in l
2.484 * [taylor]: Taking taylor expansion of l in l
2.484 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in l
2.484 * [taylor]: Taking taylor expansion of 1/3 in l
2.484 * [taylor]: Taking taylor expansion of (pow l 3) in l
2.484 * [taylor]: Taking taylor expansion of l in l
2.496 * [approximate]: Taking taylor expansion of (/ 1/3 (pow l 3)) in (l) around 0
2.496 * [taylor]: Taking taylor expansion of (/ 1/3 (pow l 3)) in l
2.496 * [taylor]: Taking taylor expansion of 1/3 in l
2.496 * [taylor]: Taking taylor expansion of (pow l 3) in l
2.496 * [taylor]: Taking taylor expansion of l in l
2.496 * [taylor]: Taking taylor expansion of (/ 1/3 (pow l 3)) in l
2.497 * [taylor]: Taking taylor expansion of 1/3 in l
2.497 * [taylor]: Taking taylor expansion of (pow l 3) in l
2.497 * [taylor]: Taking taylor expansion of l in l
2.508 * [approximate]: Taking taylor expansion of (/ -1/3 (pow l 3)) in (l) around 0
2.508 * [taylor]: Taking taylor expansion of (/ -1/3 (pow l 3)) in l
2.508 * [taylor]: Taking taylor expansion of -1/3 in l
2.508 * [taylor]: Taking taylor expansion of (pow l 3) in l
2.508 * [taylor]: Taking taylor expansion of l in l
2.509 * [taylor]: Taking taylor expansion of (/ -1/3 (pow l 3)) in l
2.509 * [taylor]: Taking taylor expansion of -1/3 in l
2.509 * [taylor]: Taking taylor expansion of (pow l 3) in l
2.509 * [taylor]: Taking taylor expansion of l in l
2.520 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 2 1)
2.520 * [approximate]: Taking taylor expansion of (* 1/60 (pow l 5)) in (l) around 0
2.520 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in l
2.520 * [taylor]: Taking taylor expansion of 1/60 in l
2.520 * [taylor]: Taking taylor expansion of (pow l 5) in l
2.520 * [taylor]: Taking taylor expansion of l in l
2.520 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in l
2.520 * [taylor]: Taking taylor expansion of 1/60 in l
2.520 * [taylor]: Taking taylor expansion of (pow l 5) in l
2.520 * [taylor]: Taking taylor expansion of l in l
2.536 * [approximate]: Taking taylor expansion of (/ 1/60 (pow l 5)) in (l) around 0
2.536 * [taylor]: Taking taylor expansion of (/ 1/60 (pow l 5)) in l
2.536 * [taylor]: Taking taylor expansion of 1/60 in l
2.536 * [taylor]: Taking taylor expansion of (pow l 5) in l
2.536 * [taylor]: Taking taylor expansion of l in l
2.537 * [taylor]: Taking taylor expansion of (/ 1/60 (pow l 5)) in l
2.537 * [taylor]: Taking taylor expansion of 1/60 in l
2.537 * [taylor]: Taking taylor expansion of (pow l 5) in l
2.537 * [taylor]: Taking taylor expansion of l in l
2.556 * [approximate]: Taking taylor expansion of (/ -1/60 (pow l 5)) in (l) around 0
2.557 * [taylor]: Taking taylor expansion of (/ -1/60 (pow l 5)) in l
2.557 * [taylor]: Taking taylor expansion of -1/60 in l
2.557 * [taylor]: Taking taylor expansion of (pow l 5) in l
2.557 * [taylor]: Taking taylor expansion of l in l
2.558 * [taylor]: Taking taylor expansion of (/ -1/60 (pow l 5)) in l
2.558 * [taylor]: Taking taylor expansion of -1/60 in l
2.558 * [taylor]: Taking taylor expansion of (pow l 5) in l
2.558 * [taylor]: Taking taylor expansion of l in l
2.572 * * * [progress]: simplifying candidates
2.574 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))
  (+ (log (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (log (cos (/ K 2.0))))
  (log (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))
  (exp (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))
  (* (* (* (+ (* 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)))) (* (* (cos (/ K 2.0)) (cos (/ K 2.0))) (cos (/ K 2.0))))
  (* (cbrt (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))) (cbrt (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))))
  (cbrt (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))
  (* (* (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))) (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))) (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))
  (sqrt (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))
  (sqrt (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))
  (* (sqrt (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (sqrt (cos (/ K 2.0))))
  (* (sqrt (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (sqrt (cos (/ K 2.0))))
  (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0)))))
  (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (sqrt (cos (/ K 2.0))))
  (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) 1)
  (* (cbrt (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0)))
  (* (sqrt (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0)))
  (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))
  (* (+ (pow (* 1/3 (pow l 3)) 3) (pow (+ (* 1/60 (pow l 5)) (* 2 l)) 3)) (cos (/ K 2.0)))
  (* (- (* (* 1/3 (pow l 3)) (* 1/3 (pow l 3))) (* (+ (* 1/60 (pow l 5)) (* 2 l)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0)))
  (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))
  (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))
  (+ (log J) (+ (log (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (log (cos (/ K 2.0)))))
  (+ (log J) (log (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))))
  (log (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))))
  (exp (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))))
  (* (* (* J J) J) (* (* (* (+ (* 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)))) (* (* (cos (/ K 2.0)) (cos (/ K 2.0))) (cos (/ K 2.0)))))
  (* (* (* J J) J) (* (* (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))) (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))) (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))))
  (* (cbrt (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))) (cbrt (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))))
  (cbrt (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))))
  (* (* (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))) (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))) (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))))
  (sqrt (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))))
  (sqrt (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))))
  (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))))
  (* (cbrt J) (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))
  (* (sqrt J) (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))
  (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))
  (* J (* (+ (pow (* 1/3 (pow l 3)) 3) (pow (+ (* 1/60 (pow l 5)) (* 2 l)) 3)) (cos (/ K 2.0))))
  (* J (* (- (* (* 1/3 (pow l 3)) (* 1/3 (pow l 3))) (* (+ (* 1/60 (pow l 5)) (* 2 l)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (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))
  (- (+ (* 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/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 (* J (* (cos (* 0.5 K)) (pow l 3)))))
  (* 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))
2.581 * * [simplify]: iteration  0 :  444  enodes  (cost  856 )
2.590 * * [simplify]: iteration  1 :  2079  enodes  (cost  731 )
2.633 * * [simplify]: iteration  2 :  5001  enodes  (cost  731 )
2.637 * [simplify]: Simplified to:
   (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))
  (log (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))
  (log (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))
  (exp (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))
  (pow (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))) 3)
  (* (cbrt (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))) (cbrt (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))))
  (cbrt (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))
  (pow (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))) 3)
  (sqrt (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))
  (sqrt (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))
  (* (sqrt (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (sqrt (cos (/ K 2.0))))
  (* (sqrt (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (sqrt (cos (/ K 2.0))))
  (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0)))))
  (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (sqrt (cos (/ K 2.0))))
  (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))
  (* (cbrt (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0)))
  (* (sqrt (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0)))
  (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))
  (* (+ (pow (* 1/3 (pow l 3)) 3) (pow (+ (* 1/60 (pow l 5)) (* 2 l)) 3)) (cos (/ K 2.0)))
  (* (- (* (* 1/3 (pow l 3)) (* 1/3 (pow l 3))) (* (+ (* 1/60 (pow l 5)) (* 2 l)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (cos (/ K 2.0)))
  (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))
  (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))
  (log (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))))
  (log (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))))
  (log (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))))
  (exp (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))))
  (pow (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))) 3)
  (pow (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))) 3)
  (* (cbrt (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))) (cbrt (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))))
  (cbrt (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))))
  (pow (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))) 3)
  (sqrt (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))))
  (sqrt (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))))
  (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))))
  (* (cbrt J) (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))
  (* (sqrt J) (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))
  (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))
  (* J (* (+ (pow (* 1/3 (pow l 3)) 3) (pow (+ (* 1/60 (pow l 5)) (* 2 l)) 3)) (cos (/ K 2.0))))
  (* (cos (/ K 2.0)) (+ (* J (* (pow l 6) 1/9)) (* J (- (* (+ (* 1/60 (pow l 5)) (* 2 l)) (+ (* 1/60 (pow l 5)) (* 2 l)))))))
  (log (* 1/3 (pow l 3)))
  (log (* 1/3 (pow l 3)))
  (log (* 1/3 (pow l 3)))
  (log (* 1/3 (pow l 3)))
  (exp (* 1/3 (pow l 3)))
  (pow (* 1/3 (pow l 3)) 3)
  (* (cbrt (* 1/3 (pow l 3))) (cbrt (* 1/3 (pow l 3))))
  (cbrt (* 1/3 (pow l 3)))
  (pow (* 1/3 (pow l 3)) 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 l) l)
  (* 1/3 (pow (sqrt l) 3))
  1/3
  (* (* 1/3 l) l)
  (* (* 1/3 l) l)
  (* (* 1/3 l) l)
  (* 1/3 (pow (sqrt l) 3))
  1/3
  (* 1/3 l)
  (* 1/3 (sqrt (pow l 3)))
  1/3
  (* 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 (pow l 5)))
  (log (* 1/60 (pow l 5)))
  (log (* 1/60 (pow l 5)))
  (log (* 1/60 (pow l 5)))
  (exp (* 1/60 (pow l 5)))
  (pow (* 1/60 (pow l 5)) 3)
  (* (cbrt (* 1/60 (pow l 5))) (cbrt (* 1/60 (pow l 5))))
  (cbrt (* 1/60 (pow l 5)))
  (pow (* 1/60 (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))
  (* (cbrt 1/60) (pow l 5))
  (* (sqrt 1/60) (pow l 5))
  (* 1/60 (pow l 5))
  (+ (* l (- 2 (* 0.25 (pow K 2)))) (* 1/3 (pow l 3)))
  (+ (* 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/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 (* J (* (cos (* 0.5 K)) (pow l 3)))))
  (* 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))
2.637 * * * [progress]: adding candidates to table
3.008 * * [progress]: iteration 4 / 4
3.008 * * * [progress]: picking best candidate
3.048 * * * * [pick]: Picked  #<alt (λ (J l K U) (+ (* (* J (+ (* 1/3 (pow l 3)) (+ (* (* 1/60 (pow (* (cbrt l) (cbrt l)) 5)) (pow (cbrt l) 5)) (* 2 l)))) (cos (/ K 2.0))) U))>
3.049 * * * [progress]: localizing error
3.073 * * * [progress]: generating rewritten candidates
3.073 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 1 2 1)
3.073 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2 1 1 2 1 2)
3.074 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2 1 1 2 1 1)
3.074 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2 1 2)
3.077 * * * [progress]: generating series expansions
3.077 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 1 2 1)
3.077 * [approximate]: Taking taylor expansion of (pow l 1/3) in (l) around 0
3.077 * [taylor]: Taking taylor expansion of (pow l 1/3) in l
3.077 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log l))) in l
3.077 * [taylor]: Taking taylor expansion of (* 1/3 (log l)) in l
3.077 * [taylor]: Taking taylor expansion of 1/3 in l
3.077 * [taylor]: Taking taylor expansion of (log l) in l
3.077 * [taylor]: Taking taylor expansion of l in l
3.078 * [taylor]: Taking taylor expansion of (pow l 1/3) in l
3.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log l))) in l
3.078 * [taylor]: Taking taylor expansion of (* 1/3 (log l)) in l
3.078 * [taylor]: Taking taylor expansion of 1/3 in l
3.078 * [taylor]: Taking taylor expansion of (log l) in l
3.078 * [taylor]: Taking taylor expansion of l in l
3.132 * [approximate]: Taking taylor expansion of (pow (/ 1 l) 1/3) in (l) around 0
3.132 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
3.132 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
3.132 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
3.132 * [taylor]: Taking taylor expansion of 1/3 in l
3.132 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
3.132 * [taylor]: Taking taylor expansion of (/ 1 l) in l
3.132 * [taylor]: Taking taylor expansion of l in l
3.133 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
3.133 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
3.133 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
3.133 * [taylor]: Taking taylor expansion of 1/3 in l
3.133 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
3.133 * [taylor]: Taking taylor expansion of (/ 1 l) in l
3.133 * [taylor]: Taking taylor expansion of l in l
3.190 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in (l) around 0
3.191 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in l
3.191 * [taylor]: Taking taylor expansion of (cbrt -1) in l
3.191 * [taylor]: Taking taylor expansion of -1 in l
3.192 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
3.192 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
3.192 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
3.192 * [taylor]: Taking taylor expansion of 1/3 in l
3.192 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
3.192 * [taylor]: Taking taylor expansion of (/ 1 l) in l
3.192 * [taylor]: Taking taylor expansion of l in l
3.193 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in l
3.193 * [taylor]: Taking taylor expansion of (cbrt -1) in l
3.193 * [taylor]: Taking taylor expansion of -1 in l
3.194 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
3.194 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
3.194 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
3.194 * [taylor]: Taking taylor expansion of 1/3 in l
3.194 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
3.194 * [taylor]: Taking taylor expansion of (/ 1 l) in l
3.194 * [taylor]: Taking taylor expansion of l in l
3.257 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2 1 1 2 1 2)
3.258 * [approximate]: Taking taylor expansion of (pow l 1/3) in (l) around 0
3.258 * [taylor]: Taking taylor expansion of (pow l 1/3) in l
3.258 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log l))) in l
3.258 * [taylor]: Taking taylor expansion of (* 1/3 (log l)) in l
3.258 * [taylor]: Taking taylor expansion of 1/3 in l
3.258 * [taylor]: Taking taylor expansion of (log l) in l
3.258 * [taylor]: Taking taylor expansion of l in l
3.258 * [taylor]: Taking taylor expansion of (pow l 1/3) in l
3.258 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log l))) in l
3.258 * [taylor]: Taking taylor expansion of (* 1/3 (log l)) in l
3.258 * [taylor]: Taking taylor expansion of 1/3 in l
3.258 * [taylor]: Taking taylor expansion of (log l) in l
3.258 * [taylor]: Taking taylor expansion of l in l
3.313 * [approximate]: Taking taylor expansion of (pow (/ 1 l) 1/3) in (l) around 0
3.313 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
3.313 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
3.314 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
3.314 * [taylor]: Taking taylor expansion of 1/3 in l
3.314 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
3.314 * [taylor]: Taking taylor expansion of (/ 1 l) in l
3.314 * [taylor]: Taking taylor expansion of l in l
3.314 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
3.314 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
3.315 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
3.315 * [taylor]: Taking taylor expansion of 1/3 in l
3.315 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
3.315 * [taylor]: Taking taylor expansion of (/ 1 l) in l
3.315 * [taylor]: Taking taylor expansion of l in l
3.373 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in (l) around 0
3.373 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in l
3.373 * [taylor]: Taking taylor expansion of (cbrt -1) in l
3.373 * [taylor]: Taking taylor expansion of -1 in l
3.374 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
3.374 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
3.374 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
3.374 * [taylor]: Taking taylor expansion of 1/3 in l
3.374 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
3.374 * [taylor]: Taking taylor expansion of (/ 1 l) in l
3.374 * [taylor]: Taking taylor expansion of l in l
3.375 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in l
3.375 * [taylor]: Taking taylor expansion of (cbrt -1) in l
3.375 * [taylor]: Taking taylor expansion of -1 in l
3.376 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
3.376 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
3.376 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
3.376 * [taylor]: Taking taylor expansion of 1/3 in l
3.376 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
3.376 * [taylor]: Taking taylor expansion of (/ 1 l) in l
3.376 * [taylor]: Taking taylor expansion of l in l
3.445 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 2 1 1 2 1 1)
3.445 * [approximate]: Taking taylor expansion of (pow l 1/3) in (l) around 0
3.445 * [taylor]: Taking taylor expansion of (pow l 1/3) in l
3.445 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log l))) in l
3.445 * [taylor]: Taking taylor expansion of (* 1/3 (log l)) in l
3.445 * [taylor]: Taking taylor expansion of 1/3 in l
3.445 * [taylor]: Taking taylor expansion of (log l) in l
3.445 * [taylor]: Taking taylor expansion of l in l
3.445 * [taylor]: Taking taylor expansion of (pow l 1/3) in l
3.445 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log l))) in l
3.445 * [taylor]: Taking taylor expansion of (* 1/3 (log l)) in l
3.445 * [taylor]: Taking taylor expansion of 1/3 in l
3.446 * [taylor]: Taking taylor expansion of (log l) in l
3.446 * [taylor]: Taking taylor expansion of l in l
3.499 * [approximate]: Taking taylor expansion of (pow (/ 1 l) 1/3) in (l) around 0
3.499 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
3.499 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
3.499 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
3.499 * [taylor]: Taking taylor expansion of 1/3 in l
3.499 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
3.499 * [taylor]: Taking taylor expansion of (/ 1 l) in l
3.499 * [taylor]: Taking taylor expansion of l in l
3.500 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
3.500 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
3.500 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
3.500 * [taylor]: Taking taylor expansion of 1/3 in l
3.500 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
3.500 * [taylor]: Taking taylor expansion of (/ 1 l) in l
3.500 * [taylor]: Taking taylor expansion of l in l
3.552 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in (l) around 0
3.552 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in l
3.552 * [taylor]: Taking taylor expansion of (cbrt -1) in l
3.552 * [taylor]: Taking taylor expansion of -1 in l
3.552 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
3.552 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
3.552 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
3.552 * [taylor]: Taking taylor expansion of 1/3 in l
3.552 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
3.553 * [taylor]: Taking taylor expansion of (/ 1 l) in l
3.553 * [taylor]: Taking taylor expansion of l in l
3.553 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in l
3.553 * [taylor]: Taking taylor expansion of (cbrt -1) in l
3.553 * [taylor]: Taking taylor expansion of -1 in l
3.554 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
3.554 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
3.554 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
3.554 * [taylor]: Taking taylor expansion of 1/3 in l
3.554 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
3.554 * [taylor]: Taking taylor expansion of (/ 1 l) in l
3.554 * [taylor]: Taking taylor expansion of l in l
3.622 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2 1 2)
3.622 * [approximate]: Taking taylor expansion of (pow (pow l 1/3) 5) in (l) around 0
3.622 * [taylor]: Taking taylor expansion of (pow (pow l 1/3) 5) in l
3.622 * [taylor]: Taking taylor expansion of (pow l 1/3) in l
3.622 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log l))) in l
3.622 * [taylor]: Taking taylor expansion of (* 1/3 (log l)) in l
3.622 * [taylor]: Taking taylor expansion of 1/3 in l
3.622 * [taylor]: Taking taylor expansion of (log l) in l
3.622 * [taylor]: Taking taylor expansion of l in l
3.623 * [taylor]: Taking taylor expansion of (pow (pow l 1/3) 5) in l
3.623 * [taylor]: Taking taylor expansion of (pow l 1/3) in l
3.623 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log l))) in l
3.623 * [taylor]: Taking taylor expansion of (* 1/3 (log l)) in l
3.623 * [taylor]: Taking taylor expansion of 1/3 in l
3.623 * [taylor]: Taking taylor expansion of (log l) in l
3.623 * [taylor]: Taking taylor expansion of l in l
3.691 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 l) 1/3) 5) in (l) around 0
3.691 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 l) 1/3) 5) in l
3.691 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
3.691 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
3.691 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
3.691 * [taylor]: Taking taylor expansion of 1/3 in l
3.691 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
3.691 * [taylor]: Taking taylor expansion of (/ 1 l) in l
3.691 * [taylor]: Taking taylor expansion of l in l
3.692 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 l) 1/3) 5) in l
3.692 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
3.692 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
3.692 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
3.692 * [taylor]: Taking taylor expansion of 1/3 in l
3.692 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
3.692 * [taylor]: Taking taylor expansion of (/ 1 l) in l
3.692 * [taylor]: Taking taylor expansion of l in l
3.764 * [approximate]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 l) 1/3)) 5) in (l) around 0
3.764 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 l) 1/3)) 5) in l
3.764 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in l
3.764 * [taylor]: Taking taylor expansion of (cbrt -1) in l
3.764 * [taylor]: Taking taylor expansion of -1 in l
3.765 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
3.765 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
3.765 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
3.765 * [taylor]: Taking taylor expansion of 1/3 in l
3.765 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
3.765 * [taylor]: Taking taylor expansion of (/ 1 l) in l
3.765 * [taylor]: Taking taylor expansion of l in l
3.766 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 l) 1/3)) 5) in l
3.766 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in l
3.766 * [taylor]: Taking taylor expansion of (cbrt -1) in l
3.766 * [taylor]: Taking taylor expansion of -1 in l
3.767 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
3.767 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
3.767 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
3.767 * [taylor]: Taking taylor expansion of 1/3 in l
3.767 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
3.767 * [taylor]: Taking taylor expansion of (/ 1 l) in l
3.767 * [taylor]: Taking taylor expansion of l in l
3.872 * * * [progress]: simplifying candidates
3.873 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt l))
  (exp (cbrt l))
  (cbrt (* (cbrt l) (cbrt l)))
  (cbrt (cbrt l))
  (cbrt (sqrt l))
  (cbrt (sqrt l))
  (cbrt 1)
  (cbrt l)
  (* (cbrt (cbrt l)) (cbrt (cbrt l)))
  (cbrt (cbrt l))
  (* (* (cbrt l) (cbrt l)) (cbrt l))
  (sqrt (cbrt l))
  (sqrt (cbrt l))
  (log (cbrt l))
  (exp (cbrt l))
  (cbrt (* (cbrt l) (cbrt l)))
  (cbrt (cbrt l))
  (cbrt (sqrt l))
  (cbrt (sqrt l))
  (cbrt 1)
  (cbrt l)
  (* (cbrt (cbrt l)) (cbrt (cbrt l)))
  (cbrt (cbrt l))
  (* (* (cbrt l) (cbrt l)) (cbrt l))
  (sqrt (cbrt l))
  (sqrt (cbrt l))
  (log (cbrt l))
  (exp (cbrt l))
  (cbrt (* (cbrt l) (cbrt l)))
  (cbrt (cbrt l))
  (cbrt (sqrt l))
  (cbrt (sqrt l))
  (cbrt 1)
  (cbrt l)
  (* (cbrt (cbrt l)) (cbrt (cbrt l)))
  (cbrt (cbrt l))
  (* (* (cbrt l) (cbrt l)) (cbrt l))
  (sqrt (cbrt l))
  (sqrt (cbrt l))
  (* (log (cbrt l)) 5)
  (* (log (cbrt l)) 5)
  (* 1/3 5)
  (* 1 5)
  (pow (cbrt l) (* (cbrt 5) (cbrt 5)))
  (pow (cbrt l) (sqrt 5))
  (pow (cbrt l) 1)
  (pow (cbrt (* (cbrt l) (cbrt l))) 5)
  (pow (cbrt (cbrt l)) 5)
  (pow (cbrt (sqrt l)) 5)
  (pow (cbrt (sqrt l)) 5)
  (pow (cbrt 1) 5)
  (pow (cbrt l) 5)
  (pow (* (cbrt (cbrt l)) (cbrt (cbrt l))) 5)
  (pow (cbrt (cbrt l)) 5)
  (pow (sqrt (cbrt l)) 5)
  (pow (sqrt (cbrt l)) 5)
  (pow 1 5)
  (pow (cbrt l) 5)
  (log (pow (cbrt l) 5))
  (exp (pow (cbrt l) 5))
  (* (cbrt (pow (cbrt l) 5)) (cbrt (pow (cbrt l) 5)))
  (cbrt (pow (cbrt l) 5))
  (* (* (pow (cbrt l) 5) (pow (cbrt l) 5)) (pow (cbrt l) 5))
  (sqrt (pow (cbrt l) 5))
  (sqrt (pow (cbrt l) 5))
  (pow (cbrt l) (/ 5 2))
  (pow (cbrt l) (/ 5 2))
  (pow l 1/3)
  (pow (/ 1 l) -1/3)
  (* (pow (* -1 l) 1/3) (cbrt -1))
  (pow l 1/3)
  (pow (/ 1 l) -1/3)
  (* (pow (* -1 l) 1/3) (cbrt -1))
  (pow l 1/3)
  (pow (/ 1 l) -1/3)
  (* (pow (* -1 l) 1/3) (cbrt -1))
  (pow (pow l 5) 1/3)
  (pow (pow l 5) 1/3)
  (* (pow (* -1 (pow l 5)) 1/3) (pow (cbrt -1) 5))
3.876 * * [simplify]: iteration  0 :  119  enodes  (cost  208 )
3.879 * * [simplify]: iteration  1 :  358  enodes  (cost  197 )
3.886 * * [simplify]: iteration  2 :  1295  enodes  (cost  188 )
3.919 * * [simplify]: iteration  3 :  5002  enodes  (cost  183 )
3.921 * [simplify]: Simplified to:
   (log (cbrt l))
  (exp (cbrt l))
  (cbrt (* (cbrt l) (cbrt l)))
  (cbrt (cbrt l))
  (cbrt (sqrt l))
  (cbrt (sqrt l))
  1
  (pow l 1/3)
  (* (cbrt (cbrt l)) (cbrt (cbrt l)))
  (cbrt (cbrt l))
  l
  (pow (pow l 1/3) 1/2)
  (pow (pow l 1/3) 1/2)
  (log (cbrt l))
  (exp (cbrt l))
  (cbrt (* (cbrt l) (cbrt l)))
  (cbrt (cbrt l))
  (cbrt (sqrt l))
  (cbrt (sqrt l))
  1
  (pow l 1/3)
  (* (cbrt (cbrt l)) (cbrt (cbrt l)))
  (cbrt (cbrt l))
  l
  (pow (pow l 1/3) 1/2)
  (pow (pow l 1/3) 1/2)
  (log (cbrt l))
  (exp (cbrt l))
  (cbrt (* (cbrt l) (cbrt l)))
  (cbrt (cbrt l))
  (cbrt (sqrt l))
  (cbrt (sqrt l))
  1
  (pow l 1/3)
  (* (cbrt (cbrt l)) (cbrt (cbrt l)))
  (cbrt (cbrt l))
  l
  (pow (pow l 1/3) 1/2)
  (pow (pow l 1/3) 1/2)
  (* 5/3 (log l))
  (* 5/3 (log l))
  5/3
  5
  (pow (cbrt l) (* (cbrt 5) (cbrt 5)))
  (pow (cbrt l) (sqrt 5))
  (pow l 1/3)
  (pow (cbrt (* (cbrt l) (cbrt l))) 5)
  (pow (cbrt (cbrt l)) 5)
  (pow (cbrt (sqrt l)) 5)
  (pow (cbrt (sqrt l)) 5)
  1
  (pow (cbrt l) 5)
  (pow (* (cbrt (cbrt l)) (cbrt (cbrt l))) 5)
  (pow (cbrt (cbrt l)) 5)
  (pow (sqrt (cbrt l)) 5)
  (pow (sqrt (cbrt l)) 5)
  1
  (pow (cbrt l) 5)
  (* 5/3 (log l))
  (exp (pow (cbrt l) 5))
  (* (cbrt (pow (cbrt l) 5)) (cbrt (pow (cbrt l) 5)))
  (cbrt (pow (cbrt l) 5))
  (pow (pow (cbrt l) 5) 3)
  (sqrt (pow (cbrt l) 5))
  (sqrt (pow (cbrt l) 5))
  (pow (pow l 1/3) 5/2)
  (pow (pow l 1/3) 5/2)
  (pow l 1/3)
  (pow (/ 1 l) -1/3)
  (* (pow (* -1 l) 1/3) (cbrt -1))
  (pow l 1/3)
  (pow (/ 1 l) -1/3)
  (* (pow (* -1 l) 1/3) (cbrt -1))
  (pow l 1/3)
  (pow (/ 1 l) -1/3)
  (* (pow (* -1 l) 1/3) (cbrt -1))
  (pow (pow l 5) 1/3)
  (pow (pow l 5) 1/3)
  (* (pow (* -1 (pow l 5)) 1/3) (pow (cbrt -1) 5))
3.921 * * * [progress]: adding candidates to table
4.278 * [progress]: [Phase 3 of 3] Extracting.
4.278 * * [regime]: Finding splitpoints for: (#<alt (λ (J l K U) (+ (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))) U))> #<alt (λ (J l K U) (+ (* J (* (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (sqrt (cos (/ K 2.0)))) (sqrt (cos (/ K 2.0))))) U))> #<alt (λ (J l K U) (+ (* J (+ (* l (- 2 (* 0.25 (pow K 2)))) (* 1/3 (pow l 3)))) U))> #<alt (λ (J l K U) (+ (* J (* (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0))))) (cbrt (cos (/ K 2.0))))) U))> #<alt (λ (J l K U) (+ (* J (* (* (cbrt (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))) (cbrt (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))) (cbrt (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* (sqrt (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))) (sqrt (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0))))) (cbrt (cos (/ K 2.0)))) U))> #<alt (λ (J l K U) (+ (* (* J (+ (* 1/3 (pow l 3)) (+ (* (* 1/60 (pow (* (cbrt l) (cbrt l)) 5)) (pow (cbrt l) 5)) (* 2 l)))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (* (* J (/ (+ (exp (+ l l)) (- (exp (+ (- l) (- l))))) (+ (exp l) (exp (- l))))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (/ (* (* J (+ (pow (* 1/3 (pow l 3)) 3) (pow (+ (* 1/60 (pow l 5)) (* 2 l)) 3))) (cos (/ K 2.0))) (+ (* (* 1/3 (pow l 3)) (* 1/3 (pow l 3))) (- (* (+ (* 1/60 (pow l 5)) (* 2 l)) (+ (* 1/60 (pow l 5)) (* 2 l))) (* (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))))) U))>)
4.285 * * * [regime-changes]: Trying 6 branch expressions: ((/ K 2.0) (cos (/ K 2.0)) U K l J)
4.285 * * * * [regimes]: Trying to branch on (/ K 2.0) from (#<alt (λ (J l K U) (+ (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))) U))> #<alt (λ (J l K U) (+ (* J (* (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (sqrt (cos (/ K 2.0)))) (sqrt (cos (/ K 2.0))))) U))> #<alt (λ (J l K U) (+ (* J (+ (* l (- 2 (* 0.25 (pow K 2)))) (* 1/3 (pow l 3)))) U))> #<alt (λ (J l K U) (+ (* J (* (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0))))) (cbrt (cos (/ K 2.0))))) U))> #<alt (λ (J l K U) (+ (* J (* (* (cbrt (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))) (cbrt (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))) (cbrt (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* (sqrt (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))) (sqrt (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0))))) (cbrt (cos (/ K 2.0)))) U))> #<alt (λ (J l K U) (+ (* (* J (+ (* 1/3 (pow l 3)) (+ (* (* 1/60 (pow (* (cbrt l) (cbrt l)) 5)) (pow (cbrt l) 5)) (* 2 l)))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (* (* J (/ (+ (exp (+ l l)) (- (exp (+ (- l) (- l))))) (+ (exp l) (exp (- l))))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (/ (* (* J (+ (pow (* 1/3 (pow l 3)) 3) (pow (+ (* 1/60 (pow l 5)) (* 2 l)) 3))) (cos (/ K 2.0))) (+ (* (* 1/3 (pow l 3)) (* 1/3 (pow l 3))) (- (* (+ (* 1/60 (pow l 5)) (* 2 l)) (+ (* 1/60 (pow l 5)) (* 2 l))) (* (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))))) U))>)
4.342 * * * * [regimes]: Trying to branch on (cos (/ K 2.0)) from (#<alt (λ (J l K U) (+ (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))) U))> #<alt (λ (J l K U) (+ (* J (* (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (sqrt (cos (/ K 2.0)))) (sqrt (cos (/ K 2.0))))) U))> #<alt (λ (J l K U) (+ (* J (+ (* l (- 2 (* 0.25 (pow K 2)))) (* 1/3 (pow l 3)))) U))> #<alt (λ (J l K U) (+ (* J (* (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0))))) (cbrt (cos (/ K 2.0))))) U))> #<alt (λ (J l K U) (+ (* J (* (* (cbrt (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))) (cbrt (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))) (cbrt (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* (sqrt (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))) (sqrt (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0))))) (cbrt (cos (/ K 2.0)))) U))> #<alt (λ (J l K U) (+ (* (* J (+ (* 1/3 (pow l 3)) (+ (* (* 1/60 (pow (* (cbrt l) (cbrt l)) 5)) (pow (cbrt l) 5)) (* 2 l)))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (* (* J (/ (+ (exp (+ l l)) (- (exp (+ (- l) (- l))))) (+ (exp l) (exp (- l))))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (/ (* (* J (+ (pow (* 1/3 (pow l 3)) 3) (pow (+ (* 1/60 (pow l 5)) (* 2 l)) 3))) (cos (/ K 2.0))) (+ (* (* 1/3 (pow l 3)) (* 1/3 (pow l 3))) (- (* (+ (* 1/60 (pow l 5)) (* 2 l)) (+ (* 1/60 (pow l 5)) (* 2 l))) (* (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))))) U))>)
4.402 * * * * [regimes]: Trying to branch on U from (#<alt (λ (J l K U) (+ (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))) U))> #<alt (λ (J l K U) (+ (* J (* (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (sqrt (cos (/ K 2.0)))) (sqrt (cos (/ K 2.0))))) U))> #<alt (λ (J l K U) (+ (* J (+ (* l (- 2 (* 0.25 (pow K 2)))) (* 1/3 (pow l 3)))) U))> #<alt (λ (J l K U) (+ (* J (* (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0))))) (cbrt (cos (/ K 2.0))))) U))> #<alt (λ (J l K U) (+ (* J (* (* (cbrt (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))) (cbrt (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))) (cbrt (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* (sqrt (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))) (sqrt (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0))))) (cbrt (cos (/ K 2.0)))) U))> #<alt (λ (J l K U) (+ (* (* J (+ (* 1/3 (pow l 3)) (+ (* (* 1/60 (pow (* (cbrt l) (cbrt l)) 5)) (pow (cbrt l) 5)) (* 2 l)))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (* (* J (/ (+ (exp (+ l l)) (- (exp (+ (- l) (- l))))) (+ (exp l) (exp (- l))))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (/ (* (* J (+ (pow (* 1/3 (pow l 3)) 3) (pow (+ (* 1/60 (pow l 5)) (* 2 l)) 3))) (cos (/ K 2.0))) (+ (* (* 1/3 (pow l 3)) (* 1/3 (pow l 3))) (- (* (+ (* 1/60 (pow l 5)) (* 2 l)) (+ (* 1/60 (pow l 5)) (* 2 l))) (* (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))))) U))>)
4.462 * * * * [regimes]: Trying to branch on K from (#<alt (λ (J l K U) (+ (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))) U))> #<alt (λ (J l K U) (+ (* J (* (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (sqrt (cos (/ K 2.0)))) (sqrt (cos (/ K 2.0))))) U))> #<alt (λ (J l K U) (+ (* J (+ (* l (- 2 (* 0.25 (pow K 2)))) (* 1/3 (pow l 3)))) U))> #<alt (λ (J l K U) (+ (* J (* (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0))))) (cbrt (cos (/ K 2.0))))) U))> #<alt (λ (J l K U) (+ (* J (* (* (cbrt (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))) (cbrt (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))) (cbrt (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* (sqrt (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))) (sqrt (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0))))) (cbrt (cos (/ K 2.0)))) U))> #<alt (λ (J l K U) (+ (* (* J (+ (* 1/3 (pow l 3)) (+ (* (* 1/60 (pow (* (cbrt l) (cbrt l)) 5)) (pow (cbrt l) 5)) (* 2 l)))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (* (* J (/ (+ (exp (+ l l)) (- (exp (+ (- l) (- l))))) (+ (exp l) (exp (- l))))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (/ (* (* J (+ (pow (* 1/3 (pow l 3)) 3) (pow (+ (* 1/60 (pow l 5)) (* 2 l)) 3))) (cos (/ K 2.0))) (+ (* (* 1/3 (pow l 3)) (* 1/3 (pow l 3))) (- (* (+ (* 1/60 (pow l 5)) (* 2 l)) (+ (* 1/60 (pow l 5)) (* 2 l))) (* (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))))) U))>)
4.519 * * * * [regimes]: Trying to branch on l from (#<alt (λ (J l K U) (+ (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))) U))> #<alt (λ (J l K U) (+ (* J (* (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (sqrt (cos (/ K 2.0)))) (sqrt (cos (/ K 2.0))))) U))> #<alt (λ (J l K U) (+ (* J (+ (* l (- 2 (* 0.25 (pow K 2)))) (* 1/3 (pow l 3)))) U))> #<alt (λ (J l K U) (+ (* J (* (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0))))) (cbrt (cos (/ K 2.0))))) U))> #<alt (λ (J l K U) (+ (* J (* (* (cbrt (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))) (cbrt (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))) (cbrt (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* (sqrt (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))) (sqrt (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0))))) (cbrt (cos (/ K 2.0)))) U))> #<alt (λ (J l K U) (+ (* (* J (+ (* 1/3 (pow l 3)) (+ (* (* 1/60 (pow (* (cbrt l) (cbrt l)) 5)) (pow (cbrt l) 5)) (* 2 l)))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (* (* J (/ (+ (exp (+ l l)) (- (exp (+ (- l) (- l))))) (+ (exp l) (exp (- l))))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (/ (* (* J (+ (pow (* 1/3 (pow l 3)) 3) (pow (+ (* 1/60 (pow l 5)) (* 2 l)) 3))) (cos (/ K 2.0))) (+ (* (* 1/3 (pow l 3)) (* 1/3 (pow l 3))) (- (* (+ (* 1/60 (pow l 5)) (* 2 l)) (+ (* 1/60 (pow l 5)) (* 2 l))) (* (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))))) U))>)
4.576 * * * * [regimes]: Trying to branch on J from (#<alt (λ (J l K U) (+ (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))) U))> #<alt (λ (J l K U) (+ (* J (* (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (sqrt (cos (/ K 2.0)))) (sqrt (cos (/ K 2.0))))) U))> #<alt (λ (J l K U) (+ (* J (+ (* l (- 2 (* 0.25 (pow K 2)))) (* 1/3 (pow l 3)))) U))> #<alt (λ (J l K U) (+ (* J (* (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0))))) (cbrt (cos (/ K 2.0))))) U))> #<alt (λ (J l K U) (+ (* J (* (* (cbrt (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))) (cbrt (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))) (cbrt (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* (sqrt (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0))))) (sqrt (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))))) U))> #<alt (λ (J l K U) (+ (* (* (* J (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) (* (cbrt (cos (/ K 2.0))) (cbrt (cos (/ K 2.0))))) (cbrt (cos (/ K 2.0)))) U))> #<alt (λ (J l K U) (+ (* (* J (+ (* 1/3 (pow l 3)) (+ (* (* 1/60 (pow (* (cbrt l) (cbrt l)) 5)) (pow (cbrt l) 5)) (* 2 l)))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (* (* J (/ (+ (exp (+ l l)) (- (exp (+ (- l) (- l))))) (+ (exp l) (exp (- l))))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (/ (* (* J (+ (pow (* 1/3 (pow l 3)) 3) (pow (+ (* 1/60 (pow l 5)) (* 2 l)) 3))) (cos (/ K 2.0))) (+ (* (* 1/3 (pow l 3)) (* 1/3 (pow l 3))) (- (* (+ (* 1/60 (pow l 5)) (* 2 l)) (+ (* 1/60 (pow l 5)) (* 2 l))) (* (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))))) U))>)
4.636 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
4.636 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))) U)
4.637 * * [simplify]: iteration  0 :  30  enodes  (cost  12 )
4.637 * * [simplify]: iteration  1 :  30  enodes  (cost  12 )
4.637 * [simplify]: Simplified to:
   (+ (* J (* (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) (cos (/ K 2.0)))) U)
8.627 * [regime-testing]: Baseline error score: 0.33190231717957713
8.628 * [regime-testing]: Oracle error score: 0.07388250357299439
8.628 * [regime-testing]: End program error score: 0.33190231717957713