17.306 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.107 * * * [progress]: [2/2] Setting up program. 0.111 * [progress]: [Phase 2 of 3] Improving. 0.112 * [simplify]: Simplifying using # : (/ (/ (- (+ 1.0 a) (* (+ 1.0 b) (exp (neg (- b a))))) (neg (expm1 (neg (- b a))))) r) 0.114 * * [simplify]: iteration 0 : 32 enodes (cost 13 ) 0.116 * * [simplify]: iteration 1 : 86 enodes (cost 13 ) 0.118 * * [simplify]: iteration 2 : 237 enodes (cost 13 ) 0.123 * * [simplify]: iteration 3 : 1041 enodes (cost 12 ) 0.144 * * [simplify]: iteration 4 : 4951 enodes (cost 12 ) 0.205 * * [simplify]: iteration 5 : 5001 enodes (cost 12 ) 0.206 * [simplify]: Simplified to: (/ (/ (- (+ 1.0 a) (/ (+ 1.0 b) (exp (- b a)))) (neg r)) (expm1 (neg (- b a)))) 0.211 * [progress]: [Phase 3 of 3] Extracting. 0.215 * [simplify]: Simplifying using # : (/ (/ (- (+ 1.0 a) (/ (+ 1.0 b) (exp (- b a)))) (neg r)) (expm1 (neg (- b a)))) 0.215 * * [simplify]: iteration 0 : 17 enodes (cost 12 ) 0.216 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 0.216 * [simplify]: Simplified to: (/ (/ (- (+ 1.0 a) (/ (+ 1.0 b) (exp (- b a)))) (neg r)) (expm1 (neg (- b a)))) 3.309 * [regime-testing]: End program error score: 22.522690635026944