22.858 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.101 * * * [progress]: [2/2] Setting up program.
0.104 * [progress]: [Phase 2 of 3] Improving.
0.105 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0))) U)
0.107 * * [simplify]: iteration  0 :  24  enodes  (cost  8 )
0.108 * * [simplify]: iteration  1 :  44  enodes  (cost  8 )
0.110 * * [simplify]: iteration  2 :  91  enodes  (cost  8 )
0.112 * * [simplify]: iteration  3 :  195  enodes  (cost  8 )
0.115 * * [simplify]: iteration  4 :  332  enodes  (cost  8 )
0.120 * * [simplify]: iteration  5 :  652  enodes  (cost  8 )
0.128 * * [simplify]: iteration  6 :  1279  enodes  (cost  8 )
0.137 * * [simplify]: iteration  7 :  1694  enodes  (cost  8 )
0.167 * * [simplify]: iteration  8 :  4980  enodes  (cost  8 )
0.481 * * [simplify]: iteration  9 :  5001  enodes  (cost  8 )
0.483 * [simplify]: Simplified to:
   (fma (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)) U)
0.487 * * [progress]: iteration 1 / 4
0.487 * * * [progress]: picking best candidate
0.490 * * * * [pick]: Picked  #<alt (λ (J l K U) (fma (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)) U))>
0.490 * * * [progress]: localizing error
0.502 * * * [progress]: generating rewritten candidates
0.502 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2)
0.507 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
0.516 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.519 * * * [progress]: generating series expansions
0.519 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2)
0.519 * [approximate]: Taking taylor expansion of (- (exp l) (exp (- l))) in (l) around 0
0.519 * [taylor]: Taking taylor expansion of (- (exp l) (exp (- l))) in l
0.519 * [taylor]: Taking taylor expansion of (exp l) in l
0.519 * [taylor]: Taking taylor expansion of l in l
0.519 * [taylor]: Taking taylor expansion of (exp (- l)) in l
0.519 * [taylor]: Taking taylor expansion of (- l) in l
0.519 * [taylor]: Taking taylor expansion of l in l
0.520 * [taylor]: Taking taylor expansion of (- (exp l) (exp (- l))) in l
0.520 * [taylor]: Taking taylor expansion of (exp l) in l
0.520 * [taylor]: Taking taylor expansion of l in l
0.520 * [taylor]: Taking taylor expansion of (exp (- l)) in l
0.520 * [taylor]: Taking taylor expansion of (- l) in l
0.520 * [taylor]: Taking taylor expansion of l in l
0.545 * [approximate]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in (l) around 0
0.545 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in l
0.545 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.545 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.545 * [taylor]: Taking taylor expansion of l in l
0.545 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in l
0.545 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in l
0.545 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.545 * [taylor]: Taking taylor expansion of l in l
0.546 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in l
0.546 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.546 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.546 * [taylor]: Taking taylor expansion of l in l
0.546 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in l
0.546 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in l
0.546 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.546 * [taylor]: Taking taylor expansion of l in l
0.554 * [approximate]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in (l) around 0
0.554 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l
0.554 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l
0.554 * [taylor]: Taking taylor expansion of (/ -1 l) in l
0.554 * [taylor]: Taking taylor expansion of -1 in l
0.554 * [taylor]: Taking taylor expansion of l in l
0.555 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.555 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.555 * [taylor]: Taking taylor expansion of l in l
0.555 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l
0.555 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l
0.555 * [taylor]: Taking taylor expansion of (/ -1 l) in l
0.555 * [taylor]: Taking taylor expansion of -1 in l
0.555 * [taylor]: Taking taylor expansion of l in l
0.555 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.555 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.555 * [taylor]: Taking taylor expansion of l in l
0.559 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
0.559 * [approximate]: Taking taylor expansion of (* J (- (exp l) (exp (- l)))) in (J l) around 0
0.559 * [taylor]: Taking taylor expansion of (* J (- (exp l) (exp (- l)))) in l
0.559 * [taylor]: Taking taylor expansion of J in l
0.559 * [taylor]: Taking taylor expansion of (- (exp l) (exp (- l))) in l
0.559 * [taylor]: Taking taylor expansion of (exp l) in l
0.559 * [taylor]: Taking taylor expansion of l in l
0.559 * [taylor]: Taking taylor expansion of (exp (- l)) in l
0.559 * [taylor]: Taking taylor expansion of (- l) in l
0.559 * [taylor]: Taking taylor expansion of l in l
0.560 * [taylor]: Taking taylor expansion of (* J (- (exp l) (exp (- l)))) in J
0.560 * [taylor]: Taking taylor expansion of J in J
0.560 * [taylor]: Taking taylor expansion of (- (exp l) (exp (- l))) in J
0.560 * [taylor]: Taking taylor expansion of (exp l) in J
0.560 * [taylor]: Taking taylor expansion of l in J
0.560 * [taylor]: Taking taylor expansion of (exp (- l)) in J
0.560 * [taylor]: Taking taylor expansion of (- l) in J
0.560 * [taylor]: Taking taylor expansion of l in J
0.560 * [taylor]: Taking taylor expansion of (* J (- (exp l) (exp (- l)))) in J
0.560 * [taylor]: Taking taylor expansion of J in J
0.560 * [taylor]: Taking taylor expansion of (- (exp l) (exp (- l))) in J
0.560 * [taylor]: Taking taylor expansion of (exp l) in J
0.560 * [taylor]: Taking taylor expansion of l in J
0.560 * [taylor]: Taking taylor expansion of (exp (- l)) in J
0.560 * [taylor]: Taking taylor expansion of (- l) in J
0.560 * [taylor]: Taking taylor expansion of l in J
0.560 * [taylor]: Taking taylor expansion of 0 in l
0.562 * [taylor]: Taking taylor expansion of (- (exp l) (exp (- l))) in l
0.562 * [taylor]: Taking taylor expansion of (exp l) in l
0.562 * [taylor]: Taking taylor expansion of l in l
0.562 * [taylor]: Taking taylor expansion of (exp (- l)) in l
0.562 * [taylor]: Taking taylor expansion of (- l) in l
0.562 * [taylor]: Taking taylor expansion of l in l
0.566 * [taylor]: Taking taylor expansion of 0 in l
0.572 * [taylor]: Taking taylor expansion of 0 in l
0.580 * [taylor]: Taking taylor expansion of 0 in l
0.580 * [approximate]: Taking taylor expansion of (/ (- (exp (/ 1 l)) (exp (- (/ 1 l)))) J) in (J l) around 0
0.580 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 l)) (exp (- (/ 1 l)))) J) in l
0.580 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in l
0.580 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.580 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.580 * [taylor]: Taking taylor expansion of l in l
0.581 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in l
0.581 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in l
0.581 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.581 * [taylor]: Taking taylor expansion of l in l
0.581 * [taylor]: Taking taylor expansion of J in l
0.582 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 l)) (exp (- (/ 1 l)))) J) in J
0.582 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in J
0.582 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J
0.582 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.582 * [taylor]: Taking taylor expansion of l in J
0.582 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in J
0.582 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in J
0.582 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.582 * [taylor]: Taking taylor expansion of l in J
0.582 * [taylor]: Taking taylor expansion of J in J
0.582 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 l)) (exp (- (/ 1 l)))) J) in J
0.582 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in J
0.582 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J
0.582 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.582 * [taylor]: Taking taylor expansion of l in J
0.582 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in J
0.582 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in J
0.582 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.582 * [taylor]: Taking taylor expansion of l in J
0.583 * [taylor]: Taking taylor expansion of J in J
0.583 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in l
0.583 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.583 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.583 * [taylor]: Taking taylor expansion of l in l
0.583 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in l
0.583 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in l
0.583 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.583 * [taylor]: Taking taylor expansion of l in l
0.586 * [taylor]: Taking taylor expansion of 0 in l
0.590 * [taylor]: Taking taylor expansion of 0 in l
0.595 * [taylor]: Taking taylor expansion of 0 in l
0.596 * [approximate]: Taking taylor expansion of (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) in (J l) around 0
0.596 * [taylor]: Taking taylor expansion of (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) in l
0.596 * [taylor]: Taking taylor expansion of -1 in l
0.596 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J) in l
0.596 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l
0.596 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l
0.596 * [taylor]: Taking taylor expansion of (/ -1 l) in l
0.596 * [taylor]: Taking taylor expansion of -1 in l
0.596 * [taylor]: Taking taylor expansion of l in l
0.596 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.596 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.596 * [taylor]: Taking taylor expansion of l in l
0.597 * [taylor]: Taking taylor expansion of J in l
0.597 * [taylor]: Taking taylor expansion of (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) in J
0.597 * [taylor]: Taking taylor expansion of -1 in J
0.597 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J) in J
0.597 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in J
0.597 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in J
0.597 * [taylor]: Taking taylor expansion of (/ -1 l) in J
0.597 * [taylor]: Taking taylor expansion of -1 in J
0.597 * [taylor]: Taking taylor expansion of l in J
0.597 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J
0.597 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.597 * [taylor]: Taking taylor expansion of l in J
0.597 * [taylor]: Taking taylor expansion of J in J
0.597 * [taylor]: Taking taylor expansion of (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) in J
0.597 * [taylor]: Taking taylor expansion of -1 in J
0.597 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J) in J
0.597 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in J
0.597 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in J
0.597 * [taylor]: Taking taylor expansion of (/ -1 l) in J
0.597 * [taylor]: Taking taylor expansion of -1 in J
0.597 * [taylor]: Taking taylor expansion of l in J
0.597 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J
0.597 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.597 * [taylor]: Taking taylor expansion of l in J
0.597 * [taylor]: Taking taylor expansion of J in J
0.598 * [taylor]: Taking taylor expansion of (* -1 (- (exp (/ -1 l)) (exp (/ 1 l)))) in l
0.598 * [taylor]: Taking taylor expansion of -1 in l
0.598 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l
0.598 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l
0.598 * [taylor]: Taking taylor expansion of (/ -1 l) in l
0.598 * [taylor]: Taking taylor expansion of -1 in l
0.598 * [taylor]: Taking taylor expansion of l in l
0.598 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.598 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.598 * [taylor]: Taking taylor expansion of l in l
0.601 * [taylor]: Taking taylor expansion of 0 in l
0.606 * [taylor]: Taking taylor expansion of 0 in l
0.611 * [taylor]: Taking taylor expansion of 0 in l
0.611 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.611 * [approximate]: Taking taylor expansion of (fma (* J (- (exp l) (exp (- l)))) (cos (* 0.5 K)) U) in (J l K U) around 0
0.611 * [taylor]: Taking taylor expansion of (fma (* J (- (exp l) (exp (- l)))) (cos (* 0.5 K)) U) in U
0.612 * [taylor]: Rewrote expression to (+ (* (* J (- (exp l) (exp (- l)))) (cos (* 0.5 K))) U)
0.612 * [taylor]: Taking taylor expansion of (* (* J (- (exp l) (exp (- l)))) (cos (* 0.5 K))) in U
0.612 * [taylor]: Taking taylor expansion of (* J (- (exp l) (exp (- l)))) in U
0.612 * [taylor]: Taking taylor expansion of J in U
0.612 * [taylor]: Taking taylor expansion of (- (exp l) (exp (- l))) in U
0.612 * [taylor]: Taking taylor expansion of (exp l) in U
0.612 * [taylor]: Taking taylor expansion of l in U
0.612 * [taylor]: Taking taylor expansion of (exp (- l)) in U
0.612 * [taylor]: Taking taylor expansion of (- l) in U
0.612 * [taylor]: Taking taylor expansion of l in U
0.612 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in U
0.612 * [taylor]: Taking taylor expansion of (* 0.5 K) in U
0.612 * [taylor]: Taking taylor expansion of 0.5 in U
0.612 * [taylor]: Taking taylor expansion of K in U
0.612 * [taylor]: Taking taylor expansion of U in U
0.612 * [taylor]: Taking taylor expansion of (fma (* J (- (exp l) (exp (- l)))) (cos (* 0.5 K)) U) in K
0.612 * [taylor]: Rewrote expression to (+ (* (* J (- (exp l) (exp (- l)))) (cos (* 0.5 K))) U)
0.612 * [taylor]: Taking taylor expansion of (* (* J (- (exp l) (exp (- l)))) (cos (* 0.5 K))) in K
0.612 * [taylor]: Taking taylor expansion of (* J (- (exp l) (exp (- l)))) in K
0.612 * [taylor]: Taking taylor expansion of J in K
0.612 * [taylor]: Taking taylor expansion of (- (exp l) (exp (- l))) in K
0.612 * [taylor]: Taking taylor expansion of (exp l) in K
0.612 * [taylor]: Taking taylor expansion of l in K
0.612 * [taylor]: Taking taylor expansion of (exp (- l)) in K
0.612 * [taylor]: Taking taylor expansion of (- l) in K
0.612 * [taylor]: Taking taylor expansion of l in K
0.612 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
0.612 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
0.612 * [taylor]: Taking taylor expansion of 0.5 in K
0.612 * [taylor]: Taking taylor expansion of K in K
0.614 * [taylor]: Taking taylor expansion of U in K
0.614 * [taylor]: Taking taylor expansion of (fma (* J (- (exp l) (exp (- l)))) (cos (* 0.5 K)) U) in l
0.614 * [taylor]: Rewrote expression to (+ (* (* J (- (exp l) (exp (- l)))) (cos (* 0.5 K))) U)
0.614 * [taylor]: Taking taylor expansion of (* (* J (- (exp l) (exp (- l)))) (cos (* 0.5 K))) in l
0.614 * [taylor]: Taking taylor expansion of (* J (- (exp l) (exp (- l)))) in l
0.614 * [taylor]: Taking taylor expansion of J in l
0.614 * [taylor]: Taking taylor expansion of (- (exp l) (exp (- l))) in l
0.614 * [taylor]: Taking taylor expansion of (exp l) in l
0.614 * [taylor]: Taking taylor expansion of l in l
0.614 * [taylor]: Taking taylor expansion of (exp (- l)) in l
0.614 * [taylor]: Taking taylor expansion of (- l) in l
0.614 * [taylor]: Taking taylor expansion of l in l
0.614 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
0.614 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
0.614 * [taylor]: Taking taylor expansion of 0.5 in l
0.614 * [taylor]: Taking taylor expansion of K in l
0.615 * [taylor]: Taking taylor expansion of U in l
0.615 * [taylor]: Taking taylor expansion of (fma (* J (- (exp l) (exp (- l)))) (cos (* 0.5 K)) U) in J
0.615 * [taylor]: Rewrote expression to (+ (* (* J (- (exp l) (exp (- l)))) (cos (* 0.5 K))) U)
0.615 * [taylor]: Taking taylor expansion of (* (* J (- (exp l) (exp (- l)))) (cos (* 0.5 K))) in J
0.615 * [taylor]: Taking taylor expansion of (* J (- (exp l) (exp (- l)))) in J
0.615 * [taylor]: Taking taylor expansion of J in J
0.615 * [taylor]: Taking taylor expansion of (- (exp l) (exp (- l))) in J
0.615 * [taylor]: Taking taylor expansion of (exp l) in J
0.615 * [taylor]: Taking taylor expansion of l in J
0.615 * [taylor]: Taking taylor expansion of (exp (- l)) in J
0.615 * [taylor]: Taking taylor expansion of (- l) in J
0.615 * [taylor]: Taking taylor expansion of l in J
0.615 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
0.615 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
0.615 * [taylor]: Taking taylor expansion of 0.5 in J
0.615 * [taylor]: Taking taylor expansion of K in J
0.615 * [taylor]: Taking taylor expansion of U in J
0.615 * [taylor]: Taking taylor expansion of (fma (* J (- (exp l) (exp (- l)))) (cos (* 0.5 K)) U) in J
0.615 * [taylor]: Rewrote expression to (+ (* (* J (- (exp l) (exp (- l)))) (cos (* 0.5 K))) U)
0.615 * [taylor]: Taking taylor expansion of (* (* J (- (exp l) (exp (- l)))) (cos (* 0.5 K))) in J
0.615 * [taylor]: Taking taylor expansion of (* J (- (exp l) (exp (- l)))) in J
0.615 * [taylor]: Taking taylor expansion of J in J
0.615 * [taylor]: Taking taylor expansion of (- (exp l) (exp (- l))) in J
0.615 * [taylor]: Taking taylor expansion of (exp l) in J
0.615 * [taylor]: Taking taylor expansion of l in J
0.615 * [taylor]: Taking taylor expansion of (exp (- l)) in J
0.615 * [taylor]: Taking taylor expansion of (- l) in J
0.615 * [taylor]: Taking taylor expansion of l in J
0.615 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
0.615 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
0.616 * [taylor]: Taking taylor expansion of 0.5 in J
0.616 * [taylor]: Taking taylor expansion of K in J
0.616 * [taylor]: Taking taylor expansion of U in J
0.616 * [taylor]: Taking taylor expansion of U in l
0.616 * [taylor]: Taking taylor expansion of U in K
0.616 * [taylor]: Taking taylor expansion of U in U
0.621 * [taylor]: Taking taylor expansion of (- (* (exp l) (cos (* 0.5 K))) (* (exp (- l)) (cos (* 0.5 K)))) in l
0.621 * [taylor]: Taking taylor expansion of (* (exp l) (cos (* 0.5 K))) in l
0.621 * [taylor]: Taking taylor expansion of (exp l) in l
0.621 * [taylor]: Taking taylor expansion of l in l
0.621 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
0.621 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
0.621 * [taylor]: Taking taylor expansion of 0.5 in l
0.621 * [taylor]: Taking taylor expansion of K in l
0.621 * [taylor]: Taking taylor expansion of (* (exp (- l)) (cos (* 0.5 K))) in l
0.621 * [taylor]: Taking taylor expansion of (exp (- l)) in l
0.621 * [taylor]: Taking taylor expansion of (- l) in l
0.621 * [taylor]: Taking taylor expansion of l in l
0.622 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
0.622 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
0.622 * [taylor]: Taking taylor expansion of 0.5 in l
0.622 * [taylor]: Taking taylor expansion of K in l
0.623 * [taylor]: Taking taylor expansion of 0 in K
0.623 * [taylor]: Taking taylor expansion of 0 in U
0.623 * [taylor]: Taking taylor expansion of 0 in K
0.623 * [taylor]: Taking taylor expansion of 0 in U
0.623 * [taylor]: Taking taylor expansion of 0 in U
0.629 * [taylor]: Taking taylor expansion of 0 in l
0.629 * [taylor]: Taking taylor expansion of 0 in K
0.629 * [taylor]: Taking taylor expansion of 0 in U
0.635 * [taylor]: Taking taylor expansion of (* 2 (cos (* 0.5 K))) in K
0.635 * [taylor]: Taking taylor expansion of 2 in K
0.635 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
0.635 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
0.635 * [taylor]: Taking taylor expansion of 0.5 in K
0.635 * [taylor]: Taking taylor expansion of K in K
0.636 * [taylor]: Taking taylor expansion of 2 in U
0.637 * [taylor]: Taking taylor expansion of 0 in K
0.637 * [taylor]: Taking taylor expansion of 0 in U
0.637 * [taylor]: Taking taylor expansion of 0 in U
0.637 * [taylor]: Taking taylor expansion of 0 in U
0.637 * [taylor]: Taking taylor expansion of 0 in U
0.637 * [approximate]: Taking taylor expansion of (fma (/ (- (exp (/ 1 l)) (exp (- (/ 1 l)))) J) (cos (/ 0.5 K)) (/ 1 U)) in (J l K U) around 0
0.637 * [taylor]: Taking taylor expansion of (fma (/ (- (exp (/ 1 l)) (exp (- (/ 1 l)))) J) (cos (/ 0.5 K)) (/ 1 U)) in U
0.637 * [taylor]: Rewrote expression to (+ (* (/ (- (exp (/ 1 l)) (exp (- (/ 1 l)))) J) (cos (/ 0.5 K))) (/ 1 U))
0.638 * [taylor]: Taking taylor expansion of (* (/ (- (exp (/ 1 l)) (exp (- (/ 1 l)))) J) (cos (/ 0.5 K))) in U
0.638 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 l)) (exp (- (/ 1 l)))) J) in U
0.638 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in U
0.638 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in U
0.638 * [taylor]: Taking taylor expansion of (/ 1 l) in U
0.638 * [taylor]: Taking taylor expansion of l in U
0.638 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in U
0.638 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in U
0.638 * [taylor]: Taking taylor expansion of (/ 1 l) in U
0.638 * [taylor]: Taking taylor expansion of l in U
0.638 * [taylor]: Taking taylor expansion of J in U
0.638 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in U
0.638 * [taylor]: Taking taylor expansion of (/ 0.5 K) in U
0.638 * [taylor]: Taking taylor expansion of 0.5 in U
0.638 * [taylor]: Taking taylor expansion of K in U
0.638 * [taylor]: Taking taylor expansion of (/ 1 U) in U
0.638 * [taylor]: Taking taylor expansion of U in U
0.638 * [taylor]: Taking taylor expansion of (fma (/ (- (exp (/ 1 l)) (exp (- (/ 1 l)))) J) (cos (/ 0.5 K)) (/ 1 U)) in K
0.639 * [taylor]: Rewrote expression to (+ (* (/ (- (exp (/ 1 l)) (exp (- (/ 1 l)))) J) (cos (/ 0.5 K))) (/ 1 U))
0.639 * [taylor]: Taking taylor expansion of (* (/ (- (exp (/ 1 l)) (exp (- (/ 1 l)))) J) (cos (/ 0.5 K))) in K
0.639 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 l)) (exp (- (/ 1 l)))) J) in K
0.639 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in K
0.643 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K
0.643 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.643 * [taylor]: Taking taylor expansion of l in K
0.643 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in K
0.643 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in K
0.643 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.643 * [taylor]: Taking taylor expansion of l in K
0.643 * [taylor]: Taking taylor expansion of J in K
0.644 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
0.644 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
0.644 * [taylor]: Taking taylor expansion of 0.5 in K
0.644 * [taylor]: Taking taylor expansion of K in K
0.644 * [taylor]: Taking taylor expansion of (/ 1 U) in K
0.644 * [taylor]: Taking taylor expansion of U in K
0.644 * [taylor]: Taking taylor expansion of (fma (/ (- (exp (/ 1 l)) (exp (- (/ 1 l)))) J) (cos (/ 0.5 K)) (/ 1 U)) in l
0.644 * [taylor]: Rewrote expression to (+ (* (/ (- (exp (/ 1 l)) (exp (- (/ 1 l)))) J) (cos (/ 0.5 K))) (/ 1 U))
0.644 * [taylor]: Taking taylor expansion of (* (/ (- (exp (/ 1 l)) (exp (- (/ 1 l)))) J) (cos (/ 0.5 K))) in l
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.645 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in l
0.645 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in l
0.645 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.645 * [taylor]: Taking taylor expansion of l in l
0.645 * [taylor]: Taking taylor expansion of J in l
0.646 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
0.646 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
0.646 * [taylor]: Taking taylor expansion of 0.5 in l
0.646 * [taylor]: Taking taylor expansion of K in l
0.646 * [taylor]: Taking taylor expansion of (/ 1 U) in l
0.646 * [taylor]: Taking taylor expansion of U in l
0.646 * [taylor]: Taking taylor expansion of (fma (/ (- (exp (/ 1 l)) (exp (- (/ 1 l)))) J) (cos (/ 0.5 K)) (/ 1 U)) in J
0.646 * [taylor]: Rewrote expression to (+ (* (/ (- (exp (/ 1 l)) (exp (- (/ 1 l)))) J) (cos (/ 0.5 K))) (/ 1 U))
0.646 * [taylor]: Taking taylor expansion of (* (/ (- (exp (/ 1 l)) (exp (- (/ 1 l)))) J) (cos (/ 0.5 K))) in J
0.646 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 l)) (exp (- (/ 1 l)))) J) in J
0.646 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in J
0.646 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J
0.646 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.646 * [taylor]: Taking taylor expansion of l in J
0.646 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in J
0.646 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in J
0.646 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.646 * [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 (cos (/ 0.5 K)) in J
0.646 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
0.646 * [taylor]: Taking taylor expansion of 0.5 in J
0.646 * [taylor]: Taking taylor expansion of K in J
0.647 * [taylor]: Taking taylor expansion of (/ 1 U) in J
0.647 * [taylor]: Taking taylor expansion of U in J
0.647 * [taylor]: Taking taylor expansion of (fma (/ (- (exp (/ 1 l)) (exp (- (/ 1 l)))) J) (cos (/ 0.5 K)) (/ 1 U)) in J
0.647 * [taylor]: Rewrote expression to (+ (* (/ (- (exp (/ 1 l)) (exp (- (/ 1 l)))) J) (cos (/ 0.5 K))) (/ 1 U))
0.647 * [taylor]: Taking taylor expansion of (* (/ (- (exp (/ 1 l)) (exp (- (/ 1 l)))) J) (cos (/ 0.5 K))) in J
0.647 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 1 l)) (exp (- (/ 1 l)))) J) in J
0.647 * [taylor]: Taking taylor expansion of (- (exp (/ 1 l)) (exp (- (/ 1 l)))) in J
0.647 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J
0.647 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.647 * [taylor]: Taking taylor expansion of l in J
0.647 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in J
0.647 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in J
0.647 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.647 * [taylor]: Taking taylor expansion of l in J
0.647 * [taylor]: Taking taylor expansion of J in J
0.647 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
0.647 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
0.647 * [taylor]: Taking taylor expansion of 0.5 in J
0.647 * [taylor]: Taking taylor expansion of K in J
0.647 * [taylor]: Taking taylor expansion of (/ 1 U) in J
0.647 * [taylor]: Taking taylor expansion of U in J
0.648 * [taylor]: Taking taylor expansion of (- (* (exp (/ 1 l)) (cos (/ 0.5 K))) (* (cos (/ 0.5 K)) (exp (- (/ 1 l))))) in l
0.648 * [taylor]: Taking taylor expansion of (* (exp (/ 1 l)) (cos (/ 0.5 K))) in l
0.648 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.648 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.648 * [taylor]: Taking taylor expansion of l in l
0.648 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
0.648 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
0.648 * [taylor]: Taking taylor expansion of 0.5 in l
0.649 * [taylor]: Taking taylor expansion of K in l
0.649 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (exp (- (/ 1 l)))) in l
0.649 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
0.649 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
0.649 * [taylor]: Taking taylor expansion of 0.5 in l
0.649 * [taylor]: Taking taylor expansion of K in l
0.649 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in l
0.649 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in l
0.649 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.649 * [taylor]: Taking taylor expansion of l in l
0.650 * [taylor]: Taking taylor expansion of (- (* (exp (/ 1 l)) (cos (/ 0.5 K))) (* (cos (/ 0.5 K)) (exp (- (/ 1 l))))) in K
0.650 * [taylor]: Taking taylor expansion of (* (exp (/ 1 l)) (cos (/ 0.5 K))) in K
0.650 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K
0.650 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.650 * [taylor]: Taking taylor expansion of l in K
0.651 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
0.651 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
0.651 * [taylor]: Taking taylor expansion of 0.5 in K
0.651 * [taylor]: Taking taylor expansion of K in K
0.651 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (exp (- (/ 1 l)))) in K
0.651 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
0.651 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
0.651 * [taylor]: Taking taylor expansion of 0.5 in K
0.651 * [taylor]: Taking taylor expansion of K in K
0.651 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in K
0.651 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in K
0.651 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.651 * [taylor]: Taking taylor expansion of l in K
0.652 * [taylor]: Taking taylor expansion of (- (* (exp (/ 1 l)) (cos (/ 0.5 K))) (* (cos (/ 0.5 K)) (exp (- (/ 1 l))))) in U
0.652 * [taylor]: Taking taylor expansion of (* (exp (/ 1 l)) (cos (/ 0.5 K))) in U
0.652 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in U
0.652 * [taylor]: Taking taylor expansion of (/ 1 l) in U
0.652 * [taylor]: Taking taylor expansion of l in U
0.652 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in U
0.652 * [taylor]: Taking taylor expansion of (/ 0.5 K) in U
0.652 * [taylor]: Taking taylor expansion of 0.5 in U
0.652 * [taylor]: Taking taylor expansion of K in U
0.652 * [taylor]: Taking taylor expansion of (* (cos (/ 0.5 K)) (exp (- (/ 1 l)))) in U
0.652 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in U
0.652 * [taylor]: Taking taylor expansion of (/ 0.5 K) in U
0.652 * [taylor]: Taking taylor expansion of 0.5 in U
0.652 * [taylor]: Taking taylor expansion of K in U
0.652 * [taylor]: Taking taylor expansion of (exp (- (/ 1 l))) in U
0.652 * [taylor]: Taking taylor expansion of (- (/ 1 l)) in U
0.652 * [taylor]: Taking taylor expansion of (/ 1 l) in U
0.652 * [taylor]: Taking taylor expansion of l in U
0.657 * [taylor]: Taking taylor expansion of (/ 1 U) in l
0.657 * [taylor]: Taking taylor expansion of U in l
0.657 * [taylor]: Taking taylor expansion of (/ 1 U) in K
0.657 * [taylor]: Taking taylor expansion of U in K
0.657 * [taylor]: Taking taylor expansion of (/ 1 U) in U
0.657 * [taylor]: Taking taylor expansion of U in U
0.661 * [taylor]: Taking taylor expansion of 0 in K
0.661 * [taylor]: Taking taylor expansion of 0 in U
0.663 * [taylor]: Taking taylor expansion of 0 in U
0.671 * [taylor]: Taking taylor expansion of 0 in l
0.671 * [taylor]: Taking taylor expansion of 0 in K
0.671 * [taylor]: Taking taylor expansion of 0 in U
0.671 * [taylor]: Taking taylor expansion of 0 in K
0.671 * [taylor]: Taking taylor expansion of 0 in U
0.677 * [taylor]: Taking taylor expansion of 0 in K
0.677 * [taylor]: Taking taylor expansion of 0 in U
0.677 * [taylor]: Taking taylor expansion of 0 in U
0.677 * [taylor]: Taking taylor expansion of 0 in U
0.680 * [taylor]: Taking taylor expansion of 0 in U
0.694 * [taylor]: Taking taylor expansion of 0 in l
0.694 * [taylor]: Taking taylor expansion of 0 in K
0.694 * [taylor]: Taking taylor expansion of 0 in U
0.694 * [taylor]: Taking taylor expansion of 0 in K
0.694 * [taylor]: Taking taylor expansion of 0 in U
0.694 * [taylor]: Taking taylor expansion of 0 in K
0.694 * [taylor]: Taking taylor expansion of 0 in U
0.701 * [taylor]: Taking taylor expansion of 0 in K
0.701 * [taylor]: Taking taylor expansion of 0 in U
0.701 * [taylor]: Taking taylor expansion of 0 in U
0.701 * [taylor]: Taking taylor expansion of 0 in U
0.701 * [taylor]: Taking taylor expansion of 0 in U
0.702 * [taylor]: Taking taylor expansion of 0 in U
0.702 * [taylor]: Taking taylor expansion of 0 in U
0.706 * [taylor]: Taking taylor expansion of 0 in U
0.707 * [approximate]: Taking taylor expansion of (fma (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) (cos (/ -0.5 K)) (/ -1 U)) in (J l K U) around 0
0.707 * [taylor]: Taking taylor expansion of (fma (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) (cos (/ -0.5 K)) (/ -1 U)) in U
0.707 * [taylor]: Rewrote expression to (+ (* (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) (cos (/ -0.5 K))) (/ -1 U))
0.707 * [taylor]: Taking taylor expansion of (* (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) (cos (/ -0.5 K))) in U
0.707 * [taylor]: Taking taylor expansion of (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) in U
0.707 * [taylor]: Taking taylor expansion of -1 in U
0.707 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J) in U
0.707 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in U
0.707 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in U
0.707 * [taylor]: Taking taylor expansion of (/ -1 l) in U
0.707 * [taylor]: Taking taylor expansion of -1 in U
0.707 * [taylor]: Taking taylor expansion of l in U
0.707 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in U
0.707 * [taylor]: Taking taylor expansion of (/ 1 l) in U
0.708 * [taylor]: Taking taylor expansion of l in U
0.708 * [taylor]: Taking taylor expansion of J in U
0.708 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in U
0.708 * [taylor]: Taking taylor expansion of (/ -0.5 K) in U
0.708 * [taylor]: Taking taylor expansion of -0.5 in U
0.708 * [taylor]: Taking taylor expansion of K in U
0.708 * [taylor]: Taking taylor expansion of (/ -1 U) in U
0.708 * [taylor]: Taking taylor expansion of -1 in U
0.708 * [taylor]: Taking taylor expansion of U in U
0.708 * [taylor]: Taking taylor expansion of (fma (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) (cos (/ -0.5 K)) (/ -1 U)) in K
0.709 * [taylor]: Rewrote expression to (+ (* (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) (cos (/ -0.5 K))) (/ -1 U))
0.709 * [taylor]: Taking taylor expansion of (* (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) (cos (/ -0.5 K))) in K
0.709 * [taylor]: Taking taylor expansion of (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) in K
0.709 * [taylor]: Taking taylor expansion of -1 in K
0.709 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J) in K
0.709 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in K
0.709 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in K
0.709 * [taylor]: Taking taylor expansion of (/ -1 l) in K
0.709 * [taylor]: Taking taylor expansion of -1 in K
0.709 * [taylor]: Taking taylor expansion of l in K
0.709 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K
0.709 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.709 * [taylor]: Taking taylor expansion of l in K
0.709 * [taylor]: Taking taylor expansion of J in K
0.709 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
0.709 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
0.709 * [taylor]: Taking taylor expansion of -0.5 in K
0.709 * [taylor]: Taking taylor expansion of K in K
0.710 * [taylor]: Taking taylor expansion of (/ -1 U) in K
0.710 * [taylor]: Taking taylor expansion of -1 in K
0.710 * [taylor]: Taking taylor expansion of U in K
0.710 * [taylor]: Taking taylor expansion of (fma (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) (cos (/ -0.5 K)) (/ -1 U)) in l
0.710 * [taylor]: Rewrote expression to (+ (* (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) (cos (/ -0.5 K))) (/ -1 U))
0.710 * [taylor]: Taking taylor expansion of (* (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) (cos (/ -0.5 K))) in l
0.710 * [taylor]: Taking taylor expansion of (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) in l
0.710 * [taylor]: Taking taylor expansion of -1 in l
0.710 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J) in l
0.710 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in l
0.710 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l
0.710 * [taylor]: Taking taylor expansion of (/ -1 l) in l
0.710 * [taylor]: Taking taylor expansion of -1 in l
0.710 * [taylor]: Taking taylor expansion of l in l
0.710 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.710 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.710 * [taylor]: Taking taylor expansion of l in l
0.711 * [taylor]: Taking taylor expansion of J in l
0.711 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
0.711 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
0.711 * [taylor]: Taking taylor expansion of -0.5 in l
0.711 * [taylor]: Taking taylor expansion of K in l
0.711 * [taylor]: Taking taylor expansion of (/ -1 U) in l
0.711 * [taylor]: Taking taylor expansion of -1 in l
0.711 * [taylor]: Taking taylor expansion of U in l
0.711 * [taylor]: Taking taylor expansion of (fma (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) (cos (/ -0.5 K)) (/ -1 U)) in J
0.711 * [taylor]: Rewrote expression to (+ (* (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) (cos (/ -0.5 K))) (/ -1 U))
0.711 * [taylor]: Taking taylor expansion of (* (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) (cos (/ -0.5 K))) in J
0.711 * [taylor]: Taking taylor expansion of (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) in J
0.711 * [taylor]: Taking taylor expansion of -1 in J
0.711 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J) in J
0.711 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in J
0.711 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in J
0.711 * [taylor]: Taking taylor expansion of (/ -1 l) in J
0.711 * [taylor]: Taking taylor expansion of -1 in J
0.711 * [taylor]: Taking taylor expansion of l in J
0.711 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J
0.711 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.711 * [taylor]: Taking taylor expansion of l in J
0.711 * [taylor]: Taking taylor expansion of J in J
0.712 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
0.712 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
0.712 * [taylor]: Taking taylor expansion of -0.5 in J
0.712 * [taylor]: Taking taylor expansion of K in J
0.712 * [taylor]: Taking taylor expansion of (/ -1 U) in J
0.712 * [taylor]: Taking taylor expansion of -1 in J
0.712 * [taylor]: Taking taylor expansion of U in J
0.712 * [taylor]: Taking taylor expansion of (fma (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) (cos (/ -0.5 K)) (/ -1 U)) in J
0.712 * [taylor]: Rewrote expression to (+ (* (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) (cos (/ -0.5 K))) (/ -1 U))
0.712 * [taylor]: Taking taylor expansion of (* (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) (cos (/ -0.5 K))) in J
0.712 * [taylor]: Taking taylor expansion of (* -1 (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J)) in J
0.712 * [taylor]: Taking taylor expansion of -1 in J
0.712 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -1 l)) (exp (/ 1 l))) J) in J
0.712 * [taylor]: Taking taylor expansion of (- (exp (/ -1 l)) (exp (/ 1 l))) in J
0.712 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in J
0.712 * [taylor]: Taking taylor expansion of (/ -1 l) in J
0.712 * [taylor]: Taking taylor expansion of -1 in J
0.712 * [taylor]: Taking taylor expansion of l in J
0.712 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in J
0.712 * [taylor]: Taking taylor expansion of (/ 1 l) in J
0.712 * [taylor]: Taking taylor expansion of l in J
0.712 * [taylor]: Taking taylor expansion of J in J
0.712 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
0.712 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
0.712 * [taylor]: Taking taylor expansion of -0.5 in J
0.712 * [taylor]: Taking taylor expansion of K in J
0.713 * [taylor]: Taking taylor expansion of (/ -1 U) in J
0.713 * [taylor]: Taking taylor expansion of -1 in J
0.713 * [taylor]: Taking taylor expansion of U in J
0.713 * [taylor]: Taking taylor expansion of (- (* (cos (/ -0.5 K)) (exp (/ 1 l))) (* (exp (/ -1 l)) (cos (/ -0.5 K)))) in l
0.713 * [taylor]: Taking taylor expansion of (* (cos (/ -0.5 K)) (exp (/ 1 l))) in l
0.713 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
0.713 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
0.713 * [taylor]: Taking taylor expansion of -0.5 in l
0.714 * [taylor]: Taking taylor expansion of K in l
0.714 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in l
0.714 * [taylor]: Taking taylor expansion of (/ 1 l) in l
0.714 * [taylor]: Taking taylor expansion of l in l
0.714 * [taylor]: Taking taylor expansion of (* (exp (/ -1 l)) (cos (/ -0.5 K))) in l
0.714 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in l
0.714 * [taylor]: Taking taylor expansion of (/ -1 l) in l
0.714 * [taylor]: Taking taylor expansion of -1 in l
0.714 * [taylor]: Taking taylor expansion of l in l
0.714 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
0.714 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
0.714 * [taylor]: Taking taylor expansion of -0.5 in l
0.714 * [taylor]: Taking taylor expansion of K in l
0.715 * [taylor]: Taking taylor expansion of (- (* (cos (/ -0.5 K)) (exp (/ 1 l))) (* (exp (/ -1 l)) (cos (/ -0.5 K)))) in K
0.716 * [taylor]: Taking taylor expansion of (* (cos (/ -0.5 K)) (exp (/ 1 l))) in K
0.716 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
0.716 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
0.716 * [taylor]: Taking taylor expansion of -0.5 in K
0.716 * [taylor]: Taking taylor expansion of K in K
0.716 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in K
0.716 * [taylor]: Taking taylor expansion of (/ 1 l) in K
0.716 * [taylor]: Taking taylor expansion of l in K
0.716 * [taylor]: Taking taylor expansion of (* (exp (/ -1 l)) (cos (/ -0.5 K))) in K
0.716 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in K
0.716 * [taylor]: Taking taylor expansion of (/ -1 l) in K
0.716 * [taylor]: Taking taylor expansion of -1 in K
0.716 * [taylor]: Taking taylor expansion of l in K
0.716 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
0.716 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
0.716 * [taylor]: Taking taylor expansion of -0.5 in K
0.716 * [taylor]: Taking taylor expansion of K in K
0.717 * [taylor]: Taking taylor expansion of (- (* (cos (/ -0.5 K)) (exp (/ 1 l))) (* (exp (/ -1 l)) (cos (/ -0.5 K)))) in U
0.717 * [taylor]: Taking taylor expansion of (* (cos (/ -0.5 K)) (exp (/ 1 l))) in U
0.717 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in U
0.717 * [taylor]: Taking taylor expansion of (/ -0.5 K) in U
0.717 * [taylor]: Taking taylor expansion of -0.5 in U
0.717 * [taylor]: Taking taylor expansion of K in U
0.717 * [taylor]: Taking taylor expansion of (exp (/ 1 l)) in U
0.717 * [taylor]: Taking taylor expansion of (/ 1 l) in U
0.717 * [taylor]: Taking taylor expansion of l in U
0.717 * [taylor]: Taking taylor expansion of (* (exp (/ -1 l)) (cos (/ -0.5 K))) in U
0.717 * [taylor]: Taking taylor expansion of (exp (/ -1 l)) in U
0.717 * [taylor]: Taking taylor expansion of (/ -1 l) in U
0.717 * [taylor]: Taking taylor expansion of -1 in U
0.717 * [taylor]: Taking taylor expansion of l in U
0.717 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in U
0.717 * [taylor]: Taking taylor expansion of (/ -0.5 K) in U
0.717 * [taylor]: Taking taylor expansion of -0.5 in U
0.717 * [taylor]: Taking taylor expansion of K in U
0.722 * [taylor]: Taking taylor expansion of (- (/ 1 U)) in l
0.722 * [taylor]: Taking taylor expansion of (/ 1 U) in l
0.722 * [taylor]: Taking taylor expansion of U in l
0.722 * [taylor]: Taking taylor expansion of (- (/ 1 U)) in K
0.722 * [taylor]: Taking taylor expansion of (/ 1 U) in K
0.722 * [taylor]: Taking taylor expansion of U in K
0.722 * [taylor]: Taking taylor expansion of (- (/ 1 U)) in U
0.722 * [taylor]: Taking taylor expansion of (/ 1 U) in U
0.722 * [taylor]: Taking taylor expansion of U in U
0.727 * [taylor]: Taking taylor expansion of 0 in K
0.727 * [taylor]: Taking taylor expansion of 0 in U
0.728 * [taylor]: Taking taylor expansion of 0 in U
0.741 * [taylor]: Taking taylor expansion of 0 in l
0.741 * [taylor]: Taking taylor expansion of 0 in K
0.741 * [taylor]: Taking taylor expansion of 0 in U
0.741 * [taylor]: Taking taylor expansion of 0 in K
0.741 * [taylor]: Taking taylor expansion of 0 in U
0.747 * [taylor]: Taking taylor expansion of 0 in K
0.747 * [taylor]: Taking taylor expansion of 0 in U
0.747 * [taylor]: Taking taylor expansion of 0 in U
0.747 * [taylor]: Taking taylor expansion of 0 in U
0.750 * [taylor]: Taking taylor expansion of 0 in U
0.764 * [taylor]: Taking taylor expansion of 0 in l
0.764 * [taylor]: Taking taylor expansion of 0 in K
0.764 * [taylor]: Taking taylor expansion of 0 in U
0.764 * [taylor]: Taking taylor expansion of 0 in K
0.764 * [taylor]: Taking taylor expansion of 0 in U
0.764 * [taylor]: Taking taylor expansion of 0 in K
0.764 * [taylor]: Taking taylor expansion of 0 in U
0.771 * [taylor]: Taking taylor expansion of 0 in K
0.771 * [taylor]: Taking taylor expansion of 0 in U
0.771 * [taylor]: Taking taylor expansion of 0 in U
0.771 * [taylor]: Taking taylor expansion of 0 in U
0.771 * [taylor]: Taking taylor expansion of 0 in U
0.772 * [taylor]: Taking taylor expansion of 0 in U
0.772 * [taylor]: Taking taylor expansion of 0 in U
0.775 * [taylor]: Taking taylor expansion of 0 in U
0.776 * * * [progress]: simplifying candidates
0.777 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fma (* (cbrt (exp l)) (cbrt (exp l))) (cbrt (exp l)) (- (* (cbrt (exp (- l))) (* (cbrt (exp (- l))) (cbrt (exp (- l)))))))
  (fma (- (cbrt (exp (- l)))) (* (cbrt (exp (- l))) (cbrt (exp (- l)))) (* (cbrt (exp (- l))) (* (cbrt (exp (- l))) (cbrt (exp (- l))))))
  (fma (* (cbrt (exp l)) (cbrt (exp l))) (cbrt (exp l)) (- (* (sqrt (exp (- l))) (sqrt (exp (- l))))))
  (fma (- (sqrt (exp (- l)))) (sqrt (exp (- l))) (* (sqrt (exp (- l))) (sqrt (exp (- l)))))
  (fma (* (cbrt (exp l)) (cbrt (exp l))) (cbrt (exp l)) (- (* (exp (- l)) 1)))
  (fma (- (exp (- l))) 1 (* (exp (- l)) 1))
  (fma (sqrt (exp l)) (sqrt (exp l)) (- (* (cbrt (exp (- l))) (* (cbrt (exp (- l))) (cbrt (exp (- l)))))))
  (fma (- (cbrt (exp (- l)))) (* (cbrt (exp (- l))) (cbrt (exp (- l)))) (* (cbrt (exp (- l))) (* (cbrt (exp (- l))) (cbrt (exp (- l))))))
  (fma (sqrt (exp l)) (sqrt (exp l)) (- (* (sqrt (exp (- l))) (sqrt (exp (- l))))))
  (fma (- (sqrt (exp (- l)))) (sqrt (exp (- l))) (* (sqrt (exp (- l))) (sqrt (exp (- l)))))
  (fma (sqrt (exp l)) (sqrt (exp l)) (- (* (exp (- l)) 1)))
  (fma (- (exp (- l))) 1 (* (exp (- l)) 1))
  (fma 1 (exp l) (- (* (cbrt (exp (- l))) (* (cbrt (exp (- l))) (cbrt (exp (- l)))))))
  (fma (- (cbrt (exp (- l)))) (* (cbrt (exp (- l))) (cbrt (exp (- l)))) (* (cbrt (exp (- l))) (* (cbrt (exp (- l))) (cbrt (exp (- l))))))
  (fma 1 (exp l) (- (* (sqrt (exp (- l))) (sqrt (exp (- l))))))
  (fma (- (sqrt (exp (- l)))) (sqrt (exp (- l))) (* (sqrt (exp (- l))) (sqrt (exp (- l)))))
  (fma 1 (exp l) (- (* (exp (- l)) 1)))
  (fma (- (exp (- l))) 1 (* (exp (- l)) 1))
  (expm1 (- (exp l) (exp (- l))))
  (log1p (- (exp l) (exp (- l))))
  (- (exp (- l)))
  (- (exp (- l)))
  (- (exp (- l)))
  (/ (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)))
  (expm1 (* J (- (exp l) (exp (- l)))))
  (log1p (* J (- (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 (fma (* (cbrt (exp l)) (cbrt (exp l))) (cbrt (exp l)) (- (* (cbrt (exp (- l))) (* (cbrt (exp (- l))) (cbrt (exp (- l))))))))
  (* J (fma (- (cbrt (exp (- l)))) (* (cbrt (exp (- l))) (cbrt (exp (- l)))) (* (cbrt (exp (- l))) (* (cbrt (exp (- l))) (cbrt (exp (- l)))))))
  (* J (fma (* (cbrt (exp l)) (cbrt (exp l))) (cbrt (exp l)) (- (* (sqrt (exp (- l))) (sqrt (exp (- l)))))))
  (* J (fma (- (sqrt (exp (- l)))) (sqrt (exp (- l))) (* (sqrt (exp (- l))) (sqrt (exp (- l))))))
  (* J (fma (* (cbrt (exp l)) (cbrt (exp l))) (cbrt (exp l)) (- (* (exp (- l)) 1))))
  (* J (fma (- (exp (- l))) 1 (* (exp (- l)) 1)))
  (* J (fma (sqrt (exp l)) (sqrt (exp l)) (- (* (cbrt (exp (- l))) (* (cbrt (exp (- l))) (cbrt (exp (- l))))))))
  (* J (fma (- (cbrt (exp (- l)))) (* (cbrt (exp (- l))) (cbrt (exp (- l)))) (* (cbrt (exp (- l))) (* (cbrt (exp (- l))) (cbrt (exp (- l)))))))
  (* J (fma (sqrt (exp l)) (sqrt (exp l)) (- (* (sqrt (exp (- l))) (sqrt (exp (- l)))))))
  (* J (fma (- (sqrt (exp (- l)))) (sqrt (exp (- l))) (* (sqrt (exp (- l))) (sqrt (exp (- l))))))
  (* J (fma (sqrt (exp l)) (sqrt (exp l)) (- (* (exp (- l)) 1))))
  (* J (fma (- (exp (- l))) 1 (* (exp (- l)) 1)))
  (* J (fma 1 (exp l) (- (* (cbrt (exp (- l))) (* (cbrt (exp (- l))) (cbrt (exp (- l))))))))
  (* J (fma (- (cbrt (exp (- l)))) (* (cbrt (exp (- l))) (cbrt (exp (- l)))) (* (cbrt (exp (- l))) (* (cbrt (exp (- l))) (cbrt (exp (- l)))))))
  (* J (fma 1 (exp l) (- (* (sqrt (exp (- l))) (sqrt (exp (- l)))))))
  (* J (fma (- (sqrt (exp (- l)))) (sqrt (exp (- l))) (* (sqrt (exp (- l))) (sqrt (exp (- l))))))
  (* J (fma 1 (exp l) (- (* (exp (- l)) 1))))
  (* J (fma (- (exp (- l))) 1 (* (exp (- l)) 1)))
  (* J (exp l))
  (* J (- (exp (- l))))
  (* J (exp l))
  (* J (- (exp (- l))))
  (* (fma (* (cbrt (exp l)) (cbrt (exp l))) (cbrt (exp l)) (- (* (cbrt (exp (- l))) (* (cbrt (exp (- l))) (cbrt (exp (- l))))))) J)
  (* (fma (- (cbrt (exp (- l)))) (* (cbrt (exp (- l))) (cbrt (exp (- l)))) (* (cbrt (exp (- l))) (* (cbrt (exp (- l))) (cbrt (exp (- l)))))) J)
  (* (fma (* (cbrt (exp l)) (cbrt (exp l))) (cbrt (exp l)) (- (* (sqrt (exp (- l))) (sqrt (exp (- l)))))) J)
  (* (fma (- (sqrt (exp (- l)))) (sqrt (exp (- l))) (* (sqrt (exp (- l))) (sqrt (exp (- l))))) J)
  (* (fma (* (cbrt (exp l)) (cbrt (exp l))) (cbrt (exp l)) (- (* (exp (- l)) 1))) J)
  (* (fma (- (exp (- l))) 1 (* (exp (- l)) 1)) J)
  (* (fma (sqrt (exp l)) (sqrt (exp l)) (- (* (cbrt (exp (- l))) (* (cbrt (exp (- l))) (cbrt (exp (- l))))))) J)
  (* (fma (- (cbrt (exp (- l)))) (* (cbrt (exp (- l))) (cbrt (exp (- l)))) (* (cbrt (exp (- l))) (* (cbrt (exp (- l))) (cbrt (exp (- l)))))) J)
  (* (fma (sqrt (exp l)) (sqrt (exp l)) (- (* (sqrt (exp (- l))) (sqrt (exp (- l)))))) J)
  (* (fma (- (sqrt (exp (- l)))) (sqrt (exp (- l))) (* (sqrt (exp (- l))) (sqrt (exp (- l))))) J)
  (* (fma (sqrt (exp l)) (sqrt (exp l)) (- (* (exp (- l)) 1))) J)
  (* (fma (- (exp (- l))) 1 (* (exp (- l)) 1)) J)
  (* (fma 1 (exp l) (- (* (cbrt (exp (- l))) (* (cbrt (exp (- l))) (cbrt (exp (- l))))))) J)
  (* (fma (- (cbrt (exp (- l)))) (* (cbrt (exp (- l))) (cbrt (exp (- l)))) (* (cbrt (exp (- l))) (* (cbrt (exp (- l))) (cbrt (exp (- l)))))) J)
  (* (fma 1 (exp l) (- (* (sqrt (exp (- l))) (sqrt (exp (- l)))))) J)
  (* (fma (- (sqrt (exp (- l)))) (sqrt (exp (- l))) (* (sqrt (exp (- l))) (sqrt (exp (- l))))) J)
  (* (fma 1 (exp l) (- (* (exp (- l)) 1))) J)
  (* (fma (- (exp (- l))) 1 (* (exp (- l)) 1)) J)
  (* (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)))))
  (expm1 (fma (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)) U))
  (log1p (fma (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)) U))
  (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)))
  (log (fma (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)) U))
  (exp (fma (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)) U))
  (* (cbrt (fma (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)) U)) (cbrt (fma (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)) U)))
  (cbrt (fma (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)) U))
  (* (* (fma (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)) U) (fma (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)) U)) (fma (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)) U))
  (sqrt (fma (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)) U))
  (sqrt (fma (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)) U))
  (+ (* 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))))
  (+ U (* 2 (* J l)))
  (- (+ U (* (exp l) (* J (cos (* 0.5 K))))) (* (cos (* 0.5 K)) (* J (exp (- l)))))
  (- (+ U (* J (* (exp l) (cos (* 0.5 K))))) (* (exp (* -1 l)) (* J (cos (* 0.5 K)))))
