27.982 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.047 * * * [progress]: [2/2] Setting up program. 0.049 * [progress]: [Phase 2 of 3] Improving. 0.049 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.050 * [simplify]: Simplifying: (exp (- (- 1 (* x x)))) 0.050 * * [simplify]: iteration 1: (6 enodes) 0.051 * * [simplify]: iteration 2: (10 enodes) 0.053 * * [simplify]: iteration 3: (23 enodes) 0.059 * * [simplify]: iteration 4: (47 enodes) 0.074 * * [simplify]: iteration 5: (85 enodes) 0.106 * * [simplify]: iteration 6: (155 enodes) 0.132 * * [simplify]: iteration 7: (330 enodes) 0.489 * * [simplify]: iteration 8: (1273 enodes) 4.551 * * [simplify]: Extracting #0: cost 1 inf + 0 4.553 * * [simplify]: Extracting #1: cost 499 inf + 0 4.556 * * [simplify]: Extracting #2: cost 966 inf + 454 4.561 * * [simplify]: Extracting #3: cost 1005 inf + 3931 4.572 * * [simplify]: Extracting #4: cost 841 inf + 27414 4.621 * * [simplify]: Extracting #5: cost 392 inf + 253491 4.739 * * [simplify]: Extracting #6: cost 26 inf + 492828 4.858 * * [simplify]: Extracting #7: cost 0 inf + 506721 4.985 * * [simplify]: Extracting #8: cost 0 inf + 506588 5.086 * * [simplify]: Extracting #9: cost 0 inf + 506587 5.176 * [simplify]: Simplified to: (/ (exp (* x x)) E) 5.180 * * [progress]: iteration 1 / 4 5.180 * * * [progress]: picking best candidate 5.182 * * * * [pick]: Picked # 5.182 * * * [progress]: localizing error 5.199 * * * [progress]: generating rewritten candidates 5.199 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1) 5.206 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 5.239 * * * [progress]: generating series expansions 5.239 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1) 5.239 * [backup-simplify]: Simplify (- 1 (* x x)) into (- 1 (pow x 2)) 5.239 * [approximate]: Taking taylor expansion of (- 1 (pow x 2)) in (x) around 0 5.239 * [taylor]: Taking taylor expansion of (- 1 (pow x 2)) in x 5.239 * [taylor]: Taking taylor expansion of 1 in x 5.239 * [backup-simplify]: Simplify 1 into 1 5.239 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.239 * [taylor]: Taking taylor expansion of x in x 5.239 * [backup-simplify]: Simplify 0 into 0 5.239 * [backup-simplify]: Simplify 1 into 1 5.239 * [taylor]: Taking taylor expansion of (- 1 (pow x 2)) in x 5.239 * [taylor]: Taking taylor expansion of 1 in x 5.239 * [backup-simplify]: Simplify 1 into 1 5.239 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.239 * [taylor]: Taking taylor expansion of x in x 5.239 * [backup-simplify]: Simplify 0 into 0 5.239 * [backup-simplify]: Simplify 1 into 1 5.240 * [backup-simplify]: Simplify (+ 1 0) into 1 5.240 * [backup-simplify]: Simplify 1 into 1 5.240 * [backup-simplify]: Simplify (+ 0 0) into 0 5.240 * [backup-simplify]: Simplify 0 into 0 5.241 * [backup-simplify]: Simplify (* 1 1) into 1 5.241 * [backup-simplify]: Simplify (- 1) into -1 5.242 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.242 * [backup-simplify]: Simplify -1 into -1 5.243 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.243 * [backup-simplify]: Simplify (- 0) into 0 5.244 * [backup-simplify]: Simplify (+ 0 0) into 0 5.244 * [backup-simplify]: Simplify 0 into 0 5.245 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.245 * [backup-simplify]: Simplify (- 0) into 0 5.245 * [backup-simplify]: Simplify (+ 0 0) into 0 5.245 * [backup-simplify]: Simplify 0 into 0 5.246 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.247 * [backup-simplify]: Simplify (- 0) into 0 5.247 * [backup-simplify]: Simplify (+ 0 0) into 0 5.247 * [backup-simplify]: Simplify 0 into 0 5.248 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.249 * [backup-simplify]: Simplify (- 0) into 0 5.249 * [backup-simplify]: Simplify (+ 0 0) into 0 5.249 * [backup-simplify]: Simplify 0 into 0 5.250 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.251 * [backup-simplify]: Simplify (- 0) into 0 5.251 * [backup-simplify]: Simplify (+ 0 0) into 0 5.251 * [backup-simplify]: Simplify 0 into 0 5.252 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.253 * [backup-simplify]: Simplify (- 0) into 0 5.253 * [backup-simplify]: Simplify (+ 0 0) into 0 5.253 * [backup-simplify]: Simplify 0 into 0 5.253 * [backup-simplify]: Simplify (+ (* -1 (pow x 2)) 1) into (- 1 (pow x 2)) 5.254 * [backup-simplify]: Simplify (- 1 (* (/ 1 x) (/ 1 x))) into (- 1 (/ 1 (pow x 2))) 5.254 * [approximate]: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in (x) around 0 5.254 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 5.254 * [taylor]: Taking taylor expansion of 1 in x 5.254 * [backup-simplify]: Simplify 1 into 1 5.254 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.254 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.254 * [taylor]: Taking taylor expansion of x in x 5.254 * [backup-simplify]: Simplify 0 into 0 5.254 * [backup-simplify]: Simplify 1 into 1 5.254 * [backup-simplify]: Simplify (* 1 1) into 1 5.255 * [backup-simplify]: Simplify (/ 1 1) into 1 5.255 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 5.255 * [taylor]: Taking taylor expansion of 1 in x 5.255 * [backup-simplify]: Simplify 1 into 1 5.255 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.255 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.255 * [taylor]: Taking taylor expansion of x in x 5.255 * [backup-simplify]: Simplify 0 into 0 5.255 * [backup-simplify]: Simplify 1 into 1 5.255 * [backup-simplify]: Simplify (* 1 1) into 1 5.255 * [backup-simplify]: Simplify (/ 1 1) into 1 5.256 * [backup-simplify]: Simplify (- 1) into -1 5.256 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.256 * [backup-simplify]: Simplify -1 into -1 5.257 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.258 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.258 * [backup-simplify]: Simplify (- 0) into 0 5.258 * [backup-simplify]: Simplify (+ 0 0) into 0 5.259 * [backup-simplify]: Simplify 0 into 0 5.259 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.260 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.261 * [backup-simplify]: Simplify (- 0) into 0 5.261 * [backup-simplify]: Simplify (+ 1 0) into 1 5.261 * [backup-simplify]: Simplify 1 into 1 5.262 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.263 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.263 * [backup-simplify]: Simplify (- 0) into 0 5.264 * [backup-simplify]: Simplify (+ 0 0) into 0 5.264 * [backup-simplify]: Simplify 0 into 0 5.265 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.266 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.266 * [backup-simplify]: Simplify (- 0) into 0 5.267 * [backup-simplify]: Simplify (+ 0 0) into 0 5.267 * [backup-simplify]: Simplify 0 into 0 5.268 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.269 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.270 * [backup-simplify]: Simplify (- 0) into 0 5.270 * [backup-simplify]: Simplify (+ 0 0) into 0 5.270 * [backup-simplify]: Simplify 0 into 0 5.272 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.273 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.273 * [backup-simplify]: Simplify (- 0) into 0 5.273 * [backup-simplify]: Simplify (+ 0 0) into 0 5.273 * [backup-simplify]: Simplify 0 into 0 5.275 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 5.276 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.277 * [backup-simplify]: Simplify (- 0) into 0 5.277 * [backup-simplify]: Simplify (+ 0 0) into 0 5.277 * [backup-simplify]: Simplify 0 into 0 5.279 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 5.280 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.280 * [backup-simplify]: Simplify (- 0) into 0 5.280 * [backup-simplify]: Simplify (+ 0 0) into 0 5.281 * [backup-simplify]: Simplify 0 into 0 5.281 * [backup-simplify]: Simplify (+ 1 (* -1 (pow (/ 1 (/ 1 x)) 2))) into (- 1 (pow x 2)) 5.281 * [backup-simplify]: Simplify (- 1 (* (/ 1 (- x)) (/ 1 (- x)))) into (- 1 (/ 1 (pow x 2))) 5.281 * [approximate]: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in (x) around 0 5.281 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 5.281 * [taylor]: Taking taylor expansion of 1 in x 5.281 * [backup-simplify]: Simplify 1 into 1 5.281 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.281 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.281 * [taylor]: Taking taylor expansion of x in x 5.281 * [backup-simplify]: Simplify 0 into 0 5.281 * [backup-simplify]: Simplify 1 into 1 5.281 * [backup-simplify]: Simplify (* 1 1) into 1 5.282 * [backup-simplify]: Simplify (/ 1 1) into 1 5.282 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow x 2))) in x 5.282 * [taylor]: Taking taylor expansion of 1 in x 5.282 * [backup-simplify]: Simplify 1 into 1 5.282 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.282 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.282 * [taylor]: Taking taylor expansion of x in x 5.282 * [backup-simplify]: Simplify 0 into 0 5.282 * [backup-simplify]: Simplify 1 into 1 5.282 * [backup-simplify]: Simplify (* 1 1) into 1 5.283 * [backup-simplify]: Simplify (/ 1 1) into 1 5.283 * [backup-simplify]: Simplify (- 1) into -1 5.284 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.284 * [backup-simplify]: Simplify -1 into -1 5.284 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.285 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.285 * [backup-simplify]: Simplify (- 0) into 0 5.286 * [backup-simplify]: Simplify (+ 0 0) into 0 5.286 * [backup-simplify]: Simplify 0 into 0 5.286 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.287 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.288 * [backup-simplify]: Simplify (- 0) into 0 5.288 * [backup-simplify]: Simplify (+ 1 0) into 1 5.288 * [backup-simplify]: Simplify 1 into 1 5.289 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 5.290 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.290 * [backup-simplify]: Simplify (- 0) into 0 5.290 * [backup-simplify]: Simplify (+ 0 0) into 0 5.290 * [backup-simplify]: Simplify 0 into 0 5.291 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 5.292 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.293 * [backup-simplify]: Simplify (- 0) into 0 5.293 * [backup-simplify]: Simplify (+ 0 0) into 0 5.293 * [backup-simplify]: Simplify 0 into 0 5.294 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 5.295 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.295 * [backup-simplify]: Simplify (- 0) into 0 5.296 * [backup-simplify]: Simplify (+ 0 0) into 0 5.296 * [backup-simplify]: Simplify 0 into 0 5.297 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 5.298 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.298 * [backup-simplify]: Simplify (- 0) into 0 5.299 * [backup-simplify]: Simplify (+ 0 0) into 0 5.299 * [backup-simplify]: Simplify 0 into 0 5.300 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 5.301 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.302 * [backup-simplify]: Simplify (- 0) into 0 5.302 * [backup-simplify]: Simplify (+ 0 0) into 0 5.302 * [backup-simplify]: Simplify 0 into 0 5.304 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 5.305 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 5.305 * [backup-simplify]: Simplify (- 0) into 0 5.306 * [backup-simplify]: Simplify (+ 0 0) into 0 5.306 * [backup-simplify]: Simplify 0 into 0 5.306 * [backup-simplify]: Simplify (+ 1 (* -1 (pow (/ 1 (/ 1 (- x))) 2))) into (- 1 (pow x 2)) 5.306 * * * * [progress]: [ 2 / 2 ] generating series at (2) 5.306 * [backup-simplify]: Simplify (exp (- (- 1 (* x x)))) into (exp (- (pow x 2) 1)) 5.306 * [approximate]: Taking taylor expansion of (exp (- (pow x 2) 1)) in (x) around 0 5.306 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1)) in x 5.306 * [taylor]: Taking taylor expansion of (- (pow x 2) 1) in x 5.307 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.307 * [taylor]: Taking taylor expansion of x in x 5.307 * [backup-simplify]: Simplify 0 into 0 5.307 * [backup-simplify]: Simplify 1 into 1 5.307 * [taylor]: Taking taylor expansion of 1 in x 5.307 * [backup-simplify]: Simplify 1 into 1 5.307 * [backup-simplify]: Simplify (- 1) into -1 5.307 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.308 * [backup-simplify]: Simplify (exp -1) into (exp -1) 5.308 * [taylor]: Taking taylor expansion of (exp (- (pow x 2) 1)) in x 5.308 * [taylor]: Taking taylor expansion of (- (pow x 2) 1) in x 5.308 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.308 * [taylor]: Taking taylor expansion of x in x 5.308 * [backup-simplify]: Simplify 0 into 0 5.308 * [backup-simplify]: Simplify 1 into 1 5.308 * [taylor]: Taking taylor expansion of 1 in x 5.308 * [backup-simplify]: Simplify 1 into 1 5.308 * [backup-simplify]: Simplify (- 1) into -1 5.309 * [backup-simplify]: Simplify (+ 0 -1) into -1 5.309 * [backup-simplify]: Simplify (exp -1) into (exp -1) 5.309 * [backup-simplify]: Simplify (exp -1) into (exp -1) 5.310 * [backup-simplify]: Simplify (- 0) into 0 5.310 * [backup-simplify]: Simplify (+ 0 0) into 0 5.311 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0 5.311 * [backup-simplify]: Simplify 0 into 0 5.312 * [backup-simplify]: Simplify (* 1 1) into 1 5.312 * [backup-simplify]: Simplify (- 0) into 0 5.312 * [backup-simplify]: Simplify (+ 1 0) into 1 5.315 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1) 5.316 * [backup-simplify]: Simplify (exp -1) into (exp -1) 5.316 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 5.317 * [backup-simplify]: Simplify (- 0) into 0 5.317 * [backup-simplify]: Simplify (+ 0 0) into 0 5.319 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0 5.319 * [backup-simplify]: Simplify 0 into 0 5.320 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 5.320 * [backup-simplify]: Simplify (- 0) into 0 5.321 * [backup-simplify]: Simplify (+ 0 0) into 0 5.329 * [backup-simplify]: Simplify (* (exp -1) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp -1)) 5.330 * [backup-simplify]: Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1)) 5.332 * [backup-simplify]: Simplify (+ (* (* 1/2 (exp -1)) (pow x 4)) (+ (* (exp -1) (pow x 2)) (exp -1))) into (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) 5.333 * [backup-simplify]: Simplify (exp (- (- 1 (* (/ 1 x) (/ 1 x))))) into (exp (- (/ 1 (pow x 2)) 1)) 5.333 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in (x) around 0 5.333 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x 5.333 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 5.333 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.333 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.333 * [taylor]: Taking taylor expansion of x in x 5.333 * [backup-simplify]: Simplify 0 into 0 5.333 * [backup-simplify]: Simplify 1 into 1 5.333 * [backup-simplify]: Simplify (* 1 1) into 1 5.334 * [backup-simplify]: Simplify (/ 1 1) into 1 5.334 * [taylor]: Taking taylor expansion of 1 in x 5.334 * [backup-simplify]: Simplify 1 into 1 5.334 * [backup-simplify]: Simplify (+ 1 0) into 1 5.334 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1)) 5.334 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x 5.334 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 5.335 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.335 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.335 * [taylor]: Taking taylor expansion of x in x 5.335 * [backup-simplify]: Simplify 0 into 0 5.335 * [backup-simplify]: Simplify 1 into 1 5.335 * [backup-simplify]: Simplify (* 1 1) into 1 5.335 * [backup-simplify]: Simplify (/ 1 1) into 1 5.335 * [taylor]: Taking taylor expansion of 1 in x 5.335 * [backup-simplify]: Simplify 1 into 1 5.336 * [backup-simplify]: Simplify (+ 1 0) into 1 5.336 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1)) 5.336 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1)) 5.336 * [backup-simplify]: Simplify 0 into 0 5.336 * [backup-simplify]: Simplify 0 into 0 5.336 * [backup-simplify]: Simplify 0 into 0 5.336 * [backup-simplify]: Simplify 0 into 0 5.336 * [backup-simplify]: Simplify 0 into 0 5.336 * [backup-simplify]: Simplify 0 into 0 5.337 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 x) 2)) 1)) into (exp (- (pow x 2) 1)) 5.337 * [backup-simplify]: Simplify (exp (- (- 1 (* (/ 1 (- x)) (/ 1 (- x)))))) into (exp (- (/ 1 (pow x 2)) 1)) 5.337 * [approximate]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in (x) around 0 5.337 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x 5.337 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 5.337 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.337 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.337 * [taylor]: Taking taylor expansion of x in x 5.337 * [backup-simplify]: Simplify 0 into 0 5.337 * [backup-simplify]: Simplify 1 into 1 5.337 * [backup-simplify]: Simplify (* 1 1) into 1 5.338 * [backup-simplify]: Simplify (/ 1 1) into 1 5.338 * [taylor]: Taking taylor expansion of 1 in x 5.338 * [backup-simplify]: Simplify 1 into 1 5.338 * [backup-simplify]: Simplify (+ 1 0) into 1 5.338 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1)) 5.338 * [taylor]: Taking taylor expansion of (exp (- (/ 1 (pow x 2)) 1)) in x 5.338 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) 1) in x 5.338 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 5.338 * [taylor]: Taking taylor expansion of (pow x 2) in x 5.338 * [taylor]: Taking taylor expansion of x in x 5.338 * [backup-simplify]: Simplify 0 into 0 5.338 * [backup-simplify]: Simplify 1 into 1 5.339 * [backup-simplify]: Simplify (* 1 1) into 1 5.339 * [backup-simplify]: Simplify (/ 1 1) into 1 5.339 * [taylor]: Taking taylor expansion of 1 in x 5.339 * [backup-simplify]: Simplify 1 into 1 5.340 * [backup-simplify]: Simplify (+ 1 0) into 1 5.340 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1)) 5.340 * [backup-simplify]: Simplify (exp (- (/ 1 (pow x 2)) 1)) into (exp (- (/ 1 (pow x 2)) 1)) 5.340 * [backup-simplify]: Simplify 0 into 0 5.340 * [backup-simplify]: Simplify 0 into 0 5.340 * [backup-simplify]: Simplify 0 into 0 5.340 * [backup-simplify]: Simplify 0 into 0 5.340 * [backup-simplify]: Simplify 0 into 0 5.340 * [backup-simplify]: Simplify 0 into 0 5.340 * [backup-simplify]: Simplify (exp (- (/ 1 (pow (/ 1 (- x)) 2)) 1)) into (exp (- (pow x 2) 1)) 5.340 * * * [progress]: simplifying candidates 5.340 * * * * [progress]: [ 1 / 48 ] simplifiying candidate # 5.340 * * * * [progress]: [ 2 / 48 ] simplifiying candidate # 5.340 * * * * [progress]: [ 3 / 48 ] simplifiying candidate # 5.341 * * * * [progress]: [ 4 / 48 ] simplifiying candidate # 5.341 * * * * [progress]: [ 5 / 48 ] simplifiying candidate # 5.341 * * * * [progress]: [ 6 / 48 ] simplifiying candidate # 5.341 * * * * [progress]: [ 7 / 48 ] simplifiying candidate # 5.341 * * * * [progress]: [ 8 / 48 ] simplifiying candidate # 5.341 * * * * [progress]: [ 9 / 48 ] simplifiying candidate # 5.341 * * * * [progress]: [ 10 / 48 ] simplifiying candidate # 5.341 * * * * [progress]: [ 11 / 48 ] simplifiying candidate # 5.341 * * * * [progress]: [ 12 / 48 ] simplifiying candidate # 5.341 * * * * [progress]: [ 13 / 48 ] simplifiying candidate # 5.341 * * * * [progress]: [ 14 / 48 ] simplifiying candidate # 5.341 * * * * [progress]: [ 15 / 48 ] simplifiying candidate # 5.341 * * * * [progress]: [ 16 / 48 ] simplifiying candidate # 5.341 * * * * [progress]: [ 17 / 48 ] simplifiying candidate # 5.341 * * * * [progress]: [ 18 / 48 ] simplifiying candidate # 5.341 * * * * [progress]: [ 19 / 48 ] simplifiying candidate # 5.341 * * * * [progress]: [ 20 / 48 ] simplifiying candidate # 5.341 * * * * [progress]: [ 21 / 48 ] simplifiying candidate # 5.341 * * * * [progress]: [ 22 / 48 ] simplifiying candidate # 5.341 * * * * [progress]: [ 23 / 48 ] simplifiying candidate # 5.341 * * * * [progress]: [ 24 / 48 ] simplifiying candidate # 5.342 * * * * [progress]: [ 25 / 48 ] simplifiying candidate # 5.342 * * * * [progress]: [ 26 / 48 ] simplifiying candidate # 5.342 * * * * [progress]: [ 27 / 48 ] simplifiying candidate # 5.342 * * * * [progress]: [ 28 / 48 ] simplifiying candidate # 5.342 * * * * [progress]: [ 29 / 48 ] simplifiying candidate # 5.342 * * * * [progress]: [ 30 / 48 ] simplifiying candidate # 5.342 * * * * [progress]: [ 31 / 48 ] simplifiying candidate # 5.342 * * * * [progress]: [ 32 / 48 ] simplifiying candidate # 5.342 * * * * [progress]: [ 33 / 48 ] simplifiying candidate # 5.342 * * * * [progress]: [ 34 / 48 ] simplifiying candidate # 5.342 * * * * [progress]: [ 35 / 48 ] simplifiying candidate # 5.342 * * * * [progress]: [ 36 / 48 ] simplifiying candidate # 5.342 * * * * [progress]: [ 37 / 48 ] simplifiying candidate # 5.342 * * * * [progress]: [ 38 / 48 ] simplifiying candidate # 5.342 * * * * [progress]: [ 39 / 48 ] simplifiying candidate # 5.342 * * * * [progress]: [ 40 / 48 ] simplifiying candidate # 5.342 * * * * [progress]: [ 41 / 48 ] simplifiying candidate # 5.342 * * * * [progress]: [ 42 / 48 ] simplifiying candidate # 5.342 * * * * [progress]: [ 43 / 48 ] simplifiying candidate # 5.342 * * * * [progress]: [ 44 / 48 ] simplifiying candidate # 5.342 * * * * [progress]: [ 45 / 48 ] simplifiying candidate # 5.342 * * * * [progress]: [ 46 / 48 ] simplifiying candidate # 5.343 * * * * [progress]: [ 47 / 48 ] simplifiying candidate # 5.343 * * * * [progress]: [ 48 / 48 ] simplifiying candidate # 5.343 * [simplify]: Simplifying: (/ (exp 1) (exp (* x x))) (log (- 1 (* x x))) (exp (- 1 (* x x))) (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))) (cbrt (- 1 (* x x))) (* (* (- 1 (* x x)) (- 1 (* x x))) (- 1 (* x x))) (sqrt (- 1 (* x x))) (sqrt (- 1 (* x x))) (- (pow 1 3) (pow (* x x) 3)) (+ (* 1 1) (+ (* (* x x) (* x x)) (* 1 (* x x)))) (- (* x x)) (- (* 1 1) (* (* x x) (* x x))) (+ 1 (* x x)) (+ (sqrt 1) x) (- (sqrt 1) x) (+ 1 x) (- 1 x) (- (* x x)) (exp (* (cbrt (- (- 1 (* x x)))) (cbrt (- (- 1 (* x x)))))) (exp (sqrt (- (- 1 (* x x))))) (exp 1) (exp -1) (exp (- (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))) (exp (- (sqrt (- 1 (* x x))))) (exp (- 1)) (exp (- (+ (sqrt 1) x))) (exp (- (+ 1 x))) (exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))) (exp (sqrt (- 1 (* x x)))) (exp 1) (exp (+ (sqrt 1) x)) (exp (+ 1 x)) (exp (- 1)) (exp (- (- (* x x)))) (exp (- 1)) (exp (- (- (* x x)))) (exp (- 1 (* x x))) (exp 0) (exp (- 1 (* x x))) (log (exp (- (- 1 (* x x))))) (exp (exp (- (- 1 (* x x))))) (* (cbrt (exp (- (- 1 (* x x))))) (cbrt (exp (- (- 1 (* x x)))))) (cbrt (exp (- (- 1 (* x x))))) (* (* (exp (- (- 1 (* x x)))) (exp (- (- 1 (* x x))))) (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x))))) (sqrt (exp (- (- 1 (* x x))))) (- 1 (pow x 2)) (- 1 (pow x 2)) (- 1 (pow x 2)) (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))) (exp (- (pow x 2) 1)) (exp (- (pow x 2) 1)) 5.344 * * [simplify]: iteration 1: (78 enodes) 5.392 * * [simplify]: iteration 2: (163 enodes) 5.457 * * [simplify]: iteration 3: (365 enodes) 5.624 * * [simplify]: iteration 4: (899 enodes) 6.590 * * [simplify]: Extracting #0: cost 34 inf + 0 6.591 * * [simplify]: Extracting #1: cost 220 inf + 2 6.594 * * [simplify]: Extracting #2: cost 467 inf + 3299 6.613 * * [simplify]: Extracting #3: cost 393 inf + 43175 6.644 * * [simplify]: Extracting #4: cost 110 inf + 102721 6.670 * * [simplify]: Extracting #5: cost 4 inf + 136537 6.704 * * [simplify]: Extracting #6: cost 0 inf + 138379 6.727 * * [simplify]: Extracting #7: cost 0 inf + 138339 6.770 * [simplify]: Simplified to: (exp (- 1 (* x x))) (log (- 1 (* x x))) (exp (- 1 (* x x))) (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))) (cbrt (- 1 (* x x))) (* (* (- 1 (* x x)) (- 1 (* x x))) (- 1 (* x x))) (sqrt (- 1 (* x x))) (sqrt (- 1 (* x x))) (- 1 (* (* (* x x) (* x x)) (* x x))) (+ (+ (* x x) (* (* x x) (* x x))) 1) (* x (- x)) (- 1 (* (* x x) (* x x))) (+ 1 (* x x)) (+ 1 x) (- 1 x) (+ 1 x) (- 1 x) (* x (- x)) (exp (* (cbrt (+ -1 (* x x))) (cbrt (+ -1 (* x x))))) (exp (sqrt (+ -1 (* x x)))) E (/ 1 E) (exp (- (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x)))))) (/ 1 (exp (sqrt (- 1 (* x x))))) (/ 1 E) (exp (- -1 x)) (exp (- -1 x)) (exp (* (cbrt (- 1 (* x x))) (cbrt (- 1 (* x x))))) (exp (sqrt (- 1 (* x x)))) E (exp (+ 1 x)) (exp (+ 1 x)) (/ 1 E) (exp (* x x)) (/ 1 E) (exp (* x x)) (exp (- 1 (* x x))) 1 (exp (- 1 (* x x))) (+ -1 (* x x)) (exp (exp (+ (* x x) -1))) (* (cbrt (exp (+ (* x x) -1))) (cbrt (exp (+ (* x x) -1)))) (cbrt (exp (+ (* x x) -1))) (exp (* 3 (+ -1 (* x x)))) (sqrt (exp (+ (* x x) -1))) (sqrt (exp (+ (* x x) -1))) (- 1 (* x x)) (- 1 (* x x)) (- 1 (* x x)) (* (+ (* (+ 1 (* (* x x) 1/2)) (* x x)) 1) (/ 1 E)) (exp (+ (* x x) -1)) (exp (+ (* x x) -1)) 6.773 * * * [progress]: adding candidates to table 7.065 * [progress]: [Phase 3 of 3] Extracting. 7.068 * [simplify]: Simplifying: (exp (- (- 1 (* x x)))) 7.068 * * [simplify]: iteration 1: (6 enodes) 7.069 * * [simplify]: Extracting #0: cost 1 inf + 0 7.069 * * [simplify]: Extracting #1: cost 2 inf + 0 7.069 * * [simplify]: Extracting #2: cost 3 inf + 0 7.069 * * [simplify]: Extracting #3: cost 5 inf + 0 7.069 * * [simplify]: Extracting #4: cost 5 inf + 1 7.069 * * [simplify]: Extracting #5: cost 0 inf + 439 7.069 * [simplify]: Simplified to: (exp (- (- 1 (* x x)))) 9.082 * [regime-testing]: Baseline error score: 0.021983347984822578 9.086 * [regime-testing]: Oracle error score: 0.021983347984822578 9.086 * [regime-testing]: End program error score: 0.021983347984822578