0.812 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
1.031 * * * [progress]: [2/2] Setting up program.
1.035 * [progress]: [Phase 2 of 3] Improving.
1.037 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (* PI l) (* (/ 1.0 (* F F)) (tan (* PI l))))
1.488 * * [simplify]: iteration  0 :  671  enodes  (cost  14 )
1.488 * * [simplify]: iteration  1 :  671  enodes  (cost  14 )
1.489 * [simplify]: Simplified to:
   (- (* PI l) (* 1.0 (/ (tan (* PI l)) (* F F))))
1.495 * * [progress]: iteration 1 / 4
1.495 * * * [progress]: picking best candidate
1.501 * * * * [pick]: Picked  #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (tan (* PI l)) (* F F)))))>
1.501 * * * [progress]: localizing error
1.512 * * * [progress]: generating rewritten candidates
1.512 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
1.515 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
1.521 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1)
1.525 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.537 * * * [progress]: generating series expansions
1.538 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
1.542 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0
1.543 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
1.544 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.544 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.544 * [taylor]: Taking taylor expansion of (* PI l) in l
1.544 * [taylor]: Taking taylor expansion of PI in l
1.544 * [taylor]: Taking taylor expansion of l in l
1.545 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.545 * [taylor]: Taking taylor expansion of (* PI l) in l
1.545 * [taylor]: Taking taylor expansion of PI in l
1.545 * [taylor]: Taking taylor expansion of l in l
1.546 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
1.546 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.546 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.546 * [taylor]: Taking taylor expansion of (* PI l) in l
1.546 * [taylor]: Taking taylor expansion of PI in l
1.546 * [taylor]: Taking taylor expansion of l in l
1.546 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.546 * [taylor]: Taking taylor expansion of (* PI l) in l
1.546 * [taylor]: Taking taylor expansion of PI in l
1.546 * [taylor]: Taking taylor expansion of l in l
1.551 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0
1.551 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
1.551 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.551 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.551 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.551 * [taylor]: Taking taylor expansion of PI in l
1.551 * [taylor]: Taking taylor expansion of l in l
1.552 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.552 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.552 * [taylor]: Taking taylor expansion of PI in l
1.552 * [taylor]: Taking taylor expansion of l in l
1.552 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
1.552 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.552 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.552 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.552 * [taylor]: Taking taylor expansion of PI in l
1.552 * [taylor]: Taking taylor expansion of l in l
1.552 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.552 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.552 * [taylor]: Taking taylor expansion of PI in l
1.552 * [taylor]: Taking taylor expansion of l in l
1.553 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0
1.554 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
1.554 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.554 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.554 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.554 * [taylor]: Taking taylor expansion of -1 in l
1.554 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.554 * [taylor]: Taking taylor expansion of PI in l
1.554 * [taylor]: Taking taylor expansion of l in l
1.554 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.554 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.554 * [taylor]: Taking taylor expansion of -1 in l
1.554 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.554 * [taylor]: Taking taylor expansion of PI in l
1.554 * [taylor]: Taking taylor expansion of l in l
1.554 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
1.554 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.554 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.554 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.554 * [taylor]: Taking taylor expansion of -1 in l
1.554 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.554 * [taylor]: Taking taylor expansion of PI in l
1.554 * [taylor]: Taking taylor expansion of l in l
1.554 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.554 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.554 * [taylor]: Taking taylor expansion of -1 in l
1.554 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.554 * [taylor]: Taking taylor expansion of PI in l
1.554 * [taylor]: Taking taylor expansion of l in l
1.556 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
1.556 * [approximate]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in (l F) around 0
1.556 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in F
1.556 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F
1.556 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.556 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F
1.556 * [taylor]: Taking taylor expansion of (* PI l) in F
1.556 * [taylor]: Taking taylor expansion of PI in F
1.556 * [taylor]: Taking taylor expansion of l in F
1.557 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F
1.557 * [taylor]: Taking taylor expansion of (* PI l) in F
1.557 * [taylor]: Taking taylor expansion of PI in F
1.557 * [taylor]: Taking taylor expansion of l in F
1.558 * [taylor]: Taking taylor expansion of (pow F 2) in F
1.558 * [taylor]: Taking taylor expansion of F in F
1.558 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in l
1.558 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
1.558 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.558 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.558 * [taylor]: Taking taylor expansion of (* PI l) in l
1.558 * [taylor]: Taking taylor expansion of PI in l
1.558 * [taylor]: Taking taylor expansion of l in l
1.558 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.558 * [taylor]: Taking taylor expansion of (* PI l) in l
1.558 * [taylor]: Taking taylor expansion of PI in l
1.558 * [taylor]: Taking taylor expansion of l in l
1.558 * [taylor]: Taking taylor expansion of (pow F 2) in l
1.558 * [taylor]: Taking taylor expansion of F in l
1.558 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) (pow F 2)) in l
1.558 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
1.558 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.558 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.558 * [taylor]: Taking taylor expansion of (* PI l) in l
1.558 * [taylor]: Taking taylor expansion of PI in l
1.558 * [taylor]: Taking taylor expansion of l in l
1.559 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.559 * [taylor]: Taking taylor expansion of (* PI l) in l
1.559 * [taylor]: Taking taylor expansion of PI in l
1.559 * [taylor]: Taking taylor expansion of l in l
1.559 * [taylor]: Taking taylor expansion of (pow F 2) in l
1.559 * [taylor]: Taking taylor expansion of F in l
1.559 * [taylor]: Taking taylor expansion of (/ PI (pow F 2)) in F
1.559 * [taylor]: Taking taylor expansion of PI in F
1.559 * [taylor]: Taking taylor expansion of (pow F 2) in F
1.559 * [taylor]: Taking taylor expansion of F in F
1.559 * [taylor]: Taking taylor expansion of 0 in F
1.560 * [taylor]: Taking taylor expansion of (* 1/3 (/ (pow PI 3) (pow F 2))) in F
1.560 * [taylor]: Taking taylor expansion of 1/3 in F
1.560 * [taylor]: Taking taylor expansion of (/ (pow PI 3) (pow F 2)) in F
1.561 * [taylor]: Taking taylor expansion of (pow PI 3) in F
1.561 * [taylor]: Taking taylor expansion of PI in F
1.561 * [taylor]: Taking taylor expansion of (pow F 2) in F
1.561 * [taylor]: Taking taylor expansion of F in F
1.562 * [taylor]: Taking taylor expansion of 0 in F
1.564 * [taylor]: Taking taylor expansion of (* 2/15 (/ (pow PI 5) (pow F 2))) in F
1.564 * [taylor]: Taking taylor expansion of 2/15 in F
1.564 * [taylor]: Taking taylor expansion of (/ (pow PI 5) (pow F 2)) in F
1.564 * [taylor]: Taking taylor expansion of (pow PI 5) in F
1.564 * [taylor]: Taking taylor expansion of PI in F
1.564 * [taylor]: Taking taylor expansion of (pow F 2) in F
1.564 * [taylor]: Taking taylor expansion of F in F
1.565 * [approximate]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in (l F) around 0
1.565 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in F
1.565 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F
1.565 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.565 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F
1.565 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.565 * [taylor]: Taking taylor expansion of PI in F
1.565 * [taylor]: Taking taylor expansion of l in F
1.565 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F
1.565 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.565 * [taylor]: Taking taylor expansion of PI in F
1.565 * [taylor]: Taking taylor expansion of l in F
1.565 * [taylor]: Taking taylor expansion of (pow F 2) in F
1.565 * [taylor]: Taking taylor expansion of F in F
1.565 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in l
1.565 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
1.565 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.565 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.565 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.565 * [taylor]: Taking taylor expansion of PI in l
1.565 * [taylor]: Taking taylor expansion of l in l
1.566 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.566 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.566 * [taylor]: Taking taylor expansion of PI in l
1.566 * [taylor]: Taking taylor expansion of l in l
1.566 * [taylor]: Taking taylor expansion of (pow F 2) in l
1.566 * [taylor]: Taking taylor expansion of F in l
1.566 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) (pow F 2)) in l
1.566 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
1.566 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.566 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.566 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.566 * [taylor]: Taking taylor expansion of PI in l
1.566 * [taylor]: Taking taylor expansion of l in l
1.566 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.566 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.566 * [taylor]: Taking taylor expansion of PI in l
1.566 * [taylor]: Taking taylor expansion of l in l
1.566 * [taylor]: Taking taylor expansion of (pow F 2) in l
1.566 * [taylor]: Taking taylor expansion of F in l
1.566 * [taylor]: Taking taylor expansion of (/ (* (sin (/ PI l)) (pow F 2)) (cos (/ PI l))) in F
1.566 * [taylor]: Taking taylor expansion of (* (sin (/ PI l)) (pow F 2)) in F
1.566 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F
1.566 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.566 * [taylor]: Taking taylor expansion of PI in F
1.566 * [taylor]: Taking taylor expansion of l in F
1.566 * [taylor]: Taking taylor expansion of (pow F 2) in F
1.566 * [taylor]: Taking taylor expansion of F in F
1.566 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F
1.566 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.566 * [taylor]: Taking taylor expansion of PI in F
1.567 * [taylor]: Taking taylor expansion of l in F
1.567 * [taylor]: Taking taylor expansion of 0 in F
1.568 * [taylor]: Taking taylor expansion of 0 in F
1.569 * [taylor]: Taking taylor expansion of 0 in F
1.570 * [approximate]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in (l F) around 0
1.570 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in F
1.570 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F
1.570 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.570 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F
1.570 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.570 * [taylor]: Taking taylor expansion of -1 in F
1.570 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.570 * [taylor]: Taking taylor expansion of PI in F
1.570 * [taylor]: Taking taylor expansion of l in F
1.570 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F
1.570 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.570 * [taylor]: Taking taylor expansion of -1 in F
1.570 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.570 * [taylor]: Taking taylor expansion of PI in F
1.570 * [taylor]: Taking taylor expansion of l in F
1.570 * [taylor]: Taking taylor expansion of (pow F 2) in F
1.570 * [taylor]: Taking taylor expansion of F in F
1.570 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in l
1.570 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
1.570 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.571 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.571 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.571 * [taylor]: Taking taylor expansion of -1 in l
1.571 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.571 * [taylor]: Taking taylor expansion of PI in l
1.571 * [taylor]: Taking taylor expansion of l in l
1.571 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.571 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.571 * [taylor]: Taking taylor expansion of -1 in l
1.571 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.571 * [taylor]: Taking taylor expansion of PI in l
1.571 * [taylor]: Taking taylor expansion of l in l
1.571 * [taylor]: Taking taylor expansion of (pow F 2) in l
1.571 * [taylor]: Taking taylor expansion of F in l
1.571 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) (pow F 2)) in l
1.571 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
1.571 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.571 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.571 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.571 * [taylor]: Taking taylor expansion of -1 in l
1.571 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.571 * [taylor]: Taking taylor expansion of PI in l
1.571 * [taylor]: Taking taylor expansion of l in l
1.571 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.571 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.571 * [taylor]: Taking taylor expansion of -1 in l
1.571 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.571 * [taylor]: Taking taylor expansion of PI in l
1.571 * [taylor]: Taking taylor expansion of l in l
1.571 * [taylor]: Taking taylor expansion of (pow F 2) in l
1.571 * [taylor]: Taking taylor expansion of F in l
1.572 * [taylor]: Taking taylor expansion of (/ (* (pow F 2) (sin (* -1 (/ PI l)))) (cos (* -1 (/ PI l)))) in F
1.572 * [taylor]: Taking taylor expansion of (* (pow F 2) (sin (* -1 (/ PI l)))) in F
1.572 * [taylor]: Taking taylor expansion of (pow F 2) in F
1.572 * [taylor]: Taking taylor expansion of F in F
1.572 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F
1.572 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.572 * [taylor]: Taking taylor expansion of -1 in F
1.572 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.572 * [taylor]: Taking taylor expansion of PI in F
1.572 * [taylor]: Taking taylor expansion of l in F
1.572 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F
1.572 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.572 * [taylor]: Taking taylor expansion of -1 in F
1.572 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.572 * [taylor]: Taking taylor expansion of PI in F
1.572 * [taylor]: Taking taylor expansion of l in F
1.573 * [taylor]: Taking taylor expansion of 0 in F
1.574 * [taylor]: Taking taylor expansion of 0 in F
1.575 * [taylor]: Taking taylor expansion of 0 in F
1.575 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1)
1.576 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0
1.576 * [taylor]: Taking taylor expansion of (* PI l) in l
1.576 * [taylor]: Taking taylor expansion of PI in l
1.576 * [taylor]: Taking taylor expansion of l in l
1.576 * [taylor]: Taking taylor expansion of (* PI l) in l
1.576 * [taylor]: Taking taylor expansion of PI in l
1.576 * [taylor]: Taking taylor expansion of l in l
1.576 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0
1.576 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.576 * [taylor]: Taking taylor expansion of PI in l
1.576 * [taylor]: Taking taylor expansion of l in l
1.576 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.576 * [taylor]: Taking taylor expansion of PI in l
1.576 * [taylor]: Taking taylor expansion of l in l
1.577 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0
1.577 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.577 * [taylor]: Taking taylor expansion of -1 in l
1.577 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.577 * [taylor]: Taking taylor expansion of PI in l
1.577 * [taylor]: Taking taylor expansion of l in l
1.577 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.577 * [taylor]: Taking taylor expansion of -1 in l
1.577 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.577 * [taylor]: Taking taylor expansion of PI in l
1.577 * [taylor]: Taking taylor expansion of l in l
1.578 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.578 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0
1.578 * [taylor]: Taking taylor expansion of (* PI l) in l
1.578 * [taylor]: Taking taylor expansion of PI in l
1.578 * [taylor]: Taking taylor expansion of l in l
1.578 * [taylor]: Taking taylor expansion of (* PI l) in l
1.578 * [taylor]: Taking taylor expansion of PI in l
1.578 * [taylor]: Taking taylor expansion of l in l
1.578 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0
1.578 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.578 * [taylor]: Taking taylor expansion of PI in l
1.578 * [taylor]: Taking taylor expansion of l in l
1.578 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.578 * [taylor]: Taking taylor expansion of PI in l
1.578 * [taylor]: Taking taylor expansion of l in l
1.579 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0
1.579 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.579 * [taylor]: Taking taylor expansion of -1 in l
1.579 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.579 * [taylor]: Taking taylor expansion of PI in l
1.579 * [taylor]: Taking taylor expansion of l in l
1.579 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.579 * [taylor]: Taking taylor expansion of -1 in l
1.579 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.579 * [taylor]: Taking taylor expansion of PI in l
1.579 * [taylor]: Taking taylor expansion of l in l
1.580 * * * [progress]: simplifying candidates
1.581 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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)))
  (- (log (tan (* PI l))) (+ (log F) (log F)))
  (- (log (tan (* PI l))) (log (* F F)))
  (log (/ (tan (* PI l)) (* F F)))
  (exp (/ (tan (* PI l)) (* F F)))
  (/ (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l))) (* (* (* F F) F) (* (* F F) F)))
  (/ (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l))) (* (* (* F F) (* F F)) (* F F)))
  (* (cbrt (/ (tan (* PI l)) (* F F))) (cbrt (/ (tan (* PI l)) (* F F))))
  (cbrt (/ (tan (* PI l)) (* F F)))
  (* (* (/ (tan (* PI l)) (* F F)) (/ (tan (* PI l)) (* F F))) (/ (tan (* PI l)) (* F F)))
  (sqrt (/ (tan (* PI l)) (* F F)))
  (sqrt (/ (tan (* PI l)) (* F F)))
  (neg (tan (* PI l)))
  (neg (* F F))
  (/ (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))) F)
  (/ (cbrt (tan (* PI l))) F)
  (/ (sqrt (tan (* PI l))) F)
  (/ (sqrt (tan (* PI l))) F)
  (/ 1 F)
  (/ (tan (* PI l)) F)
  (/ 1 (* F F))
  (/ (* F F) (tan (* PI l)))
  (/ (tan (* PI l)) F)
  (/ (* F F) (cbrt (tan (* PI l))))
  (/ (* F F) (sqrt (tan (* PI l))))
  (/ (* F F) (tan (* PI l)))
  (* (* F F) (cos (* 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)
  (* 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/3 (/ (* (pow PI 3) (pow l 3)) (pow F 2))) (+ (* 2/15 (/ (* (pow PI 5) (pow l 5)) (pow F 2))) (/ (* PI l) (pow F 2))))
  (/ (sin (* PI l)) (* (cos (* PI l)) (pow F 2)))
  (/ (sin (* PI l)) (* (cos (* PI l)) (pow F 2)))
  (* PI l)
  (* PI l)
  (* PI l)
  (* PI l)
  (* PI l)
  (* PI l)
1.627 * * [simplify]: iteration  0 :  5225  enodes  (cost  541 )
1.630 * [simplify]: Simplified to:
   (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)))
  (log (/ (tan (* PI l)) (* F F)))
  (log (/ (tan (* PI l)) (* F F)))
  (log (/ (tan (* PI l)) (* F F)))
  (exp (/ (tan (* PI l)) (* F F)))
  (/ (pow (tan (* PI l)) 3) (pow F 6))
  (/ (pow (tan (* PI l)) 3) (pow F 6))
  (* (cbrt (/ (tan (* PI l)) (* F F))) (cbrt (/ (tan (* PI l)) (* F F))))
  (cbrt (/ (tan (* PI l)) (* F F)))
  (/ (pow (tan (* PI l)) 3) (pow F 6))
  (sqrt (/ (tan (* PI l)) (* F F)))
  (sqrt (/ (tan (* PI l)) (* F F)))
  (neg (tan (* PI l)))
  (* F (neg F))
  (* (cbrt (tan (* PI l))) (/ (cbrt (tan (* PI l))) F))
  (/ (cbrt (tan (* PI l))) F)
  (/ (sqrt (tan (* PI l))) F)
  (/ (sqrt (tan (* PI l))) F)
  (/ 1 F)
  (/ (tan (* PI l)) F)
  (/ 1 (* F F))
  (* F (/ F (tan (* PI l))))
  (/ (tan (* PI l)) F)
  (* F (/ F (cbrt (tan (* PI l)))))
  (* F (/ F (sqrt (tan (* PI l)))))
  (* F (/ F (tan (* PI l))))
  (* (cos (* PI l)) (* F F))
  (* PI l)
  (log (* PI l))
  (log (* PI l))
  (pow (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
  (* l (cbrt PI))
  (* l (sqrt PI))
  (* PI l)
  (* PI l)
  (log (* PI l))
  (log (* PI l))
  (pow (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
  (* l (cbrt PI))
  (* l (sqrt PI))
  (* PI l)
  (+ (* PI l) (+ (* 2/15 (* (pow PI 5) (pow l 5))) (* (pow (* PI l) 3) 1/3)))
  (/ (sin (* PI l)) (cos (* PI l)))
  (/ (sin (* PI l)) (cos (* PI l)))
  (+ (* 1/3 (/ (pow (* PI l) 3) (* F F))) (+ (* 2/15 (* (pow l 5) (/ (pow PI 5) (* F F)))) (* l (/ PI (* F F)))))
  (/ (sin (* PI l)) (* (cos (* PI l)) (* F F)))
  (/ (sin (* PI l)) (* (cos (* PI l)) (* F F)))
  (* PI l)
  (* PI l)
  (* PI l)
  (* PI l)
  (* PI l)
  (* PI l)
1.631 * * * [progress]: adding candidates to table
1.728 * * [progress]: iteration 2 / 4
1.728 * * * [progress]: picking best candidate
1.781 * * * * [pick]: Picked  #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (/ (tan (* PI l)) F) F))))>
1.781 * * * [progress]: localizing error
1.791 * * * [progress]: generating rewritten candidates
1.791 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1)
1.792 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
1.796 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 1)
1.800 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
1.805 * * * [progress]: generating series expansions
1.805 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1)
1.805 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0
1.805 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
1.805 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.805 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.805 * [taylor]: Taking taylor expansion of (* PI l) in l
1.805 * [taylor]: Taking taylor expansion of PI in l
1.805 * [taylor]: Taking taylor expansion of l in l
1.805 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.805 * [taylor]: Taking taylor expansion of (* PI l) in l
1.805 * [taylor]: Taking taylor expansion of PI in l
1.805 * [taylor]: Taking taylor expansion of l in l
1.805 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
1.805 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.805 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.805 * [taylor]: Taking taylor expansion of (* PI l) in l
1.805 * [taylor]: Taking taylor expansion of PI in l
1.805 * [taylor]: Taking taylor expansion of l in l
1.805 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.805 * [taylor]: Taking taylor expansion of (* PI l) in l
1.805 * [taylor]: Taking taylor expansion of PI in l
1.805 * [taylor]: Taking taylor expansion of l in l
1.808 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0
1.808 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
1.808 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.808 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.808 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.808 * [taylor]: Taking taylor expansion of PI in l
1.808 * [taylor]: Taking taylor expansion of l in l
1.808 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.808 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.808 * [taylor]: Taking taylor expansion of PI in l
1.808 * [taylor]: Taking taylor expansion of l in l
1.808 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
1.809 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.809 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.809 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.809 * [taylor]: Taking taylor expansion of PI in l
1.809 * [taylor]: Taking taylor expansion of l in l
1.809 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.809 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.809 * [taylor]: Taking taylor expansion of PI in l
1.809 * [taylor]: Taking taylor expansion of l in l
1.810 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0
1.810 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
1.810 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.810 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.810 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.810 * [taylor]: Taking taylor expansion of -1 in l
1.810 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.810 * [taylor]: Taking taylor expansion of PI in l
1.810 * [taylor]: Taking taylor expansion of l in l
1.810 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.810 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.810 * [taylor]: Taking taylor expansion of -1 in l
1.810 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.811 * [taylor]: Taking taylor expansion of PI in l
1.811 * [taylor]: Taking taylor expansion of l in l
1.811 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
1.811 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.811 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.811 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.811 * [taylor]: Taking taylor expansion of -1 in l
1.811 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.811 * [taylor]: Taking taylor expansion of PI in l
1.811 * [taylor]: Taking taylor expansion of l in l
1.811 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.811 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.811 * [taylor]: Taking taylor expansion of -1 in l
1.811 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.811 * [taylor]: Taking taylor expansion of PI in l
1.811 * [taylor]: Taking taylor expansion of l in l
1.813 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
1.813 * [approximate]: Taking taylor expansion of (/ (tan (* PI l)) F) in (l F) around 0
1.813 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in F
1.813 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F
1.813 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.813 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F
1.813 * [taylor]: Taking taylor expansion of (* PI l) in F
1.813 * [taylor]: Taking taylor expansion of PI in F
1.813 * [taylor]: Taking taylor expansion of l in F
1.813 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F
1.813 * [taylor]: Taking taylor expansion of (* PI l) in F
1.813 * [taylor]: Taking taylor expansion of PI in F
1.813 * [taylor]: Taking taylor expansion of l in F
1.813 * [taylor]: Taking taylor expansion of F in F
1.814 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in l
1.814 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
1.814 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.814 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.814 * [taylor]: Taking taylor expansion of (* PI l) in l
1.814 * [taylor]: Taking taylor expansion of PI in l
1.814 * [taylor]: Taking taylor expansion of l in l
1.814 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.814 * [taylor]: Taking taylor expansion of (* PI l) in l
1.814 * [taylor]: Taking taylor expansion of PI in l
1.814 * [taylor]: Taking taylor expansion of l in l
1.814 * [taylor]: Taking taylor expansion of F in l
1.814 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in l
1.814 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
1.814 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
1.814 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
1.814 * [taylor]: Taking taylor expansion of (* PI l) in l
1.814 * [taylor]: Taking taylor expansion of PI in l
1.814 * [taylor]: Taking taylor expansion of l in l
1.814 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
1.814 * [taylor]: Taking taylor expansion of (* PI l) in l
1.814 * [taylor]: Taking taylor expansion of PI in l
1.814 * [taylor]: Taking taylor expansion of l in l
1.814 * [taylor]: Taking taylor expansion of F in l
1.814 * [taylor]: Taking taylor expansion of (/ PI F) in F
1.814 * [taylor]: Taking taylor expansion of PI in F
1.814 * [taylor]: Taking taylor expansion of F in F
1.815 * [taylor]: Taking taylor expansion of 0 in F
1.815 * [taylor]: Taking taylor expansion of (* 1/3 (/ (pow PI 3) F)) in F
1.815 * [taylor]: Taking taylor expansion of 1/3 in F
1.815 * [taylor]: Taking taylor expansion of (/ (pow PI 3) F) in F
1.815 * [taylor]: Taking taylor expansion of (pow PI 3) in F
1.815 * [taylor]: Taking taylor expansion of PI in F
1.815 * [taylor]: Taking taylor expansion of F in F
1.816 * [taylor]: Taking taylor expansion of 0 in F
1.818 * [taylor]: Taking taylor expansion of (* 2/15 (/ (pow PI 5) F)) in F
1.818 * [taylor]: Taking taylor expansion of 2/15 in F
1.818 * [taylor]: Taking taylor expansion of (/ (pow PI 5) F) in F
1.818 * [taylor]: Taking taylor expansion of (pow PI 5) in F
1.818 * [taylor]: Taking taylor expansion of PI in F
1.818 * [taylor]: Taking taylor expansion of F in F
1.819 * [approximate]: Taking taylor expansion of (* (tan (/ PI l)) F) in (l F) around 0
1.819 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in F
1.819 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F
1.819 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.819 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F
1.819 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.819 * [taylor]: Taking taylor expansion of PI in F
1.819 * [taylor]: Taking taylor expansion of l in F
1.819 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F
1.819 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.819 * [taylor]: Taking taylor expansion of PI in F
1.819 * [taylor]: Taking taylor expansion of l in F
1.819 * [taylor]: Taking taylor expansion of F in F
1.819 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in l
1.819 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
1.819 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.819 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.819 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.819 * [taylor]: Taking taylor expansion of PI in l
1.819 * [taylor]: Taking taylor expansion of l in l
1.819 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.820 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.820 * [taylor]: Taking taylor expansion of PI in l
1.820 * [taylor]: Taking taylor expansion of l in l
1.820 * [taylor]: Taking taylor expansion of F in l
1.820 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in l
1.820 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
1.820 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
1.820 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
1.820 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.820 * [taylor]: Taking taylor expansion of PI in l
1.820 * [taylor]: Taking taylor expansion of l in l
1.820 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
1.820 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.820 * [taylor]: Taking taylor expansion of PI in l
1.820 * [taylor]: Taking taylor expansion of l in l
1.820 * [taylor]: Taking taylor expansion of F in l
1.820 * [taylor]: Taking taylor expansion of (/ (* (sin (/ PI l)) F) (cos (/ PI l))) in F
1.820 * [taylor]: Taking taylor expansion of (* (sin (/ PI l)) F) in F
1.820 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F
1.820 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.820 * [taylor]: Taking taylor expansion of PI in F
1.820 * [taylor]: Taking taylor expansion of l in F
1.820 * [taylor]: Taking taylor expansion of F in F
1.820 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F
1.820 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.820 * [taylor]: Taking taylor expansion of PI in F
1.820 * [taylor]: Taking taylor expansion of l in F
1.821 * [taylor]: Taking taylor expansion of 0 in F
1.821 * [taylor]: Taking taylor expansion of 0 in F
1.822 * [taylor]: Taking taylor expansion of 0 in F
1.823 * [approximate]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) F)) in (l F) around 0
1.823 * [taylor]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) F)) in F
1.823 * [taylor]: Taking taylor expansion of -1 in F
1.823 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in F
1.823 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F
1.823 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.823 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F
1.823 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.823 * [taylor]: Taking taylor expansion of -1 in F
1.823 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.823 * [taylor]: Taking taylor expansion of PI in F
1.823 * [taylor]: Taking taylor expansion of l in F
1.823 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F
1.823 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.823 * [taylor]: Taking taylor expansion of -1 in F
1.823 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.823 * [taylor]: Taking taylor expansion of PI in F
1.823 * [taylor]: Taking taylor expansion of l in F
1.823 * [taylor]: Taking taylor expansion of F in F
1.823 * [taylor]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) F)) in l
1.823 * [taylor]: Taking taylor expansion of -1 in l
1.823 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in l
1.823 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
1.823 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.823 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.823 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.824 * [taylor]: Taking taylor expansion of -1 in l
1.824 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.824 * [taylor]: Taking taylor expansion of PI in l
1.824 * [taylor]: Taking taylor expansion of l in l
1.824 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.824 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.824 * [taylor]: Taking taylor expansion of -1 in l
1.824 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.824 * [taylor]: Taking taylor expansion of PI in l
1.824 * [taylor]: Taking taylor expansion of l in l
1.824 * [taylor]: Taking taylor expansion of F in l
1.824 * [taylor]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) F)) in l
1.824 * [taylor]: Taking taylor expansion of -1 in l
1.824 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in l
1.824 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
1.824 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
1.824 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
1.824 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.824 * [taylor]: Taking taylor expansion of -1 in l
1.824 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.824 * [taylor]: Taking taylor expansion of PI in l
1.824 * [taylor]: Taking taylor expansion of l in l
1.824 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
1.824 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.824 * [taylor]: Taking taylor expansion of -1 in l
1.824 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.824 * [taylor]: Taking taylor expansion of PI in l
1.824 * [taylor]: Taking taylor expansion of l in l
1.824 * [taylor]: Taking taylor expansion of F in l
1.825 * [taylor]: Taking taylor expansion of (* -1 (/ (* F (sin (* -1 (/ PI l)))) (cos (* -1 (/ PI l))))) in F
1.825 * [taylor]: Taking taylor expansion of -1 in F
1.825 * [taylor]: Taking taylor expansion of (/ (* F (sin (* -1 (/ PI l)))) (cos (* -1 (/ PI l)))) in F
1.825 * [taylor]: Taking taylor expansion of (* F (sin (* -1 (/ PI l)))) in F
1.825 * [taylor]: Taking taylor expansion of F in F
1.825 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F
1.825 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.825 * [taylor]: Taking taylor expansion of -1 in F
1.825 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.825 * [taylor]: Taking taylor expansion of PI in F
1.825 * [taylor]: Taking taylor expansion of l in F
1.825 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F
1.825 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
1.825 * [taylor]: Taking taylor expansion of -1 in F
1.825 * [taylor]: Taking taylor expansion of (/ PI l) in F
1.825 * [taylor]: Taking taylor expansion of PI in F
1.825 * [taylor]: Taking taylor expansion of l in F
1.826 * [taylor]: Taking taylor expansion of 0 in F
1.827 * [taylor]: Taking taylor expansion of 0 in F
1.828 * [taylor]: Taking taylor expansion of 0 in F
1.828 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 1)
1.828 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0
1.828 * [taylor]: Taking taylor expansion of (* PI l) in l
1.828 * [taylor]: Taking taylor expansion of PI in l
1.828 * [taylor]: Taking taylor expansion of l in l
1.828 * [taylor]: Taking taylor expansion of (* PI l) in l
1.828 * [taylor]: Taking taylor expansion of PI in l
1.828 * [taylor]: Taking taylor expansion of l in l
1.829 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0
1.829 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.829 * [taylor]: Taking taylor expansion of PI in l
1.829 * [taylor]: Taking taylor expansion of l in l
1.829 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.829 * [taylor]: Taking taylor expansion of PI in l
1.829 * [taylor]: Taking taylor expansion of l in l
1.830 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0
1.830 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.830 * [taylor]: Taking taylor expansion of -1 in l
1.830 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.830 * [taylor]: Taking taylor expansion of PI in l
1.830 * [taylor]: Taking taylor expansion of l in l
1.830 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.830 * [taylor]: Taking taylor expansion of -1 in l
1.830 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.830 * [taylor]: Taking taylor expansion of PI in l
1.830 * [taylor]: Taking taylor expansion of l in l
1.830 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
1.831 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0
1.831 * [taylor]: Taking taylor expansion of (* PI l) in l
1.831 * [taylor]: Taking taylor expansion of PI in l
1.831 * [taylor]: Taking taylor expansion of l in l
1.831 * [taylor]: Taking taylor expansion of (* PI l) in l
1.831 * [taylor]: Taking taylor expansion of PI in l
1.831 * [taylor]: Taking taylor expansion of l in l
1.831 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0
1.831 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.831 * [taylor]: Taking taylor expansion of PI in l
1.831 * [taylor]: Taking taylor expansion of l in l
1.831 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.831 * [taylor]: Taking taylor expansion of PI in l
1.831 * [taylor]: Taking taylor expansion of l in l
1.832 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0
1.832 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.832 * [taylor]: Taking taylor expansion of -1 in l
1.832 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.832 * [taylor]: Taking taylor expansion of PI in l
1.832 * [taylor]: Taking taylor expansion of l in l
1.832 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
1.832 * [taylor]: Taking taylor expansion of -1 in l
1.832 * [taylor]: Taking taylor expansion of (/ PI l) in l
1.832 * [taylor]: Taking taylor expansion of PI in l
1.832 * [taylor]: Taking taylor expansion of l in l
1.833 * * * [progress]: simplifying candidates
1.834 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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)))
  (- (log (tan (* PI l))) (log F))
  (log (/ (tan (* PI l)) F))
  (exp (/ (tan (* PI l)) F))
  (/ (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l))) (* (* F F) F))
  (* (cbrt (/ (tan (* PI l)) F)) (cbrt (/ (tan (* PI l)) F)))
  (cbrt (/ (tan (* PI l)) F))
  (* (* (/ (tan (* PI l)) F) (/ (tan (* PI l)) F)) (/ (tan (* PI l)) F))
  (sqrt (/ (tan (* PI l)) F))
  (sqrt (/ (tan (* PI l)) F))
  (neg (tan (* PI l)))
  (neg F)
  (/ (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))) (* (cbrt F) (cbrt F)))
  (/ (cbrt (tan (* PI l))) (cbrt F))
  (/ (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))) (sqrt F))
  (/ (cbrt (tan (* PI l))) (sqrt F))
  (/ (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))) 1)
  (/ (cbrt (tan (* PI l))) F)
  (/ (sqrt (tan (* PI l))) (* (cbrt F) (cbrt F)))
  (/ (sqrt (tan (* PI l))) (cbrt F))
  (/ (sqrt (tan (* PI l))) (sqrt F))
  (/ (sqrt (tan (* PI l))) (sqrt F))
  (/ (sqrt (tan (* PI l))) 1)
  (/ (sqrt (tan (* PI l))) F)
  (/ 1 (* (cbrt F) (cbrt F)))
  (/ (tan (* PI l)) (cbrt F))
  (/ 1 (sqrt F))
  (/ (tan (* PI l)) (sqrt F))
  (/ 1 1)
  (/ (tan (* PI l)) F)
  (/ 1 F)
  (/ F (tan (* PI l)))
  (/ (tan (* PI l)) (* (cbrt F) (cbrt F)))
  (/ (tan (* PI l)) (sqrt F))
  (/ (tan (* PI l)) 1)
  (/ F (cbrt (tan (* PI l))))
  (/ F (sqrt (tan (* PI l))))
  (/ F (tan (* PI l)))
  (* F (cos (* 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)
  (* 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)))
  (+ (/ (* PI l) F) (+ (* 1/3 (/ (* (pow PI 3) (pow l 3)) F)) (* 2/15 (/ (* (pow PI 5) (pow l 5)) F))))
  (/ (sin (* PI l)) (* (cos (* PI l)) F))
  (/ (sin (* PI l)) (* (cos (* PI l)) F))
  (* PI l)
  (* PI l)
  (* PI l)
  (* PI l)
  (* PI l)
  (* PI l)
