0.932 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.391 * * * [progress]: [2/2] Setting up program.
0.394 * [progress]: [Phase 2 of 3] Improving.
0.396 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (* PI l) (* (/ 1.0 (* F F)) (tan (* PI l))))
0.402 * * [simplify]: iteration  0 :  19  enodes  (cost  7 )
0.403 * * [simplify]: iteration  1 :  41  enodes  (cost  7 )
0.405 * * [simplify]: iteration  2 :  82  enodes  (cost  7 )
0.407 * * [simplify]: iteration  3 :  122  enodes  (cost  7 )
0.409 * * [simplify]: iteration  4 :  147  enodes  (cost  7 )
0.411 * * [simplify]: iteration  5 :  157  enodes  (cost  7 )
0.413 * * [simplify]: iteration  6 :  159  enodes  (cost  7 )
0.415 * * [simplify]: iteration  7 :  159  enodes  (cost  7 )
0.416 * [simplify]: Simplified to:
   (- (* PI l) (* (/ 1.0 (* F F)) (tan (* PI l))))
0.418 * * [progress]: iteration 1 / 4
0.418 * * * [progress]: picking best candidate
0.421 * * * * [pick]: Picked  #<alt (λ (F l) (- (* PI l) (* (/ 1.0 (* F F)) (tan (* PI l)))))>
0.421 * * * [progress]: localizing error
0.435 * * * [progress]: generating rewritten candidates
0.435 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
0.438 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
0.448 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1)
0.452 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
0.458 * * * [progress]: generating series expansions
0.459 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
0.478 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0
0.479 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
0.480 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
0.480 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
0.480 * [taylor]: Taking taylor expansion of (* PI l) in l
0.480 * [taylor]: Taking taylor expansion of PI in l
0.480 * [taylor]: Taking taylor expansion of l in l
0.482 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
0.482 * [taylor]: Taking taylor expansion of (* PI l) in l
0.482 * [taylor]: Taking taylor expansion of PI in l
0.483 * [taylor]: Taking taylor expansion of l in l
0.487 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
0.487 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
0.487 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
0.487 * [taylor]: Taking taylor expansion of (* PI l) in l
0.487 * [taylor]: Taking taylor expansion of PI in l
0.487 * [taylor]: Taking taylor expansion of l in l
0.488 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
0.488 * [taylor]: Taking taylor expansion of (* PI l) in l
0.488 * [taylor]: Taking taylor expansion of PI in l
0.488 * [taylor]: Taking taylor expansion of l in l
0.537 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0
0.537 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
0.538 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
0.538 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
0.538 * [taylor]: Taking taylor expansion of (/ PI l) in l
0.538 * [taylor]: Taking taylor expansion of PI in l
0.538 * [taylor]: Taking taylor expansion of l in l
0.538 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
0.538 * [taylor]: Taking taylor expansion of (/ PI l) in l
0.538 * [taylor]: Taking taylor expansion of PI in l
0.538 * [taylor]: Taking taylor expansion of l in l
0.539 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
0.539 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
0.539 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
0.539 * [taylor]: Taking taylor expansion of (/ PI l) in l
0.539 * [taylor]: Taking taylor expansion of PI in l
0.539 * [taylor]: Taking taylor expansion of l in l
0.539 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
0.539 * [taylor]: Taking taylor expansion of (/ PI l) in l
0.539 * [taylor]: Taking taylor expansion of PI in l
0.539 * [taylor]: Taking taylor expansion of l in l
0.542 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0
0.542 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
0.542 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
0.542 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
0.542 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
0.542 * [taylor]: Taking taylor expansion of -1 in l
0.542 * [taylor]: Taking taylor expansion of (/ PI l) in l
0.542 * [taylor]: Taking taylor expansion of PI in l
0.542 * [taylor]: Taking taylor expansion of l in l
0.543 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
0.543 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
0.543 * [taylor]: Taking taylor expansion of -1 in l
0.543 * [taylor]: Taking taylor expansion of (/ PI l) in l
0.543 * [taylor]: Taking taylor expansion of PI in l
0.543 * [taylor]: Taking taylor expansion of l in l
0.544 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
0.544 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
0.544 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
0.544 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
0.544 * [taylor]: Taking taylor expansion of -1 in l
0.544 * [taylor]: Taking taylor expansion of (/ PI l) in l
0.544 * [taylor]: Taking taylor expansion of PI in l
0.544 * [taylor]: Taking taylor expansion of l in l
0.545 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
0.545 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
0.545 * [taylor]: Taking taylor expansion of -1 in l
0.545 * [taylor]: Taking taylor expansion of (/ PI l) in l
0.545 * [taylor]: Taking taylor expansion of PI in l
0.545 * [taylor]: Taking taylor expansion of l in l
0.548 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
0.549 * [approximate]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in (F l) around 0
0.549 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in l
0.549 * [taylor]: Taking taylor expansion of 1.0 in l
0.549 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in l
0.549 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
0.549 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
0.549 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
0.549 * [taylor]: Taking taylor expansion of (* PI l) in l
0.549 * [taylor]: Taking taylor expansion of PI in l
0.549 * [taylor]: Taking taylor expansion of l in l
0.550 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
0.550 * [taylor]: Taking taylor expansion of (* PI l) in l
0.550 * [taylor]: Taking taylor expansion of PI in l
0.550 * [taylor]: Taking taylor expansion of l in l
0.553 * [taylor]: Taking taylor expansion of (pow F 2) in l
0.553 * [taylor]: Taking taylor expansion of F in l
0.554 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in F
0.554 * [taylor]: Taking taylor expansion of 1.0 in F
0.554 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in F
0.554 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F
0.554 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
0.554 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F
0.554 * [taylor]: Taking taylor expansion of (* PI l) in F
0.554 * [taylor]: Taking taylor expansion of PI in F
0.554 * [taylor]: Taking taylor expansion of l in F
0.554 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F
0.554 * [taylor]: Taking taylor expansion of (* PI l) in F
0.554 * [taylor]: Taking taylor expansion of PI in F
0.554 * [taylor]: Taking taylor expansion of l in F
0.555 * [taylor]: Taking taylor expansion of (pow F 2) in F
0.556 * [taylor]: Taking taylor expansion of F in F
0.556 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) (pow F 2))) in F
0.556 * [taylor]: Taking taylor expansion of 1.0 in F
0.556 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in F
0.556 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F
0.556 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
0.556 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F
0.556 * [taylor]: Taking taylor expansion of (* PI l) in F
0.556 * [taylor]: Taking taylor expansion of PI in F
0.556 * [taylor]: Taking taylor expansion of l in F
0.556 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F
0.556 * [taylor]: Taking taylor expansion of (* PI l) in F
0.556 * [taylor]: Taking taylor expansion of PI in F
0.556 * [taylor]: Taking taylor expansion of l in F
0.557 * [taylor]: Taking taylor expansion of (pow F 2) in F
0.557 * [taylor]: Taking taylor expansion of F in F
0.557 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (* PI l)) (cos (* PI l)))) in l
0.557 * [taylor]: Taking taylor expansion of 1.0 in l
0.557 * [taylor]: Taking taylor expansion of (/ (sin (* PI l)) (cos (* PI l))) in l
0.558 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
0.558 * [taylor]: Taking taylor expansion of (* PI l) in l
0.558 * [taylor]: Taking taylor expansion of PI in l
0.558 * [taylor]: Taking taylor expansion of l in l
0.559 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
0.559 * [taylor]: Taking taylor expansion of (* PI l) in l
0.559 * [taylor]: Taking taylor expansion of PI in l
0.559 * [taylor]: Taking taylor expansion of l in l
0.573 * [taylor]: Taking taylor expansion of 0 in l
0.583 * [taylor]: Taking taylor expansion of 0 in l
0.609 * [taylor]: Taking taylor expansion of 0 in l
0.627 * [taylor]: Taking taylor expansion of 0 in l
0.628 * [approximate]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) (pow F 2))) in (F l) around 0
0.628 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) (pow F 2))) in l
0.628 * [taylor]: Taking taylor expansion of 1.0 in l
0.629 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in l
0.629 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
0.629 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
0.629 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
0.629 * [taylor]: Taking taylor expansion of (/ PI l) in l
0.629 * [taylor]: Taking taylor expansion of PI in l
0.629 * [taylor]: Taking taylor expansion of l in l
0.629 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
0.629 * [taylor]: Taking taylor expansion of (/ PI l) in l
0.629 * [taylor]: Taking taylor expansion of PI in l
0.629 * [taylor]: Taking taylor expansion of l in l
0.630 * [taylor]: Taking taylor expansion of (pow F 2) in l
0.630 * [taylor]: Taking taylor expansion of F in l
0.630 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) (pow F 2))) in F
0.630 * [taylor]: Taking taylor expansion of 1.0 in F
0.630 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F
0.630 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F
0.630 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
0.630 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F
0.630 * [taylor]: Taking taylor expansion of (/ PI l) in F
0.630 * [taylor]: Taking taylor expansion of PI in F
0.630 * [taylor]: Taking taylor expansion of l in F
0.630 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F
0.630 * [taylor]: Taking taylor expansion of (/ PI l) in F
0.630 * [taylor]: Taking taylor expansion of PI in F
0.630 * [taylor]: Taking taylor expansion of l in F
0.631 * [taylor]: Taking taylor expansion of (pow F 2) in F
0.631 * [taylor]: Taking taylor expansion of F in F
0.631 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) (pow F 2))) in F
0.631 * [taylor]: Taking taylor expansion of 1.0 in F
0.631 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F
0.631 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F
0.631 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
0.631 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F
0.631 * [taylor]: Taking taylor expansion of (/ PI l) in F
0.631 * [taylor]: Taking taylor expansion of PI in F
0.631 * [taylor]: Taking taylor expansion of l in F
0.631 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F
0.631 * [taylor]: Taking taylor expansion of (/ PI l) in F
0.631 * [taylor]: Taking taylor expansion of PI in F
0.631 * [taylor]: Taking taylor expansion of l in F
0.632 * [taylor]: Taking taylor expansion of (pow F 2) in F
0.632 * [taylor]: Taking taylor expansion of F in F
0.632 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ PI l)) (cos (/ PI l)))) in l
0.632 * [taylor]: Taking taylor expansion of 1.0 in l
0.632 * [taylor]: Taking taylor expansion of (/ (sin (/ PI l)) (cos (/ PI l))) in l
0.632 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
0.632 * [taylor]: Taking taylor expansion of (/ PI l) in l
0.632 * [taylor]: Taking taylor expansion of PI in l
0.632 * [taylor]: Taking taylor expansion of l in l
0.633 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
0.633 * [taylor]: Taking taylor expansion of (/ PI l) in l
0.633 * [taylor]: Taking taylor expansion of PI in l
0.633 * [taylor]: Taking taylor expansion of l in l
0.639 * [taylor]: Taking taylor expansion of 0 in l
0.646 * [taylor]: Taking taylor expansion of 0 in l
0.654 * [taylor]: Taking taylor expansion of 0 in l
0.655 * [approximate]: Taking taylor expansion of (* 1.0 (* (tan (* -1 (/ PI l))) (pow F 2))) in (F l) around 0
0.655 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (* -1 (/ PI l))) (pow F 2))) in l
0.655 * [taylor]: Taking taylor expansion of 1.0 in l
0.655 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in l
0.655 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
0.655 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
0.655 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
0.655 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
0.655 * [taylor]: Taking taylor expansion of -1 in l
0.655 * [taylor]: Taking taylor expansion of (/ PI l) in l
0.655 * [taylor]: Taking taylor expansion of PI in l
0.655 * [taylor]: Taking taylor expansion of l in l
0.656 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
0.656 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
0.656 * [taylor]: Taking taylor expansion of -1 in l
0.656 * [taylor]: Taking taylor expansion of (/ PI l) in l
0.656 * [taylor]: Taking taylor expansion of PI in l
0.656 * [taylor]: Taking taylor expansion of l in l
0.656 * [taylor]: Taking taylor expansion of (pow F 2) in l
0.656 * [taylor]: Taking taylor expansion of F in l
0.656 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (* -1 (/ PI l))) (pow F 2))) in F
0.657 * [taylor]: Taking taylor expansion of 1.0 in F
0.657 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in F
0.657 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F
0.657 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
0.657 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F
0.657 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
0.657 * [taylor]: Taking taylor expansion of -1 in F
0.657 * [taylor]: Taking taylor expansion of (/ PI l) in F
0.657 * [taylor]: Taking taylor expansion of PI in F
0.657 * [taylor]: Taking taylor expansion of l in F
0.657 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F
0.657 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
0.657 * [taylor]: Taking taylor expansion of -1 in F
0.657 * [taylor]: Taking taylor expansion of (/ PI l) in F
0.657 * [taylor]: Taking taylor expansion of PI in F
0.657 * [taylor]: Taking taylor expansion of l in F
0.660 * [taylor]: Taking taylor expansion of (pow F 2) in F
0.660 * [taylor]: Taking taylor expansion of F in F
0.660 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (* -1 (/ PI l))) (pow F 2))) in F
0.660 * [taylor]: Taking taylor expansion of 1.0 in F
0.660 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in F
0.660 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F
0.660 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
0.661 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F
0.661 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
0.661 * [taylor]: Taking taylor expansion of -1 in F
0.661 * [taylor]: Taking taylor expansion of (/ PI l) in F
0.661 * [taylor]: Taking taylor expansion of PI in F
0.661 * [taylor]: Taking taylor expansion of l in F
0.661 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F
0.661 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
0.661 * [taylor]: Taking taylor expansion of -1 in F
0.661 * [taylor]: Taking taylor expansion of (/ PI l) in F
0.661 * [taylor]: Taking taylor expansion of PI in F
0.661 * [taylor]: Taking taylor expansion of l in F
0.662 * [taylor]: Taking taylor expansion of (pow F 2) in F
0.662 * [taylor]: Taking taylor expansion of F in F
0.662 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))) in l
0.662 * [taylor]: Taking taylor expansion of 1.0 in l
0.662 * [taylor]: Taking taylor expansion of (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) in l
0.662 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
0.662 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
0.662 * [taylor]: Taking taylor expansion of -1 in l
0.662 * [taylor]: Taking taylor expansion of (/ PI l) in l
0.662 * [taylor]: Taking taylor expansion of PI in l
0.662 * [taylor]: Taking taylor expansion of l in l
0.663 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
0.663 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
0.663 * [taylor]: Taking taylor expansion of -1 in l
0.663 * [taylor]: Taking taylor expansion of (/ PI l) in l
0.663 * [taylor]: Taking taylor expansion of PI in l
0.663 * [taylor]: Taking taylor expansion of l in l
0.670 * [taylor]: Taking taylor expansion of 0 in l
0.678 * [taylor]: Taking taylor expansion of 0 in l
0.688 * [taylor]: Taking taylor expansion of 0 in l
0.689 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1)
0.689 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0
0.689 * [taylor]: Taking taylor expansion of (* PI l) in l
0.689 * [taylor]: Taking taylor expansion of PI in l
0.689 * [taylor]: Taking taylor expansion of l in l
0.689 * [taylor]: Taking taylor expansion of (* PI l) in l
0.689 * [taylor]: Taking taylor expansion of PI in l
0.689 * [taylor]: Taking taylor expansion of l in l
0.695 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0
0.695 * [taylor]: Taking taylor expansion of (/ PI l) in l
0.695 * [taylor]: Taking taylor expansion of PI in l
0.695 * [taylor]: Taking taylor expansion of l in l
0.696 * [taylor]: Taking taylor expansion of (/ PI l) in l
0.696 * [taylor]: Taking taylor expansion of PI in l
0.696 * [taylor]: Taking taylor expansion of l in l
0.700 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0
0.700 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
0.700 * [taylor]: Taking taylor expansion of -1 in l
0.700 * [taylor]: Taking taylor expansion of (/ PI l) in l
0.700 * [taylor]: Taking taylor expansion of PI in l
0.700 * [taylor]: Taking taylor expansion of l in l
0.700 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
0.700 * [taylor]: Taking taylor expansion of -1 in l
0.700 * [taylor]: Taking taylor expansion of (/ PI l) in l
0.700 * [taylor]: Taking taylor expansion of PI in l
0.700 * [taylor]: Taking taylor expansion of l in l
0.709 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
0.710 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0
0.710 * [taylor]: Taking taylor expansion of (* PI l) in l
0.710 * [taylor]: Taking taylor expansion of PI in l
0.710 * [taylor]: Taking taylor expansion of l in l
0.710 * [taylor]: Taking taylor expansion of (* PI l) in l
0.710 * [taylor]: Taking taylor expansion of PI in l
0.710 * [taylor]: Taking taylor expansion of l in l
0.716 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0
0.716 * [taylor]: Taking taylor expansion of (/ PI l) in l
0.716 * [taylor]: Taking taylor expansion of PI in l
0.716 * [taylor]: Taking taylor expansion of l in l
0.716 * [taylor]: Taking taylor expansion of (/ PI l) in l
0.716 * [taylor]: Taking taylor expansion of PI in l
0.716 * [taylor]: Taking taylor expansion of l in l
0.720 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0
0.720 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
0.720 * [taylor]: Taking taylor expansion of -1 in l
0.720 * [taylor]: Taking taylor expansion of (/ PI l) in l
0.720 * [taylor]: Taking taylor expansion of PI in l
0.720 * [taylor]: Taking taylor expansion of l in l
0.720 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
0.720 * [taylor]: Taking taylor expansion of -1 in l
0.720 * [taylor]: Taking taylor expansion of (/ PI l) in l
0.721 * [taylor]: Taking taylor expansion of PI in l
0.721 * [taylor]: Taking taylor expansion of l in l
0.729 * * * [progress]: simplifying candidates
0.731 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (tan (* PI l)))
  (log1p (tan (* PI l)))
  (sin (* PI l))
  (cos (* PI l))
  (log (tan (* PI l)))
  (exp (tan (* PI l)))
  (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))
  (cbrt (tan (* PI l)))
  (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l)))
  (sqrt (tan (* PI l)))
  (sqrt (tan (* PI l)))
  (expm1 (* (/ 1.0 (* F F)) (tan (* PI l))))
  (log1p (* (/ 1.0 (* F F)) (tan (* PI l))))
  (* (/ 1.0 (* F F)) (tan (* PI l)))
  (+ (- (log 1.0) (+ (log F) (log F))) (log (tan (* PI l))))
  (+ (- (log 1.0) (log (* F F))) (log (tan (* PI l))))
  (+ (log (/ 1.0 (* F F))) (log (tan (* PI l))))
  (log (* (/ 1.0 (* F F)) (tan (* PI l))))
  (exp (* (/ 1.0 (* F F)) (tan (* PI l))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* (* F F) F) (* (* F F) F))) (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* (* F F) (* F F)) (* F F))) (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l))))
  (* (* (* (/ 1.0 (* F F)) (/ 1.0 (* F F))) (/ 1.0 (* F F))) (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l))))
  (* (cbrt (* (/ 1.0 (* F F)) (tan (* PI l)))) (cbrt (* (/ 1.0 (* F F)) (tan (* PI l)))))
  (cbrt (* (/ 1.0 (* F F)) (tan (* PI l))))
  (* (* (* (/ 1.0 (* F F)) (tan (* PI l))) (* (/ 1.0 (* F F)) (tan (* PI l)))) (* (/ 1.0 (* F F)) (tan (* PI l))))
  (sqrt (* (/ 1.0 (* F F)) (tan (* PI l))))
  (sqrt (* (/ 1.0 (* F F)) (tan (* PI l))))
  (* 1.0 (sin (* PI l)))
  (* (* F F) (cos (* PI l)))
  (* (sqrt (/ 1.0 (* F F))) (sqrt (tan (* PI l))))
  (* (sqrt (/ 1.0 (* F F))) (sqrt (tan (* PI l))))
  (* (/ (sqrt 1.0) F) (sqrt (tan (* PI l))))
  (* (/ (sqrt 1.0) F) (sqrt (tan (* PI l))))
  (* (/ 1.0 (* F F)) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))
  (* (/ 1.0 (* F F)) (sqrt (tan (* PI l))))
  (* (/ 1.0 (* F F)) 1)
  (* (cbrt (/ 1.0 (* F F))) (tan (* PI l)))
  (* (sqrt (/ 1.0 (* F F))) (tan (* PI l)))
  (* (/ (cbrt 1.0) F) (tan (* PI l)))
  (* (/ (sqrt 1.0) F) (tan (* PI l)))
  (* (/ 1.0 F) (tan (* PI l)))
  (* (/ 1.0 (* F F)) (tan (* PI l)))
  (* (/ 1 (* F F)) (tan (* PI l)))
  (* (/ 1.0 (* F F)) (sin (* PI l)))
  (* 1.0 (tan (* PI l)))
  (expm1 (* PI l))
  (log1p (* PI l))
  (* PI l)
  (+ (log PI) (log l))
  (log (* PI l))
  (exp (* PI l))
  (* (* (* PI PI) PI) (* (* l l) l))
  (* (cbrt (* PI l)) (cbrt (* PI l)))
  (cbrt (* PI l))
  (* (* (* PI l) (* PI l)) (* PI l))
  (sqrt (* PI l))
  (sqrt (* PI l))
  (* (sqrt PI) (sqrt l))
  (* (sqrt PI) (sqrt l))
  (* PI (* (cbrt l) (cbrt l)))
  (* PI (sqrt l))
  (* PI 1)
  (* (cbrt PI) l)
  (* (sqrt PI) l)
  (* PI l)
  (expm1 (* PI l))
  (log1p (* PI l))
  (* PI l)
  (+ (log PI) (log l))
  (log (* PI l))
  (exp (* PI l))
  (* (* (* PI PI) PI) (* (* l l) l))
  (* (cbrt (* PI l)) (cbrt (* PI l)))
  (cbrt (* PI l))
  (* (* (* PI l) (* PI l)) (* PI l))
  (sqrt (* PI l))
  (sqrt (* PI l))
  (* (sqrt PI) (sqrt l))
  (* (sqrt PI) (sqrt l))
  (* PI (* (cbrt l) (cbrt l)))
  (* PI (sqrt l))
  (* PI 1)
  (* (cbrt PI) l)
  (* (sqrt PI) l)
  (* PI l)
  (+ (* 2/15 (* (pow PI 5) (pow l 5))) (+ (* PI l) (* 1/3 (* (pow PI 3) (pow l 3)))))
  (/ (sin (* PI l)) (cos (* PI l)))
  (/ (sin (* PI l)) (cos (* PI l)))
  (+ (* 1.0 (/ (* PI l) (pow F 2))) (* 0.3333333333333333 (/ (* (pow PI 3) (pow l 3)) (pow F 2))))
  (* 1.0 (/ (sin (* PI l)) (* (cos (* PI l)) (pow F 2))))
  (* 1.0 (/ (sin (* PI l)) (* (cos (* PI l)) (pow F 2))))
  (* PI l)
  (* PI l)
  (* PI l)
  (* PI l)
  (* PI l)
  (* PI l)
