1546937615.604 * [misc]progress:  [Phase 1 of 3] Setting up.
1546937615.604 * * * [misc]progress:  [1/2] Preparing points
1546937615.604 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1546937615.634 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546937615.634 * * * * [exit]points:  Sampled 256 points with exact outputs
1546937615.634 * * * [misc]progress:  [2/2] Setting up program.
1546937615.639 * [misc]progress:  [Phase 2 of 3] Improving.
1546937615.639 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (/ 2 (+ (exp x) (exp (- x)))))>
1546937615.639 * [enter]simplify:  Simplifying (/ 2 (+ (exp x) (exp (- x))))
1546937615.639 * * [misc]simplify:  iters left: 6 (7 enodes)
1546937615.641 * * [misc]simplify:  iters left: 5 (10 enodes)
1546937615.644 * * [misc]simplify:  iters left: 4 (12 enodes)
1546937615.647 * [exit]simplify:  Simplified to (/ 2 (+ (exp x) (exp (- x))))
1546937615.647 * [misc]simplify:  Simplified (2) to (λ (x) (/ 2 (+ (exp x) (exp (- x)))))
1546937615.652 * * [misc]progress:  iteration 1 / 4
1546937615.652 * * * [misc]progress:  picking best candidate
1546937615.656 * * * * [misc]pick:  Picked  #<alt (λ (x) (/ 2 (+ (exp x) (exp (- x)))))>
1546937615.656 * * * [misc]progress:  localizing error
1546937615.682 * * * [misc]progress:  generating rewritten candidates
1546937615.682 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1546937615.688 * * * [misc]progress:  generating series expansions
1546937615.688 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1546937615.688 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp x) (exp (- x)))) into (/ 2 (+ (exp x) (exp (- x))))
1546937615.688 * [misc]approximate:  Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in (x) around 0
1546937615.688 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in x
1546937615.688 * [misc]taylor:  Taking taylor expansion of 2 in x
1546937615.688 * [misc]backup-simplify:  Simplify 2 into 2
1546937615.688 * [misc]taylor:  Taking taylor expansion of (+ (exp x) (exp (- x))) in x
1546937615.688 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1546937615.688 * [misc]taylor:  Taking taylor expansion of x in x
1546937615.688 * [misc]backup-simplify:  Simplify 0 into 0
1546937615.688 * [misc]backup-simplify:  Simplify 1 into 1
1546937615.688 * [misc]backup-simplify:  Simplify (exp 0) into 1
1546937615.688 * [misc]taylor:  Taking taylor expansion of (exp (- x)) in x
1546937615.688 * [misc]taylor:  Taking taylor expansion of (- x) in x
1546937615.689 * [misc]taylor:  Taking taylor expansion of x in x
1546937615.689 * [misc]backup-simplify:  Simplify 0 into 0
1546937615.689 * [misc]backup-simplify:  Simplify 1 into 1
1546937615.689 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937615.689 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937615.689 * [misc]backup-simplify:  Simplify (exp 0) into 1
1546937615.689 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1546937615.689 * [misc]backup-simplify:  Simplify (/ 2 2) into 1
1546937615.689 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in x
1546937615.689 * [misc]taylor:  Taking taylor expansion of 2 in x
1546937615.689 * [misc]backup-simplify:  Simplify 2 into 2
1546937615.690 * [misc]taylor:  Taking taylor expansion of (+ (exp x) (exp (- x))) in x
1546937615.690 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1546937615.690 * [misc]taylor:  Taking taylor expansion of x in x
1546937615.690 * [misc]backup-simplify:  Simplify 0 into 0
1546937615.690 * [misc]backup-simplify:  Simplify 1 into 1
1546937615.690 * [misc]backup-simplify:  Simplify (exp 0) into 1
1546937615.690 * [misc]taylor:  Taking taylor expansion of (exp (- x)) in x
1546937615.690 * [misc]taylor:  Taking taylor expansion of (- x) in x
1546937615.690 * [misc]taylor:  Taking taylor expansion of x in x
1546937615.690 * [misc]backup-simplify:  Simplify 0 into 0
1546937615.690 * [misc]backup-simplify:  Simplify 1 into 1
1546937615.690 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937615.690 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937615.690 * [misc]backup-simplify:  Simplify (exp 0) into 1
1546937615.690 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1546937615.690 * [misc]backup-simplify:  Simplify (/ 2 2) into 1
1546937615.691 * [misc]backup-simplify:  Simplify 1 into 1
1546937615.692 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1546937615.692 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937615.694 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
1546937615.694 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1546937615.694 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
1546937615.694 * [misc]backup-simplify:  Simplify 0 into 0
1546937615.697 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1546937615.697 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937615.697 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937615.699 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1546937615.699 * [misc]backup-simplify:  Simplify (+ 1/2 1/2) into 1
1546937615.700 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 1 2)) (* 0 (/ 0 2)))) into -1/2
1546937615.700 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1546937615.704 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
1546937615.704 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937615.704 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937615.704 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937615.704 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937615.708 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
1546937615.708 * [misc]backup-simplify:  Simplify (+ 1/6 -1/6) into 0
1546937615.709 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 1 2)) (* -1/2 (/ 0 2)))) into 0
1546937615.709 * [misc]backup-simplify:  Simplify 0 into 0
1546937615.715 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
1546937615.715 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937615.715 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937615.716 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937615.716 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937615.716 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937615.716 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937615.716 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937615.723 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
1546937615.723 * [misc]backup-simplify:  Simplify (+ 1/24 1/24) into 1/12
1546937615.723 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 1/12 2)) (* 0 (/ 0 2)) (* -1/2 (/ 1 2)) (* 0 (/ 0 2)))) into 5/24
1546937615.723 * [misc]backup-simplify:  Simplify 5/24 into 5/24
1546937615.724 * [misc]backup-simplify:  Simplify (+ (* 5/24 (pow x 4)) (+ (* -1/2 (pow x 2)) 1)) into (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2)))
1546937615.724 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
1546937615.724 * [misc]approximate:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0
1546937615.724 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
1546937615.724 * [misc]taylor:  Taking taylor expansion of 2 in x
1546937615.724 * [misc]backup-simplify:  Simplify 2 into 2
1546937615.724 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
1546937615.724 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1546937615.724 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546937615.724 * [misc]taylor:  Taking taylor expansion of x in x
1546937615.724 * [misc]backup-simplify:  Simplify 0 into 0
1546937615.724 * [misc]backup-simplify:  Simplify 1 into 1
1546937615.724 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546937615.724 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1546937615.725 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 x))) in x
1546937615.725 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x)) in x
1546937615.725 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546937615.725 * [misc]taylor:  Taking taylor expansion of x in x
1546937615.725 * [misc]backup-simplify:  Simplify 0 into 0
1546937615.725 * [misc]backup-simplify:  Simplify 1 into 1
1546937615.725 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546937615.725 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937615.725 * [misc]backup-simplify:  Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
1546937615.725 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
1546937615.725 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
1546937615.725 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
1546937615.725 * [misc]taylor:  Taking taylor expansion of 2 in x
1546937615.725 * [misc]backup-simplify:  Simplify 2 into 2
1546937615.726 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
1546937615.726 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1546937615.726 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546937615.726 * [misc]taylor:  Taking taylor expansion of x in x
1546937615.726 * [misc]backup-simplify:  Simplify 0 into 0
1546937615.726 * [misc]backup-simplify:  Simplify 1 into 1
1546937615.726 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546937615.726 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1546937615.726 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 x))) in x
1546937615.726 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x)) in x
1546937615.726 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546937615.726 * [misc]taylor:  Taking taylor expansion of x in x
1546937615.726 * [misc]backup-simplify:  Simplify 0 into 0
1546937615.726 * [misc]backup-simplify:  Simplify 1 into 1
1546937615.726 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546937615.726 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937615.726 * [misc]backup-simplify:  Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
1546937615.727 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
1546937615.727 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
1546937615.727 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
1546937615.727 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937615.728 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1546937615.728 * [misc]backup-simplify:  Simplify 0 into 0
1546937615.728 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937615.728 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1546937615.728 * [misc]backup-simplify:  Simplify 0 into 0
1546937615.729 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937615.729 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1546937615.729 * [misc]backup-simplify:  Simplify 0 into 0
1546937615.730 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937615.730 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1546937615.730 * [misc]backup-simplify:  Simplify 0 into 0
1546937615.731 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937615.732 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1546937615.732 * [misc]backup-simplify:  Simplify 0 into 0
1546937615.732 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937615.733 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1546937615.733 * [misc]backup-simplify:  Simplify 0 into 0
1546937615.733 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))) into (/ 2 (+ (exp x) (exp (- x))))
1546937615.734 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x)))))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))
1546937615.734 * [misc]approximate:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0
1546937615.734 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
1546937615.734 * [misc]taylor:  Taking taylor expansion of 2 in x
1546937615.734 * [misc]backup-simplify:  Simplify 2 into 2
1546937615.734 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
1546937615.734 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1546937615.734 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546937615.734 * [misc]taylor:  Taking taylor expansion of x in x
1546937615.734 * [misc]backup-simplify:  Simplify 0 into 0
1546937615.734 * [misc]backup-simplify:  Simplify 1 into 1
1546937615.734 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546937615.734 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1546937615.734 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1546937615.734 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1546937615.734 * [misc]taylor:  Taking taylor expansion of -1 in x
1546937615.734 * [misc]backup-simplify:  Simplify -1 into -1
1546937615.734 * [misc]taylor:  Taking taylor expansion of x in x
1546937615.734 * [misc]backup-simplify:  Simplify 0 into 0
1546937615.734 * [misc]backup-simplify:  Simplify 1 into 1
1546937615.735 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1546937615.735 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1546937615.735 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
1546937615.735 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))
1546937615.735 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
1546937615.735 * [misc]taylor:  Taking taylor expansion of 2 in x
1546937615.735 * [misc]backup-simplify:  Simplify 2 into 2
1546937615.735 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
1546937615.735 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1546937615.735 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546937615.735 * [misc]taylor:  Taking taylor expansion of x in x
1546937615.735 * [misc]backup-simplify:  Simplify 0 into 0
1546937615.735 * [misc]backup-simplify:  Simplify 1 into 1
1546937615.735 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546937615.735 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1546937615.735 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1546937615.736 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1546937615.736 * [misc]taylor:  Taking taylor expansion of -1 in x
1546937615.736 * [misc]backup-simplify:  Simplify -1 into -1
1546937615.736 * [misc]taylor:  Taking taylor expansion of x in x
1546937615.736 * [misc]backup-simplify:  Simplify 0 into 0
1546937615.736 * [misc]backup-simplify:  Simplify 1 into 1
1546937615.736 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1546937615.736 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1546937615.736 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
1546937615.736 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))
1546937615.736 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))
1546937615.737 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937615.737 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1546937615.737 * [misc]backup-simplify:  Simplify 0 into 0
1546937615.737 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937615.738 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1546937615.738 * [misc]backup-simplify:  Simplify 0 into 0
1546937615.738 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937615.738 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1546937615.738 * [misc]backup-simplify:  Simplify 0 into 0
1546937615.739 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937615.739 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1546937615.740 * [misc]backup-simplify:  Simplify 0 into 0
1546937615.740 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937615.741 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1546937615.741 * [misc]backup-simplify:  Simplify 0 into 0
1546937615.741 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937615.742 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1546937615.742 * [misc]backup-simplify:  Simplify 0 into 0
1546937615.742 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))) into (/ 2 (+ (exp (* -1 x)) (exp x)))
1546937615.742 * * * [misc]progress:  simplifying candidates
1546937615.742 * * * * [misc]progress:  [ 1 / 19 ] simplifiying candidate #<alt (λ (x) (pow (/ 2 (+ (exp x) (exp (- x)))) 1))>
1546937615.742 * * * * [misc]progress:  [ 2 / 19 ] simplifiying candidate #<alt (λ (x) (exp (log (/ 2 (+ (exp x) (exp (- x)))))))>
1546937615.742 * * * * [misc]progress:  [ 3 / 19 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 2 (+ (exp x) (exp (- x)))))))>
1546937615.742 * * * * [misc]progress:  [ 4 / 19 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (cbrt (/ 2 (+ (exp x) (exp (- x)))))) (cbrt (/ 2 (+ (exp x) (exp (- x)))))))>
1546937615.742 * * * * [misc]progress:  [ 5 / 19 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (/ 2 (+ (exp x) (exp (- x)))) (/ 2 (+ (exp x) (exp (- x))))) (/ 2 (+ (exp x) (exp (- x)))))))>
1546937615.742 * * * * [misc]progress:  [ 6 / 19 ] simplifiying candidate #<alt (λ (x) (* (sqrt (/ 2 (+ (exp x) (exp (- x))))) (sqrt (/ 2 (+ (exp x) (exp (- x)))))))>
1546937615.742 * * * * [misc]progress:  [ 7 / 19 ] simplifiying candidate #<alt (λ (x) (/ (- 2) (- (+ (exp x) (exp (- x))))))>
1546937615.743 * * * * [misc]progress:  [ 8 / 19 ] simplifiying candidate #<alt (λ (x) (* 1 (/ 2 (+ (exp x) (exp (- x))))))>
1546937615.743 * * * * [misc]progress:  [ 9 / 19 ] simplifiying candidate #<alt (λ (x) (* 2 (/ 1 (+ (exp x) (exp (- x))))))>
1546937615.743 * * * * [misc]progress:  [ 10 / 19 ] simplifiying candidate #<alt (λ (x) (/ 1 (/ (+ (exp x) (exp (- x))) 2)))>
1546937615.743 * * * * [misc]progress:  [ 11 / 19 ] simplifiying candidate #<alt (λ (x) (/ (/ 2 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (cbrt (+ (exp x) (exp (- x))))))>
1546937615.743 * [enter]simplify:  Simplifying (cbrt (+ (exp x) (exp (- x))))
1546937615.743 * * [misc]simplify:  iters left: 6 (6 enodes)
1546937615.745 * * [misc]simplify:  iters left: 5 (9 enodes)
1546937615.747 * * [misc]simplify:  iters left: 4 (11 enodes)
1546937615.750 * [exit]simplify:  Simplified to (cbrt (+ (exp x) (exp (- x))))
1546937615.750 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (/ 2 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (cbrt (+ (exp x) (exp (- x))))))
1546937615.750 * * * * [misc]progress:  [ 12 / 19 ] simplifiying candidate #<alt (λ (x) (/ (/ 2 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))))>
1546937615.750 * [enter]simplify:  Simplifying (sqrt (+ (exp x) (exp (- x))))
1546937615.750 * * [misc]simplify:  iters left: 6 (6 enodes)
1546937615.752 * * [misc]simplify:  iters left: 5 (9 enodes)
1546937615.754 * * [misc]simplify:  iters left: 4 (11 enodes)
1546937615.757 * [exit]simplify:  Simplified to (sqrt (+ (exp x) (exp (- x))))
1546937615.757 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (/ 2 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))))
1546937615.757 * * * * [misc]progress:  [ 13 / 19 ] simplifiying candidate #<alt (λ (x) (/ (/ 2 1) (+ (exp x) (exp (- x)))))>
1546937615.757 * [enter]simplify:  Simplifying (+ (exp x) (exp (- x)))
1546937615.758 * * [misc]simplify:  iters left: 5 (5 enodes)
1546937615.759 * * [misc]simplify:  iters left: 4 (8 enodes)
1546937615.761 * * [misc]simplify:  iters left: 3 (10 enodes)
1546937615.773 * [exit]simplify:  Simplified to (+ (exp x) (exp (- x)))
1546937615.773 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (/ 2 1) (+ (exp x) (exp (- x)))))
1546937615.773 * * * * [misc]progress:  [ 14 / 19 ] simplifiying candidate #<alt (λ (x) (/ (/ 2 1) (+ (exp x) (exp (- x)))))>
1546937615.773 * [enter]simplify:  Simplifying (+ (exp x) (exp (- x)))
1546937615.774 * * [misc]simplify:  iters left: 5 (5 enodes)
1546937615.776 * * [misc]simplify:  iters left: 4 (8 enodes)
1546937615.778 * * [misc]simplify:  iters left: 3 (10 enodes)
1546937615.780 * [exit]simplify:  Simplified to (+ (exp x) (exp (- x)))
1546937615.780 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (/ 2 1) (+ (exp x) (exp (- x)))))
1546937615.780 * * * * [misc]progress:  [ 15 / 19 ] simplifiying candidate #<alt (λ (x) (* (/ 2 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))))>
1546937615.781 * [enter]simplify:  Simplifying (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))
1546937615.781 * * [misc]simplify:  iters left: 6 (9 enodes)
1546937615.784 * * [misc]simplify:  iters left: 5 (25 enodes)
1546937615.794 * * [misc]simplify:  iters left: 4 (55 enodes)
1546937615.809 * * [misc]simplify:  iters left: 3 (87 enodes)
1546937615.834 * * [misc]simplify:  iters left: 2 (168 enodes)
1546937615.899 * * [misc]simplify:  iters left: 1 (277 enodes)
1546937615.975 * [exit]simplify:  Simplified to (+ (exp (- (+ x x))) (+ -1 (* (exp x) (exp x))))
1546937615.975 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (/ 2 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (exp (- (+ x x))) (+ -1 (* (exp x) (exp x))))))
1546937615.976 * * * * [misc]progress:  [ 16 / 19 ] simplifiying candidate #<alt (λ (x) (* (/ 2 (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (- (exp x) (exp (- x)))))>
1546937615.976 * [enter]simplify:  Simplifying (- (exp x) (exp (- x)))
1546937615.976 * * [misc]simplify:  iters left: 5 (5 enodes)
1546937615.977 * * [misc]simplify:  iters left: 4 (9 enodes)
1546937615.979 * * [misc]simplify:  iters left: 3 (15 enodes)
1546937615.981 * [exit]simplify:  Simplified to (+ (/ -1 (exp x)) (exp x))
1546937615.981 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (/ 2 (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (+ (/ -1 (exp x)) (exp x))))
1546937615.981 * * * * [misc]progress:  [ 17 / 19 ] simplifiying candidate #<alt (λ (x) (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2))))>
1546937615.981 * [enter]simplify:  Simplifying (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2)))
1546937615.981 * * [misc]simplify:  iters left: 6 (12 enodes)
1546937615.983 * * [misc]simplify:  iters left: 5 (22 enodes)
1546937615.987 * * [misc]simplify:  iters left: 4 (41 enodes)
1546937615.993 * * [misc]simplify:  iters left: 3 (55 enodes)
1546937616.001 * * [misc]simplify:  iters left: 2 (63 enodes)
1546937616.016 * * [misc]simplify:  iters left: 1 (72 enodes)
1546937616.034 * [exit]simplify:  Simplified to (- (* (pow x 4) 5/24) (- (* (* x x) 1/2) 1))
1546937616.035 * [misc]simplify:  Simplified (2) to (λ (x) (- (* (pow x 4) 5/24) (- (* (* x x) 1/2) 1)))
1546937616.035 * * * * [misc]progress:  [ 18 / 19 ] simplifiying candidate #<alt (λ (x) (/ 2 (+ (exp x) (exp (- x)))))>
1546937616.035 * [enter]simplify:  Simplifying (/ 2 (+ (exp x) (exp (- x))))
1546937616.035 * * [misc]simplify:  iters left: 6 (7 enodes)
1546937616.037 * * [misc]simplify:  iters left: 5 (10 enodes)
1546937616.040 * * [misc]simplify:  iters left: 4 (12 enodes)
1546937616.043 * [exit]simplify:  Simplified to (/ 2 (+ (exp x) (exp (- x))))
1546937616.043 * [misc]simplify:  Simplified (2) to (λ (x) (/ 2 (+ (exp x) (exp (- x)))))
1546937616.043 * * * * [misc]progress:  [ 19 / 19 ] simplifiying candidate #<alt (λ (x) (/ 2 (+ (exp (* -1 x)) (exp x))))>
1546937616.043 * [enter]simplify:  Simplifying (/ 2 (+ (exp (* -1 x)) (exp x)))
1546937616.043 * * [misc]simplify:  iters left: 6 (8 enodes)
1546937616.046 * * [misc]simplify:  iters left: 5 (13 enodes)
1546937616.050 * * [misc]simplify:  iters left: 4 (15 enodes)
1546937616.054 * * [misc]simplify:  iters left: 3 (18 enodes)
1546937616.059 * [exit]simplify:  Simplified to (/ 2 (+ (exp x) (exp (- x))))
1546937616.059 * [misc]simplify:  Simplified (2) to (λ (x) (/ 2 (+ (exp x) (exp (- x)))))
1546937616.059 * * * [misc]progress:  adding candidates to table
1546937616.235 * * [misc]progress:  iteration 2 / 4
1546937616.236 * * * [misc]progress:  picking best candidate
1546937616.238 * * * * [misc]pick:  Picked  #<alt (λ (x) (log (exp (/ 2 (+ (exp x) (exp (- x)))))))>
1546937616.238 * * * [misc]progress:  localizing error
1546937616.244 * * * [misc]progress:  generating rewritten candidates
1546937616.244 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2)
1546937616.247 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
1546937616.249 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2 1 1)
1546937616.252 * * * [misc]progress:  generating series expansions
1546937616.252 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2)
1546937616.252 * [misc]backup-simplify:  Simplify (log (exp (/ 2 (+ (exp x) (exp (- x)))))) into (/ 2 (+ (exp x) (exp (- x))))
1546937616.252 * [misc]approximate:  Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in (x) around 0
1546937616.252 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in x
1546937616.252 * [misc]taylor:  Taking taylor expansion of 2 in x
1546937616.252 * [misc]backup-simplify:  Simplify 2 into 2
1546937616.252 * [misc]taylor:  Taking taylor expansion of (+ (exp x) (exp (- x))) in x
1546937616.252 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1546937616.252 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.252 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.252 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.252 * [misc]backup-simplify:  Simplify (exp 0) into 1
1546937616.252 * [misc]taylor:  Taking taylor expansion of (exp (- x)) in x
1546937616.252 * [misc]taylor:  Taking taylor expansion of (- x) in x
1546937616.252 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.252 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.252 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.252 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937616.253 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937616.253 * [misc]backup-simplify:  Simplify (exp 0) into 1
1546937616.253 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1546937616.253 * [misc]backup-simplify:  Simplify (/ 2 2) into 1
1546937616.253 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in x
1546937616.253 * [misc]taylor:  Taking taylor expansion of 2 in x
1546937616.253 * [misc]backup-simplify:  Simplify 2 into 2
1546937616.253 * [misc]taylor:  Taking taylor expansion of (+ (exp x) (exp (- x))) in x
1546937616.253 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1546937616.253 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.253 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.253 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.253 * [misc]backup-simplify:  Simplify (exp 0) into 1
1546937616.253 * [misc]taylor:  Taking taylor expansion of (exp (- x)) in x
1546937616.253 * [misc]taylor:  Taking taylor expansion of (- x) in x
1546937616.253 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.253 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.253 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.253 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937616.253 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937616.253 * [misc]backup-simplify:  Simplify (exp 0) into 1
1546937616.253 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1546937616.253 * [misc]backup-simplify:  Simplify (/ 2 2) into 1
1546937616.253 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.254 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1546937616.255 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937616.255 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
1546937616.256 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1546937616.256 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
1546937616.256 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.257 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1546937616.257 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937616.257 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937616.259 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1546937616.259 * [misc]backup-simplify:  Simplify (+ 1/2 1/2) into 1
1546937616.259 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 1 2)) (* 0 (/ 0 2)))) into -1/2
1546937616.259 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1546937616.261 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
1546937616.262 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937616.262 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937616.262 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937616.262 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937616.264 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
1546937616.264 * [misc]backup-simplify:  Simplify (+ 1/6 -1/6) into 0
1546937616.265 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 1 2)) (* -1/2 (/ 0 2)))) into 0
1546937616.265 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.268 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
1546937616.268 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937616.269 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937616.269 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937616.269 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937616.269 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937616.269 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937616.269 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937616.273 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
1546937616.273 * [misc]backup-simplify:  Simplify (+ 1/24 1/24) into 1/12
1546937616.273 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 1/12 2)) (* 0 (/ 0 2)) (* -1/2 (/ 1 2)) (* 0 (/ 0 2)))) into 5/24
1546937616.273 * [misc]backup-simplify:  Simplify 5/24 into 5/24
1546937616.274 * [misc]backup-simplify:  Simplify (+ (* 5/24 (pow x 4)) (+ (* -1/2 (pow x 2)) 1)) into (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2)))
1546937616.274 * [misc]backup-simplify:  Simplify (log (exp (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
1546937616.274 * [misc]approximate:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0
1546937616.274 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
1546937616.274 * [misc]taylor:  Taking taylor expansion of 2 in x
1546937616.274 * [misc]backup-simplify:  Simplify 2 into 2
1546937616.274 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
1546937616.274 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1546937616.274 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546937616.274 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.274 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.274 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.274 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546937616.274 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1546937616.274 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 x))) in x
1546937616.274 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x)) in x
1546937616.274 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546937616.274 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.274 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.274 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.274 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546937616.274 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937616.274 * [misc]backup-simplify:  Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
1546937616.274 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
1546937616.275 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
1546937616.275 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
1546937616.275 * [misc]taylor:  Taking taylor expansion of 2 in x
1546937616.275 * [misc]backup-simplify:  Simplify 2 into 2
1546937616.275 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
1546937616.275 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1546937616.275 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546937616.275 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.275 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.275 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.275 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546937616.275 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1546937616.275 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 x))) in x
1546937616.275 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x)) in x
1546937616.275 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546937616.275 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.275 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.275 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.275 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546937616.275 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937616.275 * [misc]backup-simplify:  Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
1546937616.275 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
1546937616.275 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
1546937616.276 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
1546937616.276 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.276 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1546937616.276 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.276 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.276 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1546937616.276 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.277 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.277 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1546937616.277 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.277 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.278 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1546937616.278 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.278 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.278 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1546937616.278 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.278 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.279 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1546937616.279 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.279 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))) into (/ 2 (+ (exp x) (exp (- x))))
1546937616.279 * [misc]backup-simplify:  Simplify (log (exp (/ 2 (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x)))))))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))
1546937616.279 * [misc]approximate:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0
1546937616.279 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
1546937616.279 * [misc]taylor:  Taking taylor expansion of 2 in x
1546937616.279 * [misc]backup-simplify:  Simplify 2 into 2
1546937616.279 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
1546937616.279 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1546937616.279 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546937616.279 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.279 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.279 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.280 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546937616.280 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1546937616.280 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1546937616.280 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1546937616.280 * [misc]taylor:  Taking taylor expansion of -1 in x
1546937616.280 * [misc]backup-simplify:  Simplify -1 into -1
1546937616.280 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.280 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.280 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.280 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1546937616.280 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1546937616.280 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
1546937616.280 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))
1546937616.280 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
1546937616.280 * [misc]taylor:  Taking taylor expansion of 2 in x
1546937616.280 * [misc]backup-simplify:  Simplify 2 into 2
1546937616.280 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
1546937616.280 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1546937616.280 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546937616.280 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.280 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.280 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.280 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546937616.280 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1546937616.280 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1546937616.280 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1546937616.280 * [misc]taylor:  Taking taylor expansion of -1 in x
1546937616.280 * [misc]backup-simplify:  Simplify -1 into -1
1546937616.280 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.280 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.280 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.281 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1546937616.281 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1546937616.281 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
1546937616.281 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))
1546937616.281 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))
1546937616.281 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.281 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1546937616.281 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.281 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.282 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1546937616.282 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.282 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.282 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1546937616.282 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.282 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.283 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1546937616.283 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.283 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.283 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1546937616.283 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.284 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.284 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1546937616.284 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.284 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))) into (/ 2 (+ (exp (* -1 x)) (exp x)))
1546937616.284 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
1546937616.284 * [misc]backup-simplify:  Simplify (exp (/ 2 (+ (exp x) (exp (- x))))) into (exp (/ 2 (+ (exp x) (exp (- x)))))
1546937616.284 * [misc]approximate:  Taking taylor expansion of (exp (/ 2 (+ (exp x) (exp (- x))))) in (x) around 0
1546937616.284 * [misc]taylor:  Taking taylor expansion of (exp (/ 2 (+ (exp x) (exp (- x))))) in x
1546937616.284 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in x
1546937616.284 * [misc]taylor:  Taking taylor expansion of 2 in x
1546937616.284 * [misc]backup-simplify:  Simplify 2 into 2
1546937616.284 * [misc]taylor:  Taking taylor expansion of (+ (exp x) (exp (- x))) in x
1546937616.284 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1546937616.284 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.285 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.285 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.285 * [misc]backup-simplify:  Simplify (exp 0) into 1
1546937616.285 * [misc]taylor:  Taking taylor expansion of (exp (- x)) in x
1546937616.285 * [misc]taylor:  Taking taylor expansion of (- x) in x
1546937616.285 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.285 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.285 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.285 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937616.285 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937616.285 * [misc]backup-simplify:  Simplify (exp 0) into 1
1546937616.285 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1546937616.285 * [misc]backup-simplify:  Simplify (/ 2 2) into 1
1546937616.285 * [misc]backup-simplify:  Simplify (exp 1) into E
1546937616.285 * [misc]taylor:  Taking taylor expansion of (exp (/ 2 (+ (exp x) (exp (- x))))) in x
1546937616.285 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in x
1546937616.285 * [misc]taylor:  Taking taylor expansion of 2 in x
1546937616.285 * [misc]backup-simplify:  Simplify 2 into 2
1546937616.285 * [misc]taylor:  Taking taylor expansion of (+ (exp x) (exp (- x))) in x
1546937616.285 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1546937616.285 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.285 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.285 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.285 * [misc]backup-simplify:  Simplify (exp 0) into 1
1546937616.285 * [misc]taylor:  Taking taylor expansion of (exp (- x)) in x
1546937616.285 * [misc]taylor:  Taking taylor expansion of (- x) in x
1546937616.285 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.285 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.285 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.285 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937616.286 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937616.286 * [misc]backup-simplify:  Simplify (exp 0) into 1
1546937616.286 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1546937616.286 * [misc]backup-simplify:  Simplify (/ 2 2) into 1
1546937616.286 * [misc]backup-simplify:  Simplify (exp 1) into E
1546937616.286 * [misc]backup-simplify:  Simplify E into E
1546937616.287 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1546937616.287 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937616.288 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
1546937616.288 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1546937616.288 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
1546937616.289 * [misc]backup-simplify:  Simplify (* (exp 1) (+ (* (/ (pow 0 1) 1)))) into 0
1546937616.289 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.292 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1546937616.292 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937616.292 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937616.294 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1546937616.294 * [misc]backup-simplify:  Simplify (+ 1/2 1/2) into 1
1546937616.294 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 1 2)) (* 0 (/ 0 2)))) into -1/2
1546937616.296 * [misc]backup-simplify:  Simplify (* (exp 1) (+ (* (/ (pow 0 2) 2)) (* (/ (pow -1/2 1) 1)))) into (* -1/2 E)
1546937616.296 * [misc]backup-simplify:  Simplify (* -1/2 E) into (* -1/2 E)
1546937616.299 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
1546937616.299 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937616.299 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937616.299 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937616.299 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937616.302 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
1546937616.302 * [misc]backup-simplify:  Simplify (+ 1/6 -1/6) into 0
1546937616.302 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 1 2)) (* -1/2 (/ 0 2)))) into 0
1546937616.304 * [misc]backup-simplify:  Simplify (* (exp 1) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow -1/2 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1546937616.304 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.308 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
1546937616.308 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937616.308 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937616.308 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937616.309 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937616.309 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937616.309 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937616.309 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937616.313 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
1546937616.313 * [misc]backup-simplify:  Simplify (+ 1/24 1/24) into 1/12
1546937616.313 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 1/12 2)) (* 0 (/ 0 2)) (* -1/2 (/ 1 2)) (* 0 (/ 0 2)))) into 5/24
1546937616.317 * [misc]backup-simplify:  Simplify (* (exp 1) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow -1/2 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow -1/2 2) 2)) (* (/ (pow 5/24 1) 1)))) into (* 1/3 E)
1546937616.317 * [misc]backup-simplify:  Simplify (* 1/3 E) into (* 1/3 E)
1546937616.318 * [misc]backup-simplify:  Simplify (+ (* (* 1/3 E) (pow x 4)) (+ (* (* -1/2 E) (pow x 2)) E)) into (- (+ (* 1/3 (* (pow x 4) E)) E) (* 1/2 (* (pow x 2) E)))
1546937616.318 * [misc]backup-simplify:  Simplify (exp (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) into (exp (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))
1546937616.318 * [misc]approximate:  Taking taylor expansion of (exp (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in (x) around 0
1546937616.318 * [misc]taylor:  Taking taylor expansion of (exp (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
1546937616.318 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
1546937616.318 * [misc]taylor:  Taking taylor expansion of 2 in x
1546937616.318 * [misc]backup-simplify:  Simplify 2 into 2
1546937616.318 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
1546937616.318 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1546937616.318 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546937616.318 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.318 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.318 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.318 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546937616.318 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1546937616.318 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 x))) in x
1546937616.318 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x)) in x
1546937616.319 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546937616.319 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.319 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.319 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.319 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546937616.319 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937616.319 * [misc]backup-simplify:  Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
1546937616.319 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
1546937616.319 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
1546937616.319 * [misc]backup-simplify:  Simplify (exp (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) into (exp (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))
1546937616.319 * [misc]taylor:  Taking taylor expansion of (exp (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) in x
1546937616.319 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
1546937616.319 * [misc]taylor:  Taking taylor expansion of 2 in x
1546937616.319 * [misc]backup-simplify:  Simplify 2 into 2
1546937616.319 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
1546937616.319 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1546937616.319 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546937616.319 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.319 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.319 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.319 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546937616.320 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1546937616.320 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 x))) in x
1546937616.320 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x)) in x
1546937616.320 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546937616.320 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.320 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.320 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.320 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546937616.320 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937616.320 * [misc]backup-simplify:  Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
1546937616.320 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
1546937616.320 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
1546937616.320 * [misc]backup-simplify:  Simplify (exp (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) into (exp (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))
1546937616.320 * [misc]backup-simplify:  Simplify (exp (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) into (exp (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))))
1546937616.320 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.321 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1546937616.321 * [misc]backup-simplify:  Simplify (* (exp (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (+ (* (/ (pow 0 1) 1)))) into 0
1546937616.321 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.322 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.322 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1546937616.323 * [misc]backup-simplify:  Simplify (* (exp (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1546937616.323 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.323 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.324 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1546937616.326 * [misc]backup-simplify:  Simplify (* (exp (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1546937616.326 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.326 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.327 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1546937616.330 * [misc]backup-simplify:  Simplify (* (exp (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1546937616.330 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.330 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.331 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1546937616.336 * [misc]backup-simplify:  Simplify (* (exp (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1546937616.336 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.336 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.337 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1546937616.345 * [misc]backup-simplify:  Simplify (* (exp (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1546937616.345 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.345 * [misc]backup-simplify:  Simplify (exp (/ 2 (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x))))))) into (exp (/ 2 (+ (exp x) (exp (- x)))))
1546937616.345 * [misc]backup-simplify:  Simplify (exp (/ 2 (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x))))))) into (exp (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))))
1546937616.345 * [misc]approximate:  Taking taylor expansion of (exp (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))) in (x) around 0
1546937616.345 * [misc]taylor:  Taking taylor expansion of (exp (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x
1546937616.345 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
1546937616.345 * [misc]taylor:  Taking taylor expansion of 2 in x
1546937616.345 * [misc]backup-simplify:  Simplify 2 into 2
1546937616.345 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
1546937616.345 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1546937616.345 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546937616.345 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.345 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.345 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.346 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546937616.346 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1546937616.346 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1546937616.346 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1546937616.346 * [misc]taylor:  Taking taylor expansion of -1 in x
1546937616.346 * [misc]backup-simplify:  Simplify -1 into -1
1546937616.346 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.346 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.346 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.346 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1546937616.346 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1546937616.346 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
1546937616.346 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))
1546937616.346 * [misc]backup-simplify:  Simplify (exp (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))) into (exp (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))))
1546937616.346 * [misc]taylor:  Taking taylor expansion of (exp (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))) in x
1546937616.346 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
1546937616.346 * [misc]taylor:  Taking taylor expansion of 2 in x
1546937616.346 * [misc]backup-simplify:  Simplify 2 into 2
1546937616.346 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
1546937616.346 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1546937616.346 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546937616.346 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.346 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.346 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.346 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546937616.346 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1546937616.347 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1546937616.347 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1546937616.347 * [misc]taylor:  Taking taylor expansion of -1 in x
1546937616.347 * [misc]backup-simplify:  Simplify -1 into -1
1546937616.347 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.347 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.347 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.347 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1546937616.347 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1546937616.347 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
1546937616.347 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))
1546937616.347 * [misc]backup-simplify:  Simplify (exp (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))) into (exp (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))))
1546937616.347 * [misc]backup-simplify:  Simplify (exp (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))) into (exp (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))))
1546937616.347 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.348 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1546937616.348 * [misc]backup-simplify:  Simplify (* (exp (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (+ (* (/ (pow 0 1) 1)))) into 0
1546937616.348 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.349 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.349 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1546937616.350 * [misc]backup-simplify:  Simplify (* (exp (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1546937616.350 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.350 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.351 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1546937616.352 * [misc]backup-simplify:  Simplify (* (exp (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1546937616.353 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.353 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.353 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1546937616.356 * [misc]backup-simplify:  Simplify (* (exp (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1546937616.356 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.357 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.357 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1546937616.364 * [misc]backup-simplify:  Simplify (* (exp (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1546937616.364 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.364 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.365 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1546937616.378 * [misc]backup-simplify:  Simplify (* (exp (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1546937616.378 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.379 * [misc]backup-simplify:  Simplify (exp (/ 2 (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x))))))) into (exp (/ 2 (+ (exp (* -1 x)) (exp x))))
1546937616.379 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2 1 1)
1546937616.379 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp x) (exp (- x)))) into (/ 2 (+ (exp x) (exp (- x))))
1546937616.379 * [misc]approximate:  Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in (x) around 0
1546937616.379 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in x
1546937616.379 * [misc]taylor:  Taking taylor expansion of 2 in x
1546937616.379 * [misc]backup-simplify:  Simplify 2 into 2
1546937616.379 * [misc]taylor:  Taking taylor expansion of (+ (exp x) (exp (- x))) in x
1546937616.379 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1546937616.379 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.379 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.379 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.379 * [misc]backup-simplify:  Simplify (exp 0) into 1
1546937616.379 * [misc]taylor:  Taking taylor expansion of (exp (- x)) in x
1546937616.379 * [misc]taylor:  Taking taylor expansion of (- x) in x
1546937616.379 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.379 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.379 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.379 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937616.379 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937616.379 * [misc]backup-simplify:  Simplify (exp 0) into 1
1546937616.380 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1546937616.380 * [misc]backup-simplify:  Simplify (/ 2 2) into 1
1546937616.380 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp x) (exp (- x)))) in x
1546937616.380 * [misc]taylor:  Taking taylor expansion of 2 in x
1546937616.380 * [misc]backup-simplify:  Simplify 2 into 2
1546937616.380 * [misc]taylor:  Taking taylor expansion of (+ (exp x) (exp (- x))) in x
1546937616.380 * [misc]taylor:  Taking taylor expansion of (exp x) in x
1546937616.380 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.380 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.380 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.380 * [misc]backup-simplify:  Simplify (exp 0) into 1
1546937616.380 * [misc]taylor:  Taking taylor expansion of (exp (- x)) in x
1546937616.380 * [misc]taylor:  Taking taylor expansion of (- x) in x
1546937616.380 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.380 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.380 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.380 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937616.380 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937616.380 * [misc]backup-simplify:  Simplify (exp 0) into 1
1546937616.381 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1546937616.381 * [misc]backup-simplify:  Simplify (/ 2 2) into 1
1546937616.381 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.382 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1546937616.382 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937616.384 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
1546937616.384 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1546937616.384 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
1546937616.384 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.386 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1546937616.386 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937616.386 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937616.389 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1546937616.389 * [misc]backup-simplify:  Simplify (+ 1/2 1/2) into 1
1546937616.389 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 1 2)) (* 0 (/ 0 2)))) into -1/2
1546937616.389 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1546937616.393 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
1546937616.393 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937616.394 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937616.394 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937616.394 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937616.397 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 3) 6)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into -1/6
1546937616.398 * [misc]backup-simplify:  Simplify (+ 1/6 -1/6) into 0
1546937616.398 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 1 2)) (* -1/2 (/ 0 2)))) into 0
1546937616.398 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.404 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
1546937616.404 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937616.404 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937616.405 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937616.405 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937616.405 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937616.405 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937616.405 * [misc]backup-simplify:  Simplify (- 0) into 0
1546937616.409 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 4) 24)) (* (/ (pow -1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow -1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
1546937616.410 * [misc]backup-simplify:  Simplify (+ 1/24 1/24) into 1/12
1546937616.410 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 1/12 2)) (* 0 (/ 0 2)) (* -1/2 (/ 1 2)) (* 0 (/ 0 2)))) into 5/24
1546937616.410 * [misc]backup-simplify:  Simplify 5/24 into 5/24
1546937616.410 * [misc]backup-simplify:  Simplify (+ (* 5/24 (pow x 4)) (+ (* -1/2 (pow x 2)) 1)) into (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2)))
1546937616.410 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
1546937616.410 * [misc]approximate:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in (x) around 0
1546937616.410 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
1546937616.410 * [misc]taylor:  Taking taylor expansion of 2 in x
1546937616.410 * [misc]backup-simplify:  Simplify 2 into 2
1546937616.410 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
1546937616.410 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1546937616.410 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546937616.410 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.410 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.410 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.410 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546937616.410 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1546937616.411 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 x))) in x
1546937616.411 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x)) in x
1546937616.411 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546937616.411 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.411 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.411 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.411 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546937616.411 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937616.411 * [misc]backup-simplify:  Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
1546937616.411 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
1546937616.411 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
1546937616.411 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) in x
1546937616.411 * [misc]taylor:  Taking taylor expansion of 2 in x
1546937616.411 * [misc]backup-simplify:  Simplify 2 into 2
1546937616.411 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) in x
1546937616.411 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1546937616.411 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546937616.411 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.411 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.411 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.411 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546937616.411 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1546937616.411 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 x))) in x
1546937616.411 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x)) in x
1546937616.411 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546937616.411 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.411 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.411 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.412 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546937616.412 * [misc]backup-simplify:  Simplify (- 1) into -1
1546937616.412 * [misc]backup-simplify:  Simplify (exp (- (/ 1 x))) into (exp (- (/ 1 x)))
1546937616.412 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (- (/ 1 x)))) into (+ (exp (/ 1 x)) (exp (- (/ 1 x))))
1546937616.412 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
1546937616.412 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) into (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))
1546937616.412 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.412 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1546937616.412 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.413 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.413 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1546937616.413 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.413 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.413 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1546937616.414 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.414 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.414 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1546937616.414 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.414 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.415 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1546937616.415 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.415 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.416 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (- (/ 1 x))))) (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (- (/ 1 x)))))))) into 0
1546937616.416 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.416 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 (/ 1 x))) (exp (- (/ 1 (/ 1 x)))))) into (/ 2 (+ (exp x) (exp (- x))))
1546937616.416 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 (- x))) (exp (- (/ 1 (- x)))))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))
1546937616.416 * [misc]approximate:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in (x) around 0
1546937616.416 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
1546937616.416 * [misc]taylor:  Taking taylor expansion of 2 in x
1546937616.416 * [misc]backup-simplify:  Simplify 2 into 2
1546937616.416 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
1546937616.416 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1546937616.416 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546937616.416 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.416 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.416 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.416 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546937616.416 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1546937616.416 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1546937616.416 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1546937616.416 * [misc]taylor:  Taking taylor expansion of -1 in x
1546937616.416 * [misc]backup-simplify:  Simplify -1 into -1
1546937616.416 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.416 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.416 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.416 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1546937616.416 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1546937616.417 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
1546937616.417 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))
1546937616.417 * [misc]taylor:  Taking taylor expansion of (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) in x
1546937616.417 * [misc]taylor:  Taking taylor expansion of 2 in x
1546937616.417 * [misc]backup-simplify:  Simplify 2 into 2
1546937616.417 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x
1546937616.417 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 x)) in x
1546937616.417 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546937616.417 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.417 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.417 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.417 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546937616.417 * [misc]backup-simplify:  Simplify (exp (/ 1 x)) into (exp (/ 1 x))
1546937616.417 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 x)) in x
1546937616.417 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1546937616.417 * [misc]taylor:  Taking taylor expansion of -1 in x
1546937616.417 * [misc]backup-simplify:  Simplify -1 into -1
1546937616.417 * [misc]taylor:  Taking taylor expansion of x in x
1546937616.417 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.417 * [misc]backup-simplify:  Simplify 1 into 1
1546937616.417 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1546937616.417 * [misc]backup-simplify:  Simplify (exp (/ -1 x)) into (exp (/ -1 x))
1546937616.417 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 x)) (exp (/ -1 x))) into (+ (exp (/ 1 x)) (exp (/ -1 x)))
1546937616.417 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))
1546937616.417 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) into (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x))))
1546937616.418 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.418 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1546937616.418 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.418 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.418 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1546937616.418 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.418 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.419 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1546937616.419 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.419 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.419 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1546937616.419 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.419 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.420 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1546937616.420 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.420 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546937616.421 * [misc]backup-simplify:  Simplify (- (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (+ (* (/ 2 (+ (exp (/ 1 x)) (exp (/ -1 x)))) (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))) (* 0 (/ 0 (+ (exp (/ 1 x)) (exp (/ -1 x))))))) into 0
1546937616.421 * [misc]backup-simplify:  Simplify 0 into 0
1546937616.421 * [misc]backup-simplify:  Simplify (/ 2 (+ (exp (/ 1 (/ 1 (- x)))) (exp (/ -1 (/ 1 (- x)))))) into (/ 2 (+ (exp (* -1 x)) (exp x)))
1546937616.421 * * * [misc]progress:  simplifying candidates
1546937616.421 * * * * [misc]progress:  [ 1 / 57 ] simplifiying candidate #<alt (λ (x) (+ (log (* (cbrt (exp (/ 2 (+ (exp x) (exp (- x)))))) (cbrt (exp (/ 2 (+ (exp x) (exp (- x)))))))) (log (cbrt (exp (/ 2 (+ (exp x) (exp (- x)))))))))>
1546937616.421 * [enter]simplify:  Simplifying (log (* (cbrt (exp (/ 2 (+ (exp x) (exp (- x)))))) (cbrt (exp (/ 2 (+ (exp x) (exp (- x))))))))
1546937616.421 * * [misc]simplify:  iters left: 6 (11 enodes)
1546937616.423 * * [misc]simplify:  iters left: 5 (16 enodes)
1546937616.425 * * [misc]simplify:  iters left: 4 (18 enodes)
1546937616.427 * [exit]simplify:  Simplified to (log (* (cbrt (exp (/ 2 (+ (exp x) (exp (- x)))))) (cbrt (exp (/ 2 (+ (exp x) (exp (- x))))))))
1546937616.427 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (log (* (cbrt (exp (/ 2 (+ (exp x) (exp (- x)))))) (cbrt (exp (/ 2 (+ (exp x) (exp (- x)))))))) (log (cbrt (exp (/ 2 (+ (exp x) (exp (- x)))))))))
1546937616.427 * * * * [misc]progress:  [ 2 / 57 ] simplifiying candidate #<alt (λ (x) (+ (log (sqrt (exp (/ 2 (+ (exp x) (exp (- x))))))) (log (sqrt (exp (/ 2 (+ (exp x) (exp (- x)))))))))>
1546937616.428 * [enter]simplify:  Simplifying (log (sqrt (exp (/ 2 (+ (exp x) (exp (- x)))))))
1546937616.428 * * [misc]simplify:  iters left: 6 (10 enodes)
1546937616.429 * * [misc]simplify:  iters left: 5 (13 enodes)
1546937616.431 * * [misc]simplify:  iters left: 4 (15 enodes)
1546937616.433 * [exit]simplify:  Simplified to (log (sqrt (exp (/ 2 (+ (exp x) (exp (- x)))))))
1546937616.433 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (log (sqrt (exp (/ 2 (+ (exp x) (exp (- x))))))) (log (sqrt (exp (/ 2 (+ (exp x) (exp (- x)))))))))
1546937616.433 * * * * [misc]progress:  [ 3 / 57 ] simplifiying candidate #<alt (λ (x) (+ (log 1) (log (exp (/ 2 (+ (exp x) (exp (- x))))))))>
1546937616.433 * [enter]simplify:  Simplifying (log 1)
1546937616.433 * * [misc]simplify:  iters left: 1 (2 enodes)
1546937616.434 * [exit]simplify:  Simplified to 0
1546937616.434 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ 0 (log (exp (/ 2 (+ (exp x) (exp (- x))))))))
1546937616.434 * * * * [misc]progress:  [ 4 / 57 ] simplifiying candidate #<alt (λ (x) (* 1 (log (exp (/ 2 (+ (exp x) (exp (- x))))))))>
1546937616.434 * * * * [misc]progress:  [ 5 / 57 ] simplifiying candidate #<alt (λ (x) (* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (log (exp (* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (cbrt (/ 2 (+ (exp x) (exp (- x))))))))))>
1546937616.434 * [enter]simplify:  Simplifying (cbrt (/ 2 (+ (exp x) (exp (- x)))))
1546937616.434 * * [misc]simplify:  iters left: 6 (8 enodes)
1546937616.436 * * [misc]simplify:  iters left: 5 (11 enodes)
1546937616.438 * * [misc]simplify:  iters left: 4 (13 enodes)
1546937616.441 * [exit]simplify:  Simplified to (cbrt (/ 2 (+ (exp x) (exp (- x)))))
1546937616.442 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (log (exp (* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (cbrt (/ 2 (+ (exp x) (exp (- x))))))))))
1546937616.442 * * * * [misc]progress:  [ 6 / 57 ] simplifiying candidate #<alt (λ (x) (* (sqrt (/ 2 (+ (exp x) (exp (- x))))) (log (exp (sqrt (/ 2 (+ (exp x) (exp (- x)))))))))>
1546937616.442 * [enter]simplify:  Simplifying (sqrt (/ 2 (+ (exp x) (exp (- x)))))
1546937616.442 * * [misc]simplify:  iters left: 6 (8 enodes)
1546937616.444 * * [misc]simplify:  iters left: 5 (11 enodes)
1546937616.447 * * [misc]simplify:  iters left: 4 (13 enodes)
1546937616.450 * [exit]simplify:  Simplified to (sqrt (/ 2 (+ (exp x) (exp (- x)))))
1546937616.450 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (/ 2 (+ (exp x) (exp (- x))))) (log (exp (sqrt (/ 2 (+ (exp x) (exp (- x)))))))))
1546937616.450 * * * * [misc]progress:  [ 7 / 57 ] simplifiying candidate #<alt (λ (x) (* (/ 2 (+ (exp x) (exp (- x)))) (log (exp 1))))>
1546937616.450 * [enter]simplify:  Simplifying (/ 2 (+ (exp x) (exp (- x))))
1546937616.450 * * [misc]simplify:  iters left: 6 (7 enodes)
1546937616.452 * * [misc]simplify:  iters left: 5 (10 enodes)
1546937616.454 * * [misc]simplify:  iters left: 4 (12 enodes)
1546937616.457 * [exit]simplify:  Simplified to (/ 2 (+ (exp x) (exp (- x))))
1546937616.457 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (/ 2 (+ (exp x) (exp (- x)))) (log (exp 1))))
1546937616.457 * * * * [misc]progress:  [ 8 / 57 ] simplifiying candidate #<alt (λ (x) (* (/ 1 (+ (exp x) (exp (- x)))) (log (exp 2))))>
1546937616.457 * [enter]simplify:  Simplifying (/ 1 (+ (exp x) (exp (- x))))
1546937616.458 * * [misc]simplify:  iters left: 6 (7 enodes)
1546937616.460 * * [misc]simplify:  iters left: 5 (11 enodes)
1546937616.462 * [exit]simplify:  Simplified to (/ 1 (+ (exp x) (exp (- x))))
1546937616.462 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (/ 1 (+ (exp x) (exp (- x)))) (log (exp 2))))
1546937616.462 * * * * [misc]progress:  [ 9 / 57 ] simplifiying candidate #<alt (λ (x) (* (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))) (log (exp (/ 2 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))))))>
1546937616.463 * [enter]simplify:  Simplifying (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))
1546937616.463 * * [misc]simplify:  iters left: 6 (9 enodes)
1546937616.466 * * [misc]simplify:  iters left: 5 (25 enodes)
1546937616.475 * * [misc]simplify:  iters left: 4 (55 enodes)
1546937616.490 * * [misc]simplify:  iters left: 3 (87 enodes)
1546937616.515 * * [misc]simplify:  iters left: 2 (168 enodes)
1546937616.567 * * [misc]simplify:  iters left: 1 (277 enodes)
1546937616.626 * [exit]simplify:  Simplified to (+ (exp (- (+ x x))) (+ -1 (* (exp x) (exp x))))
1546937616.626 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (+ (exp (- (+ x x))) (+ -1 (* (exp x) (exp x)))) (log (exp (/ 2 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))))))
1546937616.626 * * * * [misc]progress:  [ 10 / 57 ] simplifiying candidate #<alt (λ (x) (* (- (exp x) (exp (- x))) (log (exp (/ 2 (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))))))))>
1546937616.626 * [enter]simplify:  Simplifying (- (exp x) (exp (- x)))
1546937616.626 * * [misc]simplify:  iters left: 5 (5 enodes)
1546937616.628 * * [misc]simplify:  iters left: 4 (9 enodes)
1546937616.631 * * [misc]simplify:  iters left: 3 (15 enodes)
1546937616.634 * [exit]simplify:  Simplified to (+ (/ -1 (exp x)) (exp x))
1546937616.634 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (+ (/ -1 (exp x)) (exp x)) (log (exp (/ 2 (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))))))))
1546937616.634 * * * * [misc]progress:  [ 11 / 57 ] simplifiying candidate #<alt (λ (x) (pow (log (exp (/ 2 (+ (exp x) (exp (- x)))))) 1))>
1546937616.634 * * * * [misc]progress:  [ 12 / 57 ] simplifiying candidate #<alt (λ (x) (/ 2 (+ (exp x) (exp (- x)))))>
1546937616.634 * * * * [misc]progress:  [ 13 / 57 ] simplifiying candidate #<alt (λ (x) (exp (log (log (exp (/ 2 (+ (exp x) (exp (- x)))))))))>
1546937616.634 * * * * [misc]progress:  [ 14 / 57 ] simplifiying candidate #<alt (λ (x) (log (exp (log (exp (/ 2 (+ (exp x) (exp (- x)))))))))>
1546937616.634 * * * * [misc]progress:  [ 15 / 57 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (log (exp (/ 2 (+ (exp x) (exp (- x))))))) (cbrt (log (exp (/ 2 (+ (exp x) (exp (- x)))))))) (cbrt (log (exp (/ 2 (+ (exp x) (exp (- x)))))))))>
1546937616.635 * * * * [misc]progress:  [ 16 / 57 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (log (exp (/ 2 (+ (exp x) (exp (- x)))))) (log (exp (/ 2 (+ (exp x) (exp (- x))))))) (log (exp (/ 2 (+ (exp x) (exp (- x)))))))))>
1546937616.635 * * * * [misc]progress:  [ 17 / 57 ] simplifiying candidate #<alt (λ (x) (* (sqrt (log (exp (/ 2 (+ (exp x) (exp (- x))))))) (sqrt (log (exp (/ 2 (+ (exp x) (exp (- x)))))))))>
1546937616.635 * * * * [misc]progress:  [ 18 / 57 ] simplifiying candidate #<alt (λ (x) (* 1 (log (exp (/ 2 (+ (exp x) (exp (- x))))))))>
1546937616.635 * * * * [misc]progress:  [ 19 / 57 ] simplifiying candidate #<alt (λ (x) (log (pow (exp (/ 2 (+ (exp x) (exp (- x))))) 1)))>
1546937616.635 * * * * [misc]progress:  [ 20 / 57 ] simplifiying candidate #<alt (λ (x) (log (pow (exp (* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (cbrt (/ 2 (+ (exp x) (exp (- x))))))) (cbrt (/ 2 (+ (exp x) (exp (- x))))))))>
1546937616.635 * [enter]simplify:  Simplifying (exp (* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (cbrt (/ 2 (+ (exp x) (exp (- x)))))))
1546937616.635 * * [misc]simplify:  iters left: 6 (10 enodes)
1546937616.638 * * [misc]simplify:  iters left: 5 (15 enodes)
1546937616.643 * * [misc]simplify:  iters left: 4 (17 enodes)
1546937616.645 * [exit]simplify:  Simplified to (exp (* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (cbrt (/ 2 (+ (exp x) (exp (- x)))))))
1546937616.645 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (log (pow (exp (* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (cbrt (/ 2 (+ (exp x) (exp (- x))))))) (cbrt (/ 2 (+ (exp x) (exp (- x))))))))
1546937616.645 * * * * [misc]progress:  [ 21 / 57 ] simplifiying candidate #<alt (λ (x) (log (pow (exp (sqrt (/ 2 (+ (exp x) (exp (- x)))))) (sqrt (/ 2 (+ (exp x) (exp (- x))))))))>
1546937616.645 * [enter]simplify:  Simplifying (exp (sqrt (/ 2 (+ (exp x) (exp (- x))))))
1546937616.645 * * [misc]simplify:  iters left: 6 (9 enodes)
1546937616.647 * * [misc]simplify:  iters left: 5 (12 enodes)
1546937616.648 * * [misc]simplify:  iters left: 4 (14 enodes)
1546937616.650 * [exit]simplify:  Simplified to (exp (sqrt (/ 2 (+ (exp x) (exp (- x))))))
1546937616.650 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (log (pow (exp (sqrt (/ 2 (+ (exp x) (exp (- x)))))) (sqrt (/ 2 (+ (exp x) (exp (- x))))))))
1546937616.650 * * * * [misc]progress:  [ 22 / 57 ] simplifiying candidate #<alt (λ (x) (log (pow (exp 1) (/ 2 (+ (exp x) (exp (- x)))))))>
1546937616.650 * [enter]simplify:  Simplifying (exp 1)
1546937616.650 * * [misc]simplify:  iters left: 1 (2 enodes)
1546937616.651 * [exit]simplify:  Simplified to E
1546937616.651 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (log (pow E (/ 2 (+ (exp x) (exp (- x)))))))
1546937616.651 * * * * [misc]progress:  [ 23 / 57 ] simplifiying candidate #<alt (λ (x) (log (pow (exp 2) (/ 1 (+ (exp x) (exp (- x)))))))>
1546937616.651 * [enter]simplify:  Simplifying (exp 2)
1546937616.651 * * [misc]simplify:  iters left: 1 (2 enodes)
1546937616.652 * [exit]simplify:  Simplified to (exp 2)
1546937616.652 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (log (pow (exp 2) (/ 1 (+ (exp x) (exp (- x)))))))
1546937616.652 * * * * [misc]progress:  [ 24 / 57 ] simplifiying candidate #<alt (λ (x) (log (pow (exp (/ 2 (+ (pow (exp x) 3) (pow (exp (- x)) 3)))) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))))))>
1546937616.652 * [enter]simplify:  Simplifying (exp (/ 2 (+ (pow (exp x) 3) (pow (exp (- x)) 3))))
1546937616.652 * * [misc]simplify:  iters left: 6 (11 enodes)
1546937616.654 * * [misc]simplify:  iters left: 5 (20 enodes)
1546937616.657 * * [misc]simplify:  iters left: 4 (36 enodes)
1546937616.663 * * [misc]simplify:  iters left: 3 (55 enodes)
1546937616.672 * * [misc]simplify:  iters left: 2 (96 enodes)
1546937616.690 * * [misc]simplify:  iters left: 1 (158 enodes)
1546937616.745 * [exit]simplify:  Simplified to (exp (/ 2 (+ (exp (- (- x) (+ x x))) (pow (exp x) 3))))
1546937616.745 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (log (pow (exp (/ 2 (+ (exp (- (- x) (+ x x))) (pow (exp x) 3)))) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x))))))))
1546937616.745 * * * * [misc]progress:  [ 25 / 57 ] simplifiying candidate #<alt (λ (x) (log (pow (exp (/ 2 (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x)))))) (- (exp x) (exp (- x))))))>
1546937616.746 * [enter]simplify:  Simplifying (exp (/ 2 (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))))
1546937616.746 * * [misc]simplify:  iters left: 6 (10 enodes)
1546937616.749 * * [misc]simplify:  iters left: 5 (21 enodes)
1546937616.755 * * [misc]simplify:  iters left: 4 (38 enodes)
1546937616.768 * * [misc]simplify:  iters left: 3 (68 enodes)
1546937616.789 * * [misc]simplify:  iters left: 2 (167 enodes)
1546937616.870 * * [misc]simplify:  iters left: 1 (365 enodes)
1546937616.992 * [exit]simplify:  Simplified to (exp (/ 2 (+ (/ (/ -1 (exp x)) (exp x)) (* (exp x) (exp x)))))
1546937616.992 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (log (pow (exp (/ 2 (+ (/ (/ -1 (exp x)) (exp x)) (* (exp x) (exp x))))) (- (exp x) (exp (- x))))))
1546937616.992 * * * * [misc]progress:  [ 26 / 57 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 2 (+ (exp x) (exp (- x)))))))>
1546937616.992 * [enter]simplify:  Simplifying (/ 2 (+ (exp x) (exp (- x))))
1546937616.992 * * [misc]simplify:  iters left: 6 (7 enodes)
1546937616.994 * * [misc]simplify:  iters left: 5 (10 enodes)
1546937616.995 * * [misc]simplify:  iters left: 4 (12 enodes)
1546937616.996 * [exit]simplify:  Simplified to (/ 2 (+ (exp x) (exp (- x))))
1546937616.996 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (log (exp (/ 2 (+ (exp x) (exp (- x)))))))
1546937616.996 * * * * [misc]progress:  [ 27 / 57 ] simplifiying candidate #<alt (λ (x) (log (exp (log (exp (/ 2 (+ (exp x) (exp (- x)))))))))>
1546937616.997 * * * * [misc]progress:  [ 28 / 57 ] simplifiying candidate #<alt (λ (x) (log (log (exp (exp (/ 2 (+ (exp x) (exp (- x)))))))))>
1546937616.997 * * * * [misc]progress:  [ 29 / 57 ] simplifiying candidate #<alt (λ (x) (log (* (* (cbrt (exp (/ 2 (+ (exp x) (exp (- x)))))) (cbrt (exp (/ 2 (+ (exp x) (exp (- x))))))) (cbrt (exp (/ 2 (+ (exp x) (exp (- x)))))))))>
1546937616.997 * * * * [misc]progress:  [ 30 / 57 ] simplifiying candidate #<alt (λ (x) (log (cbrt (* (* (exp (/ 2 (+ (exp x) (exp (- x))))) (exp (/ 2 (+ (exp x) (exp (- x)))))) (exp (/ 2 (+ (exp x) (exp (- x)))))))))>
1546937616.997 * * * * [misc]progress:  [ 31 / 57 ] simplifiying candidate #<alt (λ (x) (log (* (sqrt (exp (/ 2 (+ (exp x) (exp (- x)))))) (sqrt (exp (/ 2 (+ (exp x) (exp (- x)))))))))>
1546937616.997 * * * * [misc]progress:  [ 32 / 57 ] simplifiying candidate #<alt (λ (x) (log (* 1 (exp (/ 2 (+ (exp x) (exp (- x))))))))>
1546937616.997 * * * * [misc]progress:  [ 33 / 57 ] simplifiying candidate #<alt (λ (x) (log (exp (pow (/ 2 (+ (exp x) (exp (- x)))) 1))))>
1546937616.997 * * * * [misc]progress:  [ 34 / 57 ] simplifiying candidate #<alt (λ (x) (log (exp (exp (log (/ 2 (+ (exp x) (exp (- x)))))))))>
1546937616.997 * * * * [misc]progress:  [ 35 / 57 ] simplifiying candidate #<alt (λ (x) (log (exp (log (exp (/ 2 (+ (exp x) (exp (- x)))))))))>
1546937616.997 * * * * [misc]progress:  [ 36 / 57 ] simplifiying candidate #<alt (λ (x) (log (exp (* (* (cbrt (/ 2 (+ (exp x) (exp (- x))))) (cbrt (/ 2 (+ (exp x) (exp (- x)))))) (cbrt (/ 2 (+ (exp x) (exp (- x)))))))))>
1546937616.997 * * * * [misc]progress:  [ 37 / 57 ] simplifiying candidate #<alt (λ (x) (log (exp (cbrt (* (* (/ 2 (+ (exp x) (exp (- x)))) (/ 2 (+ (exp x) (exp (- x))))) (/ 2 (+ (exp x) (exp (- x)))))))))>
1546937616.997 * * * * [misc]progress:  [ 38 / 57 ] simplifiying candidate #<alt (λ (x) (log (exp (* (sqrt (/ 2 (+ (exp x) (exp (- x))))) (sqrt (/ 2 (+ (exp x) (exp (- x)))))))))>
1546937616.997 * * * * [misc]progress:  [ 39 / 57 ] simplifiying candidate #<alt (λ (x) (log (exp (/ (- 2) (- (+ (exp x) (exp (- x))))))))>
1546937616.997 * * * * [misc]progress:  [ 40 / 57 ] simplifiying candidate #<alt (λ (x) (log (exp (* 1 (/ 2 (+ (exp x) (exp (- x))))))))>
1546937616.997 * * * * [misc]progress:  [ 41 / 57 ] simplifiying candidate #<alt (λ (x) (log (exp (* 2 (/ 1 (+ (exp x) (exp (- x))))))))>
1546937616.997 * * * * [misc]progress:  [ 42 / 57 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 1 (/ (+ (exp x) (exp (- x))) 2)))))>
1546937616.997 * * * * [misc]progress:  [ 43 / 57 ] simplifiying candidate #<alt (λ (x) (log (exp (/ (/ 2 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (cbrt (+ (exp x) (exp (- x))))))))>
1546937616.997 * [enter]simplify:  Simplifying (cbrt (+ (exp x) (exp (- x))))
1546937616.997 * * [misc]simplify:  iters left: 6 (6 enodes)
1546937616.998 * * [misc]simplify:  iters left: 5 (9 enodes)
1546937616.999 * * [misc]simplify:  iters left: 4 (11 enodes)
1546937617.001 * [exit]simplify:  Simplified to (cbrt (+ (exp x) (exp (- x))))
1546937617.001 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (log (exp (/ (/ 2 (* (cbrt (+ (exp x) (exp (- x)))) (cbrt (+ (exp x) (exp (- x)))))) (cbrt (+ (exp x) (exp (- x))))))))
1546937617.001 * * * * [misc]progress:  [ 44 / 57 ] simplifiying candidate #<alt (λ (x) (log (exp (/ (/ 2 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))))))>
1546937617.001 * [enter]simplify:  Simplifying (sqrt (+ (exp x) (exp (- x))))
1546937617.001 * * [misc]simplify:  iters left: 6 (6 enodes)
1546937617.002 * * [misc]simplify:  iters left: 5 (9 enodes)
1546937617.003 * * [misc]simplify:  iters left: 4 (11 enodes)
1546937617.004 * [exit]simplify:  Simplified to (sqrt (+ (exp x) (exp (- x))))
1546937617.004 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (log (exp (/ (/ 2 (sqrt (+ (exp x) (exp (- x))))) (sqrt (+ (exp x) (exp (- x))))))))
1546937617.004 * * * * [misc]progress:  [ 45 / 57 ] simplifiying candidate #<alt (λ (x) (log (exp (/ (/ 2 1) (+ (exp x) (exp (- x)))))))>
1546937617.005 * [enter]simplify:  Simplifying (+ (exp x) (exp (- x)))
1546937617.005 * * [misc]simplify:  iters left: 5 (5 enodes)
1546937617.005 * * [misc]simplify:  iters left: 4 (8 enodes)
1546937617.006 * * [misc]simplify:  iters left: 3 (10 enodes)
1546937617.008 * [exit]simplify:  Simplified to (+ (exp x) (exp (- x)))
1546937617.008 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (log (exp (/ (/ 2 1) (+ (exp x) (exp (- x)))))))
1546937617.008 * * * * [misc]progress:  [ 46 / 57 ] simplifiying candidate #<alt (λ (x) (log (exp (/ (/ 2 1) (+ (exp x) (exp (- x)))))))>
1546937617.008 * [enter]simplify:  Simplifying (+ (exp x) (exp (- x)))
1546937617.008 * * [misc]simplify:  iters left: 5 (5 enodes)
1546937617.009 * * [misc]simplify:  iters left: 4 (8 enodes)
1546937617.010 * * [misc]simplify:  iters left: 3 (10 enodes)
1546937617.011 * [exit]simplify:  Simplified to (+ (exp x) (exp (- x)))
1546937617.011 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (log (exp (/ (/ 2 1) (+ (exp x) (exp (- x)))))))
1546937617.011 * * * * [misc]progress:  [ 47 / 57 ] simplifiying candidate #<alt (λ (x) (log (exp (* (/ 2 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))))))>
1546937617.011 * [enter]simplify:  Simplifying (+ (* (exp x) (exp x)) (- (* (exp (- x)) (exp (- x))) (* (exp x) (exp (- x)))))
1546937617.011 * * [misc]simplify:  iters left: 6 (9 enodes)
1546937617.013 * * [misc]simplify:  iters left: 5 (25 enodes)
1546937617.018 * * [misc]simplify:  iters left: 4 (55 enodes)
1546937617.031 * * [misc]simplify:  iters left: 3 (87 enodes)
1546937617.052 * * [misc]simplify:  iters left: 2 (168 enodes)
1546937617.086 * * [misc]simplify:  iters left: 1 (277 enodes)
1546937617.188 * [exit]simplify:  Simplified to (+ (exp (- (+ x x))) (+ -1 (* (exp x) (exp x))))
1546937617.189 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (log (exp (* (/ 2 (+ (pow (exp x) 3) (pow (exp (- x)) 3))) (+ (exp (- (+ x x))) (+ -1 (* (exp x) (exp x))))))))
1546937617.189 * * * * [misc]progress:  [ 48 / 57 ] simplifiying candidate #<alt (λ (x) (log (exp (* (/ 2 (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (- (exp x) (exp (- x)))))))>
1546937617.189 * [enter]simplify:  Simplifying (- (exp x) (exp (- x)))
1546937617.189 * * [misc]simplify:  iters left: 5 (5 enodes)
1546937617.191 * * [misc]simplify:  iters left: 4 (9 enodes)
1546937617.194 * * [misc]simplify:  iters left: 3 (15 enodes)
1546937617.197 * [exit]simplify:  Simplified to (+ (/ -1 (exp x)) (exp x))
1546937617.197 * [misc]simplify:  Simplified (2 1 1 2) to (λ (x) (log (exp (* (/ 2 (- (* (exp x) (exp x)) (* (exp (- x)) (exp (- x))))) (+ (/ -1 (exp x)) (exp x))))))
1546937617.197 * * * * [misc]progress:  [ 49 / 57 ] simplifiying candidate #<alt (λ (x) (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2))))>
1546937617.197 * [enter]simplify:  Simplifying (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2)))
1546937617.197 * * [misc]simplify:  iters left: 6 (12 enodes)
1546937617.201 * * [misc]simplify:  iters left: 5 (22 enodes)
1546937617.208 * * [misc]simplify:  iters left: 4 (41 enodes)
1546937617.216 * * [misc]simplify:  iters left: 3 (55 enodes)
1546937617.223 * * [misc]simplify:  iters left: 2 (63 enodes)
1546937617.232 * * [misc]simplify:  iters left: 1 (72 enodes)
1546937617.250 * [exit]simplify:  Simplified to (- (* (pow x 4) 5/24) (- (* (* x x) 1/2) 1))
1546937617.250 * [misc]simplify:  Simplified (2) to (λ (x) (- (* (pow x 4) 5/24) (- (* (* x x) 1/2) 1)))
1546937617.250 * * * * [misc]progress:  [ 50 / 57 ] simplifiying candidate #<alt (λ (x) (/ 2 (+ (exp x) (exp (- x)))))>
1546937617.250 * [enter]simplify:  Simplifying (/ 2 (+ (exp x) (exp (- x))))
1546937617.251 * * [misc]simplify:  iters left: 6 (7 enodes)
1546937617.253 * * [misc]simplify:  iters left: 5 (10 enodes)
1546937617.256 * * [misc]simplify:  iters left: 4 (12 enodes)
1546937617.258 * [exit]simplify:  Simplified to (/ 2 (+ (exp x) (exp (- x))))
1546937617.258 * [misc]simplify:  Simplified (2) to (λ (x) (/ 2 (+ (exp x) (exp (- x)))))
1546937617.259 * * * * [misc]progress:  [ 51 / 57 ] simplifiying candidate #<alt (λ (x) (/ 2 (+ (exp (* -1 x)) (exp x))))>
1546937617.259 * [enter]simplify:  Simplifying (/ 2 (+ (exp (* -1 x)) (exp x)))
1546937617.259 * * [misc]simplify:  iters left: 6 (8 enodes)
1546937617.262 * * [misc]simplify:  iters left: 5 (13 enodes)
1546937617.265 * * [misc]simplify:  iters left: 4 (15 enodes)
1546937617.267 * * [misc]simplify:  iters left: 3 (18 enodes)
1546937617.269 * [exit]simplify:  Simplified to (/ 2 (+ (exp x) (exp (- x))))
1546937617.269 * [misc]simplify:  Simplified (2) to (λ (x) (/ 2 (+ (exp x) (exp (- x)))))
1546937617.270 * * * * [misc]progress:  [ 52 / 57 ] simplifiying candidate #<alt (λ (x) (log (- (+ (* 1/3 (* (pow x 4) E)) E) (* 1/2 (* (pow x 2) E)))))>
1546937617.270 * [enter]simplify:  Simplifying (- (+ (* 1/3 (* (pow x 4) E)) E) (* 1/2 (* (pow x 2) E)))
1546937617.270 * * [misc]simplify:  iters left: 6 (14 enodes)
1546937617.272 * * [misc]simplify:  iters left: 5 (30 enodes)
1546937617.277 * * [misc]simplify:  iters left: 4 (71 enodes)
1546937617.291 * * [misc]simplify:  iters left: 3 (134 enodes)
1546937617.324 * * [misc]simplify:  iters left: 2 (212 enodes)
1546937617.382 * * [misc]simplify:  iters left: 1 (264 enodes)
1546937617.423 * [exit]simplify:  Simplified to (- (+ (* (* E 1/3) (pow x 4)) E) (* (* E 1/2) (* x x)))
1546937617.423 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (- (+ (* (* E 1/3) (pow x 4)) E) (* (* E 1/2) (* x x)))))
1546937617.423 * * * * [misc]progress:  [ 53 / 57 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 2 (+ (exp x) (exp (- x)))))))>
1546937617.424 * [enter]simplify:  Simplifying (exp (/ 2 (+ (exp x) (exp (- x)))))
1546937617.424 * * [misc]simplify:  iters left: 6 (8 enodes)
1546937617.426 * * [misc]simplify:  iters left: 5 (11 enodes)
1546937617.429 * * [misc]simplify:  iters left: 4 (13 enodes)
1546937617.432 * [exit]simplify:  Simplified to (exp (/ 2 (+ (exp x) (exp (- x)))))
1546937617.432 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (exp (/ 2 (+ (exp x) (exp (- x)))))))
1546937617.432 * * * * [misc]progress:  [ 54 / 57 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 2 (+ (exp (* -1 x)) (exp x))))))>
1546937617.433 * [enter]simplify:  Simplifying (exp (/ 2 (+ (exp (* -1 x)) (exp x))))
1546937617.433 * * [misc]simplify:  iters left: 6 (9 enodes)
1546937617.436 * * [misc]simplify:  iters left: 5 (14 enodes)
1546937617.440 * * [misc]simplify:  iters left: 4 (16 enodes)
1546937617.444 * * [misc]simplify:  iters left: 3 (19 enodes)
1546937617.448 * [exit]simplify:  Simplified to (exp (/ 2 (+ (exp x) (exp (- x)))))
1546937617.448 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (exp (/ 2 (+ (exp x) (exp (- x)))))))
1546937617.448 * * * * [misc]progress:  [ 55 / 57 ] simplifiying candidate #<alt (λ (x) (log (exp (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2))))))>
1546937617.448 * [enter]simplify:  Simplifying (- (+ (* 5/24 (pow x 4)) 1) (* 1/2 (pow x 2)))
1546937617.448 * * [misc]simplify:  iters left: 6 (12 enodes)
1546937617.450 * * [misc]simplify:  iters left: 5 (22 enodes)
1546937617.454 * * [misc]simplify:  iters left: 4 (41 enodes)
1546937617.460 * * [misc]simplify:  iters left: 3 (55 enodes)
1546937617.467 * * [misc]simplify:  iters left: 2 (63 enodes)
1546937617.478 * * [misc]simplify:  iters left: 1 (72 enodes)
1546937617.496 * [exit]simplify:  Simplified to (- (* (pow x 4) 5/24) (- (* (* x x) 1/2) 1))
1546937617.496 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (log (exp (- (* (pow x 4) 5/24) (- (* (* x x) 1/2) 1)))))
1546937617.496 * * * * [misc]progress:  [ 56 / 57 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 2 (+ (exp x) (exp (- x)))))))>
1546937617.496 * [enter]simplify:  Simplifying (/ 2 (+ (exp x) (exp (- x))))
1546937617.497 * * [misc]simplify:  iters left: 6 (7 enodes)
1546937617.499 * * [misc]simplify:  iters left: 5 (10 enodes)
1546937617.501 * * [misc]simplify:  iters left: 4 (12 enodes)
1546937617.504 * [exit]simplify:  Simplified to (/ 2 (+ (exp x) (exp (- x))))
1546937617.504 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (log (exp (/ 2 (+ (exp x) (exp (- x)))))))
1546937617.504 * * * * [misc]progress:  [ 57 / 57 ] simplifiying candidate #<alt (λ (x) (log (exp (/ 2 (+ (exp (* -1 x)) (exp x))))))>
1546937617.505 * [enter]simplify:  Simplifying (/ 2 (+ (exp (* -1 x)) (exp x)))
1546937617.505 * * [misc]simplify:  iters left: 6 (8 enodes)
1546937617.508 * * [misc]simplify:  iters left: 5 (13 enodes)
1546937617.512 * * [misc]simplify:  iters left: 4 (15 enodes)
1546937617.516 * * [misc]simplify:  iters left: 3 (18 enodes)
1546937617.520 * [exit]simplify:  Simplified to (/ 2 (+ (exp x) (exp (- x))))
1546937617.520 * [misc]simplify:  Simplified (2 1 1) to (λ (x) (log (exp (/ 2 (+ (exp x) (exp (- x)))))))
1546937617.521 * * * [misc]progress:  adding candidates to table
1546937618.021 * [misc]progress:  [Phase 3 of 3] Extracting.
1546937618.021 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (/ 2 (+ (exp x) (exp (- x)))))> #<alt (λ (x) (log (exp (/ 2 (+ (exp x) (exp (- x)))))))>)
1546937618.022 * * * [misc]regime-changes:  Trying 3 branch expressions: (x (+ (exp x) (exp (- x))) (/ 2 (+ (exp x) (exp (- x)))))
1546937618.022 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (/ 2 (+ (exp x) (exp (- x)))))> #<alt (λ (x) (log (exp (/ 2 (+ (exp x) (exp (- x)))))))>)
1546937618.054 * * * * [misc]regimes:  Trying to branch on (+ (exp x) (exp (- x))) from (#<alt (λ (x) (/ 2 (+ (exp x) (exp (- x)))))> #<alt (λ (x) (log (exp (/ 2 (+ (exp x) (exp (- x)))))))>)
1546937618.096 * * * * [misc]regimes:  Trying to branch on (/ 2 (+ (exp x) (exp (- x)))) from (#<alt (λ (x) (/ 2 (+ (exp x) (exp (- x)))))> #<alt (λ (x) (log (exp (/ 2 (+ (exp x) (exp (- x)))))))>)
1546937618.137 * * * [misc]regime:  Found split indices: #<option (#s(si 0 256))>
1546937618.137 * [enter]simplify:  Simplifying (/ 2 (+ (exp x) (exp (- x))))
1546937618.137 * * [misc]simplify:  iters left: 6 (7 enodes)
1546937618.138 * * [misc]simplify:  iters left: 5 (8 enodes)
1546937618.138 * [exit]simplify:  Simplified to (/ 2 (+ (exp x) (exp (- x))))
1546937618.138 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1546937618.945 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546937618.947 * * * * [exit]points:  Sampled 8000 points with exact outputs
1546937619.142 * [misc]regime-testing:  Baseline error score: 0.008896240625180291
1546937619.143 * [misc]regime-testing:  Oracle error score: 0.0071462406251802885
1546937619.144 * [misc]regime-testing:  End program error score: 0.008896240625180291