0.823 * [progress]: [Phase 1 of 3] Setting up.
0.004 * * * [progress]: [1/2] Preparing points
0.956 * * * [progress]: [2/2] Setting up program.
1.016 * [progress]: [Phase 2 of 3] Improving.
1.018 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1))))>
1.025 * [simplify]: Simplifying:
  (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1)))
1.026 * * [simplify]: iteration 0: 10 enodes
1.037 * * [simplify]: iteration 1: 22 enodes
1.044 * * [simplify]: iteration 2: 30 enodes
1.053 * * [simplify]: iteration 3: 49 enodes
1.070 * * [simplify]: iteration 4: 101 enodes
1.119 * * [simplify]: iteration 5: 282 enodes
1.277 * * [simplify]: iteration 6: 971 enodes
1.611 * * [simplify]: iteration 7: 2008 enodes
2.186 * * [simplify]: iteration complete: 2008 enodes
2.186 * * [simplify]: Extracting #0: cost 1 inf + 0
2.186 * * [simplify]: Extracting #1: cost 2 inf + 0
2.187 * * [simplify]: Extracting #2: cost 125 inf + 0
2.188 * * [simplify]: Extracting #3: cost 378 inf + 1
2.190 * * [simplify]: Extracting #4: cost 560 inf + 13856
2.197 * * [simplify]: Extracting #5: cost 525 inf + 44665
2.216 * * [simplify]: Extracting #6: cost 417 inf + 99407
2.264 * * [simplify]: Extracting #7: cost 166 inf + 238987
2.295 * * [simplify]: Extracting #8: cost 8 inf + 349939
2.359 * * [simplify]: Extracting #9: cost 0 inf + 354556
2.408 * * [simplify]: Extracting #10: cost 0 inf + 354156
2.452 * [simplify]: Simplified to:
  (sqrt (+ (exp x) 1))
