4.152 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.185 * * * [progress]: [2/2] Setting up program. 0.188 * [progress]: [Phase 2 of 3] Improving. 0.188 * [simplify]: Simplifying using # : (log (* (pow lam k) (exp (neg k)))) 0.190 * * [simplify]: iteration 0 : 18 enodes (cost 5 ) 0.191 * * [simplify]: iteration 1 : 42 enodes (cost 5 ) 0.192 * * [simplify]: iteration 2 : 112 enodes (cost 3 ) 0.194 * * [simplify]: iteration 3 : 389 enodes (cost 3 ) 0.200 * * [simplify]: iteration 4 : 1388 enodes (cost 3 ) 0.227 * * [simplify]: iteration 5 : 5001 enodes (cost 3 ) 0.227 * [simplify]: Simplified to: (- (log (pow lam k)) k) 0.231 * [progress]: [Phase 3 of 3] Extracting. 0.231 * * [regime]: Finding splitpoints for: (# #) 0.232 * * * [regime-changes]: Trying 4 branch expressions: ((* (pow lam k) (exp (neg k))) (log (* (pow lam k) (exp (neg k)))) k lam) 0.232 * * * * [regimes]: Trying to branch on (* (pow lam k) (exp (neg k))) from (# #) 0.262 * * * * [regimes]: Trying to branch on (log (* (pow lam k) (exp (neg k)))) from (# #) 0.296 * * * * [regimes]: Trying to branch on k from (# #) 0.326 * * * * [regimes]: Trying to branch on lam from (# #) 0.356 * * * [regime]: Found split indices: #