0.784 * * [simplify]: iteration  0 :  318  enodes  (cost  1176 )
0.790 * * [simplify]: iteration  1 :  1096  enodes  (cost  780 )
0.815 * * [simplify]: iteration  2 :  5001  enodes  (cost  725 )
0.819 * [simplify]: Simplified to:
   (+ (* 1 (pow (cbrt (exp l)) 3)) (- (exp (- l))))
  (* (exp (- l)) (+ (- 1) 1))
  (+ (* 1 (pow (cbrt (exp l)) 3)) (- (exp (- l))))
  (* (exp (- l)) (+ (- 1) 1))
  (+ (* 1 (pow (cbrt (exp l)) 3)) (- (exp (- l))))
  (* (exp (- l)) (+ (- 1) 1))
  (- (exp l) (exp (- l)))
  (* (exp (- l)) (+ (- 1) 1))
  (- (exp l) (exp (- l)))
  (* (exp (- l)) (+ (- 1) 1))
  (- (exp l) (exp (- l)))
  (* (exp (- l)) (+ (- 1) 1))
  (- (exp l) (exp (- l)))
  (* (exp (- l)) (+ (- 1) 1))
  (- (exp l) (exp (- l)))
  (* (exp (- l)) (+ (- 1) 1))
  (- (exp l) (exp (- l)))
  (* (exp (- l)) (+ (- 1) 1))
  (expm1 (- (exp l) (exp (- l))))
  (log1p (- (exp l) (exp (- l))))
  (- (exp (- l)))
  (- (exp (- l)))
  (- (exp (- l)))
  (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 (- l)))
  (fma (- (exp (- l))) (exp (- l)) (exp (+ l l)))
  (+ (exp l) (exp (- l)))
  (+ (sqrt (exp l)) (sqrt (exp (- l))))
  (- (sqrt (exp l)) (sqrt (exp (- l))))
  (- (exp l) (exp (- l)))
  (- (exp (- l)))
  (expm1 (* J (- (exp l) (exp (- l)))))
  (log1p (* J (- (exp l) (exp (- l)))))
  (* J (- (exp l) (exp (* -1 l))))
  (log (* J (- (exp l) (exp (- l)))))
  (log (* J (- (exp l) (exp (- l)))))
  (exp (* J (- (exp l) (exp (- l)))))
  (pow (* J (- (exp l) (exp (* -1 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 (* -1 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)))))
  (* (* (+ (* 1 (pow (cbrt (exp l)) 3)) (- (exp (- l)))) 1) J)
  (* (exp (- l)) (+ (- J) J))
  (* (* (+ (* 1 (pow (cbrt (exp l)) 3)) (- (exp (- l)))) 1) J)
  (* (exp (- l)) (+ (- J) J))
  (* (* (+ (* 1 (pow (cbrt (exp l)) 3)) (- (exp (- l)))) 1) J)
  (* (exp (- l)) (+ (- J) J))
  (* J (- (exp l) (exp (* -1 l))))
  (* (exp (- l)) (+ (- J) J))
  (* J (- (exp l) (exp (* -1 l))))
  (* (exp (- l)) (+ (- J) J))
  (* J (- (exp l) (exp (* -1 l))))
  (* (exp (- l)) (+ (- J) J))
  (* J (- (exp l) (exp (* -1 l))))
  (* (exp (- l)) (+ (- J) J))
  (* J (- (exp l) (exp (* -1 l))))
  (* (exp (- l)) (+ (- J) J))
  (* J (- (exp l) (exp (* -1 l))))
  (* (exp (- l)) (+ (- J) J))
  (* J (exp l))
  (/ (- J) (exp l))
  (* J (exp l))
  (/ (- J) (exp l))
  (* (* (+ (* 1 (pow (cbrt (exp l)) 3)) (- (exp (- l)))) 1) J)
  (* (exp (- l)) (+ (- J) J))
  (* (* (+ (* 1 (pow (cbrt (exp l)) 3)) (- (exp (- l)))) 1) J)
  (* (exp (- l)) (+ (- J) J))
  (* (* (+ (* 1 (pow (cbrt (exp l)) 3)) (- (exp (- l)))) 1) J)
  (* (exp (- l)) (+ (- J) J))
  (* J (- (exp l) (exp (* -1 l))))
  (* (exp (- l)) (+ (- J) J))
  (* J (- (exp l) (exp (* -1 l))))
  (* (exp (- l)) (+ (- J) J))
  (* J (- (exp l) (exp (* -1 l))))
  (* (exp (- l)) (+ (- J) J))
  (* J (- (exp l) (exp (* -1 l))))
  (* (exp (- l)) (+ (- J) J))
  (* J (- (exp l) (exp (* -1 l))))
  (* (exp (- l)) (+ (- J) J))
  (* J (- (exp l) (exp (* -1 l))))
  (* (exp (- l)) (+ (- J) J))
  (* 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 (* -1 l))))
  (* J (- (pow (exp l) 3) (pow (exp (- l)) 3)))
  (+ (- (* J (pow (exp l) -2))) (* J (exp (+ l l))))
  (expm1 (fma (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)) U))
  (log1p (fma (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)) U))
  (* (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)))
  (log (fma (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)) U))
  (exp (fma (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)) U))
  (* (cbrt (fma (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)) U)) (cbrt (fma (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)) U)))
  (cbrt (fma (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)) U))
  (pow (fma (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)) U) 3)
  (sqrt (fma (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)) U))
  (sqrt (fma (* J (- (exp l) (exp (- l)))) (cos (/ K 2.0)) U))
  (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))
  (- (exp l) (exp (- l)))
  (- (exp l) (exp (- l)))
  (* 2 (* J l))
  (* J (- (exp l) (exp (* -1 l))))
  (* J (- (exp l) (exp (* -1 l))))
  (fma (* 2 J) l U)
  (fma (* J (cos (* 0.5 K))) (- (exp l) (exp (- l))) U)
  (fma (* J (cos (* 0.5 K))) (- (exp l) (exp (- l))) U)
