1545300949.167 * [misc]progress:  [Phase 1 of 3] Setting up.
1545300949.167 * * * [misc]progress:  [1/2] Preparing points
1545300949.167 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1545300949.478 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545300949.479 * * * * [misc]points:  Sampling 158 additional inputs, on iter 1 have 98 / 256
1545300949.725 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545300949.725 * * * * [misc]points:  Sampling 91 additional inputs, on iter 2 have 165 / 256
1545300949.792 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545300949.793 * * * * [misc]points:  Sampling 55 additional inputs, on iter 3 have 201 / 256
1545300949.843 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545300949.843 * * * * [misc]points:  Sampling 35 additional inputs, on iter 4 have 221 / 256
1545300949.907 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545300949.907 * * * * [misc]points:  Sampling 21 additional inputs, on iter 5 have 235 / 256
1545300949.943 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545300949.943 * * * * [misc]points:  Sampling 11 additional inputs, on iter 6 have 245 / 256
1545300949.959 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545300949.959 * * * * [misc]points:  Sampling 6 additional inputs, on iter 7 have 250 / 256
1545300949.969 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545300949.969 * * * * [misc]points:  Sampling 5 additional inputs, on iter 8 have 251 / 256
1545300950.009 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545300950.009 * * * * [misc]points:  Sampling 4 additional inputs, on iter 9 have 253 / 256
1545300950.012 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545300950.012 * * * * [misc]points:  Sampling 4 additional inputs, on iter 10 have 255 / 256
1545300950.023 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545300950.023 * * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 255 / 256
1545300950.030 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545300950.030 * * * * [exit]points:  Sampled 257 points with exact outputs
1545300950.030 * * * [misc]progress:  [2/2] Setting up program.
1545300950.039 * [misc]progress:  [Phase 2 of 3] Improving.
1545300950.041 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545300950.044 * * [misc]simplify:  iters left: 2 (5 enodes)
1545300950.050 * * [misc]simplify:  iters left: 1 (11 enodes)
1545300950.052 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545300950.061 * * [misc]progress:  iteration 1 / 4
1545300950.061 * * * [misc]progress:  picking best candidate
1545300950.064 * * * * [misc]pick:  Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545300950.065 * * * [misc]progress:  localizing error
1545300950.079 * * * [misc]progress:  generating rewritten candidates
1545300950.079 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1545300950.080 * * * [misc]progress:  generating series expansions
1545300950.081 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1545300950.083 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300950.083 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545300950.084 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545300950.085 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300950.085 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545300950.085 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300950.085 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545300950.085 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300950.085 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545300950.085 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300950.085 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300950.086 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.086 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.086 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.086 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.086 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.086 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.086 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.086 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.086 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.086 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.086 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.086 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.086 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300950.088 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300950.088 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545300950.088 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545300950.088 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300950.088 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545300950.088 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300950.088 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545300950.088 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300950.088 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545300950.088 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300950.088 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300950.088 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.089 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.089 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.089 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.089 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.089 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.089 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.089 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.089 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.089 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.089 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.089 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.089 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545300950.089 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300950.089 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545300950.089 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545300950.089 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300950.090 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545300950.090 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300950.090 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545300950.090 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300950.090 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545300950.090 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300950.090 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300950.090 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.090 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.090 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.090 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.090 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.090 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.090 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.090 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.090 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.090 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.090 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.090 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.090 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545300950.090 * * * [misc]progress:  simplifying candidates
1545300950.091 * * * * [misc]progress:  [ 1 / 12 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (fmod (cosh c) (log1p a)))))>
1545300950.091 * * * * [misc]progress:  [ 2 / 12 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (fmod (cosh c) (log1p a)))))>
1545300950.091 * * * * [misc]progress:  [ 3 / 12 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
1545300950.091 * * * * [misc]progress:  [ 4 / 12 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545300950.091 * * * * [misc]progress:  [ 5 / 12 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
1545300950.091 * * * * [misc]progress:  [ 6 / 12 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))>
1545300950.091 * * * * [misc]progress:  [ 7 / 12 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))>
1545300950.091 * * * * [misc]progress:  [ 8 / 12 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
1545300950.091 * * * * [misc]progress:  [ 9 / 12 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
1545300950.091 * * * * [misc]progress:  [ 10 / 12 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545300950.091 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545300950.091 * * [misc]simplify:  iters left: 2 (5 enodes)
1545300950.092 * * [misc]simplify:  iters left: 1 (11 enodes)
1545300950.093 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545300950.093 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545300950.093 * * * * [misc]progress:  [ 11 / 12 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545300950.094 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545300950.094 * * [misc]simplify:  iters left: 2 (5 enodes)
1545300950.094 * * [misc]simplify:  iters left: 1 (11 enodes)
1545300950.096 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545300950.096 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545300950.096 * * * * [misc]progress:  [ 12 / 12 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545300950.096 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545300950.096 * * [misc]simplify:  iters left: 2 (5 enodes)
1545300950.097 * * [misc]simplify:  iters left: 1 (11 enodes)
1545300950.098 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545300950.098 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545300950.098 * * * [misc]progress:  adding candidates to table
1545300950.215 * * [misc]progress:  iteration 2 / 4
1545300950.215 * * * [misc]progress:  picking best candidate
1545300950.241 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545300950.241 * * * [misc]progress:  localizing error
1545300950.251 * * * [misc]progress:  generating rewritten candidates
1545300950.251 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1)
1545300950.252 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
1545300950.255 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1545300950.259 * * * [misc]progress:  generating series expansions
1545300950.259 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1)
1545300950.260 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300950.260 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545300950.260 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545300950.260 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300950.260 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545300950.260 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300950.260 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545300950.260 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300950.260 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545300950.260 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300950.260 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300950.260 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.260 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.260 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.260 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.261 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.261 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.261 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.261 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.261 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.261 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.261 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.261 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.261 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300950.261 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300950.261 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545300950.261 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545300950.261 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300950.261 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545300950.261 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300950.261 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545300950.261 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300950.262 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545300950.262 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300950.262 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300950.262 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.262 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.262 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.262 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.262 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.262 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.262 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.262 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.262 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.262 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.262 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.262 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.262 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545300950.263 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300950.263 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545300950.263 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545300950.263 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300950.263 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545300950.263 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300950.263 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545300950.263 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300950.263 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545300950.263 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300950.263 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300950.263 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.263 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.264 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.264 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.264 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.264 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.264 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.264 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.264 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.264 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.264 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.264 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.264 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545300950.264 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
1545300950.264 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545300950.264 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1545300950.264 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545300950.264 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545300950.264 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300950.264 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545300950.264 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545300950.265 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545300950.265 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300950.265 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545300950.265 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545300950.265 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545300950.265 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300950.265 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545300950.265 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545300950.265 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545300950.265 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300950.265 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545300950.265 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545300950.268 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545300950.268 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.268 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.268 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.269 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545300950.269 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.271 * [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
1545300950.272 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.272 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.272 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.272 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.274 * [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
1545300950.274 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.277 * [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
1545300950.277 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.277 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.277 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.278 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545300950.278 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545300950.278 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1545300950.278 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545300950.278 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545300950.278 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300950.278 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545300950.278 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545300950.278 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545300950.278 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300950.278 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545300950.278 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545300950.278 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545300950.279 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300950.279 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545300950.279 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545300950.279 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545300950.279 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300950.279 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545300950.279 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545300950.280 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545300950.280 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.280 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.280 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.281 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545300950.281 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.283 * [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
1545300950.283 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.283 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.283 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.283 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.285 * [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
1545300950.285 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.288 * [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
1545300950.288 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.288 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.288 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.288 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1545300950.289 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545300950.289 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1545300950.289 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545300950.289 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545300950.289 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300950.289 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545300950.289 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545300950.289 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545300950.289 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300950.289 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545300950.289 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545300950.289 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545300950.289 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300950.290 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545300950.290 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545300950.290 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545300950.290 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300950.290 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545300950.290 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545300950.291 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545300950.291 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.291 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.291 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.292 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545300950.292 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.294 * [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
1545300950.294 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.294 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.294 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.294 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.295 * [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
1545300950.296 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.299 * [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
1545300950.299 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.299 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.299 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.299 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1545300950.299 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1545300950.299 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1545300950.299 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545300950.299 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545300950.299 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300950.299 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545300950.299 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300950.299 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545300950.300 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300950.300 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545300950.300 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300950.300 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300950.300 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.300 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.300 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.300 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.300 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.300 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.300 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.300 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.300 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.300 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.300 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.300 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.300 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300950.300 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300950.301 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545300950.301 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545300950.301 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300950.301 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545300950.301 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300950.301 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545300950.301 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300950.301 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545300950.301 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300950.301 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300950.301 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.301 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.301 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.301 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.302 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.302 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.302 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.302 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.302 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.302 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.302 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.302 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.302 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545300950.302 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300950.302 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545300950.302 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545300950.302 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300950.302 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545300950.302 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300950.302 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545300950.303 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300950.303 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545300950.303 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300950.303 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300950.303 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.303 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.303 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.303 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.303 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.303 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.303 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.303 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.303 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.303 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300950.303 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.303 * [misc]backup-simplify:  Simplify 0 into 0
1545300950.303 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545300950.304 * * * [misc]progress:  simplifying candidates
1545300950.304 * * * * [misc]progress:  [ 1 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))>
1545300950.304 * * * * [misc]progress:  [ 2 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))>
1545300950.304 * * * * [misc]progress:  [ 3 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
1545300950.304 * * * * [misc]progress:  [ 4 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545300950.304 * * * * [misc]progress:  [ 5 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
1545300950.304 * * * * [misc]progress:  [ 6 / 49 ] 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)))))))>
1545300950.304 * * * * [misc]progress:  [ 7 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
1545300950.304 * * * * [misc]progress:  [ 8 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
1545300950.304 * * * * [misc]progress:  [ 9 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
1545300950.304 * * * * [misc]progress:  [ 10 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))>
1545300950.304 * * * * [misc]progress:  [ 11 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))>
1545300950.304 * * * * [misc]progress:  [ 12 / 49 ] 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)))))))>
1545300950.305 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1545300950.305 * * [misc]simplify:  iters left: 6 (8 enodes)
1545300950.307 * * [misc]simplify:  iters left: 5 (16 enodes)
1545300950.309 * * [misc]simplify:  iters left: 4 (19 enodes)
1545300950.312 * * [misc]simplify:  iters left: 3 (21 enodes)
1545300950.315 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1545300950.315 * [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)))))))
1545300950.315 * * * * [misc]progress:  [ 13 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
1545300950.315 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1545300950.315 * * [misc]simplify:  iters left: 4 (7 enodes)
1545300950.316 * * [misc]simplify:  iters left: 3 (13 enodes)
1545300950.318 * * [misc]simplify:  iters left: 2 (16 enodes)
1545300950.320 * * [misc]simplify:  iters left: 1 (18 enodes)
1545300950.322 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1545300950.322 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
1545300950.322 * * * * [misc]progress:  [ 14 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
1545300950.322 * [enter]simplify:  Simplifying (log 1)
1545300950.322 * * [misc]simplify:  iters left: 1 (2 enodes)
1545300950.323 * [exit]simplify:  Simplified to 0
1545300950.323 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a))))))
1545300950.324 * * * * [misc]progress:  [ 15 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1545300950.324 * * * * [misc]progress:  [ 16 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
1545300950.324 * * * * [misc]progress:  [ 17 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545300950.324 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545300950.324 * * [misc]simplify:  iters left: 2 (5 enodes)
1545300950.324 * * [misc]simplify:  iters left: 1 (11 enodes)
1545300950.326 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545300950.326 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545300950.326 * * * * [misc]progress:  [ 18 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
1545300950.326 * * * * [misc]progress:  [ 19 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545300950.326 * * * * [misc]progress:  [ 20 / 49 ] 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)))))))>
1545300950.326 * * * * [misc]progress:  [ 21 / 49 ] 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)))))))>
1545300950.326 * * * * [misc]progress:  [ 22 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
1545300950.326 * * * * [misc]progress:  [ 23 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1545300950.326 * * * * [misc]progress:  [ 24 / 49 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (exp (log (fmod (cosh c) (log1p a)))))))>
1545300950.326 * * * * [misc]progress:  [ 25 / 49 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (exp (log (fmod (cosh c) (log1p a)))))))>
1545300950.326 * * * * [misc]progress:  [ 26 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
1545300950.326 * * * * [misc]progress:  [ 27 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1545300950.326 * [enter]simplify:  Simplifying (exp 1)
1545300950.326 * * [misc]simplify:  iters left: 1 (2 enodes)
1545300950.327 * [exit]simplify:  Simplified to E
1545300950.327 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545300950.327 * * * * [misc]progress:  [ 28 / 49 ] 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))))))>
1545300950.327 * [enter]simplify:  Simplifying (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545300950.327 * * [misc]simplify:  iters left: 6 (9 enodes)
1545300950.328 * * [misc]simplify:  iters left: 5 (17 enodes)
1545300950.333 * * [misc]simplify:  iters left: 4 (20 enodes)
1545300950.336 * * [misc]simplify:  iters left: 3 (22 enodes)
1545300950.338 * [exit]simplify:  Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545300950.338 * [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))))))
1545300950.338 * * * * [misc]progress:  [ 29 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
1545300950.339 * [enter]simplify:  Simplifying (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1545300950.339 * * [misc]simplify:  iters left: 5 (8 enodes)
1545300950.341 * * [misc]simplify:  iters left: 4 (14 enodes)
1545300950.345 * * [misc]simplify:  iters left: 3 (17 enodes)
1545300950.349 * * [misc]simplify:  iters left: 2 (19 enodes)
1545300950.354 * [exit]simplify:  Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1545300950.354 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
1545300950.354 * * * * [misc]progress:  [ 30 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1545300950.354 * [enter]simplify:  Simplifying (exp 1)
1545300950.354 * * [misc]simplify:  iters left: 1 (2 enodes)
1545300950.355 * [exit]simplify:  Simplified to E
1545300950.355 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545300950.355 * * * * [misc]progress:  [ 31 / 49 ] 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)))))))>
1545300950.355 * [enter]simplify:  Simplifying (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
1545300950.355 * * [misc]simplify:  iters left: 6 (9 enodes)
1545300950.358 * * [misc]simplify:  iters left: 5 (17 enodes)
1545300950.363 * * [misc]simplify:  iters left: 4 (22 enodes)
1545300950.369 * * [misc]simplify:  iters left: 3 (24 enodes)
1545300950.374 * [exit]simplify:  Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
1545300950.374 * [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)))))))
1545300950.374 * * * * [misc]progress:  [ 32 / 49 ] simplifiying candidate #<alt (λ (a c) (* (exp (log (sqrt (fmod (cosh c) (log1p a))))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))>
1545300950.375 * [enter]simplify:  Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a)))))
1545300950.375 * * [misc]simplify:  iters left: 5 (8 enodes)
1545300950.377 * * [misc]simplify:  iters left: 4 (14 enodes)
1545300950.381 * * [misc]simplify:  iters left: 3 (17 enodes)
1545300950.385 * * [misc]simplify:  iters left: 2 (19 enodes)
1545300950.390 * [exit]simplify:  Simplified to (sqrt (fmod (cosh c) (log1p a)))
1545300950.390 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))
1545300950.390 * * * * [misc]progress:  [ 33 / 49 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
1545300950.391 * [enter]simplify:  Simplifying (exp (log 1))
1545300950.391 * * [misc]simplify:  iters left: 2 (3 enodes)
1545300950.393 * * [misc]simplify:  iters left: 1 (5 enodes)
1545300950.394 * [exit]simplify:  Simplified to 1
1545300950.394 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))
1545300950.394 * * * * [misc]progress:  [ 34 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545300950.395 * [enter]simplify:  Simplifying (cosh c)
1545300950.395 * * [misc]simplify:  iters left: 1 (2 enodes)
1545300950.395 * [exit]simplify:  Simplified to (cosh c)
1545300950.395 * [misc]simplify:  Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a)))
1545300950.396 * * * * [misc]progress:  [ 35 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545300950.396 * * * * [misc]progress:  [ 36 / 49 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
1545300950.396 * * * * [misc]progress:  [ 37 / 49 ] 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)))))))>
1545300950.396 * * * * [misc]progress:  [ 38 / 49 ] 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)))))))>
1545300950.396 * * * * [misc]progress:  [ 39 / 49 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>
1545300950.396 * * * * [misc]progress:  [ 40 / 49 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
1545300950.396 * * * * [misc]progress:  [ 41 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545300950.396 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545300950.396 * * [misc]simplify:  iters left: 2 (5 enodes)
1545300950.398 * * [misc]simplify:  iters left: 1 (11 enodes)
1545300950.401 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545300950.401 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545300950.401 * * * * [misc]progress:  [ 42 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545300950.401 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545300950.401 * * [misc]simplify:  iters left: 2 (5 enodes)
1545300950.402 * * [misc]simplify:  iters left: 1 (11 enodes)
1545300950.405 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545300950.405 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545300950.405 * * * * [misc]progress:  [ 43 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545300950.405 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545300950.405 * * [misc]simplify:  iters left: 2 (5 enodes)
1545300950.407 * * [misc]simplify:  iters left: 1 (11 enodes)
1545300950.409 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545300950.409 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545300950.410 * * * * [misc]progress:  [ 44 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545300950.410 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545300950.410 * * [misc]simplify:  iters left: 3 (6 enodes)
1545300950.411 * * [misc]simplify:  iters left: 2 (12 enodes)
1545300950.414 * * [misc]simplify:  iters left: 1 (15 enodes)
1545300950.418 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545300950.418 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545300950.418 * * * * [misc]progress:  [ 45 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545300950.418 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545300950.418 * * [misc]simplify:  iters left: 3 (6 enodes)
1545300950.420 * * [misc]simplify:  iters left: 2 (12 enodes)
1545300950.423 * * [misc]simplify:  iters left: 1 (15 enodes)
1545300950.427 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545300950.427 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545300950.427 * * * * [misc]progress:  [ 46 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1545300950.427 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545300950.427 * * [misc]simplify:  iters left: 3 (6 enodes)
1545300950.429 * * [misc]simplify:  iters left: 2 (12 enodes)
1545300950.432 * * [misc]simplify:  iters left: 1 (15 enodes)
1545300950.436 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545300950.436 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1545300950.436 * * * * [misc]progress:  [ 47 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545300950.436 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545300950.436 * * [misc]simplify:  iters left: 2 (5 enodes)
1545300950.437 * * [misc]simplify:  iters left: 1 (11 enodes)
1545300950.440 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545300950.440 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545300950.440 * * * * [misc]progress:  [ 48 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545300950.440 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545300950.440 * * [misc]simplify:  iters left: 2 (5 enodes)
1545300950.441 * * [misc]simplify:  iters left: 1 (11 enodes)
1545300950.444 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545300950.444 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545300950.444 * * * * [misc]progress:  [ 49 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545300950.445 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545300950.445 * * [misc]simplify:  iters left: 2 (5 enodes)
1545300950.446 * * [misc]simplify:  iters left: 1 (11 enodes)
1545300950.449 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545300950.449 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545300950.449 * * * [misc]progress:  adding candidates to table
1545300951.085 * * [misc]progress:  iteration 3 / 4
1545300951.086 * * * [misc]progress:  picking best candidate
1545300951.140 * * * * [misc]pick:  Picked  #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
1545300951.140 * * * [misc]progress:  localizing error
1545300951.144 * * * [misc]progress:  generating rewritten candidates
1545300951.144 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 2 1)
1545300951.145 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 2)
1545300951.146 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1545300951.147 * * * [misc]progress:  generating series expansions
1545300951.147 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 2 1)
1545300951.147 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300951.147 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545300951.147 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545300951.147 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300951.147 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545300951.147 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300951.147 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545300951.147 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300951.147 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545300951.147 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300951.148 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300951.148 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300951.148 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.148 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.148 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.148 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300951.148 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.148 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.148 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.148 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.148 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300951.148 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.148 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.148 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300951.148 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300951.148 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545300951.148 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545300951.148 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300951.148 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545300951.148 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300951.148 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545300951.148 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300951.148 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545300951.148 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300951.148 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300951.148 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300951.148 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.148 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.148 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.148 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300951.148 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.149 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.149 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.149 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.149 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300951.149 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.149 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.149 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545300951.149 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300951.149 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545300951.149 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545300951.149 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300951.149 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545300951.149 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300951.149 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545300951.149 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300951.149 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545300951.149 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300951.149 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300951.149 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300951.149 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.149 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.149 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.149 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300951.149 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.149 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.149 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.149 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.149 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300951.149 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.150 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.150 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545300951.150 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 2)
1545300951.150 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545300951.150 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1545300951.150 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545300951.150 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545300951.150 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300951.150 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545300951.150 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545300951.150 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545300951.150 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300951.150 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545300951.150 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545300951.150 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545300951.150 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300951.150 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545300951.150 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545300951.150 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545300951.150 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300951.150 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545300951.150 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545300951.151 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545300951.151 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300951.151 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.151 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.152 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545300951.152 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.154 * [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
1545300951.154 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300951.154 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.154 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.154 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.155 * [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
1545300951.155 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.158 * [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
1545300951.158 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300951.158 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.158 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.158 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545300951.158 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545300951.158 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1545300951.159 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545300951.159 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545300951.159 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300951.159 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545300951.159 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545300951.159 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545300951.159 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300951.159 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545300951.159 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545300951.159 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545300951.159 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300951.160 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545300951.160 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545300951.160 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545300951.160 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300951.160 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545300951.160 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545300951.161 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545300951.161 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300951.161 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.161 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.162 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545300951.162 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.164 * [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
1545300951.164 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300951.164 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.164 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.164 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.166 * [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
1545300951.166 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.168 * [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
1545300951.169 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300951.169 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.169 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.169 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1545300951.169 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545300951.169 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1545300951.169 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545300951.169 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545300951.169 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300951.169 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545300951.169 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545300951.169 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545300951.170 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300951.170 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545300951.170 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545300951.170 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545300951.170 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300951.170 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545300951.170 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545300951.170 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545300951.170 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300951.170 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545300951.171 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545300951.172 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545300951.172 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300951.172 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.172 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.173 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545300951.173 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.175 * [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
1545300951.175 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300951.175 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.175 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.175 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.176 * [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
1545300951.177 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.179 * [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
1545300951.180 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300951.180 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.180 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.180 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1545300951.180 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1545300951.180 * [misc]backup-simplify:  Simplify (pow E (log (fmod (cosh c) (log1p a)))) into (pow E (log (fmod (cosh c) (log1p a))))
1545300951.180 * [misc]approximate:  Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in (c a) around 0
1545300951.180 * [misc]taylor:  Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in a
1545300951.180 * [misc]taylor:  Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in a
1545300951.180 * [misc]taylor:  Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in a
1545300951.180 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545300951.180 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545300951.180 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300951.181 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545300951.181 * [misc]taylor:  Taking taylor expansion of (log E) in a
1545300951.181 * [misc]taylor:  Taking taylor expansion of E in a
1545300951.181 * [misc]backup-simplify:  Simplify E into E
1545300951.181 * [misc]backup-simplify:  Simplify (log E) into 1
1545300951.181 * [misc]backup-simplify:  Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
1545300951.181 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1545300951.181 * [misc]taylor:  Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c
1545300951.181 * [misc]taylor:  Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c
1545300951.181 * [misc]taylor:  Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c
1545300951.182 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545300951.182 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545300951.182 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300951.182 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545300951.182 * [misc]taylor:  Taking taylor expansion of (log E) in c
1545300951.182 * [misc]taylor:  Taking taylor expansion of E in c
1545300951.182 * [misc]backup-simplify:  Simplify E into E
1545300951.182 * [misc]backup-simplify:  Simplify (log E) into 1
1545300951.182 * [misc]backup-simplify:  Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
1545300951.182 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1545300951.182 * [misc]taylor:  Taking taylor expansion of (pow E (log (fmod (cosh c) (log1p a)))) in c
1545300951.182 * [misc]taylor:  Taking taylor expansion of (exp (* (log (fmod (cosh c) (log1p a))) (log E))) in c
1545300951.182 * [misc]taylor:  Taking taylor expansion of (* (log (fmod (cosh c) (log1p a))) (log E)) in c
1545300951.182 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545300951.182 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545300951.182 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300951.182 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545300951.183 * [misc]taylor:  Taking taylor expansion of (log E) in c
1545300951.183 * [misc]taylor:  Taking taylor expansion of E in c
1545300951.183 * [misc]backup-simplify:  Simplify E into E
1545300951.183 * [misc]backup-simplify:  Simplify (log E) into 1
1545300951.183 * [misc]backup-simplify:  Simplify (* (log (fmod (cosh c) (log1p a))) 1) into (log (fmod (cosh c) (log1p a)))
1545300951.183 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1545300951.183 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545300951.183 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300951.183 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300951.187 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
1545300951.187 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545300951.188 * [misc]backup-simplify:  Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (* 0 1)) into 0
1545300951.189 * [misc]backup-simplify:  Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 1) 1)))) into 0
1545300951.189 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300951.189 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.189 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.189 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.193 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
1545300951.195 * [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
1545300951.195 * [misc]backup-simplify:  Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (* 0 1))) into 0
1545300951.197 * [misc]backup-simplify:  Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1545300951.197 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300951.197 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.197 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.197 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.197 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.205 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0
1545300951.208 * [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
1545300951.209 * [misc]backup-simplify:  Simplify (+ (* (log (fmod (cosh c) (log1p a))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545300951.212 * [misc]backup-simplify:  Simplify (* (exp (log (fmod (cosh c) (log1p a)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1545300951.212 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300951.212 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.212 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.212 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300951.212 * [misc]backup-simplify:  Simplify (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))))
1545300951.212 * [misc]approximate:  Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in (c a) around 0
1545300951.212 * [misc]taylor:  Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in a
1545300951.212 * [misc]taylor:  Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in a
1545300951.212 * [misc]taylor:  Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in a
1545300951.212 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545300951.212 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545300951.213 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300951.213 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545300951.213 * [misc]taylor:  Taking taylor expansion of (log E) in a
1545300951.213 * [misc]taylor:  Taking taylor expansion of E in a
1545300951.213 * [misc]backup-simplify:  Simplify E into E
1545300951.213 * [misc]backup-simplify:  Simplify (log E) into 1
1545300951.213 * [misc]backup-simplify:  Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545300951.213 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300951.213 * [misc]taylor:  Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1545300951.213 * [misc]taylor:  Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c
1545300951.213 * [misc]taylor:  Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c
1545300951.213 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545300951.213 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545300951.213 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300951.214 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545300951.214 * [misc]taylor:  Taking taylor expansion of (log E) in c
1545300951.214 * [misc]taylor:  Taking taylor expansion of E in c
1545300951.214 * [misc]backup-simplify:  Simplify E into E
1545300951.214 * [misc]backup-simplify:  Simplify (log E) into 1
1545300951.214 * [misc]backup-simplify:  Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545300951.214 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300951.214 * [misc]taylor:  Taking taylor expansion of (pow E (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) in c
1545300951.214 * [misc]taylor:  Taking taylor expansion of (exp (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E))) in c
1545300951.214 * [misc]taylor:  Taking taylor expansion of (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) (log E)) in c
1545300951.214 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545300951.214 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545300951.214 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300951.214 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545300951.215 * [misc]taylor:  Taking taylor expansion of (log E) in c
1545300951.215 * [misc]taylor:  Taking taylor expansion of E in c
1545300951.215 * [misc]backup-simplify:  Simplify E into E
1545300951.215 * [misc]backup-simplify:  Simplify (log E) into 1
1545300951.215 * [misc]backup-simplify:  Simplify (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 1) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545300951.215 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300951.215 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545300951.215 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300951.215 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300951.218 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
1545300951.219 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545300951.219 * [misc]backup-simplify:  Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (* 0 1)) into 0
1545300951.220 * [misc]backup-simplify:  Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0
1545300951.220 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300951.220 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.220 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.220 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.225 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
1545300951.227 * [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
1545300951.227 * [misc]backup-simplify:  Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0
1545300951.229 * [misc]backup-simplify:  Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1545300951.229 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300951.229 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.229 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.229 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.229 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.239 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0
1545300951.241 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 6) into 0
1545300951.242 * [misc]backup-simplify:  Simplify (+ (* (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545300951.245 * [misc]backup-simplify:  Simplify (* (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1545300951.245 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300951.245 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.245 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.245 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545300951.245 * [misc]backup-simplify:  Simplify (pow E (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))))
1545300951.246 * [misc]approximate:  Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in (c a) around 0
1545300951.246 * [misc]taylor:  Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in a
1545300951.246 * [misc]taylor:  Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in a
1545300951.246 * [misc]taylor:  Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in a
1545300951.246 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545300951.246 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545300951.246 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300951.246 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545300951.246 * [misc]taylor:  Taking taylor expansion of (log E) in a
1545300951.246 * [misc]taylor:  Taking taylor expansion of E in a
1545300951.246 * [misc]backup-simplify:  Simplify E into E
1545300951.246 * [misc]backup-simplify:  Simplify (log E) into 1
1545300951.246 * [misc]backup-simplify:  Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545300951.246 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300951.246 * [misc]taylor:  Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1545300951.246 * [misc]taylor:  Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c
1545300951.247 * [misc]taylor:  Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c
1545300951.247 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545300951.247 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545300951.247 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300951.247 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545300951.247 * [misc]taylor:  Taking taylor expansion of (log E) in c
1545300951.247 * [misc]taylor:  Taking taylor expansion of E in c
1545300951.247 * [misc]backup-simplify:  Simplify E into E
1545300951.247 * [misc]backup-simplify:  Simplify (log E) into 1
1545300951.247 * [misc]backup-simplify:  Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545300951.247 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300951.247 * [misc]taylor:  Taking taylor expansion of (pow E (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) in c
1545300951.247 * [misc]taylor:  Taking taylor expansion of (exp (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E))) in c
1545300951.247 * [misc]taylor:  Taking taylor expansion of (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) (log E)) in c
1545300951.247 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545300951.247 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545300951.247 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300951.247 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545300951.247 * [misc]taylor:  Taking taylor expansion of (log E) in c
1545300951.247 * [misc]taylor:  Taking taylor expansion of E in c
1545300951.248 * [misc]backup-simplify:  Simplify E into E
1545300951.248 * [misc]backup-simplify:  Simplify (log E) into 1
1545300951.248 * [misc]backup-simplify:  Simplify (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 1) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545300951.248 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300951.248 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545300951.248 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300951.248 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300951.249 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
1545300951.250 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545300951.250 * [misc]backup-simplify:  Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (* 0 1)) into 0
1545300951.251 * [misc]backup-simplify:  Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 1) 1)))) into 0
1545300951.251 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300951.251 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.251 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.251 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.253 * [misc]backup-simplify:  Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
1545300951.255 * [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
1545300951.255 * [misc]backup-simplify:  Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (* 0 1))) into 0
1545300951.256 * [misc]backup-simplify:  Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
1545300951.256 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300951.256 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.256 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.256 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.256 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.260 * [misc]backup-simplify:  Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow E 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow E 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow E 1)))) 6) into 0
1545300951.262 * [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
1545300951.262 * [misc]backup-simplify:  Simplify (+ (* (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1545300951.264 * [misc]backup-simplify:  Simplify (* (exp (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
1545300951.264 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300951.264 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.264 * [misc]backup-simplify:  Simplify 0 into 0
1545300951.264 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545300951.264 * * * [misc]progress:  simplifying candidates
1545300951.264 * * * * [misc]progress:  [ 1 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))>
1545300951.264 * * * * [misc]progress:  [ 2 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))>
1545300951.264 * * * * [misc]progress:  [ 3 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (log (pow (fmod (cosh c) (log1p a)) 1))))>
1545300951.264 * * * * [misc]progress:  [ 4 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545300951.264 * * * * [misc]progress:  [ 5 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (log (log (exp (fmod (cosh c) (log1p a)))))))>
1545300951.264 * * * * [misc]progress:  [ 6 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))>
1545300951.264 * * * * [misc]progress:  [ 7 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))>
1545300951.264 * * * * [misc]progress:  [ 8 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
1545300951.265 * * * * [misc]progress:  [ 9 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (log (* 1 (fmod (cosh c) (log1p a))))))>
1545300951.265 * * * * [misc]progress:  [ 10 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))>
1545300951.265 * * * * [misc]progress:  [ 11 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))>
1545300951.265 * * * * [misc]progress:  [ 12 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>
1545300951.265 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1545300951.265 * * [misc]simplify:  iters left: 6 (8 enodes)
1545300951.266 * * [misc]simplify:  iters left: 5 (16 enodes)
1545300951.268 * * [misc]simplify:  iters left: 4 (19 enodes)
1545300951.271 * * [misc]simplify:  iters left: 3 (21 enodes)
1545300951.274 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1545300951.274 * [misc]simplify:  Simplified (2 2 1) to (λ (a c) (pow E (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))
1545300951.274 * * * * [misc]progress:  [ 13 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
1545300951.274 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1545300951.274 * * [misc]simplify:  iters left: 4 (7 enodes)
1545300951.275 * * [misc]simplify:  iters left: 3 (13 enodes)
1545300951.277 * * [misc]simplify:  iters left: 2 (16 enodes)
1545300951.279 * * [misc]simplify:  iters left: 1 (18 enodes)
1545300951.281 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1545300951.281 * [misc]simplify:  Simplified (2 2 1) to (λ (a c) (pow E (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
1545300951.281 * * * * [misc]progress:  [ 14 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
1545300951.281 * [enter]simplify:  Simplifying (log 1)
1545300951.281 * * [misc]simplify:  iters left: 1 (2 enodes)
1545300951.282 * [exit]simplify:  Simplified to 0
1545300951.282 * [misc]simplify:  Simplified (2 2 1) to (λ (a c) (pow E (+ 0 (log (fmod (cosh c) (log1p a))))))
1545300951.282 * * * * [misc]progress:  [ 15 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (* 1 (log (fmod (cosh c) (log1p a))))))>
1545300951.282 * * * * [misc]progress:  [ 16 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (pow (log (fmod (cosh c) (log1p a))) 1)))>
1545300951.282 * * * * [misc]progress:  [ 17 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
1545300951.282 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545300951.282 * * [misc]simplify:  iters left: 2 (5 enodes)
1545300951.283 * * [misc]simplify:  iters left: 1 (11 enodes)
1545300951.285 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545300951.285 * [misc]simplify:  Simplified (2 2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545300951.285 * * * * [misc]progress:  [ 18 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (exp (log (log (fmod (cosh c) (log1p a)))))))>
1545300951.285 * * * * [misc]progress:  [ 19 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (log (exp (log (fmod (cosh c) (log1p a)))))))>
1545300951.285 * * * * [misc]progress:  [ 20 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545300951.285 * * * * [misc]progress:  [ 21 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1545300951.285 * * * * [misc]progress:  [ 22 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
1545300951.285 * * * * [misc]progress:  [ 23 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (* 1 (log (fmod (cosh c) (log1p a))))))>
1545300951.285 * * * * [misc]progress:  [ 24 / 49 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (pow E (log (fmod (cosh c) (log1p a)))))))>
1545300951.285 * * * * [misc]progress:  [ 25 / 49 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (pow E (log (fmod (cosh c) (log1p a)))))))>
1545300951.285 * * * * [misc]progress:  [ 26 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (log E) (log (fmod (cosh c) (log1p a))))))>
1545300951.285 * * * * [misc]progress:  [ 27 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (pow E 1) (log (fmod (cosh c) (log1p a)))))>
1545300951.285 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545300951.285 * * [misc]simplify:  iters left: 3 (6 enodes)
1545300951.286 * * [misc]simplify:  iters left: 2 (12 enodes)
1545300951.288 * * [misc]simplify:  iters left: 1 (15 enodes)
1545300951.290 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545300951.290 * [misc]simplify:  Simplified (2 2) to (λ (a c) (pow (pow E 1) (log (fmod (cosh c) (log1p a)))))
1545300951.290 * * * * [misc]progress:  [ 28 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))>
1545300951.290 * [enter]simplify:  Simplifying (cbrt (log (fmod (cosh c) (log1p a))))
1545300951.290 * * [misc]simplify:  iters left: 4 (7 enodes)
1545300951.291 * * [misc]simplify:  iters left: 3 (13 enodes)
1545300951.292 * * [misc]simplify:  iters left: 2 (16 enodes)
1545300951.294 * * [misc]simplify:  iters left: 1 (18 enodes)
1545300951.297 * [exit]simplify:  Simplified to (cbrt (log (fmod (cosh c) (log1p a))))
1545300951.297 * [misc]simplify:  Simplified (2 2) to (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))
1545300951.297 * * * * [misc]progress:  [ 29 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (pow E (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))>
1545300951.297 * [enter]simplify:  Simplifying (sqrt (log (fmod (cosh c) (log1p a))))
1545300951.297 * * [misc]simplify:  iters left: 4 (7 enodes)
1545300951.298 * * [misc]simplify:  iters left: 3 (13 enodes)
1545300951.300 * * [misc]simplify:  iters left: 2 (16 enodes)
1545300951.301 * * [misc]simplify:  iters left: 1 (18 enodes)
1545300951.304 * [exit]simplify:  Simplified to (sqrt (log (fmod (cosh c) (log1p a))))
1545300951.304 * [misc]simplify:  Simplified (2 2) to (λ (a c) (pow (pow E (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
1545300951.304 * * * * [misc]progress:  [ 30 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (pow E 1) (log (fmod (cosh c) (log1p a)))))>
1545300951.304 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545300951.304 * * [misc]simplify:  iters left: 3 (6 enodes)
1545300951.305 * * [misc]simplify:  iters left: 2 (12 enodes)
1545300951.306 * * [misc]simplify:  iters left: 1 (15 enodes)
1545300951.308 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545300951.309 * [misc]simplify:  Simplified (2 2) to (λ (a c) (pow (pow E 1) (log (fmod (cosh c) (log1p a)))))
1545300951.309 * * * * [misc]progress:  [ 31 / 49 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))>
1545300951.309 * [enter]simplify:  Simplifying (pow E (log (cbrt (fmod (cosh c) (log1p a)))))
1545300951.309 * * [misc]simplify:  iters left: 5 (9 enodes)
1545300951.310 * * [misc]simplify:  iters left: 4 (17 enodes)
1545300951.313 * * [misc]simplify:  iters left: 3 (21 enodes)
1545300951.319 * [exit]simplify:  Simplified to (pow E (log (cbrt (fmod (cosh c) (log1p a)))))
1545300951.319 * [misc]simplify:  Simplified (2 2) to (λ (a c) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))
1545300951.319 * * * * [misc]progress:  [ 32 / 49 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))>
1545300951.319 * [enter]simplify:  Simplifying (pow E (log (sqrt (fmod (cosh c) (log1p a)))))
1545300951.319 * * [misc]simplify:  iters left: 5 (9 enodes)
1545300951.322 * * [misc]simplify:  iters left: 4 (17 enodes)
1545300951.326 * * [misc]simplify:  iters left: 3 (21 enodes)
1545300951.330 * [exit]simplify:  Simplified to (pow E (log (sqrt (fmod (cosh c) (log1p a)))))
1545300951.330 * [misc]simplify:  Simplified (2 2) to (λ (a c) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))
1545300951.330 * * * * [misc]progress:  [ 33 / 49 ] simplifiying candidate #<alt (λ (a c) (* (pow E (log 1)) (pow E (log (fmod (cosh c) (log1p a))))))>
1545300951.330 * [enter]simplify:  Simplifying (pow E (log (fmod (cosh c) (log1p a))))
1545300951.330 * * [misc]simplify:  iters left: 4 (8 enodes)
1545300951.332 * * [misc]simplify:  iters left: 3 (16 enodes)
1545300951.334 * * [misc]simplify:  iters left: 2 (20 enodes)
1545300951.336 * [exit]simplify:  Simplified to (pow E (log (fmod (cosh c) (log1p a))))
1545300951.336 * [misc]simplify:  Simplified (2 2) to (λ (a c) (* (pow E (log 1)) (pow E (log (fmod (cosh c) (log1p a))))))
1545300951.336 * * * * [misc]progress:  [ 34 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (pow E (log (fmod (cosh c) (log1p a)))) 1))>
1545300951.336 * * * * [misc]progress:  [ 35 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow E (log (fmod (cosh c) (log1p a)))))))>
1545300951.336 * * * * [misc]progress:  [ 36 / 49 ] simplifiying candidate #<alt (λ (a c) (log (exp (pow E (log (fmod (cosh c) (log1p a)))))))>
1545300951.336 * * * * [misc]progress:  [ 37 / 49 ] simplifiying candidate #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))>
1545300951.336 * * * * [misc]progress:  [ 38 / 49 ] simplifiying candidate #<alt (λ (a c) (cbrt (* (* (pow E (log (fmod (cosh c) (log1p a)))) (pow E (log (fmod (cosh c) (log1p a))))) (pow E (log (fmod (cosh c) (log1p a)))))))>
1545300951.336 * * * * [misc]progress:  [ 39 / 49 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (pow E (log (fmod (cosh c) (log1p a))))) (sqrt (pow E (log (fmod (cosh c) (log1p a)))))))>
1545300951.336 * * * * [misc]progress:  [ 40 / 49 ] simplifiying candidate #<alt (λ (a c) (* 1 (pow E (log (fmod (cosh c) (log1p a))))))>
1545300951.336 * * * * [misc]progress:  [ 41 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
1545300951.336 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545300951.336 * * [misc]simplify:  iters left: 2 (5 enodes)
1545300951.337 * * [misc]simplify:  iters left: 1 (11 enodes)
1545300951.339 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545300951.339 * [misc]simplify:  Simplified (2 2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545300951.339 * * * * [misc]progress:  [ 42 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
1545300951.339 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545300951.339 * * [misc]simplify:  iters left: 2 (5 enodes)
1545300951.340 * * [misc]simplify:  iters left: 1 (11 enodes)
1545300951.341 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545300951.341 * [misc]simplify:  Simplified (2 2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545300951.341 * * * * [misc]progress:  [ 43 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
1545300951.341 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545300951.341 * * [misc]simplify:  iters left: 2 (5 enodes)
1545300951.342 * * [misc]simplify:  iters left: 1 (11 enodes)
1545300951.344 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545300951.344 * [misc]simplify:  Simplified (2 2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545300951.344 * * * * [misc]progress:  [ 44 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
1545300951.344 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545300951.344 * * [misc]simplify:  iters left: 3 (6 enodes)
1545300951.345 * * [misc]simplify:  iters left: 2 (12 enodes)
1545300951.346 * * [misc]simplify:  iters left: 1 (15 enodes)
1545300951.349 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545300951.349 * [misc]simplify:  Simplified (2 2) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545300951.349 * * * * [misc]progress:  [ 45 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
1545300951.349 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545300951.349 * * [misc]simplify:  iters left: 3 (6 enodes)
1545300951.351 * * [misc]simplify:  iters left: 2 (12 enodes)
1545300951.353 * * [misc]simplify:  iters left: 1 (15 enodes)
1545300951.357 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545300951.357 * [misc]simplify:  Simplified (2 2) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545300951.357 * * * * [misc]progress:  [ 46 / 49 ] simplifiying candidate #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))>
1545300951.357 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545300951.357 * * [misc]simplify:  iters left: 3 (6 enodes)
1545300951.359 * * [misc]simplify:  iters left: 2 (12 enodes)
1545300951.361 * * [misc]simplify:  iters left: 1 (15 enodes)
1545300951.365 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545300951.365 * [misc]simplify:  Simplified (2 2) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1545300951.365 * * * * [misc]progress:  [ 47 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545300951.365 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545300951.365 * * [misc]simplify:  iters left: 2 (5 enodes)
1545300951.366 * * [misc]simplify:  iters left: 1 (11 enodes)
1545300951.369 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545300951.369 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545300951.369 * * * * [misc]progress:  [ 48 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545300951.369 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545300951.369 * * [misc]simplify:  iters left: 2 (5 enodes)
1545300951.370 * * [misc]simplify:  iters left: 1 (11 enodes)
1545300951.374 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545300951.374 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545300951.374 * * * * [misc]progress:  [ 49 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1545300951.374 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545300951.374 * * [misc]simplify:  iters left: 2 (5 enodes)
1545300951.375 * * [misc]simplify:  iters left: 1 (11 enodes)
1545300951.378 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545300951.378 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1545300951.378 * * * [misc]progress:  adding candidates to table
1545300951.982 * * [misc]progress:  iteration 4 / 4
1545300951.982 * * * [misc]progress:  picking best candidate
1545300952.080 * * * * [misc]pick:  Picked  #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545300952.080 * * * [misc]progress:  localizing error
1545300952.107 * * * [misc]progress:  generating rewritten candidates
1545300952.107 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 2 2 1 1)
1545300952.107 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 2 1 2 1 1)
1545300952.108 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 2 1 1 1 1)
1545300952.108 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 2 2 1)
1545300952.110 * * * [misc]progress:  generating series expansions
1545300952.110 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 2 2 1 1)
1545300952.110 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300952.110 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545300952.110 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545300952.111 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300952.111 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545300952.111 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300952.111 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545300952.111 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300952.111 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545300952.111 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300952.111 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300952.111 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.111 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.111 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.111 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.111 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.111 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.111 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.111 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.111 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.111 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.111 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.111 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.112 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300952.112 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300952.112 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545300952.112 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545300952.112 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300952.112 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545300952.112 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300952.112 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545300952.112 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300952.112 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545300952.112 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300952.113 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300952.113 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.113 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.113 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.113 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.113 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.113 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.113 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.113 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.113 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.113 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.113 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.113 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.113 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545300952.113 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300952.113 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545300952.113 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545300952.113 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300952.114 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545300952.114 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300952.114 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545300952.114 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300952.114 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545300952.114 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300952.114 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300952.114 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.114 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.114 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.114 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.114 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.114 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.114 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.114 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.114 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.115 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.115 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.115 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.115 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545300952.115 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 2 1 2 1 1)
1545300952.115 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300952.115 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545300952.115 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545300952.115 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300952.115 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545300952.115 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300952.115 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545300952.115 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300952.115 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545300952.115 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300952.115 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300952.116 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.116 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.116 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.116 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.116 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.116 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.116 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.116 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.116 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.116 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.116 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.116 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.116 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300952.116 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300952.116 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545300952.116 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545300952.116 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300952.116 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545300952.116 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300952.117 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545300952.117 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300952.117 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545300952.117 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300952.117 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300952.117 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.117 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.117 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.117 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.117 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.117 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.117 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.117 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.117 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.117 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.117 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.117 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.118 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545300952.118 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300952.118 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545300952.118 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545300952.118 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300952.118 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545300952.118 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300952.118 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545300952.118 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300952.118 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545300952.118 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300952.119 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300952.119 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.119 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.119 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.119 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.119 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.119 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.119 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.119 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.119 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.119 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.119 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.119 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.119 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545300952.119 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 2 1 1 1 1)
1545300952.119 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300952.119 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1545300952.119 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545300952.119 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300952.119 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545300952.120 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300952.120 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545300952.120 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300952.120 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545300952.120 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300952.120 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300952.120 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.120 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.120 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.120 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.120 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.120 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.120 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.120 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.120 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.120 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.120 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.120 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.120 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300952.121 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300952.121 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1545300952.121 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545300952.121 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300952.121 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545300952.121 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300952.121 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545300952.121 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300952.121 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545300952.121 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300952.121 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300952.121 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.121 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.121 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.122 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.122 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.122 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.122 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.122 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.122 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.122 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.122 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.122 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.122 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1545300952.122 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300952.122 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1545300952.122 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545300952.122 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300952.122 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545300952.122 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300952.122 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545300952.123 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300952.123 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545300952.123 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300952.123 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300952.123 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.123 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.123 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.123 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.123 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.123 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.123 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.123 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.124 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.124 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.124 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.124 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.124 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1545300952.124 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 2 2 1)
1545300952.124 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545300952.124 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1545300952.124 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545300952.124 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545300952.124 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300952.124 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545300952.124 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545300952.124 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545300952.124 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300952.124 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545300952.125 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1545300952.125 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1545300952.125 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300952.125 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545300952.125 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1545300952.125 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1545300952.125 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1545300952.125 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545300952.125 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545300952.126 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545300952.126 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.126 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.126 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.127 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1545300952.127 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.128 * [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
1545300952.128 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.128 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.128 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.128 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.129 * [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
1545300952.129 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.131 * [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
1545300952.131 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.131 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.131 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.131 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1545300952.131 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545300952.131 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1545300952.131 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545300952.131 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545300952.131 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300952.131 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545300952.131 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545300952.131 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545300952.131 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300952.131 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545300952.131 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1545300952.131 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1545300952.131 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300952.132 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545300952.132 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1545300952.132 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1545300952.132 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1545300952.132 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545300952.132 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1545300952.132 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545300952.132 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.132 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.132 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.133 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1545300952.133 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.136 * [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
1545300952.136 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.136 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.136 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.136 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.137 * [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
1545300952.137 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.139 * [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
1545300952.139 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.139 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.139 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.139 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1545300952.139 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545300952.139 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1545300952.139 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545300952.139 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545300952.139 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300952.139 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545300952.139 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545300952.140 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545300952.140 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300952.140 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545300952.140 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1545300952.140 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1545300952.140 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300952.140 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545300952.140 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1545300952.140 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1545300952.140 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1545300952.140 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545300952.140 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1545300952.141 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545300952.141 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.141 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.141 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.141 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1545300952.141 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.142 * [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
1545300952.142 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.142 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.142 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.142 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.143 * [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
1545300952.143 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.145 * [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
1545300952.145 * [misc]taylor:  Taking taylor expansion of 0 in a
1545300952.145 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.145 * [misc]backup-simplify:  Simplify 0 into 0
1545300952.145 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1545300952.145 * * * [misc]progress:  simplifying candidates
1545300952.145 * * * * [misc]progress:  [ 1 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))))>
1545300952.146 * * * * [misc]progress:  [ 2 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))))>
1545300952.146 * * * * [misc]progress:  [ 3 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))))))>
1545300952.146 * * * * [misc]progress:  [ 4 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1545300952.146 * * * * [misc]progress:  [ 5 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))>
1545300952.146 * * * * [misc]progress:  [ 6 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (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)))))))))>
1545300952.146 * * * * [misc]progress:  [ 7 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (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)))))))))>
1545300952.146 * * * * [misc]progress:  [ 8 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (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)))))))))>
1545300952.146 * * * * [misc]progress:  [ 9 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (* 1 (fmod (cosh c) (log1p a))))))))>
1545300952.146 * * * * [misc]progress:  [ 10 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545300952.146 * * * * [misc]progress:  [ 11 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545300952.146 * * * * [misc]progress:  [ 12 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (pow (fmod (cosh c) (log1p a)) 1)))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545300952.146 * * * * [misc]progress:  [ 13 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (exp (log (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545300952.146 * * * * [misc]progress:  [ 14 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (log (exp (fmod (cosh c) (log1p a))))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545300952.146 * * * * [misc]progress:  [ 15 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (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)))))))>
1545300952.146 * * * * [misc]progress:  [ 16 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (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)))))))>
1545300952.146 * * * * [misc]progress:  [ 17 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (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)))))))>
1545300952.146 * * * * [misc]progress:  [ 18 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (* 1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545300952.146 * * * * [misc]progress:  [ 19 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545300952.146 * * * * [misc]progress:  [ 20 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545300952.146 * * * * [misc]progress:  [ 21 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (pow (fmod (cosh c) (log1p a)) 1))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545300952.146 * * * * [misc]progress:  [ 22 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545300952.146 * * * * [misc]progress:  [ 23 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545300952.146 * * * * [misc]progress:  [ 24 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (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)))))))>
1545300952.146 * * * * [misc]progress:  [ 25 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (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)))))))>
1545300952.146 * * * * [misc]progress:  [ 26 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (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)))))))>
1545300952.146 * * * * [misc]progress:  [ 27 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (* 1 (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545300952.146 * * * * [misc]progress:  [ 28 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))>
1545300952.147 * * * * [misc]progress:  [ 29 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))))>
1545300952.147 * * * * [misc]progress:  [ 30 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (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))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1545300952.147 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1545300952.147 * * [misc]simplify:  iters left: 6 (8 enodes)
1545300952.148 * * [misc]simplify:  iters left: 5 (16 enodes)
1545300952.150 * * [misc]simplify:  iters left: 4 (19 enodes)
1545300952.153 * * [misc]simplify:  iters left: 3 (21 enodes)
1545300952.156 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1545300952.156 * [misc]simplify:  Simplified (2 2 2 1 1) to (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1545300952.156 * * * * [misc]progress:  [ 31 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))>
1545300952.156 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1545300952.156 * * [misc]simplify:  iters left: 4 (7 enodes)
1545300952.157 * * [misc]simplify:  iters left: 3 (13 enodes)
1545300952.159 * * [misc]simplify:  iters left: 2 (16 enodes)
1545300952.161 * * [misc]simplify:  iters left: 1 (18 enodes)
1545300952.164 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1545300952.165 * [misc]simplify:  Simplified (2 2 2 1 1) to (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))
1545300952.165 * * * * [misc]progress:  [ 32 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ (log 1) (log (fmod (cosh c) (log1p a))))))))>
1545300952.165 * [enter]simplify:  Simplifying (log 1)
1545300952.165 * * [misc]simplify:  iters left: 1 (2 enodes)
1545300952.167 * [exit]simplify:  Simplified to 0
1545300952.167 * [misc]simplify:  Simplified (2 2 2 1 1) to (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (+ 0 (log (fmod (cosh c) (log1p a))))))))
1545300952.167 * * * * [misc]progress:  [ 33 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* 1 (log (fmod (cosh c) (log1p a))))))))>
1545300952.167 * * * * [misc]progress:  [ 34 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (pow (log (fmod (cosh c) (log1p a))) 1)))))>
1545300952.167 * * * * [misc]progress:  [ 35 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545300952.168 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545300952.168 * * [misc]simplify:  iters left: 2 (5 enodes)
1545300952.169 * * [misc]simplify:  iters left: 1 (11 enodes)
1545300952.172 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545300952.172 * [misc]simplify:  Simplified (2 2 2 1 1) to (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545300952.173 * * * * [misc]progress:  [ 36 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (log (fmod (cosh c) (log1p a)))))))))>
1545300952.173 * * * * [misc]progress:  [ 37 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1545300952.173 * * * * [misc]progress:  [ 38 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1545300952.173 * * * * [misc]progress:  [ 39 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1545300952.173 * * * * [misc]progress:  [ 40 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))))>
1545300952.173 * * * * [misc]progress:  [ 41 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* 1 (log (fmod (cosh c) (log1p a))))))))>
1545300952.173 * * * * [misc]progress:  [ 42 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545300952.173 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545300952.173 * * [misc]simplify:  iters left: 2 (5 enodes)
1545300952.175 * * [misc]simplify:  iters left: 1 (11 enodes)
1545300952.178 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545300952.178 * [misc]simplify:  Simplified (2 2 2 1 1) to (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545300952.178 * * * * [misc]progress:  [ 43 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545300952.179 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545300952.179 * * [misc]simplify:  iters left: 2 (5 enodes)
1545300952.180 * * [misc]simplify:  iters left: 1 (11 enodes)
1545300952.183 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545300952.184 * [misc]simplify:  Simplified (2 2 2 1 1) to (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545300952.184 * * * * [misc]progress:  [ 44 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545300952.184 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545300952.184 * * [misc]simplify:  iters left: 2 (5 enodes)
1545300952.185 * * [misc]simplify:  iters left: 1 (11 enodes)
1545300952.189 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545300952.189 * [misc]simplify:  Simplified (2 2 2 1 1) to (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545300952.189 * * * * [misc]progress:  [ 45 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545300952.189 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545300952.189 * * [misc]simplify:  iters left: 2 (5 enodes)
1545300952.191 * * [misc]simplify:  iters left: 1 (11 enodes)
1545300952.194 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545300952.194 * [misc]simplify:  Simplified (2 2 1 2 1 1) to (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545300952.194 * * * * [misc]progress:  [ 46 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545300952.195 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545300952.195 * * [misc]simplify:  iters left: 2 (5 enodes)
1545300952.196 * * [misc]simplify:  iters left: 1 (11 enodes)
1545300952.200 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545300952.200 * [misc]simplify:  Simplified (2 2 1 2 1 1) to (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545300952.200 * * * * [misc]progress:  [ 47 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545300952.200 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545300952.200 * * [misc]simplify:  iters left: 2 (5 enodes)
1545300952.202 * * [misc]simplify:  iters left: 1 (11 enodes)
1545300952.205 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545300952.205 * [misc]simplify:  Simplified (2 2 1 2 1 1) to (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545300952.205 * * * * [misc]progress:  [ 48 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545300952.205 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545300952.205 * * [misc]simplify:  iters left: 2 (5 enodes)
1545300952.207 * * [misc]simplify:  iters left: 1 (11 enodes)
1545300952.210 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545300952.210 * [misc]simplify:  Simplified (2 2 1 1 1 1) to (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545300952.210 * * * * [misc]progress:  [ 49 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545300952.211 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545300952.211 * * [misc]simplify:  iters left: 2 (5 enodes)
1545300952.212 * * [misc]simplify:  iters left: 1 (11 enodes)
1545300952.215 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545300952.215 * [misc]simplify:  Simplified (2 2 1 1 1 1) to (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545300952.215 * * * * [misc]progress:  [ 50 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545300952.216 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1545300952.216 * * [misc]simplify:  iters left: 2 (5 enodes)
1545300952.217 * * [misc]simplify:  iters left: 1 (11 enodes)
1545300952.220 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1545300952.221 * [misc]simplify:  Simplified (2 2 1 1 1 1) to (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545300952.221 * * * * [misc]progress:  [ 51 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545300952.221 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545300952.221 * * [misc]simplify:  iters left: 3 (6 enodes)
1545300952.223 * * [misc]simplify:  iters left: 2 (12 enodes)
1545300952.226 * * [misc]simplify:  iters left: 1 (15 enodes)
1545300952.231 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545300952.231 * [misc]simplify:  Simplified (2 2 2 1) to (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545300952.231 * * * * [misc]progress:  [ 52 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545300952.231 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545300952.231 * * [misc]simplify:  iters left: 3 (6 enodes)
1545300952.233 * * [misc]simplify:  iters left: 2 (12 enodes)
1545300952.236 * * [misc]simplify:  iters left: 1 (15 enodes)
1545300952.241 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545300952.241 * [misc]simplify:  Simplified (2 2 2 1) to (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545300952.241 * * * * [misc]progress:  [ 53 / 53 ] simplifiying candidate #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))>
1545300952.241 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1545300952.241 * * [misc]simplify:  iters left: 3 (6 enodes)
1545300952.243 * * [misc]simplify:  iters left: 2 (12 enodes)
1545300952.246 * * [misc]simplify:  iters left: 1 (15 enodes)
1545300952.250 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1545300952.250 * [misc]simplify:  Simplified (2 2 2 1) to (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))
1545300952.251 * * * [misc]progress:  adding candidates to table
1545300952.934 * [misc]progress:  [Phase 3 of 3] Extracting.
1545300952.934 * * [misc]regime:  Finding splitpoints for: (#<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)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log1p (expm1 (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 (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (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 (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) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (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))))) (log (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) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>)
1545300952.938 * * * [misc]regime-changes:  Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a)))
1545300952.938 * * * * [misc]regimes:  Trying to branch on a from (#<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)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log1p (expm1 (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 (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (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 (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) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (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))))) (log (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) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>)
1545300953.076 * * * * [misc]regimes:  Trying to branch on (log1p a) from (#<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)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log1p (expm1 (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 (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (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 (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) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (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))))) (log (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) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>)
1545300953.262 * * * * [misc]regimes:  Trying to branch on c from (#<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)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log1p (expm1 (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 (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (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 (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) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (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))))) (log (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) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>)
1545300953.406 * * * * [misc]regimes:  Trying to branch on (cosh c) from (#<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)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log1p (expm1 (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 (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (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 (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) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (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))))) (log (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) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>)
1545300953.532 * * * * [misc]regimes:  Trying to branch on (fmod (cosh c) (log1p a)) from (#<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)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log1p (expm1 (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 (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (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 (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) (* (pow E (log (sqrt (fmod (cosh c) (log1p a))))) (pow E (log (sqrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (pow (pow E (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))) (cbrt (log (fmod (cosh c) (log1p a))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (log (exp (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (* (cbrt (pow E (log (fmod (cosh c) (log1p a))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))) (cbrt (pow E (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (* (* (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))))) (log (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) (* (pow E (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))) (pow E (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))>)
1545300953.744 * * * [misc]regime:  Found split indices: #<option (#s(si 7 256))>
1545300953.745 * [enter]simplify:  Simplifying (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a))))))))
1545300953.745 * * [misc]simplify:  iters left: 6 (13 enodes)
1545300953.746 * * [misc]simplify:  iters left: 5 (17 enodes)
1545300953.748 * * [misc]simplify:  iters left: 4 (19 enodes)
1545300953.749 * [exit]simplify:  Simplified to (pow E (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (* (cbrt (log (fmod (cosh c) (log1p a)))) (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a)))))))))
1545300953.749 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1545300965.057 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545300965.058 * * * * [misc]points:  Sampling 4993 additional inputs, on iter 1 have 3007 / 8000
1545300972.514 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545300972.517 * * * * [misc]points:  Sampling 3132 additional inputs, on iter 2 have 4868 / 8000
1545300976.825 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545300976.826 * * * * [misc]points:  Sampling 1960 additional inputs, on iter 3 have 6040 / 8000
1545300979.696 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545300979.697 * * * * [misc]points:  Sampling 1183 additional inputs, on iter 4 have 6817 / 8000
1545300981.154 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545300981.154 * * * * [misc]points:  Sampling 716 additional inputs, on iter 5 have 7284 / 8000
1545300982.445 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545300982.445 * * * * [misc]points:  Sampling 431 additional inputs, on iter 6 have 7569 / 8000
1545300983.068 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545300983.068 * * * * [misc]points:  Sampling 267 additional inputs, on iter 7 have 7733 / 8000
1545300983.362 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545300983.362 * * * * [misc]points:  Sampling 162 additional inputs, on iter 8 have 7838 / 8000
1545300983.511 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545300983.511 * * * * [misc]points:  Sampling 107 additional inputs, on iter 9 have 7893 / 8000
1545300983.663 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545300983.663 * * * * [misc]points:  Sampling 64 additional inputs, on iter 10 have 7936 / 8000
1545300983.714 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545300983.714 * * * * [misc]points:  Sampling 40 additional inputs, on iter 11 have 7960 / 8000
1545300983.742 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545300983.742 * * * * [misc]points:  Sampling 19 additional inputs, on iter 12 have 7981 / 8000
1545300983.767 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545300983.768 * * * * [misc]points:  Sampling 13 additional inputs, on iter 13 have 7987 / 8000
1545300983.782 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545300983.782 * * * * [misc]points:  Sampling 6 additional inputs, on iter 14 have 7994 / 8000
1545300983.823 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545300983.823 * * * * [misc]points:  Sampling 4 additional inputs, on iter 15 have 7996 / 8000
1545300983.828 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545300983.828 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 7998 / 8000
1545300983.835 * * * * [misc]points:  Filtering points with unrepresentable outputs
1545300983.836 * * * * [exit]points:  Sampled 8001 points with exact outputs
1545300986.644 * [misc]regime-testing:  Baseline error score: 34.01699009325096
1545300986.644 * [misc]regime-testing:  End program error score: 34.01699009325096
1545300986.646 * [misc]regime-testing:  Oracle error score: 33.97263614756738