0.735 * * [simplify]: iteration  0 :  315  enodes  (cost  426 )
0.742 * * [simplify]: iteration  1 :  1421  enodes  (cost  368 )
0.767 * * [simplify]: iteration  2 :  5002  enodes  (cost  367 )
0.770 * [simplify]: Simplified to:
   (expm1 (tan (* PI l)))
  (log1p (tan (* PI l)))
  (sin (* PI l))
  (cos (* PI l))
  (log (tan (* PI l)))
  (exp (tan (* PI l)))
  (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))
  (cbrt (tan (* PI l)))
  (pow (tan (* PI l)) 3)
  (sqrt (tan (* PI l)))
  (sqrt (tan (* PI l)))
  (expm1 (* (/ 1.0 (* F F)) (tan (* PI l))))
  (log1p (* (/ 1.0 (* F F)) (tan (* PI l))))
  (* (/ 1.0 (* F F)) (tan (* PI l)))
  (log (* (/ 1.0 (* F F)) (tan (* PI l))))
  (log (* (/ 1.0 (* F F)) (tan (* PI l))))
  (log (* (/ 1.0 (* F F)) (tan (* PI l))))
  (log (* (/ 1.0 (* F F)) (tan (* PI l))))
  (exp (* (/ 1.0 (* F F)) (tan (* PI l))))
  (pow (* (/ 1.0 (* F F)) (tan (* PI l))) 3)
  (pow (* (/ 1.0 (* F F)) (tan (* PI l))) 3)
  (pow (* (/ 1.0 (* F F)) (tan (* PI l))) 3)
  (* (cbrt (* (/ 1.0 (* F F)) (tan (* PI l)))) (cbrt (* (/ 1.0 (* F F)) (tan (* PI l)))))
  (cbrt (* (/ 1.0 (* F F)) (tan (* PI l))))
  (pow (* (/ 1.0 (* F F)) (tan (* PI l))) 3)
  (sqrt (* (/ 1.0 (* F F)) (tan (* PI l))))
  (sqrt (* (/ 1.0 (* F F)) (tan (* PI l))))
  (* 1.0 (sin (* PI l)))
  (* (* F F) (cos (* PI l)))
  (* (sqrt (/ 1.0 (* F F))) (sqrt (tan (* PI l))))
  (* (sqrt (/ 1.0 (* F F))) (sqrt (tan (* PI l))))
  (* (/ (sqrt 1.0) F) (sqrt (tan (* PI l))))
  (* (/ (sqrt 1.0) F) (sqrt (tan (* PI l))))
  (* (/ 1.0 (* F F)) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))
  (* (/ 1.0 (* F F)) (sqrt (tan (* PI l))))
  (/ 1.0 (* F F))
  (* (cbrt (/ 1.0 (* F F))) (tan (* PI l)))
  (* (sqrt (/ 1.0 (* F F))) (tan (* PI l)))
  (* (/ (cbrt 1.0) F) (tan (* PI l)))
  (* (/ (sqrt 1.0) F) (tan (* PI l)))
  (* (/ 1.0 F) (tan (* PI l)))
  (* (/ 1.0 (* F F)) (tan (* PI l)))
  (/ (tan (* PI l)) (pow F 2))
  (* (/ 1.0 (* F F)) (sin (* PI l)))
  (* 1.0 (tan (* PI l)))
  (expm1 (* PI l))
  (log1p (* PI l))
  (* PI l)
  (log (* PI l))
  (log (* PI l))
  (exp (* PI l))
  (pow (* PI l) 3)
  (* (cbrt (* PI l)) (cbrt (* PI l)))
  (cbrt (* PI l))
  (pow (* PI l) 3)
  (sqrt (* PI l))
  (sqrt (* PI l))
  (* (sqrt PI) (sqrt l))
  (* (sqrt PI) (sqrt l))
  (* PI (* (cbrt l) (cbrt l)))
  (* PI (sqrt l))
  PI
  (* (cbrt PI) l)
  (* (sqrt PI) l)
  (* PI l)
  (expm1 (* PI l))
  (log1p (* PI l))
  (* PI l)
  (log (* PI l))
  (log (* PI l))
  (exp (* PI l))
  (pow (* PI l) 3)
  (* (cbrt (* PI l)) (cbrt (* PI l)))
  (cbrt (* PI l))
  (pow (* PI l) 3)
  (sqrt (* PI l))
  (sqrt (* PI l))
  (* (sqrt PI) (sqrt l))
  (* (sqrt PI) (sqrt l))
  (* PI (* (cbrt l) (cbrt l)))
  (* PI (sqrt l))
  PI
  (* (cbrt PI) l)
  (* (sqrt PI) l)
  (* PI l)
  (fma 1/3 (pow (* PI l) 3) (fma (* 2/15 (pow PI 5)) (pow l 5) (* PI l)))
  (/ (sin (* PI l)) (cos (* PI l)))
  (/ (sin (* PI l)) (cos (* PI l)))
  (fma 1.0 (/ (* PI l) (pow F 2)) (* 0.3333333333333333 (/ (* (pow PI 3) (pow l 3)) (pow F 2))))
  (* 1.0 (/ (sin (* PI l)) (* (cos (* PI l)) (pow F 2))))
  (* 1.0 (/ (sin (* PI l)) (* (cos (* PI l)) (pow F 2))))
  (* PI l)
  (* PI l)
  (* PI l)
  (* PI l)
  (* PI l)
  (* PI l)