0.820 * * * [progress]: adding candidates to table
1.062 * * [progress]: iteration 2 / 4
1.062 * * * [progress]: picking best candidate
1.066 * * * * [pick]: Picked  #<alt (λ (J l K U) (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U))>
1.066 * * * [progress]: localizing error
1.083 * * * [progress]: generating rewritten candidates
1.083 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
1.084 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 2)
1.085 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
1.089 * * * [progress]: generating series expansions
1.089 * * * * [progress]: [ 1 / 3 ] generating series at (2)
1.089 * [approximate]: Taking taylor expansion of (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (* 0.5 K)) U) in (J l K U) around 0
1.089 * [taylor]: Taking taylor expansion of (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (* 0.5 K)) U) in U
1.089 * [taylor]: Rewrote expression to (+ (* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (* 0.5 K))) U)
1.089 * [taylor]: Taking taylor expansion of (* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (* 0.5 K))) in U
1.089 * [taylor]: Taking taylor expansion of (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) in U
1.089 * [taylor]: Taking taylor expansion of J in U
1.089 * [taylor]: Taking taylor expansion of (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))) in U
1.089 * [taylor]: Rewrote expression to (+ (* 1/3 (pow l 3)) (fma 1/60 (pow l 5) (* 2 l)))
1.089 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in U
1.089 * [taylor]: Taking taylor expansion of 1/3 in U
1.089 * [taylor]: Taking taylor expansion of (pow l 3) in U
1.089 * [taylor]: Taking taylor expansion of l in U
1.089 * [taylor]: Taking taylor expansion of (fma 1/60 (pow l 5) (* 2 l)) in U
1.090 * [taylor]: Rewrote expression to (+ (* 1/60 (pow l 5)) (* 2 l))
1.090 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in U
1.090 * [taylor]: Taking taylor expansion of 1/60 in U
1.090 * [taylor]: Taking taylor expansion of (pow l 5) in U
1.090 * [taylor]: Taking taylor expansion of l in U
1.090 * [taylor]: Taking taylor expansion of (* 2 l) in U
1.090 * [taylor]: Taking taylor expansion of 2 in U
1.090 * [taylor]: Taking taylor expansion of l in U
1.090 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in U
1.090 * [taylor]: Taking taylor expansion of (* 0.5 K) in U
1.090 * [taylor]: Taking taylor expansion of 0.5 in U
1.090 * [taylor]: Taking taylor expansion of K in U
1.090 * [taylor]: Taking taylor expansion of U in U
1.090 * [taylor]: Taking taylor expansion of (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (* 0.5 K)) U) in K
1.090 * [taylor]: Rewrote expression to (+ (* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (* 0.5 K))) U)
1.090 * [taylor]: Taking taylor expansion of (* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (* 0.5 K))) in K
1.090 * [taylor]: Taking taylor expansion of (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) in K
1.090 * [taylor]: Taking taylor expansion of J in K
1.090 * [taylor]: Taking taylor expansion of (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))) in K
1.090 * [taylor]: Rewrote expression to (+ (* 1/3 (pow l 3)) (fma 1/60 (pow l 5) (* 2 l)))
1.090 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in K
1.090 * [taylor]: Taking taylor expansion of 1/3 in K
1.090 * [taylor]: Taking taylor expansion of (pow l 3) in K
1.090 * [taylor]: Taking taylor expansion of l in K
1.090 * [taylor]: Taking taylor expansion of (fma 1/60 (pow l 5) (* 2 l)) in K
1.090 * [taylor]: Rewrote expression to (+ (* 1/60 (pow l 5)) (* 2 l))
1.090 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in K
1.090 * [taylor]: Taking taylor expansion of 1/60 in K
1.090 * [taylor]: Taking taylor expansion of (pow l 5) in K
1.090 * [taylor]: Taking taylor expansion of l in K
1.090 * [taylor]: Taking taylor expansion of (* 2 l) in K
1.090 * [taylor]: Taking taylor expansion of 2 in K
1.090 * [taylor]: Taking taylor expansion of l in K
1.090 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
1.090 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
1.090 * [taylor]: Taking taylor expansion of 0.5 in K
1.090 * [taylor]: Taking taylor expansion of K in K
1.092 * [taylor]: Taking taylor expansion of U in K
1.092 * [taylor]: Taking taylor expansion of (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (* 0.5 K)) U) in l
1.092 * [taylor]: Rewrote expression to (+ (* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (* 0.5 K))) U)
1.092 * [taylor]: Taking taylor expansion of (* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (* 0.5 K))) in l
1.092 * [taylor]: Taking taylor expansion of (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) in l
1.092 * [taylor]: Taking taylor expansion of J in l
1.092 * [taylor]: Taking taylor expansion of (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))) in l
1.092 * [taylor]: Rewrote expression to (+ (* 1/3 (pow l 3)) (fma 1/60 (pow l 5) (* 2 l)))
1.092 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in l
1.092 * [taylor]: Taking taylor expansion of 1/3 in l
1.092 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.092 * [taylor]: Taking taylor expansion of l in l
1.092 * [taylor]: Taking taylor expansion of (fma 1/60 (pow l 5) (* 2 l)) in l
1.092 * [taylor]: Rewrote expression to (+ (* 1/60 (pow l 5)) (* 2 l))
1.092 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in l
1.092 * [taylor]: Taking taylor expansion of 1/60 in l
1.092 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.092 * [taylor]: Taking taylor expansion of l in l
1.093 * [taylor]: Taking taylor expansion of (* 2 l) in l
1.093 * [taylor]: Taking taylor expansion of 2 in l
1.093 * [taylor]: Taking taylor expansion of l in l
1.093 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
1.093 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
1.093 * [taylor]: Taking taylor expansion of 0.5 in l
1.093 * [taylor]: Taking taylor expansion of K in l
1.093 * [taylor]: Taking taylor expansion of U in l
1.093 * [taylor]: Taking taylor expansion of (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (* 0.5 K)) U) in J
1.093 * [taylor]: Rewrote expression to (+ (* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (* 0.5 K))) U)
1.093 * [taylor]: Taking taylor expansion of (* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (* 0.5 K))) in J
1.093 * [taylor]: Taking taylor expansion of (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) in J
1.093 * [taylor]: Taking taylor expansion of J in J
1.093 * [taylor]: Taking taylor expansion of (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))) in J
1.093 * [taylor]: Rewrote expression to (+ (* 1/3 (pow l 3)) (fma 1/60 (pow l 5) (* 2 l)))
1.093 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in J
1.093 * [taylor]: Taking taylor expansion of 1/3 in J
1.093 * [taylor]: Taking taylor expansion of (pow l 3) in J
1.093 * [taylor]: Taking taylor expansion of l in J
1.093 * [taylor]: Taking taylor expansion of (fma 1/60 (pow l 5) (* 2 l)) in J
1.093 * [taylor]: Rewrote expression to (+ (* 1/60 (pow l 5)) (* 2 l))
1.093 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in J
1.093 * [taylor]: Taking taylor expansion of 1/60 in J
1.093 * [taylor]: Taking taylor expansion of (pow l 5) in J
1.093 * [taylor]: Taking taylor expansion of l in J
1.093 * [taylor]: Taking taylor expansion of (* 2 l) in J
1.093 * [taylor]: Taking taylor expansion of 2 in J
1.093 * [taylor]: Taking taylor expansion of l in J
1.093 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
1.093 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
1.093 * [taylor]: Taking taylor expansion of 0.5 in J
1.093 * [taylor]: Taking taylor expansion of K in J
1.093 * [taylor]: Taking taylor expansion of U in J
1.093 * [taylor]: Taking taylor expansion of (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (* 0.5 K)) U) in J
1.094 * [taylor]: Rewrote expression to (+ (* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (* 0.5 K))) U)
1.094 * [taylor]: Taking taylor expansion of (* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (* 0.5 K))) in J
1.094 * [taylor]: Taking taylor expansion of (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) in J
1.094 * [taylor]: Taking taylor expansion of J in J
1.094 * [taylor]: Taking taylor expansion of (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))) in J
1.094 * [taylor]: Rewrote expression to (+ (* 1/3 (pow l 3)) (fma 1/60 (pow l 5) (* 2 l)))
1.094 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in J
1.094 * [taylor]: Taking taylor expansion of 1/3 in J
1.094 * [taylor]: Taking taylor expansion of (pow l 3) in J
1.094 * [taylor]: Taking taylor expansion of l in J
1.094 * [taylor]: Taking taylor expansion of (fma 1/60 (pow l 5) (* 2 l)) in J
1.094 * [taylor]: Rewrote expression to (+ (* 1/60 (pow l 5)) (* 2 l))
1.094 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in J
1.094 * [taylor]: Taking taylor expansion of 1/60 in J
1.094 * [taylor]: Taking taylor expansion of (pow l 5) in J
1.094 * [taylor]: Taking taylor expansion of l in J
1.094 * [taylor]: Taking taylor expansion of (* 2 l) in J
1.094 * [taylor]: Taking taylor expansion of 2 in J
1.094 * [taylor]: Taking taylor expansion of l in J
1.094 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in J
1.094 * [taylor]: Taking taylor expansion of (* 0.5 K) in J
1.094 * [taylor]: Taking taylor expansion of 0.5 in J
1.094 * [taylor]: Taking taylor expansion of K in J
1.094 * [taylor]: Taking taylor expansion of U in J
1.095 * [taylor]: Taking taylor expansion of U in l
1.095 * [taylor]: Taking taylor expansion of U in K
1.095 * [taylor]: Taking taylor expansion of U in U
1.101 * [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.101 * [taylor]: Taking taylor expansion of (* 2 (* (cos (* 0.5 K)) l)) in l
1.101 * [taylor]: Taking taylor expansion of 2 in l
1.101 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) l) in l
1.101 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
1.101 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
1.101 * [taylor]: Taking taylor expansion of 0.5 in l
1.101 * [taylor]: Taking taylor expansion of K in l
1.101 * [taylor]: Taking taylor expansion of l in l
1.101 * [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.101 * [taylor]: Taking taylor expansion of (* 1/60 (* (cos (* 0.5 K)) (pow l 5))) in l
1.101 * [taylor]: Taking taylor expansion of 1/60 in l
1.101 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (pow l 5)) in l
1.101 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
1.101 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
1.101 * [taylor]: Taking taylor expansion of 0.5 in l
1.101 * [taylor]: Taking taylor expansion of K in l
1.101 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.101 * [taylor]: Taking taylor expansion of l in l
1.101 * [taylor]: Taking taylor expansion of (* 1/3 (* (cos (* 0.5 K)) (pow l 3))) in l
1.101 * [taylor]: Taking taylor expansion of 1/3 in l
1.101 * [taylor]: Taking taylor expansion of (* (cos (* 0.5 K)) (pow l 3)) in l
1.101 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in l
1.101 * [taylor]: Taking taylor expansion of (* 0.5 K) in l
1.101 * [taylor]: Taking taylor expansion of 0.5 in l
1.101 * [taylor]: Taking taylor expansion of K in l
1.102 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.102 * [taylor]: Taking taylor expansion of l in l
1.102 * [taylor]: Taking taylor expansion of 0 in K
1.102 * [taylor]: Taking taylor expansion of 0 in U
1.102 * [taylor]: Taking taylor expansion of 0 in K
1.103 * [taylor]: Taking taylor expansion of 0 in U
1.103 * [taylor]: Taking taylor expansion of 0 in U
1.110 * [taylor]: Taking taylor expansion of 0 in l
1.110 * [taylor]: Taking taylor expansion of 0 in K
1.110 * [taylor]: Taking taylor expansion of 0 in U
1.113 * [taylor]: Taking taylor expansion of (* 2 (cos (* 0.5 K))) in K
1.113 * [taylor]: Taking taylor expansion of 2 in K
1.113 * [taylor]: Taking taylor expansion of (cos (* 0.5 K)) in K
1.113 * [taylor]: Taking taylor expansion of (* 0.5 K) in K
1.113 * [taylor]: Taking taylor expansion of 0.5 in K
1.113 * [taylor]: Taking taylor expansion of K in K
1.115 * [taylor]: Taking taylor expansion of 2 in U
1.115 * [taylor]: Taking taylor expansion of 0 in K
1.115 * [taylor]: Taking taylor expansion of 0 in U
1.115 * [taylor]: Taking taylor expansion of 0 in U
1.115 * [taylor]: Taking taylor expansion of 0 in U
1.115 * [taylor]: Taking taylor expansion of 0 in U
1.116 * [approximate]: Taking taylor expansion of (fma (/ (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) J) (cos (/ 0.5 K)) (/ 1 U)) in (J l K U) around 0
1.116 * [taylor]: Taking taylor expansion of (fma (/ (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) J) (cos (/ 0.5 K)) (/ 1 U)) in U
1.116 * [taylor]: Rewrote expression to (+ (* (/ (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) J) (cos (/ 0.5 K))) (/ 1 U))
1.116 * [taylor]: Taking taylor expansion of (* (/ (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) J) (cos (/ 0.5 K))) in U
1.116 * [taylor]: Taking taylor expansion of (/ (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) J) in U
1.116 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) in U
1.116 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ 1 l) 3)) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l)))
1.116 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 l) 3)) in U
1.116 * [taylor]: Taking taylor expansion of 1/3 in U
1.116 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 3) in U
1.116 * [taylor]: Taking taylor expansion of (/ 1 l) in U
1.116 * [taylor]: Taking taylor expansion of l in U
1.116 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 l) 5) (/ 2 l)) in U
1.116 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 l) 5)) (/ 2 l))
1.116 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 l) 5)) in U
1.116 * [taylor]: Taking taylor expansion of 1/60 in U
1.116 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 5) in U
1.116 * [taylor]: Taking taylor expansion of (/ 1 l) in U
1.116 * [taylor]: Taking taylor expansion of l in U
1.116 * [taylor]: Taking taylor expansion of (/ 2 l) in U
1.116 * [taylor]: Taking taylor expansion of 2 in U
1.116 * [taylor]: Taking taylor expansion of l in U
1.116 * [taylor]: Taking taylor expansion of J in U
1.117 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in U
1.117 * [taylor]: Taking taylor expansion of (/ 0.5 K) in U
1.117 * [taylor]: Taking taylor expansion of 0.5 in U
1.118 * [taylor]: Taking taylor expansion of K in U
1.118 * [taylor]: Taking taylor expansion of (/ 1 U) in U
1.118 * [taylor]: Taking taylor expansion of U in U
1.118 * [taylor]: Taking taylor expansion of (fma (/ (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) J) (cos (/ 0.5 K)) (/ 1 U)) in K
1.118 * [taylor]: Rewrote expression to (+ (* (/ (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) J) (cos (/ 0.5 K))) (/ 1 U))
1.118 * [taylor]: Taking taylor expansion of (* (/ (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) J) (cos (/ 0.5 K))) in K
1.118 * [taylor]: Taking taylor expansion of (/ (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) J) in K
1.118 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) in K
1.118 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ 1 l) 3)) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l)))
1.118 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 l) 3)) in K
1.118 * [taylor]: Taking taylor expansion of 1/3 in K
1.118 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 3) in K
1.118 * [taylor]: Taking taylor expansion of (/ 1 l) in K
1.118 * [taylor]: Taking taylor expansion of l in K
1.118 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 l) 5) (/ 2 l)) in K
1.118 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 l) 5)) (/ 2 l))
1.118 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 l) 5)) in K
1.118 * [taylor]: Taking taylor expansion of 1/60 in K
1.118 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 5) in K
1.118 * [taylor]: Taking taylor expansion of (/ 1 l) in K
1.118 * [taylor]: Taking taylor expansion of l in K
1.119 * [taylor]: Taking taylor expansion of (/ 2 l) in K
1.119 * [taylor]: Taking taylor expansion of 2 in K
1.119 * [taylor]: Taking taylor expansion of l in K
1.119 * [taylor]: Taking taylor expansion of J in K
1.120 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
1.120 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
1.120 * [taylor]: Taking taylor expansion of 0.5 in K
1.120 * [taylor]: Taking taylor expansion of K in K
1.120 * [taylor]: Taking taylor expansion of (/ 1 U) in K
1.120 * [taylor]: Taking taylor expansion of U in K
1.120 * [taylor]: Taking taylor expansion of (fma (/ (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) J) (cos (/ 0.5 K)) (/ 1 U)) in l
1.120 * [taylor]: Rewrote expression to (+ (* (/ (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) J) (cos (/ 0.5 K))) (/ 1 U))
1.120 * [taylor]: Taking taylor expansion of (* (/ (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) J) (cos (/ 0.5 K))) in l
1.120 * [taylor]: Taking taylor expansion of (/ (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) J) in l
1.120 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) in l
1.120 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ 1 l) 3)) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l)))
1.120 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 l) 3)) in l
1.120 * [taylor]: Taking taylor expansion of 1/3 in l
1.120 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 3) in l
1.120 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.120 * [taylor]: Taking taylor expansion of l in l
1.121 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 l) 5) (/ 2 l)) in l
1.121 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 l) 5)) (/ 2 l))
1.121 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 l) 5)) in l
1.121 * [taylor]: Taking taylor expansion of 1/60 in l
1.121 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 5) in l
1.121 * [taylor]: Taking taylor expansion of (/ 1 l) 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 in l
1.123 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
1.123 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
1.123 * [taylor]: Taking taylor expansion of 0.5 in l
1.123 * [taylor]: Taking taylor expansion of K in l
1.123 * [taylor]: Taking taylor expansion of (/ 1 U) in l
1.123 * [taylor]: Taking taylor expansion of U in l
1.123 * [taylor]: Taking taylor expansion of (fma (/ (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) J) (cos (/ 0.5 K)) (/ 1 U)) in J
1.123 * [taylor]: Rewrote expression to (+ (* (/ (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) J) (cos (/ 0.5 K))) (/ 1 U))
1.123 * [taylor]: Taking taylor expansion of (* (/ (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) J) (cos (/ 0.5 K))) in J
1.123 * [taylor]: Taking taylor expansion of (/ (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) J) in J
1.123 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) in J
1.123 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ 1 l) 3)) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l)))
1.123 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 l) 3)) in J
1.123 * [taylor]: Taking taylor expansion of 1/3 in J
1.123 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 3) in J
1.123 * [taylor]: Taking taylor expansion of (/ 1 l) in J
1.123 * [taylor]: Taking taylor expansion of l in J
1.123 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 l) 5) (/ 2 l)) in J
1.124 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 l) 5)) (/ 2 l))
1.124 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 l) 5)) in J
1.124 * [taylor]: Taking taylor expansion of 1/60 in J
1.124 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 5) in J
1.124 * [taylor]: Taking taylor expansion of (/ 1 l) in J
1.124 * [taylor]: Taking taylor expansion of l in J
1.124 * [taylor]: Taking taylor expansion of (/ 2 l) in J
1.124 * [taylor]: Taking taylor expansion of 2 in J
1.124 * [taylor]: Taking taylor expansion of l in J
1.124 * [taylor]: Taking taylor expansion of J in J
1.129 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
1.129 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
1.129 * [taylor]: Taking taylor expansion of 0.5 in J
1.129 * [taylor]: Taking taylor expansion of K in J
1.129 * [taylor]: Taking taylor expansion of (/ 1 U) in J
1.129 * [taylor]: Taking taylor expansion of U in J
1.129 * [taylor]: Taking taylor expansion of (fma (/ (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) J) (cos (/ 0.5 K)) (/ 1 U)) in J
1.129 * [taylor]: Rewrote expression to (+ (* (/ (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) J) (cos (/ 0.5 K))) (/ 1 U))
1.129 * [taylor]: Taking taylor expansion of (* (/ (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) J) (cos (/ 0.5 K))) in J
1.129 * [taylor]: Taking taylor expansion of (/ (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) J) in J
1.129 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) in J
1.129 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ 1 l) 3)) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l)))
1.129 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 l) 3)) in J
1.129 * [taylor]: Taking taylor expansion of 1/3 in J
1.129 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 3) in J
1.129 * [taylor]: Taking taylor expansion of (/ 1 l) in J
1.129 * [taylor]: Taking taylor expansion of l in J
1.129 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 l) 5) (/ 2 l)) in J
1.129 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 l) 5)) (/ 2 l))
1.129 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 l) 5)) in J
1.129 * [taylor]: Taking taylor expansion of 1/60 in J
1.129 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 5) in J
1.129 * [taylor]: Taking taylor expansion of (/ 1 l) in J
1.129 * [taylor]: Taking taylor expansion of l in J
1.129 * [taylor]: Taking taylor expansion of (/ 2 l) in J
1.129 * [taylor]: Taking taylor expansion of 2 in J
1.129 * [taylor]: Taking taylor expansion of l in J
1.130 * [taylor]: Taking taylor expansion of J in J
1.130 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in J
1.131 * [taylor]: Taking taylor expansion of (/ 0.5 K) in J
1.131 * [taylor]: Taking taylor expansion of 0.5 in J
1.131 * [taylor]: Taking taylor expansion of K in J
1.131 * [taylor]: Taking taylor expansion of (/ 1 U) in J
1.131 * [taylor]: Taking taylor expansion of U in J
1.132 * [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.132 * [taylor]: Taking taylor expansion of (* 1/60 (/ (cos (/ 0.5 K)) (pow l 5))) in l
1.132 * [taylor]: Taking taylor expansion of 1/60 in l
1.132 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (pow l 5)) in l
1.132 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
1.132 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
1.132 * [taylor]: Taking taylor expansion of 0.5 in l
1.132 * [taylor]: Taking taylor expansion of K in l
1.132 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.132 * [taylor]: Taking taylor expansion of l in l
1.133 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ (cos (/ 0.5 K)) (pow l 3))) (* 2 (/ (cos (/ 0.5 K)) l))) in l
1.133 * [taylor]: Taking taylor expansion of (* 1/3 (/ (cos (/ 0.5 K)) (pow l 3))) in l
1.133 * [taylor]: Taking taylor expansion of 1/3 in l
1.133 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) (pow l 3)) in l
1.133 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
1.133 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
1.133 * [taylor]: Taking taylor expansion of 0.5 in l
1.134 * [taylor]: Taking taylor expansion of K in l
1.134 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.134 * [taylor]: Taking taylor expansion of l in l
1.135 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ 0.5 K)) l)) in l
1.135 * [taylor]: Taking taylor expansion of 2 in l
1.135 * [taylor]: Taking taylor expansion of (/ (cos (/ 0.5 K)) l) in l
1.135 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in l
1.135 * [taylor]: Taking taylor expansion of (/ 0.5 K) in l
1.135 * [taylor]: Taking taylor expansion of 0.5 in l
1.135 * [taylor]: Taking taylor expansion of K in l
1.135 * [taylor]: Taking taylor expansion of l in l
1.135 * [taylor]: Taking taylor expansion of (* 1/60 (cos (/ 0.5 K))) in K
1.135 * [taylor]: Taking taylor expansion of 1/60 in K
1.135 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
1.135 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
1.135 * [taylor]: Taking taylor expansion of 0.5 in K
1.135 * [taylor]: Taking taylor expansion of K in K
1.136 * [taylor]: Taking taylor expansion of (* 1/60 (cos (/ 0.5 K))) in U
1.136 * [taylor]: Taking taylor expansion of 1/60 in U
1.136 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in U
1.136 * [taylor]: Taking taylor expansion of (/ 0.5 K) in U
1.136 * [taylor]: Taking taylor expansion of 0.5 in U
1.136 * [taylor]: Taking taylor expansion of K in U
1.141 * [taylor]: Taking taylor expansion of (/ 1 U) in l
1.141 * [taylor]: Taking taylor expansion of U in l
1.145 * [taylor]: Taking taylor expansion of 0 in K
1.145 * [taylor]: Taking taylor expansion of 0 in U
1.145 * [taylor]: Taking taylor expansion of 0 in U
1.153 * [taylor]: Taking taylor expansion of 0 in l
1.159 * [taylor]: Taking taylor expansion of (* 1/3 (cos (/ 0.5 K))) in K
1.159 * [taylor]: Taking taylor expansion of 1/3 in K
1.159 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
1.159 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
1.159 * [taylor]: Taking taylor expansion of 0.5 in K
1.159 * [taylor]: Taking taylor expansion of K in K
1.159 * [taylor]: Taking taylor expansion of (* 1/3 (cos (/ 0.5 K))) in U
1.159 * [taylor]: Taking taylor expansion of 1/3 in U
1.159 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in U
1.159 * [taylor]: Taking taylor expansion of (/ 0.5 K) in U
1.159 * [taylor]: Taking taylor expansion of 0.5 in U
1.159 * [taylor]: Taking taylor expansion of K in U
1.160 * [taylor]: Taking taylor expansion of 0 in U
1.160 * [taylor]: Taking taylor expansion of 0 in U
1.173 * [taylor]: Taking taylor expansion of 0 in l
1.183 * [taylor]: Taking taylor expansion of 0 in K
1.183 * [taylor]: Taking taylor expansion of 0 in U
1.183 * [taylor]: Taking taylor expansion of 0 in U
1.184 * [taylor]: Taking taylor expansion of 0 in U
1.184 * [taylor]: Taking taylor expansion of 0 in U
1.201 * [taylor]: Taking taylor expansion of 0 in l
1.219 * [taylor]: Taking taylor expansion of (* 2 (cos (/ 0.5 K))) in K
1.219 * [taylor]: Taking taylor expansion of 2 in K
1.219 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in K
1.219 * [taylor]: Taking taylor expansion of (/ 0.5 K) in K
1.219 * [taylor]: Taking taylor expansion of 0.5 in K
1.219 * [taylor]: Taking taylor expansion of K in K
1.220 * [taylor]: Taking taylor expansion of (* 2 (cos (/ 0.5 K))) in U
1.220 * [taylor]: Taking taylor expansion of 2 in U
1.220 * [taylor]: Taking taylor expansion of (cos (/ 0.5 K)) in U
1.220 * [taylor]: Taking taylor expansion of (/ 0.5 K) in U
1.220 * [taylor]: Taking taylor expansion of 0.5 in U
1.220 * [taylor]: Taking taylor expansion of K in U
1.220 * [taylor]: Taking taylor expansion of 0 in U
1.220 * [taylor]: Taking taylor expansion of 0 in U
1.220 * [taylor]: Taking taylor expansion of 0 in U
1.221 * [taylor]: Taking taylor expansion of 0 in U
1.222 * [approximate]: Taking taylor expansion of (fma (* -1 (/ (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) J)) (cos (/ -0.5 K)) (/ -1 U)) in (J l K U) around 0
1.222 * [taylor]: Taking taylor expansion of (fma (* -1 (/ (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) J)) (cos (/ -0.5 K)) (/ -1 U)) in U
1.223 * [taylor]: Rewrote expression to (+ (* (* -1 (/ (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) J)) (cos (/ -0.5 K))) (/ -1 U))
1.223 * [taylor]: Taking taylor expansion of (* (* -1 (/ (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) J)) (cos (/ -0.5 K))) in U
1.223 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) J)) in U
1.223 * [taylor]: Taking taylor expansion of -1 in U
1.223 * [taylor]: Taking taylor expansion of (/ (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) J) in U
1.223 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) in U
1.223 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ -1 l) 3)) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l)))
1.223 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ -1 l) 3)) in U
1.223 * [taylor]: Taking taylor expansion of 1/3 in U
1.223 * [taylor]: Taking taylor expansion of (pow (/ -1 l) 3) in U
1.223 * [taylor]: Taking taylor expansion of (/ -1 l) in U
1.223 * [taylor]: Taking taylor expansion of -1 in U
1.223 * [taylor]: Taking taylor expansion of l in U
1.223 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 l) 5) (/ -2 l)) in U
1.223 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 l) 5)) (/ -2 l))
1.223 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 l) 5)) in U
1.223 * [taylor]: Taking taylor expansion of 1/60 in U
1.223 * [taylor]: Taking taylor expansion of (pow (/ -1 l) 5) in U
1.223 * [taylor]: Taking taylor expansion of (/ -1 l) in U
1.223 * [taylor]: Taking taylor expansion of -1 in U
1.223 * [taylor]: Taking taylor expansion of l in U
1.223 * [taylor]: Taking taylor expansion of (/ -2 l) in U
1.223 * [taylor]: Taking taylor expansion of -2 in U
1.223 * [taylor]: Taking taylor expansion of l in U
1.223 * [taylor]: Taking taylor expansion of J in U
1.224 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in U
1.224 * [taylor]: Taking taylor expansion of (/ -0.5 K) in U
1.224 * [taylor]: Taking taylor expansion of -0.5 in U
1.224 * [taylor]: Taking taylor expansion of K in U
1.224 * [taylor]: Taking taylor expansion of (/ -1 U) in U
1.224 * [taylor]: Taking taylor expansion of -1 in U
1.225 * [taylor]: Taking taylor expansion of U in U
1.225 * [taylor]: Taking taylor expansion of (fma (* -1 (/ (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) J)) (cos (/ -0.5 K)) (/ -1 U)) in K
1.225 * [taylor]: Rewrote expression to (+ (* (* -1 (/ (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) J)) (cos (/ -0.5 K))) (/ -1 U))
1.225 * [taylor]: Taking taylor expansion of (* (* -1 (/ (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) J)) (cos (/ -0.5 K))) in K
1.225 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) J)) in K
1.225 * [taylor]: Taking taylor expansion of -1 in K
1.225 * [taylor]: Taking taylor expansion of (/ (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) J) in K
1.225 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) in K
1.225 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ -1 l) 3)) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l)))
1.225 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ -1 l) 3)) in K
1.225 * [taylor]: Taking taylor expansion of 1/3 in K
1.225 * [taylor]: Taking taylor expansion of (pow (/ -1 l) 3) in K
1.225 * [taylor]: Taking taylor expansion of (/ -1 l) in K
1.225 * [taylor]: Taking taylor expansion of -1 in K
1.225 * [taylor]: Taking taylor expansion of l in K
1.225 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 l) 5) (/ -2 l)) in K
1.225 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 l) 5)) (/ -2 l))
1.225 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 l) 5)) in K
1.225 * [taylor]: Taking taylor expansion of 1/60 in K
1.225 * [taylor]: Taking taylor expansion of (pow (/ -1 l) 5) in K
1.225 * [taylor]: Taking taylor expansion of (/ -1 l) in K
1.225 * [taylor]: Taking taylor expansion of -1 in K
1.225 * [taylor]: Taking taylor expansion of l in K
1.226 * [taylor]: Taking taylor expansion of (/ -2 l) in K
1.226 * [taylor]: Taking taylor expansion of -2 in K
1.226 * [taylor]: Taking taylor expansion of l in K
1.226 * [taylor]: Taking taylor expansion of J in K
1.227 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
1.227 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
1.227 * [taylor]: Taking taylor expansion of -0.5 in K
1.227 * [taylor]: Taking taylor expansion of K in K
1.227 * [taylor]: Taking taylor expansion of (/ -1 U) in K
1.227 * [taylor]: Taking taylor expansion of -1 in K
1.227 * [taylor]: Taking taylor expansion of U in K
1.227 * [taylor]: Taking taylor expansion of (fma (* -1 (/ (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) J)) (cos (/ -0.5 K)) (/ -1 U)) in l
1.227 * [taylor]: Rewrote expression to (+ (* (* -1 (/ (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) J)) (cos (/ -0.5 K))) (/ -1 U))
1.227 * [taylor]: Taking taylor expansion of (* (* -1 (/ (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) J)) (cos (/ -0.5 K))) in l
1.227 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) J)) in l
1.227 * [taylor]: Taking taylor expansion of -1 in l
1.227 * [taylor]: Taking taylor expansion of (/ (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) J) in l
1.227 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) in l
1.228 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ -1 l) 3)) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l)))
1.228 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ -1 l) 3)) in l
1.228 * [taylor]: Taking taylor expansion of 1/3 in l
1.228 * [taylor]: Taking taylor expansion of (pow (/ -1 l) 3) in l
1.228 * [taylor]: Taking taylor expansion of (/ -1 l) in l
1.228 * [taylor]: Taking taylor expansion of -1 in l
1.228 * [taylor]: Taking taylor expansion of l in l
1.228 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 l) 5) (/ -2 l)) in l
1.228 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 l) 5)) (/ -2 l))
1.228 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 l) 5)) in l
1.228 * [taylor]: Taking taylor expansion of 1/60 in l
1.228 * [taylor]: Taking taylor expansion of (pow (/ -1 l) 5) in l
1.228 * [taylor]: Taking taylor expansion of (/ -1 l) in l
1.228 * [taylor]: Taking taylor expansion of -1 in l
1.228 * [taylor]: Taking taylor expansion of l in l
1.228 * [taylor]: Taking taylor expansion of (/ -2 l) in l
1.228 * [taylor]: Taking taylor expansion of -2 in l
1.229 * [taylor]: Taking taylor expansion of l in l
1.229 * [taylor]: Taking taylor expansion of J in l
1.230 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
1.230 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
1.230 * [taylor]: Taking taylor expansion of -0.5 in l
1.230 * [taylor]: Taking taylor expansion of K in l
1.230 * [taylor]: Taking taylor expansion of (/ -1 U) in l
1.230 * [taylor]: Taking taylor expansion of -1 in l
1.230 * [taylor]: Taking taylor expansion of U in l
1.231 * [taylor]: Taking taylor expansion of (fma (* -1 (/ (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) J)) (cos (/ -0.5 K)) (/ -1 U)) in J
1.231 * [taylor]: Rewrote expression to (+ (* (* -1 (/ (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) J)) (cos (/ -0.5 K))) (/ -1 U))
1.231 * [taylor]: Taking taylor expansion of (* (* -1 (/ (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) J)) (cos (/ -0.5 K))) in J
1.231 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) J)) in J
1.231 * [taylor]: Taking taylor expansion of -1 in J
1.231 * [taylor]: Taking taylor expansion of (/ (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) J) in J
1.231 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) in J
1.231 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ -1 l) 3)) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l)))
1.231 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ -1 l) 3)) in J
1.231 * [taylor]: Taking taylor expansion of 1/3 in J
1.231 * [taylor]: Taking taylor expansion of (pow (/ -1 l) 3) in J
1.231 * [taylor]: Taking taylor expansion of (/ -1 l) in J
1.231 * [taylor]: Taking taylor expansion of -1 in J
1.231 * [taylor]: Taking taylor expansion of l in J
1.231 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 l) 5) (/ -2 l)) in J
1.231 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 l) 5)) (/ -2 l))
1.231 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 l) 5)) in J
1.231 * [taylor]: Taking taylor expansion of 1/60 in J
1.231 * [taylor]: Taking taylor expansion of (pow (/ -1 l) 5) in J
1.231 * [taylor]: Taking taylor expansion of (/ -1 l) in J
1.231 * [taylor]: Taking taylor expansion of -1 in J
1.231 * [taylor]: Taking taylor expansion of l in J
1.231 * [taylor]: Taking taylor expansion of (/ -2 l) in J
1.231 * [taylor]: Taking taylor expansion of -2 in J
1.231 * [taylor]: Taking taylor expansion of l in J
1.231 * [taylor]: Taking taylor expansion of J in J
1.232 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
1.232 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
1.232 * [taylor]: Taking taylor expansion of -0.5 in J
1.232 * [taylor]: Taking taylor expansion of K in J
1.233 * [taylor]: Taking taylor expansion of (/ -1 U) in J
1.233 * [taylor]: Taking taylor expansion of -1 in J
1.233 * [taylor]: Taking taylor expansion of U in J
1.233 * [taylor]: Taking taylor expansion of (fma (* -1 (/ (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) J)) (cos (/ -0.5 K)) (/ -1 U)) in J
1.233 * [taylor]: Rewrote expression to (+ (* (* -1 (/ (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) J)) (cos (/ -0.5 K))) (/ -1 U))
1.233 * [taylor]: Taking taylor expansion of (* (* -1 (/ (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) J)) (cos (/ -0.5 K))) in J
1.233 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) J)) in J
1.233 * [taylor]: Taking taylor expansion of -1 in J
1.233 * [taylor]: Taking taylor expansion of (/ (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) J) in J
1.233 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) in J
1.233 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ -1 l) 3)) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l)))
1.233 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ -1 l) 3)) in J
1.233 * [taylor]: Taking taylor expansion of 1/3 in J
1.233 * [taylor]: Taking taylor expansion of (pow (/ -1 l) 3) in J
1.233 * [taylor]: Taking taylor expansion of (/ -1 l) in J
1.233 * [taylor]: Taking taylor expansion of -1 in J
1.233 * [taylor]: Taking taylor expansion of l in J
1.233 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 l) 5) (/ -2 l)) in J
1.233 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 l) 5)) (/ -2 l))
1.233 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 l) 5)) in J
1.233 * [taylor]: Taking taylor expansion of 1/60 in J
1.233 * [taylor]: Taking taylor expansion of (pow (/ -1 l) 5) in J
1.233 * [taylor]: Taking taylor expansion of (/ -1 l) in J
1.233 * [taylor]: Taking taylor expansion of -1 in J
1.233 * [taylor]: Taking taylor expansion of l in J
1.233 * [taylor]: Taking taylor expansion of (/ -2 l) in J
1.233 * [taylor]: Taking taylor expansion of -2 in J
1.233 * [taylor]: Taking taylor expansion of l in J
1.233 * [taylor]: Taking taylor expansion of J in J
1.234 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in J
1.234 * [taylor]: Taking taylor expansion of (/ -0.5 K) in J
1.234 * [taylor]: Taking taylor expansion of -0.5 in J
1.234 * [taylor]: Taking taylor expansion of K in J
1.235 * [taylor]: Taking taylor expansion of (/ -1 U) in J
1.235 * [taylor]: Taking taylor expansion of -1 in J
1.235 * [taylor]: Taking taylor expansion of U in J
1.236 * [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.236 * [taylor]: Taking taylor expansion of (* 1/60 (/ (cos (/ -0.5 K)) (pow l 5))) in l
1.236 * [taylor]: Taking taylor expansion of 1/60 in l
1.236 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (pow l 5)) in l
1.236 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
1.236 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
1.236 * [taylor]: Taking taylor expansion of -0.5 in l
1.236 * [taylor]: Taking taylor expansion of K in l
1.236 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.236 * [taylor]: Taking taylor expansion of l in l
1.237 * [taylor]: Taking taylor expansion of (+ (* 1/3 (/ (cos (/ -0.5 K)) (pow l 3))) (* 2 (/ (cos (/ -0.5 K)) l))) in l
1.237 * [taylor]: Taking taylor expansion of (* 1/3 (/ (cos (/ -0.5 K)) (pow l 3))) in l
1.237 * [taylor]: Taking taylor expansion of 1/3 in l
1.237 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) (pow l 3)) in l
1.237 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
1.237 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
1.237 * [taylor]: Taking taylor expansion of -0.5 in l
1.238 * [taylor]: Taking taylor expansion of K in l
1.238 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.238 * [taylor]: Taking taylor expansion of l in l
1.238 * [taylor]: Taking taylor expansion of (* 2 (/ (cos (/ -0.5 K)) l)) in l
1.239 * [taylor]: Taking taylor expansion of 2 in l
1.239 * [taylor]: Taking taylor expansion of (/ (cos (/ -0.5 K)) l) in l
1.239 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in l
1.239 * [taylor]: Taking taylor expansion of (/ -0.5 K) in l
1.239 * [taylor]: Taking taylor expansion of -0.5 in l
1.239 * [taylor]: Taking taylor expansion of K in l
1.239 * [taylor]: Taking taylor expansion of l in l
1.239 * [taylor]: Taking taylor expansion of (* 1/60 (cos (/ -0.5 K))) in K
1.239 * [taylor]: Taking taylor expansion of 1/60 in K
1.239 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
1.239 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
1.239 * [taylor]: Taking taylor expansion of -0.5 in K
1.239 * [taylor]: Taking taylor expansion of K in K
1.240 * [taylor]: Taking taylor expansion of (* 1/60 (cos (/ -0.5 K))) in U
1.240 * [taylor]: Taking taylor expansion of 1/60 in U
1.240 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in U
1.240 * [taylor]: Taking taylor expansion of (/ -0.5 K) in U
1.240 * [taylor]: Taking taylor expansion of -0.5 in U
1.240 * [taylor]: Taking taylor expansion of K in U
1.245 * [taylor]: Taking taylor expansion of (- (/ 1 U)) in l
1.245 * [taylor]: Taking taylor expansion of (/ 1 U) in l
1.245 * [taylor]: Taking taylor expansion of U in l
1.250 * [taylor]: Taking taylor expansion of 0 in K
1.250 * [taylor]: Taking taylor expansion of 0 in U
1.250 * [taylor]: Taking taylor expansion of 0 in U
1.259 * [taylor]: Taking taylor expansion of 0 in l
1.264 * [taylor]: Taking taylor expansion of (* 1/3 (cos (/ -0.5 K))) in K
1.264 * [taylor]: Taking taylor expansion of 1/3 in K
1.264 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
1.264 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
1.264 * [taylor]: Taking taylor expansion of -0.5 in K
1.264 * [taylor]: Taking taylor expansion of K in K
1.265 * [taylor]: Taking taylor expansion of (* 1/3 (cos (/ -0.5 K))) in U
1.265 * [taylor]: Taking taylor expansion of 1/3 in U
1.265 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in U
1.265 * [taylor]: Taking taylor expansion of (/ -0.5 K) in U
1.265 * [taylor]: Taking taylor expansion of -0.5 in U
1.265 * [taylor]: Taking taylor expansion of K in U
1.265 * [taylor]: Taking taylor expansion of 0 in U
1.266 * [taylor]: Taking taylor expansion of 0 in U
1.279 * [taylor]: Taking taylor expansion of 0 in l
1.290 * [taylor]: Taking taylor expansion of 0 in K
1.290 * [taylor]: Taking taylor expansion of 0 in U
1.291 * [taylor]: Taking taylor expansion of 0 in U
1.291 * [taylor]: Taking taylor expansion of 0 in U
1.292 * [taylor]: Taking taylor expansion of 0 in U
1.314 * [taylor]: Taking taylor expansion of 0 in l
1.327 * [taylor]: Taking taylor expansion of (* 2 (cos (/ -0.5 K))) in K
1.327 * [taylor]: Taking taylor expansion of 2 in K
1.327 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in K
1.327 * [taylor]: Taking taylor expansion of (/ -0.5 K) in K
1.327 * [taylor]: Taking taylor expansion of -0.5 in K
1.327 * [taylor]: Taking taylor expansion of K in K
1.328 * [taylor]: Taking taylor expansion of (* 2 (cos (/ -0.5 K))) in U
1.328 * [taylor]: Taking taylor expansion of 2 in U
1.328 * [taylor]: Taking taylor expansion of (cos (/ -0.5 K)) in U
1.328 * [taylor]: Taking taylor expansion of (/ -0.5 K) in U
1.328 * [taylor]: Taking taylor expansion of -0.5 in U
1.328 * [taylor]: Taking taylor expansion of K in U
1.328 * [taylor]: Taking taylor expansion of 0 in U
1.328 * [taylor]: Taking taylor expansion of 0 in U
1.328 * [taylor]: Taking taylor expansion of 0 in U
1.329 * [taylor]: Taking taylor expansion of 0 in U
1.330 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 2)
1.330 * [approximate]: Taking taylor expansion of (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))) in (l) around 0
1.330 * [taylor]: Taking taylor expansion of (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))) in l
1.330 * [taylor]: Rewrote expression to (+ (* 1/3 (pow l 3)) (fma 1/60 (pow l 5) (* 2 l)))
1.331 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in l
1.331 * [taylor]: Taking taylor expansion of 1/3 in l
1.331 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.331 * [taylor]: Taking taylor expansion of l in l
1.331 * [taylor]: Taking taylor expansion of (fma 1/60 (pow l 5) (* 2 l)) in l
1.331 * [taylor]: Rewrote expression to (+ (* 1/60 (pow l 5)) (* 2 l))
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.331 * [taylor]: Taking taylor expansion of (* 2 l) in l
1.331 * [taylor]: Taking taylor expansion of 2 in l
1.331 * [taylor]: Taking taylor expansion of l in l
1.331 * [taylor]: Taking taylor expansion of (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))) in l
1.331 * [taylor]: Rewrote expression to (+ (* 1/3 (pow l 3)) (fma 1/60 (pow l 5) (* 2 l)))
1.331 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in l
1.331 * [taylor]: Taking taylor expansion of 1/3 in l
1.331 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.331 * [taylor]: Taking taylor expansion of l in l
1.331 * [taylor]: Taking taylor expansion of (fma 1/60 (pow l 5) (* 2 l)) in l
1.331 * [taylor]: Rewrote expression to (+ (* 1/60 (pow l 5)) (* 2 l))
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.331 * [taylor]: Taking taylor expansion of (* 2 l) in l
1.331 * [taylor]: Taking taylor expansion of 2 in l
1.331 * [taylor]: Taking taylor expansion of l in l
1.342 * [approximate]: Taking taylor expansion of (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) in (l) around 0
1.342 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) in l
1.342 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ 1 l) 3)) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l)))
1.342 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 l) 3)) in l
1.342 * [taylor]: Taking taylor expansion of 1/3 in l
1.342 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 3) in l
1.342 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.342 * [taylor]: Taking taylor expansion of l in l
1.342 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 l) 5) (/ 2 l)) in l
1.342 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 l) 5)) (/ 2 l))
1.342 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 l) 5)) in l
1.342 * [taylor]: Taking taylor expansion of 1/60 in l
1.342 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 5) in l
1.342 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.342 * [taylor]: Taking taylor expansion of l in l
1.343 * [taylor]: Taking taylor expansion of (/ 2 l) in l
1.343 * [taylor]: Taking taylor expansion of 2 in l
1.343 * [taylor]: Taking taylor expansion of l in l
1.343 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) in l
1.343 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ 1 l) 3)) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l)))
1.343 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 l) 3)) in l
1.343 * [taylor]: Taking taylor expansion of 1/3 in l
1.343 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 3) in l
1.343 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.343 * [taylor]: Taking taylor expansion of l in l
1.343 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 l) 5) (/ 2 l)) in l
1.343 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 l) 5)) (/ 2 l))
1.344 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 l) 5)) in l
1.344 * [taylor]: Taking taylor expansion of 1/60 in l
1.344 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 5) in l
1.344 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.344 * [taylor]: Taking taylor expansion of l in l
1.344 * [taylor]: Taking taylor expansion of (/ 2 l) in l
1.344 * [taylor]: Taking taylor expansion of 2 in l
1.344 * [taylor]: Taking taylor expansion of l in l
1.362 * [approximate]: Taking taylor expansion of (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) in (l) around 0
1.362 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) in l
1.362 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ -1 l) 3)) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l)))
1.362 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ -1 l) 3)) in l
1.362 * [taylor]: Taking taylor expansion of 1/3 in l
1.362 * [taylor]: Taking taylor expansion of (pow (/ -1 l) 3) in l
1.362 * [taylor]: Taking taylor expansion of (/ -1 l) in l
1.362 * [taylor]: Taking taylor expansion of -1 in l
1.362 * [taylor]: Taking taylor expansion of l in l
1.363 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 l) 5) (/ -2 l)) in l
1.363 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 l) 5)) (/ -2 l))
1.363 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 l) 5)) in l
1.363 * [taylor]: Taking taylor expansion of 1/60 in l
1.363 * [taylor]: Taking taylor expansion of (pow (/ -1 l) 5) in l
1.363 * [taylor]: Taking taylor expansion of (/ -1 l) in l
1.363 * [taylor]: Taking taylor expansion of -1 in l
1.363 * [taylor]: Taking taylor expansion of l in l
1.363 * [taylor]: Taking taylor expansion of (/ -2 l) in l
1.363 * [taylor]: Taking taylor expansion of -2 in l
1.363 * [taylor]: Taking taylor expansion of l in l
1.364 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) in l
1.364 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ -1 l) 3)) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l)))
1.364 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ -1 l) 3)) in l
1.364 * [taylor]: Taking taylor expansion of 1/3 in l
1.364 * [taylor]: Taking taylor expansion of (pow (/ -1 l) 3) in l
1.364 * [taylor]: Taking taylor expansion of (/ -1 l) in l
1.364 * [taylor]: Taking taylor expansion of -1 in l
1.364 * [taylor]: Taking taylor expansion of l in l
1.364 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 l) 5) (/ -2 l)) in l
1.364 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 l) 5)) (/ -2 l))
1.364 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 l) 5)) in l
1.364 * [taylor]: Taking taylor expansion of 1/60 in l
1.364 * [taylor]: Taking taylor expansion of (pow (/ -1 l) 5) in l
1.365 * [taylor]: Taking taylor expansion of (/ -1 l) in l
1.365 * [taylor]: Taking taylor expansion of -1 in l
1.365 * [taylor]: Taking taylor expansion of l in l
1.365 * [taylor]: Taking taylor expansion of (/ -2 l) in l
1.365 * [taylor]: Taking taylor expansion of -2 in l
1.365 * [taylor]: Taking taylor expansion of l in l
1.383 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
1.383 * [approximate]: Taking taylor expansion of (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) in (J l) around 0
1.383 * [taylor]: Taking taylor expansion of (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) in l
1.383 * [taylor]: Taking taylor expansion of J in l
1.383 * [taylor]: Taking taylor expansion of (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))) in l
1.383 * [taylor]: Rewrote expression to (+ (* 1/3 (pow l 3)) (fma 1/60 (pow l 5) (* 2 l)))
1.384 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in l
1.384 * [taylor]: Taking taylor expansion of 1/3 in l
1.384 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.384 * [taylor]: Taking taylor expansion of l in l
1.384 * [taylor]: Taking taylor expansion of (fma 1/60 (pow l 5) (* 2 l)) in l
1.384 * [taylor]: Rewrote expression to (+ (* 1/60 (pow l 5)) (* 2 l))
1.384 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in l
1.384 * [taylor]: Taking taylor expansion of 1/60 in l
1.384 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.384 * [taylor]: Taking taylor expansion of l in l
1.384 * [taylor]: Taking taylor expansion of (* 2 l) in l
1.384 * [taylor]: Taking taylor expansion of 2 in l
1.384 * [taylor]: Taking taylor expansion of l in l
1.384 * [taylor]: Taking taylor expansion of (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) in J
1.384 * [taylor]: Taking taylor expansion of J in J
1.384 * [taylor]: Taking taylor expansion of (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))) in J
1.384 * [taylor]: Rewrote expression to (+ (* 1/3 (pow l 3)) (fma 1/60 (pow l 5) (* 2 l)))
1.384 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in J
1.384 * [taylor]: Taking taylor expansion of 1/3 in J
1.384 * [taylor]: Taking taylor expansion of (pow l 3) in J
1.384 * [taylor]: Taking taylor expansion of l in J
1.384 * [taylor]: Taking taylor expansion of (fma 1/60 (pow l 5) (* 2 l)) in J
1.384 * [taylor]: Rewrote expression to (+ (* 1/60 (pow l 5)) (* 2 l))
1.384 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in J
1.384 * [taylor]: Taking taylor expansion of 1/60 in J
1.384 * [taylor]: Taking taylor expansion of (pow l 5) in J
1.384 * [taylor]: Taking taylor expansion of l in J
1.384 * [taylor]: Taking taylor expansion of (* 2 l) in J
1.384 * [taylor]: Taking taylor expansion of 2 in J
1.384 * [taylor]: Taking taylor expansion of l in J
1.384 * [taylor]: Taking taylor expansion of (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) in J
1.384 * [taylor]: Taking taylor expansion of J in J
1.384 * [taylor]: Taking taylor expansion of (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))) in J
1.384 * [taylor]: Rewrote expression to (+ (* 1/3 (pow l 3)) (fma 1/60 (pow l 5) (* 2 l)))
1.384 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in J
1.384 * [taylor]: Taking taylor expansion of 1/3 in J
1.384 * [taylor]: Taking taylor expansion of (pow l 3) in J
1.384 * [taylor]: Taking taylor expansion of l in J
1.384 * [taylor]: Taking taylor expansion of (fma 1/60 (pow l 5) (* 2 l)) in J
1.385 * [taylor]: Rewrote expression to (+ (* 1/60 (pow l 5)) (* 2 l))
1.385 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in J
1.385 * [taylor]: Taking taylor expansion of 1/60 in J
1.385 * [taylor]: Taking taylor expansion of (pow l 5) in J
1.385 * [taylor]: Taking taylor expansion of l in J
1.385 * [taylor]: Taking taylor expansion of (* 2 l) in J
1.385 * [taylor]: Taking taylor expansion of 2 in J
1.385 * [taylor]: Taking taylor expansion of l in J
1.390 * [taylor]: Taking taylor expansion of 0 in l
1.393 * [taylor]: Taking taylor expansion of (+ (* 2 l) (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5)))) in l
1.393 * [taylor]: Taking taylor expansion of (* 2 l) in l
1.393 * [taylor]: Taking taylor expansion of 2 in l
1.393 * [taylor]: Taking taylor expansion of l in l
1.393 * [taylor]: Taking taylor expansion of (+ (* 1/3 (pow l 3)) (* 1/60 (pow l 5))) in l
1.393 * [taylor]: Taking taylor expansion of (* 1/3 (pow l 3)) in l
1.393 * [taylor]: Taking taylor expansion of 1/3 in l
1.393 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.393 * [taylor]: Taking taylor expansion of l in l
1.393 * [taylor]: Taking taylor expansion of (* 1/60 (pow l 5)) in l
1.393 * [taylor]: Taking taylor expansion of 1/60 in l
1.393 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.393 * [taylor]: Taking taylor expansion of l in l
1.398 * [taylor]: Taking taylor expansion of 0 in l
1.405 * [taylor]: Taking taylor expansion of 0 in l
1.414 * [taylor]: Taking taylor expansion of 0 in l
1.414 * [approximate]: Taking taylor expansion of (/ (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) J) in (J l) around 0
1.414 * [taylor]: Taking taylor expansion of (/ (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) J) in l
1.414 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) in l
1.414 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ 1 l) 3)) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l)))
1.414 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 l) 3)) in l
1.414 * [taylor]: Taking taylor expansion of 1/3 in l
1.414 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 3) in l
1.414 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.414 * [taylor]: Taking taylor expansion of l in l
1.415 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 l) 5) (/ 2 l)) in l
1.415 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 l) 5)) (/ 2 l))
1.415 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 l) 5)) in l
1.415 * [taylor]: Taking taylor expansion of 1/60 in l
1.415 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 5) in l
1.415 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.415 * [taylor]: Taking taylor expansion of l in l
1.415 * [taylor]: Taking taylor expansion of (/ 2 l) in l
1.415 * [taylor]: Taking taylor expansion of 2 in l
1.415 * [taylor]: Taking taylor expansion of l in l
1.415 * [taylor]: Taking taylor expansion of J in l
1.417 * [taylor]: Taking taylor expansion of (/ (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) J) in J
1.417 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) in J
1.417 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ 1 l) 3)) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l)))
1.417 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 l) 3)) in J
1.417 * [taylor]: Taking taylor expansion of 1/3 in J
1.417 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 3) in J
1.417 * [taylor]: Taking taylor expansion of (/ 1 l) in J
1.417 * [taylor]: Taking taylor expansion of l in J
1.417 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 l) 5) (/ 2 l)) in J
1.417 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 l) 5)) (/ 2 l))
1.417 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 l) 5)) in J
1.417 * [taylor]: Taking taylor expansion of 1/60 in J
1.417 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 5) in J
1.417 * [taylor]: Taking taylor expansion of (/ 1 l) in J
1.417 * [taylor]: Taking taylor expansion of l in J
1.417 * [taylor]: Taking taylor expansion of (/ 2 l) in J
1.417 * [taylor]: Taking taylor expansion of 2 in J
1.417 * [taylor]: Taking taylor expansion of l in J
1.417 * [taylor]: Taking taylor expansion of J in J
1.419 * [taylor]: Taking taylor expansion of (/ (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) J) in J
1.419 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ 1 l) 3) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l))) in J
1.419 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ 1 l) 3)) (fma 1/60 (pow (/ 1 l) 5) (/ 2 l)))
1.419 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 l) 3)) in J
1.419 * [taylor]: Taking taylor expansion of 1/3 in J
1.419 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 3) in J
1.419 * [taylor]: Taking taylor expansion of (/ 1 l) in J
1.419 * [taylor]: Taking taylor expansion of l in J
1.419 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ 1 l) 5) (/ 2 l)) in J
1.419 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ 1 l) 5)) (/ 2 l))
1.419 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ 1 l) 5)) in J
1.419 * [taylor]: Taking taylor expansion of 1/60 in J
1.419 * [taylor]: Taking taylor expansion of (pow (/ 1 l) 5) in J
1.419 * [taylor]: Taking taylor expansion of (/ 1 l) in J
1.419 * [taylor]: Taking taylor expansion of l in J
1.419 * [taylor]: Taking taylor expansion of (/ 2 l) in J
1.419 * [taylor]: Taking taylor expansion of 2 in J
1.419 * [taylor]: Taking taylor expansion of l in J
1.420 * [taylor]: Taking taylor expansion of J in J
1.421 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
1.421 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
1.421 * [taylor]: Taking taylor expansion of 1/60 in l
1.421 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
1.421 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.421 * [taylor]: Taking taylor expansion of l in l
1.422 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
1.422 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
1.422 * [taylor]: Taking taylor expansion of 2 in l
1.422 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.422 * [taylor]: Taking taylor expansion of l in l
1.422 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
1.422 * [taylor]: Taking taylor expansion of 1/3 in l
1.422 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
1.422 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.422 * [taylor]: Taking taylor expansion of l in l
1.426 * [taylor]: Taking taylor expansion of 0 in l
1.433 * [taylor]: Taking taylor expansion of 0 in l
1.442 * [taylor]: Taking taylor expansion of 0 in l
1.455 * [taylor]: Taking taylor expansion of 0 in l
1.462 * [approximate]: Taking taylor expansion of (* -1 (/ (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) J)) in (J l) around 0
1.462 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) J)) in l
1.462 * [taylor]: Taking taylor expansion of -1 in l
1.462 * [taylor]: Taking taylor expansion of (/ (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) J) in l
1.462 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) in l
1.462 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ -1 l) 3)) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l)))
1.462 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ -1 l) 3)) in l
1.462 * [taylor]: Taking taylor expansion of 1/3 in l
1.462 * [taylor]: Taking taylor expansion of (pow (/ -1 l) 3) in l
1.462 * [taylor]: Taking taylor expansion of (/ -1 l) in l
1.462 * [taylor]: Taking taylor expansion of -1 in l
1.462 * [taylor]: Taking taylor expansion of l in l
1.462 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 l) 5) (/ -2 l)) in l
1.462 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 l) 5)) (/ -2 l))
1.462 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 l) 5)) in l
1.462 * [taylor]: Taking taylor expansion of 1/60 in l
1.463 * [taylor]: Taking taylor expansion of (pow (/ -1 l) 5) in l
1.463 * [taylor]: Taking taylor expansion of (/ -1 l) in l
1.463 * [taylor]: Taking taylor expansion of -1 in l
1.463 * [taylor]: Taking taylor expansion of l in l
1.463 * [taylor]: Taking taylor expansion of (/ -2 l) in l
1.463 * [taylor]: Taking taylor expansion of -2 in l
1.463 * [taylor]: Taking taylor expansion of l in l
1.463 * [taylor]: Taking taylor expansion of J in l
1.465 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) J)) in J
1.465 * [taylor]: Taking taylor expansion of -1 in J
1.465 * [taylor]: Taking taylor expansion of (/ (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) J) in J
1.465 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) in J
1.465 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ -1 l) 3)) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l)))
1.465 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ -1 l) 3)) in J
1.465 * [taylor]: Taking taylor expansion of 1/3 in J
1.465 * [taylor]: Taking taylor expansion of (pow (/ -1 l) 3) in J
1.465 * [taylor]: Taking taylor expansion of (/ -1 l) in J
1.465 * [taylor]: Taking taylor expansion of -1 in J
1.465 * [taylor]: Taking taylor expansion of l in J
1.465 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 l) 5) (/ -2 l)) in J
1.465 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 l) 5)) (/ -2 l))
1.465 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 l) 5)) in J
1.465 * [taylor]: Taking taylor expansion of 1/60 in J
1.465 * [taylor]: Taking taylor expansion of (pow (/ -1 l) 5) in J
1.465 * [taylor]: Taking taylor expansion of (/ -1 l) in J
1.465 * [taylor]: Taking taylor expansion of -1 in J
1.465 * [taylor]: Taking taylor expansion of l in J
1.465 * [taylor]: Taking taylor expansion of (/ -2 l) in J
1.465 * [taylor]: Taking taylor expansion of -2 in J
1.465 * [taylor]: Taking taylor expansion of l in J
1.465 * [taylor]: Taking taylor expansion of J in J
1.466 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) J)) in J
1.466 * [taylor]: Taking taylor expansion of -1 in J
1.466 * [taylor]: Taking taylor expansion of (/ (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) J) in J
1.466 * [taylor]: Taking taylor expansion of (fma 1/3 (pow (/ -1 l) 3) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l))) in J
1.466 * [taylor]: Rewrote expression to (+ (* 1/3 (pow (/ -1 l) 3)) (fma 1/60 (pow (/ -1 l) 5) (/ -2 l)))
1.466 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ -1 l) 3)) in J
1.467 * [taylor]: Taking taylor expansion of 1/3 in J
1.467 * [taylor]: Taking taylor expansion of (pow (/ -1 l) 3) in J
1.467 * [taylor]: Taking taylor expansion of (/ -1 l) in J
1.467 * [taylor]: Taking taylor expansion of -1 in J
1.467 * [taylor]: Taking taylor expansion of l in J
1.467 * [taylor]: Taking taylor expansion of (fma 1/60 (pow (/ -1 l) 5) (/ -2 l)) in J
1.467 * [taylor]: Rewrote expression to (+ (* 1/60 (pow (/ -1 l) 5)) (/ -2 l))
1.467 * [taylor]: Taking taylor expansion of (* 1/60 (pow (/ -1 l) 5)) in J
1.467 * [taylor]: Taking taylor expansion of 1/60 in J
1.467 * [taylor]: Taking taylor expansion of (pow (/ -1 l) 5) in J
1.467 * [taylor]: Taking taylor expansion of (/ -1 l) in J
1.467 * [taylor]: Taking taylor expansion of -1 in J
1.467 * [taylor]: Taking taylor expansion of l in J
1.467 * [taylor]: Taking taylor expansion of (/ -2 l) in J
1.467 * [taylor]: Taking taylor expansion of -2 in J
1.467 * [taylor]: Taking taylor expansion of l in J
1.467 * [taylor]: Taking taylor expansion of J in J
1.468 * [taylor]: Taking taylor expansion of (+ (* 1/60 (/ 1 (pow l 5))) (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3))))) in l
1.468 * [taylor]: Taking taylor expansion of (* 1/60 (/ 1 (pow l 5))) in l
1.468 * [taylor]: Taking taylor expansion of 1/60 in l
1.468 * [taylor]: Taking taylor expansion of (/ 1 (pow l 5)) in l
1.468 * [taylor]: Taking taylor expansion of (pow l 5) in l
1.468 * [taylor]: Taking taylor expansion of l in l
1.470 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 l)) (* 1/3 (/ 1 (pow l 3)))) in l
1.470 * [taylor]: Taking taylor expansion of (* 2 (/ 1 l)) in l
1.470 * [taylor]: Taking taylor expansion of 2 in l
1.470 * [taylor]: Taking taylor expansion of (/ 1 l) in l
1.470 * [taylor]: Taking taylor expansion of l in l
1.470 * [taylor]: Taking taylor expansion of (* 1/3 (/ 1 (pow l 3))) in l
1.470 * [taylor]: Taking taylor expansion of 1/3 in l
1.470 * [taylor]: Taking taylor expansion of (/ 1 (pow l 3)) in l
1.470 * [taylor]: Taking taylor expansion of (pow l 3) in l
1.470 * [taylor]: Taking taylor expansion of l in l
1.479 * [taylor]: Taking taylor expansion of 0 in l
1.486 * [taylor]: Taking taylor expansion of 0 in l
1.497 * [taylor]: Taking taylor expansion of 0 in l
1.512 * [taylor]: Taking taylor expansion of 0 in l
1.518 * * * [progress]: simplifying candidates
1.519 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U))
  (log1p (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U))
  (* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)))
  (log (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U))
  (exp (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U))
  (* (cbrt (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U)) (cbrt (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U)))
  (cbrt (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U))
  (* (* (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U) (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U)) (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U))
  (sqrt (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U))
  (sqrt (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U))
  (expm1 (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
  (log1p (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
  (* 1/3 (pow l 3))
  (log (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
  (exp (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
  (* (cbrt (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cbrt (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))))
  (cbrt (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
  (* (* (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))) (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
  (sqrt (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
  (sqrt (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
  (expm1 (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))))
  (log1p (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))))
  (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
  (+ (log J) (log (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))))
  (log (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))))
  (exp (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))))
  (* (* (* J J) J) (* (* (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))) (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))))
  (* (cbrt (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))) (cbrt (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))))
  (cbrt (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))))
  (* (* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))) (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))))
  (sqrt (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))))
  (sqrt (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))))
  (* (sqrt J) (sqrt (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))))
  (* (sqrt J) (sqrt (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))))
  (* J (* 1/3 (pow l 3)))
  (* J (fma 1/60 (pow l 5) (* 2 l)))
  (* (* 1/3 (pow l 3)) J)
  (* (fma 1/60 (pow l 5) (* 2 l)) J)
  (* J (* (cbrt (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cbrt (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))))
  (* J (sqrt (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))))
  (* J 1)
  (* (cbrt J) (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
  (* (sqrt J) (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
  (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
  (+ 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/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)))
  (* 2 (* J l))
  (+ (* 1/3 (* J (pow l 3))) (+ (* 2 (* J l)) (* 1/60 (* J (pow l 5)))))
  (+ (* 1/3 (* J (pow l 3))) (+ (* 2 (* J l)) (* 1/60 (* J (pow l 5)))))
1.524 * * [simplify]: iteration  0 :  176  enodes  (cost  451 )
1.528 * * [simplify]: iteration  1 :  760  enodes  (cost  390 )
1.547 * * [simplify]: iteration  2 :  4093  enodes  (cost  382 )
1.626 * * [simplify]: iteration  3 :  5001  enodes  (cost  382 )
1.629 * [simplify]: Simplified to:
   (expm1 (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U))
  (log1p (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U))
  (* (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)))
  (log (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U))
  (exp (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U))
  (* (cbrt (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U)) (cbrt (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U)))
  (cbrt (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U))
  (pow (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U) 3)
  (sqrt (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U))
  (sqrt (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U))
  (expm1 (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
  (log1p (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
  (* 1/3 (pow l 3))
  (log (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
  (exp (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
  (* (cbrt (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cbrt (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))))
  (cbrt (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
  (pow (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))) 3)
  (sqrt (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
  (sqrt (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
  (expm1 (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))))
  (log1p (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))))
  (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
  (log (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))))
  (log (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))))
  (exp (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))))
  (pow (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) 3)
  (* (cbrt (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))) (cbrt (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))))
  (cbrt (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))))
  (pow (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) 3)
  (sqrt (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))))
  (sqrt (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))))
  (* (sqrt J) (sqrt (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))))
  (* (sqrt J) (sqrt (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))))
  (* J (* 1/3 (pow l 3)))
  (* J (fma 1/60 (pow l 5) (* 2 l)))
  (* J (* 1/3 (pow l 3)))
  (* J (fma 1/60 (pow l 5) (* 2 l)))
  (* J (* (cbrt (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cbrt (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))))
  (* J (sqrt (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))))
  J
  (* (cbrt J) (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
  (* (sqrt J) (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
  (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
  (fma (* 2 J) l U)
  (* (* J (cos (* 0.5 K))) (fma (pow l 3) 1/3 (* 1/60 (pow l 5))))
  (* (* J (cos (* 0.5 K))) (fma (pow l 3) 1/3 (* 1/60 (pow l 5))))
  (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))
  (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))
  (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))
  (* 2 (* J l))
  (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
  (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))
1.629 * * * [progress]: adding candidates to table
1.821 * * [progress]: iteration 3 / 4
1.821 * * * [progress]: picking best candidate
1.842 * * * * [pick]: Picked  #<alt (λ (J l K U) (fma (* (* (cbrt J) (cbrt J)) (* (cbrt J) (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))) (cos (/ K 2.0)) U))>
1.842 * * * [progress]: localizing error
1.864 * * * [progress]: generating rewritten candidates
1.864 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
1.865 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
1.867 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
1.868 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
1.875 * * * [progress]: generating series expansions
1.875 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
1.875 * [approximate]: Taking taylor expansion of (pow J 1/3) in (J) around 0
1.875 * [taylor]: Taking taylor expansion of (pow J 1/3) in J
1.875 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log J))) in J
1.875 * [taylor]: Taking taylor expansion of (* 1/3 (log J)) in J
1.875 * [taylor]: Taking taylor expansion of 1/3 in J
1.875 * [taylor]: Taking taylor expansion of (log J) in J
1.875 * [taylor]: Taking taylor expansion of J in J
1.876 * [taylor]: Taking taylor expansion of (pow J 1/3) in J
1.876 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log J))) in J
1.876 * [taylor]: Taking taylor expansion of (* 1/3 (log J)) in J
1.876 * [taylor]: Taking taylor expansion of 1/3 in J
1.876 * [taylor]: Taking taylor expansion of (log J) in J
1.876 * [taylor]: Taking taylor expansion of J in J
1.928 * [approximate]: Taking taylor expansion of (pow (/ 1 J) 1/3) in (J) around 0
1.928 * [taylor]: Taking taylor expansion of (pow (/ 1 J) 1/3) in J
1.928 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 J)))) in J
1.928 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 J))) in J
1.928 * [taylor]: Taking taylor expansion of 1/3 in J
1.928 * [taylor]: Taking taylor expansion of (log (/ 1 J)) in J
1.928 * [taylor]: Taking taylor expansion of (/ 1 J) in J
1.928 * [taylor]: Taking taylor expansion of J in J
1.929 * [taylor]: Taking taylor expansion of (pow (/ 1 J) 1/3) in J
1.929 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 J)))) in J
1.929 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 J))) in J
1.929 * [taylor]: Taking taylor expansion of 1/3 in J
1.929 * [taylor]: Taking taylor expansion of (log (/ 1 J)) in J
1.929 * [taylor]: Taking taylor expansion of (/ 1 J) in J
1.929 * [taylor]: Taking taylor expansion of J in J
1.985 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 J) 1/3)) in (J) around 0
1.985 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 J) 1/3)) in J
1.985 * [taylor]: Taking taylor expansion of (cbrt -1) in J
1.985 * [taylor]: Taking taylor expansion of -1 in J
1.986 * [taylor]: Taking taylor expansion of (pow (/ 1 J) 1/3) in J
1.986 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 J)))) in J
1.986 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 J))) in J
1.986 * [taylor]: Taking taylor expansion of 1/3 in J
1.986 * [taylor]: Taking taylor expansion of (log (/ 1 J)) in J
1.986 * [taylor]: Taking taylor expansion of (/ 1 J) in J
1.986 * [taylor]: Taking taylor expansion of J in J
1.987 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 J) 1/3)) in J
1.987 * [taylor]: Taking taylor expansion of (cbrt -1) in J
1.987 * [taylor]: Taking taylor expansion of -1 in J
1.988 * [taylor]: Taking taylor expansion of (pow (/ 1 J) 1/3) in J
1.988 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 J)))) in J
1.988 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 J))) in J
1.988 * [taylor]: Taking taylor expansion of 1/3 in J
1.988 * [taylor]: Taking taylor expansion of (log (/ 1 J)) in J
1.988 * [taylor]: Taking taylor expansion of (/ 1 J) in J
1.988 * [taylor]: Taking taylor expansion of J in J
2.055 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
2.055 * [approximate]: Taking taylor expansion of (pow J 1/3) in (J) around 0
2.055 * [taylor]: Taking taylor expansion of (pow J 1/3) in J
2.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log J))) in J
2.055 * [taylor]: Taking taylor expansion of (* 1/3 (log J)) in J
2.055 * [taylor]: Taking taylor expansion of 1/3 in J
2.055 * [taylor]: Taking taylor expansion of (log J) in J
2.055 * [taylor]: Taking taylor expansion of J in J
2.055 * [taylor]: Taking taylor expansion of (pow J 1/3) in J
2.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log J))) in J
2.055 * [taylor]: Taking taylor expansion of (* 1/3 (log J)) in J
2.055 * [taylor]: Taking taylor expansion of 1/3 in J
2.055 * [taylor]: Taking taylor expansion of (log J) in J
2.055 * [taylor]: Taking taylor expansion of J in J
2.103 * [approximate]: Taking taylor expansion of (pow (/ 1 J) 1/3) in (J) around 0
2.103 * [taylor]: Taking taylor expansion of (pow (/ 1 J) 1/3) in J
2.103 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 J)))) in J
2.103 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 J))) in J
2.103 * [taylor]: Taking taylor expansion of 1/3 in J
2.103 * [taylor]: Taking taylor expansion of (log (/ 1 J)) in J
2.103 * [taylor]: Taking taylor expansion of (/ 1 J) in J
2.103 * [taylor]: Taking taylor expansion of J in J
2.104 * [taylor]: Taking taylor expansion of (pow (/ 1 J) 1/3) in J
2.104 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 J)))) in J
2.104 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 J))) in J
2.104 * [taylor]: Taking taylor expansion of 1/3 in J
2.104 * [taylor]: Taking taylor expansion of (log (/ 1 J)) in J
2.104 * [taylor]: Taking taylor expansion of (/ 1 J) in J
2.104 * [taylor]: Taking taylor expansion of J in J
2.160 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 J) 1/3)) in (J) around 0
2.160 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 J) 1/3)) in J
2.160 * [taylor]: Taking taylor expansion of (cbrt -1) in J
2.160 * [taylor]: Taking taylor expansion of -1 in J
2.161 * [taylor]: Taking taylor expansion of (pow (/ 1 J) 1/3) in J
2.161 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 J)))) in J
2.161 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 J))) in J
2.161 * [taylor]: Taking taylor expansion of 1/3 in J
2.161 * [taylor]: Taking taylor expansion of (log (/ 1 J)) in J
2.161 * [taylor]: Taking taylor expansion of (/ 1 J) in J
2.161 * [taylor]: Taking taylor expansion of J in J
2.162 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 J) 1/3)) in J
2.162 * [taylor]: Taking taylor expansion of (cbrt -1) in J
2.162 * [taylor]: Taking taylor expansion of -1 in J
2.162 * [taylor]: Taking taylor expansion of (pow (/ 1 J) 1/3) in J
2.162 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 J)))) in J
2.162 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 J))) in J
2.162 * [taylor]: Taking taylor expansion of 1/3 in J
2.162 * [taylor]: Taking taylor expansion of (log (/ 1 J)) in J
2.162 * [taylor]: Taking taylor expansion of (/ 1 J) in J
2.162 * [taylor]: Taking taylor expansion of J in J
2.229 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
2.229 * [approximate]: Taking taylor expansion of (pow J 1/3) in (J) around 0
2.229 * [taylor]: Taking taylor expansion of (pow J 1/3) in J
2.230 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log J))) in J
2.230 * [taylor]: Taking taylor expansion of (* 1/3 (log J)) in J
2.230 * [taylor]: Taking taylor expansion of 1/3 in J
2.230 * [taylor]: Taking taylor expansion of (log J) in J
2.230 * [taylor]: Taking taylor expansion of J in J
2.230 * [taylor]: Taking taylor expansion of (pow J 1/3) in J
2.230 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log J))) in J
2.230 * [taylor]: Taking taylor expansion of (* 1/3 (log J)) in J
2.230 * [taylor]: Taking taylor expansion of 1/3 in J
2.230 * [taylor]: Taking taylor expansion of (log J) in J
2.230 * [taylor]: Taking taylor expansion of J in J
2.283 * [approximate]: Taking taylor expansion of (pow (/ 1 J) 1/3) in (J) around 0
2.283 * [taylor]: Taking taylor expansion of (pow (/ 1 J) 1/3) in J
2.283 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 J)))) in J
2.283 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 J))) in J
2.283 * [taylor]: Taking taylor expansion of 1/3 in J
2.283 * [taylor]: Taking taylor expansion of (log (/ 1 J)) in J
2.283 * [taylor]: Taking taylor expansion of (/ 1 J) in J
2.283 * [taylor]: Taking taylor expansion of J in J
2.284 * [taylor]: Taking taylor expansion of (pow (/ 1 J) 1/3) in J
2.284 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 J)))) in J
2.284 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 J))) in J
2.284 * [taylor]: Taking taylor expansion of 1/3 in J
2.284 * [taylor]: Taking taylor expansion of (log (/ 1 J)) in J
2.284 * [taylor]: Taking taylor expansion of (/ 1 J) in J
2.284 * [taylor]: Taking taylor expansion of J in J
2.334 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 J) 1/3)) in (J) around 0
2.334 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 J) 1/3)) in J
2.334 * [taylor]: Taking taylor expansion of (cbrt -1) in J
2.334 * [taylor]: Taking taylor expansion of -1 in J
2.335 * [taylor]: Taking taylor expansion of (pow (/ 1 J) 1/3) in J
2.335 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 J)))) in J
2.335 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 J))) in J
2.335 * [taylor]: Taking taylor expansion of 1/3 in J
2.335 * [taylor]: Taking taylor expansion of (log (/ 1 J)) in J
2.335 * [taylor]: Taking taylor expansion of (/ 1 J) in J
2.335 * [taylor]: Taking taylor expansion of J in J
2.336 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 J) 1/3)) in J
2.336 * [taylor]: Taking taylor expansion of (cbrt -1) in J
2.336 * [taylor]: Taking taylor expansion of -1 in J
2.337 * [taylor]: Taking taylor expansion of (pow (/ 1 J) 1/3) in J
2.337 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 J)))) in J
2.337 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 J))) in J
2.337 * [taylor]: Taking taylor expansion of 1/3 in J
2.337 * [taylor]: Taking taylor expansion of (log (/ 1 J)) in J
2.337 * [taylor]: Taking taylor expansion of (/ 1 J) in J
2.337 * [taylor]: Taking taylor expansion of J in J
2.404 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
2.404 * [approximate]: Taking taylor expansion of (pow (pow J 2) 1/3) in (J) around 0
2.404 * [taylor]: Taking taylor expansion of (pow (pow J 2) 1/3) in J
2.404 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow J 2)))) in J
2.404 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow J 2))) in J
2.404 * [taylor]: Taking taylor expansion of 1/3 in J
2.404 * [taylor]: Taking taylor expansion of (log (pow J 2)) in J
2.404 * [taylor]: Taking taylor expansion of (pow J 2) in J
2.404 * [taylor]: Taking taylor expansion of J in J
2.405 * [taylor]: Taking taylor expansion of (pow (pow J 2) 1/3) in J
2.405 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow J 2)))) in J
2.405 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow J 2))) in J
2.405 * [taylor]: Taking taylor expansion of 1/3 in J
2.405 * [taylor]: Taking taylor expansion of (log (pow J 2)) in J
2.405 * [taylor]: Taking taylor expansion of (pow J 2) in J
2.405 * [taylor]: Taking taylor expansion of J in J
2.462 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow J 2)) 1/3) in (J) around 0
2.462 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow J 2)) 1/3) in J
2.462 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow J 2))))) in J
2.462 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow J 2)))) in J
2.462 * [taylor]: Taking taylor expansion of 1/3 in J
2.462 * [taylor]: Taking taylor expansion of (log (/ 1 (pow J 2))) in J
2.462 * [taylor]: Taking taylor expansion of (/ 1 (pow J 2)) in J
2.462 * [taylor]: Taking taylor expansion of (pow J 2) in J
2.462 * [taylor]: Taking taylor expansion of J in J
2.463 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow J 2)) 1/3) in J
2.463 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow J 2))))) in J
2.463 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow J 2)))) in J
2.463 * [taylor]: Taking taylor expansion of 1/3 in J
2.463 * [taylor]: Taking taylor expansion of (log (/ 1 (pow J 2))) in J
2.463 * [taylor]: Taking taylor expansion of (/ 1 (pow J 2)) in J
2.463 * [taylor]: Taking taylor expansion of (pow J 2) in J
2.463 * [taylor]: Taking taylor expansion of J in J
2.523 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow J 2)) 1/3)) in (J) around 0
2.523 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow J 2)) 1/3)) in J
2.523 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in J
2.523 * [taylor]: Taking taylor expansion of (cbrt -1) in J
2.523 * [taylor]: Taking taylor expansion of -1 in J
2.524 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow J 2)) 1/3) in J
2.524 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow J 2))))) in J
2.524 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow J 2)))) in J
2.524 * [taylor]: Taking taylor expansion of 1/3 in J
2.524 * [taylor]: Taking taylor expansion of (log (/ 1 (pow J 2))) in J
2.524 * [taylor]: Taking taylor expansion of (/ 1 (pow J 2)) in J
2.524 * [taylor]: Taking taylor expansion of (pow J 2) in J
2.524 * [taylor]: Taking taylor expansion of J in J
2.525 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow J 2)) 1/3)) in J
2.525 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in J
2.525 * [taylor]: Taking taylor expansion of (cbrt -1) in J
2.525 * [taylor]: Taking taylor expansion of -1 in J
2.526 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow J 2)) 1/3) in J
2.526 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow J 2))))) in J
2.526 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow J 2)))) in J
2.526 * [taylor]: Taking taylor expansion of 1/3 in J
2.526 * [taylor]: Taking taylor expansion of (log (/ 1 (pow J 2))) in J
2.526 * [taylor]: Taking taylor expansion of (/ 1 (pow J 2)) in J
2.526 * [taylor]: Taking taylor expansion of (pow J 2) in J
2.526 * [taylor]: Taking taylor expansion of J in J
2.604 * * * [progress]: simplifying candidates
2.605 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (cbrt J))
  (log1p (cbrt J))
  (log (cbrt J))
  (exp (cbrt J))
  (cbrt (* (cbrt J) (cbrt J)))
  (cbrt (cbrt J))
  (cbrt (sqrt J))
  (cbrt (sqrt J))
  (cbrt 1)
  (cbrt J)
  (* (cbrt (cbrt J)) (cbrt (cbrt J)))
  (cbrt (cbrt J))
  (* (* (cbrt J) (cbrt J)) (cbrt J))
  (sqrt (cbrt J))
  (sqrt (cbrt J))
  (expm1 (cbrt J))
  (log1p (cbrt J))
  (log (cbrt J))
  (exp (cbrt J))
  (cbrt (* (cbrt J) (cbrt J)))
  (cbrt (cbrt J))
  (cbrt (sqrt J))
  (cbrt (sqrt J))
  (cbrt 1)
  (cbrt J)
  (* (cbrt (cbrt J)) (cbrt (cbrt J)))
  (cbrt (cbrt J))
  (* (* (cbrt J) (cbrt J)) (cbrt J))
  (sqrt (cbrt J))
  (sqrt (cbrt J))
  (expm1 (cbrt J))
  (log1p (cbrt J))
  (log (cbrt J))
  (exp (cbrt J))
  (cbrt (* (cbrt J) (cbrt J)))
  (cbrt (cbrt J))
  (cbrt (sqrt J))
  (cbrt (sqrt J))
  (cbrt 1)
  (cbrt J)
  (* (cbrt (cbrt J)) (cbrt (cbrt J)))
  (cbrt (cbrt J))
  (* (* (cbrt J) (cbrt J)) (cbrt J))
  (sqrt (cbrt J))
  (sqrt (cbrt J))
  (expm1 (* (cbrt J) (cbrt J)))
  (log1p (* (cbrt J) (cbrt J)))
  (+ 1/3 1/3)
  (+ 1 1)
  (* J J)
  (* (cbrt J) (cbrt J))
  (+ 1 1)
  (+ (log (cbrt J)) (log (cbrt J)))
  (log (* (cbrt J) (cbrt J)))
  (exp (* (cbrt J) (cbrt J)))
  (* J J)
  (* (cbrt (* (cbrt J) (cbrt J))) (cbrt (* (cbrt J) (cbrt J))))
  (cbrt (* (cbrt J) (cbrt J)))
  (* (* (* (cbrt J) (cbrt J)) (* (cbrt J) (cbrt J))) (* (cbrt J) (cbrt J)))
  (sqrt (* (cbrt J) (cbrt J)))
  (sqrt (* (cbrt J) (cbrt J)))
  (* (cbrt (* (cbrt J) (cbrt J))) (cbrt (* (cbrt J) (cbrt J))))
  (* (cbrt (cbrt J)) (cbrt (cbrt J)))
  (* (cbrt (sqrt J)) (cbrt (sqrt J)))
  (* (cbrt (sqrt J)) (cbrt (sqrt J)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt J) (cbrt J))
  (* (* (cbrt (cbrt J)) (cbrt (cbrt J))) (* (cbrt (cbrt J)) (cbrt (cbrt J))))
  (* (cbrt (cbrt J)) (cbrt (cbrt J)))
  (* (sqrt (cbrt J)) (sqrt (cbrt J)))
  (* (sqrt (cbrt J)) (sqrt (cbrt J)))
  (* 1 1)
  (* (cbrt J) (cbrt J))
  (* (cbrt (sqrt J)) (cbrt (sqrt J)))
  (* (cbrt (sqrt J)) (cbrt (sqrt J)))
  (* (cbrt (sqrt J)) (sqrt (cbrt J)))
  (* (cbrt (sqrt J)) (sqrt (cbrt J)))
  (* (sqrt (cbrt J)) (cbrt (sqrt J)))
  (* (sqrt (cbrt J)) (cbrt (sqrt J)))
  (* (sqrt (cbrt J)) (sqrt (cbrt J)))
  (* (sqrt (cbrt J)) (sqrt (cbrt J)))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt J) (cbrt (* (cbrt J) (cbrt J))))
  (* (cbrt J) (cbrt (sqrt J)))
  (* (cbrt J) (cbrt 1))
  (* (cbrt J) (* (cbrt (cbrt J)) (cbrt (cbrt J))))
  (* (cbrt J) (sqrt (cbrt J)))
  (* (cbrt J) 1)
  (* (cbrt (cbrt J)) (cbrt J))
  (* (cbrt (sqrt J)) (cbrt J))
  (* (cbrt J) (cbrt J))
  (* (cbrt (cbrt J)) (cbrt J))
  (* (sqrt (cbrt J)) (cbrt J))
  (* (cbrt J) (cbrt J))
  (pow J 1/3)
  (pow (/ 1 J) -1/3)
  (* (pow (* -1 J) 1/3) (cbrt -1))
  (pow J 1/3)
  (pow (/ 1 J) -1/3)
  (* (pow (* -1 J) 1/3) (cbrt -1))
  (pow J 1/3)
  (pow (/ 1 J) -1/3)
  (* (pow (* -1 J) 1/3) (cbrt -1))
  (pow J 2/3)
  (pow (/ 1 J) -2/3)
  (* (pow (cbrt -1) 2) (pow (pow J 2) 1/3))
