1545040308.658 * [misc]progress:  [Phase 1 of 3] Setting up.
1545040308.658 * * * [misc]progress:  [1/2] Preparing points
1545040308.658 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545040308.998 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040308.999 * * * * [misc]points:  Sampling 171 additional inputs, on iter 1 have 85 / 256
1545040309.216 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040309.217 * * * * [misc]points:  Sampling 104 additional inputs, on iter 2 have 152 / 256
1545040309.377 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040309.377 * * * * [misc]points:  Sampling 73 additional inputs, on iter 3 have 183 / 256
1545040309.489 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040309.489 * * * * [misc]points:  Sampling 48 additional inputs, on iter 4 have 208 / 256
1545040309.538 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040309.538 * * * * [misc]points:  Sampling 33 additional inputs, on iter 5 have 223 / 256
1545040309.626 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040309.626 * * * * [misc]points:  Sampling 19 additional inputs, on iter 6 have 237 / 256
1545040309.657 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040309.657 * * * * [misc]points:  Sampling 14 additional inputs, on iter 7 have 242 / 256
1545040309.675 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040309.675 * * * * [misc]points:  Sampling 10 additional inputs, on iter 8 have 246 / 256
1545040309.689 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040309.689 * * * * [misc]points:  Sampling 4 additional inputs, on iter 9 have 252 / 256
1545040309.694 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040309.694 * * * * [misc]points:  Sampling 4 additional inputs, on iter 10 have 253 / 256
1545040309.703 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040309.703 * * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 254 / 256
1545040309.713 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040309.713 * * * * [exit]points:  Sampled 256 points with exact outputs
1545040309.714 * * * [misc]progress:  [2/2] Setting up program.
1545040309.721 * [misc]progress:  [Phase 2 of 3] Improving.
1545040309.722 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545040309.723 * * [misc]simplify:  iters left: 2 (5 enodes)
1545040309.729 * * [misc]simplify:  iters left: 1 (11 enodes)
1545040309.734 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545040309.745 * * [misc]progress:  iteration 1 / 4
1545040309.745 * * * [misc]progress:  picking best candidate
1545040309.748 * * * * [misc]pick:  Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545040309.748 * * * [misc]progress:  localizing error
1545040309.761 * * * [misc]progress:  generating rewritten candidates
1545040309.761 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
1545040309.763 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1)
1545040309.763 * * * [misc]progress:  generating series expansions
1545040309.763 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
1545040309.766 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040309.766 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545040309.766 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545040309.768 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040309.768 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545040309.768 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040309.768 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545040309.768 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040309.786 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545040309.786 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040309.786 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040309.786 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040309.786 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.786 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.786 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.787 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040309.787 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.787 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.787 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.787 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.787 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040309.787 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.787 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.787 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040309.789 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040309.789 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545040309.789 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545040309.789 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040309.789 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545040309.789 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040309.789 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545040309.790 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040309.790 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545040309.790 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040309.790 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040309.790 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040309.790 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.790 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.790 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.790 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040309.790 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.790 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.790 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.790 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.790 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040309.790 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.790 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.790 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545040309.791 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040309.791 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545040309.791 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545040309.791 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040309.791 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545040309.791 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040309.791 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545040309.791 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040309.791 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545040309.791 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040309.791 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040309.791 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040309.791 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.791 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.791 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.791 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040309.791 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.791 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.791 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.791 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.791 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040309.791 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.791 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.792 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545040309.792 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1)
1545040309.792 * [misc]backup-simplify:  Simplify (cosh c) into (cosh c)
1545040309.792 * [misc]approximate:  Taking taylor expansion of (cosh c) in (c) around 0
1545040309.792 * [misc]taylor:  Taking taylor expansion of (cosh c) in c
1545040309.792 * [misc]taylor:  Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1545040309.792 * [misc]taylor:  Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1545040309.792 * [misc]taylor:  Taking taylor expansion of (exp c) in c
1545040309.792 * [misc]taylor:  Taking taylor expansion of c in c
1545040309.792 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.792 * [misc]backup-simplify:  Simplify 1 into 1
1545040309.792 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545040309.792 * [misc]taylor:  Taking taylor expansion of (exp (- c)) in c
1545040309.792 * [misc]taylor:  Taking taylor expansion of (- c) in c
1545040309.792 * [misc]taylor:  Taking taylor expansion of c in c
1545040309.792 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.792 * [misc]backup-simplify:  Simplify 1 into 1
1545040309.792 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040309.792 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040309.792 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545040309.793 * [misc]taylor:  Taking taylor expansion of 2 in c
1545040309.793 * [misc]backup-simplify:  Simplify 2 into 2
1545040309.793 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1545040309.793 * [misc]backup-simplify:  Simplify (/ 2 2) into 1
1545040309.793 * [misc]taylor:  Taking taylor expansion of (cosh c) in c
1545040309.793 * [misc]taylor:  Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1545040309.793 * [misc]taylor:  Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1545040309.793 * [misc]taylor:  Taking taylor expansion of (exp c) in c
1545040309.793 * [misc]taylor:  Taking taylor expansion of c in c
1545040309.793 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.793 * [misc]backup-simplify:  Simplify 1 into 1
1545040309.793 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545040309.793 * [misc]taylor:  Taking taylor expansion of (exp (- c)) in c
1545040309.793 * [misc]taylor:  Taking taylor expansion of (- c) in c
1545040309.793 * [misc]taylor:  Taking taylor expansion of c in c
1545040309.793 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.794 * [misc]backup-simplify:  Simplify 1 into 1
1545040309.794 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040309.794 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040309.794 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545040309.794 * [misc]taylor:  Taking taylor expansion of 2 in c
1545040309.794 * [misc]backup-simplify:  Simplify 2 into 2
1545040309.794 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1545040309.794 * [misc]backup-simplify:  Simplify (/ 2 2) into 1
1545040309.794 * [misc]backup-simplify:  Simplify 1 into 1
1545040309.796 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1545040309.796 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040309.797 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
1545040309.797 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1545040309.797 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
1545040309.797 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.798 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1545040309.799 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040309.799 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040309.800 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1545040309.800 * [misc]backup-simplify:  Simplify (+ 1/2 1/2) into 1
1545040309.800 * [misc]backup-simplify:  Simplify (- (/ 1 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/2
1545040309.800 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1545040309.803 * [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
1545040309.803 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040309.803 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040309.803 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040309.803 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040309.805 * [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
1545040309.805 * [misc]backup-simplify:  Simplify (+ 1/6 -1/6) into 0
1545040309.806 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)))) into 0
1545040309.806 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.809 * [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
1545040309.810 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040309.810 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040309.810 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040309.810 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040309.810 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040309.810 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040309.810 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040309.813 * [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
1545040309.814 * [misc]backup-simplify:  Simplify (+ 1/24 1/24) into 1/12
1545040309.814 * [misc]backup-simplify:  Simplify (- (/ 1/12 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)) (* 0 (/ 0 2)))) into 1/24
1545040309.814 * [misc]backup-simplify:  Simplify 1/24 into 1/24
1545040309.815 * [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))
1545040309.815 * [misc]backup-simplify:  Simplify (cosh (/ 1 c)) into (cosh (/ 1 c))
1545040309.815 * [misc]approximate:  Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0
1545040309.815 * [misc]taylor:  Taking taylor expansion of (cosh (/ 1 c)) in c
1545040309.815 * [misc]taylor:  Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1545040309.815 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1545040309.815 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 c)) in c
1545040309.815 * [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
1545040309.815 * [misc]taylor:  Taking taylor expansion of c in c
1545040309.815 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.815 * [misc]backup-simplify:  Simplify 1 into 1
1545040309.815 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545040309.816 * [misc]backup-simplify:  Simplify (exp (/ 1 c)) into (exp (/ 1 c))
1545040309.816 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 c))) in c
1545040309.816 * [misc]taylor:  Taking taylor expansion of (- (/ 1 c)) in c
1545040309.816 * [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
1545040309.816 * [misc]taylor:  Taking taylor expansion of c in c
1545040309.816 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.816 * [misc]backup-simplify:  Simplify 1 into 1
1545040309.816 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545040309.816 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040309.816 * [misc]backup-simplify:  Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
1545040309.816 * [misc]taylor:  Taking taylor expansion of 2 in c
1545040309.816 * [misc]backup-simplify:  Simplify 2 into 2
1545040309.816 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (- (/ 1 c))) (exp (/ 1 c)))
1545040309.816 * [misc]backup-simplify:  Simplify (/ (+ (exp (- (/ 1 c))) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c))))
1545040309.816 * [misc]taylor:  Taking taylor expansion of (cosh (/ 1 c)) in c
1545040309.816 * [misc]taylor:  Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1545040309.816 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1545040309.816 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 c)) in c
1545040309.816 * [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
1545040309.816 * [misc]taylor:  Taking taylor expansion of c in c
1545040309.816 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.816 * [misc]backup-simplify:  Simplify 1 into 1
1545040309.817 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545040309.817 * [misc]backup-simplify:  Simplify (exp (/ 1 c)) into (exp (/ 1 c))
1545040309.817 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 c))) in c
1545040309.817 * [misc]taylor:  Taking taylor expansion of (- (/ 1 c)) in c
1545040309.817 * [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
1545040309.817 * [misc]taylor:  Taking taylor expansion of c in c
1545040309.817 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.817 * [misc]backup-simplify:  Simplify 1 into 1
1545040309.817 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545040309.817 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040309.817 * [misc]backup-simplify:  Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
1545040309.817 * [misc]taylor:  Taking taylor expansion of 2 in c
1545040309.817 * [misc]backup-simplify:  Simplify 2 into 2
1545040309.817 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (- (/ 1 c))) (exp (/ 1 c)))
1545040309.817 * [misc]backup-simplify:  Simplify (/ (+ (exp (- (/ 1 c))) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c))))
1545040309.817 * [misc]backup-simplify:  Simplify (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) into (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c))))
1545040309.817 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040309.818 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)))) into 0
1545040309.818 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.818 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040309.818 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
1545040309.818 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.818 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040309.819 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
1545040309.819 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.819 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040309.820 * [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
1545040309.820 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.820 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040309.820 * [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
1545040309.821 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.821 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040309.821 * [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
1545040309.821 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.822 * [misc]backup-simplify:  Simplify (* 1/2 (+ (exp (- (/ 1 (/ 1 c)))) (exp (/ 1 (/ 1 c))))) into (* 1/2 (+ (exp c) (exp (- c))))
1545040309.822 * [misc]backup-simplify:  Simplify (cosh (/ 1 (- c))) into (cosh (/ -1 c))
1545040309.822 * [misc]approximate:  Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0
1545040309.822 * [misc]taylor:  Taking taylor expansion of (cosh (/ -1 c)) in c
1545040309.822 * [misc]taylor:  Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1545040309.822 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1545040309.822 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 c)) in c
1545040309.822 * [misc]taylor:  Taking taylor expansion of (/ -1 c) in c
1545040309.822 * [misc]taylor:  Taking taylor expansion of -1 in c
1545040309.822 * [misc]backup-simplify:  Simplify -1 into -1
1545040309.822 * [misc]taylor:  Taking taylor expansion of c in c
1545040309.822 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.822 * [misc]backup-simplify:  Simplify 1 into 1
1545040309.822 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545040309.822 * [misc]backup-simplify:  Simplify (exp (/ -1 c)) into (exp (/ -1 c))
1545040309.822 * [misc]taylor:  Taking taylor expansion of (exp (- (/ -1 c))) in c
1545040309.822 * [misc]taylor:  Taking taylor expansion of (- (/ -1 c)) in c
1545040309.822 * [misc]taylor:  Taking taylor expansion of (/ -1 c) in c
1545040309.822 * [misc]taylor:  Taking taylor expansion of -1 in c
1545040309.822 * [misc]backup-simplify:  Simplify -1 into -1
1545040309.822 * [misc]taylor:  Taking taylor expansion of c in c
1545040309.822 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.822 * [misc]backup-simplify:  Simplify 1 into 1
1545040309.822 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545040309.822 * [misc]backup-simplify:  Simplify (- -1) into 1
1545040309.822 * [misc]backup-simplify:  Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
1545040309.822 * [misc]taylor:  Taking taylor expansion of 2 in c
1545040309.822 * [misc]backup-simplify:  Simplify 2 into 2
1545040309.822 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 c)) (exp (/ 1 c))) into (+ (exp (/ -1 c)) (exp (/ 1 c)))
1545040309.823 * [misc]backup-simplify:  Simplify (/ (+ (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c))))
1545040309.823 * [misc]taylor:  Taking taylor expansion of (cosh (/ -1 c)) in c
1545040309.823 * [misc]taylor:  Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1545040309.823 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1545040309.823 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 c)) in c
1545040309.823 * [misc]taylor:  Taking taylor expansion of (/ -1 c) in c
1545040309.823 * [misc]taylor:  Taking taylor expansion of -1 in c
1545040309.823 * [misc]backup-simplify:  Simplify -1 into -1
1545040309.823 * [misc]taylor:  Taking taylor expansion of c in c
1545040309.823 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.823 * [misc]backup-simplify:  Simplify 1 into 1
1545040309.823 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545040309.823 * [misc]backup-simplify:  Simplify (exp (/ -1 c)) into (exp (/ -1 c))
1545040309.823 * [misc]taylor:  Taking taylor expansion of (exp (- (/ -1 c))) in c
1545040309.823 * [misc]taylor:  Taking taylor expansion of (- (/ -1 c)) in c
1545040309.823 * [misc]taylor:  Taking taylor expansion of (/ -1 c) in c
1545040309.823 * [misc]taylor:  Taking taylor expansion of -1 in c
1545040309.823 * [misc]backup-simplify:  Simplify -1 into -1
1545040309.823 * [misc]taylor:  Taking taylor expansion of c in c
1545040309.823 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.823 * [misc]backup-simplify:  Simplify 1 into 1
1545040309.823 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545040309.823 * [misc]backup-simplify:  Simplify (- -1) into 1
1545040309.823 * [misc]backup-simplify:  Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
1545040309.823 * [misc]taylor:  Taking taylor expansion of 2 in c
1545040309.823 * [misc]backup-simplify:  Simplify 2 into 2
1545040309.823 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 c)) (exp (/ 1 c))) into (+ (exp (/ -1 c)) (exp (/ 1 c)))
1545040309.823 * [misc]backup-simplify:  Simplify (/ (+ (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c))))
1545040309.824 * [misc]backup-simplify:  Simplify (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c))))
1545040309.824 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040309.824 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
1545040309.824 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.824 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040309.824 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
1545040309.825 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.825 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040309.825 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
1545040309.825 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.825 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040309.826 * [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
1545040309.826 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.826 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040309.826 * [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
1545040309.827 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.827 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040309.827 * [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
1545040309.827 * [misc]backup-simplify:  Simplify 0 into 0
1545040309.828 * [misc]backup-simplify:  Simplify (* 1/2 (+ (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (+ (exp (* -1 c)) (exp c)))
1545040309.828 * * * [misc]progress:  simplifying candidates
1545040309.828 * * * * [misc]progress:  [ 1 / 25 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (fmod (cosh c) (log1p a)))))>
1545040309.828 * * * * [misc]progress:  [ 2 / 25 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (fmod (cosh c) (log1p a)))))>
1545040309.828 * * * * [misc]progress:  [ 3 / 25 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
1545040309.828 * * * * [misc]progress:  [ 4 / 25 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545040309.828 * * * * [misc]progress:  [ 5 / 25 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
1545040309.828 * * * * [misc]progress:  [ 6 / 25 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
1545040309.828 * * * * [misc]progress:  [ 7 / 25 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>
1545040309.828 * * * * [misc]progress:  [ 8 / 25 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
1545040309.828 * * * * [misc]progress:  [ 9 / 25 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
1545040309.828 * * * * [misc]progress:  [ 10 / 25 ] simplifiying candidate #<alt (λ (a c) (fmod (log1p (expm1 (cosh c))) (log1p a)))>
1545040309.828 * * * * [misc]progress:  [ 11 / 25 ] simplifiying candidate #<alt (λ (a c) (fmod (expm1 (log1p (cosh c))) (log1p a)))>
1545040309.828 * * * * [misc]progress:  [ 12 / 25 ] simplifiying candidate #<alt (λ (a c) (fmod (/ (+ (exp c) (exp (- c))) 2) (log1p a)))>
1545040309.828 * * * * [misc]progress:  [ 13 / 25 ] simplifiying candidate #<alt (λ (a c) (fmod (pow (cosh c) 1) (log1p a)))>
1545040309.828 * * * * [misc]progress:  [ 14 / 25 ] simplifiying candidate #<alt (λ (a c) (fmod (exp (log (cosh c))) (log1p a)))>
1545040309.829 * * * * [misc]progress:  [ 15 / 25 ] simplifiying candidate #<alt (λ (a c) (fmod (log (exp (cosh c))) (log1p a)))>
1545040309.829 * * * * [misc]progress:  [ 16 / 25 ] simplifiying candidate #<alt (λ (a c) (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))>
1545040309.829 * * * * [misc]progress:  [ 17 / 25 ] simplifiying candidate #<alt (λ (a c) (fmod (cbrt (* (* (cosh c) (cosh c)) (cosh c))) (log1p a)))>
1545040309.829 * * * * [misc]progress:  [ 18 / 25 ] simplifiying candidate #<alt (λ (a c) (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))>
1545040309.829 * * * * [misc]progress:  [ 19 / 25 ] simplifiying candidate #<alt (λ (a c) (fmod (* 1 (cosh c)) (log1p a)))>
1545040309.829 * * * * [misc]progress:  [ 20 / 25 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545040309.829 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545040309.829 * * [misc]simplify:  iters left: 2 (5 enodes)
1545040309.830 * * [misc]simplify:  iters left: 1 (11 enodes)
1545040309.831 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545040309.831 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545040309.831 * * * * [misc]progress:  [ 21 / 25 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545040309.831 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545040309.832 * * [misc]simplify:  iters left: 2 (5 enodes)
1545040309.832 * * [misc]simplify:  iters left: 1 (11 enodes)
1545040309.834 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545040309.834 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545040309.834 * * * * [misc]progress:  [ 22 / 25 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545040309.834 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545040309.834 * * [misc]simplify:  iters left: 2 (5 enodes)
1545040309.835 * * [misc]simplify:  iters left: 1 (11 enodes)
1545040309.836 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545040309.836 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545040309.837 * * * * [misc]progress:  [ 23 / 25 ] simplifiying candidate #<alt (λ (a c) (fmod (+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1)) (log1p a)))>
1545040309.837 * [enter]simplify:  Simplifying (+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1))
1545040309.837 * * [misc]simplify:  iters left: 6 (12 enodes)
1545040309.839 * * [misc]simplify:  iters left: 5 (23 enodes)
1545040309.843 * * [misc]simplify:  iters left: 4 (37 enodes)
1545040309.849 * * [misc]simplify:  iters left: 3 (51 enodes)
1545040309.854 * [exit]simplify:  Simplified to (fma 1/24 (pow c 4) (fma c (* 1/2 c) 1))
1545040309.854 * [misc]simplify:  Simplified (2 1) to (λ (a c) (fmod (fma 1/24 (pow c 4) (fma c (* 1/2 c) 1)) (log1p a)))
1545040309.854 * * * * [misc]progress:  [ 24 / 25 ] simplifiying candidate #<alt (λ (a c) (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)))>
1545040309.854 * [enter]simplify:  Simplifying (* 1/2 (+ (exp c) (exp (- c))))
1545040309.854 * * [misc]simplify:  iters left: 6 (7 enodes)
1545040309.855 * * [misc]simplify:  iters left: 5 (17 enodes)
1545040309.860 * * [misc]simplify:  iters left: 4 (27 enodes)
1545040309.865 * * [misc]simplify:  iters left: 3 (33 enodes)
1545040309.874 * * [misc]simplify:  iters left: 2 (37 enodes)
1545040309.879 * * [misc]simplify:  iters left: 1 (41 enodes)
1545040309.882 * [exit]simplify:  Simplified to (fma 1/2 (exp c) (/ 1/2 (exp c)))
1545040309.882 * [misc]simplify:  Simplified (2 1) to (λ (a c) (fmod (fma 1/2 (exp c) (/ 1/2 (exp c))) (log1p a)))
1545040309.883 * * * * [misc]progress:  [ 25 / 25 ] simplifiying candidate #<alt (λ (a c) (fmod (* 1/2 (+ (exp (* -1 c)) (exp c))) (log1p a)))>
1545040309.883 * [enter]simplify:  Simplifying (* 1/2 (+ (exp (* -1 c)) (exp c)))
1545040309.883 * * [misc]simplify:  iters left: 6 (8 enodes)
1545040309.885 * * [misc]simplify:  iters left: 5 (20 enodes)
1545040309.888 * * [misc]simplify:  iters left: 4 (26 enodes)
1545040309.894 * * [misc]simplify:  iters left: 3 (35 enodes)
1545040309.899 * * [misc]simplify:  iters left: 2 (39 enodes)
1545040309.905 * * [misc]simplify:  iters left: 1 (43 enodes)
1545040309.909 * [exit]simplify:  Simplified to (fma 1/2 (exp c) (/ 1/2 (exp c)))
1545040309.909 * [misc]simplify:  Simplified (2 1) to (λ (a c) (fmod (fma 1/2 (exp c) (/ 1/2 (exp c))) (log1p a)))
1545040309.909 * * * [misc]progress:  adding candidates to table
1545040310.175 * * [misc]progress:  iteration 2 / 4
1545040310.175 * * * [misc]progress:  picking best candidate
1545040310.202 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545040310.202 * * * [misc]progress:  localizing error
1545040310.208 * * * [misc]progress:  generating rewritten candidates
1545040310.208 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1)
1545040310.208 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1)
1545040310.211 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2)
1545040310.213 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 1)
1545040310.214 * * * [misc]progress:  generating series expansions
1545040310.214 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1)
1545040310.214 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040310.214 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545040310.214 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545040310.214 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040310.214 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545040310.214 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040310.214 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545040310.214 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040310.214 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545040310.214 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040310.214 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040310.215 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040310.215 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.215 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.215 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.215 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040310.215 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.215 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.215 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.215 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.215 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040310.215 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.215 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.215 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040310.215 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040310.215 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545040310.215 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545040310.215 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040310.215 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545040310.215 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040310.215 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545040310.215 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040310.215 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545040310.215 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040310.216 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040310.216 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040310.216 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.216 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.216 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.216 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040310.216 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.216 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.216 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.216 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.216 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040310.216 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.216 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.216 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545040310.216 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040310.216 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545040310.216 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545040310.216 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040310.216 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545040310.216 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040310.216 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545040310.216 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040310.216 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545040310.217 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040310.217 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040310.217 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040310.217 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.217 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.217 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.217 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040310.217 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.217 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.217 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.217 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.217 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040310.217 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.217 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.217 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545040310.217 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1)
1545040310.217 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545040310.217 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1545040310.217 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545040310.217 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545040310.217 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040310.217 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545040310.217 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545040310.217 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545040310.217 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040310.218 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545040310.218 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545040310.218 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545040310.218 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040310.218 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545040310.218 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545040310.218 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545040310.218 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040310.218 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545040310.218 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545040310.219 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545040310.219 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040310.219 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.219 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.220 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545040310.220 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.221 * [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
1545040310.222 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040310.222 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.222 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.222 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.223 * [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
1545040310.223 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.224 * [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
1545040310.224 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040310.224 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.224 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.224 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545040310.225 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545040310.225 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1545040310.225 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545040310.225 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545040310.225 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040310.225 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545040310.225 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545040310.225 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545040310.225 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040310.225 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545040310.225 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545040310.225 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545040310.225 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040310.225 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545040310.225 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545040310.225 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545040310.225 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040310.225 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545040310.225 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545040310.226 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545040310.226 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040310.226 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.226 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.227 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545040310.227 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.228 * [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
1545040310.228 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040310.228 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.228 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.228 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.230 * [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
1545040310.230 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.233 * [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
1545040310.233 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040310.233 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.233 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.233 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1545040310.234 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545040310.234 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1545040310.234 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545040310.234 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545040310.234 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040310.234 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545040310.234 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545040310.234 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545040310.234 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040310.234 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545040310.234 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545040310.234 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545040310.235 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040310.235 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545040310.235 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545040310.235 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545040310.235 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040310.235 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545040310.235 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545040310.236 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545040310.236 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040310.236 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.237 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.238 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545040310.238 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.239 * [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
1545040310.239 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040310.239 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.239 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.239 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.241 * [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
1545040310.241 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.247 * [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
1545040310.247 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040310.247 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.247 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.248 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1545040310.248 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2)
1545040310.248 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1545040310.248 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545040310.248 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545040310.248 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040310.248 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545040310.248 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040310.248 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545040310.248 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040310.248 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545040310.248 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040310.249 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040310.249 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040310.249 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.249 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.249 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.249 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040310.249 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.249 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.249 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.249 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.249 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040310.249 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.249 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.249 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040310.249 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040310.249 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545040310.249 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545040310.249 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040310.249 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545040310.250 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040310.250 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545040310.250 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040310.250 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545040310.250 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040310.250 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040310.250 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040310.250 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.250 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.250 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.250 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040310.250 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.250 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.250 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.250 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.251 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040310.251 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.251 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.251 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545040310.251 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040310.251 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545040310.251 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545040310.251 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040310.251 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545040310.251 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040310.251 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545040310.252 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040310.252 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545040310.252 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040310.252 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040310.252 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040310.252 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.252 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.252 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.252 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040310.252 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.252 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.252 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.252 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.252 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040310.252 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.252 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.252 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545040310.253 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 1)
1545040310.253 * [misc]backup-simplify:  Simplify (cosh c) into (cosh c)
1545040310.253 * [misc]approximate:  Taking taylor expansion of (cosh c) in (c) around 0
1545040310.253 * [misc]taylor:  Taking taylor expansion of (cosh c) in c
1545040310.253 * [misc]taylor:  Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1545040310.253 * [misc]taylor:  Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1545040310.253 * [misc]taylor:  Taking taylor expansion of (exp c) in c
1545040310.253 * [misc]taylor:  Taking taylor expansion of c in c
1545040310.253 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.253 * [misc]backup-simplify:  Simplify 1 into 1
1545040310.253 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545040310.253 * [misc]taylor:  Taking taylor expansion of (exp (- c)) in c
1545040310.253 * [misc]taylor:  Taking taylor expansion of (- c) in c
1545040310.253 * [misc]taylor:  Taking taylor expansion of c in c
1545040310.253 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.253 * [misc]backup-simplify:  Simplify 1 into 1
1545040310.253 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040310.254 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040310.254 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545040310.254 * [misc]taylor:  Taking taylor expansion of 2 in c
1545040310.254 * [misc]backup-simplify:  Simplify 2 into 2
1545040310.254 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1545040310.254 * [misc]backup-simplify:  Simplify (/ 2 2) into 1
1545040310.254 * [misc]taylor:  Taking taylor expansion of (cosh c) in c
1545040310.254 * [misc]taylor:  Rewrote expression to (/ (+ (exp c) (exp (- c))) 2)
1545040310.254 * [misc]taylor:  Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1545040310.254 * [misc]taylor:  Taking taylor expansion of (exp c) in c
1545040310.254 * [misc]taylor:  Taking taylor expansion of c in c
1545040310.254 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.254 * [misc]backup-simplify:  Simplify 1 into 1
1545040310.254 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545040310.254 * [misc]taylor:  Taking taylor expansion of (exp (- c)) in c
1545040310.254 * [misc]taylor:  Taking taylor expansion of (- c) in c
1545040310.254 * [misc]taylor:  Taking taylor expansion of c in c
1545040310.254 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.254 * [misc]backup-simplify:  Simplify 1 into 1
1545040310.255 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040310.255 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040310.255 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545040310.255 * [misc]taylor:  Taking taylor expansion of 2 in c
1545040310.255 * [misc]backup-simplify:  Simplify 2 into 2
1545040310.255 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1545040310.255 * [misc]backup-simplify:  Simplify (/ 2 2) into 1
1545040310.255 * [misc]backup-simplify:  Simplify 1 into 1
1545040310.257 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1545040310.257 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040310.258 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
1545040310.259 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1545040310.259 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)))) into 0
1545040310.259 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.261 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1545040310.262 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040310.262 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040310.264 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1545040310.264 * [misc]backup-simplify:  Simplify (+ 1/2 1/2) into 1
1545040310.264 * [misc]backup-simplify:  Simplify (- (/ 1 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)))) into 1/2
1545040310.264 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1545040310.266 * [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
1545040310.266 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040310.267 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040310.267 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040310.267 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040310.269 * [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
1545040310.269 * [misc]backup-simplify:  Simplify (+ 1/6 -1/6) into 0
1545040310.269 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)))) into 0
1545040310.269 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.273 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 4) 24)) (* (/ (pow 1 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 1/24
1545040310.273 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040310.273 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040310.273 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040310.273 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040310.273 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040310.274 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040310.274 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040310.277 * [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
1545040310.277 * [misc]backup-simplify:  Simplify (+ 1/24 1/24) into 1/12
1545040310.277 * [misc]backup-simplify:  Simplify (- (/ 1/12 2) (+ (* 1 (/ 0 2)) (* 0 (/ 0 2)) (* 1/2 (/ 0 2)) (* 0 (/ 0 2)))) into 1/24
1545040310.277 * [misc]backup-simplify:  Simplify 1/24 into 1/24
1545040310.278 * [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))
1545040310.278 * [misc]backup-simplify:  Simplify (cosh (/ 1 c)) into (cosh (/ 1 c))
1545040310.278 * [misc]approximate:  Taking taylor expansion of (cosh (/ 1 c)) in (c) around 0
1545040310.278 * [misc]taylor:  Taking taylor expansion of (cosh (/ 1 c)) in c
1545040310.278 * [misc]taylor:  Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1545040310.278 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1545040310.278 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 c)) in c
1545040310.278 * [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
1545040310.278 * [misc]taylor:  Taking taylor expansion of c in c
1545040310.278 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.278 * [misc]backup-simplify:  Simplify 1 into 1
1545040310.278 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545040310.278 * [misc]backup-simplify:  Simplify (exp (/ 1 c)) into (exp (/ 1 c))
1545040310.278 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 c))) in c
1545040310.278 * [misc]taylor:  Taking taylor expansion of (- (/ 1 c)) in c
1545040310.278 * [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
1545040310.278 * [misc]taylor:  Taking taylor expansion of c in c
1545040310.278 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.278 * [misc]backup-simplify:  Simplify 1 into 1
1545040310.278 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545040310.278 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040310.278 * [misc]backup-simplify:  Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
1545040310.278 * [misc]taylor:  Taking taylor expansion of 2 in c
1545040310.278 * [misc]backup-simplify:  Simplify 2 into 2
1545040310.279 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (- (/ 1 c))) (exp (/ 1 c)))
1545040310.279 * [misc]backup-simplify:  Simplify (/ (+ (exp (- (/ 1 c))) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c))))
1545040310.279 * [misc]taylor:  Taking taylor expansion of (cosh (/ 1 c)) in c
1545040310.279 * [misc]taylor:  Rewrote expression to (/ (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) 2)
1545040310.279 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) in c
1545040310.279 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 c)) in c
1545040310.279 * [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
1545040310.279 * [misc]taylor:  Taking taylor expansion of c in c
1545040310.279 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.279 * [misc]backup-simplify:  Simplify 1 into 1
1545040310.279 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545040310.279 * [misc]backup-simplify:  Simplify (exp (/ 1 c)) into (exp (/ 1 c))
1545040310.279 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 c))) in c
1545040310.279 * [misc]taylor:  Taking taylor expansion of (- (/ 1 c)) in c
1545040310.279 * [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
1545040310.279 * [misc]taylor:  Taking taylor expansion of c in c
1545040310.279 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.279 * [misc]backup-simplify:  Simplify 1 into 1
1545040310.279 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545040310.279 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040310.279 * [misc]backup-simplify:  Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
1545040310.279 * [misc]taylor:  Taking taylor expansion of 2 in c
1545040310.279 * [misc]backup-simplify:  Simplify 2 into 2
1545040310.279 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (- (/ 1 c))) (exp (/ 1 c)))
1545040310.280 * [misc]backup-simplify:  Simplify (/ (+ (exp (- (/ 1 c))) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c))))
1545040310.280 * [misc]backup-simplify:  Simplify (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) into (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c))))
1545040310.280 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040310.280 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)))) into 0
1545040310.280 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.280 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040310.281 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
1545040310.281 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.281 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040310.281 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
1545040310.281 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.281 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040310.282 * [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
1545040310.282 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.282 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040310.283 * [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
1545040310.283 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.283 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040310.284 * [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
1545040310.284 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.284 * [misc]backup-simplify:  Simplify (* 1/2 (+ (exp (- (/ 1 (/ 1 c)))) (exp (/ 1 (/ 1 c))))) into (* 1/2 (+ (exp c) (exp (- c))))
1545040310.284 * [misc]backup-simplify:  Simplify (cosh (/ 1 (- c))) into (cosh (/ -1 c))
1545040310.284 * [misc]approximate:  Taking taylor expansion of (cosh (/ -1 c)) in (c) around 0
1545040310.284 * [misc]taylor:  Taking taylor expansion of (cosh (/ -1 c)) in c
1545040310.284 * [misc]taylor:  Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1545040310.284 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1545040310.284 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 c)) in c
1545040310.284 * [misc]taylor:  Taking taylor expansion of (/ -1 c) in c
1545040310.284 * [misc]taylor:  Taking taylor expansion of -1 in c
1545040310.284 * [misc]backup-simplify:  Simplify -1 into -1
1545040310.284 * [misc]taylor:  Taking taylor expansion of c in c
1545040310.284 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.284 * [misc]backup-simplify:  Simplify 1 into 1
1545040310.284 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545040310.284 * [misc]backup-simplify:  Simplify (exp (/ -1 c)) into (exp (/ -1 c))
1545040310.284 * [misc]taylor:  Taking taylor expansion of (exp (- (/ -1 c))) in c
1545040310.284 * [misc]taylor:  Taking taylor expansion of (- (/ -1 c)) in c
1545040310.284 * [misc]taylor:  Taking taylor expansion of (/ -1 c) in c
1545040310.284 * [misc]taylor:  Taking taylor expansion of -1 in c
1545040310.284 * [misc]backup-simplify:  Simplify -1 into -1
1545040310.284 * [misc]taylor:  Taking taylor expansion of c in c
1545040310.284 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.284 * [misc]backup-simplify:  Simplify 1 into 1
1545040310.284 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545040310.284 * [misc]backup-simplify:  Simplify (- -1) into 1
1545040310.285 * [misc]backup-simplify:  Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
1545040310.285 * [misc]taylor:  Taking taylor expansion of 2 in c
1545040310.285 * [misc]backup-simplify:  Simplify 2 into 2
1545040310.285 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 c)) (exp (/ 1 c))) into (+ (exp (/ -1 c)) (exp (/ 1 c)))
1545040310.285 * [misc]backup-simplify:  Simplify (/ (+ (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c))))
1545040310.285 * [misc]taylor:  Taking taylor expansion of (cosh (/ -1 c)) in c
1545040310.285 * [misc]taylor:  Rewrote expression to (/ (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) 2)
1545040310.285 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ -1 c)) (exp (- (/ -1 c)))) in c
1545040310.285 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 c)) in c
1545040310.285 * [misc]taylor:  Taking taylor expansion of (/ -1 c) in c
1545040310.285 * [misc]taylor:  Taking taylor expansion of -1 in c
1545040310.285 * [misc]backup-simplify:  Simplify -1 into -1
1545040310.285 * [misc]taylor:  Taking taylor expansion of c in c
1545040310.285 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.285 * [misc]backup-simplify:  Simplify 1 into 1
1545040310.285 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545040310.285 * [misc]backup-simplify:  Simplify (exp (/ -1 c)) into (exp (/ -1 c))
1545040310.285 * [misc]taylor:  Taking taylor expansion of (exp (- (/ -1 c))) in c
1545040310.285 * [misc]taylor:  Taking taylor expansion of (- (/ -1 c)) in c
1545040310.285 * [misc]taylor:  Taking taylor expansion of (/ -1 c) in c
1545040310.285 * [misc]taylor:  Taking taylor expansion of -1 in c
1545040310.285 * [misc]backup-simplify:  Simplify -1 into -1
1545040310.285 * [misc]taylor:  Taking taylor expansion of c in c
1545040310.285 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.285 * [misc]backup-simplify:  Simplify 1 into 1
1545040310.285 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545040310.285 * [misc]backup-simplify:  Simplify (- -1) into 1
1545040310.285 * [misc]backup-simplify:  Simplify (exp (- (/ -1 c))) into (exp (/ 1 c))
1545040310.285 * [misc]taylor:  Taking taylor expansion of 2 in c
1545040310.285 * [misc]backup-simplify:  Simplify 2 into 2
1545040310.286 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 c)) (exp (/ 1 c))) into (+ (exp (/ -1 c)) (exp (/ 1 c)))
1545040310.286 * [misc]backup-simplify:  Simplify (/ (+ (exp (/ -1 c)) (exp (/ 1 c))) 2) into (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c))))
1545040310.286 * [misc]backup-simplify:  Simplify (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) into (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c))))
1545040310.286 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040310.286 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)))) into 0
1545040310.286 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.286 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040310.287 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)))) into 0
1545040310.287 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.287 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040310.287 * [misc]backup-simplify:  Simplify (- (/ 0 2) (+ (* (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (/ 0 2)) (* 0 (/ 0 2)) (* 0 (/ 0 2)))) into 0
1545040310.287 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.287 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040310.288 * [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
1545040310.288 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.288 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040310.289 * [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
1545040310.289 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.289 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040310.290 * [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
1545040310.290 * [misc]backup-simplify:  Simplify 0 into 0
1545040310.290 * [misc]backup-simplify:  Simplify (* 1/2 (+ (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c)))))) into (* 1/2 (+ (exp (* -1 c)) (exp c)))
1545040310.290 * * * [misc]progress:  simplifying candidates
1545040310.290 * * * * [misc]progress:  [ 1 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))>
1545040310.290 * * * * [misc]progress:  [ 2 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))>
1545040310.290 * * * * [misc]progress:  [ 3 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
1545040310.290 * * * * [misc]progress:  [ 4 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545040310.290 * * * * [misc]progress:  [ 5 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
1545040310.290 * * * * [misc]progress:  [ 6 / 62 ] 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)))))))>
1545040310.290 * * * * [misc]progress:  [ 7 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
1545040310.290 * * * * [misc]progress:  [ 8 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
1545040310.290 * * * * [misc]progress:  [ 9 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
1545040310.290 * * * * [misc]progress:  [ 10 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))>
1545040310.290 * * * * [misc]progress:  [ 11 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))>
1545040310.290 * * * * [misc]progress:  [ 12 / 62 ] 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)))))))>
1545040310.290 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1545040310.290 * * [misc]simplify:  iters left: 6 (8 enodes)
1545040310.292 * * [misc]simplify:  iters left: 5 (16 enodes)
1545040310.294 * * [misc]simplify:  iters left: 4 (19 enodes)
1545040310.297 * * [misc]simplify:  iters left: 3 (21 enodes)
1545040310.302 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1545040310.302 * [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)))))))
1545040310.303 * * * * [misc]progress:  [ 13 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
1545040310.303 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1545040310.303 * * [misc]simplify:  iters left: 4 (7 enodes)
1545040310.305 * * [misc]simplify:  iters left: 3 (13 enodes)
1545040310.309 * * [misc]simplify:  iters left: 2 (16 enodes)
1545040310.313 * * [misc]simplify:  iters left: 1 (18 enodes)
1545040310.318 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1545040310.318 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
1545040310.318 * * * * [misc]progress:  [ 14 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
1545040310.319 * [enter]simplify:  Simplifying (log 1)
1545040310.319 * * [misc]simplify:  iters left: 1 (2 enodes)
1545040310.320 * [exit]simplify:  Simplified to 0
1545040310.320 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a))))))
1545040310.320 * * * * [misc]progress:  [ 15 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1545040310.320 * * * * [misc]progress:  [ 16 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
1545040310.321 * * * * [misc]progress:  [ 17 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545040310.321 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545040310.321 * * [misc]simplify:  iters left: 2 (5 enodes)
1545040310.322 * * [misc]simplify:  iters left: 1 (11 enodes)
1545040310.326 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545040310.326 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545040310.326 * * * * [misc]progress:  [ 18 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
1545040310.326 * * * * [misc]progress:  [ 19 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545040310.326 * * * * [misc]progress:  [ 20 / 62 ] 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)))))))>
1545040310.326 * * * * [misc]progress:  [ 21 / 62 ] 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)))))))>
1545040310.326 * * * * [misc]progress:  [ 22 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
1545040310.326 * * * * [misc]progress:  [ 23 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1545040310.326 * * * * [misc]progress:  [ 24 / 62 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (exp (log (fmod (cosh c) (log1p a)))))))>
1545040310.326 * * * * [misc]progress:  [ 25 / 62 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (exp (log (fmod (cosh c) (log1p a)))))))>
1545040310.326 * * * * [misc]progress:  [ 26 / 62 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
1545040310.327 * * * * [misc]progress:  [ 27 / 62 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1545040310.327 * [enter]simplify:  Simplifying (exp 1)
1545040310.327 * * [misc]simplify:  iters left: 1 (2 enodes)
1545040310.328 * [exit]simplify:  Simplified to E
1545040310.328 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545040310.328 * * * * [misc]progress:  [ 28 / 62 ] 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))))))>
1545040310.328 * [enter]simplify:  Simplifying (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545040310.328 * * [misc]simplify:  iters left: 6 (9 enodes)
1545040310.331 * * [misc]simplify:  iters left: 5 (17 enodes)
1545040310.336 * * [misc]simplify:  iters left: 4 (20 enodes)
1545040310.343 * * [misc]simplify:  iters left: 3 (22 enodes)
1545040310.349 * [exit]simplify:  Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545040310.349 * [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))))))
1545040310.349 * * * * [misc]progress:  [ 29 / 62 ] simplifiying candidate #<alt (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
1545040310.349 * [enter]simplify:  Simplifying (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1545040310.349 * * [misc]simplify:  iters left: 5 (8 enodes)
1545040310.352 * * [misc]simplify:  iters left: 4 (14 enodes)
1545040310.355 * * [misc]simplify:  iters left: 3 (17 enodes)
1545040310.360 * * [misc]simplify:  iters left: 2 (19 enodes)
1545040310.365 * [exit]simplify:  Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1545040310.365 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
1545040310.365 * * * * [misc]progress:  [ 30 / 62 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1545040310.365 * [enter]simplify:  Simplifying (exp 1)
1545040310.366 * * [misc]simplify:  iters left: 1 (2 enodes)
1545040310.366 * [exit]simplify:  Simplified to E
1545040310.366 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545040310.366 * * * * [misc]progress:  [ 31 / 62 ] 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)))))))>
1545040310.367 * [enter]simplify:  Simplifying (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
1545040310.367 * * [misc]simplify:  iters left: 6 (9 enodes)
1545040310.368 * * [misc]simplify:  iters left: 5 (17 enodes)
1545040310.370 * * [misc]simplify:  iters left: 4 (22 enodes)
1545040310.373 * * [misc]simplify:  iters left: 3 (24 enodes)
1545040310.377 * [exit]simplify:  Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
1545040310.377 * [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)))))))
1545040310.377 * * * * [misc]progress:  [ 32 / 62 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))>
1545040310.377 * [enter]simplify:  Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a)))))
1545040310.377 * * [misc]simplify:  iters left: 5 (8 enodes)
1545040310.378 * * [misc]simplify:  iters left: 4 (14 enodes)
1545040310.380 * * [misc]simplify:  iters left: 3 (17 enodes)
1545040310.382 * * [misc]simplify:  iters left: 2 (19 enodes)
1545040310.384 * [exit]simplify:  Simplified to (sqrt (fmod (cosh c) (log1p a)))
1545040310.384 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))
1545040310.384 * * * * [misc]progress:  [ 33 / 62 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
1545040310.384 * [enter]simplify:  Simplifying (exp (log 1))
1545040310.384 * * [misc]simplify:  iters left: 2 (3 enodes)
1545040310.385 * * [misc]simplify:  iters left: 1 (5 enodes)
1545040310.386 * [exit]simplify:  Simplified to 1
1545040310.386 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))
1545040310.386 * * * * [misc]progress:  [ 34 / 62 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545040310.386 * [enter]simplify:  Simplifying (cosh c)
1545040310.386 * * [misc]simplify:  iters left: 1 (2 enodes)
1545040310.386 * [exit]simplify:  Simplified to (cosh c)
1545040310.386 * [misc]simplify:  Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a)))
1545040310.386 * * * * [misc]progress:  [ 35 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545040310.387 * * * * [misc]progress:  [ 36 / 62 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
1545040310.387 * * * * [misc]progress:  [ 37 / 62 ] 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)))))))>
1545040310.387 * * * * [misc]progress:  [ 38 / 62 ] 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)))))))>
1545040310.387 * * * * [misc]progress:  [ 39 / 62 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
1545040310.387 * * * * [misc]progress:  [ 40 / 62 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
1545040310.387 * * * * [misc]progress:  [ 41 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (log1p (expm1 (cosh c))) (log1p a)))))>
1545040310.387 * * * * [misc]progress:  [ 42 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (expm1 (log1p (cosh c))) (log1p a)))))>
1545040310.387 * * * * [misc]progress:  [ 43 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (/ (+ (exp c) (exp (- c))) 2) (log1p a)))))>
1545040310.387 * * * * [misc]progress:  [ 44 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (pow (cosh c) 1) (log1p a)))))>
1545040310.387 * * * * [misc]progress:  [ 45 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (exp (log (cosh c))) (log1p a)))))>
1545040310.387 * * * * [misc]progress:  [ 46 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (log (exp (cosh c))) (log1p a)))))>
1545040310.387 * * * * [misc]progress:  [ 47 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (cosh c))) (log1p a)))))>
1545040310.387 * * * * [misc]progress:  [ 48 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cbrt (* (* (cosh c) (cosh c)) (cosh c))) (log1p a)))))>
1545040310.387 * * * * [misc]progress:  [ 49 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (* (sqrt (cosh c)) (sqrt (cosh c))) (log1p a)))))>
1545040310.387 * * * * [misc]progress:  [ 50 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (* 1 (cosh c)) (log1p a)))))>
1545040310.387 * * * * [misc]progress:  [ 51 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545040310.387 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545040310.387 * * [misc]simplify:  iters left: 2 (5 enodes)
1545040310.388 * * [misc]simplify:  iters left: 1 (11 enodes)
1545040310.390 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545040310.390 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545040310.390 * * * * [misc]progress:  [ 52 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545040310.390 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545040310.390 * * [misc]simplify:  iters left: 2 (5 enodes)
1545040310.390 * * [misc]simplify:  iters left: 1 (11 enodes)
1545040310.393 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545040310.393 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545040310.393 * * * * [misc]progress:  [ 53 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545040310.393 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545040310.393 * * [misc]simplify:  iters left: 2 (5 enodes)
1545040310.395 * * [misc]simplify:  iters left: 1 (11 enodes)
1545040310.398 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545040310.398 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545040310.398 * * * * [misc]progress:  [ 54 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545040310.398 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545040310.398 * * [misc]simplify:  iters left: 3 (6 enodes)
1545040310.400 * * [misc]simplify:  iters left: 2 (12 enodes)
1545040310.404 * * [misc]simplify:  iters left: 1 (15 enodes)
1545040310.408 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545040310.408 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545040310.408 * * * * [misc]progress:  [ 55 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545040310.408 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545040310.409 * * [misc]simplify:  iters left: 3 (6 enodes)
1545040310.410 * * [misc]simplify:  iters left: 2 (12 enodes)
1545040310.414 * * [misc]simplify:  iters left: 1 (15 enodes)
1545040310.418 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545040310.418 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545040310.418 * * * * [misc]progress:  [ 56 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545040310.418 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545040310.418 * * [misc]simplify:  iters left: 3 (6 enodes)
1545040310.420 * * [misc]simplify:  iters left: 2 (12 enodes)
1545040310.423 * * [misc]simplify:  iters left: 1 (15 enodes)
1545040310.427 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545040310.427 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545040310.428 * * * * [misc]progress:  [ 57 / 62 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545040310.428 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545040310.428 * * [misc]simplify:  iters left: 2 (5 enodes)
1545040310.429 * * [misc]simplify:  iters left: 1 (11 enodes)
1545040310.432 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545040310.432 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545040310.432 * * * * [misc]progress:  [ 58 / 62 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545040310.433 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545040310.433 * * [misc]simplify:  iters left: 2 (5 enodes)
1545040310.434 * * [misc]simplify:  iters left: 1 (11 enodes)
1545040310.437 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545040310.437 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545040310.437 * * * * [misc]progress:  [ 59 / 62 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545040310.438 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545040310.438 * * [misc]simplify:  iters left: 2 (5 enodes)
1545040310.439 * * [misc]simplify:  iters left: 1 (11 enodes)
1545040310.442 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545040310.442 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545040310.442 * * * * [misc]progress:  [ 60 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1)) (log1p a)))))>
1545040310.442 * [enter]simplify:  Simplifying (+ (* 1/2 (pow c 2)) (+ (* 1/24 (pow c 4)) 1))
1545040310.443 * * [misc]simplify:  iters left: 6 (12 enodes)
1545040310.446 * * [misc]simplify:  iters left: 5 (23 enodes)
1545040310.453 * * [misc]simplify:  iters left: 4 (37 enodes)
1545040310.464 * * [misc]simplify:  iters left: 3 (51 enodes)
1545040310.476 * [exit]simplify:  Simplified to (fma 1/24 (pow c 4) (fma c (* 1/2 c) 1))
1545040310.476 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a c) (exp (log (fmod (fma 1/24 (pow c 4) (fma c (* 1/2 c) 1)) (log1p a)))))
1545040310.476 * * * * [misc]progress:  [ 61 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)))))>
1545040310.476 * [enter]simplify:  Simplifying (* 1/2 (+ (exp c) (exp (- c))))
1545040310.476 * * [misc]simplify:  iters left: 6 (7 enodes)
1545040310.478 * * [misc]simplify:  iters left: 5 (17 enodes)
1545040310.487 * * [misc]simplify:  iters left: 4 (27 enodes)
1545040310.497 * * [misc]simplify:  iters left: 3 (33 enodes)
1545040310.505 * * [misc]simplify:  iters left: 2 (37 enodes)
1545040310.516 * * [misc]simplify:  iters left: 1 (41 enodes)
1545040310.524 * [exit]simplify:  Simplified to (fma 1/2 (exp c) (/ 1/2 (exp c)))
1545040310.524 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a c) (exp (log (fmod (fma 1/2 (exp c) (/ 1/2 (exp c))) (log1p a)))))
1545040310.524 * * * * [misc]progress:  [ 62 / 62 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (* 1/2 (+ (exp (* -1 c)) (exp c))) (log1p a)))))>
1545040310.524 * [enter]simplify:  Simplifying (* 1/2 (+ (exp (* -1 c)) (exp c)))
1545040310.524 * * [misc]simplify:  iters left: 6 (8 enodes)
1545040310.528 * * [misc]simplify:  iters left: 5 (20 enodes)
1545040310.534 * * [misc]simplify:  iters left: 4 (26 enodes)
1545040310.543 * * [misc]simplify:  iters left: 3 (35 enodes)
1545040310.547 * * [misc]simplify:  iters left: 2 (39 enodes)
1545040310.558 * * [misc]simplify:  iters left: 1 (43 enodes)
1545040310.566 * [exit]simplify:  Simplified to (fma 1/2 (exp c) (/ 1/2 (exp c)))
1545040310.566 * [misc]simplify:  Simplified (2 1 1 1) to (λ (a c) (exp (log (fmod (fma 1/2 (exp c) (/ 1/2 (exp c))) (log1p a)))))
1545040310.567 * * * [misc]progress:  adding candidates to table
1545040311.408 * * [misc]progress:  iteration 3 / 4
1545040311.408 * * * [misc]progress:  picking best candidate
1545040311.502 * * * * [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)))))))>
1545040311.502 * * * [misc]progress:  localizing error
1545040311.530 * * * [misc]progress:  generating rewritten candidates
1545040311.530 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 1)
1545040311.530 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1 2 1)
1545040311.531 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
1545040311.531 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2)
1545040311.534 * * * [misc]progress:  generating series expansions
1545040311.534 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 1)
1545040311.534 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040311.534 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545040311.534 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545040311.534 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040311.534 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545040311.534 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040311.534 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545040311.534 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040311.535 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545040311.535 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040311.535 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040311.535 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.535 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.535 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.535 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.535 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.535 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.535 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.535 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.535 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.535 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.535 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.535 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.535 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040311.536 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040311.536 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545040311.536 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545040311.536 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040311.536 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545040311.536 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040311.536 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545040311.536 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040311.536 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545040311.536 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040311.537 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040311.537 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.537 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.537 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.537 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.537 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.537 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.537 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.537 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.537 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.537 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.537 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.537 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.537 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545040311.537 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040311.538 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545040311.538 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545040311.538 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040311.538 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545040311.538 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040311.538 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545040311.538 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040311.538 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545040311.538 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040311.538 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040311.539 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.539 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.539 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.539 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.539 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.539 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.539 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.539 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.539 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.539 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.539 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.539 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.539 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545040311.539 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1 2 1)
1545040311.539 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040311.539 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545040311.539 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545040311.540 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040311.540 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545040311.540 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040311.540 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545040311.540 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040311.540 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545040311.540 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040311.540 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040311.540 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.540 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.540 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.540 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.540 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.540 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.540 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.540 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.540 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.540 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.541 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.541 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.541 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040311.541 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040311.541 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545040311.541 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545040311.541 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040311.541 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545040311.541 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040311.541 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545040311.541 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040311.541 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545040311.542 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040311.542 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040311.542 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.542 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.542 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.542 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.542 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.542 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.542 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.542 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.542 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.542 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.542 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.542 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.542 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545040311.543 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040311.543 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545040311.543 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545040311.543 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040311.543 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545040311.543 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040311.543 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545040311.543 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040311.543 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545040311.543 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040311.544 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040311.544 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.544 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.544 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.544 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.544 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.544 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.544 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.544 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.544 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.544 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.544 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.544 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.544 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545040311.544 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1 1)
1545040311.544 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040311.544 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545040311.544 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545040311.545 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040311.545 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545040311.545 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040311.545 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545040311.545 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040311.545 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545040311.545 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040311.545 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040311.545 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.545 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.545 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.545 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.545 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.545 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.545 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.545 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.545 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.545 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.545 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.545 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.546 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040311.546 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040311.546 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545040311.546 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545040311.546 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040311.546 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545040311.546 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040311.546 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545040311.546 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040311.546 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545040311.546 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040311.546 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040311.546 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.546 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.546 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.546 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.546 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.546 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.546 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.547 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.547 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.547 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.547 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.547 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.547 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545040311.547 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040311.547 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545040311.547 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545040311.547 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040311.547 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545040311.547 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040311.547 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545040311.547 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040311.547 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545040311.547 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040311.548 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040311.548 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.548 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.548 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.548 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.548 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.548 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.548 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.548 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.548 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.548 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.548 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.548 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.548 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545040311.548 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2)
1545040311.548 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545040311.548 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1545040311.548 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545040311.548 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545040311.548 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040311.548 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545040311.548 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545040311.548 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545040311.548 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040311.548 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545040311.548 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545040311.548 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545040311.548 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040311.549 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545040311.549 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545040311.549 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545040311.549 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545040311.549 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545040311.549 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545040311.550 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545040311.550 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.550 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.550 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.550 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545040311.550 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.551 * [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
1545040311.552 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.552 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.552 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.552 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.553 * [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
1545040311.553 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.554 * [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
1545040311.554 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.554 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.554 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.554 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545040311.554 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545040311.554 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1545040311.555 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545040311.555 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545040311.555 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040311.555 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545040311.555 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545040311.555 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545040311.555 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040311.555 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545040311.555 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545040311.555 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545040311.555 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040311.555 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545040311.555 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545040311.555 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545040311.555 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545040311.555 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545040311.555 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545040311.556 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545040311.556 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.556 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.556 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.557 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545040311.557 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.558 * [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
1545040311.558 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.558 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.558 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.558 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.559 * [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
1545040311.559 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.560 * [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
1545040311.561 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.561 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.561 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.561 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1545040311.561 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545040311.561 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1545040311.561 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545040311.561 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545040311.561 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040311.561 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545040311.561 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545040311.561 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545040311.561 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040311.561 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545040311.561 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545040311.561 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545040311.562 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040311.562 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545040311.562 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545040311.562 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545040311.562 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545040311.562 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545040311.562 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545040311.563 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545040311.563 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.563 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.563 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.563 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545040311.563 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.565 * [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
1545040311.565 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.565 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.565 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.565 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.566 * [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
1545040311.566 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.568 * [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
1545040311.568 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040311.568 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.568 * [misc]backup-simplify:  Simplify 0 into 0
1545040311.568 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1545040311.568 * * * [misc]progress:  simplifying candidates
1545040311.568 * * * * [misc]progress:  [ 1 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))))>
1545040311.568 * * * * [misc]progress:  [ 2 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))))>
1545040311.568 * * * * [misc]progress:  [ 3 / 53 ] 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))))))>
1545040311.568 * * * * [misc]progress:  [ 4 / 53 ] 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)))))))))>
1545040311.568 * * * * [misc]progress:  [ 5 / 53 ] 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)))))))))>
1545040311.568 * * * * [misc]progress:  [ 6 / 53 ] 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)))))))))>
1545040311.568 * * * * [misc]progress:  [ 7 / 53 ] 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)))))))))>
1545040311.568 * * * * [misc]progress:  [ 8 / 53 ] 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)))))))))>
1545040311.568 * * * * [misc]progress:  [ 9 / 53 ] 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))))))))>
1545040311.568 * * * * [misc]progress:  [ 10 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1545040311.568 * * * * [misc]progress:  [ 11 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1545040311.568 * * * * [misc]progress:  [ 12 / 53 ] 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)))))))>
1545040311.568 * * * * [misc]progress:  [ 13 / 53 ] 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)))))))>
1545040311.568 * * * * [misc]progress:  [ 14 / 53 ] 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)))))))>
1545040311.568 * * * * [misc]progress:  [ 15 / 53 ] 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)))))))>
1545040311.568 * * * * [misc]progress:  [ 16 / 53 ] 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)))))))>
1545040311.568 * * * * [misc]progress:  [ 17 / 53 ] 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)))))))>
1545040311.569 * * * * [misc]progress:  [ 18 / 53 ] 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)))))))>
1545040311.569 * * * * [misc]progress:  [ 19 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (log1p (expm1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545040311.569 * * * * [misc]progress:  [ 20 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (expm1 (log1p (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545040311.569 * * * * [misc]progress:  [ 21 / 53 ] 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)))))))>
1545040311.569 * * * * [misc]progress:  [ 22 / 53 ] 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)))))))>
1545040311.569 * * * * [misc]progress:  [ 23 / 53 ] 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)))))))>
1545040311.569 * * * * [misc]progress:  [ 24 / 53 ] 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)))))))>
1545040311.569 * * * * [misc]progress:  [ 25 / 53 ] 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)))))))>
1545040311.569 * * * * [misc]progress:  [ 26 / 53 ] 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)))))))>
1545040311.569 * * * * [misc]progress:  [ 27 / 53 ] 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)))))))>
1545040311.569 * * * * [misc]progress:  [ 28 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))>
1545040311.569 * * * * [misc]progress:  [ 29 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))))>
1545040311.569 * * * * [misc]progress:  [ 30 / 53 ] 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)))))))))>
1545040311.569 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1545040311.569 * * [misc]simplify:  iters left: 6 (8 enodes)
1545040311.570 * * [misc]simplify:  iters left: 5 (16 enodes)
1545040311.572 * * [misc]simplify:  iters left: 4 (19 enodes)
1545040311.575 * * [misc]simplify:  iters left: 3 (21 enodes)
1545040311.577 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1545040311.578 * [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)))))))))
1545040311.578 * * * * [misc]progress:  [ 31 / 53 ] 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)))))))))>
1545040311.578 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1545040311.578 * * [misc]simplify:  iters left: 4 (7 enodes)
1545040311.579 * * [misc]simplify:  iters left: 3 (13 enodes)
1545040311.580 * * [misc]simplify:  iters left: 2 (16 enodes)
1545040311.582 * * [misc]simplify:  iters left: 1 (18 enodes)
1545040311.585 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1545040311.585 * [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)))))))))
1545040311.585 * * * * [misc]progress:  [ 32 / 53 ] 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))))))))>
1545040311.585 * [enter]simplify:  Simplifying (log 1)
1545040311.585 * * [misc]simplify:  iters left: 1 (2 enodes)
1545040311.586 * [exit]simplify:  Simplified to 0
1545040311.586 * [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))))))))
1545040311.586 * * * * [misc]progress:  [ 33 / 53 ] 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))))))))>
1545040311.586 * * * * [misc]progress:  [ 34 / 53 ] 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)))))>
1545040311.586 * * * * [misc]progress:  [ 35 / 53 ] 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)))))))>
1545040311.586 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545040311.586 * * [misc]simplify:  iters left: 2 (5 enodes)
1545040311.587 * * [misc]simplify:  iters left: 1 (11 enodes)
1545040311.588 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545040311.588 * [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)))))))
1545040311.588 * * * * [misc]progress:  [ 36 / 53 ] 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)))))))))>
1545040311.588 * * * * [misc]progress:  [ 37 / 53 ] 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)))))))))>
1545040311.588 * * * * [misc]progress:  [ 38 / 53 ] 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)))))))))>
1545040311.589 * * * * [misc]progress:  [ 39 / 53 ] 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)))))))))>
1545040311.589 * * * * [misc]progress:  [ 40 / 53 ] 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)))))))))>
1545040311.589 * * * * [misc]progress:  [ 41 / 53 ] 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))))))))>
1545040311.589 * * * * [misc]progress:  [ 42 / 53 ] 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)))))))>
1545040311.589 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545040311.589 * * [misc]simplify:  iters left: 2 (5 enodes)
1545040311.589 * * [misc]simplify:  iters left: 1 (11 enodes)
1545040311.591 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545040311.591 * [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)))))))
1545040311.591 * * * * [misc]progress:  [ 43 / 53 ] 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)))))))>
1545040311.591 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545040311.591 * * [misc]simplify:  iters left: 2 (5 enodes)
1545040311.592 * * [misc]simplify:  iters left: 1 (11 enodes)
1545040311.593 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545040311.593 * [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)))))))
1545040311.593 * * * * [misc]progress:  [ 44 / 53 ] 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)))))))>
1545040311.594 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545040311.594 * * [misc]simplify:  iters left: 2 (5 enodes)
1545040311.594 * * [misc]simplify:  iters left: 1 (11 enodes)
1545040311.596 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545040311.596 * [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)))))))
1545040311.596 * * * * [misc]progress:  [ 45 / 53 ] 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)))))))>
1545040311.597 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545040311.597 * * [misc]simplify:  iters left: 2 (5 enodes)
1545040311.598 * * [misc]simplify:  iters left: 1 (11 enodes)
1545040311.601 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545040311.601 * [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)))))))
1545040311.602 * * * * [misc]progress:  [ 46 / 53 ] 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)))))))>
1545040311.602 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545040311.602 * * [misc]simplify:  iters left: 2 (5 enodes)
1545040311.603 * * [misc]simplify:  iters left: 1 (11 enodes)
1545040311.607 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545040311.607 * [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)))))))
1545040311.607 * * * * [misc]progress:  [ 47 / 53 ] 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)))))))>
1545040311.607 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545040311.607 * * [misc]simplify:  iters left: 2 (5 enodes)
1545040311.608 * * [misc]simplify:  iters left: 1 (11 enodes)
1545040311.612 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545040311.612 * [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)))))))
1545040311.612 * * * * [misc]progress:  [ 48 / 53 ] 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)))))))>
1545040311.612 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545040311.612 * * [misc]simplify:  iters left: 2 (5 enodes)
1545040311.614 * * [misc]simplify:  iters left: 1 (11 enodes)
1545040311.617 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545040311.617 * [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)))))))
1545040311.617 * * * * [misc]progress:  [ 49 / 53 ] 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)))))))>
1545040311.617 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545040311.618 * * [misc]simplify:  iters left: 2 (5 enodes)
1545040311.619 * * [misc]simplify:  iters left: 1 (11 enodes)
1545040311.622 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545040311.622 * [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)))))))
1545040311.622 * * * * [misc]progress:  [ 50 / 53 ] 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)))))))>
1545040311.623 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545040311.623 * * [misc]simplify:  iters left: 2 (5 enodes)
1545040311.624 * * [misc]simplify:  iters left: 1 (11 enodes)
1545040311.627 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545040311.627 * [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)))))))
1545040311.628 * * * * [misc]progress:  [ 51 / 53 ] 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)))))))>
1545040311.628 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545040311.628 * * [misc]simplify:  iters left: 3 (6 enodes)
1545040311.630 * * [misc]simplify:  iters left: 2 (12 enodes)
1545040311.633 * * [misc]simplify:  iters left: 1 (15 enodes)
1545040311.639 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545040311.640 * [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)))))))
1545040311.640 * * * * [misc]progress:  [ 52 / 53 ] 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)))))))>
1545040311.640 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545040311.640 * * [misc]simplify:  iters left: 3 (6 enodes)
1545040311.642 * * [misc]simplify:  iters left: 2 (12 enodes)
1545040311.645 * * [misc]simplify:  iters left: 1 (15 enodes)
1545040311.649 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545040311.649 * [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)))))))
1545040311.650 * * * * [misc]progress:  [ 53 / 53 ] 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)))))))>
1545040311.650 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545040311.650 * * [misc]simplify:  iters left: 3 (6 enodes)
1545040311.652 * * [misc]simplify:  iters left: 2 (12 enodes)
1545040311.655 * * [misc]simplify:  iters left: 1 (15 enodes)
1545040311.657 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545040311.657 * [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)))))))
1545040311.657 * * * [misc]progress:  adding candidates to table
1545040312.478 * * [misc]progress:  iteration 4 / 4
1545040312.478 * * * [misc]progress:  picking best candidate
1545040312.610 * * * * [misc]pick:  Picked  #<alt (λ (a c) (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)))>
1545040312.610 * * * [misc]progress:  localizing error
1545040312.640 * * * [misc]progress:  generating rewritten candidates
1545040312.640 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2)
1545040312.641 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1 2)
1545040312.653 * * * [misc]progress:  generating series expansions
1545040312.653 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2)
1545040312.653 * [misc]backup-simplify:  Simplify (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)) into (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a))
1545040312.653 * [misc]approximate:  Taking taylor expansion of (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)) in (c a) around 0
1545040312.653 * [misc]taylor:  Taking taylor expansion of (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)) in a
1545040312.653 * [misc]backup-simplify:  Simplify (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)) into (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a))
1545040312.653 * [misc]taylor:  Taking taylor expansion of (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)) in c
1545040312.653 * [misc]backup-simplify:  Simplify (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)) into (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a))
1545040312.653 * [misc]taylor:  Taking taylor expansion of (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)) in c
1545040312.654 * [misc]backup-simplify:  Simplify (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)) into (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a))
1545040312.654 * [misc]taylor:  Taking taylor expansion of (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)) in a
1545040312.654 * [misc]backup-simplify:  Simplify (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)) into (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a))
1545040312.654 * [misc]backup-simplify:  Simplify (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)) into (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a))
1545040312.654 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040312.654 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.654 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.654 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.654 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040312.654 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.654 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.654 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.654 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.654 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040312.654 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.654 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.655 * [misc]backup-simplify:  Simplify (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)) into (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a))
1545040312.655 * [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)))
1545040312.655 * [misc]approximate:  Taking taylor expansion of (fmod (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (log1p (/ 1 a))) in (c a) around 0
1545040312.655 * [misc]taylor:  Taking taylor expansion of (fmod (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (log1p (/ 1 a))) in a
1545040312.655 * [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)))
1545040312.655 * [misc]taylor:  Taking taylor expansion of (fmod (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (log1p (/ 1 a))) in c
1545040312.655 * [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)))
1545040312.655 * [misc]taylor:  Taking taylor expansion of (fmod (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (log1p (/ 1 a))) in c
1545040312.655 * [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)))
1545040312.656 * [misc]taylor:  Taking taylor expansion of (fmod (* 1/2 (+ (exp (- (/ 1 c))) (exp (/ 1 c)))) (log1p (/ 1 a))) in a
1545040312.656 * [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)))
1545040312.656 * [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)))
1545040312.656 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040312.656 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.656 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.656 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.656 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040312.656 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.656 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.656 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.656 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.656 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040312.656 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.656 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.657 * [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))
1545040312.662 * [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)))
1545040312.662 * [misc]approximate:  Taking taylor expansion of (fmod (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (log1p (/ -1 a))) in (c a) around 0
1545040312.662 * [misc]taylor:  Taking taylor expansion of (fmod (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (log1p (/ -1 a))) in a
1545040312.663 * [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)))
1545040312.663 * [misc]taylor:  Taking taylor expansion of (fmod (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (log1p (/ -1 a))) in c
1545040312.663 * [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)))
1545040312.663 * [misc]taylor:  Taking taylor expansion of (fmod (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (log1p (/ -1 a))) in c
1545040312.663 * [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)))
1545040312.663 * [misc]taylor:  Taking taylor expansion of (fmod (* 1/2 (+ (exp (/ -1 c)) (exp (/ 1 c)))) (log1p (/ -1 a))) in a
1545040312.663 * [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)))
1545040312.664 * [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)))
1545040312.664 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040312.664 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.664 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.664 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.664 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040312.664 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.664 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.664 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.664 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.664 * [misc]taylor:  Taking taylor expansion of 0 in a
1545040312.664 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.664 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.664 * [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))
1545040312.664 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1 2)
1545040312.664 * [misc]backup-simplify:  Simplify (+ (exp c) (exp (- c))) into (+ (exp c) (exp (- c)))
1545040312.664 * [misc]approximate:  Taking taylor expansion of (+ (exp c) (exp (- c))) in (c) around 0
1545040312.664 * [misc]taylor:  Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1545040312.664 * [misc]taylor:  Taking taylor expansion of (exp c) in c
1545040312.665 * [misc]taylor:  Taking taylor expansion of c in c
1545040312.665 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.665 * [misc]backup-simplify:  Simplify 1 into 1
1545040312.665 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545040312.665 * [misc]taylor:  Taking taylor expansion of (exp (- c)) in c
1545040312.665 * [misc]taylor:  Taking taylor expansion of (- c) in c
1545040312.665 * [misc]taylor:  Taking taylor expansion of c in c
1545040312.665 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.665 * [misc]backup-simplify:  Simplify 1 into 1
1545040312.665 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040312.665 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040312.665 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545040312.665 * [misc]taylor:  Taking taylor expansion of (+ (exp c) (exp (- c))) in c
1545040312.665 * [misc]taylor:  Taking taylor expansion of (exp c) in c
1545040312.665 * [misc]taylor:  Taking taylor expansion of c in c
1545040312.665 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.665 * [misc]backup-simplify:  Simplify 1 into 1
1545040312.665 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545040312.665 * [misc]taylor:  Taking taylor expansion of (exp (- c)) in c
1545040312.665 * [misc]taylor:  Taking taylor expansion of (- c) in c
1545040312.665 * [misc]taylor:  Taking taylor expansion of c in c
1545040312.665 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.666 * [misc]backup-simplify:  Simplify 1 into 1
1545040312.666 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040312.666 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040312.666 * [misc]backup-simplify:  Simplify (exp 0) into 1
1545040312.666 * [misc]backup-simplify:  Simplify (+ 1 1) into 2
1545040312.666 * [misc]backup-simplify:  Simplify 2 into 2
1545040312.668 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
1545040312.668 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040312.669 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 1) 1)))) into -1
1545040312.670 * [misc]backup-simplify:  Simplify (+ 1 -1) into 0
1545040312.670 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.672 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1545040312.672 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040312.672 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040312.674 * [misc]backup-simplify:  Simplify (* (exp 0) (+ (* (/ (pow -1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
1545040312.674 * [misc]backup-simplify:  Simplify (+ 1/2 1/2) into 1
1545040312.674 * [misc]backup-simplify:  Simplify 1 into 1
1545040312.678 * [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
1545040312.678 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040312.678 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040312.678 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040312.678 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040312.682 * [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
1545040312.682 * [misc]backup-simplify:  Simplify (+ 1/6 -1/6) into 0
1545040312.682 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.688 * [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
1545040312.688 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040312.689 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040312.689 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040312.689 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040312.689 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040312.689 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040312.689 * [misc]backup-simplify:  Simplify (- 0) into 0
1545040312.695 * [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
1545040312.695 * [misc]backup-simplify:  Simplify (+ 1/24 1/24) into 1/12
1545040312.695 * [misc]backup-simplify:  Simplify 1/12 into 1/12
1545040312.696 * [misc]backup-simplify:  Simplify (+ (* 1/12 (pow c 4)) (+ (* 1 (pow c 2)) 2)) into (+ (pow c 2) (+ (* 1/12 (pow c 4)) 2))
1545040312.696 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 c)) (exp (- (/ 1 c)))) into (+ (exp (- (/ 1 c))) (exp (/ 1 c)))
1545040312.696 * [misc]approximate:  Taking taylor expansion of (+ (exp (- (/ 1 c))) (exp (/ 1 c))) in (c) around 0
1545040312.696 * [misc]taylor:  Taking taylor expansion of (+ (exp (- (/ 1 c))) (exp (/ 1 c))) in c
1545040312.696 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 c))) in c
1545040312.696 * [misc]taylor:  Taking taylor expansion of (- (/ 1 c)) in c
1545040312.696 * [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
1545040312.696 * [misc]taylor:  Taking taylor expansion of c in c
1545040312.696 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.696 * [misc]backup-simplify:  Simplify 1 into 1
1545040312.696 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545040312.696 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040312.697 * [misc]backup-simplify:  Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
1545040312.697 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 c)) in c
1545040312.697 * [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
1545040312.697 * [misc]taylor:  Taking taylor expansion of c in c
1545040312.697 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.697 * [misc]backup-simplify:  Simplify 1 into 1
1545040312.697 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545040312.697 * [misc]backup-simplify:  Simplify (exp (/ 1 c)) into (exp (/ 1 c))
1545040312.697 * [misc]taylor:  Taking taylor expansion of (+ (exp (- (/ 1 c))) (exp (/ 1 c))) in c
1545040312.697 * [misc]taylor:  Taking taylor expansion of (exp (- (/ 1 c))) in c
1545040312.697 * [misc]taylor:  Taking taylor expansion of (- (/ 1 c)) in c
1545040312.697 * [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
1545040312.697 * [misc]taylor:  Taking taylor expansion of c in c
1545040312.697 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.697 * [misc]backup-simplify:  Simplify 1 into 1
1545040312.697 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545040312.698 * [misc]backup-simplify:  Simplify (- 1) into -1
1545040312.698 * [misc]backup-simplify:  Simplify (exp (- (/ 1 c))) into (exp (- (/ 1 c)))
1545040312.698 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 c)) in c
1545040312.698 * [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
1545040312.698 * [misc]taylor:  Taking taylor expansion of c in c
1545040312.698 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.698 * [misc]backup-simplify:  Simplify 1 into 1
1545040312.698 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545040312.698 * [misc]backup-simplify:  Simplify (exp (/ 1 c)) into (exp (/ 1 c))
1545040312.698 * [misc]backup-simplify:  Simplify (+ (exp (- (/ 1 c))) (exp (/ 1 c))) into (+ (exp (- (/ 1 c))) (exp (/ 1 c)))
1545040312.698 * [misc]backup-simplify:  Simplify (+ (exp (- (/ 1 c))) (exp (/ 1 c))) into (+ (exp (- (/ 1 c))) (exp (/ 1 c)))
1545040312.699 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040312.699 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.699 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040312.699 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.699 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040312.699 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.699 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040312.699 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.699 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040312.699 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.700 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040312.700 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.700 * [misc]backup-simplify:  Simplify (+ (exp (- (/ 1 (/ 1 c)))) (exp (/ 1 (/ 1 c)))) into (+ (exp c) (exp (- c)))
1545040312.700 * [misc]backup-simplify:  Simplify (+ (exp (/ 1 (- c))) (exp (- (/ 1 (- c))))) into (+ (exp (/ -1 c)) (exp (/ 1 c)))
1545040312.700 * [misc]approximate:  Taking taylor expansion of (+ (exp (/ -1 c)) (exp (/ 1 c))) in (c) around 0
1545040312.700 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ -1 c)) (exp (/ 1 c))) in c
1545040312.700 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 c)) in c
1545040312.700 * [misc]taylor:  Taking taylor expansion of (/ -1 c) in c
1545040312.700 * [misc]taylor:  Taking taylor expansion of -1 in c
1545040312.700 * [misc]backup-simplify:  Simplify -1 into -1
1545040312.700 * [misc]taylor:  Taking taylor expansion of c in c
1545040312.700 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.700 * [misc]backup-simplify:  Simplify 1 into 1
1545040312.700 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545040312.700 * [misc]backup-simplify:  Simplify (exp (/ -1 c)) into (exp (/ -1 c))
1545040312.700 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 c)) in c
1545040312.700 * [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
1545040312.701 * [misc]taylor:  Taking taylor expansion of c in c
1545040312.701 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.701 * [misc]backup-simplify:  Simplify 1 into 1
1545040312.701 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545040312.701 * [misc]backup-simplify:  Simplify (exp (/ 1 c)) into (exp (/ 1 c))
1545040312.701 * [misc]taylor:  Taking taylor expansion of (+ (exp (/ -1 c)) (exp (/ 1 c))) in c
1545040312.701 * [misc]taylor:  Taking taylor expansion of (exp (/ -1 c)) in c
1545040312.701 * [misc]taylor:  Taking taylor expansion of (/ -1 c) in c
1545040312.701 * [misc]taylor:  Taking taylor expansion of -1 in c
1545040312.701 * [misc]backup-simplify:  Simplify -1 into -1
1545040312.701 * [misc]taylor:  Taking taylor expansion of c in c
1545040312.701 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.701 * [misc]backup-simplify:  Simplify 1 into 1
1545040312.701 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1545040312.701 * [misc]backup-simplify:  Simplify (exp (/ -1 c)) into (exp (/ -1 c))
1545040312.701 * [misc]taylor:  Taking taylor expansion of (exp (/ 1 c)) in c
1545040312.701 * [misc]taylor:  Taking taylor expansion of (/ 1 c) in c
1545040312.701 * [misc]taylor:  Taking taylor expansion of c in c
1545040312.701 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.701 * [misc]backup-simplify:  Simplify 1 into 1
1545040312.702 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1545040312.702 * [misc]backup-simplify:  Simplify (exp (/ 1 c)) into (exp (/ 1 c))
1545040312.702 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 c)) (exp (/ 1 c))) into (+ (exp (/ -1 c)) (exp (/ 1 c)))
1545040312.702 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 c)) (exp (/ 1 c))) into (+ (exp (/ -1 c)) (exp (/ 1 c)))
1545040312.702 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040312.702 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.702 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040312.702 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.703 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040312.703 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.703 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040312.703 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.703 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040312.703 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.703 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1545040312.703 * [misc]backup-simplify:  Simplify 0 into 0
1545040312.703 * [misc]backup-simplify:  Simplify (+ (exp (/ -1 (/ 1 (- c)))) (exp (/ 1 (/ 1 (- c))))) into (+ (exp (* -1 c)) (exp c))
1545040312.704 * * * [misc]progress:  simplifying candidates
1545040312.704 * * * * [misc]progress:  [ 1 / 32 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)))))>
1545040312.704 * * * * [misc]progress:  [ 2 / 32 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)))))>
1545040312.704 * * * * [misc]progress:  [ 3 / 32 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)) 1))>
1545040312.704 * * * * [misc]progress:  [ 4 / 32 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)))))>
1545040312.704 * * * * [misc]progress:  [ 5 / 32 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)))))>
1545040312.704 * * * * [misc]progress:  [ 6 / 32 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a))) (cbrt (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)))) (cbrt (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)))))>
1545040312.704 * * * * [misc]progress:  [ 7 / 32 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)) (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a))) (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)))))>
1545040312.704 * * * * [misc]progress:  [ 8 / 32 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a))) (sqrt (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)))))>
1545040312.704 * * * * [misc]progress:  [ 9 / 32 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a))))>
1545040312.704 * * * * [misc]progress:  [ 10 / 32 ] simplifiying candidate #<alt (λ (a c) (fmod (* 1/2 (log1p (expm1 (+ (exp c) (exp (- c)))))) (log1p a)))>
1545040312.704 * * * * [misc]progress:  [ 11 / 32 ] simplifiying candidate #<alt (λ (a c) (fmod (* 1/2 (expm1 (log1p (+ (exp c) (exp (- c)))))) (log1p a)))>
1545040312.704 * * * * [misc]progress:  [ 12 / 32 ] simplifiying candidate #<alt (λ (a c) (fmod (* 1/2 (fma (* (cbrt (exp c)) (cbrt (exp c))) (cbrt (exp c)) (exp (- c)))) (log1p a)))>
1545040312.704 * [enter]simplify:  Simplifying (* (cbrt (exp c)) (cbrt (exp c)))
1545040312.705 * * [misc]simplify:  iters left: 4 (4 enodes)
1545040312.706 * [exit]simplify:  Simplified to (* (cbrt (exp c)) (cbrt (exp c)))
1545040312.706 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a c) (fmod (* 1/2 (fma (* (cbrt (exp c)) (cbrt (exp c))) (cbrt (exp c)) (exp (- c)))) (log1p a)))
1545040312.706 * * * * [misc]progress:  [ 13 / 32 ] simplifiying candidate #<alt (λ (a c) (fmod (* 1/2 (fma (sqrt (exp c)) (sqrt (exp c)) (exp (- c)))) (log1p a)))>
1545040312.706 * [enter]simplify:  Simplifying (sqrt (exp c))
1545040312.706 * * [misc]simplify:  iters left: 2 (3 enodes)
1545040312.707 * [exit]simplify:  Simplified to (sqrt (exp c))
1545040312.707 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a c) (fmod (* 1/2 (fma (sqrt (exp c)) (sqrt (exp c)) (exp (- c)))) (log1p a)))
1545040312.707 * * * * [misc]progress:  [ 14 / 32 ] simplifiying candidate #<alt (λ (a c) (fmod (* 1/2 (fma 1 (exp c) (exp (- c)))) (log1p a)))>
1545040312.707 * * * * [misc]progress:  [ 15 / 32 ] simplifiying candidate #<alt (λ (a c) (fmod (* 1/2 (log (* (exp (exp c)) (exp (exp (- c)))))) (log1p a)))>
1545040312.707 * [enter]simplify:  Simplifying (* (exp (exp c)) (exp (exp (- c))))
1545040312.708 * * [misc]simplify:  iters left: 6 (7 enodes)
1545040312.710 * * [misc]simplify:  iters left: 5 (12 enodes)
1545040312.713 * * [misc]simplify:  iters left: 4 (16 enodes)
1545040312.717 * [exit]simplify:  Simplified to (exp (+ (exp c) (exp (- c))))
1545040312.717 * [misc]simplify:  Simplified (2 1 2 1) to (λ (a c) (fmod (* 1/2 (log (exp (+ (exp c) (exp (- c)))))) (log1p a)))
1545040312.717 * * * * [misc]progress:  [ 16 / 32 ] simplifiying candidate #<alt (λ (a c) (fmod (* 1/2 (pow (+ (exp c) (exp (- c))) 1)) (log1p a)))>
1545040312.717 * * * * [misc]progress:  [ 17 / 32 ] simplifiying candidate #<alt (λ (a c) (fmod (* 1/2 (exp (log (+ (exp c) (exp (- c)))))) (log1p a)))>
1545040312.717 * * * * [misc]progress:  [ 18 / 32 ] simplifiying candidate #<alt (λ (a c) (fmod (* 1/2 (log (exp (+ (exp c) (exp (- c)))))) (log1p a)))>
1545040312.717 * * * * [misc]progress:  [ 19 / 32 ] simplifiying candidate #<alt (λ (a c) (fmod (* 1/2 (* (* (cbrt (+ (exp c) (exp (- c)))) (cbrt (+ (exp c) (exp (- c))))) (cbrt (+ (exp c) (exp (- c)))))) (log1p a)))>
1545040312.717 * * * * [misc]progress:  [ 20 / 32 ] simplifiying candidate #<alt (λ (a c) (fmod (* 1/2 (cbrt (* (* (+ (exp c) (exp (- c))) (+ (exp c) (exp (- c)))) (+ (exp c) (exp (- c)))))) (log1p a)))>
1545040312.717 * * * * [misc]progress:  [ 21 / 32 ] simplifiying candidate #<alt (λ (a c) (fmod (* 1/2 (* (sqrt (+ (exp c) (exp (- c)))) (sqrt (+ (exp c) (exp (- c)))))) (log1p a)))>
1545040312.717 * * * * [misc]progress:  [ 22 / 32 ] simplifiying candidate #<alt (λ (a c) (fmod (* 1/2 (/ (+ (pow (exp c) 3) (pow (exp (- c)) 3)) (+ (* (exp c) (exp c)) (- (* (exp (- c)) (exp (- c))) (* (exp c) (exp (- c))))))) (log1p a)))>
1545040312.717 * * * * [misc]progress:  [ 23 / 32 ] simplifiying candidate #<alt (λ (a c) (fmod (* 1/2 (* 1 (+ (exp c) (exp (- c))))) (log1p a)))>
1545040312.717 * * * * [misc]progress:  [ 24 / 32 ] simplifiying candidate #<alt (λ (a c) (fmod (* 1/2 (/ (- (* (exp c) (exp c)) (* (exp (- c)) (exp (- c)))) (- (exp c) (exp (- c))))) (log1p a)))>
1545040312.717 * * * * [misc]progress:  [ 25 / 32 ] simplifiying candidate #<alt (λ (a c) (fmod (* 1/2 (* 1 (+ (exp c) (exp (- c))))) (log1p a)))>
1545040312.718 * [enter]simplify:  Simplifying (+ (exp c) (exp (- c)))
1545040312.718 * * [misc]simplify:  iters left: 5 (5 enodes)
1545040312.719 * * [misc]simplify:  iters left: 4 (8 enodes)
1545040312.722 * * [misc]simplify:  iters left: 3 (10 enodes)
1545040312.724 * [exit]simplify:  Simplified to (+ (exp c) (exp (- c)))
1545040312.724 * [misc]simplify:  Simplified (2 1 2 2) to (λ (a c) (fmod (* 1/2 (* 1 (+ (exp c) (exp (- c))))) (log1p a)))
1545040312.724 * * * * [misc]progress:  [ 26 / 32 ] simplifiying candidate #<alt (λ (a c) (fmod (* 1/2 (+ (exp (- c)) (exp c))) (log1p a)))>
1545040312.724 * * * * [misc]progress:  [ 27 / 32 ] simplifiying candidate #<alt (λ (a c) (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)))>
1545040312.724 * [enter]simplify:  Simplifying (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a))
1545040312.725 * * [misc]simplify:  iters left: 6 (10 enodes)
1545040312.728 * * [misc]simplify:  iters left: 5 (20 enodes)
1545040312.737 * * [misc]simplify:  iters left: 4 (30 enodes)
1545040312.747 * * [misc]simplify:  iters left: 3 (36 enodes)
1545040312.756 * * [misc]simplify:  iters left: 2 (40 enodes)
1545040312.766 * * [misc]simplify:  iters left: 1 (44 enodes)
1545040312.775 * [exit]simplify:  Simplified to (fmod (fma 1/2 (exp c) (/ 1/2 (exp c))) (log1p a))
1545040312.775 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (fma 1/2 (exp c) (/ 1/2 (exp c))) (log1p a)))
1545040312.775 * * * * [misc]progress:  [ 28 / 32 ] simplifiying candidate #<alt (λ (a c) (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)))>
1545040312.775 * [enter]simplify:  Simplifying (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a))
1545040312.776 * * [misc]simplify:  iters left: 6 (10 enodes)
1545040312.779 * * [misc]simplify:  iters left: 5 (20 enodes)
1545040312.789 * * [misc]simplify:  iters left: 4 (30 enodes)
1545040312.801 * * [misc]simplify:  iters left: 3 (36 enodes)
1545040312.809 * * [misc]simplify:  iters left: 2 (40 enodes)
1545040312.822 * * [misc]simplify:  iters left: 1 (44 enodes)
1545040312.831 * [exit]simplify:  Simplified to (fmod (fma 1/2 (exp c) (/ 1/2 (exp c))) (log1p a))
1545040312.831 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (fma 1/2 (exp c) (/ 1/2 (exp c))) (log1p a)))
1545040312.831 * * * * [misc]progress:  [ 29 / 32 ] simplifiying candidate #<alt (λ (a c) (fmod (* 1/2 (+ (exp (* -1 c)) (exp c))) (log1p a)))>
1545040312.831 * [enter]simplify:  Simplifying (fmod (* 1/2 (+ (exp (* -1 c)) (exp c))) (log1p a))
1545040312.831 * * [misc]simplify:  iters left: 6 (11 enodes)
1545040312.835 * * [misc]simplify:  iters left: 5 (23 enodes)
1545040312.843 * * [misc]simplify:  iters left: 4 (29 enodes)
1545040312.855 * * [misc]simplify:  iters left: 3 (38 enodes)
1545040312.866 * * [misc]simplify:  iters left: 2 (42 enodes)
1545040312.878 * * [misc]simplify:  iters left: 1 (46 enodes)
1545040312.888 * [exit]simplify:  Simplified to (fmod (fma 1/2 (exp c) (/ 1/2 (exp c))) (log1p a))
1545040312.888 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (fma 1/2 (exp c) (/ 1/2 (exp c))) (log1p a)))
1545040312.888 * * * * [misc]progress:  [ 30 / 32 ] simplifiying candidate #<alt (λ (a c) (fmod (* 1/2 (+ (pow c 2) (+ (* 1/12 (pow c 4)) 2))) (log1p a)))>
1545040312.888 * [enter]simplify:  Simplifying (+ (pow c 2) (+ (* 1/12 (pow c 4)) 2))
1545040312.888 * * [misc]simplify:  iters left: 6 (9 enodes)
1545040312.891 * * [misc]simplify:  iters left: 5 (16 enodes)
1545040312.895 * * [misc]simplify:  iters left: 4 (25 enodes)
1545040312.899 * * [misc]simplify:  iters left: 3 (31 enodes)
1545040312.902 * [exit]simplify:  Simplified to (fma (pow c 4) 1/12 (fma c c 2))
1545040312.902 * [misc]simplify:  Simplified (2 1 2) to (λ (a c) (fmod (* 1/2 (fma (pow c 4) 1/12 (fma c c 2))) (log1p a)))
1545040312.902 * * * * [misc]progress:  [ 31 / 32 ] simplifiying candidate #<alt (λ (a c) (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)))>
1545040312.902 * [enter]simplify:  Simplifying (+ (exp c) (exp (- c)))
1545040312.902 * * [misc]simplify:  iters left: 5 (5 enodes)
1545040312.903 * * [misc]simplify:  iters left: 4 (8 enodes)
1545040312.904 * * [misc]simplify:  iters left: 3 (10 enodes)
1545040312.905 * [exit]simplify:  Simplified to (+ (exp c) (exp (- c)))
1545040312.905 * [misc]simplify:  Simplified (2 1 2) to (λ (a c) (fmod (* 1/2 (+ (exp c) (exp (- c)))) (log1p a)))
1545040312.906 * * * * [misc]progress:  [ 32 / 32 ] simplifiying candidate #<alt (λ (a c) (fmod (* 1/2 (+ (exp (* -1 c)) (exp c))) (log1p a)))>
1545040312.906 * [enter]simplify:  Simplifying (+ (exp (* -1 c)) (exp c))
1545040312.906 * * [misc]simplify:  iters left: 5 (6 enodes)
1545040312.907 * * [misc]simplify:  iters left: 4 (11 enodes)
1545040312.909 * * [misc]simplify:  iters left: 3 (13 enodes)
1545040312.911 * * [misc]simplify:  iters left: 2 (16 enodes)
1545040312.914 * [exit]simplify:  Simplified to (+ (exp (- c)) (exp c))
1545040312.914 * [misc]simplify:  Simplified (2 1 2) to (λ (a c) (fmod (* 1/2 (+ (exp (- c)) (exp c))) (log1p a)))
1545040312.914 * * * [misc]progress:  adding candidates to table
1545040313.371 * [misc]progress:  [Phase 3 of 3] Extracting.
1545040313.371 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (* 1/2 (expm1 (log1p (+ (exp c) (exp (- 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) (fmod (* 1/2 (* (sqrt (+ (exp c) (exp (- c)))) (sqrt (+ (exp c) (exp (- c)))))) (log1p a)))> #<alt (λ (a c) (exp (log1p (expm1 (log (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) (exp (log (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (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 (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) (fmod (* 1/2 (* (* (cbrt (+ (exp c) (exp (- c)))) (cbrt (+ (exp c) (exp (- c))))) (cbrt (+ (exp c) (exp (- c)))))) (log1p a)))> #<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)))))))> #<alt (λ (a c) (fmod (* 1/2 (fma (pow c 4) 1/12 (fma c c 2))) (log1p a)))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>)
1545040313.373 * * * [misc]regime-changes:  Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a)))
1545040313.374 * * * * [misc]regimes:  Trying to branch on a from (#<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (* 1/2 (expm1 (log1p (+ (exp c) (exp (- 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) (fmod (* 1/2 (* (sqrt (+ (exp c) (exp (- c)))) (sqrt (+ (exp c) (exp (- c)))))) (log1p a)))> #<alt (λ (a c) (exp (log1p (expm1 (log (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) (exp (log (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (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 (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) (fmod (* 1/2 (* (* (cbrt (+ (exp c) (exp (- c)))) (cbrt (+ (exp c) (exp (- c))))) (cbrt (+ (exp c) (exp (- c)))))) (log1p a)))> #<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)))))))> #<alt (λ (a c) (fmod (* 1/2 (fma (pow c 4) 1/12 (fma c c 2))) (log1p a)))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>)
1545040313.488 * * * * [misc]regimes:  Trying to branch on (log1p a) from (#<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (* 1/2 (expm1 (log1p (+ (exp c) (exp (- 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) (fmod (* 1/2 (* (sqrt (+ (exp c) (exp (- c)))) (sqrt (+ (exp c) (exp (- c)))))) (log1p a)))> #<alt (λ (a c) (exp (log1p (expm1 (log (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) (exp (log (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (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 (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) (fmod (* 1/2 (* (* (cbrt (+ (exp c) (exp (- c)))) (cbrt (+ (exp c) (exp (- c))))) (cbrt (+ (exp c) (exp (- c)))))) (log1p a)))> #<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)))))))> #<alt (λ (a c) (fmod (* 1/2 (fma (pow c 4) 1/12 (fma c c 2))) (log1p a)))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>)
1545040313.605 * * * * [misc]regimes:  Trying to branch on c from (#<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (* 1/2 (expm1 (log1p (+ (exp c) (exp (- 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) (fmod (* 1/2 (* (sqrt (+ (exp c) (exp (- c)))) (sqrt (+ (exp c) (exp (- c)))))) (log1p a)))> #<alt (λ (a c) (exp (log1p (expm1 (log (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) (exp (log (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (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 (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) (fmod (* 1/2 (* (* (cbrt (+ (exp c) (exp (- c)))) (cbrt (+ (exp c) (exp (- c))))) (cbrt (+ (exp c) (exp (- c)))))) (log1p a)))> #<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)))))))> #<alt (λ (a c) (fmod (* 1/2 (fma (pow c 4) 1/12 (fma c c 2))) (log1p a)))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>)
1545040313.751 * * * * [misc]regimes:  Trying to branch on (cosh c) from (#<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (* 1/2 (expm1 (log1p (+ (exp c) (exp (- 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) (fmod (* 1/2 (* (sqrt (+ (exp c) (exp (- c)))) (sqrt (+ (exp c) (exp (- c)))))) (log1p a)))> #<alt (λ (a c) (exp (log1p (expm1 (log (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) (exp (log (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (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 (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) (fmod (* 1/2 (* (* (cbrt (+ (exp c) (exp (- c)))) (cbrt (+ (exp c) (exp (- c))))) (cbrt (+ (exp c) (exp (- c)))))) (log1p a)))> #<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)))))))> #<alt (λ (a c) (fmod (* 1/2 (fma (pow c 4) 1/12 (fma c c 2))) (log1p a)))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>)
1545040313.863 * * * * [misc]regimes:  Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (fmod (* 1/2 (expm1 (log1p (+ (exp c) (exp (- 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) (fmod (* 1/2 (* (sqrt (+ (exp c) (exp (- c)))) (sqrt (+ (exp c) (exp (- c)))))) (log1p a)))> #<alt (λ (a c) (exp (log1p (expm1 (log (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) (exp (log (fmod (* (* (cbrt (cosh c)) (cbrt (cosh c))) (cbrt (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 (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) (fmod (* 1/2 (* (* (cbrt (+ (exp c) (exp (- c)))) (cbrt (+ (exp c) (exp (- c))))) (cbrt (+ (exp c) (exp (- c)))))) (log1p a)))> #<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)))))))> #<alt (λ (a c) (fmod (* 1/2 (fma (pow c 4) 1/12 (fma c c 2))) (log1p a)))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>)
1545040314.008 * * * [misc]regime:  Found split indices: #<option (#s(si 5 256))>
1545040314.008 * [enter]simplify:  Simplifying (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
1545040314.008 * * [misc]simplify:  iters left: 6 (10 enodes)
1545040314.009 * * [misc]simplify:  iters left: 5 (11 enodes)
1545040314.009 * [exit]simplify:  Simplified to (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))
1545040314.009 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545040325.553 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040325.554 * * * * [misc]points:  Sampling 5001 additional inputs, on iter 1 have 2999 / 8000
1545040332.601 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040332.602 * * * * [misc]points:  Sampling 3077 additional inputs, on iter 2 have 4923 / 8000
1545040337.148 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040337.149 * * * * [misc]points:  Sampling 1891 additional inputs, on iter 3 have 6109 / 8000
1545040339.787 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040339.787 * * * * [misc]points:  Sampling 1183 additional inputs, on iter 4 have 6817 / 8000
1545040341.236 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040341.236 * * * * [misc]points:  Sampling 759 additional inputs, on iter 5 have 7241 / 8000
1545040342.056 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040342.057 * * * * [misc]points:  Sampling 471 additional inputs, on iter 6 have 7529 / 8000
1545040343.137 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040343.138 * * * * [misc]points:  Sampling 297 additional inputs, on iter 7 have 7703 / 8000
1545040343.492 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040343.492 * * * * [misc]points:  Sampling 193 additional inputs, on iter 8 have 7807 / 8000
1545040343.716 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040343.716 * * * * [misc]points:  Sampling 123 additional inputs, on iter 9 have 7877 / 8000
1545040343.930 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040343.930 * * * * [misc]points:  Sampling 79 additional inputs, on iter 10 have 7921 / 8000
1545040344.016 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040344.016 * * * * [misc]points:  Sampling 51 additional inputs, on iter 11 have 7949 / 8000
1545040344.079 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040344.079 * * * * [misc]points:  Sampling 32 additional inputs, on iter 12 have 7968 / 8000
1545040344.122 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040344.122 * * * * [misc]points:  Sampling 24 additional inputs, on iter 13 have 7976 / 8000
1545040344.200 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040344.200 * * * * [misc]points:  Sampling 13 additional inputs, on iter 14 have 7987 / 8000
1545040344.218 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040344.218 * * * * [misc]points:  Sampling 6 additional inputs, on iter 15 have 7994 / 8000
1545040344.225 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040344.226 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 7997 / 8000
1545040344.228 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040344.228 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 7997 / 8000
1545040344.237 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040344.237 * * * * [misc]points:  Sampling 4 additional inputs, on iter 18 have 7998 / 8000
1545040344.246 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545040344.246 * * * * [exit]points:  Sampled 8000 points with exact outputs
1545040346.304 * [misc]regime-testing:  Baseline error score: 34.12939169358932
1545040346.304 * [misc]regime-testing:  End program error score: 34.12939169358932
1545040346.306 * [misc]regime-testing:  Oracle error score: 32.73196023488246