0.771 * * * [progress]: adding candidates to table
0.990 * * [progress]: iteration 2 / 4
0.990 * * * [progress]: picking best candidate
1.034 * * * * [pick]: Picked  #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))>
1.034 * * * [progress]: localizing error
1.045 * * * [progress]: generating rewritten candidates
1.045 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2)
1.047 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
1.055 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1)
1.059 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.064 * * * [progress]: generating series expansions
1.065 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2)
1.065 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0
1.065 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
1.065 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.065 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.065 * [taylor]: Taking taylor expansion of (* PI l) in l
1.065 * [taylor]: Taking taylor expansion of PI in l
1.065 * [taylor]: Taking taylor expansion of l in l
1.066 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.066 * [taylor]: Taking taylor expansion of (* PI l) in l
1.066 * [taylor]: Taking taylor expansion of PI in l
1.066 * [taylor]: Taking taylor expansion of l in l
1.070 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
1.070 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.070 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.070 * [taylor]: Taking taylor expansion of (* PI l) in l
1.070 * [taylor]: Taking taylor expansion of PI in l
1.070 * [taylor]: Taking taylor expansion of l in l
1.071 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.071 * [taylor]: Taking taylor expansion of (* PI l) in l
1.071 * [taylor]: Taking taylor expansion of PI in l
1.071 * [taylor]: Taking taylor expansion of l in l
1.120 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0
1.120 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
1.120 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.120 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.120 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.120 * [taylor]: Taking taylor expansion of PI in l
1.120 * [taylor]: Taking taylor expansion of l in l
1.120 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.120 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.121 * [taylor]: Taking taylor expansion of PI in l
1.121 * [taylor]: Taking taylor expansion of l in l
1.121 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
1.121 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.121 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.121 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.121 * [taylor]: Taking taylor expansion of PI in l
1.121 * [taylor]: Taking taylor expansion of l in l
1.121 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.121 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.122 * [taylor]: Taking taylor expansion of PI in l
1.122 * [taylor]: Taking taylor expansion of l in l
1.124 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0
1.124 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
1.124 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.124 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.124 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.124 * [taylor]: Taking taylor expansion of -1 in l
1.124 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.124 * [taylor]: Taking taylor expansion of PI in l
1.124 * [taylor]: Taking taylor expansion of l in l
1.125 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.125 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.125 * [taylor]: Taking taylor expansion of -1 in l
1.125 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.125 * [taylor]: Taking taylor expansion of PI in l
1.125 * [taylor]: Taking taylor expansion of l in l
1.126 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
1.126 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.126 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.126 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.126 * [taylor]: Taking taylor expansion of -1 in l
1.126 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.126 * [taylor]: Taking taylor expansion of PI in l
1.126 * [taylor]: Taking taylor expansion of l in l
1.127 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.127 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.127 * [taylor]: Taking taylor expansion of -1 in l
1.127 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.127 * [taylor]: Taking taylor expansion of PI in l
1.127 * [taylor]: Taking taylor expansion of l in l
1.130 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
1.130 * [approximate]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in (F l) around 0
1.130 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in l
1.130 * [taylor]: Taking taylor expansion of 1.0 in l
1.130 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in l
1.130 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
1.130 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.130 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.130 * [taylor]: Taking taylor expansion of (* PI l) in l
1.131 * [taylor]: Taking taylor expansion of PI in l
1.131 * [taylor]: Taking taylor expansion of l in l
1.132 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.132 * [taylor]: Taking taylor expansion of (* PI l) in l
1.132 * [taylor]: Taking taylor expansion of PI in l
1.132 * [taylor]: Taking taylor expansion of l in l
1.135 * [taylor]: Taking taylor expansion of F in l
1.135 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in F
1.135 * [taylor]: Taking taylor expansion of 1.0 in F
1.135 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in F
1.135 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F
1.135 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.135 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F
1.135 * [taylor]: Taking taylor expansion of (* PI l) in F
1.135 * [taylor]: Taking taylor expansion of PI in F
1.135 * [taylor]: Taking taylor expansion of l in F
1.135 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F
1.135 * [taylor]: Taking taylor expansion of (* PI l) in F
1.135 * [taylor]: Taking taylor expansion of PI in F
1.135 * [taylor]: Taking taylor expansion of l in F
1.136 * [taylor]: Taking taylor expansion of F in F
1.136 * [taylor]: Taking taylor expansion of (* 1.0 (/ (tan (* PI l)) F)) in F
1.136 * [taylor]: Taking taylor expansion of 1.0 in F
1.136 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in F
1.136 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F
1.136 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.136 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F
1.136 * [taylor]: Taking taylor expansion of (* PI l) in F
1.136 * [taylor]: Taking taylor expansion of PI in F
1.136 * [taylor]: Taking taylor expansion of l in F
1.136 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F
1.136 * [taylor]: Taking taylor expansion of (* PI l) in F
1.136 * [taylor]: Taking taylor expansion of PI in F
1.137 * [taylor]: Taking taylor expansion of l in F
1.137 * [taylor]: Taking taylor expansion of F in F
1.137 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (* PI l)) (cos (* PI l)))) in l
1.137 * [taylor]: Taking taylor expansion of 1.0 in l
1.137 * [taylor]: Taking taylor expansion of (/ (sin (* PI l)) (cos (* PI l))) in l
1.137 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.137 * [taylor]: Taking taylor expansion of (* PI l) in l
1.138 * [taylor]: Taking taylor expansion of PI in l
1.138 * [taylor]: Taking taylor expansion of l in l
1.139 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.139 * [taylor]: Taking taylor expansion of (* PI l) in l
1.139 * [taylor]: Taking taylor expansion of PI in l
1.139 * [taylor]: Taking taylor expansion of l in l
1.148 * [taylor]: Taking taylor expansion of 0 in l
1.157 * [taylor]: Taking taylor expansion of 0 in l
1.185 * [taylor]: Taking taylor expansion of 0 in l
1.202 * [taylor]: Taking taylor expansion of 0 in l
1.203 * [approximate]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in (F l) around 0
1.203 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in l
1.204 * [taylor]: Taking taylor expansion of 1.0 in l
1.204 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in l
1.204 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
1.204 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.204 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.204 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.204 * [taylor]: Taking taylor expansion of PI in l
1.204 * [taylor]: Taking taylor expansion of l in l
1.204 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.204 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.204 * [taylor]: Taking taylor expansion of PI in l
1.204 * [taylor]: Taking taylor expansion of l in l
1.205 * [taylor]: Taking taylor expansion of F in l
1.205 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in F
1.205 * [taylor]: Taking taylor expansion of 1.0 in F
1.205 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in F
1.205 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F
1.205 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.205 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F
1.205 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.205 * [taylor]: Taking taylor expansion of PI in F
1.205 * [taylor]: Taking taylor expansion of l in F
1.205 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F
1.205 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.205 * [taylor]: Taking taylor expansion of PI in F
1.205 * [taylor]: Taking taylor expansion of l in F
1.206 * [taylor]: Taking taylor expansion of F in F
1.206 * [taylor]: Taking taylor expansion of (* 1.0 (* (tan (/ PI l)) F)) in F
1.206 * [taylor]: Taking taylor expansion of 1.0 in F
1.206 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in F
1.206 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F
1.206 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.206 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F
1.206 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.206 * [taylor]: Taking taylor expansion of PI in F
1.206 * [taylor]: Taking taylor expansion of l in F
1.206 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F
1.206 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.206 * [taylor]: Taking taylor expansion of PI in F
1.206 * [taylor]: Taking taylor expansion of l in F
1.207 * [taylor]: Taking taylor expansion of F in F
1.207 * [taylor]: Taking taylor expansion of 0 in l
1.211 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (/ PI l)) (cos (/ PI l)))) in l
1.211 * [taylor]: Taking taylor expansion of 1.0 in l
1.211 * [taylor]: Taking taylor expansion of (/ (sin (/ PI l)) (cos (/ PI l))) in l
1.212 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.212 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.212 * [taylor]: Taking taylor expansion of PI in l
1.212 * [taylor]: Taking taylor expansion of l in l
1.212 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.212 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.212 * [taylor]: Taking taylor expansion of PI in l
1.212 * [taylor]: Taking taylor expansion of l in l
1.218 * [taylor]: Taking taylor expansion of 0 in l
1.226 * [taylor]: Taking taylor expansion of 0 in l
1.227 * [approximate]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in (F l) around 0
1.227 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in l
1.227 * [taylor]: Taking taylor expansion of -1.0 in l
1.227 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in l
1.227 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
1.227 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.227 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.227 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.227 * [taylor]: Taking taylor expansion of -1 in l
1.227 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.227 * [taylor]: Taking taylor expansion of PI in l
1.227 * [taylor]: Taking taylor expansion of l in l
1.228 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.228 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.228 * [taylor]: Taking taylor expansion of -1 in l
1.228 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.228 * [taylor]: Taking taylor expansion of PI in l
1.228 * [taylor]: Taking taylor expansion of l in l
1.228 * [taylor]: Taking taylor expansion of F in l
1.228 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in F
1.228 * [taylor]: Taking taylor expansion of -1.0 in F
1.228 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in F
1.228 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F
1.229 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.229 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F
1.229 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.229 * [taylor]: Taking taylor expansion of -1 in F
1.229 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.229 * [taylor]: Taking taylor expansion of PI in F
1.229 * [taylor]: Taking taylor expansion of l in F
1.229 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F
1.229 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.229 * [taylor]: Taking taylor expansion of -1 in F
1.229 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.229 * [taylor]: Taking taylor expansion of PI in F
1.229 * [taylor]: Taking taylor expansion of l in F
1.230 * [taylor]: Taking taylor expansion of F in F
1.230 * [taylor]: Taking taylor expansion of (* -1.0 (* (tan (* -1 (/ PI l))) F)) in F
1.230 * [taylor]: Taking taylor expansion of -1.0 in F
1.230 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in F
1.230 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F
1.230 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.230 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F
1.230 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.230 * [taylor]: Taking taylor expansion of -1 in F
1.230 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.230 * [taylor]: Taking taylor expansion of PI in F
1.230 * [taylor]: Taking taylor expansion of l in F
1.230 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F
1.230 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.230 * [taylor]: Taking taylor expansion of -1 in F
1.230 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.230 * [taylor]: Taking taylor expansion of PI in F
1.230 * [taylor]: Taking taylor expansion of l in F
1.231 * [taylor]: Taking taylor expansion of F in F
1.231 * [taylor]: Taking taylor expansion of 0 in l
1.237 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))))) in l
1.237 * [taylor]: Taking taylor expansion of (* 1.0 (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))) in l
1.237 * [taylor]: Taking taylor expansion of 1.0 in l
1.237 * [taylor]: Taking taylor expansion of (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) in l
1.237 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.237 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.237 * [taylor]: Taking taylor expansion of -1 in l
1.237 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.237 * [taylor]: Taking taylor expansion of PI in l
1.237 * [taylor]: Taking taylor expansion of l in l
1.238 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.238 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.238 * [taylor]: Taking taylor expansion of -1 in l
1.238 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.238 * [taylor]: Taking taylor expansion of PI in l
1.238 * [taylor]: Taking taylor expansion of l in l
1.246 * [taylor]: Taking taylor expansion of 0 in l
1.256 * [taylor]: Taking taylor expansion of 0 in l
1.256 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1)
1.256 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0
1.256 * [taylor]: Taking taylor expansion of (* PI l) in l
1.256 * [taylor]: Taking taylor expansion of PI in l
1.256 * [taylor]: Taking taylor expansion of l in l
1.256 * [taylor]: Taking taylor expansion of (* PI l) in l
1.256 * [taylor]: Taking taylor expansion of PI in l
1.257 * [taylor]: Taking taylor expansion of l in l
1.262 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0
1.262 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.262 * [taylor]: Taking taylor expansion of PI in l
1.262 * [taylor]: Taking taylor expansion of l in l
1.263 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.263 * [taylor]: Taking taylor expansion of PI in l
1.263 * [taylor]: Taking taylor expansion of l in l
1.270 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0
1.270 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.270 * [taylor]: Taking taylor expansion of -1 in l
1.270 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.270 * [taylor]: Taking taylor expansion of PI in l
1.270 * [taylor]: Taking taylor expansion of l in l
1.270 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.270 * [taylor]: Taking taylor expansion of -1 in l
1.270 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.270 * [taylor]: Taking taylor expansion of PI in l
1.270 * [taylor]: Taking taylor expansion of l in l
1.279 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.279 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0
1.279 * [taylor]: Taking taylor expansion of (* PI l) in l
1.279 * [taylor]: Taking taylor expansion of PI in l
1.279 * [taylor]: Taking taylor expansion of l in l
1.279 * [taylor]: Taking taylor expansion of (* PI l) in l
1.279 * [taylor]: Taking taylor expansion of PI in l
1.279 * [taylor]: Taking taylor expansion of l in l
1.285 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0
1.285 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.285 * [taylor]: Taking taylor expansion of PI in l
1.285 * [taylor]: Taking taylor expansion of l in l
1.286 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.286 * [taylor]: Taking taylor expansion of PI in l
1.286 * [taylor]: Taking taylor expansion of l in l
1.290 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0
1.290 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.290 * [taylor]: Taking taylor expansion of -1 in l
1.290 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.290 * [taylor]: Taking taylor expansion of PI in l
1.290 * [taylor]: Taking taylor expansion of l in l
1.290 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.290 * [taylor]: Taking taylor expansion of -1 in l
1.290 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.290 * [taylor]: Taking taylor expansion of PI in l
1.290 * [taylor]: Taking taylor expansion of l in l
1.299 * * * [progress]: simplifying candidates
1.300 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (tan (* PI l)))
  (log1p (tan (* PI l)))
  (sin (* PI l))
  (cos (* PI l))
  (log (tan (* PI l)))
  (exp (tan (* PI l)))
  (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))
  (cbrt (tan (* PI l)))
  (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l)))
  (sqrt (tan (* PI l)))
  (sqrt (tan (* PI l)))
  (expm1 (* (/ 1.0 F) (tan (* PI l))))
  (log1p (* (/ 1.0 F) (tan (* PI l))))
  (* (/ 1.0 F) (tan (* PI l)))
  (+ (- (log 1.0) (log F)) (log (tan (* PI l))))
  (+ (log (/ 1.0 F)) (log (tan (* PI l))))
  (log (* (/ 1.0 F) (tan (* PI l))))
  (exp (* (/ 1.0 F) (tan (* PI l))))
  (* (/ (* (* 1.0 1.0) 1.0) (* (* F F) F)) (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l))))
  (* (* (* (/ 1.0 F) (/ 1.0 F)) (/ 1.0 F)) (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l))))
  (* (cbrt (* (/ 1.0 F) (tan (* PI l)))) (cbrt (* (/ 1.0 F) (tan (* PI l)))))
  (cbrt (* (/ 1.0 F) (tan (* PI l))))
  (* (* (* (/ 1.0 F) (tan (* PI l))) (* (/ 1.0 F) (tan (* PI l)))) (* (/ 1.0 F) (tan (* PI l))))
  (sqrt (* (/ 1.0 F) (tan (* PI l))))
  (sqrt (* (/ 1.0 F) (tan (* PI l))))
  (* 1.0 (sin (* PI l)))
  (* F (cos (* PI l)))
  (* (sqrt (/ 1.0 F)) (sqrt (tan (* PI l))))
  (* (sqrt (/ 1.0 F)) (sqrt (tan (* PI l))))
  (* (/ (sqrt 1.0) (sqrt F)) (sqrt (tan (* PI l))))
  (* (/ (sqrt 1.0) (sqrt F)) (sqrt (tan (* PI l))))
  (* (/ 1.0 F) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))
  (* (/ 1.0 F) (sqrt (tan (* PI l))))
  (* (/ 1.0 F) 1)
  (* (cbrt (/ 1.0 F)) (tan (* PI l)))
  (* (sqrt (/ 1.0 F)) (tan (* PI l)))
  (* (/ (cbrt 1.0) (cbrt F)) (tan (* PI l)))
  (* (/ (cbrt 1.0) (sqrt F)) (tan (* PI l)))
  (* (/ (cbrt 1.0) F) (tan (* PI l)))
  (* (/ (sqrt 1.0) (cbrt F)) (tan (* PI l)))
  (* (/ (sqrt 1.0) (sqrt F)) (tan (* PI l)))
  (* (/ (sqrt 1.0) F) (tan (* PI l)))
  (* (/ 1.0 (cbrt F)) (tan (* PI l)))
  (* (/ 1.0 (sqrt F)) (tan (* PI l)))
  (* (/ 1.0 F) (tan (* PI l)))
  (* (/ 1.0 F) (tan (* PI l)))
  (* (/ 1 F) (tan (* PI l)))
  (* (/ 1.0 F) (sin (* PI l)))
  (* 1.0 (tan (* PI l)))
  (expm1 (* PI l))
  (log1p (* PI l))
  (* PI l)
  (+ (log PI) (log l))
  (log (* PI l))
  (exp (* PI l))
  (* (* (* PI PI) PI) (* (* l l) l))
  (* (cbrt (* PI l)) (cbrt (* PI l)))
  (cbrt (* PI l))
  (* (* (* PI l) (* PI l)) (* PI l))
  (sqrt (* PI l))
  (sqrt (* PI l))
  (* (sqrt PI) (sqrt l))
  (* (sqrt PI) (sqrt l))
  (* PI (* (cbrt l) (cbrt l)))
  (* PI (sqrt l))
  (* PI 1)
  (* (cbrt PI) l)
  (* (sqrt PI) l)
  (* PI l)
  (expm1 (* PI l))
  (log1p (* PI l))
  (* PI l)
  (+ (log PI) (log l))
  (log (* PI l))
  (exp (* PI l))
  (* (* (* PI PI) PI) (* (* l l) l))
  (* (cbrt (* PI l)) (cbrt (* PI l)))
  (cbrt (* PI l))
  (* (* (* PI l) (* PI l)) (* PI l))
  (sqrt (* PI l))
  (sqrt (* PI l))
  (* (sqrt PI) (sqrt l))
  (* (sqrt PI) (sqrt l))
  (* PI (* (cbrt l) (cbrt l)))
  (* PI (sqrt l))
  (* PI 1)
  (* (cbrt PI) l)
  (* (sqrt PI) l)
  (* PI l)
  (+ (* 2/15 (* (pow PI 5) (pow l 5))) (+ (* PI l) (* 1/3 (* (pow PI 3) (pow l 3)))))
  (/ (sin (* PI l)) (cos (* PI l)))
  (/ (sin (* PI l)) (cos (* PI l)))
  (+ (* 1.0 (/ (* PI l) F)) (* 0.3333333333333333 (/ (* (pow PI 3) (pow l 3)) F)))
  (* 1.0 (/ (sin (* PI l)) (* (cos (* PI l)) F)))
  (* 1.0 (/ (sin (* PI l)) (* (cos (* PI l)) F)))
  (* PI l)
  (* PI l)
  (* PI l)
  (* PI l)
  (* PI l)
  (* PI l)
