1546942372.457 * [misc]progress:  [Phase 1 of 3] Setting up.
1546942372.457 * * * [misc]progress:  [1/2] Preparing points
1546942372.457 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1546942372.471 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942372.471 * * * * [misc]points:  Sampling 119 additional inputs, on iter 1 have 137 / 256
1546942372.477 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942372.477 * * * * [misc]points:  Sampling 49 additional inputs, on iter 2 have 207 / 256
1546942372.481 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942372.481 * * * * [misc]points:  Sampling 31 additional inputs, on iter 3 have 225 / 256
1546942372.483 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942372.483 * * * * [misc]points:  Sampling 15 additional inputs, on iter 4 have 241 / 256
1546942372.485 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942372.485 * * * * [misc]points:  Sampling 4 additional inputs, on iter 5 have 252 / 256
1546942372.486 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942372.486 * * * * [misc]points:  Sampling 4 additional inputs, on iter 6 have 254 / 256
1546942372.487 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942372.487 * * * * [misc]points:  Sampling 4 additional inputs, on iter 7 have 255 / 256
1546942372.488 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942372.488 * * * * [exit]points:  Sampled 258 points with exact outputs
1546942372.488 * * * [misc]progress:  [2/2] Setting up program.
1546942372.490 * [misc]progress:  [Phase 2 of 3] Improving.
1546942372.490 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (exp (- (- 1 (* x x)))))>
1546942372.490 * [enter]simplify:  Simplifying (exp (- (- 1 (* x x))))
1546942372.490 * * [misc]simplify:  iters left: 6 (6 enodes)
1546942372.491 * * [misc]simplify:  iters left: 5 (12 enodes)
1546942372.493 * * [misc]simplify:  iters left: 4 (25 enodes)
1546942372.497 * * [misc]simplify:  iters left: 3 (51 enodes)
1546942372.505 * * [misc]simplify:  iters left: 2 (82 enodes)
1546942372.515 * * [misc]simplify:  iters left: 1 (126 enodes)
1546942372.539 * [exit]simplify:  Simplified to (exp (fma x x -1))
1546942372.539 * [misc]simplify:  Simplified (2) to (λ (x) (exp (fma x x -1)))
1546942372.543 * * [misc]progress:  iteration 1 / 4
1546942372.543 * * * [misc]progress:  picking best candidate
1546942372.545 * * * * [misc]pick:  Picked  #<alt (λ (x) (exp (fma x x -1)))>
1546942372.545 * * * [misc]progress:  localizing error
1546942372.552 * * * [misc]progress:  generating rewritten candidates
1546942372.552 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1546942372.554 * * * [misc]progress:  generating series expansions
1546942372.554 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1546942372.554 * [misc]backup-simplify:  Simplify (exp (fma x x -1)) into (exp (fma x x -1))
1546942372.554 * [misc]approximate:  Taking taylor expansion of (exp (fma x x -1)) in (x) around 0
1546942372.554 * [misc]taylor:  Taking taylor expansion of (exp (fma x x -1)) in x
1546942372.554 * [misc]taylor:  Taking taylor expansion of (fma x x -1) in x
1546942372.554 * [misc]taylor:  Rewrote expression to (+ (* x x) -1)
1546942372.554 * [misc]taylor:  Taking taylor expansion of (* x x) in x
1546942372.554 * [misc]taylor:  Taking taylor expansion of x in x
1546942372.554 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.554 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.554 * [misc]taylor:  Taking taylor expansion of x in x
1546942372.554 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.554 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.554 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942372.554 * [misc]backup-simplify:  Simplify -1 into -1
1546942372.554 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1546942372.555 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546942372.555 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1546942372.555 * [misc]taylor:  Taking taylor expansion of (exp (fma x x -1)) in x
1546942372.555 * [misc]taylor:  Taking taylor expansion of (fma x x -1) in x
1546942372.555 * [misc]taylor:  Rewrote expression to (+ (* x x) -1)
1546942372.555 * [misc]taylor:  Taking taylor expansion of (* x x) in x
1546942372.555 * [misc]taylor:  Taking taylor expansion of x in x
1546942372.555 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.555 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.555 * [misc]taylor:  Taking taylor expansion of x in x
1546942372.555 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.555 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.555 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942372.555 * [misc]backup-simplify:  Simplify -1 into -1
1546942372.555 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1546942372.555 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546942372.555 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1546942372.556 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1546942372.556 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
1546942372.556 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942372.557 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0
1546942372.557 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.557 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
1546942372.558 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546942372.559 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1)
1546942372.559 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1546942372.559 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
1546942372.560 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942372.562 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1546942372.562 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.562 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1546942372.562 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942372.566 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp -1))
1546942372.566 * [misc]backup-simplify:  Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1))
1546942372.567 * [misc]backup-simplify:  Simplify (+ (* (* 1/2 (exp -1)) (pow x 4)) (+ (* (exp -1) (pow x 2)) (exp -1))) into (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
1546942372.567 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
1546942372.567 * [misc]approximate:  Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in (x) around 0
1546942372.567 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x
1546942372.567 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x
1546942372.567 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1)
1546942372.567 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
1546942372.567 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546942372.567 * [misc]taylor:  Taking taylor expansion of x in x
1546942372.567 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.567 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.567 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546942372.567 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546942372.567 * [misc]taylor:  Taking taylor expansion of x in x
1546942372.567 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.567 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.567 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546942372.567 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942372.568 * [misc]backup-simplify:  Simplify -1 into -1
1546942372.568 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546942372.568 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546942372.568 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
1546942372.568 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x
1546942372.568 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x
1546942372.568 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1)
1546942372.568 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
1546942372.568 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546942372.568 * [misc]taylor:  Taking taylor expansion of x in x
1546942372.568 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.568 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.568 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546942372.568 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546942372.568 * [misc]taylor:  Taking taylor expansion of x in x
1546942372.568 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.568 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.568 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546942372.568 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942372.568 * [misc]backup-simplify:  Simplify -1 into -1
1546942372.568 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546942372.568 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546942372.569 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
1546942372.569 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
1546942372.569 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.569 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.569 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.569 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.569 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.569 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.569 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) -1)) into (exp (fma x x -1))
1546942372.569 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 (- x)) (/ 1 (- x)) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
1546942372.569 * [misc]approximate:  Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in (x) around 0
1546942372.569 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x
1546942372.569 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x
1546942372.569 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1)
1546942372.569 * [misc]taylor:  Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
1546942372.569 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1546942372.569 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942372.569 * [misc]backup-simplify:  Simplify -1 into -1
1546942372.569 * [misc]taylor:  Taking taylor expansion of x in x
1546942372.569 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.569 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.569 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1546942372.569 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1546942372.569 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942372.569 * [misc]backup-simplify:  Simplify -1 into -1
1546942372.569 * [misc]taylor:  Taking taylor expansion of x in x
1546942372.569 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.569 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.570 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1546942372.570 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942372.570 * [misc]backup-simplify:  Simplify -1 into -1
1546942372.570 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1546942372.570 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546942372.570 * [misc]backup-simplify:  Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
1546942372.570 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x
1546942372.570 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x
1546942372.570 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1)
1546942372.570 * [misc]taylor:  Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
1546942372.570 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1546942372.570 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942372.570 * [misc]backup-simplify:  Simplify -1 into -1
1546942372.570 * [misc]taylor:  Taking taylor expansion of x in x
1546942372.570 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.570 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.570 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1546942372.570 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1546942372.570 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942372.570 * [misc]backup-simplify:  Simplify -1 into -1
1546942372.570 * [misc]taylor:  Taking taylor expansion of x in x
1546942372.570 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.570 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.570 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1546942372.570 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942372.570 * [misc]backup-simplify:  Simplify -1 into -1
1546942372.570 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1546942372.571 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546942372.571 * [misc]backup-simplify:  Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
1546942372.571 * [misc]backup-simplify:  Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
1546942372.571 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.571 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.571 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.571 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.571 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.571 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.571 * [misc]backup-simplify:  Simplify (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) -1)) into (exp (fma x x -1))
1546942372.571 * * * [misc]progress:  simplifying candidates
1546942372.571 * * * * [misc]progress:  [ 1 / 17 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (exp (fma x x -1)))))>
1546942372.571 * * * * [misc]progress:  [ 2 / 17 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (exp (fma x x -1)))))>
1546942372.571 * * * * [misc]progress:  [ 3 / 17 ] simplifiying candidate #<alt (λ (x) (pow (exp (fma x x -1)) 1))>
1546942372.571 * * * * [misc]progress:  [ 4 / 17 ] simplifiying candidate #<alt (λ (x) (pow (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) (cbrt (fma x x -1))))>
1546942372.571 * [enter]simplify:  Simplifying (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1))))
1546942372.571 * * [misc]simplify:  iters left: 5 (6 enodes)
1546942372.572 * * [misc]simplify:  iters left: 4 (10 enodes)
1546942372.574 * * [misc]simplify:  iters left: 3 (15 enodes)
1546942372.577 * * [misc]simplify:  iters left: 2 (21 enodes)
1546942372.582 * * [misc]simplify:  iters left: 1 (36 enodes)
1546942372.602 * [exit]simplify:  Simplified to (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1))))
1546942372.602 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) (cbrt (fma x x -1))))
1546942372.602 * * * * [misc]progress:  [ 5 / 17 ] simplifiying candidate #<alt (λ (x) (pow (exp (sqrt (fma x x -1))) (sqrt (fma x x -1))))>
1546942372.602 * [enter]simplify:  Simplifying (exp (sqrt (fma x x -1)))
1546942372.602 * * [misc]simplify:  iters left: 3 (5 enodes)
1546942372.604 * * [misc]simplify:  iters left: 2 (7 enodes)
1546942372.606 * * [misc]simplify:  iters left: 1 (12 enodes)
1546942372.610 * [exit]simplify:  Simplified to (exp (sqrt (fma x x -1)))
1546942372.610 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (exp (sqrt (fma x x -1))) (sqrt (fma x x -1))))
1546942372.610 * * * * [misc]progress:  [ 6 / 17 ] simplifiying candidate #<alt (λ (x) (pow (exp 1) (fma x x -1)))>
1546942372.610 * [enter]simplify:  Simplifying (exp 1)
1546942372.610 * * [misc]simplify:  iters left: 1 (2 enodes)
1546942372.611 * [exit]simplify:  Simplified to E
1546942372.611 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow E (fma x x -1)))
1546942372.611 * * * * [misc]progress:  [ 7 / 17 ] simplifiying candidate #<alt (λ (x) (* (exp (* x x)) (exp -1)))>
1546942372.611 * [enter]simplify:  Simplifying (exp (* x x))
1546942372.611 * * [misc]simplify:  iters left: 3 (3 enodes)
1546942372.612 * * [misc]simplify:  iters left: 2 (5 enodes)
1546942372.613 * [exit]simplify:  Simplified to (exp (* x x))
1546942372.613 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (exp (* x x)) (exp -1)))
1546942372.613 * * * * [misc]progress:  [ 8 / 17 ] simplifiying candidate #<alt (λ (x) (exp (fma x x -1)))>
1546942372.614 * [enter]simplify:  Simplifying (fma x x -1)
1546942372.614 * * [misc]simplify:  iters left: 1 (3 enodes)
1546942372.614 * [exit]simplify:  Simplified to (fma x x -1)
1546942372.614 * [misc]simplify:  Simplified (2 1) to (λ (x) (exp (fma x x -1)))
1546942372.614 * * * * [misc]progress:  [ 9 / 17 ] simplifiying candidate #<alt (λ (x) (exp (log (exp (fma x x -1)))))>
1546942372.615 * * * * [misc]progress:  [ 10 / 17 ] simplifiying candidate #<alt (λ (x) (log (exp (exp (fma x x -1)))))>
1546942372.615 * * * * [misc]progress:  [ 11 / 17 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))>
1546942372.615 * * * * [misc]progress:  [ 12 / 17 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (exp (fma x x -1)) (exp (fma x x -1))) (exp (fma x x -1)))))>
1546942372.615 * * * * [misc]progress:  [ 13 / 17 ] simplifiying candidate #<alt (λ (x) (* (sqrt (exp (fma x x -1))) (sqrt (exp (fma x x -1)))))>
1546942372.615 * * * * [misc]progress:  [ 14 / 17 ] simplifiying candidate #<alt (λ (x) (* 1 (exp (fma x x -1))))>
1546942372.615 * * * * [misc]progress:  [ 15 / 17 ] simplifiying candidate #<alt (λ (x) (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))))>
1546942372.615 * [enter]simplify:  Simplifying (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
1546942372.615 * * [misc]simplify:  iters left: 6 (13 enodes)
1546942372.620 * * [misc]simplify:  iters left: 5 (24 enodes)
1546942372.627 * * [misc]simplify:  iters left: 4 (51 enodes)
1546942372.645 * * [misc]simplify:  iters left: 3 (101 enodes)
1546942372.658 * * [misc]simplify:  iters left: 2 (121 enodes)
1546942372.678 * * [misc]simplify:  iters left: 1 (196 enodes)
1546942372.736 * [exit]simplify:  Simplified to (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1))
1546942372.736 * [misc]simplify:  Simplified (2) to (λ (x) (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1)))
1546942372.736 * * * * [misc]progress:  [ 16 / 17 ] simplifiying candidate #<alt (λ (x) (exp (fma x x -1)))>
1546942372.736 * [enter]simplify:  Simplifying (exp (fma x x -1))
1546942372.736 * * [misc]simplify:  iters left: 2 (4 enodes)
1546942372.736 * * [misc]simplify:  iters left: 1 (6 enodes)
1546942372.738 * [exit]simplify:  Simplified to (exp (fma x x -1))
1546942372.738 * [misc]simplify:  Simplified (2) to (λ (x) (exp (fma x x -1)))
1546942372.738 * * * * [misc]progress:  [ 17 / 17 ] simplifiying candidate #<alt (λ (x) (exp (fma x x -1)))>
1546942372.738 * [enter]simplify:  Simplifying (exp (fma x x -1))
1546942372.738 * * [misc]simplify:  iters left: 2 (4 enodes)
1546942372.738 * * [misc]simplify:  iters left: 1 (6 enodes)
1546942372.740 * [exit]simplify:  Simplified to (exp (fma x x -1))
1546942372.740 * [misc]simplify:  Simplified (2) to (λ (x) (exp (fma x x -1)))
1546942372.740 * * * [misc]progress:  adding candidates to table
1546942372.851 * * [misc]progress:  iteration 2 / 4
1546942372.851 * * * [misc]progress:  picking best candidate
1546942372.854 * * * * [misc]pick:  Picked  #<alt (λ (x) (expm1 (log1p (exp (fma x x -1)))))>
1546942372.854 * * * [misc]progress:  localizing error
1546942372.860 * * * [misc]progress:  generating rewritten candidates
1546942372.860 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2)
1546942372.860 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
1546942372.861 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 1 1)
1546942372.862 * * * [misc]progress:  generating series expansions
1546942372.862 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2)
1546942372.862 * [misc]backup-simplify:  Simplify (expm1 (log1p (exp (fma x x -1)))) into (expm1 (log1p (exp (fma x x -1))))
1546942372.862 * [misc]approximate:  Taking taylor expansion of (expm1 (log1p (exp (fma x x -1)))) in (x) around 0
1546942372.862 * [misc]taylor:  Taking taylor expansion of (expm1 (log1p (exp (fma x x -1)))) in x
1546942372.862 * [misc]taylor:  Rewrote expression to (- (exp (log1p (exp (fma x x -1)))) 1)
1546942372.862 * [misc]taylor:  Taking taylor expansion of (exp (log1p (exp (fma x x -1)))) in x
1546942372.862 * [misc]taylor:  Taking taylor expansion of (log1p (exp (fma x x -1))) in x
1546942372.862 * [misc]taylor:  Rewrote expression to (log (+ 1 (exp (fma x x -1))))
1546942372.862 * [misc]taylor:  Taking taylor expansion of (+ 1 (exp (fma x x -1))) in x
1546942372.862 * [misc]taylor:  Taking taylor expansion of 1 in x
1546942372.862 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.862 * [misc]taylor:  Taking taylor expansion of (exp (fma x x -1)) in x
1546942372.862 * [misc]taylor:  Taking taylor expansion of (fma x x -1) in x
1546942372.862 * [misc]taylor:  Rewrote expression to (+ (* x x) -1)
1546942372.863 * [misc]taylor:  Taking taylor expansion of (* x x) in x
1546942372.863 * [misc]taylor:  Taking taylor expansion of x in x
1546942372.863 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.863 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.863 * [misc]taylor:  Taking taylor expansion of x in x
1546942372.863 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.863 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.863 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942372.863 * [misc]backup-simplify:  Simplify -1 into -1
1546942372.863 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1546942372.863 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546942372.863 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1546942372.863 * [misc]backup-simplify:  Simplify (+ 1 (exp -1)) into (+ (exp -1) 1)
1546942372.864 * [misc]backup-simplify:  Simplify (log (+ (exp -1) 1)) into (log (+ (exp -1) 1))
1546942372.864 * [misc]backup-simplify:  Simplify (exp (log (+ (exp -1) 1))) into (+ (exp -1) 1)
1546942372.864 * [misc]taylor:  Taking taylor expansion of 1 in x
1546942372.864 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.864 * [misc]taylor:  Taking taylor expansion of (expm1 (log1p (exp (fma x x -1)))) in x
1546942372.864 * [misc]taylor:  Rewrote expression to (- (exp (log1p (exp (fma x x -1)))) 1)
1546942372.864 * [misc]taylor:  Taking taylor expansion of (exp (log1p (exp (fma x x -1)))) in x
1546942372.864 * [misc]taylor:  Taking taylor expansion of (log1p (exp (fma x x -1))) in x
1546942372.864 * [misc]taylor:  Rewrote expression to (log (+ 1 (exp (fma x x -1))))
1546942372.864 * [misc]taylor:  Taking taylor expansion of (+ 1 (exp (fma x x -1))) in x
1546942372.864 * [misc]taylor:  Taking taylor expansion of 1 in x
1546942372.864 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.864 * [misc]taylor:  Taking taylor expansion of (exp (fma x x -1)) in x
1546942372.864 * [misc]taylor:  Taking taylor expansion of (fma x x -1) in x
1546942372.864 * [misc]taylor:  Rewrote expression to (+ (* x x) -1)
1546942372.864 * [misc]taylor:  Taking taylor expansion of (* x x) in x
1546942372.864 * [misc]taylor:  Taking taylor expansion of x in x
1546942372.864 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.864 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.864 * [misc]taylor:  Taking taylor expansion of x in x
1546942372.864 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.864 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.864 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942372.865 * [misc]backup-simplify:  Simplify -1 into -1
1546942372.865 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1546942372.865 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546942372.865 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1546942372.865 * [misc]backup-simplify:  Simplify (+ 1 (exp -1)) into (+ (exp -1) 1)
1546942372.865 * [misc]backup-simplify:  Simplify (log (+ (exp -1) 1)) into (log (+ (exp -1) 1))
1546942372.866 * [misc]backup-simplify:  Simplify (exp (log (+ (exp -1) 1))) into (+ (exp -1) 1)
1546942372.866 * [misc]taylor:  Taking taylor expansion of 1 in x
1546942372.866 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.866 * [misc]backup-simplify:  Simplify (- 1) into -1
1546942372.866 * [misc]backup-simplify:  Simplify (+ (+ (exp -1) 1) -1) into (exp -1)
1546942372.866 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1546942372.867 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
1546942372.867 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942372.868 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0
1546942372.868 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942372.870 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp -1) 1) 1)))) 1) into 0
1546942372.871 * [misc]backup-simplify:  Simplify (* (exp (log (+ (exp -1) 1))) (+ (* (/ (pow 0 1) 1)))) into 0
1546942372.871 * [misc]backup-simplify:  Simplify (- 0) into 0
1546942372.871 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942372.871 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.872 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
1546942372.872 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546942372.873 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1)
1546942372.874 * [misc]backup-simplify:  Simplify (+ 0 (exp -1)) into (exp -1)
1546942372.877 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp -1) 1) 2))) (* 1 (/ (* 1 (pow (* 2 (exp -1)) 1)) (pow (+ (exp -1) 1) 1)))) 2) into (/ (exp -1) (+ (exp -1) 1))
1546942372.879 * [misc]backup-simplify:  Simplify (* (exp (log (+ (exp -1) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow (/ (exp -1) (+ (exp -1) 1)) 1) 1)))) into (exp -1)
1546942372.880 * [misc]backup-simplify:  Simplify (- 0) into 0
1546942372.880 * [misc]backup-simplify:  Simplify (+ (exp -1) 0) into (exp -1)
1546942372.880 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1546942372.880 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
1546942372.880 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942372.883 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1546942372.883 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942372.888 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp -1) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 (exp -1)) 1)) (pow (+ (exp -1) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp -1) 1) 1)))) 6) into 0
1546942372.892 * [misc]backup-simplify:  Simplify (* (exp (log (+ (exp -1) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow (/ (exp -1) (+ (exp -1) 1)) 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1546942372.893 * [misc]backup-simplify:  Simplify (- 0) into 0
1546942372.893 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942372.893 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.893 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1546942372.893 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942372.897 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp -1))
1546942372.897 * [misc]backup-simplify:  Simplify (+ 0 (* 1/2 (exp -1))) into (* 1/2 (exp -1))
1546942372.906 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp -1) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 (exp -1)) 1)) (pow (+ (exp -1) 1) 3))) (* -3 (/ (* 1 (pow (* 2 (exp -1)) 2)) (pow (+ (exp -1) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp -1) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 (* 1/2 (exp -1))) 1)) (pow (+ (exp -1) 1) 1)))) 24) into (* 1/24 (- (* 12 (/ (exp -1) (+ (exp -1) 1))) (* 12 (/ (pow (exp -1) 2) (pow (+ (exp -1) 1) 2)))))
1546942372.914 * [misc]backup-simplify:  Simplify (* (exp (log (+ (exp -1) 1))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow (/ (exp -1) (+ (exp -1) 1)) 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow (/ (exp -1) (+ (exp -1) 1)) 2) 2)) (* (/ (pow (* 1/24 (- (* 12 (/ (exp -1) (+ (exp -1) 1))) (* 12 (/ (pow (exp -1) 2) (pow (+ (exp -1) 1) 2))))) 1) 1)))) into (* 1/2 (exp -1))
1546942372.915 * [misc]backup-simplify:  Simplify (- 0) into 0
1546942372.915 * [misc]backup-simplify:  Simplify (+ (* 1/2 (exp -1)) 0) into (* 1/2 (exp -1))
1546942372.915 * [misc]backup-simplify:  Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1))
1546942372.916 * [misc]backup-simplify:  Simplify (+ (* (* 1/2 (exp -1)) (pow x 4)) (+ (* (exp -1) (pow x 2)) (exp -1))) into (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
1546942372.916 * [misc]backup-simplify:  Simplify (expm1 (log1p (exp (fma (/ 1 x) (/ 1 x) -1)))) into (expm1 (log1p (exp (fma (/ 1 x) (/ 1 x) -1))))
1546942372.916 * [misc]approximate:  Taking taylor expansion of (expm1 (log1p (exp (fma (/ 1 x) (/ 1 x) -1)))) in (x) around 0
1546942372.916 * [misc]taylor:  Taking taylor expansion of (expm1 (log1p (exp (fma (/ 1 x) (/ 1 x) -1)))) in x
1546942372.916 * [misc]taylor:  Rewrote expression to (- (exp (log1p (exp (fma (/ 1 x) (/ 1 x) -1)))) 1)
1546942372.916 * [misc]taylor:  Taking taylor expansion of (exp (log1p (exp (fma (/ 1 x) (/ 1 x) -1)))) in x
1546942372.916 * [misc]taylor:  Taking taylor expansion of (log1p (exp (fma (/ 1 x) (/ 1 x) -1))) in x
1546942372.916 * [misc]taylor:  Rewrote expression to (log (+ 1 (exp (fma (/ 1 x) (/ 1 x) -1))))
1546942372.916 * [misc]taylor:  Taking taylor expansion of (+ 1 (exp (fma (/ 1 x) (/ 1 x) -1))) in x
1546942372.916 * [misc]taylor:  Taking taylor expansion of 1 in x
1546942372.916 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.916 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x
1546942372.916 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x
1546942372.916 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1)
1546942372.916 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
1546942372.916 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546942372.916 * [misc]taylor:  Taking taylor expansion of x in x
1546942372.916 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.916 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.916 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546942372.916 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546942372.916 * [misc]taylor:  Taking taylor expansion of x in x
1546942372.916 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.916 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.916 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546942372.916 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942372.916 * [misc]backup-simplify:  Simplify -1 into -1
1546942372.917 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546942372.917 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546942372.917 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
1546942372.917 * [misc]backup-simplify:  Simplify (+ 1 (exp (fma (/ 1 x) (/ 1 x) -1))) into (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1)
1546942372.917 * [misc]backup-simplify:  Simplify (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1)) into (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1))
1546942372.917 * [misc]backup-simplify:  Simplify (exp (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1))) into (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1)
1546942372.917 * [misc]taylor:  Taking taylor expansion of 1 in x
1546942372.917 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.917 * [misc]taylor:  Taking taylor expansion of (expm1 (log1p (exp (fma (/ 1 x) (/ 1 x) -1)))) in x
1546942372.917 * [misc]taylor:  Rewrote expression to (- (exp (log1p (exp (fma (/ 1 x) (/ 1 x) -1)))) 1)
1546942372.917 * [misc]taylor:  Taking taylor expansion of (exp (log1p (exp (fma (/ 1 x) (/ 1 x) -1)))) in x
1546942372.917 * [misc]taylor:  Taking taylor expansion of (log1p (exp (fma (/ 1 x) (/ 1 x) -1))) in x
1546942372.917 * [misc]taylor:  Rewrote expression to (log (+ 1 (exp (fma (/ 1 x) (/ 1 x) -1))))
1546942372.917 * [misc]taylor:  Taking taylor expansion of (+ 1 (exp (fma (/ 1 x) (/ 1 x) -1))) in x
1546942372.917 * [misc]taylor:  Taking taylor expansion of 1 in x
1546942372.917 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.917 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x
1546942372.917 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x
1546942372.917 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1)
1546942372.917 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
1546942372.917 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546942372.917 * [misc]taylor:  Taking taylor expansion of x in x
1546942372.917 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.917 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.917 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546942372.917 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546942372.917 * [misc]taylor:  Taking taylor expansion of x in x
1546942372.917 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.917 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.918 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546942372.918 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942372.918 * [misc]backup-simplify:  Simplify -1 into -1
1546942372.918 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546942372.918 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546942372.918 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
1546942372.918 * [misc]backup-simplify:  Simplify (+ 1 (exp (fma (/ 1 x) (/ 1 x) -1))) into (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1)
1546942372.918 * [misc]backup-simplify:  Simplify (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1)) into (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1))
1546942372.918 * [misc]backup-simplify:  Simplify (exp (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1))) into (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1)
1546942372.918 * [misc]taylor:  Taking taylor expansion of 1 in x
1546942372.918 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.918 * [misc]backup-simplify:  Simplify (- 1) into -1
1546942372.918 * [misc]backup-simplify:  Simplify (+ (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) -1) into (exp (fma (/ 1 x) (/ 1 x) -1))
1546942372.918 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
1546942372.919 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942372.921 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 1)))) 1) into 0
1546942372.922 * [misc]backup-simplify:  Simplify (* (exp (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0
1546942372.922 * [misc]backup-simplify:  Simplify (- 0) into 0
1546942372.922 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942372.922 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.922 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942372.924 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 1)))) 2) into 0
1546942372.925 * [misc]backup-simplify:  Simplify (* (exp (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1546942372.925 * [misc]backup-simplify:  Simplify (- 0) into 0
1546942372.925 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942372.925 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.925 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942372.927 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 1)))) 6) into 0
1546942372.929 * [misc]backup-simplify:  Simplify (* (exp (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1546942372.929 * [misc]backup-simplify:  Simplify (- 0) into 0
1546942372.929 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942372.929 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.930 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942372.933 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 1)))) 24) into 0
1546942372.936 * [misc]backup-simplify:  Simplify (* (exp (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 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
1546942372.936 * [misc]backup-simplify:  Simplify (- 0) into 0
1546942372.936 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942372.936 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.937 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942372.945 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 1)))) 120) into 0
1546942372.953 * [misc]backup-simplify:  Simplify (* (exp (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 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
1546942372.953 * [misc]backup-simplify:  Simplify (- 0) into 0
1546942372.953 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942372.953 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.954 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942372.962 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 1)))) 720) into 0
1546942372.969 * [misc]backup-simplify:  Simplify (* (exp (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 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
1546942372.970 * [misc]backup-simplify:  Simplify (- 0) into 0
1546942372.970 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942372.970 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.970 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) -1)) into (exp (fma x x -1))
1546942372.970 * [misc]backup-simplify:  Simplify (expm1 (log1p (exp (fma (/ 1 (- x)) (/ 1 (- x)) -1)))) into (expm1 (log1p (exp (fma (/ -1 x) (/ -1 x) -1))))
1546942372.970 * [misc]approximate:  Taking taylor expansion of (expm1 (log1p (exp (fma (/ -1 x) (/ -1 x) -1)))) in (x) around 0
1546942372.970 * [misc]taylor:  Taking taylor expansion of (expm1 (log1p (exp (fma (/ -1 x) (/ -1 x) -1)))) in x
1546942372.970 * [misc]taylor:  Rewrote expression to (- (exp (log1p (exp (fma (/ -1 x) (/ -1 x) -1)))) 1)
1546942372.970 * [misc]taylor:  Taking taylor expansion of (exp (log1p (exp (fma (/ -1 x) (/ -1 x) -1)))) in x
1546942372.970 * [misc]taylor:  Taking taylor expansion of (log1p (exp (fma (/ -1 x) (/ -1 x) -1))) in x
1546942372.970 * [misc]taylor:  Rewrote expression to (log (+ 1 (exp (fma (/ -1 x) (/ -1 x) -1))))
1546942372.970 * [misc]taylor:  Taking taylor expansion of (+ 1 (exp (fma (/ -1 x) (/ -1 x) -1))) in x
1546942372.970 * [misc]taylor:  Taking taylor expansion of 1 in x
1546942372.970 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.970 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x
1546942372.970 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x
1546942372.970 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1)
1546942372.970 * [misc]taylor:  Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
1546942372.970 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1546942372.970 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942372.970 * [misc]backup-simplify:  Simplify -1 into -1
1546942372.970 * [misc]taylor:  Taking taylor expansion of x in x
1546942372.970 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.970 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.971 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1546942372.971 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1546942372.971 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942372.971 * [misc]backup-simplify:  Simplify -1 into -1
1546942372.971 * [misc]taylor:  Taking taylor expansion of x in x
1546942372.971 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.971 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.971 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1546942372.971 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942372.971 * [misc]backup-simplify:  Simplify -1 into -1
1546942372.971 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1546942372.971 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546942372.971 * [misc]backup-simplify:  Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
1546942372.971 * [misc]backup-simplify:  Simplify (+ 1 (exp (fma (/ -1 x) (/ -1 x) -1))) into (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1)
1546942372.971 * [misc]backup-simplify:  Simplify (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1)) into (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1))
1546942372.971 * [misc]backup-simplify:  Simplify (exp (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1))) into (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1)
1546942372.971 * [misc]taylor:  Taking taylor expansion of 1 in x
1546942372.971 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.971 * [misc]taylor:  Taking taylor expansion of (expm1 (log1p (exp (fma (/ -1 x) (/ -1 x) -1)))) in x
1546942372.971 * [misc]taylor:  Rewrote expression to (- (exp (log1p (exp (fma (/ -1 x) (/ -1 x) -1)))) 1)
1546942372.971 * [misc]taylor:  Taking taylor expansion of (exp (log1p (exp (fma (/ -1 x) (/ -1 x) -1)))) in x
1546942372.971 * [misc]taylor:  Taking taylor expansion of (log1p (exp (fma (/ -1 x) (/ -1 x) -1))) in x
1546942372.972 * [misc]taylor:  Rewrote expression to (log (+ 1 (exp (fma (/ -1 x) (/ -1 x) -1))))
1546942372.972 * [misc]taylor:  Taking taylor expansion of (+ 1 (exp (fma (/ -1 x) (/ -1 x) -1))) in x
1546942372.972 * [misc]taylor:  Taking taylor expansion of 1 in x
1546942372.972 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.972 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x
1546942372.972 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x
1546942372.972 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1)
1546942372.972 * [misc]taylor:  Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
1546942372.972 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1546942372.972 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942372.972 * [misc]backup-simplify:  Simplify -1 into -1
1546942372.972 * [misc]taylor:  Taking taylor expansion of x in x
1546942372.972 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.972 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.972 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1546942372.972 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1546942372.972 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942372.972 * [misc]backup-simplify:  Simplify -1 into -1
1546942372.972 * [misc]taylor:  Taking taylor expansion of x in x
1546942372.972 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.972 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.972 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1546942372.972 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942372.972 * [misc]backup-simplify:  Simplify -1 into -1
1546942372.972 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1546942372.972 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546942372.972 * [misc]backup-simplify:  Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
1546942372.972 * [misc]backup-simplify:  Simplify (+ 1 (exp (fma (/ -1 x) (/ -1 x) -1))) into (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1)
1546942372.973 * [misc]backup-simplify:  Simplify (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1)) into (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1))
1546942372.973 * [misc]backup-simplify:  Simplify (exp (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1))) into (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1)
1546942372.973 * [misc]taylor:  Taking taylor expansion of 1 in x
1546942372.973 * [misc]backup-simplify:  Simplify 1 into 1
1546942372.973 * [misc]backup-simplify:  Simplify (- 1) into -1
1546942372.973 * [misc]backup-simplify:  Simplify (+ (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) -1) into (exp (fma (/ -1 x) (/ -1 x) -1))
1546942372.973 * [misc]backup-simplify:  Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
1546942372.973 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942372.974 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 1)))) 1) into 0
1546942372.974 * [misc]backup-simplify:  Simplify (* (exp (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1))) (+ (* (/ (pow 0 1) 1)))) into 0
1546942372.975 * [misc]backup-simplify:  Simplify (- 0) into 0
1546942372.975 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942372.975 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.975 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942372.976 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 1)))) 2) into 0
1546942372.977 * [misc]backup-simplify:  Simplify (* (exp (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1546942372.977 * [misc]backup-simplify:  Simplify (- 0) into 0
1546942372.977 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942372.978 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.978 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942372.979 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 1)))) 6) into 0
1546942372.981 * [misc]backup-simplify:  Simplify (* (exp (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1546942372.981 * [misc]backup-simplify:  Simplify (- 0) into 0
1546942372.982 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942372.982 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.982 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942372.985 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 1)))) 24) into 0
1546942372.988 * [misc]backup-simplify:  Simplify (* (exp (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 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
1546942372.988 * [misc]backup-simplify:  Simplify (- 0) into 0
1546942372.988 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942372.988 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.988 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942372.993 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 1)))) 120) into 0
1546942372.998 * [misc]backup-simplify:  Simplify (* (exp (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 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
1546942372.998 * [misc]backup-simplify:  Simplify (- 0) into 0
1546942372.998 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942372.998 * [misc]backup-simplify:  Simplify 0 into 0
1546942372.999 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942373.010 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 1)))) 720) into 0
1546942373.023 * [misc]backup-simplify:  Simplify (* (exp (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 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
1546942373.023 * [misc]backup-simplify:  Simplify (- 0) into 0
1546942373.023 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942373.023 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.023 * [misc]backup-simplify:  Simplify (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) -1)) into (exp (fma x x -1))
1546942373.023 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
1546942373.024 * [misc]backup-simplify:  Simplify (log1p (exp (fma x x -1))) into (log1p (exp (fma x x -1)))
1546942373.024 * [misc]approximate:  Taking taylor expansion of (log1p (exp (fma x x -1))) in (x) around 0
1546942373.024 * [misc]taylor:  Taking taylor expansion of (log1p (exp (fma x x -1))) in x
1546942373.024 * [misc]taylor:  Rewrote expression to (log (+ 1 (exp (fma x x -1))))
1546942373.024 * [misc]taylor:  Taking taylor expansion of (+ 1 (exp (fma x x -1))) in x
1546942373.024 * [misc]taylor:  Taking taylor expansion of 1 in x
1546942373.024 * [misc]backup-simplify:  Simplify 1 into 1
1546942373.024 * [misc]taylor:  Taking taylor expansion of (exp (fma x x -1)) in x
1546942373.024 * [misc]taylor:  Taking taylor expansion of (fma x x -1) in x
1546942373.024 * [misc]taylor:  Rewrote expression to (+ (* x x) -1)
1546942373.024 * [misc]taylor:  Taking taylor expansion of (* x x) in x
1546942373.024 * [misc]taylor:  Taking taylor expansion of x in x
1546942373.024 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.024 * [misc]backup-simplify:  Simplify 1 into 1
1546942373.024 * [misc]taylor:  Taking taylor expansion of x in x
1546942373.024 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.024 * [misc]backup-simplify:  Simplify 1 into 1
1546942373.024 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942373.024 * [misc]backup-simplify:  Simplify -1 into -1
1546942373.024 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1546942373.024 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546942373.025 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1546942373.025 * [misc]backup-simplify:  Simplify (+ 1 (exp -1)) into (+ (exp -1) 1)
1546942373.025 * [misc]backup-simplify:  Simplify (log (+ (exp -1) 1)) into (log (+ (exp -1) 1))
1546942373.025 * [misc]taylor:  Taking taylor expansion of (log1p (exp (fma x x -1))) in x
1546942373.025 * [misc]taylor:  Rewrote expression to (log (+ 1 (exp (fma x x -1))))
1546942373.025 * [misc]taylor:  Taking taylor expansion of (+ 1 (exp (fma x x -1))) in x
1546942373.025 * [misc]taylor:  Taking taylor expansion of 1 in x
1546942373.026 * [misc]backup-simplify:  Simplify 1 into 1
1546942373.026 * [misc]taylor:  Taking taylor expansion of (exp (fma x x -1)) in x
1546942373.026 * [misc]taylor:  Taking taylor expansion of (fma x x -1) in x
1546942373.026 * [misc]taylor:  Rewrote expression to (+ (* x x) -1)
1546942373.026 * [misc]taylor:  Taking taylor expansion of (* x x) in x
1546942373.026 * [misc]taylor:  Taking taylor expansion of x in x
1546942373.026 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.026 * [misc]backup-simplify:  Simplify 1 into 1
1546942373.026 * [misc]taylor:  Taking taylor expansion of x in x
1546942373.026 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.026 * [misc]backup-simplify:  Simplify 1 into 1
1546942373.026 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942373.026 * [misc]backup-simplify:  Simplify -1 into -1
1546942373.026 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1546942373.026 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546942373.026 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1546942373.027 * [misc]backup-simplify:  Simplify (+ 1 (exp -1)) into (+ (exp -1) 1)
1546942373.027 * [misc]backup-simplify:  Simplify (log (+ (exp -1) 1)) into (log (+ (exp -1) 1))
1546942373.028 * [misc]backup-simplify:  Simplify (log (+ (exp -1) 1)) into (log (+ (exp -1) 1))
1546942373.028 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
1546942373.028 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942373.030 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0
1546942373.030 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942373.033 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp -1) 1) 1)))) 1) into 0
1546942373.033 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.033 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
1546942373.033 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546942373.036 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1)
1546942373.036 * [misc]backup-simplify:  Simplify (+ 0 (exp -1)) into (exp -1)
1546942373.041 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp -1) 1) 2))) (* 1 (/ (* 1 (pow (* 2 (exp -1)) 1)) (pow (+ (exp -1) 1) 1)))) 2) into (/ (exp -1) (+ (exp -1) 1))
1546942373.042 * [misc]backup-simplify:  Simplify (/ (exp -1) (+ (exp -1) 1)) into (/ (exp -1) (+ (exp -1) 1))
1546942373.042 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
1546942373.042 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942373.045 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1546942373.045 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942373.050 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp -1) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 (exp -1)) 1)) (pow (+ (exp -1) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp -1) 1) 1)))) 6) into 0
1546942373.050 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.050 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1546942373.050 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942373.054 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp -1))
1546942373.054 * [misc]backup-simplify:  Simplify (+ 0 (* 1/2 (exp -1))) into (* 1/2 (exp -1))
1546942373.063 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp -1) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 (exp -1)) 1)) (pow (+ (exp -1) 1) 3))) (* -3 (/ (* 1 (pow (* 2 (exp -1)) 2)) (pow (+ (exp -1) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp -1) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 (* 1/2 (exp -1))) 1)) (pow (+ (exp -1) 1) 1)))) 24) into (* 1/24 (- (* 12 (/ (exp -1) (+ (exp -1) 1))) (* 12 (/ (pow (exp -1) 2) (pow (+ (exp -1) 1) 2)))))
1546942373.065 * [misc]backup-simplify:  Simplify (* 1/24 (- (* 12 (/ (exp -1) (+ (exp -1) 1))) (* 12 (/ (pow (exp -1) 2) (pow (+ (exp -1) 1) 2))))) into (* 1/24 (- (* 12 (/ (exp -1) (+ (exp -1) 1))) (* 12 (/ (pow (exp -1) 2) (pow (+ (exp -1) 1) 2)))))
1546942373.068 * [misc]backup-simplify:  Simplify (+ (* (* 1/24 (- (* 12 (/ (exp -1) (+ (exp -1) 1))) (* 12 (/ (pow (exp -1) 2) (pow (+ (exp -1) 1) 2))))) (pow x 4)) (+ (* (/ (exp -1) (+ (exp -1) 1)) (pow x 2)) (log (+ (exp -1) 1)))) into (- (+ (* 1/2 (/ (* (pow x 4) (exp -1)) (+ (exp -1) 1))) (+ (/ (* (pow x 2) (exp -1)) (+ (exp -1) 1)) (log (+ (exp -1) 1)))) (* 1/2 (/ (* (pow x 4) (pow (exp -1) 2)) (pow (+ (exp -1) 1) 2))))
1546942373.069 * [misc]backup-simplify:  Simplify (log1p (exp (fma (/ 1 x) (/ 1 x) -1))) into (log1p (exp (fma (/ 1 x) (/ 1 x) -1)))
1546942373.069 * [misc]approximate:  Taking taylor expansion of (log1p (exp (fma (/ 1 x) (/ 1 x) -1))) in (x) around 0
1546942373.069 * [misc]taylor:  Taking taylor expansion of (log1p (exp (fma (/ 1 x) (/ 1 x) -1))) in x
1546942373.069 * [misc]taylor:  Rewrote expression to (log (+ 1 (exp (fma (/ 1 x) (/ 1 x) -1))))
1546942373.069 * [misc]taylor:  Taking taylor expansion of (+ 1 (exp (fma (/ 1 x) (/ 1 x) -1))) in x
1546942373.069 * [misc]taylor:  Taking taylor expansion of 1 in x
1546942373.069 * [misc]backup-simplify:  Simplify 1 into 1
1546942373.069 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x
1546942373.069 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x
1546942373.069 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1)
1546942373.069 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
1546942373.069 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546942373.069 * [misc]taylor:  Taking taylor expansion of x in x
1546942373.069 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.069 * [misc]backup-simplify:  Simplify 1 into 1
1546942373.069 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546942373.069 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546942373.069 * [misc]taylor:  Taking taylor expansion of x in x
1546942373.069 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.069 * [misc]backup-simplify:  Simplify 1 into 1
1546942373.069 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546942373.069 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942373.069 * [misc]backup-simplify:  Simplify -1 into -1
1546942373.069 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546942373.069 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546942373.069 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
1546942373.070 * [misc]backup-simplify:  Simplify (+ 1 (exp (fma (/ 1 x) (/ 1 x) -1))) into (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1)
1546942373.070 * [misc]backup-simplify:  Simplify (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1)) into (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1))
1546942373.070 * [misc]taylor:  Taking taylor expansion of (log1p (exp (fma (/ 1 x) (/ 1 x) -1))) in x
1546942373.070 * [misc]taylor:  Rewrote expression to (log (+ 1 (exp (fma (/ 1 x) (/ 1 x) -1))))
1546942373.070 * [misc]taylor:  Taking taylor expansion of (+ 1 (exp (fma (/ 1 x) (/ 1 x) -1))) in x
1546942373.070 * [misc]taylor:  Taking taylor expansion of 1 in x
1546942373.070 * [misc]backup-simplify:  Simplify 1 into 1
1546942373.070 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x
1546942373.070 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x
1546942373.070 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1)
1546942373.070 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
1546942373.070 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546942373.070 * [misc]taylor:  Taking taylor expansion of x in x
1546942373.070 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.070 * [misc]backup-simplify:  Simplify 1 into 1
1546942373.070 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546942373.070 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546942373.070 * [misc]taylor:  Taking taylor expansion of x in x
1546942373.070 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.070 * [misc]backup-simplify:  Simplify 1 into 1
1546942373.070 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546942373.070 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942373.070 * [misc]backup-simplify:  Simplify -1 into -1
1546942373.070 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546942373.070 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546942373.070 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
1546942373.071 * [misc]backup-simplify:  Simplify (+ 1 (exp (fma (/ 1 x) (/ 1 x) -1))) into (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1)
1546942373.071 * [misc]backup-simplify:  Simplify (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1)) into (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1))
1546942373.071 * [misc]backup-simplify:  Simplify (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1)) into (log (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1))
1546942373.071 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942373.072 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 1)))) 1) into 0
1546942373.072 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.072 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942373.073 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 1)))) 2) into 0
1546942373.073 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.073 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942373.075 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 1)))) 6) into 0
1546942373.075 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.075 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942373.078 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 1)))) 24) into 0
1546942373.078 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.078 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942373.086 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 1)))) 120) into 0
1546942373.086 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.086 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942373.098 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (fma (/ 1 x) (/ 1 x) -1)) 1) 1)))) 720) into 0
1546942373.099 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.099 * [misc]backup-simplify:  Simplify (log (+ (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) -1)) 1)) into (log (+ (exp (fma x x -1)) 1))
1546942373.099 * [misc]backup-simplify:  Simplify (log1p (exp (fma (/ 1 (- x)) (/ 1 (- x)) -1))) into (log1p (exp (fma (/ -1 x) (/ -1 x) -1)))
1546942373.099 * [misc]approximate:  Taking taylor expansion of (log1p (exp (fma (/ -1 x) (/ -1 x) -1))) in (x) around 0
1546942373.099 * [misc]taylor:  Taking taylor expansion of (log1p (exp (fma (/ -1 x) (/ -1 x) -1))) in x
1546942373.099 * [misc]taylor:  Rewrote expression to (log (+ 1 (exp (fma (/ -1 x) (/ -1 x) -1))))
1546942373.099 * [misc]taylor:  Taking taylor expansion of (+ 1 (exp (fma (/ -1 x) (/ -1 x) -1))) in x
1546942373.099 * [misc]taylor:  Taking taylor expansion of 1 in x
1546942373.099 * [misc]backup-simplify:  Simplify 1 into 1
1546942373.099 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x
1546942373.099 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x
1546942373.099 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1)
1546942373.099 * [misc]taylor:  Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
1546942373.099 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1546942373.100 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942373.100 * [misc]backup-simplify:  Simplify -1 into -1
1546942373.100 * [misc]taylor:  Taking taylor expansion of x in x
1546942373.100 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.100 * [misc]backup-simplify:  Simplify 1 into 1
1546942373.100 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1546942373.100 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1546942373.100 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942373.100 * [misc]backup-simplify:  Simplify -1 into -1
1546942373.100 * [misc]taylor:  Taking taylor expansion of x in x
1546942373.100 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.100 * [misc]backup-simplify:  Simplify 1 into 1
1546942373.100 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1546942373.100 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942373.100 * [misc]backup-simplify:  Simplify -1 into -1
1546942373.100 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1546942373.101 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546942373.101 * [misc]backup-simplify:  Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
1546942373.101 * [misc]backup-simplify:  Simplify (+ 1 (exp (fma (/ -1 x) (/ -1 x) -1))) into (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1)
1546942373.101 * [misc]backup-simplify:  Simplify (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1)) into (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1))
1546942373.101 * [misc]taylor:  Taking taylor expansion of (log1p (exp (fma (/ -1 x) (/ -1 x) -1))) in x
1546942373.101 * [misc]taylor:  Rewrote expression to (log (+ 1 (exp (fma (/ -1 x) (/ -1 x) -1))))
1546942373.101 * [misc]taylor:  Taking taylor expansion of (+ 1 (exp (fma (/ -1 x) (/ -1 x) -1))) in x
1546942373.101 * [misc]taylor:  Taking taylor expansion of 1 in x
1546942373.101 * [misc]backup-simplify:  Simplify 1 into 1
1546942373.101 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x
1546942373.101 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x
1546942373.101 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1)
1546942373.101 * [misc]taylor:  Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
1546942373.101 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1546942373.101 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942373.101 * [misc]backup-simplify:  Simplify -1 into -1
1546942373.102 * [misc]taylor:  Taking taylor expansion of x in x
1546942373.102 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.102 * [misc]backup-simplify:  Simplify 1 into 1
1546942373.102 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1546942373.102 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1546942373.102 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942373.102 * [misc]backup-simplify:  Simplify -1 into -1
1546942373.102 * [misc]taylor:  Taking taylor expansion of x in x
1546942373.102 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.102 * [misc]backup-simplify:  Simplify 1 into 1
1546942373.102 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1546942373.102 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942373.102 * [misc]backup-simplify:  Simplify -1 into -1
1546942373.102 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1546942373.102 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546942373.103 * [misc]backup-simplify:  Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
1546942373.103 * [misc]backup-simplify:  Simplify (+ 1 (exp (fma (/ -1 x) (/ -1 x) -1))) into (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1)
1546942373.103 * [misc]backup-simplify:  Simplify (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1)) into (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1))
1546942373.103 * [misc]backup-simplify:  Simplify (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1)) into (log (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1))
1546942373.103 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942373.104 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 1)))) 1) into 0
1546942373.105 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.105 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942373.106 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 1)))) 2) into 0
1546942373.106 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.107 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942373.109 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 1)))) 6) into 0
1546942373.110 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.110 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942373.115 * [misc]backup-simplify:  Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 1)))) 24) into 0
1546942373.115 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.115 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942373.123 * [misc]backup-simplify:  Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 1)))) 120) into 0
1546942373.123 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.123 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942373.136 * [misc]backup-simplify:  Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (+ (exp (fma (/ -1 x) (/ -1 x) -1)) 1) 1)))) 720) into 0
1546942373.136 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.136 * [misc]backup-simplify:  Simplify (log (+ (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) -1)) 1)) into (log (+ (exp (fma x x -1)) 1))
1546942373.136 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 1 1)
1546942373.136 * [misc]backup-simplify:  Simplify (exp (fma x x -1)) into (exp (fma x x -1))
1546942373.136 * [misc]approximate:  Taking taylor expansion of (exp (fma x x -1)) in (x) around 0
1546942373.136 * [misc]taylor:  Taking taylor expansion of (exp (fma x x -1)) in x
1546942373.136 * [misc]taylor:  Taking taylor expansion of (fma x x -1) in x
1546942373.136 * [misc]taylor:  Rewrote expression to (+ (* x x) -1)
1546942373.136 * [misc]taylor:  Taking taylor expansion of (* x x) in x
1546942373.137 * [misc]taylor:  Taking taylor expansion of x in x
1546942373.137 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.137 * [misc]backup-simplify:  Simplify 1 into 1
1546942373.137 * [misc]taylor:  Taking taylor expansion of x in x
1546942373.137 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.137 * [misc]backup-simplify:  Simplify 1 into 1
1546942373.137 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942373.137 * [misc]backup-simplify:  Simplify -1 into -1
1546942373.137 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1546942373.137 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546942373.137 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1546942373.137 * [misc]taylor:  Taking taylor expansion of (exp (fma x x -1)) in x
1546942373.137 * [misc]taylor:  Taking taylor expansion of (fma x x -1) in x
1546942373.137 * [misc]taylor:  Rewrote expression to (+ (* x x) -1)
1546942373.137 * [misc]taylor:  Taking taylor expansion of (* x x) in x
1546942373.137 * [misc]taylor:  Taking taylor expansion of x in x
1546942373.137 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.137 * [misc]backup-simplify:  Simplify 1 into 1
1546942373.137 * [misc]taylor:  Taking taylor expansion of x in x
1546942373.137 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.138 * [misc]backup-simplify:  Simplify 1 into 1
1546942373.138 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942373.138 * [misc]backup-simplify:  Simplify -1 into -1
1546942373.138 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1546942373.138 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546942373.138 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1546942373.138 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1546942373.139 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 0)) into 0
1546942373.139 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942373.140 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 1) 1)))) into 0
1546942373.140 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.141 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
1546942373.141 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546942373.143 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp -1)
1546942373.143 * [misc]backup-simplify:  Simplify (exp -1) into (exp -1)
1546942373.144 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
1546942373.144 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942373.148 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1546942373.148 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.148 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1546942373.148 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942373.155 * [misc]backup-simplify:  Simplify (* (exp -1) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp -1))
1546942373.155 * [misc]backup-simplify:  Simplify (* 1/2 (exp -1)) into (* 1/2 (exp -1))
1546942373.156 * [misc]backup-simplify:  Simplify (+ (* (* 1/2 (exp -1)) (pow x 4)) (+ (* (exp -1) (pow x 2)) (exp -1))) into (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
1546942373.156 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
1546942373.156 * [misc]approximate:  Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in (x) around 0
1546942373.156 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x
1546942373.156 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x
1546942373.156 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1)
1546942373.156 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
1546942373.156 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546942373.156 * [misc]taylor:  Taking taylor expansion of x in x
1546942373.156 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.156 * [misc]backup-simplify:  Simplify 1 into 1
1546942373.157 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546942373.157 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546942373.157 * [misc]taylor:  Taking taylor expansion of x in x
1546942373.157 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.157 * [misc]backup-simplify:  Simplify 1 into 1
1546942373.157 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546942373.157 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942373.157 * [misc]backup-simplify:  Simplify -1 into -1
1546942373.157 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546942373.157 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546942373.157 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
1546942373.157 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) -1)) in x
1546942373.157 * [misc]taylor:  Taking taylor expansion of (fma (/ 1 x) (/ 1 x) -1) in x
1546942373.157 * [misc]taylor:  Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) -1)
1546942373.157 * [misc]taylor:  Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
1546942373.158 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546942373.158 * [misc]taylor:  Taking taylor expansion of x in x
1546942373.158 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.158 * [misc]backup-simplify:  Simplify 1 into 1
1546942373.158 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546942373.158 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546942373.158 * [misc]taylor:  Taking taylor expansion of x in x
1546942373.158 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.158 * [misc]backup-simplify:  Simplify 1 into 1
1546942373.158 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546942373.158 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942373.158 * [misc]backup-simplify:  Simplify -1 into -1
1546942373.158 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1546942373.158 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546942373.159 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
1546942373.159 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 x) (/ 1 x) -1)) into (exp (fma (/ 1 x) (/ 1 x) -1))
1546942373.159 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.159 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.159 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.159 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.159 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.159 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.159 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) -1)) into (exp (fma x x -1))
1546942373.159 * [misc]backup-simplify:  Simplify (exp (fma (/ 1 (- x)) (/ 1 (- x)) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
1546942373.159 * [misc]approximate:  Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in (x) around 0
1546942373.159 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x
1546942373.159 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x
1546942373.159 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1)
1546942373.159 * [misc]taylor:  Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
1546942373.160 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1546942373.160 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942373.160 * [misc]backup-simplify:  Simplify -1 into -1
1546942373.160 * [misc]taylor:  Taking taylor expansion of x in x
1546942373.160 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.160 * [misc]backup-simplify:  Simplify 1 into 1
1546942373.160 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1546942373.160 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1546942373.160 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942373.160 * [misc]backup-simplify:  Simplify -1 into -1
1546942373.160 * [misc]taylor:  Taking taylor expansion of x in x
1546942373.160 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.160 * [misc]backup-simplify:  Simplify 1 into 1
1546942373.160 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1546942373.160 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942373.160 * [misc]backup-simplify:  Simplify -1 into -1
1546942373.160 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1546942373.161 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546942373.161 * [misc]backup-simplify:  Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
1546942373.161 * [misc]taylor:  Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) -1)) in x
1546942373.161 * [misc]taylor:  Taking taylor expansion of (fma (/ -1 x) (/ -1 x) -1) in x
1546942373.161 * [misc]taylor:  Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) -1)
1546942373.161 * [misc]taylor:  Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
1546942373.161 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1546942373.161 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942373.161 * [misc]backup-simplify:  Simplify -1 into -1
1546942373.161 * [misc]taylor:  Taking taylor expansion of x in x
1546942373.161 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.161 * [misc]backup-simplify:  Simplify 1 into 1
1546942373.161 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1546942373.161 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1546942373.161 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942373.161 * [misc]backup-simplify:  Simplify -1 into -1
1546942373.161 * [misc]taylor:  Taking taylor expansion of x in x
1546942373.161 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.161 * [misc]backup-simplify:  Simplify 1 into 1
1546942373.161 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1546942373.161 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942373.162 * [misc]backup-simplify:  Simplify -1 into -1
1546942373.162 * [misc]backup-simplify:  Simplify (* -1 -1) into 1
1546942373.162 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546942373.162 * [misc]backup-simplify:  Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
1546942373.162 * [misc]backup-simplify:  Simplify (exp (fma (/ -1 x) (/ -1 x) -1)) into (exp (fma (/ -1 x) (/ -1 x) -1))
1546942373.162 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.162 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.162 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.162 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.162 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.162 * [misc]backup-simplify:  Simplify 0 into 0
1546942373.163 * [misc]backup-simplify:  Simplify (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) -1)) into (exp (fma x x -1))
1546942373.163 * * * [misc]progress:  simplifying candidates
1546942373.163 * * * * [misc]progress:  [ 1 / 45 ] simplifiying candidate #<alt (λ (x) (- (exp (log1p (exp (fma x x -1)))) 1))>
1546942373.163 * * * * [misc]progress:  [ 2 / 45 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (expm1 (log1p (exp (fma x x -1)))))))>
1546942373.163 * * * * [misc]progress:  [ 3 / 45 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (expm1 (log1p (exp (fma x x -1)))))))>
1546942373.163 * * * * [misc]progress:  [ 4 / 45 ] simplifiying candidate #<alt (λ (x) (exp (fma x x -1)))>
1546942373.163 * [enter]simplify:  Simplifying (fma x x -1)
1546942373.163 * * [misc]simplify:  iters left: 1 (3 enodes)
1546942373.164 * [exit]simplify:  Simplified to (fma x x -1)
1546942373.164 * [misc]simplify:  Simplified (2 1) to (λ (x) (exp (fma x x -1)))
1546942373.164 * * * * [misc]progress:  [ 5 / 45 ] simplifiying candidate #<alt (λ (x) (pow (expm1 (log1p (exp (fma x x -1)))) 1))>
1546942373.164 * * * * [misc]progress:  [ 6 / 45 ] simplifiying candidate #<alt (λ (x) (exp (log (expm1 (log1p (exp (fma x x -1)))))))>
1546942373.164 * * * * [misc]progress:  [ 7 / 45 ] simplifiying candidate #<alt (λ (x) (log (exp (expm1 (log1p (exp (fma x x -1)))))))>
1546942373.164 * * * * [misc]progress:  [ 8 / 45 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (expm1 (log1p (exp (fma x x -1))))) (cbrt (expm1 (log1p (exp (fma x x -1)))))) (cbrt (expm1 (log1p (exp (fma x x -1)))))))>
1546942373.165 * * * * [misc]progress:  [ 9 / 45 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (expm1 (log1p (exp (fma x x -1)))) (expm1 (log1p (exp (fma x x -1))))) (expm1 (log1p (exp (fma x x -1)))))))>
1546942373.165 * * * * [misc]progress:  [ 10 / 45 ] simplifiying candidate #<alt (λ (x) (* (sqrt (expm1 (log1p (exp (fma x x -1))))) (sqrt (expm1 (log1p (exp (fma x x -1)))))))>
1546942373.165 * * * * [misc]progress:  [ 11 / 45 ] simplifiying candidate #<alt (λ (x) (* 1 (expm1 (log1p (exp (fma x x -1))))))>
1546942373.165 * * * * [misc]progress:  [ 12 / 45 ] simplifiying candidate #<alt (λ (x) (expm1 (log (+ 1 (exp (fma x x -1))))))>
1546942373.165 * * * * [misc]progress:  [ 13 / 45 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (expm1 (log1p (exp (fma x x -1)))))))>
1546942373.165 * * * * [misc]progress:  [ 14 / 45 ] simplifiying candidate #<alt (λ (x) (expm1 (expm1 (log1p (log1p (exp (fma x x -1)))))))>
1546942373.165 * * * * [misc]progress:  [ 15 / 45 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (exp (fma x x -1)))))>
1546942373.165 * [enter]simplify:  Simplifying (exp (fma x x -1))
1546942373.165 * * [misc]simplify:  iters left: 2 (4 enodes)
1546942373.166 * * [misc]simplify:  iters left: 1 (6 enodes)
1546942373.170 * [exit]simplify:  Simplified to (exp (fma x x -1))
1546942373.171 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (expm1 (log1p (exp (fma x x -1)))))
1546942373.171 * * * * [misc]progress:  [ 16 / 45 ] simplifiying candidate #<alt (λ (x) (expm1 (pow (log1p (exp (fma x x -1))) 1)))>
1546942373.171 * * * * [misc]progress:  [ 17 / 45 ] simplifiying candidate #<alt (λ (x) (expm1 (exp (log (log1p (exp (fma x x -1)))))))>
1546942373.171 * * * * [misc]progress:  [ 18 / 45 ] simplifiying candidate #<alt (λ (x) (expm1 (log (exp (log1p (exp (fma x x -1)))))))>
1546942373.171 * * * * [misc]progress:  [ 19 / 45 ] simplifiying candidate #<alt (λ (x) (expm1 (* (* (cbrt (log1p (exp (fma x x -1)))) (cbrt (log1p (exp (fma x x -1))))) (cbrt (log1p (exp (fma x x -1)))))))>
1546942373.171 * * * * [misc]progress:  [ 20 / 45 ] simplifiying candidate #<alt (λ (x) (expm1 (cbrt (* (* (log1p (exp (fma x x -1))) (log1p (exp (fma x x -1)))) (log1p (exp (fma x x -1)))))))>
1546942373.171 * * * * [misc]progress:  [ 21 / 45 ] simplifiying candidate #<alt (λ (x) (expm1 (* (sqrt (log1p (exp (fma x x -1)))) (sqrt (log1p (exp (fma x x -1)))))))>
1546942373.171 * * * * [misc]progress:  [ 22 / 45 ] simplifiying candidate #<alt (λ (x) (expm1 (* 1 (log1p (exp (fma x x -1))))))>
1546942373.171 * * * * [misc]progress:  [ 23 / 45 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (log1p (expm1 (exp (fma x x -1)))))))>
1546942373.171 * * * * [misc]progress:  [ 24 / 45 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (expm1 (log1p (exp (fma x x -1)))))))>
1546942373.171 * * * * [misc]progress:  [ 25 / 45 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (pow (exp (fma x x -1)) 1))))>
1546942373.171 * * * * [misc]progress:  [ 26 / 45 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (pow (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) (cbrt (fma x x -1))))))>
1546942373.172 * [enter]simplify:  Simplifying (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1))))
1546942373.172 * * [misc]simplify:  iters left: 5 (6 enodes)
1546942373.174 * * [misc]simplify:  iters left: 4 (10 enodes)
1546942373.177 * * [misc]simplify:  iters left: 3 (15 enodes)
1546942373.182 * * [misc]simplify:  iters left: 2 (21 enodes)
1546942373.185 * * [misc]simplify:  iters left: 1 (36 enodes)
1546942373.196 * [exit]simplify:  Simplified to (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1))))
1546942373.196 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (expm1 (log1p (pow (exp (* (cbrt (fma x x -1)) (cbrt (fma x x -1)))) (cbrt (fma x x -1))))))
1546942373.196 * * * * [misc]progress:  [ 27 / 45 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (pow (exp (sqrt (fma x x -1))) (sqrt (fma x x -1))))))>
1546942373.196 * [enter]simplify:  Simplifying (exp (sqrt (fma x x -1)))
1546942373.197 * * [misc]simplify:  iters left: 3 (5 enodes)
1546942373.197 * * [misc]simplify:  iters left: 2 (7 enodes)
1546942373.198 * * [misc]simplify:  iters left: 1 (12 enodes)
1546942373.200 * [exit]simplify:  Simplified to (exp (sqrt (fma x x -1)))
1546942373.200 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (expm1 (log1p (pow (exp (sqrt (fma x x -1))) (sqrt (fma x x -1))))))
1546942373.200 * * * * [misc]progress:  [ 28 / 45 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (pow (exp 1) (fma x x -1)))))>
1546942373.201 * [enter]simplify:  Simplifying (exp 1)
1546942373.201 * * [misc]simplify:  iters left: 1 (2 enodes)
1546942373.201 * [exit]simplify:  Simplified to E
1546942373.201 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (expm1 (log1p (pow E (fma x x -1)))))
1546942373.201 * * * * [misc]progress:  [ 29 / 45 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (* (exp (* x x)) (exp -1)))))>
1546942373.201 * [enter]simplify:  Simplifying (exp (* x x))
1546942373.201 * * [misc]simplify:  iters left: 3 (3 enodes)
1546942373.202 * * [misc]simplify:  iters left: 2 (5 enodes)
1546942373.202 * [exit]simplify:  Simplified to (exp (* x x))
1546942373.202 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (expm1 (log1p (* (exp (* x x)) (exp -1)))))
1546942373.202 * * * * [misc]progress:  [ 30 / 45 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (exp (fma x x -1)))))>
1546942373.203 * [enter]simplify:  Simplifying (fma x x -1)
1546942373.203 * * [misc]simplify:  iters left: 1 (3 enodes)
1546942373.203 * [exit]simplify:  Simplified to (fma x x -1)
1546942373.203 * [misc]simplify:  Simplified (2 1 1 1) to (λ (x) (expm1 (log1p (exp (fma x x -1)))))
1546942373.203 * * * * [misc]progress:  [ 31 / 45 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (exp (log (exp (fma x x -1)))))))>
1546942373.203 * * * * [misc]progress:  [ 32 / 45 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (log (exp (exp (fma x x -1)))))))>
1546942373.203 * * * * [misc]progress:  [ 33 / 45 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (* (* (cbrt (exp (fma x x -1))) (cbrt (exp (fma x x -1)))) (cbrt (exp (fma x x -1)))))))>
1546942373.203 * * * * [misc]progress:  [ 34 / 45 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (cbrt (* (* (exp (fma x x -1)) (exp (fma x x -1))) (exp (fma x x -1)))))))>
1546942373.203 * * * * [misc]progress:  [ 35 / 45 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (* (sqrt (exp (fma x x -1))) (sqrt (exp (fma x x -1)))))))>
1546942373.203 * * * * [misc]progress:  [ 36 / 45 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (* 1 (exp (fma x x -1))))))>
1546942373.203 * * * * [misc]progress:  [ 37 / 45 ] simplifiying candidate #<alt (λ (x) (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))))>
1546942373.203 * [enter]simplify:  Simplifying (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
1546942373.204 * * [misc]simplify:  iters left: 6 (13 enodes)
1546942373.206 * * [misc]simplify:  iters left: 5 (24 enodes)
1546942373.210 * * [misc]simplify:  iters left: 4 (51 enodes)
1546942373.229 * * [misc]simplify:  iters left: 3 (101 enodes)
1546942373.248 * * [misc]simplify:  iters left: 2 (121 enodes)
1546942373.271 * * [misc]simplify:  iters left: 1 (196 enodes)
1546942373.385 * [exit]simplify:  Simplified to (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1))
1546942373.386 * [misc]simplify:  Simplified (2) to (λ (x) (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1)))
1546942373.386 * * * * [misc]progress:  [ 38 / 45 ] simplifiying candidate #<alt (λ (x) (exp (fma x x -1)))>
1546942373.386 * [enter]simplify:  Simplifying (exp (fma x x -1))
1546942373.386 * * [misc]simplify:  iters left: 2 (4 enodes)
1546942373.387 * * [misc]simplify:  iters left: 1 (6 enodes)
1546942373.390 * [exit]simplify:  Simplified to (exp (fma x x -1))
1546942373.390 * [misc]simplify:  Simplified (2) to (λ (x) (exp (fma x x -1)))
1546942373.390 * * * * [misc]progress:  [ 39 / 45 ] simplifiying candidate #<alt (λ (x) (exp (fma x x -1)))>
1546942373.390 * [enter]simplify:  Simplifying (exp (fma x x -1))
1546942373.390 * * [misc]simplify:  iters left: 2 (4 enodes)
1546942373.391 * * [misc]simplify:  iters left: 1 (6 enodes)
1546942373.394 * [exit]simplify:  Simplified to (exp (fma x x -1))
1546942373.394 * [misc]simplify:  Simplified (2) to (λ (x) (exp (fma x x -1)))
1546942373.394 * * * * [misc]progress:  [ 40 / 45 ] simplifiying candidate #<alt (λ (x) (expm1 (- (+ (* 1/2 (/ (* (pow x 4) (exp -1)) (+ (exp -1) 1))) (+ (/ (* (pow x 2) (exp -1)) (+ (exp -1) 1)) (log (+ (exp -1) 1)))) (* 1/2 (/ (* (pow x 4) (pow (exp -1) 2)) (pow (+ (exp -1) 1) 2))))))>
1546942373.394 * [enter]simplify:  Simplifying (- (+ (* 1/2 (/ (* (pow x 4) (exp -1)) (+ (exp -1) 1))) (+ (/ (* (pow x 2) (exp -1)) (+ (exp -1) 1)) (log (+ (exp -1) 1)))) (* 1/2 (/ (* (pow x 4) (pow (exp -1) 2)) (pow (+ (exp -1) 1) 2))))
1546942373.394 * * [misc]simplify:  iters left: 6 (24 enodes)
1546942373.403 * * [misc]simplify:  iters left: 5 (53 enodes)
1546942373.422 * * [misc]simplify:  iters left: 4 (145 enodes)
1546942373.457 * * [misc]simplify:  iters left: 3 (365 enodes)
1546942373.676 * [exit]simplify:  Simplified to (+ (fma (/ (* (pow x 4) (exp -1)) (+ (exp -1) 1)) 1/2 (log1p (exp -1))) (fma (/ -1/2 (+ (exp -1) 1)) (/ (* (pow x 4) (exp -2)) (+ (exp -1) 1)) (/ (* (* x x) (exp -1)) (+ (exp -1) 1))))
1546942373.677 * [misc]simplify:  Simplified (2 1) to (λ (x) (expm1 (+ (fma (/ (* (pow x 4) (exp -1)) (+ (exp -1) 1)) 1/2 (log1p (exp -1))) (fma (/ -1/2 (+ (exp -1) 1)) (/ (* (pow x 4) (exp -2)) (+ (exp -1) 1)) (/ (* (* x x) (exp -1)) (+ (exp -1) 1))))))
1546942373.677 * * * * [misc]progress:  [ 41 / 45 ] simplifiying candidate #<alt (λ (x) (expm1 (log (+ (exp (fma x x -1)) 1))))>
1546942373.677 * [enter]simplify:  Simplifying (log (+ (exp (fma x x -1)) 1))
1546942373.677 * * [misc]simplify:  iters left: 5 (7 enodes)
1546942373.678 * * [misc]simplify:  iters left: 4 (12 enodes)
1546942373.680 * * [misc]simplify:  iters left: 3 (20 enodes)
1546942373.683 * * [misc]simplify:  iters left: 2 (30 enodes)
1546942373.688 * * [misc]simplify:  iters left: 1 (50 enodes)
1546942373.704 * [exit]simplify:  Simplified to (log1p (exp (fma x x -1)))
1546942373.704 * [misc]simplify:  Simplified (2 1) to (λ (x) (expm1 (log1p (exp (fma x x -1)))))
1546942373.704 * * * * [misc]progress:  [ 42 / 45 ] simplifiying candidate #<alt (λ (x) (expm1 (log (+ (exp (fma x x -1)) 1))))>
1546942373.704 * [enter]simplify:  Simplifying (log (+ (exp (fma x x -1)) 1))
1546942373.704 * * [misc]simplify:  iters left: 5 (7 enodes)
1546942373.706 * * [misc]simplify:  iters left: 4 (12 enodes)
1546942373.709 * * [misc]simplify:  iters left: 3 (20 enodes)
1546942373.715 * * [misc]simplify:  iters left: 2 (30 enodes)
1546942373.722 * * [misc]simplify:  iters left: 1 (50 enodes)
1546942373.738 * [exit]simplify:  Simplified to (log1p (exp (fma x x -1)))
1546942373.738 * [misc]simplify:  Simplified (2 1) to (λ (x) (expm1 (log1p (exp (fma x x -1)))))
1546942373.738 * * * * [misc]progress:  [ 43 / 45 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1))))))))>
1546942373.738 * [enter]simplify:  Simplifying (+ (exp -1) (+ (* (pow x 2) (exp -1)) (* 1/2 (* (pow x 4) (exp -1)))))
1546942373.738 * * [misc]simplify:  iters left: 6 (13 enodes)
1546942373.741 * * [misc]simplify:  iters left: 5 (24 enodes)
1546942373.745 * * [misc]simplify:  iters left: 4 (51 enodes)
1546942373.755 * * [misc]simplify:  iters left: 3 (101 enodes)
1546942373.768 * * [misc]simplify:  iters left: 2 (121 enodes)
1546942373.788 * * [misc]simplify:  iters left: 1 (196 enodes)
1546942373.855 * [exit]simplify:  Simplified to (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1))
1546942373.855 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (expm1 (log1p (fma (fma 1/2 (pow x 4) (* x x)) (exp -1) (exp -1)))))
1546942373.855 * * * * [misc]progress:  [ 44 / 45 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (exp (fma x x -1)))))>
1546942373.855 * [enter]simplify:  Simplifying (exp (fma x x -1))
1546942373.855 * * [misc]simplify:  iters left: 2 (4 enodes)
1546942373.856 * * [misc]simplify:  iters left: 1 (6 enodes)
1546942373.858 * [exit]simplify:  Simplified to (exp (fma x x -1))
1546942373.858 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (expm1 (log1p (exp (fma x x -1)))))
1546942373.858 * * * * [misc]progress:  [ 45 / 45 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (exp (fma x x -1)))))>
1546942373.859 * [enter]simplify:  Simplifying (exp (fma x x -1))
1546942373.859 * * [misc]simplify:  iters left: 2 (4 enodes)
1546942373.860 * * [misc]simplify:  iters left: 1 (6 enodes)
1546942373.862 * [exit]simplify:  Simplified to (exp (fma x x -1))
1546942373.862 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (expm1 (log1p (exp (fma x x -1)))))
1546942373.862 * * * [misc]progress:  adding candidates to table
1546942374.153 * [misc]progress:  [Phase 3 of 3] Extracting.
1546942374.153 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (exp (fma x x -1)))> #<alt (λ (x) (expm1 (log1p (exp (fma x x -1)))))>)
1546942374.153 * * * [misc]regime-changes:  Trying 1 branch expressions: (x)
1546942374.153 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (exp (fma x x -1)))> #<alt (λ (x) (expm1 (log1p (exp (fma x x -1)))))>)
1546942374.171 * * * [misc]regime:  Found split indices: #<option (#s(si 0 256))>
1546942374.172 * [enter]simplify:  Simplifying (exp (fma x x -1))
1546942374.172 * * [misc]simplify:  iters left: 2 (4 enodes)
1546942374.172 * [exit]simplify:  Simplified to (exp (fma x x -1))
1546942374.172 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1546942374.714 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942374.717 * * * * [misc]points:  Sampling 4013 additional inputs, on iter 1 have 3987 / 8000
1546942374.970 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942374.971 * * * * [misc]points:  Sampling 2020 additional inputs, on iter 2 have 5980 / 8000
1546942375.096 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942375.097 * * * * [misc]points:  Sampling 992 additional inputs, on iter 3 have 7008 / 8000
1546942375.180 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942375.180 * * * * [misc]points:  Sampling 502 additional inputs, on iter 4 have 7498 / 8000
1546942375.253 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942375.253 * * * * [misc]points:  Sampling 251 additional inputs, on iter 5 have 7749 / 8000
1546942375.274 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942375.274 * * * * [misc]points:  Sampling 139 additional inputs, on iter 6 have 7861 / 8000
1546942375.287 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942375.287 * * * * [misc]points:  Sampling 71 additional inputs, on iter 7 have 7929 / 8000
1546942375.294 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942375.294 * * * * [misc]points:  Sampling 29 additional inputs, on iter 8 have 7971 / 8000
1546942375.298 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942375.298 * * * * [misc]points:  Sampling 18 additional inputs, on iter 9 have 7982 / 8000
1546942375.301 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942375.301 * * * * [misc]points:  Sampling 13 additional inputs, on iter 10 have 7987 / 8000
1546942375.303 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942375.303 * * * * [misc]points:  Sampling 6 additional inputs, on iter 11 have 7994 / 8000
1546942375.305 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942375.305 * * * * [misc]points:  Sampling 4 additional inputs, on iter 12 have 7997 / 8000
1546942375.306 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942375.306 * * * * [misc]points:  Sampling 4 additional inputs, on iter 13 have 7999 / 8000
1546942375.308 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942375.308 * * * * [exit]points:  Sampled 8001 points with exact outputs
1546942375.675 * [misc]regime-testing:  Baseline error score: 0.022847149970624137
1546942375.676 * [misc]regime-testing:  Oracle error score: 0.02167598671153856
1546942375.678 * [misc]regime-testing:  End program error score: 0.022847149970624137