2.609 * * [simplify]: iteration  0 :  119  enodes  (cost  308 )
2.612 * * [simplify]: iteration  1 :  477  enodes  (cost  281 )
2.627 * * [simplify]: iteration  2 :  2972  enodes  (cost  258 )
2.694 * * [simplify]: iteration  3 :  5001  enodes  (cost  255 )
2.696 * [simplify]: Simplified to:
   (expm1 (cbrt J))
  (log1p (cbrt J))
  (log (cbrt J))
  (exp (cbrt J))
  (cbrt (* (cbrt J) (cbrt J)))
  (cbrt (cbrt J))
  (cbrt (sqrt J))
  (cbrt (sqrt J))
  1
  (pow J 1/3)
  (* (cbrt (cbrt J)) (cbrt (cbrt J)))
  (cbrt (cbrt J))
  J
  (sqrt (cbrt J))
  (sqrt (cbrt J))
  (expm1 (cbrt J))
  (log1p (cbrt J))
  (log (cbrt J))
  (exp (cbrt J))
  (cbrt (* (cbrt J) (cbrt J)))
  (cbrt (cbrt J))
  (cbrt (sqrt J))
  (cbrt (sqrt J))
  1
  (pow J 1/3)
  (* (cbrt (cbrt J)) (cbrt (cbrt J)))
  (cbrt (cbrt J))
  J
  (sqrt (cbrt J))
  (sqrt (cbrt J))
  (expm1 (cbrt J))
  (log1p (cbrt J))
  (log (cbrt J))
  (exp (cbrt J))
  (cbrt (* (cbrt J) (cbrt J)))
  (cbrt (cbrt J))
  (cbrt (sqrt J))
  (cbrt (sqrt J))
  1
  (pow J 1/3)
  (* (cbrt (cbrt J)) (cbrt (cbrt J)))
  (cbrt (cbrt J))
  J
  (sqrt (cbrt J))
  (sqrt (cbrt J))
  (expm1 (* (cbrt J) (cbrt J)))
  (log1p (* (cbrt J) (cbrt J)))
  2/3
  2
  (pow J 2)
  (pow J 2/3)
  2
  (* 2/3 (log J))
  (* 2/3 (log J))
  (exp (pow J 2/3))
  (pow J 2)
  (* (cbrt (* (cbrt J) (cbrt J))) (cbrt (* (cbrt J) (cbrt J))))
  (cbrt (* (cbrt J) (cbrt J)))
  (pow J 2)
  (fabs (pow J 1/3))
  (fabs (pow J 1/3))
  (* (cbrt (* (cbrt J) (cbrt J))) (cbrt (* (cbrt J) (cbrt J))))
  (* (cbrt (cbrt J)) (cbrt (cbrt J)))
  (* (cbrt (sqrt J)) (cbrt (sqrt J)))
  (* (cbrt (sqrt J)) (cbrt (sqrt J)))
  1
  (pow J 2/3)
  (pow (cbrt (cbrt J)) 4)
  (* (cbrt (cbrt J)) (cbrt (cbrt J)))
  (pow J 1/3)
  (pow J 1/3)
  1
  (pow J 2/3)
  (* (cbrt (sqrt J)) (cbrt (sqrt J)))
  (* (cbrt (sqrt J)) (cbrt (sqrt J)))
  (* (cbrt (sqrt J)) (sqrt (cbrt J)))
  (* (cbrt (sqrt J)) (sqrt (cbrt J)))
  (* (cbrt (sqrt J)) (sqrt (cbrt J)))
  (* (cbrt (sqrt J)) (sqrt (cbrt J)))
  (pow J 1/3)
  (pow J 1/3)
  2/3
  2
  (* (cbrt J) (cbrt (* (cbrt J) (cbrt J))))
  (* (cbrt J) (cbrt (sqrt J)))
  (pow J 1/3)
  (pow (cbrt (cbrt J)) 5)
  (pow (sqrt (cbrt J)) 3)
  (pow J 1/3)
  (pow (cbrt (cbrt J)) 4)
  (* (cbrt J) (cbrt (sqrt J)))
  (pow J 2/3)
  (pow (cbrt (cbrt J)) 4)
  (pow (sqrt (cbrt J)) 3)
  (pow J 2/3)
  (pow J 1/3)
  (pow (/ 1 J) -1/3)
  (* (pow (* -1 J) 1/3) (cbrt -1))
  (pow J 1/3)
  (pow (/ 1 J) -1/3)
  (* (pow (* -1 J) 1/3) (cbrt -1))
  (pow J 1/3)
  (pow (/ 1 J) -1/3)
  (* (pow (* -1 J) 1/3) (cbrt -1))
  (pow J 2/3)
  (pow (/ 1 J) -2/3)
  (* (pow (cbrt -1) 2) (pow (pow J 2) 1/3))
