1552124081.393 * [progress]: [Phase 1 of 3] Setting up. 1552124081.394 * * * [progress]: [1/2] Preparing points 1552124081.697 * * * [progress]: [2/2] Setting up program. 1552124081.705 * [progress]: [Phase 2 of 3] Improving. 1552124081.705 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1552124081.707 * [simplify]: Simplifying (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1))) 1552124081.709 * * [simplify]: iters left: 6 (10 enodes) 1552124081.728 * * [simplify]: iters left: 5 (44 enodes) 1552124081.743 * * [simplify]: iters left: 4 (58 enodes) 1552124081.761 * * [simplify]: iters left: 3 (69 enodes) 1552124082.179 * * [simplify]: iters left: 2 (92 enodes) 1552124082.197 * * [simplify]: iters left: 1 (140 enodes) 1552124082.228 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124082.228 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124082.228 * * [simplify]: Extracting #2: cost 12 inf + 0 1552124082.229 * * [simplify]: Extracting #3: cost 27 inf + 1 1552124082.229 * * [simplify]: Extracting #4: cost 37 inf + 3 1552124082.230 * * [simplify]: Extracting #5: cost 18 inf + 2764 1552124082.232 * * [simplify]: Extracting #6: cost 1 inf + 4644 1552124082.234 * * [simplify]: Extracting #7: cost 0 inf + 4684 1552124082.236 * [simplify]: Simplified to (sqrt (+ (exp x) 1)) 1552124082.236 * [simplify]: Simplified (2) to (λ (x) (sqrt (+ (exp x) 1))) 1552124082.246 * * [progress]: iteration 1 / 4 1552124082.246 * * * [progress]: picking best candidate 1552124082.248 * * * * [pick]: Picked # 1552124082.248 * * * [progress]: localizing error 1552124082.258 * * * [progress]: generating rewritten candidates 1552124082.258 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1552124082.272 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 1552124082.278 * * * [progress]: generating series expansions 1552124082.278 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1552124082.283 * [backup-simplify]: Simplify (sqrt (+ (exp x) 1)) into (sqrt (+ (exp x) 1)) 1552124082.283 * [approximate]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in (x) around 0 1552124082.284 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x 1552124082.284 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x 1552124082.284 * [taylor]: Taking taylor expansion of (exp x) in x 1552124082.284 * [taylor]: Taking taylor expansion of x in x 1552124082.284 * [backup-simplify]: Simplify 0 into 0 1552124082.284 * [backup-simplify]: Simplify 1 into 1 1552124082.284 * [backup-simplify]: Simplify (exp 0) into 1 1552124082.284 * [taylor]: Taking taylor expansion of 1 in x 1552124082.285 * [backup-simplify]: Simplify 1 into 1 1552124082.286 * [backup-simplify]: Simplify (+ 1 1) into 2 1552124082.287 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2) 1552124082.289 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1552124082.289 * [backup-simplify]: Simplify (+ 1 0) into 1 1552124082.291 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 1552124082.291 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x 1552124082.291 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x 1552124082.291 * [taylor]: Taking taylor expansion of (exp x) in x 1552124082.291 * [taylor]: Taking taylor expansion of x in x 1552124082.291 * [backup-simplify]: Simplify 0 into 0 1552124082.291 * [backup-simplify]: Simplify 1 into 1 1552124082.291 * [backup-simplify]: Simplify (exp 0) into 1 1552124082.291 * [taylor]: Taking taylor expansion of 1 in x 1552124082.291 * [backup-simplify]: Simplify 1 into 1 1552124082.291 * [backup-simplify]: Simplify (+ 1 1) into 2 1552124082.292 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2) 1552124082.292 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1552124082.293 * [backup-simplify]: Simplify (+ 1 0) into 1 1552124082.294 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 1552124082.295 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2) 1552124082.296 * [backup-simplify]: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2)) 1552124082.298 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1552124082.298 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1552124082.301 * [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))) 1552124082.304 * [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))) 1552124082.309 * [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)))) 1552124082.309 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1552124082.309 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in (x) around 0 1552124082.309 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x 1552124082.309 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 1552124082.309 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1552124082.309 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552124082.309 * [taylor]: Taking taylor expansion of x in x 1552124082.309 * [backup-simplify]: Simplify 0 into 0 1552124082.309 * [backup-simplify]: Simplify 1 into 1 1552124082.310 * [backup-simplify]: Simplify (/ 1 1) into 1 1552124082.310 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1552124082.310 * [taylor]: Taking taylor expansion of 1 in x 1552124082.310 * [backup-simplify]: Simplify 1 into 1 1552124082.310 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1552124082.310 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1552124082.310 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124082.310 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1552124082.310 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x 1552124082.310 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 1552124082.310 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1552124082.310 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552124082.310 * [taylor]: Taking taylor expansion of x in x 1552124082.310 * [backup-simplify]: Simplify 0 into 0 1552124082.310 * [backup-simplify]: Simplify 1 into 1 1552124082.311 * [backup-simplify]: Simplify (/ 1 1) into 1 1552124082.311 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1552124082.311 * [taylor]: Taking taylor expansion of 1 in x 1552124082.311 * [backup-simplify]: Simplify 1 into 1 1552124082.311 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1552124082.311 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1552124082.311 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124082.311 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1552124082.311 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1552124082.311 * [backup-simplify]: Simplify 0 into 0 1552124082.312 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124082.312 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1552124082.312 * [backup-simplify]: Simplify 0 into 0 1552124082.312 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124082.313 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1552124082.313 * [backup-simplify]: Simplify 0 into 0 1552124082.313 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124082.314 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1552124082.314 * [backup-simplify]: Simplify 0 into 0 1552124082.314 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124082.314 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1552124082.315 * [backup-simplify]: Simplify 0 into 0 1552124082.315 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124082.315 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1552124082.315 * [backup-simplify]: Simplify 0 into 0 1552124082.315 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1)) 1552124082.316 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 (- x))) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1552124082.316 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in (x) around 0 1552124082.316 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x 1552124082.316 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 1552124082.316 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1552124082.316 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1552124082.316 * [taylor]: Taking taylor expansion of -1 in x 1552124082.316 * [backup-simplify]: Simplify -1 into -1 1552124082.316 * [taylor]: Taking taylor expansion of x in x 1552124082.316 * [backup-simplify]: Simplify 0 into 0 1552124082.316 * [backup-simplify]: Simplify 1 into 1 1552124082.316 * [backup-simplify]: Simplify (/ -1 1) into -1 1552124082.316 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1552124082.316 * [taylor]: Taking taylor expansion of 1 in x 1552124082.316 * [backup-simplify]: Simplify 1 into 1 1552124082.316 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1552124082.316 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1552124082.317 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124082.317 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1552124082.317 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x 1552124082.317 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 1552124082.317 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1552124082.317 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1552124082.317 * [taylor]: Taking taylor expansion of -1 in x 1552124082.317 * [backup-simplify]: Simplify -1 into -1 1552124082.317 * [taylor]: Taking taylor expansion of x in x 1552124082.317 * [backup-simplify]: Simplify 0 into 0 1552124082.317 * [backup-simplify]: Simplify 1 into 1 1552124082.317 * [backup-simplify]: Simplify (/ -1 1) into -1 1552124082.317 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1552124082.317 * [taylor]: Taking taylor expansion of 1 in x 1552124082.317 * [backup-simplify]: Simplify 1 into 1 1552124082.317 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1552124082.317 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1552124082.317 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124082.318 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1552124082.318 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1552124082.318 * [backup-simplify]: Simplify 0 into 0 1552124082.318 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124082.318 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1552124082.318 * [backup-simplify]: Simplify 0 into 0 1552124082.319 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124082.319 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1552124082.319 * [backup-simplify]: Simplify 0 into 0 1552124082.319 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124082.320 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1552124082.320 * [backup-simplify]: Simplify 0 into 0 1552124082.320 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124082.321 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1552124082.321 * [backup-simplify]: Simplify 0 into 0 1552124082.321 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124082.322 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1552124082.322 * [backup-simplify]: Simplify 0 into 0 1552124082.322 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1)) 1552124082.322 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 1552124082.322 * [backup-simplify]: Simplify (+ (exp x) 1) into (+ (exp x) 1) 1552124082.322 * [approximate]: Taking taylor expansion of (+ (exp x) 1) in (x) around 0 1552124082.322 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x 1552124082.322 * [taylor]: Taking taylor expansion of (exp x) in x 1552124082.322 * [taylor]: Taking taylor expansion of x in x 1552124082.322 * [backup-simplify]: Simplify 0 into 0 1552124082.322 * [backup-simplify]: Simplify 1 into 1 1552124082.322 * [backup-simplify]: Simplify (exp 0) into 1 1552124082.322 * [taylor]: Taking taylor expansion of 1 in x 1552124082.322 * [backup-simplify]: Simplify 1 into 1 1552124082.322 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x 1552124082.322 * [taylor]: Taking taylor expansion of (exp x) in x 1552124082.322 * [taylor]: Taking taylor expansion of x in x 1552124082.322 * [backup-simplify]: Simplify 0 into 0 1552124082.322 * [backup-simplify]: Simplify 1 into 1 1552124082.322 * [backup-simplify]: Simplify (exp 0) into 1 1552124082.322 * [taylor]: Taking taylor expansion of 1 in x 1552124082.322 * [backup-simplify]: Simplify 1 into 1 1552124082.322 * [backup-simplify]: Simplify (+ 1 1) into 2 1552124082.322 * [backup-simplify]: Simplify 2 into 2 1552124082.323 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1552124082.323 * [backup-simplify]: Simplify (+ 1 0) into 1 1552124082.323 * [backup-simplify]: Simplify 1 into 1 1552124082.324 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1552124082.324 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1552124082.324 * [backup-simplify]: Simplify 1/2 into 1/2 1552124082.325 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ x (+ (* 1/2 (pow x 2)) 2)) 1552124082.325 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1552124082.325 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in (x) around 0 1552124082.325 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 1552124082.325 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1552124082.325 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552124082.325 * [taylor]: Taking taylor expansion of x in x 1552124082.325 * [backup-simplify]: Simplify 0 into 0 1552124082.325 * [backup-simplify]: Simplify 1 into 1 1552124082.325 * [backup-simplify]: Simplify (/ 1 1) into 1 1552124082.325 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1552124082.325 * [taylor]: Taking taylor expansion of 1 in x 1552124082.325 * [backup-simplify]: Simplify 1 into 1 1552124082.325 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x 1552124082.325 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1552124082.325 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552124082.325 * [taylor]: Taking taylor expansion of x in x 1552124082.325 * [backup-simplify]: Simplify 0 into 0 1552124082.325 * [backup-simplify]: Simplify 1 into 1 1552124082.325 * [backup-simplify]: Simplify (/ 1 1) into 1 1552124082.325 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1552124082.325 * [taylor]: Taking taylor expansion of 1 in x 1552124082.325 * [backup-simplify]: Simplify 1 into 1 1552124082.326 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1552124082.326 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1552124082.326 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124082.326 * [backup-simplify]: Simplify 0 into 0 1552124082.326 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124082.326 * [backup-simplify]: Simplify 0 into 0 1552124082.326 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124082.326 * [backup-simplify]: Simplify 0 into 0 1552124082.327 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124082.327 * [backup-simplify]: Simplify 0 into 0 1552124082.327 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124082.327 * [backup-simplify]: Simplify 0 into 0 1552124082.327 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124082.327 * [backup-simplify]: Simplify 0 into 0 1552124082.327 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1) 1552124082.327 * [backup-simplify]: Simplify (+ (exp (/ 1 (- x))) 1) into (+ (exp (/ -1 x)) 1) 1552124082.327 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in (x) around 0 1552124082.327 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 1552124082.327 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1552124082.327 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1552124082.327 * [taylor]: Taking taylor expansion of -1 in x 1552124082.327 * [backup-simplify]: Simplify -1 into -1 1552124082.327 * [taylor]: Taking taylor expansion of x in x 1552124082.327 * [backup-simplify]: Simplify 0 into 0 1552124082.327 * [backup-simplify]: Simplify 1 into 1 1552124082.328 * [backup-simplify]: Simplify (/ -1 1) into -1 1552124082.328 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1552124082.328 * [taylor]: Taking taylor expansion of 1 in x 1552124082.328 * [backup-simplify]: Simplify 1 into 1 1552124082.328 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x 1552124082.328 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1552124082.328 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1552124082.328 * [taylor]: Taking taylor expansion of -1 in x 1552124082.328 * [backup-simplify]: Simplify -1 into -1 1552124082.328 * [taylor]: Taking taylor expansion of x in x 1552124082.328 * [backup-simplify]: Simplify 0 into 0 1552124082.328 * [backup-simplify]: Simplify 1 into 1 1552124082.328 * [backup-simplify]: Simplify (/ -1 1) into -1 1552124082.328 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1552124082.328 * [taylor]: Taking taylor expansion of 1 in x 1552124082.328 * [backup-simplify]: Simplify 1 into 1 1552124082.328 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1552124082.328 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1552124082.329 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124082.329 * [backup-simplify]: Simplify 0 into 0 1552124082.329 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124082.329 * [backup-simplify]: Simplify 0 into 0 1552124082.329 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124082.329 * [backup-simplify]: Simplify 0 into 0 1552124082.330 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124082.330 * [backup-simplify]: Simplify 0 into 0 1552124082.330 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124082.330 * [backup-simplify]: Simplify 0 into 0 1552124082.330 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124082.330 * [backup-simplify]: Simplify 0 into 0 1552124082.331 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1) 1552124082.331 * * * [progress]: simplifying candidates 1552124082.331 * * * * [progress]: [ 1 / 39 ] simplifiying candidate # 1552124082.331 * * * * [progress]: [ 2 / 39 ] simplifiying candidate # 1552124082.331 * * * * [progress]: [ 3 / 39 ] simplifiying candidate # 1552124082.331 * * * * [progress]: [ 4 / 39 ] simplifiying candidate # 1552124082.331 * * * * [progress]: [ 5 / 39 ] simplifiying candidate # 1552124082.331 * * * * [progress]: [ 6 / 39 ] simplifiying candidate # 1552124082.331 * * * * [progress]: [ 7 / 39 ] simplifiying candidate # 1552124082.331 * * * * [progress]: [ 8 / 39 ] simplifiying candidate # 1552124082.332 * * * * [progress]: [ 9 / 39 ] simplifiying candidate # 1552124082.332 * [simplify]: Simplifying (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))) 1552124082.332 * * [simplify]: iters left: 6 (7 enodes) 1552124082.336 * * [simplify]: iters left: 5 (25 enodes) 1552124082.344 * * [simplify]: iters left: 4 (27 enodes) 1552124082.352 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124082.352 * * [simplify]: Extracting #1: cost 4 inf + 0 1552124082.352 * * [simplify]: Extracting #2: cost 7 inf + 0 1552124082.352 * * [simplify]: Extracting #3: cost 10 inf + 0 1552124082.352 * * [simplify]: Extracting #4: cost 11 inf + 1 1552124082.352 * * [simplify]: Extracting #5: cost 10 inf + 2 1552124082.353 * * [simplify]: Extracting #6: cost 1 inf + 1448 1552124082.353 * * [simplify]: Extracting #7: cost 0 inf + 1680 1552124082.353 * [simplify]: Simplified to (fabs (cbrt (+ (exp x) 1))) 1552124082.354 * [simplify]: Simplified (2 1) to (λ (x) (* (fabs (cbrt (+ (exp x) 1))) (sqrt (cbrt (+ (exp x) 1))))) 1552124082.354 * * * * [progress]: [ 10 / 39 ] simplifiying candidate # 1552124082.354 * [simplify]: Simplifying (sqrt (sqrt (+ (exp x) 1))) 1552124082.354 * * [simplify]: iters left: 5 (6 enodes) 1552124082.357 * * [simplify]: iters left: 4 (21 enodes) 1552124082.364 * * [simplify]: iters left: 3 (23 enodes) 1552124082.371 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124082.371 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124082.371 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124082.371 * * [simplify]: Extracting #3: cost 8 inf + 0 1552124082.371 * * [simplify]: Extracting #4: cost 9 inf + 1 1552124082.371 * * [simplify]: Extracting #5: cost 8 inf + 2 1552124082.371 * * [simplify]: Extracting #6: cost 0 inf + 1056 1552124082.371 * [simplify]: Simplified to (sqrt (sqrt (+ (exp x) 1))) 1552124082.371 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1))))) 1552124082.372 * * * * [progress]: [ 11 / 39 ] simplifiying candidate # 1552124082.372 * [simplify]: Simplifying (sqrt 1) 1552124082.372 * * [simplify]: iters left: 1 (2 enodes) 1552124082.375 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124082.375 * * [simplify]: Extracting #1: cost 0 inf + 1 1552124082.375 * [simplify]: Simplified to 1 1552124082.375 * [simplify]: Simplified (2 1) to (λ (x) (* 1 (sqrt (+ (exp x) 1)))) 1552124082.375 * * * * [progress]: [ 12 / 39 ] simplifiying candidate # 1552124082.376 * [simplify]: Simplifying (sqrt (+ (pow (exp x) 3) (pow 1 3))) 1552124082.376 * * [simplify]: iters left: 5 (8 enodes) 1552124082.380 * * [simplify]: iters left: 4 (30 enodes) 1552124082.390 * * [simplify]: iters left: 3 (38 enodes) 1552124082.408 * * [simplify]: iters left: 2 (44 enodes) 1552124082.422 * * [simplify]: iters left: 1 (46 enodes) 1552124082.434 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124082.434 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124082.435 * * [simplify]: Extracting #2: cost 8 inf + 0 1552124082.435 * * [simplify]: Extracting #3: cost 14 inf + 1 1552124082.435 * * [simplify]: Extracting #4: cost 14 inf + 3 1552124082.435 * * [simplify]: Extracting #5: cost 7 inf + 640 1552124082.435 * * [simplify]: Extracting #6: cost 1 inf + 1734 1552124082.436 * * [simplify]: Extracting #7: cost 0 inf + 1806 1552124082.437 * * [simplify]: Extracting #8: cost 0 inf + 1761 1552124082.437 * [simplify]: Simplified to (sqrt (+ (exp (+ x (+ x x))) 1)) 1552124082.437 * [simplify]: Simplified (2 1) to (λ (x) (/ (sqrt (+ (exp (+ x (+ x x))) 1)) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))) 1552124082.437 * * * * [progress]: [ 13 / 39 ] simplifiying candidate # 1552124082.438 * [simplify]: Simplifying (sqrt (- (* (exp x) (exp x)) (* 1 1))) 1552124082.438 * * [simplify]: iters left: 6 (7 enodes) 1552124082.442 * * [simplify]: iters left: 5 (28 enodes) 1552124082.452 * * [simplify]: iters left: 4 (42 enodes) 1552124082.463 * * [simplify]: iters left: 3 (50 enodes) 1552124082.477 * * [simplify]: iters left: 2 (66 enodes) 1552124082.501 * * [simplify]: iters left: 1 (109 enodes) 1552124082.537 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124082.537 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124082.537 * * [simplify]: Extracting #2: cost 26 inf + 0 1552124082.537 * * [simplify]: Extracting #3: cost 34 inf + 2 1552124082.538 * * [simplify]: Extracting #4: cost 27 inf + 590 1552124082.539 * * [simplify]: Extracting #5: cost 4 inf + 3893 1552124082.541 * * [simplify]: Extracting #6: cost 0 inf + 4620 1552124082.543 * [simplify]: Simplified to (sqrt (expm1 (+ x x))) 1552124082.543 * [simplify]: Simplified (2 1) to (λ (x) (/ (sqrt (expm1 (+ x x))) (sqrt (- (exp x) 1)))) 1552124082.543 * * * * [progress]: [ 14 / 39 ] simplifiying candidate # 1552124082.543 * * * * [progress]: [ 15 / 39 ] simplifiying candidate # 1552124082.544 * [simplify]: Simplifying (sqrt (+ (exp x) 1)) 1552124082.544 * * [simplify]: iters left: 4 (5 enodes) 1552124082.546 * * [simplify]: iters left: 3 (18 enodes) 1552124082.553 * * [simplify]: iters left: 2 (20 enodes) 1552124082.559 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124082.559 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124082.559 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124082.559 * * [simplify]: Extracting #3: cost 7 inf + 1 1552124082.559 * * [simplify]: Extracting #4: cost 6 inf + 2 1552124082.560 * * [simplify]: Extracting #5: cost 0 inf + 672 1552124082.560 * [simplify]: Simplified to (sqrt (+ (exp x) 1)) 1552124082.560 * [simplify]: Simplified (2 1) to (λ (x) (fabs (sqrt (+ (exp x) 1)))) 1552124082.560 * * * * [progress]: [ 16 / 39 ] simplifiying candidate # 1552124082.560 * * * * [progress]: [ 17 / 39 ] simplifiying candidate #real (real->posit16 (sqrt (+ (exp x) 1)))))> 1552124082.560 * * * * [progress]: [ 18 / 39 ] simplifiying candidate # 1552124082.560 * * * * [progress]: [ 19 / 39 ] simplifiying candidate # 1552124082.560 * * * * [progress]: [ 20 / 39 ] simplifiying candidate # 1552124082.561 * [simplify]: Simplifying (* (cbrt (exp x)) (cbrt (exp x))) 1552124082.561 * * [simplify]: iters left: 4 (4 enodes) 1552124082.565 * * [simplify]: iters left: 3 (12 enodes) 1552124082.568 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124082.568 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124082.568 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124082.568 * * [simplify]: Extracting #3: cost 7 inf + 0 1552124082.568 * * [simplify]: Extracting #4: cost 6 inf + 1 1552124082.569 * * [simplify]: Extracting #5: cost 0 inf + 827 1552124082.569 * [simplify]: Simplified to (* (cbrt (exp x)) (cbrt (exp x))) 1552124082.569 * [simplify]: Simplified (2 1 1) to (λ (x) (sqrt (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) 1))) 1552124082.569 * * * * [progress]: [ 21 / 39 ] simplifiying candidate # 1552124082.569 * [simplify]: Simplifying (sqrt (exp x)) 1552124082.569 * * [simplify]: iters left: 2 (3 enodes) 1552124082.571 * * [simplify]: iters left: 1 (9 enodes) 1552124082.573 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124082.573 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124082.573 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124082.573 * * [simplify]: Extracting #3: cost 4 inf + 1 1552124082.573 * * [simplify]: Extracting #4: cost 0 inf + 365 1552124082.573 * [simplify]: Simplified to (sqrt (exp x)) 1552124082.574 * [simplify]: Simplified (2 1 1) to (λ (x) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))) 1552124082.574 * * * * [progress]: [ 22 / 39 ] simplifiying candidate # 1552124082.574 * * * * [progress]: [ 23 / 39 ] simplifiying candidate # 1552124082.574 * * * * [progress]: [ 24 / 39 ] simplifiying candidate # 1552124082.574 * * * * [progress]: [ 25 / 39 ] simplifiying candidate # 1552124082.574 * * * * [progress]: [ 26 / 39 ] simplifiying candidate # 1552124082.574 * * * * [progress]: [ 27 / 39 ] simplifiying candidate # 1552124082.574 * * * * [progress]: [ 28 / 39 ] simplifiying candidate # 1552124082.574 * * * * [progress]: [ 29 / 39 ] simplifiying candidate # 1552124082.574 * * * * [progress]: [ 30 / 39 ] simplifiying candidate # 1552124082.574 * * * * [progress]: [ 31 / 39 ] simplifiying candidate # 1552124082.574 * * * * [progress]: [ 32 / 39 ] simplifiying candidate #real (real->posit16 (+ (exp x) 1)))))> 1552124082.574 * * * * [progress]: [ 33 / 39 ] simplifiying candidate # 1552124082.574 * * * * [progress]: [ 34 / 39 ] simplifiying candidate # 1552124082.575 * [simplify]: Simplifying (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))) 1552124082.575 * * [simplify]: iters left: 6 (18 enodes) 1552124082.586 * * [simplify]: iters left: 5 (76 enodes) 1552124082.614 * * [simplify]: iters left: 4 (157 enodes) 1552124082.677 * * [simplify]: iters left: 3 (369 enodes) 1552124082.844 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124082.844 * * [simplify]: Extracting #1: cost 35 inf + 0 1552124082.846 * * [simplify]: Extracting #2: cost 155 inf + 46 1552124082.848 * * [simplify]: Extracting #3: cost 142 inf + 4860 1552124082.859 * * [simplify]: Extracting #4: cost 28 inf + 19498 1552124082.875 * * [simplify]: Extracting #5: cost 1 inf + 24106 1552124082.890 * * [simplify]: Extracting #6: cost 0 inf + 24238 1552124082.905 * [simplify]: Simplified to (+ (* (/ (* x x) (sqrt 2)) 3/16) (fma 1/2 (/ x (sqrt 2)) (sqrt 2))) 1552124082.905 * [simplify]: Simplified (2) to (λ (x) (+ (* (/ (* x x) (sqrt 2)) 3/16) (fma 1/2 (/ x (sqrt 2)) (sqrt 2)))) 1552124082.906 * * * * [progress]: [ 35 / 39 ] simplifiying candidate # 1552124082.906 * [simplify]: Simplifying (sqrt (+ (exp x) 1)) 1552124082.906 * * [simplify]: iters left: 4 (5 enodes) 1552124082.909 * * [simplify]: iters left: 3 (18 enodes) 1552124082.915 * * [simplify]: iters left: 2 (20 enodes) 1552124082.921 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124082.921 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124082.921 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124082.921 * * [simplify]: Extracting #3: cost 7 inf + 1 1552124082.921 * * [simplify]: Extracting #4: cost 6 inf + 2 1552124082.922 * * [simplify]: Extracting #5: cost 0 inf + 672 1552124082.922 * [simplify]: Simplified to (sqrt (+ (exp x) 1)) 1552124082.922 * [simplify]: Simplified (2) to (λ (x) (sqrt (+ (exp x) 1))) 1552124082.922 * * * * [progress]: [ 36 / 39 ] simplifiying candidate # 1552124082.922 * [simplify]: Simplifying (sqrt (+ (exp x) 1)) 1552124082.922 * * [simplify]: iters left: 4 (5 enodes) 1552124082.925 * * [simplify]: iters left: 3 (18 enodes) 1552124082.931 * * [simplify]: iters left: 2 (20 enodes) 1552124082.937 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124082.937 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124082.937 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124082.937 * * [simplify]: Extracting #3: cost 7 inf + 1 1552124082.937 * * [simplify]: Extracting #4: cost 6 inf + 2 1552124082.937 * * [simplify]: Extracting #5: cost 0 inf + 672 1552124082.938 * [simplify]: Simplified to (sqrt (+ (exp x) 1)) 1552124082.938 * [simplify]: Simplified (2) to (λ (x) (sqrt (+ (exp x) 1))) 1552124082.938 * * * * [progress]: [ 37 / 39 ] simplifiying candidate # 1552124082.938 * [simplify]: Simplifying (+ x (+ (* 1/2 (pow x 2)) 2)) 1552124082.938 * * [simplify]: iters left: 6 (7 enodes) 1552124082.942 * * [simplify]: iters left: 5 (28 enodes) 1552124082.955 * * [simplify]: iters left: 4 (41 enodes) 1552124082.964 * * [simplify]: iters left: 3 (63 enodes) 1552124082.973 * * [simplify]: iters left: 2 (74 enodes) 1552124082.982 * * [simplify]: iters left: 1 (80 enodes) 1552124082.996 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124082.996 * * [simplify]: Extracting #1: cost 12 inf + 0 1552124082.996 * * [simplify]: Extracting #2: cost 17 inf + 3 1552124082.996 * * [simplify]: Extracting #3: cost 10 inf + 365 1552124082.997 * * [simplify]: Extracting #4: cost 1 inf + 1070 1552124082.998 * * [simplify]: Extracting #5: cost 0 inf + 1152 1552124082.999 * [simplify]: Simplified to (fma (fma x 1/2 1) x 2) 1552124082.999 * [simplify]: Simplified (2 1) to (λ (x) (sqrt (fma (fma x 1/2 1) x 2))) 1552124082.999 * * * * [progress]: [ 38 / 39 ] simplifiying candidate # 1552124082.999 * [simplify]: Simplifying (+ (exp x) 1) 1552124082.999 * * [simplify]: iters left: 3 (4 enodes) 1552124083.002 * * [simplify]: iters left: 2 (15 enodes) 1552124083.007 * * [simplify]: iters left: 1 (17 enodes) 1552124083.013 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124083.014 * * [simplify]: Extracting #1: cost 4 inf + 0 1552124083.014 * * [simplify]: Extracting #2: cost 5 inf + 1 1552124083.014 * * [simplify]: Extracting #3: cost 4 inf + 2 1552124083.014 * * [simplify]: Extracting #4: cost 1 inf + 256 1552124083.014 * * [simplify]: Extracting #5: cost 0 inf + 368 1552124083.014 * [simplify]: Simplified to (+ (exp x) 1) 1552124083.014 * [simplify]: Simplified (2 1) to (λ (x) (sqrt (+ (exp x) 1))) 1552124083.014 * * * * [progress]: [ 39 / 39 ] simplifiying candidate # 1552124083.014 * [simplify]: Simplifying (+ (exp x) 1) 1552124083.015 * * [simplify]: iters left: 3 (4 enodes) 1552124083.017 * * [simplify]: iters left: 2 (15 enodes) 1552124083.024 * * [simplify]: iters left: 1 (17 enodes) 1552124083.030 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124083.030 * * [simplify]: Extracting #1: cost 4 inf + 0 1552124083.030 * * [simplify]: Extracting #2: cost 5 inf + 1 1552124083.030 * * [simplify]: Extracting #3: cost 4 inf + 2 1552124083.030 * * [simplify]: Extracting #4: cost 1 inf + 256 1552124083.030 * * [simplify]: Extracting #5: cost 0 inf + 368 1552124083.031 * [simplify]: Simplified to (+ (exp x) 1) 1552124083.031 * [simplify]: Simplified (2 1) to (λ (x) (sqrt (+ (exp x) 1))) 1552124083.031 * * * [progress]: adding candidates to table 1552124083.328 * * [progress]: iteration 2 / 4 1552124083.328 * * * [progress]: picking best candidate 1552124083.337 * * * * [pick]: Picked # 1552124083.337 * * * [progress]: localizing error 1552124083.347 * * * [progress]: generating rewritten candidates 1552124083.347 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 1552124083.348 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1552124083.348 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2) 1552124083.349 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 1552124083.350 * * * [progress]: generating series expansions 1552124083.350 * * * * [progress]: [ 1 / 4 ] generating series at (2) 1552124083.351 * [backup-simplify]: Simplify (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)) into (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)) 1552124083.351 * [approximate]: Taking taylor expansion of (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)) in (x) around 0 1552124083.351 * [taylor]: Taking taylor expansion of (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)) in x 1552124083.351 * [taylor]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) 1) in x 1552124083.352 * [taylor]: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) 1) 1552124083.352 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x 1552124083.352 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 1552124083.352 * [taylor]: Taking taylor expansion of (exp x) in x 1552124083.352 * [taylor]: Taking taylor expansion of x in x 1552124083.352 * [backup-simplify]: Simplify 0 into 0 1552124083.352 * [backup-simplify]: Simplify 1 into 1 1552124083.352 * [backup-simplify]: Simplify (exp 0) into 1 1552124083.353 * [backup-simplify]: Simplify (sqrt 1) into 1 1552124083.353 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1552124083.354 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1552124083.354 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 1552124083.354 * [taylor]: Taking taylor expansion of (exp x) in x 1552124083.354 * [taylor]: Taking taylor expansion of x in x 1552124083.354 * [backup-simplify]: Simplify 0 into 0 1552124083.354 * [backup-simplify]: Simplify 1 into 1 1552124083.354 * [backup-simplify]: Simplify (exp 0) into 1 1552124083.354 * [backup-simplify]: Simplify (sqrt 1) into 1 1552124083.355 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1552124083.355 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1552124083.355 * [taylor]: Taking taylor expansion of 1 in x 1552124083.355 * [backup-simplify]: Simplify 1 into 1 1552124083.355 * [backup-simplify]: Simplify (* 1 1) into 1 1552124083.356 * [backup-simplify]: Simplify (+ 1 1) into 2 1552124083.356 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2) 1552124083.356 * [backup-simplify]: Simplify (+ (* 1 1/2) (* 1/2 1)) into 1 1552124083.357 * [backup-simplify]: Simplify (+ 1 0) into 1 1552124083.361 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 1552124083.362 * [taylor]: Taking taylor expansion of (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)) in x 1552124083.362 * [taylor]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) 1) in x 1552124083.362 * [taylor]: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) 1) 1552124083.362 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x 1552124083.362 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 1552124083.362 * [taylor]: Taking taylor expansion of (exp x) in x 1552124083.362 * [taylor]: Taking taylor expansion of x in x 1552124083.362 * [backup-simplify]: Simplify 0 into 0 1552124083.362 * [backup-simplify]: Simplify 1 into 1 1552124083.362 * [backup-simplify]: Simplify (exp 0) into 1 1552124083.362 * [backup-simplify]: Simplify (sqrt 1) into 1 1552124083.363 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1552124083.363 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1552124083.363 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 1552124083.363 * [taylor]: Taking taylor expansion of (exp x) in x 1552124083.363 * [taylor]: Taking taylor expansion of x in x 1552124083.363 * [backup-simplify]: Simplify 0 into 0 1552124083.363 * [backup-simplify]: Simplify 1 into 1 1552124083.363 * [backup-simplify]: Simplify (exp 0) into 1 1552124083.363 * [backup-simplify]: Simplify (sqrt 1) into 1 1552124083.364 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1552124083.364 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1552124083.364 * [taylor]: Taking taylor expansion of 1 in x 1552124083.364 * [backup-simplify]: Simplify 1 into 1 1552124083.364 * [backup-simplify]: Simplify (* 1 1) into 1 1552124083.365 * [backup-simplify]: Simplify (+ 1 1) into 2 1552124083.365 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2) 1552124083.365 * [backup-simplify]: Simplify (+ (* 1 1/2) (* 1/2 1)) into 1 1552124083.366 * [backup-simplify]: Simplify (+ 1 0) into 1 1552124083.366 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2)) 1552124083.367 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2) 1552124083.367 * [backup-simplify]: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2)) 1552124083.368 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1552124083.369 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 1552124083.369 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1552124083.370 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 1552124083.371 * [backup-simplify]: Simplify (+ (* 1 1/8) (+ (* 1/2 1/2) (* 1/8 1))) into 1/2 1552124083.371 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1552124083.373 * [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))) 1552124083.380 * [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))) 1552124083.388 * [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)))) 1552124083.388 * [backup-simplify]: Simplify (sqrt (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1)) into (sqrt (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1)) 1552124083.388 * [approximate]: Taking taylor expansion of (sqrt (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1)) in (x) around 0 1552124083.388 * [taylor]: Taking taylor expansion of (sqrt (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1)) in x 1552124083.388 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1) in x 1552124083.388 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) 1) 1552124083.388 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x 1552124083.388 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1552124083.388 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1552124083.388 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552124083.388 * [taylor]: Taking taylor expansion of x in x 1552124083.388 * [backup-simplify]: Simplify 0 into 0 1552124083.388 * [backup-simplify]: Simplify 1 into 1 1552124083.389 * [backup-simplify]: Simplify (/ 1 1) into 1 1552124083.389 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1552124083.389 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1552124083.389 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.389 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1552124083.389 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1552124083.389 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552124083.389 * [taylor]: Taking taylor expansion of x in x 1552124083.389 * [backup-simplify]: Simplify 0 into 0 1552124083.389 * [backup-simplify]: Simplify 1 into 1 1552124083.390 * [backup-simplify]: Simplify (/ 1 1) into 1 1552124083.390 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1552124083.390 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1552124083.390 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.390 * [taylor]: Taking taylor expansion of 1 in x 1552124083.390 * [backup-simplify]: Simplify 1 into 1 1552124083.390 * [backup-simplify]: Simplify (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) into (exp (/ 1 x)) 1552124083.390 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1552124083.390 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1552124083.390 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (* 0 (sqrt (exp (/ 1 x))))) into 0 1552124083.391 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124083.391 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1552124083.391 * [taylor]: Taking taylor expansion of (sqrt (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1)) in x 1552124083.391 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1) in x 1552124083.391 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) 1) 1552124083.391 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x 1552124083.391 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1552124083.391 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1552124083.391 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552124083.391 * [taylor]: Taking taylor expansion of x in x 1552124083.391 * [backup-simplify]: Simplify 0 into 0 1552124083.391 * [backup-simplify]: Simplify 1 into 1 1552124083.392 * [backup-simplify]: Simplify (/ 1 1) into 1 1552124083.392 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1552124083.392 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1552124083.392 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.392 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1552124083.392 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1552124083.392 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552124083.392 * [taylor]: Taking taylor expansion of x in x 1552124083.392 * [backup-simplify]: Simplify 0 into 0 1552124083.392 * [backup-simplify]: Simplify 1 into 1 1552124083.392 * [backup-simplify]: Simplify (/ 1 1) into 1 1552124083.393 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1552124083.393 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1552124083.393 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.393 * [taylor]: Taking taylor expansion of 1 in x 1552124083.393 * [backup-simplify]: Simplify 1 into 1 1552124083.393 * [backup-simplify]: Simplify (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) into (exp (/ 1 x)) 1552124083.393 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1552124083.393 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1552124083.393 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (* 0 (sqrt (exp (/ 1 x))))) into 0 1552124083.394 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124083.394 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1552124083.394 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1)) 1552124083.394 * [backup-simplify]: Simplify 0 into 0 1552124083.395 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.395 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.396 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x)))))) into 0 1552124083.396 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124083.397 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1552124083.397 * [backup-simplify]: Simplify 0 into 0 1552124083.398 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.399 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.400 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x))))))) into 0 1552124083.400 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124083.401 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1552124083.401 * [backup-simplify]: Simplify 0 into 0 1552124083.402 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.403 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.405 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x)))))))) into 0 1552124083.405 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124083.406 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1552124083.406 * [backup-simplify]: Simplify 0 into 0 1552124083.407 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.408 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.410 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x))))))))) into 0 1552124083.410 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124083.411 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1552124083.411 * [backup-simplify]: Simplify 0 into 0 1552124083.412 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.413 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.415 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x)))))))))) into 0 1552124083.416 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124083.417 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0 1552124083.417 * [backup-simplify]: Simplify 0 into 0 1552124083.417 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1)) 1552124083.417 * [backup-simplify]: Simplify (sqrt (fma (sqrt (exp (/ 1 (- x)))) (sqrt (exp (/ 1 (- x)))) 1)) into (sqrt (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) 1)) 1552124083.417 * [approximate]: Taking taylor expansion of (sqrt (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) 1)) in (x) around 0 1552124083.417 * [taylor]: Taking taylor expansion of (sqrt (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) 1)) in x 1552124083.417 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) 1) in x 1552124083.417 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) 1) 1552124083.417 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x 1552124083.418 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1552124083.418 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1552124083.418 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1552124083.418 * [taylor]: Taking taylor expansion of -1 in x 1552124083.418 * [backup-simplify]: Simplify -1 into -1 1552124083.418 * [taylor]: Taking taylor expansion of x in x 1552124083.418 * [backup-simplify]: Simplify 0 into 0 1552124083.418 * [backup-simplify]: Simplify 1 into 1 1552124083.418 * [backup-simplify]: Simplify (/ -1 1) into -1 1552124083.418 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1552124083.418 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1552124083.418 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.419 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1552124083.419 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1552124083.419 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1552124083.419 * [taylor]: Taking taylor expansion of -1 in x 1552124083.419 * [backup-simplify]: Simplify -1 into -1 1552124083.419 * [taylor]: Taking taylor expansion of x in x 1552124083.419 * [backup-simplify]: Simplify 0 into 0 1552124083.419 * [backup-simplify]: Simplify 1 into 1 1552124083.419 * [backup-simplify]: Simplify (/ -1 1) into -1 1552124083.419 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1552124083.419 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1552124083.419 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.419 * [taylor]: Taking taylor expansion of 1 in x 1552124083.419 * [backup-simplify]: Simplify 1 into 1 1552124083.420 * [backup-simplify]: Simplify (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) into (exp (/ -1 x)) 1552124083.420 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1552124083.420 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1552124083.420 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (* 0 (sqrt (exp (/ -1 x))))) into 0 1552124083.420 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124083.421 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1552124083.421 * [taylor]: Taking taylor expansion of (sqrt (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) 1)) in x 1552124083.421 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) 1) in x 1552124083.421 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) 1) 1552124083.421 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x 1552124083.421 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1552124083.421 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1552124083.421 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1552124083.421 * [taylor]: Taking taylor expansion of -1 in x 1552124083.421 * [backup-simplify]: Simplify -1 into -1 1552124083.421 * [taylor]: Taking taylor expansion of x in x 1552124083.421 * [backup-simplify]: Simplify 0 into 0 1552124083.421 * [backup-simplify]: Simplify 1 into 1 1552124083.421 * [backup-simplify]: Simplify (/ -1 1) into -1 1552124083.421 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1552124083.422 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1552124083.422 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.422 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1552124083.422 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1552124083.422 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1552124083.422 * [taylor]: Taking taylor expansion of -1 in x 1552124083.422 * [backup-simplify]: Simplify -1 into -1 1552124083.422 * [taylor]: Taking taylor expansion of x in x 1552124083.422 * [backup-simplify]: Simplify 0 into 0 1552124083.422 * [backup-simplify]: Simplify 1 into 1 1552124083.422 * [backup-simplify]: Simplify (/ -1 1) into -1 1552124083.422 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1552124083.422 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1552124083.423 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.423 * [taylor]: Taking taylor expansion of 1 in x 1552124083.423 * [backup-simplify]: Simplify 1 into 1 1552124083.423 * [backup-simplify]: Simplify (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) into (exp (/ -1 x)) 1552124083.423 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1552124083.423 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1552124083.423 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (* 0 (sqrt (exp (/ -1 x))))) into 0 1552124083.424 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124083.424 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1552124083.424 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1)) 1552124083.424 * [backup-simplify]: Simplify 0 into 0 1552124083.425 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.426 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.426 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x)))))) into 0 1552124083.426 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124083.427 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1552124083.427 * [backup-simplify]: Simplify 0 into 0 1552124083.428 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.429 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.430 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x))))))) into 0 1552124083.430 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124083.431 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1552124083.431 * [backup-simplify]: Simplify 0 into 0 1552124083.432 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.433 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.435 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x)))))))) into 0 1552124083.435 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124083.436 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1552124083.436 * [backup-simplify]: Simplify 0 into 0 1552124083.437 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.438 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.439 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x))))))))) into 0 1552124083.440 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124083.441 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1552124083.441 * [backup-simplify]: Simplify 0 into 0 1552124083.442 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.443 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.446 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x)))))))))) into 0 1552124083.446 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124083.447 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0 1552124083.447 * [backup-simplify]: Simplify 0 into 0 1552124083.447 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1)) 1552124083.447 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1552124083.447 * [backup-simplify]: Simplify (fma (sqrt (exp x)) (sqrt (exp x)) 1) into (fma (sqrt (exp x)) (sqrt (exp x)) 1) 1552124083.447 * [approximate]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) 1) in (x) around 0 1552124083.448 * [taylor]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) 1) in x 1552124083.448 * [taylor]: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) 1) 1552124083.448 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x 1552124083.448 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 1552124083.448 * [taylor]: Taking taylor expansion of (exp x) in x 1552124083.448 * [taylor]: Taking taylor expansion of x in x 1552124083.448 * [backup-simplify]: Simplify 0 into 0 1552124083.448 * [backup-simplify]: Simplify 1 into 1 1552124083.448 * [backup-simplify]: Simplify (exp 0) into 1 1552124083.448 * [backup-simplify]: Simplify (sqrt 1) into 1 1552124083.449 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1552124083.450 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1552124083.450 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 1552124083.450 * [taylor]: Taking taylor expansion of (exp x) in x 1552124083.450 * [taylor]: Taking taylor expansion of x in x 1552124083.450 * [backup-simplify]: Simplify 0 into 0 1552124083.450 * [backup-simplify]: Simplify 1 into 1 1552124083.450 * [backup-simplify]: Simplify (exp 0) into 1 1552124083.450 * [backup-simplify]: Simplify (sqrt 1) into 1 1552124083.451 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1552124083.452 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1552124083.452 * [taylor]: Taking taylor expansion of 1 in x 1552124083.452 * [backup-simplify]: Simplify 1 into 1 1552124083.452 * [taylor]: Taking taylor expansion of (fma (sqrt (exp x)) (sqrt (exp x)) 1) in x 1552124083.452 * [taylor]: Rewrote expression to (+ (* (sqrt (exp x)) (sqrt (exp x))) 1) 1552124083.452 * [taylor]: Taking taylor expansion of (* (sqrt (exp x)) (sqrt (exp x))) in x 1552124083.452 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 1552124083.452 * [taylor]: Taking taylor expansion of (exp x) in x 1552124083.452 * [taylor]: Taking taylor expansion of x in x 1552124083.452 * [backup-simplify]: Simplify 0 into 0 1552124083.452 * [backup-simplify]: Simplify 1 into 1 1552124083.452 * [backup-simplify]: Simplify (exp 0) into 1 1552124083.453 * [backup-simplify]: Simplify (sqrt 1) into 1 1552124083.454 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1552124083.454 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1552124083.454 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 1552124083.454 * [taylor]: Taking taylor expansion of (exp x) in x 1552124083.454 * [taylor]: Taking taylor expansion of x in x 1552124083.454 * [backup-simplify]: Simplify 0 into 0 1552124083.454 * [backup-simplify]: Simplify 1 into 1 1552124083.455 * [backup-simplify]: Simplify (exp 0) into 1 1552124083.455 * [backup-simplify]: Simplify (sqrt 1) into 1 1552124083.456 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1552124083.456 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1552124083.456 * [taylor]: Taking taylor expansion of 1 in x 1552124083.457 * [backup-simplify]: Simplify 1 into 1 1552124083.457 * [backup-simplify]: Simplify (* 1 1) into 1 1552124083.457 * [backup-simplify]: Simplify (+ 1 1) into 2 1552124083.457 * [backup-simplify]: Simplify 2 into 2 1552124083.458 * [backup-simplify]: Simplify (+ (* 1 1/2) (* 1/2 1)) into 1 1552124083.458 * [backup-simplify]: Simplify (+ 1 0) into 1 1552124083.458 * [backup-simplify]: Simplify 1 into 1 1552124083.460 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1552124083.461 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 1552124083.463 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1552124083.464 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 1552124083.464 * [backup-simplify]: Simplify (+ (* 1 1/8) (+ (* 1/2 1/2) (* 1/8 1))) into 1/2 1552124083.465 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2 1552124083.465 * [backup-simplify]: Simplify 1/2 into 1/2 1552124083.465 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ x (+ (* 1/2 (pow x 2)) 2)) 1552124083.465 * [backup-simplify]: Simplify (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1) into (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1) 1552124083.465 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1) in (x) around 0 1552124083.465 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1) in x 1552124083.466 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) 1) 1552124083.466 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x 1552124083.466 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1552124083.466 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1552124083.466 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552124083.466 * [taylor]: Taking taylor expansion of x in x 1552124083.466 * [backup-simplify]: Simplify 0 into 0 1552124083.466 * [backup-simplify]: Simplify 1 into 1 1552124083.466 * [backup-simplify]: Simplify (/ 1 1) into 1 1552124083.466 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1552124083.466 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1552124083.466 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.466 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1552124083.466 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1552124083.466 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552124083.466 * [taylor]: Taking taylor expansion of x in x 1552124083.467 * [backup-simplify]: Simplify 0 into 0 1552124083.467 * [backup-simplify]: Simplify 1 into 1 1552124083.467 * [backup-simplify]: Simplify (/ 1 1) into 1 1552124083.467 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1552124083.467 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1552124083.467 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.467 * [taylor]: Taking taylor expansion of 1 in x 1552124083.467 * [backup-simplify]: Simplify 1 into 1 1552124083.467 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x))) 1) in x 1552124083.467 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) 1) 1552124083.467 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) in x 1552124083.467 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1552124083.467 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1552124083.467 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552124083.467 * [taylor]: Taking taylor expansion of x in x 1552124083.467 * [backup-simplify]: Simplify 0 into 0 1552124083.467 * [backup-simplify]: Simplify 1 into 1 1552124083.468 * [backup-simplify]: Simplify (/ 1 1) into 1 1552124083.468 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1552124083.468 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1552124083.468 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.468 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1552124083.468 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1552124083.468 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552124083.468 * [taylor]: Taking taylor expansion of x in x 1552124083.468 * [backup-simplify]: Simplify 0 into 0 1552124083.468 * [backup-simplify]: Simplify 1 into 1 1552124083.469 * [backup-simplify]: Simplify (/ 1 1) into 1 1552124083.469 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1552124083.469 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1552124083.469 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.469 * [taylor]: Taking taylor expansion of 1 in x 1552124083.469 * [backup-simplify]: Simplify 1 into 1 1552124083.469 * [backup-simplify]: Simplify (* (sqrt (exp (/ 1 x))) (sqrt (exp (/ 1 x)))) into (exp (/ 1 x)) 1552124083.469 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1552124083.469 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1) 1552124083.470 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (* 0 (sqrt (exp (/ 1 x))))) into 0 1552124083.470 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124083.470 * [backup-simplify]: Simplify 0 into 0 1552124083.471 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.471 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.472 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x)))))) into 0 1552124083.472 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124083.472 * [backup-simplify]: Simplify 0 into 0 1552124083.473 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.474 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.475 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x))))))) into 0 1552124083.476 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124083.476 * [backup-simplify]: Simplify 0 into 0 1552124083.477 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.478 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.479 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x)))))))) into 0 1552124083.479 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124083.479 * [backup-simplify]: Simplify 0 into 0 1552124083.480 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.481 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.483 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x))))))))) into 0 1552124083.483 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124083.483 * [backup-simplify]: Simplify 0 into 0 1552124083.484 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.485 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.487 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ 1 x)))))))))) into 0 1552124083.487 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124083.487 * [backup-simplify]: Simplify 0 into 0 1552124083.487 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1) 1552124083.488 * [backup-simplify]: Simplify (fma (sqrt (exp (/ 1 (- x)))) (sqrt (exp (/ 1 (- x)))) 1) into (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) 1) 1552124083.488 * [approximate]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) 1) in (x) around 0 1552124083.488 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) 1) in x 1552124083.488 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) 1) 1552124083.488 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x 1552124083.488 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1552124083.488 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1552124083.488 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1552124083.488 * [taylor]: Taking taylor expansion of -1 in x 1552124083.488 * [backup-simplify]: Simplify -1 into -1 1552124083.488 * [taylor]: Taking taylor expansion of x in x 1552124083.488 * [backup-simplify]: Simplify 0 into 0 1552124083.488 * [backup-simplify]: Simplify 1 into 1 1552124083.488 * [backup-simplify]: Simplify (/ -1 1) into -1 1552124083.489 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1552124083.489 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1552124083.489 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.489 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1552124083.489 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1552124083.489 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1552124083.489 * [taylor]: Taking taylor expansion of -1 in x 1552124083.489 * [backup-simplify]: Simplify -1 into -1 1552124083.489 * [taylor]: Taking taylor expansion of x in x 1552124083.489 * [backup-simplify]: Simplify 0 into 0 1552124083.489 * [backup-simplify]: Simplify 1 into 1 1552124083.489 * [backup-simplify]: Simplify (/ -1 1) into -1 1552124083.489 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1552124083.490 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1552124083.490 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.490 * [taylor]: Taking taylor expansion of 1 in x 1552124083.490 * [backup-simplify]: Simplify 1 into 1 1552124083.490 * [taylor]: Taking taylor expansion of (fma (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x))) 1) in x 1552124083.490 * [taylor]: Rewrote expression to (+ (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) 1) 1552124083.490 * [taylor]: Taking taylor expansion of (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) in x 1552124083.490 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1552124083.490 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1552124083.490 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1552124083.490 * [taylor]: Taking taylor expansion of -1 in x 1552124083.490 * [backup-simplify]: Simplify -1 into -1 1552124083.490 * [taylor]: Taking taylor expansion of x in x 1552124083.490 * [backup-simplify]: Simplify 0 into 0 1552124083.490 * [backup-simplify]: Simplify 1 into 1 1552124083.490 * [backup-simplify]: Simplify (/ -1 1) into -1 1552124083.490 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1552124083.491 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1552124083.491 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.491 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1552124083.491 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1552124083.491 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1552124083.491 * [taylor]: Taking taylor expansion of -1 in x 1552124083.491 * [backup-simplify]: Simplify -1 into -1 1552124083.491 * [taylor]: Taking taylor expansion of x in x 1552124083.491 * [backup-simplify]: Simplify 0 into 0 1552124083.491 * [backup-simplify]: Simplify 1 into 1 1552124083.491 * [backup-simplify]: Simplify (/ -1 1) into -1 1552124083.491 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1552124083.491 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1552124083.492 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.492 * [taylor]: Taking taylor expansion of 1 in x 1552124083.492 * [backup-simplify]: Simplify 1 into 1 1552124083.492 * [backup-simplify]: Simplify (* (sqrt (exp (/ -1 x))) (sqrt (exp (/ -1 x)))) into (exp (/ -1 x)) 1552124083.492 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1552124083.492 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1) 1552124083.492 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (* 0 (sqrt (exp (/ -1 x))))) into 0 1552124083.492 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124083.493 * [backup-simplify]: Simplify 0 into 0 1552124083.496 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.497 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.498 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x)))))) into 0 1552124083.498 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124083.498 * [backup-simplify]: Simplify 0 into 0 1552124083.499 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.500 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.501 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x))))))) into 0 1552124083.501 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124083.501 * [backup-simplify]: Simplify 0 into 0 1552124083.502 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.503 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.504 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x)))))))) into 0 1552124083.505 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124083.505 * [backup-simplify]: Simplify 0 into 0 1552124083.505 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.506 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.508 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x))))))))) into 0 1552124083.508 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124083.508 * [backup-simplify]: Simplify 0 into 0 1552124083.509 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.510 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.512 * [backup-simplify]: Simplify (+ (* (sqrt (exp (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (exp (/ -1 x)))))))))) into 0 1552124083.512 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124083.512 * [backup-simplify]: Simplify 0 into 0 1552124083.512 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1) 1552124083.513 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2) 1552124083.513 * [backup-simplify]: Simplify (sqrt (exp x)) into (sqrt (exp x)) 1552124083.513 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 1552124083.513 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 1552124083.513 * [taylor]: Taking taylor expansion of (exp x) in x 1552124083.513 * [taylor]: Taking taylor expansion of x in x 1552124083.513 * [backup-simplify]: Simplify 0 into 0 1552124083.513 * [backup-simplify]: Simplify 1 into 1 1552124083.513 * [backup-simplify]: Simplify (exp 0) into 1 1552124083.513 * [backup-simplify]: Simplify (sqrt 1) into 1 1552124083.514 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1552124083.515 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1552124083.515 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 1552124083.515 * [taylor]: Taking taylor expansion of (exp x) in x 1552124083.515 * [taylor]: Taking taylor expansion of x in x 1552124083.515 * [backup-simplify]: Simplify 0 into 0 1552124083.515 * [backup-simplify]: Simplify 1 into 1 1552124083.515 * [backup-simplify]: Simplify (exp 0) into 1 1552124083.515 * [backup-simplify]: Simplify (sqrt 1) into 1 1552124083.516 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1552124083.517 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1552124083.517 * [backup-simplify]: Simplify 1 into 1 1552124083.517 * [backup-simplify]: Simplify 1/2 into 1/2 1552124083.519 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1552124083.520 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 1552124083.520 * [backup-simplify]: Simplify 1/8 into 1/8 1552124083.520 * [backup-simplify]: Simplify (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1)) 1552124083.520 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1552124083.520 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 1552124083.520 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1552124083.520 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1552124083.520 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552124083.520 * [taylor]: Taking taylor expansion of x in x 1552124083.520 * [backup-simplify]: Simplify 0 into 0 1552124083.520 * [backup-simplify]: Simplify 1 into 1 1552124083.521 * [backup-simplify]: Simplify (/ 1 1) into 1 1552124083.521 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1552124083.521 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1552124083.521 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.521 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1552124083.521 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1552124083.521 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552124083.521 * [taylor]: Taking taylor expansion of x in x 1552124083.521 * [backup-simplify]: Simplify 0 into 0 1552124083.521 * [backup-simplify]: Simplify 1 into 1 1552124083.521 * [backup-simplify]: Simplify (/ 1 1) into 1 1552124083.522 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1552124083.522 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1552124083.522 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.522 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1552124083.522 * [backup-simplify]: Simplify 0 into 0 1552124083.523 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.523 * [backup-simplify]: Simplify 0 into 0 1552124083.524 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.524 * [backup-simplify]: Simplify 0 into 0 1552124083.525 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.525 * [backup-simplify]: Simplify 0 into 0 1552124083.525 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.526 * [backup-simplify]: Simplify 0 into 0 1552124083.527 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.527 * [backup-simplify]: Simplify 0 into 0 1552124083.527 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (/ 1 x)))) into (sqrt (exp x)) 1552124083.527 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (- x)))) into (sqrt (exp (/ -1 x))) 1552124083.527 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 1552124083.527 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1552124083.527 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1552124083.527 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1552124083.527 * [taylor]: Taking taylor expansion of -1 in x 1552124083.527 * [backup-simplify]: Simplify -1 into -1 1552124083.527 * [taylor]: Taking taylor expansion of x in x 1552124083.527 * [backup-simplify]: Simplify 0 into 0 1552124083.527 * [backup-simplify]: Simplify 1 into 1 1552124083.527 * [backup-simplify]: Simplify (/ -1 1) into -1 1552124083.528 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1552124083.528 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1552124083.528 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.528 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1552124083.528 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1552124083.528 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1552124083.528 * [taylor]: Taking taylor expansion of -1 in x 1552124083.528 * [backup-simplify]: Simplify -1 into -1 1552124083.528 * [taylor]: Taking taylor expansion of x in x 1552124083.528 * [backup-simplify]: Simplify 0 into 0 1552124083.528 * [backup-simplify]: Simplify 1 into 1 1552124083.528 * [backup-simplify]: Simplify (/ -1 1) into -1 1552124083.528 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1552124083.529 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1552124083.529 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.529 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1552124083.529 * [backup-simplify]: Simplify 0 into 0 1552124083.530 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.530 * [backup-simplify]: Simplify 0 into 0 1552124083.530 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.531 * [backup-simplify]: Simplify 0 into 0 1552124083.531 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.532 * [backup-simplify]: Simplify 0 into 0 1552124083.532 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.532 * [backup-simplify]: Simplify 0 into 0 1552124083.533 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.533 * [backup-simplify]: Simplify 0 into 0 1552124083.534 * [backup-simplify]: Simplify (sqrt (exp (/ -1 (/ 1 (- x))))) into (sqrt (exp x)) 1552124083.534 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 1552124083.534 * [backup-simplify]: Simplify (sqrt (exp x)) into (sqrt (exp x)) 1552124083.534 * [approximate]: Taking taylor expansion of (sqrt (exp x)) in (x) around 0 1552124083.534 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 1552124083.534 * [taylor]: Taking taylor expansion of (exp x) in x 1552124083.534 * [taylor]: Taking taylor expansion of x in x 1552124083.534 * [backup-simplify]: Simplify 0 into 0 1552124083.534 * [backup-simplify]: Simplify 1 into 1 1552124083.534 * [backup-simplify]: Simplify (exp 0) into 1 1552124083.534 * [backup-simplify]: Simplify (sqrt 1) into 1 1552124083.535 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1552124083.536 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1552124083.536 * [taylor]: Taking taylor expansion of (sqrt (exp x)) in x 1552124083.536 * [taylor]: Taking taylor expansion of (exp x) in x 1552124083.536 * [taylor]: Taking taylor expansion of x in x 1552124083.536 * [backup-simplify]: Simplify 0 into 0 1552124083.536 * [backup-simplify]: Simplify 1 into 1 1552124083.536 * [backup-simplify]: Simplify (exp 0) into 1 1552124083.537 * [backup-simplify]: Simplify (sqrt 1) into 1 1552124083.537 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1552124083.538 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1))) into 1/2 1552124083.538 * [backup-simplify]: Simplify 1 into 1 1552124083.538 * [backup-simplify]: Simplify 1/2 into 1/2 1552124083.540 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1552124083.541 * [backup-simplify]: Simplify (/ (- 1/2 (pow 1/2 2) (+)) (* 2 1)) into 1/8 1552124083.541 * [backup-simplify]: Simplify 1/8 into 1/8 1552124083.541 * [backup-simplify]: Simplify (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) 1)) into (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1)) 1552124083.541 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1552124083.541 * [approximate]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in (x) around 0 1552124083.541 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1552124083.541 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1552124083.541 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552124083.541 * [taylor]: Taking taylor expansion of x in x 1552124083.541 * [backup-simplify]: Simplify 0 into 0 1552124083.541 * [backup-simplify]: Simplify 1 into 1 1552124083.542 * [backup-simplify]: Simplify (/ 1 1) into 1 1552124083.542 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1552124083.542 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1552124083.542 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.542 * [taylor]: Taking taylor expansion of (sqrt (exp (/ 1 x))) in x 1552124083.542 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1552124083.542 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552124083.542 * [taylor]: Taking taylor expansion of x in x 1552124083.542 * [backup-simplify]: Simplify 0 into 0 1552124083.542 * [backup-simplify]: Simplify 1 into 1 1552124083.543 * [backup-simplify]: Simplify (/ 1 1) into 1 1552124083.543 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1552124083.543 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1552124083.543 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.543 * [backup-simplify]: Simplify (sqrt (exp (/ 1 x))) into (sqrt (exp (/ 1 x))) 1552124083.543 * [backup-simplify]: Simplify 0 into 0 1552124083.544 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.544 * [backup-simplify]: Simplify 0 into 0 1552124083.545 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.545 * [backup-simplify]: Simplify 0 into 0 1552124083.546 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.546 * [backup-simplify]: Simplify 0 into 0 1552124083.546 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.547 * [backup-simplify]: Simplify 0 into 0 1552124083.547 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ 1 x))))) into 0 1552124083.548 * [backup-simplify]: Simplify 0 into 0 1552124083.548 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (/ 1 x)))) into (sqrt (exp x)) 1552124083.548 * [backup-simplify]: Simplify (sqrt (exp (/ 1 (- x)))) into (sqrt (exp (/ -1 x))) 1552124083.548 * [approximate]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in (x) around 0 1552124083.548 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1552124083.548 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1552124083.548 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1552124083.548 * [taylor]: Taking taylor expansion of -1 in x 1552124083.548 * [backup-simplify]: Simplify -1 into -1 1552124083.548 * [taylor]: Taking taylor expansion of x in x 1552124083.548 * [backup-simplify]: Simplify 0 into 0 1552124083.548 * [backup-simplify]: Simplify 1 into 1 1552124083.548 * [backup-simplify]: Simplify (/ -1 1) into -1 1552124083.548 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1552124083.549 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1552124083.549 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.549 * [taylor]: Taking taylor expansion of (sqrt (exp (/ -1 x))) in x 1552124083.549 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1552124083.549 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1552124083.549 * [taylor]: Taking taylor expansion of -1 in x 1552124083.549 * [backup-simplify]: Simplify -1 into -1 1552124083.549 * [taylor]: Taking taylor expansion of x in x 1552124083.549 * [backup-simplify]: Simplify 0 into 0 1552124083.549 * [backup-simplify]: Simplify 1 into 1 1552124083.549 * [backup-simplify]: Simplify (/ -1 1) into -1 1552124083.549 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1552124083.549 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1552124083.550 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.550 * [backup-simplify]: Simplify (sqrt (exp (/ -1 x))) into (sqrt (exp (/ -1 x))) 1552124083.550 * [backup-simplify]: Simplify 0 into 0 1552124083.551 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.551 * [backup-simplify]: Simplify 0 into 0 1552124083.551 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.551 * [backup-simplify]: Simplify 0 into 0 1552124083.552 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.552 * [backup-simplify]: Simplify 0 into 0 1552124083.553 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.553 * [backup-simplify]: Simplify 0 into 0 1552124083.554 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (exp (/ -1 x))))) into 0 1552124083.554 * [backup-simplify]: Simplify 0 into 0 1552124083.555 * [backup-simplify]: Simplify (sqrt (exp (/ -1 (/ 1 (- x))))) into (sqrt (exp x)) 1552124083.555 * * * [progress]: simplifying candidates 1552124083.555 * * * * [progress]: [ 1 / 68 ] simplifiying candidate # 1552124083.555 * * * * [progress]: [ 2 / 68 ] simplifiying candidate # 1552124083.555 * * * * [progress]: [ 3 / 68 ] simplifiying candidate # 1552124083.555 * * * * [progress]: [ 4 / 68 ] simplifiying candidate # 1552124083.555 * * * * [progress]: [ 5 / 68 ] simplifiying candidate # 1552124083.556 * * * * [progress]: [ 6 / 68 ] simplifiying candidate # 1552124083.556 * * * * [progress]: [ 7 / 68 ] simplifiying candidate # 1552124083.556 * * * * [progress]: [ 8 / 68 ] simplifiying candidate # 1552124083.556 * * * * [progress]: [ 9 / 68 ] simplifiying candidate # 1552124083.556 * [simplify]: Simplifying (sqrt (* (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)) (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)))) 1552124083.556 * * [simplify]: iters left: 6 (8 enodes) 1552124083.560 * * [simplify]: iters left: 5 (29 enodes) 1552124083.569 * * [simplify]: iters left: 4 (31 enodes) 1552124083.578 * * [simplify]: iters left: 3 (32 enodes) 1552124083.587 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124083.587 * * [simplify]: Extracting #1: cost 4 inf + 0 1552124083.587 * * [simplify]: Extracting #2: cost 7 inf + 0 1552124083.587 * * [simplify]: Extracting #3: cost 11 inf + 0 1552124083.588 * * [simplify]: Extracting #4: cost 13 inf + 1 1552124083.588 * * [simplify]: Extracting #5: cost 12 inf + 2 1552124083.588 * * [simplify]: Extracting #6: cost 10 inf + 144 1552124083.588 * * [simplify]: Extracting #7: cost 5 inf + 902 1552124083.588 * * [simplify]: Extracting #8: cost 0 inf + 1902 1552124083.589 * [simplify]: Simplified to (fabs (cbrt (+ (exp x) 1))) 1552124083.589 * [simplify]: Simplified (2 1) to (λ (x) (* (fabs (cbrt (+ (exp x) 1))) (sqrt (cbrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))))) 1552124083.589 * * * * [progress]: [ 10 / 68 ] simplifiying candidate # 1552124083.589 * [simplify]: Simplifying (sqrt (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))) 1552124083.590 * * [simplify]: iters left: 5 (7 enodes) 1552124083.593 * * [simplify]: iters left: 4 (25 enodes) 1552124083.601 * * [simplify]: iters left: 3 (27 enodes) 1552124083.610 * * [simplify]: iters left: 2 (28 enodes) 1552124083.618 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124083.618 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124083.618 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124083.619 * * [simplify]: Extracting #3: cost 9 inf + 0 1552124083.619 * * [simplify]: Extracting #4: cost 11 inf + 1 1552124083.619 * * [simplify]: Extracting #5: cost 10 inf + 2 1552124083.619 * * [simplify]: Extracting #6: cost 4 inf + 630 1552124083.619 * * [simplify]: Extracting #7: cost 1 inf + 1086 1552124083.620 * * [simplify]: Extracting #8: cost 0 inf + 1278 1552124083.620 * [simplify]: Simplified to (sqrt (sqrt (+ (exp x) 1))) 1552124083.620 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))))) 1552124083.620 * * * * [progress]: [ 11 / 68 ] simplifiying candidate # 1552124083.620 * [simplify]: Simplifying (sqrt 1) 1552124083.620 * * [simplify]: iters left: 1 (2 enodes) 1552124083.624 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124083.624 * * [simplify]: Extracting #1: cost 0 inf + 1 1552124083.624 * [simplify]: Simplified to 1 1552124083.624 * [simplify]: Simplified (2 1) to (λ (x) (* 1 (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)))) 1552124083.624 * * * * [progress]: [ 12 / 68 ] simplifiying candidate # 1552124083.624 * * * * [progress]: [ 13 / 68 ] simplifiying candidate # 1552124083.624 * [simplify]: Simplifying (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)) 1552124083.624 * * [simplify]: iters left: 4 (6 enodes) 1552124083.628 * * [simplify]: iters left: 3 (22 enodes) 1552124083.635 * * [simplify]: iters left: 2 (24 enodes) 1552124083.643 * * [simplify]: iters left: 1 (25 enodes) 1552124083.650 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124083.650 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124083.650 * * [simplify]: Extracting #2: cost 7 inf + 0 1552124083.650 * * [simplify]: Extracting #3: cost 9 inf + 1 1552124083.651 * * [simplify]: Extracting #4: cost 8 inf + 2 1552124083.651 * * [simplify]: Extracting #5: cost 1 inf + 742 1552124083.651 * * [simplify]: Extracting #6: cost 0 inf + 894 1552124083.651 * [simplify]: Simplified to (sqrt (+ (exp x) 1)) 1552124083.651 * [simplify]: Simplified (2 1) to (λ (x) (fabs (sqrt (+ (exp x) 1)))) 1552124083.651 * * * * [progress]: [ 14 / 68 ] simplifiying candidate # 1552124083.652 * * * * [progress]: [ 15 / 68 ] simplifiying candidate #real (real->posit16 (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1)))))> 1552124083.652 * * * * [progress]: [ 16 / 68 ] simplifiying candidate # 1552124083.652 * * * * [progress]: [ 17 / 68 ] simplifiying candidate # 1552124083.652 * * * * [progress]: [ 18 / 68 ] simplifiying candidate # 1552124083.652 * * * * [progress]: [ 19 / 68 ] simplifiying candidate # 1552124083.652 * * * * [progress]: [ 20 / 68 ] simplifiying candidate # 1552124083.652 * * * * [progress]: [ 21 / 68 ] simplifiying candidate # 1552124083.652 * * * * [progress]: [ 22 / 68 ] simplifiying candidate # 1552124083.652 * * * * [progress]: [ 23 / 68 ] simplifiying candidate # 1552124083.652 * * * * [progress]: [ 24 / 68 ] simplifiying candidate # 1552124083.652 * * * * [progress]: [ 25 / 68 ] simplifiying candidate # 1552124083.652 * * * * [progress]: [ 26 / 68 ] simplifiying candidate #real (real->posit16 (fma (sqrt (exp x)) (sqrt (exp x)) 1)))))> 1552124083.652 * * * * [progress]: [ 27 / 68 ] simplifiying candidate # 1552124083.652 * * * * [progress]: [ 28 / 68 ] simplifiying candidate # 1552124083.652 * * * * [progress]: [ 29 / 68 ] simplifiying candidate # 1552124083.652 * * * * [progress]: [ 30 / 68 ] simplifiying candidate # 1552124083.653 * * * * [progress]: [ 31 / 68 ] simplifiying candidate # 1552124083.653 * * * * [progress]: [ 32 / 68 ] simplifiying candidate # 1552124083.653 * * * * [progress]: [ 33 / 68 ] simplifiying candidate # 1552124083.653 * * * * [progress]: [ 34 / 68 ] simplifiying candidate # 1552124083.653 * * * * [progress]: [ 35 / 68 ] simplifiying candidate # 1552124083.653 * [simplify]: Simplifying (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) 1552124083.653 * * [simplify]: iters left: 5 (5 enodes) 1552124083.655 * * [simplify]: iters left: 4 (16 enodes) 1552124083.663 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124083.663 * * [simplify]: Extracting #1: cost 4 inf + 0 1552124083.663 * * [simplify]: Extracting #2: cost 7 inf + 0 1552124083.663 * * [simplify]: Extracting #3: cost 9 inf + 0 1552124083.663 * * [simplify]: Extracting #4: cost 8 inf + 1 1552124083.663 * * [simplify]: Extracting #5: cost 0 inf + 1209 1552124083.663 * [simplify]: Simplified to (fabs (cbrt (exp x))) 1552124083.664 * [simplify]: Simplified (2 1 2 1) to (λ (x) (sqrt (fma (sqrt (exp x)) (* (fabs (cbrt (exp x))) (sqrt (cbrt (exp x)))) 1))) 1552124083.664 * * * * [progress]: [ 36 / 68 ] simplifiying candidate # 1552124083.664 * [simplify]: Simplifying (sqrt (sqrt (exp x))) 1552124083.664 * * [simplify]: iters left: 3 (4 enodes) 1552124083.666 * * [simplify]: iters left: 2 (12 enodes) 1552124083.669 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124083.669 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124083.669 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124083.669 * * [simplify]: Extracting #3: cost 7 inf + 0 1552124083.669 * * [simplify]: Extracting #4: cost 6 inf + 1 1552124083.670 * * [simplify]: Extracting #5: cost 0 inf + 667 1552124083.670 * [simplify]: Simplified to (sqrt (sqrt (exp x))) 1552124083.670 * [simplify]: Simplified (2 1 2 1) to (λ (x) (sqrt (fma (sqrt (exp x)) (* (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x)))) 1))) 1552124083.670 * * * * [progress]: [ 37 / 68 ] simplifiying candidate # 1552124083.670 * [simplify]: Simplifying (sqrt 1) 1552124083.670 * * [simplify]: iters left: 1 (2 enodes) 1552124083.674 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124083.674 * * [simplify]: Extracting #1: cost 0 inf + 1 1552124083.674 * [simplify]: Simplified to 1 1552124083.675 * [simplify]: Simplified (2 1 2 1) to (λ (x) (sqrt (fma (sqrt (exp x)) (* 1 (sqrt (exp x))) 1))) 1552124083.675 * * * * [progress]: [ 38 / 68 ] simplifiying candidate # 1552124083.675 * * * * [progress]: [ 39 / 68 ] simplifiying candidate # 1552124083.675 * [simplify]: Simplifying (sqrt (exp x)) 1552124083.675 * * [simplify]: iters left: 2 (3 enodes) 1552124083.676 * * [simplify]: iters left: 1 (9 enodes) 1552124083.679 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124083.679 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124083.679 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124083.679 * * [simplify]: Extracting #3: cost 4 inf + 1 1552124083.679 * * [simplify]: Extracting #4: cost 0 inf + 365 1552124083.679 * [simplify]: Simplified to (sqrt (exp x)) 1552124083.679 * [simplify]: Simplified (2 1 2 1) to (λ (x) (sqrt (fma (sqrt (exp x)) (fabs (sqrt (exp x))) 1))) 1552124083.679 * * * * [progress]: [ 40 / 68 ] simplifiying candidate # 1552124083.679 * * * * [progress]: [ 41 / 68 ] simplifiying candidate #real (real->posit16 (sqrt (exp x)))) 1)))> 1552124083.679 * * * * [progress]: [ 42 / 68 ] simplifiying candidate # 1552124083.679 * * * * [progress]: [ 43 / 68 ] simplifiying candidate # 1552124083.679 * * * * [progress]: [ 44 / 68 ] simplifiying candidate # 1552124083.680 * * * * [progress]: [ 45 / 68 ] simplifiying candidate # 1552124083.680 * * * * [progress]: [ 46 / 68 ] simplifiying candidate # 1552124083.680 * * * * [progress]: [ 47 / 68 ] simplifiying candidate # 1552124083.680 * * * * [progress]: [ 48 / 68 ] simplifiying candidate # 1552124083.680 * * * * [progress]: [ 49 / 68 ] simplifiying candidate # 1552124083.680 * * * * [progress]: [ 50 / 68 ] simplifiying candidate # 1552124083.680 * [simplify]: Simplifying (sqrt (* (cbrt (exp x)) (cbrt (exp x)))) 1552124083.680 * * [simplify]: iters left: 5 (5 enodes) 1552124083.682 * * [simplify]: iters left: 4 (16 enodes) 1552124083.684 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124083.684 * * [simplify]: Extracting #1: cost 4 inf + 0 1552124083.684 * * [simplify]: Extracting #2: cost 7 inf + 0 1552124083.684 * * [simplify]: Extracting #3: cost 9 inf + 0 1552124083.684 * * [simplify]: Extracting #4: cost 8 inf + 1 1552124083.684 * * [simplify]: Extracting #5: cost 0 inf + 1209 1552124083.684 * [simplify]: Simplified to (fabs (cbrt (exp x))) 1552124083.684 * [simplify]: Simplified (2 1 1 1) to (λ (x) (sqrt (fma (* (fabs (cbrt (exp x))) (sqrt (cbrt (exp x)))) (sqrt (exp x)) 1))) 1552124083.684 * * * * [progress]: [ 51 / 68 ] simplifiying candidate # 1552124083.685 * [simplify]: Simplifying (sqrt (sqrt (exp x))) 1552124083.685 * * [simplify]: iters left: 3 (4 enodes) 1552124083.685 * * [simplify]: iters left: 2 (12 enodes) 1552124083.687 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124083.687 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124083.687 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124083.687 * * [simplify]: Extracting #3: cost 7 inf + 0 1552124083.687 * * [simplify]: Extracting #4: cost 6 inf + 1 1552124083.687 * * [simplify]: Extracting #5: cost 0 inf + 667 1552124083.687 * [simplify]: Simplified to (sqrt (sqrt (exp x))) 1552124083.687 * [simplify]: Simplified (2 1 1 1) to (λ (x) (sqrt (fma (* (sqrt (sqrt (exp x))) (sqrt (sqrt (exp x)))) (sqrt (exp x)) 1))) 1552124083.687 * * * * [progress]: [ 52 / 68 ] simplifiying candidate # 1552124083.688 * [simplify]: Simplifying (sqrt 1) 1552124083.688 * * [simplify]: iters left: 1 (2 enodes) 1552124083.689 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124083.690 * * [simplify]: Extracting #1: cost 0 inf + 1 1552124083.690 * [simplify]: Simplified to 1 1552124083.690 * [simplify]: Simplified (2 1 1 1) to (λ (x) (sqrt (fma (* 1 (sqrt (exp x))) (sqrt (exp x)) 1))) 1552124083.690 * * * * [progress]: [ 53 / 68 ] simplifiying candidate # 1552124083.690 * * * * [progress]: [ 54 / 68 ] simplifiying candidate # 1552124083.690 * [simplify]: Simplifying (sqrt (exp x)) 1552124083.690 * * [simplify]: iters left: 2 (3 enodes) 1552124083.690 * * [simplify]: iters left: 1 (9 enodes) 1552124083.692 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124083.692 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124083.692 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124083.692 * * [simplify]: Extracting #3: cost 4 inf + 1 1552124083.692 * * [simplify]: Extracting #4: cost 0 inf + 365 1552124083.692 * [simplify]: Simplified to (sqrt (exp x)) 1552124083.692 * [simplify]: Simplified (2 1 1 1) to (λ (x) (sqrt (fma (fabs (sqrt (exp x))) (sqrt (exp x)) 1))) 1552124083.692 * * * * [progress]: [ 55 / 68 ] simplifiying candidate # 1552124083.692 * * * * [progress]: [ 56 / 68 ] simplifiying candidate #real (real->posit16 (sqrt (exp x)))) (sqrt (exp x)) 1)))> 1552124083.692 * * * * [progress]: [ 57 / 68 ] simplifiying candidate # 1552124083.692 * [simplify]: Simplifying (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))) 1552124083.692 * * [simplify]: iters left: 6 (18 enodes) 1552124083.698 * * [simplify]: iters left: 5 (76 enodes) 1552124083.720 * * [simplify]: iters left: 4 (157 enodes) 1552124083.765 * * [simplify]: iters left: 3 (369 enodes) 1552124083.903 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124083.903 * * [simplify]: Extracting #1: cost 35 inf + 0 1552124083.904 * * [simplify]: Extracting #2: cost 155 inf + 46 1552124083.907 * * [simplify]: Extracting #3: cost 142 inf + 4860 1552124083.917 * * [simplify]: Extracting #4: cost 28 inf + 19498 1552124083.932 * * [simplify]: Extracting #5: cost 1 inf + 24106 1552124083.948 * * [simplify]: Extracting #6: cost 0 inf + 24238 1552124083.963 * [simplify]: Simplified to (+ (* (/ (* x x) (sqrt 2)) 3/16) (fma 1/2 (/ x (sqrt 2)) (sqrt 2))) 1552124083.963 * [simplify]: Simplified (2) to (λ (x) (+ (* (/ (* x x) (sqrt 2)) 3/16) (fma 1/2 (/ x (sqrt 2)) (sqrt 2)))) 1552124083.963 * * * * [progress]: [ 58 / 68 ] simplifiying candidate # 1552124083.964 * [simplify]: Simplifying (sqrt (+ (exp x) 1)) 1552124083.964 * * [simplify]: iters left: 4 (5 enodes) 1552124083.967 * * [simplify]: iters left: 3 (18 enodes) 1552124083.973 * * [simplify]: iters left: 2 (20 enodes) 1552124083.983 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124083.983 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124083.983 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124083.983 * * [simplify]: Extracting #3: cost 7 inf + 1 1552124083.983 * * [simplify]: Extracting #4: cost 6 inf + 2 1552124083.983 * * [simplify]: Extracting #5: cost 0 inf + 672 1552124083.984 * [simplify]: Simplified to (sqrt (+ (exp x) 1)) 1552124083.984 * [simplify]: Simplified (2) to (λ (x) (sqrt (+ (exp x) 1))) 1552124083.984 * * * * [progress]: [ 59 / 68 ] simplifiying candidate # 1552124083.984 * [simplify]: Simplifying (sqrt (+ (exp x) 1)) 1552124083.984 * * [simplify]: iters left: 4 (5 enodes) 1552124083.987 * * [simplify]: iters left: 3 (18 enodes) 1552124083.992 * * [simplify]: iters left: 2 (20 enodes) 1552124083.998 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124083.998 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124083.998 * * [simplify]: Extracting #2: cost 6 inf + 0 1552124083.999 * * [simplify]: Extracting #3: cost 7 inf + 1 1552124083.999 * * [simplify]: Extracting #4: cost 6 inf + 2 1552124083.999 * * [simplify]: Extracting #5: cost 0 inf + 672 1552124083.999 * [simplify]: Simplified to (sqrt (+ (exp x) 1)) 1552124083.999 * [simplify]: Simplified (2) to (λ (x) (sqrt (+ (exp x) 1))) 1552124083.999 * * * * [progress]: [ 60 / 68 ] simplifiying candidate # 1552124083.999 * [simplify]: Simplifying (+ x (+ (* 1/2 (pow x 2)) 2)) 1552124083.999 * * [simplify]: iters left: 6 (7 enodes) 1552124084.004 * * [simplify]: iters left: 5 (28 enodes) 1552124084.013 * * [simplify]: iters left: 4 (41 enodes) 1552124084.028 * * [simplify]: iters left: 3 (63 enodes) 1552124084.045 * * [simplify]: iters left: 2 (74 enodes) 1552124084.055 * * [simplify]: iters left: 1 (80 enodes) 1552124084.065 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124084.065 * * [simplify]: Extracting #1: cost 12 inf + 0 1552124084.065 * * [simplify]: Extracting #2: cost 17 inf + 3 1552124084.065 * * [simplify]: Extracting #3: cost 10 inf + 365 1552124084.066 * * [simplify]: Extracting #4: cost 1 inf + 1070 1552124084.066 * * [simplify]: Extracting #5: cost 0 inf + 1152 1552124084.067 * [simplify]: Simplified to (fma (fma x 1/2 1) x 2) 1552124084.067 * [simplify]: Simplified (2 1) to (λ (x) (sqrt (fma (fma x 1/2 1) x 2))) 1552124084.067 * * * * [progress]: [ 61 / 68 ] simplifiying candidate # 1552124084.067 * [simplify]: Simplifying (+ (exp x) 1) 1552124084.067 * * [simplify]: iters left: 3 (4 enodes) 1552124084.068 * * [simplify]: iters left: 2 (15 enodes) 1552124084.071 * * [simplify]: iters left: 1 (17 enodes) 1552124084.074 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124084.074 * * [simplify]: Extracting #1: cost 4 inf + 0 1552124084.074 * * [simplify]: Extracting #2: cost 5 inf + 1 1552124084.074 * * [simplify]: Extracting #3: cost 4 inf + 2 1552124084.074 * * [simplify]: Extracting #4: cost 1 inf + 256 1552124084.074 * * [simplify]: Extracting #5: cost 0 inf + 368 1552124084.074 * [simplify]: Simplified to (+ (exp x) 1) 1552124084.074 * [simplify]: Simplified (2 1) to (λ (x) (sqrt (+ (exp x) 1))) 1552124084.074 * * * * [progress]: [ 62 / 68 ] simplifiying candidate # 1552124084.074 * [simplify]: Simplifying (+ (exp x) 1) 1552124084.074 * * [simplify]: iters left: 3 (4 enodes) 1552124084.076 * * [simplify]: iters left: 2 (15 enodes) 1552124084.078 * * [simplify]: iters left: 1 (17 enodes) 1552124084.081 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124084.081 * * [simplify]: Extracting #1: cost 4 inf + 0 1552124084.081 * * [simplify]: Extracting #2: cost 5 inf + 1 1552124084.081 * * [simplify]: Extracting #3: cost 4 inf + 2 1552124084.081 * * [simplify]: Extracting #4: cost 1 inf + 256 1552124084.081 * * [simplify]: Extracting #5: cost 0 inf + 368 1552124084.081 * [simplify]: Simplified to (+ (exp x) 1) 1552124084.081 * [simplify]: Simplified (2 1) to (λ (x) (sqrt (+ (exp x) 1))) 1552124084.081 * * * * [progress]: [ 63 / 68 ] simplifiying candidate # 1552124084.082 * [simplify]: Simplifying (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1)) 1552124084.082 * * [simplify]: iters left: 6 (10 enodes) 1552124084.085 * * [simplify]: iters left: 5 (41 enodes) 1552124084.099 * * [simplify]: iters left: 4 (59 enodes) 1552124084.121 * * [simplify]: iters left: 3 (87 enodes) 1552124084.145 * * [simplify]: iters left: 2 (109 enodes) 1552124084.162 * * [simplify]: iters left: 1 (124 enodes) 1552124084.174 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124084.175 * * [simplify]: Extracting #1: cost 14 inf + 0 1552124084.175 * * [simplify]: Extracting #2: cost 18 inf + 45 1552124084.175 * * [simplify]: Extracting #3: cost 3 inf + 1017 1552124084.176 * * [simplify]: Extracting #4: cost 0 inf + 1271 1552124084.176 * [simplify]: Simplified to (fma x (fma x 1/8 1/2) 1) 1552124084.176 * [simplify]: Simplified (2 1 2) to (λ (x) (sqrt (fma (sqrt (exp x)) (fma x (fma x 1/8 1/2) 1) 1))) 1552124084.176 * * * * [progress]: [ 64 / 68 ] simplifiying candidate # 1552124084.176 * [simplify]: Simplifying (sqrt (exp x)) 1552124084.176 * * [simplify]: iters left: 2 (3 enodes) 1552124084.177 * * [simplify]: iters left: 1 (9 enodes) 1552124084.178 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124084.178 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124084.178 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124084.178 * * [simplify]: Extracting #3: cost 4 inf + 1 1552124084.178 * * [simplify]: Extracting #4: cost 0 inf + 365 1552124084.179 * [simplify]: Simplified to (sqrt (exp x)) 1552124084.179 * [simplify]: Simplified (2 1 2) to (λ (x) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))) 1552124084.179 * * * * [progress]: [ 65 / 68 ] simplifiying candidate # 1552124084.179 * [simplify]: Simplifying (sqrt (exp x)) 1552124084.179 * * [simplify]: iters left: 2 (3 enodes) 1552124084.180 * * [simplify]: iters left: 1 (9 enodes) 1552124084.181 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124084.181 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124084.181 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124084.181 * * [simplify]: Extracting #3: cost 4 inf + 1 1552124084.181 * * [simplify]: Extracting #4: cost 0 inf + 365 1552124084.181 * [simplify]: Simplified to (sqrt (exp x)) 1552124084.181 * [simplify]: Simplified (2 1 2) to (λ (x) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))) 1552124084.181 * * * * [progress]: [ 66 / 68 ] simplifiying candidate # 1552124084.181 * [simplify]: Simplifying (+ (* 1/2 x) (+ (* 1/8 (pow x 2)) 1)) 1552124084.181 * * [simplify]: iters left: 6 (10 enodes) 1552124084.185 * * [simplify]: iters left: 5 (41 enodes) 1552124084.192 * * [simplify]: iters left: 4 (59 enodes) 1552124084.210 * * [simplify]: iters left: 3 (87 enodes) 1552124084.231 * * [simplify]: iters left: 2 (109 enodes) 1552124084.257 * * [simplify]: iters left: 1 (124 enodes) 1552124084.277 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124084.278 * * [simplify]: Extracting #1: cost 14 inf + 0 1552124084.278 * * [simplify]: Extracting #2: cost 18 inf + 45 1552124084.278 * * [simplify]: Extracting #3: cost 3 inf + 1017 1552124084.279 * * [simplify]: Extracting #4: cost 0 inf + 1271 1552124084.280 * [simplify]: Simplified to (fma x (fma x 1/8 1/2) 1) 1552124084.281 * [simplify]: Simplified (2 1 1) to (λ (x) (sqrt (fma (fma x (fma x 1/8 1/2) 1) (sqrt (exp x)) 1))) 1552124084.281 * * * * [progress]: [ 67 / 68 ] simplifiying candidate # 1552124084.281 * [simplify]: Simplifying (sqrt (exp x)) 1552124084.281 * * [simplify]: iters left: 2 (3 enodes) 1552124084.282 * * [simplify]: iters left: 1 (9 enodes) 1552124084.284 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124084.284 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124084.285 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124084.285 * * [simplify]: Extracting #3: cost 4 inf + 1 1552124084.285 * * [simplify]: Extracting #4: cost 0 inf + 365 1552124084.285 * [simplify]: Simplified to (sqrt (exp x)) 1552124084.285 * [simplify]: Simplified (2 1 1) to (λ (x) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))) 1552124084.285 * * * * [progress]: [ 68 / 68 ] simplifiying candidate # 1552124084.285 * [simplify]: Simplifying (sqrt (exp x)) 1552124084.285 * * [simplify]: iters left: 2 (3 enodes) 1552124084.286 * * [simplify]: iters left: 1 (9 enodes) 1552124084.289 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124084.289 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124084.289 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124084.289 * * [simplify]: Extracting #3: cost 4 inf + 1 1552124084.289 * * [simplify]: Extracting #4: cost 0 inf + 365 1552124084.289 * [simplify]: Simplified to (sqrt (exp x)) 1552124084.289 * [simplify]: Simplified (2 1 1) to (λ (x) (sqrt (fma (sqrt (exp x)) (sqrt (exp x)) 1))) 1552124084.289 * * * [progress]: adding candidates to table 1552124084.910 * * [progress]: iteration 3 / 4 1552124084.910 * * * [progress]: picking best candidate 1552124084.914 * * * * [pick]: Picked # 1552124084.914 * * * [progress]: localizing error 1552124084.960 * * * [progress]: generating rewritten candidates 1552124084.960 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2) 1552124084.965 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 1552124084.971 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 1552124084.986 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1) 1552124084.996 * * * [progress]: generating series expansions 1552124084.996 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2) 1552124084.997 * [backup-simplify]: Simplify (- (* 1 1) (* (exp x) 1)) into (- 1 (exp x)) 1552124084.997 * [approximate]: Taking taylor expansion of (- 1 (exp x)) in (x) around 0 1552124084.997 * [taylor]: Taking taylor expansion of (- 1 (exp x)) in x 1552124084.997 * [taylor]: Taking taylor expansion of 1 in x 1552124084.997 * [backup-simplify]: Simplify 1 into 1 1552124084.997 * [taylor]: Taking taylor expansion of (exp x) in x 1552124084.997 * [taylor]: Taking taylor expansion of x in x 1552124084.997 * [backup-simplify]: Simplify 0 into 0 1552124084.997 * [backup-simplify]: Simplify 1 into 1 1552124084.997 * [backup-simplify]: Simplify (exp 0) into 1 1552124084.997 * [taylor]: Taking taylor expansion of (- 1 (exp x)) in x 1552124084.997 * [taylor]: Taking taylor expansion of 1 in x 1552124084.997 * [backup-simplify]: Simplify 1 into 1 1552124084.997 * [taylor]: Taking taylor expansion of (exp x) in x 1552124084.997 * [taylor]: Taking taylor expansion of x in x 1552124084.997 * [backup-simplify]: Simplify 0 into 0 1552124084.997 * [backup-simplify]: Simplify 1 into 1 1552124084.997 * [backup-simplify]: Simplify (exp 0) into 1 1552124084.998 * [backup-simplify]: Simplify (- 1) into -1 1552124084.998 * [backup-simplify]: Simplify (+ 1 -1) into 0 1552124084.998 * [backup-simplify]: Simplify 0 into 0 1552124085.000 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1552124085.000 * [backup-simplify]: Simplify (- 1) into -1 1552124085.000 * [backup-simplify]: Simplify (+ 0 -1) into -1 1552124085.000 * [backup-simplify]: Simplify -1 into -1 1552124085.002 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1552124085.002 * [backup-simplify]: Simplify (- 1/2) into -1/2 1552124085.002 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2 1552124085.002 * [backup-simplify]: Simplify -1/2 into -1/2 1552124085.004 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6 1552124085.004 * [backup-simplify]: Simplify (- 1/6) into -1/6 1552124085.004 * [backup-simplify]: Simplify (+ 0 -1/6) into -1/6 1552124085.004 * [backup-simplify]: Simplify -1/6 into -1/6 1552124085.005 * [backup-simplify]: Simplify (+ (* -1/6 (pow x 3)) (+ (* -1/2 (pow x 2)) (* -1 x))) into (- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))) 1552124085.005 * [backup-simplify]: Simplify (- (* 1 1) (* (exp (/ 1 x)) 1)) into (- 1 (exp (/ 1 x))) 1552124085.005 * [approximate]: Taking taylor expansion of (- 1 (exp (/ 1 x))) in (x) around 0 1552124085.005 * [taylor]: Taking taylor expansion of (- 1 (exp (/ 1 x))) in x 1552124085.005 * [taylor]: Taking taylor expansion of 1 in x 1552124085.005 * [backup-simplify]: Simplify 1 into 1 1552124085.005 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1552124085.005 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552124085.005 * [taylor]: Taking taylor expansion of x in x 1552124085.005 * [backup-simplify]: Simplify 0 into 0 1552124085.005 * [backup-simplify]: Simplify 1 into 1 1552124085.005 * [backup-simplify]: Simplify (/ 1 1) into 1 1552124085.005 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1552124085.005 * [taylor]: Taking taylor expansion of (- 1 (exp (/ 1 x))) in x 1552124085.005 * [taylor]: Taking taylor expansion of 1 in x 1552124085.005 * [backup-simplify]: Simplify 1 into 1 1552124085.005 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1552124085.005 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552124085.006 * [taylor]: Taking taylor expansion of x in x 1552124085.006 * [backup-simplify]: Simplify 0 into 0 1552124085.006 * [backup-simplify]: Simplify 1 into 1 1552124085.006 * [backup-simplify]: Simplify (/ 1 1) into 1 1552124085.006 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1552124085.006 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x))) 1552124085.006 * [backup-simplify]: Simplify (+ 1 (- (exp (/ 1 x)))) into (- 1 (exp (/ 1 x))) 1552124085.006 * [backup-simplify]: Simplify (- 1 (exp (/ 1 x))) into (- 1 (exp (/ 1 x))) 1552124085.006 * [backup-simplify]: Simplify (- 0) into 0 1552124085.006 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124085.007 * [backup-simplify]: Simplify 0 into 0 1552124085.007 * [backup-simplify]: Simplify (- 0) into 0 1552124085.007 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124085.007 * [backup-simplify]: Simplify 0 into 0 1552124085.007 * [backup-simplify]: Simplify (- 0) into 0 1552124085.007 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124085.007 * [backup-simplify]: Simplify 0 into 0 1552124085.008 * [backup-simplify]: Simplify (- 0) into 0 1552124085.008 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124085.008 * [backup-simplify]: Simplify 0 into 0 1552124085.008 * [backup-simplify]: Simplify (- 0) into 0 1552124085.008 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124085.008 * [backup-simplify]: Simplify 0 into 0 1552124085.009 * [backup-simplify]: Simplify (- 0) into 0 1552124085.009 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124085.009 * [backup-simplify]: Simplify 0 into 0 1552124085.009 * [backup-simplify]: Simplify (- 1 (exp (/ 1 (/ 1 x)))) into (- 1 (exp x)) 1552124085.009 * [backup-simplify]: Simplify (- (* 1 1) (* (exp (/ 1 (- x))) 1)) into (- 1 (exp (/ -1 x))) 1552124085.009 * [approximate]: Taking taylor expansion of (- 1 (exp (/ -1 x))) in (x) around 0 1552124085.009 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 x))) in x 1552124085.009 * [taylor]: Taking taylor expansion of 1 in x 1552124085.009 * [backup-simplify]: Simplify 1 into 1 1552124085.009 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1552124085.009 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1552124085.009 * [taylor]: Taking taylor expansion of -1 in x 1552124085.009 * [backup-simplify]: Simplify -1 into -1 1552124085.009 * [taylor]: Taking taylor expansion of x in x 1552124085.009 * [backup-simplify]: Simplify 0 into 0 1552124085.009 * [backup-simplify]: Simplify 1 into 1 1552124085.010 * [backup-simplify]: Simplify (/ -1 1) into -1 1552124085.010 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1552124085.010 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 x))) in x 1552124085.010 * [taylor]: Taking taylor expansion of 1 in x 1552124085.010 * [backup-simplify]: Simplify 1 into 1 1552124085.010 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1552124085.010 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1552124085.010 * [taylor]: Taking taylor expansion of -1 in x 1552124085.010 * [backup-simplify]: Simplify -1 into -1 1552124085.010 * [taylor]: Taking taylor expansion of x in x 1552124085.010 * [backup-simplify]: Simplify 0 into 0 1552124085.010 * [backup-simplify]: Simplify 1 into 1 1552124085.010 * [backup-simplify]: Simplify (/ -1 1) into -1 1552124085.010 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1552124085.010 * [backup-simplify]: Simplify (- (exp (/ -1 x))) into (- (exp (/ -1 x))) 1552124085.010 * [backup-simplify]: Simplify (+ 1 (- (exp (/ -1 x)))) into (- 1 (exp (/ -1 x))) 1552124085.010 * [backup-simplify]: Simplify (- 1 (exp (/ -1 x))) into (- 1 (exp (/ -1 x))) 1552124085.011 * [backup-simplify]: Simplify (- 0) into 0 1552124085.011 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124085.011 * [backup-simplify]: Simplify 0 into 0 1552124085.011 * [backup-simplify]: Simplify (- 0) into 0 1552124085.011 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124085.011 * [backup-simplify]: Simplify 0 into 0 1552124085.012 * [backup-simplify]: Simplify (- 0) into 0 1552124085.012 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124085.012 * [backup-simplify]: Simplify 0 into 0 1552124085.012 * [backup-simplify]: Simplify (- 0) into 0 1552124085.012 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124085.012 * [backup-simplify]: Simplify 0 into 0 1552124085.013 * [backup-simplify]: Simplify (- 0) into 0 1552124085.013 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124085.013 * [backup-simplify]: Simplify 0 into 0 1552124085.013 * [backup-simplify]: Simplify (- 0) into 0 1552124085.013 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124085.013 * [backup-simplify]: Simplify 0 into 0 1552124085.013 * [backup-simplify]: Simplify (- 1 (exp (/ -1 (/ 1 (- x))))) into (- 1 (exp x)) 1552124085.013 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 1552124085.014 * [backup-simplify]: Simplify (exp (+ x (+ x x))) into (exp (* 3 x)) 1552124085.014 * [approximate]: Taking taylor expansion of (exp (* 3 x)) in (x) around 0 1552124085.014 * [taylor]: Taking taylor expansion of (exp (* 3 x)) in x 1552124085.014 * [taylor]: Taking taylor expansion of (* 3 x) in x 1552124085.014 * [taylor]: Taking taylor expansion of 3 in x 1552124085.014 * [backup-simplify]: Simplify 3 into 3 1552124085.014 * [taylor]: Taking taylor expansion of x in x 1552124085.014 * [backup-simplify]: Simplify 0 into 0 1552124085.014 * [backup-simplify]: Simplify 1 into 1 1552124085.014 * [backup-simplify]: Simplify (* 3 0) into 0 1552124085.014 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 1552124085.014 * [backup-simplify]: Simplify (exp 0) into 1 1552124085.014 * [taylor]: Taking taylor expansion of (exp (* 3 x)) in x 1552124085.014 * [taylor]: Taking taylor expansion of (* 3 x) in x 1552124085.014 * [taylor]: Taking taylor expansion of 3 in x 1552124085.014 * [backup-simplify]: Simplify 3 into 3 1552124085.014 * [taylor]: Taking taylor expansion of x in x 1552124085.014 * [backup-simplify]: Simplify 0 into 0 1552124085.014 * [backup-simplify]: Simplify 1 into 1 1552124085.015 * [backup-simplify]: Simplify (* 3 0) into 0 1552124085.015 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 1552124085.015 * [backup-simplify]: Simplify (exp 0) into 1 1552124085.015 * [backup-simplify]: Simplify 1 into 1 1552124085.016 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 3 1) 1)))) into 3 1552124085.016 * [backup-simplify]: Simplify 3 into 3 1552124085.016 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 1552124085.017 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 3 2) 2)) (* (/ (pow 0 1) 1)))) into 9/2 1552124085.017 * [backup-simplify]: Simplify 9/2 into 9/2 1552124085.018 * [backup-simplify]: Simplify (+ (* 9/2 (pow x 2)) (+ (* 3 x) 1)) into (+ (* 3 x) (+ (* 9/2 (pow x 2)) 1)) 1552124085.018 * [backup-simplify]: Simplify (exp (+ (/ 1 x) (+ (/ 1 x) (/ 1 x)))) into (exp (* 3 (/ 1 x))) 1552124085.018 * [approximate]: Taking taylor expansion of (exp (* 3 (/ 1 x))) in (x) around 0 1552124085.018 * [taylor]: Taking taylor expansion of (exp (* 3 (/ 1 x))) in x 1552124085.018 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 1552124085.018 * [taylor]: Taking taylor expansion of 3 in x 1552124085.018 * [backup-simplify]: Simplify 3 into 3 1552124085.018 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552124085.018 * [taylor]: Taking taylor expansion of x in x 1552124085.018 * [backup-simplify]: Simplify 0 into 0 1552124085.018 * [backup-simplify]: Simplify 1 into 1 1552124085.018 * [backup-simplify]: Simplify (/ 1 1) into 1 1552124085.018 * [backup-simplify]: Simplify (* 3 1) into 3 1552124085.018 * [backup-simplify]: Simplify (exp (* 3 (/ 1 x))) into (exp (/ 3 x)) 1552124085.018 * [taylor]: Taking taylor expansion of (exp (* 3 (/ 1 x))) in x 1552124085.018 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 1552124085.018 * [taylor]: Taking taylor expansion of 3 in x 1552124085.018 * [backup-simplify]: Simplify 3 into 3 1552124085.018 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552124085.018 * [taylor]: Taking taylor expansion of x in x 1552124085.018 * [backup-simplify]: Simplify 0 into 0 1552124085.018 * [backup-simplify]: Simplify 1 into 1 1552124085.019 * [backup-simplify]: Simplify (/ 1 1) into 1 1552124085.019 * [backup-simplify]: Simplify (* 3 1) into 3 1552124085.019 * [backup-simplify]: Simplify (exp (* 3 (/ 1 x))) into (exp (/ 3 x)) 1552124085.019 * [backup-simplify]: Simplify (exp (/ 3 x)) into (exp (/ 3 x)) 1552124085.019 * [backup-simplify]: Simplify 0 into 0 1552124085.019 * [backup-simplify]: Simplify 0 into 0 1552124085.019 * [backup-simplify]: Simplify 0 into 0 1552124085.019 * [backup-simplify]: Simplify 0 into 0 1552124085.019 * [backup-simplify]: Simplify 0 into 0 1552124085.019 * [backup-simplify]: Simplify 0 into 0 1552124085.019 * [backup-simplify]: Simplify (exp (/ 3 (/ 1 x))) into (exp (* 3 x)) 1552124085.019 * [backup-simplify]: Simplify (exp (+ (/ 1 (- x)) (+ (/ 1 (- x)) (/ 1 (- x))))) into (exp (- (* 3 (/ 1 x)))) 1552124085.019 * [approximate]: Taking taylor expansion of (exp (- (* 3 (/ 1 x)))) in (x) around 0 1552124085.020 * [taylor]: Taking taylor expansion of (exp (- (* 3 (/ 1 x)))) in x 1552124085.020 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 x))) in x 1552124085.020 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 1552124085.020 * [taylor]: Taking taylor expansion of 3 in x 1552124085.020 * [backup-simplify]: Simplify 3 into 3 1552124085.020 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552124085.020 * [taylor]: Taking taylor expansion of x in x 1552124085.020 * [backup-simplify]: Simplify 0 into 0 1552124085.020 * [backup-simplify]: Simplify 1 into 1 1552124085.020 * [backup-simplify]: Simplify (/ 1 1) into 1 1552124085.020 * [backup-simplify]: Simplify (* 3 1) into 3 1552124085.020 * [backup-simplify]: Simplify (- 3) into -3 1552124085.020 * [backup-simplify]: Simplify (exp (- (* 3 (/ 1 x)))) into (exp (- (* 3 (/ 1 x)))) 1552124085.021 * [taylor]: Taking taylor expansion of (exp (- (* 3 (/ 1 x)))) in x 1552124085.021 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 x))) in x 1552124085.021 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 1552124085.021 * [taylor]: Taking taylor expansion of 3 in x 1552124085.021 * [backup-simplify]: Simplify 3 into 3 1552124085.021 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552124085.021 * [taylor]: Taking taylor expansion of x in x 1552124085.021 * [backup-simplify]: Simplify 0 into 0 1552124085.021 * [backup-simplify]: Simplify 1 into 1 1552124085.021 * [backup-simplify]: Simplify (/ 1 1) into 1 1552124085.021 * [backup-simplify]: Simplify (* 3 1) into 3 1552124085.021 * [backup-simplify]: Simplify (- 3) into -3 1552124085.022 * [backup-simplify]: Simplify (exp (- (* 3 (/ 1 x)))) into (exp (- (* 3 (/ 1 x)))) 1552124085.022 * [backup-simplify]: Simplify (exp (- (* 3 (/ 1 x)))) into (exp (- (* 3 (/ 1 x)))) 1552124085.022 * [backup-simplify]: Simplify 0 into 0 1552124085.022 * [backup-simplify]: Simplify 0 into 0 1552124085.022 * [backup-simplify]: Simplify 0 into 0 1552124085.022 * [backup-simplify]: Simplify 0 into 0 1552124085.022 * [backup-simplify]: Simplify 0 into 0 1552124085.022 * [backup-simplify]: Simplify 0 into 0 1552124085.022 * [backup-simplify]: Simplify (exp (- (* 3 (/ 1 (/ 1 (- x)))))) into (exp (* 3 x)) 1552124085.022 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 1552124085.022 * [backup-simplify]: Simplify (+ (exp (+ x (+ x x))) 1) into (+ (exp (* 3 x)) 1) 1552124085.022 * [approximate]: Taking taylor expansion of (+ (exp (* 3 x)) 1) in (x) around 0 1552124085.022 * [taylor]: Taking taylor expansion of (+ (exp (* 3 x)) 1) in x 1552124085.022 * [taylor]: Taking taylor expansion of (exp (* 3 x)) in x 1552124085.022 * [taylor]: Taking taylor expansion of (* 3 x) in x 1552124085.022 * [taylor]: Taking taylor expansion of 3 in x 1552124085.022 * [backup-simplify]: Simplify 3 into 3 1552124085.022 * [taylor]: Taking taylor expansion of x in x 1552124085.022 * [backup-simplify]: Simplify 0 into 0 1552124085.022 * [backup-simplify]: Simplify 1 into 1 1552124085.023 * [backup-simplify]: Simplify (* 3 0) into 0 1552124085.023 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 1552124085.024 * [backup-simplify]: Simplify (exp 0) into 1 1552124085.024 * [taylor]: Taking taylor expansion of 1 in x 1552124085.024 * [backup-simplify]: Simplify 1 into 1 1552124085.024 * [taylor]: Taking taylor expansion of (+ (exp (* 3 x)) 1) in x 1552124085.024 * [taylor]: Taking taylor expansion of (exp (* 3 x)) in x 1552124085.024 * [taylor]: Taking taylor expansion of (* 3 x) in x 1552124085.024 * [taylor]: Taking taylor expansion of 3 in x 1552124085.024 * [backup-simplify]: Simplify 3 into 3 1552124085.024 * [taylor]: Taking taylor expansion of x in x 1552124085.024 * [backup-simplify]: Simplify 0 into 0 1552124085.024 * [backup-simplify]: Simplify 1 into 1 1552124085.024 * [backup-simplify]: Simplify (* 3 0) into 0 1552124085.025 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 1552124085.025 * [backup-simplify]: Simplify (exp 0) into 1 1552124085.025 * [taylor]: Taking taylor expansion of 1 in x 1552124085.025 * [backup-simplify]: Simplify 1 into 1 1552124085.025 * [backup-simplify]: Simplify (+ 1 1) into 2 1552124085.025 * [backup-simplify]: Simplify 2 into 2 1552124085.026 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 3 1) 1)))) into 3 1552124085.026 * [backup-simplify]: Simplify (+ 3 0) into 3 1552124085.026 * [backup-simplify]: Simplify 3 into 3 1552124085.027 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0 1552124085.028 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 3 2) 2)) (* (/ (pow 0 1) 1)))) into 9/2 1552124085.028 * [backup-simplify]: Simplify (+ 9/2 0) into 9/2 1552124085.028 * [backup-simplify]: Simplify 9/2 into 9/2 1552124085.028 * [backup-simplify]: Simplify (+ (* 9/2 (pow x 2)) (+ (* 3 x) 2)) into (+ (* 3 x) (+ (* 9/2 (pow x 2)) 2)) 1552124085.028 * [backup-simplify]: Simplify (+ (exp (+ (/ 1 x) (+ (/ 1 x) (/ 1 x)))) 1) into (+ (exp (* 3 (/ 1 x))) 1) 1552124085.028 * [approximate]: Taking taylor expansion of (+ (exp (* 3 (/ 1 x))) 1) in (x) around 0 1552124085.028 * [taylor]: Taking taylor expansion of (+ (exp (* 3 (/ 1 x))) 1) in x 1552124085.028 * [taylor]: Taking taylor expansion of (exp (* 3 (/ 1 x))) in x 1552124085.028 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 1552124085.028 * [taylor]: Taking taylor expansion of 3 in x 1552124085.028 * [backup-simplify]: Simplify 3 into 3 1552124085.028 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552124085.028 * [taylor]: Taking taylor expansion of x in x 1552124085.029 * [backup-simplify]: Simplify 0 into 0 1552124085.029 * [backup-simplify]: Simplify 1 into 1 1552124085.029 * [backup-simplify]: Simplify (/ 1 1) into 1 1552124085.029 * [backup-simplify]: Simplify (* 3 1) into 3 1552124085.029 * [backup-simplify]: Simplify (exp (* 3 (/ 1 x))) into (exp (/ 3 x)) 1552124085.029 * [taylor]: Taking taylor expansion of 1 in x 1552124085.029 * [backup-simplify]: Simplify 1 into 1 1552124085.029 * [taylor]: Taking taylor expansion of (+ (exp (* 3 (/ 1 x))) 1) in x 1552124085.029 * [taylor]: Taking taylor expansion of (exp (* 3 (/ 1 x))) in x 1552124085.029 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 1552124085.029 * [taylor]: Taking taylor expansion of 3 in x 1552124085.029 * [backup-simplify]: Simplify 3 into 3 1552124085.029 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552124085.029 * [taylor]: Taking taylor expansion of x in x 1552124085.029 * [backup-simplify]: Simplify 0 into 0 1552124085.029 * [backup-simplify]: Simplify 1 into 1 1552124085.030 * [backup-simplify]: Simplify (/ 1 1) into 1 1552124085.030 * [backup-simplify]: Simplify (* 3 1) into 3 1552124085.030 * [backup-simplify]: Simplify (exp (* 3 (/ 1 x))) into (exp (/ 3 x)) 1552124085.030 * [taylor]: Taking taylor expansion of 1 in x 1552124085.030 * [backup-simplify]: Simplify 1 into 1 1552124085.030 * [backup-simplify]: Simplify (+ (exp (/ 3 x)) 1) into (+ (exp (/ 3 x)) 1) 1552124085.030 * [backup-simplify]: Simplify (+ (exp (/ 3 x)) 1) into (+ (exp (/ 3 x)) 1) 1552124085.030 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124085.030 * [backup-simplify]: Simplify 0 into 0 1552124085.031 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124085.031 * [backup-simplify]: Simplify 0 into 0 1552124085.031 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124085.031 * [backup-simplify]: Simplify 0 into 0 1552124085.031 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124085.031 * [backup-simplify]: Simplify 0 into 0 1552124085.031 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124085.031 * [backup-simplify]: Simplify 0 into 0 1552124085.032 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124085.032 * [backup-simplify]: Simplify 0 into 0 1552124085.032 * [backup-simplify]: Simplify (+ (exp (/ 3 (/ 1 x))) 1) into (+ (exp (* 3 x)) 1) 1552124085.032 * [backup-simplify]: Simplify (+ (exp (+ (/ 1 (- x)) (+ (/ 1 (- x)) (/ 1 (- x))))) 1) into (+ (exp (- (* 3 (/ 1 x)))) 1) 1552124085.032 * [approximate]: Taking taylor expansion of (+ (exp (- (* 3 (/ 1 x)))) 1) in (x) around 0 1552124085.032 * [taylor]: Taking taylor expansion of (+ (exp (- (* 3 (/ 1 x)))) 1) in x 1552124085.032 * [taylor]: Taking taylor expansion of (exp (- (* 3 (/ 1 x)))) in x 1552124085.032 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 x))) in x 1552124085.032 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 1552124085.032 * [taylor]: Taking taylor expansion of 3 in x 1552124085.032 * [backup-simplify]: Simplify 3 into 3 1552124085.032 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552124085.032 * [taylor]: Taking taylor expansion of x in x 1552124085.032 * [backup-simplify]: Simplify 0 into 0 1552124085.032 * [backup-simplify]: Simplify 1 into 1 1552124085.032 * [backup-simplify]: Simplify (/ 1 1) into 1 1552124085.032 * [backup-simplify]: Simplify (* 3 1) into 3 1552124085.033 * [backup-simplify]: Simplify (- 3) into -3 1552124085.033 * [backup-simplify]: Simplify (exp (- (* 3 (/ 1 x)))) into (exp (- (* 3 (/ 1 x)))) 1552124085.033 * [taylor]: Taking taylor expansion of 1 in x 1552124085.033 * [backup-simplify]: Simplify 1 into 1 1552124085.033 * [taylor]: Taking taylor expansion of (+ (exp (- (* 3 (/ 1 x)))) 1) in x 1552124085.033 * [taylor]: Taking taylor expansion of (exp (- (* 3 (/ 1 x)))) in x 1552124085.033 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 x))) in x 1552124085.033 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 1552124085.033 * [taylor]: Taking taylor expansion of 3 in x 1552124085.033 * [backup-simplify]: Simplify 3 into 3 1552124085.033 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552124085.033 * [taylor]: Taking taylor expansion of x in x 1552124085.033 * [backup-simplify]: Simplify 0 into 0 1552124085.033 * [backup-simplify]: Simplify 1 into 1 1552124085.033 * [backup-simplify]: Simplify (/ 1 1) into 1 1552124085.033 * [backup-simplify]: Simplify (* 3 1) into 3 1552124085.034 * [backup-simplify]: Simplify (- 3) into -3 1552124085.034 * [backup-simplify]: Simplify (exp (- (* 3 (/ 1 x)))) into (exp (- (* 3 (/ 1 x)))) 1552124085.034 * [taylor]: Taking taylor expansion of 1 in x 1552124085.034 * [backup-simplify]: Simplify 1 into 1 1552124085.034 * [backup-simplify]: Simplify (+ (exp (- (* 3 (/ 1 x)))) 1) into (+ (exp (- (* 3 (/ 1 x)))) 1) 1552124085.034 * [backup-simplify]: Simplify (+ (exp (- (* 3 (/ 1 x)))) 1) into (+ (exp (- (* 3 (/ 1 x)))) 1) 1552124085.034 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124085.034 * [backup-simplify]: Simplify 0 into 0 1552124085.035 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124085.035 * [backup-simplify]: Simplify 0 into 0 1552124085.035 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124085.035 * [backup-simplify]: Simplify 0 into 0 1552124085.035 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124085.035 * [backup-simplify]: Simplify 0 into 0 1552124085.035 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124085.035 * [backup-simplify]: Simplify 0 into 0 1552124085.036 * [backup-simplify]: Simplify (+ 0 0) into 0 1552124085.036 * [backup-simplify]: Simplify 0 into 0 1552124085.036 * [backup-simplify]: Simplify (+ (exp (- (* 3 (/ 1 (/ 1 (- x)))))) 1) into (+ (exp (* 3 x)) 1) 1552124085.036 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1) 1552124085.036 * [backup-simplify]: Simplify (* (exp x) (exp x)) into (pow (exp x) 2) 1552124085.036 * [approximate]: Taking taylor expansion of (pow (exp x) 2) in (x) around 0 1552124085.036 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 1552124085.036 * [taylor]: Taking taylor expansion of (exp x) in x 1552124085.036 * [taylor]: Taking taylor expansion of x in x 1552124085.036 * [backup-simplify]: Simplify 0 into 0 1552124085.036 * [backup-simplify]: Simplify 1 into 1 1552124085.036 * [backup-simplify]: Simplify (exp 0) into 1 1552124085.036 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 1552124085.036 * [taylor]: Taking taylor expansion of (exp x) in x 1552124085.036 * [taylor]: Taking taylor expansion of x in x 1552124085.036 * [backup-simplify]: Simplify 0 into 0 1552124085.036 * [backup-simplify]: Simplify 1 into 1 1552124085.036 * [backup-simplify]: Simplify (exp 0) into 1 1552124085.037 * [backup-simplify]: Simplify (* 1 1) into 1 1552124085.037 * [backup-simplify]: Simplify 1 into 1 1552124085.037 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1 1552124085.038 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2 1552124085.038 * [backup-simplify]: Simplify 2 into 2 1552124085.038 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2 1552124085.039 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2 1552124085.039 * [backup-simplify]: Simplify 2 into 2 1552124085.039 * [backup-simplify]: Simplify (+ (* 2 (pow x 2)) (+ (* 2 x) 1)) into (+ (* 2 x) (+ (* 2 (pow x 2)) 1)) 1552124085.039 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2) 1552124085.039 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in (x) around 0 1552124085.039 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 1552124085.039 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1552124085.039 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552124085.039 * [taylor]: Taking taylor expansion of x in x 1552124085.039 * [backup-simplify]: Simplify 0 into 0 1552124085.039 * [backup-simplify]: Simplify 1 into 1 1552124085.040 * [backup-simplify]: Simplify (/ 1 1) into 1 1552124085.040 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1552124085.040 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 1552124085.040 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 1552124085.040 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1552124085.040 * [taylor]: Taking taylor expansion of x in x 1552124085.040 * [backup-simplify]: Simplify 0 into 0 1552124085.040 * [backup-simplify]: Simplify 1 into 1 1552124085.040 * [backup-simplify]: Simplify (/ 1 1) into 1 1552124085.040 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x)) 1552124085.040 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2) 1552124085.040 * [backup-simplify]: Simplify (pow (exp (/ 1 x)) 2) into (pow (exp (/ 1 x)) 2) 1552124085.040 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0 1552124085.040 * [backup-simplify]: Simplify 0 into 0 1552124085.041 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0 1552124085.041 * [backup-simplify]: Simplify 0 into 0 1552124085.041 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0 1552124085.041 * [backup-simplify]: Simplify 0 into 0 1552124085.042 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0 1552124085.042 * [backup-simplify]: Simplify 0 into 0 1552124085.043 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0 1552124085.043 * [backup-simplify]: Simplify 0 into 0 1552124085.044 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0 1552124085.044 * [backup-simplify]: Simplify 0 into 0 1552124085.044 * [backup-simplify]: Simplify (pow (exp (/ 1 (/ 1 x))) 2) into (pow (exp x) 2) 1552124085.044 * [backup-simplify]: Simplify (* (exp (/ 1 (- x))) (exp (/ 1 (- x)))) into (pow (exp (/ -1 x)) 2) 1552124085.044 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in (x) around 0 1552124085.044 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 1552124085.044 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1552124085.044 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1552124085.044 * [taylor]: Taking taylor expansion of -1 in x 1552124085.044 * [backup-simplify]: Simplify -1 into -1 1552124085.044 * [taylor]: Taking taylor expansion of x in x 1552124085.044 * [backup-simplify]: Simplify 0 into 0 1552124085.045 * [backup-simplify]: Simplify 1 into 1 1552124085.045 * [backup-simplify]: Simplify (/ -1 1) into -1 1552124085.045 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1552124085.045 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 1552124085.045 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 1552124085.045 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1552124085.045 * [taylor]: Taking taylor expansion of -1 in x 1552124085.045 * [backup-simplify]: Simplify -1 into -1 1552124085.045 * [taylor]: Taking taylor expansion of x in x 1552124085.045 * [backup-simplify]: Simplify 0 into 0 1552124085.045 * [backup-simplify]: Simplify 1 into 1 1552124085.045 * [backup-simplify]: Simplify (/ -1 1) into -1 1552124085.045 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x)) 1552124085.045 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2) 1552124085.045 * [backup-simplify]: Simplify (pow (exp (/ -1 x)) 2) into (pow (exp (/ -1 x)) 2) 1552124085.046 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0 1552124085.046 * [backup-simplify]: Simplify 0 into 0 1552124085.046 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0 1552124085.046 * [backup-simplify]: Simplify 0 into 0 1552124085.046 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0 1552124085.046 * [backup-simplify]: Simplify 0 into 0 1552124085.047 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0 1552124085.047 * [backup-simplify]: Simplify 0 into 0 1552124085.048 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0 1552124085.048 * [backup-simplify]: Simplify 0 into 0 1552124085.049 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0 1552124085.049 * [backup-simplify]: Simplify 0 into 0 1552124085.049 * [backup-simplify]: Simplify (pow (exp (/ -1 (/ 1 (- x)))) 2) into (pow (exp x) 2) 1552124085.049 * * * [progress]: simplifying candidates 1552124085.049 * * * * [progress]: [ 1 / 85 ] simplifiying candidate # 1552124085.050 * [simplify]: Simplifying (fma 1 1 (- (* 1 (exp x)))) 1552124085.050 * * [simplify]: iters left: 6 (6 enodes) 1552124085.052 * * [simplify]: iters left: 5 (26 enodes) 1552124085.056 * * [simplify]: iters left: 4 (32 enodes) 1552124085.064 * * [simplify]: iters left: 3 (38 enodes) 1552124085.070 * * [simplify]: iters left: 2 (43 enodes) 1552124085.075 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124085.075 * * [simplify]: Extracting #1: cost 6 inf + 0 1552124085.075 * * [simplify]: Extracting #2: cost 7 inf + 2 1552124085.075 * * [simplify]: Extracting #3: cost 1 inf + 480 1552124085.076 * * [simplify]: Extracting #4: cost 0 inf + 591 1552124085.076 * [simplify]: Simplified to (- 1 (exp x)) 1552124085.076 * [simplify]: Simplified (2 2 1 2 1) to (λ (x) (/ (sqrt (+ (exp (+ x (+ x x))) 1)) (sqrt (+ (* (exp x) (exp x)) (+ (- 1 (exp x)) (fma (- 1) (exp x) (* 1 (exp x)))))))) 1552124085.076 * [simplify]: Simplifying (fma (- 1) (exp x) (* 1 (exp x))) 1552124085.076 * * [simplify]: iters left: 4 (6 enodes) 1552124085.078 * * [simplify]: iters left: 3 (22 enodes) 1552124085.083 * * [simplify]: iters left: 2 (36 enodes) 1552124085.099 * * [simplify]: iters left: 1 (53 enodes) 1552124085.110 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124085.110 * * [simplify]: Extracting #1: cost 0 inf + 1 1552124085.110 * [simplify]: Simplified to 0 1552124085.110 * [simplify]: Simplified (2 2 1 2 2) to (λ (x) (/ (sqrt (+ (exp (+ x (+ x x))) 1)) (sqrt (+ (* (exp x) (exp x)) (+ (- 1 (exp x)) 0))))) 1552124085.110 * * * * [progress]: [ 2 / 85 ] simplifiying candidate # 1552124085.110 * * * * [progress]: [ 3 / 85 ] simplifiying candidate # 1552124085.111 * * * * [progress]: [ 4 / 85 ] simplifiying candidate # 1552124085.111 * * * * [progress]: [ 5 / 85 ] simplifiying candidate # 1552124085.111 * [simplify]: Simplifying (/ (exp (* 1 1)) (exp (* (exp x) 1))) 1552124085.111 * * [simplify]: iters left: 6 (8 enodes) 1552124085.116 * * [simplify]: iters left: 5 (29 enodes) 1552124085.124 * * [simplify]: iters left: 4 (41 enodes) 1552124085.135 * * [simplify]: iters left: 3 (53 enodes) 1552124085.150 * * [simplify]: iters left: 2 (69 enodes) 1552124085.159 * * [simplify]: iters left: 1 (78 enodes) 1552124085.169 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124085.170 * * [simplify]: Extracting #1: cost 7 inf + 0 1552124085.170 * * [simplify]: Extracting #2: cost 12 inf + 2 1552124085.170 * * [simplify]: Extracting #3: cost 15 inf + 3 1552124085.170 * * [simplify]: Extracting #4: cost 12 inf + 146 1552124085.170 * * [simplify]: Extracting #5: cost 10 inf + 569 1552124085.170 * * [simplify]: Extracting #6: cost 1 inf + 1802 1552124085.170 * * [simplify]: Extracting #7: cost 0 inf + 1742 1552124085.171 * [simplify]: Simplified to (/ E (exp (exp x))) 1552124085.171 * [simplify]: Simplified (2 2 1 2 1) to (λ (x) (/ (sqrt (+ (exp (+ x (+ x x))) 1)) (sqrt (+ (* (exp x) (exp x)) (log (/ E (exp (exp x)))))))) 1552124085.171 * * * * [progress]: [ 6 / 85 ] simplifiying candidate # 1552124085.171 * * * * [progress]: [ 7 / 85 ] simplifiying candidate # 1552124085.171 * * * * [progress]: [ 8 / 85 ] simplifiying candidate # 1552124085.171 * * * * [progress]: [ 9 / 85 ] simplifiying candidate # 1552124085.171 * * * * [progress]: [ 10 / 85 ] simplifiying candidate # 1552124085.171 * * * * [progress]: [ 11 / 85 ] simplifiying candidate # 1552124085.171 * * * * [progress]: [ 12 / 85 ] simplifiying candidate # 1552124085.171 * * * * [progress]: [ 13 / 85 ] simplifiying candidate # 1552124085.171 * * * * [progress]: [ 14 / 85 ] simplifiying candidate # 1552124085.171 * * * * [progress]: [ 15 / 85 ] simplifiying candidate # 1552124085.171 * * * * [progress]: [ 16 / 85 ] simplifiying candidate # 1552124085.172 * [simplify]: Simplifying (- 1 (exp x)) 1552124085.172 * * [simplify]: iters left: 3 (4 enodes) 1552124085.173 * * [simplify]: iters left: 2 (16 enodes) 1552124085.178 * * [simplify]: iters left: 1 (21 enodes) 1552124085.186 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124085.186 * * [simplify]: Extracting #1: cost 5 inf + 0 1552124085.187 * * [simplify]: Extracting #2: cost 7 inf + 1 1552124085.187 * * [simplify]: Extracting #3: cost 1 inf + 479 1552124085.187 * * [simplify]: Extracting #4: cost 0 inf + 590 1552124085.187 * [simplify]: Simplified to (- 1 (exp x)) 1552124085.187 * [simplify]: Simplified (2 2 1 2 2) to (λ (x) (/ (sqrt (+ (exp (+ x (+ x x))) 1)) (sqrt (+ (* (exp x) (exp x)) (* 1 (- 1 (exp x))))))) 1552124085.187 * * * * [progress]: [ 17 / 85 ] simplifiying candidate # 1552124085.187 * * * * [progress]: [ 18 / 85 ] simplifiying candidate #real (real->posit16 (- (* 1 1) (* (exp x) 1))))))))> 1552124085.188 * * * * [progress]: [ 19 / 85 ] simplifiying candidate # 1552124085.188 * * * * [progress]: [ 20 / 85 ] simplifiying candidate # 1552124085.188 * * * * [progress]: [ 21 / 85 ] simplifiying candidate # 1552124085.188 * * * * [progress]: [ 22 / 85 ] simplifiying candidate # 1552124085.188 * [simplify]: Simplifying (exp (* (cbrt (+ x (+ x x))) (cbrt (+ x (+ x x))))) 1552124085.188 * * [simplify]: iters left: 6 (6 enodes) 1552124085.191 * * [simplify]: iters left: 5 (21 enodes) 1552124085.196 * * [simplify]: iters left: 4 (23 enodes) 1552124085.199 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124085.199 * * [simplify]: Extracting #1: cost 5 inf + 0 1552124085.199 * * [simplify]: Extracting #2: cost 9 inf + 0 1552124085.199 * * [simplify]: Extracting #3: cost 12 inf + 0 1552124085.199 * * [simplify]: Extracting #4: cost 12 inf + 1 1552124085.199 * * [simplify]: Extracting #5: cost 10 inf + 83 1552124085.199 * * [simplify]: Extracting #6: cost 6 inf + 567 1552124085.199 * * [simplify]: Extracting #7: cost 2 inf + 1471 1552124085.200 * * [simplify]: Extracting #8: cost 0 inf + 1973 1552124085.200 * [simplify]: Simplified to (exp (* (cbrt (+ (+ x x) x)) (cbrt (+ (+ x x) x)))) 1552124085.200 * [simplify]: Simplified (2 1 1 1 1) to (λ (x) (/ (sqrt (+ (pow (exp (* (cbrt (+ (+ x x) x)) (cbrt (+ (+ x x) x)))) (cbrt (+ x (+ x x)))) 1)) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))) 1552124085.200 * * * * [progress]: [ 23 / 85 ] simplifiying candidate # 1552124085.200 * [simplify]: Simplifying (exp (sqrt (+ x (+ x x)))) 1552124085.200 * * [simplify]: iters left: 6 (5 enodes) 1552124085.202 * * [simplify]: iters left: 5 (16 enodes) 1552124085.204 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124085.204 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124085.204 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124085.204 * * [simplify]: Extracting #3: cost 8 inf + 0 1552124085.204 * * [simplify]: Extracting #4: cost 8 inf + 1 1552124085.204 * * [simplify]: Extracting #5: cost 0 inf + 869 1552124085.204 * [simplify]: Simplified to (exp (sqrt (+ (+ x x) x))) 1552124085.204 * [simplify]: Simplified (2 1 1 1 1) to (λ (x) (/ (sqrt (+ (pow (exp (sqrt (+ (+ x x) x))) (sqrt (+ x (+ x x)))) 1)) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))) 1552124085.204 * * * * [progress]: [ 24 / 85 ] simplifiying candidate # 1552124085.205 * [simplify]: Simplifying (exp 1) 1552124085.205 * * [simplify]: iters left: 1 (2 enodes) 1552124085.205 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124085.206 * * [simplify]: Extracting #1: cost 0 inf + 1 1552124085.206 * [simplify]: Simplified to E 1552124085.206 * [simplify]: Simplified (2 1 1 1 1) to (λ (x) (/ (sqrt (+ (pow E (+ x (+ x x))) 1)) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))) 1552124085.206 * * * * [progress]: [ 25 / 85 ] simplifiying candidate # 1552124085.206 * [simplify]: Simplifying (exp x) 1552124085.206 * * [simplify]: iters left: 1 (2 enodes) 1552124085.206 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124085.206 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124085.206 * * [simplify]: Extracting #2: cost 2 inf + 1 1552124085.206 * * [simplify]: Extracting #3: cost 0 inf + 143 1552124085.206 * [simplify]: Simplified to (exp x) 1552124085.206 * [simplify]: Simplified (2 1 1 1 1) to (λ (x) (/ (sqrt (+ (* (exp x) (exp (+ x x))) 1)) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))) 1552124085.207 * * * * [progress]: [ 26 / 85 ] simplifiying candidate # 1552124085.207 * [simplify]: Simplifying (+ x (+ x x)) 1552124085.207 * * [simplify]: iters left: 4 (3 enodes) 1552124085.207 * * [simplify]: iters left: 3 (10 enodes) 1552124085.209 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124085.209 * * [simplify]: Extracting #1: cost 4 inf + 0 1552124085.209 * * [simplify]: Extracting #2: cost 4 inf + 1 1552124085.209 * * [simplify]: Extracting #3: cost 0 inf + 245 1552124085.209 * [simplify]: Simplified to (+ (+ x x) x) 1552124085.209 * [simplify]: Simplified (2 1 1 1 1) to (λ (x) (/ (sqrt (+ (exp (+ (+ x x) x)) 1)) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))) 1552124085.209 * * * * [progress]: [ 27 / 85 ] simplifiying candidate # 1552124085.209 * * * * [progress]: [ 28 / 85 ] simplifiying candidate # 1552124085.209 * * * * [progress]: [ 29 / 85 ] simplifiying candidate # 1552124085.209 * * * * [progress]: [ 30 / 85 ] simplifiying candidate # 1552124085.209 * * * * [progress]: [ 31 / 85 ] simplifiying candidate # 1552124085.209 * * * * [progress]: [ 32 / 85 ] simplifiying candidate # 1552124085.209 * * * * [progress]: [ 33 / 85 ] simplifiying candidate #real (real->posit16 (exp (+ x (+ x x))))) 1)) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))> 1552124085.209 * * * * [progress]: [ 34 / 85 ] simplifiying candidate # 1552124085.209 * * * * [progress]: [ 35 / 85 ] simplifiying candidate # 1552124085.210 * * * * [progress]: [ 36 / 85 ] simplifiying candidate # 1552124085.210 * [simplify]: Simplifying (exp x) 1552124085.210 * * [simplify]: iters left: 1 (2 enodes) 1552124085.210 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124085.210 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124085.210 * * [simplify]: Extracting #2: cost 2 inf + 1 1552124085.210 * * [simplify]: Extracting #3: cost 0 inf + 143 1552124085.210 * [simplify]: Simplified to (exp x) 1552124085.210 * [simplify]: Simplified (2 1 1 1) to (λ (x) (/ (sqrt (fma (exp x) (exp (+ x x)) 1)) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))) 1552124085.210 * * * * [progress]: [ 37 / 85 ] simplifiying candidate # 1552124085.210 * [simplify]: Simplifying (* (cbrt (exp (+ x (+ x x)))) (cbrt (exp (+ x (+ x x))))) 1552124085.211 * * [simplify]: iters left: 6 (6 enodes) 1552124085.212 * * [simplify]: iters left: 5 (22 enodes) 1552124085.215 * * [simplify]: iters left: 4 (28 enodes) 1552124085.219 * * [simplify]: iters left: 3 (30 enodes) 1552124085.226 * * [simplify]: iters left: 2 (32 enodes) 1552124085.234 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124085.234 * * [simplify]: Extracting #1: cost 4 inf + 0 1552124085.234 * * [simplify]: Extracting #2: cost 8 inf + 0 1552124085.234 * * [simplify]: Extracting #3: cost 10 inf + 1 1552124085.234 * * [simplify]: Extracting #4: cost 3 inf + 789 1552124085.235 * * [simplify]: Extracting #5: cost 0 inf + 912 1552124085.235 * [simplify]: Simplified to (exp (+ x x)) 1552124085.235 * [simplify]: Simplified (2 1 1 1) to (λ (x) (/ (sqrt (fma (exp (+ x x)) (cbrt (exp (+ x (+ x x)))) 1)) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))) 1552124085.235 * * * * [progress]: [ 38 / 85 ] simplifiying candidate # 1552124085.236 * [simplify]: Simplifying (sqrt (exp (+ x (+ x x)))) 1552124085.236 * * [simplify]: iters left: 6 (5 enodes) 1552124085.238 * * [simplify]: iters left: 5 (19 enodes) 1552124085.244 * * [simplify]: iters left: 4 (25 enodes) 1552124085.251 * * [simplify]: iters left: 3 (27 enodes) 1552124085.260 * * [simplify]: iters left: 2 (29 enodes) 1552124085.268 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124085.268 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124085.268 * * [simplify]: Extracting #2: cost 8 inf + 0 1552124085.268 * * [simplify]: Extracting #3: cost 12 inf + 1 1552124085.268 * * [simplify]: Extracting #4: cost 12 inf + 2 1552124085.268 * * [simplify]: Extracting #5: cost 9 inf + 155 1552124085.269 * * [simplify]: Extracting #6: cost 3 inf + 801 1552124085.269 * * [simplify]: Extracting #7: cost 0 inf + 1294 1552124085.269 * [simplify]: Simplified to (sqrt (exp (+ (+ x x) x))) 1552124085.269 * [simplify]: Simplified (2 1 1 1) to (λ (x) (/ (sqrt (fma (sqrt (exp (+ (+ x x) x))) (sqrt (exp (+ x (+ x x)))) 1)) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))) 1552124085.270 * * * * [progress]: [ 39 / 85 ] simplifiying candidate # 1552124085.270 * * * * [progress]: [ 40 / 85 ] simplifiying candidate # 1552124085.270 * * * * [progress]: [ 41 / 85 ] simplifiying candidate # 1552124085.270 * * * * [progress]: [ 42 / 85 ] simplifiying candidate # 1552124085.270 * * * * [progress]: [ 43 / 85 ] simplifiying candidate # 1552124085.270 * * * * [progress]: [ 44 / 85 ] simplifiying candidate # 1552124085.270 * * * * [progress]: [ 45 / 85 ] simplifiying candidate # 1552124085.270 * * * * [progress]: [ 46 / 85 ] simplifiying candidate # 1552124085.270 * * * * [progress]: [ 47 / 85 ] simplifiying candidate # 1552124085.270 * * * * [progress]: [ 48 / 85 ] simplifiying candidate # 1552124085.270 * * * * [progress]: [ 49 / 85 ] simplifiying candidate #real (real->posit16 (+ (exp (+ x (+ x x))) 1)))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))> 1552124085.270 * * * * [progress]: [ 50 / 85 ] simplifiying candidate # 1552124085.270 * * * * [progress]: [ 51 / 85 ] simplifiying candidate # 1552124085.271 * * * * [progress]: [ 52 / 85 ] simplifiying candidate # 1552124085.271 * * * * [progress]: [ 53 / 85 ] simplifiying candidate # 1552124085.271 * [simplify]: Simplifying (exp x) 1552124085.271 * * [simplify]: iters left: 1 (2 enodes) 1552124085.272 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124085.272 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124085.272 * * [simplify]: Extracting #2: cost 2 inf + 1 1552124085.272 * * [simplify]: Extracting #3: cost 0 inf + 143 1552124085.272 * [simplify]: Simplified to (exp x) 1552124085.272 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (/ (sqrt (+ (exp (+ x (+ x x))) 1)) (sqrt (+ (pow (exp x) (+ 1 1)) (- (* 1 1) (* (exp x) 1)))))) 1552124085.272 * [simplify]: Simplifying (+ 1 1) 1552124085.273 * * [simplify]: iters left: 2 (2 enodes) 1552124085.275 * * [simplify]: iters left: 1 (9 enodes) 1552124085.278 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124085.278 * * [simplify]: Extracting #1: cost 0 inf + 1 1552124085.278 * [simplify]: Simplified to 2 1552124085.278 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (/ (sqrt (+ (exp (+ x (+ x x))) 1)) (sqrt (+ (pow (exp x) 2) (- (* 1 1) (* (exp x) 1)))))) 1552124085.278 * * * * [progress]: [ 54 / 85 ] simplifiying candidate # 1552124085.278 * [simplify]: Simplifying (* (exp x) (exp x)) 1552124085.278 * * [simplify]: iters left: 3 (3 enodes) 1552124085.280 * * [simplify]: iters left: 2 (11 enodes) 1552124085.283 * * [simplify]: iters left: 1 (13 enodes) 1552124085.287 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124085.287 * * [simplify]: Extracting #1: cost 4 inf + 0 1552124085.287 * * [simplify]: Extracting #2: cost 7 inf + 0 1552124085.287 * * [simplify]: Extracting #3: cost 6 inf + 1 1552124085.287 * * [simplify]: Extracting #4: cost 0 inf + 447 1552124085.287 * [simplify]: Simplified to (* (exp x) (exp x)) 1552124085.287 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (/ (sqrt (+ (exp (+ x (+ x x))) 1)) (sqrt (+ (pow (* (exp x) (exp x)) 1) (- (* 1 1) (* (exp x) 1)))))) 1552124085.287 * * * * [progress]: [ 55 / 85 ] simplifiying candidate # 1552124085.287 * * * * [progress]: [ 56 / 85 ] simplifiying candidate # 1552124085.288 * [simplify]: Simplifying (exp x) 1552124085.288 * * [simplify]: iters left: 1 (2 enodes) 1552124085.289 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124085.289 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124085.289 * * [simplify]: Extracting #2: cost 2 inf + 1 1552124085.289 * * [simplify]: Extracting #3: cost 0 inf + 143 1552124085.289 * [simplify]: Simplified to (exp x) 1552124085.289 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (/ (sqrt (+ (exp (+ x (+ x x))) 1)) (sqrt (+ (pow (exp x) (+ 1 1)) (- (* 1 1) (* (exp x) 1)))))) 1552124085.289 * * * * [progress]: [ 57 / 85 ] simplifiying candidate # 1552124085.289 * * * * [progress]: [ 58 / 85 ] simplifiying candidate # 1552124085.289 * [simplify]: Simplifying (+ x x) 1552124085.289 * * [simplify]: iters left: 2 (2 enodes) 1552124085.290 * * [simplify]: iters left: 1 (6 enodes) 1552124085.292 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124085.292 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124085.292 * * [simplify]: Extracting #2: cost 2 inf + 1 1552124085.292 * * [simplify]: Extracting #3: cost 0 inf + 83 1552124085.292 * [simplify]: Simplified to (+ x x) 1552124085.292 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (/ (sqrt (+ (exp (+ x (+ x x))) 1)) (sqrt (+ (exp (+ x x)) (- (* 1 1) (* (exp x) 1)))))) 1552124085.292 * * * * [progress]: [ 59 / 85 ] simplifiying candidate # 1552124085.293 * * * * [progress]: [ 60 / 85 ] simplifiying candidate # 1552124085.293 * * * * [progress]: [ 61 / 85 ] simplifiying candidate # 1552124085.293 * [simplify]: Simplifying (* (* (* (exp x) (exp x)) (exp x)) (* (* (exp x) (exp x)) (exp x))) 1552124085.293 * * [simplify]: iters left: 6 (5 enodes) 1552124085.296 * * [simplify]: iters left: 5 (22 enodes) 1552124085.303 * * [simplify]: iters left: 4 (42 enodes) 1552124085.320 * * [simplify]: iters left: 3 (77 enodes) 1552124085.340 * * [simplify]: iters left: 2 (135 enodes) 1552124085.360 * * [simplify]: iters left: 1 (142 enodes) 1552124085.374 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124085.374 * * [simplify]: Extracting #1: cost 10 inf + 0 1552124085.374 * * [simplify]: Extracting #2: cost 21 inf + 2 1552124085.374 * * [simplify]: Extracting #3: cost 22 inf + 5 1552124085.374 * * [simplify]: Extracting #4: cost 20 inf + 117 1552124085.375 * * [simplify]: Extracting #5: cost 6 inf + 1731 1552124085.376 * * [simplify]: Extracting #6: cost 0 inf + 2627 1552124085.377 * [simplify]: Simplified to (* (* (* (exp x) (exp x)) (exp x)) (* (* (exp x) (exp x)) (exp x))) 1552124085.377 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (/ (sqrt (+ (exp (+ x (+ x x))) 1)) (sqrt (+ (cbrt (* (* (* (exp x) (exp x)) (exp x)) (* (* (exp x) (exp x)) (exp x)))) (- (* 1 1) (* (exp x) 1)))))) 1552124085.377 * * * * [progress]: [ 62 / 85 ] simplifiying candidate # 1552124085.377 * * * * [progress]: [ 63 / 85 ] simplifiying candidate # 1552124085.377 * * * * [progress]: [ 64 / 85 ] simplifiying candidate # 1552124085.377 * * * * [progress]: [ 65 / 85 ] simplifiying candidate # 1552124085.377 * * * * [progress]: [ 66 / 85 ] simplifiying candidate # 1552124085.378 * [simplify]: Simplifying (cbrt (exp x)) 1552124085.378 * * [simplify]: iters left: 2 (3 enodes) 1552124085.378 * * [simplify]: iters left: 1 (9 enodes) 1552124085.379 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124085.379 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124085.380 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124085.380 * * [simplify]: Extracting #3: cost 4 inf + 1 1552124085.380 * * [simplify]: Extracting #4: cost 0 inf + 445 1552124085.380 * [simplify]: Simplified to (cbrt (exp x)) 1552124085.380 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (/ (sqrt (+ (exp (+ x (+ x x))) 1)) (sqrt (+ (* (* (exp x) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x))) (- (* 1 1) (* (exp x) 1)))))) 1552124085.380 * * * * [progress]: [ 67 / 85 ] simplifiying candidate # 1552124085.380 * [simplify]: Simplifying (sqrt (exp x)) 1552124085.380 * * [simplify]: iters left: 2 (3 enodes) 1552124085.381 * * [simplify]: iters left: 1 (9 enodes) 1552124085.382 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124085.382 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124085.382 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124085.382 * * [simplify]: Extracting #3: cost 4 inf + 1 1552124085.382 * * [simplify]: Extracting #4: cost 0 inf + 365 1552124085.382 * [simplify]: Simplified to (sqrt (exp x)) 1552124085.382 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (/ (sqrt (+ (exp (+ x (+ x x))) 1)) (sqrt (+ (* (* (exp x) (sqrt (exp x))) (sqrt (exp x))) (- (* 1 1) (* (exp x) 1)))))) 1552124085.382 * * * * [progress]: [ 68 / 85 ] simplifiying candidate # 1552124085.382 * [simplify]: Simplifying (exp x) 1552124085.382 * * [simplify]: iters left: 1 (2 enodes) 1552124085.383 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124085.383 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124085.383 * * [simplify]: Extracting #2: cost 2 inf + 1 1552124085.383 * * [simplify]: Extracting #3: cost 0 inf + 143 1552124085.383 * [simplify]: Simplified to (exp x) 1552124085.383 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (/ (sqrt (+ (exp (+ x (+ x x))) 1)) (sqrt (+ (* (* (exp x) 1) (exp x)) (- (* 1 1) (* (exp x) 1)))))) 1552124085.383 * * * * [progress]: [ 69 / 85 ] simplifiying candidate # 1552124085.383 * [simplify]: Simplifying (* (cbrt (exp x)) (cbrt (exp x))) 1552124085.383 * * [simplify]: iters left: 4 (4 enodes) 1552124085.384 * * [simplify]: iters left: 3 (12 enodes) 1552124085.386 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124085.386 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124085.386 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124085.386 * * [simplify]: Extracting #3: cost 7 inf + 0 1552124085.386 * * [simplify]: Extracting #4: cost 6 inf + 1 1552124085.386 * * [simplify]: Extracting #5: cost 0 inf + 827 1552124085.386 * [simplify]: Simplified to (* (cbrt (exp x)) (cbrt (exp x))) 1552124085.386 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (/ (sqrt (+ (exp (+ x (+ x x))) 1)) (sqrt (+ (* (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (exp x))) (- (* 1 1) (* (exp x) 1)))))) 1552124085.386 * * * * [progress]: [ 70 / 85 ] simplifiying candidate # 1552124085.386 * [simplify]: Simplifying (sqrt (exp x)) 1552124085.386 * * [simplify]: iters left: 2 (3 enodes) 1552124085.387 * * [simplify]: iters left: 1 (9 enodes) 1552124085.388 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124085.388 * * [simplify]: Extracting #1: cost 3 inf + 0 1552124085.388 * * [simplify]: Extracting #2: cost 5 inf + 0 1552124085.388 * * [simplify]: Extracting #3: cost 4 inf + 1 1552124085.388 * * [simplify]: Extracting #4: cost 0 inf + 365 1552124085.388 * [simplify]: Simplified to (sqrt (exp x)) 1552124085.388 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (/ (sqrt (+ (exp (+ x (+ x x))) 1)) (sqrt (+ (* (sqrt (exp x)) (* (sqrt (exp x)) (exp x))) (- (* 1 1) (* (exp x) 1)))))) 1552124085.388 * * * * [progress]: [ 71 / 85 ] simplifiying candidate # 1552124085.388 * * * * [progress]: [ 72 / 85 ] simplifiying candidate #real (real->posit16 (* (exp x) (exp x)))) (- (* 1 1) (* (exp x) 1))))))> 1552124085.388 * * * * [progress]: [ 73 / 85 ] simplifiying candidate # 1552124085.388 * * * * [progress]: [ 74 / 85 ] simplifiying candidate # 1552124085.389 * [simplify]: Simplifying (- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))) 1552124085.389 * * [simplify]: iters left: 6 (12 enodes) 1552124085.392 * * [simplify]: iters left: 5 (49 enodes) 1552124085.401 * * [simplify]: iters left: 4 (87 enodes) 1552124085.436 * * [simplify]: iters left: 3 (209 enodes) 1552124085.509 * * [simplify]: iters left: 2 (469 enodes) 1552124085.734 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124085.734 * * [simplify]: Extracting #1: cost 55 inf + 0 1552124085.736 * * [simplify]: Extracting #2: cost 89 inf + 245 1552124085.738 * * [simplify]: Extracting #3: cost 54 inf + 3652 1552124085.744 * * [simplify]: Extracting #4: cost 9 inf + 8923 1552124085.752 * * [simplify]: Extracting #5: cost 0 inf + 10338 1552124085.759 * * [simplify]: Extracting #6: cost 0 inf + 10323 1552124085.764 * [simplify]: Simplified to (- (* (* x (fma -1/6 x -1/2)) x) x) 1552124085.764 * [simplify]: Simplified (2 2 1 2) to (λ (x) (/ (sqrt (+ (exp (+ x (+ x x))) 1)) (sqrt (+ (* (exp x) (exp x)) (- (* (* x (fma -1/6 x -1/2)) x) x))))) 1552124085.764 * * * * [progress]: [ 75 / 85 ] simplifiying candidate # 1552124085.764 * [simplify]: Simplifying (- 1 (exp x)) 1552124085.764 * * [simplify]: iters left: 3 (4 enodes) 1552124085.768 * * [simplify]: iters left: 2 (16 enodes) 1552124085.770 * * [simplify]: iters left: 1 (21 enodes) 1552124085.774 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124085.774 * * [simplify]: Extracting #1: cost 5 inf + 0 1552124085.774 * * [simplify]: Extracting #2: cost 7 inf + 1 1552124085.774 * * [simplify]: Extracting #3: cost 1 inf + 479 1552124085.774 * * [simplify]: Extracting #4: cost 0 inf + 590 1552124085.774 * [simplify]: Simplified to (- 1 (exp x)) 1552124085.774 * [simplify]: Simplified (2 2 1 2) to (λ (x) (/ (sqrt (+ (exp (+ x (+ x x))) 1)) (sqrt (+ (* (exp x) (exp x)) (- 1 (exp x)))))) 1552124085.774 * * * * [progress]: [ 76 / 85 ] simplifiying candidate # 1552124085.775 * [simplify]: Simplifying (- 1 (exp x)) 1552124085.775 * * [simplify]: iters left: 3 (4 enodes) 1552124085.776 * * [simplify]: iters left: 2 (16 enodes) 1552124085.779 * * [simplify]: iters left: 1 (21 enodes) 1552124085.782 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124085.782 * * [simplify]: Extracting #1: cost 5 inf + 0 1552124085.782 * * [simplify]: Extracting #2: cost 7 inf + 1 1552124085.782 * * [simplify]: Extracting #3: cost 1 inf + 479 1552124085.782 * * [simplify]: Extracting #4: cost 0 inf + 590 1552124085.782 * [simplify]: Simplified to (- 1 (exp x)) 1552124085.782 * [simplify]: Simplified (2 2 1 2) to (λ (x) (/ (sqrt (+ (exp (+ x (+ x x))) 1)) (sqrt (+ (* (exp x) (exp x)) (- 1 (exp x)))))) 1552124085.782 * * * * [progress]: [ 77 / 85 ] simplifiying candidate # 1552124085.783 * [simplify]: Simplifying (+ (* 3 x) (+ (* 9/2 (pow x 2)) 1)) 1552124085.783 * * [simplify]: iters left: 6 (10 enodes) 1552124085.786 * * [simplify]: iters left: 5 (41 enodes) 1552124085.800 * * [simplify]: iters left: 4 (59 enodes) 1552124085.820 * * [simplify]: iters left: 3 (87 enodes) 1552124085.844 * * [simplify]: iters left: 2 (109 enodes) 1552124085.873 * * [simplify]: iters left: 1 (124 enodes) 1552124085.896 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124085.896 * * [simplify]: Extracting #1: cost 14 inf + 0 1552124085.897 * * [simplify]: Extracting #2: cost 18 inf + 45 1552124085.900 * * [simplify]: Extracting #3: cost 3 inf + 1017 1552124085.901 * * [simplify]: Extracting #4: cost 0 inf + 1271 1552124085.902 * [simplify]: Simplified to (fma x (fma x 9/2 3) 1) 1552124085.902 * [simplify]: Simplified (2 1 1 1) to (λ (x) (/ (sqrt (+ (fma x (fma x 9/2 3) 1) 1)) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))) 1552124085.902 * * * * [progress]: [ 78 / 85 ] simplifiying candidate # 1552124085.902 * [simplify]: Simplifying (exp (* 3 x)) 1552124085.902 * * [simplify]: iters left: 3 (4 enodes) 1552124085.905 * * [simplify]: iters left: 2 (15 enodes) 1552124085.910 * * [simplify]: iters left: 1 (19 enodes) 1552124085.916 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124085.916 * * [simplify]: Extracting #1: cost 8 inf + 0 1552124085.916 * * [simplify]: Extracting #2: cost 8 inf + 73 1552124085.917 * * [simplify]: Extracting #3: cost 0 inf + 705 1552124085.917 * [simplify]: Simplified to (exp (* 3 x)) 1552124085.917 * [simplify]: Simplified (2 1 1 1) to (λ (x) (/ (sqrt (+ (exp (* 3 x)) 1)) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))) 1552124085.917 * * * * [progress]: [ 79 / 85 ] simplifiying candidate # 1552124085.917 * [simplify]: Simplifying (exp (* 3 x)) 1552124085.917 * * [simplify]: iters left: 3 (4 enodes) 1552124085.920 * * [simplify]: iters left: 2 (15 enodes) 1552124085.925 * * [simplify]: iters left: 1 (19 enodes) 1552124085.931 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124085.932 * * [simplify]: Extracting #1: cost 8 inf + 0 1552124085.932 * * [simplify]: Extracting #2: cost 8 inf + 73 1552124085.932 * * [simplify]: Extracting #3: cost 0 inf + 705 1552124085.932 * [simplify]: Simplified to (exp (* 3 x)) 1552124085.932 * [simplify]: Simplified (2 1 1 1) to (λ (x) (/ (sqrt (+ (exp (* 3 x)) 1)) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))) 1552124085.932 * * * * [progress]: [ 80 / 85 ] simplifiying candidate # 1552124085.933 * [simplify]: Simplifying (+ (* 3 x) (+ (* 9/2 (pow x 2)) 2)) 1552124085.933 * * [simplify]: iters left: 6 (9 enodes) 1552124085.938 * * [simplify]: iters left: 5 (36 enodes) 1552124085.951 * * [simplify]: iters left: 4 (52 enodes) 1552124085.962 * * [simplify]: iters left: 3 (81 enodes) 1552124085.975 * * [simplify]: iters left: 2 (101 enodes) 1552124085.990 * * [simplify]: iters left: 1 (113 enodes) 1552124086.001 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124086.001 * * [simplify]: Extracting #1: cost 14 inf + 0 1552124086.001 * * [simplify]: Extracting #2: cost 16 inf + 143 1552124086.002 * * [simplify]: Extracting #3: cost 2 inf + 1130 1552124086.002 * * [simplify]: Extracting #4: cost 0 inf + 1270 1552124086.003 * [simplify]: Simplified to (fma (fma x 9/2 3) x 2) 1552124086.003 * [simplify]: Simplified (2 1 1) to (λ (x) (/ (sqrt (fma (fma x 9/2 3) x 2)) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))) 1552124086.003 * * * * [progress]: [ 81 / 85 ] simplifiying candidate # 1552124086.003 * [simplify]: Simplifying (+ (exp (* 3 x)) 1) 1552124086.003 * * [simplify]: iters left: 5 (6 enodes) 1552124086.005 * * [simplify]: iters left: 4 (24 enodes) 1552124086.011 * * [simplify]: iters left: 3 (30 enodes) 1552124086.016 * * [simplify]: iters left: 2 (35 enodes) 1552124086.022 * * [simplify]: iters left: 1 (41 enodes) 1552124086.034 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124086.034 * * [simplify]: Extracting #1: cost 6 inf + 0 1552124086.034 * * [simplify]: Extracting #2: cost 15 inf + 1 1552124086.034 * * [simplify]: Extracting #3: cost 12 inf + 307 1552124086.035 * * [simplify]: Extracting #4: cost 2 inf + 1102 1552124086.035 * * [simplify]: Extracting #5: cost 0 inf + 1367 1552124086.036 * [simplify]: Simplified to (+ (exp (* 3 x)) 1) 1552124086.036 * [simplify]: Simplified (2 1 1) to (λ (x) (/ (sqrt (+ (exp (* 3 x)) 1)) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))) 1552124086.036 * * * * [progress]: [ 82 / 85 ] simplifiying candidate # 1552124086.036 * [simplify]: Simplifying (+ (exp (* 3 x)) 1) 1552124086.036 * * [simplify]: iters left: 5 (6 enodes) 1552124086.041 * * [simplify]: iters left: 4 (24 enodes) 1552124086.049 * * [simplify]: iters left: 3 (30 enodes) 1552124086.058 * * [simplify]: iters left: 2 (35 enodes) 1552124086.069 * * [simplify]: iters left: 1 (41 enodes) 1552124086.083 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124086.083 * * [simplify]: Extracting #1: cost 6 inf + 0 1552124086.083 * * [simplify]: Extracting #2: cost 15 inf + 1 1552124086.083 * * [simplify]: Extracting #3: cost 12 inf + 307 1552124086.084 * * [simplify]: Extracting #4: cost 2 inf + 1102 1552124086.084 * * [simplify]: Extracting #5: cost 0 inf + 1367 1552124086.085 * [simplify]: Simplified to (+ (exp (* 3 x)) 1) 1552124086.085 * [simplify]: Simplified (2 1 1) to (λ (x) (/ (sqrt (+ (exp (* 3 x)) 1)) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))) 1552124086.085 * * * * [progress]: [ 83 / 85 ] simplifiying candidate # 1552124086.085 * [simplify]: Simplifying (+ (* 2 x) (+ (* 2 (pow x 2)) 1)) 1552124086.085 * * [simplify]: iters left: 6 (8 enodes) 1552124086.090 * * [simplify]: iters left: 5 (35 enodes) 1552124086.102 * * [simplify]: iters left: 4 (53 enodes) 1552124086.121 * * [simplify]: iters left: 3 (82 enodes) 1552124086.145 * * [simplify]: iters left: 2 (99 enodes) 1552124086.171 * * [simplify]: iters left: 1 (114 enodes) 1552124086.186 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124086.186 * * [simplify]: Extracting #1: cost 14 inf + 0 1552124086.186 * * [simplify]: Extracting #2: cost 20 inf + 100 1552124086.187 * * [simplify]: Extracting #3: cost 4 inf + 1216 1552124086.187 * * [simplify]: Extracting #4: cost 0 inf + 1541 1552124086.188 * [simplify]: Simplified to (fma 2 (fma x x x) 1) 1552124086.188 * [simplify]: Simplified (2 2 1 1) to (λ (x) (/ (sqrt (+ (exp (+ x (+ x x))) 1)) (sqrt (+ (fma 2 (fma x x x) 1) (- (* 1 1) (* (exp x) 1)))))) 1552124086.188 * * * * [progress]: [ 84 / 85 ] simplifiying candidate # 1552124086.188 * [simplify]: Simplifying (pow (exp x) 2) 1552124086.188 * * [simplify]: iters left: 2 (4 enodes) 1552124086.190 * * [simplify]: iters left: 1 (13 enodes) 1552124086.192 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124086.192 * * [simplify]: Extracting #1: cost 5 inf + 0 1552124086.192 * * [simplify]: Extracting #2: cost 6 inf + 1 1552124086.192 * * [simplify]: Extracting #3: cost 5 inf + 2 1552124086.192 * * [simplify]: Extracting #4: cost 0 inf + 407 1552124086.192 * [simplify]: Simplified to (* (exp x) (exp x)) 1552124086.192 * [simplify]: Simplified (2 2 1 1) to (λ (x) (/ (sqrt (+ (exp (+ x (+ x x))) 1)) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))) 1552124086.193 * * * * [progress]: [ 85 / 85 ] simplifiying candidate # 1552124086.193 * [simplify]: Simplifying (pow (exp x) 2) 1552124086.193 * * [simplify]: iters left: 2 (4 enodes) 1552124086.194 * * [simplify]: iters left: 1 (13 enodes) 1552124086.196 * * [simplify]: Extracting #0: cost 1 inf + 0 1552124086.196 * * [simplify]: Extracting #1: cost 5 inf + 0 1552124086.196 * * [simplify]: Extracting #2: cost 6 inf + 1 1552124086.196 * * [simplify]: Extracting #3: cost 5 inf + 2 1552124086.196 * * [simplify]: Extracting #4: cost 0 inf + 407 1552124086.196 * [simplify]: Simplified to (* (exp x) (exp x)) 1552124086.197 * [simplify]: Simplified (2 2 1 1) to (λ (x) (/ (sqrt (+ (exp (+ x (+ x x))) 1)) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))) 1552124086.197 * * * [progress]: adding candidates to table 1552124087.308 * [progress]: [Phase 3 of 3] Extracting. 1552124087.309 * * [regime]: Finding splitpoints for: (# #) 1552124087.310 * * * [regime-changes]: Trying 1 branch expressions: (x) 1552124087.310 * * * * [regimes]: Trying to branch on x from (# #) 1552124087.328 * * * [regime]: Found split indices: #