0.674 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.508 * * * [progress]: [2/2] Setting up program.
0.550 * [progress]: [Phase 2 of 3] Improving.
0.554 * [simplify]: Simplifying:
  (- (* PI l) (* (/ 1.0 (* F F)) (tan (* PI l))))
0.555 * * [simplify]: Extracting # 0 : cost  0
0.555 * * [simplify]: Extracting # 1 : cost  0
0.555 * * [simplify]: Extracting # 2 : cost  0
0.556 * * [simplify]: Extracting # 3 : cost  0
0.556 * * [simplify]: Extracting # 4 : cost  0
0.556 * * [simplify]: Extracting # 5 : cost  0
0.556 * * [simplify]: iteration  0 :  10  enodes  (cost  14 )
0.563 * * [simplify]: Extracting # 0 : cost  0
0.563 * * [simplify]: Extracting # 1 : cost  0
0.563 * * [simplify]: Extracting # 2 : cost  0
0.563 * * [simplify]: iteration  1 :  19  enodes  (cost  14 )
0.568 * * [simplify]: Extracting # 0 : cost  0
0.568 * * [simplify]: Extracting # 1 : cost  0
0.568 * * [simplify]: Extracting # 2 : cost  0
0.568 * * [simplify]: iteration  2 :  41  enodes  (cost  14 )
0.582 * * [simplify]: Extracting # 0 : cost  0
0.582 * * [simplify]: Extracting # 1 : cost  0
0.582 * * [simplify]: Extracting # 2 : cost  0
0.583 * * [simplify]: iteration  3 :  82  enodes  (cost  14 )
0.653 * * [simplify]: Extracting # 0 : cost  0
0.653 * * [simplify]: Extracting # 1 : cost  0
0.653 * * [simplify]: Extracting # 2 : cost  0
0.654 * * [simplify]: iteration  4 :  126  enodes  (cost  14 )
0.735 * * [simplify]: Extracting # 0 : cost  0
0.736 * * [simplify]: Extracting # 1 : cost  0
0.736 * * [simplify]: Extracting # 2 : cost  0
0.736 * * [simplify]: iteration  5 :  152  enodes  (cost  14 )
0.883 * * [simplify]: Extracting # 0 : cost  0
0.883 * * [simplify]: iteration  6 :  162  enodes  (cost  14 )
0.924 * * [simplify]: Extracting # 0 : cost  0
0.924 * * [simplify]: iteration  7 :  164  enodes  (cost  14 )
0.977 * * [simplify]: Extracting # 0 : cost  0
0.978 * * [simplify]: iteration done:  164  enodes  (cost  14 )
0.979 * [simplify]: Simplified to:
  (- (* PI l) (* (/ 1.0 (* F F)) (tan (* PI l))))
0.981 * * [progress]: iteration 1 / 4
0.982 * * * [progress]: picking best candidate
0.991 * * * * [pick]: Picked  #<alt (λ (F l) (- (* PI l) (* (/ 1.0 (* F F)) (tan (* PI l)))))>
0.991 * * * [progress]: localizing error