0.552 * [progress]: [Phase 1 of 3] Setting up.
0.004 * * * [progress]: [1/2] Preparing points
0.443 * * * [progress]: [2/2] Setting up program.
0.451 * [progress]: [Phase 2 of 3] Improving.
0.451 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1))))>
0.455 * [simplify]: Simplifying:
  (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1)))
0.456 * * [simplify]: iteration 0: 10 enodes
0.467 * * [simplify]: iteration 1: 24 enodes
0.474 * * [simplify]: iteration 2: 30 enodes
0.484 * * [simplify]: iteration 3: 53 enodes
0.502 * * [simplify]: iteration 4: 108 enodes
1.013 * * [simplify]: iteration 5: 301 enodes
1.206 * * [simplify]: iteration 6: 894 enodes
1.673 * * [simplify]: iteration 7: 2001 enodes
2.097 * * [simplify]: iteration complete: 2001 enodes
2.098 * * [simplify]: Extracting #0: cost 1 inf + 0
2.098 * * [simplify]: Extracting #1: cost 4 inf + 0
2.099 * * [simplify]: Extracting #2: cost 68 inf + 1
2.101 * * [simplify]: Extracting #3: cost 246 inf + 3
2.104 * * [simplify]: Extracting #4: cost 413 inf + 412
2.110 * * [simplify]: Extracting #5: cost 393 inf + 19136
2.126 * * [simplify]: Extracting #6: cost 237 inf + 98121
2.144 * * [simplify]: Extracting #7: cost 115 inf + 174009
2.193 * * [simplify]: Extracting #8: cost 9 inf + 249443
2.246 * * [simplify]: Extracting #9: cost 0 inf + 258091
2.297 * [simplify]: Simplified to:
  (sqrt (+ 1 (exp x)))