2.697 * * * [progress]: adding candidates to table
3.120 * * [progress]: iteration 4 / 4
3.120 * * * [progress]: picking best candidate
3.146 * * * * [pick]: Picked  #<alt (λ (J l K U) (fma (* (* (* (cbrt J) (cbrt (* (cbrt J) (cbrt J)))) (cbrt (cbrt J))) (* (cbrt J) (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))) (cos (/ K 2.0)) U))>
3.146 * * * [progress]: localizing error
3.172 * * * [progress]: generating rewritten candidates
3.172 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1 2)
3.175 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
3.177 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1)
3.178 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1)
3.180 * * * [progress]: generating series expansions
3.180 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1 2)
3.180 * [approximate]: Taking taylor expansion of (pow (pow J 2) 1/9) in (J) around 0
3.180 * [taylor]: Taking taylor expansion of (pow (pow J 2) 1/9) in J
3.180 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow J 2)))) in J
3.180 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow J 2))) in J
3.180 * [taylor]: Taking taylor expansion of 1/9 in J
3.180 * [taylor]: Taking taylor expansion of (log (pow J 2)) in J
3.180 * [taylor]: Taking taylor expansion of (pow J 2) in J
3.180 * [taylor]: Taking taylor expansion of J in J
3.181 * [taylor]: Taking taylor expansion of (pow (pow J 2) 1/9) in J
3.181 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow J 2)))) in J
3.182 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow J 2))) in J
3.182 * [taylor]: Taking taylor expansion of 1/9 in J
3.182 * [taylor]: Taking taylor expansion of (log (pow J 2)) in J
3.182 * [taylor]: Taking taylor expansion of (pow J 2) in J
3.182 * [taylor]: Taking taylor expansion of J in J
3.237 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow J 2)) 1/9) in (J) around 0
3.237 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow J 2)) 1/9) in J
3.237 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow J 2))))) in J
3.237 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow J 2)))) in J
3.237 * [taylor]: Taking taylor expansion of 1/9 in J
3.237 * [taylor]: Taking taylor expansion of (log (/ 1 (pow J 2))) in J
3.237 * [taylor]: Taking taylor expansion of (/ 1 (pow J 2)) in J
3.237 * [taylor]: Taking taylor expansion of (pow J 2) in J
3.237 * [taylor]: Taking taylor expansion of J in J
3.238 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow J 2)) 1/9) in J
3.238 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow J 2))))) in J
3.238 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow J 2)))) in J
3.238 * [taylor]: Taking taylor expansion of 1/9 in J
3.238 * [taylor]: Taking taylor expansion of (log (/ 1 (pow J 2))) in J
3.238 * [taylor]: Taking taylor expansion of (/ 1 (pow J 2)) in J
3.239 * [taylor]: Taking taylor expansion of (pow J 2) in J
3.239 * [taylor]: Taking taylor expansion of J in J
3.299 * [approximate]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow J 2)) 1/9)) in (J) around 0
3.299 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow J 2)) 1/9)) in J
3.299 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in J
3.299 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in J
3.299 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in J
3.299 * [taylor]: Taking taylor expansion of 1/3 in J
3.299 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in J
3.299 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in J
3.299 * [taylor]: Taking taylor expansion of (cbrt -1) in J
3.299 * [taylor]: Taking taylor expansion of -1 in J
3.305 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow J 2)) 1/9) in J
3.305 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow J 2))))) in J
3.305 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow J 2)))) in J
3.305 * [taylor]: Taking taylor expansion of 1/9 in J
3.305 * [taylor]: Taking taylor expansion of (log (/ 1 (pow J 2))) in J
3.305 * [taylor]: Taking taylor expansion of (/ 1 (pow J 2)) in J
3.305 * [taylor]: Taking taylor expansion of (pow J 2) in J
3.305 * [taylor]: Taking taylor expansion of J in J
3.306 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow J 2)) 1/9)) in J
3.306 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in J
3.306 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in J
3.306 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in J
3.306 * [taylor]: Taking taylor expansion of 1/3 in J
3.307 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in J
3.307 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in J
3.307 * [taylor]: Taking taylor expansion of (cbrt -1) in J
3.307 * [taylor]: Taking taylor expansion of -1 in J
3.313 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow J 2)) 1/9) in J
3.313 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow J 2))))) in J
3.313 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow J 2)))) in J
3.313 * [taylor]: Taking taylor expansion of 1/9 in J
3.313 * [taylor]: Taking taylor expansion of (log (/ 1 (pow J 2))) in J
3.313 * [taylor]: Taking taylor expansion of (/ 1 (pow J 2)) in J
3.313 * [taylor]: Taking taylor expansion of (pow J 2) in J
3.313 * [taylor]: Taking taylor expansion of J in J
3.451 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
3.451 * [approximate]: Taking taylor expansion of (pow J 1/9) in (J) around 0
3.451 * [taylor]: Taking taylor expansion of (pow J 1/9) in J
3.451 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log J))) in J
3.451 * [taylor]: Taking taylor expansion of (* 1/9 (log J)) in J
3.451 * [taylor]: Taking taylor expansion of 1/9 in J
3.451 * [taylor]: Taking taylor expansion of (log J) in J
3.451 * [taylor]: Taking taylor expansion of J in J
3.452 * [taylor]: Taking taylor expansion of (pow J 1/9) in J
3.452 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log J))) in J
3.452 * [taylor]: Taking taylor expansion of (* 1/9 (log J)) in J
3.452 * [taylor]: Taking taylor expansion of 1/9 in J
3.452 * [taylor]: Taking taylor expansion of (log J) in J
3.452 * [taylor]: Taking taylor expansion of J in J
3.499 * [approximate]: Taking taylor expansion of (pow (/ 1 J) 1/9) in (J) around 0
3.499 * [taylor]: Taking taylor expansion of (pow (/ 1 J) 1/9) in J
3.499 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 J)))) in J
3.499 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 J))) in J
3.499 * [taylor]: Taking taylor expansion of 1/9 in J
3.499 * [taylor]: Taking taylor expansion of (log (/ 1 J)) in J
3.499 * [taylor]: Taking taylor expansion of (/ 1 J) in J
3.499 * [taylor]: Taking taylor expansion of J in J
3.500 * [taylor]: Taking taylor expansion of (pow (/ 1 J) 1/9) in J
3.500 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 J)))) in J
3.500 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 J))) in J
3.500 * [taylor]: Taking taylor expansion of 1/9 in J
3.500 * [taylor]: Taking taylor expansion of (log (/ 1 J)) in J
3.500 * [taylor]: Taking taylor expansion of (/ 1 J) in J
3.500 * [taylor]: Taking taylor expansion of J in J
3.555 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 J) 1/9)) in (J) around 0
3.555 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 J) 1/9)) in J
3.555 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in J
3.555 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in J
3.555 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in J
3.555 * [taylor]: Taking taylor expansion of 1/3 in J
3.555 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in J
3.555 * [taylor]: Taking taylor expansion of (cbrt -1) in J
3.555 * [taylor]: Taking taylor expansion of -1 in J
3.559 * [taylor]: Taking taylor expansion of (pow (/ 1 J) 1/9) in J
3.559 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 J)))) in J
3.559 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 J))) in J
3.559 * [taylor]: Taking taylor expansion of 1/9 in J
3.559 * [taylor]: Taking taylor expansion of (log (/ 1 J)) in J
3.559 * [taylor]: Taking taylor expansion of (/ 1 J) in J
3.559 * [taylor]: Taking taylor expansion of J in J
3.560 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 J) 1/9)) in J
3.560 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in J
3.560 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in J
3.560 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in J
3.560 * [taylor]: Taking taylor expansion of 1/3 in J
3.560 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in J
3.560 * [taylor]: Taking taylor expansion of (cbrt -1) in J
3.560 * [taylor]: Taking taylor expansion of -1 in J
3.564 * [taylor]: Taking taylor expansion of (pow (/ 1 J) 1/9) in J
3.564 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 J)))) in J
3.564 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 J))) in J
3.564 * [taylor]: Taking taylor expansion of 1/9 in J
3.564 * [taylor]: Taking taylor expansion of (log (/ 1 J)) in J
3.564 * [taylor]: Taking taylor expansion of (/ 1 J) in J
3.564 * [taylor]: Taking taylor expansion of J in J
3.688 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1)
3.688 * [approximate]: Taking taylor expansion of (pow J 1/3) in (J) around 0
3.688 * [taylor]: Taking taylor expansion of (pow J 1/3) in J
3.688 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log J))) in J
3.688 * [taylor]: Taking taylor expansion of (* 1/3 (log J)) in J
3.688 * [taylor]: Taking taylor expansion of 1/3 in J
3.688 * [taylor]: Taking taylor expansion of (log J) in J
3.688 * [taylor]: Taking taylor expansion of J in J
3.689 * [taylor]: Taking taylor expansion of (pow J 1/3) in J
3.689 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log J))) in J
3.689 * [taylor]: Taking taylor expansion of (* 1/3 (log J)) in J
3.689 * [taylor]: Taking taylor expansion of 1/3 in J
3.689 * [taylor]: Taking taylor expansion of (log J) in J
3.689 * [taylor]: Taking taylor expansion of J in J
3.737 * [approximate]: Taking taylor expansion of (pow (/ 1 J) 1/3) in (J) around 0
3.737 * [taylor]: Taking taylor expansion of (pow (/ 1 J) 1/3) in J
3.737 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 J)))) in J
3.737 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 J))) in J
3.737 * [taylor]: Taking taylor expansion of 1/3 in J
3.737 * [taylor]: Taking taylor expansion of (log (/ 1 J)) in J
3.737 * [taylor]: Taking taylor expansion of (/ 1 J) in J
3.737 * [taylor]: Taking taylor expansion of J in J
3.738 * [taylor]: Taking taylor expansion of (pow (/ 1 J) 1/3) in J
3.738 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 J)))) in J
3.738 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 J))) in J
3.738 * [taylor]: Taking taylor expansion of 1/3 in J
3.738 * [taylor]: Taking taylor expansion of (log (/ 1 J)) in J
3.738 * [taylor]: Taking taylor expansion of (/ 1 J) in J
3.738 * [taylor]: Taking taylor expansion of J in J
3.796 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 J) 1/3)) in (J) around 0
3.796 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 J) 1/3)) in J
3.796 * [taylor]: Taking taylor expansion of (cbrt -1) in J
3.796 * [taylor]: Taking taylor expansion of -1 in J
3.797 * [taylor]: Taking taylor expansion of (pow (/ 1 J) 1/3) in J
3.797 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 J)))) in J
3.797 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 J))) in J
3.797 * [taylor]: Taking taylor expansion of 1/3 in J
3.797 * [taylor]: Taking taylor expansion of (log (/ 1 J)) in J
3.797 * [taylor]: Taking taylor expansion of (/ 1 J) in J
3.797 * [taylor]: Taking taylor expansion of J in J
3.798 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 J) 1/3)) in J
3.798 * [taylor]: Taking taylor expansion of (cbrt -1) in J
3.798 * [taylor]: Taking taylor expansion of -1 in J
3.798 * [taylor]: Taking taylor expansion of (pow (/ 1 J) 1/3) in J
3.798 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 J)))) in J
3.798 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 J))) in J
3.798 * [taylor]: Taking taylor expansion of 1/3 in J
3.798 * [taylor]: Taking taylor expansion of (log (/ 1 J)) in J
3.798 * [taylor]: Taking taylor expansion of (/ 1 J) in J
3.798 * [taylor]: Taking taylor expansion of J in J
3.867 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2 1)
3.867 * [approximate]: Taking taylor expansion of (pow J 1/3) in (J) around 0
3.867 * [taylor]: Taking taylor expansion of (pow J 1/3) in J
3.867 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log J))) in J
3.867 * [taylor]: Taking taylor expansion of (* 1/3 (log J)) in J
3.867 * [taylor]: Taking taylor expansion of 1/3 in J
3.867 * [taylor]: Taking taylor expansion of (log J) in J
3.867 * [taylor]: Taking taylor expansion of J in J
3.868 * [taylor]: Taking taylor expansion of (pow J 1/3) in J
3.868 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log J))) in J
3.868 * [taylor]: Taking taylor expansion of (* 1/3 (log J)) in J
3.868 * [taylor]: Taking taylor expansion of 1/3 in J
3.868 * [taylor]: Taking taylor expansion of (log J) in J
3.868 * [taylor]: Taking taylor expansion of J in J
3.921 * [approximate]: Taking taylor expansion of (pow (/ 1 J) 1/3) in (J) around 0
3.921 * [taylor]: Taking taylor expansion of (pow (/ 1 J) 1/3) in J
3.921 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 J)))) in J
3.921 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 J))) in J
3.921 * [taylor]: Taking taylor expansion of 1/3 in J
3.921 * [taylor]: Taking taylor expansion of (log (/ 1 J)) in J
3.921 * [taylor]: Taking taylor expansion of (/ 1 J) in J
3.921 * [taylor]: Taking taylor expansion of J in J
3.922 * [taylor]: Taking taylor expansion of (pow (/ 1 J) 1/3) in J
3.922 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 J)))) in J
3.922 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 J))) in J
3.922 * [taylor]: Taking taylor expansion of 1/3 in J
3.922 * [taylor]: Taking taylor expansion of (log (/ 1 J)) in J
3.922 * [taylor]: Taking taylor expansion of (/ 1 J) in J
3.922 * [taylor]: Taking taylor expansion of J in J
3.979 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 J) 1/3)) in (J) around 0
3.979 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 J) 1/3)) in J
3.979 * [taylor]: Taking taylor expansion of (cbrt -1) in J
3.979 * [taylor]: Taking taylor expansion of -1 in J
3.980 * [taylor]: Taking taylor expansion of (pow (/ 1 J) 1/3) in J
3.980 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 J)))) in J
3.980 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 J))) in J
3.980 * [taylor]: Taking taylor expansion of 1/3 in J
3.980 * [taylor]: Taking taylor expansion of (log (/ 1 J)) in J
3.980 * [taylor]: Taking taylor expansion of (/ 1 J) in J
3.980 * [taylor]: Taking taylor expansion of J in J
3.981 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 J) 1/3)) in J
3.981 * [taylor]: Taking taylor expansion of (cbrt -1) in J
3.981 * [taylor]: Taking taylor expansion of -1 in J
3.982 * [taylor]: Taking taylor expansion of (pow (/ 1 J) 1/3) in J
3.982 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 J)))) in J
3.982 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 J))) in J
3.982 * [taylor]: Taking taylor expansion of 1/3 in J
3.982 * [taylor]: Taking taylor expansion of (log (/ 1 J)) in J
3.982 * [taylor]: Taking taylor expansion of (/ 1 J) in J
3.982 * [taylor]: Taking taylor expansion of J in J
4.182 * * * [progress]: simplifying candidates
4.183 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (cbrt (* (cbrt J) (cbrt J))))
  (log1p (cbrt (* (cbrt J) (cbrt J))))
  (log (cbrt (* (cbrt J) (cbrt J))))
  (exp (cbrt (* (cbrt J) (cbrt J))))
  (cbrt (cbrt J))
  (cbrt (cbrt J))
  (* (cbrt (cbrt (* (cbrt J) (cbrt J)))) (cbrt (cbrt (* (cbrt J) (cbrt J)))))
  (cbrt (cbrt (* (cbrt J) (cbrt J))))
  (* (* (cbrt (* (cbrt J) (cbrt J))) (cbrt (* (cbrt J) (cbrt J)))) (cbrt (* (cbrt J) (cbrt J))))
  (sqrt (cbrt (* (cbrt J) (cbrt J))))
  (sqrt (cbrt (* (cbrt J) (cbrt J))))
  (expm1 (cbrt (cbrt J)))
  (log1p (cbrt (cbrt J)))
  (log (cbrt (cbrt J)))
  (exp (cbrt (cbrt J)))
  (cbrt (cbrt (* (cbrt J) (cbrt J))))
  (cbrt (cbrt (cbrt J)))
  (cbrt (cbrt (sqrt J)))
  (cbrt (cbrt (sqrt J)))
  (cbrt (cbrt 1))
  (cbrt (cbrt J))
  (cbrt (* (cbrt (cbrt J)) (cbrt (cbrt J))))
  (cbrt (cbrt (cbrt J)))
  (cbrt (sqrt (cbrt J)))
  (cbrt (sqrt (cbrt J)))
  (cbrt 1)
  (cbrt (cbrt J))
  (* (cbrt (cbrt (cbrt J))) (cbrt (cbrt (cbrt J))))
  (cbrt (cbrt (cbrt J)))
  (* (* (cbrt (cbrt J)) (cbrt (cbrt J))) (cbrt (cbrt J)))
  (sqrt (cbrt (cbrt J)))
  (sqrt (cbrt (cbrt J)))
  (expm1 (cbrt J))
  (log1p (cbrt J))
  (log (cbrt J))
  (exp (cbrt J))
  (cbrt (* (cbrt J) (cbrt J)))
  (cbrt (cbrt J))
  (cbrt (sqrt J))
  (cbrt (sqrt J))
  (cbrt 1)
  (cbrt J)
  (* (cbrt (cbrt J)) (cbrt (cbrt J)))
  (cbrt (cbrt J))
  (* (* (cbrt J) (cbrt J)) (cbrt J))
  (sqrt (cbrt J))
  (sqrt (cbrt J))
  (expm1 (cbrt J))
  (log1p (cbrt J))
  (log (cbrt J))
  (exp (cbrt J))
  (cbrt (* (cbrt J) (cbrt J)))
  (cbrt (cbrt J))
  (cbrt (sqrt J))
  (cbrt (sqrt J))
  (cbrt 1)
  (cbrt J)
  (* (cbrt (cbrt J)) (cbrt (cbrt J)))
  (cbrt (cbrt J))
  (* (* (cbrt J) (cbrt J)) (cbrt J))
  (sqrt (cbrt J))
  (sqrt (cbrt J))
  (pow J 2/9)
  (pow (/ 1 J) -2/9)
  (* (pow (pow (cbrt -1) 2) 1/3) (pow (pow J 2) 1/9))
  (pow J 1/9)
  (pow (/ 1 J) -1/9)
  (* (pow (* -1 J) 1/9) (pow (cbrt -1) 1/3))
  (pow J 1/3)
  (pow (/ 1 J) -1/3)
  (* (pow (* -1 J) 1/3) (cbrt -1))
  (pow J 1/3)
  (pow (/ 1 J) -1/3)
  (* (pow (* -1 J) 1/3) (cbrt -1))
