13.361 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.145 * * * [progress]: [2/2] Setting up program.
0.148 * [progress]: [Phase 2 of 3] Improving.
0.149 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))) U)
0.151 * * [simplify]: iteration  0 :  23  enodes  (cost  9 )
0.153 * * [simplify]: iteration  1 :  41  enodes  (cost  9 )
0.154 * * [simplify]: iteration  2 :  83  enodes  (cost  9 )
0.156 * * [simplify]: iteration  3 :  173  enodes  (cost  9 )
0.159 * * [simplify]: iteration  4 :  271  enodes  (cost  9 )
0.162 * * [simplify]: iteration  5 :  533  enodes  (cost  9 )
0.170 * * [simplify]: iteration  6 :  1023  enodes  (cost  9 )
0.178 * * [simplify]: iteration  7 :  1395  enodes  (cost  9 )
0.206 * * [simplify]: iteration  8 :  4369  enodes  (cost  9 )
0.513 * * [simplify]: iteration  9 :  5002  enodes  (cost  9 )
0.516 * [simplify]: Simplified to:
   (+ (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))) U)
0.516 * * [progress]: iteration 1 / 4
0.516 * * * [progress]: picking best candidate
0.519 * * * * [pick]: Picked  #<alt (λ (J l K U) (+ (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))) U))>
0.519 * * * [progress]: localizing error
0.532 * * * [progress]: generating rewritten candidates
0.532 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 2)
0.537 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1)
0.556 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
0.585 * * * [progress]: generating series expansions
0.585 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 2)
0.585 * [approximate]: Taking taylor expansion of (- (exp l) (exp (- l))) in (l) around 0
0.585 * [taylor]: Taking taylor expansion of (- (exp l) (exp (- l))) in l
0.585 * [taylor]: Taking taylor expansion of (exp l) in l
0.585 * [taylor]: Taking taylor expansion of l in l
0.585 * [taylor]: Taking taylor expansion of (exp (- l)) in l
0.585 * [taylor]: Taking taylor expansion of (- l) in l
0.585 * [taylor]: Taking taylor expansion of l in l
0.586 * [taylor]: Taking taylor expansion of (- (exp l) (exp (- l))) in l
0.586 * [taylor]: Taking taylor expansion of (exp l) in l
0.586 * [taylor]: Taking taylor expansion of l in l
0.586 * [taylor]: Taking taylor expansion of (exp (- l)) in l
0.586 * [taylor]: Taking taylor expansion of (- l) in l
0.586 * [taylor]: Taking taylor expansion of l in l
0.610 * [approximate]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in (l) around 0
0.610 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in l
0.610 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.610 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.610 * [taylor]: Taking taylor expansion of l in l
0.611 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in l
0.611 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in l
0.611 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.611 * [taylor]: Taking taylor expansion of l in l
0.611 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in l
0.611 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.611 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.611 * [taylor]: Taking taylor expansion of l in l
0.612 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in l
0.612 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in l
0.612 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.612 * [taylor]: Taking taylor expansion of l in l
0.615 * [approximate]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in (l) around 0
0.615 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l
0.615 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l
0.615 * [taylor]: Taking taylor expansion of (/ -1 l) in l
0.615 * [taylor]: Taking taylor expansion of -1 in l
0.615 * [taylor]: Taking taylor expansion of l in l
0.616 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.616 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.616 * [taylor]: Taking taylor expansion of l in l
0.616 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l
0.616 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l
0.616 * [taylor]: Taking taylor expansion of (/ -1 l) in l
0.616 * [taylor]: Taking taylor expansion of -1 in l
0.616 * [taylor]: Taking taylor expansion of l in l
0.616 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.616 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.616 * [taylor]: Taking taylor expansion of l in l
0.620 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1)
0.620 * [approximate]: Taking taylor expansion of (* J (- (exp l) (exp (- l)))) in (J l) around 0
0.620 * [taylor]: Taking taylor expansion of (* J (- (exp l) (exp (- l)))) in l
0.620 * [taylor]: Taking taylor expansion of J in l
0.620 * [taylor]: Taking taylor expansion of (- (exp l) (exp (- l))) in l
0.620 * [taylor]: Taking taylor expansion of (exp l) in l
0.620 * [taylor]: Taking taylor expansion of l in l
0.620 * [taylor]: Taking taylor expansion of (exp (- l)) in l
0.620 * [taylor]: Taking taylor expansion of (- l) in l
0.620 * [taylor]: Taking taylor expansion of l in l
0.620 * [taylor]: Taking taylor expansion of (* J (- (exp l) (exp (- l)))) in J
0.620 * [taylor]: Taking taylor expansion of J in J
0.620 * [taylor]: Taking taylor expansion of (- (exp l) (exp (- l))) in J
0.620 * [taylor]: Taking taylor expansion of (exp l) in J
0.620 * [taylor]: Taking taylor expansion of l in J
0.620 * [taylor]: Taking taylor expansion of (exp (- l)) in J
0.620 * [taylor]: Taking taylor expansion of (- l) in J
0.620 * [taylor]: Taking taylor expansion of l in J
0.621 * [taylor]: Taking taylor expansion of (* J (- (exp l) (exp (- l)))) in J
0.621 * [taylor]: Taking taylor expansion of J in J
0.621 * [taylor]: Taking taylor expansion of (- (exp l) (exp (- l))) in J
0.621 * [taylor]: Taking taylor expansion of (exp l) in J
0.621 * [taylor]: Taking taylor expansion of l in J
0.621 * [taylor]: Taking taylor expansion of (exp (- l)) in J
0.621 * [taylor]: Taking taylor expansion of (- l) in J
0.621 * [taylor]: Taking taylor expansion of l in J
0.621 * [taylor]: Taking taylor expansion of 0 in l
0.623 * [taylor]: Taking taylor expansion of (- (exp l) (exp (- l))) in l
0.623 * [taylor]: Taking taylor expansion of (exp l) in l
0.623 * [taylor]: Taking taylor expansion of l in l
0.623 * [taylor]: Taking taylor expansion of (exp (- l)) in l
0.623 * [taylor]: Taking taylor expansion of (- l) in l
0.623 * [taylor]: Taking taylor expansion of l in l
0.627 * [taylor]: Taking taylor expansion of 0 in l
0.632 * [taylor]: Taking taylor expansion of 0 in l
0.643 * [taylor]: Taking taylor expansion of 0 in l
0.644 * [approximate]: Taking taylor expansion of (/ (- (exp (/ 1 l)) (exp (- (/ 1 l)))) J) in (J l) around 0
0.644 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 l)) (exp (- (/ 1 l)))) J) in l
0.644 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in l
0.644 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.644 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.644 * [taylor]: Taking taylor expansion of l in l
0.644 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in l
0.644 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in l
0.644 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.644 * [taylor]: Taking taylor expansion of l in l
0.645 * [taylor]: Taking taylor expansion of J in l
0.645 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 l)) (exp (- (/ 1 l)))) J) in J
0.645 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in J
0.645 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J
0.645 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.645 * [taylor]: Taking taylor expansion of l in J
0.645 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in J
0.645 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in J
0.645 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.645 * [taylor]: Taking taylor expansion of l in J
0.645 * [taylor]: Taking taylor expansion of J in J
0.645 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 l)) (exp (- (/ 1 l)))) J) in J
0.645 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in J
0.645 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J
0.645 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.645 * [taylor]: Taking taylor expansion of l in J
0.645 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in J
0.645 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in J
0.645 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.645 * [taylor]: Taking taylor expansion of l in J
0.646 * [taylor]: Taking taylor expansion of J in J
0.646 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in l
0.646 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.646 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.646 * [taylor]: Taking taylor expansion of l in l
0.646 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in l
0.646 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in l
0.646 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.646 * [taylor]: Taking taylor expansion of l in l
0.649 * [taylor]: Taking taylor expansion of 0 in l
0.653 * [taylor]: Taking taylor expansion of 0 in l
0.658 * [taylor]: Taking taylor expansion of 0 in l
0.658 * [approximate]: Taking taylor expansion of (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) in (J l) around 0
0.658 * [taylor]: Taking taylor expansion of (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) in l
0.658 * [taylor]: Taking taylor expansion of -1 in l
0.658 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J) in l
0.658 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l
0.658 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l
0.658 * [taylor]: Taking taylor expansion of (/ -1 l) in l
0.658 * [taylor]: Taking taylor expansion of -1 in l
0.658 * [taylor]: Taking taylor expansion of l in l
0.659 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.659 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.659 * [taylor]: Taking taylor expansion of l in l
0.659 * [taylor]: Taking taylor expansion of J in l
0.659 * [taylor]: Taking taylor expansion of (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) in J
0.659 * [taylor]: Taking taylor expansion of -1 in J
0.659 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J) in J
0.659 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in J
0.659 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in J
0.659 * [taylor]: Taking taylor expansion of (/ -1 l) in J
0.659 * [taylor]: Taking taylor expansion of -1 in J
0.659 * [taylor]: Taking taylor expansion of l in J
0.659 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J
0.659 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.659 * [taylor]: Taking taylor expansion of l in J
0.659 * [taylor]: Taking taylor expansion of J in J
0.660 * [taylor]: Taking taylor expansion of (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) in J
0.660 * [taylor]: Taking taylor expansion of -1 in J
0.660 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J) in J
0.660 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in J
0.660 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in J
0.660 * [taylor]: Taking taylor expansion of (/ -1 l) in J
0.660 * [taylor]: Taking taylor expansion of -1 in J
0.660 * [taylor]: Taking taylor expansion of l in J
0.660 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J
0.660 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.660 * [taylor]: Taking taylor expansion of l in J
0.660 * [taylor]: Taking taylor expansion of J in J
0.660 * [taylor]: Taking taylor expansion of (* -1 (- (exp (/ -1 l)) (exp (/ 1 l)))) in l
0.660 * [taylor]: Taking taylor expansion of -1 in l
0.660 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l
0.660 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l
0.660 * [taylor]: Taking taylor expansion of (/ -1 l) in l
0.660 * [taylor]: Taking taylor expansion of -1 in l
0.660 * [taylor]: Taking taylor expansion of l in l
0.661 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.661 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.661 * [taylor]: Taking taylor expansion of l in l
0.663 * [taylor]: Taking taylor expansion of 0 in l
0.668 * [taylor]: Taking taylor expansion of 0 in l
0.673 * [taylor]: Taking taylor expansion of 0 in l
0.673 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
0.673 * [approximate]: Taking taylor expansion of (* J (* (- (exp l) (exp (- l))) (cos (* 0.5 K)))) in (J l K) around 0
0.673 * [taylor]: Taking taylor expansion of (* J (* (- (exp l) (exp (- l))) (cos (* 0.5 K)))) in K
0.673 * [taylor]: Taking taylor expansion of J in K
0.673 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (- l))) (cos (* 0.5 K))) in K
0.673 * [taylor]: Taking taylor expansion of (- (exp l) (exp (- l))) in K
0.673 * [taylor]: Taking taylor expansion of (exp l) in K
0.674 * [taylor]: Taking taylor expansion of l in K
0.674 * [taylor]: Taking taylor expansion of (exp (- l)) in K
0.674 * [taylor]: Taking taylor expansion of (- l) in K
0.674 * [taylor]: Taking taylor expansion of l in K
0.674 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
0.674 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
0.674 * [taylor]: Taking taylor expansion of 0.5 in K
0.674 * [taylor]: Taking taylor expansion of K in K
0.675 * [taylor]: Taking taylor expansion of (* J (* (- (exp l) (exp (- l))) (cos (* 0.5 K)))) in l
0.675 * [taylor]: Taking taylor expansion of J in l
0.675 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (- l))) (cos (* 0.5 K))) in l
0.675 * [taylor]: Taking taylor expansion of (- (exp l) (exp (- l))) in l
0.675 * [taylor]: Taking taylor expansion of (exp l) in l
0.675 * [taylor]: Taking taylor expansion of l in l
0.675 * [taylor]: Taking taylor expansion of (exp (- l)) in l
0.675 * [taylor]: Taking taylor expansion of (- l) in l
0.675 * [taylor]: Taking taylor expansion of l in l
0.676 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
0.676 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
0.676 * [taylor]: Taking taylor expansion of 0.5 in l
0.676 * [taylor]: Taking taylor expansion of K in l
0.676 * [taylor]: Taking taylor expansion of (* J (* (- (exp l) (exp (- l))) (cos (* 0.5 K)))) in J
0.676 * [taylor]: Taking taylor expansion of J in J
0.676 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (- l))) (cos (* 0.5 K))) in J
0.676 * [taylor]: Taking taylor expansion of (- (exp l) (exp (- l))) in J
0.676 * [taylor]: Taking taylor expansion of (exp l) in J
0.676 * [taylor]: Taking taylor expansion of l in J
0.676 * [taylor]: Taking taylor expansion of (exp (- l)) in J
0.676 * [taylor]: Taking taylor expansion of (- 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 (* (- (exp l) (exp (- l))) (cos (* 0.5 K)))) in J
0.676 * [taylor]: Taking taylor expansion of J in J
0.676 * [taylor]: Taking taylor expansion of (* (- (exp l) (exp (- l))) (cos (* 0.5 K))) in J
0.676 * [taylor]: Taking taylor expansion of (- (exp l) (exp (- l))) in J
0.676 * [taylor]: Taking taylor expansion of (exp l) in J
0.676 * [taylor]: Taking taylor expansion of l in J
0.676 * [taylor]: Taking taylor expansion of (exp (- l)) in J
0.676 * [taylor]: Taking taylor expansion of (- 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.677 * [taylor]: Taking taylor expansion of 0 in l
0.677 * [taylor]: Taking taylor expansion of 0 in K
0.681 * [taylor]: Taking taylor expansion of (- (* (exp l) (cos (* 0.5 K))) (* (cos (* 0.5 K)) (exp (- l)))) in l
0.681 * [taylor]: Taking taylor expansion of (* (exp l) (cos (* 0.5 K))) in l
0.681 * [taylor]: Taking taylor expansion of (exp l) in l
0.681 * [taylor]: Taking taylor expansion of l in l
0.681 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
0.681 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
0.681 * [taylor]: Taking taylor expansion of 0.5 in l
0.681 * [taylor]: Taking taylor expansion of K in l
0.681 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (exp (- l))) in l
0.681 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
0.681 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
0.681 * [taylor]: Taking taylor expansion of 0.5 in l
0.681 * [taylor]: Taking taylor expansion of K in l
0.681 * [taylor]: Taking taylor expansion of (exp (- l)) in l
0.681 * [taylor]: Taking taylor expansion of (- l) in l
0.681 * [taylor]: Taking taylor expansion of l in l
0.683 * [taylor]: Taking taylor expansion of 0 in K
0.683 * [taylor]: Taking taylor expansion of 0 in K
0.688 * [taylor]: Taking taylor expansion of 0 in l
0.689 * [taylor]: Taking taylor expansion of 0 in K
0.694 * [taylor]: Taking taylor expansion of (* 2 (cos (* 0.5 K))) in K
0.694 * [taylor]: Taking taylor expansion of 2 in K
0.694 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
0.694 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
0.694 * [taylor]: Taking taylor expansion of 0.5 in K
0.694 * [taylor]: Taking taylor expansion of K in K
0.696 * [taylor]: Taking taylor expansion of 0 in K
0.703 * [taylor]: Taking taylor expansion of 0 in l
0.703 * [taylor]: Taking taylor expansion of 0 in K
0.704 * [taylor]: Taking taylor expansion of 0 in K
0.704 * [approximate]: Taking taylor expansion of (/ (* (- (exp (/ 1 l)) (exp (- (/ 1 l)))) (cos (/ 0.5 K))) J) in (J l K) around 0
0.704 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ 1 l)) (exp (- (/ 1 l)))) (cos (/ 0.5 K))) J) in K
0.704 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 l)) (exp (- (/ 1 l)))) (cos (/ 0.5 K))) in K
0.704 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in K
0.704 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K
0.704 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.704 * [taylor]: Taking taylor expansion of l in K
0.704 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in K
0.704 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in K
0.704 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.704 * [taylor]: Taking taylor expansion of l in K
0.704 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
0.704 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
0.704 * [taylor]: Taking taylor expansion of 0.5 in K
0.704 * [taylor]: Taking taylor expansion of K in K
0.704 * [taylor]: Taking taylor expansion of J in K
0.705 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ 1 l)) (exp (- (/ 1 l)))) (cos (/ 0.5 K))) J) in l
0.705 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 l)) (exp (- (/ 1 l)))) (cos (/ 0.5 K))) in l
0.705 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in l
0.705 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.705 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.705 * [taylor]: Taking taylor expansion of l in l
0.705 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in l
0.705 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in l
0.705 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.705 * [taylor]: Taking taylor expansion of l in l
0.706 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
0.706 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
0.706 * [taylor]: Taking taylor expansion of 0.5 in l
0.706 * [taylor]: Taking taylor expansion of K in l
0.706 * [taylor]: Taking taylor expansion of J in l
0.707 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ 1 l)) (exp (- (/ 1 l)))) (cos (/ 0.5 K))) J) in J
0.707 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 l)) (exp (- (/ 1 l)))) (cos (/ 0.5 K))) in J
0.707 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in J
0.707 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J
0.707 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.707 * [taylor]: Taking taylor expansion of l in J
0.707 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in J
0.707 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in J
0.707 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.707 * [taylor]: Taking taylor expansion of l in J
0.707 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
0.707 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
0.707 * [taylor]: Taking taylor expansion of 0.5 in J
0.707 * [taylor]: Taking taylor expansion of K in J
0.707 * [taylor]: Taking taylor expansion of J in J
0.708 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ 1 l)) (exp (- (/ 1 l)))) (cos (/ 0.5 K))) J) in J
0.708 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 l)) (exp (- (/ 1 l)))) (cos (/ 0.5 K))) in J
0.708 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in J
0.708 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J
0.708 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.708 * [taylor]: Taking taylor expansion of l in J
0.708 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in J
0.708 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in J
0.708 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.708 * [taylor]: Taking taylor expansion of l in J
0.708 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
0.708 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
0.708 * [taylor]: Taking taylor expansion of 0.5 in J
0.708 * [taylor]: Taking taylor expansion of K in J
0.708 * [taylor]: Taking taylor expansion of J in J
0.709 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 l)) (exp (- (/ 1 l)))) (cos (/ 0.5 K))) in l
0.709 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in l
0.709 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.709 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.709 * [taylor]: Taking taylor expansion of l in l
0.709 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in l
0.709 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in l
0.709 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.709 * [taylor]: Taking taylor expansion of l in l
0.710 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
0.710 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
0.710 * [taylor]: Taking taylor expansion of 0.5 in l
0.710 * [taylor]: Taking taylor expansion of K in l
0.711 * [taylor]: Taking taylor expansion of (* (- (exp (/ 1 l)) (exp (- (/ 1 l)))) (cos (/ 0.5 K))) in K
0.711 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in K
0.711 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K
0.711 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.711 * [taylor]: Taking taylor expansion of l in K
0.711 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in K
0.711 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in K
0.711 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.711 * [taylor]: Taking taylor expansion of l in K
0.711 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
0.711 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
0.711 * [taylor]: Taking taylor expansion of 0.5 in K
0.711 * [taylor]: Taking taylor expansion of K in K
0.716 * [taylor]: Taking taylor expansion of 0 in l
0.716 * [taylor]: Taking taylor expansion of 0 in K
0.718 * [taylor]: Taking taylor expansion of 0 in K
0.732 * [taylor]: Taking taylor expansion of 0 in l
0.733 * [taylor]: Taking taylor expansion of 0 in K
0.733 * [taylor]: Taking taylor expansion of 0 in K
0.736 * [taylor]: Taking taylor expansion of 0 in K
0.736 * [approximate]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) in (J l K) around 0
0.736 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) in K
0.736 * [taylor]: Taking taylor expansion of -1 in K
0.736 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J) in K
0.736 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) in K
0.736 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in K
0.736 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in K
0.736 * [taylor]: Taking taylor expansion of (/ -1 l) in K
0.736 * [taylor]: Taking taylor expansion of -1 in K
0.736 * [taylor]: Taking taylor expansion of l in K
0.736 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K
0.736 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.736 * [taylor]: Taking taylor expansion of l in K
0.736 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
0.736 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
0.737 * [taylor]: Taking taylor expansion of -0.5 in K
0.737 * [taylor]: Taking taylor expansion of K in K
0.737 * [taylor]: Taking taylor expansion of J in K
0.737 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) in l
0.737 * [taylor]: Taking taylor expansion of -1 in l
0.737 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J) in l
0.737 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) in l
0.737 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l
0.737 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l
0.737 * [taylor]: Taking taylor expansion of (/ -1 l) in l
0.737 * [taylor]: Taking taylor expansion of -1 in l
0.737 * [taylor]: Taking taylor expansion of l in l
0.738 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.738 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.738 * [taylor]: Taking taylor expansion of l in l
0.738 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
0.738 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
0.738 * [taylor]: Taking taylor expansion of -0.5 in l
0.738 * [taylor]: Taking taylor expansion of K in l
0.738 * [taylor]: Taking taylor expansion of J in l
0.739 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) in J
0.739 * [taylor]: Taking taylor expansion of -1 in J
0.739 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J) in J
0.739 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) in J
0.739 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in J
0.739 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in J
0.739 * [taylor]: Taking taylor expansion of (/ -1 l) in J
0.739 * [taylor]: Taking taylor expansion of -1 in J
0.739 * [taylor]: Taking taylor expansion of l in J
0.739 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J
0.739 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.739 * [taylor]: Taking taylor expansion of l in J
0.739 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
0.739 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
0.739 * [taylor]: Taking taylor expansion of -0.5 in J
0.739 * [taylor]: Taking taylor expansion of K in J
0.739 * [taylor]: Taking taylor expansion of J in J
0.740 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J)) in J
0.740 * [taylor]: Taking taylor expansion of -1 in J
0.740 * [taylor]: Taking taylor expansion of (/ (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) J) in J
0.740 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) in J
0.740 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in J
0.740 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in J
0.740 * [taylor]: Taking taylor expansion of (/ -1 l) in J
0.740 * [taylor]: Taking taylor expansion of -1 in J
0.740 * [taylor]: Taking taylor expansion of l in J
0.740 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J
0.740 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.740 * [taylor]: Taking taylor expansion of l in J
0.740 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
0.740 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
0.740 * [taylor]: Taking taylor expansion of -0.5 in J
0.740 * [taylor]: Taking taylor expansion of K in J
0.740 * [taylor]: Taking taylor expansion of J in J
0.741 * [taylor]: Taking taylor expansion of (* -1 (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K)))) in l
0.741 * [taylor]: Taking taylor expansion of -1 in l
0.741 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) in l
0.741 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l
0.741 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l
0.741 * [taylor]: Taking taylor expansion of (/ -1 l) in l
0.741 * [taylor]: Taking taylor expansion of -1 in l
0.741 * [taylor]: Taking taylor expansion of l in l
0.742 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.742 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.742 * [taylor]: Taking taylor expansion of l in l
0.742 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
0.742 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
0.742 * [taylor]: Taking taylor expansion of -0.5 in l
0.742 * [taylor]: Taking taylor expansion of K in l
0.743 * [taylor]: Taking taylor expansion of (* -1 (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K)))) in K
0.743 * [taylor]: Taking taylor expansion of -1 in K
0.743 * [taylor]: Taking taylor expansion of (* (- (exp (/ -1 l)) (exp (/ 1 l))) (cos (/ -0.5 K))) in K
0.743 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in K
0.743 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in K
0.743 * [taylor]: Taking taylor expansion of (/ -1 l) in K
0.743 * [taylor]: Taking taylor expansion of -1 in K
0.743 * [taylor]: Taking taylor expansion of l in K
0.743 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K
0.743 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.743 * [taylor]: Taking taylor expansion of l in K
0.743 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
0.743 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
0.743 * [taylor]: Taking taylor expansion of -0.5 in K
0.743 * [taylor]: Taking taylor expansion of K in K
0.748 * [taylor]: Taking taylor expansion of 0 in l
0.748 * [taylor]: Taking taylor expansion of 0 in K
0.751 * [taylor]: Taking taylor expansion of 0 in K
0.759 * [taylor]: Taking taylor expansion of 0 in l
0.759 * [taylor]: Taking taylor expansion of 0 in K
0.759 * [taylor]: Taking taylor expansion of 0 in K
0.763 * [taylor]: Taking taylor expansion of 0 in K
0.763 * * * [progress]: simplifying candidates
0.764 * [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.769 * * [simplify]: iteration  0 :  264  enodes  (cost  566 )
0.774 * * [simplify]: iteration  1 :  1116  enodes  (cost  481 )
0.797 * * [simplify]: iteration  2 :  5001  enodes  (cost  475 )
0.799 * [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.800 * * * [progress]: adding candidates to table
1.002 * * [progress]: iteration 2 / 4
1.002 * * * [progress]: picking best candidate
1.011 * * * * [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))>
1.011 * * * [progress]: localizing error
1.030 * * * [progress]: generating rewritten candidates
1.030 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.070 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
1.076 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2 1)
1.081 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1.118 * * * [progress]: generating series expansions
1.118 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.118 * [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.118 * [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.118 * [taylor]: Taking taylor expansion of J in K
1.118 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) in K
1.118 * [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.120 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) in K
1.120 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in K
1.120 * [taylor]: Taking taylor expansion of 1/3 in K
1.120 * [taylor]: Taking taylor expansion of (pow l 3) in K
1.120 * [taylor]: Taking taylor expansion of l in K
1.120 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow l 5)) (* 2 l)) in K
1.120 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in K
1.121 * [taylor]: Taking taylor expansion of 1/60 in K
1.121 * [taylor]: Taking taylor expansion of (pow l 5) in K
1.121 * [taylor]: Taking taylor expansion of l in K
1.121 * [taylor]: Taking taylor expansion of (* 2 l) in K
1.121 * [taylor]: Taking taylor expansion of 2 in K
1.121 * [taylor]: Taking taylor expansion of l in K
1.121 * [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.121 * [taylor]: Taking taylor expansion of J in l
1.121 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) in l
1.121 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
1.121 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
1.121 * [taylor]: Taking taylor expansion of 0.5 in l
1.121 * [taylor]: Taking taylor expansion of K in l
1.121 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) in l
1.121 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in l
1.121 * [taylor]: Taking taylor expansion of 1/3 in l
1.121 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.121 * [taylor]: Taking taylor expansion of l in l
1.121 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow l 5)) (* 2 l)) in l
1.121 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in l
1.121 * [taylor]: Taking taylor expansion of 1/60 in l
1.121 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.121 * [taylor]: Taking taylor expansion of l in l
1.121 * [taylor]: Taking taylor expansion of (* 2 l) in l
1.121 * [taylor]: Taking taylor expansion of 2 in l
1.121 * [taylor]: Taking taylor expansion of l in l
1.121 * [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.121 * [taylor]: Taking taylor expansion of J in J
1.121 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) in J
1.121 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
1.121 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
1.121 * [taylor]: Taking taylor expansion of 0.5 in J
1.121 * [taylor]: Taking taylor expansion of K in J
1.121 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) in J
1.121 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in J
1.121 * [taylor]: Taking taylor expansion of 1/3 in J
1.121 * [taylor]: Taking taylor expansion of (pow l 3) in J
1.121 * [taylor]: Taking taylor expansion of l in J
1.121 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow l 5)) (* 2 l)) in J
1.121 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in J
1.121 * [taylor]: Taking taylor expansion of 1/60 in J
1.121 * [taylor]: Taking taylor expansion of (pow l 5) in J
1.121 * [taylor]: Taking taylor expansion of l in J
1.121 * [taylor]: Taking taylor expansion of (* 2 l) in J
1.121 * [taylor]: Taking taylor expansion of 2 in J
1.121 * [taylor]: Taking taylor expansion of l in J
1.121 * [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.121 * [taylor]: Taking taylor expansion of J in J
1.121 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) in J
1.121 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
1.121 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
1.121 * [taylor]: Taking taylor expansion of 0.5 in J
1.122 * [taylor]: Taking taylor expansion of K in J
1.122 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l))) in J
1.122 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in J
1.122 * [taylor]: Taking taylor expansion of 1/3 in J
1.122 * [taylor]: Taking taylor expansion of (pow l 3) in J
1.122 * [taylor]: Taking taylor expansion of l in J
1.122 * [taylor]: Taking taylor expansion of (+ (* 1/60 (pow l 5)) (* 2 l)) in J
1.122 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in J
1.122 * [taylor]: Taking taylor expansion of 1/60 in J
1.122 * [taylor]: Taking taylor expansion of (pow l 5) in J
1.122 * [taylor]: Taking taylor expansion of l in J
1.122 * [taylor]: Taking taylor expansion of (* 2 l) in J
1.122 * [taylor]: Taking taylor expansion of 2 in J
1.122 * [taylor]: Taking taylor expansion of l in J
1.123 * [taylor]: Taking taylor expansion of 0 in l
1.123 * [taylor]: Taking taylor expansion of 0 in K
1.128 * [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.128 * [taylor]: Taking taylor expansion of (* 2 (* (cos (* 0.5 K)) l)) in l
1.128 * [taylor]: Taking taylor expansion of 2 in l
1.128 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l
1.128 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
1.128 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
1.128 * [taylor]: Taking taylor expansion of 0.5 in l
1.128 * [taylor]: Taking taylor expansion of K in l
1.128 * [taylor]: Taking taylor expansion of l in l
1.128 * [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.128 * [taylor]: Taking taylor expansion of (* 1/3 (* (cos (* 0.5 K)) (pow l 3))) in l
1.128 * [taylor]: Taking taylor expansion of 1/3 in l
1.128 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (pow l 3)) in l
1.128 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
1.128 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
1.128 * [taylor]: Taking taylor expansion of 0.5 in l
1.128 * [taylor]: Taking taylor expansion of K in l
1.128 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.128 * [taylor]: Taking taylor expansion of l in l
1.128 * [taylor]: Taking taylor expansion of (* 1/60 (* (cos (* 0.5 K)) (pow l 5))) in l
1.128 * [taylor]: Taking taylor expansion of 1/60 in l
1.128 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (pow l 5)) in l
1.128 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
1.128 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
1.128 * [taylor]: Taking taylor expansion of 0.5 in l
1.128 * [taylor]: Taking taylor expansion of K in l
1.128 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.128 * [taylor]: Taking taylor expansion of l in l
1.129 * [taylor]: Taking taylor expansion of 0 in K
1.129 * [taylor]: Taking taylor expansion of 0 in K
1.140 * [taylor]: Taking taylor expansion of 0 in l
1.140 * [taylor]: Taking taylor expansion of 0 in K
1.143 * [taylor]: Taking taylor expansion of (* 2 (cos (* 0.5 K))) in K
1.143 * [taylor]: Taking taylor expansion of 2 in K
1.143 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
1.143 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
1.143 * [taylor]: Taking taylor expansion of 0.5 in K
1.143 * [taylor]: Taking taylor expansion of K in K
1.144 * [taylor]: Taking taylor expansion of 0 in K
1.155 * [taylor]: Taking taylor expansion of 0 in l
1.155 * [taylor]: Taking taylor expansion of 0 in K
1.155 * [taylor]: Taking taylor expansion of 0 in K
1.155 * [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.155 * [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.155 * [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.155 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
1.155 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
1.155 * [taylor]: Taking taylor expansion of 0.5 in K
1.155 * [taylor]: Taking taylor expansion of K in K
1.156 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in K
1.156 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in K
1.156 * [taylor]: Taking taylor expansion of 1/60 in K
1.156 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in K
1.156 * [taylor]: Taking taylor expansion of (pow l 5) in K
1.156 * [taylor]: Taking taylor expansion of l in K
1.156 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in K
1.156 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in K
1.156 * [taylor]: Taking taylor expansion of 2 in K
1.156 * [taylor]: Taking taylor expansion of (/ 1 l) in K
1.156 * [taylor]: Taking taylor expansion of l in K
1.156 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in K
1.156 * [taylor]: Taking taylor expansion of 1/3 in K
1.156 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in K
1.156 * [taylor]: Taking taylor expansion of (pow l 3) in K
1.156 * [taylor]: Taking taylor expansion of l in K
1.156 * [taylor]: Taking taylor expansion of J in K
1.157 * [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.157 * [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.157 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
1.157 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
1.157 * [taylor]: Taking taylor expansion of 0.5 in l
1.157 * [taylor]: Taking taylor expansion of K in l
1.157 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
1.157 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
1.157 * [taylor]: Taking taylor expansion of 1/60 in l
1.157 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
1.157 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.157 * [taylor]: Taking taylor expansion of l in l
1.158 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
1.158 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
1.158 * [taylor]: Taking taylor expansion of 2 in l
1.158 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.158 * [taylor]: Taking taylor expansion of l in l
1.159 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
1.159 * [taylor]: Taking taylor expansion of 1/3 in l
1.159 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
1.159 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.159 * [taylor]: Taking taylor expansion of l in l
1.159 * [taylor]: Taking taylor expansion of J in l
1.160 * [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.161 * [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.161 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
1.161 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
1.161 * [taylor]: Taking taylor expansion of 0.5 in J
1.161 * [taylor]: Taking taylor expansion of K in J
1.161 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in J
1.161 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in J
1.161 * [taylor]: Taking taylor expansion of 1/60 in J
1.161 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in J
1.161 * [taylor]: Taking taylor expansion of (pow l 5) in J
1.161 * [taylor]: Taking taylor expansion of l in J
1.161 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in J
1.161 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in J
1.161 * [taylor]: Taking taylor expansion of 2 in J
1.161 * [taylor]: Taking taylor expansion of (/ 1 l) in J
1.161 * [taylor]: Taking taylor expansion of l in J
1.161 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in J
1.161 * [taylor]: Taking taylor expansion of 1/3 in J
1.161 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in J
1.161 * [taylor]: Taking taylor expansion of (pow l 3) in J
1.161 * [taylor]: Taking taylor expansion of l in J
1.161 * [taylor]: Taking taylor expansion of J in J
1.163 * [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.163 * [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.163 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
1.163 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
1.163 * [taylor]: Taking taylor expansion of 0.5 in J
1.163 * [taylor]: Taking taylor expansion of K in J
1.163 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in J
1.163 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in J
1.163 * [taylor]: Taking taylor expansion of 1/60 in J
1.163 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in J
1.163 * [taylor]: Taking taylor expansion of (pow l 5) in J
1.163 * [taylor]: Taking taylor expansion of l in J
1.163 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in J
1.163 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in J
1.163 * [taylor]: Taking taylor expansion of 2 in J
1.163 * [taylor]: Taking taylor expansion of (/ 1 l) in J
1.163 * [taylor]: Taking taylor expansion of l in J
1.163 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in J
1.163 * [taylor]: Taking taylor expansion of 1/3 in J
1.163 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in J
1.163 * [taylor]: Taking taylor expansion of (pow l 3) in J
1.163 * [taylor]: Taking taylor expansion of l in J
1.163 * [taylor]: Taking taylor expansion of J in J
1.165 * [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.165 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
1.165 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
1.165 * [taylor]: Taking taylor expansion of 0.5 in l
1.165 * [taylor]: Taking taylor expansion of K in l
1.165 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
1.165 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
1.165 * [taylor]: Taking taylor expansion of 1/60 in l
1.165 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
1.165 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.165 * [taylor]: Taking taylor expansion of l in l
1.166 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
1.166 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
1.166 * [taylor]: Taking taylor expansion of 2 in l
1.166 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.166 * [taylor]: Taking taylor expansion of l in l
1.166 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
1.166 * [taylor]: Taking taylor expansion of 1/3 in l
1.166 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
1.166 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.166 * [taylor]: Taking taylor expansion of l in l
1.168 * [taylor]: Taking taylor expansion of (* 1/60 (cos (/ 0.5 K))) in K
1.168 * [taylor]: Taking taylor expansion of 1/60 in K
1.168 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
1.168 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
1.168 * [taylor]: Taking taylor expansion of 0.5 in K
1.168 * [taylor]: Taking taylor expansion of K in K
1.174 * [taylor]: Taking taylor expansion of 0 in l
1.178 * [taylor]: Taking taylor expansion of 0 in K
1.186 * [taylor]: Taking taylor expansion of 0 in l
1.192 * [taylor]: Taking taylor expansion of (* 1/3 (cos (/ 0.5 K))) in K
1.192 * [taylor]: Taking taylor expansion of 1/3 in K
1.192 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
1.192 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
1.192 * [taylor]: Taking taylor expansion of 0.5 in K
1.192 * [taylor]: Taking taylor expansion of K in K
1.204 * [taylor]: Taking taylor expansion of 0 in l
1.212 * [taylor]: Taking taylor expansion of 0 in K
1.214 * [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.214 * [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.214 * [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.214 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in K
1.214 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in K
1.214 * [taylor]: Taking taylor expansion of 1/60 in K
1.214 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in K
1.214 * [taylor]: Taking taylor expansion of (pow l 5) in K
1.214 * [taylor]: Taking taylor expansion of l in K
1.214 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in K
1.214 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in K
1.214 * [taylor]: Taking taylor expansion of 2 in K
1.214 * [taylor]: Taking taylor expansion of (/ 1 l) in K
1.214 * [taylor]: Taking taylor expansion of l in K
1.214 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in K
1.214 * [taylor]: Taking taylor expansion of 1/3 in K
1.214 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in K
1.214 * [taylor]: Taking taylor expansion of (pow l 3) in K
1.215 * [taylor]: Taking taylor expansion of l in K
1.215 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
1.215 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
1.215 * [taylor]: Taking taylor expansion of -0.5 in K
1.215 * [taylor]: Taking taylor expansion of K in K
1.215 * [taylor]: Taking taylor expansion of J in K
1.216 * [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.216 * [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.216 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
1.216 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
1.216 * [taylor]: Taking taylor expansion of 1/60 in l
1.216 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
1.216 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.216 * [taylor]: Taking taylor expansion of l in l
1.217 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
1.217 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
1.217 * [taylor]: Taking taylor expansion of 2 in l
1.217 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.217 * [taylor]: Taking taylor expansion of l in l
1.217 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
1.217 * [taylor]: Taking taylor expansion of 1/3 in l
1.217 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
1.217 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.217 * [taylor]: Taking taylor expansion of l in l
1.218 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
1.218 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
1.218 * [taylor]: Taking taylor expansion of -0.5 in l
1.218 * [taylor]: Taking taylor expansion of K in l
1.218 * [taylor]: Taking taylor expansion of J in l
1.224 * [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.224 * [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.224 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in J
1.224 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in J
1.224 * [taylor]: Taking taylor expansion of 1/60 in J
1.224 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in J
1.224 * [taylor]: Taking taylor expansion of (pow l 5) in J
1.224 * [taylor]: Taking taylor expansion of l in J
1.224 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in J
1.224 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in J
1.224 * [taylor]: Taking taylor expansion of 2 in J
1.224 * [taylor]: Taking taylor expansion of (/ 1 l) in J
1.224 * [taylor]: Taking taylor expansion of l in J
1.224 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in J
1.224 * [taylor]: Taking taylor expansion of 1/3 in J
1.224 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in J
1.224 * [taylor]: Taking taylor expansion of (pow l 3) in J
1.224 * [taylor]: Taking taylor expansion of l in J
1.225 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
1.225 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
1.225 * [taylor]: Taking taylor expansion of -0.5 in J
1.225 * [taylor]: Taking taylor expansion of K in J
1.225 * [taylor]: Taking taylor expansion of J in J
1.226 * [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.226 * [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.226 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in J
1.226 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in J
1.226 * [taylor]: Taking taylor expansion of 1/60 in J
1.226 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in J
1.226 * [taylor]: Taking taylor expansion of (pow l 5) in J
1.226 * [taylor]: Taking taylor expansion of l in J
1.227 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in J
1.227 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in J
1.227 * [taylor]: Taking taylor expansion of 2 in J
1.227 * [taylor]: Taking taylor expansion of (/ 1 l) in J
1.227 * [taylor]: Taking taylor expansion of l in J
1.227 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in J
1.227 * [taylor]: Taking taylor expansion of 1/3 in J
1.227 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in J
1.227 * [taylor]: Taking taylor expansion of (pow l 3) in J
1.227 * [taylor]: Taking taylor expansion of l in J
1.227 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
1.227 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
1.227 * [taylor]: Taking taylor expansion of -0.5 in J
1.227 * [taylor]: Taking taylor expansion of K in J
1.227 * [taylor]: Taking taylor expansion of J in J
1.228 * [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.228 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
1.228 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
1.228 * [taylor]: Taking taylor expansion of -0.5 in l
1.228 * [taylor]: Taking taylor expansion of K in l
1.229 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
1.229 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
1.229 * [taylor]: Taking taylor expansion of 1/60 in l
1.229 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
1.229 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.229 * [taylor]: Taking taylor expansion of l in l
1.229 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
1.230 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
1.230 * [taylor]: Taking taylor expansion of 2 in l
1.230 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.230 * [taylor]: Taking taylor expansion of l in l
1.230 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
1.230 * [taylor]: Taking taylor expansion of 1/3 in l
1.230 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
1.230 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.230 * [taylor]: Taking taylor expansion of l in l
1.231 * [taylor]: Taking taylor expansion of (* 1/60 (cos (/ -0.5 K))) in K
1.231 * [taylor]: Taking taylor expansion of 1/60 in K
1.231 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
1.232 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
1.232 * [taylor]: Taking taylor expansion of -0.5 in K
1.232 * [taylor]: Taking taylor expansion of K in K
1.237 * [taylor]: Taking taylor expansion of 0 in l
1.241 * [taylor]: Taking taylor expansion of 0 in K
1.249 * [taylor]: Taking taylor expansion of 0 in l
1.255 * [taylor]: Taking taylor expansion of (* 1/3 (cos (/ -0.5 K))) in K
1.255 * [taylor]: Taking taylor expansion of 1/3 in K
1.255 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
1.255 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
1.255 * [taylor]: Taking taylor expansion of -0.5 in K
1.255 * [taylor]: Taking taylor expansion of K in K
1.267 * [taylor]: Taking taylor expansion of 0 in l
1.275 * [taylor]: Taking taylor expansion of 0 in K
1.276 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
1.277 * [approximate]: Taking taylor expansion of (* 1/3 (pow l 3)) in (l) around 0
1.277 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in l
1.277 * [taylor]: Taking taylor expansion of 1/3 in l
1.277 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.277 * [taylor]: Taking taylor expansion of l in l
1.277 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in l
1.277 * [taylor]: Taking taylor expansion of 1/3 in l
1.277 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.277 * [taylor]: Taking taylor expansion of l in l
1.288 * [approximate]: Taking taylor expansion of (/ 1/3 (pow l 3)) in (l) around 0
1.288 * [taylor]: Taking taylor expansion of (/ 1/3 (pow l 3)) in l
1.288 * [taylor]: Taking taylor expansion of 1/3 in l
1.288 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.288 * [taylor]: Taking taylor expansion of l in l
1.289 * [taylor]: Taking taylor expansion of (/ 1/3 (pow l 3)) in l
1.289 * [taylor]: Taking taylor expansion of 1/3 in l
1.289 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.289 * [taylor]: Taking taylor expansion of l in l
1.300 * [approximate]: Taking taylor expansion of (/ -1/3 (pow l 3)) in (l) around 0
1.300 * [taylor]: Taking taylor expansion of (/ -1/3 (pow l 3)) in l
1.300 * [taylor]: Taking taylor expansion of -1/3 in l
1.300 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.300 * [taylor]: Taking taylor expansion of l in l
1.300 * [taylor]: Taking taylor expansion of (/ -1/3 (pow l 3)) in l
1.300 * [taylor]: Taking taylor expansion of -1/3 in l
1.300 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.300 * [taylor]: Taking taylor expansion of l in l
1.316 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 2 1)
1.316 * [approximate]: Taking taylor expansion of (* 1/60 (pow l 5)) in (l) around 0
1.316 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in l
1.316 * [taylor]: Taking taylor expansion of 1/60 in l
1.316 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.316 * [taylor]: Taking taylor expansion of l in l
1.316 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in l
1.316 * [taylor]: Taking taylor expansion of 1/60 in l
1.316 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.316 * [taylor]: Taking taylor expansion of l in l
1.331 * [approximate]: Taking taylor expansion of (/ 1/60 (pow l 5)) in (l) around 0
1.331 * [taylor]: Taking taylor expansion of (/ 1/60 (pow l 5)) in l
1.331 * [taylor]: Taking taylor expansion of 1/60 in l
1.331 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.331 * [taylor]: Taking taylor expansion of l in l
1.332 * [taylor]: Taking taylor expansion of (/ 1/60 (pow l 5)) in l
1.332 * [taylor]: Taking taylor expansion of 1/60 in l
1.332 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.332 * [taylor]: Taking taylor expansion of l in l
1.347 * [approximate]: Taking taylor expansion of (/ -1/60 (pow l 5)) in (l) around 0
1.347 * [taylor]: Taking taylor expansion of (/ -1/60 (pow l 5)) in l
1.347 * [taylor]: Taking taylor expansion of -1/60 in l
1.347 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.347 * [taylor]: Taking taylor expansion of l in l
1.348 * [taylor]: Taking taylor expansion of (/ -1/60 (pow l 5)) in l
1.348 * [taylor]: Taking taylor expansion of -1/60 in l
1.348 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.348 * [taylor]: Taking taylor expansion of l in l
1.362 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1.362 * [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.362 * [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.362 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in U
1.362 * [taylor]: Taking taylor expansion of 2 in U
1.363 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in U
1.363 * [taylor]: Taking taylor expansion of J in U
1.363 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in U
1.363 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in U
1.363 * [taylor]: Taking taylor expansion of (* 0.5 K) in U
1.363 * [taylor]: Taking taylor expansion of 0.5 in U
1.363 * [taylor]: Taking taylor expansion of K in U
1.363 * [taylor]: Taking taylor expansion of l in U
1.363 * [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.363 * [taylor]: Taking taylor expansion of (* 1/60 (* J (* (cos (* 0.5 K)) (pow l 5)))) in U
1.363 * [taylor]: Taking taylor expansion of 1/60 in U
1.363 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (pow l 5))) in U
1.363 * [taylor]: Taking taylor expansion of J in U
1.363 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (pow l 5)) in U
1.363 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in U
1.363 * [taylor]: Taking taylor expansion of (* 0.5 K) in U
1.363 * [taylor]: Taking taylor expansion of 0.5 in U
1.363 * [taylor]: Taking taylor expansion of K in U
1.363 * [taylor]: Taking taylor expansion of (pow l 5) in U
1.363 * [taylor]: Taking taylor expansion of l in U
1.363 * [taylor]: Taking taylor expansion of (+ (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) U) in U
1.363 * [taylor]: Taking taylor expansion of (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) in U
1.363 * [taylor]: Taking taylor expansion of 1/3 in U
1.363 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (pow l 3))) in U
1.363 * [taylor]: Taking taylor expansion of J in U
1.363 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (pow l 3)) in U
1.363 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in U
1.363 * [taylor]: Taking taylor expansion of (* 0.5 K) in U
1.363 * [taylor]: Taking taylor expansion of 0.5 in U
1.363 * [taylor]: Taking taylor expansion of K in U
1.363 * [taylor]: Taking taylor expansion of (pow l 3) in U
1.363 * [taylor]: Taking taylor expansion of l in U
1.363 * [taylor]: Taking taylor expansion of U in U
1.363 * [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.363 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in K
1.363 * [taylor]: Taking taylor expansion of 2 in K
1.363 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in K
1.363 * [taylor]: Taking taylor expansion of J in K
1.363 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in K
1.363 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
1.363 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
1.363 * [taylor]: Taking taylor expansion of 0.5 in K
1.363 * [taylor]: Taking taylor expansion of K in K
1.365 * [taylor]: Taking taylor expansion of l in K
1.365 * [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.365 * [taylor]: Taking taylor expansion of (* 1/60 (* J (* (cos (* 0.5 K)) (pow l 5)))) in K
1.365 * [taylor]: Taking taylor expansion of 1/60 in K
1.365 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (pow l 5))) in K
1.365 * [taylor]: Taking taylor expansion of J in K
1.365 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (pow l 5)) in K
1.365 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
1.365 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
1.365 * [taylor]: Taking taylor expansion of 0.5 in K
1.365 * [taylor]: Taking taylor expansion of K in K
1.366 * [taylor]: Taking taylor expansion of (pow l 5) in K
1.366 * [taylor]: Taking taylor expansion of l in K
1.366 * [taylor]: Taking taylor expansion of (+ (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) U) in K
1.366 * [taylor]: Taking taylor expansion of (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) in K
1.366 * [taylor]: Taking taylor expansion of 1/3 in K
1.366 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (pow l 3))) in K
1.366 * [taylor]: Taking taylor expansion of J in K
1.366 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (pow l 3)) in K
1.366 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
1.366 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
1.366 * [taylor]: Taking taylor expansion of 0.5 in K
1.366 * [taylor]: Taking taylor expansion of K in K
1.367 * [taylor]: Taking taylor expansion of (pow l 3) in K
1.367 * [taylor]: Taking taylor expansion of l in K
1.367 * [taylor]: Taking taylor expansion of U in K
1.367 * [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.367 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in l
1.367 * [taylor]: Taking taylor expansion of 2 in l
1.367 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in l
1.367 * [taylor]: Taking taylor expansion of J in l
1.367 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l
1.367 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
1.367 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
1.367 * [taylor]: Taking taylor expansion of 0.5 in l
1.367 * [taylor]: Taking taylor expansion of K in l
1.368 * [taylor]: Taking taylor expansion of l in l
1.368 * [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.368 * [taylor]: Taking taylor expansion of (* 1/60 (* J (* (cos (* 0.5 K)) (pow l 5)))) in l
1.368 * [taylor]: Taking taylor expansion of 1/60 in l
1.368 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (pow l 5))) in l
1.368 * [taylor]: Taking taylor expansion of J in l
1.368 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (pow l 5)) in l
1.368 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
1.368 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
1.368 * [taylor]: Taking taylor expansion of 0.5 in l
1.368 * [taylor]: Taking taylor expansion of K in l
1.368 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.368 * [taylor]: Taking taylor expansion of l in l
1.368 * [taylor]: Taking taylor expansion of (+ (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) U) in l
1.368 * [taylor]: Taking taylor expansion of (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) in l
1.368 * [taylor]: Taking taylor expansion of 1/3 in l
1.368 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (pow l 3))) in l
1.368 * [taylor]: Taking taylor expansion of J in l
1.368 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (pow l 3)) in l
1.368 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
1.368 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
1.368 * [taylor]: Taking taylor expansion of 0.5 in l
1.368 * [taylor]: Taking taylor expansion of K in l
1.368 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.368 * [taylor]: Taking taylor expansion of l in l
1.368 * [taylor]: Taking taylor expansion of U in l
1.368 * [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.368 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in J
1.368 * [taylor]: Taking taylor expansion of 2 in J
1.368 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J
1.368 * [taylor]: Taking taylor expansion of J in J
1.368 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J
1.368 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
1.368 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
1.368 * [taylor]: Taking taylor expansion of 0.5 in J
1.368 * [taylor]: Taking taylor expansion of K in J
1.368 * [taylor]: Taking taylor expansion of l in J
1.368 * [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.368 * [taylor]: Taking taylor expansion of (* 1/60 (* J (* (cos (* 0.5 K)) (pow l 5)))) in J
1.368 * [taylor]: Taking taylor expansion of 1/60 in J
1.368 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (pow l 5))) in J
1.368 * [taylor]: Taking taylor expansion of J in J
1.368 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (pow l 5)) in J
1.368 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
1.368 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
1.368 * [taylor]: Taking taylor expansion of 0.5 in J
1.368 * [taylor]: Taking taylor expansion of K in J
1.369 * [taylor]: Taking taylor expansion of (pow l 5) in J
1.369 * [taylor]: Taking taylor expansion of l in J
1.369 * [taylor]: Taking taylor expansion of (+ (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) U) in J
1.369 * [taylor]: Taking taylor expansion of (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) in J
1.369 * [taylor]: Taking taylor expansion of 1/3 in J
1.369 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (pow l 3))) in J
1.369 * [taylor]: Taking taylor expansion of J in J
1.369 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (pow l 3)) in J
1.369 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
1.369 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
1.369 * [taylor]: Taking taylor expansion of 0.5 in J
1.369 * [taylor]: Taking taylor expansion of K in J
1.369 * [taylor]: Taking taylor expansion of (pow l 3) in J
1.369 * [taylor]: Taking taylor expansion of l in J
1.369 * [taylor]: Taking taylor expansion of U in J
1.369 * [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.369 * [taylor]: Taking taylor expansion of (* 2 (* J (* (cos (* 0.5 K)) l))) in J
1.369 * [taylor]: Taking taylor expansion of 2 in J
1.369 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) l)) in J
1.369 * [taylor]: Taking taylor expansion of J in J
1.369 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in J
1.369 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
1.369 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
1.369 * [taylor]: Taking taylor expansion of 0.5 in J
1.369 * [taylor]: Taking taylor expansion of K in J
1.369 * [taylor]: Taking taylor expansion of l in J
1.369 * [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.369 * [taylor]: Taking taylor expansion of (* 1/60 (* J (* (cos (* 0.5 K)) (pow l 5)))) in J
1.369 * [taylor]: Taking taylor expansion of 1/60 in J
1.369 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (pow l 5))) in J
1.369 * [taylor]: Taking taylor expansion of J in J
1.369 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (pow l 5)) in J
1.369 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
1.369 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
1.369 * [taylor]: Taking taylor expansion of 0.5 in J
1.369 * [taylor]: Taking taylor expansion of K in J
1.369 * [taylor]: Taking taylor expansion of (pow l 5) in J
1.369 * [taylor]: Taking taylor expansion of l in J
1.369 * [taylor]: Taking taylor expansion of (+ (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) U) in J
1.369 * [taylor]: Taking taylor expansion of (* 1/3 (* J (* (cos (* 0.5 K)) (pow l 3)))) in J
1.369 * [taylor]: Taking taylor expansion of 1/3 in J
1.369 * [taylor]: Taking taylor expansion of (* J (* (cos (* 0.5 K)) (pow l 3))) in J
1.369 * [taylor]: Taking taylor expansion of J in J
1.369 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (pow l 3)) in J
1.369 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
1.370 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
1.370 * [taylor]: Taking taylor expansion of 0.5 in J
1.370 * [taylor]: Taking taylor expansion of K in J
1.370 * [taylor]: Taking taylor expansion of (pow l 3) in J
1.370 * [taylor]: Taking taylor expansion of l in J
1.370 * [taylor]: Taking taylor expansion of U in J
1.372 * [taylor]: Taking taylor expansion of U in l
1.372 * [taylor]: Taking taylor expansion of U in K
1.372 * [taylor]: Taking taylor expansion of U in U
1.386 * [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.386 * [taylor]: Taking taylor expansion of (* 2 (* (cos (* 0.5 K)) l)) in l
1.386 * [taylor]: Taking taylor expansion of 2 in l
1.386 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l
1.386 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
1.386 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
1.386 * [taylor]: Taking taylor expansion of 0.5 in l
1.386 * [taylor]: Taking taylor expansion of K in l
1.387 * [taylor]: Taking taylor expansion of l in l
1.387 * [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.387 * [taylor]: Taking taylor expansion of (* 1/60 (* (cos (* 0.5 K)) (pow l 5))) in l
1.387 * [taylor]: Taking taylor expansion of 1/60 in l
1.387 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (pow l 5)) in l
1.387 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
1.387 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
1.387 * [taylor]: Taking taylor expansion of 0.5 in l
1.387 * [taylor]: Taking taylor expansion of K in l
1.387 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.387 * [taylor]: Taking taylor expansion of l in l
1.387 * [taylor]: Taking taylor expansion of (* 1/3 (* (cos (* 0.5 K)) (pow l 3))) in l
1.387 * [taylor]: Taking taylor expansion of 1/3 in l
1.387 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (pow l 3)) in l
1.387 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
1.387 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
1.387 * [taylor]: Taking taylor expansion of 0.5 in l
1.387 * [taylor]: Taking taylor expansion of K in l
1.387 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.387 * [taylor]: Taking taylor expansion of l in l
1.388 * [taylor]: Taking taylor expansion of 0 in K
1.388 * [taylor]: Taking taylor expansion of 0 in U
1.388 * [taylor]: Taking taylor expansion of 0 in K
1.388 * [taylor]: Taking taylor expansion of 0 in U
1.388 * [taylor]: Taking taylor expansion of 0 in U
1.403 * [taylor]: Taking taylor expansion of 0 in l
1.403 * [taylor]: Taking taylor expansion of 0 in K
1.403 * [taylor]: Taking taylor expansion of 0 in U
1.405 * [taylor]: Taking taylor expansion of (* 2 (cos (* 0.5 K))) in K
1.405 * [taylor]: Taking taylor expansion of 2 in K
1.405 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
1.405 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
1.405 * [taylor]: Taking taylor expansion of 0.5 in K
1.405 * [taylor]: Taking taylor expansion of K in K
1.407 * [taylor]: Taking taylor expansion of 2 in U
1.407 * [taylor]: Taking taylor expansion of 0 in K
1.407 * [taylor]: Taking taylor expansion of 0 in U
1.407 * [taylor]: Taking taylor expansion of 0 in U
1.407 * [taylor]: Taking taylor expansion of 0 in U
1.407 * [taylor]: Taking taylor expansion of 0 in U
1.408 * [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.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 U
1.408 * [taylor]: Taking taylor expansion of (* 1/60 (/ (cos (/ 0.5 K)) (* J (pow l 5)))) in U
1.408 * [taylor]: Taking taylor expansion of 1/60 in U
1.408 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J (pow l 5))) in U
1.408 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in U
1.408 * [taylor]: Taking taylor expansion of (/ 0.5 K) in U
1.408 * [taylor]: Taking taylor expansion of 0.5 in U
1.408 * [taylor]: Taking taylor expansion of K in U
1.408 * [taylor]: Taking taylor expansion of (* J (pow l 5)) in U
1.408 * [taylor]: Taking taylor expansion of J in U
1.408 * [taylor]: Taking taylor expansion of (pow l 5) in U
1.408 * [taylor]: Taking taylor expansion of l in U
1.409 * [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.409 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in U
1.409 * [taylor]: Taking taylor expansion of 2 in U
1.409 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in U
1.409 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in U
1.409 * [taylor]: Taking taylor expansion of (/ 0.5 K) in U
1.409 * [taylor]: Taking taylor expansion of 0.5 in U
1.409 * [taylor]: Taking taylor expansion of K in U
1.409 * [taylor]: Taking taylor expansion of (* J l) in U
1.409 * [taylor]: Taking taylor expansion of J in U
1.409 * [taylor]: Taking taylor expansion of l in U
1.409 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ (cos (/ 0.5 K)) (* J (pow l 3)))) (/ 1 U)) in U
1.409 * [taylor]: Taking taylor expansion of (* 1/3 (/ (cos (/ 0.5 K)) (* J (pow l 3)))) in U
1.409 * [taylor]: Taking taylor expansion of 1/3 in U
1.409 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J (pow l 3))) in U
1.409 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in U
1.409 * [taylor]: Taking taylor expansion of (/ 0.5 K) in U
1.410 * [taylor]: Taking taylor expansion of 0.5 in U
1.410 * [taylor]: Taking taylor expansion of K in U
1.410 * [taylor]: Taking taylor expansion of (* J (pow l 3)) in U
1.410 * [taylor]: Taking taylor expansion of J in U
1.410 * [taylor]: Taking taylor expansion of (pow l 3) in U
1.410 * [taylor]: Taking taylor expansion of l in U
1.410 * [taylor]: Taking taylor expansion of (/ 1 U) in U
1.410 * [taylor]: Taking taylor expansion of U in U
1.411 * [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.411 * [taylor]: Taking taylor expansion of (* 1/60 (/ (cos (/ 0.5 K)) (* J (pow l 5)))) in K
1.411 * [taylor]: Taking taylor expansion of 1/60 in K
1.411 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J (pow l 5))) in K
1.411 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
1.411 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
1.411 * [taylor]: Taking taylor expansion of 0.5 in K
1.411 * [taylor]: Taking taylor expansion of K in K
1.411 * [taylor]: Taking taylor expansion of (* J (pow l 5)) in K
1.411 * [taylor]: Taking taylor expansion of J in K
1.411 * [taylor]: Taking taylor expansion of (pow l 5) in K
1.411 * [taylor]: Taking taylor expansion of l in K
1.411 * [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.411 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in K
1.411 * [taylor]: Taking taylor expansion of 2 in K
1.411 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in K
1.411 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
1.411 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
1.411 * [taylor]: Taking taylor expansion of 0.5 in K
1.412 * [taylor]: Taking taylor expansion of K in K
1.412 * [taylor]: Taking taylor expansion of (* J l) in K
1.412 * [taylor]: Taking taylor expansion of J in K
1.412 * [taylor]: Taking taylor expansion of l in K
1.412 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ (cos (/ 0.5 K)) (* J (pow l 3)))) (/ 1 U)) in K
1.412 * [taylor]: Taking taylor expansion of (* 1/3 (/ (cos (/ 0.5 K)) (* J (pow l 3)))) in K
1.412 * [taylor]: Taking taylor expansion of 1/3 in K
1.412 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J (pow l 3))) in K
1.412 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
1.412 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
1.412 * [taylor]: Taking taylor expansion of 0.5 in K
1.412 * [taylor]: Taking taylor expansion of K in K
1.412 * [taylor]: Taking taylor expansion of (* J (pow l 3)) in K
1.412 * [taylor]: Taking taylor expansion of J in K
1.412 * [taylor]: Taking taylor expansion of (pow l 3) in K
1.412 * [taylor]: Taking taylor expansion of l in K
1.413 * [taylor]: Taking taylor expansion of (/ 1 U) in K
1.413 * [taylor]: Taking taylor expansion of U in K
1.413 * [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.413 * [taylor]: Taking taylor expansion of (* 1/60 (/ (cos (/ 0.5 K)) (* J (pow l 5)))) in l
1.413 * [taylor]: Taking taylor expansion of 1/60 in l
1.413 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J (pow l 5))) in l
1.413 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
1.413 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
1.413 * [taylor]: Taking taylor expansion of 0.5 in l
1.413 * [taylor]: Taking taylor expansion of K in l
1.413 * [taylor]: Taking taylor expansion of (* J (pow l 5)) in l
1.413 * [taylor]: Taking taylor expansion of J in l
1.413 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.413 * [taylor]: Taking taylor expansion of l in l
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 l
1.414 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in l
1.414 * [taylor]: Taking taylor expansion of 2 in l
1.414 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in l
1.414 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
1.414 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
1.414 * [taylor]: Taking taylor expansion of 0.5 in l
1.414 * [taylor]: Taking taylor expansion of K in l
1.414 * [taylor]: Taking taylor expansion of (* J l) in l
1.414 * [taylor]: Taking taylor expansion of J in l
1.414 * [taylor]: Taking taylor expansion of l in l
1.415 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ (cos (/ 0.5 K)) (* J (pow l 3)))) (/ 1 U)) in l
1.415 * [taylor]: Taking taylor expansion of (* 1/3 (/ (cos (/ 0.5 K)) (* J (pow l 3)))) in l
1.415 * [taylor]: Taking taylor expansion of 1/3 in l
1.415 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J (pow l 3))) in l
1.415 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
1.415 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
1.415 * [taylor]: Taking taylor expansion of 0.5 in l
1.415 * [taylor]: Taking taylor expansion of K in l
1.415 * [taylor]: Taking taylor expansion of (* J (pow l 3)) in l
1.415 * [taylor]: Taking taylor expansion of J in l
1.415 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.415 * [taylor]: Taking taylor expansion of l in l
1.416 * [taylor]: Taking taylor expansion of (/ 1 U) in l
1.416 * [taylor]: Taking taylor expansion of U in l
1.416 * [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.416 * [taylor]: Taking taylor expansion of (* 1/60 (/ (cos (/ 0.5 K)) (* J (pow l 5)))) in J
1.416 * [taylor]: Taking taylor expansion of 1/60 in J
1.416 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J (pow l 5))) in J
1.416 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
1.416 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
1.416 * [taylor]: Taking taylor expansion of 0.5 in J
1.416 * [taylor]: Taking taylor expansion of K in J
1.416 * [taylor]: Taking taylor expansion of (* J (pow l 5)) in J
1.417 * [taylor]: Taking taylor expansion of J in J
1.417 * [taylor]: Taking taylor expansion of (pow l 5) in J
1.417 * [taylor]: Taking taylor expansion of l in J
1.418 * [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.418 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in J
1.418 * [taylor]: Taking taylor expansion of 2 in J
1.418 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J
1.418 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
1.418 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
1.418 * [taylor]: Taking taylor expansion of 0.5 in J
1.418 * [taylor]: Taking taylor expansion of K in J
1.418 * [taylor]: Taking taylor expansion of (* J l) in J
1.418 * [taylor]: Taking taylor expansion of J in J
1.418 * [taylor]: Taking taylor expansion of l in J
1.419 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ (cos (/ 0.5 K)) (* J (pow l 3)))) (/ 1 U)) in J
1.419 * [taylor]: Taking taylor expansion of (* 1/3 (/ (cos (/ 0.5 K)) (* J (pow l 3)))) in J
1.419 * [taylor]: Taking taylor expansion of 1/3 in J
1.419 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J (pow l 3))) in J
1.419 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
1.419 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
1.419 * [taylor]: Taking taylor expansion of 0.5 in J
1.419 * [taylor]: Taking taylor expansion of K in J
1.419 * [taylor]: Taking taylor expansion of (* J (pow l 3)) in J
1.419 * [taylor]: Taking taylor expansion of J in J
1.419 * [taylor]: Taking taylor expansion of (pow l 3) in J
1.419 * [taylor]: Taking taylor expansion of l in J
1.420 * [taylor]: Taking taylor expansion of (/ 1 U) in J
1.420 * [taylor]: Taking taylor expansion of U in J
1.420 * [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.420 * [taylor]: Taking taylor expansion of (* 1/60 (/ (cos (/ 0.5 K)) (* J (pow l 5)))) in J
1.420 * [taylor]: Taking taylor expansion of 1/60 in J
1.420 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J (pow l 5))) in J
1.420 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
1.420 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
1.420 * [taylor]: Taking taylor expansion of 0.5 in J
1.420 * [taylor]: Taking taylor expansion of K in J
1.420 * [taylor]: Taking taylor expansion of (* J (pow l 5)) in J
1.420 * [taylor]: Taking taylor expansion of J in J
1.420 * [taylor]: Taking taylor expansion of (pow l 5) in J
1.420 * [taylor]: Taking taylor expansion of l in J
1.421 * [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.421 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) (* J l))) in J
1.421 * [taylor]: Taking taylor expansion of 2 in J
1.421 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J l)) in J
1.421 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
1.421 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
1.421 * [taylor]: Taking taylor expansion of 0.5 in J
1.421 * [taylor]: Taking taylor expansion of K in J
1.422 * [taylor]: Taking taylor expansion of (* J l) in J
1.422 * [taylor]: Taking taylor expansion of J in J
1.422 * [taylor]: Taking taylor expansion of l in J
1.422 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ (cos (/ 0.5 K)) (* J (pow l 3)))) (/ 1 U)) in J
1.422 * [taylor]: Taking taylor expansion of (* 1/3 (/ (cos (/ 0.5 K)) (* J (pow l 3)))) in J
1.422 * [taylor]: Taking taylor expansion of 1/3 in J
1.422 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (* J (pow l 3))) in J
1.422 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
1.422 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
1.422 * [taylor]: Taking taylor expansion of 0.5 in J
1.422 * [taylor]: Taking taylor expansion of K in J
1.422 * [taylor]: Taking taylor expansion of (* J (pow l 3)) in J
1.422 * [taylor]: Taking taylor expansion of J in J
1.423 * [taylor]: Taking taylor expansion of (pow l 3) in J
1.423 * [taylor]: Taking taylor expansion of l in J
1.424 * [taylor]: Taking taylor expansion of (/ 1 U) in J
1.424 * [taylor]: Taking taylor expansion of U in J
1.424 * [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.425 * [taylor]: Taking taylor expansion of (* 1/60 (/ (cos (/ 0.5 K)) (pow l 5))) in l
1.425 * [taylor]: Taking taylor expansion of 1/60 in l
1.425 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (pow l 5)) in l
1.425 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
1.425 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
1.425 * [taylor]: Taking taylor expansion of 0.5 in l
1.425 * [taylor]: Taking taylor expansion of K in l
1.425 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.425 * [taylor]: Taking taylor expansion of l in l
1.426 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ (cos (/ 0.5 K)) (pow l 3))) (* 2 (/ (cos (/ 0.5 K)) l))) in l
1.426 * [taylor]: Taking taylor expansion of (* 1/3 (/ (cos (/ 0.5 K)) (pow l 3))) in l
1.426 * [taylor]: Taking taylor expansion of 1/3 in l
1.426 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (pow l 3)) in l
1.426 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
1.426 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
1.426 * [taylor]: Taking taylor expansion of 0.5 in l
1.426 * [taylor]: Taking taylor expansion of K in l
1.426 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.426 * [taylor]: Taking taylor expansion of l in l
1.427 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) l)) in l
1.427 * [taylor]: Taking taylor expansion of 2 in l
1.427 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in l
1.427 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
1.427 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
1.427 * [taylor]: Taking taylor expansion of 0.5 in l
1.427 * [taylor]: Taking taylor expansion of K in l
1.427 * [taylor]: Taking taylor expansion of l in l
1.428 * [taylor]: Taking taylor expansion of (* 1/60 (cos (/ 0.5 K))) in K
1.428 * [taylor]: Taking taylor expansion of 1/60 in K
1.428 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
1.428 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
1.428 * [taylor]: Taking taylor expansion of 0.5 in K
1.428 * [taylor]: Taking taylor expansion of K in K
1.428 * [taylor]: Taking taylor expansion of (* 1/60 (cos (/ 0.5 K))) in U
1.428 * [taylor]: Taking taylor expansion of 1/60 in U
1.428 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in U
1.428 * [taylor]: Taking taylor expansion of (/ 0.5 K) in U
1.428 * [taylor]: Taking taylor expansion of 0.5 in U
1.428 * [taylor]: Taking taylor expansion of K in U
1.438 * [taylor]: Taking taylor expansion of (/ 1 U) in l
1.438 * [taylor]: Taking taylor expansion of U in l
1.442 * [taylor]: Taking taylor expansion of 0 in K
1.442 * [taylor]: Taking taylor expansion of 0 in U
1.443 * [taylor]: Taking taylor expansion of 0 in U
1.458 * [taylor]: Taking taylor expansion of 0 in l
1.463 * [taylor]: Taking taylor expansion of (* 1/3 (cos (/ 0.5 K))) in K
1.463 * [taylor]: Taking taylor expansion of 1/3 in K
1.463 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
1.463 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
1.463 * [taylor]: Taking taylor expansion of 0.5 in K
1.463 * [taylor]: Taking taylor expansion of K in K
1.463 * [taylor]: Taking taylor expansion of (* 1/3 (cos (/ 0.5 K))) in U
1.463 * [taylor]: Taking taylor expansion of 1/3 in U
1.463 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in U
1.463 * [taylor]: Taking taylor expansion of (/ 0.5 K) in U
1.464 * [taylor]: Taking taylor expansion of 0.5 in U
1.464 * [taylor]: Taking taylor expansion of K in U
1.464 * [taylor]: Taking taylor expansion of 0 in U
1.464 * [taylor]: Taking taylor expansion of 0 in U
1.491 * [taylor]: Taking taylor expansion of 0 in l
1.501 * [taylor]: Taking taylor expansion of 0 in K
1.501 * [taylor]: Taking taylor expansion of 0 in U
1.501 * [taylor]: Taking taylor expansion of 0 in U
1.501 * [taylor]: Taking taylor expansion of 0 in U
1.502 * [taylor]: Taking taylor expansion of 0 in U
1.529 * [taylor]: Taking taylor expansion of 0 in l
1.542 * [taylor]: Taking taylor expansion of (* 2 (cos (/ 0.5 K))) in K
1.542 * [taylor]: Taking taylor expansion of 2 in K
1.542 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
1.542 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
1.542 * [taylor]: Taking taylor expansion of 0.5 in K
1.542 * [taylor]: Taking taylor expansion of K in K
1.542 * [taylor]: Taking taylor expansion of (* 2 (cos (/ 0.5 K))) in U
1.542 * [taylor]: Taking taylor expansion of 2 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.542 * [taylor]: Taking taylor expansion of 0 in U
1.543 * [taylor]: Taking taylor expansion of 0 in U
1.543 * [taylor]: Taking taylor expansion of 0 in U
1.544 * [taylor]: Taking taylor expansion of 0 in U
1.545 * [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.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 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)))))) in U
1.545 * [taylor]: Taking taylor expansion of (* 1/3 (/ (cos (/ -0.5 K)) (* J (pow l 3)))) in U
1.545 * [taylor]: Taking taylor expansion of 1/3 in U
1.545 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J (pow l 3))) in U
1.545 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in U
1.545 * [taylor]: Taking taylor expansion of (/ -0.5 K) in U
1.545 * [taylor]: Taking taylor expansion of -0.5 in U
1.545 * [taylor]: Taking taylor expansion of K in U
1.546 * [taylor]: Taking taylor expansion of (* J (pow l 3)) in U
1.546 * [taylor]: Taking taylor expansion of J in U
1.546 * [taylor]: Taking taylor expansion of (pow l 3) in U
1.546 * [taylor]: Taking taylor expansion of l in U
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 U
1.546 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in U
1.546 * [taylor]: Taking taylor expansion of 2 in U
1.546 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in U
1.546 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in U
1.546 * [taylor]: Taking taylor expansion of (/ -0.5 K) in U
1.546 * [taylor]: Taking taylor expansion of -0.5 in U
1.546 * [taylor]: Taking taylor expansion of K in U
1.547 * [taylor]: Taking taylor expansion of (* J l) in U
1.547 * [taylor]: Taking taylor expansion of J in U
1.547 * [taylor]: Taking taylor expansion of l in U
1.547 * [taylor]: Taking taylor expansion of (* 1/60 (/ (cos (/ -0.5 K)) (* J (pow l 5)))) in U
1.547 * [taylor]: Taking taylor expansion of 1/60 in U
1.547 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J (pow l 5))) in U
1.547 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in U
1.547 * [taylor]: Taking taylor expansion of (/ -0.5 K) in U
1.547 * [taylor]: Taking taylor expansion of -0.5 in U
1.547 * [taylor]: Taking taylor expansion of K in U
1.547 * [taylor]: Taking taylor expansion of (* J (pow l 5)) in U
1.547 * [taylor]: Taking taylor expansion of J in U
1.547 * [taylor]: Taking taylor expansion of (pow l 5) in U
1.547 * [taylor]: Taking taylor expansion of l in U
1.548 * [taylor]: Taking taylor expansion of (/ 1 U) in U
1.548 * [taylor]: Taking taylor expansion of U in U
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 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)))))) in K
1.548 * [taylor]: Taking taylor expansion of (* 1/3 (/ (cos (/ -0.5 K)) (* J (pow l 3)))) in K
1.548 * [taylor]: Taking taylor expansion of 1/3 in K
1.548 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J (pow l 3))) in K
1.548 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
1.548 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
1.548 * [taylor]: Taking taylor expansion of -0.5 in K
1.548 * [taylor]: Taking taylor expansion of K in K
1.549 * [taylor]: Taking taylor expansion of (* J (pow l 3)) in K
1.549 * [taylor]: Taking taylor expansion of J in K
1.549 * [taylor]: Taking taylor expansion of (pow l 3) in K
1.549 * [taylor]: Taking taylor expansion of l in K
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 K
1.549 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in K
1.549 * [taylor]: Taking taylor expansion of 2 in K
1.549 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in K
1.549 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
1.549 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
1.549 * [taylor]: Taking taylor expansion of -0.5 in K
1.549 * [taylor]: Taking taylor expansion of K in K
1.549 * [taylor]: Taking taylor expansion of (* J l) in K
1.550 * [taylor]: Taking taylor expansion of J in K
1.550 * [taylor]: Taking taylor expansion of l in K
1.550 * [taylor]: Taking taylor expansion of (* 1/60 (/ (cos (/ -0.5 K)) (* J (pow l 5)))) in K
1.550 * [taylor]: Taking taylor expansion of 1/60 in K
1.550 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J (pow l 5))) in K
1.550 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
1.550 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
1.550 * [taylor]: Taking taylor expansion of -0.5 in K
1.550 * [taylor]: Taking taylor expansion of K in K
1.550 * [taylor]: Taking taylor expansion of (* J (pow l 5)) in K
1.550 * [taylor]: Taking taylor expansion of J in K
1.550 * [taylor]: Taking taylor expansion of (pow l 5) in K
1.550 * [taylor]: Taking taylor expansion of l in K
1.550 * [taylor]: Taking taylor expansion of (/ 1 U) in K
1.550 * [taylor]: Taking taylor expansion of U in K
1.550 * [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.551 * [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.551 * [taylor]: Taking taylor expansion of (* 1/3 (/ (cos (/ -0.5 K)) (* J (pow l 3)))) in l
1.551 * [taylor]: Taking taylor expansion of 1/3 in l
1.551 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J (pow l 3))) in l
1.551 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
1.551 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
1.551 * [taylor]: Taking taylor expansion of -0.5 in l
1.551 * [taylor]: Taking taylor expansion of K in l
1.551 * [taylor]: Taking taylor expansion of (* J (pow l 3)) in l
1.551 * [taylor]: Taking taylor expansion of J in l
1.551 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.551 * [taylor]: Taking taylor expansion of l in l
1.552 * [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.552 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in l
1.552 * [taylor]: Taking taylor expansion of 2 in l
1.552 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in l
1.552 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
1.552 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
1.552 * [taylor]: Taking taylor expansion of -0.5 in l
1.552 * [taylor]: Taking taylor expansion of K in l
1.552 * [taylor]: Taking taylor expansion of (* J l) in l
1.552 * [taylor]: Taking taylor expansion of J in l
1.552 * [taylor]: Taking taylor expansion of l in l
1.553 * [taylor]: Taking taylor expansion of (* 1/60 (/ (cos (/ -0.5 K)) (* J (pow l 5)))) in l
1.553 * [taylor]: Taking taylor expansion of 1/60 in l
1.553 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J (pow l 5))) in l
1.553 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
1.553 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
1.553 * [taylor]: Taking taylor expansion of -0.5 in l
1.553 * [taylor]: Taking taylor expansion of K in l
1.553 * [taylor]: Taking taylor expansion of (* J (pow l 5)) in l
1.553 * [taylor]: Taking taylor expansion of J in l
1.553 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.553 * [taylor]: Taking taylor expansion of l in l
1.554 * [taylor]: Taking taylor expansion of (/ 1 U) in l
1.554 * [taylor]: Taking taylor expansion of U in l
1.554 * [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.554 * [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.554 * [taylor]: Taking taylor expansion of (* 1/3 (/ (cos (/ -0.5 K)) (* J (pow l 3)))) in J
1.554 * [taylor]: Taking taylor expansion of 1/3 in J
1.554 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J (pow l 3))) 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 3)) in J
1.554 * [taylor]: Taking taylor expansion of J in J
1.554 * [taylor]: Taking taylor expansion of (pow l 3) in J
1.554 * [taylor]: Taking taylor expansion of l in J
1.555 * [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.555 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in J
1.555 * [taylor]: Taking taylor expansion of 2 in J
1.555 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J
1.555 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
1.555 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
1.555 * [taylor]: Taking taylor expansion of -0.5 in J
1.555 * [taylor]: Taking taylor expansion of K in J
1.556 * [taylor]: Taking taylor expansion of (* J l) in J
1.556 * [taylor]: Taking taylor expansion of J in J
1.556 * [taylor]: Taking taylor expansion of l in J
1.556 * [taylor]: Taking taylor expansion of (* 1/60 (/ (cos (/ -0.5 K)) (* J (pow l 5)))) in J
1.556 * [taylor]: Taking taylor expansion of 1/60 in J
1.556 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J (pow l 5))) 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.557 * [taylor]: Taking taylor expansion of (* J (pow l 5)) in J
1.557 * [taylor]: Taking taylor expansion of J in J
1.557 * [taylor]: Taking taylor expansion of (pow l 5) in J
1.557 * [taylor]: Taking taylor expansion of l in J
1.563 * [taylor]: Taking taylor expansion of (/ 1 U) in J
1.563 * [taylor]: Taking taylor expansion of U in J
1.563 * [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.563 * [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.563 * [taylor]: Taking taylor expansion of (* 1/3 (/ (cos (/ -0.5 K)) (* J (pow l 3)))) in J
1.563 * [taylor]: Taking taylor expansion of 1/3 in J
1.563 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J (pow l 3))) in J
1.563 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
1.564 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
1.564 * [taylor]: Taking taylor expansion of -0.5 in J
1.564 * [taylor]: Taking taylor expansion of K in J
1.564 * [taylor]: Taking taylor expansion of (* J (pow l 3)) in J
1.564 * [taylor]: Taking taylor expansion of J in J
1.564 * [taylor]: Taking taylor expansion of (pow l 3) in J
1.564 * [taylor]: Taking taylor expansion of l in J
1.565 * [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.565 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) (* J l))) in J
1.565 * [taylor]: Taking taylor expansion of 2 in J
1.565 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J l)) in J
1.565 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
1.565 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
1.565 * [taylor]: Taking taylor expansion of -0.5 in J
1.565 * [taylor]: Taking taylor expansion of K in J
1.565 * [taylor]: Taking taylor expansion of (* J l) in J
1.565 * [taylor]: Taking taylor expansion of J in J
1.565 * [taylor]: Taking taylor expansion of l in J
1.566 * [taylor]: Taking taylor expansion of (* 1/60 (/ (cos (/ -0.5 K)) (* J (pow l 5)))) in J
1.566 * [taylor]: Taking taylor expansion of 1/60 in J
1.566 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (* J (pow l 5))) in J
1.566 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
1.566 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
1.566 * [taylor]: Taking taylor expansion of -0.5 in J
1.566 * [taylor]: Taking taylor expansion of K in J
1.566 * [taylor]: Taking taylor expansion of (* J (pow l 5)) in J
1.566 * [taylor]: Taking taylor expansion of J in J
1.566 * [taylor]: Taking taylor expansion of (pow l 5) in J
1.566 * [taylor]: Taking taylor expansion of l in J
1.568 * [taylor]: Taking taylor expansion of (/ 1 U) in J
1.568 * [taylor]: Taking taylor expansion of U in J
1.569 * [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.569 * [taylor]: Taking taylor expansion of (* 1/60 (/ (cos (/ -0.5 K)) (pow l 5))) in l
1.569 * [taylor]: Taking taylor expansion of 1/60 in l
1.569 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (pow l 5)) in l
1.569 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
1.569 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
1.569 * [taylor]: Taking taylor expansion of -0.5 in l
1.569 * [taylor]: Taking taylor expansion of K in l
1.569 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.569 * [taylor]: Taking taylor expansion of l in l
1.571 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ (cos (/ -0.5 K)) (pow l 3))) (* 2 (/ (cos (/ -0.5 K)) l))) in l
1.571 * [taylor]: Taking taylor expansion of (* 1/3 (/ (cos (/ -0.5 K)) (pow l 3))) in l
1.571 * [taylor]: Taking taylor expansion of 1/3 in l
1.571 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (pow l 3)) in l
1.571 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
1.571 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
1.571 * [taylor]: Taking taylor expansion of -0.5 in l
1.571 * [taylor]: Taking taylor expansion of K in l
1.571 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.571 * [taylor]: Taking taylor expansion of l in l
1.572 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) l)) in l
1.572 * [taylor]: Taking taylor expansion of 2 in l
1.572 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in l
1.572 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
1.572 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
1.572 * [taylor]: Taking taylor expansion of -0.5 in l
1.572 * [taylor]: Taking taylor expansion of K in l
1.572 * [taylor]: Taking taylor expansion of l in l
1.572 * [taylor]: Taking taylor expansion of (* 1/60 (cos (/ -0.5 K))) in K
1.573 * [taylor]: Taking taylor expansion of 1/60 in K
1.573 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
1.573 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
1.573 * [taylor]: Taking taylor expansion of -0.5 in K
1.573 * [taylor]: Taking taylor expansion of K in K
1.573 * [taylor]: Taking taylor expansion of (* 1/60 (cos (/ -0.5 K))) in U
1.573 * [taylor]: Taking taylor expansion of 1/60 in U
1.573 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in U
1.573 * [taylor]: Taking taylor expansion of (/ -0.5 K) in U
1.573 * [taylor]: Taking taylor expansion of -0.5 in U
1.573 * [taylor]: Taking taylor expansion of K in U
1.584 * [taylor]: Taking taylor expansion of (- (/ 1 U)) in l
1.584 * [taylor]: Taking taylor expansion of (/ 1 U) in l
1.584 * [taylor]: Taking taylor expansion of U in l
1.588 * [taylor]: Taking taylor expansion of 0 in K
1.588 * [taylor]: Taking taylor expansion of 0 in U
1.589 * [taylor]: Taking taylor expansion of 0 in U
1.604 * [taylor]: Taking taylor expansion of 0 in l
1.609 * [taylor]: Taking taylor expansion of (* 1/3 (cos (/ -0.5 K))) in K
1.609 * [taylor]: Taking taylor expansion of 1/3 in K
1.609 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
1.609 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
1.609 * [taylor]: Taking taylor expansion of -0.5 in K
1.609 * [taylor]: Taking taylor expansion of K in K
1.610 * [taylor]: Taking taylor expansion of (* 1/3 (cos (/ -0.5 K))) in U
1.610 * [taylor]: Taking taylor expansion of 1/3 in U
1.610 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in U
1.610 * [taylor]: Taking taylor expansion of (/ -0.5 K) in U
1.610 * [taylor]: Taking taylor expansion of -0.5 in U
1.610 * [taylor]: Taking taylor expansion of K in U
1.610 * [taylor]: Taking taylor expansion of 0 in U
1.611 * [taylor]: Taking taylor expansion of 0 in U
1.632 * [taylor]: Taking taylor expansion of 0 in l
1.643 * [taylor]: Taking taylor expansion of 0 in K
1.643 * [taylor]: Taking taylor expansion of 0 in U
1.643 * [taylor]: Taking taylor expansion of 0 in U
1.643 * [taylor]: Taking taylor expansion of 0 in U
1.644 * [taylor]: Taking taylor expansion of 0 in U
1.679 * [taylor]: Taking taylor expansion of 0 in l
1.691 * [taylor]: Taking taylor expansion of (* 2 (cos (/ -0.5 K))) in K
1.692 * [taylor]: Taking taylor expansion of 2 in K
1.692 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
1.692 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
1.692 * [taylor]: Taking taylor expansion of -0.5 in K
1.692 * [taylor]: Taking taylor expansion of K in K
1.692 * [taylor]: Taking taylor expansion of (* 2 (cos (/ -0.5 K))) in U
1.692 * [taylor]: Taking taylor expansion of 2 in U
1.692 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in U
1.692 * [taylor]: Taking taylor expansion of (/ -0.5 K) in U
1.692 * [taylor]: Taking taylor expansion of -0.5 in U
1.692 * [taylor]: Taking taylor expansion of K in U
1.692 * [taylor]: Taking taylor expansion of 0 in U
1.693 * [taylor]: Taking taylor expansion of 0 in U
1.693 * [taylor]: Taking taylor expansion of 0 in U
1.694 * [taylor]: Taking taylor expansion of 0 in U
1.695 * * * [progress]: simplifying candidates
1.696 * [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.703 * * [simplify]: iteration  0 :  465  enodes  (cost  784 )
1.713 * * [simplify]: iteration  1 :  2234  enodes  (cost  701 )
1.758 * * [simplify]: iteration  2 :  5003  enodes  (cost  701 )
1.761 * [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.762 * * * [progress]: adding candidates to table
2.085 * * [progress]: iteration 3 / 4
2.085 * * * [progress]: picking best candidate
2.116 * * * * [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))>
2.116 * * * [progress]: localizing error
2.145 * * * [progress]: generating rewritten candidates
2.145 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 1 2 1)
2.146 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2 1 1 2 1 2)
2.146 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2 1 1 2 1 1)
2.147 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2 1 2)
2.149 * * * [progress]: generating series expansions
2.149 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 1 2 1)
2.149 * [approximate]: Taking taylor expansion of (pow l 1/3) in (l) around 0
2.149 * [taylor]: Taking taylor expansion of (pow l 1/3) in l
2.149 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log l))) in l
2.149 * [taylor]: Taking taylor expansion of (* 1/3 (log l)) in l
2.149 * [taylor]: Taking taylor expansion of 1/3 in l
2.149 * [taylor]: Taking taylor expansion of (log l) in l
2.149 * [taylor]: Taking taylor expansion of l in l
2.150 * [taylor]: Taking taylor expansion of (pow l 1/3) in l
2.150 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log l))) in l
2.150 * [taylor]: Taking taylor expansion of (* 1/3 (log l)) in l
2.150 * [taylor]: Taking taylor expansion of 1/3 in l
2.150 * [taylor]: Taking taylor expansion of (log l) in l
2.150 * [taylor]: Taking taylor expansion of l in l
2.201 * [approximate]: Taking taylor expansion of (pow (/ 1 l) 1/3) in (l) around 0
2.201 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
2.201 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
2.201 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
2.201 * [taylor]: Taking taylor expansion of 1/3 in l
2.201 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
2.201 * [taylor]: Taking taylor expansion of (/ 1 l) in l
2.201 * [taylor]: Taking taylor expansion of l in l
2.202 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
2.202 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
2.202 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
2.202 * [taylor]: Taking taylor expansion of 1/3 in l
2.202 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
2.202 * [taylor]: Taking taylor expansion of (/ 1 l) in l
2.202 * [taylor]: Taking taylor expansion of l in l
2.261 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in (l) around 0
2.261 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in l
2.261 * [taylor]: Taking taylor expansion of (cbrt -1) in l
2.261 * [taylor]: Taking taylor expansion of -1 in l
2.262 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
2.262 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
2.262 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
2.262 * [taylor]: Taking taylor expansion of 1/3 in l
2.262 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
2.262 * [taylor]: Taking taylor expansion of (/ 1 l) in l
2.262 * [taylor]: Taking taylor expansion of l in l
2.263 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in l
2.263 * [taylor]: Taking taylor expansion of (cbrt -1) in l
2.263 * [taylor]: Taking taylor expansion of -1 in l
2.263 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
2.263 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
2.263 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
2.263 * [taylor]: Taking taylor expansion of 1/3 in l
2.263 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
2.263 * [taylor]: Taking taylor expansion of (/ 1 l) in l
2.263 * [taylor]: Taking taylor expansion of l in l
2.334 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2 1 1 2 1 2)
2.334 * [approximate]: Taking taylor expansion of (pow l 1/3) in (l) around 0
2.335 * [taylor]: Taking taylor expansion of (pow l 1/3) in l
2.335 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log l))) in l
2.335 * [taylor]: Taking taylor expansion of (* 1/3 (log l)) in l
2.335 * [taylor]: Taking taylor expansion of 1/3 in l
2.335 * [taylor]: Taking taylor expansion of (log l) in l
2.335 * [taylor]: Taking taylor expansion of l in l
2.335 * [taylor]: Taking taylor expansion of (pow l 1/3) in l
2.335 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log l))) in l
2.335 * [taylor]: Taking taylor expansion of (* 1/3 (log l)) in l
2.335 * [taylor]: Taking taylor expansion of 1/3 in l
2.335 * [taylor]: Taking taylor expansion of (log l) in l
2.335 * [taylor]: Taking taylor expansion of l in l
2.392 * [approximate]: Taking taylor expansion of (pow (/ 1 l) 1/3) in (l) around 0
2.392 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
2.392 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
2.392 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
2.392 * [taylor]: Taking taylor expansion of 1/3 in l
2.392 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
2.392 * [taylor]: Taking taylor expansion of (/ 1 l) in l
2.392 * [taylor]: Taking taylor expansion of l in l
2.393 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
2.393 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
2.393 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
2.393 * [taylor]: Taking taylor expansion of 1/3 in l
2.393 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
2.393 * [taylor]: Taking taylor expansion of (/ 1 l) in l
2.393 * [taylor]: Taking taylor expansion of l in l
2.451 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in (l) around 0
2.451 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in l
2.451 * [taylor]: Taking taylor expansion of (cbrt -1) in l
2.451 * [taylor]: Taking taylor expansion of -1 in l
2.452 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
2.452 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
2.452 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
2.452 * [taylor]: Taking taylor expansion of 1/3 in l
2.452 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
2.452 * [taylor]: Taking taylor expansion of (/ 1 l) in l
2.452 * [taylor]: Taking taylor expansion of l in l
2.453 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in l
2.453 * [taylor]: Taking taylor expansion of (cbrt -1) in l
2.453 * [taylor]: Taking taylor expansion of -1 in l
2.454 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
2.454 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
2.454 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
2.454 * [taylor]: Taking taylor expansion of 1/3 in l
2.454 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
2.454 * [taylor]: Taking taylor expansion of (/ 1 l) in l
2.454 * [taylor]: Taking taylor expansion of l in l
2.518 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 2 1 1 2 1 1)
2.518 * [approximate]: Taking taylor expansion of (pow l 1/3) in (l) around 0
2.518 * [taylor]: Taking taylor expansion of (pow l 1/3) in l
2.518 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log l))) in l
2.518 * [taylor]: Taking taylor expansion of (* 1/3 (log l)) in l
2.518 * [taylor]: Taking taylor expansion of 1/3 in l
2.518 * [taylor]: Taking taylor expansion of (log l) in l
2.518 * [taylor]: Taking taylor expansion of l in l
2.519 * [taylor]: Taking taylor expansion of (pow l 1/3) in l
2.519 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log l))) in l
2.519 * [taylor]: Taking taylor expansion of (* 1/3 (log l)) in l
2.519 * [taylor]: Taking taylor expansion of 1/3 in l
2.519 * [taylor]: Taking taylor expansion of (log l) in l
2.519 * [taylor]: Taking taylor expansion of l in l
2.574 * [approximate]: Taking taylor expansion of (pow (/ 1 l) 1/3) in (l) around 0
2.574 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
2.574 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
2.574 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
2.574 * [taylor]: Taking taylor expansion of 1/3 in l
2.574 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
2.574 * [taylor]: Taking taylor expansion of (/ 1 l) in l
2.574 * [taylor]: Taking taylor expansion of l in l
2.575 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
2.575 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
2.575 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
2.575 * [taylor]: Taking taylor expansion of 1/3 in l
2.575 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
2.575 * [taylor]: Taking taylor expansion of (/ 1 l) in l
2.575 * [taylor]: Taking taylor expansion of l in l
2.633 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in (l) around 0
2.633 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in l
2.633 * [taylor]: Taking taylor expansion of (cbrt -1) in l
2.633 * [taylor]: Taking taylor expansion of -1 in l
2.634 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
2.634 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
2.634 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
2.634 * [taylor]: Taking taylor expansion of 1/3 in l
2.634 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
2.634 * [taylor]: Taking taylor expansion of (/ 1 l) in l
2.634 * [taylor]: Taking taylor expansion of l in l
2.635 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in l
2.635 * [taylor]: Taking taylor expansion of (cbrt -1) in l
2.635 * [taylor]: Taking taylor expansion of -1 in l
2.636 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
2.636 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
2.636 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
2.636 * [taylor]: Taking taylor expansion of 1/3 in l
2.636 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
2.636 * [taylor]: Taking taylor expansion of (/ 1 l) in l
2.636 * [taylor]: Taking taylor expansion of l in l
2.703 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2 1 2)
2.703 * [approximate]: Taking taylor expansion of (pow (pow l 1/3) 5) in (l) around 0
2.703 * [taylor]: Taking taylor expansion of (pow (pow l 1/3) 5) in l
2.703 * [taylor]: Taking taylor expansion of (pow l 1/3) in l
2.703 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log l))) in l
2.703 * [taylor]: Taking taylor expansion of (* 1/3 (log l)) in l
2.703 * [taylor]: Taking taylor expansion of 1/3 in l
2.703 * [taylor]: Taking taylor expansion of (log l) in l
2.703 * [taylor]: Taking taylor expansion of l in l
2.704 * [taylor]: Taking taylor expansion of (pow (pow l 1/3) 5) in l
2.704 * [taylor]: Taking taylor expansion of (pow l 1/3) in l
2.704 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log l))) in l
2.704 * [taylor]: Taking taylor expansion of (* 1/3 (log l)) in l
2.704 * [taylor]: Taking taylor expansion of 1/3 in l
2.704 * [taylor]: Taking taylor expansion of (log l) in l
2.704 * [taylor]: Taking taylor expansion of l in l
2.771 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 l) 1/3) 5) in (l) around 0
2.771 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 l) 1/3) 5) in l
2.771 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
2.771 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
2.771 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
2.771 * [taylor]: Taking taylor expansion of 1/3 in l
2.771 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
2.771 * [taylor]: Taking taylor expansion of (/ 1 l) in l
2.771 * [taylor]: Taking taylor expansion of l in l
2.772 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 l) 1/3) 5) in l
2.772 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
2.772 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
2.772 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
2.772 * [taylor]: Taking taylor expansion of 1/3 in l
2.772 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
2.772 * [taylor]: Taking taylor expansion of (/ 1 l) in l
2.772 * [taylor]: Taking taylor expansion of l in l
2.843 * [approximate]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 l) 1/3)) 5) in (l) around 0
2.843 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 l) 1/3)) 5) in l
2.843 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in l
2.843 * [taylor]: Taking taylor expansion of (cbrt -1) in l
2.843 * [taylor]: Taking taylor expansion of -1 in l
2.843 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
2.843 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
2.843 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
2.843 * [taylor]: Taking taylor expansion of 1/3 in l
2.843 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
2.844 * [taylor]: Taking taylor expansion of (/ 1 l) in l
2.844 * [taylor]: Taking taylor expansion of l in l
2.845 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 l) 1/3)) 5) in l
2.845 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in l
2.845 * [taylor]: Taking taylor expansion of (cbrt -1) in l
2.845 * [taylor]: Taking taylor expansion of -1 in l
2.845 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
2.845 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
2.845 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
2.846 * [taylor]: Taking taylor expansion of 1/3 in l
2.846 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
2.846 * [taylor]: Taking taylor expansion of (/ 1 l) in l
2.846 * [taylor]: Taking taylor expansion of l in l
2.977 * * * [progress]: simplifying candidates
2.978 * [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))
2.982 * * [simplify]: iteration  0 :  119  enodes  (cost  208 )
2.984 * * [simplify]: iteration  1 :  358  enodes  (cost  197 )
2.992 * * [simplify]: iteration  2 :  1295  enodes  (cost  188 )
3.025 * * [simplify]: iteration  3 :  5002  enodes  (cost  183 )
3.026 * [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.027 * * * [progress]: adding candidates to table
3.362 * * [progress]: iteration 4 / 4
3.362 * * * [progress]: picking best candidate
3.393 * * * * [pick]: Picked  #<alt (λ (J l K U) (+ (* (* J (+ (* 1/3 (pow l 3)) (+ (* (* 1/60 (pow (* (cbrt l) (cbrt l)) 5)) (* (* (cbrt (pow (cbrt l) 5)) (cbrt (pow (cbrt l) 5))) (cbrt (pow (cbrt l) 5)))) (* 2 l)))) (cos (/ K 2.0))) U))>
3.393 * * * [progress]: localizing error
3.421 * * * [progress]: generating rewritten candidates
3.421 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 2 2 1 2 2)
3.426 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 2 1 2 1 2)
3.428 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2 1 2 1 1)
3.429 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 2 1 2 2 1 1)
3.431 * * * [progress]: generating series expansions
3.431 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 2 2 1 2 2)
3.431 * [approximate]: Taking taylor expansion of (pow (pow l 5) 1/9) in (l) around 0
3.431 * [taylor]: Taking taylor expansion of (pow (pow l 5) 1/9) in l
3.431 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow l 5)))) in l
3.431 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow l 5))) in l
3.432 * [taylor]: Taking taylor expansion of 1/9 in l
3.432 * [taylor]: Taking taylor expansion of (log (pow l 5)) in l
3.432 * [taylor]: Taking taylor expansion of (pow l 5) in l
3.432 * [taylor]: Taking taylor expansion of l in l
3.433 * [taylor]: Taking taylor expansion of (pow (pow l 5) 1/9) in l
3.433 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow l 5)))) in l
3.433 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow l 5))) in l
3.433 * [taylor]: Taking taylor expansion of 1/9 in l
3.433 * [taylor]: Taking taylor expansion of (log (pow l 5)) in l
3.433 * [taylor]: Taking taylor expansion of (pow l 5) in l
3.433 * [taylor]: Taking taylor expansion of l in l
3.491 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow l 5)) 1/9) in (l) around 0
3.491 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow l 5)) 1/9) in l
3.491 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow l 5))))) in l
3.491 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow l 5)))) in l
3.491 * [taylor]: Taking taylor expansion of 1/9 in l
3.492 * [taylor]: Taking taylor expansion of (log (/ 1 (pow l 5))) in l
3.492 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
3.492 * [taylor]: Taking taylor expansion of (pow l 5) in l
3.492 * [taylor]: Taking taylor expansion of l in l
3.493 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow l 5)) 1/9) in l
3.493 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow l 5))))) in l
3.493 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow l 5)))) in l
3.493 * [taylor]: Taking taylor expansion of 1/9 in l
3.493 * [taylor]: Taking taylor expansion of (log (/ 1 (pow l 5))) in l
3.493 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
3.493 * [taylor]: Taking taylor expansion of (pow l 5) in l
3.493 * [taylor]: Taking taylor expansion of l in l
3.560 * [approximate]: Taking taylor expansion of (* (pow (pow (cbrt -1) 5) 1/3) (pow (/ 1 (pow l 5)) 1/9)) in (l) around 0
3.560 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 5) 1/3) (pow (/ 1 (pow l 5)) 1/9)) in l
3.560 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 5) 1/3) in l
3.560 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 5)))) in l
3.560 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 5))) in l
3.560 * [taylor]: Taking taylor expansion of 1/3 in l
3.560 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 5)) in l
3.560 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 5) in l
3.560 * [taylor]: Taking taylor expansion of (cbrt -1) in l
3.560 * [taylor]: Taking taylor expansion of -1 in l
3.569 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow l 5)) 1/9) in l
3.569 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow l 5))))) in l
3.569 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow l 5)))) in l
3.569 * [taylor]: Taking taylor expansion of 1/9 in l
3.569 * [taylor]: Taking taylor expansion of (log (/ 1 (pow l 5))) in l
3.569 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
3.569 * [taylor]: Taking taylor expansion of (pow l 5) in l
3.569 * [taylor]: Taking taylor expansion of l in l
3.576 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 5) 1/3) (pow (/ 1 (pow l 5)) 1/9)) in l
3.577 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 5) 1/3) in l
3.577 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 5)))) in l
3.577 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 5))) in l
3.577 * [taylor]: Taking taylor expansion of 1/3 in l
3.577 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 5)) in l
3.577 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 5) in l
3.577 * [taylor]: Taking taylor expansion of (cbrt -1) in l
3.577 * [taylor]: Taking taylor expansion of -1 in l
3.586 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow l 5)) 1/9) in l
3.586 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow l 5))))) in l
3.586 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow l 5)))) in l
3.586 * [taylor]: Taking taylor expansion of 1/9 in l
3.586 * [taylor]: Taking taylor expansion of (log (/ 1 (pow l 5))) in l
3.586 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
3.586 * [taylor]: Taking taylor expansion of (pow l 5) in l
3.586 * [taylor]: Taking taylor expansion of l in l
3.743 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 2 1 2 1 2)
3.743 * [approximate]: Taking taylor expansion of (pow (pow l 5) 1/9) in (l) around 0
3.743 * [taylor]: Taking taylor expansion of (pow (pow l 5) 1/9) in l
3.743 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow l 5)))) in l
3.743 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow l 5))) in l
3.743 * [taylor]: Taking taylor expansion of 1/9 in l
3.743 * [taylor]: Taking taylor expansion of (log (pow l 5)) in l
3.743 * [taylor]: Taking taylor expansion of (pow l 5) in l
3.743 * [taylor]: Taking taylor expansion of l in l
3.744 * [taylor]: Taking taylor expansion of (pow (pow l 5) 1/9) in l
3.744 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow l 5)))) in l
3.744 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow l 5))) in l
3.744 * [taylor]: Taking taylor expansion of 1/9 in l
3.744 * [taylor]: Taking taylor expansion of (log (pow l 5)) in l
3.744 * [taylor]: Taking taylor expansion of (pow l 5) in l
3.744 * [taylor]: Taking taylor expansion of l in l
3.809 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow l 5)) 1/9) in (l) around 0
3.809 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow l 5)) 1/9) in l
3.809 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow l 5))))) in l
3.809 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow l 5)))) in l
3.809 * [taylor]: Taking taylor expansion of 1/9 in l
3.809 * [taylor]: Taking taylor expansion of (log (/ 1 (pow l 5))) in l
3.809 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
3.809 * [taylor]: Taking taylor expansion of (pow l 5) in l
3.809 * [taylor]: Taking taylor expansion of l in l
3.811 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow l 5)) 1/9) in l
3.811 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow l 5))))) in l
3.811 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow l 5)))) in l
3.811 * [taylor]: Taking taylor expansion of 1/9 in l
3.811 * [taylor]: Taking taylor expansion of (log (/ 1 (pow l 5))) in l
3.811 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
3.811 * [taylor]: Taking taylor expansion of (pow l 5) in l
3.811 * [taylor]: Taking taylor expansion of l in l
3.878 * [approximate]: Taking taylor expansion of (* (pow (pow (cbrt -1) 5) 1/3) (pow (/ 1 (pow l 5)) 1/9)) in (l) around 0
3.878 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 5) 1/3) (pow (/ 1 (pow l 5)) 1/9)) in l
3.878 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 5) 1/3) in l
3.878 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 5)))) in l
3.878 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 5))) in l
3.878 * [taylor]: Taking taylor expansion of 1/3 in l
3.878 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 5)) in l
3.878 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 5) in l
3.878 * [taylor]: Taking taylor expansion of (cbrt -1) in l
3.878 * [taylor]: Taking taylor expansion of -1 in l
3.888 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow l 5)) 1/9) in l
3.888 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow l 5))))) in l
3.888 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow l 5)))) in l
3.888 * [taylor]: Taking taylor expansion of 1/9 in l
3.888 * [taylor]: Taking taylor expansion of (log (/ 1 (pow l 5))) in l
3.888 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
3.888 * [taylor]: Taking taylor expansion of (pow l 5) in l
3.888 * [taylor]: Taking taylor expansion of l in l
3.889 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 5) 1/3) (pow (/ 1 (pow l 5)) 1/9)) in l
3.889 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 5) 1/3) in l
3.889 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 5)))) in l
3.889 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 5))) in l
3.889 * [taylor]: Taking taylor expansion of 1/3 in l
3.889 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 5)) in l
3.889 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 5) in l
3.889 * [taylor]: Taking taylor expansion of (cbrt -1) in l
3.889 * [taylor]: Taking taylor expansion of -1 in l
3.898 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow l 5)) 1/9) in l
3.898 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow l 5))))) in l
3.898 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow l 5)))) in l
3.898 * [taylor]: Taking taylor expansion of 1/9 in l
3.898 * [taylor]: Taking taylor expansion of (log (/ 1 (pow l 5))) in l
3.898 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
3.898 * [taylor]: Taking taylor expansion of (pow l 5) in l
3.898 * [taylor]: Taking taylor expansion of l in l
4.057 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2 2 1 2 1 1)
4.057 * [approximate]: Taking taylor expansion of (pow (pow l 5) 1/9) in (l) around 0
4.057 * [taylor]: Taking taylor expansion of (pow (pow l 5) 1/9) in l
4.057 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow l 5)))) in l
4.057 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow l 5))) in l
4.057 * [taylor]: Taking taylor expansion of 1/9 in l
4.057 * [taylor]: Taking taylor expansion of (log (pow l 5)) in l
4.057 * [taylor]: Taking taylor expansion of (pow l 5) in l
4.057 * [taylor]: Taking taylor expansion of l in l
4.058 * [taylor]: Taking taylor expansion of (pow (pow l 5) 1/9) in l
4.058 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow l 5)))) in l
4.058 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow l 5))) in l
4.058 * [taylor]: Taking taylor expansion of 1/9 in l
4.058 * [taylor]: Taking taylor expansion of (log (pow l 5)) in l
4.058 * [taylor]: Taking taylor expansion of (pow l 5) in l
4.058 * [taylor]: Taking taylor expansion of l in l
4.122 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow l 5)) 1/9) in (l) around 0
4.122 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow l 5)) 1/9) in l
4.122 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow l 5))))) in l
4.122 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow l 5)))) in l
4.122 * [taylor]: Taking taylor expansion of 1/9 in l
4.122 * [taylor]: Taking taylor expansion of (log (/ 1 (pow l 5))) in l
4.122 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
4.122 * [taylor]: Taking taylor expansion of (pow l 5) in l
4.122 * [taylor]: Taking taylor expansion of l in l
4.124 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow l 5)) 1/9) in l
4.124 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow l 5))))) in l
4.124 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow l 5)))) in l
4.124 * [taylor]: Taking taylor expansion of 1/9 in l
4.124 * [taylor]: Taking taylor expansion of (log (/ 1 (pow l 5))) in l
4.124 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
4.124 * [taylor]: Taking taylor expansion of (pow l 5) in l
4.124 * [taylor]: Taking taylor expansion of l in l
4.190 * [approximate]: Taking taylor expansion of (* (pow (pow (cbrt -1) 5) 1/3) (pow (/ 1 (pow l 5)) 1/9)) in (l) around 0
4.190 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 5) 1/3) (pow (/ 1 (pow l 5)) 1/9)) in l
4.190 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 5) 1/3) in l
4.190 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 5)))) in l
4.190 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 5))) in l
4.190 * [taylor]: Taking taylor expansion of 1/3 in l
4.190 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 5)) in l
4.190 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 5) in l
4.190 * [taylor]: Taking taylor expansion of (cbrt -1) in l
4.190 * [taylor]: Taking taylor expansion of -1 in l
4.199 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow l 5)) 1/9) in l
4.199 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow l 5))))) in l
4.199 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow l 5)))) in l
4.199 * [taylor]: Taking taylor expansion of 1/9 in l
4.199 * [taylor]: Taking taylor expansion of (log (/ 1 (pow l 5))) in l
4.199 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
4.199 * [taylor]: Taking taylor expansion of (pow l 5) in l
4.199 * [taylor]: Taking taylor expansion of l in l
4.201 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 5) 1/3) (pow (/ 1 (pow l 5)) 1/9)) in l
4.201 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 5) 1/3) in l
4.201 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 5)))) in l
4.201 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 5))) in l
4.201 * [taylor]: Taking taylor expansion of 1/3 in l
4.201 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 5)) in l
4.201 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 5) in l
4.201 * [taylor]: Taking taylor expansion of (cbrt -1) in l
4.201 * [taylor]: Taking taylor expansion of -1 in l
4.210 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow l 5)) 1/9) in l
4.210 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow l 5))))) in l
4.210 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow l 5)))) in l
4.210 * [taylor]: Taking taylor expansion of 1/9 in l
4.210 * [taylor]: Taking taylor expansion of (log (/ 1 (pow l 5))) in l
4.210 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
4.210 * [taylor]: Taking taylor expansion of (pow l 5) in l
4.210 * [taylor]: Taking taylor expansion of l in l
4.365 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 2 1 2 2 1 1)
4.365 * [approximate]: Taking taylor expansion of (pow l 1/3) in (l) around 0
4.365 * [taylor]: Taking taylor expansion of (pow l 1/3) in l
4.365 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log l))) in l
4.365 * [taylor]: Taking taylor expansion of (* 1/3 (log l)) in l
4.365 * [taylor]: Taking taylor expansion of 1/3 in l
4.365 * [taylor]: Taking taylor expansion of (log l) in l
4.365 * [taylor]: Taking taylor expansion of l in l
4.365 * [taylor]: Taking taylor expansion of (pow l 1/3) in l
4.365 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log l))) in l
4.365 * [taylor]: Taking taylor expansion of (* 1/3 (log l)) in l
4.365 * [taylor]: Taking taylor expansion of 1/3 in l
4.365 * [taylor]: Taking taylor expansion of (log l) in l
4.365 * [taylor]: Taking taylor expansion of l in l
4.418 * [approximate]: Taking taylor expansion of (pow (/ 1 l) 1/3) in (l) around 0
4.418 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
4.418 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
4.418 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
4.418 * [taylor]: Taking taylor expansion of 1/3 in l
4.418 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
4.418 * [taylor]: Taking taylor expansion of (/ 1 l) in l
4.419 * [taylor]: Taking taylor expansion of l in l
4.419 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
4.419 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
4.419 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
4.419 * [taylor]: Taking taylor expansion of 1/3 in l
4.419 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
4.419 * [taylor]: Taking taylor expansion of (/ 1 l) in l
4.419 * [taylor]: Taking taylor expansion of l in l
4.469 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in (l) around 0
4.469 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in l
4.469 * [taylor]: Taking taylor expansion of (cbrt -1) in l
4.469 * [taylor]: Taking taylor expansion of -1 in l
4.470 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
4.470 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
4.470 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
4.470 * [taylor]: Taking taylor expansion of 1/3 in l
4.470 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
4.470 * [taylor]: Taking taylor expansion of (/ 1 l) in l
4.470 * [taylor]: Taking taylor expansion of l in l
4.471 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 l) 1/3)) in l
4.471 * [taylor]: Taking taylor expansion of (cbrt -1) in l
4.471 * [taylor]: Taking taylor expansion of -1 in l
4.471 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 1/3) in l
4.472 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 l)))) in l
4.472 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 l))) in l
4.472 * [taylor]: Taking taylor expansion of 1/3 in l
4.472 * [taylor]: Taking taylor expansion of (log (/ 1 l)) in l
4.472 * [taylor]: Taking taylor expansion of (/ 1 l) in l
4.472 * [taylor]: Taking taylor expansion of l in l
4.539 * * * [progress]: simplifying candidates
4.540 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (pow (cbrt l) 5)))
  (exp (cbrt (pow (cbrt l) 5)))
  (cbrt (pow (cbrt (* (cbrt l) (cbrt l))) 5))
  (cbrt (pow (cbrt (cbrt l)) 5))
  (cbrt (pow (cbrt (sqrt l)) 5))
  (cbrt (pow (cbrt (sqrt l)) 5))
  (cbrt (pow (cbrt 1) 5))
  (cbrt (pow (cbrt l) 5))
  (cbrt (pow (* (cbrt (cbrt l)) (cbrt (cbrt l))) 5))
  (cbrt (pow (cbrt (cbrt l)) 5))
  (cbrt (pow (sqrt (cbrt l)) 5))
  (cbrt (pow (sqrt (cbrt l)) 5))
  (cbrt (pow 1 5))
  (cbrt (pow (cbrt l) 5))
  (cbrt (* (cbrt (pow (cbrt l) 5)) (cbrt (pow (cbrt l) 5))))
  (cbrt (cbrt (pow (cbrt l) 5)))
  (cbrt (sqrt (pow (cbrt l) 5)))
  (cbrt (sqrt (pow (cbrt l) 5)))
  (cbrt 1)
  (cbrt (pow (cbrt l) 5))
  (cbrt (pow (cbrt l) (/ 5 2)))
  (cbrt (pow (cbrt l) (/ 5 2)))
  (* (cbrt (cbrt (pow (cbrt l) 5))) (cbrt (cbrt (pow (cbrt l) 5))))
  (cbrt (cbrt (pow (cbrt l) 5)))
  (* (* (cbrt (pow (cbrt l) 5)) (cbrt (pow (cbrt l) 5))) (cbrt (pow (cbrt l) 5)))
  (sqrt (cbrt (pow (cbrt l) 5)))
  (sqrt (cbrt (pow (cbrt l) 5)))
  (log (cbrt (pow (cbrt l) 5)))
  (exp (cbrt (pow (cbrt l) 5)))
  (cbrt (pow (cbrt (* (cbrt l) (cbrt l))) 5))
  (cbrt (pow (cbrt (cbrt l)) 5))
  (cbrt (pow (cbrt (sqrt l)) 5))
  (cbrt (pow (cbrt (sqrt l)) 5))
  (cbrt (pow (cbrt 1) 5))
  (cbrt (pow (cbrt l) 5))
  (cbrt (pow (* (cbrt (cbrt l)) (cbrt (cbrt l))) 5))
  (cbrt (pow (cbrt (cbrt l)) 5))
  (cbrt (pow (sqrt (cbrt l)) 5))
  (cbrt (pow (sqrt (cbrt l)) 5))
  (cbrt (pow 1 5))
  (cbrt (pow (cbrt l) 5))
  (cbrt (* (cbrt (pow (cbrt l) 5)) (cbrt (pow (cbrt l) 5))))
  (cbrt (cbrt (pow (cbrt l) 5)))
  (cbrt (sqrt (pow (cbrt l) 5)))
  (cbrt (sqrt (pow (cbrt l) 5)))
  (cbrt 1)
  (cbrt (pow (cbrt l) 5))
  (cbrt (pow (cbrt l) (/ 5 2)))
  (cbrt (pow (cbrt l) (/ 5 2)))
  (* (cbrt (cbrt (pow (cbrt l) 5))) (cbrt (cbrt (pow (cbrt l) 5))))
  (cbrt (cbrt (pow (cbrt l) 5)))
  (* (* (cbrt (pow (cbrt l) 5)) (cbrt (pow (cbrt l) 5))) (cbrt (pow (cbrt l) 5)))
  (sqrt (cbrt (pow (cbrt l) 5)))
  (sqrt (cbrt (pow (cbrt l) 5)))
  (log (cbrt (pow (cbrt l) 5)))
  (exp (cbrt (pow (cbrt l) 5)))
  (cbrt (pow (cbrt (* (cbrt l) (cbrt l))) 5))
  (cbrt (pow (cbrt (cbrt l)) 5))
  (cbrt (pow (cbrt (sqrt l)) 5))
  (cbrt (pow (cbrt (sqrt l)) 5))
  (cbrt (pow (cbrt 1) 5))
  (cbrt (pow (cbrt l) 5))
  (cbrt (pow (* (cbrt (cbrt l)) (cbrt (cbrt l))) 5))
  (cbrt (pow (cbrt (cbrt l)) 5))
  (cbrt (pow (sqrt (cbrt l)) 5))
  (cbrt (pow (sqrt (cbrt l)) 5))
  (cbrt (pow 1 5))
  (cbrt (pow (cbrt l) 5))
  (cbrt (* (cbrt (pow (cbrt l) 5)) (cbrt (pow (cbrt l) 5))))
  (cbrt (cbrt (pow (cbrt l) 5)))
  (cbrt (sqrt (pow (cbrt l) 5)))
  (cbrt (sqrt (pow (cbrt l) 5)))
  (cbrt 1)
  (cbrt (pow (cbrt l) 5))
  (cbrt (pow (cbrt l) (/ 5 2)))
  (cbrt (pow (cbrt l) (/ 5 2)))
  (* (cbrt (cbrt (pow (cbrt l) 5))) (cbrt (cbrt (pow (cbrt l) 5))))
  (cbrt (cbrt (pow (cbrt l) 5)))
  (* (* (cbrt (pow (cbrt l) 5)) (cbrt (pow (cbrt l) 5))) (cbrt (pow (cbrt l) 5)))
  (sqrt (cbrt (pow (cbrt l) 5)))
  (sqrt (cbrt (pow (cbrt l) 5)))
  (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))
  (pow l 5/9)
  (pow (/ 1 l) -5/9)
  (* (pow (* -1 (pow l 5)) 1/9) (pow (pow (cbrt -1) 5) 1/3))
  (pow l 5/9)
  (pow (/ 1 l) -5/9)
  (* (pow (* -1 (pow l 5)) 1/9) (pow (pow (cbrt -1) 5) 1/3))
  (pow l 5/9)
  (pow (/ 1 l) -5/9)
  (* (pow (* -1 (pow l 5)) 1/9) (pow (pow (cbrt -1) 5) 1/3))
  (pow l 1/3)
  (pow (/ 1 l) -1/3)
  (* (pow (* -1 l) 1/3) (cbrt -1))