1.305 * * [simplify]: iteration  0 :  286  enodes  (cost  403 )
1.310 * * [simplify]: iteration  1 :  1032  enodes  (cost  363 )
1.328 * * [simplify]: iteration  2 :  3928  enodes  (cost  361 )
1.385 * * [simplify]: iteration  3 :  5001  enodes  (cost  360 )
1.388 * [simplify]: Simplified to:
   (expm1 (tan (* PI l)))
  (log1p (tan (* PI l)))
  (sin (* PI l))
  (cos (* PI l))
  (log (tan (* PI l)))
  (exp (tan (* PI l)))
  (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))
  (cbrt (tan (* PI l)))
  (pow (tan (* PI l)) 3)
  (sqrt (tan (* PI l)))
  (sqrt (tan (* PI l)))
  (expm1 (* (/ 1.0 F) (tan (* PI l))))
  (log1p (* (/ 1.0 F) (tan (* PI l))))
  (* (/ 1.0 F) (tan (* PI l)))
  (log (* (/ 1.0 F) (tan (* PI l))))
  (log (* (/ 1.0 F) (tan (* PI l))))
  (log (* (/ 1.0 F) (tan (* PI l))))
  (exp (* (/ 1.0 F) (tan (* PI l))))
  (pow (* (/ 1.0 F) (tan (* PI l))) 3)
  (pow (* (/ 1.0 F) (tan (* PI l))) 3)
  (* (cbrt (* (/ 1.0 F) (tan (* PI l)))) (cbrt (* (/ 1.0 F) (tan (* PI l)))))
  (cbrt (* (/ 1.0 F) (tan (* PI l))))
  (pow (* (/ 1.0 F) (tan (* PI l))) 3)
  (sqrt (* (/ 1.0 F) (tan (* PI l))))
  (sqrt (* (/ 1.0 F) (tan (* PI l))))
  (* 1.0 (sin (* PI l)))
  (* F (cos (* PI l)))
  (* (sqrt (/ 1.0 F)) (sqrt (tan (* PI l))))
  (* (sqrt (/ 1.0 F)) (sqrt (tan (* PI l))))
  (* (/ (sqrt 1.0) (sqrt F)) (sqrt (tan (* PI l))))
  (* (/ (sqrt 1.0) (sqrt F)) (sqrt (tan (* PI l))))
  (* (/ 1.0 F) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))
  (* (/ 1.0 F) (sqrt (tan (* PI l))))
  (/ 1.0 F)
  (* (cbrt (/ 1.0 F)) (tan (* PI l)))
  (* (sqrt (/ 1.0 F)) (tan (* PI l)))
  (* (/ (cbrt 1.0) (cbrt F)) (tan (* PI l)))
  (* (/ (cbrt 1.0) (sqrt F)) (tan (* PI l)))
  (* (/ (cbrt 1.0) F) (tan (* PI l)))
  (* (/ (sqrt 1.0) (cbrt F)) (tan (* PI l)))
  (* (/ (sqrt 1.0) (sqrt F)) (tan (* PI l)))
  (* (/ (sqrt 1.0) F) (tan (* PI l)))
  (* (/ 1.0 (cbrt F)) (tan (* PI l)))
  (* (/ 1.0 (sqrt F)) (tan (* PI l)))
  (* (/ 1.0 F) (tan (* PI l)))
  (* (/ 1.0 F) (tan (* PI l)))
  (/ (tan (* PI l)) F)
  (* (/ 1.0 F) (sin (* PI l)))
  (* 1.0 (tan (* PI l)))
  (expm1 (* PI l))
  (log1p (* PI l))
  (* PI l)
  (log (* PI l))
  (log (* PI l))
  (exp (* PI l))
  (pow (* PI l) 3)
  (* (cbrt (* PI l)) (cbrt (* PI l)))
  (cbrt (* PI l))
  (pow (* PI l) 3)
  (sqrt (* PI l))
  (sqrt (* PI l))
  (* (sqrt PI) (sqrt l))
  (* (sqrt PI) (sqrt l))
  (* PI (* (cbrt l) (cbrt l)))
  (* PI (sqrt l))
  PI
  (* (cbrt PI) l)
  (* (sqrt PI) l)
  (* PI l)
  (expm1 (* PI l))
  (log1p (* PI l))
  (* PI l)
  (log (* PI l))
  (log (* PI l))
  (exp (* PI l))
  (pow (* PI l) 3)
  (* (cbrt (* PI l)) (cbrt (* PI l)))
  (cbrt (* PI l))
  (pow (* PI l) 3)
  (sqrt (* PI l))
  (sqrt (* PI l))
  (* (sqrt PI) (sqrt l))
  (* (sqrt PI) (sqrt l))
  (* PI (* (cbrt l) (cbrt l)))
  (* PI (sqrt l))
  PI
  (* (cbrt PI) l)
  (* (sqrt PI) l)
  (* PI l)
  (fma 1/3 (pow (* PI l) 3) (fma (* 2/15 (pow PI 5)) (pow l 5) (* PI l)))
  (/ (sin (* PI l)) (cos (* PI l)))
  (/ (sin (* PI l)) (cos (* PI l)))
  (fma (* 1.0 (/ PI F)) l (/ (pow (* PI l) 3) (/ F 0.3333333333333333)))
  (* 1.0 (/ (sin (* PI l)) (* (cos (* PI l)) F)))
  (* 1.0 (/ (sin (* PI l)) (* (cos (* PI l)) F)))
  (* PI l)
  (* PI l)
  (* PI l)
  (* PI l)
  (* PI l)
  (* PI l)
