1545726653.839 * [misc]progress:  [Phase 1 of 3] Setting up.
1545726653.839 * * * [misc]progress:  [1/2] Preparing points
1545726653.839 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545726654.159 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545726654.160 * * * * [misc]points:  Sampling 153 additional inputs, on iter 1 have 103 / 256
1545726654.304 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545726654.304 * * * * [misc]points:  Sampling 83 additional inputs, on iter 2 have 173 / 256
1545726654.402 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545726654.402 * * * * [misc]points:  Sampling 50 additional inputs, on iter 3 have 206 / 256
1545726654.831 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545726654.831 * * * * [misc]points:  Sampling 25 additional inputs, on iter 4 have 231 / 256
1545726654.864 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545726654.864 * * * * [misc]points:  Sampling 12 additional inputs, on iter 5 have 244 / 256
1545726654.875 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545726654.875 * * * * [misc]points:  Sampling 10 additional inputs, on iter 6 have 246 / 256
1545726654.884 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545726654.884 * * * * [misc]points:  Sampling 4 additional inputs, on iter 7 have 252 / 256
1545726654.888 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545726654.888 * * * * [misc]points:  Sampling 4 additional inputs, on iter 8 have 254 / 256
1545726654.895 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545726654.895 * * * * [exit]points:  Sampled 258 points with exact outputs
1545726654.896 * * * [misc]progress:  [2/2] Setting up program.
1545726654.903 * [misc]progress:  [Phase 2 of 3] Improving.
1545726654.905 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545726654.906 * * [misc]simplify:  iters left: 2 (5 enodes)
1545726654.914 * * [misc]simplify:  iters left: 1 (11 enodes)
1545726654.918 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545726654.933 * * [misc]progress:  iteration 1 / 4
1545726654.933 * * * [misc]progress:  picking best candidate
1545726654.938 * * * * [misc]pick:  Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545726654.938 * * * [misc]progress:  localizing error
1545726654.962 * * * [misc]progress:  generating rewritten candidates
1545726654.963 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1545726655.010 * * * [misc]progress:  generating series expansions
1545726655.011 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1545726655.015 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.015 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545726655.016 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545726655.018 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.018 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545726655.018 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.018 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545726655.018 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.018 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545726655.018 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.018 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.019 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.019 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.019 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.019 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.019 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.019 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.019 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.019 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.019 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.019 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.019 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.019 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.019 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.023 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.023 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545726655.023 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545726655.023 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.023 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545726655.023 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.023 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545726655.023 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.023 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545726655.024 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.024 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.024 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.024 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.024 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.024 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.024 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.024 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.024 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.024 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.024 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.024 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.024 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.024 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.024 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545726655.025 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.025 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545726655.025 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545726655.025 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.025 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545726655.025 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.025 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545726655.026 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.026 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545726655.026 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.026 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.026 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.026 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.026 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.026 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.026 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.026 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.026 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.026 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.026 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.026 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.026 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.026 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.026 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545726655.026 * * * [misc]progress:  simplifying candidates
1545726655.027 * * * * [misc]progress:  [ 1 / 10 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
1545726655.027 * * * * [misc]progress:  [ 2 / 10 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545726655.027 * * * * [misc]progress:  [ 3 / 10 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
1545726655.027 * * * * [misc]progress:  [ 4 / 10 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
1545726655.027 * * * * [misc]progress:  [ 5 / 10 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>
1545726655.027 * * * * [misc]progress:  [ 6 / 10 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
1545726655.027 * * * * [misc]progress:  [ 7 / 10 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
1545726655.027 * * * * [misc]progress:  [ 8 / 10 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545726655.028 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545726655.028 * * [misc]simplify:  iters left: 2 (5 enodes)
1545726655.029 * * [misc]simplify:  iters left: 1 (11 enodes)
1545726655.032 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545726655.032 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545726655.032 * * * * [misc]progress:  [ 9 / 10 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545726655.032 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545726655.032 * * [misc]simplify:  iters left: 2 (5 enodes)
1545726655.034 * * [misc]simplify:  iters left: 1 (11 enodes)
1545726655.036 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545726655.036 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545726655.036 * * * * [misc]progress:  [ 10 / 10 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545726655.037 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545726655.037 * * [misc]simplify:  iters left: 2 (5 enodes)
1545726655.038 * * [misc]simplify:  iters left: 1 (11 enodes)
1545726655.041 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545726655.041 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545726655.041 * * * [misc]progress:  adding candidates to table
1545726655.167 * * [misc]progress:  iteration 2 / 4
1545726655.167 * * * [misc]progress:  picking best candidate
1545726655.198 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545726655.198 * * * [misc]progress:  localizing error
1545726655.210 * * * [misc]progress:  generating rewritten candidates
1545726655.210 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1)
1545726655.210 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
1545726655.213 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1545726655.218 * * * [misc]progress:  generating series expansions
1545726655.218 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1)
1545726655.218 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.218 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545726655.218 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545726655.218 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.218 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545726655.218 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.218 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545726655.218 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.218 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545726655.218 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.218 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.218 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.219 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.219 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.219 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.219 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.219 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.219 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.219 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.219 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.219 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.219 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.219 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.219 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.219 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.219 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545726655.219 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545726655.219 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.219 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545726655.219 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.219 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545726655.220 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.220 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545726655.220 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.220 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.220 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.220 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.220 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.220 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.220 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.220 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.220 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.220 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.220 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.220 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.220 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.220 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.220 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545726655.221 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.221 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545726655.221 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545726655.221 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.221 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545726655.221 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.221 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545726655.221 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.221 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545726655.221 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.221 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.222 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.222 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.222 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.222 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.222 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.222 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.222 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.222 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.222 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.222 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.222 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.222 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.222 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545726655.222 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
1545726655.222 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545726655.222 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1545726655.222 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545726655.222 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545726655.222 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.223 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545726655.223 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545726655.223 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545726655.223 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.223 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545726655.223 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545726655.223 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545726655.223 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.223 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545726655.223 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545726655.223 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545726655.223 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.223 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545726655.224 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545726655.226 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545726655.226 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.226 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.226 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.227 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545726655.227 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.229 * [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
1545726655.229 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.229 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.229 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.229 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.231 * [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
1545726655.231 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.235 * [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
1545726655.235 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.235 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.235 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.235 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545726655.235 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545726655.235 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1545726655.235 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545726655.235 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545726655.235 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.236 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545726655.236 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545726655.236 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545726655.236 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.236 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545726655.236 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545726655.236 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545726655.236 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.236 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545726655.236 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545726655.236 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545726655.237 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.237 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545726655.237 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545726655.238 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545726655.238 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.238 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.239 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.239 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545726655.239 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.240 * [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
1545726655.240 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.241 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.241 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.241 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.242 * [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
1545726655.242 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.243 * [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
1545726655.243 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.243 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.243 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.243 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1545726655.244 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545726655.244 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1545726655.244 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545726655.244 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545726655.244 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.244 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545726655.244 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545726655.244 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545726655.244 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.244 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545726655.244 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545726655.244 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545726655.244 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.244 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545726655.244 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545726655.244 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545726655.244 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.244 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545726655.245 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545726655.245 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545726655.245 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.245 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.245 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.246 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545726655.246 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.247 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 2) into 0
1545726655.247 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.247 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.247 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.247 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.248 * [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
1545726655.248 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.250 * [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
1545726655.250 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.250 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.250 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.250 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1545726655.250 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1545726655.250 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1545726655.250 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545726655.250 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545726655.250 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.250 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545726655.250 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.250 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545726655.250 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.250 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545726655.251 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.251 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.251 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.251 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.251 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.251 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.251 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.251 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.251 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.251 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.251 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.251 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.251 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.251 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.251 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.251 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.251 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545726655.251 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545726655.251 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.251 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545726655.251 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.251 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545726655.251 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.251 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545726655.251 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.251 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.251 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.251 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.252 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.252 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.252 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.252 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.252 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.252 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.252 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.252 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.252 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.252 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.252 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545726655.252 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.252 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545726655.252 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545726655.252 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.252 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545726655.252 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.252 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545726655.252 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.252 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545726655.252 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.252 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.252 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.252 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.252 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.252 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.253 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.253 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.253 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.253 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.253 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.253 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.253 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.253 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.253 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545726655.253 * * * [misc]progress:  simplifying candidates
1545726655.253 * * * * [misc]progress:  [ 1 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
1545726655.253 * * * * [misc]progress:  [ 2 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545726655.253 * * * * [misc]progress:  [ 3 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
1545726655.253 * * * * [misc]progress:  [ 4 / 43 ] 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)))))))>
1545726655.253 * * * * [misc]progress:  [ 5 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
1545726655.253 * * * * [misc]progress:  [ 6 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
1545726655.253 * * * * [misc]progress:  [ 7 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
1545726655.253 * * * * [misc]progress:  [ 8 / 43 ] 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)))))))>
1545726655.253 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1545726655.253 * * [misc]simplify:  iters left: 6 (8 enodes)
1545726655.255 * * [misc]simplify:  iters left: 5 (16 enodes)
1545726655.257 * * [misc]simplify:  iters left: 4 (19 enodes)
1545726655.260 * * [misc]simplify:  iters left: 3 (21 enodes)
1545726655.262 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1545726655.262 * [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)))))))
1545726655.262 * * * * [misc]progress:  [ 9 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
1545726655.263 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1545726655.263 * * [misc]simplify:  iters left: 4 (7 enodes)
1545726655.264 * * [misc]simplify:  iters left: 3 (13 enodes)
1545726655.269 * * [misc]simplify:  iters left: 2 (16 enodes)
1545726655.273 * * [misc]simplify:  iters left: 1 (18 enodes)
1545726655.277 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1545726655.277 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
1545726655.277 * * * * [misc]progress:  [ 10 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
1545726655.277 * [enter]simplify:  Simplifying (log 1)
1545726655.277 * * [misc]simplify:  iters left: 1 (2 enodes)
1545726655.279 * [exit]simplify:  Simplified to 0
1545726655.280 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a))))))
1545726655.280 * * * * [misc]progress:  [ 11 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1545726655.280 * * * * [misc]progress:  [ 12 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
1545726655.280 * * * * [misc]progress:  [ 13 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545726655.280 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545726655.280 * * [misc]simplify:  iters left: 2 (5 enodes)
1545726655.281 * * [misc]simplify:  iters left: 1 (11 enodes)
1545726655.284 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545726655.284 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545726655.284 * * * * [misc]progress:  [ 14 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
1545726655.284 * * * * [misc]progress:  [ 15 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545726655.284 * * * * [misc]progress:  [ 16 / 43 ] 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)))))))>
1545726655.284 * * * * [misc]progress:  [ 17 / 43 ] 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)))))))>
1545726655.284 * * * * [misc]progress:  [ 18 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
1545726655.284 * * * * [misc]progress:  [ 19 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1545726655.284 * * * * [misc]progress:  [ 20 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
1545726655.284 * * * * [misc]progress:  [ 21 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1545726655.285 * [enter]simplify:  Simplifying (exp 1)
1545726655.285 * * [misc]simplify:  iters left: 1 (2 enodes)
1545726655.285 * [exit]simplify:  Simplified to E
1545726655.285 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545726655.285 * * * * [misc]progress:  [ 22 / 43 ] 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))))))>
1545726655.286 * [enter]simplify:  Simplifying (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545726655.286 * * [misc]simplify:  iters left: 6 (9 enodes)
1545726655.288 * * [misc]simplify:  iters left: 5 (17 enodes)
1545726655.293 * * [misc]simplify:  iters left: 4 (20 enodes)
1545726655.297 * * [misc]simplify:  iters left: 3 (22 enodes)
1545726655.302 * [exit]simplify:  Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545726655.302 * [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))))))
1545726655.302 * * * * [misc]progress:  [ 23 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
1545726655.302 * [enter]simplify:  Simplifying (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1545726655.302 * * [misc]simplify:  iters left: 5 (8 enodes)
1545726655.304 * * [misc]simplify:  iters left: 4 (14 enodes)
1545726655.308 * * [misc]simplify:  iters left: 3 (17 enodes)
1545726655.311 * * [misc]simplify:  iters left: 2 (19 enodes)
1545726655.316 * [exit]simplify:  Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1545726655.316 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
1545726655.316 * * * * [misc]progress:  [ 24 / 43 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1545726655.316 * [enter]simplify:  Simplifying (exp 1)
1545726655.316 * * [misc]simplify:  iters left: 1 (2 enodes)
1545726655.317 * [exit]simplify:  Simplified to E
1545726655.317 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545726655.317 * * * * [misc]progress:  [ 25 / 43 ] 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)))))))>
1545726655.317 * [enter]simplify:  Simplifying (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
1545726655.317 * * [misc]simplify:  iters left: 6 (9 enodes)
1545726655.319 * * [misc]simplify:  iters left: 5 (17 enodes)
1545726655.323 * * [misc]simplify:  iters left: 4 (22 enodes)
1545726655.328 * * [misc]simplify:  iters left: 3 (24 enodes)
1545726655.334 * [exit]simplify:  Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
1545726655.334 * [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)))))))
1545726655.334 * * * * [misc]progress:  [ 26 / 43 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))>
1545726655.334 * [enter]simplify:  Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a)))))
1545726655.334 * * [misc]simplify:  iters left: 5 (8 enodes)
1545726655.336 * * [misc]simplify:  iters left: 4 (14 enodes)
1545726655.340 * * [misc]simplify:  iters left: 3 (17 enodes)
1545726655.345 * * [misc]simplify:  iters left: 2 (19 enodes)
1545726655.349 * [exit]simplify:  Simplified to (sqrt (fmod (cosh c) (log1p a)))
1545726655.349 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))
1545726655.349 * * * * [misc]progress:  [ 27 / 43 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
1545726655.349 * [enter]simplify:  Simplifying (exp (log 1))
1545726655.350 * * [misc]simplify:  iters left: 2 (3 enodes)
1545726655.351 * * [misc]simplify:  iters left: 1 (5 enodes)
1545726655.352 * [exit]simplify:  Simplified to 1
1545726655.352 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))
1545726655.352 * * * * [misc]progress:  [ 28 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545726655.352 * [enter]simplify:  Simplifying (cosh c)
1545726655.352 * * [misc]simplify:  iters left: 1 (2 enodes)
1545726655.353 * [exit]simplify:  Simplified to (cosh c)
1545726655.353 * [misc]simplify:  Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a)))
1545726655.353 * * * * [misc]progress:  [ 29 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545726655.353 * * * * [misc]progress:  [ 30 / 43 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
1545726655.353 * * * * [misc]progress:  [ 31 / 43 ] 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)))))))>
1545726655.353 * * * * [misc]progress:  [ 32 / 43 ] 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)))))))>
1545726655.354 * * * * [misc]progress:  [ 33 / 43 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
1545726655.354 * * * * [misc]progress:  [ 34 / 43 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
1545726655.354 * * * * [misc]progress:  [ 35 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545726655.354 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545726655.354 * * [misc]simplify:  iters left: 2 (5 enodes)
1545726655.355 * * [misc]simplify:  iters left: 1 (11 enodes)
1545726655.359 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545726655.359 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545726655.359 * * * * [misc]progress:  [ 36 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545726655.359 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545726655.359 * * [misc]simplify:  iters left: 2 (5 enodes)
1545726655.361 * * [misc]simplify:  iters left: 1 (11 enodes)
1545726655.364 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545726655.364 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545726655.364 * * * * [misc]progress:  [ 37 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545726655.364 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545726655.365 * * [misc]simplify:  iters left: 2 (5 enodes)
1545726655.366 * * [misc]simplify:  iters left: 1 (11 enodes)
1545726655.369 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545726655.369 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545726655.369 * * * * [misc]progress:  [ 38 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545726655.369 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545726655.369 * * [misc]simplify:  iters left: 3 (6 enodes)
1545726655.371 * * [misc]simplify:  iters left: 2 (12 enodes)
1545726655.373 * * [misc]simplify:  iters left: 1 (15 enodes)
1545726655.375 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545726655.375 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545726655.375 * * * * [misc]progress:  [ 39 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545726655.375 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545726655.375 * * [misc]simplify:  iters left: 3 (6 enodes)
1545726655.376 * * [misc]simplify:  iters left: 2 (12 enodes)
1545726655.378 * * [misc]simplify:  iters left: 1 (15 enodes)
1545726655.380 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545726655.380 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545726655.380 * * * * [misc]progress:  [ 40 / 43 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545726655.380 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545726655.380 * * [misc]simplify:  iters left: 3 (6 enodes)
1545726655.381 * * [misc]simplify:  iters left: 2 (12 enodes)
1545726655.383 * * [misc]simplify:  iters left: 1 (15 enodes)
1545726655.385 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545726655.385 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545726655.385 * * * * [misc]progress:  [ 41 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545726655.385 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545726655.385 * * [misc]simplify:  iters left: 2 (5 enodes)
1545726655.385 * * [misc]simplify:  iters left: 1 (11 enodes)
1545726655.387 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545726655.387 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545726655.387 * * * * [misc]progress:  [ 42 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545726655.387 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545726655.387 * * [misc]simplify:  iters left: 2 (5 enodes)
1545726655.388 * * [misc]simplify:  iters left: 1 (11 enodes)
1545726655.389 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545726655.390 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545726655.390 * * * * [misc]progress:  [ 43 / 43 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545726655.390 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545726655.390 * * [misc]simplify:  iters left: 2 (5 enodes)
1545726655.390 * * [misc]simplify:  iters left: 1 (11 enodes)
1545726655.392 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545726655.392 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545726655.392 * * * [misc]progress:  adding candidates to table
1545726655.875 * * [misc]progress:  iteration 3 / 4
1545726655.875 * * * [misc]progress:  picking best candidate
1545726655.928 * * * * [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)))))))>
1545726655.928 * * * [misc]progress:  localizing error
1545726655.953 * * * [misc]progress:  generating rewritten candidates
1545726655.953 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 1)
1545726655.953 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1 2 1)
1545726655.954 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
1545726655.954 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2)
1545726655.956 * * * [misc]progress:  generating series expansions
1545726655.956 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 1)
1545726655.956 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.956 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545726655.956 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545726655.956 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.956 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545726655.956 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.956 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545726655.957 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.957 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545726655.957 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.957 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.957 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.957 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.957 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.957 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.957 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.957 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.957 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.957 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.957 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.957 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.957 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.957 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.957 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.958 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.958 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545726655.958 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545726655.958 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.958 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545726655.958 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.958 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545726655.958 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.958 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545726655.958 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.958 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.958 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.959 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.959 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.959 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.959 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.959 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.959 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.959 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.959 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.959 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.959 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.959 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.959 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545726655.959 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.959 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545726655.959 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545726655.959 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.959 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545726655.960 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.960 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545726655.960 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.960 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545726655.960 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.960 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.960 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.960 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.960 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.960 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.960 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.960 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.960 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.960 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.960 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.960 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.961 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.961 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.961 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545726655.961 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1 2 1)
1545726655.961 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.961 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545726655.961 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545726655.961 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.961 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545726655.961 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.961 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545726655.961 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.961 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545726655.961 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.962 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.962 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.962 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.962 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.962 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.962 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.962 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.962 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.962 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.962 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.962 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.962 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.962 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.962 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.962 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.962 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545726655.962 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545726655.962 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.962 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545726655.963 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.963 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545726655.963 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.963 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545726655.963 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.963 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.963 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.963 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.963 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.964 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.964 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.964 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.964 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.964 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.964 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.964 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.964 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.964 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.964 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545726655.964 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.964 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545726655.964 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545726655.964 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.964 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545726655.964 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.965 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545726655.965 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.965 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545726655.965 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.965 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.965 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.965 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.965 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.965 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.965 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.965 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.965 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.965 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.965 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.965 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.965 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.965 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.966 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545726655.966 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1 1)
1545726655.966 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.966 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545726655.966 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545726655.966 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.966 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545726655.966 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.966 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545726655.966 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.966 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545726655.966 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.966 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.966 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.966 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.967 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.967 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.967 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.967 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.967 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.967 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.967 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.967 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.967 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.967 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.967 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.967 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.967 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545726655.967 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545726655.967 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.967 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545726655.967 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.967 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545726655.968 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.968 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545726655.968 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.968 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.968 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.968 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.968 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.968 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.968 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.968 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.968 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.968 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.968 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.968 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.968 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.968 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.969 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545726655.969 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.969 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545726655.969 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545726655.969 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.969 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545726655.969 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.969 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545726655.969 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.969 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545726655.969 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.970 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.970 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.970 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.970 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.970 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.970 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.970 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.970 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.970 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.970 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.970 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.970 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.970 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.970 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545726655.970 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2)
1545726655.970 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545726655.970 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1545726655.970 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545726655.970 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545726655.971 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.971 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545726655.971 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545726655.971 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545726655.971 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.971 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545726655.971 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545726655.971 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545726655.971 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.971 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545726655.971 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545726655.971 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545726655.972 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726655.972 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545726655.972 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545726655.973 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545726655.973 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.973 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.973 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.974 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545726655.974 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.976 * [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
1545726655.976 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.976 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.976 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.976 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.978 * [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
1545726655.978 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.980 * [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
1545726655.980 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.980 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.980 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.980 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545726655.981 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545726655.981 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1545726655.981 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545726655.981 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545726655.981 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.981 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545726655.981 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545726655.981 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545726655.981 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.981 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545726655.981 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545726655.981 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545726655.981 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.982 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545726655.982 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545726655.982 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545726655.982 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726655.982 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545726655.982 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545726655.983 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545726655.983 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.983 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.983 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.984 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545726655.984 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.986 * [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
1545726655.986 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.986 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.986 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.986 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.988 * [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
1545726655.988 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.990 * [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
1545726655.991 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.991 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.991 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.991 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1545726655.991 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545726655.991 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1545726655.991 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545726655.991 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545726655.991 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.991 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545726655.991 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545726655.991 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545726655.991 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.992 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545726655.992 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545726655.992 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545726655.992 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.992 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545726655.992 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545726655.992 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545726655.992 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726655.992 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545726655.992 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545726655.993 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545726655.994 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.994 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.994 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.994 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545726655.994 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.996 * [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
1545726655.996 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726655.996 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.996 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.996 * [misc]backup-simplify:  Simplify 0 into 0
1545726655.998 * [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
1545726655.998 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.001 * [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
1545726656.001 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.001 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.001 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.001 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1545726656.001 * * * [misc]progress:  simplifying candidates
1545726656.001 * * * * [misc]progress:  [ 1 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (pow (fmod (cosh c) (log1p a)) 1))))))>
1545726656.001 * * * * [misc]progress:  [ 2 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1545726656.001 * * * * [misc]progress:  [ 3 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))>
1545726656.001 * * * * [misc]progress:  [ 4 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))>
1545726656.001 * * * * [misc]progress:  [ 5 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))>
1545726656.001 * * * * [misc]progress:  [ 6 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))>
1545726656.002 * * * * [misc]progress:  [ 7 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* 1 (fmod (cosh c) (log1p a))))))))>
1545726656.002 * * * * [misc]progress:  [ 8 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (log (fmod (cosh c) (log1p a)))))))>
1545726656.002 * * * * [misc]progress:  [ 9 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (log (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1545726656.002 * * * * [misc]progress:  [ 10 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1545726656.002 * * * * [misc]progress:  [ 11 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1545726656.002 * * * * [misc]progress:  [ 12 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1545726656.002 * * * * [misc]progress:  [ 13 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1545726656.002 * * * * [misc]progress:  [ 14 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))))))>
1545726656.002 * * * * [misc]progress:  [ 15 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (pow (fmod (cosh c) (log1p a)) 1)) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545726656.002 * * * * [misc]progress:  [ 16 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (exp (log (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545726656.002 * * * * [misc]progress:  [ 17 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545726656.002 * * * * [misc]progress:  [ 18 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545726656.002 * * * * [misc]progress:  [ 19 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545726656.002 * * * * [misc]progress:  [ 20 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545726656.002 * * * * [misc]progress:  [ 21 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (* 1 (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545726656.002 * * * * [misc]progress:  [ 22 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1545726656.003 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1545726656.003 * * [misc]simplify:  iters left: 6 (8 enodes)
1545726656.005 * * [misc]simplify:  iters left: 5 (16 enodes)
1545726656.009 * * [misc]simplify:  iters left: 4 (19 enodes)
1545726656.014 * * [misc]simplify:  iters left: 3 (21 enodes)
1545726656.020 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1545726656.020 * [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)))))))))
1545726656.020 * * * * [misc]progress:  [ 23 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))>
1545726656.020 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1545726656.020 * * [misc]simplify:  iters left: 4 (7 enodes)
1545726656.022 * * [misc]simplify:  iters left: 3 (13 enodes)
1545726656.025 * * [misc]simplify:  iters left: 2 (16 enodes)
1545726656.029 * * [misc]simplify:  iters left: 1 (18 enodes)
1545726656.033 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1545726656.033 * [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)))))))))
1545726656.034 * * * * [misc]progress:  [ 24 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log 1) (log (fmod (cosh c) (log1p a))))))))>
1545726656.034 * [enter]simplify:  Simplifying (log 1)
1545726656.034 * * [misc]simplify:  iters left: 1 (2 enodes)
1545726656.035 * [exit]simplify:  Simplified to 0
1545726656.035 * [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))))))))
1545726656.035 * * * * [misc]progress:  [ 25 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a))))))))>
1545726656.035 * * * * [misc]progress:  [ 26 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (pow (log (fmod (cosh c) (log1p a))) 1)))))>
1545726656.035 * * * * [misc]progress:  [ 27 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545726656.035 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545726656.036 * * [misc]simplify:  iters left: 2 (5 enodes)
1545726656.036 * * [misc]simplify:  iters left: 1 (11 enodes)
1545726656.038 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545726656.038 * [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)))))))
1545726656.038 * * * * [misc]progress:  [ 28 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (exp (log (log (fmod (cosh c) (log1p a)))))))))>
1545726656.038 * * * * [misc]progress:  [ 29 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1545726656.038 * * * * [misc]progress:  [ 30 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545726656.038 * * * * [misc]progress:  [ 31 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545726656.038 * * * * [misc]progress:  [ 32 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))))>
1545726656.038 * * * * [misc]progress:  [ 33 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a))))))))>
1545726656.038 * * * * [misc]progress:  [ 34 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545726656.038 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545726656.038 * * [misc]simplify:  iters left: 2 (5 enodes)
1545726656.039 * * [misc]simplify:  iters left: 1 (11 enodes)
1545726656.040 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545726656.040 * [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)))))))
1545726656.040 * * * * [misc]progress:  [ 35 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545726656.040 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545726656.040 * * [misc]simplify:  iters left: 2 (5 enodes)
1545726656.041 * * [misc]simplify:  iters left: 1 (11 enodes)
1545726656.042 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545726656.042 * [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)))))))
1545726656.042 * * * * [misc]progress:  [ 36 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545726656.043 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545726656.043 * * [misc]simplify:  iters left: 2 (5 enodes)
1545726656.043 * * [misc]simplify:  iters left: 1 (11 enodes)
1545726656.045 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545726656.045 * [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)))))))
1545726656.045 * * * * [misc]progress:  [ 37 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545726656.045 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545726656.045 * * [misc]simplify:  iters left: 2 (5 enodes)
1545726656.046 * * [misc]simplify:  iters left: 1 (11 enodes)
1545726656.047 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545726656.047 * [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)))))))
1545726656.047 * * * * [misc]progress:  [ 38 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545726656.047 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545726656.047 * * [misc]simplify:  iters left: 2 (5 enodes)
1545726656.048 * * [misc]simplify:  iters left: 1 (11 enodes)
1545726656.049 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545726656.049 * [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)))))))
1545726656.049 * * * * [misc]progress:  [ 39 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545726656.049 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545726656.049 * * [misc]simplify:  iters left: 2 (5 enodes)
1545726656.050 * * [misc]simplify:  iters left: 1 (11 enodes)
1545726656.052 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545726656.052 * [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)))))))
1545726656.052 * * * * [misc]progress:  [ 40 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545726656.052 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545726656.052 * * [misc]simplify:  iters left: 2 (5 enodes)
1545726656.052 * * [misc]simplify:  iters left: 1 (11 enodes)
1545726656.054 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545726656.054 * [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)))))))
1545726656.054 * * * * [misc]progress:  [ 41 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545726656.054 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545726656.054 * * [misc]simplify:  iters left: 2 (5 enodes)
1545726656.055 * * [misc]simplify:  iters left: 1 (11 enodes)
1545726656.057 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545726656.057 * [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)))))))
1545726656.057 * * * * [misc]progress:  [ 42 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545726656.057 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545726656.057 * * [misc]simplify:  iters left: 2 (5 enodes)
1545726656.059 * * [misc]simplify:  iters left: 1 (11 enodes)
1545726656.062 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545726656.062 * [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)))))))
1545726656.062 * * * * [misc]progress:  [ 43 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545726656.062 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545726656.062 * * [misc]simplify:  iters left: 3 (6 enodes)
1545726656.064 * * [misc]simplify:  iters left: 2 (12 enodes)
1545726656.067 * * [misc]simplify:  iters left: 1 (15 enodes)
1545726656.071 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545726656.071 * [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)))))))
1545726656.071 * * * * [misc]progress:  [ 44 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545726656.071 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545726656.071 * * [misc]simplify:  iters left: 3 (6 enodes)
1545726656.073 * * [misc]simplify:  iters left: 2 (12 enodes)
1545726656.076 * * [misc]simplify:  iters left: 1 (15 enodes)
1545726656.080 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545726656.080 * [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)))))))
1545726656.080 * * * * [misc]progress:  [ 45 / 45 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545726656.080 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545726656.080 * * [misc]simplify:  iters left: 3 (6 enodes)
1545726656.082 * * [misc]simplify:  iters left: 2 (12 enodes)
1545726656.085 * * [misc]simplify:  iters left: 1 (15 enodes)
1545726656.089 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545726656.089 * [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)))))))
1545726656.089 * * * [misc]progress:  adding candidates to table
1545726656.770 * * [misc]progress:  iteration 4 / 4
1545726656.770 * * * [misc]progress:  picking best candidate
1545726656.831 * * * * [misc]pick:  Picked  #<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)))))))))>
1545726656.831 * * * [misc]progress:  localizing error
1545726656.861 * * * [misc]progress:  generating rewritten candidates
1545726656.862 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 2 1 1)
1545726656.862 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2 1 2 1 1)
1545726656.862 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1 1)
1545726656.862 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 1 2 1)
1545726656.862 * * * [misc]progress:  generating series expansions
1545726656.862 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 2 1 1)
1545726656.863 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726656.863 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545726656.863 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545726656.863 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726656.863 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545726656.863 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726656.863 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545726656.863 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726656.863 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545726656.863 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726656.863 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726656.863 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.863 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.863 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.863 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.863 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.863 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.863 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.863 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.863 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.863 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.863 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.863 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.863 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726656.863 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726656.863 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545726656.863 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545726656.863 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726656.863 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545726656.863 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726656.864 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545726656.864 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726656.864 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545726656.864 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726656.864 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726656.864 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.864 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.864 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.864 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.864 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.864 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.864 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.864 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.864 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.864 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.864 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.864 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.864 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545726656.864 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726656.864 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545726656.864 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545726656.864 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726656.864 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545726656.864 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726656.864 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545726656.864 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726656.865 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545726656.865 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726656.865 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726656.865 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.865 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.865 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.865 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.865 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.865 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.865 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.865 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.865 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.865 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.865 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.865 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.865 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545726656.865 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2 1 2 1 1)
1545726656.865 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726656.865 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545726656.865 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545726656.865 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726656.865 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545726656.865 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726656.865 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545726656.865 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726656.865 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545726656.865 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726656.865 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726656.865 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.865 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.866 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.866 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.866 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.866 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.866 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.866 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.866 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.866 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.866 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.866 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.866 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726656.866 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726656.866 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545726656.866 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545726656.866 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726656.866 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545726656.866 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726656.866 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545726656.866 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726656.866 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545726656.866 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726656.866 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726656.866 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.866 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.866 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.866 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.866 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.866 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.866 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.866 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.866 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.866 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.867 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.867 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.867 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545726656.867 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726656.867 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545726656.867 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545726656.867 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726656.867 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545726656.867 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726656.867 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545726656.867 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726656.867 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545726656.867 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726656.867 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726656.867 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.867 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.867 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.867 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.867 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.867 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.867 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.867 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.867 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.867 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.867 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.867 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.868 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545726656.868 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2 1 1 1 1)
1545726656.868 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726656.868 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545726656.868 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545726656.868 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726656.868 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545726656.868 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726656.868 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545726656.868 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726656.868 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545726656.868 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726656.868 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726656.868 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.868 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.868 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.868 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.868 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.868 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.868 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.868 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.868 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.868 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.868 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.868 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.868 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726656.868 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726656.868 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545726656.868 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545726656.868 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726656.868 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545726656.869 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726656.869 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545726656.869 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726656.869 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545726656.869 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726656.869 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726656.869 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.869 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.869 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.869 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.869 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.869 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.869 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.869 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.869 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.869 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.869 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.869 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.869 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545726656.869 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726656.869 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545726656.869 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545726656.869 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726656.869 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545726656.869 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726656.869 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545726656.870 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726656.870 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545726656.870 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726656.870 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726656.870 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.870 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.870 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.870 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.870 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.870 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.870 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.870 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.870 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.870 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.870 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.870 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.870 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545726656.870 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 1 2 1)
1545726656.870 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726656.870 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545726656.870 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545726656.870 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726656.870 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545726656.870 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726656.870 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545726656.870 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726656.870 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545726656.870 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726656.870 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726656.871 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.871 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.871 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.871 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.871 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.871 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.871 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.871 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.871 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.871 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.871 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.871 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.871 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545726656.871 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726656.871 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545726656.871 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545726656.871 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726656.871 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545726656.871 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726656.871 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545726656.871 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726656.871 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545726656.871 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726656.871 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545726656.871 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.871 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.871 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.871 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.871 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.871 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.871 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.872 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.872 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.872 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.872 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.872 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.872 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545726656.872 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726656.872 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545726656.872 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545726656.872 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726656.872 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545726656.872 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726656.872 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545726656.872 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726656.872 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545726656.872 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726656.872 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545726656.872 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.872 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.872 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.872 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.872 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.872 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.872 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.872 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.872 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.872 * [misc]taylor:  Taking taylor expansion of 0 in a
1545726656.872 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.873 * [misc]backup-simplify:  Simplify 0 into 0
1545726656.873 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545726656.873 * * * [misc]progress:  simplifying candidates
1545726656.873 * * * * [misc]progress:  [ 1 / 40 ] 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 (pow (fmod (cosh c) (log1p a)) 1))))))))>
1545726656.873 * * * * [misc]progress:  [ 2 / 40 ] 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 (exp (log (fmod (cosh c) (log1p a)))))))))))>
1545726656.873 * * * * [misc]progress:  [ 3 / 40 ] 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 (log (exp (fmod (cosh c) (log1p a)))))))))))>
1545726656.873 * * * * [misc]progress:  [ 4 / 40 ] 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 (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))))>
1545726656.873 * * * * [misc]progress:  [ 5 / 40 ] 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 (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))))>
1545726656.873 * * * * [misc]progress:  [ 6 / 40 ] 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 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))))>
1545726656.873 * * * * [misc]progress:  [ 7 / 40 ] 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 (* 1 (fmod (cosh c) (log1p a))))))))))>
1545726656.873 * * * * [misc]progress:  [ 8 / 40 ] 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 (pow (fmod (cosh c) (log1p a)) 1)))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545726656.873 * * * * [misc]progress:  [ 9 / 40 ] 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 (exp (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545726656.873 * * * * [misc]progress:  [ 10 / 40 ] 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 (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545726656.873 * * * * [misc]progress:  [ 11 / 40 ] 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 (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545726656.873 * * * * [misc]progress:  [ 12 / 40 ] 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 (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545726656.873 * * * * [misc]progress:  [ 13 / 40 ] 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 (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545726656.873 * * * * [misc]progress:  [ 14 / 40 ] 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 (* 1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545726656.873 * * * * [misc]progress:  [ 15 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545726656.873 * * * * [misc]progress:  [ 16 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545726656.873 * * * * [misc]progress:  [ 17 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545726656.873 * * * * [misc]progress:  [ 18 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545726656.873 * * * * [misc]progress:  [ 19 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545726656.873 * * * * [misc]progress:  [ 20 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545726656.873 * * * * [misc]progress:  [ 21 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (* 1 (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545726656.874 * * * * [misc]progress:  [ 22 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545726656.874 * * * * [misc]progress:  [ 23 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (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)))))))))>
1545726656.874 * * * * [misc]progress:  [ 24 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (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)))))))))>
1545726656.874 * * * * [misc]progress:  [ 25 / 40 ] 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)))))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545726656.874 * * * * [misc]progress:  [ 26 / 40 ] 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)))))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545726656.874 * * * * [misc]progress:  [ 27 / 40 ] 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)))))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545726656.874 * * * * [misc]progress:  [ 28 / 40 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (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)))))))))>
1545726656.874 * * * * [misc]progress:  [ 29 / 40 ] 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)))))))))>
1545726656.874 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545726656.874 * * [misc]simplify:  iters left: 2 (5 enodes)
1545726656.875 * * [misc]simplify:  iters left: 1 (11 enodes)
1545726656.876 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545726656.876 * [misc]simplify:  Simplified (2 1 1 2 2 1 1) to (λ (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)))))))))
1545726656.876 * * * * [misc]progress:  [ 30 / 40 ] 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)))))))))>
1545726656.876 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545726656.876 * * [misc]simplify:  iters left: 2 (5 enodes)
1545726656.877 * * [misc]simplify:  iters left: 1 (11 enodes)
1545726656.878 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545726656.879 * [misc]simplify:  Simplified (2 1 1 2 2 1 1) to (λ (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)))))))))
1545726656.879 * * * * [misc]progress:  [ 31 / 40 ] 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)))))))))>
1545726656.879 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545726656.879 * * [misc]simplify:  iters left: 2 (5 enodes)
1545726656.879 * * [misc]simplify:  iters left: 1 (11 enodes)
1545726656.881 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545726656.881 * [misc]simplify:  Simplified (2 1 1 2 2 1 1) to (λ (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)))))))))
1545726656.881 * * * * [misc]progress:  [ 32 / 40 ] 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)))))))))>
1545726656.881 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545726656.881 * * [misc]simplify:  iters left: 2 (5 enodes)
1545726656.882 * * [misc]simplify:  iters left: 1 (11 enodes)
1545726656.883 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545726656.883 * [misc]simplify:  Simplified (2 1 1 2 1 2 1 1) to (λ (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)))))))))
1545726656.883 * * * * [misc]progress:  [ 33 / 40 ] 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)))))))))>
1545726656.883 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545726656.883 * * [misc]simplify:  iters left: 2 (5 enodes)
1545726656.884 * * [misc]simplify:  iters left: 1 (11 enodes)
1545726656.885 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545726656.885 * [misc]simplify:  Simplified (2 1 1 2 1 2 1 1) to (λ (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)))))))))
1545726656.885 * * * * [misc]progress:  [ 34 / 40 ] 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)))))))))>
1545726656.886 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545726656.886 * * [misc]simplify:  iters left: 2 (5 enodes)
1545726656.886 * * [misc]simplify:  iters left: 1 (11 enodes)
1545726656.888 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545726656.888 * [misc]simplify:  Simplified (2 1 1 2 1 2 1 1) to (λ (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)))))))))
1545726656.888 * * * * [misc]progress:  [ 35 / 40 ] 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)))))))))>
1545726656.889 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545726656.889 * * [misc]simplify:  iters left: 2 (5 enodes)
1545726656.890 * * [misc]simplify:  iters left: 1 (11 enodes)
1545726656.893 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545726656.894 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1) to (λ (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)))))))))
1545726656.894 * * * * [misc]progress:  [ 36 / 40 ] 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)))))))))>
1545726656.894 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545726656.894 * * [misc]simplify:  iters left: 2 (5 enodes)
1545726656.895 * * [misc]simplify:  iters left: 1 (11 enodes)
1545726656.898 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545726656.899 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1) to (λ (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)))))))))
1545726656.899 * * * * [misc]progress:  [ 37 / 40 ] 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)))))))))>
1545726656.899 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545726656.899 * * [misc]simplify:  iters left: 2 (5 enodes)
1545726656.900 * * [misc]simplify:  iters left: 1 (11 enodes)
1545726656.903 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545726656.903 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1) to (λ (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)))))))))
1545726656.903 * * * * [misc]progress:  [ 38 / 40 ] 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)))))))))>
1545726656.904 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545726656.904 * * [misc]simplify:  iters left: 2 (5 enodes)
1545726656.905 * * [misc]simplify:  iters left: 1 (11 enodes)
1545726656.908 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545726656.908 * [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)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545726656.908 * * * * [misc]progress:  [ 39 / 40 ] 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)))))))))>
1545726656.908 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545726656.908 * * [misc]simplify:  iters left: 2 (5 enodes)
1545726656.910 * * [misc]simplify:  iters left: 1 (11 enodes)
1545726656.913 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545726656.913 * [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)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545726656.913 * * * * [misc]progress:  [ 40 / 40 ] 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)))))))))>
1545726656.913 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545726656.913 * * [misc]simplify:  iters left: 2 (5 enodes)
1545726656.915 * * [misc]simplify:  iters left: 1 (11 enodes)
1545726656.918 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545726656.918 * [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)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545726656.918 * * * [misc]progress:  adding candidates to table
1545726657.581 * [misc]progress:  [Phase 3 of 3] Extracting.
1545726657.582 * * [misc]regime:  Finding splitpoints for: (#<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 (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (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 (cosh c) (log1p a)))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (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)))))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>)
1545726657.584 * * * [misc]regime-changes:  Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a)))
1545726657.585 * * * * [misc]regimes:  Trying to branch on a from (#<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 (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (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 (cosh c) (log1p a)))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (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)))))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>)
1545726657.700 * * * * [misc]regimes:  Trying to branch on (log1p a) from (#<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 (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (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 (cosh c) (log1p a)))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (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)))))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>)
1545726657.798 * * * * [misc]regimes:  Trying to branch on c from (#<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 (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (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 (cosh c) (log1p a)))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (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)))))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>)
1545726657.946 * * * * [misc]regimes:  Trying to branch on (cosh c) from (#<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 (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (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 (cosh c) (log1p a)))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (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)))))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>)
1545726658.091 * * * * [misc]regimes:  Trying to branch on (fmod (cosh c) (log1p a)) from (#<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 (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (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 (cosh c) (log1p a)))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (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)))))))))> #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>)
1545726658.278 * * * [misc]regime:  Found split indices: #<option (#s(si 0 256))>
1545726658.279 * [enter]simplify:  Simplifying (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))
1545726658.279 * * [misc]simplify:  iters left: 6 (10 enodes)
1545726658.280 * * [misc]simplify:  iters left: 5 (11 enodes)
1545726658.281 * [exit]simplify:  Simplified to (exp (cbrt (* (log (fmod (cosh c) (log1p a))) (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))
1545726658.281 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545726669.506 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545726669.508 * * * * [misc]points:  Sampling 4922 additional inputs, on iter 1 have 3078 / 8000
1545726676.445 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545726676.447 * * * * [misc]points:  Sampling 3054 additional inputs, on iter 2 have 4946 / 8000
1545726680.941 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545726680.942 * * * * [misc]points:  Sampling 1908 additional inputs, on iter 3 have 6092 / 8000
1545726683.848 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545726683.849 * * * * [misc]points:  Sampling 1189 additional inputs, on iter 4 have 6811 / 8000
1545726685.622 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545726685.622 * * * * [misc]points:  Sampling 737 additional inputs, on iter 5 have 7263 / 8000
1545726686.642 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545726686.642 * * * * [misc]points:  Sampling 446 additional inputs, on iter 6 have 7554 / 8000
1545726687.215 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545726687.215 * * * * [misc]points:  Sampling 271 additional inputs, on iter 7 have 7729 / 8000
1545726687.584 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545726687.585 * * * * [misc]points:  Sampling 170 additional inputs, on iter 8 have 7830 / 8000
1545726687.821 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545726687.821 * * * * [misc]points:  Sampling 108 additional inputs, on iter 9 have 7892 / 8000
1545726687.945 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545726687.945 * * * * [misc]points:  Sampling 63 additional inputs, on iter 10 have 7937 / 8000
1545726688.014 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545726688.014 * * * * [misc]points:  Sampling 44 additional inputs, on iter 11 have 7956 / 8000
1545726688.073 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545726688.073 * * * * [misc]points:  Sampling 28 additional inputs, on iter 12 have 7972 / 8000
1545726688.140 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545726688.140 * * * * [misc]points:  Sampling 19 additional inputs, on iter 13 have 7981 / 8000
1545726688.168 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545726688.168 * * * * [misc]points:  Sampling 11 additional inputs, on iter 14 have 7989 / 8000
1545726688.178 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545726688.178 * * * * [misc]points:  Sampling 8 additional inputs, on iter 15 have 7992 / 8000
1545726688.184 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545726688.184 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 7998 / 8000
1545726688.188 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545726688.188 * * * * [exit]points:  Sampled 8001 points with exact outputs
1545726690.895 * [misc]regime-testing:  Baseline error score: 34.343886140715675
1545726690.896 * [misc]regime-testing:  Oracle error score: 34.310786081970754