5.265 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.054 * * * [progress]: [2/2] Setting up program.
0.057 * [progress]: [Phase 2 of 3] Improving.
0.058 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ x (* (* (* (* s R) R) R) (sqrt (- 1.0 (pow (/ x R) 2.0)))))
0.060 * * [simplify]: iteration  0 :  31  enodes  (cost  9 )
0.061 * * [simplify]: iteration  1 :  71  enodes  (cost  9 )
0.062 * * [simplify]: iteration  2 :  189  enodes  (cost  8 )
0.065 * * [simplify]: iteration  3 :  365  enodes  (cost  8 )
0.070 * * [simplify]: iteration  4 :  701  enodes  (cost  8 )
0.080 * * [simplify]: iteration  5 :  2310  enodes  (cost  8 )
0.121 * * [simplify]: iteration  6 :  5001  enodes  (cost  8 )
0.122 * [simplify]: Simplified to:
   (/ (/ x s) (* (pow R 3) (sqrt (- 1.0 (pow (/ x R) 2.0)))))
0.126 * [progress]: [Phase 3 of 3] Extracting.
0.126 * * [regime]: Finding splitpoints for: (#<alt (λ (x s R) (/ x (* (* (* (* s R) R) R) (sqrt (- 1.0 (pow (/ x R) 2.0))))))> #<alt (λ (x s R) (/ (/ x s) (* (pow R 3) (sqrt (- 1.0 (pow (/ x R) 2.0))))))>)
0.127 * * * [regime-changes]: Trying 4 branch expressions: ((/ x (* (* (* (* s R) R) R) (sqrt (- 1.0 (pow (/ x R) 2.0))))) R s x)
0.127 * * * * [regimes]: Trying to branch on (/ x (* (* (* (* s R) R) R) (sqrt (- 1.0 (pow (/ x R) 2.0))))) from (#<alt (λ (x s R) (/ x (* (* (* (* s R) R) R) (sqrt (- 1.0 (pow (/ x R) 2.0))))))> #<alt (λ (x s R) (/ (/ x s) (* (pow R 3) (sqrt (- 1.0 (pow (/ x R) 2.0))))))>)
0.172 * * * * [regimes]: Trying to branch on R from (#<alt (λ (x s R) (/ x (* (* (* (* s R) R) R) (sqrt (- 1.0 (pow (/ x R) 2.0))))))> #<alt (λ (x s R) (/ (/ x s) (* (pow R 3) (sqrt (- 1.0 (pow (/ x R) 2.0))))))>)
0.210 * * * * [regimes]: Trying to branch on s from (#<alt (λ (x s R) (/ x (* (* (* (* s R) R) R) (sqrt (- 1.0 (pow (/ x R) 2.0))))))> #<alt (λ (x s R) (/ (/ x s) (* (pow R 3) (sqrt (- 1.0 (pow (/ x R) 2.0))))))>)
0.249 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x s R) (/ x (* (* (* (* s R) R) R) (sqrt (- 1.0 (pow (/ x R) 2.0))))))> #<alt (λ (x s R) (/ (/ x s) (* (pow R 3) (sqrt (- 1.0 (pow (/ x R) 2.0))))))>)
0.294 * * * [regime]: Found split indices: #<option (#s(si 0 55) #s(si 1 105) #s(si 0 255))>
0.294 * [binary-search]: Improving bounds with binary search for x and (#<alt (λ (x s R) (/ x (* (* (* (* s R) R) R) (sqrt (- 1.0 (pow (/ x R) 2.0))))))> #<alt (λ (x s R) (/ (/ x s) (* (pow R 3) (sqrt (- 1.0 (pow (/ x R) 2.0))))))>)
0.339 * [regimes]: Found splitpoints: (#s(sp 0 x -3.9377723723314305e-56) #s(sp 1 x -1.357951183066839e-243) #s(sp 0 x +nan.0)) , with alts (#<alt (λ (x s R) (/ x (* (* (* (* s R) R) R) (sqrt (- 1.0 (pow (/ x R) 2.0))))))> #<alt (λ (x s R) (/ (/ x s) (* (pow R 3) (sqrt (- 1.0 (pow (/ x R) 2.0))))))>)
0.339 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= x -3.9377723723314305e-56) (/ x (* (* (* (* s R) R) R) (sqrt (- 1.0 (pow (/ x R) 2.0))))) (if (<= x -1.357951183066839e-243) (/ (/ x s) (* (pow R 3) (sqrt (- 1.0 (pow (/ x R) 2.0))))) (/ x (* (* (* (* s R) R) R) (sqrt (- 1.0 (pow (/ x R) 2.0)))))))
0.339 * * [simplify]: iteration  0 :  33  enodes  (cost  17 )
0.340 * * [simplify]: iteration  1 :  33  enodes  (cost  17 )
0.340 * [simplify]: Simplified to:
   (if (or (<= x -3.9377723723314305e-56) (not (<= x -1.357951183066839e-243))) (/ x (* (* (* (* s R) R) R) (sqrt (- 1.0 (pow (/ x R) 2.0))))) (/ (/ x s) (* (pow R 3) (sqrt (- 1.0 (pow (/ x R) 2.0))))))
2.434 * [regime-testing]: End program error score: 6.191602711600811