4.544 * * [simplify]: iteration  0 :  119  enodes  (cost  420 )
4.546 * * [simplify]: iteration  1 :  249  enodes  (cost  396 )
4.551 * * [simplify]: iteration  2 :  672  enodes  (cost  388 )
4.562 * * [simplify]: iteration  3 :  2149  enodes  (cost  372 )
4.603 * * [simplify]: iteration  4 :  5001  enodes  (cost  372 )
4.605 * [simplify]: Simplified to:
   (log (cbrt (pow (cbrt l) 5)))
  (exp (cbrt (pow (cbrt l) 5)))
  (cbrt (pow (cbrt (* (cbrt l) (cbrt l))) 5))
  (cbrt (pow (cbrt (cbrt l)) 5))
  (cbrt (pow (cbrt (sqrt l)) 5))
  (cbrt (pow (cbrt (sqrt l)) 5))
  1
  (cbrt (pow (cbrt l) 5))
  (cbrt (pow (* (cbrt (cbrt l)) (cbrt (cbrt l))) 5))
  (cbrt (pow (cbrt (cbrt l)) 5))
  (cbrt (pow (sqrt (cbrt l)) 5))
  (cbrt (pow (sqrt (cbrt l)) 5))
  1
  (cbrt (pow (cbrt l) 5))
  (cbrt (* (cbrt (pow (cbrt l) 5)) (cbrt (pow (cbrt l) 5))))
  (cbrt (cbrt (pow (cbrt l) 5)))
  (cbrt (sqrt (pow (cbrt l) 5)))
  (cbrt (sqrt (pow (cbrt l) 5)))
  1
  (cbrt (pow (cbrt l) 5))
  (cbrt (pow (cbrt l) 5/2))
  (cbrt (pow (cbrt l) 5/2))
  (* (cbrt (cbrt (pow (cbrt l) 5))) (cbrt (cbrt (pow (cbrt l) 5))))
  (cbrt (cbrt (pow (cbrt l) 5)))
  (pow (cbrt l) 5)
  (sqrt (cbrt (pow (cbrt l) 5)))
  (sqrt (cbrt (pow (cbrt l) 5)))
  (log (cbrt (pow (cbrt l) 5)))
  (exp (cbrt (pow (cbrt l) 5)))
  (cbrt (pow (cbrt (* (cbrt l) (cbrt l))) 5))
  (cbrt (pow (cbrt (cbrt l)) 5))
  (cbrt (pow (cbrt (sqrt l)) 5))
  (cbrt (pow (cbrt (sqrt l)) 5))
  1
  (cbrt (pow (cbrt l) 5))
  (cbrt (pow (* (cbrt (cbrt l)) (cbrt (cbrt l))) 5))
  (cbrt (pow (cbrt (cbrt l)) 5))
  (cbrt (pow (sqrt (cbrt l)) 5))
  (cbrt (pow (sqrt (cbrt l)) 5))
  1
  (cbrt (pow (cbrt l) 5))
  (cbrt (* (cbrt (pow (cbrt l) 5)) (cbrt (pow (cbrt l) 5))))
  (cbrt (cbrt (pow (cbrt l) 5)))
  (cbrt (sqrt (pow (cbrt l) 5)))
  (cbrt (sqrt (pow (cbrt l) 5)))
  1
  (cbrt (pow (cbrt l) 5))
  (cbrt (pow (cbrt l) 5/2))
  (cbrt (pow (cbrt l) 5/2))
  (* (cbrt (cbrt (pow (cbrt l) 5))) (cbrt (cbrt (pow (cbrt l) 5))))
  (cbrt (cbrt (pow (cbrt l) 5)))
  (pow (cbrt l) 5)
  (sqrt (cbrt (pow (cbrt l) 5)))
  (sqrt (cbrt (pow (cbrt l) 5)))
  (log (cbrt (pow (cbrt l) 5)))
  (exp (cbrt (pow (cbrt l) 5)))
  (cbrt (pow (cbrt (* (cbrt l) (cbrt l))) 5))
  (cbrt (pow (cbrt (cbrt l)) 5))
  (cbrt (pow (cbrt (sqrt l)) 5))
  (cbrt (pow (cbrt (sqrt l)) 5))
  1
  (cbrt (pow (cbrt l) 5))
  (cbrt (pow (* (cbrt (cbrt l)) (cbrt (cbrt l))) 5))
  (cbrt (pow (cbrt (cbrt l)) 5))
  (cbrt (pow (sqrt (cbrt l)) 5))
  (cbrt (pow (sqrt (cbrt l)) 5))
  1
  (cbrt (pow (cbrt l) 5))
  (cbrt (* (cbrt (pow (cbrt l) 5)) (cbrt (pow (cbrt l) 5))))
  (cbrt (cbrt (pow (cbrt l) 5)))
  (cbrt (sqrt (pow (cbrt l) 5)))
  (cbrt (sqrt (pow (cbrt l) 5)))
  1
  (cbrt (pow (cbrt l) 5))
  (cbrt (pow (cbrt l) 5/2))
  (cbrt (pow (cbrt l) 5/2))
  (* (cbrt (cbrt (pow (cbrt l) 5))) (cbrt (cbrt (pow (cbrt l) 5))))
  (cbrt (cbrt (pow (cbrt l) 5)))
  (pow (cbrt l) 5)
  (sqrt (cbrt (pow (cbrt l) 5)))
  (sqrt (cbrt (pow (cbrt l) 5)))
  (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
  (sqrt (cbrt l))
  (sqrt (cbrt l))
  (pow l 5/9)
  (pow (/ 1 l) -5/9)
  (* (pow (* -1 (pow l 5)) 1/9) (pow (pow (cbrt -1) 5) 1/3))
  (pow l 5/9)
  (pow (/ 1 l) -5/9)
  (* (pow (* -1 (pow l 5)) 1/9) (pow (pow (cbrt -1) 5) 1/3))
  (pow l 5/9)
  (pow (/ 1 l) -5/9)
  (* (pow (* -1 (pow l 5)) 1/9) (pow (pow (cbrt -1) 5) 1/3))
  (pow l 1/3)
  (pow (/ 1 l) -1/3)
  (* (pow (* -1 l) 1/3) (cbrt -1))
4.605 * * * [progress]: adding candidates to table
5.074 * [progress]: [Phase 3 of 3] Extracting.
5.074 * * [regime]: Finding splitpoints for: (#<alt (λ (J l K U) (+ (* (* J (log (exp (- (exp l) (exp (- l)))))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (/ (* (* 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))) (- (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) U))> #<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 (+ (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))> #<alt (λ (J l K 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)))))))> #<alt (λ (J l K U) (+ (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (* (* (* (cbrt J) (cbrt J)) (* (cbrt J) (- (exp l) (exp (- 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)) (* (* (* (cbrt (* (cbrt (pow (cbrt l) 5)) (cbrt (pow (cbrt l) 5)))) (cbrt (cbrt (pow (cbrt l) 5)))) (cbrt (pow (cbrt l) 5))) (cbrt (pow (cbrt l) 5)))) (* 2 l)))) (cos (/ K 2.0))) U))>)
5.081 * * * [regime-changes]: Trying 10 branch expressions: ((/ K 2.0) (cos (/ K 2.0)) (- (exp l) (exp (- l))) (* J (- (exp l) (exp (- l)))) (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))) (+ (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))) U) U K l J)
5.081 * * * * [regimes]: Trying to branch on (/ K 2.0) from (#<alt (λ (J l K U) (+ (* (* J (log (exp (- (exp l) (exp (- l)))))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (/ (* (* 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))) (- (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) U))> #<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 (+ (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))> #<alt (λ (J l K 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)))))))> #<alt (λ (J l K U) (+ (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (* (* (* (cbrt J) (cbrt J)) (* (cbrt J) (- (exp l) (exp (- 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)) (* (* (* (cbrt (* (cbrt (pow (cbrt l) 5)) (cbrt (pow (cbrt l) 5)))) (cbrt (cbrt (pow (cbrt l) 5)))) (cbrt (pow (cbrt l) 5))) (cbrt (pow (cbrt l) 5)))) (* 2 l)))) (cos (/ K 2.0))) U))>)
5.134 * * * * [regimes]: Trying to branch on (cos (/ K 2.0)) from (#<alt (λ (J l K U) (+ (* (* J (log (exp (- (exp l) (exp (- l)))))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (/ (* (* 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))) (- (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) U))> #<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 (+ (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))> #<alt (λ (J l K 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)))))))> #<alt (λ (J l K U) (+ (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (* (* (* (cbrt J) (cbrt J)) (* (cbrt J) (- (exp l) (exp (- 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)) (* (* (* (cbrt (* (cbrt (pow (cbrt l) 5)) (cbrt (pow (cbrt l) 5)))) (cbrt (cbrt (pow (cbrt l) 5)))) (cbrt (pow (cbrt l) 5))) (cbrt (pow (cbrt l) 5)))) (* 2 l)))) (cos (/ K 2.0))) U))>)
5.188 * * * * [regimes]: Trying to branch on (- (exp l) (exp (- l))) from (#<alt (λ (J l K U) (+ (* (* J (log (exp (- (exp l) (exp (- l)))))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (/ (* (* 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))) (- (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) U))> #<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 (+ (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))> #<alt (λ (J l K 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)))))))> #<alt (λ (J l K U) (+ (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (* (* (* (cbrt J) (cbrt J)) (* (cbrt J) (- (exp l) (exp (- 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)) (* (* (* (cbrt (* (cbrt (pow (cbrt l) 5)) (cbrt (pow (cbrt l) 5)))) (cbrt (cbrt (pow (cbrt l) 5)))) (cbrt (pow (cbrt l) 5))) (cbrt (pow (cbrt l) 5)))) (* 2 l)))) (cos (/ K 2.0))) U))>)
5.240 * * * * [regimes]: Trying to branch on (- (exp l) (exp (- l))) from (#<alt (λ (J l K U) (+ (* (* J (log (exp (- (exp l) (exp (- l)))))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (* (* (* (cbrt J) (cbrt J)) (* (cbrt J) (- (exp l) (exp (- l))))) (cos (/ K 2.0))) U))>)
5.265 * * * * [regimes]: Trying to branch on (* J (- (exp l) (exp (- l)))) from (#<alt (λ (J l K U) (+ (* (* J (log (exp (- (exp l) (exp (- l)))))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (/ (* (* 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))) (- (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) U))> #<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 (+ (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))> #<alt (λ (J l K 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)))))))> #<alt (λ (J l K U) (+ (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (* (* (* (cbrt J) (cbrt J)) (* (cbrt J) (- (exp l) (exp (- 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)) (* (* (* (cbrt (* (cbrt (pow (cbrt l) 5)) (cbrt (pow (cbrt l) 5)))) (cbrt (cbrt (pow (cbrt l) 5)))) (cbrt (pow (cbrt l) 5))) (cbrt (pow (cbrt l) 5)))) (* 2 l)))) (cos (/ K 2.0))) U))>)
5.318 * * * * [regimes]: Trying to branch on (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))) from (#<alt (λ (J l K U) (+ (* (* J (log (exp (- (exp l) (exp (- l)))))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (/ (* (* 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))) (- (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) U))> #<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 (+ (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))> #<alt (λ (J l K 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)))))))> #<alt (λ (J l K U) (+ (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (* (* (* (cbrt J) (cbrt J)) (* (cbrt J) (- (exp l) (exp (- 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)) (* (* (* (cbrt (* (cbrt (pow (cbrt l) 5)) (cbrt (pow (cbrt l) 5)))) (cbrt (cbrt (pow (cbrt l) 5)))) (cbrt (pow (cbrt l) 5))) (cbrt (pow (cbrt l) 5)))) (* 2 l)))) (cos (/ K 2.0))) U))>)
5.374 * * * * [regimes]: Trying to branch on (+ (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))) U) from (#<alt (λ (J l K U) (+ (* (* J (log (exp (- (exp l) (exp (- l)))))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (/ (* (* 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))) (- (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) U))> #<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 (+ (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))> #<alt (λ (J l K 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)))))))> #<alt (λ (J l K U) (+ (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (* (* (* (cbrt J) (cbrt J)) (* (cbrt J) (- (exp l) (exp (- 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)) (* (* (* (cbrt (* (cbrt (pow (cbrt l) 5)) (cbrt (pow (cbrt l) 5)))) (cbrt (cbrt (pow (cbrt l) 5)))) (cbrt (pow (cbrt l) 5))) (cbrt (pow (cbrt l) 5)))) (* 2 l)))) (cos (/ K 2.0))) U))>)
5.437 * * * * [regimes]: Trying to branch on U from (#<alt (λ (J l K U) (+ (* (* J (log (exp (- (exp l) (exp (- l)))))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (/ (* (* 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))) (- (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) U))> #<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 (+ (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))> #<alt (λ (J l K 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)))))))> #<alt (λ (J l K U) (+ (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (* (* (* (cbrt J) (cbrt J)) (* (cbrt J) (- (exp l) (exp (- 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)) (* (* (* (cbrt (* (cbrt (pow (cbrt l) 5)) (cbrt (pow (cbrt l) 5)))) (cbrt (cbrt (pow (cbrt l) 5)))) (cbrt (pow (cbrt l) 5))) (cbrt (pow (cbrt l) 5)))) (* 2 l)))) (cos (/ K 2.0))) U))>)
5.489 * * * * [regimes]: Trying to branch on K from (#<alt (λ (J l K U) (+ (* (* J (log (exp (- (exp l) (exp (- l)))))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (/ (* (* 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))) (- (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) U))> #<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 (+ (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))> #<alt (λ (J l K 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)))))))> #<alt (λ (J l K U) (+ (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (* (* (* (cbrt J) (cbrt J)) (* (cbrt J) (- (exp l) (exp (- 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)) (* (* (* (cbrt (* (cbrt (pow (cbrt l) 5)) (cbrt (pow (cbrt l) 5)))) (cbrt (cbrt (pow (cbrt l) 5)))) (cbrt (pow (cbrt l) 5))) (cbrt (pow (cbrt l) 5)))) (* 2 l)))) (cos (/ K 2.0))) U))>)
5.541 * * * * [regimes]: Trying to branch on l from (#<alt (λ (J l K U) (+ (* (* J (log (exp (- (exp l) (exp (- l)))))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (/ (* (* 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))) (- (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) U))> #<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 (+ (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))> #<alt (λ (J l K 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)))))))> #<alt (λ (J l K U) (+ (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (* (* (* (cbrt J) (cbrt J)) (* (cbrt J) (- (exp l) (exp (- 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)) (* (* (* (cbrt (* (cbrt (pow (cbrt l) 5)) (cbrt (pow (cbrt l) 5)))) (cbrt (cbrt (pow (cbrt l) 5)))) (cbrt (pow (cbrt l) 5))) (cbrt (pow (cbrt l) 5)))) (* 2 l)))) (cos (/ K 2.0))) U))>)
5.593 * * * * [regimes]: Trying to branch on J from (#<alt (λ (J l K U) (+ (* (* J (log (exp (- (exp l) (exp (- l)))))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (/ (* (* 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))) (- (* 1/3 (pow l 3)) (+ (* 1/60 (pow l 5)) (* 2 l)))) U))> #<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 (+ (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))> #<alt (λ (J l K 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)))))))> #<alt (λ (J l K U) (+ (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))) U))> #<alt (λ (J l K U) (+ (* (* (* (cbrt J) (cbrt J)) (* (cbrt J) (- (exp l) (exp (- 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)) (* (* (* (cbrt (* (cbrt (pow (cbrt l) 5)) (cbrt (pow (cbrt l) 5)))) (cbrt (cbrt (pow (cbrt l) 5)))) (cbrt (pow (cbrt l) 5))) (cbrt (pow (cbrt l) 5)))) (* 2 l)))) (cos (/ K 2.0))) U))>)
5.645 * * * [regime]: Found split indices: #<option (#s(si 8 255))>
5.645 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (* (* J (+ (* 1/3 (pow l 3)) (+ (* (* 1/60 (pow (* (cbrt l) (cbrt l)) 5)) (* (* (* (cbrt (* (cbrt (pow (cbrt l) 5)) (cbrt (pow (cbrt l) 5)))) (cbrt (cbrt (pow (cbrt l) 5)))) (cbrt (pow (cbrt l) 5))) (cbrt (pow (cbrt l) 5)))) (* 2 l)))) (cos (/ K 2.0))) U)
5.646 * * [simplify]: iteration  0 :  45  enodes  (cost  37 )
5.646 * * [simplify]: iteration  1 :  45  enodes  (cost  37 )
5.647 * [simplify]: Simplified to:
   (+ (* (* J (+ (* 1/3 (pow l 3)) (+ (* (* 1/60 (pow (* (cbrt l) (cbrt l)) 5)) (* (* (* (cbrt (* (cbrt (pow (cbrt l) 5)) (cbrt (pow (cbrt l) 5)))) (cbrt (cbrt (pow (cbrt l) 5)))) (cbrt (pow (cbrt l) 5))) (cbrt (pow (cbrt l) 5)))) (* 2 l)))) (cos (/ K 2.0))) U)
10.521 * [regime-testing]: Baseline error score: 0.39713012078212595
10.522 * [regime-testing]: Oracle error score: 0.03400344907013555
10.523 * [regime-testing]: End program error score: 0.39713012078212595