1.693 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.077 * * * [progress]: [2/2] Setting up program. 0.082 * [progress]: [Phase 2 of 3] Improving. 0.085 * [simplify]: Simplifying using # : (neg (log (- (/ 1.0 x) 1.0))) 0.088 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.091 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 0.092 * * [simplify]: iteration 2 : 9 enodes (cost 7 ) 0.093 * * [simplify]: iteration done : 9 enodes (cost 7 ) 0.093 * [simplify]: Simplified to: (neg (log (- (/ 1.0 x) 1.0))) 0.095 * * [progress]: iteration 1 / 4 0.095 * * * [progress]: picking best candidate 0.097 * * * * [pick]: Picked # 0.098 * * * [progress]: localizing error 0.106 * * * [progress]: generating rewritten candidates 0.106 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1) 0.118 * * * [progress]: generating series expansions 0.118 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1) 0.124 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) 1.0) in (x) around 0 0.125 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) 1.0) in x 0.125 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.125 * [taylor]: Taking taylor expansion of 1.0 in x 0.125 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.125 * [taylor]: Taking taylor expansion of x in x 0.125 * [taylor]: Taking taylor expansion of 1.0 in x 0.126 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 x)) 1.0) in x 0.126 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x 0.126 * [taylor]: Taking taylor expansion of 1.0 in x 0.126 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.126 * [taylor]: Taking taylor expansion of x in x 0.126 * [taylor]: Taking taylor expansion of 1.0 in x 0.129 * [approximate]: Taking taylor expansion of (- (* 1.0 x) 1.0) in (x) around 0 0.129 * [taylor]: Taking taylor expansion of (- (* 1.0 x) 1.0) in x 0.129 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.129 * [taylor]: Taking taylor expansion of 1.0 in x 0.129 * [taylor]: Taking taylor expansion of x in x 0.129 * [taylor]: Taking taylor expansion of 1.0 in x 0.129 * [taylor]: Taking taylor expansion of (- (* 1.0 x) 1.0) in x 0.129 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.129 * [taylor]: Taking taylor expansion of 1.0 in x 0.129 * [taylor]: Taking taylor expansion of x in x 0.129 * [taylor]: Taking taylor expansion of 1.0 in x 0.131 * [approximate]: Taking taylor expansion of (neg (+ (* 1.0 x) 1.0)) in (x) around 0 0.131 * [taylor]: Taking taylor expansion of (neg (+ (* 1.0 x) 1.0)) in x 0.131 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) 1.0) in x 0.131 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.131 * [taylor]: Taking taylor expansion of 1.0 in x 0.131 * [taylor]: Taking taylor expansion of x in x 0.131 * [taylor]: Taking taylor expansion of 1.0 in x 0.131 * [taylor]: Taking taylor expansion of (neg (+ (* 1.0 x) 1.0)) in x 0.131 * [taylor]: Taking taylor expansion of (+ (* 1.0 x) 1.0) in x 0.131 * [taylor]: Taking taylor expansion of (* 1.0 x) in x 0.131 * [taylor]: Taking taylor expansion of 1.0 in x 0.131 * [taylor]: Taking taylor expansion of x in x 0.131 * [taylor]: Taking taylor expansion of 1.0 in x 0.132 * * * [progress]: simplifying candidates 0.132 * [simplify]: Simplifying using # : (/ (exp (/ 1.0 x)) (exp 1.0)) (log (- (/ 1.0 x) 1.0)) (exp (- (/ 1.0 x) 1.0)) (* (cbrt (- (/ 1.0 x) 1.0)) (cbrt (- (/ 1.0 x) 1.0))) (cbrt (- (/ 1.0 x) 1.0)) (* (* (- (/ 1.0 x) 1.0) (- (/ 1.0 x) 1.0)) (- (/ 1.0 x) 1.0)) (sqrt (- (/ 1.0 x) 1.0)) (sqrt (- (/ 1.0 x) 1.0)) (- (pow (/ 1.0 x) 3) (pow 1.0 3)) (+ (* (/ 1.0 x) (/ 1.0 x)) (+ (* 1.0 1.0) (* (/ 1.0 x) 1.0))) (neg 1.0) (- (* (/ 1.0 x) (/ 1.0 x)) (* 1.0 1.0)) (+ (/ 1.0 x) 1.0) (+ (sqrt (/ 1.0 x)) (sqrt 1.0)) (- (sqrt (/ 1.0 x)) (sqrt 1.0)) (+ (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0)) (- (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0)) (- (/ 1.0 x) 1.0) (neg 1.0) (- (* 1.0 (/ 1 x)) 1.0) (- (* 1.0 (/ 1 x)) 1.0) (- (* 1.0 (/ 1 x)) 1.0) 0.133 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.134 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 0.134 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 0.135 * * [simplify]: iteration 3 : 13 enodes (cost 6 ) 0.137 * * [simplify]: iteration 4 : 16 enodes (cost 6 ) 0.139 * * [simplify]: iteration 5 : 22 enodes (cost 6 ) 0.142 * * [simplify]: iteration 6 : 26 enodes (cost 6 ) 0.145 * * [simplify]: iteration 7 : 42 enodes (cost 6 ) 0.150 * * [simplify]: iteration 8 : 46 enodes (cost 6 ) 0.160 * * [simplify]: iteration 9 : 52 enodes (cost 6 ) 0.166 * * [simplify]: iteration 10 : 61 enodes (cost 6 ) 0.175 * * [simplify]: iteration 11 : 81 enodes (cost 6 ) 0.185 * * [simplify]: iteration 12 : 102 enodes (cost 6 ) 0.198 * * [simplify]: iteration 13 : 115 enodes (cost 6 ) 0.211 * * [simplify]: iteration done : 115 enodes (cost 6 ) 0.212 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 0.212 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 0.213 * * [simplify]: iteration 2 : 8 enodes (cost 6 ) 0.214 * * [simplify]: iteration done : 8 enodes (cost 6 ) 0.214 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 0.215 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 0.218 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 0.220 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 0.221 * * [simplify]: iteration 4 : 22 enodes (cost 6 ) 0.224 * * [simplify]: iteration 5 : 26 enodes (cost 6 ) 0.227 * * [simplify]: iteration 6 : 42 enodes (cost 6 ) 0.232 * * [simplify]: iteration 7 : 46 enodes (cost 6 ) 0.237 * * [simplify]: iteration 8 : 52 enodes (cost 6 ) 0.243 * * [simplify]: iteration 9 : 61 enodes (cost 6 ) 0.251 * * [simplify]: iteration 10 : 82 enodes (cost 6 ) 0.261 * * [simplify]: iteration 11 : 103 enodes (cost 6 ) 0.276 * * [simplify]: iteration 12 : 111 enodes (cost 6 ) 0.289 * * [simplify]: iteration done : 111 enodes (cost 6 ) 0.290 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 0.291 * * [simplify]: iteration 1 : 8 enodes (cost 13 ) 0.291 * * [simplify]: iteration 2 : 9 enodes (cost 13 ) 0.292 * * [simplify]: iteration done : 9 enodes (cost 13 ) 0.293 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 0.293 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 0.294 * * [simplify]: iteration 2 : 8 enodes (cost 6 ) 0.295 * * [simplify]: iteration done : 8 enodes (cost 6 ) 0.295 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 0.296 * * [simplify]: iteration 1 : 9 enodes (cost 17 ) 0.297 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 0.302 * * [simplify]: iteration 3 : 71 enodes (cost 7 ) 0.318 * * [simplify]: iteration 4 : 201 enodes (cost 7 ) 0.391 * * [simplify]: iteration 5 : 582 enodes (cost 7 ) 0.939 * * [simplify]: iteration 6 : 1999 enodes (cost 7 ) 2.603 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 2.604 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 2.604 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 2.605 * * [simplify]: iteration 2 : 8 enodes (cost 6 ) 2.606 * * [simplify]: iteration done : 8 enodes (cost 6 ) 2.606 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 2.607 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 2.608 * * [simplify]: iteration 2 : 8 enodes (cost 6 ) 2.608 * * [simplify]: iteration done : 8 enodes (cost 6 ) 2.609 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 2.610 * * [simplify]: iteration 1 : 24 enodes (cost 9 ) 2.614 * * [simplify]: iteration 2 : 65 enodes (cost 9 ) 2.626 * * [simplify]: iteration 3 : 171 enodes (cost 9 ) 2.679 * * [simplify]: iteration 4 : 525 enodes (cost 9 ) 2.999 * * [simplify]: iteration 5 : 1956 enodes (cost 9 ) 4.513 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 4.513 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 4.515 * * [simplify]: iteration 1 : 17 enodes (cost 15 ) 4.517 * * [simplify]: iteration 2 : 32 enodes (cost 15 ) 4.522 * * [simplify]: iteration 3 : 41 enodes (cost 13 ) 4.528 * * [simplify]: iteration 4 : 57 enodes (cost 13 ) 4.538 * * [simplify]: iteration 5 : 70 enodes (cost 13 ) 4.552 * * [simplify]: iteration 6 : 72 enodes (cost 13 ) 4.562 * * [simplify]: iteration 7 : 77 enodes (cost 11 ) 4.573 * * [simplify]: iteration 8 : 79 enodes (cost 11 ) 4.585 * * [simplify]: iteration done : 79 enodes (cost 11 ) 4.585 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 4.586 * * [simplify]: iteration done : 2 enodes (cost 2 ) 4.586 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 4.587 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 4.589 * * [simplify]: iteration 2 : 27 enodes (cost 11 ) 4.593 * * [simplify]: iteration 3 : 49 enodes (cost 11 ) 4.603 * * [simplify]: iteration 4 : 82 enodes (cost 9 ) 4.618 * * [simplify]: iteration 5 : 137 enodes (cost 9 ) 4.651 * * [simplify]: iteration 6 : 226 enodes (cost 9 ) 4.737 * * [simplify]: iteration 7 : 490 enodes (cost 9 ) 5.807 * * [simplify]: iteration 8 : 2102 enodes (cost 9 ) 10.198 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 10.199 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 10.199 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 10.200 * * [simplify]: iteration done : 5 enodes (cost 5 ) 10.200 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 10.201 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 10.202 * * [simplify]: iteration done : 7 enodes (cost 7 ) 10.202 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 10.203 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 10.204 * * [simplify]: iteration 2 : 9 enodes (cost 7 ) 10.204 * * [simplify]: iteration done : 9 enodes (cost 7 ) 10.205 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 10.206 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 10.206 * * [simplify]: iteration done : 7 enodes (cost 8 ) 10.207 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 10.207 * * [simplify]: iteration 1 : 8 enodes (cost 8 ) 10.208 * * [simplify]: iteration 2 : 9 enodes (cost 8 ) 10.209 * * [simplify]: iteration done : 9 enodes (cost 8 ) 10.209 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 10.210 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 10.211 * * [simplify]: iteration 2 : 7 enodes (cost 5 ) 10.211 * * [simplify]: iteration done : 7 enodes (cost 5 ) 10.212 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 10.212 * * [simplify]: iteration done : 2 enodes (cost 2 ) 10.213 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 10.213 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 10.215 * * [simplify]: iteration 2 : 17 enodes (cost 5 ) 10.216 * * [simplify]: iteration 3 : 18 enodes (cost 5 ) 10.218 * * [simplify]: iteration 4 : 23 enodes (cost 5 ) 10.221 * * [simplify]: iteration 5 : 25 enodes (cost 5 ) 10.223 * * [simplify]: iteration done : 25 enodes (cost 5 ) 10.224 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 10.225 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 10.226 * * [simplify]: iteration 2 : 17 enodes (cost 5 ) 10.228 * * [simplify]: iteration 3 : 18 enodes (cost 5 ) 10.230 * * [simplify]: iteration 4 : 23 enodes (cost 5 ) 10.232 * * [simplify]: iteration 5 : 25 enodes (cost 5 ) 10.235 * * [simplify]: iteration done : 25 enodes (cost 5 ) 10.235 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 10.236 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 10.238 * * [simplify]: iteration 2 : 17 enodes (cost 5 ) 10.240 * * [simplify]: iteration 3 : 18 enodes (cost 5 ) 10.241 * * [simplify]: iteration 4 : 23 enodes (cost 5 ) 10.244 * * [simplify]: iteration 5 : 25 enodes (cost 5 ) 10.246 * * [simplify]: iteration done : 25 enodes (cost 5 ) 10.247 * [simplify]: Simplified to: (exp (- (/ 1.0 x) 1.0)) (log (- (/ 1.0 x) 1.0)) (exp (- (/ 1.0 x) 1.0)) (* (cbrt (- (/ 1.0 x) 1.0)) (cbrt (- (/ 1.0 x) 1.0))) (cbrt (- (/ 1.0 x) 1.0)) (pow (- (/ 1.0 x) 1.0) 3) (sqrt (- (/ 1.0 x) 1.0)) (sqrt (- (/ 1.0 x) 1.0)) (- (pow (/ 1.0 x) 3) (pow 1.0 3)) (* 1.0 (+ (/ (+ 1.0 (/ 1.0 x)) x) 1.0)) (neg 1.0) (* (- (/ (/ 1.0 x) x) 1.0) 1.0) (+ (/ 1.0 x) 1.0) (+ (sqrt (/ 1.0 x)) (sqrt 1.0)) (- (sqrt (/ 1.0 x)) (sqrt 1.0)) (+ (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0)) (- (/ (sqrt 1.0) (sqrt x)) (sqrt 1.0)) (- (/ 1.0 x) 1.0) (neg 1.0) (- (/ 1.0 x) 1.0) (- (/ 1.0 x) 1.0) (- (/ 1.0 x) 1.0) 10.247 * * * [progress]: adding candidates to table 10.275 * [progress]: [Phase 3 of 3] Extracting. 10.278 * [simplify]: Simplifying using # : (neg (log (- (/ 1.0 x) 1.0))) 10.278 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 10.278 * * [simplify]: iteration done : 6 enodes (cost 7 ) 10.278 * [simplify]: Simplified to: (neg (log (- (/ 1.0 x) 1.0))) 11.991 * [regime-testing]: End program error score: 0.011772712214207066