1.388 * * * [progress]: adding candidates to table
1.632 * * [progress]: iteration 3 / 4
1.632 * * * [progress]: picking best candidate
1.680 * * * * [pick]: Picked  #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* (sqrt PI) (* (sqrt PI) l)))))))>
1.680 * * * [progress]: localizing error
1.694 * * * [progress]: generating rewritten candidates
1.694 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2)
1.697 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 1)
1.699 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 1)
1.700 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1)
1.709 * * * [progress]: generating series expansions
1.709 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2)
1.710 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0
1.710 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
1.710 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.710 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.710 * [taylor]: Taking taylor expansion of (* PI l) in l
1.710 * [taylor]: Taking taylor expansion of PI in l
1.710 * [taylor]: Taking taylor expansion of l in l
1.711 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.711 * [taylor]: Taking taylor expansion of (* PI l) in l
1.711 * [taylor]: Taking taylor expansion of PI in l
1.711 * [taylor]: Taking taylor expansion of l in l
1.715 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
1.715 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.715 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.715 * [taylor]: Taking taylor expansion of (* PI l) in l
1.715 * [taylor]: Taking taylor expansion of PI in l
1.715 * [taylor]: Taking taylor expansion of l in l
1.716 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.716 * [taylor]: Taking taylor expansion of (* PI l) in l
1.716 * [taylor]: Taking taylor expansion of PI in l
1.716 * [taylor]: Taking taylor expansion of l in l
1.765 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0
1.765 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
1.765 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.765 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.765 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.765 * [taylor]: Taking taylor expansion of PI in l
1.765 * [taylor]: Taking taylor expansion of l in l
1.766 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.766 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.766 * [taylor]: Taking taylor expansion of PI in l
1.766 * [taylor]: Taking taylor expansion of l in l
1.766 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
1.766 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.766 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.766 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.766 * [taylor]: Taking taylor expansion of PI in l
1.766 * [taylor]: Taking taylor expansion of l in l
1.767 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.767 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.767 * [taylor]: Taking taylor expansion of PI in l
1.767 * [taylor]: Taking taylor expansion of l in l
1.770 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0
1.770 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
1.770 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.770 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.770 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.770 * [taylor]: Taking taylor expansion of -1 in l
1.770 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.770 * [taylor]: Taking taylor expansion of PI in l
1.770 * [taylor]: Taking taylor expansion of l in l
1.771 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.771 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.771 * [taylor]: Taking taylor expansion of -1 in l
1.771 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.771 * [taylor]: Taking taylor expansion of PI in l
1.771 * [taylor]: Taking taylor expansion of l in l
1.772 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
1.772 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.772 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.772 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.772 * [taylor]: Taking taylor expansion of -1 in l
1.772 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.772 * [taylor]: Taking taylor expansion of PI in l
1.772 * [taylor]: Taking taylor expansion of l in l
1.773 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.773 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.773 * [taylor]: Taking taylor expansion of -1 in l
1.773 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.773 * [taylor]: Taking taylor expansion of PI in l
1.773 * [taylor]: Taking taylor expansion of l in l
1.776 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 1)
1.776 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 1)
1.776 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1)
1.777 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0
1.777 * [taylor]: Taking taylor expansion of (* PI l) in l
1.777 * [taylor]: Taking taylor expansion of PI in l
1.777 * [taylor]: Taking taylor expansion of l in l
1.777 * [taylor]: Taking taylor expansion of (* PI l) in l
1.777 * [taylor]: Taking taylor expansion of PI in l
1.777 * [taylor]: Taking taylor expansion of l in l
1.783 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0
1.783 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.784 * [taylor]: Taking taylor expansion of PI in l
1.784 * [taylor]: Taking taylor expansion of l in l
1.784 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.784 * [taylor]: Taking taylor expansion of PI in l
1.784 * [taylor]: Taking taylor expansion of l in l
1.789 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0
1.789 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.789 * [taylor]: Taking taylor expansion of -1 in l
1.789 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.789 * [taylor]: Taking taylor expansion of PI in l
1.789 * [taylor]: Taking taylor expansion of l in l
1.789 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.789 * [taylor]: Taking taylor expansion of -1 in l
1.789 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.789 * [taylor]: Taking taylor expansion of PI in l
1.789 * [taylor]: Taking taylor expansion of l in l
1.798 * * * [progress]: simplifying candidates
1.799 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (tan (* (sqrt PI) (* (sqrt PI) l))))
  (log1p (tan (* (sqrt PI) (* (sqrt PI) l))))
  (sin (* (sqrt PI) (* (sqrt PI) l)))
  (cos (* (sqrt PI) (* (sqrt PI) l)))
  (log (tan (* (sqrt PI) (* (sqrt PI) l))))
  (exp (tan (* (sqrt PI) (* (sqrt PI) l))))
  (* (cbrt (tan (* (sqrt PI) (* (sqrt PI) l)))) (cbrt (tan (* (sqrt PI) (* (sqrt PI) l)))))
  (cbrt (tan (* (sqrt PI) (* (sqrt PI) l))))
  (* (* (tan (* (sqrt PI) (* (sqrt PI) l))) (tan (* (sqrt PI) (* (sqrt PI) l)))) (tan (* (sqrt PI) (* (sqrt PI) l))))
  (sqrt (tan (* (sqrt PI) (* (sqrt PI) l))))
  (sqrt (tan (* (sqrt PI) (* (sqrt PI) l))))
  (expm1 (sqrt PI))
  (log1p (sqrt PI))
  (log (sqrt PI))
  (exp (sqrt PI))
  (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))
  (cbrt (sqrt PI))
  (* (* (sqrt PI) (sqrt PI)) (sqrt PI))
  (sqrt (* (cbrt PI) (cbrt PI)))
  (sqrt (cbrt PI))
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (sqrt 1)
  (sqrt PI)
  (/ 1 2)
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (expm1 (sqrt PI))
  (log1p (sqrt PI))
  (log (sqrt PI))
  (exp (sqrt PI))
  (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))
  (cbrt (sqrt PI))
  (* (* (sqrt PI) (sqrt PI)) (sqrt PI))
  (sqrt (* (cbrt PI) (cbrt PI)))
  (sqrt (cbrt PI))
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (sqrt 1)
  (sqrt PI)
  (/ 1 2)
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (expm1 (* (sqrt PI) (* (sqrt PI) l)))
  (log1p (* (sqrt PI) (* (sqrt PI) l)))
  (* (sqrt PI) (* (sqrt PI) l))
  (* (sqrt PI) (* (sqrt PI) l))
  (+ (log (sqrt PI)) (+ (log (sqrt PI)) (log l)))
  (+ (log (sqrt PI)) (log (* (sqrt PI) l)))
  (log (* (sqrt PI) (* (sqrt PI) l)))
  (exp (* (sqrt PI) (* (sqrt PI) l)))
  (* (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (* (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (* (* l l) l)))
  (* (* (* (sqrt PI) (sqrt PI)) (sqrt PI)) (* (* (* (sqrt PI) l) (* (sqrt PI) l)) (* (sqrt PI) l)))
  (* (cbrt (* (sqrt PI) (* (sqrt PI) l))) (cbrt (* (sqrt PI) (* (sqrt PI) l))))
  (cbrt (* (sqrt PI) (* (sqrt PI) l)))
  (* (* (* (sqrt PI) (* (sqrt PI) l)) (* (sqrt PI) (* (sqrt PI) l))) (* (sqrt PI) (* (sqrt PI) l)))
  (sqrt (* (sqrt PI) (* (sqrt PI) l)))
  (sqrt (* (sqrt PI) (* (sqrt PI) l)))
  (* (sqrt PI) (sqrt PI))
  (* (cbrt (sqrt PI)) (* (sqrt PI) l))
  (* (sqrt (cbrt PI)) (* (sqrt PI) l))
  (* (sqrt (sqrt PI)) (* (sqrt PI) l))
  (* (sqrt PI) (* (sqrt PI) l))
  (* (sqrt (sqrt PI)) (* (sqrt PI) l))
  (* (sqrt PI) (* (sqrt PI) l))
  (+ (* 2/15 (* (pow PI 5) (pow l 5))) (+ (* PI l) (* 1/3 (* (pow PI 3) (pow l 3)))))
  (/ (sin (* PI l)) (cos (* PI l)))
  (/ (sin (* PI l)) (cos (* PI l)))
  (* (sqrt PI) l)
  (* (sqrt PI) l)
  (* PI l)
  (* PI l)
  (* PI l)
1.803 * * [simplify]: iteration  0 :  158  enodes  (cost  264 )
1.806 * * [simplify]: iteration  1 :  501  enodes  (cost  230 )
1.816 * * [simplify]: iteration  2 :  1518  enodes  (cost  229 )
1.845 * * [simplify]: iteration  3 :  5001  enodes  (cost  229 )
1.847 * [simplify]: Simplified to:
   (expm1 (tan (* (sqrt PI) (* (sqrt PI) l))))
  (log1p (tan (* (sqrt PI) (* (sqrt PI) l))))
  (sin (* PI l))
  (cos (* PI l))
  (log (tan (* (sqrt PI) (* (sqrt PI) l))))
  (exp (tan (* (sqrt PI) (* (sqrt PI) l))))
  (* (cbrt (tan (* (sqrt PI) (* (sqrt PI) l)))) (cbrt (tan (* (sqrt PI) (* (sqrt PI) l)))))
  (cbrt (tan (* (sqrt PI) (* (sqrt PI) l))))
  (pow (tan (* (sqrt PI) (* (sqrt PI) l))) 3)
  (sqrt (tan (* (sqrt PI) (* (sqrt PI) l))))
  (sqrt (tan (* (sqrt PI) (* (sqrt PI) l))))
  (expm1 (sqrt PI))
  (log1p (sqrt PI))
  (log (sqrt PI))
  (exp (sqrt PI))
  (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))
  (cbrt (sqrt PI))
  (* (sqrt PI) PI)
  (fabs (cbrt PI))
  (sqrt (cbrt PI))
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (sqrt 1)
  (sqrt PI)
  1/2
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (expm1 (sqrt PI))
  (log1p (sqrt PI))
  (log (sqrt PI))
  (exp (sqrt PI))
  (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))
  (cbrt (sqrt PI))
  (* (sqrt PI) PI)
  (fabs (cbrt PI))
  (sqrt (cbrt PI))
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (sqrt 1)
  (sqrt PI)
  1/2
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (expm1 (* (sqrt PI) (* (sqrt PI) l)))
  (log1p (* (sqrt PI) (* (sqrt PI) l)))
  (* PI l)
  (* PI l)
  (+ (log PI) (log l))
  (+ (log PI) (log l))
  (+ (log PI) (log l))
  (pow (exp PI) l)
  (pow (* PI l) 3)
  (pow (* PI l) 3)
  (* (cbrt (* (sqrt PI) (* (sqrt PI) l))) (cbrt (* (sqrt PI) (* (sqrt PI) l))))
  (cbrt (* (sqrt PI) (* (sqrt PI) l)))
  (pow (* PI l) 3)
  (sqrt (* (sqrt PI) (* (sqrt PI) l)))
  (sqrt (* (sqrt PI) (* (sqrt PI) l)))
  PI
  (* (cbrt (sqrt PI)) (* (sqrt PI) l))
  (* (sqrt (cbrt PI)) (* (sqrt PI) l))
  (* (sqrt (sqrt PI)) (* (sqrt PI) l))
  (* PI l)
  (* (sqrt (sqrt PI)) (* (sqrt PI) l))
  (* PI l)
  (fma (* 2/15 (pow l 5)) (pow PI 5) (fma 1/3 (pow (* PI l) 3) (* PI l)))
  (/ (sin (* PI l)) (cos (* PI l)))
  (/ (sin (* PI l)) (cos (* PI l)))
  (* (sqrt PI) l)
  (* (sqrt PI) l)
  (* PI l)
  (* PI l)
  (* PI l)