4.187 * * [simplify]: iteration  0 :  112  enodes  (cost  239 )
4.190 * * [simplify]: iteration  1 :  242  enodes  (cost  219 )
4.195 * * [simplify]: iteration  2 :  759  enodes  (cost  209 )
4.212 * * [simplify]: iteration  3 :  3150  enodes  (cost  209 )
4.289 * * [simplify]: iteration  4 :  5002  enodes  (cost  204 )
4.291 * [simplify]: Simplified to:
   (expm1 (cbrt (* (cbrt J) (cbrt J))))
  (log1p (cbrt (* (cbrt J) (cbrt J))))
  (log (cbrt (* (cbrt J) (cbrt J))))
  (exp (cbrt (* (cbrt J) (cbrt J))))
  (cbrt (cbrt J))
  (cbrt (cbrt J))
  (* (cbrt (cbrt (* (cbrt J) (cbrt J)))) (cbrt (cbrt (* (cbrt J) (cbrt J)))))
  (cbrt (cbrt (* (cbrt J) (cbrt J))))
  (pow J 2/3)
  (sqrt (cbrt (* (cbrt J) (cbrt J))))
  (sqrt (cbrt (* (cbrt J) (cbrt J))))
  (expm1 (cbrt (cbrt J)))
  (log1p (cbrt (cbrt J)))
  (log (cbrt (cbrt J)))
  (exp (cbrt (cbrt J)))
  (cbrt (cbrt (* (cbrt J) (cbrt J))))
  (cbrt (cbrt (cbrt J)))
  (cbrt (cbrt (sqrt J)))
  (cbrt (cbrt (sqrt J)))
  1
  (cbrt (cbrt J))
  (cbrt (* (cbrt (cbrt J)) (cbrt (cbrt J))))
  (cbrt (cbrt (cbrt J)))
  (cbrt (sqrt (cbrt J)))
  (cbrt (sqrt (cbrt J)))
  1
  (cbrt (cbrt J))
  (* (cbrt (cbrt (cbrt J))) (cbrt (cbrt (cbrt J))))
  (cbrt (cbrt (cbrt J)))
  (pow J 1/3)
  (sqrt (cbrt (cbrt J)))
  (sqrt (cbrt (cbrt J)))
  (expm1 (cbrt J))
  (log1p (cbrt J))
  (log (cbrt J))
  (exp (cbrt J))
  (cbrt (* (cbrt J) (cbrt J)))
  (cbrt (cbrt J))
  (cbrt (sqrt J))
  (cbrt (sqrt J))
  1
  (pow J 1/3)
  (* (cbrt (cbrt J)) (cbrt (cbrt J)))
  (cbrt (cbrt J))
  J
  (sqrt (cbrt J))
  (sqrt (cbrt J))
  (expm1 (cbrt J))
  (log1p (cbrt J))
  (log (cbrt J))
  (exp (cbrt J))
  (cbrt (* (cbrt J) (cbrt J)))
  (cbrt (cbrt J))
  (cbrt (sqrt J))
  (cbrt (sqrt J))
  1
  (pow J 1/3)
  (* (cbrt (cbrt J)) (cbrt (cbrt J)))
  (cbrt (cbrt J))
  J
  (sqrt (cbrt J))
  (sqrt (cbrt J))
  (pow J 2/9)
  (pow (/ 1 J) -2/9)
  (* (pow (pow (cbrt -1) 2) 1/3) (pow (pow J 2) 1/9))
  (pow J 1/9)
  (pow (/ 1 J) -1/9)
  (* (pow (* -1 J) 1/9) (pow (cbrt -1) 1/3))
  (pow J 1/3)
  (pow (/ 1 J) -1/3)
  (* (pow (* -1 J) 1/3) (cbrt -1))
  (pow J 1/3)
  (pow (/ 1 J) -1/3)
  (* (pow (* -1 J) 1/3) (cbrt -1))
