14.955 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.103 * * * [progress]: [2/2] Setting up program.
0.107 * [progress]: [Phase 2 of 3] Improving.
0.107 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (- (+ (/ 1.0 x) (/ x (* x (tan x)))) (/ (sqrt x) (sqrt (+ (* x (sqrt x)) 1.0)))) (exp2 (sin x)))
0.109 * * [simplify]: iteration  0 :  30  enodes  (cost  15 )
0.110 * * [simplify]: iteration  1 :  61  enodes  (cost  15 )
0.112 * * [simplify]: iteration  2 :  128  enodes  (cost  15 )
0.114 * * [simplify]: iteration  3 :  215  enodes  (cost  15 )
0.116 * * [simplify]: iteration  4 :  407  enodes  (cost  15 )
0.119 * * [simplify]: iteration  5 :  561  enodes  (cost  14 )
0.123 * * [simplify]: iteration  6 :  859  enodes  (cost  14 )
0.127 * * [simplify]: iteration  7 :  1019  enodes  (cost  14 )
0.131 * * [simplify]: iteration  8 :  1065  enodes  (cost  14 )
0.135 * * [simplify]: iteration  9 :  1104  enodes  (cost  14 )
0.142 * * [simplify]: iteration  10 :  1116  enodes  (cost  14 )
0.146 * * [simplify]: iteration  11 :  1124  enodes  (cost  14 )
0.151 * * [simplify]: iteration  12 :  1126  enodes  (cost  14 )
0.155 * * [simplify]: iteration  13 :  1130  enodes  (cost  14 )
0.159 * * [simplify]: iteration  14 :  1130  enodes  (cost  14 )
0.160 * [simplify]: Simplified to:
   (- (- (/ 1.0 x) (+ (/ (sqrt x) (sqrt (+ (* x (sqrt x)) 1.0))) (exp2 (sin x)))) (/ -1 (tan x)))
0.168 * [progress]: [Phase 3 of 3] Extracting.
0.168 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (- (- (+ (/ 1.0 x) (/ x (* x (tan x)))) (/ (sqrt x) (sqrt (+ (* x (sqrt x)) 1.0)))) (exp2 (sin x))))> #<alt (λ (x) (- (- (/ 1.0 x) (+ (/ (sqrt x) (sqrt (+ (* x (sqrt x)) 1.0))) (exp2 (sin x)))) (/ -1 (tan x))))>)
0.169 * * * [regime-changes]: Trying 2 branch expressions: ((- (- (+ (/ 1.0 x) (/ x (* x (tan x)))) (/ (sqrt x) (sqrt (+ (* x (sqrt x)) 1.0)))) (exp2 (sin x))) x)
0.169 * * * * [regimes]: Trying to branch on (- (- (+ (/ 1.0 x) (/ x (* x (tan x)))) (/ (sqrt x) (sqrt (+ (* x (sqrt x)) 1.0)))) (exp2 (sin x))) from (#<alt (λ (x) (- (- (+ (/ 1.0 x) (/ x (* x (tan x)))) (/ (sqrt x) (sqrt (+ (* x (sqrt x)) 1.0)))) (exp2 (sin x))))> #<alt (λ (x) (- (- (/ 1.0 x) (+ (/ (sqrt x) (sqrt (+ (* x (sqrt x)) 1.0))) (exp2 (sin x)))) (/ -1 (tan x))))>)
0.217 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (- (- (+ (/ 1.0 x) (/ x (* x (tan x)))) (/ (sqrt x) (sqrt (+ (* x (sqrt x)) 1.0)))) (exp2 (sin x))))> #<alt (λ (x) (- (- (/ 1.0 x) (+ (/ (sqrt x) (sqrt (+ (* x (sqrt x)) 1.0))) (exp2 (sin x)))) (/ -1 (tan x))))>)
0.241 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
0.241 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (- (/ 1.0 x) (+ (/ (sqrt x) (sqrt (+ (* x (sqrt x)) 1.0))) (exp2 (sin x)))) (/ -1 (tan x)))
0.242 * * [simplify]: iteration  0 :  19  enodes  (cost  14 )
0.242 * * [simplify]: iteration  1 :  19  enodes  (cost  14 )
0.242 * [simplify]: Simplified to:
   (- (- (/ 1.0 x) (+ (/ (sqrt x) (sqrt (+ (* x (sqrt x)) 1.0))) (exp2 (sin x)))) (/ -1 (tan x)))
3.933 * [regime-testing]: End program error score: 0.28944185829515934