1.847 * * * [progress]: adding candidates to table
2.049 * * [progress]: iteration 4 / 4
2.049 * * * [progress]: picking best candidate
2.095 * * * * [pick]: Picked  #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l)))))))>
2.095 * * * [progress]: localizing error
2.113 * * * [progress]: generating rewritten candidates
2.113 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2)
2.116 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 1)
2.117 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 2 1 1 1)
2.119 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 1)
2.121 * * * [progress]: generating series expansions
2.121 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2)
2.123 * [approximate]: Taking taylor expansion of (tan (* (* (expm1 (log1p (sqrt PI))) l) (sqrt PI))) in (l) around 0
2.123 * [taylor]: Taking taylor expansion of (tan (* (* (expm1 (log1p (sqrt PI))) l) (sqrt PI))) in l
2.123 * [taylor]: Rewrote expression to (/ (sin (* (* (expm1 (log1p (sqrt PI))) l) (sqrt PI))) (cos (* (* (expm1 (log1p (sqrt PI))) l) (sqrt PI))))
2.123 * [taylor]: Taking taylor expansion of (sin (* (* (expm1 (log1p (sqrt PI))) l) (sqrt PI))) in l
2.123 * [taylor]: Taking taylor expansion of (* (* (expm1 (log1p (sqrt PI))) l) (sqrt PI)) in l
2.123 * [taylor]: Taking taylor expansion of (* (expm1 (log1p (sqrt PI))) l) in l
2.123 * [taylor]: Taking taylor expansion of (expm1 (log1p (sqrt PI))) in l
2.123 * [taylor]: Rewrote expression to (- (exp (log1p (sqrt PI))) 1)
2.123 * [taylor]: Taking taylor expansion of (exp (log1p (sqrt PI))) in l
2.123 * [taylor]: Taking taylor expansion of (log1p (sqrt PI)) in l
2.123 * [taylor]: Rewrote expression to (log (+ 1 (sqrt PI)))
2.123 * [taylor]: Taking taylor expansion of (+ 1 (sqrt PI)) in l
2.123 * [taylor]: Taking taylor expansion of 1 in l
2.123 * [taylor]: Taking taylor expansion of (sqrt PI) in l
2.123 * [taylor]: Taking taylor expansion of PI in l
2.127 * [taylor]: Taking taylor expansion of 1 in l
2.127 * [taylor]: Taking taylor expansion of l in l
2.127 * [taylor]: Taking taylor expansion of (sqrt PI) in l
2.127 * [taylor]: Taking taylor expansion of PI in l
2.136 * [taylor]: Taking taylor expansion of (cos (* (* (expm1 (log1p (sqrt PI))) l) (sqrt PI))) in l
2.136 * [taylor]: Taking taylor expansion of (* (* (expm1 (log1p (sqrt PI))) l) (sqrt PI)) in l
2.136 * [taylor]: Taking taylor expansion of (* (expm1 (log1p (sqrt PI))) l) in l
2.136 * [taylor]: Taking taylor expansion of (expm1 (log1p (sqrt PI))) in l
2.136 * [taylor]: Rewrote expression to (- (exp (log1p (sqrt PI))) 1)
2.136 * [taylor]: Taking taylor expansion of (exp (log1p (sqrt PI))) in l
2.136 * [taylor]: Taking taylor expansion of (log1p (sqrt PI)) in l
2.136 * [taylor]: Rewrote expression to (log (+ 1 (sqrt PI)))
2.136 * [taylor]: Taking taylor expansion of (+ 1 (sqrt PI)) in l
2.136 * [taylor]: Taking taylor expansion of 1 in l
2.136 * [taylor]: Taking taylor expansion of (sqrt PI) in l
2.136 * [taylor]: Taking taylor expansion of PI in l
2.140 * [taylor]: Taking taylor expansion of 1 in l
2.140 * [taylor]: Taking taylor expansion of l in l
2.140 * [taylor]: Taking taylor expansion of (sqrt PI) in l
2.140 * [taylor]: Taking taylor expansion of PI in l
2.150 * [taylor]: Taking taylor expansion of (tan (* (* (expm1 (log1p (sqrt PI))) l) (sqrt PI))) in l
2.150 * [taylor]: Rewrote expression to (/ (sin (* (* (expm1 (log1p (sqrt PI))) l) (sqrt PI))) (cos (* (* (expm1 (log1p (sqrt PI))) l) (sqrt PI))))
2.150 * [taylor]: Taking taylor expansion of (sin (* (* (expm1 (log1p (sqrt PI))) l) (sqrt PI))) in l
2.150 * [taylor]: Taking taylor expansion of (* (* (expm1 (log1p (sqrt PI))) l) (sqrt PI)) in l
2.150 * [taylor]: Taking taylor expansion of (* (expm1 (log1p (sqrt PI))) l) in l
2.150 * [taylor]: Taking taylor expansion of (expm1 (log1p (sqrt PI))) in l
2.150 * [taylor]: Rewrote expression to (- (exp (log1p (sqrt PI))) 1)
2.150 * [taylor]: Taking taylor expansion of (exp (log1p (sqrt PI))) in l
2.150 * [taylor]: Taking taylor expansion of (log1p (sqrt PI)) in l
2.150 * [taylor]: Rewrote expression to (log (+ 1 (sqrt PI)))
2.150 * [taylor]: Taking taylor expansion of (+ 1 (sqrt PI)) in l
2.150 * [taylor]: Taking taylor expansion of 1 in l
2.150 * [taylor]: Taking taylor expansion of (sqrt PI) in l
2.150 * [taylor]: Taking taylor expansion of PI in l
2.154 * [taylor]: Taking taylor expansion of 1 in l
2.154 * [taylor]: Taking taylor expansion of l in l
2.154 * [taylor]: Taking taylor expansion of (sqrt PI) in l
2.154 * [taylor]: Taking taylor expansion of PI in l
2.162 * [taylor]: Taking taylor expansion of (cos (* (* (expm1 (log1p (sqrt PI))) l) (sqrt PI))) in l
2.162 * [taylor]: Taking taylor expansion of (* (* (expm1 (log1p (sqrt PI))) l) (sqrt PI)) in l
2.162 * [taylor]: Taking taylor expansion of (* (expm1 (log1p (sqrt PI))) l) in l
2.162 * [taylor]: Taking taylor expansion of (expm1 (log1p (sqrt PI))) in l
2.162 * [taylor]: Rewrote expression to (- (exp (log1p (sqrt PI))) 1)
2.162 * [taylor]: Taking taylor expansion of (exp (log1p (sqrt PI))) in l
2.162 * [taylor]: Taking taylor expansion of (log1p (sqrt PI)) in l
2.162 * [taylor]: Rewrote expression to (log (+ 1 (sqrt PI)))
2.162 * [taylor]: Taking taylor expansion of (+ 1 (sqrt PI)) in l
2.162 * [taylor]: Taking taylor expansion of 1 in l
2.162 * [taylor]: Taking taylor expansion of (sqrt PI) in l
2.162 * [taylor]: Taking taylor expansion of PI in l
2.166 * [taylor]: Taking taylor expansion of 1 in l
2.166 * [taylor]: Taking taylor expansion of l in l
2.166 * [taylor]: Taking taylor expansion of (sqrt PI) in l
2.166 * [taylor]: Taking taylor expansion of PI in l
2.277 * [approximate]: Taking taylor expansion of (tan (* (/ (expm1 (log1p (sqrt PI))) l) (sqrt PI))) in (l) around 0
2.277 * [taylor]: Taking taylor expansion of (tan (* (/ (expm1 (log1p (sqrt PI))) l) (sqrt PI))) in l
2.278 * [taylor]: Rewrote expression to (/ (sin (* (/ (expm1 (log1p (sqrt PI))) l) (sqrt PI))) (cos (* (/ (expm1 (log1p (sqrt PI))) l) (sqrt PI))))
2.278 * [taylor]: Taking taylor expansion of (sin (* (/ (expm1 (log1p (sqrt PI))) l) (sqrt PI))) in l
2.278 * [taylor]: Taking taylor expansion of (* (/ (expm1 (log1p (sqrt PI))) l) (sqrt PI)) in l
2.278 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (sqrt PI))) l) in l
2.278 * [taylor]: Taking taylor expansion of (expm1 (log1p (sqrt PI))) in l
2.278 * [taylor]: Rewrote expression to (- (exp (log1p (sqrt PI))) 1)
2.278 * [taylor]: Taking taylor expansion of (exp (log1p (sqrt PI))) in l
2.278 * [taylor]: Taking taylor expansion of (log1p (sqrt PI)) in l
2.278 * [taylor]: Rewrote expression to (log (+ 1 (sqrt PI)))
2.278 * [taylor]: Taking taylor expansion of (+ 1 (sqrt PI)) in l
2.278 * [taylor]: Taking taylor expansion of 1 in l
2.278 * [taylor]: Taking taylor expansion of (sqrt PI) in l
2.278 * [taylor]: Taking taylor expansion of PI in l
2.282 * [taylor]: Taking taylor expansion of 1 in l
2.282 * [taylor]: Taking taylor expansion of l in l
2.284 * [taylor]: Taking taylor expansion of (sqrt PI) in l
2.284 * [taylor]: Taking taylor expansion of PI in l
2.286 * [taylor]: Taking taylor expansion of (cos (* (/ (expm1 (log1p (sqrt PI))) l) (sqrt PI))) in l
2.287 * [taylor]: Taking taylor expansion of (* (/ (expm1 (log1p (sqrt PI))) l) (sqrt PI)) in l
2.287 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (sqrt PI))) l) in l
2.287 * [taylor]: Taking taylor expansion of (expm1 (log1p (sqrt PI))) in l
2.287 * [taylor]: Rewrote expression to (- (exp (log1p (sqrt PI))) 1)
2.287 * [taylor]: Taking taylor expansion of (exp (log1p (sqrt PI))) in l
2.287 * [taylor]: Taking taylor expansion of (log1p (sqrt PI)) in l
2.287 * [taylor]: Rewrote expression to (log (+ 1 (sqrt PI)))
2.287 * [taylor]: Taking taylor expansion of (+ 1 (sqrt PI)) in l
2.287 * [taylor]: Taking taylor expansion of 1 in l
2.287 * [taylor]: Taking taylor expansion of (sqrt PI) in l
2.287 * [taylor]: Taking taylor expansion of PI in l
2.291 * [taylor]: Taking taylor expansion of 1 in l
2.291 * [taylor]: Taking taylor expansion of l in l
2.293 * [taylor]: Taking taylor expansion of (sqrt PI) in l
2.293 * [taylor]: Taking taylor expansion of PI in l
2.298 * [taylor]: Taking taylor expansion of (tan (* (/ (expm1 (log1p (sqrt PI))) l) (sqrt PI))) in l
2.299 * [taylor]: Rewrote expression to (/ (sin (* (/ (expm1 (log1p (sqrt PI))) l) (sqrt PI))) (cos (* (/ (expm1 (log1p (sqrt PI))) l) (sqrt PI))))
2.299 * [taylor]: Taking taylor expansion of (sin (* (/ (expm1 (log1p (sqrt PI))) l) (sqrt PI))) in l
2.299 * [taylor]: Taking taylor expansion of (* (/ (expm1 (log1p (sqrt PI))) l) (sqrt PI)) in l
2.299 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (sqrt PI))) l) in l
2.299 * [taylor]: Taking taylor expansion of (expm1 (log1p (sqrt PI))) in l
2.299 * [taylor]: Rewrote expression to (- (exp (log1p (sqrt PI))) 1)
2.299 * [taylor]: Taking taylor expansion of (exp (log1p (sqrt PI))) in l
2.299 * [taylor]: Taking taylor expansion of (log1p (sqrt PI)) in l
2.299 * [taylor]: Rewrote expression to (log (+ 1 (sqrt PI)))
2.299 * [taylor]: Taking taylor expansion of (+ 1 (sqrt PI)) in l
2.299 * [taylor]: Taking taylor expansion of 1 in l
2.299 * [taylor]: Taking taylor expansion of (sqrt PI) in l
2.299 * [taylor]: Taking taylor expansion of PI in l
2.303 * [taylor]: Taking taylor expansion of 1 in l
2.303 * [taylor]: Taking taylor expansion of l in l
2.305 * [taylor]: Taking taylor expansion of (sqrt PI) in l
2.305 * [taylor]: Taking taylor expansion of PI in l
2.308 * [taylor]: Taking taylor expansion of (cos (* (/ (expm1 (log1p (sqrt PI))) l) (sqrt PI))) in l
2.308 * [taylor]: Taking taylor expansion of (* (/ (expm1 (log1p (sqrt PI))) l) (sqrt PI)) in l
2.308 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (sqrt PI))) l) in l
2.308 * [taylor]: Taking taylor expansion of (expm1 (log1p (sqrt PI))) in l
2.308 * [taylor]: Rewrote expression to (- (exp (log1p (sqrt PI))) 1)
2.308 * [taylor]: Taking taylor expansion of (exp (log1p (sqrt PI))) in l
2.308 * [taylor]: Taking taylor expansion of (log1p (sqrt PI)) in l
2.308 * [taylor]: Rewrote expression to (log (+ 1 (sqrt PI)))
2.308 * [taylor]: Taking taylor expansion of (+ 1 (sqrt PI)) in l
2.308 * [taylor]: Taking taylor expansion of 1 in l
2.308 * [taylor]: Taking taylor expansion of (sqrt PI) in l
2.308 * [taylor]: Taking taylor expansion of PI in l
2.312 * [taylor]: Taking taylor expansion of 1 in l
2.312 * [taylor]: Taking taylor expansion of l in l
2.314 * [taylor]: Taking taylor expansion of (sqrt PI) in l
2.314 * [taylor]: Taking taylor expansion of PI in l
2.381 * [approximate]: Taking taylor expansion of (tan (* -1 (* (/ (expm1 (log1p (sqrt PI))) l) (sqrt PI)))) in (l) around 0
2.381 * [taylor]: Taking taylor expansion of (tan (* -1 (* (/ (expm1 (log1p (sqrt PI))) l) (sqrt PI)))) in l
2.381 * [taylor]: Rewrote expression to (/ (sin (* -1 (* (/ (expm1 (log1p (sqrt PI))) l) (sqrt PI)))) (cos (* -1 (* (/ (expm1 (log1p (sqrt PI))) l) (sqrt PI)))))
2.381 * [taylor]: Taking taylor expansion of (sin (* -1 (* (/ (expm1 (log1p (sqrt PI))) l) (sqrt PI)))) in l
2.381 * [taylor]: Taking taylor expansion of (* -1 (* (/ (expm1 (log1p (sqrt PI))) l) (sqrt PI))) in l
2.381 * [taylor]: Taking taylor expansion of -1 in l
2.381 * [taylor]: Taking taylor expansion of (* (/ (expm1 (log1p (sqrt PI))) l) (sqrt PI)) in l
2.381 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (sqrt PI))) l) in l
2.381 * [taylor]: Taking taylor expansion of (expm1 (log1p (sqrt PI))) in l
2.381 * [taylor]: Rewrote expression to (- (exp (log1p (sqrt PI))) 1)
2.381 * [taylor]: Taking taylor expansion of (exp (log1p (sqrt PI))) in l
2.381 * [taylor]: Taking taylor expansion of (log1p (sqrt PI)) in l
2.381 * [taylor]: Rewrote expression to (log (+ 1 (sqrt PI)))
2.381 * [taylor]: Taking taylor expansion of (+ 1 (sqrt PI)) in l
2.381 * [taylor]: Taking taylor expansion of 1 in l
2.381 * [taylor]: Taking taylor expansion of (sqrt PI) in l
2.381 * [taylor]: Taking taylor expansion of PI in l
2.385 * [taylor]: Taking taylor expansion of 1 in l
2.385 * [taylor]: Taking taylor expansion of l in l
2.387 * [taylor]: Taking taylor expansion of (sqrt PI) in l
2.387 * [taylor]: Taking taylor expansion of PI in l
2.390 * [taylor]: Taking taylor expansion of (cos (* -1 (* (/ (expm1 (log1p (sqrt PI))) l) (sqrt PI)))) in l
2.390 * [taylor]: Taking taylor expansion of (* -1 (* (/ (expm1 (log1p (sqrt PI))) l) (sqrt PI))) in l
2.390 * [taylor]: Taking taylor expansion of -1 in l
2.390 * [taylor]: Taking taylor expansion of (* (/ (expm1 (log1p (sqrt PI))) l) (sqrt PI)) in l
2.390 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (sqrt PI))) l) in l
2.390 * [taylor]: Taking taylor expansion of (expm1 (log1p (sqrt PI))) in l
2.390 * [taylor]: Rewrote expression to (- (exp (log1p (sqrt PI))) 1)
2.390 * [taylor]: Taking taylor expansion of (exp (log1p (sqrt PI))) in l
2.390 * [taylor]: Taking taylor expansion of (log1p (sqrt PI)) in l
2.390 * [taylor]: Rewrote expression to (log (+ 1 (sqrt PI)))
2.390 * [taylor]: Taking taylor expansion of (+ 1 (sqrt PI)) in l
2.390 * [taylor]: Taking taylor expansion of 1 in l
2.391 * [taylor]: Taking taylor expansion of (sqrt PI) in l
2.391 * [taylor]: Taking taylor expansion of PI in l
2.394 * [taylor]: Taking taylor expansion of 1 in l
2.394 * [taylor]: Taking taylor expansion of l in l
2.396 * [taylor]: Taking taylor expansion of (sqrt PI) in l
2.396 * [taylor]: Taking taylor expansion of PI in l
2.402 * [taylor]: Taking taylor expansion of (tan (* -1 (* (/ (expm1 (log1p (sqrt PI))) l) (sqrt PI)))) in l
2.402 * [taylor]: Rewrote expression to (/ (sin (* -1 (* (/ (expm1 (log1p (sqrt PI))) l) (sqrt PI)))) (cos (* -1 (* (/ (expm1 (log1p (sqrt PI))) l) (sqrt PI)))))
2.402 * [taylor]: Taking taylor expansion of (sin (* -1 (* (/ (expm1 (log1p (sqrt PI))) l) (sqrt PI)))) in l
2.402 * [taylor]: Taking taylor expansion of (* -1 (* (/ (expm1 (log1p (sqrt PI))) l) (sqrt PI))) in l
2.402 * [taylor]: Taking taylor expansion of -1 in l
2.402 * [taylor]: Taking taylor expansion of (* (/ (expm1 (log1p (sqrt PI))) l) (sqrt PI)) in l
2.403 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (sqrt PI))) l) in l
2.403 * [taylor]: Taking taylor expansion of (expm1 (log1p (sqrt PI))) in l
2.403 * [taylor]: Rewrote expression to (- (exp (log1p (sqrt PI))) 1)
2.403 * [taylor]: Taking taylor expansion of (exp (log1p (sqrt PI))) in l
2.403 * [taylor]: Taking taylor expansion of (log1p (sqrt PI)) in l
2.403 * [taylor]: Rewrote expression to (log (+ 1 (sqrt PI)))
2.403 * [taylor]: Taking taylor expansion of (+ 1 (sqrt PI)) in l
2.403 * [taylor]: Taking taylor expansion of 1 in l
2.403 * [taylor]: Taking taylor expansion of (sqrt PI) in l
2.403 * [taylor]: Taking taylor expansion of PI in l
2.407 * [taylor]: Taking taylor expansion of 1 in l
2.407 * [taylor]: Taking taylor expansion of l in l
2.409 * [taylor]: Taking taylor expansion of (sqrt PI) in l
2.409 * [taylor]: Taking taylor expansion of PI in l
2.412 * [taylor]: Taking taylor expansion of (cos (* -1 (* (/ (expm1 (log1p (sqrt PI))) l) (sqrt PI)))) in l
2.412 * [taylor]: Taking taylor expansion of (* -1 (* (/ (expm1 (log1p (sqrt PI))) l) (sqrt PI))) in l
2.412 * [taylor]: Taking taylor expansion of -1 in l
2.412 * [taylor]: Taking taylor expansion of (* (/ (expm1 (log1p (sqrt PI))) l) (sqrt PI)) in l
2.412 * [taylor]: Taking taylor expansion of (/ (expm1 (log1p (sqrt PI))) l) in l
2.412 * [taylor]: Taking taylor expansion of (expm1 (log1p (sqrt PI))) in l
2.412 * [taylor]: Rewrote expression to (- (exp (log1p (sqrt PI))) 1)
2.412 * [taylor]: Taking taylor expansion of (exp (log1p (sqrt PI))) in l
2.412 * [taylor]: Taking taylor expansion of (log1p (sqrt PI)) in l
2.412 * [taylor]: Rewrote expression to (log (+ 1 (sqrt PI)))
2.412 * [taylor]: Taking taylor expansion of (+ 1 (sqrt PI)) in l
2.412 * [taylor]: Taking taylor expansion of 1 in l
2.412 * [taylor]: Taking taylor expansion of (sqrt PI) in l
2.412 * [taylor]: Taking taylor expansion of PI in l
2.416 * [taylor]: Taking taylor expansion of 1 in l
2.416 * [taylor]: Taking taylor expansion of l in l
2.418 * [taylor]: Taking taylor expansion of (sqrt PI) in l
2.418 * [taylor]: Taking taylor expansion of PI in l
2.485 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 1)
2.485 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 2 1 1 1)
2.485 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 1)
2.485 * * * [progress]: simplifying candidates
2.486 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l))))
  (log1p (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l))))
  (sin (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l)))
  (cos (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l)))
  (log (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l))))
  (exp (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l))))
  (* (cbrt (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l)))) (cbrt (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l)))))
  (cbrt (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l))))
  (* (* (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l))) (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l)))) (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l))))
  (sqrt (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l))))
  (sqrt (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l))))
  (exp (log1p (sqrt PI)))
  (expm1 (expm1 (log1p (sqrt PI))))
  (log1p (expm1 (log1p (sqrt PI))))
  (log (expm1 (log1p (sqrt PI))))
  (exp (expm1 (log1p (sqrt PI))))
  (* (cbrt (expm1 (log1p (sqrt PI)))) (cbrt (expm1 (log1p (sqrt PI)))))
  (cbrt (expm1 (log1p (sqrt PI))))
  (* (* (expm1 (log1p (sqrt PI))) (expm1 (log1p (sqrt PI)))) (expm1 (log1p (sqrt PI))))
  (sqrt (expm1 (log1p (sqrt PI))))
  (sqrt (expm1 (log1p (sqrt PI))))
  (expm1 (sqrt PI))
  (log1p (sqrt PI))
  (log (sqrt PI))
  (exp (sqrt PI))
  (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))
  (cbrt (sqrt PI))
  (* (* (sqrt PI) (sqrt PI)) (sqrt PI))
  (sqrt (* (cbrt PI) (cbrt PI)))
  (sqrt (cbrt PI))
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (sqrt 1)
  (sqrt PI)
  (/ 1 2)
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (expm1 (sqrt PI))
  (log1p (sqrt PI))
  (log (sqrt PI))
  (exp (sqrt PI))
  (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))
  (cbrt (sqrt PI))
  (* (* (sqrt PI) (sqrt PI)) (sqrt PI))
  (sqrt (* (cbrt PI) (cbrt PI)))
  (sqrt (cbrt PI))
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (sqrt 1)
  (sqrt PI)
  (/ 1 2)
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (+ (* 2/15 (* (pow PI 5) (pow l 5))) (+ (* PI l) (* 1/3 (* (pow PI 3) (pow l 3)))))
  (/ (sin (* (* (expm1 (log1p (sqrt PI))) l) (sqrt PI))) (cos (* (* (expm1 (log1p (sqrt PI))) l) (sqrt PI))))
  (/ (sin (* (* (expm1 (log1p (sqrt PI))) l) (sqrt PI))) (cos (* (* (expm1 (log1p (sqrt PI))) l) (sqrt PI))))
  (log1p (sqrt PI))
  (log1p (sqrt PI))
  (log1p (sqrt PI))
