0.874 * [progress]: [Phase 1 of 3] Setting up. 0.004 * * * [progress]: [1/2] Preparing points 0.442 * * * [progress]: [2/2] Setting up program. 0.449 * [progress]: [Phase 2 of 3] Improving. 0.493 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.496 * [simplify]: Simplifying: (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1))) 0.498 * * [simplify]: iteration 1: (10 enodes) 0.511 * * [simplify]: iteration 2: (24 enodes) 0.519 * * [simplify]: iteration 3: (30 enodes) 0.528 * * [simplify]: iteration 4: (53 enodes) 0.545 * * [simplify]: iteration 5: (108 enodes) 0.644 * * [simplify]: iteration 6: (285 enodes) 0.888 * * [simplify]: iteration 7: (794 enodes) 1.771 * * [simplify]: Extracting #0: cost 1 inf + 0 1.771 * * [simplify]: Extracting #1: cost 4 inf + 0 1.771 * * [simplify]: Extracting #2: cost 103 inf + 1 1.773 * * [simplify]: Extracting #3: cost 412 inf + 3 1.776 * * [simplify]: Extracting #4: cost 674 inf + 3726 1.785 * * [simplify]: Extracting #5: cost 584 inf + 47285 1.821 * * [simplify]: Extracting #6: cost 229 inf + 278026 1.881 * * [simplify]: Extracting #7: cost 14 inf + 441155 1.948 * * [simplify]: Extracting #8: cost 0 inf + 442042 2.049 * * [simplify]: Extracting #9: cost 0 inf + 441303 2.153 * [simplify]: Simplified to: (sqrt (+ (exp x) 1)) 2.161 * * [progress]: iteration 1 / 4 2.162 * * * [progress]: picking best candidate 2.167 * * * * [pick]: Picked # 2.167 * * * [progress]: localizing error 2.191 * * * [progress]: generating rewritten candidates 2.192 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 2.208 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 2.228 * * * [progress]: generating series expansions 2.228 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 2.233 * [backup-simplify]: Simplify (+ (exp x) 1) into (+ (exp x) 1) 2.233 * [approximate]: Taking taylor expansion of (+ (exp x) 1) in (x) around 0 2.234 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x 2.234 * [taylor]: Taking taylor expansion of (exp x) in x 2.234 * [taylor]: Taking taylor expansion of x in x 2.234 * [backup-simplify]: Simplify 0 into 0 2.234 * [backup-simplify]: Simplify 1 into 1 2.234 * [backup-simplify]: Simplify (exp 0) into 1 2.234 * [taylor]: Taking taylor expansion of 1 in x 2.234 * [backup-simplify]: Simplify 1 into 1 2.235 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x 2.235 * [taylor]: Taking taylor expansion of (exp x) in x 2.235 * [taylor]: Taking taylor expansion of x in x 2.235 * [backup-simplify]: Simplify 0 into 0 2.235 * [backup-simplify]: Simplify 1 into 1 2.235 * [backup-simplify]: Simplify (exp 0) into 1 2.235 * [taylor]: Taking taylor expansion of 1 in x 2.235 * [backup-simplify]: Simplify 1 into 1 2.237 * [backup-simplify]: Simplify (+ 1 1) into 2 2.237 * [backup-simplify]: Simplify 2 into 2 2.239 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 2.240 * [backup-simplify]: Simplify (+ 1 0) into 1 2.240 * [backup-simplify]: Simplify 1 into 1 2.242 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 2.242 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 2.242 * [backup-simplify]: Simplify 1/2 into 1/2 2.246 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ x (+ (* 1/2 (pow x 2)) 2)) 2.246 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 2.246 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in (x) around 0 2.246 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 2.246 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.246 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.246 * [taylor]: Taking taylor expansion of x in x 2.246 * [backup-simplify]: Simplify 0 into 0 2.246 * [backup-simplify]: Simplify 1 into 1 2.247 * [backup-simplify]: Simplify (/ 1 1) into 1 2.247 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 2.247 * [taylor]: Taking taylor expansion of 1 in x 2.247 * [backup-simplify]: Simplify 1 into 1 2.247 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 2.247 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.247 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.247 * [taylor]: Taking taylor expansion of x in x 2.247 * [backup-simplify]: Simplify 0 into 0 2.247 * [backup-simplify]: Simplify 1 into 1 2.248 * [backup-simplify]: Simplify (/ 1 1) into 1 2.248 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 2.248 * [taylor]: Taking taylor expansion of 1 in x 2.248 * [backup-simplify]: Simplify 1 into 1 2.248 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 2.248 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 2.249 * [backup-simplify]: Simplify (+ 0 0) into 0 2.249 * [backup-simplify]: Simplify 0 into 0 2.249 * [backup-simplify]: Simplify (+ 0 0) into 0 2.249 * [backup-simplify]: Simplify 0 into 0 2.249 * [backup-simplify]: Simplify (+ 0 0) into 0 2.250 * [backup-simplify]: Simplify 0 into 0 2.250 * [backup-simplify]: Simplify (+ 0 0) into 0 2.250 * [backup-simplify]: Simplify 0 into 0 2.250 * [backup-simplify]: Simplify (+ 0 0) into 0 2.251 * [backup-simplify]: Simplify 0 into 0 2.251 * [backup-simplify]: Simplify (+ 0 0) into 0 2.251 * [backup-simplify]: Simplify 0 into 0 2.251 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1) 2.251 * [backup-simplify]: Simplify (+ (exp (/ 1 (- x))) 1) into (+ (exp (/ -1 x)) 1) 2.251 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in (x) around 0 2.251 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 2.251 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.251 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.251 * [taylor]: Taking taylor expansion of -1 in x 2.251 * [backup-simplify]: Simplify -1 into -1 2.251 * [taylor]: Taking taylor expansion of x in x 2.251 * [backup-simplify]: Simplify 0 into 0 2.251 * [backup-simplify]: Simplify 1 into 1 2.252 * [backup-simplify]: Simplify (/ -1 1) into -1 2.252 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 2.252 * [taylor]: Taking taylor expansion of 1 in x 2.252 * [backup-simplify]: Simplify 1 into 1 2.252 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 2.252 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.252 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.252 * [taylor]: Taking taylor expansion of -1 in x 2.252 * [backup-simplify]: Simplify -1 into -1 2.252 * [taylor]: Taking taylor expansion of x in x 2.252 * [backup-simplify]: Simplify 0 into 0 2.252 * [backup-simplify]: Simplify 1 into 1 2.253 * [backup-simplify]: Simplify (/ -1 1) into -1 2.253 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 2.253 * [taylor]: Taking taylor expansion of 1 in x 2.253 * [backup-simplify]: Simplify 1 into 1 2.253 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 2.253 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 2.254 * [backup-simplify]: Simplify (+ 0 0) into 0 2.254 * [backup-simplify]: Simplify 0 into 0 2.254 * [backup-simplify]: Simplify (+ 0 0) into 0 2.254 * [backup-simplify]: Simplify 0 into 0 2.254 * [backup-simplify]: Simplify (+ 0 0) into 0 2.254 * [backup-simplify]: Simplify 0 into 0 2.255 * [backup-simplify]: Simplify (+ 0 0) into 0 2.255 * [backup-simplify]: Simplify 0 into 0 2.255 * [backup-simplify]: Simplify (+ 0 0) into 0 2.255 * [backup-simplify]: Simplify 0 into 0 2.256 * [backup-simplify]: Simplify (+ 0 0) into 0 2.256 * [backup-simplify]: Simplify 0 into 0 2.256 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1) 2.256 * * * * [progress]: [ 2 / 2 ] generating series at (2) 2.256 * [backup-simplify]: Simplify (sqrt (+ (exp x) 1)) into (sqrt (+ (exp x) 1)) 2.256 * [approximate]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in (x) around 0 2.256 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x 2.256 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x 2.256 * [taylor]: Taking taylor expansion of (exp x) in x 2.256 * [taylor]: Taking taylor expansion of x in x 2.256 * [backup-simplify]: Simplify 0 into 0 2.256 * [backup-simplify]: Simplify 1 into 1 2.256 * [backup-simplify]: Simplify (exp 0) into 1 2.256 * [taylor]: Taking taylor expansion of 1 in x 2.256 * [backup-simplify]: Simplify 1 into 1 2.257 * [backup-simplify]: Simplify (+ 1 1) into 2 2.257 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2) 2.258 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 2.259 * [backup-simplify]: Simplify (+ 1 0) into 1 2.260 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 2.260 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x 2.260 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x 2.260 * [taylor]: Taking taylor expansion of (exp x) in x 2.260 * [taylor]: Taking taylor expansion of x in x 2.260 * [backup-simplify]: Simplify 0 into 0 2.260 * [backup-simplify]: Simplify 1 into 1 2.260 * [backup-simplify]: Simplify (exp 0) into 1 2.260 * [taylor]: Taking taylor expansion of 1 in x 2.260 * [backup-simplify]: Simplify 1 into 1 2.260 * [backup-simplify]: Simplify (+ 1 1) into 2 2.261 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2) 2.262 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 2.262 * [backup-simplify]: Simplify (+ 1 0) into 1 2.264 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 2.264 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2) 2.265 * [backup-simplify]: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2)) 2.267 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 2.267 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 2.272 * [backup-simplify]: Simplify (/ (- 1/2 (pow (/ 1/2 (sqrt 2)) 2) (+)) (* 2 (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) 2.277 * [backup-simplify]: Simplify (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) 2.286 * [backup-simplify]: Simplify (+ (* (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) (pow x 2)) (+ (* (/ 1/2 (sqrt 2)) x) (sqrt 2))) into (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))) 2.286 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 2.286 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in (x) around 0 2.286 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x 2.286 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 2.286 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.286 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.286 * [taylor]: Taking taylor expansion of x in x 2.286 * [backup-simplify]: Simplify 0 into 0 2.286 * [backup-simplify]: Simplify 1 into 1 2.287 * [backup-simplify]: Simplify (/ 1 1) into 1 2.287 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 2.287 * [taylor]: Taking taylor expansion of 1 in x 2.287 * [backup-simplify]: Simplify 1 into 1 2.287 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 2.287 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 2.287 * [backup-simplify]: Simplify (+ 0 0) into 0 2.288 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 2.288 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x 2.288 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 2.288 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.288 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.288 * [taylor]: Taking taylor expansion of x in x 2.288 * [backup-simplify]: Simplify 0 into 0 2.288 * [backup-simplify]: Simplify 1 into 1 2.288 * [backup-simplify]: Simplify (/ 1 1) into 1 2.288 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 2.288 * [taylor]: Taking taylor expansion of 1 in x 2.288 * [backup-simplify]: Simplify 1 into 1 2.288 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 2.289 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 2.289 * [backup-simplify]: Simplify (+ 0 0) into 0 2.289 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 2.289 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 2.289 * [backup-simplify]: Simplify 0 into 0 2.290 * [backup-simplify]: Simplify (+ 0 0) into 0 2.290 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 2.291 * [backup-simplify]: Simplify 0 into 0 2.291 * [backup-simplify]: Simplify (+ 0 0) into 0 2.292 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 2.292 * [backup-simplify]: Simplify 0 into 0 2.292 * [backup-simplify]: Simplify (+ 0 0) into 0 2.293 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 2.293 * [backup-simplify]: Simplify 0 into 0 2.294 * [backup-simplify]: Simplify (+ 0 0) into 0 2.295 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 2.295 * [backup-simplify]: Simplify 0 into 0 2.295 * [backup-simplify]: Simplify (+ 0 0) into 0 2.296 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 2.296 * [backup-simplify]: Simplify 0 into 0 2.296 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1)) 2.296 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 (- x))) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 2.296 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in (x) around 0 2.297 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x 2.297 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 2.297 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.297 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.297 * [taylor]: Taking taylor expansion of -1 in x 2.297 * [backup-simplify]: Simplify -1 into -1 2.297 * [taylor]: Taking taylor expansion of x in x 2.297 * [backup-simplify]: Simplify 0 into 0 2.297 * [backup-simplify]: Simplify 1 into 1 2.297 * [backup-simplify]: Simplify (/ -1 1) into -1 2.297 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 2.297 * [taylor]: Taking taylor expansion of 1 in x 2.297 * [backup-simplify]: Simplify 1 into 1 2.297 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 2.297 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 2.298 * [backup-simplify]: Simplify (+ 0 0) into 0 2.298 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 2.298 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x 2.298 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 2.298 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.298 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.298 * [taylor]: Taking taylor expansion of -1 in x 2.298 * [backup-simplify]: Simplify -1 into -1 2.298 * [taylor]: Taking taylor expansion of x in x 2.298 * [backup-simplify]: Simplify 0 into 0 2.298 * [backup-simplify]: Simplify 1 into 1 2.299 * [backup-simplify]: Simplify (/ -1 1) into -1 2.299 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 2.299 * [taylor]: Taking taylor expansion of 1 in x 2.299 * [backup-simplify]: Simplify 1 into 1 2.299 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 2.299 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 2.299 * [backup-simplify]: Simplify (+ 0 0) into 0 2.299 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 2.300 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 2.300 * [backup-simplify]: Simplify 0 into 0 2.300 * [backup-simplify]: Simplify (+ 0 0) into 0 2.301 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 2.301 * [backup-simplify]: Simplify 0 into 0 2.302 * [backup-simplify]: Simplify (+ 0 0) into 0 2.302 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 2.303 * [backup-simplify]: Simplify 0 into 0 2.303 * [backup-simplify]: Simplify (+ 0 0) into 0 2.304 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 2.304 * [backup-simplify]: Simplify 0 into 0 2.304 * [backup-simplify]: Simplify (+ 0 0) into 0 2.305 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 2.305 * [backup-simplify]: Simplify 0 into 0 2.306 * [backup-simplify]: Simplify (+ 0 0) into 0 2.307 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 2.307 * [backup-simplify]: Simplify 0 into 0 2.308 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1)) 2.308 * * * [progress]: simplifying candidates 2.308 * * * * [progress]: [ 1 / 45 ] simplifiying candidate # 2.308 * * * * [progress]: [ 2 / 45 ] simplifiying candidate # 2.308 * * * * [progress]: [ 3 / 45 ] simplifiying candidate # 2.308 * * * * [progress]: [ 4 / 45 ] simplifiying candidate # 2.308 * * * * [progress]: [ 5 / 45 ] simplifiying candidate # 2.308 * * * * [progress]: [ 6 / 45 ] simplifiying candidate # 2.308 * * * * [progress]: [ 7 / 45 ] simplifiying candidate # 2.308 * * * * [progress]: [ 8 / 45 ] simplifiying candidate # 2.308 * * * * [progress]: [ 9 / 45 ] simplifiying candidate # 2.308 * * * * [progress]: [ 10 / 45 ] simplifiying candidate # 2.308 * * * * [progress]: [ 11 / 45 ] simplifiying candidate # 2.308 * * * * [progress]: [ 12 / 45 ] simplifiying candidate # 2.309 * * * * [progress]: [ 13 / 45 ] simplifiying candidate # 2.309 * * * * [progress]: [ 14 / 45 ] simplifiying candidate # 2.309 * * * * [progress]: [ 15 / 45 ] simplifiying candidate # 2.309 * * * * [progress]: [ 16 / 45 ] simplifiying candidate # 2.309 * * * * [progress]: [ 17 / 45 ] simplifiying candidate #real (real->posit16 (+ (exp x) 1)))))> 2.309 * * * * [progress]: [ 18 / 45 ] simplifiying candidate # 2.309 * * * * [progress]: [ 19 / 45 ] simplifiying candidate # 2.309 * * * * [progress]: [ 20 / 45 ] simplifiying candidate # 2.309 * * * * [progress]: [ 21 / 45 ] simplifiying candidate # 2.309 * * * * [progress]: [ 22 / 45 ] simplifiying candidate # 2.309 * * * * [progress]: [ 23 / 45 ] simplifiying candidate # 2.309 * * * * [progress]: [ 24 / 45 ] simplifiying candidate # 2.309 * * * * [progress]: [ 25 / 45 ] simplifiying candidate # 2.309 * * * * [progress]: [ 26 / 45 ] simplifiying candidate # 2.309 * * * * [progress]: [ 27 / 45 ] simplifiying candidate # 2.309 * * * * [progress]: [ 28 / 45 ] simplifiying candidate # 2.309 * * * * [progress]: [ 29 / 45 ] simplifiying candidate # 2.309 * * * * [progress]: [ 30 / 45 ] simplifiying candidate # 2.310 * * * * [progress]: [ 31 / 45 ] simplifiying candidate # 2.310 * * * * [progress]: [ 32 / 45 ] simplifiying candidate # 2.310 * * * * [progress]: [ 33 / 45 ] simplifiying candidate # 2.310 * * * * [progress]: [ 34 / 45 ] simplifiying candidate # 2.310 * * * * [progress]: [ 35 / 45 ] simplifiying candidate # 2.310 * * * * [progress]: [ 36 / 45 ] simplifiying candidate # 2.310 * * * * [progress]: [ 37 / 45 ] simplifiying candidate # 2.310 * * * * [progress]: [ 38 / 45 ] simplifiying candidate # 2.310 * * * * [progress]: [ 39 / 45 ] simplifiying candidate #real (real->posit16 (sqrt (+ (exp x) 1)))))> 2.310 * * * * [progress]: [ 40 / 45 ] simplifiying candidate # 2.310 * * * * [progress]: [ 41 / 45 ] simplifiying candidate # 2.310 * * * * [progress]: [ 42 / 45 ] simplifiying candidate # 2.310 * * * * [progress]: [ 43 / 45 ] simplifiying candidate # 2.310 * * * * [progress]: [ 44 / 45 ] simplifiying candidate # 2.310 * * * * [progress]: [ 45 / 45 ] simplifiying candidate # 2.311 * [simplify]: Simplifying: (expm1 (+ (exp x) 1)) (log1p (+ (exp x) 1)) (* (exp (exp x)) (exp 1)) (log (+ (exp x) 1)) (exp (+ (exp x) 1)) (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))) (cbrt (+ (exp x) 1)) (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1)) (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1)) (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))) (- (* (exp x) (exp x)) (* 1 1)) (- (exp x) 1) (+ (exp x) 1) (real->posit16 (+ (exp x) 1)) (expm1 (sqrt (+ (exp x) 1))) (log1p (sqrt (+ (exp x) 1))) (log (sqrt (+ (exp x) 1))) (exp (sqrt (+ (exp x) 1))) (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1)))) (cbrt (sqrt (+ (exp x) 1))) (* (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1))) (sqrt (+ (exp x) 1))) (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))) (sqrt (cbrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1))) (sqrt 1) (sqrt (+ (exp x) 1)) (sqrt 1) (sqrt (+ (exp x) 1)) (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))) (sqrt (- (* (exp x) (exp x)) (* 1 1))) (sqrt (- (exp x) 1)) (/ 1 2) (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1))) (real->posit16 (sqrt (+ (exp x) 1))) (+ x (+ (* 1/2 (pow x 2)) 2)) (+ (exp x) 1) (+ (exp x) 1) (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))) (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1)) 2.312 * * [simplify]: iteration 1: (65 enodes) 2.352 * * [simplify]: iteration 2: (148 enodes) 2.399 * * [simplify]: iteration 3: (347 enodes) 2.951 * * [simplify]: iteration 4: (856 enodes) 3.886 * * [simplify]: Extracting #0: cost 33 inf + 0 3.887 * * [simplify]: Extracting #1: cost 135 inf + 2 3.891 * * [simplify]: Extracting #2: cost 430 inf + 1452 3.909 * * [simplify]: Extracting #3: cost 329 inf + 25374 3.937 * * [simplify]: Extracting #4: cost 142 inf + 70149 3.976 * * [simplify]: Extracting #5: cost 15 inf + 120510 4.008 * * [simplify]: Extracting #6: cost 0 inf + 127278 4.033 * [simplify]: Simplified to: (expm1 (+ (exp x) 1)) (log1p (+ (exp x) 1)) (* E (exp (exp x))) (log1p (exp x)) (* E (exp (exp x))) (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))) (cbrt (+ (exp x) 1)) (* (+ (exp x) 1) (* (+ (exp x) 1) (+ (exp x) 1))) (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1)) (+ 1 (exp (+ x (+ x x)))) (fma (exp x) (exp x) (- 1 (exp x))) (expm1 (+ x x)) (expm1 x) (+ (exp x) 1) (real->posit16 (+ (exp x) 1)) (expm1 (sqrt (+ (exp x) 1))) (log1p (sqrt (+ (exp x) 1))) (log (sqrt (+ (exp x) 1))) (exp (sqrt (+ (exp x) 1))) (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1)))) (cbrt (sqrt (+ (exp x) 1))) (* (+ (exp x) 1) (sqrt (+ (exp x) 1))) (fabs (cbrt (+ (exp x) 1))) (sqrt (cbrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1))) 1 (sqrt (+ (exp x) 1)) 1 (sqrt (+ (exp x) 1)) (sqrt (+ 1 (exp (+ x (+ x x))))) (sqrt (fma (exp x) (exp x) (- 1 (exp x)))) (sqrt (expm1 (+ x x))) (sqrt (expm1 x)) 1/2 (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1))) (real->posit16 (sqrt (+ (exp x) 1))) (fma (fma x 1/2 1) x 2) (+ (exp x) 1) (+ (exp x) 1) (+ (sqrt 2) (fma (/ x (sqrt 2)) 1/2 (* (* x (/ x (sqrt 2))) 3/16))) (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1)) 4.034 * * * [progress]: adding candidates to table 4.399 * * [progress]: iteration 2 / 4 4.399 * * * [progress]: picking best candidate 4.406 * * * * [pick]: Picked # 4.406 * * * [progress]: localizing error 4.420 * * * [progress]: generating rewritten candidates 4.420 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 4.423 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 4.425 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1) 4.426 * * * [progress]: generating series expansions 4.426 * * * * [progress]: [ 1 / 3 ] generating series at (2) 4.426 * [backup-simplify]: Simplify (sqrt (exp (log1p (exp x)))) into (sqrt (exp (log1p (exp x)))) 4.426 * [approximate]: Taking taylor expansion of (sqrt (exp (log1p (exp x)))) in (x) around 0 4.426 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (exp x)))) in x 4.426 * [taylor]: Taking taylor expansion of (exp (log1p (exp x))) in x 4.426 * [taylor]: Taking taylor expansion of (log1p (exp x)) in x 4.427 * [taylor]: Rewrote expression to (log (+ 1 (exp x))) 4.427 * [taylor]: Taking taylor expansion of (+ 1 (exp x)) in x 4.427 * [taylor]: Taking taylor expansion of 1 in x 4.427 * [backup-simplify]: Simplify 1 into 1 4.427 * [taylor]: Taking taylor expansion of (exp x) in x 4.427 * [taylor]: Taking taylor expansion of x in x 4.427 * [backup-simplify]: Simplify 0 into 0 4.427 * [backup-simplify]: Simplify 1 into 1 4.427 * [backup-simplify]: Simplify (exp 0) into 1 4.428 * [backup-simplify]: Simplify (+ 1 1) into 2 4.428 * [backup-simplify]: Simplify (log 2) into (log 2) 4.429 * [backup-simplify]: Simplify (exp (log 2)) into 2 4.429 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2) 4.430 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.430 * [backup-simplify]: Simplify (+ 0 1) into 1 4.431 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 2 1)))) 1) into 1/2 4.432 * [backup-simplify]: Simplify (* (exp (log 2)) (+ (* (/ (pow 1/2 1) 1)))) into 1 4.433 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 4.433 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (exp x)))) in x 4.433 * [taylor]: Taking taylor expansion of (exp (log1p (exp x))) in x 4.433 * [taylor]: Taking taylor expansion of (log1p (exp x)) in x 4.433 * [taylor]: Rewrote expression to (log (+ 1 (exp x))) 4.433 * [taylor]: Taking taylor expansion of (+ 1 (exp x)) in x 4.433 * [taylor]: Taking taylor expansion of 1 in x 4.433 * [backup-simplify]: Simplify 1 into 1 4.433 * [taylor]: Taking taylor expansion of (exp x) in x 4.433 * [taylor]: Taking taylor expansion of x in x 4.433 * [backup-simplify]: Simplify 0 into 0 4.433 * [backup-simplify]: Simplify 1 into 1 4.433 * [backup-simplify]: Simplify (exp 0) into 1 4.434 * [backup-simplify]: Simplify (+ 1 1) into 2 4.434 * [backup-simplify]: Simplify (log 2) into (log 2) 4.434 * [backup-simplify]: Simplify (exp (log 2)) into 2 4.435 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2) 4.435 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.436 * [backup-simplify]: Simplify (+ 0 1) into 1 4.436 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 2 1)))) 1) into 1/2 4.438 * [backup-simplify]: Simplify (* (exp (log 2)) (+ (* (/ (pow 1/2 1) 1)))) into 1 4.439 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 4.439 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2) 4.440 * [backup-simplify]: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2)) 4.441 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.441 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 4.443 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 2 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 2 1)))) 2) into 1/8 4.445 * [backup-simplify]: Simplify (* (exp (log 2)) (+ (* (/ (pow 1/2 2) 2)) (* (/ (pow 1/8 1) 1)))) into 1/2 4.448 * [backup-simplify]: Simplify (/ (- 1/2 (pow (/ 1/2 (sqrt 2)) 2) (+)) (* 2 (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) 4.452 * [backup-simplify]: Simplify (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) 4.456 * [backup-simplify]: Simplify (+ (* (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) (pow x 2)) (+ (* (/ 1/2 (sqrt 2)) x) (sqrt 2))) into (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))) 4.457 * [backup-simplify]: Simplify (sqrt (exp (log1p (exp (/ 1 x))))) into (sqrt (exp (log1p (exp (/ 1 x))))) 4.457 * [approximate]: Taking taylor expansion of (sqrt (exp (log1p (exp (/ 1 x))))) in (x) around 0 4.457 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (exp (/ 1 x))))) in x 4.457 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 x)))) in x 4.457 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 x))) in x 4.457 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 x)))) 4.457 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 x))) in x 4.457 * [taylor]: Taking taylor expansion of 1 in x 4.457 * [backup-simplify]: Simplify 1 into 1 4.457 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.457 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.457 * [taylor]: Taking taylor expansion of x in x 4.457 * [backup-simplify]: Simplify 0 into 0 4.457 * [backup-simplify]: Simplify 1 into 1 4.457 * [backup-simplify]: Simplify (/ 1 1) into 1 4.457 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.457 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1) 4.457 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1)) 4.457 * [backup-simplify]: Simplify (exp (log (+ (exp (/ 1 x)) 1))) into (+ (exp (/ 1 x)) 1) 4.457 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 4.458 * [backup-simplify]: Simplify (+ 0 0) into 0 4.458 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 1) into 0 4.459 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0 4.459 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 4.459 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (exp (/ 1 x))))) in x 4.459 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 x)))) in x 4.459 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 x))) in x 4.459 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 x)))) 4.459 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 x))) in x 4.459 * [taylor]: Taking taylor expansion of 1 in x 4.459 * [backup-simplify]: Simplify 1 into 1 4.459 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.459 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.459 * [taylor]: Taking taylor expansion of x in x 4.459 * [backup-simplify]: Simplify 0 into 0 4.459 * [backup-simplify]: Simplify 1 into 1 4.459 * [backup-simplify]: Simplify (/ 1 1) into 1 4.459 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.459 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1) 4.459 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1)) 4.459 * [backup-simplify]: Simplify (exp (log (+ (exp (/ 1 x)) 1))) into (+ (exp (/ 1 x)) 1) 4.459 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 4.460 * [backup-simplify]: Simplify (+ 0 0) into 0 4.460 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 1) into 0 4.461 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0 4.461 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 4.461 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 4.461 * [backup-simplify]: Simplify 0 into 0 4.461 * [backup-simplify]: Simplify (+ 0 0) into 0 4.462 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 2) into 0 4.463 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.464 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 4.464 * [backup-simplify]: Simplify 0 into 0 4.464 * [backup-simplify]: Simplify (+ 0 0) into 0 4.466 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 6) into 0 4.467 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.468 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 4.468 * [backup-simplify]: Simplify 0 into 0 4.468 * [backup-simplify]: Simplify (+ 0 0) into 0 4.471 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 24) into 0 4.473 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.473 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 4.473 * [backup-simplify]: Simplify 0 into 0 4.474 * [backup-simplify]: Simplify (+ 0 0) into 0 4.478 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (/ 1 x)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 120) into 0 4.480 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.481 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 4.481 * [backup-simplify]: Simplify 0 into 0 4.482 * [backup-simplify]: Simplify (+ 0 0) into 0 4.489 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (/ 1 x)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 720) into 0 4.492 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.493 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 4.493 * [backup-simplify]: Simplify 0 into 0 4.493 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1)) 4.493 * [backup-simplify]: Simplify (sqrt (exp (log1p (exp (/ 1 (- x)))))) into (sqrt (exp (log1p (exp (/ -1 x))))) 4.493 * [approximate]: Taking taylor expansion of (sqrt (exp (log1p (exp (/ -1 x))))) in (x) around 0 4.493 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (exp (/ -1 x))))) in x 4.493 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ -1 x)))) in x 4.493 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 x))) in x 4.493 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 x)))) 4.493 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 x))) in x 4.493 * [taylor]: Taking taylor expansion of 1 in x 4.493 * [backup-simplify]: Simplify 1 into 1 4.493 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.493 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.493 * [taylor]: Taking taylor expansion of -1 in x 4.493 * [backup-simplify]: Simplify -1 into -1 4.493 * [taylor]: Taking taylor expansion of x in x 4.493 * [backup-simplify]: Simplify 0 into 0 4.493 * [backup-simplify]: Simplify 1 into 1 4.493 * [backup-simplify]: Simplify (/ -1 1) into -1 4.493 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.494 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1) 4.494 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1)) 4.494 * [backup-simplify]: Simplify (exp (log (+ (exp (/ -1 x)) 1))) into (+ (exp (/ -1 x)) 1) 4.494 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 4.494 * [backup-simplify]: Simplify (+ 0 0) into 0 4.495 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 1) into 0 4.495 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0 4.495 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 4.495 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (exp (/ -1 x))))) in x 4.495 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ -1 x)))) in x 4.495 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 x))) in x 4.495 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 x)))) 4.495 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 x))) in x 4.495 * [taylor]: Taking taylor expansion of 1 in x 4.495 * [backup-simplify]: Simplify 1 into 1 4.495 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.495 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.495 * [taylor]: Taking taylor expansion of -1 in x 4.495 * [backup-simplify]: Simplify -1 into -1 4.495 * [taylor]: Taking taylor expansion of x in x 4.495 * [backup-simplify]: Simplify 0 into 0 4.495 * [backup-simplify]: Simplify 1 into 1 4.496 * [backup-simplify]: Simplify (/ -1 1) into -1 4.496 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.496 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1) 4.496 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1)) 4.496 * [backup-simplify]: Simplify (exp (log (+ (exp (/ -1 x)) 1))) into (+ (exp (/ -1 x)) 1) 4.496 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 4.496 * [backup-simplify]: Simplify (+ 0 0) into 0 4.497 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 1) into 0 4.497 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0 4.497 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 4.498 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 4.498 * [backup-simplify]: Simplify 0 into 0 4.498 * [backup-simplify]: Simplify (+ 0 0) into 0 4.503 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 2) into 0 4.504 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.505 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 4.505 * [backup-simplify]: Simplify 0 into 0 4.505 * [backup-simplify]: Simplify (+ 0 0) into 0 4.508 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 6) into 0 4.509 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.509 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 4.510 * [backup-simplify]: Simplify 0 into 0 4.510 * [backup-simplify]: Simplify (+ 0 0) into 0 4.513 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 24) into 0 4.515 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.515 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 4.515 * [backup-simplify]: Simplify 0 into 0 4.516 * [backup-simplify]: Simplify (+ 0 0) into 0 4.520 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (/ -1 x)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 120) into 0 4.522 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.523 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 4.523 * [backup-simplify]: Simplify 0 into 0 4.523 * [backup-simplify]: Simplify (+ 0 0) into 0 4.531 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (/ -1 x)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 720) into 0 4.534 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.535 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 4.535 * [backup-simplify]: Simplify 0 into 0 4.535 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1)) 4.535 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 4.535 * [backup-simplify]: Simplify (exp (log1p (exp x))) into (exp (log1p (exp x))) 4.535 * [approximate]: Taking taylor expansion of (exp (log1p (exp x))) in (x) around 0 4.535 * [taylor]: Taking taylor expansion of (exp (log1p (exp x))) in x 4.535 * [taylor]: Taking taylor expansion of (log1p (exp x)) in x 4.535 * [taylor]: Rewrote expression to (log (+ 1 (exp x))) 4.535 * [taylor]: Taking taylor expansion of (+ 1 (exp x)) in x 4.535 * [taylor]: Taking taylor expansion of 1 in x 4.535 * [backup-simplify]: Simplify 1 into 1 4.535 * [taylor]: Taking taylor expansion of (exp x) in x 4.535 * [taylor]: Taking taylor expansion of x in x 4.535 * [backup-simplify]: Simplify 0 into 0 4.535 * [backup-simplify]: Simplify 1 into 1 4.535 * [backup-simplify]: Simplify (exp 0) into 1 4.535 * [backup-simplify]: Simplify (+ 1 1) into 2 4.536 * [backup-simplify]: Simplify (log 2) into (log 2) 4.536 * [backup-simplify]: Simplify (exp (log 2)) into 2 4.536 * [taylor]: Taking taylor expansion of (exp (log1p (exp x))) in x 4.536 * [taylor]: Taking taylor expansion of (log1p (exp x)) in x 4.536 * [taylor]: Rewrote expression to (log (+ 1 (exp x))) 4.536 * [taylor]: Taking taylor expansion of (+ 1 (exp x)) in x 4.536 * [taylor]: Taking taylor expansion of 1 in x 4.536 * [backup-simplify]: Simplify 1 into 1 4.536 * [taylor]: Taking taylor expansion of (exp x) in x 4.536 * [taylor]: Taking taylor expansion of x in x 4.536 * [backup-simplify]: Simplify 0 into 0 4.536 * [backup-simplify]: Simplify 1 into 1 4.536 * [backup-simplify]: Simplify (exp 0) into 1 4.537 * [backup-simplify]: Simplify (+ 1 1) into 2 4.537 * [backup-simplify]: Simplify (log 2) into (log 2) 4.537 * [backup-simplify]: Simplify (exp (log 2)) into 2 4.537 * [backup-simplify]: Simplify 2 into 2 4.538 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.538 * [backup-simplify]: Simplify (+ 0 1) into 1 4.539 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 2 1)))) 1) into 1/2 4.541 * [backup-simplify]: Simplify (* (exp (log 2)) (+ (* (/ (pow 1/2 1) 1)))) into 1 4.541 * [backup-simplify]: Simplify 1 into 1 4.542 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.542 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 4.544 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 2 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 2 1)))) 2) into 1/8 4.546 * [backup-simplify]: Simplify (* (exp (log 2)) (+ (* (/ (pow 1/2 2) 2)) (* (/ (pow 1/8 1) 1)))) into 1/2 4.546 * [backup-simplify]: Simplify 1/2 into 1/2 4.546 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ x (+ (* 1/2 (pow x 2)) 2)) 4.546 * [backup-simplify]: Simplify (exp (log1p (exp (/ 1 x)))) into (exp (log1p (exp (/ 1 x)))) 4.546 * [approximate]: Taking taylor expansion of (exp (log1p (exp (/ 1 x)))) in (x) around 0 4.546 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 x)))) in x 4.546 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 x))) in x 4.546 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 x)))) 4.546 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 x))) in x 4.546 * [taylor]: Taking taylor expansion of 1 in x 4.546 * [backup-simplify]: Simplify 1 into 1 4.546 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.546 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.546 * [taylor]: Taking taylor expansion of x in x 4.546 * [backup-simplify]: Simplify 0 into 0 4.546 * [backup-simplify]: Simplify 1 into 1 4.547 * [backup-simplify]: Simplify (/ 1 1) into 1 4.547 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.547 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1) 4.547 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1)) 4.547 * [backup-simplify]: Simplify (exp (log (+ (exp (/ 1 x)) 1))) into (+ (exp (/ 1 x)) 1) 4.547 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 x)))) in x 4.547 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 x))) in x 4.547 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 x)))) 4.547 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 x))) in x 4.547 * [taylor]: Taking taylor expansion of 1 in x 4.547 * [backup-simplify]: Simplify 1 into 1 4.547 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.547 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.547 * [taylor]: Taking taylor expansion of x in x 4.547 * [backup-simplify]: Simplify 0 into 0 4.547 * [backup-simplify]: Simplify 1 into 1 4.547 * [backup-simplify]: Simplify (/ 1 1) into 1 4.547 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.547 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1) 4.547 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1)) 4.547 * [backup-simplify]: Simplify (exp (log (+ (exp (/ 1 x)) 1))) into (+ (exp (/ 1 x)) 1) 4.548 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 4.548 * [backup-simplify]: Simplify (+ 0 0) into 0 4.548 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 1) into 0 4.549 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0 4.549 * [backup-simplify]: Simplify 0 into 0 4.549 * [backup-simplify]: Simplify (+ 0 0) into 0 4.550 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 2) into 0 4.551 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.551 * [backup-simplify]: Simplify 0 into 0 4.551 * [backup-simplify]: Simplify (+ 0 0) into 0 4.553 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 6) into 0 4.554 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.554 * [backup-simplify]: Simplify 0 into 0 4.554 * [backup-simplify]: Simplify (+ 0 0) into 0 4.557 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 24) into 0 4.559 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.559 * [backup-simplify]: Simplify 0 into 0 4.559 * [backup-simplify]: Simplify (+ 0 0) into 0 4.563 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (/ 1 x)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 120) into 0 4.565 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.565 * [backup-simplify]: Simplify 0 into 0 4.566 * [backup-simplify]: Simplify (+ 0 0) into 0 4.573 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (/ 1 x)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 720) into 0 4.576 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.576 * [backup-simplify]: Simplify 0 into 0 4.576 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1) 4.577 * [backup-simplify]: Simplify (exp (log1p (exp (/ 1 (- x))))) into (exp (log1p (exp (/ -1 x)))) 4.577 * [approximate]: Taking taylor expansion of (exp (log1p (exp (/ -1 x)))) in (x) around 0 4.577 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ -1 x)))) in x 4.577 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 x))) in x 4.577 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 x)))) 4.577 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 x))) in x 4.577 * [taylor]: Taking taylor expansion of 1 in x 4.577 * [backup-simplify]: Simplify 1 into 1 4.577 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.577 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.577 * [taylor]: Taking taylor expansion of -1 in x 4.577 * [backup-simplify]: Simplify -1 into -1 4.577 * [taylor]: Taking taylor expansion of x in x 4.577 * [backup-simplify]: Simplify 0 into 0 4.577 * [backup-simplify]: Simplify 1 into 1 4.577 * [backup-simplify]: Simplify (/ -1 1) into -1 4.578 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.578 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1) 4.578 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1)) 4.578 * [backup-simplify]: Simplify (exp (log (+ (exp (/ -1 x)) 1))) into (+ (exp (/ -1 x)) 1) 4.578 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ -1 x)))) in x 4.578 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 x))) in x 4.578 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 x)))) 4.578 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 x))) in x 4.578 * [taylor]: Taking taylor expansion of 1 in x 4.578 * [backup-simplify]: Simplify 1 into 1 4.578 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.578 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.578 * [taylor]: Taking taylor expansion of -1 in x 4.578 * [backup-simplify]: Simplify -1 into -1 4.578 * [taylor]: Taking taylor expansion of x in x 4.578 * [backup-simplify]: Simplify 0 into 0 4.578 * [backup-simplify]: Simplify 1 into 1 4.579 * [backup-simplify]: Simplify (/ -1 1) into -1 4.579 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.579 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1) 4.579 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1)) 4.579 * [backup-simplify]: Simplify (exp (log (+ (exp (/ -1 x)) 1))) into (+ (exp (/ -1 x)) 1) 4.579 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 4.580 * [backup-simplify]: Simplify (+ 0 0) into 0 4.581 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 1) into 0 4.582 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0 4.582 * [backup-simplify]: Simplify 0 into 0 4.582 * [backup-simplify]: Simplify (+ 0 0) into 0 4.584 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 2) into 0 4.585 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.585 * [backup-simplify]: Simplify 0 into 0 4.586 * [backup-simplify]: Simplify (+ 0 0) into 0 4.589 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 6) into 0 4.590 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.590 * [backup-simplify]: Simplify 0 into 0 4.591 * [backup-simplify]: Simplify (+ 0 0) into 0 4.598 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 24) into 0 4.601 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.601 * [backup-simplify]: Simplify 0 into 0 4.602 * [backup-simplify]: Simplify (+ 0 0) into 0 4.609 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (/ -1 x)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 120) into 0 4.613 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0 4.613 * [backup-simplify]: Simplify 0 into 0 4.614 * [backup-simplify]: Simplify (+ 0 0) into 0 4.627 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (/ -1 x)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 720) into 0 4.633 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0 4.633 * [backup-simplify]: Simplify 0 into 0 4.633 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1) 4.633 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1) 4.633 * [backup-simplify]: Simplify (log1p (exp x)) into (log1p (exp x)) 4.633 * [approximate]: Taking taylor expansion of (log1p (exp x)) in (x) around 0 4.633 * [taylor]: Taking taylor expansion of (log1p (exp x)) in x 4.634 * [taylor]: Rewrote expression to (log (+ 1 (exp x))) 4.634 * [taylor]: Taking taylor expansion of (+ 1 (exp x)) in x 4.634 * [taylor]: Taking taylor expansion of 1 in x 4.634 * [backup-simplify]: Simplify 1 into 1 4.634 * [taylor]: Taking taylor expansion of (exp x) in x 4.634 * [taylor]: Taking taylor expansion of x in x 4.634 * [backup-simplify]: Simplify 0 into 0 4.634 * [backup-simplify]: Simplify 1 into 1 4.634 * [backup-simplify]: Simplify (exp 0) into 1 4.634 * [backup-simplify]: Simplify (+ 1 1) into 2 4.635 * [backup-simplify]: Simplify (log 2) into (log 2) 4.635 * [taylor]: Taking taylor expansion of (log1p (exp x)) in x 4.635 * [taylor]: Rewrote expression to (log (+ 1 (exp x))) 4.635 * [taylor]: Taking taylor expansion of (+ 1 (exp x)) in x 4.635 * [taylor]: Taking taylor expansion of 1 in x 4.635 * [backup-simplify]: Simplify 1 into 1 4.635 * [taylor]: Taking taylor expansion of (exp x) in x 4.635 * [taylor]: Taking taylor expansion of x in x 4.635 * [backup-simplify]: Simplify 0 into 0 4.635 * [backup-simplify]: Simplify 1 into 1 4.635 * [backup-simplify]: Simplify (exp 0) into 1 4.636 * [backup-simplify]: Simplify (+ 1 1) into 2 4.636 * [backup-simplify]: Simplify (log 2) into (log 2) 4.637 * [backup-simplify]: Simplify (log 2) into (log 2) 4.638 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 4.638 * [backup-simplify]: Simplify (+ 0 1) into 1 4.640 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 2 1)))) 1) into 1/2 4.640 * [backup-simplify]: Simplify 1/2 into 1/2 4.641 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 4.642 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2 4.645 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 2 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 2 1)))) 2) into 1/8 4.645 * [backup-simplify]: Simplify 1/8 into 1/8 4.646 * [backup-simplify]: Simplify (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) (log 2))) into (+ (log 2) (+ (* 1/2 x) (* 1/8 (pow x 2)))) 4.646 * [backup-simplify]: Simplify (log1p (exp (/ 1 x))) into (log1p (exp (/ 1 x))) 4.646 * [approximate]: Taking taylor expansion of (log1p (exp (/ 1 x))) in (x) around 0 4.646 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 x))) in x 4.646 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 x)))) 4.646 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 x))) in x 4.646 * [taylor]: Taking taylor expansion of 1 in x 4.646 * [backup-simplify]: Simplify 1 into 1 4.646 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.646 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.646 * [taylor]: Taking taylor expansion of x in x 4.646 * [backup-simplify]: Simplify 0 into 0 4.646 * [backup-simplify]: Simplify 1 into 1 4.646 * [backup-simplify]: Simplify (/ 1 1) into 1 4.647 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.647 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1) 4.647 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1)) 4.647 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 x))) in x 4.647 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 x)))) 4.647 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 x))) in x 4.647 * [taylor]: Taking taylor expansion of 1 in x 4.647 * [backup-simplify]: Simplify 1 into 1 4.647 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.647 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.647 * [taylor]: Taking taylor expansion of x in x 4.647 * [backup-simplify]: Simplify 0 into 0 4.647 * [backup-simplify]: Simplify 1 into 1 4.647 * [backup-simplify]: Simplify (/ 1 1) into 1 4.648 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 4.648 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1) 4.648 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1)) 4.648 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1)) 4.648 * [backup-simplify]: Simplify (+ 0 0) into 0 4.649 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 1) into 0 4.649 * [backup-simplify]: Simplify 0 into 0 4.650 * [backup-simplify]: Simplify (+ 0 0) into 0 4.652 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 2) into 0 4.652 * [backup-simplify]: Simplify 0 into 0 4.652 * [backup-simplify]: Simplify (+ 0 0) into 0 4.655 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 6) into 0 4.655 * [backup-simplify]: Simplify 0 into 0 4.656 * [backup-simplify]: Simplify (+ 0 0) into 0 4.660 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 24) into 0 4.661 * [backup-simplify]: Simplify 0 into 0 4.661 * [backup-simplify]: Simplify (+ 0 0) into 0 4.670 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (/ 1 x)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 120) into 0 4.670 * [backup-simplify]: Simplify 0 into 0 4.671 * [backup-simplify]: Simplify (+ 0 0) into 0 4.682 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (/ 1 x)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 720) into 0 4.682 * [backup-simplify]: Simplify 0 into 0 4.682 * [backup-simplify]: Simplify (log (+ (exp (/ 1 (/ 1 x))) 1)) into (log (+ (exp x) 1)) 4.682 * [backup-simplify]: Simplify (log1p (exp (/ 1 (- x)))) into (log1p (exp (/ -1 x))) 4.682 * [approximate]: Taking taylor expansion of (log1p (exp (/ -1 x))) in (x) around 0 4.682 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 x))) in x 4.683 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 x)))) 4.683 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 x))) in x 4.683 * [taylor]: Taking taylor expansion of 1 in x 4.683 * [backup-simplify]: Simplify 1 into 1 4.683 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.683 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.683 * [taylor]: Taking taylor expansion of -1 in x 4.683 * [backup-simplify]: Simplify -1 into -1 4.683 * [taylor]: Taking taylor expansion of x in x 4.683 * [backup-simplify]: Simplify 0 into 0 4.683 * [backup-simplify]: Simplify 1 into 1 4.683 * [backup-simplify]: Simplify (/ -1 1) into -1 4.683 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.683 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1) 4.683 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1)) 4.683 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 x))) in x 4.683 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 x)))) 4.683 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 x))) in x 4.683 * [taylor]: Taking taylor expansion of 1 in x 4.683 * [backup-simplify]: Simplify 1 into 1 4.683 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.683 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.683 * [taylor]: Taking taylor expansion of -1 in x 4.683 * [backup-simplify]: Simplify -1 into -1 4.683 * [taylor]: Taking taylor expansion of x in x 4.683 * [backup-simplify]: Simplify 0 into 0 4.683 * [backup-simplify]: Simplify 1 into 1 4.684 * [backup-simplify]: Simplify (/ -1 1) into -1 4.684 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 4.684 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1) 4.684 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1)) 4.684 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1)) 4.684 * [backup-simplify]: Simplify (+ 0 0) into 0 4.685 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 1) into 0 4.685 * [backup-simplify]: Simplify 0 into 0 4.685 * [backup-simplify]: Simplify (+ 0 0) into 0 4.686 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 2) into 0 4.686 * [backup-simplify]: Simplify 0 into 0 4.686 * [backup-simplify]: Simplify (+ 0 0) into 0 4.688 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 6) into 0 4.688 * [backup-simplify]: Simplify 0 into 0 4.688 * [backup-simplify]: Simplify (+ 0 0) into 0 4.691 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 24) into 0 4.691 * [backup-simplify]: Simplify 0 into 0 4.692 * [backup-simplify]: Simplify (+ 0 0) into 0 4.696 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (/ -1 x)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 120) into 0 4.696 * [backup-simplify]: Simplify 0 into 0 4.696 * [backup-simplify]: Simplify (+ 0 0) into 0 4.703 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (/ -1 x)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 720) into 0 4.703 * [backup-simplify]: Simplify 0 into 0 4.703 * [backup-simplify]: Simplify (log (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (log (+ (exp x) 1)) 4.704 * * * [progress]: simplifying candidates 4.704 * * * * [progress]: [ 1 / 55 ] simplifiying candidate # 4.704 * * * * [progress]: [ 2 / 55 ] simplifiying candidate # 4.704 * * * * [progress]: [ 3 / 55 ] simplifiying candidate # 4.704 * * * * [progress]: [ 4 / 55 ] simplifiying candidate # 4.704 * * * * [progress]: [ 5 / 55 ] simplifiying candidate # 4.704 * * * * [progress]: [ 6 / 55 ] simplifiying candidate # 4.704 * * * * [progress]: [ 7 / 55 ] simplifiying candidate # 4.704 * * * * [progress]: [ 8 / 55 ] simplifiying candidate # 4.704 * * * * [progress]: [ 9 / 55 ] simplifiying candidate # 4.704 * * * * [progress]: [ 10 / 55 ] simplifiying candidate # 4.704 * * * * [progress]: [ 11 / 55 ] simplifiying candidate # 4.704 * * * * [progress]: [ 12 / 55 ] simplifiying candidate # 4.704 * * * * [progress]: [ 13 / 55 ] simplifiying candidate # 4.704 * * * * [progress]: [ 14 / 55 ] simplifiying candidate # 4.704 * * * * [progress]: [ 15 / 55 ] simplifiying candidate # 4.704 * * * * [progress]: [ 16 / 55 ] simplifiying candidate # 4.704 * * * * [progress]: [ 17 / 55 ] simplifiying candidate # 4.704 * * * * [progress]: [ 18 / 55 ] simplifiying candidate # 4.704 * * * * [progress]: [ 19 / 55 ] simplifiying candidate #real (real->posit16 (sqrt (exp (log1p (exp x)))))))> 4.704 * * * * [progress]: [ 20 / 55 ] simplifiying candidate # 4.704 * * * * [progress]: [ 21 / 55 ] simplifiying candidate # 4.704 * * * * [progress]: [ 22 / 55 ] simplifiying candidate # 4.704 * * * * [progress]: [ 23 / 55 ] simplifiying candidate # 4.704 * * * * [progress]: [ 24 / 55 ] simplifiying candidate # 4.704 * * * * [progress]: [ 25 / 55 ] simplifiying candidate # 4.704 * * * * [progress]: [ 26 / 55 ] simplifiying candidate # 4.704 * * * * [progress]: [ 27 / 55 ] simplifiying candidate # 4.705 * * * * [progress]: [ 28 / 55 ] simplifiying candidate # 4.705 * * * * [progress]: [ 29 / 55 ] simplifiying candidate # 4.705 * * * * [progress]: [ 30 / 55 ] simplifiying candidate # 4.705 * * * * [progress]: [ 31 / 55 ] simplifiying candidate # 4.705 * * * * [progress]: [ 32 / 55 ] simplifiying candidate # 4.705 * * * * [progress]: [ 33 / 55 ] simplifiying candidate # 4.705 * * * * [progress]: [ 34 / 55 ] simplifiying candidate #real (real->posit16 (exp (log1p (exp x)))))))> 4.705 * * * * [progress]: [ 35 / 55 ] simplifiying candidate # 4.705 * * * * [progress]: [ 36 / 55 ] simplifiying candidate # 4.705 * * * * [progress]: [ 37 / 55 ] simplifiying candidate # 4.705 * * * * [progress]: [ 38 / 55 ] simplifiying candidate # 4.705 * * * * [progress]: [ 39 / 55 ] simplifiying candidate # 4.705 * * * * [progress]: [ 40 / 55 ] simplifiying candidate # 4.705 * * * * [progress]: [ 41 / 55 ] simplifiying candidate # 4.705 * * * * [progress]: [ 42 / 55 ] simplifiying candidate # 4.705 * * * * [progress]: [ 43 / 55 ] simplifiying candidate # 4.705 * * * * [progress]: [ 44 / 55 ] simplifiying candidate # 4.705 * * * * [progress]: [ 45 / 55 ] simplifiying candidate # 4.705 * * * * [progress]: [ 46 / 55 ] simplifiying candidate #real (real->posit16 (log1p (exp x)))))))> 4.705 * * * * [progress]: [ 47 / 55 ] simplifiying candidate # 4.705 * * * * [progress]: [ 48 / 55 ] simplifiying candidate # 4.705 * * * * [progress]: [ 49 / 55 ] simplifiying candidate # 4.705 * * * * [progress]: [ 50 / 55 ] simplifiying candidate # 4.705 * * * * [progress]: [ 51 / 55 ] simplifiying candidate # 4.705 * * * * [progress]: [ 52 / 55 ] simplifiying candidate # 4.705 * * * * [progress]: [ 53 / 55 ] simplifiying candidate # 4.705 * * * * [progress]: [ 54 / 55 ] simplifiying candidate # 4.705 * * * * [progress]: [ 55 / 55 ] simplifiying candidate # 4.706 * [simplify]: Simplifying: (expm1 (sqrt (exp (log1p (exp x))))) (log1p (sqrt (exp (log1p (exp x))))) (log (sqrt (exp (log1p (exp x))))) (exp (sqrt (exp (log1p (exp x))))) (* (cbrt (sqrt (exp (log1p (exp x))))) (cbrt (sqrt (exp (log1p (exp x)))))) (cbrt (sqrt (exp (log1p (exp x))))) (* (* (sqrt (exp (log1p (exp x)))) (sqrt (exp (log1p (exp x))))) (sqrt (exp (log1p (exp x))))) (sqrt (* (cbrt (exp (log1p (exp x)))) (cbrt (exp (log1p (exp x)))))) (sqrt (cbrt (exp (log1p (exp x))))) (sqrt (sqrt (exp (log1p (exp x))))) (sqrt (sqrt (exp (log1p (exp x))))) (sqrt 1) (sqrt (exp (log1p (exp x)))) (/ 1 2) (/ (cbrt (log1p (exp x))) 2) (/ (sqrt (log1p (exp x))) 2) (/ (log1p (exp x)) 2) (sqrt (sqrt (exp (log1p (exp x))))) (sqrt (sqrt (exp (log1p (exp x))))) (real->posit16 (sqrt (exp (log1p (exp x))))) (expm1 (exp (log1p (exp x)))) (log1p (exp (log1p (exp x)))) (exp (* (cbrt (log1p (exp x))) (cbrt (log1p (exp x))))) (exp (sqrt (log1p (exp x)))) (exp 1) (log (exp (log1p (exp x)))) (exp (exp (log1p (exp x)))) (* (cbrt (exp (log1p (exp x)))) (cbrt (exp (log1p (exp x))))) (cbrt (exp (log1p (exp x)))) (* (* (exp (log1p (exp x))) (exp (log1p (exp x)))) (exp (log1p (exp x)))) (sqrt (exp (log1p (exp x)))) (sqrt (exp (log1p (exp x)))) (real->posit16 (exp (log1p (exp x)))) (+ 1 (exp x)) (expm1 (log1p (exp x))) (log1p (log1p (exp x))) (log (log1p (exp x))) (exp (log1p (exp x))) (* (cbrt (log1p (exp x))) (cbrt (log1p (exp x)))) (cbrt (log1p (exp x))) (* (* (log1p (exp x)) (log1p (exp x))) (log1p (exp x))) (sqrt (log1p (exp x))) (sqrt (log1p (exp x))) (real->posit16 (log1p (exp x))) (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))) (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1)) (+ x (+ (* 1/2 (pow x 2)) 2)) (+ (exp x) 1) (+ (exp x) 1) (+ (log 2) (+ (* 1/2 x) (* 1/8 (pow x 2)))) (log (+ (exp x) 1)) (log (+ (exp x) 1)) 4.706 * * [simplify]: iteration 1: (73 enodes) 4.735 * * [simplify]: iteration 2: (132 enodes) 4.786 * * [simplify]: iteration 3: (277 enodes) 4.878 * * [simplify]: iteration 4: (708 enodes) 5.458 * * [simplify]: Extracting #0: cost 41 inf + 0 5.458 * * [simplify]: Extracting #1: cost 125 inf + 3 5.460 * * [simplify]: Extracting #2: cost 373 inf + 827 5.463 * * [simplify]: Extracting #3: cost 392 inf + 6325 5.472 * * [simplify]: Extracting #4: cost 220 inf + 34596 5.498 * * [simplify]: Extracting #5: cost 56 inf + 92250 5.522 * * [simplify]: Extracting #6: cost 5 inf + 113909 5.551 * * [simplify]: Extracting #7: cost 0 inf + 117173 5.571 * [simplify]: Simplified to: (expm1 (sqrt (+ 1 (exp x)))) (log1p (sqrt (+ 1 (exp x)))) (log (sqrt (+ 1 (exp x)))) (exp (sqrt (+ 1 (exp x)))) (* (cbrt (sqrt (+ 1 (exp x)))) (cbrt (sqrt (+ 1 (exp x))))) (cbrt (sqrt (+ 1 (exp x)))) (* (+ 1 (exp x)) (sqrt (+ 1 (exp x)))) (fabs (cbrt (+ 1 (exp x)))) (sqrt (cbrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))) 1 (sqrt (+ 1 (exp x))) 1/2 (/ (cbrt (log1p (exp x))) 2) (/ (sqrt (log1p (exp x))) 2) (/ (log1p (exp x)) 2) (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))) (real->posit16 (sqrt (+ 1 (exp x)))) (expm1 (+ 1 (exp x))) (log1p (+ 1 (exp x))) (exp (* (cbrt (log1p (exp x))) (cbrt (log1p (exp x))))) (exp (sqrt (log1p (exp x)))) E (log1p (exp x)) (* E (exp (exp x))) (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x)))) (cbrt (+ 1 (exp x))) (* (+ 1 (exp x)) (* (+ 1 (exp x)) (+ 1 (exp x)))) (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x))) (real->posit16 (+ 1 (exp x))) (+ 1 (exp x)) (exp x) (log1p (log1p (exp x))) (log (log1p (exp x))) (+ 1 (exp x)) (* (cbrt (log1p (exp x))) (cbrt (log1p (exp x)))) (cbrt (log1p (exp x))) (* (log1p (exp x)) (* (log1p (exp x)) (log1p (exp x)))) (sqrt (log1p (exp x))) (sqrt (log1p (exp x))) (real->posit16 (log1p (exp x))) (+ (sqrt 2) (fma (/ 1/2 (sqrt 2)) x (* (/ (* x x) (sqrt 2)) 3/16))) (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x))) (fma (fma 1/2 x 1) x 2) (+ 1 (exp x)) (+ 1 (exp x)) (fma x (fma x 1/8 1/2) (log 2)) (log1p (exp x)) (log1p (exp x)) 5.574 * * * [progress]: adding candidates to table 6.098 * * [progress]: iteration 3 / 4 6.098 * * * [progress]: picking best candidate 6.102 * * * * [pick]: Picked # 6.102 * * * [progress]: localizing error 6.115 * * * [progress]: generating rewritten candidates 6.115 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 6.119 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 6.122 * * * [progress]: generating series expansions 6.122 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 6.123 * [backup-simplify]: Simplify (/ (expm1 (+ x x)) (expm1 x)) into (/ (expm1 (* 2 x)) (expm1 x)) 6.123 * [approximate]: Taking taylor expansion of (/ (expm1 (* 2 x)) (expm1 x)) in (x) around 0 6.123 * [taylor]: Taking taylor expansion of (/ (expm1 (* 2 x)) (expm1 x)) in x 6.123 * [taylor]: Taking taylor expansion of (expm1 (* 2 x)) in x 6.123 * [taylor]: Rewrote expression to (- (exp (* 2 x)) 1) 6.123 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 6.123 * [taylor]: Taking taylor expansion of (* 2 x) in x 6.123 * [taylor]: Taking taylor expansion of 2 in x 6.123 * [backup-simplify]: Simplify 2 into 2 6.123 * [taylor]: Taking taylor expansion of x in x 6.123 * [backup-simplify]: Simplify 0 into 0 6.123 * [backup-simplify]: Simplify 1 into 1 6.123 * [backup-simplify]: Simplify (* 2 0) into 0 6.124 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 6.124 * [backup-simplify]: Simplify (exp 0) into 1 6.124 * [taylor]: Taking taylor expansion of 1 in x 6.124 * [backup-simplify]: Simplify 1 into 1 6.124 * [taylor]: Taking taylor expansion of (expm1 x) in x 6.124 * [taylor]: Rewrote expression to (- (exp x) 1) 6.124 * [taylor]: Taking taylor expansion of (exp x) in x 6.124 * [taylor]: Taking taylor expansion of x in x 6.124 * [backup-simplify]: Simplify 0 into 0 6.124 * [backup-simplify]: Simplify 1 into 1 6.124 * [backup-simplify]: Simplify (exp 0) into 1 6.124 * [taylor]: Taking taylor expansion of 1 in x 6.124 * [backup-simplify]: Simplify 1 into 1 6.124 * [backup-simplify]: Simplify (- 1) into -1 6.125 * [backup-simplify]: Simplify (+ 1 -1) into 0 6.126 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 2 1) 1)))) into 2 6.127 * [backup-simplify]: Simplify (- 0) into 0 6.127 * [backup-simplify]: Simplify (+ 2 0) into 2 6.127 * [backup-simplify]: Simplify (- 1) into -1 6.128 * [backup-simplify]: Simplify (+ 1 -1) into 0 6.129 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.129 * [backup-simplify]: Simplify (- 0) into 0 6.130 * [backup-simplify]: Simplify (+ 1 0) into 1 6.130 * [backup-simplify]: Simplify (/ 2 1) into 2 6.130 * [taylor]: Taking taylor expansion of (/ (expm1 (* 2 x)) (expm1 x)) in x 6.130 * [taylor]: Taking taylor expansion of (expm1 (* 2 x)) in x 6.130 * [taylor]: Rewrote expression to (- (exp (* 2 x)) 1) 6.130 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 6.130 * [taylor]: Taking taylor expansion of (* 2 x) in x 6.130 * [taylor]: Taking taylor expansion of 2 in x 6.130 * [backup-simplify]: Simplify 2 into 2 6.130 * [taylor]: Taking taylor expansion of x in x 6.130 * [backup-simplify]: Simplify 0 into 0 6.130 * [backup-simplify]: Simplify 1 into 1 6.131 * [backup-simplify]: Simplify (* 2 0) into 0 6.132 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 6.132 * [backup-simplify]: Simplify (exp 0) into 1 6.132 * [taylor]: Taking taylor expansion of 1 in x 6.132 * [backup-simplify]: Simplify 1 into 1 6.132 * [taylor]: Taking taylor expansion of (expm1 x) in x 6.132 * [taylor]: Rewrote expression to (- (exp x) 1) 6.132 * [taylor]: Taking taylor expansion of (exp x) in x 6.132 * [taylor]: Taking taylor expansion of x in x 6.132 * [backup-simplify]: Simplify 0 into 0 6.132 * [backup-simplify]: Simplify 1 into 1 6.132 * [backup-simplify]: Simplify (exp 0) into 1 6.132 * [taylor]: Taking taylor expansion of 1 in x 6.132 * [backup-simplify]: Simplify 1 into 1 6.132 * [backup-simplify]: Simplify (- 1) into -1 6.133 * [backup-simplify]: Simplify (+ 1 -1) into 0 6.134 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 2 1) 1)))) into 2 6.134 * [backup-simplify]: Simplify (- 0) into 0 6.135 * [backup-simplify]: Simplify (+ 2 0) into 2 6.135 * [backup-simplify]: Simplify (- 1) into -1 6.135 * [backup-simplify]: Simplify (+ 1 -1) into 0 6.136 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.137 * [backup-simplify]: Simplify (- 0) into 0 6.137 * [backup-simplify]: Simplify (+ 1 0) into 1 6.137 * [backup-simplify]: Simplify (/ 2 1) into 2 6.137 * [backup-simplify]: Simplify 2 into 2 6.138 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0 6.139 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 2 2) 2)) (* (/ (pow 0 1) 1)))) into 2 6.139 * [backup-simplify]: Simplify (- 0) into 0 6.139 * [backup-simplify]: Simplify (+ 2 0) into 2 6.140 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 6.141 * [backup-simplify]: Simplify (- 0) into 0 6.141 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 6.141 * [backup-simplify]: Simplify (- (/ 2 1) (+ (* 2 (/ 1/2 1)))) into 1 6.141 * [backup-simplify]: Simplify 1 into 1 6.142 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.144 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 2 3) 6)) (* (/ (pow 2 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 4/3 6.144 * [backup-simplify]: Simplify (- 0) into 0 6.144 * [backup-simplify]: Simplify (+ 4/3 0) into 4/3 6.145 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 6.146 * [backup-simplify]: Simplify (- 0) into 0 6.146 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 6.147 * [backup-simplify]: Simplify (- (/ 4/3 1) (+ (* 2 (/ 1/6 1)) (* 1 (/ 1/2 1)))) into 1/2 6.147 * [backup-simplify]: Simplify 1/2 into 1/2 6.147 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ x (+ (* 1/2 (pow x 2)) 2)) 6.147 * [backup-simplify]: Simplify (/ (expm1 (+ (/ 1 x) (/ 1 x))) (expm1 (/ 1 x))) into (/ (expm1 (* 2 (/ 1 x))) (expm1 (/ 1 x))) 6.147 * [approximate]: Taking taylor expansion of (/ (expm1 (* 2 (/ 1 x))) (expm1 (/ 1 x))) in (x) around 0 6.147 * [taylor]: Taking taylor expansion of (/ (expm1 (* 2 (/ 1 x))) (expm1 (/ 1 x))) in x 6.147 * [taylor]: Taking taylor expansion of (expm1 (* 2 (/ 1 x))) in x 6.147 * [taylor]: Rewrote expression to (- (exp (* 2 (/ 1 x))) 1) 6.147 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 6.147 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 6.147 * [taylor]: Taking taylor expansion of 2 in x 6.147 * [backup-simplify]: Simplify 2 into 2 6.147 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.147 * [taylor]: Taking taylor expansion of x in x 6.147 * [backup-simplify]: Simplify 0 into 0 6.147 * [backup-simplify]: Simplify 1 into 1 6.148 * [backup-simplify]: Simplify (/ 1 1) into 1 6.148 * [backup-simplify]: Simplify (* 2 1) into 2 6.148 * [backup-simplify]: Simplify (exp (* 2 (/ 1 x))) into (exp (/ 2 x)) 6.148 * [taylor]: Taking taylor expansion of 1 in x 6.148 * [backup-simplify]: Simplify 1 into 1 6.148 * [taylor]: Taking taylor expansion of (expm1 (/ 1 x)) in x 6.148 * [taylor]: Rewrote expression to (- (exp (/ 1 x)) 1) 6.148 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.148 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.148 * [taylor]: Taking taylor expansion of x in x 6.148 * [backup-simplify]: Simplify 0 into 0 6.148 * [backup-simplify]: Simplify 1 into 1 6.148 * [backup-simplify]: Simplify (/ 1 1) into 1 6.148 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.148 * [taylor]: Taking taylor expansion of 1 in x 6.148 * [backup-simplify]: Simplify 1 into 1 6.149 * [backup-simplify]: Simplify (- 1) into -1 6.149 * [backup-simplify]: Simplify (+ (exp (/ 2 x)) -1) into (- (exp (/ 2 x)) 1) 6.149 * [backup-simplify]: Simplify (- 1) into -1 6.149 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 6.149 * [backup-simplify]: Simplify (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1)) into (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1)) 6.149 * [taylor]: Taking taylor expansion of (/ (expm1 (* 2 (/ 1 x))) (expm1 (/ 1 x))) in x 6.149 * [taylor]: Taking taylor expansion of (expm1 (* 2 (/ 1 x))) in x 6.149 * [taylor]: Rewrote expression to (- (exp (* 2 (/ 1 x))) 1) 6.149 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 6.149 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 6.149 * [taylor]: Taking taylor expansion of 2 in x 6.149 * [backup-simplify]: Simplify 2 into 2 6.149 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.149 * [taylor]: Taking taylor expansion of x in x 6.149 * [backup-simplify]: Simplify 0 into 0 6.149 * [backup-simplify]: Simplify 1 into 1 6.149 * [backup-simplify]: Simplify (/ 1 1) into 1 6.150 * [backup-simplify]: Simplify (* 2 1) into 2 6.150 * [backup-simplify]: Simplify (exp (* 2 (/ 1 x))) into (exp (/ 2 x)) 6.150 * [taylor]: Taking taylor expansion of 1 in x 6.150 * [backup-simplify]: Simplify 1 into 1 6.150 * [taylor]: Taking taylor expansion of (expm1 (/ 1 x)) in x 6.150 * [taylor]: Rewrote expression to (- (exp (/ 1 x)) 1) 6.150 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.150 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.150 * [taylor]: Taking taylor expansion of x in x 6.150 * [backup-simplify]: Simplify 0 into 0 6.150 * [backup-simplify]: Simplify 1 into 1 6.150 * [backup-simplify]: Simplify (/ 1 1) into 1 6.150 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.150 * [taylor]: Taking taylor expansion of 1 in x 6.150 * [backup-simplify]: Simplify 1 into 1 6.151 * [backup-simplify]: Simplify (- 1) into -1 6.151 * [backup-simplify]: Simplify (+ (exp (/ 2 x)) -1) into (- (exp (/ 2 x)) 1) 6.151 * [backup-simplify]: Simplify (- 1) into -1 6.151 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 6.151 * [backup-simplify]: Simplify (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1)) into (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1)) 6.151 * [backup-simplify]: Simplify (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1)) into (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1)) 6.151 * [backup-simplify]: Simplify (- 0) into 0 6.152 * [backup-simplify]: Simplify (+ 0 0) into 0 6.152 * [backup-simplify]: Simplify (- 0) into 0 6.152 * [backup-simplify]: Simplify (+ 0 0) into 0 6.152 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))))) into 0 6.152 * [backup-simplify]: Simplify 0 into 0 6.153 * [backup-simplify]: Simplify (- 0) into 0 6.153 * [backup-simplify]: Simplify (+ 0 0) into 0 6.153 * [backup-simplify]: Simplify (- 0) into 0 6.153 * [backup-simplify]: Simplify (+ 0 0) into 0 6.154 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0 6.154 * [backup-simplify]: Simplify 0 into 0 6.154 * [backup-simplify]: Simplify (- 0) into 0 6.154 * [backup-simplify]: Simplify (+ 0 0) into 0 6.154 * [backup-simplify]: Simplify (- 0) into 0 6.155 * [backup-simplify]: Simplify (+ 0 0) into 0 6.155 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0 6.155 * [backup-simplify]: Simplify 0 into 0 6.155 * [backup-simplify]: Simplify (- 0) into 0 6.155 * [backup-simplify]: Simplify (+ 0 0) into 0 6.156 * [backup-simplify]: Simplify (- 0) into 0 6.156 * [backup-simplify]: Simplify (+ 0 0) into 0 6.156 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0 6.156 * [backup-simplify]: Simplify 0 into 0 6.157 * [backup-simplify]: Simplify (- 0) into 0 6.157 * [backup-simplify]: Simplify (+ 0 0) into 0 6.157 * [backup-simplify]: Simplify (- 0) into 0 6.157 * [backup-simplify]: Simplify (+ 0 0) into 0 6.158 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0 6.158 * [backup-simplify]: Simplify 0 into 0 6.158 * [backup-simplify]: Simplify (- 0) into 0 6.158 * [backup-simplify]: Simplify (+ 0 0) into 0 6.158 * [backup-simplify]: Simplify (- 0) into 0 6.159 * [backup-simplify]: Simplify (+ 0 0) into 0 6.159 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0 6.159 * [backup-simplify]: Simplify 0 into 0 6.159 * [backup-simplify]: Simplify (/ (- (exp (/ 2 (/ 1 x))) 1) (- (exp (/ 1 (/ 1 x))) 1)) into (/ (- (exp (* 2 x)) 1) (- (exp x) 1)) 6.159 * [backup-simplify]: Simplify (/ (expm1 (+ (/ 1 (- x)) (/ 1 (- x)))) (expm1 (/ 1 (- x)))) into (/ (expm1 (- (* 2 (/ 1 x)))) (expm1 (/ -1 x))) 6.159 * [approximate]: Taking taylor expansion of (/ (expm1 (- (* 2 (/ 1 x)))) (expm1 (/ -1 x))) in (x) around 0 6.159 * [taylor]: Taking taylor expansion of (/ (expm1 (- (* 2 (/ 1 x)))) (expm1 (/ -1 x))) in x 6.159 * [taylor]: Taking taylor expansion of (expm1 (- (* 2 (/ 1 x)))) in x 6.159 * [taylor]: Rewrote expression to (- (exp (- (* 2 (/ 1 x)))) 1) 6.159 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 6.159 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 6.159 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 6.160 * [taylor]: Taking taylor expansion of 2 in x 6.160 * [backup-simplify]: Simplify 2 into 2 6.160 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.160 * [taylor]: Taking taylor expansion of x in x 6.160 * [backup-simplify]: Simplify 0 into 0 6.160 * [backup-simplify]: Simplify 1 into 1 6.160 * [backup-simplify]: Simplify (/ 1 1) into 1 6.160 * [backup-simplify]: Simplify (* 2 1) into 2 6.160 * [backup-simplify]: Simplify (- 2) into -2 6.160 * [backup-simplify]: Simplify (exp (- (* 2 (/ 1 x)))) into (exp (- (* 2 (/ 1 x)))) 6.160 * [taylor]: Taking taylor expansion of 1 in x 6.160 * [backup-simplify]: Simplify 1 into 1 6.160 * [taylor]: Taking taylor expansion of (expm1 (/ -1 x)) in x 6.161 * [taylor]: Rewrote expression to (- (exp (/ -1 x)) 1) 6.161 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.161 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.161 * [taylor]: Taking taylor expansion of -1 in x 6.161 * [backup-simplify]: Simplify -1 into -1 6.161 * [taylor]: Taking taylor expansion of x in x 6.161 * [backup-simplify]: Simplify 0 into 0 6.161 * [backup-simplify]: Simplify 1 into 1 6.161 * [backup-simplify]: Simplify (/ -1 1) into -1 6.161 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.161 * [taylor]: Taking taylor expansion of 1 in x 6.161 * [backup-simplify]: Simplify 1 into 1 6.161 * [backup-simplify]: Simplify (- 1) into -1 6.161 * [backup-simplify]: Simplify (+ (exp (- (* 2 (/ 1 x)))) -1) into (- (exp (- (* 2 (/ 1 x)))) 1) 6.161 * [backup-simplify]: Simplify (- 1) into -1 6.162 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 6.162 * [backup-simplify]: Simplify (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1)) into (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1)) 6.162 * [taylor]: Taking taylor expansion of (/ (expm1 (- (* 2 (/ 1 x)))) (expm1 (/ -1 x))) in x 6.162 * [taylor]: Taking taylor expansion of (expm1 (- (* 2 (/ 1 x)))) in x 6.162 * [taylor]: Rewrote expression to (- (exp (- (* 2 (/ 1 x)))) 1) 6.162 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 6.162 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 6.162 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 6.162 * [taylor]: Taking taylor expansion of 2 in x 6.162 * [backup-simplify]: Simplify 2 into 2 6.162 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.162 * [taylor]: Taking taylor expansion of x in x 6.162 * [backup-simplify]: Simplify 0 into 0 6.162 * [backup-simplify]: Simplify 1 into 1 6.162 * [backup-simplify]: Simplify (/ 1 1) into 1 6.162 * [backup-simplify]: Simplify (* 2 1) into 2 6.163 * [backup-simplify]: Simplify (- 2) into -2 6.163 * [backup-simplify]: Simplify (exp (- (* 2 (/ 1 x)))) into (exp (- (* 2 (/ 1 x)))) 6.163 * [taylor]: Taking taylor expansion of 1 in x 6.163 * [backup-simplify]: Simplify 1 into 1 6.163 * [taylor]: Taking taylor expansion of (expm1 (/ -1 x)) in x 6.163 * [taylor]: Rewrote expression to (- (exp (/ -1 x)) 1) 6.163 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.163 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.163 * [taylor]: Taking taylor expansion of -1 in x 6.163 * [backup-simplify]: Simplify -1 into -1 6.163 * [taylor]: Taking taylor expansion of x in x 6.163 * [backup-simplify]: Simplify 0 into 0 6.163 * [backup-simplify]: Simplify 1 into 1 6.163 * [backup-simplify]: Simplify (/ -1 1) into -1 6.163 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.163 * [taylor]: Taking taylor expansion of 1 in x 6.163 * [backup-simplify]: Simplify 1 into 1 6.163 * [backup-simplify]: Simplify (- 1) into -1 6.164 * [backup-simplify]: Simplify (+ (exp (- (* 2 (/ 1 x)))) -1) into (- (exp (- (* 2 (/ 1 x)))) 1) 6.164 * [backup-simplify]: Simplify (- 1) into -1 6.164 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 6.164 * [backup-simplify]: Simplify (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1)) into (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1)) 6.164 * [backup-simplify]: Simplify (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1)) into (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1)) 6.164 * [backup-simplify]: Simplify (- 0) into 0 6.165 * [backup-simplify]: Simplify (+ 0 0) into 0 6.165 * [backup-simplify]: Simplify (- 0) into 0 6.165 * [backup-simplify]: Simplify (+ 0 0) into 0 6.165 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))))) into 0 6.165 * [backup-simplify]: Simplify 0 into 0 6.166 * [backup-simplify]: Simplify (- 0) into 0 6.166 * [backup-simplify]: Simplify (+ 0 0) into 0 6.166 * [backup-simplify]: Simplify (- 0) into 0 6.166 * [backup-simplify]: Simplify (+ 0 0) into 0 6.167 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0 6.167 * [backup-simplify]: Simplify 0 into 0 6.167 * [backup-simplify]: Simplify (- 0) into 0 6.167 * [backup-simplify]: Simplify (+ 0 0) into 0 6.167 * [backup-simplify]: Simplify (- 0) into 0 6.168 * [backup-simplify]: Simplify (+ 0 0) into 0 6.168 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0 6.168 * [backup-simplify]: Simplify 0 into 0 6.168 * [backup-simplify]: Simplify (- 0) into 0 6.168 * [backup-simplify]: Simplify (+ 0 0) into 0 6.169 * [backup-simplify]: Simplify (- 0) into 0 6.169 * [backup-simplify]: Simplify (+ 0 0) into 0 6.170 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0 6.170 * [backup-simplify]: Simplify 0 into 0 6.170 * [backup-simplify]: Simplify (- 0) into 0 6.170 * [backup-simplify]: Simplify (+ 0 0) into 0 6.171 * [backup-simplify]: Simplify (- 0) into 0 6.171 * [backup-simplify]: Simplify (+ 0 0) into 0 6.172 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0 6.172 * [backup-simplify]: Simplify 0 into 0 6.172 * [backup-simplify]: Simplify (- 0) into 0 6.172 * [backup-simplify]: Simplify (+ 0 0) into 0 6.173 * [backup-simplify]: Simplify (- 0) into 0 6.173 * [backup-simplify]: Simplify (+ 0 0) into 0 6.174 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0 6.174 * [backup-simplify]: Simplify 0 into 0 6.174 * [backup-simplify]: Simplify (/ (- (exp (- (* 2 (/ 1 (/ 1 (- x)))))) 1) (- (exp (/ -1 (/ 1 (- x)))) 1)) into (/ (- (exp (* 2 x)) 1) (- (exp x) 1)) 6.174 * * * * [progress]: [ 2 / 2 ] generating series at (2) 6.174 * [backup-simplify]: Simplify (sqrt (/ (expm1 (+ x x)) (expm1 x))) into (sqrt (/ (expm1 (* 2 x)) (expm1 x))) 6.174 * [approximate]: Taking taylor expansion of (sqrt (/ (expm1 (* 2 x)) (expm1 x))) in (x) around 0 6.174 * [taylor]: Taking taylor expansion of (sqrt (/ (expm1 (* 2 x)) (expm1 x))) in x 6.174 * [taylor]: Taking taylor expansion of (/ (expm1 (* 2 x)) (expm1 x)) in x 6.174 * [taylor]: Taking taylor expansion of (expm1 (* 2 x)) in x 6.174 * [taylor]: Rewrote expression to (- (exp (* 2 x)) 1) 6.174 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 6.174 * [taylor]: Taking taylor expansion of (* 2 x) in x 6.174 * [taylor]: Taking taylor expansion of 2 in x 6.174 * [backup-simplify]: Simplify 2 into 2 6.174 * [taylor]: Taking taylor expansion of x in x 6.174 * [backup-simplify]: Simplify 0 into 0 6.174 * [backup-simplify]: Simplify 1 into 1 6.175 * [backup-simplify]: Simplify (* 2 0) into 0 6.175 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 6.175 * [backup-simplify]: Simplify (exp 0) into 1 6.175 * [taylor]: Taking taylor expansion of 1 in x 6.175 * [backup-simplify]: Simplify 1 into 1 6.175 * [taylor]: Taking taylor expansion of (expm1 x) in x 6.176 * [taylor]: Rewrote expression to (- (exp x) 1) 6.176 * [taylor]: Taking taylor expansion of (exp x) in x 6.176 * [taylor]: Taking taylor expansion of x in x 6.176 * [backup-simplify]: Simplify 0 into 0 6.176 * [backup-simplify]: Simplify 1 into 1 6.176 * [backup-simplify]: Simplify (exp 0) into 1 6.176 * [taylor]: Taking taylor expansion of 1 in x 6.176 * [backup-simplify]: Simplify 1 into 1 6.176 * [backup-simplify]: Simplify (- 1) into -1 6.176 * [backup-simplify]: Simplify (+ 1 -1) into 0 6.177 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 2 1) 1)))) into 2 6.178 * [backup-simplify]: Simplify (- 0) into 0 6.178 * [backup-simplify]: Simplify (+ 2 0) into 2 6.178 * [backup-simplify]: Simplify (- 1) into -1 6.179 * [backup-simplify]: Simplify (+ 1 -1) into 0 6.180 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.180 * [backup-simplify]: Simplify (- 0) into 0 6.181 * [backup-simplify]: Simplify (+ 1 0) into 1 6.181 * [backup-simplify]: Simplify (/ 2 1) into 2 6.181 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2) 6.182 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0 6.184 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 2 2) 2)) (* (/ (pow 0 1) 1)))) into 2 6.184 * [backup-simplify]: Simplify (- 0) into 0 6.185 * [backup-simplify]: Simplify (+ 2 0) into 2 6.186 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 6.187 * [backup-simplify]: Simplify (- 0) into 0 6.187 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 6.188 * [backup-simplify]: Simplify (- (/ 2 1) (+ (* 2 (/ 1/2 1)))) into 1 6.189 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 6.190 * [taylor]: Taking taylor expansion of (sqrt (/ (expm1 (* 2 x)) (expm1 x))) in x 6.190 * [taylor]: Taking taylor expansion of (/ (expm1 (* 2 x)) (expm1 x)) in x 6.190 * [taylor]: Taking taylor expansion of (expm1 (* 2 x)) in x 6.190 * [taylor]: Rewrote expression to (- (exp (* 2 x)) 1) 6.190 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 6.190 * [taylor]: Taking taylor expansion of (* 2 x) in x 6.190 * [taylor]: Taking taylor expansion of 2 in x 6.190 * [backup-simplify]: Simplify 2 into 2 6.190 * [taylor]: Taking taylor expansion of x in x 6.190 * [backup-simplify]: Simplify 0 into 0 6.190 * [backup-simplify]: Simplify 1 into 1 6.190 * [backup-simplify]: Simplify (* 2 0) into 0 6.191 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 6.191 * [backup-simplify]: Simplify (exp 0) into 1 6.191 * [taylor]: Taking taylor expansion of 1 in x 6.191 * [backup-simplify]: Simplify 1 into 1 6.191 * [taylor]: Taking taylor expansion of (expm1 x) in x 6.191 * [taylor]: Rewrote expression to (- (exp x) 1) 6.191 * [taylor]: Taking taylor expansion of (exp x) in x 6.191 * [taylor]: Taking taylor expansion of x in x 6.191 * [backup-simplify]: Simplify 0 into 0 6.191 * [backup-simplify]: Simplify 1 into 1 6.191 * [backup-simplify]: Simplify (exp 0) into 1 6.191 * [taylor]: Taking taylor expansion of 1 in x 6.191 * [backup-simplify]: Simplify 1 into 1 6.192 * [backup-simplify]: Simplify (- 1) into -1 6.192 * [backup-simplify]: Simplify (+ 1 -1) into 0 6.193 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 2 1) 1)))) into 2 6.193 * [backup-simplify]: Simplify (- 0) into 0 6.194 * [backup-simplify]: Simplify (+ 2 0) into 2 6.194 * [backup-simplify]: Simplify (- 1) into -1 6.195 * [backup-simplify]: Simplify (+ 1 -1) into 0 6.196 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 6.196 * [backup-simplify]: Simplify (- 0) into 0 6.196 * [backup-simplify]: Simplify (+ 1 0) into 1 6.197 * [backup-simplify]: Simplify (/ 2 1) into 2 6.197 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2) 6.201 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0 6.202 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 2 2) 2)) (* (/ (pow 0 1) 1)))) into 2 6.202 * [backup-simplify]: Simplify (- 0) into 0 6.203 * [backup-simplify]: Simplify (+ 2 0) into 2 6.204 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 6.204 * [backup-simplify]: Simplify (- 0) into 0 6.204 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 6.205 * [backup-simplify]: Simplify (- (/ 2 1) (+ (* 2 (/ 1/2 1)))) into 1 6.206 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 6.206 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2) 6.207 * [backup-simplify]: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2)) 6.207 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.209 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 2 3) 6)) (* (/ (pow 2 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 4/3 6.209 * [backup-simplify]: Simplify (- 0) into 0 6.209 * [backup-simplify]: Simplify (+ 4/3 0) into 4/3 6.211 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 6.211 * [backup-simplify]: Simplify (- 0) into 0 6.211 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6 6.212 * [backup-simplify]: Simplify (- (/ 4/3 1) (+ (* 2 (/ 1/6 1)) (* 1 (/ 1/2 1)))) into 1/2 6.215 * [backup-simplify]: Simplify (/ (- 1/2 (pow (/ 1/2 (sqrt 2)) 2) (+)) (* 2 (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) 6.219 * [backup-simplify]: Simplify (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) 6.224 * [backup-simplify]: Simplify (+ (* (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) (pow x 2)) (+ (* (/ 1/2 (sqrt 2)) x) (sqrt 2))) into (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))) 6.224 * [backup-simplify]: Simplify (sqrt (/ (expm1 (+ (/ 1 x) (/ 1 x))) (expm1 (/ 1 x)))) into (sqrt (/ (expm1 (* 2 (/ 1 x))) (expm1 (/ 1 x)))) 6.224 * [approximate]: Taking taylor expansion of (sqrt (/ (expm1 (* 2 (/ 1 x))) (expm1 (/ 1 x)))) in (x) around 0 6.224 * [taylor]: Taking taylor expansion of (sqrt (/ (expm1 (* 2 (/ 1 x))) (expm1 (/ 1 x)))) in x 6.224 * [taylor]: Taking taylor expansion of (/ (expm1 (* 2 (/ 1 x))) (expm1 (/ 1 x))) in x 6.224 * [taylor]: Taking taylor expansion of (expm1 (* 2 (/ 1 x))) in x 6.224 * [taylor]: Rewrote expression to (- (exp (* 2 (/ 1 x))) 1) 6.225 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 6.225 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 6.225 * [taylor]: Taking taylor expansion of 2 in x 6.225 * [backup-simplify]: Simplify 2 into 2 6.225 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.225 * [taylor]: Taking taylor expansion of x in x 6.225 * [backup-simplify]: Simplify 0 into 0 6.225 * [backup-simplify]: Simplify 1 into 1 6.225 * [backup-simplify]: Simplify (/ 1 1) into 1 6.225 * [backup-simplify]: Simplify (* 2 1) into 2 6.225 * [backup-simplify]: Simplify (exp (* 2 (/ 1 x))) into (exp (/ 2 x)) 6.225 * [taylor]: Taking taylor expansion of 1 in x 6.225 * [backup-simplify]: Simplify 1 into 1 6.225 * [taylor]: Taking taylor expansion of (expm1 (/ 1 x)) in x 6.225 * [taylor]: Rewrote expression to (- (exp (/ 1 x)) 1) 6.225 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.225 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.225 * [taylor]: Taking taylor expansion of x in x 6.225 * [backup-simplify]: Simplify 0 into 0 6.225 * [backup-simplify]: Simplify 1 into 1 6.226 * [backup-simplify]: Simplify (/ 1 1) into 1 6.226 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.226 * [taylor]: Taking taylor expansion of 1 in x 6.226 * [backup-simplify]: Simplify 1 into 1 6.226 * [backup-simplify]: Simplify (- 1) into -1 6.226 * [backup-simplify]: Simplify (+ (exp (/ 2 x)) -1) into (- (exp (/ 2 x)) 1) 6.226 * [backup-simplify]: Simplify (- 1) into -1 6.226 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 6.226 * [backup-simplify]: Simplify (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1)) into (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1)) 6.227 * [backup-simplify]: Simplify (sqrt (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1))) into (sqrt (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1))) 6.227 * [backup-simplify]: Simplify (- 0) into 0 6.227 * [backup-simplify]: Simplify (+ 0 0) into 0 6.227 * [backup-simplify]: Simplify (- 0) into 0 6.228 * [backup-simplify]: Simplify (+ 0 0) into 0 6.228 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))))) into 0 6.228 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1))))) into 0 6.228 * [taylor]: Taking taylor expansion of (sqrt (/ (expm1 (* 2 (/ 1 x))) (expm1 (/ 1 x)))) in x 6.228 * [taylor]: Taking taylor expansion of (/ (expm1 (* 2 (/ 1 x))) (expm1 (/ 1 x))) in x 6.228 * [taylor]: Taking taylor expansion of (expm1 (* 2 (/ 1 x))) in x 6.228 * [taylor]: Rewrote expression to (- (exp (* 2 (/ 1 x))) 1) 6.228 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 6.228 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 6.228 * [taylor]: Taking taylor expansion of 2 in x 6.228 * [backup-simplify]: Simplify 2 into 2 6.228 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.228 * [taylor]: Taking taylor expansion of x in x 6.228 * [backup-simplify]: Simplify 0 into 0 6.228 * [backup-simplify]: Simplify 1 into 1 6.228 * [backup-simplify]: Simplify (/ 1 1) into 1 6.229 * [backup-simplify]: Simplify (* 2 1) into 2 6.229 * [backup-simplify]: Simplify (exp (* 2 (/ 1 x))) into (exp (/ 2 x)) 6.229 * [taylor]: Taking taylor expansion of 1 in x 6.229 * [backup-simplify]: Simplify 1 into 1 6.229 * [taylor]: Taking taylor expansion of (expm1 (/ 1 x)) in x 6.229 * [taylor]: Rewrote expression to (- (exp (/ 1 x)) 1) 6.229 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.229 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.229 * [taylor]: Taking taylor expansion of x in x 6.229 * [backup-simplify]: Simplify 0 into 0 6.229 * [backup-simplify]: Simplify 1 into 1 6.229 * [backup-simplify]: Simplify (/ 1 1) into 1 6.229 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 6.229 * [taylor]: Taking taylor expansion of 1 in x 6.229 * [backup-simplify]: Simplify 1 into 1 6.230 * [backup-simplify]: Simplify (- 1) into -1 6.230 * [backup-simplify]: Simplify (+ (exp (/ 2 x)) -1) into (- (exp (/ 2 x)) 1) 6.230 * [backup-simplify]: Simplify (- 1) into -1 6.230 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1) 6.230 * [backup-simplify]: Simplify (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1)) into (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1)) 6.230 * [backup-simplify]: Simplify (sqrt (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1))) into (sqrt (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1))) 6.230 * [backup-simplify]: Simplify (- 0) into 0 6.231 * [backup-simplify]: Simplify (+ 0 0) into 0 6.231 * [backup-simplify]: Simplify (- 0) into 0 6.231 * [backup-simplify]: Simplify (+ 0 0) into 0 6.231 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))))) into 0 6.231 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1))))) into 0 6.232 * [backup-simplify]: Simplify (sqrt (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1))) into (sqrt (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1))) 6.232 * [backup-simplify]: Simplify 0 into 0 6.232 * [backup-simplify]: Simplify (- 0) into 0 6.232 * [backup-simplify]: Simplify (+ 0 0) into 0 6.232 * [backup-simplify]: Simplify (- 0) into 0 6.233 * [backup-simplify]: Simplify (+ 0 0) into 0 6.233 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0 6.233 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1))))) into 0 6.233 * [backup-simplify]: Simplify 0 into 0 6.234 * [backup-simplify]: Simplify (- 0) into 0 6.234 * [backup-simplify]: Simplify (+ 0 0) into 0 6.234 * [backup-simplify]: Simplify (- 0) into 0 6.234 * [backup-simplify]: Simplify (+ 0 0) into 0 6.235 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0 6.235 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1))))) into 0 6.235 * [backup-simplify]: Simplify 0 into 0 6.236 * [backup-simplify]: Simplify (- 0) into 0 6.236 * [backup-simplify]: Simplify (+ 0 0) into 0 6.236 * [backup-simplify]: Simplify (- 0) into 0 6.237 * [backup-simplify]: Simplify (+ 0 0) into 0 6.237 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0 6.238 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1))))) into 0 6.238 * [backup-simplify]: Simplify 0 into 0 6.238 * [backup-simplify]: Simplify (- 0) into 0 6.238 * [backup-simplify]: Simplify (+ 0 0) into 0 6.238 * [backup-simplify]: Simplify (- 0) into 0 6.239 * [backup-simplify]: Simplify (+ 0 0) into 0 6.239 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0 6.240 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1))))) into 0 6.240 * [backup-simplify]: Simplify 0 into 0 6.240 * [backup-simplify]: Simplify (- 0) into 0 6.240 * [backup-simplify]: Simplify (+ 0 0) into 0 6.241 * [backup-simplify]: Simplify (- 0) into 0 6.241 * [backup-simplify]: Simplify (+ 0 0) into 0 6.241 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1)) (+ (* (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1)) (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))) (* 0 (/ 0 (- (exp (/ 1 x)) 1))))) into 0 6.242 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (/ (- (exp (/ 2 x)) 1) (- (exp (/ 1 x)) 1))))) into 0 6.242 * [backup-simplify]: Simplify 0 into 0 6.242 * [backup-simplify]: Simplify (sqrt (/ (- (exp (/ 2 (/ 1 x))) 1) (- (exp (/ 1 (/ 1 x))) 1))) into (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1))) 6.242 * [backup-simplify]: Simplify (sqrt (/ (expm1 (+ (/ 1 (- x)) (/ 1 (- x)))) (expm1 (/ 1 (- x))))) into (sqrt (/ (expm1 (- (* 2 (/ 1 x)))) (expm1 (/ -1 x)))) 6.242 * [approximate]: Taking taylor expansion of (sqrt (/ (expm1 (- (* 2 (/ 1 x)))) (expm1 (/ -1 x)))) in (x) around 0 6.242 * [taylor]: Taking taylor expansion of (sqrt (/ (expm1 (- (* 2 (/ 1 x)))) (expm1 (/ -1 x)))) in x 6.242 * [taylor]: Taking taylor expansion of (/ (expm1 (- (* 2 (/ 1 x)))) (expm1 (/ -1 x))) in x 6.242 * [taylor]: Taking taylor expansion of (expm1 (- (* 2 (/ 1 x)))) in x 6.242 * [taylor]: Rewrote expression to (- (exp (- (* 2 (/ 1 x)))) 1) 6.242 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 6.242 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 6.242 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 6.242 * [taylor]: Taking taylor expansion of 2 in x 6.242 * [backup-simplify]: Simplify 2 into 2 6.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.242 * [taylor]: Taking taylor expansion of x in x 6.243 * [backup-simplify]: Simplify 0 into 0 6.243 * [backup-simplify]: Simplify 1 into 1 6.243 * [backup-simplify]: Simplify (/ 1 1) into 1 6.243 * [backup-simplify]: Simplify (* 2 1) into 2 6.243 * [backup-simplify]: Simplify (- 2) into -2 6.244 * [backup-simplify]: Simplify (exp (- (* 2 (/ 1 x)))) into (exp (- (* 2 (/ 1 x)))) 6.244 * [taylor]: Taking taylor expansion of 1 in x 6.244 * [backup-simplify]: Simplify 1 into 1 6.244 * [taylor]: Taking taylor expansion of (expm1 (/ -1 x)) in x 6.244 * [taylor]: Rewrote expression to (- (exp (/ -1 x)) 1) 6.244 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.244 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.244 * [taylor]: Taking taylor expansion of -1 in x 6.244 * [backup-simplify]: Simplify -1 into -1 6.244 * [taylor]: Taking taylor expansion of x in x 6.244 * [backup-simplify]: Simplify 0 into 0 6.244 * [backup-simplify]: Simplify 1 into 1 6.244 * [backup-simplify]: Simplify (/ -1 1) into -1 6.244 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.244 * [taylor]: Taking taylor expansion of 1 in x 6.244 * [backup-simplify]: Simplify 1 into 1 6.245 * [backup-simplify]: Simplify (- 1) into -1 6.245 * [backup-simplify]: Simplify (+ (exp (- (* 2 (/ 1 x)))) -1) into (- (exp (- (* 2 (/ 1 x)))) 1) 6.245 * [backup-simplify]: Simplify (- 1) into -1 6.245 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 6.245 * [backup-simplify]: Simplify (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1)) into (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1)) 6.246 * [backup-simplify]: Simplify (sqrt (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1))) into (sqrt (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1))) 6.246 * [backup-simplify]: Simplify (- 0) into 0 6.246 * [backup-simplify]: Simplify (+ 0 0) into 0 6.246 * [backup-simplify]: Simplify (- 0) into 0 6.247 * [backup-simplify]: Simplify (+ 0 0) into 0 6.247 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))))) into 0 6.247 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1))))) into 0 6.247 * [taylor]: Taking taylor expansion of (sqrt (/ (expm1 (- (* 2 (/ 1 x)))) (expm1 (/ -1 x)))) in x 6.247 * [taylor]: Taking taylor expansion of (/ (expm1 (- (* 2 (/ 1 x)))) (expm1 (/ -1 x))) in x 6.247 * [taylor]: Taking taylor expansion of (expm1 (- (* 2 (/ 1 x)))) in x 6.247 * [taylor]: Rewrote expression to (- (exp (- (* 2 (/ 1 x)))) 1) 6.247 * [taylor]: Taking taylor expansion of (exp (- (* 2 (/ 1 x)))) in x 6.247 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x))) in x 6.247 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 6.247 * [taylor]: Taking taylor expansion of 2 in x 6.247 * [backup-simplify]: Simplify 2 into 2 6.247 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.247 * [taylor]: Taking taylor expansion of x in x 6.247 * [backup-simplify]: Simplify 0 into 0 6.247 * [backup-simplify]: Simplify 1 into 1 6.248 * [backup-simplify]: Simplify (/ 1 1) into 1 6.248 * [backup-simplify]: Simplify (* 2 1) into 2 6.248 * [backup-simplify]: Simplify (- 2) into -2 6.248 * [backup-simplify]: Simplify (exp (- (* 2 (/ 1 x)))) into (exp (- (* 2 (/ 1 x)))) 6.248 * [taylor]: Taking taylor expansion of 1 in x 6.248 * [backup-simplify]: Simplify 1 into 1 6.248 * [taylor]: Taking taylor expansion of (expm1 (/ -1 x)) in x 6.248 * [taylor]: Rewrote expression to (- (exp (/ -1 x)) 1) 6.248 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.248 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.248 * [taylor]: Taking taylor expansion of -1 in x 6.248 * [backup-simplify]: Simplify -1 into -1 6.248 * [taylor]: Taking taylor expansion of x in x 6.248 * [backup-simplify]: Simplify 0 into 0 6.249 * [backup-simplify]: Simplify 1 into 1 6.249 * [backup-simplify]: Simplify (/ -1 1) into -1 6.249 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 6.249 * [taylor]: Taking taylor expansion of 1 in x 6.249 * [backup-simplify]: Simplify 1 into 1 6.249 * [backup-simplify]: Simplify (- 1) into -1 6.249 * [backup-simplify]: Simplify (+ (exp (- (* 2 (/ 1 x)))) -1) into (- (exp (- (* 2 (/ 1 x)))) 1) 6.249 * [backup-simplify]: Simplify (- 1) into -1 6.250 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1) 6.250 * [backup-simplify]: Simplify (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1)) into (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1)) 6.250 * [backup-simplify]: Simplify (sqrt (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1))) into (sqrt (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1))) 6.250 * [backup-simplify]: Simplify (- 0) into 0 6.250 * [backup-simplify]: Simplify (+ 0 0) into 0 6.251 * [backup-simplify]: Simplify (- 0) into 0 6.251 * [backup-simplify]: Simplify (+ 0 0) into 0 6.251 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))))) into 0 6.251 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1))))) into 0 6.251 * [backup-simplify]: Simplify (sqrt (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1))) into (sqrt (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1))) 6.251 * [backup-simplify]: Simplify 0 into 0 6.252 * [backup-simplify]: Simplify (- 0) into 0 6.252 * [backup-simplify]: Simplify (+ 0 0) into 0 6.252 * [backup-simplify]: Simplify (- 0) into 0 6.252 * [backup-simplify]: Simplify (+ 0 0) into 0 6.253 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0 6.253 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1))))) into 0 6.253 * [backup-simplify]: Simplify 0 into 0 6.253 * [backup-simplify]: Simplify (- 0) into 0 6.254 * [backup-simplify]: Simplify (+ 0 0) into 0 6.254 * [backup-simplify]: Simplify (- 0) into 0 6.254 * [backup-simplify]: Simplify (+ 0 0) into 0 6.254 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0 6.255 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1))))) into 0 6.255 * [backup-simplify]: Simplify 0 into 0 6.255 * [backup-simplify]: Simplify (- 0) into 0 6.256 * [backup-simplify]: Simplify (+ 0 0) into 0 6.256 * [backup-simplify]: Simplify (- 0) into 0 6.256 * [backup-simplify]: Simplify (+ 0 0) into 0 6.256 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0 6.257 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1))))) into 0 6.257 * [backup-simplify]: Simplify 0 into 0 6.257 * [backup-simplify]: Simplify (- 0) into 0 6.258 * [backup-simplify]: Simplify (+ 0 0) into 0 6.258 * [backup-simplify]: Simplify (- 0) into 0 6.258 * [backup-simplify]: Simplify (+ 0 0) into 0 6.259 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0 6.260 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1))))) into 0 6.260 * [backup-simplify]: Simplify 0 into 0 6.260 * [backup-simplify]: Simplify (- 0) into 0 6.261 * [backup-simplify]: Simplify (+ 0 0) into 0 6.261 * [backup-simplify]: Simplify (- 0) into 0 6.261 * [backup-simplify]: Simplify (+ 0 0) into 0 6.262 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1)) (+ (* (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1)) (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))) (* 0 (/ 0 (- (exp (/ -1 x)) 1))))) into 0 6.263 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (/ (- (exp (- (* 2 (/ 1 x)))) 1) (- (exp (/ -1 x)) 1))))) into 0 6.263 * [backup-simplify]: Simplify 0 into 0 6.263 * [backup-simplify]: Simplify (sqrt (/ (- (exp (- (* 2 (/ 1 (/ 1 (- x)))))) 1) (- (exp (/ -1 (/ 1 (- x)))) 1))) into (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1))) 6.263 * * * [progress]: simplifying candidates 6.263 * * * * [progress]: [ 1 / 65 ] simplifiying candidate # 6.263 * * * * [progress]: [ 2 / 65 ] simplifiying candidate # 6.263 * * * * [progress]: [ 3 / 65 ] simplifiying candidate # 6.263 * * * * [progress]: [ 4 / 65 ] simplifiying candidate # 6.263 * * * * [progress]: [ 5 / 65 ] simplifiying candidate # 6.263 * * * * [progress]: [ 6 / 65 ] simplifiying candidate # 6.263 * * * * [progress]: [ 7 / 65 ] simplifiying candidate # 6.263 * * * * [progress]: [ 8 / 65 ] simplifiying candidate # 6.264 * * * * [progress]: [ 9 / 65 ] simplifiying candidate # 6.264 * * * * [progress]: [ 10 / 65 ] simplifiying candidate # 6.264 * * * * [progress]: [ 11 / 65 ] simplifiying candidate # 6.264 * * * * [progress]: [ 12 / 65 ] simplifiying candidate # 6.264 * * * * [progress]: [ 13 / 65 ] simplifiying candidate # 6.264 * * * * [progress]: [ 14 / 65 ] simplifiying candidate # 6.264 * * * * [progress]: [ 15 / 65 ] simplifiying candidate # 6.264 * * * * [progress]: [ 16 / 65 ] simplifiying candidate # 6.264 * * * * [progress]: [ 17 / 65 ] simplifiying candidate # 6.264 * * * * [progress]: [ 18 / 65 ] simplifiying candidate # 6.264 * * * * [progress]: [ 19 / 65 ] simplifiying candidate # 6.264 * * * * [progress]: [ 20 / 65 ] simplifiying candidate # 6.264 * * * * [progress]: [ 21 / 65 ] simplifiying candidate # 6.264 * * * * [progress]: [ 22 / 65 ] simplifiying candidate # 6.264 * * * * [progress]: [ 23 / 65 ] simplifiying candidate # 6.264 * * * * [progress]: [ 24 / 65 ] simplifiying candidate # 6.264 * * * * [progress]: [ 25 / 65 ] simplifiying candidate # 6.264 * * * * [progress]: [ 26 / 65 ] simplifiying candidate # 6.265 * * * * [progress]: [ 27 / 65 ] simplifiying candidate # 6.265 * * * * [progress]: [ 28 / 65 ] simplifiying candidate # 6.265 * * * * [progress]: [ 29 / 65 ] simplifiying candidate # 6.265 * * * * [progress]: [ 30 / 65 ] simplifiying candidate # 6.265 * * * * [progress]: [ 31 / 65 ] simplifiying candidate #real (real->posit16 (/ (expm1 (+ x x)) (expm1 x))))))> 6.265 * * * * [progress]: [ 32 / 65 ] simplifiying candidate # 6.265 * * * * [progress]: [ 33 / 65 ] simplifiying candidate # 6.265 * * * * [progress]: [ 34 / 65 ] simplifiying candidate # 6.265 * * * * [progress]: [ 35 / 65 ] simplifiying candidate # 6.265 * * * * [progress]: [ 36 / 65 ] simplifiying candidate # 6.265 * * * * [progress]: [ 37 / 65 ] simplifiying candidate # 6.265 * * * * [progress]: [ 38 / 65 ] simplifiying candidate # 6.265 * * * * [progress]: [ 39 / 65 ] simplifiying candidate # 6.265 * * * * [progress]: [ 40 / 65 ] simplifiying candidate # 6.265 * * * * [progress]: [ 41 / 65 ] simplifiying candidate # 6.265 * * * * [progress]: [ 42 / 65 ] simplifiying candidate # 6.265 * * * * [progress]: [ 43 / 65 ] simplifiying candidate # 6.265 * * * * [progress]: [ 44 / 65 ] simplifiying candidate # 6.265 * * * * [progress]: [ 45 / 65 ] simplifiying candidate # 6.265 * * * * [progress]: [ 46 / 65 ] simplifiying candidate # 6.265 * * * * [progress]: [ 47 / 65 ] simplifiying candidate # 6.265 * * * * [progress]: [ 48 / 65 ] simplifiying candidate # 6.265 * * * * [progress]: [ 49 / 65 ] simplifiying candidate # 6.265 * * * * [progress]: [ 50 / 65 ] simplifiying candidate # 6.266 * * * * [progress]: [ 51 / 65 ] simplifiying candidate # 6.266 * * * * [progress]: [ 52 / 65 ] simplifiying candidate # 6.266 * * * * [progress]: [ 53 / 65 ] simplifiying candidate # 6.266 * * * * [progress]: [ 54 / 65 ] simplifiying candidate # 6.266 * * * * [progress]: [ 55 / 65 ] simplifiying candidate # 6.266 * * * * [progress]: [ 56 / 65 ] simplifiying candidate # 6.266 * * * * [progress]: [ 57 / 65 ] simplifiying candidate # 6.266 * * * * [progress]: [ 58 / 65 ] simplifiying candidate # 6.266 * * * * [progress]: [ 59 / 65 ] simplifiying candidate #real (real->posit16 (sqrt (/ (expm1 (+ x x)) (expm1 x))))))> 6.266 * * * * [progress]: [ 60 / 65 ] simplifiying candidate # 6.266 * * * * [progress]: [ 61 / 65 ] simplifiying candidate # 6.266 * * * * [progress]: [ 62 / 65 ] simplifiying candidate # 6.266 * * * * [progress]: [ 63 / 65 ] simplifiying candidate # 6.266 * * * * [progress]: [ 64 / 65 ] simplifiying candidate # 6.266 * * * * [progress]: [ 65 / 65 ] simplifiying candidate # 6.267 * [simplify]: Simplifying: (expm1 (/ (expm1 (+ x x)) (expm1 x))) (log1p (/ (expm1 (+ x x)) (expm1 x))) (- (log (expm1 (+ x x))) (log (expm1 x))) (log (/ (expm1 (+ x x)) (expm1 x))) (exp (/ (expm1 (+ x x)) (expm1 x))) (/ (* (* (expm1 (+ x x)) (expm1 (+ x x))) (expm1 (+ x x))) (* (* (expm1 x) (expm1 x)) (expm1 x))) (* (cbrt (/ (expm1 (+ x x)) (expm1 x))) (cbrt (/ (expm1 (+ x x)) (expm1 x)))) (cbrt (/ (expm1 (+ x x)) (expm1 x))) (* (* (/ (expm1 (+ x x)) (expm1 x)) (/ (expm1 (+ x x)) (expm1 x))) (/ (expm1 (+ x x)) (expm1 x))) (sqrt (/ (expm1 (+ x x)) (expm1 x))) (sqrt (/ (expm1 (+ x x)) (expm1 x))) (- (expm1 (+ x x))) (- (expm1 x)) (/ (exp (+ x x)) (expm1 x)) (/ 1 (expm1 x)) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (* (cbrt (expm1 x)) (cbrt (expm1 x)))) (/ (cbrt (expm1 (+ x x))) (cbrt (expm1 x))) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (sqrt (expm1 x))) (/ (cbrt (expm1 (+ x x))) (sqrt (expm1 x))) (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) 1) (/ (cbrt (expm1 (+ x x))) (expm1 x)) (/ (sqrt (expm1 (+ x x))) (* (cbrt (expm1 x)) (cbrt (expm1 x)))) (/ (sqrt (expm1 (+ x x))) (cbrt (expm1 x))) (/ (sqrt (expm1 (+ x x))) (sqrt (expm1 x))) (/ (sqrt (expm1 (+ x x))) (sqrt (expm1 x))) (/ (sqrt (expm1 (+ x x))) 1) (/ (sqrt (expm1 (+ x x))) (expm1 x)) (/ 1 (* (cbrt (expm1 x)) (cbrt (expm1 x)))) (/ (expm1 (+ x x)) (cbrt (expm1 x))) (/ 1 (sqrt (expm1 x))) (/ (expm1 (+ x x)) (sqrt (expm1 x))) (/ 1 1) (/ (expm1 (+ x x)) (expm1 x)) (/ 1 (expm1 x)) (/ (expm1 x) (expm1 (+ x x))) (/ (expm1 (+ x x)) (* (cbrt (expm1 x)) (cbrt (expm1 x)))) (/ (expm1 (+ x x)) (sqrt (expm1 x))) (/ (expm1 (+ x x)) 1) (/ (expm1 x) (cbrt (expm1 (+ x x)))) (/ (expm1 x) (sqrt (expm1 (+ x x)))) (/ (expm1 x) (expm1 (+ x x))) (real->posit16 (/ (expm1 (+ x x)) (expm1 x))) (expm1 (sqrt (/ (expm1 (+ x x)) (expm1 x)))) (log1p (sqrt (/ (expm1 (+ x x)) (expm1 x)))) (log (sqrt (/ (expm1 (+ x x)) (expm1 x)))) (exp (sqrt (/ (expm1 (+ x x)) (expm1 x)))) (* (cbrt (sqrt (/ (expm1 (+ x x)) (expm1 x)))) (cbrt (sqrt (/ (expm1 (+ x x)) (expm1 x))))) (cbrt (sqrt (/ (expm1 (+ x x)) (expm1 x)))) (* (* (sqrt (/ (expm1 (+ x x)) (expm1 x))) (sqrt (/ (expm1 (+ x x)) (expm1 x)))) (sqrt (/ (expm1 (+ x x)) (expm1 x)))) (sqrt (* (cbrt (/ (expm1 (+ x x)) (expm1 x))) (cbrt (/ (expm1 (+ x x)) (expm1 x))))) (sqrt (cbrt (/ (expm1 (+ x x)) (expm1 x)))) (sqrt (sqrt (/ (expm1 (+ x x)) (expm1 x)))) (sqrt (sqrt (/ (expm1 (+ x x)) (expm1 x)))) (sqrt (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (* (cbrt (expm1 x)) (cbrt (expm1 x))))) (sqrt (/ (cbrt (expm1 (+ x x))) (cbrt (expm1 x)))) (sqrt (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (sqrt (expm1 x)))) (sqrt (/ (cbrt (expm1 (+ x x))) (sqrt (expm1 x)))) (sqrt (/ (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) 1)) (sqrt (/ (cbrt (expm1 (+ x x))) (expm1 x))) (sqrt (/ (sqrt (expm1 (+ x x))) (* (cbrt (expm1 x)) (cbrt (expm1 x))))) (sqrt (/ (sqrt (expm1 (+ x x))) (cbrt (expm1 x)))) (sqrt (/ (sqrt (expm1 (+ x x))) (sqrt (expm1 x)))) (sqrt (/ (sqrt (expm1 (+ x x))) (sqrt (expm1 x)))) (sqrt (/ (sqrt (expm1 (+ x x))) 1)) (sqrt (/ (sqrt (expm1 (+ x x))) (expm1 x))) (sqrt (/ 1 (* (cbrt (expm1 x)) (cbrt (expm1 x))))) (sqrt (/ (expm1 (+ x x)) (cbrt (expm1 x)))) (sqrt (/ 1 (sqrt (expm1 x)))) (sqrt (/ (expm1 (+ x x)) (sqrt (expm1 x)))) (sqrt (/ 1 1)) (sqrt (/ (expm1 (+ x x)) (expm1 x))) (sqrt 1) (sqrt (/ (expm1 (+ x x)) (expm1 x))) (sqrt (expm1 (+ x x))) (sqrt (/ 1 (expm1 x))) (sqrt (expm1 (+ x x))) (sqrt (expm1 x)) (/ 1 2) (sqrt (sqrt (/ (expm1 (+ x x)) (expm1 x)))) (sqrt (sqrt (/ (expm1 (+ x x)) (expm1 x)))) (real->posit16 (sqrt (/ (expm1 (+ x x)) (expm1 x)))) (+ x (+ (* 1/2 (pow x 2)) 2)) (/ (- (exp (* 2 x)) 1) (- (exp x) 1)) (/ (- (exp (* 2 x)) 1) (- (exp x) 1)) (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))) (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1))) (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1))) 6.268 * * [simplify]: iteration 1: (114 enodes) 6.293 * * [simplify]: iteration 2: (208 enodes) 6.333 * * [simplify]: iteration 3: (515 enodes) 6.567 * * [simplify]: iteration 4: (1341 enodes) 7.565 * * [simplify]: Extracting #0: cost 66 inf + 0 7.574 * * [simplify]: Extracting #1: cost 514 inf + 2 7.582 * * [simplify]: Extracting #2: cost 1193 inf + 6674 7.612 * * [simplify]: Extracting #3: cost 711 inf + 141246 7.670 * * [simplify]: Extracting #4: cost 164 inf + 298538 7.742 * * [simplify]: Extracting #5: cost 37 inf + 348520 7.844 * * [simplify]: Extracting #6: cost 0 inf + 368057 7.923 * * [simplify]: Extracting #7: cost 0 inf + 367857 7.978 * [simplify]: Simplified to: (expm1 (/ (expm1 (+ x x)) (expm1 x))) (log1p (/ (expm1 (+ x x)) (expm1 x))) (log (/ (expm1 (+ x x)) (expm1 x))) (log (/ (expm1 (+ x x)) (expm1 x))) (exp (/ (expm1 (+ x x)) (expm1 x))) (* (/ (expm1 (+ x x)) (expm1 x)) (* (/ (expm1 (+ x x)) (expm1 x)) (/ (expm1 (+ x x)) (expm1 x)))) (* (cbrt (/ (expm1 (+ x x)) (expm1 x))) (cbrt (/ (expm1 (+ x x)) (expm1 x)))) (cbrt (/ (expm1 (+ x x)) (expm1 x))) (* (/ (expm1 (+ x x)) (expm1 x)) (* (/ (expm1 (+ x x)) (expm1 x)) (/ (expm1 (+ x x)) (expm1 x)))) (sqrt (/ (expm1 (+ x x)) (expm1 x))) (sqrt (/ (expm1 (+ x x)) (expm1 x))) (- (expm1 (+ x x))) (- (expm1 x)) (* (/ (exp x) (expm1 x)) (exp x)) (/ 1 (expm1 x)) (* (/ (cbrt (expm1 (+ x x))) (cbrt (expm1 x))) (/ (cbrt (expm1 (+ x x))) (cbrt (expm1 x)))) (/ (cbrt (expm1 (+ x x))) (cbrt (expm1 x))) (* (/ (cbrt (expm1 (+ x x))) (sqrt (expm1 x))) (cbrt (expm1 (+ x x)))) (/ (cbrt (expm1 (+ x x))) (sqrt (expm1 x))) (* (cbrt (expm1 (+ x x))) (cbrt (expm1 (+ x x)))) (/ (cbrt (expm1 (+ x x))) (expm1 x)) (/ (sqrt (expm1 (+ x x))) (* (cbrt (expm1 x)) (cbrt (expm1 x)))) (/ (sqrt (expm1 (+ x x))) (cbrt (expm1 x))) (/ (sqrt (expm1 (+ x x))) (sqrt (expm1 x))) (/ (sqrt (expm1 (+ x x))) (sqrt (expm1 x))) (sqrt (expm1 (+ x x))) (/ (sqrt (expm1 (+ x x))) (expm1 x)) (/ 1 (* (cbrt (expm1 x)) (cbrt (expm1 x)))) (/ (expm1 (+ x x)) (cbrt (expm1 x))) (/ 1 (sqrt (expm1 x))) (/ (expm1 (+ x x)) (sqrt (expm1 x))) 1 (/ (expm1 (+ x x)) (expm1 x)) (/ 1 (expm1 x)) (/ (expm1 x) (expm1 (+ x x))) (/ (/ (expm1 (+ x x)) (cbrt (expm1 x))) (cbrt (expm1 x))) (/ (expm1 (+ x x)) (sqrt (expm1 x))) (expm1 (+ x x)) (/ (expm1 x) (cbrt (expm1 (+ x x)))) (/ (expm1 x) (sqrt (expm1 (+ x x)))) (/ (expm1 x) (expm1 (+ x x))) (real->posit16 (/ (expm1 (+ x x)) (expm1 x))) (expm1 (sqrt (/ (expm1 (+ x x)) (expm1 x)))) (log1p (sqrt (/ (expm1 (+ x x)) (expm1 x)))) (log (sqrt (/ (expm1 (+ x x)) (expm1 x)))) (exp (sqrt (/ (expm1 (+ x x)) (expm1 x)))) (* (cbrt (sqrt (/ (expm1 (+ x x)) (expm1 x)))) (cbrt (sqrt (/ (expm1 (+ x x)) (expm1 x))))) (cbrt (sqrt (/ (expm1 (+ x x)) (expm1 x)))) (* (/ (expm1 (+ x x)) (expm1 x)) (sqrt (/ (expm1 (+ x x)) (expm1 x)))) (fabs (cbrt (/ (expm1 (+ x x)) (expm1 x)))) (sqrt (cbrt (/ (expm1 (+ x x)) (expm1 x)))) (sqrt (sqrt (/ (expm1 (+ x x)) (expm1 x)))) (sqrt (sqrt (/ (expm1 (+ x x)) (expm1 x)))) (fabs (/ (cbrt (expm1 (+ x x))) (cbrt (expm1 x)))) (sqrt (/ (cbrt (expm1 (+ x x))) (cbrt (expm1 x)))) (sqrt (* (/ (cbrt (expm1 (+ x x))) (sqrt (expm1 x))) (cbrt (expm1 (+ x x))))) (sqrt (/ (cbrt (expm1 (+ x x))) (sqrt (expm1 x)))) (fabs (cbrt (expm1 (+ x x)))) (sqrt (/ (cbrt (expm1 (+ x x))) (expm1 x))) (sqrt (/ (sqrt (expm1 (+ x x))) (* (cbrt (expm1 x)) (cbrt (expm1 x))))) (sqrt (/ (sqrt (expm1 (+ x x))) (cbrt (expm1 x)))) (sqrt (/ (sqrt (expm1 (+ x x))) (sqrt (expm1 x)))) (sqrt (/ (sqrt (expm1 (+ x x))) (sqrt (expm1 x)))) (sqrt (sqrt (expm1 (+ x x)))) (sqrt (/ (sqrt (expm1 (+ x x))) (expm1 x))) (sqrt (/ 1 (* (cbrt (expm1 x)) (cbrt (expm1 x))))) (sqrt (/ (expm1 (+ x x)) (cbrt (expm1 x)))) (sqrt (/ 1 (sqrt (expm1 x)))) (sqrt (/ (expm1 (+ x x)) (sqrt (expm1 x)))) 1 (sqrt (/ (expm1 (+ x x)) (expm1 x))) 1 (sqrt (/ (expm1 (+ x x)) (expm1 x))) (sqrt (expm1 (+ x x))) (sqrt (/ 1 (expm1 x))) (sqrt (expm1 (+ x x))) (sqrt (expm1 x)) 1/2 (sqrt (sqrt (/ (expm1 (+ x x)) (expm1 x)))) (sqrt (sqrt (/ (expm1 (+ x x)) (expm1 x)))) (real->posit16 (sqrt (/ (expm1 (+ x x)) (expm1 x)))) (fma (fma x 1/2 1) x 2) (/ (expm1 (+ x x)) (expm1 x)) (/ (expm1 (+ x x)) (expm1 x)) (+ (* (/ x (/ (sqrt 2) x)) 3/16) (fma (/ x (sqrt 2)) 1/2 (sqrt 2))) (sqrt (/ (expm1 (+ x x)) (expm1 x))) (sqrt (/ (expm1 (+ x x)) (expm1 x))) 7.982 * * * [progress]: adding candidates to table 8.550 * [progress]: [Phase 3 of 3] Extracting. 8.550 * * [regime]: Finding splitpoints for: (# #) 8.551 * * * [regime-changes]: Trying 1 branch expressions: (x) 8.552 * * * * [regimes]: Trying to branch on x from (# #) 8.585 * * * [regime]: Found split indices: #