1538431533.480 * [misc]progress:  [Phase 1 of 3] Setting up.
1538431533.480 * * * [misc]progress:  [1/2] Preparing points
1538431533.480 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1538431533.512 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538431533.512 * * * * [exit]points:  Sampled 256 points with exact outputs
1538431533.512 * * * [misc]progress:  [2/2] Setting up program.
1538431533.517 * [misc]progress:  [Phase 2 of 3] Improving.
1538431533.517 * [enter]simplify:  Simplifying (+ (/ 1 (- x 1)) (/ x (+ x 1)))
1538431533.518 * * [misc]simplify:  iters left: 6 (7 enodes)
1538431533.521 * * [misc]simplify:  iters left: 5 (14 enodes)
1538431533.522 * * [misc]simplify:  iters left: 4 (15 enodes)
1538431533.525 * [exit]simplify:  Simplified to (+ (/ 1 (- x 1)) (/ x (+ x 1)))
1538431533.532 * * [misc]progress:  iteration 1 / 4
1538431533.532 * * * [misc]progress:  picking best candidate
1538431533.535 * * * * [misc]pick:  Picked  #<alt (λ (x) (+ (/ 1 (- x 1)) (/ x (+ x 1))))>
1538431533.535 * * * [misc]progress:  localizing error
1538431533.565 * * * [misc]progress:  generating rewritten candidates
1538431533.565 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 2)
1538431533.583 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2)
1538431533.648 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 1)
1538431533.663 * * * [misc]progress:  generating series expansions
1538431533.663 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 2)
1538431533.663 * [misc]backup-simplify:  Simplify (/ x (+ x 1)) into (/ x (+ x 1))
1538431533.663 * [misc]approximate:  Taking taylor expansion of (/ x (+ x 1)) in (x) around 0
1538431533.663 * [misc]taylor:  Taking taylor expansion of (/ x (+ x 1)) in x
1538431533.663 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.663 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.663 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.663 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1538431533.663 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.663 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.663 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.663 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431533.663 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.664 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538431533.664 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431533.664 * [misc]taylor:  Taking taylor expansion of (/ x (+ x 1)) in x
1538431533.664 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.664 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.664 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.664 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1538431533.664 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.664 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.664 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.664 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431533.664 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.664 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538431533.664 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431533.664 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.664 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431533.664 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)))) into -1
1538431533.664 * [misc]backup-simplify:  Simplify -1 into -1
1538431533.665 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431533.665 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1538431533.665 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.665 * [misc]backup-simplify:  Simplify (+ (* 1 (pow x 3)) (+ (* -1 (pow x 2)) (* 1 x))) into (- (+ x (pow x 3)) (pow x 2))
1538431533.665 * [misc]backup-simplify:  Simplify (/ (/ 1 x) (+ (/ 1 x) 1)) into (/ 1 (* (+ (/ 1 x) 1) x))
1538431533.665 * [misc]approximate:  Taking taylor expansion of (/ 1 (* (+ (/ 1 x) 1) x)) in (x) around 0
1538431533.665 * [misc]taylor:  Taking taylor expansion of (/ 1 (* (+ (/ 1 x) 1) x)) in x
1538431533.665 * [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 x) 1) x) in x
1538431533.665 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1538431533.665 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431533.665 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.665 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.665 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.665 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431533.665 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431533.665 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.665 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.665 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.665 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.666 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431533.666 * [misc]backup-simplify:  Simplify (* 1 0) into 0
1538431533.666 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538431533.666 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538431533.666 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 0)) into 1
1538431533.666 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431533.666 * [misc]taylor:  Taking taylor expansion of (/ 1 (* (+ (/ 1 x) 1) x)) in x
1538431533.666 * [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 x) 1) x) in x
1538431533.666 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1538431533.666 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431533.666 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.666 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.666 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.666 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431533.666 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431533.666 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.666 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.666 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.666 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.667 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431533.667 * [misc]backup-simplify:  Simplify (* 1 0) into 0
1538431533.667 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538431533.667 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538431533.667 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 0)) into 1
1538431533.667 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431533.667 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.667 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431533.667 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431533.668 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 1) (* 0 0))) into 1
1538431533.668 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1538431533.668 * [misc]backup-simplify:  Simplify -1 into -1
1538431533.668 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431533.668 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431533.668 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
1538431533.668 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1538431533.669 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.669 * [misc]backup-simplify:  Simplify (+ (* 1 (pow (/ 1 x) 2)) (+ (* -1 (/ 1 x)) 1)) into (- (+ (/ 1 (pow x 2)) 1) (/ 1 x))
1538431533.669 * [misc]backup-simplify:  Simplify (/ (/ 1 (- x)) (+ (/ 1 (- x)) 1)) into (/ -1 (* x (- 1 (/ 1 x))))
1538431533.669 * [misc]approximate:  Taking taylor expansion of (/ -1 (* x (- 1 (/ 1 x)))) in (x) around 0
1538431533.669 * [misc]taylor:  Taking taylor expansion of (/ -1 (* x (- 1 (/ 1 x)))) in x
1538431533.669 * [misc]taylor:  Taking taylor expansion of -1 in x
1538431533.669 * [misc]backup-simplify:  Simplify -1 into -1
1538431533.669 * [misc]taylor:  Taking taylor expansion of (* x (- 1 (/ 1 x))) in x
1538431533.669 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.669 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.669 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.669 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1538431533.669 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431533.669 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.669 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431533.669 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.669 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.669 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.669 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431533.669 * [misc]backup-simplify:  Simplify (- 1) into -1
1538431533.670 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538431533.670 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1538431533.670 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538431533.670 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431533.670 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431533.670 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1538431533.670 * [misc]backup-simplify:  Simplify (/ -1 -1) into 1
1538431533.670 * [misc]taylor:  Taking taylor expansion of (/ -1 (* x (- 1 (/ 1 x)))) in x
1538431533.670 * [misc]taylor:  Taking taylor expansion of -1 in x
1538431533.670 * [misc]backup-simplify:  Simplify -1 into -1
1538431533.670 * [misc]taylor:  Taking taylor expansion of (* x (- 1 (/ 1 x))) in x
1538431533.670 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.670 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.670 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.670 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1538431533.670 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431533.670 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.670 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431533.670 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.670 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.670 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.671 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431533.671 * [misc]backup-simplify:  Simplify (- 1) into -1
1538431533.671 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538431533.671 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1538431533.671 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538431533.671 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431533.671 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431533.671 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1538431533.671 * [misc]backup-simplify:  Simplify (/ -1 -1) into 1
1538431533.671 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.672 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431533.672 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431533.672 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431533.672 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
1538431533.672 * [misc]backup-simplify:  Simplify (- (/ 0 -1) (+ (* 1 (/ 1 -1)))) into 1
1538431533.672 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.672 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431533.672 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431533.673 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431533.673 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
1538431533.673 * [misc]backup-simplify:  Simplify (- (/ 0 -1) (+ (* 1 (/ 0 -1)) (* 1 (/ 1 -1)))) into 1
1538431533.673 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.673 * [misc]backup-simplify:  Simplify (+ (* 1 (pow (/ 1 (- x)) 2)) (+ (* 1 (/ 1 (- x))) 1)) into (- (+ (/ 1 (pow x 2)) 1) (/ 1 x))
1538431533.673 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2)
1538431533.674 * [misc]backup-simplify:  Simplify (+ (/ 1 (- x 1)) (/ x (+ x 1))) into (+ (/ x (+ x 1)) (/ 1 (- x 1)))
1538431533.674 * [misc]approximate:  Taking taylor expansion of (+ (/ x (+ x 1)) (/ 1 (- x 1))) in (x) around 0
1538431533.674 * [misc]taylor:  Taking taylor expansion of (+ (/ x (+ x 1)) (/ 1 (- x 1))) in x
1538431533.674 * [misc]taylor:  Taking taylor expansion of (/ x (+ x 1)) in x
1538431533.674 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.674 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.674 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.674 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1538431533.674 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.674 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.674 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.674 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431533.674 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.674 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538431533.674 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431533.674 * [misc]taylor:  Taking taylor expansion of (/ 1 (- x 1)) in x
1538431533.674 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1538431533.674 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.674 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.674 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.674 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431533.674 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.674 * [misc]backup-simplify:  Simplify (- 1) into -1
1538431533.674 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538431533.674 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1538431533.674 * [misc]taylor:  Taking taylor expansion of (+ (/ x (+ x 1)) (/ 1 (- x 1))) in x
1538431533.674 * [misc]taylor:  Taking taylor expansion of (/ x (+ x 1)) in x
1538431533.674 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.674 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.675 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.675 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1538431533.675 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.675 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.675 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.675 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431533.675 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.675 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538431533.675 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431533.675 * [misc]taylor:  Taking taylor expansion of (/ 1 (- x 1)) in x
1538431533.675 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1538431533.675 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.675 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.675 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.675 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431533.675 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.675 * [misc]backup-simplify:  Simplify (- 1) into -1
1538431533.675 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538431533.675 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1538431533.675 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538431533.675 * [misc]backup-simplify:  Simplify -1 into -1
1538431533.676 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431533.676 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431533.676 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1538431533.676 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1538431533.676 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.676 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431533.676 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)))) into -1
1538431533.676 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431533.676 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431533.677 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* -1 (/ 1 -1)))) into -1
1538431533.677 * [misc]backup-simplify:  Simplify (+ -1 -1) into -2
1538431533.677 * [misc]backup-simplify:  Simplify -2 into -2
1538431533.677 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431533.677 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1538431533.677 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431533.677 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431533.677 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* -1 (/ 0 -1)) (* -1 (/ 1 -1)))) into -1
1538431533.677 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1538431533.677 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.678 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431533.678 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1538431533.678 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431533.678 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431533.678 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* -1 (/ 0 -1)) (* -1 (/ 0 -1)) (* -1 (/ 1 -1)))) into -1
1538431533.678 * [misc]backup-simplify:  Simplify (+ -1 -1) into -2
1538431533.678 * [misc]backup-simplify:  Simplify -2 into -2
1538431533.679 * [misc]backup-simplify:  Simplify (+ (* -2 (pow x 4)) (+ (* -2 (pow x 2)) -1)) into (- (+ (* 2 (pow x 2)) (+ (* 2 (pow x 4)) 1)))
1538431533.679 * [misc]backup-simplify:  Simplify (+ (/ 1 (- (/ 1 x) 1)) (/ (/ 1 x) (+ (/ 1 x) 1))) into (+ (/ 1 (- (/ 1 x) 1)) (/ 1 (* (+ (/ 1 x) 1) x)))
1538431533.679 * [misc]approximate:  Taking taylor expansion of (+ (/ 1 (- (/ 1 x) 1)) (/ 1 (* (+ (/ 1 x) 1) x))) in (x) around 0
1538431533.679 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- (/ 1 x) 1)) (/ 1 (* (+ (/ 1 x) 1) x))) in x
1538431533.679 * [misc]taylor:  Taking taylor expansion of (/ 1 (- (/ 1 x) 1)) in x
1538431533.679 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1538431533.679 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431533.679 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.679 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.679 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.679 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431533.679 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431533.679 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.679 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431533.679 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431533.679 * [misc]taylor:  Taking taylor expansion of (/ 1 (* (+ (/ 1 x) 1) x)) in x
1538431533.679 * [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 x) 1) x) in x
1538431533.679 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1538431533.679 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431533.679 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.679 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.679 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.679 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431533.679 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431533.679 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.679 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.680 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.680 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.680 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431533.680 * [misc]backup-simplify:  Simplify (* 1 0) into 0
1538431533.680 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538431533.680 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538431533.680 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 0)) into 1
1538431533.680 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431533.680 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- (/ 1 x) 1)) (/ 1 (* (+ (/ 1 x) 1) x))) in x
1538431533.680 * [misc]taylor:  Taking taylor expansion of (/ 1 (- (/ 1 x) 1)) in x
1538431533.680 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1538431533.680 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431533.680 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.680 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.680 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.680 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431533.680 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431533.680 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.681 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431533.681 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431533.681 * [misc]taylor:  Taking taylor expansion of (/ 1 (* (+ (/ 1 x) 1) x)) in x
1538431533.681 * [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 x) 1) x) in x
1538431533.681 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1538431533.681 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431533.681 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.681 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.681 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.681 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431533.681 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431533.681 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.681 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.681 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.681 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.681 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431533.681 * [misc]backup-simplify:  Simplify (* 1 0) into 0
1538431533.681 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538431533.681 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538431533.682 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 0)) into 1
1538431533.682 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431533.682 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538431533.682 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.682 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431533.682 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431533.682 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 1) (* 0 0))) into 1
1538431533.682 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1538431533.683 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1538431533.683 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.683 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538431533.683 * [misc]backup-simplify:  Simplify (- 1) into -1
1538431533.683 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538431533.683 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ -1 1)))) into 1
1538431533.683 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431533.683 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431533.684 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
1538431533.684 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1538431533.684 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1538431533.684 * [misc]backup-simplify:  Simplify 2 into 2
1538431533.684 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431533.684 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431533.684 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431533.684 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 1 (/ -1 1)))) into 1
1538431533.685 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431533.685 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431533.685 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1538431533.685 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1538431533.685 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1538431533.685 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.686 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431533.686 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431533.686 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431533.686 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 1 (/ -1 1)))) into 1
1538431533.686 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431533.686 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431533.687 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1538431533.687 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1538431533.687 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1538431533.687 * [misc]backup-simplify:  Simplify 2 into 2
1538431533.688 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 x) 4)) (+ (* 2 (pow (/ 1 x) 2)) 1)) into (+ (* 2 (/ 1 (pow x 4))) (+ 1 (* 2 (/ 1 (pow x 2)))))
1538431533.688 * [misc]backup-simplify:  Simplify (+ (/ 1 (- (/ 1 (- x)) 1)) (/ (/ 1 (- x)) (+ (/ 1 (- x)) 1))) into (- (+ (/ 1 (* x (- 1 (/ 1 x)))) (/ 1 (+ (/ 1 x) 1))))
1538431533.688 * [misc]approximate:  Taking taylor expansion of (- (+ (/ 1 (* x (- 1 (/ 1 x)))) (/ 1 (+ (/ 1 x) 1)))) in (x) around 0
1538431533.688 * [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 (* x (- 1 (/ 1 x)))) (/ 1 (+ (/ 1 x) 1)))) in x
1538431533.688 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 (* x (- 1 (/ 1 x)))) (/ 1 (+ (/ 1 x) 1))) in x
1538431533.688 * [misc]taylor:  Taking taylor expansion of (/ 1 (* x (- 1 (/ 1 x)))) in x
1538431533.688 * [misc]taylor:  Taking taylor expansion of (* x (- 1 (/ 1 x))) in x
1538431533.688 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.688 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.688 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.688 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1538431533.688 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431533.688 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.688 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431533.688 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.688 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.688 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.688 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431533.688 * [misc]backup-simplify:  Simplify (- 1) into -1
1538431533.688 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538431533.688 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1538431533.689 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538431533.689 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431533.689 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431533.689 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1538431533.689 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1538431533.689 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 x) 1)) in x
1538431533.689 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1538431533.689 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431533.689 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.689 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.689 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.689 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431533.689 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431533.689 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.689 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431533.689 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431533.689 * [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 (* x (- 1 (/ 1 x)))) (/ 1 (+ (/ 1 x) 1)))) in x
1538431533.689 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 (* x (- 1 (/ 1 x)))) (/ 1 (+ (/ 1 x) 1))) in x
1538431533.689 * [misc]taylor:  Taking taylor expansion of (/ 1 (* x (- 1 (/ 1 x)))) in x
1538431533.690 * [misc]taylor:  Taking taylor expansion of (* x (- 1 (/ 1 x))) in x
1538431533.690 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.690 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.690 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.690 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1538431533.690 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431533.690 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.690 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431533.690 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.690 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.690 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.690 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431533.690 * [misc]backup-simplify:  Simplify (- 1) into -1
1538431533.690 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538431533.690 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1538431533.690 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538431533.690 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431533.690 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431533.691 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1538431533.691 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1538431533.691 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 x) 1)) in x
1538431533.691 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1538431533.691 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431533.691 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.691 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.691 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.691 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431533.691 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431533.691 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.691 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431533.691 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431533.691 * [misc]backup-simplify:  Simplify (+ -1 0) into -1
1538431533.691 * [misc]backup-simplify:  Simplify (- -1) into 1
1538431533.691 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.692 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431533.692 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431533.692 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431533.692 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
1538431533.692 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1538431533.692 * [misc]backup-simplify:  Simplify (+ -1 1) into 0
1538431533.692 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431533.692 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.692 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431533.693 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431533.693 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431533.693 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
1538431533.693 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* -1 (/ 1 -1)))) into -1
1538431533.693 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538431533.693 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538431533.693 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1538431533.694 * [misc]backup-simplify:  Simplify (+ -1 -1) into -2
1538431533.694 * [misc]backup-simplify:  Simplify (- -2) into 2
1538431533.694 * [misc]backup-simplify:  Simplify 2 into 2
1538431533.694 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431533.694 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431533.694 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431533.694 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))) into 0
1538431533.694 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* -1 (/ 0 -1)) (* -1 (/ 1 -1)))) into -1
1538431533.695 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431533.695 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431533.695 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1538431533.695 * [misc]backup-simplify:  Simplify (+ -1 1) into 0
1538431533.695 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431533.695 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.695 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431533.696 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431533.696 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431533.696 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))))) into 0
1538431533.696 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* -1 (/ 0 -1)) (* -1 (/ 0 -1)) (* -1 (/ 1 -1)))) into -1
1538431533.696 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431533.696 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431533.697 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1538431533.697 * [misc]backup-simplify:  Simplify (+ -1 -1) into -2
1538431533.697 * [misc]backup-simplify:  Simplify (- -2) into 2
1538431533.697 * [misc]backup-simplify:  Simplify 2 into 2
1538431533.697 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- x)) 4)) (+ (* 2 (pow (/ 1 (- x)) 2)) 1)) into (+ (* 2 (/ 1 (pow x 4))) (+ 1 (* 2 (/ 1 (pow x 2)))))
1538431533.697 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 1)
1538431533.698 * [misc]backup-simplify:  Simplify (/ 1 (- x 1)) into (/ 1 (- x 1))
1538431533.698 * [misc]approximate:  Taking taylor expansion of (/ 1 (- x 1)) in (x) around 0
1538431533.698 * [misc]taylor:  Taking taylor expansion of (/ 1 (- x 1)) in x
1538431533.698 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1538431533.698 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.698 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.698 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.698 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431533.698 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.698 * [misc]backup-simplify:  Simplify (- 1) into -1
1538431533.698 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538431533.698 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1538431533.698 * [misc]taylor:  Taking taylor expansion of (/ 1 (- x 1)) in x
1538431533.698 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1538431533.698 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.698 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.698 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.698 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431533.698 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.698 * [misc]backup-simplify:  Simplify (- 1) into -1
1538431533.698 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538431533.698 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1538431533.698 * [misc]backup-simplify:  Simplify -1 into -1
1538431533.699 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431533.699 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431533.699 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1538431533.699 * [misc]backup-simplify:  Simplify -1 into -1
1538431533.699 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431533.699 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431533.699 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* -1 (/ 1 -1)))) into -1
1538431533.699 * [misc]backup-simplify:  Simplify -1 into -1
1538431533.699 * [misc]backup-simplify:  Simplify (+ (* -1 (pow x 2)) (+ (* -1 x) -1)) into (- (+ x (+ (pow x 2) 1)))
1538431533.699 * [misc]backup-simplify:  Simplify (/ 1 (- (/ 1 x) 1)) into (/ 1 (- (/ 1 x) 1))
1538431533.700 * [misc]approximate:  Taking taylor expansion of (/ 1 (- (/ 1 x) 1)) in (x) around 0
1538431533.700 * [misc]taylor:  Taking taylor expansion of (/ 1 (- (/ 1 x) 1)) in x
1538431533.700 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1538431533.700 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431533.700 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.700 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.700 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.700 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431533.700 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431533.700 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.700 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431533.700 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431533.700 * [misc]taylor:  Taking taylor expansion of (/ 1 (- (/ 1 x) 1)) in x
1538431533.700 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1538431533.700 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431533.700 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.700 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.700 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.700 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431533.700 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431533.700 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.700 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431533.700 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431533.700 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.701 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538431533.701 * [misc]backup-simplify:  Simplify (- 1) into -1
1538431533.701 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538431533.701 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ -1 1)))) into 1
1538431533.701 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.701 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431533.701 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431533.701 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431533.702 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 1 (/ -1 1)))) into 1
1538431533.702 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.702 * [misc]backup-simplify:  Simplify (+ (* 1 (pow (/ 1 x) 3)) (+ (* 1 (pow (/ 1 x) 2)) (* 1 (/ 1 x)))) into (+ (/ 1 (pow x 3)) (+ (/ 1 (pow x 2)) (/ 1 x)))
1538431533.702 * [misc]backup-simplify:  Simplify (/ 1 (- (/ 1 (- x)) 1)) into (/ -1 (+ (/ 1 x) 1))
1538431533.702 * [misc]approximate:  Taking taylor expansion of (/ -1 (+ (/ 1 x) 1)) in (x) around 0
1538431533.702 * [misc]taylor:  Taking taylor expansion of (/ -1 (+ (/ 1 x) 1)) in x
1538431533.702 * [misc]taylor:  Taking taylor expansion of -1 in x
1538431533.702 * [misc]backup-simplify:  Simplify -1 into -1
1538431533.702 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1538431533.702 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431533.702 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.702 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.702 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.702 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431533.702 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431533.702 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.702 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431533.703 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538431533.703 * [misc]taylor:  Taking taylor expansion of (/ -1 (+ (/ 1 x) 1)) in x
1538431533.703 * [misc]taylor:  Taking taylor expansion of -1 in x
1538431533.703 * [misc]backup-simplify:  Simplify -1 into -1
1538431533.703 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1538431533.703 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431533.703 * [misc]taylor:  Taking taylor expansion of x in x
1538431533.703 * [misc]backup-simplify:  Simplify 0 into 0
1538431533.703 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.703 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431533.703 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431533.703 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.703 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431533.703 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538431533.703 * [misc]backup-simplify:  Simplify -1 into -1
1538431533.703 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538431533.703 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538431533.704 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 1 1)))) into 1
1538431533.704 * [misc]backup-simplify:  Simplify 1 into 1
1538431533.704 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431533.704 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431533.704 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1538431533.704 * [misc]backup-simplify:  Simplify -1 into -1
1538431533.704 * [misc]backup-simplify:  Simplify (+ (* -1 (pow (/ 1 (- x)) 3)) (+ (* 1 (pow (/ 1 (- x)) 2)) (* -1 (/ 1 (- x))))) into (+ (/ 1 (pow x 3)) (+ (/ 1 (pow x 2)) (/ 1 x)))
1538431533.704 * * * [misc]progress:  simplifying candidates
1538431533.704 * * * * [misc]progress:  [ 1 / 68 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (log1p (expm1 (/ x (+ x 1))))))>
1538431533.705 * * * * [misc]progress:  [ 2 / 68 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (expm1 (log1p (/ x (+ x 1))))))>
1538431533.705 * * * * [misc]progress:  [ 3 / 68 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (pow (/ x (+ x 1)) 1)))>
1538431533.705 * * * * [misc]progress:  [ 4 / 68 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (exp (log (/ x (+ x 1))))))>
1538431533.705 * * * * [misc]progress:  [ 5 / 68 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (log (exp (/ x (+ x 1))))))>
1538431533.705 * * * * [misc]progress:  [ 6 / 68 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (* (* (cbrt (/ x (+ x 1))) (cbrt (/ x (+ x 1)))) (cbrt (/ x (+ x 1))))))>
1538431533.705 * * * * [misc]progress:  [ 7 / 68 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (cbrt (* (* (/ x (+ x 1)) (/ x (+ x 1))) (/ x (+ x 1))))))>
1538431533.705 * * * * [misc]progress:  [ 8 / 68 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (* (sqrt (/ x (+ x 1))) (sqrt (/ x (+ x 1))))))>
1538431533.705 * * * * [misc]progress:  [ 9 / 68 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (/ (- x) (- (+ x 1)))))>
1538431533.705 * * * * [misc]progress:  [ 10 / 68 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (* 1 (/ x (+ x 1)))))>
1538431533.705 * * * * [misc]progress:  [ 11 / 68 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (* x (/ 1 (+ x 1)))))>
1538431533.705 * * * * [misc]progress:  [ 12 / 68 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (/ 1 (/ (+ x 1) x))))>
1538431533.705 * * * * [misc]progress:  [ 13 / 68 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (/ (/ x (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (cbrt (+ x 1)))))>
1538431533.705 * [enter]simplify:  Simplifying (cbrt (+ x 1))
1538431533.705 * * [misc]simplify:  iters left: 3 (4 enodes)
1538431533.706 * * [misc]simplify:  iters left: 2 (7 enodes)
1538431533.707 * [exit]simplify:  Simplified to (cbrt (+ 1 x))
1538431533.707 * [misc]simplify:  Simplified (2 2 2) to (λ (x) (+ (/ 1 (- x 1)) (/ (/ x (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (cbrt (+ 1 x)))))
1538431533.707 * * * * [misc]progress:  [ 14 / 68 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (/ (/ x (sqrt (+ x 1))) (sqrt (+ x 1)))))>
1538431533.708 * [enter]simplify:  Simplifying (sqrt (+ x 1))
1538431533.708 * * [misc]simplify:  iters left: 3 (4 enodes)
1538431533.709 * * [misc]simplify:  iters left: 2 (7 enodes)
1538431533.710 * [exit]simplify:  Simplified to (sqrt (+ 1 x))
1538431533.710 * [misc]simplify:  Simplified (2 2 2) to (λ (x) (+ (/ 1 (- x 1)) (/ (/ x (sqrt (+ x 1))) (sqrt (+ 1 x)))))
1538431533.710 * * * * [misc]progress:  [ 15 / 68 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (/ (/ x 1) (+ x 1))))>
1538431533.710 * [enter]simplify:  Simplifying (+ x 1)
1538431533.710 * * [misc]simplify:  iters left: 2 (3 enodes)
1538431533.711 * * [misc]simplify:  iters left: 1 (6 enodes)
1538431533.712 * [exit]simplify:  Simplified to (+ 1 x)
1538431533.712 * [misc]simplify:  Simplified (2 2 2) to (λ (x) (+ (/ 1 (- x 1)) (/ (/ x 1) (+ 1 x))))
1538431533.712 * * * * [misc]progress:  [ 16 / 68 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (* (/ x (+ (pow x 3) (pow 1 3))) (+ (* x x) (- (* 1 1) (* x 1))))))>
1538431533.712 * [enter]simplify:  Simplifying (+ (* x x) (- (* 1 1) (* x 1)))
1538431533.713 * * [misc]simplify:  iters left: 6 (7 enodes)
1538431533.715 * * [misc]simplify:  iters left: 5 (17 enodes)
1538431533.718 * * [misc]simplify:  iters left: 4 (28 enodes)
1538431533.723 * * [misc]simplify:  iters left: 3 (39 enodes)
1538431533.731 * * [misc]simplify:  iters left: 2 (52 enodes)
1538431533.745 * * [misc]simplify:  iters left: 1 (75 enodes)
1538431533.763 * [exit]simplify:  Simplified to (fma x x (- 1 x))
1538431533.763 * [misc]simplify:  Simplified (2 2 2) to (λ (x) (+ (/ 1 (- x 1)) (* (/ x (+ (pow x 3) (pow 1 3))) (fma x x (- 1 x)))))
1538431533.763 * * * * [misc]progress:  [ 17 / 68 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (* (/ x (- (* x x) (* 1 1))) (- x 1))))>
1538431533.763 * [enter]simplify:  Simplifying (- x 1)
1538431533.763 * * [misc]simplify:  iters left: 2 (3 enodes)
1538431533.765 * * [misc]simplify:  iters left: 1 (8 enodes)
1538431533.767 * [exit]simplify:  Simplified to (+ x -1)
1538431533.767 * [misc]simplify:  Simplified (2 2 2) to (λ (x) (+ (/ 1 (- x 1)) (* (/ x (- (* x x) (* 1 1))) (+ x -1))))
1538431533.767 * * * * [misc]progress:  [ 18 / 68 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (+ (/ 1 (- x 1)) (/ x (+ x 1))))))>
1538431533.767 * * * * [misc]progress:  [ 19 / 68 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (+ (/ 1 (- x 1)) (/ x (+ x 1))))))>
1538431533.767 * * * * [misc]progress:  [ 20 / 68 ] simplifiying candidate #<alt (λ (x) (fma (* (cbrt (/ 1 (- x 1))) (cbrt (/ 1 (- x 1)))) (cbrt (/ 1 (- x 1))) (/ x (+ x 1))))>
1538431533.768 * [enter]simplify:  Simplifying (* (cbrt (/ 1 (- x 1))) (cbrt (/ 1 (- x 1))))
1538431533.768 * * [misc]simplify:  iters left: 6 (6 enodes)
1538431533.771 * * [misc]simplify:  iters left: 5 (11 enodes)
1538431533.774 * * [misc]simplify:  iters left: 4 (12 enodes)
1538431533.777 * [exit]simplify:  Simplified to (* (cbrt (/ 1 (+ x -1))) (cbrt (/ 1 (+ x -1))))
1538431533.777 * [misc]simplify:  Simplified (2 1) to (λ (x) (fma (* (cbrt (/ 1 (+ x -1))) (cbrt (/ 1 (+ x -1)))) (cbrt (/ 1 (- x 1))) (/ x (+ x 1))))
1538431533.777 * * * * [misc]progress:  [ 21 / 68 ] simplifiying candidate #<alt (λ (x) (fma (sqrt (/ 1 (- x 1))) (sqrt (/ 1 (- x 1))) (/ x (+ x 1))))>
1538431533.777 * [enter]simplify:  Simplifying (sqrt (/ 1 (- x 1)))
1538431533.778 * * [misc]simplify:  iters left: 5 (5 enodes)
1538431533.781 * * [misc]simplify:  iters left: 4 (10 enodes)
1538431533.783 * * [misc]simplify:  iters left: 3 (11 enodes)
1538431533.786 * [exit]simplify:  Simplified to (sqrt (/ 1 (+ -1 x)))
1538431533.786 * [misc]simplify:  Simplified (2 1) to (λ (x) (fma (sqrt (/ 1 (+ -1 x))) (sqrt (/ 1 (- x 1))) (/ x (+ x 1))))
1538431533.786 * * * * [misc]progress:  [ 22 / 68 ] simplifiying candidate #<alt (λ (x) (fma 1 (/ 1 (- x 1)) (/ x (+ x 1))))>
1538431533.786 * * * * [misc]progress:  [ 23 / 68 ] simplifiying candidate #<alt (λ (x) (fma 1 (/ 1 (- x 1)) (/ x (+ x 1))))>
1538431533.786 * * * * [misc]progress:  [ 24 / 68 ] simplifiying candidate #<alt (λ (x) (fma (/ 1 (- (pow x 3) (pow 1 3))) (+ (* x x) (+ (* 1 1) (* x 1))) (/ x (+ x 1))))>
1538431533.786 * [enter]simplify:  Simplifying (/ 1 (- (pow x 3) (pow 1 3)))
1538431533.787 * * [misc]simplify:  iters left: 5 (7 enodes)
1538431533.792 * * [misc]simplify:  iters left: 4 (17 enodes)
1538431533.798 * * [misc]simplify:  iters left: 3 (24 enodes)
1538431533.801 * * [misc]simplify:  iters left: 2 (26 enodes)
1538431533.804 * [exit]simplify:  Simplified to (/ 1 (fma (* x x) x -1))
1538431533.804 * [misc]simplify:  Simplified (2 1) to (λ (x) (fma (/ 1 (fma (* x x) x -1)) (+ (* x x) (+ (* 1 1) (* x 1))) (/ x (+ x 1))))
1538431533.804 * * * * [misc]progress:  [ 25 / 68 ] simplifiying candidate #<alt (λ (x) (fma (/ 1 (- (* x x) (* 1 1))) (+ x 1) (/ x (+ x 1))))>
1538431533.804 * [enter]simplify:  Simplifying (/ 1 (- (* x x) (* 1 1)))
1538431533.804 * * [misc]simplify:  iters left: 6 (6 enodes)
1538431533.807 * * [misc]simplify:  iters left: 5 (13 enodes)
1538431533.810 * * [misc]simplify:  iters left: 4 (20 enodes)
1538431533.812 * * [misc]simplify:  iters left: 3 (26 enodes)
1538431533.817 * * [misc]simplify:  iters left: 2 (42 enodes)
1538431533.832 * * [misc]simplify:  iters left: 1 (73 enodes)
1538431533.881 * [exit]simplify:  Simplified to (/ 1 (fma x x -1))
1538431533.881 * [misc]simplify:  Simplified (2 1) to (λ (x) (fma (/ 1 (fma x x -1)) (+ x 1) (/ x (+ x 1))))
1538431533.881 * * * * [misc]progress:  [ 26 / 68 ] simplifiying candidate #<alt (λ (x) (log (* (exp (/ 1 (- x 1))) (exp (/ x (+ x 1))))))>
1538431533.881 * [enter]simplify:  Simplifying (* (exp (/ 1 (- x 1))) (exp (/ x (+ x 1))))
1538431533.882 * * [misc]simplify:  iters left: 6 (9 enodes)
1538431533.884 * * [misc]simplify:  iters left: 5 (18 enodes)
1538431533.887 * * [misc]simplify:  iters left: 4 (21 enodes)
1538431533.891 * [exit]simplify:  Simplified to (exp (+ (/ 1 (- x 1)) (/ x (+ x 1))))
1538431533.891 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (exp (+ (/ 1 (- x 1)) (/ x (+ x 1))))))
1538431533.891 * * * * [misc]progress:  [ 27 / 68 ] simplifiying candidate #<alt (λ (x) (pow (+ (/ 1 (- x 1)) (/ x (+ x 1))) 1))>
1538431533.891 * * * * [misc]progress:  [ 28 / 68 ] simplifiying candidate #<alt (λ (x) (exp (log (+ (/ 1 (- x 1)) (/ x (+ x 1))))))>
1538431533.891 * * * * [misc]progress:  [ 29 / 68 ] simplifiying candidate #<alt (λ (x) (log (exp (+ (/ 1 (- x 1)) (/ x (+ x 1))))))>
1538431533.891 * * * * [misc]progress:  [ 30 / 68 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (+ (/ 1 (- x 1)) (/ x (+ x 1)))) (cbrt (+ (/ 1 (- x 1)) (/ x (+ x 1))))) (cbrt (+ (/ 1 (- x 1)) (/ x (+ x 1))))))>
1538431533.891 * * * * [misc]progress:  [ 31 / 68 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (+ (/ 1 (- x 1)) (/ x (+ x 1))) (+ (/ 1 (- x 1)) (/ x (+ x 1)))) (+ (/ 1 (- x 1)) (/ x (+ x 1))))))>
1538431533.891 * * * * [misc]progress:  [ 32 / 68 ] simplifiying candidate #<alt (λ (x) (* (sqrt (+ (/ 1 (- x 1)) (/ x (+ x 1)))) (sqrt (+ (/ 1 (- x 1)) (/ x (+ x 1))))))>
1538431533.891 * * * * [misc]progress:  [ 33 / 68 ] simplifiying candidate #<alt (λ (x) (/ (+ (* 1 (+ x 1)) (* (- x 1) x)) (* (- x 1) (+ x 1))))>
1538431533.891 * [enter]simplify:  Simplifying (+ (* 1 (+ x 1)) (* (- x 1) x))
1538431533.892 * * [misc]simplify:  iters left: 6 (7 enodes)
1538431533.895 * * [misc]simplify:  iters left: 5 (22 enodes)
1538431533.901 * * [misc]simplify:  iters left: 4 (37 enodes)
1538431533.907 * * [misc]simplify:  iters left: 3 (46 enodes)
1538431533.913 * * [misc]simplify:  iters left: 2 (65 enodes)
1538431533.927 * * [misc]simplify:  iters left: 1 (120 enodes)
1538431533.998 * [exit]simplify:  Simplified to (fma x x 1)
1538431533.998 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (fma x x 1) (* (- x 1) (+ x 1))))
1538431533.999 * [enter]simplify:  Simplifying (* (- x 1) (+ x 1))
1538431533.999 * * [misc]simplify:  iters left: 4 (5 enodes)
1538431534.001 * * [misc]simplify:  iters left: 3 (18 enodes)
1538431534.008 * * [misc]simplify:  iters left: 2 (40 enodes)
1538431534.032 * * [misc]simplify:  iters left: 1 (76 enodes)
1538431534.062 * [exit]simplify:  Simplified to (fma (+ -1 x) x (+ -1 x))
1538431534.062 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (fma x x 1) (fma (+ -1 x) x (+ -1 x))))
1538431534.062 * * * * [misc]progress:  [ 34 / 68 ] simplifiying candidate #<alt (λ (x) (/ (+ (pow (/ 1 (- x 1)) 3) (pow (/ x (+ x 1)) 3)) (+ (* (/ 1 (- x 1)) (/ 1 (- x 1))) (- (* (/ x (+ x 1)) (/ x (+ x 1))) (* (/ 1 (- x 1)) (/ x (+ x 1)))))))>
1538431534.062 * * * * [misc]progress:  [ 35 / 68 ] simplifiying candidate #<alt (λ (x) (* 1 (+ (/ 1 (- x 1)) (/ x (+ x 1)))))>
1538431534.062 * * * * [misc]progress:  [ 36 / 68 ] simplifiying candidate #<alt (λ (x) (/ (- (* (/ 1 (- x 1)) (/ 1 (- x 1))) (* (/ x (+ x 1)) (/ x (+ x 1)))) (- (/ 1 (- x 1)) (/ x (+ x 1)))))>
1538431534.062 * * * * [misc]progress:  [ 37 / 68 ] simplifiying candidate #<alt (λ (x) (* 1 (+ (/ 1 (- x 1)) (/ x (+ x 1)))))>
1538431534.062 * [enter]simplify:  Simplifying (+ (/ 1 (- x 1)) (/ x (+ x 1)))
1538431534.063 * * [misc]simplify:  iters left: 6 (7 enodes)
1538431534.065 * * [misc]simplify:  iters left: 5 (14 enodes)
1538431534.067 * * [misc]simplify:  iters left: 4 (15 enodes)
1538431534.070 * [exit]simplify:  Simplified to (+ (/ 1 (- x 1)) (/ x (+ x 1)))
1538431534.070 * [misc]simplify:  Simplified (2 2) to (λ (x) (* 1 (+ (/ 1 (- x 1)) (/ x (+ x 1)))))
1538431534.070 * * * * [misc]progress:  [ 38 / 68 ] simplifiying candidate #<alt (λ (x) (* 1 (+ (/ 1 (- x 1)) (/ x (+ x 1)))))>
1538431534.070 * [enter]simplify:  Simplifying (+ (/ 1 (- x 1)) (/ x (+ x 1)))
1538431534.070 * * [misc]simplify:  iters left: 6 (7 enodes)
1538431534.072 * * [misc]simplify:  iters left: 5 (14 enodes)
1538431534.074 * * [misc]simplify:  iters left: 4 (15 enodes)
1538431534.077 * [exit]simplify:  Simplified to (+ (/ 1 (- x 1)) (/ x (+ x 1)))
1538431534.077 * [misc]simplify:  Simplified (2 2) to (λ (x) (* 1 (+ (/ 1 (- x 1)) (/ x (+ x 1)))))
1538431534.077 * * * * [misc]progress:  [ 39 / 68 ] simplifiying candidate #<alt (λ (x) (+ (/ x (+ x 1)) (/ 1 (- x 1))))>
1538431534.077 * * * * [misc]progress:  [ 40 / 68 ] simplifiying candidate #<alt (λ (x) (+ (log1p (expm1 (/ 1 (- x 1)))) (/ x (+ x 1))))>
1538431534.077 * * * * [misc]progress:  [ 41 / 68 ] simplifiying candidate #<alt (λ (x) (+ (expm1 (log1p (/ 1 (- x 1)))) (/ x (+ x 1))))>
1538431534.077 * * * * [misc]progress:  [ 42 / 68 ] simplifiying candidate #<alt (λ (x) (+ (pow (- x 1) -1) (/ x (+ x 1))))>
1538431534.077 * * * * [misc]progress:  [ 43 / 68 ] simplifiying candidate #<alt (λ (x) (+ (pow (- x 1) (- 1)) (/ x (+ x 1))))>
1538431534.077 * [enter]simplify:  Simplifying (- 1)
1538431534.077 * * [misc]simplify:  iters left: 2 (2 enodes)
1538431534.078 * * [misc]simplify:  iters left: 1 (5 enodes)
1538431534.078 * [exit]simplify:  Simplified to -1
1538431534.078 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (+ (pow (- x 1) -1) (/ x (+ x 1))))
1538431534.079 * * * * [misc]progress:  [ 44 / 68 ] simplifiying candidate #<alt (λ (x) (+ (pow (/ 1 (- x 1)) 1) (/ x (+ x 1))))>
1538431534.079 * * * * [misc]progress:  [ 45 / 68 ] simplifiying candidate #<alt (λ (x) (+ (exp (- (log (- x 1)))) (/ x (+ x 1))))>
1538431534.079 * * * * [misc]progress:  [ 46 / 68 ] simplifiying candidate #<alt (λ (x) (+ (exp (log (/ 1 (- x 1)))) (/ x (+ x 1))))>
1538431534.079 * * * * [misc]progress:  [ 47 / 68 ] simplifiying candidate #<alt (λ (x) (+ (log (exp (/ 1 (- x 1)))) (/ x (+ x 1))))>
1538431534.079 * * * * [misc]progress:  [ 48 / 68 ] simplifiying candidate #<alt (λ (x) (+ (* (* (cbrt (/ 1 (- x 1))) (cbrt (/ 1 (- x 1)))) (cbrt (/ 1 (- x 1)))) (/ x (+ x 1))))>
1538431534.079 * * * * [misc]progress:  [ 49 / 68 ] simplifiying candidate #<alt (λ (x) (+ (cbrt (* (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1)))) (/ x (+ x 1))))>
1538431534.079 * * * * [misc]progress:  [ 50 / 68 ] simplifiying candidate #<alt (λ (x) (+ (* (sqrt (/ 1 (- x 1))) (sqrt (/ 1 (- x 1)))) (/ x (+ x 1))))>
1538431534.079 * * * * [misc]progress:  [ 51 / 68 ] simplifiying candidate #<alt (λ (x) (+ (/ (- 1) (- (- x 1))) (/ x (+ x 1))))>
1538431534.079 * * * * [misc]progress:  [ 52 / 68 ] simplifiying candidate #<alt (λ (x) (+ (* 1 (/ 1 (- x 1))) (/ x (+ x 1))))>
1538431534.079 * * * * [misc]progress:  [ 53 / 68 ] simplifiying candidate #<alt (λ (x) (+ (* 1 (/ 1 (- x 1))) (/ x (+ x 1))))>
1538431534.079 * * * * [misc]progress:  [ 54 / 68 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (/ (- x 1) 1)) (/ x (+ x 1))))>
1538431534.079 * * * * [misc]progress:  [ 55 / 68 ] simplifiying candidate #<alt (λ (x) (+ (/ (/ 1 (* (cbrt (- x 1)) (cbrt (- x 1)))) (cbrt (- x 1))) (/ x (+ x 1))))>
1538431534.079 * [enter]simplify:  Simplifying (cbrt (- x 1))
1538431534.079 * * [misc]simplify:  iters left: 3 (4 enodes)
1538431534.081 * * [misc]simplify:  iters left: 2 (9 enodes)
1538431534.082 * * [misc]simplify:  iters left: 1 (10 enodes)
1538431534.083 * [exit]simplify:  Simplified to (cbrt (+ x -1))
1538431534.083 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (+ (/ (/ 1 (* (cbrt (- x 1)) (cbrt (- x 1)))) (cbrt (+ x -1))) (/ x (+ x 1))))
1538431534.083 * * * * [misc]progress:  [ 56 / 68 ] simplifiying candidate #<alt (λ (x) (+ (/ (/ 1 (sqrt (- x 1))) (sqrt (- x 1))) (/ x (+ x 1))))>
1538431534.083 * [enter]simplify:  Simplifying (sqrt (- x 1))
1538431534.083 * * [misc]simplify:  iters left: 3 (4 enodes)
1538431534.085 * * [misc]simplify:  iters left: 2 (9 enodes)
1538431534.086 * * [misc]simplify:  iters left: 1 (10 enodes)
1538431534.087 * [exit]simplify:  Simplified to (sqrt (+ x -1))
1538431534.087 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (+ (/ (/ 1 (sqrt (- x 1))) (sqrt (+ x -1))) (/ x (+ x 1))))
1538431534.087 * * * * [misc]progress:  [ 57 / 68 ] simplifiying candidate #<alt (λ (x) (+ (/ (/ 1 1) (- x 1)) (/ x (+ x 1))))>
1538431534.087 * [enter]simplify:  Simplifying (- x 1)
1538431534.088 * * [misc]simplify:  iters left: 2 (3 enodes)
1538431534.089 * * [misc]simplify:  iters left: 1 (8 enodes)
1538431534.090 * [exit]simplify:  Simplified to (+ x -1)
1538431534.090 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (+ (/ (/ 1 1) (+ x -1)) (/ x (+ x 1))))
1538431534.090 * * * * [misc]progress:  [ 58 / 68 ] simplifiying candidate #<alt (λ (x) (+ (* (/ 1 (- (pow x 3) (pow 1 3))) (+ (* x x) (+ (* 1 1) (* x 1)))) (/ x (+ x 1))))>
1538431534.090 * [enter]simplify:  Simplifying (+ (* x x) (+ (* 1 1) (* x 1)))
1538431534.091 * * [misc]simplify:  iters left: 6 (7 enodes)
1538431534.093 * * [misc]simplify:  iters left: 5 (15 enodes)
1538431534.096 * * [misc]simplify:  iters left: 4 (25 enodes)
1538431534.099 * * [misc]simplify:  iters left: 3 (30 enodes)
1538431534.102 * * [misc]simplify:  iters left: 2 (32 enodes)
1538431534.108 * * [misc]simplify:  iters left: 1 (35 enodes)
1538431534.113 * [exit]simplify:  Simplified to (+ x (fma x x 1))
1538431534.113 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (+ (* (/ 1 (- (pow x 3) (pow 1 3))) (+ x (fma x x 1))) (/ x (+ x 1))))
1538431534.113 * * * * [misc]progress:  [ 59 / 68 ] simplifiying candidate #<alt (λ (x) (+ (* (/ 1 (- (* x x) (* 1 1))) (+ x 1)) (/ x (+ x 1))))>
1538431534.113 * [enter]simplify:  Simplifying (+ x 1)
1538431534.113 * * [misc]simplify:  iters left: 2 (3 enodes)
1538431534.114 * * [misc]simplify:  iters left: 1 (6 enodes)
1538431534.115 * [exit]simplify:  Simplified to (+ 1 x)
1538431534.115 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (+ (* (/ 1 (- (* x x) (* 1 1))) (+ 1 x)) (/ x (+ x 1))))
1538431534.115 * * * * [misc]progress:  [ 60 / 68 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (- (+ x (pow x 3)) (pow x 2))))>
1538431534.115 * [enter]simplify:  Simplifying (- (+ x (pow x 3)) (pow x 2))
1538431534.116 * * [misc]simplify:  iters left: 5 (7 enodes)
1538431534.118 * * [misc]simplify:  iters left: 4 (15 enodes)
1538431534.123 * * [misc]simplify:  iters left: 3 (37 enodes)
1538431534.132 * * [misc]simplify:  iters left: 2 (68 enodes)
1538431534.149 * * [misc]simplify:  iters left: 1 (100 enodes)
1538431534.233 * [exit]simplify:  Simplified to (fma x (- 1 x) (pow x 3))
1538431534.233 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (/ 1 (- x 1)) (fma x (- 1 x) (pow x 3))))
1538431534.233 * * * * [misc]progress:  [ 61 / 68 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (- (+ (/ 1 (pow x 2)) 1) (/ 1 x))))>
1538431534.233 * [enter]simplify:  Simplifying (- (+ (/ 1 (pow x 2)) 1) (/ 1 x))
1538431534.234 * * [misc]simplify:  iters left: 6 (8 enodes)
1538431534.237 * * [misc]simplify:  iters left: 5 (16 enodes)
1538431534.244 * * [misc]simplify:  iters left: 4 (28 enodes)
1538431534.252 * * [misc]simplify:  iters left: 3 (35 enodes)
1538431534.259 * * [misc]simplify:  iters left: 2 (37 enodes)
1538431534.267 * * [misc]simplify:  iters left: 1 (41 enodes)
1538431534.280 * [exit]simplify:  Simplified to (+ (/ 1 (* x x)) (- 1 (/ 1 x)))
1538431534.281 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (/ 1 (- x 1)) (+ (/ 1 (* x x)) (- 1 (/ 1 x)))))
1538431534.281 * * * * [misc]progress:  [ 62 / 68 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (- (+ (/ 1 (pow x 2)) 1) (/ 1 x))))>
1538431534.281 * [enter]simplify:  Simplifying (- (+ (/ 1 (pow x 2)) 1) (/ 1 x))
1538431534.282 * * [misc]simplify:  iters left: 6 (8 enodes)
1538431534.285 * * [misc]simplify:  iters left: 5 (16 enodes)
1538431534.292 * * [misc]simplify:  iters left: 4 (28 enodes)
1538431534.300 * * [misc]simplify:  iters left: 3 (35 enodes)
1538431534.307 * * [misc]simplify:  iters left: 2 (37 enodes)
1538431534.315 * * [misc]simplify:  iters left: 1 (41 enodes)
1538431534.331 * [exit]simplify:  Simplified to (+ (/ 1 (* x x)) (- 1 (/ 1 x)))
1538431534.331 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (/ 1 (- x 1)) (+ (/ 1 (* x x)) (- 1 (/ 1 x)))))
1538431534.331 * * * * [misc]progress:  [ 63 / 68 ] simplifiying candidate #<alt (λ (x) (- (+ (* 2 (pow x 2)) (+ (* 2 (pow x 4)) 1))))>
1538431534.331 * [enter]simplify:  Simplifying (- (+ (* 2 (pow x 2)) (+ (* 2 (pow x 4)) 1)))
1538431534.332 * * [misc]simplify:  iters left: 6 (11 enodes)
1538431534.337 * * [misc]simplify:  iters left: 5 (25 enodes)
1538431534.349 * * [misc]simplify:  iters left: 4 (55 enodes)
1538431534.376 * * [misc]simplify:  iters left: 3 (113 enodes)
1538431534.427 * * [misc]simplify:  iters left: 2 (175 enodes)
1538431534.490 * * [misc]simplify:  iters left: 1 (209 enodes)
1538431534.575 * [exit]simplify:  Simplified to (fma (fma x x (pow x 4)) -2 -1)
1538431534.575 * [misc]simplify:  Simplified (2) to (λ (x) (fma (fma x x (pow x 4)) -2 -1))
1538431534.575 * * * * [misc]progress:  [ 64 / 68 ] simplifiying candidate #<alt (λ (x) (+ (* 2 (/ 1 (pow x 4))) (+ 1 (* 2 (/ 1 (pow x 2))))))>
1538431534.575 * [enter]simplify:  Simplifying (+ (* 2 (/ 1 (pow x 4))) (+ 1 (* 2 (/ 1 (pow x 2)))))
1538431534.576 * * [misc]simplify:  iters left: 6 (12 enodes)
1538431534.580 * * [misc]simplify:  iters left: 5 (25 enodes)
1538431534.587 * * [misc]simplify:  iters left: 4 (41 enodes)
1538431534.600 * * [misc]simplify:  iters left: 3 (69 enodes)
1538431534.626 * * [misc]simplify:  iters left: 2 (97 enodes)
1538431534.646 * * [misc]simplify:  iters left: 1 (123 enodes)
1538431534.676 * [exit]simplify:  Simplified to (+ (/ (/ 2 x) x) (+ 1 (/ 2 (pow x 4))))
1538431534.676 * [misc]simplify:  Simplified (2) to (λ (x) (+ (/ (/ 2 x) x) (+ 1 (/ 2 (pow x 4)))))
1538431534.676 * * * * [misc]progress:  [ 65 / 68 ] simplifiying candidate #<alt (λ (x) (+ (* 2 (/ 1 (pow x 4))) (+ 1 (* 2 (/ 1 (pow x 2))))))>
1538431534.676 * [enter]simplify:  Simplifying (+ (* 2 (/ 1 (pow x 4))) (+ 1 (* 2 (/ 1 (pow x 2)))))
1538431534.677 * * [misc]simplify:  iters left: 6 (12 enodes)
1538431534.681 * * [misc]simplify:  iters left: 5 (25 enodes)
1538431534.688 * * [misc]simplify:  iters left: 4 (41 enodes)
1538431534.702 * * [misc]simplify:  iters left: 3 (69 enodes)
1538431534.727 * * [misc]simplify:  iters left: 2 (97 enodes)
1538431534.748 * * [misc]simplify:  iters left: 1 (123 enodes)
1538431534.794 * [exit]simplify:  Simplified to (+ (/ (/ 2 x) x) (+ 1 (/ 2 (pow x 4))))
1538431534.794 * [misc]simplify:  Simplified (2) to (λ (x) (+ (/ (/ 2 x) x) (+ 1 (/ 2 (pow x 4)))))
1538431534.794 * * * * [misc]progress:  [ 66 / 68 ] simplifiying candidate #<alt (λ (x) (+ (- (+ x (+ (pow x 2) 1))) (/ x (+ x 1))))>
1538431534.795 * [enter]simplify:  Simplifying (- (+ x (+ (pow x 2) 1)))
1538431534.795 * * [misc]simplify:  iters left: 6 (7 enodes)
1538431534.799 * * [misc]simplify:  iters left: 5 (17 enodes)
1538431534.806 * * [misc]simplify:  iters left: 4 (32 enodes)
1538431534.818 * * [misc]simplify:  iters left: 3 (62 enodes)
1538431534.842 * * [misc]simplify:  iters left: 2 (96 enodes)
1538431534.886 * * [misc]simplify:  iters left: 1 (145 enodes)
1538431534.951 * [exit]simplify:  Simplified to (fma (- -1 x) x -1)
1538431534.951 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (fma (- -1 x) x -1) (/ x (+ x 1))))
1538431534.951 * * * * [misc]progress:  [ 67 / 68 ] simplifiying candidate #<alt (λ (x) (+ (+ (/ 1 (pow x 3)) (+ (/ 1 (pow x 2)) (/ 1 x))) (/ x (+ x 1))))>
1538431534.951 * [enter]simplify:  Simplifying (+ (/ 1 (pow x 3)) (+ (/ 1 (pow x 2)) (/ 1 x)))
1538431534.952 * * [misc]simplify:  iters left: 6 (11 enodes)
1538431534.955 * * [misc]simplify:  iters left: 5 (20 enodes)
1538431534.959 * * [misc]simplify:  iters left: 4 (31 enodes)
1538431534.963 * * [misc]simplify:  iters left: 3 (33 enodes)
1538431534.968 * [exit]simplify:  Simplified to (+ (+ (/ 1 x) (/ (/ 1 x) (* x x))) (/ (/ 1 x) x))
1538431534.968 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (+ (+ (/ 1 x) (/ (/ 1 x) (* x x))) (/ (/ 1 x) x)) (/ x (+ x 1))))
1538431534.968 * * * * [misc]progress:  [ 68 / 68 ] simplifiying candidate #<alt (λ (x) (+ (+ (/ 1 (pow x 3)) (+ (/ 1 (pow x 2)) (/ 1 x))) (/ x (+ x 1))))>
1538431534.969 * [enter]simplify:  Simplifying (+ (/ 1 (pow x 3)) (+ (/ 1 (pow x 2)) (/ 1 x)))
1538431534.969 * * [misc]simplify:  iters left: 6 (11 enodes)
1538431534.972 * * [misc]simplify:  iters left: 5 (20 enodes)
1538431534.976 * * [misc]simplify:  iters left: 4 (31 enodes)
1538431534.980 * * [misc]simplify:  iters left: 3 (33 enodes)
1538431534.985 * [exit]simplify:  Simplified to (+ (+ (/ 1 x) (/ (/ 1 x) (* x x))) (/ (/ 1 x) x))
1538431534.985 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (+ (+ (/ 1 x) (/ (/ 1 x) (* x x))) (/ (/ 1 x) x)) (/ x (+ x 1))))
1538431534.986 * * * [misc]progress:  adding candidates to table
1538431535.803 * * [misc]progress:  iteration 2 / 4
1538431535.803 * * * [misc]progress:  picking best candidate
1538431535.806 * * * * [misc]pick:  Picked  #<alt (λ (x) (+ (/ 1 (- x 1)) (/ 1 (/ (+ x 1) x))))>
1538431535.806 * * * [misc]progress:  localizing error
1538431535.816 * * * [misc]progress:  generating rewritten candidates
1538431535.816 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2)
1538431535.837 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 2)
1538431535.851 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1)
1538431535.875 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2)
1538431535.963 * * * [misc]progress:  generating series expansions
1538431535.963 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2)
1538431535.963 * [misc]backup-simplify:  Simplify (/ 1 (/ (+ x 1) x)) into (/ x (+ x 1))
1538431535.963 * [misc]approximate:  Taking taylor expansion of (/ x (+ x 1)) in (x) around 0
1538431535.963 * [misc]taylor:  Taking taylor expansion of (/ x (+ x 1)) in x
1538431535.963 * [misc]taylor:  Taking taylor expansion of x in x
1538431535.963 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.963 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.963 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1538431535.963 * [misc]taylor:  Taking taylor expansion of x in x
1538431535.963 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.963 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.963 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431535.963 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.964 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538431535.964 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431535.964 * [misc]taylor:  Taking taylor expansion of (/ x (+ x 1)) in x
1538431535.964 * [misc]taylor:  Taking taylor expansion of x in x
1538431535.964 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.964 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.964 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1538431535.964 * [misc]taylor:  Taking taylor expansion of x in x
1538431535.964 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.964 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.964 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431535.964 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.964 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538431535.964 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431535.965 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.965 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431535.965 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)))) into -1
1538431535.965 * [misc]backup-simplify:  Simplify -1 into -1
1538431535.965 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431535.966 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1538431535.966 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.966 * [misc]backup-simplify:  Simplify (+ (* 1 (pow x 3)) (+ (* -1 (pow x 2)) (* 1 x))) into (- (+ x (pow x 3)) (pow x 2))
1538431535.966 * [misc]backup-simplify:  Simplify (/ 1 (/ (+ (/ 1 x) 1) (/ 1 x))) into (/ 1 (* (+ (/ 1 x) 1) x))
1538431535.966 * [misc]approximate:  Taking taylor expansion of (/ 1 (* (+ (/ 1 x) 1) x)) in (x) around 0
1538431535.966 * [misc]taylor:  Taking taylor expansion of (/ 1 (* (+ (/ 1 x) 1) x)) in x
1538431535.966 * [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 x) 1) x) in x
1538431535.966 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1538431535.966 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431535.966 * [misc]taylor:  Taking taylor expansion of x in x
1538431535.966 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.966 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.967 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431535.967 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431535.967 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.967 * [misc]taylor:  Taking taylor expansion of x in x
1538431535.967 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.967 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.967 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431535.967 * [misc]backup-simplify:  Simplify (* 1 0) into 0
1538431535.967 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538431535.967 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538431535.968 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 0)) into 1
1538431535.968 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431535.968 * [misc]taylor:  Taking taylor expansion of (/ 1 (* (+ (/ 1 x) 1) x)) in x
1538431535.968 * [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 x) 1) x) in x
1538431535.968 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1538431535.968 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431535.968 * [misc]taylor:  Taking taylor expansion of x in x
1538431535.968 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.968 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.968 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431535.968 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431535.968 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.968 * [misc]taylor:  Taking taylor expansion of x in x
1538431535.968 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.968 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.968 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431535.969 * [misc]backup-simplify:  Simplify (* 1 0) into 0
1538431535.969 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538431535.969 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538431535.969 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 0)) into 1
1538431535.969 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431535.969 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.970 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431535.970 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431535.970 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 1) (* 0 0))) into 1
1538431535.970 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1538431535.970 * [misc]backup-simplify:  Simplify -1 into -1
1538431535.971 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431535.971 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431535.971 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
1538431535.972 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1538431535.972 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.972 * [misc]backup-simplify:  Simplify (+ (* 1 (pow (/ 1 x) 2)) (+ (* -1 (/ 1 x)) 1)) into (- (+ (/ 1 (pow x 2)) 1) (/ 1 x))
1538431535.973 * [misc]backup-simplify:  Simplify (/ 1 (/ (+ (/ 1 (- x)) 1) (/ 1 (- x)))) into (/ -1 (* x (- 1 (/ 1 x))))
1538431535.973 * [misc]approximate:  Taking taylor expansion of (/ -1 (* x (- 1 (/ 1 x)))) in (x) around 0
1538431535.973 * [misc]taylor:  Taking taylor expansion of (/ -1 (* x (- 1 (/ 1 x)))) in x
1538431535.973 * [misc]taylor:  Taking taylor expansion of -1 in x
1538431535.973 * [misc]backup-simplify:  Simplify -1 into -1
1538431535.973 * [misc]taylor:  Taking taylor expansion of (* x (- 1 (/ 1 x))) in x
1538431535.973 * [misc]taylor:  Taking taylor expansion of x in x
1538431535.973 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.973 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.973 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1538431535.973 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431535.973 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.973 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431535.973 * [misc]taylor:  Taking taylor expansion of x in x
1538431535.973 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.973 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.973 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431535.973 * [misc]backup-simplify:  Simplify (- 1) into -1
1538431535.974 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538431535.974 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1538431535.974 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538431535.974 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431535.974 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431535.975 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1538431535.975 * [misc]backup-simplify:  Simplify (/ -1 -1) into 1
1538431535.975 * [misc]taylor:  Taking taylor expansion of (/ -1 (* x (- 1 (/ 1 x)))) in x
1538431535.975 * [misc]taylor:  Taking taylor expansion of -1 in x
1538431535.975 * [misc]backup-simplify:  Simplify -1 into -1
1538431535.975 * [misc]taylor:  Taking taylor expansion of (* x (- 1 (/ 1 x))) in x
1538431535.975 * [misc]taylor:  Taking taylor expansion of x in x
1538431535.975 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.975 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.975 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1538431535.975 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431535.975 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.975 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431535.975 * [misc]taylor:  Taking taylor expansion of x in x
1538431535.975 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.975 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.975 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431535.975 * [misc]backup-simplify:  Simplify (- 1) into -1
1538431535.976 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538431535.976 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1538431535.976 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538431535.976 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431535.976 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431535.976 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1538431535.977 * [misc]backup-simplify:  Simplify (/ -1 -1) into 1
1538431535.977 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.977 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431535.978 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431535.978 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431535.978 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
1538431535.978 * [misc]backup-simplify:  Simplify (- (/ 0 -1) (+ (* 1 (/ 1 -1)))) into 1
1538431535.978 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.979 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431535.979 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431535.979 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431535.979 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
1538431535.980 * [misc]backup-simplify:  Simplify (- (/ 0 -1) (+ (* 1 (/ 0 -1)) (* 1 (/ 1 -1)))) into 1
1538431535.980 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.980 * [misc]backup-simplify:  Simplify (+ (* 1 (pow (/ 1 (- x)) 2)) (+ (* 1 (/ 1 (- x))) 1)) into (- (+ (/ 1 (pow x 2)) 1) (/ 1 x))
1538431535.980 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 2)
1538431535.981 * [misc]backup-simplify:  Simplify (/ (+ x 1) x) into (/ (+ x 1) x)
1538431535.981 * [misc]approximate:  Taking taylor expansion of (/ (+ x 1) x) in (x) around 0
1538431535.981 * [misc]taylor:  Taking taylor expansion of (/ (+ x 1) x) in x
1538431535.981 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1538431535.981 * [misc]taylor:  Taking taylor expansion of x in x
1538431535.981 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.981 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.981 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431535.981 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.981 * [misc]taylor:  Taking taylor expansion of x in x
1538431535.981 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.981 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.981 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538431535.981 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431535.981 * [misc]taylor:  Taking taylor expansion of (/ (+ x 1) x) in x
1538431535.981 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1538431535.981 * [misc]taylor:  Taking taylor expansion of x in x
1538431535.981 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.981 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.981 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431535.982 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.982 * [misc]taylor:  Taking taylor expansion of x in x
1538431535.982 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.982 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.982 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538431535.982 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431535.982 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.982 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431535.982 * [misc]backup-simplify:  Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1
1538431535.982 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.983 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431535.983 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 0
1538431535.983 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.983 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431535.984 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431535.984 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.984 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431535.984 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431535.984 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.984 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431535.985 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431535.985 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.985 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431535.986 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431535.986 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.986 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431535.987 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431535.987 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.987 * [misc]backup-simplify:  Simplify (+ 1 (* 1 (/ 1 x))) into (+ (/ 1 x) 1)
1538431535.987 * [misc]backup-simplify:  Simplify (/ (+ (/ 1 x) 1) (/ 1 x)) into (* (+ (/ 1 x) 1) x)
1538431535.987 * [misc]approximate:  Taking taylor expansion of (* (+ (/ 1 x) 1) x) in (x) around 0
1538431535.987 * [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 x) 1) x) in x
1538431535.987 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1538431535.987 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431535.987 * [misc]taylor:  Taking taylor expansion of x in x
1538431535.987 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.987 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.987 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431535.987 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431535.987 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.987 * [misc]taylor:  Taking taylor expansion of x in x
1538431535.987 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.987 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.987 * [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 x) 1) x) in x
1538431535.987 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1538431535.987 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431535.987 * [misc]taylor:  Taking taylor expansion of x in x
1538431535.987 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.987 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.988 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431535.988 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431535.988 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.988 * [misc]taylor:  Taking taylor expansion of x in x
1538431535.988 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.988 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.988 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431535.988 * [misc]backup-simplify:  Simplify (* 1 0) into 0
1538431535.988 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.988 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538431535.988 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538431535.988 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 0)) into 1
1538431535.988 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.989 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431535.989 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431535.989 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 1) (* 0 0))) into 1
1538431535.989 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.989 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431535.989 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431535.989 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
1538431535.989 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.990 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431535.990 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431535.990 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1538431535.990 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.990 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431535.990 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431535.990 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1538431535.991 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.991 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431535.991 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431535.991 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
1538431535.991 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.992 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431535.992 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431535.992 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
1538431535.992 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.992 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431535.993 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431535.993 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
1538431535.993 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.993 * [misc]backup-simplify:  Simplify (+ (* 1 (/ 1 x)) 1) into (+ (/ 1 x) 1)
1538431535.993 * [misc]backup-simplify:  Simplify (/ (+ (/ 1 (- x)) 1) (/ 1 (- x))) into (* -1 (* x (- 1 (/ 1 x))))
1538431535.993 * [misc]approximate:  Taking taylor expansion of (* -1 (* x (- 1 (/ 1 x)))) in (x) around 0
1538431535.993 * [misc]taylor:  Taking taylor expansion of (* -1 (* x (- 1 (/ 1 x)))) in x
1538431535.993 * [misc]taylor:  Taking taylor expansion of -1 in x
1538431535.993 * [misc]backup-simplify:  Simplify -1 into -1
1538431535.993 * [misc]taylor:  Taking taylor expansion of (* x (- 1 (/ 1 x))) in x
1538431535.993 * [misc]taylor:  Taking taylor expansion of x in x
1538431535.993 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.993 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.993 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1538431535.993 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431535.993 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.993 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431535.993 * [misc]taylor:  Taking taylor expansion of x in x
1538431535.993 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.993 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.993 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431535.993 * [misc]taylor:  Taking taylor expansion of (* -1 (* x (- 1 (/ 1 x)))) in x
1538431535.993 * [misc]taylor:  Taking taylor expansion of -1 in x
1538431535.993 * [misc]backup-simplify:  Simplify -1 into -1
1538431535.993 * [misc]taylor:  Taking taylor expansion of (* x (- 1 (/ 1 x))) in x
1538431535.994 * [misc]taylor:  Taking taylor expansion of x in x
1538431535.994 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.994 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.994 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1538431535.994 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431535.994 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.994 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431535.994 * [misc]taylor:  Taking taylor expansion of x in x
1538431535.994 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.994 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.994 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431535.994 * [misc]backup-simplify:  Simplify (- 1) into -1
1538431535.994 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538431535.994 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1538431535.994 * [misc]backup-simplify:  Simplify (* -1 0) into 0
1538431535.994 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.994 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538431535.994 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431535.995 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431535.995 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1538431535.995 * [misc]backup-simplify:  Simplify (+ (* -1 -1) (* 0 0)) into 1
1538431535.995 * [misc]backup-simplify:  Simplify 1 into 1
1538431535.995 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431535.995 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431535.995 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431535.995 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
1538431535.996 * [misc]backup-simplify:  Simplify (+ (* -1 1) (+ (* 0 -1) (* 0 0))) into -1
1538431535.996 * [misc]backup-simplify:  Simplify -1 into -1
1538431535.996 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431535.996 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431535.996 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431535.996 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
1538431535.996 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0)))) into 0
1538431535.996 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.997 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431535.997 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431535.997 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431535.997 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))) into 0
1538431535.997 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0))))) into 0
1538431535.997 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.997 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431535.998 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431535.998 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431535.998 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))))) into 0
1538431535.998 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0)))))) into 0
1538431535.998 * [misc]backup-simplify:  Simplify 0 into 0
1538431535.998 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431535.999 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431535.999 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431535.999 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))))) into 0
1538431535.999 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0))))))) into 0
1538431535.999 * [misc]backup-simplify:  Simplify 0 into 0
1538431536.000 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431536.000 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431536.000 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431536.000 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))))))) into 0
1538431536.000 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0)))))))) into 0
1538431536.000 * [misc]backup-simplify:  Simplify 0 into 0
1538431536.001 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431536.001 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431536.001 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431536.001 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))))))) into 0
1538431536.001 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 -1) (* 0 0))))))))) into 0
1538431536.002 * [misc]backup-simplify:  Simplify 0 into 0
1538431536.002 * [misc]backup-simplify:  Simplify (+ (* -1 (/ 1 (- x))) 1) into (+ (/ 1 x) 1)
1538431536.002 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1)
1538431536.004 * [misc]backup-simplify:  Simplify (/ 1 (- x 1)) into (/ 1 (- x 1))
1538431536.005 * [misc]approximate:  Taking taylor expansion of (/ 1 (- x 1)) in (x) around 0
1538431536.005 * [misc]taylor:  Taking taylor expansion of (/ 1 (- x 1)) in x
1538431536.005 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1538431536.005 * [misc]taylor:  Taking taylor expansion of x in x
1538431536.005 * [misc]backup-simplify:  Simplify 0 into 0
1538431536.005 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.005 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431536.005 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.005 * [misc]backup-simplify:  Simplify (- 1) into -1
1538431536.005 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538431536.005 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1538431536.005 * [misc]taylor:  Taking taylor expansion of (/ 1 (- x 1)) in x
1538431536.005 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1538431536.005 * [misc]taylor:  Taking taylor expansion of x in x
1538431536.005 * [misc]backup-simplify:  Simplify 0 into 0
1538431536.005 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.005 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431536.005 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.005 * [misc]backup-simplify:  Simplify (- 1) into -1
1538431536.005 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538431536.006 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1538431536.006 * [misc]backup-simplify:  Simplify -1 into -1
1538431536.006 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431536.006 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431536.006 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1538431536.006 * [misc]backup-simplify:  Simplify -1 into -1
1538431536.006 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431536.006 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431536.006 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* -1 (/ 1 -1)))) into -1
1538431536.006 * [misc]backup-simplify:  Simplify -1 into -1
1538431536.007 * [misc]backup-simplify:  Simplify (+ (* -1 (pow x 2)) (+ (* -1 x) -1)) into (- (+ x (+ (pow x 2) 1)))
1538431536.007 * [misc]backup-simplify:  Simplify (/ 1 (- (/ 1 x) 1)) into (/ 1 (- (/ 1 x) 1))
1538431536.007 * [misc]approximate:  Taking taylor expansion of (/ 1 (- (/ 1 x) 1)) in (x) around 0
1538431536.007 * [misc]taylor:  Taking taylor expansion of (/ 1 (- (/ 1 x) 1)) in x
1538431536.007 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1538431536.007 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431536.007 * [misc]taylor:  Taking taylor expansion of x in x
1538431536.007 * [misc]backup-simplify:  Simplify 0 into 0
1538431536.007 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.007 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431536.007 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431536.007 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.007 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431536.007 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431536.007 * [misc]taylor:  Taking taylor expansion of (/ 1 (- (/ 1 x) 1)) in x
1538431536.007 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1538431536.007 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431536.007 * [misc]taylor:  Taking taylor expansion of x in x
1538431536.007 * [misc]backup-simplify:  Simplify 0 into 0
1538431536.007 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.007 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431536.007 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431536.007 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.007 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431536.008 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431536.008 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.008 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538431536.008 * [misc]backup-simplify:  Simplify (- 1) into -1
1538431536.008 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538431536.008 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ -1 1)))) into 1
1538431536.008 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.008 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431536.008 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431536.008 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431536.009 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 1 (/ -1 1)))) into 1
1538431536.009 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.009 * [misc]backup-simplify:  Simplify (+ (* 1 (pow (/ 1 x) 3)) (+ (* 1 (pow (/ 1 x) 2)) (* 1 (/ 1 x)))) into (+ (/ 1 (pow x 3)) (+ (/ 1 (pow x 2)) (/ 1 x)))
1538431536.009 * [misc]backup-simplify:  Simplify (/ 1 (- (/ 1 (- x)) 1)) into (/ -1 (+ (/ 1 x) 1))
1538431536.009 * [misc]approximate:  Taking taylor expansion of (/ -1 (+ (/ 1 x) 1)) in (x) around 0
1538431536.009 * [misc]taylor:  Taking taylor expansion of (/ -1 (+ (/ 1 x) 1)) in x
1538431536.009 * [misc]taylor:  Taking taylor expansion of -1 in x
1538431536.009 * [misc]backup-simplify:  Simplify -1 into -1
1538431536.009 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1538431536.009 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431536.009 * [misc]taylor:  Taking taylor expansion of x in x
1538431536.009 * [misc]backup-simplify:  Simplify 0 into 0
1538431536.009 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.009 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431536.010 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431536.010 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.010 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431536.010 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538431536.010 * [misc]taylor:  Taking taylor expansion of (/ -1 (+ (/ 1 x) 1)) in x
1538431536.010 * [misc]taylor:  Taking taylor expansion of -1 in x
1538431536.010 * [misc]backup-simplify:  Simplify -1 into -1
1538431536.010 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1538431536.010 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431536.010 * [misc]taylor:  Taking taylor expansion of x in x
1538431536.010 * [misc]backup-simplify:  Simplify 0 into 0
1538431536.010 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.010 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431536.010 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431536.010 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.010 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431536.010 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538431536.010 * [misc]backup-simplify:  Simplify -1 into -1
1538431536.010 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538431536.011 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538431536.011 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 1 1)))) into 1
1538431536.011 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.011 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431536.011 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431536.011 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1538431536.011 * [misc]backup-simplify:  Simplify -1 into -1
1538431536.012 * [misc]backup-simplify:  Simplify (+ (* -1 (pow (/ 1 (- x)) 3)) (+ (* 1 (pow (/ 1 (- x)) 2)) (* -1 (/ 1 (- x))))) into (+ (/ 1 (pow x 3)) (+ (/ 1 (pow x 2)) (/ 1 x)))
1538431536.012 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2)
1538431536.012 * [misc]backup-simplify:  Simplify (+ (/ 1 (- x 1)) (/ 1 (/ (+ x 1) x))) into (+ (/ x (+ x 1)) (/ 1 (- x 1)))
1538431536.012 * [misc]approximate:  Taking taylor expansion of (+ (/ x (+ x 1)) (/ 1 (- x 1))) in (x) around 0
1538431536.012 * [misc]taylor:  Taking taylor expansion of (+ (/ x (+ x 1)) (/ 1 (- x 1))) in x
1538431536.012 * [misc]taylor:  Taking taylor expansion of (/ x (+ x 1)) in x
1538431536.012 * [misc]taylor:  Taking taylor expansion of x in x
1538431536.012 * [misc]backup-simplify:  Simplify 0 into 0
1538431536.012 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.012 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1538431536.012 * [misc]taylor:  Taking taylor expansion of x in x
1538431536.012 * [misc]backup-simplify:  Simplify 0 into 0
1538431536.012 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.012 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431536.012 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.012 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538431536.012 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431536.012 * [misc]taylor:  Taking taylor expansion of (/ 1 (- x 1)) in x
1538431536.012 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1538431536.012 * [misc]taylor:  Taking taylor expansion of x in x
1538431536.012 * [misc]backup-simplify:  Simplify 0 into 0
1538431536.012 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.012 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431536.012 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.012 * [misc]backup-simplify:  Simplify (- 1) into -1
1538431536.013 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538431536.013 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1538431536.013 * [misc]taylor:  Taking taylor expansion of (+ (/ x (+ x 1)) (/ 1 (- x 1))) in x
1538431536.013 * [misc]taylor:  Taking taylor expansion of (/ x (+ x 1)) in x
1538431536.013 * [misc]taylor:  Taking taylor expansion of x in x
1538431536.013 * [misc]backup-simplify:  Simplify 0 into 0
1538431536.013 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.013 * [misc]taylor:  Taking taylor expansion of (+ x 1) in x
1538431536.013 * [misc]taylor:  Taking taylor expansion of x in x
1538431536.013 * [misc]backup-simplify:  Simplify 0 into 0
1538431536.013 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.013 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431536.013 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.013 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538431536.013 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431536.013 * [misc]taylor:  Taking taylor expansion of (/ 1 (- x 1)) in x
1538431536.013 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1538431536.013 * [misc]taylor:  Taking taylor expansion of x in x
1538431536.013 * [misc]backup-simplify:  Simplify 0 into 0
1538431536.013 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.013 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431536.013 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.013 * [misc]backup-simplify:  Simplify (- 1) into -1
1538431536.013 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538431536.013 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1538431536.014 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538431536.014 * [misc]backup-simplify:  Simplify -1 into -1
1538431536.014 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431536.014 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431536.014 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1538431536.014 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1538431536.014 * [misc]backup-simplify:  Simplify 0 into 0
1538431536.014 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431536.014 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 1 1)))) into -1
1538431536.014 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431536.015 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431536.015 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* -1 (/ 1 -1)))) into -1
1538431536.015 * [misc]backup-simplify:  Simplify (+ -1 -1) into -2
1538431536.015 * [misc]backup-simplify:  Simplify -2 into -2
1538431536.015 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431536.015 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1538431536.015 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431536.015 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431536.016 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* -1 (/ 0 -1)) (* -1 (/ 1 -1)))) into -1
1538431536.016 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1538431536.016 * [misc]backup-simplify:  Simplify 0 into 0
1538431536.016 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431536.016 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1538431536.016 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431536.016 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431536.016 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* -1 (/ 0 -1)) (* -1 (/ 0 -1)) (* -1 (/ 1 -1)))) into -1
1538431536.017 * [misc]backup-simplify:  Simplify (+ -1 -1) into -2
1538431536.017 * [misc]backup-simplify:  Simplify -2 into -2
1538431536.017 * [misc]backup-simplify:  Simplify (+ (* -2 (pow x 4)) (+ (* -2 (pow x 2)) -1)) into (- (+ (* 2 (pow x 2)) (+ (* 2 (pow x 4)) 1)))
1538431536.017 * [misc]backup-simplify:  Simplify (+ (/ 1 (- (/ 1 x) 1)) (/ 1 (/ (+ (/ 1 x) 1) (/ 1 x)))) into (+ (/ 1 (- (/ 1 x) 1)) (/ 1 (* (+ (/ 1 x) 1) x)))
1538431536.017 * [misc]approximate:  Taking taylor expansion of (+ (/ 1 (- (/ 1 x) 1)) (/ 1 (* (+ (/ 1 x) 1) x))) in (x) around 0
1538431536.017 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- (/ 1 x) 1)) (/ 1 (* (+ (/ 1 x) 1) x))) in x
1538431536.017 * [misc]taylor:  Taking taylor expansion of (/ 1 (- (/ 1 x) 1)) in x
1538431536.017 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1538431536.017 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431536.017 * [misc]taylor:  Taking taylor expansion of x in x
1538431536.017 * [misc]backup-simplify:  Simplify 0 into 0
1538431536.017 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.017 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431536.017 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431536.017 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.017 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431536.017 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431536.017 * [misc]taylor:  Taking taylor expansion of (/ 1 (* (+ (/ 1 x) 1) x)) in x
1538431536.017 * [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 x) 1) x) in x
1538431536.017 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1538431536.017 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431536.018 * [misc]taylor:  Taking taylor expansion of x in x
1538431536.018 * [misc]backup-simplify:  Simplify 0 into 0
1538431536.018 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.018 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431536.018 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431536.018 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.018 * [misc]taylor:  Taking taylor expansion of x in x
1538431536.018 * [misc]backup-simplify:  Simplify 0 into 0
1538431536.018 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.018 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431536.018 * [misc]backup-simplify:  Simplify (* 1 0) into 0
1538431536.018 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538431536.018 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538431536.018 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 0)) into 1
1538431536.018 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431536.018 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 (- (/ 1 x) 1)) (/ 1 (* (+ (/ 1 x) 1) x))) in x
1538431536.018 * [misc]taylor:  Taking taylor expansion of (/ 1 (- (/ 1 x) 1)) in x
1538431536.018 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1538431536.018 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431536.018 * [misc]taylor:  Taking taylor expansion of x in x
1538431536.019 * [misc]backup-simplify:  Simplify 0 into 0
1538431536.019 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.019 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431536.019 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431536.019 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.019 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431536.019 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431536.019 * [misc]taylor:  Taking taylor expansion of (/ 1 (* (+ (/ 1 x) 1) x)) in x
1538431536.019 * [misc]taylor:  Taking taylor expansion of (* (+ (/ 1 x) 1) x) in x
1538431536.019 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1538431536.019 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431536.019 * [misc]taylor:  Taking taylor expansion of x in x
1538431536.019 * [misc]backup-simplify:  Simplify 0 into 0
1538431536.019 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.019 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431536.019 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431536.019 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.019 * [misc]taylor:  Taking taylor expansion of x in x
1538431536.019 * [misc]backup-simplify:  Simplify 0 into 0
1538431536.019 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.019 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431536.019 * [misc]backup-simplify:  Simplify (* 1 0) into 0
1538431536.020 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538431536.020 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538431536.020 * [misc]backup-simplify:  Simplify (+ (* 1 1) (* 1 0)) into 1
1538431536.020 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431536.020 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538431536.020 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.020 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431536.020 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431536.020 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 1) (* 0 0))) into 1
1538431536.021 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1538431536.021 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1538431536.021 * [misc]backup-simplify:  Simplify 0 into 0
1538431536.021 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538431536.021 * [misc]backup-simplify:  Simplify (- 1) into -1
1538431536.021 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538431536.021 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ -1 1)))) into 1
1538431536.021 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431536.021 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431536.022 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
1538431536.022 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1538431536.022 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1538431536.022 * [misc]backup-simplify:  Simplify 2 into 2
1538431536.022 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431536.022 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431536.022 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431536.022 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 1 (/ -1 1)))) into 1
1538431536.023 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431536.023 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431536.023 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1538431536.023 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1538431536.023 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1538431536.023 * [misc]backup-simplify:  Simplify 0 into 0
1538431536.024 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431536.024 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431536.024 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431536.024 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)) (* 1 (/ -1 1)))) into 1
1538431536.024 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431536.024 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431536.025 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1538431536.025 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1538431536.025 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1538431536.025 * [misc]backup-simplify:  Simplify 2 into 2
1538431536.025 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 x) 4)) (+ (* 2 (pow (/ 1 x) 2)) 1)) into (+ (* 2 (/ 1 (pow x 4))) (+ 1 (* 2 (/ 1 (pow x 2)))))
1538431536.026 * [misc]backup-simplify:  Simplify (+ (/ 1 (- (/ 1 (- x)) 1)) (/ 1 (/ (+ (/ 1 (- x)) 1) (/ 1 (- x))))) into (- (+ (/ 1 (* x (- 1 (/ 1 x)))) (/ 1 (+ (/ 1 x) 1))))
1538431536.026 * [misc]approximate:  Taking taylor expansion of (- (+ (/ 1 (* x (- 1 (/ 1 x)))) (/ 1 (+ (/ 1 x) 1)))) in (x) around 0
1538431536.026 * [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 (* x (- 1 (/ 1 x)))) (/ 1 (+ (/ 1 x) 1)))) in x
1538431536.026 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 (* x (- 1 (/ 1 x)))) (/ 1 (+ (/ 1 x) 1))) in x
1538431536.026 * [misc]taylor:  Taking taylor expansion of (/ 1 (* x (- 1 (/ 1 x)))) in x
1538431536.026 * [misc]taylor:  Taking taylor expansion of (* x (- 1 (/ 1 x))) in x
1538431536.026 * [misc]taylor:  Taking taylor expansion of x in x
1538431536.026 * [misc]backup-simplify:  Simplify 0 into 0
1538431536.026 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.026 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1538431536.026 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431536.026 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.026 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431536.026 * [misc]taylor:  Taking taylor expansion of x in x
1538431536.026 * [misc]backup-simplify:  Simplify 0 into 0
1538431536.026 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.026 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431536.026 * [misc]backup-simplify:  Simplify (- 1) into -1
1538431536.026 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538431536.026 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1538431536.026 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538431536.026 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431536.027 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431536.027 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1538431536.027 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1538431536.027 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 x) 1)) in x
1538431536.027 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1538431536.027 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431536.027 * [misc]taylor:  Taking taylor expansion of x in x
1538431536.027 * [misc]backup-simplify:  Simplify 0 into 0
1538431536.027 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.027 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431536.027 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431536.027 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.027 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431536.027 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431536.027 * [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 (* x (- 1 (/ 1 x)))) (/ 1 (+ (/ 1 x) 1)))) in x
1538431536.027 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 (* x (- 1 (/ 1 x)))) (/ 1 (+ (/ 1 x) 1))) in x
1538431536.027 * [misc]taylor:  Taking taylor expansion of (/ 1 (* x (- 1 (/ 1 x)))) in x
1538431536.027 * [misc]taylor:  Taking taylor expansion of (* x (- 1 (/ 1 x))) in x
1538431536.027 * [misc]taylor:  Taking taylor expansion of x in x
1538431536.027 * [misc]backup-simplify:  Simplify 0 into 0
1538431536.027 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.027 * [misc]taylor:  Taking taylor expansion of (- 1 (/ 1 x)) in x
1538431536.027 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431536.027 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.027 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431536.027 * [misc]taylor:  Taking taylor expansion of x in x
1538431536.027 * [misc]backup-simplify:  Simplify 0 into 0
1538431536.027 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.028 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431536.028 * [misc]backup-simplify:  Simplify (- 1) into -1
1538431536.028 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538431536.028 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1538431536.028 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538431536.028 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431536.028 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431536.028 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1538431536.028 * [misc]backup-simplify:  Simplify (/ 1 -1) into -1
1538431536.028 * [misc]taylor:  Taking taylor expansion of (/ 1 (+ (/ 1 x) 1)) in x
1538431536.028 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1538431536.028 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538431536.029 * [misc]taylor:  Taking taylor expansion of x in x
1538431536.029 * [misc]backup-simplify:  Simplify 0 into 0
1538431536.029 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.029 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431536.029 * [misc]taylor:  Taking taylor expansion of 1 in x
1538431536.029 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.029 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538431536.029 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538431536.029 * [misc]backup-simplify:  Simplify (+ -1 0) into -1
1538431536.029 * [misc]backup-simplify:  Simplify (- -1) into 1
1538431536.029 * [misc]backup-simplify:  Simplify 1 into 1
1538431536.029 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431536.029 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431536.029 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431536.030 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
1538431536.030 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 1 -1)))) into -1
1538431536.030 * [misc]backup-simplify:  Simplify (+ -1 1) into 0
1538431536.030 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431536.030 * [misc]backup-simplify:  Simplify 0 into 0
1538431536.030 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431536.030 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431536.030 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431536.031 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
1538431536.031 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* -1 (/ 1 -1)))) into -1
1538431536.031 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538431536.031 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538431536.031 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 1 1)))) into -1
1538431536.031 * [misc]backup-simplify:  Simplify (+ -1 -1) into -2
1538431536.032 * [misc]backup-simplify:  Simplify (- -2) into 2
1538431536.032 * [misc]backup-simplify:  Simplify 2 into 2
1538431536.032 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431536.032 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431536.032 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431536.032 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1))))) into 0
1538431536.032 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* -1 (/ 0 -1)) (* -1 (/ 1 -1)))) into -1
1538431536.033 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431536.033 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431536.033 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 1 1)))) into 1
1538431536.033 * [misc]backup-simplify:  Simplify (+ -1 1) into 0
1538431536.033 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431536.033 * [misc]backup-simplify:  Simplify 0 into 0
1538431536.033 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431536.033 * [misc]backup-simplify:  Simplify (- 0) into 0
1538431536.034 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431536.034 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 -1)))))) into 0
1538431536.034 * [misc]backup-simplify:  Simplify (- (+ (* -1 (/ 0 -1)) (* -1 (/ 0 -1)) (* -1 (/ 0 -1)) (* -1 (/ 1 -1)))) into -1
1538431536.034 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538431536.034 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538431536.035 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)) (* 1 (/ 1 1)))) into -1
1538431536.035 * [misc]backup-simplify:  Simplify (+ -1 -1) into -2
1538431536.035 * [misc]backup-simplify:  Simplify (- -2) into 2
1538431536.035 * [misc]backup-simplify:  Simplify 2 into 2
1538431536.035 * [misc]backup-simplify:  Simplify (+ (* 2 (pow (/ 1 (- x)) 4)) (+ (* 2 (pow (/ 1 (- x)) 2)) 1)) into (+ (* 2 (/ 1 (pow x 4))) (+ 1 (* 2 (/ 1 (pow x 2)))))
1538431536.035 * * * [misc]progress:  simplifying candidates
1538431536.035 * * * * [misc]progress:  [ 1 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (log1p (expm1 (/ 1 (/ (+ x 1) x))))))>
1538431536.035 * * * * [misc]progress:  [ 2 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (expm1 (log1p (/ 1 (/ (+ x 1) x))))))>
1538431536.035 * * * * [misc]progress:  [ 3 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (pow (/ (+ x 1) x) -1)))>
1538431536.036 * * * * [misc]progress:  [ 4 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (pow (/ (+ x 1) x) (- 1))))>
1538431536.036 * [enter]simplify:  Simplifying (- 1)
1538431536.036 * * [misc]simplify:  iters left: 2 (2 enodes)
1538431536.037 * * [misc]simplify:  iters left: 1 (5 enodes)
1538431536.037 * [exit]simplify:  Simplified to -1
1538431536.037 * [misc]simplify:  Simplified (2 2 2) to (λ (x) (+ (/ 1 (- x 1)) (pow (/ (+ x 1) x) -1)))
1538431536.037 * * * * [misc]progress:  [ 5 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (pow (/ 1 (/ (+ x 1) x)) 1)))>
1538431536.037 * * * * [misc]progress:  [ 6 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (exp (- (log (/ (+ x 1) x))))))>
1538431536.037 * * * * [misc]progress:  [ 7 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (exp (log (/ 1 (/ (+ x 1) x))))))>
1538431536.037 * * * * [misc]progress:  [ 8 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (log (exp (/ 1 (/ (+ x 1) x))))))>
1538431536.038 * * * * [misc]progress:  [ 9 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (* (* (cbrt (/ 1 (/ (+ x 1) x))) (cbrt (/ 1 (/ (+ x 1) x)))) (cbrt (/ 1 (/ (+ x 1) x))))))>
1538431536.038 * * * * [misc]progress:  [ 10 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (cbrt (* (* (/ 1 (/ (+ x 1) x)) (/ 1 (/ (+ x 1) x))) (/ 1 (/ (+ x 1) x))))))>
1538431536.038 * * * * [misc]progress:  [ 11 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (* (sqrt (/ 1 (/ (+ x 1) x))) (sqrt (/ 1 (/ (+ x 1) x))))))>
1538431536.038 * * * * [misc]progress:  [ 12 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (/ (- 1) (- (/ (+ x 1) x)))))>
1538431536.038 * * * * [misc]progress:  [ 13 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (* 1 (/ 1 (/ (+ x 1) x)))))>
1538431536.038 * * * * [misc]progress:  [ 14 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (* 1 (/ 1 (/ (+ x 1) x)))))>
1538431536.038 * * * * [misc]progress:  [ 15 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (/ 1 (/ (/ (+ x 1) x) 1))))>
1538431536.038 * * * * [misc]progress:  [ 16 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (/ (/ 1 (* (cbrt (/ (+ x 1) x)) (cbrt (/ (+ x 1) x)))) (cbrt (/ (+ x 1) x)))))>
1538431536.038 * [enter]simplify:  Simplifying (cbrt (/ (+ x 1) x))
1538431536.038 * * [misc]simplify:  iters left: 5 (5 enodes)
1538431536.039 * * [misc]simplify:  iters left: 4 (8 enodes)
1538431536.040 * [exit]simplify:  Simplified to (cbrt (/ (+ 1 x) x))
1538431536.041 * [misc]simplify:  Simplified (2 2 2) to (λ (x) (+ (/ 1 (- x 1)) (/ (/ 1 (* (cbrt (/ (+ x 1) x)) (cbrt (/ (+ x 1) x)))) (cbrt (/ (+ 1 x) x)))))
1538431536.041 * * * * [misc]progress:  [ 17 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (/ (/ 1 (sqrt (/ (+ x 1) x))) (sqrt (/ (+ x 1) x)))))>
1538431536.041 * [enter]simplify:  Simplifying (sqrt (/ (+ x 1) x))
1538431536.041 * * [misc]simplify:  iters left: 5 (5 enodes)
1538431536.042 * * [misc]simplify:  iters left: 4 (8 enodes)
1538431536.043 * [exit]simplify:  Simplified to (sqrt (/ (+ 1 x) x))
1538431536.043 * [misc]simplify:  Simplified (2 2 2) to (λ (x) (+ (/ 1 (- x 1)) (/ (/ 1 (sqrt (/ (+ x 1) x))) (sqrt (/ (+ 1 x) x)))))
1538431536.043 * * * * [misc]progress:  [ 18 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (/ (/ 1 1) (/ (+ x 1) x))))>
1538431536.044 * [enter]simplify:  Simplifying (/ (+ x 1) x)
1538431536.044 * * [misc]simplify:  iters left: 4 (4 enodes)
1538431536.045 * * [misc]simplify:  iters left: 3 (7 enodes)
1538431536.046 * [exit]simplify:  Simplified to (/ (+ 1 x) x)
1538431536.046 * [misc]simplify:  Simplified (2 2 2) to (λ (x) (+ (/ 1 (- x 1)) (/ (/ 1 1) (/ (+ 1 x) x))))
1538431536.046 * * * * [misc]progress:  [ 19 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (/ (/ 1 (+ x 1)) (/ 1 x))))>
1538431536.046 * [enter]simplify:  Simplifying (/ 1 x)
1538431536.046 * * [misc]simplify:  iters left: 2 (3 enodes)
1538431536.047 * * [misc]simplify:  iters left: 1 (5 enodes)
1538431536.047 * [exit]simplify:  Simplified to (/ 1 x)
1538431536.047 * [misc]simplify:  Simplified (2 2 2) to (λ (x) (+ (/ 1 (- x 1)) (/ (/ 1 (+ x 1)) (/ 1 x))))
1538431536.047 * * * * [misc]progress:  [ 20 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (* (/ 1 (+ x 1)) x)))>
1538431536.047 * * * * [misc]progress:  [ 21 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (/ 1 (log1p (expm1 (/ (+ x 1) x))))))>
1538431536.047 * * * * [misc]progress:  [ 22 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (/ 1 (expm1 (log1p (/ (+ x 1) x))))))>
1538431536.047 * * * * [misc]progress:  [ 23 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (/ 1 (pow (/ (+ x 1) x) 1))))>
1538431536.048 * * * * [misc]progress:  [ 24 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (/ 1 (exp (log (/ (+ x 1) x))))))>
1538431536.048 * * * * [misc]progress:  [ 25 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (/ 1 (log (exp (/ (+ x 1) x))))))>
1538431536.048 * * * * [misc]progress:  [ 26 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (/ 1 (* (* (cbrt (/ (+ x 1) x)) (cbrt (/ (+ x 1) x))) (cbrt (/ (+ x 1) x))))))>
1538431536.048 * * * * [misc]progress:  [ 27 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (/ 1 (cbrt (* (* (/ (+ x 1) x) (/ (+ x 1) x)) (/ (+ x 1) x))))))>
1538431536.048 * * * * [misc]progress:  [ 28 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (/ 1 (* (sqrt (/ (+ x 1) x)) (sqrt (/ (+ x 1) x))))))>
1538431536.048 * * * * [misc]progress:  [ 29 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (/ 1 (/ (- (+ x 1)) (- x)))))>
1538431536.048 * * * * [misc]progress:  [ 30 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (/ 1 (* 1 (/ (+ x 1) x)))))>
1538431536.048 * * * * [misc]progress:  [ 31 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (/ 1 (* (+ x 1) (/ 1 x)))))>
1538431536.048 * * * * [misc]progress:  [ 32 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (/ 1 (/ 1 (/ x (+ x 1))))))>
1538431536.048 * * * * [misc]progress:  [ 33 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (/ 1 (/ (* (cbrt (+ x 1)) (cbrt (+ x 1))) (/ x (cbrt (+ x 1)))))))>
1538431536.048 * [enter]simplify:  Simplifying (* (cbrt (+ x 1)) (cbrt (+ x 1)))
1538431536.048 * * [misc]simplify:  iters left: 5 (5 enodes)
1538431536.049 * * [misc]simplify:  iters left: 4 (8 enodes)
1538431536.051 * [exit]simplify:  Simplified to (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))
1538431536.051 * [misc]simplify:  Simplified (2 2 2 1) to (λ (x) (+ (/ 1 (- x 1)) (/ 1 (/ (* (cbrt (+ 1 x)) (cbrt (+ 1 x))) (/ x (cbrt (+ x 1)))))))
1538431536.051 * * * * [misc]progress:  [ 34 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (/ 1 (/ (sqrt (+ x 1)) (/ x (sqrt (+ x 1)))))))>
1538431536.051 * [enter]simplify:  Simplifying (sqrt (+ x 1))
1538431536.051 * * [misc]simplify:  iters left: 3 (4 enodes)
1538431536.052 * * [misc]simplify:  iters left: 2 (7 enodes)
1538431536.053 * [exit]simplify:  Simplified to (sqrt (+ 1 x))
1538431536.053 * [misc]simplify:  Simplified (2 2 2 1) to (λ (x) (+ (/ 1 (- x 1)) (/ 1 (/ (sqrt (+ 1 x)) (/ x (sqrt (+ x 1)))))))
1538431536.053 * * * * [misc]progress:  [ 35 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (/ 1 (/ 1 (/ x (+ x 1))))))>
1538431536.053 * * * * [misc]progress:  [ 36 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (/ 1 (/ (+ (pow x 3) (pow 1 3)) (* x (+ (* x x) (- (* 1 1) (* x 1))))))))>
1538431536.053 * [enter]simplify:  Simplifying (+ (pow x 3) (pow 1 3))
1538431536.054 * * [misc]simplify:  iters left: 3 (6 enodes)
1538431536.056 * * [misc]simplify:  iters left: 2 (14 enodes)
1538431536.058 * * [misc]simplify:  iters left: 1 (16 enodes)
1538431536.060 * [exit]simplify:  Simplified to (fma (* x x) x 1)
1538431536.060 * [misc]simplify:  Simplified (2 2 2 1) to (λ (x) (+ (/ 1 (- x 1)) (/ 1 (/ (fma (* x x) x 1) (* x (+ (* x x) (- (* 1 1) (* x 1))))))))
1538431536.061 * * * * [misc]progress:  [ 37 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (/ 1 (/ (- (* x x) (* 1 1)) (* x (- x 1))))))>
1538431536.061 * [enter]simplify:  Simplifying (- (* x x) (* 1 1))
1538431536.061 * * [misc]simplify:  iters left: 4 (5 enodes)
1538431536.065 * * [misc]simplify:  iters left: 3 (12 enodes)
1538431536.069 * * [misc]simplify:  iters left: 2 (19 enodes)
1538431536.073 * * [misc]simplify:  iters left: 1 (23 enodes)
1538431536.080 * [exit]simplify:  Simplified to (fma x x -1)
1538431536.080 * [misc]simplify:  Simplified (2 2 2 1) to (λ (x) (+ (/ 1 (- x 1)) (/ 1 (/ (fma x x -1) (* x (- x 1))))))
1538431536.080 * * * * [misc]progress:  [ 38 / 93 ] simplifiying candidate #<alt (λ (x) (+ (log1p (expm1 (/ 1 (- x 1)))) (/ 1 (/ (+ x 1) x))))>
1538431536.080 * * * * [misc]progress:  [ 39 / 93 ] simplifiying candidate #<alt (λ (x) (+ (expm1 (log1p (/ 1 (- x 1)))) (/ 1 (/ (+ x 1) x))))>
1538431536.081 * * * * [misc]progress:  [ 40 / 93 ] simplifiying candidate #<alt (λ (x) (+ (pow (- x 1) -1) (/ 1 (/ (+ x 1) x))))>
1538431536.081 * * * * [misc]progress:  [ 41 / 93 ] simplifiying candidate #<alt (λ (x) (+ (pow (- x 1) (- 1)) (/ 1 (/ (+ x 1) x))))>
1538431536.081 * [enter]simplify:  Simplifying (- 1)
1538431536.081 * * [misc]simplify:  iters left: 2 (2 enodes)
1538431536.082 * * [misc]simplify:  iters left: 1 (5 enodes)
1538431536.083 * [exit]simplify:  Simplified to -1
1538431536.083 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (+ (pow (- x 1) -1) (/ 1 (/ (+ x 1) x))))
1538431536.083 * * * * [misc]progress:  [ 42 / 93 ] simplifiying candidate #<alt (λ (x) (+ (pow (/ 1 (- x 1)) 1) (/ 1 (/ (+ x 1) x))))>
1538431536.083 * * * * [misc]progress:  [ 43 / 93 ] simplifiying candidate #<alt (λ (x) (+ (exp (- (log (- x 1)))) (/ 1 (/ (+ x 1) x))))>
1538431536.084 * * * * [misc]progress:  [ 44 / 93 ] simplifiying candidate #<alt (λ (x) (+ (exp (log (/ 1 (- x 1)))) (/ 1 (/ (+ x 1) x))))>
1538431536.084 * * * * [misc]progress:  [ 45 / 93 ] simplifiying candidate #<alt (λ (x) (+ (log (exp (/ 1 (- x 1)))) (/ 1 (/ (+ x 1) x))))>
1538431536.084 * * * * [misc]progress:  [ 46 / 93 ] simplifiying candidate #<alt (λ (x) (+ (* (* (cbrt (/ 1 (- x 1))) (cbrt (/ 1 (- x 1)))) (cbrt (/ 1 (- x 1)))) (/ 1 (/ (+ x 1) x))))>
1538431536.084 * * * * [misc]progress:  [ 47 / 93 ] simplifiying candidate #<alt (λ (x) (+ (cbrt (* (* (/ 1 (- x 1)) (/ 1 (- x 1))) (/ 1 (- x 1)))) (/ 1 (/ (+ x 1) x))))>
1538431536.084 * * * * [misc]progress:  [ 48 / 93 ] simplifiying candidate #<alt (λ (x) (+ (* (sqrt (/ 1 (- x 1))) (sqrt (/ 1 (- x 1)))) (/ 1 (/ (+ x 1) x))))>
1538431536.084 * * * * [misc]progress:  [ 49 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ (- 1) (- (- x 1))) (/ 1 (/ (+ x 1) x))))>
1538431536.084 * * * * [misc]progress:  [ 50 / 93 ] simplifiying candidate #<alt (λ (x) (+ (* 1 (/ 1 (- x 1))) (/ 1 (/ (+ x 1) x))))>
1538431536.084 * * * * [misc]progress:  [ 51 / 93 ] simplifiying candidate #<alt (λ (x) (+ (* 1 (/ 1 (- x 1))) (/ 1 (/ (+ x 1) x))))>
1538431536.084 * * * * [misc]progress:  [ 52 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (/ (- x 1) 1)) (/ 1 (/ (+ x 1) x))))>
1538431536.084 * * * * [misc]progress:  [ 53 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ (/ 1 (* (cbrt (- x 1)) (cbrt (- x 1)))) (cbrt (- x 1))) (/ 1 (/ (+ x 1) x))))>
1538431536.084 * [enter]simplify:  Simplifying (cbrt (- x 1))
1538431536.085 * * [misc]simplify:  iters left: 3 (4 enodes)
1538431536.087 * * [misc]simplify:  iters left: 2 (9 enodes)
1538431536.089 * * [misc]simplify:  iters left: 1 (10 enodes)
1538431536.092 * [exit]simplify:  Simplified to (cbrt (+ x -1))
1538431536.092 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (+ (/ (/ 1 (* (cbrt (- x 1)) (cbrt (- x 1)))) (cbrt (+ x -1))) (/ 1 (/ (+ x 1) x))))
1538431536.092 * * * * [misc]progress:  [ 54 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ (/ 1 (sqrt (- x 1))) (sqrt (- x 1))) (/ 1 (/ (+ x 1) x))))>
1538431536.092 * [enter]simplify:  Simplifying (sqrt (- x 1))
1538431536.092 * * [misc]simplify:  iters left: 3 (4 enodes)
1538431536.095 * * [misc]simplify:  iters left: 2 (9 enodes)
1538431536.097 * * [misc]simplify:  iters left: 1 (10 enodes)
1538431536.099 * [exit]simplify:  Simplified to (sqrt (+ x -1))
1538431536.099 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (+ (/ (/ 1 (sqrt (- x 1))) (sqrt (+ x -1))) (/ 1 (/ (+ x 1) x))))
1538431536.099 * * * * [misc]progress:  [ 55 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ (/ 1 1) (- x 1)) (/ 1 (/ (+ x 1) x))))>
1538431536.099 * [enter]simplify:  Simplifying (- x 1)
1538431536.099 * * [misc]simplify:  iters left: 2 (3 enodes)
1538431536.101 * * [misc]simplify:  iters left: 1 (8 enodes)
1538431536.102 * [exit]simplify:  Simplified to (+ x -1)
1538431536.102 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (+ (/ (/ 1 1) (+ x -1)) (/ 1 (/ (+ x 1) x))))
1538431536.102 * * * * [misc]progress:  [ 56 / 93 ] simplifiying candidate #<alt (λ (x) (+ (* (/ 1 (- (pow x 3) (pow 1 3))) (+ (* x x) (+ (* 1 1) (* x 1)))) (/ 1 (/ (+ x 1) x))))>
1538431536.102 * [enter]simplify:  Simplifying (+ (* x x) (+ (* 1 1) (* x 1)))
1538431536.102 * * [misc]simplify:  iters left: 6 (7 enodes)
1538431536.104 * * [misc]simplify:  iters left: 5 (15 enodes)
1538431536.109 * * [misc]simplify:  iters left: 4 (25 enodes)
1538431536.113 * * [misc]simplify:  iters left: 3 (30 enodes)
1538431536.116 * * [misc]simplify:  iters left: 2 (32 enodes)
1538431536.119 * * [misc]simplify:  iters left: 1 (35 enodes)
1538431536.126 * [exit]simplify:  Simplified to (+ x (fma x x 1))
1538431536.126 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (+ (* (/ 1 (- (pow x 3) (pow 1 3))) (+ x (fma x x 1))) (/ 1 (/ (+ x 1) x))))
1538431536.126 * * * * [misc]progress:  [ 57 / 93 ] simplifiying candidate #<alt (λ (x) (+ (* (/ 1 (- (* x x) (* 1 1))) (+ x 1)) (/ 1 (/ (+ x 1) x))))>
1538431536.126 * [enter]simplify:  Simplifying (+ x 1)
1538431536.126 * * [misc]simplify:  iters left: 2 (3 enodes)
1538431536.127 * * [misc]simplify:  iters left: 1 (6 enodes)
1538431536.129 * [exit]simplify:  Simplified to (+ 1 x)
1538431536.129 * [misc]simplify:  Simplified (2 1 2) to (λ (x) (+ (* (/ 1 (- (* x x) (* 1 1))) (+ 1 x)) (/ 1 (/ (+ x 1) x))))
1538431536.129 * * * * [misc]progress:  [ 58 / 93 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (+ (/ 1 (- x 1)) (/ 1 (/ (+ x 1) x))))))>
1538431536.129 * * * * [misc]progress:  [ 59 / 93 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (+ (/ 1 (- x 1)) (/ 1 (/ (+ x 1) x))))))>
1538431536.129 * * * * [misc]progress:  [ 60 / 93 ] simplifiying candidate #<alt (λ (x) (fma (* (cbrt (/ 1 (- x 1))) (cbrt (/ 1 (- x 1)))) (cbrt (/ 1 (- x 1))) (/ 1 (/ (+ x 1) x))))>
1538431536.129 * [enter]simplify:  Simplifying (* (cbrt (/ 1 (- x 1))) (cbrt (/ 1 (- x 1))))
1538431536.130 * * [misc]simplify:  iters left: 6 (6 enodes)
1538431536.133 * * [misc]simplify:  iters left: 5 (11 enodes)
1538431536.136 * * [misc]simplify:  iters left: 4 (12 enodes)
1538431536.139 * [exit]simplify:  Simplified to (* (cbrt (/ 1 (+ x -1))) (cbrt (/ 1 (+ x -1))))
1538431536.139 * [misc]simplify:  Simplified (2 1) to (λ (x) (fma (* (cbrt (/ 1 (+ x -1))) (cbrt (/ 1 (+ x -1)))) (cbrt (/ 1 (- x 1))) (/ 1 (/ (+ x 1) x))))
1538431536.139 * * * * [misc]progress:  [ 61 / 93 ] simplifiying candidate #<alt (λ (x) (fma (sqrt (/ 1 (- x 1))) (sqrt (/ 1 (- x 1))) (/ 1 (/ (+ x 1) x))))>
1538431536.140 * [enter]simplify:  Simplifying (sqrt (/ 1 (- x 1)))
1538431536.140 * * [misc]simplify:  iters left: 5 (5 enodes)
1538431536.141 * * [misc]simplify:  iters left: 4 (10 enodes)
1538431536.143 * * [misc]simplify:  iters left: 3 (11 enodes)
1538431536.144 * [exit]simplify:  Simplified to (sqrt (/ 1 (+ -1 x)))
1538431536.144 * [misc]simplify:  Simplified (2 1) to (λ (x) (fma (sqrt (/ 1 (+ -1 x))) (sqrt (/ 1 (- x 1))) (/ 1 (/ (+ x 1) x))))
1538431536.144 * * * * [misc]progress:  [ 62 / 93 ] simplifiying candidate #<alt (λ (x) (fma 1 (/ 1 (- x 1)) (/ 1 (/ (+ x 1) x))))>
1538431536.144 * * * * [misc]progress:  [ 63 / 93 ] simplifiying candidate #<alt (λ (x) (fma 1 (/ 1 (- x 1)) (/ 1 (/ (+ x 1) x))))>
1538431536.145 * * * * [misc]progress:  [ 64 / 93 ] simplifiying candidate #<alt (λ (x) (fma (/ 1 (- (pow x 3) (pow 1 3))) (+ (* x x) (+ (* 1 1) (* x 1))) (/ 1 (/ (+ x 1) x))))>
1538431536.145 * [enter]simplify:  Simplifying (/ 1 (- (pow x 3) (pow 1 3)))
1538431536.145 * * [misc]simplify:  iters left: 5 (7 enodes)
1538431536.148 * * [misc]simplify:  iters left: 4 (17 enodes)
1538431536.152 * * [misc]simplify:  iters left: 3 (24 enodes)
1538431536.154 * * [misc]simplify:  iters left: 2 (26 enodes)
1538431536.156 * [exit]simplify:  Simplified to (/ 1 (fma (* x x) x -1))
1538431536.156 * [misc]simplify:  Simplified (2 1) to (λ (x) (fma (/ 1 (fma (* x x) x -1)) (+ (* x x) (+ (* 1 1) (* x 1))) (/ 1 (/ (+ x 1) x))))
1538431536.157 * * * * [misc]progress:  [ 65 / 93 ] simplifiying candidate #<alt (λ (x) (fma (/ 1 (- (* x x) (* 1 1))) (+ x 1) (/ 1 (/ (+ x 1) x))))>
1538431536.157 * [enter]simplify:  Simplifying (/ 1 (- (* x x) (* 1 1)))
1538431536.157 * * [misc]simplify:  iters left: 6 (6 enodes)
1538431536.159 * * [misc]simplify:  iters left: 5 (13 enodes)
1538431536.162 * * [misc]simplify:  iters left: 4 (20 enodes)
1538431536.165 * * [misc]simplify:  iters left: 3 (26 enodes)
1538431536.169 * * [misc]simplify:  iters left: 2 (42 enodes)
1538431536.182 * * [misc]simplify:  iters left: 1 (73 enodes)
1538431536.210 * [exit]simplify:  Simplified to (/ 1 (fma x x -1))
1538431536.210 * [misc]simplify:  Simplified (2 1) to (λ (x) (fma (/ 1 (fma x x -1)) (+ x 1) (/ 1 (/ (+ x 1) x))))
1538431536.210 * * * * [misc]progress:  [ 66 / 93 ] simplifiying candidate #<alt (λ (x) (log (* (exp (/ 1 (- x 1))) (exp (/ 1 (/ (+ x 1) x))))))>
1538431536.211 * [enter]simplify:  Simplifying (* (exp (/ 1 (- x 1))) (exp (/ 1 (/ (+ x 1) x))))
1538431536.211 * * [misc]simplify:  iters left: 6 (10 enodes)
1538431536.215 * * [misc]simplify:  iters left: 5 (21 enodes)
1538431536.218 * * [misc]simplify:  iters left: 4 (29 enodes)
1538431536.223 * * [misc]simplify:  iters left: 3 (33 enodes)
1538431536.233 * [exit]simplify:  Simplified to (exp (+ (/ 1 (+ -1 x)) (/ x (+ x 1))))
1538431536.234 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (exp (+ (/ 1 (+ -1 x)) (/ x (+ x 1))))))
1538431536.234 * * * * [misc]progress:  [ 67 / 93 ] simplifiying candidate #<alt (λ (x) (pow (+ (/ 1 (- x 1)) (/ 1 (/ (+ x 1) x))) 1))>
1538431536.234 * * * * [misc]progress:  [ 68 / 93 ] simplifiying candidate #<alt (λ (x) (exp (log (+ (/ 1 (- x 1)) (/ 1 (/ (+ x 1) x))))))>
1538431536.234 * * * * [misc]progress:  [ 69 / 93 ] simplifiying candidate #<alt (λ (x) (log (exp (+ (/ 1 (- x 1)) (/ 1 (/ (+ x 1) x))))))>
1538431536.234 * * * * [misc]progress:  [ 70 / 93 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (+ (/ 1 (- x 1)) (/ 1 (/ (+ x 1) x)))) (cbrt (+ (/ 1 (- x 1)) (/ 1 (/ (+ x 1) x))))) (cbrt (+ (/ 1 (- x 1)) (/ 1 (/ (+ x 1) x))))))>
1538431536.234 * * * * [misc]progress:  [ 71 / 93 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (+ (/ 1 (- x 1)) (/ 1 (/ (+ x 1) x))) (+ (/ 1 (- x 1)) (/ 1 (/ (+ x 1) x)))) (+ (/ 1 (- x 1)) (/ 1 (/ (+ x 1) x))))))>
1538431536.234 * * * * [misc]progress:  [ 72 / 93 ] simplifiying candidate #<alt (λ (x) (* (sqrt (+ (/ 1 (- x 1)) (/ 1 (/ (+ x 1) x)))) (sqrt (+ (/ 1 (- x 1)) (/ 1 (/ (+ x 1) x))))))>
1538431536.234 * * * * [misc]progress:  [ 73 / 93 ] simplifiying candidate #<alt (λ (x) (/ (+ (* 1 (/ (+ x 1) x)) (* (- x 1) 1)) (* (- x 1) (/ (+ x 1) x))))>
1538431536.234 * [enter]simplify:  Simplifying (+ (* 1 (/ (+ x 1) x)) (* (- x 1) 1))
1538431536.235 * * [misc]simplify:  iters left: 6 (8 enodes)
1538431536.240 * * [misc]simplify:  iters left: 5 (20 enodes)
1538431536.246 * * [misc]simplify:  iters left: 4 (44 enodes)
1538431536.259 * * [misc]simplify:  iters left: 3 (68 enodes)
1538431536.276 * * [misc]simplify:  iters left: 2 (112 enodes)
1538431536.312 * * [misc]simplify:  iters left: 1 (178 enodes)
1538431536.397 * [exit]simplify:  Simplified to (fma (+ x 1) (/ 1 x) (- x 1))
1538431536.397 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (fma (+ x 1) (/ 1 x) (- x 1)) (* (- x 1) (/ (+ x 1) x))))
1538431536.397 * [enter]simplify:  Simplifying (* (- x 1) (/ (+ x 1) x))
1538431536.398 * * [misc]simplify:  iters left: 6 (6 enodes)
1538431536.400 * * [misc]simplify:  iters left: 5 (15 enodes)
1538431536.404 * * [misc]simplify:  iters left: 4 (34 enodes)
1538431536.426 * * [misc]simplify:  iters left: 3 (83 enodes)
1538431536.468 * * [misc]simplify:  iters left: 2 (164 enodes)
1538431536.594 * * [misc]simplify:  iters left: 1 (387 enodes)
1538431537.051 * [exit]simplify:  Simplified to (/ (fma x x -1) x)
1538431537.051 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (fma (+ x 1) (/ 1 x) (- x 1)) (/ (fma x x -1) x)))
1538431537.051 * * * * [misc]progress:  [ 74 / 93 ] simplifiying candidate #<alt (λ (x) (/ (+ (pow (/ 1 (- x 1)) 3) (pow (/ 1 (/ (+ x 1) x)) 3)) (+ (* (/ 1 (- x 1)) (/ 1 (- x 1))) (- (* (/ 1 (/ (+ x 1) x)) (/ 1 (/ (+ x 1) x))) (* (/ 1 (- x 1)) (/ 1 (/ (+ x 1) x)))))))>
1538431537.051 * * * * [misc]progress:  [ 75 / 93 ] simplifiying candidate #<alt (λ (x) (* 1 (+ (/ 1 (- x 1)) (/ 1 (/ (+ x 1) x)))))>
1538431537.051 * * * * [misc]progress:  [ 76 / 93 ] simplifiying candidate #<alt (λ (x) (/ (- (* (/ 1 (- x 1)) (/ 1 (- x 1))) (* (/ 1 (/ (+ x 1) x)) (/ 1 (/ (+ x 1) x)))) (- (/ 1 (- x 1)) (/ 1 (/ (+ x 1) x)))))>
1538431537.051 * * * * [misc]progress:  [ 77 / 93 ] simplifiying candidate #<alt (λ (x) (* 1 (+ (/ 1 (- x 1)) (/ 1 (/ (+ x 1) x)))))>
1538431537.051 * [enter]simplify:  Simplifying (+ (/ 1 (- x 1)) (/ 1 (/ (+ x 1) x)))
1538431537.052 * * [misc]simplify:  iters left: 6 (8 enodes)
1538431537.055 * * [misc]simplify:  iters left: 5 (17 enodes)
1538431537.058 * * [misc]simplify:  iters left: 4 (22 enodes)
1538431537.065 * * [misc]simplify:  iters left: 3 (24 enodes)
1538431537.069 * [exit]simplify:  Simplified to (+ (/ 1 (+ x -1)) (/ x (+ x 1)))
1538431537.069 * [misc]simplify:  Simplified (2 2) to (λ (x) (* 1 (+ (/ 1 (+ x -1)) (/ x (+ x 1)))))
1538431537.069 * * * * [misc]progress:  [ 78 / 93 ] simplifiying candidate #<alt (λ (x) (* 1 (+ (/ 1 (- x 1)) (/ 1 (/ (+ x 1) x)))))>
1538431537.069 * [enter]simplify:  Simplifying (+ (/ 1 (- x 1)) (/ 1 (/ (+ x 1) x)))
1538431537.070 * * [misc]simplify:  iters left: 6 (8 enodes)
1538431537.072 * * [misc]simplify:  iters left: 5 (17 enodes)
1538431537.075 * * [misc]simplify:  iters left: 4 (22 enodes)
1538431537.079 * * [misc]simplify:  iters left: 3 (24 enodes)
1538431537.083 * [exit]simplify:  Simplified to (+ (/ 1 (+ x -1)) (/ x (+ x 1)))
1538431537.083 * [misc]simplify:  Simplified (2 2) to (λ (x) (* 1 (+ (/ 1 (+ x -1)) (/ x (+ x 1)))))
1538431537.083 * * * * [misc]progress:  [ 79 / 93 ] simplifiying candidate #<alt (λ (x) (* 1 (+ (/ 1 (- x 1)) (/ 1 (/ (+ x 1) x)))))>
1538431537.083 * [enter]simplify:  Simplifying (+ (/ 1 (- x 1)) (/ 1 (/ (+ x 1) x)))
1538431537.083 * * [misc]simplify:  iters left: 6 (8 enodes)
1538431537.086 * * [misc]simplify:  iters left: 5 (17 enodes)
1538431537.089 * * [misc]simplify:  iters left: 4 (22 enodes)
1538431537.093 * * [misc]simplify:  iters left: 3 (24 enodes)
1538431537.097 * [exit]simplify:  Simplified to (+ (/ 1 (+ x -1)) (/ x (+ x 1)))
1538431537.097 * [misc]simplify:  Simplified (2 2) to (λ (x) (* 1 (+ (/ 1 (+ x -1)) (/ x (+ x 1)))))
1538431537.097 * * * * [misc]progress:  [ 80 / 93 ] simplifiying candidate #<alt (λ (x) (* 1 (+ (/ 1 (- x 1)) (/ 1 (/ (+ x 1) x)))))>
1538431537.097 * [enter]simplify:  Simplifying (+ (/ 1 (- x 1)) (/ 1 (/ (+ x 1) x)))
1538431537.097 * * [misc]simplify:  iters left: 6 (8 enodes)
1538431537.100 * * [misc]simplify:  iters left: 5 (17 enodes)
1538431537.103 * * [misc]simplify:  iters left: 4 (22 enodes)
1538431537.107 * * [misc]simplify:  iters left: 3 (24 enodes)
1538431537.111 * [exit]simplify:  Simplified to (+ (/ 1 (+ x -1)) (/ x (+ x 1)))
1538431537.111 * [misc]simplify:  Simplified (2 2) to (λ (x) (* 1 (+ (/ 1 (+ x -1)) (/ x (+ x 1)))))
1538431537.111 * * * * [misc]progress:  [ 81 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (/ (+ x 1) x)) (/ 1 (- x 1))))>
1538431537.111 * * * * [misc]progress:  [ 82 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (- (+ x (pow x 3)) (pow x 2))))>
1538431537.111 * [enter]simplify:  Simplifying (- (+ x (pow x 3)) (pow x 2))
1538431537.111 * * [misc]simplify:  iters left: 5 (7 enodes)
1538431537.113 * * [misc]simplify:  iters left: 4 (15 enodes)
1538431537.119 * * [misc]simplify:  iters left: 3 (37 enodes)
1538431537.128 * * [misc]simplify:  iters left: 2 (68 enodes)
1538431537.145 * * [misc]simplify:  iters left: 1 (100 enodes)
1538431537.206 * [exit]simplify:  Simplified to (fma x (- 1 x) (pow x 3))
1538431537.206 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (/ 1 (- x 1)) (fma x (- 1 x) (pow x 3))))
1538431537.206 * * * * [misc]progress:  [ 83 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (- (+ (/ 1 (pow x 2)) 1) (/ 1 x))))>
1538431537.206 * [enter]simplify:  Simplifying (- (+ (/ 1 (pow x 2)) 1) (/ 1 x))
1538431537.207 * * [misc]simplify:  iters left: 6 (8 enodes)
1538431537.209 * * [misc]simplify:  iters left: 5 (16 enodes)
1538431537.213 * * [misc]simplify:  iters left: 4 (28 enodes)
1538431537.220 * * [misc]simplify:  iters left: 3 (35 enodes)
1538431537.224 * * [misc]simplify:  iters left: 2 (37 enodes)
1538431537.229 * * [misc]simplify:  iters left: 1 (41 enodes)
1538431537.237 * [exit]simplify:  Simplified to (+ (/ 1 (* x x)) (- 1 (/ 1 x)))
1538431537.237 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (/ 1 (- x 1)) (+ (/ 1 (* x x)) (- 1 (/ 1 x)))))
1538431537.237 * * * * [misc]progress:  [ 84 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (- (+ (/ 1 (pow x 2)) 1) (/ 1 x))))>
1538431537.237 * [enter]simplify:  Simplifying (- (+ (/ 1 (pow x 2)) 1) (/ 1 x))
1538431537.237 * * [misc]simplify:  iters left: 6 (8 enodes)
1538431537.239 * * [misc]simplify:  iters left: 5 (16 enodes)
1538431537.243 * * [misc]simplify:  iters left: 4 (28 enodes)
1538431537.248 * * [misc]simplify:  iters left: 3 (35 enodes)
1538431537.252 * * [misc]simplify:  iters left: 2 (37 enodes)
1538431537.256 * * [misc]simplify:  iters left: 1 (41 enodes)
1538431537.264 * [exit]simplify:  Simplified to (+ (/ 1 (* x x)) (- 1 (/ 1 x)))
1538431537.264 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (/ 1 (- x 1)) (+ (/ 1 (* x x)) (- 1 (/ 1 x)))))
1538431537.264 * * * * [misc]progress:  [ 85 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (/ 1 (+ (/ 1 x) 1))))>
1538431537.265 * [enter]simplify:  Simplifying (+ (/ 1 x) 1)
1538431537.265 * * [misc]simplify:  iters left: 4 (4 enodes)
1538431537.266 * * [misc]simplify:  iters left: 3 (7 enodes)
1538431537.267 * [exit]simplify:  Simplified to (+ 1 (/ 1 x))
1538431537.267 * [misc]simplify:  Simplified (2 2 2) to (λ (x) (+ (/ 1 (- x 1)) (/ 1 (+ 1 (/ 1 x)))))
1538431537.267 * * * * [misc]progress:  [ 86 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (/ 1 (+ (/ 1 x) 1))))>
1538431537.267 * [enter]simplify:  Simplifying (+ (/ 1 x) 1)
1538431537.267 * * [misc]simplify:  iters left: 4 (4 enodes)
1538431537.268 * * [misc]simplify:  iters left: 3 (7 enodes)
1538431537.269 * [exit]simplify:  Simplified to (+ 1 (/ 1 x))
1538431537.269 * [misc]simplify:  Simplified (2 2 2) to (λ (x) (+ (/ 1 (- x 1)) (/ 1 (+ 1 (/ 1 x)))))
1538431537.269 * * * * [misc]progress:  [ 87 / 93 ] simplifiying candidate #<alt (λ (x) (+ (/ 1 (- x 1)) (/ 1 (+ (/ 1 x) 1))))>
1538431537.270 * [enter]simplify:  Simplifying (+ (/ 1 x) 1)
1538431537.270 * * [misc]simplify:  iters left: 4 (4 enodes)
1538431537.271 * * [misc]simplify:  iters left: 3 (7 enodes)
1538431537.272 * [exit]simplify:  Simplified to (+ 1 (/ 1 x))
1538431537.272 * [misc]simplify:  Simplified (2 2 2) to (λ (x) (+ (/ 1 (- x 1)) (/ 1 (+ 1 (/ 1 x)))))
1538431537.272 * * * * [misc]progress:  [ 88 / 93 ] simplifiying candidate #<alt (λ (x) (+ (- (+ x (+ (pow x 2) 1))) (/ 1 (/ (+ x 1) x))))>
1538431537.272 * [enter]simplify:  Simplifying (- (+ x (+ (pow x 2) 1)))
1538431537.272 * * [misc]simplify:  iters left: 6 (7 enodes)
1538431537.274 * * [misc]simplify:  iters left: 5 (17 enodes)
1538431537.278 * * [misc]simplify:  iters left: 4 (32 enodes)
1538431537.286 * * [misc]simplify:  iters left: 3 (62 enodes)
1538431537.302 * * [misc]simplify:  iters left: 2 (96 enodes)
1538431537.332 * * [misc]simplify:  iters left: 1 (145 enodes)
1538431537.397 * [exit]simplify:  Simplified to (fma (- -1 x) x -1)
1538431537.397 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (fma (- -1 x) x -1) (/ 1 (/ (+ x 1) x))))
1538431537.397 * * * * [misc]progress:  [ 89 / 93 ] simplifiying candidate #<alt (λ (x) (+ (+ (/ 1 (pow x 3)) (+ (/ 1 (pow x 2)) (/ 1 x))) (/ 1 (/ (+ x 1) x))))>
1538431537.397 * [enter]simplify:  Simplifying (+ (/ 1 (pow x 3)) (+ (/ 1 (pow x 2)) (/ 1 x)))
1538431537.398 * * [misc]simplify:  iters left: 6 (11 enodes)
1538431537.401 * * [misc]simplify:  iters left: 5 (20 enodes)
1538431537.406 * * [misc]simplify:  iters left: 4 (31 enodes)
1538431537.410 * * [misc]simplify:  iters left: 3 (33 enodes)
1538431537.416 * [exit]simplify:  Simplified to (+ (+ (/ 1 x) (/ (/ 1 x) (* x x))) (/ (/ 1 x) x))
1538431537.416 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (+ (+ (/ 1 x) (/ (/ 1 x) (* x x))) (/ (/ 1 x) x)) (/ 1 (/ (+ x 1) x))))
1538431537.416 * * * * [misc]progress:  [ 90 / 93 ] simplifiying candidate #<alt (λ (x) (+ (+ (/ 1 (pow x 3)) (+ (/ 1 (pow x 2)) (/ 1 x))) (/ 1 (/ (+ x 1) x))))>
1538431537.416 * [enter]simplify:  Simplifying (+ (/ 1 (pow x 3)) (+ (/ 1 (pow x 2)) (/ 1 x)))
1538431537.417 * * [misc]simplify:  iters left: 6 (11 enodes)
1538431537.419 * * [misc]simplify:  iters left: 5 (20 enodes)
1538431537.425 * * [misc]simplify:  iters left: 4 (31 enodes)
1538431537.433 * * [misc]simplify:  iters left: 3 (33 enodes)
1538431537.446 * [exit]simplify:  Simplified to (+ (+ (/ 1 x) (/ (/ 1 x) (* x x))) (/ (/ 1 x) x))
1538431537.446 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (+ (+ (/ 1 x) (/ (/ 1 x) (* x x))) (/ (/ 1 x) x)) (/ 1 (/ (+ x 1) x))))
1538431537.446 * * * * [misc]progress:  [ 91 / 93 ] simplifiying candidate #<alt (λ (x) (- (+ (* 2 (pow x 2)) (+ (* 2 (pow x 4)) 1))))>
1538431537.446 * [enter]simplify:  Simplifying (- (+ (* 2 (pow x 2)) (+ (* 2 (pow x 4)) 1)))
1538431537.447 * * [misc]simplify:  iters left: 6 (11 enodes)
1538431537.453 * * [misc]simplify:  iters left: 5 (25 enodes)
1538431537.466 * * [misc]simplify:  iters left: 4 (55 enodes)
1538431537.493 * * [misc]simplify:  iters left: 3 (113 enodes)
1538431537.525 * * [misc]simplify:  iters left: 2 (175 enodes)
1538431537.570 * * [misc]simplify:  iters left: 1 (209 enodes)
1538431537.671 * [exit]simplify:  Simplified to (fma (fma x x (pow x 4)) -2 -1)
1538431537.671 * [misc]simplify:  Simplified (2) to (λ (x) (fma (fma x x (pow x 4)) -2 -1))
1538431537.671 * * * * [misc]progress:  [ 92 / 93 ] simplifiying candidate #<alt (λ (x) (+ (* 2 (/ 1 (pow x 4))) (+ 1 (* 2 (/ 1 (pow x 2))))))>
1538431537.672 * [enter]simplify:  Simplifying (+ (* 2 (/ 1 (pow x 4))) (+ 1 (* 2 (/ 1 (pow x 2)))))
1538431537.673 * * [misc]simplify:  iters left: 6 (12 enodes)
1538431537.681 * * [misc]simplify:  iters left: 5 (25 enodes)
1538431537.693 * * [misc]simplify:  iters left: 4 (41 enodes)
1538431537.720 * * [misc]simplify:  iters left: 3 (69 enodes)
1538431537.748 * * [misc]simplify:  iters left: 2 (97 enodes)
1538431537.770 * * [misc]simplify:  iters left: 1 (123 enodes)
1538431537.802 * [exit]simplify:  Simplified to (+ (/ (/ 2 x) x) (+ 1 (/ 2 (pow x 4))))
1538431537.802 * [misc]simplify:  Simplified (2) to (λ (x) (+ (/ (/ 2 x) x) (+ 1 (/ 2 (pow x 4)))))
1538431537.803 * * * * [misc]progress:  [ 93 / 93 ] simplifiying candidate #<alt (λ (x) (+ (* 2 (/ 1 (pow x 4))) (+ 1 (* 2 (/ 1 (pow x 2))))))>
1538431537.803 * [enter]simplify:  Simplifying (+ (* 2 (/ 1 (pow x 4))) (+ 1 (* 2 (/ 1 (pow x 2)))))
1538431537.804 * * [misc]simplify:  iters left: 6 (12 enodes)
1538431537.812 * * [misc]simplify:  iters left: 5 (25 enodes)
1538431537.824 * * [misc]simplify:  iters left: 4 (41 enodes)
1538431537.851 * * [misc]simplify:  iters left: 3 (69 enodes)
1538431537.890 * * [misc]simplify:  iters left: 2 (97 enodes)
1538431537.910 * * [misc]simplify:  iters left: 1 (123 enodes)
1538431537.944 * [exit]simplify:  Simplified to (+ (/ (/ 2 x) x) (+ 1 (/ 2 (pow x 4))))
1538431537.944 * [misc]simplify:  Simplified (2) to (λ (x) (+ (/ (/ 2 x) x) (+ 1 (/ 2 (pow x 4)))))
1538431537.944 * * * [misc]progress:  adding candidates to table
1538431538.941 * [misc]progress:  [Phase 3 of 3] Extracting.
1538431538.948 * [enter]simplify:  Simplifying (+ (/ 1 (- x 1)) (/ 1 (/ (+ x 1) x)))
1538431538.949 * * [misc]simplify:  iters left: 6 (8 enodes)
1538431538.950 * * [misc]simplify:  iters left: 5 (12 enodes)
1538431538.952 * [exit]simplify:  Simplified to (+ (/ 1 (- x 1)) (/ 1 (/ (+ x 1) x)))
1538431538.952 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1538431540.908 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538431540.911 * * * * [exit]points:  Sampled 8000 points with exact outputs