2.489 * * [simplify]: iteration  0 :  106  enodes  (cost  241 )
2.491 * * [simplify]: iteration  1 :  245  enodes  (cost  226 )
2.496 * * [simplify]: iteration  2 :  803  enodes  (cost  226 )
2.517 * * [simplify]: iteration  3 :  3953  enodes  (cost  226 )
2.605 * * [simplify]: iteration  4 :  5001  enodes  (cost  226 )
2.606 * [simplify]: Simplified to:
   (expm1 (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l))))
  (log1p (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l))))
  (sin (* (* (expm1 (log1p (sqrt PI))) l) (sqrt PI)))
  (cos (* (* (expm1 (log1p (sqrt PI))) l) (sqrt PI)))
  (log (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l))))
  (exp (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l))))
  (* (cbrt (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l)))) (cbrt (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l)))))
  (cbrt (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l))))
  (pow (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l))) 3)
  (sqrt (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l))))
  (sqrt (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l))))
  (exp (log1p (sqrt PI)))
  (expm1 (sqrt PI))
  (log1p (sqrt PI))
  (log (sqrt PI))
  (exp (sqrt PI))
  (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))
  (cbrt (sqrt PI))
  (* (sqrt PI) PI)
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (expm1 (sqrt PI))
  (log1p (sqrt PI))
  (log (sqrt PI))
  (exp (sqrt PI))
  (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))
  (cbrt (sqrt PI))
  (* (sqrt PI) PI)
  (fabs (cbrt PI))
  (sqrt (cbrt PI))
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (sqrt 1)
  (sqrt PI)
  1/2
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (expm1 (sqrt PI))
  (log1p (sqrt PI))
  (log (sqrt PI))
  (exp (sqrt PI))
  (* (cbrt (sqrt PI)) (cbrt (sqrt PI)))
  (cbrt (sqrt PI))
  (* (sqrt PI) PI)
  (fabs (cbrt PI))
  (sqrt (cbrt PI))
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (sqrt 1)
  (sqrt PI)
  1/2
  (sqrt (sqrt PI))
  (sqrt (sqrt PI))
  (fma 2/15 (* (pow PI 5) (pow l 5)) (fma PI l (* 1/3 (* (pow PI 3) (pow l 3)))))
  (/ (sin (* (* (expm1 (log1p (sqrt PI))) l) (sqrt PI))) (cos (* (* (expm1 (log1p (sqrt PI))) l) (sqrt PI))))
  (/ (sin (* (* (expm1 (log1p (sqrt PI))) l) (sqrt PI))) (cos (* (* (expm1 (log1p (sqrt PI))) l) (sqrt PI))))
  (log1p (sqrt PI))
  (log1p (sqrt PI))
  (log1p (sqrt PI))
