* [misc]progress:  [Phase 1 of 3] Setting up.
* * * [misc]progress:  [1/2] Preparing points
* * * [misc]progress:  [2/2] Setting up program.
* [misc]progress:  [Phase 2 of 3] Improving.
* [enter]simplify:  Simplifying (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1)))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (21 enodes)
* * [misc]simplify:  iters left: 4 (22 enodes)
* * [misc]simplify:  iters left: 3 (29 enodes)
* * [misc]simplify:  iters left: 2 (38 enodes)
* * [misc]simplify:  iters left: 1 (54 enodes)
* [exit]simplify:  Simplified to (sqrt (/ (+ 1 (exp x)) 1))
* * [misc]progress:  iteration 1 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-delta (λ (x) (sqrt (/ (+ 1 (exp x)) 1)))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 1 ] rewriting at (2 1 1)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 1 ] generating series at (2 1 1)
* [misc]approximate:  Taking taylor expansion of (+ 1 (exp x)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (+ 1 (exp x)) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (exp 0) into 1
* [misc]taylor:  Taking taylor expansion of (+ 1 (exp x)) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (exp 0) into 1
* [misc]backup-simplify:  Simplify (+ 1 1) into 2
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
* [misc]backup-simplify:  Simplify (+ 0 1/2) into 1/2
* [misc]backup-simplify:  Simplify 1/2 into 1/2
* [misc]backup-simplify:  Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ (* 1/2 (pow x 2)) (+ 2 x))
* [misc]approximate:  Taking taylor expansion of (+ 1 (exp (/ 1 x))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (+ 1 (exp (/ 1 x))) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
* [misc]taylor:  Taking taylor expansion of (+ 1 (exp (/ 1 x))) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
* [misc]backup-simplify:  Simplify (+ 1 (exp (/ 1 x))) into (+ 1 (exp (/ 1 x)))
* [misc]backup-simplify:  Simplify (+ 1 (exp (/ 1 x))) into (+ 1 (exp (/ 1 x)))
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 1 (exp (/ 1 (/ 1 x)))) into (+ 1 (exp x))
* [misc]approximate:  Taking taylor expansion of (+ 1 (exp (/ 1 (- x)))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (+ 1 (exp (/ 1 (- x)))) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (exp (/ 1 (- x))) into (exp (/ -1 x))
* [misc]taylor:  Taking taylor expansion of (+ 1 (exp (/ 1 (- x)))) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (exp (/ 1 (- x))) into (exp (/ -1 x))
* [misc]backup-simplify:  Simplify (+ 1 (exp (/ -1 x))) into (+ 1 (exp (/ -1 x)))
* [misc]backup-simplify:  Simplify (+ 1 (exp (/ -1 x))) into (+ 1 (exp (/ -1 x)))
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 1 (exp (/ -1 (/ 1 (- x))))) into (+ 1 (exp x))
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 15 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (log1p (expm1 (+ 1 (exp x)))) 1)))>
* [enter]simplify:  Simplifying (expm1 (+ 1 (exp x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (expm1 (+ 1 (exp x)))
* [exit]simplify:  Simplified to (expm1 (+ 1 (exp x)))
* * * * [misc]progress:  [ 2 / 15 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (expm1 (log1p (+ 1 (exp x)))) 1)))>
* [enter]simplify:  Simplifying (log1p (+ 1 (exp x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (log1p (+ 1 (exp x)))
* [exit]simplify:  Simplified to (log1p (+ 1 (exp x)))
* * * * [misc]progress:  [ 3 / 15 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (pow (+ 1 (exp x)) 1) 1)))>
* * * * [misc]progress:  [ 4 / 15 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (exp (log (+ 1 (exp x)))) 1)))>
* [enter]simplify:  Simplifying (log (+ 1 (exp x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (9 enodes)
* [exit]simplify:  Simplified to (log1p (exp x))
* [exit]simplify:  Simplified to (log1p (exp x))
* * * * [misc]progress:  [ 5 / 15 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (log (exp (+ 1 (exp x)))) 1)))>
* [enter]simplify:  Simplifying (exp (+ 1 (exp x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (11 enodes)
* * [misc]simplify:  iters left: 2 (13 enodes)
* [exit]simplify:  Simplified to (* E (exp (exp x)))
* [exit]simplify:  Simplified to (* E (exp (exp x)))
* * * * [misc]progress:  [ 6 / 15 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (* (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x)))) (cbrt (+ 1 (exp x)))) 1)))>
* [enter]simplify:  Simplifying (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x))))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (9 enodes)
* [exit]simplify:  Simplified to (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x))))
* [exit]simplify:  Simplified to (* (cbrt (+ 1 (exp x))) (cbrt (+ 1 (exp x))))
* [enter]simplify:  Simplifying (cbrt (+ 1 (exp x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (cbrt (+ 1 (exp x)))
* [exit]simplify:  Simplified to (cbrt (+ 1 (exp x)))
* * * * [misc]progress:  [ 7 / 15 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (cbrt (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x)))) 1)))>
* [enter]simplify:  Simplifying (* (* (+ 1 (exp x)) (+ 1 (exp x))) (+ 1 (exp x)))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (48 enodes)
* * [misc]simplify:  iters left: 3 (129 enodes)
* * [misc]simplify:  iters left: 2 (213 enodes)
* * [misc]simplify:  iters left: 1 (298 enodes)
* [exit]simplify:  Simplified to (pow (+ 1 (exp x)) 3)
* [exit]simplify:  Simplified to (pow (+ 1 (exp x)) 3)
* * * * [misc]progress:  [ 8 / 15 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (* (sqrt (+ 1 (exp x))) (sqrt (+ 1 (exp x)))) 1)))>
* [enter]simplify:  Simplifying (sqrt (+ 1 (exp x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (+ 1 (exp x)))
* [exit]simplify:  Simplified to (sqrt (+ 1 (exp x)))
* [enter]simplify:  Simplifying (sqrt (+ 1 (exp x)))
* * [misc]simplify:  iters left: 4 (5 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (sqrt (+ 1 (exp x)))
* [exit]simplify:  Simplified to (sqrt (+ 1 (exp x)))
* * * * [misc]progress:  [ 9 / 15 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (/ (+ (pow 1 3) (pow (exp x) 3)) (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))) 1)))>
* [enter]simplify:  Simplifying (+ (pow 1 3) (pow (exp x) 3))
* * [misc]simplify:  iters left: 4 (7 enodes)
* * [misc]simplify:  iters left: 3 (15 enodes)
* * [misc]simplify:  iters left: 2 (19 enodes)
* * [misc]simplify:  iters left: 1 (26 enodes)
* [exit]simplify:  Simplified to (+ 1 (exp (fma 2 x x)))
* [exit]simplify:  Simplified to (+ 1 (exp (fma 2 x x)))
* [enter]simplify:  Simplifying (+ (* 1 1) (- (* (exp x) (exp x)) (* 1 (exp x))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (35 enodes)
* * [misc]simplify:  iters left: 3 (52 enodes)
* * [misc]simplify:  iters left: 2 (70 enodes)
* * [misc]simplify:  iters left: 1 (84 enodes)
* [exit]simplify:  Simplified to (fma (expm1 x) (exp x) 1)
* [exit]simplify:  Simplified to (fma (expm1 x) (exp x) 1)
* * * * [misc]progress:  [ 10 / 15 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (* 1 (+ 1 (exp x))) 1)))>
* * * * [misc]progress:  [ 11 / 15 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (/ (- (* 1 1) (* (exp x) (exp x))) (- 1 (exp x))) 1)))>
* [enter]simplify:  Simplifying (- (* 1 1) (* (exp x) (exp x)))
* * [misc]simplify:  iters left: 5 (6 enodes)
* * [misc]simplify:  iters left: 4 (12 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* * [misc]simplify:  iters left: 2 (20 enodes)
* [exit]simplify:  Simplified to (- 1 (exp (+ x x)))
* [exit]simplify:  Simplified to (- 1 (exp (+ x x)))
* [enter]simplify:  Simplifying (- 1 (exp x))
* * [misc]simplify:  iters left: 3 (4 enodes)
* * [misc]simplify:  iters left: 2 (6 enodes)
* [exit]simplify:  Simplified to (- 1 (exp x))
* [exit]simplify:  Simplified to (- 1 (exp x))
* * * * [misc]progress:  [ 12 / 15 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (+ (exp x) 1) 1)))>
* * * * [misc]progress:  [ 13 / 15 ] simplifiying candidate #<alt-event (λ (x) (sqrt (/ (+ (* 1/2 (pow x 2)) (+ 2 x)) 1)))>
* [enter]simplify:  Simplifying (sqrt (/ (+ (* 1/2 (pow x 2)) (+ 2 x)) 1))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (18 enodes)
* * [misc]simplify:  iters left: 4 (26 enodes)
* * [misc]simplify:  iters left: 3 (34 enodes)
* * [misc]simplify:  iters left: 2 (41 enodes)
* * [misc]simplify:  iters left: 1 (46 enodes)
* [exit]simplify:  Simplified to (sqrt (/ (fma x (fma 1/2 x 1) 2) 1))
* * * * [misc]progress:  [ 14 / 15 ] simplifiying candidate #<alt-event (λ (x) (sqrt (/ (+ 1 (exp x)) 1)))>
* [enter]simplify:  Simplifying (sqrt (/ (+ 1 (exp x)) 1))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (9 enodes)
* [exit]simplify:  Simplified to (sqrt (/ (+ 1 (exp x)) 1))
* * * * [misc]progress:  [ 15 / 15 ] simplifiying candidate #<alt-event (λ (x) (sqrt (/ (+ 1 (exp x)) 1)))>
* [enter]simplify:  Simplifying (sqrt (/ (+ 1 (exp x)) 1))
* * [misc]simplify:  iters left: 6 (6 enodes)
* * [misc]simplify:  iters left: 5 (9 enodes)
* [exit]simplify:  Simplified to (sqrt (/ (+ 1 (exp x)) 1))
* * * [misc]progress:  adding candidates to table
* * [misc]progress:  iteration 2 / 4
* * * [misc]progress:  picking best candidate
* * * * [misc]pick:  Picked  #<alt-delta (λ (x) (sqrt (/ (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1)) 1)))>
* * * [misc]progress:  localizing error
* * * [misc]progress:  generating rewritten candidates
* * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1 1 1)
* * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1 1)
* * * [misc]progress:  generating series expansions
* * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1 1 1)
* [misc]approximate:  Taking taylor expansion of (+ 1 (exp (fma 2 x x))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (+ 1 (exp (fma 2 x x))) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp (fma 2 x x)) in x
* [misc]taylor:  Taking taylor expansion of (fma 2 x x) in x
* [misc]taylor:  Rewrote expression to (+ (* 2 x) x)
* [misc]taylor:  Taking taylor expansion of (* 2 x) in x
* [misc]taylor:  Taking taylor expansion of 2 in x
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 2 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 2 1) (* 0 0)) into 2
* [misc]backup-simplify:  Simplify (+ 2 1) into 3
* [misc]backup-simplify:  Simplify (exp 0) into 1
* [misc]taylor:  Taking taylor expansion of (+ 1 (exp (fma 2 x x))) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp (fma 2 x x)) in x
* [misc]taylor:  Taking taylor expansion of (fma 2 x x) in x
* [misc]taylor:  Rewrote expression to (+ (* 2 x) x)
* [misc]taylor:  Taking taylor expansion of (* 2 x) in x
* [misc]taylor:  Taking taylor expansion of 2 in x
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 2 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 2 1) (* 0 0)) into 2
* [misc]backup-simplify:  Simplify (+ 2 1) into 3
* [misc]backup-simplify:  Simplify (exp 0) into 1
* [misc]backup-simplify:  Simplify (+ 1 1) into 2
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 3 1) 1)))) into 3
* [misc]backup-simplify:  Simplify (+ 0 3) into 3
* [misc]backup-simplify:  Simplify 3 into 3
* [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 3 2) 2)) (* (/ (pow 0 1) 1)))) into 9/2
* [misc]backup-simplify:  Simplify (+ 0 9/2) into 9/2
* [misc]backup-simplify:  Simplify 9/2 into 9/2
* [misc]backup-simplify:  Simplify (+ (* 9/2 (pow x 2)) (+ (* 3 x) 2)) into (+ (* 9/2 (pow x 2)) (+ 2 (* 3 x)))
* [misc]approximate:  Taking taylor expansion of (+ 1 (exp (fma 2 (/ 1 x) (/ 1 x)))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (+ 1 (exp (fma 2 (/ 1 x) (/ 1 x)))) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp (fma 2 (/ 1 x) (/ 1 x))) in x
* [misc]taylor:  Taking taylor expansion of (fma 2 (/ 1 x) (/ 1 x)) in x
* [misc]taylor:  Rewrote expression to (+ (* 2 (/ 1 x)) (/ 1 x))
* [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of 2 in x
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (* 2 1) into 2
* [misc]backup-simplify:  Simplify (+ 2 1) into 3
* [misc]backup-simplify:  Simplify (exp (fma 2 (/ 1 x) (/ 1 x))) into (exp (fma 2 (/ 1 x) (/ 1 x)))
* [misc]taylor:  Taking taylor expansion of (+ 1 (exp (fma 2 (/ 1 x) (/ 1 x)))) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp (fma 2 (/ 1 x) (/ 1 x))) in x
* [misc]taylor:  Taking taylor expansion of (fma 2 (/ 1 x) (/ 1 x)) in x
* [misc]taylor:  Rewrote expression to (+ (* 2 (/ 1 x)) (/ 1 x))
* [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of 2 in x
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (* 2 1) into 2
* [misc]backup-simplify:  Simplify (+ 2 1) into 3
* [misc]backup-simplify:  Simplify (exp (fma 2 (/ 1 x) (/ 1 x))) into (exp (fma 2 (/ 1 x) (/ 1 x)))
* [misc]backup-simplify:  Simplify (+ 1 (exp (fma 2 (/ 1 x) (/ 1 x)))) into (+ 1 (exp (fma 2 (/ 1 x) (/ 1 x))))
* [misc]backup-simplify:  Simplify (+ 1 (exp (fma 2 (/ 1 x) (/ 1 x)))) into (+ 1 (exp (fma 2 (/ 1 x) (/ 1 x))))
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 1 (exp (fma 2 (/ 1 (/ 1 x)) (/ 1 (/ 1 x))))) into (+ 1 (exp (fma 2 x x)))
* [misc]approximate:  Taking taylor expansion of (+ 1 (exp (fma 2 (/ 1 (- x)) (/ 1 (- x))))) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (+ 1 (exp (fma 2 (/ 1 (- x)) (/ 1 (- x))))) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp (fma 2 (/ 1 (- x)) (/ 1 (- x)))) in x
* [misc]taylor:  Taking taylor expansion of (fma 2 (/ 1 (- x)) (/ 1 (- x))) in x
* [misc]taylor:  Rewrote expression to (+ (* 2 (/ 1 (- x))) (/ 1 (- x)))
* [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of 2 in x
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (* 2 -1) into -2
* [misc]backup-simplify:  Simplify (+ -2 -1) into -3
* [misc]backup-simplify:  Simplify (exp (fma 2 (/ 1 (- x)) (/ 1 (- x)))) into (exp (fma 2 (/ -1 x) (/ -1 x)))
* [misc]taylor:  Taking taylor expansion of (+ 1 (exp (fma 2 (/ 1 (- x)) (/ 1 (- x))))) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp (fma 2 (/ 1 (- x)) (/ 1 (- x)))) in x
* [misc]taylor:  Taking taylor expansion of (fma 2 (/ 1 (- x)) (/ 1 (- x))) in x
* [misc]taylor:  Rewrote expression to (+ (* 2 (/ 1 (- x))) (/ 1 (- x)))
* [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of 2 in x
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (* 2 -1) into -2
* [misc]backup-simplify:  Simplify (+ -2 -1) into -3
* [misc]backup-simplify:  Simplify (exp (fma 2 (/ 1 (- x)) (/ 1 (- x)))) into (exp (fma 2 (/ -1 x) (/ -1 x)))
* [misc]backup-simplify:  Simplify (+ 1 (exp (fma 2 (/ -1 x) (/ -1 x)))) into (+ 1 (exp (fma 2 (/ -1 x) (/ -1 x))))
* [misc]backup-simplify:  Simplify (+ 1 (exp (fma 2 (/ -1 x) (/ -1 x)))) into (+ 1 (exp (fma 2 (/ -1 x) (/ -1 x))))
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 1 (exp (fma 2 (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x)))))) into (+ 1 (exp (fma 2 x x)))
* * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1 1)
* [misc]approximate:  Taking taylor expansion of (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ 1 (exp (fma 2 x x))) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp (fma 2 x x)) in x
* [misc]taylor:  Taking taylor expansion of (fma 2 x x) in x
* [misc]taylor:  Rewrote expression to (+ (* 2 x) x)
* [misc]taylor:  Taking taylor expansion of (* 2 x) in x
* [misc]taylor:  Taking taylor expansion of 2 in x
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 2 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 2 1) (* 0 0)) into 2
* [misc]backup-simplify:  Simplify (+ 2 1) into 3
* [misc]backup-simplify:  Simplify (exp 0) into 1
* [misc]taylor:  Taking taylor expansion of (fma (expm1 x) (exp x) 1) in x
* [misc]taylor:  Rewrote expression to (+ (* (expm1 x) (exp x)) 1)
* [misc]taylor:  Taking taylor expansion of (* (expm1 x) (exp x)) in x
* [misc]taylor:  Taking taylor expansion of (expm1 x) in x
* [misc]taylor:  Rewrote expression to (- (exp x) 1)
* [misc]taylor:  Taking taylor expansion of (exp x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (exp 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (exp 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 1 1) into 2
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 1 -1) into 0
* [misc]backup-simplify:  Simplify (* 0 1) into 0
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (/ 2 1) into 2
* [misc]taylor:  Taking taylor expansion of (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ 1 (exp (fma 2 x x))) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp (fma 2 x x)) in x
* [misc]taylor:  Taking taylor expansion of (fma 2 x x) in x
* [misc]taylor:  Rewrote expression to (+ (* 2 x) x)
* [misc]taylor:  Taking taylor expansion of (* 2 x) in x
* [misc]taylor:  Taking taylor expansion of 2 in x
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (* 2 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* 2 1) (* 0 0)) into 2
* [misc]backup-simplify:  Simplify (+ 2 1) into 3
* [misc]backup-simplify:  Simplify (exp 0) into 1
* [misc]taylor:  Taking taylor expansion of (fma (expm1 x) (exp x) 1) in x
* [misc]taylor:  Rewrote expression to (+ (* (expm1 x) (exp x)) 1)
* [misc]taylor:  Taking taylor expansion of (* (expm1 x) (exp x)) in x
* [misc]taylor:  Taking taylor expansion of (expm1 x) in x
* [misc]taylor:  Rewrote expression to (- (exp x) 1)
* [misc]taylor:  Taking taylor expansion of (exp x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (exp 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (exp 0) into 1
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 1 1) into 2
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ 1 -1) into 0
* [misc]backup-simplify:  Simplify (* 0 1) into 0
* [misc]backup-simplify:  Simplify (+ 0 1) into 1
* [misc]backup-simplify:  Simplify (/ 2 1) into 2
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 3 1) 1)))) into 3
* [misc]backup-simplify:  Simplify (+ 0 3) into 3
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 1)) into 1
* [misc]backup-simplify:  Simplify (+ 1 0) into 1
* [misc]backup-simplify:  Simplify (- (/ 3 1) (+ (* 2 (/ 1 1)))) into 1
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 3 2) 2)) (* (/ (pow 0 1) 1)))) into 9/2
* [misc]backup-simplify:  Simplify (+ 0 9/2) into 9/2
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
* [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 1/2 0) into 1/2
* [misc]backup-simplify:  Simplify (+ (* 0 1/2) (+ (* 1 1) (* 1/2 1))) into 3/2
* [misc]backup-simplify:  Simplify (+ 3/2 0) into 3/2
* [misc]backup-simplify:  Simplify (- (/ 9/2 1) (+ (* 2 (/ 3/2 1)) (* 1 (/ 1 1)))) into 1/2
* [misc]backup-simplify:  Simplify 1/2 into 1/2
* [misc]backup-simplify:  Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2)) into (+ (* 1/2 (pow x 2)) (+ 2 x))
* [misc]approximate:  Taking taylor expansion of (/ (+ 1 (exp (fma 2 (/ 1 x) (/ 1 x)))) (fma (expm1 (/ 1 x)) (exp (/ 1 x)) 1)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (/ (+ 1 (exp (fma 2 (/ 1 x) (/ 1 x)))) (fma (expm1 (/ 1 x)) (exp (/ 1 x)) 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ 1 (exp (fma 2 (/ 1 x) (/ 1 x)))) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp (fma 2 (/ 1 x) (/ 1 x))) in x
* [misc]taylor:  Taking taylor expansion of (fma 2 (/ 1 x) (/ 1 x)) in x
* [misc]taylor:  Rewrote expression to (+ (* 2 (/ 1 x)) (/ 1 x))
* [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of 2 in x
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (* 2 1) into 2
* [misc]backup-simplify:  Simplify (+ 2 1) into 3
* [misc]backup-simplify:  Simplify (exp (fma 2 (/ 1 x) (/ 1 x))) into (exp (fma 2 (/ 1 x) (/ 1 x)))
* [misc]taylor:  Taking taylor expansion of (fma (expm1 (/ 1 x)) (exp (/ 1 x)) 1) in x
* [misc]taylor:  Rewrote expression to (+ (* (expm1 (/ 1 x)) (exp (/ 1 x))) 1)
* [misc]taylor:  Taking taylor expansion of (* (expm1 (/ 1 x)) (exp (/ 1 x))) in x
* [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 x)) in x
* [misc]taylor:  Rewrote expression to (- (exp (/ 1 x)) 1)
* [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 1 (exp (fma 2 (/ 1 x) (/ 1 x)))) into (+ 1 (exp (fma 2 (/ 1 x) (/ 1 x))))
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
* [misc]backup-simplify:  Simplify (* (- (exp (/ 1 x)) 1) (exp (/ 1 x))) into (* (exp (/ 1 x)) (- (exp (/ 1 x)) 1))
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) 1) into (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x)))
* [misc]backup-simplify:  Simplify (/ (+ 1 (exp (fma 2 (/ 1 x) (/ 1 x)))) (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x)))) into (/ (+ 1 (exp (fma 2 (/ 1 x) (/ 1 x)))) (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x))))
* [misc]taylor:  Taking taylor expansion of (/ (+ 1 (exp (fma 2 (/ 1 x) (/ 1 x)))) (fma (expm1 (/ 1 x)) (exp (/ 1 x)) 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ 1 (exp (fma 2 (/ 1 x) (/ 1 x)))) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp (fma 2 (/ 1 x) (/ 1 x))) in x
* [misc]taylor:  Taking taylor expansion of (fma 2 (/ 1 x) (/ 1 x)) in x
* [misc]taylor:  Rewrote expression to (+ (* 2 (/ 1 x)) (/ 1 x))
* [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of 2 in x
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (* 2 1) into 2
* [misc]backup-simplify:  Simplify (+ 2 1) into 3
* [misc]backup-simplify:  Simplify (exp (fma 2 (/ 1 x) (/ 1 x))) into (exp (fma 2 (/ 1 x) (/ 1 x)))
* [misc]taylor:  Taking taylor expansion of (fma (expm1 (/ 1 x)) (exp (/ 1 x)) 1) in x
* [misc]taylor:  Rewrote expression to (+ (* (expm1 (/ 1 x)) (exp (/ 1 x))) 1)
* [misc]taylor:  Taking taylor expansion of (* (expm1 (/ 1 x)) (exp (/ 1 x))) in x
* [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 x)) in x
* [misc]taylor:  Rewrote expression to (- (exp (/ 1 x)) 1)
* [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (/ 1 1) into 1
* [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 1 (exp (fma 2 (/ 1 x) (/ 1 x)))) into (+ 1 (exp (fma 2 (/ 1 x) (/ 1 x))))
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) -1) into (- (exp (/ 1 x)) 1)
* [misc]backup-simplify:  Simplify (* (- (exp (/ 1 x)) 1) (exp (/ 1 x))) into (* (exp (/ 1 x)) (- (exp (/ 1 x)) 1))
* [misc]backup-simplify:  Simplify (+ (* (exp (/ 1 x)) (- (exp (/ 1 x)) 1)) 1) into (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x)))
* [misc]backup-simplify:  Simplify (/ (+ 1 (exp (fma 2 (/ 1 x) (/ 1 x)))) (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x)))) into (/ (+ 1 (exp (fma 2 (/ 1 x) (/ 1 x)))) (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x))))
* [misc]backup-simplify:  Simplify (/ (+ 1 (exp (fma 2 (/ 1 x) (/ 1 x)))) (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x)))) into (/ (+ 1 (exp (fma 2 (/ 1 x) (/ 1 x)))) (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x))))
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (* 0 (exp (/ 1 x)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x)))) (+ (* (/ (+ 1 (exp (fma 2 (/ 1 x) (/ 1 x)))) (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x)))) (/ 0 (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x)))) (+ (* (/ (+ 1 (exp (fma 2 (/ 1 x) (/ 1 x)))) (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x)))) (/ 0 (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x)))) (+ (* (/ (+ 1 (exp (fma 2 (/ 1 x) (/ 1 x)))) (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x)))) (/ 0 (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x)))) (+ (* (/ (+ 1 (exp (fma 2 (/ 1 x) (/ 1 x)))) (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x)))) (/ 0 (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x)))) (+ (* (/ (+ 1 (exp (fma 2 (/ 1 x) (/ 1 x)))) (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x)))) (/ 0 (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* (- (exp (/ 1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x)))) (+ (* (/ (+ 1 (exp (fma 2 (/ 1 x) (/ 1 x)))) (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x)))) (/ 0 (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ 1 x)) 2)) (exp (/ 1 x))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ (+ 1 (exp (fma 2 (/ 1 (/ 1 x)) (/ 1 (/ 1 x))))) (- (+ 1 (pow (exp (/ 1 (/ 1 x))) 2)) (exp (/ 1 (/ 1 x))))) into (/ (+ 1 (exp (fma 2 x x))) (- (+ 1 (pow (exp x) 2)) (exp x)))
* [misc]approximate:  Taking taylor expansion of (/ (+ 1 (exp (fma 2 (/ 1 (- x)) (/ 1 (- x))))) (fma (expm1 (/ 1 (- x))) (exp (/ 1 (- x))) 1)) in (x) around 0
* [misc]taylor:  Taking taylor expansion of (/ (+ 1 (exp (fma 2 (/ 1 (- x)) (/ 1 (- x))))) (fma (expm1 (/ 1 (- x))) (exp (/ 1 (- x))) 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ 1 (exp (fma 2 (/ 1 (- x)) (/ 1 (- x))))) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp (fma 2 (/ 1 (- x)) (/ 1 (- x)))) in x
* [misc]taylor:  Taking taylor expansion of (fma 2 (/ 1 (- x)) (/ 1 (- x))) in x
* [misc]taylor:  Rewrote expression to (+ (* 2 (/ 1 (- x))) (/ 1 (- x)))
* [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of 2 in x
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (* 2 -1) into -2
* [misc]backup-simplify:  Simplify (+ -2 -1) into -3
* [misc]backup-simplify:  Simplify (exp (fma 2 (/ 1 (- x)) (/ 1 (- x)))) into (exp (fma 2 (/ -1 x) (/ -1 x)))
* [misc]taylor:  Taking taylor expansion of (fma (expm1 (/ 1 (- x))) (exp (/ 1 (- x))) 1) in x
* [misc]taylor:  Rewrote expression to (+ (* (expm1 (/ 1 (- x))) (exp (/ 1 (- x)))) 1)
* [misc]taylor:  Taking taylor expansion of (* (expm1 (/ 1 (- x))) (exp (/ 1 (- x)))) in x
* [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 (- x))) in x
* [misc]taylor:  Rewrote expression to (- (exp (/ 1 (- x))) 1)
* [misc]taylor:  Taking taylor expansion of (exp (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (exp (/ 1 (- x))) into (exp (/ -1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (exp (/ 1 (- x))) into (exp (/ -1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 1 (exp (fma 2 (/ -1 x) (/ -1 x)))) into (+ 1 (exp (fma 2 (/ -1 x) (/ -1 x))))
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
* [misc]backup-simplify:  Simplify (* (- (exp (/ -1 x)) 1) (exp (/ -1 x))) into (* (- (exp (/ -1 x)) 1) (exp (/ -1 x)))
* [misc]backup-simplify:  Simplify (+ (* (- (exp (/ -1 x)) 1) (exp (/ -1 x))) 1) into (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))
* [misc]backup-simplify:  Simplify (/ (+ 1 (exp (fma 2 (/ -1 x) (/ -1 x)))) (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) into (/ (+ 1 (exp (fma 2 (/ -1 x) (/ -1 x)))) (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))
* [misc]taylor:  Taking taylor expansion of (/ (+ 1 (exp (fma 2 (/ 1 (- x)) (/ 1 (- x))))) (fma (expm1 (/ 1 (- x))) (exp (/ 1 (- x))) 1)) in x
* [misc]taylor:  Taking taylor expansion of (+ 1 (exp (fma 2 (/ 1 (- x)) (/ 1 (- x))))) in x
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp (fma 2 (/ 1 (- x)) (/ 1 (- x)))) in x
* [misc]taylor:  Taking taylor expansion of (fma 2 (/ 1 (- x)) (/ 1 (- x))) in x
* [misc]taylor:  Rewrote expression to (+ (* 2 (/ 1 (- x))) (/ 1 (- x)))
* [misc]taylor:  Taking taylor expansion of (* 2 (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of 2 in x
* [misc]backup-simplify:  Simplify 2 into 2
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (* 2 -1) into -2
* [misc]backup-simplify:  Simplify (+ -2 -1) into -3
* [misc]backup-simplify:  Simplify (exp (fma 2 (/ 1 (- x)) (/ 1 (- x)))) into (exp (fma 2 (/ -1 x) (/ -1 x)))
* [misc]taylor:  Taking taylor expansion of (fma (expm1 (/ 1 (- x))) (exp (/ 1 (- x))) 1) in x
* [misc]taylor:  Rewrote expression to (+ (* (expm1 (/ 1 (- x))) (exp (/ 1 (- x)))) 1)
* [misc]taylor:  Taking taylor expansion of (* (expm1 (/ 1 (- x))) (exp (/ 1 (- x)))) in x
* [misc]taylor:  Taking taylor expansion of (expm1 (/ 1 (- x))) in x
* [misc]taylor:  Rewrote expression to (- (exp (/ 1 (- x))) 1)
* [misc]taylor:  Taking taylor expansion of (exp (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (exp (/ 1 (- x))) into (exp (/ -1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]taylor:  Taking taylor expansion of (exp (/ 1 (- x))) in x
* [misc]taylor:  Taking taylor expansion of (/ 1 (- x)) in x
* [misc]taylor:  Taking taylor expansion of (- x) in x
* [misc]taylor:  Taking taylor expansion of x in x
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (/ 1 -1) into -1
* [misc]backup-simplify:  Simplify (exp (/ 1 (- x))) into (exp (/ -1 x))
* [misc]taylor:  Taking taylor expansion of 1 in x
* [misc]backup-simplify:  Simplify 1 into 1
* [misc]backup-simplify:  Simplify (+ 1 (exp (fma 2 (/ -1 x) (/ -1 x)))) into (+ 1 (exp (fma 2 (/ -1 x) (/ -1 x))))
* [misc]backup-simplify:  Simplify (- 1) into -1
* [misc]backup-simplify:  Simplify (+ (exp (/ -1 x)) -1) into (- (exp (/ -1 x)) 1)
* [misc]backup-simplify:  Simplify (* (- (exp (/ -1 x)) 1) (exp (/ -1 x))) into (* (- (exp (/ -1 x)) 1) (exp (/ -1 x)))
* [misc]backup-simplify:  Simplify (+ (* (- (exp (/ -1 x)) 1) (exp (/ -1 x))) 1) into (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))
* [misc]backup-simplify:  Simplify (/ (+ 1 (exp (fma 2 (/ -1 x) (/ -1 x)))) (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) into (/ (+ 1 (exp (fma 2 (/ -1 x) (/ -1 x)))) (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))
* [misc]backup-simplify:  Simplify (/ (+ 1 (exp (fma 2 (/ -1 x) (/ -1 x)))) (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) into (/ (+ 1 (exp (fma 2 (/ -1 x) (/ -1 x)))) (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (* 0 (exp (/ -1 x)))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) (+ (* (/ (+ 1 (exp (fma 2 (/ -1 x) (/ -1 x)))) (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) (+ (* (/ (+ 1 (exp (fma 2 (/ -1 x) (/ -1 x)))) (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) (+ (* (/ (+ 1 (exp (fma 2 (/ -1 x) (/ -1 x)))) (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) (+ (* (/ (+ 1 (exp (fma 2 (/ -1 x) (/ -1 x)))) (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) (+ (* (/ (+ 1 (exp (fma 2 (/ -1 x) (/ -1 x)))) (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- 0) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (+ (* (- (exp (/ -1 x)) 1) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
* [misc]backup-simplify:  Simplify (+ 0 0) into 0
* [misc]backup-simplify:  Simplify (- (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) (+ (* (/ (+ 1 (exp (fma 2 (/ -1 x) (/ -1 x)))) (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x)))) (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))) (* 0 (/ 0 (- (+ 1 (pow (exp (/ -1 x)) 2)) (exp (/ -1 x))))))) into 0
* [misc]backup-simplify:  Simplify 0 into 0
* [misc]backup-simplify:  Simplify (/ (+ 1 (exp (fma 2 (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x)))))) (- (+ 1 (pow (exp (/ -1 (/ 1 (- x)))) 2)) (exp (/ -1 (/ 1 (- x)))))) into (/ (+ 1 (exp (fma 2 x x))) (- (+ 1 (pow (exp x) 2)) (exp x)))
* * * [misc]progress:  simplifying candidates
* * * * [misc]progress:  [ 1 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (/ (log1p (expm1 (+ 1 (exp (fma 2 x x))))) (fma (expm1 x) (exp x) 1)) 1)))>
* [enter]simplify:  Simplifying (expm1 (+ 1 (exp (fma 2 x x))))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* [exit]simplify:  Simplified to (expm1 (+ (exp (fma 2 x x)) 1))
* [exit]simplify:  Simplified to (expm1 (+ (exp (fma 2 x x)) 1))
* * * * [misc]progress:  [ 2 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (/ (expm1 (log1p (+ 1 (exp (fma 2 x x))))) (fma (expm1 x) (exp x) 1)) 1)))>
* [enter]simplify:  Simplifying (log1p (+ 1 (exp (fma 2 x x))))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* [exit]simplify:  Simplified to (log1p (+ (exp (fma 2 x x)) 1))
* [exit]simplify:  Simplified to (log1p (+ (exp (fma 2 x x)) 1))
* * * * [misc]progress:  [ 3 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (/ (pow (+ 1 (exp (fma 2 x x))) 1) (fma (expm1 x) (exp x) 1)) 1)))>
* * * * [misc]progress:  [ 4 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (/ (exp (log (+ 1 (exp (fma 2 x x))))) (fma (expm1 x) (exp x) 1)) 1)))>
* [enter]simplify:  Simplifying (log (+ 1 (exp (fma 2 x x))))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (11 enodes)
* [exit]simplify:  Simplified to (log1p (exp (fma 2 x x)))
* [exit]simplify:  Simplified to (log1p (exp (fma 2 x x)))
* * * * [misc]progress:  [ 5 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (/ (log (exp (+ 1 (exp (fma 2 x x))))) (fma (expm1 x) (exp x) 1)) 1)))>
* [enter]simplify:  Simplifying (exp (+ 1 (exp (fma 2 x x))))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (13 enodes)
* * [misc]simplify:  iters left: 3 (15 enodes)
* [exit]simplify:  Simplified to (* E (exp (exp (fma 2 x x))))
* [exit]simplify:  Simplified to (* E (exp (exp (fma 2 x x))))
* * * * [misc]progress:  [ 6 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (/ (* (* (cbrt (+ 1 (exp (fma 2 x x)))) (cbrt (+ 1 (exp (fma 2 x x))))) (cbrt (+ 1 (exp (fma 2 x x))))) (fma (expm1 x) (exp x) 1)) 1)))>
* [enter]simplify:  Simplifying (* (cbrt (+ 1 (exp (fma 2 x x)))) (cbrt (+ 1 (exp (fma 2 x x)))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* [exit]simplify:  Simplified to (* (cbrt (+ (exp (fma 2 x x)) 1)) (cbrt (+ (exp (fma 2 x x)) 1)))
* [exit]simplify:  Simplified to (* (cbrt (+ (exp (fma 2 x x)) 1)) (cbrt (+ (exp (fma 2 x x)) 1)))
* [enter]simplify:  Simplifying (cbrt (+ 1 (exp (fma 2 x x))))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* [exit]simplify:  Simplified to (cbrt (+ (exp (fma 2 x x)) 1))
* [exit]simplify:  Simplified to (cbrt (+ (exp (fma 2 x x)) 1))
* * * * [misc]progress:  [ 7 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (/ (cbrt (* (* (+ 1 (exp (fma 2 x x))) (+ 1 (exp (fma 2 x x)))) (+ 1 (exp (fma 2 x x))))) (fma (expm1 x) (exp x) 1)) 1)))>
* [enter]simplify:  Simplifying (* (* (+ 1 (exp (fma 2 x x))) (+ 1 (exp (fma 2 x x)))) (+ 1 (exp (fma 2 x x))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (24 enodes)
* * [misc]simplify:  iters left: 4 (50 enodes)
* * [misc]simplify:  iters left: 3 (125 enodes)
* * [misc]simplify:  iters left: 2 (193 enodes)
* * [misc]simplify:  iters left: 1 (238 enodes)
* [exit]simplify:  Simplified to (pow (+ 1 (exp (fma 2 x x))) 3)
* [exit]simplify:  Simplified to (pow (+ 1 (exp (fma 2 x x))) 3)
* * * * [misc]progress:  [ 8 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (/ (* (sqrt (+ 1 (exp (fma 2 x x)))) (sqrt (+ 1 (exp (fma 2 x x))))) (fma (expm1 x) (exp x) 1)) 1)))>
* [enter]simplify:  Simplifying (sqrt (+ 1 (exp (fma 2 x x))))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* [exit]simplify:  Simplified to (sqrt (+ (exp (fma 2 x x)) 1))
* [exit]simplify:  Simplified to (sqrt (+ (exp (fma 2 x x)) 1))
* [enter]simplify:  Simplifying (sqrt (+ 1 (exp (fma 2 x x))))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (10 enodes)
* [exit]simplify:  Simplified to (sqrt (+ (exp (fma 2 x x)) 1))
* [exit]simplify:  Simplified to (sqrt (+ (exp (fma 2 x x)) 1))
* * * * [misc]progress:  [ 9 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (/ (/ (+ (pow 1 3) (pow (exp (fma 2 x x)) 3)) (+ (* 1 1) (- (* (exp (fma 2 x x)) (exp (fma 2 x x))) (* 1 (exp (fma 2 x x)))))) (fma (expm1 x) (exp x) 1)) 1)))>
* [enter]simplify:  Simplifying (+ (pow 1 3) (pow (exp (fma 2 x x)) 3))
* * [misc]simplify:  iters left: 5 (9 enodes)
* * [misc]simplify:  iters left: 4 (17 enodes)
* * [misc]simplify:  iters left: 3 (21 enodes)
* * [misc]simplify:  iters left: 2 (27 enodes)
* * [misc]simplify:  iters left: 1 (33 enodes)
* [exit]simplify:  Simplified to (fma (exp (fma 2 x x)) (pow (exp 2) (fma 2 x x)) 1)
* [exit]simplify:  Simplified to (fma (exp (fma 2 x x)) (pow (exp 2) (fma 2 x x)) 1)
* [enter]simplify:  Simplifying (+ (* 1 1) (- (* (exp (fma 2 x x)) (exp (fma 2 x x))) (* 1 (exp (fma 2 x x)))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (24 enodes)
* * [misc]simplify:  iters left: 4 (36 enodes)
* * [misc]simplify:  iters left: 3 (53 enodes)
* * [misc]simplify:  iters left: 2 (71 enodes)
* * [misc]simplify:  iters left: 1 (85 enodes)
* [exit]simplify:  Simplified to (fma (exp (fma 2 x x)) (expm1 (fma 2 x x)) 1)
* [exit]simplify:  Simplified to (fma (exp (fma 2 x x)) (expm1 (fma 2 x x)) 1)
* * * * [misc]progress:  [ 10 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (/ (* 1 (+ 1 (exp (fma 2 x x)))) (fma (expm1 x) (exp x) 1)) 1)))>
* * * * [misc]progress:  [ 11 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (/ (/ (- (* 1 1) (* (exp (fma 2 x x)) (exp (fma 2 x x)))) (- 1 (exp (fma 2 x x)))) (fma (expm1 x) (exp x) 1)) 1)))>
* [enter]simplify:  Simplifying (- (* 1 1) (* (exp (fma 2 x x)) (exp (fma 2 x x))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (18 enodes)
* * [misc]simplify:  iters left: 3 (21 enodes)
* [exit]simplify:  Simplified to (- 1 (pow (exp 2) (fma 2 x x)))
* [exit]simplify:  Simplified to (- 1 (pow (exp 2) (fma 2 x x)))
* [enter]simplify:  Simplifying (- 1 (exp (fma 2 x x)))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (- 1 (exp (fma 2 x x)))
* [exit]simplify:  Simplified to (- 1 (exp (fma 2 x x)))
* * * * [misc]progress:  [ 12 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (/ (+ (exp (fma 2 x x)) 1) (fma (expm1 x) (exp x) 1)) 1)))>
* * * * [misc]progress:  [ 13 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (log1p (expm1 (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1)))) 1)))>
* [enter]simplify:  Simplifying (expm1 (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1)))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* [exit]simplify:  Simplified to (expm1 (/ (+ (exp (fma 2 x x)) 1) (fma (expm1 x) (exp x) 1)))
* [exit]simplify:  Simplified to (expm1 (/ (+ (exp (fma 2 x x)) 1) (fma (expm1 x) (exp x) 1)))
* * * * [misc]progress:  [ 14 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (expm1 (log1p (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1)))) 1)))>
* [enter]simplify:  Simplifying (log1p (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1)))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* [exit]simplify:  Simplified to (log1p (/ (+ (exp (fma 2 x x)) 1) (fma (expm1 x) (exp x) 1)))
* [exit]simplify:  Simplified to (log1p (/ (+ (exp (fma 2 x x)) 1) (fma (expm1 x) (exp x) 1)))
* * * * [misc]progress:  [ 15 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (pow (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1)) 1) 1)))>
* * * * [misc]progress:  [ 16 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (exp (- (log (+ 1 (exp (fma 2 x x)))) (log (fma (expm1 x) (exp x) 1)))) 1)))>
* [enter]simplify:  Simplifying (- (log (+ 1 (exp (fma 2 x x)))) (log (fma (expm1 x) (exp x) 1)))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (16 enodes)
* [exit]simplify:  Simplified to (- (log1p (exp (fma 2 x x))) (log (fma (expm1 x) (exp x) 1)))
* [exit]simplify:  Simplified to (- (log1p (exp (fma 2 x x))) (log (fma (expm1 x) (exp x) 1)))
* * * * [misc]progress:  [ 17 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (exp (log (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1)))) 1)))>
* [enter]simplify:  Simplifying (log (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1)))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (18 enodes)
* [exit]simplify:  Simplified to (- (log1p (exp (fma 2 x x))) (log (fma (expm1 x) (exp x) 1)))
* [exit]simplify:  Simplified to (- (log1p (exp (fma 2 x x))) (log (fma (expm1 x) (exp x) 1)))
* * * * [misc]progress:  [ 18 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (log (exp (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1)))) 1)))>
* [enter]simplify:  Simplifying (exp (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1)))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* [exit]simplify:  Simplified to (exp (/ (+ (exp (fma 2 x x)) 1) (fma (expm1 x) (exp x) 1)))
* [exit]simplify:  Simplified to (exp (/ (+ (exp (fma 2 x x)) 1) (fma (expm1 x) (exp x) 1)))
* * * * [misc]progress:  [ 19 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (cbrt (/ (* (* (+ 1 (exp (fma 2 x x))) (+ 1 (exp (fma 2 x x)))) (+ 1 (exp (fma 2 x x)))) (* (* (fma (expm1 x) (exp x) 1) (fma (expm1 x) (exp x) 1)) (fma (expm1 x) (exp x) 1)))) 1)))>
* [enter]simplify:  Simplifying (/ (* (* (+ 1 (exp (fma 2 x x))) (+ 1 (exp (fma 2 x x)))) (+ 1 (exp (fma 2 x x)))) (* (* (fma (expm1 x) (exp x) 1) (fma (expm1 x) (exp x) 1)) (fma (expm1 x) (exp x) 1)))
* * [misc]simplify:  iters left: 6 (14 enodes)
* * [misc]simplify:  iters left: 5 (34 enodes)
* * [misc]simplify:  iters left: 4 (76 enodes)
* * [misc]simplify:  iters left: 3 (205 enodes)
* * [misc]simplify:  iters left: 2 (353 enodes)
* * [misc]simplify:  iters left: 1 (479 enodes)
* [exit]simplify:  Simplified to (pow (/ (+ (exp (fma 2 x x)) 1) (fma (expm1 x) (exp x) 1)) 3)
* [exit]simplify:  Simplified to (pow (/ (+ (exp (fma 2 x x)) 1) (fma (expm1 x) (exp x) 1)) 3)
* * * * [misc]progress:  [ 20 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (* (* (cbrt (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1))) (cbrt (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1)))) (cbrt (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1)))) 1)))>
* [enter]simplify:  Simplifying (* (cbrt (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1))) (cbrt (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1))))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* [exit]simplify:  Simplified to (* (cbrt (/ (+ (exp (fma 2 x x)) 1) (fma (expm1 x) (exp x) 1))) (cbrt (/ (+ (exp (fma 2 x x)) 1) (fma (expm1 x) (exp x) 1))))
* [exit]simplify:  Simplified to (* (cbrt (/ (+ (exp (fma 2 x x)) 1) (fma (expm1 x) (exp x) 1))) (cbrt (/ (+ (exp (fma 2 x x)) 1) (fma (expm1 x) (exp x) 1))))
* [enter]simplify:  Simplifying (cbrt (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1)))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* [exit]simplify:  Simplified to (cbrt (/ (+ (exp (fma 2 x x)) 1) (fma (expm1 x) (exp x) 1)))
* [exit]simplify:  Simplified to (cbrt (/ (+ (exp (fma 2 x x)) 1) (fma (expm1 x) (exp x) 1)))
* * * * [misc]progress:  [ 21 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (cbrt (* (* (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1)) (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1))) (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1)))) 1)))>
* [enter]simplify:  Simplifying (* (* (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1)) (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1))) (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1)))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (53 enodes)
* * [misc]simplify:  iters left: 3 (139 enodes)
* * [misc]simplify:  iters left: 2 (217 enodes)
* * [misc]simplify:  iters left: 1 (391 enodes)
* [exit]simplify:  Simplified to (pow (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1)) 3)
* [exit]simplify:  Simplified to (pow (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1)) 3)
* * * * [misc]progress:  [ 22 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (* (sqrt (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1))) (sqrt (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1)))) 1)))>
* [enter]simplify:  Simplifying (sqrt (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1)))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* [exit]simplify:  Simplified to (sqrt (/ (+ (exp (fma 2 x x)) 1) (fma (expm1 x) (exp x) 1)))
* [exit]simplify:  Simplified to (sqrt (/ (+ (exp (fma 2 x x)) 1) (fma (expm1 x) (exp x) 1)))
* [enter]simplify:  Simplifying (sqrt (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1)))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* [exit]simplify:  Simplified to (sqrt (/ (+ (exp (fma 2 x x)) 1) (fma (expm1 x) (exp x) 1)))
* [exit]simplify:  Simplified to (sqrt (/ (+ (exp (fma 2 x x)) 1) (fma (expm1 x) (exp x) 1)))
* * * * [misc]progress:  [ 23 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (/ (- (+ 1 (exp (fma 2 x x)))) (- (fma (expm1 x) (exp x) 1))) 1)))>
* [enter]simplify:  Simplifying (- (+ 1 (exp (fma 2 x x))))
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* * [misc]simplify:  iters left: 4 (14 enodes)
* [exit]simplify:  Simplified to (- (+ (exp (fma 2 x x)) 1))
* [exit]simplify:  Simplified to (- (+ (exp (fma 2 x x)) 1))
* [enter]simplify:  Simplifying (- (fma (expm1 x) (exp x) 1))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (- (fma (expm1 x) (exp x) 1))
* [exit]simplify:  Simplified to (- (fma (expm1 x) (exp x) 1))
* * * * [misc]progress:  [ 24 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (* (/ (* (cbrt (+ 1 (exp (fma 2 x x)))) (cbrt (+ 1 (exp (fma 2 x x))))) (* (cbrt (fma (expm1 x) (exp x) 1)) (cbrt (fma (expm1 x) (exp x) 1)))) (/ (cbrt (+ 1 (exp (fma 2 x x)))) (cbrt (fma (expm1 x) (exp x) 1)))) 1)))>
* [enter]simplify:  Simplifying (/ (* (cbrt (+ 1 (exp (fma 2 x x)))) (cbrt (+ 1 (exp (fma 2 x x))))) (* (cbrt (fma (expm1 x) (exp x) 1)) (cbrt (fma (expm1 x) (exp x) 1))))
* * [misc]simplify:  iters left: 6 (14 enodes)
* * [misc]simplify:  iters left: 5 (23 enodes)
* * [misc]simplify:  iters left: 4 (30 enodes)
* * [misc]simplify:  iters left: 3 (35 enodes)
* * [misc]simplify:  iters left: 2 (38 enodes)
* [exit]simplify:  Simplified to (* (/ (cbrt (+ (exp (fma 2 x x)) 1)) (cbrt (fma (expm1 x) (exp x) 1))) (/ (cbrt (+ (exp (fma 2 x x)) 1)) (cbrt (fma (expm1 x) (exp x) 1))))
* [exit]simplify:  Simplified to (* (/ (cbrt (+ (exp (fma 2 x x)) 1)) (cbrt (fma (expm1 x) (exp x) 1))) (/ (cbrt (+ (exp (fma 2 x x)) 1)) (cbrt (fma (expm1 x) (exp x) 1))))
* [enter]simplify:  Simplifying (/ (cbrt (+ 1 (exp (fma 2 x x)))) (cbrt (fma (expm1 x) (exp x) 1)))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* [exit]simplify:  Simplified to (/ (cbrt (+ (exp (fma 2 x x)) 1)) (cbrt (fma (expm1 x) (exp x) 1)))
* [exit]simplify:  Simplified to (/ (cbrt (+ (exp (fma 2 x x)) 1)) (cbrt (fma (expm1 x) (exp x) 1)))
* * * * [misc]progress:  [ 25 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (* (/ (* (cbrt (+ 1 (exp (fma 2 x x)))) (cbrt (+ 1 (exp (fma 2 x x))))) (sqrt (fma (expm1 x) (exp x) 1))) (/ (cbrt (+ 1 (exp (fma 2 x x)))) (sqrt (fma (expm1 x) (exp x) 1)))) 1)))>
* [enter]simplify:  Simplifying (/ (* (cbrt (+ 1 (exp (fma 2 x x)))) (cbrt (+ 1 (exp (fma 2 x x))))) (sqrt (fma (expm1 x) (exp x) 1)))
* * [misc]simplify:  iters left: 6 (13 enodes)
* * [misc]simplify:  iters left: 5 (18 enodes)
* * [misc]simplify:  iters left: 4 (20 enodes)
* * [misc]simplify:  iters left: 3 (21 enodes)
* [exit]simplify:  Simplified to (* (cbrt (+ (exp (fma 2 x x)) 1)) (/ (cbrt (+ (exp (fma 2 x x)) 1)) (sqrt (fma (expm1 x) (exp x) 1))))
* [exit]simplify:  Simplified to (* (cbrt (+ (exp (fma 2 x x)) 1)) (/ (cbrt (+ (exp (fma 2 x x)) 1)) (sqrt (fma (expm1 x) (exp x) 1))))
* [enter]simplify:  Simplifying (/ (cbrt (+ 1 (exp (fma 2 x x)))) (sqrt (fma (expm1 x) (exp x) 1)))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* [exit]simplify:  Simplified to (/ (cbrt (+ (exp (fma 2 x x)) 1)) (sqrt (fma (expm1 x) (exp x) 1)))
* [exit]simplify:  Simplified to (/ (cbrt (+ (exp (fma 2 x x)) 1)) (sqrt (fma (expm1 x) (exp x) 1)))
* * * * [misc]progress:  [ 26 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (* (/ (* (cbrt (+ 1 (exp (fma 2 x x)))) (cbrt (+ 1 (exp (fma 2 x x))))) 1) (/ (cbrt (+ 1 (exp (fma 2 x x)))) (fma (expm1 x) (exp x) 1))) 1)))>
* [enter]simplify:  Simplifying (/ (* (cbrt (+ 1 (exp (fma 2 x x)))) (cbrt (+ 1 (exp (fma 2 x x))))) 1)
* * [misc]simplify:  iters left: 6 (9 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* * [misc]simplify:  iters left: 4 (16 enodes)
* * [misc]simplify:  iters left: 3 (17 enodes)
* [exit]simplify:  Simplified to (* (/ (cbrt (+ (exp (fma 2 x x)) 1)) 1) (cbrt (+ (exp (fma 2 x x)) 1)))
* [exit]simplify:  Simplified to (* (/ (cbrt (+ (exp (fma 2 x x)) 1)) 1) (cbrt (+ (exp (fma 2 x x)) 1)))
* [enter]simplify:  Simplifying (/ (cbrt (+ 1 (exp (fma 2 x x)))) (fma (expm1 x) (exp x) 1))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* [exit]simplify:  Simplified to (/ (cbrt (+ (exp (fma 2 x x)) 1)) (fma (expm1 x) (exp x) 1))
* [exit]simplify:  Simplified to (/ (cbrt (+ (exp (fma 2 x x)) 1)) (fma (expm1 x) (exp x) 1))
* * * * [misc]progress:  [ 27 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (* (/ (sqrt (+ 1 (exp (fma 2 x x)))) (* (cbrt (fma (expm1 x) (exp x) 1)) (cbrt (fma (expm1 x) (exp x) 1)))) (/ (sqrt (+ 1 (exp (fma 2 x x)))) (cbrt (fma (expm1 x) (exp x) 1)))) 1)))>
* [enter]simplify:  Simplifying (/ (sqrt (+ 1 (exp (fma 2 x x)))) (* (cbrt (fma (expm1 x) (exp x) 1)) (cbrt (fma (expm1 x) (exp x) 1))))
* * [misc]simplify:  iters left: 6 (13 enodes)
* * [misc]simplify:  iters left: 5 (18 enodes)
* [exit]simplify:  Simplified to (/ (sqrt (+ (exp (fma 2 x x)) 1)) (* (cbrt (fma (expm1 x) (exp x) 1)) (cbrt (fma (expm1 x) (exp x) 1))))
* [exit]simplify:  Simplified to (/ (sqrt (+ (exp (fma 2 x x)) 1)) (* (cbrt (fma (expm1 x) (exp x) 1)) (cbrt (fma (expm1 x) (exp x) 1))))
* [enter]simplify:  Simplifying (/ (sqrt (+ 1 (exp (fma 2 x x)))) (cbrt (fma (expm1 x) (exp x) 1)))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* [exit]simplify:  Simplified to (/ (sqrt (+ (exp (fma 2 x x)) 1)) (cbrt (fma (expm1 x) (exp x) 1)))
* [exit]simplify:  Simplified to (/ (sqrt (+ (exp (fma 2 x x)) 1)) (cbrt (fma (expm1 x) (exp x) 1)))
* * * * [misc]progress:  [ 28 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (* (/ (sqrt (+ 1 (exp (fma 2 x x)))) (sqrt (fma (expm1 x) (exp x) 1))) (/ (sqrt (+ 1 (exp (fma 2 x x)))) (sqrt (fma (expm1 x) (exp x) 1)))) 1)))>
* [enter]simplify:  Simplifying (/ (sqrt (+ 1 (exp (fma 2 x x)))) (sqrt (fma (expm1 x) (exp x) 1)))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* [exit]simplify:  Simplified to (/ (sqrt (+ (exp (fma 2 x x)) 1)) (sqrt (fma (expm1 x) (exp x) 1)))
* [exit]simplify:  Simplified to (/ (sqrt (+ (exp (fma 2 x x)) 1)) (sqrt (fma (expm1 x) (exp x) 1)))
* [enter]simplify:  Simplifying (/ (sqrt (+ 1 (exp (fma 2 x x)))) (sqrt (fma (expm1 x) (exp x) 1)))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (15 enodes)
* [exit]simplify:  Simplified to (/ (sqrt (+ (exp (fma 2 x x)) 1)) (sqrt (fma (expm1 x) (exp x) 1)))
* [exit]simplify:  Simplified to (/ (sqrt (+ (exp (fma 2 x x)) 1)) (sqrt (fma (expm1 x) (exp x) 1)))
* * * * [misc]progress:  [ 29 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (* (/ (sqrt (+ 1 (exp (fma 2 x x)))) 1) (/ (sqrt (+ 1 (exp (fma 2 x x)))) (fma (expm1 x) (exp x) 1))) 1)))>
* [enter]simplify:  Simplifying (/ (sqrt (+ 1 (exp (fma 2 x x)))) 1)
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (11 enodes)
* [exit]simplify:  Simplified to (/ (sqrt (+ (exp (fma 2 x x)) 1)) 1)
* [exit]simplify:  Simplified to (/ (sqrt (+ (exp (fma 2 x x)) 1)) 1)
* [enter]simplify:  Simplifying (/ (sqrt (+ 1 (exp (fma 2 x x)))) (fma (expm1 x) (exp x) 1))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* [exit]simplify:  Simplified to (/ (sqrt (+ (exp (fma 2 x x)) 1)) (fma (expm1 x) (exp x) 1))
* [exit]simplify:  Simplified to (/ (sqrt (+ (exp (fma 2 x x)) 1)) (fma (expm1 x) (exp x) 1))
* * * * [misc]progress:  [ 30 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (* (/ 1 (* (cbrt (fma (expm1 x) (exp x) 1)) (cbrt (fma (expm1 x) (exp x) 1)))) (/ (+ 1 (exp (fma 2 x x))) (cbrt (fma (expm1 x) (exp x) 1)))) 1)))>
* [enter]simplify:  Simplifying (/ 1 (* (cbrt (fma (expm1 x) (exp x) 1)) (cbrt (fma (expm1 x) (exp x) 1))))
* * [misc]simplify:  iters left: 6 (8 enodes)
* * [misc]simplify:  iters left: 5 (12 enodes)
* [exit]simplify:  Simplified to (/ (/ 1 (cbrt (fma (expm1 x) (exp x) 1))) (cbrt (fma (expm1 x) (exp x) 1)))
* [exit]simplify:  Simplified to (/ (/ 1 (cbrt (fma (expm1 x) (exp x) 1))) (cbrt (fma (expm1 x) (exp x) 1)))
* [enter]simplify:  Simplifying (/ (+ 1 (exp (fma 2 x x))) (cbrt (fma (expm1 x) (exp x) 1)))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* [exit]simplify:  Simplified to (/ (+ (exp (fma 2 x x)) 1) (cbrt (fma (expm1 x) (exp x) 1)))
* [exit]simplify:  Simplified to (/ (+ (exp (fma 2 x x)) 1) (cbrt (fma (expm1 x) (exp x) 1)))
* * * * [misc]progress:  [ 31 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (* (/ 1 (sqrt (fma (expm1 x) (exp x) 1))) (/ (+ 1 (exp (fma 2 x x))) (sqrt (fma (expm1 x) (exp x) 1)))) 1)))>
* [enter]simplify:  Simplifying (/ 1 (sqrt (fma (expm1 x) (exp x) 1)))
* * [misc]simplify:  iters left: 5 (7 enodes)
* * [misc]simplify:  iters left: 4 (9 enodes)
* [exit]simplify:  Simplified to (/ 1 (sqrt (fma (expm1 x) (exp x) 1)))
* [exit]simplify:  Simplified to (/ 1 (sqrt (fma (expm1 x) (exp x) 1)))
* [enter]simplify:  Simplifying (/ (+ 1 (exp (fma 2 x x))) (sqrt (fma (expm1 x) (exp x) 1)))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* [exit]simplify:  Simplified to (/ (+ (exp (fma 2 x x)) 1) (sqrt (fma (expm1 x) (exp x) 1)))
* [exit]simplify:  Simplified to (/ (+ (exp (fma 2 x x)) 1) (sqrt (fma (expm1 x) (exp x) 1)))
* * * * [misc]progress:  [ 32 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (* (/ 1 1) (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1))) 1)))>
* [enter]simplify:  Simplifying (/ 1 1)
* * [misc]simplify:  iters left: 2 (2 enodes)
* * [misc]simplify:  iters left: 1 (4 enodes)
* [exit]simplify:  Simplified to 1
* [exit]simplify:  Simplified to 1
* [enter]simplify:  Simplifying (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* [exit]simplify:  Simplified to (/ (+ (exp (fma 2 x x)) 1) (fma (expm1 x) (exp x) 1))
* [exit]simplify:  Simplified to (/ (+ (exp (fma 2 x x)) 1) (fma (expm1 x) (exp x) 1))
* * * * [misc]progress:  [ 33 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (* 1 (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1))) 1)))>
* * * * [misc]progress:  [ 34 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (* (+ 1 (exp (fma 2 x x))) (/ 1 (fma (expm1 x) (exp x) 1))) 1)))>
* [enter]simplify:  Simplifying (/ 1 (fma (expm1 x) (exp x) 1))
* * [misc]simplify:  iters left: 4 (6 enodes)
* * [misc]simplify:  iters left: 3 (8 enodes)
* [exit]simplify:  Simplified to (/ 1 (fma (expm1 x) (exp x) 1))
* [exit]simplify:  Simplified to (/ 1 (fma (expm1 x) (exp x) 1))
* * * * [misc]progress:  [ 35 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (/ 1 (/ (fma (expm1 x) (exp x) 1) (+ 1 (exp (fma 2 x x))))) 1)))>
* [enter]simplify:  Simplifying (/ (fma (expm1 x) (exp x) 1) (+ 1 (exp (fma 2 x x))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* [exit]simplify:  Simplified to (/ (fma (expm1 x) (exp x) 1) (+ 1 (exp (fma 2 x x))))
* [exit]simplify:  Simplified to (/ (fma (expm1 x) (exp x) 1) (+ 1 (exp (fma 2 x x))))
* * * * [misc]progress:  [ 36 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (/ (/ (+ 1 (exp (fma 2 x x))) (* (cbrt (fma (expm1 x) (exp x) 1)) (cbrt (fma (expm1 x) (exp x) 1)))) (cbrt (fma (expm1 x) (exp x) 1))) 1)))>
* [enter]simplify:  Simplifying (/ (+ 1 (exp (fma 2 x x))) (* (cbrt (fma (expm1 x) (exp x) 1)) (cbrt (fma (expm1 x) (exp x) 1))))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* [exit]simplify:  Simplified to (/ (/ (+ (exp (fma 2 x x)) 1) (cbrt (fma (expm1 x) (exp x) 1))) (cbrt (fma (expm1 x) (exp x) 1)))
* [exit]simplify:  Simplified to (/ (/ (+ (exp (fma 2 x x)) 1) (cbrt (fma (expm1 x) (exp x) 1))) (cbrt (fma (expm1 x) (exp x) 1)))
* * * * [misc]progress:  [ 37 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (/ (/ (+ 1 (exp (fma 2 x x))) (sqrt (fma (expm1 x) (exp x) 1))) (sqrt (fma (expm1 x) (exp x) 1))) 1)))>
* [enter]simplify:  Simplifying (/ (+ 1 (exp (fma 2 x x))) (sqrt (fma (expm1 x) (exp x) 1)))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* [exit]simplify:  Simplified to (/ (+ (exp (fma 2 x x)) 1) (sqrt (fma (expm1 x) (exp x) 1)))
* [exit]simplify:  Simplified to (/ (+ (exp (fma 2 x x)) 1) (sqrt (fma (expm1 x) (exp x) 1)))
* * * * [misc]progress:  [ 38 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (/ (/ (+ 1 (exp (fma 2 x x))) 1) (fma (expm1 x) (exp x) 1)) 1)))>
* [enter]simplify:  Simplifying (/ (+ 1 (exp (fma 2 x x))) 1)
* * [misc]simplify:  iters left: 6 (7 enodes)
* * [misc]simplify:  iters left: 5 (10 enodes)
* [exit]simplify:  Simplified to (/ (+ (exp (fma 2 x x)) 1) 1)
* [exit]simplify:  Simplified to (/ (+ (exp (fma 2 x x)) 1) 1)
* * * * [misc]progress:  [ 39 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (/ (* (cbrt (+ 1 (exp (fma 2 x x)))) (cbrt (+ 1 (exp (fma 2 x x))))) (/ (fma (expm1 x) (exp x) 1) (cbrt (+ 1 (exp (fma 2 x x)))))) 1)))>
* [enter]simplify:  Simplifying (/ (fma (expm1 x) (exp x) 1) (cbrt (+ 1 (exp (fma 2 x x)))))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* [exit]simplify:  Simplified to (/ (fma (expm1 x) (exp x) 1) (cbrt (+ 1 (exp (fma 2 x x)))))
* [exit]simplify:  Simplified to (/ (fma (expm1 x) (exp x) 1) (cbrt (+ 1 (exp (fma 2 x x)))))
* * * * [misc]progress:  [ 40 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (/ (sqrt (+ 1 (exp (fma 2 x x)))) (/ (fma (expm1 x) (exp x) 1) (sqrt (+ 1 (exp (fma 2 x x)))))) 1)))>
* [enter]simplify:  Simplifying (/ (fma (expm1 x) (exp x) 1) (sqrt (+ 1 (exp (fma 2 x x)))))
* * [misc]simplify:  iters left: 6 (11 enodes)
* * [misc]simplify:  iters left: 5 (14 enodes)
* [exit]simplify:  Simplified to (/ (fma (expm1 x) (exp x) 1) (sqrt (+ 1 (exp (fma 2 x x)))))
* [exit]simplify:  Simplified to (/ (fma (expm1 x) (exp x) 1) (sqrt (+ 1 (exp (fma 2 x x)))))
* * * * [misc]progress:  [ 41 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (/ 1 (/ (fma (expm1 x) (exp x) 1) (+ 1 (exp (fma 2 x x))))) 1)))>
* [enter]simplify:  Simplifying (/ (fma (expm1 x) (exp x) 1) (+ 1 (exp (fma 2 x x))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* [exit]simplify:  Simplified to (/ (fma (expm1 x) (exp x) 1) (+ 1 (exp (fma 2 x x))))
* [exit]simplify:  Simplified to (/ (fma (expm1 x) (exp x) 1) (+ 1 (exp (fma 2 x x))))
* * * * [misc]progress:  [ 42 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (/ (+ (pow 1 3) (pow (exp (fma 2 x x)) 3)) (* (fma (expm1 x) (exp x) 1) (+ (* 1 1) (- (* (exp (fma 2 x x)) (exp (fma 2 x x))) (* 1 (exp (fma 2 x x))))))) 1)))>
* [enter]simplify:  Simplifying (* (fma (expm1 x) (exp x) 1) (+ (* 1 1) (- (* (exp (fma 2 x x)) (exp (fma 2 x x))) (* 1 (exp (fma 2 x x))))))
* * [misc]simplify:  iters left: 6 (14 enodes)
* * [misc]simplify:  iters left: 5 (35 enodes)
* * [misc]simplify:  iters left: 4 (65 enodes)
* * [misc]simplify:  iters left: 3 (94 enodes)
* * [misc]simplify:  iters left: 2 (129 enodes)
* * [misc]simplify:  iters left: 1 (185 enodes)
* [exit]simplify:  Simplified to (fma (* (expm1 (fma 2 x x)) (fma (expm1 x) (exp x) 1)) (exp (fma 2 x x)) (fma (expm1 x) (exp x) 1))
* [exit]simplify:  Simplified to (fma (* (expm1 (fma 2 x x)) (fma (expm1 x) (exp x) 1)) (exp (fma 2 x x)) (fma (expm1 x) (exp x) 1))
* * * * [misc]progress:  [ 43 / 49 ] simplifiying candidate #<alt-delta (λ (x) (sqrt (/ (/ (- (* 1 1) (* (exp (fma 2 x x)) (exp (fma 2 x x)))) (* (fma (expm1 x) (exp x) 1) (- 1 (exp (fma 2 x x))))) 1)))>
* [enter]simplify:  Simplifying (* (fma (expm1 x) (exp x) 1) (- 1 (exp (fma 2 x x))))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (13 enodes)
* [exit]simplify:  Simplified to (* (- 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1))
* [exit]simplify:  Simplified to (* (- 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1))
* * * * [misc]progress:  [ 44 / 49 ] simplifiying candidate #<alt-event (λ (x) (sqrt (/ (/ (+ (* 9/2 (pow x 2)) (+ 2 (* 3 x))) (fma (expm1 x) (exp x) 1)) 1)))>
* [enter]simplify:  Simplifying (sqrt (/ (/ (+ (* 9/2 (pow x 2)) (+ 2 (* 3 x))) (fma (expm1 x) (exp x) 1)) 1))
* * [misc]simplify:  iters left: 6 (16 enodes)
* * [misc]simplify:  iters left: 5 (27 enodes)
* * [misc]simplify:  iters left: 4 (38 enodes)
* * [misc]simplify:  iters left: 3 (52 enodes)
* * [misc]simplify:  iters left: 2 (65 enodes)
* * [misc]simplify:  iters left: 1 (71 enodes)
* [exit]simplify:  Simplified to (sqrt (/ (fma x (fma 9/2 x 3) 2) (fma (expm1 x) (exp x) 1)))
* * * * [misc]progress:  [ 45 / 49 ] simplifiying candidate #<alt-event (λ (x) (sqrt (/ (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1)) 1)))>
* [enter]simplify:  Simplifying (sqrt (/ (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1)) 1))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (18 enodes)
* * [misc]simplify:  iters left: 3 (22 enodes)
* [exit]simplify:  Simplified to (sqrt (/ (+ (exp (fma 2 x x)) 1) (fma (expm1 x) (exp x) 1)))
* * * * [misc]progress:  [ 46 / 49 ] simplifiying candidate #<alt-event (λ (x) (sqrt (/ (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1)) 1)))>
* [enter]simplify:  Simplifying (sqrt (/ (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1)) 1))
* * [misc]simplify:  iters left: 6 (12 enodes)
* * [misc]simplify:  iters left: 5 (17 enodes)
* * [misc]simplify:  iters left: 4 (18 enodes)
* * [misc]simplify:  iters left: 3 (22 enodes)
* [exit]simplify:  Simplified to (sqrt (/ (+ (exp (fma 2 x x)) 1) (fma (expm1 x) (exp x) 1)))
* * * * [misc]progress:  [ 47 / 49 ] simplifiying candidate #<alt-event (λ (x) (sqrt (/ (+ (* 1/2 (pow x 2)) (+ 2 x)) 1)))>
* [enter]simplify:  Simplifying (sqrt (/ (+ (* 1/2 (pow x 2)) (+ 2 x)) 1))
* * [misc]simplify:  iters left: 6 (10 enodes)
* * [misc]simplify:  iters left: 5 (18 enodes)
* * [misc]simplify:  iters left: 4 (26 enodes)
* * [misc]simplify:  iters left: 3 (34 enodes)
* * [misc]simplify:  iters left: 2 (41 enodes)
* * [misc]simplify:  iters left: 1 (46 enodes)
* [exit]simplify:  Simplified to (sqrt (/ (fma x (fma 1/2 x 1) 2) 1))
* * * * [misc]progress:  [ 48 / 49 ] simplifiying candidate #<alt-event (λ (x) (sqrt (/ (/ (+ 1 (exp (fma 2 x x))) (- (+ 1 (pow (exp x) 2)) (exp x))) 1)))>
* [enter]simplify:  Simplifying (sqrt (/ (/ (+ 1 (exp (fma 2 x x))) (- (+ 1 (pow (exp x) 2)) (exp x))) 1))
* * [misc]simplify:  iters left: 6 (13 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (31 enodes)
* * [misc]simplify:  iters left: 3 (38 enodes)
* * [misc]simplify:  iters left: 2 (47 enodes)
* * [misc]simplify:  iters left: 1 (55 enodes)
* [exit]simplify:  Simplified to (sqrt (/ (+ (exp (fma 2 x x)) 1) (fma (exp x) (exp x) (- 1 (exp x)))))
* * * * [misc]progress:  [ 49 / 49 ] simplifiying candidate #<alt-event (λ (x) (sqrt (/ (/ (+ 1 (exp (fma 2 x x))) (- (+ 1 (pow (exp x) 2)) (exp x))) 1)))>
* [enter]simplify:  Simplifying (sqrt (/ (/ (+ 1 (exp (fma 2 x x))) (- (+ 1 (pow (exp x) 2)) (exp x))) 1))
* * [misc]simplify:  iters left: 6 (13 enodes)
* * [misc]simplify:  iters left: 5 (22 enodes)
* * [misc]simplify:  iters left: 4 (31 enodes)
* * [misc]simplify:  iters left: 3 (38 enodes)
* * [misc]simplify:  iters left: 2 (47 enodes)
* * [misc]simplify:  iters left: 1 (55 enodes)
* [exit]simplify:  Simplified to (sqrt (/ (+ (exp (fma 2 x x)) 1) (fma (exp x) (exp x) (- 1 (exp x)))))
* * * [misc]progress:  adding candidates to table
* [misc]progress:  [Phase 3 of 3] Extracting.
* * [misc]regime-changes:  Finding splitpoints for: (#<alt-delta (λ (x) (sqrt (/ (+ 1 (exp x)) 1)))> #<alt-delta (λ (x) (sqrt (/ (/ (+ 1 (exp (fma 2 x x))) (fma (expm1 x) (exp x) 1)) 1)))>)
* [misc]regimes:  Found splitpoints: (#s(sp 0 (sqrt (/ (- (exp (* 2 x)) 1) (- (exp x) 1))) +inf.0)) , with alts (#<alt-delta (λ (x) (sqrt (/ (+ 1 (exp x)) 1)))>)
* [enter]simplify:  Simplifying (/ (+ 1 (exp x)) 1)
* * [misc]simplify:  iters left: 5 (5 enodes)
* * [misc]simplify:  iters left: 4 (8 enodes)
* [exit]simplify:  Simplified to (/ (+ 1 (exp x)) 1)
* [exit]simplify:  Simplified to (/ (+ 1 (exp x)) 1)