2.459 * * [progress]: iteration 1 / 4
2.459 * * * [progress]: picking best candidate
2.461 * * * * [pick]: Picked  #<alt (λ (x) (sqrt (+ (exp x) 1)))>
2.461 * * * [progress]: localizing error
2.471 * * * [progress]: generating rewritten candidates
2.471 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
2.480 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
2.488 * * * [progress]: generating series expansions
2.488 * * * * [progress]: [ 1 / 2 ] generating series at (2)
2.494 * [backup-simplify]: Simplify (sqrt (+ (exp x) 1)) into (sqrt (+ (exp x) 1))
2.494 * [approximate]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in (x) around 0
2.496 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x
2.496 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
2.496 * [taylor]: Taking taylor expansion of (exp x) in x
2.496 * [taylor]: Taking taylor expansion of x in x
2.496 * [backup-simplify]: Simplify 0 into 0
2.496 * [backup-simplify]: Simplify 1 into 1
2.496 * [backup-simplify]: Simplify (exp 0) into 1
2.496 * [taylor]: Taking taylor expansion of 1 in x
2.496 * [backup-simplify]: Simplify 1 into 1
2.497 * [backup-simplify]: Simplify (+ 1 1) into 2
2.498 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
2.499 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.500 * [backup-simplify]: Simplify (+ 1 0) into 1
2.501 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
2.501 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x
2.502 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
2.502 * [taylor]: Taking taylor expansion of (exp x) in x
2.502 * [taylor]: Taking taylor expansion of x in x
2.502 * [backup-simplify]: Simplify 0 into 0
2.502 * [backup-simplify]: Simplify 1 into 1
2.502 * [backup-simplify]: Simplify (exp 0) into 1
2.502 * [taylor]: Taking taylor expansion of 1 in x
2.502 * [backup-simplify]: Simplify 1 into 1
2.502 * [backup-simplify]: Simplify (+ 1 1) into 2
2.503 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
2.504 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.504 * [backup-simplify]: Simplify (+ 1 0) into 1
2.506 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
2.506 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
2.508 * [backup-simplify]: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2))
2.510 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
2.510 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
2.514 * [backup-simplify]: Simplify (/ (- 1/2 (pow (/ 1/2 (sqrt 2)) 2) (+)) (* 2 (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2)))
2.518 * [backup-simplify]: Simplify (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2)))
2.523 * [backup-simplify]: Simplify (+ (* (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) (pow x 2)) (+ (* (/ 1/2 (sqrt 2)) x) (sqrt 2))) into (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
2.523 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
2.523 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in (x) around 0
2.523 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x
2.523 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
2.523 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.523 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.523 * [taylor]: Taking taylor expansion of x in x
2.523 * [backup-simplify]: Simplify 0 into 0
2.523 * [backup-simplify]: Simplify 1 into 1
2.523 * [backup-simplify]: Simplify (/ 1 1) into 1
2.523 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.523 * [taylor]: Taking taylor expansion of 1 in x
2.523 * [backup-simplify]: Simplify 1 into 1
2.523 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
2.523 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
2.524 * [backup-simplify]: Simplify (+ 0 0) into 0
2.524 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
2.524 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x
2.524 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
2.524 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.524 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.524 * [taylor]: Taking taylor expansion of x in x
2.524 * [backup-simplify]: Simplify 0 into 0
2.524 * [backup-simplify]: Simplify 1 into 1
2.524 * [backup-simplify]: Simplify (/ 1 1) into 1
2.524 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.524 * [taylor]: Taking taylor expansion of 1 in x
2.524 * [backup-simplify]: Simplify 1 into 1
2.524 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
2.524 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
2.525 * [backup-simplify]: Simplify (+ 0 0) into 0
2.525 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
2.525 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
2.525 * [backup-simplify]: Simplify 0 into 0
2.531 * [backup-simplify]: Simplify (+ 0 0) into 0
2.532 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
2.532 * [backup-simplify]: Simplify 0 into 0
2.532 * [backup-simplify]: Simplify (+ 0 0) into 0
2.533 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
2.533 * [backup-simplify]: Simplify 0 into 0
2.533 * [backup-simplify]: Simplify (+ 0 0) into 0
2.534 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
2.534 * [backup-simplify]: Simplify 0 into 0
2.534 * [backup-simplify]: Simplify (+ 0 0) into 0
2.535 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
2.535 * [backup-simplify]: Simplify 0 into 0
2.535 * [backup-simplify]: Simplify (+ 0 0) into 0
2.535 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
2.535 * [backup-simplify]: Simplify 0 into 0
2.536 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1))
2.536 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 (- x))) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
2.536 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in (x) around 0
2.536 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x
2.536 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
2.536 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.536 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.536 * [taylor]: Taking taylor expansion of -1 in x
2.536 * [backup-simplify]: Simplify -1 into -1
2.536 * [taylor]: Taking taylor expansion of x in x
2.536 * [backup-simplify]: Simplify 0 into 0
2.536 * [backup-simplify]: Simplify 1 into 1
2.536 * [backup-simplify]: Simplify (/ -1 1) into -1
2.536 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.536 * [taylor]: Taking taylor expansion of 1 in x
2.536 * [backup-simplify]: Simplify 1 into 1
2.536 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
2.537 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
2.537 * [backup-simplify]: Simplify (+ 0 0) into 0
2.537 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
2.537 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x
2.537 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
2.537 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.537 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.537 * [taylor]: Taking taylor expansion of -1 in x
2.537 * [backup-simplify]: Simplify -1 into -1
2.537 * [taylor]: Taking taylor expansion of x in x
2.537 * [backup-simplify]: Simplify 0 into 0
2.537 * [backup-simplify]: Simplify 1 into 1
2.537 * [backup-simplify]: Simplify (/ -1 1) into -1
2.537 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.537 * [taylor]: Taking taylor expansion of 1 in x
2.537 * [backup-simplify]: Simplify 1 into 1
2.537 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
2.537 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
2.538 * [backup-simplify]: Simplify (+ 0 0) into 0
2.538 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
2.538 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
2.538 * [backup-simplify]: Simplify 0 into 0
2.538 * [backup-simplify]: Simplify (+ 0 0) into 0
2.539 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
2.539 * [backup-simplify]: Simplify 0 into 0
2.539 * [backup-simplify]: Simplify (+ 0 0) into 0
2.539 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
2.539 * [backup-simplify]: Simplify 0 into 0
2.540 * [backup-simplify]: Simplify (+ 0 0) into 0
2.540 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
2.541 * [backup-simplify]: Simplify 0 into 0
2.541 * [backup-simplify]: Simplify (+ 0 0) into 0
2.541 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
2.541 * [backup-simplify]: Simplify 0 into 0
2.542 * [backup-simplify]: Simplify (+ 0 0) into 0
2.542 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
2.542 * [backup-simplify]: Simplify 0 into 0
2.542 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1))
2.542 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
2.543 * [backup-simplify]: Simplify (+ (exp x) 1) into (+ (exp x) 1)
2.543 * [approximate]: Taking taylor expansion of (+ (exp x) 1) in (x) around 0
2.543 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
2.543 * [taylor]: Taking taylor expansion of (exp x) in x
2.543 * [taylor]: Taking taylor expansion of x in x
2.543 * [backup-simplify]: Simplify 0 into 0
2.543 * [backup-simplify]: Simplify 1 into 1
2.543 * [backup-simplify]: Simplify (exp 0) into 1
2.543 * [taylor]: Taking taylor expansion of 1 in x
2.543 * [backup-simplify]: Simplify 1 into 1
2.543 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
2.543 * [taylor]: Taking taylor expansion of (exp x) in x
2.543 * [taylor]: Taking taylor expansion of x in x
2.543 * [backup-simplify]: Simplify 0 into 0
2.543 * [backup-simplify]: Simplify 1 into 1
2.543 * [backup-simplify]: Simplify (exp 0) into 1
2.543 * [taylor]: Taking taylor expansion of 1 in x
2.543 * [backup-simplify]: Simplify 1 into 1
2.543 * [backup-simplify]: Simplify (+ 1 1) into 2
2.543 * [backup-simplify]: Simplify 2 into 2
2.544 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.544 * [backup-simplify]: Simplify (+ 1 0) into 1
2.544 * [backup-simplify]: Simplify 1 into 1
2.545 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
2.545 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
2.545 * [backup-simplify]: Simplify 1/2 into 1/2
2.546 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ x (+ (* 1/2 (pow x 2)) 2))
2.546 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
2.546 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in (x) around 0
2.546 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
2.546 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.546 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.546 * [taylor]: Taking taylor expansion of x in x
2.546 * [backup-simplify]: Simplify 0 into 0
2.546 * [backup-simplify]: Simplify 1 into 1
2.546 * [backup-simplify]: Simplify (/ 1 1) into 1
2.546 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.546 * [taylor]: Taking taylor expansion of 1 in x
2.546 * [backup-simplify]: Simplify 1 into 1
2.546 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
2.546 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.546 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.546 * [taylor]: Taking taylor expansion of x in x
2.546 * [backup-simplify]: Simplify 0 into 0
2.546 * [backup-simplify]: Simplify 1 into 1
2.547 * [backup-simplify]: Simplify (/ 1 1) into 1
2.547 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.547 * [taylor]: Taking taylor expansion of 1 in x
2.547 * [backup-simplify]: Simplify 1 into 1
2.547 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
2.547 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
2.547 * [backup-simplify]: Simplify (+ 0 0) into 0
2.547 * [backup-simplify]: Simplify 0 into 0
2.547 * [backup-simplify]: Simplify (+ 0 0) into 0
2.547 * [backup-simplify]: Simplify 0 into 0
2.548 * [backup-simplify]: Simplify (+ 0 0) into 0
2.548 * [backup-simplify]: Simplify 0 into 0
2.548 * [backup-simplify]: Simplify (+ 0 0) into 0
2.548 * [backup-simplify]: Simplify 0 into 0
2.548 * [backup-simplify]: Simplify (+ 0 0) into 0
2.548 * [backup-simplify]: Simplify 0 into 0
2.548 * [backup-simplify]: Simplify (+ 0 0) into 0
2.548 * [backup-simplify]: Simplify 0 into 0
2.549 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1)
2.549 * [backup-simplify]: Simplify (+ (exp (/ 1 (- x))) 1) into (+ (exp (/ -1 x)) 1)
2.549 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in (x) around 0
2.549 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
2.549 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.549 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.549 * [taylor]: Taking taylor expansion of -1 in x
2.549 * [backup-simplify]: Simplify -1 into -1
2.549 * [taylor]: Taking taylor expansion of x in x
2.549 * [backup-simplify]: Simplify 0 into 0
2.549 * [backup-simplify]: Simplify 1 into 1
2.549 * [backup-simplify]: Simplify (/ -1 1) into -1
2.549 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.549 * [taylor]: Taking taylor expansion of 1 in x
2.549 * [backup-simplify]: Simplify 1 into 1
2.549 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
2.549 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.549 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.549 * [taylor]: Taking taylor expansion of -1 in x
2.549 * [backup-simplify]: Simplify -1 into -1
2.549 * [taylor]: Taking taylor expansion of x in x
2.549 * [backup-simplify]: Simplify 0 into 0
2.549 * [backup-simplify]: Simplify 1 into 1
2.550 * [backup-simplify]: Simplify (/ -1 1) into -1
2.550 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.550 * [taylor]: Taking taylor expansion of 1 in x
2.550 * [backup-simplify]: Simplify 1 into 1
2.550 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
2.550 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
2.550 * [backup-simplify]: Simplify (+ 0 0) into 0
2.550 * [backup-simplify]: Simplify 0 into 0
2.550 * [backup-simplify]: Simplify (+ 0 0) into 0
2.550 * [backup-simplify]: Simplify 0 into 0
2.551 * [backup-simplify]: Simplify (+ 0 0) into 0
2.551 * [backup-simplify]: Simplify 0 into 0
2.551 * [backup-simplify]: Simplify (+ 0 0) into 0
2.551 * [backup-simplify]: Simplify 0 into 0
2.551 * [backup-simplify]: Simplify (+ 0 0) into 0
2.551 * [backup-simplify]: Simplify 0 into 0
2.551 * [backup-simplify]: Simplify (+ 0 0) into 0
2.551 * [backup-simplify]: Simplify 0 into 0
2.552 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1)
2.552 * * * [progress]: simplifying candidates
2.552 * * * * [progress]: [ 1 / 36 ] simplifiying candidate #<alt (λ (x) (pow (+ (exp x) 1) 1/2))>
2.552 * * * * [progress]: [ 2 / 36 ] simplifiying candidate #<alt (λ (x) (pow (sqrt (+ (exp x) 1)) 1))>
2.552 * * * * [progress]: [ 3 / 36 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (+ (exp x) 1)))))>
2.552 * * * * [progress]: [ 4 / 36 ] simplifiying candidate #<alt (λ (x) (log (exp (sqrt (+ (exp x) 1)))))>
2.552 * * * * [progress]: [ 5 / 36 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1)))) (cbrt (sqrt (+ (exp x) 1)))))>
2.552 * * * * [progress]: [ 6 / 36 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1))) (sqrt (+ (exp x) 1)))))>
2.552 * * * * [progress]: [ 7 / 36 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))) (sqrt (cbrt (+ (exp x) 1)))))>
2.552 * * * * [progress]: [ 8 / 36 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1)))))>
2.552 * * * * [progress]: [ 9 / 36 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (sqrt (+ (exp x) 1))))>
2.552 * * * * [progress]: [ 10 / 36 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (sqrt (+ (exp x) 1))))>
2.552 * * * * [progress]: [ 11 / 36 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
2.552 * * * * [progress]: [ 12 / 36 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (- (* (exp x) (exp x)) (* 1 1))) (sqrt (- (exp x) 1))))>
2.552 * * * * [progress]: [ 13 / 36 ] simplifiying candidate #<alt (λ (x) (pow (+ (exp x) 1) (/ 1 2)))>
2.552 * * * * [progress]: [ 14 / 36 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1)))))>
2.552 * * * * [progress]: [ 15 / 36 ] simplifiying candidate #<alt (λ (x) (fabs (sqrt (+ (exp x) 1))))>
2.552 * * * * [progress]: [ 16 / 36 ] simplifiying candidate #<alt (λ (x) (* 1 (sqrt (+ (exp x) 1))))>
2.552 * * * * [progress]: [ 17 / 36 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (sqrt (+ (exp x) 1)))))>
2.552 * * * * [progress]: [ 18 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (log (* (exp (exp x)) (exp 1)))))>
2.553 * * * * [progress]: [ 19 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (pow (+ (exp x) 1) 1)))>
2.553 * * * * [progress]: [ 20 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log (+ (exp x) 1)))))>
2.553 * * * * [progress]: [ 21 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (log (exp (+ (exp x) 1)))))>
2.553 * * * * [progress]: [ 22 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (* (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))) (cbrt (+ (exp x) 1)))))>
2.553 * * * * [progress]: [ 23 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1)))))>
2.553 * * * * [progress]: [ 24 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1)))))>
2.553 * * * * [progress]: [ 25 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))>
2.553 * * * * [progress]: [ 26 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (* 1 (+ (exp x) 1))))>
2.553 * * * * [progress]: [ 27 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (- (* (exp x) (exp x)) (* 1 1)) (- (exp x) 1))))>
2.553 * * * * [progress]: [ 28 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (* 1 (+ (exp x) 1))))>
2.553 * * * * [progress]: [ 29 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (posit16->real (real->posit16 (+ (exp x) 1)))))>
2.553 * * * * [progress]: [ 30 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (+ 1 (exp x))))>
2.553 * * * * [progress]: [ 31 / 36 ] simplifiying candidate #<alt (λ (x) (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))))>
2.553 * * * * [progress]: [ 32 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
2.553 * * * * [progress]: [ 33 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
2.553 * * * * [progress]: [ 34 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (+ x (+ (* 1/2 (pow x 2)) 2))))>
2.553 * * * * [progress]: [ 35 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
2.553 * * * * [progress]: [ 36 / 36 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
2.554 * [simplify]: Simplifying:
  (log (sqrt (+ (exp x) 1)))
  (exp (sqrt (+ (exp x) 1)))
  (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1))))
  (cbrt (sqrt (+ (exp x) 1)))
  (* (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1))) (sqrt (+ (exp x) 1)))
  (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))))
  (sqrt (cbrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  (sqrt 1)
  (sqrt (+ (exp x) 1))
  (sqrt 1)
  (sqrt (+ (exp x) 1))
  (sqrt (+ (pow (exp x) 3) (pow 1 3)))
  (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))
  (sqrt (- (* (exp x) (exp x)) (* 1 1)))
  (sqrt (- (exp x) 1))
  (/ 1 2)
  (sqrt (sqrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  (real->posit16 (sqrt (+ (exp x) 1)))
  (* (exp (exp x)) (exp 1))
  (log (+ (exp x) 1))
  (exp (+ (exp x) 1))
  (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))
  (cbrt (+ (exp x) 1))
  (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
  (+ (pow (exp x) 3) (pow 1 3))
  (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))
  (- (* (exp x) (exp x)) (* 1 1))
  (- (exp x) 1)
  (+ (exp x) 1)
  (real->posit16 (+ (exp x) 1))
  (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
  (+ x (+ (* 1/2 (pow x 2)) 2))
  (+ (exp x) 1)
  (+ (exp x) 1)
2.554 * * [simplify]: iteration 0: 61 enodes
2.570 * * [simplify]: iteration 1: 142 enodes
2.621 * * [simplify]: iteration 2: 413 enodes
2.759 * * [simplify]: iteration 3: 1144 enodes
3.038 * * [simplify]: iteration 4: 2000 enodes
3.364 * * [simplify]: iteration complete: 2000 enodes
3.364 * * [simplify]: Extracting #0: cost 29 inf + 0
3.364 * * [simplify]: Extracting #1: cost 141 inf + 2
3.365 * * [simplify]: Extracting #2: cost 362 inf + 1506
3.368 * * [simplify]: Extracting #3: cost 375 inf + 16887
3.376 * * [simplify]: Extracting #4: cost 177 inf + 51928
3.389 * * [simplify]: Extracting #5: cost 93 inf + 74853
3.402 * * [simplify]: Extracting #6: cost 40 inf + 93124
3.420 * * [simplify]: Extracting #7: cost 6 inf + 102680
3.436 * * [simplify]: Extracting #8: cost 0 inf + 104618
3.466 * [simplify]: Simplified to:
  (log (sqrt (+ (exp x) 1)))
  (exp (sqrt (+ (exp x) 1)))
  (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1))))
  (cbrt (sqrt (+ (exp x) 1)))
  (* (+ (exp x) 1) (sqrt (+ (exp x) 1)))
  (fabs (cbrt (+ (exp x) 1)))
  (sqrt (cbrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  1
  (sqrt (+ (exp x) 1))
  1
  (sqrt (+ (exp x) 1))
  (sqrt (+ 1 (exp (+ x (+ x x)))))
  (sqrt (+ (- 1 (exp x)) (* (exp x) (exp x))))
  (sqrt (+ (* (exp x) (exp x)) -1))
  (sqrt (+ (exp x) -1))
  1/2
  (sqrt (sqrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  (real->posit16 (sqrt (+ (exp x) 1)))
  (exp (+ (exp x) 1))
  (log (+ (exp x) 1))
  (exp (+ (exp x) 1))
  (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))
  (cbrt (+ (exp x) 1))
  (* (+ (exp x) 1) (* (+ (exp x) 1) (+ (exp x) 1)))
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
  (+ 1 (exp (+ x (+ x x))))
  (+ (- 1 (exp x)) (* (exp x) (exp x)))
  (+ (* (exp x) (exp x)) -1)
  (+ (exp x) -1)
  (+ (exp x) 1)
  (real->posit16 (+ (exp x) 1))
  (+ (/ (/ x (sqrt 2)) 2) (+ (- (/ (* 1/4 x) (/ (sqrt 2) x)) (* 1/16 (* (/ x (sqrt 2)) x))) (sqrt 2)))
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
  (+ (/ (* x x) 2) (+ 2 x))
  (+ (exp x) 1)
  (+ (exp x) 1)
3.468 * * * [progress]: adding candidates to table
3.611 * * [progress]: iteration 2 / 4
3.611 * * * [progress]: picking best candidate
3.621 * * * * [pick]: Picked  #<alt (λ (x) (exp (log (sqrt (+ (exp x) 1)))))>
3.621 * * * [progress]: localizing error
3.640 * * * [progress]: generating rewritten candidates
3.640 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
3.648 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
3.656 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
3.666 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
3.680 * * * [progress]: generating series expansions
3.680 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
3.680 * [backup-simplify]: Simplify (log (sqrt (+ (exp x) 1))) into (log (sqrt (+ (exp x) 1)))
3.680 * [approximate]: Taking taylor expansion of (log (sqrt (+ (exp x) 1))) in (x) around 0
3.680 * [taylor]: Taking taylor expansion of (log (sqrt (+ (exp x) 1))) in x
3.680 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x
3.680 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
3.680 * [taylor]: Taking taylor expansion of (exp x) in x
3.680 * [taylor]: Taking taylor expansion of x in x
3.680 * [backup-simplify]: Simplify 0 into 0
3.680 * [backup-simplify]: Simplify 1 into 1
3.680 * [backup-simplify]: Simplify (exp 0) into 1
3.680 * [taylor]: Taking taylor expansion of 1 in x
3.680 * [backup-simplify]: Simplify 1 into 1
3.681 * [backup-simplify]: Simplify (+ 1 1) into 2
3.682 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
3.683 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.683 * [backup-simplify]: Simplify (+ 1 0) into 1
3.685 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
3.686 * [backup-simplify]: Simplify (log (sqrt 2)) into (log (sqrt 2))
3.686 * [taylor]: Taking taylor expansion of (log (sqrt (+ (exp x) 1))) in x
3.686 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x
3.686 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
3.686 * [taylor]: Taking taylor expansion of (exp x) in x
3.686 * [taylor]: Taking taylor expansion of x in x
3.686 * [backup-simplify]: Simplify 0 into 0
3.686 * [backup-simplify]: Simplify 1 into 1
3.686 * [backup-simplify]: Simplify (exp 0) into 1
3.686 * [taylor]: Taking taylor expansion of 1 in x
3.686 * [backup-simplify]: Simplify 1 into 1
3.686 * [backup-simplify]: Simplify (+ 1 1) into 2
3.687 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
3.688 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.688 * [backup-simplify]: Simplify (+ 1 0) into 1
3.689 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
3.690 * [backup-simplify]: Simplify (log (sqrt 2)) into (log (sqrt 2))
3.690 * [backup-simplify]: Simplify (log (sqrt 2)) into (log (sqrt 2))
3.696 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (/ 1/2 (sqrt 2))) 1)) (pow (sqrt 2) 1)))) 1) into (/ 1/2 (pow (sqrt 2) 2))
3.697 * [backup-simplify]: Simplify (/ 1/2 (pow (sqrt 2) 2)) into (/ 1/2 (pow (sqrt 2) 2))
3.699 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.699 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
3.702 * [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)))
3.722 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (/ 1/2 (sqrt 2))) 2)) (pow (sqrt 2) 2))) (* 1 (/ (* 1 (pow (* 2 (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2)))) 1)) (pow (sqrt 2) 1)))) 2) into (* 1/2 (- (* 1/2 (/ 1 (pow (sqrt 2) 2))) (* 1/2 (/ 1 (pow (sqrt 2) 4)))))
3.729 * [backup-simplify]: Simplify (* 1/2 (- (* 1/2 (/ 1 (pow (sqrt 2) 2))) (* 1/2 (/ 1 (pow (sqrt 2) 4))))) into (* 1/2 (- (* 1/2 (/ 1 (pow (sqrt 2) 2))) (* 1/2 (/ 1 (pow (sqrt 2) 4)))))
3.736 * [backup-simplify]: Simplify (+ (* (* 1/2 (- (* 1/2 (/ 1 (pow (sqrt 2) 2))) (* 1/2 (/ 1 (pow (sqrt 2) 4))))) (pow x 2)) (+ (* (/ 1/2 (pow (sqrt 2) 2)) x) (log (sqrt 2)))) into (- (+ (* 1/4 (/ (pow x 2) (pow (sqrt 2) 2))) (+ (log (sqrt 2)) (* 1/2 (/ x (pow (sqrt 2) 2))))) (* 1/4 (/ (pow x 2) (pow (sqrt 2) 4))))
3.736 * [backup-simplify]: Simplify (log (sqrt (+ (exp (/ 1 x)) 1))) into (log (sqrt (+ (exp (/ 1 x)) 1)))
3.736 * [approximate]: Taking taylor expansion of (log (sqrt (+ (exp (/ 1 x)) 1))) in (x) around 0
3.736 * [taylor]: Taking taylor expansion of (log (sqrt (+ (exp (/ 1 x)) 1))) in x
3.736 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x
3.736 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
3.736 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.736 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.736 * [taylor]: Taking taylor expansion of x in x
3.736 * [backup-simplify]: Simplify 0 into 0
3.736 * [backup-simplify]: Simplify 1 into 1
3.736 * [backup-simplify]: Simplify (/ 1 1) into 1
3.736 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.736 * [taylor]: Taking taylor expansion of 1 in x
3.736 * [backup-simplify]: Simplify 1 into 1
3.736 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
3.736 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
3.737 * [backup-simplify]: Simplify (+ 0 0) into 0
3.737 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.737 * [backup-simplify]: Simplify (log (sqrt (+ (exp (/ 1 x)) 1))) into (log (sqrt (+ (exp (/ 1 x)) 1)))
3.737 * [taylor]: Taking taylor expansion of (log (sqrt (+ (exp (/ 1 x)) 1))) in x
3.737 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x
3.737 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
3.737 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.737 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.737 * [taylor]: Taking taylor expansion of x in x
3.737 * [backup-simplify]: Simplify 0 into 0
3.737 * [backup-simplify]: Simplify 1 into 1
3.737 * [backup-simplify]: Simplify (/ 1 1) into 1
3.737 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.737 * [taylor]: Taking taylor expansion of 1 in x
3.737 * [backup-simplify]: Simplify 1 into 1
3.737 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
3.737 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
3.738 * [backup-simplify]: Simplify (+ 0 0) into 0
3.738 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.738 * [backup-simplify]: Simplify (log (sqrt (+ (exp (/ 1 x)) 1))) into (log (sqrt (+ (exp (/ 1 x)) 1)))
3.738 * [backup-simplify]: Simplify (log (sqrt (+ (exp (/ 1 x)) 1))) into (log (sqrt (+ (exp (/ 1 x)) 1)))
3.738 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (+ (exp (/ 1 x)) 1)) 1)))) 1) into 0
3.738 * [backup-simplify]: Simplify 0 into 0
3.739 * [backup-simplify]: Simplify (+ 0 0) into 0
3.739 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.740 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (+ (exp (/ 1 x)) 1)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (+ (exp (/ 1 x)) 1)) 1)))) 2) into 0
3.740 * [backup-simplify]: Simplify 0 into 0
3.740 * [backup-simplify]: Simplify (+ 0 0) into 0
3.741 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.743 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (+ (exp (/ 1 x)) 1)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (+ (exp (/ 1 x)) 1)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (+ (exp (/ 1 x)) 1)) 1)))) 6) into 0
3.743 * [backup-simplify]: Simplify 0 into 0
3.743 * [backup-simplify]: Simplify (+ 0 0) into 0
3.744 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.747 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (+ (exp (/ 1 x)) 1)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (+ (exp (/ 1 x)) 1)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (+ (exp (/ 1 x)) 1)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (+ (exp (/ 1 x)) 1)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (+ (exp (/ 1 x)) 1)) 1)))) 24) into 0
3.747 * [backup-simplify]: Simplify 0 into 0
3.747 * [backup-simplify]: Simplify (+ 0 0) into 0
3.748 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.752 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (+ (exp (/ 1 x)) 1)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (+ (exp (/ 1 x)) 1)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (+ (exp (/ 1 x)) 1)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (+ (exp (/ 1 x)) 1)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (+ (exp (/ 1 x)) 1)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (+ (exp (/ 1 x)) 1)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (+ (exp (/ 1 x)) 1)) 1)))) 120) into 0
3.752 * [backup-simplify]: Simplify 0 into 0
3.753 * [backup-simplify]: Simplify (+ 0 0) into 0
3.753 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.769 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (+ (exp (/ 1 x)) 1)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (+ (exp (/ 1 x)) 1)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (+ (exp (/ 1 x)) 1)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (+ (exp (/ 1 x)) 1)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (+ (exp (/ 1 x)) 1)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (+ (exp (/ 1 x)) 1)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (+ (exp (/ 1 x)) 1)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (+ (exp (/ 1 x)) 1)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (+ (exp (/ 1 x)) 1)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (+ (exp (/ 1 x)) 1)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (+ (exp (/ 1 x)) 1)) 1)))) 720) into 0
3.769 * [backup-simplify]: Simplify 0 into 0
3.769 * [backup-simplify]: Simplify (log (sqrt (+ (exp (/ 1 (/ 1 x))) 1))) into (log (sqrt (+ (exp x) 1)))
3.769 * [backup-simplify]: Simplify (log (sqrt (+ (exp (/ 1 (- x))) 1))) into (log (sqrt (+ (exp (/ -1 x)) 1)))
3.769 * [approximate]: Taking taylor expansion of (log (sqrt (+ (exp (/ -1 x)) 1))) in (x) around 0
3.769 * [taylor]: Taking taylor expansion of (log (sqrt (+ (exp (/ -1 x)) 1))) in x
3.769 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x
3.769 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
3.769 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.769 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.769 * [taylor]: Taking taylor expansion of -1 in x
3.769 * [backup-simplify]: Simplify -1 into -1
3.770 * [taylor]: Taking taylor expansion of x in x
3.770 * [backup-simplify]: Simplify 0 into 0
3.770 * [backup-simplify]: Simplify 1 into 1
3.770 * [backup-simplify]: Simplify (/ -1 1) into -1
3.770 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.770 * [taylor]: Taking taylor expansion of 1 in x
3.770 * [backup-simplify]: Simplify 1 into 1
3.770 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
3.770 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
3.771 * [backup-simplify]: Simplify (+ 0 0) into 0
3.771 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.771 * [backup-simplify]: Simplify (log (sqrt (+ (exp (/ -1 x)) 1))) into (log (sqrt (+ (exp (/ -1 x)) 1)))
3.771 * [taylor]: Taking taylor expansion of (log (sqrt (+ (exp (/ -1 x)) 1))) in x
3.771 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x
3.771 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
3.771 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.771 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.771 * [taylor]: Taking taylor expansion of -1 in x
3.771 * [backup-simplify]: Simplify -1 into -1
3.771 * [taylor]: Taking taylor expansion of x in x
3.771 * [backup-simplify]: Simplify 0 into 0
3.771 * [backup-simplify]: Simplify 1 into 1
3.772 * [backup-simplify]: Simplify (/ -1 1) into -1
3.772 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.772 * [taylor]: Taking taylor expansion of 1 in x
3.772 * [backup-simplify]: Simplify 1 into 1
3.772 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
3.772 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
3.773 * [backup-simplify]: Simplify (+ 0 0) into 0
3.773 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.773 * [backup-simplify]: Simplify (log (sqrt (+ (exp (/ -1 x)) 1))) into (log (sqrt (+ (exp (/ -1 x)) 1)))
3.773 * [backup-simplify]: Simplify (log (sqrt (+ (exp (/ -1 x)) 1))) into (log (sqrt (+ (exp (/ -1 x)) 1)))
3.774 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (sqrt (+ (exp (/ -1 x)) 1)) 1)))) 1) into 0
3.774 * [backup-simplify]: Simplify 0 into 0
3.775 * [backup-simplify]: Simplify (+ 0 0) into 0
3.775 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.777 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (sqrt (+ (exp (/ -1 x)) 1)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (sqrt (+ (exp (/ -1 x)) 1)) 1)))) 2) into 0
3.777 * [backup-simplify]: Simplify 0 into 0
3.778 * [backup-simplify]: Simplify (+ 0 0) into 0
3.779 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.781 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (sqrt (+ (exp (/ -1 x)) 1)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (sqrt (+ (exp (/ -1 x)) 1)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (sqrt (+ (exp (/ -1 x)) 1)) 1)))) 6) into 0
3.782 * [backup-simplify]: Simplify 0 into 0
3.782 * [backup-simplify]: Simplify (+ 0 0) into 0
3.783 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.789 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (sqrt (+ (exp (/ -1 x)) 1)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (sqrt (+ (exp (/ -1 x)) 1)) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (sqrt (+ (exp (/ -1 x)) 1)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (sqrt (+ (exp (/ -1 x)) 1)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (sqrt (+ (exp (/ -1 x)) 1)) 1)))) 24) into 0
3.789 * [backup-simplify]: Simplify 0 into 0
3.789 * [backup-simplify]: Simplify (+ 0 0) into 0
3.791 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.800 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (sqrt (+ (exp (/ -1 x)) 1)) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (sqrt (+ (exp (/ -1 x)) 1)) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (sqrt (+ (exp (/ -1 x)) 1)) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (sqrt (+ (exp (/ -1 x)) 1)) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (+ (exp (/ -1 x)) 1)) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (sqrt (+ (exp (/ -1 x)) 1)) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (+ (exp (/ -1 x)) 1)) 1)))) 120) into 0
3.800 * [backup-simplify]: Simplify 0 into 0
3.801 * [backup-simplify]: Simplify (+ 0 0) into 0
3.802 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.815 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (sqrt (+ (exp (/ -1 x)) 1)) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (sqrt (+ (exp (/ -1 x)) 1)) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (sqrt (+ (exp (/ -1 x)) 1)) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (sqrt (+ (exp (/ -1 x)) 1)) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (sqrt (+ (exp (/ -1 x)) 1)) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (sqrt (+ (exp (/ -1 x)) 1)) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (sqrt (+ (exp (/ -1 x)) 1)) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (sqrt (+ (exp (/ -1 x)) 1)) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (sqrt (+ (exp (/ -1 x)) 1)) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (sqrt (+ (exp (/ -1 x)) 1)) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (sqrt (+ (exp (/ -1 x)) 1)) 1)))) 720) into 0
3.816 * [backup-simplify]: Simplify 0 into 0
3.816 * [backup-simplify]: Simplify (log (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1))) into (log (sqrt (+ (exp x) 1)))
3.816 * * * * [progress]: [ 2 / 4 ] generating series at (2)
3.816 * [backup-simplify]: Simplify (exp (log (sqrt (+ (exp x) 1)))) into (sqrt (+ (exp x) 1))
3.816 * [approximate]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in (x) around 0
3.816 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x
3.816 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
3.816 * [taylor]: Taking taylor expansion of (exp x) in x
3.816 * [taylor]: Taking taylor expansion of x in x
3.816 * [backup-simplify]: Simplify 0 into 0
3.816 * [backup-simplify]: Simplify 1 into 1
3.816 * [backup-simplify]: Simplify (exp 0) into 1
3.816 * [taylor]: Taking taylor expansion of 1 in x
3.816 * [backup-simplify]: Simplify 1 into 1
3.817 * [backup-simplify]: Simplify (+ 1 1) into 2
3.817 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
3.818 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.819 * [backup-simplify]: Simplify (+ 1 0) into 1
3.820 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
3.820 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x
3.820 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
3.820 * [taylor]: Taking taylor expansion of (exp x) in x
3.820 * [taylor]: Taking taylor expansion of x in x
3.820 * [backup-simplify]: Simplify 0 into 0
3.820 * [backup-simplify]: Simplify 1 into 1
3.820 * [backup-simplify]: Simplify (exp 0) into 1
3.821 * [taylor]: Taking taylor expansion of 1 in x
3.821 * [backup-simplify]: Simplify 1 into 1
3.821 * [backup-simplify]: Simplify (+ 1 1) into 2
3.821 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
3.822 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.823 * [backup-simplify]: Simplify (+ 1 0) into 1
3.824 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
3.825 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
3.826 * [backup-simplify]: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2))
3.827 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.828 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
3.833 * [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)))
3.839 * [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)))
3.847 * [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))))
3.847 * [backup-simplify]: Simplify (exp (log (sqrt (+ (exp (/ 1 x)) 1)))) into (sqrt (+ (exp (/ 1 x)) 1))
3.847 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in (x) around 0
3.847 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x
3.847 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
3.847 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.847 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.847 * [taylor]: Taking taylor expansion of x in x
3.847 * [backup-simplify]: Simplify 0 into 0
3.847 * [backup-simplify]: Simplify 1 into 1
3.848 * [backup-simplify]: Simplify (/ 1 1) into 1
3.848 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.848 * [taylor]: Taking taylor expansion of 1 in x
3.848 * [backup-simplify]: Simplify 1 into 1
3.848 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
3.848 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
3.848 * [backup-simplify]: Simplify (+ 0 0) into 0
3.849 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.849 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x
3.849 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
3.849 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.849 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.849 * [taylor]: Taking taylor expansion of x in x
3.849 * [backup-simplify]: Simplify 0 into 0
3.849 * [backup-simplify]: Simplify 1 into 1
3.849 * [backup-simplify]: Simplify (/ 1 1) into 1
3.849 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.849 * [taylor]: Taking taylor expansion of 1 in x
3.849 * [backup-simplify]: Simplify 1 into 1
3.849 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
3.850 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
3.850 * [backup-simplify]: Simplify (+ 0 0) into 0
3.850 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.850 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
3.850 * [backup-simplify]: Simplify 0 into 0
3.851 * [backup-simplify]: Simplify (+ 0 0) into 0
3.851 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.852 * [backup-simplify]: Simplify 0 into 0
3.852 * [backup-simplify]: Simplify (+ 0 0) into 0
3.853 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.853 * [backup-simplify]: Simplify 0 into 0
3.853 * [backup-simplify]: Simplify (+ 0 0) into 0
3.854 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.854 * [backup-simplify]: Simplify 0 into 0
3.855 * [backup-simplify]: Simplify (+ 0 0) into 0
3.856 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.856 * [backup-simplify]: Simplify 0 into 0
3.856 * [backup-simplify]: Simplify (+ 0 0) into 0
3.857 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.857 * [backup-simplify]: Simplify 0 into 0
3.857 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1))
3.858 * [backup-simplify]: Simplify (exp (log (sqrt (+ (exp (/ 1 (- x))) 1)))) into (sqrt (+ (exp (/ -1 x)) 1))
3.858 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in (x) around 0
3.858 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x
3.858 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
3.858 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.858 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.858 * [taylor]: Taking taylor expansion of -1 in x
3.858 * [backup-simplify]: Simplify -1 into -1
3.858 * [taylor]: Taking taylor expansion of x in x
3.858 * [backup-simplify]: Simplify 0 into 0
3.858 * [backup-simplify]: Simplify 1 into 1
3.858 * [backup-simplify]: Simplify (/ -1 1) into -1
3.859 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.859 * [taylor]: Taking taylor expansion of 1 in x
3.859 * [backup-simplify]: Simplify 1 into 1
3.859 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
3.859 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
3.859 * [backup-simplify]: Simplify (+ 0 0) into 0
3.859 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.859 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x
3.859 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
3.860 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.860 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.860 * [taylor]: Taking taylor expansion of -1 in x
3.860 * [backup-simplify]: Simplify -1 into -1
3.860 * [taylor]: Taking taylor expansion of x in x
3.860 * [backup-simplify]: Simplify 0 into 0
3.860 * [backup-simplify]: Simplify 1 into 1
3.860 * [backup-simplify]: Simplify (/ -1 1) into -1
3.860 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.860 * [taylor]: Taking taylor expansion of 1 in x
3.860 * [backup-simplify]: Simplify 1 into 1
3.860 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
3.860 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
3.861 * [backup-simplify]: Simplify (+ 0 0) into 0
3.861 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.861 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
3.861 * [backup-simplify]: Simplify 0 into 0
3.862 * [backup-simplify]: Simplify (+ 0 0) into 0
3.863 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.863 * [backup-simplify]: Simplify 0 into 0
3.863 * [backup-simplify]: Simplify (+ 0 0) into 0
3.864 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.864 * [backup-simplify]: Simplify 0 into 0
3.865 * [backup-simplify]: Simplify (+ 0 0) into 0
3.866 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.866 * [backup-simplify]: Simplify 0 into 0
3.866 * [backup-simplify]: Simplify (+ 0 0) into 0
3.867 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.867 * [backup-simplify]: Simplify 0 into 0
3.868 * [backup-simplify]: Simplify (+ 0 0) into 0
3.869 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.869 * [backup-simplify]: Simplify 0 into 0
3.869 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1))
3.869 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
3.869 * [backup-simplify]: Simplify (sqrt (+ (exp x) 1)) into (sqrt (+ (exp x) 1))
3.869 * [approximate]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in (x) around 0
3.869 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x
3.870 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
3.870 * [taylor]: Taking taylor expansion of (exp x) in x
3.870 * [taylor]: Taking taylor expansion of x in x
3.870 * [backup-simplify]: Simplify 0 into 0
3.870 * [backup-simplify]: Simplify 1 into 1
3.870 * [backup-simplify]: Simplify (exp 0) into 1
3.870 * [taylor]: Taking taylor expansion of 1 in x
3.870 * [backup-simplify]: Simplify 1 into 1
3.870 * [backup-simplify]: Simplify (+ 1 1) into 2
3.871 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
3.872 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.872 * [backup-simplify]: Simplify (+ 1 0) into 1
3.874 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
3.874 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x
3.874 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
3.874 * [taylor]: Taking taylor expansion of (exp x) in x
3.874 * [taylor]: Taking taylor expansion of x in x
3.874 * [backup-simplify]: Simplify 0 into 0
3.874 * [backup-simplify]: Simplify 1 into 1
3.874 * [backup-simplify]: Simplify (exp 0) into 1
3.874 * [taylor]: Taking taylor expansion of 1 in x
3.874 * [backup-simplify]: Simplify 1 into 1
3.874 * [backup-simplify]: Simplify (+ 1 1) into 2
3.875 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
3.876 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.876 * [backup-simplify]: Simplify (+ 1 0) into 1
3.878 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
3.878 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
3.879 * [backup-simplify]: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2))
3.881 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.882 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
3.887 * [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)))
3.893 * [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)))
3.898 * [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))))
3.898 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
3.898 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in (x) around 0
3.898 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x
3.898 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
3.898 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.898 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.898 * [taylor]: Taking taylor expansion of x in x
3.898 * [backup-simplify]: Simplify 0 into 0
3.898 * [backup-simplify]: Simplify 1 into 1
3.898 * [backup-simplify]: Simplify (/ 1 1) into 1
3.899 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.899 * [taylor]: Taking taylor expansion of 1 in x
3.899 * [backup-simplify]: Simplify 1 into 1
3.899 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
3.899 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
3.899 * [backup-simplify]: Simplify (+ 0 0) into 0
3.899 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.899 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x
3.899 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
3.899 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.899 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.899 * [taylor]: Taking taylor expansion of x in x
3.899 * [backup-simplify]: Simplify 0 into 0
3.899 * [backup-simplify]: Simplify 1 into 1
3.899 * [backup-simplify]: Simplify (/ 1 1) into 1
3.899 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.899 * [taylor]: Taking taylor expansion of 1 in x
3.899 * [backup-simplify]: Simplify 1 into 1
3.900 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
3.900 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
3.900 * [backup-simplify]: Simplify (+ 0 0) into 0
3.900 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.900 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
3.900 * [backup-simplify]: Simplify 0 into 0
3.900 * [backup-simplify]: Simplify (+ 0 0) into 0
3.901 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.901 * [backup-simplify]: Simplify 0 into 0
3.901 * [backup-simplify]: Simplify (+ 0 0) into 0
3.902 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.902 * [backup-simplify]: Simplify 0 into 0
3.902 * [backup-simplify]: Simplify (+ 0 0) into 0
3.902 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.902 * [backup-simplify]: Simplify 0 into 0
3.904 * [backup-simplify]: Simplify (+ 0 0) into 0
3.905 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.905 * [backup-simplify]: Simplify 0 into 0
3.905 * [backup-simplify]: Simplify (+ 0 0) into 0
3.906 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
3.906 * [backup-simplify]: Simplify 0 into 0
3.906 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1))
3.906 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 (- x))) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
3.906 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in (x) around 0
3.906 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x
3.906 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
3.906 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.906 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.906 * [taylor]: Taking taylor expansion of -1 in x
3.906 * [backup-simplify]: Simplify -1 into -1
3.906 * [taylor]: Taking taylor expansion of x in x
3.906 * [backup-simplify]: Simplify 0 into 0
3.906 * [backup-simplify]: Simplify 1 into 1
3.906 * [backup-simplify]: Simplify (/ -1 1) into -1
3.906 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.906 * [taylor]: Taking taylor expansion of 1 in x
3.906 * [backup-simplify]: Simplify 1 into 1
3.906 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
3.907 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
3.907 * [backup-simplify]: Simplify (+ 0 0) into 0
3.907 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.907 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x
3.907 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
3.907 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.907 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.907 * [taylor]: Taking taylor expansion of -1 in x
3.907 * [backup-simplify]: Simplify -1 into -1
3.907 * [taylor]: Taking taylor expansion of x in x
3.907 * [backup-simplify]: Simplify 0 into 0
3.907 * [backup-simplify]: Simplify 1 into 1
3.907 * [backup-simplify]: Simplify (/ -1 1) into -1
3.907 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.907 * [taylor]: Taking taylor expansion of 1 in x
3.907 * [backup-simplify]: Simplify 1 into 1
3.907 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
3.908 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
3.908 * [backup-simplify]: Simplify (+ 0 0) into 0
3.908 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.908 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
3.908 * [backup-simplify]: Simplify 0 into 0
3.908 * [backup-simplify]: Simplify (+ 0 0) into 0
3.909 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.909 * [backup-simplify]: Simplify 0 into 0
3.909 * [backup-simplify]: Simplify (+ 0 0) into 0
3.909 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.910 * [backup-simplify]: Simplify 0 into 0
3.910 * [backup-simplify]: Simplify (+ 0 0) into 0
3.910 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.910 * [backup-simplify]: Simplify 0 into 0
3.911 * [backup-simplify]: Simplify (+ 0 0) into 0
3.911 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.911 * [backup-simplify]: Simplify 0 into 0
3.911 * [backup-simplify]: Simplify (+ 0 0) into 0
3.912 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
3.912 * [backup-simplify]: Simplify 0 into 0
3.912 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1))
3.912 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
3.912 * [backup-simplify]: Simplify (+ (exp x) 1) into (+ (exp x) 1)
3.912 * [approximate]: Taking taylor expansion of (+ (exp x) 1) in (x) around 0
3.912 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
3.912 * [taylor]: Taking taylor expansion of (exp x) in x
3.912 * [taylor]: Taking taylor expansion of x in x
3.912 * [backup-simplify]: Simplify 0 into 0
3.912 * [backup-simplify]: Simplify 1 into 1
3.912 * [backup-simplify]: Simplify (exp 0) into 1
3.912 * [taylor]: Taking taylor expansion of 1 in x
3.912 * [backup-simplify]: Simplify 1 into 1
3.912 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
3.912 * [taylor]: Taking taylor expansion of (exp x) in x
3.912 * [taylor]: Taking taylor expansion of x in x
3.912 * [backup-simplify]: Simplify 0 into 0
3.913 * [backup-simplify]: Simplify 1 into 1
3.913 * [backup-simplify]: Simplify (exp 0) into 1
3.913 * [taylor]: Taking taylor expansion of 1 in x
3.913 * [backup-simplify]: Simplify 1 into 1
3.913 * [backup-simplify]: Simplify (+ 1 1) into 2
3.913 * [backup-simplify]: Simplify 2 into 2
3.913 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.914 * [backup-simplify]: Simplify (+ 1 0) into 1
3.914 * [backup-simplify]: Simplify 1 into 1
3.915 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.915 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
3.915 * [backup-simplify]: Simplify 1/2 into 1/2
3.915 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ x (+ (* 1/2 (pow x 2)) 2))
3.915 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
3.915 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in (x) around 0
3.915 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
3.915 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.915 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.915 * [taylor]: Taking taylor expansion of x in x
3.915 * [backup-simplify]: Simplify 0 into 0
3.915 * [backup-simplify]: Simplify 1 into 1
3.916 * [backup-simplify]: Simplify (/ 1 1) into 1
3.916 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.916 * [taylor]: Taking taylor expansion of 1 in x
3.916 * [backup-simplify]: Simplify 1 into 1
3.916 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
3.916 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.916 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.916 * [taylor]: Taking taylor expansion of x in x
3.916 * [backup-simplify]: Simplify 0 into 0
3.916 * [backup-simplify]: Simplify 1 into 1
3.916 * [backup-simplify]: Simplify (/ 1 1) into 1
3.916 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.916 * [taylor]: Taking taylor expansion of 1 in x
3.916 * [backup-simplify]: Simplify 1 into 1
3.916 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
3.916 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
3.916 * [backup-simplify]: Simplify (+ 0 0) into 0
3.916 * [backup-simplify]: Simplify 0 into 0
3.917 * [backup-simplify]: Simplify (+ 0 0) into 0
3.917 * [backup-simplify]: Simplify 0 into 0
3.917 * [backup-simplify]: Simplify (+ 0 0) into 0
3.917 * [backup-simplify]: Simplify 0 into 0
3.917 * [backup-simplify]: Simplify (+ 0 0) into 0
3.917 * [backup-simplify]: Simplify 0 into 0
3.917 * [backup-simplify]: Simplify (+ 0 0) into 0
3.917 * [backup-simplify]: Simplify 0 into 0
3.918 * [backup-simplify]: Simplify (+ 0 0) into 0
3.918 * [backup-simplify]: Simplify 0 into 0
3.918 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1)
3.918 * [backup-simplify]: Simplify (+ (exp (/ 1 (- x))) 1) into (+ (exp (/ -1 x)) 1)
3.918 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in (x) around 0
3.918 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
3.918 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.918 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.918 * [taylor]: Taking taylor expansion of -1 in x
3.918 * [backup-simplify]: Simplify -1 into -1
3.918 * [taylor]: Taking taylor expansion of x in x
3.918 * [backup-simplify]: Simplify 0 into 0
3.918 * [backup-simplify]: Simplify 1 into 1
3.918 * [backup-simplify]: Simplify (/ -1 1) into -1
3.918 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.918 * [taylor]: Taking taylor expansion of 1 in x
3.918 * [backup-simplify]: Simplify 1 into 1
3.918 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
3.918 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.918 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.918 * [taylor]: Taking taylor expansion of -1 in x
3.918 * [backup-simplify]: Simplify -1 into -1
3.919 * [taylor]: Taking taylor expansion of x in x
3.919 * [backup-simplify]: Simplify 0 into 0
3.919 * [backup-simplify]: Simplify 1 into 1
3.919 * [backup-simplify]: Simplify (/ -1 1) into -1
3.919 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.919 * [taylor]: Taking taylor expansion of 1 in x
3.919 * [backup-simplify]: Simplify 1 into 1
3.919 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
3.919 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
3.919 * [backup-simplify]: Simplify (+ 0 0) into 0
3.919 * [backup-simplify]: Simplify 0 into 0
3.920 * [backup-simplify]: Simplify (+ 0 0) into 0
3.920 * [backup-simplify]: Simplify 0 into 0
3.920 * [backup-simplify]: Simplify (+ 0 0) into 0
3.920 * [backup-simplify]: Simplify 0 into 0
3.920 * [backup-simplify]: Simplify (+ 0 0) into 0
3.920 * [backup-simplify]: Simplify 0 into 0
3.920 * [backup-simplify]: Simplify (+ 0 0) into 0
3.920 * [backup-simplify]: Simplify 0 into 0
3.921 * [backup-simplify]: Simplify (+ 0 0) into 0
3.921 * [backup-simplify]: Simplify 0 into 0
3.921 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1)
3.921 * * * [progress]: simplifying candidates
3.921 * * * * [progress]: [ 1 / 87 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1))))) (log (cbrt (sqrt (+ (exp x) 1)))))))>
3.921 * * * * [progress]: [ 2 / 87 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))))) (log (sqrt (cbrt (+ (exp x) 1)))))))>
3.921 * * * * [progress]: [ 3 / 87 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (sqrt (sqrt (+ (exp x) 1)))) (log (sqrt (sqrt (+ (exp x) 1)))))))>
3.921 * * * * [progress]: [ 4 / 87 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (sqrt 1)) (log (sqrt (+ (exp x) 1))))))>
3.921 * * * * [progress]: [ 5 / 87 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (sqrt 1)) (log (sqrt (+ (exp x) 1))))))>
3.921 * * * * [progress]: [ 6 / 87 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (sqrt (sqrt (+ (exp x) 1)))) (log (sqrt (sqrt (+ (exp x) 1)))))))>
3.921 * * * * [progress]: [ 7 / 87 ] simplifiying candidate #<alt (λ (x) (exp (+ (log 1) (log (sqrt (+ (exp x) 1))))))>
3.921 * * * * [progress]: [ 8 / 87 ] simplifiying candidate #<alt (λ (x) (exp (- (log (sqrt (+ (pow (exp x) 3) (pow 1 3)))) (log (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))))>
3.921 * * * * [progress]: [ 9 / 87 ] simplifiying candidate #<alt (λ (x) (exp (- (log (sqrt (- (* (exp x) (exp x)) (* 1 1)))) (log (sqrt (- (exp x) 1))))))>
3.921 * * * * [progress]: [ 10 / 87 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (log (+ (exp x) 1)))))>
3.921 * * * * [progress]: [ 11 / 87 ] simplifiying candidate #<alt (λ (x) (exp (* 1 (log (sqrt (+ (exp x) 1))))))>
3.921 * * * * [progress]: [ 12 / 87 ] simplifiying candidate #<alt (λ (x) (exp (* (/ 1 2) (log (+ (exp x) 1)))))>
3.921 * * * * [progress]: [ 13 / 87 ] simplifiying candidate #<alt (λ (x) (exp (pow (log (sqrt (+ (exp x) 1))) 1)))>
3.921 * * * * [progress]: [ 14 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (+ (exp x) 1)))))>
3.921 * * * * [progress]: [ 15 / 87 ] simplifiying candidate #<alt (λ (x) (exp (exp (log (log (sqrt (+ (exp x) 1)))))))>
3.921 * * * * [progress]: [ 16 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (exp (log (sqrt (+ (exp x) 1)))))))>
3.921 * * * * [progress]: [ 17 / 87 ] simplifiying candidate #<alt (λ (x) (exp (* (* (cbrt (log (sqrt (+ (exp x) 1)))) (cbrt (log (sqrt (+ (exp x) 1))))) (cbrt (log (sqrt (+ (exp x) 1)))))))>
3.922 * * * * [progress]: [ 18 / 87 ] simplifiying candidate #<alt (λ (x) (exp (cbrt (* (* (log (sqrt (+ (exp x) 1))) (log (sqrt (+ (exp x) 1)))) (log (sqrt (+ (exp x) 1)))))))>
3.922 * * * * [progress]: [ 19 / 87 ] simplifiying candidate #<alt (λ (x) (exp (* (sqrt (log (sqrt (+ (exp x) 1)))) (sqrt (log (sqrt (+ (exp x) 1)))))))>
3.922 * * * * [progress]: [ 20 / 87 ] simplifiying candidate #<alt (λ (x) (exp (* 1 (log (sqrt (+ (exp x) 1))))))>
3.922 * * * * [progress]: [ 21 / 87 ] simplifiying candidate #<alt (λ (x) (exp (posit16->real (real->posit16 (log (sqrt (+ (exp x) 1)))))))>
3.922 * * * * [progress]: [ 22 / 87 ] simplifiying candidate #<alt (λ (x) (pow (exp (log (sqrt (+ (exp x) 1)))) 1))>
3.922 * * * * [progress]: [ 23 / 87 ] simplifiying candidate #<alt (λ (x) (pow (exp 1/2) (log (+ (exp x) 1))))>
3.922 * * * * [progress]: [ 24 / 87 ] simplifiying candidate #<alt (λ (x) (pow (exp 1) (log (sqrt (+ (exp x) 1)))))>
3.922 * * * * [progress]: [ 25 / 87 ] simplifiying candidate #<alt (λ (x) (pow (exp (/ 1 2)) (log (+ (exp x) 1))))>
3.922 * * * * [progress]: [ 26 / 87 ] simplifiying candidate #<alt (λ (x) (pow (exp (* (cbrt (log (sqrt (+ (exp x) 1)))) (cbrt (log (sqrt (+ (exp x) 1)))))) (cbrt (log (sqrt (+ (exp x) 1))))))>
3.922 * * * * [progress]: [ 27 / 87 ] simplifiying candidate #<alt (λ (x) (pow (exp (sqrt (log (sqrt (+ (exp x) 1))))) (sqrt (log (sqrt (+ (exp x) 1))))))>
3.922 * * * * [progress]: [ 28 / 87 ] simplifiying candidate #<alt (λ (x) (pow (exp 1) (log (sqrt (+ (exp x) 1)))))>
3.922 * * * * [progress]: [ 29 / 87 ] simplifiying candidate #<alt (λ (x) (* (exp (log (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1)))))) (exp (log (cbrt (sqrt (+ (exp x) 1)))))))>
3.922 * * * * [progress]: [ 30 / 87 ] simplifiying candidate #<alt (λ (x) (* (exp (log (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))))) (exp (log (sqrt (cbrt (+ (exp x) 1)))))))>
3.922 * * * * [progress]: [ 31 / 87 ] simplifiying candidate #<alt (λ (x) (* (exp (log (sqrt (sqrt (+ (exp x) 1))))) (exp (log (sqrt (sqrt (+ (exp x) 1)))))))>
3.922 * * * * [progress]: [ 32 / 87 ] simplifiying candidate #<alt (λ (x) (* (exp (log (sqrt 1))) (exp (log (sqrt (+ (exp x) 1))))))>
3.922 * * * * [progress]: [ 33 / 87 ] simplifiying candidate #<alt (λ (x) (* (exp (log (sqrt 1))) (exp (log (sqrt (+ (exp x) 1))))))>
3.922 * * * * [progress]: [ 34 / 87 ] simplifiying candidate #<alt (λ (x) (* (exp (log (sqrt (sqrt (+ (exp x) 1))))) (exp (log (sqrt (sqrt (+ (exp x) 1)))))))>
3.922 * * * * [progress]: [ 35 / 87 ] simplifiying candidate #<alt (λ (x) (* (exp (log 1)) (exp (log (sqrt (+ (exp x) 1))))))>
3.922 * * * * [progress]: [ 36 / 87 ] simplifiying candidate #<alt (λ (x) (/ (exp (log (sqrt (+ (pow (exp x) 3) (pow 1 3))))) (exp (log (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))))>
3.922 * * * * [progress]: [ 37 / 87 ] simplifiying candidate #<alt (λ (x) (/ (exp (log (sqrt (- (* (exp x) (exp x)) (* 1 1))))) (exp (log (sqrt (- (exp x) 1))))))>
3.922 * * * * [progress]: [ 38 / 87 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
3.922 * * * * [progress]: [ 39 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (exp (log (sqrt (+ (exp x) 1)))))))>
3.922 * * * * [progress]: [ 40 / 87 ] simplifiying candidate #<alt (λ (x) (log (exp (exp (log (sqrt (+ (exp x) 1)))))))>
3.922 * * * * [progress]: [ 41 / 87 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (log (sqrt (+ (exp x) 1))))) (cbrt (exp (log (sqrt (+ (exp x) 1)))))) (cbrt (exp (log (sqrt (+ (exp x) 1)))))))>
3.922 * * * * [progress]: [ 42 / 87 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (exp (log (sqrt (+ (exp x) 1)))) (exp (log (sqrt (+ (exp x) 1))))) (exp (log (sqrt (+ (exp x) 1)))))))>
3.922 * * * * [progress]: [ 43 / 87 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (log (sqrt (+ (exp x) 1))))) (sqrt (exp (log (sqrt (+ (exp x) 1)))))))>
3.923 * * * * [progress]: [ 44 / 87 ] simplifiying candidate #<alt (λ (x) (* 1 (exp (log (sqrt (+ (exp x) 1))))))>
3.923 * * * * [progress]: [ 45 / 87 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (exp (log (sqrt (+ (exp x) 1)))))))>
3.923 * * * * [progress]: [ 46 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (pow (+ (exp x) 1) 1/2))))>
3.923 * * * * [progress]: [ 47 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (pow (sqrt (+ (exp x) 1)) 1))))>
3.923 * * * * [progress]: [ 48 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (exp (log (sqrt (+ (exp x) 1)))))))>
3.923 * * * * [progress]: [ 49 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (log (exp (sqrt (+ (exp x) 1)))))))>
3.923 * * * * [progress]: [ 50 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (* (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1)))) (cbrt (sqrt (+ (exp x) 1)))))))>
3.923 * * * * [progress]: [ 51 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (cbrt (* (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1))) (sqrt (+ (exp x) 1)))))))>
3.923 * * * * [progress]: [ 52 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (* (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))) (sqrt (cbrt (+ (exp x) 1)))))))>
3.923 * * * * [progress]: [ 53 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1)))))))>
3.923 * * * * [progress]: [ 54 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (* (sqrt 1) (sqrt (+ (exp x) 1))))))>
3.923 * * * * [progress]: [ 55 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (* (sqrt 1) (sqrt (+ (exp x) 1))))))>
3.923 * * * * [progress]: [ 56 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (/ (sqrt (+ (pow (exp x) 3) (pow 1 3))) (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))))>
3.923 * * * * [progress]: [ 57 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (/ (sqrt (- (* (exp x) (exp x)) (* 1 1))) (sqrt (- (exp x) 1))))))>
3.923 * * * * [progress]: [ 58 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (pow (+ (exp x) 1) (/ 1 2)))))>
3.923 * * * * [progress]: [ 59 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ (exp x) 1)))))))>
3.923 * * * * [progress]: [ 60 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (fabs (sqrt (+ (exp x) 1))))))>
3.923 * * * * [progress]: [ 61 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (* 1 (sqrt (+ (exp x) 1))))))>
3.923 * * * * [progress]: [ 62 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (posit16->real (real->posit16 (sqrt (+ (exp x) 1)))))))>
3.923 * * * * [progress]: [ 63 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (log (* (exp (exp x)) (exp 1)))))))>
3.923 * * * * [progress]: [ 64 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (pow (+ (exp x) 1) 1)))))>
3.923 * * * * [progress]: [ 65 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (exp (log (+ (exp x) 1)))))))>
3.923 * * * * [progress]: [ 66 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (log (exp (+ (exp x) 1)))))))>
3.923 * * * * [progress]: [ 67 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (* (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))) (cbrt (+ (exp x) 1)))))))>
3.923 * * * * [progress]: [ 68 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (cbrt (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1)))))))>
3.923 * * * * [progress]: [ 69 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1)))))))>
3.923 * * * * [progress]: [ 70 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))))>
3.924 * * * * [progress]: [ 71 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (* 1 (+ (exp x) 1))))))>
3.924 * * * * [progress]: [ 72 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (/ (- (* (exp x) (exp x)) (* 1 1)) (- (exp x) 1))))))>
3.924 * * * * [progress]: [ 73 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (* 1 (+ (exp x) 1))))))>
3.924 * * * * [progress]: [ 74 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (posit16->real (real->posit16 (+ (exp x) 1)))))))>
3.924 * * * * [progress]: [ 75 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (+ 1 (exp x))))))>
3.924 * * * * [progress]: [ 76 / 87 ] simplifiying candidate #<alt (λ (x) (exp (- (+ (* 1/4 (/ (pow x 2) (pow (sqrt 2) 2))) (+ (log (sqrt 2)) (* 1/2 (/ x (pow (sqrt 2) 2))))) (* 1/4 (/ (pow x 2) (pow (sqrt 2) 4))))))>
3.924 * * * * [progress]: [ 77 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (+ (exp x) 1)))))>
3.924 * * * * [progress]: [ 78 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (+ (exp x) 1)))))>
3.924 * * * * [progress]: [ 79 / 87 ] simplifiying candidate #<alt (λ (x) (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))))>
3.924 * * * * [progress]: [ 80 / 87 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
3.924 * * * * [progress]: [ 81 / 87 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
3.924 * * * * [progress]: [ 82 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))))))>
3.924 * * * * [progress]: [ 83 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (+ (exp x) 1)))))>
3.924 * * * * [progress]: [ 84 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (+ (exp x) 1)))))>
3.924 * * * * [progress]: [ 85 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (+ x (+ (* 1/2 (pow x 2)) 2))))))>
3.924 * * * * [progress]: [ 86 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (+ (exp x) 1)))))>
3.924 * * * * [progress]: [ 87 / 87 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (+ (exp x) 1)))))>
3.925 * [simplify]: Simplifying:
  (log (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1)))))
  (log (cbrt (sqrt (+ (exp x) 1))))
  (log (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))))
  (log (sqrt (cbrt (+ (exp x) 1))))
  (log (sqrt (sqrt (+ (exp x) 1))))
  (log (sqrt (sqrt (+ (exp x) 1))))
  (log (sqrt 1))
  (log (sqrt (+ (exp x) 1)))
  (log (sqrt 1))
  (log (sqrt (+ (exp x) 1)))
  (log (sqrt (sqrt (+ (exp x) 1))))
  (log (sqrt (sqrt (+ (exp x) 1))))
  (log 1)
  (log (sqrt (+ (exp x) 1)))
  (log (sqrt (+ (pow (exp x) 3) (pow 1 3))))
  (log (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))))
  (log (sqrt (- (* (exp x) (exp x)) (* 1 1))))
  (log (sqrt (- (exp x) 1)))
  (log (+ (exp x) 1))
  (log (sqrt (+ (exp x) 1)))
  (log (+ (exp x) 1))
  (log (log (sqrt (+ (exp x) 1))))
  (exp (log (sqrt (+ (exp x) 1))))
  (* (cbrt (log (sqrt (+ (exp x) 1)))) (cbrt (log (sqrt (+ (exp x) 1)))))
  (cbrt (log (sqrt (+ (exp x) 1))))
  (* (* (log (sqrt (+ (exp x) 1))) (log (sqrt (+ (exp x) 1)))) (log (sqrt (+ (exp x) 1))))
  (sqrt (log (sqrt (+ (exp x) 1))))
  (sqrt (log (sqrt (+ (exp x) 1))))
  (real->posit16 (log (sqrt (+ (exp x) 1))))
  (exp 1/2)
  (exp 1)
  (exp (/ 1 2))
  (exp (* (cbrt (log (sqrt (+ (exp x) 1)))) (cbrt (log (sqrt (+ (exp x) 1))))))
  (exp (sqrt (log (sqrt (+ (exp x) 1)))))
  (exp 1)
  (exp (log (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1))))))
  (exp (log (cbrt (sqrt (+ (exp x) 1)))))
  (exp (log (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))))))
  (exp (log (sqrt (cbrt (+ (exp x) 1)))))
  (exp (log (sqrt (sqrt (+ (exp x) 1)))))
  (exp (log (sqrt (sqrt (+ (exp x) 1)))))
  (exp (log (sqrt 1)))
  (exp (log (sqrt (+ (exp x) 1))))
  (exp (log (sqrt 1)))
  (exp (log (sqrt (+ (exp x) 1))))
  (exp (log (sqrt (sqrt (+ (exp x) 1)))))
  (exp (log (sqrt (sqrt (+ (exp x) 1)))))
  (exp (log 1))
  (exp (log (sqrt (+ (exp x) 1))))
  (exp (log (sqrt (+ (pow (exp x) 3) (pow 1 3)))))
  (exp (log (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))
  (exp (log (sqrt (- (* (exp x) (exp x)) (* 1 1)))))
  (exp (log (sqrt (- (exp x) 1))))
  (log (exp (log (sqrt (+ (exp x) 1)))))
  (exp (exp (log (sqrt (+ (exp x) 1)))))
  (* (cbrt (exp (log (sqrt (+ (exp x) 1))))) (cbrt (exp (log (sqrt (+ (exp x) 1))))))
  (cbrt (exp (log (sqrt (+ (exp x) 1)))))
  (* (* (exp (log (sqrt (+ (exp x) 1)))) (exp (log (sqrt (+ (exp x) 1))))) (exp (log (sqrt (+ (exp x) 1)))))
  (sqrt (exp (log (sqrt (+ (exp x) 1)))))
  (sqrt (exp (log (sqrt (+ (exp x) 1)))))
  (real->posit16 (exp (log (sqrt (+ (exp x) 1)))))
  (log (sqrt (+ (exp x) 1)))
  (exp (sqrt (+ (exp x) 1)))
  (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1))))
  (cbrt (sqrt (+ (exp x) 1)))
  (* (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1))) (sqrt (+ (exp x) 1)))
  (sqrt (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))))
  (sqrt (cbrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  (sqrt 1)
  (sqrt (+ (exp x) 1))
  (sqrt 1)
  (sqrt (+ (exp x) 1))
  (sqrt (+ (pow (exp x) 3) (pow 1 3)))
  (sqrt (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))
  (sqrt (- (* (exp x) (exp x)) (* 1 1)))
  (sqrt (- (exp x) 1))
  (/ 1 2)
  (sqrt (sqrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  (real->posit16 (sqrt (+ (exp x) 1)))
  (* (exp (exp x)) (exp 1))
  (log (+ (exp x) 1))
  (exp (+ (exp x) 1))
  (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))
  (cbrt (+ (exp x) 1))
  (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
  (+ (pow (exp x) 3) (pow 1 3))
  (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))
  (- (* (exp x) (exp x)) (* 1 1))
  (- (exp x) 1)
  (+ (exp x) 1)
  (real->posit16 (+ (exp x) 1))
  (- (+ (* 1/4 (/ (pow x 2) (pow (sqrt 2) 2))) (+ (log (sqrt 2)) (* 1/2 (/ x (pow (sqrt 2) 2))))) (* 1/4 (/ (pow x 2) (pow (sqrt 2) 4))))
  (log (sqrt (+ (exp x) 1)))
  (log (sqrt (+ (exp x) 1)))
  (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
  (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
  (+ x (+ (* 1/2 (pow x 2)) 2))
  (+ (exp x) 1)
  (+ (exp x) 1)
3.926 * * [simplify]: iteration 0: 116 enodes
3.954 * * [simplify]: iteration 1: 229 enodes
4.053 * * [simplify]: iteration 2: 568 enodes
4.308 * * [simplify]: iteration 3: 1715 enodes
4.633 * * [simplify]: iteration 4: 2011 enodes
4.977 * * [simplify]: iteration complete: 2011 enodes
4.977 * * [simplify]: Extracting #0: cost 50 inf + 0
4.977 * * [simplify]: Extracting #1: cost 157 inf + 4
4.980 * * [simplify]: Extracting #2: cost 497 inf + 272
4.985 * * [simplify]: Extracting #3: cost 479 inf + 12674
4.995 * * [simplify]: Extracting #4: cost 183 inf + 53094
5.010 * * [simplify]: Extracting #5: cost 45 inf + 94034
5.045 * * [simplify]: Extracting #6: cost 2 inf + 109707
5.079 * * [simplify]: Extracting #7: cost 0 inf + 110713
5.096 * [simplify]: Simplified to:
  (log (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1)))))
  (log (cbrt (sqrt (+ (exp x) 1))))
  (log (fabs (cbrt (+ (exp x) 1))))
  (log (sqrt (cbrt (+ (exp x) 1))))
  (log (sqrt (sqrt (+ (exp x) 1))))
  (log (sqrt (sqrt (+ (exp x) 1))))
  0
  (log (sqrt (+ (exp x) 1)))
  0
  (log (sqrt (+ (exp x) 1)))
  (log (sqrt (sqrt (+ (exp x) 1))))
  (log (sqrt (sqrt (+ (exp x) 1))))
  0
  (log (sqrt (+ (exp x) 1)))
  (log (sqrt (+ (exp (+ (+ x x) x)) 1)))
  (log (sqrt (- 1 (* (exp x) (- 1 (exp x))))))
  (log (sqrt (- (exp (+ x x)) 1)))
  (log (sqrt (- (exp x) 1)))
  (log (+ (exp x) 1))
  (log (sqrt (+ (exp x) 1)))
  (log (+ (exp x) 1))
  (log (log (sqrt (+ (exp x) 1))))
  (sqrt (+ (exp x) 1))
  (* (cbrt (log (sqrt (+ (exp x) 1)))) (cbrt (log (sqrt (+ (exp x) 1)))))
  (cbrt (log (sqrt (+ (exp x) 1))))
  (* (* (log (sqrt (+ (exp x) 1))) (log (sqrt (+ (exp x) 1)))) (log (sqrt (+ (exp x) 1))))
  (sqrt (log (sqrt (+ (exp x) 1))))
  (sqrt (log (sqrt (+ (exp x) 1))))
  (real->posit16 (log (sqrt (+ (exp x) 1))))
  (sqrt E)
  E
  (sqrt E)
  (exp (* (cbrt (log (sqrt (+ (exp x) 1)))) (cbrt (log (sqrt (+ (exp x) 1))))))
  (exp (sqrt (log (sqrt (+ (exp x) 1)))))
  E
  (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1))))
  (cbrt (sqrt (+ (exp x) 1)))
  (fabs (cbrt (+ (exp x) 1)))
  (sqrt (cbrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  1
  (sqrt (+ (exp x) 1))
  1
  (sqrt (+ (exp x) 1))
  (sqrt (sqrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  1
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp (+ (+ x x) x)) 1))
  (sqrt (- 1 (* (exp x) (- 1 (exp x)))))
  (sqrt (- (exp (+ x x)) 1))
  (sqrt (- (exp x) 1))
  (log (sqrt (+ (exp x) 1)))
  (exp (sqrt (+ (exp x) 1)))
  (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1))))
  (cbrt (sqrt (+ (exp x) 1)))
  (* (sqrt (+ (exp x) 1)) (+ (exp x) 1))
  (sqrt (sqrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  (real->posit16 (sqrt (+ (exp x) 1)))
  (log (sqrt (+ (exp x) 1)))
  (exp (sqrt (+ (exp x) 1)))
  (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1))))
  (cbrt (sqrt (+ (exp x) 1)))
  (* (sqrt (+ (exp x) 1)) (+ (exp x) 1))
  (fabs (cbrt (+ (exp x) 1)))
  (sqrt (cbrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  1
  (sqrt (+ (exp x) 1))
  1
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp (+ (+ x x) x)) 1))
  (sqrt (- 1 (* (exp x) (- 1 (exp x)))))
  (sqrt (- (exp (+ x x)) 1))
  (sqrt (- (exp x) 1))
  1/2
  (sqrt (sqrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  (real->posit16 (sqrt (+ (exp x) 1)))
  (exp (+ (exp x) 1))
  (log (+ (exp x) 1))
  (exp (+ (exp x) 1))
  (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))
  (cbrt (+ (exp x) 1))
  (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
  (+ (exp (+ (+ x x) x)) 1)
  (- 1 (* (exp x) (- 1 (exp x))))
  (- (exp (+ x x)) 1)
  (- (exp x) 1)
  (+ (exp x) 1)
  (real->posit16 (+ (exp x) 1))
  (+ (+ (* 1/4 x) (* (* x x) 1/8)) (- (log (sqrt 2)) (* 1/16 (* x x))))
  (log (sqrt (+ (exp x) 1)))
  (log (sqrt (+ (exp x) 1)))
  (+ (+ (* -1/16 (/ (* x x) (sqrt 2))) (+ (/ (/ x (sqrt 2)) 2) (sqrt 2))) (/ (* x 1/4) (/ (sqrt 2) x)))
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
  (+ (+ (* -1/16 (/ (* x x) (sqrt 2))) (+ (/ (/ x (sqrt 2)) 2) (sqrt 2))) (/ (* x 1/4) (/ (sqrt 2) x)))
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
  (+ (+ 2 (* 1/2 (* x x))) x)
  (+ (exp x) 1)
  (+ (exp x) 1)
5.100 * * * [progress]: adding candidates to table
5.493 * * [progress]: iteration 3 / 4
5.494 * * * [progress]: picking best candidate
5.498 * * * * [pick]: Picked  #<alt (λ (x) (exp (* 1/2 (log (+ (exp x) 1)))))>
5.498 * * * [progress]: localizing error
5.520 * * * [progress]: generating rewritten candidates
5.520 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2)
5.531 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
5.554 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2 1)
5.568 * * * [progress]: generating series expansions
5.569 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2)
5.569 * [backup-simplify]: Simplify (log (+ (exp x) 1)) into (log (+ (exp x) 1))
5.569 * [approximate]: Taking taylor expansion of (log (+ (exp x) 1)) in (x) around 0
5.569 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1)) in x
5.569 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
5.569 * [taylor]: Taking taylor expansion of (exp x) in x
5.569 * [taylor]: Taking taylor expansion of x in x
5.569 * [backup-simplify]: Simplify 0 into 0
5.569 * [backup-simplify]: Simplify 1 into 1
5.569 * [backup-simplify]: Simplify (exp 0) into 1
5.569 * [taylor]: Taking taylor expansion of 1 in x
5.569 * [backup-simplify]: Simplify 1 into 1
5.570 * [backup-simplify]: Simplify (+ 1 1) into 2
5.570 * [backup-simplify]: Simplify (log 2) into (log 2)
5.570 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1)) in x
5.570 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
5.570 * [taylor]: Taking taylor expansion of (exp x) in x
5.570 * [taylor]: Taking taylor expansion of x in x
5.570 * [backup-simplify]: Simplify 0 into 0
5.570 * [backup-simplify]: Simplify 1 into 1
5.570 * [backup-simplify]: Simplify (exp 0) into 1
5.570 * [taylor]: Taking taylor expansion of 1 in x
5.570 * [backup-simplify]: Simplify 1 into 1
5.571 * [backup-simplify]: Simplify (+ 1 1) into 2
5.571 * [backup-simplify]: Simplify (log 2) into (log 2)
5.572 * [backup-simplify]: Simplify (log 2) into (log 2)
5.573 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
5.573 * [backup-simplify]: Simplify (+ 1 0) into 1
5.575 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 2 1)))) 1) into 1/2
5.575 * [backup-simplify]: Simplify 1/2 into 1/2
5.576 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
5.577 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
5.580 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 2 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 2 1)))) 2) into 1/8
5.580 * [backup-simplify]: Simplify 1/8 into 1/8
5.580 * [backup-simplify]: Simplify (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) (log 2))) into (+ (log 2) (+ (* 1/2 x) (* 1/8 (pow x 2))))
5.580 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1))
5.581 * [approximate]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1)) in (x) around 0
5.581 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1)) in x
5.581 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
5.581 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.581 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.581 * [taylor]: Taking taylor expansion of x in x
5.581 * [backup-simplify]: Simplify 0 into 0
5.581 * [backup-simplify]: Simplify 1 into 1
5.581 * [backup-simplify]: Simplify (/ 1 1) into 1
5.581 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.581 * [taylor]: Taking taylor expansion of 1 in x
5.581 * [backup-simplify]: Simplify 1 into 1
5.581 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
5.581 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1))
5.582 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1)) in x
5.582 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
5.582 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.582 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.582 * [taylor]: Taking taylor expansion of x in x
5.582 * [backup-simplify]: Simplify 0 into 0
5.582 * [backup-simplify]: Simplify 1 into 1
5.582 * [backup-simplify]: Simplify (/ 1 1) into 1
5.582 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.582 * [taylor]: Taking taylor expansion of 1 in x
5.582 * [backup-simplify]: Simplify 1 into 1
5.582 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
5.583 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1))
5.583 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1))
5.583 * [backup-simplify]: Simplify (+ 0 0) into 0
5.584 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 1) into 0
5.584 * [backup-simplify]: Simplify 0 into 0
5.585 * [backup-simplify]: Simplify (+ 0 0) into 0
5.586 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 2) into 0
5.586 * [backup-simplify]: Simplify 0 into 0
5.587 * [backup-simplify]: Simplify (+ 0 0) into 0
5.590 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 6) into 0
5.590 * [backup-simplify]: Simplify 0 into 0
5.591 * [backup-simplify]: Simplify (+ 0 0) into 0
5.595 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 24) into 0
5.596 * [backup-simplify]: Simplify 0 into 0
5.596 * [backup-simplify]: Simplify (+ 0 0) into 0
5.604 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (/ 1 x)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 120) into 0
5.604 * [backup-simplify]: Simplify 0 into 0
5.604 * [backup-simplify]: Simplify (+ 0 0) into 0
5.616 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (/ 1 x)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 720) into 0
5.616 * [backup-simplify]: Simplify 0 into 0
5.617 * [backup-simplify]: Simplify (log (+ (exp (/ 1 (/ 1 x))) 1)) into (log (+ (exp x) 1))
5.617 * [backup-simplify]: Simplify (log (+ (exp (/ 1 (- x))) 1)) into (log (+ (exp (/ -1 x)) 1))
5.617 * [approximate]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1)) in (x) around 0
5.617 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1)) in x
5.617 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
5.617 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.617 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.617 * [taylor]: Taking taylor expansion of -1 in x
5.617 * [backup-simplify]: Simplify -1 into -1
5.617 * [taylor]: Taking taylor expansion of x in x
5.617 * [backup-simplify]: Simplify 0 into 0
5.617 * [backup-simplify]: Simplify 1 into 1
5.617 * [backup-simplify]: Simplify (/ -1 1) into -1
5.618 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
5.618 * [taylor]: Taking taylor expansion of 1 in x
5.618 * [backup-simplify]: Simplify 1 into 1
5.618 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
5.618 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1))
5.618 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1)) in x
5.618 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
5.618 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.618 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.618 * [taylor]: Taking taylor expansion of -1 in x
5.618 * [backup-simplify]: Simplify -1 into -1
5.618 * [taylor]: Taking taylor expansion of x in x
5.618 * [backup-simplify]: Simplify 0 into 0
5.618 * [backup-simplify]: Simplify 1 into 1
5.618 * [backup-simplify]: Simplify (/ -1 1) into -1
5.618 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
5.619 * [taylor]: Taking taylor expansion of 1 in x
5.619 * [backup-simplify]: Simplify 1 into 1
5.619 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
5.619 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1))
5.619 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1))
5.619 * [backup-simplify]: Simplify (+ 0 0) into 0
5.620 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 1) into 0
5.620 * [backup-simplify]: Simplify 0 into 0
5.620 * [backup-simplify]: Simplify (+ 0 0) into 0
5.622 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 2) into 0
5.622 * [backup-simplify]: Simplify 0 into 0
5.622 * [backup-simplify]: Simplify (+ 0 0) into 0
5.625 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 6) into 0
5.625 * [backup-simplify]: Simplify 0 into 0
5.626 * [backup-simplify]: Simplify (+ 0 0) into 0
5.634 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 24) into 0
5.634 * [backup-simplify]: Simplify 0 into 0
5.634 * [backup-simplify]: Simplify (+ 0 0) into 0
5.641 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (/ -1 x)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 120) into 0
5.642 * [backup-simplify]: Simplify 0 into 0
5.642 * [backup-simplify]: Simplify (+ 0 0) into 0
5.654 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (/ -1 x)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 720) into 0
5.654 * [backup-simplify]: Simplify 0 into 0
5.654 * [backup-simplify]: Simplify (log (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (log (+ (exp x) 1))
5.654 * * * * [progress]: [ 2 / 3 ] generating series at (2)
5.655 * [backup-simplify]: Simplify (exp (* 1/2 (log (+ (exp x) 1)))) into (pow (+ (exp x) 1) 1/2)
5.655 * [approximate]: Taking taylor expansion of (pow (+ (exp x) 1) 1/2) in (x) around 0
5.655 * [taylor]: Taking taylor expansion of (pow (+ (exp x) 1) 1/2) in x
5.655 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (+ (exp x) 1)))) in x
5.655 * [taylor]: Taking taylor expansion of (* 1/2 (log (+ (exp x) 1))) in x
5.655 * [taylor]: Taking taylor expansion of 1/2 in x
5.655 * [backup-simplify]: Simplify 1/2 into 1/2
5.655 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1)) in x
5.655 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
5.655 * [taylor]: Taking taylor expansion of (exp x) in x
5.655 * [taylor]: Taking taylor expansion of x in x
5.655 * [backup-simplify]: Simplify 0 into 0
5.655 * [backup-simplify]: Simplify 1 into 1
5.655 * [backup-simplify]: Simplify (exp 0) into 1
5.655 * [taylor]: Taking taylor expansion of 1 in x
5.655 * [backup-simplify]: Simplify 1 into 1
5.655 * [backup-simplify]: Simplify (+ 1 1) into 2
5.656 * [backup-simplify]: Simplify (log 2) into (log 2)
5.657 * [backup-simplify]: Simplify (* 1/2 (log 2)) into (* 1/2 (log 2))
5.658 * [backup-simplify]: Simplify (exp (* 1/2 (log 2))) into (pow 2 1/2)
5.658 * [taylor]: Taking taylor expansion of (pow (+ (exp x) 1) 1/2) in x
5.658 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (+ (exp x) 1)))) in x
5.658 * [taylor]: Taking taylor expansion of (* 1/2 (log (+ (exp x) 1))) in x
5.658 * [taylor]: Taking taylor expansion of 1/2 in x
5.658 * [backup-simplify]: Simplify 1/2 into 1/2
5.658 * [taylor]: Taking taylor expansion of (log (+ (exp x) 1)) in x
5.659 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
5.659 * [taylor]: Taking taylor expansion of (exp x) in x
5.659 * [taylor]: Taking taylor expansion of x in x
5.659 * [backup-simplify]: Simplify 0 into 0
5.659 * [backup-simplify]: Simplify 1 into 1
5.659 * [backup-simplify]: Simplify (exp 0) into 1
5.659 * [taylor]: Taking taylor expansion of 1 in x
5.659 * [backup-simplify]: Simplify 1 into 1
5.659 * [backup-simplify]: Simplify (+ 1 1) into 2
5.659 * [backup-simplify]: Simplify (log 2) into (log 2)
5.660 * [backup-simplify]: Simplify (* 1/2 (log 2)) into (* 1/2 (log 2))
5.662 * [backup-simplify]: Simplify (exp (* 1/2 (log 2))) into (pow 2 1/2)
5.662 * [backup-simplify]: Simplify (pow 2 1/2) into (pow 2 1/2)
5.663 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
5.663 * [backup-simplify]: Simplify (+ 1 0) into 1
5.665 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 2 1)))) 1) into 1/2
5.666 * [backup-simplify]: Simplify (+ (* 1/2 1/2) (* 0 (log 2))) into 1/4
5.669 * [backup-simplify]: Simplify (* (exp (* 1/2 (log 2))) (+ (* (/ (pow 1/4 1) 1)))) into (* 1/4 (sqrt 2))
5.670 * [backup-simplify]: Simplify (* 1/4 (sqrt 2)) into (* 1/4 (sqrt 2))
5.672 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
5.672 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
5.675 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 2 2))) (* 1 (/ (* 1 (pow (* 2 1/2) 1)) (pow 2 1)))) 2) into 1/8
5.677 * [backup-simplify]: Simplify (+ (* 1/2 1/8) (+ (* 0 1/2) (* 0 (log 2)))) into 1/16
5.683 * [backup-simplify]: Simplify (* (exp (* 1/2 (log 2))) (+ (* (/ (pow 1/4 2) 2)) (* (/ (pow 1/16 1) 1)))) into (* 3/32 (sqrt 2))
5.684 * [backup-simplify]: Simplify (* 3/32 (sqrt 2)) into (* 3/32 (sqrt 2))
5.686 * [backup-simplify]: Simplify (+ (* (* 3/32 (sqrt 2)) (pow x 2)) (+ (* (* 1/4 (sqrt 2)) x) (pow 2 1/2))) into (+ (pow 2 1/2) (+ (* 1/4 (* (sqrt 2) x)) (* 3/32 (* (sqrt 2) (pow x 2)))))
5.686 * [backup-simplify]: Simplify (exp (* 1/2 (log (+ (exp (/ 1 x)) 1)))) into (pow (+ (exp (/ 1 x)) 1) 1/2)
5.687 * [approximate]: Taking taylor expansion of (pow (+ (exp (/ 1 x)) 1) 1/2) in (x) around 0
5.687 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 1 x)) 1) 1/2) in x
5.687 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (+ (exp (/ 1 x)) 1)))) in x
5.687 * [taylor]: Taking taylor expansion of (* 1/2 (log (+ (exp (/ 1 x)) 1))) in x
5.687 * [taylor]: Taking taylor expansion of 1/2 in x
5.687 * [backup-simplify]: Simplify 1/2 into 1/2
5.687 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1)) in x
5.687 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
5.687 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.687 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.687 * [taylor]: Taking taylor expansion of x in x
5.687 * [backup-simplify]: Simplify 0 into 0
5.687 * [backup-simplify]: Simplify 1 into 1
5.687 * [backup-simplify]: Simplify (/ 1 1) into 1
5.687 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.687 * [taylor]: Taking taylor expansion of 1 in x
5.687 * [backup-simplify]: Simplify 1 into 1
5.687 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
5.688 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1))
5.688 * [backup-simplify]: Simplify (* 1/2 (log (+ (exp (/ 1 x)) 1))) into (* 1/2 (log (+ (exp (/ 1 x)) 1)))
5.688 * [backup-simplify]: Simplify (exp (* 1/2 (log (+ (exp (/ 1 x)) 1)))) into (pow (+ (exp (/ 1 x)) 1) 1/2)
5.688 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ 1 x)) 1) 1/2) in x
5.688 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (+ (exp (/ 1 x)) 1)))) in x
5.688 * [taylor]: Taking taylor expansion of (* 1/2 (log (+ (exp (/ 1 x)) 1))) in x
5.688 * [taylor]: Taking taylor expansion of 1/2 in x
5.688 * [backup-simplify]: Simplify 1/2 into 1/2
5.688 * [taylor]: Taking taylor expansion of (log (+ (exp (/ 1 x)) 1)) in x
5.688 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
5.688 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.688 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.688 * [taylor]: Taking taylor expansion of x in x
5.688 * [backup-simplify]: Simplify 0 into 0
5.688 * [backup-simplify]: Simplify 1 into 1
5.688 * [backup-simplify]: Simplify (/ 1 1) into 1
5.689 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.689 * [taylor]: Taking taylor expansion of 1 in x
5.689 * [backup-simplify]: Simplify 1 into 1
5.689 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
5.689 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1))
5.689 * [backup-simplify]: Simplify (* 1/2 (log (+ (exp (/ 1 x)) 1))) into (* 1/2 (log (+ (exp (/ 1 x)) 1)))
5.689 * [backup-simplify]: Simplify (exp (* 1/2 (log (+ (exp (/ 1 x)) 1)))) into (pow (+ (exp (/ 1 x)) 1) 1/2)
5.689 * [backup-simplify]: Simplify (pow (+ (exp (/ 1 x)) 1) 1/2) into (pow (+ (exp (/ 1 x)) 1) 1/2)
5.690 * [backup-simplify]: Simplify (+ 0 0) into 0
5.690 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 1) into 0
5.691 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 (log (+ (exp (/ 1 x)) 1)))) into 0
5.692 * [backup-simplify]: Simplify (* (exp (* 1/2 (log (+ (exp (/ 1 x)) 1)))) (+ (* (/ (pow 0 1) 1)))) into 0
5.692 * [backup-simplify]: Simplify 0 into 0
5.692 * [backup-simplify]: Simplify (+ 0 0) into 0
5.694 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 2) into 0
5.695 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 (log (+ (exp (/ 1 x)) 1))))) into 0
5.696 * [backup-simplify]: Simplify (* (exp (* 1/2 (log (+ (exp (/ 1 x)) 1)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.696 * [backup-simplify]: Simplify 0 into 0
5.697 * [backup-simplify]: Simplify (+ 0 0) into 0
5.700 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 6) into 0
5.701 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (+ (exp (/ 1 x)) 1)))))) into 0
5.703 * [backup-simplify]: Simplify (* (exp (* 1/2 (log (+ (exp (/ 1 x)) 1)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.703 * [backup-simplify]: Simplify 0 into 0
5.704 * [backup-simplify]: Simplify (+ 0 0) into 0
5.709 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 24) into 0
5.711 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (+ (exp (/ 1 x)) 1))))))) into 0
5.713 * [backup-simplify]: Simplify (* (exp (* 1/2 (log (+ (exp (/ 1 x)) 1)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.713 * [backup-simplify]: Simplify 0 into 0
5.714 * [backup-simplify]: Simplify (+ 0 0) into 0
5.719 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (/ 1 x)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 120) into 0
5.720 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (+ (exp (/ 1 x)) 1)))))))) into 0
5.723 * [backup-simplify]: Simplify (* (exp (* 1/2 (log (+ (exp (/ 1 x)) 1)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.723 * [backup-simplify]: Simplify 0 into 0
5.723 * [backup-simplify]: Simplify (+ 0 0) into 0
5.730 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (/ 1 x)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 720) into 0
5.731 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (+ (exp (/ 1 x)) 1))))))))) into 0
5.735 * [backup-simplify]: Simplify (* (exp (* 1/2 (log (+ (exp (/ 1 x)) 1)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.735 * [backup-simplify]: Simplify 0 into 0
5.735 * [backup-simplify]: Simplify (pow (+ (exp (/ 1 (/ 1 x))) 1) 1/2) into (pow (+ (exp x) 1) 1/2)
5.735 * [backup-simplify]: Simplify (exp (* 1/2 (log (+ (exp (/ 1 (- x))) 1)))) into (pow (+ (exp (/ -1 x)) 1) 1/2)
5.735 * [approximate]: Taking taylor expansion of (pow (+ (exp (/ -1 x)) 1) 1/2) in (x) around 0
5.735 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -1 x)) 1) 1/2) in x
5.735 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (+ (exp (/ -1 x)) 1)))) in x
5.735 * [taylor]: Taking taylor expansion of (* 1/2 (log (+ (exp (/ -1 x)) 1))) in x
5.735 * [taylor]: Taking taylor expansion of 1/2 in x
5.735 * [backup-simplify]: Simplify 1/2 into 1/2
5.735 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1)) in x
5.735 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
5.735 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.735 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.735 * [taylor]: Taking taylor expansion of -1 in x
5.735 * [backup-simplify]: Simplify -1 into -1
5.735 * [taylor]: Taking taylor expansion of x in x
5.735 * [backup-simplify]: Simplify 0 into 0
5.735 * [backup-simplify]: Simplify 1 into 1
5.735 * [backup-simplify]: Simplify (/ -1 1) into -1
5.736 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
5.736 * [taylor]: Taking taylor expansion of 1 in x
5.736 * [backup-simplify]: Simplify 1 into 1
5.736 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
5.736 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1))
5.736 * [backup-simplify]: Simplify (* 1/2 (log (+ (exp (/ -1 x)) 1))) into (* 1/2 (log (+ (exp (/ -1 x)) 1)))
5.736 * [backup-simplify]: Simplify (exp (* 1/2 (log (+ (exp (/ -1 x)) 1)))) into (pow (+ (exp (/ -1 x)) 1) 1/2)
5.736 * [taylor]: Taking taylor expansion of (pow (+ (exp (/ -1 x)) 1) 1/2) in x
5.736 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (+ (exp (/ -1 x)) 1)))) in x
5.736 * [taylor]: Taking taylor expansion of (* 1/2 (log (+ (exp (/ -1 x)) 1))) in x
5.736 * [taylor]: Taking taylor expansion of 1/2 in x
5.736 * [backup-simplify]: Simplify 1/2 into 1/2
5.736 * [taylor]: Taking taylor expansion of (log (+ (exp (/ -1 x)) 1)) in x
5.736 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
5.736 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.736 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.736 * [taylor]: Taking taylor expansion of -1 in x
5.736 * [backup-simplify]: Simplify -1 into -1
5.736 * [taylor]: Taking taylor expansion of x in x
5.736 * [backup-simplify]: Simplify 0 into 0
5.736 * [backup-simplify]: Simplify 1 into 1
5.737 * [backup-simplify]: Simplify (/ -1 1) into -1
5.737 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
5.737 * [taylor]: Taking taylor expansion of 1 in x
5.737 * [backup-simplify]: Simplify 1 into 1
5.737 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
5.737 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1))
5.737 * [backup-simplify]: Simplify (* 1/2 (log (+ (exp (/ -1 x)) 1))) into (* 1/2 (log (+ (exp (/ -1 x)) 1)))
5.737 * [backup-simplify]: Simplify (exp (* 1/2 (log (+ (exp (/ -1 x)) 1)))) into (pow (+ (exp (/ -1 x)) 1) 1/2)
5.737 * [backup-simplify]: Simplify (pow (+ (exp (/ -1 x)) 1) 1/2) into (pow (+ (exp (/ -1 x)) 1) 1/2)
5.738 * [backup-simplify]: Simplify (+ 0 0) into 0
5.739 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 1) into 0
5.739 * [backup-simplify]: Simplify (+ (* 1/2 0) (* 0 (log (+ (exp (/ -1 x)) 1)))) into 0
5.740 * [backup-simplify]: Simplify (* (exp (* 1/2 (log (+ (exp (/ -1 x)) 1)))) (+ (* (/ (pow 0 1) 1)))) into 0
5.740 * [backup-simplify]: Simplify 0 into 0
5.740 * [backup-simplify]: Simplify (+ 0 0) into 0
5.742 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 2) into 0
5.743 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (* 0 (log (+ (exp (/ -1 x)) 1))))) into 0
5.744 * [backup-simplify]: Simplify (* (exp (* 1/2 (log (+ (exp (/ -1 x)) 1)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.744 * [backup-simplify]: Simplify 0 into 0
5.745 * [backup-simplify]: Simplify (+ 0 0) into 0
5.747 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 6) into 0
5.749 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (+ (exp (/ -1 x)) 1)))))) into 0
5.750 * [backup-simplify]: Simplify (* (exp (* 1/2 (log (+ (exp (/ -1 x)) 1)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.750 * [backup-simplify]: Simplify 0 into 0
5.751 * [backup-simplify]: Simplify (+ 0 0) into 0
5.756 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 24) into 0
5.759 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (+ (exp (/ -1 x)) 1))))))) into 0
5.762 * [backup-simplify]: Simplify (* (exp (* 1/2 (log (+ (exp (/ -1 x)) 1)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.762 * [backup-simplify]: Simplify 0 into 0
5.763 * [backup-simplify]: Simplify (+ 0 0) into 0
5.767 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (/ -1 x)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 120) into 0
5.769 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (+ (exp (/ -1 x)) 1)))))))) into 0
5.771 * [backup-simplify]: Simplify (* (exp (* 1/2 (log (+ (exp (/ -1 x)) 1)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.771 * [backup-simplify]: Simplify 0 into 0
5.771 * [backup-simplify]: Simplify (+ 0 0) into 0
5.778 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (/ -1 x)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 720) into 0
5.779 * [backup-simplify]: Simplify (+ (* 1/2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (+ (exp (/ -1 x)) 1))))))))) into 0
5.782 * [backup-simplify]: Simplify (* (exp (* 1/2 (log (+ (exp (/ -1 x)) 1)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
5.782 * [backup-simplify]: Simplify 0 into 0
5.783 * [backup-simplify]: Simplify (pow (+ (exp (/ -1 (/ 1 (- x)))) 1) 1/2) into (pow (+ (exp x) 1) 1/2)
5.783 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2 1)
5.783 * [backup-simplify]: Simplify (+ (exp x) 1) into (+ (exp x) 1)
5.783 * [approximate]: Taking taylor expansion of (+ (exp x) 1) in (x) around 0
5.783 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
5.783 * [taylor]: Taking taylor expansion of (exp x) in x
5.783 * [taylor]: Taking taylor expansion of x in x
5.783 * [backup-simplify]: Simplify 0 into 0
5.783 * [backup-simplify]: Simplify 1 into 1
5.783 * [backup-simplify]: Simplify (exp 0) into 1
5.783 * [taylor]: Taking taylor expansion of 1 in x
5.783 * [backup-simplify]: Simplify 1 into 1
5.783 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
5.783 * [taylor]: Taking taylor expansion of (exp x) in x
5.783 * [taylor]: Taking taylor expansion of x in x
5.783 * [backup-simplify]: Simplify 0 into 0
5.783 * [backup-simplify]: Simplify 1 into 1
5.783 * [backup-simplify]: Simplify (exp 0) into 1
5.783 * [taylor]: Taking taylor expansion of 1 in x
5.783 * [backup-simplify]: Simplify 1 into 1
5.783 * [backup-simplify]: Simplify (+ 1 1) into 2
5.783 * [backup-simplify]: Simplify 2 into 2
5.784 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
5.784 * [backup-simplify]: Simplify (+ 1 0) into 1
5.784 * [backup-simplify]: Simplify 1 into 1
5.785 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
5.785 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
5.785 * [backup-simplify]: Simplify 1/2 into 1/2
5.786 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ x (+ (* 1/2 (pow x 2)) 2))
5.786 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
5.786 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in (x) around 0
5.786 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
5.786 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.786 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.786 * [taylor]: Taking taylor expansion of x in x
5.786 * [backup-simplify]: Simplify 0 into 0
5.786 * [backup-simplify]: Simplify 1 into 1
5.786 * [backup-simplify]: Simplify (/ 1 1) into 1
5.786 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.786 * [taylor]: Taking taylor expansion of 1 in x
5.786 * [backup-simplify]: Simplify 1 into 1
5.786 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
5.786 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.786 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.786 * [taylor]: Taking taylor expansion of x in x
5.786 * [backup-simplify]: Simplify 0 into 0
5.786 * [backup-simplify]: Simplify 1 into 1
5.786 * [backup-simplify]: Simplify (/ 1 1) into 1
5.786 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.786 * [taylor]: Taking taylor expansion of 1 in x
5.787 * [backup-simplify]: Simplify 1 into 1
5.787 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
5.787 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
5.787 * [backup-simplify]: Simplify (+ 0 0) into 0
5.787 * [backup-simplify]: Simplify 0 into 0
5.787 * [backup-simplify]: Simplify (+ 0 0) into 0
5.787 * [backup-simplify]: Simplify 0 into 0
5.787 * [backup-simplify]: Simplify (+ 0 0) into 0
5.787 * [backup-simplify]: Simplify 0 into 0
5.788 * [backup-simplify]: Simplify (+ 0 0) into 0
5.788 * [backup-simplify]: Simplify 0 into 0
5.788 * [backup-simplify]: Simplify (+ 0 0) into 0
5.788 * [backup-simplify]: Simplify 0 into 0
5.788 * [backup-simplify]: Simplify (+ 0 0) into 0
5.788 * [backup-simplify]: Simplify 0 into 0
5.788 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1)
5.788 * [backup-simplify]: Simplify (+ (exp (/ 1 (- x))) 1) into (+ (exp (/ -1 x)) 1)
5.788 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in (x) around 0
5.788 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
5.788 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.788 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.788 * [taylor]: Taking taylor expansion of -1 in x
5.788 * [backup-simplify]: Simplify -1 into -1
5.789 * [taylor]: Taking taylor expansion of x in x
5.789 * [backup-simplify]: Simplify 0 into 0
5.789 * [backup-simplify]: Simplify 1 into 1
5.789 * [backup-simplify]: Simplify (/ -1 1) into -1
5.789 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
5.789 * [taylor]: Taking taylor expansion of 1 in x
5.789 * [backup-simplify]: Simplify 1 into 1
5.789 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
5.789 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.789 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.789 * [taylor]: Taking taylor expansion of -1 in x
5.789 * [backup-simplify]: Simplify -1 into -1
5.789 * [taylor]: Taking taylor expansion of x in x
5.789 * [backup-simplify]: Simplify 0 into 0
5.789 * [backup-simplify]: Simplify 1 into 1
5.789 * [backup-simplify]: Simplify (/ -1 1) into -1
5.789 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
5.789 * [taylor]: Taking taylor expansion of 1 in x
5.789 * [backup-simplify]: Simplify 1 into 1
5.789 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
5.790 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
5.790 * [backup-simplify]: Simplify (+ 0 0) into 0
5.790 * [backup-simplify]: Simplify 0 into 0
5.790 * [backup-simplify]: Simplify (+ 0 0) into 0
5.790 * [backup-simplify]: Simplify 0 into 0
5.790 * [backup-simplify]: Simplify (+ 0 0) into 0
5.790 * [backup-simplify]: Simplify 0 into 0
5.791 * [backup-simplify]: Simplify (+ 0 0) into 0
5.791 * [backup-simplify]: Simplify 0 into 0
5.791 * [backup-simplify]: Simplify (+ 0 0) into 0
5.791 * [backup-simplify]: Simplify 0 into 0
5.791 * [backup-simplify]: Simplify (+ 0 0) into 0
5.791 * [backup-simplify]: Simplify 0 into 0
5.791 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1)
5.791 * * * [progress]: simplifying candidates
5.791 * * * * [progress]: [ 1 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (+ (log (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))) (log (cbrt (+ (exp x) 1)))))))>
5.791 * * * * [progress]: [ 2 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (+ (log (sqrt (+ (exp x) 1))) (log (sqrt (+ (exp x) 1)))))))>
5.791 * * * * [progress]: [ 3 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (+ (log 1) (log (+ (exp x) 1))))))>
5.792 * * * * [progress]: [ 4 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (+ (log 1) (log (+ (exp x) 1))))))>
5.792 * * * * [progress]: [ 5 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (- (log (+ (pow (exp x) 3) (pow 1 3))) (log (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))))>
5.792 * * * * [progress]: [ 6 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (- (log (- (* (exp x) (exp x)) (* 1 1))) (log (- (exp x) 1))))))>
5.792 * * * * [progress]: [ 7 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (* 1 (log (+ (exp x) 1))))))>
5.792 * * * * [progress]: [ 8 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (pow (log (+ (exp x) 1)) 1))))>
5.792 * * * * [progress]: [ 9 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (log (+ (exp x) 1)))))>
5.792 * * * * [progress]: [ 10 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (exp (log (log (+ (exp x) 1)))))))>
5.792 * * * * [progress]: [ 11 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (log (exp (log (+ (exp x) 1)))))))>
5.792 * * * * [progress]: [ 12 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (* (* (cbrt (log (+ (exp x) 1))) (cbrt (log (+ (exp x) 1)))) (cbrt (log (+ (exp x) 1)))))))>
5.792 * * * * [progress]: [ 13 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (cbrt (* (* (log (+ (exp x) 1)) (log (+ (exp x) 1))) (log (+ (exp x) 1)))))))>
5.792 * * * * [progress]: [ 14 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (* (sqrt (log (+ (exp x) 1))) (sqrt (log (+ (exp x) 1)))))))>
5.792 * * * * [progress]: [ 15 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (* 1 (log (+ (exp x) 1))))))>
5.792 * * * * [progress]: [ 16 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (posit16->real (real->posit16 (log (+ (exp x) 1)))))))>
5.792 * * * * [progress]: [ 17 / 57 ] simplifiying candidate #<alt (λ (x) (pow (exp 1/2) (log (+ (exp x) 1))))>
5.792 * * * * [progress]: [ 18 / 57 ] simplifiying candidate #<alt (λ (x) (pow (exp (* 1/2 (log (+ (exp x) 1)))) 1))>
5.792 * * * * [progress]: [ 19 / 57 ] simplifiying candidate #<alt (λ (x) (pow (exp 1/2) (log (+ (exp x) 1))))>
5.792 * * * * [progress]: [ 20 / 57 ] simplifiying candidate #<alt (λ (x) (* (exp (* 1/2 (log (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))))) (exp (* 1/2 (log (cbrt (+ (exp x) 1)))))))>
5.792 * * * * [progress]: [ 21 / 57 ] simplifiying candidate #<alt (λ (x) (* (exp (* 1/2 (log (sqrt (+ (exp x) 1))))) (exp (* 1/2 (log (sqrt (+ (exp x) 1)))))))>
5.792 * * * * [progress]: [ 22 / 57 ] simplifiying candidate #<alt (λ (x) (* (exp (* 1/2 (log 1))) (exp (* 1/2 (log (+ (exp x) 1))))))>
5.792 * * * * [progress]: [ 23 / 57 ] simplifiying candidate #<alt (λ (x) (* (exp (* 1/2 (log 1))) (exp (* 1/2 (log (+ (exp x) 1))))))>
5.792 * * * * [progress]: [ 24 / 57 ] simplifiying candidate #<alt (λ (x) (* (exp (* (log (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))) 1/2)) (exp (* (log (cbrt (+ (exp x) 1))) 1/2))))>
5.792 * * * * [progress]: [ 25 / 57 ] simplifiying candidate #<alt (λ (x) (* (exp (* (log (sqrt (+ (exp x) 1))) 1/2)) (exp (* (log (sqrt (+ (exp x) 1))) 1/2))))>
5.792 * * * * [progress]: [ 26 / 57 ] simplifiying candidate #<alt (λ (x) (* (exp (* (log 1) 1/2)) (exp (* (log (+ (exp x) 1)) 1/2))))>
5.792 * * * * [progress]: [ 27 / 57 ] simplifiying candidate #<alt (λ (x) (* (exp (* (log 1) 1/2)) (exp (* (log (+ (exp x) 1)) 1/2))))>
5.793 * * * * [progress]: [ 28 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (log (+ (exp x) 1)))))>
5.793 * * * * [progress]: [ 29 / 57 ] simplifiying candidate #<alt (λ (x) (exp (log (exp (* 1/2 (log (+ (exp x) 1)))))))>
5.793 * * * * [progress]: [ 30 / 57 ] simplifiying candidate #<alt (λ (x) (log (exp (exp (* 1/2 (log (+ (exp x) 1)))))))>
5.793 * * * * [progress]: [ 31 / 57 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (* 1/2 (log (+ (exp x) 1))))) (cbrt (exp (* 1/2 (log (+ (exp x) 1)))))) (cbrt (exp (* 1/2 (log (+ (exp x) 1)))))))>
5.793 * * * * [progress]: [ 32 / 57 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (exp (* 1/2 (log (+ (exp x) 1)))) (exp (* 1/2 (log (+ (exp x) 1))))) (exp (* 1/2 (log (+ (exp x) 1)))))))>
5.793 * * * * [progress]: [ 33 / 57 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (* 1/2 (log (+ (exp x) 1))))) (sqrt (exp (* 1/2 (log (+ (exp x) 1)))))))>
5.793 * * * * [progress]: [ 34 / 57 ] simplifiying candidate #<alt (λ (x) (* 1 (exp (* 1/2 (log (+ (exp x) 1))))))>
5.793 * * * * [progress]: [ 35 / 57 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (exp (* 1/2 (log (+ (exp x) 1)))))))>
5.793 * * * * [progress]: [ 36 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (log (log (* (exp (exp x)) (exp 1)))))))>
5.793 * * * * [progress]: [ 37 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (log (pow (+ (exp x) 1) 1)))))>
5.793 * * * * [progress]: [ 38 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (log (exp (log (+ (exp x) 1)))))))>
5.793 * * * * [progress]: [ 39 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (log (log (exp (+ (exp x) 1)))))))>
5.793 * * * * [progress]: [ 40 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (log (* (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))) (cbrt (+ (exp x) 1)))))))>
5.793 * * * * [progress]: [ 41 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (log (cbrt (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1)))))))>
5.793 * * * * [progress]: [ 42 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (log (* (sqrt (+ (exp x) 1)) (sqrt (+ (exp x) 1)))))))>
5.793 * * * * [progress]: [ 43 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (log (/ (+ (pow (exp x) 3) (pow 1 3)) (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))))))>
5.793 * * * * [progress]: [ 44 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (log (* 1 (+ (exp x) 1))))))>
5.793 * * * * [progress]: [ 45 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (log (/ (- (* (exp x) (exp x)) (* 1 1)) (- (exp x) 1))))))>
5.793 * * * * [progress]: [ 46 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (log (* 1 (+ (exp x) 1))))))>
5.793 * * * * [progress]: [ 47 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (log (posit16->real (real->posit16 (+ (exp x) 1)))))))>
5.793 * * * * [progress]: [ 48 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (log (+ 1 (exp x))))))>
5.793 * * * * [progress]: [ 49 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (+ (log 2) (+ (* 1/2 x) (* 1/8 (pow x 2)))))))>
5.793 * * * * [progress]: [ 50 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (log (+ (exp x) 1)))))>
5.793 * * * * [progress]: [ 51 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (log (+ (exp x) 1)))))>
5.793 * * * * [progress]: [ 52 / 57 ] simplifiying candidate #<alt (λ (x) (+ (pow 2 1/2) (+ (* 1/4 (* (sqrt 2) x)) (* 3/32 (* (sqrt 2) (pow x 2))))))>
5.793 * * * * [progress]: [ 53 / 57 ] simplifiying candidate #<alt (λ (x) (pow (+ (exp x) 1) 1/2))>
5.793 * * * * [progress]: [ 54 / 57 ] simplifiying candidate #<alt (λ (x) (pow (+ (exp x) 1) 1/2))>
5.793 * * * * [progress]: [ 55 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (log (+ x (+ (* 1/2 (pow x 2)) 2))))))>
5.794 * * * * [progress]: [ 56 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (log (+ (exp x) 1)))))>
5.794 * * * * [progress]: [ 57 / 57 ] simplifiying candidate #<alt (λ (x) (exp (* 1/2 (log (+ (exp x) 1)))))>
5.794 * [simplify]: Simplifying:
  (log (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))))
  (log (cbrt (+ (exp x) 1)))
  (log (sqrt (+ (exp x) 1)))
  (log (sqrt (+ (exp x) 1)))
  (log 1)
  (log (+ (exp x) 1))
  (log 1)
  (log (+ (exp x) 1))
  (log (+ (pow (exp x) 3) (pow 1 3)))
  (log (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1))))
  (log (- (* (exp x) (exp x)) (* 1 1)))
  (log (- (exp x) 1))
  (log (+ (exp x) 1))
  (log (log (+ (exp x) 1)))
  (exp (log (+ (exp x) 1)))
  (* (cbrt (log (+ (exp x) 1))) (cbrt (log (+ (exp x) 1))))
  (cbrt (log (+ (exp x) 1)))
  (* (* (log (+ (exp x) 1)) (log (+ (exp x) 1))) (log (+ (exp x) 1)))
  (sqrt (log (+ (exp x) 1)))
  (sqrt (log (+ (exp x) 1)))
  (real->posit16 (log (+ (exp x) 1)))
  (exp 1/2)
  (exp (* 1/2 (log (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))))))
  (exp (* 1/2 (log (cbrt (+ (exp x) 1)))))
  (exp (* 1/2 (log (sqrt (+ (exp x) 1)))))
  (exp (* 1/2 (log (sqrt (+ (exp x) 1)))))
  (exp (* 1/2 (log 1)))
  (exp (* 1/2 (log (+ (exp x) 1))))
  (exp (* 1/2 (log 1)))
  (exp (* 1/2 (log (+ (exp x) 1))))
  (exp (* (log (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))) 1/2))
  (exp (* (log (cbrt (+ (exp x) 1))) 1/2))
  (exp (* (log (sqrt (+ (exp x) 1))) 1/2))
  (exp (* (log (sqrt (+ (exp x) 1))) 1/2))
  (exp (* (log 1) 1/2))
  (exp (* (log (+ (exp x) 1)) 1/2))
  (exp (* (log 1) 1/2))
  (exp (* (log (+ (exp x) 1)) 1/2))
  (log (exp (* 1/2 (log (+ (exp x) 1)))))
  (exp (exp (* 1/2 (log (+ (exp x) 1)))))
  (* (cbrt (exp (* 1/2 (log (+ (exp x) 1))))) (cbrt (exp (* 1/2 (log (+ (exp x) 1))))))
  (cbrt (exp (* 1/2 (log (+ (exp x) 1)))))
  (* (* (exp (* 1/2 (log (+ (exp x) 1)))) (exp (* 1/2 (log (+ (exp x) 1))))) (exp (* 1/2 (log (+ (exp x) 1)))))
  (sqrt (exp (* 1/2 (log (+ (exp x) 1)))))
  (sqrt (exp (* 1/2 (log (+ (exp x) 1)))))
  (real->posit16 (exp (* 1/2 (log (+ (exp x) 1)))))
  (* (exp (exp x)) (exp 1))
  (log (+ (exp x) 1))
  (exp (+ (exp x) 1))
  (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))
  (cbrt (+ (exp x) 1))
  (* (* (+ (exp x) 1) (+ (exp x) 1)) (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
  (+ (pow (exp x) 3) (pow 1 3))
  (+ (* (exp x) (exp x)) (- (* 1 1) (* (exp x) 1)))
  (- (* (exp x) (exp x)) (* 1 1))
  (- (exp x) 1)
  (+ (exp x) 1)
  (real->posit16 (+ (exp x) 1))
  (+ (log 2) (+ (* 1/2 x) (* 1/8 (pow x 2))))
  (log (+ (exp x) 1))
  (log (+ (exp x) 1))
  (+ (pow 2 1/2) (+ (* 1/4 (* (sqrt 2) x)) (* 3/32 (* (sqrt 2) (pow x 2)))))
  (pow (+ (exp x) 1) 1/2)
  (pow (+ (exp x) 1) 1/2)
  (+ x (+ (* 1/2 (pow x 2)) 2))
  (+ (exp x) 1)
  (+ (exp x) 1)
5.795 * * [simplify]: iteration 0: 94 enodes
5.837 * * [simplify]: iteration 1: 196 enodes
5.906 * * [simplify]: iteration 2: 485 enodes
6.152 * * [simplify]: iteration 3: 1296 enodes
6.471 * * [simplify]: iteration 4: 2001 enodes
6.901 * * [simplify]: iteration complete: 2001 enodes
6.901 * * [simplify]: Extracting #0: cost 38 inf + 0
6.901 * * [simplify]: Extracting #1: cost 176 inf + 2
6.903 * * [simplify]: Extracting #2: cost 503 inf + 2667
6.908 * * [simplify]: Extracting #3: cost 317 inf + 41224
6.921 * * [simplify]: Extracting #4: cost 58 inf + 108676
6.952 * * [simplify]: Extracting #5: cost 3 inf + 127998
6.985 * * [simplify]: Extracting #6: cost 0 inf + 128402
7.014 * [simplify]: Simplified to:
  (log (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1))))
  (log (cbrt (+ (exp x) 1)))
  (log (sqrt (+ (exp x) 1)))
  (log (sqrt (+ (exp x) 1)))
  0
  (log (+ (exp x) 1))
  0
  (log (+ (exp x) 1))
  (log (+ 1 (* (* (exp x) (exp x)) (exp x))))
  (log (+ (* (exp x) (exp x)) (- 1 (exp x))))
  (log (- (* (exp x) (exp x)) 1))
  (log (+ (exp x) -1))
  (log (+ (exp x) 1))
  (log (log (+ (exp x) 1)))
  (+ (exp x) 1)
  (* (cbrt (log (+ (exp x) 1))) (cbrt (log (+ (exp x) 1))))
  (cbrt (log (+ (exp x) 1)))
  (* (log (+ (exp x) 1)) (* (log (+ (exp x) 1)) (log (+ (exp x) 1))))
  (sqrt (log (+ (exp x) 1)))
  (sqrt (log (+ (exp x) 1)))
  (real->posit16 (log (+ (exp x) 1)))
  (sqrt E)
  (cbrt (+ (exp x) 1))
  (sqrt (cbrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  1
  (sqrt (+ (exp x) 1))
  1
  (sqrt (+ (exp x) 1))
  (cbrt (+ (exp x) 1))
  (sqrt (cbrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  1
  (sqrt (+ (exp x) 1))
  1
  (sqrt (+ (exp x) 1))
  (log (sqrt (+ (exp x) 1)))
  (exp (sqrt (+ (exp x) 1)))
  (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1))))
  (cbrt (sqrt (+ (exp x) 1)))
  (* (+ (exp x) 1) (sqrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  (real->posit16 (sqrt (+ (exp x) 1)))
  (exp (+ 1 (exp x)))
  (log (+ (exp x) 1))
  (exp (+ 1 (exp x)))
  (* (cbrt (+ (exp x) 1)) (cbrt (+ (exp x) 1)))
  (cbrt (+ (exp x) 1))
  (* (+ (exp x) 1) (* (+ (exp x) 1) (+ (exp x) 1)))
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
  (+ 1 (* (* (exp x) (exp x)) (exp x)))
  (+ (* (exp x) (exp x)) (- 1 (exp x)))
  (- (* (exp x) (exp x)) 1)
  (+ (exp x) -1)
  (+ (exp x) 1)
  (real->posit16 (+ (exp x) 1))
  (+ (log 2) (* x (+ (* 1/8 x) 1/2)))
  (log (+ (exp x) 1))
  (log (+ (exp x) 1))
  (+ (* (sqrt 2) (+ (* x 1/4) (* (* x x) 3/32))) (sqrt 2))
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
  (+ 2 (+ x (* 1/2 (* x x))))
  (+ (exp x) 1)
  (+ (exp x) 1)
7.019 * * * [progress]: adding candidates to table
7.233 * * [progress]: iteration 4 / 4
7.233 * * * [progress]: picking best candidate
7.239 * * * * [pick]: Picked  #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.239 * * * [progress]: localizing error
7.270 * * * [progress]: generating rewritten candidates
7.270 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
7.290 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2)
7.317 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
7.369 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2)
7.417 * * * [progress]: generating series expansions
7.418 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
7.418 * [backup-simplify]: Simplify (- 1 (exp x)) into (- 1 (exp x))
7.418 * [approximate]: Taking taylor expansion of (- 1 (exp x)) in (x) around 0
7.418 * [taylor]: Taking taylor expansion of (- 1 (exp x)) in x
7.418 * [taylor]: Taking taylor expansion of 1 in x
7.418 * [backup-simplify]: Simplify 1 into 1
7.418 * [taylor]: Taking taylor expansion of (exp x) in x
7.418 * [taylor]: Taking taylor expansion of x in x
7.418 * [backup-simplify]: Simplify 0 into 0
7.418 * [backup-simplify]: Simplify 1 into 1
7.418 * [backup-simplify]: Simplify (exp 0) into 1
7.418 * [taylor]: Taking taylor expansion of (- 1 (exp x)) in x
7.418 * [taylor]: Taking taylor expansion of 1 in x
7.418 * [backup-simplify]: Simplify 1 into 1
7.418 * [taylor]: Taking taylor expansion of (exp x) in x
7.418 * [taylor]: Taking taylor expansion of x in x
7.418 * [backup-simplify]: Simplify 0 into 0
7.418 * [backup-simplify]: Simplify 1 into 1
7.418 * [backup-simplify]: Simplify (exp 0) into 1
7.419 * [backup-simplify]: Simplify (- 1) into -1
7.419 * [backup-simplify]: Simplify (+ 1 -1) into 0
7.419 * [backup-simplify]: Simplify 0 into 0
7.419 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
7.420 * [backup-simplify]: Simplify (- 1) into -1
7.420 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.420 * [backup-simplify]: Simplify -1 into -1
7.421 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
7.421 * [backup-simplify]: Simplify (- 1/2) into -1/2
7.422 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2
7.422 * [backup-simplify]: Simplify -1/2 into -1/2
7.423 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
7.423 * [backup-simplify]: Simplify (- 1/6) into -1/6
7.423 * [backup-simplify]: Simplify (+ 0 -1/6) into -1/6
7.423 * [backup-simplify]: Simplify -1/6 into -1/6
7.424 * [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)))))
7.424 * [backup-simplify]: Simplify (- 1 (exp (/ 1 x))) into (- 1 (exp (/ 1 x)))
7.424 * [approximate]: Taking taylor expansion of (- 1 (exp (/ 1 x))) in (x) around 0
7.424 * [taylor]: Taking taylor expansion of (- 1 (exp (/ 1 x))) in x
7.424 * [taylor]: Taking taylor expansion of 1 in x
7.424 * [backup-simplify]: Simplify 1 into 1
7.424 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.424 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.424 * [taylor]: Taking taylor expansion of x in x
7.424 * [backup-simplify]: Simplify 0 into 0
7.424 * [backup-simplify]: Simplify 1 into 1
7.425 * [backup-simplify]: Simplify (/ 1 1) into 1
7.425 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
7.425 * [taylor]: Taking taylor expansion of (- 1 (exp (/ 1 x))) in x
7.425 * [taylor]: Taking taylor expansion of 1 in x
7.425 * [backup-simplify]: Simplify 1 into 1
7.425 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.425 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.425 * [taylor]: Taking taylor expansion of x in x
7.425 * [backup-simplify]: Simplify 0 into 0
7.425 * [backup-simplify]: Simplify 1 into 1
7.425 * [backup-simplify]: Simplify (/ 1 1) into 1
7.425 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
7.425 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x)))
7.425 * [backup-simplify]: Simplify (+ 1 (- (exp (/ 1 x)))) into (- 1 (exp (/ 1 x)))
7.425 * [backup-simplify]: Simplify (- 1 (exp (/ 1 x))) into (- 1 (exp (/ 1 x)))
7.426 * [backup-simplify]: Simplify (- 0) into 0
7.426 * [backup-simplify]: Simplify (+ 0 0) into 0
7.426 * [backup-simplify]: Simplify 0 into 0
7.426 * [backup-simplify]: Simplify (- 0) into 0
7.426 * [backup-simplify]: Simplify (+ 0 0) into 0
7.426 * [backup-simplify]: Simplify 0 into 0
7.427 * [backup-simplify]: Simplify (- 0) into 0
7.427 * [backup-simplify]: Simplify (+ 0 0) into 0
7.427 * [backup-simplify]: Simplify 0 into 0
7.427 * [backup-simplify]: Simplify (- 0) into 0
7.427 * [backup-simplify]: Simplify (+ 0 0) into 0
7.427 * [backup-simplify]: Simplify 0 into 0
7.428 * [backup-simplify]: Simplify (- 0) into 0
7.428 * [backup-simplify]: Simplify (+ 0 0) into 0
7.428 * [backup-simplify]: Simplify 0 into 0
7.428 * [backup-simplify]: Simplify (- 0) into 0
7.428 * [backup-simplify]: Simplify (+ 0 0) into 0
7.428 * [backup-simplify]: Simplify 0 into 0
7.428 * [backup-simplify]: Simplify (- 1 (exp (/ 1 (/ 1 x)))) into (- 1 (exp x))
7.429 * [backup-simplify]: Simplify (- 1 (exp (/ 1 (- x)))) into (- 1 (exp (/ -1 x)))
7.429 * [approximate]: Taking taylor expansion of (- 1 (exp (/ -1 x))) in (x) around 0
7.429 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 x))) in x
7.429 * [taylor]: Taking taylor expansion of 1 in x
7.429 * [backup-simplify]: Simplify 1 into 1
7.429 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.429 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.429 * [taylor]: Taking taylor expansion of -1 in x
7.429 * [backup-simplify]: Simplify -1 into -1
7.429 * [taylor]: Taking taylor expansion of x in x
7.429 * [backup-simplify]: Simplify 0 into 0
7.429 * [backup-simplify]: Simplify 1 into 1
7.429 * [backup-simplify]: Simplify (/ -1 1) into -1
7.429 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
7.429 * [taylor]: Taking taylor expansion of (- 1 (exp (/ -1 x))) in x
7.429 * [taylor]: Taking taylor expansion of 1 in x
7.429 * [backup-simplify]: Simplify 1 into 1
7.429 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.429 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.429 * [taylor]: Taking taylor expansion of -1 in x
7.429 * [backup-simplify]: Simplify -1 into -1
7.429 * [taylor]: Taking taylor expansion of x in x
7.429 * [backup-simplify]: Simplify 0 into 0
7.429 * [backup-simplify]: Simplify 1 into 1
7.429 * [backup-simplify]: Simplify (/ -1 1) into -1
7.430 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
7.430 * [backup-simplify]: Simplify (- (exp (/ -1 x))) into (- (exp (/ -1 x)))
7.430 * [backup-simplify]: Simplify (+ 1 (- (exp (/ -1 x)))) into (- 1 (exp (/ -1 x)))
7.430 * [backup-simplify]: Simplify (- 1 (exp (/ -1 x))) into (- 1 (exp (/ -1 x)))
7.430 * [backup-simplify]: Simplify (- 0) into 0
7.430 * [backup-simplify]: Simplify (+ 0 0) into 0
7.430 * [backup-simplify]: Simplify 0 into 0
7.430 * [backup-simplify]: Simplify (- 0) into 0
7.431 * [backup-simplify]: Simplify (+ 0 0) into 0
7.431 * [backup-simplify]: Simplify 0 into 0
7.431 * [backup-simplify]: Simplify (- 0) into 0
7.431 * [backup-simplify]: Simplify (+ 0 0) into 0
7.431 * [backup-simplify]: Simplify 0 into 0
7.431 * [backup-simplify]: Simplify (- 0) into 0
7.432 * [backup-simplify]: Simplify (+ 0 0) into 0
7.432 * [backup-simplify]: Simplify 0 into 0
7.432 * [backup-simplify]: Simplify (- 0) into 0
7.432 * [backup-simplify]: Simplify (+ 0 0) into 0
7.432 * [backup-simplify]: Simplify 0 into 0
7.433 * [backup-simplify]: Simplify (- 0) into 0
7.433 * [backup-simplify]: Simplify (+ 0 0) into 0
7.433 * [backup-simplify]: Simplify 0 into 0
7.433 * [backup-simplify]: Simplify (- 1 (exp (/ -1 (/ 1 (- x))))) into (- 1 (exp x))
7.433 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2)
7.433 * [backup-simplify]: Simplify (* (exp x) (exp x)) into (pow (exp x) 2)
7.433 * [approximate]: Taking taylor expansion of (pow (exp x) 2) in (x) around 0
7.433 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
7.433 * [taylor]: Taking taylor expansion of (exp x) in x
7.433 * [taylor]: Taking taylor expansion of x in x
7.433 * [backup-simplify]: Simplify 0 into 0
7.433 * [backup-simplify]: Simplify 1 into 1
7.433 * [backup-simplify]: Simplify (exp 0) into 1
7.433 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
7.433 * [taylor]: Taking taylor expansion of (exp x) in x
7.433 * [taylor]: Taking taylor expansion of x in x
7.433 * [backup-simplify]: Simplify 0 into 0
7.433 * [backup-simplify]: Simplify 1 into 1
7.433 * [backup-simplify]: Simplify (exp 0) into 1
7.434 * [backup-simplify]: Simplify (* 1 1) into 1
7.434 * [backup-simplify]: Simplify 1 into 1
7.434 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
7.435 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2
7.435 * [backup-simplify]: Simplify 2 into 2
7.436 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
7.436 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2
7.436 * [backup-simplify]: Simplify 2 into 2
7.437 * [backup-simplify]: Simplify (+ (* 2 (pow x 2)) (+ (* 2 x) 1)) into (+ (* 2 x) (+ (* 2 (pow x 2)) 1))
7.437 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
7.437 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in (x) around 0
7.437 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
7.437 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.437 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.437 * [taylor]: Taking taylor expansion of x in x
7.437 * [backup-simplify]: Simplify 0 into 0
7.437 * [backup-simplify]: Simplify 1 into 1
7.437 * [backup-simplify]: Simplify (/ 1 1) into 1
7.438 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
7.438 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
7.438 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.438 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.438 * [taylor]: Taking taylor expansion of x in x
7.438 * [backup-simplify]: Simplify 0 into 0
7.438 * [backup-simplify]: Simplify 1 into 1
7.438 * [backup-simplify]: Simplify (/ 1 1) into 1
7.438 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
7.438 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
7.438 * [backup-simplify]: Simplify (pow (exp (/ 1 x)) 2) into (pow (exp (/ 1 x)) 2)
7.439 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
7.439 * [backup-simplify]: Simplify 0 into 0
7.439 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
7.439 * [backup-simplify]: Simplify 0 into 0
7.440 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
7.440 * [backup-simplify]: Simplify 0 into 0
7.441 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
7.441 * [backup-simplify]: Simplify 0 into 0
7.443 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
7.443 * [backup-simplify]: Simplify 0 into 0
7.445 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
7.445 * [backup-simplify]: Simplify 0 into 0
7.445 * [backup-simplify]: Simplify (pow (exp (/ 1 (/ 1 x))) 2) into (pow (exp x) 2)
7.445 * [backup-simplify]: Simplify (* (exp (/ 1 (- x))) (exp (/ 1 (- x)))) into (pow (exp (/ -1 x)) 2)
7.445 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in (x) around 0
7.445 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
7.446 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.446 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.446 * [taylor]: Taking taylor expansion of -1 in x
7.446 * [backup-simplify]: Simplify -1 into -1
7.446 * [taylor]: Taking taylor expansion of x in x
7.446 * [backup-simplify]: Simplify 0 into 0
7.446 * [backup-simplify]: Simplify 1 into 1
7.446 * [backup-simplify]: Simplify (/ -1 1) into -1
7.446 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
7.446 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
7.446 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.446 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.446 * [taylor]: Taking taylor expansion of -1 in x
7.446 * [backup-simplify]: Simplify -1 into -1
7.446 * [taylor]: Taking taylor expansion of x in x
7.446 * [backup-simplify]: Simplify 0 into 0
7.446 * [backup-simplify]: Simplify 1 into 1
7.447 * [backup-simplify]: Simplify (/ -1 1) into -1
7.447 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
7.447 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
7.447 * [backup-simplify]: Simplify (pow (exp (/ -1 x)) 2) into (pow (exp (/ -1 x)) 2)
7.447 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
7.447 * [backup-simplify]: Simplify 0 into 0
7.448 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
7.448 * [backup-simplify]: Simplify 0 into 0
7.449 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
7.449 * [backup-simplify]: Simplify 0 into 0
7.450 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
7.450 * [backup-simplify]: Simplify 0 into 0
7.452 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
7.452 * [backup-simplify]: Simplify 0 into 0
7.454 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
7.454 * [backup-simplify]: Simplify 0 into 0
7.454 * [backup-simplify]: Simplify (pow (exp (/ -1 (/ 1 (- x)))) 2) into (pow (exp x) 2)
7.454 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
7.454 * [backup-simplify]: Simplify (exp (+ x (+ x x))) into (exp (* 3 x))
7.454 * [approximate]: Taking taylor expansion of (exp (* 3 x)) in (x) around 0
7.455 * [taylor]: Taking taylor expansion of (exp (* 3 x)) in x
7.455 * [taylor]: Taking taylor expansion of (* 3 x) in x
7.455 * [taylor]: Taking taylor expansion of 3 in x
7.455 * [backup-simplify]: Simplify 3 into 3
7.455 * [taylor]: Taking taylor expansion of x in x
7.455 * [backup-simplify]: Simplify 0 into 0
7.455 * [backup-simplify]: Simplify 1 into 1
7.455 * [backup-simplify]: Simplify (* 3 0) into 0
7.456 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3
7.456 * [backup-simplify]: Simplify (exp 0) into 1
7.456 * [taylor]: Taking taylor expansion of (exp (* 3 x)) in x
7.456 * [taylor]: Taking taylor expansion of (* 3 x) in x
7.456 * [taylor]: Taking taylor expansion of 3 in x
7.456 * [backup-simplify]: Simplify 3 into 3
7.456 * [taylor]: Taking taylor expansion of x in x
7.456 * [backup-simplify]: Simplify 0 into 0
7.456 * [backup-simplify]: Simplify 1 into 1
7.457 * [backup-simplify]: Simplify (* 3 0) into 0
7.457 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3
7.457 * [backup-simplify]: Simplify (exp 0) into 1
7.457 * [backup-simplify]: Simplify 1 into 1
7.459 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 3 1) 1)))) into 3
7.459 * [backup-simplify]: Simplify 3 into 3
7.460 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0
7.462 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 3 2) 2)) (* (/ (pow 0 1) 1)))) into 9/2
7.462 * [backup-simplify]: Simplify 9/2 into 9/2
7.462 * [backup-simplify]: Simplify (+ (* 9/2 (pow x 2)) (+ (* 3 x) 1)) into (+ (* 3 x) (+ (* 9/2 (pow x 2)) 1))
7.462 * [backup-simplify]: Simplify (exp (+ (/ 1 x) (+ (/ 1 x) (/ 1 x)))) into (exp (* 3 (/ 1 x)))
7.462 * [approximate]: Taking taylor expansion of (exp (* 3 (/ 1 x))) in (x) around 0
7.462 * [taylor]: Taking taylor expansion of (exp (* 3 (/ 1 x))) in x
7.462 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x
7.462 * [taylor]: Taking taylor expansion of 3 in x
7.462 * [backup-simplify]: Simplify 3 into 3
7.462 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.462 * [taylor]: Taking taylor expansion of x in x
7.462 * [backup-simplify]: Simplify 0 into 0
7.463 * [backup-simplify]: Simplify 1 into 1
7.463 * [backup-simplify]: Simplify (/ 1 1) into 1
7.463 * [backup-simplify]: Simplify (* 3 1) into 3
7.464 * [backup-simplify]: Simplify (exp (* 3 (/ 1 x))) into (exp (/ 3 x))
7.464 * [taylor]: Taking taylor expansion of (exp (* 3 (/ 1 x))) in x
7.464 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x
7.464 * [taylor]: Taking taylor expansion of 3 in x
7.464 * [backup-simplify]: Simplify 3 into 3
7.464 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.464 * [taylor]: Taking taylor expansion of x in x
7.464 * [backup-simplify]: Simplify 0 into 0
7.464 * [backup-simplify]: Simplify 1 into 1
7.464 * [backup-simplify]: Simplify (/ 1 1) into 1
7.465 * [backup-simplify]: Simplify (* 3 1) into 3
7.465 * [backup-simplify]: Simplify (exp (* 3 (/ 1 x))) into (exp (/ 3 x))
7.465 * [backup-simplify]: Simplify (exp (/ 3 x)) into (exp (/ 3 x))
7.465 * [backup-simplify]: Simplify 0 into 0
7.465 * [backup-simplify]: Simplify 0 into 0
7.465 * [backup-simplify]: Simplify 0 into 0
7.465 * [backup-simplify]: Simplify 0 into 0
7.465 * [backup-simplify]: Simplify 0 into 0
7.465 * [backup-simplify]: Simplify 0 into 0
7.465 * [backup-simplify]: Simplify (exp (/ 3 (/ 1 x))) into (exp (* 3 x))
7.466 * [backup-simplify]: Simplify (exp (+ (/ 1 (- x)) (+ (/ 1 (- x)) (/ 1 (- x))))) into (exp (- (* 3 (/ 1 x))))
7.466 * [approximate]: Taking taylor expansion of (exp (- (* 3 (/ 1 x)))) in (x) around 0
7.466 * [taylor]: Taking taylor expansion of (exp (- (* 3 (/ 1 x)))) in x
7.466 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 x))) in x
7.466 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x
7.466 * [taylor]: Taking taylor expansion of 3 in x
7.466 * [backup-simplify]: Simplify 3 into 3
7.466 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.466 * [taylor]: Taking taylor expansion of x in x
7.466 * [backup-simplify]: Simplify 0 into 0
7.466 * [backup-simplify]: Simplify 1 into 1
7.466 * [backup-simplify]: Simplify (/ 1 1) into 1
7.467 * [backup-simplify]: Simplify (* 3 1) into 3
7.467 * [backup-simplify]: Simplify (- 3) into -3
7.467 * [backup-simplify]: Simplify (exp (- (* 3 (/ 1 x)))) into (exp (- (* 3 (/ 1 x))))
7.467 * [taylor]: Taking taylor expansion of (exp (- (* 3 (/ 1 x)))) in x
7.467 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 x))) in x
7.467 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x
7.467 * [taylor]: Taking taylor expansion of 3 in x
7.467 * [backup-simplify]: Simplify 3 into 3
7.467 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.468 * [taylor]: Taking taylor expansion of x in x
7.468 * [backup-simplify]: Simplify 0 into 0
7.468 * [backup-simplify]: Simplify 1 into 1
7.468 * [backup-simplify]: Simplify (/ 1 1) into 1
7.468 * [backup-simplify]: Simplify (* 3 1) into 3
7.469 * [backup-simplify]: Simplify (- 3) into -3
7.469 * [backup-simplify]: Simplify (exp (- (* 3 (/ 1 x)))) into (exp (- (* 3 (/ 1 x))))
7.469 * [backup-simplify]: Simplify (exp (- (* 3 (/ 1 x)))) into (exp (- (* 3 (/ 1 x))))
7.469 * [backup-simplify]: Simplify 0 into 0
7.469 * [backup-simplify]: Simplify 0 into 0
7.469 * [backup-simplify]: Simplify 0 into 0
7.469 * [backup-simplify]: Simplify 0 into 0
7.469 * [backup-simplify]: Simplify 0 into 0
7.470 * [backup-simplify]: Simplify 0 into 0
7.470 * [backup-simplify]: Simplify (exp (- (* 3 (/ 1 (/ 1 (- x)))))) into (exp (* 3 x))
7.470 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2)
7.470 * [backup-simplify]: Simplify (+ (- 1 (exp x)) (* (exp x) (exp x))) into (- (+ (pow (exp x) 2) 1) (exp x))
7.470 * [approximate]: Taking taylor expansion of (- (+ (pow (exp x) 2) 1) (exp x)) in (x) around 0
7.470 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) 2) 1) (exp x)) in x
7.470 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 2) 1) in x
7.470 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
7.470 * [taylor]: Taking taylor expansion of (exp x) in x
7.470 * [taylor]: Taking taylor expansion of x in x
7.470 * [backup-simplify]: Simplify 0 into 0
7.470 * [backup-simplify]: Simplify 1 into 1
7.470 * [backup-simplify]: Simplify (exp 0) into 1
7.470 * [taylor]: Taking taylor expansion of 1 in x
7.470 * [backup-simplify]: Simplify 1 into 1
7.470 * [taylor]: Taking taylor expansion of (exp x) in x
7.470 * [taylor]: Taking taylor expansion of x in x
7.470 * [backup-simplify]: Simplify 0 into 0
7.470 * [backup-simplify]: Simplify 1 into 1
7.470 * [backup-simplify]: Simplify (exp 0) into 1
7.470 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) 2) 1) (exp x)) in x
7.471 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 2) 1) in x
7.471 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
7.471 * [taylor]: Taking taylor expansion of (exp x) in x
7.471 * [taylor]: Taking taylor expansion of x in x
7.471 * [backup-simplify]: Simplify 0 into 0
7.471 * [backup-simplify]: Simplify 1 into 1
7.471 * [backup-simplify]: Simplify (exp 0) into 1
7.471 * [taylor]: Taking taylor expansion of 1 in x
7.471 * [backup-simplify]: Simplify 1 into 1
7.471 * [taylor]: Taking taylor expansion of (exp x) in x
7.471 * [taylor]: Taking taylor expansion of x in x
7.471 * [backup-simplify]: Simplify 0 into 0
7.471 * [backup-simplify]: Simplify 1 into 1
7.471 * [backup-simplify]: Simplify (exp 0) into 1
7.471 * [backup-simplify]: Simplify (* 1 1) into 1
7.472 * [backup-simplify]: Simplify (+ 1 1) into 2
7.472 * [backup-simplify]: Simplify (- 1) into -1
7.473 * [backup-simplify]: Simplify (+ 2 -1) into 1
7.473 * [backup-simplify]: Simplify 1 into 1
7.474 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
7.474 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2
7.475 * [backup-simplify]: Simplify (+ 2 0) into 2
7.476 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
7.476 * [backup-simplify]: Simplify (- 1) into -1
7.477 * [backup-simplify]: Simplify (+ 2 -1) into 1
7.477 * [backup-simplify]: Simplify 1 into 1
7.478 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
7.479 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2
7.480 * [backup-simplify]: Simplify (+ 2 0) into 2
7.481 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
7.481 * [backup-simplify]: Simplify (- 1/2) into -1/2
7.481 * [backup-simplify]: Simplify (+ 2 -1/2) into 3/2
7.481 * [backup-simplify]: Simplify 3/2 into 3/2
7.481 * [backup-simplify]: Simplify (+ (* 3/2 (pow x 2)) (+ (* 1 x) 1)) into (+ x (+ (* 3/2 (pow x 2)) 1))
7.482 * [backup-simplify]: Simplify (+ (- 1 (exp (/ 1 x))) (* (exp (/ 1 x)) (exp (/ 1 x)))) into (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))
7.482 * [approximate]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))) in (x) around 0
7.482 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))) in x
7.482 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 1) in x
7.482 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
7.482 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.482 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.482 * [taylor]: Taking taylor expansion of x in x
7.482 * [backup-simplify]: Simplify 0 into 0
7.482 * [backup-simplify]: Simplify 1 into 1
7.482 * [backup-simplify]: Simplify (/ 1 1) into 1
7.482 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
7.482 * [taylor]: Taking taylor expansion of 1 in x
7.482 * [backup-simplify]: Simplify 1 into 1
7.482 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.482 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.482 * [taylor]: Taking taylor expansion of x in x
7.482 * [backup-simplify]: Simplify 0 into 0
7.482 * [backup-simplify]: Simplify 1 into 1
7.482 * [backup-simplify]: Simplify (/ 1 1) into 1
7.482 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
7.482 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))) in x
7.483 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 1) in x
7.483 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
7.483 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.483 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.483 * [taylor]: Taking taylor expansion of x in x
7.483 * [backup-simplify]: Simplify 0 into 0
7.483 * [backup-simplify]: Simplify 1 into 1
7.483 * [backup-simplify]: Simplify (/ 1 1) into 1
7.483 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
7.483 * [taylor]: Taking taylor expansion of 1 in x
7.483 * [backup-simplify]: Simplify 1 into 1
7.483 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
7.483 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.483 * [taylor]: Taking taylor expansion of x in x
7.483 * [backup-simplify]: Simplify 0 into 0
7.483 * [backup-simplify]: Simplify 1 into 1
7.483 * [backup-simplify]: Simplify (/ 1 1) into 1
7.483 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
7.483 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
7.484 * [backup-simplify]: Simplify (+ (pow (exp (/ 1 x)) 2) 1) into (+ (pow (exp (/ 1 x)) 2) 1)
7.484 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x)))
7.484 * [backup-simplify]: Simplify (+ (+ (pow (exp (/ 1 x)) 2) 1) (- (exp (/ 1 x)))) into (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))
7.484 * [backup-simplify]: Simplify (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x))) into (- (+ (pow (exp (/ 1 x)) 2) 1) (exp (/ 1 x)))
7.484 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
7.484 * [backup-simplify]: Simplify (+ 0 0) into 0
7.484 * [backup-simplify]: Simplify (- 0) into 0
7.485 * [backup-simplify]: Simplify (+ 0 0) into 0
7.485 * [backup-simplify]: Simplify 0 into 0
7.485 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
7.485 * [backup-simplify]: Simplify (+ 0 0) into 0
7.485 * [backup-simplify]: Simplify (- 0) into 0
7.486 * [backup-simplify]: Simplify (+ 0 0) into 0
7.486 * [backup-simplify]: Simplify 0 into 0
7.486 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
7.487 * [backup-simplify]: Simplify (+ 0 0) into 0
7.487 * [backup-simplify]: Simplify (- 0) into 0
7.487 * [backup-simplify]: Simplify (+ 0 0) into 0
7.487 * [backup-simplify]: Simplify 0 into 0
7.488 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
7.488 * [backup-simplify]: Simplify (+ 0 0) into 0
7.488 * [backup-simplify]: Simplify (- 0) into 0
7.489 * [backup-simplify]: Simplify (+ 0 0) into 0
7.489 * [backup-simplify]: Simplify 0 into 0
7.491 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
7.492 * [backup-simplify]: Simplify (+ 0 0) into 0
7.492 * [backup-simplify]: Simplify (- 0) into 0
7.492 * [backup-simplify]: Simplify (+ 0 0) into 0
7.492 * [backup-simplify]: Simplify 0 into 0
7.494 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
7.494 * [backup-simplify]: Simplify (+ 0 0) into 0
7.494 * [backup-simplify]: Simplify (- 0) into 0
7.494 * [backup-simplify]: Simplify (+ 0 0) into 0
7.494 * [backup-simplify]: Simplify 0 into 0
7.495 * [backup-simplify]: Simplify (- (+ (pow (exp (/ 1 (/ 1 x))) 2) 1) (exp (/ 1 (/ 1 x)))) into (- (+ (pow (exp x) 2) 1) (exp x))
7.495 * [backup-simplify]: Simplify (+ (- 1 (exp (/ 1 (- x)))) (* (exp (/ 1 (- x))) (exp (/ 1 (- x))))) into (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))
7.495 * [approximate]: Taking taylor expansion of (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))) in (x) around 0
7.495 * [taylor]: Taking taylor expansion of (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))) in x
7.495 * [taylor]: Taking taylor expansion of (+ 1 (pow (exp (/ -1 x)) 2)) in x
7.495 * [taylor]: Taking taylor expansion of 1 in x
7.495 * [backup-simplify]: Simplify 1 into 1
7.495 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
7.495 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.495 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.495 * [taylor]: Taking taylor expansion of -1 in x
7.495 * [backup-simplify]: Simplify -1 into -1
7.495 * [taylor]: Taking taylor expansion of x in x
7.495 * [backup-simplify]: Simplify 0 into 0
7.495 * [backup-simplify]: Simplify 1 into 1
7.495 * [backup-simplify]: Simplify (/ -1 1) into -1
7.495 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
7.495 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.495 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.495 * [taylor]: Taking taylor expansion of -1 in x
7.495 * [backup-simplify]: Simplify -1 into -1
7.495 * [taylor]: Taking taylor expansion of x in x
7.495 * [backup-simplify]: Simplify 0 into 0
7.495 * [backup-simplify]: Simplify 1 into 1
7.496 * [backup-simplify]: Simplify (/ -1 1) into -1
7.496 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
7.496 * [taylor]: Taking taylor expansion of (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))) in x
7.496 * [taylor]: Taking taylor expansion of (+ 1 (pow (exp (/ -1 x)) 2)) in x
7.496 * [taylor]: Taking taylor expansion of 1 in x
7.496 * [backup-simplify]: Simplify 1 into 1
7.496 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
7.496 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.496 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.496 * [taylor]: Taking taylor expansion of -1 in x
7.496 * [backup-simplify]: Simplify -1 into -1
7.496 * [taylor]: Taking taylor expansion of x in x
7.496 * [backup-simplify]: Simplify 0 into 0
7.496 * [backup-simplify]: Simplify 1 into 1
7.496 * [backup-simplify]: Simplify (/ -1 1) into -1
7.496 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
7.496 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
7.496 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.496 * [taylor]: Taking taylor expansion of -1 in x
7.496 * [backup-simplify]: Simplify -1 into -1
7.496 * [taylor]: Taking taylor expansion of x in x
7.496 * [backup-simplify]: Simplify 0 into 0
7.496 * [backup-simplify]: Simplify 1 into 1
7.497 * [backup-simplify]: Simplify (/ -1 1) into -1
7.497 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
7.497 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
7.497 * [backup-simplify]: Simplify (+ 1 (pow (exp (/ -1 x)) 2)) into (+ 1 (pow (exp (/ -1 x)) 2))
7.497 * [backup-simplify]: Simplify (- (exp (/ -1 x))) into (- (exp (/ -1 x)))
7.497 * [backup-simplify]: Simplify (+ (+ 1 (pow (exp (/ -1 x)) 2)) (- (exp (/ -1 x)))) into (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))
7.497 * [backup-simplify]: Simplify (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))) into (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))
7.497 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
7.498 * [backup-simplify]: Simplify (+ 0 0) into 0
7.498 * [backup-simplify]: Simplify (- 0) into 0
7.498 * [backup-simplify]: Simplify (+ 0 0) into 0
7.498 * [backup-simplify]: Simplify 0 into 0
7.498 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
7.499 * [backup-simplify]: Simplify (+ 0 0) into 0
7.499 * [backup-simplify]: Simplify (- 0) into 0
7.499 * [backup-simplify]: Simplify (+ 0 0) into 0
7.499 * [backup-simplify]: Simplify 0 into 0
7.500 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
7.500 * [backup-simplify]: Simplify (+ 0 0) into 0
7.500 * [backup-simplify]: Simplify (- 0) into 0
7.500 * [backup-simplify]: Simplify (+ 0 0) into 0
7.500 * [backup-simplify]: Simplify 0 into 0
7.501 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
7.502 * [backup-simplify]: Simplify (+ 0 0) into 0
7.502 * [backup-simplify]: Simplify (- 0) into 0
7.502 * [backup-simplify]: Simplify (+ 0 0) into 0
7.502 * [backup-simplify]: Simplify 0 into 0
7.503 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
7.504 * [backup-simplify]: Simplify (+ 0 0) into 0
7.504 * [backup-simplify]: Simplify (- 0) into 0
7.504 * [backup-simplify]: Simplify (+ 0 0) into 0
7.504 * [backup-simplify]: Simplify 0 into 0
7.505 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
7.505 * [backup-simplify]: Simplify (+ 0 0) into 0
7.506 * [backup-simplify]: Simplify (- 0) into 0
7.506 * [backup-simplify]: Simplify (+ 0 0) into 0
7.506 * [backup-simplify]: Simplify 0 into 0
7.506 * [backup-simplify]: Simplify (- (+ 1 (pow (exp (/ -1 (/ 1 (- x)))) 2)) (exp (/ -1 (/ 1 (- x))))) into (- (+ (pow (exp x) 2) 1) (exp x))
7.506 * * * [progress]: simplifying candidates
7.506 * * * * [progress]: [ 1 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (log (/ (exp 1) (exp (exp x)))) (* (exp x) (exp x))))))>
7.506 * * * * [progress]: [ 2 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (pow (- 1 (exp x)) 1) (* (exp x) (exp x))))))>
7.506 * * * * [progress]: [ 3 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (exp (log (- 1 (exp x)))) (* (exp x) (exp x))))))>
7.506 * * * * [progress]: [ 4 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (log (exp (- 1 (exp x)))) (* (exp x) (exp x))))))>
7.507 * * * * [progress]: [ 5 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (* (* (cbrt (- 1 (exp x))) (cbrt (- 1 (exp x)))) (cbrt (- 1 (exp x)))) (* (exp x) (exp x))))))>
7.507 * * * * [progress]: [ 6 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (cbrt (* (* (- 1 (exp x)) (- 1 (exp x))) (- 1 (exp x)))) (* (exp x) (exp x))))))>
7.507 * * * * [progress]: [ 7 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (* (sqrt (- 1 (exp x))) (sqrt (- 1 (exp x)))) (* (exp x) (exp x))))))>
7.507 * * * * [progress]: [ 8 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (/ (- (pow 1 3) (pow (exp x) 3)) (+ (* 1 1) (+ (* (exp x) (exp x)) (* 1 (exp x))))) (* (exp x) (exp x))))))>
7.507 * * * * [progress]: [ 9 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (+ 1 (- (exp x))) (* (exp x) (exp x))))))>
7.507 * * * * [progress]: [ 10 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (* 1 (- 1 (exp x))) (* (exp x) (exp x))))))>
7.507 * * * * [progress]: [ 11 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (/ (- (* 1 1) (* (exp x) (exp x))) (+ 1 (exp x))) (* (exp x) (exp x))))))>
7.507 * * * * [progress]: [ 12 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (* (+ (sqrt 1) (sqrt (exp x))) (- (sqrt 1) (sqrt (exp x)))) (* (exp x) (exp x))))))>
7.507 * * * * [progress]: [ 13 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (* (+ 1 (sqrt (exp x))) (- 1 (sqrt (exp x)))) (* (exp x) (exp x))))))>
7.507 * * * * [progress]: [ 14 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (* 1 (- 1 (exp x))) (* (exp x) (exp x))))))>
7.507 * * * * [progress]: [ 15 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (+ 1 (- (exp x))) (* (exp x) (exp x))))))>
7.507 * * * * [progress]: [ 16 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (posit16->real (real->posit16 (- 1 (exp x)))) (* (exp x) (exp x))))))>
7.507 * * * * [progress]: [ 17 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (pow (exp x) (+ 1 1))))))>
7.507 * * * * [progress]: [ 18 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (pow (exp (* (cbrt x) (cbrt x))) (+ (cbrt x) (cbrt x)))))))>
7.507 * * * * [progress]: [ 19 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (pow (exp (sqrt x)) (+ (sqrt x) (sqrt x)))))))>
7.507 * * * * [progress]: [ 20 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (pow (exp 1) (+ x x))))))>
7.507 * * * * [progress]: [ 21 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (pow (* (exp x) (exp x)) 1)))))>
7.507 * * * * [progress]: [ 22 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (pow (* (exp (* (cbrt x) (cbrt x))) (exp (* (cbrt x) (cbrt x)))) (cbrt x))))))>
7.507 * * * * [progress]: [ 23 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (pow (* (exp (sqrt x)) (exp (sqrt x))) (sqrt x))))))>
7.508 * * * * [progress]: [ 24 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (pow (* (exp 1) (exp 1)) x)))))>
7.508 * * * * [progress]: [ 25 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (pow (exp x) 2)))))>
7.508 * * * * [progress]: [ 26 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (pow (exp x) (+ 1 1))))))>
7.508 * * * * [progress]: [ 27 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (pow (* (exp x) (exp x)) 1)))))>
7.508 * * * * [progress]: [ 28 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (exp (+ x x))))))>
7.508 * * * * [progress]: [ 29 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (exp (log (* (exp x) (exp x))))))))>
7.508 * * * * [progress]: [ 30 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (log (exp (* (exp x) (exp x))))))))>
7.508 * * * * [progress]: [ 31 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (cbrt (* (* (* (exp x) (exp x)) (exp x)) (* (* (exp x) (exp x)) (exp x))))))))>
7.508 * * * * [progress]: [ 32 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (* (* (cbrt (* (exp x) (exp x))) (cbrt (* (exp x) (exp x)))) (cbrt (* (exp x) (exp x))))))))>
7.508 * * * * [progress]: [ 33 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (cbrt (* (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (exp x) (exp x))))))))>
7.508 * * * * [progress]: [ 34 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (* (sqrt (* (exp x) (exp x))) (sqrt (* (exp x) (exp x))))))))>
7.508 * * * * [progress]: [ 35 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (* 1 (* (exp x) (exp x)))))))>
7.508 * * * * [progress]: [ 36 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (* (* (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x)))) (* (cbrt (exp x)) (cbrt (exp x))))))))>
7.508 * * * * [progress]: [ 37 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (* (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp x)) (sqrt (exp x))))))))>
7.508 * * * * [progress]: [ 38 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (* (* 1 1) (* (exp x) (exp x)))))))>
7.508 * * * * [progress]: [ 39 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (* (* (sqrt (exp x)) (sqrt (exp x))) (* (sqrt (exp x)) (sqrt (exp x))))))))>
7.508 * * * * [progress]: [ 40 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (pow (exp x) (* 2 1))))))>
7.508 * * * * [progress]: [ 41 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (pow (exp (* (cbrt x) (cbrt x))) (* 2 (cbrt x)))))))>
7.508 * * * * [progress]: [ 42 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (pow (exp (sqrt x)) (* 2 (sqrt x)))))))>
7.509 * * * * [progress]: [ 43 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (pow (exp 1) (* 2 x))))))>
7.509 * * * * [progress]: [ 44 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (* (* (exp x) (* (cbrt (exp x)) (cbrt (exp x)))) (cbrt (exp x)))))))>
7.509 * * * * [progress]: [ 45 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (* (* (exp x) (sqrt (exp x))) (sqrt (exp x)))))))>
7.509 * * * * [progress]: [ 46 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (* (* (exp x) 1) (exp x))))))>
7.509 * * * * [progress]: [ 47 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (* (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (exp x)))))))>
7.509 * * * * [progress]: [ 48 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (* (sqrt (exp x)) (* (sqrt (exp x)) (exp x)))))))>
7.509 * * * * [progress]: [ 49 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (* 1 (* (exp x) (exp x)))))))>
7.509 * * * * [progress]: [ 50 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (posit16->real (real->posit16 (* (exp x) (exp x))))))))>
7.509 * * * * [progress]: [ 51 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.509 * * * * [progress]: [ 52 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (pow (exp (+ x (+ x x))) 1)) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.510 * * * * [progress]: [ 53 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (pow (exp (* (cbrt (+ x (+ x x))) (cbrt (+ x (+ x x))))) (cbrt (+ x (+ x x))))) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.510 * * * * [progress]: [ 54 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (pow (exp (sqrt (+ x (+ x x)))) (sqrt (+ x (+ x x))))) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.510 * * * * [progress]: [ 55 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (pow (exp 1) (+ x (+ x x)))) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.510 * * * * [progress]: [ 56 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (pow (exp (* (cbrt x) (cbrt x))) (+ (cbrt x) (+ (cbrt x) (cbrt x))))) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.510 * * * * [progress]: [ 57 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (pow (exp (sqrt x)) (+ (sqrt x) (+ (sqrt x) (sqrt x))))) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.510 * * * * [progress]: [ 58 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (pow (exp (sqrt x)) (+ (sqrt x) (+ (sqrt x) (sqrt x))))) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.510 * * * * [progress]: [ 59 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (pow (exp 1) (+ x (+ x x)))) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.510 * * * * [progress]: [ 60 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (pow (exp 1) (+ x (+ x x)))) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.510 * * * * [progress]: [ 61 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (pow (exp x) (+ 1 (+ 1 1)))) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.510 * * * * [progress]: [ 62 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (pow (exp x) (+ 1 (+ 1 1)))) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.510 * * * * [progress]: [ 63 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (pow (exp x) (+ 1 2))) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.510 * * * * [progress]: [ 64 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (pow (exp (+ (+ 1 1) 1)) x)) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.510 * * * * [progress]: [ 65 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (pow (exp (+ (+ 1 1) 1)) x)) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.510 * * * * [progress]: [ 66 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (pow (exp (+ 2 1)) x)) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.511 * * * * [progress]: [ 67 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (* (exp x) (exp (+ x x)))) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.511 * * * * [progress]: [ 68 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (* (exp x) (* (exp x) (exp x)))) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.511 * * * * [progress]: [ 69 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (* (exp x) (exp (+ x x)))) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.511 * * * * [progress]: [ 70 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.511 * * * * [progress]: [ 71 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (log (exp (+ x (+ x x)))))) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.511 * * * * [progress]: [ 72 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (log (exp (exp (+ x (+ x x)))))) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.511 * * * * [progress]: [ 73 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (* (* (cbrt (exp (+ x (+ x x)))) (cbrt (exp (+ x (+ x x))))) (cbrt (exp (+ x (+ x x)))))) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.511 * * * * [progress]: [ 74 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (cbrt (* (* (exp (+ x (+ x x))) (exp (+ x (+ x x)))) (exp (+ x (+ x x)))))) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.511 * * * * [progress]: [ 75 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (* (sqrt (exp (+ x (+ x x)))) (sqrt (exp (+ x (+ x x)))))) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.511 * * * * [progress]: [ 76 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (* 1 (exp (+ x (+ x x))))) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.511 * * * * [progress]: [ 77 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (posit16->real (real->posit16 (exp (+ x (+ x x)))))) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.511 * * * * [progress]: [ 78 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (log (* (/ (exp 1) (exp (exp x))) (exp (* (exp x) (exp x))))))))>
7.511 * * * * [progress]: [ 79 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (log (* (exp (- 1 (exp x))) (exp (* (exp x) (exp x))))))))>
7.511 * * * * [progress]: [ 80 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (pow (+ (- 1 (exp x)) (* (exp x) (exp x))) 1))))>
7.511 * * * * [progress]: [ 81 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (exp (log (+ (- 1 (exp x)) (* (exp x) (exp x))))))))>
7.512 * * * * [progress]: [ 82 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (log (exp (+ (- 1 (exp x)) (* (exp x) (exp x))))))))>
7.512 * * * * [progress]: [ 83 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (* (* (cbrt (+ (- 1 (exp x)) (* (exp x) (exp x)))) (cbrt (+ (- 1 (exp x)) (* (exp x) (exp x))))) (cbrt (+ (- 1 (exp x)) (* (exp x) (exp x))))))))>
7.512 * * * * [progress]: [ 84 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (cbrt (* (* (+ (- 1 (exp x)) (* (exp x) (exp x))) (+ (- 1 (exp x)) (* (exp x) (exp x)))) (+ (- 1 (exp x)) (* (exp x) (exp x))))))))>
7.512 * * * * [progress]: [ 85 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (* (sqrt (+ (- 1 (exp x)) (* (exp x) (exp x)))) (sqrt (+ (- 1 (exp x)) (* (exp x) (exp x))))))))>
7.512 * * * * [progress]: [ 86 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (/ (+ (pow (- 1 (exp x)) 3) (pow (* (exp x) (exp x)) 3)) (+ (* (- 1 (exp x)) (- 1 (exp x))) (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (- 1 (exp x)) (* (exp x) (exp x)))))))))>
7.512 * * * * [progress]: [ 87 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (* 1 (+ (- 1 (exp x)) (* (exp x) (exp x)))))))>
7.512 * * * * [progress]: [ 88 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (/ (- (* (- 1 (exp x)) (- 1 (exp x))) (* (* (exp x) (exp x)) (* (exp x) (exp x)))) (- (- 1 (exp x)) (* (exp x) (exp x)))))))>
7.512 * * * * [progress]: [ 89 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ 1 (+ (- (exp x)) (* (exp x) (exp x)))))))>
7.512 * * * * [progress]: [ 90 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ 1 (+ (- (exp x)) (* (exp x) (exp x)))))))>
7.512 * * * * [progress]: [ 91 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (- 1 (- (exp x) (* (exp x) (exp x)))))))>
7.512 * * * * [progress]: [ 92 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (posit16->real (real->posit16 (+ (- 1 (exp x)) (* (exp x) (exp x))))))))>
7.512 * * * * [progress]: [ 93 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (* (exp x) (exp x)) (- 1 (exp x))))))>
7.512 * * * * [progress]: [ 94 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))) (* (exp x) (exp x))))))>
7.512 * * * * [progress]: [ 95 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.512 * * * * [progress]: [ 96 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.513 * * * * [progress]: [ 97 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (+ (* 2 x) (+ (* 2 (pow x 2)) 1))))))>
7.513 * * * * [progress]: [ 98 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (pow (exp x) 2)))))>
7.513 * * * * [progress]: [ 99 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (pow (exp x) 2)))))>
7.513 * * * * [progress]: [ 100 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (+ (* 3 x) (+ (* 9/2 (pow x 2)) 1))) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.513 * * * * [progress]: [ 101 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (* 3 x))) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.513 * * * * [progress]: [ 102 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (* 3 x))) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>
7.513 * * * * [progress]: [ 103 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ x (+ (* 3/2 (pow x 2)) 1)))))>
7.513 * * * * [progress]: [ 104 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (- (+ (pow (exp x) 2) 1) (exp x)))))>
7.513 * * * * [progress]: [ 105 / 105 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (- (+ (pow (exp x) 2) 1) (exp x)))))>
7.514 * [simplify]: Simplifying:
  (/ (exp 1) (exp (exp x)))
  (log (- 1 (exp x)))
  (exp (- 1 (exp x)))
  (* (cbrt (- 1 (exp x))) (cbrt (- 1 (exp x))))
  (cbrt (- 1 (exp x)))
  (* (* (- 1 (exp x)) (- 1 (exp x))) (- 1 (exp x)))
  (sqrt (- 1 (exp x)))
  (sqrt (- 1 (exp x)))
  (- (pow 1 3) (pow (exp x) 3))
  (+ (* 1 1) (+ (* (exp x) (exp x)) (* 1 (exp x))))
  (- (exp x))
  (- (* 1 1) (* (exp x) (exp x)))
  (+ 1 (exp x))
  (+ (sqrt 1) (sqrt (exp x)))
  (- (sqrt 1) (sqrt (exp x)))
  (+ 1 (sqrt (exp x)))
  (- 1 (sqrt (exp x)))
  (- 1 (exp x))
  (- (exp x))
  (real->posit16 (- 1 (exp x)))
  (+ 1 1)
  (+ (cbrt x) (cbrt x))
  (+ (sqrt x) (sqrt x))
  (+ x x)
  (* (exp x) (exp x))
  (* (exp (* (cbrt x) (cbrt x))) (exp (* (cbrt x) (cbrt x))))
  (* (exp (sqrt x)) (exp (sqrt x)))
  (* (exp 1) (exp 1))
  (+ 1 1)
  (+ x x)
  (log (* (exp x) (exp x)))
  (exp (* (exp x) (exp x)))
  (* (* (* (exp x) (exp x)) (exp x)) (* (* (exp x) (exp x)) (exp x)))
  (* (cbrt (* (exp x) (exp x))) (cbrt (* (exp x) (exp x))))
  (cbrt (* (exp x) (exp x)))
  (* (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (exp x) (exp x)))
  (sqrt (* (exp x) (exp x)))
  (sqrt (* (exp x) (exp x)))
  (* (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))))
  (* (cbrt (exp x)) (cbrt (exp x)))
  (* (sqrt (exp x)) (sqrt (exp x)))
  (* (sqrt (exp x)) (sqrt (exp x)))
  (* 1 1)
  (* (exp x) (exp x))
  (* (sqrt (exp x)) (sqrt (exp x)))
  (* (sqrt (exp x)) (sqrt (exp x)))
  (* 2 1)
  (* 2 (cbrt x))
  (* 2 (sqrt x))
  (* 2 x)
  (* (exp x) (* (cbrt (exp x)) (cbrt (exp x))))
  (* (exp x) (sqrt (exp x)))
  (* (exp x) 1)
  (* (cbrt (exp x)) (exp x))
  (* (sqrt (exp x)) (exp x))
  (* (exp x) (exp x))
  (real->posit16 (* (exp x) (exp x)))
  (exp (* (cbrt (+ x (+ x x))) (cbrt (+ x (+ x x)))))
  (exp (sqrt (+ x (+ x x))))
  (exp 1)
  (exp (* (cbrt x) (cbrt x)))
  (exp (sqrt x))
  (exp (sqrt x))
  (exp 1)
  (exp 1)
  (exp x)
  (exp x)
  (exp x)
  (exp (+ (+ 1 1) 1))
  (exp (+ (+ 1 1) 1))
  (exp (+ 2 1))
  (exp x)
  (exp (+ x x))
  (log (exp (+ x (+ x x))))
  (exp (exp (+ x (+ x x))))
  (* (cbrt (exp (+ x (+ x x)))) (cbrt (exp (+ x (+ x x)))))
  (cbrt (exp (+ x (+ x x))))
  (* (* (exp (+ x (+ x x))) (exp (+ x (+ x x)))) (exp (+ x (+ x x))))
  (sqrt (exp (+ x (+ x x))))
  (sqrt (exp (+ x (+ x x))))
  (real->posit16 (exp (+ x (+ x x))))
  (* (/ (exp 1) (exp (exp x))) (exp (* (exp x) (exp x))))
  (* (exp (- 1 (exp x))) (exp (* (exp x) (exp x))))
  (log (+ (- 1 (exp x)) (* (exp x) (exp x))))
  (exp (+ (- 1 (exp x)) (* (exp x) (exp x))))
  (* (cbrt (+ (- 1 (exp x)) (* (exp x) (exp x)))) (cbrt (+ (- 1 (exp x)) (* (exp x) (exp x)))))
  (cbrt (+ (- 1 (exp x)) (* (exp x) (exp x))))
  (* (* (+ (- 1 (exp x)) (* (exp x) (exp x))) (+ (- 1 (exp x)) (* (exp x) (exp x)))) (+ (- 1 (exp x)) (* (exp x) (exp x))))
  (sqrt (+ (- 1 (exp x)) (* (exp x) (exp x))))
  (sqrt (+ (- 1 (exp x)) (* (exp x) (exp x))))
  (+ (pow (- 1 (exp x)) 3) (pow (* (exp x) (exp x)) 3))
  (+ (* (- 1 (exp x)) (- 1 (exp x))) (- (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (- 1 (exp x)) (* (exp x) (exp x)))))
  (- (* (- 1 (exp x)) (- 1 (exp x))) (* (* (exp x) (exp x)) (* (exp x) (exp x))))
  (- (- 1 (exp x)) (* (exp x) (exp x)))
  (+ (- (exp x)) (* (exp x) (exp x)))
  (+ (- (exp x)) (* (exp x) (exp x)))
  (- (exp x) (* (exp x) (exp x)))
  (real->posit16 (+ (- 1 (exp x)) (* (exp x) (exp x))))
  (- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))))
  (- 1 (exp x))
  (- 1 (exp x))
  (+ (* 2 x) (+ (* 2 (pow x 2)) 1))
  (pow (exp x) 2)
  (pow (exp x) 2)
  (+ (* 3 x) (+ (* 9/2 (pow x 2)) 1))
  (exp (* 3 x))
  (exp (* 3 x))
  (+ x (+ (* 3/2 (pow x 2)) 1))
  (- (+ (pow (exp x) 2) 1) (exp x))
  (- (+ (pow (exp x) 2) 1) (exp x))