2.607 * * * [progress]: adding candidates to table
2.808 * [progress]: [Phase 3 of 3] Extracting.
2.809 * * [regime]: Finding splitpoints for: (#<alt (λ (F l) (- (* PI l) (* (/ 1.0 (* F F)) (tan (expm1 (log1p (* PI l)))))))> #<alt (λ (F l) (- (* PI l) (expm1 (log1p (* (/ 1.0 (* F F)) (tan (* PI l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (fma (* 1.0 (/ PI F)) l (/ (pow (* PI l) 3) (/ F 0.3333333333333333))))))> #<alt (λ (F l) (- (cbrt (pow (* PI l) 3)) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* (* (sqrt PI) (sqrt l)) (* (sqrt PI) (sqrt l))) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (* (* (cbrt (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l)))) (cbrt (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l))))) (cbrt (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l)))))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* (* (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI))) (* (expm1 (log1p (sqrt PI))) l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* (expm1 (log1p (sqrt PI))) (* (expm1 (log1p (sqrt PI))) l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (log (exp (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l)))))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1.0 (* F F)) (tan (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)))))))> #<alt (λ (F l) (- (* PI l) (* (* (cbrt (/ 1.0 (* F F))) (cbrt (/ 1.0 (* F F)))) (* (cbrt (/ 1.0 (* F F))) (tan (* PI l))))))> #<alt (λ (F l) (- (* (* PI (sqrt l)) (sqrt l)) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l))) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1 (* (cbrt F) (cbrt F))) (* (/ 1.0 (cbrt F)) (tan (* PI l)))))))> #<alt (λ (F l) (- (* (* PI (* (cbrt l) (cbrt l))) (cbrt l)) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* (sqrt (* PI l)) (sqrt (* PI l))) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (* (/ 1.0 F) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))) (cbrt (tan (* PI l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* (* PI (* (cbrt l) (cbrt l))) (cbrt l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (* (cbrt (* (/ 1.0 F) (tan (* PI l)))) (cbrt (* (/ 1.0 F) (tan (* PI l))))) (cbrt (* (/ 1.0 F) (tan (* PI l))))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* (sqrt PI) (* (expm1 (log1p (* (sqrt (sqrt PI)) (sqrt (sqrt PI))))) l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* (sqrt PI) (* (expm1 (log1p (* (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI))))) l)))))))>)
2.819 * * * [regime-changes]: Trying 5 branch expressions: ((* F F) (/ 1.0 (* F F)) (* PI l) l F)
2.819 * * * * [regimes]: Trying to branch on (* F F) from (#<alt (λ (F l) (- (* PI l) (* (/ 1.0 (* F F)) (tan (expm1 (log1p (* PI l)))))))> #<alt (λ (F l) (- (* PI l) (expm1 (log1p (* (/ 1.0 (* F F)) (tan (* PI l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (fma (* 1.0 (/ PI F)) l (/ (pow (* PI l) 3) (/ F 0.3333333333333333))))))> #<alt (λ (F l) (- (cbrt (pow (* PI l) 3)) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* (* (sqrt PI) (sqrt l)) (* (sqrt PI) (sqrt l))) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (* (* (cbrt (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l)))) (cbrt (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l))))) (cbrt (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l)))))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* (* (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI))) (* (expm1 (log1p (sqrt PI))) l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* (expm1 (log1p (sqrt PI))) (* (expm1 (log1p (sqrt PI))) l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (log (exp (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l)))))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1.0 (* F F)) (tan (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)))))))> #<alt (λ (F l) (- (* PI l) (* (* (cbrt (/ 1.0 (* F F))) (cbrt (/ 1.0 (* F F)))) (* (cbrt (/ 1.0 (* F F))) (tan (* PI l))))))> #<alt (λ (F l) (- (* (* PI (sqrt l)) (sqrt l)) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l))) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1 (* (cbrt F) (cbrt F))) (* (/ 1.0 (cbrt F)) (tan (* PI l)))))))> #<alt (λ (F l) (- (* (* PI (* (cbrt l) (cbrt l))) (cbrt l)) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* (sqrt (* PI l)) (sqrt (* PI l))) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (* (/ 1.0 F) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))) (cbrt (tan (* PI l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* (* PI (* (cbrt l) (cbrt l))) (cbrt l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (* (cbrt (* (/ 1.0 F) (tan (* PI l)))) (cbrt (* (/ 1.0 F) (tan (* PI l))))) (cbrt (* (/ 1.0 F) (tan (* PI l))))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* (sqrt PI) (* (expm1 (log1p (* (sqrt (sqrt PI)) (sqrt (sqrt PI))))) l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* (sqrt PI) (* (expm1 (log1p (* (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI))))) l)))))))>)
2.893 * * * * [regimes]: Trying to branch on (* F F) from (#<alt (λ (F l) (- (* PI l) (* (/ 1.0 (* F F)) (tan (expm1 (log1p (* PI l)))))))> #<alt (λ (F l) (- (* PI l) (expm1 (log1p (* (/ 1.0 (* F F)) (tan (* PI l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1.0 (* F F)) (tan (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)))))))> #<alt (λ (F l) (- (* PI l) (* (* (cbrt (/ 1.0 (* F F))) (cbrt (/ 1.0 (* F F)))) (* (cbrt (/ 1.0 (* F F))) (tan (* PI l))))))>)
2.912 * * * * [regimes]: Trying to branch on (/ 1.0 (* F F)) from (#<alt (λ (F l) (- (* PI l) (* (/ 1.0 (* F F)) (tan (expm1 (log1p (* PI l)))))))> #<alt (λ (F l) (- (* PI l) (expm1 (log1p (* (/ 1.0 (* F F)) (tan (* PI l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (fma (* 1.0 (/ PI F)) l (/ (pow (* PI l) 3) (/ F 0.3333333333333333))))))> #<alt (λ (F l) (- (cbrt (pow (* PI l) 3)) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* (* (sqrt PI) (sqrt l)) (* (sqrt PI) (sqrt l))) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (* (* (cbrt (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l)))) (cbrt (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l))))) (cbrt (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l)))))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* (* (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI))) (* (expm1 (log1p (sqrt PI))) l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* (expm1 (log1p (sqrt PI))) (* (expm1 (log1p (sqrt PI))) l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (log (exp (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l)))))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1.0 (* F F)) (tan (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)))))))> #<alt (λ (F l) (- (* PI l) (* (* (cbrt (/ 1.0 (* F F))) (cbrt (/ 1.0 (* F F)))) (* (cbrt (/ 1.0 (* F F))) (tan (* PI l))))))> #<alt (λ (F l) (- (* (* PI (sqrt l)) (sqrt l)) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l))) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1 (* (cbrt F) (cbrt F))) (* (/ 1.0 (cbrt F)) (tan (* PI l)))))))> #<alt (λ (F l) (- (* (* PI (* (cbrt l) (cbrt l))) (cbrt l)) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* (sqrt (* PI l)) (sqrt (* PI l))) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (* (/ 1.0 F) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))) (cbrt (tan (* PI l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* (* PI (* (cbrt l) (cbrt l))) (cbrt l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (* (cbrt (* (/ 1.0 F) (tan (* PI l)))) (cbrt (* (/ 1.0 F) (tan (* PI l))))) (cbrt (* (/ 1.0 F) (tan (* PI l))))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* (sqrt PI) (* (expm1 (log1p (* (sqrt (sqrt PI)) (sqrt (sqrt PI))))) l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* (sqrt PI) (* (expm1 (log1p (* (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI))))) l)))))))>)
2.984 * * * * [regimes]: Trying to branch on (/ 1.0 (* F F)) from (#<alt (λ (F l) (- (* PI l) (* (/ 1.0 (* F F)) (tan (expm1 (log1p (* PI l)))))))> #<alt (λ (F l) (- (* PI l) (expm1 (log1p (* (/ 1.0 (* F F)) (tan (* PI l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1.0 (* F F)) (tan (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)))))))> #<alt (λ (F l) (- (* PI l) (* (* (cbrt (/ 1.0 (* F F))) (cbrt (/ 1.0 (* F F)))) (* (cbrt (/ 1.0 (* F F))) (tan (* PI l))))))>)
3.003 * * * * [regimes]: Trying to branch on (* PI l) from (#<alt (λ (F l) (- (* PI l) (* (/ 1.0 (* F F)) (tan (expm1 (log1p (* PI l)))))))> #<alt (λ (F l) (- (* PI l) (expm1 (log1p (* (/ 1.0 (* F F)) (tan (* PI l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (fma (* 1.0 (/ PI F)) l (/ (pow (* PI l) 3) (/ F 0.3333333333333333))))))> #<alt (λ (F l) (- (cbrt (pow (* PI l) 3)) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* (* (sqrt PI) (sqrt l)) (* (sqrt PI) (sqrt l))) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (* (* (cbrt (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l)))) (cbrt (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l))))) (cbrt (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l)))))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* (* (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI))) (* (expm1 (log1p (sqrt PI))) l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* (expm1 (log1p (sqrt PI))) (* (expm1 (log1p (sqrt PI))) l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (log (exp (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l)))))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1.0 (* F F)) (tan (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)))))))> #<alt (λ (F l) (- (* PI l) (* (* (cbrt (/ 1.0 (* F F))) (cbrt (/ 1.0 (* F F)))) (* (cbrt (/ 1.0 (* F F))) (tan (* PI l))))))> #<alt (λ (F l) (- (* (* PI (sqrt l)) (sqrt l)) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l))) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1 (* (cbrt F) (cbrt F))) (* (/ 1.0 (cbrt F)) (tan (* PI l)))))))> #<alt (λ (F l) (- (* (* PI (* (cbrt l) (cbrt l))) (cbrt l)) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* (sqrt (* PI l)) (sqrt (* PI l))) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (* (/ 1.0 F) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))) (cbrt (tan (* PI l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* (* PI (* (cbrt l) (cbrt l))) (cbrt l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (* (cbrt (* (/ 1.0 F) (tan (* PI l)))) (cbrt (* (/ 1.0 F) (tan (* PI l))))) (cbrt (* (/ 1.0 F) (tan (* PI l))))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* (sqrt PI) (* (expm1 (log1p (* (sqrt (sqrt PI)) (sqrt (sqrt PI))))) l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* (sqrt PI) (* (expm1 (log1p (* (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI))))) l)))))))>)
3.079 * * * * [regimes]: Trying to branch on (* PI l) from (#<alt (λ (F l) (- (* PI l) (* (/ 1.0 (* F F)) (tan (expm1 (log1p (* PI l)))))))> #<alt (λ (F l) (- (* PI l) (expm1 (log1p (* (/ 1.0 (* F F)) (tan (* PI l)))))))> #<alt (λ (F l) (- (cbrt (pow (* PI l) 3)) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1.0 (* F F)) (tan (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)))))))> #<alt (λ (F l) (- (* PI l) (* (* (cbrt (/ 1.0 (* F F))) (cbrt (/ 1.0 (* F F)))) (* (cbrt (/ 1.0 (* F F))) (tan (* PI l))))))> #<alt (λ (F l) (- (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l))) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1 (* (cbrt F) (cbrt F))) (* (/ 1.0 (cbrt F)) (tan (* PI l)))))))> #<alt (λ (F l) (- (* (sqrt (* PI l)) (sqrt (* PI l))) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (* (/ 1.0 F) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))) (cbrt (tan (* PI l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (* (cbrt (* (/ 1.0 F) (tan (* PI l)))) (cbrt (* (/ 1.0 F) (tan (* PI l))))) (cbrt (* (/ 1.0 F) (tan (* PI l))))))))>)
3.116 * * * * [regimes]: Trying to branch on l from (#<alt (λ (F l) (- (* PI l) (* (/ 1.0 (* F F)) (tan (expm1 (log1p (* PI l)))))))> #<alt (λ (F l) (- (* PI l) (expm1 (log1p (* (/ 1.0 (* F F)) (tan (* PI l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (fma (* 1.0 (/ PI F)) l (/ (pow (* PI l) 3) (/ F 0.3333333333333333))))))> #<alt (λ (F l) (- (cbrt (pow (* PI l) 3)) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* (* (sqrt PI) (sqrt l)) (* (sqrt PI) (sqrt l))) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (* (* (cbrt (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l)))) (cbrt (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l))))) (cbrt (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l)))))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* (* (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI))) (* (expm1 (log1p (sqrt PI))) l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* (expm1 (log1p (sqrt PI))) (* (expm1 (log1p (sqrt PI))) l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (log (exp (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l)))))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1.0 (* F F)) (tan (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)))))))> #<alt (λ (F l) (- (* PI l) (* (* (cbrt (/ 1.0 (* F F))) (cbrt (/ 1.0 (* F F)))) (* (cbrt (/ 1.0 (* F F))) (tan (* PI l))))))> #<alt (λ (F l) (- (* (* PI (sqrt l)) (sqrt l)) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l))) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1 (* (cbrt F) (cbrt F))) (* (/ 1.0 (cbrt F)) (tan (* PI l)))))))> #<alt (λ (F l) (- (* (* PI (* (cbrt l) (cbrt l))) (cbrt l)) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* (sqrt (* PI l)) (sqrt (* PI l))) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (* (/ 1.0 F) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))) (cbrt (tan (* PI l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* (* PI (* (cbrt l) (cbrt l))) (cbrt l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (* (cbrt (* (/ 1.0 F) (tan (* PI l)))) (cbrt (* (/ 1.0 F) (tan (* PI l))))) (cbrt (* (/ 1.0 F) (tan (* PI l))))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* (sqrt PI) (* (expm1 (log1p (* (sqrt (sqrt PI)) (sqrt (sqrt PI))))) l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* (sqrt PI) (* (expm1 (log1p (* (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI))))) l)))))))>)
3.190 * * * * [regimes]: Trying to branch on F from (#<alt (λ (F l) (- (* PI l) (* (/ 1.0 (* F F)) (tan (expm1 (log1p (* PI l)))))))> #<alt (λ (F l) (- (* PI l) (expm1 (log1p (* (/ 1.0 (* F F)) (tan (* PI l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (fma (* 1.0 (/ PI F)) l (/ (pow (* PI l) 3) (/ F 0.3333333333333333))))))> #<alt (λ (F l) (- (cbrt (pow (* PI l) 3)) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* (* (sqrt PI) (sqrt l)) (* (sqrt PI) (sqrt l))) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (* (* (cbrt (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l)))) (cbrt (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l))))) (cbrt (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l)))))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* (* (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI))) (* (expm1 (log1p (sqrt PI))) l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* (expm1 (log1p (sqrt PI))) (* (expm1 (log1p (sqrt PI))) l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (log (exp (tan (* (sqrt PI) (* (expm1 (log1p (sqrt PI))) l)))))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1.0 (* F F)) (tan (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l)))))))> #<alt (λ (F l) (- (* PI l) (* (* (cbrt (/ 1.0 (* F F))) (cbrt (/ 1.0 (* F F)))) (* (cbrt (/ 1.0 (* F F))) (tan (* PI l))))))> #<alt (λ (F l) (- (* (* PI (sqrt l)) (sqrt l)) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l))) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1 (* (cbrt F) (cbrt F))) (* (/ 1.0 (cbrt F)) (tan (* PI l)))))))> #<alt (λ (F l) (- (* (* PI (* (cbrt l) (cbrt l))) (cbrt l)) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* (sqrt (* PI l)) (sqrt (* PI l))) (* (/ 1 F) (* (/ 1.0 F) (tan (* PI l))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (* (/ 1.0 F) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))) (cbrt (tan (* PI l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* (* PI (* (cbrt l) (cbrt l))) (cbrt l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (* (cbrt (* (/ 1.0 F) (tan (* PI l)))) (cbrt (* (/ 1.0 F) (tan (* PI l))))) (cbrt (* (/ 1.0 F) (tan (* PI l))))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* (sqrt PI) (* (expm1 (log1p (* (sqrt (sqrt PI)) (sqrt (sqrt PI))))) l)))))))> #<alt (λ (F l) (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* (sqrt PI) (* (expm1 (log1p (* (* (cbrt (sqrt PI)) (cbrt (sqrt PI))) (cbrt (sqrt PI))))) l)))))))>)
3.266 * * * [regime]: Found split indices: #<option (#s(si 19 255))>
3.267 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* (sqrt PI) (* (expm1 (log1p (* (sqrt (sqrt PI)) (sqrt (sqrt PI))))) l))))))
3.267 * * [simplify]: iteration  0 :  26  enodes  (cost  17 )
3.268 * * [simplify]: iteration  1 :  26  enodes  (cost  17 )
3.268 * [simplify]: Simplified to:
   (- (* PI l) (* (/ 1 F) (* (/ 1.0 F) (tan (* (sqrt PI) (* (expm1 (log1p (* (sqrt (sqrt PI)) (sqrt (sqrt PI))))) l))))))
8.352 * [regime-testing]: Baseline error score: 12.529382451434959
8.353 * [regime-testing]: Oracle error score: 12.182666992273235
8.354 * [regime-testing]: End program error score: 12.529382451434959