1.897 * * [simplify]: iteration  0 :  4715  enodes  (cost  594 )
1.898 * * [simplify]: iteration  1 :  4715  enodes  (cost  594 )
1.900 * [simplify]: Simplified to:
   (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)))
  (log (/ (tan (* PI l)) F))
  (log (/ (tan (* PI l)) F))
  (exp (/ (tan (* PI l)) F))
  (pow (/ (tan (* PI l)) F) 3)
  (* (cbrt (/ (tan (* PI l)) F)) (cbrt (/ (tan (* PI l)) F)))
  (cbrt (/ (tan (* PI l)) F))
  (pow (/ (tan (* PI l)) F) 3)
  (sqrt (/ (tan (* PI l)) F))
  (sqrt (/ (tan (* PI l)) F))
  (neg (tan (* PI l)))
  (neg F)
  (* (cbrt (tan (* PI l))) (/ (cbrt (tan (* PI l))) (* (cbrt F) (cbrt F))))
  (/ (cbrt (tan (* PI l))) (cbrt F))
  (* (cbrt (tan (* PI l))) (/ (cbrt (tan (* PI l))) (sqrt F)))
  (/ (cbrt (tan (* PI l))) (sqrt F))
  (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))
  (/ (cbrt (tan (* PI l))) F)
  (/ (sqrt (tan (* PI l))) (* (cbrt F) (cbrt F)))
  (/ (sqrt (tan (* PI l))) (cbrt F))
  (/ (sqrt (tan (* PI l))) (sqrt F))
  (/ (sqrt (tan (* PI l))) (sqrt F))
  (sqrt (tan (* PI l)))
  (/ (sqrt (tan (* PI l))) F)
  (/ 1 (* (cbrt F) (cbrt F)))
  (/ (tan (* PI l)) (cbrt F))
  (/ 1 (sqrt F))
  (/ (tan (* PI l)) (sqrt F))
  1
  (/ (tan (* PI l)) F)
  (/ 1 F)
  (/ F (tan (* PI l)))
  (/ (tan (* PI l)) (* (cbrt F) (cbrt F)))
  (/ (tan (* PI l)) (sqrt F))
  (tan (* PI l))
  (/ F (cbrt (tan (* PI l))))
  (/ F (sqrt (tan (* PI l))))
  (/ F (tan (* PI l)))
  (* (cos (* PI l)) F)
  (* PI l)
  (log (* PI l))
  (log (* PI l))
  (pow (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
  (* l (cbrt PI))
  (* l (sqrt PI))
  (* PI l)
  (* PI l)
  (log (* PI l))
  (log (* PI l))
  (pow (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
  (* l (cbrt PI))
  (* l (sqrt PI))
  (* PI l)
  (+ (* PI l) (+ (* 2/15 (* (pow PI 5) (pow l 5))) (* (pow (* PI l) 3) 1/3)))
  (/ (sin (* PI l)) (cos (* PI l)))
  (/ (sin (* PI l)) (cos (* PI l)))
  (+ (* PI (/ l F)) (+ (* (pow (* PI l) 3) (/ 1/3 F)) (* 2/15 (* (pow PI 5) (/ (pow l 5) F)))))
  (/ (sin (* PI l)) (* (cos (* PI l)) F))
  (/ (sin (* PI l)) (* (cos (* PI l)) F))
  (* PI l)
  (* PI l)
  (* PI l)
  (* PI l)
  (* PI l)
  (* PI l)
1.901 * * * [progress]: adding candidates to table
1.980 * * [progress]: iteration 3 / 4
1.980 * * * [progress]: picking best candidate
2.029 * * * * [pick]: Picked  #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (/ 1 (/ F (tan (* PI l)))) F))))>
2.029 * * * [progress]: localizing error
2.039 * * * [progress]: generating rewritten candidates
2.040 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2 2)
2.041 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
2.048 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2)
2.052 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2 2 1)
2.060 * * * [progress]: generating series expansions
2.060 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2 2)
2.060 * [approximate]: Taking taylor expansion of (tan (* PI l)) in (l) around 0
2.060 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
2.060 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
2.060 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
2.060 * [taylor]: Taking taylor expansion of (* PI l) in l
2.060 * [taylor]: Taking taylor expansion of PI in l
2.060 * [taylor]: Taking taylor expansion of l in l
2.060 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
2.060 * [taylor]: Taking taylor expansion of (* PI l) in l
2.060 * [taylor]: Taking taylor expansion of PI in l
2.060 * [taylor]: Taking taylor expansion of l in l
2.060 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
2.060 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
2.060 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
2.060 * [taylor]: Taking taylor expansion of (* PI l) in l
2.060 * [taylor]: Taking taylor expansion of PI in l
2.060 * [taylor]: Taking taylor expansion of l in l
2.061 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
2.061 * [taylor]: Taking taylor expansion of (* PI l) in l
2.061 * [taylor]: Taking taylor expansion of PI in l
2.061 * [taylor]: Taking taylor expansion of l in l
2.063 * [approximate]: Taking taylor expansion of (tan (/ PI l)) in (l) around 0
2.063 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
2.063 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
2.063 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
2.063 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.063 * [taylor]: Taking taylor expansion of PI in l
2.063 * [taylor]: Taking taylor expansion of l in l
2.063 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
2.063 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.063 * [taylor]: Taking taylor expansion of PI in l
2.063 * [taylor]: Taking taylor expansion of l in l
2.064 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
2.064 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
2.064 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
2.064 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.064 * [taylor]: Taking taylor expansion of PI in l
2.064 * [taylor]: Taking taylor expansion of l in l
2.064 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
2.064 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.064 * [taylor]: Taking taylor expansion of PI in l
2.064 * [taylor]: Taking taylor expansion of l in l
2.065 * [approximate]: Taking taylor expansion of (tan (* -1 (/ PI l))) in (l) around 0
2.065 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
2.065 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
2.065 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
2.065 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.065 * [taylor]: Taking taylor expansion of -1 in l
2.065 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.065 * [taylor]: Taking taylor expansion of PI in l
2.065 * [taylor]: Taking taylor expansion of l in l
2.066 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
2.066 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.066 * [taylor]: Taking taylor expansion of -1 in l
2.066 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.066 * [taylor]: Taking taylor expansion of PI in l
2.066 * [taylor]: Taking taylor expansion of l in l
2.066 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
2.066 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
2.066 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
2.066 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.066 * [taylor]: Taking taylor expansion of -1 in l
2.066 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.066 * [taylor]: Taking taylor expansion of PI in l
2.066 * [taylor]: Taking taylor expansion of l in l
2.066 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
2.066 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.066 * [taylor]: Taking taylor expansion of -1 in l
2.066 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.066 * [taylor]: Taking taylor expansion of PI in l
2.066 * [taylor]: Taking taylor expansion of l in l
2.068 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
2.068 * [approximate]: Taking taylor expansion of (/ (tan (* PI l)) F) in (F l) around 0
2.068 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in l
2.068 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
2.068 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
2.068 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
2.068 * [taylor]: Taking taylor expansion of (* PI l) in l
2.068 * [taylor]: Taking taylor expansion of PI in l
2.068 * [taylor]: Taking taylor expansion of l in l
2.068 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
2.068 * [taylor]: Taking taylor expansion of (* PI l) in l
2.068 * [taylor]: Taking taylor expansion of PI in l
2.068 * [taylor]: Taking taylor expansion of l in l
2.068 * [taylor]: Taking taylor expansion of F in l
2.068 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in F
2.068 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F
2.068 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
2.068 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F
2.068 * [taylor]: Taking taylor expansion of (* PI l) in F
2.068 * [taylor]: Taking taylor expansion of PI in F
2.069 * [taylor]: Taking taylor expansion of l in F
2.069 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F
2.069 * [taylor]: Taking taylor expansion of (* PI l) in F
2.069 * [taylor]: Taking taylor expansion of PI in F
2.069 * [taylor]: Taking taylor expansion of l in F
2.069 * [taylor]: Taking taylor expansion of F in F
2.069 * [taylor]: Taking taylor expansion of (/ (tan (* PI l)) F) in F
2.069 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F
2.069 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
2.069 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F
2.069 * [taylor]: Taking taylor expansion of (* PI l) in F
2.069 * [taylor]: Taking taylor expansion of PI in F
2.069 * [taylor]: Taking taylor expansion of l in F
2.069 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F
2.069 * [taylor]: Taking taylor expansion of (* PI l) in F
2.069 * [taylor]: Taking taylor expansion of PI in F
2.069 * [taylor]: Taking taylor expansion of l in F
2.069 * [taylor]: Taking taylor expansion of F in F
2.070 * [taylor]: Taking taylor expansion of (/ (sin (* PI l)) (cos (* PI l))) in l
2.070 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
2.070 * [taylor]: Taking taylor expansion of (* PI l) in l
2.070 * [taylor]: Taking taylor expansion of PI in l
2.070 * [taylor]: Taking taylor expansion of l in l
2.070 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
2.070 * [taylor]: Taking taylor expansion of (* PI l) in l
2.070 * [taylor]: Taking taylor expansion of PI in l
2.070 * [taylor]: Taking taylor expansion of l in l
2.070 * [taylor]: Taking taylor expansion of 0 in l
2.071 * [taylor]: Taking taylor expansion of 0 in l
2.073 * [taylor]: Taking taylor expansion of 0 in l
2.075 * [taylor]: Taking taylor expansion of 0 in l
2.075 * [approximate]: Taking taylor expansion of (* (tan (/ PI l)) F) in (F l) around 0
2.075 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in l
2.075 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
2.075 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
2.075 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
2.075 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.075 * [taylor]: Taking taylor expansion of PI in l
2.075 * [taylor]: Taking taylor expansion of l in l
2.075 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
2.075 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.075 * [taylor]: Taking taylor expansion of PI in l
2.075 * [taylor]: Taking taylor expansion of l in l
2.075 * [taylor]: Taking taylor expansion of F in l
2.075 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in F
2.075 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F
2.075 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
2.075 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F
2.076 * [taylor]: Taking taylor expansion of (/ PI l) in F
2.076 * [taylor]: Taking taylor expansion of PI in F
2.076 * [taylor]: Taking taylor expansion of l in F
2.076 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F
2.076 * [taylor]: Taking taylor expansion of (/ PI l) in F
2.076 * [taylor]: Taking taylor expansion of PI in F
2.076 * [taylor]: Taking taylor expansion of l in F
2.076 * [taylor]: Taking taylor expansion of F in F
2.076 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in F
2.076 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F
2.076 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
2.076 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F
2.076 * [taylor]: Taking taylor expansion of (/ PI l) in F
2.076 * [taylor]: Taking taylor expansion of PI in F
2.076 * [taylor]: Taking taylor expansion of l in F
2.076 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F
2.076 * [taylor]: Taking taylor expansion of (/ PI l) in F
2.076 * [taylor]: Taking taylor expansion of PI in F
2.076 * [taylor]: Taking taylor expansion of l in F
2.077 * [taylor]: Taking taylor expansion of F in F
2.077 * [taylor]: Taking taylor expansion of 0 in l
2.077 * [taylor]: Taking taylor expansion of (/ (sin (/ PI l)) (cos (/ PI l))) in l
2.077 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
2.077 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.077 * [taylor]: Taking taylor expansion of PI in l
2.077 * [taylor]: Taking taylor expansion of l in l
2.077 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
2.077 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.077 * [taylor]: Taking taylor expansion of PI in l
2.077 * [taylor]: Taking taylor expansion of l in l
2.078 * [taylor]: Taking taylor expansion of 0 in l
2.080 * [taylor]: Taking taylor expansion of 0 in l
2.080 * [approximate]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) F)) in (F l) around 0
2.080 * [taylor]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) F)) in l
2.080 * [taylor]: Taking taylor expansion of -1 in l
2.080 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in l
2.080 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
2.080 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
2.080 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
2.080 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.080 * [taylor]: Taking taylor expansion of -1 in l
2.080 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.080 * [taylor]: Taking taylor expansion of PI in l
2.080 * [taylor]: Taking taylor expansion of l in l
2.080 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
2.080 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.080 * [taylor]: Taking taylor expansion of -1 in l
2.080 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.080 * [taylor]: Taking taylor expansion of PI in l
2.080 * [taylor]: Taking taylor expansion of l in l
2.080 * [taylor]: Taking taylor expansion of F in l
2.080 * [taylor]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) F)) in F
2.080 * [taylor]: Taking taylor expansion of -1 in F
2.080 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in F
2.080 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F
2.080 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
2.080 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F
2.080 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
2.080 * [taylor]: Taking taylor expansion of -1 in F
2.080 * [taylor]: Taking taylor expansion of (/ PI l) in F
2.081 * [taylor]: Taking taylor expansion of PI in F
2.081 * [taylor]: Taking taylor expansion of l in F
2.081 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F
2.081 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
2.081 * [taylor]: Taking taylor expansion of -1 in F
2.081 * [taylor]: Taking taylor expansion of (/ PI l) in F
2.081 * [taylor]: Taking taylor expansion of PI in F
2.081 * [taylor]: Taking taylor expansion of l in F
2.081 * [taylor]: Taking taylor expansion of F in F
2.081 * [taylor]: Taking taylor expansion of (* -1 (* (tan (* -1 (/ PI l))) F)) in F
2.081 * [taylor]: Taking taylor expansion of -1 in F
2.081 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in F
2.081 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F
2.081 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
2.081 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F
2.081 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
2.081 * [taylor]: Taking taylor expansion of -1 in F
2.081 * [taylor]: Taking taylor expansion of (/ PI l) in F
2.081 * [taylor]: Taking taylor expansion of PI in F
2.081 * [taylor]: Taking taylor expansion of l in F
2.081 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F
2.081 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
2.081 * [taylor]: Taking taylor expansion of -1 in F
2.081 * [taylor]: Taking taylor expansion of (/ PI l) in F
2.082 * [taylor]: Taking taylor expansion of PI in F
2.082 * [taylor]: Taking taylor expansion of l in F
2.082 * [taylor]: Taking taylor expansion of F in F
2.082 * [taylor]: Taking taylor expansion of 0 in l
2.083 * [taylor]: Taking taylor expansion of (neg (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))) in l
2.083 * [taylor]: Taking taylor expansion of (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l)))) in l
2.083 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
2.083 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.083 * [taylor]: Taking taylor expansion of -1 in l
2.083 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.083 * [taylor]: Taking taylor expansion of PI in l
2.083 * [taylor]: Taking taylor expansion of l in l
2.083 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
2.083 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.083 * [taylor]: Taking taylor expansion of -1 in l
2.083 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.083 * [taylor]: Taking taylor expansion of PI in l
2.083 * [taylor]: Taking taylor expansion of l in l
2.085 * [taylor]: Taking taylor expansion of 0 in l
2.086 * [taylor]: Taking taylor expansion of 0 in l
2.086 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2)
2.086 * [approximate]: Taking taylor expansion of (/ F (tan (* PI l))) in (F l) around 0
2.086 * [taylor]: Taking taylor expansion of (/ F (tan (* PI l))) in l
2.086 * [taylor]: Taking taylor expansion of F in l
2.086 * [taylor]: Taking taylor expansion of (tan (* PI l)) in l
2.087 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
2.087 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
2.087 * [taylor]: Taking taylor expansion of (* PI l) in l
2.087 * [taylor]: Taking taylor expansion of PI in l
2.087 * [taylor]: Taking taylor expansion of l in l
2.087 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
2.087 * [taylor]: Taking taylor expansion of (* PI l) in l
2.087 * [taylor]: Taking taylor expansion of PI in l
2.087 * [taylor]: Taking taylor expansion of l in l
2.087 * [taylor]: Taking taylor expansion of (/ F (tan (* PI l))) in F
2.087 * [taylor]: Taking taylor expansion of F in F
2.087 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F
2.087 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
2.087 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F
2.087 * [taylor]: Taking taylor expansion of (* PI l) in F
2.087 * [taylor]: Taking taylor expansion of PI in F
2.087 * [taylor]: Taking taylor expansion of l in F
2.087 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F
2.087 * [taylor]: Taking taylor expansion of (* PI l) in F
2.087 * [taylor]: Taking taylor expansion of PI in F
2.087 * [taylor]: Taking taylor expansion of l in F
2.087 * [taylor]: Taking taylor expansion of (/ F (tan (* PI l))) in F
2.087 * [taylor]: Taking taylor expansion of F in F
2.087 * [taylor]: Taking taylor expansion of (tan (* PI l)) in F
2.088 * [taylor]: Rewrote expression to (/ (sin (* PI l)) (cos (* PI l)))
2.088 * [taylor]: Taking taylor expansion of (sin (* PI l)) in F
2.088 * [taylor]: Taking taylor expansion of (* PI l) in F
2.088 * [taylor]: Taking taylor expansion of PI in F
2.088 * [taylor]: Taking taylor expansion of l in F
2.088 * [taylor]: Taking taylor expansion of (cos (* PI l)) in F
2.088 * [taylor]: Taking taylor expansion of (* PI l) in F
2.088 * [taylor]: Taking taylor expansion of PI in F
2.088 * [taylor]: Taking taylor expansion of l in F
2.088 * [taylor]: Taking taylor expansion of (/ (cos (* PI l)) (sin (* PI l))) in l
2.088 * [taylor]: Taking taylor expansion of (cos (* PI l)) in l
2.088 * [taylor]: Taking taylor expansion of (* PI l) in l
2.088 * [taylor]: Taking taylor expansion of PI in l
2.088 * [taylor]: Taking taylor expansion of l in l
2.088 * [taylor]: Taking taylor expansion of (sin (* PI l)) in l
2.088 * [taylor]: Taking taylor expansion of (* PI l) in l
2.088 * [taylor]: Taking taylor expansion of PI in l
2.088 * [taylor]: Taking taylor expansion of l in l
2.089 * [taylor]: Taking taylor expansion of 0 in l
2.090 * [taylor]: Taking taylor expansion of 0 in l
2.092 * [taylor]: Taking taylor expansion of 0 in l
2.094 * [taylor]: Taking taylor expansion of 0 in l
2.094 * [approximate]: Taking taylor expansion of (/ 1 (* (tan (/ PI l)) F)) in (F l) around 0
2.094 * [taylor]: Taking taylor expansion of (/ 1 (* (tan (/ PI l)) F)) in l
2.094 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in l
2.094 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in l
2.094 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
2.094 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
2.094 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.094 * [taylor]: Taking taylor expansion of PI in l
2.094 * [taylor]: Taking taylor expansion of l in l
2.097 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
2.097 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.097 * [taylor]: Taking taylor expansion of PI in l
2.097 * [taylor]: Taking taylor expansion of l in l
2.097 * [taylor]: Taking taylor expansion of F in l
2.097 * [taylor]: Taking taylor expansion of (/ 1 (* (tan (/ PI l)) F)) in F
2.097 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in F
2.097 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F
2.097 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
2.097 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F
2.097 * [taylor]: Taking taylor expansion of (/ PI l) in F
2.097 * [taylor]: Taking taylor expansion of PI in F
2.097 * [taylor]: Taking taylor expansion of l in F
2.097 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F
2.097 * [taylor]: Taking taylor expansion of (/ PI l) in F
2.097 * [taylor]: Taking taylor expansion of PI in F
2.097 * [taylor]: Taking taylor expansion of l in F
2.098 * [taylor]: Taking taylor expansion of F in F
2.099 * [taylor]: Taking taylor expansion of (/ 1 (* (tan (/ PI l)) F)) in F
2.099 * [taylor]: Taking taylor expansion of (* (tan (/ PI l)) F) in F
2.099 * [taylor]: Taking taylor expansion of (tan (/ PI l)) in F
2.099 * [taylor]: Rewrote expression to (/ (sin (/ PI l)) (cos (/ PI l)))
2.099 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in F
2.099 * [taylor]: Taking taylor expansion of (/ PI l) in F
2.099 * [taylor]: Taking taylor expansion of PI in F
2.099 * [taylor]: Taking taylor expansion of l in F
2.099 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in F
2.099 * [taylor]: Taking taylor expansion of (/ PI l) in F
2.099 * [taylor]: Taking taylor expansion of PI in F
2.099 * [taylor]: Taking taylor expansion of l in F
2.099 * [taylor]: Taking taylor expansion of F in F
2.100 * [taylor]: Taking taylor expansion of (/ (cos (/ PI l)) (sin (/ PI l))) in l
2.100 * [taylor]: Taking taylor expansion of (cos (/ PI l)) in l
2.100 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.100 * [taylor]: Taking taylor expansion of PI in l
2.100 * [taylor]: Taking taylor expansion of l in l
2.100 * [taylor]: Taking taylor expansion of (sin (/ PI l)) in l
2.100 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.100 * [taylor]: Taking taylor expansion of PI in l
2.100 * [taylor]: Taking taylor expansion of l in l
2.101 * [taylor]: Taking taylor expansion of 0 in l
2.103 * [taylor]: Taking taylor expansion of 0 in l
2.105 * [taylor]: Taking taylor expansion of 0 in l
2.105 * [approximate]: Taking taylor expansion of (/ -1 (* (tan (* -1 (/ PI l))) F)) in (F l) around 0
2.105 * [taylor]: Taking taylor expansion of (/ -1 (* (tan (* -1 (/ PI l))) F)) in l
2.105 * [taylor]: Taking taylor expansion of -1 in l
2.105 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in l
2.105 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in l
2.105 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
2.105 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
2.105 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.105 * [taylor]: Taking taylor expansion of -1 in l
2.105 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.105 * [taylor]: Taking taylor expansion of PI in l
2.105 * [taylor]: Taking taylor expansion of l in l
2.105 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
2.105 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.105 * [taylor]: Taking taylor expansion of -1 in l
2.105 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.105 * [taylor]: Taking taylor expansion of PI in l
2.105 * [taylor]: Taking taylor expansion of l in l
2.105 * [taylor]: Taking taylor expansion of F in l
2.106 * [taylor]: Taking taylor expansion of (/ -1 (* (tan (* -1 (/ PI l))) F)) in F
2.106 * [taylor]: Taking taylor expansion of -1 in F
2.106 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in F
2.106 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F
2.106 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
2.106 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F
2.106 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
2.106 * [taylor]: Taking taylor expansion of -1 in F
2.106 * [taylor]: Taking taylor expansion of (/ PI l) in F
2.106 * [taylor]: Taking taylor expansion of PI in F
2.106 * [taylor]: Taking taylor expansion of l in F
2.106 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F
2.106 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
2.106 * [taylor]: Taking taylor expansion of -1 in F
2.106 * [taylor]: Taking taylor expansion of (/ PI l) in F
2.106 * [taylor]: Taking taylor expansion of PI in F
2.106 * [taylor]: Taking taylor expansion of l in F
2.106 * [taylor]: Taking taylor expansion of F in F
2.107 * [taylor]: Taking taylor expansion of (/ -1 (* (tan (* -1 (/ PI l))) F)) in F
2.107 * [taylor]: Taking taylor expansion of -1 in F
2.107 * [taylor]: Taking taylor expansion of (* (tan (* -1 (/ PI l))) F) in F
2.107 * [taylor]: Taking taylor expansion of (tan (* -1 (/ PI l))) in F
2.107 * [taylor]: Rewrote expression to (/ (sin (* -1 (/ PI l))) (cos (* -1 (/ PI l))))
2.107 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in F
2.107 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
2.107 * [taylor]: Taking taylor expansion of -1 in F
2.107 * [taylor]: Taking taylor expansion of (/ PI l) in F
2.107 * [taylor]: Taking taylor expansion of PI in F
2.107 * [taylor]: Taking taylor expansion of l in F
2.107 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in F
2.108 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in F
2.108 * [taylor]: Taking taylor expansion of -1 in F
2.108 * [taylor]: Taking taylor expansion of (/ PI l) in F
2.108 * [taylor]: Taking taylor expansion of PI in F
2.108 * [taylor]: Taking taylor expansion of l in F
2.108 * [taylor]: Taking taylor expansion of F in F
2.109 * [taylor]: Taking taylor expansion of (* -1 (/ (cos (* -1 (/ PI l))) (sin (* -1 (/ PI l))))) in l
2.109 * [taylor]: Taking taylor expansion of -1 in l
2.109 * [taylor]: Taking taylor expansion of (/ (cos (* -1 (/ PI l))) (sin (* -1 (/ PI l)))) in l
2.109 * [taylor]: Taking taylor expansion of (cos (* -1 (/ PI l))) in l
2.109 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.109 * [taylor]: Taking taylor expansion of -1 in l
2.109 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.109 * [taylor]: Taking taylor expansion of PI in l
2.109 * [taylor]: Taking taylor expansion of l in l
2.109 * [taylor]: Taking taylor expansion of (sin (* -1 (/ PI l))) in l
2.109 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.109 * [taylor]: Taking taylor expansion of -1 in l
2.109 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.109 * [taylor]: Taking taylor expansion of PI in l
2.109 * [taylor]: Taking taylor expansion of l in l
2.111 * [taylor]: Taking taylor expansion of 0 in l
2.112 * [taylor]: Taking taylor expansion of 0 in l
2.115 * [taylor]: Taking taylor expansion of 0 in l
2.115 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2 2 1)
2.115 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0
2.115 * [taylor]: Taking taylor expansion of (* PI l) in l
2.115 * [taylor]: Taking taylor expansion of PI in l
2.115 * [taylor]: Taking taylor expansion of l in l
2.115 * [taylor]: Taking taylor expansion of (* PI l) in l
2.115 * [taylor]: Taking taylor expansion of PI in l
2.115 * [taylor]: Taking taylor expansion of l in l
2.116 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0
2.116 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.116 * [taylor]: Taking taylor expansion of PI in l
2.116 * [taylor]: Taking taylor expansion of l in l
2.116 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.116 * [taylor]: Taking taylor expansion of PI in l
2.116 * [taylor]: Taking taylor expansion of l in l
2.116 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0
2.116 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.116 * [taylor]: Taking taylor expansion of -1 in l
2.116 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.117 * [taylor]: Taking taylor expansion of PI in l
2.117 * [taylor]: Taking taylor expansion of l in l
2.117 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.117 * [taylor]: Taking taylor expansion of -1 in l
2.117 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.117 * [taylor]: Taking taylor expansion of PI in l
2.117 * [taylor]: Taking taylor expansion of l in l
2.117 * * * [progress]: simplifying candidates
2.119 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (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)))
  (neg 1)
  (neg (- (log F) (log (tan (* PI l)))))
  (neg (log (/ F (tan (* PI l)))))
  (- 0 (- (log F) (log (tan (* PI l)))))
  (- 0 (log (/ F (tan (* PI l)))))
  (- (log 1) (- (log F) (log (tan (* PI l)))))
  (- (log 1) (log (/ F (tan (* PI l)))))
  (log (/ 1 (/ F (tan (* PI l)))))
  (exp (/ 1 (/ F (tan (* PI l)))))
  (/ (* (* 1 1) 1) (/ (* (* F F) F) (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l)))))
  (/ (* (* 1 1) 1) (* (* (/ F (tan (* PI l))) (/ F (tan (* PI l)))) (/ F (tan (* PI l)))))
  (* (cbrt (/ 1 (/ F (tan (* PI l))))) (cbrt (/ 1 (/ F (tan (* PI l))))))
  (cbrt (/ 1 (/ F (tan (* PI l)))))
  (* (* (/ 1 (/ F (tan (* PI l)))) (/ 1 (/ F (tan (* PI l))))) (/ 1 (/ F (tan (* PI l)))))
  (sqrt (/ 1 (/ F (tan (* PI l)))))
  (sqrt (/ 1 (/ F (tan (* PI l)))))
  (neg 1)
  (neg (/ F (tan (* PI l))))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ F (tan (* PI l)))) (cbrt (/ F (tan (* PI l))))))
  (/ (cbrt 1) (cbrt (/ F (tan (* PI l)))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ F (tan (* PI l)))))
  (/ (cbrt 1) (sqrt (/ F (tan (* PI l)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt F) (cbrt F)) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))))
  (/ (cbrt 1) (/ (cbrt F) (cbrt (tan (* PI l)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt F) (cbrt F)) (sqrt (tan (* PI l)))))
  (/ (cbrt 1) (/ (cbrt F) (sqrt (tan (* PI l)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt F) (cbrt F)) 1))
  (/ (cbrt 1) (/ (cbrt F) (tan (* PI l))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt F) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))))
  (/ (cbrt 1) (/ (sqrt F) (cbrt (tan (* PI l)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt F) (sqrt (tan (* PI l)))))
  (/ (cbrt 1) (/ (sqrt F) (sqrt (tan (* PI l)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt F) 1))
  (/ (cbrt 1) (/ (sqrt F) (tan (* PI l))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))))
  (/ (cbrt 1) (/ F (cbrt (tan (* PI l)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (tan (* PI l)))))
  (/ (cbrt 1) (/ F (sqrt (tan (* PI l)))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 1))
  (/ (cbrt 1) (/ F (tan (* PI l))))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (/ F (tan (* PI l))))
  (/ (* (cbrt 1) (cbrt 1)) F)
  (/ (cbrt 1) (/ 1 (tan (* PI l))))
  (/ (* (cbrt 1) (cbrt 1)) (/ F (sin (* PI l))))
  (/ (cbrt 1) (cos (* PI l)))
  (/ (sqrt 1) (* (cbrt (/ F (tan (* PI l)))) (cbrt (/ F (tan (* PI l))))))
  (/ (sqrt 1) (cbrt (/ F (tan (* PI l)))))
  (/ (sqrt 1) (sqrt (/ F (tan (* PI l)))))
  (/ (sqrt 1) (sqrt (/ F (tan (* PI l)))))
  (/ (sqrt 1) (/ (* (cbrt F) (cbrt F)) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))))
  (/ (sqrt 1) (/ (cbrt F) (cbrt (tan (* PI l)))))
  (/ (sqrt 1) (/ (* (cbrt F) (cbrt F)) (sqrt (tan (* PI l)))))
  (/ (sqrt 1) (/ (cbrt F) (sqrt (tan (* PI l)))))
  (/ (sqrt 1) (/ (* (cbrt F) (cbrt F)) 1))
  (/ (sqrt 1) (/ (cbrt F) (tan (* PI l))))
  (/ (sqrt 1) (/ (sqrt F) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))))
  (/ (sqrt 1) (/ (sqrt F) (cbrt (tan (* PI l)))))
  (/ (sqrt 1) (/ (sqrt F) (sqrt (tan (* PI l)))))
  (/ (sqrt 1) (/ (sqrt F) (sqrt (tan (* PI l)))))
  (/ (sqrt 1) (/ (sqrt F) 1))
  (/ (sqrt 1) (/ (sqrt F) (tan (* PI l))))
  (/ (sqrt 1) (/ 1 (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))))
  (/ (sqrt 1) (/ F (cbrt (tan (* PI l)))))
  (/ (sqrt 1) (/ 1 (sqrt (tan (* PI l)))))
  (/ (sqrt 1) (/ F (sqrt (tan (* PI l)))))
  (/ (sqrt 1) (/ 1 1))
  (/ (sqrt 1) (/ F (tan (* PI l))))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (/ F (tan (* PI l))))
  (/ (sqrt 1) F)
  (/ (sqrt 1) (/ 1 (tan (* PI l))))
  (/ (sqrt 1) (/ F (sin (* PI l))))
  (/ (sqrt 1) (cos (* PI l)))
  (/ 1 (* (cbrt (/ F (tan (* PI l)))) (cbrt (/ F (tan (* PI l))))))
  (/ 1 (cbrt (/ F (tan (* PI l)))))
  (/ 1 (sqrt (/ F (tan (* PI l)))))
  (/ 1 (sqrt (/ F (tan (* PI l)))))
  (/ 1 (/ (* (cbrt F) (cbrt F)) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))))
  (/ 1 (/ (cbrt F) (cbrt (tan (* PI l)))))
  (/ 1 (/ (* (cbrt F) (cbrt F)) (sqrt (tan (* PI l)))))
  (/ 1 (/ (cbrt F) (sqrt (tan (* PI l)))))
  (/ 1 (/ (* (cbrt F) (cbrt F)) 1))
  (/ 1 (/ (cbrt F) (tan (* PI l))))
  (/ 1 (/ (sqrt F) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))))
  (/ 1 (/ (sqrt F) (cbrt (tan (* PI l)))))
  (/ 1 (/ (sqrt F) (sqrt (tan (* PI l)))))
  (/ 1 (/ (sqrt F) (sqrt (tan (* PI l)))))
  (/ 1 (/ (sqrt F) 1))
  (/ 1 (/ (sqrt F) (tan (* PI l))))
  (/ 1 (/ 1 (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))))
  (/ 1 (/ F (cbrt (tan (* PI l)))))
  (/ 1 (/ 1 (sqrt (tan (* PI l)))))
  (/ 1 (/ F (sqrt (tan (* PI l)))))
  (/ 1 (/ 1 1))
  (/ 1 (/ F (tan (* PI l))))
  (/ 1 1)
  (/ 1 (/ F (tan (* PI l))))
  (/ 1 F)
  (/ 1 (/ 1 (tan (* PI l))))
  (/ 1 (/ F (sin (* PI l))))
  (/ 1 (cos (* PI l)))
  (/ 1 (/ F (tan (* PI l))))
  (/ (/ F (tan (* PI l))) 1)
  (/ 1 (* (cbrt (/ F (tan (* PI l)))) (cbrt (/ F (tan (* PI l))))))
  (/ 1 (sqrt (/ F (tan (* PI l)))))
  (/ 1 (/ (* (cbrt F) (cbrt F)) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))))
  (/ 1 (/ (* (cbrt F) (cbrt F)) (sqrt (tan (* PI l)))))
  (/ 1 (/ (* (cbrt F) (cbrt F)) 1))
  (/ 1 (/ (sqrt F) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))))
  (/ 1 (/ (sqrt F) (sqrt (tan (* PI l)))))
  (/ 1 (/ (sqrt F) 1))
  (/ 1 (/ 1 (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))))
  (/ 1 (/ 1 (sqrt (tan (* PI l)))))
  (/ 1 (/ 1 1))
  (/ 1 1)
  (/ 1 F)
  (/ 1 (/ F (sin (* PI l))))
  (/ (/ F (tan (* PI l))) (cbrt 1))
  (/ (/ F (tan (* PI l))) (sqrt 1))
  (/ (/ F (tan (* PI l))) 1)
  (/ 1 F)
  (- (log F) (log (tan (* PI l))))
  (log (/ F (tan (* PI l))))
  (exp (/ F (tan (* PI l))))
  (/ (* (* F F) F) (* (* (tan (* PI l)) (tan (* PI l))) (tan (* PI l))))
  (* (cbrt (/ F (tan (* PI l)))) (cbrt (/ F (tan (* PI l)))))
  (cbrt (/ F (tan (* PI l))))
  (* (* (/ F (tan (* PI l))) (/ F (tan (* PI l)))) (/ F (tan (* PI l))))
  (sqrt (/ F (tan (* PI l))))
  (sqrt (/ F (tan (* PI l))))
  (neg F)
  (neg (tan (* PI l)))
  (/ (* (cbrt F) (cbrt F)) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))
  (/ (cbrt F) (cbrt (tan (* PI l))))
  (/ (* (cbrt F) (cbrt F)) (sqrt (tan (* PI l))))
  (/ (cbrt F) (sqrt (tan (* PI l))))
  (/ (* (cbrt F) (cbrt F)) 1)
  (/ (cbrt F) (tan (* PI l)))
  (/ (sqrt F) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))
  (/ (sqrt F) (cbrt (tan (* PI l))))
  (/ (sqrt F) (sqrt (tan (* PI l))))
  (/ (sqrt F) (sqrt (tan (* PI l))))
  (/ (sqrt F) 1)
  (/ (sqrt F) (tan (* PI l)))
  (/ 1 (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))
  (/ F (cbrt (tan (* PI l))))
  (/ 1 (sqrt (tan (* PI l))))
  (/ F (sqrt (tan (* PI l))))
  (/ 1 1)
  (/ F (tan (* PI l)))
  (/ 1 (tan (* PI l)))
  (/ (tan (* PI l)) F)
  (/ F (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))
  (/ F (sqrt (tan (* PI l))))
  (/ F 1)
  (/ (tan (* PI l)) (cbrt F))
  (/ (tan (* PI l)) (sqrt F))
  (/ (tan (* PI l)) F)
  (/ F (sin (* 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)))
  (+ (/ (* PI l) F) (* 1/3 (/ (* (pow PI 3) (pow l 3)) F)))
  (/ (sin (* PI l)) (* (cos (* PI l)) F))
  (/ (sin (* PI l)) (* (cos (* PI l)) F))
  (- (/ F (* PI l)) (* 1/3 (* F (* PI l))))
  (/ (* (cos (* PI l)) F) (sin (* PI l)))
  (/ (* (cos (* PI l)) F) (sin (* PI l)))
  (* PI l)
  (* PI l)
  (* PI l)
