1545035452.800 * [misc]progress:  [Phase 1 of 3] Setting up.
1545035452.800 * * * [misc]progress:  [1/2] Preparing points
1545035452.800 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545035453.097 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545035453.098 * * * * [misc]points:  Sampling 171 additional inputs, on iter 1 have 85 / 256
1545035453.329 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545035453.329 * * * * [misc]points:  Sampling 104 additional inputs, on iter 2 have 152 / 256
1545035453.428 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545035453.428 * * * * [misc]points:  Sampling 73 additional inputs, on iter 3 have 183 / 256
1545035453.520 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545035453.520 * * * * [misc]points:  Sampling 48 additional inputs, on iter 4 have 208 / 256
1545035453.581 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545035453.581 * * * * [misc]points:  Sampling 33 additional inputs, on iter 5 have 223 / 256
1545035453.612 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545035453.612 * * * * [misc]points:  Sampling 19 additional inputs, on iter 6 have 237 / 256
1545035453.635 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545035453.635 * * * * [misc]points:  Sampling 14 additional inputs, on iter 7 have 242 / 256
1545035453.647 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545035453.647 * * * * [misc]points:  Sampling 10 additional inputs, on iter 8 have 246 / 256
1545035453.657 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545035453.657 * * * * [misc]points:  Sampling 4 additional inputs, on iter 9 have 252 / 256
1545035453.659 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545035453.659 * * * * [misc]points:  Sampling 4 additional inputs, on iter 10 have 253 / 256
1545035453.664 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545035453.664 * * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 254 / 256
1545035453.670 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545035453.670 * * * * [exit]points:  Sampled 256 points with exact outputs
1545035453.670 * * * [misc]progress:  [2/2] Setting up program.
1545035453.674 * [misc]progress:  [Phase 2 of 3] Improving.
1545035453.675 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545035453.676 * * [misc]simplify:  iters left: 2 (5 enodes)
1545035453.679 * * [misc]simplify:  iters left: 1 (11 enodes)
1545035453.682 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545035453.717 * * [misc]progress:  iteration 1 / 4
1545035453.717 * * * [misc]progress:  picking best candidate
1545035453.723 * * * * [misc]pick:  Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545035453.723 * * * [misc]progress:  localizing error
1545035453.750 * * * [misc]progress:  generating rewritten candidates
1545035453.750 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
1545035453.752 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1)
1545035453.753 * * * [misc]progress:  generating series expansions
1545035453.754 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
1545035453.757 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035453.757 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545035453.758 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545035453.760 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035453.760 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545035453.761 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035453.761 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545035453.761 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035453.761 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545035453.761 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035453.761 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035453.762 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035453.762 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.762 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.762 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.762 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035453.762 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.762 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.762 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.762 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.762 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035453.762 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.762 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.762 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035453.766 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035453.766 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545035453.766 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545035453.766 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035453.766 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545035453.767 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035453.767 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545035453.767 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035453.767 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545035453.767 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035453.767 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035453.767 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035453.767 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.767 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.767 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.767 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035453.767 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.767 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.767 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.767 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.768 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035453.768 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.768 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.768 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545035453.769 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035453.769 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545035453.769 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545035453.769 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035453.769 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545035453.769 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035453.769 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545035453.769 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035453.769 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545035453.769 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035453.770 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035453.770 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035453.770 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.770 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.770 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.770 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035453.770 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.770 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.770 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.770 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.770 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035453.770 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.770 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.770 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545035453.770 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1)
1545035453.770 * [misc]backup-simplify:  Simplify (cosh c) into (cosh c)
1545035453.770 * [misc]approximate:  Taking taylor expansion of (cosh c) in (c) around 0
1545035453.770 * [misc]taylor:  Taking taylor expansion of (cosh c) in c
1545035453.771 * [misc]taylor:  Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1545035453.771 * [misc]taylor:  Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1545035453.771 * [misc]taylor:  Taking taylor expansion of (exp c) in c
1545035453.771 * [misc]taylor:  Taking taylor expansion of c in c
1545035453.771 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.771 * [misc]backup-simplify:  Simplify 1 into 1
1545035453.771 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545035453.771 * [misc]taylor:  Taking taylor expansion of (exp (- c)) in c
1545035453.771 * [misc]taylor:  Taking taylor expansion of (- c) in c
1545035453.771 * [misc]taylor:  Taking taylor expansion of c in c
1545035453.771 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.771 * [misc]backup-simplify:  Simplify 1 into 1
1545035453.771 * [misc]backup-simplify:  Simplify (- 0) into 0
1545035453.771 * [misc]backup-simplify:  Simplify (- 1) into -1
1545035453.772 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545035453.772 * [misc]taylor:  Taking taylor expansion of 2 in c
1545035453.772 * [misc]backup-simplify:  Simplify 2 into 2
1545035453.772 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1545035453.772 * [misc]backup-simplify:  Simplify (/ 2 2) into 1
1545035453.772 * [misc]taylor:  Taking taylor expansion of (cosh c) in c
1545035453.772 * [misc]taylor:  Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1545035453.772 * [misc]taylor:  Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1545035453.772 * [misc]taylor:  Taking taylor expansion of (exp c) in c
1545035453.772 * [misc]taylor:  Taking taylor expansion of c in c
1545035453.772 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.772 * [misc]backup-simplify:  Simplify 1 into 1
1545035453.773 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545035453.773 * [misc]taylor:  Taking taylor expansion of (exp (- c)) in c
1545035453.773 * [misc]taylor:  Taking taylor expansion of (- c) in c
1545035453.773 * [misc]taylor:  Taking taylor expansion of c in c
1545035453.773 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.773 * [misc]backup-simplify:  Simplify 1 into 1
1545035453.773 * [misc]backup-simplify:  Simplify (- 0) into 0
1545035453.773 * [misc]backup-simplify:  Simplify (- 1) into -1
1545035453.773 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545035453.773 * [misc]taylor:  Taking taylor expansion of 2 in c
1545035453.773 * [misc]backup-simplify:  Simplify 2 into 2
1545035453.773 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1545035453.773 * [misc]backup-simplify:  Simplify (/ 2 2) into 1
1545035453.773 * [misc]backup-simplify:  Simplify 1 into 1
1545035453.775 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1545035453.775 * [misc]backup-simplify:  Simplify (- 1) into -1
1545035453.776 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
1545035453.776 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1545035453.776 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
1545035453.776 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.778 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1545035453.778 * [misc]backup-simplify:  Simplify (- 1) into -1
1545035453.778 * [misc]backup-simplify:  Simplify (- 0) into 0
1545035453.779 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1545035453.779 * [misc]backup-simplify:  Simplify (+ 1/2 1/2) into 1
1545035453.779 * [misc]backup-simplify:  Simplify (- (/ 1 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/2
1545035453.779 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1545035453.782 * [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
1545035453.782 * [misc]backup-simplify:  Simplify (- 1) into -1
1545035453.782 * [misc]backup-simplify:  Simplify (- 1) into -1
1545035453.783 * [misc]backup-simplify:  Simplify (- 0) into 0
1545035453.783 * [misc]backup-simplify:  Simplify (- 0) into 0
1545035453.785 * [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
1545035453.785 * [misc]backup-simplify:  Simplify (+ 1/6 -1/6) into 0
1545035453.785 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)))) into 0
1545035453.785 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.789 * [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
1545035453.789 * [misc]backup-simplify:  Simplify (- 1) into -1
1545035453.789 * [misc]backup-simplify:  Simplify (- 1) into -1
1545035453.790 * [misc]backup-simplify:  Simplify (- 0) into 0
1545035453.790 * [misc]backup-simplify:  Simplify (- 1) into -1
1545035453.790 * [misc]backup-simplify:  Simplify (- 0) into 0
1545035453.790 * [misc]backup-simplify:  Simplify (- 0) into 0
1545035453.790 * [misc]backup-simplify:  Simplify (- 0) into 0
1545035453.793 * [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
1545035453.794 * [misc]backup-simplify:  Simplify (+ 1/24 1/24) into 1/12
1545035453.794 * [misc]backup-simplify:  Simplify (- (/ 1/12 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)) (* 0 (/ 0 2)))) into 1/24
1545035453.794 * [misc]backup-simplify:  Simplify 1/24 into 1/24
1545035453.795 * [misc]backup-simplify:  Simplify (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) into (+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1))
1545035453.795 * [misc]backup-simplify:  Simplify (cosh (/ 1 c)) into (cosh (/ 1 c))
1545035453.795 * [misc]approximate:  Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0
1545035453.795 * [misc]taylor:  Taking taylor expansion of (cosh (/ 1 c)) in c
1545035453.795 * [misc]taylor:  Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1545035453.795 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1545035453.795 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 c)) in c
1545035453.795 * [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
1545035453.795 * [misc]taylor:  Taking taylor expansion of c in c
1545035453.795 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.795 * [misc]backup-simplify:  Simplify 1 into 1
1545035453.795 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545035453.796 * [misc]backup-simplify:  Simplify (exp (/ 1 c)) into (exp (/ 1 c))
1545035453.796 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 c))) in c
1545035453.796 * [misc]taylor:  Taking taylor expansion of (- (/ 1 c)) in c
1545035453.796 * [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
1545035453.796 * [misc]taylor:  Taking taylor expansion of c in c
1545035453.796 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.796 * [misc]backup-simplify:  Simplify 1 into 1
1545035453.796 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545035453.796 * [misc]backup-simplify:  Simplify (- 1) into -1
1545035453.796 * [misc]backup-simplify:  Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
1545035453.796 * [misc]taylor:  Taking taylor expansion of 2 in c
1545035453.796 * [misc]backup-simplify:  Simplify 2 into 2
1545035453.796 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (- (/ 1 c))) (exp (/ 1 c)))
1545035453.796 * [misc]backup-simplify:  Simplify (/ (+ (exp (- (/ 1 c))) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c))))
1545035453.796 * [misc]taylor:  Taking taylor expansion of (cosh (/ 1 c)) in c
1545035453.796 * [misc]taylor:  Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1545035453.796 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1545035453.796 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 c)) in c
1545035453.796 * [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
1545035453.796 * [misc]taylor:  Taking taylor expansion of c in c
1545035453.796 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.796 * [misc]backup-simplify:  Simplify 1 into 1
1545035453.797 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545035453.797 * [misc]backup-simplify:  Simplify (exp (/ 1 c)) into (exp (/ 1 c))
1545035453.797 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 c))) in c
1545035453.797 * [misc]taylor:  Taking taylor expansion of (- (/ 1 c)) in c
1545035453.797 * [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
1545035453.797 * [misc]taylor:  Taking taylor expansion of c in c
1545035453.797 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.797 * [misc]backup-simplify:  Simplify 1 into 1
1545035453.797 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545035453.797 * [misc]backup-simplify:  Simplify (- 1) into -1
1545035453.797 * [misc]backup-simplify:  Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
1545035453.797 * [misc]taylor:  Taking taylor expansion of 2 in c
1545035453.797 * [misc]backup-simplify:  Simplify 2 into 2
1545035453.797 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (- (/ 1 c))) (exp (/ 1 c)))
1545035453.797 * [misc]backup-simplify:  Simplify (/ (+ (exp (- (/ 1 c))) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c))))
1545035453.797 * [misc]backup-simplify:  Simplify (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) into (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c))))
1545035453.797 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035453.798 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)))) into 0
1545035453.798 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.798 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035453.798 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
1545035453.798 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.798 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035453.799 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
1545035453.799 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.799 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035453.800 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
1545035453.800 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.800 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035453.801 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
1545035453.801 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.801 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035453.802 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
1545035453.802 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.802 * [misc]backup-simplify:  Simplify (* 1/2 (+ (exp (- (/ 1 (/ 1 c)))) (exp (/ 1 (/ 1 c))))) into (* 1/2 (+ (exp c) (exp (- c))))
1545035453.802 * [misc]backup-simplify:  Simplify (cosh (/ 1 (- c))) into (cosh (/ -1 c))
1545035453.802 * [misc]approximate:  Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0
1545035453.802 * [misc]taylor:  Taking taylor expansion of (cosh (/ -1 c)) in c
1545035453.802 * [misc]taylor:  Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1545035453.802 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1545035453.802 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 c)) in c
1545035453.802 * [misc]taylor:  Taking taylor expansion of (/ -1 c) in c
1545035453.802 * [misc]taylor:  Taking taylor expansion of -1 in c
1545035453.802 * [misc]backup-simplify:  Simplify -1 into -1
1545035453.802 * [misc]taylor:  Taking taylor expansion of c in c
1545035453.802 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.802 * [misc]backup-simplify:  Simplify 1 into 1
1545035453.802 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545035453.802 * [misc]backup-simplify:  Simplify (exp (/ -1 c)) into (exp (/ -1 c))
1545035453.802 * [misc]taylor:  Taking taylor expansion of (exp (- (/ -1 c))) in c
1545035453.802 * [misc]taylor:  Taking taylor expansion of (- (/ -1 c)) in c
1545035453.802 * [misc]taylor:  Taking taylor expansion of (/ -1 c) in c
1545035453.802 * [misc]taylor:  Taking taylor expansion of -1 in c
1545035453.802 * [misc]backup-simplify:  Simplify -1 into -1
1545035453.802 * [misc]taylor:  Taking taylor expansion of c in c
1545035453.802 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.802 * [misc]backup-simplify:  Simplify 1 into 1
1545035453.802 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545035453.802 * [misc]backup-simplify:  Simplify (- -1) into 1
1545035453.803 * [misc]backup-simplify:  Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
1545035453.803 * [misc]taylor:  Taking taylor expansion of 2 in c
1545035453.803 * [misc]backup-simplify:  Simplify 2 into 2
1545035453.803 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 c)) (exp (/ 1 c))) into (+ (exp (/ -1 c)) (exp (/ 1 c)))
1545035453.803 * [misc]backup-simplify:  Simplify (/ (+ (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c))))
1545035453.803 * [misc]taylor:  Taking taylor expansion of (cosh (/ -1 c)) in c
1545035453.803 * [misc]taylor:  Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1545035453.803 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1545035453.803 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 c)) in c
1545035453.803 * [misc]taylor:  Taking taylor expansion of (/ -1 c) in c
1545035453.803 * [misc]taylor:  Taking taylor expansion of -1 in c
1545035453.803 * [misc]backup-simplify:  Simplify -1 into -1
1545035453.803 * [misc]taylor:  Taking taylor expansion of c in c
1545035453.803 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.803 * [misc]backup-simplify:  Simplify 1 into 1
1545035453.803 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545035453.803 * [misc]backup-simplify:  Simplify (exp (/ -1 c)) into (exp (/ -1 c))
1545035453.803 * [misc]taylor:  Taking taylor expansion of (exp (- (/ -1 c))) in c
1545035453.803 * [misc]taylor:  Taking taylor expansion of (- (/ -1 c)) in c
1545035453.803 * [misc]taylor:  Taking taylor expansion of (/ -1 c) in c
1545035453.803 * [misc]taylor:  Taking taylor expansion of -1 in c
1545035453.803 * [misc]backup-simplify:  Simplify -1 into -1
1545035453.803 * [misc]taylor:  Taking taylor expansion of c in c
1545035453.803 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.803 * [misc]backup-simplify:  Simplify 1 into 1
1545035453.804 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545035453.804 * [misc]backup-simplify:  Simplify (- -1) into 1
1545035453.804 * [misc]backup-simplify:  Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
1545035453.804 * [misc]taylor:  Taking taylor expansion of 2 in c
1545035453.804 * [misc]backup-simplify:  Simplify 2 into 2
1545035453.804 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 c)) (exp (/ 1 c))) into (+ (exp (/ -1 c)) (exp (/ 1 c)))
1545035453.804 * [misc]backup-simplify:  Simplify (/ (+ (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c))))
1545035453.804 * [misc]backup-simplify:  Simplify (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c))))
1545035453.804 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035453.804 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
1545035453.805 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.805 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035453.805 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
1545035453.805 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.805 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035453.806 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
1545035453.806 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.806 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035453.806 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
1545035453.806 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.807 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035453.807 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
1545035453.807 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.807 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035453.808 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
1545035453.808 * [misc]backup-simplify:  Simplify 0 into 0
1545035453.808 * [misc]backup-simplify:  Simplify (* 1/2 (+ (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (+ (exp (* -1 c)) (exp c)))
1545035453.808 * * * [misc]progress:  simplifying candidates
1545035453.808 * * * * [misc]progress:  [ 1 / 21 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
1545035453.809 * * * * [misc]progress:  [ 2 / 21 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545035453.809 * * * * [misc]progress:  [ 3 / 21 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
1545035453.809 * * * * [misc]progress:  [ 4 / 21 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
1545035453.809 * * * * [misc]progress:  [ 5 / 21 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>
1545035453.809 * * * * [misc]progress:  [ 6 / 21 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
1545035453.809 * * * * [misc]progress:  [ 7 / 21 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
1545035453.809 * * * * [misc]progress:  [ 8 / 21 ] simplifiying candidate #<alt (λ (a c) (fmod (/ (+ (exp c) (exp (- c))) 2) (log1p a)))>
1545035453.809 * * * * [misc]progress:  [ 9 / 21 ] simplifiying candidate #<alt (λ (a c) (fmod (pow (cosh c) 1) (log1p a)))>
1545035453.809 * * * * [misc]progress:  [ 10 / 21 ] simplifiying candidate #<alt (λ (a c) (fmod (exp (log (cosh c))) (log1p a)))>
1545035453.809 * * * * [misc]progress:  [ 11 / 21 ] simplifiying candidate #<alt (λ (a c) (fmod (log (exp (cosh c))) (log1p a)))>
1545035453.809 * * * * [misc]progress:  [ 12 / 21 ] simplifiying candidate #<alt (λ (a c) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))>
1545035453.809 * * * * [misc]progress:  [ 13 / 21 ] simplifiying candidate #<alt (λ (a c) (fmod (cbrt (* (* (cosh c) (cosh c)) (cosh c))) (log1p a)))>
1545035453.809 * * * * [misc]progress:  [ 14 / 21 ] simplifiying candidate #<alt (λ (a c) (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))>
1545035453.809 * * * * [misc]progress:  [ 15 / 21 ] simplifiying candidate #<alt (λ (a c) (fmod (* 1 (cosh c)) (log1p a)))>
1545035453.809 * * * * [misc]progress:  [ 16 / 21 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545035453.809 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545035453.809 * * [misc]simplify:  iters left: 2 (5 enodes)
1545035453.810 * * [misc]simplify:  iters left: 1 (11 enodes)
1545035453.812 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545035453.812 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545035453.812 * * * * [misc]progress:  [ 17 / 21 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545035453.812 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545035453.812 * * [misc]simplify:  iters left: 2 (5 enodes)
1545035453.814 * * [misc]simplify:  iters left: 1 (11 enodes)
1545035453.817 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545035453.817 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545035453.817 * * * * [misc]progress:  [ 18 / 21 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545035453.817 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545035453.817 * * [misc]simplify:  iters left: 2 (5 enodes)
1545035453.819 * * [misc]simplify:  iters left: 1 (11 enodes)
1545035453.822 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545035453.822 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545035453.822 * * * * [misc]progress:  [ 19 / 21 ] simplifiying candidate #<alt (λ (a c) (fmod (+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1)) (log1p a)))>
1545035453.823 * [enter]simplify:  Simplifying (+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1))
1545035453.823 * * [misc]simplify:  iters left: 6 (12 enodes)
1545035453.827 * * [misc]simplify:  iters left: 5 (21 enodes)
1545035453.834 * * [misc]simplify:  iters left: 4 (31 enodes)
1545035453.856 * * [misc]simplify:  iters left: 3 (33 enodes)
1545035453.864 * [exit]simplify:  Simplified to (+ 1 (+ (* (pow c 4) 1/24) (* (* c c) 1/2)))
1545035453.865 * [misc]simplify:  Simplified (2 1) to (λ (a c) (fmod (+ 1 (+ (* (pow c 4) 1/24) (* (* c c) 1/2))) (log1p a)))
1545035453.865 * * * * [misc]progress:  [ 20 / 21 ] simplifiying candidate #<alt (λ (a c) (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)))>
1545035453.865 * [enter]simplify:  Simplifying (* 1/2 (+ (exp c) (exp (- c))))
1545035453.865 * * [misc]simplify:  iters left: 6 (7 enodes)
1545035453.867 * * [misc]simplify:  iters left: 5 (17 enodes)
1545035453.876 * * [misc]simplify:  iters left: 4 (25 enodes)
1545035453.884 * * [misc]simplify:  iters left: 3 (29 enodes)
1545035453.890 * * [misc]simplify:  iters left: 2 (33 enodes)
1545035453.896 * * [misc]simplify:  iters left: 1 (37 enodes)
1545035453.903 * [exit]simplify:  Simplified to (+ (* 1/2 (exp c)) (/ 1/2 (exp c)))
1545035453.903 * [misc]simplify:  Simplified (2 1) to (λ (a c) (fmod (+ (* 1/2 (exp c)) (/ 1/2 (exp c))) (log1p a)))
1545035453.903 * * * * [misc]progress:  [ 21 / 21 ] simplifiying candidate #<alt (λ (a c) (fmod (* 1/2 (+ (exp (* -1 c)) (exp c))) (log1p a)))>
1545035453.903 * [enter]simplify:  Simplifying (* 1/2 (+ (exp (* -1 c)) (exp c)))
1545035453.903 * * [misc]simplify:  iters left: 6 (8 enodes)
1545035453.906 * * [misc]simplify:  iters left: 5 (20 enodes)
1545035453.912 * * [misc]simplify:  iters left: 4 (24 enodes)
1545035453.922 * * [misc]simplify:  iters left: 3 (31 enodes)
1545035453.930 * * [misc]simplify:  iters left: 2 (35 enodes)
1545035453.939 * * [misc]simplify:  iters left: 1 (39 enodes)
1545035453.947 * [exit]simplify:  Simplified to (+ (/ 1/2 (exp c)) (* (exp c) 1/2))
1545035453.947 * [misc]simplify:  Simplified (2 1) to (λ (a c) (fmod (+ (/ 1/2 (exp c)) (* (exp c) 1/2)) (log1p a)))
1545035453.947 * * * [misc]progress:  adding candidates to table
1545035454.127 * * [misc]progress:  iteration 2 / 4
1545035454.127 * * * [misc]progress:  picking best candidate
1545035454.155 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545035454.155 * * * [misc]progress:  localizing error
1545035454.166 * * * [misc]progress:  generating rewritten candidates
1545035454.166 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1)
1545035454.166 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1545035454.167 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2)
1545035454.169 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 1)
1545035454.169 * * * [misc]progress:  generating series expansions
1545035454.169 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1)
1545035454.170 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035454.170 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545035454.170 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545035454.170 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035454.170 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545035454.170 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035454.170 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545035454.170 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035454.170 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545035454.170 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035454.170 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035454.170 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035454.170 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.170 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.170 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.170 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035454.170 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.170 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.170 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.170 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.170 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035454.170 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.170 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.170 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035454.170 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035454.170 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545035454.170 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545035454.170 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035454.170 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545035454.170 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035454.170 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545035454.171 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035454.171 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545035454.171 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035454.171 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035454.171 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035454.171 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.171 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.171 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.171 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035454.171 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.171 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.171 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.171 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.171 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035454.171 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.171 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.171 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545035454.171 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035454.171 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545035454.171 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545035454.171 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035454.171 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545035454.171 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035454.171 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545035454.171 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035454.172 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545035454.172 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035454.172 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035454.172 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035454.172 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.172 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.172 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.172 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035454.172 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.172 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.172 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.172 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.172 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035454.172 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.172 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.172 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545035454.172 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1545035454.172 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545035454.172 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1545035454.172 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545035454.172 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545035454.172 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035454.172 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545035454.172 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545035454.172 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545035454.172 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035454.172 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545035454.172 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545035454.172 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545035454.172 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035454.173 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545035454.173 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545035454.173 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545035454.173 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035454.173 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545035454.173 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545035454.174 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545035454.174 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035454.174 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.174 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.174 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545035454.174 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.176 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
1545035454.176 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035454.176 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.176 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.176 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.177 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
1545035454.177 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.179 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0
1545035454.179 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035454.179 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.179 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.179 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545035454.179 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545035454.179 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1545035454.179 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545035454.179 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545035454.179 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035454.180 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545035454.180 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545035454.180 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545035454.180 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035454.180 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545035454.180 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545035454.180 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545035454.180 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035454.180 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545035454.180 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545035454.180 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545035454.180 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035454.180 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545035454.180 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545035454.181 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545035454.181 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035454.181 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.181 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.182 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545035454.182 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.183 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
1545035454.183 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035454.183 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.183 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.183 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.184 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
1545035454.184 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.186 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0
1545035454.186 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035454.186 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.186 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.186 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1545035454.186 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545035454.186 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1545035454.186 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545035454.186 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545035454.186 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035454.186 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545035454.186 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545035454.186 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545035454.186 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035454.186 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545035454.186 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545035454.186 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545035454.186 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035454.186 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545035454.186 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545035454.186 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545035454.187 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035454.187 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545035454.187 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545035454.187 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545035454.187 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035454.187 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.187 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.188 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545035454.188 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.189 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
1545035454.189 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035454.189 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.189 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.189 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.190 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
1545035454.190 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.192 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0
1545035454.192 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035454.192 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.192 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.192 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1545035454.192 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2)
1545035454.192 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1545035454.192 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545035454.192 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545035454.192 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035454.192 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545035454.192 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035454.193 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545035454.193 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035454.193 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545035454.193 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035454.193 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035454.193 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035454.193 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.193 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.193 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.193 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035454.193 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.193 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.193 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.193 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.193 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035454.193 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.193 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.193 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035454.193 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035454.193 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545035454.193 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545035454.193 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035454.193 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545035454.193 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035454.193 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545035454.193 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035454.193 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545035454.193 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035454.194 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035454.194 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035454.194 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.194 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.194 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.194 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035454.194 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.194 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.194 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.194 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.194 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035454.194 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.194 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.194 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545035454.194 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035454.194 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545035454.194 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545035454.194 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035454.194 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545035454.194 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035454.194 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545035454.194 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035454.194 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545035454.194 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035454.194 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035454.194 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035454.194 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.195 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.195 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.195 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035454.195 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.195 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.195 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.195 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.195 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035454.195 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.195 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.195 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545035454.195 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 1)
1545035454.195 * [misc]backup-simplify:  Simplify (cosh c) into (cosh c)
1545035454.195 * [misc]approximate:  Taking taylor expansion of (cosh c) in (c) around 0
1545035454.195 * [misc]taylor:  Taking taylor expansion of (cosh c) in c
1545035454.195 * [misc]taylor:  Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1545035454.195 * [misc]taylor:  Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1545035454.195 * [misc]taylor:  Taking taylor expansion of (exp c) in c
1545035454.195 * [misc]taylor:  Taking taylor expansion of c in c
1545035454.195 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.195 * [misc]backup-simplify:  Simplify 1 into 1
1545035454.195 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545035454.195 * [misc]taylor:  Taking taylor expansion of (exp (- c)) in c
1545035454.195 * [misc]taylor:  Taking taylor expansion of (- c) in c
1545035454.195 * [misc]taylor:  Taking taylor expansion of c in c
1545035454.195 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.195 * [misc]backup-simplify:  Simplify 1 into 1
1545035454.195 * [misc]backup-simplify:  Simplify (- 0) into 0
1545035454.195 * [misc]backup-simplify:  Simplify (- 1) into -1
1545035454.195 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545035454.195 * [misc]taylor:  Taking taylor expansion of 2 in c
1545035454.195 * [misc]backup-simplify:  Simplify 2 into 2
1545035454.196 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1545035454.196 * [misc]backup-simplify:  Simplify (/ 2 2) into 1
1545035454.196 * [misc]taylor:  Taking taylor expansion of (cosh c) in c
1545035454.196 * [misc]taylor:  Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1545035454.196 * [misc]taylor:  Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1545035454.196 * [misc]taylor:  Taking taylor expansion of (exp c) in c
1545035454.196 * [misc]taylor:  Taking taylor expansion of c in c
1545035454.196 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.196 * [misc]backup-simplify:  Simplify 1 into 1
1545035454.196 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545035454.196 * [misc]taylor:  Taking taylor expansion of (exp (- c)) in c
1545035454.196 * [misc]taylor:  Taking taylor expansion of (- c) in c
1545035454.196 * [misc]taylor:  Taking taylor expansion of c in c
1545035454.196 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.196 * [misc]backup-simplify:  Simplify 1 into 1
1545035454.196 * [misc]backup-simplify:  Simplify (- 0) into 0
1545035454.196 * [misc]backup-simplify:  Simplify (- 1) into -1
1545035454.196 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545035454.196 * [misc]taylor:  Taking taylor expansion of 2 in c
1545035454.196 * [misc]backup-simplify:  Simplify 2 into 2
1545035454.196 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1545035454.196 * [misc]backup-simplify:  Simplify (/ 2 2) into 1
1545035454.196 * [misc]backup-simplify:  Simplify 1 into 1
1545035454.197 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1545035454.197 * [misc]backup-simplify:  Simplify (- 1) into -1
1545035454.198 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
1545035454.198 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1545035454.198 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
1545035454.199 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.200 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1545035454.200 * [misc]backup-simplify:  Simplify (- 1) into -1
1545035454.200 * [misc]backup-simplify:  Simplify (- 0) into 0
1545035454.201 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1545035454.202 * [misc]backup-simplify:  Simplify (+ 1/2 1/2) into 1
1545035454.202 * [misc]backup-simplify:  Simplify (- (/ 1 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/2
1545035454.202 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1545035454.204 * [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
1545035454.204 * [misc]backup-simplify:  Simplify (- 1) into -1
1545035454.204 * [misc]backup-simplify:  Simplify (- 1) into -1
1545035454.204 * [misc]backup-simplify:  Simplify (- 0) into 0
1545035454.204 * [misc]backup-simplify:  Simplify (- 0) into 0
1545035454.206 * [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
1545035454.207 * [misc]backup-simplify:  Simplify (+ 1/6 -1/6) into 0
1545035454.207 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)))) into 0
1545035454.207 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.210 * [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
1545035454.211 * [misc]backup-simplify:  Simplify (- 1) into -1
1545035454.211 * [misc]backup-simplify:  Simplify (- 1) into -1
1545035454.211 * [misc]backup-simplify:  Simplify (- 0) into 0
1545035454.211 * [misc]backup-simplify:  Simplify (- 1) into -1
1545035454.211 * [misc]backup-simplify:  Simplify (- 0) into 0
1545035454.211 * [misc]backup-simplify:  Simplify (- 0) into 0
1545035454.211 * [misc]backup-simplify:  Simplify (- 0) into 0
1545035454.215 * [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
1545035454.215 * [misc]backup-simplify:  Simplify (+ 1/24 1/24) into 1/12
1545035454.215 * [misc]backup-simplify:  Simplify (- (/ 1/12 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)) (* 0 (/ 0 2)))) into 1/24
1545035454.215 * [misc]backup-simplify:  Simplify 1/24 into 1/24
1545035454.215 * [misc]backup-simplify:  Simplify (+ (* 1/24 (pow c 4)) (+ (* 1/2 (pow c 2)) 1)) into (+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1))
1545035454.215 * [misc]backup-simplify:  Simplify (cosh (/ 1 c)) into (cosh (/ 1 c))
1545035454.215 * [misc]approximate:  Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0
1545035454.215 * [misc]taylor:  Taking taylor expansion of (cosh (/ 1 c)) in c
1545035454.215 * [misc]taylor:  Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1545035454.215 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1545035454.215 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 c)) in c
1545035454.215 * [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
1545035454.215 * [misc]taylor:  Taking taylor expansion of c in c
1545035454.215 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.215 * [misc]backup-simplify:  Simplify 1 into 1
1545035454.216 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545035454.216 * [misc]backup-simplify:  Simplify (exp (/ 1 c)) into (exp (/ 1 c))
1545035454.216 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 c))) in c
1545035454.216 * [misc]taylor:  Taking taylor expansion of (- (/ 1 c)) in c
1545035454.216 * [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
1545035454.216 * [misc]taylor:  Taking taylor expansion of c in c
1545035454.216 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.216 * [misc]backup-simplify:  Simplify 1 into 1
1545035454.216 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545035454.216 * [misc]backup-simplify:  Simplify (- 1) into -1
1545035454.216 * [misc]backup-simplify:  Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
1545035454.216 * [misc]taylor:  Taking taylor expansion of 2 in c
1545035454.216 * [misc]backup-simplify:  Simplify 2 into 2
1545035454.216 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (- (/ 1 c))) (exp (/ 1 c)))
1545035454.216 * [misc]backup-simplify:  Simplify (/ (+ (exp (- (/ 1 c))) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c))))
1545035454.216 * [misc]taylor:  Taking taylor expansion of (cosh (/ 1 c)) in c
1545035454.216 * [misc]taylor:  Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1545035454.216 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1545035454.216 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 c)) in c
1545035454.216 * [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
1545035454.216 * [misc]taylor:  Taking taylor expansion of c in c
1545035454.216 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.216 * [misc]backup-simplify:  Simplify 1 into 1
1545035454.216 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545035454.216 * [misc]backup-simplify:  Simplify (exp (/ 1 c)) into (exp (/ 1 c))
1545035454.216 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 c))) in c
1545035454.217 * [misc]taylor:  Taking taylor expansion of (- (/ 1 c)) in c
1545035454.217 * [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
1545035454.217 * [misc]taylor:  Taking taylor expansion of c in c
1545035454.217 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.217 * [misc]backup-simplify:  Simplify 1 into 1
1545035454.217 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545035454.217 * [misc]backup-simplify:  Simplify (- 1) into -1
1545035454.217 * [misc]backup-simplify:  Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
1545035454.217 * [misc]taylor:  Taking taylor expansion of 2 in c
1545035454.217 * [misc]backup-simplify:  Simplify 2 into 2
1545035454.217 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (- (/ 1 c))) (exp (/ 1 c)))
1545035454.217 * [misc]backup-simplify:  Simplify (/ (+ (exp (- (/ 1 c))) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c))))
1545035454.217 * [misc]backup-simplify:  Simplify (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) into (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c))))
1545035454.217 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035454.218 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)))) into 0
1545035454.218 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.218 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035454.218 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
1545035454.218 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.218 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035454.219 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
1545035454.219 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.219 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035454.219 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
1545035454.219 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.220 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035454.220 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
1545035454.220 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.220 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035454.221 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
1545035454.221 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.221 * [misc]backup-simplify:  Simplify (* 1/2 (+ (exp (- (/ 1 (/ 1 c)))) (exp (/ 1 (/ 1 c))))) into (* 1/2 (+ (exp c) (exp (- c))))
1545035454.221 * [misc]backup-simplify:  Simplify (cosh (/ 1 (- c))) into (cosh (/ -1 c))
1545035454.221 * [misc]approximate:  Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0
1545035454.221 * [misc]taylor:  Taking taylor expansion of (cosh (/ -1 c)) in c
1545035454.221 * [misc]taylor:  Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1545035454.221 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1545035454.221 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 c)) in c
1545035454.221 * [misc]taylor:  Taking taylor expansion of (/ -1 c) in c
1545035454.221 * [misc]taylor:  Taking taylor expansion of -1 in c
1545035454.221 * [misc]backup-simplify:  Simplify -1 into -1
1545035454.221 * [misc]taylor:  Taking taylor expansion of c in c
1545035454.222 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.222 * [misc]backup-simplify:  Simplify 1 into 1
1545035454.222 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545035454.222 * [misc]backup-simplify:  Simplify (exp (/ -1 c)) into (exp (/ -1 c))
1545035454.222 * [misc]taylor:  Taking taylor expansion of (exp (- (/ -1 c))) in c
1545035454.222 * [misc]taylor:  Taking taylor expansion of (- (/ -1 c)) in c
1545035454.222 * [misc]taylor:  Taking taylor expansion of (/ -1 c) in c
1545035454.222 * [misc]taylor:  Taking taylor expansion of -1 in c
1545035454.222 * [misc]backup-simplify:  Simplify -1 into -1
1545035454.222 * [misc]taylor:  Taking taylor expansion of c in c
1545035454.222 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.222 * [misc]backup-simplify:  Simplify 1 into 1
1545035454.222 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545035454.222 * [misc]backup-simplify:  Simplify (- -1) into 1
1545035454.222 * [misc]backup-simplify:  Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
1545035454.222 * [misc]taylor:  Taking taylor expansion of 2 in c
1545035454.222 * [misc]backup-simplify:  Simplify 2 into 2
1545035454.222 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 c)) (exp (/ 1 c))) into (+ (exp (/ -1 c)) (exp (/ 1 c)))
1545035454.224 * [misc]backup-simplify:  Simplify (/ (+ (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c))))
1545035454.224 * [misc]taylor:  Taking taylor expansion of (cosh (/ -1 c)) in c
1545035454.224 * [misc]taylor:  Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1545035454.224 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1545035454.224 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 c)) in c
1545035454.224 * [misc]taylor:  Taking taylor expansion of (/ -1 c) in c
1545035454.224 * [misc]taylor:  Taking taylor expansion of -1 in c
1545035454.224 * [misc]backup-simplify:  Simplify -1 into -1
1545035454.224 * [misc]taylor:  Taking taylor expansion of c in c
1545035454.224 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.224 * [misc]backup-simplify:  Simplify 1 into 1
1545035454.225 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545035454.225 * [misc]backup-simplify:  Simplify (exp (/ -1 c)) into (exp (/ -1 c))
1545035454.225 * [misc]taylor:  Taking taylor expansion of (exp (- (/ -1 c))) in c
1545035454.225 * [misc]taylor:  Taking taylor expansion of (- (/ -1 c)) in c
1545035454.225 * [misc]taylor:  Taking taylor expansion of (/ -1 c) in c
1545035454.225 * [misc]taylor:  Taking taylor expansion of -1 in c
1545035454.225 * [misc]backup-simplify:  Simplify -1 into -1
1545035454.225 * [misc]taylor:  Taking taylor expansion of c in c
1545035454.225 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.225 * [misc]backup-simplify:  Simplify 1 into 1
1545035454.225 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545035454.225 * [misc]backup-simplify:  Simplify (- -1) into 1
1545035454.225 * [misc]backup-simplify:  Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
1545035454.225 * [misc]taylor:  Taking taylor expansion of 2 in c
1545035454.225 * [misc]backup-simplify:  Simplify 2 into 2
1545035454.225 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 c)) (exp (/ 1 c))) into (+ (exp (/ -1 c)) (exp (/ 1 c)))
1545035454.225 * [misc]backup-simplify:  Simplify (/ (+ (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c))))
1545035454.225 * [misc]backup-simplify:  Simplify (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c))))
1545035454.225 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035454.226 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
1545035454.226 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.226 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035454.226 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
1545035454.226 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.226 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035454.227 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
1545035454.227 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.227 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035454.228 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
1545035454.228 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.228 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035454.228 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
1545035454.228 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.228 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035454.229 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
1545035454.229 * [misc]backup-simplify:  Simplify 0 into 0
1545035454.229 * [misc]backup-simplify:  Simplify (* 1/2 (+ (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (+ (exp (* -1 c)) (exp c)))
1545035454.229 * * * [misc]progress:  simplifying candidates
1545035454.229 * * * * [misc]progress:  [ 1 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
1545035454.229 * * * * [misc]progress:  [ 2 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545035454.229 * * * * [misc]progress:  [ 3 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
1545035454.230 * * * * [misc]progress:  [ 4 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))>
1545035454.230 * * * * [misc]progress:  [ 5 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
1545035454.230 * * * * [misc]progress:  [ 6 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
1545035454.230 * * * * [misc]progress:  [ 7 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
1545035454.230 * * * * [misc]progress:  [ 8 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
1545035454.230 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1545035454.230 * * [misc]simplify:  iters left: 6 (8 enodes)
1545035454.231 * * [misc]simplify:  iters left: 5 (16 enodes)
1545035454.233 * * [misc]simplify:  iters left: 4 (19 enodes)
1545035454.236 * * [misc]simplify:  iters left: 3 (21 enodes)
1545035454.241 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1545035454.241 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))
1545035454.241 * * * * [misc]progress:  [ 9 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
1545035454.242 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1545035454.242 * * [misc]simplify:  iters left: 4 (7 enodes)
1545035454.244 * * [misc]simplify:  iters left: 3 (13 enodes)
1545035454.248 * * [misc]simplify:  iters left: 2 (16 enodes)
1545035454.252 * * [misc]simplify:  iters left: 1 (18 enodes)
1545035454.254 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1545035454.254 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
1545035454.254 * * * * [misc]progress:  [ 10 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
1545035454.254 * [enter]simplify:  Simplifying (log 1)
1545035454.254 * * [misc]simplify:  iters left: 1 (2 enodes)
1545035454.255 * [exit]simplify:  Simplified to 0
1545035454.255 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a))))))
1545035454.256 * * * * [misc]progress:  [ 11 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1545035454.256 * * * * [misc]progress:  [ 12 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
1545035454.256 * * * * [misc]progress:  [ 13 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545035454.256 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545035454.256 * * [misc]simplify:  iters left: 2 (5 enodes)
1545035454.257 * * [misc]simplify:  iters left: 1 (11 enodes)
1545035454.258 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545035454.258 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545035454.258 * * * * [misc]progress:  [ 14 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
1545035454.258 * * * * [misc]progress:  [ 15 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545035454.258 * * * * [misc]progress:  [ 16 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545035454.258 * * * * [misc]progress:  [ 17 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545035454.258 * * * * [misc]progress:  [ 18 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
1545035454.258 * * * * [misc]progress:  [ 19 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1545035454.258 * * * * [misc]progress:  [ 20 / 54 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
1545035454.258 * * * * [misc]progress:  [ 21 / 54 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1545035454.259 * [enter]simplify:  Simplifying (exp 1)
1545035454.259 * * [misc]simplify:  iters left: 1 (2 enodes)
1545035454.259 * [exit]simplify:  Simplified to E
1545035454.259 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545035454.259 * * * * [misc]progress:  [ 22 / 54 ] simplifiying candidate #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
1545035454.259 * [enter]simplify:  Simplifying (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545035454.259 * * [misc]simplify:  iters left: 6 (9 enodes)
1545035454.261 * * [misc]simplify:  iters left: 5 (17 enodes)
1545035454.263 * * [misc]simplify:  iters left: 4 (20 enodes)
1545035454.266 * * [misc]simplify:  iters left: 3 (22 enodes)
1545035454.269 * [exit]simplify:  Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545035454.269 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545035454.269 * * * * [misc]progress:  [ 23 / 54 ] simplifiying candidate #<alt (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
1545035454.269 * [enter]simplify:  Simplifying (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1545035454.270 * * [misc]simplify:  iters left: 5 (8 enodes)
1545035454.271 * * [misc]simplify:  iters left: 4 (14 enodes)
1545035454.273 * * [misc]simplify:  iters left: 3 (17 enodes)
1545035454.275 * * [misc]simplify:  iters left: 2 (19 enodes)
1545035454.278 * [exit]simplify:  Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1545035454.278 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
1545035454.278 * * * * [misc]progress:  [ 24 / 54 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1545035454.278 * [enter]simplify:  Simplifying (exp 1)
1545035454.278 * * [misc]simplify:  iters left: 1 (2 enodes)
1545035454.278 * [exit]simplify:  Simplified to E
1545035454.278 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545035454.278 * * * * [misc]progress:  [ 25 / 54 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))>
1545035454.278 * [enter]simplify:  Simplifying (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
1545035454.279 * * [misc]simplify:  iters left: 6 (9 enodes)
1545035454.280 * * [misc]simplify:  iters left: 5 (17 enodes)
1545035454.282 * * [misc]simplify:  iters left: 4 (22 enodes)
1545035454.286 * * [misc]simplify:  iters left: 3 (24 enodes)
1545035454.292 * [exit]simplify:  Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
1545035454.292 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))
1545035454.292 * * * * [misc]progress:  [ 26 / 54 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))>
1545035454.292 * [enter]simplify:  Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a)))))
1545035454.292 * * [misc]simplify:  iters left: 5 (8 enodes)
1545035454.295 * * [misc]simplify:  iters left: 4 (14 enodes)
1545035454.299 * * [misc]simplify:  iters left: 3 (17 enodes)
1545035454.303 * * [misc]simplify:  iters left: 2 (19 enodes)
1545035454.308 * [exit]simplify:  Simplified to (sqrt (fmod (cosh c) (log1p a)))
1545035454.308 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))
1545035454.308 * * * * [misc]progress:  [ 27 / 54 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
1545035454.308 * [enter]simplify:  Simplifying (exp (log 1))
1545035454.308 * * [misc]simplify:  iters left: 2 (3 enodes)
1545035454.310 * * [misc]simplify:  iters left: 1 (5 enodes)
1545035454.335 * [exit]simplify:  Simplified to 1
1545035454.336 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))
1545035454.336 * * * * [misc]progress:  [ 28 / 54 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545035454.336 * [enter]simplify:  Simplifying (cosh c)
1545035454.336 * * [misc]simplify:  iters left: 1 (2 enodes)
1545035454.337 * [exit]simplify:  Simplified to (cosh c)
1545035454.337 * [misc]simplify:  Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a)))
1545035454.337 * * * * [misc]progress:  [ 29 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545035454.337 * * * * [misc]progress:  [ 30 / 54 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
1545035454.337 * * * * [misc]progress:  [ 31 / 54 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))>
1545035454.337 * * * * [misc]progress:  [ 32 / 54 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (exp (log (fmod (cosh c) (log1p a)))) (exp (log (fmod (cosh c) (log1p a))))) (exp (log (fmod (cosh c) (log1p a)))))))>
1545035454.337 * * * * [misc]progress:  [ 33 / 54 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
1545035454.337 * * * * [misc]progress:  [ 34 / 54 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
1545035454.337 * * * * [misc]progress:  [ 35 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (/ (+ (exp c) (exp (- c))) 2) (log1p a)))))>
1545035454.337 * * * * [misc]progress:  [ 36 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (pow (cosh c) 1) (log1p a)))))>
1545035454.337 * * * * [misc]progress:  [ 37 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (exp (log (cosh c))) (log1p a)))))>
1545035454.337 * * * * [misc]progress:  [ 38 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (log (exp (cosh c))) (log1p a)))))>
1545035454.337 * * * * [misc]progress:  [ 39 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))))>
1545035454.337 * * * * [misc]progress:  [ 40 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cbrt (* (* (cosh c) (cosh c)) (cosh c))) (log1p a)))))>
1545035454.337 * * * * [misc]progress:  [ 41 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))>
1545035454.337 * * * * [misc]progress:  [ 42 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (* 1 (cosh c)) (log1p a)))))>
1545035454.337 * * * * [misc]progress:  [ 43 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545035454.337 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545035454.338 * * [misc]simplify:  iters left: 2 (5 enodes)
1545035454.339 * * [misc]simplify:  iters left: 1 (11 enodes)
1545035454.341 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545035454.341 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545035454.341 * * * * [misc]progress:  [ 44 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545035454.342 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545035454.342 * * [misc]simplify:  iters left: 2 (5 enodes)
1545035454.343 * * [misc]simplify:  iters left: 1 (11 enodes)
1545035454.346 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545035454.346 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545035454.346 * * * * [misc]progress:  [ 45 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545035454.346 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545035454.346 * * [misc]simplify:  iters left: 2 (5 enodes)
1545035454.347 * * [misc]simplify:  iters left: 1 (11 enodes)
1545035454.350 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545035454.350 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545035454.350 * * * * [misc]progress:  [ 46 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545035454.350 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545035454.350 * * [misc]simplify:  iters left: 3 (6 enodes)
1545035454.352 * * [misc]simplify:  iters left: 2 (12 enodes)
1545035454.355 * * [misc]simplify:  iters left: 1 (15 enodes)
1545035454.358 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545035454.358 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545035454.358 * * * * [misc]progress:  [ 47 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545035454.358 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545035454.358 * * [misc]simplify:  iters left: 3 (6 enodes)
1545035454.360 * * [misc]simplify:  iters left: 2 (12 enodes)
1545035454.363 * * [misc]simplify:  iters left: 1 (15 enodes)
1545035454.367 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545035454.367 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545035454.367 * * * * [misc]progress:  [ 48 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545035454.368 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545035454.368 * * [misc]simplify:  iters left: 3 (6 enodes)
1545035454.369 * * [misc]simplify:  iters left: 2 (12 enodes)
1545035454.372 * * [misc]simplify:  iters left: 1 (15 enodes)
1545035454.375 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545035454.375 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545035454.375 * * * * [misc]progress:  [ 49 / 54 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545035454.375 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545035454.376 * * [misc]simplify:  iters left: 2 (5 enodes)
1545035454.377 * * [misc]simplify:  iters left: 1 (11 enodes)
1545035454.380 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545035454.380 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545035454.380 * * * * [misc]progress:  [ 50 / 54 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545035454.380 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545035454.380 * * [misc]simplify:  iters left: 2 (5 enodes)
1545035454.381 * * [misc]simplify:  iters left: 1 (11 enodes)
1545035454.382 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545035454.382 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545035454.382 * * * * [misc]progress:  [ 51 / 54 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545035454.382 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545035454.382 * * [misc]simplify:  iters left: 2 (5 enodes)
1545035454.383 * * [misc]simplify:  iters left: 1 (11 enodes)
1545035454.384 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545035454.384 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545035454.384 * * * * [misc]progress:  [ 52 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1)) (log1p a)))))>
1545035454.385 * [enter]simplify:  Simplifying (+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1))
1545035454.385 * * [misc]simplify:  iters left: 6 (12 enodes)
1545035454.386 * * [misc]simplify:  iters left: 5 (21 enodes)
1545035454.389 * * [misc]simplify:  iters left: 4 (31 enodes)
1545035454.393 * * [misc]simplify:  iters left: 3 (33 enodes)
1545035454.398 * [exit]simplify:  Simplified to (+ 1 (+ (* (pow c 4) 1/24) (* (* c c) 1/2)))
1545035454.398 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a c) (exp (log (fmod (+ 1 (+ (* (pow c 4) 1/24) (* (* c c) 1/2))) (log1p a)))))
1545035454.398 * * * * [misc]progress:  [ 53 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)))))>
1545035454.398 * [enter]simplify:  Simplifying (* 1/2 (+ (exp c) (exp (- c))))
1545035454.398 * * [misc]simplify:  iters left: 6 (7 enodes)
1545035454.399 * * [misc]simplify:  iters left: 5 (17 enodes)
1545035454.403 * * [misc]simplify:  iters left: 4 (25 enodes)
1545035454.407 * * [misc]simplify:  iters left: 3 (29 enodes)
1545035454.411 * * [misc]simplify:  iters left: 2 (33 enodes)
1545035454.415 * * [misc]simplify:  iters left: 1 (37 enodes)
1545035454.419 * [exit]simplify:  Simplified to (+ (* 1/2 (exp c)) (/ 1/2 (exp c)))
1545035454.419 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a c) (exp (log (fmod (+ (* 1/2 (exp c)) (/ 1/2 (exp c))) (log1p a)))))
1545035454.419 * * * * [misc]progress:  [ 54 / 54 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (* 1/2 (+ (exp (* -1 c)) (exp c))) (log1p a)))))>
1545035454.419 * [enter]simplify:  Simplifying (* 1/2 (+ (exp (* -1 c)) (exp c)))
1545035454.419 * * [misc]simplify:  iters left: 6 (8 enodes)
1545035454.421 * * [misc]simplify:  iters left: 5 (20 enodes)
1545035454.426 * * [misc]simplify:  iters left: 4 (24 enodes)
1545035454.434 * * [misc]simplify:  iters left: 3 (31 enodes)
1545035454.442 * * [misc]simplify:  iters left: 2 (35 enodes)
1545035454.451 * * [misc]simplify:  iters left: 1 (39 enodes)
1545035454.459 * [exit]simplify:  Simplified to (+ (/ 1/2 (exp c)) (* (exp c) 1/2))
1545035454.459 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a c) (exp (log (fmod (+ (/ 1/2 (exp c)) (* (exp c) 1/2)) (log1p a)))))
1545035454.459 * * * [misc]progress:  adding candidates to table
1545035455.060 * * [misc]progress:  iteration 3 / 4
1545035455.061 * * * [misc]progress:  picking best candidate
1545035455.179 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545035455.179 * * * [misc]progress:  localizing error
1545035455.202 * * * [misc]progress:  generating rewritten candidates
1545035455.202 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 1)
1545035455.202 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1 2 1)
1545035455.203 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
1545035455.203 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2)
1545035455.205 * * * [misc]progress:  generating series expansions
1545035455.205 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 1)
1545035455.206 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035455.206 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545035455.206 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545035455.206 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035455.206 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545035455.206 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035455.206 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545035455.206 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035455.206 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545035455.206 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035455.206 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035455.206 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.206 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.206 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.207 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.207 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.207 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.207 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.207 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.207 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.207 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.207 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.207 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.207 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035455.207 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035455.207 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545035455.207 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545035455.207 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035455.207 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545035455.207 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035455.208 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545035455.208 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035455.208 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545035455.208 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035455.208 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035455.208 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.208 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.208 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.208 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.208 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.208 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.208 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.208 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.208 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.208 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.208 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.208 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.209 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545035455.209 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035455.209 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545035455.209 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545035455.209 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035455.209 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545035455.209 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035455.209 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545035455.209 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035455.209 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545035455.210 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035455.210 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035455.210 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.210 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.210 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.210 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.210 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.210 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.210 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.210 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.210 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.210 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.210 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.210 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.210 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545035455.210 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1 2 1)
1545035455.211 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035455.211 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545035455.211 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545035455.211 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035455.211 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545035455.211 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035455.211 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545035455.211 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035455.211 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545035455.211 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035455.211 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035455.211 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.211 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.211 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.211 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.211 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.211 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.211 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.212 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.212 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.212 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.212 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.212 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.212 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035455.212 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035455.212 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545035455.212 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545035455.212 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035455.212 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545035455.212 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035455.212 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545035455.212 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035455.212 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545035455.213 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035455.213 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035455.213 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.213 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.213 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.213 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.213 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.213 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.213 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.213 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.213 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.213 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.213 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.213 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.213 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545035455.213 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035455.213 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545035455.213 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545035455.214 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035455.214 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545035455.214 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035455.214 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545035455.214 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035455.214 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545035455.214 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035455.214 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035455.214 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.214 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.214 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.214 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.214 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.214 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.215 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.215 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.215 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.215 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.215 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.215 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.215 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545035455.215 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1 1)
1545035455.215 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035455.215 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545035455.215 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545035455.215 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035455.215 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545035455.215 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035455.215 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545035455.215 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035455.216 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545035455.216 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035455.216 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035455.216 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.216 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.216 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.216 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.216 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.216 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.216 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.216 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.216 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.216 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.216 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.216 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.216 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035455.216 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035455.216 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545035455.216 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545035455.217 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035455.217 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545035455.217 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035455.217 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545035455.217 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035455.217 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545035455.217 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035455.217 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035455.217 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.217 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.217 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.217 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.217 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.217 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.217 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.217 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.217 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.218 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.218 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.218 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.218 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545035455.218 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035455.218 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545035455.218 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545035455.218 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035455.218 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545035455.218 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035455.218 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545035455.218 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035455.218 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545035455.219 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035455.219 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035455.219 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.219 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.219 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.219 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.219 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.219 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.219 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.219 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.219 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.219 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.219 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.219 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.219 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545035455.219 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2)
1545035455.220 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545035455.220 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1545035455.220 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545035455.220 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545035455.220 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035455.220 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545035455.220 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545035455.220 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545035455.220 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035455.220 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545035455.220 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545035455.220 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545035455.220 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035455.220 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545035455.220 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545035455.220 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545035455.221 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545035455.221 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545035455.221 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545035455.222 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545035455.222 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.222 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.222 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.223 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545035455.223 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.225 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
1545035455.225 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.225 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.225 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.225 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.226 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 2) into 0
1545035455.227 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.230 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh c) (log1p a)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh c) (log1p a)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 6) into 0
1545035455.230 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.230 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.230 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.230 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545035455.230 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545035455.230 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1545035455.230 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545035455.230 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545035455.230 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035455.231 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545035455.231 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545035455.231 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545035455.231 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035455.231 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545035455.231 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545035455.231 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545035455.231 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035455.231 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545035455.231 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545035455.231 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545035455.232 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545035455.232 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545035455.232 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545035455.233 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545035455.233 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.233 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.233 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.234 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545035455.234 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.236 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
1545035455.236 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.236 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.236 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.236 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.238 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 2) into 0
1545035455.238 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.241 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0
1545035455.241 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.241 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.241 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.241 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1545035455.241 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545035455.241 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1545035455.241 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545035455.241 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545035455.242 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035455.242 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545035455.242 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545035455.242 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545035455.242 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035455.242 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545035455.242 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545035455.242 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545035455.242 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035455.242 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545035455.243 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545035455.243 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545035455.243 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545035455.243 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545035455.243 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545035455.244 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545035455.244 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.244 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.244 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.245 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545035455.245 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.247 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
1545035455.247 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.247 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.247 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.247 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.249 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
1545035455.249 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.252 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 6) into 0
1545035455.252 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035455.252 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.252 * [misc]backup-simplify:  Simplify 0 into 0
1545035455.252 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1545035455.252 * * * [misc]progress:  simplifying candidates
1545035455.252 * * * * [misc]progress:  [ 1 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (pow (fmod (cosh c) (log1p a)) 1))))))>
1545035455.252 * * * * [misc]progress:  [ 2 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1545035455.252 * * * * [misc]progress:  [ 3 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))>
1545035455.252 * * * * [misc]progress:  [ 4 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))>
1545035455.252 * * * * [misc]progress:  [ 5 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))>
1545035455.252 * * * * [misc]progress:  [ 6 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))>
1545035455.252 * * * * [misc]progress:  [ 7 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* 1 (fmod (cosh c) (log1p a))))))))>
1545035455.252 * * * * [misc]progress:  [ 8 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (log (fmod (cosh c) (log1p a)))))))>
1545035455.252 * * * * [misc]progress:  [ 9 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (log (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1545035455.252 * * * * [misc]progress:  [ 10 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1545035455.252 * * * * [misc]progress:  [ 11 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1545035455.252 * * * * [misc]progress:  [ 12 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1545035455.252 * * * * [misc]progress:  [ 13 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1545035455.252 * * * * [misc]progress:  [ 14 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))))))>
1545035455.252 * * * * [misc]progress:  [ 15 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (pow (fmod (cosh c) (log1p a)) 1)) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545035455.252 * * * * [misc]progress:  [ 16 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (exp (log (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545035455.252 * * * * [misc]progress:  [ 17 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545035455.253 * * * * [misc]progress:  [ 18 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545035455.253 * * * * [misc]progress:  [ 19 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545035455.253 * * * * [misc]progress:  [ 20 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545035455.253 * * * * [misc]progress:  [ 21 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (* 1 (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545035455.253 * * * * [misc]progress:  [ 22 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1545035455.253 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1545035455.253 * * [misc]simplify:  iters left: 6 (8 enodes)
1545035455.254 * * [misc]simplify:  iters left: 5 (16 enodes)
1545035455.256 * * [misc]simplify:  iters left: 4 (19 enodes)
1545035455.259 * * [misc]simplify:  iters left: 3 (21 enodes)
1545035455.262 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1545035455.262 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1545035455.262 * * * * [misc]progress:  [ 23 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))>
1545035455.262 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1545035455.262 * * [misc]simplify:  iters left: 4 (7 enodes)
1545035455.265 * * [misc]simplify:  iters left: 3 (13 enodes)
1545035455.267 * * [misc]simplify:  iters left: 2 (16 enodes)
1545035455.269 * * [misc]simplify:  iters left: 1 (18 enodes)
1545035455.271 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1545035455.271 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))
1545035455.271 * * * * [misc]progress:  [ 24 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log 1) (log (fmod (cosh c) (log1p a))))))))>
1545035455.271 * [enter]simplify:  Simplifying (log 1)
1545035455.271 * * [misc]simplify:  iters left: 1 (2 enodes)
1545035455.273 * [exit]simplify:  Simplified to 0
1545035455.273 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ 0 (log (fmod (cosh c) (log1p a))))))))
1545035455.273 * * * * [misc]progress:  [ 25 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a))))))))>
1545035455.273 * * * * [misc]progress:  [ 26 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (pow (log (fmod (cosh c) (log1p a))) 1)))))>
1545035455.273 * * * * [misc]progress:  [ 27 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545035455.273 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545035455.273 * * [misc]simplify:  iters left: 2 (5 enodes)
1545035455.274 * * [misc]simplify:  iters left: 1 (11 enodes)
1545035455.275 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545035455.275 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545035455.275 * * * * [misc]progress:  [ 28 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (exp (log (log (fmod (cosh c) (log1p a)))))))))>
1545035455.275 * * * * [misc]progress:  [ 29 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1545035455.275 * * * * [misc]progress:  [ 30 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545035455.275 * * * * [misc]progress:  [ 31 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545035455.275 * * * * [misc]progress:  [ 32 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))))>
1545035455.275 * * * * [misc]progress:  [ 33 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a))))))))>
1545035455.275 * * * * [misc]progress:  [ 34 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545035455.276 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545035455.276 * * [misc]simplify:  iters left: 2 (5 enodes)
1545035455.276 * * [misc]simplify:  iters left: 1 (11 enodes)
1545035455.278 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545035455.278 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545035455.278 * * * * [misc]progress:  [ 35 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545035455.278 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545035455.278 * * [misc]simplify:  iters left: 2 (5 enodes)
1545035455.279 * * [misc]simplify:  iters left: 1 (11 enodes)
1545035455.281 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545035455.281 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545035455.281 * * * * [misc]progress:  [ 36 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545035455.281 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545035455.281 * * [misc]simplify:  iters left: 2 (5 enodes)
1545035455.282 * * [misc]simplify:  iters left: 1 (11 enodes)
1545035455.284 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545035455.284 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545035455.284 * * * * [misc]progress:  [ 37 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545035455.284 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545035455.284 * * [misc]simplify:  iters left: 2 (5 enodes)
1545035455.285 * * [misc]simplify:  iters left: 1 (11 enodes)
1545035455.287 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545035455.287 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545035455.287 * * * * [misc]progress:  [ 38 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545035455.287 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545035455.287 * * [misc]simplify:  iters left: 2 (5 enodes)
1545035455.288 * * [misc]simplify:  iters left: 1 (11 enodes)
1545035455.289 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545035455.289 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545035455.290 * * * * [misc]progress:  [ 39 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545035455.290 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545035455.290 * * [misc]simplify:  iters left: 2 (5 enodes)
1545035455.290 * * [misc]simplify:  iters left: 1 (11 enodes)
1545035455.292 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545035455.292 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545035455.292 * * * * [misc]progress:  [ 40 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545035455.292 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545035455.292 * * [misc]simplify:  iters left: 2 (5 enodes)
1545035455.293 * * [misc]simplify:  iters left: 1 (11 enodes)
1545035455.294 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545035455.294 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545035455.294 * * * * [misc]progress:  [ 41 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545035455.295 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545035455.295 * * [misc]simplify:  iters left: 2 (5 enodes)
1545035455.295 * * [misc]simplify:  iters left: 1 (11 enodes)
1545035455.297 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545035455.297 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545035455.297 * * * * [misc]progress:  [ 42 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545035455.297 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545035455.297 * * [misc]simplify:  iters left: 2 (5 enodes)
1545035455.298 * * [misc]simplify:  iters left: 1 (11 enodes)
1545035455.299 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545035455.299 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545035455.299 * * * * [misc]progress:  [ 43 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545035455.299 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545035455.299 * * [misc]simplify:  iters left: 3 (6 enodes)
1545035455.301 * * [misc]simplify:  iters left: 2 (12 enodes)
1545035455.304 * * [misc]simplify:  iters left: 1 (15 enodes)
1545035455.309 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545035455.309 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545035455.309 * * * * [misc]progress:  [ 44 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545035455.309 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545035455.309 * * [misc]simplify:  iters left: 3 (6 enodes)
1545035455.311 * * [misc]simplify:  iters left: 2 (12 enodes)
1545035455.314 * * [misc]simplify:  iters left: 1 (15 enodes)
1545035455.318 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545035455.318 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545035455.318 * * * * [misc]progress:  [ 45 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545035455.319 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545035455.319 * * [misc]simplify:  iters left: 3 (6 enodes)
1545035455.320 * * [misc]simplify:  iters left: 2 (12 enodes)
1545035455.324 * * [misc]simplify:  iters left: 1 (15 enodes)
1545035455.328 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545035455.328 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1545035455.328 * * * [misc]progress:  adding candidates to table
1545035455.976 * * [misc]progress:  iteration 4 / 4
1545035455.976 * * * [misc]progress:  picking best candidate
1545035456.111 * * * * [misc]pick:  Picked  #<alt (λ (a c) (fmod (/ (+ (exp c) (exp (- c))) 2) (log1p a)))>
1545035456.111 * * * [misc]progress:  localizing error
1545035456.145 * * * [misc]progress:  generating rewritten candidates
1545035456.145 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
1545035456.146 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1 1)
1545035456.152 * * * [misc]progress:  generating series expansions
1545035456.153 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
1545035456.153 * [misc]backup-simplify:  Simplify (fmod (/ (+ (exp c) (exp (- c))) 2) (log1p a)) into (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a))
1545035456.153 * [misc]approximate:  Taking taylor expansion of (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)) in (c a) around 0
1545035456.153 * [misc]taylor:  Taking taylor expansion of (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)) in a
1545035456.153 * [misc]backup-simplify:  Simplify (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)) into (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a))
1545035456.153 * [misc]taylor:  Taking taylor expansion of (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)) in c
1545035456.153 * [misc]backup-simplify:  Simplify (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)) into (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a))
1545035456.153 * [misc]taylor:  Taking taylor expansion of (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)) in c
1545035456.153 * [misc]backup-simplify:  Simplify (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)) into (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a))
1545035456.153 * [misc]taylor:  Taking taylor expansion of (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)) in a
1545035456.153 * [misc]backup-simplify:  Simplify (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)) into (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a))
1545035456.153 * [misc]backup-simplify:  Simplify (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)) into (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a))
1545035456.153 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035456.153 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.153 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.153 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.153 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035456.153 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.153 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.154 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.154 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.154 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035456.154 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.154 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.154 * [misc]backup-simplify:  Simplify (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)) into (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a))
1545035456.154 * [misc]backup-simplify:  Simplify (fmod (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2) (log1p (/ 1 a))) into (fmod (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (log1p (/ 1 a)))
1545035456.154 * [misc]approximate:  Taking taylor expansion of (fmod (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (log1p (/ 1 a))) in (c a) around 0
1545035456.154 * [misc]taylor:  Taking taylor expansion of (fmod (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (log1p (/ 1 a))) in a
1545035456.154 * [misc]backup-simplify:  Simplify (fmod (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (log1p (/ 1 a))) into (fmod (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (log1p (/ 1 a)))
1545035456.154 * [misc]taylor:  Taking taylor expansion of (fmod (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (log1p (/ 1 a))) in c
1545035456.154 * [misc]backup-simplify:  Simplify (fmod (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (log1p (/ 1 a))) into (fmod (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (log1p (/ 1 a)))
1545035456.154 * [misc]taylor:  Taking taylor expansion of (fmod (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (log1p (/ 1 a))) in c
1545035456.154 * [misc]backup-simplify:  Simplify (fmod (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (log1p (/ 1 a))) into (fmod (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (log1p (/ 1 a)))
1545035456.154 * [misc]taylor:  Taking taylor expansion of (fmod (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (log1p (/ 1 a))) in a
1545035456.154 * [misc]backup-simplify:  Simplify (fmod (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (log1p (/ 1 a))) into (fmod (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (log1p (/ 1 a)))
1545035456.155 * [misc]backup-simplify:  Simplify (fmod (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (log1p (/ 1 a))) into (fmod (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (log1p (/ 1 a)))
1545035456.155 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035456.155 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.155 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.155 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.155 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035456.155 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.155 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.155 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.155 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.155 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035456.155 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.155 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.155 * [misc]backup-simplify:  Simplify (fmod (* 1/2 (+ (exp (- (/ 1 (/ 1 c)))) (exp (/ 1 (/ 1 c))))) (log1p (/ 1 (/ 1 a)))) into (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a))
1545035456.155 * [misc]backup-simplify:  Simplify (fmod (/ (+ (exp (/ 1 (- c))) (exp (- (/ 1 (- c))))) 2) (log1p (/ 1 (- a)))) into (fmod (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (log1p (/ -1 a)))
1545035456.155 * [misc]approximate:  Taking taylor expansion of (fmod (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (log1p (/ -1 a))) in (c a) around 0
1545035456.155 * [misc]taylor:  Taking taylor expansion of (fmod (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (log1p (/ -1 a))) in a
1545035456.155 * [misc]backup-simplify:  Simplify (fmod (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (log1p (/ -1 a))) into (fmod (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (log1p (/ -1 a)))
1545035456.155 * [misc]taylor:  Taking taylor expansion of (fmod (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (log1p (/ -1 a))) in c
1545035456.155 * [misc]backup-simplify:  Simplify (fmod (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (log1p (/ -1 a))) into (fmod (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (log1p (/ -1 a)))
1545035456.155 * [misc]taylor:  Taking taylor expansion of (fmod (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (log1p (/ -1 a))) in c
1545035456.156 * [misc]backup-simplify:  Simplify (fmod (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (log1p (/ -1 a))) into (fmod (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (log1p (/ -1 a)))
1545035456.156 * [misc]taylor:  Taking taylor expansion of (fmod (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (log1p (/ -1 a))) in a
1545035456.156 * [misc]backup-simplify:  Simplify (fmod (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (log1p (/ -1 a))) into (fmod (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (log1p (/ -1 a)))
1545035456.156 * [misc]backup-simplify:  Simplify (fmod (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (log1p (/ -1 a))) into (fmod (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (log1p (/ -1 a)))
1545035456.156 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035456.156 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.156 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.156 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.156 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035456.156 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.156 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.156 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.156 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.156 * [misc]taylor:  Taking taylor expansion of 0 in a
1545035456.156 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.156 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.156 * [misc]backup-simplify:  Simplify (fmod (* 1/2 (+ (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (* 1/2 (+ (exp (* -1 c)) (exp c))) (log1p a))
1545035456.156 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1 1)
1545035456.156 * [misc]backup-simplify:  Simplify (+ (exp c) (exp (- c))) into (+ (exp c) (exp (- c)))
1545035456.156 * [misc]approximate:  Taking taylor expansion of (+ (exp c) (exp (- c))) in (c) around 0
1545035456.156 * [misc]taylor:  Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1545035456.156 * [misc]taylor:  Taking taylor expansion of (exp c) in c
1545035456.156 * [misc]taylor:  Taking taylor expansion of c in c
1545035456.156 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.156 * [misc]backup-simplify:  Simplify 1 into 1
1545035456.156 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545035456.157 * [misc]taylor:  Taking taylor expansion of (exp (- c)) in c
1545035456.157 * [misc]taylor:  Taking taylor expansion of (- c) in c
1545035456.157 * [misc]taylor:  Taking taylor expansion of c in c
1545035456.157 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.157 * [misc]backup-simplify:  Simplify 1 into 1
1545035456.157 * [misc]backup-simplify:  Simplify (- 0) into 0
1545035456.157 * [misc]backup-simplify:  Simplify (- 1) into -1
1545035456.157 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545035456.157 * [misc]taylor:  Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1545035456.157 * [misc]taylor:  Taking taylor expansion of (exp c) in c
1545035456.157 * [misc]taylor:  Taking taylor expansion of c in c
1545035456.157 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.157 * [misc]backup-simplify:  Simplify 1 into 1
1545035456.157 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545035456.157 * [misc]taylor:  Taking taylor expansion of (exp (- c)) in c
1545035456.157 * [misc]taylor:  Taking taylor expansion of (- c) in c
1545035456.157 * [misc]taylor:  Taking taylor expansion of c in c
1545035456.157 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.157 * [misc]backup-simplify:  Simplify 1 into 1
1545035456.157 * [misc]backup-simplify:  Simplify (- 0) into 0
1545035456.157 * [misc]backup-simplify:  Simplify (- 1) into -1
1545035456.157 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545035456.158 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1545035456.158 * [misc]backup-simplify:  Simplify 2 into 2
1545035456.159 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1545035456.159 * [misc]backup-simplify:  Simplify (- 1) into -1
1545035456.160 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
1545035456.160 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1545035456.160 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.161 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1545035456.161 * [misc]backup-simplify:  Simplify (- 1) into -1
1545035456.161 * [misc]backup-simplify:  Simplify (- 0) into 0
1545035456.163 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1545035456.163 * [misc]backup-simplify:  Simplify (+ 1/2 1/2) into 1
1545035456.163 * [misc]backup-simplify:  Simplify 1 into 1
1545035456.165 * [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
1545035456.165 * [misc]backup-simplify:  Simplify (- 1) into -1
1545035456.165 * [misc]backup-simplify:  Simplify (- 1) into -1
1545035456.165 * [misc]backup-simplify:  Simplify (- 0) into 0
1545035456.165 * [misc]backup-simplify:  Simplify (- 0) into 0
1545035456.167 * [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
1545035456.168 * [misc]backup-simplify:  Simplify (+ 1/6 -1/6) into 0
1545035456.168 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.171 * [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
1545035456.171 * [misc]backup-simplify:  Simplify (- 1) into -1
1545035456.171 * [misc]backup-simplify:  Simplify (- 1) into -1
1545035456.171 * [misc]backup-simplify:  Simplify (- 0) into 0
1545035456.172 * [misc]backup-simplify:  Simplify (- 1) into -1
1545035456.172 * [misc]backup-simplify:  Simplify (- 0) into 0
1545035456.172 * [misc]backup-simplify:  Simplify (- 0) into 0
1545035456.172 * [misc]backup-simplify:  Simplify (- 0) into 0
1545035456.175 * [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
1545035456.175 * [misc]backup-simplify:  Simplify (+ 1/24 1/24) into 1/12
1545035456.175 * [misc]backup-simplify:  Simplify 1/12 into 1/12
1545035456.176 * [misc]backup-simplify:  Simplify (+ (* 1/12 (pow c 4)) (+ (* 1 (pow c 2)) 2)) into (+ (pow c 2) (+ (* 1/12 (pow c 4)) 2))
1545035456.176 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (- (/ 1 c))) (exp (/ 1 c)))
1545035456.176 * [misc]approximate:  Taking taylor expansion of (+ (exp (- (/ 1 c))) (exp (/ 1 c))) in (c) around 0
1545035456.176 * [misc]taylor:  Taking taylor expansion of (+ (exp (- (/ 1 c))) (exp (/ 1 c))) in c
1545035456.176 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 c))) in c
1545035456.176 * [misc]taylor:  Taking taylor expansion of (- (/ 1 c)) in c
1545035456.176 * [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
1545035456.176 * [misc]taylor:  Taking taylor expansion of c in c
1545035456.176 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.176 * [misc]backup-simplify:  Simplify 1 into 1
1545035456.176 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545035456.177 * [misc]backup-simplify:  Simplify (- 1) into -1
1545035456.177 * [misc]backup-simplify:  Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
1545035456.177 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 c)) in c
1545035456.177 * [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
1545035456.177 * [misc]taylor:  Taking taylor expansion of c in c
1545035456.177 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.177 * [misc]backup-simplify:  Simplify 1 into 1
1545035456.177 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545035456.177 * [misc]backup-simplify:  Simplify (exp (/ 1 c)) into (exp (/ 1 c))
1545035456.177 * [misc]taylor:  Taking taylor expansion of (+ (exp (- (/ 1 c))) (exp (/ 1 c))) in c
1545035456.177 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 c))) in c
1545035456.177 * [misc]taylor:  Taking taylor expansion of (- (/ 1 c)) in c
1545035456.177 * [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
1545035456.177 * [misc]taylor:  Taking taylor expansion of c in c
1545035456.177 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.177 * [misc]backup-simplify:  Simplify 1 into 1
1545035456.177 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545035456.178 * [misc]backup-simplify:  Simplify (- 1) into -1
1545035456.178 * [misc]backup-simplify:  Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
1545035456.178 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 c)) in c
1545035456.178 * [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
1545035456.178 * [misc]taylor:  Taking taylor expansion of c in c
1545035456.178 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.178 * [misc]backup-simplify:  Simplify 1 into 1
1545035456.178 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545035456.178 * [misc]backup-simplify:  Simplify (exp (/ 1 c)) into (exp (/ 1 c))
1545035456.178 * [misc]backup-simplify:  Simplify (+ (exp (- (/ 1 c))) (exp (/ 1 c))) into (+ (exp (- (/ 1 c))) (exp (/ 1 c)))
1545035456.178 * [misc]backup-simplify:  Simplify (+ (exp (- (/ 1 c))) (exp (/ 1 c))) into (+ (exp (- (/ 1 c))) (exp (/ 1 c)))
1545035456.179 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035456.179 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.179 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035456.179 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.179 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035456.179 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.179 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035456.179 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.179 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035456.179 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.180 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035456.180 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.180 * [misc]backup-simplify:  Simplify (+ (exp (- (/ 1 (/ 1 c)))) (exp (/ 1 (/ 1 c)))) into (+ (exp c) (exp (- c)))
1545035456.180 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 (- c))) (exp (- (/ 1 (- c))))) into (+ (exp (/ -1 c)) (exp (/ 1 c)))
1545035456.180 * [misc]approximate:  Taking taylor expansion of (+ (exp (/ -1 c)) (exp (/ 1 c))) in (c) around 0
1545035456.180 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ -1 c)) (exp (/ 1 c))) in c
1545035456.180 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 c)) in c
1545035456.180 * [misc]taylor:  Taking taylor expansion of (/ -1 c) in c
1545035456.180 * [misc]taylor:  Taking taylor expansion of -1 in c
1545035456.180 * [misc]backup-simplify:  Simplify -1 into -1
1545035456.180 * [misc]taylor:  Taking taylor expansion of c in c
1545035456.180 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.180 * [misc]backup-simplify:  Simplify 1 into 1
1545035456.180 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545035456.181 * [misc]backup-simplify:  Simplify (exp (/ -1 c)) into (exp (/ -1 c))
1545035456.181 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 c)) in c
1545035456.181 * [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
1545035456.181 * [misc]taylor:  Taking taylor expansion of c in c
1545035456.181 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.181 * [misc]backup-simplify:  Simplify 1 into 1
1545035456.181 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545035456.181 * [misc]backup-simplify:  Simplify (exp (/ 1 c)) into (exp (/ 1 c))
1545035456.181 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ -1 c)) (exp (/ 1 c))) in c
1545035456.181 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 c)) in c
1545035456.181 * [misc]taylor:  Taking taylor expansion of (/ -1 c) in c
1545035456.181 * [misc]taylor:  Taking taylor expansion of -1 in c
1545035456.181 * [misc]backup-simplify:  Simplify -1 into -1
1545035456.181 * [misc]taylor:  Taking taylor expansion of c in c
1545035456.181 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.181 * [misc]backup-simplify:  Simplify 1 into 1
1545035456.181 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545035456.181 * [misc]backup-simplify:  Simplify (exp (/ -1 c)) into (exp (/ -1 c))
1545035456.181 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 c)) in c
1545035456.181 * [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
1545035456.181 * [misc]taylor:  Taking taylor expansion of c in c
1545035456.182 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.182 * [misc]backup-simplify:  Simplify 1 into 1
1545035456.182 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545035456.182 * [misc]backup-simplify:  Simplify (exp (/ 1 c)) into (exp (/ 1 c))
1545035456.182 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 c)) (exp (/ 1 c))) into (+ (exp (/ -1 c)) (exp (/ 1 c)))
1545035456.182 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 c)) (exp (/ 1 c))) into (+ (exp (/ -1 c)) (exp (/ 1 c)))
1545035456.182 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035456.182 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.182 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035456.183 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.183 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035456.183 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.183 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035456.183 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.183 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035456.183 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.183 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545035456.183 * [misc]backup-simplify:  Simplify 0 into 0
1545035456.184 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c))))) into (+ (exp (* -1 c)) (exp c))
1545035456.184 * * * [misc]progress:  simplifying candidates
1545035456.184 * * * * [misc]progress:  [ 1 / 25 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (/ (+ (exp c) (exp (- c))) 2) (log1p a)) 1))>
1545035456.184 * * * * [misc]progress:  [ 2 / 25 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (/ (+ (exp c) (exp (- c))) 2) (log1p a)))))>
1545035456.184 * * * * [misc]progress:  [ 3 / 25 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (/ (+ (exp c) (exp (- c))) 2) (log1p a)))))>
1545035456.184 * * * * [misc]progress:  [ 4 / 25 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (/ (+ (exp c) (exp (- c))) 2) (log1p a))) (cbrt (fmod (/ (+ (exp c) (exp (- c))) 2) (log1p a)))) (cbrt (fmod (/ (+ (exp c) (exp (- c))) 2) (log1p a)))))>
1545035456.184 * * * * [misc]progress:  [ 5 / 25 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (fmod (/ (+ (exp c) (exp (- c))) 2) (log1p a)) (fmod (/ (+ (exp c) (exp (- c))) 2) (log1p a))) (fmod (/ (+ (exp c) (exp (- c))) 2) (log1p a)))))>
1545035456.184 * * * * [misc]progress:  [ 6 / 25 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (/ (+ (exp c) (exp (- c))) 2) (log1p a))) (sqrt (fmod (/ (+ (exp c) (exp (- c))) 2) (log1p a)))))>
1545035456.184 * * * * [misc]progress:  [ 7 / 25 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (/ (+ (exp c) (exp (- c))) 2) (log1p a))))>
1545035456.184 * * * * [misc]progress:  [ 8 / 25 ] simplifiying candidate #<alt (λ (a c) (fmod (/ (log (* (exp (exp c)) (exp (exp (- c))))) 2) (log1p a)))>
1545035456.184 * [enter]simplify:  Simplifying (* (exp (exp c)) (exp (exp (- c))))
1545035456.184 * * [misc]simplify:  iters left: 6 (7 enodes)
1545035456.187 * * [misc]simplify:  iters left: 5 (12 enodes)
1545035456.190 * * [misc]simplify:  iters left: 4 (16 enodes)
1545035456.194 * [exit]simplify:  Simplified to (exp (+ (exp c) (exp (- c))))
1545035456.194 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a c) (fmod (/ (log (exp (+ (exp c) (exp (- c))))) 2) (log1p a)))
1545035456.194 * * * * [misc]progress:  [ 9 / 25 ] simplifiying candidate #<alt (λ (a c) (fmod (/ (pow (+ (exp c) (exp (- c))) 1) 2) (log1p a)))>
1545035456.194 * * * * [misc]progress:  [ 10 / 25 ] simplifiying candidate #<alt (λ (a c) (fmod (/ (exp (log (+ (exp c) (exp (- c))))) 2) (log1p a)))>
1545035456.194 * * * * [misc]progress:  [ 11 / 25 ] simplifiying candidate #<alt (λ (a c) (fmod (/ (log (exp (+ (exp c) (exp (- c))))) 2) (log1p a)))>
1545035456.194 * * * * [misc]progress:  [ 12 / 25 ] simplifiying candidate #<alt (λ (a c) (fmod (/ (* (* (cbrt (+ (exp c) (exp (- c)))) (cbrt (+ (exp c) (exp (- c))))) (cbrt (+ (exp c) (exp (- c))))) 2) (log1p a)))>
1545035456.194 * * * * [misc]progress:  [ 13 / 25 ] simplifiying candidate #<alt (λ (a c) (fmod (/ (cbrt (* (* (+ (exp c) (exp (- c))) (+ (exp c) (exp (- c)))) (+ (exp c) (exp (- c))))) 2) (log1p a)))>
1545035456.194 * * * * [misc]progress:  [ 14 / 25 ] simplifiying candidate #<alt (λ (a c) (fmod (/ (* (sqrt (+ (exp c) (exp (- c)))) (sqrt (+ (exp c) (exp (- c))))) 2) (log1p a)))>
1545035456.194 * * * * [misc]progress:  [ 15 / 25 ] simplifiying candidate #<alt (λ (a c) (fmod (/ (/ (+ (pow (exp c) 3) (pow (exp (- c)) 3)) (+ (* (exp c) (exp c)) (- (* (exp (- c)) (exp (- c))) (* (exp c) (exp (- c)))))) 2) (log1p a)))>
1545035456.195 * * * * [misc]progress:  [ 16 / 25 ] simplifiying candidate #<alt (λ (a c) (fmod (/ (* 1 (+ (exp c) (exp (- c)))) 2) (log1p a)))>
1545035456.195 * * * * [misc]progress:  [ 17 / 25 ] simplifiying candidate #<alt (λ (a c) (fmod (/ (/ (- (* (exp c) (exp c)) (* (exp (- c)) (exp (- c)))) (- (exp c) (exp (- c)))) 2) (log1p a)))>
1545035456.195 * * * * [misc]progress:  [ 18 / 25 ] simplifiying candidate #<alt (λ (a c) (fmod (/ (* 1 (+ (exp c) (exp (- c)))) 2) (log1p a)))>
1545035456.195 * [enter]simplify:  Simplifying (+ (exp c) (exp (- c)))
1545035456.195 * * [misc]simplify:  iters left: 5 (5 enodes)
1545035456.197 * * [misc]simplify:  iters left: 4 (8 enodes)
1545035456.199 * * [misc]simplify:  iters left: 3 (10 enodes)
1545035456.201 * [exit]simplify:  Simplified to (+ (exp c) (exp (- c)))
1545035456.202 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a c) (fmod (/ (* 1 (+ (exp c) (exp (- c)))) 2) (log1p a)))
1545035456.202 * * * * [misc]progress:  [ 19 / 25 ] simplifiying candidate #<alt (λ (a c) (fmod (/ (+ (exp (- c)) (exp c)) 2) (log1p a)))>
1545035456.202 * * * * [misc]progress:  [ 20 / 25 ] simplifiying candidate #<alt (λ (a c) (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)))>
1545035456.202 * [enter]simplify:  Simplifying (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a))
1545035456.202 * * [misc]simplify:  iters left: 6 (10 enodes)
1545035456.206 * * [misc]simplify:  iters left: 5 (20 enodes)
1545035456.215 * * [misc]simplify:  iters left: 4 (28 enodes)
1545035456.224 * * [misc]simplify:  iters left: 3 (32 enodes)
1545035456.231 * * [misc]simplify:  iters left: 2 (36 enodes)
1545035456.240 * * [misc]simplify:  iters left: 1 (40 enodes)
1545035456.248 * [exit]simplify:  Simplified to (fmod (+ (/ 1/2 (exp c)) (* 1/2 (exp c))) (log1p a))
1545035456.248 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (+ (/ 1/2 (exp c)) (* 1/2 (exp c))) (log1p a)))
1545035456.248 * * * * [misc]progress:  [ 21 / 25 ] simplifiying candidate #<alt (λ (a c) (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)))>
1545035456.248 * [enter]simplify:  Simplifying (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a))
1545035456.248 * * [misc]simplify:  iters left: 6 (10 enodes)
1545035456.252 * * [misc]simplify:  iters left: 5 (20 enodes)
1545035456.260 * * [misc]simplify:  iters left: 4 (28 enodes)
1545035456.273 * * [misc]simplify:  iters left: 3 (32 enodes)
1545035456.280 * * [misc]simplify:  iters left: 2 (36 enodes)
1545035456.289 * * [misc]simplify:  iters left: 1 (40 enodes)
1545035456.296 * [exit]simplify:  Simplified to (fmod (+ (/ 1/2 (exp c)) (* 1/2 (exp c))) (log1p a))
1545035456.296 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (+ (/ 1/2 (exp c)) (* 1/2 (exp c))) (log1p a)))
1545035456.296 * * * * [misc]progress:  [ 22 / 25 ] simplifiying candidate #<alt (λ (a c) (fmod (* 1/2 (+ (exp (* -1 c)) (exp c))) (log1p a)))>
1545035456.296 * [enter]simplify:  Simplifying (fmod (* 1/2 (+ (exp (* -1 c)) (exp c))) (log1p a))
1545035456.296 * * [misc]simplify:  iters left: 6 (11 enodes)
1545035456.301 * * [misc]simplify:  iters left: 5 (23 enodes)
1545035456.308 * * [misc]simplify:  iters left: 4 (27 enodes)
1545035456.318 * * [misc]simplify:  iters left: 3 (34 enodes)
1545035456.326 * * [misc]simplify:  iters left: 2 (38 enodes)
1545035456.335 * * [misc]simplify:  iters left: 1 (42 enodes)
1545035456.343 * [exit]simplify:  Simplified to (fmod (+ (/ 1/2 (exp c)) (* (exp c) 1/2)) (log1p a))
1545035456.343 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (+ (/ 1/2 (exp c)) (* (exp c) 1/2)) (log1p a)))
1545035456.343 * * * * [misc]progress:  [ 23 / 25 ] simplifiying candidate #<alt (λ (a c) (fmod (/ (+ (pow c 2) (+ (* 1/12 (pow c 4)) 2)) 2) (log1p a)))>
1545035456.343 * [enter]simplify:  Simplifying (+ (pow c 2) (+ (* 1/12 (pow c 4)) 2))
1545035456.344 * * [misc]simplify:  iters left: 6 (9 enodes)
1545035456.347 * * [misc]simplify:  iters left: 5 (15 enodes)
1545035456.351 * * [misc]simplify:  iters left: 4 (21 enodes)
1545035456.357 * * [misc]simplify:  iters left: 3 (22 enodes)
1545035456.363 * [exit]simplify:  Simplified to (+ (+ 2 (* c c)) (* 1/12 (pow c 4)))
1545035456.363 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (fmod (/ (+ (+ 2 (* c c)) (* 1/12 (pow c 4))) 2) (log1p a)))
1545035456.363 * * * * [misc]progress:  [ 24 / 25 ] simplifiying candidate #<alt (λ (a c) (fmod (/ (+ (exp c) (exp (- c))) 2) (log1p a)))>
1545035456.363 * [enter]simplify:  Simplifying (+ (exp c) (exp (- c)))
1545035456.363 * * [misc]simplify:  iters left: 5 (5 enodes)
1545035456.365 * * [misc]simplify:  iters left: 4 (8 enodes)
1545035456.367 * * [misc]simplify:  iters left: 3 (10 enodes)
1545035456.369 * [exit]simplify:  Simplified to (+ (exp c) (exp (- c)))
1545035456.369 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (fmod (/ (+ (exp c) (exp (- c))) 2) (log1p a)))
1545035456.369 * * * * [misc]progress:  [ 25 / 25 ] simplifiying candidate #<alt (λ (a c) (fmod (/ (+ (exp (* -1 c)) (exp c)) 2) (log1p a)))>
1545035456.370 * [enter]simplify:  Simplifying (+ (exp (* -1 c)) (exp c))
1545035456.370 * * [misc]simplify:  iters left: 5 (6 enodes)
1545035456.372 * * [misc]simplify:  iters left: 4 (11 enodes)
1545035456.376 * * [misc]simplify:  iters left: 3 (13 enodes)
1545035456.380 * * [misc]simplify:  iters left: 2 (16 enodes)
1545035456.384 * [exit]simplify:  Simplified to (+ (exp (- c)) (exp c))
1545035456.384 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (fmod (/ (+ (exp (- c)) (exp c)) 2) (log1p a)))
1545035456.384 * * * [misc]progress:  adding candidates to table
1545035456.720 * [misc]progress:  [Phase 3 of 3] Extracting.
1545035456.720 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (/ (+ (pow c 2) (+ (* 1/12 (pow c 4)) 2)) 2) (log1p a)))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (/ (* (* (cbrt (+ (exp c) (exp (- c)))) (cbrt (+ (exp c) (exp (- c))))) (cbrt (+ (exp c) (exp (- c))))) 2) (log1p a)))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (/ (* (sqrt (+ (exp c) (exp (- c)))) (sqrt (+ (exp c) (exp (- c))))) 2) (log1p a)))> #<alt (λ (a c) (exp (log (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))>)
1545035456.722 * * * [misc]regime-changes:  Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a)))
1545035456.723 * * * * [misc]regimes:  Trying to branch on a from (#<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (/ (+ (pow c 2) (+ (* 1/12 (pow c 4)) 2)) 2) (log1p a)))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (/ (* (* (cbrt (+ (exp c) (exp (- c)))) (cbrt (+ (exp c) (exp (- c))))) (cbrt (+ (exp c) (exp (- c))))) 2) (log1p a)))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (/ (* (sqrt (+ (exp c) (exp (- c)))) (sqrt (+ (exp c) (exp (- c))))) 2) (log1p a)))> #<alt (λ (a c) (exp (log (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))>)
1545035456.844 * * * * [misc]regimes:  Trying to branch on (log1p a) from (#<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (/ (+ (pow c 2) (+ (* 1/12 (pow c 4)) 2)) 2) (log1p a)))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (/ (* (* (cbrt (+ (exp c) (exp (- c)))) (cbrt (+ (exp c) (exp (- c))))) (cbrt (+ (exp c) (exp (- c))))) 2) (log1p a)))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (/ (* (sqrt (+ (exp c) (exp (- c)))) (sqrt (+ (exp c) (exp (- c))))) 2) (log1p a)))> #<alt (λ (a c) (exp (log (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))>)
1545035456.958 * * * * [misc]regimes:  Trying to branch on c from (#<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (/ (+ (pow c 2) (+ (* 1/12 (pow c 4)) 2)) 2) (log1p a)))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (/ (* (* (cbrt (+ (exp c) (exp (- c)))) (cbrt (+ (exp c) (exp (- c))))) (cbrt (+ (exp c) (exp (- c))))) 2) (log1p a)))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (/ (* (sqrt (+ (exp c) (exp (- c)))) (sqrt (+ (exp c) (exp (- c))))) 2) (log1p a)))> #<alt (λ (a c) (exp (log (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))>)
1545035457.053 * * * * [misc]regimes:  Trying to branch on (cosh c) from (#<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (/ (+ (pow c 2) (+ (* 1/12 (pow c 4)) 2)) 2) (log1p a)))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (/ (* (* (cbrt (+ (exp c) (exp (- c)))) (cbrt (+ (exp c) (exp (- c))))) (cbrt (+ (exp c) (exp (- c))))) 2) (log1p a)))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (/ (* (sqrt (+ (exp c) (exp (- c)))) (sqrt (+ (exp c) (exp (- c))))) 2) (log1p a)))> #<alt (λ (a c) (exp (log (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))>)
1545035457.157 * * * * [misc]regimes:  Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (/ (+ (pow c 2) (+ (* 1/12 (pow c 4)) 2)) 2) (log1p a)))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (fmod (/ (* (* (cbrt (+ (exp c) (exp (- c)))) (cbrt (+ (exp c) (exp (- c))))) (cbrt (+ (exp c) (exp (- c))))) 2) (log1p a)))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (/ (* (sqrt (+ (exp c) (exp (- c)))) (sqrt (+ (exp c) (exp (- c))))) 2) (log1p a)))> #<alt (λ (a c) (exp (log (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))>)
1545035457.305 * * * [misc]regime:  Found split indices: #<option (#s(si 8 256))>
1545035457.305 * [enter]simplify:  Simplifying (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
1545035457.306 * * [misc]simplify:  iters left: 6 (10 enodes)
1545035457.306 * * [misc]simplify:  iters left: 5 (11 enodes)
1545035457.307 * [exit]simplify:  Simplified to (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))
1545035457.307 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545035469.337 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545035469.339 * * * * [misc]points:  Sampling 5001 additional inputs, on iter 1 have 2999 / 8000
1545035476.436 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545035476.437 * * * * [misc]points:  Sampling 3077 additional inputs, on iter 2 have 4923 / 8000
1545035480.624 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545035480.625 * * * * [misc]points:  Sampling 1891 additional inputs, on iter 3 have 6109 / 8000
1545035483.343 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545035483.343 * * * * [misc]points:  Sampling 1183 additional inputs, on iter 4 have 6817 / 8000
1545035484.920 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545035484.921 * * * * [misc]points:  Sampling 759 additional inputs, on iter 5 have 7241 / 8000
1545035485.947 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545035485.947 * * * * [misc]points:  Sampling 471 additional inputs, on iter 6 have 7529 / 8000
1545035486.981 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545035486.981 * * * * [misc]points:  Sampling 297 additional inputs, on iter 7 have 7703 / 8000
1545035487.363 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545035487.364 * * * * [misc]points:  Sampling 193 additional inputs, on iter 8 have 7807 / 8000
1545035487.641 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545035487.642 * * * * [misc]points:  Sampling 123 additional inputs, on iter 9 have 7877 / 8000
1545035487.840 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545035487.840 * * * * [misc]points:  Sampling 79 additional inputs, on iter 10 have 7921 / 8000
1545035487.924 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545035487.924 * * * * [misc]points:  Sampling 51 additional inputs, on iter 11 have 7949 / 8000
1545035487.970 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545035487.970 * * * * [misc]points:  Sampling 32 additional inputs, on iter 12 have 7968 / 8000
1545035488.003 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545035488.003 * * * * [misc]points:  Sampling 24 additional inputs, on iter 13 have 7976 / 8000
1545035488.037 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545035488.037 * * * * [misc]points:  Sampling 13 additional inputs, on iter 14 have 7987 / 8000
1545035488.095 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545035488.096 * * * * [misc]points:  Sampling 6 additional inputs, on iter 15 have 7994 / 8000
1545035488.105 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545035488.105 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 7997 / 8000
1545035488.107 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545035488.107 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 7997 / 8000
1545035488.115 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545035488.115 * * * * [misc]points:  Sampling 4 additional inputs, on iter 18 have 7998 / 8000
1545035488.126 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545035488.126 * * * * [exit]points:  Sampled 8000 points with exact outputs
1545035490.478 * [misc]regime-testing:  Baseline error score: 34.12939169358932
1545035490.478 * [misc]regime-testing:  End program error score: 34.12939169358932
1545035490.481 * [misc]regime-testing:  Oracle error score: 32.85773498151444