7.517 * * [simplify]: iteration 0: 135 enodes
7.589 * * [simplify]: iteration 1: 345 enodes
7.748 * * [simplify]: iteration 2: 1043 enodes
8.278 * * [simplify]: iteration 3: 2010 enodes
8.674 * * [simplify]: iteration complete: 2010 enodes
8.674 * * [simplify]: Extracting #0: cost 65 inf + 0
8.675 * * [simplify]: Extracting #1: cost 360 inf + 186
8.677 * * [simplify]: Extracting #2: cost 516 inf + 2540
8.683 * * [simplify]: Extracting #3: cost 435 inf + 20566
8.702 * * [simplify]: Extracting #4: cost 190 inf + 85119
8.735 * * [simplify]: Extracting #5: cost 22 inf + 128778
8.753 * * [simplify]: Extracting #6: cost 1 inf + 134136
8.773 * * [simplify]: Extracting #7: cost 0 inf + 133949
8.799 * [simplify]: Simplified to:
  (exp (- 1 (exp x)))
  (log (- 1 (exp x)))
  (exp (- 1 (exp x)))
  (* (cbrt (- 1 (exp x))) (cbrt (- 1 (exp x))))
  (cbrt (- 1 (exp x)))
  (* (* (- 1 (exp x)) (- 1 (exp x))) (- 1 (exp x)))
  (sqrt (- 1 (exp x)))
  (sqrt (- 1 (exp x)))
  (- 1 (exp (* x 3)))
  (+ (* (exp x) (+ (exp x) 1)) 1)
  (- (exp x))
  (- 1 (exp (+ x x)))
  (+ (exp x) 1)
  (+ (sqrt (exp x)) 1)
  (- 1 (sqrt (exp x)))
  (+ (sqrt (exp x)) 1)
  (- 1 (sqrt (exp x)))
  (- 1 (exp x))
  (- (exp x))
  (real->posit16 (- 1 (exp x)))
  2
  (+ (cbrt x) (cbrt x))
  (+ (sqrt x) (sqrt x))
  (+ x x)
  (exp (+ x x))
  (* (exp (* (cbrt x) (cbrt x))) (exp (* (cbrt x) (cbrt x))))
  (exp (+ (sqrt x) (sqrt x)))
  (* E E)
  2
  (+ x x)
  (+ x x)
  (exp (exp (+ x x)))
  (exp (+ (* x 3) (* x 3)))
  (* (cbrt (exp (+ x x))) (cbrt (exp (+ x x))))
  (cbrt (exp (+ x x)))
  (exp (+ (* x 3) (* x 3)))
  (fabs (exp x))
  (fabs (exp x))
  (* (cbrt (exp x)) (exp x))
  (* (cbrt (exp x)) (cbrt (exp x)))
  (exp x)
  (exp x)
  1
  (exp (+ x x))
  (exp x)
  (exp x)
  2
  (+ (cbrt x) (cbrt x))
  (+ (sqrt x) (sqrt x))
  (+ x x)
  (* (* (exp x) (cbrt (exp x))) (cbrt (exp x)))
  (* (exp x) (sqrt (exp x)))
  (exp x)
  (* (cbrt (exp x)) (exp x))
  (* (exp x) (sqrt (exp x)))
  (exp (+ x x))
  (real->posit16 (exp (+ x x)))
  (exp (* (cbrt (* x 3)) (cbrt (* x 3))))
  (exp (sqrt (* x 3)))
  E
  (exp (* (cbrt x) (cbrt x)))
  (exp (sqrt x))
  (exp (sqrt x))
  E
  E
  (exp x)
  (exp x)
  (exp x)
  (exp 3)
  (exp 3)
  (exp 3)
  (exp x)
  (exp (+ x x))
  (* x 3)
  (exp (exp (* x 3)))
  (exp (+ x x))
  (exp x)
  (exp (+ (* x 3) (+ (* x 3) (* x 3))))
  (sqrt (exp (* x 3)))
  (sqrt (exp (* x 3)))
  (real->posit16 (exp (* x 3)))
  (exp (- 1 (* (exp x) (- 1 (exp x)))))
  (exp (- 1 (* (exp x) (- 1 (exp x)))))
  (log (- 1 (* (exp x) (- 1 (exp x)))))
  (exp (- 1 (* (exp x) (- 1 (exp x)))))
  (* (cbrt (- 1 (* (exp x) (- 1 (exp x))))) (cbrt (- 1 (* (exp x) (- 1 (exp x))))))
  (cbrt (- 1 (* (exp x) (- 1 (exp x)))))
  (* (- 1 (* (exp x) (- 1 (exp x)))) (* (- 1 (* (exp x) (- 1 (exp x)))) (- 1 (* (exp x) (- 1 (exp x))))))
  (sqrt (- 1 (* (exp x) (- 1 (exp x)))))
  (sqrt (- 1 (* (exp x) (- 1 (exp x)))))
  (+ (exp (+ (* x 3) (* x 3))) (* (* (- 1 (exp x)) (- 1 (exp x))) (- 1 (exp x))))
  (+ (* (exp (+ x x)) (+ (- (exp (+ x x)) 1) (exp x))) (* (- 1 (exp x)) (- 1 (exp x))))
  (- (* (- 1 (exp x)) (- 1 (exp x))) (exp (+ (+ x x) (+ x x))))
  (- 1 (* (exp x) (+ (exp x) 1)))
  (+ (exp (+ x x)) (- (exp x)))
  (+ (exp (+ x x)) (- (exp x)))
  (* (exp x) (- 1 (exp x)))
  (real->posit16 (- 1 (* (exp x) (- 1 (exp x)))))
  (- (- x) (+ (* (* x x) 1/2) (* x (* (* x x) 1/6))))
  (- 1 (exp x))
  (- 1 (exp x))
  (+ (* (* x x) 2) (+ 1 (+ x x)))
  (exp (+ x x))
  (exp (+ x x))
  (+ 1 (+ (* x 3) (* (* x x) 9/2)))
  (exp (* x 3))
  (exp (* x 3))
  (+ (+ x 1) (* 3/2 (* x x)))
  (+ (- 1 (exp x)) (exp (+ x x)))
  (+ (- 1 (exp x)) (exp (+ x x)))