2.167 * * [simplify]: iteration  0 :  4903  enodes  (cost  1555 )
2.168 * * [simplify]: iteration  1 :  4903  enodes  (cost  1555 )
2.173 * [simplify]: Simplified to:
   (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)))
  -1
  (log (/ (tan (* PI l)) F))
  (log (/ (tan (* PI l)) F))
  (log (/ (tan (* PI l)) F))
  (log (/ (tan (* PI l)) F))
  (log (/ (tan (* PI l)) F))
  (log (/ (tan (* PI l)) F))
  (log (/ (tan (* PI l)) F))
  (exp (/ (tan (* PI l)) F))
  (pow (/ (tan (* PI l)) F) 3)
  (pow (/ (tan (* PI l)) F) 3)
  (* (cbrt (/ (tan (* PI l)) F)) (cbrt (/ (tan (* PI l)) F)))
  (cbrt (/ (tan (* PI l)) F))
  (pow (/ (tan (* PI l)) F) 3)
  (sqrt (/ (tan (* PI l)) F))
  (sqrt (/ (tan (* PI l)) F))
  -1
  (/ (neg F) (tan (* PI l)))
  (* (cbrt 1) (/ (cbrt 1) (* (cbrt (/ F (tan (* PI l)))) (cbrt (/ F (tan (* PI l)))))))
  (/ (cbrt 1) (cbrt (/ F (tan (* PI l)))))
  (* (cbrt 1) (/ (cbrt 1) (sqrt (/ F (tan (* PI l))))))
  (/ (cbrt 1) (sqrt (/ F (tan (* PI l)))))
  (* (cbrt (tan (* PI l))) (* (cbrt (tan (* PI l))) (* (cbrt 1) (/ (cbrt 1) (* (cbrt F) (cbrt F))))))
  (* (cbrt (tan (* PI l))) (/ (cbrt 1) (cbrt F)))
  (* (sqrt (tan (* PI l))) (* (cbrt 1) (/ (cbrt 1) (* (cbrt F) (cbrt F)))))
  (* (sqrt (tan (* PI l))) (/ (cbrt 1) (cbrt F)))
  (* (cbrt 1) (/ (cbrt 1) (* (cbrt F) (cbrt F))))
  (* (tan (* PI l)) (/ (cbrt 1) (cbrt F)))
  (* (cbrt (tan (* PI l))) (* (cbrt (tan (* PI l))) (* (cbrt 1) (/ (cbrt 1) (sqrt F)))))
  (* (cbrt (tan (* PI l))) (/ (cbrt 1) (sqrt F)))
  (* (sqrt (tan (* PI l))) (* (cbrt 1) (/ (cbrt 1) (sqrt F))))
  (* (sqrt (tan (* PI l))) (/ (cbrt 1) (sqrt F)))
  (* (cbrt 1) (/ (cbrt 1) (sqrt F)))
  (* (tan (* PI l)) (/ (cbrt 1) (sqrt F)))
  (* (cbrt (tan (* PI l))) (* (cbrt (tan (* PI l))) (* (cbrt 1) (cbrt 1))))
  (* (cbrt (tan (* PI l))) (/ (cbrt 1) F))
  (* (sqrt (tan (* PI l))) (* (cbrt 1) (cbrt 1)))
  (* (sqrt (tan (* PI l))) (/ (cbrt 1) F))
  (* (cbrt 1) (cbrt 1))
  (* (tan (* PI l)) (/ (cbrt 1) F))
  (* (cbrt 1) (cbrt 1))
  (* (tan (* PI l)) (/ (cbrt 1) F))
  (* (cbrt 1) (/ (cbrt 1) F))
  (* (tan (* PI l)) (cbrt 1))
  (* (sin (* PI l)) (* (cbrt 1) (/ (cbrt 1) F)))
  (/ (cbrt 1) (cos (* PI l)))
  (/ 1 (* (cbrt (/ F (tan (* PI l)))) (cbrt (/ F (tan (* PI l))))))
  (/ 1 (cbrt (/ F (tan (* PI l)))))
  (/ 1 (sqrt (/ F (tan (* PI l)))))
  (/ 1 (sqrt (/ F (tan (* PI l)))))
  (* (cbrt (tan (* PI l))) (/ (cbrt (tan (* PI l))) (* (cbrt F) (cbrt F))))
  (/ (cbrt (tan (* PI l))) (cbrt F))
  (/ (sqrt (tan (* PI l))) (* (cbrt F) (cbrt F)))
  (/ (sqrt (tan (* PI l))) (cbrt F))
  (/ 1 (* (cbrt F) (cbrt F)))
  (/ (tan (* PI l)) (cbrt F))
  (* (cbrt (tan (* PI l))) (/ (cbrt (tan (* PI l))) (sqrt F)))
  (/ (cbrt (tan (* PI l))) (sqrt F))
  (/ (sqrt (tan (* PI l))) (sqrt F))
  (/ (sqrt (tan (* PI l))) (sqrt F))
  (/ 1 (sqrt F))
  (/ (tan (* PI l)) (sqrt F))
  (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))
  (/ (cbrt (tan (* PI l))) F)
  (sqrt (tan (* PI l)))
  (/ (sqrt (tan (* PI l))) F)
  1
  (/ (tan (* PI l)) F)
  1
  (/ (tan (* PI l)) F)
  (/ 1 F)
  (tan (* PI l))
  (/ (sin (* PI l)) F)
  (/ 1 (cos (* PI l)))
  (/ 1 (* (cbrt (/ F (tan (* PI l)))) (cbrt (/ F (tan (* PI l))))))
  (/ 1 (cbrt (/ F (tan (* PI l)))))
  (/ 1 (sqrt (/ F (tan (* PI l)))))
  (/ 1 (sqrt (/ F (tan (* PI l)))))
  (* (cbrt (tan (* PI l))) (/ (cbrt (tan (* PI l))) (* (cbrt F) (cbrt F))))
  (/ (cbrt (tan (* PI l))) (cbrt F))
  (/ (sqrt (tan (* PI l))) (* (cbrt F) (cbrt F)))
  (/ (sqrt (tan (* PI l))) (cbrt F))
  (/ 1 (* (cbrt F) (cbrt F)))
  (/ (tan (* PI l)) (cbrt F))
  (* (cbrt (tan (* PI l))) (/ (cbrt (tan (* PI l))) (sqrt F)))
  (/ (cbrt (tan (* PI l))) (sqrt F))
  (/ (sqrt (tan (* PI l))) (sqrt F))
  (/ (sqrt (tan (* PI l))) (sqrt F))
  (/ 1 (sqrt F))
  (/ (tan (* PI l)) (sqrt F))
  (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))
  (/ (cbrt (tan (* PI l))) F)
  (sqrt (tan (* PI l)))
  (/ (sqrt (tan (* PI l))) F)
  1
  (/ (tan (* PI l)) F)
  1
  (/ (tan (* PI l)) F)
  (/ 1 F)
  (tan (* PI l))
  (/ (sin (* PI l)) F)
  (/ 1 (cos (* PI l)))
  (/ (tan (* PI l)) F)
  (/ F (tan (* PI l)))
  (/ 1 (* (cbrt (/ F (tan (* PI l)))) (cbrt (/ F (tan (* PI l))))))
  (/ 1 (sqrt (/ F (tan (* PI l)))))
  (* (cbrt (tan (* PI l))) (/ (cbrt (tan (* PI l))) (* (cbrt F) (cbrt F))))
  (/ (sqrt (tan (* PI l))) (* (cbrt F) (cbrt F)))
  (/ 1 (* (cbrt F) (cbrt F)))
  (* (cbrt (tan (* PI l))) (/ (cbrt (tan (* PI l))) (sqrt F)))
  (/ (sqrt (tan (* PI l))) (sqrt F))
  (/ 1 (sqrt F))
  (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))
  (sqrt (tan (* PI l)))
  1
  1
  (/ 1 F)
  (/ (sin (* PI l)) F)
  (/ F (* (tan (* PI l)) (cbrt 1)))
  (/ F (tan (* PI l)))
  (/ F (tan (* PI l)))
  (/ 1 F)
  (log (/ F (tan (* PI l))))
  (log (/ F (tan (* PI l))))
  (exp (/ F (tan (* PI l))))
  (pow (/ F (tan (* PI l))) 3)
  (* (cbrt (/ F (tan (* PI l)))) (cbrt (/ F (tan (* PI l)))))
  (cbrt (/ F (tan (* PI l))))
  (pow (/ F (tan (* PI l))) 3)
  (sqrt (/ F (tan (* PI l))))
  (sqrt (/ F (tan (* PI l))))
  (neg F)
  (neg (tan (* PI l)))
  (* (cbrt F) (/ (cbrt F) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l))))))
  (/ (cbrt F) (cbrt (tan (* PI l))))
  (* (cbrt F) (/ (cbrt F) (sqrt (tan (* PI l)))))
  (/ (cbrt F) (sqrt (tan (* PI l))))
  (* (cbrt F) (cbrt F))
  (/ (cbrt F) (tan (* PI l)))
  (/ (sqrt F) (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))
  (/ (sqrt F) (cbrt (tan (* PI l))))
  (/ (sqrt F) (sqrt (tan (* PI l))))
  (/ (sqrt F) (sqrt (tan (* PI l))))
  (sqrt F)
  (/ (sqrt F) (tan (* PI l)))
  (/ 1 (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))
  (/ F (cbrt (tan (* PI l))))
  (/ 1 (sqrt (tan (* PI l))))
  (/ F (sqrt (tan (* PI l))))
  1
  (/ F (tan (* PI l)))
  (/ 1 (tan (* PI l)))
  (/ (tan (* PI l)) F)
  (/ F (* (cbrt (tan (* PI l))) (cbrt (tan (* PI l)))))
  (/ F (sqrt (tan (* PI l))))
  F
  (/ (tan (* PI l)) (cbrt F))
  (/ (tan (* PI l)) (sqrt F))
  (/ (tan (* PI l)) F)
  (/ F (sin (* PI l)))
  (* PI l)
  (log (* PI l))
  (log (* PI l))
  (pow (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
  (* l (cbrt PI))
  (* l (sqrt PI))
  (* PI l)
  (+ (* PI l) (+ (* 2/15 (* (pow PI 5) (pow l 5))) (* (pow (* PI l) 3) 1/3)))
  (/ (sin (* PI l)) (cos (* PI l)))
  (/ (sin (* PI l)) (cos (* PI l)))
  (+ (* l (/ PI F)) (* 1/3 (/ (pow (* PI l) 3) F)))
  (/ (sin (* PI l)) (* (cos (* PI l)) F))
  (/ (sin (* PI l)) (* (cos (* PI l)) F))
  (+ (/ F (* PI l)) (* PI (* l (* F -1/3))))
  (* F (/ (cos (* PI l)) (sin (* PI l))))
  (* F (/ (cos (* PI l)) (sin (* PI l))))
  (* PI l)
  (* PI l)
  (* PI l)
2.174 * * * [progress]: adding candidates to table
2.304 * * [progress]: iteration 4 / 4
2.304 * * * [progress]: picking best candidate
2.342 * * * * [pick]: Picked  #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (/ 1 (+ (/ F (* PI l)) (* PI (* l (* F -1/3))))) F))))>
2.342 * * * [progress]: localizing error
2.355 * * * [progress]: generating rewritten candidates
2.355 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
2.364 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 2 2)
2.368 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 2)
2.375 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2 1 2)
2.380 * * * [progress]: generating series expansions
2.381 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
2.381 * [approximate]: Taking taylor expansion of (/ 1 (- (/ F (* PI l)) (* 1/3 (* F (* PI l))))) in (F l) around 0
2.381 * [taylor]: Taking taylor expansion of (/ 1 (- (/ F (* PI l)) (* 1/3 (* F (* PI l))))) in l
2.381 * [taylor]: Taking taylor expansion of (- (/ F (* PI l)) (* 1/3 (* F (* PI l)))) in l
2.381 * [taylor]: Taking taylor expansion of (/ F (* PI l)) in l
2.381 * [taylor]: Taking taylor expansion of F in l
2.381 * [taylor]: Taking taylor expansion of (* PI l) in l
2.381 * [taylor]: Taking taylor expansion of PI in l
2.381 * [taylor]: Taking taylor expansion of l in l
2.381 * [taylor]: Taking taylor expansion of (* 1/3 (* F (* PI l))) in l
2.381 * [taylor]: Taking taylor expansion of 1/3 in l
2.381 * [taylor]: Taking taylor expansion of (* F (* PI l)) in l
2.381 * [taylor]: Taking taylor expansion of F in l
2.381 * [taylor]: Taking taylor expansion of (* PI l) in l
2.381 * [taylor]: Taking taylor expansion of PI in l
2.381 * [taylor]: Taking taylor expansion of l in l
2.381 * [taylor]: Taking taylor expansion of (/ 1 (- (/ F (* PI l)) (* 1/3 (* F (* PI l))))) in F
2.381 * [taylor]: Taking taylor expansion of (- (/ F (* PI l)) (* 1/3 (* F (* PI l)))) in F
2.381 * [taylor]: Taking taylor expansion of (/ F (* PI l)) in F
2.381 * [taylor]: Taking taylor expansion of F in F
2.381 * [taylor]: Taking taylor expansion of (* PI l) in F
2.381 * [taylor]: Taking taylor expansion of PI in F
2.381 * [taylor]: Taking taylor expansion of l in F
2.381 * [taylor]: Taking taylor expansion of (* 1/3 (* F (* PI l))) in F
2.381 * [taylor]: Taking taylor expansion of 1/3 in F
2.381 * [taylor]: Taking taylor expansion of (* F (* PI l)) in F
2.381 * [taylor]: Taking taylor expansion of F in F
2.381 * [taylor]: Taking taylor expansion of (* PI l) in F
2.381 * [taylor]: Taking taylor expansion of PI in F
2.381 * [taylor]: Taking taylor expansion of l in F
2.382 * [taylor]: Taking taylor expansion of (/ 1 (- (/ F (* PI l)) (* 1/3 (* F (* PI l))))) in F
2.382 * [taylor]: Taking taylor expansion of (- (/ F (* PI l)) (* 1/3 (* F (* PI l)))) in F
2.382 * [taylor]: Taking taylor expansion of (/ F (* PI l)) in F
2.382 * [taylor]: Taking taylor expansion of F in F
2.382 * [taylor]: Taking taylor expansion of (* PI l) in F
2.382 * [taylor]: Taking taylor expansion of PI in F
2.382 * [taylor]: Taking taylor expansion of l in F
2.382 * [taylor]: Taking taylor expansion of (* 1/3 (* F (* PI l))) in F
2.382 * [taylor]: Taking taylor expansion of 1/3 in F
2.382 * [taylor]: Taking taylor expansion of (* F (* PI l)) in F
2.382 * [taylor]: Taking taylor expansion of F in F
2.382 * [taylor]: Taking taylor expansion of (* PI l) in F
2.382 * [taylor]: Taking taylor expansion of PI in F
2.382 * [taylor]: Taking taylor expansion of l in F
2.382 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 (* PI l)) (* 1/3 (* PI l)))) in l
2.382 * [taylor]: Taking taylor expansion of (- (/ 1 (* PI l)) (* 1/3 (* PI l))) in l
2.382 * [taylor]: Taking taylor expansion of (/ 1 (* PI l)) in l
2.382 * [taylor]: Taking taylor expansion of (* PI l) in l
2.382 * [taylor]: Taking taylor expansion of PI in l
2.383 * [taylor]: Taking taylor expansion of l in l
2.383 * [taylor]: Taking taylor expansion of (* 1/3 (* PI l)) in l
2.383 * [taylor]: Taking taylor expansion of 1/3 in l
2.383 * [taylor]: Taking taylor expansion of (* PI l) in l
2.383 * [taylor]: Taking taylor expansion of PI in l
2.383 * [taylor]: Taking taylor expansion of l in l
2.383 * [taylor]: Taking taylor expansion of 0 in l
2.384 * [taylor]: Taking taylor expansion of 0 in l
2.385 * [taylor]: Taking taylor expansion of 0 in l
2.386 * [taylor]: Taking taylor expansion of 0 in l
2.386 * [approximate]: Taking taylor expansion of (/ 1 (- (/ l (* F PI)) (* 1/3 (/ PI (* F l))))) in (F l) around 0
2.386 * [taylor]: Taking taylor expansion of (/ 1 (- (/ l (* F PI)) (* 1/3 (/ PI (* F l))))) in l
2.386 * [taylor]: Taking taylor expansion of (- (/ l (* F PI)) (* 1/3 (/ PI (* F l)))) in l
2.386 * [taylor]: Taking taylor expansion of (/ l (* F PI)) in l
2.386 * [taylor]: Taking taylor expansion of l in l
2.386 * [taylor]: Taking taylor expansion of (* F PI) in l
2.386 * [taylor]: Taking taylor expansion of F in l
2.387 * [taylor]: Taking taylor expansion of PI in l
2.387 * [taylor]: Taking taylor expansion of (* 1/3 (/ PI (* F l))) in l
2.387 * [taylor]: Taking taylor expansion of 1/3 in l
2.387 * [taylor]: Taking taylor expansion of (/ PI (* F l)) in l
2.387 * [taylor]: Taking taylor expansion of PI in l
2.387 * [taylor]: Taking taylor expansion of (* F l) in l
2.387 * [taylor]: Taking taylor expansion of F in l
2.387 * [taylor]: Taking taylor expansion of l in l
2.387 * [taylor]: Taking taylor expansion of (/ 1 (- (/ l (* F PI)) (* 1/3 (/ PI (* F l))))) in F
2.387 * [taylor]: Taking taylor expansion of (- (/ l (* F PI)) (* 1/3 (/ PI (* F l)))) in F
2.387 * [taylor]: Taking taylor expansion of (/ l (* F PI)) in F
2.387 * [taylor]: Taking taylor expansion of l in F
2.387 * [taylor]: Taking taylor expansion of (* F PI) in F
2.387 * [taylor]: Taking taylor expansion of F in F
2.387 * [taylor]: Taking taylor expansion of PI in F
2.387 * [taylor]: Taking taylor expansion of (* 1/3 (/ PI (* F l))) in F
2.387 * [taylor]: Taking taylor expansion of 1/3 in F
2.387 * [taylor]: Taking taylor expansion of (/ PI (* F l)) in F
2.387 * [taylor]: Taking taylor expansion of PI in F
2.387 * [taylor]: Taking taylor expansion of (* F l) in F
2.387 * [taylor]: Taking taylor expansion of F in F
2.387 * [taylor]: Taking taylor expansion of l in F
2.388 * [taylor]: Taking taylor expansion of (/ 1 (- (/ l (* F PI)) (* 1/3 (/ PI (* F l))))) in F
2.388 * [taylor]: Taking taylor expansion of (- (/ l (* F PI)) (* 1/3 (/ PI (* F l)))) in F
2.388 * [taylor]: Taking taylor expansion of (/ l (* F PI)) in F
2.388 * [taylor]: Taking taylor expansion of l in F
2.388 * [taylor]: Taking taylor expansion of (* F PI) in F
2.388 * [taylor]: Taking taylor expansion of F in F
2.388 * [taylor]: Taking taylor expansion of PI in F
2.388 * [taylor]: Taking taylor expansion of (* 1/3 (/ PI (* F l))) in F
2.388 * [taylor]: Taking taylor expansion of 1/3 in F
2.388 * [taylor]: Taking taylor expansion of (/ PI (* F l)) in F
2.388 * [taylor]: Taking taylor expansion of PI in F
2.388 * [taylor]: Taking taylor expansion of (* F l) in F
2.388 * [taylor]: Taking taylor expansion of F in F
2.388 * [taylor]: Taking taylor expansion of l in F
2.388 * [taylor]: Taking taylor expansion of (/ 1 (- (/ l PI) (* 1/3 (/ PI l)))) in l
2.388 * [taylor]: Taking taylor expansion of (- (/ l PI) (* 1/3 (/ PI l))) in l
2.388 * [taylor]: Taking taylor expansion of (/ l PI) in l
2.389 * [taylor]: Taking taylor expansion of l in l
2.389 * [taylor]: Taking taylor expansion of PI in l
2.389 * [taylor]: Taking taylor expansion of (* 1/3 (/ PI l)) in l
2.389 * [taylor]: Taking taylor expansion of 1/3 in l
2.389 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.389 * [taylor]: Taking taylor expansion of PI in l
2.389 * [taylor]: Taking taylor expansion of l in l
2.389 * [taylor]: Taking taylor expansion of 0 in l
2.390 * [taylor]: Taking taylor expansion of 0 in l
2.391 * [taylor]: Taking taylor expansion of 0 in l
2.392 * [taylor]: Taking taylor expansion of 0 in l
2.392 * [approximate]: Taking taylor expansion of (/ 1 (- (/ l (* F PI)) (* 1/3 (/ PI (* F l))))) in (F l) around 0
2.392 * [taylor]: Taking taylor expansion of (/ 1 (- (/ l (* F PI)) (* 1/3 (/ PI (* F l))))) in l
2.392 * [taylor]: Taking taylor expansion of (- (/ l (* F PI)) (* 1/3 (/ PI (* F l)))) in l
2.392 * [taylor]: Taking taylor expansion of (/ l (* F PI)) in l
2.392 * [taylor]: Taking taylor expansion of l in l
2.392 * [taylor]: Taking taylor expansion of (* F PI) in l
2.392 * [taylor]: Taking taylor expansion of F in l
2.392 * [taylor]: Taking taylor expansion of PI in l
2.392 * [taylor]: Taking taylor expansion of (* 1/3 (/ PI (* F l))) in l
2.392 * [taylor]: Taking taylor expansion of 1/3 in l
2.392 * [taylor]: Taking taylor expansion of (/ PI (* F l)) in l
2.392 * [taylor]: Taking taylor expansion of PI in l
2.392 * [taylor]: Taking taylor expansion of (* F l) in l
2.392 * [taylor]: Taking taylor expansion of F in l
2.392 * [taylor]: Taking taylor expansion of l in l
2.393 * [taylor]: Taking taylor expansion of (/ 1 (- (/ l (* F PI)) (* 1/3 (/ PI (* F l))))) in F
2.393 * [taylor]: Taking taylor expansion of (- (/ l (* F PI)) (* 1/3 (/ PI (* F l)))) in F
2.393 * [taylor]: Taking taylor expansion of (/ l (* F PI)) in F
2.393 * [taylor]: Taking taylor expansion of l in F
2.393 * [taylor]: Taking taylor expansion of (* F PI) in F
2.393 * [taylor]: Taking taylor expansion of F in F
2.393 * [taylor]: Taking taylor expansion of PI in F
2.393 * [taylor]: Taking taylor expansion of (* 1/3 (/ PI (* F l))) in F
2.393 * [taylor]: Taking taylor expansion of 1/3 in F
2.393 * [taylor]: Taking taylor expansion of (/ PI (* F l)) in F
2.393 * [taylor]: Taking taylor expansion of PI in F
2.393 * [taylor]: Taking taylor expansion of (* F l) in F
2.393 * [taylor]: Taking taylor expansion of F in F
2.393 * [taylor]: Taking taylor expansion of l in F
2.393 * [taylor]: Taking taylor expansion of (/ 1 (- (/ l (* F PI)) (* 1/3 (/ PI (* F l))))) in F
2.393 * [taylor]: Taking taylor expansion of (- (/ l (* F PI)) (* 1/3 (/ PI (* F l)))) in F
2.393 * [taylor]: Taking taylor expansion of (/ l (* F PI)) in F
2.393 * [taylor]: Taking taylor expansion of l in F
2.393 * [taylor]: Taking taylor expansion of (* F PI) in F
2.393 * [taylor]: Taking taylor expansion of F in F
2.393 * [taylor]: Taking taylor expansion of PI in F
2.393 * [taylor]: Taking taylor expansion of (* 1/3 (/ PI (* F l))) in F
2.393 * [taylor]: Taking taylor expansion of 1/3 in F
2.393 * [taylor]: Taking taylor expansion of (/ PI (* F l)) in F
2.393 * [taylor]: Taking taylor expansion of PI in F
2.393 * [taylor]: Taking taylor expansion of (* F l) in F
2.393 * [taylor]: Taking taylor expansion of F in F
2.393 * [taylor]: Taking taylor expansion of l in F
2.394 * [taylor]: Taking taylor expansion of (/ 1 (- (/ l PI) (* 1/3 (/ PI l)))) in l
2.394 * [taylor]: Taking taylor expansion of (- (/ l PI) (* 1/3 (/ PI l))) in l
2.394 * [taylor]: Taking taylor expansion of (/ l PI) in l
2.394 * [taylor]: Taking taylor expansion of l in l
2.394 * [taylor]: Taking taylor expansion of PI in l
2.394 * [taylor]: Taking taylor expansion of (* 1/3 (/ PI l)) in l
2.394 * [taylor]: Taking taylor expansion of 1/3 in l
2.394 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.394 * [taylor]: Taking taylor expansion of PI in l
2.394 * [taylor]: Taking taylor expansion of l in l
2.394 * [taylor]: Taking taylor expansion of 0 in l
2.395 * [taylor]: Taking taylor expansion of 0 in l
2.398 * [taylor]: Taking taylor expansion of 0 in l
2.399 * [taylor]: Taking taylor expansion of 0 in l
2.400 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2 2 2)
2.400 * [approximate]: Taking taylor expansion of (* -1/3 F) in (F) around 0
2.400 * [taylor]: Taking taylor expansion of (* -1/3 F) in F
2.400 * [taylor]: Taking taylor expansion of -1/3 in F
2.400 * [taylor]: Taking taylor expansion of F in F
2.400 * [taylor]: Taking taylor expansion of (* -1/3 F) in F
2.400 * [taylor]: Taking taylor expansion of -1/3 in F
2.400 * [taylor]: Taking taylor expansion of F in F
2.400 * [approximate]: Taking taylor expansion of (/ -1/3 F) in (F) around 0
2.400 * [taylor]: Taking taylor expansion of (/ -1/3 F) in F
2.400 * [taylor]: Taking taylor expansion of -1/3 in F
2.400 * [taylor]: Taking taylor expansion of F in F
2.400 * [taylor]: Taking taylor expansion of (/ -1/3 F) in F
2.400 * [taylor]: Taking taylor expansion of -1/3 in F
2.400 * [taylor]: Taking taylor expansion of F in F
2.401 * [approximate]: Taking taylor expansion of (/ 1/3 F) in (F) around 0
2.401 * [taylor]: Taking taylor expansion of (/ 1/3 F) in F
2.401 * [taylor]: Taking taylor expansion of 1/3 in F
2.401 * [taylor]: Taking taylor expansion of F in F
2.401 * [taylor]: Taking taylor expansion of (/ 1/3 F) in F
2.401 * [taylor]: Taking taylor expansion of 1/3 in F
2.401 * [taylor]: Taking taylor expansion of F in F
2.402 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 2)
2.402 * [approximate]: Taking taylor expansion of (* -1/3 (* F (* PI l))) in (l F) around 0
2.402 * [taylor]: Taking taylor expansion of (* -1/3 (* F (* PI l))) in F
2.402 * [taylor]: Taking taylor expansion of -1/3 in F
2.402 * [taylor]: Taking taylor expansion of (* F (* PI l)) in F
2.402 * [taylor]: Taking taylor expansion of F in F
2.402 * [taylor]: Taking taylor expansion of (* PI l) in F
2.402 * [taylor]: Taking taylor expansion of PI in F
2.402 * [taylor]: Taking taylor expansion of l in F
2.402 * [taylor]: Taking taylor expansion of (* -1/3 (* F (* PI l))) in l
2.402 * [taylor]: Taking taylor expansion of -1/3 in l
2.402 * [taylor]: Taking taylor expansion of (* F (* PI l)) in l
2.402 * [taylor]: Taking taylor expansion of F in l
2.402 * [taylor]: Taking taylor expansion of (* PI l) in l
2.402 * [taylor]: Taking taylor expansion of PI in l
2.402 * [taylor]: Taking taylor expansion of l in l
2.402 * [taylor]: Taking taylor expansion of (* -1/3 (* F (* PI l))) in l
2.402 * [taylor]: Taking taylor expansion of -1/3 in l
2.402 * [taylor]: Taking taylor expansion of (* F (* PI l)) in l
2.402 * [taylor]: Taking taylor expansion of F in l
2.402 * [taylor]: Taking taylor expansion of (* PI l) in l
2.402 * [taylor]: Taking taylor expansion of PI in l
2.402 * [taylor]: Taking taylor expansion of l in l
2.402 * [taylor]: Taking taylor expansion of 0 in F
2.402 * [taylor]: Taking taylor expansion of (neg (* 1/3 (* F PI))) in F
2.402 * [taylor]: Taking taylor expansion of (* 1/3 (* F PI)) in F
2.402 * [taylor]: Taking taylor expansion of 1/3 in F
2.402 * [taylor]: Taking taylor expansion of (* F PI) in F
2.402 * [taylor]: Taking taylor expansion of F in F
2.402 * [taylor]: Taking taylor expansion of PI in F
2.402 * [taylor]: Taking taylor expansion of 0 in F
2.403 * [taylor]: Taking taylor expansion of 0 in F
2.403 * [taylor]: Taking taylor expansion of 0 in F
2.403 * [approximate]: Taking taylor expansion of (* -1/3 (/ PI (* F l))) in (l F) around 0
2.403 * [taylor]: Taking taylor expansion of (* -1/3 (/ PI (* F l))) in F
2.403 * [taylor]: Taking taylor expansion of -1/3 in F
2.403 * [taylor]: Taking taylor expansion of (/ PI (* F l)) in F
2.403 * [taylor]: Taking taylor expansion of PI in F
2.403 * [taylor]: Taking taylor expansion of (* F l) in F
2.403 * [taylor]: Taking taylor expansion of F in F
2.403 * [taylor]: Taking taylor expansion of l in F
2.403 * [taylor]: Taking taylor expansion of (* -1/3 (/ PI (* F l))) in l
2.403 * [taylor]: Taking taylor expansion of -1/3 in l
2.403 * [taylor]: Taking taylor expansion of (/ PI (* F l)) in l
2.403 * [taylor]: Taking taylor expansion of PI in l
2.403 * [taylor]: Taking taylor expansion of (* F l) in l
2.403 * [taylor]: Taking taylor expansion of F in l
2.403 * [taylor]: Taking taylor expansion of l in l
2.403 * [taylor]: Taking taylor expansion of (* -1/3 (/ PI (* F l))) in l
2.403 * [taylor]: Taking taylor expansion of -1/3 in l
2.403 * [taylor]: Taking taylor expansion of (/ PI (* F l)) in l
2.403 * [taylor]: Taking taylor expansion of PI in l
2.403 * [taylor]: Taking taylor expansion of (* F l) in l
2.403 * [taylor]: Taking taylor expansion of F in l
2.403 * [taylor]: Taking taylor expansion of l in l
2.404 * [taylor]: Taking taylor expansion of (* -1/3 (/ PI F)) in F
2.404 * [taylor]: Taking taylor expansion of -1/3 in F
2.404 * [taylor]: Taking taylor expansion of (/ PI F) in F
2.404 * [taylor]: Taking taylor expansion of PI in F
2.404 * [taylor]: Taking taylor expansion of F in F
2.404 * [taylor]: Taking taylor expansion of 0 in F
2.404 * [taylor]: Taking taylor expansion of 0 in F
2.404 * [taylor]: Taking taylor expansion of 0 in F
2.405 * [approximate]: Taking taylor expansion of (* -1/3 (/ PI (* F l))) in (l F) around 0
2.405 * [taylor]: Taking taylor expansion of (* -1/3 (/ PI (* F l))) in F
2.405 * [taylor]: Taking taylor expansion of -1/3 in F
2.405 * [taylor]: Taking taylor expansion of (/ PI (* F l)) in F
2.405 * [taylor]: Taking taylor expansion of PI in F
2.405 * [taylor]: Taking taylor expansion of (* F l) in F
2.405 * [taylor]: Taking taylor expansion of F in F
2.405 * [taylor]: Taking taylor expansion of l in F
2.405 * [taylor]: Taking taylor expansion of (* -1/3 (/ PI (* F l))) in l
2.405 * [taylor]: Taking taylor expansion of -1/3 in l
2.405 * [taylor]: Taking taylor expansion of (/ PI (* F l)) in l
2.405 * [taylor]: Taking taylor expansion of PI in l
2.405 * [taylor]: Taking taylor expansion of (* F l) in l
2.405 * [taylor]: Taking taylor expansion of F in l
2.405 * [taylor]: Taking taylor expansion of l in l
2.405 * [taylor]: Taking taylor expansion of (* -1/3 (/ PI (* F l))) in l
2.405 * [taylor]: Taking taylor expansion of -1/3 in l
2.405 * [taylor]: Taking taylor expansion of (/ PI (* F l)) in l
2.405 * [taylor]: Taking taylor expansion of PI in l
2.405 * [taylor]: Taking taylor expansion of (* F l) in l
2.405 * [taylor]: Taking taylor expansion of F in l
2.405 * [taylor]: Taking taylor expansion of l in l
2.405 * [taylor]: Taking taylor expansion of (* -1/3 (/ PI F)) in F
2.405 * [taylor]: Taking taylor expansion of -1/3 in F
2.405 * [taylor]: Taking taylor expansion of (/ PI F) in F
2.405 * [taylor]: Taking taylor expansion of PI in F
2.405 * [taylor]: Taking taylor expansion of F in F
2.405 * [taylor]: Taking taylor expansion of 0 in F
2.406 * [taylor]: Taking taylor expansion of 0 in F
2.406 * [taylor]: Taking taylor expansion of 0 in F
2.406 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2 1 2)
2.406 * [approximate]: Taking taylor expansion of (* PI l) in (l) around 0
2.406 * [taylor]: Taking taylor expansion of (* PI l) in l
2.406 * [taylor]: Taking taylor expansion of PI in l
2.406 * [taylor]: Taking taylor expansion of l in l
2.406 * [taylor]: Taking taylor expansion of (* PI l) in l
2.406 * [taylor]: Taking taylor expansion of PI in l
2.406 * [taylor]: Taking taylor expansion of l in l
2.407 * [approximate]: Taking taylor expansion of (/ PI l) in (l) around 0
2.407 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.407 * [taylor]: Taking taylor expansion of PI in l
2.407 * [taylor]: Taking taylor expansion of l in l
2.407 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.407 * [taylor]: Taking taylor expansion of PI in l
2.407 * [taylor]: Taking taylor expansion of l in l
2.407 * [approximate]: Taking taylor expansion of (* -1 (/ PI l)) in (l) around 0
2.407 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.407 * [taylor]: Taking taylor expansion of -1 in l
2.407 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.407 * [taylor]: Taking taylor expansion of PI in l
2.407 * [taylor]: Taking taylor expansion of l in l
2.407 * [taylor]: Taking taylor expansion of (* -1 (/ PI l)) in l
2.407 * [taylor]: Taking taylor expansion of -1 in l
2.407 * [taylor]: Taking taylor expansion of (/ PI l) in l
2.407 * [taylor]: Taking taylor expansion of PI in l
2.408 * [taylor]: Taking taylor expansion of l in l
2.408 * * * [progress]: simplifying candidates
2.410 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (neg 1)
  (neg (log (+ (/ F (* PI l)) (* PI (* l (* F -1/3))))))
  (- 0 (log (+ (/ F (* PI l)) (* PI (* l (* F -1/3))))))
  (- (log 1) (log (+ (/ F (* PI l)) (* PI (* l (* F -1/3))))))
  (log (/ 1 (+ (/ F (* PI l)) (* PI (* l (* F -1/3))))))
  (exp (/ 1 (+ (/ F (* PI l)) (* PI (* l (* F -1/3))))))
  (/ (* (* 1 1) 1) (* (* (+ (/ F (* PI l)) (* PI (* l (* F -1/3)))) (+ (/ F (* PI l)) (* PI (* l (* F -1/3))))) (+ (/ F (* PI l)) (* PI (* l (* F -1/3))))))
  (* (cbrt (/ 1 (+ (/ F (* PI l)) (* PI (* l (* F -1/3)))))) (cbrt (/ 1 (+ (/ F (* PI l)) (* PI (* l (* F -1/3)))))))
  (cbrt (/ 1 (+ (/ F (* PI l)) (* PI (* l (* F -1/3))))))
  (* (* (/ 1 (+ (/ F (* PI l)) (* PI (* l (* F -1/3))))) (/ 1 (+ (/ F (* PI l)) (* PI (* l (* F -1/3)))))) (/ 1 (+ (/ F (* PI l)) (* PI (* l (* F -1/3))))))
  (sqrt (/ 1 (+ (/ F (* PI l)) (* PI (* l (* F -1/3))))))
  (sqrt (/ 1 (+ (/ F (* PI l)) (* PI (* l (* F -1/3))))))
  (neg 1)
  (neg (+ (/ F (* PI l)) (* PI (* l (* F -1/3)))))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (+ (/ F (* PI l)) (* PI (* l (* F -1/3))))) (cbrt (+ (/ F (* PI l)) (* PI (* l (* F -1/3)))))))
  (/ (cbrt 1) (cbrt (+ (/ F (* PI l)) (* PI (* l (* F -1/3))))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (+ (/ F (* PI l)) (* PI (* l (* F -1/3))))))
  (/ (cbrt 1) (sqrt (+ (/ F (* PI l)) (* PI (* l (* F -1/3))))))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (+ (/ F (* PI l)) (* PI (* l (* F -1/3)))))
  (/ (sqrt 1) (* (cbrt (+ (/ F (* PI l)) (* PI (* l (* F -1/3))))) (cbrt (+ (/ F (* PI l)) (* PI (* l (* F -1/3)))))))
  (/ (sqrt 1) (cbrt (+ (/ F (* PI l)) (* PI (* l (* F -1/3))))))
  (/ (sqrt 1) (sqrt (+ (/ F (* PI l)) (* PI (* l (* F -1/3))))))
  (/ (sqrt 1) (sqrt (+ (/ F (* PI l)) (* PI (* l (* F -1/3))))))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (+ (/ F (* PI l)) (* PI (* l (* F -1/3)))))
  (/ 1 (* (cbrt (+ (/ F (* PI l)) (* PI (* l (* F -1/3))))) (cbrt (+ (/ F (* PI l)) (* PI (* l (* F -1/3)))))))
  (/ 1 (cbrt (+ (/ F (* PI l)) (* PI (* l (* F -1/3))))))
  (/ 1 (sqrt (+ (/ F (* PI l)) (* PI (* l (* F -1/3))))))
  (/ 1 (sqrt (+ (/ F (* PI l)) (* PI (* l (* F -1/3))))))
  (/ 1 1)
  (/ 1 (+ (/ F (* PI l)) (* PI (* l (* F -1/3)))))
  (/ 1 (+ (/ F (* PI l)) (* PI (* l (* F -1/3)))))
  (/ (+ (/ F (* PI l)) (* PI (* l (* F -1/3)))) 1)
  (/ 1 (* (cbrt (+ (/ F (* PI l)) (* PI (* l (* F -1/3))))) (cbrt (+ (/ F (* PI l)) (* PI (* l (* F -1/3)))))))
  (/ 1 (sqrt (+ (/ F (* PI l)) (* PI (* l (* F -1/3))))))
  (/ 1 1)
  (/ (+ (/ F (* PI l)) (* PI (* l (* F -1/3)))) (cbrt 1))
  (/ (+ (/ F (* PI l)) (* PI (* l (* F -1/3)))) (sqrt 1))
  (/ (+ (/ F (* PI l)) (* PI (* l (* F -1/3)))) 1)
  (/ 1 (+ (pow (/ F (* PI l)) 3) (pow (* PI (* l (* F -1/3))) 3)))
  (/ 1 (- (* (/ F (* PI l)) (/ F (* PI l))) (* (* PI (* l (* F -1/3))) (* PI (* l (* F -1/3))))))
  (* F -1/3)
  (+ (log F) (log -1/3))
  (log (* F -1/3))
  (exp (* F -1/3))
  (* (* (* F F) F) (* (* -1/3 -1/3) -1/3))
  (* (cbrt (* F -1/3)) (cbrt (* F -1/3)))
  (cbrt (* F -1/3))
  (* (* (* F -1/3) (* F -1/3)) (* F -1/3))
  (sqrt (* F -1/3))
  (sqrt (* F -1/3))
  (* (sqrt F) (sqrt -1/3))
  (* (sqrt F) (sqrt -1/3))
  (* F (* (cbrt -1/3) (cbrt -1/3)))
  (* F (sqrt -1/3))
  (* F 1)
  (* (cbrt F) -1/3)
  (* (sqrt F) -1/3)
  (* F -1/3)
  (* PI (* l (* F -1/3)))
  (* PI (* l (* F -1/3)))
  (* PI (* l (* F -1/3)))
  (+ (log PI) (+ (log l) (+ (log F) (log -1/3))))
  (+ (log PI) (+ (log l) (log (* F -1/3))))
  (+ (log PI) (log (* l (* F -1/3))))
  (log (* PI (* l (* F -1/3))))
  (exp (* PI (* l (* F -1/3))))
  (* (* (* PI PI) PI) (* (* (* l l) l) (* (* (* F F) F) (* (* -1/3 -1/3) -1/3))))
  (* (* (* PI PI) PI) (* (* (* l l) l) (* (* (* F -1/3) (* F -1/3)) (* F -1/3))))
  (* (* (* PI PI) PI) (* (* (* l (* F -1/3)) (* l (* F -1/3))) (* l (* F -1/3))))
  (* (cbrt (* PI (* l (* F -1/3)))) (cbrt (* PI (* l (* F -1/3)))))
  (cbrt (* PI (* l (* F -1/3))))
  (* (* (* PI (* l (* F -1/3))) (* PI (* l (* F -1/3)))) (* PI (* l (* F -1/3))))
  (sqrt (* PI (* l (* F -1/3))))
  (sqrt (* PI (* l (* F -1/3))))
  (* PI l)
  (* (cbrt PI) (* l (* F -1/3)))
  (* (sqrt PI) (* l (* F -1/3)))
  (* PI (* l (* F -1/3)))
  (* 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)
  (+ (/ (* PI l) F) (* 1/3 (/ (* (pow PI 3) (pow l 3)) F)))
  (neg (+ (* 9 (/ 1 (* F (* (pow PI 3) (pow l 3))))) (* 3 (/ 1 (* F (* PI l))))))
  (neg (+ (* 9 (/ 1 (* F (* (pow PI 3) (pow l 3))))) (* 3 (/ 1 (* F (* PI l))))))
  (* -1/3 F)
  (* -1/3 F)
  (* -1/3 F)
  (* -1/3 (* F (* PI l)))
  (* -1/3 (* F (* PI l)))
  (* -1/3 (* F (* PI l)))
  (* PI l)
  (* PI l)
  (* PI l)
