1546853368.388 * [misc]progress:  [Phase 1 of 3] Setting up.
1546853368.388 * * * [misc]progress:  [1/2] Preparing points
1546853368.388 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1546853368.700 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546853368.701 * * * * [misc]points:  Sampling 159 additional inputs, on iter 1 have 97 / 256
1546853368.876 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546853368.876 * * * * [misc]points:  Sampling 105 additional inputs, on iter 2 have 151 / 256
1546853368.975 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546853368.976 * * * * [misc]points:  Sampling 72 additional inputs, on iter 3 have 184 / 256
1546853369.058 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546853369.058 * * * * [misc]points:  Sampling 43 additional inputs, on iter 4 have 213 / 256
1546853369.092 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546853369.092 * * * * [misc]points:  Sampling 24 additional inputs, on iter 5 have 232 / 256
1546853369.131 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546853369.131 * * * * [misc]points:  Sampling 18 additional inputs, on iter 6 have 238 / 256
1546853369.189 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546853369.189 * * * * [misc]points:  Sampling 14 additional inputs, on iter 7 have 242 / 256
1546853369.200 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546853369.200 * * * * [misc]points:  Sampling 9 additional inputs, on iter 8 have 247 / 256
1546853369.211 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546853369.211 * * * * [misc]points:  Sampling 7 additional inputs, on iter 9 have 249 / 256
1546853369.215 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546853369.215 * * * * [misc]points:  Sampling 4 additional inputs, on iter 10 have 253 / 256
1546853369.217 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546853369.217 * * * * [misc]points:  Sampling 4 additional inputs, on iter 11 have 255 / 256
1546853369.222 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546853369.222 * * * * [misc]points:  Sampling 4 additional inputs, on iter 12 have 255 / 256
1546853369.228 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546853369.228 * * * * [exit]points:  Sampled 256 points with exact outputs
1546853369.230 * * * [misc]progress:  [2/2] Setting up program.
1546853369.238 * [misc]progress:  [Phase 2 of 3] Improving.
1546853369.238 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546853369.240 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546853369.241 * * [misc]simplify:  iters left: 2 (5 enodes)
1546853369.248 * * [misc]simplify:  iters left: 1 (11 enodes)
1546853369.253 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546853369.253 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1546853369.261 * * [misc]progress:  iteration 1 / 4
1546853369.261 * * * [misc]progress:  picking best candidate
1546853369.268 * * * * [misc]pick:  Picked  #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546853369.268 * * * [misc]progress:  localizing error
1546853369.292 * * * [misc]progress:  generating rewritten candidates
1546853369.293 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1546853369.296 * * * [misc]progress:  generating series expansions
1546853369.297 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1546853369.301 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853369.301 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546853369.302 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546853369.304 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853369.304 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546853369.304 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853369.304 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546853369.304 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853369.305 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546853369.305 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853369.305 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853369.305 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.305 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.305 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.305 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.306 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.306 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.306 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.306 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.306 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.306 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.306 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.306 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.306 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853369.308 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853369.308 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546853369.308 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546853369.308 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853369.308 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546853369.309 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853369.309 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546853369.309 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853369.309 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546853369.309 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853369.309 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853369.309 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.309 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.309 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.309 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.309 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.309 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.309 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.309 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.309 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.309 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.309 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.309 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.310 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546853369.311 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853369.311 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546853369.311 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546853369.311 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853369.311 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546853369.311 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853369.311 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546853369.311 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853369.311 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546853369.311 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853369.312 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853369.312 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.312 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.312 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.312 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.312 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.312 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.312 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.312 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.312 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.312 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.312 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.312 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.312 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546853369.312 * * * [misc]progress:  simplifying candidates
1546853369.312 * * * * [misc]progress:  [ 1 / 12 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (fmod (cosh c) (log1p a)))))>
1546853369.312 * * * * [misc]progress:  [ 2 / 12 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (fmod (cosh c) (log1p a)))))>
1546853369.312 * * * * [misc]progress:  [ 3 / 12 ] simplifiying candidate #<alt (λ (a c) (pow (fmod (cosh c) (log1p a)) 1))>
1546853369.312 * * * * [misc]progress:  [ 4 / 12 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546853369.313 * * * * [misc]progress:  [ 5 / 12 ] simplifiying candidate #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))>
1546853369.313 * * * * [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)))))>
1546853369.313 * * * * [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)))))>
1546853369.313 * * * * [misc]progress:  [ 8 / 12 ] simplifiying candidate #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))>
1546853369.313 * * * * [misc]progress:  [ 9 / 12 ] simplifiying candidate #<alt (λ (a c) (* 1 (fmod (cosh c) (log1p a))))>
1546853369.313 * * * * [misc]progress:  [ 10 / 12 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546853369.313 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546853369.313 * * [misc]simplify:  iters left: 2 (5 enodes)
1546853369.315 * * [misc]simplify:  iters left: 1 (11 enodes)
1546853369.318 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546853369.318 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1546853369.318 * * * * [misc]progress:  [ 11 / 12 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546853369.318 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546853369.318 * * [misc]simplify:  iters left: 2 (5 enodes)
1546853369.320 * * [misc]simplify:  iters left: 1 (11 enodes)
1546853369.323 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546853369.324 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1546853369.324 * * * * [misc]progress:  [ 12 / 12 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546853369.324 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546853369.324 * * [misc]simplify:  iters left: 2 (5 enodes)
1546853369.325 * * [misc]simplify:  iters left: 1 (11 enodes)
1546853369.329 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546853369.329 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1546853369.329 * * * [misc]progress:  adding candidates to table
1546853369.446 * * [misc]progress:  iteration 2 / 4
1546853369.446 * * * [misc]progress:  picking best candidate
1546853369.464 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546853369.464 * * * [misc]progress:  localizing error
1546853369.469 * * * [misc]progress:  generating rewritten candidates
1546853369.469 * * * * [misc]progress:  [ 1 / 3 ] rewriting at (2 1 1)
1546853369.469 * * * * [misc]progress:  [ 2 / 3 ] rewriting at (2 1)
1546853369.471 * * * * [misc]progress:  [ 3 / 3 ] rewriting at (2)
1546853369.473 * * * [misc]progress:  generating series expansions
1546853369.473 * * * * [misc]progress:  [ 1 / 3 ] generating series at (2 1 1)
1546853369.474 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853369.474 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546853369.474 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546853369.474 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853369.474 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546853369.474 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853369.474 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546853369.474 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853369.474 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546853369.474 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853369.474 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853369.474 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.474 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.474 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.474 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.474 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.474 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.474 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.474 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.474 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.474 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.474 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.474 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.474 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853369.474 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853369.474 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546853369.474 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546853369.474 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853369.474 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546853369.475 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853369.475 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546853369.475 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853369.475 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546853369.475 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853369.475 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853369.475 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.475 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.475 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.475 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.475 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.475 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.475 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.475 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.475 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.475 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.475 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.475 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.475 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546853369.475 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853369.475 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546853369.475 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546853369.475 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853369.475 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546853369.475 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853369.476 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546853369.476 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853369.476 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546853369.476 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853369.476 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853369.476 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.476 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.476 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.476 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.476 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.476 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.476 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.476 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.476 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.476 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.476 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.476 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.476 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546853369.476 * * * * [misc]progress:  [ 2 / 3 ] generating series at (2 1)
1546853369.476 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546853369.476 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1546853369.476 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1546853369.476 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546853369.476 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853369.477 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546853369.477 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1546853369.477 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546853369.477 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853369.477 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546853369.477 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1546853369.477 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546853369.477 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853369.477 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546853369.477 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1546853369.477 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546853369.477 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853369.477 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546853369.477 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546853369.479 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1546853369.479 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.479 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.479 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.479 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1546853369.479 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.481 * [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
1546853369.481 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.481 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.481 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.481 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.482 * [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
1546853369.482 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.485 * [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
1546853369.485 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.485 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.485 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.485 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546853369.485 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546853369.485 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1546853369.485 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1546853369.485 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546853369.485 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853369.485 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546853369.485 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1546853369.485 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546853369.485 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853369.485 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546853369.485 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1546853369.485 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546853369.486 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853369.486 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546853369.486 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1546853369.486 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546853369.486 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853369.486 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546853369.486 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546853369.487 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1546853369.487 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.487 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.487 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.488 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1546853369.488 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.490 * [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
1546853369.490 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.490 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.490 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.490 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.492 * [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
1546853369.492 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.495 * [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
1546853369.495 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.495 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.495 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.496 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1546853369.496 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546853369.496 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1546853369.496 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1546853369.496 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546853369.496 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853369.496 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546853369.496 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1546853369.496 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546853369.496 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853369.497 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546853369.497 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1546853369.497 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546853369.497 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853369.497 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546853369.497 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1546853369.497 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546853369.497 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853369.497 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546853369.498 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546853369.499 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1546853369.499 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.499 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.499 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.500 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1546853369.500 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.502 * [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
1546853369.502 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.502 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.502 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.502 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.503 * [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
1546853369.504 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.506 * [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
1546853369.507 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.507 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.507 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.507 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1546853369.507 * * * * [misc]progress:  [ 3 / 3 ] generating series at (2)
1546853369.507 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh c) (log1p a)))) into (fmod (cosh c) (log1p a))
1546853369.507 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546853369.507 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546853369.507 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853369.507 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546853369.507 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853369.507 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546853369.507 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853369.508 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546853369.508 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853369.508 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853369.508 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.508 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.508 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.508 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.508 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.508 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.508 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.508 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.508 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.508 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.508 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.508 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.508 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853369.508 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853369.508 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546853369.508 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546853369.509 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853369.509 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546853369.509 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853369.509 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546853369.509 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853369.509 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546853369.509 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853369.509 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853369.509 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.509 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.509 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.509 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.509 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.509 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.509 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.510 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.510 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.510 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.510 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.510 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.510 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546853369.510 * [misc]backup-simplify:  Simplify (exp (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853369.510 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546853369.510 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546853369.510 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853369.510 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546853369.510 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853369.510 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546853369.511 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853369.511 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546853369.511 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853369.511 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853369.511 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.511 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.511 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.511 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.511 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.511 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.511 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.511 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.511 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.511 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853369.511 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.511 * [misc]backup-simplify:  Simplify 0 into 0
1546853369.512 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546853369.512 * * * [misc]progress:  simplifying candidates
1546853369.512 * * * * [misc]progress:  [ 1 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))>
1546853369.512 * * * * [misc]progress:  [ 2 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))>
1546853369.512 * * * * [misc]progress:  [ 3 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (pow (fmod (cosh c) (log1p a)) 1))))>
1546853369.512 * * * * [misc]progress:  [ 4 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1546853369.512 * * * * [misc]progress:  [ 5 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (log (exp (fmod (cosh c) (log1p a)))))))>
1546853369.512 * * * * [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)))))))>
1546853369.512 * * * * [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)))))))>
1546853369.512 * * * * [misc]progress:  [ 8 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))>
1546853369.512 * * * * [misc]progress:  [ 9 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (* 1 (fmod (cosh c) (log1p a))))))>
1546853369.512 * * * * [misc]progress:  [ 10 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))>
1546853369.512 * * * * [misc]progress:  [ 11 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))>
1546853369.512 * * * * [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)))))))>
1546853369.513 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1546853369.513 * * [misc]simplify:  iters left: 6 (8 enodes)
1546853369.515 * * [misc]simplify:  iters left: 5 (16 enodes)
1546853369.520 * * [misc]simplify:  iters left: 4 (19 enodes)
1546853369.525 * * [misc]simplify:  iters left: 3 (21 enodes)
1546853369.531 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1546853369.531 * [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)))))))
1546853369.531 * * * * [misc]progress:  [ 13 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))>
1546853369.531 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1546853369.531 * * [misc]simplify:  iters left: 4 (7 enodes)
1546853369.533 * * [misc]simplify:  iters left: 3 (13 enodes)
1546853369.537 * * [misc]simplify:  iters left: 2 (16 enodes)
1546853369.541 * * [misc]simplify:  iters left: 1 (18 enodes)
1546853369.545 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1546853369.545 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))
1546853369.545 * * * * [misc]progress:  [ 14 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (+ (log 1) (log (fmod (cosh c) (log1p a))))))>
1546853369.546 * [enter]simplify:  Simplifying (log 1)
1546853369.550 * * [misc]simplify:  iters left: 1 (2 enodes)
1546853369.552 * [exit]simplify:  Simplified to 0
1546853369.552 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (+ 0 (log (fmod (cosh c) (log1p a))))))
1546853369.552 * * * * [misc]progress:  [ 15 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1546853369.552 * * * * [misc]progress:  [ 16 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (pow (log (fmod (cosh c) (log1p a))) 1)))>
1546853369.552 * * * * [misc]progress:  [ 17 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546853369.553 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546853369.553 * * [misc]simplify:  iters left: 2 (5 enodes)
1546853369.554 * * [misc]simplify:  iters left: 1 (11 enodes)
1546853369.558 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546853369.558 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1546853369.558 * * * * [misc]progress:  [ 18 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (exp (log (log (fmod (cosh c) (log1p a)))))))>
1546853369.558 * * * * [misc]progress:  [ 19 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1546853369.558 * * * * [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)))))))>
1546853369.558 * * * * [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)))))))>
1546853369.558 * * * * [misc]progress:  [ 22 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))>
1546853369.558 * * * * [misc]progress:  [ 23 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (* 1 (log (fmod (cosh c) (log1p a))))))>
1546853369.558 * * * * [misc]progress:  [ 24 / 49 ] simplifiying candidate #<alt (λ (a c) (log1p (expm1 (exp (log (fmod (cosh c) (log1p a)))))))>
1546853369.558 * * * * [misc]progress:  [ 25 / 49 ] simplifiying candidate #<alt (λ (a c) (expm1 (log1p (exp (log (fmod (cosh c) (log1p a)))))))>
1546853369.558 * * * * [misc]progress:  [ 26 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp (log (fmod (cosh c) (log1p a)))) 1))>
1546853369.558 * * * * [misc]progress:  [ 27 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1546853369.559 * [enter]simplify:  Simplifying (exp 1)
1546853369.559 * * [misc]simplify:  iters left: 1 (2 enodes)
1546853369.559 * [exit]simplify:  Simplified to E
1546853369.559 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1546853369.559 * * * * [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))))))>
1546853369.560 * [enter]simplify:  Simplifying (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1546853369.560 * * [misc]simplify:  iters left: 6 (9 enodes)
1546853369.561 * * [misc]simplify:  iters left: 5 (17 enodes)
1546853369.563 * * [misc]simplify:  iters left: 4 (20 enodes)
1546853369.566 * * [misc]simplify:  iters left: 3 (22 enodes)
1546853369.569 * [exit]simplify:  Simplified to (exp (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))))
1546853369.569 * [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))))))
1546853369.569 * * * * [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))))))>
1546853369.570 * [enter]simplify:  Simplifying (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1546853369.570 * * [misc]simplify:  iters left: 5 (8 enodes)
1546853369.571 * * [misc]simplify:  iters left: 4 (14 enodes)
1546853369.573 * * [misc]simplify:  iters left: 3 (17 enodes)
1546853369.575 * * [misc]simplify:  iters left: 2 (19 enodes)
1546853369.578 * [exit]simplify:  Simplified to (exp (sqrt (log (fmod (cosh c) (log1p a)))))
1546853369.578 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow (exp (sqrt (log (fmod (cosh c) (log1p a))))) (sqrt (log (fmod (cosh c) (log1p a))))))
1546853369.578 * * * * [misc]progress:  [ 30 / 49 ] simplifiying candidate #<alt (λ (a c) (pow (exp 1) (log (fmod (cosh c) (log1p a)))))>
1546853369.578 * [enter]simplify:  Simplifying (exp 1)
1546853369.578 * * [misc]simplify:  iters left: 1 (2 enodes)
1546853369.579 * [exit]simplify:  Simplified to E
1546853369.579 * [misc]simplify:  Simplified (2 1) to (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))
1546853369.579 * * * * [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)))))))>
1546853369.579 * [enter]simplify:  Simplifying (exp (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))))
1546853369.579 * * [misc]simplify:  iters left: 6 (9 enodes)
1546853369.581 * * [misc]simplify:  iters left: 5 (17 enodes)
1546853369.583 * * [misc]simplify:  iters left: 4 (22 enodes)
1546853369.586 * * [misc]simplify:  iters left: 3 (24 enodes)
1546853369.590 * [exit]simplify:  Simplified to (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))
1546853369.590 * [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)))))))
1546853369.590 * * * * [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)))))))>
1546853369.590 * [enter]simplify:  Simplifying (exp (log (sqrt (fmod (cosh c) (log1p a)))))
1546853369.590 * * [misc]simplify:  iters left: 5 (8 enodes)
1546853369.592 * * [misc]simplify:  iters left: 4 (14 enodes)
1546853369.594 * * [misc]simplify:  iters left: 3 (17 enodes)
1546853369.596 * * [misc]simplify:  iters left: 2 (19 enodes)
1546853369.599 * [exit]simplify:  Simplified to (sqrt (fmod (cosh c) (log1p a)))
1546853369.599 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (exp (log (sqrt (fmod (cosh c) (log1p a)))))))
1546853369.599 * * * * [misc]progress:  [ 33 / 49 ] simplifiying candidate #<alt (λ (a c) (* (exp (log 1)) (exp (log (fmod (cosh c) (log1p a))))))>
1546853369.599 * [enter]simplify:  Simplifying (exp (log 1))
1546853369.599 * * [misc]simplify:  iters left: 2 (3 enodes)
1546853369.600 * * [misc]simplify:  iters left: 1 (5 enodes)
1546853369.601 * [exit]simplify:  Simplified to 1
1546853369.601 * [misc]simplify:  Simplified (2 1) to (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))
1546853369.601 * * * * [misc]progress:  [ 34 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546853369.601 * [enter]simplify:  Simplifying (cosh c)
1546853369.601 * * [misc]simplify:  iters left: 1 (2 enodes)
1546853369.601 * [exit]simplify:  Simplified to (cosh c)
1546853369.601 * [misc]simplify:  Simplified (2 1) to (λ (a c) (fmod (cosh c) (log1p a)))
1546853369.602 * * * * [misc]progress:  [ 35 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (exp (log (fmod (cosh c) (log1p a)))))))>
1546853369.602 * * * * [misc]progress:  [ 36 / 49 ] simplifiying candidate #<alt (λ (a c) (log (exp (exp (log (fmod (cosh c) (log1p a)))))))>
1546853369.602 * * * * [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)))))))>
1546853369.602 * * * * [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)))))))>
1546853369.602 * * * * [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)))))))>
1546853369.602 * * * * [misc]progress:  [ 40 / 49 ] simplifiying candidate #<alt (λ (a c) (* 1 (exp (log (fmod (cosh c) (log1p a))))))>
1546853369.602 * * * * [misc]progress:  [ 41 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546853369.602 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546853369.602 * * [misc]simplify:  iters left: 2 (5 enodes)
1546853369.603 * * [misc]simplify:  iters left: 1 (11 enodes)
1546853369.605 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546853369.605 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1546853369.605 * * * * [misc]progress:  [ 42 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546853369.605 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546853369.605 * * [misc]simplify:  iters left: 2 (5 enodes)
1546853369.606 * * [misc]simplify:  iters left: 1 (11 enodes)
1546853369.608 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546853369.608 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1546853369.608 * * * * [misc]progress:  [ 43 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546853369.608 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546853369.608 * * [misc]simplify:  iters left: 2 (5 enodes)
1546853369.609 * * [misc]simplify:  iters left: 1 (11 enodes)
1546853369.610 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546853369.611 * [misc]simplify:  Simplified (2 1 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1546853369.611 * * * * [misc]progress:  [ 44 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546853369.611 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1546853369.611 * * [misc]simplify:  iters left: 3 (6 enodes)
1546853369.612 * * [misc]simplify:  iters left: 2 (12 enodes)
1546853369.614 * * [misc]simplify:  iters left: 1 (15 enodes)
1546853369.616 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1546853369.616 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1546853369.616 * * * * [misc]progress:  [ 45 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546853369.616 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1546853369.616 * * [misc]simplify:  iters left: 3 (6 enodes)
1546853369.617 * * [misc]simplify:  iters left: 2 (12 enodes)
1546853369.619 * * [misc]simplify:  iters left: 1 (15 enodes)
1546853369.621 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1546853369.621 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1546853369.621 * * * * [misc]progress:  [ 46 / 49 ] simplifiying candidate #<alt (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))>
1546853369.621 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1546853369.621 * * [misc]simplify:  iters left: 3 (6 enodes)
1546853369.622 * * [misc]simplify:  iters left: 2 (12 enodes)
1546853369.624 * * [misc]simplify:  iters left: 1 (15 enodes)
1546853369.626 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1546853369.626 * [misc]simplify:  Simplified (2 1) to (λ (a c) (exp (log (fmod (cosh c) (log1p a)))))
1546853369.626 * * * * [misc]progress:  [ 47 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546853369.626 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546853369.626 * * [misc]simplify:  iters left: 2 (5 enodes)
1546853369.627 * * [misc]simplify:  iters left: 1 (11 enodes)
1546853369.629 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546853369.629 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1546853369.629 * * * * [misc]progress:  [ 48 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546853369.629 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546853369.629 * * [misc]simplify:  iters left: 2 (5 enodes)
1546853369.630 * * [misc]simplify:  iters left: 1 (11 enodes)
1546853369.632 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546853369.632 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1546853369.632 * * * * [misc]progress:  [ 49 / 49 ] simplifiying candidate #<alt (λ (a c) (fmod (cosh c) (log1p a)))>
1546853369.632 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546853369.632 * * [misc]simplify:  iters left: 2 (5 enodes)
1546853369.633 * * [misc]simplify:  iters left: 1 (11 enodes)
1546853369.635 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546853369.635 * [misc]simplify:  Simplified (2) to (λ (a c) (fmod (cosh c) (log1p a)))
1546853369.635 * * * [misc]progress:  adding candidates to table
1546853370.180 * * [misc]progress:  iteration 3 / 4
1546853370.180 * * * [misc]progress:  picking best candidate
1546853370.261 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546853370.261 * * * [misc]progress:  localizing error
1546853370.272 * * * [misc]progress:  generating rewritten candidates
1546853370.272 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 1)
1546853370.272 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 1 2 1)
1546853370.272 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 1 1 1)
1546853370.272 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 2)
1546853370.274 * * * [misc]progress:  generating series expansions
1546853370.274 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 1)
1546853370.274 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853370.274 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546853370.274 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546853370.274 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853370.274 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546853370.274 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853370.274 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546853370.274 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853370.274 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546853370.274 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853370.274 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853370.274 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.274 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.274 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.274 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.274 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.274 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.274 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.274 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.274 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.274 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.274 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.274 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.275 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853370.275 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853370.275 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546853370.275 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546853370.275 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853370.275 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546853370.275 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853370.275 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546853370.275 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853370.275 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546853370.275 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853370.275 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853370.275 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.275 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.275 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.275 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.275 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.275 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.275 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.275 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.275 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.275 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.275 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.275 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.275 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546853370.276 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853370.276 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546853370.276 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546853370.276 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853370.276 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546853370.276 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853370.276 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546853370.276 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853370.276 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546853370.276 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853370.276 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853370.276 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.276 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.276 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.276 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.276 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.276 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.276 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.276 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.276 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.276 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.276 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.276 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.276 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546853370.276 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 1 2 1)
1546853370.276 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853370.276 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546853370.276 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546853370.277 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853370.277 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546853370.277 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853370.277 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546853370.277 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853370.277 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546853370.277 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853370.277 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853370.277 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.277 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.277 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.277 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.277 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.277 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.277 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.277 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.277 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.277 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.277 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.277 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.277 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853370.277 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853370.277 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546853370.277 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546853370.277 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853370.277 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546853370.277 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853370.277 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546853370.277 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853370.277 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546853370.278 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853370.278 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853370.278 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.278 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.278 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.278 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.278 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.278 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.278 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.278 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.278 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.278 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.278 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.278 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.278 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546853370.278 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853370.278 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546853370.278 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546853370.278 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853370.278 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546853370.278 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853370.278 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546853370.278 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853370.278 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546853370.278 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853370.278 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853370.279 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.279 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.279 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.279 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.279 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.279 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.279 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.279 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.279 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.279 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.279 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.279 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.279 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546853370.279 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 1 1 1)
1546853370.279 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853370.279 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546853370.279 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546853370.279 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853370.279 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546853370.279 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853370.279 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546853370.279 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853370.279 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546853370.279 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853370.279 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853370.279 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.279 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.279 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.279 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.279 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.279 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.279 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.279 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.279 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.280 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.280 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.280 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.280 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853370.280 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853370.280 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546853370.280 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546853370.280 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853370.280 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546853370.280 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853370.280 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546853370.280 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853370.280 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546853370.280 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853370.280 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853370.280 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.280 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.280 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.280 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.280 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.280 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.280 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.280 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.280 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.280 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.280 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.280 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.280 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546853370.281 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853370.281 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546853370.281 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546853370.281 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853370.281 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546853370.281 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853370.281 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546853370.281 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853370.281 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546853370.281 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853370.281 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853370.281 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.281 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.281 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.281 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.281 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.281 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.281 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.281 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.281 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.281 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.281 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.281 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.281 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546853370.281 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 2)
1546853370.281 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546853370.281 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in (c a) around 0
1546853370.282 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1546853370.282 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546853370.282 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853370.282 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546853370.282 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1546853370.282 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546853370.282 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853370.282 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546853370.282 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in c
1546853370.282 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546853370.282 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853370.282 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546853370.282 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh c) (log1p a))) in a
1546853370.282 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546853370.282 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853370.282 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546853370.282 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546853370.283 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1546853370.283 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.283 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.283 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.284 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh c) (log1p a)) 1)))) 1) into 0
1546853370.284 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.285 * [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
1546853370.285 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.285 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.285 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.285 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.286 * [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
1546853370.286 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.287 * [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
1546853370.287 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.287 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.287 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.287 * [misc]backup-simplify:  Simplify (log (fmod (cosh c) (log1p a))) into (log (fmod (cosh c) (log1p a)))
1546853370.288 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546853370.288 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in (c a) around 0
1546853370.288 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1546853370.288 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546853370.288 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853370.288 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546853370.288 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1546853370.288 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546853370.288 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853370.288 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546853370.288 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in c
1546853370.288 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546853370.288 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853370.288 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546853370.288 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) in a
1546853370.288 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546853370.288 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853370.288 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546853370.288 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))) into (log (fmod (cosh (/ 1 c)) (log1p (/ 1 a))))
1546853370.289 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1546853370.289 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.289 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.289 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.290 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) 1)))) 1) into 0
1546853370.290 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.291 * [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
1546853370.291 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.291 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.291 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.291 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.292 * [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
1546853370.292 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.295 * [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
1546853370.295 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.295 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.295 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.296 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a))))) into (log (fmod (cosh c) (log1p a)))
1546853370.296 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a))))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546853370.296 * [misc]approximate:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in (c a) around 0
1546853370.296 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1546853370.296 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546853370.296 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853370.296 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546853370.296 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1546853370.296 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546853370.296 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853370.297 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546853370.297 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in c
1546853370.297 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546853370.297 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853370.297 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546853370.297 * [misc]taylor:  Taking taylor expansion of (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) in a
1546853370.297 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546853370.297 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853370.297 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546853370.298 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))) into (log (fmod (cosh (/ -1 c)) (log1p (/ -1 a))))
1546853370.299 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1546853370.299 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.299 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.299 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.300 * [misc]backup-simplify:  Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) 1)))) 1) into 0
1546853370.300 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.301 * [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
1546853370.301 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.302 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.302 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.302 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.303 * [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
1546853370.303 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.306 * [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
1546853370.306 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853370.306 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.307 * [misc]backup-simplify:  Simplify 0 into 0
1546853370.307 * [misc]backup-simplify:  Simplify (log (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a)))))) into (log (fmod (cosh c) (log1p a)))
1546853370.307 * * * [misc]progress:  simplifying candidates
1546853370.307 * * * * [misc]progress:  [ 1 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))))>
1546853370.307 * * * * [misc]progress:  [ 2 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))))>
1546853370.307 * * * * [misc]progress:  [ 3 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (pow (fmod (cosh c) (log1p a)) 1))))))>
1546853370.307 * * * * [misc]progress:  [ 4 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1546853370.307 * * * * [misc]progress:  [ 5 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))>
1546853370.307 * * * * [misc]progress:  [ 6 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))>
1546853370.307 * * * * [misc]progress:  [ 7 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))>
1546853370.307 * * * * [misc]progress:  [ 8 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))>
1546853370.307 * * * * [misc]progress:  [ 9 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* 1 (fmod (cosh c) (log1p a))))))))>
1546853370.307 * * * * [misc]progress:  [ 10 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1546853370.308 * * * * [misc]progress:  [ 11 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1546853370.308 * * * * [misc]progress:  [ 12 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (log (fmod (cosh c) (log1p a)))))))>
1546853370.308 * * * * [misc]progress:  [ 13 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (log (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1546853370.308 * * * * [misc]progress:  [ 14 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1546853370.308 * * * * [misc]progress:  [ 15 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1546853370.308 * * * * [misc]progress:  [ 16 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1546853370.308 * * * * [misc]progress:  [ 17 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))>
1546853370.308 * * * * [misc]progress:  [ 18 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))))))>
1546853370.308 * * * * [misc]progress:  [ 19 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (log1p (expm1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546853370.308 * * * * [misc]progress:  [ 20 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (expm1 (log1p (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546853370.308 * * * * [misc]progress:  [ 21 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (pow (fmod (cosh c) (log1p a)) 1)) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546853370.308 * * * * [misc]progress:  [ 22 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (exp (log (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546853370.308 * * * * [misc]progress:  [ 23 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546853370.308 * * * * [misc]progress:  [ 24 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546853370.308 * * * * [misc]progress:  [ 25 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546853370.309 * * * * [misc]progress:  [ 26 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546853370.309 * * * * [misc]progress:  [ 27 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (* 1 (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546853370.309 * * * * [misc]progress:  [ 28 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log1p (expm1 (log (fmod (cosh c) (log1p a)))))))))>
1546853370.309 * * * * [misc]progress:  [ 29 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (expm1 (log1p (log (fmod (cosh c) (log1p a)))))))))>
1546853370.309 * * * * [misc]progress:  [ 30 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))>
1546853370.309 * [enter]simplify:  Simplifying (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))))
1546853370.309 * * [misc]simplify:  iters left: 6 (8 enodes)
1546853370.312 * * [misc]simplify:  iters left: 5 (16 enodes)
1546853370.319 * * [misc]simplify:  iters left: 4 (19 enodes)
1546853370.324 * * [misc]simplify:  iters left: 3 (21 enodes)
1546853370.329 * [exit]simplify:  Simplified to (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a)))))
1546853370.330 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (+ (log (cbrt (fmod (cosh c) (log1p a)))) (log (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))
1546853370.330 * * * * [misc]progress:  [ 31 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))>
1546853370.330 * [enter]simplify:  Simplifying (log (sqrt (fmod (cosh c) (log1p a))))
1546853370.330 * * [misc]simplify:  iters left: 4 (7 enodes)
1546853370.332 * * [misc]simplify:  iters left: 3 (13 enodes)
1546853370.335 * * [misc]simplify:  iters left: 2 (16 enodes)
1546853370.339 * * [misc]simplify:  iters left: 1 (18 enodes)
1546853370.344 * [exit]simplify:  Simplified to (log (sqrt (fmod (cosh c) (log1p a))))
1546853370.344 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (sqrt (fmod (cosh c) (log1p a)))) (log (sqrt (fmod (cosh c) (log1p a)))))))))
1546853370.344 * * * * [misc]progress:  [ 32 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log 1) (log (fmod (cosh c) (log1p a))))))))>
1546853370.345 * [enter]simplify:  Simplifying (log 1)
1546853370.345 * * [misc]simplify:  iters left: 1 (2 enodes)
1546853370.346 * [exit]simplify:  Simplified to 0
1546853370.346 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ 0 (log (fmod (cosh c) (log1p a))))))))
1546853370.347 * * * * [misc]progress:  [ 33 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a))))))))>
1546853370.347 * * * * [misc]progress:  [ 34 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (pow (log (fmod (cosh c) (log1p a))) 1)))))>
1546853370.347 * * * * [misc]progress:  [ 35 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546853370.347 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546853370.347 * * [misc]simplify:  iters left: 2 (5 enodes)
1546853370.349 * * [misc]simplify:  iters left: 1 (11 enodes)
1546853370.352 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546853370.352 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546853370.352 * * * * [misc]progress:  [ 36 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (exp (log (log (fmod (cosh c) (log1p a)))))))))>
1546853370.352 * * * * [misc]progress:  [ 37 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))>
1546853370.352 * * * * [misc]progress:  [ 38 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))>
1546853370.352 * * * * [misc]progress:  [ 39 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546853370.352 * * * * [misc]progress:  [ 40 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (sqrt (log (fmod (cosh c) (log1p a)))) (sqrt (log (fmod (cosh c) (log1p a)))))))))>
1546853370.353 * * * * [misc]progress:  [ 41 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* 1 (log (fmod (cosh c) (log1p a))))))))>
1546853370.353 * * * * [misc]progress:  [ 42 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546853370.353 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546853370.353 * * [misc]simplify:  iters left: 2 (5 enodes)
1546853370.355 * * [misc]simplify:  iters left: 1 (11 enodes)
1546853370.358 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546853370.358 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546853370.358 * * * * [misc]progress:  [ 43 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546853370.358 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546853370.358 * * [misc]simplify:  iters left: 2 (5 enodes)
1546853370.360 * * [misc]simplify:  iters left: 1 (11 enodes)
1546853370.363 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546853370.363 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546853370.363 * * * * [misc]progress:  [ 44 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546853370.364 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546853370.364 * * [misc]simplify:  iters left: 2 (5 enodes)
1546853370.365 * * [misc]simplify:  iters left: 1 (11 enodes)
1546853370.368 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546853370.368 * [misc]simplify:  Simplified (2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546853370.368 * * * * [misc]progress:  [ 45 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546853370.369 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546853370.369 * * [misc]simplify:  iters left: 2 (5 enodes)
1546853370.370 * * [misc]simplify:  iters left: 1 (11 enodes)
1546853370.374 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546853370.374 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546853370.374 * * * * [misc]progress:  [ 46 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546853370.374 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546853370.374 * * [misc]simplify:  iters left: 2 (5 enodes)
1546853370.376 * * [misc]simplify:  iters left: 1 (11 enodes)
1546853370.379 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546853370.379 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546853370.379 * * * * [misc]progress:  [ 47 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546853370.379 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546853370.379 * * [misc]simplify:  iters left: 2 (5 enodes)
1546853370.381 * * [misc]simplify:  iters left: 1 (11 enodes)
1546853370.384 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546853370.384 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546853370.384 * * * * [misc]progress:  [ 48 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546853370.385 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546853370.385 * * [misc]simplify:  iters left: 2 (5 enodes)
1546853370.386 * * [misc]simplify:  iters left: 1 (11 enodes)
1546853370.390 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546853370.390 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546853370.390 * * * * [misc]progress:  [ 49 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546853370.390 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546853370.390 * * [misc]simplify:  iters left: 2 (5 enodes)
1546853370.392 * * [misc]simplify:  iters left: 1 (11 enodes)
1546853370.396 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546853370.396 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546853370.396 * * * * [misc]progress:  [ 50 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546853370.396 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546853370.396 * * [misc]simplify:  iters left: 2 (5 enodes)
1546853370.398 * * [misc]simplify:  iters left: 1 (11 enodes)
1546853370.401 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546853370.401 * [misc]simplify:  Simplified (2 1 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546853370.401 * * * * [misc]progress:  [ 51 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546853370.402 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1546853370.402 * * [misc]simplify:  iters left: 3 (6 enodes)
1546853370.404 * * [misc]simplify:  iters left: 2 (12 enodes)
1546853370.407 * * [misc]simplify:  iters left: 1 (15 enodes)
1546853370.412 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1546853370.412 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546853370.412 * * * * [misc]progress:  [ 52 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546853370.412 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1546853370.412 * * [misc]simplify:  iters left: 3 (6 enodes)
1546853370.414 * * [misc]simplify:  iters left: 2 (12 enodes)
1546853370.418 * * [misc]simplify:  iters left: 1 (15 enodes)
1546853370.421 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1546853370.421 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546853370.421 * * * * [misc]progress:  [ 53 / 53 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))>
1546853370.421 * [enter]simplify:  Simplifying (log (fmod (cosh c) (log1p a)))
1546853370.421 * * [misc]simplify:  iters left: 3 (6 enodes)
1546853370.422 * * [misc]simplify:  iters left: 2 (12 enodes)
1546853370.424 * * [misc]simplify:  iters left: 1 (15 enodes)
1546853370.426 * [exit]simplify:  Simplified to (log (fmod (cosh c) (log1p a)))
1546853370.426 * [misc]simplify:  Simplified (2 1 1 2) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))
1546853370.426 * * * [misc]progress:  adding candidates to table
1546853371.248 * * [misc]progress:  iteration 4 / 4
1546853371.248 * * * [misc]progress:  picking best candidate
1546853371.368 * * * * [misc]pick:  Picked  #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.368 * * * [misc]progress:  localizing error
1546853371.388 * * * [misc]progress:  generating rewritten candidates
1546853371.388 * * * * [misc]progress:  [ 1 / 4 ] rewriting at (2 1 1 2 1 2 1)
1546853371.388 * * * * [misc]progress:  [ 2 / 4 ] rewriting at (2 1 1 2 1 1 2 1)
1546853371.388 * * * * [misc]progress:  [ 3 / 4 ] rewriting at (2 1 1 2 1 1 1 1)
1546853371.388 * * * * [misc]progress:  [ 4 / 4 ] rewriting at (2 1 1 1 2 1)
1546853371.389 * * * [misc]progress:  generating series expansions
1546853371.389 * * * * [misc]progress:  [ 1 / 4 ] generating series at (2 1 1 2 1 2 1)
1546853371.389 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853371.389 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546853371.389 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546853371.389 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853371.389 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546853371.389 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853371.389 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546853371.389 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853371.389 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546853371.389 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853371.389 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853371.389 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.389 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.389 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.389 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.389 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.389 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.389 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.389 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.389 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.389 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.389 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.389 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.389 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853371.389 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853371.389 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546853371.390 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546853371.390 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853371.390 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546853371.390 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853371.390 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546853371.390 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853371.390 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546853371.390 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853371.390 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853371.390 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.390 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.390 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.390 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.390 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.390 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.390 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.390 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.390 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.390 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.390 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.390 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.390 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546853371.390 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853371.390 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546853371.390 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546853371.390 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853371.391 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546853371.391 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853371.391 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546853371.391 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853371.391 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546853371.391 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853371.391 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853371.391 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.391 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.391 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.391 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.391 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.391 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.391 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.391 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.391 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.391 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.391 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.391 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.391 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546853371.391 * * * * [misc]progress:  [ 2 / 4 ] generating series at (2 1 1 2 1 1 2 1)
1546853371.391 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853371.391 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546853371.391 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546853371.391 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853371.391 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546853371.391 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853371.391 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546853371.392 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853371.392 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546853371.392 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853371.392 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853371.392 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.392 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.392 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.392 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.392 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.392 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.392 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.392 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.392 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.392 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.392 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.392 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.392 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853371.392 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853371.392 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546853371.392 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546853371.392 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853371.392 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546853371.392 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853371.392 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546853371.392 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853371.392 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546853371.392 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853371.392 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853371.393 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.393 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.393 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.393 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.393 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.393 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.393 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.393 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.393 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.393 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.393 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.393 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.393 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546853371.393 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853371.393 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546853371.393 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546853371.393 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853371.393 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546853371.393 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853371.393 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546853371.393 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853371.393 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546853371.393 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853371.393 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853371.393 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.393 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.393 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.393 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.393 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.394 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.394 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.394 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.394 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.394 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.394 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.394 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.394 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546853371.394 * * * * [misc]progress:  [ 3 / 4 ] generating series at (2 1 1 2 1 1 1 1)
1546853371.394 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853371.394 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546853371.394 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546853371.394 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853371.394 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546853371.394 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853371.394 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546853371.394 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853371.394 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546853371.394 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853371.394 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853371.394 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.394 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.394 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.394 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.394 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.394 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.394 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.394 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.394 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.394 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.394 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.394 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.394 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853371.395 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853371.395 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546853371.395 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546853371.395 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853371.395 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546853371.395 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853371.395 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546853371.395 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853371.395 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546853371.395 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853371.395 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853371.395 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.395 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.395 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.395 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.395 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.395 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.395 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.395 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.395 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.395 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.395 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.395 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.395 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546853371.395 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853371.395 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546853371.395 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546853371.396 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853371.396 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546853371.396 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853371.396 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546853371.396 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853371.396 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546853371.396 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853371.396 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853371.396 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.396 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.396 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.396 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.396 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.396 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.396 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.396 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.396 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.396 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.396 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.396 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.396 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546853371.396 * * * * [misc]progress:  [ 4 / 4 ] generating series at (2 1 1 1 2 1)
1546853371.396 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853371.396 * [misc]approximate:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in (c a) around 0
1546853371.396 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546853371.396 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853371.396 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546853371.396 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853371.396 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in c
1546853371.397 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853371.397 * [misc]taylor:  Taking taylor expansion of (fmod (cosh c) (log1p a)) in a
1546853371.397 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853371.397 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853371.397 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.397 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.397 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.397 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.397 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.397 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.397 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.397 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.397 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.397 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.397 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.397 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.397 * [misc]backup-simplify:  Simplify (fmod (cosh c) (log1p a)) into (fmod (cosh c) (log1p a))
1546853371.397 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853371.397 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in (c a) around 0
1546853371.397 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546853371.397 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853371.397 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546853371.397 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853371.397 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in c
1546853371.397 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853371.397 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) in a
1546853371.397 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853371.397 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 c)) (log1p (/ 1 a))) into (fmod (cosh (/ 1 c)) (log1p (/ 1 a)))
1546853371.398 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.398 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.398 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.398 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.398 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.398 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.398 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.398 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.398 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.398 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.398 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.398 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.398 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (/ 1 c))) (log1p (/ 1 (/ 1 a)))) into (fmod (cosh c) (log1p a))
1546853371.398 * [misc]backup-simplify:  Simplify (fmod (cosh (/ 1 (- c))) (log1p (/ 1 (- a)))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853371.398 * [misc]approximate:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in (c a) around 0
1546853371.398 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546853371.398 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853371.398 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546853371.398 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853371.398 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in c
1546853371.398 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853371.398 * [misc]taylor:  Taking taylor expansion of (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) in a
1546853371.398 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853371.398 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 c)) (log1p (/ -1 a))) into (fmod (cosh (/ -1 c)) (log1p (/ -1 a)))
1546853371.398 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.398 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.398 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.398 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.398 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.399 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.399 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.399 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.399 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.399 * [misc]taylor:  Taking taylor expansion of 0 in a
1546853371.399 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.399 * [misc]backup-simplify:  Simplify 0 into 0
1546853371.399 * [misc]backup-simplify:  Simplify (fmod (cosh (/ -1 (/ 1 (- c)))) (log1p (/ -1 (/ 1 (- a))))) into (fmod (cosh c) (log1p a))
1546853371.399 * * * [misc]progress:  simplifying candidates
1546853371.399 * * * * [misc]progress:  [ 1 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))))))))>
1546853371.399 * * * * [misc]progress:  [ 2 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))))))))>
1546853371.399 * * * * [misc]progress:  [ 3 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (pow (fmod (cosh c) (log1p a)) 1))))))))>
1546853371.399 * * * * [misc]progress:  [ 4 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (exp (log (fmod (cosh c) (log1p a)))))))))))>
1546853371.399 * * * * [misc]progress:  [ 5 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (log (exp (fmod (cosh c) (log1p a)))))))))))>
1546853371.399 * * * * [misc]progress:  [ 6 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))))))>
1546853371.399 * * * * [misc]progress:  [ 7 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))))))))>
1546853371.399 * * * * [misc]progress:  [ 8 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))))))))>
1546853371.399 * * * * [misc]progress:  [ 9 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (* 1 (fmod (cosh c) (log1p a))))))))))>
1546853371.399 * * * * [misc]progress:  [ 10 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.399 * * * * [misc]progress:  [ 11 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.399 * * * * [misc]progress:  [ 12 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.399 * * * * [misc]progress:  [ 13 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (log (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.399 * * * * [misc]progress:  [ 14 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.399 * * * * [misc]progress:  [ 15 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.399 * * * * [misc]progress:  [ 16 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.399 * * * * [misc]progress:  [ 17 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.399 * * * * [misc]progress:  [ 18 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.400 * * * * [misc]progress:  [ 19 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (log1p (expm1 (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.400 * * * * [misc]progress:  [ 20 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (expm1 (log1p (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.400 * * * * [misc]progress:  [ 21 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (pow (fmod (cosh c) (log1p a)) 1)) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.400 * * * * [misc]progress:  [ 22 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (exp (log (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.400 * * * * [misc]progress:  [ 23 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (log (exp (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.400 * * * * [misc]progress:  [ 24 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.400 * * * * [misc]progress:  [ 25 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.400 * * * * [misc]progress:  [ 26 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a))))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.400 * * * * [misc]progress:  [ 27 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (* 1 (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.400 * * * * [misc]progress:  [ 28 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log1p (expm1 (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.400 * * * * [misc]progress:  [ 29 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (expm1 (log1p (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.400 * * * * [misc]progress:  [ 30 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (pow (fmod (cosh c) (log1p a)) 1))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.400 * * * * [misc]progress:  [ 31 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.400 * * * * [misc]progress:  [ 32 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.400 * * * * [misc]progress:  [ 33 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.400 * * * * [misc]progress:  [ 34 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (cbrt (* (* (fmod (cosh c) (log1p a)) (fmod (cosh c) (log1p a))) (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.400 * * * * [misc]progress:  [ 35 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.400 * * * * [misc]progress:  [ 36 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (* 1 (fmod (cosh c) (log1p a))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.400 * * * * [misc]progress:  [ 37 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.400 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546853371.400 * * [misc]simplify:  iters left: 2 (5 enodes)
1546853371.401 * * [misc]simplify:  iters left: 1 (11 enodes)
1546853371.403 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546853371.403 * [misc]simplify:  Simplified (2 1 1 2 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1546853371.403 * * * * [misc]progress:  [ 38 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.403 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546853371.403 * * [misc]simplify:  iters left: 2 (5 enodes)
1546853371.404 * * [misc]simplify:  iters left: 1 (11 enodes)
1546853371.405 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546853371.405 * [misc]simplify:  Simplified (2 1 1 2 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1546853371.406 * * * * [misc]progress:  [ 39 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.406 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546853371.406 * * [misc]simplify:  iters left: 2 (5 enodes)
1546853371.406 * * [misc]simplify:  iters left: 1 (11 enodes)
1546853371.409 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546853371.409 * [misc]simplify:  Simplified (2 1 1 2 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1546853371.409 * * * * [misc]progress:  [ 40 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.409 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546853371.409 * * [misc]simplify:  iters left: 2 (5 enodes)
1546853371.411 * * [misc]simplify:  iters left: 1 (11 enodes)
1546853371.414 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546853371.414 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1546853371.415 * * * * [misc]progress:  [ 41 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.415 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546853371.415 * * [misc]simplify:  iters left: 2 (5 enodes)
1546853371.416 * * [misc]simplify:  iters left: 1 (11 enodes)
1546853371.419 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546853371.419 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1546853371.420 * * * * [misc]progress:  [ 42 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.420 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546853371.420 * * [misc]simplify:  iters left: 2 (5 enodes)
1546853371.421 * * [misc]simplify:  iters left: 1 (11 enodes)
1546853371.424 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546853371.425 * [misc]simplify:  Simplified (2 1 1 2 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1546853371.425 * * * * [misc]progress:  [ 43 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.425 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546853371.425 * * [misc]simplify:  iters left: 2 (5 enodes)
1546853371.426 * * [misc]simplify:  iters left: 1 (11 enodes)
1546853371.430 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546853371.430 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1546853371.430 * * * * [misc]progress:  [ 44 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.430 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546853371.430 * * [misc]simplify:  iters left: 2 (5 enodes)
1546853371.431 * * [misc]simplify:  iters left: 1 (11 enodes)
1546853371.433 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546853371.433 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1546853371.433 * * * * [misc]progress:  [ 45 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.433 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546853371.433 * * [misc]simplify:  iters left: 2 (5 enodes)
1546853371.434 * * [misc]simplify:  iters left: 1 (11 enodes)
1546853371.438 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546853371.438 * [misc]simplify:  Simplified (2 1 1 2 1 1 1 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1546853371.438 * * * * [misc]progress:  [ 46 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.438 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546853371.438 * * [misc]simplify:  iters left: 2 (5 enodes)
1546853371.439 * * [misc]simplify:  iters left: 1 (11 enodes)
1546853371.443 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546853371.443 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1546853371.443 * * * * [misc]progress:  [ 47 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.443 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546853371.443 * * [misc]simplify:  iters left: 2 (5 enodes)
1546853371.444 * * [misc]simplify:  iters left: 1 (11 enodes)
1546853371.448 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546853371.448 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1546853371.448 * * * * [misc]progress:  [ 48 / 48 ] simplifiying candidate #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))>
1546853371.448 * [enter]simplify:  Simplifying (fmod (cosh c) (log1p a))
1546853371.448 * * [misc]simplify:  iters left: 2 (5 enodes)
1546853371.449 * * [misc]simplify:  iters left: 1 (11 enodes)
1546853371.453 * [exit]simplify:  Simplified to (fmod (cosh c) (log1p a))
1546853371.453 * [misc]simplify:  Simplified (2 1 1 1 2 1) to (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))
1546853371.453 * * * [misc]progress:  adding candidates to table
1546853372.249 * [misc]progress:  [Phase 3 of 3] Extracting.
1546853372.249 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (log (exp (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) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<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) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>)
1546853372.255 * * * [misc]regime-changes:  Trying 5 branch expressions: (a (log1p a) c (cosh c) (fmod (cosh c) (log1p a)))
1546853372.256 * * * * [misc]regimes:  Trying to branch on a from (#<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (log (exp (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) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<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) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>)
1546853372.421 * * * * [misc]regimes:  Trying to branch on (log1p a) from (#<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (log (exp (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) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<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) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>)
1546853372.536 * * * * [misc]regimes:  Trying to branch on c from (#<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (log (exp (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) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<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) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>)
1546853372.655 * * * * [misc]regimes:  Trying to branch on (cosh c) from (#<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (log (exp (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) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<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) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>)
1546853372.745 * * * * [misc]regimes:  Trying to branch on (fmod (cosh c) (log1p a)) from (#<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (log (exp (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (log (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (+ (log (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a))))) (log (cbrt (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (* (sqrt (fmod (cosh c) (log1p a))) (sqrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (log (exp (fmod (cosh c) (log1p a)))))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<alt (λ (a c) (fmod (cosh c) (log1p a)))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (cbrt (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (* (* (cbrt (fmod (cosh c) (log1p a))) (cbrt (fmod (cosh c) (log1p a)))) (exp (log (cbrt (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (* (* (cbrt (log (fmod (cosh c) (log1p a)))) (cbrt (log (fmod (cosh c) (log1p a))))) (cbrt (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (pow E (log (fmod (cosh c) (log1p a)))))> #<alt (λ (a c) (exp (log (log (exp (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) (* (* (cbrt (exp (log (fmod (cosh c) (log1p a))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))) (cbrt (exp (log (fmod (cosh c) (log1p a)))))))> #<alt (λ (a c) (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a)))))))))> #<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) (* (sqrt (exp (log (fmod (cosh c) (log1p a))))) (sqrt (exp (log (fmod (cosh c) (log1p a)))))))>)
1546853372.890 * * * [misc]regime:  Found split indices: #<option (#s(si 15 256))>
1546853372.890 * [enter]simplify:  Simplifying (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (log (fmod (cosh c) (log1p a))))))))
1546853372.890 * * [misc]simplify:  iters left: 6 (12 enodes)
1546853372.891 * * [misc]simplify:  iters left: 5 (14 enodes)
1546853372.892 * [exit]simplify:  Simplified to (exp (cbrt (* (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))) (cbrt (* (log (fmod (cosh c) (log1p a))) (* (log (fmod (cosh c) (log1p a))) (log (fmod (cosh c) (log1p a)))))))))
1546853372.892 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1546853381.775 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546853381.778 * * * * [misc]points:  Sampling 4944 additional inputs, on iter 1 have 3056 / 8000
1546853387.317 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546853387.318 * * * * [misc]points:  Sampling 3138 additional inputs, on iter 2 have 4862 / 8000
1546853390.455 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546853390.456 * * * * [misc]points:  Sampling 1941 additional inputs, on iter 3 have 6059 / 8000
1546853392.895 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546853392.896 * * * * [misc]points:  Sampling 1214 additional inputs, on iter 4 have 6786 / 8000
1546853394.015 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546853394.015 * * * * [misc]points:  Sampling 760 additional inputs, on iter 5 have 7240 / 8000
1546853394.828 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546853394.829 * * * * [misc]points:  Sampling 457 additional inputs, on iter 6 have 7543 / 8000
1546853395.342 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546853395.343 * * * * [misc]points:  Sampling 286 additional inputs, on iter 7 have 7714 / 8000
1546853395.668 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546853395.668 * * * * [misc]points:  Sampling 178 additional inputs, on iter 8 have 7822 / 8000
1546853395.851 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546853395.852 * * * * [misc]points:  Sampling 101 additional inputs, on iter 9 have 7899 / 8000
1546853395.982 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546853395.982 * * * * [misc]points:  Sampling 67 additional inputs, on iter 10 have 7933 / 8000
1546853396.062 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546853396.062 * * * * [misc]points:  Sampling 38 additional inputs, on iter 11 have 7962 / 8000
1546853396.090 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546853396.090 * * * * [misc]points:  Sampling 23 additional inputs, on iter 12 have 7977 / 8000
1546853396.101 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546853396.101 * * * * [misc]points:  Sampling 15 additional inputs, on iter 13 have 7985 / 8000
1546853396.113 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546853396.113 * * * * [misc]points:  Sampling 11 additional inputs, on iter 14 have 7989 / 8000
1546853396.122 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546853396.122 * * * * [misc]points:  Sampling 5 additional inputs, on iter 15 have 7995 / 8000
1546853396.126 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546853396.126 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 7996 / 8000
1546853396.134 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546853396.135 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 7996 / 8000
1546853396.140 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546853396.140 * * * * [misc]points:  Sampling 4 additional inputs, on iter 18 have 7997 / 8000
1546853396.144 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546853396.144 * * * * [misc]points:  Sampling 4 additional inputs, on iter 19 have 7998 / 8000
1546853396.151 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546853396.151 * * * * [exit]points:  Sampled 8001 points with exact outputs
1546853399.060 * [misc]regime-testing:  Baseline error score: 33.9591413894202
1546853399.062 * [misc]regime-testing:  Oracle error score: 33.92623669117475
1546853399.065 * [misc]regime-testing:  End program error score: 33.9591413894202