4.291 * * * [progress]: adding candidates to table
4.670 * [progress]: [Phase 3 of 3] Extracting.
4.670 * * [regime]: Finding splitpoints for: (#<alt (λ (J l K U) (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U))> #<alt (λ (J l K U) (fma (* (* (* (cbrt J) (cbrt (* (cbrt J) (cbrt J)))) (cbrt (expm1 (log1p (cbrt J))))) (* (cbrt J) (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))) (cos (/ K 2.0)) U))> #<alt (λ (J l K U) (fma (* (* (* (cbrt J) (cbrt (* (cbrt J) (cbrt J)))) (* (cbrt (cbrt (* (cbrt J) (cbrt J)))) (cbrt (cbrt (cbrt J))))) (* (cbrt J) (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))) (cos (/ K 2.0)) U))> #<alt (λ (J l K U) (fma (* (* (* (cbrt (* (cbrt J) (cbrt J))) (cbrt (* (cbrt J) (cbrt J)))) (cbrt (* (cbrt J) (cbrt J)))) (* (cbrt J) (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))) (cos (/ K 2.0)) U))> #<alt (λ (J l K U) (* (sqrt (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U)) (sqrt (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U))))>)
4.673 * * * [regime-changes]: Trying 6 branch expressions: ((/ K 2.0) (cos (/ K 2.0)) U K l J)
4.674 * * * * [regimes]: Trying to branch on (/ K 2.0) from (#<alt (λ (J l K U) (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U))> #<alt (λ (J l K U) (fma (* (* (* (cbrt J) (cbrt (* (cbrt J) (cbrt J)))) (cbrt (expm1 (log1p (cbrt J))))) (* (cbrt J) (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))) (cos (/ K 2.0)) U))> #<alt (λ (J l K U) (fma (* (* (* (cbrt J) (cbrt (* (cbrt J) (cbrt J)))) (* (cbrt (cbrt (* (cbrt J) (cbrt J)))) (cbrt (cbrt (cbrt J))))) (* (cbrt J) (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))) (cos (/ K 2.0)) U))> #<alt (λ (J l K U) (fma (* (* (* (cbrt (* (cbrt J) (cbrt J))) (cbrt (* (cbrt J) (cbrt J)))) (cbrt (* (cbrt J) (cbrt J)))) (* (cbrt J) (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))) (cos (/ K 2.0)) U))> #<alt (λ (J l K U) (* (sqrt (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U)) (sqrt (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U))))>)
4.711 * * * * [regimes]: Trying to branch on (cos (/ K 2.0)) from (#<alt (λ (J l K U) (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U))> #<alt (λ (J l K U) (fma (* (* (* (cbrt J) (cbrt (* (cbrt J) (cbrt J)))) (cbrt (expm1 (log1p (cbrt J))))) (* (cbrt J) (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))) (cos (/ K 2.0)) U))> #<alt (λ (J l K U) (fma (* (* (* (cbrt J) (cbrt (* (cbrt J) (cbrt J)))) (* (cbrt (cbrt (* (cbrt J) (cbrt J)))) (cbrt (cbrt (cbrt J))))) (* (cbrt J) (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))) (cos (/ K 2.0)) U))> #<alt (λ (J l K U) (fma (* (* (* (cbrt (* (cbrt J) (cbrt J))) (cbrt (* (cbrt J) (cbrt J)))) (cbrt (* (cbrt J) (cbrt J)))) (* (cbrt J) (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))) (cos (/ K 2.0)) U))> #<alt (λ (J l K U) (* (sqrt (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U)) (sqrt (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U))))>)
4.750 * * * * [regimes]: Trying to branch on U from (#<alt (λ (J l K U) (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U))> #<alt (λ (J l K U) (fma (* (* (* (cbrt J) (cbrt (* (cbrt J) (cbrt J)))) (cbrt (expm1 (log1p (cbrt J))))) (* (cbrt J) (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))) (cos (/ K 2.0)) U))> #<alt (λ (J l K U) (fma (* (* (* (cbrt J) (cbrt (* (cbrt J) (cbrt J)))) (* (cbrt (cbrt (* (cbrt J) (cbrt J)))) (cbrt (cbrt (cbrt J))))) (* (cbrt J) (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))) (cos (/ K 2.0)) U))> #<alt (λ (J l K U) (fma (* (* (* (cbrt (* (cbrt J) (cbrt J))) (cbrt (* (cbrt J) (cbrt J)))) (cbrt (* (cbrt J) (cbrt J)))) (* (cbrt J) (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))) (cos (/ K 2.0)) U))> #<alt (λ (J l K U) (* (sqrt (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U)) (sqrt (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U))))>)
4.788 * * * * [regimes]: Trying to branch on K from (#<alt (λ (J l K U) (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U))> #<alt (λ (J l K U) (fma (* (* (* (cbrt J) (cbrt (* (cbrt J) (cbrt J)))) (cbrt (expm1 (log1p (cbrt J))))) (* (cbrt J) (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))) (cos (/ K 2.0)) U))> #<alt (λ (J l K U) (fma (* (* (* (cbrt J) (cbrt (* (cbrt J) (cbrt J)))) (* (cbrt (cbrt (* (cbrt J) (cbrt J)))) (cbrt (cbrt (cbrt J))))) (* (cbrt J) (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))) (cos (/ K 2.0)) U))> #<alt (λ (J l K U) (fma (* (* (* (cbrt (* (cbrt J) (cbrt J))) (cbrt (* (cbrt J) (cbrt J)))) (cbrt (* (cbrt J) (cbrt J)))) (* (cbrt J) (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))) (cos (/ K 2.0)) U))> #<alt (λ (J l K U) (* (sqrt (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U)) (sqrt (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U))))>)
4.823 * * * * [regimes]: Trying to branch on l from (#<alt (λ (J l K U) (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U))> #<alt (λ (J l K U) (fma (* (* (* (cbrt J) (cbrt (* (cbrt J) (cbrt J)))) (cbrt (expm1 (log1p (cbrt J))))) (* (cbrt J) (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))) (cos (/ K 2.0)) U))> #<alt (λ (J l K U) (fma (* (* (* (cbrt J) (cbrt (* (cbrt J) (cbrt J)))) (* (cbrt (cbrt (* (cbrt J) (cbrt J)))) (cbrt (cbrt (cbrt J))))) (* (cbrt J) (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))) (cos (/ K 2.0)) U))> #<alt (λ (J l K U) (fma (* (* (* (cbrt (* (cbrt J) (cbrt J))) (cbrt (* (cbrt J) (cbrt J)))) (cbrt (* (cbrt J) (cbrt J)))) (* (cbrt J) (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))) (cos (/ K 2.0)) U))> #<alt (λ (J l K U) (* (sqrt (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U)) (sqrt (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U))))>)
4.861 * * * * [regimes]: Trying to branch on J from (#<alt (λ (J l K U) (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U))> #<alt (λ (J l K U) (fma (* (* (* (cbrt J) (cbrt (* (cbrt J) (cbrt J)))) (cbrt (expm1 (log1p (cbrt J))))) (* (cbrt J) (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))) (cos (/ K 2.0)) U))> #<alt (λ (J l K U) (fma (* (* (* (cbrt J) (cbrt (* (cbrt J) (cbrt J)))) (* (cbrt (cbrt (* (cbrt J) (cbrt J)))) (cbrt (cbrt (cbrt J))))) (* (cbrt J) (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))) (cos (/ K 2.0)) U))> #<alt (λ (J l K U) (fma (* (* (* (cbrt (* (cbrt J) (cbrt J))) (cbrt (* (cbrt J) (cbrt J)))) (cbrt (* (cbrt J) (cbrt J)))) (* (cbrt J) (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l))))) (cos (/ K 2.0)) U))> #<alt (λ (J l K U) (* (sqrt (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U)) (sqrt (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U))))>)
4.899 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
4.899 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U)
4.900 * * [simplify]: iteration  0 :  21  enodes  (cost  9 )
4.900 * * [simplify]: iteration  1 :  21  enodes  (cost  9 )
4.900 * [simplify]: Simplified to:
   (fma (* J (fma 1/3 (pow l 3) (fma 1/60 (pow l 5) (* 2 l)))) (cos (/ K 2.0)) U)
8.546 * [regime-testing]: Baseline error score: 0.34142149759023277
8.547 * [regime-testing]: Oracle error score: 0.32615976937774854
8.548 * [regime-testing]: End program error score: 0.34142149759023277