2.455 * * [simplify]: iteration  0 :  4942  enodes  (cost  1080 )
2.456 * * [simplify]: iteration  1 :  4942  enodes  (cost  1080 )
2.460 * [simplify]: Simplified to:
   -1
  (neg (log (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))
  (neg (log (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))
  (neg (log (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))
  (neg (log (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))
  (exp (/ 1 (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))
  (/ 1 (pow (+ (/ F (* PI l)) (* F (* (* PI l) -1/3))) 3))
  (* (cbrt (/ 1 (+ (/ F (* PI l)) (* F (* (* PI l) -1/3))))) (cbrt (/ 1 (+ (/ F (* PI l)) (* F (* (* PI l) -1/3))))))
  (cbrt (/ 1 (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))
  (/ 1 (pow (+ (/ F (* PI l)) (* F (* (* PI l) -1/3))) 3))
  (sqrt (/ 1 (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))
  (sqrt (/ 1 (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))
  -1
  (- (* F (* 1/3 (* PI l))) (/ F (* PI l)))
  (* (cbrt 1) (/ (cbrt 1) (* (cbrt (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))) (cbrt (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))))
  (/ (cbrt 1) (cbrt (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))
  (* (cbrt 1) (/ (cbrt 1) (sqrt (+ (/ F (* PI l)) (* F (* (* PI l) -1/3))))))
  (/ (cbrt 1) (sqrt (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))
  (* (cbrt 1) (cbrt 1))
  (/ (cbrt 1) (+ (/ F (* PI l)) (* F (* (* PI l) -1/3))))
  (/ 1 (* (cbrt (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))) (cbrt (+ (/ F (* PI l)) (* F (* (* PI l) -1/3))))))
  (/ 1 (cbrt (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))
  (/ 1 (sqrt (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))
  (/ 1 (sqrt (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))
  1
  (/ 1 (+ (/ F (* PI l)) (* F (* (* PI l) -1/3))))
  (/ 1 (* (cbrt (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))) (cbrt (+ (/ F (* PI l)) (* F (* (* PI l) -1/3))))))
  (/ 1 (cbrt (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))
  (/ 1 (sqrt (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))
  (/ 1 (sqrt (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))
  1
  (/ 1 (+ (/ F (* PI l)) (* F (* (* PI l) -1/3))))
  (/ 1 (+ (/ F (* PI l)) (* F (* (* PI l) -1/3))))
  (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))
  (/ 1 (* (cbrt (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))) (cbrt (+ (/ F (* PI l)) (* F (* (* PI l) -1/3))))))
  (/ 1 (sqrt (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))
  1
  (/ (+ (/ F (* PI l)) (* F (* (* PI l) -1/3))) (cbrt 1))
  (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))
  (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))
  (/ 1 (+ (pow (/ F (* PI l)) 3) (* -1/27 (pow (* F (* PI l)) 3))))
  (/ 1 (+ (* F (/ (/ F (* PI l)) (* PI l))) (* PI (* (* l (* (* -1/9 (* F F)) l)) PI))))
  (* F -1/3)
  (log (* F -1/3))
  (log (* F -1/3))
  (pow (exp F) -1/3)
  (* (pow F 3) -1/27)
  (* (cbrt (* F -1/3)) (cbrt (* F -1/3)))
  (cbrt (* F -1/3))
  (* (pow F 3) -1/27)
  (sqrt (* F -1/3))
  (sqrt (* F -1/3))
  (* (sqrt F) (sqrt -1/3))
  (* (sqrt F) (sqrt -1/3))
  (* F (* (cbrt -1/3) (cbrt -1/3)))
  (* F (sqrt -1/3))
  F
  (* -1/3 (cbrt F))
  (* -1/3 (sqrt F))
  (* F -1/3)
  (* F (* (* PI l) -1/3))
  (* F (* (* PI l) -1/3))
  (* F (* (* PI l) -1/3))
  (log (* F (* (* PI l) -1/3)))
  (log (* F (* (* PI l) -1/3)))
  (log (* F (* (* PI l) -1/3)))
  (log (* F (* (* PI l) -1/3)))
  (pow (pow (exp F) -1/3) (* PI l))
  (* -1/27 (pow (* F (* PI l)) 3))
  (* -1/27 (pow (* F (* PI l)) 3))
  (* -1/27 (pow (* F (* PI l)) 3))
  (* (cbrt (* F (* (* PI l) -1/3))) (cbrt (* F (* (* PI l) -1/3))))
  (cbrt (* F (* (* PI l) -1/3)))
  (* -1/27 (pow (* F (* PI l)) 3))
  (sqrt (* F (* (* PI l) -1/3)))
  (sqrt (* F (* (* PI l) -1/3)))
  (* PI l)
  (* F (* -1/3 (* l (cbrt PI))))
  (* F (* -1/3 (* l (sqrt PI))))
  (* F (* (* PI l) -1/3))
  (* PI l)
  (log (* PI l))
  (log (* PI l))
  (pow (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
  (* l (cbrt PI))
  (* l (sqrt PI))
  (* PI l)
  (+ (* PI (/ l F)) (* (pow (* PI l) 3) (/ 1/3 F)))
  (+ (/ -9 (* F (pow (* PI l) 3))) (/ -3 (* F (* PI l))))
  (+ (/ -9 (* F (pow (* PI l) 3))) (/ -3 (* F (* PI l))))
  (* F -1/3)
  (* F -1/3)
  (* F -1/3)
  (* F (* (* PI l) -1/3))
  (* F (* (* PI l) -1/3))
  (* F (* (* PI l) -1/3))
  (* PI l)
  (* PI l)
  (* PI l)
2.460 * * * [progress]: adding candidates to table
2.568 * [progress]: [Phase 3 of 3] Extracting.
2.568 * * [regime]: Finding splitpoints for: (#<alt (λ (F l) (- (* PI l) (* 1.0 (/ (* (/ 1 (+ (pow (/ F (* PI l)) 3) (* -1/27 (pow (* F (* PI l)) 3)))) (+ (* (/ F (* PI l)) (/ F (* PI l))) (- (* (* PI (* l (* F -1/3))) (* PI (* l (* F -1/3)))) (* (/ F (* PI l)) (* PI (* l (* F -1/3))))))) F))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (* (/ 1 (+ (* F (/ (/ F (* PI l)) (* PI l))) (* PI (* (* l (* (* -1/9 (* F F)) l)) PI)))) (- (/ F (* PI l)) (* PI (* l (* F -1/3))))) F))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (+ (/ -9 (* F (pow (* PI l) 3))) (/ -3 (* F (* PI l)))) F))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ 1 (* F (/ F (tan (* PI l))))))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (/ 1 (+ (/ F (* PI l)) (* PI (* l (exp (log (* F -1/3))))))) F))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (* (/ (sqrt (tan (* PI l))) F) (/ (sqrt (tan (* PI l))) F)))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (cbrt (/ 1 (pow (+ (/ F (* PI l)) (* F (* (* PI l) -1/3))) 3))) F))))> #<alt (λ (F l) (- (* (sqrt (* PI l)) (sqrt (* PI l))) (* 1.0 (/ (tan (* PI l)) (* F F)))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (/ (tan (* (* PI (* (cbrt l) (cbrt l))) (cbrt l))) F) F))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (* (* (cbrt (/ 1 (+ (/ F (* PI l)) (* F (* (* PI l) -1/3))))) (cbrt (/ 1 (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))) (cbrt (/ 1 (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))) F))))> #<alt (λ (F l) (- (* (* PI (* (cbrt l) (cbrt l))) (cbrt l)) (* 1.0 (/ (tan (* PI l)) (* F F)))))> #<alt (λ (F l) (- (cbrt (pow (* PI l) 3)) (* 1.0 (/ (tan (* PI l)) (* F F)))))> #<alt (λ (F l) (- (* (* PI (sqrt l)) (sqrt l)) (* 1.0 (/ (tan (* PI l)) (* F F)))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (exp (log (/ (tan (* PI l)) (* F F)))))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (/ (tan (* (sqrt PI) (* l (sqrt PI)))) F) F))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (exp (neg (log (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))) F))))> #<alt (λ (F l) (- (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l))) (* 1.0 (/ (tan (* PI l)) (* F F)))))>)
2.574 * * * [regime-changes]: Trying 4 branch expressions: ((* F F) (* PI l) l F)
2.574 * * * * [regimes]: Trying to branch on (* F F) from (#<alt (λ (F l) (- (* PI l) (* 1.0 (/ (* (/ 1 (+ (pow (/ F (* PI l)) 3) (* -1/27 (pow (* F (* PI l)) 3)))) (+ (* (/ F (* PI l)) (/ F (* PI l))) (- (* (* PI (* l (* F -1/3))) (* PI (* l (* F -1/3)))) (* (/ F (* PI l)) (* PI (* l (* F -1/3))))))) F))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (* (/ 1 (+ (* F (/ (/ F (* PI l)) (* PI l))) (* PI (* (* l (* (* -1/9 (* F F)) l)) PI)))) (- (/ F (* PI l)) (* PI (* l (* F -1/3))))) F))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (+ (/ -9 (* F (pow (* PI l) 3))) (/ -3 (* F (* PI l)))) F))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ 1 (* F (/ F (tan (* PI l))))))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (/ 1 (+ (/ F (* PI l)) (* PI (* l (exp (log (* F -1/3))))))) F))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (* (/ (sqrt (tan (* PI l))) F) (/ (sqrt (tan (* PI l))) F)))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (cbrt (/ 1 (pow (+ (/ F (* PI l)) (* F (* (* PI l) -1/3))) 3))) F))))> #<alt (λ (F l) (- (* (sqrt (* PI l)) (sqrt (* PI l))) (* 1.0 (/ (tan (* PI l)) (* F F)))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (/ (tan (* (* PI (* (cbrt l) (cbrt l))) (cbrt l))) F) F))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (* (* (cbrt (/ 1 (+ (/ F (* PI l)) (* F (* (* PI l) -1/3))))) (cbrt (/ 1 (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))) (cbrt (/ 1 (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))) F))))> #<alt (λ (F l) (- (* (* PI (* (cbrt l) (cbrt l))) (cbrt l)) (* 1.0 (/ (tan (* PI l)) (* F F)))))> #<alt (λ (F l) (- (cbrt (pow (* PI l) 3)) (* 1.0 (/ (tan (* PI l)) (* F F)))))> #<alt (λ (F l) (- (* (* PI (sqrt l)) (sqrt l)) (* 1.0 (/ (tan (* PI l)) (* F F)))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (exp (log (/ (tan (* PI l)) (* F F)))))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (/ (tan (* (sqrt PI) (* l (sqrt PI)))) F) F))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (exp (neg (log (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))) F))))> #<alt (λ (F l) (- (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l))) (* 1.0 (/ (tan (* PI l)) (* F F)))))>)
2.657 * * * * [regimes]: Trying to branch on (* F F) from (#<alt (λ (F l) (- (* (sqrt (* PI l)) (sqrt (* PI l))) (* 1.0 (/ (tan (* PI l)) (* F F)))))> #<alt (λ (F l) (- (* (* PI (* (cbrt l) (cbrt l))) (cbrt l)) (* 1.0 (/ (tan (* PI l)) (* F F)))))> #<alt (λ (F l) (- (cbrt (pow (* PI l) 3)) (* 1.0 (/ (tan (* PI l)) (* F F)))))> #<alt (λ (F l) (- (* (* PI (sqrt l)) (sqrt l)) (* 1.0 (/ (tan (* PI l)) (* F F)))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (exp (log (/ (tan (* PI l)) (* F F)))))))> #<alt (λ (F l) (- (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l))) (* 1.0 (/ (tan (* PI l)) (* F F)))))>)
2.699 * * * * [regimes]: Trying to branch on (* PI l) from (#<alt (λ (F l) (- (* PI l) (* 1.0 (/ (* (/ 1 (+ (pow (/ F (* PI l)) 3) (* -1/27 (pow (* F (* PI l)) 3)))) (+ (* (/ F (* PI l)) (/ F (* PI l))) (- (* (* PI (* l (* F -1/3))) (* PI (* l (* F -1/3)))) (* (/ F (* PI l)) (* PI (* l (* F -1/3))))))) F))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (* (/ 1 (+ (* F (/ (/ F (* PI l)) (* PI l))) (* PI (* (* l (* (* -1/9 (* F F)) l)) PI)))) (- (/ F (* PI l)) (* PI (* l (* F -1/3))))) F))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (+ (/ -9 (* F (pow (* PI l) 3))) (/ -3 (* F (* PI l)))) F))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ 1 (* F (/ F (tan (* PI l))))))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (/ 1 (+ (/ F (* PI l)) (* PI (* l (exp (log (* F -1/3))))))) F))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (* (/ (sqrt (tan (* PI l))) F) (/ (sqrt (tan (* PI l))) F)))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (cbrt (/ 1 (pow (+ (/ F (* PI l)) (* F (* (* PI l) -1/3))) 3))) F))))> #<alt (λ (F l) (- (* (sqrt (* PI l)) (sqrt (* PI l))) (* 1.0 (/ (tan (* PI l)) (* F F)))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (/ (tan (* (* PI (* (cbrt l) (cbrt l))) (cbrt l))) F) F))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (* (* (cbrt (/ 1 (+ (/ F (* PI l)) (* F (* (* PI l) -1/3))))) (cbrt (/ 1 (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))) (cbrt (/ 1 (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))) F))))> #<alt (λ (F l) (- (* (* PI (* (cbrt l) (cbrt l))) (cbrt l)) (* 1.0 (/ (tan (* PI l)) (* F F)))))> #<alt (λ (F l) (- (cbrt (pow (* PI l) 3)) (* 1.0 (/ (tan (* PI l)) (* F F)))))> #<alt (λ (F l) (- (* (* PI (sqrt l)) (sqrt l)) (* 1.0 (/ (tan (* PI l)) (* F F)))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (exp (log (/ (tan (* PI l)) (* F F)))))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (/ (tan (* (sqrt PI) (* l (sqrt PI)))) F) F))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (exp (neg (log (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))) F))))> #<alt (λ (F l) (- (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l))) (* 1.0 (/ (tan (* PI l)) (* F F)))))>)
2.783 * * * * [regimes]: Trying to branch on l from (#<alt (λ (F l) (- (* PI l) (* 1.0 (/ (* (/ 1 (+ (pow (/ F (* PI l)) 3) (* -1/27 (pow (* F (* PI l)) 3)))) (+ (* (/ F (* PI l)) (/ F (* PI l))) (- (* (* PI (* l (* F -1/3))) (* PI (* l (* F -1/3)))) (* (/ F (* PI l)) (* PI (* l (* F -1/3))))))) F))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (* (/ 1 (+ (* F (/ (/ F (* PI l)) (* PI l))) (* PI (* (* l (* (* -1/9 (* F F)) l)) PI)))) (- (/ F (* PI l)) (* PI (* l (* F -1/3))))) F))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (+ (/ -9 (* F (pow (* PI l) 3))) (/ -3 (* F (* PI l)))) F))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ 1 (* F (/ F (tan (* PI l))))))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (/ 1 (+ (/ F (* PI l)) (* PI (* l (exp (log (* F -1/3))))))) F))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (* (/ (sqrt (tan (* PI l))) F) (/ (sqrt (tan (* PI l))) F)))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (cbrt (/ 1 (pow (+ (/ F (* PI l)) (* F (* (* PI l) -1/3))) 3))) F))))> #<alt (λ (F l) (- (* (sqrt (* PI l)) (sqrt (* PI l))) (* 1.0 (/ (tan (* PI l)) (* F F)))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (/ (tan (* (* PI (* (cbrt l) (cbrt l))) (cbrt l))) F) F))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (* (* (cbrt (/ 1 (+ (/ F (* PI l)) (* F (* (* PI l) -1/3))))) (cbrt (/ 1 (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))) (cbrt (/ 1 (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))) F))))> #<alt (λ (F l) (- (* (* PI (* (cbrt l) (cbrt l))) (cbrt l)) (* 1.0 (/ (tan (* PI l)) (* F F)))))> #<alt (λ (F l) (- (cbrt (pow (* PI l) 3)) (* 1.0 (/ (tan (* PI l)) (* F F)))))> #<alt (λ (F l) (- (* (* PI (sqrt l)) (sqrt l)) (* 1.0 (/ (tan (* PI l)) (* F F)))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (exp (log (/ (tan (* PI l)) (* F F)))))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (/ (tan (* (sqrt PI) (* l (sqrt PI)))) F) F))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (exp (neg (log (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))) F))))> #<alt (λ (F l) (- (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l))) (* 1.0 (/ (tan (* PI l)) (* F F)))))>)
2.865 * * * * [regimes]: Trying to branch on F from (#<alt (λ (F l) (- (* PI l) (* 1.0 (/ (* (/ 1 (+ (pow (/ F (* PI l)) 3) (* -1/27 (pow (* F (* PI l)) 3)))) (+ (* (/ F (* PI l)) (/ F (* PI l))) (- (* (* PI (* l (* F -1/3))) (* PI (* l (* F -1/3)))) (* (/ F (* PI l)) (* PI (* l (* F -1/3))))))) F))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (* (/ 1 (+ (* F (/ (/ F (* PI l)) (* PI l))) (* PI (* (* l (* (* -1/9 (* F F)) l)) PI)))) (- (/ F (* PI l)) (* PI (* l (* F -1/3))))) F))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (+ (/ -9 (* F (pow (* PI l) 3))) (/ -3 (* F (* PI l)))) F))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ 1 (* F (/ F (tan (* PI l))))))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (/ 1 (+ (/ F (* PI l)) (* PI (* l (exp (log (* F -1/3))))))) F))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (* (/ (sqrt (tan (* PI l))) F) (/ (sqrt (tan (* PI l))) F)))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (cbrt (/ 1 (pow (+ (/ F (* PI l)) (* F (* (* PI l) -1/3))) 3))) F))))> #<alt (λ (F l) (- (* (sqrt (* PI l)) (sqrt (* PI l))) (* 1.0 (/ (tan (* PI l)) (* F F)))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (/ (tan (* (* PI (* (cbrt l) (cbrt l))) (cbrt l))) F) F))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (* (* (cbrt (/ 1 (+ (/ F (* PI l)) (* F (* (* PI l) -1/3))))) (cbrt (/ 1 (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))) (cbrt (/ 1 (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))) F))))> #<alt (λ (F l) (- (* (* PI (* (cbrt l) (cbrt l))) (cbrt l)) (* 1.0 (/ (tan (* PI l)) (* F F)))))> #<alt (λ (F l) (- (cbrt (pow (* PI l) 3)) (* 1.0 (/ (tan (* PI l)) (* F F)))))> #<alt (λ (F l) (- (* (* PI (sqrt l)) (sqrt l)) (* 1.0 (/ (tan (* PI l)) (* F F)))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (exp (log (/ (tan (* PI l)) (* F F)))))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (/ (tan (* (sqrt PI) (* l (sqrt PI)))) F) F))))> #<alt (λ (F l) (- (* PI l) (* 1.0 (/ (exp (neg (log (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))) F))))> #<alt (λ (F l) (- (* (* (cbrt (* PI l)) (cbrt (* PI l))) (cbrt (* PI l))) (* 1.0 (/ (tan (* PI l)) (* F F)))))>)
2.949 * * * [regime]: Found split indices: #<option (#s(si 9 255))>
2.950 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (* PI l) (* 1.0 (/ (* (* (cbrt (/ 1 (+ (/ F (* PI l)) (* F (* (* PI l) -1/3))))) (cbrt (/ 1 (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))) (cbrt (/ 1 (+ (/ F (* PI l)) (* F (* (* PI l) -1/3)))))) F)))
2.951 * * [simplify]: iteration  0 :  75  enodes  (cost  58 )
2.951 * * [simplify]: iteration  1 :  75  enodes  (cost  58 )
2.951 * [simplify]: Simplified to:
   (- (* PI l) (* 1.0 (/ (* (cbrt (/ 1 (+ (/ F (* PI l)) (* F (* (* PI l) -1/3))))) (* (cbrt (/ 1 (+ (/ F (* PI l)) (* F (* (* PI l) -1/3))))) (cbrt (/ 1 (+ (/ F (* PI l)) (* F (* (* PI l) -1/3))))))) F)))
8.677 * [regime-testing]: End program error score: 8.783694695624504