5.423 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.028 * * * [progress]: [2/2] Setting up program.
0.031 * [progress]: [Phase 2 of 3] Improving.
0.032 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (* (* (* (/ (+ myTopRad myBotRad) 2.0) 2.0) PI) myTurns) numPts)
0.033 * * [simplify]: iteration  0 :  24  enodes  (cost  6 )
0.035 * * [simplify]: iteration  1 :  70  enodes  (cost  6 )
0.036 * * [simplify]: iteration  2 :  251  enodes  (cost  5 )
0.040 * * [simplify]: iteration  3 :  795  enodes  (cost  4 )
0.054 * * [simplify]: iteration  4 :  3516  enodes  (cost  4 )
0.117 * * [simplify]: iteration  5 :  5001  enodes  (cost  4 )
0.117 * [simplify]: Simplified to:
   (* (* (/ myTurns numPts) (+ myTopRad myBotRad)) PI)
0.122 * [progress]: [Phase 3 of 3] Extracting.
0.122 * * [regime]: Finding splitpoints for: (#<alt (λ (myTopRad myBotRad myTurns numPts) (* (* (/ myTurns numPts) (+ myTopRad myBotRad)) PI))> #<alt (λ (myTopRad myBotRad myTurns numPts) (/ (* (* (* (/ (+ myTopRad myBotRad) 2.0) 2.0) PI) myTurns) numPts))>)
0.122 * * * [regime-changes]: Trying 10 branch expressions: ((+ myTopRad myBotRad) (/ (+ myTopRad myBotRad) 2.0) (* (/ (+ myTopRad myBotRad) 2.0) 2.0) (* (* (/ (+ myTopRad myBotRad) 2.0) 2.0) PI) (* (* (* (/ (+ myTopRad myBotRad) 2.0) 2.0) PI) myTurns) (/ (* (* (* (/ (+ myTopRad myBotRad) 2.0) 2.0) PI) myTurns) numPts) numPts myTurns myBotRad myTopRad)
0.122 * * * * [regimes]: Trying to branch on (+ myTopRad myBotRad) from (#<alt (λ (myTopRad myBotRad myTurns numPts) (* (* (/ myTurns numPts) (+ myTopRad myBotRad)) PI))> #<alt (λ (myTopRad myBotRad myTurns numPts) (/ (* (* (* (/ (+ myTopRad myBotRad) 2.0) 2.0) PI) myTurns) numPts))>)
0.185 * * * * [regimes]: Trying to branch on (/ (+ myTopRad myBotRad) 2.0) from (#<alt (λ (myTopRad myBotRad myTurns numPts) (* (* (/ myTurns numPts) (+ myTopRad myBotRad)) PI))> #<alt (λ (myTopRad myBotRad myTurns numPts) (/ (* (* (* (/ (+ myTopRad myBotRad) 2.0) 2.0) PI) myTurns) numPts))>)
0.246 * * * * [regimes]: Trying to branch on (* (/ (+ myTopRad myBotRad) 2.0) 2.0) from (#<alt (λ (myTopRad myBotRad myTurns numPts) (* (* (/ myTurns numPts) (+ myTopRad myBotRad)) PI))> #<alt (λ (myTopRad myBotRad myTurns numPts) (/ (* (* (* (/ (+ myTopRad myBotRad) 2.0) 2.0) PI) myTurns) numPts))>)
0.309 * * * * [regimes]: Trying to branch on (* (* (/ (+ myTopRad myBotRad) 2.0) 2.0) PI) from (#<alt (λ (myTopRad myBotRad myTurns numPts) (* (* (/ myTurns numPts) (+ myTopRad myBotRad)) PI))> #<alt (λ (myTopRad myBotRad myTurns numPts) (/ (* (* (* (/ (+ myTopRad myBotRad) 2.0) 2.0) PI) myTurns) numPts))>)
0.371 * * * * [regimes]: Trying to branch on (* (* (* (/ (+ myTopRad myBotRad) 2.0) 2.0) PI) myTurns) from (#<alt (λ (myTopRad myBotRad myTurns numPts) (* (* (/ myTurns numPts) (+ myTopRad myBotRad)) PI))> #<alt (λ (myTopRad myBotRad myTurns numPts) (/ (* (* (* (/ (+ myTopRad myBotRad) 2.0) 2.0) PI) myTurns) numPts))>)
0.427 * * * * [regimes]: Trying to branch on (/ (* (* (* (/ (+ myTopRad myBotRad) 2.0) 2.0) PI) myTurns) numPts) from (#<alt (λ (myTopRad myBotRad myTurns numPts) (* (* (/ myTurns numPts) (+ myTopRad myBotRad)) PI))> #<alt (λ (myTopRad myBotRad myTurns numPts) (/ (* (* (* (/ (+ myTopRad myBotRad) 2.0) 2.0) PI) myTurns) numPts))>)
0.483 * * * * [regimes]: Trying to branch on numPts from (#<alt (λ (myTopRad myBotRad myTurns numPts) (* (* (/ myTurns numPts) (+ myTopRad myBotRad)) PI))> #<alt (λ (myTopRad myBotRad myTurns numPts) (/ (* (* (* (/ (+ myTopRad myBotRad) 2.0) 2.0) PI) myTurns) numPts))>)
0.538 * * * * [regimes]: Trying to branch on myTurns from (#<alt (λ (myTopRad myBotRad myTurns numPts) (* (* (/ myTurns numPts) (+ myTopRad myBotRad)) PI))> #<alt (λ (myTopRad myBotRad myTurns numPts) (/ (* (* (* (/ (+ myTopRad myBotRad) 2.0) 2.0) PI) myTurns) numPts))>)
0.590 * * * * [regimes]: Trying to branch on myBotRad from (#<alt (λ (myTopRad myBotRad myTurns numPts) (* (* (/ myTurns numPts) (+ myTopRad myBotRad)) PI))> #<alt (λ (myTopRad myBotRad myTurns numPts) (/ (* (* (* (/ (+ myTopRad myBotRad) 2.0) 2.0) PI) myTurns) numPts))>)
0.650 * * * * [regimes]: Trying to branch on myTopRad from (#<alt (λ (myTopRad myBotRad myTurns numPts) (* (* (/ myTurns numPts) (+ myTopRad myBotRad)) PI))> #<alt (λ (myTopRad myBotRad myTurns numPts) (/ (* (* (* (/ (+ myTopRad myBotRad) 2.0) 2.0) PI) myTurns) numPts))>)
0.696 * * * [regime]: Found split indices: #<option (#s(si 0 35) #s(si 1 231) #s(si 0 255))>
0.696 * [binary-search]: Only using regimes for bounds on (* (* (* (/ (+ myTopRad myBotRad) 2.0) 2.0) PI) myTurns) and (#<alt (λ (myTopRad myBotRad myTurns numPts) (* (* (/ myTurns numPts) (+ myTopRad myBotRad)) PI))> #<alt (λ (myTopRad myBotRad myTurns numPts) (/ (* (* (* (/ (+ myTopRad myBotRad) 2.0) 2.0) PI) myTurns) numPts))>)
0.696 * [regimes]: Found splitpoints: (#s(sp 0 (* (* (* (/ (+ myTopRad myBotRad) 2.0) 2.0) PI) myTurns) -2.67991217231307e+151) #s(sp 1 (* (* (* (/ (+ myTopRad myBotRad) 2.0) 2.0) PI) myTurns) 2.811051946843951e+221) #s(sp 0 (* (* (* (/ (+ myTopRad myBotRad) 2.0) 2.0) PI) myTurns) +nan.0)) , with alts (#<alt (λ (myTopRad myBotRad myTurns numPts) (* (* (/ myTurns numPts) (+ myTopRad myBotRad)) PI))> #<alt (λ (myTopRad myBotRad myTurns numPts) (/ (* (* (* (/ (+ myTopRad myBotRad) 2.0) 2.0) PI) myTurns) numPts))>)
0.697 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= (* (* (* (/ (+ myTopRad myBotRad) 2.0) 2.0) PI) myTurns) -2.67991217231307e+151) (* (* (/ myTurns numPts) (+ myTopRad myBotRad)) PI) (if (<= (* (* (* (/ (+ myTopRad myBotRad) 2.0) 2.0) PI) myTurns) 2.811051946843951e+221) (/ (* (* (* (/ (+ myTopRad myBotRad) 2.0) 2.0) PI) myTurns) numPts) (* (* (/ myTurns numPts) (+ myTopRad myBotRad)) PI)))
0.697 * * [simplify]: iteration  0 :  30  enodes  (cost  20 )
0.698 * * [simplify]: iteration  1 :  30  enodes  (cost  20 )
0.698 * [simplify]: Simplified to:
   (if (or (<= (* (* (* (/ (+ myTopRad myBotRad) 2.0) 2.0) PI) myTurns) -2.67991217231307e+151) (not (<= (* (* (* (/ (+ myTopRad myBotRad) 2.0) 2.0) PI) myTurns) 2.811051946843951e+221))) (* (* (/ myTurns numPts) (+ myTopRad myBotRad)) PI) (/ (* (* (* (/ (+ myTopRad myBotRad) 2.0) 2.0) PI) myTurns) numPts))
1.954 * [regime-testing]: End program error score: 1.6521548502428085