8.806 * * * [progress]: adding candidates to table
9.280 * [progress]: [Phase 3 of 3] Extracting.
9.280 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (exp (* 1/2 (log (+ (exp x) 1)))))> #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>)
9.283 * * * [regime-changes]: Trying 1 branch expressions: (x)
9.284 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (exp (* 1/2 (log (+ (exp x) 1)))))> #<alt (λ (x) (sqrt (/ (+ 1 (exp (+ x (+ x x)))) (+ (- 1 (exp x)) (* (exp x) (exp x))))))>)
9.320 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
9.321 * [simplify]: Simplifying:
  (exp (* 1/2 (log (+ (exp x) 1))))
9.321 * * [simplify]: iteration 0: 8 enodes
9.321 * * [simplify]: iteration 1: 12 enodes
9.322 * * [simplify]: iteration complete: 12 enodes
9.322 * * [simplify]: Extracting #0: cost 1 inf + 0
9.322 * * [simplify]: Extracting #1: cost 2 inf + 0
9.322 * * [simplify]: Extracting #2: cost 4 inf + 0
9.322 * * [simplify]: Extracting #3: cost 4 inf + 1
9.322 * * [simplify]: Extracting #4: cost 6 inf + 1
9.322 * * [simplify]: Extracting #5: cost 6 inf + 2
9.323 * * [simplify]: Extracting #6: cost 0 inf + 884
9.323 * [simplify]: Simplified to:
  (exp (* (log (+ 1 (exp x))) 1/2))
19.473 * [regime-testing]: Baseline error score: 0.09897763594990662
19.478 * [regime-testing]: Oracle error score: 0.043461094432585605
19.488 * [regime-testing]: End program error score: 0.09897763594990662