2.308 * * [progress]: iteration 1 / 4
2.308 * * * [progress]: picking best candidate
2.312 * * * * [pick]: Picked  #<alt (λ (x) (sqrt (+ 1 (exp x))))>
2.312 * * * [progress]: localizing error
2.338 * * * [progress]: generating rewritten candidates
2.338 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
2.351 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
2.367 * * * [progress]: generating series expansions
2.367 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
2.370 * [backup-simplify]: Simplify (+ 1 (exp x)) into (+ (exp x) 1)
2.370 * [approximate]: Taking taylor expansion of (+ (exp x) 1) in (x) around 0
2.370 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
2.370 * [taylor]: Taking taylor expansion of (exp x) in x
2.370 * [taylor]: Taking taylor expansion of x in x
2.370 * [backup-simplify]: Simplify 0 into 0
2.370 * [backup-simplify]: Simplify 1 into 1
2.371 * [backup-simplify]: Simplify (exp 0) into 1
2.371 * [taylor]: Taking taylor expansion of 1 in x
2.371 * [backup-simplify]: Simplify 1 into 1
2.371 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
2.371 * [taylor]: Taking taylor expansion of (exp x) in x
2.371 * [taylor]: Taking taylor expansion of x in x
2.371 * [backup-simplify]: Simplify 0 into 0
2.371 * [backup-simplify]: Simplify 1 into 1
2.371 * [backup-simplify]: Simplify (exp 0) into 1
2.371 * [taylor]: Taking taylor expansion of 1 in x
2.371 * [backup-simplify]: Simplify 1 into 1
2.372 * [backup-simplify]: Simplify (+ 1 1) into 2
2.372 * [backup-simplify]: Simplify 2 into 2
2.373 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.373 * [backup-simplify]: Simplify (+ 1 0) into 1
2.373 * [backup-simplify]: Simplify 1 into 1
2.374 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
2.375 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
2.375 * [backup-simplify]: Simplify 1/2 into 1/2
2.377 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ x (+ (* 1/2 (pow x 2)) 2))
2.377 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1)
2.377 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in (x) around 0
2.377 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
2.377 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.377 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.377 * [taylor]: Taking taylor expansion of x in x
2.377 * [backup-simplify]: Simplify 0 into 0
2.377 * [backup-simplify]: Simplify 1 into 1
2.378 * [backup-simplify]: Simplify (/ 1 1) into 1
2.378 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.378 * [taylor]: Taking taylor expansion of 1 in x
2.378 * [backup-simplify]: Simplify 1 into 1
2.378 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
2.378 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.378 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.378 * [taylor]: Taking taylor expansion of x in x
2.378 * [backup-simplify]: Simplify 0 into 0
2.378 * [backup-simplify]: Simplify 1 into 1
2.378 * [backup-simplify]: Simplify (/ 1 1) into 1
2.378 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.378 * [taylor]: Taking taylor expansion of 1 in x
2.378 * [backup-simplify]: Simplify 1 into 1
2.378 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
2.378 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
2.379 * [backup-simplify]: Simplify (+ 0 0) into 0
2.379 * [backup-simplify]: Simplify 0 into 0
2.379 * [backup-simplify]: Simplify (+ 0 0) into 0
2.379 * [backup-simplify]: Simplify 0 into 0
2.379 * [backup-simplify]: Simplify (+ 0 0) into 0
2.379 * [backup-simplify]: Simplify 0 into 0
2.379 * [backup-simplify]: Simplify (+ 0 0) into 0
2.379 * [backup-simplify]: Simplify 0 into 0
2.380 * [backup-simplify]: Simplify (+ 0 0) into 0
2.380 * [backup-simplify]: Simplify 0 into 0
2.380 * [backup-simplify]: Simplify (+ 0 0) into 0
2.380 * [backup-simplify]: Simplify 0 into 0
2.380 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1)
2.380 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 (- x)))) into (+ (exp (/ -1 x)) 1)
2.380 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in (x) around 0
2.380 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
2.380 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.380 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.380 * [taylor]: Taking taylor expansion of -1 in x
2.380 * [backup-simplify]: Simplify -1 into -1
2.380 * [taylor]: Taking taylor expansion of x in x
2.380 * [backup-simplify]: Simplify 0 into 0
2.380 * [backup-simplify]: Simplify 1 into 1
2.381 * [backup-simplify]: Simplify (/ -1 1) into -1
2.381 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.381 * [taylor]: Taking taylor expansion of 1 in x
2.381 * [backup-simplify]: Simplify 1 into 1
2.381 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
2.381 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.381 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.381 * [taylor]: Taking taylor expansion of -1 in x
2.381 * [backup-simplify]: Simplify -1 into -1
2.381 * [taylor]: Taking taylor expansion of x in x
2.381 * [backup-simplify]: Simplify 0 into 0
2.381 * [backup-simplify]: Simplify 1 into 1
2.381 * [backup-simplify]: Simplify (/ -1 1) into -1
2.381 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.381 * [taylor]: Taking taylor expansion of 1 in x
2.381 * [backup-simplify]: Simplify 1 into 1
2.381 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
2.381 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
2.382 * [backup-simplify]: Simplify (+ 0 0) into 0
2.382 * [backup-simplify]: Simplify 0 into 0
2.382 * [backup-simplify]: Simplify (+ 0 0) into 0
2.382 * [backup-simplify]: Simplify 0 into 0
2.382 * [backup-simplify]: Simplify (+ 0 0) into 0
2.382 * [backup-simplify]: Simplify 0 into 0
2.382 * [backup-simplify]: Simplify (+ 0 0) into 0
2.382 * [backup-simplify]: Simplify 0 into 0
2.383 * [backup-simplify]: Simplify (+ 0 0) into 0
2.383 * [backup-simplify]: Simplify 0 into 0
2.383 * [backup-simplify]: Simplify (+ 0 0) into 0
2.383 * [backup-simplify]: Simplify 0 into 0
2.383 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1)
2.383 * * * * [progress]: [ 2 / 2 ] generating series at (2)
2.383 * [backup-simplify]: Simplify (sqrt (+ 1 (exp x))) into (sqrt (+ (exp x) 1))
2.383 * [approximate]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in (x) around 0
2.383 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x
2.383 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
2.383 * [taylor]: Taking taylor expansion of (exp x) in x
2.383 * [taylor]: Taking taylor expansion of x in x
2.383 * [backup-simplify]: Simplify 0 into 0
2.383 * [backup-simplify]: Simplify 1 into 1
2.383 * [backup-simplify]: Simplify (exp 0) into 1
2.383 * [taylor]: Taking taylor expansion of 1 in x
2.383 * [backup-simplify]: Simplify 1 into 1
2.384 * [backup-simplify]: Simplify (+ 1 1) into 2
2.384 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
2.385 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.385 * [backup-simplify]: Simplify (+ 1 0) into 1
2.386 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
2.386 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x
2.386 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
2.386 * [taylor]: Taking taylor expansion of (exp x) in x
2.386 * [taylor]: Taking taylor expansion of x in x
2.386 * [backup-simplify]: Simplify 0 into 0
2.386 * [backup-simplify]: Simplify 1 into 1
2.386 * [backup-simplify]: Simplify (exp 0) into 1
2.386 * [taylor]: Taking taylor expansion of 1 in x
2.386 * [backup-simplify]: Simplify 1 into 1
2.386 * [backup-simplify]: Simplify (+ 1 1) into 2
2.386 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
2.387 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.387 * [backup-simplify]: Simplify (+ 1 0) into 1
2.388 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
2.388 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
2.389 * [backup-simplify]: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2))
2.390 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
2.390 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
2.393 * [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.397 * [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.405 * [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.405 * [backup-simplify]: Simplify (sqrt (+ 1 (exp (/ 1 x)))) into (sqrt (+ (exp (/ 1 x)) 1))
2.405 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in (x) around 0
2.405 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x
2.405 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
2.405 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.405 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.405 * [taylor]: Taking taylor expansion of x in x
2.405 * [backup-simplify]: Simplify 0 into 0
2.405 * [backup-simplify]: Simplify 1 into 1
2.406 * [backup-simplify]: Simplify (/ 1 1) into 1
2.406 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.406 * [taylor]: Taking taylor expansion of 1 in x
2.406 * [backup-simplify]: Simplify 1 into 1
2.406 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
2.406 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
2.407 * [backup-simplify]: Simplify (+ 0 0) into 0
2.407 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
2.407 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x
2.407 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
2.407 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.407 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.407 * [taylor]: Taking taylor expansion of x in x
2.407 * [backup-simplify]: Simplify 0 into 0
2.407 * [backup-simplify]: Simplify 1 into 1
2.407 * [backup-simplify]: Simplify (/ 1 1) into 1
2.407 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.407 * [taylor]: Taking taylor expansion of 1 in x
2.407 * [backup-simplify]: Simplify 1 into 1
2.408 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
2.408 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
2.408 * [backup-simplify]: Simplify (+ 0 0) into 0
2.408 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
2.408 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
2.409 * [backup-simplify]: Simplify 0 into 0
2.409 * [backup-simplify]: Simplify (+ 0 0) into 0
2.410 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
2.410 * [backup-simplify]: Simplify 0 into 0
2.410 * [backup-simplify]: Simplify (+ 0 0) into 0
2.411 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
2.411 * [backup-simplify]: Simplify 0 into 0
2.412 * [backup-simplify]: Simplify (+ 0 0) into 0
2.413 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
2.413 * [backup-simplify]: Simplify 0 into 0
2.413 * [backup-simplify]: Simplify (+ 0 0) into 0
2.414 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
2.414 * [backup-simplify]: Simplify 0 into 0
2.415 * [backup-simplify]: Simplify (+ 0 0) into 0
2.416 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
2.416 * [backup-simplify]: Simplify 0 into 0
2.416 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1))
2.416 * [backup-simplify]: Simplify (sqrt (+ 1 (exp (/ 1 (- x))))) into (sqrt (+ (exp (/ -1 x)) 1))
2.416 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in (x) around 0
2.416 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x
2.416 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
2.416 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.416 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.416 * [taylor]: Taking taylor expansion of -1 in x
2.416 * [backup-simplify]: Simplify -1 into -1
2.416 * [taylor]: Taking taylor expansion of x in x
2.416 * [backup-simplify]: Simplify 0 into 0
2.416 * [backup-simplify]: Simplify 1 into 1
2.417 * [backup-simplify]: Simplify (/ -1 1) into -1
2.417 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.417 * [taylor]: Taking taylor expansion of 1 in x
2.417 * [backup-simplify]: Simplify 1 into 1
2.417 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
2.417 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
2.417 * [backup-simplify]: Simplify (+ 0 0) into 0
2.417 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
2.418 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x
2.418 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
2.418 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.418 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.418 * [taylor]: Taking taylor expansion of -1 in x
2.418 * [backup-simplify]: Simplify -1 into -1
2.418 * [taylor]: Taking taylor expansion of x in x
2.418 * [backup-simplify]: Simplify 0 into 0
2.418 * [backup-simplify]: Simplify 1 into 1
2.418 * [backup-simplify]: Simplify (/ -1 1) into -1
2.418 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.418 * [taylor]: Taking taylor expansion of 1 in x
2.418 * [backup-simplify]: Simplify 1 into 1
2.418 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
2.419 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
2.419 * [backup-simplify]: Simplify (+ 0 0) into 0
2.419 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
2.419 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
2.419 * [backup-simplify]: Simplify 0 into 0
2.420 * [backup-simplify]: Simplify (+ 0 0) into 0
2.420 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
2.421 * [backup-simplify]: Simplify 0 into 0
2.421 * [backup-simplify]: Simplify (+ 0 0) into 0
2.422 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
2.422 * [backup-simplify]: Simplify 0 into 0
2.423 * [backup-simplify]: Simplify (+ 0 0) into 0
2.424 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
2.424 * [backup-simplify]: Simplify 0 into 0
2.424 * [backup-simplify]: Simplify (+ 0 0) into 0
2.425 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
2.425 * [backup-simplify]: Simplify 0 into 0
2.425 * [backup-simplify]: Simplify (+ 0 0) into 0
2.426 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
2.427 * [backup-simplify]: Simplify 0 into 0
2.427 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1))
2.427 * * * [progress]: simplifying candidates
2.427 * * * * [progress]: [ 1 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (log1p (expm1 (+ 1 (exp x))))))>
2.427 * * * * [progress]: [ 2 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (expm1 (log1p (+ 1 (exp x))))))>
2.427 * * * * [progress]: [ 3 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (exp x))))>
2.427 * * * * [progress]: [ 4 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (fma (sqrt 1) (sqrt 1) (exp x))))>
2.427 * * * * [progress]: [ 5 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (fma 1 1 (exp x))))>
2.427 * * * * [progress]: [ 6 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (log (* (exp 1) (exp (exp x))))))>
2.427 * * * * [progress]: [ 7 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (pow (+ 1 (exp x)) 1)))>
2.427 * * * * [progress]: [ 8 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log (+ 1 (exp x))))))>
2.427 * * * * [progress]: [ 9 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (log (exp (+ 1 (exp x))))))>
2.427 * * * * [progress]: [ 10 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (* (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x)))) (cbrt (+ 1 (exp x))))))>
2.427 * * * * [progress]: [ 11 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x))))))>
2.427 * * * * [progress]: [ 12 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (* (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x))))))>
2.428 * * * * [progress]: [ 13 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (+ (pow 1 3) (pow (exp x) 3)) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))))>
2.428 * * * * [progress]: [ 14 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (* 1 (+ 1 (exp x)))))>
2.428 * * * * [progress]: [ 15 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (/ (- (* 1 1) (* (exp x) (exp x))) (- 1 (exp x)))))>
2.428 * * * * [progress]: [ 16 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (* 1 (+ 1 (exp x)))))>
2.428 * * * * [progress]: [ 17 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (posit16->real (real->posit16 (+ 1 (exp x))))))>
2.428 * * * * [progress]: [ 18 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
2.428 * * * * [progress]: [ 19 / 46 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (sqrt (+ 1 (exp x))))))>
2.428 * * * * [progress]: [ 20 / 46 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (sqrt (+ 1 (exp x))))))>
2.428 * * * * [progress]: [ 21 / 46 ] simplifiying candidate #<alt (λ (x) (hypot (sqrt 1) (sqrt (exp x))))>
2.428 * * * * [progress]: [ 22 / 46 ] simplifiying candidate #<alt (λ (x) (hypot 1 (sqrt (exp x))))>
2.428 * * * * [progress]: [ 23 / 46 ] simplifiying candidate #<alt (λ (x) (hypot 1 (sqrt (exp x))))>
2.428 * * * * [progress]: [ 24 / 46 ] simplifiying candidate #<alt (λ (x) (pow (+ 1 (exp x)) 1/2))>
2.428 * * * * [progress]: [ 25 / 46 ] simplifiying candidate #<alt (λ (x) (pow (sqrt (+ 1 (exp x))) 1))>
2.428 * * * * [progress]: [ 26 / 46 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (+ 1 (exp x))))))>
2.428 * * * * [progress]: [ 27 / 46 ] simplifiying candidate #<alt (λ (x) (log (exp (sqrt (+ 1 (exp x))))))>
2.428 * * * * [progress]: [ 28 / 46 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (sqrt (+ 1 (exp x)))) (cbrt (sqrt (+ 1 (exp x))))) (cbrt (sqrt (+ 1 (exp x))))))>
2.428 * * * * [progress]: [ 29 / 46 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x)))) (sqrt (+ 1 (exp x))))))>
2.428 * * * * [progress]: [ 30 / 46 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x))))) (sqrt (cbrt (+ 1 (exp x))))))>
2.428 * * * * [progress]: [ 31 / 46 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))))>
2.428 * * * * [progress]: [ 32 / 46 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (sqrt (+ 1 (exp x)))))>
2.429 * * * * [progress]: [ 33 / 46 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (sqrt (+ 1 (exp x)))))>
2.429 * * * * [progress]: [ 34 / 46 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (+ (pow 1 3) (pow (exp x) 3))) (sqrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))))>
2.429 * * * * [progress]: [ 35 / 46 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (- (* 1 1) (* (exp x) (exp x)))) (sqrt (- 1 (exp x)))))>
2.429 * * * * [progress]: [ 36 / 46 ] simplifiying candidate #<alt (λ (x) (pow (+ 1 (exp x)) (/ 1 2)))>
2.429 * * * * [progress]: [ 37 / 46 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))))>
2.429 * * * * [progress]: [ 38 / 46 ] simplifiying candidate #<alt (λ (x) (fabs (sqrt (+ 1 (exp x)))))>
2.429 * * * * [progress]: [ 39 / 46 ] simplifiying candidate #<alt (λ (x) (* 1 (sqrt (+ 1 (exp x)))))>
2.429 * * * * [progress]: [ 40 / 46 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (sqrt (+ 1 (exp x))))))>
2.429 * * * * [progress]: [ 41 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (+ x (+ (* 1/2 (pow x 2)) 2))))>
2.429 * * * * [progress]: [ 42 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
2.429 * * * * [progress]: [ 43 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
2.429 * * * * [progress]: [ 44 / 46 ] 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.429 * * * * [progress]: [ 45 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
2.429 * * * * [progress]: [ 46 / 46 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
2.430 * [simplify]: Simplifying:
  (expm1 (+ 1 (exp x)))
  (log1p (+ 1 (exp x)))
  (* (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))))
  (- (* 1 1) (* (exp x) (exp x)))
  (- 1 (exp x))
  (+ 1 (exp x))
  (real->posit16 (+ 1 (exp x)))
  (expm1 (sqrt (+ 1 (exp x))))
  (log1p (sqrt (+ 1 (exp x))))
  (log (sqrt (+ 1 (exp x))))
  (exp (sqrt (+ 1 (exp x))))
  (* (cbrt (sqrt (+ 1 (exp x)))) (cbrt (sqrt (+ 1 (exp x)))))
  (cbrt (sqrt (+ 1 (exp x))))
  (* (* (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x)))) (sqrt (+ 1 (exp x))))
  (sqrt (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x)))))
  (sqrt (cbrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt 1)
  (sqrt (+ 1 (exp x)))
  (sqrt 1)
  (sqrt (+ 1 (exp x)))
  (sqrt (+ (pow 1 3) (pow (exp x) 3)))
  (sqrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))
  (sqrt (- (* 1 1) (* (exp x) (exp x))))
  (sqrt (- 1 (exp x)))
  (/ 1 2)
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (real->posit16 (sqrt (+ 1 (exp x))))
  (+ x (+ (* 1/2 (pow x 2)) 2))
  (+ (exp x) 1)
  (+ (exp x) 1)
  (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
2.431 * * [simplify]: iteration 0: 67 enodes
2.466 * * [simplify]: iteration 1: 156 enodes
2.537 * * [simplify]: iteration 2: 461 enodes
2.876 * * [simplify]: iteration 3: 1297 enodes
3.230 * * [simplify]: iteration 4: 2027 enodes
3.478 * * [simplify]: iteration complete: 2027 enodes
3.479 * * [simplify]: Extracting #0: cost 33 inf + 0
3.479 * * [simplify]: Extracting #1: cost 161 inf + 2
3.481 * * [simplify]: Extracting #2: cost 377 inf + 2881
3.486 * * [simplify]: Extracting #3: cost 252 inf + 20075
3.506 * * [simplify]: Extracting #4: cost 117 inf + 43081
3.538 * * [simplify]: Extracting #5: cost 19 inf + 71515
3.559 * * [simplify]: Extracting #6: cost 0 inf + 78215
3.575 * [simplify]: Simplified to:
  (expm1 (+ (exp x) 1))
  (log1p (+ (exp x) 1))
  (* (exp (exp x)) E)
  (log1p (exp x))
  (* (exp (exp x)) E)
  (* (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))
  (fma (* (exp x) (exp x)) (exp x) 1)
  (- (fma (exp x) (exp x) 1) (exp x))
  (- 1 (* (exp x) (exp x)))
  (- 1 (exp x))
  (+ (exp x) 1)
  (real->posit16 (+ (exp x) 1))
  (expm1 (sqrt (+ (exp x) 1)))
  (log1p (sqrt (+ (exp x) 1)))
  (log (sqrt (+ (exp x) 1)))
  (exp (sqrt (+ (exp x) 1)))
  (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1))))
  (cbrt (sqrt (+ (exp x) 1)))
  (* (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 (fma (* (exp x) (exp x)) (exp x) 1))
  (sqrt (- (fma (exp x) (exp x) 1) (exp x)))
  (sqrt (- 1 (* (exp x) (exp x))))
  (sqrt (- 1 (exp x)))
  1/2
  (sqrt (sqrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  (real->posit16 (sqrt (+ (exp x) 1)))
  (+ 2 (fma x (* 1/2 x) x))
  (+ (exp x) 1)
  (+ (exp x) 1)
  (fma 1/4 (/ x (/ (sqrt 2) x)) (- (fma (/ x (sqrt 2)) 1/2 (sqrt 2)) (* 1/16 (/ x (/ (sqrt 2) x)))))
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
3.576 * * * [progress]: adding candidates to table
3.769 * * [progress]: iteration 2 / 4
3.769 * * * [progress]: picking best candidate
3.776 * * * * [pick]: Picked  #<alt (λ (x) (sqrt (exp (log1p (exp x)))))>
3.776 * * * [progress]: localizing error
3.786 * * * [progress]: generating rewritten candidates
3.786 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1)
3.787 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
3.790 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
3.795 * * * [progress]: generating series expansions
3.795 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1)
3.795 * [backup-simplify]: Simplify (log1p (exp x)) into (log1p (exp x))
3.795 * [approximate]: Taking taylor expansion of (log1p (exp x)) in (x) around 0
3.795 * [taylor]: Taking taylor expansion of (log1p (exp x)) in x
3.798 * [taylor]: Rewrote expression to (log (+ 1 (exp x)))
3.798 * [taylor]: Taking taylor expansion of (+ 1 (exp x)) in x
3.798 * [taylor]: Taking taylor expansion of 1 in x
3.798 * [backup-simplify]: Simplify 1 into 1
3.798 * [taylor]: Taking taylor expansion of (exp x) in x
3.798 * [taylor]: Taking taylor expansion of x in x
3.798 * [backup-simplify]: Simplify 0 into 0
3.798 * [backup-simplify]: Simplify 1 into 1
3.798 * [backup-simplify]: Simplify (exp 0) into 1
3.798 * [backup-simplify]: Simplify (+ 1 1) into 2
3.799 * [backup-simplify]: Simplify (log 2) into (log 2)
3.799 * [taylor]: Taking taylor expansion of (log1p (exp x)) in x
3.799 * [taylor]: Rewrote expression to (log (+ 1 (exp x)))
3.799 * [taylor]: Taking taylor expansion of (+ 1 (exp x)) in x
3.799 * [taylor]: Taking taylor expansion of 1 in x
3.799 * [backup-simplify]: Simplify 1 into 1
3.799 * [taylor]: Taking taylor expansion of (exp x) in x
3.799 * [taylor]: Taking taylor expansion of x in x
3.799 * [backup-simplify]: Simplify 0 into 0
3.799 * [backup-simplify]: Simplify 1 into 1
3.799 * [backup-simplify]: Simplify (exp 0) into 1
3.799 * [backup-simplify]: Simplify (+ 1 1) into 2
3.800 * [backup-simplify]: Simplify (log 2) into (log 2)
3.800 * [backup-simplify]: Simplify (log 2) into (log 2)
3.801 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.802 * [backup-simplify]: Simplify (+ 0 1) into 1
3.803 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 2 1)))) 1) into 1/2
3.803 * [backup-simplify]: Simplify 1/2 into 1/2
3.805 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.805 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
3.808 * [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
3.808 * [backup-simplify]: Simplify 1/8 into 1/8
3.808 * [backup-simplify]: Simplify (+ (* 1/8 (pow x 2)) (+ (* 1/2 x) (log 2))) into (+ (log 2) (+ (* 1/2 x) (* 1/8 (pow x 2))))
3.808 * [backup-simplify]: Simplify (log1p (exp (/ 1 x))) into (log1p (exp (/ 1 x)))
3.809 * [approximate]: Taking taylor expansion of (log1p (exp (/ 1 x))) in (x) around 0
3.809 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 x))) in x
3.809 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 x))))
3.809 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 x))) in x
3.809 * [taylor]: Taking taylor expansion of 1 in x
3.809 * [backup-simplify]: Simplify 1 into 1
3.809 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.809 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.809 * [taylor]: Taking taylor expansion of x in x
3.809 * [backup-simplify]: Simplify 0 into 0
3.809 * [backup-simplify]: Simplify 1 into 1
3.809 * [backup-simplify]: Simplify (/ 1 1) into 1
3.809 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.809 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1)
3.809 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1))
3.809 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 x))) in x
3.809 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 x))))
3.809 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 x))) in x
3.809 * [taylor]: Taking taylor expansion of 1 in x
3.809 * [backup-simplify]: Simplify 1 into 1
3.809 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.810 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.810 * [taylor]: Taking taylor expansion of x in x
3.810 * [backup-simplify]: Simplify 0 into 0
3.810 * [backup-simplify]: Simplify 1 into 1
3.810 * [backup-simplify]: Simplify (/ 1 1) into 1
3.810 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.810 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1)
3.810 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1))
3.810 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1))
3.811 * [backup-simplify]: Simplify (+ 0 0) into 0
3.811 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 1) into 0
3.811 * [backup-simplify]: Simplify 0 into 0
3.812 * [backup-simplify]: Simplify (+ 0 0) into 0
3.813 * [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
3.813 * [backup-simplify]: Simplify 0 into 0
3.814 * [backup-simplify]: Simplify (+ 0 0) into 0
3.816 * [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
3.816 * [backup-simplify]: Simplify 0 into 0
3.817 * [backup-simplify]: Simplify (+ 0 0) into 0
3.821 * [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
3.822 * [backup-simplify]: Simplify 0 into 0
3.822 * [backup-simplify]: Simplify (+ 0 0) into 0
3.826 * [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
3.826 * [backup-simplify]: Simplify 0 into 0
3.826 * [backup-simplify]: Simplify (+ 0 0) into 0
3.833 * [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
3.833 * [backup-simplify]: Simplify 0 into 0
3.833 * [backup-simplify]: Simplify (log (+ (exp (/ 1 (/ 1 x))) 1)) into (log (+ (exp x) 1))
3.833 * [backup-simplify]: Simplify (log1p (exp (/ 1 (- x)))) into (log1p (exp (/ -1 x)))
3.834 * [approximate]: Taking taylor expansion of (log1p (exp (/ -1 x))) in (x) around 0
3.834 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 x))) in x
3.834 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 x))))
3.834 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 x))) in x
3.834 * [taylor]: Taking taylor expansion of 1 in x
3.834 * [backup-simplify]: Simplify 1 into 1
3.834 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.834 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.834 * [taylor]: Taking taylor expansion of -1 in x
3.834 * [backup-simplify]: Simplify -1 into -1
3.834 * [taylor]: Taking taylor expansion of x in x
3.834 * [backup-simplify]: Simplify 0 into 0
3.834 * [backup-simplify]: Simplify 1 into 1
3.834 * [backup-simplify]: Simplify (/ -1 1) into -1
3.834 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.834 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1)
3.834 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1))
3.834 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 x))) in x
3.834 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 x))))
3.834 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 x))) in x
3.834 * [taylor]: Taking taylor expansion of 1 in x
3.834 * [backup-simplify]: Simplify 1 into 1
3.834 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.834 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.834 * [taylor]: Taking taylor expansion of -1 in x
3.834 * [backup-simplify]: Simplify -1 into -1
3.834 * [taylor]: Taking taylor expansion of x in x
3.834 * [backup-simplify]: Simplify 0 into 0
3.834 * [backup-simplify]: Simplify 1 into 1
3.835 * [backup-simplify]: Simplify (/ -1 1) into -1
3.835 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.835 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1)
3.835 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1))
3.835 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1))
3.835 * [backup-simplify]: Simplify (+ 0 0) into 0
3.836 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 1) into 0
3.836 * [backup-simplify]: Simplify 0 into 0
3.836 * [backup-simplify]: Simplify (+ 0 0) into 0
3.837 * [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
3.837 * [backup-simplify]: Simplify 0 into 0
3.837 * [backup-simplify]: Simplify (+ 0 0) into 0
3.839 * [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
3.839 * [backup-simplify]: Simplify 0 into 0
3.839 * [backup-simplify]: Simplify (+ 0 0) into 0
3.842 * [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
3.842 * [backup-simplify]: Simplify 0 into 0
3.842 * [backup-simplify]: Simplify (+ 0 0) into 0
3.846 * [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
3.847 * [backup-simplify]: Simplify 0 into 0
3.847 * [backup-simplify]: Simplify (+ 0 0) into 0
3.856 * [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
3.856 * [backup-simplify]: Simplify 0 into 0
3.856 * [backup-simplify]: Simplify (log (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (log (+ (exp x) 1))
3.856 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
3.856 * [backup-simplify]: Simplify (exp (log1p (exp x))) into (exp (log1p (exp x)))
3.856 * [approximate]: Taking taylor expansion of (exp (log1p (exp x))) in (x) around 0
3.856 * [taylor]: Taking taylor expansion of (exp (log1p (exp x))) in x
3.856 * [taylor]: Taking taylor expansion of (log1p (exp x)) in x
3.856 * [taylor]: Rewrote expression to (log (+ 1 (exp x)))
3.856 * [taylor]: Taking taylor expansion of (+ 1 (exp x)) in x
3.856 * [taylor]: Taking taylor expansion of 1 in x
3.856 * [backup-simplify]: Simplify 1 into 1
3.857 * [taylor]: Taking taylor expansion of (exp x) in x
3.857 * [taylor]: Taking taylor expansion of x in x
3.857 * [backup-simplify]: Simplify 0 into 0
3.857 * [backup-simplify]: Simplify 1 into 1
3.857 * [backup-simplify]: Simplify (exp 0) into 1
3.857 * [backup-simplify]: Simplify (+ 1 1) into 2
3.857 * [backup-simplify]: Simplify (log 2) into (log 2)
3.858 * [backup-simplify]: Simplify (exp (log 2)) into 2
3.858 * [taylor]: Taking taylor expansion of (exp (log1p (exp x))) in x
3.858 * [taylor]: Taking taylor expansion of (log1p (exp x)) in x
3.858 * [taylor]: Rewrote expression to (log (+ 1 (exp x)))
3.858 * [taylor]: Taking taylor expansion of (+ 1 (exp 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 (exp x) in x
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 (exp 0) into 1
3.859 * [backup-simplify]: Simplify (+ 1 1) into 2
3.859 * [backup-simplify]: Simplify (log 2) into (log 2)
3.860 * [backup-simplify]: Simplify (exp (log 2)) into 2
3.860 * [backup-simplify]: Simplify 2 into 2
3.861 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.861 * [backup-simplify]: Simplify (+ 0 1) into 1
3.862 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 2 1)))) 1) into 1/2
3.865 * [backup-simplify]: Simplify (* (exp (log 2)) (+ (* (/ (pow 1/2 1) 1)))) into 1
3.865 * [backup-simplify]: Simplify 1 into 1
3.866 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.867 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
3.869 * [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
3.879 * [backup-simplify]: Simplify (* (exp (log 2)) (+ (* (/ (pow 1/2 2) 2)) (* (/ (pow 1/8 1) 1)))) into 1/2
3.879 * [backup-simplify]: Simplify 1/2 into 1/2
3.879 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ x (+ (* 1/2 (pow x 2)) 2))
3.880 * [backup-simplify]: Simplify (exp (log1p (exp (/ 1 x)))) into (exp (log1p (exp (/ 1 x))))
3.880 * [approximate]: Taking taylor expansion of (exp (log1p (exp (/ 1 x)))) in (x) around 0
3.880 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 x)))) in x
3.880 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 x))) in x
3.880 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 x))))
3.880 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 x))) in x
3.880 * [taylor]: Taking taylor expansion of 1 in x
3.880 * [backup-simplify]: Simplify 1 into 1
3.880 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.880 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.880 * [taylor]: Taking taylor expansion of x in x
3.880 * [backup-simplify]: Simplify 0 into 0
3.880 * [backup-simplify]: Simplify 1 into 1
3.880 * [backup-simplify]: Simplify (/ 1 1) into 1
3.880 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.880 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1)
3.881 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1))
3.881 * [backup-simplify]: Simplify (exp (log (+ (exp (/ 1 x)) 1))) into (+ (exp (/ 1 x)) 1)
3.881 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 x)))) in x
3.881 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 x))) in x
3.881 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 x))))
3.881 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 x))) in x
3.881 * [taylor]: Taking taylor expansion of 1 in x
3.881 * [backup-simplify]: Simplify 1 into 1
3.881 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
3.881 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.881 * [taylor]: Taking taylor expansion of x in x
3.881 * [backup-simplify]: Simplify 0 into 0
3.881 * [backup-simplify]: Simplify 1 into 1
3.881 * [backup-simplify]: Simplify (/ 1 1) into 1
3.882 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
3.882 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1)
3.882 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1))
3.882 * [backup-simplify]: Simplify (exp (log (+ (exp (/ 1 x)) 1))) into (+ (exp (/ 1 x)) 1)
3.882 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
3.882 * [backup-simplify]: Simplify (+ 0 0) into 0
3.883 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 1) into 0
3.884 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0
3.884 * [backup-simplify]: Simplify 0 into 0
3.884 * [backup-simplify]: Simplify (+ 0 0) into 0
3.886 * [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
3.887 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.887 * [backup-simplify]: Simplify 0 into 0
3.888 * [backup-simplify]: Simplify (+ 0 0) into 0
3.890 * [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
3.891 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.891 * [backup-simplify]: Simplify 0 into 0
3.891 * [backup-simplify]: Simplify (+ 0 0) into 0
3.894 * [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
3.896 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.896 * [backup-simplify]: Simplify 0 into 0
3.896 * [backup-simplify]: Simplify (+ 0 0) into 0
3.900 * [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
3.902 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.902 * [backup-simplify]: Simplify 0 into 0
3.903 * [backup-simplify]: Simplify (+ 0 0) into 0
3.910 * [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
3.913 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.913 * [backup-simplify]: Simplify 0 into 0
3.913 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1)
3.913 * [backup-simplify]: Simplify (exp (log1p (exp (/ 1 (- x))))) into (exp (log1p (exp (/ -1 x))))
3.913 * [approximate]: Taking taylor expansion of (exp (log1p (exp (/ -1 x)))) in (x) around 0
3.913 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ -1 x)))) in x
3.913 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 x))) in x
3.913 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 x))))
3.913 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 x))) in x
3.914 * [taylor]: Taking taylor expansion of 1 in x
3.914 * [backup-simplify]: Simplify 1 into 1
3.914 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.914 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.914 * [taylor]: Taking taylor expansion of -1 in x
3.914 * [backup-simplify]: Simplify -1 into -1
3.914 * [taylor]: Taking taylor expansion of x in x
3.914 * [backup-simplify]: Simplify 0 into 0
3.914 * [backup-simplify]: Simplify 1 into 1
3.914 * [backup-simplify]: Simplify (/ -1 1) into -1
3.914 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.914 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1)
3.914 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1))
3.914 * [backup-simplify]: Simplify (exp (log (+ (exp (/ -1 x)) 1))) into (+ (exp (/ -1 x)) 1)
3.914 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ -1 x)))) in x
3.914 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 x))) in x
3.914 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 x))))
3.914 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 x))) in x
3.914 * [taylor]: Taking taylor expansion of 1 in x
3.914 * [backup-simplify]: Simplify 1 into 1
3.914 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
3.914 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.914 * [taylor]: Taking taylor expansion of -1 in x
3.914 * [backup-simplify]: Simplify -1 into -1
3.914 * [taylor]: Taking taylor expansion of x in x
3.914 * [backup-simplify]: Simplify 0 into 0
3.914 * [backup-simplify]: Simplify 1 into 1
3.915 * [backup-simplify]: Simplify (/ -1 1) into -1
3.915 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
3.915 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1)
3.915 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1))
3.915 * [backup-simplify]: Simplify (exp (log (+ (exp (/ -1 x)) 1))) into (+ (exp (/ -1 x)) 1)
3.915 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
3.915 * [backup-simplify]: Simplify (+ 0 0) into 0
3.916 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 1) into 0
3.917 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0
3.917 * [backup-simplify]: Simplify 0 into 0
3.917 * [backup-simplify]: Simplify (+ 0 0) into 0
3.918 * [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
3.920 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.920 * [backup-simplify]: Simplify 0 into 0
3.920 * [backup-simplify]: Simplify (+ 0 0) into 0
3.923 * [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
3.925 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.925 * [backup-simplify]: Simplify 0 into 0
3.925 * [backup-simplify]: Simplify (+ 0 0) into 0
3.930 * [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
3.933 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.933 * [backup-simplify]: Simplify 0 into 0
3.934 * [backup-simplify]: Simplify (+ 0 0) into 0
3.941 * [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
3.945 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
3.945 * [backup-simplify]: Simplify 0 into 0
3.945 * [backup-simplify]: Simplify (+ 0 0) into 0
3.958 * [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
3.965 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
3.965 * [backup-simplify]: Simplify 0 into 0
3.965 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1)
3.965 * * * * [progress]: [ 3 / 3 ] generating series at (2)
3.965 * [backup-simplify]: Simplify (sqrt (exp (log1p (exp x)))) into (sqrt (exp (log1p (exp x))))
3.965 * [approximate]: Taking taylor expansion of (sqrt (exp (log1p (exp x)))) in (x) around 0
3.965 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (exp x)))) in x
3.965 * [taylor]: Taking taylor expansion of (exp (log1p (exp x))) in x
3.966 * [taylor]: Taking taylor expansion of (log1p (exp x)) in x
3.966 * [taylor]: Rewrote expression to (log (+ 1 (exp x)))
3.966 * [taylor]: Taking taylor expansion of (+ 1 (exp x)) in x
3.966 * [taylor]: Taking taylor expansion of 1 in x
3.966 * [backup-simplify]: Simplify 1 into 1
3.966 * [taylor]: Taking taylor expansion of (exp x) in x
3.966 * [taylor]: Taking taylor expansion of x in x
3.966 * [backup-simplify]: Simplify 0 into 0
3.966 * [backup-simplify]: Simplify 1 into 1
3.966 * [backup-simplify]: Simplify (exp 0) into 1
3.966 * [backup-simplify]: Simplify (+ 1 1) into 2
3.967 * [backup-simplify]: Simplify (log 2) into (log 2)
3.967 * [backup-simplify]: Simplify (exp (log 2)) into 2
3.968 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
3.969 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.969 * [backup-simplify]: Simplify (+ 0 1) into 1
3.971 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 2 1)))) 1) into 1/2
3.973 * [backup-simplify]: Simplify (* (exp (log 2)) (+ (* (/ (pow 1/2 1) 1)))) into 1
3.975 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
3.975 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (exp x)))) in x
3.975 * [taylor]: Taking taylor expansion of (exp (log1p (exp x))) in x
3.975 * [taylor]: Taking taylor expansion of (log1p (exp x)) in x
3.975 * [taylor]: Rewrote expression to (log (+ 1 (exp x)))
3.975 * [taylor]: Taking taylor expansion of (+ 1 (exp x)) in x
3.975 * [taylor]: Taking taylor expansion of 1 in x
3.975 * [backup-simplify]: Simplify 1 into 1
3.975 * [taylor]: Taking taylor expansion of (exp x) in x
3.975 * [taylor]: Taking taylor expansion of x in x
3.975 * [backup-simplify]: Simplify 0 into 0
3.975 * [backup-simplify]: Simplify 1 into 1
3.975 * [backup-simplify]: Simplify (exp 0) into 1
3.976 * [backup-simplify]: Simplify (+ 1 1) into 2
3.976 * [backup-simplify]: Simplify (log 2) into (log 2)
3.977 * [backup-simplify]: Simplify (exp (log 2)) into 2
3.977 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
3.978 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
3.979 * [backup-simplify]: Simplify (+ 0 1) into 1
3.980 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 2 1)))) 1) into 1/2
3.982 * [backup-simplify]: Simplify (* (exp (log 2)) (+ (* (/ (pow 1/2 1) 1)))) into 1
3.984 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
3.984 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
3.985 * [backup-simplify]: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2))
3.987 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
3.987 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
3.990 * [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
3.995 * [backup-simplify]: Simplify (* (exp (log 2)) (+ (* (/ (pow 1/2 2) 2)) (* (/ (pow 1/8 1) 1)))) into 1/2
4.002 * [backup-simplify]: Simplify (/ (- 1/2 (pow (/ 1/2 (sqrt 2)) 2) (+)) (* 2 (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2)))
4.009 * [backup-simplify]: Simplify (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) into (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2)))
4.018 * [backup-simplify]: Simplify (+ (* (* 1/2 (/ (- 1/2 (* 1/4 (/ 1 (pow (sqrt 2) 2)))) (sqrt 2))) (pow x 2)) (+ (* (/ 1/2 (sqrt 2)) x) (sqrt 2))) into (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
4.018 * [backup-simplify]: Simplify (sqrt (exp (log1p (exp (/ 1 x))))) into (sqrt (exp (log1p (exp (/ 1 x)))))
4.018 * [approximate]: Taking taylor expansion of (sqrt (exp (log1p (exp (/ 1 x))))) in (x) around 0
4.018 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (exp (/ 1 x))))) in x
4.018 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 x)))) in x
4.018 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 x))) in x
4.018 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 x))))
4.018 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 x))) in x
4.018 * [taylor]: Taking taylor expansion of 1 in x
4.018 * [backup-simplify]: Simplify 1 into 1
4.018 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.018 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.018 * [taylor]: Taking taylor expansion of x in x
4.018 * [backup-simplify]: Simplify 0 into 0
4.018 * [backup-simplify]: Simplify 1 into 1
4.019 * [backup-simplify]: Simplify (/ 1 1) into 1
4.019 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.019 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1)
4.019 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1))
4.019 * [backup-simplify]: Simplify (exp (log (+ (exp (/ 1 x)) 1))) into (+ (exp (/ 1 x)) 1)
4.019 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
4.020 * [backup-simplify]: Simplify (+ 0 0) into 0
4.021 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 1) into 0
4.021 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0
4.022 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
4.022 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (exp (/ 1 x))))) in x
4.022 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ 1 x)))) in x
4.022 * [taylor]: Taking taylor expansion of (log1p (exp (/ 1 x))) in x
4.022 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ 1 x))))
4.022 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ 1 x))) in x
4.022 * [taylor]: Taking taylor expansion of 1 in x
4.022 * [backup-simplify]: Simplify 1 into 1
4.022 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
4.022 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.022 * [taylor]: Taking taylor expansion of x in x
4.022 * [backup-simplify]: Simplify 0 into 0
4.022 * [backup-simplify]: Simplify 1 into 1
4.022 * [backup-simplify]: Simplify (/ 1 1) into 1
4.022 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
4.023 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1)
4.023 * [backup-simplify]: Simplify (log (+ (exp (/ 1 x)) 1)) into (log (+ (exp (/ 1 x)) 1))
4.023 * [backup-simplify]: Simplify (exp (log (+ (exp (/ 1 x)) 1))) into (+ (exp (/ 1 x)) 1)
4.023 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
4.023 * [backup-simplify]: Simplify (+ 0 0) into 0
4.024 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 1) into 0
4.025 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0
4.025 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
4.025 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
4.025 * [backup-simplify]: Simplify 0 into 0
4.026 * [backup-simplify]: Simplify (+ 0 0) into 0
4.027 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 2) into 0
4.028 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.028 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
4.028 * [backup-simplify]: Simplify 0 into 0
4.028 * [backup-simplify]: Simplify (+ 0 0) into 0
4.030 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 6) into 0
4.031 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.032 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
4.032 * [backup-simplify]: Simplify 0 into 0
4.032 * [backup-simplify]: Simplify (+ 0 0) into 0
4.037 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 24) into 0
4.040 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.041 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
4.042 * [backup-simplify]: Simplify 0 into 0
4.042 * [backup-simplify]: Simplify (+ 0 0) into 0
4.052 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (/ 1 x)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 120) into 0
4.056 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.057 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
4.057 * [backup-simplify]: Simplify 0 into 0
4.058 * [backup-simplify]: Simplify (+ 0 0) into 0
4.070 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (/ 1 x)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (/ 1 x)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (/ 1 x)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ 1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (/ 1 x)) 1) 1)))) 720) into 0
4.076 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ 1 x)) 1))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.078 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
4.078 * [backup-simplify]: Simplify 0 into 0
4.078 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1))
4.078 * [backup-simplify]: Simplify (sqrt (exp (log1p (exp (/ 1 (- x)))))) into (sqrt (exp (log1p (exp (/ -1 x)))))
4.078 * [approximate]: Taking taylor expansion of (sqrt (exp (log1p (exp (/ -1 x))))) in (x) around 0
4.078 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (exp (/ -1 x))))) in x
4.078 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ -1 x)))) in x
4.078 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 x))) in x
4.078 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 x))))
4.078 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 x))) in x
4.078 * [taylor]: Taking taylor expansion of 1 in x
4.078 * [backup-simplify]: Simplify 1 into 1
4.078 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.078 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.079 * [taylor]: Taking taylor expansion of -1 in x
4.079 * [backup-simplify]: Simplify -1 into -1
4.079 * [taylor]: Taking taylor expansion of x in x
4.079 * [backup-simplify]: Simplify 0 into 0
4.079 * [backup-simplify]: Simplify 1 into 1
4.079 * [backup-simplify]: Simplify (/ -1 1) into -1
4.079 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.079 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1)
4.079 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1))
4.079 * [backup-simplify]: Simplify (exp (log (+ (exp (/ -1 x)) 1))) into (+ (exp (/ -1 x)) 1)
4.080 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
4.080 * [backup-simplify]: Simplify (+ 0 0) into 0
4.081 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 1) into 0
4.082 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0
4.082 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
4.082 * [taylor]: Taking taylor expansion of (sqrt (exp (log1p (exp (/ -1 x))))) in x
4.082 * [taylor]: Taking taylor expansion of (exp (log1p (exp (/ -1 x)))) in x
4.082 * [taylor]: Taking taylor expansion of (log1p (exp (/ -1 x))) in x
4.082 * [taylor]: Rewrote expression to (log (+ 1 (exp (/ -1 x))))
4.082 * [taylor]: Taking taylor expansion of (+ 1 (exp (/ -1 x))) in x
4.082 * [taylor]: Taking taylor expansion of 1 in x
4.082 * [backup-simplify]: Simplify 1 into 1
4.082 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
4.082 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.082 * [taylor]: Taking taylor expansion of -1 in x
4.082 * [backup-simplify]: Simplify -1 into -1
4.082 * [taylor]: Taking taylor expansion of x in x
4.082 * [backup-simplify]: Simplify 0 into 0
4.082 * [backup-simplify]: Simplify 1 into 1
4.083 * [backup-simplify]: Simplify (/ -1 1) into -1
4.083 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
4.083 * [backup-simplify]: Simplify (+ 1 (exp (/ -1 x))) into (+ (exp (/ -1 x)) 1)
4.083 * [backup-simplify]: Simplify (log (+ (exp (/ -1 x)) 1)) into (log (+ (exp (/ -1 x)) 1))
4.083 * [backup-simplify]: Simplify (exp (log (+ (exp (/ -1 x)) 1))) into (+ (exp (/ -1 x)) 1)
4.083 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
4.084 * [backup-simplify]: Simplify (+ 0 0) into 0
4.085 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 1) into 0
4.085 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0
4.086 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
4.086 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
4.086 * [backup-simplify]: Simplify 0 into 0
4.086 * [backup-simplify]: Simplify (+ 0 0) into 0
4.088 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 2) into 0
4.089 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.090 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
4.090 * [backup-simplify]: Simplify 0 into 0
4.091 * [backup-simplify]: Simplify (+ 0 0) into 0
4.094 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 6) into 0
4.095 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.096 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
4.096 * [backup-simplify]: Simplify 0 into 0
4.097 * [backup-simplify]: Simplify (+ 0 0) into 0
4.102 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 24) into 0
4.105 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.106 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
4.106 * [backup-simplify]: Simplify 0 into 0
4.107 * [backup-simplify]: Simplify (+ 0 0) into 0
4.115 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (/ -1 x)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 120) into 0
4.119 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.120 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
4.120 * [backup-simplify]: Simplify 0 into 0
4.121 * [backup-simplify]: Simplify (+ 0 0) into 0
4.133 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (/ -1 x)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (/ -1 x)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (/ -1 x)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (/ -1 x)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (/ -1 x)) 1) 1)))) 720) into 0
4.139 * [backup-simplify]: Simplify (* (exp (log (+ (exp (/ -1 x)) 1))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.142 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
4.143 * [backup-simplify]: Simplify 0 into 0
4.143 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1))
4.143 * * * [progress]: simplifying candidates
4.143 * * * * [progress]: [ 1 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log (+ 1 (exp x))))))>
4.143 * * * * [progress]: [ 2 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log1p (expm1 (log1p (exp x)))))))>
4.143 * * * * [progress]: [ 3 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (expm1 (log1p (log1p (exp x)))))))>
4.143 * * * * [progress]: [ 4 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log1p (exp x)))))>
4.143 * * * * [progress]: [ 5 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (pow (log1p (exp x)) 1))))>
4.143 * * * * [progress]: [ 6 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (exp (log (log1p (exp x)))))))>
4.143 * * * * [progress]: [ 7 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log (exp (log1p (exp x)))))))>
4.143 * * * * [progress]: [ 8 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (* (* (cbrt (log1p (exp x))) (cbrt (log1p (exp x)))) (cbrt (log1p (exp x)))))))>
4.143 * * * * [progress]: [ 9 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (cbrt (* (* (log1p (exp x)) (log1p (exp x))) (log1p (exp x)))))))>
4.144 * * * * [progress]: [ 10 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (* (sqrt (log1p (exp x))) (sqrt (log1p (exp x)))))))>
4.144 * * * * [progress]: [ 11 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (* 1 (log1p (exp x))))))>
4.144 * * * * [progress]: [ 12 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (posit16->real (real->posit16 (log1p (exp x)))))))>
4.144 * * * * [progress]: [ 13 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (log1p (expm1 (exp (log1p (exp x)))))))>
4.144 * * * * [progress]: [ 14 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (expm1 (log1p (exp (log1p (exp x)))))))>
4.144 * * * * [progress]: [ 15 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (pow (exp (log1p (exp x))) 1)))>
4.144 * * * * [progress]: [ 16 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (pow (exp (* (cbrt (log1p (exp x))) (cbrt (log1p (exp x))))) (cbrt (log1p (exp x))))))>
4.144 * * * * [progress]: [ 17 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (pow (exp (sqrt (log1p (exp x)))) (sqrt (log1p (exp x))))))>
4.144 * * * * [progress]: [ 18 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (pow (exp 1) (log1p (exp x)))))>
4.144 * * * * [progress]: [ 19 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (+ 1 (exp x))))>
4.144 * * * * [progress]: [ 20 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log1p (exp x)))))>
4.144 * * * * [progress]: [ 21 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log (exp (log1p (exp x)))))))>
4.144 * * * * [progress]: [ 22 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (log (exp (exp (log1p (exp x)))))))>
4.144 * * * * [progress]: [ 23 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (* (* (cbrt (exp (log1p (exp x)))) (cbrt (exp (log1p (exp x))))) (cbrt (exp (log1p (exp x)))))))>
4.144 * * * * [progress]: [ 24 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (cbrt (* (* (exp (log1p (exp x))) (exp (log1p (exp x)))) (exp (log1p (exp x)))))))>
4.144 * * * * [progress]: [ 25 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (* (sqrt (exp (log1p (exp x)))) (sqrt (exp (log1p (exp x)))))))>
4.144 * * * * [progress]: [ 26 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (* 1 (exp (log1p (exp x))))))>
4.144 * * * * [progress]: [ 27 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (posit16->real (real->posit16 (exp (log1p (exp x)))))))>
4.145 * * * * [progress]: [ 28 / 55 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (sqrt (exp (log1p (exp x)))))))>
4.145 * * * * [progress]: [ 29 / 55 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (sqrt (exp (log1p (exp x)))))))>
4.145 * * * * [progress]: [ 30 / 55 ] simplifiying candidate #<alt (λ (x) (pow (exp (log1p (exp x))) 1/2))>
4.145 * * * * [progress]: [ 31 / 55 ] simplifiying candidate #<alt (λ (x) (pow (sqrt (exp (log1p (exp x)))) 1))>
4.145 * * * * [progress]: [ 32 / 55 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (exp (log1p (exp x)))))))>
4.145 * * * * [progress]: [ 33 / 55 ] simplifiying candidate #<alt (λ (x) (log (exp (sqrt (exp (log1p (exp x)))))))>
4.145 * * * * [progress]: [ 34 / 55 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (sqrt (exp (log1p (exp x))))) (cbrt (sqrt (exp (log1p (exp x)))))) (cbrt (sqrt (exp (log1p (exp x)))))))>
4.145 * * * * [progress]: [ 35 / 55 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (sqrt (exp (log1p (exp x)))) (sqrt (exp (log1p (exp x))))) (sqrt (exp (log1p (exp x)))))))>
4.145 * * * * [progress]: [ 36 / 55 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (cbrt (exp (log1p (exp x)))) (cbrt (exp (log1p (exp x)))))) (sqrt (cbrt (exp (log1p (exp x)))))))>
4.145 * * * * [progress]: [ 37 / 55 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (exp (log1p (exp x))))) (sqrt (sqrt (exp (log1p (exp x)))))))>
4.145 * * * * [progress]: [ 38 / 55 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (sqrt (exp (log1p (exp x))))))>
4.145 * * * * [progress]: [ 39 / 55 ] simplifiying candidate #<alt (λ (x) (pow (exp (log1p (exp x))) (/ 1 2)))>
4.145 * * * * [progress]: [ 40 / 55 ] simplifiying candidate #<alt (λ (x) (pow (exp (* (cbrt (log1p (exp x))) (cbrt (log1p (exp x))))) (/ (cbrt (log1p (exp x))) 2)))>
4.145 * * * * [progress]: [ 41 / 55 ] simplifiying candidate #<alt (λ (x) (pow (exp (sqrt (log1p (exp x)))) (/ (sqrt (log1p (exp x))) 2)))>
4.145 * * * * [progress]: [ 42 / 55 ] simplifiying candidate #<alt (λ (x) (pow (exp 1) (/ (log1p (exp x)) 2)))>
4.145 * * * * [progress]: [ 43 / 55 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (exp (log1p (exp x))))) (sqrt (sqrt (exp (log1p (exp x)))))))>
4.145 * * * * [progress]: [ 44 / 55 ] simplifiying candidate #<alt (λ (x) (fabs (sqrt (exp (log1p (exp x))))))>
4.146 * * * * [progress]: [ 45 / 55 ] simplifiying candidate #<alt (λ (x) (* 1 (sqrt (exp (log1p (exp x))))))>
4.146 * * * * [progress]: [ 46 / 55 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (sqrt (exp (log1p (exp x)))))))>
4.146 * * * * [progress]: [ 47 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (+ (log 2) (+ (* 1/2 x) (* 1/8 (pow x 2)))))))>
4.146 * * * * [progress]: [ 48 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log (+ (exp x) 1)))))>
4.146 * * * * [progress]: [ 49 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (exp (log (+ (exp x) 1)))))>
4.146 * * * * [progress]: [ 50 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (+ x (+ (* 1/2 (pow x 2)) 2))))>
4.146 * * * * [progress]: [ 51 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
4.146 * * * * [progress]: [ 52 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
4.146 * * * * [progress]: [ 53 / 55 ] 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)))))>
4.146 * * * * [progress]: [ 54 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
4.146 * * * * [progress]: [ 55 / 55 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
4.147 * [simplify]: Simplifying:
  (+ 1 (exp x))
  (expm1 (log1p (exp x)))
  (log1p (log1p (exp x)))
  (log (log1p (exp x)))
  (exp (log1p (exp x)))
  (* (cbrt (log1p (exp x))) (cbrt (log1p (exp x))))
  (cbrt (log1p (exp x)))
  (* (* (log1p (exp x)) (log1p (exp x))) (log1p (exp x)))
  (sqrt (log1p (exp x)))
  (sqrt (log1p (exp x)))
  (real->posit16 (log1p (exp x)))
  (expm1 (exp (log1p (exp x))))
  (log1p (exp (log1p (exp x))))
  (exp (* (cbrt (log1p (exp x))) (cbrt (log1p (exp x)))))
  (exp (sqrt (log1p (exp x))))
  (exp 1)
  (log (exp (log1p (exp x))))
  (exp (exp (log1p (exp x))))
  (* (cbrt (exp (log1p (exp x)))) (cbrt (exp (log1p (exp x)))))
  (cbrt (exp (log1p (exp x))))
  (* (* (exp (log1p (exp x))) (exp (log1p (exp x)))) (exp (log1p (exp x))))
  (sqrt (exp (log1p (exp x))))
  (sqrt (exp (log1p (exp x))))
  (real->posit16 (exp (log1p (exp x))))
  (expm1 (sqrt (exp (log1p (exp x)))))
  (log1p (sqrt (exp (log1p (exp x)))))
  (log (sqrt (exp (log1p (exp x)))))
  (exp (sqrt (exp (log1p (exp x)))))
  (* (cbrt (sqrt (exp (log1p (exp x))))) (cbrt (sqrt (exp (log1p (exp x))))))
  (cbrt (sqrt (exp (log1p (exp x)))))
  (* (* (sqrt (exp (log1p (exp x)))) (sqrt (exp (log1p (exp x))))) (sqrt (exp (log1p (exp x)))))
  (sqrt (* (cbrt (exp (log1p (exp x)))) (cbrt (exp (log1p (exp x))))))
  (sqrt (cbrt (exp (log1p (exp x)))))
  (sqrt (sqrt (exp (log1p (exp x)))))
  (sqrt (sqrt (exp (log1p (exp x)))))
  (sqrt 1)
  (sqrt (exp (log1p (exp x))))
  (/ 1 2)
  (/ (cbrt (log1p (exp x))) 2)
  (/ (sqrt (log1p (exp x))) 2)
  (/ (log1p (exp x)) 2)
  (sqrt (sqrt (exp (log1p (exp x)))))
  (sqrt (sqrt (exp (log1p (exp x)))))
  (real->posit16 (sqrt (exp (log1p (exp x)))))
  (+ (log 2) (+ (* 1/2 x) (* 1/8 (pow x 2))))
  (log (+ (exp x) 1))
  (log (+ (exp x) 1))
  (+ x (+ (* 1/2 (pow x 2)) 2))
  (+ (exp x) 1)
  (+ (exp x) 1)
  (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
4.148 * * [simplify]: iteration 0: 73 enodes
4.177 * * [simplify]: iteration 1: 132 enodes
4.229 * * [simplify]: iteration 2: 297 enodes
4.389 * * [simplify]: iteration 3: 834 enodes
4.691 * * [simplify]: iteration 4: 2039 enodes
5.124 * * [simplify]: iteration complete: 2039 enodes
5.124 * * [simplify]: Extracting #0: cost 41 inf + 0
5.125 * * [simplify]: Extracting #1: cost 152 inf + 3
5.128 * * [simplify]: Extracting #2: cost 429 inf + 593
5.136 * * [simplify]: Extracting #3: cost 349 inf + 22907
5.159 * * [simplify]: Extracting #4: cost 142 inf + 68434
5.192 * * [simplify]: Extracting #5: cost 47 inf + 98231
5.226 * * [simplify]: Extracting #6: cost 3 inf + 114295
5.263 * * [simplify]: Extracting #7: cost 0 inf + 115392
5.297 * [simplify]: Simplified to:
  (+ (exp x) 1)
  (exp x)
  (log1p (log1p (exp x)))
  (log (log1p (exp x)))
  (+ (exp x) 1)
  (* (cbrt (log1p (exp x))) (cbrt (log1p (exp x))))
  (cbrt (log1p (exp x)))
  (* (* (log1p (exp x)) (log1p (exp x))) (log1p (exp x)))
  (sqrt (log1p (exp x)))
  (sqrt (log1p (exp x)))
  (real->posit16 (log1p (exp x)))
  (expm1 (+ (exp x) 1))
  (log1p (+ (exp x) 1))
  (exp (* (cbrt (log1p (exp x))) (cbrt (log1p (exp x)))))
  (exp (sqrt (log1p (exp x))))
  E
  (log1p (exp x))
  (* (exp (exp x)) E)
  (* (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))
  (real->posit16 (+ (exp x) 1))
  (expm1 (sqrt (+ (exp x) 1)))
  (log1p (sqrt (+ (exp x) 1)))
  (log (sqrt (+ (exp x) 1)))
  (exp (sqrt (+ (exp x) 1)))
  (* (cbrt (sqrt (+ (exp x) 1))) (cbrt (sqrt (+ (exp x) 1))))
  (cbrt (sqrt (+ (exp x) 1)))
  (* (sqrt (+ (exp x) 1)) (+ (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/2
  (/ (cbrt (log1p (exp x))) 2)
  (/ (sqrt (log1p (exp x))) 2)
  (/ (log1p (exp x)) 2)
  (sqrt (sqrt (+ (exp x) 1)))
  (sqrt (sqrt (+ (exp x) 1)))
  (real->posit16 (sqrt (+ (exp x) 1)))
  (fma x (+ 1/2 (* x 1/8)) (log 2))
  (log1p (exp x))
  (log1p (exp x))
  (fma (/ x 2) x (+ x 2))
  (+ (exp x) 1)
  (+ (exp x) 1)
  (+ (fma 1/2 (/ x (sqrt 2)) (* (/ x (/ (sqrt 2) x)) (- 1/4 1/16))) (sqrt 2))
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
5.300 * * * [progress]: adding candidates to table
5.596 * * [progress]: iteration 3 / 4
5.596 * * * [progress]: picking best candidate
5.601 * * * * [pick]: Picked  #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))))>
5.601 * * * [progress]: localizing error
5.628 * * * [progress]: generating rewritten candidates
5.628 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
5.702 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1)
5.712 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
5.721 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
5.739 * * * [progress]: generating series expansions
5.739 * * * * [progress]: [ 1 / 4 ] generating series at (2)
5.740 * [backup-simplify]: Simplify (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))) into (sqrt (+ (exp x) 1))
5.740 * [approximate]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in (x) around 0
5.740 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x
5.740 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
5.740 * [taylor]: Taking taylor expansion of (exp x) in x
5.740 * [taylor]: Taking taylor expansion of x in x
5.740 * [backup-simplify]: Simplify 0 into 0
5.740 * [backup-simplify]: Simplify 1 into 1
5.740 * [backup-simplify]: Simplify (exp 0) into 1
5.740 * [taylor]: Taking taylor expansion of 1 in x
5.740 * [backup-simplify]: Simplify 1 into 1
5.741 * [backup-simplify]: Simplify (+ 1 1) into 2
5.741 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
5.742 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
5.742 * [backup-simplify]: Simplify (+ 1 0) into 1
5.744 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
5.744 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x
5.744 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
5.744 * [taylor]: Taking taylor expansion of (exp x) in x
5.744 * [taylor]: Taking taylor expansion of x in x
5.744 * [backup-simplify]: Simplify 0 into 0
5.744 * [backup-simplify]: Simplify 1 into 1
5.744 * [backup-simplify]: Simplify (exp 0) into 1
5.744 * [taylor]: Taking taylor expansion of 1 in x
5.744 * [backup-simplify]: Simplify 1 into 1
5.745 * [backup-simplify]: Simplify (+ 1 1) into 2
5.745 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
5.746 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
5.746 * [backup-simplify]: Simplify (+ 1 0) into 1
5.748 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
5.748 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
5.749 * [backup-simplify]: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2))
5.751 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
5.751 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
5.756 * [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)))
5.763 * [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)))
5.774 * [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))))
5.774 * [backup-simplify]: Simplify (* (sqrt (sqrt (+ 1 (exp (/ 1 x))))) (sqrt (sqrt (+ 1 (exp (/ 1 x)))))) into (sqrt (+ (exp (/ 1 x)) 1))
5.774 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in (x) around 0
5.774 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x
5.774 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
5.774 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.774 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.774 * [taylor]: Taking taylor expansion of x in x
5.774 * [backup-simplify]: Simplify 0 into 0
5.774 * [backup-simplify]: Simplify 1 into 1
5.775 * [backup-simplify]: Simplify (/ 1 1) into 1
5.775 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.775 * [taylor]: Taking taylor expansion of 1 in x
5.775 * [backup-simplify]: Simplify 1 into 1
5.775 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
5.775 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
5.775 * [backup-simplify]: Simplify (+ 0 0) into 0
5.775 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
5.775 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x
5.776 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
5.776 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.776 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.776 * [taylor]: Taking taylor expansion of x in x
5.776 * [backup-simplify]: Simplify 0 into 0
5.776 * [backup-simplify]: Simplify 1 into 1
5.776 * [backup-simplify]: Simplify (/ 1 1) into 1
5.776 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.776 * [taylor]: Taking taylor expansion of 1 in x
5.776 * [backup-simplify]: Simplify 1 into 1
5.776 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
5.776 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
5.777 * [backup-simplify]: Simplify (+ 0 0) into 0
5.777 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
5.777 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
5.777 * [backup-simplify]: Simplify 0 into 0
5.777 * [backup-simplify]: Simplify (+ 0 0) into 0
5.778 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
5.778 * [backup-simplify]: Simplify 0 into 0
5.779 * [backup-simplify]: Simplify (+ 0 0) into 0
5.779 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
5.779 * [backup-simplify]: Simplify 0 into 0
5.780 * [backup-simplify]: Simplify (+ 0 0) into 0
5.781 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
5.781 * [backup-simplify]: Simplify 0 into 0
5.781 * [backup-simplify]: Simplify (+ 0 0) into 0
5.782 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
5.782 * [backup-simplify]: Simplify 0 into 0
5.782 * [backup-simplify]: Simplify (+ 0 0) into 0
5.783 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
5.784 * [backup-simplify]: Simplify 0 into 0
5.784 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1))
5.784 * [backup-simplify]: Simplify (* (sqrt (sqrt (+ 1 (exp (/ 1 (- x)))))) (sqrt (sqrt (+ 1 (exp (/ 1 (- x))))))) into (sqrt (+ (exp (/ -1 x)) 1))
5.784 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in (x) around 0
5.784 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x
5.784 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
5.784 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.784 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.784 * [taylor]: Taking taylor expansion of -1 in x
5.784 * [backup-simplify]: Simplify -1 into -1
5.784 * [taylor]: Taking taylor expansion of x in x
5.784 * [backup-simplify]: Simplify 0 into 0
5.784 * [backup-simplify]: Simplify 1 into 1
5.785 * [backup-simplify]: Simplify (/ -1 1) into -1
5.785 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
5.785 * [taylor]: Taking taylor expansion of 1 in x
5.785 * [backup-simplify]: Simplify 1 into 1
5.785 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
5.785 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
5.785 * [backup-simplify]: Simplify (+ 0 0) into 0
5.785 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
5.785 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x
5.785 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
5.785 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.785 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.785 * [taylor]: Taking taylor expansion of -1 in x
5.785 * [backup-simplify]: Simplify -1 into -1
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 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
5.787 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
5.787 * [backup-simplify]: Simplify (+ 0 0) into 0
5.787 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
5.787 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
5.787 * [backup-simplify]: Simplify 0 into 0
5.788 * [backup-simplify]: Simplify (+ 0 0) into 0
5.788 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
5.788 * [backup-simplify]: Simplify 0 into 0
5.789 * [backup-simplify]: Simplify (+ 0 0) into 0
5.789 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
5.790 * [backup-simplify]: Simplify 0 into 0
5.790 * [backup-simplify]: Simplify (+ 0 0) into 0
5.791 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
5.791 * [backup-simplify]: Simplify 0 into 0
5.791 * [backup-simplify]: Simplify (+ 0 0) into 0
5.792 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
5.792 * [backup-simplify]: Simplify 0 into 0
5.793 * [backup-simplify]: Simplify (+ 0 0) into 0
5.794 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
5.794 * [backup-simplify]: Simplify 0 into 0
5.794 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1))
5.794 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1)
5.794 * [backup-simplify]: Simplify (+ 1 (exp x)) into (+ (exp x) 1)
5.794 * [approximate]: Taking taylor expansion of (+ (exp x) 1) in (x) around 0
5.794 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
5.794 * [taylor]: Taking taylor expansion of (exp x) in x
5.794 * [taylor]: Taking taylor expansion of x in x
5.794 * [backup-simplify]: Simplify 0 into 0
5.794 * [backup-simplify]: Simplify 1 into 1
5.794 * [backup-simplify]: Simplify (exp 0) into 1
5.794 * [taylor]: Taking taylor expansion of 1 in x
5.794 * [backup-simplify]: Simplify 1 into 1
5.794 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
5.794 * [taylor]: Taking taylor expansion of (exp x) in x
5.794 * [taylor]: Taking taylor expansion of x in x
5.794 * [backup-simplify]: Simplify 0 into 0
5.794 * [backup-simplify]: Simplify 1 into 1
5.794 * [backup-simplify]: Simplify (exp 0) into 1
5.794 * [taylor]: Taking taylor expansion of 1 in x
5.794 * [backup-simplify]: Simplify 1 into 1
5.795 * [backup-simplify]: Simplify (+ 1 1) into 2
5.795 * [backup-simplify]: Simplify 2 into 2
5.796 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
5.796 * [backup-simplify]: Simplify (+ 1 0) into 1
5.796 * [backup-simplify]: Simplify 1 into 1
5.798 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
5.798 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
5.798 * [backup-simplify]: Simplify 1/2 into 1/2
5.799 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ x (+ (* 1/2 (pow x 2)) 2))
5.799 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1)
5.799 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in (x) around 0
5.799 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
5.799 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.799 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.799 * [taylor]: Taking taylor expansion of x in x
5.799 * [backup-simplify]: Simplify 0 into 0
5.799 * [backup-simplify]: Simplify 1 into 1
5.800 * [backup-simplify]: Simplify (/ 1 1) into 1
5.800 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.800 * [taylor]: Taking taylor expansion of 1 in x
5.800 * [backup-simplify]: Simplify 1 into 1
5.800 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
5.800 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.800 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.800 * [taylor]: Taking taylor expansion of x in x
5.800 * [backup-simplify]: Simplify 0 into 0
5.800 * [backup-simplify]: Simplify 1 into 1
5.800 * [backup-simplify]: Simplify (/ 1 1) into 1
5.801 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.801 * [taylor]: Taking taylor expansion of 1 in x
5.801 * [backup-simplify]: Simplify 1 into 1
5.801 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
5.801 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
5.801 * [backup-simplify]: Simplify (+ 0 0) into 0
5.801 * [backup-simplify]: Simplify 0 into 0
5.802 * [backup-simplify]: Simplify (+ 0 0) into 0
5.802 * [backup-simplify]: Simplify 0 into 0
5.802 * [backup-simplify]: Simplify (+ 0 0) into 0
5.802 * [backup-simplify]: Simplify 0 into 0
5.802 * [backup-simplify]: Simplify (+ 0 0) into 0
5.802 * [backup-simplify]: Simplify 0 into 0
5.803 * [backup-simplify]: Simplify (+ 0 0) into 0
5.803 * [backup-simplify]: Simplify 0 into 0
5.803 * [backup-simplify]: Simplify (+ 0 0) into 0
5.803 * [backup-simplify]: Simplify 0 into 0
5.803 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1)
5.803 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 (- x)))) into (+ (exp (/ -1 x)) 1)
5.803 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in (x) around 0
5.803 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
5.803 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.803 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.803 * [taylor]: Taking taylor expansion of -1 in x
5.803 * [backup-simplify]: Simplify -1 into -1
5.803 * [taylor]: Taking taylor expansion of x in x
5.803 * [backup-simplify]: Simplify 0 into 0
5.803 * [backup-simplify]: Simplify 1 into 1
5.804 * [backup-simplify]: Simplify (/ -1 1) into -1
5.804 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
5.804 * [taylor]: Taking taylor expansion of 1 in x
5.804 * [backup-simplify]: Simplify 1 into 1
5.804 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
5.804 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.804 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.804 * [taylor]: Taking taylor expansion of -1 in x
5.804 * [backup-simplify]: Simplify -1 into -1
5.804 * [taylor]: Taking taylor expansion of x in x
5.804 * [backup-simplify]: Simplify 0 into 0
5.804 * [backup-simplify]: Simplify 1 into 1
5.804 * [backup-simplify]: Simplify (/ -1 1) into -1
5.804 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
5.804 * [taylor]: Taking taylor expansion of 1 in x
5.804 * [backup-simplify]: Simplify 1 into 1
5.804 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
5.804 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
5.805 * [backup-simplify]: Simplify (+ 0 0) into 0
5.805 * [backup-simplify]: Simplify 0 into 0
5.805 * [backup-simplify]: Simplify (+ 0 0) into 0
5.805 * [backup-simplify]: Simplify 0 into 0
5.805 * [backup-simplify]: Simplify (+ 0 0) into 0
5.805 * [backup-simplify]: Simplify 0 into 0
5.806 * [backup-simplify]: Simplify (+ 0 0) into 0
5.806 * [backup-simplify]: Simplify 0 into 0
5.806 * [backup-simplify]: Simplify (+ 0 0) into 0
5.806 * [backup-simplify]: Simplify 0 into 0
5.806 * [backup-simplify]: Simplify (+ 0 0) into 0
5.806 * [backup-simplify]: Simplify 0 into 0
5.806 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1)
5.806 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
5.806 * [backup-simplify]: Simplify (+ 1 (exp x)) into (+ (exp x) 1)
5.806 * [approximate]: Taking taylor expansion of (+ (exp x) 1) in (x) around 0
5.806 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
5.806 * [taylor]: Taking taylor expansion of (exp x) in x
5.806 * [taylor]: Taking taylor expansion of x in x
5.806 * [backup-simplify]: Simplify 0 into 0
5.806 * [backup-simplify]: Simplify 1 into 1
5.807 * [backup-simplify]: Simplify (exp 0) into 1
5.807 * [taylor]: Taking taylor expansion of 1 in x
5.807 * [backup-simplify]: Simplify 1 into 1
5.807 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
5.807 * [taylor]: Taking taylor expansion of (exp x) in x
5.807 * [taylor]: Taking taylor expansion of x in x
5.807 * [backup-simplify]: Simplify 0 into 0
5.807 * [backup-simplify]: Simplify 1 into 1
5.807 * [backup-simplify]: Simplify (exp 0) into 1
5.807 * [taylor]: Taking taylor expansion of 1 in x
5.807 * [backup-simplify]: Simplify 1 into 1
5.807 * [backup-simplify]: Simplify (+ 1 1) into 2
5.807 * [backup-simplify]: Simplify 2 into 2
5.808 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
5.808 * [backup-simplify]: Simplify (+ 1 0) into 1
5.808 * [backup-simplify]: Simplify 1 into 1
5.809 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
5.809 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
5.809 * [backup-simplify]: Simplify 1/2 into 1/2
5.809 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ x (+ (* 1/2 (pow x 2)) 2))
5.809 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1)
5.809 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in (x) around 0
5.809 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
5.810 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.810 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.810 * [taylor]: Taking taylor expansion of x in x
5.810 * [backup-simplify]: Simplify 0 into 0
5.810 * [backup-simplify]: Simplify 1 into 1
5.810 * [backup-simplify]: Simplify (/ 1 1) into 1
5.810 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.810 * [taylor]: Taking taylor expansion of 1 in x
5.810 * [backup-simplify]: Simplify 1 into 1
5.810 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
5.810 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.810 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.810 * [taylor]: Taking taylor expansion of x in x
5.810 * [backup-simplify]: Simplify 0 into 0
5.810 * [backup-simplify]: Simplify 1 into 1
5.810 * [backup-simplify]: Simplify (/ 1 1) into 1
5.810 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.810 * [taylor]: Taking taylor expansion of 1 in x
5.810 * [backup-simplify]: Simplify 1 into 1
5.810 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
5.810 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
5.811 * [backup-simplify]: Simplify (+ 0 0) into 0
5.811 * [backup-simplify]: Simplify 0 into 0
5.811 * [backup-simplify]: Simplify (+ 0 0) into 0
5.811 * [backup-simplify]: Simplify 0 into 0
5.811 * [backup-simplify]: Simplify (+ 0 0) into 0
5.811 * [backup-simplify]: Simplify 0 into 0
5.812 * [backup-simplify]: Simplify (+ 0 0) into 0
5.812 * [backup-simplify]: Simplify 0 into 0
5.812 * [backup-simplify]: Simplify (+ 0 0) into 0
5.812 * [backup-simplify]: Simplify 0 into 0
5.812 * [backup-simplify]: Simplify (+ 0 0) into 0
5.812 * [backup-simplify]: Simplify 0 into 0
5.812 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) 1) into (+ (exp x) 1)
5.812 * [backup-simplify]: Simplify (+ 1 (exp (/ 1 (- x)))) into (+ (exp (/ -1 x)) 1)
5.812 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in (x) around 0
5.812 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
5.812 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.812 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.812 * [taylor]: Taking taylor expansion of -1 in x
5.812 * [backup-simplify]: Simplify -1 into -1
5.812 * [taylor]: Taking taylor expansion of x in x
5.812 * [backup-simplify]: Simplify 0 into 0
5.813 * [backup-simplify]: Simplify 1 into 1
5.813 * [backup-simplify]: Simplify (/ -1 1) into -1
5.813 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
5.813 * [taylor]: Taking taylor expansion of 1 in x
5.813 * [backup-simplify]: Simplify 1 into 1
5.813 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
5.813 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.813 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.813 * [taylor]: Taking taylor expansion of -1 in x
5.813 * [backup-simplify]: Simplify -1 into -1
5.813 * [taylor]: Taking taylor expansion of x in x
5.813 * [backup-simplify]: Simplify 0 into 0
5.813 * [backup-simplify]: Simplify 1 into 1
5.813 * [backup-simplify]: Simplify (/ -1 1) into -1
5.813 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
5.813 * [taylor]: Taking taylor expansion of 1 in x
5.813 * [backup-simplify]: Simplify 1 into 1
5.813 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
5.814 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
5.814 * [backup-simplify]: Simplify (+ 0 0) into 0
5.814 * [backup-simplify]: Simplify 0 into 0
5.814 * [backup-simplify]: Simplify (+ 0 0) into 0
5.814 * [backup-simplify]: Simplify 0 into 0
5.814 * [backup-simplify]: Simplify (+ 0 0) into 0
5.814 * [backup-simplify]: Simplify 0 into 0
5.815 * [backup-simplify]: Simplify (+ 0 0) into 0
5.815 * [backup-simplify]: Simplify 0 into 0
5.815 * [backup-simplify]: Simplify (+ 0 0) into 0
5.815 * [backup-simplify]: Simplify 0 into 0
5.815 * [backup-simplify]: Simplify (+ 0 0) into 0
5.815 * [backup-simplify]: Simplify 0 into 0
5.815 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- x)))) 1) into (+ (exp x) 1)
5.815 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
5.815 * [backup-simplify]: Simplify (sqrt (+ 1 (exp x))) into (sqrt (+ (exp x) 1))
5.815 * [approximate]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in (x) around 0
5.815 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x
5.815 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
5.815 * [taylor]: Taking taylor expansion of (exp x) in x
5.815 * [taylor]: Taking taylor expansion of x in x
5.815 * [backup-simplify]: Simplify 0 into 0
5.816 * [backup-simplify]: Simplify 1 into 1
5.816 * [backup-simplify]: Simplify (exp 0) into 1
5.816 * [taylor]: Taking taylor expansion of 1 in x
5.816 * [backup-simplify]: Simplify 1 into 1
5.816 * [backup-simplify]: Simplify (+ 1 1) into 2
5.816 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
5.817 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
5.818 * [backup-simplify]: Simplify (+ 1 0) into 1
5.819 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
5.819 * [taylor]: Taking taylor expansion of (sqrt (+ (exp x) 1)) in x
5.819 * [taylor]: Taking taylor expansion of (+ (exp x) 1) in x
5.819 * [taylor]: Taking taylor expansion of (exp x) in x
5.819 * [taylor]: Taking taylor expansion of x in x
5.819 * [backup-simplify]: Simplify 0 into 0
5.819 * [backup-simplify]: Simplify 1 into 1
5.819 * [backup-simplify]: Simplify (exp 0) into 1
5.819 * [taylor]: Taking taylor expansion of 1 in x
5.819 * [backup-simplify]: Simplify 1 into 1
5.819 * [backup-simplify]: Simplify (+ 1 1) into 2
5.820 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
5.820 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
5.821 * [backup-simplify]: Simplify (+ 1 0) into 1
5.822 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 2))) into (/ 1/2 (sqrt 2))
5.822 * [backup-simplify]: Simplify (sqrt 2) into (sqrt 2)
5.823 * [backup-simplify]: Simplify (/ 1/2 (sqrt 2)) into (/ 1/2 (sqrt 2))
5.824 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
5.824 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
5.827 * [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)))
5.831 * [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)))
5.835 * [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))))
5.835 * [backup-simplify]: Simplify (sqrt (+ 1 (exp (/ 1 x)))) into (sqrt (+ (exp (/ 1 x)) 1))
5.835 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in (x) around 0
5.835 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x
5.835 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
5.835 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.835 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.835 * [taylor]: Taking taylor expansion of x in x
5.835 * [backup-simplify]: Simplify 0 into 0
5.835 * [backup-simplify]: Simplify 1 into 1
5.836 * [backup-simplify]: Simplify (/ 1 1) into 1
5.836 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.836 * [taylor]: Taking taylor expansion of 1 in x
5.836 * [backup-simplify]: Simplify 1 into 1
5.836 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
5.836 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
5.836 * [backup-simplify]: Simplify (+ 0 0) into 0
5.836 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
5.836 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ 1 x)) 1)) in x
5.836 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1) in x
5.836 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.837 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.837 * [taylor]: Taking taylor expansion of x in x
5.837 * [backup-simplify]: Simplify 0 into 0
5.837 * [backup-simplify]: Simplify 1 into 1
5.837 * [backup-simplify]: Simplify (/ 1 1) into 1
5.837 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.837 * [taylor]: Taking taylor expansion of 1 in x
5.837 * [backup-simplify]: Simplify 1 into 1
5.837 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1) into (+ (exp (/ 1 x)) 1)
5.837 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
5.837 * [backup-simplify]: Simplify (+ 0 0) into 0
5.837 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
5.837 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 x)) 1)) into (sqrt (+ (exp (/ 1 x)) 1))
5.838 * [backup-simplify]: Simplify 0 into 0
5.838 * [backup-simplify]: Simplify (+ 0 0) into 0
5.838 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
5.838 * [backup-simplify]: Simplify 0 into 0
5.839 * [backup-simplify]: Simplify (+ 0 0) into 0
5.839 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
5.839 * [backup-simplify]: Simplify 0 into 0
5.839 * [backup-simplify]: Simplify (+ 0 0) into 0
5.840 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
5.840 * [backup-simplify]: Simplify 0 into 0
5.840 * [backup-simplify]: Simplify (+ 0 0) into 0
5.841 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
5.841 * [backup-simplify]: Simplify 0 into 0
5.841 * [backup-simplify]: Simplify (+ 0 0) into 0
5.842 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ 1 x)) 1)))) into 0
5.842 * [backup-simplify]: Simplify 0 into 0
5.842 * [backup-simplify]: Simplify (sqrt (+ (exp (/ 1 (/ 1 x))) 1)) into (sqrt (+ (exp x) 1))
5.842 * [backup-simplify]: Simplify (sqrt (+ 1 (exp (/ 1 (- x))))) into (sqrt (+ (exp (/ -1 x)) 1))
5.842 * [approximate]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in (x) around 0
5.842 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x
5.842 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
5.842 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.842 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.842 * [taylor]: Taking taylor expansion of -1 in x
5.842 * [backup-simplify]: Simplify -1 into -1
5.842 * [taylor]: Taking taylor expansion of x in x
5.842 * [backup-simplify]: Simplify 0 into 0
5.842 * [backup-simplify]: Simplify 1 into 1
5.842 * [backup-simplify]: Simplify (/ -1 1) into -1
5.842 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
5.842 * [taylor]: Taking taylor expansion of 1 in x
5.842 * [backup-simplify]: Simplify 1 into 1
5.842 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
5.842 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
5.843 * [backup-simplify]: Simplify (+ 0 0) into 0
5.843 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
5.843 * [taylor]: Taking taylor expansion of (sqrt (+ (exp (/ -1 x)) 1)) in x
5.843 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1) in x
5.843 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.843 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.843 * [taylor]: Taking taylor expansion of -1 in x
5.843 * [backup-simplify]: Simplify -1 into -1
5.843 * [taylor]: Taking taylor expansion of x in x
5.843 * [backup-simplify]: Simplify 0 into 0
5.843 * [backup-simplify]: Simplify 1 into 1
5.843 * [backup-simplify]: Simplify (/ -1 1) into -1
5.843 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
5.843 * [taylor]: Taking taylor expansion of 1 in x
5.843 * [backup-simplify]: Simplify 1 into 1
5.843 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1) into (+ (exp (/ -1 x)) 1)
5.843 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
5.844 * [backup-simplify]: Simplify (+ 0 0) into 0
5.844 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
5.844 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 x)) 1)) into (sqrt (+ (exp (/ -1 x)) 1))
5.844 * [backup-simplify]: Simplify 0 into 0
5.844 * [backup-simplify]: Simplify (+ 0 0) into 0
5.845 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
5.845 * [backup-simplify]: Simplify 0 into 0
5.845 * [backup-simplify]: Simplify (+ 0 0) into 0
5.845 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
5.845 * [backup-simplify]: Simplify 0 into 0
5.846 * [backup-simplify]: Simplify (+ 0 0) into 0
5.846 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
5.846 * [backup-simplify]: Simplify 0 into 0
5.847 * [backup-simplify]: Simplify (+ 0 0) into 0
5.847 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
5.847 * [backup-simplify]: Simplify 0 into 0
5.847 * [backup-simplify]: Simplify (+ 0 0) into 0
5.848 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt (+ (exp (/ -1 x)) 1)))) into 0
5.848 * [backup-simplify]: Simplify 0 into 0
5.848 * [backup-simplify]: Simplify (sqrt (+ (exp (/ -1 (/ 1 (- x)))) 1)) into (sqrt (+ (exp x) 1))
5.848 * * * [progress]: simplifying candidates
5.848 * * * * [progress]: [ 1 / 161 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))))))>
5.848 * * * * [progress]: [ 2 / 161 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))))))>
5.848 * * * * [progress]: [ 3 / 161 ] simplifiying candidate #<alt (λ (x) (pow (sqrt (+ 1 (exp x))) (+ 1/2 1/2)))>
5.848 * * * * [progress]: [ 4 / 161 ] simplifiying candidate #<alt (λ (x) (pow (sqrt (+ 1 (exp x))) (+ 1/2 (/ 1 2))))>
5.848 * * * * [progress]: [ 5 / 161 ] simplifiying candidate #<alt (λ (x) (pow (sqrt (sqrt (+ 1 (exp x)))) (+ 1 1)))>
5.848 * * * * [progress]: [ 6 / 161 ] simplifiying candidate #<alt (λ (x) (pow (+ 1 (exp x)) (+ (/ 1/2 2) (/ 1/2 2))))>
5.848 * * * * [progress]: [ 7 / 161 ] simplifiying candidate #<alt (λ (x) (pow (+ 1 (exp x)) (+ (/ 1/2 2) (/ (/ 1 2) 2))))>
5.848 * * * * [progress]: [ 8 / 161 ] simplifiying candidate #<alt (λ (x) (pow (sqrt (+ 1 (exp x))) (+ (/ 1 2) 1/2)))>
5.848 * * * * [progress]: [ 9 / 161 ] simplifiying candidate #<alt (λ (x) (pow (sqrt (+ 1 (exp x))) (+ (/ 1 2) (/ 1 2))))>
5.849 * * * * [progress]: [ 10 / 161 ] simplifiying candidate #<alt (λ (x) (pow (+ 1 (exp x)) (+ (/ (/ 1 2) 2) (/ 1/2 2))))>
5.849 * * * * [progress]: [ 11 / 161 ] simplifiying candidate #<alt (λ (x) (pow (+ 1 (exp x)) (+ (/ (/ 1 2) 2) (/ (/ 1 2) 2))))>
5.849 * * * * [progress]: [ 12 / 161 ] simplifiying candidate #<alt (λ (x) (pow (* (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x)))) 1/2))>
5.849 * * * * [progress]: [ 13 / 161 ] simplifiying candidate #<alt (λ (x) (pow (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))) 1))>
5.849 * * * * [progress]: [ 14 / 161 ] simplifiying candidate #<alt (λ (x) (pow (* (+ 1 (exp x)) (+ 1 (exp x))) (/ 1/2 2)))>
5.849 * * * * [progress]: [ 15 / 161 ] simplifiying candidate #<alt (λ (x) (pow (* (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x)))) (/ 1 2)))>
5.849 * * * * [progress]: [ 16 / 161 ] simplifiying candidate #<alt (λ (x) (pow (* (+ 1 (exp x)) (+ 1 (exp x))) (/ (/ 1 2) 2)))>
5.849 * * * * [progress]: [ 17 / 161 ] simplifiying candidate #<alt (λ (x) (pow (sqrt (sqrt (+ 1 (exp x)))) 2))>
5.849 * * * * [progress]: [ 18 / 161 ] simplifiying candidate #<alt (λ (x) (pow (sqrt (sqrt (+ 1 (exp x)))) (+ 1 1)))>
5.849 * * * * [progress]: [ 19 / 161 ] simplifiying candidate #<alt (λ (x) (pow (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))) 1))>
5.849 * * * * [progress]: [ 20 / 161 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (sqrt (sqrt (+ 1 (exp x))))) (log (sqrt (sqrt (+ 1 (exp x))))))))>
5.849 * * * * [progress]: [ 21 / 161 ] simplifiying candidate #<alt (λ (x) (exp (log (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))))))>
5.849 * * * * [progress]: [ 22 / 161 ] simplifiying candidate #<alt (λ (x) (log (exp (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))))))>
5.849 * * * * [progress]: [ 23 / 161 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (+ 1 (exp x))))) (* (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (+ 1 (exp x))))))))>
5.849 * * * * [progress]: [ 24 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))))) (cbrt (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))))) (cbrt (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))))))>
5.849 * * * * [progress]: [ 25 / 161 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))))) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))))))>
5.849 * * * * [progress]: [ 26 / 161 ] simplifiying candidate #<alt (λ (x) (sqrt (* (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x))))))>
5.849 * * * * [progress]: [ 27 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))))) (sqrt (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))))))>
5.849 * * * * [progress]: [ 28 / 161 ] simplifiying candidate #<alt (λ (x) (sqrt (+ 1 (exp x))))>
5.849 * * * * [progress]: [ 29 / 161 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (sqrt (+ (pow 1 3) (pow (exp x) 3)))) (sqrt (sqrt (+ (pow 1 3) (pow (exp x) 3))))) (* (sqrt (sqrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))) (sqrt (sqrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))))))>
5.849 * * * * [progress]: [ 30 / 161 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (sqrt (+ (pow 1 3) (pow (exp x) 3)))) (sqrt (sqrt (- (* 1 1) (* (exp x) (exp x)))))) (* (sqrt (sqrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))) (sqrt (sqrt (- 1 (exp x)))))))>
5.849 * * * * [progress]: [ 31 / 161 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (sqrt (- (* 1 1) (* (exp x) (exp x))))) (sqrt (sqrt (+ (pow 1 3) (pow (exp x) 3))))) (* (sqrt (sqrt (- 1 (exp x)))) (sqrt (sqrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))))))>
5.849 * * * * [progress]: [ 32 / 161 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (sqrt (- (* 1 1) (* (exp x) (exp x))))) (sqrt (sqrt (- (* 1 1) (* (exp x) (exp x)))))) (* (sqrt (sqrt (- 1 (exp x)))) (sqrt (sqrt (- 1 (exp x)))))))>
5.849 * * * * [progress]: [ 33 / 161 ] simplifiying candidate #<alt (λ (x) (* 1 (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))))))>
5.849 * * * * [progress]: [ 34 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (* (cbrt (sqrt (sqrt (+ 1 (exp x))))) (cbrt (sqrt (sqrt (+ 1 (exp x)))))) (* (cbrt (sqrt (sqrt (+ 1 (exp x))))) (cbrt (sqrt (sqrt (+ 1 (exp x))))))) (* (cbrt (sqrt (sqrt (+ 1 (exp x))))) (cbrt (sqrt (sqrt (+ 1 (exp x))))))))>
5.849 * * * * [progress]: [ 35 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (* (cbrt (sqrt (+ 1 (exp x)))) (cbrt (sqrt (+ 1 (exp x)))))) (sqrt (* (cbrt (sqrt (+ 1 (exp x)))) (cbrt (sqrt (+ 1 (exp x))))))) (* (sqrt (cbrt (sqrt (+ 1 (exp x))))) (sqrt (cbrt (sqrt (+ 1 (exp x))))))))>
5.850 * * * * [progress]: [ 36 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x)))))) (sqrt (sqrt (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x))))))) (* (sqrt (sqrt (cbrt (+ 1 (exp x))))) (sqrt (sqrt (cbrt (+ 1 (exp x))))))))>
5.850 * * * * [progress]: [ 37 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x)))))) (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))))>
5.850 * * * * [progress]: [ 38 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x)))))) (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))))>
5.850 * * * * [progress]: [ 39 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x)))))) (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))))>
5.850 * * * * [progress]: [ 40 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt 1)) (sqrt (sqrt 1))) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))))))>
5.850 * * * * [progress]: [ 41 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt 1)) (sqrt (sqrt 1))) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))))))>
5.850 * * * * [progress]: [ 42 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt 1)) (sqrt (sqrt 1))) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))))))>
5.850 * * * * [progress]: [ 43 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt 1)) (sqrt (sqrt 1))) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))))))>
5.850 * * * * [progress]: [ 44 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x)))))) (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))))>
5.850 * * * * [progress]: [ 45 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x)))))) (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))))>
5.850 * * * * [progress]: [ 46 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x)))))) (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))))>
5.850 * * * * [progress]: [ 47 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt 1) (sqrt 1)) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))))))>
5.850 * * * * [progress]: [ 48 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x)))))) (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))))>
5.850 * * * * [progress]: [ 49 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x)))))) (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))))>
5.851 * * * * [progress]: [ 50 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x)))))) (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))))>
5.851 * * * * [progress]: [ 51 / 161 ] simplifiying candidate #<alt (λ (x) (* (* 1 1) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))))))>
5.851 * * * * [progress]: [ 52 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x)))))) (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))))>
5.851 * * * * [progress]: [ 53 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x)))))) (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))))>
5.851 * * * * [progress]: [ 54 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x)))))) (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))))>
5.851 * * * * [progress]: [ 55 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x)))))) (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))))>
5.851 * * * * [progress]: [ 56 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x)))))) (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))))>
5.851 * * * * [progress]: [ 57 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x)))))) (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))))>
5.851 * * * * [progress]: [ 58 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x)))))) (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))))>
5.851 * * * * [progress]: [ 59 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x)))))) (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))))>
5.851 * * * * [progress]: [ 60 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x)))))) (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))))>
5.851 * * * * [progress]: [ 61 / 161 ] simplifiying candidate #<alt (λ (x) (pow (sqrt (+ 1 (exp x))) (* 2 1/2)))>
5.851 * * * * [progress]: [ 62 / 161 ] simplifiying candidate #<alt (λ (x) (pow (sqrt (sqrt (+ 1 (exp x)))) (* 2 1)))>
5.851 * * * * [progress]: [ 63 / 161 ] simplifiying candidate #<alt (λ (x) (pow (+ 1 (exp x)) (* 2 (/ 1/2 2))))>
5.851 * * * * [progress]: [ 64 / 161 ] simplifiying candidate #<alt (λ (x) (pow (sqrt (+ 1 (exp x))) (* 2 (/ 1 2))))>
5.851 * * * * [progress]: [ 65 / 161 ] simplifiying candidate #<alt (λ (x) (pow (+ 1 (exp x)) (* 2 (/ (/ 1 2) 2))))>
5.852 * * * * [progress]: [ 66 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (+ 1 (exp x)))) (* (cbrt (sqrt (sqrt (+ 1 (exp x))))) (cbrt (sqrt (sqrt (+ 1 (exp x))))))) (cbrt (sqrt (sqrt (+ 1 (exp x)))))))>
5.852 * * * * [progress]: [ 67 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (* (cbrt (sqrt (+ 1 (exp x)))) (cbrt (sqrt (+ 1 (exp x))))))) (sqrt (cbrt (sqrt (+ 1 (exp x)))))))>
5.852 * * * * [progress]: [ 68 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x))))))) (sqrt (sqrt (cbrt (+ 1 (exp x)))))))>
5.852 * * * * [progress]: [ 69 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (sqrt (+ 1 (exp x)))))) (sqrt (sqrt (sqrt (+ 1 (exp x)))))))>
5.852 * * * * [progress]: [ 70 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt 1))) (sqrt (sqrt (+ 1 (exp x))))))>
5.852 * * * * [progress]: [ 71 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt 1))) (sqrt (sqrt (+ 1 (exp x))))))>
5.852 * * * * [progress]: [ 72 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (sqrt (+ 1 (exp x)))))) (sqrt (sqrt (sqrt (+ 1 (exp x)))))))>
5.852 * * * * [progress]: [ 73 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt 1)) (sqrt (sqrt (+ 1 (exp x))))))>
5.852 * * * * [progress]: [ 74 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (sqrt (+ 1 (exp x)))))) (sqrt (sqrt (sqrt (+ 1 (exp x)))))))>
5.852 * * * * [progress]: [ 75 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (sqrt (+ 1 (exp x)))) 1) (sqrt (sqrt (+ 1 (exp x))))))>
5.852 * * * * [progress]: [ 76 / 161 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (sqrt (sqrt (+ 1 (exp x))))) (cbrt (sqrt (sqrt (+ 1 (exp x)))))) (* (cbrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (+ 1 (exp x)))))))>
5.852 * * * * [progress]: [ 77 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (cbrt (sqrt (+ 1 (exp x)))) (cbrt (sqrt (+ 1 (exp x)))))) (* (sqrt (cbrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (+ 1 (exp x)))))))>
5.852 * * * * [progress]: [ 78 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x)))))) (* (sqrt (sqrt (cbrt (+ 1 (exp x))))) (sqrt (sqrt (+ 1 (exp x)))))))>
5.852 * * * * [progress]: [ 79 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (+ 1 (exp x)))))))>
5.852 * * * * [progress]: [ 80 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt 1)) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))))))>
5.852 * * * * [progress]: [ 81 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt 1)) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))))))>
5.852 * * * * [progress]: [ 82 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (+ 1 (exp x)))))))>
5.853 * * * * [progress]: [ 83 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))))))>
5.853 * * * * [progress]: [ 84 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (+ 1 (exp x)))))))>
5.853 * * * * [progress]: [ 85 / 161 ] simplifiying candidate #<alt (λ (x) (* 1 (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))))))>
5.853 * * * * [progress]: [ 86 / 161 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ (pow 1 3) (pow (exp x) 3))))) (sqrt (sqrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))))))>
5.853 * * * * [progress]: [ 87 / 161 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (- (* 1 1) (* (exp x) (exp x)))))) (sqrt (sqrt (- 1 (exp x))))))>
5.853 * * * * [progress]: [ 88 / 161 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (sqrt (+ (pow 1 3) (pow (exp x) 3)))) (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))))))>
5.853 * * * * [progress]: [ 89 / 161 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (sqrt (- (* 1 1) (* (exp x) (exp x))))) (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (- 1 (exp x))))))>
5.853 * * * * [progress]: [ 90 / 161 ] simplifiying candidate #<alt (λ (x) (posit16->real (real->posit16 (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))))))>
5.853 * * * * [progress]: [ 91 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))))>
5.853 * * * * [progress]: [ 92 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (log1p (expm1 (+ 1 (exp x))))))))>
5.853 * * * * [progress]: [ 93 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (expm1 (log1p (+ 1 (exp x))))))))>
5.853 * * * * [progress]: [ 94 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (exp x))))))>
5.853 * * * * [progress]: [ 95 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (fma (sqrt 1) (sqrt 1) (exp x))))))>
5.853 * * * * [progress]: [ 96 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (fma 1 1 (exp x))))))>
5.853 * * * * [progress]: [ 97 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (log (* (exp 1) (exp (exp x))))))))>
5.854 * * * * [progress]: [ 98 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (pow (+ 1 (exp x)) 1)))))>
5.854 * * * * [progress]: [ 99 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (exp (log (+ 1 (exp x))))))))>
5.854 * * * * [progress]: [ 100 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (log (exp (+ 1 (exp x))))))))>
5.854 * * * * [progress]: [ 101 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (* (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x)))) (cbrt (+ 1 (exp x))))))))>
5.854 * * * * [progress]: [ 102 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x))))))))>
5.854 * * * * [progress]: [ 103 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (* (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x))))))))>
5.854 * * * * [progress]: [ 104 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (/ (+ (pow 1 3) (pow (exp x) 3)) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))))))>
5.854 * * * * [progress]: [ 105 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (* 1 (+ 1 (exp x)))))))>
5.854 * * * * [progress]: [ 106 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (/ (- (* 1 1) (* (exp x) (exp x))) (- 1 (exp x)))))))>
5.854 * * * * [progress]: [ 107 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (* 1 (+ 1 (exp x)))))))>
5.854 * * * * [progress]: [ 108 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (posit16->real (real->posit16 (+ 1 (exp x))))))))>
5.854 * * * * [progress]: [ 109 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ (exp x) 1)))))>
5.854 * * * * [progress]: [ 110 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (log1p (expm1 (+ 1 (exp x)))))) (sqrt (sqrt (+ 1 (exp x))))))>
5.854 * * * * [progress]: [ 111 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (expm1 (log1p (+ 1 (exp x)))))) (sqrt (sqrt (+ 1 (exp x))))))>
5.854 * * * * [progress]: [ 112 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (fma (* (cbrt 1) (cbrt 1)) (cbrt 1) (exp x)))) (sqrt (sqrt (+ 1 (exp x))))))>
5.854 * * * * [progress]: [ 113 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (fma (sqrt 1) (sqrt 1) (exp x)))) (sqrt (sqrt (+ 1 (exp x))))))>
5.855 * * * * [progress]: [ 114 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (fma 1 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))))>
5.855 * * * * [progress]: [ 115 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (log (* (exp 1) (exp (exp x)))))) (sqrt (sqrt (+ 1 (exp x))))))>
5.855 * * * * [progress]: [ 116 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (pow (+ 1 (exp x)) 1))) (sqrt (sqrt (+ 1 (exp x))))))>
5.855 * * * * [progress]: [ 117 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (exp (log (+ 1 (exp x)))))) (sqrt (sqrt (+ 1 (exp x))))))>
5.855 * * * * [progress]: [ 118 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (log (exp (+ 1 (exp x)))))) (sqrt (sqrt (+ 1 (exp x))))))>
5.855 * * * * [progress]: [ 119 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (* (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x)))) (cbrt (+ 1 (exp x)))))) (sqrt (sqrt (+ 1 (exp x))))))>
5.855 * * * * [progress]: [ 120 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x)))))) (sqrt (sqrt (+ 1 (exp x))))))>
5.855 * * * * [progress]: [ 121 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (* (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x)))))) (sqrt (sqrt (+ 1 (exp x))))))>
5.855 * * * * [progress]: [ 122 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (/ (+ (pow 1 3) (pow (exp x) 3)) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))))) (sqrt (sqrt (+ 1 (exp x))))))>
5.855 * * * * [progress]: [ 123 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (* 1 (+ 1 (exp x))))) (sqrt (sqrt (+ 1 (exp x))))))>
5.855 * * * * [progress]: [ 124 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (/ (- (* 1 1) (* (exp x) (exp x))) (- 1 (exp x))))) (sqrt (sqrt (+ 1 (exp x))))))>
5.855 * * * * [progress]: [ 125 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (* 1 (+ 1 (exp x))))) (sqrt (sqrt (+ 1 (exp x))))))>
5.855 * * * * [progress]: [ 126 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (posit16->real (real->posit16 (+ 1 (exp x)))))) (sqrt (sqrt (+ 1 (exp x))))))>
5.855 * * * * [progress]: [ 127 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ 1 (exp x))))))>
5.855 * * * * [progress]: [ 128 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (log1p (expm1 (sqrt (+ 1 (exp x))))))))>
5.855 * * * * [progress]: [ 129 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (expm1 (log1p (sqrt (+ 1 (exp x))))))))>
5.856 * * * * [progress]: [ 130 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (hypot (sqrt 1) (sqrt (exp x))))))>
5.856 * * * * [progress]: [ 131 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (hypot 1 (sqrt (exp x))))))>
5.856 * * * * [progress]: [ 132 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (hypot 1 (sqrt (exp x))))))>
5.856 * * * * [progress]: [ 133 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (pow (+ 1 (exp x)) 1/2))))>
5.856 * * * * [progress]: [ 134 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (pow (sqrt (+ 1 (exp x))) 1))))>
5.856 * * * * [progress]: [ 135 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (exp (log (sqrt (+ 1 (exp x))))))))>
5.856 * * * * [progress]: [ 136 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (log (exp (sqrt (+ 1 (exp x))))))))>
5.856 * * * * [progress]: [ 137 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (* (* (cbrt (sqrt (+ 1 (exp x)))) (cbrt (sqrt (+ 1 (exp x))))) (cbrt (sqrt (+ 1 (exp x))))))))>
5.856 * * * * [progress]: [ 138 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (cbrt (* (* (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x)))) (sqrt (+ 1 (exp x))))))))>
5.856 * * * * [progress]: [ 139 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (* (sqrt (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x))))) (sqrt (cbrt (+ 1 (exp x))))))))>
5.856 * * * * [progress]: [ 140 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))))))>
5.856 * * * * [progress]: [ 141 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (* (sqrt 1) (sqrt (+ 1 (exp x)))))))>
5.856 * * * * [progress]: [ 142 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (* (sqrt 1) (sqrt (+ 1 (exp x)))))))>
5.856 * * * * [progress]: [ 143 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (/ (sqrt (+ (pow 1 3) (pow (exp x) 3))) (sqrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))))))>
5.856 * * * * [progress]: [ 144 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (/ (sqrt (- (* 1 1) (* (exp x) (exp x)))) (sqrt (- 1 (exp x)))))))>
5.856 * * * * [progress]: [ 145 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (pow (+ 1 (exp x)) (/ 1 2)))))>
5.857 * * * * [progress]: [ 146 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))))))>
5.857 * * * * [progress]: [ 147 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (fabs (sqrt (+ 1 (exp x)))))))>
5.857 * * * * [progress]: [ 148 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (* 1 (sqrt (+ 1 (exp x)))))))>
5.857 * * * * [progress]: [ 149 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (posit16->real (real->posit16 (sqrt (+ 1 (exp x))))))))>
5.857 * * * * [progress]: [ 150 / 161 ] 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)))))>
5.857 * * * * [progress]: [ 151 / 161 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
5.857 * * * * [progress]: [ 152 / 161 ] simplifiying candidate #<alt (λ (x) (sqrt (+ (exp x) 1)))>
5.857 * * * * [progress]: [ 153 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ x (+ (* 1/2 (pow x 2)) 2))))))>
5.857 * * * * [progress]: [ 154 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ (exp x) 1)))))>
5.857 * * * * [progress]: [ 155 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ (exp x) 1)))))>
5.857 * * * * [progress]: [ 156 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ x (+ (* 1/2 (pow x 2)) 2)))) (sqrt (sqrt (+ 1 (exp x))))))>
5.857 * * * * [progress]: [ 157 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ 1 (exp x))))))>
5.857 * * * * [progress]: [ 158 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ (exp x) 1))) (sqrt (sqrt (+ 1 (exp x))))))>
5.857 * * * * [progress]: [ 159 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3)))))))>
5.857 * * * * [progress]: [ 160 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ (exp x) 1)))))>
5.857 * * * * [progress]: [ 161 / 161 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ (exp x) 1)))))>
5.860 * [simplify]: Simplifying:
  (expm1 (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))))
  (log1p (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))))
  (+ 1/2 1/2)
  (+ 1/2 (/ 1 2))
  (+ 1 1)
  (+ (/ 1/2 2) (/ 1/2 2))
  (+ (/ 1/2 2) (/ (/ 1 2) 2))
  (+ (/ 1 2) 1/2)
  (+ (/ 1 2) (/ 1 2))
  (+ (/ (/ 1 2) 2) (/ 1/2 2))
  (+ (/ (/ 1 2) 2) (/ (/ 1 2) 2))
  (* (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x))))
  (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))))
  (* (+ 1 (exp x)) (+ 1 (exp x)))
  (* (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x))))
  (* (+ 1 (exp x)) (+ 1 (exp x)))
  (+ 1 1)
  (+ (log (sqrt (sqrt (+ 1 (exp x))))) (log (sqrt (sqrt (+ 1 (exp x))))))
  (log (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))))
  (exp (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))))
  (* (* (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (+ 1 (exp x))))) (* (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (+ 1 (exp x))))))
  (* (cbrt (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))))) (cbrt (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))))))
  (cbrt (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))))
  (* (* (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))))) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x))))
  (sqrt (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))))
  (sqrt (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (+ (pow 1 3) (pow (exp x) 3)))) (sqrt (sqrt (+ (pow 1 3) (pow (exp x) 3)))))
  (* (sqrt (sqrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))) (sqrt (sqrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))))
  (* (sqrt (sqrt (+ (pow 1 3) (pow (exp x) 3)))) (sqrt (sqrt (- (* 1 1) (* (exp x) (exp x))))))
  (* (sqrt (sqrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))) (sqrt (sqrt (- 1 (exp x)))))
  (* (sqrt (sqrt (- (* 1 1) (* (exp x) (exp x))))) (sqrt (sqrt (+ (pow 1 3) (pow (exp x) 3)))))
  (* (sqrt (sqrt (- 1 (exp x)))) (sqrt (sqrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))))
  (* (sqrt (sqrt (- (* 1 1) (* (exp x) (exp x))))) (sqrt (sqrt (- (* 1 1) (* (exp x) (exp x))))))
  (* (sqrt (sqrt (- 1 (exp x)))) (sqrt (sqrt (- 1 (exp x)))))
  (* (* (cbrt (sqrt (sqrt (+ 1 (exp x))))) (cbrt (sqrt (sqrt (+ 1 (exp x)))))) (* (cbrt (sqrt (sqrt (+ 1 (exp x))))) (cbrt (sqrt (sqrt (+ 1 (exp x)))))))
  (* (cbrt (sqrt (sqrt (+ 1 (exp x))))) (cbrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (* (cbrt (sqrt (+ 1 (exp x)))) (cbrt (sqrt (+ 1 (exp x)))))) (sqrt (* (cbrt (sqrt (+ 1 (exp x)))) (cbrt (sqrt (+ 1 (exp x)))))))
  (* (sqrt (cbrt (sqrt (+ 1 (exp x))))) (sqrt (cbrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x)))))) (sqrt (sqrt (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x)))))))
  (* (sqrt (sqrt (cbrt (+ 1 (exp x))))) (sqrt (sqrt (cbrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt 1)) (sqrt (sqrt 1)))
  (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))))
  (* (sqrt (sqrt 1)) (sqrt (sqrt 1)))
  (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))))
  (* (sqrt (sqrt 1)) (sqrt (sqrt 1)))
  (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))))
  (* (sqrt (sqrt 1)) (sqrt (sqrt 1)))
  (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt 1) (sqrt 1))
  (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* 1 1)
  (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* 2 1/2)
  (* 2 1)
  (* 2 (/ 1/2 2))
  (* 2 (/ 1 2))
  (* 2 (/ (/ 1 2) 2))
  (* (sqrt (sqrt (+ 1 (exp x)))) (* (cbrt (sqrt (sqrt (+ 1 (exp x))))) (cbrt (sqrt (sqrt (+ 1 (exp x)))))))
  (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (* (cbrt (sqrt (+ 1 (exp x)))) (cbrt (sqrt (+ 1 (exp x)))))))
  (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x)))))))
  (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt 1)))
  (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt 1)))
  (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt 1))
  (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (+ 1 (exp x)))) 1)
  (* (cbrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (+ 1 (exp x)))))
  (* (sqrt (cbrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (+ 1 (exp x)))))
  (* (sqrt (sqrt (cbrt (+ 1 (exp x))))) (sqrt (sqrt (+ 1 (exp x)))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (+ 1 (exp x)))))
  (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))))
  (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (+ 1 (exp x)))))
  (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (+ 1 (exp x)))))
  (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x)))))
  (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ (pow 1 3) (pow (exp x) 3)))))
  (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (- (* 1 1) (* (exp x) (exp x))))))
  (* (sqrt (sqrt (+ (pow 1 3) (pow (exp x) 3)))) (sqrt (sqrt (+ 1 (exp x)))))
  (* (sqrt (sqrt (- (* 1 1) (* (exp x) (exp x))))) (sqrt (sqrt (+ 1 (exp x)))))
  (real->posit16 (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))))
  (expm1 (+ 1 (exp x)))
  (log1p (+ 1 (exp x)))
  (* (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))))
  (- (* 1 1) (* (exp x) (exp x)))
  (- 1 (exp x))
  (+ 1 (exp x))
  (real->posit16 (+ 1 (exp x)))
  (expm1 (+ 1 (exp x)))
  (log1p (+ 1 (exp x)))
  (* (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))))
  (- (* 1 1) (* (exp x) (exp x)))
  (- 1 (exp x))
  (+ 1 (exp x))
  (real->posit16 (+ 1 (exp x)))
  (expm1 (sqrt (+ 1 (exp x))))
  (log1p (sqrt (+ 1 (exp x))))
  (log (sqrt (+ 1 (exp x))))
  (exp (sqrt (+ 1 (exp x))))
  (* (cbrt (sqrt (+ 1 (exp x)))) (cbrt (sqrt (+ 1 (exp x)))))
  (cbrt (sqrt (+ 1 (exp x))))
  (* (* (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x)))) (sqrt (+ 1 (exp x))))
  (sqrt (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x)))))
  (sqrt (cbrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt 1)
  (sqrt (+ 1 (exp x)))
  (sqrt 1)
  (sqrt (+ 1 (exp x)))
  (sqrt (+ (pow 1 3) (pow (exp x) 3)))
  (sqrt (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x)))))
  (sqrt (- (* 1 1) (* (exp x) (exp x))))
  (sqrt (- 1 (exp x)))
  (/ 1 2)
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (real->posit16 (sqrt (+ 1 (exp x))))
  (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
  (+ x (+ (* 1/2 (pow x 2)) 2))
  (+ (exp x) 1)
  (+ (exp x) 1)
  (+ x (+ (* 1/2 (pow x 2)) 2))
  (+ (exp x) 1)
  (+ (exp x) 1)
  (- (+ (sqrt 2) (+ (* 1/4 (/ (pow x 2) (sqrt 2))) (* 1/2 (/ x (sqrt 2))))) (* 1/8 (/ (pow x 2) (pow (sqrt 2) 3))))
  (sqrt (+ (exp x) 1))
  (sqrt (+ (exp x) 1))
5.864 * * [simplify]: iteration 0: 141 enodes
5.941 * * [simplify]: iteration 1: 296 enodes
6.030 * * [simplify]: iteration 2: 667 enodes
6.339 * * [simplify]: iteration 3: 1619 enodes
6.740 * * [simplify]: iteration 4: 2018 enodes
7.069 * * [simplify]: iteration complete: 2018 enodes
7.070 * * [simplify]: Extracting #0: cost 47 inf + 0
7.071 * * [simplify]: Extracting #1: cost 244 inf + 3
7.075 * * [simplify]: Extracting #2: cost 343 inf + 1536
7.086 * * [simplify]: Extracting #3: cost 226 inf + 19938
7.116 * * [simplify]: Extracting #4: cost 123 inf + 42784
7.147 * * [simplify]: Extracting #5: cost 40 inf + 69068
7.185 * * [simplify]: Extracting #6: cost 2 inf + 82049
7.224 * * [simplify]: Extracting #7: cost 0 inf + 82833
7.266 * [simplify]: Simplified to:
  (expm1 (sqrt (+ 1 (exp x))))
  (log1p (sqrt (+ 1 (exp x))))
  1
  1
  2
  1/2
  1/2
  1
  1
  1/2
  1/2
  (+ 1 (exp x))
  (sqrt (+ 1 (exp x)))
  (* (+ 1 (exp x)) (+ 1 (exp x)))
  (+ 1 (exp x))
  (* (+ 1 (exp x)) (+ 1 (exp x)))
  2
  (log (sqrt (+ 1 (exp x))))
  (log (sqrt (+ 1 (exp x))))
  (exp (sqrt (+ 1 (exp x))))
  (* (+ 1 (exp x)) (sqrt (+ 1 (exp x))))
  (* (cbrt (sqrt (+ 1 (exp x)))) (cbrt (sqrt (+ 1 (exp x)))))
  (cbrt (sqrt (+ 1 (exp x))))
  (* (+ 1 (exp x)) (sqrt (+ 1 (exp x))))
  (+ 1 (exp x))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (fma (exp x) (* (exp x) (exp x)) 1))
  (sqrt (- (fma (exp x) (exp x) 1) (exp x)))
  (* (sqrt (sqrt (- 1 (* (exp x) (exp x))))) (sqrt (sqrt (fma (exp x) (* (exp x) (exp x)) 1))))
  (* (sqrt (sqrt (- (fma (exp x) (exp x) 1) (exp x)))) (sqrt (sqrt (- 1 (exp x)))))
  (* (sqrt (sqrt (- 1 (* (exp x) (exp x))))) (sqrt (sqrt (fma (exp x) (* (exp x) (exp x)) 1))))
  (* (sqrt (sqrt (- (fma (exp x) (exp x) 1) (exp x)))) (sqrt (sqrt (- 1 (exp x)))))
  (sqrt (- 1 (* (exp x) (exp x))))
  (sqrt (- 1 (exp x)))
  (* (cbrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (+ 1 (exp x)))))
  (* (cbrt (sqrt (sqrt (+ 1 (exp x))))) (cbrt (sqrt (sqrt (+ 1 (exp x))))))
  (* (cbrt (sqrt (+ 1 (exp x)))) (cbrt (sqrt (+ 1 (exp x)))))
  (cbrt (sqrt (+ 1 (exp x))))
  (fabs (cbrt (+ 1 (exp x))))
  (sqrt (cbrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  1
  (sqrt (+ 1 (exp x)))
  1
  (sqrt (+ 1 (exp x)))
  1
  (sqrt (+ 1 (exp x)))
  1
  (sqrt (+ 1 (exp x)))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  1
  (sqrt (+ 1 (exp x)))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  1
  (sqrt (+ 1 (exp x)))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  1
  2
  1/2
  1
  1/2
  (* (* (cbrt (sqrt (sqrt (+ 1 (exp x))))) (cbrt (sqrt (sqrt (+ 1 (exp x)))))) (sqrt (sqrt (+ 1 (exp x)))))
  (* (fabs (cbrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (+ 1 (exp x)))))
  (* (sqrt (fabs (cbrt (+ 1 (exp x))))) (sqrt (sqrt (+ 1 (exp x)))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (+ 1 (exp x)))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (+ 1 (exp x)))))
  (sqrt (sqrt (+ 1 (exp x))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (+ 1 (exp x)))))
  (sqrt (sqrt (+ 1 (exp x))))
  (* (cbrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (+ 1 (exp x)))))
  (* (sqrt (cbrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (+ 1 (exp x)))))
  (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (cbrt (+ 1 (exp x))))))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (+ 1 (exp x)))))
  (sqrt (+ 1 (exp x)))
  (sqrt (+ 1 (exp x)))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (+ 1 (exp x)))))
  (sqrt (+ 1 (exp x)))
  (* (sqrt (sqrt (sqrt (+ 1 (exp x))))) (sqrt (sqrt (+ 1 (exp x)))))
  (sqrt (+ 1 (exp x)))
  (* (sqrt (sqrt (fma (exp x) (* (exp x) (exp x)) 1))) (sqrt (sqrt (+ 1 (exp x)))))
  (* (sqrt (sqrt (- 1 (* (exp x) (exp x))))) (sqrt (sqrt (+ 1 (exp x)))))
  (* (sqrt (sqrt (fma (exp x) (* (exp x) (exp x)) 1))) (sqrt (sqrt (+ 1 (exp x)))))
  (* (sqrt (sqrt (- 1 (* (exp x) (exp x))))) (sqrt (sqrt (+ 1 (exp x)))))
  (real->posit16 (sqrt (+ 1 (exp x))))
  (expm1 (+ 1 (exp x)))
  (log1p (+ 1 (exp x)))
  (exp (+ 1 (exp x)))
  (log1p (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)))
  (fma (exp x) (* (exp x) (exp x)) 1)
  (- (fma (exp x) (exp x) 1) (exp x))
  (- 1 (* (exp x) (exp x)))
  (- 1 (exp x))
  (+ 1 (exp x))
  (real->posit16 (+ 1 (exp x)))
  (expm1 (+ 1 (exp x)))
  (log1p (+ 1 (exp x)))
  (exp (+ 1 (exp x)))
  (log1p (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)))
  (fma (exp x) (* (exp x) (exp x)) 1)
  (- (fma (exp x) (exp x) 1) (exp x))
  (- 1 (* (exp x) (exp x)))
  (- 1 (exp x))
  (+ 1 (exp x))
  (real->posit16 (+ 1 (exp x)))
  (expm1 (sqrt (+ 1 (exp x))))
  (log1p (sqrt (+ 1 (exp x))))
  (log (sqrt (+ 1 (exp x))))
  (exp (sqrt (+ 1 (exp x))))
  (* (cbrt (sqrt (+ 1 (exp x)))) (cbrt (sqrt (+ 1 (exp x)))))
  (cbrt (sqrt (+ 1 (exp x))))
  (* (+ 1 (exp x)) (sqrt (+ 1 (exp x))))
  (fabs (cbrt (+ 1 (exp x))))
  (sqrt (cbrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  1
  (sqrt (+ 1 (exp x)))
  1
  (sqrt (+ 1 (exp x)))
  (sqrt (fma (exp x) (* (exp x) (exp x)) 1))
  (sqrt (- (fma (exp x) (exp x) 1) (exp x)))
  (sqrt (- 1 (* (exp x) (exp x))))
  (sqrt (- 1 (exp x)))
  1/2
  (sqrt (sqrt (+ 1 (exp x))))
  (sqrt (sqrt (+ 1 (exp x))))
  (real->posit16 (sqrt (+ 1 (exp x))))
  (fma (/ x (sqrt 2)) 1/2 (+ (* (/ (* x x) (sqrt 2)) 3/16) (sqrt 2)))
  (sqrt (+ 1 (exp x)))
  (sqrt (+ 1 (exp x)))
  (fma (* 1/2 x) x (+ x 2))
  (+ 1 (exp x))
  (+ 1 (exp x))
  (fma (* 1/2 x) x (+ x 2))
  (+ 1 (exp x))
  (+ 1 (exp x))
  (fma (/ x (sqrt 2)) 1/2 (+ (* (/ (* x x) (sqrt 2)) 3/16) (sqrt 2)))
  (sqrt (+ 1 (exp x)))
  (sqrt (+ 1 (exp x)))
7.280 * * * [progress]: adding candidates to table
7.936 * [progress]: [Phase 3 of 3] Extracting.
7.936 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))))> #<alt (λ (x) (sqrt (exp (log1p (exp x)))))>)
7.937 * * * [regime-changes]: Trying 1 branch expressions: (x)
7.938 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* (sqrt (sqrt (+ 1 (exp x)))) (sqrt (sqrt (+ 1 (exp x))))))> #<alt (λ (x) (sqrt (exp (log1p (exp x)))))>)
7.957 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
7.958 * [simplify]: Simplifying:
  (sqrt (exp (log1p (exp x))))
7.958 * * [simplify]: iteration 0: 5 enodes
7.958 * * [simplify]: iteration complete: 5 enodes
7.958 * * [simplify]: Extracting #0: cost 1 inf + 0
7.958 * * [simplify]: Extracting #1: cost 2 inf + 0
7.958 * * [simplify]: Extracting #2: cost 3 inf + 0
7.958 * * [simplify]: Extracting #3: cost 4 inf + 0
7.958 * * [simplify]: Extracting #4: cost 5 inf + 0
7.958 * * [simplify]: Extracting #5: cost 4 inf + 1
7.958 * * [simplify]: Extracting #6: cost 0 inf + 735
7.958 * [simplify]: Simplified to:
  (sqrt (exp (log1p (exp x))))
18.269 * [regime-testing]: Baseline error score: 0.05298488772154553
18.274 * [regime-testing]: Oracle error score: 0.04284957740461755
18.282 * [regime-testing]: End program error score: 0.05298488772154553